レリッヒ＝コンドラショフの定理

数学におけるレリッヒ＝コンドラショフの定理（レリッヒ＝コンドラショフのていり、テンプレート:Lang-en-short）とは、ソボレフ空間に関するコンパクトな埋め込みについての定理である。イタリアおよびオーストリアの数学者であるテンプレート:仮リンクと、ロシアの数学者であるウラジミール・イオシフォヴィチ・コンドラショフの名にちなむ。レリッヒは L² の場合の定理を証明し、コンドラショフは L^p の場合を証明した。

定理の内容

Ω ⊆ Rⁿ を開かつ有界なリプシッツ領域とし、1 ≤ p < n に対して

$p^{*}:=\frac{np}{n-p}$

を定める。このとき、ソボレフ空間 W^1,p(Ω; R) は L^p 空間における連続的埋め込み L^p∗(Ω; R) であり、すべての 1 ≤ q < p^∗ に対して L^q(Ω; R) 内のコンパクトな埋め込みである。これを記号で表すと

$W^{1,p}(\mathrm{\Omega })\hookrightarrow L^{p^{*}}(\mathrm{\Omega })$

および

$W^{1,p}(\mathrm{\Omega })\subset \subset L^q(\mathrm{\Omega })\text{ for }1\le q<p^{*}$

となる。

帰結

埋め込みがコンパクトであるための必要十分条件は、包含（恒等）作用素がコンパクト作用素であることなので、レリッヒ＝コンドラショフの定理は、W^1,p(Ω; R) 内の任意の一様有界列が L^q(Ω; R) における収束部分列を持つことを意味する。この形式で述べられる場合、この定理はしばしばレリッヒ＝コンドラショフの選出定理として知られる（収束部分列を「選出」するため）。

レリッヒ＝コンドラショフの定理は、ポアンカレ不等式を証明するために利用することも出来る。ここでポアンカレ不等式とは、u ∈ W^1,p(Ω; R) に対し（Ω は上記のものと同じ仮定を満たすとする）に対し

$\Vert u-u_{\mathrm{\Omega }}{\Vert }_{L^p(\mathrm{\Omega })}\le C\Vert \mathrm{\nabla }u{\Vert }_{L^p(\mathrm{\Omega })}$

を満たすある定数 C が、p と Ω の形状にのみ依存して存在することを意味する。ここで

$u_{\mathrm{\Omega }}:=\frac{1}{\mathrm{m}\mathrm{e}\mathrm{a}\mathrm{s}(\mathrm{\Omega })}\underset{\mathrm{\Omega }}{\int }u(x)\mathrm{d}x$

は u の Ω 全体での平均値を表す。

参考文献

• テンプレート:Cite book

• テンプレート:Cite journal