[论文解读] Rogers-Ramanujan and the Baker-Gammel-Wills (Padé) conjecture

D. S. Lubinsky|arXiv (Cornell University)|Feb 18, 2004

Mathematical functions and polynomials参考文献 20被引用 5

一句话总结

本文通过分析单位圆上特定 $ q $ 的罗杰斯-拉马努金连分数，构造了贝克-加梅尔-威尔斯关于对角帕德逼近的猜想的反例。结果表明，对于此类 $ q $，对角帕德逼近在不包含极点的紧子集上不具有一致收敛性，从而在全单位圆内亚纯函数的情形下彻底否定了该猜想。

ABSTRACT

In 1961, Baker, Gammel and Wills conjectured that for functions $f$ meromorphic in the unit ball, a subsequence of its diagonal Padé approximants converges uniformly in compact subsets of the ball omitting poles of $f$. There is also apparently a cruder version of the conjecture due to Padé himself, going back to the earlier twentieth century. We show here that for carefully chosen $q$ on the unit circle, the Rogers-Ramanujan continued fraction $$1+\frac{qz|}{|1}+\frac{q^{2}z|}{|1}+\frac{q^{3}z|}{|1}+... $$ provides a counterexample to the conjecture. We also highlight some other interesting phenomena displayed by this fraction.

研究动机与目标

• 研究在单位圆内亚纯函数的对角帕德逼近的收敛行为。
• 检验贝克-加梅尔-威尔斯猜想的有效性，该猜想提出：在不包含极点的紧子集上，对角帕德逼近的某个子序列具有一致收敛性。
• 利用单位圆上精心选取的 $ q $，通过罗杰斯-拉马努金连分数构造一个具体的反例。
• 分析罗杰斯-拉马努金函数 $ G_q(z) $ 的零点与极点结构，特别是靠近单位根附近的行为，以识别逼近器中的病态行为。

提出的方法

• 研究定义为 $ H_q(z) = 1 + \frac{qz}{1 + \frac{q^2z}{1 + \frac{q^3z}{1 + \cdots}}} $ 的罗杰斯-拉马努金连分数，其中 $ |q| = 1 $。
• 考察与该连分数相关的幂级数 $ G_q(z) = \sum_{j=0}^\infty \frac{q^{j^2}}{(q;q)_j} z^j $，其收敛性质已知。
• 当 $ q $ 趋近于 $ \ell $ 次单位根的本原根时，函数 $ G_q(z) $ 在 $ z = (-1/4)^{-1/\ell} $ 附近表现出无界数量的零点，表明其具有复杂的奇点结构。
• 作者构造了一个变换函数 $ f(z) = g(zz_3) $，其中 $ g(z) = H_q(z)(z - z_1)(z - z_2) $，以确保在单位圆内解析，同时保留逼近器中的异常行为。
• 论证依赖于 $ G_q $ 的零点分布不对称性，该性质由数值证据支持，并在文中后续得到证明。
• 一个关键技术步骤是证明：对所构造的 $ f(z) $，其任何 $ [n/n] $ 逼近子序列均无法在单位圆的紧子集上一致收敛。

实验结果

研究问题

• RQ1 贝克-加梅尔-威尔斯猜想是否对所有在单位圆内亚纯的函数都成立，特别是关于对角帕德逼近子序列在不包含极点的紧子集上的一致收敛性？
• RQ2 罗杰斯-拉马努金连分数能否为单位圆上特定 $ q $ 的猜想提供反例？
• RQ3 当 $ |q| = 1 $ 且 $ q $ 接近单位根时，$ G_q(z) $ 的零点分布如何？这种分布如何影响帕德逼近？
• RQ4 对于所有此类 $ q $，$ G_q(z) $ 的零点分布不对称性是否成立？能否在不依赖数值工具的情况下加以证明？
• RQ5 能否构造一个在单位圆内解析的函数，使得其任何对角帕德逼近子序列在紧子集上均不一致收敛？

主要发现

• 对于单位圆上某些 $ q $，罗杰斯-拉马努金连分数 $ H_q(z) $ 为贝克-加梅尔-威尔斯猜想提供了反例。
• 当 $ q $ 趋近于 $ \ell $ 次本原单位根时，函数 $ G_q(z) $ 在 $ (-1/4)^{-1/\ell} $ 附近具有无界数量的零点。
• 所构造的在单位圆内解析的函数 $ f(z) $ 的对角帕德逼近在单位圆的任何紧子集上均不一致收敛。
• 该反例依赖于 $ G_q(z) $ 零点分布的不对称性，该性质在所选 $ q $ 下成立，并在后续证明中不依赖数值工具而得以确立。
• 本文证明贝克-加梅尔-威尔斯猜想在全单位圆内亚纯函数的情形下不成立。
• 该结果推翻了一个长期存在的猜想，表明即使对于单位圆内解析的函数，其对角帕德逼近的一致收敛性（甚至在子序列中）也无法保证。