跳至內容

索博列夫不等式

維基百科,自由的百科全書

數學分析中有一類關於索博列夫空間中的範數索博列夫不等式(英語:Sobolev inequality; 俄語:Соболев неравенство)。 這些不等式可以用於證明索博列夫嵌入定理,給出某些索博列夫空間的包含關係。而Rellich-Kondrachov定理英語Rellich–Kondrachov theorem指出在稍強的條件下,一些索博列夫空間可以被緊嵌入英語Compact embedding到另一個空間。這類不等式得名於蘇聯數學家謝爾蓋·利沃維奇·索博列夫

索博列夫嵌入定理

[編輯]

W k,p(Rn)表示包含Rn上所有滿足前k階弱導數屬於Lp的實值函數的索博列夫空間。其中k是非負整數且有1 ≤ p < ∞。索博列夫嵌入定理的第一部分指出如果 k > 1 ≤ p < q < ∞滿足(k)p < n

那麼

並且該嵌入連續。在k = 1 = 0的特殊情形,索博列夫嵌入定理給出

其中p是p的索博列夫共軛英語Sobolev conjugate,如下給出

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

索博列夫嵌入定理的第二部分用於嵌入到Hölder空間C r,α(Rn)。如果(krα)/n = 1/p其中α ∈ (0, 1),則有嵌入

索博列夫嵌入的這個部分可由Morrey不等式直接得出。直觀的說,這種包含關係表示足夠高階的弱導數存在性意味着一些經典導數的連續性。

推廣

[編輯]

索博列夫嵌入定理對於有其他適當定義域M的索博列夫空間W k,p(M)也成立。特別的[1][2],索博列夫嵌入的兩個部分在滿足下列條件時成立

Kondrachov嵌入定理

[編輯]

在有C1邊界的緊流形上,Kondrachov嵌入定理指出如果k > kn/p > n/q則索博列夫嵌入

全連續(緊)的。

Gagliardo–Nirenberg–索博列夫不等式

[編輯]

假設u是Rn上擁有緊支集的連續可微實值函數。對於1 ≤ p < n存在常數C只依賴於n和p使得

其中1/p* = 1/p - 1/n。的情形由索博列夫給出, 的情形由Gagliardo和Nirenberg獨立給出。Gagliardo–Nirenberg–索博列夫不等式可以直接導出索博列夫嵌入

Rn上其他階的嵌入可由適當的迭代得到。

Hardy–Littlewood–索博列夫引理

[編輯]

索博列夫給出的索博列夫嵌入定理的最初的證明基於如下定理,有時被稱為Hardy–Littlewood–索博列夫分數次積分定理。一個等價陳述被稱為索博列夫引理[1][4]

0 < α < n1 < p < q < ∞。令Iα = (−Δ)α/2是 Rn上的Riesz勢。那麼,對於q如下定義

存在常數C只依賴於p使得

如果p = 1,則有兩個替代估計。第一個是更經典的弱估計:


其中1/q = 1 − α/n。另一個估計是

其中是向量值Riesz變換[5]Riesz變換的有界性意味着一族不等式可由上述不等式統一表達。

Hardy–Littlewood–索博列夫引理導出索博列夫嵌入本質上是利用Riesz變換和Riesz勢的關係。

Morrey不等式

[編輯]

假設n < p ≤ ∞。存在常數C只依賴於p和n,使得

對所有uC1(Rn) ∩ Lp(Rn),其中

因此如果uW 1,p(Rn),則u在一個零測集上重新定義後,實際上為指數γ的Hölder連續。

一個類似的結果在帶有C1邊界的有界定義域U上成立。此時,

其中常數C現在依賴於n, p和U。這一不等式可由前一不等式利用從W 1,p(U)W 1,p(Rn)的保范延拓得到。

一般索博列夫不等式

[編輯]

令U為Rn上帶有C1邊界的有界開集。(U也可以無界,但這種情況下,它的邊界如果存在,則必須是充分好的。)假設uW k,p(U),考慮兩種情況:

k < n/p

[編輯]

這時uLq(U),其中

有估計

,

常數C只依賴於k, p, n和U。

k > n/p

[編輯]

這裡u屬於Hölder空間,更精確的:

其中

有估計

常數C只依賴於k, p, n, γ和U。

p=n, k=1 情形

[編輯]

如果,則u是有界平均振動函數且有

對於某個常數C只依賴於n。這個估計是龐加萊不等式的推論。

納什不等式

[編輯]

納什不等式,由約翰·納什[6]引入,指出存在一個常數C > 0,滿足對所有uL1(Rn) ∩ W 1,2(Rn),

這個不等式由傅立葉變換的基本性質導出。實際上,在半徑為ρ的球的補集上的積分,

1

帕塞瓦爾定理。另一方面,有

,在半徑為ρ的球上的積分給出

2

其中ωnn維球的體積。選擇ρ最小化(1)和(2)的和,再次使用帕塞瓦爾定理:

給出不等式。

n = 1的特殊情形,納什不等式可以擴展到Lp情形,此時是Gagliardo-Nirenberg-索博列夫不等式的推廣。實際上,如果I是有界區間,則對所有1 ≤ r < ∞和所有1 ≤ qp < ∞如下不等式成立

其中

參考文獻

[編輯]
  1. ^ 1.0 1.1 Aubin, Thierry, Nonlinear analysis on manifolds. Monge-Ampère equations, 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, Espaces de Sobolev sur les variétés riemanniennes, Bulletin des Sciences Mathématiques. 2e Série, 1976, 100 (2): 149–173, ISSN 0007-4497, MR 0488125 
  3. ^ Adams, Robert A., Sobolev spaces, Pure and Applied Mathematics, 65., New York-London: Academic Press: xviii+268, 1975, ISBN 978-0-12-044150-1, MR 0450957 
  4. ^ Stein, Elias, Singular integrals and differentiability properties of functions, Princeton, NJ: Princeton University Press, 1970, ISBN 0-691-08079-8 
  5. ^ Schikorra, Armin; Spector, Daniel; Van Schaftingen, Jean, An L^1-type estimate for Riesz potentials, arXiv:1411.2318可免費查閱 
  6. ^ Nash, J., Continuity of solutions of parabolic and elliptic equations, Amer. J. Math. (American Journal of Mathematics, Vol. 80, No. 4), 1958, 80 (4): 931–954, JSTOR 2372841, doi:10.2307/2372841