索博列夫不等式

在数学分析中有一类关于索博列夫空间中的范数的索博列夫不等式（Template:Lang-en; 俄语：Соболев неравенство）。 这些不等式可以用于证明索博列夫嵌入定理，给出某些索博列夫空间的包含关系。而Template:Le指出在稍强的条件下，一些索博列夫空间可以被Template:Translink到另一个空间。这类不等式得名于苏联数学家谢尔盖·利沃维奇·索博列夫。

索博列夫嵌入定理

令W^k,p(Rⁿ)表示包含Rⁿ上所有满足前k阶弱导数属于L^p的实值函数的索博列夫空间。其中k是非负整数且有1 ≤ p < ∞。索博列夫嵌入定理的第一部分指出如果 k > ℓ且1 ≤ p < q < ∞满足(k − ℓ)p < n和

$\frac{1}{q}=\frac{1}{p}-\frac{k-\ell }{n},$

那么

$W^{k,p}({𝐑}^n)\subseteq W^{\ell ,q}({𝐑}^n)$

并且该嵌入连续。在k = 1且ℓ = 0的特殊情形，索博列夫嵌入定理给出

$W^{1,p}({𝐑}^n)\subseteq L^{p^{*}}({𝐑}^n)$

其中p^∗是p的Template:Tsl，如下给出

$\frac{1}{p^{*}}=\frac{1}{p}-\frac{1}{n}.$

这个索博列夫嵌入定理的特例可由Gagliardo–Nirenberg–索博列夫不等式直接得出。

索博列夫嵌入定理的第二部分用于嵌入到Hölder空间C^r,α(Rⁿ)。如果(k − r − α)/n = 1/p其中α ∈ (0, 1)，则有嵌入

$W^{k,p}({𝐑}^n)\subset C^{r,\alpha }({𝐑}^n).$

索博列夫嵌入的这个部分可由Morrey不等式直接得出。直观的说，这种包含关系表示足够高阶的弱导数存在性意味着一些经典导数的连续性。

推广

索博列夫嵌入定理对于有其他适当定义域M的索博列夫空间W^k,p(M)也成立。特别的，索博列夫嵌入的两个部分在满足下列条件时成立

• M是Rⁿ上有利普希茨边界（Lipschitz boundary）的有界开集（或者边界满足锥条件）
• M是紧黎曼流形
• M是有利普希茨边界的紧带边黎曼流形
• M是满足单射半径δ > 0且截面曲率有界的完备黎曼流形。

Kondrachov嵌入定理

在有C¹边界的紧流形上，Kondrachov嵌入定理指出如果k > ℓ且k − n/p > ℓ − n/q则索博列夫嵌入

$W^{k,p}(M)\subset W^{\ell ,q}(M)$

是全连续（紧）的。

Gagliardo–Nirenberg–索博列夫不等式

假设u是Rⁿ上拥有紧支集的连续可微实值函数。对于1 ≤ p < n存在常数C只依赖于n和p使得

$\Vert u{\Vert }_{L^{p^{*}}({𝐑}^n)}\le C\Vert Du{\Vert }_{L^p({𝐑}^n)}.$

其中1/p* = 1/p - 1/n。$1<p<n$的情形由索博列夫给出， $p=1$的情形由Gagliardo和Nirenberg独立给出。Gagliardo–Nirenberg–索博列夫不等式可以直接导出索博列夫嵌入

$W^{1,p}({𝐑}^n)\subset L^{p^{*}}({𝐑}^n).$

Rⁿ上其他阶的嵌入可由适当的迭代得到。

Hardy–Littlewood–索博列夫引理

索博列夫给出的索博列夫嵌入定理的最初的证明基于如下定理，有时被称为Hardy–Littlewood–索博列夫分数次积分定理。一个等价陈述被称为索博列夫引理。

令0 < α < n且1 < p < q < ∞。令I_α = (−Δ)^−α/2是 Rⁿ上的Riesz势。那么，对于q如下定义

$q=\frac{pn}{n-\alpha p}$

存在常数C只依赖于p使得

${\Vert I_{\alpha }f\Vert }_q\le C\Vert f{\Vert }_p.$

如果p = 1，则有两个替代估计。第一个是更经典的弱估计：

$m\{x:|I_{\alpha }f(x)|>\lambda \}\le C{\left(\frac{\Vert f{\Vert }_1}{\lambda }\right)}^q,$

其中1/q = 1 − α/n。另一个估计是

${\Vert I_{\alpha }f\Vert }_q\le C\Vert Rf{\Vert }_1,$

$\frac{1}{p^{*}}=\frac{1}{p}-\frac{1}{n}.$

其中$Rf$是向量值Riesz变换。Riesz变换的有界性意味着一族不等式可由上述不等式统一表达。

Hardy–Littlewood–索博列夫引理导出索博列夫嵌入本质上是利用Riesz变换和Riesz势的关系。

Morrey不等式

假设n < p ≤ ∞。存在常数C只依赖于p和n，使得

$\Vert u{\Vert }_{C^{0,\gamma }({𝐑}^n)}\le C\Vert u{\Vert }_{W^{1,p}({𝐑}^n)}$

$W^{k,p}({𝐑}^n)\subset C^{r,\alpha }({𝐑}^n).$

对所有u ∈ C¹(Rⁿ) ∩ L^p(Rⁿ)，其中

$\gamma =1-\frac{n}{p}.$

因此如果u ∈ W^1,p(Rⁿ)，则u在一个零测集上重新定义后，实际上为指数γ的Hölder连续。

一个类似的结果在带有C¹边界的有界定义域U上成立。此时，

$\Vert u{\Vert }_{C^{0,\gamma }(U)}\le C\Vert u{\Vert }_{W^{1,p}(U)}$

其中常数C现在依赖于n, p和U。这一不等式可由前一不等式利用从W^1,p(U)到W^1,p(Rⁿ)的保范延拓得到。

一般索博列夫不等式

令U为Rⁿ上带有C¹边界的有界开集。（U也可以无界，但这种情况下，它的边界如果存在，则必须是充分好的。）假设u ∈ W^k,p(U)，考虑两种情况：

k < n/p

这时u ∈ L^q(U)，其中

$\frac{1}{q}=\frac{1}{p}-\frac{k}{n}.$

有估计

$\Vert u{\Vert }_{L^q(U)}\le C\Vert u{\Vert }_{W^{k,p}(U)}$,

常数C只依赖于k, p, n和U。

k > n/p

这里u属于Hölder空间，更精确的：

$u\in C^{k-\left[\frac{n}{p}\right]-1,\gamma }(U),$

其中

$\gamma =\{\begin{array}{cc}\left[\frac{n}{p}\right]+1-\frac{n}{p}& \frac{n}{p}\notin 𝐙\\ \text{any element in }(0,1)& \frac{n}{p}\in 𝐙\end{array}$

有估计

$\Vert u{\Vert }_{C^{k-\left[\frac{n}{p}\right]-1,\gamma }(U)}\le C\Vert u{\Vert }_{W^{k,p}(U)},$

常数C只依赖于k, p, n, γ和U。

p=n, k=1 情形

如果$u\in W^{1,n}({𝐑}^n)$，则u是有界平均振动函数且有

$\Vert u{\Vert }_{BMO}\le C\Vert Du{\Vert }_{L^n({𝐑}^n)},$

对于某个常数C只依赖于n。这个估计是庞加莱不等式的推论。

纳什不等式

纳什不等式，由约翰·纳什引入，指出存在一个常数C > 0，满足对所有u ∈ L¹(Rⁿ) ∩ W^1,2(Rⁿ),

$\Vert u{\Vert }_{L^2({𝐑}^n)}^{1+2/n}\le C\Vert u{\Vert }_{L^1({𝐑}^n)}^{2/n}\Vert Du{\Vert }_{L^2({𝐑}^n)}.$

这个不等式由傅立叶变换的基本性质导出。实际上，在半径为ρ的球的补集上的积分，

由帕塞瓦尔定理。另一方面，有

$|\hat{u}|\le \Vert u{\Vert }_{L^1}$

，在半径为ρ的球上的积分给出

其中ω_n是n维球的体积。选择ρ最小化(Template:EquationNote)和(Template:EquationNote)的和，再次使用帕塞瓦尔定理：

$\Vert \hat{u}{\Vert }_{L^2}=\Vert u{\Vert }_{L^2}$

给出不等式。

在n = 1的特殊情形，纳什不等式可以扩展到L^p情形，此时是Gagliardo-Nirenberg-索博列夫不等式的推广。实际上，如果I是有界区间，则对所有1 ≤ r < ∞和所有1 ≤ q ≤ p < ∞如下不等式成立

$\Vert u{\Vert }_{L^p(I)}\le C\Vert u{\Vert }_{L^q(I)}^{1-a}\Vert u{\Vert }_{W^{1,r}(I)}^a,$

其中

$a(\frac{1}{q}-\frac{1}{r}+1)=\frac{1}{q}-\frac{1}{p}.$

参考文献

• Template:Citation
• Template:Citation
• Leoni, Giovanni (2009), A First Course in Sobolev Spaces Template:Wayback, Graduate Studies in Mathematics, American Mathematical Society, pp. xvi+607 ISBN 978-0-8218-4768-8, MR2527916 Template:Wayback, Zbl 1180.46001 Template:Wayback, MAA Template:Wayback
• Template:Citation, Translated from the Russian by T. O. Shaposhnikova.
• Template:Springer