石鹸膜の幾何学入門(5): 第二変分公式と安定性

前回までに, 第一変分公式の計算とそこから導かれる 極小曲面の性質 , そして Bernsteinの定理 について触れてきました. 今回は面積汎関数の2階微分, すなわち第二変分を計算し, そこから安定性の概念を定義します.

今回の内容は 第一変分公式 の記事を先に読んでからご覧になることを推奨します. また, 記号もそちらの記事のものを用います.

第二変分公式

曲面$\mathrm{\Sigma }$の変分${\mathrm{\Sigma }}_t=F(\mathrm{\Sigma },t)$として, $F(x,t)=F_0(x)+\varphi (x)N(x)$の形のものを考えます. ただし, $\varphi \in C_0^{\mathrm{\infty }}(\mathrm{\Sigma })$です. 接方向の変分は発散定理により後で消えるため, この形を仮定しても一般性を失いません.
変分した曲面${\mathrm{\Sigma }}_t$の面積は
$$\begin{array}{r}\mathrm{Area}({\mathrm{\Sigma }}_t)={\int }_{\mathrm{\Sigma }}\frac{\sqrt{\det g(t)}}{\sqrt{\det g(0)}}\sqrt{\det g(0)}={\int }_{\mathrm{\Sigma }}\nu (t)\sqrt{\det g(0)}\end{array}$$
で与えられたのでした. ですので面積の変分を計算するには, 関数$\nu (t)$の微分を計算すればOKです.

第一変分公式 で計算した通り,
$$\begin{array}{r}\frac{d}{dt}\sqrt{\det g(t)}=\frac{1}{2}\sqrt{\det g(t)}\mathrm{tr}(g^{-1}(t)\frac{d}{dt}g(t))\end{array}$$
でした. これをもう一度$t$で微分すると,
$$\begin{array}{r}\frac{d^2}{d{t}^2}\sqrt{\det g(t)}=\frac{1}{4\sqrt{\det g(t)}}{(\mathrm{tr}(g^{-1}(t)\frac{d}{dt}g(t)))}^2+\frac{1}{2}\sqrt{\det g(t)}\mathrm{tr}(\frac{d}{dt}{g}^{-1}(t)\frac{d}{dt}g(t))\\ +\frac{1}{2}\sqrt{\det g(t)}\mathrm{tr}(g^{-1}(t)\frac{d^2}{d{t}^2}g(t)).\end{array}$$
この式で$t=0$とすると, $g(0)=I$に注意して, $\mathrm{tr}(g^{-1}(0)g^{\prime }(0))=H=0$となるので, 第一項は$0$になります. 第二項を計算するため, ひとつ補題を準備します.

$g_{ij}^{\prime }(0)=2⟨{\mathrm{\nabla }}_{F_i}{F}_t,F_j⟩=2\varphi ⟨{\mathrm{\nabla }}_{F_i}N,F_j⟩=-2\varphi A(F_i,F_j)$となりますから($⟨N,F_i⟩=0$に注意), 補題1と併せると第二項は
$$\begin{array}{r}-\mathrm{tr}(g^{\prime }(0{)}^2)=-4{\varphi }^2\sum _{i,j}|A(F_i,F_j){|}^2=-4|A{|}^2{\varphi }^2\end{array}$$
と計算できます.

最後に第三項を計算します. ${\mathrm{\nabla }}_{F_t}{F}_i-{\mathrm{\nabla }}_{F_i}{F}_t=[F_t,F_i]=0$および${\mathbb{R}}^3$の曲率が$0$なことから${\mathrm{\nabla }}_{F_t}{\mathrm{\nabla }}_{F_i}={\mathrm{\nabla }}_{F_i}{\mathrm{\nabla }}_{F_t}$に注意すると,
$$\begin{array}{rl}{g}^{″}(t)& =2\frac{d}{dt}⟨{\mathrm{\nabla }}_{F_i}{F}_t,F_j⟩=2⟨{\mathrm{\nabla }}_{F_t}{\mathrm{\nabla }}_{F_i}{F}_t,F_j⟩+2⟨{\mathrm{\nabla }}_{F_i}{F}_t,{\mathrm{\nabla }}_{F_t}{F}_j⟩\\ & =2⟨{\mathrm{\nabla }}_{F_i}{\mathrm{\nabla }}_{F_t}{F}_t,F_j⟩+2⟨{\mathrm{\nabla }}_{F_i}{F}_t,{\mathrm{\nabla }}_{F_j}{F}_t⟩\end{array}$$
となるので, 第三項は
$$\begin{array}{rl}\mathrm{tr}{g}^{″}(0)& =2{\mathrm{div}}^{\mathrm{\Sigma }}\left(F_{tt}\right)+2\sum _i|{\mathrm{\nabla }}_{F_i}{F}_t{|}^2=2{\mathrm{div}}^{\mathrm{\Sigma }}\left(F_{tt}\right)+2\sum _i|(F_i\varphi )N+\varphi {\mathrm{\nabla }}_{F_i}N{|}^2\\ & =2{\mathrm{div}}^{\mathrm{\Sigma }}\left(F_{tt}\right)+2|{\mathrm{\nabla }}^{\mathrm{\Sigma }}\varphi {|}^2+2|A{|}^2{\varphi }^2\end{array}$$
と計算されます. 以上より,
$$\begin{array}{rl}{\frac{d^2}{d{t}^2}|}_{t=0}\nu (t)& =\frac{1}{2}(-4|A{|}^2{\varphi }^2+2{\mathrm{div}}^{\mathrm{\Sigma }}\left(F_{tt}\right)+2|{\mathrm{\nabla }}^{\mathrm{\Sigma }}\varphi {|}^2+2|A{|}^2{\varphi }^2)\\ & =|{\mathrm{\nabla }}^{\mathrm{\Sigma }}\varphi {|}^2-|A{|}^2{\varphi }^2+{\mathrm{div}}^{\mathrm{\Sigma }}\left(F_{tt}\right)\end{array}$$
となるので, 発散定理を用いると面積の第二変分は

となります.

極小曲面の安定性

安定性

関数の極小値を探す際の十分条件として, $f^{\prime }(a)=0$となる点$a$での2階微分が正というものがありました. そこから類推して, 安定性の概念を次のように定義しましょう.

安定性は, 少しくらい曲面を変形しても壊れずに元に戻るという意味で, 曲面が自然界において安定に実現できるための条件の数学的定式化の一つと捉えることができます.

2階楕円型微分作用素$L={\mathrm{\Delta }}^{\mathrm{\Sigma }}+|A{|}^2$はJacobi作用素と呼ばれます. 極小曲面の場合には$|A{|}^2=-2K^{\mathrm{\Sigma }}$と変形できるので, Jacobi作用素は$L={\mathrm{\Delta }}^{\mathrm{\Sigma }}-2K^{\mathrm{\Sigma }}$とも表せます. すなわち, Jacobi作用素は極小曲面の内在幾何学的な情報のみを用いて定義される微分作用素です.

Morse指数

2階楕円型作用素の固有値問題について学んだことのある方に向けて, Morse指数と呼ばれる量について紹介しておきましょう. Morse指数は曲面がどれだけ不安定かを測る(古典的な)指標のことで, 次のように定義されます.

領域$\mathrm{\Omega }$上でJacobi作用素の負の固有値に対応する固有関数が見つかれば, それを用いて変分を構成すれば第二変分が負になります. 第二変分, すなわち面積の2階微分が負になるということは, その変形に沿って曲面の面積はより小さくなると考えられます. したがってMorse指数は, 面積をより小さくするような, 独立な変形の個数であると解釈されます.
極小曲面$\mathrm{\Sigma }$のMorse指数は無限大になることもあります. 例えば螺旋面など周期性を持つ極小曲面のMorse指数は$\mathrm{\infty }$になることが知られています.

Morse指数を用いると, 極小曲面が安定であることは$\mathrm{Ind}(\mathrm{\Sigma })=0$と表現することもできます.

おわりに

今回は面積の第二変分を計算し, その結果から安定性の定義や関連する概念を定義しました. 最後に定義したMorse指数は解析学の前提知識が必要なやや発展的な話題でしたが, Morse指数が有限な極小曲面(部分多様体)の幾何学は現在も盛んに研究されており, それが種数やbetti数などの幾何学的量とどう関係するかという問題は現代的な極小曲面論の中心的なトピックの一つです.

次回以降で安定な極小曲面の満たす性質を見ていきます.