36、从连通平面域到曲面的光滑等距映射表示

从连通平面域到曲面的光滑等距映射表示

1. 引言

在三维点空间中，三维刚体的等距嵌入表示简单且广为人知。然而，对于二维欧几里得点空间 $E^2$ 的任意开放连通子集 $D$ 到三维点空间 $E^3$ 的等距嵌入，现有文献中却没有类似的表示。本文针对三次连续可微嵌入的情况，建立了这样的表示。这一工作有助于确定在切平面上“刚性”的材料表面的所有可能形状，与确定不可拉伸的丝带或带子形状的问题直接相关。

在阐述主要结果之前，先介绍一些必要的符号：
- $V^2$ 和 $V^3$ 分别是与 $E^2$ 和 $E^3$ 对应的向量空间。
- $U^2$ 和 $U^3$ 分别是 $V^2$ 和 $V^3$ 中所有单位向量组成的子集。
- 向量 $e$ 和 $f$ 在 $V^2$ 中的并矢积 $e \otimes f$ 是 $V^2$ 到自身的线性变换。
- 向量 $u$ 在 $V^3$ 中，向量 $v$ 在 $V^2$ 中的并矢积 $u \otimes v$ 是 $V^2$ 到 $V^3$ 的线性变换。

定理

一个从二维欧几里得点空间 $E^2$ 的开放连通子集 $D$ 到三维欧几里得点空间 $E^3$ 的三次连续可微映射 $r$ 是等距的，当且仅当在 $E^3$ 中存在一条足够光滑的曲线 $C$，其单位速度参数化为 $f$，使得对于 $D$ 中的每个点 $x$，有：
[r(x) = f (u(x)) + v(x) \left( \cos\varphi(u(x))p(u(x)) + \sin\varphi(u(x))b(u(x)) \right)]
其中：
- (p = \frac{t’}{|t’|}