[论文解读] The Flat Plane and a Constructive Proof of Minding's Theorem

Vincent E. Coll, Lee Whitt|arXiv (Cornell University)|Jan 1, 2019

Advanced Numerical Analysis Techniques被引用 1

一句话总结

本文首次以构造性方法证明了平坦情形下的闵德定理，利用调和函数与复分析函数，明确展示了零曲率曲面之间的局部等距关系。主要贡献在于为微分几何中的一个基础性结果提供了非存在性、算法化的处理方法。

ABSTRACT

Minding's most celebrated result is his namesake theorem of 1839 which established that all surfaces having the same constant curvature must be locally isometric. Today, Minding's theorem is a staple in differential geometry textbooks. But, to the best of our knowledge, all published proofs of it, inclusive of Minding's original argument are existential in nature. In this note, we give a constructive proof of Minding's theorem in the flat case. The proof requires only some basic facts about harmonic functions and complex analytic functions.

研究动机与目标

• 解决平坦情形下闵德定理长期缺乏构造性证明的问题。
• 提供常曲率为零的曲面之间局部等距关系的非存在性、显式构造。
• 证明调和分析与复分析的基本工具足以实现构造性证明。
• 为微分几何中一个经典结果提供一种新颖且易于理解的处理方法。

提出的方法

• 利用单连通区域上调和函数的性质，构造局部等距关系。
• 应用复分析技术，特别是局部全纯坐标存在的性质，对平坦曲面进行参数化。
• 通过调和共轭构造共形参数化，以确保等距性。
• 通过构造的参数化证明第一基本形式退化为欧氏度量，从而确立局部等距关系。
• 利用平坦曲面可局部具有等温坐标这一事实，简化度量结构。
• 利用单连通黎曼曲面的统一化定理，证明此类坐标存在的合理性。

实验结果

研究问题

• RQ1 平坦曲面的闵德定理能否以构造性而非存在性方式证明？
• RQ2 哪些分析工具足以显式构造平坦曲面之间的局部等距关系？
• RQ3 如何利用调和函数与复分析函数实现等距映射？
• RQ4 在平坦情形下闵德定理的证明中，是否可以避免使用非构造性存在性论证？

主要发现

• 仅使用调和函数与复分析函数，成功实现了平坦曲面闵德定理的构造性证明。
• 通过调和共轭的共形参数化，显式构造了局部等距关系。
• 该方法通过直接从局部坐标构建等距映射，避免了存在性论证。
• 证明表明平坦曲面可具有实现等距关系的典范等温参数化。
• 该构造表明平坦曲面可通过基于显式函数的映射，局部等距于欧氏平面。