积分第二中值定理的证明

_不会dp不改名_

于 2024-09-10 16:16:35 发布

阅读量838

点赞数 23

分类专栏：杂项文章标签：数学分析

本文链接：https://blog.csdn.net/bdn_nbd/article/details/142101901

版权

杂项专栏收录该内容

15 篇文章 0 订阅

订阅专栏

1. 定义

$f$ 在 $[a, b]$ 上可积
(1) $g (x)$ 在 $[a, b]$ 上单调递减，且 $\forall x \in [a, b], g(x) \ge 0$ ;
那么 $\exists \xi \in [a, b], \ s.t.\ \int_a^b f(x)g(x)dx = g(a)\int_a^\xi f(x)dx$ 。
(2) $g (x)$ 在 $[a, b]$ 上单调递增，且 $\forall x \in [a, b], g(x) \ge 0$ ;
那么 $\exists \xi \in [a, b], \ s.t. \ \int_a^bf(x)g(x)dx = g(b)\int_\xi^bf(x)dx$ 。

2. 证明

2.1 证明(1)

令 $\int_a^x f(t)dt, F(a) = 0; \int_{x_{i-1}}^{x_i} f(t)dt = F(x_i) - F(x_{i-1})$ 。
$f (x)$ 在 $[a, b]$ 上可积，则积分上限函数 $F (x)$ 在 $[a, b]$ 上连续，且在 $[a, b]$ 上有最大值和最小值。
$\sup\{F(x): x \in [a, b]\}, m = \inf\{ F(x): x \in [a, b]\}$ 。
$f (x)$ 在 $[a, b]$ 上可积，则 $f (x)$ 在 $[a, b]$ 上有界；不妨设 $\in [a, b]$ 。
由于 $g (x)$ 单调，那么 $g (x)$ 可积。
由 $g (x)$ 可积得到， $\forall \epsilon > 0, \exists \pi: a = x_0 < x_1 < \cdots < x_n = b, \ s.t. \ \sum\limits_{i=1}^n \omega_i \Delta x_i < \frac{\epsilon}{L}$ 。
$f (x)$ 在 $[a, b]$ 上可积，可得：
$\begin{align*} \int_a^b f(x)g(x)dx &= \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)g(x)dx\\ & = \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)[g(x) - g(x_{i-1}) + g(x_{i-1})]dx\\ & = \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)[g(x) - g(x_{i-1})]dx + \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)g(x_{i-1})dx \end{align*}$
我们令 $\int_a^b f(x)g(x)dx, I_1 = \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)[g(x) - g(x_{i-1})]dx, I_2 = \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)g(x_{i-1})dx$ ;显然有 $I = I_1 + I_2$ 。
对于 $I_1$ , 有 $I_1 = \int_a^b f(x)g(x)dx \le \sum\limits_{i=1}^n |f(x)||g(x) - g(x_{i-1})|dx \le L\sum\limits_{i=1}^n |g(x) - g(x_{i-1})|dx \le L \sum\limits_{i=1}^n \omega_i \Delta x_i < L \frac{\epsilon}{L} = \epsilon$ , 因此 $I_1 = 0, I = I_2$ 。
对于 $I_2= \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)g(x_{i-1})dx = \sum\limits_{i=1}^n g(x_{i-1}) \int_{x_{i-1}}^{x_i}f(x)dx$ , 又 $\int_{x_{i-1}}^{x_i} f(x)dx = F(x_i) - F(x_{i-1})$ ; 因此 $I_2 = \sum\limits_{i=1}^n g(x_{i-1})(F(x_i) - F(x_{i-1}))$ 。
我们引入阿贝尔变换：
$\begin{align*} A_i = \sum\limits_{j=1}^i a_i \\ \sum\limits_{i=1}^n a_i b_i + \sum\limits_{i=2}^n A_{i-1}b_i = \sum\limits_{i=1}^n A_ib_i\\ \sum\limits_{i=1}^n a_i b_i &= \sum\limits_{i=1}^n A_i b_i - \sum\limits_{i=2}^n A_{i-1}b_i \\ &= \sum\limits_{i=1}^n A_i b_i - \sum\limits_{i=1}^{n-1} A_i b_{i+1}\\ &= A_n b_n + \sum\limits_{i=1}^{n-1} A_i(b_i - b_{i+1})\\ \end{align*}$
将 $I_2$ 作阿贝尔变换得 $I_2 = \sum\limits_{i=1}^n g(x_{i-1})(F(x_i) - F(x_{i-1})) = \sum\limits_{i=1}^{n-1}F(x_i)(g(x_{i-1}) - g(x_i)) + g(x_{n-1})F(x_n)$ 。\
由 $\le F(x) \le M, x \in [a,b]$ , 将 $I_2$ 值放缩不难得到 $\le I_2 \le Mg(a)$ ; 即 $I_2 = \eta g(a), \eta \in [m, M]$ 。
由 $F (x)$ 的介值性不难得到， $\exists \xi \in [a, b], \ s.t. \ F(\xi) = \eta$ , 综上整理可得 $\exists \xi \in [a, b], \ s.t.\ g(a)\int_a^\xi f(x)dx= \int_a^b f(x)g(x)dx$ 。

2.2 证明(2)

令 $\int_x^b f(t)dt, F(b) = 0; \int_{x_{i-1}}^{x_i} f(t)dt = F(x_{i-1}) - F(x_{i})$ 。
$f (x)$ 在 $[a, b]$ 上可积，则积分上限函数 $F (x)$ 在 $[a, b]$ 上连续，且在 $[a, b]$ 上有最大值和最小值。
$\sup\{F(x): x \in [a, b]\}, m = \inf\{ F(x): x \in [a, b]\}$ 。
$f (x)$ 在 $[a, b]$ 上可积，则 $f (x)$ 在 $[a, b]$ 上有界；不妨设 $\in [a, b]$ 。
由于 $g (x)$ 单调，那么 $g (x)$ 可积。
由 $g (x)$ 可积得到， $\forall \epsilon > 0, \exists \pi: a = x_0 < x_1 < \cdots < x_n = b, \ s.t. \ \sum\limits_{i=1}^n \omega_i \Delta x_i < \frac{\epsilon}{L}$ 。
$f (x)$ 在 $[a, b]$ 上可积，可得：
$\begin{align*} \int_a^b f(x)g(x)dx &= \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)g(x)dx\\ & = \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)[g(x) - g(x_{i}) + g(x_{i})]dx\\ & = \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)[g(x) - g(x_{i})]dx + \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)g(x_{i})dx \end{align*}$
我们令 $\int_a^b f(x)g(x)dx, I_1 = \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)[g(x) - g(x_{i})]dx, I_2 = \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)g(x_{i})dx$ ;显然有 $I = I_1 + I_2$ 。
对于 $I_1$ , 有 $I_1 = \int_a^b f(x)g(x)dx \le \sum\limits_{i=1}^n |f(x)||g(x) - g(x_{i})|dx \le L\sum\limits_{i=1}^n |g(x) - g(x_{i})|dx \le L \sum\limits_{i=1}^n \omega_i \Delta x_i < L \frac{\epsilon}{L} = \epsilon$ , 因此 $I_1 = 0, I = I_2$ 。
对于 $I_2= \sum\limits_{i=1}^n \int_{x_{i-1}}^{x_i} f(x)g(x_{i})dx = \sum\limits_{i=1}^n g(x_{i}) \int_{x_{i-1}}^{x_i}f(x)dx$ , 又 $\int_{x_{i-1}}^{x_i} f(x)dx = F(x_{i-1}) - F(x_{i})$ ; 因此 $I_2 = \sum\limits_{i=1}^n g(x_{i})(F(x_{i-1}) - F(x_{i}))$ 。
对 $I_2$ 作如下变化：
$\begin{align*} \sum\limits_{i=1}^n g(x_{i})(F(x_{i-1}) - F(x_i)) &= \sum\limits_{i=1}^n g(x_i)F(x_{i-1}) - \sum\limits_{i=1}^n g(x_i)F(x_i) \\ &= \sum\limits_{i=0}^{n-1} g(x_{i+1})F(x_i) - \sum\limits_{i=1}^{n} g(x_i)F(x_i) \\ &= g(x_1)F(x_0) + \sum\limits_{i=1}^{n-1} (g(x_{i+1}) - g(x_i))F(x_i) - g(x_n)F(x_n) \quad (x_n = b, F(x_n) = F(b) = 0)\\ &= g(x_1)F(x_0) + \sum\limits_{i=1}^{n-1} (g(x_{i+1}) - g(x_i))F(x_i) \end{align*}$
由 $\le F(x) \le M, x \in [a,b]$ , 将 $I_2$ 值放缩不难得到 $\le I_2 \le Mg(b)$ ; 即 $I_2 = \eta g(a), \eta \in [m, M]$ 。
由 $F (x)$ 的介值性不难得到，
$\exists \xi \in [a, b], \ s.t. \ F(\xi) = \eta$ , 综上整理可得 $\exists \xi \in [a, b], \ s.t.\ g(b)\int_\xi^b f(x)dx= \int_a^b f(x)g(x)dx$ 。