[論文レビュー] Discrete Polynomials and Discrete Holomorphic Approximation

Christian Mercat|ArXiv.org|Jun 24, 2002

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

ひとこと要約

本稿では、コンpactで単連結かつ平坦なリーマン面上の任意の正則関数が、 refining される臨界マップの系列における収束する離散正則関数の系列で近似可能であることを確立している。離散多項式および臨界点における積分を用いて、原始関数の収束を証明し、多項式の次数が増加しても、離散正則関数が $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.

研究の動機と目的

• コンパクトで単連結かつ平坦なリーマン面上の任意の正則関数が、 refining される臨界マップの系列における離散正則関数で近似可能であることを証明すること。
• 臨界性の下で、離散正則関数の離散原始関数の系列が連続原始関数に収束することを確立すること。
• 離散多項式を定義・分析し、メッシュサイズの細分化に伴う連続単項式 $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 コンパクトで単連結かつ平坦なリーマン面上の任意の正則関数は、 refining される臨界マップの系列における離散正則関数で近似可能か？
• RQ2 離散正則関数の離散原始関数は細分化に伴いどのように振る舞い、連続原始関数に収束するか？
• RQ3 メッシュサイズ $\delta \to 0$ のとき、離散単項式 $Z^{:k:}$ が $z^k$ に収束する速度は何か？また、誤差は $k$ に依存するか？
• RQ4 なぜ離散級数（特に離散指数関数）は、連続的対応物と比較して収束領域が制限されるのか？
• RQ5 微分、積の法則、級数展開において、離散的および連続的正則理論の主な相違点は何か？

主な発見

• コンパクトで単連結かつ平坦なリーマン面上の任意の正則関数は、 refining される臨界マップの系列における離散正則関数の系列で近似可能である。
• 離散正則関数の原始関数の系列は連続原始関数に収束し、関数列の収束が $O(\delta^2)$ の場合、収束率も $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)$ を満たさないため、連続的対応物とは根本的に異なる。