12个偏微分方程常用的不等式

偏微分方程常用不等式

不等式不仅是分析学的重要内容，也是处理数学问题的有力工具.本文介绍作者在研究偏微分方程中遇到的几个常用且重要的不等式，掌握其内容和证明思想，并熟练应用，便于以后的学习和研究.

对数不等式

$$\frac{x}{1+x}\le \ln (1+x)\le x,x>-1,$$
等号成立当且仅当 $x=0$.

算数平均值-几何平均值不等式

设 $a_i\ge 0,i=1,2,\dots ,n$, 则成立
$$\frac{n}{\left(\frac{1}{a_1}+\frac{1}{a_2}+\dots +\frac{1}{a_n}\right)}\le \sqrt[n]{a_1{a}_2\dots a_n}\le \frac{a_1+a_2+\dots +a_n}{n}$$
等号成立当且仅当.

柯西(Cauchy)不等式

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

施瓦茨(Schwarz)不等式

若 $f(x),g(x)$ 在 $[a,b]$ 上可积, 则有
$${\left({\int }_a^{b}f(x)g(x)dx\right)}^2\le {\int }_a^b[f(x){]}^{2}dx{\int }_a^b[g(x){]}^{2}dx$$
若 $f(x),g(x)$ 在 $[a,b]$ 上连续, 则等号成立当且仅当存在常数 $\alpha ,\beta$ 使得 $\alpha f(x)=\beta g(x)(\alpha ,\beta$ 不同时为零 $)$.

杨(Young)不等式

假设 $a>0,b>0,p>1,q>1$, 且 $\frac{1}{p}+\frac{1}{q}=1$, 则
$$ab\le \frac{a^p}{p}+\frac{b^q}{q}.$$
尤其是, 当 $p=q=2$ 时, 上述不等式也称为柯西(Cauchy)不等式.

霍尔德(Hölder)不等式

基本形式

设 $a_i\ge 0,b_i\ge 0(i=1,2,\dots ,n),p,q\in R$ 且 $\frac{1}{p}+\frac{1}{q}=1$, 则 当 $p>1(q<1)$ 时,
$$\sum _{i=1}^n{a}_i{b}_i\le {\left(\sum _{i=1}^n{a}_i\right)}^{\frac{1}{p}}\cdot {\left(\sum _{i=1}^n{b}_i\right)}^{\frac{1}{q}};$$
当 $p<1,p\ne 0(q<1)$ 时,
$$\sum _{i=1}^n{a}_i{b}_i\ge {\left(\sum _{i=1}^n{a}_i\right)}^{\frac{1}{p}}\cdot {\left(\sum _{i=1}^n{b}_i\right)}^{\frac{1}{q}},$$
其中等号成立当且仅当 $a_i,b_i$ 成比例 $[\exists \alpha ,\beta$ 不全为零使 $\alpha a_i^p=\beta b_i^q(i=1,2,\dots ,n)]$.

积分形式

设 $f(x)\ge 0,g(x)\ge 0$ 在 $[a,b]$ 上可积并使下述积分有意义, $p,q\ne 0,1$ 且 $\frac{1}{p}+\frac{1}{q}=1$, 则有 当 $p>1(q<1)$ 时,
$${\int }_a^{b}f(x)g(x)dx\le {\left({\int }_a^{b}f(x)dx\right)}^{\frac{1}{p}}\cdot {\left({\int }_a^{b}g(x)dx\right)}^{\frac{1}{q}}$$
当 $p<1,p\ne 0(q<1)$ 时，
$${\int }_a^{b}f(x)g(x)dx\ge {\left({\int }_a^{b}f(x)dx\right)}^{\frac{1}{p}}\cdot {\left({\int }_a^{b}g(x)dx\right)}^{\frac{1}{q}};$$
若 $f(x),g(x)$ 成比例, 那么等号成立当且仅当 $f^p(x),g^q(x)$ 成比例.

格朗沃尔 (Grönwall) 不等式

连续形式

假设 $\alpha ,\beta$ 为任意非负常数, $\eta (x)(a\le x\le b)$ 为 连续函数, 且满足
$$|\eta (x)|\le \beta +\alpha {\int }_a^x|\eta (t)|dt,a\le x\le b,$$
则
$$|\eta (x)|\le \beta e^{\alpha (x-a)},a\le x\le b.$$

离散形式

假设 $\alpha ,\beta$ 为任意非负常数, 序列 { η n } \left\{\eta_n\right\} {ηn​} 满足
$$\left|{\eta }_n\right|\le \beta +\alpha h\sum _{j=0}^{n-1}{\eta }_j,n=k,k+1,\cdots ,nh\le T,$$
其中 $h>0$ 表示步长, 则
$$\left|{\eta }_n\right|\le e^{\alpha T}\left(\beta +\alpha kh{M}_0\right),n\ge k,nh\le T.$$
其中 $$M_0=\max \left(\left|{\eta }_0\right|,\left|{\eta }_1\right|,\cdots ,\left|{\eta }_{k-1}\right|\right).$$

詹森(Jensen)不等式

1. 若 $f(x)$ 是区间 $[a,b]$ 上的下凸函数，则对任意的 $x_1,x_2,x_3,\dots ,x_n\in [a,b]$, 有不等式:
   $$\frac{{\sum }_{i=1}^{n}f\left(x_i\right)}{n}\ge f\left(\frac{{\sum }_{i=1}^n{x}_i}{n}\right)$$
   当且仅当 $x_1=x_2=x_3=\dots =x_n$ 时等号成立.

2. 其加权形式为：
   若 $f(x)$ 是区间 $[a,b]$ 上的下凸函数, 则对任意的 $x_1,x_2,x_3,\dots ,x_n\in [a,b]$, 且 $a_1+a_2+a_3+\dots +a_n=1$, $a_1,a_2,a_3\dots a_n$ 为正数, 有
   $$f\left(a_1{x}_1+a_2{x}_2+a_3{x}_3+\dots +a_n{x}_n\right)\le a_{1}f\left(x_1\right)+a_{2}f\left(x_2\right)+\dots +a_{n}f\left(x_n\right)$$
   当且仅当 $x_1=x_2=x_3=\dots =x_n$ 时等号成立.

闵可夫斯基(Minkowski)不等式

基本形式

若 $a_i\ge 0,b_i\ge 0(i=1,2,\dots ,n)$, 则对于 $\forall r\ne 0,1$, 则 当 $r>1$ 时, 有
$${\left[\sum _{i=1}^n{\left(a_i+bi\right)}^r\right]}^{\frac{1}{r}}\le \sum _{i=1}^n{\left(a_i^r\right)}^{\frac{1}{r}}+\sum _{i=1}^n{\left(b_i^r\right)}^{\frac{1}{r}}$$
当 $r<1$ 时, 有
$${\left[\sum _{i=1}^n{\left(a_i+bi\right)}^r\right]}^{\frac{1}{r}}\ge {\left[\sum _{i=1}^n\left(a_i^r\right)\right]}^{\frac{1}{r}}+{\left[\sum _{i=1}^n\left(b_i^r\right)\right]}^{\frac{1}{r}}$$
其中等号成立当且仅当 $a_i,b_i$ 成比例.

积分形式

设 $f(x)\ge 0,g(x)\ge 0$, 在 $[a,b]$ 上有定义, 使下述积分有意义, 则 当 $r>1$ 时, 有
$$\left[{\int }_a^b(f(x)+g(x){)}^r\right]d{x}^{\frac{1}{r}}\le {\left[{\int }_a^b(f(x){)}^{r}dx\right]}^{\frac{1}{r}}+{\left[{\int }_a^b(g(x){)}^{r}dx\right]}^{\frac{1}{r}},$$
当 $r<1$ 时, 有
$${\left[{\int }_a^b(f(x)+g(x){)}^r\right]}^{\frac{1}{r}}\ge {\left[{\int }_a^b(f(x){)}^r\right]}^{\frac{1}{r}}+{\left[{\int }_a^b(g(x){)}^r\right]}^{\frac{1}{r}}.$$

贝塞尔(Bessel)不等式

设 $\mathcal{H}$ 是一个装备了内积: $⟨\cdot ,\cdot ⟩$ 的希尔伯特空间.考虑一组规范正交向量的序列： $\left(e_1,e_2,\cdots ,e_n,\cdots \right)$ .那么，对于任意 一个 $\mathcal{H}$ 中的元素，都有:
$$\sum _k{\left|⟨x,e_k⟩\right|}^2\le \Vert x{\Vert }^2$$
其中的系数 $⟨x,e_k⟩$ 是 $x$ 在一个正交向量序列中元素 $e_k$ 上的投影的长度.

庞加莱(Poincaré)不等式

设 $\Omega \subset R^n$ 含于一个宽度为 $\mathrm{h}$ 的条形区域内, $\mu \in W^1,p_0(\Omega )$ ，则下列庞加莱不等式成立:
$${\int }_{\Omega }|\mu {|}^{p}dx\le h^p{\int }_{\Omega }|D\mu {|}^{p}dx$$
而不等式:
$${\int }_{\Omega }{\mu }^{2}dx\le K{\int }_{\Omega }{\left|D_{\mu }\right|}^{2}dx+\frac{1}{|\Omega |}{\left({\int }_{\Omega }\mu dx\right)}^2$$
亦称为㡾加莱不等式.若集合 N = { x ∈ Ω ∣ u ( x ) = 0 } \mathrm{N}=\{\mathrm{x} \in \Omega \mid \mathrm{u}(\mathrm{x})=0\} N={x∈Ω∣u(x)=0} 的 $R^{n-1}$ 中的测度 $\mid \mathrm{N}\mid >0$, 则：
$${\int }_{\Omega }{\mu }^{2}dx\le K{\int }_{\Omega }|D\mu {|}^{2}dx$$

哈代(Hardy)不等式

设 $p>1$, a是非负向量. 那么当 $a\in l_p$ 时, $\mathbf{\sigma }\in l_p$ 且成立着
$$\Vert \mathbf{\sigma }{\Vert }_p⩽\frac{p}{p-1}\Vert \mathbf{a}{\Vert }_p$$
或
$$\sum _{n=1}^{\infty }{\sigma }_n^p\le {\left(\frac{p}{p-1}\right)}^p\sum _{n=1}^{\infty }{a}_n^p$$
其中等号仅当所有 $a_n=0$ 时成立.

---

收集整理不易, 感谢点赞收藏.

作者邮箱: turingscat@126.com