Skript
Skript Skript
Sei nun ϕ ∈ L 1 beliebig. Dann gilt ∫ ̂f(ξ)e ixξ ϕ(ξ)dξ = = = ∫ ∫ ∫ ̂f −x (ξ)ϕ(ξ)dξ f −x (ξ) ̂ϕ(ξ)dξ f(x − ξ) ̂ϕ(−ξ)dξ = (f ∗ ̂ϕ − )(x) Wir wählen nun ψ(ξ) := 1 √ 2π e −ξ2 /2 , also ̂ψ = ψ und |ψ| 1 = 1, und ϕ(ξ) = ψ(λξ). Damit gilt ̂ϕ(ξ) = 1 λ ̂ψ(ξ/λ) = 1 λ ψ(ξ/(λ)) =: ψ λ(ξ). Oben eingesetzt erhalten wir (2π) −n/2 ∫ ̂f(ξ)e ixξ e −λ2 ξ 2 /2 dξ = (f ∗ ψ λ )(x) Die linke Seite konvergiert (mit majorisierter Konvergenz) gegen die rechte Seite der Inversionsformel, die rechte Seite konvergiert nach Vorbemerkung fast überall gegen f. □ Satz 4.2.8. (Plancherel, Erweiterung der FT auf L 2 ) Es gibt einen (eindeutig) bestimmten Isomorphismus T : L 2 (R n ) ↦→ L 2 (R n ), so dass ||T f|| 2 = ||f|| 2 und T f = ̂f∀f ∈ L 1 (R n ) ∩ L 2 (R n ). Beweis: Forster, ([6]). Beweisidee: Sei K R (0) der Kreis um 0 mit Radius R. Sei f eine L 2 –Funktion. Dann ist f n = fχ Kn(0) eine Funktionenfolge in L 1 ∩ L 2 , die bzgl. L 2 gegen f konvergiert. Man zeigt nun, dass ̂f n bzgl. L 2 konvergiert und definiert den Grenzwert als die Fouriertransformierte von f. □ Beispiel 4.2.9. Sei n = 2, f(x) = g(|x|). Für g(|x|) = 1 1+|x| 2 gilt f ∈ L 2 (R 2 ), 47
aber f ∉ L 2 (R 2 ). Die Fouriertransformierte von f n ist ∫ ̂f n (ξ) = (2π) −1 e −ixξ f(x) dx und damit |x|
- Seite 1 und 2: Inverse und schlecht gestellte Prob
- Seite 3 und 4: 5.4 Konjugierte-Gradienten-Verfahre
- Seite 5 und 6: also Stationär: Beispiele: SAR, St
- Seite 7 und 8: d.h. die Genauigkeit der Approximat
- Seite 9 und 10: Bemerkung 1.2.1. 1. Die obige Rechn
- Seite 11 und 12: zeigt, dass neben der Probleme, die
- Seite 13 und 14: Wir entwickeln die gesuchte Funktio
- Seite 15 und 16: Kapitel 2 Grundlagen Wie wir in den
- Seite 17 und 18: • A ist stetig bezüglich L 2 (Ω
- Seite 19 und 20: Definition 2.1.3 (kleinste Quadrate
- Seite 21 und 22: Bemerkung 2.1.12. karl • A ∗ Ax
- Seite 23 und 24: Da A kompakt ist, besitzt (y n ) n
- Seite 25 und 26: Theorem 2.2.10. Sei A ∈ L(X, Y )
- Seite 27 und 28: Durch Koeffizientenvergleich folgt:
- Seite 29 und 30: Kapitel 3 Regularisierungstheorie I
- Seite 31 und 32: Beweis. Sei y ∈ D(T † ) beliebi
- Seite 33 und 34: und weiterhin gilt. lim δC α(δ)
- Seite 35 und 36: Normalengleichungen. Außerdem ist
- Seite 37 und 38: Durch die Unstetigkeit an 0 wird di
- Seite 39 und 40: Kapitel 4 Inverse Probleme der Inte
- Seite 41 und 42: zu θ(ϕ k ) durchgeführt, daher h
- Seite 43 und 44: 4.2 Funktionalanalytische Grundlage
- Seite 45 und 46: ̂f a (ξ) = (2π) −n/2 ∫ R n =
- Seite 47: Satz 4.2.5. (Faltungssatz) Seien f,
- Seite 51 und 52: Wir definieren also allgemein die A
- Seite 53 und 54: keinen Sinn, den das hintere Integr
- Seite 55 und 56: S(C) definiert durch (Rf)(θ, s) =
- Seite 57 und 58: = (2π) 1/2 ̂f(ξ) □ Satz 4.2.20
- Seite 59 und 60: ist ˜f(x) zumindest schon mal posi
- Seite 61 und 62: Theorem 4.2.27. Sei 0 ≤ α < n. D
- Seite 63 und 64: Cormack eine alternative Formel her
- Seite 65 und 66: Beweis: Sei ohne Einschränkung α
- Seite 67 und 68: g k = (2π/h) −n ∫ g(ξ)e i(kh)
- Seite 69 und 70: Man kann sich fragen, was die Bandb
- Seite 71 und 72: Beweis: Sei w ∈ S(R n ) eine Test
- Seite 73 und 74: c k = 1 (2π) 1/2 ∫ ||y|| |x| (De
- Seite 75 und 76: 4.4 Was fehlt? Fanbeam. Interlaced
- Seite 77 und 78: die sogenannte Landweber iteration.
- Seite 79 und 80: Primal Adjungiert messungen unbekan
- Seite 81 und 82: Nichtlineare Probleme Wir diskutier
- Seite 83 und 84: We finally mention that any suitabl
- Seite 85 und 86: 5.5 Konjugierte Gradienten (Frank)
- Seite 87 und 88: Satz 5.5.2. Gesucht sei die Lösung
- Seite 89 und 90: 3. Sei m j = 1, ω = 1, C k = (A k
- Seite 91 und 92: linearisiert. Seien also nun die R
- Seite 93 und 94: entsprechend statistisch optimale R
- Seite 95 und 96: L(f) heißt Likelihoodfunktion. Man
- Seite 97 und 98: und das ist die erweiterte Form der
Sei nun ϕ ∈ L 1 beliebig. Dann gilt<br />
∫<br />
̂f(ξ)e ixξ ϕ(ξ)dξ =<br />
=<br />
=<br />
∫<br />
∫<br />
∫<br />
̂f −x (ξ)ϕ(ξ)dξ<br />
f −x (ξ) ̂ϕ(ξ)dξ<br />
f(x − ξ) ̂ϕ(−ξ)dξ<br />
= (f ∗ ̂ϕ − )(x)<br />
Wir wählen nun ψ(ξ) := 1 √<br />
2π<br />
e −ξ2 /2 , also ̂ψ = ψ und |ψ| 1 = 1, und ϕ(ξ) =<br />
ψ(λξ). Damit gilt<br />
̂ϕ(ξ) = 1 λ ̂ψ(ξ/λ) = 1 λ ψ(ξ/(λ)) =: ψ λ(ξ).<br />
Oben eingesetzt erhalten wir<br />
(2π) −n/2 ∫<br />
̂f(ξ)e ixξ e −λ2 ξ 2 /2 dξ = (f ∗ ψ λ )(x)<br />
Die linke Seite konvergiert (mit majorisierter Konvergenz) gegen die rechte Seite<br />
der Inversionsformel, die rechte Seite konvergiert nach Vorbemerkung fast<br />
überall gegen f.<br />
□<br />
Satz 4.2.8. (Plancherel, Erweiterung der FT auf L 2 )<br />
Es gibt einen (eindeutig) bestimmten Isomorphismus<br />
T : L 2 (R n ) ↦→ L 2 (R n ),<br />
so dass ||T f|| 2 = ||f|| 2 und T f = ̂f∀f ∈ L 1 (R n ) ∩ L 2 (R n ).<br />
Beweis: Forster, ([6]). Beweisidee: Sei K R (0) der Kreis um 0 mit Radius R. Sei<br />
f eine L 2 –Funktion. Dann ist f n = fχ Kn(0) eine Funktionenfolge in L 1 ∩ L 2 ,<br />
die bzgl. L 2 gegen f konvergiert. Man zeigt nun, dass ̂f n bzgl. L 2 konvergiert<br />
und definiert den Grenzwert als die Fouriertransformierte von f.<br />
□<br />
Beispiel 4.2.9. Sei n = 2, f(x) = g(|x|). Für g(|x|) = 1<br />
1+|x| 2 gilt f ∈ L 2 (R 2 ),<br />
47