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

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

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

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

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

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

および

${\displaystyle W^{1,p}(\Omega )\subset \subset L^{q}(\Omega ){\mbox{ for }}1\leq q<p^{*}}$

となる。

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

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

${\displaystyle \|u-u_{\Omega }\|_{L^{p}(\Omega )}\leq C\|\nabla u\|_{L^{p}(\Omega )}}$

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

${\displaystyle u_{\Omega }:={\frac {1}{\mathrm {meas} (\Omega )}}\int _{\Omega }u(x)\,\mathrm {d} x}$

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

1. ^ Evans, Lawrence C. (2010). “§5.8.1”. Partial Differential Equations (2nd ed.). p. 290. ISBN 0-8218-4974-3 

• Evans, Lawrence C. (2010). Partial Differential Equations (2nd ed.). American Mathematical Society. ISBN 0-8218-4974-3 

• Rellich, Franz (24 January 1930). “Ein Satz über mittlere Konvergenz” (German). Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse 1930: 30-35. Zbl 56.0224.02. https://eudml.org/doc/59297.