[논문 리뷰] Asymptotic behavior of Heun function and its integral formalism

Yoon-Seok Choun|arXiv (Cornell University)|2013. 03. 04.

Quantum Mechanics and Non-Hermitian Physics참고 문헌 47인용 수 13

한 줄 요약

이 논문은 삼항재귀관계(3TRF)를 사용하여 헤운 함수의 적분 체계와 그 점근적 행동을 유도함으로써, 무한급수와 다항식 해 모두에 대한 정확한 급수-적분 변환을 가능하게 한다. 주요 발견은 하위 적분 형태에서 초함수 $_2F_1$ 함수가 재귀적으로 나타나며, 고차항 $A_n$ 항들이 체계적으로 통합된다는 점이며, 헤운 방정식의 삼항재귀관계 구조로 인해 포앙카레-페르론 정리가 실패하는 이유를 설명한다.

ABSTRACT

The Heun function generalizes all well-known special functions such as Spheroidal Wave, Lame, Mathieu, and hypergeometric functions. Heun functions are applicable to diverse areas such as theory of black holes, lattice systems in statistical mechanics, solution of the Schrodinger equation of quantum mechanics, and addition of three quantum spins. In this paper, applying three term recurrence formula, I consider asymptotic behaviors of Heun function and its integral formalism including all higher terms of A_n's. I will show how the power series expansion of Heun functions can be converted to closed-form integrals for all cases of infinite series and polynomial. One interesting observation resulting from the calculations is the fact that a Gauss hypergeometric function recurs in each of sub-integral forms: the first sub-integral form contains zero term of A_n's, the second one contains one term of A_n's, the third one contains two terms of A_n's, etc. In the appendix, I apply the power series expansion and my integral formalism of Heun function to "The 192 solutions of the Heun equation." Due to space restriction final equations for all 192 Heun functions is not included in the paper, but feel free to contact me for the final solutions. Section 5 contains two additional examples using integral forms of Huen function. This paper is 4th out of 10 in series "Special functions and three term recurrence formula (3TRF)". See section 5 for all the papers in the series. The previous paper in series deals with the power series expansion in closed forms of Heun function. The next paper in the series describes analytically the power series expansion of Mathieu function and its integral formalism.

연구 동기 및 목표

• 헤운 함수의 거듭제곱 급수 전개에 포함된 모든 고차항 $A_n$ 항들을 포함하는 체계적인 적분 체계를 개발하는 것.
• 삼항재귀관계 공식(3TRF)을 사용하여 헤운 함수의 점근적 행동과 수렴 반경을 분석하는 것.
• 헤운 방정식의 삼항재귀관계 구조로 인해 포앙카레-페르론 정리가 일반적으로 적용되지 않는 이유를 보여주는 것.
• 초함수 $_2F_1$ 함수가 하위 적분 형태에서 어떻게 재귀적으로 나타나며, 각 형태가 서로 다른 수의 $A_n$ 항에 대응하는지 보여주는 것.
• 이전의 헤운 함수 급수 전개 연구를 확장하여, 다항식 해를 포함한 모든 경우에 대해 닫힌 형태의 적분 표현을 제공하는 것.

제안 방법

• 논문은 삼항재귀관계 공식(3TRF)을 적용하여 헤운 함수 급수 전개의 점근적 행동과 수렴 성질을 도출한다.
• 복소 경로 적분과 다중 변수를 포함하는 다중 적분 체계를 사용하여 무한급수 해를 적분 표현으로 변환한다.
• 변수 변환 $\xi = \frac{a(x-1)}{x-a}$, $z = -\frac{1}{a}\xi^2$, $\eta = \frac{1+a}{a}\xi$를 사용하여 급수를 적분 형태로 매핑한다.
• 재귀적 연산자 $\overleftrightarrow{w}_{n-k,n}$와 미분 연산자 $\partial_{\overleftrightarrow{w}_{n-k,n}}$를 도입하여 재귀관계의 $A_n$에 의존하는 항들을 다룬다.
• 체계는 하위 적분에 초함수 $_2F_1$를 기본 구성 요소로 포함하며, 매개수 $\alpha$, $\beta$, $\gamma$, $\delta$, $\epsilon$에 따라 달라지며, 보정 항 $Q$와 $\Omega$를 포함한다.
• 다항식 해의 경우, $\beta = \gamma + \delta + 2\beta_i + i$ 또는 $\gamma = \beta - \delta - 2\gamma_i - i$와 같은 종료 조건을 적용하여 유한합을 얻으며, 이는 체계적인 적분 형태를 유지한다.

실험 결과

연구 질문

• RQ1 모든 고차항 $A_n$ 항을 포함한 헤운 함수의 전체 급수 전개를 닫힌 형태의 적분 표현으로 변환하는 방법은 무엇인가?
• RQ2 헤운 함수의 점근적 행동는 어떠한가? 그리고 그 수렴 반경은 매개수와 3TRF 구조에 어떻게 의존하는가?
• RQ3 헤운 방정식은 초함수 유형 방정식과 형식적으로 유사하지만, 포앙카레-페르론 정리가 수렴을 보장하지 못하는 이유는 무엇인가?
• RQ4 $_2F_1$ 함수가 유도된 체계의 하위 적분 구성 요소에서 어떻게 재귀적으로 나타나며, 그 매개수는 포함된 $A_n$ 항의 수에 따라 어떻게 변하는가?
• RQ5 이 적분 체계는 헤운 방정식의 무한해와 다항해에 대해 체계적으로 적용 가능한가? 그리고 다항식 해의 경우 종료 조건은 적분 구조에 어떻게 표현되는가?

주요 결과

• 논문은 $A_n$의 모든 고차항을 포함하는 헤운 함수에 대한 완전한 적분 체계를 도출하였으며, 복소 경로와 특수함수를 포함하는 다차원 적분 표현으로 무한급수를 변환하였다.
• 각 하위 적분 형태는 $_2F_1$ 함수를 포함하며, 재귀관계에 포함된 $A_n$ 항의 수에 따라 초함수 매개수의 구조가 결정된다: 0개, 1개, 2개 등 항의 수에 따라 구분되며 체계적인 하위 적분이 된다.
• 헤운 함수의 수렴 반경은 재귀 계수 $A_n$과 $B_n$의 점근적 행동에 의해 결정되며, 3TRF를 통해 명시적으로 유도되었으며, 이는 이중항 재귀의 경우와는 다르게 수렴에 영향을 준다.
• 헤운 방정식에 삼항재귀관계가 존재함으로써 포앙카레-페르론 정리의 수렴 조건을 충족하지 못하므로, 이 정리는 헤운 방정식에 적용될 수 없다는 것이 입증되었다.
• 다항식 해의 경우, $\beta = \gamma + \delta + 2\beta_i + i$ 또는 $\gamma = \beta - \delta - 2\gamma_i - i$와 같은 종료 조건을 성공적으로 통합하여, $A_n$-의존적 구조를 유지하는 유한합과 체계적인 적분 표현을 얻었다.
• 유도된 적분 체계를 통해 매개수 특수화와 변수 치환을 통해 헤운 함수를 매쓰ieu, 라메, 그리고 축소 헤운 함수 등 다른 특수함수로 정확히 변환할 수 있다.