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

Siccome l’ultimo membro tende a 1 per n → ∞ , esiste m tale che �v�pn /�v�∞ ≤ 1 + ε per ogni n ≥ m .<br />

Fissiamo un rappresentante <strong>di</strong> v e chiamiamolo ancora v per semplicità. Allora resta ben definito l’insieme<br />

ω = {x ∈ Ω : |v(x)| > (1 − ε)�v�∞} , il quale è misurabile e ha misura finita e non nulla. Quin<strong>di</strong><br />

�v� pn<br />

pn ≥<br />

�<br />

|v|<br />

ω<br />

pn dµ ≥ µ(ω) (1 − ε) pn �v� pn<br />

∞<br />

da cui<br />

�v�pn<br />

�v�∞<br />

≥ (1 − ε)µ(ω) 1/pn .<br />

Siccome limn→∞ µ(ω) 1/pn = 1 , esiste un in<strong>di</strong>ce m ′ tale che �v�pn /�v�∞ ≥ (1 − ε) 2 per ogni n ≥ m ′ .<br />

Combinando con quanto abbiamo provato sopra, deduciamo che il rapporto �v�pn /�v�∞ tende a 1 , cioè<br />

quanto si voleva <strong>di</strong>mostrare.<br />

Supponiamo v �∈ L ∞ (Ω) e, fissato M > 0 ad arbitrio, poniamo ora ω = {x ∈ Ω : |v(x)| > 2M} .<br />

Ancora ω ha misura finita e positiva, da cui limn→∞ µ(ω) 1/pn = 1 . Quin<strong>di</strong> possiamo scegliere m in modo<br />

che µ(ω) 1/pn ≥ 1/2 per ogni n ≥ m . D’altra parte risulta �v�pn ≥ 2Mµ(ω)1/pn per ogni n . Per n ≥ m<br />

abbiamo allora �v�pn ≥ M e la <strong>di</strong>mostrazione è conclusa.<br />

5.14. Osservazione. In particolare, se una funzione v appartiene a ogni L p (Ω) con p < +∞ ,<br />

per <strong>di</strong>mostrare che essa è limitata basta provare una stima a priori del tipo �v�p ≤ costante . Lo<br />

stesso <strong>di</strong>scorso vale per la limitatezza in L ∞ (Ω) <strong>di</strong> una successione <strong>di</strong> funzioni.<br />

5.15. Esercizio. Siano p ∈ [1, +∞) e V lo spazio delle funzioni v : R → R misurabili e tali<br />

che sia finita la norma definita dalla formula �v�p � x+1<br />

= supx∈R x |v(y)| p dy . Verificare che � · � è<br />

effettivamente una norma, mai prehilbertiana, nemmeno se p = 2 . Verificare che L∞ (R) ⊆ V con<br />

immersione continua.<br />

Ripren<strong>di</strong>amo il <strong>di</strong>scorso lasciato in sospeso riguardante la <strong>di</strong>suguaglianza triangolare della<br />

norma <strong>di</strong> L p (Ω) . Premettiamo una definizione e alcune <strong>di</strong>suguaglianze importanti.<br />

5.16. Definizione. Sia p ∈ (1, +∞) . Il numero p ′ ∈ (1, +∞) definito dalla formula<br />

1 1<br />

+ = 1 (5.6)<br />

p ′ p<br />

si chiama esponente coniugato <strong>di</strong> p . Poniamo inoltre 1 ′ = ∞ e ∞ ′ = 1 .<br />

L’ultima frase corrisponde ad accettare la (5.6) anche per p = 1 e p = ∞ con la convenzione<br />

1/∞ = 0 . Questa convenzione sarà adottata sistematicamente nel seguito. Notiamo poi che 2 ′ = 2<br />

e che (p ′ ) ′ = p per ogni p ammissibile.<br />

5.17. Proposizione. Siano p ∈ (1, +∞) e a, b ≥ 0 . Allora vale la <strong>di</strong>suguaglianza <strong>di</strong> Young<br />

ab ≤ 1<br />

p ap + 1<br />

p<br />

′ bp′<br />

. (5.7)<br />

Dimostrazione. Supponiamo dapprima a, b > 0 e poniamo x = p ln a , y = p ′ ln b e ϑ = 1/p . Siccome<br />

ϑ ∈ (0, 1) e la funzione esponenziale è convessa, abbiamo<br />

ab = e ln a+ln b = e ϑx+(1−ϑ)y ≤ ϑe x + (1 − ϑ)e y = 1<br />

Se poi uno dei due numeri reali a e b è nullo, la (5.7) vale banalmente.<br />

p ap + 1<br />

p<br />

5.18. Teorema (<strong>di</strong>suguaglianza <strong>di</strong> Hölder). Sia (Ω, M, µ) uno spazio <strong>di</strong> misura σ -finito e<br />

si supponga p ∈ [1, +∞] . Se u ∈ Lp (Ω) e v ∈ Lp′ (Ω) allora uv ∈ L1 (Ω) e risulta<br />

14<br />

��<br />

�<br />

�<br />

Ω<br />

� �<br />

�<br />

u v dµ � ≤<br />

Ω<br />

′ bp′<br />

|u| |v| dµ ≤ �u�p�v�p ′ . (5.8)<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!