[論文レビュー] Exponentials form a basis of discrete holomorphic functions

Christian Mercat|ArXiv.org|Oct 8, 2002

Algebraic and Geometric Analysis参考文献 6被引用数 5

ひとこと要約

本稿では、組み合わせ的凸性を満たす臨界マップ上での離散的指数関数が、離散的正則関数の基底をなすことを証明している。非凸の場合への拡張は、特別な指数関数を用いることで行われる。離散的積分および微分作用素を用いて、離散的指数関数が連続的正則関数を模倣し、連続極限においてO(δ²)の精度でそれらに収束することを確立しており、離散複素解析における多項式基底の一般化である。

ABSTRACT

We show that discrete exponentials form a basis of discrete holomorphic functions. On a convex, the discrete polynomials form a basis as well.

研究の動機と目的

• 多項式の代わりに指数関数を用いることで、正則関数論の離散的類似を確立すること。
• 離散的指数関数が、組み合わせ的凸性を満たすマップ上での離散的正則関数空間を張ることを証明すること。
• 特別な指数関数を用いて、組み合わせ的凸性を満たさないマップに対しても基底構成を拡張すること。
• メッシュの細分化の下で、離散的指数関数が連続的正則関数に収束し、正則構造を保存することを示すこと。

提案手法

• 離散的積分および微分作用素の正規化を用いて、離散的指数関数を定義する。
• 菱形格子上での離散的コーシー・リーマン方程式を用いて、正則性を定義する。
• 指数関数の基底上で対角的に作用する微分作用素を導入し、正規化によって固有値を定める。
• 離散的指数関数の微分が、指数関数の線形結合に加え、有理関数fZ(λ)を含む補正項を持つことを証明する。
• 連続的の場合と同様の変換則を、指数関数の基点の変更に関して確立する。
• 細分化の下で、離散的指数関数が連続的指数関数exp(λz)にO(δ²)の誤差で収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 離散的指数関数は、凸性を満たす臨界マップ上での離散的正則関数空間の基底をなすか？
• RQ2 基底はどのように組み合わせ的凸性を満たさないマップへ拡張できるか？
• RQ3 離散的正則関数の文脈において、離散的指数関数と離散的多項式の関係は何か？
• RQ4 格子の細分化の下で、離散的指数関数は連続的正則関数をどのように近似するか？
• RQ5 離散的指数関数上に作用する微分作用素の構造は何か？また、固有値および正規化とどのように関係するか？

主な発見

• 離散的指数関数は、組み合わせ的凸性を満たす臨界マップ上での離散的正則関数の基底をなす。
• 組み合わせ的凸性を満たさないマップでは、特別な指数関数が標準基底を補完し、完全性を保つ。
• 離散的指数関数の微分は、λ倍の指数関数から、有理関数fZ(λ)を含む補正項fZ(λ)εを引いたものに等しい。
• 微分作用素の正規化を適切に選べば、指数関数基底において対角的になる。
• 細分化の下で、離散的指数関数は連続的指数関数exp(λz)にO(δ²)の誤差で収束する。
• 指数関数の基点の変更は、連続的の場合と同様の公式に従い、指数関数パラメータのスケーリングおよび平行移動を含む。