[論文レビュー] A note on parameter derivatives of classical orthogonal polynomials

Radosław Szmytkowski|arXiv (Cornell University)|Jan 17, 2009

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

ひとこと要約

本稿では、古典的直交多項式—Jacobi、Gegenbauer、一般化ラゲール—のパラメータ微分を計算するための新規手法を提示する。形式 ∂Pₙ(λ;z)/∂λ = Σ aₙₖ(λ)Pₖ(λ;z) の展開を導出する。微分方程式とChristoffel–Darboux恒等式を用いて、JacobiおよびGegenbauer多項式の既知の結果を再導出し、一般化ラゲール多項式の単純な展開に対する新しい導出を提示する。これはFröhlich よりも異なる別途の手法を提供する。

ABSTRACT

Coefficients in the expansions of the form $\partial P_{n}(λ;z)}/\partialλ=\sum_{k=0}^{n}a_{nk}(λ)P_{k}(λ;z)$, where $P_{n}(λ;z)$ is the $n$th classical (the generalized Laguerre, Gegenbauer or Jacobi) orthogonal polynomial of variable $z$ and $λ$ is a parameter, are evaluated. A method we adopt in the present paper differs from that used by Fröhlich [Integral Transforms Spec. Funct. 2 (1994) 253] for the Jacobi polynomials and by Koepf [Integral Transforms Spec. Funct. 5 (1997) 69] for the generalized Laguerre and the Gegenbauer polynomials.

研究の動機と目的

• 既知の古典的直交多項式のパラメータ微分展開を、新規の手法を用いて再導出すること。
• 一般化ラゲール多項式の単純な形 ∂Lₙ^(λ)(z)/∂λ = Σ_{k=0}^{n-1} 1/(n−k) Lₖ^(λ)(z) を代替的に導出すること。
• Jacobi、Gegenbauer、ラゲール多項式に共通するパラメータ微分による一貫したアプローチを確立すること。
• 超幾何関数に基づくFröhlichの手法や、Koepfの極限手続きに依存しない、べき級数展開における係数比較に基づく手法を提供すること。

提案手法

• パrameter α に関するJacobi多項式の2階微分方程式を微分することにより、パラメータ微分を導出する。
• z′ = 1 で評価したChristoffel–Darboux公式を用いて、微分を低次のJacobi多項式の線形結合として表現する。
• 既知の微分恒等式 (2n+α+β)(z²−1)Pₙ′(z) = n[β−α+(2n+α+β)z]Pₙ(z) − 2(n+α)(n+β)Pₙ₋₁(z) を用いて、微分式を簡略化する。
• z₀ を中心とする (z−z₀)ⁿ 展開におけるべき級数係数の比較を通じて、係数 aₙₖ(λ) を確立する。この際、aₙₙ(λ) と主係数 kₙ(λ) の対数微分との関係を結ぶ補題を用いる。
• Jacobi多項式との関係および極限形を活用することで、Gegenbauerおよび一般化ラゲール多項式に対しても同様の手法を適用する。
• 恒等式 Lₙ^(α)(z) = lim_{β→∞} Pₙ^(α,β)(1−2z/β) を用いて、ラゲールの場合の単純な形を導出する。

実験結果

リサーチクエスチョン

• RQ1 超幾何関数や極限手続きに依存せずに、古典的直交多項式のパラメータ微分を計算するための新規手法を開発可能か？
• RQ2 展開係数 aₙₖ(λ) の明示的形は、同一の直交多項式基底においてどのように表されるか？
• RQ3 Christoffel–Darboux恒等式を用いて、Jacobi多項式の微分を低次の多項式の線形結合として表現できるか？
• RQ4 なぜ一般化ラゲール多項式の微分が ∂Lₙ^(λ)(z)/∂λ = Σ_{k=0}^{n-1} 1/(n−k) Lₖ^(λ)(z) に簡略化されるのか？これは微分方程式から直接導出可能か？
• RQ5 Jacobi、Gegenbauer、ラゲール多項式のパラメータ微分に対して、特殊関数に基づく既存の手法を避ける統一的アプローチは存在するか？

主な発見

• 展開 ∂Pₙ(λ;z)/∂λ = Σₖ aₙₖ(λ)Pₖ(λ;z) における係数 aₙₙ(λ) は、主係数の対数微分として与えられる： aₙₙ(λ) = ∂/∂λ ln kₙ(λ)。
• Jacobi多項式に関して、α に関する微分は ∂Pₙ^(α,β)(z)/∂α = [ψ(2n+α+β+1)−ψ(n+α+β+1)]Pₙ^(α,β)(z) + Σ_{k=0}^{n−1} [ (2k+α+β+1)Γ(n+β+1)Γ(k+α+β+1) / ((n−k)(k+n+α+β+1)Γ(k+β+1)Γ(n+α+β+1)) ] Pₖ^(α,β)(z) で与えられる。
• Gegenbauer多項式 Cₙ^(λ)(z) の λ に関する微分は ∂Cₙ^(λ)(z)/∂λ = [ψ(n+λ)−ψ(λ)]Cₙ^(λ)(z) + 4Σ_{k=0}^{n−1} [1+(−1)^{k+n}]/2 × [ (k+λ) / ((n−k)(k+n+2λ)) ] Cₖ^(λ)(z) で与えられる。
• 一般化ラゲール多項式の微分は ∂Lₙ^(λ)(z)/∂λ = Σ_{k=0}^{n−1} 1/(n−k) Lₖ^(λ)(z) に簡略化され、これはJacobi多項式への極限関係と新規手法を用いて導出された。
• 本手法は超幾何関数や組み合わせ恒等式を用いず、Fröhlich や Koepf の手法とは根本的に異なる自己一貫性のある既知の結果の導出を可能にする。
• Christoffel–Darboux公式を z′=1 で評価することで、微分式を低次の直交多項式の線形結合に変換することが可能になる。