广义积分和含参积分
- 将黎曼积分的积分区间从闭区间转为无穷,则成为无穷积分。
- 如果在积分区间上,存在值为无穷的情况,则成为瑕积分。
两类积分合称广义积分。
一般的想法是,将广义积分转化称一次定积分+一次极限。
- 无穷积分对应使用无穷极限
- 瑕积分对应使用点极限
1. 概念
1.1. 无穷积分
1.1.1. 正无穷的积分
设函数
f
(
x
)
f(x)
f(x)在
[
a
,
+
∞
)
[a,+\infty)
[a,+∞)上有定义,对于任何
A
>
a
,
f
(
x
)
A>a,f(x)
A>a,f(x)在
[
a
,
A
]
[a,A]
[a,A]上黎曼可积,若
lim
A
→
+
∞
∫
a
A
f
(
x
)
d
x
=
M
\lim\limits_{A\to+\infty}\int_a^Af(x)\,\mathrm dx=M
A→+∞lim∫aAf(x)dx=M
则称
M
M
M为
f
(
x
)
f(x)
f(x)在
[
a
,
+
∞
)
[a,+\infty)
[a,+∞)上的无穷积分。记
lim
A
→
+
∞
f
(
x
)
d
x
=
∫
a
+
∞
f
(
x
)
d
x
\lim\limits_{A\to+\infty}f(x)\,\mathrm dx=\int_a^{+\infty}f(x)\,\mathrm dx
A→+∞limf(x)dx=∫a+∞f(x)dx
称
∫
a
+
∞
f
(
x
)
d
x
\int_a^{+\infty}f(x)\,\mathrm dx
∫a+∞f(x)dx收敛,否则为发散。
类似的可以写出负无穷的情况(略去)
1.1.2. 正负无穷
同样也可以研究 R \mathbb{R} R的情况。
函数
f
(
x
)
f(x)
f(x)定义在
(
−
∞
,
+
∞
)
(-\infty, +\infty)
(−∞,+∞)上,任意实数
a
a
a,都有
∫
a
+
∞
f
(
x
)
d
x
,
∫
−
∞
a
f
(
x
)
d
x
\int_a^{+\infty}f(x)\,\mathrm dx, \int_{-\infty}^af(x)\,\mathrm dx
∫a+∞f(x)dx,∫−∞af(x)dx
收敛,则称
f
(
x
)
f(x)
f(x)在
(
−
∞
,
+
∞
)
(-\infty, +\infty)
(−∞,+∞)上的积分收敛。若存在一个
a
a
a,使得两个积分其一不存在,则称原积分发散。
这提供了一个判别发散的好思路。
利用极限的语言,也可以写作:
lim
A
→
+
∞
B
→
−
∞
∫
A
B
f
(
x
)
d
x
\lim\limits_{{A\to+\infty}\atop{B\to-\infty}}\int_A^Bf(x)\,\mathrm dx
B→−∞A→+∞lim∫ABf(x)dx
其中
A
,
B
A,B
A,B相互独立。
1.2. 瑕积分
瑕点就是积分区间上或边界处值无界的点。一般情况,若
x
=
a
,
b
x=a,b
x=a,b均为瑕点,那么
lim
ε
→
0
+
δ
→
0
+
∫
a
+
ε
b
−
δ
f
(
x
)
d
x
\lim\limits_{\varepsilon\to0+\atop{\delta\to0+}}\int_{a+\varepsilon}^{b-\delta}f(x)\,\mathrm dx
δ→0+ε→0+lim∫a+εb−δf(x)dx
就是一个瑕积分。若这个重极限收敛,则称瑕积分收敛。
2. 广义积分的主要理论结果
2.1. 无穷积分的性质
2.1.1. 线性性质
如果
f
1
(
x
)
,
f
2
(
x
)
f_1(x),f_2(x)
f1(x),f2(x)在
(
a
,
+
∞
)
(a,+\infty)
(a,+∞)上都收敛,那么
∫
a
+
∞
[
k
1
f
1
(
x
)
+
k
2
(
x
)
f
2
(
x
)
]
d
x
=
k
1
∫
a
+
∞
f
1
(
x
)
d
x
+
k
2
∫
a
+
∞
f
2
(
x
)
d
x
\int_a^{+\infty}[k_1f_1(x)+k_2(x)f_2(x)]\,\mathrm dx=k_1\int_a^{+\infty}f_1(x)\,\mathrm dx+k_2\int_a^{+\infty}f_2(x)\,\mathrm dx
∫a+∞[k1f1(x)+k2(x)f2(x)]dx=k1∫a+∞f1(x)dx+k2∫a+∞f2(x)dx
这里给出了判定发散的一种通用方法,即
发 散 + 收 敛 = 发 散 发散+收敛=发散 发散+收敛=发散
这和极限相加中得到的结论是一致的。
2.1.2. 有限端族的积分同敛散
∫
a
+
∞
f
(
x
)
d
x
\int_a^{+\infty}f(x)\,\mathrm d x
∫a+∞f(x)dx与
∫
b
+
∞
f
(
x
)
d
x
\int_b^{+\infty}f(x)\,\mathrm dx
∫b+∞f(x)dx有限端都是下限,若函数
f
(
x
)
f(x)
f(x)在任何有限区间
[
a
,
u
]
[a,u]
[a,u]上可积,则称它们为同一有限端的积分族。
∫
a
+
∞
f
(
x
)
d
x
\int_a^{+\infty}f(x)\,\mathrm dx
∫a+∞f(x)dx
与
∫
b
+
∞
f
(
x
)
d
x
\int_b^{+\infty}f(x)\,\mathrm dx
∫b+∞f(x)dx
同敛散。
2.2. 无穷积分的审敛法
类比无穷级数中的相关知识,我们都只是简单给出定理叙述。
首先给出一个引理:非负可积函数的无穷积分收敛的充要条件是其有界。(单调收敛定理)
这个定理的逆定理可以用来判别发散。
还有如下四个判定定理。
2.2.1. 比较判别法
∃
A
>
0
\exist A>0
∃A>0,当
x
>
A
x>A
x>A时,
0
≤
f
(
x
)
≤
K
(
x
)
0\leq f(x)\leq K(x)
0≤f(x)≤K(x)
则:
∫
a
∞
K
(
x
)
d
x
\int_a^\infty K(x)\,\mathrm dx
∫a∞K(x)dx
是
∫
0
∞
f
(
x
)
d
x
\int_0^\infty f(x)\,\mathrm dx
∫0∞f(x)dx
的充分非必要条件。
2.2.2. 比较判别的极限形式
类比无穷级数,定义极限形式。
若
lim
x
→
+
∞
f
(
x
)
K
(
x
)
=
k
∈
(
0
,
+
∞
)
\lim\limits_{x\to+\infty}\frac{f(x)}{K(x)}=k\in(0,+\infty)
x→+∞limK(x)f(x)=k∈(0,+∞)
则两个无穷积分同敛散
证明方法是利用同阶无穷小的概念。
2.2.3. Dirichlet判别法
∫
a
+
∞
f
(
x
)
g
(
x
)
d
x
\int_a^{+\infty}f(x)g(x)\,\mathrm dx
∫a+∞f(x)g(x)dx
积分
∫
a
A
f
(
x
)
d
x
\int_a^Af(x)\,\mathrm dx
∫aAf(x)dx有界,又
g
(
x
)
g(x)
g(x)单调趋于零。
2.2.4. Abel判别法
∫ a + ∞ f ( x ) d x \int_a^{+\infty}f(x)\,\mathrm dx ∫a+∞f(x)dx收敛。且 g ( x ) g(x) g(x)单调有界。
2.3. 常用
将三角函数分成 ( n , ( n + 1 ) π ) (n,(n+1)\pi) (n,(n+1)π)的一系列求和。然后对非三角函数部分进行放缩,得到常数*三角的积分函数。
2.4. 瑕积分的审敛法
2.4.1. 步骤
- step1:寻找瑕点
- step2:在瑕点处,利用比较法,将易解的函数替代原函数,求得结果
2.4.2. 比较判别法
常用的中介积分是:
∫
a
b
d
x
(
x
−
a
)
p
,
∫
a
b
d
x
(
x
−
b
)
q
\int_a^b\frac{\mathrm dx}{(x-a)^p},\int_a^b\frac{\mathrm dx}{(x-b)^q}
∫ab(x−a)pdx,∫ab(x−b)qdx
比较法将不容易求解的函数通过放缩转化为易解的函数。
注意瑕积分中的这个收敛区间和 p p p级数、无穷积分正相反。小于1为收敛。
我们更多地使用
2.4.3. 比较判别法的极限形式
x
∈
(
a
,
b
]
,
∀
[
c
,
d
]
⊂
(
a
,
b
]
x\in(a,b],\forall[c,d]\subset(a,b]
x∈(a,b],∀[c,d]⊂(a,b]
lim
x
→
a
+
f
(
x
)
g
(
x
)
=
l
∈
(
0
,
+
∞
)
\lim\limits_{x\to a+}\frac{f(x)}{g(x)}=l\in(0,+\infty)
x→a+limg(x)f(x)=l∈(0,+∞)
则同敛散。
这个极限形式,将瑕积分的审敛问题转化为一个求函数与幂函数的分式结构的瑕点处极限的问题。
-
注意求解过程中洛必达法则的应用。
瑕积分时常出现的是分母为0的结构,这种结构不容易消除,即便换元仍然很难满足我们的需要。所以 0 0 \frac{0}{0} 00型的洛必达又派上了用场。
-
想要看出这个比较极限并不容易,我们的解法是先使用变量代换。从正向解决之后,再反代回来。这是解决极限问题的常用想法。
科学哲学卡片 以正向代反向
-
常用的比较结构
1 x 1 2 + 1 4 \frac{1}{x^{\frac{1}{2}+\frac{1}{4}}} x21+411
∫ 0 1 ln x \int_0^1\ln x ∫01lnx