常用不等式及证明思路总结（一）

写在前面

复习一下一些大学学习中常见的一些不等式，及其用法和证明思路。想深入了解的朋友可以看裴礼文老师所著《数学分析中的典型问题与方法》。

Jensen不等式

若$f$为$[a,b]$上的凸函数，则对任意$x_i\in [a,b]$，${\lambda }_i>0(i=1,2,\cdots ,n)$，$\sum _{i=1}^n{\lambda }_i=1$，有
$$f\left(\sum _{i=1}^n{\lambda }_i{x}_i\right)⩽\sum _{i=1}^n{\lambda }_{i}f(x_i).$$

P.S. 在《数学分析(华东师大第四版)》一书中该不等式作为函数凸性定义的推广引入，这里使用该书中的定义。

证明思路

$n=2$时显然成立；$n=k$时只需证明对任意$x_i\in [a,b]$，${\alpha }_i>0(i=1,2,\cdots ,n)$，$\sum _{i=1}^n{\alpha }_i=1$，有
$$f\left(\sum _{i=1}^n{\alpha }_i{x}_i\right)⩽\sum _{i=1}^n{\alpha }_{i}f(x_i).$$
作代换，令${\alpha }_i=\frac{{\lambda }_i}{1-{\lambda }_{k+1}},i=1,2,\cdots ,k$，则有$\sum _{i=1}^n{\alpha }_i=1$，利用数学归纳法即可证得。

根据这个不等式可以立刻推出下面的均值不等式以及后面的Young不等式。

均值不等式

对任意$n$个实数$a_i⩾0(i=1,2,\cdots ,n)$恒有
$$\sqrt[n]{a_1{a}_2\cdots a_n}⩽\frac{a_1+a_2+\cdots +a_n}{n}$$
上式可简记为几何平均值$⩽$算术平均值，等号当且仅当$a_1=a_2=\cdots =a_n$时成立。

应用

证明不等式。

例题1

设正值函数$f(x)$在$[0,1]$上连续，证明
$${\mathrm{e}}^{{\int }_0^1\ln f(x)\mathrm{d}x}⩽{\int }_0^{1}f(x)\mathrm{d}x.$$
证明：

将$[0,1]$作$n$等分，计算积分和
$$\begin{array}{rl}{\int }_0^{1}f(x)\mathrm{d}x& =\underset{n\to \infty }{\lim }\frac{1}{n}\sum _{i=1}^{n}f\left(\frac{i}{n}\right),\\ {\int }_0^1\ln f(x)\mathrm{d}x& =\underset{n\to \infty }{\lim }\frac{1}{n}\sum _{i=1}^n\ln f\left(\frac{i}{n}\right)=\underset{n\to \infty }{\lim }\ln {\left[\prod _{i=1}^{n}f\left(\frac{i}{n}\right)\right]}^{\frac{1}{n}},\end{array}$$
所以有
$${\mathrm{e}}^{{\int }_0^1\ln f(x)\mathrm{d}x}=\underset{n\to \infty }{\lim }{\left[\prod _{i=1}^{n}f\left(\frac{i}{n}\right)\right]}^{\frac{1}{n}}⩽\underset{n\to \infty }{\lim }\frac{1}{n}\sum _{i=1}^{n}f\left(\frac{i}{n}\right)={\int }_0^{1}f(x)\mathrm{d}x.$$

另证：

考虑原不等式两边取对数，有
$${\int }_0^1\ln f(x)\mathrm{d}x⩽\ln {\int }_0^{1}f(x)\mathrm{d}x,$$
令${\int }_0^{1}f(x)\mathrm{d}x=S$，则上式等价于
$${\int }_0^1(\ln f(x)-\ln S)\mathrm{d}x⩽0,$$
(由于定积分为一常数，所以显然可以将其从0到1进行积分，而其值保持不变)

上式进行变换可得到：
$$\begin{array}{rl}{\int }_0^1(\ln f(x)-\ln S)\mathrm{d}x& ={\int }_0^1\ln \frac{f(x)}{S}\mathrm{d}x\\ & ={\int }_0^1\left[1+\left(\ln \frac{f(x)}{S}-1\right)\right]\mathrm{d}x\\ & ⩽{\int }_0^1\left(\frac{f(x)}{S}-1\right)\mathrm{d}x\\ & [\text{利用不等式}\ln (1+x)<x(x>-1\text{时})得到]\\ & =\frac{1}{S}{\int }_0^{1}f(x)\mathrm{d}x-1=0\square \end{array}$$

Cauchy不等式

设$a_i,b_i,(i=1,2,\cdots ,n)$为任意实数，则有
$${\left(\sum _{i=1}^n{a}_i{b}_i\right)}^2⩽\sum _{i=1}^n{a}_i^2\cdot \sum _{i=1}^n{b}_i^2,$$
等号当且仅当$a_i$与$b_i$成比例时成立。

证明思路

方法一

构造函数，利用判别式（常用）。
$$0⩽\sum _{i=1}^n(a_{i}x+b_i{)}^2=\left(\sum _{i=1}^n{a}_i^2\right)x^2+2\left(\sum _{i=1}^n{a}_i{b}_i\right)x+\sum _{i=1}^n{b}_i^2,$$
关于$x$的二次三项式保持非负，所以判别式
$${\left(\sum _{i=1}^n{a}_i{b}_i\right)}^2-\sum _{i=1}^n{a}_i^2\cdot \sum _{i=1}^n{b}_i^2⩽0.$$

方法二

配方。

方法三

二次型的性质。讨论关于$x,y$的二次型$\sum _{i=1}^n(a_{i}x+b_{i}y{)}^2$，
$$0⩽\sum _{i=1}^n(a_{i}x+b_{i}y{)}^2=\left(\sum _{i=1}^n{a}_i^2\right)x^2+2\left(\sum _{i=1}^n{a}_i{b}_i\right)xy+\left(\sum _{i=1}^n{b}_i^2\right)y^2,$$
即此二次型非负定，所以有
$$\left|\begin{array}{cc}\sum _{i=1}^n{a}_i^2& \sum _{i=1}^n{a}_i{b}_i\\ \sum _{i=1}^n{a}_i{b}_i& \sum _{i=1}^n{b}_i^2\end{array}\right|⩾0,$$
证毕。

根据此证明，可以推广Cauchy不等式为
$$\det \left(\sum _{i=1}^n{a}_{ik}{a}_{ij}\right)⩾0,$$
等号成立当且仅当$(a_{11},a_{21},\cdots ,a_{n1}),\cdots ,(a_{1m},a_{2m},\cdots ,a_{nm})$线性相关时成立，即：存在不全为零的一组常数$x_1,\cdots ,x_m$使得
$$a_{i1}{x}_1+a_{i2}{x}_2+\cdots +a_{im}{x}_m=0(i=1,2,\cdots ,n).$$

Schwartz不等式

即Cauchy不等式的积分形式。

若$f(x),g(x)$在$[a,b]$上可积，则
$${\left({\int }_a^{b}f(x)g(x)\mathrm{d}x\right)}^2⩽{\int }_a^b{f}^2(x)\mathrm{d}x{\int }_a^b{g}^2(x)\mathrm{d}x$$
若$f(x),g(x)$在$[a,b]$上连续，其中等号当且仅当存在常数$\alpha ,\beta$，使得$\alpha f(x)\equiv \beta g(x)$时成立($\alpha ,\beta$不同时为$0$)。

证明思路

可以从积分定义出发，由Cauchy不等式得到，也可以类似由Cauchy不等式证明过程得出。

方法一

积分定义+Cauchy不等式。

将区间$[a,b]n$等分，令$x_i=a+\frac{i}{n}(b-a)$，应用Cauchy不等式，得到
$${\left(\frac{1}{n}\sum _{i=1}^{n}f(x_i)g(x_i)\right)}^2⩽\frac{1}{n}\sum _{i=1}^n{f}^2(x_i)\cdot \frac{1}{n}\sum _{i=1}^n{g}^2(x_i),$$
令$n\to \infty$，取极限得证。

方法二

利用积分变量的符号任意性，配凑完全平方式。此方法较为常用。

方法三

类比Cauchy不等式的证明思路方法三，构造二次型，即可得证。此时也可以将其推广到更加一般的情况。

应用

证明不等式

例题1

设函数$g(x)$在$[0,a]$上连续可微。$g(0)=0$，证明：
$${\int }_0^a|g(x)g^{\prime }(x)|\mathrm{d}x⩽\frac{a}{2}{\int }_0^a|g^{\prime }(x){|}^2\mathrm{d}x,\text{\hspace{1em}(1)}$$
等号成立当且仅当$g(x)=cx$($c$为常数)成立。

证明：记$f(x)={\int }_0^x|g^{\prime }(x)|\mathrm{d}x(0⩽x⩽a)$，则由原函数存在定理（可以看一下这篇文章回顾），得到$f^{\prime }(x)=|g^{\prime }(x)|$，由$g(0)=0$以及积分的绝对值不等式得

$$|g(x)|=|g(x)-g(0)|=\left|{\int }_0^x{g}^{\prime }(t)\mathrm{d}t\right|⩽{\int }_0^x|g^{\prime }(t)|\mathrm{d}t=f(x),$$

所以原积分

$$\begin{array}{rl}{\int }_0^a|g(x)g^{\prime }(x)|\mathrm{d}x⩽& {\int }_0^{a}f(x)f^{\prime }(x)\mathrm{d}x={\int }_0^{a}f(x)\mathrm{d}f(x)\\ =& \frac{1}{2}{f}^2(x){|}_0^a=\frac{1}{2}{\left({\int }_0^a|g^{\prime }(t)|\mathrm{d}t\right)}^2\\ ⩽& \frac{1}{2}{\int }_0^a{1}^2\mathrm{d}t\cdot {\int }_0^a[g^{\prime }(t){]}^2\mathrm{d}t\text{(Schwartz不等式)}\\ =& \frac{a}{2}{\int }_0^a|g^{\prime }(x){|}^2\mathrm{d}x,\end{array}$$

当$g(x)=cx$时，不等式$(1)$显然成立，下证必要性。

若$(1)$中等号成立，即
$${\left({\int }_0^a|g^{\prime }(x)|\mathrm{d}x\right)}^2=a{\int }_0^a|g^{\prime }(x){|}^2\mathrm{d}x,\text{\hspace{1em}(2)}$$
记$A={\int }_0^a|g^{\prime }(x){|}^2\mathrm{d}x,B={\int }_0^a|g^{\prime }(x)|\mathrm{d}x$，则$(2)$式相当于下述方程
$${\int }_0^a(1+\lambda |g^{\prime }(x)|{)}^2\mathrm{d}x=A{\lambda }^2+2B\lambda +a=0\text{\hspace{1em}(3)}$$
的判别式$\Delta =0$，所以此方程有唯一实根$$（当$A\ne 0$）.

由于$g^{\prime }(x)$在$[0,a]$上连续，将$$代入$(3)$，可以得到$B|g^{\prime }(x)|=A$，下面对$A$的取值进行讨论。

$1^{\circ }$：$A\ne 0$, 则$B\ne 0$，所以$g^{\prime }(x)=\pm \frac{A}{B}$，即$g(x)=\pm \frac{A}{B}x+c_1$，而$g(0)=0$，所以$c_1=0$,即得到$g(x)=cx$（$c=\pm \frac{A}{B}$为一常数）。

$2^{\circ }$：$A=0$，而$g^{\prime }(x)$连续，有$g^{\prime }(x)\equiv 0(x\in [0,a])$，此时$g(x)=c_2$，而$g(0)=0$，所以$g(x)=0$。

综上，必要性得证。

求极限

例题2

设$f(x),g(x)$在$[a,b]$上连续，$f(x)\not\equiv 0$，$g(x)$有正下界。记$d_n={\int }_a^b|f(x){|}^{n}g(x)\mathrm{d}x,n=1,2,\cdots .$ 证明：
$$\underset{n\to \infty }{\lim }\frac{d_{n+1}}{d_n}=\underset{a⩽x⩽b}{\max }|f(x)|.$$
证明：

这里说一下大致思路，具体步骤参考《数学分析中的典型问题与方法》。

1. 拆项并利用Schwartz不等式得到$d_n$与其两相邻项的关系：$d_n⩽\sqrt{d_{n-1}{d}_{n+1}}$，由此得到$\frac{d_{n+1}}{d_n}$单调增；
2. 证明其有界，故由单调有界定理得知其极限存在；
3. 计算极限。

W. H. Young不等式

积分形式

设$f(x)$单调递增，且在$[0,+\infty )$上连续，$f(0)=0,a,b>0$，$f^{-1}(x)$表示$f(x)$的反函数，则有
$$ab⩽{\int }_0^{a}f(x)\mathrm{d}x+{\int }_0^b{f}^{-1}(y)\mathrm{d}y,$$
等号成立当且仅当$f(a)=b$。

证明思路

根据定积分的几何表示可以显然得到。

一般形式

设$a,b>0,p>1,\frac{1}{p}+\frac{1}{q}=1$，则有
$$ab⩽\frac{a^p}{p}+\frac{b^q}{q},$$
等号成立当且仅当$a^p=b^q$，其中$p,q$称为共轭指数，显然有$p+q=pq$。