ソボレフ不等式とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > ソボレフ不等式の意味・解説 

ソボレフ不等式

(ソボレフの埋め込み定理 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/03/21 17:29 UTC 版)

ナビゲーションに移動 検索に移動

数学解析学の分野には、ソボレフ空間のノルムを含むノルムに関して、ソボレフ不等式(ソボレフふとうしき、: Sobolev inequality)の類が存在する。それらは、ある種のソボレフ空間の間の包含関係を与えるソボレフ埋蔵定理(Sobolev embedding theorem)や、わずかに強い条件の下でいくつかのソボレフ空間は別のものにコンパクトに埋め込まれることを示すレリッヒ=コンドラショフの定理を証明するために用いられる。セルゲイ・ソボレフの名にちなむ。

ソボレフ埋蔵定理

上の実数値関数で、 階までの弱微分 に含まれるものからなるソボレフ空間を と表す。ここで は非負の整数で、 である。ソボレフ埋蔵定理の第一の部分では、 および

を満たす二つの実数であるなら、

であり、この埋め込みは連続であることが示されている。であるような特別な場合では、次が成り立つ:

ここで p は、次で与えられる pソボレフ共役である:

このようなソボレフ埋蔵定理の特別な場合は、ガリャルド=ニーレンバーグ=ソボレフ不等式(Gagliardo–Nirenberg–Sobolev inequality)の直接的な帰結である。

ソボレフ埋蔵定理の第二の部分は、ヘルダー空間 C r,α(Rn) の埋め込みに対して適用される。すなわち、α ∈ (0, 1) に対して (krα)/n = 1/p であるなら、次の埋め込みが成立する:

ソボレフ埋蔵定理のこの部分は、モレーの不等式(Morrey's inequality)の直接的な帰結である。直感的に、十分高い階の弱微分の存在は古典的な微分のある種の連続性を意味することを、この包含関係は表している。

一般化

ソボレフ埋蔵定理は、他の適切な領域 M 上のソボレフ空間 W k,p(M) に対しても成立する。特に、上述の第一、第二のいずれの部分も成立するための十分条件として、次が挙げられる(Aubin 1982, Chapter 2; Aubin 1976):

コンドラショフ埋蔵定理

境界が C1 であるようなコンパクト多様体に関するコンドラショフ埋蔵定理(Kondrachov embedding theorem)では、k > kn/p > n/q が成り立つなら、ソボレフの埋め込み

完全連続であることが示されている。

ガリャルド=ニーレンバーグ=ソボレフ不等式

u はコンパクトな台を持つ Rn 上の連続的微分可能な実数値函数とする。このとき 1 ≤ p < n に対し、np にのみ依存するある定数 C が存在して次の不等式が成り立つ:

このガリャルド=ニーレンバーグ=ソボレフ不等式は、次のソボレフの埋め込みを直接的に意味する:

すると適切に反復することにより、Rn 上の他の位数の埋め込みも得ることが出来る。

ハーディ=リトルウッド=ソボレフの補題

ソボレフ自身によるソボレフ埋蔵定理の本来の証明は、ハーディ=リトルウッド=ソボレフの分数冪積分英語版定理として知られる以下の内容に従うものであった。同様の内容は (Aubin 1982, Chapter 2) においてはソボレフの補題としても知られている。証明は (Stein, Chapter V, §1.3) に見られる。

0 < α < n1 < p < q < ∞ を定める。Iα = (−Δ)α/2Rn 上のリースポテンシャルとする。このとき、

に対して、p にのみ依存する定数 C が存在して、次が成り立つ:

p = 1 なら、次の弱い形式の評価が成立する:

ここで 1/q = 1 − α/n である。

ハーディ=リトルウッド=ソボレフの補題は、リース変換とリースポテンシャルの間の関係により、本質的にソボレフの埋め込みを意味するものである。

モレーの不等式

n < p ≤ ∞ とする。このとき、pn にのみ依存するある定数 C が存在して、すべての uC1(Rn) ∩ Lp(Rn) に対して次の不等式が成り立つ。

ここで

である。したがって uW 1,p(Rn) であるなら、測度 0 の集合上で再定義されることもあり得るが、u は指数 γヘルダー連続である。

同様の結果は、境界が C1 であるような有界領域 U に対しても成り立つ。この場合、

となる。ここで定数 Cn, pU に依存する。この場合の不等式は、W 1,p(U) から W 1,p(Rn) へのノルム保存拡張を行うことで、上述の不等式より従う。

一般ソボレフ不等式

URn の有界開部分集合で、その境界は C1 であるとする(U は非有界である場合もあるが、その場合の境界は存在するなら十分に良く振る舞うものである)。uW k,p(U) を仮定し、次の二つの場合を考える。

k < n/p

この場合、uLq(U) である。但し

である。さらに次の評価が成り立つ。

この定数 Ck, p, nU にのみ依存する。

k > n/p

この場合、u はヘルダー空間に属する。より正確に言うと、

が成り立つ。ここで

である。さらに次の不等式が成り立つ。

ここで定数 Ck, p, n, γU にのみ依存する。

の場合

なら、u有界平均振動英語版の函数であり、

n にのみ依存するある定数 C に対して成立する。この評価はポアンカレ不等式の系である。

ナッシュ不等式

John Nash (1958) によって導入されたナッシュ不等式によると、すべての uL1(Rn) ∩ W 1,2(Rn) に対してある定数 C > 0 が存在し、次が成立する:

この不等式は、フーリエ変換の基本的な性質より従う。実際、半径 ρ の球の補集合についての積分に対して、

(1)

パーセバルの定理より従う。一方、

が得られるため、これを半径 ρ の球について積分すると

(2)

が得られる。ここで ωn n 球の体積である。(1) と (2) の和を最小化するように ρ を選び、再びパーセバルの定理を適用することで、

が得られる。これによりナッシュ不等式が従う。

n = 1 であるような特別な場合、ナッシュ不等式は Lp に対して拡張され、その場合はガリャルド=ニーレンバーグ=ソボレフ不等式の特別な場合と見なされる (Brezis 1999)。実際、I が有界区間なら、すべての 1 ≤ r < ∞1 ≤ qp < ∞ に対して、次の不等式が成り立つ。

但し

が成立するものとする。

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ソボレフ不等式」の関連用語

ソボレフ不等式のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ソボレフ不等式のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのソボレフ不等式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS