定积分习题（三）

习题（三）主要涉及积分第一中值定理的运用。

1. 设 $f(x)$ 在 $[0,\pi ]$ 上连续且满足
$${\int }_0^{\pi }f(x)\cos xdx=0={\int }_0^{\pi }f(x)\sin xdx$$
求证 $f(x)$ 在 $(0,\pi )$ 内至少有两个零点。

证明

若 $f(x)$ 在 $(0,\pi )$ 内没有零点，可以证明 ${\int }_0^{\pi }f(x)\sin xdx\ne 0$，矛盾。

故设 $\xi \in (0,\pi )$，满足 $f(\xi )=0$。

反设 $f(x)$ 在 $[0,\pi ]$ 有且仅有 $\xi$ 这一个零点，现在推矛盾。

因为 $f(x)$ 在 $[0,\xi ]$ 和 $[\xi ,\pi ]$ 上分别不变号。

再由积分第一中值定理可得 $\exists {\xi }_1\in [0,\xi ],{\xi }_2\in [\xi ,\pi ]$ 使得
$$\begin{array}{rl}{\int }_0^{\pi }f(x)\cos xdx& ={\int }_0^{\xi }f(x)\cos xdx+{\int }_{\xi }^{\pi }f(x)\cos xdx\\ & =f({\xi }_1){\int }_0^{\xi }\cos xdx+f({\xi }_2){\int }_{\xi }^{\pi }\cos xdx\\ & =(f({\xi }_1)-f({\xi }_2))\sin (\xi )\end{array}$$
注意到 ${\int }_0^{\xi }f(x)\cos xdx$ 与 ${\int }_{\xi }^{\pi }f(x)\cos xdx$ 两者其中之一至少不为 $0$。

所以 $f({\xi }_1)$ 与 $f({\xi }_2)$ 其中之一至少不为 $0$，而 $f({\xi }_1)$ 与 $f({\xi }_2)$ 符号不可能相同，所以 $f({\xi }_1)-f({\xi }_2)\ne 0$。

矛盾，故 $f(x)$ 在 $[0,\pi ]$ 上至少有两零点。

2. 设 $f(x)$ 在 $[0,2\pi ]$ 上可积，求证
$$\underset{n\to \infty }{\lim }{\int }_0^{2\pi }f(x)\sin nxdx=0$$
证明

当 $n$ 相当大时，$\sin nx$ 会在小区间内在 $-1$ 与 $1$ 之间来回波动，若 $f(x)$ 在小区间内波动较小，则 $f(x)\sin nx$ 在小区间上的积分值会因 $\sin nx$ 的正负波动而抵消至 $0$，因此考虑将积分切成小块分别讨论。

取 $x_i=i\cdot \frac{2\pi }{n}(i=0,...,n)$，$\Delta x_i=x_i-x_{i-1}$， 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$。

$\forall \epsilon >0,\exists N,\forall n>N$，有 $\sum _{i=1}^n{w}_i\Delta x_i<\epsilon$。

任取 i ∈ { 1 , 2 , . . . , n } i\in\{1,2,...,n\} i∈{1,2,...,n}，考虑积分的一个小块
$$\begin{array}{rl}{\int }_{(i-1)\frac{2\pi }{n}}^{i\frac{2\pi }{n}}f(x)\sin nxdx& ={\int }_{(2i-2)\frac{\pi }{n}}^{(2i-1)\frac{\pi }{n}}f(x)\sin nxdx+{\int }_{(2i-1)\frac{\pi }{n}}^{2i\frac{\pi }{n}}f(x)\sin nxdx\end{array}$$
注意到 $\sin nx$ 在 $I_1=[(2i-2)\frac{\pi }{n},(2i-1)\frac{\pi }{n}]$ 上非负，在 $I_2=[(2i-1)\frac{\pi }{n},2i\frac{\pi }{n}]$ 上非正，由积分第一中值定理可知 $\exists {\xi }_1\in I_1,{\xi }_2\in I_2$，使得
$$\begin{array}{rl}{\int }_{(2i-2)\frac{\pi }{n}}^{(2i-1)\frac{\pi }{n}}f(x)\sin nxdx& =f({\xi }_1){\int }_{(2i-2)\frac{\pi }{n}}^{(2i-1)\frac{\pi }{n}}\sin nxdx\\ & =\frac{f({\xi }_1)}{n}\end{array}$$

$$\begin{array}{rl}{\int }_{(2i-1)\frac{\pi }{n}}^{2i\frac{\pi }{n}}f(x)\sin nxdx& =f({\xi }_2){\int }_{(2i-1)\frac{\pi }{n}}^{2i\frac{\pi }{n}}\sin nxdx\\ & =-\frac{f({\xi }_2)}{n}\end{array}$$

将小块们整合起来就得到
$$\begin{array}{rl}\left|{\int }_0^{2\pi }f(x)\sin nxdx\right|& \le \sum _{i=1}^n\left|{\int }_{x_{i-1}}^{x_i}f(x)\sin nxdx\right|\\ & =\sum _{i=1}^n\frac{1}{n}|f({\xi }_1)-f({\xi }_2)|\\ & \le \sum _{i=1}^n{w}_i\Delta x_i\\ & <\epsilon \end{array}$$
证毕。

这种给定积分分段然后分别估计的技巧须熟练掌握。