← 2024 Paper 2

UPSC 2024 Maths Optional Paper 2 Q1b — Step-by-Step Solution

10 marks · Section A

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

Question

If w=f(z)w=f(z) is an analytic function of zz, show that

(∂2∂x2+∂2∂y2)log⁡∣f′(z)∣=0.\left(\frac{\partial^2}{\partial x^2}+\frac{\partial^2}{\partial y^2}\right)\log|f'(z)|=0.

Technique

Identify log⁡∣f′(z)∣\log|f'(z)| as the real part of the analytic function log⁡f′(z)\log f'(z); real parts of analytic functions are harmonic.

Solution

Step 1 — Construct an analytic function.

Suppose f′(z)≠0f'(z)\ne 0. Locally, log⁡f′(z)\log f'(z) is an analytic function (composition of the analytic derivative f′f' with a local branch of log⁡\log):

log⁡f′(z)=log⁡∣f′(z)∣+iarg⁡f′(z).\log f'(z)=\log|f'(z)|+i\arg f'(z).

The real part of this analytic function is U(x,y)=log⁡∣f′(z)∣U(x,y)=\log|f'(z)|.

Step 2 — Real parts of analytic functions are harmonic.

If G(z)=U+iVG(z)=U+iV is analytic, then UU satisfies the Cauchy–Riemann equations and consequently Uxx+Uyy=0U_{xx}+U_{yy}=0.

Applying this to G(z)=log⁡f′(z)G(z)=\log f'(z):

(∂2∂x2+∂2∂y2)log⁡∣f′(z)∣=0.\left(\frac{\partial^2}{\partial x^2}+\frac{\partial^2}{\partial y^2}\right)\log|f'(z)|=0.

Answer

  log⁡∣f′(z)∣ is harmonic wherever f′≠0.  \boxed{\;\log|f'(z)|\text{ is harmonic wherever }f'\ne 0.\;}
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 — 14 years, mapped. Get the take-away PDF free.