ゴルディングの不等式
数学においてゴルディングの不等式（ゴルディングのふとうしき、）は、ある実線型楕円型偏微分作用素によって導出される双線型形式に対する下界を与える一結果である。の名にちなむ。
Ω を "n"-次元ユークリッド空間内の有界な開領域とし、"H"(Ω) を "k"-階弱微分可能で弱微分が "L" に属するような函数 "u" : Ω → R のソボレフ空間とする。Ω は "k"-拡張性を満たす、すなわち、ある有界線型作用素 "E" : "H"(Ω) → "H"(R) が存在して "H"(Ω) 内のすべての "u" に対して ("Eu")| = "u" が成立するものとする。
"L" を偶数次 "2k" の線型偏微分作用素で、次の発散形式で表されるものとする：
さらに "L" は一様楕円型、すなわちある定数 "θ" > 0 が存在して次が成り立つとする。
最後に、係数 "A" は |"α"| = |"β"| = "k" に対して、Ω の閉包上で有界かつ連続連続とし、次が成り立つとする。
このとき、ゴルディングの不等式が次のように成り立つ：定数 "C" > 0 と "G" ≥ 0 が存在して
は作用素 "L" に関連する双線型形式である。
簡単な例として、ラプラス作用素 Δ を考える。より具体的に、"f" ∈ "L"(Ω) に対して、次のポアソン方程式を解くことを考える。
ここに Ω は R 内の有界なリプシッツ領域である。この問題に対応する弱形式は、次を満たす "u" をソボレフ空間 "H"(Ω) 内で見つけることである。
である。ラックス＝ミルグラムの補題によると、双線型形式 "B" が "H"(Ω) 上のノルムに関して連続かつ楕円型であるなら、各 "f" ∈ "L"(Ω) に対して唯一つの解 "u" が "H"(Ω) 内に必ず存在することが分かる。ゴルディングの不等式の仮定は、ラプラス作用素に対して成立することは容易に分かるので、次を満たす定数 "C" と "G" ≥ 0 が存在する：
ポアンカレ不等式を適用することで、この右辺の二つの項は組み合わされ、新たな定数 "K" > 0 によって次のように書き換えることが出来る：
これはまさしく "B" が楕円型であることを意味する。"B" の連続性はさらに容易に確かめられる。すなわち、コーシー＝シュワルツの不等式と、ソボレフノルムは勾配の "L" ノルムによって統制される事実をシンプルに適用すればよい。