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

索博列夫嵌入定理
--------

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

{\displaystyle {\frac {1}{q}}={\frac {1}{p}}-{\frac {k-\ell }{n}},}
那么

{\displaystyle W^{k,p}(\mathbf {R} ^{n})\subseteq W^{\ell ,q}(\mathbf {R} ^{n})}
并且该嵌入连续。在*k* = 1且*ℓ* = 0的特殊情形，索博列夫嵌入定理给出

{\displaystyle W^{1,p}(\mathbf {R} ^{n})\subseteq L^{p^{\*}}(\mathbf {R} ^{n})}
其中*p*∗是p的索博列夫共轭（英语：），如下给出

{\displaystyle {\frac {1}{p^{\*}}}={\frac {1}{p}}-{\frac {1}{n}}.}
这个索博列夫嵌入定理的特例可由Gagliardo–Nirenberg–索博列夫不等式直接得出。

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

{\displaystyle W^{k,p}(\mathbf {R} ^{n})\subset C^{r,\alpha }(\mathbf {R} ^{n}).}
索博列夫嵌入的这个部分可由Morrey不等式直接得出。直观的说，这种包含关系表示足够高阶的弱导数存在性意味着一些经典导数的连续性。

### 推广

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

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

### Kondrachov嵌入定理

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

{\displaystyle W^{k,p}(M)\subset W^{\ell ,q}(M)}
是全连续（紧）的。

Gagliardo–Nirenberg–索博列夫不等式
---------------------------

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

{\displaystyle \|u\|\_{L^{p^{\*}}(\mathbf {R} ^{n})}\leq C\|Du\|\_{L^{p}(\mathbf {R} ^{n})}.}
其中1/p\* = 1/p - 1/n。{\displaystyle 1<p<n}的情形由索博列夫给出， {\displaystyle p=1}的情形由Gagliardo和Nirenberg独立给出。Gagliardo–Nirenberg–索博列夫不等式可以直接导出索博列夫嵌入

{\displaystyle W^{1,p}(\mathbf {R} ^{n})\subset L^{p^{\*}}(\mathbf {R} ^{n}).}
**R***n*上其他阶的嵌入可由适当的迭代得到。

Hardy–Littlewood–索博列夫引理
-----------------------

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

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

{\displaystyle q={\frac {pn}{n-\alpha p}}}
存在常数C只依赖于p使得

{\displaystyle \left\|I\_{\alpha }f\right\|\_{q}\leq C\|f\|\_{p}.}
如果*p* = 1，则有两个替代估计。第一个是更经典的弱估计：

{\displaystyle m\left\{x:\left|I\_{\alpha }f(x)\right|>\lambda \right\}\leq C\left({\frac {\|f\|\_{1}}{\lambda }}\right)^{q},}

  

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

{\displaystyle \left\|I\_{\alpha }f\right\|\_{q}\leq C\|Rf\|\_{1},}

{\displaystyle {\frac {1}{p^{\*}}}={\frac {1}{p}}-{\frac {1}{n}}.}
其中{\displaystyle Rf}是向量值Riesz变换。Riesz变换的有界性意味着一族不等式可由上述不等式统一表达。

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

Morrey不等式
---------

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

{\displaystyle \|u\|\_{C^{0,\gamma }(\mathbf {R} ^{n})}\leq C\|u\|\_{W^{1,p}(\mathbf {R} ^{n})}}
{\displaystyle W^{k,p}(\mathbf {R} ^{n})\subset C^{r,\alpha }(\mathbf {R} ^{n}).}
对所有*u* ∈ *C*1(**R***n*) ∩ *Lp*(**R***n*)，其中

{\displaystyle \gamma =1-{\frac {n}{p}}.}
因此如果*u* ∈ *W*1,*p*(**R***n*)，则u在一个零测集上重新定义后，实际上为指数γ的Hölder连续。

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

{\displaystyle \|u\|\_{C^{0,\gamma }(U)}\leq C\|u\|\_{W^{1,p}(U)}}
其中常数C现在依赖于*n*, *p*和U。这一不等式可由前一不等式利用从*W*1,*p*(*U*)到*W*1,*p*(**R***n*)的保范延拓得到。

一般索博列夫不等式
---------

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

### *k* < *n*/*p*

这时*u* ∈ *Lq*(*U*)，其中

{\displaystyle {\frac {1}{q}}={\frac {1}{p}}-{\frac {k}{n}}.}
有估计

{\displaystyle \|u\|\_{L^{q}(U)}\leq C\|u\|\_{W^{k,p}(U)}},
常数C只依赖于*k*, *p*, *n*和U。

### *k* > *n*/*p*

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

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

{\displaystyle \gamma ={\begin{cases}\left[{\frac {n}{p}}\right]+1-{\frac {n}{p}}&{\frac {n}{p}}\notin \mathbf {Z} \\{\text{any element in }}(0,1)&{\frac {n}{p}}\in \mathbf {Z} \end{cases}}}
有估计

{\displaystyle \|u\|\_{C^{k-\left[{\frac {n}{p}}\right]-1,\gamma }(U)}\leq C\|u\|\_{W^{k,p}(U)},}
常数C只依赖于*k*, *p*, *n*, *γ*和U。

*p=n, k=1* 情形
-------------

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

{\displaystyle \|u\|\_{BMO}\leq C\|Du\|\_{L^{n}(\mathbf {R} ^{n})},}
对于某个常数C只依赖于n。这个估计是庞加莱不等式的推论。

纳什不等式
-----

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

{\displaystyle \|u\|\_{L^{2}(\mathbf {R} ^{n})}^{1+2/n}\leq C\|u\|\_{L^{1}(\mathbf {R} ^{n})}^{2/n}\|Du\|\_{L^{2}(\mathbf {R} ^{n})}.}
这个不等式由傅立叶变换的基本性质导出。实际上，在半径为ρ的球的补集上的积分，


|  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- |
| {\displaystyle \int \_{|x|\geq \rho }\left|{\hat {u}}(x)\right|^{2}\,dx\leq \int \_{|x|\geq \rho }{\frac {|x|^{2}}{\rho ^{2}}}\left|{\hat {u}}(x)\right|^{2}\,dx\leq \rho ^{-2}\int \_{\mathbf {R} ^{n}}|Du|^{2}\,dx} | 

|  |  |  |
| --- | --- | --- |
|   |   |   |
|   |

 | **(**1**)** |

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

{\displaystyle |{\hat {u}}|\leq \|u\|\_{L^{1}}}
，在半径为ρ的球上的积分给出


|  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- |
| {\displaystyle \int \_{|x|\leq \rho }|{\hat {u}}(x)|^{2}\,dx\leq \rho ^{n}\omega \_{n}\|u\|\_{L^{1}}^{2}} | 

|  |  |  |
| --- | --- | --- |
|   |   |   |
|   |

 | **(**2**)** |

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

{\displaystyle \|{\hat {u}}\|\_{L^{2}}=\|u\|\_{L^{2}}}
给出不等式。

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

{\displaystyle \|u\|\_{L^{p}(I)}\leq C\|u\|\_{L^{q}(I)}^{1-a}\|u\|\_{W^{1,r}(I)}^{a},}
其中

{\displaystyle a\left({\frac {1}{q}}-{\frac {1}{r}}+1\right)={\frac {1}{q}}-{\frac {1}{p}}.}

参考文献
----

1. 1 2  Aubin, Thierry, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] **252**, Berlin, New York: Springer-Verlag, 1982, ISBN 978-0-387-90704-8, MR 0681859
2. ↑  Aubin, Thierry, Bulletin des Sciences Mathématiques. 2e Série, 1976, **100** (2): 149–173, ISSN 0007-4497, MR 0488125
3. ↑  Adams, Robert A. Pure and Applied Mathematics, **65.**, New York-London: Academic Press: xviii+268, 1975, ISBN 978-0-12-044150-1, MR 0450957
4. ↑  Stein, Elias, Princeton, NJ: Princeton University Press, 1970, ISBN 0-691-08079-8
5. ↑  Schikorra, Armin; Spector, Daniel; Van Schaftingen, Jean, arXiv:1411.2318 可免费查阅
6. ↑  Nash, J. Amer. J. Math. (American Journal of Mathematics, Vol. 80, No. 4), 1958, **80** (4): 931–954, JSTOR 2372841, doi:10.2307/2372841

* Brezis, Haïm, Paris: Masson, 1983, ISBN 0-8218-0772-2
* Evans, Lawrence, American Mathematical Society, Providence, 1998, ISBN 0-8218-0772-2
* Leoni, Giovanni (2009), *A First Course in Sobolev Spaces （页面存档备份，存于）*, Graduate Studies in Mathematics, American Mathematical Society, pp. xvi+607 ISBN 978-0-8218-4768-8, MR2527916 （页面存档备份，存于）, Zbl 1180.46001 （页面存档备份，存于）, MAA （页面存档备份，存于）
* Vladimir G. Maz'ja, Springer Series in Soviet Mathematics, Berlin: Springer-Verlag, 1985 , Translated from the Russian by T. O. Shaposhnikova.
* Nikol'skii, S.M. Hazewinkel, Michiel (编), Springer, 2001, ISBN 978-1-55608-010-4