Jeżeli funkcja / ma pochodną w punkcie g(z) i g ma pochodną w punkcie z, to
Twierdzenie 2.2 (warunek konieczny istnienia pochodnej)
Jeżeli funkcja f(z) = u(x,y)+iv(x,y) ma w punkcie z0 = x0 + iy0 pochodną f'(zo), to istnieją w punkcie (Xo,yo) pochodne cząstkowe §^, % * spełniają w punkcie (xo, 2/o) warunki:
Px(xo,yo) = ^(*0.16), Py(*°,yo) = -£(*>.»>).
zwane warunkami Cauchy’ego-Riemanna.
Dowód. Zakładamy, że istnieje
lim
Az->0
f(z0 + Az) - f(zp) Az
Niech Az = Ax + iAy
(1) Ay = 0 => Az — Ax
f,( V _ JJ u(xo + Ax, y0) + + Ax, y0) - u(x0, y0) - it;(a;0, t/o)
J ['Zo) Ai“o Aa;
_ lim [u(x0 + Ax,y0) - u(x0,y0) | ^(arp + Aa;, y0) - v(x0, y0) Ai—[ Aa; Aa;
du . . .dv, .
(2) Aa; = 0 => Az = iAy
f’(z ) = lim y° + Ay) + + ~ ~ iv(xQ’ Vo)
0 Ay-*o iAy
_ lim \u(x0,y0 +Ay)-u(x0,y0) | v(x0,yo + Ay) - v{xQ,y0)' Ay-*o [ iAy Ay
.du. dv .
= -t—(x0, yo) + q^{x0, y0).
Zatem
du. . .du, , .du. s dv. .