[論文レビュー] Asymptotic analysis of the Askey-scheme II: from Charlier to Hermite

Diego Dominici|ArXiv.org|Aug 15, 2005

Mathematical functions and polynomials参考文献 22被引用数 3

ひとこと要約

本稿では、Charlier多項式とHermite多項式の極限関係を用いて、$ H_n(\theta) $ の漸近近似を $ n \to \infty $ において導出する。Airy関数、ベッセル関数、三角関数を含む、領域に応じた高精度な公式を提示し、$ \theta $ の異なる範囲で有効な主要な結果を示す。特に、$ \pm\sqrt{2n} $ の近傍におけるエッジスケーリングと、バルク領域における振動的挙動が含まれる。

ABSTRACT

We analyze the Hermite polynomials $H_{n}(ξ)$ and their zeros asymptotically as $n o\infty,$ using the limit relation between the Charlier and Hermite polynomials. Our formulas involve some special functions and they yield very accurate approximations.

研究の動機と目的

• $ n \to \infty $ のときのHermite多項式 $ H_n(\xi) $ に対する一様な漸近近似を、Charlier多項式とHermite多項式の極限関係を用いて導出すること。
• 既に [2] で得られたCharlier多項式の漸近結果を、極限 $ \lim_{a\to\infty} (-1)^n (2a)^{n/2} C_n^{(a)}(a + \xi\sqrt{2a}) = H_n(\xi) $ を用いてHermiteの場合に拡張すること。
• バルク、エッジ、振動的領域を含む $ \xi $ 全体の領域において、特殊関数を含む明示的な公式による高精度な近似を提供すること。
• Hermite多項式のゼロ点を、ケプラーの微分方程式を解ける形に変換し、ベッセル関数を含むKapteyn級数を用いて表現すること。

提案手法

• Charlier多項式とHermite多項式の既知の極限関係 $ \lim_{a\to\infty} (-1)^n (2a)^{n/2} C_n^{(a)}(a + \xi\sqrt{2a}) = H_n(\xi) $ を用い、Charlier多項式の漸近結果をHermite多項式に移行する。
• 文献 [2] で導出された、6つの異なる領域（例えばバルク、エッジ、遷移領域）におけるCharlier多項式の漸近展開を適用し、極限を用いてHermite多項式の近似に変換する。
• Hermite多項式 $ H_n(\xi) $ に対して、領域に応じた近似を導出する：バルク領域（$ |\xi| \ll \sqrt{2n} $）では振動的、エッジ付近（$ \xi \approx \pm\sqrt{2n} $）ではAiry型、尾領域では指数関数的。
• Hermite多項式のゼロ点を求める問題を、ケプラーの微分方程式 $ E - \varepsilon \sin E = M $ に類似した形に変換し、$ \varepsilon = -2n/(2n+1) $ として、ベッセル関数を用いた級数解が可能となる。
• ゼロ点 $ \zeta_j^n $ を $ \sqrt{2n} \sin(\tau_j^n) $ と表現し、$ \tau_j^n $ が $ \mathrm{J}_k(k\varepsilon) $ を含むKapteyn級数で表される三角関数方程式を満たすことを示す。
• 反射対称性 $ H_n(-\xi) = (-1)^n H_n(\xi) $ を用いて、対称領域における近似を関連付け、式を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 $ n \to \infty $ のとき、$ \xi $ 全体の範囲にわたってHermite多項式 $ H_n(\xi) $ の一様な漸近近似をどのように導出できるか、特にバルク領域とエッジ領域において。
• RQ2 $ \xi = \pm\sqrt{2n} $ の近傍における遷移領域における $ H_n(\xi) $ の正確な漸近的挙動は何か？ また、Airy関数とどのように関係しているか？
• RQ3 Hermite多項式 $ H_n(\xi) $ のゼロ点はどのように漸近的に分布するか？ また、特殊関数や級数展開を用いて表現できるか？
• RQ4 Charlier多項式とHermite多項式の極限関係を、Askeyスキームに属する他の多項式族の漸近解析に体系的かつ応用可能か？
• RQ5 Hermite多項式のゼロ点とケプラーの微分方程式との関係は何か？ そして、これを用いて明示的な級数表現を導出できるか？

主な発見

• $ \xi \ll -\sqrt{2n} $ のとき、$ H_n(\xi) \sim \Lambda_1(\xi) = \exp\left[\Phi_1(\xi)\right] U_1(\xi) $ であり、$ \Phi_1(\xi) = \frac{n}{2}\left[\ln(2n) - \cos(2\theta)\right] + \frac{n\pi}{2}i $、$ \theta = \arcsin(\xi / \sqrt{2n}) $ であり、振動的減衰を示す。
• バルク領域 $ |\xi| \ll \sqrt{2n} $ において、$ H_n(\xi) \sim \Lambda_5(\xi) = \sqrt{2}(1 - \xi^2/(2n))^{-1/4} \exp\left[\frac{n}{2}(\ln(2n) - 1) + \frac{\xi^2}{2}\right] \cos(\Theta) $ であり、$ \Theta = \frac{\xi}{2}\sqrt{2n - \xi^2} + (n + \frac{1}{2})\arcsin(\frac{\xi}{\sqrt{2n}}) - \frac{n\pi}{2} $ である。
• 右エッジ付近 $ \xi \approx \sqrt{2n} $ において、$ H_n(\xi) \sim \Lambda_4(\xi) = \sqrt{2\pi} n^{1/6} \exp[\Phi_4(\xi)] \mathrm{Ai}[n^{1/6}\sqrt{2}(\xi - \sqrt{2n})] $ であり、$ \Phi_4(\xi) = \frac{1}{2}n\ln(n/a) + x\ln(1 + \sqrt{n/a}) - \sqrt{an} - \sqrt{n} $ であり、Airy型の減衰を示す。
• $ H_n(\xi) $ のゼロ点 $ \zeta_j^n $ は $ \zeta_j^n = \sqrt{2n} \sin(\tau_j^n) $ を満たし、$ \tau_j^n $ は $ \varepsilon = -2n/(2n+1) $ を持つケプラー型方程式を満たし、Kapteyn級数として $ \tau_j^n = \pi(1+n-2j)/(2n+1) + \sum_{k=1}^\infty \frac{1}{k} \mathrm{J}_k(-\frac{2n}{2n+1}k) \sin(2\pi(1+n-2j)k/(2n+1)) $ と表現できる。
• $ \Lambda_5(\xi) $ の一次近似は [9] の式 (4.14.9) と一致し、既存の漸近理論と整合していることが確認される：$ \Lambda_5(\xi) \sim \sqrt{2} \exp[\frac{n}{2}(\ln(2n) - 1) + \frac{\xi^2}{2}] \cos(n\pi/2 - \xi\sqrt{2n}) $。
• 本手法により、Charlier多項式の漸近結果をHermite多項式に体系的に移行でき、エッジ領域やバルク領域を含め、Airy関数やベッセル関数などの特殊関数に明示的な依存関係を持つ、極めて高精度な近似が得られた。