[논문 리뷰] Power series and integral forms of Lame equation in Weierstrass's form

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

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

한 줄 요약

이 논문은 3항재귀공식(3TRF)을 사용하여 Weierstrass의 형태로 된 Lame 방정식의 멱급수 및 적분 표현을 유도하며, 무한급수와 다항식 해에 대한 닫힌 형태의 적분 표현을 수립한다. 주요 발견은 하위 적분 형태에서 초함수 ${}_2F_1$ 가 반복적으로 나타나며, $A_n$ 항의 거듭제곱이 증가함을 보이며, Poincaré-Perron 정리가 Lame 함수에 대해 항상 적용되지 않는 이유를 명확히 한다.

ABSTRACT

I consider the power series expansion of Lame function in the Weierstrass's form and its integral forms applying three term recurrence formula[1]. I investigate asymptotic expansions of Lame function for the cases of infinite series and polynomials. I will show how the power series expansion of Lame functions in the Weierstrass's form 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. This paper is 7th 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 and the integral formalism of Lame equation in the algebraic form and its asymptotic behavior[19]. The next paper in the series describes the generating functions of Lame equation in the Weierstrass's form[21]. Nine examples of 192 local solutions of the Heun equation (Maier, 2007) are provided in the appendix. For each example, I show how to convert local solutions of Heun equation by applying 3TRF to analytic solutions of Lame equation in Weierstrass's form.

연구 동기 및 목표

• Weierstrass의 형태로 된 Lame 방정식의 멱급수 및 적분 형태를 3항재귀공식(3TRF)을 사용하여 유도하는 것.
• 무한급수 및 다항식 해에 대한 Lame 함수의 점근적 행동을 조사하는 것.
• Poincaré-Perron 정리가 Lame 방정식에 대해 항상 성립하지 않는 조건을 명확히 하는 것.
• 멱급수 전개를 변형하여 모든 경우의 Lame 해—무한급수 및 다항식—에 대해 닫힌 형태의 적분 표현을 수립하는 것.
• 해당 적분 표현의 하위 적분 형태에서 ${}_2F_1$ 초함수의 반복적 등장이 $A_n$ 항의 개수에 따라 어떻게 나타나는지 보여주는 것.

제안 방법

• Weierstrass의 형태로 된 Lame 함수의 멱급수 전개를 유도하기 위해 3항재귀공식(3TRF)을 적용한다.
• 해석적 계속 및 적분 형식을 사용하여 멱급수 해를 경로 적분 표현으로 변환한다.
• 변수 치환 $\xi = \text{sn}^2(z,\rho)$ 를 사용하여 Lame 방정식을 $\xi = 0, 1, \rho^{-2}, \infty$ 에서 정상 특이점을 가진 Fuchsian 미분방정식으로 변환한다.
• 해를 $t_k, u_k, v_k$ 에 대한 중첩 적분과 $w_{n-k,n}$ 를 포함한 경로 적분으로 표현함으로써 적분 형태를 도출한다.
• Maier(2007)의 알려진 Heun 방정식 국소 해를 적용하고, 3TRF를 통해 Heun 해를 Lame 해로 매핑함으로써 192개의 국소 Heun 해를 해석적 Lame 해로 변환한다.
• 재귀적 구조와 초함수 가중함수를 파arameter화하기 위해 $\Omega_{n-k-1}$ 과 $Q$ 를 도입한다.

실험 결과

연구 질문

• RQ1 Weierstrass의 형태로 된 Lame 방정식의 멱급수 해는 어떻게 체계적으로 닫힌 형태의 적분 표현으로 변환될 수 있는가?
• RQ2 왜 Poincaré-Perron 정리는 일부 Lame 방정식 해에 대해 수렴을 보장하지 못하는가?
• RQ3 초함수 ${}_2F_1$ 은 유도된 적분 형태의 하위 적분 구성요소에서 어떤 역할을 하는가?
• RQ4 급수에 포함된 $A_n$ 항의 수가 결과로 얻어지는 적분 표현의 구조에 어떻게 영향을 미치는가?
• RQ5 192개의 Heun 방정식 국소 해는 3TRF를 통해 Weierstrass의 형태로 된 Lame 방정식의 해석적 해로 체계적으로 매핑될 수 있는가?

주요 결과

• Weierstrass의 형태로 된 Lame 방정식의 멱급수 해는 3항재귀공식(3TRF)을 통해 성공적으로 닫힌 형태의 적분 표현으로 변환되었다.
• Poincaré-Perron 정리는 Lame 방정식에 대해 항상 적용되지 않으며, 특히 다항식 해의 경우 3항재귀의 비균일 수렴 행동으로 인해 적용 불가능하다.
• 유도된 표현의 각 하위 적분 형태는 $A_n$ 항의 수가 높은 차수에서 증가함에 따라 ${}_2F_1\left(\frac{\alpha}{4}+\frac{1}{4}, \frac{\alpha}{4}+\frac{1}{2}; \frac{3}{4}; z\right)$ 와 같은 초함수를 포함한다.
• 적분 형태는 $t_k, u_k$ 에 대한 중첩 적분과 $v_k$ 에 대한 경로 적분으로 구성되며, 재귀적 미분 연산자와 $\Omega_{n-k-1}$, $Q$ 를 포함한다.
• 3TRF를 적용하여 Heun 방정식 국소 해에서 Lame 방정식 해로의 변환은 체계적으로 수행되었으며, 부록에 9개의 예제가 제시되었다.
• 해의 점근적 행동이 분석되었으며, $x$ 에 대한 경계 조건이 유도되었으며, 이는 $\rho$ 와 $\alpha$ 에 따라 달라진다.