[논문 리뷰] Lame equation in the algebraic form

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

Quantum chaos and dynamical systems참고 문헌 17인용 수 9

한 줄 요약

이 논문은 3항재귀공식(3TRF)을 사용하여 라마 함수의 닫힌형 멱급수 및 적분 표현을 유도하며, $A_n$ 항의 수에 따라 하위 적분 형태에 초월함수 ${}_2F_1$ 가 반복됨을 보여준다. 이 방법은 무한 급수 및 다항식 형태의 해를 분석적으로 구하는 데 가능하게 하며, 타원형 조화함수 및 특수함수 이론에 적용된다.

ABSTRACT

Lame equation arises from deriving Laplace equation in ellipsoidal coordinates; in other words, it's called ellipsoidal harmonic equation. Lame functions are applicable to diverse areas such as boundary value problems in ellipsoidal geometry, chaotic Hamiltonian systems, the theory of Bose-Einstein condensates, etc. In this paper I will apply three term recurrence formula [arXiv:1303.0806] to the power series expansion in closed forms of Lame function in the algebraic form(infinite series and polynomial) and its integral forms including all higher terms of A_n's. I will show how to transform power series expansion of Lame function to an integral formalism mathematically for 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. Section 6 contains additional examples of application in Lame function. This paper is 6th out of 10 in series "Special functions and three term recurrence formula (3TRF)". See section 7 for all the papers in the series. Previous paper in series deals with the power series expansion of Mathieu function and its integral formalism [arXiv:1303.0820]. The next paper in the series describes the power series and integral forms of Lame equation in the Weierstrass's form and its asymptotic behaviors [arXiv:1303.0878].

연구 동기 및 목표

• 라마 방정식의 푸아세르 유형 멱급수 해에 3항재귀공식(3TRF)을 적용하여 대수적 형태로 라마 함수의 닫힌형 해석적 해를 도출하는 것.
• 계수 $c_n$ 에 대한 재귀관계를 반복적으로 풀어 라마 함수의 멱급수에 대한 닫힌형 표현을 도출하는 것.
• 각 항을 Pochhammer 기호와 초월함수의 곱으로 표현함으로써 얻어진 멱급수를 적분 형식으로 변환하는 것.
• 각 하위 적분 형태가 $A_n$ 항의 수에 따라 증가하는 $A_n$ 항에 의존하는 ${}_2F_1$ 함수를 포함하고 있음을 확인하는 것.
• 특정 고유값에서 다항식 해를 얻기 위해 $B_{2eta_i + (i+1)} = 0$ 조건을 사용하여 $B_n$ 항을 종료하는 것.
• 무한 급수 및 다항식 형태의 경우에 모두 이 방법을 적용하며, $β_i$ 는 종료 지점을 결정하는 고유값으로 사용된다.

제안 방법

• 라마 방정식의 푸아세르 유형 멱급수 해에 3항재귀공식(3TRF) [10]을 적용한다.
• 계수 $c_n$ 에 대한 재귀관계를 반복적으로 풀어 라마 함수의 멱급수에 대한 닫힌형 표현을 유도한다.
• 각 항을 Pochhammer 기호와 초월함수의 곱으로 표현함으로써 얻어진 멱급수를 적분 형식으로 변환한다.
• 각 하위 적분 형태가 $A_n$ 항의 수에 따라 증가하는 $A_n$ 항에 의존하는 ${}_2F_1$ 함수를 포함하고 있음을 확인한다.
• 특정 고유값에서 다항식 해를 얻기 위해 $B_{2eta_i + (i+1)} = 0$ 조건을 사용하여 $B_n$ 항을 종료한다.
• 무한 급수 및 다항식 형태의 경우에 모두 이 방법을 적용하며, $β_i$ 는 종료 지점을 결정하는 고유값으로 사용된다.

실험 결과

연구 질문

• RQ1 대수적 형태로 표현된 라마 함수의 멱급수 전개는 3항재귀공식을 통해 어떻게 닫힌형으로 표현될 수 있는가?
• RQ2 라마 함수의 멱급수 전개로부터 도출된 적분 형식의 수학적 구조는 무엇인가?
• RQ3 왜 $A_n$ 항의 수가 증가함에 따라 하위 적분 형태에 초월함수 ${}_2F_1$ 가 반복되는가?
• RQ4 라마 함수의 적분 형식은 생성함수 및 직교관계 유도에 어떻게 기여하는가?
• RQ5 고유값 $\beta_i$ 는 $B_n$ 항을 종료하여 다항식 해를 생성하는 데 어떤 역할을 하는가?

주요 결과

• 대수적 형태로 표현된 라마 함수의 멱급수 전개는 3항재귀공식(3TRF)을 사용하여 성공적으로 닫힌형으로 표현되었다.
• 라마 함수의 적분 형식은 각 하위 적분에 ${}_2F_1$ 초월함수가 반복적으로 나타나며, 하위 적분마다 포함된 $A_n$ 항의 수가 증가한다.
• 특정 고유값에 대응하는 $β_i$ 에서 $B_{2eta_i + (i+1)} = 0$ 를 적용함으로써 다항식 해가 도출된다.
• $\alpha = 2(2\alpha_i + i + \lambda)$ 와 $\alpha = -2(2\alpha_i + i + \lambda) - 1$ 의 해는 동일한 결과를 제공하며, 재귀 구조의 일관성을 확인한다.
• 유도된 적분 형식을 통해 생성함수를 구성할 수 있으며, 이는 물리적 응용에서 재귀관계 및 기대값 유도에 필수적이다.
• 이 방법은 적분 형식을 통해 라마 함수를 초월함수, 베셀 함수, 레지온드르 함수, 쿠머 함수와 같은 잘 알려진 특수함수로 표현할 수 있는 길을 제공한다.