Noesis
4.2.12Calculus II — Integration

Convergence tests for improper integrals — comparison

1,652 words8 min readdifficulty · medium
🇮🇳 Yeh note Hinglish mein padho →

WHAT is an improper integral?

WHY a limit? Because ∞\infty is not a number you can plug in. You integrate over a finite window [a,t][a,t] (perfectly legal) and then slide t→∞t\to\infty to ask: does the accumulated area settle down?

The benchmark: the p-integral (memorise this)

WHY this matters: almost every comparison uses a power of xx as the benchmark. Know it cold.

The Direct Comparison Test (DCT)

WHY it works (first principles): Let F(t)=∫atfF(t)=\int_a^t f and G(t)=∫atgG(t)=\int_a^t g. Since f≥0f\ge0, FF is increasing. Since f≤gf\le g, F(t)≤G(t)F(t)\le G(t). A function that is increasing and bounded above must converge to a finite limit (Monotone Convergence). If ∫g\int g converges, G(t)G(t) is bounded, so F(t)F(t) is bounded → ∫f\int f converges. ∎

HOW to use it (the strategy):

  1. Forecast: as x→∞x\to\infty, which power of xx does ff behave like?
  2. Pick a clean gg (usually x−px^{-p} or e−xe^{-x}) on the correct side of the inequality.
  3. Want to prove convergence? Bound ff above by a convergent gg. Want to prove divergence? Bound ff below by a divergent gg.
Figure — Convergence tests for improper integrals — comparison

The Limit Comparison Test (LCT) — when inequalities are annoying

WHY: if f/g→Lf/g\to L finite and positive, then for large xx, L2g≤f≤2L g\tfrac{L}{2}g\le f\le 2L\,g. So ff is squeezed between two constant multiples of gg — DCT applies both ways, locking their fates together. HOW: just match the dominant terms; don't fight with inequalities.

Worked examples

Recall Feynman: explain it to a 12-year-old

Imagine pouring sand into a tall box that goes up forever. If a smaller pile of sand never overflows the floor (finite total), then a pile under it also stays finite. And if a pile bigger than yours overflows forever, then yours overflows too. The magic trick: instead of measuring your weird pile, you compare it to an easy pile (1/x21/x^2 stays finite, 1/x1/x overflows) and just say "mine is smaller/bigger than that one!"

Flashcards

When does ∫1∞x−pdx\int_1^\infty x^{-p}dx converge?
Exactly when p>1p>1 (diverges for p≤1p\le1).
State the Direct Comparison Test for convergence.
If 0≤f≤g0\le f\le g and ∫g\int g converges, then ∫f\int f converges.
State the Direct Comparison Test for divergence.
If 0≤f≤g0\le f\le g and ∫f\int f diverges, then ∫g\int g diverges.
Why must f≥0f\ge0 in DCT?
So that F(t)=∫atfF(t)=\int_a^t f is increasing, letting "bounded + increasing ⇒ converges" work.
What's the LCT criterion and conclusion?
If L=lim⁡f/gL=\lim f/g with 0<L<∞0<L<\infty, then ∫f\int f and ∫g\int g share the same fate.
For ∫1/(x2+5)\int 1/(x^2+5) which gg and direction?
g=1/x2g=1/x^2, bound above (f<gf<g); converges.
For ∫1/(x+x)\int 1/(\sqrt x+x) which test and result?
LCT with g=1/xg=1/x, L=1L=1; diverges.
Why doesn't f<gf<g with ∫g\int g divergent prove anything?
Being smaller than an infinite area can still be finite — no conclusion.
What is the mnemonic for directions?
"Squeeze to please (under convergent), push to die (over divergent)."
Why define ∫a∞f\int_a^\infty f as a limit?
∞\infty isn't a plug-in value; integrate to finite tt then let t→∞t\to\infty.

Connections

Concept Map

defined by

settles finite

blows up

converges iff p greater 1

serves as

needs inequality

justified by

used by

used by

uses ratio limit

0 less L less inf

bound above by convergent g

bound below by divergent g

Improper integral

Limit over finite window

Converges

Diverges

p-integral benchmark

Comparison benchmark g

Direct Comparison Test

0 le f le g

Monotone Convergence

Limit Comparison Test

L = lim f over g

Same fate both

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, improper integral matlab area infinity tak ja raha hai — sawaal yeh hai ki total area finite hai ya infinite. Seedha integrate karna kabhi-kabhi bahut tough hota hai, isliye hum comparison ka jugaad lagaate hain. Idea simple hai: agar tumhara function kisi aise function ke neeche baitha hai jiska area finite hai, to tumhara area bhi finite hoga. Aur agar tumhara function kisi aise function ke upar hai jiska area infinite hai, to tumhara bhi infinite ho jaayega.

Sabse important benchmark hai 1/xp1/x^p. Yaad rakho: p>1p>1 ho to converge, warna diverge. Direct Comparison Test (DCT) mein direction ka dhyaan rakhna — convergence prove karni hai to function ko ek convergent cheez ke neeche dabao (squeeze), aur divergence prove karni hai to ek divergent cheez ke upar dhakka do (push). Galat direction mein bound lagaya to kuch bhi conclude nahi hota — yeh sabse common galti hai.

Jab inequality banana mushkil ho (jaise x+x\sqrt x + x wali), tab Limit Comparison Test use karo: bas L=lim⁡f/gL=\lim f/g nikaalo, agar 0<L<∞0<L<\infty hai to dono ka fate same — dono converge ya dono diverge. Trick yeh hai ki gg hamesha ff ka dominant term pakdo (jaise large xx pe x+x≈x\sqrt x + x \approx x, to g=1/xg=1/x).

Yeh topic kyun important hai? Exams mein aksar poochte hain "converge karta hai ya nahi" bina actual value maange — wahan comparison seconds mein answer de deta hai. Aur yahi exact logic series ke comparison test mein bhi chalta hai, to ek baar samajh gaye to do chapters cover ho gaye. Mantra: "Squeeze to please, push to die."

Go deeper — visual, from zero

D1FoundationsEvery symbol from zero · 1,643 wordsD2Visual walkthroughThe derivation in pictures · 2,368 wordsD3Worked examplesEvery scenario covered · 2,442 wordsD4ExercisesGraded, full solutions · 2,830 wordsD5Question bankConcept traps, quick reveals · 1,447 words

Test yourself — Calculus II — Integration

L1 RecognitionL2 RecallL3 ProductionL4 ApplicationL5 Mastery

Connections

Absolute vs conditional convergenceMaths · 4.3.11Integral test — proof, p-seriesMaths · 4.3.7