Matematika A3a 2009/6. gyakorlat

C-differenciálhatóság

Legyen az

f(z) = f(x + iy) =u(x + iy) +iv(x + iy)

függvény

1. valósan parciálisan deriválható z₀-ban, azaz az u és v függvények legyenek parciálisan deriválhatóak az (x₀,y₀) pontban és
2. tegyük fel, hogy a Jacobi-mátrixa egy w ∈ C szám mátrixreprezentációja: J^f ∈ C

(1) Ekkor egyfelől, tekintsük a totális differenciálhatóságának deifiníciójában szereplő kifejezést:

$\lim\limits_{z\to z_0}\frac{f(z)-f(z_0)-w\cdot (z-z_0)}{|z-z_0|}=$

$=\lim\limits_{z\to z_0}\left(\frac{f(z)-f(z_0)}{|z-z_0|}-\frac{w\cdot (z-z_0)}{|z-z_0|}\right)=$

Ah(z)=(z-z₀)/|z-z₀| függvényt kiemelve:

$=\lim\limits_{z\to z_0}\left(h(z)\cdot \left(\frac{f(z)-f(z_0)}{z-z_0}-w\right)\right)$

h(z) a komplex "egységgömbön" "futó" függvény, ezért hossza 1. Ha most feltesszük a komplex deriválhatóságot, azonnal kijön belőle, a korlátos x nullához tartó miatt ez a határététék 0, azaz a függvény totálisan diffható.

(2) Ha azonban a totális diffhaságot tesszük fel, akkor a |h(z)|=1 miatt:

$0=\lim\limits_{z\to z_0}|h(z)|\cdot \left|\frac{f(z)-f(z_0)}{z-z_0}-w\right|=\lim\limits_{z\to z_0}1\cdot \left|\frac{f(z)-f(z_0)}{z-z_0}-w\right|$

a különbdségi hányadosfüggvény abszolút értékének határértéke is nulla, de ez pont azt jelenti, hogy komplex derivált is nulla.

Tehát:

Tétel Az f = u + vi, C ⊃$\to$ C függvénynek az z∈ Dom(f) belső pontja, akkor a következő két kijelentés ekvivalens egymással:

1. f komplex differenciálható z-ben
2. f totálisan R-differenciálható z-ban és

   $\begin{matrix}\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}\\\;\;\;\frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}\end{matrix}$

ami utóbbi egyenlőség azt fejezi ki, hogy J^f ∈ C és Cauchy--Riemann-egyenleteknek nevezik őket.