Shuru karne se pehle, ek picture poore page ka saara mental model fix kar deti hai.
Yahan 2πi bas number 2π≈6.283 hai jo i=−1 se multiply hua hai; yeh hamesha appear karta hai kyunki ek circle ke around counterclockwise ek full trip 2π radians ka angle sweep karti hai.
Goal: teen outcomes mein se kaunsa apply hota hai yeh pehchano. Koi heavy computation nahi.
Recall Solution 1.1
Integrand KYA hai? Ek polynomial. YEH kyun settle karta hai? Ek polynomial har point pe holomorphic (complex-differentiable) hota hai — yeh kabhi kisi cheez se divide nahi karta, isliye koi bhi bad point kahin nahi hai, khas taur pe ∣z∣=1 ke andar bhi nahi, aur circle pe bhi nahi. Enclosed disk simply connected hai. Yeh exactly Outcome 1 hai.
∮∣z∣=1(3z4−5z+7)dz=0.
Recall Solution 1.2
Bad point KYA hai? Denominator z zero hai z=0 pe, aur 0 circle ka center hai — definitely andar (path pe nahi). Toh yeh Outcome 1 nahi hai.
Outcome 2 kyun? Pattern z−af(z) match karo jahan a=0 aur f(z)=1 (constant function, har jagah holomorphic). Cauchy's Integral Formula deta hai
∮∣z∣=1z1dz=2πif(0)=2πi⋅1=2πi.
Is classic ka point: ek single hole answer ko nonzero bana deta hai.
Recall Solution 1.3
Bad point KYA hai?z=3. Yeh KAHAN hai? Origin se iska distance 3 hai, lekin loop sirf distance 1 tak pahunchta hai. Toh bad point loop ke bahar hai (aur uske upar bhi nahi).
Yeh zero kyun hota hai:∣z∣=1 ke andar aur uske upar integrand z−31 bilkul holomorphic hai (wahan kuch blow up nahi hota), aur enclosed disk simply connected hai. Outcome 1.
∮∣z∣=1z−31dz=0.
Goal: sahi formula mein plug karo aur f(a) evaluate karo.
Recall Solution 2.1
Bad point:z=1, origin se distance 1, jo <2 hai → ∣z∣=2 ke andar (path pe nahi).
Outcome 2.
Pattern match karo:z−af(z) jahan a=1, f(z)=ez (har jagah holomorphic).
∮∣z∣=2z−1ezdz=2πif(1)=2πie1=2πie.
Numerically 2πe≈17.08, toh value lagbhag 17.08i hai.
Recall Solution 2.2
Bad point:z=0, andar. Pattern:a=0, f(z)=sinz.
∮∣z∣=1zsinzdz=2πisin(0)=2πi⋅0=0.Hole hone ke bawajood zero kyun? Formula 2πif(a) return karta hai; yahan f(0)=sin0=0.
Hole real hai, lekin numerator wahan vanish ho jaata hai, isliye answer 0 ho jaata hai.
(Geometrically: sinz/z ka actually ek removable singularity hai — ise 0 pe 1 redefine kiya ja sakta hai aur yeh fully holomorphic ban jaata hai.)
Recall Solution 2.3
Bad point:z=2i. Origin se iska distance ∣2i∣=2<3 hai → andar (path pe nahi).
Outcome 2. Pattern:a=2i, f(z)=z2+1.
f(2i)=(2i)2+1=4i2+1=−4+1=−3.∮∣z∣=3z−2iz2+1dz=2πi(−3)=−6πi.
Goal: ek loop ke andar do ya zyada poles — kaam ko split karo.
Recall Solution 4.1
Poles kahan hain?z=1 aur z=2; distances 1 aur 2, dono <3 → dono andar
(koi path pe nahi). Split (partial fractions): hum chahte hain
(z−1)(z−2)1=z−1A+z−2B. Denominators clear karo,
1=A(z−2)+B(z−1). z=1 set karo (B term khatam): 1=A(−1)⇒A=−1.
z=2 set karo (A term khatam): 1=B(1)⇒B=1. Toh integrand hai
z−1−1+z−21.
Har ek pe formula apply karo (har ek z−aconst form mein hai, yaani f= woh constant):
∮z−1−1=2πi(−1)=−2πi,∮z−21=2πi(1)=2πi.Add karo:−2πi+2πi=0.Sanity comment: do residues cancel ho gaye — yeh genuine feature hai, galti nahi.
Recall Solution 4.2
Recheck karo ki kaunse poles andar hain: loop ki radius 23=1.5 hai. Pole z=1: distance
1<1.5 → andar. Pole z=2: distance 2>1.5 → bahar. (Koi path pe nahi hai.)
Sirf andar wala pole contribute karta hai. Wahi split z−1−1+z−21 use karo:
z−21 term is chhoti loop ke andar holomorphic hai, isliye iska integral 0 hai
(Cauchy's Theorem). Sirf z−1−1 term bachta hai:
∮∣z∣=3/2=2πi(−1)+0=−2πi.Lesson: radius badlane se answer badal jaata hai, kyunki yeh badalta hai ki kaunse poles enclosed hain.
Recall Solution 4.3
Poles:z=0 aur z=1, distances 0 aur 1, dono <2 → dono andar.
z(z−1)1 part split karo (wahi root-plugging trick): z(z−1)1=zA+z−1B deta hai
1=A(z−1)+Bz. z=0 set karo (B khatam): A=−1; z=1 set karo (A khatam): B=1. Toh
z(z−1)ez=ez(z−1+z−11)=z−ez+z−1ez.Formula apply karo (ab f(z)=ez har ek pe):∮z−ez=2πi(−e0)=−2πi,∮z−1ez=2πie1=2πie.Add karo:−2πi+2πie=2πi(e−1).
Goal: Cauchy machinery ko ek downstream consequence ke saath combine karo (bounds, uniqueness, real integrals).
Recall Solution 5.1
Pehle, prefactor ka modulus. Humhe 2πi1 chahiye. Yaad karo
∣i∣=1 (number i unit circle pe hai, origin se 1 distance pe), aur quotient ka modulus moduli ka quotient hai, toh 2πi1=2π∣i∣1=2π1.
i size mein kuch contribute nahi karta — yeh sirf rotate karta hai.
Tool — ML inequality: kisi bhi contour ke liye, ∮gdz≤(length)⋅(max∣g∣).
Yeh tool kyun? Hum integral exactly compute nahi kar sakte (unknown f), lekin hum ise bound kar sakte hain.
∣z∣=R pe a=0 ke saath: length =2πR, aur
z2f(z)=∣z∣2∣f(z)∣≤R2M.
Toh
∣f′(0)∣=2π1∮z2f(z)dz≤2π1⋅2πR⋅R2M=RM.Payoff: yeh exactly woh estimate hai jo Liouville's theorem ke peeche hai — ek bounded entire function (M fixed while R→∞) ke liye f′(0)=0 hota hai, aur isliye woh constant hai.
Recall Solution 5.2
Parametrisation set up karo:∣z∣=1 pe counterclockwise trace karte hue, z=eiθ jahan
θincreasing0 se 2π tak hai; phir dz=ieiθdθ aur
z−a=eiθ−0=eiθ. f≡1 ke saath,
∮∣z∣=1z1dz=∫02πeiθ1ieiθdθ=i∫02πdθ.Lekin hum yeh bhi jaante hain ki yeh integral 2πif(0)=2πi ke barabar hai (Exercise 1.2). Equate karo:
i∫02πdθ=2πi⇒∫02πdθ=2π.Matlab: Cauchy's formula mein mysterious 2πi literally trip ka angle 2π hai, i ke saath dressed jo dz se aata hai. (Agar hum θ doosri taraf 2π→0 chalate, toh hume −2πi milta — isliye direction fix ki jaati hai.)
Recall Solution 5.3
Formula se shuru karo circle ∣z−a∣=r pe: z=a+reiθ parametrise karo jahan
θ increasing 0→2π hai (counterclockwise), toh z−a=reiθ aur
dz=ireiθdθ.
f(a)=2πi1∮z−af(z)dz=2πi1∫02πreiθf(a+reiθ)ireiθdθ.Cancel karoreiθ aur i ko 2πi1 ke saath:
f(a)=2π1∫02πf(a+reiθ)dθ.Matlab: center pe value kisi bhi circle ke around values ka average hai.
Yeh Maximum modulus principle ka seed hai — ek interior point kabhi boundary se exceed nahi kar sakta, kyunki woh boundary values ka average hai.
Recall Poore page ka one-line summary
Har bad point locate karo ::: check karo ki kaunse (counterclockwise) loop ke andar hain aur koi uske upar na ho; koi pole nahi → 0; simple pole → 2πif(a); order-(n+1) pole → n!2πif(n)(a); kai poles → split karo (repeated factors ke liye ek term har power ke liye) aur add karo.