4.10.1Advanced Topics (Elite Level)

Complex analysis — analytic functions, Cauchy-Riemann equations

1,767 words8 min readdifficulty · medium1 backlinks

WHAT we are studying

  • WHAT: A function f:CCf:\mathbb{C}\to\mathbb{C}, written f(z)=u(x,y)+iv(x,y)f(z)=u(x,y)+i\,v(x,y) where z=x+iyz=x+iy.
  • WHY it matters: Analytic functions are the "smooth, structure-preserving" maps of the plane. They preserve angles (conformal), satisfy Laplace's equation, and are infinitely differentiable + locally given by a power series. This is the gateway to contour integration, residues, and physics (fluid flow, electrostatics, signal processing).
  • HOW we test analyticity: Check the Cauchy–Riemann (CR) equations + continuity of partials.

Deriving the Cauchy–Riemann equations from scratch

Write f(z)=u(x,y)+iv(x,y)f(z)=u(x,y)+i\,v(x,y) and Δz=Δx+iΔy\Delta z=\Delta x+i\,\Delta y.

Step 1 — Approach along the real axis (Δy=0\Delta y=0, Δz=Δx\Delta z=\Delta x). Why this step? It isolates how ff changes when only xx moves. f(z)=limΔx0u(x+Δx,y)+iv(x+Δx,y)uivΔx=ux+ivx.f'(z)=\lim_{\Delta x\to0}\frac{u(x+\Delta x,y)+iv(x+\Delta x,y)-u-iv}{\Delta x}=\frac{\partial u}{\partial x}+i\frac{\partial v}{\partial x}.

Step 2 — Approach along the imaginary axis (Δx=0\Delta x=0, Δz=iΔy\Delta z=i\,\Delta y). Why this step? Same derivative, but we slide in the orthogonal direction. Note 1/(iΔy)=i/Δy1/(i\,\Delta y)=-i/\Delta y. f(z)=limΔy0u(x,y+Δy)+iv(x,y+Δy)uiviΔy=1i(uy+ivy)=vyiuy.f'(z)=\lim_{\Delta y\to0}\frac{u(x,y+\Delta y)+iv(x,y+\Delta y)-u-iv}{i\,\Delta y}=\frac{1}{i}\left(\frac{\partial u}{\partial y}+i\frac{\partial v}{\partial y}\right)=\frac{\partial v}{\partial y}-i\frac{\partial u}{\partial y}.

Step 3 — Demand the two results are equal. Why this step? That is literally what "derivative independent of direction" means. uxreal+ivximag=vyrealiuyimag.\underbrace{\frac{\partial u}{\partial x}}_{\text{real}}+i\underbrace{\frac{\partial v}{\partial x}}_{\text{imag}}=\underbrace{\frac{\partial v}{\partial y}}_{\text{real}}-i\underbrace{\frac{\partial u}{\partial y}}_{\text{imag}}.

Match real parts and imaginary parts separately:

Figure — Complex analysis — analytic functions, Cauchy-Riemann equations

The sufficiency direction (the warning everyone forgets)

CR equations alone are necessary but not sufficient. The clean theorem:


Consequence: harmonic functions


Worked examples


Steel-manning common mistakes


Recall Feynman: explain to a 12-year-old

Imagine a stretchy rubber sheet with arrows drawn on it (a map). A "nice" map can only spin and zoom little neighborhoods — it can twist and grow them, but it must keep all the angles the same and never flip them inside-out (no mirror). The Cauchy–Riemann equations are just the secret handshake that says "yes, this map only spins-and-zooms." If a map flips things over (like a mirror), or stretches more sideways than up-down, it breaks the handshake and isn't "nice."


Active recall

What does it mean for ff to be complex-differentiable at z0z_0?
The limit f(z0+Δz)f(z0)Δz\frac{f(z_0+\Delta z)-f(z_0)}{\Delta z} exists and is the same for every direction of Δz0\Delta z\to0.
State the Cauchy–Riemann equations.
ux=vyu_x=v_y and uy=vxu_y=-v_x, where f=u+ivf=u+iv.
Why do the CR equations arise?
Equating ff' computed along the real axis (ux+ivxu_x+iv_x) with ff' along the imaginary axis (vyiuyv_y-iu_y).
Are CR equations sufficient for analyticity?
No — only necessary. You also need the partials u,vu,v to be continuous on a neighborhood.
Give a function that satisfies CR at exactly one point but is nowhere analytic.
f(z)=z2=x2+y2f(z)=|z|^2=x^2+y^2 (CR holds only at z=0z=0, not on an open set).
Why is f(z)=zˉf(z)=\bar z not analytic?
u=x,v=yu=x,v=-y give ux=1vy=1u_x=1\ne v_y=-1; CR fails everywhere (it's a reflection, orientation-reversing).
What PDE do the real and imaginary parts of an analytic function satisfy?
Laplace's equation uxx+uyy=0u_{xx}+u_{yy}=0 (and same for vv); they are harmonic conjugates.
Two expressions for f(z)f'(z) in terms of partials?
f=ux+ivx=vyiuyf'=u_x+iv_x=v_y-iu_y.
What is the Jacobian form forced by analyticity?
(abba)\begin{pmatrix}a&-b\\ b&a\end{pmatrix}, i.e. rotation × scaling = multiplication by a+iba+ib.
What is ff' for f(z)=ezf(z)=e^z and why?
eze^z; from u=excosy,v=exsinyu=e^x\cos y,v=e^x\sin y, f=ux+ivx=excosy+iexsiny=ezf'=u_x+iv_x=e^x\cos y+ie^x\sin y=e^z.

Connections

Concept Map

derivative independent of direction

holds on open set

approach along real axis

approach along imaginary axis

set equal

set equal

match real & imag parts

implies

preserves angles

u,v satisfy

leads to

models

Complex function f=u+iv

Complex differentiability

Analytic / holomorphic

du/dx + i dv/dx

dv/dy - i du/dy

Cauchy-Riemann equations

ux=vy and uy=-vx

Conformal maps

Laplace equation

Contour integration & residues

Fluid flow & electrostatics

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, complex function f(z)=u(x,y)+iv(x,y)f(z)=u(x,y)+iv(x,y) basically ek 2D point ko doosre 2D point pe map karta hai. Magic tab hota hai jab uska derivative ek single complex number ke roop mein exist kare — yaani aap kisi bhi direction se Δz0\Delta z\to0 le jao, answer same aaye. Yeh "direction se farak nahi padta" wali demand bahut strong hai, aur isi se nikalti hain Cauchy–Riemann equations: ux=vyu_x=v_y aur uy=vxu_y=-v_x.

Derivation simple hai: real axis ke along derivative nikaalo to milta hai ux+ivxu_x+iv_x; imaginary axis ke along nikaalo to 1/i=i1/i=-i ke kaaran milta hai vyiuyv_y-iu_y. Dono equal hone chahiye, to real part = real part aur imaginary part = imaginary part — bas wahi se CR equations aa gaye. Yaad rakho: ek minus sign zaroor aata hai (cross-pair clash), warna sab galat ho jayega.

Ek important trap: sirf CR satisfy hona kaafi nahi hai. Aapko partial derivatives ka continuous hona bhi chahiye, aur CR ek pure region (open set) pe hold karna chahiye. Jaise f(z)=z2f(z)=|z|^2 sirf z=0z=0 pe CR satisfy karta hai — isliye woh kahin bhi analytic nahi, kyunki ek single point open set nahi hota. Aur f(z)=zˉf(z)=\bar z (reflection) to kahin bhi analytic nahi, kyunki woh orientation flip karta hai.

Geometry mein samjho: analytic map locally sirf ghuma (rotate) aur zoom (scale) kar sakta hai — angles preserve karta hai (conformal), mirror-flip allowed nahi. Isi wajah se uska Jacobian (abba)\begin{pmatrix}a&-b\\b&a\end{pmatrix} banta hai, jo a+iba+ib se multiply karne ke barabar hai. Bonus: uu aur vv dono Laplace equation satisfy karte hain — yeh physics (fluid flow, electrostatics) se direct connect karta hai.

Go deeper — visual, from zero

Test yourself — Advanced Topics (Elite Level)

Connections