今日の目的は次の定理を証明することです.
この応用として,曲面のガウス曲率・平均曲率の公式を導出します.これら曲率の一応の定義はしますが細かい説明はしないので,定義の意味などはちゃんとした微分幾何の教科書を参考にして下さい.
対称行列と2次形式
第 成分だけ
で残りの要素は
であるベクトルを
で表す. ベクトル
の標準内積を
で,外積を
で表す.
対称行列
行列 の転置を
で表す.
次正方行列
が
を満たすとき,対称行列と呼ぶ.
次正方行列
が
を満たすとき,直交行列と呼ぶ.実対称行列
の固有値は全て実数であり,
は直交行列
で対角化できることが知られている;\begin{align}P^\mathsf{T}AP=\mathrm{diag}(\lambda_1,\dots,\lambda_n)\end{align}
2次形式
を変数を要素とするベクトルとする.
に関する実係数の2次斉次多項式を2次形式と呼ぶ.2次形式はある実対称行列
により\begin{align} \boldsymbol{x}^\mathsf{T} A \boldsymbol{x}\end{align} と書ける.
が直交行列
で
と対角化されているとき,
なので,
と変数変換すると\begin{align}\boldsymbol{x}^\mathsf{T} A \boldsymbol{x}=\boldsymbol{y}^\mathsf{T}P^\mathsf{T} A P\boldsymbol{y} =\boldsymbol{y}^\mathsf{T}\mathrm{diag}(\lambda_1,\dots,\lambda_n)\boldsymbol{y}=\sum_{i=1}^n \lambda_i y_i^2 \end{align} となる.
任意の に対し
となるとき,2次形式
は正定値であるという.これは
の固有値
が全て正であることと同値である.
2次形式の条件付極値
2つの2次形式 \begin{align} \boldsymbol{x}^\mathsf{T} A \boldsymbol{x},~~\boldsymbol{x}^\mathsf{T} B \boldsymbol{x}\end{align} で は正定値であるものを考える.
束縛条件 のもとで
の最大値と最小値をラグランジュの未定乗数法を使って求める.
は正定値なので
を満たす
全体はコンパクト集合で,最大値と最小値が存在することに注意する.
縛条件
ここで は
の勾配である.
は非特異なので,束縛条件
のもとで
の極値を与える
の値は,ある
に対する \begin{align} \mathrm{grad}(\boldsymbol{x}^\mathsf{T} A \boldsymbol{x})=\lambda~ \mathrm{grad}(\boldsymbol{x}^\mathsf{T} B \boldsymbol{x}-1),~\boldsymbol{x}^\mathsf{T} B \boldsymbol{x}=1 \end{align} の解である.
は対称行列だったので \begin{align}\dfrac{\partial \left(\boldsymbol{x}^\mathsf{T} A\boldsymbol{x}\right)}{\partial x_i}=\boldsymbol{e}^\mathsf{T}_iA\boldsymbol{x}+\boldsymbol{x}^\mathsf{T}A\boldsymbol{e}_i=2\left(\boldsymbol{e}^\mathsf{T}_iA\boldsymbol{x}\right)\end{align} より \begin{align}\mathrm{grad}\left(\boldsymbol{x}^\mathsf{T} A\boldsymbol{x}\right)
=2\left(\boldsymbol{e}^\mathsf{T}_1A\boldsymbol{x},\dots,\boldsymbol{e}^\mathsf{T}_nA\boldsymbol{x}\right)^\mathsf{T}=2A\boldsymbol{x}
\end{align} であり,同様に \begin{align}\mathrm{grad}(\boldsymbol{x}^\mathsf{T} B \boldsymbol{x}-1)=\mathrm{grad}(\boldsymbol{x}^\mathsf{T} B \boldsymbol{x})=2B\boldsymbol{x}
\end{align} となる.よって は \begin{align} &A\boldsymbol{x}=\lambda B\boldsymbol{x}, ~\boldsymbol{x}^\mathsf{T} B \boldsymbol{x}=1\\
\Leftrightarrow~~ & B^{-1}A\boldsymbol{x}=\lambda\boldsymbol{x}, ~\boldsymbol{x}^\mathsf{T} B \boldsymbol{x}=1\end{align} と変形できる.これは が
の固有値とその固有ベクトルであることを表している.
また,この条件式が成り立っているとき,\begin{align}\boldsymbol{x}^\mathsf{T}A\boldsymbol{x}=\boldsymbol{x}^\mathsf{T}(\lambda B)\boldsymbol{x}=\lambda \boldsymbol{x}^\mathsf{T} B \boldsymbol{x}=\lambda \end{align} となる.
以上より次の定理を得る.
この定理の系として次が成り立つ.
(証明) \begin{align}\left\{\dfrac{\boldsymbol{x}^\mathsf{T} A \boldsymbol{x}}{\boldsymbol{x}^\mathsf{T} B \boldsymbol{x}} ~\middle|~ \boldsymbol{x}\neq \boldsymbol{0}\right\}=\left\{\boldsymbol{x}^\mathsf{T} A \boldsymbol{x} \mid \boldsymbol{x}^\mathsf{T} B \boldsymbol{x}=1\right\}\end{align} が成り立つ.(左辺)⊃(右辺) は自明で,逆の包含は とすると
となることから従う.
よって の最大値と最小値はそれぞれ,束縛条件
のもとでの
の最大値と最小値と一致する.(証明終)
曲面のガウス曲率・平均曲率
簡単のため以降出てくる関数は 級とする.
曲面
を
-平面の領域とし,曲面 \begin{align} \boldsymbol{p}(u,v)=\left(\begin{array}{c} x(u,v)\\y(u,v)\\z(u,v) \end{array}\right),~~(u,v)\in D \end{align} を考える.
曲面の各点で接ベクトル は1次独立であるとする.このとき,曲面の単位法線ベクトル
は ベクトルの外積を用いて\begin{align}\boldsymbol{n}=\dfrac{\boldsymbol{p}_u\times \boldsymbol{p}_v}{\left|\boldsymbol{p}_u\times \boldsymbol{p}_v\right|}\end{align}で与えられる.
曲面上の曲線
を固定し
とする.
とし,
のときに
を通る
-平面上の曲線 \begin{align} c(t)=\left(\begin{array}{c} u(t)\\v(t)\end{array}\right),~~-\varepsilon\le t \le \varepsilon, \end{align} と
を合成すると,
のときに
を通る空間曲線 \begin{align} (\boldsymbol{p}\circ c)(t)=\boldsymbol{p}(u(t),v(t))=\left(\begin{array}{c} x(u(t),v(t))\\y(u(t),v(t))\\z(u(t),v(t)) \end{array}\right) ,~~-\varepsilon \le t \le \varepsilon,\end{align} が得られる.これが非特異,すなわち任意の
に対し
となる
のみを考える.
時間パラメータ・弧長パラメータ
弧長関数 を\begin{align}s(t)=\int_{0}^t \left|\dfrac{d(\boldsymbol{p}\circ c)(t)}{dt}\right|dt \end{align}で定義し,
とおく (
のとき
となるように積分の始点を
に設定した).微分が正
なので弧長関数は狭義単調増加関数になるので,逆関数
を持つ.
を弧長パラメータ表示と呼び,
を時間パラメータ表示と呼ぶことにする.これらは同一の空間曲線を異なるパラメータ付けで表したものになっている.
少ししつこく説明しておくと,時間パラメータ表示 に
を代入することで弧長パラメータ表示
が得られ,逆に弧長パラメータ表示
に
を代入することで,時間パラメータ表示
が得られる.
法曲率・ガウス曲率・平均曲率の定義
弧長パラメータ表示のときは「速さ」が \begin{align}\left|\dfrac{d\gamma(s)}{ds}\right|=\left|\dfrac{d(\boldsymbol{p}\circ c)(t)}{dt} \cdot \dfrac{dt}{ds}\right|=\left|\dfrac{ds}{dt}\cdot \dfrac{dt}{ds} \right|=1\end{align} で一定である.\begin{align}\dfrac{d\gamma(s)}{ds}\cdot \dfrac{d\gamma(s)}{ds}=\left|\dfrac{d\gamma(s)}{ds}\right|^2=1\end{align} なので両辺 で微分することで
より
である.つまり
は
と直交する.
の単位法線ベクトル成分
の
での値を空間曲線
の点
における法曲率 と呼ぶ.
のときに
を通る曲線
をいろいろ取り換えると,法曲率も様々な値を取る.法曲率の取りうる値の最大値
と最小値
をこの曲面の点
における主曲率と呼ぶ.また,積
をガウス曲率,平均
を平均曲率と呼ぶ.
第1基本量
を計算する. \begin{align} \left(\dfrac{ds(t)}{dt}\right)^2 =& \left|\dfrac{d(\boldsymbol{p}(u(t),v(t))}{dt}\right|^2 \\=&\left| \boldsymbol{p}_u(u(t),v(t))\dfrac{du(t)}{dt}+\boldsymbol{p}_v(u(t),v(t))\dfrac{dv(t)}{dt}\right|^2 \\=&|\boldsymbol{p}_u(u(t),v(t))|^2 \left(\dfrac{du(t)}{dt}\right)^2 \\&+2\boldsymbol{p}_u(u(t),v(t)) \cdot \boldsymbol{p}_v(u(t),v(t))\dfrac{du(t)}{dt}\dfrac{dv(t)}{dt}\\&+|\boldsymbol{p}_v(u(t),v(t))|^2 \left(\dfrac{dv(t)}{dt}\right)^2 \end{align} ここで
を第1基本量と呼ぶ.これを用いると
は\begin{align} E(u(t),v(t)) \left(\dfrac{du(t)}{dt}\right)^2+2F(u(t),v(t))\dfrac{du(t)}{dt}\dfrac{dv(t)}{dt}+G(u(t),v(t))\left(\dfrac{dv(t)}{dt}\right)^2\end{align}となる.
第2基本量
を用いて法曲率
を計算する.記号が複雑になるので関数の変数を省略した形で書く. \begin{align}\dfrac{d\gamma(s)}{ds}&=\boldsymbol{p}_u \dfrac{du}{dt}\dfrac{dt}{ds} +\boldsymbol{p}_v \dfrac{dv}{dt}\dfrac{dt}{ds}=\left(\boldsymbol{p}_u \dfrac{du}{dt} +\boldsymbol{p}_v \dfrac{dv}{dt}\right)\dfrac{dt}{ds} \\
\dfrac{d^2\gamma(s)}{ds^2}&=\left(\boldsymbol{p}_{uu} \left(\dfrac{du}{dt}\right)^2 +2\boldsymbol{p}_{uv}\dfrac{du}{dt}\dfrac{dv}{dt}+\boldsymbol{p}_{vv} \left(\dfrac{dv}{dt}\right)^2\right)\left(\dfrac{dt}{ds}\right)^2+\mbox{($\boldsymbol{p}_u$ と $\boldsymbol{p}_v$ の一次結合)} \end{align} となる. と
は直交するので法曲率は \begin{align}\dfrac{d^2\gamma(s)}{ds^2}\cdot \boldsymbol{n}=\left(\boldsymbol{p}_{uu}\cdot \boldsymbol{n} \left(\dfrac{du}{dt}\right)^2 +2\boldsymbol{p}_{uv}\cdot \boldsymbol{n}\dfrac{du}{dt}\dfrac{dv}{dt}+\boldsymbol{p}_{vv}\cdot \boldsymbol{n} \left(\dfrac{dv}{dt}\right)^2\right)\left(\dfrac{dt}{ds}\right)^2 \end{align} となる.ここで
を第2基本量と呼ぶ.
ガウス曲率・平均曲率の公式
法曲率を第1基本量と第2基本量で表すと \begin{align}&\left(L \left(\dfrac{du}{dt}\right)^2 +2M\dfrac{du}{dt}\dfrac{dv}{dt}+N\left(\dfrac{dv}{dt}\right)^2\right)\left(\dfrac{dt}{ds}\right)^2 \\
&=\dfrac{L \left(\dfrac{du}{dt}\right)^2 +2M\dfrac{du}{dt}\dfrac{dv}{dt}+N\left(\dfrac{dv}{dt}\right)^2}{\left(\dfrac{ds}{dt}\right)^2}\\
&=\dfrac{L \left(\dfrac{du}{dt}\right)^2 +2M\dfrac{du}{dt}\dfrac{dv}{dt}+N\left(\dfrac{dv}{dt}\right)^2}{E \left(\dfrac{du}{dt}\right)^2 +2F\dfrac{du}{dt}\dfrac{dv}{dt}+G\left(\dfrac{dv}{dt}\right)^2}\end{align} となる.この での値が曲面上の点
における法曲率であった.第1基本量と第2基本量の
での値は曲線
の取り方に依らないので,点
における法曲率は
で決まる.
とおく.
が非特異であるという性質は保ったまま曲線
で
を通る
をいろいろ取り換えると,
は
のすべての値を取りうる.よって法曲率は分母が正定値である
に関する2次形式の比 \begin{align}\dfrac{L\alpha^2+2 M\alpha \beta+N\beta^2 }{E\alpha^2+2 F\alpha\beta +G\beta^2 }
=\dfrac{(\alpha,\beta)\left(\begin{array}{cc} L & M\\ M& N \end{array}\right) \left(\begin{array}{c} \alpha\\ \beta \end{array}\right)}{(\alpha,\beta)\left(\begin{array}{cc} E & F\\ F& G \end{array}\right) \left(\begin{array}{c} \alpha\\ \beta \end{array}\right)}\end{align} で,上で示した定理により,法曲率の最大値と最小値である主曲率は行列 \begin{align}\left(\begin{array}{cc} E & F\\ F& G \end{array}\right)^{-1}\left(\begin{array}{cc} L & M\\ M& N \end{array}\right)=\dfrac{1}{EG-F^2} \left(\begin{array}{cc} G L - F M & G M - F N \\ EM-FL & EN-FM \end{array}\right) \end{align} の2つの固有値である.さらに,ガウス曲率 はこの行列の行列式で,平均曲率
はトレースの
倍となる.よって \begin{align} K=\dfrac{LN-M^2}{EG-F^2},~~H=\dfrac{EN-2FM+GL}{2(EG-F^2)} \end{align} となる.