← 2023 Paper 2

UPSC 2023 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

Prove that u(x,y)=ex(xcosyysiny)u(x,y)=e^x(x\cos y-y\sin y) is harmonic. Find its conjugate harmonic function v(x,y)v(x,y) and express the corresponding analytic function f(z)f(z) in terms of zz.

Technique

Verify Laplace; integrate one CR equation, then differentiate to pin down the integration “constant” (function of xx).

Solution

Part 1 — Harmonic check

Step 1 — First partials.

ux=ex(xcosyysiny)+excosy=ex[(x+1)cosyysiny],u_x=e^{x}(x\cos y-y\sin y)+e^{x}\cos y=e^{x}\bigl[(x+1)\cos y-y\sin y\bigr], uy=ex(xsinysinyycosy)=ex[(x+1)siny+ycosy].u_y=e^{x}(-x\sin y-\sin y-y\cos y)=-e^{x}\bigl[(x+1)\sin y+y\cos y\bigr].

Step 2 — Second partials.

uxx=ex[(x+1)cosyysiny]+excosy=ex[(x+2)cosyysiny].u_{xx}=e^{x}\bigl[(x+1)\cos y-y\sin y\bigr]+e^{x}\cos y=e^{x}\bigl[(x+2)\cos y-y\sin y\bigr]. uyy=y{ex[(x+1)siny+ycosy]}=ex[(x+1)cosy+cosyysiny]=ex[(x+2)cosyysiny].u_{yy}=\frac{\partial}{\partial y}\bigl\{-e^{x}\bigl[(x+1)\sin y+y\cos y\bigr]\bigr\}=-e^{x}\bigl[(x+1)\cos y+\cos y-y\sin y\bigr]=-e^{x}\bigl[(x+2)\cos y-y\sin y\bigr].

Step 3 — Verify Laplace.

uxx+uyy=ex[(x+2)cosyysiny]ex[(x+2)cosyysiny]=0.u_{xx}+u_{yy}=e^{x}\bigl[(x+2)\cos y-y\sin y\bigr]-e^{x}\bigl[(x+2)\cos y-y\sin y\bigr]=0.

So uu is harmonic on R2\mathbb{R}^{2}.

Part 2 — Find the harmonic conjugate vv

The Cauchy–Riemann equations give vy=uxv_y=u_x and vx=uyv_x=-u_y.

Step 4 — Integrate vy=uxv_y=u_x w.r.t. yy.

v=ex[(x+1)cosyysiny]dy=ex ⁣ ⁣(x+1)cosydyex ⁣ ⁣ysinydy.v=\int e^{x}\bigl[(x+1)\cos y-y\sin y\bigr]dy=e^{x}\!\!\int(x+1)\cos y\,dy-e^{x}\!\!\int y\sin y\,dy.

The first is (x+1)siny(x+1)\sin y. For the second, ysinydy=ycosy+siny\int y\sin y\,dy=-y\cos y+\sin y, so ysinydy=ycosysiny-\int y\sin y\,dy=y\cos y-\sin y. Combining,

v=ex[(x+1)siny+ycosysiny]+g(x)=ex[xsiny+ycosy]+g(x).v=e^{x}\bigl[(x+1)\sin y+y\cos y-\sin y\bigr]+g(x)=e^{x}\bigl[x\sin y+y\cos y\bigr]+g(x).

Step 5 — Determine g(x)g(x) from vx=uyv_x=-u_y.

vx=ex[xsiny+ycosy]+exsiny+g(x)=ex[(x+1)siny+ycosy]+g(x).v_x=e^{x}\bigl[x\sin y+y\cos y\bigr]+e^{x}\sin y+g'(x)=e^{x}\bigl[(x+1)\sin y+y\cos y\bigr]+g'(x).

But uy=ex[(x+1)siny+ycosy]-u_y=e^{x}\bigl[(x+1)\sin y+y\cos y\bigr]. Equating, g(x)=0g'(x)=0, so g(x)=Cg(x)=C (constant). Take C=0C=0 (constants in vv shift ff by an imaginary constant; conventional to set C=0C=0):

  v(x,y)=ex(xsiny+ycosy).  \boxed{\;v(x,y)=e^{x}\bigl(x\sin y+y\cos y\bigr).\;}

Part 3 — Express f(z)f(z) in terms of zz

f(z)=u+iv=ex[(xcosyysiny)+i(xsiny+ycosy)].f(z)=u+iv=e^{x}\bigl[(x\cos y-y\sin y)+i(x\sin y+y\cos y)\bigr].

Group:

xcosy+ixsiny=x(cosy+isiny)=xeiy,x\cos y+ix\sin y=x(\cos y+i\sin y)=xe^{iy}, ysiny+iycosy=iy(cosy+isiny)=iyeiy.-y\sin y+iy\cos y=iy(\cos y+i\sin y)=iy\,e^{iy}.

Therefore

f(z)=ex(xeiy+iyeiy)=exeiy(x+iy)=ex+iy(x+iy)=zez.f(z)=e^{x}\bigl(x e^{iy}+iy e^{iy}\bigr)=e^{x}e^{iy}(x+iy)=e^{x+iy}(x+iy)=z\,e^{z}.

Answer

  f(z)=zez.  \boxed{\;f(z)=z\,e^{z}.\;}
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.