라마누잔 g함수와 G함수

**라마누잔 g함수와 G 함수**는 모듈러 함수에서 유도된 함수이다. 이 함수의 이름은 인도의 수학자 스리니바사 라마누잔에서 유래됐으며, g함수와 G함수는 타원 모듈러 람다 함수와 대수적 관계를 갖는다. 모듈러 람다 함수는 합동 부분군 Γ(2)에 대하여 불변인 모듈러 함수이다. 타원 모듈러 람다 함수 λ*(x)의 아크탄젠트를 두 배로 늘리는 코탄젠트는 함수 g(x)의 12 제곱과 정확히 동일하다. 타원 모듈러 람다 함수 λ*(x)의 아크사인을 두 배로 늘리는 코시컨트는 함수 G(x)의 12 제곱과 정확히 동일하다.

## 정의
라마누잔에 따른 정의:

:  g(x) = \frac{1}{\sqrt[4]{2}}\exp\left(\frac{\pi}{24}\sqrt{x}\right) \prod_{a=0}^{\infty}\{1-\exp[-(2a+1)\pi\sqrt{x}]\} 
:  G(x) = \frac{1}{\sqrt[4]{2}}\exp\left(\frac{\pi}{24}\sqrt{x}\right) \prod_{a=0}^{\infty}\{1+\exp[-(2a+1)\pi\sqrt{x}]\} 

타원 모듈러 람다 함수를 기반으로하는 함수 g(x) 및 G(x)의 정의:

: g(x) = \tan\{2\arctan[\lambda^*(x)]\}^{-1/12}
: G(x) = \sin\{2\arcsin[\lambda^*(x)]\}^{-1/12}

데데킨트 에타 함수에 기반한 정의:

:  g(x) = 2^{-1/4}\,\eta(\tfrac{1}{2}i\sqrt{x})\,\eta(i\sqrt{x})^{-1} = 
:  = 2^{-1/4} \biggl\{\sum_{a=-\infty}^\infty (-1)^a \exp\biggl[-(6a+1)^2\frac{\pi}{24}\sqrt{x}\biggr]\biggr\} \biggl\{\sum_{a=-\infty}^\infty (-1)^a \exp\biggl[-(6a+1)^2\frac{\pi}{12}\sqrt{x}\biggr]\biggr\}^{-1} 
:  G(x) = 2^{-1/4}\,\eta(\tfrac{1}{2}i\sqrt{x})^{-1}\,\eta(i\sqrt{x})^{2}\,\eta(2i\sqrt{x})^{-1} 

## 역함수
역함수를 표현하려면 제 1 종의 완전한 타원 적분만 필요하다:

:  g^{\langle -1 \rangle}(x) = K(\sqrt{2}x^6\sqrt{\sqrt{x^{24}+1}-x^{12}})^2 K(\sqrt{x^{24}+1}-x^{12})^{-2} 
:  G^{\langle -1 \rangle}(x) = K\biggl(\frac{1}{2}\sqrt{1+x^{-12}}+\frac{1}{2}\sqrt{1-x^{-12}}\biggr)^2 K\biggl(\frac{1}{2}\sqrt{1+x^{-12}}-\frac{1}{2}\sqrt{1-x^{-12}}\biggr)^{-2} 

다음 문장이 유효하다:

: 면: g(x_1 \in \mathbb{A}^+) \in \mathbb{A}^+ , 그런: g(x_1 \in \mathbb{A}^+) \in \mathbb{Q}^+ 
: 면: G(x_2 \in \mathbb{A}^+) \in \mathbb{A}^+ , 그런: G(x_2 \in \mathbb{A}^+) \in \mathbb{Q}^+ 

## 성질
라마누잔 함수 g(x) 과 G(x) 함수는 열린 상반평면 위에서 정칙함수이나. 이 초등이 아닌 초등 함수는 구체적으로 다음과 같은 항등식을 만족한다:

:  G(x) = 2^{-1/8} g(x)^{-1/2}[\sqrt{g(x)^{24}+1}+g(x)^{12}]^{1/8} 
:  G(x) = G(1/x) 
:  g(4x) = 2^{1/4}g(x)G(x) 
:  g(x)g(4/x) = 1 
:  g(9x)^{12} - g(x)^{12} = 2\sqrt{2} g(x)^{9} g(9x)^{9} + 2\sqrt{2} g(x)^{3} g(9x)^{3} 
:  g(25x)^{6} - g(x)^{6} = 2 g(x)^{5} g(25x)^{5} + 2 g(x) g(25x) 
:  g(49x)^{8} + g(x)^{8} - 7 g(x)^{4} g(49x)^{4} = 2\sqrt{2} g(x)^{7} g(49x)^{7} + 2\sqrt{2} g(x) g(49x) 
:  g(121x)^{12} - g(x)^{12} = 
:  = 2\sqrt{2} g(x) g(121x) [g(x)^{2} g(121x)^{2} + 1] [g(x)^{4} g(121x)^{4} + 3 g(x)^{2} g(121x)^{2} + 1] [2 g(x)^{4} g(121x)^{4} + 3 g(x)^{2} g(121x)^{2} + 2] 
:  [g(169x)^{2} - g(x)^{2}] [g(169x)^{4} + g(x)^{4} - 7 g(x)^{2} g(169x)^{2}] \{ [g(169x)^{2} - g(x)^{2}]^4 - g(x)^{2} g(169x)^{2} [g(169x)^{2} + g(x)^{2}]^2 \} = 
:  = 8 g(x)^{13} g(169x)^{13} + 8 g(x) g(169x) 

## 특별한 값
중요한 피솟 비자야라가브한 상수:

다음 값이 정확하다:
:  g(1) = 2^{-1/8} 
:  g(2) = 1 
:  g(3) = 2^{-1/6}(2+\sqrt{3})^{1/8} 
:  g(4) = 2^{1/8} 
:  g(5) = 2^{-1/8}(\sqrt{\Phi}+1)^{1/4} 
:  g(6) = \sqrt[6]{\delta_S} 
:  g(7) = 2^{-1/4}(8+3\sqrt{7})^{1/8} 
:  g(8) = 2^{1/8}\sqrt[8]{\delta_S} 
:  g(9) = 2^{-1/8}(2+\sqrt{3})^{1/24}(\sqrt{2}+\sqrt[4]{3})^{1/4} 
:  g(10) = \sqrt{\Phi} 
:  g(14) = \frac{1}{2}\sqrt{3+\sqrt{2}}+\frac{1}{2}\sqrt{\sqrt{2}-1} 
:  g(18) = (\sqrt{3}+\sqrt{2})^{1/3} 
:  g(22) = \sqrt{\delta_S} 
:  g(26) = \frac{1}{6}\sqrt{2\sqrt{13}-2}(\sqrt{\sqrt{3}+\sqrt{2}}\sqrt[6]{3\sqrt{3}+\sqrt{26}}-\sqrt{\sqrt{3}-\sqrt{2}}\sqrt[6]{3\sqrt{3}-\sqrt{26}})+\frac{1}{3}\sqrt{\sqrt{13}+2} 
:  g(30) = (\sqrt{10}+3)^{1/6}\sqrt{\Phi} 
:  g(34) = \frac{1}{4}\sqrt{14+2\sqrt{17}}+\frac{1}{4}\sqrt{2\sqrt{17}-2} 
:  g(38) = \frac{1}{6}\delta_S^{-1/2}(\sqrt{2\sqrt{57}+14}\sqrt[6]{3\sqrt{57}+16\sqrt{2}}+\sqrt{2\sqrt{57}-14}\sqrt[6]{3\sqrt{57}-16\sqrt{2}}+4+2\sqrt{2}) 
:  g(42) = 2^{-1/2}(\sqrt{7}+\sqrt{3})^{1/2}(2\sqrt{2}+\sqrt{7})^{1/6} 
:  g(46) = \frac{1}{2}\sqrt{5+\sqrt{2}}+\frac{1}{2}\sqrt{\sqrt{2}+1} 
:  g(50) = \frac{1}{2}\biggl\{\frac{4}{3}\sqrt{2}\cos\biggl(\frac{\pi}{10}\biggr)\cosh\biggl[\frac{1}{3}\operatorname{arcosh}\biggl(\frac{4}{5}\sqrt{10}\biggr)\biggr] + \frac{1}{3}\tan\biggl(\frac{\pi}{5}\biggr)\biggr\}^2 - \frac{1}{2} 
:  g(54) = (\delta_S^{3/2}+\sqrt{2}\delta_S^{7/6}+\sqrt{2}\delta_S^{5/6})^{1/3} 
:  g(58) = 2^{-1/2}(\sqrt{29}+5)^{1/2} 
:  g(62) = \cot\biggl[\frac{1}{2}\arcsin\biggl(\frac{1}{4}\sqrt{28\sqrt{2}+38}-\frac{3}{2}-\frac{1}{4}\sqrt{2}\biggr)\biggr]^{1/2} 
:  g(66) = \cot\biggl\{\frac{1}{2}\arcsin\biggl[\frac{1}{8}(8 + 3\sqrt{2} - \sqrt{66})\sqrt[4]{\sqrt{33} + 4\sqrt{2}} - \frac{1}{8}(8 - 3\sqrt{2} + \sqrt{66})\sqrt[4]{\sqrt{33} - 4\sqrt{2}}\biggr]\biggr\}^{1/3} 
:  g(70) = \Phi\sqrt{\delta_S} 
함수 값 g(74)를 결정하려면 오차 방정식을 풀어야 한다:

:  g(74)^5 + g(74)^3 + g(74) - \sqrt{\sqrt{37}+6} \left[g(74)^4 - g(74)^2 + 1\right] = 0 

다음 추가 값이 정확하다:

:  G(1) = 1 
:  G(2) = 2^{-1/8}\sqrt[8]{\delta_S} 
:  G(3) = 2^{1/12} 
:  G(4) = 2^{-3/16}\sqrt[4]{\delta_S} 
:  G(5) = \sqrt[4]{\Phi} 
:  G(6) = 2^{-1/8}(2+\sqrt{3})^{1/8}(\sqrt{3}+\sqrt{2})^{1/8}\delta_S^{-1/12} 
:  G(7) = 2^{1/4} 
:  G(8) = 2^{-3/16}\delta_S^{1/16}(\sqrt{\delta_S}+\sqrt{2})^{1/4} 
:  G(9) = (2+\sqrt{3})^{1/6} 
:  G(10) = 2^{-1/8}(\sqrt{10}+3)^{1/8}\Phi^{-1/4}\delta_S^{1/4} 
:  G(11) = 2^{-1/4}3^{-1}(\sqrt[3]{3\sqrt{33}+17}-\sqrt[3]{3\sqrt{33}-17}+2) = 2^{-1/4}(T_{TRI}^2-T_{TRI}) 
:  G(13) = \sqrt[4]{\delta_B} 
:  G(15) = 2^{1/4}\sqrt[3]{\Phi} 
:  G(17) = \frac{1}{4}\sqrt{10+2\sqrt{17}}+\frac{1}{4}\sqrt{2\sqrt{17}-6} 
:  G(19) = \tfrac{2}{3}\sqrt[4]{18}\cosh[\tfrac{1}{3}\operatorname{arcosh}(\tfrac{3}{4}\sqrt{6})] 
:  G(21) = 2^{-1/4}(8+3\sqrt{7})^{1/12}(\sqrt{7}+\sqrt{3})^{1/4} 
:  G(23) = \tfrac{2}{3}\sqrt[4]{18}\cosh[\tfrac{1}{3}\operatorname{arcosh}(\tfrac{3}{2}\sqrt{3})] = 2^{1/4} \rho 
:  G(25) = \Phi 
:  G(27) = 2^{1/12}3^{-1/3}(\sqrt[3]{2}+1) 
:  G(29) = 2^{-5/4}3^{-1}(\sqrt{29}-5)^{1/4}[\sqrt{29}+3+(\sqrt{3}+1)\sqrt[3]{2\sqrt{29}+6\sqrt{3}}-(\sqrt{3}-1)\sqrt[3]{2\sqrt{29}-6\sqrt{3}}] 
:  G(31) = \tfrac{1}{2}\sqrt[4]{18}\operatorname{csch}[\tfrac{1}{3}\operatorname{arsinh}(\tfrac{3}{2}\sqrt{3})] = 2^{1/4} \psi 
:  G(33) = (10+3\sqrt{11})^{1/12}(2+\sqrt{3})^{1/4} 
:  G(35) = 2^{-9/4}3^{-1}(\sqrt{5}-1)[(\sqrt{7}+\sqrt{3})\sqrt[3]{\sqrt{35}+3\sqrt{3}}+(\sqrt{7}-\sqrt{3})\sqrt[3]{\sqrt{35}-3\sqrt{3}}+6+2\sqrt{5}] 
:  G(37) = (\sqrt{37}+6)^{1/4} 
:  G(39) = 2^{-3/4}\delta_B^{-1/3}(\sqrt{4\delta_B+1}+1) 
:  G(41) = \frac{1}{8}\sqrt{6\sqrt{41}+38}+\frac{1}{8}\sqrt{14-2\sqrt{41}}+\frac{1}{8}\sqrt[4]{40\sqrt{41}+8}+\frac{1}{8}\sqrt[4]{40\sqrt{41}-248} 
:  G(43) = \tfrac{1}{4}\sqrt[4]{72}\operatorname{csch}[\tfrac{1}{3}\operatorname{arsinh}(\tfrac{3}{4}\sqrt{3})] 
:  G(45) = (4+\sqrt{15})^{1/6}\Phi^{3/4} 
함수 값 G(47)를 결정하려면 오차 방정식을 풀어야 한다:
:  [2^{-1/4}G(47)]^5 - [2^{-1/4}G(47)]^3 - 2[2^{-1/4}G(47)]^2 - 2[2^{-1/4}G(47)] - 1 = 0 

## 참고 자료
* Ramanujan, S. "Modular Equations and Approximations to pi." Quart. J. Pure. Appl. Math. 45, 350-372, 1913-1914.
* Borwein, J. M. and Borwein, P. B. Pi & the AGM: A Study in Analytic Number Theory and Computational Complexity. New York: Wiley, pp. 139 and 298, 1987.
*https://mathworld.wolfram.com/Ramanujang-andG-Functions.html
*https://mathworld.wolfram.com/EllipticLambdaFunction.html
*https://mathworld.wolfram.com/DedekindEtaFunction.html
*https://mathworld.wolfram.com/QuinticEquation.html
*https://oeis.org/A000073
*https://oeis.org/A000930
*https://oeis.org/A000931
*https://oeis.org/A084540
*https://arxiv.org/ftp/arxiv/papers/1601/1601.07110.pdf

분류:모듈러 형식