4.2.11Calculus II — Integration

Improper integrals — Type I (infinite limits), Type II (discontinuous integrand)

2,028 words9 min readdifficulty · medium5 backlinks

WHY do we even need this?


Type I — Infinite limits


HOW to derive the master result 11xpdx\int_1^\infty \frac{1}{x^p}\,dx

This single result is the 80/20 powerhouse — it underlies almost every convergence test.

Derivation from scratch.

Step 1 — replace \infty with tt. 1dxxp=limt1txpdx.\int_1^{\infty}\frac{dx}{x^p}=\lim_{t\to\infty}\int_1^{t}x^{-p}\,dx. Why this step? We're forbidden from integrating to \infty; tt is a real upper limit we can handle with FTC.

Step 2 — antiderivative (case p1p\ne1). Power rule: xpdx=xp+1p+1=x1p1p\int x^{-p}dx=\dfrac{x^{-p+1}}{-p+1}=\dfrac{x^{1-p}}{1-p}. 1txpdx=t1p11p.\int_1^t x^{-p}dx=\frac{t^{1-p}-1}{1-p}. Why this step? Apply FTC on the finite interval [1,t][1,t] — totally legal now.

Step 3 — take the limit. As tt\to\infty, behaviour of t1pt^{1-p} decides everything:

  • If p>1p>1: exponent 1p<01-p<0, so t1p0t^{1-p}\to 0. Result =011p=1p1=\dfrac{0-1}{1-p}=\dfrac{1}{p-1}converges.
  • If p<1p<1: exponent 1p>01-p>0, so t1pt^{1-p}\to\inftydiverges.

Step 4 — the borderline p=1p=1. Power rule fails; use x1dx=lnx\int x^{-1}dx=\ln x: limt[lntln1]=limtlnt=diverges.\lim_{t\to\infty}\big[\ln t-\ln 1\big]=\lim_{t\to\infty}\ln t=\infty \Rightarrow \textbf{diverges}. Why this matters: 1/x1/x is the knife-edge — it just barely loses. This is why p=1p=1 is the famous boundary.

Figure — Improper integrals — Type I (infinite limits), Type II (discontinuous integrand)

Type II — Discontinuous integrand (blow-up)

Derivation (case p1p\ne1). Blow-up at left end 00: 01xpdx=limt0+x1p1pt1=limt0+1t1p1p.\int_0^1 x^{-p}dx=\lim_{t\to0^+}\frac{x^{1-p}}{1-p}\Big|_t^1=\lim_{t\to0^+}\frac{1-t^{1-p}}{1-p}. Why this step? The spike is at 00, so we creep up from t>0t>0.

  • p<1p<1: 1p>01-p>0t1p0t^{1-p}\to0 → answer 11p\dfrac{1}{1-p} converges.
  • p>1p>1: 1p<01-p<0t1pt^{1-p}\to\inftydiverges.
  • p=1p=1: 01dxx=limt0+(ln1lnt)=+\int_0^1\frac{dx}{x}=\lim_{t\to0^+}(\ln1-\ln t)=+\infty diverges.

Worked examples


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

Imagine painting under a curve. Normally the strip of paint has a left and right wall, so the paint is finite. Now I knock down the right wall — the strip goes on forever. Surprisingly, sometimes you still need only a finite bucket of paint, because the strip gets thinner and thinner so fast. Other times the bucket never fills — it leaks to infinity. The trick to decide: paint up to a movable wall at position tt, see how much paint that needs, then slide the wall away to infinity and watch whether the paint total settles on a number or keeps growing. Type II is the same game, but instead of a far-away wall it's a spot where the curve shoots up to the sky — we tiptoe toward that spot and see if the skinny-but-tall sliver still holds finite paint.


Flashcards

What makes an integral "Type I" improper?
At least one limit of integration is infinite (±\pm\infty).
What makes an integral "Type II" improper?
The integrand is unbounded (has a vertical asymptote) somewhere on the interval.
How do you handle afdx\int_a^\infty f\,dx?
Replace \infty with tt: limtatfdx\lim_{t\to\infty}\int_a^t f\,dx, then check if the limit is finite.
For 1xpdx\int_1^\infty x^{-p}dx, the convergence condition is?
Converges iff p>1p>1; value is 1p1\frac{1}{p-1}.
For 01xpdx\int_0^1 x^{-p}dx, the convergence condition is?
Converges iff p<1p<1; value is 11p\frac{1}{1-p}.
At which pp does the 1/xp1/x^p integral diverge in BOTH the Type I and Type II pp-cases?
p=1p=1 (the borderline; gives ln\ln, which diverges).
For f\int_{-\infty}^\infty f, what must hold to "converge"?
Split at any cc; BOTH halves must converge independently (not just a symmetric limit).
Why is the symmetric-limit answer not "convergence"?
It's the Cauchy principal value; it can be finite even when the true improper integral diverges (e.g. xdx\int_{-\infty}^\infty x\,dx).
Value of 0exdx\int_0^\infty e^{-x}dx?
11.
Value of 01dxx\int_0^1 \frac{dx}{\sqrt x}?
22 (Type II, p=1/2<1p=1/2<1, converges).
What is the red-flag that you missed an interior singularity?
A positive integrand giving a negative or impossible answer (e.g. 11x2dx\int_{-1}^1 x^{-2}dx "=" 2-2).
State the Comparison Test idea for improper integrals.
If 0fg0\le f\le g and g\int g converges, then f\int f converges; if f\int f diverges, then g\int g diverges.

Connections

Concept Map

break a rule

case: infinite interval

case: integrand explodes

cannot plug in infinity

handled by

handled by

limit exists

limit unbounded

both ends infinite

each piece must converge

symmetric limit is not convergence

key example

p greater than 1

p less than or equal 1

Normal definite integral needs finite interval and bounded integrand

Improper integral

Type I infinite limits

Type II blow-up in integrand

Replace bad point with variable t and take limit

FTC needs closed bounded continuous interval

Converges if limit finite

Diverges otherwise

Split double-infinite at point c

Cauchy principal value trap

p-integral master result

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, normal definite integral abfdx\int_a^b f\,dx tabhi kaam karta hai jab interval finite ho aur function bounded ho. Improper integral wahan aata hai jab ya to limit infinite ho (Type I), ya function kisi point pe phat jaaye yaani vertical asymptote ho (Type II). Trick simple hai: hum kabhi seedha infinity tak ya blow-up ke through integrate nahi karte. Hum us "kharab" point ko ek variable tt se replace karte hain, normal integrate karte hain, phir tt ko us kharab point ki taraf limit me le jaate hain. Agar answer ek finite number pe settle ho gaya — converge, warna diverge.

Sabse important cheez ek hi hai, jise yaad kar lo to 80% sawaal ban jaate hain: 11xpdx\int_1^\infty \frac{1}{x^p}dx converge karta hai sirf jab p>1p>1, aur 011xpdx\int_0^1 \frac{1}{x^p}dx converge karta hai sirf jab p<1p<1. Yaad rakhne ka mantra: "infinity pe bada pp chahiye, zero pe chhota pp chahiye". Aur p=1p=1 dono jagah akela loser hai — wahan ln\ln aata hai jo infinity tak chala jaata hai.

Ek common galti: 111x2dx\int_{-1}^1 \frac{1}{x^2}dx me log seedha antiderivative laga ke 2-2 nikaal dete hain. Galat! Kyunki x=0x=0 pe function phat raha hai aur wo interval ke andar hai — FTC wahan apply nahi hota. Positive function ka area kabhi negative nahi ho sakta, yahi red flag hai. Sahi tareeka: 00 pe split karo aur dono halves alag-alag check karo (yahan dono diverge karte hain).

Jab integrate karna mushkil ho (jaise 1x3+1\frac{1}{x^3+1}), to comparison test lagao: agar 0fg0\le f\le g aur g\int g converge karta hai, to f\int f bhi zaroor karega. Yeh poora concept Laplace transform, Gamma function aur probability density (jahan total area =1=1 chahiye) me directly use hota hai — isliye yeh foundation pakka karna zaroori hai.

Go deeper — visual, from zero

Test yourself — Calculus II — Integration

Connections