Sobolev 空间理论是泛函分析与偏微分方程（PDE）研究的基石。它通过弱导数概念将函数光滑性与可积性结合，构建了一类广义函数空间，用于研究偏微分方程解的存在性、唯一性和正则性。Sobolev 空间理论也是现代数学物理问题分析的基础。
Sobolev 空间的定义
Sobolev 空间的形式定义
设 是一个开集， 为正整数， 为实数。Sobolev 空间 定义为包含 空间的函数的集合，其中函数的弱导数（weak derivatives）也是 函数。具体定义为：
其中：
是一个多重指标，表示导数的阶数；
表示广义导数（弱导数）。
特别地，若 ，则 通常记作 ，被称为 Hilbert空间，该空间具有内积结构。
1.2 广义导数（弱导数）
Sobolev 空间的一个核心概念是弱导数。在经典导数的定义中，要求函数在某点附近连续可微，但这一条件对于一些重要函数（如具有间断的函数）并不适用。为此，弱导数的定义被引入：
若 且 （即光滑且具有紧支集的函数），我们定义弱导数 满足：
这种导数的定义允许即便 在某些点不可微，它仍然可以在弱意义下拥有导数。
Sobolev 空间的范数与内积
Sobolev 空间的范数
对于 ，其范数定义为：
其中：
表示 在 空间中的导数范数。
对于 ，Sobolev 空间成为 Hilbert 空间，此时可以定义内积：
该内积使得 成为一个完备的度量空间，其中所有的序列在相应范数下收敛。
Sobolev 空间的完备性
Sobolev 空间 是一个 Banach 空间，即在该空间内所有的柯西序列都有极限，且极限也属于该空间。
如果 ，则 是一个 Hilbert 空间，且具有内积结构。在此空间中，所有的柯西序列收敛，并且收敛的极限也属于该空间。
Sobolev 空间的几个结论
Sobolev 嵌入定理
在讨论 Sobolev 空间的嵌入定理时，我们通常关注不同的 Sobolev 空间 如何嵌入到其他类型的函数空间中，特别是连续函数空间、Lebesgue 空间等。嵌入的结果依赖于空间的维数 、函数的光滑度（通过 和 来表示）、以及定义域 的形状。
Sobolev空间的嵌入定理概述
假设 是一个开集，函数 ，那么根据 , 和 的关系，Sobolev 空间可能会嵌入到其他函数空间。
嵌入定理的标准形式
低阶嵌入
连续性嵌入： 如果 ，则当满足以下条件时， 可以嵌入到某个连续函数空间：
其中， 是与 和 相关的指数。这个条件意味着当 足够大时，函数不仅具有弱导数，还具有更高的正则性，可以变得连续。
嵌入到 ： 如果 ，在 是一个有界区域且 时， 可以嵌入到一个 Hölder 连续空间 ，其中 。
高阶嵌入
空间嵌入： 对于某些 和 ， 空间中的函数可以嵌入到 空间。例如，如果 ，则 ，这意味着函数的弱导数是有界的。
紧嵌入
紧嵌入： 当 和 满足适当的条件时，嵌入不仅是代数的，也具有紧性。例如， 可以紧嵌入到 或者 空间中，尤其当 足够大时。
具体而言，如果 ，则：
也就是说，某些 Sobolev 空间的函数在 中是有界的，且该映射是紧的。
临界维数与临界指数
对于一些特殊的 和 的组合，Sobolev 空间的嵌入关系特别关键，这些组合被称为临界指数和临界维数。最常见的情况是：
临界指数： 是临界值，超出此值时，函数的正则性提高。 临界维数：空间的维数 影响着嵌入定理的性质。一般来说，当空间维数较低时，Sobolev 空间可能会嵌入到更高阶的空间中。
具体的嵌入定理
以下列出了 Sobolev 空间的一些常见嵌入结果：
1-D 例子： 对于一维空间 ：
二维空间的例子： 对于 ，嵌入条件通常如下：
三维空间的例子： 对于 ，类似地，
特别注意
边界条件的影响：上述结果假定了空间 是一个有界开集或适当的域。如果定义域具有边界（例如，狭长区域或具有特殊几何形状的区域），那么嵌入定理可能会有额外的条件，特别是在边界上的行为可能影响函数的正则性。
有限与无限维度的情况：在有限维度情况下（如 ），嵌入定理通常可以通过经典的定理直接推导；而在无限维度的空间（例如，Banach 空间）中，嵌入定理的应用更为复杂，需要具体问题具体分析。
Poincaré 不等式
对于函数 ，存在常数 ，使得：
Sobolev 空间在PDEs中的应用
泊松方程
问题描述
考虑以下的泊松方程：
其中 是我们要求解的未知函数， 是已知的源项，定义在区域 内。边界条件为：
我们的目标是利用 Sobolev 空间理论证明这个问题的弱解的存在性和唯一性。
Sobolev 空间框架
定义以下 Sobolev 空间：
，这是满足边界条件 的 Sobolev 空间。 是定义在 上的所有函数，满足： 对偶空间 是 的对偶空间。
弱解的定义
泊松方程 的弱解是指在 中找到一个函数 ，使得对于任意 ，满足以下弱形式：
也就是说， 是方程的弱解当且仅当它满足：
其中
是双线性形式， 是 和 的对偶。
弱解的存在性
利用 Lax-Milgram 定理证明存在性
对于泊松方程的弱解，我们可以通过 Lax-Milgram 定理 来证明存在性。这个定理提供了一种求解线性方程的框架，在此问题中我们可以应用于泊松方程。
Lax-Milgram 定理的核心内容是，如果双线性形式 是连续的，并且对于所有 ，存在常数 使得：
并且对偶 是连续的，即存在常数 使得：
那么方程 对于任意 有唯一解。
验证条件
双线性形式的连续性：
对于 ，通过 Cauchy-Schwarz 不等式，可以得到：
因此，双线性形式 是连续的。
强制条件：
对于 ，由于 并且 ，我们知道：
对于某个常数 ，因此双线性形式满足 强制条件。
连续性条件：
对于右侧的对偶 ，有：
因此，对偶 是连续的。
结论
根据 Lax-Milgram 定理，方程 在 中有唯一解，即存在一个唯一的 ，使得它满足弱形式：
唯一性
在此问题中，唯一性可以通过能量估计直接证明。假设 和 是泊松方程的两个弱解，令 ，则 满足：
并且 在 。
选择测试函数 代入弱形式：
由于 ，我们有：
因此 ，即 。
波方程
问题描述
设 ( 或 ) 是一个光滑有界区域，考虑以下波方程：
其中：
是待求的解， 是已知源项， 是初始位移， 是初始速度。
目标是利用 Sobolev 空间理论证明弱解的存在性和唯一性。
Sobolev 空间框架
定义以下函数空间：
， ， 是 的对偶空间。
在能量空间中，定义解的空间为：
其范数为：
波方程的弱解定义为：找到 ，满足：
以及初始条件：
弱解的存在性
采用 半离散方法 或 Galerkin 方法
构造有限维逼近
设 是 的正交基。对于任意正整数 ，定义有限维空间：
假设解 的形式为：
其中 是待定系数。将 代入波方程的弱形式，得到：
将 的形式代入，问题转化为以下常微分方程组：
其中：
该有限维常微分方程组在 上存在唯一光滑解 ，由此得到 。
能量估计
对于有限维近似解 ，定义能量：
将 代入弱形式，选择测试函数 ，得到：
通过分部积分公式，可以将第一项改写为：
第二项通过对称性得到：
右侧利用 Hölder 和 Young 不等式估计：
将上述结果综合，得到：
通过 Grönwall 不等式和积分，可以控制 和 的能量。
收敛到弱解
由于 在 中有界，利用 Banach-Alaoglu 定理可得弱收敛子列，记为 。进一步利用 Sobolev 嵌入定理，可以证明非线性项的弱收敛性，从而得到极限函数 是波方程的弱解。
唯一性证明
设 是两个弱解，令 。则 满足：
选择测试函数 ，进行能量估计：
积分得到：
因此 ，即 。解的唯一性得证。
热方程
问题描述
考虑热方程的初边值问题：
其中：
是光滑有界区域， 是已知源项， 是初始条件。
目标是利用 Sobolev 空间理论证明该热方程弱解的存在性和唯一性。
弱解的定义
定义函数空间：
热方程的弱解定义为 ，满足：
以及初始条件 以 意义成立。
能量估计及解的存在性
引入 Galerkin 逼近方法
选择 的正交基 ，并考虑有限维逼近：
其中 是待定系数。
将 代入热方程的弱形式，得到有限维方程组：
通过正交基展开，可以得到 满足的常微分方程系统：
其中：
是拉普拉斯算子的特征值， 。
该系统在 上存在唯一解 ，由此 被确定。
能量估计
对于任意固定 ，我们可以对 做以下估计：
利用积分的分部公式，第一项可以化为：
对时间积分并使用 Hölder 不等式和 Young 不等式：
由此可以得到对 的有界性估计：
通过弱收敛得到极限解
由于 Sobolev 空间 和 的弱紧性定理，存在子序列（仍记为 ）弱收敛到某个 。
将 的弱极限代入原弱形式，可以证明极限函数 满足热方程的弱解定义。
解的唯一性
假设存在两个弱解 ，令 。则 满足：
对 的弱形式有：
积分的分部公式给出：
因此：
由非负性得 对任意 ，即 。
不可压不可压 Navier-Stokes方程
问题描述
设 ( 或 ) 是一个有界光滑区域，考虑不可压缩 Navier-Stokes 方程：
其中：
是速度场， 是压力， 是粘性系数， 是外部力， 满足 。
目标是证明该方程弱解的存在性。
Sobolev 空间框架
定义以下函数空间：
， 。
赋予内积：
其中 。
利用 Poincaré 不等式可知，该内积在 上诱导范数：
弱解的定义
设 ，，Navier-Stokes 方程的弱解定义为： 找到 ，使得：
其中：
证明弱解的存在性
采用 Galerkin 方法。
构造有限维逼近
设 $ {\mathbf{\phi}k}{k=1}^\infty V N $，定义有限维空间：
假设解 的形式为：
其中 是待定系数。将 代入弱形式，得到：
对于 。
利用正交基的性质，将问题转化为有限维常微分方程系统。该系统在 上存在唯一解 。
能量估计
对方程两边乘以 并积分：
利用 Hölder 和 Young 不等式，有：
因此：
积分得到：
因此， 中有界。
收敛到弱解
由 Banach-Alaoglu 定理， 的子序列弱收敛到某个 。进一步利用 Sobolev 紧性定理，可以证明非线性项 的收敛性，从而 满足 Navier-Stokes 方程的弱解定义。
解的唯一性（2D）
在二维情形中，可以通过 Grönwall 不等式证明解的唯一性。设 是两个弱解，令 ，则：
通过类似能量估计的方法，得到：
从而 ，即解唯一。
转载请注明来源
欢迎分享、点赞、在看 🙂🙂🙂
如有需要推广的学术报告/博士招聘/新书发布信息欢迎随时联系
识别下方二维码添加小编微信🤝🤝🤝
