G. Gilardi, Analisi Funzionale - Dipartimento di Matematica
G. Gilardi, Analisi Funzionale - Dipartimento di Matematica
G. Gilardi, Analisi Funzionale - Dipartimento di Matematica
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Norme e prodotti scalari<br />
Dimostrazione. Nei casi estremi p = 1 e p = +∞ la tesi è banale. Supponiamo allora p ∈ (1, +∞) .<br />
Innanzi tutto la <strong>di</strong>suguaglianza <strong>di</strong> Young assicura che |uv| ≤ (1/p)|u| p + (1/p ′ )|v| p′ q.o in Ω , il che implica<br />
uv ∈ L1 (Ω) . Inoltre, siccome la prima delle <strong>di</strong>suguaglianze (5.8) è chiara, <strong>di</strong>mostriamo solo la seconda<br />
supponendo senz’altro u �= 0 e v �= 0 . Usiamo <strong>di</strong> nuovo la (5.7), ma la applichiamo a ϕ = |u|/�u�p e a<br />
ψ = |v|/�v�p ′ . Abbiamo ϕψ ≤ (1/p) ϕp + (1/p ′ ) ψp′ q.o. e integrando otteniamo<br />
1<br />
�u�p �v�p ′<br />
�<br />
Ω<br />
�<br />
|uv| dµ =<br />
Moltiplicando per �u�p �v�p ′ si conclude.<br />
Ω<br />
ϕψ dµ ≤ 1<br />
�<br />
ϕ<br />
p Ω<br />
p dµ + 1<br />
p ′<br />
�<br />
ψ<br />
Ω<br />
p′<br />
dµ = 1<br />
p<br />
1<br />
+ = 1.<br />
p ′<br />
La <strong>di</strong>suguaglianza <strong>di</strong> Hölder è fondamentale. Proponiamo alcuni esercizi in proposito e segnaliamo<br />
che, spesso, si <strong>di</strong>cono frasi del tipo “per la <strong>di</strong>suguaglianza <strong>di</strong> Hölder. . . ” anche se, <strong>di</strong> fatto, ci<br />
si riferisce alle sue conseguenze che formano appunto l’oggetto <strong>di</strong> questi esercizi.<br />
5.19. Esercizio. Dimostrare che le convergenze un → u in Lp (Ω) e vn → v in Lp′ (Ω) implicano<br />
la convergenza unvn → uv in L1 (Ω) , in particolare �<br />
�<br />
Ω uv dµ = limn→∞ Ω unvn dµ .<br />
5.20. Esercizio. Siano p1, . . . , pn, q ∈ [1, +∞] tali che 1/q = �n i=1 1/pi . Si <strong>di</strong>mostri che, se<br />
vi ∈ Lpi (Ω) per i = 1, . . . , n , allora la funzione v1 · . . . · vn appartiene a Lq (Ω) e che vale la<br />
<strong>di</strong>suguaglianza <strong>di</strong> Hölder generalizzata<br />
�v1 · . . . · vn�q ≤ �v1�p1 · . . . · �vn�pn . (5.9)<br />
5.21. Esercizio. Siano p, q, r ∈ [1, +∞] tali che p < q < r e v ∈ L p (Ω) ∩ L r (Ω) . Si <strong>di</strong>mostri<br />
che v ∈ L q (Ω) e che vale la <strong>di</strong>suguaglianza <strong>di</strong> interpolazione<br />
�v�q ≤ �v� ϑ p�v� 1−ϑ<br />
r<br />
ove ϑ ∈ (0, 1) verifica<br />
Si deduca che, se vn → v in L p (Ω) e in L r (Ω) , allora vn → v in L q (Ω) .<br />
1<br />
q<br />
ϑ 1 − ϑ<br />
= + . (5.10)<br />
p r<br />
5.22. Esercizio. Si supponga µ(Ω) < +∞ e 1 ≤ p ≤ q ≤ +∞ . Si <strong>di</strong>mostri che, se v ∈ L q (Ω) ,<br />
allora v ∈ L p (Ω) e vale la <strong>di</strong>suguaglianza<br />
si deduca che, se vn → v in L q (Ω) , allora vn → v in L p (Ω) .<br />
�v�p ≤ µ(Ω) (1/p)−(1/q) �v�q . (5.11)<br />
5.23. Teorema (<strong>di</strong>suguaglianza <strong>di</strong> Minkowski). Siano (Ω, M, µ) uno spazio <strong>di</strong> misura σ -<br />
finito e p ∈ [1, +∞) . Se u, v ∈ L p (Ω) allora u + v ∈ L p (Ω) e risulta<br />
�u + v�p ≤ �u�p + �v�p . (5.12)<br />
Dimostrazione. La situazione è banale se p = 1 . Supponiamo allora p ∈ (1, +∞) . Si ha imme<strong>di</strong>atamente<br />
|u+v| ≤ 2 max{|u|, |v|} q.o, da cui u+v ∈ Lp (Ω) . Nella <strong>di</strong>mostrazione della (5.12) ancora possiamo supporre<br />
u �= 0 e v �= 0 . Poniamo w = |u|+|v| e osserviamo che (wp−1 ) p′ = wp , per cui wp−1 ∈ Lp′ (Ω) . Applicando<br />
la <strong>di</strong>suguaglianza <strong>di</strong> Hölder abbiamo allora<br />
�w� p p =<br />
�<br />
Semplificando per �w� p/p′<br />
p<br />
Ω<br />
|u| w p−1 �<br />
dµ + |v| w<br />
Ω<br />
p−1 dµ ≤ �u�p �w p−1 �p ′ + �v�p �w p−1 �p ′ = � �u�p + �v�p<br />
si conclude, in quanto p − p/p ′ = p(1 − 1/p ′ ) = 1 .<br />
� p/p<br />
�w� ′<br />
.<br />
Con la <strong>di</strong>mostrazione della <strong>di</strong>suguaglianza <strong>di</strong> Minkowski abbiamo completato la presentazione<br />
degli spazi L p (Ω) . Tuttavia, ci preme un’osservazione.<br />
<strong>Analisi</strong> <strong>Funzionale</strong><br />
p<br />
15