定积分的定义
1.1 网的定义
1.2 定积分的定义
1.3 达布上、下和的定义
设有函数 f ( x ) f(x) f(x),记网 T T T 的达布上和与达布下和分别为 S T , s T S_T,s_T ST,sT。
1.4 给网孔添加任何点后新达布上和小于等于原达布上和,新达布下和大于等于原达布下和
1.5 任意达布上和不小于达布下和
1.6 f ( x ) f(x) f(x) 在区间 [ a , b ] [a,b] [a,b] 上可积的必要条件是 f ( x ) f(x) f(x) 在 [ a , b ] [a,b] [a,b] 上有界。
可积的充要条件
2.1 有界函数 f ( x ) f(x) f(x) 在闭区间 I I I 上可积的充要条件是 lim ∣ T ∣ → 0 ∣ S T − s t ∣ = 0 \displaystyle \lim_{|T|\to 0}|S_T-s_t| = 0 ∣T∣→0lim∣ST−st∣=0。
2.2 设有网 T = { x i ∣ i = 0 , 1 , . . . , n ∧ x i < x i + 1 ∧ x 0 = a , x n = b } T=\{x_i|i=0,1,...,n\wedge x_i<x_{i+1}\wedge x_0=a,x_n=b\} T={xi∣i=0,1,...,n∧xi<xi+1∧x0=a,xn=b},记 M i = sup { f ( x ) ∣ x ∈ [ x i − 1 , x i ] } M_i=\sup\{f(x)|x\in[x_{i-1},x_{i}]\} Mi=sup{f(x)∣x∈[xi−1,xi]}, m i = inf { f ( x ) ∣ x ∈ [ x i − 1 , x i ] } m_i=\inf\{f(x)|x\in[x_{i-1},x_{i}]\} mi=inf{f(x)∣x∈[xi−1,xi]}, w i = M i − m i w_i=M_i-m_i wi=Mi−mi,则有界函数 f ( x ) f(x) f(x) 在 [ a , b ] [a,b] [a,b] 上可积的充要条件是 ∀ η > 0 , σ > 0 , ∃ δ > 0 \forall \eta>0,\sigma>0,\ \exists\delta>0 ∀η>0,σ>0, ∃δ>0,使得对任意直径 ∣ T ∣ < 0 |T|<0 ∣T∣<0 的网 T T T,均有使满足 w i > η w_i>\eta wi>η 的网孔面积之和 < σ <\sigma <σ。
2.3 设 f ( x ) f(x) f(x) 在 [ a , b ] [a,b] [a,b] 上有界, ∀ η > 0 \forall \eta >0 ∀η>0 均满足 f ( x ) f(x) f(x) 在 [ a + η , b ] [a+\eta, b] [a+η,b] 上可积,则 f ( x ) f(x) f(x) 在 [ a , b ] [a,b] [a,b] 上可积。
2.4 以下 3 3 3 类函数可积。
( 1 ) (1) (1) 连续函数。
( 2 ) (2) (2) 单调函数。
( 3 ) (3) (3) 有限间断的连续函数。
定积分的相关性质
3.1 可积必有界。
**3.2 ** ∫ a b ( λ f ( x ) + μ g ( x ) ) d x = λ ∫ a b f ( x ) d x + μ ∫ a b g ( x ) d x \displaystyle \int_a^b(\lambda f(x)+\mu g(x))dx=\lambda\int_a^bf(x)dx+\mu \int_a^bg(x)dx ∫ab(λf(x)+μg(x))dx=λ∫abf(x)dx+μ∫abg(x)dx
3.3 ∫ a c f ( x ) d x + ∫ c b f ( x ) d x = ∫ a b f ( x ) d x \displaystyle \int_a^cf(x)dx+\int_c^bf(x)dx=\int_a^bf(x)dx ∫acf(x)dx+∫cbf(x)dx=∫abf(x)dx
3.4 若 f ( x ) f(x) f(x) 在区间 I I I 上可积,则 ∣ f ( x ) ∣ |f(x)| ∣f(x)∣ 也在 I I I 上可积,反过来则不一定成立。
3.5 f ( x ) ≥ 0 ⇒ ∫ a b f ( x ) d x ≥ 0 \displaystyle f(x)\ge 0\Rightarrow \int_a^bf(x)dx\ge 0 f(x)≥0⇒∫abf(x)dx≥0。
3.6 积分第一中值定理。
3.7 设 f ( x ) f(x) f(x) 在 [ a , b ] [a,b] [a,b] 上可积, g ( x ) = ∫ a x f ( x ) d x \displaystyle g(x)=\int_a^xf(x)dx g(x)=∫axf(x)dx,则有
( 1 ) (1) (1) g ( x ) g(x) g(x) 在 [ a , b ] [a,b] [a,b] 上连续。
( 2 ) (2) (2) 若 f ( x ) f(x) f(x) 在 [ a , b ] [a,b] [a,b] 上连续则 g ( x ) g(x) g(x) 在 [ a , b ] [a,b] [a,b] 上可导且 g ′ ( x ) = f ( x ) g'(x)=f(x) g′(x)=f(x)。
定积分的计算
4.1 微积分基本定理形式一。若
f
(
x
)
f(x)
f(x) 在
[
a
,
b
]
[a,b]
[a,b] 上连续,
F
(
x
)
F(x)
F(x) 是
f
(
x
)
f(x)
f(x) 的原函数,则
∫
a
b
f
(
x
)
d
x
=
F
(
b
)
−
F
(
a
)
\int_a^bf(x)dx=F(b)-F(a)
∫abf(x)dx=F(b)−F(a)
推广
f
(
x
)
f(x)
f(x) 的条件可弱化为
f
(
x
)
f(x)
f(x) 在
[
a
,
b
]
[a,b]
[a,b] 上分段连续。
4.2 换元积分公式。设
f
(
x
)
f(x)
f(x) 在
[
a
,
b
]
[a,b]
[a,b] 上连续,
φ
(
x
)
\varphi(x)
φ(x) 在
[
α
,
β
]
[\alpha,\beta]
[α,β] 上连续可导且满足
φ
(
α
)
=
a
,
φ
(
β
)
=
b
\varphi(\alpha)=a,\varphi(\beta)=b
φ(α)=a,φ(β)=b,则
∫
a
b
f
(
x
)
d
x
=
∫
α
β
f
(
φ
(
x
)
)
φ
′
(
x
)
d
x
\int_a^bf(x)dx=\int_\alpha^\beta f(\varphi(x))\varphi'(x)dx
∫abf(x)dx=∫αβf(φ(x))φ′(x)dx
推广
f
(
x
)
f(x)
f(x) 的条件可弱化为
f
(
x
)
f(x)
f(x) 在
[
a
,
b
]
[a,b]
[a,b] 上分段连续,
φ
(
x
)
\varphi(x)
φ(x) 的条件可弱化为分段光滑。
4.3 分部积分公式。设
f
(
x
)
f(x)
f(x) 在
[
a
,
b
]
[a,b]
[a,b] 上连续可导,
g
(
x
)
g(x)
g(x) 在
[
a
,
b
]
[a,b]
[a,b] 上连续,
G
(
x
)
G(x)
G(x) 是
g
(
x
)
g(x)
g(x) 的原函数,则
∫
a
b
f
(
x
)
g
(
x
)
d
x
=
f
(
x
)
G
(
x
)
∣
a
b
−
∫
a
b
f
′
(
x
)
G
(
x
)
d
x
\left.\int_a^bf(x)g(x)dx=f(x)G(x)\right|^b_a-\int_a^bf'(x)G(x)dx
∫abf(x)g(x)dx=f(x)G(x)∣∣∣∣∣ab−∫abf′(x)G(x)dx
推广
f
(
x
)
f(x)
f(x) 的条件可弱化为
f
(
x
)
f(x)
f(x) 在
[
a
,
b
]
[a,b]
[a,b] 上分段光滑,
g
(
x
)
g(x)
g(x) 在
[
a
,
b
]
[a,b]
[a,b] 上分段连续。
4.4 微积分基本定理形式二。若
f
(
x
)
f(x)
f(x) 在
[
a
,
b
]
[a,b]
[a,b] 上连续,
(
a
,
b
)
(a,b)
(a,b) 上可导,且
f
′
(
x
)
f'(x)
f′(x) 在
[
a
,
b
]
[a,b]
[a,b] 上可积,则
∫
a
b
f
′
(
x
)
d
x
=
f
(
b
)
−
f
(
a
)
\int_a^bf'(x)dx=f(b)-f(a)
∫abf′(x)dx=f(b)−f(a)
推广
f
(
x
)
f(x)
f(x) 在
(
a
,
b
)
(a,b)
(a,b) 上可导的条件可弱化为在
(
a
,
b
)
(a,b)
(a,b) 上只有有限个不可导点。
上面四个定理中各自的推广成立的原因在于变上限积分函数 ∫ a x f ( t ) d t \displaystyle \int_a^x f(t)dt ∫axf(t)dt 是连续的,以及有限个点存在与否不影响定积分的数值。
积分不等式
定积分的实质是求和式的极限,极限具有保序性,故一些与求和式有关的不等式可以推广至定积分。
(
1
)
(1)
(1) 柯西不等式的推广。
(
∫
a
b
f
(
x
)
g
(
x
)
d
x
)
2
≤
(
∫
a
b
f
2
(
x
)
d
x
)
(
∫
a
b
g
2
(
x
)
d
x
)
\left(\int_a^b f(x)g(x)dx\right)^2\le\left(\int_a^bf^2(x)dx\right)\left(\int_a^bg^2(x)dx\right)
(∫abf(x)g(x)dx)2≤(∫abf2(x)dx)(∫abg2(x)dx)
也称柯西施瓦兹不等式(
Cauchy–Schwarz
\text{Cauchy–Schwarz}
Cauchy–Schwarz)。
(
2
)
(2)
(2) 三角不等式的推广。
(
∫
a
b
(
f
(
x
)
+
g
(
x
)
)
2
d
x
)
1
2
≤
(
∫
a
b
f
2
(
x
)
d
x
)
1
2
+
(
∫
a
b
g
2
(
x
)
d
x
)
1
2
\left(\int_a^b (f(x)+g(x))^2dx\right)^{1\over 2}\le\left(\int_a^bf^2(x)dx\right)^{1\over 2}+\left(\int_a^bg^2(x)dx\right)^{1\over 2}
(∫ab(f(x)+g(x))2dx)21≤(∫abf2(x)dx)21+(∫abg2(x)dx)21
(
3
)
(3)
(3) 设
g
(
x
)
g(x)
g(x) 是下凸函数,则有琴生不等式的推广。
g
(
∫
a
b
f
(
x
)
d
x
)
≤
∫
a
b
g
(
f
(
x
)
)
d
x
g\left(\int_a^bf(x)dx\right)\le\int_a^bg(f(x))dx
g(∫abf(x)dx)≤∫abg(f(x))dx
上凸函数的情况类似。