← 2017 Paper 2

UPSC 2017 Maths Optional Paper 2 Q3b — Step-by-Step Solution

15 marks · Section A

Harmonic functions and harmonic conjugate · Complex Analysis · asked 7× in 13 yrs · Read the full method →

Question

Let f=u+ivf=u+iv be an analytic function on the unit disc D={zC:z<1}D=\{z\in\mathbb C:|z|<1\}. Show that

2ux2+2uy2=0=2vx2+2vy2\frac{\partial^2 u}{\partial x^2}+\frac{\partial^2 u}{\partial y^2}=0=\frac{\partial^2 v}{\partial x^2}+\frac{\partial^2 v}{\partial y^2}

at all points of DD.

Technique

Differentiate the Cauchy–Riemann equations and add/subtract; invoke CC^\infty smoothness of analytic functions to equate mixed partials (Schwarz), giving 2u=2v=0\nabla^2u=\nabla^2v=0.

Solution

The claim is that uu and vv are harmonic. The two ingredients are: (1) an analytic function satisfies the Cauchy–Riemann equations, and (2) an analytic function is infinitely differentiable, so its real/imaginary parts have continuous second-order partials, justifying equality of mixed partials.

Step 1 — Cauchy–Riemann equations

Since f=u+ivf=u+iv is analytic on DD, at every point of DD the Cauchy–Riemann (CR) equations hold:

ux=vy(CR-1),uy=vx(CR-2).\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}\qquad(\text{CR-1}),\qquad \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}\qquad(\text{CR-2}).

Step 2 — Smoothness justifies mixed-partial equality

A function analytic on an open set is infinitely complex-differentiable there; in particular uu and vv have continuous partial derivatives of all orders on DD. By Clairaut/Schwarz’s theorem, continuity of the second partials gives equality of mixed partials:

2vxy=2vyx,2uxy=2uyx.\frac{\partial^2 v}{\partial x\,\partial y}=\frac{\partial^2 v}{\partial y\,\partial x},\qquad \frac{\partial^2 u}{\partial x\,\partial y}=\frac{\partial^2 u}{\partial y\,\partial x}.

Step 3 — uu is harmonic

Differentiate (CR-1) with respect to xx and (CR-2) with respect to yy:

2ux2=2vxy,2uy2=2vyx.\frac{\partial^2 u}{\partial x^2}=\frac{\partial^2 v}{\partial x\,\partial y},\qquad \frac{\partial^2 u}{\partial y^2}=-\frac{\partial^2 v}{\partial y\,\partial x}.

Add and use mixed-partial equality of vv:

2ux2+2uy2=2vxy2vyx=0.\frac{\partial^2 u}{\partial x^2}+\frac{\partial^2 u}{\partial y^2}=\frac{\partial^2 v}{\partial x\,\partial y}-\frac{\partial^2 v}{\partial y\,\partial x}=0.

Step 4 — vv is harmonic

Differentiate (CR-1) with respect to yy and (CR-2) with respect to xx:

2uyx=2vy2,2uxy=2vx2.\frac{\partial^2 u}{\partial y\,\partial x}=\frac{\partial^2 v}{\partial y^2},\qquad \frac{\partial^2 u}{\partial x\,\partial y}=-\frac{\partial^2 v}{\partial x^2}.

Subtract the second from the first and use mixed-partial equality of uu:

2vy2+2vx2=2uyx2uxy=0.\frac{\partial^2 v}{\partial y^2}+\frac{\partial^2 v}{\partial x^2}=\frac{\partial^2 u}{\partial y\,\partial x}-\frac{\partial^2 u}{\partial x\,\partial y}=0.

Conclusion

Answer

  2u=2ux2+2uy2=0=2vx2+2vy2=2von D.  \boxed{\;\nabla^2 u=\frac{\partial^2 u}{\partial x^2}+\frac{\partial^2 u}{\partial y^2}=0=\frac{\partial^2 v}{\partial x^2}+\frac{\partial^2 v}{\partial y^2}=\nabla^2 v\quad\text{on }D.\;}
We post more of this — worked solutions, CSAT trap breakdowns, guide chapters — a few times a week on Telegram. Free, no sign-in. Join

This solution is part of the Maths Coverage Map — 13 years, mapped. Get the take-away PDF free.