[논문 리뷰] On a General Sextic Equation Solved by the Rogers Ramanujan Continued Fraction

Nikos Bagis|arXiv (Cornell University)|2011. 11. 22.

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

한 줄 요약

이 논문은 로저스-라마누잔 연분수(RRCF)와 j-불변량을 사용하여 일반적인 6차 방정식의 클래스를 해결하는 새로운 방법을 제시한다. 방정식의 계수를 j-불변량과 연결하고 모듈라 매개변수 r을 구함으로써, RRCF 평가의 형태로 해를 표현하며, j-불변량이 낮은 차수의 특수 모듈라에 해당할 경우 루트 표현이 가능해진다.

ABSTRACT

In this article we solve a general class of sextic equations. The solution follows if we consider the $j$-invariant and relate it with the polynomial equation's coefficients. The form of the solution is a relation of Rogers-Ramanujan continued fraction. The inverse technique can also be used for the evaluation of the Rogers-Ramanujan continued fraction, in which the equation is not now the depressed equation but another quite more simplified equation.

연구 동기 및 목표

• 모듈라 함수를 사용하여 형태 $ \frac{b^2}{20a} + bX + aX^2 = C_1X^{5/3} $의 일반 6차 방정식을 해결한다.
• 6차 방정식의 계수와 모듈라 형식의 j-불변량 사이의 관계를 수립한다.
• 해가 로저스-라마누잔 연분수(RRCF)와 디드킨 에타 함수의 형태로 표현될 수 있음을 보여준다.
• 6차 방정식의 대수적 해를 이용한 RRCF의 역함수 평가를 위한 역방법을 제공한다.
• j-불변량이 차수 ≤4인 특수 모듈라에 해당할 경우 해가 루트로 표현될 수 있음을 보여준다.

제안 방법

• 디드킨 에타 함수의 비율로 정의된 j-불변량 $ j_r $를 사용하여 6차 방정식을 모듈라 매개변수와 연결한다.
• 모듈라 매개변수 r을 통한 해법을 가능하게 하기 위해 6차 방정식의 계수 $ C_1 $을 $ j_r = 250C_1^3 a^{-2} b^{-1} $로 연결한다.
• 해 $ X $ 를 $ X = \frac{b}{250a} A_r $ 형태로 표현하며, 여기서 $ A_r = R(q^2)^{-5} - 11 - R(q^2)^5 $ 이고 $ q = e^{-2\pi\sqrt{r}} $ 이다.
• 특수 모듈라 $ k_r $, $ w_r = \sqrt{k_r k_{25r}} $, 그리고 초함수와의 알려진 항등식을 활용한다.
• 5차 모듈라 방정식 $ k_r k_{25r} + k_r' k_{25r}' + 2\cdot 4^{1/3}(k_r k_{25r} k_r' k_{25r}')^{1/3} = 1 $ 을 적용하여 대수적 표현을 유도한다.
• L과 M을 통한 매개변수화를 통해 $ w_r $, $ k_r $, $ k_{25r} $ 를 루트로 표현함으로써 $ A_r $ 의 명시적 평가가 가능해진다.

실험 결과

연구 질문

• RQ1 형태 $ \frac{b^2}{20a} + bX + aX^2 = C_1X^{5/3} $ 의 일반 6차 방정식이 모듈라 함수를 사용하여 해결될 수 있는가?
• RQ2 로저스-라마누잔 연분수는 j-불변량과 6차 방정식의 해와 어떻게 관련되어 있는가?
• RQ3 6차 방정식의 해가 루트로 표현될 수 있는 조건은 무엇인가?
• RQ4 간단화된 대수적 방정식의 해를 이용하여 RRCF의 역함수를 평가할 수 있는가?
• RQ5 특수 모듈라와 초함수는 대수적 형태로 해를 표현하는 데 어떤 역할을 하는가?

주요 결과

• 6차 방정식 $ \frac{b^2}{20a} + bX + aX^2 = C_1X^{5/3} $ 의 해는 $ X = \frac{b}{250a} \left( R(e^{-2\pi\sqrt{r}})^{-5} - 11 - R(e^{-2\pi\sqrt{r}})^5 \right) $ 로 주어지며, 여기서 $ r $ 은 $ j_r = 250C_1^3 a^{-2} b^{-1} $ 를 만족한다.
• j-불변량 $ j_r $ 가 차수 $ \nu \leq 4 $ 인 특수 모듈라에 해당할 경우, 해 $ X $ 는 루트로 표현 가능하며, $ r = 3/4 $ 에서 4차 분해방정식을 통해 이를 입증하였다.
• $ r = 68 $ 인 경우, 중첩된 루트를 포함하는 해가 나타나며, $ Y_{\sqrt{-68/5}} = \frac{5}{16}\left(5360 + 585\sqrt{85} + 4\sqrt{3613670 + 391950\sqrt{85}}\right) \cdot \left( \sqrt{x+4} - \sqrt{x} \right) $ 와 같이 명시적인 정수 계수를 가진다.
• 역변환은 $ N(q^2) = \frac{1}{5} \left( R(q^2)^{-5} - 11 - R(q^2)^5 \right)^{1/6} $ 를 통해 RRCF 평가가 가능하게 하며, 이에 따라 $ X = \frac{125b}{2a} N(q^2)^6 $ 이 된다.
• 해는 $ X_r $ 과 $ X_{4r} $ 를 포함하는 삼차 관계를 만족한다: $ 2^{2/3}a^{1/3}b^{1/3}(X_r X_{4r})^{1/3} + \frac{10 \cdot 2^{1/3}a}{b^{1/3}}(X_r X_{4r})^{2/3} - 2a^{2/3}(X_r + X_{4r}) = 0 $.
• $ C_1^3 = 32a^2b $ 인 경우, 해는 $ X = \frac{b}{250a} \left( R(e^{-2\pi\sqrt{2}})^{-5} - 11 - R(e^{-2\pi\sqrt{2}})^5 \right) $ 로 단순화되며, 닫힌 형태의 평가가 가능하다.