G. Gilardi, Analisi Funzionale - Dipartimento di Matematica
G. Gilardi, Analisi Funzionale - Dipartimento di Matematica
G. Gilardi, Analisi Funzionale - Dipartimento di Matematica
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Capitolo 1<br />
esempio che mostra che quando p = d = 2 una funzione <strong>di</strong> W 1,p (Ω) può non essere limitata.<br />
Si prenda come Ω il <strong>di</strong>sco <strong>di</strong> R 2 avente centro nell’origine e raggio r = 1/2 . Allora la formula<br />
u(x) = |ln |x|| α , ove α > 0 , definisce u(x) per q.o. x ∈ Ω (precisamente per x ∈ Ω \ {0} ), ma<br />
la funzione u non appartiene a L ∞ (Ω) . Mostriamo che u ∈ H 1 (Ω) = W 1,2 (Ω) se α < 1/2 .<br />
Innanzi tutto u ∈ L 2 (Ω) . Osservato che ln |x| < 0 in Ω \ {0} dato che r < 1 , u è <strong>di</strong> classe<br />
C ∞ in tale insieme e si ha ∇u(x) = −α|ln |x|| α−1 |x| −1 (x/|x|) . Verifichiamo che |∇u| ∈ L 2 (Ω)<br />
appunto se α < 1/2 . Passando prima a coor<strong>di</strong>nate polari e poi usando il cambiamento <strong>di</strong> variabile<br />
ρ = exp(−t) , essendo 2α − 2 < −1 , otteniamo<br />
�<br />
|∇u(x)|<br />
Ω<br />
2 dx = α 2<br />
�<br />
|ln |x||<br />
Ω<br />
2α−2 � 1/2<br />
dx<br />
2α−2 ρ dρ<br />
= 2πα2 | ln ρ|<br />
|x| 2<br />
0<br />
ρ2 � +∞<br />
= 2πα2 t<br />
ln 2<br />
2α−2 dt < +∞.<br />
Verifichiamo che tale gra<strong>di</strong>ente è gra<strong>di</strong>ente anche in senso debole (Osservazione 5.57), cioè che<br />
�<br />
�<br />
∇u · v dx = − u <strong>di</strong>v v dx per ogni v ∈ C∞ c (Ω) 2 .<br />
Ω<br />
Ω<br />
Sia dunque v ∈ C∞ c (Ω) 2 . Posto Ωε = {x ∈ Ω : |x| > ε} e Γε = {x ∈ Ω : |x| = ε} , si ha<br />
�<br />
Ω<br />
�<br />
∇u · v dx = lim<br />
ε→0<br />
Ωε<br />
�<br />
∇u · v dx = − lim<br />
ε→0<br />
Ωε<br />
�<br />
u <strong>di</strong>v v dx + lim<br />
ε→0<br />
Γε<br />
�<br />
u v · n ds = −<br />
Ω<br />
u <strong>di</strong>v v dx<br />
in quanto il modulo dell’integrale su Γε si maggiora con 2πε| ln ε| α sup |v| e dunque è infinitesimo.<br />
Quin<strong>di</strong> u ∈ H 1 (Ω) .<br />
Si può ad<strong>di</strong>rittura <strong>di</strong>mostrare che, non appena kp ≤ d con la sola esclusione <strong>di</strong> qualche<br />
caso particolare riguardante i tre parametri k, p, d , esistono funzioni <strong>di</strong> W k,p (Ω) che non sono<br />
essenzialmente limitate in alcun aperto non vuoto incluso in Ω , e <strong>di</strong> ciò daremo un cenno più tar<strong>di</strong>.<br />
Pertanto le funzioni <strong>di</strong> W k,p (Ω) possono essere molto irregolari. Ciò nonostante gli spazi <strong>di</strong> Sobolev<br />
funzionano benissimo, meglio degli spazi C k (Ω) , specialmente se p = 2 (caso prehilbertiano),<br />
o almeno se 1 < p < +∞ , come vedremo in seguito.<br />
5.72. Esempio (spazi <strong>di</strong> Sobolev con esponente reale). Sia Ω un aperto <strong>di</strong> Rd (limitato<br />
e regolare se vogliamo garantire tutto ciò che <strong>di</strong>ciamo). Per p ∈ [1, +∞) , denotiamo per como<strong>di</strong>tà<br />
con L p<br />
× lo spazio Lp (Ω × Ω) costruito su Ω × Ω rispetto alla misura µ definita da<br />
�<br />
dx dy<br />
µ(E) =<br />
|x − y| d (finita o meno) per ogni E ⊆ Ω × Ω misurabile secondo Lebesgue<br />
Ω×Ω<br />
e denotiamo con � · �p,× la norma usuale in tale spazio. Sia ora σ ∈ (0, 1) . Per v ∈ Lp (Ω)<br />
costruiamo rσv : Ω × Ω → K (rapporto incrementale <strong>di</strong> or<strong>di</strong>ne σ ) me<strong>di</strong>ante la formula<br />
v(x) − v(y)<br />
(rσv)(x, y) =<br />
|x − y| σ per q.o. (x, y) ∈ Ω × Ω<br />
e definiamo W σ,p (Ω) e la seminorma |v|σ,p e la norma �v�σ,p <strong>di</strong> ogni v ∈ W σ,p (Ω) me<strong>di</strong>ante<br />
W σ,p (Ω) = {v ∈ L p (Ω) : rσv ∈ L p<br />
× }, |v|σ,p = �rσv�p,× e �v� p σ,p = �v� p p + |v| p σ,p . (5.58)<br />
Otteniamo uno spazio normato, prehilbertiano se p = 2 . Sia ora s > 0 non intero. Decomposto<br />
s nella forma s = k + σ con k ≥ 0 intero e σ ∈ (0, 1) , poniamo<br />
W s,p (Ω) = {v ∈ W k,p (Ω) : D α v ∈ W σ,p (Ω) per |α| = k} (5.59)<br />
�v� p s,p = �v� p<br />
�<br />
k,p + |D<br />
|α|=k<br />
α v| p σ,p per v ∈ W s,p (Ω). (5.60)<br />
Ancora otteniamo uno spazio normato, prehilbertiano se p = 2 . Esplicitando la norma abbiamo<br />
�v� p s,p = �<br />
�<br />
|D α v| p dx + �<br />
�<br />
|Dαv(x) − Dαv(y)| p<br />
|x − y| σp<br />
dx dy<br />
.<br />
|x − y| d<br />
|α|≤k<br />
Ω<br />
|α|=k<br />
Questi spazi sono detti anche spazi <strong>di</strong> Slobodeckiĭ e la loro (strana) costruzione è fatta in modo che<br />
W k+1,p (Ω) ⊂ W s2,p (Ω) ⊂ W s1,p (Ω) ⊂ W k,p (Ω) se k < s1 < s2 < k + 1 .<br />
30<br />
Ω×Ω<br />
Gianni <strong>Gilar<strong>di</strong></strong>