1 基本概念
第二次基本形式は、曲面が三次元空間の中でどのように折れ曲がっているかを表す二次形式である。曲面上の点における局所的な湾曲を数量化し、方向によって曲がり方が変わることを記述する。微分幾何学では、曲面の外から見た形を扱う中心的な道具として位置づけられる。
1.1 定義
滑らかな曲面に対し、法線方向の変化を反映する二次形式を第二次基本形式という。一般には、局所座標の微小変位に対して、法線成分の二次項を取り出したものとして定義される。記号としては通常、第一基本形式と対比される形で扱われる。
1.2 幾何学的意味
この形式は、ある点の近くで曲面がどの向きにどれだけ曲がるかを示す。平坦な方向では値が小さく、強く反る方向では大きくなる。したがって、単に曲面の位置を表すだけでなく、その近傍での立体的なふくらみやへこみを判定する手がかりとなる。
1.3 第一基本形式との関係
第一基本形式が距離、角度、面積といった曲面内部の量を与えるのに対し、第二次基本形式は空間への埋め込みに依存する。両者を組み合わせることで、曲面の内的構造と外的な曲がり方を同時に理解できる。多くの幾何学的量は、これら二つの形式から導かれる。
1.3.1 内在的性質との違い
第一基本形式は、曲面の上だけで完結する量を記述する。たとえば、曲面上の測地線や局所的な長さは、外部空間を知らなくても定義できる。これに対し、第二次基本形式は、曲面を周囲の空間に置いたときの形に依存する。
1.3.2 外在的性質との関係
第二次基本形式は、外在的な曲率を直接表す。曲面を異なる方法で空間に埋め込むと、その値も変わりうる。形作用素、主曲率、平均曲率、ガウス曲率といった量は、この外在的情報と密接に結びついている。
2 計算法
第二次基本形式は、曲面の表示方法に応じてさまざまに求められる。実際の計算では、パラメータ表示、暗黙表示、あるいは行列形式がよく用いられる。いずれの方法でも、接ベクトルと法線方向の情報が重要になる。
2.1 パラメータ表示による表現
曲面を二つの変数で表すと、第一基本形式と同様に局所座標が使える。このとき、座標曲線の偏微分を用いて、第二次基本形式の係数を取り出す。表示が明示的であれば、幾何量の導出は比較的体系的である。
2.1.1 法線ベクトルを用いる方法
単位法線ベクトルを定め、その変化率を調べることで曲率情報を得る。法線の微分は、曲面の曲がり方を反映し、第二次基本形式の係数に対応する。これは、法線がどの程度傾くかを追う方法として理解しやすい。
2.1.2 偏微分を用いる方法
曲面のパラメータ表示を微分し、一次偏微分と二次偏微分を組み合わせて求める。各係数は、接ベクトルの組に対する法線方向成分として現れる。計算上は、座標関数の二階微分が中心的な役割を果たす。
2.2 暗黙表示による表現
曲面が方程式で定義されている場合には、その勾配やヘッセ行列を利用して第二次基本形式を表す。レベル面として与えられる曲面では、法線ベクトルが方程式の微分から得られるため、そこから曲率の情報を抽出しやすい。暗黙表示は、交差や制約条件を含む場面でも有用である。
2.3 行列表示
第二次基本形式は、局所座標系のもとで対称行列として表せる。第一基本形式の行列と組み合わせると、曲面の主方向や主曲率が線形代数的に扱える。行列表示は、理論面だけでなく、実際の数値計算でも便利である。
3 関連する曲面量
第二次基本形式は単独で用いられるだけでなく、さまざまな曲面量の基礎になる。特に、形作用素、主曲率、平均曲率、ガウス曲率は相互に関連している。これらを通じて、局所的な幾何の性質が整理される。
3.1 形作用形
形作用素は、接空間上のベクトルを法線の変化に対応づける線形写像である。第二次基本形式は、この作用素と第一基本形式を介して結びつき、曲面の曲がり方を別の形で表現する。対称性をもつため、固有値解析が可能になる。
3.1.1 形作用素との対応
第二次基本形式は、形作用素を第一基本形式で内積化したものとして理解できる。つまり、接ベクトルの組に対する値は、形作用素の作用結果と自然に対応する。これにより、曲率の情報が線形変換として整理される。
3.1.2 固有値と主方向
形作用素の固有値は主曲率に一致し、固有ベクトルは主方向を与える。主方向では曲面の曲がり方が最も単純になり、二次形式も対角化される。したがって、局所的な幾何の理解にはこの固有分解が重要である。
3.2 主曲率
主曲率は、ある点における最大および最小の法線曲率である。第二次基本形式を特定の方向に制限すると、各方向の曲がり具合が数値として現れる。主曲率は、曲面の形状を直感的に把握する指標となる。
3.2.1 最大主曲率
最大主曲率は、与えられた点で最も強く曲がる方向に対応する。山状のふくらみや鋭い折れに近い挙動を示すことがある。極値として得られるため、曲面の局所的な強度を知るうえで有効である。
3.2.2 最小主曲率
最小主曲率は、最も曲がりが小さい方向を表す。場合によっては正負の符号がつき、へこみや反り返りの性質を示す。最大主曲率と組み合わせることで、曲面の局所的な形状がより明確になる。
3.3 平均曲率
平均曲率は、二つの主曲率の平均として定義される。曲面がどちら向きにどれほど均衡して曲がっているかを示す量であり、極小曲面の理論などで重要である。物理的には、膜や界面の安定性と関連づけられることも多い。
3.4 ガウス曲率
ガウス曲率は、二つの主曲率の積として表される。正であれば局所的に楕円的、負であれば双曲的、零なら一方の方向で平坦な性質を持つ。第二次基本形式と第一基本形式の組み合わせから定まり、曲面の局所分類に強い影響を与える。
4 具体例と応用
具体的な曲面を調べると、第二次基本形式の意味が明確になる。平面、球面、円柱面は代表的な例であり、それぞれ異なる曲率特性を示す。これらの比較は、一般の曲面理解の足がかりとなる。
4.1 平面
平面では、どの方向にも曲がりがないため、第二次基本形式は零になる。主曲率も平均曲率もガウス曲率もすべて消える。最も単純な例として、曲率を持たない曲面の基準を与える。
4.2 球面
球面では、どの方向にも同じ向きの正の曲率が現れる。第二次基本形式は等方的で、主曲率も一致する。全体として均一にふくらんだ形を示し、正のガウス曲率をもつ典型例である。
4.3 円柱面
円柱面は、一方の方向には曲がり、もう一方の方向には平坦である。したがって、主曲率の一つは零になり、もう一つは一定値をとる。平面と球面の中間的な例として、方向による違いを理解するのに適している。
4.4 曲面の分類への応用
第二次基本形式は、曲面を局所的に分類する際の重要な基準となる。ガウス曲率の符号や主曲率の組み合わせにより、楕円点、双曲点、放物点などの性質を区別できる。さらに、幾何学的変形や最適化の問題でも、曲率情報は解析の出発点になる。