ポアンカレ不等式

数学において、ポアンカレ不等式（ポアンカレふとうしき、）は、フランスの数学者アンリ・ポアンカレの名にちなむ、ソボレフ空間の理論に関する一結果である。この不等式では、ある函数の評価を得るために、導函数の評価と定義域の幾何を利用することになる。そのような評価は近年の、変分法における直接解法において非常に重要なものとなっている。非常に密接な結果の一つに、フリードリヒの不等式がある。
不等式の内容.
古典的なポアンカレ不等式.
"p" は 1 ≤ "p" < ∞ を満たすものとし、Ω は少なくとも一つの境界を持つ部分集合とする。このとき、Ω と "p" にのみ依存する定数 "C" で、ソボレフ空間 "W"01,"p"(Ω) 内のすべての函数 "u" に対して次を満たすものが存在する。
ポアンカレ＝ヴィルティンガー不等式.
1 ≤ "p" ≤ ∞ とし、Ω はリプシッツ境界を持つ "n"-次元ユークリッド空間 R"n" の有界連結開部分集合とする（すなわち、Ω はリプシッツ領域である）。このとき、Ω と "p" にのみ依存する定数 "C" で、ソボレフ空間 "W"1,"p"(Ω) 内のすべての函数 "u" に対して次を満たすものが存在する。
ここに
は Ω についての "u" の平均値で、|Ω| は領域 Ω のルベーグ測度を表す。Ω が球のとき、この不等式は (p,p)-ポアンカレ不等式と呼ばれる。より一般の領域 Ω に対しては、この不等式はソボレフ不等式として有名である。
一般化.
測度距離空間（例えば、部分リーマン多様体）の関連で、空間内の各球 B に対してある定数 C と formula_4 が存在し
formula_5
が成立するなら、そのような空間は formula_6 に対する (q,p)-ポアンカレ不等式をサポートするものである。測度距離空間の関連で、formula_7 は Heinonen and Koskela [J. Heinonen and P. Koskela, Quasiconformal maps in metric spaces with controlled geometry, Acta Math. 181 (1998), 1–61] の意味で極小 p-弱上勾配である。
ポアンカレ不等式には他のソボレフ空間に対する一般化も存在する。例えば（に現れる）次のポアンカレ不等式は、ソボレフ空間 "H"1/2(T2) 、すなわちフーリエ変換 "û" を持つ単位トーラス T2 の"L"2 空間における函数 "u" で
を満たすものの空間に対するものである：ある開集合 "E" ⊆ T2 上で恒等的にゼロであるようなすべての "u" ∈ "H"1/2(T2) に対して、ある定数 "C" が存在し、
が成立する。ここに cap("E" × {0}) は、R3 の部分集合と考えられたときの "E" × {0} のである。
ポアンカレ定数.
ポアンカレ不等式における最適な定数 "C" は、領域 Ω に対するポアンカレ定数（Poincaré constant）としても知られる。ポアンカレ定数を決定することは、一般には "p" の値と領域 Ω の形状に依存する非常に難しい問題である。しかし、いくつかの特別な場合では決定することが出来る。例えば、Ω をある有界かつ凸なリプシッツ領域で、その直径は "d" であるとすると、ポアンカレ定数は "p" = 1 に対しては高々 "d"/2 であり、"p" = 2 に対しては高々 formula_10 である（; ）。またこれは、直径のみに関するポアンカレ定数の最適な評価である。滑らかな函数に対しては、この問題は函数の等位集合に対する等周不等式の応用として捉えることが出来る。
しかしいくつかの特別な場合では、定数 "C" は具体的に決定することが出来る。例えば "p" = 2 の場合、単位直角二等辺三角形の領域に対しては "C" = 1/π（ < "d"/π。ただし formula_11）であることが知られている（例えば を参照）。
さらに、滑らかな有界領域 formula_12 に対して、空間 formula_13 におけるラプラス作用素のレイリー商は、（負の）ラプラシアンの極小固有値 λ1 に対応する固有函数によって最小化されるため、任意の formula_14に対して
formula_15
が成立することは簡単な帰結である。さらにこの定数 λ1 は最適なものである。