ヒルベルト空間
数学におけるヒルベルト空間(ヒルベルトくうかん、Hilbert space)は、ダフィット・ヒルベルトにその名を因む、ユークリッド空間の概念を一般化したものである。これにより、二次元のユークリッド平面や三次元のユークリッド空間における線型代数学や微分積分学の方法論を、任意の有限または無限次元の空間へ拡張して持ち込むことができる。ヒルベルト空間は、内積の構造を備えた抽象ベクトル空間(内積空間)になっており、そこでは角度や長さを測るということが可能である。ヒルベルト空間は、さらに完備距離空間の構造を備えている(極限が十分に存在することが保証されている)ので、その中で微分積分学がきちんと展開できる。
ヒルベルト空間は、典型的には無限次元の関数空間として、数学、物理学、工学などの各所に自然に現れる。そういった意味でのヒルベルト空間の研究は、20世紀冒頭10年の間にヒルベルト、シュミット、リースらによって始められた。ヒルベルト空間の概念は、偏微分方程式論、量子力学、フーリエ解析(信号処理や熱伝導などへの応用も含む)、熱力学の研究の数学的基礎を成すエルゴード理論などの理論において欠くべからざる道具になっている。これら種々の応用の多くの根底にある抽象概念を「ヒルベルト空間」と名付けたのは、フォン・ノイマンである。ヒルベルト空間を用いる方法の成功は、関数解析学の実りある時代のさきがけとなった。古典的なユークリッド空間はさておき、ヒルベルト空間の例としては、自乗可積分関数の空間 L2、自乗総和可能数列の空間 \ell^2、超関数からなるソボレフ空間 H^s、正則関数の成すハーディ空間 H^2 などが挙げられる。
ヒルベルト空間論の多くの場面で、幾何学的直観は重要である。例えば、三平方の定理や中線定理(の厳密な類似対応物)は、ヒルベルト空間においても成り立つ。より深いところでは、部分空間への直交射影(例えば、三角形に対してその「高さを潰す」操作の類似対応物)は、ヒルベルト空間論における最適化問題やその周辺で重要である。ヒルベルト空間の各元は、平面上の点がそのデカルト座標(直交座標)によって特定できるのと同様に、座標軸の集合(正規直交基底)に関する座標によって一意的に特定することができる。このことは、座標軸の集合が可算無限であるときには、ヒルベルト空間を自乗総和可能な無限列の集合と看做すことも有用であることを意味する。ヒルベルト空間上の線型作用素は、ほぼ具体的な対象として扱うことができる。条件がよければ、空間を互いに直交するいくつかの異なる要素に分解してやると、線型作用素はそれぞれの要素の上では単に拡大縮小するだけの変換になる(これはまさに線型作用素のスペクトルを調べるということである)。
最もよく知られたヒルベルト空間の例の一つは、三次元の空間ベクトル全体の成すユークリッド空間 \mathbb{R}^3 にドット積を考えたものであろう。二つのベクトル \boldsymbol{x}, \boldsymbol{y} のドット積 \boldsymbol{x} \cdot \boldsymbol{y} は実数を与える。\boldsymbol{x}, \boldsymbol{y} がデカルト座標系であらわされているときには、ドット積は
(x_1,x_2,x_3)\cdot (y_1,y_2,y_3) := x_1y_1+x_2y_2+x_3y_3
として定まる。このドット積は、条件
対称性: \boldsymbol{x} \cdot \boldsymbol{y}=\boldsymbol{y} \cdot \boldsymbol{x}.
第一引数に関する線型性:  (a\boldsymbol{x}_1+b\boldsymbol{x}_2)\cdot \boldsymbol{y}=a\boldsymbol{x}_1 \cdot \boldsymbol{y}+b\boldsymbol{x}_2 \cdot \boldsymbol{y}\quad \forall\ a,b \in \mathbb{R},\ \forall\ \boldsymbol{x}_1, \boldsymbol{x}_2 \in \mathbb{R}^3.
正定値性: \boldsymbol{x} \cdot \boldsymbol{x} \ge 0\quad \forall\ \boldsymbol{x} \in \mathbb{R}^3;\quad \boldsymbol{x} \cdot \boldsymbol{x}=0 \iff \boldsymbol{x}=\boldsymbol{0}.
を満足する。
このドット積のように、上記三つの性質を満足するベクトルの二項演算を(実)内積と呼び、そのような内積を備えたベクトル空間は(実)内積空間と呼ばれる。任意の有限次元内積空間は、ヒルベルト空間でもある。ユークリッド幾何学に関わるドット積の基本的な特徴というのは、ベクトルの長さ(ノルム)\|\boldsymbol{x}\| と二つのベクトル \boldsymbol{x}, \boldsymbol{y} の間の角度 \theta の両方が
\boldsymbol{x}\cdot\boldsymbol{y} = \|\boldsymbol{x}\|\,\|\boldsymbol{y}\|\,\cos\theta
なる式が成立するという意味でドット積と関連付けられることである。
ユークリッド空間における多変数微分積分学は極限が計算できること、および極限の存在を結論付ける有用な判定法を持つことに支えられている。\mathbb{R}^3 のベクトルを項とする級数 \textstyle\sum_{n=0}^\infty \boldsymbol{x}_n は、そのノルムの和(これは実数を項とする通常の級数)が \textstyle\sum_{n=0}^\infty \|\boldsymbol{x}_n\| < \infty
なる条件を満たすとき、絶対収束するという。スカラー項級数の場合と全く同じく、絶対収束するベクトル項級数は
\|\boldsymbol{L}-\textstyle\sum_{n=0}^N\boldsymbol{x}_n\|\to 0\quad\text{as }N\to\infty
なる意味で、このユークリッド空間の適当な極限ベクトル \boldsymbol{L} に収束する。このような性質(絶対収束級数は通常の意味でも収束する)は、ユークリッド空間の完備性 (completeness) として表される。
H がヒルベルト空間であるとは、H は実または複素内積空間であって、さらに内積によって誘導される距離関数に関して完備距離空間をなすことを言う。ここで、H が複素内積空間であるというのは、H は複素線型空間であって、その上に内積、即ち x,y \in H に \langle x,y \rangle \in \mathbb{C} を対応させる写像であって、条件
\langle y,x\rangle は \langle x,y\rangle の複素共役である:\langle y,x\rangle = \overline{\langle x, y\rangle}\quad \forall\ x,y \in H.
\langle \cdot,\cdot\rangle は第一引数に関して線型である: \langle ax_1+bx_2, y\rangle = a\langle x_1, y\rangle + b\langle x_2, y\rangle\quad \forall\ x_1,x_2 \in H,\ \forall\ a,b \in \mathbb{C}.
内積 \langle \cdot,\cdot\rangle は正定値である:\langle x,x\rangle \ge 0\quad \forall\ x \in H;\quad \langle x,x\rangle=0 \iff x=0.
を満たすものが存在することをいう。条件の 1 と 2 を併せると、複素内積は第二引数に関して反線型 (antilinear) となることが従う。即ち、
\langle x, ay_1+by_2\rangle = \bar{a}\langle x, y_1\rangle + \bar{b}\langle x, y_2\rangle\quad \forall x_1, x_2 \in H,\ \forall\ a,b \in \mathbb{C}
が成り立つ。実内積空間も同様に定められ(H が実線型空間であることと、内積が実数値であることとが違うだけである)、この場合の内積は双線型(各引数について線型)になる。
内積 \langle \cdot,\cdot\rangle によって定義されるノルム \|x\| := \langle x,x \rangle^{1/2} は実数値関数であり、このノルムを用いて2点 x,y \in H の間の距離が d(x,y):=\|x-y\| = \langle x-y,x-y \rangle^{1/2}と定められる。これが距離であるというのは、(1)「x,y に関して対称」で、(2)「x と x 自身との距離は 0 に等しく、かつそれ以外のときは x,y の距離は必ず正」で、(3)「三角不等式
d(x,z) \le d(x,y) + d(y,z)
を満たす、即ち三角形 xyz の一辺の長さは他の二辺の長さの和を超えない」という三性質を満たすことを意味する。
三つ目の性質は、突き詰めればより基本的なコーシー・シュヴァルツの不等式
|\langle x, y\rangle| \le \|x\|\,\|y\|
(ただし等号成立は x, y の線型従属性と同値)からの帰結である。
このようにして定義される距離関数に関して、任意の内積空間は距離空間となる。内積空間のことを前ヒルベルト空間 (pre-Hilbert space) と呼ぶこともある。距離空間として完備であるような任意の前ヒルベルト空間は、ヒルベルト空間になる。完備性は、H 内の列に対するコーシーの判定法の形で表すことができる。即ち、前ヒルベルト空間 H が完備となるのは、任意のコーシー列がノルムに関する意味で H 内の元に収束することである。完備性は、次のような条件
ベクトル項級数 ∑k0  uk が\sum_{k=0}^\infty\|u_k\| < \inftyなる意味で絶対収束するならば、もとの級数は(部分和が H の元に収束するという意味で) H において収束する。
によっても特徴付けることができる。
完備なノルム空間であるという点で、定義によりヒルベルト空間はバナッハ空間でもある。これらは位相線型空間であり、開集合や閉集合といった位相的概念を定めることができる。特に重要になるのが、ヒルベルト空間の閉部分空間の概念である。完備距離空間の閉部分集合は(そこへ距離を制限すれば)それ自身完備距離空間となるから、ヒルベルト空間の閉部分空間は(そこへ内積を制限するとき)それ自身ヒルベルト空間をなす。
複素数を項とする無限数列 z = (z1, z2, …) で級数
\sum_{n=1}^\infty |z_n|^2
が収束するようなもの(自乗総和可能な無限複素数列)全体の成す数列空間を ℓ2 で表す。ℓ2 上の内積はエルミート積として
\langle \mathbf{z},\mathbf{w}\rangle = \sum_{n=1}^\infty z_n\bar{w}_n
で定義される。この右辺の級数が収束することはコーシー・シュヴァルツの不等式からの帰結である。
空間 ℓ2 の完備性は「ℓ2 の元からなる級数が(ノルムの意味で)絶対収束するならば必ず、その級数が ℓ2 の何らかの元に収束する」ことを示せば言える。このことの証明は解析学の初歩であり、この空間の元からなる級数は複素数(あるいは有限次元ベクトル空間のベクトル)からなる級数と同程度容易に扱うことができる。
ヒルベルト空間が開発される以前にも、数学や物理学においてユークリッド空間を一般化する別な概念が知られていた。特に、19世紀の終わりに掛けていくつかの流れの中から抽象線型空間の概念が獲得される。これは、その元同士の加法と(実数や複素数のような)スカラーによる乗法とを備えた空間のことを指すのであって、必ずしも物理的な系における運動量や位置といった「幾何学的な」ベクトルをその元が同一視される必要はないという性質のものである。20世紀に入ると、数学者たちは新たな対象を扱うようになり、特に数列の空間(級数論も含む)や関数の空間 は自然に線型空間と看做すことができる。実際に、関数の場合なら、関数同士の和や定数をスカラーとする乗法が定義できて、それらの演算は空間ベクトルの加法とスカラー倍が従うのと同じ代数法則に従う。
20世紀の最初の10年間で、ヒルベルト空間の導入に繋がる展開が同時並行的に現れた。その一つは、ヒルベルトとシュミットの積分方程式論の研究過程で見出された。区間 [a, b] 上の2つの自乗可積分な実数値関数 f, g は「内積」
\langle f,g \rangle = \int_a^b f(x)g(x)\,dx
を持ち、これがよく知られたユークリッド空間のドット積の性質の多くを有していた。これにより特に、関数からなる正規直交系の概念が意味を持つようになる。シュミットは、この内積と通常のドット積との類似性として、
f(x) \mapsto \int_a^b K(x,y) f(y)\, dy
(ただし、K は x, y に関して対称)なる形の作用素に対してスペクトル分解の類似物を示した。得られる固有関数展開は関数 K を
K(x,y) = \sum_n \lambda_n\varphi_n(x)\varphi_n(y)\,
なる形の級数として表す。ただし、関数系 φn は、n ≠ m なるとき常に φn, φm = 0 を満たすという意味で、直交系を成す。この級数の個々の項は、基本積解 (elementary product solution) と呼ばれることもある。しかし、この固有関数展開には、適当な意味で自乗可積分関数に収束するものとそうでないものがある。収束を保証するには完備性(系の完全性)が不可欠なのである。
いま一つは、ルベーグがリーマン積分に替わるものとして1904年に導入したルベーグ積分である。ルベーグ積分は、より広範なクラスの関数で積分を定義することを可能にした。1907年に、リースとエルンスト・シギスムント・フィッシャーはそれぞれ独立にルベーグ自乗可積分関数全体の成す空間 L2 が完備距離空間であることを示した。このような幾何学的議論と系の完全性の議論が合わさった帰結として、19世紀に得られたフーリエ、ベッセル、マルク=アントワーヌ・パーシヴァルらの三角級数についての成果を、これらのより一般の空間へ容易に持ち込むことができた。そうして得られた幾何学的かつ解析学的な仕組みは今日ではふつうリース・フィッシャーの定理として知られる。
更なる基本的結果が20世紀の初め頃に証明されていく。例えば、リースの表現定理は1907年にフレシェとリースがそれぞれ独立に示した フォン・ノイマンは自身の非有界エルミート作用素の研究において「抽象ヒルベルト空間」という用語を創出した。他のワイルやウィーナーのような数学者は(しばしば物理学的な興味を動機として)既に特定のヒルベルト空間については極めて詳細な研究を行っていたのだけれども、一般のヒルベルト空間をきちんと、しかも公理的に取り扱ったのはフォン・ノイマンが最初である。後にフォン・ノイマンは、量子力学の基礎付けに関する金字塔的研究においてこのヒルベルト空間の概念を用いており、ウィグナーへと続いていく。「ヒルベルト空間」という呼称は瞬く間に他へ広まり、例えばワイルは自身の量子力学と群論の教科書で用いている。
ヒルベルト空間の概念の重要性は、それが最も適切な量子力学の数学的基礎の提供を実現したことで強く認識されるようになった。簡単に言えば、量子力学系の状態はある種のヒルベルト空間におけるベクトルであり、可観測量はその空間上のエルミート作用素であり、系の対称性はユニタリ作用素であり、観測は直交射影である。量子力学的対称性とユニタリ作用素との間の関係は、1928年のワイルに始まる群のユニタリ表現論の発展の原動力となった。他方、1930年代の初め頃には、古典的な力学系のある種の性質が、エルゴード理論の枠組みのもとでヒルベルト空間を用いた方法で調べられるようになり、明らかにされた。
量子力学における可観測量の代数は、ハイゼンベルクの行列力学による量子論の定式化に従って、自然に或るヒルベルト空間上で定義される作用素環となる。1930年代のうちにフォン・ノイマンがヒルベルト空間上の作用素の成す環としての作用素環を調べ始め、フォン・ノイマンやその時代の人々が研究した種類の作用素環は、今日ではフォン・ノイマン環と呼ばれている。1940年代には、ゲルファント、マーク・ナイマーク、アーヴィング・シーガルらが C∗-環と呼ばれる種類の作用素環の定義を与えた。これはヒルベルト空間の基盤となることはない一方で、それまで知られていた作用素環のもつ有用な特徴が当てはまる。特に、存在する殆どのヒルベルト空間論の根底にある、自己随伴作用素のスペクトル定理が C∗-環に対して一般化された。これらの手法は今や抽象調和解析や表現論において基本となっている。
ルベーグ空間は測度空間 (X, M, μ) (X は集合で、M は X の部分集合からなる完全加法族、μ は M 上の完全加法的測度)に付随する関数空間である。L2(X, μ) を、X 上の複素数値可測関数で、その絶対値の平方のルベーグ積分が有限となるようなもの全体の成す空間とする。即ち、L2(X, μ) に属する関数 f は必ず
\int_X |f|^2 d \mu  < \infty
を満たす。ただし、測度零の集合の上でだけ異なる(殆ど至る所一致する)ような関数は全て同一視するものとする。
L2(X, μ) に属する関数 f, g の内積は
\langle f,g\rangle=\int_X f(t) \overline{g(t)} \ d \mu(t)
で与えられる。L2 の元 f, g に対して、右辺の積分が存在することはコーシー・シュヴァルツの不等式から示されるから、これは確かに内積を定義している。このように定義された内積に関して L2 は実は完備になる。積分がルベーグ積分であることは完備性を保証するために本質的である。例えば、実数からなる領域上でリーマン可積分関数を考えるのでは十分でない。
多くの自然な設定の下でルベーグ空間を考えることができる。L2(R) および L2([0, 1]) をそれぞれ実数直線および単位閉区間上で定義される(ルベーグ測度に関する)自乗可積分関数全体の成す空間とすると、それぞれの自然な定義域上でフーリエ変換とフーリエ級数が定義できる。別な状況では、実数直線上の通常のルベーグ測度ではない何か別の測度を用いることもある。例えば、任意の正値可測関数 w をとり、区間 [0, 1] 上の可測関数 f で
\int_0^1 |f(t)|^2w(t)\,dt < \infty
を満たすもの全体の成す空間は重み付き L2-空間と呼ばれ、w を重み関数と呼ぶ。内積は
\langle f,g\rangle=\int_0^1 f(t) \overline{g(t)} w(t) \, dt
で与えられる。重み付き空間 L2([0, 1]) はヒルベルト空間 L2([0, 1], μ) に等しい。ただし測度 μ は可測集合 A に対して
\mu(A) = \int_A w(t)\,dt
を満たすものと定める。このような重み付き L2 空間は直交多項式を調べるのによく用いられる(これは種々の直交多項式系は、それぞれ別な重み関数に関する意味で直交することによる)。
ソボレフ空間 Hs あるいは Ws,2 はヒルベルト空間になる。これらの空間は微分が行えるような関数空間の一種で、(ヘルダー空間のようなほかのバナッハ空間とは異なり)内積の構造も持つ特別な場合になっている。微分が使えることで、ソボレフ空間は偏微分方程式論に対して都合がよい。また変分法における直接法の基礎も与えている。
非負整数 s と領域 Ω ⊂ Rn に対し、ソボレフ空間 Hs(Ω) は s 階までの弱微分が全て L2 に属するような L2-関数を全て含む。Hs(Ω) における内積は
\langle f,g\rangle = \int_\Omega f(x)\bar{g}(x)\,dx + \int_\Omega D f\cdot D\bar{g}(x)\,dx + \cdots + \int_\Omega D^s f(x)\cdot D^s \bar{g}(x)\, dx
で与えられる。ただし、右辺のドット積は各階の偏導関数全体の成すユークリッド空間におけるドット積である。s が整数でない場合にもソボレフ空間は定義できる。
ソボレフ空間は、(ヒルベルト空間のより具体的な構造に依拠する)スペクトル論の観点からも研究される。適当な領域 Ω に対してソボレフ空間 Hs(Ω) をベッセルポテンシャル全体の成す空間として定義することができる。これはだいたい
H^s(\Omega) = \{ (1-\Delta)^{-s/2}f | f\in L^2(\Omega)\}
のようなものである。ここで Δ はラプラス作用素、(1 − Δ)−s/2 はスペクトル写像定理によって捉えることができる。非負整数 s に対するソボレフ空間の意味のある定義を与える必要があることをひとまず置いておけば、ソボレフ空間の定義はフーリエ変換のもとで特に望ましい性質を持ち、擬微分作用素の研究に対して理想的である。これらの方法をコンパクトリーマン多様体上で用いれば、例えばホッジ理論の基礎を成すホッジ分解が得られる。
複素解析や調和解析で用いられるハーディ空間は、その元が複素領域上の正則関数となっているような関数空間の一種である。U をガウス平面上の単位円板とすると、ハーディ空間 H2(U) は U 上の正則関数 f で、その平均
M_r(f) = \frac{1}{2\pi}\int_0^{2\pi}|f(re^{i\theta})|^2\,d\theta
がまた r < 1 で抑えられるようなもの全体の成す空間として定義される。このハーディ空間上のノルムは
\|f\|_2 = \lim_{r\to 1} \sqrt{M_r(f)}
で与えられる。この円板上のハーディ空間はフーリエ級数と関係があり、正則関数 f が H2(U) に属するための必要十分条件は、
f(z) =\sum_{n=0}^\infty a_n z^n,\qquad\left(\sum_{n=0}^\infty|a_n|^2 <\infty\right)
なる形に書けることである。従って、空間 H2(U) は、単位円板上の L2-関数で、負の周波数に対するフーリエ係数が消えているようなもの全体からなる。
正則関数の成すヒルベルト空間の別なクラスにベルグマン空間がある。D をガウス平面(または高次元の複素空間)の有界開集合とし、L2,h(D) を D 上の正則関数 f で
\|f\|^2 = \int_D |f(z)|^2\,d\mu(z) < \infty
なる意味で L2(D) にも属するようなもの全体の成す集合とする。ただし積分は D におけるルベーグ測度に関してとる。明らかに L2,h(D) は L2(D) の部分空間であり、実は閉部分空間になっているので、それ自身ヒルベルト空間を成す。このことは、D のコンパクト部分集合 K の上で有効な評価
\sup_{z\in K} |f(z)| \le C_K \|f\|_2
からの帰結である。この評価自体はコーシーの積分公式から出る。従って、L2(D) に属する正則関数列の収束はコンパクト収束でもあるから、極限関数もまた正則になる。先の評価不等式の別な帰結として、D の一点において関数 f を評価する線型汎関数は、実際には L2,h(D) 上で連続であることがわかる。リースの表現定理によれば、この評価関数を表現する L2,h(D) の元が存在するから、各 z ∈ D に対して関数 ηz ∈ L2,h(D) で
f(z) = \int_D f(\zeta)\overline{\eta_z(\zeta)}\,d\mu(\zeta)
をすべての ƒ ∈ L2,h(D) に対して満たすようなものが取れる。被積分関数の因子K(\zeta,z) = \overline{\eta_z(\zeta)}は D のベルグマン核と呼ばれる積分核で、再生性f(z) = \int_D f(\zeta)K(\zeta,z)\,d\mu(\zeta)を満足する。
ベルグマン空間は再生核ヒルベルト空間(関数からなるヒルベルト空間で、先と同様の再生性を持つ積分核 K(ζ,z) を備えたもの)の例になっている。ハーディ空間 H2(D) にもセゲー核と呼ばれる再生核を持つ。再生核は数学のほかの分野でもよく用いられる。たとえば、調和解析におけるポアソン核は単位球体上の自乗可積分調和関数全体の成すヒルベルト空間(これがヒルベルト空間を成すことは調和関数に対する中間値の定理からわかる)に対する再生核である。
ヒルベルト空間の応用の多くは、ヒルベルト空間において射影や基底変換といったような単純な幾何学的概念が、ふつうの有限次元の場合に考えられるそれらの自然な一般化になっているという事実に依拠して行われている。特に、ヒルベルト空間上の連続自己随伴線型作用素のスペクトル論は、行列のふつうのスペクトル分解の一般化であり、これはヒルベルト空間論を他の数学や物理学の分野に応用する際にしばしば大きな役割を果たす。
常微分方程式論において、微分方程式の固有関数および固有値の振る舞いを調べるのに適当なヒルベルト空間上のスペクトル法が利用できる。例えば、ヴァイオリンの弦やドラムの調波の研究から生じたスツルム・リウヴィル問題は、常微分方程式論の中心的な問題である。スツルム・リウヴィル問題は区間 [a, b] 上の未知関数 y に対する常微分方程式
-\frac{d}{dx}\left[p(x)\frac{dy}{ dx}\right]+q(x)y=\lambda w(x)y
で、一般斉次ロビン境界条件
\begin{cases}
\alpha y(a)+\alpha' y'(a)=0\\
\beta y(b) + \beta' y'(b)=0.
\end{cases}
を満足するものである。関数 p, q, および w は所与で、方程式の解となる関数 y および定数 λ を求める。同問題は、この系の固有値と呼ばれる特定の値の λ に対してだけ解を持つのだが、それのことはこの系に対するグリーン関数によって定まる積分作用素にコンパクト作用素のスペクトル論を適用した結果として得られる。さらにはこの一般論からの別な帰結として、固有値 λ を無限大に発散する単調増大列に並べることができる。
ヒルベルト空間は偏微分方程式を調べる基本的な道具である。即ち、楕円型線型方程式のような偏微分方程式の多くのクラスでは、考える関数のクラスを拡張して弱解と呼ばれる超関数解を考えることができるが、弱解の定式化(弱定式化)の多くはヒルベルト空間を成すソボレフ関数のクラスを含むものになっているのである。解を求めたり、あるいはしばしばより重要な、与えられた境界条件に対する解の存在および一意性を示したりする解析学的な問題が、適当な弱定式化によって幾何学的問題に還元される。楕円型線型方程式に対して、かなりのクラスの問題が一意的に解けることを保証する幾何学的結果の一つがラックス・ミルグラムの定理である。この方法論は、偏微分方程式の数値解法に対するガレルキン法(有限要素法の一つ)の基盤をなしている。
典型的な例が、R2 の有界領域 Ω におけるポアソン方程式 −Δu = g のディリクレ境界問題である。弱定式化は、境界上で消えている Ω 上連続的微分可能な任意の関数 v に対して