定义:积分区间无限的定积分成为反常积分(广义积分)。
eg. ∫ 1 + ∞ 1 x 2 d x \int_1^{+\infty} {{1}\over{x^2}}dx ∫1+∞x21dx
反常积分敛散性的普遍结论:
∫ a + ∞ 1 x p d x ( a > 0 ) : { p > 1 , 函 数 收 敛 p ≤ 1 , 函 数 发 散 \int_a^{+\infty} {{1}\over{x^p}}dx ( a>0 ) :\begin{cases} p > 1 , 函数收敛 \\ p \leq 1, 函数发散 \end{cases} ∫a+∞xp1dx(a>0):{p>1,函数收敛p≤1,函数发散
∫ a + ∞ 1 x p d x = ∫ a + ∞ 1 x d x \int_a^{+\infty} {{1}\over{x^p}}dx=\int_a^{+\infty} {{1}\over{x}}dx ∫a+∞xp1dx=∫a+∞x1dx
= l n ∣ x ∣ ∣ a + ∞ = l i m x → + ∞ l n ∣ x ∣ − l n ∣ a ∣ = + ∞ = ln|x| |_a^{+\infty}=lim_{x \rightarrow +\infty}ln|x| - ln|a|=+\infty =ln∣x∣∣a+∞=limx→+∞ln∣x∣−ln∣a∣=+∞
⇒ 函 数 发 散 \Rightarrow 函数发散 ⇒函数发散
当 p ̸ = 1 p\not=1 p̸=1时,
∫ a + ∞ 1 x p d x = 1 1 − p x 1 − p ∣ a + ∞ = l i m x → + ∞ 1 1 − p x 1 − p − 1 1 − p a 1 − p \int_a^{+\infty} {{1}\over{x^p}}dx ={{1}\over{1-p}}x^{ 1-p}|_a^{+\infty} =lim_{x \rightarrow +\infty}{{1}\over{1-p}}x^{ 1-p}-{{1}\over{1-p}}a^{ 1-p} ∫a+∞xp1dx=1−p1x1−p∣a+∞=limx→+∞1−p1x1−p−1−p1a1−p= { + ∞ ( p < 1 ) ⇒ 函 数 发 散 − 1 1 − p a 1 − p ( p > 1 ) ⇒ 函 数 收 敛 \begin{cases} +\infty (p<1) \Rightarrow 函数发散\\ -{{1}\over{1-p}}a^{ 1-p} (p>1) \Rightarrow 函数收敛 \end{cases} {+∞(p<1)⇒函数发散−1−p1a1−p(p>1)⇒函数收敛
∴ \therefore ∴ ∫ a + ∞ 1 x p d x ( a > 0 ) : { p > 1 , 函 数 收 敛 p ≤ 1 , 函 数 发 散 \int_a^{+\infty} {{1}\over{x^p}}dx ( a>0 ) :\begin{cases} p > 1 , 函数收敛 \\ p \leq 1, 函数发散 \end{cases} ∫a+∞xp1dx(a>0):{p>1,函数收敛p≤1,函数发散
eg. ∫ 0 1 1 x d x \int_0^1{{1}\over{x}}dx ∫01x1dx
∫ a b 1 ( x − b ) p d x ( a > 0 ) : { p < 1 , 函 数 收 敛 p ≥ 1 , 函 数 发 散 \int_a^{b} {{1}\over{(x-b)^p}}dx ( a>0 ) :\begin{cases} p < 1 , 函数收敛 \\ p \geq 1, 函数发散 \end{cases} ∫ab(x−b)p1dx(a>0):{p<1,函数收敛p≥1,函数发散
∫ a b 1 ( x − b ) p d x = ∫ a b 1 x − b d x \int_a^{b} {{1}\over{(x-b)^p}}dx =\int_a^{b} {{1}\over{x-b}}dx ∫ab(x−b)p1dx=∫abx−b1dx
= l n ∣ x − b ∣ ∣ a b = l i m x → b − l n ∣ x − b ∣ − l n ∣ a ∣ = + ∞ = ln|x-b| |_a^{b}=lim_{x \rightarrow b^-}ln|x-b| - ln|a|=+\infty =ln∣x−b∣∣ab=limx→b−ln∣x−b∣−ln∣a∣=+∞
∫ a b 1 ( x − b ) p d x = 1 1 − p ( x − b ) 1 − p ∣ a b = l i m x → b − 1 1 − p ( x − b ) 1 − p − 1 1 − p ( a − b ) 1 − p \int_a^{b} {{1}\over{(x-b)^p}}dx ={{1}\over{1-p}}{(x-b)}^{1-p}|_a^b=lim_{x \rightarrow b^-}{{1}\over{1-p}}{(x-b)}^{1-p}-{{1}\over{1-p}}{(a-b)}^{1-p} ∫ab(x−b)p1dx=1−p1(x−b)1−p∣ab=limx→b−1−p1(x−b)1−p−1−p1(a−b)1−p=
{ + ∞ ( p > 1 ) ⇒ 函 数 发 散 1 p − 1 ( a − b ) 1 − p ( p < 1 ) ⇒ 函 数 收 敛 \begin{cases} +\infty (p>1) \Rightarrow 函数发散\\ {{1}\over{p-1}}(a-b)^{ 1-p} (p<1) \Rightarrow 函数收敛 \end{cases} {+∞(p>1)⇒函数发散p−11(a−b)1−p(p<1)⇒函数收敛
∴ \therefore ∴ ∫ a b 1 ( x − b ) p d x ( a > 0 ) : { p < 1 , 函 数 收 敛 p ≥ 1 , 函 数 发 散 \int_a^{b} {{1}\over{(x-b)^p}}dx ( a>0 ) :\begin{cases} p < 1 , 函数收敛 \\ p \geq 1, 函数发散 \end{cases} ∫ab(x−b)p1dx(a>0):{p<1,函数收敛p≥1,函数发散