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

Differenzierbarkeit einer Funktion einer komplexen Variablen

Eine Funktion $f$ einer komplexen Variablen sei in einem Gebiet $G$ der Zahlenebene definiert, und es sei $z_{0}$ 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 $z_{0}$ differenzierbar. Der Grenzwert heißt (Wert der) Ableitung oder Differentialquotient der Funktion $f$ an der Stelle $z_{0}$. 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}}\ .$

Für $\Delta 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 $\Delta y=0$ (längs der Horizontalen) ist

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

für $\Delta y=\Delta 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 $z_{0}$ differenzierbare Funktion ist dort auch stetig, aber nicht jede dort stetige Funktion ist auch differenzierbar (siehe unten).

 

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 z₀ 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 z₀ 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 Δ₁ 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. Aber auch jeder dieser Teile für sich ist noch besonderen Beschränkungen unterworfen. Darüber mehr im nächsten Kapitel.

 

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 Laplacesche 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.

 

Differentiationsregeln

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 \choose 1}z^{n-1}\cdot \Delta z+{n \choose 2}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.

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 z₀ (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 – z₀ 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.

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.

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)\neq 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\leq \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}}.$