Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
L.C.Evans,Równania
Ż
niczkowecz
ą
stkowe,Warszawa2008
ISBN978-83-01-15627-5,©byWNPWN2002
2.2.RównanieLaplace’a
41
gdzieg0,toujestdodatniawkażdympunkciezbioruU,jeśligjestdodatniana
jakimśpodzbiorze∂U.
Π
Ważnymzastosowaniemzasadymaksimumjestdowódjednoznacznościrozwiązań
pewnychzagadnieńbrzegowychdlarównaniaPoissona.
TWIERDZENIE5(Jednoznaczność).Załóżmy,żegC(∂U)ifC(U).Wtedy
zagadnieniebrzegowe
(17)
∆u=fwU,
u=g
na∂U
maconajwyżejjednorozwiązanieuC2(U)C(¯
U).
Dowód.Jeśliui˜
uspełniają(17),tostosujemytwierdzenie4dofunkcjiharmonicznej
w:=±(u˜
u).
Π
b.Regularność
Wykażemyteraz,żejeśliuC2jestharmoniczna,touC.Zatemwszyst-
kiefunkcjeharmoniczneróżniczkowalnenieskończeniewielerazy.Zdaniategotypu
nazywasiętwierdzeniamioregularności.Ciekawejestto,żealgebraicznastrukturarów-
naniaLaplace’a∆u=Σ
n
i=1ux
ixi=0prowadzidownioskuocharakterzeanalitycznym:
istniejąwszystkiepochodnecząstkowefunkcjiu,nawette,którewcalewrównaniunie
występują.
TWIERDZENIE6(Gładkość).JeśliuC(U)mawłasnośćwartościśredniejdla
każdejkuliB(x,r)U,to
uC(U).
Podkreślmywyraźnie,żefunkcjauniemusibyćgładkaaninawetciągła!
wpunktach∂U.
Dowód.Niechnbędziejądremoperatorawygładzającego(patrzdodatekC.4).Przypo-
mnijmy,żewartościnzależątylkood|x|.Połóżmyue:=neuwUe={xU|
dist(x,∂U)>e}.JakwyjaśniamywdodatkuC.4,ueC(Ue).
Wykażemy,żeujestfunkcjągładką,dowodząc,żewistocieuuenaUe.Jeśli
xUe,to
ue(x)=
U
ne(xy)u(y)dy
=
en
1
B(x,e)
n
|xy|
e
u(y)dy
=
en
1
0
e
n(
r
e)
∂B(x,r)
udSdr