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 />
Reiknireglur 1 <strong>og</strong> 2 gefa að fallið<br />
hefur Fourier-myndina<br />
Beitum nú reiknireglu 4,<br />
Nú látum við ε → 0 <strong>og</strong> fáum<br />
f ∗ ϕ ε (x) = 1 ∫<br />
2π<br />
f(x) = lim<br />
ε→0<br />
f ∗ ϕ ε (x) = 1<br />
2π<br />
y ↦→ f(−(y − x))<br />
ξ ↦→ e −ixξ ˆf(−ξ)<br />
∫<br />
e −ixξ ˆf(−ξ)ψε (ξ) dξ<br />
∫<br />
e −ixξ 1<br />
ˆf(−ξ) dξ =<br />
2π<br />
e ixξ f(ξ) dξ<br />
□<br />
(8.7) Fylgisetning Fourier-ummyndun er eintæk vörpun L 2 (R) → C 0 (R), þar sem<br />
C 0 (R) táknar rúm allra samfelldra falla ϕ á R, þ.a.<br />
lim<br />
|x|→+∞<br />
ϕ(x) = 0.<br />
(8.8) Reiknireglur (5) Ef f ∈ L 1 (R) er deildanlegt <strong>og</strong> f ′ ∈ L 1 (R), þá er<br />
ˆf ′ (ξ) = iξ ˆf(ξ)<br />
F{f ′ }(ξ) = iξF{f}(ξ)<br />
Með þrepun fæst að ef f ∈ C k (R) <strong>og</strong> f, f ′ , . . . , f (k) ∈ L 1 (R), þá er<br />
ˆ<br />
f (k) (ξ) = (iξ) k ˆf(ξ)<br />
F{f (k) }(ξ) = (iξ) k F{f}(ξ)<br />
(6) Ef f, xf ∈ L 1 (R), þá er F{f} ∈ C 1 (R) <strong>og</strong><br />
Sönnun.<br />
76<br />
F{xf(x)}(ξ) = i d dξ F{f}(ξ)<br />
Með þrepun fáum við að ef f, x k f ∈ L 1 (R), þá er F{f} ∈ C k (R) <strong>og</strong><br />
(5) Við höfum að<br />
∫<br />
ˆf ′ (ξ) =<br />
R<br />
e −ixξ f ′ (x) dx =<br />
F{x k f}(ξ) = i k<br />
dk<br />
dξ k F{f}(ξ)<br />
[ ] +∞<br />
e −ixξ f(x) − (−iξ)e<br />
−∞<br />
∫R<br />
−ixξ f(x) dx = (iξ) ˆf(ξ)<br />
(6) Þessi regla leiðir beint af setningunni um víxlun á heildi <strong>og</strong> aeiðu, því<br />
Við fáum<br />
F{xf(x)}(ξ) =<br />
∂<br />
∣∂ξ (e−ixξ f(x))<br />
∣ = |xf(x)| ∈ L 1(R)<br />
∫<br />
e −ixξ xf(x) dx = i d dξ<br />
∫<br />
e −ixξ f(x) dx<br />
= i d dξ F{f}(ξ) □