10.07.2015 Views

ISTITUZIONI DI FISICA MATEMATICA Corso di 6 Crediti Corso di ...

ISTITUZIONI DI FISICA MATEMATICA Corso di 6 Crediti Corso di ...

ISTITUZIONI DI FISICA MATEMATICA Corso di 6 Crediti Corso di ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Siano f, g ∈ L 1 (R n ). Inoltre, siano (·, ·) c il prodotto scalare complesso <strong>di</strong>L 2 (R n ) e (·, ·) quello reale. Allora F [f], F [g] ∈ L ∞ (R n ). In tal caso risulta perf, g ∈ L 1 (R n )∫ [∫](F [f], g) = f(x)e −i(x,ξ) dx g(ξ) dξ∫ [∫]= f(x) g(ξ)e −i(ξ,x) dξ dx = (f, F [g]); (D.1)∫ [∫](F [f], g) c = f(x)e −i(x,ξ) dx g(ξ)dξ∫=[∫f(x)]g(ξ)e i(ξ,x) dξ dx = (f, F [g](−ξ)) c ,(D.2)dove il secondo passaggio è giustificato grazie al teorema <strong>di</strong> Fubini. 4Siano f, g ∈ L 1 (R n ). Allora il teorema <strong>di</strong> Fubini <strong>di</strong>mostra che il prodotto<strong>di</strong> convoluzione∫∫(f ∗ g)(x) = f(y)g(x − y) dy = f(x − y)g(y) dyconduce ad una funzione f ∗ g ∈ L 1 (R n ). Dal teorema <strong>di</strong> Fubini segue chef ∗ g = g ∗ f,(f ∗ g) ∗ h = f ∗ (g ∗ h),dove f, g, h ∈ L 1 (R n ). Applicando la trasformazione z = x − y con y fissato siha∫ (∫)F [f ∗ g](ξ) = f(y)g(x − y) dy e −i(x,ξ) dx∫ (∫)= f(y)e −i(y,ξ) g(z)e −i(z,ξ) dy dz = F [f](ξ)F [g](ξ). (D.3)In altre parole, la trasformata <strong>di</strong> Fourier manda l’algebra L 1 (R n ) dove la moltiplicazioneè il prodotto <strong>di</strong> convoluzione, nell’algebra C(R n ) dove la moltiplicazioneè il prodotto algebrico usuale.Consideriamo ora la trasformata <strong>di</strong> Fourier su L 2 (R n ).Teorema D.2 (<strong>di</strong> Plancherel) Sia f ∈ L 1 (R n ) ∩ L 2 (R n ). Allora∫∫1|F [f](ξ)| 2 dξ = |f(x)| 2 dx.(2π) n(D.4)4 Sia f(t, s) una funzione misurabile <strong>di</strong> due variabili. Supponiamo che almeno uno degliintegrali ripetuti ∫ ( ∫ |f(t, s)| ds)dt e ∫ ( ∫ |f(t, s)| dt)ds sia convergente. Allora si puòscambiare l’or<strong>di</strong>ne <strong>di</strong> integrazione: ∫ ( ∫ f(t, s) ds)dt = ∫ ( ∫ f(t, s) dt)ds.180

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

Saved successfully!

Ooh no, something went wrong!