Suppose f is a complex-valued function of a complex variable. If the
derivatives are the same for the 2 paths —real and imaginary axes— then
f is analytic.
Suppose f(z)=u(x,y)+iv(x,y) for the theorems below.
The equations
The set of equations mentioned below are the Cauchy Riemann Equations, where
u,v are functions of x,y.
∂x∂u=ux=∂y∂v=vy∧∂y∂u=uy=−∂x∂v=−vx
Here the partial derivatives are about r,θ.
ur=r1vθ∧vr=−r1uθ
fx=−ify
Theorem 1
If f is differentiable at z0, then
- All partial derivatives ux,uy,vx,vy exist and
- They satisfy the Cauchy Riemann equations
f′(z0)=ux(x0,y0)+ivx(x0,y0)
Theorem 2
If:
- All partial derivatives ux,uy,vx,vy exist and
- They satisfy Cauchy-Riemann equations and
- They are continuous at z0
Then:
- f is differentiable at z0 and
f′(z0)=ux(x0,y0)+ivx(x0,y0)
Theorem 3
If f is analytic at z0, then its first-order partial derivatives
are continuous in a neighbourhood of z0.