The math optional, made finite.

← 2025 Paper 2

UPSC Maths 2025 Paper 2 Q2c — Solution

20 marks · Section A

Question

Use the method of contour integration to prove that x2x+2x4+10x2+9dx=5π12\displaystyle\int_{-\infty}^{\infty} \dfrac{x^2 - x + 2}{x^4 + 10x^2 + 9}\,dx = \dfrac{5\pi}{12}.

Technique

Apply the residue theorem on a semicircular contour in the upper half-plane, summing residues at the enclosed poles, with a bound showing the large semicircle contributes nothing.

Solution

Let f(z)=z2z+2z4+10z2+9.f(z) = \frac{z^2 - z + 2}{z^4 + 10z^2 + 9}.

Step 1 — Factor the denominator and locate poles. z4+10z2+9=(z2+1)(z2+9)=(zi)(z+i)(z3i)(z+3i).z^4 + 10z^2 + 9 = (z^2+1)(z^2+9) = (z-i)(z+i)(z-3i)(z+3i). The four simple poles are z=±i, ±3iz = \pm i,\ \pm 3i. In the upper half-plane the poles are z=iz=i and z=3iz=3i.

Step 2 — Set up the contour. Take CRC_R = segment [R,R][-R,R] on the real axis together with the semicircle ΓR\Gamma_R of radius RR in the upper half-plane, traversed counterclockwise, with R>3R>3 so that both poles i,3ii,3i lie inside. By the residue theorem, CRf(z)dz=2πi[Resz=if+Resz=3if].\oint_{C_R} f(z)\,dz = 2\pi i\big[\operatorname{Res}_{z=i} f + \operatorname{Res}_{z=3i} f\big].

Step 3 — The semicircle vanishes as RR\to\infty. For z=R|z|=R, the numerator is O(R2)O(R^2) and the denominator R4\sim R^4, so f(z)CR2R4=CR2|f(z)| \le \dfrac{C R^2}{R^4} = \dfrac{C}{R^2} for large RR. Then ΓRfdzCR2πR=πCRR0.\left|\int_{\Gamma_R} f\,dz\right| \le \frac{C}{R^2}\cdot \pi R = \frac{\pi C}{R} \xrightarrow{R\to\infty} 0. Hence f(x)dx=2πi[Resz=if+Resz=3if].\displaystyle\int_{-\infty}^{\infty} f(x)\,dx = 2\pi i\big[\operatorname{Res}_{z=i} f + \operatorname{Res}_{z=3i} f\big].

Step 4 — Compute the residues (simple poles; use Resz=z0p(z)q(z)=p(z0)q(z0)\operatorname{Res}_{z=z_0} \frac{p(z)}{q(z)} = \frac{p(z_0)}{q'(z_0)} with q(z)=4z3+20zq'(z)=4z^3+20z).

At z=iz=i:  p(i)=i2i+2=1i\ p(i) = i^2 - i + 2 = 1 - i, and q(i)=4i3+20i=4i+20i=16iq'(i) = 4i^3 + 20i = -4i + 20i = 16i. Thus Resz=if=1i16i=(1i)(i)16=i+i216=i116=116i16.\operatorname{Res}_{z=i} f = \frac{1-i}{16i} = \frac{(1-i)(-i)}{16} = \frac{-i + i^2}{16} = \frac{-i-1}{16} = -\frac{1}{16} - \frac{i}{16}.

At z=3iz=3i:  p(3i)=(3i)23i+2=93i+2=73i\ p(3i) = (3i)^2 - 3i + 2 = -9 - 3i + 2 = -7 - 3i, and q(3i)=4(3i)3+20(3i)=108i+60i=48iq'(3i) = 4(3i)^3 + 20(3i) = -108i + 60i = -48i. Thus Resz=3if=73i48i=7+3i48i=(7+3i)(i)48=7i3i248=37i48=1167i48.\operatorname{Res}_{z=3i} f = \frac{-7-3i}{-48i} = \frac{7+3i}{48i} = \frac{(7+3i)(-i)}{48} = \frac{-7i -3i^2}{48} = \frac{3 - 7i}{48} = \frac{1}{16} - \frac{7i}{48}.

Step 5 — Sum and multiply by 2πi2\pi i. The real parts cancel: Resz=if+Resz=3if=(116+116)+i(116748)=i(348748)=1048i=524i.\operatorname{Res}_{z=i} f + \operatorname{Res}_{z=3i} f = \left(-\tfrac1{16}+\tfrac1{16}\right) + i\left(-\tfrac1{16} - \tfrac{7}{48}\right) = i\left(-\tfrac{3}{48} - \tfrac{7}{48}\right) = -\frac{10}{48}i = -\frac{5}{24}i. Therefore f(x)dx=2πi(524i)=2π524=10π24=5π12.\int_{-\infty}^{\infty} f(x)\,dx = 2\pi i\cdot\left(-\frac{5}{24}i\right) = 2\pi\cdot\frac{5}{24} = \frac{10\pi}{24} = \frac{5\pi}{12}.

Answer

  x2x+2x4+10x2+9dx=5π12  \boxed{\;\int_{-\infty}^{\infty} \frac{x^2 - x + 2}{x^4 + 10x^2 + 9}\,dx = \frac{5\pi}{12}\;}

We've mapped all 13 years of this exam. Get new solutions, tools, and guides as we release them — free.