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
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
上凸函数的情况类似。