[논문 리뷰] Jacobian Elliptic Functions, Continued Fractions and Ramanujan Quantities

Nikos Bagis, M. L. Glasser|arXiv (Cornell University)|2010. 01. 15.

Advanced Mathematical Identities참고 문헌 6인용 수 8

한 줄 요약

이 논문은 유한한 곱, 합, 연분수에 대한 새로운 평가를 제시하며, 특히 유리수 $ r $ 에 대해 $ q = e^{-\pi\sqrt{r}} $ 형태의 인자들을 사용하는 자코비 타원 함수와 라마누잔의 항등식을 활용한다. $ r \in \mathbb{Q}^+ $ 일 때, 모듈러 형식, 타원 적분, 대수적 수를 통해 라마누잔 형 연분수와 그 도함수에 대한 닫힌 형태의 표현을 유도하며, 타우 함수와 모듈러 변환을 통해 정확한 평가를 확립한다.

ABSTRACT

In this article we present ways to evaluate certain sums, products and continued fractions using tools from the theory of elliptic functions. The specific results appear to be new, although similar ones can be found in the leterature; in most cases the methods applied are different.

연구 동기 및 목표

• 타원 함수 이론을 사용하여 $ q = e^{-\pi\sqrt{r}} $ 를 포함하는 무한 곱과 합에 대한 정확한 닫힌 형태 평가를 유도한다.
• 라마누잔 연분수, 타우 함수, 모듈러 형식 사이의 새로운 관계를 설정한다.
• 특이 모듈러스에서 라마누잔 형 연분수의 도함수를 평가하며, 그 결과가 $ K(k)^2 / \pi^2 $ 의 대수적 배수임을 보인다.
• 랜덴 변환과 모듈러 매개변수를 사용하여 $ \prod (1 - q^n)^k $ 과 $ \sum q^{n^2 + zn} $ 의 알려진 항등식을 일반화한다.

제안 방법

• 모듈러 형식을 $ q $ 로 표현하기 위해 $ \phi(-q) $, $ f(-q) $, $ (q;q)_\infty $ 의 자코비 삼중곱 및 무한 곱 항등식을 사용한다.
• 랜덴 변환과 모듈러 항등식을 적용하여 $ k $, $ k' $, $ K(k) $, $ q = e^{-\pi\sqrt{r}} $ 를 연결한다.
• 타우 함수 $ \vartheta_3(q) = \sum_{n=-\infty}^\infty q^{n^2} $ 와 그 로그 도함수를 사용하여 급수 항등식을 도출한다.
• $ q $-하이퍼기하급수 $ {}_2\phi_1 $ 와 로저스-라마누잔 연분수 $ R(q) $ 를 통해 연분수 항등식을 유도한다.
• $ R^*(q) = q^{-1/5} R(q) = \frac{(q;q^5)_\infty (q^4;q^5)_\infty}{(q^2;q^5)_\infty (q^3;q^5)_\infty} $ 의 변환을 사용하여 연분수를 $ q $-포흐하머 기호의 곱과 연결한다.
• 유리수 $ r $ 에 대해 항등식 $ \frac{d}{dq} R(a,b,p;q) = \frac{K(k_r)^2}{q\pi^2} \cdot \text{대수적} $ 을 적용하여 특이 모듈러스에서 정확성을 증명한다.

실험 결과

연구 질문

• RQ1 라마누잔 형 연분수는 $ r $ 가 유리수일 때 $ q = e^{-\pi\sqrt{r}} $ 에서 정확하게 평가될 수 있는가?
• RQ2 $ \sum_{n=-\infty}^\infty q^{n^2 + zn} $ 의 닫힌 형태 표현은 타원 적분과 모듈러 매개변수로 어떻게 기술될 수 있는가?
• RQ3 라마누잔의 연분수 도함수는 특이 모듈러스에서 어떻게 행동하며, 대수적으로 표현될 수 있는가?
• RQ4 $ \prod_{n=1}^\infty (1 - q^n)^8 $ 은 $ q = e^{-\pi\sqrt{r}} $ 에서 정확하게 평가될 수 있으며, $ K(k) $ 와 $ \Gamma(1/3) $ 와의 관계는 무엇인가?
• RQ5 $ R(a,b,p;q) $ 와 타우 함수 $ \vartheta_4 $ 의 비율 사이에 모듈러 변환 관계가 존재하는가?

주요 결과

• $ r = 3 $ 일 때, $ \prod_{n=1}^\infty (1 + e^{-n\pi\sqrt{3}})^8 = \frac{e^{\pi/\sqrt{3}}}{2^{2/3}(26 + 15\sqrt{3})^{1/3}} $.
• $ r = 3 $ 일 때, $ \prod_{n=1}^\infty (1 - e^{-n\pi\sqrt{3}})^8 = \frac{3(2 + \sqrt{3})e^{\pi/\sqrt{3}} \Gamma^{12}(1/3)}{1024\pi^8} $.
• $ q = e^{-\pi} $ 에서 $ R(1,2,4;q) $ 의 도함수는 $ \frac{e^{\pi} \Gamma(1/4)^4}{64 \cdot 2^{5/8} \pi^3} $ 이다.
• $ q = e^{-\pi} $ 에서 $ R(1,2,5;q) $ 의 도함수는 $ \frac{e^{\pi} \Gamma(1/4)^4}{16\pi^3} \rho $ 이며, 여기서 $ \rho $ 는 8차 대수 방정식을 만족한다.
• $ q = e^{-\pi\sqrt{2}/p} $ 일 때, $ R\left(-\frac{(\sqrt{2}-4mi)\pi i}{4}, -\frac{(2-i\sqrt{2}-4m)p}{4}, p; e^{-\pi\sqrt{2}/p}\right) = (-i)^m \sqrt{\sqrt{2} - 1} $.
• 비율 $ \frac{\tau_0(m+1,q)}{\tau_0(m+1/2,q)} = (k_{r/4})^{1/2} $ 이며, 여기서 $ \tau_0 $ 는 라마누잔 타우 함수이다.