[논문 리뷰] The power series expansion of Mathieu function and its integral formalism

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

Quantum Mechanics and Non-Hermitian Physics참고 문헌 26인용 수 11

한 줄 요약

이 논문은 3항 재귀 공식(3TRF)을 사용하여 매스추 함수의 처음으로 분석적 거듭제곱 급수 전개를 닫힌 형식으로 제시한다. 무한 급수 해와 그 적분 표현을 유도하기 위해 3TRF를 적용하였으며, 주요 발견은 하위 적분 형태에서 수정 베셀 함수가 나타나며, $ A_n $의 항이 증가할수록 고차수 적분이 되어 이전에 수치 근사에 국한되었던 정확한 해석적 처리를 가능하게 한다.

ABSTRACT

Mathieu ordinary differential equation is of Fuchsian types with the two regular and one irregular singularities. In contrast, Heun equation of Fuchsian types has the four regular singularities. Heun equation has the four kind of confluent forms: (1) Confluent Heun (two regular and one irregular singularities), (2) Doubly confluent Heun (two irregular singularities), (3) Biconfluent Heun (one regular and one irregular singularities), (4) Triconfluent Heun equations (one irregular singularity). Mathieu equation in algebraic forms is also derived from the Confluent Heun equation by changing all coefficients. In this paper I apply three term recurrence formula [arXiv:1303.0806] to the power series expansion in closed forms of Mathieu equation for infinite series and its integral forms including all higher terms of A_n's. One interesting observation resulting from the calculations is the fact that a modified Bessel 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 5 contains two additional examples of Mathieu function. This paper is 5th out of 10 in series "Special functions and three term recurrence formula (3TRF)". See section 6 for all the papers in the series. Previous paper in series deals with asymptotic behavior of Heun function and its integral formalism [arXiv:1303.0876]. The next paper in the series describes the power series expansion in closed forms of Lame equation in the algebraic form and its integral forms [arXiv:1303.0873].

연구 동기 및 목표

• 매스추 함수의 무한 급수 형태에 대한 정확한 해석적 해를 개발하여 오랫동안 수치 근사에 국한된 한계를 극복한다.
• 3항 재귀 공식(3TRF)을 적용하여 매스추 함수의 거듭제곱 급수 전개에 대한 닫힌 형식의 표현을 도출한다.
• 모든 고차수 $ A_n $ 계수를 포함한 매스추 함수의 적분 체계를 수립하여 엄밀한 해석적 처리를 가능하게 한다.
• 수식 내 하위 적분 성분에서 수정 베셀 함수가 $ A_n $ 항의 수에 따라 재귀적으로 나타나는 것을 보여준다.
• 특수 함수 이론과의 호환성을 바탕으로 $ A_n $ 가 종료되는 경우에 3TRF 방법을 확장하여 향후 매스추 다항식의 해석적 해를 위한 기반을 마련한다.

제안 방법

• 매스추 미분방정식의 거듭제곱 급수 해를 $ x = \cos^2 z $의 치환을 통해 대수적 형태로 유도하였으며, 이는 $ x=0 $, $ x=1 $에서 정상 특이점을, $ x=\infty $에서 비정상 특이점을 가진 두 번째 차수의 푸크시안 미분방정식으로 변환된다.
• 급수 계수 $ c_n $ 에 3항 재귀 공식(3TRF)을 적용하여 $ c_{n+1} $ 의 재귀 관계를 $ A_n $ 과 $ B_n $ 에 대해 유도하였으며, 이들은 매개변수 $ \lambda $, $ q $ 및 지표근 $ \nu $ 에 의해 표현된다.
• 일반 해는 $ A_n $ 과 $ B_n $ 항의 다양한 조합에 기여하는 하위 급수 $ y_n(x) $ 의 무한합으로 분해되며, 중첩된 곱과 합의 복잡성이 점차 증가한다.
• 각 $ y_n(x) $ 의 닫힌 형식 표현은 Pochhammer 기호와 초함수 유사 급수를 사용하여 구성되며, 재귀 계수 $ A_n $ 과 $ B_n $ 을 명시적으로 포함한다.
• 각 하위 급수 $ y_n(x) $ 에 대한 적분 표현이 도출되었으며, 수정 베셀 함수가 적분의 구조에 자연스럽게 나타나며, 그 차수와 인자는 포함된 $ A_n $ 항의 수에 따라 결정된다.
• 기존의 극한과의 일致성과 적분의 재귀적 구조를 통해 방법의 타당성을 검증하였으며, 첫 번째 하위 적분에는 $ A_n $ 이 없고, 두 번째에는 하나의 $ A_n $ 이 포함되는 등 점진적인 패턴을 확인하였다.

실험 결과

연구 질문

• RQ1 매스추 함수의 거듭제곱 급수 전개는 체계적인 재귀 기반 방법을 통해 닫힌 형식으로 표현될 수 있는가?
• RQ2 3항 재귀 공식(3TRF)을 어떻게 적용하여 매스추 함수 급수 전개의 모든 고차수 계수 $ A_n $ 에 대한 해석적 표현을 도출할 수 있는가?
• RQ3 수정 베셀 함수는 매스추 함수의 급수 구성 요소의 적분 체계에서 어떤 역할을 하는가?
• RQ4 매스추 함수의 적분 표현은 무한 급수의 모든 항, 특히 고차수 $ A_n $ 기여를 포함하도록 체계적으로 구성될 수 있는가?
• RQ5 매스추 방정식의 푸크시안 구조와 주기적 계수를 고려할 때, 헤운 함수에 사용된 3TRF 접근법을 매스추 방정식으로 일반화할 수 있는가?

주요 결과

• 3항 재귀 공식(3TRF)을 사용하여 매스추 함수의 거듭제곱 급수 전개를 닫힌 형식으로 성공적으로 표현하였으며, 이는 무한 급수 해의 해석적 처리를 가능하게 하였다.
• 매스추 함수의 적분 체계는 수정 베셀 함수가 하위 적분 성분에 나타나는 재귀적 구조를 드러내며, 첫 번째 하위 적분에는 $ A_n $ 항이 없고, 두 번째에는 하나의 $ A_n $ 이 포함되고, 그와 유사하게 계속된다.
• 이 방법은 모든 고차수 $ A_n $ 항에 대해 정확한 표현을 생성하여 문헌에서 오랫동안 수치 근사에 국한되었던 문제를 해결하였다.
• 지표근 $ \nu = 0 $ 과 $ \nu = \frac{1}{2} $ 의 경우에 대해 무한 급수 해가 유도되었으며, 기존의 매스추 함수 행동과의 일致성을 확인하였다.
• 닫힌 형식 표현에 Pochhammer 기호와 초함수 유사 급수가 등장함으로써, 이 방법이 특수 함수 이론과의 호환성을 가짐을 확인하였다.
• 이 체계는 향후 $ A_n $ 가 종료되는 경우에 3TRF 방법을 확장하여 매스추 다항식의 해석적 유도를 위한 기반을 마련하였으며, 파동 방정식과 양자 시스템 등 응용 가능성이 있다.