ソボレフ空間

1 ソボレフ空間の概要

1.1 背景と目的

ソボレフ空間は、微分の概念を「古典的に微分できる関数」に限定せず、より広い関数クラスに拡張して扱うための関数解析の基本的枠組みである。とくに偏微分方程式では、解が必ずしも滑らかさを持たない一方で、方程式の形に現れる微分項を何らかの意味で解釈する必要がある。そのため、微分を“点ごとの操作”ではなく“弱い意味での作用”として捉え直す流れが生まれ、そこで重要な役割を果たすのがソボレフ空間である。

目的は、解の存在や一意性、正則性（滑らかさの程度）といった性質を体系的に整理することである。さらに、埋め込み、密度、近似、作用素の連続性など、解析の基礎定理を同一の言語で記述できる点に特徴がある。

1.2 定義の基本構成

1.2.1 弱微分の考え方

弱微分とは、微分可能性を仮定せずに微分を定義する方法である。古典的な微分では、関数が十分な滑らかさを持ち、導関数が点ごとに意味を持つ。しかし弱微分では、テスト関数（十分滑らかで台がコンパクトな関数）に対する積分を用い、ある種の部分積分の恒等式が成立するかどうかで「微分したことに相当する量」を定める。

具体的には、ある関数 \(u\) に対して、もし次の形の関係がテスト関数に対して成り立つなら、弱微分 \(D^\alpha u\) を存在すると見なす。ここで \(\alpha\) は多重指数である。こうして得られる弱微分は、必ずしも通常の意味の導関数と一致しない場合もあるが、正則性が十分に高いときには古典的導関数と一致することが知られている。

弱微分を通じて「微分した量」そのものではなく、「積分によって検出される性質」を空間構造に組み込めるため、方程式の弱い形を自然に定式化できる。

1.2.2 ソボレフ空間 \(W^{k,p}\) の定義

\(W^{k,p}\) は、弱微分が一定回数まで \(L^p\) に属することを要求する関数空間である。ここで \(k\) は非負整数、\(1\le p\le \infty\)（多くの場合は \(1\le p<\infty\)）を表す。

典型的には、開集合 \(\Omega\subset \mathbb{R}^n\) 上の関数 \(u\) を考え、任意の多重指数 \(\alpha\) で \(	\alpha	\le k\) を満たすものについて、弱微分 \(D^\alpha u\) が \(\Omega\) 上で \(L^p(\Omega)\) に属することを要求する。ノルムは \(L^p\) ノルムと弱微分の \(L^p\) ノルムを組み合わせて定める。

この定義により、滑らかな関数（例えば \(C^\infty\) 級）は当然 \(W^{k,p}\) に含まれ、滑らかさが下がっても弱微分が制御される範囲で所属が保証される。結果として、古典微分に頼らずに「\(k\) 回までの微分が \(L^p\) で評価される」という意味が精密化される。

1.2.3 ソボレフ空間 \(H^s\)（指数付きヒルベルト空間）

指数 \(s\) を任意の実数へ拡張した形が \(H^s\) であり、典型的にはヒルベルト空間として構成される。整数 \(s=k\) の場合、\(H^k\) は \(W^{k,2}\) と同一視されることが多いが、一般の \(s\) ではフーリエ解析に基づくスペクトル的定義を用いることが多い。

基本理念は、周波数領域での減衰（あるいは増大）の度合いを重み付けにより計測し、弱い滑らかさを指数で表す点にある。これにより、偏微分方程式で現れる分数階の正則性や、微分作用素の次数に対応した解析が可能になる。

\(H^s\) の利点は、内積構造を保ったまま次数 \(s\) を連続的に扱えることであり、エネルギー法や線形作用素の解析で特に扱いやすい。

1.3 基本的性質

1.3.1 ノルム・内積と完備性

ソボレフ空間には、弱微分を含めたノルム（あるいは内積）が導入される。ノルムは直観的には「関数そのもの」と「その弱微分群」の大きさを同時に評価する量である。とくに \(p=2\) の場合、弱微分に対応する \(L^2\) の内積を組み合わせることで、\(H^s\) や \(W^{k,2}\) はヒルベルト空間の形をとる。

完備性は、解析における極限操作（収束や近似の議論）を正当化する上で不可欠である。ソボレフ空間は適切なノルムのもとで完備となり、Cauchy列が極限を持つ。これにより、近似された解や級数展開から導かれる対象が、実際に同じ空間に属することが保証される。

さらに、弱微分が同じなら元の関数が同値に見なされる（ヌル集合の上で一致）という枠組みが、空間の定義に自然に組み込まれる。

1.3.2 モジュールとしての見方（関数と弱微分の統一）

ソボレフ空間は、単なる「関数の集合」ではなく、弱微分による構造が一体となった対象として理解できる。言い換えると、関数に作用する微分作用素を、弱い意味での対応として扱うことで、関数と微分情報を同じ枠内で同定する。

この見方では、弱微分の指定により、解析対象に対する“微分的データ”が与えられる。したがって、連続性や埋め込みなどの性質も、関数だけでなく、その弱微分の組に対して成立する命題として整理される。

また、微分作用素を線形作用として捉えることで、作用素論の言語（有界性、閉性、スペクトル的観点）へ自然に接続できる点も利点である。

2 主要な性質と定理

2.1 埋め込み定理

2.1.1 ソボレフ埋め込み

埋め込み定理は、ソボレフ空間の関数が別の関数空間にも自動的に属する、という連続性を保証する結果である。直観的には、弱微分が増えるほど（あるいは指数 \(p\) の条件が適切であるほど）、関数はより滑らかであるか、あるいはより高い統制（積分の意味での大きさ）を満たす。

たとえば、\(W^{k,p}\) の所属は、適切な条件下で連続性や、より強い \(L^q\) 空間への連続埋め込みを与える。ヒルベルト型の \(H^s\) でも同様に、次数 \(s\) が十分大きい場合に連続関数やより高い正則性へ移行する。

埋め込みの形は次元 \(n\) に依存し、臨界的な指数の存在が議論を左右する。これにより、PDE の解の“どの程度の滑らかさが期待できるか”を定量化できる。

2.1.1.1 コンパクト埋め込み

コンパクト埋め込みは、連続埋め込みに加え、単に有界列から収束部分列が得られるという強い性質を述べる。具体的には、ソボレフ空間の有界集合を別の関数空間へ写したとき、その写像がコンパクトになる条件があり、この条件下で有界列から強収束（ある規範での収束）が引き出せる。

この性質は変分法にとって決定的である。あるエネルギー汎関数の最小化を考えると、単に弱収束が得られるだけでは極限が候補となるとは限らない。しかしコンパクト性があれば、必要な部分で強い収束が得られ、非線形項の扱いが可能になる。

コンパクト性の成否は次元と指数の関係に依存し、境界値や領域の幾何（たとえば有界性）も影響する。

2.2 密度定理と近似

2.2.1 多項式・滑らかな関数の密度

密度定理は、より“扱いやすい”関数（多項式や滑らかな関数）で、ソボレフ空間の任意の元をノルムの意味で近似できることを保証する。たとえば、十分に良い領域 \(\Omega\) では \(C^\infty\) 級関数や多項式系が \(W^{k,p}(\Omega)\) において稠密になる。

この結果の価値は、近似によりテスト関数を用いた弱定式化から、望む計算や極限操作へ橋渡しができる点にある。特に弱微分を定義する段階ではテスト関数の滑らかさが本質的であり、密度があることでソボレフ空間全体へ命題を拡張できる。

また、密度は一意性の議論にも関わり、弱い意味での恒等式を検証するのに適切な近似が必要となる。

2.2.2 モルフィング（滑らかな近似）と収束

モルフィングと呼ばれることもある滑らかな近似（一般にはモルファイアや近似核に基づく手法）は、ソボレフ空間の関数を滑らかな関数へ近づける標準的操作である。代表的には、畳み込みによって弱微分の制御を保ったまま滑らかさを導入する方法が用いられる。

近似核を用いると、滑らかな関数列がソボレフノルムの意味で収束することが示せる。さらに、近似において弱微分と収束が整合するよう設計されるため、極限を取る際に微分情報が失われない。

この仕組みにより、PDE の弱解の議論で必要になる“テストのための滑らか化”が可能になる。例えば境界条件や積分恒等式を扱うとき、近似列上で成立する恒等式を極限へ運びやすくなる。

2.3 作用素と連続性

2.3.1 弱微分としての微分作用素

ソボレフ空間における微分作用素は、弱微分をもとに定義される線形作用として理解できる。古典的微分では、入力関数が微分可能であることが前提だが、弱版では微分が“積分表示で”意味づけられるため、より低い正則性を持つ関数にも作用素を適用できる。

この作用素の重要な性質は有界性（連続性）である。すなわち、適切なソボレフ空間の間で微分作用素が有界線形作用素になる条件が定式化でき、ノルム評価を通じて微分項の制御が得られる。これにより、方程式の弱形式における各項の意味が整い、エネルギー型評価へ進める。

さらに、微分作用素は閉性や弱収束との整合性など、関数列の極限を扱う際の技術要件とも結びつく。

2.3.2 楕円型作用素との関係（概観）

楕円型作用素は偏微分方程式理論の中心であり、ソボレフ空間はその解析の主要な土台となる。概観としては、ある楕円型作用素 \(L\) に対し、ソボレフ空間上で \(Lu\) を弱い意味で定義し、適切な右辺があるときに \(u\) が存在するか、また \(u\) の正則性がどこまで向上するかを調べる。

典型的には、\(L\) の次数に応じて、入力側と出力側の指数 \(s\) が対応するような枠組みで議論が進む。正則性定理では、右辺がより滑らかであるほど解も（弱い意味で）滑らかになるという方向の主張が得られる。

さらに、ヒルベルト空間の構造がある場合には、双線形形式や弱定式化を用いた変分法の枠組みへ接続でき、存在性や一意性が示されることが多い。

3 代表的応用

3.1 偏微分方程式（PDE）への導入

3.1.1 弱解とソボレフ空間

PDE における弱解とは、方程式の各項を古典的に点ごとに成立させるのではなく、積分形式としてテスト関数に対して成立させる解の概念である。この弱形式では、微分作用素が必要とする正則性が満たされない場合でも、弱微分として意味づけが可能であることが要点となる。

ソボレフ空間はこの弱解の“着地点”として機能する。方程式に含まれる微分の次数に応じて、解を置く空間（たとえば \(H^1\) や \(H^s\) など）が決まる。そうすると、弱形式の左辺が有限になること（つまり積分が意味を持つこと）がソボレフ空間の性質により保証される。

この枠組みにより、PDE の調査は「どの空間に解を置くべきか」を定める作業から始まり、以後は解析学的な評価やコンパクト性、作用素の性質に基づいて進行する。

3.1.2 エネルギー法と評価

エネルギー法は、PDE の解の大きさを評価するための代表的手法である。弱形式において適切な試験関数を選び、方程式から得られる積分恒等式（あるいは不等式）を通じて、ソボレフノルムに対する評価を導く。

たとえば、対称性を持つ楕円型の枠組みでは、二次形式が自然に現れ、対応するソボレフノルムと比較できることが多い。これにより、有界性（解がどの程度の大きさに収まるか）が得られると同時に、弱収束や極限操作に必要な見積もりが確保される。

さらに、評価が適切に構成されると、非線形項を含む問題でも仮定のもとで有界性が維持され、存在証明の中核となる。

3.2 変分問題での利用

3.2.1 レベルセットと仮定の整合

変分問題では、あるエネルギー汎関数 \(J(u)\) を最小化（あるいは停留値を探索）し、その極値が PDE の弱解になるように設計することが多い。ソボレフ空間は、汎関数が有限であること、微分（変分）が意味を持つこと、そして下限評価や収束の議論が可能であることを支える舞台である。

とくにレベルセット \( \{u: J(u)\le c\}\) を解析することで、有界性やコンパクト性が導かれる。汎関数の構造がソボレフ埋め込みや密度の定理と整合する場合、非線形項の積分が適切な収束で扱えるようになる。

この整合は、単に定義が可能というだけでなく、最小化列から極限を取り出したときに汎関数の下半連続性が保たれることとも関係する。

3.2.2 有界性・下半連続性の観点

変分法の標準的な戦略として、最小化列を構成し、ソボレフノルムで有界になることを示し、その後極限候補の存在を確保する。ソボレフ空間は弱収束に関してコンパクト性を利用できる設定になりやすい。

下半連続性（下からの連続性）は、弱収束のもとで汎関数の値が期待される方向に保たれることを意味する。これにより、極限点が極小化に必要な条件を満たすことが示される。

汎関数の構成が凸性を持つ場合は比較的扱いやすいが、非凸の場合には埋め込みやコンパクト性、あるいはトリッキーな構成が必要になることがある。いずれにせよ、ソボレフ空間のコンパクト埋め込みと下半連続性の組合せが鍵になる。

4 関連する拡張と周辺概念

4.1 フーリエ変換による定義（指数 \(H^s\)）

4.1.1 Besselポテンシャルによる表現

\(H^s\) をフーリエ変換を使って定義すると、指数 \(s\) は周波数の重みとして現れる。具体的には、フーリエ側で \( (1+	\xi	^2)^{s/2}\) のような重みを適用し、その二乗可積分性を要求することで \(H^s\) のノルムを与える。

このとき、Bessel ポテンシャルに対応する演算子を用いる表現が便利である。関数 \(u\) に対して、Bessel 型のポテンシャル作用素を経た量の \(L^2\) ノルムに基づいて、\(H^s\) が定義される。整数次数の場合は弱微分の定義と一致しやすく、非整数のときには分数階の滑らかさを自然に表現できる。

フーリエ表示の利点は、微分作用素や擬微分作用素との整合性が明快になる点にある。これにより楕円型作用素の解析もスペクトル的に理解しやすくなる。

4.2 フラクショナル・ソボレフ空間

4.2.1 Gagliardo型ノルム

分数階（フラクショナル）ソボレフ空間では、差分の大きさを積分して測るノルムが使われることが多い。典型例として Gagliardo 型のノルムがあり、\(u\) の値の差 \(u(x)-u(y)\) を、距離 \(	x-y	\) の重みと組み合わせて積分し、指数 \(s\) に応じた収束性を評価する。

このタイプのノルムは、分数階の滑らかさを直感的に「局所的な変化の抑制」として捉える利点がある。さらに、境界や非滑らかな領域にも比較的適用しやすい場合がある。

整数階のときには弱微分に対応する量へ連結することが示され、分数のときには差分としての情報が本質となる。結果として、非局所性を持つ方程式や拡散型モデルの解析に自然に接続する。

4.3 ソボレフ空間とトレース定理（境界の扱い）

4.3.1 境界値の意味づけ

トレース定理は、領域の境界上で関数値（あるいは境界上の微分に関連する情報）が、ソボレフ空間の元から意味のある形で定義できることを述べる。古典的には、境界での値は点ごとの制限として定義されるが、一般のソボレフ関数ではそれが直接には成立しない。

そこで、境界での値を「連続線形作用素としての対応」として定める。つまり、領域内のソボレフノルムが境界側の適切な関数空間のノルムを制御するような写像（トレース）が構成される。これにより、境界条件（ディリクレ条件など）を弱形式で課すことができる。

トレースの可否や得られる境界空間の指数は、領域の滑らかさや関数の正則性（指数 \(s\)）に依存する。結果として、境界を含むPDEの定式化が、ソボレフ空間の枠内で体系化される。