Ngô Quốc Anh

December 12, 2009

R-G: The Second Fundamental Form

Filed under: Riemannian geometry — Ngô Quốc Anh @ 18:02

In this section, we take a closer look at the curvature at a point of a curve $C$ on a surface $X$. Assuming that $C$ is  parameterized by arc length, we will see that the vector $X''(s)$ (which is equal to $\kappa \vec n$, where $\vec n$ is the principal normal to the curve $C$ at $p$, and $\kappa$ is the curvature) can be written as $\displaystyle \kappa \vec n=\kappa_{\rm N} {\rm N} + \kappa_g \vec n_g$,

where ${\rm N}$ is the normal to the surface at $p$, and $\kappa_g \vec n_g$ is a tangential component normal to the curve.

The component $\kappa_{\rm N}$ is called the normal curvature. Computing it will lead to the second fundamental form, another very important quadratic form associated with a surface. The component $\kappa_g$ is called the geodesic curvature.

It turns out that it only depends on the first fundamental form, but computing it is quite complicated, and this will lead to the Christoffel symbols.

Definition 1. Given a surface $X$, given any curve $C: t \mapsto X(u(t), v(t))$ on $X$, for any point $p$ on $X$, the orthonormal frame $(\vec t, \vec n_g ,{\rm N})$ is defined such that $\displaystyle\begin{gathered}\vec t = {X_u}u' + {X_v}v', \hfill \\{\rm N} = \frac{{{X_u} \times {X_v}}}{{\left\| {{X_u} \times {X_v}} \right\|}}, \hfill \\{\vec n_g} = {\rm N} \times t, \hfill \\ \end{gathered}$

where ${\rm N}$ is the normal vector to the surface $X$ at $p$. The vector $\vec n_g$ is called the geodesic normal vector.

Observe that $\vec n_g$ is the unit normal vector to the curve $C$ contained in the tangent space $T_p(X)$ at $p$. If we use the frame $(\vec t, \vec n_g ,N)$, we will see shortly that $\kappa \vec n$ can be written as $\displaystyle \kappa \vec n=\kappa_{\rm N} {\rm N} + \kappa_g \vec n_g$,

The component $\kappa_{\rm N} {\rm N}$ is the orthogonal projection of $\kappa \vec n$ onto the normal direction ${\rm N}$, and for this reason $\kappa_{\rm N}$ is called the normal curvature of $C$ at $p$. The component $\kappa_g \vec n_g$ is the orthogonal projection of $\kappa \vec n$ onto the tangent space $T_p(X)$ at $p$.

We now show how to compute the normal curvature. This will uncover the second fundamental form. Since $X'=X_u u'+X_vv'$, using chain rule we get $\displaystyle X''=X_{uu} (u')^2 + 2 X_{uv}u'v'+X_u u''+X_v v''$.

In order to decompose $X''$ into its normal component (along ${\rm N}$) and its tangential component, we use a neat trick suggested by Eugenio Calabi. Recall that $\displaystyle (\vec u \times \vec v) \times \vec w=(\vec u \cdot \vec w)\vec v - (\vec w \cdot \vec v)\vec u$.

Using this identity we have $\displaystyle\begin{gathered}(N \times ({X_{uu}}{(u')^2} + 2{X_{uv}}u'v' + {X_{vv}}{(v')^2})) \times {\rm N} \hfill \\ \qquad = \left( {{\rm N} \cdot {\rm N}} \right)({X_{uu}}{(u')^2} + 2{X_{uv}}u'v' + {X_{vv}}{(v')^2}) - \left( {{\rm N} \cdot ({X_{uu}}{{(u')}^2} + 2{X_{uv}}u'v' + {X_{vv}}{{(v')}^2})} \right){\rm N}. \hfill \\ \end{gathered}$

Since ${\rm N}$ is a unit vector we can write $\displaystyle\begin{gathered}\kappa n = \left( {{\rm N} \cdot ({X_{uu}}{{(u')}^2} + 2{X_{uv}}u'v' + {X_{vv}}{{(v')}^2})} \right){\rm N} \hfill \\ \qquad \qquad+ ({\rm N} \times ({X_{uu}}{(u')^2} + 2{X_{uv}}u'v' + {X_{vv}}{(v')^2})) \times {\rm N} \hfill \\\qquad\qquad + {X_u}u'' + {X_v}v''. \hfill \\ \end{gathered}$

Thus, it is clear that the normal component is $\displaystyle {\kappa _{\rm N}}{\rm N} = \left( {{\rm N} \cdot ({X_{uu}}{{(u')}^2} + 2{X_{uv}}u'v' + {X_{vv}}{{(v')}^2})} \right){\rm N}$,

and the normal curvature is given by $\displaystyle {\kappa _{\rm N}} = {{\rm N} \cdot ({X_{uu}}{{(u')}^2} + 2{X_{uv}}u'v' + {X_{vv}}{{(v')}^2})}$.

Letting $\displaystyle L={\rm N} \cdot X_{uu}, \quad M={\rm N} \cdot X_{uv}, \quad N={\rm N}\cdot X_{vv}$

we have $\displaystyle {\kappa _N} = L(u')^2+2Mu'v'+N(v')^2$.

Recalling that $\displaystyle N = \frac{{{X_u} \times {X_v}}}{{\left\| {{X_u} \times {X_v}} \right\|}}$,

using the Lagrange identity $\displaystyle (\vec u \cdot \vec v)^2+\|\vec u \times \vec v\|^2 = \|\vec u\|^2 \| vec v\|^2$,

we see that $\displaystyle \| X_u \times X_v \| = \sqrt{EG-F^2}$,

and $L={\rm N} \cdot X_{uu}$ can be writtne as $\displaystyle L = \frac{{\left( {{X_u} \times {X_v}} \right) \cdot {X_{uu}}}}{{\sqrt {EG - {F^2}} }} = \frac{{\left( {{X_u},{X_v},{X_{uu}}} \right)}}{{\sqrt {EG - {F^2}} }}$,

where $(\cdot, \cdot, \cdot)$ is the determinant of three vectors. Some authors (including Gauss himself and Darboux) use the notation $\displaystyle \begin{gathered} D = \left( {{X_u},{X_v},{X_{uu}}} \right), \hfill \\ D' = \left( {{X_u},{X_v},{X_{uv}}} \right), \hfill \\ D'' = \left( {{X_u},{X_v},{X_{vv}}} \right), \hfill \\ \end{gathered}$

and we also have $\displaystyle L = \frac{D}{{\sqrt {EG - {F^2}} }}, \quad M = \frac{{D'}}{{\sqrt {EG - {F^2}} }}, \quad N = \frac{{D''}}{{\sqrt {EG - {F^2}} }}$.

These expressions were used by Gauss to prove his famous Theorema Egregium.

Definition 2. Given a surface $X$, for any point $p = X(u, v)$ on $X$, letting $\displaystyle L = {\rm N} \cdot X_{uu}, \quad M = {\rm N} \cdot X_{uv}, \quad N = {\rm N}\cdot X_{vv}$,

where $N$ is the unit normal at $p$, the quadratic form $\displaystyle (x, y) \mapsto Lx^2+2Mxy+Ny^2$

is called the second fundamental form of $X$ at $p$. It is often denoted as $\mathrm I\!\mathrm I_p$ and in matrix form, we have $\displaystyle {\mathrm I\!\mathrm I_p}\left( {x,y} \right) = \left( {\begin{array}{*{20}{c}} x & y\\ \end{array} } \right)\left( {\begin{array}{*{20}{c}} L & M\\ M & N\\ \end{array} } \right)\left( {\begin{array}{*{20}{c}} x\\ y\\ \end{array} } \right)$.

For a curve $C$ on the surface $X$ (parameterized by arc length), the quantity $\kappa_N$ given by the formula $\displaystyle \kappa_N = L(u')^2 + 2Mu'v' + N(v')^2$

is called the normal curvature of $C$ at $p$.

The second fundamental form was introduced by Gauss in 1827. Unlike the first fundamental form, the second fundamental form is not necessarily positive or definite.

Gaussian curvature. The Gaussian curvature of a surface is given by $\displaystyle K = \frac{\det \mathrm I\!\mathrm I}{\det \mathrm I} = \frac{ LN-M^2}{EG-F^2 }$,

Theorema egregium of Gauss states that the Gaussian curvature of a surface can be expressed solely in terms of the first fundamental form and its derivatives, so that $K$ is in fact an intrinsic invariant of the surface. An explicit expression for the Gaussian curvature in terms of the first fundamental form is provided by the Brioschi formula.