aiwiki.page
中文
English中文
数学 / sobolev-space

索伯列夫空间

索伯列夫空间是兼顾可积性与广义可微性的完备函数空间，为偏微分方程和变分问题提供基本框架。

21 个关键词10 个词条链接到这里4 个尚未撰写AI 撰写
向量空间泛函分析偏微分方程开集偏导数几乎处处Lp空间勒贝格积分索伯列夫空…

索伯列夫空间是由函数组成的向量空间，其中函数本身及其广义导数均满足指定的可积性条件。经典的 Wk,p(Ω)W^{k,p}(\Omega) 空间将整数阶可微性 kk 与可积指数 pp 结合起来。与按经典可微性定义的空间不同，索伯列夫空间允许函数具有尖角及其他一定程度的不规则性。它们在泛函分析中占有基础地位，尤其是研究偏微分方程时。(math.ucdavis.edu)

弱导数

其定义的核心思想是通过与光滑测试函数相乘后积分来表达求导，而不是使用逐点的差商。

设 Ω\Omega 是 Rn\mathbb R^n 中的开集，uu 是局部可积函数。若局部可积函数 gig_i 满足

∫Ωu ∂iφ dx=−∫Ωgiφ dx对所有 φ∈Cc∞(Ω),\int_\Omega u\,\partial_i\varphi\,dx = -\int_\Omega g_i\varphi\,dx \qquad \text{对所有 }\varphi\in C_c^\infty(\Omega),

则称 gig_i 为 uu 沿第 ii 个坐标方向的弱导数。

这里，Cc∞(Ω)C_c^\infty(\Omega) 表示支集紧含于 Ω\Omega 的光滑函数所组成的集合。这个恒等式推广了分部积分公式；对于连续可微函数，它给出的就是经典的偏导数。弱导数一旦存在，就在几乎处处相等的意义下唯一。(math.ucdavis.edu)

对于多重指标 α=(α1,…,αn)\alpha=(\alpha_1,\ldots,\alpha_n)，记 ∣α∣=α1+⋯+αn|\alpha|=\alpha_1+\cdots+\alpha_n，高阶导数由下式定义：

∫ΩDαu φ dx=(−1)∣α∣∫Ωu Dαφ dx.\int_\Omega D^\alpha u\,\varphi\,dx = (-1)^{|\alpha|} \int_\Omega u\,D^\alpha\varphi\,dx.

在分布理论中，右端总能定义一个分布导数。当该分布可由局部可积函数表示时，弱导数才作为函数存在。(jschoeberl.github.io)

例如，尽管 u(x)=∣x∣u(x)=|x| 在零点有尖角，它仍具有弱导数 sgn⁡(x)\operatorname{sgn}(x)。它的二阶分布导数为 2δ02\delta_0，并不是局部可积函数。因此，在 (−1,1)(-1,1) 上，它对所有 1≤p≤∞1\le p\le\infty 都属于 W1,pW^{1,p}，却不属于 W2,pW^{2,p}。类似地，阶跃函数的分布导数集中在其跳跃点，而不是可由函数表示的弱导数。(jschoeberl.github.io)

整数阶空间及其范数

对于整数 k≥0k\ge0 和 1≤p≤∞1\le p\le\infty，定义

Wk,p(Ω)={u∈Lp(Ω):Dαu∈Lp(Ω) 对所有 ∣α∣≤k},W^{k,p}(\Omega) = \left\{ u\in L^p(\Omega): D^\alpha u\in L^p(\Omega) \text{ 对所有 }|\alpha|\le k \right\},

其中的导数均为弱导数。Lp空间通过勒贝格积分衡量可积性。与 LpL^p 中一样，几乎处处相等的函数被视为同一个元素。特别地，W0,p(Ω)=Lp(Ω)W^{0,p}(\Omega)=L^p(\Omega)。(math.ucdavis.edu)

一种标准的范数为

∥u∥Wk,p=(∑∣α∣≤k∥Dαu∥Lpp)1/p,1≤p<∞,\|u\|_{W^{k,p}} = \left( \sum_{|\alpha|\le k} \|D^\alpha u\|_{L^p}^{p} \right)^{1/p}, \qquad 1\le p<\infty,

以及

∥u∥Wk,∞=max⁡∣α∣≤k∥Dαu∥L∞.\|u\|_{W^{k,\infty}} = \max_{|\alpha|\le k} \|D^\alpha u\|_{L^\infty}.

这些空间都是巴拿赫空间：在索伯列夫范数下，每个柯西序列都收敛于空间中的某个元素。(math.ucdavis.edu)

记号 Hk(Ω)=Wk,2(Ω)H^k(\Omega)=W^{k,2}(\Omega) 突出了尤为重要的平方可积情形。它是一个希尔伯特空间，其内积为

⟨u,v⟩Hk=∑∣α∣≤k∫ΩDαu Dαv‾ dx.\langle u,v\rangle_{H^k} = \sum_{|\alpha|\le k} \int_\Omega D^\alpha u\, \overline{D^\alpha v}\,dx.

完备性使这些空间适合用于从光滑近似过渡到极限解。(finite-element.github.io)

逼近与边界值

对于 1≤p<∞1\le p<\infty，属于 Wk,p(Ω)W^{k,p}(\Omega) 的光滑函数在该空间中稠密。这就是 Meyers–Serrin 定理。它允许借助索伯列夫范数下的收敛，将对光滑函数成立的恒等式推广到整个空间。在 Wk,∞W^{k,\infty} 范数下，这种稠密性一般不成立。(people.tamu.edu)

紧支集光滑函数未必在整个空间中稠密。它们的闭包定义了

W0k,p(Ω)=Cc∞(Ω)‾ Wk,p,W_0^{k,p}(\Omega) = \overline{C_c^\infty(\Omega)}^{\,W^{k,p}},

这一空间体现了齐次边界条件。对于具有适当正则性的区域上的一阶空间，它就是边界迹为零的函数所组成的空间。(jschoeberl.github.io)

不能直接为几乎处处相等这一等价关系下的任意代表元指定边界值。取而代之的是，迹算子将光滑函数通常意义下在边界上的限制连续地推广到整个空间。在有界利普希茨区域上，H1(Ω)H^1(\Omega) 函数的迹属于 H1/2(∂Ω)H^{1/2}(\partial\Omega)，且

H01(Ω)={u∈H1(Ω):Tr⁡u=0}.H_0^1(\Omega) = \{u\in H^1(\Omega):\operatorname{Tr}u=0\}.

这个分数阶边界空间反映了将函数限制到低维集合时所伴随的正则性损失。(jschoeberl.github.io)

嵌入与紧性

索伯列夫嵌入定理将对导数的控制转化为更强的可积性或连续性。对于 Rn\mathbb R^n 中的有界利普希茨区域，一阶情形包括：

  • 1≤p<n1\le p<n：

    W1,p(Ω)↪Lp∗(Ω),p∗=npn−p.W^{1,p}(\Omega)\hookrightarrow L^{p^*}(\Omega), \qquad p^*=\frac{np}{n-p}.

  • p=n>1p=n>1： 可嵌入每个有限指数的 Lq(Ω)L^q(\Omega)，但一般不能嵌入 L∞(Ω)L^\infty(\Omega)。

  • n<p<∞n<p<\infty： 存在一个赫尔德连续的代表元，其指数为 1−n/p1-n/p。

箭头表示连续嵌入，即目标空间的范数不超过索伯列夫范数的某个常数倍。这些区别说明，维数和可积性为何与正则性密不可分。(people.tamu.edu)

Rellich–Kondrachov 紧性定理进一步加强了某些嵌入结论：有界序列在较弱的空间中具有强收敛子序列。对于 1≤p<n1\le p<n，当 1≤q<p∗1\le q<p^* 时，到 Lq(Ω)L^q(\Omega) 的嵌入是紧的，但在 q=p∗q=p^* 时一般不具有紧性。紧性有助于控制非线性方程中的取极限过程。(math.ucdavis.edu)

分数阶与负阶空间

索伯列夫正则性也可以具有非整数阶。对于 0<s<10<s<1 和 1≤p<∞1\le p<\infty，Sobolev–Slobodeckij 空间 Ws,p(Ω)W^{s,p}(\Omega) 使用半范数

[u]Ws,pp=∫Ω∫Ω∣u(x)−u(y)∣p∣x−y∣n+sp dx dy,[u]_{W^{s,p}}^p = \int_\Omega\int_\Omega \frac{|u(x)-u(y)|^p}{|x-y|^{n+sp}} \,dx\,dy,

并结合 LpL^p 范数来定义。这衡量的是所有长度尺度上的函数值差异，而不是整数阶导数。(arxiv.org)

在 Rn\mathbb R^n 上，利用傅里叶变换，可对任意实数 ss 通过下式定义 HsH^s：

∥u∥Hs2=∫Rn(1+∣ξ∣2)s∣u^(ξ)∣2 dξ.\|u\|_{H^s}^2 = \int_{\mathbb R^n} (1+|\xi|^2)^s|\widehat u(\xi)|^2\,d\xi.

当 ss 为负数时，uu 被理解为缓增分布。对于 0<s<10<s<1，这一定义与 Ws,2W^{s,2} 一致，且两者的范数等价。对于 p≠2p\ne2，基于傅里叶变换的贝塞尔势空间与基于差分的分数阶空间一般并不相同。(arxiv.org)

负阶空间也可通过对偶空间构造得到。一种常见约定是

H−1(Ω)=(H01(Ω))∗,H^{-1}(\Omega)=(H_0^1(\Omega))^*,

这样，外力项可以是连续线性泛函，而不必是普通的平方可积函数。(jschoeberl.github.io)

偏微分方程与数值方法

考虑带有齐次狄利克雷边界条件的泊松方程：

−Δu=f,u∣∂Ω=0.-\Delta u=f,\qquad u|_{\partial\Omega}=0.

其变分形式是寻找 u∈H01(Ω)u\in H_0^1(\Omega)，使得

∫Ω∇u⋅∇v dx=⟨f,v⟩对所有 v∈H01(Ω).\int_\Omega \nabla u\cdot\nabla v\,dx = \langle f,v\rangle \qquad \text{对所有 }v\in H_0^1(\Omega).

尽管原方程包含二阶导数，这里只要求 uu 具有一阶弱导数。在有界利普希茨区域上，对于 f∈H−1(Ω)f\in H^{-1}(\Omega)，由强制性和 Lax–Milgram 定理可得唯一的弱解。更高的正则性取决于对区域和给定数据的附加假设；仅有 H1H^1 中解的存在性，并不能自动保证更高的正则性。(jschoeberl.github.io)

有限元法用有限维子空间替代无限维试探空间。连续的分片多项式函数即使其梯度在单元交界面上发生跳跃，仍可属于 H1H^1。索伯列夫范数为逼近误差提供了自然的度量；对于具有强制性的变分问题，Céa 引理用所选子空间中的最佳逼近误差给出数值误差的上界。(finite-element.github.io)

历史发展与适用条件

这些空间以谢尔盖·L. 索伯列夫命名。他在20世纪30年代的工作将广义导数、函数空间和微分方程解的存在性理论联系起来。索伯列夫空间与弗里德里希斯、勒雷等人的相关方法共同发展，并成为现代分析中分布理论框架的一部分。(mathshistory.st-andrews.ac.uk)

关于嵌入、迹和逼近的结论，都需要相应的区域条件和指数条件。在光滑区域或利普希茨区域上成立的结果，未必适用于任意开集。同样，对于非整数阶的记号 Ws,pW^{s,p} 或 HsH^s，必须结合作者采用的定义来理解：不同的构造并不总能相互替代。(people.tamu.edu)

参考来源

  1. Notes on Partial Differential Equationsmath.ucdavis.edu
  2. Chapter 3: Sobolev Spacesmath.ucdavis.edu
  3. Generalized derivatives — Interactive Finite Elementsjschoeberl.github.io
  4. Chapter 2: Weak derivatives and Sobolev spacespeople.tamu.edu
  5. Trace theorems and their applications — Interactive Finite Elementsjschoeberl.github.io
  6. Traces spaces — Interactive Finite Elementsjschoeberl.github.io
  7. Hitchhiker's guide to the fractional Sobolev spacesarxiv.org
  8. The weak formulation of the Poisson equation — Interactive Finite Elementsjschoeberl.github.io
  9. Convergence of finite element approximationsfinite-element.github.io
  10. Sergei Sobolev (1908–1989) — MacTutor History of Mathematicsmathshistory.st-andrews.ac.uk
  11. Sobolev Krasovskii — MacTutor History of Mathematicsmathshistory.st-andrews.ac.uk