Use the method of contour integration to prove that ∫−∞∞x4+10x2+9x2−x+2dx=125π.
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)=z4+10z2+9z2−z+2.
Step 1 — Factor the denominator and locate poles.z4+10z2+9=(z2+1)(z2+9)=(z−i)(z+i)(z−3i)(z+3i).
The four simple poles are z=±i,±3i. In the upper half-plane the poles are z=i and z=3i.
Step 2 — Set up the contour. Take CR = segment [−R,R] on the real axis together with the semicircle ΓR of radius R in the upper half-plane, traversed counterclockwise, with R>3 so that both poles i,3i lie inside. By the residue theorem,
∮CRf(z)dz=2πi[Resz=if+Resz=3if].
Step 3 — The semicircle vanishes as R→∞. For ∣z∣=R, the numerator is O(R2) and the denominator ∼R4, so ∣f(z)∣≤R4CR2=R2C for large R. Then
∫ΓRfdz≤R2C⋅πR=RπCR→∞0.
Hence ∫−∞∞f(x)dx=2πi[Resz=if+Resz=3if].
Step 4 — Compute the residues (simple poles; use Resz=z0q(z)p(z)=q′(z0)p(z0) with q′(z)=4z3+20z).
At z=i:p(i)=i2−i+2=1−i, and q′(i)=4i3+20i=−4i+20i=16i. Thus
Resz=if=16i1−i=16(1−i)(−i)=16−i+i2=16−i−1=−161−16i.
At z=3i:p(3i)=(3i)2−3i+2=−9−3i+2=−7−3i, and q′(3i)=4(3i)3+20(3i)=−108i+60i=−48i. Thus
Resz=3if=−48i−7−3i=48i7+3i=48(7+3i)(−i)=48−7i−3i2=483−7i=161−487i.
Step 5 — Sum and multiply by 2πi. The real parts cancel:
Resz=if+Resz=3if=(−161+161)+i(−161−487)=i(−483−487)=−4810i=−245i.
Therefore
∫−∞∞f(x)dx=2πi⋅(−245i)=2π⋅245=2410π=125π.
Answer
∫−∞∞x4+10x2+9x2−x+2dx=125π
We've mapped all 13 years of this exam. Get new solutions, tools, and guides as we release them — free.