Mál- og tegurfræði - Háskóli Ãslands
Mál- og tegurfræði - Háskóli Ãslands
Mál- og tegurfræði - Háskóli Ãslands
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
KAFLI 8. FOURIER-UMMYNDUN<br />
(4) Af setningu Riemanns <strong>og</strong> Lebesgues leiðir að föllin ˆf <strong>og</strong> ĝ eru samfelld <strong>og</strong> takmörkuð.<br />
Þar með eru bæði föllin fĝ <strong>og</strong> ˆfg í L 1 . Skv. Fubini er<br />
∫<br />
fĝ dm =<br />
=<br />
=<br />
∫ ∫<br />
f(x)<br />
∫∫<br />
e −ixy g(y) dy dx<br />
e −ixy f(x)g/y) dx dy<br />
R<br />
∫ (∫<br />
2 ) ∫<br />
e −ixy f(x) dx g(y) dy =<br />
ˆfg dm<br />
(8.5) Dæmi Látum ϕ µ,σ vera þéttifall normlegrar dreifngar með væntigildi µ <strong>og</strong> staðalfrávik<br />
σ,<br />
Reiknireglur 1 <strong>og</strong> 2 gefa<br />
ϕ µ,σ (x) = 1 √<br />
2πσ<br />
e − 1 2 ((x−µ)/σ)2<br />
{ } 1<br />
Fϕ µ,σ (ξ) = F √ e − 1 2 ((x−µ)/σ)2 (ξ)<br />
2πσ<br />
{ } 1<br />
= e −iµξ F √ e − 1 2 (x/σ)2 (ξ)<br />
2πσ<br />
{ } 1<br />
= e −iµξ F √ e − 1 2 x2 (σξ)<br />
2π<br />
= e −iµξ− 1 2 σ2 ξ 2 ♦<br />
□<br />
(8.6) Setning (Andhverfuformúla Fouriers) Látum f ∈ L 1 (R) <strong>og</strong> gerum ráð fyrir að<br />
ˆf ∈ L 1 (R). Þá gildir um næstum öll x ∈ R að<br />
f(x) = 1<br />
2π ∈ eixξ ˆf(ξ dξ =<br />
1<br />
2π FF(−x)<br />
Ef f ∈ L ∞ (R), þá gildir formúlan í öllum punktum þar sem f er samfellt.<br />
Sönnun. Munum að ef f, ϕ ∈ L 1 (R), ϕ ≥ 0, ϕ ε (x) = 1 ε ϕ( x ε<br />
), þá fæst að<br />
<strong>og</strong> ef f ∈ L ∞ (R), þá fæst að<br />
f ∗ ϕ ε → f<br />
Veljum ϕ(x) = √ 1<br />
2π<br />
exp(− 1 2<br />
). Þá er x2<br />
f ∗ ϕ ε → f í L 1<br />
ef f er samfellt í x<br />
Lítum nú á földunina<br />
ˆϕ(ξ) = e − 1 2 ξ2 <strong>og</strong> ˆϕ ε (ξ) = e − 1 2 ε2 ξ 2<br />
∫<br />
∫<br />
f ∗ ϕ ε (x) = f(x − y)ϕ ε (y) dy = f(−(y − x))ϕ ε (y) dy<br />
= 1 ∫<br />
f(−(y − x))<br />
2π<br />
ˆψ ε (y) dy ψ ε(x)=exp(− 1 2 ε2 x 2 )<br />
75