知识总结—分析学（1）

知识总结—分析学（1）

---

曲面-曲线积分

定理

$${\int }_{\Omega }v\Delta udx={\int }_{\Omega }div(v\nabla u)-\nabla v\cdot \nabla udx$$

$O-G$公式

设$\Omega \subset {\mathbb{R}}^n$为分片$C^1$-型区域，$n$-向量值函数$\overrightarrow{F}\in C^1(\Omega )$，则

$${\int }_{\Omega }div\overrightarrow{F}dx={\int }_{\partial \Omega }\overrightarrow{F}\cdot \overrightarrow{n}ds$$

其中$\overrightarrow{n}$为$\partial \Omega$的外法向量。

分部积分公式

在上定理的条件下，且$u,v\in C^1(\Omega )$，则

$${\int }_{\Omega }u{v}_{x_i}dx={\int }_{\partial \Omega }uv\overrightarrow{n_i}ds-{\int }_{\Omega }v{u}_{x_i}dx$$

其中$n_i=\overrightarrow{n}\cdot e_i$，$e_i$为$x_i$-轴的单位向量。

---

Sobolev不等式

p<n

Galinardo-Nirenberg-Sobolev不等式

设$1\le p<n$, 设存在正常数 $C=C(n,p)$, 使得

$$\Vert u{\Vert }_{L^{p\ast }({\mathbb{R}}^n)}\le C\Vert Du{\Vert }_{L^p({\mathbb{R}}^n)},\forall u\in C_0^1({\mathbb{R}}^n).$$

其中 $p^{\ast }:=\frac{np}{n-p}$ 称为 $W^{1,p}$ 的 Sobolev（共轭）指数。

Sobolev-Poincare 不等式

设$\Omega \subset {\mathbb{R}}^n$为开集，$1\le p<n$, 则存在正常数 $C=C(n,p)$, 使得

$$\Vert u{\Vert }_{L^{p^{\ast }}(\Omega )}\le C\Vert Du{\Vert }_{L^p(\Omega )},\forall u\in W_0^{1,p}(\Omega )$$

p>n

Morrey 不等式

设$n<p\le \infty$, 则存在正常数 $C=C(n,p)$, 使得对任意 $u\in C^1(\Omega )$ 和任意的球 $B(x,r)$,

$$|u(y)-u(z)|\le C(n,p)|y-z{|}^{m_p}\Vert Du{\Vert }_{L^p(\Omega )},\forall y,z\in B(x,t)$$

其中 $m_p=\{\begin{array}{ll}1-\frac{n}{p},& p<\infty \\ (0,1)中的任意数,& p=\infty \end{array}$ 称为 $W^{1,p}$ 的$Morrey$ 指数。

---

Gronwall不等式

基本形式

令 $\varphi :[0,T]\to \mathbb{R}$ 是一个非负可测函数，且存在一个常数 $C$ 使得

$${\varphi }^{\prime }(t)\le C\varphi (t),\forall t\in [0,T]$$

那么

$$\varphi (t)\le e^{Ct}\varphi (0),\forall t\in [0,T].$$

推广1

若 ${\varphi }^{\prime }(t)\le C(t)\varphi (t),C(t)$ 非负可积，则 $\varphi (t)\le \varphi (0)\exp \left({\int }_0^{t}C(\tau )d\tau \right)$.

推广2

若 $F^{\prime }(t)\le CF(t)+g(t),\forall t>0$, 则

$$F(t)\le e^{Ct}F(0)+{\int }_0^t{e}^{C(t-s)}g(s)ds,t>0$$

特别地，若 $g(t)$ 非负且非减，则有 $F(t)\le e^{Ct}F(0)+C_1(t)g(t)$, 其中

$$C_1(t)=\{\begin{array}{ll}t& c=0\\ \frac{1}{c}(e^{Ct}-1)& c\ne 0\end{array}.$$

---

Holder不等式

离散形式

${\sum }_{i=1}^m\frac{1}{p_i}=1$, 令 $w_{i,1},w_{i,2},\cdots ,w_{i,n},1\le i\le m$ 为非负实数，则

$$\sum _{k=1}^n\prod _{i=1}^m{w}_{i,k}\le \prod _{i=1}^m{\left(\sum _{k=1}^n{w}_{i,k}\right)}^{\frac{1}{p_i}}$$

连续形式

$\frac{1}{p}+\frac{1}{q}=1$, 如果 $f\in L^p(\Omega ),g\in L^q(\Omega )$, 则

$${\int }_{\Omega }f(x)g(x)dx\le {\left({\int }_{\Omega }|g(x){|}^{q}dx\right)}^{\frac{1}{q}}{\left({\int }_{\Omega }|f(x){|}^{p}dx\right)}^{\frac{1}{p}}$$