[論文レビュー] Pade and Hermite-Pade approximation and orthogonality

Walter Van Assche|arXiv (Cornell University)|Sep 4, 2006

Mathematical functions and polynomials参考文献 25被引用数 52

ひとこと要約

この論文は、Padé近似およびHermite-Padé近似と直交多項式の深い関係を調査し、直交性と対数的ポテンシャル論がこれらの近似式の漸近的挙動と収束性を支配することを示している。複数の直交多項式—例えば多重Hermite、ラゲル、ヤコビ多項式—が近似理論において自然に生じ、e や π の超越性を示す応用において重要な役割を果たすことが明らかになった。

ABSTRACT

We give a short introduction to Pade approximation (rational approximation to a function with close contact at one point) and to Hermite-Pade approximation (simultaneous rational approximation to several functions with close contact at one point) and show how orthogonality plays a crucial role. We give some insight into how logarithmic potential theory helps in describing the asymptotic behavior and the convergence properties of Pade and Hermite-Pade approximation.

研究の動機と目的

• PadéおよびHermite-Padé近似における直交性の役割を明確にし、収束性および漸近的挙動への影響を明らかにすること。
• 対数的ポテンシャル論が近似式の極と零点の分布を分析する枠組みを提供することを説明すること。
• Hermite-Padé近似式を用いて、e や π のような基本的定数の超越性を証明すること。
• 多重直交多項式（例：多重Hermite、ラゲル、ヤコビ）が近似理論および数理物理学にどのように自然に現れるかを説明すること。
• Angelesco、Nikishin、代数的チェビシェフ系といった系を通じて、複数関数の同時有理近似を統一的に理解すること。

提案手法

• テイラー展開と線積分を用いて、Padé近似式の誤差表現を導出し、解析的領域内での収束を示した。
• 条件 $ P_n(z)f(z) - Q_m(z) = \mathcal{O}((z-a)^{m+n+1}) $ を用いて $[m,n]$ Padé近似式を定義し、モニック分母による正規化を適用した。
• 多重インデックス $\vec{n}, \vec{m}$ を用いたタイプIIのHermite-Padé近似式を導入し、$ T(x) = x^N \prod_{j=1}^r (x - \lambda_j)^{n_j} $ を含む明示的な積分表現を提示した。
• 対数的ポテンシャル論を用いて、Angelesco や Nikishin のような系における近似式の極と零点の漸近的分布を分析した。
• もし $ \sum a_k p_{k,n} \neq 0 $ かつ $ p_{0,n}x^k - p_{k,n} \to 0 $ ならば $ x $ は超越的である、という補題を用いて、e および $ \pi $ の超越性を証明した。
• 積分表現 $ P_{\vec{n}}(z) = z^{| vec{n}|+N+1} \int_0^\infty T(x)e^{-zx} dx $ を用いて、制御された漸近的挙動を持つ明示的な近似式を構成した。

実験結果

リサーチクエスチョン

• RQ1 直交性はPadéおよびHermite-Padé近似式の構築と収束性にどのように根ざしているか？
• RQ2 対数的ポテンシャル論は、有理近似式の極と零点の漸近的分布を記述する上で果たす役割は何か？
• RQ3 Hermite-Padé近似は、e や π のような基本的定数の超越性を証明するためにどのように利用できるか？
• RQ4 Angelesco や Nikishin のような系において、多重直交多項式はどのように自然に現れ、近似挙動にどのように影響を与えるか？
• RQ5 Hermite-Padé近似とランダム行列理論の間にはどのような関係があるか。特に外部源モデルやWishartアンサンブルの文脈において。

主な発見

• $[m,n]$ Padé近似式は、関数 $ f $ の点 $ a $ における $ f(z) - Q_m(z)/P_n(z) = \mathcal{O}((z-a)^{m+n+1}) $ を満たし、$ a $ で高次の接続を保証する。
• $ f(z) = \sum_{k=0}^\infty c_k / z^{k+1} $ の場合、$ m = n-1 $ とすると、$ z \to \infty $ において $ P_n(z)f(z) - Q_{n-1}(z) = \mathcal{O}(z^{-n-1}) $ で定義される、無限遠点近傍のPadé近似式が得られる。
• $ \pi $ の無理数指数は 23.271 未満に上界がある。これは、$ r > 23.271 $ に対して $ |\pi - p/q| < 1/q^r $ は有限個の解しか持たないことを意味する。この結果はHermite-Padé近似式によって示された。
• 関数 $ (e^{\lambda_1 x}, \dots, e^{\lambda_r x}) $ のタイプIIHermite-Padé近似式を $ x=0 $ の近傍で構築し、$ \lambda_j = j $ とすると、e の超越性の証明が得られる。
• e に対しては、整数 $ p_0, p_1, \dots, p_r $ が構成され、$ p_0 e^j - p_j \to 0 $ が $ p \to \infty $ のとき成り立ち、かつ $ \sum a_k p_k \neq 0 $ となる。これは、補題3.2の条件を満たす。
• 多重直交多項式、特に多重Hermite、ラゲル、ヤコビ（Piñeiro）多項式は、近似理論において自然に出現し、ランダム行列理論や可積分系への応用がある。