[論文レビュー] Hermite-Padé approximation for certain systems of meromorphic functions

U. Fidalgo Prieto, G. López Lagomasino+1 more|arXiv (Cornell University)|Oct 25, 2013

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

ひとこと要約

本稿では、ニキシン系の有理関数による変形として構成されたメロモーフィック関数系に対する第I型および第II型ヘルメート・パデ近似の収束性と零点分布を確立する。近似多項式の漸近的挙動を分析することにより、近似の零点が基本的な測度の台に集積し、有理関数の極に引きつけられることを証明しており、古典的なマークフ・型定理を多次元的メロモーフィック設定へと拡張している。

ABSTRACT

We study the convergence of sequences of type I and type II Hermite-Padé approximants for certain systems of meromorphic functions made up of rational modifications of Nikishin systems of functions.

研究の動機と目的

• メロモーフィック関数系に対する第I型および第II型ヘリテル・パデ近似の収束性と零点分布を調査すること。
• パデ近似に関する古典的なマークフおよびスタイエリッツの定理を、ニキシン系の有理関数による変形を含む系へと拡張すること。
• 多重インデックス収束規則下での近似多項式の漸近的挙動を分析すること。
• 近似の零点が測度の台に集積し、有理関数の極に引きつけられるような条件を確立すること。

提案手法

• 形式的ローレンツ級数展開とzの降べきの多項式補間条件を用いて定義される第I型および第II型ヘルメート・パデ近似を用いる。
• コンパクト集合上で多項式比の収束とコーシーの積分定理を用いて、近似多項式の零点分布の漸近的性質を分析する。
• 多重インデックスの列を構成し、矛盾による背理法を用いて、測度の台から離れた区間における誤った零点集積を除外する。
• 主な要素として、測度のコーシー変換、ニキシン系の有理関数摂動、零点の位置を制御する補助多項式の構成を含む。
• 近似の正則性および収束性を保証するため、関数空間H(C\Δ)の使用を組み込む。
• ゴンチャールおよびラフマノフの研究から得られる既知の直交多項式および比の漸近的性質を応用し、極限における収束を導出する。

実験結果

リサーチクエスチョン

• RQ1 メロモーフィック関数系に対する第I型および第II型ヘルメート・パデ近似の零点は、どのように漸近的に振る舞うか？
• RQ2 複素平面上でヘルメート・パデ近似が元のメロモーフィック関数に収束するための条件は何か？
• RQ3 系に含まれる有理関数の極は、近似の零点分布にどのように影響を与えるか？
• RQ4 古典的なマークフ＝スタイエリッツ定理を、有理関数摂動を含む多次元系へと拡張できるか？
• RQ5 多重インデックス収束規則は、近似の極限挙動を決定づける役割を果たすか？

主な発見

• 第I型近似多項式a_{n,m}の零点はΔ_mに集積し、t_jの零点の重複度に等しい重複度でその零点に引きつけられることが示された。
• j ∈ {0,…,m−1}の各jについて、t_jの零点ζが重複度κを持つ場合、|n|→∞に沿う適切な多重インデックス列に沿って、a_{n,m}のちょうどκ個の零点がζに引きつけられる。
• 比a_{n,m}/a_{n,j}は、C\Δ_mのコンパクト部分集合上で、t_mの零点とt_jの零点にそれぞれ極と零点をもつメロモーフィック関数に一致して収束する。
• 第II型近似は、f = ŝ + rの形式的ローレンツ級数展開の意味で、元のメロモーフィック関数に収束し、誤差項はO(1/z^{n_j+1})のオーダーで減少する。
• 証明により、p_{n,0}t_0 + Σ p_{n,j}t_j ŝ_{1,j}の零点がΔ⊂R\Δ_1上に|n|−Dを超える数存在することは不可能であることが示され、過剰な集積の仮定に矛盾する。
• 近似の漸近的挙動は、測度の台、有理関数の極、および多重インデックスの構造の相乗的相互作用によって完全に特徴づけられる。