返回学习路线

从两张矩阵到一张曲面 ​

所有数据光滑，采用 $S=-dn$，参数顺序决定叉积法向。矩阵的行列按写出的坐标顺序排列。这个终点任务从给定数据开始，不假设已经知道所求曲面的形状；每个存在或不可能结论都应附可复算的证据。

输入与验收任务 ​

1. 在开矩形上，分别检查 $I=d{u}^2+d{v}^2$ 配 $II=vd{u}^2$、配 $II=d{u}^2+d{v}^2$。每组给出独立的 Gauss 和 Codazzi 残差，指出失败项
2. 给 $I=d{u}^2+d{v}^2,II=2ud{u}^2$，构造一张具有这些数据的曲面，直接核验偏导、单位法向和正则性；解释为什么 $u=0$ 不构成曲面奇点
3. 对 $r>0$ 上的数据$$I=d{r}^2+\frac{9}{25}{r}^{2}d{\theta }^2,II=\frac{12}{25}rd{\theta }^2,$$求 Christoffel 系数、全部独立相容残差、两个 $3\times 3$ 标架矩阵和一个实际实现。再把 $II$ 中的 $r$ 改成 $r^2$，重新判定
4. 把第三问的实现沿一条母线切开，求平面展开、扇形角度与边长，说明内在曲率零为什么没有使形算子为零
5. 对单位速螺旋线 $\gamma (s)=(\cos \left(s/\sqrt{2}\right),\sin \left(s/\sqrt{2}\right),s/\sqrt{2})$ 的切线面 $Y=\gamma +vT$，计算正则域、两基本形式、主曲率，给一个局部平面展开；与直纹螺旋面 $Z(u,v)=(v\cos u,v\sin u,u)$ 比较
6. 对圆柱螺旋线 $(2\cos t,2\sin t,t)$ 求 $k_g,k_n,{\tau }_g,\tau$，判断测地线与曲率线；再求其法向直纹面在原曲线处的高斯曲率。换到鞍面 $z=2xy$ 的直线 $(s,0,0)$，检查哪些量仍能定义
7. 第三问度量分别配实际 $II$ 与 $II=0$，在整圈 $\theta mod2\pi$ 上是否能全局单值实现？另检查 $I=(dr/r{)}^2+d{\theta }^2,II=0$ 的位移周期。给出一个单连通域上展开仍不单射的例子
8. 说明一般相容数据如何从两次线性 ODE 得到真正的曲面。必须包含误差方程、Gram 矩阵、位置闭合和唯一性；再说明一般零曲率曲面在哪里具有母线分类，在哪里必须保留边界条件

答案一：两种相互独立的失败 ​

平面常度量的 ${\mathrm{\Gamma }}_i=0$、$K_I=0$。对 $II=vd{u}^2$，$\det \mathsf{b}=0$，故 Gauss 残差 $K_I\det \mathsf{g}-\det \mathsf{b}=0$。按相容页理路Gauss–Codazzi 相容条件Gauss–Codazzi equations · Gauss–Codazzi–Mainardi compatibility · 两基本形式的相容性把候选度量和第二基本形式变成三个可核验的微分条件，推导其标架矩阵残差，并分别构造Gauss与Codazzi障碍。的顺序，两条 Codazzi 残差为 $(-1,0)$。第一条来自 ${\partial }_u{b}_{21}-{\partial }_v{b}_{11}=-1$，因此没有局部实现。

对 $II=d{u}^2+d{v}^2$，两个 Codazzi 残差为 $(0,0)$，Gauss 残差却为 $-1$。这也没有局部实现。只比较形算子行列式，或只检查二阶形式导数，都不足以完成验收。

答案二：实际积分出一个变曲率柱面 ​

取 $\varphi (u)=u^2$，定义

$$X(u,v)=({\int }_0^u\cos \left(t^2\right)dt,v,{\int }_0^u\sin \left(t^2\right)dt).$$

不需要把两个积分强行写成初等函数。由微积分基本定理，

$$X_u=(\cos u^2,0,\sin u^2),X_v=(0,1,0),n=(-\sin u^2,0,\cos u^2).$$

两切向始终正交单位，叉积正是 $n$，故正则且 $I=d{u}^2+d{v}^2$。再求导得 $X_{uu}=2un$、$X_{uv}=X_{vv}=0$，所以 $II=2ud{u}^2$。

$u=0$ 时 $S=0$，两边非零特征值 $2u$ 改变符号，但切向仍独立。因此这是平面点母线，不是曲面奇点；也不是一整个平面邻域。这里的存在性已由公式认证，重建定理理路两基本形式的曲面重建定理Fundamental theorem of surface theory · Bonnet surface reconstruction · 曲面基本定理用矩形上的两次线性ODE与零残差证明二维标架可积，再核验Gram矩阵、位置闭合和刚体唯一性，区分全域浸入与单射嵌入。进一步保证同一坐标、同一法向约定下其他解只差保向刚体运动。

答案三：从圆锥数据重建，而不是先猜形状 ​

暂记 $a=3/5,c=4/5$。度量为 $\mathrm{diag}(1,a^2{r}^2)$，非零 Christoffel 系数是

$${\mathrm{\Gamma }}_{\theta \theta }^r=-a^{2}r,{\mathrm{\Gamma }}_{r\theta }^{\theta }={\mathrm{\Gamma }}_{\theta r}^{\theta }=1/r.$$

由度量曲率公式，$K_I=0$。候选 $\mathsf{b}=\mathrm{diag}(0,acr)$ 的行列式为零，Gauss 残差为零。第一条 Codazzi 残差也为零；第二条是

$${\partial }_r(acr)-\frac{acr}{r}=ac-ac=0.$$

所以三个独立条件全部通过。

令 $F=(X_r{X}_{\theta }n)$，Gauss–Weingarten 矩阵为

$$A_r=\left(\begin{array}{ccc}0& 0& 0\\ 0& 1/r& 0\\ 0& 0& 0\end{array}\right),A_{\theta }=\left(\begin{array}{ccc}0& -a^{2}r& 0\\ 1/r& 0& -c/(ar)\\ 0& acr& 0\end{array}\right).$$

可直接核对 ${\partial }_r{A}_{\theta }-{\partial }_{\theta }{A}_r+[A_r,A_{\theta }]=0$：可能非零的四个位置依次化为

$$-a^2+a^2,-r^{-2}+r^{-2},c/(a{r}^2)-c/(a{r}^2),ac-ac.$$

这是一份完整矩阵残差证书。

取基点 $(1,0)$，初始位置 $x_0=(a,0,c)$，初始列架

$$F_0=\left(\begin{array}{ccc}a& 0& -c\\ 0& a& 0\\ c& 0& a\end{array}\right).$$

其 Gram 矩阵为 $\mathrm{diag}(1,a^2,1)$，行列式为 $a>0$。解出的一个显式曲面为

$$X(r,\theta )=(ar\cos \theta ,ar\sin \theta ,cr),n=(-c\cos \theta ,-c\sin \theta ,a).$$

逐项偏导验证 $F_r=F{A}_r,F_{\theta }=F{A}_{\theta }$ 及上述初值，也直接给出 $X_r^2=1,X_{\theta }^2=a^2{r}^2,X_r\cdot X_{\theta }=0$ 和 $X_{\theta \theta }\cdot n=acr$。所以实现及唯一性都已对上输入。

把第二形式改成 $(12/25)r^{2}d{\theta }^2$ 时，Gauss 残差仍为零，但第二条 Codazzi 残差为

$$\frac{24}{25}r-\frac{12r^2/25}{r}=\frac{12}{25}r\ne 0.$$

在 $r>0$ 的任何开片都不能实现；“只改一个幂次”已破坏相容性。

答案四：扇形证书与外在弯曲 ​

限制 $0<\theta <2\pi$，取

$$D(r,\theta )=(r\cos \frac{3\theta }{5},r\sin \frac{3\theta }{5}).$$

它满足 $D_r\cdot D_r=1,D_r\cdot D_{\theta }=0,D_{\theta }\cdot D_{\theta }=9r^2/25$，故与原曲面具有同一第一形式。Jacobian 行列式为 $3r/5>0$，展开局部可逆；角度范围长度 $6\pi /5<2\pi$，在这张切开的片上也单射。

半径为 $r$ 的扇形外弧长为 $6\pi r/5$，等于圆锥水平圆半径 $3r/5$ 的周长。扇形角度为 $6\pi /5={216}^{\circ }$，两条边各长 $r$。图见零曲率的平面展开理路零高斯曲率与平面展开坐标Flat metric developing map · Zero Gaussian curvature and local flatness · 零曲率的局部平坦性从任意光滑二维度量构造正交余标架，旋去闭联络后积分出平面坐标，证明K恒零的充分性并区分单点、单值与单射。。

原曲面形算子为

$${\mathsf{g}}^{-1}\mathsf{b}=\mathrm{diag}(0,\frac{4}{3r}),$$

所以它外在弯曲非零。展开平面则 $S=0$。被保持的是度量、路径长度和面内角度，不是环境法向的变化。$r=0$ 处的锥尖不在正则域内，不能用展开图把它伪装成普通内点。

答案五：两张直纹面，一张可展一张不可展 ​

给定螺旋线单位速，$\kappa =\tau =1/2$。$Y_s=T+(v/2)N,Y_v=T$，所以 $Y_s\times Y_v=-(v/2)B$，正则域为 $v\ne 0$。在 $v>0$ 上取 $n=-B$，得到

$${\mathsf{g}}_Y=\left(\begin{array}{cc}1+v^2/4& 1\\ 1& 1\end{array}\right),{\mathsf{b}}_Y=\left(\begin{array}{cc}-v/4& 0\\ 0& 0\end{array}\right).$$

度量行列式为 $v^2/4$；形算子行列式为零，迹为 $-1/v$，故主曲率为 $0,-1/v$。母线上 $s$ 固定、$n=-B(s)$ 固定，因此确是可展直纹片。

取 $c(s)=(2\cos \left(s/2\right),2\sin \left(s/2\right))$，令 $D=c+v{c}^{\prime }$。$c^{\prime }$ 单位、$c^{″}$ 长度 $1/2$ 且垂直于 $c^{\prime }$，所以 $D$ 的第一形式同样为 ${\mathsf{g}}_Y$。其 Jacobian 为 $-v/2$，在 $v>0$ 上提供局部平面展开。$v=0$ 时两个偏导都等于曲线切向，秩降为一，故原曲线不能计作这张参数曲面的正则部分。

另一方面，$Z$ 的直纹数据是 $a(u)=(0,0,u)$、$d(u)=(\cos u,\sin u,0)$。三重积 $\det (a^{\prime },d,d^{\prime })=1$，面积因子平方 $W^2=1+v^2$，所以

$$K_Z=-\frac{1}{(1+v^2{)}^2}.$$

它有直线母线，却没有恒定的母线法向，不能局部等距展开。完整证明与分类条件见可展直纹曲面理路可展直纹曲面与零曲率分类Developable ruled surfaces · Nullity rulings of flat surfaces · 圆柱面圆锥面与切线可展面用三重积判定直纹曲面是否可展，以Codazzi证明非平面零曲率片必有直线母线，再精确区分柱面、锥面、切线面及秩变化边界。。

答案六：两种“直”与两种挠率 ​

圆柱螺旋线速率 $\sqrt{5}$，在 $(e_{\theta },e_z)$ 中

$$T=(2e_{\theta }+e_z)/\sqrt{5},Q=(2e_z-e_{\theta })/\sqrt{5}.$$

由 $S{e}_{\theta }=-e_{\theta }/2,S{e}_z=0$，

$$k_g=0,k_n=-\frac{2}{5},{\tau }_g=⟨ST,Q⟩=\frac{1}{5}.$$

空间曲率 $\kappa =2/5$、Frenet 挠率 $\tau =1/5$。因为 $n=-N$，两副架相差常角 $\pi$，故 ${\tau }_g=\tau$。它是测地线，因为 $k_g=0$；它不是曲率线，因为 ${\tau }_g\ne 0$。这两个条件分别问面内转弯与法向扭转。

以弧长 $s$ 重参数后，法向直纹面 $Z(s,t)=\gamma (s)+tn(s)$ 在 $t=0$ 处曲率为

$$K_Z(s,0)=-{\tau }_g^2=-\frac{1}{25}.$$

它不因原来承载曲线的圆柱 $K=0$ 而变得可展。

迁移到 $z=2xy$ 上的 $\gamma (s)=(s,0,0)$，有

$$T=(1,0,0),n=\frac{(0,-2s,1)}{\sqrt{1+4s^2}},Q=\frac{(0,1,2s)}{\sqrt{1+4s^2}}.$$

因此 $k_g=k_n=0$，却有 ${\tau }_g=2/(1+4s^2)$。空间曲率为零，经典 Frenet $N,B,\tau$ 没有定义；Darboux 架与其三项系数仍光滑。见完整标架及等角交线判据理路Darboux 标架与测地挠率Darboux frame equations · Geodesic torsion · Joachimsthal constant-angle theorem补全曲面上曲线的三支Darboux标架方程，用测地挠率认证主方向、比较Frenet挠率，并判定等角交线与法向直纹面。。

答案七：局部相容以后的三项全局检查 ​

实际圆锥 $X(r,\theta )$ 与其法向对 $\theta$ 都有 $2\pi$ 周期，位置和标架均返回，故实际两形式在整圈上单值实现为去尖点圆锥。

同一度量改配 $II=0$ 时，局部重建必须落在平面，并与第四问的 $D$ 相差平面刚体运动。绕原圆锥一圈，展开的角度增加 $6\pi /5$，标架未返回。因此这组指定两形式不能在整圈上单值实现；不能借实际圆锥的存在掩盖第二形式已经改变。

对 $I=(dr/r{)}^2+d{\theta }^2,II=0$，局部平面解是 $(\log r,\theta )$，其平行架不转，但位置一圈增加 $(0,2\pi )$。所以标架周期通过，位置周期失败。

即使域单连通，两种周期都消除后，仍须另外检查单射。例如 $U={\mathbb{R}}^2$、$I=e^{2u}(d{u}^2+d{v}^2)$ 的展开 $D=(e^u\cos v,e^u\sin v)$ 处处局部可逆，却每隔 $2\pi$ 重复。依次检查的是局部相容、全域单值、全域单射，后一项不能由前一项替代。

答案八：一般输入的完整证明清单 ​

对一般数据构造 $A_u,A_v$；Gauss–Codazzi 等价于

$${\partial }_u{A}_v-{\partial }_v{A}_u+[A_u,A_v]=0.$$

在矩形上先沿基线解 $F_u=F{A}_u$，再沿竖线解 $F_v=F{A}_v$。定义 $E=F_u-F{A}_u$，直接求导得 $E_v=E{A}_v$，基线上 $E=0$，所以 $E\equiv 0$。这是两变量积分真正相容的证据。

接着，$F^{T}F$ 与 $H=\mathrm{diag}(\mathsf{g},1)$ 都满足 $G_i=A_i^{T}G+G{A}_i$ 且初值相同，故相等。前两列 $V_1,V_2$ 因而独立，第三列为正向单位法向。Christoffel 的下标对称及 $b_{12}=b_{21}$ 使 ${\partial }_v{V}_1={\partial }_u{V}_2$，于是闭一形式 $V_{1}du+V_{2}dv$ 能积分成 $X$，并得到 $X_{ij}\cdot n=b_{ij}$。

小矩形内路径可替换而不改终值；单连通域上的任意端点固定同伦可细分成这些局部替换，因此标架和位置都与路径无关。固定初值后由 ODE 唯一性得唯一解；更换正向初始架和位置只引入一个保向刚体运动。这里证明了全域浸入，没有证明全域嵌入。

最后，$K=0,S\ne 0$ 的开片上取单位核场 $E$ 与另一单位主场 $Q$，$SQ=\lambda Q,\lambda \ne 0$。Codazzi 的 $(E,Q)$ 方程与 $E$ 点积给 ${\mathrm{\nabla }}_{E}E=0$；又 $II(E,E)=0$，故空间加速度 $D_{E}E=0$，核曲线为直线。直纹表示中若 $d^{\prime }\equiv 0$ 则是柱面；若 $d^{\prime }\ne 0$，移准线到 $r=a-\beta d$ 后有 $r^{\prime }=\lambda d$，在 $\lambda \equiv 0$ 的开区间为锥面，在 $\lambda \ne 0$ 的开区间为正则切线面。零值转换点与形算子秩改变点必须保留，不能声称所有例外只有有限个或测度零。

这些证据使不同输入都有明确出口：残差不零则拒绝，残差为零则构造，曲率恒零则展开，要求母线则再检验形算子，要求全局裁片则再检验周期与单射。

主要来源 ​

• Peter Petersen，Classical Differential Geometry，§§5.1、5.4–5.5、6.3：曲线适配标架、可展分类与两形式重建
• Theodore Shifrin，Differential Geometry，April 2021，Ch. 2 §3、Ch. 3 §3：相容方程、核母线与正交标架
• Ciarlet、Gratie、Mardare，“New compatibility conditions for the fundamental theorem of surface theory”，2007：单连通全域浸入的准确范围