13.01.2013 Views

G. Gilardi, Analisi Funzionale - Dipartimento di Matematica

G. Gilardi, Analisi Funzionale - Dipartimento di Matematica

G. Gilardi, Analisi Funzionale - Dipartimento di Matematica

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Capitolo 1<br />

gra<strong>di</strong>ente, <strong>di</strong>vergenza e laplaciano deboli, per cui resta giustificato l’uso dei simboli consueti. In<br />

generale, tuttavia, l’esistena <strong>di</strong> gra<strong>di</strong>ente, <strong>di</strong>vergenza e laplaciano deboli non è affatto garantita,<br />

mentre la loro unicità <strong>di</strong>scende sempre dal lemma 5.53.<br />

Se u ∈ L 1 loc (Ω) , il gra<strong>di</strong>ente in senso debole <strong>di</strong> u è una funzione w ∈ L1 loc (Ω)d (poi denotata<br />

∇u se esiste) che verifica<br />

�<br />

�<br />

w · v dx = −<br />

Ω<br />

Ω<br />

u <strong>di</strong>v v dx per ogni v ∈ C ∞ c (Ω) d . (5.47)<br />

Si <strong>di</strong>mostra imme<strong>di</strong>atamente che ∇u esiste in senso debole se e solo se esistono le derivata parziali<br />

prime deboli. In tal caso il gra<strong>di</strong>ente è il vettore che ha quelle come componenti. Per parlare <strong>di</strong><br />

<strong>di</strong>vergenza dobbiamo prendere una funzione vettoriale u ∈ L1 loc (Ω)d . La sua <strong>di</strong>vergenza debole, se<br />

esiste, è una funzione w ∈ L1 loc (Ω) che verifica<br />

�<br />

Ω<br />

�<br />

wv dx = −<br />

Infine, se u ∈ L 1 loc (Ω) , una funzione w ∈ L1 loc<br />

�<br />

Ω<br />

�<br />

wv dx =<br />

Ω<br />

Ω<br />

u · ∇v dx per ogni v ∈ C ∞ c (Ω) . (5.48)<br />

(Ω) è il laplaciano debole <strong>di</strong> u se<br />

u∆v dx per ogni v ∈ C ∞ c (Ω) . (5.49)<br />

Il lettore può <strong>di</strong>mostrare facilmente che con<strong>di</strong>zione sufficiente per l’esistenza del laplaciano debole<br />

<strong>di</strong> u è ciascuna delle due seguenti: i) esiste il gra<strong>di</strong>ente debole ∇u ∈ L1 loc (Ω)d e questo ha la<br />

<strong>di</strong>vergenza debole <strong>di</strong>v ∇u ∈ L1 loc (Ω) (in tal caso quest’ultima è il laplaciano debole); ii) esistono le<br />

derivate seconde D2 i u ∈ L1 loc (Ω) per i = 1, . . . , d (in tal caso il laplaciano debole è la loro somma).<br />

5.58. Esercizio. Dimostrare che ciascuna delle formule<br />

�u� = �<br />

�D α u�p e �u� = max<br />

|α|≤k �Dαu�p |α|≤k<br />

definisce una norma equivalente alla (5.42). Per dare una <strong>di</strong>mostrazione veloce si ricor<strong>di</strong> quanto è<br />

stato detto nell’Esercizio 5.39. Dimostrare inoltre che la formula<br />

�u� p �<br />

= (|u| p + |∇u| p ) dx<br />

Ω<br />

definisce una norma in W 1,p (Ω) equivalente alla (5.42) con k = 1 . Nella formula il gra<strong>di</strong>ente ∇u<br />

è il gra<strong>di</strong>ente debole e il modulo denota la norma euclidea.<br />

5.59. Esempio. Siano Ω un aperto <strong>di</strong> R d e p ∈ [1, +∞) . Si consideri lo spazio<br />

W p<br />

<strong>di</strong>v (Ω) = {u ∈ Lp (Ω) d : <strong>di</strong>v u ∈ L p (Ω)}. (5.50)<br />

Si tratta dunque dello spazio costituito dalle u ∈ Lp (Ω) d dotate <strong>di</strong> <strong>di</strong>vergenza debole in Lp (Ω) ,<br />

cioè tali che esista w ∈ Lp (Ω) verificante la definizione (5.48) <strong>di</strong> <strong>di</strong>vergenza debole. Se si munisce<br />

tale spazio della norma definita dalla formula<br />

�u� p �<br />

= |u| p �<br />

dx + | <strong>di</strong>v u| p dx<br />

Ω<br />

si ottiene uno spazio normato, prehilbertiano nel caso particolare p = 2 . Analogamente si ponga<br />

L p<br />

∆ (Ω) = {u ∈ Lp (Ω) d : ∆u ∈ L p (Ω)} (5.51)<br />

vale a <strong>di</strong>re lo spazio delle u ∈ Lp (Ω) tali che esista w ∈ Lp (Ω) verificante la (5.49). Se lo si<br />

munisce della norma definita dalla formula<br />

�u� p �<br />

= |u|<br />

Ω<br />

p �<br />

dx + |∆u|<br />

Ω<br />

p dx<br />

si ottiene uno spazio normato, prehilbertiano nel caso particolare p = 2 .<br />

26<br />

Ω<br />

Gianni <strong>Gilar<strong>di</strong></strong>

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!