第二基本形式

テンプレート:Pathnavbox 微分幾何学における第二基本形式（テンプレート:Lang-en-short）または形テンソル（shape tensor）とは、3次元ユークリッド空間の滑らかな曲面（smooth surface）の接平面上の2次形式を言う。普通、 $\mathrm{I}\mathrm{I}$ と表記される（「２」と読む）。第一基本形式とともに、曲面の外在的不変量、例えば曲面の主曲率、を定義するのに役立つ。より一般的には、このような2次形式は、リーマン多様体に滑らかに埋め込まれた部分多様体に対して定義される。

${ℝ}^3$の曲面

第二基本形式の定義

動機

テンプレート:Mathの媒介変数表示された曲面 テンプレート:Math の第二基本形式は、ガウスによって導入され、研究された。まず、曲面が表面が2回連続的微分可能（continuously differentiable）な関数 テンプレート:Math のグラフであり、平面 テンプレート:Math が原点で曲面に接していると仮定する。そして、 テンプレート:Math とそれの テンプレート:Math および テンプレート:Math に関する偏導関数は、（0,0）でゼロになるとする。それ故、（0,0）での f のテイラー展開は次のように2次の項で始まることになる。

$z=L\frac{x^2}{2}+Mxy+N\frac{y^2}{2}+\text{higher order terms},$

座標 テンプレート:Math で表される原点における第二基本形式は2次形式となる。

$Ld{x}^2+2Mdxdy+Nd{y}^2.$

テンプレート:Math 上の滑らかな点 テンプレート:Math に対し、平面 テンプレート:Math が テンプレート:Math で テンプレート:Math に接するように座標系を選択し、同様の方法で第二基本形式を定義できる。

古典的な記法

一般的な媒介変数表示された曲面の第二基本形式は、次のように定義される。 テンプレート:Math を テンプレート:Math の曲面の正則（regular）な媒介変数表示とする。ここで、 テンプレート:Math は２変数の滑らかなベクトル値関数である。テンプレート:Math と テンプレート:Math に関する テンプレート:Math の偏導関数は テンプレート:Math と テンプレート:Math で表示するのが普通である。媒介変数表示の正則性（regularity）は、テンプレート:Math の定義域において 任意のテンプレート:Math に対して テンプレート:Math と テンプレート:Math が線型独立であることを意味する。すなわち、テンプレート:Math と テンプレート:Math は、各点で テンプレート:Math の接平面を張る（span）ことになる。同様に、外積 テンプレート:Math は曲面に垂直な非ゼロのベクトルとなる。媒介変数表示は、したがって、単位法線ベクトル テンプレート:Math の場を次のように定義する。

$𝐧=\frac{{𝐫}_u\times {𝐫}_v}{|{𝐫}_u\times {𝐫}_v|}.$

第二基本形式はたいてい次のように書かれる。

$\mathrm{I}\mathrm{I}=Ld{u}^2+2Mdudv+Nd{v}^2,$

接平面の基底 テンプレート:Math の行列は次のようになる。

$\left[\begin{array}{cc}L& M\\ M& N\end{array}\right].$

媒介変数表示による テンプレート:Math 平面における与えられた点での係数 テンプレート:Math は、その点での テンプレート:Math の2次偏導関数を、テンプレート:Math の法線上に射影することによって与えられ、内積を使用して次のように計算できる。

$L={𝐫}_{uu}\cdot 𝐧,M={𝐫}_{uv}\cdot 𝐧,N={𝐫}_{vv}\cdot 𝐧.$

ヘッセ行列 テンプレート:Math の符号付き距離場（signed distance field）に対して、第二基本形式の係数は次のように計算される。

$L=-{𝐫}_u\cdot 𝐇\cdot {𝐫}_u,M=-{𝐫}_u\cdot 𝐇\cdot {𝐫}_v,N=-{𝐫}_v\cdot 𝐇\cdot {𝐫}_v.$

物理学における記法

一般的な媒介変数表示された曲面 テンプレート:Math の第二基本形式は、次のように定義される。

テンプレート:Math を テンプレート:Math の曲面の正則な媒介変数表示とする。ここで、テンプレート:Math は２変数の滑らかなベクトル値関数である。テンプレート:Math の テンプレート:Math に関する偏導関数を テンプレート:Math （テンプレート:Math）と表示するのが普通である。媒介変数表示の正則性（regularity）は、テンプレート:Math と テンプレート:Math が テンプレート:Math の定義域内の任意の テンプレート:Math に対して線形独立であることを意味する。したがって、テンプレート:Math と テンプレート:Math が各点で テンプレート:Math の接平面を張る（span）ことを意味する。同様に、外積 テンプレート:Math は曲面に垂直な非ゼロのベクトルとなる。媒介変数表示は、したがって、単位法線ベクトル テンプレート:Math の場を次のように定義する。

$𝐧=\frac{{𝐫}_1\times {𝐫}_2}{|{𝐫}_1\times {𝐫}_2|}.$

第二基本形式は大抵次のように書かれる。

$\mathrm{I}\mathrm{I}=b_{\alpha \beta }d{u}^{\alpha }d{u}^{\beta }.$

上記の式は、アインシュタインの縮約記法を用いている。

媒介変数表示された テンプレート:Math 平面における与えられた点における第二基本形式の係数 テンプレート:Math は、その点での テンプレート:Math の2次偏導関数を、テンプレート:Math の法線に射影することで与えられる。そして、法線ベクトル テンプレート:Math を用いて次のように計算できる。

$b_{\alpha \beta }=r_{\alpha \beta }^{\gamma }{n}_{\gamma }.$

リーマン多様体の超曲面

テンプレート:Main ユークリッド空間において、第二基本形式は次のように与えられる。

$\mathrm{I}\mathrm{I}(v,w)=-⟨d\nu (v),w⟩\nu$

ここで、 テンプレート:Math はガウス写像であり、 テンプレート:Math はベクトル値の微分形式と見なされる テンプレート:Math の微分であり、括弧はユークリッド空間の計量テンソルを表示している。

より一般的には、リーマン多様体では、第二基本形式は、超曲面の テンプレート:Mathで示される形作用素（shape operator）を記述するための同等の方法である。

$\mathrm{I}\mathrm{I}(v,w)=⟨S(v),w⟩n=-⟨{\mathrm{\nabla }}_{v}n,w⟩n=⟨n,{\mathrm{\nabla }}_{v}w⟩n,$

ここで、テンプレート:Math は全体多様体（ambient manifold）の共変微分、テンプレート:Math は超曲面上の法線ベクトル場を表示している。（アフィン接続に捩じれがない場合、第二基本形式は対称となる。 ）

第二基本形式の符号は、 テンプレート:Math の方向の選択に依存する（これは超曲面の共方向（co-orientation）と呼ばれる。ユークリッド空間の曲面の場合、これは同様に曲面の向きの選択によって与えられる。）

任意の余次元への一般化

第二基本形式は、任意の余次元（codimension）に一般化できる。その場合、それは法ベクトル束（normal bundle）における値を持つ接空間上の二次形式である。次のように定義できる。

$\mathrm{I}\mathrm{I}(v,w)=({\mathrm{\nabla }}_{v}w{)}^{\mathrm{\perp }},$

ここで、$({\mathrm{\nabla }}_{v}w{)}^{\mathrm{\perp }}$ は共変微分 ${\mathrm{\nabla }}_{v}w$ の法ベクトル束への直交射影（orthogonal projection）を表す。

ユークリッド空間では、部分多様体の曲率テンソルは次の式で表すことができる。

$⟨R(u,v)w,z⟩=⟨\mathrm{I}\mathrm{I}(u,z),\mathrm{I}\mathrm{I}(v,w)⟩-⟨\mathrm{I}\mathrm{I}(u,w),\mathrm{I}\mathrm{I}(v,z)⟩.$

これは、ガウスのTheorema Egregiumの一般化と見なすことができるため、ガウス方程式と呼ばれる。

一般的なリーマン多様体の場合、全体空間（ambient space）の曲率を追加する必要がある。テンプレート:Math がリーマン多様体 テンプレート:Math に埋め込まれた多様体である場合、 テンプレート:Math から誘導された計量を持つ テンプレート:Math の曲率テンソル テンプレート:Math は、第二基本形式と テンプレート:Math の曲率テンソル テンプレート:Math を用いて次のように表現することができる。

$⟨R_N(u,v)w,z⟩=⟨R_M(u,v)w,z⟩+⟨\mathrm{I}\mathrm{I}(u,z),\mathrm{I}\mathrm{I}(v,w)⟩-⟨\mathrm{I}\mathrm{I}(u,w),\mathrm{I}\mathrm{I}(v,z)⟩.$

関連項目

• 第一基本形式
• ガウス曲率
• ガウス・コダッチ方程式
• 形作用素
• 第三基本形式
• トートロジー形式

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book

外部リンク

• Steven Verpoort (2008) Geometry of the Second Fundamental Form: Curvature Properties and Variational Aspects from Katholieke Universiteit Leuven.

テンプレート:Curvature