泛函分析笔记(十九) Sobolev空间、Green公式

• 1. Sobolev空间
  • 1.1. Sobolev空间的一些性质
  • 1.2. 嵌入定理
  • 1.3. Sobolev空间中的Green公式

1. Sobolev空间

设 $\Omega$ 是 ${\mathbb{R}}^N$ 的任一开子集，对于每个整数 $m\ge 1$ 以及每个扩展的实数 $1\le p\le \infty$ （扩展的实数好像就是在实数的基础上带上无穷）， 实Sobolev空间记为
$$W^{m,p}(\Omega )$$
如果p=2，则为 $$H^m(\Omega )$$
由函数 $v\in L^p(\Omega )$ 组成。
这些函数满足：

---

对所有的重指标 $\alpha ,1\le |\alpha |\le m$ ，v的弱偏导数 ${\partial }^{\alpha }v\in L^p(\Omega )$

---

根据弱偏导数的定义，一个函数 $v\in L^p(\Omega )$ 属于 $W^{m,p}(\Omega )$ ，如果对每个重指标 $\alpha ,1\le |\alpha |\le m$ ，存在一个函数 ${\partial }^{\alpha }v\in L^p(\Omega )$ 使得

$${\int }_{\Omega }({\partial }^{\alpha }v)\varphi dx=(-1{)}^{|\alpha |}{\int }_{\Omega }v{\partial }^{\alpha }\varphi dx,\forall \varphi \in \mathcal{D}(\Omega )$$

这样一个函数 ${\partial }^{\alpha }v\in L^p(\Omega )$ 是由该式唯一确定的，而且如果 $v\in {\mathcal{C}}^m(\Omega )$ 那么那就是一般意义的偏导数。

1.1. Sobolev空间的一些性质

---

设 Ω是 ${\mathbb{R}}^N$ 的开子集，而 $m\ge 1$ 是一个整数，装备范数

$$v\to ||v|{|}_{m,p,\Omega }:=({\int }_{\Omega }\sum _{|\alpha |\le m}|{\partial }^{\alpha }v{|}^{p}dx{)}^{\frac{1}{p}}=(\sum _{0\le |\alpha |\le m}||{\partial }^{\alpha }v|{|}_{L^2(\Omega )}^p{)}^{\frac{1}{p}},p\le \infty$$

$$v\to ||v|{|}_{m,\infty ,\Omega }:=\underset{|\alpha |\le m}{\max }||{\partial }^{\alpha }v|{|}_{L^{\infty }(\Omega )},p=\infty$$

的Sobelev空间是Banach空间。

• 在 $1\le p<\infty$ 时是可分的，在 $1<p<\infty$ 时是自反的
• 在 p=2 时是Hilbert空间

---

有限宽度: ${\mathbb{R}}^N$ 的一个子集如果位于 ${\mathbb{R}}^N$ 中的两个平行的超平面之间，则称其具有有限宽度。

设 $\Omega$ 是 ${\mathbb{R}}^N$ 的具有优先宽度的开子集，有

• 对每个 $1\le p<\infty$ ，Poincare-Friedrichs不等式成立，即：

存在一个常数 $c=c(\Omega ,p)$ 使得

$$||v|{|}_{0,p,\Omega }\le c|v{|}_{1,p,\Omega },\forall v\in W_0^{1,p}(\Omega )$$

• 对每个 $m\ge 1,1\le p<\infty$ ，半范数 $|\cdot {|}_{m,p,\Omega }$ 是空间 $W_0^{m,p}(\Omega )$ 上等价于范数 $||\cdot |{|}_{m,p,\Omega }$ 的范数，即存在常熟 $C=C(\Omega ,m,p)$ 使得

$$|v{|}_{m,p,\Omega }\le ||v|{|}_{m,p,\Omega }\le C|v{|}_{m,p,\Omega },\forall v\in W_0^{m,p}(\Omega )$$

1.2. 嵌入定理

嵌入：
符号 $X\hookrightarrow Y$ 指赋范向量空间 X 连续地嵌入赋范向量空间 Y，也就是说 $X\subset Y$ 而且存在一个常数c使得 $||v|{|}_Y\le c||v|{|}_X,\forall v\in X$ ，或者说，恒等映射 $(X,||\cdot |{|}_X)\to (Y,||\cdot |{|}_Y)$ 是连续的。

Sobelev 嵌入定理：
设 $\Omega$ 是 ${\mathbb{R}}^N$ 中的区域， $m\ge 1$ 是整数而 $1\le 1<\infty$ ，则有连续嵌入成立：

$$W^{m,p}(\Omega )\hookrightarrow L^{P^{\ast }}(\Omega ),其中\frac{1}{p^{\ast }}=\frac{1}{p}-\frac{m}{N},m\le \frac{N}{p}$$

$$W^{m,p}(\Omega )\hookrightarrow L^P(\Omega ),对所有满足1\le q<\infty 的q,m=\frac{N}{p}$$

$$W^{m,p}(\Omega )\hookrightarrow {\mathcal{C}}^{0,m-N/p}(\overline{\Omega }),\frac{N}{p}<m<\frac{N}{p}+1$$

$$W^{m,p}(\Omega )\hookrightarrow {\mathcal{C}}^{0,\lambda }(\overline{\Omega }),0<\lambda <1,m=\frac{N}{p}+1$$

$$W^{m,p}(\Omega )\hookrightarrow {\mathcal{C}}^{0,\lambda }(\overline{\Omega }),\frac{N}{p}+1<m$$

1.3. Sobolev空间中的Green公式

设 $\Omega$ 是 ${\mathbb{R}}^N$ 中的一个区域，而 $\nu =({\nu }_i{)}_{i=1}^N$ 表示沿着 $\Gamma$ 的单位外法向量场，设 $1\le p<\infty ,1\le q<\infty$ 使得

$$\frac{1}{p}+\frac{1}{q}\le 1+\frac{1}{N}\{\begin{array}{l}1\le q<N且1\le q<N\\ 1<q,N\le p\\ 1<p,N\le q\end{array}$$

则给定函数 $u\in W^{1,p}(\Omega )$ 以及 $v\in W^{1,q}(\Omega )$ ，每个函数 $uv{\nu }_i,1\le i\le N$ 都属于空间 $L^1(\Gamma )$ 而且有

$${\int }_{\Omega }u{\partial }_{i}vdx=-{\int }_{\Omega }({\partial }_{i}u)vdx+{\int }_{\Gamma }uv{\nu }_{i}d\Gamma$$

如果 $u,v\in H^1(\Omega )$ ，则基本Green公式 对任何维数 $N\ge 2$ 都成立。