1 弱微分の概要
弱微分は、通常の微分が定義しにくい関数に対して、「微分した結果」をテスト関数に対する積分の関係として定める枠組みである。滑らかさを前提にせずとも、微分に相当する情報を保存しながら、解析や方程式の議論を進められる点に特徴がある。特に偏微分方程式の解が滑らかでない場合に、微分演算を形式的に保持するための言語として用いられる。
1.1 古典的微分との違い
古典的微分は、対象となる関数が局所的に十分な微分可能性を持つことを前提とする。したがって関数が尖りや不連続性、あるいは低い正則性しか持たないとき、微分係数そのものが通常の意味では存在しないことがある。
弱微分では、関数そのものの微分値を点ごとに定義することを目標にせず、代わりに「テスト関数に対する作用」を通じて定義する。結果として、滑らかでない対象でも、微分が持つべき積分的性質を反映した演算が導入される。
1.2 弱微分の動機
弱微分が必要になる状況は、主として「解析対象が滑らかでない」「ただし方程式や変分原理の構造は保ちたい」という要請から生じる。
弱微分は、微分方程式の解の正則性が保証されない場合でも意味を与えるため、理論の入口で用いられることが多い。また、境界を含む問題では、境界条件を積分で取り込むことで不自然な点ごとの条件を避けられる。
1.2.1 正則性が不足する場合の扱い
物理・工学に現れる場の多くは、理想化すると鋭い勾配や局所的な急変を持ちうる。例えば解の勾配が局所可積分であっても、古典的な意味で微分係数が連続にできないことがある。弱微分は、このような場に対しても「微分に対応する量」を意味づけし、積分形の方程式で計算を可能にする。
1.2.2 偏微分方程式への適用
偏微分方程式は、通常「微分作用素を含む等式」として書かれる。しかし解の滑らかさが十分でないと、等式の各項が点ごとに意味を持たない。弱微分に基づく定式化では、方程式をテスト関数との積分関係として書き換えることで、等式の意味を回復する。
この操作は、積分による部分積分を通じて、微分作用素の位置を移し替える形になる。結果として、方程式の弱形式が自然に現れ、解析の基盤となる。
1.3 弱微分の基本的な定義
弱微分の定義は「テスト関数に対する積分関係」を中心に組み立てられる。最終的には、弱微分が古典的微分と整合すること、そして滑らかでない対象に対しても定義が破綻しないことが重要となる。
1.3.1 テスト関数と積分による定義
まず、十分に滑らかで広い意味で扱いやすい関数族をテスト関数として選ぶ。典型的には、端で消える滑らかな関数を用いる。ある関数 \(u\) に対し、その「弱微分」\(v\) は、すべてのテスト関数 \(\varphi\) に対して積分の恒等式が成り立つように定める。
一般の形では、「古典的には \(v=\partial u\) となるはずだ」という対応を、部分積分を経た積分等式として代替する。この等式が満たされる \(v\) が弱微分である。
1.3.2 部分積分（定義内の役割）
弱微分の中心には部分積分がある。古典的微分では、例えば \[ \int (\partial u)\,\varphi = -\int u\,(\partial \varphi) \] のような関係が成立する（境界項はテスト関数の性質により消えることが多い）。
弱微分では、右辺の積分が定義できる場合に、この関係を逆向きに用いる。すなわち、\(u\) とテスト関数の微分が積分可能であれば、左辺に現れる「微分に相当する量」を \(v\) として再構成する。こうして微分が点ごとの演算ではなく、積分等式として与えられる。
2 弱微分の数学的枠組み
弱微分を体系的に扱うには、微分を関数の演算としてではなく、作用として捉える視点が有効である。そのために、分布（ディストリビューション）とソボレフ空間という二つの道具立てが中心となる。
2.1 分布としての見方
分布の立場では、「関数」 \(u\) から「テスト関数に作用する線形汎関数」へと視点を移す。微分はこの汎関数の側で定義され、結果として弱微分が自然に現れる。
2.1.1 作用素としての微分
弱微分は分布の導出と整合的に定義できる。具体的には、連続な線形汎関数としての分布 \(T\) に対し、その導関数 \( \partial T\) をテスト関数へ作用させたときの結果で定める。
2.1.1.1 分布の導出と整合性
整合性とは、滑らかな関数から作った分布に対して、分布としての導関数が通常の微分と一致するという性質を指す。これにより、弱微分は単なる形式ではなく、従来の微分と矛盾しない枠組みになっていることが保証される。
例えば、滑らかな \(u\) を通常の関数として用いた場合、分布微分の定義から得られる積分等式は古典的な部分積分と同じ内容を含む。したがって、弱微分は古典的微分の拡張として理解できる。
2.2 ソボレフ空間との関係
弱微分は、ソボレフ空間の定義そのものと密接に結びつく。ソボレフ空間では、「弱微分がどれだけ可積分であるか」をノルムを通じて制御する。
2.2.1 局所的な弱微分
ソボレフ空間では、全体での可積分性だけでなく局所性も重要になる。局所的な弱微分とは、どのコンパクト台を持つ領域でも弱微分の定義に必要な積分が成立する、という性質として捉えられる。
この局所化により、境界から離れた点近傍の議論が可能になる。さらに局所正則性の議論へと接続しやすい。
2.2.2 導関数の可積分性とノルム
ソボレフ空間では、弱微分が \(L^p\) 可積分であることを要請する。これにより、弱微分が存在するだけでなく、その大きさが測定される。
ノルムには、関数自身の可積分性に加えて、弱微分の可積分性が組み込まれる。結果として、解析学で一般に用いられる収束や連続性の概念を、弱微分の枠組みに持ち込める。
2.3 近似と安定性
弱微分を使う際には、「滑らかな関数で近似できるか」「極限をとっても定義が保たれるか」が重要になる。これにより、理論が計算可能な形に落ちる。
2.3.1 滑らかな関数による近似
典型的な方針は、ソボレフ空間の元を滑らかな関数列で近似することである。近似が可能であれば、弱微分の性質は極限の操作として理解でき、計算の指針が得られる。
近似の成立は、テスト関数の性質や空間の幾何に依存するが、一般に適切な条件のもとで議論される。
2.3.2 極限操作と弱収束
弱微分の枠組みでは、強収束ではなく弱収束といった概念が自然に現れる。極限で必要なのは、弱微分に対応する積分等式が保存されること、すなわち極限と作用が交換できることに近い。
この安定性により、近似列で得た情報を弱極限に受け渡せる。結果として、弱解の存在証明や正則化の解析に直結する。
3 弱微分の代表的な性質
弱微分は、方程式論で扱いやすいように、基本性質として一意性・存在、線形的な振る舞い、連続性や埋め込みに関する情報を備える。
3.1 一意性と存在
弱微分は定義の仕方からして、存在がどう保証されるか、また一度定まればそれが唯一かが重要になる。
3.1.1 弱微分の一意性
弱微分の定義では「テスト関数に対する積分等式」が用いられる。等式がすべてのテスト関数で成り立つことにより、もし二つの候補があったとしてもそれらの差は、テスト関数に作用したときに常に消えることになる。結果として、適切な空間（例えば \(L^p\) やソボレフ空間）における意味での一意性が得られる。
一般に一意性は「ほとんど至る所で一致」として表現されることが多い。
3.1.2 存在条件の考え方
存在条件は、テスト関数に対する積分が有限であること、さらにそれがテスト関数の族に対して整合的に与えられることに関連する。直観的には、「\(u\) をテスト関数の微分に掛けたときに、積分が連続に振る舞うか」という点が鍵になる。
その観点から、分布としての導出が成立することや、ソボレフ空間の定義を満たすことが存在を意味する形で組織される。
3.2 微分則の拡張
古典的微分の公式は、弱微分の文脈ではそのまま適用できない場合がある。理由は、積や合成が点ごとの微分可能性を前提にしてしまうためである。したがって条件付きの形で拡張される。
3.2.1 線形性
弱微分は線形な演算として定義される。つまり、弱微分の定義に現れる積分等式は線形性を満たし、係数を含む和に対して弱微分が対応する形で分解される。
この線形性は、方程式を線形作用素として扱う際に特に便利であり、弱形式の導出でも基礎となる。
3.2.2 積・合成の扱い（条件付き）
積に関しては、通常の微分公式のように一様に扱えないことがある。例えば弱微分の存在だけでは、積がどの程度可積分かが定まらない場合があり、結果として積の弱微分が定義できる保証が不足する。
そのため実際には、積の可積分性や一様な境界の制御、あるいはソボレフ埋め込みによって得られる補助的な情報を用いて、「この条件下なら積の弱微分が定義でき、連鎖則の類似が成立する」といった形で整理される。合成も同様に、写像の滑らかさと関数側の正則性が噛み合う必要がある。
3.3 連続性と埋め込み
弱微分が関わる空間は関数空間としての性質を持つ。その中核が連続性と埋め込みである。これらは、弱微分の結果として得られる関数の振る舞いを制限し、方程式の解析に役立つ。
3.3.1 ソボレフの埋め込み定理の入口
埋め込みとは、あるソボレフ空間に属する関数が、別の意味での可積分性や連続性を自動的に持つことを述べる主張である。弱微分が存在するだけでは得られない性質が、空間の次元や指数に応じて保証される。
入口としては、「ソボレフ空間にあるほど、関数やその弱微分がより良い空間に入る」という方向性が示される。
3.3.2 代表的な連続性結果の直観
埋め込みは、直観的には「弱微分の情報が強いほど、関数の乱れが抑えられる」ことに対応する。微分が大きいほど粗い振る舞いが起きうるが、ノルムが有限であるなら、局所的な急変が制御される。
このため、弱微分が十分に強い正則性を持つケースでは、代表的には連続性や境界での意味のある値といった情報へとつながる。ただし実際の主張は指数と次元の条件に依存する。
4 弱微分と偏微分方程式
弱微分は偏微分方程式で中心的に使われる。特に「弱形式」と呼ばれる定式化へ接続することで、解が滑らかでない場合でも意味が与えられる。さらに境界条件も、積分形の枠組みで自然に取り込める。
4.1 変分的定式化との接続
偏微分方程式には変分的な起源を持つものが多く、エネルギー汎関数の停留点として定式化できることがある。このとき弱微分は、汎関数が定義できる空間として現れる。
4.1.1 弱形式（弱定式化）の考え方
弱形式とは、元の微分方程式をテスト関数を用いた積分等式として書き直す手続きである。具体的には、方程式にテスト関数を掛け、必要に応じて部分積分を行うことで、微分作用素が別の項に移される。
こうして得られる等式は、テスト関数の属する空間に対して成り立つことだけが要求される。したがって解が古典的に成立させる点ごとの等式でなくてもよく、弱解としての意味が成立する。
4.2 境界条件の自然な取り込み
境界条件は弱形式では扱いやすい形で組み込まれる。古典的には境界での値の条件が明確でも、弱解では境界での点評価が一般に難しい。このギャップを埋めるのが、テスト関数の選び方とトレースの概念である。
4.2.1 境界での消失とテスト関数
テスト関数を境界で消えるように選ぶと、部分積分で現れる境界項が自動的に消える。すると、境界条件は方程式の弱形式の中で見通しよく表現される。
この方法は、いわば「境界条件を積分の周辺から除外する」戦略であり、強制すべき条件がテスト関数の性質として反映される。
4.2.2 トレース（境界値）概念への導入
一方、境界で消えないテスト関数を許す場合や、境界値そのものが重要な場合には、弱解の境界値をどの意味で定めるかが問題になる。そこでトレース概念が用いられ、ソボレフ空間の元には境界上で意味のある値（適切な意味の制限）が定義できる、と整理される。
これにより、境界条件は点ごとの値ではなく、境界上の適切な空間における等式として述べられる。
4.3 典型例
弱微分の応用は多様だが、代表例として低階の弱微分と、楕円型方程式の弱解が挙げられる。
4.3.1 1階の弱微分の具体例
例えば、ある関数 \(u\) が滑らかでないため古典的な微分が直接は定義できない状況を考える。弱微分は、テスト関数 \(\varphi\) に対する積分 \(\int u\,\partial \varphi\) が有限に定まり、そこから反対側の積分に対応する量を読み取れる場合に導入される。
この過程により、\(u\) に対して「導関数がどんな分布として現れるか」が確定する。結果として、古典微分ができない点があっても、積分的には微分が扱える。
4.3.2 楕円型方程式における弱解の位置づけ
楕円型方程式では、解の正則性が十分に高くない場合でも弱解が定義できることが重要である。典型的には、未知関数をソボレフ空間に取り、弱形式でエネルギー汎関数の停留条件を表現する。
その枠組みでは、方程式の解は「弱形式を満たす関数」として存在・一意性が議論される。さらに適切な条件のもとで、弱解が追加の正則性を獲得して古典解へ昇格するかどうかも、その後の解析課題となる。