[論文レビュー] Zero Distribution of Hermite-Padé Polynomials and Convergence Properties of Hermite Approximants for Multivalued Analytic Functions

Nikolay Ikonomov, Ralitza Kovacheva+1 more|arXiv (Cornell University)|Mar 10, 2016

Mathematical functions and polynomials参考文献 31被引用数 3

ひとこと要約

本稿では、Hermite-Padé多項式を用いた数値実験に基づき、Laguerreクラス 𝒟 に属する多価正則関数に対するHermite近似の収束に関する2つの新しい予想を提示する。これらの多項式の零点分布が、外部場を伴う混合グリーン対数ポテンシャル平衡問題の解としての平衡測度に弱収束することを確立し、零点が膜および実数直線の線分上に集積することを示し、テストされたケースではFroissart二重項が存在しないことが判明し、収束の安定性を示唆している。

ABSTRACT

In the paper, we propose two new conjectures about the convergence of Hermite Approximants of multivalued analytic functions of Laguerre class ${\mathscr L}$. The conjectures are based in part on the numerical experiments, made recently by the authors in [26] and [27].

研究の動機と目的

• Laguerreクラス 𝒟 に属する多価正則関数に対するHermite近似の収束特性を調査すること。
• 関数 f ∈ 𝒟 に対して、三重 [1, f, f²] に関連するタイプI Hermite-Padé多項式の零点分布を理解すること。
• 平衡測度および膜が、Hermite近似の零点および極の漸近的分布に果たす役割を探索すること。
• Froissart二重項がHermite近似に存在しないという理論的および数値的証拠を確立し、収束の安定性を示唆すること。

提案手法

• 三重 [1, f, f²] に対して、次数 n のタイプI Hermite-Padé多項式 Q_{n,j} を、z → ∞ のとき R_n(z) = (Q_{n,0} + Q_{n,1}f + Q_{n,2}f²)(z) = O(1/z^{2n+2}) となる漸近的条件で定義する。
• 外部場を伴う混合グリーン対数ポテンシャル平衡問題の解として、零点の極限分布をポテンシャル論的手法でモデル化する。
• 高次多項式（例：n = 320）を用いた数値実験により、膜および実数直線の線分上での零点分布を可視化する。
• 膜がリーマン球面を単純接続または二重接続領域に分割する幾何的性質を分析し、平衡測度の零密度を示すChebotarëv点と関連付ける。
• 異なる f ∈ 𝒟 に対して、Q_{n,0}、Q_{n,1}、Q_{n,2} の零点分布を比較し、構造的差異とFroissart二重項の不在を検出する。
• ∑α_j = 0 かつ α_j ∉ ℤ を満たす ∏(z−a_j)^{α_j} の形のLaguerreクラス表現を用いて、研究対象の多価関数のクラスを定義する。

実験結果

リサーチクエスチョン

• RQ1 Laguerreクラス 𝒟 に属する関数に対するHermite近似は、解析接続の最大領域で元の正則関数に収束するか？
• RQ2 f ∈ 𝒟 に対して、n → ∞ のとき、タイプI Hermite-Padé多項式 Q_{n,j} の零点はどのように漸近的に分布するか？
• RQ3 リーマン球面上の膜が、Hermite-Padé多項式の零点分布および近似の収束に果たす役割は何か？
• RQ4 Laguerreクラスに属する関数に対して、Hermite-Padé多項式の零点分布にFroissart二重項が存在するか？その不在は収束に何を示唆するか？

主な発見

• Hermite-Padé多項式 Q_{n,j} の零点分布は、リーマン球面上の線分と膜の合併集合に台を持つ平衡測度に弱収束する。
• f(z) = ((z+2.5)/(z+1.3))^{1/3}((z+0.8)/(z−0.8))^{-1/3}((z−1.3)/(z−2.5))^{1/3} の場合、Q_{320,0}、Q_{320,1}、Q_{320,2} の零点は実数直線および3つの線分の補集合を2つの領域に分割する膜上に存在する。
• 膜が線分と交わる点は、平衡測度の零密度を示すChebotarëv点として特定され、ポテンシャル論的解の重要な幾何的特徴を示している。
• f(z) に 1/2 乗の指数を含むケースを含む、すべてのテストケースで Q_{n,j} の零点分布にFroissart二重項は観察されず、Hermite近似の収束が安定していることを示唆している。
• f(z) に 1/2 乗の指数を含むケースでは、Q_{n,1} の零点分布は Q_{n,0} および Q_{n,2} とは顕著に異なり、3つの多項式における漸近的挙動の差を示している。
• f(z) = ((z+2.5)/(z+1.3))^{1/3}((z+0.3)/(z−0.3))^{1/2}((z−1.3)/(z−2.5))^{1/3} の場合、膜はリーマン球面を1つの単純接続領域と1つの二重接続領域に分割し、零点はそれぞれ膜および実数直線の線分上に分布する。