Limit comparison test: Visual walkthrough — Hinglish deep dive

4.3.9 · D2 · Maths › Calculus III — Sequences & Series › Limit comparison test

Yeh page Limit Comparison Test (LCT) ko bilkul scratch se rebuild karti hai. Har symbol pehle earn hota hai, phir use hota hai, aur har step ke saath ek picture hai. Agar aapne pehle kabhi series nahi dekhi, Step 1 se shuru karo — hum poora idea ek dher saari dots se banate hain.

Step 0 — "Series" kya hoti hai aur symbols ka matlab kya hai?

Kisi bhi formula se pehle, objects ko naam dete hain.

$a_{1}, a_{2}, a_{3}, \dots$ ek sequence hai: numbers ki ek ordered list, har counting position $n = 1, 2, 3, \dots$ ke liye ek number. $a_{n}$ ko "n-ve bar ki height" samjho.
$\sum a_{n}$ (padho "sum of the $a_{n}$ ") matlab hai: un saari heights ko jodo, $a_{1} + a_{2} + a_{3} + \dots$ , hamesha ke liye.
Positive-term matlab hai $a_{n} > 0$ aur $b_{n} > 0$ sabhi bade $n$ ke liye: kisi position ke baad se har bar upar ki taraf point karta hai, koi neeche nahi, koi zero nahi. (Shuru ke kuch terms misbehave kar sakte hain — woh convergence nahi badal sakte, jo tail se decide hoti hai.) Hum $b_{n} > 0$ par bahut zyada depend karenge, isliye yeh shuruwaat se ek standing assumption hai.

Figure mein red curve running total hai. Baayein woh ek ceiling ki taraf flatten ho jaati hai (converges); daayein woh badhti rehti hai (diverges). Individual bars dono cases mein zero ki taraf shrink ho sakte hain — isliye "bars zero ki taraf shrink ho rahe hain" akele dono ko alag nahi kar sakta. Yahi exactly woh trap hai jo LCT avoid karta hai.

Step 1 — Woh ek sawaal jo test answer karta hai

KYA. Hamare paas $\sum a_{n}$ hai jiska anjaam unknown hai, aur $\sum b_{n}$ hai jiska anjaam hum pehle se jaante hain (koi p-Series ya Geometric Series). Hum poochhte hain: kya $a_{n}$ aur $b_{n}$ ek hi speed se shrink ho rahe hain? Dono positive hain (Step 0).

KYUN. Bade $n$ ke liye series ka anjaam is baat se decide hota hai ki terms kitni fast decay karti hain, unki exact values se nahi. Isliye sahi measuring instrument ratio $a_{n} / b_{n}$ hai — yeh sizes ko hata deta hai aur sirf relative decay speed rakhta hai. Divide karna tabhi legal hai jab $b_{n} > 0$ (kabhi zero nahi).

PICTURE. Do shrinking bar-sequences ek hi axis par draw ki gayi hain, dono positive. Unki heights alag hain, lekin unka decay ka shape hi hum compare karte hain.

Agar $L$ ek finite positive number hai, to sequences long run mein proportional hain: $a_{n} \approx L \cdot b_{n}$ . Yahi ek fact poora engine hai.

Step 2 — Main case mein daakho, aur "limit $L$ hai" ko ek window mein badlo

KYA. Yahan se Step 5 tak hum main case mein kaam karte hain: $0 < L < \infty$ , yaani $L$ ek finite, strictly positive number hai. Us assumption ke under hum " $a_{n} / b_{n} \to L$ " ko ek concrete band mein convert karte hain jo sabhi bade $n$ ke liye ratio ko trap karta hai. (Edge cases $L = 0$ aur $L = \infty$ ka Step 6 mein alag treatment hai.)

KYUN. Ek limit ek promise hai: koi bhi choti tolerance chuno, aur eventually ratio us tolerance ke andar $L$ ke paas reh jaayegi. Hum us promise ko ek specific tolerance ke saath cash in karte hain jo hum purpose se choose karte hain. Hum $ε = L /2$ choose karte hain — aur yeh choice tabhi sense banati hai jab $L > 0$ (main-case assumption). Agar $L$ zero hota, to $L /2$ zero hota aur band ke liye koi room nahi hota; yahi exactly reason hai ki $L = 0$ ek alag case hai.

Toh, abhi bhi $0 < L < \infty$ assume karte hue, tolerance $ε = L /2$ ( $L$ ka aadha) chuno. Limit ke meaning se, ek cutoff position $N$ exist karti hai aisi ki har $n > N$ ke liye: $ratio L se kitna door hai \frac{a _{n}}{b _{n}} - L < humari chosen tolerance \frac{L}{2} .$

PICTURE. Height $L$ par ek horizontal line, uske around $L /2$ half-width ka shaded band. Cutoff $N$ (dashed vertical line) ke baad, har ratio dot band ke andar girti hai.

Step 3 — Absolute value ko do plain inequalities mein unpack karo

KYA. $∣ x ∣ < c$ shorthand hai " $x$ , $- c$ aur $+ c$ ke beech squeeze hua hai." Hum yahan wahi apply karte hain (abhi bhi main case $0 < L < \infty$ mein).

KYUN. Absolute value ek saath do facts chhupata hai (ek upper bound aur ek lower bound). Hume unhe alag chahiye taaki baad mein har ek ko alag conclusion ke liye use kar sakein.

$\frac{a _{n}}{b _{n}} - L < \frac{L}{2} ⟹ - \frac{L}{2} < \frac{a _{n}}{b _{n}} - L < \frac{L}{2} .$ Teeno parts mein $L$ jodo: $lower fence \frac{L}{2} < \frac{a _{n}}{b _{n}} < upper fence \frac{3 L}{2} (n > N) .$

$\frac{L}{2}$ = floor: ratio kabhi is se neeche nahi girti.
$\frac{3 L}{2}$ = ceiling: ratio kabhi is se upar nahi jaati.

PICTURE. Wahi band jaise pehle tha, ab floor aur ceiling $L /2$ aur $3 L /2$ labeled hain — ek corridor jisme ratio trap hai.

Step 4 — Fraction clear karo aur direct comparison expose karo

KYA. Double inequality ke har part ko $b_{n}$ se multiply karo.

KYUN. Abhi hamare paas ratio ke baare mein statement hai. Direct Comparison Test use karne ke liye hume $a_{n}$ khud ke baare mein statements chahiye jo $b_{n}$ ke multiples ke beech sit kare. $b_{n}$ se multiply karna exactly yahi karta hai.

Crucial: $b_{n} > 0$ (Step 0 se humari standing assumption), isliye multiply karne se koi inequality sign flip nahi hoti. Agar $b_{n}$ negative ya zero ho sakta, to poora argument collapse ho jaata — yahi reason hai ki positivity non-negotiable hai.

$lower wall \frac{L}{2} b_{n} < humara unknown term a_{n} < upper wall \frac{3 L}{2} b_{n} (n > N) .$

PICTURE. Cutoff ke baad har $n$ ke liye, bar $a_{n}$ (red) ek chhote bar $\frac{L}{2} b_{n}$ aur ek bade bar $\frac{3 L}{2} b_{n}$ ke beech boxed hai — dono sirf $b_{n}$ ki scaled copies hain.

Step 5 — Har wall ko Direct Comparison Test mein feed karo

KYA. Dono walls ko alag alag use karo, is baat par depend karte hue ki $\sum b_{n}$ ke baare mein hum kya jaante hain.

KYUN. Hum yahan Direct Comparison Test invoke kar rahe hain, isliye use karne se pehle exactly yaad karte hain ki woh kya kehta hai.

Humara sandwich hume ek below-fact ( $a_{n} < \frac{3 L}{2} b_{n}$ ) aur ek above-fact ( $a_{n} > \frac{L}{2} b_{n}$ ) deta hai, isliye exactly ek branch fire hoga depending on $\sum b_{n}$ .

Case A — $\sum b_{n}$ converge karti hai. Tab $\sum \frac{3 L}{2} b_{n}$ bhi converge karti hai (har term ko constant $\frac{3 L}{2}$ se multiply karna ek infinite total create nahi kar sakta). Kyunki $a_{n} < \frac{3 L}{2} b_{n}$ , term $a_{n}$ ek convergent series se capped hai, isliye $\sum a_{n} converges.$

Case B — $\sum b_{n}$ diverge karti hai. Tab $\sum \frac{L}{2} b_{n}$ diverge karti hai (har term ko constant $\frac{L}{2}$ se shrink karna ek infinite total ko nahi bachaa sakta). Kyunki $a_{n} > \frac{L}{2} b_{n}$ , term $a_{n}$ ek divergent series ko dominate karta hai, isliye $\sum a_{n} diverges.$

Dono cases mein, $\sum a_{n}$ aur $\sum b_{n}$ saath saath jeete ya marte hain. $■$

PICTURE. Do running-total curves saath draw ki gayi hain: $a_{n}$ ka total (red) $\frac{L}{2} b_{n}$ aur $\frac{3 L}{2} b_{n}$ ke totals ke beech pinned hai. Agar baahri pair flatten ho, red bhi flatten hogi; agar inner wali chadhe, red bhi chadhegi.

Step 6 — Edge cases $L = 0$ aur $L = \infty$

KYA. Jab ratio limit $0$ ya $\infty$ ho, to sandwich ki sirf ek wall survive karti hai — isliye test sirf ek direction mein information deta hai.

KYUN. Agar $L = 0$ , to ratio $a_{n} / b_{n}$ kisi bhi bound se aage shrink ho jaati hai, isliye eventually $a_{n} < b_{n}$ : upper wall exist karti hai lekin lower wall zero ho gayi hai. Agar $L = \infty$ , to ratio explode ho jaati hai, isliye eventually $a_{n} > b_{n}$ : sirf lower wall survive karti hai.

$L = 0$ aur $\sum b_{n}$ converge karti hai → $a_{n}$ ek convergent series se chota hai → $\sum a_{n}$ converge karti hai.
$L = \infty$ aur $\sum b_{n}$ diverge karti hai → $a_{n}$ ek divergent series se bada hai → $\sum a_{n}$ diverge karti hai.

Mismatched pairs ( $L = 0$ ke saath $\sum b_{n}$ divergent; $L = \infty$ ke saath $\sum b_{n}$ convergent) koi information nahi dete — surviving wall galat direction mein point karti hai.

PICTURE. Left panel: $L = 0$ , $a_{n}$ bar $b_{n}$ ke neeche floor ke paas hai (sirf ek upper cap). Right panel: $L = \infty$ , $a_{n}$ bar $b_{n}$ se upar tower karta hai (sirf ek lower floor).

Step 7 — Degenerate case: limit exist nahi karti

KYA. Upar ke har step mein ek fact quietly use hua: ratio $a_{n} / b_{n}$ kisi value $L$ par settle hoti hai. Agar woh settle nahi hoti — agar woh hamesha ke liye alag heights ke beech oscillate karti rahe — to koi $L$ nahi hai, aur poora machine kuch nahi pakad sakta.

KYUN. Proof " $a_{n} / b_{n} \to L$ " ko $L$ ke around ek band mein convert karta hai (Step 2). Bina $L$ ke, band ka koi centre nahi, isliye koi cutoff $N$ nahi jiske baad ratio trap ho. Step 4 ka sandwich kabhi build nahi ho sakta.

Iske bajaaye kya karein. Ek different $b_{n}$ chuno taaki naya ratio converge kare, ya LCT chhod ke Ratio Test, Integral Test, ya Direct Comparison Test use karo.

PICTURE. Ratio dots jo ek high level aur ek low level ke beech bounce karte rehte hain, kabhi kisi fixed band mein nahi aate — cutoff line kahin bhi draw karo, dots phir bhi bahar nikal jaate hain.

Sandwich ka ek quick numeric sanity check

Ek-picture summary

Upar ki saari baatein ek single image mein collapse ho jaati hain: provided ki ratio ki ek limit hai, ratio $a_{n} / b_{n}$ ek positive band $(L /2, 3 L /2)$ mein aati hai, jo term-sandwich $\frac{L}{2} b_{n} < a_{n} < \frac{3 L}{2} b_{n}$ ban jaata hai, jo har wall ko Direct Comparison ko deta hai — isliye dono series ek hi fate share karti hain.

Recall Feynman retelling — isse ek story ki tarah bolo

Socho do shrinking blocks ki lines hain, $a$ -line (mystery) aur $b$ -line (known) — dono blocks hamesha kisi point ke baad positive hain, yeh ek rule hai jo main kabhi nahi todta. Mujhe sirf yeh jaanna hai ki woh ek hi speed se shrink ho rahe hain ya nahi, isliye main ek ko doosre se divide karta hoon (safe, kyunki $b$ -block kabhi zero nahi hota) aur dekhta hoon ki woh ratio kahan settle hoti hai — use $L$ kehte hain. Pehle mujhe check karna hai ki woh actually settle hoti hai: agar ratio hamesha bounce karti rahe, koi $L$ nahi hai aur yeh poora method table se bahar hai. Main case mein $L$ ek normal positive number hai, isliye blocks basically hamesha proportional hain. Main $L$ ke around ek band draw karta hoon jo $L$ ki height jitna half-wide hai — yeh tabhi kar sakta hoon jab $L$ zero se bada ho, yahi reason hai ki $L = 0$ ek alag case hai. Woh width band ka floor zero se upar rakhti hai. Limit promise karti hai ki kisi point ke baad har ratio us band ke andar hogi. Main band ko (positive!) $b$ -block height se multiply karta hoon, aur ab har mystery block $a_{n}$ , known block ki ek chhoti copy aur ek badi copy ke beech boxed hai. Direct Comparison phir finish karta hai: agar known series kisi finite cheez mein add ho jaaye, to badi copies bhi add ho jaati hain, isliye mystery — jo aur bhi choti hai — bhi add honi chahiye. Agar known series blow up kare, to choti copies blow up karti hain, isliye mystery — jo aur bhi badi hai — bhi blow up karti hai. Same fate, proven. Teen jagahein hain jahan yeh toot sakta hai: negative ya zero blocks (divide/multiply karna galat ho jaata hai), koi limit na hone wala ratio (band ko centre karne ke liye kuch nahi), aur do lopsided cases $L = 0$ ya $L = \infty$ , jahan box ki ek wall gaayab ho jaati hai aur aapko sirf aadhi story milti hai.

Recall Self-test

$b_{n} > 0$ kyun hona chahiye? ::: Taaki divide karna defined ho aur ratio inequality ko $b_{n}$ se multiply karne par direction preserve ho; Direct Comparison ko bhi positive terms chahiye. $ε = L /2$ kyun choose karte hain, aur iske liye $L > 0$ kyun chahiye? ::: Koi bhi $0 < ε < L$ , floor $L - ε$ ko positive rakhta hai; $L /2$ tidy choice hai jo floor $L /2 > 0$ deti hai — aur yeh sirf main case $L > 0$ mein possible hai. Case A mein kaunsi wall use hoti hai aur kyun? ::: Upper wall $a_{n} < \frac{3 L}{2} b_{n}$ , $a_{n}$ ko ek convergent series ke neeche cap karti hai. Agar $L = 0$ hai lekin $\sum b_{n}$ diverge karti hai, to kya conclude karte ho? ::: Kuch nahi — surviving upper wall galat direction mein point karti hai; test inconclusive hai. Agar $lim a_{n} / b_{n}$ exist nahi karta to kya? ::: Test apply nahi hota — ek different $b_{n}$ chuno ya doosra test use karo.

Parent: Limit comparison test · See also: Direct Comparison Test, Squeeze Theorem, p-Series, Geometric Series, Harmonic Series