ВУЗ:
Составители:
Рубрика:
kraewye zada~i w prostranstwah sobolewa zADA^A dIRIHLE I. DLQ MODIFICIROWANNOGO OPERATORA lAPLASA. 10) pOSTANOWKA ZADA^I. pUSTX | NEKOTOROE OTKRYTOE MNOVESTWO. zADADIM OBOB]ENNU@ FUNKCI@ f 2 H ;1 () I FUNKCI@ (KLASS FUNKCIJ) a 2 HP1(). rAS - SMOTRIM DIFFERENCIALXNYJ OPERATOR A = I ; , GDE = i=1 @x2 | n @ 2 OPERATOR lAPLASA, I | TOVDESTWENNYJ OPERATOR. i i]ETSQ FUNKCIQ u 2 H 1(), UDOWLETWORQ@]AQ URAWNENI@ Au = f NA W SMYSLE OBOB]ENNYH FUNKCIJ I TAKAQ, ^TO (u ; a) ESTX \LEMENT IZ H01(). 20) tEOREMA EDINSTWENNOSTI. pOSTAWLENNAQ ZADA^A MOVET IMETX NE BOLEE ODNOGO REENIQ. N dOKAZATELXSTWO. pUSTX u1 I u2 | DWA REENIQ ZADA^I dIRIHLE. pOLOVIM u = u1;u2 TOGDA u ESTX REENIE URAWNENIQ u = 0. sOGLASNO TEOREME OB ORTOGONALXNOM DOPOLNENII DLQ H0k () W H k () k 2 u ESTX \LEMENT, PRINADLEVA]IJ ORTOGONALXNOMU DOPOLNENI@ DLQ H01(). nO, S DRUGOJ STORONY, u 2 H01(). sLEDOWATELXNO, u = 0. 30) tEOREMA SU]ESTWOWANIQ. pOSTAWLENNAQ ZADA^A OBLADAET REENIEM. dOKAZATELXSTWO. pOLOVIM v = u ; a. tOGDA ZADA^A SWODITSQ K OTYSKANI@ FUNKCII v 2 H01(), UDOWLETWORQ@]EJ URAWNENI@ Av = f ; Aa. w SILU TEOREMY O STRUKTURE \LEMENTA IZ H ;k (), O^EWIDNO, Aa 2 H ;1(). a TOGDA I f ; Aa 2 H ;1 (). nO OPERATOR A QWLQETSQ IZOMETRI^ESKIM IZOMORFIZMOM H01() NA H ;1(). pUSTX G | OBRATNYJ IZOMORFIZM. tOGDA v = G(f ; Aa) I, SLEDOWATELXNO, u = a + Gf ; GAa. oPERATOR G NAZYWAETSQ OPERATOROM gRINA RASSMATRIWAEMOJ ZADA^I. N.B. kOGDA u ; a 2 H01(), TO GOWORQT, ^TO u I a RAWNY NA GRANICE W OBOB]ENNOM SMYSLE. |TA FORMALXNAQ INTERPRETACIQ STANOWITSQ STROGOJ, KOGDA, NAPRI- MER, ESTX POLUPROSTRANSTWO. w \TOM SLU^AE IZWESTNO, ^TO OTOBRAVE- NIE-SLED 0 PREOBRAZUET H 1() NA H 1=2(@ ). sLEDOWATELXNO, DLQ WSQ- KOJ FUNKCII b IZ H 1=2(@ ) SU]ESTWUET \LEMENT a 2 H 1() TAKOJ, ^TO 0 a = b: pO\TOMU MOVNO SFORMULIROWATX SLEDU@]U@ TEOREMU. 3