[論文レビュー] 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) $ の零点および極の構造を分析し、近似式における病理的挙動を同定すること。

提案手法

• 研究は、$ |q| = 1 $ に対して定義されるロジャース・ラマヌジャン連分数 $ H_q(z) = 1 + \frac{qz}{1 + \frac{q^2z}{1 + \frac{q^3z}{1 + \cdots}}} $ に焦点を当てる。
• 収束性が既知の連分数と関連するべきべき級数 $ 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) $ と変換された関数 $ f(z) $ を構成する。
• 主な議論は、$ G_q $ の零点分布の非対称性に依拠しており、数値的証拠により支持され、後に論文内で証明される。
• 重要な技術的ステップとして、構成された $ f(z) $ の $ [n/n] $ 近似の部分列が、単位円板の任意のコンパクト集合上で一様収束しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 バーカー・ガメル・ウィルズ予想は、単位円板内でメロモーワークなすべての関数に対して成り立つか、特に極を除くコンパクト集合上で対角パデ近似の部分列が一様収束することを主張するものであるか。
• RQ2 ロジャース・ラマヌジャン連分数は、単位円上の特定の $ q $ に対して、予想の反例を提供できるか。
• RQ3 単位円上にあり、単位根に近い $ q $ に対して、$ G_q(z) $ の零点分布はどのように振る舞い、パデ近似にどのような影響を与えるか。
• RQ4 関数 $ G_q(z) $ の零点分布の非対称性は、すべてのこのような $ q $ に対して成り立つか、数値的ツールに依存せずに証明可能か。
• RQ5 単位円板内で正則な関数を構成し、その対角パデ近似の部分列が、任意のコンパクト集合上で一様収束しないようにできるか。

主な発見

• 特定の $ q $ に対して、ロジャース・ラマヌジャン連分数 $ H_q(z) $ はバーカー・ガメル・ウィルズ予想に対する反例を提供する。
• $ q $ が原始 $ \ell $ 乗単位根に近づくにつれ、関数 $ G_q(z) $ は $ (-1/4)^{-1/\ell} $ の近傍で無限個の零点を持つ。
• 単位円板内で正則な関数 $ f(z) $ の対角パデ近似は、その円板の任意のコンパクト部分集合上で一様収束しない。
• 反例は、$ G_q(z) $ の零点分布の非対称性に依拠しており、選ばれた $ q $ に対して成り立つことが示され、後に数値的パッケージに依存せずに証明された。
• 本稿は、バーカー・ガメル・ウィルズ予想が、単位円板内で正則な関数に対しても一般に成り立たないことを確立した。
• この結果は、長年の予想を無効にし、単位円板内の正則関数に対しても、対角パデ近似の部分列が一様収束することを保証できないことを示している。