[논문 리뷰] Complete polynomials using 3-term and reversible 3-term recurrence formulas (3TRF and R3TRF)

Yoon-Seok Choun|arXiv (Cornell University)|2014. 04. 29.

Quantum Mechanics and Non-Hermitian Physics참고 문헌 33인용 수 4

한 줄 요약

이 논문은 특수 함수의 맥락에서, 특히 이중 혼합 헤운 방정식(Double Confluent Heun Equation, DCHE)을 위해, 세항재귀공식(3TRF)과 역가능한 세항재귀공식(R3TRF)을 사용하여 완전 다항식을 구성하는 새로운 프레임워크를 제안한다. 스펙트럼 매개변수를 통해 계수를 잘라내는 재귀적 구조를 분석함으로써 다항식 유형 2와 첫 번째 종류 완전 다항식으로 분류된 유한 부분급수 해를 도출한다. 3TRF와 R3TRF 접근법 간의 주요 차이는 선도항(An 대비 Bn)과 Pochhammer 기호의 배치에 있으며, 이는 Tricomi 함수를 통한 해석적 적분 표현을 가능하게 한다.

ABSTRACT

In the first series "Special functions and three term recurrence formula (3TRF)", I show how to obtain power series solutions of Heun, Grand Confluent Hypergeoemtric (GCH), Mathieu and Lame equations for an infinite series and a polynomial of type 1. The method of proof for an infinite series and a polynomial of type 1 in the 3-term recurrence relation is called as three term recurrence formula (3TRF). And integral forms and generating functions of the above 4 equations are constructed analytically. In the second series "Special functions and reversible three-term recurrence formula (R3TRF)", I show how to obtain (1) power series solutions, (2) integral solutions and (3) generating functions of 5 equations (Heun, GCH, Mathieu, Lame and Confluent Heun (CH) equations) for an infinite series and a polynomial of type 2. The method of proof for an infinite series and a polynomial of type 2 in the 3-term recurrence relation is called as reversible three term recurrence formula (R3TRF). In this series I show how to obtain the mathematical formula for a polynomial of type 3, designated as "complete polynomial." The complete polynomial has two different types which are (1) the first species complete polynomial and (2) the second species complete polynomial. The former is applicable if there are only one eigenvalue in B_n term and an eigenvalue in A_n term. And the latter is applicable if there are two eigenvalues in B_n term and an eigenvalue in A_n term. By applying 3TRF and R3TRF, I generalize the 3-term recurrence relation in 5 equations (Heun, GCH, Lame, CH and Double Confluent Heun equations) for complete polynomials of two types in the form of a power series expansion.

연구 동기 및 목표

• 특수 함수를 위한 세항재귀공식(3TRF)과 역가능한 3TRF를 사용하여 완전 다항식을 체계적으로 구성하는 방법을 개발한다.
• 이중 혼합 헤운 방정식(DCHE)에서 두 개의 비정칙 특이점을 가진 유한 부분급수 해를 식별하고 분류한다.
• 다항식 유형 2와 첫 번째 종류 완전 다항식 간의 구조적 차이를 재귀 선도항(An 대비 Bn)과 Pochhammer 기호 분포 측면에서 구분한다.
• 컨tour 적분을 통한 Tricomi 함수와 초함수 유형 적분을 활용하여 이러한 다항식의 해석적 적분 표현을 수립한다.
• 3TRF와 R3TRF 접근법 간의 수치적 동등성을 입증하면서도, 급수 구성의 근본적인 구조적 다름을 부각시킨다.

제안 방법

• 비정칙 특이점이 x=0과 x=∞에 위치한 DCHE에 대해, Frobenius 유형의 형식급수 해를 사용하여 세항재귀관계를 유도한다.
• 3TRF와 R3TRF를 적용하여 유한 부분급수 해를 생성하고, 스펙트럼 매개변수 q를 통해 잘림 조건을 식별한다.
• Pochhammer 기호를 사용하여 재귀관계의 계수를 표현하며, 3TRF의 An과 R3TRF의 Bn 선도항에서의 기호 배치를 구분한다.
• 일반 해의 부분급수에 대해 Tricomi 함수의 컨투어 적분을 적용하여 적분 표현을 구성함으로써 해석적 계속성을 가능하게 한다.
• ∆±k(j,q) 항을 포함한 재귀 계수 공식을 사용하여 두 다항식 유형 모두의 유한 부분급수를 정의한다.
• 일반 형식급수 해의 구조를 분석하여, 3TRF는 두 부분급수의 합으로서 고전적 합의 형태를 가지며, R3TRF는 단일 부분급수로 구성됨을 보여준다.

실험 결과

연구 질문

• RQ1 두 개의 비정칙 특이점을 가진 DCHE 맥락에서, 3TRF와 R3TRF를 통해 완전 다항식을 어떻게 체계적으로 유도할 수 있는가?
• RQ2 다항식 유형 2와 첫 번째 종류 완전 다항식 간의 구조적 차이는 재귀 선도항과 Pochhammer 기호 분포 측면에서 어떻게 다를까?
• RQ3 3TRF와 R3TRF를 사용한 재귀관계는 계수 생성과 급수 구성 측면에서 어떻게 다를까?
• RQ4 Tricomi 함수 또는 초함수 유형 적분을 사용하여 이러한 유한 부분급수 해에 대해 해석적 적분 표현을 구성할 수 있는가?
• RQ5 스펙트럼 매개변수 q는 일반 멱급수를 유한 다항식으로 잘라내는 데 어떤 역할을 하는가?

주요 결과

• 다항식 유형 2 해는 무한한 고유값을 가진 매개변수 q를 고정함으로써 유한 부분급수의 잘림이 발생하는 재귀 체계에서 도출된다.
• 첫 번째 종류 완전 다항식은 q의 다가값 근을 스펙트럼 매개변수로 사용하며, 고유값은 q_m^{2N+3} (m = 0, 1, ..., 2N+3)로 표기된다.
• 3TRF에서는 An 항이 각 유한 부분급수의 선도항이지만, R3TRF에서는 Bn 항이 이 역할을 하며, 이는 근본적인 구조적 다름을 나타낸다.
• 3TRF의 경우 Bn 항의 분자와 분모 모두 Pochhammer 기호를 포함하지만, R3TRF에서는 동일한 기호가 An 항에 적용되며, 계수 구조의 이중 대칭성을 반영한다.
• 3TRF의 고전적 합 구조는 두 유한 부분급수의 합으로 이루어지지만, R3TRF 해는 단일 유한 부분급수로 구성되어 더 압축된 형태임을 나타낸다.
• 3TRF와 R3TRF를 사용한 수치 결과는 동일하지만, 계수 생성 및 항 지배성 측면에서 근본적으로 다른 재귀 구조를 가진다.