Complex integration — contour integrals: Visual walkthrough

4.10.2 · D2 · Maths › Advanced Topics (Elite Level) › Complex integration — contour integrals

Step 0 — Hum integrate kar kya rahe hain?

Kyunki $z$ ek 2D sheet par ek point hai, "thoda sa move karna" — jo cheez hum $d z$ likhte hain — ek tiny arrow hai jis mein direction hai, sirf ek length nahi. Yahi ek fact hai jis wajah se complex integration real line se alag hai, jahan $d x$ sirf left ya right point kar sakta hai.

Figure — Complex integration — contour integrals

Tasveer mein: burnt-orange path hamara contour $γ$ hai. Har point par ek chhota teal arrow $d z$ dikhata hai ki hum kis taraf step le rahe hain. Curve ke along $f (z)$ ko add karne ke liye, hume curve ko order mein walk karne ka tarika chahiye — woh hai neeche di gayi parametrisation.

Step 1 — Walk ko ek clock mein badalna: Parametrisation

YEH KYUN KAAM KARTA HAI: left side ek mysterious 2D sum hai; right side ek ordinary real integral hai single real variable $t$ mein. Humne ek sheet par walk ko ek clock reading mein convert kar diya hai.

Teal velocity arrow $z^{'} (t)$ dekho: yeh curve ka tangent hai aur iska length walking speed hai. Collected value $f (z (t))$ ko is arrow se multiply karna hi woh cheez hai jo sum ko direction track karwaata hai. Dekho Analytic functions us class of $f$ ke liye jahan answer path ki parwah karna band kar deta hai.

Step 2 — Seed experiment: ek baar ghoom ke $1/ z$ collect karo

Sabse simple interesting loop lo: unit circle, $z (t) = e^{i t}$ , $t \in [0, 2 π]$ , counterclockwise. Yahan $e^{i t} = cos t + i sin t$ exactly "angle $t$ par circle ka point" hai.

Iska velocity: $z^{'} (t) = i e^{i t}$ . Factor $i$ position arrow ko $9 0^{\circ}$ rotate karta hai — jo exactly woh direction hai jis taraf tumhe face karna hoga around circle move karne ke liye. Yeh geometry hai, algebra nahi.

$\oint_{∣ z ∣ = 1} \frac{d z}{z} = \int_{0}^{2 π} f (z) = 1/ z \frac{1}{e ^{i t}} z^{'} (t) i e^{i t} d t = \int_{0}^{2 π} i d t = 2 π i .$

$\frac{1}{e ^{i t}}$ — har point par jo value hum collect karte hain.
$i e^{i t}$ — step direction; $e^{i t}$ cancel kar deta hai $1/ e^{i t}$ ko.
$\int_{0}^{2 π} i d t = 2 π i$ — ek poora lap ek clean $2 π i$ deta hai.

YEH ZERO KYUN NAHI HAI: answer $2 π i \neq = 0$ residue theory ka poora source hai. Notice karo $2 π$ exactly woh total angle hai jo sweep hua — ek baar ghoomne par. $i$ ise pure rotation mark karta hai.

Plum arrow accumulated value track karta hai: yeh wind hota hai aur ek lap ke baad $2 π i$ par land karta hai.

Step 3 — Baaki sabhi powers khatam ho jaati hain: $z^{n}$ jab $n \neq = - 1$

Same circle, ab $z^{n}$ collect karo:

$\oint_{∣ z ∣ = 1} z^{n} d z = \int_{0}^{2 π} z^{n} e^{in t} z^{'} i e^{i t} d t = i \int_{0}^{2 π} e^{i (n + 1) t} d t .$

$e^{in t} = (e^{i t})^{n} = z^{n}$ circle par.
$e^{i (n + 1) t}$ — ek point jo whole-number speed $n + 1$ par spin karta hai.

YEH KYUN VANISH HOTA HAI: kisi bhi integer $n \neq = - 1$ ke liye, exponent $n + 1$ ek nonzero whole number hai, toh $e^{i (n + 1) t}$ , $t$ ke $0 \to 2 π$ jaane par $∣ n + 1∣$ complete loops banata hai. Ek vector jo puri circles ke whole number pherta hai, average hokar kuch nahi deta — uska integral $0$ hai. Sirf $n = - 1$ exponent ko $0$ banata hai, toh arrow khada rehta hai aur bas accumulate karta rehta hai.

$\oint_{∣ z ∣ = 1} z^{n} d z = {2 π i, 0, n = - 1 n \in Z, n \neq = - 1$

Left panel ( $n \neq = - 1$ ): arrow origin par wapas close ho jaata hai — net zero. Right panel ( $n = - 1$ ): yeh kabhI close nahi hota, $2 π i$ tak spiral karta hai. Yahi Laurent series residues ka poora content hai: sirf $c_{- 1} / z$ term ek loop se survive karta hai.

Step 4 — Andar smooth hai ⇒ loop zero deta hai (Cauchy)

Ab $f$ ko uske real aur imaginary parts mein tod lo, $f = u + i v$ , with $z = x + i y$ aur $d z = d x + i d y$ :

$\oint_{γ} f d z = \oint_{γ} (u d x - v d y) + i \oint_{γ} (v d x + u d y) .$

Har piece ek loop ke around ek real line integral hai, toh Green's theorem har loop ko us region $D$ ke upar ek area integral mein badal deta hai jo loop enclose karta hai:

+i\iint_D\!\Big(\tfrac{\partial u}{\partial x}-\tfrac{\partial v}{\partial y}\Big)dA.$$ - $\tfrac{\partial u}{\partial x}$ etc. — har part kitni tezi se change hota hai jab tum har direction mein thoda sa nudge karo. - Do brackets woh do "swirl" densities hain jo Green's theorem poore disc $D$ ke upar measure karta hai. **ANALYTIC $f$ KE LIYE DONO KYUN VANISH HOTE HAIN:** ek [[Analytic functions|analytic]] function [[Cauchy–Riemann equations]] $u_x = v_y$ aur $u_y = -v_x$ obey karta hai. Substitute karo: $-v_x - u_y = -v_x - (-v_x) = 0$ aur $u_x - v_y = u_x - u_x = 0$. Dono integrands **har interior point par exactly zero hain** — kahin koi swirl nahi — toh poora loop integral $0$ ho jaata hai. > [!formula] Cauchy's Integral Theorem > Agar $f$ ek closed contour $\gamma$ par aur uske andar analytic hai, toh $\displaystyle\oint_\gamma f\,dz = 0$. ![[deepdives/dd-maths-4.10.02-d2-s05.png]] $D$ ka har chhota cell zero swirl rakhta hai (blank cells), toh unhe add karne par kuch nahi milta. Step 2 se compare karo: wahan "spike" $z=0$ andar tha, aur $1/z$ wahan **analytic nahi** hai — wahi loophole hai. --- ## Step 5 — Loop ko spike par shrink karo (Cauchy's Integral Formula) Ek analytic $f$ lo aur ek point $a$ jo $\gamma$ ke **andar** hai. $\dfrac{f(z)}{z-a}$ dekho: yeh har jagah smooth hai sirf single spike $z=a$ ko chhodkar, jahan denominator vanish karta hai. **Key move — loop ko deform karo.** $\gamma$ aur $a$ ke aas paas ek tiny circle ke beech ring mein, function $f/(z-a)$ analytic hai, toh Step 4 se us ring ka loop integral $0$ hai. Iska matlab hai ki hum $\gamma$ ko **andar slide** kar sakte hain ek tiny circle $z = a + \varepsilon e^{it}$ par bina integral badlaye. $$\oint_\gamma\frac{f(z)}{z-a}\,dz=\int_0^{2\pi}\frac{f(a+\varepsilon e^{it})}{\varepsilon e^{it}}\,\underbrace{i\varepsilon e^{it}}_{z'(t)}\,dt = i\int_0^{2\pi}f(a+\varepsilon e^{it})\,dt.$$ - $\varepsilon e^{it}$ — $a$ se angle $t$ par tiny step. - $z'$ mein $\varepsilon e^{it}$, denominator mein wale ko **cancel** kar deta hai (bilkul Step 2 ki tarah!). **LIMIT CLEAN KYUN HAI:** jab $\varepsilon \to 0$ tiny circle $a$ par collapse ho jaata hai, toh $f(a+\varepsilon e^{it}) \to f(a)$, ek constant. Tab $i\int_0^{2\pi} f(a)\,dt = 2\pi i\,f(a)$. > [!formula] Cauchy Integral Formula & Residue Theorem > $$f(a)=\frac{1}{2\pi i}\oint_\gamma\frac{f(z)}{z-a}\,dz,\qquad \oint_\gamma f\,dz = 2\pi i\sum_k \operatorname{Res}_{z=z_k} f.$$ > Ek **residue** [[Laurent series]] ka $c_{-1}$ coefficient hai — Step 3 ka akela surviving term. ![[deepdives/dd-maths-4.10.02-d2-s06.png]] Bada orange loop shrink hota hai (dashed teal) spike $a$ ke aas paas plum micro-circle par; value kabhi nahi badlati kyunki unke beech ring swirl-free hai. Dekho [[Residue theorem applications]] real integrals par ise use karne ke liye. --- ## Step 6 — Edge cases jinpar tumhe kabhi trip nahi karna chahiye > [!mistake] "Closed loop ⇒ 0, hamesha." > Sirf tab agar $f$ **andar** analytic ho. Andar ek spike (jaise $1/z$) ise tod deta hai — tumhe $2\pi i\sum$Res milta hai. > [!mistake] "Path matter nahi karta." > Sirf analytic $f$ ke liye sach. $\bar z$ ke liye (jo analytic nahi hai), straight line ko arc se swap karne par > answer badal jaata hai. Pehle analyticity check karo. - **Contour PAR spike** (andar nahi): integral is theorem se defined nahi hai — loop singularity se guzarta hai. Contour ko us se hatao (principal-value techniques). - **Clockwise orientation:** walk reverse ho jaata hai, toh har $dz \to -dz$ — answer sign flip karta hai: clockwise $-2\pi i\sum$Res deta hai. - **Andar koi spike nahi** ($n\neq -1$ case, analytic case): accumulated arrow close ho jaata hai — $0$. ![[deepdives/dd-maths-4.10.02-d2-s07.png]] Teen loops: (1) spike andar → $2\pi i$; (2) spike bahar → loop sirf smooth ground enclose karta hai → $0$; (3) same spike lekin clockwise → $-2\pi i$. --- ## Ek-tasveer summary ![[deepdives/dd-maths-4.10.02-d2-s08.png]] Ek frame poori kahani compress karta hai: walk ko **parametrise** karo ($dz = z'\,dt$) → loop par **sirf $1/z$ term survive karta hai** ($2\pi i$, baaki sab $0$) → **smooth interior loop ko maar deta hai** (Cauchy) → **ek spike $2\pi i\times$ uska residue contribute karta hai** (residue theorem). Mushkil real integrals *spikes count karna* ban jaate hain. > [!recall]- Feynman retelling — poori walkthrough seedhi baat mein > Tum ek flat maidan mein ghumte ho, aur har step par koi tumhe ek chhota arrow deta hai (woh > $f(z)\,dz$ hai). Use honest rakhne ke liye tum ek clock $t$ se chalte ho — woh parametrisation hai. Ek bilkul > smooth maidan par, poora loop chalne par, saare arrows cancel ho jaate hain aur tum haath khali lekar finish karte ho: **zero**. > Lekin maidan ke neeche ek magic spike daba do. Ab spike ke aas paas har lap tumhe **exactly same** > bundle deta hai, $2\pi i$ times spike ki strength (uska residue), chahe tum loop ko kitna bhi hilaao — > kyunki do loops ke beech smooth ring hamesha cancel ho jaata hai, toh tum koi bhi loop spike par shrink kar sakte ho. > Isliye ek dara dene wala integral ek bachpane wala game ban jaata hai: **apne loop ke andar spikes count karo, > unki strengths add karo, $2\pi i$ se multiply karo.** Ho gaya. > [!mnemonic] > **"Sirf $1/z$ loop se survive karta hai; smooth zero ho jaata hai; ek spike $2\pi i\times$Res pay karta hai."** --- ## Connections - [[Cauchy–Riemann equations]] — woh equations jo dono swirl integrands ko zero kar deti hain (Step 4). - [[Green's theorem]] — real-analysis engine jo loop ko area mein badalta hai (Step 4). - [[Laurent series]] — residue = surviving $c_{-1}$ term (Steps 3, 5). - [[Analytic functions]] — woh class jiske liye paths matter nahi karte (Steps 1, 4). - [[Residue theorem applications]] — residue theorem ko real integrals mein cash karna.