数学分析(六)-微分中值定理及其应用05：函数的凸性与拐点

§ 5 函数的凸性与拐点
读者已经熟悉函数 $f(x)=x^2$ 和 $f(x)=\sqrt{x}$ 的图像.
它们不同的特点是: 曲线 $y=x^2$ 上任意两点间的弧段总在这两点连线的下方;
而曲线 $y=\sqrt{x}$ 则相反,任意两点间的弧段总在这两点连线的上方.
我们把具有前一种特性的曲线称为凸的,
相应的函数称为凸函数;后一种曲线称为凹的,相应的函数称为凹函数.
定义 1 设 $f$ 为定义在区间 $I$ 上的函数, 若对 $I$ 上的任意两点
$x_1,x_2$ 和任意实数 $\lambda$ $\in (0,1)$, 总有
$$f\left(\lambda x_1+(1-\lambda )x_2\right)⩽\lambda f\left(x_1\right)+(1-\lambda )f\left(x_2\right),$$
则称 $f$ 为 $I$ 上的凸函数. 反之, 如果总有
$$f\left(\lambda x_1+(1-\lambda )x_2\right)⩾\lambda f\left(x_1\right)+(1-\lambda )f\left(x_2\right),$$
则称 $f$ 为 $I$ 上的凹函数.
如果 (1)、(2) 中的不等式改为严格不等式,
则相应的函数称为严格凸函数和严格凹函数.
图 6-12 中的 (a) 和 (b) 分别是凸函数和凹函数的几何形状, 其中
$x=\lambda x_1+(1-$ ג)
$x_2,A=f\left(x_1\right),B=f\left(x_2\right),C=\lambda A+(1-\lambda )B$.
容易证明: 若 $-f$ 为区间 $I$ 上的凸函数, 则 $f$ 为区间 $I$ 上的凹函数.
因此, 今后只需讨论凸函数的性质即可.
引理 $f$ 为 $I$ 上的凸函数的充要条件是: 对于 $I$ 上的任意三点
$x_1<x_2<x_3$, 总有
$$\frac{f\left(x_2\right)-f\left(x_1\right)}{x_2-x_1}⩽\frac{f\left(x_3\right)-f\left(x_2\right)}{x_3-x_2}.$$
证 必要性 记 $\lambda =\frac{x_3-x_2}{x_3-x_1}$, 则
$x_2=\lambda x_1+(1-\lambda )x_3$. 由 $f$ 的凸性知道
$$f\left(x_2\right)=f\left(\lambda x_1+(1-\lambda )x_3\right)⩽\lambda f\left(x_1\right)+(1-\lambda )f\left(x_3\right)$$
{width=“186px”}
(a)
凸函数{width=“186px”}
(b) 凹 函数
图 6-12
$$=\frac{x_3-x_2}{x_3-x_1}f\left(x_1\right)+\frac{x_2-x_1}{x_3-x_1}f\left(x_3\right),$$
从而有
$$\begin{array}{c}\left(x_3-x_1\right)f\left(x_2\right)⩽\left(x_3-x_2\right)f\left(x_1\right)+\left(x_2-x_1\right)f\left(x_3\right),\\ \left(x_3-x_2\right)f\left(x_2\right)+\left(x_2-x_1\right)f\left(x_2\right)⩽\left(x_3-x_2\right)f\left(x_1\right)+\left(x_2-x_1\right)f\left(x_3\right).\end{array}$$

整理后即得 $(3)$ 式.
充分性 如图 6-13 所示, 在 $I$ 上任取两点
$x_1,x_3\left(x_1<x_3\right)$, 在 $\left[x_1,x_3\right]$
上任取一点 $x_2=\lambda x_1+(1-\lambda )x_3,\lambda \in (0,1)$, 即
$\lambda =\frac{x_3-x_2}{x_3-x_1}$. 由必要性的推导逆过程, 可推得
$$f\left(\lambda x_1+(1-\lambda )x_3\right)⩽\lambda f\left(x_1\right)+(1-\lambda )f\left(x_3\right),$$
故 $f$ 为 $I$ 上的凸函数.
同理可证, $f$ 为 $I$ 上的凸函数的充要条件是: 对于 $I$ 上任意三点
$x_1<x_2<x_3$, 有
$$\begin{array}{rl}\frac{f\left(x_2\right)-f\left(x_1\right)}{x_2-x_1}& ⩽\frac{f\left(x_3\right)-f\left(x_1\right)}{x_3-x_1}\\ & ⩽\frac{f\left(x_3\right)-f\left(x_2\right)}{x_3-x_2}.\end{array}$$
{width=“186px”}
图 6-13
注 如果 $f(x)$ 为 $I$ 上的严格凸函数, 则不等式 (3) 和 (4) 中的
" ⩽ " " \leqslant "