4.10.6 · Maths › Advanced Topics (Elite Level)
Ek real integral jaise ∫ − ∞ ∞ 1 + x 2 d x real line par rehti hai, lekin integrand sirf ek complex function f ( z ) = 1 + z 2 1 ka restriction hai. Genius move yeh hai: real line ko complex plane mein ek loop mein band karo , loop ke around integrate karo (aasaan hai — bas andar trapped poles ke residues ko sum karo), phir arc ko hatao kyunki woh kuch contribute nahi karta. Jo bachta hai woh hai tumhara real integral. Hum ek mushkil analysis problem ko poles dhundne aur residues compute karne mein trade karte hain — pure algebra.
Definition Isolated singularity aur Laurent series
Agar f ek punctured disk 0 < ∣ z − z 0 ∣ < R mein analytic hai, toh uski ek Laurent series hoti hai
f ( z ) = ∑ n = − ∞ ∞ c n ( z − z 0 ) n .
z 0 par f ka residue woh single coefficient hota hai
Res z = z 0 f = c − 1 .
c − 1 special kyun hai? Series ko term-by-term ek chhote circle ∣ z − z 0 ∣ = ρ ke around integrate karo jahan z = z 0 + ρ e i θ hai:
∮ ( 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 θ .
θ -integral 2 π hota hai jab n + 1 = 0 (yani n = − 1 ) aur baaki sab ke liye zero hota hai (ek poora sinusoid average hokar 0 ho jaata hai). Toh
∮ f d z = 2 π i c − 1 = 2 π i Res z 0 f .
Sirf c − 1 term bachta hai — isliye hum iske baare mein sochte hain.
Goal: I = ∫ − ∞ ∞ R ( x ) d x jahan R = Q P rational hai, deg Q ≥ deg P + 2 , koi real poles nahi.
Intuition WHAT karte hain, HOW karte hain, WHY karte hain
WHAT: Contour ko upper half-plane (UHP) mein radius ρ ki ek badi semicircle Γ ρ se band karo.
HOW: ∮ C ρ = ∫ − ρ ρ R d x + ∫ Γ ρ R d z = 2 π i ∑ ( UHP mein Res ) .
WHY arc khatam ho jaata hai: Γ ρ par, ∣ R ∣ ∼ ρ 2 c jabki arc length π ρ hai, toh ∫ Γ ρ ≲ ρ 2 c ⋅ π ρ → 0 . Degree gap ≥ 2 exactly wahi hai jo chahiye.
ρ → ∞ lete hue:
∫ − ∞ ∞ R ( x ) d x = 2 π i poles in UHP ∑ Res R .
∫ − ∞ ∞ 1 + x 2 d x
Poles: z 2 + 1 = 0 ⇒ z = ± i . Sirf z = i UHP mein hai. Sirf i kyun? Kyunki humne upar ki taraf band kiya.
Residue (simple pole, g / h ′ use karo): g = 1 , h = 1 + z 2 , h ′ = 2 z , toh Res i = 2 i 1 . g / h ′ kyun? Factor karne se bachta hai; simple poles ke liye jaldi kaam karta hai.
Assemble karo: I = 2 π i ⋅ 2 i 1 = π . ✓ (arctan x − ∞ ∞ = π se match karta hai).
∫ − ∞ ∞ ( x 2 + 1 ) 2 d x (double pole)
UHP mein Pole: z = i , order m = 2 . Order 2 kyun? Kyunki factor ( z 2 + 1 ) 2 = ( z − i ) 2 ( z + i ) 2 hai.
Residue: Res i = 1 ! 1 d z d [ ( z − i ) 2 ( z − i ) 2 ( z + i ) 2 1 ] z = i = d z d ( z + i ) − 2 i = ( z + i ) 3 − 2 i .
z = i par: ( 2 i ) 3 = 8 i 3 = − 8 i , toh Res i = − 8 i − 2 = 4 i 1 . Ek baar differentiate kyun? Kyunki m − 1 = 1 .
Answer: I = 2 π i ⋅ 4 i 1 = 2 π .
∫ R ( x ) cos ( a x ) d x ya ∫ R ( x ) sin ( a x ) d x (a > 0 ) ke liye, e ia z use karo aur real/imaginary parts lo.
∫ − ∞ ∞ x 2 + 1 cos x d x
f ( z ) = z 2 + 1 e i z , a = 1 use karo. e i z kyun, cos z kyun nahi? ∣ cos z ∣ UHP mein blow up karta hai; e i z decay karta hai.
UHP mein Pole: z = i . Res i = 2 i e i ⋅ i = 2 i e − 1 .
∫ − ∞ ∞ x 2 + 1 e i x d x = 2 π i ⋅ 2 i e − 1 = e π . Real part lo: ∫ x 2 + 1 c o s x d x = e π . (Imaginary part 0 — odd integrand confirm karta hai.)
Intuition Circle ko THE circle banao
Ek integral ∫ 0 2 π F ( cos θ , sin θ ) d θ pehle se hi ek loop hai. z = e i θ substitute karo toh yeh unit circle ∣ z ∣ = 1 par ek contour integral ban jaata hai, ek baar CCW traverse hota hua.
z = e i θ use karke: cos θ = 2 z + z − 1 , sin θ = 2 i z − z − 1 , aur d z = i e i θ d θ ⇒ d θ = i z d z .
∫ 0 2 π 2 + cos θ d θ
Sub: = ∮ ∣ z ∣ = 1 2 + 2 z + z − 1 1 i z d z = ∮ i ( z 2 + 4 z + 1 ) 2 d z .
Poles: z 2 + 4 z + 1 = 0 ⇒ z = − 2 ± 3 . ∣ z ∣ < 1 ke andar? − 2 + 3 ≈ − 0.27 ✓, − 2 − 3 ≈ − 3.73 ✗.
z 0 = − 2 + 3 par Residue (simple): i 2 ⋅ 2 z 0 + 4 1 = i 2 ⋅ 2 3 1 = i 3 1 .
Answer: 2 π i ⋅ i 3 1 = 3 2 π .
saare poles par residues sum kar lunga."
Kyun sahi lagta hai: residue theorem kehta hai "residues sum karo." Fix: sirf woh poles count hote hain jo tumhare contour ke andar enclosed hain. UHP semicircle ke saath, lower-half poles (z = − i , etc.) bahar hain — inhe ignore karo. Galat half choose karne se signs flip ho jaate hain.
∫ R ( x ) cos ( a x ) d x ke liye cos z use karna.
Kyun sahi lagta hai: tumhe cosine chahiye, toh cosine likho. Fix: cos z = 2 e i z + e − i z aur e − i z UHP mein explode karta hai. e ia z use karo, phir end mein real part lo.
Common mistake Degree/decay condition bhool jaana.
Kyun sahi lagta hai: formula "bas kaam karta hai." Fix: arc tabhi vanish hota hai jab deg Q ≥ deg P + 2 (rational) ya Jordan's lemma apply hota hai (oscillatory). Warna arc contribute karta hai aur boxed formula galat hai.
Common mistake Trig substitution mein
i ka factor chhod dena.
Kyun sahi lagta hai: d θ ↔ d z "clean" hona chahiye. Fix: d θ = i z d z — yeh i z 1 mandatory hai aur aksar z = 0 par ek aur pole add karta hai . Check karo!
Recall Feynman: ek 12-saal ke bachche ko samjhao
Socho ek real number line — ek lambi seedhi road jahan tumhara integral chalta hai. Ab road ko ek 2-D map (complex plane) mein uthao aur use ek bade loop mein mod do, jaise ek string pakad ke dono end ek saath kheecho. Loop ke andar kuch "magic spikes" (poles) ho sakte hain. Ek rule hai: loop ka total sirf iti baat par depend karta hai ki woh spikes kitne strong hain — ek number jise har spike ka residue kehte hain. Loop ka door-wala hissa (bada arc) itna weak hota hai ki kuch add nahi karta. Toh poora mushkil road-integral sirf 2 π times i times andar ke spike strengths ka sum hai. Humne ek infinite road trip ko "spikes gino aur unki strengths add karo" mein badal diya.
"CLOSE UP, the ARC DROPS, sum what's TRAPPED."
CLOSE UP → U pper half-plane mein semicircle.
ARC DROPS → decay check karo (deg gap ≥ 2 ya Jordan).
TRAPPED → sirf enclosed poles; residues ke sum ko 2 π i se multiply karo.
Cauchy's Integral Theorem & Formula (residue theorem unka generalization hai)
Laurent Series & Classification of Singularities (c − 1 define karta hai)
Jordan's Lemma (oscillatory arcs ko control karta hai)
Contour Integration & Branch Cuts (∫ 0 ∞ x s − 1 / ( 1 + x ) d x ke liye keyhole contours)
Principal Value Integrals (real poles ke around indented contours)
Argument Principle & Rouché's Theorem (residues se zeros count karna)
Laurent series ke terms mein z 0 par f ka residue kya hota hai? ( z − z 0 ) − 1 ka coefficient c − 1 .
z 0 ke around ek Laurent series ko integrate karte waqt sirf c − 1 kyun bachta hai?∮ ( z − z 0 ) n d z = 2 π i sirf n = − 1 ke liye hota hai; baaki saari powers ek poore circle par integrate hokar 0 ho jaati hain.
Residue theorem state karo. ∮ C f d z = 2 π i ∑ enclosed poles Res f jab C positively oriented ho.
g / h ke simple pole ka residue formula jahan h ( z 0 ) = 0 ho.Res z 0 = g ( z 0 ) / h ′ ( z 0 ) .
Order m ke pole ka residue formula. ( m − 1 )! 1 lim z → z 0 d z m − 1 d m − 1 [( z − z 0 ) m f ] .
Rational integrand ke liye semicircular arc vanish hone ki condition. deg ( denominator ) ≥ deg ( numerator ) + 2 .
Oscillatory integrals ke liye cos ( a z ) ki jagah e ia z kyun use karte hain? ∣ e ia z ∣ = e − a Im z UHP mein decay karta hai; cos z wahan grow karta hai. End mein Re/Im lo.
Jordan's lemma rational case ki tulna mein kya weaken karne deta hai? Arc sirf R ( z ) → 0 hone par vanish hota hai (degree gap ≥ 1 ), kyunki exponential decay provide karta hai.
∫ 0 2 π F ( cos θ , sin θ ) d θ ko contour integral mein convert karne ka substitution.z = e i θ , cos θ = 2 z + z − 1 , sin θ = 2 i z − z − 1 , d θ = i z d z , ∣ z ∣ = 1 par.
Residues se ∫ − ∞ ∞ 1 + x 2 d x ka value. 2 π i ⋅ 2 i 1 = π (z = i par pole).
∫ − ∞ ∞ x 2 + 1 c o s x d x ka value.π / e .
Upper half-plane mein close karne par kaunse poles sum karte hain? Sirf woh jinki positive imaginary part ho (contour ke andar).
loop integral equals 2 pi i sum res
Real integral on real line
Arc vanishes as rho to infinity
Integral equals 2 pi i sum UHP residues