Einführung in die Funktionentheorie/ Differentialrechnung von Funktionen einer komplexen Variablen

Aus Wikibooks

Wechseln zu: Navigation, Suche

Inhaltsverzeichnis

[Bearbeiten] Differenzierbarkeit einer Funktion einer komplexen Variablen

Eine Funktion f einer komplexen Variablen sei in einem Gebiet G der Zahlenebene definiert, und es sei z0 eine Stelle im Inneren dieses Gebietes.

Wenn der Differenzenquotient

\frac{f(z) - f(z_0)}{z - z_0}\quad \mathrm{f\ddot{u}r}\quad z \to z_0

oder – was dasselbe ist – der Differenzenquotient

\frac{f\left(z_0 + \Delta z\right) - f\left(z_0\right)}{\Delta z}\quad \mathrm{f\ddot{u}r}\quad \Delta z \to 0

konvergiert, dann heißt die Funktion f an der Stelle z0 differenzierbar. Der Grenzwert heißt (Wert der) Ableitung oder Differentialquotient der Funktion f an der Stelle z0. Gebräuchlich sind dafür folgende Bezeichnungen

f'(z_0) \quad {\mbox{und}}\quad \quad \left(\frac{\operatorname{d}} {\operatorname{d}z}f\right)_{z_0 }.

Beispiel einer Funktion, bei der dies nicht der Fall ist:

f(z) := \left|z\right|^2 = x^2 + y^2 ,\ z = x + iy\ .


f\left( {z + \Delta z} \right) = \left( {x + \Delta x} \right)^2 + \left( {y + \Delta y} \right)^2\ ,\ \Delta z = \Delta x + i\Delta y\ .


\frac{f(z+\Delta z)-f(z)} {{\Delta z}} = \frac{{2x\,\Delta x + \left( {\Delta x} \right)^2 + 2y\,\Delta y + \left( {\Delta y} \right)^2 }} {{\Delta z}} = \frac{{2x\,\Delta x + \left( {\Delta x} \right)^2 + 2y\,\Delta y + \left( {\Delta y} \right)^2 }} {{\Delta x + i\,\Delta y}}\ .
FTh04.PNG

Für Δx = 0 (längs der Vertikalen) ist

\lim _{\Delta z \to 0} \frac{f(z+\Delta z)-f(z)} {{\Delta z}} = \frac{{2y}} {i}\ ,

für Δy = 0 (längs der Horizontalen) ist

\lim_{\Delta z \to 0} \frac{f(z+\Delta z)-f(z)} {{\Delta z}} = 2x\ ,

für Δy = Δx (längs der unter 45° geneigten Geraden) ist

\lim_{\Delta z \to 0} \frac{f(z+\Delta z)-f(z)} {{\Delta z}} = \frac{{2x + 2y}} {{1 + i}}\ .

Es gilt \frac{2y}{i} = 2x = \frac{2x+2y}{1+i} für (reelle) x,y dann und nur dann, wenn x = y = 0. Also kann der Grenzwert \lim_{\Delta z \rightarrow 0} \frac{f(z+\Delta z)-f(z)}{\Delta z} für z \neq 0 nicht existieren, d. h., f ist in keinem Punkt z \in \mathbb{C}\setminus\{0\} differenzierbar. Für den Nullpunkt gilt die Betrachtung

\frac{f(\Delta z)-f(z)}{\Delta z} = \frac{|\Delta z|^2}{\Delta z} = \frac{(\Delta z)(\overline{\Delta z})}{\Delta z} = \overline{\Delta z} \rightarrow 0\ \mathrm{f\ddot{u}r}\quad \Delta z \to 0\ .

Also ist f im Nullpunkt differenzierbar mit f'(0) = 0.

Ist die Funktion f in einem Gebiet definiert und an jeder Stelle des Gebietes differenzierbar (kurz: „in diesem Gebiet differenzierbar“), dann ist auch die Ableitung der Funktion eine in diesem Gebiet definierte Funktion. Sie wird bezeichnet mit

f'(z),\quad \frac{{\operatorname{d} f(z)}} {{\operatorname{d} z}},\quad \frac{{\operatorname{d} f}} {{\operatorname{d} z}}\ \mbox{oder}\ \frac{\operatorname{d} } {{\operatorname{d} z}}f(z).

Jede in einem Punkt z0 differenzierbare Funktion ist dort auch stetig, aber nicht jede dort stetige Funktion ist auch differenzierbar (siehe unten).

 

[Bearbeiten] Die Differentialgleichungen von Cauchy-Riemann

Es soll nun untersucht werden, unter welchen Bedingungen eine Funktion einer komplexen Variablen differenzierbar ist.

Die Funktion w(z) = f(z) sei in einem Gebiet G definiert und in einem Punkt z0 im Innern dieses Gebietes differenzierbar.

Es sei

z = x + i\,y\quad {\mbox{und}}\quad z_0 = x_0 + i\,y_0 .


Wenn wir die Funktion f(z) wie oben (siehe 2. Teil) in ihren reellen und ihren imaginären Teil zerlegen, so erhalten wir


f(x + i\,y) = u + i\,v = u(x,y) + i\,v(x,y),


wobei u und v reelle Funktionen von z und somit auch von x und y sind.


Beispiel:


w = z^2 = \left( {x + i\,y} \right)^2 = \underbrace {x^2 - y^2 }_u + i\,\underbrace {2xy}_v.

 


Wenn die Funktion f(z) an der Stelle z0 differenzierbar ist, so heißt das, dass der Differenzenquotient


\frac{{f\left( {z_0 + \Delta z} \right) - f\left( {z_0 } \right)}} {{\Delta z}}


für Δz gegen 0 einem Grenzwert G zustrebt. Gemäß der Definition der Konvergenz bedeutet dies, dass es für jede (noch so kleine) positive reelle Zahl δ eine reelle Zahl ε gibt, sodass


\left| {\frac{{f\left( {z_0 + \Delta z} \right) - f\left( {z_0 } \right)}} {{\Delta z}} - G} \right| < \delta


wird, wenn


\left| {\Delta z} \right| < \varepsilon


ist.

Wir bezeichnen die von Δz abhängige, gegen 0 strebende (komplexe) Differenz zwischen dem Differenzenquotienten und G mit Δ:


\frac{{f\left( {z_0 + \Delta z} \right) - f\left( {z_0 } \right)}} {{\Delta z}} - G = \Delta \quad \quad (1)


und stellen auch Δ und G als komplexe Zahlen dar:


\Delta = \Delta _1 + i\,\Delta _2 \quad \quad \left( {\Delta _1 ,\,\Delta _2 \quad {\mbox{reell}}} \right),


G = G_1 + i\,G_2 \quad \quad \left( {G_1 ,G_2 \;{\mbox{reell}}} \right).


Setzen wir ferner


f(z_0 ) = u_0 + i\,v_0 \quad {\mbox{und}}\quad f\left( {z_0 + \Delta z} \right) = \left( {u_0 + \Delta u} \right) + i\,\left( {v_0 + \Delta v} \right),

,


so wird aus Gleichung (1):


\frac{{\left[ {u_0 + \Delta u + i\,\left( {v_0 + \Delta v} \right)} \right] - (u_0 + i\,v_0 )}} {{\Delta z}} - \left( {G_1 + i\,G_2 } \right) = \Delta _1 + i\,\Delta _2 .


Wir multiplizieren nun diese Gleichung mit Δz = Δx + i Δy und trennen dann Realteil und Imaginärteil:


\left[ {u_0 + \Delta u + i\,\left( {v_0 + \Delta v} \right)} \right] - (u_0 + i\,v_0 ) = \left( {\Delta x + i\,\Delta y} \right)\left[ {\left( {G_1 + i\,G_2 } \right) + \Delta _1 + i\,\Delta _2 } \right],


Realteil:


\Delta u = \Delta x\,G_1 - \Delta y\,G_2 + \Delta x\,\Delta _1 - \Delta y\,\Delta _2 \quad \quad (2)


Imaginärteil:


\Delta v = \Delta x\,G_2 + \Delta y\,G_1 + \Delta x\,\Delta _2 + \Delta y\,\Delta _1 \quad \quad (3)


Setzt man in (2) Δy = 0, lässt also nur Veränderungen in x-Richtung zu, und teilt dann durch Δx, so erhält man den partiellen Differenzenquotienten (nach x)


\left( \frac{\Delta u} {\Delta x} \right)_{y = konst.} = G_1 + \Delta _1 .


Für Δx gegen 0 geht auch Δ1 gegen 0, und man erhält die partielle Ableitung nach x


\frac{{\partial u}} {{\partial x}} \equiv u_x = G_1 .


Setzt man dagegen in (2) Δx = 0, so erhält man analog die partielle Ableitung nach y


\frac{{\partial u}} {{\partial y}} \equiv u_y = - G_2 .


Entsprechend findet man aus (3)


\frac{{\partial v}} {{\partial x}} \equiv v_x = G_2 ,\quad \quad \frac{{\partial v}} {{\partial y}} \equiv v_y = G_1 .


Durch Vergleich der entsprechenden Gleichungen ergeben sich die Differentialgleichungen von Cauchy-Riemann


u_x = v_y ,\quad \quad u_y = - v_x .

 


Aus (1) folgt für Δz gegen 0:


\frac{{\operatorname{d} f}} {{\operatorname{d} z}} \equiv f'(z) = G \equiv G_1 + i\,G_2


und weiter


f'(z) = u_x + i\,v_x = \frac{1} {i}\left( {u_y + i\,v_y } \right).


Die Ableitung f '(z) kann also auf zwei verschiedene Weisen berechnet werden, die nicht notwendig zum selben Wert führen müssen, da die Funktionen u und v voneinander unabhängig sind.

Hieraus folgt: Sind u(x, y) und v(x, y) zwei beliebige , im Gebiet G definierte Funktionen der reellen Veränderlichen x und y, so ist die Funktion


f(z) = u(x,y) + i\,v(x,y)


der komplexen Veränderlichen z = x + i y im Allgemeinen nicht differenzierbar, auch wenn die Funktionen u(x, y) und v(x, y) überall in G nach x und y differenzierbar ("vollständig differenzierbar") sind. Für die Differenzierbarkeit von f(z) ist nämlich erforderlich, dass die Differentialgleichungen von Cauchy-Riemann erfüllt sind. Außerdem unterliegen die Funktionen u und v noch weiteren Beschränkungen, auf die gleich eingegangen wird.

Der reelle und der imaginäre Teil einer Funktion können also nicht unabhängig voneinander gewählt werden, wenn die Funktion differenzierbar sein soll.

Durch Umkehrung des obigen Beweises lässt sich zeigen, dass die Erfüllung der Differentialgleichung von Cauchy-Riemann nicht nur eine notwendige, sondern auch eine hinreichende Bedingung der Differenzierbarkeit ist.

 


[Bearbeiten] Die Laplacesche Differentialgleichung

Wenn eine Funktion f(z) einer komplexen Veränderlichen in einem Gebiet G einmal differenzierbar ist, so ist sie – anders als bei Funktionen reeller Veränderlicher – dort auch ein zweites Mal differenzierbar. (Hier zunächst ohne Beweis aufgeführt.) Aus der Existenz von f '(z) in einem Gebiet folgt also die Existenz von f "(z) in diesem Gebiet, daraus wieder die Existenz von f "'(z) usw. Also gilt:

Jede in einem Gebiet einmal differenzierbare Funktion einer komplexen Veränderlichen ist dort beliebig oft differenzierbar.


Wir betrachten nun wieder eine Funktion


f(z) = f(x + i\,y) = u(x,y) + i\,v(x,y)


und nehmen an, dass in einem Gebiet G sowohl die partiellen Ableitungen erster Ordnung als auch alle partiellen Ableitungen höherer Ordnung der Funktionen u(x, y) und v(x, y) existieren (was durchaus nicht selbstverständlich ist, da es sich ja hier um Funktionen reeller Veränderlicher handelt.). Dann erhält man aus den in G geltenden Gleichungen


\quad u_x = v_y


durch nochmaliges partielles Differenzieren nach x die Gleichungen


u_{xx} = v_{yx} \quad {\mbox{und}}\quad u_{yy} = - v_{xy} \,.


Da nach dem Satz von SCHWARZ


\quad v_{yx} = v_{xy}


ist, gilt


\,u_{xx} + u_{yy} = 0.


Durch partielles Differenzieren der Ausgangsgleichung nach y findet man analog


\,v_{xx} + v_{yy} = 0.


Es gilt daher der Satz:

Eine reelle Funktion u(x, y) kann nur dann der reelle oder der imaginäre Teil einer in einem Gebiet G differenzierbaren Funktion f(z) = f(x +i y) sein, wenn u in G alle partiellen Ableitungen erster und höherer Ordnung besitzt und wenn dort überall


u_{xx} + u_{yy} \equiv \frac{{\partial ^2 u}} {{\partial x^2 }} + \frac{{\partial ^2 u}} {{\partial y^2 }} = 0


ist. Für die Summe der zweiten partiellen Ableitung schreibt man auch kurz Δu, wobei Δ der Laplaceschen Operator ist. Die Gleichung


\Delta u \equiv \frac{{\partial ^2 u}} {{\partial x^2 }} + \frac{{\partial ^2 u}} {{\partial y^2 }} = 0


heißt die Laplacesche Differentialgleichung.

 

[Bearbeiten] Differentiationsregeln

[Bearbeiten] Potenzfunktionen

Bei der Potenzfunktion einer komplexen Variablen


\quad f(z) = z^n = (x + iy)^n ,


wobei n eine positive ganze Zahl sein soll, ist


f(z + \Delta z) = (z + \Delta z)^n = z^n + {n \choose1} z^{n - 1} \cdot \Delta z +{n \choose2}z^{n - 2} \cdot (\Delta z)^2 + \cdots + (\Delta z)^n


und daher


\frac{{\Delta f}} {{\Delta z}} = \frac{{f(z + \Delta z) - f(z)}} {{\Delta z}} = {n \choose 1} z^{n - 1} + {n \choose 2} z^{n - 2} \cdot \Delta z + \cdots + (\Delta z)^{n - 1} ,


und

f' = \lim_{\Delta z \to 0} = n\,z^{n - 1} .


Offensichtlich kann der Grenzwert berechnet werden, ohne dass irgendwelche Annahmen über den Weg des Grenzgangs gemacht werden müssen. Das bedeutet, dass der Grenzwert vom Weg unabhängig ist. Folglich ist die Funktion in der ganzen Z-Ebene differenzierbar.

Es fällt auf, dass bei der Berechnung der Ableitung nirgends berücksichtigt werden muss, dass z eine komplexe Variable ist. Das bedeutet, dass auch die folgenden Differentiationsregeln einfach von den Funktionen reeller Variabler übernommen werden können. Insbesondere können Summen von Potenzfunktionen gliedweise differenziert werden. Dies gilt im Inneren ihres Konvergenzkreises auch für Potenzreihen.


[Bearbeiten] Potenzreihen

Hat die Potenzreihe

a_0 + a_1 z + a_2 z^2 + \cdots + a_n z^n + \cdots = \sum_{n = 0}^\infty {a_n z^n } ,


einen positiven Konvergenzradius, so stellt sie im Inneren ihres Konvergenzbereichs eine Funktion f(z) dar. Diese Funktion hat dort Ableitungen jeder Ordnung, die durch gliedweise Differentiation berechnet werden. Also ist


f'(z) = \sum_{n = 1}^\infty {n\,a_n z^{n - 1} } ,



f''(z) = \sum_{n = 2}^\infty {n\left( {n - 1} \right)} \,a_n z^{n - 2} ,


und


f^{\left( k \right)} (z) = \sum_{n = k}^\infty {n\left( {n - 1} \right) \cdot \cdots \cdot \left( {n - k + 1} \right)} \,a_n z^{n - k} .


Da


n\left( {n - 1} \right) \cdot \cdots \cdot \left( {n - k + 1} \right) = k! {n \choose k}


ist, kann man dafür auch schreiben


f^{(k)} (z) = k! \sum_{n = k}^\infty {n \choose k}\,a_n z^{n - k} .


Ersetzt man hierin n - k durch n und dementsprechend n durch n .+ k, so ergibt sich die zum Rechnen bequemere Formel:


f^{(k)} (z) = k!\,\sum_{n = o}^\infty {k+n \choose k}\,a_{k + n} z^n .


Hat eine Potenzreihe den Mittelpunkt z0 (statt wie oben den Mittelpunkt 0):


f(z) = a_0 + a_1 \left( {z - z_0 } \right) + \cdots + a_n \left( {z - z_0 } \right)^n + \cdots ,


so kann sie durch die Koordinatentransformation ζ = z – z0 auf die oben angegebene Form gebracht werden. Durch Rücktransformation ergibt sich für die k-te Ableitung dann


f^{(k)} (z) = k!\,\sum_{n = o}^\infty {k+n \choose k} \,a_{k + n} (z - z_0 )^n .


Potenzfunktionen und die durch Potenzreihen dargestellten Funktionen sind also (im Inneren ihres Konvergenzbereichs) reguläre (oder analytische) Funktionen.

[Bearbeiten] Exponentialfunktion, trigonometrische und hyperbolische Funktionen

Die Funktionen exp z, sin z, cos z, sinh z und cosh z sind auch im Komplexen durch beständig konvergente Potenzreihen dargestellt. Sie sind daher in der ganzen Z-Ebene regulär (oder analytisch). Durch gliedweise Differentiation der Potenzreihen findet man


\frac{{\operatorname{d} e^z }} {{\operatorname{d} z}} = e^z ,\quad \frac{{\operatorname{d} \sin z}} {{\operatorname{d} z}} = \cos z,\quad \frac{{\operatorname{d} \cos z}} {{\operatorname{d} z}} = - \sin z,


\frac{{\operatorname{d} \sinh z}} {{\operatorname{d} z}} = \cosh z,\quad \frac{{\operatorname{d} \cosh z}} {{\operatorname{d} z}} = \sinh z.


Weitere wichtige Ableitungen gewinnt man über die Umkehrfunktionen.


[Bearbeiten] Umkehrfunktionen und die Ableitungen weiterer Funktionen

In einem Gebiet G sei eine reguläre (und somit differenzierbare und stetige) Funktion w = f(z) definiert, und jeder zum Definitionsbereich der Funktion gehörige Funktionswert trete nur einmal auf.

Dann gibt es zu jedem auftretenden Funktionswert w genau eine Zahl z derart, dass w = f(z) ist. Somit kann die Variable z als eine Funktion der Variablen w aufgefasst werden, wobei dann w die unabhängige und z die abhängige Variable ist. Auch die Begriffe "Definitionsbereich" und Wertebereich vertauschen dann ihre Rollen.

Die so definierte Funktion z = g(w) heißt die Umkehrfunktion oder inverse Funktion zu w = f(z).

Der Differenzenquotient der inversen Funktion ist


\frac{{\Delta z}} {{\Delta w}} = \frac{1} {{\frac{{\Delta w}} {{\Delta z}}}}


ihr Differentialquotient ist


\frac{\operatorname{d} g} {\operatorname{d} w} = g'(z) = \lim_{\Delta w \to 0} \frac{1} {\frac{\Delta w}{\Delta z}} = \frac{1} {\lim_{\Delta w \to 0} \frac{\Delta w} {\Delta z}} = \frac{1} {f'(z)}\quad \quad \left( {f'(z) \ne 0} \right).


Die Umkehrfunktion g(z) ist also in ihrem Definitionsbereich und für f' (z) ungleich 0 ebenfalls differenzierbar.

Unter Benutzung der Umkehrfunktion können nun weitere Funktionen differenziert werden.

Beispiel: Die Funktion

w = e^z = e^{x + iy} = e^x \cdot e^{iy}


ist für


- \pi < y \le \pi


in der ganzen Ebene umkehrbar eindeutig. Ihre Umkehrfunktion ist


\quad z = \ln^* w,


das ist der Hauptwert des natürlichen Logarithmus. Wegen


\frac{{\operatorname{d} z}} {{\operatorname{d} w}} = \frac{1} {{\frac{{\operatorname{d} w}} {{\operatorname{d} z}}}} = \frac{1} {{e^z }} = \frac{1} {w}

ist


\frac{{\operatorname{d} (\ln^* w)}} {{\operatorname{d} z}} = \frac{1} {w}


Durch Vertauschung der Variablen ergibt sich die übliche Schreibweise


\frac{{\operatorname{d} (\ln^* z)}} {{\operatorname{d} z}} = \frac{1} {z}.
Von „http://de.wikibooks.org/wiki/Einf%C3%BChrung_in_die_Funktionentheorie/_Differentialrechnung_von_Funktionen_einer_komplexen_Variablen“
Persönliche Werkzeuge