反常积分的敛散性
反常积分
-
定义:积分区间无限的定积分成为反常积分(广义积分)。
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,函数发散
证明:
当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,函数发散
证明:
当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∣=+∞
当 p ̸ = 1 p\not=1 p̸=1时,
∫ 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,函数发散