Residue theorem — computing real integrals: Visual walkthrough

4.10.6 · D2 · Maths › Advanced Topics (Elite Level) › Residue theorem — computing real integrals

Hum poore time ek concrete integral follow karte hain: $I = \int_{- \infty}^{\infty} \frac{d x}{1 + x ^{2}} .$ Har abstract idea pehle is example par dikhaya jayega.

Step 1 — Yeh road actually ek 2-D map ka ek slice hai

Aao map ka naam rakhen. Ek complex number likha jaata hai $z = x + i y,$

$x$ = kitna daayein (real axis, hamaari road),
$y$ = kitna upar (imaginary axis),
$i$ = woh special number jahan $i^{2} = - 1$ , woh unit jo "upar" point karta hai.

Road exactly woh line hai jahan $y = 0$ hota hai.

Figure — Residue theorem — computing real integrals

Step 2 — Function kahan infinite ho jaata hai? (poles dhundho)

$z = + i$ : point $x = 0, y = + 1$ — road ke upar, UHP mein.
$z = - i$ : point $x = 0, y = - 1$ — road ke neeche, lower half-plane mein.

Recall

$z = i$ ek simple pole kyun hai? Kyunki $1 + z^{2} = (z - i) (z + i)$ : factor $(z - i)$ pehli power par aata hai. ::: Denominator ka pehli-power zero exactly wahi hai jo "simple pole" ka matlab hai.

Step 3 — Road ko ek closed loop mein mod do

Hum ek contour $C_{ρ}$ do pieces mein banate hain:

road ke saath $- ρ$ se $+ ρ$ tak seedha segment (yeh hamaara integral hai, radius $ρ$ par kaata hua),
arc $Γ_{ρ}$ : radius $ρ$ ka ek semicircle, $z = ρ e^{i θ}$ jahan $θ$ , $0$ se $π$ tak jaata hai, top ke upar arch karta hua.

Yahan $ρ$ (rho) bas "loop ko kitna bada banate hain" hai — hum ise baad mein $\infty$ tak push karenge.

Step 4 — Poora loop bas trapped residue ka $2 π i$ guna hai

Ab woh ek residue compute karo. Simple pole ke liye $f = \frac{g}{h}$ (parent isko $h (z) \approx h^{'} (z_{0}) (z - z_{0})$ pole ke paas se derive karta hai): $Res_{z_{0}} \frac{g}{h} = \frac{g ( z _{0} )}{h ^{'} ( z _{0} )} .$

$g (z) = 1$ (numerator), toh $g (i) = 1$ ,
$h (z) = 1 + z^{2}$ , toh $h^{'} (z) = 2 z$ , jisse $h^{'} (i) = 2 i$ milta hai.

$Res_{i} \frac{1}{1 + z ^{2}} = \frac{1}{2 i} .$

Notice karo: yeh already $π$ hai, chahe $ρ$ kitna bhi bada ho (jab tak $ρ > 1$ hai taaki $i$ enclosed rahe). Woh constancy hi clue hai ki arc kuch nahi kar raha.

Step 5 — Door waala arc kyun mar jaata hai (degree-gap picture)

Dono ko multiply karo (yeh standard " $length \times max height$ " bound hai): $\int_{Γ_{ρ}} f d z \leq length π ρ \cdot m a x ∣ f ∣ \frac{1}{ρ ^{2}} = \frac{π}{ρ} ρ \to \infty 0.$

Height faster shrink karti hai ( $ρ^{- 2}$ ) jitna length grow karti hai ( $ρ^{+ 1}$ ), toh unka product $ρ^{- 1} \to 0$ ki tarah fall off ho jaata hai.

Step 6 — Limit lo: road piece answer ke barabar hai

Step 3 ki identity se shuru karo, left par Step 4 ki value daalo aur arc ko $0$ jaane do:

= \underbrace{\int_{-\rho}^{\rho}\frac{dx}{1+x^2}}_{\to\,\int_{-\infty}^{\infty}} + \underbrace{\int_{\Gamma_\rho}f\,dz}_{\to\,0\ \text{(Step 5)}}.$$ $\rho\to\infty$ lete hue: $$\boxed{\int_{-\infty}^{\infty}\frac{dx}{1+x^2}=\pi.}$$ > [!example] Ordinary calculus se sanity check > Real antiderivative $\arctan x$ hai, aur > $$\arctan x\Big|_{-\infty}^{\infty}=\frac{\pi}{2}-\left(-\frac{\pi}{2}\right)=\pi.\ \checkmark$$ > Contour method ne ise *bina kabhi integrate kiye* reproduce kiya — humne sirf ek pole aur ek residue dhundha. --- ## Step 7 — Degenerate aur edge cases (kabhi surprised mat ho) Yeh har ek woh scenario hai jo naive picture par trip kar sakta hai. Hum dikhate hain kya badalta hai. > [!intuition] Case A — Ek pole road **par** baitha hai ($y=0$) > Agar denominator kisi real $x$ par zero ho jaata, toh integrand *path par hi* blow up kar deta — plain > formula illegal ho jaata. Fix yeh hai ki contour ko us point ke around ek tiny half-circle detour se **indent** karo, jo [[Principal Value Integrals]] ka subject hai. $\frac{1}{1+x^2}$ ke liye yeh kabhi nahi hota: poles $\pm i$ road se door hain. > [!intuition] Case B — Ek **higher-order** pole (spike "fatter" hai) > Agar ek factor square ho, jaise $\frac{1}{(1+x^2)^2}$, toh $z=i$ ek **order-2** pole hai. Simple > formula $\frac{g}{h'}$ ab apply nahi hota; ek baar differentiate karo: > $$\operatorname{Res}_{i}=\frac{1}{(2-1)!}\lim_{z\to i}\frac{d}{dz}\Big[(z-i)^2 f\Big]=\frac{1}{4i},$$ > jisse $\int_{-\infty}^{\infty}\frac{dx}{(x^2+1)^2}=2\pi i\cdot\frac{1}{4i}=\frac{\pi}{2}$ milta hai. *Picture* > same hai — same loop, same trapped point — sirf residue recipe fatten ho jaati hai. > [!intuition] Case C — **Neeche** ki taraf arch karo > Legal hai, lekin ab tum $z=-i$ enclose karte ho, aur clockwise (negative) orientation sign flip kar deta hai: > $$\operatorname{Res}_{-i}\frac{1}{1+z^2}=\frac{1}{2(-i)}=-\frac{1}{2i},\qquad > \int = (-2\pi i)\cdot\left(-\frac{1}{2i}\right)=\pi.$$ > Do extra minus signs cancel ho jaate hain — tumhe **same** $\pi$ milta hai. Acha: road integral ko koi fark nahi padta ki tumne close karne ke liye kaunsa way choose kiya. ![[deepdives/dd-maths-4.10.06-d2-s06.png]] > [!mistake] "Arc hamesha vanish ho jaata hai." > **Kyun sahi lagta hai:** yahan itna cleanly hua. **Fix:** yeh vanish hua *kyunki* degree gap > $\ge 2$ tha (Step 5). Weaker decay ko [[Jordan's Lemma]] chahiye; road par pole ko > [[Principal Value Integrals]] chahiye; branch points ko [[Contour Integration & Branch Cuts]] chahiye. Arc hamesha re-check karo. --- ## Ek-picture summary ![[deepdives/dd-maths-4.10.06-d2-s07.png]] Poori derivation ek frame mein: **road** (real integral) aur **arc** (vanish ho jaata hai) milke **loop** ke barabar hain, aur loop $2\pi i$ times $z=i$ par single **trapped spike** ki strength ke barabar hai.

\underbrace{\int_{-\infty}^{\infty}\frac{dx}{1+x^2}}{\text{road}} +\underbrace{0}{\text{arc}\ \to 0} =\underbrace{2\pi i\operatorname{Res}{i}}{\text{loop}} =2\pi i\cdot\frac{1}{2i}=\pi.

> [!recall]- Poore walkthrough ki Feynman-style retelling > Hamare paas ek seedhi road thi ($\int_{-\infty}^{\infty}\frac{dx}{1+x^2}$) aur hum uska total chahte the. > Pehle humne notice kiya ki road ek bade flat map (complex plane) ka sirf bottom edge hai, aur hamaara > function us poore map par rehne mein khush hai. Map par, function ke do "danger points" hain > jahan woh explode karta hai: ek road ke bilkul upar ($i$) aur ek bilkul neeche ($-i$). Humne road ke > dono ends ko ek huge half-circle se jooda jo top ke upar jaata hai, ek closed loop banata hai jo > upper danger point ko **trap** karta hai aur neeche waale ko bahar chhodta hai. Ek magic rule (residue > theorem) kehta hai ki loop ka total bas $2\pi i$ times har trapped danger > point ki "strength" hai — yahan sirf ek, jis ki strength $\frac{1}{2i}$ hai, jo $\pi$ deta hai. Phir humne huge arc check kiya: > jaise jaise woh bada hota hai, us par function $1/\rho^2$ ki tarah shrink karta hai jabki arc sirf $\rho$ ki tarah badhta hai, > toh arc ka contribution zero ho jaata hai. Jo bacha woh sirf road hai, jo isliye loop ke $\pi$ ke barabar hai. $\arctan$ waala same answer — lekin humne kabhi integrate nahi kiya, humne sirf ek spike count kiya. > [!mnemonic] Road + dead Arc = Loop = $2\pi i\sum$ trapped strengths. --- ## Connections - [[Residue theorem — computing real integrals]] (yeh page pictures mein uska central boxed result derive karta hai) - [[Cauchy's Integral Theorem & Formula]] (kyun smooth regions loop mein kuch nahi jodte) - [[Laurent Series & Classification of Singularities]] ("residue $=c_{-1}$" aur pole order ka kya matlab hai) - [[Jordan's Lemma]] (jab degree gap sirf $1$ ho aur arc ko oscillatory decay chahiye) - [[Principal Value Integrals]] (Case A: road par baitha hua pole) - [[Contour Integration & Branch Cuts]] (loops jo poles ki jagah branch points se bachte hain)