Gauss绝妙定理

Gauss绝妙定理

Gauss曲率$K=\frac{b}{g}=-\frac{R_{1212}}{g}$仅依赖于曲面的第一基本形

定理理解

定义Riemann记号$R_{\delta \alpha \beta \gamma }=g_{\delta \epsilon }\times ($LHS of GE),即$g_{\delta \epsilon }$乘以Gauss方程的左端，可见Riemann记号只依赖于第一基本形$(g_{\alpha \beta })$

注意到$b_{\alpha }^{\beta }=b_{\alpha \gamma }{g}^{\gamma \beta },g_{\gamma \beta }{b}_{\alpha }^{\beta }=b_{\alpha \gamma }$

从而Gauss方程等价于

$$\begin{array}{rl}{R}_{\delta \alpha \beta \gamma }& =g_{\delta \epsilon }({\partial }_{\gamma }{\Gamma }_{\alpha \beta }^{\epsilon }-{\partial }_{\beta }{\Gamma }_{\alpha \gamma }^{\epsilon }+{\Gamma }_{\alpha \beta }^{\eta }{\Gamma }_{\eta \gamma }^{\epsilon }-{\Gamma }_{\alpha \gamma }^{\eta }{\Gamma }_{\eta \beta }^{\epsilon })\\ & =g_{\delta \epsilon }(b_{\alpha \beta }{b}_{\gamma }^{\epsilon }-b_{\alpha \gamma }{b}_{\beta }^{\epsilon })\\ & =b_{\delta \gamma }{b}_{\alpha \beta }-b_{\delta \beta }{b}_{\alpha \gamma }\end{array}$$

可见$R_{\delta }\alpha \beta \gamma$ 的指标具有(反)对称性：(1,2)指标反对称、(3,4)指标反对称、(12,34)指标对称。

通过复杂的计算可以验证，Riemann记号
$R_{\delta \alpha \beta \gamma }=g_{\delta \epsilon }({\partial }_{\gamma }{\Gamma }_{\alpha \beta }^{\epsilon }-{\partial }_{\beta }{\Gamma }_{\alpha \gamma }^{\epsilon }+{\Gamma }_{\alpha \beta }^{\eta }{\Gamma }_{\eta \gamma }^{\epsilon }-{\Gamma }_{\alpha \gamma }^{\eta }{\Gamma }_{\eta \beta }^{\epsilon })$的（反）对称性不依赖Gauss方程而总成立。

由Riemann记号的(反)对称性，不妨令指标$(\delta \alpha \beta \gamma )=(1212)$得到Gauss方程唯一的独立方程为

$$R_{1212}=b_{12}^2-b_{11}{b}_{22}=-b$$

定理应用

只要给定了一个曲面的第一基本形$$I(u,v)=Ed{u}^2+2Fdudv+Gd{v}^2$$,就可以算出Riemann记号$R_{1212}$,从而可以算出Gauss曲率$K$。特定情况下，还有正交标架下的Gauss绝妙定理，可以大幅简化计算量。