4.10.5 · Maths › Advanced Topics (Elite Level)
Part of complex analysis. Prereqs: Laurent series , Cauchy's Integral Theorem , Singularities .
Ek pole woh jagah hai jahan ek complex function "blow up" karta hai ek controlled, polynomial tarike se (jaise 1/ z n ). Residue woh sabse important number hai jo us pole par chupi hoti hai — yeh Laurent expansion mein 1/ ( z − z 0 ) term ka coefficient hai.
HUM KYUN CARE KARTE HAIN? Kyunki Cauchy's theorem kehta hai ki analytic functions ke closed-loop integrals zero hote hain, kisi singularity ke around integral mein sirf yahi 1/ ( z − z 0 ) piece bachti hai. Isliye residue hi integral hai (up to 2 π i tak). Ek number sab kuch capture kar leta hai.
Definition Isolated singularity
z 0 ek isolated singularity hai f ki, agar f ek punctured disk 0 < ∣ z − z 0 ∣ < R par analytic ho lekin z 0 par khud analytic na ho. z 0 ke paas hum hamesha Laurent series likh sakte hain:
f ( z ) = ∑ n = − ∞ ∞ a n ( z − z 0 ) n
n < 0 wale terms (principal part ) humein singularity ka type batate hain:
Definition Classification
Removable : principal part zero hai (koi negative powers nahi). e.g. z s i n z at 0 .
Pole of order m : sabse chhota term a − m ( z − z 0 ) − m hai, jahan a − m = 0 , aur finite negative terms hain. Order 1 ka pole simple kehlaata hai.
Essential : infinitely many negative powers. e.g. e 1/ z at 0 .
z 0 par f ka residue coefficient a − 1 hai:
Res ( f , z 0 ) = a − 1
Hum chahte hain ∮ C f ( z ) d z ek chhote circle ke around jo z 0 ko enclose kare. Laurent series substitute karo aur term by term integrate karo circle z = z 0 + ρ e i θ , θ ∈ [ 0 , 2 π ] par, toh d z = i ρ e i θ d θ :
∮ C ( z − z 0 ) n d z = ∫ 0 2 π ρ n e in θ i ρ e i θ d θ = i ρ n + 1 ∫ 0 2 π e i ( n + 1 ) θ d θ
Yeh step kyun? Hum loop ko parametrize karte hain taaki integral ek ordinary θ -integral ban jaye jise hum compute kar sakein.
Ab ∫ 0 2 π e ik θ d θ = 0 kisi bhi integer k = 0 ke liye, aur = 2 π jab k = 0 ho. Yahan k = n + 1 :
∮ C ( z − z 0 ) n d z = { 2 π i 0 n = − 1 n = − 1
Yeh step kyun? Exponentials ek poore circle par average hokar zero ho jaate hain jab tak exponent vanish na kare. Exponent exactly tab vanish karta hai jab n = − 1 ho.
Isliye har term mar jaati hai sivaay n = − 1 ke :
∮ C f ( z ) d z = 2 π i a − 1 = 2 π i Res ( f , z 0 )
Worked example Simple pole
f ( z ) = ( z − 1 ) ( z + 2 ) z at z 0 = 1 .
Res = lim z → 1 ( z − 1 ) ( z − 1 ) ( z + 2 ) z = 1 + 2 1 = 3 1
Yeh step kyun? ( z − 1 ) factor pole ko cancel kar deta hai, phir hum simply substitute karte hain.
Worked example Quotient shortcut
f ( z ) = z 2 + 1 e z at z 0 = i . Yahan p = e z , q = z 2 + 1 , q ′ = 2 z .
Res = 2 i e i
Yeh step kyun? q ( i ) = 0 , q ′ ( i ) = 2 i = 0 , p ( i ) = 0 — conditions satisfy hain, toh turant p / q ′ use karo.
Worked example Order-2 pole
f ( z ) = z 2 e z at z 0 = 0 (double pole, m = 2 ).
Res = 1 ! 1 lim z → 0 d z d [ z 2 ⋅ z 2 e z ] = lim z → 0 d z d e z = e 0 = 1
Yeh step kyun? z 2 se multiply karke pole clear karo, ek baar differentiate karo (m − 1 = 1 ), evaluate karo.
Worked example Real integral via residues
∫ − ∞ ∞ x 2 + 1 d x compute karo. Upper half plane mein contour close karo. Andar sirf ek pole: z = i (simple).
Res ( z 2 + 1 1 , i ) = 2 i 1 ⇒ Integral = 2 π i ⋅ 2 i 1 = π
Yeh step kyun? Bade semicircle ka contribution → 0 hota hai, isliye real-line integral 2 π i × (upper half mein residues) ke barabar hai. Known answer π se match karta hai.
f ( z 0 ) plug in karo aur residue mil jaayega."
Kyun sahi lagta hai: residue "pole par value" hai, toh instinctively substitute karte hain. Kyun galat hai: f ( z 0 ) infinite hai; residue coefficient a − 1 hai, function value nahi. Fix: pehle hamesha ( z − z 0 ) m se multiply karo, tab limit/derivative lo.
Common mistake Higher-order pole par simple-pole formula use karna.
Kyun sahi lagta hai: lim ( z − z 0 ) f general lagta hai. Kyun galat hai: order-2 pole ke liye, ( z − z 0 ) f phir bhi blow up karta hai — limit ∞ hai, jo signal karta hai ki galat m use kiya. Fix: true order m find karo, derivative formula use karo.
Common mistake Yeh check karna bhool jaana ki pole actually contour ke
andar hai ya nahi.
Kyun sahi lagta hai: tune ek valid residue compute kiya. Kyun galat hai: residue theorem sirf C ke andar enclosed singularities ko sum karta hai. Fix: har pole locate karo, test karo kaun andar hai, sirf unhe include karo.
Common mistake Essential singularity par pole formulas lagaana.
Kyun galat hai: e 1/ z ka koi finite order m nahi hai; z m f kabhi analytic nahi banta. Fix: Laurent series se seedha a − 1 padho (a − 1 = 1 for e 1/ z kyunki e 1/ z = ∑ n ! 1 z − n ).
Recall Quick self-test (answers cover karo!)
Q: Residue actually kaunsa number hai? A: a − 1 , yaani ( z − z 0 ) − 1 ka coefficient.
Q: Integration mein baaki saare Laurent terms kyun vanish ho jaate hain? A: ∫ 0 2 π e ik θ d θ = 0 jab tak k = 0 na ho, yaani n = − 1 .
Q: Order-m pole ke liye Residue formula? A: ( m − 1 )! 1 lim d z m − 1 d m − 1 [( z − z 0 ) m f ] .
Recall Feynman: ek 12-saal ke bachche ko explain karo
Ek pond mein ek whirlpool imagine karo. Agar tum shant paani ke around circle mein paddling karo, tum kuch liye bina wapis aa jaate ho — paani ke dhakke ek dusre ko cancel kar dete hain. Lekin whirlpool ke around ghoomne par woh tumhe ek spin deta hai jo cancel nahi hoti. Residue us ek whirlpool ki strength hai, aur us ke around jaane par exactly 2 π i × woh strength milti hai. Zyaadatar "current" cancel ho jaati hai; sirf woh swirl bachti hai jo exactly ek baar loop ke ird-gird ghumti hai.
"Residue = Real Important Survivor." Sirf a − 1 loop mein Survive karta hai; ( z − z 0 ) se multiply karo, limit lo. Order m ke liye: "Multiply, Differentiate m − 1 , Divide by ( m − 1 )! ."
Laurent series — residue sirf iska ek coefficient hai.
Cauchy's Integral Theorem — explain karta hai kyun a − 1 ke siwa sab kuch mar jaata hai.
Cauchy's Integral Formula — special case (z − z 0 f ( z ) ka residue).
Contour integration — main application: real definite integrals.
Argument principle / Rouché's theorem — residues par based hain jo zeros/poles count karte hain.
What is the residue of f at z 0 ? Laurent series mein ( z − z 0 ) − 1 ka coefficient a − 1 .
Why does ∮ ( z − z 0 ) n d z = 0 for n = − 1 ? Ek circle par integral i ρ n + 1 ∫ 0 2 π e i ( n + 1 ) θ d θ ban jaata hai, jo 0 hai jab tak n + 1 = 0 na ho.
Value of ∮ C ( z − z 0 ) − 1 d z around an enclosing loop? 2 π i .
State the Residue Theorem. ∮ C f d z = 2 π i ∑ j Res ( f , z j ) , C ke andar wale saare poles ke liye.
Residue at a simple pole formula? lim z → z 0 ( z − z 0 ) f ( z ) .
Residue at an order-m pole? ( m − 1 )! 1 lim z → z 0 d z m − 1 d m − 1 [( z − z 0 ) m f ( z )] .
Quotient shortcut for simple pole of p / q ? p ( z 0 ) / q ′ ( z 0 ) jab q ( z 0 ) = 0 , q ′ ( z 0 ) = 0 , p ( z 0 ) = 0 .
Residue of z 2 e z at 0 ? 1 (e z ka derivative at 0 ).
Residue of z 2 + 1 1 at i ? 2 i 1 .
What distinguishes a pole from an essential singularity? Pole mein finitely many negative Laurent terms hote hain; essential mein infinitely many hote hain.
∫ − ∞ ∞ x 2 + 1 d x via residues?2 π i ⋅ 2 i 1 = π .
Cauchy's Integral Theorem
Only 1 over z-z0 term survives