Worked examples — Cauchy's integral theorem and formula
4.10.3 · D3· Maths › Advanced Topics (Elite Level) › Cauchy's integral theorem and formula
Do tools hi poora toolbox hain. Maano ek closed loop hai, ek function hai, ek point hai.
Jo reader "holomorphic" ya "" ka matlab bhool gaya ho, woh pehle parent ka §1 dobara padhe.
Scenario matrix
Har contour integral jo tum dekhoge woh in cells mein se exactly ek mein aata hai. Har row ek cheez hai jo galat ya special ho sakti hai. Neeche ke examples cell ke hisaab se label kiye gaye hain.
| Cell | Description | Kaun sa weapon | Example |
|---|---|---|---|
| A | ke andar koi pole nahi | Theorem | Ex 1 |
| B | Andar ek simple pole () | Formula, | Ex 2 |
| C | Higher-order pole () | Formula, | Ex 3 |
| D | Pole ke bahar (degenerate: kuch enclosed nahi) | Theorem | Ex 4 |
| E | Andar do poles → partial fractions se split karo | Formula do baar | Ex 5 |
| F | Pole contour par (illegal input) | Dono nahi — principal value | Ex 6 |
| G | Limiting case: radius pole ko swallow/exclude karna | A vs B ki boundary | Ex 7 |
| H | Real-world word problem (physics/AC circuit flavour) | Formula disguise mein | Ex 8 |
| I | Exam twist: same integral, do contours, alag answers | A vs B side by side | Ex 9 |
| J | Contour reversed (clockwise) | Sign flip | Ex 10 |
| K | Non-pole singularities: branch points aur essential singularities | In do weapons se bahar | Ex 11 |
Ek convention jo har jagah use hogi: ka matlab hai origin par centered radius ka circle, counter-clockwise traverse kiya gaya (positive direction). Figure dekho — counter-clockwise woh arrow direction hai jo enclosed disk ko tumhari left mein rakhta hai.

Example 1 — Cell A: andar kuch nahi, toh zero
Steps.
- ki singularities identify karo. Yeh step kyun? Theorem tabhi fire karta hai jab poore enclosed disk par holomorphic ho. Ek polynomial ke har point par differentiable hota hai — koi denominator nahi, divide karne ke liye koi root nahi — isliye kahi bhi koi singularity nahi hai.
- Unme se saari (yani koi nahi) andar hain... kahin nahi, matlab koi ke andar nahi. Cell A confirm. Yeh step kyun? Hume confirm karna hai ki "no holes" condition hold karti hai; yahan yeh trivially hold karti hai.
- Theorem apply karo:
Example 2 — Cell B: ek simple pole, use karo
Steps.
- Shape se match karo: yahan aur hai (toh ). Yeh step kyun? Formula ko denominator exactly ki tarah likhna chahta hai taaki hum padh sakein.
- Kya , ke andar hai? Haan, kyunki . Aur har jagah holomorphic hai. Cell B confirm. Yeh step kyun? Agar bahar hota toh hum Cell D mein hote aur answer hota.
- Apply karo
Example 3 — Cell C: higher-order pole ke liye derivative chahiye
Steps.
- Likho . Toh , jisme aur hai. Yeh step kyun? Generalized formula pole ka order exponent se padhta hai; ko power se match karna bataata hai kitni derivatives leni hain.
- Confirm karo ki , ke andar hai (haan) aur holomorphic hai (haan). Cell C confirm.
- nikalo. ki har derivative se multiply ho jaati hai: , , . Toh . Yeh step kyun? Formula ko chahiye, bas yahi.
- Apply karo
Example 4 — Cell D: pole bahar hai → theorem phir bhi rule karta hai, answer zero hai
Steps.
- Integrand ki singularity: par denominator zero. Yeh step kyun? Pole locate karna zaroori hai pehle yeh decide karne se ki kaun sa weapon fire karega.
- Kya , ke andar hai? Nahi — . Toh loop ke andar, poora integrand holomorphic hai (wahan kahin denominator zero nahi hota). Cell D confirm. Yeh step kyun? Yeh Ex 2 se crucial contrast hai: same shape ka integrand, lekin pole excluded hai, toh woh loop ko dikh hi nahi raha.
- Theorem apply karo (formula nahi):
Example 5 — Cell E: andar do poles hain → unhe alag karo
Steps.
- Factor karo aur split karo: Yeh step kyun? Formula ek baar mein ek enclosed pole handle karta hai. Partial fractions ek two-pole integrand ko do Cell-B integrals mein badal dete hain jo hum pehle se solve karna jaante hain. Yeh confirm karne ke liye ki split sahi hai, dono pieces ko common denominator par laao: , jo exactly wahi hai jahan se humne shuru kiya tha — toh split valid hai.
- Dono aur , ke andar hain. Cell E confirm. Yeh step kyun? Sirf enclosed poles contribute karte hain; hum verify karte hain ki dono is bade circle se capture ho rahe hain unhe sum karne se pehle.
- Har piece integrate karo constant , ke saath: Yeh step kyun? Har ek exactly Cauchy's formula hai jisme pole par evaluate hota hai.
- Split ka minus sign lekar combine karo: Yeh step kyun? Contour integral linear hai: ek sum (ya difference) ke pieces ka integral, unke integrals ka sum (ya difference) hota hai, . Toh do partial fractions ke beech ka algebraic minus sign seedha do contour integrals ke beech minus sign ban jaata hai. Hum kuch nayi cheez derive nahi kar rahe — bas yeh use kar rahe hain ki integration aur par distribute hota hai.
Example 6 — Cell F: contour par baitha hua pole (degenerate/illegal)
Shuru karne se pehle ek honest warning. Jab trouble-spot path par hi hota hai, toh integral ki ek single value nahi hoti; alag-alag sensible tarike alag-alag answers dete hain. Standard repair hai principal value: contour se angular half-width ka ek tiny symmetric arc kaato, exactly pole ke center mein, baaki par integrate karo, phir karo. "Symmetric" ka matlab hai ki pole ke dono taraf se equal angle remove karo, taaki dono sides ke blow-ups ko cancel hone ka fair chance mile. Step 3 ke liye woh picture dhyan mein rakho.
Steps.
- Pole locate karo: . Kya woh ke andar, bahar, ya par hai? Exactly par, kyunki . Yeh step kyun? Formula ki hypothesis " inside " ab violate ho rahi hai, aur theorem ki hypothesis " holomorphic on the contour" bhi violate ho rahi hai.
- Koi bhi weapon legally apply nahi hota. Jaise likha hai, integrand path par unbounded hai aur integral ordinary contour integral ki tarah converge nahi karta. Yeh step kyun? Hum blindly kisi bhi formula mein nahi daalen — woh fake number dega.
- Symmetric detour: removed arc ki jagah ek tiny semicircle of radius lagao jo pole ke around bulge kare. Ek simple pole ke around full small circle contribute karta hai (yeh miniature mein Ex 2 hai); half circle — exactly radians of arc — isliye aadha contribute karta hai, . Kyunki principal-value cut symmetric hai, detour exactly yahi half-circle hai, toh principal value hai. Agar tum semicircle iss tarah push karo ki pole strictly bahar aaye, toh tum koi bhi residue retain nahi karte aur milta hai; agar pole strictly andar aaye, toh tum poora residue retain karte ho aur milta hai. Yeh step kyun? Yeh mechanism explicit karta hai: answer literally woh fraction hai jo tum pole ke around swing karte ho, aur radians mein se exactly aadha hai — isliye aata hai.
Example 7 — Cell G: limiting knife-edge (radius pole ko cross karta hai)
Steps.
- par pole. Radius se compare karo. Yeh step kyun? Pole enclosed hai ya nahi — yeh akela cheez hai jo vary karne se badalti hai.
- Case (pole bahar): Cell D → Theorem → Kyun? ke radius ke poore disk par integrand holomorphic hai.
- Case (pole andar): Cell B with , → Kyun? Ab pole enclosed hai aur formula fire karta hai.
- Case : Cell F — pole contour par hai, integral undefined (Ex 6 dekho).

Example 8 — Cell H: word problem (AC-circuit / averaging flavour)
Steps.
- Mean-value property pehchano. ke saath par Cauchy's formula se shuru karo: Yeh step kyun? "Ring ke around average" Cauchy's formula disguise mein hai; hum diye gaye angular average ko contour integral mein convert karte hain.
- Parametrize karo , , toh : Yeh step kyun? Yeh dikhata hai ki designer ka exactly hai — holomorphic functions ke liye mean-value property.
- Centre evaluate karo: Yeh step kyun? Poora ring average ek single number mein collapse ho jaata hai, centre par .
- Toh
Example 9 — Cell I: exam twist, ek integrand, do contours
Steps.
- Denominator factor karo: ; poles aur par. Yeh step kyun? Pole locations jaanna poora game hai jab contours alag hoon; har circle in do points ka ek alag subset enclose karega.
- Contour (a) — par centered radius ka circle. Center se pole tak ki doori hai, toh andar hai; tak ki doori hai, toh bahar hai. Yeh Cell B hai: exactly ek enclosed simple pole. Yeh step kyun? Hume confirm karna hai ki one-pole formula apply karne se pehle exactly kaun sa ek pole grab hua hai; doosra pole safely bahar hona chahiye ya method change ho jaata hai.
- Door wale factor ko mein fold karo. Integrand likho ke roop mein jisme hai, toh . Yeh step kyun? Cauchy's formula enclosed pole ko bare ke roop mein isolated chahta hai; bahar waale pole ka factor kabhi ke andar zero nahi hota, isliye woh wahan holomorphic hai aur legally ka part ban sakta hai.
- Formula apply karo: Yeh step kyun? holomorphic hone ke saath par aur andar aur par ek simple pole ke saath, formula seedha value deta hai.
- Contour (b) — origin ke baare mein radius- circle. Har pole se doori hai, toh koi bhi pole enclosed nahi hai. Yeh Cell A hai. Yeh step kyun? Agar koi singularity enclosed nahi hai, toh integrand poore disk par holomorphic hai aur theorem — formula nahi — apply hota hai.
- Theorem apply karo: Yeh step kyun? Koi enclosed pole nahi ⇒ holomorphic function ka loop integral ⇒ zero, chahe integrand kitna bhi complicated lage.
Example 10 — Cell J: same loop ulta chala (orientation)
Steps.
- Clockwise loop ko naam do, jahan usual counter-clockwise unit circle hai. Yeh step kyun? Hum sirf counter-clockwise loops evaluate karna jaante hain; clockwise wale ko counter-clockwise ke terms mein express karna hoga.
- Reversal rule apply karo . Yeh step kyun? Direction reverse karne se har step negate hota hai, isliye poora sum negate ho jaata hai — yeh wahi sign law hai jo orientation definition mein bataya gaya tha, koi nai machinery nahi chahiye.
- Known value substitute karo:
Example 11 — Cell K: jab singularity pole nahi hai
Hamare do weapons assume karte hain ki akele bad points poles hain — woh spots jahan kisi finite whole number ke liye jaisa blow up kare. Contour calculus mein do aur creatures rehte hain, aur yeh jaanna zaroori hai ki woh Cauchy's formula ki reach se bahar hain jaise bataya gaya hai.
Steps.
- (a) Branch point. ka par branch point hai: origin ke around ek baar jaane par ho jaata hai, toh yeh punctured disk par single-valued holomorphic function nahi hai. Cauchy's formula require karta hai ek single-valued holomorphic ; woh hypothesis fail ho jaati hai. Yeh step kyun? Formula ka pehla word "holomorphic" hai — aur holomorphic mein single-valued shamil hai. Ek multivalued expression ko pehle branch cut (ek curve jise contour cross karna forbidden hai) se tame karna padta hai, jo problem hi badal deta hai. Toh hum yahan "" likhne ke haqdar nahi hain.
- (b) Essential singularity — Laurent series use karo. expand karo. Yeh step kyun? par ka loop integral har integer ke liye hota hai aur ke liye ke barabar hota hai (yahi fact hai). Toh akela term jo survive karta hai woh ka coefficient hai.
- ka coefficient padho ( term): yeh hai. Yeh step kyun? Yeh coefficient residue kehlata hai; poora integral times iske barabar hota hai.
- Isliye
Master checklist (har contour integral par yeh run karo)
Recall Quick self-test
::: , , , toh . ::: pole par bahar hai; theorem ⇒ . ::: pole ab andar hai; . clockwise chala ::: (orientation reverse karne se sign flip hota hai).
Related deeper tools: ek saath bahut saare poles enclose karna Residue theorem hai; Ex 8 mein mean-value idea Maximum modulus principle aur Liouville's theorem tak jaata hai; pole ya essential singularity ke paas integrand expand karna Laurent series use karta hai; derivation khud Cauchy-Riemann equations aur Green's theorem par tiki hai.