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 />

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>

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

Saved successfully!

Ooh no, something went wrong!