[논문 리뷰] Generalized Elliptic Integrals and Applications

Nikos Bagis|arXiv (Cornell University)|2013. 04. 04.

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

한 줄 요약

이 논문은 초함수, 모듈러 형식, Dedekind eta 함수의 특수값을 사용하여 일반화된 타원적 적분과 Rogers-Ramanujan 연분수(RRCF) 적분의 닫힌 형식 평가를 유도한다. RRCF, 초함수 급수, 타원적 적분 간의 새로운 연결을 수립하여, $ f(-q)^4 q^{-5/6} R(q)^{5u} $ 및 $ u(q)^n $를 포함하는 적분에 대한 정확한 결과를 도출하며, 모듈러 방정식과 Ramanujan 유형의 $ /pi $ 공식에의 적용을 포함한다.

ABSTRACT

We use some general properties, presented in previous work, to evaluate special cases of integrals relating Rogers-Ramanujan continued fraction, eta function and elliptic integrals.

연구 동기 및 목표

• Rogers-Ramanujan 연분수(RRCF), Dedekind eta 함수, 타원적 적분을 포함하는 적분의 특수 케이스를 고급 특수함수를 사용하여 평가하기.
• 초함수 및 감마 함수를 사용하여 $ \int_0^{R^{-1}(\sqrt[5]{(-11+5\sqrt{5})/2})} f(-q)^4 q^{-5/6} R(q)^{5\nu} dq $ 형태의 적분에 대한 닫힌 표현식을 도출하기.
• 치환과 Appell $ F_1 $ 초함수 항등식을 통해 RRCF 및 eta 함수 적분에 대한 새로운 모듈러 방정식과 변환을 수립하기.
• R(q)와 $ m(R) $, $ \psi^*(x) $를 포함하는 모듈러 방정식의 해를 이용하여 임의의 정밀도를 가진 Ramanujan 유형의 $ \pi $-공식을 구성하기.
• u(q) = R(q)^{-5} - 11 - R(q)^5를 포함하는 적분의 평가를 일반화하고, 이를 타원적 적분 및 알려진 특수함수와 연결하기.

제안 방법

• Rogers-Ramanujan 연분수(RRCF)에 대한 Ramanujan의 항등식을 사용하여 RRCF를 모듈러 형식과 연결한다. 예를 들어 $ \frac{1}{R(q)} - 1 - R(q) = \frac{f(-q^{1/5})}{q^{1/5} f(-q^5)} $ 및 $ \frac{1}{R^5(q)} - 11 - R^5(q) = \frac{f(-q)^6}{q f(-q^5)^6} $.
• 미분 공식 $ R'(q) = 5^{-1} q^{-5/6} f(-q)^4 R(q) \sqrt[6]{R(q)^{-5} - 11 - R(q)^5} $을 적용하여 적분을 R(q)에 대한 유리형으로 변환한다.
• Appell $ F_1 $ 초함수와 Gauss 초함수의 오일러 적분 표현식을 사용하여 $ \int x^m (ax^2 + bx + c)^n dx $ 형태의 적분을 평가한다.
• 변환 $ x \to w^{1/5} $, $ w \to y/\rho_2 $, $ w^{-1} - 11 - w \to t $를 통해 복잡한 적분을 표준 초함수 형태로 축소한다.
• eta 함수, 모듈러 형식, 완전 타원적 적분 간의 알려진 관계, 예를 들어 $ f(-q) = 2^{1/3} \pi^{-1/2} q^{-1/24} k^{1/12} k'^{1/3} K(k)^{1/2} $를 사용하여 적분을 $ k $, 즉 특수 모듈러스에 대해 표현한다.
• 미분 관계 $ \frac{dq}{dk} = \frac{-q \pi^2}{2 k k'^2 K(k)^2} $를 적용하여 $ \frac{dR}{dk} $를 유도하고, 이는 $ k $와 $ F_1 $ 또는 $ {}_2F_1 $ 함수에 대한 적분을 가능하게 한다.

실험 결과

연구 질문

• RQ1 형태 $ \int_0^{R^{-1}(\sqrt[5]{(-11+5\sqrt{5})/2})} f(-q)^4 q^{-5/6} R(q)^{5\nu} dq $의 적분은 초함수를 사용하여 닫힌 형식으로 평가될 수 있는가?
• RQ2 Rogers-Ramanujan 연분수와 Dedekind eta 함수를 사용하여 새로운 모듈러 방정식과 변환을 유도할 수 있는가?
• RQ3 n \in \{1/2, 1, 3/2, 2, \dots\} 인 경우 $ \int_0^{u^{-1}(x)} u(q)^n \frac{f(-q^5)^5}{f(-q)} dq $의 정확한 평가는 무엇이며, 이는 타원적 적분과 어떻게 관련되는가?
• RQ4 m(R)과 $ \psi^*(x) $를 포함하는 모듈러 방정식의 해를 기반으로 임의의 정밀도를 가진 Ramanujan 유형의 $ \pi $-공식을 구성할 수 있는가?
• RQ5 일반화된 베타 함수 $ B_\alpha(x) $, 방정식 $ B_\alpha(1 - \beta_r)/B_\alpha(\beta_r) = \sqrt{r} $의 해 $ \beta_r $, 그리고 초함수 급수 전개 간의 연결 고리는 무엇인가?

주요 결과

• 적분 $ \int_0^{R^{-1}(\sqrt[5]{(-11+5\sqrt{5})/2})} f(-q)^4 q^{-5/6} R(q)^{5/2} dq $는 $ \frac{27\Gamma(5/6)\Gamma(8/3)\sin\left(\frac{2}{3}\arctan\left(\sqrt{\frac{-11+5\sqrt{5}}{11+5\sqrt{5}}}\right)\right)}{2\sqrt{5\pi}} $로 정확히 평가되며, 감마 함수와 삼각함수에 대한 닫힌 표현식이다.
• u(q) = R(q)^{-5} - 11 - R(q)^5인 경우, 적분 $ \int_0^{u^{-1}(x)} u(q)^n \frac{f(-q^5)^5}{f(-q)} dq = -\int_0^x \frac{t^{n-1}}{\sqrt{125 + 22t + t^2}} dt $로 간소화되며, $ n \in \{1/2, 1, 3/2, \dots\} $일 때 타원적 적분으로 축소된다.
• 항등식 $ \pi \int_{\sqrt{r}}^{\infty} \eta(it/2)^4 dt = 3\sqrt[3]{2k_r} \cdot {}_2F_1\left[\frac{1}{3}, \frac{1}{6}; \frac{7}{6}; k_r^2\right] = 5 \int_0^{R(q)} \frac{dx}{x \sqrt[6]{x^{-5} - 11 - x^5}} $는 eta 함수를 초함수와 RRCF 적분에 연결한다.
• r = 4일 때, 평가 $ R(e^{-2\pi}) = -\frac{1+\sqrt{5}}{2} + \sqrt{\frac{5+\sqrt{5}}{2}} $는 $ \int_2^{\infty} \eta(it/2)^4 dt = 5\pi^{-1} \int_0^{R(e^{-2\pi})} \frac{dx}{x \sqrt[6]{x^{-5} - 11 - x^5}} $로 이어지며, 새로운 정확한 공식이다.
• 함수 $ m(R) = \sin^2\left(\frac{\pi}{2(R+1)}\right) $는 모듈러 방정식 $ m(R+1) = \frac{1 - \sqrt{1 - m(R/2)}}{2} $를 만족하며, 이는 Ramanujan 유형의 $ \pi $-공식을 재귀적으로 구성하는 데 기여한다.
• 급수 $ \sum_{n=0}^\infty \frac{(1/4)_n (3/4)_{-n}}{(1/2)_{-n} n!} \frac{m(R)^{n+1/2}}{n+1/2} = 2\arcsin(\sqrt{m(R)}) $는 $ m(R) $가 루트로 평가될 경우, 임의의 정밀도를 가진 Ramanujan 유형의 $ \pi $-공식을 도출한다.