第5章 函数的整体与局部性质

Important

微分中值定理（拉格朗日中值定理）: 设函数 $f(x)$$f(x)$ 在闭区间 $[a,b]$$[a, b]$ 上连续，并且在开区间 $(a,b)$$(a, b)$ 上可导。那么，存在一个点 $c\in (a,b)$$c \in (a, b)$，使得:

该定理的几何意义是: 在曲线 $y=f(x)$$y = f(x)$ 上，至少存在一点 $c$$c$，它的切线斜率等于割线通过点 $(a,f(a))$$(a, f(a))$ 和 $(b,f(b))$$(b, f(b))$ 的斜率。

Important

罗尔中值定理

罗尔中值定理: 设函数 $f(x)$$f(x)$ 在闭区间 $[a,b]$$[a, b]$ 上连续，在开区间 $(a,b)$$(a, b)$ 上可导，并且 $f(a)=f(b)$$f(a) = f(b)$。那么，存在一个点 $c\in (a,b)$$c \in (a, b)$，使得:

几何意义: 如果一条连续光滑的曲线在两个端点处的高度相同，那么至少存在一点，该点的切线是水平的。

证明思路: 如果函数在闭区间上恒为常数，结论显然成立。否则，根据极值定理，函数在闭区间上必有最大值和最小值，且至少有一个极值点出现在开区间内部，在该点处导数为零。

Important

拉格朗日中值定理

设函数 $f(x)$$f(x)$ 在闭区间 $[a,b]$$[a, b]$ 上连续，并且在开区间 $(a,b)$$(a, b)$ 上可导。那么，存在一个点 $c\in (a,b)$$c \in (a, b)$，使得:

几何意义: 在曲线 $y=f(x)$$y = f(x)$ 上，至少存在一点 $c$$c$，它的切线斜率等于割线通过点 $(a,f(a))$$(a, f(a))$ 和 $(b,f(b))$$(b, f(b))$ 的斜率。

证明思路: 构造辅助函数 $g(x)=f(x)-{\displaystyle \frac{f(b)-f(a)}{b-a}(x-a)}$$g(x) = f(x) - \displaystyle\frac{f(b)-f(a)}{b-a}(x-a)$，使得 $g(a)=g(b)$$g(a)=g(b)$，然后应用罗尔定理。

Important

柯西中值定理

设函数 $f(x)$$f(x)$ 和 $g(x)$$g(x)$ 在闭区间 $[a,b]$$[a, b]$ 上连续，在开区间 $(a,b)$$(a, b)$ 上可导，且 $g^{\prime }(x)\ne 0$$g'(x) \neq 0$ 对于所有 $x\in (a,b)$$x \in (a, b)$ 成立。那么，存在一个点 $c\in (a,b)$$c \in (a, b)$，使得:

几何意义: 考虑由参数方程 $x=g(t),y=f(t)$$x = g(t), y = f(t)$ 表示的曲线，从 $t=a$$t=a$ 到 $t=b$$t=b$。连接曲线两端点的割线斜率为 ${\displaystyle \frac{f(b)-f(a)}{g(b)-g(a)}}$$\displaystyle\frac{f(b)-f(a)}{g(b)-g(a)}$，而曲线上在 $t=c$$t=c$ 处的切线斜率为 ${\displaystyle \frac{f^{\prime }(c)}{g^{\prime }(c)}}$$\displaystyle\frac{f'(c)}{g'(c)}$。柯西中值定理说明，至少存在一点 $c$$c$，使得切线斜率等于割线斜率。

证明思路: 构造辅助函数 $h(x)=f(x)-{\displaystyle \frac{f(b)-f(a)}{g(b)-g(a)}[g(x)-g(a)]}$$h(x) = f(x) - \displaystyle\frac{f(b)-f(a)}{g(b)-g(a)}[g(x)-g(a)]$，使得 $h(a)=h(b)$$h(a)=h(b)$，然后应用罗尔定理。

Important

三个中值定理的关系

• 罗尔定理是拉格朗日定理的特殊情况: 当 $f(a)=f(b)$$f(a)=f(b)$ 时，拉格朗日定理的结论退化为罗尔定理的结论。

• 拉格朗日定理是柯西定理的特殊情况: 当 $g(x)=x$$g(x)=x$ 时，柯西定理的结论退化为拉格朗日定理的结论。

• 这三个定理都是描述函数在区间上整体变化率与局部变化率之间的关系，都是存在性定理。

Important

积分中值定理

设函数 $f(x)$$f(x)$ 在闭区间 $[a,b]$$[a, b]$ 上连续，则存在一点 $c\in [a,b]$$c \in [a, b]$，使得

数值 ${\displaystyle \frac{1}{b-a}{\int }_a^{b}f(x)dx}$$\displaystyle\frac{1}{b-a} \int_a^b f(x) dx$ 称为函数 $f(x)$$f(x)$ 在区间 $[a,b]$$[a,b]$ 上的积分平均值。

几何意义: 由曲线 $y=f(x)$$y = f(x)$、直线 $x=a$$x=a$、$x=b$$x=b$ 和 $x$$x$ 轴所围成的曲边梯形的面积，等于以 $f(c)$$f(c)$ 为高的矩形的面积。

证明:

由于 $f(x)$$f(x)$ 在 $[a,b]$$[a, b]$ 上连续，根据闭区间上连续函数的性质:

1. $f(x)$$f(x)$ 在 $[a,b]$$[a, b]$ 上取得最小值 $m$$m$ 和最大值 $M$$M$，即

   $$m\le f(x)\le M,\mathrm{\forall }x\in [a,b]$$

2. 对不等式两边在 $[a,b]$$[a,b]$ 上积分:

   $${\int }_a^{b}mdx\le {\int }_a^{b}f(x)dx\le {\int }_a^{b}Mdx$$

   即

   $$m(b-a)\le {\int }_a^{b}f(x)dx\le M(b-a)$$

3. 因此:

   $$m\le \frac{1}{b-a}{\int }_a^{b}f(x)dx\le M$$

4. 根据连续函数的介值定理，存在 $c\in [a,b]$$c \in [a,b]$，使得

   $$f(c)=\frac{1}{b-a}{\int }_a^{b}f(x)dx$$

5. 即:

   $${\int }_a^{b}f(x)dx=f(c)(b-a)$$

证毕。

Important

推广的积分中值定理

设函数 $f(x)$$f(x)$ 和 $g(x)$$g(x)$ 在闭区间 $[a,b]$$[a, b]$ 上连续，且 $g(x)$$g(x)$ 在 $[a,b]$$[a, b]$ 上不变号，则存在一点 $c\in [a,b]$$c \in [a, b]$，使得

证明思路: 类似基本定理的证明，利用最值定理和介值定理。

应用: 在加权平均、概率论和物理问题中有广泛应用。

Important

洛必达法则: 设函数 $f(x)$$f(x)$ 和 $g(x)$$g(x)$ 在点 $a$$a$ 的某个去心邻域内可导，且满足:

1. $\underset{x\to a}{lim}f(x)=\underset{x\to a}{lim}g(x)=0$$\lim\limits_{x \to a} f(x) = \lim\limits_{x \to a} g(x) = 0$（或 $\mathrm{\infty }$$\infty$）

2. $g^{\prime }(x)\ne 0$$g'(x) \neq 0$ 在该邻域内

3. $\underset{x\to a}{lim}{\displaystyle \frac{f^{\prime }(x)}{g^{\prime }(x)}}$$\lim\limits_{x \to a} \dfrac{f'(x)}{g'(x)}$ 存在（或为 $\mathrm{\infty }$$\infty$）

则:

证明（${\displaystyle \frac{0}{0}}$$\displaystyle\frac{0}{0}$型情形）:

第一步: 函数延拓 定义:

由于 $\underset{x\to a}{lim}f(x)=\underset{x\to a}{lim}g(x)=0$$\lim\limits_{x \to a} f(x) = \lim\limits_{x \to a} g(x) = 0$，$F(x)$$F(x)$ 和 $G(x)$$G(x)$ 在 $x=a$$x=a$ 处连续。

第二步: 应用柯西中值定理 在包含 $a$$a$ 和 $x$$x$ 的区间上（$x\ne a$$x \neq a$），$F(x)$$F(x)$ 和 $G(x)$$G(x)$ 满足柯西中值定理的条件:

• 在闭区间上连续

• 在开区间上可导

• $G^{\prime }(x)=g^{\prime }(x)\ne 0$$G'(x) = g'(x) \neq 0$

因此，存在 $\xi$$\xi$ 介于 $a$$a$ 和 $x$$x$ 之间，使得:

由于 $F(a)=G(a)=0$$F(a) = G(a) = 0$，上式化为:

第三步: 取极限 当 $x\to a$$x \to a$ 时，$\xi \to a$$\xi \to a$（因为 $\xi$$\xi$ 介于 $a$$a$ 和 $x$$x$ 之间），所以:

这就完成了 ${\displaystyle \frac{0}{0}}$$\displaystyle\frac{0}{0}$ 型情形的证明。

Important

无穷小量的定义

无穷小量是指在某个极限过程中趋近于零的量。更精确地说:

设函数 $f(x)$$f(x)$ 在点 $x_0$$x_0$ 的某个去心邻域内有定义。如果

则称 $f(x)$$f(x)$ 为 $x\to x_0$$x \to x_0$ 时的无穷小量。

类似地，可以定义 $x\to \mathrm{\infty }$$x \to \infty$ 时的无穷小量。

例子:

• 当 $x\to 0$$x \to 0$ 时，$x$$x$, $x^2$$x^2$, $\sin x$$\sin x$ 都是无穷小量

• 当 $x\to \mathrm{\infty }$$x \to \infty$ 时，${\displaystyle \frac{1}{x}}$$\displaystyle\frac{1}{x}$, ${\displaystyle \frac{1}{x^2}}$$\displaystyle\frac{1}{x^2}$ 都是无穷小量

Important

无穷小量的比较

不同的无穷小量趋近于零的"速度"可能不同。为了比较这种差异，我们引入以下概念:

设 $\alpha (x)$$\alpha(x)$ 和 $\beta (x)$$\beta(x)$ 都是 $x\to x_0$$x \to x_0$ 时的无穷小量，且 $\beta (x)\ne 0$$\beta(x) \neq 0$。

1. 高阶无穷小: 如果 ${\displaystyle \underset{x\to x_0}{lim}\frac{\alpha (x)}{\beta (x)}=0}$$\displaystyle\lim_{x \to x_0} \frac{\alpha(x)}{\beta(x)} = 0$，则称 $\alpha (x)$$\alpha(x)$ 是 $\beta (x)$$\beta(x)$ 的高阶无穷小，记作 $\alpha (x)=o(\beta (x))$$\alpha(x) = o(\beta(x))$.

2. 等价无穷小: 如果 ${\displaystyle \underset{x\to x_0}{lim}\frac{\alpha (x)}{\beta (x)}=1}$$\displaystyle\lim_{x \to x_0} \frac{\alpha(x)}{\beta(x)} = 1$，则称 $\alpha (x)$$\alpha(x)$ 与 $\beta (x)$$\beta(x)$ 是等价无穷小，记作 $\alpha (x)\sim \beta (x)$$\alpha(x) \sim \beta(x)$.

3. 同阶无穷小: 如果 ${\displaystyle \underset{x\to x_0}{lim}\frac{\alpha (x)}{\beta (x)}=c\ne 0}$$\displaystyle\lim_{x \to x_0} \frac{\alpha(x)}{\beta(x)} = c \neq 0$（$c$$c$ 为常数），则称 $\alpha (x)$$\alpha(x)$ 与 $\beta (x)$$\beta(x)$ 是同阶无穷小.

Important

标准无穷小量

幂函数 $x^n$$x^n$ 在 $x\to 0$$x \to 0$ 时构成了一套自然的"标尺"，用于衡量其他无穷小量的阶数:

• $x$$x$ 是一阶无穷小

• $x^2$$x^2$ 是二阶无穷小

• $x^3$$x^3$ 是三阶无穷小

• 一般地，$x^n$$x^n$ 是 $n$$n$ 阶无穷小

当我们说 $f(x)=o(x^n)$$f(x) = o(x^n)$ 时，意味着 $f(x)$$f(x)$ 趋近于零的速度比 $x^n$$x^n$ 更快。

这套标尺的重要性在于: 任何足够光滑的函数在零点附近都可以用这些标准无穷小量的线性组合来近似表示——这正是泰勒展开的核心思想。

例子:

• $e^x-1\sim x$$e^x - 1 \sim x$（一阶近似）

• $e^x-1-x\sim \frac{1}{2}{x}^2$$e^x - 1 - x \sim \frac{1}{2}x^2$（二阶近似）

• $\sin x-x\sim -\frac{1}{6}{x}^3$$\sin x - x \sim -\frac{1}{6}x^3$（三阶近似）

在下一节中，我们将看到如何系统性地构造这种近似，即泰勒展开。

Important

确定泰勒展开的系数

假设我们希望用多项式来近似函数 $f(x)$$f(x)$:

如何确定系数 $a_0,a_1,a_2,\dots ,a_n$$a_0, a_1, a_2, \ldots, a_n$？

思路: 让近似多项式在 $x=0$$x=0$ 处与函数 $f(x)$$f(x)$ 有尽可能多的"一致性"。

推导过程:

1. 零阶一致性: 在 $x=0$$x=0$ 处，函数值与近似值相等

   $$f(0)=a_0\Rightarrow a_0=f(0)$$

2. 一阶一致性: 在 $x=0$$x=0$ 处，一阶导数相等

   $$f^{\prime }(0)=a_1\Rightarrow a_1=f^{\prime }(0)$$

3. 二阶一致性: 在 $x=0$$x=0$ 处，二阶导数相等

   $$f^{″}(0)=2a_2\Rightarrow a_2=\frac{f^{″}(0)}{2}$$

4. n阶一致性: 在 $x=0$$x=0$ 处，n阶导数相等

   $$f^{(n)}(0)=n!\cdot a_n\Rightarrow a_n=\frac{f^{(n)}(0)}{n!}$$

因此，我们得到了泰勒展开的系数公式:

完整的泰勒公式（在 $x=0$$x=0$ 处，也称为 麦克劳林公式 ）为:

其中 $R_n(x)$$R_n(x)$ 是余项，表示近似误差。

例子验证: 对于 $f(x)=e^x$$f(x) = e^x$

• $f(0)=1$$f(0) = 1$ ⇒ $a_0=1$$a_0 = 1$

• $f^{\prime }(0)=1$$f'(0) = 1$ ⇒ $a_1=1$$a_1 = 1$

• $f^{″}(0)=1$$f''(0) = 1$ ⇒ ${\displaystyle a_2=\frac{1}{2}}$$\displaystyle a_2 = \frac{1}{2}$

• $f^{‴}(0)=1$$f'''(0) = 1$ ⇒ ${\displaystyle a_3=\frac{1}{6}}$$\displaystyle a_3 = \frac{1}{6}$

这与我们之前的观察完全一致！

这个美妙的公式告诉我们: 函数在一点附近的行为完全由它在该点的各阶导数决定。这是微分学最深刻的结论之一。

Important

皮亚诺余项

设函数 $f(x)$$f(x)$ 在 $x=0$$x=0$ 处有 $n$$n$ 阶导数，则存在邻域 $U(0)$$U(0)$，使得对于任意 $x\in U(0)$$x \in U(0)$，有

其中 $o(x^n)$$o(x^n)$ 表示当 $x\to 0$$x \to 0$ 时，余项是 $x^n$$x^n$ 的高阶无穷小。

证明:

我们需要证明: ${\displaystyle \underset{x\to 0}{lim}\frac{R_n(x)}{x^n}=0}$$\displaystyle\lim_{x \to 0} \frac{R_n(x)}{x^n} = 0$，其中 $R_n(x)=f(x)-P_n(x)$$R_n(x) = f(x) - P_n(x)$，$P_n(x)$$P_n(x)$ 是 $n$$n$ 次泰勒多项式。

方法一: 使用柯西中值定理

考虑函数 $\varphi (t)=f(t)-P_n(t)$$\phi(t) = f(t) - P_n(t)$ 和 $\psi (t)=t^{n+1}$$\psi(t) = t^{n+1}$

在区间 $[0,x]$$[0,x]$ 上应用柯西中值定理:

由于 $\varphi (0)=0$$\phi(0) = 0$，$\psi (0)=0$$\psi(0) = 0$，我们有:

但 ${\varphi }^{\prime }(t)=f^{\prime }(t)-P_n^{\prime }(t)$$\phi'(t) = f'(t) - P_n'(t)$，而 $P_n^{\prime }(t)$$P_n'(t)$ 是 $f^{\prime }(t)$$f'(t)$ 的 $(n-1)$$(n-1)$ 阶泰勒多项式

由归纳假设，${\displaystyle \underset{t\to 0}{lim}\frac{{\varphi }^{\prime }(t)}{t^n}=0}$$\displaystyle\lim_{t \to 0} \frac{\phi'(t)}{t^n} = 0$

因此:

这就证明了 $R_n(x)=o(x^n)$$R_n(x) = o(x^n)$。

方法二: 使用洛必达法则

考虑极限 ${\displaystyle \underset{x\to 0}{lim}\frac{R_n(x)}{x^n}}$$\displaystyle\lim_{x \to 0} \frac{R_n(x)}{x^n}$

注意到:

• $R_n(0)=0$$R_n(0) = 0$

• $R_n^{\prime }(0)=0$$R_n'(0) = 0$

• ...

• $R_n^{(n-1)}(0)=0$$R_n^{(n-1)}(0) = 0$

这是因为泰勒多项式 $P_n(x)$$P_n(x)$ 的前 $n$$n$ 阶导数在 $x=0$$x=0$ 处与 $f(x)$$f(x)$ 完全相同。

应用洛必达法则 $n$$n$ 次:

现在考虑最后一个极限:

根据导数的定义，这个极限等于 $\frac{1}{n!}{R}_n^{(n)}(0)$$\frac{1}{n!} R_n^{(n)}(0)$

但

因此:

这就证明了 $R_n(x)=o(x^n)$$R_n(x) = o(x^n)$。

Important

拉格朗日余项

设函数 $f(x)$$f(x)$ 在包含 $0$$0$ 和 $x$$x$ 的区间上具有 $n+1$$n+1$ 阶连续导数，则存在 $\xi$$\xi$ 介于 $0$$0$ 和 $x$$x$ 之间，使得

其中 ${\displaystyle \frac{f^{(n+1)}(\xi )}{(n+1)!}{x}^{n+1}}$$\displaystyle\frac{f^{(n+1)}(\xi)}{(n+1)!}x^{n+1}$ 称为拉格朗日余项。

证明思路:

考虑辅助函数:

和

在区间 $[0,x]$$[0,x]$（或 $[x,0]$$[x,0]$）上应用柯西中值定理:

经过计算可得:

代入并整理即得拉格朗日余项公式。

Important

柯西余项

泰勒定理（带柯西余项）: 设函数 $f(x)$$f(x)$ 在包含 $0$$0$ 和 $x$$x$ 的区间上具有 $n+1$$n+1$ 阶连续导数，则存在 $\theta \in (0,1)$$\theta \in (0,1)$，使得

其中 ${\displaystyle \frac{f^{(n+1)}(\theta x)}{n!}(1-\theta {)}^n{x}^{n+1}}$$\displaystyle\frac{f^{(n+1)}(\theta x)}{n!}(1-\theta)^n x^{n+1}$ 称为柯西余项。

证明思路:

使用与拉格朗日余项类似的证明方法，但选择不同的辅助函数 $G(t)$$G(t)$。

柯西余项的特点:

1. 形式不同: 柯西余项与拉格朗日余项的表达式不同

2. 适用范围: 在某些情况下，柯西余项能给出更精确的误差估计

3. 理论价值: 在分析泰勒级数的收敛性时很有用

Important

积分余项

设函数 $f(x)$$f(x)$ 在包含 $0$$0$ 和 $x$$x$ 的区间上具有 $n+1$$n+1$ 阶连续导数，则

其中积分余项为:

推导过程:

1. 从微积分基本定理出发:

   $$f(x)=f(0)+{\int }_0^x{f}^{\prime }(t)dt$$

2. 对积分 ${\int }_0^x{f}^{\prime }(t)dt$$\int_0^x f'(t) dt$ 进行分部积分，令 $u=f^{\prime }(t)$$u = f'(t)$, $dv=dt$$dv = dt$:

   $${\int }_0^x{f}^{\prime }(t)dt={[f^{\prime }(t)\cdot t]}_0^x-{\int }_0^{x}t{f}^{″}(t)dt=x{f}^{\prime }(0)+{\int }_0^x(x-t)f^{″}(t)dt$$

3. 重复此过程，每次分部积分都会产生一个新的泰勒项和余下的积分:

   $$f(x)=f(0)+x{f}^{\prime }(0)+\frac{x^2}{2!}{f}^{″}(0)+\cdots +\frac{x^n}{n!}{f}^{(n)}(0)+\frac{1}{n!}{\int }_0^x(x-t{)}^n{f}^{(n+1)}(t)dt$$

这样就得到了积分余项公式。