[论文解读] 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

一句话总结

本文建立了对由Nikishin系统经有理函数修正后构造的亚纯函数系的I型与II型Hermite-Padé逼近的收敛性及零点分布。通过分析逼近多项式的渐近行为，证明了逼近零点聚集于底层测度的支集上，并被吸引至有理函数的极点，将经典Markov型定理推广至多变量亚纯情形。

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型Hermite-Padé逼近的收敛性与零点分布。
• 将Padé逼近中经典的Markov与Stieltjes定理推广至涉及Nikishin系统有理修正的系统。
• 在多指标收敛框架下分析逼近多项式的渐近行为。
• 建立逼近零点聚集于测度支集并被吸引至有理函数极点的条件。

提出的方法

• 本研究采用通过z的降幂形式幂级数展开及多项式插值条件定义的I型与II型Hermite-Padé逼近。
• 通过运用幅角原理及多项式比值在复平面上紧子集上的收敛性，分析逼近多项式零点的渐近分布。
• 证明依赖于构造多指标序列，并使用反证法排除在支集之外区间出现虚假零点聚集的可能性。
• 关键组成部分包括测度的Cauchy变换、Nikishin系统的有理扰动，以及构造辅助多项式以控制零点位置。
• 分析中引入函数空间H(C\Δ)以保证逼近的全纯性与收敛性。
• 应用已知的正交多项式与比值渐近结果，特别是Gonchar与Rakhmanov的研究成果，推导出极限情况下的收敛性。

实验结果

研究问题

• RQ1 对于亚纯函数系，I型与II型Hermite-Padé逼近的零点在渐近下如何表现？
• RQ2 在复平面上，何种条件可确保Hermite-Padé逼近收敛于原始亚纯函数？
• RQ3 系统中各有理函数的极点如何影响逼近零点的分布？
• RQ4 经典Markov-Stieltjes定理在Padé逼近中是否可推广至具有有理扰动的多变量系统？
• RQ5 多指标收敛框架在决定逼近极限行为中起何种作用？

主要发现

• I型逼近多项式a_{n,m}的零点被证明聚集于Δ_m上，并以等于零点重数的阶数被t_j的零点吸引。
• 对每个j ∈ {0,…,m−1}，当|n|→∞时，t_j的κ重零点ζ恰好吸引κ个a_{n,m}的零点，沿适当的多指标序列。
• 比值a_{n,m}/a_{n,j}在C\Δ_m的紧子集上一致收敛于一个亚纯函数，其极点与零点分别对应于t_m与t_j的零点。
• II型逼近在形式洛朗级数展开意义下收敛于原始亚纯函数f = ŝ + r，误差项以O(1/z^{n_j+1})衰减。
• 证明表明，在Δ⊂R\Δ_1上，组合式p_{n,0}t_0 + Σ p_{n,j}t_j ŝ_{1,j}的零点数不超过|n|−D，与过度聚集的假设矛盾。
• 逼近的渐近行为由测度支集、有理函数极点及多指标结构之间的相互作用完全刻画。