[论文解读] Pade approximants for functions with branch points - strong asymptotics of Nuttall-Stahl polynomials

Alexander L. Aptekarev, Maxim L. Yattselev|Sep 2, 2011

Mathematical functions and polynomials被引用 5

一句话总结

本文在一般位置下，对具有有限个代数-对数型分支点的函数的对角Padé逼近分母建立了强渐近性质。通过黎曼-希尔伯特问题方法与非厄米特正交多项式，证明了Padé逼近极点的极限分布收敛于使函数单值化的最小容量割线系统（Nuttall-Stahl曲线），从而证实了Nuttall关于单值解析最大域的猜想。

ABSTRACT

Let f be a germ of an analytic function at infinity that can be analytically continued along any path in the complex plane deprived of a finite set of points, f \in\mathcal{A}(\bar{\C} \setminus A), \sharp A

研究动机与目标

• 建立具有有限个分支点的函数的对角Padé逼近分母的强渐近性质。
• 证实Nuttall猜想：Padé逼近的收敛域对应于单值解析的最大域。
• 表明Padé逼近极点的极限分布刻画了使函数单值化的最小容量割线系统。
• 将Stahl对Nuttall猜想的证明推广至一般情形，即代数-对数型分支点处于一般位置的情况。
• 利用黎曼-希尔伯特分析，推导复平面上正交多项式（Nuttall-Stahl多项式）的精确渐近行为。

提出的方法

• 通过矩阵值函数 $\mathcal{Y}$ 的黎曼-希尔伯特问题（RHP）表述问题，该函数编码了Padé逼近的结构。
• 应用一系列变换 $\mathcal{Y} \to \mathcal{T} \to \mathcal{S} \to \mathcal{R}$，将RHP约化为具有常数跳跃矩阵的模型问题。
• 使用Deift-Zhou非线性最陡下降法分析当 $n \to \infty$ 时解 $\mathcal{Y}$ 的渐近行为。
• 在分支点附近利用特殊函数（如贝塞尔型解）构造局部参数化，以处理非解析跳跃矩阵。
• 在 $\overline{\mathbb{C}} \setminus \widetilde{\Sigma}$ 的紧子集上建立解 $\mathcal{Y}$ 的一致收敛性，其中 $\widetilde{\Sigma}$ 是避开分支点的形变轮廓。
• 通过从模型RHP的解 $\mathcal{R}$ 及变换矩阵 $\mathcal{N}$ 和 $\mathcal{P}_e$ 重构 $\mathcal{Y}$，推导正交多项式的渐近性质。

实验结果

研究问题

• RQ1 对于具有有限个代数-对数型分支点的函数，其对角Padé逼近分母的渐近行为如何？
• RQ2 Padé逼近极点的极限分布是否与使函数单值化的最小容量割线系统一致？
• RQ3 在分支点处于一般位置的一般情形下，能否推导出Nuttall-Stahl多项式的强渐近性质？
• RQ4 误差 $f - [n/n]_f$ 的精确渐近行为如何用正交多项式和函数 $\Phi$ 表示？
• RQ5 黎曼-希尔伯特方法如何实现复平面上远离割线系统区域的逼近器的一致渐近控制？

主要发现

• 对角Padé逼近分母满足形如 $q_n(z) \sim S_n(z) / S_n(\infty)$ 的强渐近性质，其中 $S_n$ 为Nuttall-Stahl多项式。
• Padé逼近的误差满足 $\widehat{\rho} - [n/n]_{\widehat{\rho}} = \frac{S_n^*}{S_n} \frac{h}{\Phi^{2n}} \cdot (1 + \mathcal{O}(1/n))$，在 $D^*$ 的紧子集上一致成立。
• Padé逼近 $[n/n]_f$ 的极点极限分布收敛于割线系统 $\Delta$，该系统在所有使 $f$ 单值化的系统中具有最小对数容量。
• 黎曼-希尔伯特问题的解 $\mathcal{Y}$ 渐近等价于 $\gamma_\Delta^{n\sigma_3} \mathcal{R} \mathcal{N} \Phi^{n\sigma_3}$，其中 $\mathcal{R}$ 是具有常数跳跃的模型RHP的解。
• 矩阵 $\mathcal{R}$ 通过一系列变换构造，且满足 $|\upsilon_{nk}| \leq c(\varepsilon)/n$，从而保证渐近展开的一致收敛性。
• 在 $\Delta \setminus E$ 上，$\mathcal{Y}$ 的渐近行为由跳跃矩阵 $\Phi$ 决定，主导项为 $\mathcal{Y}_{11} \sim \mathcal{(RN)}_{11}^+ (\gamma_\Delta \Phi^+)^n$，证实了误差的指数衰减。