曲面的等温参数与共形参数化
-
从曲面的参数表示出发
一个曲面 \(S\) 可以由参数方程描述:\(\mathbf{r}(u,v) = (x(u,v), y(u,v), z(u,v))\),其中 \((u,v)\) 属于某个平面区域。其第一基本形式为 \(ds^2 = E\,du^2 + 2F\,du\,dv + G\,dv^2\),其中 \(E = \mathbf{r}_u \cdot \mathbf{r}_u, \, F = \mathbf{r}_u \cdot \mathbf{r}_v, \, G = \mathbf{r}_v \cdot \mathbf{r}_v\)。这是我们描述曲面上长度、角度等内蕴几何的基础。 -
共形参数化的核心思想
如果存在新的参数 \((\tilde{u}, \tilde{v})\),使得曲面的第一基本形式变为 \(ds^2 = \lambda(\tilde{u}, \tilde{v})(d\tilde{u}^2 + d\tilde{v}^2)\),其中 \(\lambda > 0\) 是某个正函数,则称 \((\tilde{u}, \tilde{v})\) 为曲面的等温参数(isothermal parameters)或共形参数(conformal parameters)。此时,第一基本形式与平面的标准欧氏度量 \(du^2 + dv^2\) 只差一个标量因子 \(\lambda\)。 -
为什么叫“共形”参数化?
因为在这种参数下,参数坐标网 \((\tilde{u}, \tilde{v})\) 是正交的(因为 \(F=0\)),并且是保角的(conformal):曲面上任意两条曲线之间的夹角,等于它们在参数平面 \((\tilde{u}, \tilde{v})\) 上对应曲线之间的夹角。也就是说,参数化映射 \((\tilde{u}, \tilde{v}) \mapsto \mathbf{r}(\tilde{u}, \tilde{v})\) 是一个共形映射(保角映射)。它将参数平面上的无穷小圆映射为曲面上的无穷小圆(可能被拉伸,但保持形状)。 -
等温参数的存在性
一个重要定理是:任何足够光滑(至少 \(C^1\))的曲面,在其上任意点的某个邻域内,总存在等温参数。对于可定向的紧致曲面(如球面、环面),其整体上也可以存在等温参数化(可能需要除去有限个点,例如在球面上使用球极投影)。这个存在性证明通常需要借助解一个椭圆型偏微分方程(如 Beltrami 方程)。 -
如何寻找等温参数?一个关键方程
假设我们有原始参数 \((u,v)\),想找到新参数 \((x,y)\) 使得 \(ds^2 = \lambda(x,y)(dx^2 + dy^2)\)。这等价于要求新参数满足 Beltrami 方程。设 \(z = u + iv\), \(w = x + iy\),则参数变换 \(w = f(z)\) 需要满足:
\[ \frac{\partial w}{\partial \bar{z}} = \mu(z) \frac{\partial w}{\partial z} \]
其中 \(\mu\) 是一个与原始第一基本形式系数 \(E, F, G\) 有关的复函数(称为 Beltrami 系数),且 \(|\mu| < 1\)。当 \(\mu = 0\) 时,方程退化为柯西-黎曼方程,此时 \(f\) 是解析函数,变换是共形的。对于一般的曲面,\(\mu \neq 0\),求解此方程得到的解 \(w\) 就能给出等温参数。
-
等温参数的几何意义与好处
- 简化计算:在等温参数下,第一基本形式非常简单,许多微分几何公式会大大简化。例如,高斯曲率公式变为 \(K = -\frac{1}{2\lambda} \Delta (\ln \lambda)\),其中 \(\Delta = \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2}\) 是平面拉普拉斯算子。
- 连接分析与几何:它允许我们使用复分析的工具研究曲面。此时,参数域可视为复平面上的区域,曲面的坐标函数是调和函数或满足某些椭圆方程的函数。
- 在极小曲面中的应用:如果一个曲面是极小曲面(平均曲率 \(H=0\)),那么在它的等温参数下,其坐标函数 \(x, y, z\) 都是调和函数。进一步,如果引入三个复函数 \(\phi_k = \frac{\partial x_k}{\partial w}\) (其中 \(w = x+iy\) 是等温参数),它们满足一个简单的二次条件,这构成了极小曲面魏尔斯特拉斯表示的基础,是研究极小曲面的核心工具。
-
一个经典例子:球面的球极投影
考虑单位球面 \(x^2+y^2+z^2=1\)。从北极点 \((0,0,1)\) 投影到平面 \(z=0\)。平面坐标 \((u,v)\) 与球面点 \((x,y,z)\) 的关系为:\((x,y,z) = \left( \frac{2u}{1+u^2+v^2}, \frac{2v}{1+u^2+v^2}, \frac{-1+u^2+v^2}{1+u^2+v^2} \right)\)。计算其第一基本形式可得 \(ds^2 = \frac{4(du^2+dv^2)}{(1+u^2+v^2)^2}\)。这正是等温参数形式,其中 \(\lambda(u,v) = \frac{4}{(1+u^2+v^2)^2}\)。这证明了球极投影是共形映射。
总之,等温参数是描述曲面的一种特殊坐标系,它使得度量形式最简(对角且系数相等),从而揭示曲面内在的共形结构,是连接微分几何、复分析和偏微分方程的重要桥梁。