ソボレフ空間

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（2018年5月）

数学においてソボレフ空間（ソボレフくうかん、英語: Sobolev space）は、函数からなるベクトル空間で、函数それ自身とその与えられた階数までの導函数の L^p-ノルムを組み合わせて得られるノルムを備えたものである。ここでいう微分を適当な弱い意味での微分と解釈することにより、ソボレフ空間は完備距離空間、したがってバナッハ空間を成す。直観的には、ソボレフ空間は（偏微分方程式のような応用範囲に対して）十分多くの導函数を持つ函数からなるバナッハ空間あるいはヒルベルト空間であって、函数の大きさと滑らかさの両方を測るようなノルムを備えたものということである。

ソボレフ空間の名称はロシア人数学者のセルゲイ・ソボレフに因む。ソボレフ空間の重要性は、偏微分方程式の解が古典的な意味での導函数を備える連続函数の空間にではなく、むしろソボレフ空間にあると捉えたほうが自然であるという事にある。

目次

• 
  1 導入
  


• 
  2 単位円上のソボレフ空間
  
  
  
  • 
    2.1 p が 2 の場合
    
  
  
  • 
    2.2 他の例
    
  
  
  • 
    2.3 k が非整数値であるようなソボレフ空間
    
    
    
    • 
      2.3.1 p が 2 の場合
      
    
    
    • 
      2.3.2 分数階微分
      
    
    
    • 
      2.3.3 複素補間
      
    
    
    
    
  
  
  
  


• 
  3 多次元領域上のソボレフ空間
  
  
  
  • 
    3.1 例
    
  
  
  • 
    3.2 ソボレフ函数の直線上絶対連続性による特徴づけ
    
  
  
  • 
    3.3 境界上での値が消える函数
    
  
  
  
  


• 
  4 ソボレフ埋め込み
  


• 
  5 トレース
  


• 
  6 作用素の拡張
  
  
  
  • 
    6.1 ゼロ拡張
    
  
  
  
  


• 
  7 脚注
  
  
  
  • 
    7.1 注
    
  
  
  • 
    7.2 出典
    
  
  
  
  


• 
  8 参考文献
  

導入

函数の滑らかさの基準にはいくつかの種類があり、最も基本的な基準はその連続性である。より強い判定基準は可微分性であり（実際、可微分函数は常に連続となる）、さらに導函数の連続性をも込めれば（そのような函数は C¹-級であるといわれる）より強い滑らかさの概念が与えられる。 可微分函数は多くの分野、特に微分方程式の理論において重要である。しかしながら20世紀に入ると、そのような C¹-級（あるいは同様な C², ... といった滑らかさのクラスに属する）函数の空間というものは、微分方程式を研究するための空間として本当に適切なものとは言えない事が理解されるようになる。

ソボレフ空間はそのような偏微分方程式の解を求めるための空間の、現代的な代替物である。

単位円上のソボレフ空間

まずは単位円 T 上で定義される 1-次元（1-変数函数）の場合という最も単純な設定でソボレフ空間を導入することから始める。この場合のソボレフ空間 W^k,p は L^p-空間の部分集合であって、p ≥ 1 が与えられたとき函数 f とその弱微分が階数 k まで有限な L^p-ノルムを持つ函数 f の全体からなるものとして定義される。場合によっては微分を通常の強い意味での微分として扱うこともある。1-次元の問題においてはf の (k−1)-階導函数 f^(k-1) が殆ど至る所微分可能で、その導函数のルベーグ積分と殆ど至る所一致することを仮定すれば十分である（これによりソボレフ空間の定義の狙いとは無関係なカントール函数のような例を除くことができる）。

この定義からソボレフ空間には自然なノルム

‖f‖k,p=(∑i=0k‖f(i)‖pp)1/p=(∑i=0k∫|f(i)(t)|pdt)1/p{displaystyle |f|_{k,p}=left(sum _{i=0}^{k}|f^{(i)}|_{p}^{p}right)^{!!1/p}=left(sum _{i=0}^{k}int |f^{(i)}(t)|^{p},dtright)^{!!1/p}}

を入れることができて、空間 W^k,p はこのノルム ‖•‖_k,p に関してバナッハ空間となる。このノルムは、函数列の最初と最後だけ見れば十分である。つまり、ノルムを

‖f(k)‖p+‖f‖p{displaystyle |f^{(k)}|_{p}+|f|_{p}}

で定義しても上と同値なノルムとなる（どちらのノルムが定める距離位相も同じ）。

p が 2 の場合

p = 2 のソボレフ空間はヒルベルト空間を成しフーリエ級数と関係することから特に重要で、H^k (= W^k,2) という記法が用いられる。

空間 H^k は係数が十分急減少であるようなフーリエ級数を用いて自然に定義できる。つまり

Hk(T)={f∈L2(T):∑n=−∞∞(1+n2+n4+⋯+n2k)|f^(n)|2<∞}{displaystyle H^{k}({mathbb {T} })=left{fin L^{2}({mathbb {T} }):sum _{n=-infty }^{infty }(1+n^{2}+n^{4}+dotsb +n^{2k})|{hat {f}}(n)|^{2}<infty right}}

が成立する。ここで f^{^} は f のフーリエ級数である。上述の如く、同値なノルムとして

‖f‖2=∑n=−∞∞(1+|n|2)k|f^(n)|2{displaystyle |f|^{2}=sum _{n=-infty }^{infty }(1+|n|^{2})^{k},|{hat {f}}(n)|^{2}}

を用いることができる。いずれの表現も、微分が in をフーリエ係数に掛けることに同値である事実とパーセバルの定理から簡単に従う。

さらに空間 H^k には H⁰ = L² と同様の内積を入れることができる。実際、H^k-内積は L²-内積を用いて

⟨u,v⟩Hk=∑i=0k⟨Diu,Div⟩L2{displaystyle langle u,vrangle _{H^{k}}=sum _{i=0}^{k}langle D^{i}u,D^{i}vrangle _{L^{2}}}

と定義される。空間 H^k はこの内積に関してヒルベルト空間となる。

他の例

簡単な記述を持つほかのソボレフ空間としては、例えば開区間 (0, 1) 上で絶対連続な函数全体の成す空間 W^1,1(0, 1) や任意の区間 I 上でリプシッツ連続な函数全体の成す空間 W^1,∞(I) などが挙げられる。
空間 W^k,∞ はすべて（ノルム付き）多元環となる。つまりこのソボレフ空間のふたつの函数の積は再びこの空間の元となる。このことは p が有限の場合には正しくない（例えば原点において |x|^−1/3 のように振舞う函数は L² に属するが、そのような函数の積は L² に属さない）。

k が非整数値であるようなソボレフ空間

k が整数でない場合を扱うときには、誤解を防ぐために k の代わりに s を用いて W^s,p や H^s などと書くのが通例である。

p が 2 の場合

フーリエ展開の記述をそのまま一般化できるから p = 2 の場合が最も簡単である。ノルムは

‖f‖s,22=∑(1+n2)s|f^(n)|2{displaystyle |f|_{s,2}^{2}=sum (1+n^{2})^{s}|{hat {f}}(n)|^{2}}

で定義され、ソボレフ空間 H^s はノルムが有限な函数全体の空間として定まる。

分数階微分

p が 2 でない場合は同様に扱うことができる。この場合はパーセバルの定理は最早成り立たないが、微分はまだフーリエ領域での乗法に対応していて、微分は分数階微分に一般化することができる。ゆえに作用素の階数 s の分数階微分を、フーリエ変換をとり (in)^s を掛けてフーリエ逆変換をおこなった

Fs(f)=∑n=−∞∞(in)sf^(n)eint{displaystyle F^{s}(f)=sum _{n=-infty }^{infty }(in)^{s}{hat {f}}(n)e^{int}}

によって定義することができる（フーリエ変換・掛け算作用・フーリエ逆変換と行うことによって得られる作用素はフーリエ乗数(Fourier multiplier)と呼ばれ、それ自身が研究の種である）。これにより、(s,p)-ソボレフノルムが

‖f‖s,p=‖f‖p+‖Fs(f)‖p{displaystyle |f|_{s,p}=|f|_{p}+|F^{s}(f)|_{p}}

によって定義され、通常の場合と同様にソボレフ空間がソボレフノルム有限な函数全体の成す空間として定義される。

複素補間

「分数階ソボレフ空間」を得る別の方法に、複素補間によるものがある。複素補間というのは一般的な手法で、任意の 0 ≤ t ≤ 1 とより大きなバナッハ空間への連続的に埋め込まれたバナッハ空間 X, Y に対して [X,Y]_t と表される「中間空間」を作ることができる（後で実補間法と呼ばれる別な方法について述べる。実補間はトレース作用素の特徴づけに対するソボレフ理論において本質的である）。このとき、空間 X と Y は補間対と呼ばれる。

複素補間について有用な定理を幾つか述べる。

再補間

[ [X, Y]_a, [X, Y]_b ]_c = [X , Y]_cb+(1−c)a.

作用素の補間

{X, Y} および {A, B} を補間対とし、T を X + Y 上で定義される A + B への線型写像で X を A に連続的に写し Y を B に連続的に写すものとすると、T は [X, Y]_t を [A, B]_t に連続的に写す。このとき補間不等式 (interpolation inequality)

‖T‖[X,Y]t→[A,B]t≤C‖T‖X→A1−t‖T‖Y→Bt{displaystyle |T|_{[X,Y]_{t}to [A,B]_{t}}leq C|T|_{Xto A}^{1-t}|T|_{Yto B}^{t}}

が成立する（リース-ソリンの定理^(en)も参照。

ソボレフ空間に戻って、非整数 s に対する W^s,p を整数階の空間 W^k,p たちを補間することによって定義する。もちろんこれが矛盾の無い結果を与えることは確認しなければならないことだが、実際次が成り立つ。

定理

n が n = tm なる整数ならば

[W0,p,Wm,p]t=Wn,p{displaystyle left[W^{0,p},W^{m,p}right]_{t}=W^{n,p}}

が成立する。

したがって複素補間は、W^k,p の間にある空間の連続体 W^s,p を得る一貫した方法である。さらに、これは分数階微分の成す空間と同じものを定めるのである（後述の作用素の拡張を参照）。

多次元領域上のソボレフ空間

ここでは Rⁿ と Rⁿ の部分集合 D 上のソボレフ空間を考える。単位円上での話を実数直線上のものに変えるには、フーリエの公式の技術的な変更のみ行えばよい（基本的にはフーリエ級数をフーリエ変換に取り替えて、和を積分にする）。多次元への移行は、まさにその定義からしてもっと複雑なものになる。1-次元の場合の、 f^(k−1) が f^(k) の積分になっているという仮定は一般化できない。このことの最も単純な解決法は微分を超函数の意味での微分と考えることである。

形式的な定義を以下に与える。D を Rⁿ の開集合、k を自然数とし、1 ≤ p ≤ +∞ とする。ソボレフ空間 W^k,p(D) は D 上で定義される函数 f で任意の多重指数 α (|α| ≤ k) に対して混合偏微分

f(α)=∂|α|f∂x1α1…∂xnαn{displaystyle f^{(alpha )}={frac {partial ^{|alpha |}f}{partial x_{1}^{alpha _{1}}dots partial x_{n}^{alpha _{n}}}}}

が局所可積分かつ L^p(D) に属する（つまり

‖f(α)‖Lp<∞{displaystyle |f^{(alpha )}|_{L^{p}}<infty }

が成り立つ）ようなもの全体の成す集合として定義される。W^k,p(D) のノルムにはいくつかの選択肢があるが、次のふたつ

‖f‖Wk,p={(∑|α|≤k‖f(α)‖Lpp)1/p(1≤p<+∞)∑|α|≤k‖f(α)‖L∞(p=+∞){displaystyle |f|_{W^{k,p}}={begin{cases}left(displaystyle sum _{|alpha |leq k}|f^{(alpha )}|_{L^{p}}^{p}right)^{!!!1/p}&(1leq p<+infty )\[24pt]displaystyle sum _{|alpha |leq k}|f^{(alpha )}|_{L^{infty }}&(p=+infty )end{cases}}}

および

‖f‖Wk,p′={∑|α|≤k‖f(α)‖Lp(1≤p<+∞)∑|α|≤k‖f(α)‖L∞(p=+∞){displaystyle |f|'_{W^{k,p}}={begin{cases}displaystyle sum _{|alpha |leq k}|f^{(alpha )}|_{L^{p}}&(1leq p<+infty )\[20pt]displaystyle sum _{|alpha |leq k}|f^{(alpha )}|_{L^{infty }}&(p=+infty )end{cases}}}

が一般的である。これらはノルムとして同値であり、いずれのノルムに関しても W^k,p(D) はバナッハ空間となる。有限な p に対して、 W^k,p(D) は可分空間でもある。上述のように W^k,2(D) は H^k(D) という別記法を持つ。

分数階ソボレフ空間 H^s(Rⁿ) ( s ≥ 0) は先に述べたのと同様にフーリエ変換を用いて

Hs(Rn)={f:Rn→R | ‖f‖Hs2=∫Rn(1+|ξ|2)s|f^(ξ)|2dξ<+∞}{displaystyle H^{s}(mathbf {R} ^{n})=left{fcolon mathbf {R} ^{n}to mathbf {R} {bigg |} |f|_{H^{s}}^{2}=int _{mathbf {R} ^{n}}(1+|xi |^{2})^{s}|{hat {f}}(xi )|^{2},dxi <+infty right}}

として定義することができる（フーリエ変換がユニタリ変換であるという事実を用いる）。しかし、 D が Rⁿ あるいはトーラス Tⁿ のように周期的領域でない場合、非周期敵領域上の函数のフーリエ変換を定めるのは無理であるから、この定義は十全ではない。しかし幸いにして、本質的にヘルダー連続性の L²-類似を用いた分数階ソボレフ空間の内在的な特徴づけが存在する。H^s(D) における同値な内積が

(f,g)Hs(D)=(f,g)Hk(D)+∑|α|=k∬D×D(f(α)(x)−f(α)(y))(g(α)(x)−g(α)(y))|x−y|n+2tdxdy{displaystyle (f,g)_{H^{s}(D)}=(f,g)_{H^{k}(D)}+sum _{|alpha |=k},iint limits _{Dtimes D}{frac {(f^{(alpha )}(x)-f^{(alpha )}(y))(g^{(alpha )}(x)-g^{(alpha )}(y))}{|x-y|^{n+2t}}},dxdy}

によって与えられる。ここで s = k + t （k は整数、0 < t < 1）である。領域の次元 n が内積に関する上記の式に現われていることに注意^{[注 1]}。

例

たとえば W^1,1 が連続函数のみを含むというようなことは、高次元ではもはや正しくない。例えば、1/|x| は W^1,1(B³) に属す（B³ は三次元単位球体）。k > n/p に対する空間 W^k,p(D) は連続函数のみを含むが、このような k はこの時点で既に p と次元 n の両方に依存する。例えば球面極座標を用いて簡単に確認できることだが、n-次元球体上定義される函数 f: Bⁿ → R ∪ {+∞}

f(x)=1|x|α{displaystyle f(x)={frac {1}{|x|^{alpha }}}}

が W^k,p(Bⁿ) に属することと

α<np−k{displaystyle alpha <{frac {n}{p}}-k}

となることは同値である。直観的にはより高次元における単位球体は「より小さい」ため、f の 0 における爆発は n が大きいとき「無視できる」ということである。

ソボレフ函数の直線上絶対連続性による特徴づけ

Ω を Rⁿ の開集合とし、1 ≤ p ≤ ∞ とする。函数が W^1,p(Ω) に属すならば、場合によっては測度 0 の集合上での値を変更して、その函数の Rⁿ の座標方向に平行な殆ど全ての直線への制限が絶対連続であるようにすることができる。逆に、座標方向に平行な殆ど全ての直線への f の制限が絶対連続ならば、各点ごとの傾き ∇f が殆ど至る所存在し、f と |∇f| の両方が L^p(Ω) に属すとき f は W^1,p(Ω) に属す。特に、このときの f の弱偏微分と各点ごとの傾きは殆ど至る所一致する。

より強い結果として、これは p = ∞ においても正しい。W^1,∞(Ω) に属する函数は測度 0 の集合上値を変更することにより局所リプシッツにできる。

境界上での値が消える函数

Ω を Rⁿ の開集合とする。ソボレフ空間 W^1,2(Ω) = H¹(Ω) はヒルベルト空間で、重要な部分空間として Ω 上のコンパクト台付き無限回微分可能な函数全体の成す集合の H¹(Ω) における閉包である H¹₀(Ω) を含む。ソボレフノルムは上述のものを簡約して

‖f‖H1=(∫Ω(|f|2+|∇f|2))1/2{displaystyle |f|_{H^{1}}=left(int _{Omega }(|f|^{2}+|nabla f|^{2})right)^{!!1/2}}

によって与えられる。Ω が正則な境界を持つとき、H¹₀(Ω) は H¹(Ω) に属する函数で境界上トレースの意味で消えているようなもの全体として記述することができる（後述）。n = 1 のとき、Ω = (a, b) を有界区間とすると、H¹₀(a, b) は閉区間 [a, b] 上で定義される

f(x)=∫axf′(t)dt(x∈[a,b]){displaystyle f(x)=int _{a}^{x}f'(t)dtquad (xin [a,b])}

の形の連続函数全体から成る。ここで、一般化された微分 f′ は L²(a, b) に属し、f(b) = f(a) = 0 となるように積分値が 0 となるものである。Ω が有界であるとき、ポワンカレ不等式によれば定数 C = C(Ω) が存在して、常に

∫Ω|f|2≤C2∫Ω|∇f|2,f∈H01(Ω){displaystyle int _{Omega }|f|^{2}leq C^{2},int _{Omega }|nabla f|^{2},quad fin H_{0}^{1}(Omega )}

とすることができる。Ω 有界であるとき H¹₀(Ω) から L²(Ω) への単射はコンパクトである。この事実はディリクレ問題の研究や、ディリクレ境界条件におけるラプラス作用素の固有ベクトルからなる L²(Ω) の正規直交基底が存在するという事実において重要な役割を果たす。

ソボレフ埋め込み

詳細は「ソボレフ不等式」を参照

n-次元コンパクトリーマン多様体上のソボレフ空間 W^k,p を記述する。ここで k は任意の実数値を取りうるものとし、 1 ≤ p ≤ ∞ とする（ p = ∞ に対するソボレフ空間 W^k,∞ はヘルダー空間 C^n,α として定義される。ここで k = n + α, 0 < α ≤ 1 である）。ソボレフ埋蔵定理の主張は、k ≥ m かつ k − n/p ≥ m − n/q ならば

Wk,p⊆Wm,q{displaystyle W^{k,p}subseteq W^{m,q}}

であり、この埋め込みは連続であるというものである。さらに k > m かつ k − n/p > m − n/q ならばこの埋め込みは完全連続となる（このことはしばしばコンドラコフの定理と呼ばれる）。W^m,∞ に属する函数は m より小さい階数において連続な導函数をもつから、定理は特にいくつかの導函数が連続となるようなソボレフ空間に関する条件を与えている。くだけた言い方をすれば、この埋め込みで次元ごとの導函数の L^p に関する評価は、1/p を重みとする有界性の評価に転換されるということを言っている。

Rⁿ のように非コンパクト多様体に対しても埋蔵定理に類似の結果が存在する(Stein 1970)。

トレース

詳細は「トレース作用素」を参照

s > 1/2 とし、X をその境界 ∂X が十分滑らかであるような開集合とすると、トレース写像 P が ∂X への制限写像

Pu=u|∂X{displaystyle Pu=u|_{partial X}}

すなわち、各 u に対してその定義域を ∂X に制限するような写像として定義される。単純な平滑条件としては、m ≥ s に対する一様 C^m-性がある。

ここでいうトレースは「縁取り」の意味であって、行列のトレースとは関係が無い。

このトレース写像 P は H^s(X) を定義域に持つものとして定義され、その像は丁度 H^s−1/2(∂X) となる。厳密に言えば、P ははじめに無限回微分可能な函数に対して定義され、それを連続性によって H^s(X) まで拡張するのである。このトレースを取ることによって「微分が 1/2 だけ減っている」ということに注意。

W^s,p のトレース写像による像を同定することは相当に困難で、実補間の道具を必要とする。結果として得られる空間はベソフ空間^(en)である。W^s,p-空間の場合には、微分の 1/2 が減少するのではなく、1/p が減少するということがわかる。

作用素の拡張

X をその境界が行儀悪すぎないような（たとえば境界が多様体になっているとか、あるいはより自由だがより曖昧な「錐体条件」を満足するなど）開領域とすると、X 上の函数を Rⁿ 上の函数に写す作用素 A で

1. 
   Au(x) = u(x) が殆ど全ての x ∈ X で成立し、


2. 
   A は各 1 ≤ p ≤ ∞ と整数 k に対して W^k,p(X) を W^k,p(Rⁿ) へ連続に写す

という条件を満足するものが存在する。このような作用素 A を X に対する作用素の拡張という。

拡張作用素は非整数 s に対する H^s(X) を定義する最も自然な方法である（フーリエ変換をとることは大域操作であるため、それを使って X 上で直接に作業することはできない）。ここでは u が H^s(X) に属するのは Au が H^s(Rⁿ) に属するときであり、かつそのときに限るということによって H^s(X) を定義する。同様にして、X が拡張作用素を持つ限り、複素補間によっても同じ H^s(X) が得られる。X が拡張作用素を持たないときは、複素補間が H^s(X) を得る唯一の方法である。

結果として、補間不等式はこの場合にも成立する。

ゼロ拡張

コンパクト台無限回微分可能函数全体の成す空間 C^∞_c(X) の H^s(X) における閉包として空間 H^s₀(X) を定義する。上述のトレースを用いれば、定義を次のように述べることができる。

定理

X は m ≥ s について一様 C^m-正則で、P はH^s(X) の元 u を

(u,dudn,…,dkudnk)|G{displaystyle left.left(u,{frac {du}{dn}},dots ,{frac {d^{k}u}{dn^{k}}}right)right|_{G}}

へ写す線型写像とする。ここで d/dn は G の法線方向への微分で、k は s より小さい最大の整数である。このとき H^s₀ はちょうど P の核に等しい。

u ∈ H^s₀ ならばその 0 による拡張 u^~ ∈ L²(Rⁿ) を自然な方法で定義することができる。つまり

u~(x):={u(x)(x∈X)0(otherwise){displaystyle {tilde {u}}(x):={begin{cases}u(x)&(xin X)\0&({mbox{otherwise}})end{cases}}}

と定めればよい。

定理

s > 1/2とする。写像

H0s(X)∋u↦u~∈Hs(Rn){displaystyle H_{0}^{s}(X)ni umapsto {tilde {u}}in H^{s}(mathbb {R} ^{n})}

が連続となることの必要十分条件は s がどんな整数 n を選んでも n + 1/2 の形とはならないことである。

脚注

注

1. 
   ^ 同様の式は一般のLp空間にも拡張でき、そのノルムをもつ空間はSobolev–Slobodeckij空間といい、W^s,p(Ω)と表す。
   

出典

参考文献

• 
  Adams, Robert A.; Fournier, John J. F. (2003), Sobolev Spaces, Pure and Applied Mathematics Series, 140 (2nd ed.), Academic Press, ISBN 9780120441433 
  


• 
  Evans, Lawrence C. (2010), Partial Differential Equations, Graduate Studies in Mathematics, 19 (2nd ed.), American Mathematical Society, ISBN 978-0-8218-4974-3 
  


• 
  Nikol'skii, S.M. (2001), “Imbedding theorems”, in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://eom.springer.de/i/i050230.htm 
  


• 
  Nikol'skii, S.M. (2001), “Sobolev space”, in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://eom.springer.de/S/s085980.htm 
  


• S.L. Sobolev, "On a theorem of functional analysis" Transl. Amer. Math. Soc. (2) , 34 (1963) pp. 39–68 Mat. Sb. , 4 (1938) pp. 471–497


• S.L. Sobolev, "Some applications of functional analysis in mathematical physics" , Amer. Math. Soc. (1963)


• 
  Stein, E (1970), Singular Integrals and Differentiability Properties of Functions,, Princeton Univ. Press, ISBN 0-691-08079-8 
  

This page is only for reference, If you need detailed information, please check here