[논문 리뷰] Special functions and reversible three-term recurrence formula (R3TRF)

Yoon-Seok Choun|arXiv (Cornell University)|2013. 09. 27.

Algebraic and Geometric Analysis참고 문헌 37인용 수 5

한 줄 요약

이 논문은 특수함수인 헤운, 공액 헤운, 거대 공액 초함수하이퍼기하급수 및 매스티에 함수의 생성함수, 멱급수 및 적분 표현을 체계적으로 유도하기 위해 새로운 가역성 있는 3항 재귀 공식(R3TRF)을 도입한다. R3TRF를 활용하여 다항함수 및 무한급수 해의 닫힌형 생성함수를 구성함으로써, 정상 및 비정상 특이점을 가진 여러 종류의 방정식에서 계수와 특수함수 값의 정확하고 효율적인 계산이 가능해진다.

ABSTRACT

In the previous series "Special functions and three term recurrence formula (3TRF)", I generalize the three term recurrence relation in the linear differential equation for the infinite series and polynomial which makes B_n term terminated including all higher terms of A_n's. In this series I will show how to obtain the formula for the polynomial which makes A_n term terminated including all higher terms of B_n's and infinite series of its power series expansion. In the future series I will show you for the polynomial which makes A_n and B_n terms terminated at same time; the power series, integral formalism and generating function such as Heun, Mathieu, Lame and GCH equations will be constructed analytically. In chapter 1, I will generalize the three term recurrence relation in linear differential equation in a backward for the infinite series and polynomial which makes A_n term terminated including all higher terms of B_n's. In chapters 2-9, I will apply reversible three term recurrence formula to (1) the power series expansion in closed forms, (2) its integral representation and (3) generating functions of Heun, Confluent Heun, GCH, Lame and Mathieu equations that consist of three term recursion relation for the infinite series and polynomial which makes A_n term terminated.

연구 동기 및 목표

• 정상 또는 비정상 특이점을 가진 두 번째 차수 선형 미분방정식에 의해 지배되는 특수함수를 다루기 위한 통합적 프레임워크를 R3TRF를 활용하여 개발한다.
• R3TRF를 무한급수 및 적분 형식에 적용하여 헤운 다항함수, 공액 헤운 다항함수 및 매스티에 함수의 명시적 생성함수를 도출한다.
• 재귀 관계 및 적분 변환을 통해 무한급수 및 다항함수 해의 계수를 체계적으로 계산하는 방법을 제공한다.
• R3TRF의 적용 범위를 일반화된 구형파라볼로이드 방정식 및 거대 공액 초함수하이퍼기하급수로 확장하여, 영점 및 무한대에 특이점을 가진 경우를 포함한다.
• 미분방정식을 재귀 기반 표현으로 변환하는 일관된 형식을 수립함으로써 다양한 특수함수에 대해 분석적이고 계산 가능한 해를 가능하게 한다.

제안 방법

• 특수함수의 멱급수 전개에서 계수에 대한 재귀 관계를 도출하기 위해 가역성 있는 3항 재귀 공식(R3TRF)을 적용한다.
• R3TRF를 통해 유도된 계수를 기반으로 무한급수 해를 형식적 멱급수로 표현함으로써 생성함수를 유도한다.
• 중요한 가중함수와 보조 매개변수를 포함한 다중 적분을 이용하여 해를 닫힌 형태로 표현하는 적분 형식을 구성한다.
• 재귀 및 변환 행동을 인코딩하기 위해 매개변수 $ s_n $, $ h_j $, $ \eta $, 및 $ \Omega_\rho $를 포함한 재귀적 구조를 도입한다.
• R3TRF를 통해 유도된 생성함수 항등식을 활용하여, $ \prod_{l=1}^\infty \frac{1}{1 - s_{l,\infty}} $ 와 같은 항의 곱과 $ [0,1] $ 에서의 중첩 적분을 포함하는 표현을 통해 해를 표현한다.
• 헤운, 매스티에, 공액 헤운 등의 미분방정식에 대해 계수를 대입하고 R3TRF를 적용함으로써 생성함수를 도출하는 재귀 시스템으로 변환한다.

실험 결과

연구 질문

• RQ1 가역성 있는 3항 재귀 공식(R3TRF)을 어떻게 체계적으로 적용하여 헤운 유형 함수의 생성함수를 도출할 수 있는가?
• RQ2 R3TRF 하에서 타입 1 및 타입 2 공액 헤운 다항함수의 생성함수는 어떤 구조를 가지는가?
• RQ3 R3TRF는 무한대에서 비정상 특이점을 가진 방정식, 예를 들어 거대 공액 초함수하이퍼기하급수 방정식을 다룰 수 있도록 확장될 수 있는가?
• RQ4 R3TRF를 통해 도출된 적분 형식은 매스티에 및 헤운 함수의 표준 급수 해와 비교해 볼 때 정확도와 수렴성 측면에서 어떻게 다른가?
• RQ5 보조 매개변수 $ \Omega_\rho $, $ \eta $, 및 $ z $ 는 생성함수의 안정화 및 매개변수화에 어떤 역할을 하는가?

주요 결과

• R3TRF를 통해 헤운 다항함수 타입 2의 생성함수를 $ z $ 에 대한 형식적 멱급수로 도출할 수 있으며, 계수는 중첩 적분과 재귀 매개변수로 표현된다.
• 영점에 정상 특이점을 가진 공액 헤운 함수의 경우, R3TRF는 $ \sum_{h_0=0}^\infty \frac{(1/2)^{h_0}}{h_0!} s_0^{h_0} \prod_{n=1}^\infty \left( \sum_{h_n=h_{n-1}}^\infty s_n^{h_n} \right) $ 를 포함하는 타입 1 다항함수의 생성함수를 도출한다. 이는 정의된 매개변수 제약 조건 하에서 수렴한다.
• 타입 2 공액 헤운 다항함수의 적분 형식은 $ [0,1] $ 에서의 다중 중첩 적분을 포함하며, $ s_n $, $ t_n $, $ u_n $, 및 $ \eta $ 에 따라 달라지는 가중함수 $ \Gamma_n $ 를 포함하여 정확한 계수 계산이 가능하다.
• 거대 공액 초함수하이퍼기하급수의 경우, 타입 2 다항함수의 생성함수는 매개변수 $ \Omega_\rho = \frac{\alpha+1}{2-\rho^2} $ 를 포함하며, 계수에 $ A(s_0; \text{ew}_{1,n}) $ 와 $ \Gamma_n $ 항이 포함된 $ z $ 에 대한 급수로 표현된다.
• 매스티에 함수 타입 2의 생성함수는 R3TRF를 통해 구성되며, 계수는 $ \sum_{h_0=0}^\infty \frac{(1/2)^{h_0}}{h_0!} s_0^{h_0} \prod_{n=1}^\infty \left( \sum_{h_n=h_{n-1}}^\infty s_n^{h_n} \right) $ 를 포함하고, $ \Gamma_1 $ 과 $ A(s_0; \text{ew}_{1,1}) $ 를 이용한 닫힌 형태의 적분 표현이 있다.
• 이 방법은 192개의 헤운 함수로 일반화되며, 부록에 명시적인 생성함수와 적분 형식이 제공되어 R3TRF가 특수함수 계열 전반에 걸쳐 넓은 적용 가능성을 보여준다.