• Improper integrals

# Improper Integrals (瑕積分)

  • Case1: 積分範圍 無限,但 積分函數 有限
  • Case2: 積分範圍 有限,但 積分函數 無限
  • Case3: 積分範圍 無限,且 積分函數 無限

# Case 1

  1. If ff is continuous on [a,∞)[a, \infty),then ∫a∞f(x)dx=lim⁡b→∞∫abf(x)dx\int^{\infty}_a f(x) dx = \lim_{b \to \infty} \int^b_a f(x)dx
  2. If ff is continuous on (−∞,b](-\infty, b],then ∫−∞bf(x)dx=lim⁡a→−∞∫abf(x)dx\int^{b}_{-\infty} f(x) dx = \lim_{a \to -\infty} \int^b_a f(x)dx
  3. If ff is continuous on (−∞,∞)(-\infty, \infty),then ∫−∞∞f(x)dx=∫−∞af(x)dx+∫a∞f(x)dx=lim⁡t→∞∫atf(x)dx+lim⁡t→−∞∫taf(x)dx\int^{\infty}_{-\infty} f(x) dx = \int^{a}_{-\infty} f(x) dx + \int^{\infty}_{a} f(x) dx = \lim_{t \to \infty} \int^t_a f(x) dx + \lim_{t \to -\infty} \int^a_t f(x) dx
  1. ∫0∞1x2+1dx\int^{\infty}_0 \frac{1}{x^2+1}dx
  2. ∫−∞−21xdx\int^{-2}_{-\infty} \frac{1}{x}dx

∫0∞1x2+1dx=lim⁡b→∞∫ab1x2+1dx=lim⁡b→∞{tan−1x∣x=0x=b}=lim⁡b→∞{tan−1b−tan−10}=π2−0=π2\int^{\infty}_0 \frac{1}{x^2+1}dx = \lim_{b\to \infty} \int^b_a \frac{1}{x^2+1}dx = \lim_{b \to \infty} \{ tan^{-1}x|^{x=b}_{x=0} \} = \lim_{b \to \infty} \{ tan^{-1}b - tan^{-1}0 \} = \frac{\pi}{2} - 0 = \frac{\pi}{2}.

⇒∫0∞1x2+1dx\Rightarrow \int^{\infty}_0 \frac{1}{x^2+1}dx converge to π2\frac{\pi}{2}.

∫−∞−21xdx=lim⁡a→−∞1xdx=lim⁡a→−∞{ln∣x∣∣ax=−2}=lim⁡a→−∞{ln2−ln∣a∣}=−∞\int^{-2}_{-\infty} \frac{1}{x} dx = \lim_{a\to -\infty}\frac{1}{x} dx = \lim_{a \to -\infty} \{ ln|x| |^{x = -2}_{a} \} = \lim_{a \to -\infty} \{ ln2 - ln|a| \} = -\infty
⇒∫−∞−21xdx\Rightarrow \int^{-2}_{-\infty} \frac{1}{x} dx diverges.

# Case 2

  1. If ff is continuous on [a,b)[a,b) and lim⁡t→b−f(x)=∞/−∞\lim_{t \to b^-} f(x) = \infty / -\infty,then ∫abf(x)dx=lim⁡t→b−∫atf(x)dx\int^b_af(x)dx = \lim_{t \to b^-} \int^t_a f(x)dx.
  2. If ff is continuous on (a,b](a,b] and lim⁡t→a+f(x)=∞/−∞\lim_{t \to a^+} f(x) = \infty / -\infty,then ∫abf(x)dx=lim⁡t→a+∫tbf(x)dx\int^b_af(x)dx = \lim_{t \to a^+} \int^b_t f(x)dx.
  3. If ff is continuous on (a,b)(a,b) and both lim⁡t→b−f(x)\lim_{t \to b^-} f(x),lim⁡t→a+f(x)\lim_{t \to a^+} f(x) are infinite,then ∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx\int^b_af(x)dx = \int^c_af(x)dx + \int^b_cf(x)dx.
  1. ∫011x3dx\int^1_0 \frac{1}{\sqrt[3]{x}}dx
  2. ∫−121x3dx\int^2_{-1} \frac{1}{x^3}dx

∫011x3dx=∫01x−13dx=lim⁡a→0+∫a1x−13dx=lim⁡a→0+32x23∣x=ax=1=lim⁡a→0+32−32a23=32\int^1_0 \frac{1}{\sqrt[3]{x}}dx = \int^1_0 x^{-\frac{1}{3}} dx = \lim_{a \to 0^+} \int^1_a x^{-\frac{1}{3}}dx = \lim_{a \to 0^+} \frac{3}{2} x^{\frac{2}{3}} |^{x=1}_{x=a} = \lim_{a \to 0^+} {\frac{3}{2} - \frac{3}{2}a^{\frac{2}{3}}} = \frac{3}{2}.

⇒∫011x3dx\Rightarrow \int^1_0 \frac{1}{\sqrt[3]{x}}dx converges to 32\frac{3}{2}.

∫−121x3dx=∫−101x3dx+∫021x3dx=lim⁡b→0−∫−1bx−3dx+lim⁡a→0+∫a2x−3dx=lim⁡b→0−−12x−2∣x=−1x=b+lim⁡a→0+−12x−2∣x=ax=2=lim⁡b→0−(−12⋅1b2+12)+lim⁡a→0+(−18+12⋅1a2)\int^2_{-1} \frac{1}{x^3}dx = \int^0_{-1} \frac{1}{x^3} dx + \int^2_0 \frac{1}{x^3} dx = \lim_{b \to 0^-} \int^b_{-1} x^{-3} dx + \lim_{a \to 0^+} \int^2_a x^{-3}dx = \lim_{b \to 0^-} \frac{-1}{2}x^{-2} |^{x=b}_{x=-1} + \lim_{a \to 0^+} \frac{-1}{2}x^{-2} |^{x=2}_{x=a} = \lim_{b \to 0^-} (-\frac{1}{2} \cdot \frac{1}{b^2} + \frac{1}{2}) + \lim_{a \to 0^+} (-\frac{1}{8} + \frac{1}{2} \cdot \frac{1}{a^2})

⇒∫−121x3dx\Rightarrow \int^2_{-1} \frac{1}{x^3}dx diverges.(∫−121x3dx\int^2_{-1} \frac{1}{x^3}dx does not exist.)

# Case 3

# Example

∫0∞1x(x+1)dx\int^{\infty}_0 \frac{1}{x(x+1)}dx

solution

∫0∞1x(x+1)dx=∫011x(x+1)dx+∫1∞1x(x+1)dx=lim⁡a→0+∫a11x(x+1)dx+lim⁡b→∞∫1b1x(x+1)dx=lim⁡a→0+ln∣xx+1∣∣a1+lim⁡b→∞ln∣xx+1∣∣1b=lim⁡a→0+(ln12−ln∣aa+1∣)+lim⁡b→∞(ln∣bb+1∣−ln12)=−lim⁡a→0+ln∣aa+1∣+ln1\int^{\infty}_0 \frac{1}{x(x+1)}dx= \int^1_0\frac{1}{x(x+1)}dx + \int^{\infty}_1 \frac{1}{x(x+1)}dx = \lim_{a \to 0^+}\int^1_a \frac{1}{x(x+1)}dx + \lim_{b \to \infty}\int^b_1 \frac{1}{x(x+1)}dx \\= \lim_{a \to 0^+}ln|\frac{x}{x+1}||^1_a + \lim_{b \to \infty}ln|\frac{x}{x+1}||^b_1 = \lim_{a \to 0^+}(ln\frac{1}{2} - ln|\frac{a}{a+1}|) + \lim_{b \to \infty}(ln|\frac{b}{b+1}| - ln\frac{1}{2}) \\= -\lim_{a \to 0^+}ln|\frac{a}{a+1}| + ln1

⇒∫0∞1x(x+1)dx\Rightarrow \int^{\infty}_0\frac{1}{x(x+1)}dx diverges.

# Comparative method

若無法計算瑕積分的值,可以看出瑕積分的收斂或發散

Disuss the improper integral ∫1∞1xpdx\int^{\infty}_1 \frac{1}{x^p}dx.

  1. If p≠1p \neq 1,∫1b1xpdx=1−p+1x−p+1∣x=1x=b=1−p+1(1bp−1−1)\int^b_1 \frac{1}{x^p}dx = \frac{1}{-p+1}x^{-p+1}|^{x=b}_{x=1} = \frac{1}{-p+1}(\frac{1}{b^{p-1}}-1).
    1. 當 p>1p>1,lim⁡b→∞(1bp−1−1)=−1\lim_{b \to \infty}(\frac{1}{b^{p-1}}-1) = -1.
    2. 當 p<1p<1,lim⁡b→∞(1bp−1−1)=∞\lim_{b \to \infty}(\frac{1}{b^{p-1}}-1) = \infty.
      ∴∫1∞1xpdx\therefore \int^{\infty}_1 \frac{1}{x^p}dx is convergent if p>1p > 1.
      ∴∫1∞1xpdx\therefore \int^{\infty}_1 \frac{1}{x^p}dx is divergent if p<1p < 1.
  2. If p=1p =1,then ∫1∞1xdx=lim⁡b→∞∫1b1xdx=lim⁡b→∞(ln∣b∣−ln∣1∣)=∞\int^{\infty}_1 \frac{1}{x}dx = \lim_{b \to \infty}\int^{b}_1 \frac{1}{x}dx = \lim_{b \to \infty}(ln|b| - ln|1|) = \infty
    ⇒∫1b1xdx\Rightarrow \int^{b}_1\frac{1}{x}dx is divergent.
結果很重要
  • ∫1∞1xpdx\int^{\infty}_1 \frac{1}{x^p}dx is convergent if p>1p > 1.
  • ∫1∞1xpdx\int^{\infty}_1 \frac{1}{x^p}dx is divergent if p<1p < 1.
  • ∫1∞1xpdx\int^{\infty}_1 \frac{1}{x^p}dx is divergent if p=1p = 1.
  1. ∫2∞1x−1dx\int^{\infty}_2 \frac{1}{\sqrt{x-1}}dx 收斂 or 發散?
  2. ∫1∞1x2+3dx\int^{\infty}_1 \frac{1}{\sqrt{x^2+3}}dx 收斂 or 發散?
  3. Show that ∫1∞e−xdx\int^{\infty}_1 e^{-x}dx is convergent.

∵0<1x<1x−1\because 0 < \frac{1}{\sqrt{x}} < \frac{1}{\sqrt{x-1}} on [2,∞)[2,\infty).
∴∫2∞1xdx<∫2∞1x−1dx\therefore \int^{\infty}_2 \frac{1}{\sqrt{x}}dx < \int^{\infty}_2 \frac{1}{\sqrt{x-1}}dx
⇒∫2∞1x−1dx\Rightarrow \int^{\infty}_2 \frac{1}{\sqrt{x-1}}dx diverges since ∫2∞1xdx\int^{\infty}_2 \frac{1}{\sqrt{x}}dx diverges.

∵0<1x2+3<1x2\because 0 < \frac{1}{x^2+3} < \frac{1}{x^2} on [1,∞)[1,\infty).
∴∫1∞1x2+3dx≤∫1∞1x2dx\therefore \int^{\infty}_1 \frac{1}{x^2+3}dx \le \int^{\infty}_1 \frac{1}{x^2}dx
⇒∫1∞1x2+3dx\Rightarrow \int^{\infty}_1 \frac{1}{x^2+3}dx converges since ∫1∞1x2dx\int^{\infty}_1 \frac{1}{x^2}dx converges.

∫0∞e−x2dx=∫01e−x2dx+∫1∞e−x2dx\int^{\infty}_0 e^{-x^2} dx =\int^1_0 e^{-x^2} dx + \int^{\infty}_1 e^{-x^2} dx
∵e−x≥e−x2≥0\because e^{-x} \ge e^{-x^2} \ge 0 on [1,∞)[1,\infty).
⇒∫1be−x2dx≤∫1be−xdx=1e−1eb\Rightarrow \int^{b}_1 e^{-x^2} dx \le \int^{b}_1 e^{-x} dx = \frac{1}{e} - \frac{1}{e^b}.
∵lim⁡b→∞∫1be−xdx=1e∴∫1∞e−xdx\because \lim_{b \to \infty} \int^b_1 e^{-x}dx = \frac{1}{e} \therefore \int^{\infty}_1 e^{-x}dx converges.
∵∫01e−x2dx\because \int^1_0 e^{-x^2}dx is a definite integral and ∫1∞e−xdx\int^{\infty}_1 e^{-x}dx is convergent.
∴∫0∞e−xdx\therefore \int^{\infty}_0 e^{-x}dx is convergent.


# Reference

  • 蘇承芳老師 - 微積分甲(一)109 學年度 - Calculus (I) Academic Year 109
更新於 閱讀次數 次

用實際行動犒賞爆肝的我😀

Zrn Ye LinePay

LinePay