← 2013 Paper 2

UPSC 2013 Maths Optional Paper 2 Q5b — Step-by-Step Solution

10 marks · Section B

Classification and reduction to canonical form · PDEs · asked 8× in 13 yrs · Read the full method →

Question

Reduce the equation

y2zx2+(x+y)2zxy+x2zy2=0y\frac{\partial^{2}z}{\partial x^{2}}+(x+y)\frac{\partial^{2}z}{\partial x\partial y}+x\frac{\partial^{2}z}{\partial y^{2}}=0

to its canonical form when xyx\ne y.

Technique

Discriminant → characteristic ODEs → coordinate change (x,y)(ξ,η)(x,y)\to(\xi,\eta) → chain-rule substitution.

Solution

Strategy. Compute discriminant; find characteristic equations; introduce characteristic coordinates (ξ,η)(\xi,\eta); transform.

Step 1 — Classify

Compare with Azxx+2Bzxy+Czyy=Az_{xx}+2Bz_{xy}+Cz_{yy}=\ldots: A=yA=y, 2B=x+y2B=x+y (so B=(x+y)/2B=(x+y)/2), C=xC=x.

Discriminant: B2AC=(x+y)24xy=(xy)24B^{2}-AC=\dfrac{(x+y)^{2}}{4}-xy=\dfrac{(x-y)^{2}}{4}.

For xyx\ne y: discriminant >0>0\Rightarrow hyperbolic.

Step 2 — Characteristic equations

A(dy/dx)22B(dy/dx)+C=0A(dy/dx)^{2}-2B(dy/dx)+C=0:

ym2(x+y)m+x=0,m=dy/dx.y\,m^{2}-(x+y)m+x=0,\qquad m=dy/dx.

Roots:

m=(x+y)±(x+y)24xy2y=(x+y)±xy2y.m=\dfrac{(x+y)\pm\sqrt{(x+y)^{2}-4xy}}{2y}=\dfrac{(x+y)\pm|x-y|}{2y}.

For x>yx>y (the case x<yx<y is symmetric):

Two families:

Step 3 — Compute the transformed derivatives

With ξ=yx,  η=y2x2\xi=y-x,\;\eta=y^{2}-x^{2}: ξx=1,  ξy=1,  ηx=2x,  ηy=2y\xi_x=-1,\;\xi_y=1,\;\eta_x=-2x,\;\eta_y=2y.

By the chain rule:

zx=zξ2xzη,zy=zξ+2yzη.z_x=-z_\xi-2x z_\eta,\quad z_y=z_\xi+2y z_\eta.

Second-order partials (after applying chain rule twice):

zxx=zξξ+4xzξη+4x2zηη2zη,z_{xx}=z_{\xi\xi}+4xz_{\xi\eta}+4x^{2}z_{\eta\eta}-2z_\eta, zyy=zξξ+4yzξη+4y2zηη+2zη,z_{yy}=z_{\xi\xi}+4yz_{\xi\eta}+4y^{2}z_{\eta\eta}+2z_\eta, zxy=zξξ2(x+y)zξη4xyzηη.z_{xy}=-z_{\xi\xi}-2(x+y)z_{\xi\eta}-4xy\,z_{\eta\eta}.

Step 4 — Substitute and collect

yzxx+(x+y)zxy+xzyy=0.y\,z_{xx}+(x+y)z_{xy}+x\,z_{yy}=0.

Collect coefficients of each (ξ,η)(\xi,\eta)-second-derivative:

zξξz_{\xi\xi}: y(x+y)+x=0y-(x+y)+x=0 ✓.

zηηz_{\eta\eta}: 4x2y4xy(x+y)+4xy2=4xy[x(x+y)+y]=04x^{2}y-4xy(x+y)+4xy^{2}=4xy[x-(x+y)+y]=0 ✓.

zξηz_{\xi\eta}: 4xy2(x+y)2+4xy=8xy2(x2+2xy+y2)=2(xy)24xy-2(x+y)^{2}+4xy=8xy-2(x^{2}+2xy+y^{2})=-2(x-y)^{2}.

zηz_\eta: 2y+0+2x=2(xy)-2y+0+2x=2(x-y).

zξz_\xi: 00.

So the PDE reduces to

2(xy)2zξη+2(xy)zη=0.-2(x-y)^{2}\,z_{\xi\eta}+2(x-y)\,z_\eta=0.

Divide by 2(xy)-2(x-y) (allowed since xyx\ne y):

(xy)zξηzη=0.(x-y)\,z_{\xi\eta}-z_\eta=0.

Now use ξ=yx\xi=y-x, so xy=ξx-y=-\xi:

ξzξηzη=0,  i.e.  ξzξη+zη=0.-\xi\,z_{\xi\eta}-z_\eta=0,\;\text{i.e.}\;\xi\,z_{\xi\eta}+z_\eta=0.

Answer

  zξη+1ξzη=0,ξ=yx,  η=y2x2.  \boxed{\;z_{\xi\eta}+\dfrac{1}{\xi}z_\eta=0,\quad\xi=y-x,\;\eta=y^{2}-x^{2}.\;}
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.