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.
Spazi <strong>di</strong> Hilbert<br />
4.6. Osservazione. Notiamo che l’unicità del limite debole e la (4.4) nel caso degli spazi normati<br />
non sono affatto ovvie, anche in ipotesi <strong>di</strong> completezza. Tuttavia esse sono vere, come vedremo in<br />
seguito. Al contrario, l’ultima affermazione della Proposizione 4.5 è falsa nel caso <strong>di</strong> un generico<br />
spazio normato, anche in ipotesi <strong>di</strong> completezza. Essa vale per una classe particolare <strong>di</strong> spazi<br />
normati, che comprende, ad esempio, gli spazi L p (Ω) e W k,p (Ω) , purché p ∈ (1, +∞) .<br />
4.7. Proposizione. Siano V e W due spazi normati e L ∈ L(V ; W ) e si supponga che xn ⇀ x<br />
in V . Allora Lxn ⇀ Lx in W .<br />
Dimostrazione. Sia f ∈ W ∗ . Allora f ◦ L ∈ V ∗ . Deduciamo che<br />
Quin<strong>di</strong> Lxn ⇀ Lx in W .<br />
lim<br />
n→∞ 〈f, Lxn〉 = lim<br />
n→∞ 〈f ◦ L, xn〉 = 〈f ◦ L, x〉 = 〈f, Lx〉.<br />
4.8. Corollario. Siano V e W due spazi normati tali che V ⊆ W con immersione continua.<br />
Allora xn ⇀ x in V implica xn ⇀ x in W .<br />
4.9. Esercizio. Se xn ⇀ x e yn ⇀ y allora αxn + βyn ⇀ αx + βy per ogni α, β ∈ K .<br />
4.10. Esercizio. Si <strong>di</strong>mostri che, se Ω è un aperto limitato <strong>di</strong> R d , la convergenza debole in<br />
C 0 (Ω) implica la convergenza puntuale allo stesso limite.<br />
4.11. Esercizio. Sia (V1, . . . , VN) una N -upla <strong>di</strong> spazi normati e sia V il loro prodotto. Siano<br />
poi {xn = (x 1 n, . . . , x N n )} una successione <strong>di</strong> elementi <strong>di</strong> V e x = (x 1 , . . . , x n ) ∈ V . Dimostrare<br />
che {xn} converge debolmente a x in V se e solo se {x i n} converge debolmente a x i in Vi per<br />
i = 1, . . . , N .<br />
4.12. Esercizio. Siano V uno spazio normato, {xn} una successione <strong>di</strong> elementi <strong>di</strong> V e x ∈ V .<br />
Si supponga la successione limitata in V e che esista un sottoinsieme S ∗ ⊆ V ∗ denso in V ∗ tale che<br />
Si <strong>di</strong>mostri che xn ⇀ x in V .<br />
lim<br />
n→∞ 〈f, xn〉 = 〈f, x〉 per ogni f ∈ S∗ .<br />
4.13. Esercizio. Siano (Ω, M, µ) uno spazio <strong>di</strong> misura σ -finito e 1 ≤ p < +∞ . Si <strong>di</strong>mostri che<br />
un ⇀ u in Lp �<br />
�<br />
(Ω) se e solo se lim<br />
n→∞<br />
un v dµ =<br />
Ω<br />
u v dµ<br />
Ω<br />
per ogni v ∈ Lp′ (Ω) (4.6)<br />
ove p ′ è l’esponente coniugato <strong>di</strong> p .<br />
4.14. Esercizio. Siano (Ω, M, µ) uno spazio <strong>di</strong> misura σ -finito e p, q, r ∈ [1, +∞) tali che<br />
1/r = 1/p + 1/q . Si <strong>di</strong>mostri che, se un ⇀ u in L p (Ω) e ϕ ∈ L q (Ω) , allora unϕ ⇀ uϕ in L r (Ω) .<br />
4.15. Esercizio. Siano (Ω, M, µ) uno spazio <strong>di</strong> misura σ -finito e p ∈ [1, +∞) . Si supponga<br />
che un ⇀ u e vn ⇀ v in L p (Ω) e che un ≤ vn q.o. per ogni n . Si <strong>di</strong>mostri che u ≤ v q.o.<br />
4.16. Esercizio. Siano p ∈ [1, +∞) e u ∈ L p (0, 1) . Sia inoltre λ la me<strong>di</strong>a <strong>di</strong> u in (0, 1) .<br />
Sia infine �u : R → K il prolungamento 1 -perio<strong>di</strong>co <strong>di</strong> u , cioè la funzione definita (q.o.) dalla<br />
formula �u(x) = u(x − [x]) ove [ · ] è la parte intera. Si <strong>di</strong>mostri che �u(nx) ⇀ λ in L p (a, b)<br />
per ogni intervallo limitato (a, b) . In particolare la convergenza debole in L p non implica la<br />
convergenza q.o. Si consiglia <strong>di</strong> tener conto degli esercizi precedenti e <strong>di</strong> considerare i casi seguenti:<br />
i) p ∈ (1, +∞) e λ = 0 ; ii) p ∈ (1, +∞) e λ qualunque; iii) p = 1 e λ qualunque.<br />
4.17. Esercizio. Si <strong>di</strong>mostri che valgono le convergenze deboli sin nx ⇀ 0 e sin 2 nx ⇀ 1/2 in<br />
L p (a, b) per ogni p ∈ [1, +∞) e ogni intervallo (a, b) limitato.<br />
<strong>Analisi</strong> <strong>Funzionale</strong><br />
89