Sobolev embedding（索伯列夫嵌入定理/嵌入）：泛函分析与偏微分方程中的一类结果，说明某些 Sobolev 空间（衡量函数及其弱导数的可积性与光滑性）可以连续地嵌入到其他函数空间（如 (L^p)、连续函数空间、Hölder 空间等）中，从而把“导数可积”转化为“函数更光滑/更有界/更连续”等性质。常见形式包括 (W^{k,p} \hookrightarrow L^q) 或 (W^{k,p} \hookrightarrow C^{0,\alpha})（在合适的维度与指数条件下）。
（该术语在不同语境下也可指具体某一个嵌入不等式或定理版本。）
/səˈboʊlɛv ɪmˈbɛdɪŋ/
In this course, we will use the Sobolev embedding to show that weak solutions are actually continuous.
在这门课中，我们将用索伯列夫嵌入来证明弱解实际上是连续的。
Under suitable conditions on (p), (k), and the dimension (n), the Sobolev embedding provides a continuous inclusion from (W^{k,p}(\Omega)) into (L^q(\Omega)) or even a Hölder space, which is crucial for regularity estimates.
在对 (p)、(k) 与维数 (n) 满足适当条件时，索伯列夫嵌入给出从 (W^{k,p}(\Omega)) 到 (L^q(\Omega)) 乃至 Hölder 空间的连续包含，这对正则性估计至关重要。
Sobolev 源自俄罗斯数学家 Sergei L. Sobolev（谢尔盖·索伯列夫） 的姓氏，他在函数空间与弱导数理论方面做出奠基性贡献；embedding 来自动词 embed（嵌入、置入），在数学中引申为“把一个空间以保持结构/连续性的方式包含到另一个空间中”。
Select Language