Visual walkthrough — Divergence test (necessary but not sufficient)

4.3.6 · D2 · Maths › Calculus III — Sequences & Series › Divergence test (necessary but not sufficient)

Step 0 — Teen objects jo hum draw karenge

Kisi bhi proof se pehle, hume agree karna hoga ki hamare pictures mein kya show ho raha hai. Is poori kahani mein sirf teen characters hain.

Yeh teen kyun? Ek series kuch nahi hai siwaaye terms ki list ($a_n$) ke jo running totals ki list ($S_N$) ban jaati hai, jo kisi target ($S$) par settle ho bhi sakti hai ya nahi bhi. Neeche sab kuch in teen ke beech ka relationship hai.

Figure dekho: blue dots terms $a_n$ hain (individual bars ki heights), aur yellow staircase hai running total $S_N$ jo har bar ek bar glue hone par chadhta rehta hai.

Step 1 — "Converges" kaisa dikhta hai

KYA. Maan lo series converge karti hai. Tab yellow staircase $S_N$ height $S$ par ek fixed horizontal line ki taraf approach karta hai.

KYUN. "Infinitely many cheezon ka sum" ka koi doosra matlab nahi hai siwaaye "running total jis height par settle ho jaata hai." Hume koi alag definition invent karne ki permission nahi hai — isliye yeh picture hi convergence ki definition hai.

PICTURE. Staircase ke steps chhote aur chhote hote jaate hain aur staircase ka top dashed line $y=S$ se chipta rehta hai. Symbols mein: ${\lim }_{N\to \infty }{S}_N=S,S\text{ finite}.$ Yahan $\lim$ ("limit") shorthand hai is sawaal ke liye "kaunsi akeli height par $S_N$ settle ho jaata hai jab $N$ infinity ki taraf jaata hai?" aur jawaab finite number $S$ hai.

Step 2 — Do heights se ek term recover karo

KYA. Ek single term $a_N$ ko purely staircase heights se read karo: $a_N=\underset{\text{total abhi}}{\underbrace{S_N}}-\underset{\text{ek step pehle ka total}}{\underbrace{S_{N-1}}}.$

KYUN. Yeh poore proof ka hinge hai. Agar hum term $a_N$ ke baare mein kuch kehna chahte hain staircase ke facts use karke, to hume unhe connect karne wala ek bridge chahiye. Yahi woh bridge hai: sabse nayi bar ki height exactly utni hai jitna staircase abhi utha.

Har symbol ka kaam:

• $S_N$ = term $N$ add karne ke baad staircase height,
• $S_{N-1}$ = term $N$ add karne se pehle staircase height (ek step peeche),
• unka difference = precisely us ek blue bar ki height jo aapne abhi rakha, jo hai $a_N$.

PICTURE. Figure mein do staircase heights side by side dikhti hain; unke beech ka green gap exactly woh last blue bar hai. Bar hi jump hai.

Step 3 — Dono heights same target ki taraf jaati hain

KYA. Agar $S_N\to S$, tab $S_{N-1}\to S$ bhi.

KYUN. $S_{N-1}$ wahi staircase hai, bas ek step pehle padha gaya. Counting shuru karne ki jagah ko ek step shift karna nahi badal sakta ki staircase aakhir mein kahan khatam hogi. Jaise $N\to \infty$, "$N-1$" bhi infinity ki taraf march karta hai, usi dashed line $y=S$ ko chase karta hua.

PICTURE. Staircase par do arrows — ek labelled $S_N$, ek labelled $S_{N-1}$ — dono usi dashed target line $y=S$ ki taraf point karte hain. Woh sirf ek step se separated hain, aur yeh gap door jaake irrelevant ho jaata hai.

Step 4 — Terms zero par squeeze ho jaate hain

KYA. Step 2 ki bridge identity ka limit lo: ${\lim }_{N\to \infty }{a}_N={\lim }_{N\to \infty }(S_N-S_{N-1})=\underset{\text{from }{S}_N}{\underbrace{S}}-\underset{\text{from }{S}_{N-1}}{\underbrace{S}}=0.$

KYUN. Difference ka limit, limits ke difference ke barabar hota hai — lekin sirf tab jab dono limits exist aur finite hon, jo Steps 1 aur 3 ne guarantee ki. Dono heights same $S$ ki taraf approach karti hain, isliye unka gap (sabse nayi bar) $0$ par squeeze ho jaata hai.

Symbol by symbol:

• $\lim a_N$ = woh height jahan bars eventually shrink hoti hain,
• $S-S$ = same target minus same target = $0$.

PICTURE. Jaise staircase $y=S$ ke against flatten hoti hai, green gaps (bars) patli aur patli hoti jaati hain — visibly axis ki taraf crush hoti hain. Bars zaroor vanish ho jaati hain kyunki do heights ke beech jo milti hain, unke beech koi jagah nahi bachti.

Step 5 — Palto: contrapositive hi test hai

KYA. Arrow ko logic se ulta karo: ${\lim }_{n\to \infty }{a}_n\ne 0(\text{or DNE})⟹\sum a_n\text{ diverges}.$

KYUN. Koi bhi true statement "$P\Rightarrow Q$" logically identical hai "not $Q\Rightarrow$ not $P$" se — iska contrapositive. Yahan $P$ = "series converges", $Q$ = "terms $\to 0$". Dono ko negate karke swap karo: agar terms zero par NAHI jaate, to series converge NAHI karti. Wahi sach, doosre end se bataya gaya.

PICTURE. Ek do-lane logic diagram: upar wala lane woh arrow hai jo humne prove kiya (converge $\Rightarrow$ terms$\to 0$); neeche wala lane iska mirror image hai (terms$\ne 0\Rightarrow$ diverge). Yeh ek hi road hai ulti direction mein driven.

Step 6 — Degenerate case: terms settle hi nahi karte

KYA. Agar $\lim a_n$ exist hi nahi karta (DNE) — terms kabhi bhi kisi single value ki taraf approach nahi karte? Example: $a_n=(-1{)}^n$ $-1,+1,-1,+1,\dots$ hamesha bounce karta rehta hai.

Ise kyun include karein? Step 4 ko term-limit ka zero hona chahiye. "DNE" certainly "zero ke barabar nahi" hai — ek limit jo exist nahi karta specific number $0$ ke barabar nahi ho sakta. Isliye test phir bhi fire karta hai: diverges.

PICTURE. Blue bars axis ke upar aur neeche flip karte hain aur kabhi uski taraf shrink nahi karte. Yellow staircase do heights ke beech see-saw karta hai aur kabhi koi target line nahi chunata — koi $S$ exist nahi karta.

Step 7 — Trap: terms → 0 lekin sum phir bhi explode karta hai

KYA. Ab woh case jo test handle nahi kar sakta. Harmonic Series $\sum \frac{1}{n}$ mein bars zaroor $0$ ki taraf shrink hote hain, phir bhi staircase hamesha koi ceiling nahi hone tak chadhta rehta hai.

Yeh kyun matter karta hai. Yeh living proof hai ki "terms $\to 0$" sufficient nahi hai. Bars vanish ho jaate hain, isliye Step 4 ki necessary condition hold karti hai — lekin staircase phir bhi $+\infty$ ki taraf bhag jaata hai kyunki tiny bars shrink hone se tez pile up hote hain.

PICTURE. Terms ko doubling blocks mein bracket karo: $\underset{\ge \frac{1}{2}}{\underbrace{\frac{1}{2}}}+\underset{\ge \frac{1}{2}}{\underbrace{\frac{1}{3}+\frac{1}{4}}}+\underset{\ge \frac{1}{2}}{\underbrace{\frac{1}{5}+\cdots +\frac{1}{8}}}+\cdots$ Har block ke terms sabse chhote term se kam se kam utne bade hain, aur har block twice as long hai — isliye har block kam se kam $\frac{1}{2}$ sum karta hai. $\frac{1}{2}$ ko infinitely many times add karne se $\infty$ milta hai. Figure mein blue bars zero ki taraf fade hote dikhte hain jabki yellow staircase har dashed level se upar chadhta rehta hai.

Ek-picture summary

Upar ki sab cheez ek single frame mein compress: top row converging world dikhata hai (staircase $S$ tak pahunchta hai ⟹ bars $0$ par squeeze hote hain), bottom row do failure modes dikhata hai jo test detect karta hai (bars shrink nahi ho rahe / bars oscillate kar rahe hain ⟹ staircase settle nahi ho sakta ⟹ diverges), aur corner trap flag karta hai (bars $\to 0$ phir bhi staircase escape karta hai ⟹ test chup rehta hai).

Connections

• Partial Sums and Series Convergence — staircase $S_N$ jo humne draw ki woh exactly yahi hai.
• Telescoping Series — directly bridge $a_N=S_N-S_{N-1}$ par built.
• Limits of Sequences — in steps mein har $\lim$ ke peeche ka machinery.
• Harmonic Series — Step 7 ka trap poori tarah se.
• p-Series Test, Integral Test, Comparison Test — jab Step 7 test ko chup kara de tab inhe reach karo.

Flashcards