Sobolev不等式と等周不等式

解析学で有名なSobolev不等式と, 幾何学的な不等式の一種である等周不等式は同値なことが知られています. 今回はこのことを証明していこうと思います.

準備

今回は一般のRiemann多様体で考えるため, はじめに基本的な用語や証明に使う命題を準備しようと思います. Riemann多様体上には計量から導かれる自然な測度が存在しますので, 以下では特に断りがない限りその測度で考えます(通常の多様体と異なり, この測度は向き付け可能性に関係なく定義されます).

等周不等式

等周不等式は, 多様体の部分集合の表面積と体積に関する幾何学的な不等式です. 具体的には次のようなものを指します.

例えば$M={\mathbb{R}}^m$のときは, $C=\mathrm{\Gamma }(m/2+1{)}^{1/m}/(m\sqrt{\pi })$として等周不等式が成り立ちます.

Riemann多様体上のSobolev空間

続いて, Sobolev不等式の定義を与えるのですが, その前にRiemann多様体上のSobolev空間について復習しておきます.

関数$u$に対し, ${\mathrm{\nabla }}^{k}u$で$u$の$k$次共変微分を表すことにします($k=0$のときは, ${\mathrm{\nabla }}^{0}u=u$と約束することにします). 関数$u\in C_0^{\mathrm{\infty }}(M)$のノルム$\parallel \cdot {\parallel }_{k,p}$を
$$\begin{array}{r}\parallel u{\parallel }_{k,p}^p=\sum _{j=0}^k{\int }_M|{\mathrm{\nabla }}^{k}u{|}^p\end{array}$$
で定義し, 関数空間$C_0^{\mathrm{\infty }}(M)$のノルム$\parallel \cdot {\parallel }_{k,p}$に関する完備化を$W_0^{k,p}(M)$と表して, 今回はこれをRiemann多様体上のSobolev空間の定義とします.
このとき, ${\mathrm{Lip}}_0(M)\subset W_0^{1,p}(M)$が任意の$p\ge 1$に対して成り立ちます. このことは実際, 局所座標近傍でlipschitz関数の台を被覆し, 通常のEuclid空間のときと同様の手順で局所的に近似したものを1の分割で貼り合わせ, なめらかな大域的近似を得ることによって示せます. 後の議論でも用いるのですが, 幾何学ではテスト関数としてしばしばlipschitz(区分的になめらか)なものを用いることが多いため, ${\mathrm{Lip}}_0(M)$がSobolev空間に含まれていることは応用上大事な事実です.

Sobolev不等式とは, 関数空間のSobolev埋め込みに関する解析的な不等式の一種です.

先程同様, $M={\mathbb{R}}^m$の時は, 等周不等式と同じ定数に対してSobolev不等式が成り立ちます.

一般にRiemann多様体上でこれらの不等式が必ずしも成立するとは限りませんが, 一方が成立すれば必ずもう一方の不等式も成立するという意味でこれらは同値な不等式です.

主張の証明

co-area公式

証明に必要なのは, 次のco-area公式と呼ばれる積分の変換公式です. この公式それ自体, 多様体上で解析学を行なう上で基本的かつ重要なツールの一つです.

Sobolev不等式 $\Rightarrow$ 等周不等式

比較的簡単な方から示します.
$\mathrm{\Omega }$をなめらかな境界を持つ相対コンパクト領域とし, 十分小さな$\epsilon >0$に対して
$$\begin{array}{r}{\mathrm{\Omega }}_{\epsilon }=\{x\in \mathrm{\Omega }|\mathrm{dist}(x,\partial \mathrm{\Omega })>\epsilon \}\end{array}$$
とおきます. 関数$u$を
$$\begin{array}{r}u=\{\begin{array}{ll}1& \text{on }{\mathrm{\Omega }}_{\epsilon }\text{,}\\ {\epsilon }^{-1}\mathrm{dist}(x,\partial \mathrm{\Omega })& \text{on }\mathrm{\Omega }\setminus {\mathrm{\Omega }}_{\epsilon }\text{,}\\ 0& \text{outside of }\mathrm{\Omega }\text{,}\end{array}\end{array}$$
で定義します. このとき, $u\in {\mathrm{Lip}}_0(M)$および$|\mathrm{\nabla }u|\le {\epsilon }^{-1}$を満たすので, Sobolev不等式より,
$$\begin{array}{r}\mathrm{Vol}({\mathrm{\Omega }}_{\epsilon }{)}^{\frac{m-1}{m}}\le {\left({\int }_M{u}^{\frac{m}{m-1}}\right)}^{\frac{m-1}{m}}\le C{\int }_M|\mathrm{\nabla }u|\le C{\epsilon }^{-1}\mathrm{Vol}(\mathrm{\Omega }\setminus {\mathrm{\Omega }}_{\epsilon })\end{array}$$
となります. ここで, co-area公式を使うと, 最右辺は
$$\begin{array}{r}\mathrm{Vol}(\mathrm{\Omega }\setminus {\mathrm{\Omega }}_{\epsilon })={\int }_{\mathrm{dist}(\cdot ,\partial \mathrm{\Omega })\le \epsilon }1={\int }_0^{\epsilon }\mathrm{Area}(\{x\in \mathrm{\Omega }|\mathrm{dist}(x,\partial \mathrm{\Omega })=\epsilon \})\end{array}$$
と計算できます. 以上の式で$\epsilon \to 0$とすると, 左辺は優収束定理より
$$\begin{array}{r}\mathrm{Vol}({\mathrm{\Omega }}_{\epsilon }{)}^{\frac{m-1}{m}}\to \mathrm{Vol}(\mathrm{\Omega }{)}^{\frac{m-1}{m}},\end{array}$$
右辺は微分積分学の基本定理から
$$\begin{array}{r}{\epsilon }^{-1}{\int }_0^{\epsilon }\mathrm{Area}(\{x\in \mathrm{\Omega }|\mathrm{dist}(x,\partial \mathrm{\Omega })=\epsilon \})\to \mathrm{Area}(\partial \mathrm{\Omega })\end{array}$$
となるので, 等周不等式
$$\begin{array}{r}\mathrm{Vol}(\mathrm{\Omega }{)}^{\frac{m-1}{m}}\le C\mathrm{Area}(\partial \mathrm{\Omega })\end{array}$$
が成り立つことがわかりました.

等周不等式 $\Rightarrow$ Sobolev不等式

続いて, 逆向きの条件を示します.
任意の非負な$u\in C_0^{\mathrm{\infty }}(M)$に対し不等式を示せればOKです. 等周不等式とco-area公式より
$$\begin{array}{rl}{\int }_M|\mathrm{\nabla }u|& ={\int }_0^{\mathrm{\infty }}\mathrm{Area}(\{u=t\})dt\\ & \ge C^{-1}{\int }_0^{\mathrm{\infty }}\mathrm{Vol}(u\ge t{)}^{\frac{m-1}{m}}dt\end{array}$$
となります. 右辺を変形するため, 次の事実を用います.

補題3より,
$$\begin{array}{rl}{\left({\int }_M{u}^{\frac{m}{m-1}}\right)}^{\frac{m-1}{m}}& ={({\int }_0^{\mathrm{\infty }}\frac{m}{m-1}{t}^{\frac{1}{m-1}}\mathrm{Vol}(\{u\ge t\})dt)}^{\frac{m-1}{m}}\\ & ={({\int }_0^{\mathrm{\infty }}\frac{m}{m-1}\mathrm{Vol}(\{u\ge t\}{)}^{\frac{m-1}{m}}\mathrm{Vol}(\{u\ge t\}{)}^{\frac{1}{m}}{t}^{\frac{1}{m-1}}dt)}^{\frac{m-1}{m}}\\ & ={({\int }_0^{\mathrm{\infty }}\frac{m}{m-1}\mathrm{Vol}(\{u\ge t\}{)}^{\frac{m-1}{m}}(t\mathrm{Vol}(\{u\ge t\}{)}^{\frac{m-1}{m}}{)}^{\frac{1}{m-1}}dt)}^{\frac{m-1}{m}}\end{array}$$
となります. ここで, $t\mapsto \mathrm{Vol}(\{u\ge t\})$が非増加関数であることに注意すると, 不等式
$$\begin{array}{r}t\mathrm{Vol}(\{u\ge t\}{)}^{\frac{m-1}{m}} \le {\int }_0^t\mathrm{Vol}(\{u\ge s\}{)}^{\frac{m-1}{m}}ds\end{array}$$
を得ますから,
$$\begin{array}{rl}{\left({\int }_M{u}^{\frac{m}{m-1}}\right)}^{\frac{m-1}{m}}& ={({\int }_0^{\mathrm{\infty }}\frac{m}{m-1}\mathrm{Vol}(\{u\ge t\}{)}^{\frac{m-1}{m}}(t\mathrm{Vol}(\{u\ge t\}{)}^{\frac{m-1}{m}}{)}^{\frac{1}{m-1}}dt)}^{\frac{m-1}{m}}\\ & \le {({\int }_0^{\mathrm{\infty }}\frac{m}{m-1}\mathrm{Vol}(\{u\ge t\}{)}^{\frac{m-1}{m}}{({\int }_0^t\mathrm{Vol}(\{u\ge s\}{)}^{\frac{m-1}{m}}ds)}^{\frac{1}{m-1}}dt)}^{\frac{m-1}{m}}.\end{array}$$
ここで, $F(t)={\int }_0^t\mathrm{Vol}(\{u\ge s\}{)}^{(m-1)/m}ds$とおくと,
$$\begin{array}{rl}{\left({\int }_M{u}^{\frac{m}{m-1}}\right)}^{\frac{m-1}{m}}& \le {({\int }_0^{\mathrm{\infty }}\frac{m}{m-1}F(t{)}^{\frac{1}{m-1}}{F}^{\prime }(t)dt)}^{\frac{m-1}{m}}\\ & =F(\mathrm{\infty })={\int }_0^{\mathrm{\infty }}\mathrm{Vol}(\{u\ge s\}{)}^{\frac{m-1}{m}}ds\\ & \le C{\int }_0^{\mathrm{\infty }}\mathrm{Area}(\{u=t\})dt\\ & =C{\int }_M|\mathrm{\nabla }u|\end{array}$$
と計算され, これによりSobolev不等式の成立が分かります.

以上によって, めでたく等周不等式とSobolev不等式の同値性が示されました.

不等式が成り立たない例

最後に, 等周不等式およびSobolev不等式が成り立たないRiemann多様体の例を見てみましょう.

Gabrielのラッパはその形状からも分かる通りカスプ状の構造をしており, これが等周不等式の成立を妨げています. 逆に, カスプを有さないと考えられる条件下では, (局所的に)等周不等式が成立することが示せます.

おわりに

今回はSobolev不等式と等周不等式の同値性を示し, これらの不等式が成り立たない例を見ました. コンパクトでないRiemann多様体上でこれらの不等式が成り立つかどうかは, Sobolev埋め込みの成立の可否に関わるため, それ自体重要な問題でもあります. どのような条件下で成立するか等の詳細は[1]が詳しいです.