[論文レビュー] On the asymptotic behavior of Jacobi polynomials with first varying parameter

Oleg Szehr, Rachid Zarouf|arXiv (Cornell University)|May 9, 2016

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

ひとこと要約

本稿は、ラプラス法および定常位相法を用いて解析されたラプラス型積分とフーリエ型積分を用いて、最初の変化パラメータをもつジャコビ多項式 $ P^{(an+\alpha,\beta)}_n(1-2\lambda^2) $ の新しい積分表現を提供する。主な貢献は、4つのパrameter領域にわたる漸近的挙動の明確な分類である：$ a > \frac{2\lambda}{1-\lambda} $ の場合に指数的減衰、$ a \in \left(-\frac{2\lambda}{1+\lambda}, \frac{2\lambda}{1-\lambda}\right) $ の場合に $ O(n^{-1/2}) $ の減衰、境界 $ a = \pm \frac{2\lambda}{1\pm\lambda} $ で $ O(n^{-1/3}) $ の減衰、および $ a \in \left(-1, -\frac{2\lambda}{1+\lambda}\right) $ の場合に、$ an+\alpha $ が整数であるかどうかに応じて、新規の振動的または指数的増大挙動を示す。

ABSTRACT

We investigate the large $n$ behavior of Jacobi polynomials with varying parameters $P_{n}^{(an+\alpha,\,bn+\beta)}(1-2\lambda^{2})$ for $a,b >-1$ and $\lambda\in(0,\,1)$. This is a well-studied topic in the literature but some of the published results appear to be discordant. To address this issue we provide an in-depth investigation of the case $b = 0$, which is most relevant for our applications. Our approach is based on a new and surprisingly simple representation of $P_{n}^{(an+\alpha,\,\beta)}(1-2\lambda^{2}),\:a>-1$ in terms of two integrals. The integrals' asymptotic behavior is studied using standard tools of asymptotic analysis: one is a Laplace integral and the other is treated via the method of stationary phase. As a consequence we prove that if $a\in(\frac{2\lambda}{1-\lambda},\infty)$ then $\lambda^{an}P_{n}^{(an+\alpha,\beta)}(1-2\lambda^{2})$ shows exponential decay and we derive simple exponential upper bounds in this region. If $a\in(\frac{-2\lambda}{1+\lambda},\,\frac{2\lambda}{1-\lambda})$ then the decay of $\lambda^{an}P_{n}^{(an+\alpha,\beta)}(1-2\lambda^{2})$ is $\mathcal{O}(n^{-1/2})$ and if $a\in\{\frac{-2\lambda}{1+\lambda},\,\frac{2\lambda}{1-\lambda}\}$ then $\lambda^{an}P_{n}^{(an+\alpha,\beta)}(1-2\lambda^{2})$ decays as $\mathcal{O}(n^{-1/3})$. A new phenomenon occurs in the parameter range $a\in(-1,\frac{-2\lambda}{1+\lambda})$, where we find that the behavior depends on whether or not $an+\alpha$ is an integer: If $a\in(-1,\frac{-2\lambda}{1+\lambda})$ and $an+\alpha$ is an integer then $\lambda^{an}P_{n}^{(an+\alpha,\beta)}(1-2\lambda^{2})$ decays exponentially. If $a\in(-1,\frac{-2\lambda}{1+\lambda})$ and $an+\alpha$ is not an integer then $\lambda^{an}P_{n}^{(an+\alpha,\beta)}(1-2\lambda^{2})$ may increase exponentially depending on the proximity of the sequence $(an + \alpha)_n$ to integers.

研究の動機と目的

• 最初の変化パラメータをもつジャコビ多項式の漸近的挙動に関して、既存文献に見られる矛盾を解消すること。
• 特に作用素理論および近似理論において中心的役割を果たす $ b=0 $ の場合を含め、$ P^{(an+\alpha,\beta)}_n(1-2\lambda^2) $ の $ n \to \infty $ における分析に向け、強固で統一的なアプローチを構築すること。
• 特に臨界領域 $ a \in \left(-1, -\frac{2\lambda}{1+\lambda}\right) $ において、$ an + \alpha $ の算術的性質（整数であるか否か）が漸近挙動に与える影響を明確化すること。
• 2つのパラメータが変化する一般の場合への拡張を図り、最急降下法およびアイルズ関数を用いて臨界境界付近の一様漸近展開を導出すること。

提案手法

• ラプラス型積分とフーリエ型積分に分離された、$ P^{(an+\alpha,\beta)}_n(1-2\lambda^2) $ の新しい二重積分表現を導出する。
• 第一の積分に対してラプラスの方法を適用し、指数関数の最大値が漸近的挙動を支配することを特定する。
• 第二の積分に対して定常位相法を適用し、位相関数の臨界点からの寄与を同定する。
• 変数変換および contour 変形を用いて、臨界パラメータ値における鞍点の重合を処理し、一様漸近展開を可能にする。
• 一様最急降下法を適用して、$ a = \pm \frac{2\lambda}{1\pm\lambda} $ の境界付近におけるアイルズ関数を用いた展開を導出する。
• 広範な数値実験を実施し、既存の文献と比較することで、先行研究における不一致を解消する。

実験結果

リサーチクエスチョン

• RQ1 $ n \to \infty $ のとき、$ \lambda^{an} P^{(an+\alpha,\beta)}_n(1-2\lambda^2) $ の正確な漸近的挙動は何か、特に $ a \in \left(-1, -\frac{2\lambda}{1+\lambda}\right) $ の領域においては？
• RQ2 既存の結果が $ \lambda^{an} P^{(an+\alpha,\beta)}_n(1-2\lambda^2) $ の減衰率に関して矛盾を示す理由は何か、そして統一的フレームワークはどのようにそれらを解消できるか？
• RQ3 $ an + \alpha $ の算術的性質（特に整数であるか否か）が、臨界領域における漸近的増大・減衰に与える影響は何か？
• RQ4 この手法は、2つのパラメータ $ (an+\alpha, bn+\beta) $ が変化する一般の場合に拡張可能か？ その場合の漸近的領域は何か？
• RQ5 臨界境界 $ a = \pm \frac{2\lambda}{1\pm\lambda} $ 付近に一様漸近展開は存在するか？ そして、アイルズ関数などの特殊関数を用いてどのように表現されるか？

主な発見

• $ a > \frac{2\lambda}{1-\lambda} $ の場合、$ \lambda^{an} P^{(an+\alpha,\beta)}_n(1-2\lambda^2) $ は指数的に減衰し、明示的な指数的上界が導出される。
• $ a \in \left(-\frac{2\lambda}{1+\lambda}, \frac{2\lambda}{1-\lambda}\right) $ の場合、減衰は $ O(n^{-1/2}) $ であり、[13, Theorem 1] および [11, Proposition 6.1] と整合する。
• 境界 $ a = \pm \frac{2\lambda}{1\pm\lambda} $ では、減衰は $ O(n^{-1/3}) $ であり、[8, Formula (3.9)] に記載された式とは異なる。
• $ a \in \left(-1, -\frac{2\lambda}{1+\lambda}\right) $ の領域では、$ an + \alpha $ が整数であれば、列は指数的に減衰する。整数でなければ、$ an + \alpha $ が整数にどれほど近いかに応じて、指数的に増大する可能性がある。
• 本手法は、先行研究における不一致を効果的に解消した。特に、[8] や [14] が主張する $ a \in \left(-1, \frac{2\lambda}{1-\lambda}\right) $ の領域における $ O(n^{-1/2}) $ 減衰に関する矛盾する主張を解消した。
• 臨界境界付近の一様漸近展開は、アイルズ関数を用いて導出された。変換 $ f_a(z) = -t^3/3 + \gamma_2 t $ を用いることで、重合する鞍点の均一な記述が可能となった。