Residue theorem — computing real integrals: Foundations

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

Parent note follow karne se pehle, tumhe har woh symbol dekhna aana chahiye jo woh likhta hai. Neeche, har symbol ko teen cheezein milti hain: plain words, the picture, aur yeh topic ko kyun chahiye. Inhe is tarah order kiya gaya hai ki har ek sirf upar waalon pe lean karta hai.

1. The complex plane — jahan $z$ rehta hai

Figure — Residue theorem — computing real integrals

Plain words: $z$ ek map pe ek location hai, na ki line pe ek single number.
The picture: figure s01 dekho — black dot $z = x + i y$ hai; $x$ se right jao, phir $y$ se upar.
Yeh topic ko kyun chahiye: poora trick yeh hai ki real road ko chhodo (jahan $y = 0$ ) aur $y \neq = 0$ wale points se travel karo. Doosre dimension ke bina road ko loop mein bend karne ki jagah hi nahi hogi.

Do shorthands jo parent freely use karta hai:

Modulus $∣ z ∣$ ::: origin se point $z$ tak ki seedhi-line distance, yaani $∣ z ∣ = x^{2} + y^{2}$ — arrow ki length.
Polar form $z = ρ e^{i θ}$ ::: same point, uski distance $ρ = ∣ z ∣$ aur positive real axis se angle $θ$ ke zariye describe kiya gaya. Yahan $e^{i θ} = cos θ + i sin θ$ hai "unit circle pe angle $θ$ pe woh point."

2. Upper / lower half-plane

Plain words: "road ke upar" vs "road ke neeche."
The picture: figure s02 — red shaded region UHP hai; real line uska floor hai.
Yeh topic ko kyun chahiye: parent apna loop UHP mein ek semicircle se close karta hai. Yeh choice decide karti hai ki kaun se poles andar band hote hain. Half galat lo aur har sign flip ho jaata hai — parent mein yeh pehli "common mistake" hai.

3. Ek complex number ka function — $f (z)$

Plain words: ek machine jo ek map-point ko doosre mein badal deti hai.
The picture: socho iska matlab hai plane ke har point ko ek colour ya height assign karna.
Yeh topic ko kyun chahiye: poore topic ka "genius move" yeh hai ki ek mushkil real integral sirf ek aasaan complex $f$ ki road pe restriction hai. Hum extend karte hain, 2-D mein kaam karte hain, phir wapis restrict karte hain.

Yeh word kyun matter karta hai: residue theorem ki guarantee ("arc contribute karta hai, andar ek clean sum hai") sirf wahan hold karti hai jahan $f$ analytic ho. Sirf exceptional points poles hain — aage dekho.

4. Poles aur singularities — "spikes"

Plain words: ek jagah jahan function infinity ko shoot karta hai, jaise $\frac{1}{x}$ ki height $x = 0$ pe.
The picture: figure s03 mein $∣ f ∣$ ek landscape ki tarah dikhta hai; har pole ek sharp spike hai jo infinity tak poking karta hai.
Yeh topic ko kyun chahiye: yahi spikes woh ek cheez hain jo closed loop ke integral ko nonzero banati hain. Baaki sab cancel ho jaata hai. Poles dhundhna = denominator kahan vanish hota hai woh dhundhna; isliye parent hamesha $Q (z) = 0$ solve karne se shuru karta hai.

Ek rational function $\frac{P ( z )}{Q ( z )}$ ke poles dhundhna: $Q (z) = 0$ solve karo. $z^{2} + 1 = 0$ ke liye humein $z = \pm i$ milta hai — UHP mein ek spike ( $+ i$ ), LHP mein ek ( $- i$ ). Yeh exactly parent ka pehla example hai.

5. Laurent series aur residue $c_{- 1}$

Plain words: residue spike ke description mein se ek specific number nikala gaya hai — uski "strength."
Yeh yahi number kyun aur koi nahi? Kyunki jab tum kisi pure power $(z - z_{0})^{n}$ ko ek chhote circle ke around ek baar integrate karte ho, har term average karke zero ho jaata hai sivaaye $n = - 1$ ke. $0 \to 2 π$ angle ke through ek poori trip $e^{i (n + 1) θ}$ ko start pe wapas le aati hai (net zero) jab tak $n + 1 = 0$ na ho. Toh loop integral literally sirf $c_{- 1}$ ke alawa koi bhi coefficient nahi dekh sakta. Residue "spike ka woh hissa hai jo ek loop measure kar sakta hai." (Parent yeh line-by-line §1 mein prove karta hai.)

Do shortcut formulas jo parent use karta hai:

Yahan tumhe do prerequisite tools mein fluent hona chahiye: derivative $\frac{d}{d z}$ (rate of change, higher-order poles ke liye chahiye) aur limit $lim_{z \to z_{0}}$ (woh value jo approach ki jaati hai, kyunki $f$ khud spike pe undefined hai). Agar koi bhi shaky lagta hai, toh wahi gap pehle close karo.

6. Contours, orientation, aur $\oint$

Plain words: ek direction wali walk, arrow-marked curve ki tarah draw ki gayi.
The picture: figure s04 parent ka standard contour dikhata hai: real road pe $- ρ$ se $ρ$ tak ek seedha segment (black), plus UHP se guzarta ek bada red semicircular arc $Γ_{ρ}$ jo ise close karta hai. Arrow dikhata hai ki walk counter-clockwise jaati hai.
Yeh topic ko kyun chahiye: residue theorem sirf ek closed loop pe apply hota hai. Real integral seedhe hisse pe rehta hai; arc sirf loop close karne ke liye add kiya jaata hai. Phir hum argue karte hain ki arc ka contribution zero ho jaata hai, real integral akele bach jaata hai.

Do consequences jo parent mein tumhein milenge:

Degree condition $de g Q \geq de g P + 2$ : yeh guarantee karta hai ki $∣ f ∣$ arc pe $1/ ρ^{2}$ ki tarah shrink karta hai, toh arc ka contribution (length $π ρ$ times height $\sim 1/ ρ^{2}$ ) $0$ ho jaata hai. Yeh isliye hai ki arc "mar jaata hai."
Jordan's Lemma: jab degree gap sirf $1$ ho lekin ek oscillating factor $e^{ia z}$ ho, toh UHP mein exponential decay $∣ e^{ia z} ∣ = e^{- a ρ s i n θ}$ arc ko kill kar deta hai.

7. Woh theorem jiske liye tumhe taiyaar kiya ja raha hai

Upar ki har cheez parent ke ek boxed statement mein snap together hoti hai:

Ise ab apni nayi vocabulary ke saath padho: "ek analytic function ka loop integral ( $\oint$ ) $2 π i$ times contour ke andar band poles ke residues (spike strengths $c_{- 1}$ ) ka sum hai." Har bold word ab ek picture hai jo tumhare paas hai.

Prerequisite map

Arrows follow karo: yeh page har ek box build karta hai, toh final box (theorem) solid ground pe khada hai.

Equipment checklist

Khud test karo — right side cover karo aur reveal karne se pehle jawab do.

z = x + i y

kya describe karta hai, aur

i

kya hai?

Ek 2-D map pe ek point;

i

hai "one step up," ek

9 0^{\circ}

CCW rotation,

i^{2} = - 1

ke saath.

Upper half-plane kya hai?

Saare points jahan

y > 0

— real line ke upar ki har cheez.

e^{i θ}

geometrically kya hai?

Unit circle pe angle

θ

pe woh point;

cos θ + i sin θ

ke barabar, hamesha modulus

1

Ek rational function

P / Q

ke poles kahan hote hain?

Denominator

Q (z) = 0

ke zeros pe.

Ek pole ki order kya hai?

Yeh kitna strongly blow up karta hai: order

m

ka matlab hai

f \sim c / (z - z_{0})^{m}

z_{0}

ke paas.

Sirf coefficient

c_{- 1}

ko residue kyun kaha jaata hai?

Kyunki

(z - z_{0})^{n}

ko ek loop ke around ek baar integrate karna

n = - 1

ke alawa har

n

ke liye zero hai — loop sirf

c_{- 1}

"dekh" sakta hai.

g / h

ke liye simple-pole residue formula?

Res_{z_{0}} = g (z_{0}) / h^{'} (z_{0})

jab

h (z_{0}) = 0, h^{'} (z_{0}) \neq = 0

\oint_{C} f d z

ka matlab kya hai aur kaunsi direction positive hai?

f

ko ek poore loop

C

ke upar add karo; positive orientation counter-clockwise hai (region tumhare left pe).

Rationals ke liye bade arc ka contribution kyun vanish ho jaata hai?

Agar

de g Q \geq de g P + 2

, toh

∣ f ∣ \sim 1/ ρ^{2}

jabki arc length

π ρ

hai, toh product

\to 0

Residue theorem ko words mein batao.

Ek analytic

f

ka loop integral

2 π i

times contour ke andar band poles ke residues ka sum hai.

Connections

Residue theorem — computing real integrals (woh parent jiske liye yeh page tumhe taiyaar karta hai)
Laurent Series & Classification of Singularities (series aur residue $c_{- 1}$ ko formalize karta hai)
Cauchy's Integral Theorem & Formula (neeche ka loop-integral machinery)
Jordan's Lemma (oscillatory arcs kyun mar jaate hain)
Contour Integration & Branch Cuts (aur contour shapes)
Principal Value Integrals (road pe poles handle karna)
Argument Principle & Rouché's Theorem (poles aur zeros count karna)