积分保号性
积分保号性描述了函数符号与积分值符号之间的关系。
基本定理
定理3
设 f(x) 在 [a,b] 上连续,则:
- 如果 f(x)≥0 在 [a,b] 上成立,则 ∫abf(x)dx≥0
- 如果 f(x)>0 在 [a,b] 上成立,则 ∫abf(x)dx>0
应用例子
例子:证明 ∫01x2dx>0
解:
- 在 [0,1] 上,x2≥0 且只在 x=0 时等于 0
- 由于 x2 在 [0,1] 上连续且非负,根据积分保号性,∫01x2dx≥0
- 进一步,由于 x2>0 在 (0,1] 上成立,所以 ∫01x2dx>0
练习题
练习 1
设 f(x) 在 [0,1] 上连续且 f(x)≥0。证明 ∫01f(x)dx≥0,并说明什么时候能取到严格大于零。
定积分积分保号性连续性
解题思路:非负性直接由保号性给出;严格性则要用连续性——只要 f 在某一点取正值,由连续性它在该点的一个邻域内有一个正的间隙,这个邻域含有长度为正的区间,积分因此严格为正。
详细步骤:
- 由保号性:f(x)≥0 于 [0,1] 时,∫01f(x)dx≥0。
- 严格性:若存在 x0∈[0,1] 使 f(x0)>0,由 f 在 x0 处连续,存在 δ>0 使 f(x)≥2f(x0)>0 对一切 x∈[0,1]∩(x0−δ,x0+δ) 成立。该交集含有长度为正的区间,故 ∫01f(x)dx>0。
- 反之,若 f(x)≡0 于 [0,1],则 ∫01f(x)dx=0。
最终答案:∫01f(x)dx≥0,且 ∫01f(x)dx=0 当且仅当 f(x)≡0 于 [0,1](只要 f 在某一点取正值,积分就严格大于零)
练习 2
设 f(x) 在 [0,1] 上连续且 f(x)≥x2。证明 ∫01f(x)dx≥31,并讨论等号成立的充要条件。
定积分积分保号性比较性质积分估计
解题思路:把条件改写成 g(x)=f(x)−x2≥0,g 连续,于是可用保号性得到 ∫01g(x)dx≥0,即 ∫01f(x)dx≥∫01x2dx;等号条件则归结为”g 连续、非负且积分为零,故 g 恒为零”。
详细步骤:
- 令 g(x)=f(x)−x2。在 [0,1] 上 g(x)≥0,且 g 连续。
- 由保号性:∫01g(x)dx≥0,即 ∫01f(x)dx−∫01x2dx≥0。
- 计算 ∫01x2dx=[3x3]01=31,所以 ∫01f(x)dx≥31。
- 等号条件:等号成立即 ∫01g(x)dx=0。由练习 1 的结论,g 连续、非负且积分为零时必有 g(x)≡0 于 [0,1],即 f(x)≡x2;反过来 f(x)≡x2 时积分确实等于 31。
最终答案:∫01f(x)dx≥31,等号成立当且仅当 f(x)≡x2 于 [0,1]
练习 3
设 f(x) 在 [0,1] 上连续,且 ∫01f(x)dx<0。证明 f 在 (0,1) 内必有取负值的点。
定积分积分保号性连续性
解题思路:反设 f 在 (0,1) 内处处非负。由连续性,端点处的函数值也不能为负,否则在靠近端点的邻域内函数仍取负值;于是 f 在整个 [0,1] 上非负,保号性给出积分非负,与积分小于零矛盾。
详细步骤:
- 反设对一切 x∈(0,1) 都有 f(x)≥0。
- 由连续性,f(0)≥0 且 f(1)≥0:若例如 f(0)<0,由连续性存在 δ>0 使 f(x)<0 对一切 x∈(0,δ) 成立,与反设矛盾;f(1) 的情形同理。
- 于是 f(x)≥0 于整个 [0,1],由保号性得 ∫01f(x)dx≥0,与已知的 ∫01f(x)dx<0 矛盾。
- 所以反设不成立,必存在 η∈(0,1) 使 f(η)<0。
最终答案:存在 η∈(0,1) 使得 f(η)<0
总结
本文出现的符号
| 符号 | 类型 | 读音/说明 | 在本文中的含义 |
|---|
| ∫ab | 数学符号 | integral from a to b | 区间 [a,b] 上的定积分 |
| f(x) | 数学符号 | f of x | 被积函数 |
| [a,b] | 数学符号 | closed interval | 闭区间 |
| ≥,> | 数学符号 | greater than or equal / greater than | 大于等于、大于 |
| dx | 数学符号 | differential of x | 积分变量 x 的微分元素 |
中英对照
| 中文术语 | 英文术语 | 音标 | 说明 |
|---|
| 保号性 | sign-preserving property | /saɪn prɪˈzɜːvɪŋ ˈprɒpəti/ | 函数符号保持到积分符号的性质 |
| 非负 | non-negative | /ˌnɒn ˈneɡətɪv/ | 大于或等于零 |
| 连续 | continuous | /kənˈtɪnjuəs/ | 函数不间断的性质 |
| 被积函数 | integrand | /ˈɪntɪɡrænd/ | 积分号内的函数 |