[論文レビュー] 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

ひとこと要約

本稿は、グローバルな密度や正則性制約を要しない非一様四角形格子において、離散調和関数がその連続的対応物へ収束することを、局所的な幾何的制御（一様に有界な角および辺対対角線比）のもとで確立する。主な結果は、有界かつ単純連結領域における離散ディリクレ問題の解が、連続解へ一様収束することを示している。

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.

研究の動機と目的

• ランダム平面マップなどのグローバルな幾何的制御の欠片もない格子へ、離散解析関数の収束結果を拡張するという未解決問題に取り組む。
• スコペンコフの先行研究で要請されていた、格子全体にわたる頂点密度および面の幾何的制御を必要とするグローバル正則性条件を緩和する。
• 統計物理学のモデルに現れる極めて不規則で非一様な格子上での離散調和関数および正則関数の収束を示すフレームワークを提供する。
• 制限的なグローバル仮定を排除することで、ランダム三角形分割や平面マップ上での自己相反性を示す確率過程の厳密な解析を可能にする。
• 確率論および共形場理論への応用に適した、最小限の局所的幾何的制約のもとで強固な収束定理を確立する。

提案手法

• 各面の対角線が直交し、すべての面で角および辺対対角線長さ比が一様に有界である直交四角形格子を定義する。
• 隣接する四角形を、最大面径 $ M(Q_n) $ の平方根に比例する辺長の長方形にグループ化することで中間的な長方形格子を構成する。
• 中間格子の各長方形上で $ u $ の最大値をとることで、連続調和関数 $ u $ の離散近似 $ ilde{u}_n $ を定義する。
• 滑らかさを持つテスト関数 $ v $ を用いて、エネルギー推定と離散ラプラシアンの比較により、離散的および連続的ラプラシアン作用の差を評価する。
• エネルギーと面のサイズに基づく対数的モジュラス連続性推定を用いて、離散調和関数 $ u_n $ の同調連続性を示し、Arzelà-Ascoli定理を適用する。
• 任意の部分列が同じ連続的調和極限へ収束することを示すことにより、一様収束を確立する。これにより、全列の収束が示される。

実験結果

リサーチクエスチョン

• RQ1 格子のグローバルな幾何的制御がなくても、離散調和関数がその連続的類似物へ収束するか？
• RQ2 四角形格子に対して、解の離散ディリクレ問題への収束を保証する最小限の局所的幾何的条件は何か？
• RQ3 このような収束結果は、極めて不規則で非一様な埋め込みを持つランダム平面マップへ応用可能か？
• RQ4 グローバル正則性の欠如が、離散解析関数の収束速度および安定性に与える影響はいかほどか？
• RQ5 離散複素解析において、局所的幾何的制御がグローバル密度および正則性仮定をどの程度代替できるか？

主な発見

• 解 $ u_n $ が $ K $-ラウンド直交四角形格子上で定義された離散ディリクレ問題の解は、領域 $ \bar{\nabla} $ における連続ディリクレ問題の解 $ u $ へ一様収束する。
• 収束は、グローバルな頂点密度制御を要せず、すべての面で角および辺対対角線長さ比が一様に有界であるという局所的制御のみで成立する。
• $ u_n $ の同調連続性は、エネルギーに基づく推定と対数的モジュラス連続性を用いて確立され、連続関数空間における前コンパクト性を保証する。
• 離散エネルギー $ E_{Q_n}(u_n) $ は連続エネルギー $ E_V(g) $ によって一様に有界であり、Arzelà-Ascoli定理による収束を支持する。
• 収束速度は $ O(M(Q_n)^{1/2}) $ であり、$ M(Q_n) \to 0 $ のとき収束が成立することを示唆する。
• 極限関数 $ u $ は $ \Omega $ で調和的であり、境界値 $ g $ と $ \partial\Omega $ で一致する。これにより、解が一意な連続的調和拡張であることが確認される。