← 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 13 yrs · Read the full method →

Question

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

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

Technique

Identify logf(z)\log|f'(z)| as the real part of the analytic function logf(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, logf(z)\log f'(z) is an analytic function (composition of the analytic derivative ff' with a local branch of log\log):

logf(z)=logf(z)+iargf(z).\log f'(z)=\log|f'(z)|+i\arg f'(z).

The real part of this analytic function is U(x,y)=logf(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)=logf(z)G(z)=\log f'(z):

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

Answer

  logf(z) is harmonic wherever f0.  \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 — 13 years, mapped. Get the take-away PDF free.