Analytische Funktion

Als analytisch bezeichnet man in der Mathematik eine Funktion, die lokal durch eine konvergente Potenzreihe gegeben ist. Aufgrund der Unterschiede zwischen reeller und komplexer Analysis spricht man zur Verdeutlichung oft auch explizit von reell-analytischen oder komplex-analytischen Funktionen. Im Komplexen sind die Eigenschaften analytisch und holomorph äquivalent. Ist eine Funktion in der gesamten komplexen Ebene definiert und analytisch, nennt man sie ganz.

Definition

Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb K=\mathbb R} oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb K=\mathbb C} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D\subseteq\mathbb K} eine offene Teilmenge. Eine Funktion $f\colon D\to \mathbb {K}$ heißt analytisch im Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_0\in D,} wenn es eine Potenzreihe

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sum_{n=0}^\infty a_n(x-x_0)^n}

gibt, die auf einer Umgebung von $x_{0}$ gegen $f(x)$ konvergiert. Ist $f$ in jedem Punkt von $D$ analytisch, so heißt $f$ analytisch.

Eigenschaften

• Eine analytische Funktion ist beliebig oft differenzierbar. Die Umkehrung gilt nicht, siehe Beispiele unten.

• Die lokale Potenzreihendarstellung einer analytischen Funktion $f$ ist ihre Taylorreihe. Es gilt also

$a_{n}={\frac {f^{(n)}(x_{0})}{n!}}$.

• Summen, Differenzen, Produkte, Quotienten (sofern der Nenner keine Nullstellen hat) und Verkettungen analytischer Funktionen sind analytisch.

• Ist $D$ zusammenhängend und besitzt die Menge der Nullstellen einer analytischen Funktion $f\colon D\to \mathbb {K}$ einen Häufungspunkt in $D$, so ist $f$ die Nullfunktion. Sind entsprechend $f,g\colon D\to \mathbb {K}$ zwei Funktionen, die auf einer Menge übereinstimmen, die einen Häufungspunkt in $D$ besitzt, z. B. auf einer offenen Teilmenge, so sind sie identisch.

Reelle Funktionen

Beispiele analytischer Funktionen

Viele gängige Funktionen der reellen Analysis wie beispielsweise Polynomfunktionen, Exponential- und Logarithmusfunktionen, trigonometrische Funktionen und rationale Ausdrücke in diesen Funktionen sind analytisch. Die Menge aller auf einer offenen Menge $D$ reell-analytischen Funktionen wird mit $C^{\omega }(D)$ bezeichnet.

Exponentialfunktion

Eine bekannte analytische Funktion ist die Exponentialfunktion

$\exp(x)=\sum _{k=0}^{\infty }{\frac {1}{k!}}x^{k}=1+x+{\frac {1}{2}}x^{2}+{\frac {1}{6}}x^{3}+{\frac {1}{24}}x^{4}+\dotsb$,

die auf ganz $\mathbb {R}$ konvergiert.

Trigonometrische Funktion

Auch die trigonometrischen Funktionen Sinus, Kosinus, Tangens, Kotangens und ihre Arkusfunktionen sind analytisch. Jedoch zeigt das Beispiel des Arkustangens

$\arctan(x)=\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{2k+1}}x^{2k+1}=x-{\frac {1}{3}}x^{3}+{\frac {1}{5}}x^{5}-{\frac {1}{7}}x^{7}+\dotsb$,

dass eine auf ganz $\mathbb {R}$ analytische Funktion eine Reihenentwicklung mit endlichem Konvergenzradius haben kann.

Spezielle Funktionen

Viele spezielle Funktionen wie beispielsweise die eulersche Gammafunktion, die eulersche Betafunktion oder die riemannsche Zeta-Funktion sind ebenfalls analytisch.

Beispiele nicht-analytischer Funktionen

Der Graph der Funktion $f$ fällt in der Nähe von 0 sehr schnell gegen 0. Schon der Wert $f(0{,}4)\approx 0{,}0019\ldots$ lässt sich in der Graphik nicht mehr von 0 unterscheiden.

Die folgenden Beispiele nicht-analytischer Funktionen zählen zu den glatten Funktionen: Sie sind auf ihrem Definitionsbereich beliebig oft differenzierbar, aber an einzelnen Punkten existiert keine Potenzreihenentwicklung. Die folgende Funktion

$f(x)={\begin{cases}\exp \left(-{\frac {1}{x^{2}}}\right)&\mathrm {f{\ddot {u}}r} \ x\neq 0\\0&\mathrm {f{\ddot {u}}r} \ x=0\end{cases}}$

ist an allen Stellen $x\in \mathbb {R}$, also auch an der Stelle 0, beliebig oft differenzierbar. Aus $f^{(n)}\left(0\right)=0$ für alle $n$ folgt die Taylor-Reihe von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ,

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sum_{n=0}^\infty \frac{0}{n!}x^n = 0} ,

die, außer im Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x = 0} , nicht mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\left(x\right)} übereinstimmt. Somit ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} im Punkt 0 nicht analytisch.

Auch die Funktion

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g(x) = \begin{cases}\exp\left(-\frac{1}{x^2}\right) & \mathrm{f\ddot ur}\ x> 0 \\ 0 & \mathrm{f\ddot ur}\ x\leq0\end{cases}}

ist beliebig oft differenzierbar, denn alle rechtsseitigen Ableitungen im Nullpunkt sind genauso gleich 0 wie trivialerweise alle linksseitigen.

Es gibt eine wichtige Klasse nicht-analytischer Funktionen, die Funktionen mit kompaktem Träger. Der Träger einer Funktion ist der Abschluss der Menge der Punkte, an denen eine Funktion nicht verschwindet:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{\{x\mid f(x)\not=0\}}} .

Ist der Träger kompakt, so spricht man von einer Funktion mit kompaktem Träger (oder von einer Testfunktion). Diese Funktionen spielen in der Theorie der partiellen Differentialgleichungen eine große Rolle. Für Funktionen, die auf ganz $\mathbb {R}$ definiert sind, ist diese Bedingung äquivalent dazu, dass es eine Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C>0} gibt, so dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x)=0} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |x|>C} gilt. Eine Funktion mit kompaktem Träger stimmt somit für große Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} mit der Nullfunktion überein. Wäre die Funktion nun zusätzlich analytisch, so würde sie nach den obigen Eigenschaften analytischer Funktionen bereits auf ganz Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb R} mit der Nullfunktion übereinstimmen. Anders ausgedrückt: Die einzige analytische Funktion mit kompaktem Träger ist die Nullfunktion.

An der Maximalstelle ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle h\left(\tfrac{1}{2}\right) = e^{-8} \approx 0.000335\ldots}

Die Funktion

$h(x)=g(x)g(1-x)={\begin{cases}\exp \left(-{\frac {1}{x^{2}}}-{\frac {1}{(1-x)^{2}}}\right)&\mathrm {f{\ddot {u}}r} \ 0<x<1\\0&\mathrm {f{\ddot {u}}r} \ x\leq 0\ \mathrm {oder} \ x\geq 1\end{cases}}$

ist eine beliebig oft differenzierbare Funktion mit kompaktem Träger Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [0,1]} .

Es ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(0)=1} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0<f(x)\to 0} für $|x|\to \infty$

Bei den bisherigen Beispielen kann man beweisen, dass die Taylor-Reihe an jedem Punkt einen positiven Konvergenzradius hat, aber nicht überall gegen die Funktion konvergiert. Es gibt aber auch nichtanalytische Funktionen, bei denen die Taylor-Reihe Konvergenzradius Null hat, beispielsweise ist die Funktion

$f(x)=\int _{0}^{\infty }{\frac {\mathrm {e} ^{-t}}{1+x^{2}t}}\,\mathrm {d} t$

auf ganz $\mathbb {R}$ beliebig oft differenzierbar, aber ihre Taylorreihe in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_0=0}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sum_{k=0}^\infty (-1)^kk!\cdot x^{2k} = 1-x^2+2x^4-6x^6+24x^8-\dotsb}

ist nur für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x=0} konvergent.

Allgemeiner kann man zeigen, dass jede beliebige formale Potenzreihe als Taylor-Reihe einer glatten Funktion vorkommt.

Komplexe Funktionen

→ Hauptartikel: Holomorphe Funktion

In der Funktionentheorie wird gezeigt, dass eine Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} einer komplexen Variablen, die in einer offenen Kreisscheibe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} komplex differenzierbar ist, in $D$ sogar beliebig oft komplex differenzierbar ist, und dass die Potenzreihe um den Mittelpunkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c} der Kreisscheibe,

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sum_{n=0}^\infty \frac{f^{(n)}(c)}{n!} (z-c)^n} ,

für jeden Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle z} aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(z)} konvergiert. Dies ist ein wichtiger Aspekt, unter dem Funktionen in der komplexen Ebene einfacher zu handhaben sind als Funktionen einer reellen Variablen. Tatsächlich benutzt man in der Funktionentheorie die Attribute analytisch, holomorph und regulär synonym. Aus den ursprünglichen Definitionen dieser Begriffe ist ihre Äquivalenz nicht sofort erkennbar; sie wurde erst später nachgewiesen. Komplex-analytische Funktionen, die nur reelle Werte annehmen, sind konstant. Eine Folgerung aus den Cauchy-Riemannschen Differentialgleichungen ist, dass der Realteil einer analytischen Funktion den Imaginärteil bis auf eine Konstante bestimmt und umgekehrt.

Es gilt der folgende wichtige Zusammenhang zwischen reell-analytischen Funktionen und komplex-analytischen Funktionen:

Jede reell-analytische Funktion $\mathbb {R} \to \mathbb {R}$ kann zu einer komplex-analytischen, also holomorphen Funktion auf einer Umgebung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb R\subset\mathbb C} fortgesetzt werden.

Umgekehrt wird jede holomorphe Funktion zu einer reell-analytischen Funktion, wenn man sie zunächst auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb R} einschränkt und anschließend nur den Realteil (oder nur den Imaginärteil) betrachtet. Dies ist der Grund, warum viele Eigenschaften der reell-analytischen Funktionen am einfachsten mit Hilfe der komplexen Funktionentheorie bewiesen werden.

Mehrere Veränderliche

Auch bei Funktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} , die von mehreren Veränderlichen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_1, \dotsc, x_n} abhängen, kann man wie folgt eine Taylorreihenentwicklung im Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x=(x_1, \dotsc ,x_n)} definieren:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sum_{\alpha\in \N_0^n} \frac{\partial^\alpha f(x)}{\alpha!}(\xi-x)^{\alpha}. }

Dabei wurde von der Multiindexschreibweise Gebrauch gemacht, die Summe erstreckt sich über alle Multiindizes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \alpha = (\alpha_1, \dotsc, \alpha_n) \in \N_0^n} der Länge $n$. In Analogie zum oben besprochenen Fall einer Veränderlichen heißt eine Funktion analytisch, wenn die Taylorreihenentwicklung für jeden Punkt des Definitionsbereichs einen positiven Konvergenzradius hat und innerhalb des Konvergenzbereichs die Funktion darstellt, das heißt, dass

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(\xi) = \sum_{\alpha\in \N_0^n} \frac{\partial^\alpha f(x)}{\alpha!}(\xi-x)^{\alpha} }

für alle $\xi =(\xi _{1},\dotsc ,\xi _{n})$ aus einer Umgebung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x=(x_1, \dotsc, x_n)} gilt. Im Falle komplexer Veränderlicher spricht man auch bei mehreren Veränderlichen von holomorphen Funktionen. Solche Funktionen werden durch die Funktionentheorie in mehreren komplexen Variablen untersucht.

Literatur

• Konrad Königsberger: Analysis. Band 2. 3. überarbeitete Auflage. Springer-Verlag, Berlin u. a. 2000, ISBN 3-540-66902-7.
• Eberhard Freitag, Rolf Busam: Funktionentheorie 1. Springer-Verlag, Berlin, ISBN 3-540-67641-4.