← 2026 Paper 2
UPSC 2026 Maths Optional Paper 2 Q5a — Step-by-Step Solution
10 marks · Section B
Quasilinear first-order PDEs (Lagrange's method) · PDEs · asked 10× in 14 yrs · Read the full method →
Question
Find the integral surface of the equations xz−ydx=yz−xdy=1−z2dz.
Technique
These are Lagrange’s auxiliary (characteristic) equations. The trigger is the antisymmetry between the first two denominators: adding them gives (x+y)(z−1) and subtracting gives (x−y)(z+1) — both factorise, and each factor pairs with one of the two factors of 1−z2=(1−z)(1+z). So the multipliers (1,1,0) and (1,−1,0) split the system into two separated first-order ODEs. Two independent integrals u,v then give the general integral surface F(u,v)=0.
Solution
Step 0 — What the question is asking.
The system
Pdx=Qdy=Rdz,P=xz−y,Q=yz−x,R=1−z2,
is the family of characteristic curves of the quasi-linear PDE
(xz−y)p+(yz−x)q=1−z2,p=zx, q=zy.
An integral surface is a surface generated by a one-parameter family of these characteristics. By Lagrange’s theorem, if u(x,y,z)=c1 and v(x,y,z)=c2 are two functionally independent first integrals of the system, then the general integral surface is
F(u,v)=0,F an arbitrary C1 function with (Fu,Fv)=(0,0).
So the whole task is to produce two independent integrals. No initial (Cauchy) curve is prescribed, so the definite article in “find the integral surface” is loose wording: what is determinable is the general integral F(u,v)=0, a family parametrised by one arbitrary function, and that family is the complete answer. A candidate who invents a side condition in order to force a single surface is answering a different question.
Step 1 — First multiplier: (1,1,0).
By the rule of equal ratios (add numerators, add denominators with the chosen multipliers ℓ,m,n; the common ratio equals ℓP+mQ+nRℓdx+mdy+ndz):
(xz−y)+(yz−x)dx+dy=z(x+y)−(x+y)d(x+y)=(x+y)(z−1)d(x+y).
Pair this with the third ratio, writing 1−z2=(1−z)(1+z):
(x+y)(z−1)d(x+y)=(1−z)(1+z)dz.
Multiply through by (z−1) and note (1−z)(1+z)z−1=−1+z1:
x+yd(x+y)=−1+zdz.
Integrating, ln∣x+y∣+ln∣1+z∣=const, i.e.
u≡(x+y)(1+z)=c1
Step 2 — Second multiplier: (1,−1,0).
(xz−y)−(yz−x)dx−dy=z(x−y)+(x−y)d(x−y)=(x−y)(z+1)d(x−y).
Pairing again with (1−z)(1+z)dz and multiplying by (z+1), with (1−z)(1+z)z+1=1−z1:
x−yd(x−y)=1−zdz⟹ln∣x−y∣=−ln∣1−z∣+const,
v≡(x−y)(1−z)=c2
Step 3 — Verify both are genuine integrals (this is a mark, and it costs two lines).
Along a characteristic, dtdx=P, dtdy=Q, dtdz=R, so a function w is a first integral iff the characteristic derivative Pwx+Qwy+Rwz vanishes identically.
For u=(x+y)(1+z):
Pux+Quy+Ruz=(1+z)[(xz−y)+(yz−x)]+(1−z2)(x+y)
=(1+z)(x+y)(z−1)+(1−z2)(x+y)=(x+y)(z2−1)+(x+y)(1−z2)=0. ✓
For v=(x−y)(1−z):
Pvx+Qvy+Rvz=(1−z)[(xz−y)−(yz−x)]−(1−z2)(x−y)
=(1−z)(x−y)(z+1)−(1−z2)(x−y)=(x−y)(1−z2)−(x−y)(1−z2)=0. ✓
Step 4 — Independence of u and v.
∂(x,y,z)∂(u,v)=(1+z1−z1+z−(1−z)x+y−(x−y)).
The 2×2 minor from the first two columns is −(1+z)(1−z)−(1+z)(1−z)=−2(1−z2), which is non-zero wherever z=±1. Hence u,v are functionally independent on the open set z=±1, and Lagrange’s theorem applies there.
Step 5 — The integral surface.
F((x+y)(1+z), (x−y)(1−z))=0,
equivalently, solving for one integral in terms of the other,
(x+y)(1+z)=f((x−y)(1−z)),f arbitrary.■
Step 6 — What the arbitrary function means, and the degenerate members.
Geometry. The two families u=c1 and v=c2 are each a one-parameter family of surfaces; their intersections {u=c1}∩{v=c2} are exactly the characteristic curves. Choosing F is choosing a curve F(c1,c2)=0 in the (c1,c2)-plane, i.e. selecting a one-parameter subfamily of characteristics; the integral surface is the union (the ruled-by-characteristics surface) they sweep out. Every integral surface arises this way, and through every point with z=±1 there passes exactly one characteristic — which is why an integral surface is pinned down only after a transversal initial curve is prescribed.
Degenerate members. The planes z=1 and z=−1 (where R=0) and the planes x=y, x=−y are themselves integral surfaces; they are not lost, since
v=0⟺(x−y)(1−z)=0⟺{x=y}∪{z=1},u=0⟺{x=−y}∪{z=−1},
so they occur as the members F=v and F=u of the family.
Consistency check on the pair. Multiplying the two integrals,
uv=(x2−y2)(1−z2)=const,
which is exactly what the multipliers (x,−y,0) give directly: z(x2−y2)xdx−ydy=1−z2dz⇒x2−y2d(x2−y2)=1−z22zdz=−1−z2d(1−z2). So that third, “obvious” integral is not independent of u,v — it is their product. Worth one line: it shows the candidate knows two integrals must be checked for independence, not just counted.
Answer
u=(x+y)(1+z)=c1,v=(x−y)(1−z)=c2,integral surface: F((x+y)(1+z),(x−y)(1−z))=0
equivalently (x+y)(1+z)=f((x−y)(1−z)) with f arbitrary.