4.10.2 · D3 · Maths › Advanced Topics (Elite Level) › Complex integration — contour integrals
Intuition Yeh page kis liye hai
Parent note ne tumhe machinery di thi:
d z = z ′ ( t ) d t , yeh fact ki sirf 1/ z ek loop mein survive karta hai, Cauchy's theorem, aur residue
theorem. Yeh page hai firing range . Hum har tarah ki problem list karte hain jo yeh topic pe throw kar sakta hai,
phir har ek ko ek complete worked example se shoot karte hain. Yahan koi naya theory nahi hai — wahi
chaar tools hain, apply karo jab tak koi scenario surprise na kare.
Kuch bhi karne se pehle: teen facts, ek convention, aur ek piece of notation jis par hum constantly lean karenge.
Taaki tumhe kabhi parent note chase na karna pade, yahan hain, poori tarah se restated.
∮ — us chhote circle ka matlab kya hai
∫ γ ka matlab hai "path γ ke saath integrate karo". Jab γ ek closed loop ho (woh
ends where it began), toh hum integral sign ke through ek tiny circle draw karte hain aur ∮ γ likhte hain.
Ek aisi walk imagine karo jo ghar wapas aati hai. Circle sirf ek reminder hai ki path close hoti hai — yeh
apne aap yeh nahi kehta ki kis taraf; woh neeche diye orientation convention se fix hota hai (default:
counterclockwise). Yeh page par jo bhi ∮ milega woh ek closed-loop integral hai.
Recall Teen parent facts, yahan restated (taaki tum yeh page kabhi na chhodon)
Parent fact 1 — power lemma. Unit circle z = e i t par, har integer power obey karta hai
∮ ∣ z ∣ = 1 z n d z = { 2 π i , 0 , n = − 1 n ∈ Z , n = − 1.
Kyun: z = e i t substitute karne se integral i ∫ 0 2 π e i ( n + 1 ) t d t ban jaata hai; woh
exponential poore loops complete karta hai aur 0 pe cancel hota hai jab tak n + 1 = 0 na ho, jahan woh constant
i hai, 2 π i deta hai. Sirf z 1 term ek loop mein survive karta hai — yeh sab kuch ka seed hai.
Parent fact 2 — Cauchy's theorem. Agar f ek closed loop γ par aur andar analytic hai,
toh ∮ γ f d z = 0 . Kyun: f = u + i v likhna aur Green's theorem apply karna
loop integral ko area integrals mein convert karta hai jinke integrands exactly
Cauchy–Riemann equations u x = v y , u y = − v x hain — dono vanish ho jaate hain.
Parent fact 3 — deform-to-a-tiny-circle argument (the "inside" test). Agar f ek bade loop aur pole a ke around ek chhote circle ke beech ring mein analytic hai, toh dono loop integrals
equal hain (ring koi singularity enclose nahi karta, isliye fact 2 se difference 0 hai). Chhote
circle z = a + ε e i t ko shrink karne par ∮ γ z − a f ( z ) d z = 2 π i f ( a ) milta hai.
Consequence: loop ke bahar ka pole kuch nahi contribute karta aur 0 deta hai; loop ke
andar ka pole hamesha 2 π i times uska residue contribute karta hai.
Definition Orientation convention (neeche har example mein use hota hai)
Positive orientation = counterclockwise. Ek counterclockwise unit circle z = e i t hai,
t : 0 → 2 π . Walk reverse karna (clockwise) har contour integral ko − 1 se multiply karta hai. Jab tak
koi problem "clockwise" na kahe, counterclockwise assume karo.
Definition Pole aur residue (quick anchor)
Pole woh point z 0 hai jahan f "blow up" karta hai — denominator 0 hit karta hai aur f → ∞ .
Complex plane se bahar nikli ek sharp spike ki picture banao.
Residue Res z 0 f ek single number hai jo us
spike ki strength measure karta hai — yeh Laurent series mein z − z 0 1 term ka coefficient c − 1 hai.
Poora game hai: apne loop ke andar ke spikes dhundho, unki strengths add karo, 2 π i se multiply karo.
p / q ′ shortcut — p aur q ka matlab kya hai
Jab bhi integrand ek ratio f ( z ) = q ( z ) p ( z ) ho jahan upar p aur neeche
q dono pole z 0 ke paas analytic (nice, no blow-up) hon, aur q ( z 0 ) = 0 lekin q ′ ( z 0 ) = 0 (ek
simple pole), toh
Res z 0 q p = q ′ ( z 0 ) p ( z 0 ) .
Kyun: z 0 ke paas, q ( z ) ≈ q ′ ( z 0 ) ( z − z 0 ) , isliye f ≈ q ′ ( z 0 ) p ( z 0 ) ⋅ z − z 0 1 ,
aur z − z 0 1 ka woh coefficient hi residue hai. Jo bhi example is shortcut ko use karta hai usme hum p aur q explicitly name karte hain.
Har contour problem in cells mein se kisi ek mein rehti hai. Neeche ke examples cell ke label se mark hain.
Cell
Kya cheez ise distinct banati hai
Kaun sa tool jeetta hai
A — non-analytic integrand
f like z ˉ ; Cauchy fails
brute parametrise d z = z ′ d t
B — analytic, no pole inside
f loop mein har jagah smooth
Cauchy's theorem ⇒ 0
C — one simple pole inside
one spike
2 π i ⋅ q ′ p
D — several poles, some in some out
"is it inside?" se selection
sum only the enclosed residues
E — higher-order (repeated) pole
spike counted twice
derivative residue formula
F — pole exactly ON the contour
degenerate/limiting
undefined (or principal value)
G — real integral ∫ − ∞ ∞
close with a big arc
arc → 0 , then residues
H — real word/exam twist
phrased in disguise
translate, then use C–G
I — essential singularity
e 1/ z -type, infinitely sharp
read c − 1 off the Laurent series
J — branch point / branch cut
z , log z , x s
keyhole contour, cannot encircle freely
Ab hum cells A → J cover karte hain. Sign, "inside?" test, aur degenerate cases dekho.
∫ γ z ˉ 2 d z along z ( t ) = e i t , t : 0 → π (unit circle ka upper half, counterclockwise)
Forecast: z ˉ analytic nahi hai, isliye path matters aur answer 0 ya
2 π i ka multiple hona zaruri nahi. Guess: koi plain complex number. Apna guess likh lo.
Parametrise. z = e i t ⇒ z ˉ = e − i t , isliye z ˉ 2 = e − 2 i t , aur
z ′ ( t ) = i e i t . Yeh step kyun? Cauchy's theorem ko analyticity chahiye; z ˉ mein u x = v y hai,
isliye hum shortcut nahi le sakte — hume literally clock t ke saath path par chalna hoga.
Integrand assemble karo. z ˉ 2 z ′ = e − 2 i t ⋅ i e i t = i e − i t .
Kyun? Yeh sirf definition se f ( z ( t )) z ′ ( t ) hai.
t mein integrate karo. ∫ 0 π i e − i t d t = i ⋅ − i e − i t 0 π = − e − i t 0 π = − ( e − iπ − e 0 ) = − ( − 1 − 1 ) = 2.
Verify: answer 2 ek plain real number hai — exactly wahi jo "non-analytic, path matters" ne
predict kiya tha. Yeh 0 nahi hai, aur 2 π i ka multiple bhi nahi. Agar tumhe 0 mila toh tumne shayad
z ˉ ko analytic treat kiya — Analytic functions warning dekho.
∮ ∣ z ∣ = 1 cos z d z
Forecast: cos z poore plane par analytic hai (ek entire function — kahin koi spike nahi).
Computing se pehle loop value predict karo .
Loop ke andar analyticity check karo. cos z har jagah Cauchy–Riemann equations
satisfy karta hai; koi denominator vanish hone wala nahi, isliye koi pole enclosed nahi hai. Yeh step kyun? Cauchy's
theorem ki ek hi hypothesis hai "analytic on and inside γ " (parent fact 2).
Cauchy's Integral Theorem apply karo. ∮ ∣ z ∣ = 1 cos z d z = 0 . Yeh step kyun? Loop par aur andar analytic
function ka wahan ek single-valued antiderivative hota hai (cos z ke liye sin z );
ek closed loop apne starting point par wapas aata hai, isliye end par antiderivative minus start par antiderivative
= 0 . Yeh exactly Cauchy's theorem hai, aur isliye "analytic inside" loop ko
vanish karne par majboor karta hai.
Verify (brute check ki woh sach mein 0 hai). z = e i t parametrise karo:
∫ 0 2 π cos ( e i t ) i e i t d t . cos z ka antiderivative sin z hai, aur sin z
ek poore loop ke baad apne start par wapas aata hai (z wahin khatam hota hai jahan shuru hua), isliye integral sin z hai
same point minus itself pe evaluate hota hai = 0 . ✔
∮ ∣ z ∣ = 1 2 z − 1 e z d z
Forecast: ek denominator zero z = 2 1 par. Kya yeh ∣ z ∣ = 1 ke andar hai? ∣ 2 1 ∣ = 2 1 < 1
— haan. Toh expect karo ek nonzero 2 π i × ( kuch ) .
p aur q name karo; pole locate karo. f = q ( z ) p ( z ) likho jahan upar p ( z ) = e z
aur neeche q ( z ) = 2 z − 1 ho. Phir q ( z ) = 0 ⇒ z = 2 1 , unit circle ke andar.
Kyun? Sirf loop ke andar ke spikes count karte hain (parent fact 3: bahar ka pole 0 contribute karta hai).
Simple-pole residue p / q ′ se. q ′ ( z ) = 2 , isliye
Res z = 1/2 = q ′ ( 1/2 ) p ( 1/2 ) = 2 e 1/2 .
p / q ′ kyun? Upar shortcut definition dekho — z − 1/2 1 ka coefficient hi residue hai.
Residue theorem. ∮ = 2 π i ⋅ 2 e 1/2 = π i e 1/2 .
Verify: 2 z − 1 e z = 2 1 ⋅ z − 1/2 e z rewrite karo. Cauchy's Integral
Formula se yeh 2 1 ⋅ 2 π i e z z = 1/2 = π i e 1/2 hai. Same answer. ✔
Figure s01 — inside/outside test. Lavender loop counterclockwise unit circle
∣ z ∣ = 1 hai. z = 2 1 par ek coral star loop ke andar hai (uska residue count karta hai); z = 2 par ek grey star
bahar hai (uska residue ignore hota hai — parent fact 3 use nothing pe push karta hai). Circle par lavender arrow tumhe yaad dilata hai ki walk counterclockwise hai. Cell D ka poora trick yeh picture padhna hai: circle, phir sirf andar ke stars ka sum karo.
∮ ∣ z ∣ = 1 ( z − 2 1 ) ( z − 2 ) 1 d z
Forecast: do poles, z = 2 1 aur z = 2 . Sirf z = 2 1 andar hai. Predict karo: ek single
residue survive karta hai.
Inside/outside test. ∣ 2 1 ∣ = 2 1 < 1 → andar. ∣2∣ = 2 > 1 → bahar, ignored.
Kyun? Contour ko ek aise pole ke paas deform karna jo tum enclose nahi karte use count se bahir rakhta hai.
z = 2 1 par Residue. Simple pole; ( z − 2 1 ) factor ko cover karo aur baaki mein plug in karo:
Res 1/2 = ( 2 1 − 2 ) 1 = − 2 3 1 = − 3 2 .
Cover-up kyun? Res = lim z → 1/2 ( z − 2 1 ) f ( z ) singular factor remove karta hai,
baaki ki finite value chhodta hai.
Sirf enclosed residues sum karo. ∮ = 2 π i ( − 3 2 ) = − 3 4 π i .
Verify: partial fractions ( z − 2 1 ) ( z − 2 ) 1 = z − 2 1 − 2/3 + z − 2 2/3 .
Doosra term ∣ z ∣ = 1 ke andar analytic hai (uska pole bahar hai) → uska loop integral 0 hai. Pehla
− 3 2 ⋅ 2 π i = − 3 4 π i deta hai. ✔ Sirf inside pole bola.
m pole aur uska residue
Agar denominator ( z − z 0 ) m jaisa vanish karta hai, toh spike tez hoti hai: ek order-m pole .
Simple p / q ′ rule ab apply nahi hota. Iske bajaay hum m − 1 derivatives peel karte hain:
Res z 0 f = ( m − 1 )! 1 lim z → z 0 d z m − 1 d m − 1 [ ( z − z 0 ) m f ( z ) ] .
Derivatives kyun? ( z − z 0 ) m se multiply karna blow-up ko khatam karta hai aur f ko ek nice power
series mein convert karta hai; c − 1 jo hum chahte hain woh ab ( z − z 0 ) m − 1 ka coefficient hai, aur ek power series se woh
coefficient padhna exactly wahi hai jo ( m − 1 )! 1 d z m − 1 d m − 1 karta hai.
∮ ∣ z ∣ = 1 z 2 e z d z (0 par double pole)
Forecast: centre par order 2 ka pole. Guess karo e z ki kaun si power z 2 se divide karne ke baad z 1 term par land karti hai.
Order identify karo. Denominator mein z 2 → z 0 = 0 par m = 2 pole. Kyun? Determine karta hai kaunsa
formula chahiye (ek derivative chahiye, kyunki m − 1 = 1 ).
Order-2 residue formula apply karo. ( z − 0 ) 2 f = e z hai, isliye
Res 0 = 1 ! 1 d z d e z z = 0 = e 0 = 1 .
Residue theorem. ∮ = 2 π i ⋅ 1 = 2 π i .
Verify (Laurent view): z 2 e z = z 2 1 ( 1 + z + 2 z 2 + … ) = z 2 1 + z 1 + 2 1 + … . z 1 coefficient 1 hai — sirf woh term
loop survive karta hai (parent fact 1). ∮ = 2 π i . ✔
Common mistake "Residue waise hi le lo."
Kyun sahi lagta hai: machinery Cells C–E mein theek kaam karti thi. Catch yeh hai: residue theorem
poles ko strictly inside (ya strictly outside) chahiye — kabhi path par nahi. Agar ek spike tumhare
loop par baith gayi, toh integral ek ordinary contour integral ke roop mein defined nahi hota: walk
seedha infinity se guzarti hai.
Definition Principal value + indentation (self-contained repair)
Jab ek simple pole z 0 contour par ho, toh hum z 0 ke aas-paas radius ε ka ek tiny semicircular notch kaatte hain
(ek indentation ) aur ε → 0 lete hain. Straight parts
jo pole skip karte hain, symmetrically liye gaye, integral ka Cauchy principal value define karte hain.
Tiny semicircle contribute karta hai
∫ semicircle f d z ε → 0 ± π i Res z 0 f ,
jo ek poore loop ke 2 π i Res ka aadha hai. Exactly aadha kyun? Ek poora circle
2 π angle span karta hai; ek semicircle π angle span karta hai — aur deform-to-a-tiny-circle integral
i ∫ f ( z 0 + ε e i t ) d t over t ∈ [ α , α + π ] exactly aadha angular sweep pick karta hai, isliye aadha residue. Sign + hai agar notch counterclockwise traverse hota hai,
− agar clockwise.
∮ ∣ z ∣ = 1 z − 1 d z
Forecast: z = 1 par pole. Lekin ∣1∣ = 1 — yeh circle par hi hai. Predict karo: dikkat.
Inside/outside test fail karta hai. z = 1 na andar hai na bahar; woh γ par hi hai.
Yeh kyun matter karta hai? Deformation argument (parent fact 3) pole ke around clear space assume karta hai;
yahan koi space nahi hai.
Diagnose. t = 0 ke paas integrand e i t − 1 1 i t 1 jaisa behave karta hai, jiska
singularity par integral diverge karta hai. Isliye ordinary contour integral exist nahi karta .
Repair (upar diye indentation rule se): z = 1 ke aas-paas ek tiny semicircle notch karo. Woh
detour π i ⋅ Res z = 1 z − 1 1 = π i ⋅ 1 = π i contribute karta hai — ek poore loop ka aadha —
aur remaining principal-value arc analysis ka doosra aadha supply karta hai. Poori principal-value bookkeeping ke liye Residue theorem applications dekho.
Verify (kyun "no value"): compare karo z = 1 thoda andar moved se (∮ = 2 π i ) versus
thoda bahar (∮ = 0 ). Dono limits disagree karte hain (2 π i = 0 ), isliye on-contour case
mein genuinely koi single value nahi hai. ✔ Disagreement hi proof hai ki yeh degenerate hai — aur note karo ki
half-residue π i exactly 0 aur 2 π i ke beechon beech hai, jaisa indentation rule predict karta hai.
Figure s02 — semicircular (Jordan) contour. Real axis par mint segment woh integral hai jo hum actually chahte hain, [ − R , R ] ; radius R ka lavender arc loop ko upper half-plane ke through close karta hai. Coral stars un poles ko mark karte hain jo loop enclose karta hai (upper half); grey stars unhe mark karte hain jo bahar reh jaate hain (lower half). Do arrows walk dikhate hain: real axis ke saath daayein, phir arc ke saath counterclockwise wapas. Jaise R → ∞ arc ka contribution 0 tak shrink hota hai, real integral 2 π i times sirf coral residues ke barabar hota hai.
∫ − ∞ ∞ x 4 + 1 x 2 d x
Forecast: integrand positive hai aur 1/ x 2 ki tarah decay karta hai, isliye answer ek positive real
number hai. 2 ke paas ek value guess karo (spoiler: yeh 2 π ≈ 2.22 hai).
Contour choose karo. Real axis [ − R , R ] + upper semicircular arc z = R e i θ ,
θ : 0 → π . Loop ko γ R bolo. Upper kyun? Hume arc vanish hona chahiye taaki
closed loop limit mein real-line integral ke barabar ho.
Dikhao ki arc contribution → 0 (the key WHY). Arc par, ∣ z ∣ = R hai, isliye
z 4 + 1 ≥ R 4 − 1 aur ∣ z 2 ∣ = R 2 . Isliye integrand R 4 − 1 R 2 se bound hai. ML-estimate se (integral ≤ max-modulus M times arc-length
L ), L = π R ke saath,
=\frac{\pi R^3}{R^4-1}\xrightarrow{R\to\infty}0.$$
*Yeh bound kyun?* $R^3/R^4=1/R\to0$: denominator ki degree numerator ko do powers se beat karta hai
*plus* arc length ka extra $R$, isliye arc genuinely mar jaata hai. (Yeh Jordan's lemma ka elementary
version hai.)
Enclosed poles dhundho. z 4 + 1 = 0 ⇒ z = e iπ /4 , e i 3 π /4 , e i 5 π /4 , e i 7 π /4 .
Upper half-plane mein do hain z 1 = e iπ /4 aur z 2 = e i 3 π /4 . Sirf upper kyun?
Hamara loop sirf upar enclose karta hai; neeche ke do bahar hain.
p / q ′ se Residues. Upar p ( z ) = z 2 aur neeche q ( z ) = z 4 + 1 name karo, isliye q ′ ( z ) = 4 z 3
aur Res = 4 z 3 z 2 = 4 z 1 .
z 1 = e iπ /4 par: 4 1 e − iπ /4 .
z 2 = e i 3 π /4 par: 4 1 e − i 3 π /4 .
Sum karo, multiply karo, R → ∞ lo. Sum = 4 1 ( e − iπ /4 + e − i 3 π /4 ) = 4 1 ( 2 2 − i 2 2 − 2 2 − i 2 2 ) = 4 1 ( − i 2 ) = − 2 2 i .
Isliye ∮ γ R = 2 π i ⋅ ( − 2 2 i ) = 2 π . Jaise R → ∞
arc drop hota hai (Step 2), bacha rehta hai
∫ − ∞ ∞ x 4 + 1 x 2 d x = 2 π .
Verify: numerically 2 π ≈ 2.2214 , ek positive real — forecast aur
yeh fact match karta hai ki ek real function ke real integral ka answer real hona chahiye (i 's
cancel ho gaye, jaise hone chahiye). ✔
Worked example H1 — Ek signal-processing average:
2 π 1 ∫ 0 2 π 5 + 4 cos θ d θ
Forecast: yeh ek real trig integral hai, lekin 2 π aur cos θ chilla rahe hain "unit circle
disguise mein." Ek chhota sa positive number guess karo (yeh 5 + 4 c o s θ 1 ka average hai, jo
9 1 se 1 tak range karta hai).
z = e i θ substitute karo. Phir cos θ = 2 1 ( z + z 1 ) aur
d θ = i z d z , aur jaise θ : 0 → 2 π , z ek baar ∣ z ∣ = 1 counterclockwise trace karta hai.
Yeh step kyun? Trig integral ko ek contour integral mein convert karta hai jo hum
residues se attack kar sakte hain — yeh poora reason hai ki contour methods "real" problems ke liye matter karte hain.
Rewrite karo. 5 + 4 cos θ = 5 + 2 ( z + z 1 ) = z 2 z 2 + 5 z + 2 . Isliye
=\frac{1}{2\pi i}\oint_{|z|=1}\frac{dz}{2z^2+5z+2}.$$
Poles andar. 2 z 2 + 5 z + 2 = ( 2 z + 1 ) ( z + 2 ) = 0 ⇒ z = − 2 1 (andar) ya z = − 2 (bahar).
Check kyun? Sirf enclosed spikes count karte hain (Cell D logic).
z = − 2 1 par Residue. Upar p ( z ) = 1 aur neeche q ( z ) = 2 z 2 + 5 z + 2 name karo, isliye
q ′ ( z ) = 4 z + 5 ; z = − 2 1 par, q ′ = − 2 + 5 = 3 , isliye Res = 3 1 milta hai.
Assemble karo. 2 π i 1 ⋅ 2 π i ⋅ 3 1 = 3 1 .
Verify: 3 1 ≈ 0.333 9 1 ≈ 0.111 aur 1 ke beech hai — 5 + 4 c o s θ 1 ka ek legitimate
average. Units: dimensionless average, match karta hai. ✔
Definition Essential singularity
Kuch singularities kisi bhi pole se buri hoti hain: Laurent series mein infinitely many negative
powers of z − z 0 hote hain. Example: e 1/ z = 1 + z 1 + 2 ! z 2 1 + 3 ! z 3 1 + … .
Koi finite m nahi hai jo ( z − z 0 ) m f ko nice banaye, isliye Cell E ke pole-order formulas fail karte hain.
Lekin residue phir bhi sirf c − 1 hai — use seedha series se padho.
∮ ∣ z ∣ = 1 e 1/ z d z
Forecast: 0 par infinitely sharp spike. Tum p / q ′ ya derivative formula use nahi kar sakte .
Guess karo: answer phir bhi 2 π i × ( woh 1/ z coefficient ) hai.
Laurent series expand karo. e 1/ z = ∑ k ≥ 0 k ! z k 1 = 1 + z 1 + 2 ! z 2 1 + … . Series kyun? Koi pole order exist nahi karta, isliye ek hi handle
coefficient list khud hai (parent fact 1: sirf z 1 survive karta hai).
c − 1 padho. z 1 ka coefficient k = 1 term hai: 1 ! 1 = 1 . Isliye
Res 0 e 1/ z = 1 .
Residue theorem. ∮ = 2 π i ⋅ 1 = 2 π i .
Verify: term by term integrate karo. Har term k ! 1 z − k ek power z n hai jahan
n = − k ; parent fact 1 se sab 0 dete hain except n = − 1 (yaani k = 1 ), jo 2 π i ⋅ 1 deta hai.
Isliye ∮ = 2 π i . ✔ Infinitely many doosre terms 0 integrate karte hain — spike ki shape
irrelevant hai, sirf uska c − 1 matter karta hai.
Figure s03 — keyhole contour. z ya x s jaisi functions multivalued hoti hain: z = 0 ke around ek baar chalo aur value badal jaati hai (e.g. z sign flip karta hai). 0 par ek branch point ek branch cut force karta hai (positive real axis ke saath coral ray) jo contour cross karne ke liye forbidden hai. Lavender keyhole cut ke saath chipkti hai: ek bada circle bahar, wapas cut ke bilkul upar , 0 ke around ek tiny circle, aur wapas cut ke bilkul neeche . Cut ke "upar" aur "neeche" ke beech ka gap exactly wahi hai jo method kaam karta hai. Isliye tum naively ek branch point par residue drop nahi kar sakte — padne ke liye koi single-valued c − 1 nahi hai.
∫ 0 ∞ x + 1 x − 1/2 d x keyhole se
Forecast: x − 1/2 ka 0 par branch point hai; standard result π hai. 3 ke paas ek value guess karo.
Keyhole set up karo. f ( z ) = z + 1 z − 1/2 use karo positive real axis ke saath branch cut ke saath,
aur z − 1/2 = e − 2 1 l o g z define karo arg z ∈ [ 0 , 2 π ) ke saath. Keyhole kyun?
0 ke around ek plain loop illegal hai — value cut ke across jump karti hai; keyhole cut ke dono sides ke saath chalataa hai cut cross karne ki bajaay.
Do edges ek known factor se disagree karte hain. Cut ke upar (arg z = 0 ) integrand
x + 1 x − 1/2 hai. Cut ke neeche (arg z = 2 π ), z − 1/2 = e − 2 1 ( 2 π i ) x − 1/2 = e − iπ x − 1/2 = − x − 1/2 . Doosri taraf wapas chalna direction bhi flip karta hai, isliye do
straight edges add ho jaate hain ( 1 − e − iπ ) ∫ 0 ∞ x + 1 x − 1/2 d x = 2 ∫ 0 ∞ x + 1 x − 1/2 d x .
Yeh step kyun? Poora trick yeh hai ki multivaluedness usi integral ko ek nonzero difference mein badal deta hai jise hum solve kar sakte hain.
Enclosed pole z = − 1 par Residue. Hamare branch mein z = − 1 = e iπ hai, isliye
z − 1/2 = e − iπ /2 = − i ; simple pole z = − 1 par z + 1 z − 1/2 ka residue
z − 1/2 z = − 1 = − i hai. Chhote aur bade circles radii → 0 , ∞ hone par 0 contribute karte hain.
Assemble karo. 2 ∫ 0 ∞ x + 1 x − 1/2 d x = 2 π i ⋅ ( − i ) = 2 π hai, isliye
integral π hai.
Verify: x = u 2 substitute karo: ∫ 0 ∞ x + 1 x − 1/2 d x = ∫ 0 ∞ u 2 + 1 2 d u = 2 ⋅ 2 π = π . ✔ Keyhole answer se match karta hai — aur dikhata hai ki branch point ko apna
contour kyun chahiye residue drop ki bajaay.
Worked example H2 — Same integrand, reversed loop:
∮ ∣ z ∣ = 1 , clockwise z d z
Forecast: counterclockwise ne + 2 π i diya (parent fact 1 with n = − 1 ). Walk reverse karne par
sign flip hokar − 2 π i hona chahiye. Computing se pehle predict karo.
Parametrisation reverse karo. Clockwise matlab angle decrease karta hai, isliye z = e − i t lo,
t : 0 → 2 π . Phir z ′ ( t ) = − i e − i t . Kyun? Exponent ke derivative ka sign hi
"kis taraf" encode karta hai — − i flip carry karta hai.
Integrand assemble karo. z 1 z ′ = e − i t 1 ⋅ ( − i e − i t ) = − i .
Kyun? Same f ( z ( t )) z ′ ( t ) recipe; e − i t factors cancel ho jaate hain, ek constant chhodta hai.
t mein integrate karo. ∫ 0 2 π ( − i ) d t = − i ⋅ 2 π = − 2 π i .
Verify: yeh exactly counterclockwise value 2 π i ka − 1 times hai. ✔ Orientation ek
single global sign hai, kuch aur nahi. General rule (hamare convention se): counterclockwise + hai,
clockwise − hai; γ reverse karna integral ko − 1 se multiply karta hai. Har pehle example ne
+ convention assume kiya; ek clockwise chalaana sirf result negate karta hai.
Recall Kaun sa cell, aur pehla move kya hai?
∮ ∣ z ∣ = 1 z ˉ d z ::: Cell A (non-analytic) — brute parametrise karo, residues use nahi kar sakte.
∮ ∣ z ∣ = 1 sin z d z ::: Cell B (analytic, no pole) — Cauchy's theorem se 0 ke barabar hai.
∮ ∣ z ∣ = 1 z 3 e z d z ::: Cell E (order-3 pole) — do derivatives chahiye; answer 2 π i ⋅ 2 1 = π i .
z = 1 par pole ∣ z ∣ = 1 par hai ::: Cell F — integral undefined hai; principal value / indentation chahiye.
∮ ∣ z ∣ = 1 e 1/ z d z ::: Cell I (essential singularity) — series se c − 1 = 1 padho; answer 2 π i .
∫ 0 ∞ x + 1 x − 1/2 d x ::: Cell J (branch point) — keyhole contour, plain loop nahi.
Loop clockwise reverse karo ::: Poore integral ko − 1 se multiply karo.
I·S·R·M — I nside? (har pole test karo) · S ign (CCW + hai) · R esidue (simple p / q ′ ,
order-m derivative, essential/branch → series ya keyhole) · M ultiply by 2 π i .
Analytic functions — Cell A vs B: analyticity decide karta hai ki paths matter karte hain ya nahi.
Cauchy–Riemann equations — "kya yeh andar analytic hai?" ke peeche ka test.
Laurent series — c − 1 se residues padhna (Cells E, I, aur sab kuch ka origin).
Green's theorem — woh engine jo Cell B ka answer 0 banata hai.
Residue theorem applications — Cells G, H, J aur Cell F ka principal-value repair.
Cauchy theorem gives zero
Test each pole inside or outside
Simple pole use p over q prime
Order m pole use derivative rule
Essential or branch use series or keyhole
Pole on contour is degenerate
Multiply by two pi i times sum of residues