[논문 리뷰] The complete evaluation of Rogers Ramanujan and other continued fractions with elliptic functions

Nikos Bagis|arXiv (Cornell University)|2010. 08. 07.

Advanced Mathematical Identities참고 문헌 12인용 수 10

한 줄 요약

이 논문은 타원 함수와 모듈러 형식을 사용하여 로저스-라마누잔 연속분수 및 관련 연속분수에 대한 완전한 대수적 평가를 제시한다. 이는 역타원 모듈러스 $ q $ 와 완전 타원 적분 $ K $ 에 대해 다항방정식을 유도하며, 라마누잔 연속분수들이 계수가 오직 $ q^{-1} $ 과 $ K $ 에만 의존하는 다항방정식의 근임을 보여준다. 주요 기여는 $ q = e^{-/pi\sqrt{r}} $ 인 경우 $ R(q) $ 의 닫힌 형태 평가로, 이는 루트와 모듈러 불변량을 통해 표현된다.

ABSTRACT

In this article we present evaluations of continued fractions studied by Ramanujan. More precisely we give the complete polynomial equations of Rogers-Ramanujan and other continued fractions, using tools from the elementary theory of the Elliptic functions. We see that all these fractions are roots of polynomials with coeficients depending only on the inverse elliptic nome-q and in some cases the Elliptic Integral-K. In most of simplifications of formulas we use Mathematica.

연구 동기 및 목표

• 기본 타원 함수 이론을 사용하여 로저스-라마누잔 연속분수와 관련 연속분수에 대한 완전한 대수적 평가를 제공하는 것.
• 이 연속분수들의 값이 되는 다항방정식을 유도하며, 계수가 오직 역타원 모듈러스 $ q^{-1} $ 과 완전 타원 적분 $ K $ 에만 의존하는 것.
• 모듈러 항등식과 특수 모듈러 형식 $ k_r $ 의 변환을 사용하여 $ q = e^{-/pi\\sqrt{r}} $ 인 경우 $ R(q) $ 에 대한 명시적 닫힌 형태 표현을 수립하는 것.
• 다른 연속분수들인 $ S(q) $ 와 $ Q(q) $ 에도 이 방법을 확장하여, 모듈러 방정식과 특수 함수를 통해 평가 가능함을 보여주는 것.
• 특히 $ k_r $ 가 대수적일 때도 일반적으로 해당하는 $ r $ 가 유리수가 아니라는 점을 보여, 모듈러 매개변수의 유리성에 대한 기존 가정을 도전하는 것.

제안 방법

• 논문은 $ |q| < 1 $ 인 경우 표준 정의에 따라 로저스-라마누잔 연속분수 $ R(q) = q^{1/5}/(1 + q/(1 + q^2/(1 + \cdots))) $ 를 사용한다.
• Ramanujan의 알려진 항등식, 예를 들어 $ R^{-5}(q) - 11 - R^5(q) = f^6(-q)/(q f^6(-q^5)) $ 를 적용하여 $ R(q) $ 를 모듈러 형식과 타타 함수와 연결한다.
• 역타원 모듈러스 $ k_r $ 는 비율 $ K(k_r')/K(k_r) = \sqrt{r} $ 으로 정의되며, $ q $, $ f(-q) $, $ \Phi(-q) $ 를 통해 $ k_r $ 를 표현한다.
• 모듈러 변환과 특수 모듈러 형식 $ M_5(r) $ 를 사용하여 $ a_r = R^{-5}(q) - 11 - R^5(q) $ 를 변수로 하는 $ R(q) $ 의 오차방정식을 도출한다.
• 모수화를 통해 $ w = \sqrt{k_r k_{25r}} $ 를 사용하고 $ L $ 의 유리함수를 이용하여 $ k_{25r} $ 의 평가를 달성한다. 이는 $ k_r $, $ k_{25r} $, $ w $ 를 포함하는 대칭 방정식을 푸는 방식이다.
• 복잡한 대수적 표현을 단순화하고 $ R(q) $, $ S(q) $, $ Q(q) $ 의 다항식 관계를 도출하기 위해 기호 계산(마크로매틱스)을 활용한다.

실험 결과

연구 질문

• RQ1 타원 함수와 모듈러 항등식만을 사용하여 $ q = e^{-\pi\sqrt{r}} $ 인 경우 로저스-라마누잔 연속분수 $ R(q) $ 를 닫힌 형태로 평가할 수 있는가?
• RQ2 역타원 모듈러스 $ q^{-1} $ 와 완전 타원 적분 $ K(k_r) $ 에 대해 표현된 $ R(q) $ 가 만족하는 다항방정식은 무엇인가?
• RQ3 특수 모듈러 형식 $ k_r $ 와 그 모듈러 군 작용 하에서의 변환을 사용하여 $ R(q) $ 를 대수적으로 평가할 수 있는가?
• RQ4 다른 연속분수들인 $ S(q) $ 와 $ Q(q) $ 의 대수적 구조는 무엇이며, 모듈러 방정식을 통해 $ R(q) $ 와 어떻게 관련되어 있는가?
• RQ5 특수 모듈러 형식 $ k_r $ 가 대수적일 때 $ q = e^{-\pi\sqrt{r}} $ 에서의 매개변수 $ r $ 는 일반적으로 유리수인가? 이는 모듈러 형식에 어떤 함의를 갖는가?

주요 결과

• $ q = e^{-\pi\sqrt{r}} $ 인 경우 로저스-라마누잔 연속분수는 $ R(q) = \left(-\frac{11}{2} - \frac{a_r}{2} + \frac{1}{2}\sqrt{125 + 22a_r + a_r^2}\right)^{1/5} $ 를 만족하며, 여기서 $ a_r = R^{-5}(q) - 11 - R^5(q) $ 이다.
• $ a_r $ 는 명시적으로 $ a_r = \left(\frac{k_r'}{k_{25r}'}\right)^2 \sqrt{\frac{k_r}{k_{25r}}} M_5(r)^{-3} $ 로 주어지며, $ M_5(r) $ 는 $ M_5(r) $ 에 대한 오차방정식을 만족한다.
• 논문은 $ k_{25r} $ 와 $ k_r $ 를 자유 매개변수 $ L $ 을 통해 매개변수화하며, $ w = \sqrt{k_r k_{25r}} $ 와 $ L $ 의 유리함수를 사용한다.
• $ S(q) $ 에 대해 논문은 $ S(q) = \frac{(k_r)^{1/4}}{\sqrt{2}} $ 를 증명하여, 이가 특수 모듈러 형식 $ k_r $ 로 직접 표현됨을 보여준다.
• $ Q(q) $ 에 대해 논문은 $ Q(q) = \frac{1}{2\pi} K(k_r) k_r $ 를 수립하고, $ u = Q(q)/Q(q^2) $, $ v = Q(q^3)/Q(q^6) $ 라면 $ v^4 + u^4 - v^3 u^3 + 6v^2 u^2 - 16vu = 0 $ 이라는 모듈러 방정식을 유도한다.
• 논문은 $ V(e^{-\pi}) $ 와 $ T(e^{-\pi\sqrt{2}}) $ 에 대한 명시적 평가를 제공하며, $ (3 - T)^3(3 + T)^3 / ((1 - T)(1 + T)) = 5832 $ 임을 보여준다.