索伯列夫空间

数学上，一个索伯列夫空间是一个由函数组成的赋范向量空间。对于某个给定的 formula_1，索伯列夫空间的范数是函数 formula_2 的 formula_3 阶导数和函数 formula_2 的有限"Lp"范数的结合。
索伯列夫空间以苏联数学家舍盖·索伯列夫来命名。它的重要性体现在一些偏微分方程的弱解在特定的索伯列夫空间存在，即使该偏微分方程在具有经典导数定义的连续函数空间不存在强解。
简介.
对于数学函数的光滑性有很多种。最基本的要求可能就是函数要连续，更进一步的要求是可微（因为可微函数也是连续的），再强一些的概念是导数的连续性（这些函数称为formula_5 — 参看光滑函数）。可微函数在很多领域相当重要，特别是在微分方程中。在二十世纪，人们发现formula_5函数空间不是研究微分方程的解的恰当的空间。
而索伯列夫空间正是formula_5空间的替代品，用于研究偏微分方程的解。
技术性讨论.
我们从最简单情况下的索伯列夫空间开始，也就是单位圆上的一维情况。在这个情况下，索伯列夫空间formula_8定义为"L"p的子集，使得 formula_2 和它的直到 formula_3 阶的导数有一个有限的"L"p范数，对于某个给定的 formula_1 。定义正确意义上的导数时必须小心。在这个一维问题中，假设formula_12是几乎处处可微并且等于其导数的勒贝格积分（这可以排除康托函数这样的例子）就足够了。
按照这个定义，索伯列夫空间有一个自然的范数,
赋予了范数formula_14的formula_8是一个完备空间。实际上只要取序列中的第一项和最后一项就可以了，也即，如下的范数 
和上述范数等价。
例子.
有些索伯列夫空间有简单的表述。例如，在一维情况，formula_17就是绝对连续函数空间，而 formula_18 是李普希兹函数空间。还有，formula_19可以自然地用其傅立叶级数的术语定义，也就是
其中formula_21是 formula_2 的傅立叶级数。和前面一样，可以采用等价的范数
两个表达都可以从帕塞瓦尔定理以及微分等价于傅立叶系数乘以"in"这个事实导出。这个特殊情况很重要，因此有一个特别的符号，formula_24:
非整数 formula_3 的索伯列夫空间.
为避免混淆，在讨论不是整数的"k"的时候，我们通常用 formula_27 来取代它，也即formula_28或者formula_29。
formula_30 的情形.
"formula_30" 的情形是最简单的情形，因为傅立叶表述可以直接推广。我们定义范数为
而索伯列夫空间formula_29为具有有限范数的函数的空间。
分数阶微分.
如果 formula_34 不是2，就采取类似的方法。在这个情况下帕塞瓦尔定理不再成立，但是微分还是对应于在傅立叶域中的乘法，并且可以推广到非整数阶。因此，可以定义一个分数阶微分的算子其阶为 formula_27，如下所示
换句话说，取傅立叶变换，乘以formula_37再取逆傅立叶变换（定义为傅立叶－乘法－逆傅立叶的算子称为乘子，这本身也是一个研究主题）。这使得我们可以定义formula_38的索伯列夫范数如下
而且，跟平常一样，索伯列夫空间是有有限索伯列夫范数的函数的空间。
复插值.
获取“分数索伯列夫空间”的另一个办法是采用复插值。复插值是一个通用的技术：对于任何 formula_40 和巴拿赫空间 formula_41 及 formula_42，且这二者都包含于某个更大的巴拿赫空间中，我们可以创建“过渡空间”，记为 formula_43。（后面将会讨论到一个不同的方法，所谓的实插值方法，它对于迹的分类的索伯列夫理论有重要的意义）。
这样的空间 formula_41 和 formula_42 称为插值对。
下面提一些关于复插值的有用的定理：
"定理（插值）："formula_46.
"定理 （算子的插值）：若" formula_47 "和" formula_48 "是插值对，并且若" formula_49 "是一个线性映射，定义与" formula_50"到" formula_51 "中，使得 formula_49" "在" formula_41 "到" formula_54 "和" formula_42 "到" formula_56 "上连续，则 formula_49" "从" formula_43 "到"formula_59"上连续。并且有如下的插值不等式："
formula_60
参看: [[Riesz-Thorin定理]]。
回到索伯列夫空间上来，我们要通过对几个formula_8的插值得到非整数 formula_27 的formula_28。第一件事当然是看看这个可以给出一致的结果，而我们确实有
"定理: formula_64，如果" formula_65 "是一个整数使得" formula_66"。"
因此，复插值是一个得到一个空间formula_8之间的空间formula_28的一个连续统的一致的方法。而且，它给出了和分数阶微分同样的空间（但参看[[#延拓算子|延拓算子]]中的一个变化）。
多维情况.
现在考虑在 formula_69 及其子集上的索伯列夫空间。从圆到[[线]]的变化只涉及傅立叶公式的技术细节 — 基本上就是将[[傅立叶级数]]变为[[傅立叶变换]]，将求和变为积分。到多维情况的转换有更大的难度，从定义就开始变化。formula_12是formula_71的积分这个条件无法一般化，而最简单的解决办法是考虑[[分布理论]]意义下的导数。
由此可以得到一个形式化的定义。令 formula_72 为 formula_69 中开集。定义索伯列夫空间
为定义于 formula_72 上的函数"f"的族，使得对于满足下式的每个[[多重索引]]formula_76
formula_78是一个函数，且
在它上面的一个合适的范数是所有这样的 formula_76 上的那些 formula_81 范数的和。它是完备的，因此是一个巴拿赫空间。
实际上，这个方法在一维也成立，并且和前面[[#分数阶微分|分数阶微分]]中所述并无多大区别。
例子.
在多维情况，有些结果不再成立，例如，formula_17只包含连续函数。例如，formula_83属于formula_84，其中formula_85是三维的单位球。对于足够大的 formula_3，formula_87将只包含连续函数，但是对于哪个 formula_3 才够取决于 formula_34 以及维数这二者。
但是，formula_18 和 formula_19 的表述在做了必要的修改之后还是成立的。
索伯列夫嵌入.
索伯列夫空间formula_92是formula_93的子集。一个很自然的问题是：有没有其它的[[Lp空间|"Lp"空间]]包含formula_92？[[索博列夫不等式#Sobolev嵌入定理|索伯列夫嵌入定理]]给出一个简单的表达（参看）:
"定理：令 formula_95 且 formula_96。则如下命题成立:"
迹.
令formula_103。若 formula_41 为开集，使得其[[边界]] formula_105“足够光滑”，则我们可以定义映射 formula_106 的"迹"（也即，"限制")如下
也即，formula_108 限制到边界 formula_105 上。一个可能的光滑条件是一致formula_110， "m" ≥ "s"。 （但是注意，这个[[矩阵迹]]没有关系。）
这个迹映射 formula_106 其定义域为formula_112，而其像正好是formula_113。如果要完全形式化，"formula_106" 首先定义在[[无穷可微函数]]上，并且通过连续性扩展到整个formula_112。注意取迹'失去了半个导数'。
确定formula_28的迹映射的像要困难很多，需要使用实插值这个工具，在此不具体讨论。其最后的结果是[[Besov空间]]。事实上，在formula_28空间的情形，我们不是失去半个导数，我们失去了formula_118个导数。
延拓算子.
若 formula_41 是开域，其边界不是太不良（例如，如果其边界为流形，或者满足更宽松但更奇特的“锥条件”）则存在一个算子 formula_54 将 formula_41 的函数到 formula_69 的函数，使得：
我们称算子 formula_54 为 formula_41 的延拓算子。
延拓算子是最自然的定义非整数 formula_27 的formula_112方法（我们不能直接在 formula_41 进行，因为取傅立叶变化是一个整体操作）。我们定义formula_112为："u"属于formula_112当且仅当 formula_138 属于formula_139。等价的有，复插值产生同样的formula_112空间只要 formula_41 存在一个延拓算子。如果 formula_41 没有一个延拓算子，复插值是唯一取得formula_112空间的办法。
因此，插值不等式仍然成立。
用零延拓.
我们定义 formula_144 为无穷可微紧支撑函数的空间 formula_145 在 formula_112 中的闭包。给定一个迹的定义如上，我们可以给出如下命题
"定理：令" formula_41 "为一致" formula_110 "正规空间，"formula_149"并令" formula_106 "为线性映射，将 formula_112 中的" formula_108 "映射到"
"其中"formula_154"是垂直于" formula_105 "的导数，而 formula_3" "是最大的小于" formula_27 "的整数。则formula_158正好是" formula_106 "的核。"
若formula_160，我们可以一种自然的方式定义它的零延拓formula_161，也就是 
"定理：令 formula_103。将" formula_108 "变为 formula_167 的映射是到 formula_168 中的连续映射，当且仅当 formula_27" "不是形为" formula_170"（对于某个整数" formula_65"）。"
参考.
[[Category:泛函分析|S]]
[[Category:拓扑向量空间|S]]