弱形式

数学において弱形式（じゃくけいしき、）は、線型代数学の概念を、例えば偏微分方程式などの他の分野において問題を解くために用いることを可能にする、重要な解析上の道具である。弱形式において、方程式の絶対性はもはや要求されず（適切である必要すらない）、代わりにあるテストベクトルあるいはテスト函数に関する弱解が存在する。これは超函数の意味で解を要求する問題を構成することと同値である。

ここでは弱形式に関するいくつかの例を紹介し、その解に対する主要な定理であるラックス＝ミルグラムの定理（Lax-Milgram theorem）を述べる。

一般の概念 

 をあるバナッハ空間とする。次の方程式の解  を見つけたい。

但し  および  であり、 は  の双対である。

定義よりこの問題は全ての  に対して次を満たすような  を見つけることと同値である：

.

ここで  をテストベクトルあるいはテスト函数と呼ぶ。

これを弱形式による一般的な形に書き換える。すなわち、次を満たす  を見つける：

ただし  は双線型形式

である。以上の説明は非常に抽象的であるため、以下ではいくつかの例を見る。

例1：線型連立方程式 

 と  を線型写像とする。このとき、方程式

の弱形式は、すべての  に対して次の方程式を満たす  を見つけることとなる。

ここで  は内積を表す。

 は線型写像なので、基底ベクトルに対して調べれば十分である。すると

が得られる。実際、 と展開することで、次の行列の形式での方程式が得られる。

ここで  および  である。

この弱形式に関連する双線型形式は、次で与えられる。

例2 ポアソン方程式 

ここでの目標は、ある領域  上の次のポアソン方程式

の解で、境界で  となるようなものを見つけることである。また解空間  は後述の議論で決定する。弱形式の導出のために、次の -スカラー内積を用いる：

微分可能な函数  をテスト函数として用いることで、次が得られる。

この方程式の左辺は、グリーンの恒等式を用いた部分積分により、より対称的な次の形式で記述できる。

これは正しくポアソン方程式の弱形式と通常呼ばれるものである。ここで空間  を定義する必要がある。この空間は、この方程式を導けるものでなければならない。したがってこの空間における導函数は二乗可積分である必要がある。実際、ゼロ境界条件で、弱微分が  に属す函数からなるソボレフ空間  を考えれば、目的は満たされる。

次のように記号を定めることで、一般的な形を得ることが出来る：

および

ラックス＝ミルグラムの定理 

これは双線型形式の対称部分の性質に依存するラックス＝ミルグラムの定理（Lax-Milgram theorem）の構成である。最も一般的な形という訳ではない。

 をヒルベルト空間とし、 を  上の双線型形式で、次を満たすものとする：
 有界： 
 強圧的： 

このとき、任意の  に対して、次の方程式には唯一つの解  が存在する。

また次が成立する。

例1への応用 

この場合、ラックス＝ミルグラムの定理を適用することは明らかに十分すぎるものであるが、他の場合と同様の形にするためにこの定理を使用する。

有界性：  上のすべての双線型形式は有界である。特に、次が成り立つ。

強圧性： これは実際、 の固有値の実部が  よりも小さくないことを意味する。これは特に、ゼロ固有値が存在しないことを意味するので、系は可解である。

さらに次の評価が得られる。

ここで  は  の固有値の最小実部である。

例2への応用 

上述のように、 とし、ノルムは次で定める。

ここで右辺のノルムは  上での -ノルムである（ポアンカレ不等式により、これは正しく  上のノルムを与える）。しかし、 であり、コーシー＝シュワルツの不等式より次が成り立つ：。

したがって、任意の  に対して、ポアソン方程式の唯一つの解  が存在し、次の評価が得られる。

関連項目 
 バフスカ＝ラックス＝ミルグラムの定理

参考文献

外部リンク 
 MathWorld page on Lax–Milgram theorem

偏微分方程式
数値微分方程式
数学に関する記事