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— thenf 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.
Cartesian Form
∂x∂u=ux=∂y∂v=vy∧∂y∂u=uy=−∂x∂v=−vx
Polar Form
Here the partial derivatives are about r,θ.
ur=r1vθ∧vr=−r1uθ
Complex Form
fx=−ify
Theorem
Iff 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
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 z0and
f′(z0)=ux(x0,y0)+ivx(x0,y0)
Theorem
Iff is analytic at z0, then its first-order partial derivatives
are continuous in a neighbourhood of z0.