[论文解读] Discrete Polynomials and Discrete Holomorphic Approximation

Christian Mercat|ArXiv.org|Jun 24, 2002

Advanced Mathematical Theories and Applications参考文献 4被引用 11

一句话总结

该论文证明，任何在紧致、单连通、平坦的黎曼曲面上的全纯函数，均可通过在一系列细化的临界映射上定义的离散全纯函数序列进行逼近。通过离散多项式与临界点处的积分，作者证明了原函数的收敛性，并表明即使在多项式次数增加时，离散全纯函数仍以 $O(\delta^2)$ 的误差收敛于其连续对应物。

ABSTRACT

We use discrete holomorphic polynomials to prove that, given a refining sequence of critical maps of a Riemann surface, any holomorphic function can be approximated by a converging sequence of discrete holomorphic functions.

研究动机与目标

• 证明任何在紧致、单连通、平坦的黎曼曲面上的全纯函数，均可通过在一系列细化的临界映射上定义的离散全纯函数序列进行逼近。
• 建立离散全纯函数的原函数在临界性条件下的收敛性，使其收敛于连续原函数。
• 定义并分析离散多项式，及其在细化过程下的收敛性，收敛于连续单项式 $z^k$。
• 研究离散级数（特别是离散指数函数）的行为及其在细化过程下的收敛性质。
• 阐明离散与连续全纯理论之间的差异，特别是在级数展开与微分法则方面。

提出的方法

• 通过在黎曼曲面的四边形剖分上定义离散柯西-黎曼方程，来定义离散全纯函数。
• 使用临界映射，其中离散共形结构与具有锥形奇点的固定平坦度量相匹配，从而通过菱形实现等距实现。
• 通过边与面的平均定义离散积分，原函数通过分段线性与调和延拓构造。
• 引入离散多项式 $Z^{:k:}$ 作为 $z^k$ 的离散类比，其系数通过连续离散微分计算。
• 通过将误差分解为局部与全局两部分，证明离散原函数的收敛性，表明在函数序列以 $O(\delta^2)$ 速度收敛的条件下，原函数也以 $O(\delta^2)$ 速度收敛。
• 通过乘积公式定义离散指数 $\mathrm{Exp}({:}\lambda{:}Z)$，并证明当 $|\lambda| < 2/\delta$ 时，其收敛于 $\exp(\lambda z)$，误差为 $O(\delta^2)$。

实验结果

研究问题

• RQ1 任何在紧致、单连通、平坦的黎曼曲面上的全纯函数，是否都能通过在一系列细化的临界映射上定义的离散全纯函数序列进行逼近？
• RQ2 在细化过程中，离散全纯函数的原函数行为如何？它们是否收敛于连续原函数？
• RQ3 当网格尺寸 $\delta \to 0$ 时，离散单项式 $Z^{:k:}$ 收敛于 $z^k$ 的收敛速率是多少？误差如何依赖于 $k$？
• RQ4 为何离散级数（如离散指数函数）的收敛域相较于其连续对应物受到限制？
• RQ5 离散与连续全纯理论之间存在哪些关键差异，特别是在微分法则、乘积法则与级数展开方面？

主要发现

• 任何在紧致、单连通、平坦的黎曼曲面上的全纯函数，均可通过在一系列细化的临界映射上定义的离散全纯函数序列进行逼近。
• 离散全纯函数的原函数序列收敛于连续原函数，且若函数序列以 $O(\delta^2)$ 速度收敛，则该收敛速率得以保持。
• 离散多项式 $Z^{:k:}$ 收敛于 $z^k$，误差受 $\lambda_k |x|^{k-2} \delta^2$ 控制，其中 $\lambda_k$ 随 $k$ 指数增长，表明高次多项式收敛更慢。
• 在距原点固定距离处，$x = \delta e^{i\theta}$ 时，$Z^{:k:}(x)$ 的增长为 $\frac{k!}{2^{k-1}} x^k$，随 $k$ 发散，表明离散单项式在无穷远处不趋于零。
• 离散指数 $\mathrm{Exp}({:}\lambda{:}Z)$ 仅在 $|\lambda| < 2/\delta$ 时绝对收敛，且在此条件下满足 $\mathrm{Exp}({:}\lambda{:}Z) = \exp(\lambda z) + O(\delta^2)$。
• 离散指数不满足标准指数恒等式 $\mathrm{Exp}({:}\lambda{:}Z) \cdot \mathrm{Exp}({:}\mu{:}Z) = \mathrm{Exp}({:}\lambda+\mu{:}Z)$，表明其与连续情形存在根本性差异。