Funktionenreihe

Funktionenreihe

Eine Funktionenfolge ist eine Folge, deren einzelne Glieder Funktionen sind. Funktionenfolgen und ihre Konvergenzeigenschaften sind für alle Teilgebiete der Analysis von großer Bedeutung. Vor allem wird hierbei untersucht, in welchem Sinne die Folge konvergiert, ob die Grenzfunktion Eigenschaften der Folge erbt oder ob Grenzwertbildungen bei Funktionenfolgen vertauscht werden können. Viele wichtige Beispiele sind Reihen von Funktionen, etwa Potenzreihen oder Fourier-Reihen.

Inhaltsverzeichnis

Definition

Eine (reelle) Funktionenfolge ist eine Folge f_1,f_2,f_3,\ldots von Funktionen f_i\colon\R\to\R. Allgemeiner können Definitions- und Zielmenge auch andere Mengen sein, beispielsweise Intervalle; sie müssen jedoch für alle Funktionen dieselben sein.

Abstrakt kann eine Funktionenfolge als Abbildung

f\colon D\times\mathbb N\to Z,\quad (x,n)\mapsto f_n(x)

für eine Definitionsmenge D und eine Zielmenge Z definiert werden.

Beispiele

Vertauschung Grenzwert und Integralzeichen

Für die Folge (f_n)_{n\in\N}\;, f_n\colon[0,1]\to\mathbb R mit

f_n(x)=\begin{cases}n^2x&0\leq x\leq 1/n\\2n-n^2x&1/n\leq x\leq2/n\\0&x\geq2/n\end{cases}

gilt für jedes fixe x

\lim_{n\to\infty} f_n(x) =0,

sie konvergiert punktweise gegen die Nullfunktion. Jedoch gilt

\int_0^1f_n(x)\,\mathrm dx=1,

also

\lim_{n\to\infty}\int_0^1f_n(x)\,\mathrm dx\ne\int_0^1\lim_{n\to\infty}f_n(x)\,\mathrm dx.

Punktweise Konvergenz reicht also nicht aus, damit Grenzwert und Integralzeichen vertauscht werden dürfen; damit diese Vertauschung erlaubt ist, ist ein strengeres Konvergenzverhalten, nämlich die sogenannte gleichmäßige Konvergenz, notwendig.

Potenzreihen

In der Analysis treten Funktionenfolgen häufig als Summen von Funktionen, also als Reihe auf, insbesondere als Potenzreihe oder allgemeiner als Laurentreihe.

Fourieranalyse und Approximationstheorie

In der Approximationstheorie wird untersucht, wie gut sich Funktionen als Grenzwert von Funktionenfolgen darstellen lassen, wobei insbesondere die quantitative Abschätzung des Fehlers von Interesse ist. Die Funktionenfolgen treten dabei üblicherweise als Funktionenreihen auf, also als Summe \sum_{n=1}^N f_n(x). Beispielsweise konvergieren Fourierreihen im L2-Sinn gegen die darzustellende Funktion. Bessere Approximationen im Sinne der gleichmäßigen Konvergenz erhält man oft mit Reihen aus Tschebyschow-Polynomen.

Stochastik

In der Stochastik ist eine Zufallsvariable X als Funktion X: \Omega\to\R eines Maßraums (Ω,Σ,P) mit einem Wahrscheinlichkeitsmaß P(Ω) = 1 definiert. Folgen Xn von Zufallsvariablen sind daher spezielle Funktionenfolgen, ebenso sind Statistiken wie z. B. der Stichprobenmittelwert \bar{X}_N:=\frac{1}{N}\sum_{n=1}^N X_n Funktionenfolgen. Wichtige Konvergenzeigenschaften dieser Funktionenfolgen sind z. B. die Gesetze der großen Zahlen oder die Zentralen Grenzwertsätze.

Numerische Mathematik

In der numerischen Mathematik tauchen Funktionenfolgen beispielsweise bei der Lösung von partiellen Differentialgleichungen Df = 0 auf, wobei D ein (nicht notwendigerweise linearer) Differentialoperator und f die gesuchte Funktion ist. Bei der numerischen Lösung etwa mit der finiten Elementmethode erhält man Funktionen fn als Lösung der diskretisierten Version der Gleichung Dnf = 0, wobei n die Feinheit der Diskretisierung bezeichnet. Bei der Analyse des numerischen Algorithmus' werden nun die Eigenschaften der diskretisierten Lösungen fn, die eine Funktionenfolge bilden, untersucht; insbesondere ist es sinnvoll, dass die Folge der diskretisierten Lösungen fn bei Verfeinerung der Diskretisierung gegen die Lösung des Ausgangsproblems konvergiert.

Eigenschaften

Beschränktheit

Eine Funktionenfolge f_i:A \to \R;i \in \N ist in einer Menge A \supset \Omega beschränkt, falls eine Konstante c \in \R existiert, so dass \forall i\in \N,x \in \Omega ~~f_i(x)<c .

lokal gleichmäßige Beschränktheit

Eine Funktionenfolge f_i:A \to \R;i \in \N ist in einem offenen Gebiet A \supset \Omega lokal gleichmäßig beschränkt, falls zu jedem offenen Gebiet Ω', mit \Omega \supset \Omega' eine Konstante c \in \R existiert, so dass \forall i\in \N,x \in \Omega' ~~f_i(x)<c .

Konvergenzbegriffe

Der Grenzwert f einer Funktionenfolge wird Grenzfunktion genannt. Da die in den Anwendungen auftretenden Funktionsfolgen sehr unterschiedliches Verhalten bei wachsendem Index haben können, ist es notwendig, sehr viele verschiedene Konvergenzbegriffe für Funktionenfolgen einzuführen. Von einem abstrakteren Standpunkt handelt es sich meist um die Konvergenz bezüglich gewisser Normen oder allgemeiner Topologien auf den entsprechenden Funktionenräumen; vereinzelt treten aber auch andere Konvergenzbegriffe auf.

Die verschiedenen Konvergenzbegriffe unterscheiden sich vor allem durch die implizierten Eigenschaften der Grenzfunktion. Die wichtigsten sind:

Klassische Konvergenzbegriffe

Punktweise Konvergenz

Existiert der punktweise Grenzwert

f(x) = \lim_{n \to \infty} f_n(x)

in jedem Punkt x des Definitionsbereiches, so wird die Funktionenfolge punktweise konvergent genannt. Beispielsweise gilt

\lim_{n\to\infty}\cos^{2n}x=\begin{cases}1&x=\pi k,\ k\in\mathbb Z\\0&\mathrm{sonst},\end{cases}

die Grenzfunktion ist also unstetig.

Gleichmäßige Konvergenz

Eine Funktionenfolge (fn)n ist gleichmäßig konvergent gegen eine Funktion f, wenn die maximalen Unterschiede zwischen fn und f gegen null konvergieren. Dieser Konvergenzbegriff ist Konvergenz im Sinne der Supremumsnorm.

Gleichmäßige Konvergenz impliziert einige Eigenschaften der Grenzfunktion, wenn die Folgenglieder sie besitzen:

  • Der gleichmäßige Limes stetiger Funktionen ist stetig.
  • Der gleichmäßige Limes einer Folge integrierbarer Funktionen ist integrierbar, und das Integral der Grenzfunktion ist der Limes der Integrale der Folgenglieder: Ist (fn)n gleichmäßig konvergent gegen f, so gilt
\lim_{n\to\infty}\int f_n=\int f.
  • Konvergiert eine Folge (fn)n differenzierbarer Funktionen gleichmäßig gegen eine Funktion f, und ist auch die Folge der Ableitungen gleichmäßig konvergent, so ist auch f differenzierbar, und es gilt
\lim_{n\to\infty}f_n'=f'.

Kompakte Konvergenz

Viele Reihen in der Funktionentheorie, insbesondere Potenzreihen, sind nicht gleichmäßig konvergent, weil die Konvergenz für zunehmende Argumente immer schlechter wird. Ein ähnlich guter Begriff ist der der kompakten Konvergenz, die gleichmäßige Konvergenz lediglich auf kompakten Teilmengen fordert. Da Stetigkeit eine lokale Eigenschaft ist, überträgt sie sich auch bei kompakter Konvergenz auf die Grenzfunktion.

Normale Konvergenz

In der Mathematik dient der Begriff der normalen Konvergenz der Charakterisierung von unendlichen Reihen von Funktionen. Eingeführt wurde der Begriff von dem französischen Mathematiker René Louis Baire.

Maßtheoretische Konvergenzbegriffe

Bei den maßtheoretischen Konvergenzbegriffen ist die Grenzfunktion üblicherweise nicht eindeutig, sondern nur fast überall eindeutig definiert. Alternativ lässt sich diese Konvergenz auch als Konvergenz von Äquivalenzklassen von Funktionen, die fast überall übereinstimmen, auffassen. Als eine solche Äquivalenzklasse ist dann der Grenzwert eindeutig bestimmt.

Punktweise Konvergenz fast überall

Sind ein Maßraum (Ω,Σ,μ) und eine Folge darauf messbarer Funktionen fn mit Definitionsmenge Ω gegeben, so wird die Funktionenfolge punktweise konvergent fast überall bezüglich μ genannt, wenn der punktweise Grenzwert

f(x) = \lim_{n \to \infty} f_n(x)

fast überall bezüglich μ existiert, wenn also eine Menge Z\in\Sigma vom Maß Null (μ(Z) = 0) existiert, sodass fn eingeschränkt auf das Komplement \Omega\backslash Z punktweise konvergiert.

Die Konvergenz fast überall bezüglich eines Wahrscheinlichkeitsmaßes wird in der Stochastik fast sichere Konvergenz genannt.

Beispielsweise gilt

\lim_{n\to\infty}\cos^{2n}x=0 punktweise fast überall bezüglich des Lebesgue-Maßes.

Ein anderes Beispiel ist die Funktionenfolge f_n: [0,1]\to[0,1], wobei für n=2^r+s\;, 0\leq s\leq 2^r-1

f_{2^r+s}(x):=\begin{cases}1 & \frac{s}{2^r}\leq x\leq \frac{s+1}{2^r}\\ 0 & \mathrm{sonst.}\end{cases}

Diese Folge konvergiert für kein x\in[0,1], da sie für jedes fixe x die Werte 0 und 1 unenendlich oft annimmt. Für jede Teilfolge f_{n_k}, k\in \N lässt sich aber eine Teilteilfolge f_{n_{k_l}}, l\in\N angegeben, sodass

\lim_{l\to\infty}f_{n_{k_l}}(x)=0 punktweise fast überall bezüglich des Lebesgue-Maßes.

Gäbe es eine Topologie der punktweisen Konvergenz fast überall, so würde daraus, dass jede Teilfolge von fn eine Teilteilfolge enthält, die gegen 0 konvergiert, folgen, dass fn gegen 0 konvergieren muss. Da aber fn nicht konvergiert, kann es folglich keine Topologie der Konvergenz fast überall geben. Die punktweise Konvergenz fast überall ist damit ein Beispiel eines Konvergenzbegriffes, der zwar den Fréchet-Axiomen genügt, aber nicht durch eine Topologie erzeugt werden kann.[1]

Konvergenz dem Maße nach

In einem Maßraum (Ω,Σ,μ) wird eine Folge darauf messbarer Funktionen fn konvergent dem Maße nach gegen eine Funktion f genannt, wenn für jedes \varepsilon>0

\lim_{n\to\infty}\mu\left(\{x:\;|f_n(x)-f(x)|\geq\varepsilon \}\right)=0

gilt [2].

In einem endlichen Maßraum, also wenn \mu(\Omega)<\infty gilt, ist die Konvergenz dem Maße nach schwächer als die Konvergenz fast überall: Konvergiert eine Folge messbarer Funktionen fn fast überall gegen Funktion f, so konvergiert sie auch dem Maße nach gegen f [3].

In der Stochastik wird die Konvergenz dem Maße nach als Stochastische Konvergenz oder als Konvergenz in Wahrscheinlichkeit bezeichnet [4].

Lp-Konvergenz und Konvergenz in Sobolew-Räumen

Eine Funktionenfolge fn heißt Lp konvergent gegen f, wenn sie im Sinne des entsprechenden Lp-Raums \mathcal{L}^p(\Omega, \mathcal A, \mu; E) konvergiert, wenn also

 \lim_{n\to\infty} \| f_n-f \|_p = \lim_{n\to\infty} \left( \int_\Omega \| f_n(x)-f(x) \|^p\, \mathrm d \mu(x) \right)^{1/p} = 0.

Ist μ ein endliches Maß, gilt also \mu(\Omega)<\infty, so folgt für q\geq p\geq 0 aus der Ungleichung der verallgemeinerten Mittelwerte, dass eine Konstante k\in\R^+ existiert, sodass \|f\|_p\leq k\|f\|_q; insbesondere folgt dann also aus der Lq-Konvergenz von fn gegen f auch die Lp-Konvergenz von fn gegen f.

In der Stochastik wird die Lp-Konvergenz als Konvergenz im p-ten Mittel bezeichnet.

Aus der Lp-Konvergenz folgt die Konvergenz dem Maße nach, wie man aus der Tschebyschow-Ungleichung in der Form

\mu\{x: |f_n(x)-f(x)|\geq \varepsilon\}\leq \frac{1}{\varepsilon^p}\int_\Omega |f_n(x)-f(x)|^p {\rm d}\mu(x)

sieht. [5]

Eine Verallgemeinerung der Lp-Konvergenz ist die Konvergenz in Sobolew-Räumen, die nicht nur die Konvergenz der Funktionswerte, sondern auch die Konvergenz der gewisser Ableitungen berücksichtigt. Der Sobolewschen Einbettungssatz beschreibt die Abhängigkeiten der Konvergenzbegriffe in den unterschiedlichen Sobolew-Räumen.

Fast gleichmäßige Konvergenz

In einem Maßraum (Ω,Σ,μ) wird eine Folge darauf messbarer reell- oder komplexwertiger Funktionen fn fast gleichmäßig konvergent gegen eine Funktion f genannt, wenn für jedes \varepsilon>0 eine Menge A\in\Sigma existiert, sodass \mu(A)<\varepsilon und fn auf dem Komplement \Omega\backslash A gleichmäßig gegen f konvergiert [6].

Aus der fast gleichmäßigen Konvergenz folgt die punktweise Konvergenz fast überall [7]; aus dem Satz von Jegorow folgt, dass in einem endlichen Maßraum auch umgekehrt aus der punktweisen Konvergenz fast überall die fast gleichmäßige Konvergenz folgt [8]. In einem endlichen Maßraum, also insbesondere für reellwertige Zufallsvariablen, sind Konvergenz fast überall und fast gleichmäßige Konvergenz von reellwertigen Funktionenfolgen äquivalent.

Aus der fast gleichmäßigen Konvergenz folgt außerdem die Konvergenz dem Maße nach [7]. Umgekehrt gilt, dass eine dem Maße nach konvergente Folge eine Teilfolge enthält, die fast gleichmäßig (und damit auch fast überall) gegen die gleiche Grenzfolge konvergiert [9].

Schwache Konvergenz

Hierarchische Ordnung der Konvergenzbegriffe in Räumen mit endlichem Maß

In Maßräumen (Ω,Σ,μ) mit endlichem Maß, wenn also \mu(\Omega)<\infty gilt, ist es großteils möglich, die unterschiedlichen Konvergenzbegriffe nach ihrer Stärke zu ordnen. Dies gilt insbesondere in Wahrscheinlichkeitsräumen, da dort ja μ(Ω) = 1 gilt.

Von der gleichmäßigen Konvergenz über die punktweise Konvergenz zur Konvergenz dem Maße nach

Aus der gleichmäßigen Konvergenz folgt die Konvergenz dem Maße nach auf zwei unterschiedlichen Wegen, der eine führt über die punktweise Konvergenz:

  • f_n\to f gleichmäßig \Rightarrow f_n \to f kompakt (d. h. gleichmäßig auf jeder kompakten Teilmenge).
  • f_n\to f kompakt \Rightarrow f_n \to f punktweise (jeder einzelne Punkt ist ja eine kompakte Teilmenge).
  • f_n\to f punktweise \Rightarrow f_n \to f punktweise fast überall (bzw. fast sicher).
  • f_n\to f punktweise fast überall \Leftrightarrow f_n \to f fast gleichmäßig.
  • f_n\to f fast gleichmäßig \Rightarrow f_n \to f dem Maße nach (bzw. stochastisch oder in Wahrscheinlichkeit).

Von der gleichmäßigen Konvergenz über die Lp-Konvergenz zur Konvergenz dem Maße nach

Der andere Weg von der gleichmäßigen Konvergenz zur Konvergenz dem Maße nach führt über die Lp-Konvergenz:

  • f_n\to f gleichmäßig \Rightarrow f_n \to f in L^\infty.
  • f_n\to f in L^\infty \Rightarrow f_n \to f in Lp für alle reellen 0<p<\infty.
  • f_n\to f in Lp \Rightarrow f_n \to f in Lq für alle reellen 0 < q < p.
  • f_n\to f in Lp für 0&amp;lt;p\leq\infty\quad\Rightarrow f_n \to f dem Maße nach (bzw. stochastisch oder in Wahrscheinlichkeit).

Von der Konvergenz dem Maße nach zur schwachen Konvergenz

  • f_n\to f dem Maße nach \Rightarrow f_n \to f schwach (bzw. in Verteilung).

Wichtige Theoreme über Funktionenfolgen

Quellen

  1. J. Cigler, H.-C. Reichel: Topologie. Eine Grundvorlesung. Bibliographisches Institut, Mannheim 1978. ISBN 3-411-00121-6. S. 88, Aufgabe 6
  2. A.N. Kolmogorow und S.V. Fomin: Reelle Funktionen und Funktionalanalysis. Deutscher Verlag der Wissenschaften, Berlin 1975, 5.4.6, Definition 4.
  3. A.N. Kolmogorow und S.V. Fomin: Reelle Funktionen und Funktionalanalysis. Deutscher Verlag der Wissenschaften, Berlin 1975, 5.4.6, Satz 7.
  4. Marek Fisz: Wahrscheinlichkeitsrechnung und mathematische Statistik. Deutscher Verlag der Wissenschaften, Berlin 1989, S 212
  5. Robert B. Ash: Real Analysis and Probability. Academic Press, New York 1972. ISBN 0-12-065201-3. Theorem 2.5.1.
  6. Robert B. Ash: Real Analysis and Probability. Academic Press, New York 1972. ISBN 0-12-065201-3. S. 93.
  7. a b Robert B. Ash: Real Analysis and Probability. Academic Press, New York 1972. ISBN 0-12-065201-3. Theorem 2.5.2.
  8. Robert B. Ash: Real Analysis and Probability. Academic Press, New York 1972. ISBN 0-12-065201-3. Theorem 2.5.5.
  9. Robert B. Ash: Real Analysis and Probability. Academic Press, New York 1972. ISBN 0-12-065201-3. Theorem 2.5.3.

Literatur

  • Heinz Bauer: Maß- und Integrationstheorie. 2. Auflage, De Gruyter, Berlin 1992, ISBN 3-11-013626-0 (Gebunden), ISBN 3-11-013625-2 (Broschiert), ab S.91 (§15 Konvergenzsätze) und ab S.128 (§20 Stochastische Konvergenz).
  • Jürgen Elstrodt: Maß- und Integrationstheorie. 4. Auflage, Springer, Berlin 2005, ISBN 3-540-21390-2, (Beschreibt ausführlich die Zusammenhänge zwischen den verschiedenen Konvergenzarten).

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Konvergenzbereich — Ein Konvergenzbereich ist in der Analysis, einem Teilgebiet der Mathematik, einer Funktionenfolge oder (häufiger) Funktionenreihe zugeordnet und bezeichnet eine (oft auch die im Sinne der Inklusion maximale) Menge von Punkten im… …   Deutsch Wikipedia

  • Cauchy-Hadamard — Der Konvergenzbereich ist in der Analysis, einem Teilgebiet der Mathematik, einer Funktionenreihe zugeordnet und bezeichnet die Menge aller derjenigen Punkte im Definitionsbereich, in dem die Funktionenreihe absolut konvergiert. Insbesondere für… …   Deutsch Wikipedia

  • Satz von Cauchy-Hadamard — Der Konvergenzbereich ist in der Analysis, einem Teilgebiet der Mathematik, einer Funktionenreihe zugeordnet und bezeichnet die Menge aller derjenigen Punkte im Definitionsbereich, in dem die Funktionenreihe absolut konvergiert. Insbesondere für… …   Deutsch Wikipedia

  • Poissonsche Summationsformel — Die Poissonsche Summenformel ist ein wichtiges Hilfsmittel der Fourier Analysis und Signalverarbeitung. Sie dient u. a. zur Analyse der Eigenschaften von Abtastmethoden. Inhaltsverzeichnis 1 Formulierung der Aussage 2 Formulierung mittels Dirac… …   Deutsch Wikipedia

  • Diskrete Fouriertransformation — Die Diskrete Fourier Transformation oder DFT ist die Fourier Transformation eines zeitdiskreten periodischen Signals. Dabei wird das periodische Signal als Superposition eines Gleichanteils, einer Grundschwingung und ihrer Oberschwingungen in ein …   Deutsch Wikipedia

  • Formel von Cauchy-Hadamard — Als Konvergenzradius einer Potenzreihe der Form ist die größte Zahl r definiert, für welche die Potenzreihe für alle x mit | x − x0 | < r konvergiert. Falls sie auf der ganzen komplexen Zahlenebene konvergiert, sagt man, der Konvergenzradius… …   Deutsch Wikipedia

  • Fourier-Entwicklung — Als Fourierreihe (nach Jean Baptiste Joseph Fourier) einer periodischen Funktion f(x), die abschnittsweise stetig ist, bezeichnet man deren Entwicklung in eine Funktionenreihe aus Sinus und Kosinusfunktionen. Die Basisfunktionen der Fourierreihe… …   Deutsch Wikipedia

  • Fourier-Reihe — Als Fourierreihe (nach Jean Baptiste Joseph Fourier) einer periodischen Funktion f(x), die abschnittsweise stetig ist, bezeichnet man deren Entwicklung in eine Funktionenreihe aus Sinus und Kosinusfunktionen. Die Basisfunktionen der Fourierreihe… …   Deutsch Wikipedia

  • Fourierentwicklung — Als Fourierreihe (nach Jean Baptiste Joseph Fourier) einer periodischen Funktion f(x), die abschnittsweise stetig ist, bezeichnet man deren Entwicklung in eine Funktionenreihe aus Sinus und Kosinusfunktionen. Die Basisfunktionen der Fourierreihe… …   Deutsch Wikipedia

  • Fourierkoeffizient — Als Fourierreihe (nach Jean Baptiste Joseph Fourier) einer periodischen Funktion f(x), die abschnittsweise stetig ist, bezeichnet man deren Entwicklung in eine Funktionenreihe aus Sinus und Kosinusfunktionen. Die Basisfunktionen der Fourierreihe… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”