贡献者： 零穹
除函数的单调性外，本节所谓的凸性也是函数论的重要概念。
定义 1 凸函数
设函数 $f(x)$ 在区间 $I$ 上有定义，若对于任意的 $x_1,x_2\in I$，$t\in (0,1)$，都有
\begin{equation}
f((1-t)x_1+tx_2)\le (1-t)f(x_1)+tf(x_2)~,
\end{equation}
那么称 $f(x)$ 为 $I$ 上的
凸函数。如果将 $\le$ 改为 $<$，那么称 $f(x)$ 为
严格凸函数。类似地可以定义
凹函数（$\geq$）和
严格凹函数($>$)。凸函数的曲线称为
凸的。
1. 凸函数的几何意义
由凸集的子节 1 可知，不等式式 1 的左边的 $(1-t)x_1+tx_2,t\in(0,1)$ 是连接定义域上点 $x_1$ 和 $x_2$ 的开线段，而右边是连接函数值域上点 $f(x_1)$ 和 $f(x_2)$ 的开线段。
图 1：凸函数几何示意图
由图 1 ，可看出，不等式式 1 的左边对应的是 $f$ 在 $A_1,A_2$ 间的曲线段，而右边的对应的就是线段 $A_1A_2$。设 $x=(1-t)x_1+tx_2$，则利用三角形相似性，可得
\begin{equation}
t=\frac{x-x_1}{x_2-x_1}=\frac{ \left\lvert A_1B \right\rvert }{ \left\lvert A_1A_2 \right\rvert }~
\end{equation}
上式表明，在 $t$ 时，不等式
式 1 左边是函数 $f(x)$ 曲线上的点 $A$，而右边对应线段 $A_1A_2$ 上的 $B$ 点。即不等式
式 1 表明，凸函数图形（弧）上的所有点都在相应弦的下面，或位于弦本身上（对凹函数，则 “下面” 改为 “上面”）。
2. 函数凸性的条件
定理 1
设 $f(x)\in C[a,b]$。$f(x)$ 满足
- 在 $(a,b)$ 上可导。则 $f(x)$ 是（严格）凸函数的充分必要条件是 $f'(x)$ 在 $(a,b)$ 内（严格）单调递增。
- 在 $(a,b)$ 上二阶可导。则 $f(x)$ 是凸函数的充分必要条件是 $f''(x)\ge 0$；$f(x)$ 是严格凸函数的充分必要条件是 $f''(x)\ge 0$ 且 $f''(x)$ 在 $(a,b)$ 的任意子区间上都不恒等于 $0$。
凸函数的以上几条充分必要条件可以从图像中直观地理解，事实上，画图常常有助于解决与凸函数性质相关的问题。
习题 1
证明两个 $I$ 上的凸函数相加仍然是 $I$ 上的凸函数。
提示：由于给定函数在区间 $I$ 上不一定可导，所以不能用
定理 1 证明，必须回归到定义。
习题 2
设 $f(x)$ 是区间 $(a,b)$ 上的凸函数，证明 $f(x)$ 在 $(a,b)$ 内的任意闭区间 $[\alpha,\beta]$ 上都满足 Lipschitz 条件（也就是说存在 $L>0$，对任意 $x_1,x_2\in [\alpha,\beta]$，都有 $|f(x_1)-f(x_2)|\le L|x_1-x_2|$）。
提示：如果将 $[\alpha,\beta]$ 改为开区间，则很容易找到反例，所以在证明这个命题时要充分利用好闭区间的特性，尝试将 $L$ 的上界量化。取充分小的 $h$，使 $[\alpha-h,\beta+h]\subset (a,b)$，令 $x_3=x_2+h$，根据凸函数的定义（事实上可以从图像上很快得出）$(f(x_2)-f(x_1))/(x_2-x_1)<(f(x_3)-f(x_2))/(x_3-x_2)\le (M-m)/h$，其中 $M,m$ 是区间 $[\alpha-h,\beta+h]$ 上函数的最大、最小值（可以证明，闭区间上的凸函数一定有最大最小值）。于是可以令 $L=(M-m)/h$。
函数的凹凸性可以通过琴生不等式引出各种不等式，函数的凹凸性的定义是琴生不等式的 $n=2$ 版本，而事实上两者作为定义是等价的。
定理 2 琴生不等式
$f(x)$ 在区间 $[a,b]$ 上是凸函数的充分必要条件为：对任意 $x_1,\cdots,x_n\in [a,b],\sum_{i=1}^n t_i=1$，以下不等式总成立
\begin{equation}
f(t_1x_1+t_2x_2+\cdots+t_nx_n)\le t_1f(x_1)+t_2f(x_2)+\cdots+t_nf(x_n)~.
\end{equation}
对于严格凸函数，上面的充要条件应将 $\le$ 改为 $<$，并且 $x_1,\cdots,x_n$ 不全相等。
利用凸函数的性质，可以推出一系列不等式，例如调和-几何-算术平均不等式、柯西不等式、赫尔德不等式等。
习题 3
证明幂平均不等式：设 $x_1,\cdots,x_n>0$，构造以下函数：
\begin{equation}
F(p)=\left\{
\begin{aligned}
&\left(\frac{x_1^p+x_2^p+\cdots+x_n^p}{n}\right)^{1/p} && (p\neq 0)\\
&(x_1\cdots x_n)^{1/n} && (p=0)~.
\end{aligned}
\right.
\end{equation}
那么 $F(p)$ 是单调递增函数。
提示：幂平均不等式是调和-几何-算术平均不等式的自然推广，注意到 $F(-\infty)< F(-1)< F(0)< F(1)< F(\infty)$ 恰好对应着
\begin{equation}
\begin{aligned}
\min\{x_1,\cdots,x_n\}&<\frac{n}{\frac{1}{x_1}+\cdots+\frac{1}{x_n}}<(x_1\cdots x_n)^{1/n}\\
&<\frac{x_1+\cdots+x_n}{n}<\max\{x_1,\cdots,x_n\}~.
\end{aligned}
\end{equation}
先考虑证明 $0< p< q$ 时 $F(p)< F(q)$，其他情况的证明类似。为了能利用上琴生不等式，不等式一侧 $x_i$ 的指数最好为 $1$。所以进行换元，令 $a_i=x_i^p$，可以得到
\begin{equation}
\left(\frac{a_1+\cdots+a_n}{n}\right)^{q/p}\le \frac{a_1^{q/p}+\cdots+a_n^{q/p}}{n}~.
\end{equation}
函数 $x^{q/p}$ 在 $(0,\infty)$ 上是凸函数，因此可以利用琴生不等式证明这个不等式。
致读者： 小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损， 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。
