弱形式
数学において弱形式（じゃくけいしき、）は、線型代数学の概念を、例えば偏微分方程式などの他の分野において問題を解くために用いることを可能にする、重要な解析上の道具です。弱形式において、方程式の絶対性はもはや要求されず（適切である必要すらない）、代わりにあるテストベクトルあるいはテスト函数に関する弱解が存在します。これは超函数の意味で解を要求する問題を構成することと同値です。
ここでは弱形式に関するいくつかの例を紹介し、その解に対する主要な定理であるラックス＝ミルグラムの定理（Lax-Milgram theorem）を述べます。
formula_1 をあるバナッハ空間とする。次の方程式の解 formula_2 を見つけたいです。
但し formula_4 および formula_5 であり、formula_6 は formula_1 の双対です。
変分法によると、この問題はすべての formula_8 に対して次を満たす formula_9 を見つけることと同値です。
ここで formula_11 をテストベクトルあるいはテスト函数と呼びます。
これを弱形式による一般的な形に書き換えます。すなわち、次を満たす formula_9 を見つけます。
但し、双線型形式
が定義されます。以上の説明は非常に抽象的であるため、以下ではいくつかの例を見ます。
formula_15 と formula_16 を線型写像とします。このとき、方程式
の弱形式は、すべての formula_8 に対して次の方程式を満たす formula_9 を見つけることとなります。
ここで formula_21 は内積を表します。
formula_22 は線型写像なので、基底ベクトルに対して調べれば十分です。すると
が得られます。実際、formula_24 と展開することで、次の行列の形式での方程式が得られます。
ここで formula_26 および formula_27 です。
この弱形式に関連する双線型形式は、次で与えられます。
ここでの目標は、ある領域 formula_29 上の次のポアソン方程式
の解で、境界で formula_31 となるようなものを見つけることです。また解空間 formula_1 は後述の議論で決定します。弱形式の導出のために、次の formula_33-スカラー内積を用います。
微分可能な函数 formula_11 をテスト函数として用いることで、次が得られます。
これは正しくポアソン方程式の弱形式と通常呼ばれるものである。ここで空間 formula_1 を定義する必要がある。この空間は、この方程式を導けるものでなければならない。したがってこの空間における導函数は二乗可積分である必要がある。実際、ゼロ境界条件で、弱微分が formula_39 に属す函数からなるソボレフ空間 formula_40 を考えれば、目的は満たされる。
次のように記号を定めることで、一般的な形を得ることが出来る：
これは双線型形式の対称部分の性質に依存するラックス＝ミルグラムの定理（Lax-Milgram theorem）の構成である。最も一般的な形という訳ではない。
formula_1 をヒルベルト空間とし、formula_44 を formula_1 上の双線型形式で、次を満たすものとする：
このとき、任意の formula_5 に対して、次の方程式には唯一つの解 formula_9 が存在する。
また次が成立する。
この場合、ラックス＝ミルグラムの定理を適用することは明らかに十分すぎるものであるが、他の場合と同様の形にするためにこの定理を使用する。さらに次の評価が得られる。
ここで formula_54 は formula_22 の固有値の最小実部である。
上述のように、formula_58 とし、ノルムは次で定める。
ここで右辺のノルムは formula_60 上での formula_33-ノルムである（ポアンカレ不等式により、これは正しく formula_62 上のノルムを与える）。しかし、formula_63 であり、コーシー＝シュワルツの不等式より次
したがって、任意の formula_64 に対して、ポアソン方程式の唯一つの解 formula_9 が存在し、次の評価が得られる。