← 2026 Paper 2

UPSC 2026 Maths Optional Paper 2 Q7a — Step-by-Step Solution

15 marks · Section B

Second-order linear PDEs with constant coefficients (CF, PI) · PDEs · asked 13× in 14 yrs · Read the full method →

Question

Solve the partial differential equation

(2D2−5DD′+2D′2)z=24(y−x)+sin⁡(y−x)(2D^2 - 5DD' + 2D'^2)z = 24(y - x) + \sin(y - x)

where D≡∂∂xD \equiv \dfrac{\partial}{\partial x}, D′≡∂∂yD' \equiv \dfrac{\partial}{\partial y}, z=z(x,y)z = z(x, y).

Technique

A homogeneous linear PDE with constant coefficients (every term is of order 22), so the complementary function comes from the auxiliary equation 2m2−5m+2=02m^2 - 5m + 2 = 0 with z=ϕ(y+mx)z=\phi(y+mx). The trigger for the particular integral is that both pieces of the right-hand side are functions of the single combination u=y−xu = y - x, i.e. of y+mxy+mx with m=−1m=-1. For such a right-hand side a homogeneous operator of degree nn collapses to the constant F(m,1)F(m,1) times dn/dund^n/du^n, so the PI is obtained by nn plain integrations — provided F(−1,1)≠0F(-1,1)\neq 0, which must be checked because F(−1,1)=0F(-1,1)=0 is exactly the resonant case where the shortcut fails.

Solution

Step 1 — Factorise the operator

Treat F(D,D′)=2D2−5DD′+2D′2F(D,D') = 2D^2 - 5DD' + 2D'^2 as a quadratic form in D,D′D, D':

2D2−5DD′+2D′2=(2D−D′)(D−2D′).2D^2 - 5DD' + 2D'^2 = (2D - D')(D - 2D').

Check by expansion: (2D−D′)(D−2D′)=2D2−4DD′−DD′+2D′2=2D2−5DD′+2D′2(2D-D')(D-2D') = 2D^2 - 4DD' - DD' + 2D'^2 = 2D^2 - 5DD' + 2D'^2. ✓

The operator is homogeneous of degree 22, so the equation is a homogeneous linear PDE with constant coefficients and the standard theory applies: general solution == complementary function ++ particular integral, with two arbitrary functions.

Step 2 — The complementary function

The convention, stated (this is a mark). For a homogeneous operator, put z=ϕ(y+mx)z = \phi(y + mx) with ϕ\phi arbitrary and twice differentiable. Then

Dz=mϕ′,D′z=ϕ′,D2z=m2ϕ′′,DD′z=mϕ′′,D′2z=ϕ′′,Dz = m\phi',\qquad D'z = \phi',\qquad D^2z = m^2\phi'',\qquad DD'z = m\phi'',\qquad D'^2z = \phi'' ,

so

F(D,D′) ϕ(y+mx)=(2m2−5m+2)ϕ′′(y+mx)=F(m,1) ϕ′′(y+mx).(∗)F(D,D')\,\phi(y+mx) = \bigl(2m^2 - 5m + 2\bigr)\phi''(y+mx) = F(m,1)\,\phi''(y+mx). \tag{$\ast$}

Hence ϕ(y+mx)\phi(y+mx) solves F(D,D′)z=0F(D,D')z=0 iff mm is a root of the auxiliary equation

F(m,1)=2m2−5m+2=0.F(m,1)=2m^2 - 5m + 2 = 0 .

Solving: 2m2−5m+2=(2m−1)(m−2)=02m^2-5m+2=(2m-1)(m-2)=0, so

m1=2,m2=12.m_1 = 2,\qquad m_2 = \tfrac12 .

The roots are real and distinct, so no repeated-root modification (no factor xx) is needed, and

zc=ϕ1(y+2x)+ϕ2 ⁣(y+x2),z_c = \phi_1(y + 2x) + \phi_2\!\left(y + \tfrac{x}{2}\right),

with ϕ1,ϕ2\phi_1,\phi_2 arbitrary twice-differentiable functions. Since ϕ2 ⁣(y+x2)=ψ ⁣(2y+x)\phi_2\!\left(y+\tfrac x2\right) = \psi\!\left(2y+x\right) on writing ψ(τ)=ϕ2(τ/2)\psi(\tau)=\phi_2(\tau/2) — and ψ\psi is arbitrary exactly when ϕ2\phi_2 is — the CF may equally be written

 zc=ϕ(y+2x)+ψ(2y+x) \boxed{\,z_c = \phi(y+2x) + \psi(2y+x)\,}

Two arbitrary functions, matching the order of the equation. ✓

Step 3 — Why the right-hand side is special, and the lemma that exploits it

The right-hand side is

R(x,y)=24(y−x)+sin⁡(y−x),R(x,y) = 24(y-x) + \sin(y-x),

which is a function of the single variable u=y−x=y+mxu = y - x = y + mx with m=−1m = -1. This is the whole point of the question.

Lemma. If F(D,D′)F(D,D') is homogeneous of degree nn with constant coefficients and GG is nn-times differentiable, then

F(D,D′) G(y+mx)=F(m,1) G(n)(y+mx).F(D,D')\,G(y+mx) = F(m,1)\,G^{(n)}(y+mx).

Proof. Each term of FF is ckD n−kD′kc_k D^{\,n-k}D'^k, and D n−kD′kG(y+mx)=m n−k G(n)(y+mx)D^{\,n-k}D'^{k}G(y+mx) = m^{\,n-k}\,G^{(n)}(y+mx), because each DD contributes a factor mm and each D′D' a factor 11. Summing over kk gives (∑kckm n−k)G(n)=F(m,1) G(n)\left(\sum_k c_k m^{\,n-k}\right)G^{(n)} = F(m,1)\,G^{(n)}. □\square

(Equation (∗)(\ast) of Step 2 is this lemma with n=2n=2, G=ϕG=\phi.)

Corollary (the shortcut, with its hypothesis). If the right-hand side is g(y+mx)g(y+mx) and F(m,1)≠0F(m,1)\neq 0, then a particular integral is

zp=1F(m,1)∫ ⁣ ⁣⋯ ⁣ ⁣∫⏟n timesg(u) du n∣u=y+mx,z_p = \frac{1}{F(m,1)}\underbrace{\int\!\!\cdots\!\!\int}_{n\ \text{times}} g(u)\,\mathrm{d}u^{\,n}\Bigg|_{u=y+mx},

the constants of integration being discardable because they generate polynomials in uu of degree <n<n, which already lie in the complementary function.

The hypothesis must be checked here, not assumed. With m=−1m=-1,

F(−1,1)=2(−1)2−5(−1)(1)+2(1)2=2+5+2=9  ≠  0.F(-1,1) = 2(-1)^2 - 5(-1)(1) + 2(1)^2 = 2 + 5 + 2 = 9 \;\neq\; 0 .

Equivalently: m=−1m=-1 is not a root of 2m2−5m+2=02m^2-5m+2=0 (the roots are 22 and 12\tfrac12), so the direction y−xy-x is not a characteristic of the operator and the case is non-resonant. Had −1-1 been a root, the two-fold integration would have produced 0=R0=R and the method would have collapsed, requiring the usual x⋅( ⋅ )x\cdot(\,\cdot\,) modification instead.

Discardability of the integration constants, verified explicitly. A general linear function α(y−x)+β\alpha(y-x)+\beta does lie in the CF: taking ϕ(τ)=Aτ\phi(\tau)=A\tau, ψ(τ)=Bτ\psi(\tau)=B\tau gives A(y+2x)+B(2y+x)=(A+2B)y+(2A+B)xA(y+2x)+B(2y+x) = (A+2B)y+(2A+B)x, and A=−α,  B=αA=-\alpha,\;B=\alpha reproduces α(y−x)\alpha(y-x); the constant β\beta is absorbed by a constant ϕ\phi. So dropping them costs nothing.

Step 4 — The particular integral

By the Corollary with n=2n=2, m=−1m=-1, F(−1,1)=9F(-1,1)=9 and g(u)=24u+sin⁡ug(u) = 24u + \sin u:

∫(24u+sin⁡u) du=12u2−cos⁡u,∫ ⁣(12u2−cos⁡u)du=4u3−sin⁡u.\int (24u + \sin u)\,\mathrm{d}u = 12u^2 - \cos u,\qquad \int\!\left(12u^2 - \cos u\right)\mathrm{d}u = 4u^3 - \sin u .

Hence

zp=19(4u3−sin⁡u)u=y−x=49(y−x)3−19sin⁡(y−x).z_p = \frac{1}{9}\Bigl(4u^3 - \sin u\Bigr)_{u=y-x} = \frac{4}{9}(y-x)^3 - \frac{1}{9}\sin(y-x).

Direct verification by substitution (do this in the hall — it is two lines and it insures the whole PI). Write u=y−xu=y-x, so ∂u/∂x=−1\partial u/\partial x=-1, ∂u/∂y=+1\partial u/\partial y=+1. For any twice-differentiable ff,

D2f(u)=f′′(u),DD′f(u)=−f′′(u),D′2f(u)=f′′(u),D^2 f(u) = f''(u),\qquad DD' f(u) = -f''(u),\qquad D'^2 f(u) = f''(u),

so

(2D2−5DD′+2D′2)f(u)=(2+5+2) f′′(u)=9f′′(u).\bigl(2D^2 - 5DD' + 2D'^2\bigr) f(u) = (2 + 5 + 2)\,f''(u) = 9f''(u).

With f(u)=49u3−19sin⁡uf(u) = \tfrac49 u^3 - \tfrac19\sin u we get f′′(u)=83u+19sin⁡uf''(u) = \tfrac{8}{3}u + \tfrac19\sin u, and

9f′′(u)=24u+sin⁡u=24(y−x)+sin⁡(y−x).✓9f''(u) = 24u + \sin u = 24(y-x) + \sin(y-x). \qquad\checkmark

(Cross-check of the trigonometric part by the standard operator rule. For sin⁡(ax+by)\sin(ax+by) one replaces D2→−a2D^2\to -a^2, DD′→−abDD'\to -ab, D′2→−b2D'^2\to -b^2. Here a=−1a=-1, b=1b=1, giving 2(−1)−5(1)+2(−1)=−9≠02(-1)-5(1)+2(-1) = -9 \neq 0, so

12D2−5DD′+2D′2sin⁡(y−x)=−19sin⁡(y−x),\frac{1}{2D^2-5DD'+2D'^2}\sin(y-x) = -\frac{1}{9}\sin(y-x),

in agreement.)

Step 5 — General solution

z=ϕ(y+2x)+ψ(2y+x)+49(y−x)3−19sin⁡(y−x),z = \phi(y+2x) + \psi(2y+x) + \frac{4}{9}(y-x)^3 - \frac{1}{9}\sin(y-x),

ϕ,ψ\phi,\psi arbitrary twice-differentiable functions. ■\qquad\blacksquare

Step 6 — Remark: a second, equally correct PI for the polynomial part

Expanding F−1F^{-1} in powers of D′/DD'/D (the routine textbook route) gives, for the part 24(y−x)24(y-x),

12D2(1−5D′2D+D′2D2)−124(y−x)=12D2[24(y−x)]+54 D′D3[24(y−x)]+0=(6x2y−2x3)+5x3=6x2y+3x3,\frac{1}{2D^2}\left(1 - \frac{5D'}{2D} + \frac{D'^2}{D^2}\right)^{-1}24(y-x) = \frac{1}{2D^2}\Bigl[24(y-x)\Bigr] + \frac{5}{4}\,\frac{D'}{D^3}\Bigl[24(y-x)\Bigr] + 0 = \bigl(6x^2y - 2x^3\bigr) + 5x^3 = 6x^2y + 3x^3,

and indeed 2D2(6x2y+3x3)−5DD′(6x2y+3x3)=2(12y+18x)−5(12x)=24(y−x)2D^2(6x^2y+3x^3) - 5DD'(6x^2y+3x^3) = 2(12y+18x) - 5(12x) = 24(y-x). ✓

This looks different from 49(y−x)3\tfrac49(y-x)^3, but the two differ by a complementary function — as they must:

49(y−x)3−(6x2y+3x3)=−49(y+2x)3+19(2y+x)3.\frac{4}{9}(y-x)^3 - \bigl(6x^2y+3x^3\bigr) = -\frac{4}{9}(y+2x)^3 + \frac19(2y+x)^3 .

Both are therefore correct particular integrals and both give the same general solution. Writing this identity out (one line) pre-empts the examiner who has only the other form on the marking scheme.

Answer

  z=ϕ(y+2x)+ψ(2y+x)+49(y−x)3−19sin⁡(y−x)  \boxed{\;z = \phi(y+2x) + \psi(2y+x) + \frac{4}{9}(y-x)^{3} - \frac{1}{9}\sin(y-x)\;}

with ϕ,ψ\phi,\psi arbitrary twice-differentiable functions (auxiliary roots m=2,12m=2,\tfrac12; PI legitimate because F(−1,1)=9≠0F(-1,1)=9\neq0).

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.