12.07.2015 Views

Appunti per il corso di Fisica Matematica Daniele Andreucci ...

Appunti per il corso di Fisica Matematica Daniele Andreucci ...

Appunti per il corso di Fisica Matematica Daniele Andreucci ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

66 DANIELE ANDREUCCIDato che <strong>per</strong> ogni k vale (<strong>per</strong> (7.15), (7.16))si ha0 ≤ (f −S k , f −S k ) = ‖f‖ 2 −k∑n=1(f, ϕ n ) 2 , (7.17)Lemma7.17. Laserie ∑(f, ϕ n ) 2 èconvergente,evalela<strong>di</strong>suguaglianza<strong>di</strong>Bessel∞∑ (f, ϕ n ) 2 ≤ ‖f‖ 2 . (7.18)n=1Proposizione 7.18. Se una stessa funzione f ∈ L 2 (I) ha due sv<strong>il</strong>uppi in serie∞∞f = ∑ α n ϕ n = ∑ β n ϕ n ,n=1 n=1allora α n = β n <strong>per</strong> ogni n ≥ 1.Dimostrazione. Segue dal Corollario 7.9:( ) (α k = ϕ k , α n ϕ n = ϕ k ,∞∑n=1∞∑n=1β n ϕ n)= β k .7.3.1. Convergenza <strong>di</strong> sistemi ortonormali. Sia {ϕ n } ∞ n=1un sistema ortonormale.Certo ϕ n non può convergere nel senso <strong>di</strong> L 2 (I) (ve<strong>di</strong> SottosezioneA.3.1), <strong>per</strong>ché altrimenti la successione ϕ n sarebbe <strong>di</strong> Cauchy nellanorma ‖·‖, mentre‖ϕ n − ϕ m ‖ 2 = (ϕ n , ϕ n ) −2(ϕ n , ϕ m ) +(ϕ m , ϕ m ) = 2 ̸→ 0.Invece, un qualunque sistema ortonormale infinito converge debolmente a zero: infatti<strong>per</strong> ogni f ∈ L 2 (I),∫f(x)ϕ n (x)dx∣ ∣ = |(f, ϕ n)| → 0;Il’ultima relazione <strong>di</strong> limite è un’ovvia conseguenza della <strong>di</strong>suguaglianza <strong>di</strong> Bessel. •7.4. Sistemi ortonormali completiDefinizione 7.19. Un sistema ortonormale si <strong>di</strong>ce completo se e solo se,<strong>per</strong> ogni f, valelim ‖f −S k‖ = 0. (7.19)k→∞La (7.19) si scrive in modo equivalente come∞f = ∑ (f, ϕ n )ϕ n . (7.20)n=1Talvolta si in<strong>di</strong>ca anche la <strong>di</strong>pendenza da x, fermo restando <strong>il</strong> fatto che laserie converge nel senso <strong>di</strong> L 2 (I), ossia nel senso in<strong>di</strong>cato da (7.19), e nonin quello puntuale:f(x) =∞∑ (f, ϕ n )ϕ n (x). (7.21)n=1□□

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

Saved successfully!

Ooh no, something went wrong!