积分保号性

积分保号性描述了函数符号与积分值符号之间的关系。

基本定理

定理3

设 f(x)f(x) 在 [a,b][a, b] 上连续,则:

  1. 如果 f(x)≥0f(x) \geq 0 在 [a,b][a, b] 上成立,则 ∫abf(x)dx≥0\int_a^b f(x) dx \geq 0
  2. 如果 f(x)>0f(x) > 0 在 [a,b][a, b] 上成立,则 ∫abf(x)dx>0\int_a^b f(x) dx > 0

应用例子

例子:证明 ∫01x2dx>0\int_0^1 x^2 dx > 0

解:

  • 在 [0,1][0, 1] 上,x2≥0x^2 \geq 0 且只在 x=0x = 0 时等于 0
  • 由于 x2x^2 在 [0,1][0, 1] 上连续且非负,根据积分保号性,∫01x2dx≥0\int_0^1 x^2 dx \geq 0
  • 进一步,由于 x2>0x^2 > 0 在 (0,1](0, 1] 上成立,所以 ∫01x2dx>0\int_0^1 x^2 dx > 0

练习题

练习 1

设 f(x)f(x) 在 [0,1][0, 1] 上连续且 f(x)≥0f(x) \geq 0。证明 ∫01f(x)dx≥0\int_0^1 f(x) dx \geq 0,并说明什么时候能取到严格大于零。

定积分积分保号性连续性

解题思路:非负性直接由保号性给出;严格性则要用连续性——只要 ff 在某一点取正值,由连续性它在该点的一个邻域内有一个正的间隙,这个邻域含有长度为正的区间,积分因此严格为正。

详细步骤:

  1. 由保号性:f(x)≥0f(x) \geq 0 于 [0,1][0, 1] 时,∫01f(x)dx≥0\int_0^1 f(x) dx \geq 0。
  2. 严格性:若存在 x0∈[0,1]x_0 \in [0, 1] 使 f(x0)>0f(x_0) > 0,由 ff 在 x0x_0 处连续,存在 δ>0\delta > 0 使 f(x)≥f(x0)2>0f(x) \geq \frac{f(x_0)}{2} > 0 对一切 x∈[0,1]∩(x0−δ,x0+δ)x \in [0, 1] \cap (x_0 - \delta, x_0 + \delta) 成立。该交集含有长度为正的区间,故 ∫01f(x)dx>0\int_0^1 f(x) dx > 0。
  3. 反之,若 f(x)≡0f(x) \equiv 0 于 [0,1][0, 1],则 ∫01f(x)dx=0\int_0^1 f(x) dx = 0。

最终答案:∫01f(x)dx≥0\int_0^1 f(x) dx \geq 0,且 ∫01f(x)dx=0\int_0^1 f(x) dx = 0 当且仅当 f(x)≡0f(x) \equiv 0 于 [0,1][0, 1](只要 ff 在某一点取正值,积分就严格大于零)

练习 2

设 f(x)f(x) 在 [0,1][0, 1] 上连续且 f(x)≥x2f(x) \geq x^2。证明 ∫01f(x)dx≥13\int_0^1 f(x) dx \geq \frac{1}{3},并讨论等号成立的充要条件。

定积分积分保号性比较性质积分估计

解题思路:把条件改写成 g(x)=f(x)−x2≥0g(x) = f(x) - x^2 \geq 0,gg 连续,于是可用保号性得到 ∫01g(x)dx≥0\int_0^1 g(x) dx \geq 0,即 ∫01f(x)dx≥∫01x2dx\int_0^1 f(x) dx \geq \int_0^1 x^2 dx;等号条件则归结为”gg 连续、非负且积分为零,故 gg 恒为零”。

详细步骤:

  1. 令 g(x)=f(x)−x2g(x) = f(x) - x^2。在 [0,1][0, 1] 上 g(x)≥0g(x) \geq 0,且 gg 连续。
  2. 由保号性:∫01g(x)dx≥0\int_0^1 g(x) dx \geq 0,即 ∫01f(x)dx−∫01x2dx≥0\int_0^1 f(x) dx - \int_0^1 x^2 dx \geq 0。
  3. 计算 ∫01x2dx=[x33]01=13\int_0^1 x^2 dx = \left[\frac{x^3}{3}\right]_0^1 = \frac{1}{3},所以 ∫01f(x)dx≥13\int_0^1 f(x) dx \geq \frac{1}{3}。
  4. 等号条件:等号成立即 ∫01g(x)dx=0\int_0^1 g(x) dx = 0。由练习 1 的结论,gg 连续、非负且积分为零时必有 g(x)≡0g(x) \equiv 0 于 [0,1][0, 1],即 f(x)≡x2f(x) \equiv x^2;反过来 f(x)≡x2f(x) \equiv x^2 时积分确实等于 13\frac{1}{3}。

最终答案:∫01f(x)dx≥13\int_0^1 f(x) dx \geq \frac{1}{3},等号成立当且仅当 f(x)≡x2f(x) \equiv x^2 于 [0,1][0, 1]

练习 3

设 f(x)f(x) 在 [0,1][0, 1] 上连续,且 ∫01f(x)dx<0\int_0^1 f(x) dx < 0。证明 ff 在 (0,1)(0, 1) 内必有取负值的点。

定积分积分保号性连续性

解题思路:反设 ff 在 (0,1)(0, 1) 内处处非负。由连续性,端点处的函数值也不能为负,否则在靠近端点的邻域内函数仍取负值;于是 ff 在整个 [0,1][0, 1] 上非负,保号性给出积分非负,与积分小于零矛盾。

详细步骤:

  1. 反设对一切 x∈(0,1)x \in (0, 1) 都有 f(x)≥0f(x) \geq 0。
  2. 由连续性,f(0)≥0f(0) \geq 0 且 f(1)≥0f(1) \geq 0:若例如 f(0)<0f(0) < 0,由连续性存在 δ>0\delta > 0 使 f(x)<0f(x) < 0 对一切 x∈(0,δ)x \in (0, \delta) 成立,与反设矛盾;f(1)f(1) 的情形同理。
  3. 于是 f(x)≥0f(x) \geq 0 于整个 [0,1][0, 1],由保号性得 ∫01f(x)dx≥0\int_0^1 f(x) dx \geq 0,与已知的 ∫01f(x)dx<0\int_0^1 f(x) dx < 0 矛盾。
  4. 所以反设不成立,必存在 η∈(0,1)\eta \in (0, 1) 使 f(η)<0f(\eta) < 0。

最终答案:存在 η∈(0,1)\eta \in (0, 1) 使得 f(η)<0f(\eta) < 0


总结

本文出现的符号

符号类型读音/说明在本文中的含义
∫ab\int_a^b数学符号integral from a to b区间 [a,b][a, b] 上的定积分
f(x)f(x)数学符号f of x被积函数
[a,b][a, b]数学符号closed interval闭区间
≥,>\geq, >数学符号greater than or equal / greater than大于等于、大于
dxdx数学符号differential of x积分变量 xx 的微分元素

中英对照

中文术语英文术语音标说明
保号性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/积分号内的函数

发现内容有问题?

告诉我们哪里需要改进。