[논문 리뷰] A note on parameter derivatives of classical orthogonal polynomials

Radosław Szmytkowski|arXiv (Cornell University)|2009. 01. 17.

Mathematical functions and polynomials참고 문헌 5인용 수 15

한 줄 요약

이 논문은 고전적 직교다항식—Jacobi, Gegenbauer, 일반화된 Laguerre—의 매개변수 도함수를 계산하기 위한 새로운 방법을 제시한다. 도함수의 전개 형태 ∂Pₙ(λ;z)/∂λ = Σ aₙₖ(λ)Pₖ(λ;z)를 유도함으로써, 미분방정식과 Christoffel–Darboux 항등식을 사용하여 Jacobi 및 Gegenbauer 다항식에 대한 기존 결과를 재유도하고, 일반화된 Laguerre 다항식에 대한 간단한 전개를 새로운 방식으로 도출한다. 이는 Fröhlich와 Koepf의 이전 연구와는 다른 접근법을 제공한다.

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.

연구 동기 및 목표

• 기존에 알려진 고전적 직교다항식의 매개변수 도함수 전개를 새로운 방법으로 재유도하는 것.
• 일반화된 Laguerre 다항식에 대한 간단한 전개 ∂Lₙ^(λ)(z)/∂λ = Σ_{k=0}^{n-1} 1/(n−k) Lₖ^(λ)(z)를 대체로 유도하는 것.
• Jacobi, Gegenbauer, Laguerre 다항식에 모두 적용 가능한 체계적인 접근법을 그들의 미분방정식에 대한 매개변수 미분을 통해 수립하는 것.
• Hypergeometric 함수 접근법과 Koepf의 극한 절차에 의존하지 않는 방법을 제시하며, 멱급수 전개의 계수 비교에 기반한다.

제안 방법

• 매개변수 α에 대한 Jacobi 다항식의 도함수를 그 두 번째 미분방정식을 α에 대해 미분하여 유도한다.
• z′ = 1에서 평가된 Christoffel–Darboux 공식을 사용하여 도함수를 더 낮은 차수의 Jacobi 다항식으로 표현한다.
• 기존의 미분 항등식 (2n+α+β)(z²−1)Pₙ′(z) = n[β−α+(2n+α+β)z]Pₙ(z) − 2(n+α)(n+β)Pₙ₋₁(z)를 사용하여 도함수 표현을 단순화한다.
• z₀를 중심으로 한 (z−z₀)ⁿ 전개에서의 멱급수 계수 비교를 통해 계수 aₙₖ(λ)를 확립하며, 주어진 계수 kₙ(λ)의 로그 미분과 관련된 레마를 활용한다.
• Jacobi 다항식과의 관계 및 극한 형태를 활용하여 동일한 방법을 Gegenbauer 및 일반화된 Laguerre 다항식에 적용한다.
• Lₙ^(α)(z) = lim_{β→∞} Pₙ^(α,β)(1−2z/β)라는 항등식을 사용하여 Laguerre의 경우에 대한 단순한 형태를 도출한다.

실험 결과

연구 질문

• RQ1 Hypergeometric 함수나 극한 과정에 의존하지 않고, 고전적 직교다항식의 매개변수 도함수를 계산하기 위한 새로운 방법을 개발할 수 있는가?
• RQ2 도함수 ∂Pₙ(λ;z)/∂λ의 전개 계수 aₙₖ(λ)는 동일한 직교다항식 기저에 대해 명시적으로 어떻게 표현될 수 있는가?
• RQ3 Christoffel–Darboux 항등식을 어떻게 활용하여 Jacobi 다항식의 도함수를 더 낮은 차수의 다항식의 선형 조합으로 표현할 수 있는가?
• RQ4 왜 일반화된 Laguerre 다항식 도함수는 ∂Lₙ^(λ)(z)/∂λ = Σ_{k=0}^{n-1} 1/(n−k) Lₖ^(λ)(z)로 단순화되는가? 이는 미분방정식으로부터 직접 도출될 수 있는가?
• RQ5 Jacobi, Gegenbauer, Laguerre 다항식 간의 매개변수 도함수에 대해 특수함수에 기반한 이전 방법을 피하는 통합적 접근법이 존재하는가?

주요 결과

• 전개 ∂Pₙ(λ;z)/∂λ = Σₖ aₙₖ(λ)Pₖ(λ;z)에서 계수 aₙₙ(λ)는 주어진 계수 kₙ(λ)의 로그 미분으로 주어진다: 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)로 주어진다.
• 일반화된 Laguerre 다항식 도함수는 ∂Lₙ^(λ)(z)/∂λ = Σ_{k=0}^{n−1} 1/(n−k) Lₖ^(λ)(z)로 단순화되며, 이는 Jacobi 다항식으로의 극한 관계와 새로운 방법을 통해 도출된다.
• 이 방법은 Hypergeometric 함수나 조합 항등식을 사용하지 않고도 기존 결과를 자발적으로 유도하며, Fröhlich의 접근법과 Koepf의 방법과 근본적으로 다릅니다.
• Christoffel–Darboux 공식이 z′=1에서 평가될 경우, 도함수 표현을 더 낮은 차수의 직교다항식의 선형 조합으로 변환하는 데 기여한다.