[论文解读] Discrete differential geometry. Consistency as integrability

Alexander I. Bobenko, Yuri B. Suris|arXiv (Cornell University)|Apr 18, 2005

Advanced Numerical Analysis Techniques参考文献 71被引用 48

一句话总结

本文通过证明离散可积系统的三维一致性蕴含可积性，为离散微分几何建立了基础框架，统一了经典曲面理论与可积系统。它表明离散全纯函数自然地源于可积圆图案的切空间，关键结果通过在四边形图上进行微分与积分，将离散全纯性与离散柯西-黎曼方程联系起来。

ABSTRACT

A new field of discrete differential geometry is presently emerging on the border between differential and discrete geometry. Whereas classical differential geometry investigates smooth geometric shapes (such as surfaces), and discrete geometry studies geometric shapes with finite number of elements (such as polyhedra), the discrete differential geometry aims at the development of discrete equivalents of notions and methods of smooth surface theory. Current interest in this field derives not only from its importance in pure mathematics but also from its relevance for other fields like computer graphics. Recent progress in discrete differential geometry has lead, somewhat unexpectedly, to a better understanding of some fundamental structures lying in the basis of the classical differential geometry and of the theory of integrable systems. The goal of this book is to give a systematic presentation of current achievements in this field.

研究动机与目标

• 通过离散几何在经典微分几何与可积系统之间建立概念性桥梁。
• 通过将三维一致性识别为统一原则，解决可积性定义长期存在的模糊性。
• 表明离散全纯函数自然地源自可积圆图案的切空间。
• 提供经典柯西-黎曼方程的离散类比，并将其与广田系统和交比系统关联。
• 通过离散全纯函数实现可积圆图案的线性化，包括对数函数与幂函数。

提出的方法

• 使用三维一致性作为几何原理，推导零曲率表示与巴克伦德-达布克斯变换。
• 在四边形图上应用离散复分析，特别是使用M-变换及离散指数与对数函数。
• 通过四边形图顶点集上的离散柯西-黎曼方程（5.16）引入离散全纯函数。
• 依赖交比系统（6.9）与广田系统（6.11）来建模具有菱形嵌入的可积圆图案。
• 通过单参数解族的微分，推导解空间的切向量，建立 $ g = dz/d heta $ 与 $ f = w^{-1}dw/d heta $ 的联系。
• 建立广田系统与交比系统解之间的离散微分/反微分对应关系。

实验结果

研究问题

• RQ1 在离散系统中，三维一致性如何作为离散微分几何中可积性的统一原则？
• RQ2 在可积圆图案的背景下，离散全纯函数的几何与代数作用是什么？
• RQ3 离散全纯函数如何从可积交比系统的解空间的切空间中自然出现？
• RQ4 离散全纯函数与四边形图上的离散柯西-黎曼方程之间存在何种关系？
• RQ5 可积圆图案（如 $ z^{a} $, $ \log z $）的线性化如何通过离散全纯性实现？

主要发现

• 在菱形嵌入处，可积交比系统解空间的切空间恰好由相应四边形图上的离散全纯函数构成。
• 离散全纯函数 $ f $ 与 $ g $ 通过离散导数关系 $ g(y) - g(x) = (f(x) + f(y))(p(y) - p(x)) $ 相关联，该关系确保二者均满足离散柯西-黎曼方程。
• 离散对数函数 $ \ell $ 是 $ w^{2a-1} $ 圆图案在 $ a = 1/2 $ 处的导数，确认其在可积图案空间中作为切向量的角色。
• 广田系统与交比系统的解通过离散积分与微分相关联，且 $ f $ 与 $ g $ 的离散全纯性在此对应关系下保持不变。
• 对于等半径圆图案，切空间由在白色顶点上为实数、在黑色顶点上为纯虚数的离散全纯函数构成。
• 通过离散全纯函数实现了等单值圆图案（如 $ z^{2a} $）的线性化，其中离散对数作为在 $ a = 1/2 $ 处的导数出现。