[论文解读] Discrete analytic functions on non-uniform lattices without global geometric control

Brent M. Werness|arXiv (Cornell University)|Nov 4, 2015

Stochastic processes and statistical mechanics参考文献 29被引用 4

一句话总结

本论文在仅依赖局部几何控制的条件下，建立了非均匀四边形格点上离散调和函数向其连续对应物的收敛性——具体而言，仅需保证所有面的内角和边长与对角线长度之比一致有界，无需全局密度或正则性约束。关键结果证明了在有界单连通区域上，离散Dirichlet问题的解一致收敛于连续解。

ABSTRACT

Recent advances in the study of conformally invariant discrete random processes have lead to increasing interest in the study of discrete analogues to holomorphic functions. Of particular interest are results which provide conditions under which these discrete functions can be shown to converge to continuum versions as the lattice spacing shrinks to zero. Recent work by Skopenkov has extended these results to include a wide class of non-uniform quadrilateral lattices with a pair of regularity conditions, one local and one global. Such a result is sufficient for the study of random processes on deterministic lattices, however to establish convergence results for conformally invariant random processes on random triangulations, such a global regularity condition cannot be assumed. In this paper we provide a convergence result on quadrilateral lattices upon which we enforce only a local condition on the geometry of each face.

研究动机与目标

• 解决离散解析函数收敛结果向缺乏全局几何控制的格点（特别是随机平面图）扩展的开放问题。
• 通过放宽Skopenkov先前工作中对全局正则性的要求（即要求在整个格点上对顶点密度和面几何保持一致控制），实现条件的松弛。
• 为统计物理模型中出现的高度不规则、非均匀格点上的离散调和函数与全纯函数的收敛性提供一个理论框架。
• 通过去除限制性的全局假设，使对随机三角剖分和平面图上共形不变随机过程的严格分析成为可能。
• 在仅需最小化、局部几何约束的前提下，建立一个稳健的收敛定理，适用于概率论与共形场论中的应用。

提出的方法

• 定义正交四边形格点，其中对角线在交点处正交，且每个面的内角和边长与对角线长度之比一致有界。
• 通过将相邻四边形组合成边长与最大面直径 $ M(Q_n) $ 的平方根成比例的矩形，构造一个中间矩形格点。
• 通过取中间格点中每个矩形内 $ u $ 的最大值，定义连续调和函数 $ u $ 的离散逼近 $ ilde{u}_n $。
• 利用能量估计和离散拉普拉斯算子比较，通过测试函数 $ v $ 的光滑性，控制离散与连续拉普拉斯算子作用之间的差异。
• 通过基于能量和面大小的对数模连续性估计，证明离散调和函数 $ u_n $ 的等度连续性，进而应用Arzelà-Ascoli定理。
• 通过证明 $ u_n $ 的任意子列均收敛于同一连续调和极限，从而建立一致收敛性，进而推出整个序列的收敛。

实验结果

研究问题

• RQ1 能否在不依赖格点全局几何控制的条件下，建立离散调和函数向其连续对应物的收敛性？
• RQ2 四边形格点的何种最小局部几何条件可确保离散Dirichlet问题解的收敛性？
• RQ3 此类收敛结果能否应用于具有高度不规则、非均匀嵌入的随机平面图？
• RQ4 缺乏全局正则性对离散解析函数收敛速度与稳定性有何影响？
• RQ5 在离散复分析中，局部几何控制在多大程度上可替代全局密度与正则性假设？

主要发现

• 在一系列 $ K $-正则正交四边形格点上，离散Dirichlet问题的解 $ u_n $ 一致收敛于区域 $ \bar{\nabla} $ 上连续Dirichlet问题的解 $ u $。
• 收敛性仅需局部控制：所有面的内角和边长与对角线长度之比一致有界，无需全局顶点密度控制。
• 通过能量估计和对数模连续性，建立了 $ u_n $ 的等度连续性，确保其在连续函数空间中的预紧性。
• 离散能量 $ E_{Q_n}(u_n) $ 被连续能量 $ E_V(g) $ 一致控制，支持通过Arzelà-Ascoli定理实现收敛。
• 收敛速度为 $ O(M(Q_n)^{1/2}) $，其中 $ M(Q_n) $ 为格点中任意面的最大直径，表明当 $ M(Q_n) \to 0 $ 时收敛成立。
• 极限函数 $ u $ 在 $ \Omega $ 内调和，且在 $ \partial\Omega $ 上与边界值 $ g $ 匹配，确认其为唯一的连续调和延拓。