Einführung in die Fourieranalysis
|
|
- Krista Esser
- vor 5 Jahren
- Abrufe
Transkript
1 Einführung in die Fourieranalysis Helmut Abels 27. April Einleitung Eine klassische Frage der Fourieranalysis ist, inwieweit sich eine beliebige -periodische Funktion 1 f : R R durch eine trigonometrische Reihe f(x) = a 0 + (a k cos kx + b k sin kx) (1.1) k=0 für passende Koeffizienten a 0, a k, b k R, k N, darstellen lässt. Diese Fragestellung tritt z.b. beim Lösen von Differentialgleichungen mit Hilfe eines rennung der Variablen -Verfahrens auf. Andererseits ist es eine natürliche Frage der sogenannten Signalverarbeitung, ob jedes periodische Signal bzw. ein beliebiger on durch eine unendliche Linearkombination der Grundschwingungen cos kx und sin kx dargestellt werden kann. Betrachtet man allgemeiner komplex-wertige -periodische Funktion f : R C und benutzt man die Eulersche Gleichung e ix = cosx + i sin x bzw. cosx = eix + e ix, sin x = eix e ix 2 2i so ist die Darstellung (1.1) mit a 0, a k, b k C äquivalent zu der Darstellung f(x) = k= c k e ikx (1.2) wobei c k C und 1 (a 2 k ib k ) falls k > 0, c k = a 0 falls k = 0, 1 (a 2 k + ib k ) falls k < 0. 1 Allgemein heißt f : R periodisch mit Periode L, wenn f(x + L) = f(x) für alle x R, wobei eine beliebige enge ist. Natürlich kann durch eine einfache Variablensubstitution eine beliebige L-periodische Funktion immer in eine -periodische Funktion überführt werden. 1
2 Wegen der einfacheren Struktur werden wir im Folgenden immer mit der Darstellung (1.2) arbeiten. Zum einen ist die Darstellung einer Funktion in der Form (1.2) von rein praktischem Nutzen, z.b. beim Lösen von Differentialgleichungen, denn es gilt zu mindest formal f (x) = ikc k e ikx, f (x) = ( k 2 )c k e ikx,... k= k= Das heißt Differentiation wird zurückgeführt auf eine ultiplikation der Koeffizienten c k mit ik. Damit lassen sich Differentialgleichungen auf algebraische Gleichungen für die Koeffizienten c k zurückführen. Zum anderen hat eine Darstellung der Form (1.2) eine besondere reine mathematische Bedeutung, die sich aus der besonderen Bedeutung der Funktionen e k (x) = e ikx ergibt, die wir nun erläutern. Als Erstes sei bemerkt, dass jede -periodische Funktion f : R C durch ihre Werte f(x) für x [0, ) festgelegt ist und wir f auch als Funktion f : C wobei := R/Z, d.h. die enge aller Äquivalenzklassen [x] = {y R : x y Z}. Da R mit der Addition einen kommutative Gruppe ist und Z eine normale Untergruppe ist, ist eine Gruppe bzgl. der Addition zweier Zahlen modulo. Also sind -periodische Funktionen f : R C nichts anderes als Funktionen von der Gruppe in die komplexen Zahlen C. Was ist nun die besondere Bedeutung der Funktionen e k (x) = e ixk? Die folgt aus dem folgenden Lemma: Lemma 1.1 Es sei f : C \ {0} ein stetiger Homomorphism von der additiven Gruppen (, +) in die multiplikative Gruppe (C\{0}, ). Dann gibt es genau ein k Z so, dass f(x) = e ikx für alle x. Umgekehrt ist für jedes k Z die Abbildung x e ikx ein stetiger Gruppenhomomorphismus von (, +) nach (C \ {0}, ). Beweis: Wenn f : C\{0} ein Gruppenhomomorphismus ist, dann gilt f(x+y) = f(x)f(y) und f( x) = f(x) 1 für alle x, y. Daraus folgt ( n f = f(1) m) n m für alle n N 0, m N. D.h. es gilt f(q) = a q für alle q Q, wobei a = f(1). Da f stetig ist, und Q dicht in R liegt, folgt f(x) = a x für alle x R. Aus der Periodizität folgt nun 1 = f(0) = f() = a. Dies impliziert a = e ik für ein k Z. Damit ist die erste Aussage bewiesen. Umgekehrt folgt aus der Funktionalgleichung der Exponentialfunktion, dass f(x) = e ixk, x, für jedes k Z einen stetigen Gruppenhomomorphismus definiert. Bemerkung 1.2 Die Funktionen e k (x) = e ixk, k Z, heißen auch Charaktere der Gruppe. 2
3 Nun erzeugt jeder Gruppenhomomorphismus f : C\{0} einen eindimensionalen Raum V = span(f) = {af : a C}, der translationsinvariant ist, d.h. für alle f V, h, ist τ h f V mit (τ h f)(x) = f(x + h), x. D.h. die Fourierreihendarstellung (1.2) ergibt eine Zerlegung von f in seine Anteile in die translationsinvarianten Räume V k = span(e ikx ), k Z. it Hilfe dieser Basis lassen sich translationsinvariante Operationen wie die Ableitung f f diagonalisieren. Hierbei heißt eine Operation A, die auf passenden -periodische Funktionen wirkt, translationsinvariant, falls A mit allen ranslationen τ h, h, kommutiert, d.h. τ h (Af) = A(τ h f) für alle h und -periodischen Funktionen für die A definiert ist. Im Fall der Operation f f entspricht der Abbildung (c k ) k Z (ikc k ) k Z auf Seite der Fourierkoeffizienten c k. Hierbei sind ik gewissermaßen die Eigenwerte der Differentation und e k die zugehörigen Eigenfunktionen bzw. Eigenvektoren. an kann zeigen, dass jede passende translationsinvariante Operation A einer Abbildung (c k ) k Z (m k c k ) k Z für gewisse m k C für k Z auf Seite der Fourierkoeffizienten entspricht. Um all diese formalen Betrachtungen rigoros zu behandeln, stellt sich allerdings zuerst die Frage für welche -periodischen Funktionen f eine Fourierreihendarstellung (1.2) existiert, was die Koeffizienten c k sind, in welchem Sinn die Reihe in der Darstellung konvergiert und ob die Darstellung eindeutig ist. Schließlich sei noch bemerkt, dass R ebenfalls eine Gruppe bezüglich der Addition ist. Allerdings ist R kein kompakter topologischer Raum im Gegensatz zu. Außerdem ist die enge der stetigen und beschränkten Homomorphismen f : (R, +) (C \ {0}, ) überabzählbar und gegeben durch die Funktionen e ξ (x) = e iξx für beliebiges ξ R. Eine entsprechende Darstellung von nicht -periodischen Funktionen f : R C ist f(x) = e ixξ g(ξ) dξ (1.3) R für eine passende Funktion g: R C. Wiederum stellt sich die Frage nach Existenz einer solchen Funktion g, wie man diese gewinnt, ob sie eindeutig ist und in welchem Sinn die Darstellung (1.3) zu verstehen ist. Statt R kann man auch R n betrachten und man kann auch durch n ersetzen. Die Formeln und Aussagen ändern sich dadurch nur wenig. Bemerkungen über allgemeine Harmonischen Analysis: Eine Fourierreihe der Form (1.2) existiert allgemein für passende Funktionen f : G C, sofern G eine kom- 3
4 mutative, kompakte topologische Gruppe ist. 2 Hierbei müssen allerdings die Charaktere e ixk, k Z, der Gruppe durch die Charaktere der Gruppe G ersetzt werden. Ist G nicht kompakt, müssen ähnlich wie im Fall G = R diskrete Reihen durch passende Integrale ersetzt werden. Beispiele für allgemeiner topologische Gruppen sind: 1. Jede endliche Gruppe G mit der diskreten opologie. 2. R \ {0} mit der ultiplikation als Gruppenoperation und der opologie des R. 3. Z n mit der Addition als Gruppenoperation und der diskreten opologie. 4. atrizengruppen wie z.b: GL(n) = { A R n n : det A 0 }, SL(n) = { A R n n : det A > 0 }, O(n) = { A R n n : deta = 1 }, SO(n) = { A R n n : det A = 1 }. Die Gruppenoperation ist jeweils die atrixmultiplikation und die opologie, die vom R n n induzierte opologie. Allgemeiner ist jede sogenannte Lie- Gruppe eine topologische Gruppe. Im ersten und letzten Fall sind die Gruppen allerdings nicht immer kommutativ, was die heorie etwas komplizierter gestaltet. Allgemein kann man die Harmonische Analysis als die Analysis auf topologischen Gruppen bezeichnen. Im Folgenden werden wir uns allerdings auf die Gruppen bzw. n und R n beschränken. Indirekt werden wir auch Z n mit behandeln, da die Fourierkoeffizienten von Funktionen f : n C als Funktionen ˆf : Z n C angesehen werden können. Z n wird auch duale Gruppe von n genannt, da die enge der Charaktere e k (x) = e ik x, k Z n, mit Z n identifiziert werden kann. In diesem Sinn ist die duale Gruppe von R n wieder der R n, da die stetigen, beschränkten Homomorphismen f : R n C \ {0} gerade von der Form f(x) = e ix ξ für ein ξ R n sind. 2 Eine topologische Gruppe ist eine Gruppe G, die gleichzeitig ein topologischer Raum ist und deren Gruppenoperationen stetig bezüglich dieser opologie ist. Die Gruppe G heißt kompakt, wenn G ein kompakter topologischer Raum ist. 4
5 2 Einige Grundlagen 2.1 Lebesgue-Integral und L p -Räume Wir setzen Grundkenntnisse aus der heorie des Lebesgue-Integrals bzw. der aßtheorie voraus. Wir wiederholen hier nur kurz die für uns wichtigsten Fakten und behandeln ein paar für uns nützliche Anwendungen. Zur Erinnerung: Es sei R n eine messbare enge. Dann heißt f : R Lebesgue-integrierbar oder kurz integierbar falls f messbar ist und f(x) dx <. (2.1) Hierbei deutet dx Integration bezüglich des Lebesgueschen aßes, welches wir im Folgenden immer zu Grunde legen werden. Außerdem sei bemerkt, dass f 0 messbar ist, falls f messbar ist. Für jede nicht negative, messbare Funktion g: [0, ] ist das Integral g(x)dx immer wohldefiniert, allerdings möglicherweise unendlich. Falls (2.1) gilt, dann sind f + := max{f, 0} und f : max{ f, 0} nicht-negative Funktionen mit endlichem Integral und f(x) dx := f + (x) dx f (x) dx ist wohldefiniert. Allgemeiner ist f : C Lebesgue-integrierbar genau dann, wenn Re f und Im f Lebesgue-integrierbar sind. Dann setzen wir f(x)dx := Ref(x)dx + i Im f(x)dx. Den Raum der Lebesgue-integierbaren Funktionen f : C bezeichnen wir mit L 1 (). Dies ist eine linearer Vektorraum, der durch f 1 := f(x) dx R n normiert werden kann. Außerdem ist L 1 () vollständige bezüglich der Norm. 1, falls Funktionen, die sich nur auf einer Nullmenge unterscheiden, indentifiziert werden. Ein für ist grundlegender Satz ist: Satz 2.1 (Lebesguescher Satz über majorisierte Konvergenz) Es sei f k L 1 (), k N, eine Folge so, dass lim f k(x) = f(x) f.ü., k f k (x) g(x) f.ü., 5
6 für ein g L 1 (). Dann ist f L 1 () und es gilt f k (x) dx = f(x) dx. lim k Satz 2.2 (Satz von Fubini) Es sei f L 1 ( N) wobei R k, N R l, k, l N, messbare engen sind. Dann ist f(x,.) L 1 (N) für fast alle x, es ist x f(x, y)dy N L1 (). Außerdem gilt ( ) f(x, y) d(x, y) = f(x, y) dy dx. (2.2) N Umgekehrt, falls f(x,.) L 1 (N) für fast alle x ist und x f(x, y)dy N L 1 () ist, dann ist f L 1 ( N) und (2.2) gilt. Wir werden auch die Substitutionsformel benötigen, allerdings nur in dem einfachen Spezialfall f(ax + b) det A dx = R n f(y)dy R n für alle f L 1 (R n ), b R n und A R n n mit det A 0. Schließlich werden wir noch die Räume L p (), 1 p, verwenden, die aus allen messbaren Funktionen f : C bestehen so, dass { ( f L p () = f(x) p dx ) 1 p falls p <, ess sup x f(x) falls p =. endlich ist. All diese Räume sind Banachräume, sofern Funktionen, bis auf eine Nullmenge übereinstimmen, identifiziert werden. Darüber hinaus ist auf L 2 () ein Skalarprodukt definiert als (f, g) L 2 () = f(x)g(x) dx, f, g L 2 (), d.h. es gilt mit H = L 2 () (f + h, g) H = (f, g) H + (h, g) H N (λf, g) H (f, g) H = λ(f, g) H = (f, λg) H = (g, f) H sowie (f, f) H 0, (f, f) H = 0 f = 0. Allgemein nennt man einen Vektorraum H einen Hilbertraum, wenn es eine Abbildung (.,.) H : H H C gibt, die die voranstehenden Axiome erfüllt und H mit der Norm f H = (f, f) 1 2 H 6
7 ein Banachraum (d.h. vollständig) ist. Somit ist L 2 () ein Hilbertraum. In der heorie der Fourierreihen und der Fouriertransformation wird das L 2 -Skalarprodukt eine fundamentale Rolle spielen. Schließlich sind die kleinen L p -Räume l p (Z n ) definiert als die enge aller komplexwertigen Folgen (a k ) k Z sodass { ( (a k ) k Z l p (Z n ) = k Z a k p) 1 p sup k Z n a k falls 1 p < falls p = endlich ist. Eine der wichtigsten Ungleichung für die L p -Räume ist die Höldersche Ungleichung fg L 1 () f L p () g L p () für alle f L p (), g L p (), wobei 1 p, p die Gleichung 1 = 1 p + 1 p (2.3) erfüllen. Hierbei verwenden wir die Konvention 1 = 0. Im Folgenden werden wir für gegebenes 1 p mit p den Exponenten bezeichnen, der (2.3) erfüllt. Dann ist p = p falls 1 p < und p 1 p = 1 falls p =. Entsprechend gilt für die l p (Z n )-Räume: (a k b k ) k Z n l 1 (Z n ) (a k) k Z l p (Z n ) (b k) k Z l p (Z n ) für alle (a k ) k Z n l p (Z n ), (b k ) k Z n l p (Z n ), wobei 1 p, p und (2.3) gilt. 2.2 Lineare Operatoren auf Banachräumen Es seien X, Y zwei Banachräume. Dann bezeichnet L(X, Y ) den Vektorraum aller linear Abbildingen A: X Y die beschränkt sind, d.h. es gibt eine Konstante C > 0 so, dass Ax Y C x X für alle x X. Für A L(X, Y ) definieren wir die Operatornorm Dann gilt A L(X,Y ) = sup Ax Y. x X =1 Ax Y A L(X,Y ) x X für alle x X. Des Weiteren setzen wir L(X) = L(X, Y ). 7
8 Bemerkung 2.3 Jede beschränkte lineare Abbildung A: X Y ist stetig, denn es gilt: Ax n Ax Y A L(X,Y ) x n x X n 0 für jede Folge (x n ) n N mit x n n x in X. Es gilt auch die Umkehrung, dass jede stetige lineare Abbildung A: X Y beschränkt ist. (Siehe z.b. [Alt85, Lemma 3.1].) Definition 2.4 Ist A k L(X, Y ), k N, eine Folge linearer Operatoren so sagen wir A k konvergiert stark gegen A L(X, Y ), falls lim A kx = Ax für alle x X. k Proposition 2.5 Es sei A k L(X, Y ), k N, eine Folge linearer Operatoren. Dann konvergiert A k stark gegen A, falls 1. sup k N A k L(X,Y ) <. 2. lim k A k x = Ax für alle x D, wobei D eine dichte eilmenge von X ist. (D.h. D = X.) Beweis: Der Beweis ist ein typischer ε -Beweis. Um Konvergenz von A 3 kf für f X zu zeigen wählen wir ein f D mit f f X ε wobei 3 = max(sup A k L(X,Y ), A L(X,Y ) ). k N Da A k f k Af gibt es ein N N so, dass A k f Af Y ε 3 Damit erhalten wir für alle k N. A k f Af Y A k (f f ) Y + A k f Af Y + A(f f ) Y A k L(X,Y ) f f X + ε 3 + A L(X,Y ) f f X ε 3 + ε 3 + ε 3 = ε. für alle k N. Da ε > 0 beliebig war, folgt A k f k Af. 8
9 3 Fourierreihen 3.1 Definition und grundlegende Eigenschaften Im Folgenden sei = R/Z. Wir werden mit dem Intervall [0, ) identifizieren und jede Funktion f : [0, ) = C mit seiner periodischen Fortsetzung f : R C identifizieren. Dementsprechend ist f : C stetig bzw. differenzierbar, falls f : R C stetig bzw. differenzierbar ist. Entsprechend ist f : C messbar, falls f : R C messbar ist und wir definieren L p () = {f : C messbar : f L p () < } wobei ( ) 1 1 f(x) f L p () = p p dx falls 1 p <, 0 ess sup x f(x) falls p =. an bemerke den zusätzlichen Normierungsfaktor 1 im Gegensatz zur Definition von L p ([0, )), p <, der im Folgenden nützlich sein wird. Definition 3.1 Für f L 1 () definieren wir die Fourierkoeffizienten ˆf k ˆf(k), k Z, durch ˆf(k) = 1 e ikx f(x) dx für alle k Z. 0 Die Fourierreihe von f ist die (formale) Reihe ˆf(k)e ikx, x [0, ). (3.1) k Z Bemerkung 3.2 Für allgemeines f L 1 () ist erstmal nicht klar in welchem Sinn die Reihe (3.1) konvergiert. Außerdem ist offen, ob im Fall von Konvergenz, die Reihe in (3.1) gegen f konvergiert. Bemerkung 3.3 Die Funktionen e k (x) := e ikx, k Z, x [0, ), die sogenannten Charaktere der periodischen Gruppe bilden ein orthonormal System bezüglich des Skalarprodukts (f, g) L 2 () := 1 f(x)g(x) dx, 0 denn es gilt (e k, e j ) L 2 () = 1 { e i(k j) x 1 falls k j = 0 dx = 0 0 falls k j 0. it dieser Notation gilt ˆf(k) = (f, e k ) L 2 (). 9
10 Übung 1 Es sei f(x) = k N a ke ikx ein trigonometrisches Polynom der Ordnung N mit Koeffizienten a k C. Zeige, dass { a k falls k n, ˆf(k) = 0 sonst. Insbesondere konvergiert die Fourierreihe von f absolut und gleichmäßig gegen f. Übung 2 Es sei f L 1 () so, dass ( ˆf(k)) k Z l 1 (Z). Zeige, dass die Fourierreihe ˆf(k)e ikx von f gegen eine gleichmäßig stetige Funktion g: C konvergiert. k Z Einige elementare Eigenschaften der Abbildung f ( ˆf k ) k Z sind im folgenden Lemmata zusammengefasst: Lemma 3.4 Es seien f, g L 1 () und α C. Dann gilt 1. sup k Z ˆf(k) f L 1 (). 2. f + g(k) = ˆf(k) + ĝ(k) für alle k Z. 3. αf(k) = α ˆf(k) für alle k Z. 4. Falls g(x) := f(x) für alle x, so gilt ĝ(k) = ˆf( k) für alle k Z. Insbesondere ist F : L 1 () l (Z) definiert durch F[f] = ( ˆf k ) k Z eine lineare beschränkte Abbildung mit F L(L 1 (),l (Z)) 1. Beweis: Direkt aus der Definition von ˆf(k) folgt ˆf(k) 1 f(x) dx = f L 1 () da e ixk = 1 für alle x, k Z. Die zweite und dritte Aussage folgen direkt aus der Linearität des Integrals. Schließlich gilt ˆf(k) = 1 e ixk f(x) dx = 1 e ixk f(x) dx = ĝ( k) für alle k Z. Daraus folgt die vierte Aussage. Die letzte Aussage ergibt sich aus den vorangehenden Aussagen. Lemma 3.5 Es seien f, g L 1 (). Dann gilt 10
11 1. Für h sei (τ h f)(x) f h (x) = f(x + τ) für alle x die ranslation von f um h. Dann gilt τ h f(k) = e ihk ˆf(k) für alle k Z. 2. Ist f : C eine stetig differenzierbare Funktion, so gilt f (k) = ik ˆf(k) für alle k Z. Beweis: it Hilfe der Substitutionsregel ergibt sich direkt τ h f(k) = 1 0 e ixk f(x + h) dx = 1 0 e i(x h)k f(x) dx = e ihk ˆf(k) für alle k Z. Schließlich berechnet man mit Hilfe von partieller Integration, dass f (k) = 1 0 e ixk f (x) dx = 1 0 f(x) d ( ) e ixk dx = ik dx ˆf(k), wobei die Randterme wegfallen, da der Integrand -periodisch ist. Bemerkung 3.6 Alle Abbildungen im letzten Lemma sind translationsinvariant, d.h. sie kommutieren mit der ranslationsabbildung τ z für alle z. Genauer: τ z (τ h f))(x) = f(x + h + z) = τ h (τ z f)) (3.2) (τ z (f ))(x) = f (x + z) = (τ z f) (x) (3.3) für alle x und passenden f, g. Das Lemma zeigt, dass die Fouriertransformation f ( ˆf k ) k Z diese Operationen Af = τ h f bzw. Af = f auf einfache ultiplikationsoperatoren überführt, d.h. es gilt wobei m k = e ihk bzw. m k = ik gilt. Âf(k) = m k ˆf(k) für alle k Z, Eine weitere wichtige translationsinvariante Operation ist die Faltung zweier Funktionen, welche durch f g(x) = 1 0 f(x y)g(y) dy, x, für f, g L 1 () definiert wird. Hierbei ist für fast alle x der Integrand f(x y)g(y) L 1 () bezüglich y, was aus dem Satz von Fubini folgt. 11
12 Bemerkung 3.7 Im Fall, dass f(x) = χ h [ h/2,h/2], wobei χ die charakteristische Funktion einer enge bezeichnet, haben wir f g(x) = 1 h x+h/2 x h/2 g(y) dy für alle x. D.h. f g(x) ist der ittelwert der Funktionswerte von g im Intervall [x h/2, x+h/2]. Im Allgemeinen kann man f g(x) als ein gewichtetes ittel von g um den Punkt x bezüglich der Gewichtsfunktion f auffassen. Lemma 3.8 Für alle f L 1 (), g L p () mit 1 p ist f g L p () und es gilt f g L p () f L 1 () g L p (). (3.4) Außerdem gilt f g(k) = ˆf(k)ĝ(k) für alle k Z. (3.5) Beweis: Da L p () L 1 () ist y f(x y)g(y) L 1 () für fast alle x wegen des Satzes von Fubini. Für diese x gilt: f g(x) 1 f(x y) g(y) dy = f(x y) 1 1 p f(x y) p g(y) dy ( )1 ( ) 1 1 f(x y) g(y) p p 1 p dy f(x y) dy ( )1 1 f(x y) g(y) p p 1 dy f p L 1 () wobei wir die Höldersche Ungleichung fg L 1 () f L p () g, 1 = 1+ 1 verwendet p p haben. Daraus folgt f g p L p () 1 f(x y) g(y) p p p dy dx f 4π 2 L 1 () 1 f(z) dz g(y) p dy f p 1 4π 2 L 1 () = f p L 1 () g p L p (), was (3.4) beweist. Für die letzte Aussage berechnet wir direkt mit Hilfe vom Satz von Fubini und der Substitutionsregel f g(k) = 1 e ikx f(x y)g(y) dydx 4π 2 = 1 e ik(x y) f(x y) dxe iky g(y) dy 4π 2 = 1 e ikz f(z) dx 1 e iky g(y) dy = ˆf(k)ĝ(k) für alle k Z. 12
13 Übung 3 Zeige, dass die Faltung kommutativ, assoziativ und distributiv ist, d.h. es gilt f g(x) = g f(x) (f g) h(x) = f (g h)(x) f (g + h) = f g + f h für alle x und f, g, h L 1 (). Außerdem gilt für alle f, g L 1 () τ h (f g) = (τ h f) g = f (τ h g) für alle h. Insbesondere kommutiert also die Abbildung g f g mit den ranslationen τ h, h. it Hilfe der Faltung lassen sich die Partialsummen einer Fourierreihe S N f(x) := ˆf k e ikx (3.6) darstellen. k N Lemma 3.9 Für alle k Z und f L 1 () gilt ˆf k e ikx = f e k für alle x wobei e k (x) = e ikx für alle x. Beweis: Direkt aus der Definition von f e k und der Kommutativität der Faltung folgt f e k (x) = e k f(x) = 1 e ik(x y) f(y) dy = e ikx ˆf(k) für alle k Z. Folgerung 3.10 Für alle f L 1 () und N N 0 gilt wobei S N f(x) = D N f(x) für alle x, (3.7) D N (x) = k N Beweis: Aus Lemma 3.9 folgt sofort (3.7) mit D N (x) = e ikx = sin(n + 1)x 2 sin x. (3.8) 2 13 k N e ikx.
14 it Hilfe der geometrischen Summe berechnet man nun für alle N N 0 und x. D N (x) = e inx 2N k=0 = ei(n+1 2 )x e i(n+1 2 )x e i x 2 e i x 2 e ikx = e inx1 e i(2n+1)x 1 e ix = sin(n )x sin x 2 Bemerkung 3.11 Es stellt sich die Frage ob und in welchem Sinn S N f für N gegen f konvergiert. Die Antwort auf diese scheinbare einfache Frage ist aber sehr komplex. Für allgemeines f L 1 () konvergiert im Allgemeinen S N f(x) nicht gegen f für N fast überall und auch nicht in der L 1 -Norm. Insbesondere kann man zeigen, dass lim N D N L 1 () =. Deswegen kann ein Beweis von Konvergenz von S N f in L p () mit Hilfe von (3.4) und Proposition 2.5 nicht funktionieren. Ersetzt man allerdings L 1 () durch L 2 () oder L p () für ein 1 < p <, so gilt lim N S N f = f in L p (), falls f L p (). Dieses Resultat wird im Fall p 2 allerdings einige tiefliegende ethoden der Harmonischen Analysis benutzen und werden wir erst sehr viel später beweisen können. Sehr viel besser als die Partialsummen S N f verhalten sich aber die Fejérschen ittel von S N f, die wir im folgenden Abschnitt behandeln. 3.2 Fejér-ittel In diesem Abschnitt werden wir Konvergenzresultate für die sogenannten Fejér-ittel der Partialsummen S N f (σ N f)(x) = 1 N N ( S N f(x) = 1 k ) ˆf(k)e ikx (3.9) N + 1 N + 1 j=0 j= N beweisen. D.h. σ N f ist das arithmetische ittel von S 0 f,...,s N f. Es sei bemerkt, dass σ N f konvergiert, falls S N f konvergiert, aber nicht umgekehrt. 3 Proposition 3.12 Es seien f L 1 (), N N 0 und σ N f wie in (3.9) definiert. Dann gilt σ N f(x) = K N f(x) für fast alle x, (3.10) wobei K N (x) = N k= N ( 1 k ) ( e ikx = 1 sin N+1 N + 1 N + 1 sin x 2 2 x ) 2. (3.11) 3 Allgemein gilt: Ist (a n ) n N0 eine konvergente Folge in einem Banachraum X, so konvergiert auch b n = 1 n n+1 k=0 a n. Die Umkehrung ist im Allgemeinen aber falsch, da z.b. a n = ( 1) n nicht konvergiert, aber b n = 1 n n+1 k=0 ( 1)k eine Nullfolge ist. 14
L 2 -Theorie und Plancherel-Theorem
L -Theorie und Plancherel-Theorem Seminar Grundideen der Harmonischen Analysis bei Porf Dr Michael Struwe HS 007 Vortrag von Manuela Dübendorfer 1 Wiederholung aus der L 1 -Theorie Um die Fourier-Transformation
Mehr3.5 Glattheit von Funktionen und asymptotisches Verhalten der Fourierkoeffizienten
Folgerung 3.33 Es sei f : T C in einem Punkt x T Hölder stetig, d.h. es gibt ein C > und ein < α 1 so, dass f(x) f(x ) C x x α für alle x T. Dann gilt lim N S N f(x ) = f(x ). Folgerung 3.34 Es f : T C
Mehr53 Die Parsevalsche Gleichung
53 Die Parsevalsche Gleichung 53 Die Parsevalsche Gleichung 5 53. Skalarprodukte auf Räumen quadratintegrierbarer Funktionen. a) Die Orthogonalitätsrelationen (5.5) legen die Interpretation des Ausdrucks
MehrKonvergenz im quadratischen Mittel - Hilberträume
CONTENTS CONTENTS Konvergenz im quadratischen Mittel - Hilberträume Contents 1 Ziel 2 1.1 Satz........................................ 2 2 Endlich dimensionale Vektorräume 2 2.1 Defintion: Eigenschaften
MehrHarmonische Analysis
Seminar Harmonische Analysis Vortrag von Reidar Janssen 2. & 27. Oktober 211 Diese Übersetzung des ersten Kapitels von Anton Deitmars A First Course in Harmonical Analysis [] dient als Grundlage für meinen
MehrKonvergenz im quadratischen Mittel und die Parsevelsche Gleichung
Konvergenz im quadratischen Mittel und die Parsevelsche Gleichung Skript zum Vortrag im Proseminar Analysis bei Dr. Gerhard Mülich Christian Maaß 6.Mai 8 Im letzten Vortrag haben wir gesehen, dass das
MehrZusammenfassung der Lebesgue-Integrationstheorie
Zusammenfassung der Lebesgue-Integrationstheorie Das Lebesguesche Integral verallgemeinert das Riemannsche Integral. Seine Vorteile liegen für unsere Anwendungen vor allem bei den wichtigen Konvergenzsätzen,
MehrTeil III. Fourieranalysis
Teil III Fourieranalysis 3 / 3 Fourierreihen Ziel: Zerlegung einer gegebenen Funktion in Schwingungen Konkret: f : (, L) R gegebene Funktion Gesucht: Darstellung der Form ( f (x) = a + a n cos ( n L x)
MehrFourierreihen und -transformation
Kapitel Fourierreihen und -transformation. Fourierreihen 8 postulierte Fourier (ohne stichhaltige Beweise: Jede beliebige Funktion f(x mit Periode, d. h. f(x = f(x +, lässt sich in eine Reihe der Gestalt
MehrLebesgue-Integral und L p -Räume
Lebesgue-Integral und L p -Räume Seminar Integraltransformationen, WS 2012/13 1 Treppenfunktionen Grundlage jedes Integralbegriffs ist das geometrisch definierte Integral von Treppenfunktionen. Für A R
MehrDie komplexen Zahlen und Skalarprodukte Kurze Wiederholung des Körpers der komplexen Zahlen C.
Die omplexen Zahlen und Salarprodute Kurze Wiederholung des Körpers der omplexen Zahlen C. Erinnerung an die Definition von exp, sin, cos als Potenzreihen C C Herleitung der Euler Formel Definition eines
MehrModellfall. Orthogonalität trigonometrischer Funktionen. Anwendungen: f : (0, L) R gegeben.
Modellfall Anwendungen: Fragen: Digitalisierung / digitale Darstellung von Funktionen, insbesondere für Ton- und Bilddaten Digitale Frequenzfilter Datenkompression: Abspeichern der unteren Frequenzen Lösung
MehrFourier-Transformation
ANHANG A Fourier-Transformation In diesem Anhang werden einige Definitionen Ergebnisse über die Fourier-Transformation dargestellt. A. Definition Theorem & Definition: Sei f eine integrable komplexwertige
MehrLösungen der Übungsaufgaben von Kapitel 3
Analysis I Ein Lernbuch für den sanften Wechsel von der Schule zur Uni 1 Lösungen der Übungsaufgaben von Kapitel 3 zu 3.1 3.1.1 Bestimmen Sie den Abschluss, den offenen Kern und den Rand folgender Teilmengen
MehrLösungsvorschläge zum 14. Übungsblatt.
Übung zur Analysis III WS / Lösungsvorschläge zum 4. Übungsblatt. Aufgabe 54 Sei a R\{}. Ziel ist die Berechnung des Reihenwertes k a + k. Definiere dazu f : [ π, π] R, x coshax. Wir entwickeln f in eine
Mehr72 Orthonormalbasen und Konvergenz im quadratischen Mittel
72 Orthonormalbasen und Konvergenz im quadratischen Mittel 30 72 Orthonormalbasen und Konvergenz im quadratischen Mittel Wir untersuchen nun die Konvergenz von Fourier-Reihen im quadratischen Mittel in
Mehr1 Verbandstheorie. Aufgabensammlung. Höhere Mathematik für Physiker III Wintersemester 2014
Aufgabensammlung Höhere Mathematik für Physiker III Wintersemester 2014 1 Verbandstheorie 1. Aufgabe: (a) Sei f C(R) eine stetige Funktion. Wenn Rf(x)φ(x)dx = 0 für alle Testfunktionen φ Cc (R) gilt, dann
MehrVIII. Fourier - Reihen
VIII. Fourier - Reihen Dieses Kapitel enthält eine kurze Einführung in die mathematische Beschreibung von Schwingungen. Übersicht über den Inhalt von Kapitel VIII: 5. Der Satz von Fejér 53. Die Parsevalsche
MehrMathematik für Physiker, Informatiker und Ingenieure
Mathematik für Physiker, Informatiker und Ingenieure Folien zu Kapitel IV SS 2010 G. Dirr INSTITUT FÜR MATHEMATIK UNIVERSITÄT WÜRZBURG dirr@mathematik.uni-wuerzburg.de http://www2.mathematik.uni-wuerzburg.de
MehrLösungen zu Übungsblatt 9
Analysis : Camillo de Lellis HS 007 Lösungen zu Übungsblatt 9 Lösung zu Aufgabe 1. Wir müssen einfach das Integral 16 (x + y d(x, y x +y 4 ausrechnen. Dies kann man einfach mittels Polarkoordinaten, da
MehrOptimale Steuerung, Prof.Dr. L. Blank 1. II Linear-quadratische elliptische Steuerungsprobleme
Optimale Steuerung, Prof.Dr. L. Blank 1 II Linear-quadratische elliptische Steuerungsprobleme Zuerst: Zusammenstellung einiger Begriffe und Aussagen aus der Funktionalanalysis (FA), um dann etwas über
MehrKarteikarten, Analysis 2, Sätze und Definitionen nach der Vorlesung von PD Hanke
Karteikarten, Analysis 2, Sätze und en nach der Vorlesung von PD Hanke Felix Müller, felix.b.mueller@physik.lmu.de Diese Karteikärtchen sollten alle en und Sätze der Vorlesung Analysis 2 bei Herrn PD Hanke
MehrFourierreihen. Die erste dieser Aussagen folgt direkt aus der Definition. Für die zweite bemerken
Fachbereich Mathematik SS 0 J. Latschev Analysis II Fourierreihen In diesem Kapitel der Vorlesung widmen wir uns der Frage, inwieweit man jede periodische Funktion als Reihe in gewissen Standardfunktionen
Mehr4 Fehlerabschätzungen und Konvergenz der FEM
4 Fehlerabschätzungen und Konvergenz der FEM 4 Fehlerabschätzungen und Konvergenz der FEM 153 Es sei V der Lösungsraum und V N V ein endlich dimensionaler Unterraum. Weiters sei u V die exakte Lösung und
MehrKonvergenz im quadratischen Mittel und Parsevalsche Gleichung
Konvergenz im quadratischen Mittel und Parsevalsche Gleichung Skript zum Vortrag im Proseminar Analysis bei Prof Dr Picard, gehalten von Helena Malinowski In vorhergehenden Vorträgen und dazugehörigen
Mehrx, y 2 f(x)g(x) dµ(x). Es ist leicht nachzuprüfen, dass die x 2 setzen. Dann liefert (5.1) n=1 x ny n bzw. f, g = Ω
5. Hilberträume Definition 5.1. Sei H ein komplexer Vektorraum. Eine Abbildung, : H H C heißt Skalarprodukt (oder inneres Produkt) auf H, wenn für alle x, y, z H, α C 1) x, x 0 und x, x = 0 x = 0; ) x,
MehrFaltung und Approximation von Funktionen
Faltung und Approximation von Funktionen Lisa Bauer und Anja Moldenhauer 9. Juni 2008 1 Die Faltung von Funktionen 1.1 Die Faltung Eine kleine Widerholung mit einem Zusatz: Vergleiche den Vortrag von Benjamin
MehrUniversität Ulm Abgabe: Mittwoch,
Universität Ulm Abgabe: Mittwoch, 8.5.23 Prof. Dr. W. Arendt Jochen Glück Sommersemester 23 Punktzahl: 36+4* Lösungen Halbgruppen und Evolutionsgleichungen: Blatt 2. Sei X ein Banachraum und (T (t)) t
Mehrd(x, z) = z x = y x + z y y x + z y = d(x, y) + d(y, z). d(x, y) = 0, falls x = y.
Metrische Räume K bezeichnet entweder den Körper R oder den Körper C. Genauer bedeutet dies: K wird in denjenigen Situationen verwendet, in denen die Ersetzung von K sowohl durch R als auch durch C einen
Mehr8.1. DER RAUM R N ALS BANACHRAUM 17
8.1. DER RAUM R N ALS BANACHRAUM 17 Beweis. Natürlich ist d 0 und d(x, y) = 0 genau dann, wenn x = y. Wegen (N2) ist x = x und damit d(x, y) = d(y, x). Die letzte Eigenschaft einer Metrik schließt man
Mehr2. Integration. {x : f(x) <a+ 1 n }
9 2.1. Definition. 2. Integration in Maß ist eine nichtnegative, abzählbar additive Mengenfunktion. in Maßraum ist ein Tripel (X,,µ) bestehend aus einem messbaren Raum X mit der -lgebra und einem auf definierten
MehrSchwartz-Raum (Teil 1)
Schwartz-Raum (Teil 1) Federico Remonda, Robin Krom 10. Januar 2008 Zusammenfassung Der Schwartz-Raum ist ein Funktionenraum, der besondere Regularitätseigenschaften besitzt, die uns bei der Fouriertransformation
MehrAnalysis 2, Woche 9. Mehrdimensionale Differentialrechnung I. 9.1 Differenzierbarkeit
A Analysis, Woche 9 Mehrdimensionale Differentialrechnung I A 9. Differenzierbarkeit A3 =. (9.) Definition 9. Sei U R m offen, f : U R n eine Funktion und a R m. Die Funktion f heißt differenzierbar in
Mehrist reelles lineares Funktional. x(t) ϕ(t) dt ist reelles lineares Funktional für alle ϕ L 2 (0, 1).
Kapitel 4 Stetige lineare Funktionale 4.1 Der Satz von Hahn - Banach Definition 4.1. Sei X ein linearer normierter Raum über dem Körper K (R oder C). Ein linearer Operator f : X K heißt (reelles oder komplexes)
Mehr15. Bereichsintegrale
H.J. Oberle Analysis III WS 212/13 15. Bereichsintegrale 15.1 Integrale über uadern Ziel ist die Berechnung des Volumens unterhalb des Graphen einer Funktion f : R n D R, genauer zwischen dem Graphen von
MehrFerienkurs in Maß- und Integrationstheorie
Zentrum Mathematik Technische Universität München Dipl. Math. Wolfgang Erb WS 9/ Übungsblatt Ferienkurs in Maß- und Integrationstheorie Aufgabe. (σ-algebren Sei eine Menge und A eine σ-algebra in. Seien
MehrDie Fourier-Transformierte
Die Fourier-Transformierte Proseminar Analysis Sommersemester 008 Natalia Dück 6.06.08 Inhaltsverzeichnis Einleitung/Fourier-Transformierte. Definition..................................... Beispiele......................................3
MehrMathematik I für Studierende der Geophysik/Ozeanographie, Meteorologie und Physik Vorlesungsskript
Mathematik I für Studierende der Geophysik/Ozeanographie, Meteorologie und Physik Vorlesungsskript Janko Latschev Fachbereich Mathematik Universität Hamburg www.math.uni-hamburg.de/home/latschev Hamburg,
MehrZusammenfassung Analysis 2
Zusammenfassung Analysis 2 1.2 Metrische Räume Die Grundlage metrischer Räume bildet der Begriff des Abstandes (Metrik). Definition 1.1 Ein metrischer Raum ist ein Paar (X, d), bestehend aus einer Menge
MehrMerkblatt zur Funktionalanalysis
Merkblatt zur Funktionalanalysis Literatur: Hackbusch, W.: Theorie und Numerik elliptischer Differentialgleichungen. Teubner, 986. Knabner, P., Angermann, L.: Numerik partieller Differentialgleichungen.
Mehr10 Der Integralsatz von Gauß
10 Der Integralsatz von Gauß In diesem Abschnitt beweisen wir den Integralsatz von Gauß, die mehrdimensionale Verallgemeinerung des Hauptsatzes der Differential- und Integralrechnung. Aussage des Satzes
Mehr10 Der Satz von Fubini
er Satz von Fubini ie Bezeichnungen seien wie in den Paragraphen 8 und 9. Satz. (Satz von Tonelli Es sei f : d [, + ] messbar. (Aus 8 folgt dann, dass f, f y messbar sind, wobei klar ist, dass f, f y sind.
MehrHöhere Funktionalanalysis WS2016/17 Übungsblatt
Höhere Funktionalanalysis WS2016/17 Übungsblatt 1 11.10.2016 Aufgabe 1. Berechne die Normen der Operatoren (a) f L [0, 1], M f : L 2 [0, 1] L 2 [0, 1], (M f g)(x) = f(x)g(x). (b) g C[0, 1], T g : C[0,
Mehr22 KAPITEL 1. GRUNDLAGEN. Um zu zeigen, dass diese Folge nicht konvergent ist, betrachten wir den punktweisen Limes und erhalten die Funktion
KAPITEL 1. GRUNDLAGEN Um zu zeigen, dass diese Folge nicht konvergent ist, betrachten wir den punktweisen Limes und erhalten die Funktion 1 für 0 x < 1 g 0 (x) = 1 1 für < x 1. Natürlich gibt dies von
Mehrc < 1, (1) c k x k0 c k = x k0
4.14 Satz (Quotientenkriterium). Es sei (x k ) Folge in K. Falls ein k 0 existiert, so dass für k k 0 gilt x k 0 und x k+1 x k c < 1, (1) so ist x k absolut konvergent. Beweis. Aus (1) folgt mit vollständiger
MehrLösung zu den Übungsaufgaben zur Lebesgueschen Integrationstheorie. Tobias Ried
Lösung zu den Übungsaufgaben zur Lebesgueschen Integrationstheorie Tobias Ried. März 2 2 Aufgabe (Messbarkeit der Komposition zweier Abbildungen). Seien (X, A), (Y, B) und (Z, C) Messräume und f : (X,
MehrMathematik II für Studierende der Informatik (Analysis und lineare Algebra) im Sommersemester 2018
(Analysis und lineare Algebra) im Sommersemester 2018 2. Juli 2018 1/1 Wir geben einige wesentliche Sätze über bestimmte Integrale an, deren Beweise man in den Standardlehrbüchern der Analysis findet.
Mehrist ein n-dimensionaler, reeller Vektorraum (vgl. Lineare Algebra). Wir definieren auf diesem VR ein Skalarprodukt durch i y i i=1
24 14 Metrische Räume 14.1 R n als euklidischer Vektorraum Die Menge R n = {(x 1,..., x n ) x i R} versehen mit der Addition und der skalaren Multiplikation x + y = (x 1 + y 1,..., x n + y n ) λx = (λx
MehrFolgen und Reihen von Funktionen
Folgen und Reihen von Funktionen Sehr häufig treten in der Mathematik Folgen bzw. Reihen von Funktionen auf. Ist etwa (f n ) eine Folge von Funktionen, dann können wir uns für ein festes x fragen, ob die
MehrD-MATH Funktionalanalysis II FS 2014 Prof. M. Struwe. Lösung 2
D-MATH Funktionalanalysis FS 214 Prof. M. Struwe Lösung 2 1. a) Wir unterscheiden zwei Fälle. Fall 1: 1 < p < : Seien u L p () und (u k ) W 1,p () eine beschränkte Folge, so dass u k u in L p () für k.
MehrWestfälische Wilhelms-Universität Münster. Seminararbeit. Fourier-Reihen. vorgelegt von. Stefan Marczinzik
Westfälische Wilhelms-Universität Münster Seminararbeit Fourier-Reihen vorgelegt von Stefan Marczinzik Fachbereich Mathematik und Informatik Seminar: Integraltransformationen (WS /3) Seminarleiter: Prof.
MehrFunktionsgrenzwerte, Stetigkeit
Funktionsgrenzwerte, Stetigkeit Häufig tauchen in der Mathematik Ausdrücke der Form lim f(x) auf. x x0 Derartigen Ausdrücken wollen wir jetzt eine präzise Bedeutung zuweisen. Definition. b = lim f(x) wenn
Mehr4.1 Grundlegende Konstruktionen Stetigkeit von Funktionen Eigenschaften stetiger Funktionen... 92
Kapitel 4 Funktionen und Stetigkeit In diesem Kapitel beginnen wir Funktionen f : Ê Ê systematisch zu untersuchen. Dazu bauen wir auf den Begriff des metrischen Raumes auf und erhalten offene und abgeschlossene
MehrÜbungen Analysis I WS 03/04
Blatt Abgabe: Mittwoch, 29.0.03 Aufgabe : Beweisen Sie, daß für jede natürliche Zahl n gilt: n ( ) n (x + y) n = x i y n i, i (b) n ν 2 = ν= i=0 n(n + )(2n + ), 6 (c) 2 3n ist durch 7 teilbar. Aufgabe
Mehr2 Allgemeine Integrationstheorie
2 Allgemeine Integrationstheorie In diesem Abschnitt ist (,S,µ) ein Maßraum, und wir betrachten R immer mit der σ Algebra B(R). Ziel ist es, messbare Funktionen f : R zu integrieren. Das Maß µ wird uns
MehrDifferentialgleichungen und Hilberträume Sommersemester 2014 Übungsblatt 11
Institut für Analysis Prof. Dr. Wolfgang Reichel Dipl.-Math. Anton Verbitsky Aufgabe 1 Differentialgleichungen und Hilberträume Sommersemester 14 Übungsblatt 11 5 Punkte In dieser Aufgabe geht es um die
MehrÜbungen zu Analysis, SS 2015
Übungen zu Analysis, SS 215 Ulisse Stefanelli 15. Juni 215 1 Wiederholung 1. Untersuchen Sie das Verhalten der folgenden Folgen a n = n 2 cosh(1/n), b n = ln(ln(n))/n, c n = (2 n n 2 )/n!, 2. Stellen Sie
MehrSinguläre Integrale 1 Grundideen der harmonischen Analysis
Singuläre Integrale Grundideen der harmonischen Analsis Jens Hinrichsen und Annina Saluz November 2007 Motivation Ein tpisches Beispiel für ein singuläres Integral ist die Hilbert-Transformation, welche
Mehr(y ) 2 0 bis t, so erhalten wir 1 y (t) (t t 0). L sen wir diese Ungleichung nun nach y (t) auf, so folgt
0.. Lösung der Aufgabe. Wir nehmen an, es existiere eine nicht-triviale globale L sung y. Dann lesen wir direkt von der Gleichung ab, dass y 0 gilt auf ganz R, das heisst, die Funktion ist konvex. Da wir
Mehrhhhhh 8 ( x)/2, <x 0, ( x)/2, 0 <x, , ] hinaus. Diese Funktion ist ungerade, ihre Fourierreihe also eine reine Sinusreihe. Man findet 1 cos nx dx.
86 5 Fouriertheorie Für gerades f ist f (x) sin nx ungerade, somit b n = f (x) sin nx dx =. Für ungerades f ist dagegen f cos nx ungerade, also a n = f (x) cos nx dx =..Ò Beispiel Die Sägezahnfunktion
MehrWiederholung. Wir wiederholen einige Begriffe und Sätze der Analysis, die in der Maßtheorie eine wichtige Rolle spielen.
Wiederholung Wir wiederholen einige Begriffe und Sätze der Analysis, die in der Maßtheorie eine wichtige Rolle spielen. Definition. Sei X eine Menge und d : X X R eine Abbildung mit den Eigenschaften 1.
Mehr30 Metriken und Normen
31 Metriken und Normen 153 30 Metriken und Normen Lernziele: Konzepte: Metriken, Normen, Skalarprodukte, Konvergenz von Folgen Frage: Versuchen Sie, möglichst viele verschiedene Konvergenzbegriffe für
Mehr9. Übung zur Maß- und Integrationstheorie, Lösungsskizze Aufgaben
9. Übung zur aß- und Integrationstheorie, Lösungsskizze Aufgaben A 50 (Eine Flächenberechnung mit dem Cavalierischen Prinzip). Es seien a, b > 0 und : { (x, y) R 2 : (x/a) 2 + (y/b) 2 1 }. (a) Skizzieren
Mehr10 Aus der Analysis. Themen: Konvergenz von Zahlenfolgen Unendliche Reihen Stetigkeit Differenzierbarkeit
10 Aus der Analysis Themen: Konvergenz von Zahlenfolgen Unendliche Reihen Stetigkeit Differenzierbarkeit Zahlenfolgen Ein unendliche Folge reeller Zahlen heißt Zahlenfolge. Im Beispiel 2, 3, 2, 2 2, 2
Mehr2.6 Der Satz von Fubini
1 2.6 Der Satz von Fubini Unser Ziel ist der Beweis des folgenden Ergebnisses. 6.1. Satz von Fubini Sei f : R n+m R integrierbar. Dann gibt es eine Nullmenge N R m, so dass gilt: 1. Für alle y R m \ N
MehrExponentialabbildung für Matrizen und Systeme von Differentialgleichungen
Proseminar Lineare Algebra SS10 Exponentialabbildung für Matrizen und Systeme von Differentialgleichungen Simon Strahlegger Heinrich-Heine-Universität Betreuung: Prof. Dr. Oleg Bogopolski Inhaltsverzeichnis:
MehrKommutativität. De Morgansche Regeln
1. Formale Logik Proposition 1.1. Die logischen Elementarverknüpfungen gehorchen folgenden Äquivalenzen: (1.1) (1.2) p p p p p p Idempotenz (1.3) (1.4) p q q p p q q p Kommutativität (1.5) (1.6) (p q)
MehrBemerkung Als Folge von Satz 6.2 kann man jede ganze Funktion schreiben als Potenzreihe. α m z m. f(z) = m=0. 2πi. re it t [0,2π] 2πi
Funktionentheorie, Woche 7 Eigenschaften holomorpher Funktionen 7.1 Ganze Funktionen Definition 7.1 Eine Funktion f : C C, die holomorph ist auf C, nennt man eine ganze Funktion. Bemerkung 7.1.1 Als Folge
Mehrε δ Definition der Stetigkeit.
ε δ Definition der Stetigkeit. Beweis a) b): Annahme: ε > 0 : δ > 0 : x δ D : x δ x 0 < δ f (x δ f (x 0 ) ε Die Wahl δ = 1 n (n N) generiert eine Folge (x n) n N, x n D mit x n x 0 < 1 n f (x n ) f (x
MehrLösung zum Tutorium für Topologie und Differentialrechnung mehrerer Variablen SS y. Mit A ist der Flächeninhalt des von
Blatt Nr. Markus Nöth Lösung zum Tutorium für Topologie und Differentialrechnung mehrerer Variablen SS 1 Aufgabe 1 1 8 6 X w - 6 8 Abbildung 1: Cauchy-Schwarz-Ungl. A In der nebenstehenden Graphik sind
MehrLösungsvorschläge für das 5. Übungsblatt
Lösungsvorschläge für das 5. Übungsblatt Aufgabe 6 a) Sei = [0, ], f(x) := [e x ] für x. Hierbei ist [y] := maxk Z k y} für y. Behauptung: f ist messbar und es ist f(x) dx = 2 log 2. falls x [0, log 2),
MehrD-ITET Analysis II FS 13 Prof. Horst Knörrer. Musterlösung 1. 3xy 2 = 2 x 2. y y. 3 y y. 3 x v x + v = 2 3 v v.
D-ITET Analysis II FS 3 Prof. Horst Knörrer Musterlösung. a) Es gilt: dy d 3 + y 3 3y 3 y + y 3. Dies ist eine homogene Differentialgleichung, das heisst y hängt nur von y ab. Setze v : y y() v() y v +
MehrAnalysis I. Guofang Wang Universität Freiburg
Universität Freiburg 30.11.2016 5. Teilmengen von R und von R n Der R n ist eine mathematische Verallgemeinerung: R n = {x = (x 1,..., x n ) : x i R} = } R. {{.. R }. n mal Für x R ist x der Abstand zum
MehrRechenoperationen mit Folgen. Rekursion und Iteration.
Rechenoperationen mit Folgen. Die Menge aller Folgen in V bildet einen Vektorraum, V N, für den die Addition und skalare Multiplikation wie folgt definiert sind. (a n ) n N + (b n ) n N := (a n + b n )
Mehr3 Folgen, Reihen und stetige Funktionen
Höhere Mathematik 101 3 Folgen, Reihen und stetige Funktionen 3.1 Folgen und Reihen: Definitionen und Beispiele Eine reelle oder komplexe Zahlenfolge ist eine Abbildung, die jeder natürlichen Zahl n eine
MehrÜbungen zu Einführung in die Analysis
Übungen zu Einführung in die Analysis (Nach einer Zusammengestellung von Günther Hörmann) Sommersemester 2011 Vor den folgenden Aufgaben werden in den ersten Wochen der Übungen noch jene zur Einführung
MehrMeßbare Funktionen. bilden die Grundlage der Integrationstheorie. Definition 24.1 :
24 Meßbare Funktionen bilden die Grundlage der Integrationstheorie. Definition 24. : Sei X eine beliebige Menge, Y ein topologischer Raum, λ ein Maß auf X. f : X Y heißt λ-messbar, falls f (Ω) λ-messbar
MehrKonversatorium zu Lineare Algebra und Analysis Analysis - Übungsbeispiele
Univ.-Prof. Dr. Radu Ioan Boţ, Axel Böhm Konversatorium zu Lineare Algebra und Analysis Analysis - Übungsbeispiele SS18 A1. Sei f : [, + ) R so, dass und dass ein M existiert mit Zeigen Sie, dass f(s +
MehrFouriertransformation und Unschärfeprinzip
Information, Codierung, Komplexität 2 SS 2007 24. April 2007 Das berühmte von Heisenberg in der Quantentheorie beruht, rein mathematisch betrachtet, auf einer grundlegenden Eigenschaft der der Dichtefunktionen
MehrListe wichtiger Stammfunktionen
Liste wichtiger Stammfunktionen Funktion Stammfunktion x n, x ln(x) n R \ { } n + xn+ ln( x ) x ln(x) x a x, a > sin(x) cos(x) sin 2 (x) cos 2 (x) x 2 x 2 a x ln(a) cos(x) sin(x) (x sin(x) cos(x)) 2 (x
MehrHOCHSCHULBÜCHER FÜR MATHEMATIK H.GRELL, K.MARUHN U N D W.RINOW BAND 14 FOURIERREIHEN VON G.P. TOLSTOW MIT 51 A B B I L D U N G E N
fc HOCHSCHULBÜCHER FÜR MATHEMATIK H E R A U S G E G E B E N VON H.GRELL, K.MARUHN U N D W.RINOW BAND 14 FOURIERREIHEN VON G.P. TOLSTOW MIT 51 A B B I L D U N G E N 1955 VEB DEUTSCHER VERLAG DER WISSENSCHAFTEN
MehrAnalysis I für Studierende der Ingenieurwissenschaften
Analysis I für Studierende der Ingenieurwissenschaften Ingenuin Gasser Department Mathematik Universität Hamburg Technische Universität Hamburg Harburg Wintersemester 2008/2009 1 Definition: Sei M R, alsom
MehrVorlesung Mathematik 2 für Ingenieure (Sommersemester 2016)
1 Vorlesung Mathematik 2 für Ingenieure (Sommersemester 216) Kapitel 11: Potenzreihen und Fourier-Reihen Prof. Miles Simon Nach Folienvorlage von Prof. Dr. Volker Kaibel Otto-von-Guericke Universität Magdeburg.
MehrAnalysis II (FS 2015): ZUSAMMENHÄNGENDE METRISCHE RÄUME
Analysis II (FS 2015): ZUSAMMENHÄNGENDE METRISCHE RÄUME Dietmar A. Salamon ETH-Zürich 23. Februar 2015 1 Topologische Grundbegriffe Sei (X, d) ein metrischer Raum, d.h. X ist eine Menge und d : X X R ist
MehrSysteme von Differentialgleichungen. Beispiel 1: Chemische Reaktionssysteme. Beispiel 2. System aus n Differentialgleichungen 1. Ordnung: y 1.
Systeme von Differentialgleichungen Beispiel : Chemische Reaktionssysteme System aus n Differentialgleichungen Ordnung: y (x = f (x, y (x,, y n (x Kurzschreibweise: y y 2 (x = f 2(x, y (x,, y n (x y n(x
MehrKapitel 3. Konvergenz von Folgen und Reihen
Kapitel 3. Konvergenz von Folgen und Reihen 3.1. Normierte Vektorräume Definition: Sei V ein Vektorraum (oder linearer Raum) über (dem Körper) R. Eine Abbildung : V [0, ) heißt Norm auf V, falls die folgenden
Mehr8 1. GEOMETRIE DIFFERENZIERBARER MANNIGFALTIGKEITEN
8 1. GEOMETRIE DIFFERENZIERBARER MANNIGFALTIGKEITEN (vi) Konvergenz von Folgen ist in topologischen Räumen folgendermaßen definiert: Ist (a n ) M eine Folge, so heißt sie konvergent gegen a M, wenn es
MehrErwartungswert als Integral
Erwartungswert als Integral Anton Klimovsky Gemischte ZVen, allgemeine ZVen, Erwartungswert für allgemeine ZVen, Lebesgue-Integral bzgl. WMaß, Eigenschaften des Integrals, Lebesgue-Maß, Lebesgue-Integral
MehrTopologie und Differentialrechnung mehrerer Veränderlicher, SS 2009 Modulprüfung/Abschlussklausur. Aufgabe Punkte
Universität München 22. Juli 29 Topologie und Differentialrechnung mehrerer Veränderlicher, SS 29 Modulprüfung/Abschlussklausur Name: Aufgabe 2 3 4 Punkte Gesamtpunktzahl: Gesamturteil: Schreiben Sie unbedingt
Mehr12 Gewöhnliche Differentialgleichungen
2 2 Gewöhnliche Differentialgleichungen 2. Einleitung Sei f : D R wobei D R 2. Dann nennt man y = f(x, y) (5) eine (gewöhnliche) Differentialgleichung (DGL) erster Ordnung. Als Lösung von (5) akzeptiert
MehrKurzskript zur Vorlesung Analysis 2
Kurzskript zur Vorlesung Analysis 2 Prof G Friesecke Zentrum Mathematik, TU München SS 2009 Abstract Dieses Kurzskript ersetzt weder die Teilnahme an, noch die Mitschrift aus, der Vorlesung Es enthält
Mehr6 Fourierreihen und die Fouriertransformation
Mathematik für Physiker IV, SS 13 Mittwoch 9.5 $Id: fourier.tex,v 1.4 13/5/31 16:8:3 hk Exp hk $ 6 Fourierreihen und die Fouriertransformation 6.1 Die Fourierreihe einer integrierbaren Funktion Am Ende
Mehr11 Fourier-Analysis Grundlegende Begriffe
11 Fourier-Analysis 11.1 Grundlegende Begriffe Definition: Eine Funktion f : R R (oder f : R C) heißt periodisch mit der Periode T (oder T-periodisch), falls f(t + T) = f(t) für alle t R. Ziel: Entwicklung
MehrAnalysis II. Aufgaben zum Stoff der Analysis I und II Lösungsvorschlag
Prof Dr H Garcke, D Depner SS 9 NWF I - Mathematik 1979 Universität Regensburg Aufgabe 1 Analysis II Aufgaben zum Stoff der Analysis I und II Lösungsvorschlag i Erinnern Sie sich an die Konvergenzkriterien
MehrINGENIEURMATHEMATIK. 8. Reihen. Sommersemester Prof. Dr. Gunar Matthies
Mathematik und Naturwissenschaften Fachrichtung Mathematik, Institut für Numerische Mathematik INGENIEURMATHEMATIK 8. Reihen Prof. Dr. Gunar Matthies Sommersemester 2016 G. Matthies Ingenieurmathematik
MehrElemente der mengentheoretischen Topologie
Elemente der mengentheoretischen Topologie Es hat sich herausgestellt, dass das Konzept des topologischen Raumes die geeignete Struktur darstellt für die in der Analysis fundamentalen Begriffe wie konvergente
MehrFourier-Reihen. Definition. Eine auf R definierte Funktion f heißt periodisch mit der Periode T 0, wenn f(x + T ) = f(x) x R.
Fourier-Reihen Sehr häufig in der Natur begegnen uns periodische Vorgänge, zb beim Lauf der Gestirne am Nachthimmel In der Physik sind Phänomene wie Schwingungen und Wechselströme periodischer Natur Zumeist
MehrDie Wärmeleitungsgleichung
Die Wärmeleitungsgleichung In einem Stab der Länge 1 wird die Temperaturverteilung gegeben durch die Funktion u : ([0,1] [0, )) R, u(x,t) ist die Temperatur am Punkt x zum Zeitpunkt t. Die Funktion erfüllt
Mehr