[논문 리뷰] Algorithms for classical orthogonal polynomials

Wolfram Koepf, Dieter Schmersau|ArXiv.org|1996. 12. 05.

Mathematical functions and polynomials참고 문헌 10인용 수 8

한 줄 요약

이 논문은 초함수 유형의 미분방정식의 계수들로부터만 유도된 공식을 통해 고전적 직교다항식(Hermite, Laguerre, Jacobi 등)의 재귀계수 및 도함수 규칙을 계산하기 위한 명시적 알고리즘을 제시한다. 주요 기여는 다항식 σ(x)와 τ(x)만을 사용하여 재귀 및 도함수 관계를 체계적으로 계산할 수 있는 방법을 제공하는 것으로, 직교다항식 시스템의 효율적 기호 계산을 가능하게 한다.

ABSTRACT

In this article explicit formulas for the recurrence equation p_{n+1}(x) = (A_n x + B_n) p_n(x) - C_n p_{n-1}(x) and the derivative rules sigma(x) p'_n(x) = alpha_n p_{n+1}(x) + beta_n p_n(x) + gamma_n p_{n-1}(x) and sigma(x) p'_n(x) = (alpha_n-tilde x + beta_n-tilde) p_n(x) + gamma_n-tilde p_{n-1}(x) respectively which are valid for the orthogonal polynomial solutions p_n(x) of the differential equation sigma(x) y''(x) + r(x) y'(x) + lambda_n y(x) = 0 of hypergeometric type are developed that depend only on the coefficients sigma(x) and tau(x) which themselves are polynomials w.r.t. x of degree not larger than 2 and 1, respectively. Partial solutions of this problem had beed previously published by Tricomi, and recently by Yáñez, Dehesa and Nikiforov.

연구 동기 및 목표

• 고전적 직교다항식의 재귀 및 도함수 관계에 대한 명시적이고 알고리즘화된 공식을 개발하기 위해.
• 초함수 유형의 직교다항식에 대한 재귀계수 및 도함수 규칙의 체계적 계산에 미치는 격차를 해결하기 위해.
• 다항식 σ(x)와 τ(x)의 계수에만 의존하는 공식을 제공하기 위해 (각각 차수 ≤2 및 ≤1).
• Tricomi, Yáñez, Dehesa, Nikiforov의 이전 부분 결과들을 통합하고 일반화하여 일관된 계산 프레임워크를 구축하기 위해.
• 다항식의 미분방정식 매개변수만을 사용하여 재귀 및 도함수 규칙을 통해 기호 계산을 가능하게 하기 위해.

제안 방법

• 미분방정식 σ(x)y'' + τ(x)y' + λny = 0의 계수 σ(x)와 τ(x)로부터 재귀계수 An, Bn, Cn를 유도하기 위해.
• 미분방정식의 구조를 이용하여 다항식 pn(x)의 도함수를 pn+1(x), pn(x), pn−1(x)의 선형조합으로 표현하기 위해.
• 계수 매칭을 통해 도함수 규칙 σ(x)p'n(x) = αnpn+1(x) + βnpn(x) + γnpn−1(x)를 수립하기 위해.
• 이중 매개변수 이동 형태로 도함수 규칙을 변환하기 위해: σ(x)p'n(x) = (α̃n − x + β̃n)p̃n(x) + γ̃npn−1(x).
• 기호 계산 기법을 적용하여 모든 재귀 및 도함수 계수를 σ(x)와 τ(x)의 명시적 형태로 표현하기 위해.
• 기존 고전적 직교다항식(Hermite, Laguerre, Jacobi)을 테스트 케이스로 삼아 알고리즘의 타당성을 검증하기 위해.

실험 결과

연구 질문

• RQ1 고전적 직교다항식에 대해 σ(x)와 τ(x)로부터 재귀계수 An, Bn, Cn를 어떻게 체계적으로 계산할 수 있는가?
• RQ2 σ(x)와 τ(x)에 대한 일반형 도함수 규칙 σ(x)p'n(x) = αnpn+1(x) + βnpn(x) + γnpn−1(x)는 무엇인가?
• RQ3 도함수 규칙은 α̃n, β̃n, γ̃n를 포함하는 이동된 매개변수 형태로 재표현될 수 있는가?
• RQ4 고전적 직교다항식의 전체 재귀 및 도함수 구조를 생성하기 위해 필요한 최소 입력 데이터 집합(σ(x), τ(x))는 무엇인가?
• RQ5 유도된 공식은 Tricomi 등이 이전에 제시한 부분 결과들을 어떻게 통합하고 확장하는가?

주요 결과

• 재귀계수 An, Bn, Cn는 각각 차수 최대 2 및 1인 다항식 σ(x)와 τ(x)의 계수에 의해 명시적으로 결정된다.
• 도함수 규칙 σ(x)p'n(x) = αnpn+1(x) + βnpn(x) + γnpn−1(x)는 σ(x)와 τ(x)로 완전히 표현 가능하여 알고리즘적 계산이 가능하다.
• 기존의 도함수 규칙 외에 새로운 형태의 도함수 규칙을 유도함: σ(x)p'n(x) = (α̃n − x + β̃n)pn(x) + γ̃npn−1(x), 이는 기호 조작을 단순화한다.
• 이 방법은 Tricomi, Yáñez, Dehesa, Nikiforov의 이전 결과들을 하나의 계산 프레임워크로 통합하고 일반화한다.
• 알고리즘은 계산적으로 효율적이며 기호 계산 시스템에의 구현에 적합하다.
• 이 접근법은 다항식의 미분방정식 매개변수만으로도 모든 고전적 직교다항식의 재귀 및 도함수 관계를 체계적으로 생성할 수 있도록 한다.