Shuru karne se pehle, ek chhota sa toolkit jo hum har jagah reuse karte hain.
Neeche di gayi picture dikhati hai ki singularities z=1 aur z=2 wale function ke liye har annular ring mein kis direction mein expand karna hai. Hum isko L3–L5 mein refer karte hain.
Goal: series se seedha structure padh lo. Koi bhari computation nahi.
Recall Solution L1.1
(a) Principal part sirf negative-power terms ka sum hai:
z23−z5.(b) Sabse negative power z−2 hai aur uska coefficient 3=0 hai, isliye principal part (z−0)−2 par ruk jaata hai → pole of order 2.
(c) Residue =c−1= coefficient of z1=−5.
Recall Solution L1.2
(i) Infinitely many negative powers → essential singularity.
(ii) Koi bhi negative power nahi → principal part zero hai → removable singularity (function wahan secretly analytic hai).
Goal: Laurent series banane ke liye jaani-pehchani Taylor series ko divide karo.
Recall Solution L2.1
Us Taylor series se shuru karo jis par hum already bharosa karte hain (Taylor series):
sinz=z−3!z3+5!z5−⋯Ye step kyun? Numerator analytic hai — z3 se divide karna bas har power ko 3 neeche shift kar deta hai, aur theek isi se negative powers aati hain.
z3sinz=z21−3!1+5!z2−⋯
Principal part: z21 (the z−1 term absent hai — uska coefficient 0 hai).
Sabse negative power z−2 hai coefficient 1=0 ke saath → pole of order 2.
Residue =c−1=0.
0<∣z∣<∞ mein valid.
Recall Solution L2.2
ez=1+z+2z2+6z3+⋯zez=z1+1+2z+6z2+⋯
Pehle chaar terms: z1+1+2z+6z2.
Residue =c−1=1. Pole of order 1 (a simple pole).
Goal: sahi annulus chuno aur geometric series ko sahi taraf expand karo.
Recall Solution L3.1
(a) ∣z∣<3 — yahan ∣z∣chhota hai, isliye badi quantity factor out karo, jo 3 hai:
z−31=3−1⋅1−z/31=−31∑n=0∞3nzn=−∑n=0∞3n+1zn.
Valid kyunki ∣z/3∣<1. Koi principal part nahi (3 par singularity is disk ke bahar hai), isliye yeh ek plain Taylor series hai. 0 par residue 0 hai (koi z−1 nahi).
(b) ∣z∣>3 — ab ∣z∣bada hai, isliye z factor out karo (badi quantity):
z−31=z1⋅1−3/z1=z1∑n=0∞zn3n=∑n=0∞zn+13n.
Valid kyunki ∣3/z∣<1. Saari negative powers. Residue =c−1=30=1.
(Upar figure mein "large z" arrow dekho — bada ∣z∣ hamesha tumhe 1/z ki taraf dhakelta hai.)
Ring 1<∣z∣<3 mein: 1 par singularity andar hai, 3 wali bahar hai.
z−11: kyunki ∣z∣>1, z factor out karo → negative powers:
z−11=z1∑n≥0zn1=∑n≥0zn+11.
z−31: kyunki ∣z∣<3, 3 factor out karo → positive powers:
z−31=−∑n≥03n+1zn.±21 ke saath combine karo:
f(z)=−21∑n≥0zn+11−21∑n≥03n+1zn.0 par Residue = z−1 ka coefficient = −21 (pehle sum ke n=0 se) =−21.
Goal: multi-piece expansions assemble karo aur regions mein classify karo.
Recall Solution L4.1
Dono singularities ab andar hain, isliye dono pieces 1/z mein jaate hain.
z−11=∑n≥0zn+11,z−31=z1∑n≥0zn3n=∑n≥0zn+13n.
Coefficients −21 aur +21 ke saath:
f(z)=21∑n≥0zn+13n−1.
Saari negative powers. 0 par Residue = z−1 ka coefficient = 21(30−1)=21(1−1)=0.
Sanity note:f ki 0 par koi singularity nahi hai, isliye "residue at 0" ka 0 hona consistent hai — outer-region expansion phir bhi z−1 term list karta hai, lekin uska coefficient 0 ho jaata hai.
Recall Solution L4.2
Use karo e1/z=∑n≥0n!zn1=1+z1+2!z21+3!z31+⋯
Har term ko z2 se multiply karo (powers upar2 shift ho jaate hain):
z2e1/z=z2+z+2!1+3!z1+4!z21+⋯
Phir bhi infinitely many negative powers hain → essential singularity (z2 se multiply karna ek infinite tail ko khatam nahi kar sakta).
Residue =c−1=3!1=61.
Goal: reverse-engineer karo, tools combine karo, aur residue theorem se connect karo.
Recall Solution L5.1
∣z∣<1 mein z−11=−1−z1=−∑n≥0zn=−(1+z+z2+⋯) expand karo.
Phir
z2(z−1)1=z21(−(1+z+z2+⋯))=−z21−z1−1−z−⋯
Sabse negative power z−2, coefficient −1=0 → pole of order 2.
Residue =c−1=−1.
Residue theorem se, loop ∣z∣=21 ke saath jo sirf 0 par singularity enclose karta hai (1 par wali bahar hai):
∮∣z∣=1/2fdz=2πi(c−1)=2πi(−1)=−2πi.
Isliye residues contour integration run karte hain: sirf z−1 term loop integral mein survive karta hai (parent se "k=−1 gives 2πi" wala fact).
Recall Solution L5.2
Residue theorem kehta hai closed loop integral =2πi× (sum of residues enclosed).
∣z∣=3z=2 ko enclose karta hai (kyunki ∣2∣=2<3). Sirf wahi pole contribute karta hai:
∮∣z∣=3gdz=2πi(4)=8πi.
∣z∣=1.5z=2 ko enclose nahi karta (kyunki 2>1.5), aur g andar baaki jagah analytic hai:
∮∣z∣=1.5gdz=2πi(0)=0.Kyun hum g jaane bina answer de sakte hain: loop integral sirf uske andar wali singularities ki parwah karta hai (pole structure aur k=−1 survival fact ka consequence).
Recall Solution L5.3
Principal part mein −z21 hai, jiska exponent −2 non-zero coefficient ke saath hai. Isliye pole order 2 hai, 1 nahi — claim inconsistent hai. Sahi classification hai pole of order 2. Residue z−1 ka coefficient hai, jo 2 hai.
Laurent series ka kaun sa term pole order decide karta hai? ::: Sabse negative power jiska non-zero coefficient ho.
Kaun sa term residue decide karta hai? ::: (z−a)−1 ka coefficient c−1.
∣z∣>3 mein, kya tum z−31 ko z ki powers mein expand karoge ya 1/z ki powers mein? ::: 1/z ki powers mein (z factor out karo, kyunki ∣3/z∣<1).
Kya z2 se multiply karna essential singularity ko pole mein badal deta hai? ::: Nahi — infinite negative tail kisi bhi finite power shift mein survive kar leti hai.
∮∣z∣=1/2z2(z−1)dz? ::: −2πi (residue at 0 is −1).