[논문 리뷰] Evaluations of Derivatives of Jacobi Theta Functions in the origin

Nikos Bagis|arXiv (Cornell University)|2011. 05. 28.

Advanced Mathematical Identities참고 문헌 1인용 수 4

한 줄 요약

이 논문은 라마누잔의 아이zen슈타인 급수 $P$, $Q$, $R$를 사용하여 $\vartheta_1(z)$의 홀수계 도함수와 $\vartheta_4(z)$의 짝수계 도함수를 원점에서 폐쇄형으로 평가한다. 라마누잔의 항등식과 파비오 브루노의 공식을 활용하여, $P$, $Q$, $R$와 그 $q$-시프트된 형태를 다항식으로 표현함으로써, 모듈러 형식과 디데킨트 에타 함수를 이용해 $\vartheta_1^{(2\nu+1)}(0)$ 및 $\vartheta_4^{(2\nu)}(0)$를 정확하게 계산할 수 있다.

ABSTRACT

In this article using Ramanujan's theory of Eisenstein series we evaluate completely the derivatives of the theta functions $\vartheta_1^{(2ν+1)}(z)$ and $\vartheta_4^{(2ν)}(z)$ in the origin in closed polynomials forms using only the first three Eisenstein series of weights 2,4, and 6.

연구 동기 및 목표

• 원점에서 $ \vartheta_1(z) $의 $ (2\nu+1) $-번째 도함수에 대한 다항식 표현을 폐쇄형으로 유도하며, 이는 오직 아이젠슈타인 급수 $P$, $Q$, $R$로만 표현된다.
• 파비오 브루노의 공식과 모듈러 형식을 기반으로 한 재귀 관계를 활용하여 $ \vartheta_4(z) $의 $ 2\nu $-번째 도함수를 계산하는 방법을 확장한다.
• 다항식 전개에서 계수 $ b_{ijk} $를 체계적으로 평가할 수 있는 방법을 제공하여, 고차 도함수의 명시적 계산을 가능하게 한다. 이는 $ S_3(2\nu+1) = \eta^3(\tau) \sum b_{ijk} P^i Q^j R^k $ 형태의 전개에 기여한다.
• 라마누잔의 아이젠슈타인 급수 및 쌍곡탄함수 도함수에 대한 결과들을 통합하고 일반화하여, 모듈러 형식에 대한 체계적인 계산 프레임워크를 제시한다.

제안 방법

• 아이젠슈타인 급수 $ P = E_2 $, $ Q = E_4 $, $ R = E_6 $의 라마누잔 이론과 그 생성함수 $ \Phi_{2\nu+1}(q) $를 사용하며, 이는 $ Q $와 $ R $에 대한 다항식으로 표현된다.
• 도함수 평가를 계수 계산으로 줄이기 위해 $ \vartheta_1^{(2\nu+1)}(0) = 2(-1)^\nu S_3(2\nu+1) $라는 항등식을 적용한다. 여기서 $ S_3(2\nu+1) $는 홀수 정수에 대한 쌍곡탄급수이다.
• 파비오 브루노의 공식을 사용하여 $ \log \vartheta_4(z) $의 $ 2\nu $-번째 도함수를 벨 다항식과 $ \vartheta_4(z) $의 저차 도함수의 조합으로 표현함으로써 재귀적 평가를 가능하게 한다.
• $ \frac{\vartheta_4'(z)}{\vartheta_4(z)} = 4\sum_{n=1}^\infty \frac{q^n \sin(2nz)}{1 - q^{2n}} $라는 관계를 활용하여 $ \vartheta_4^{(2\nu)}(0) $에 대한 미분방정식을 유도하며, 이는 $ \Phi_{2\nu-1}(q) $와 아이젠슈타인 급수와 연결된다.
• 라마누잔의 $ S_{1,2n} $에 대한 재귀식을 적용하여 $ \Phi_{2\nu+1}(q) $를 평가함으로써, $ \vartheta_1 $ 도함수 계산에 필요한 항들을 확보한다.
• $ E_{2\nu}(\tau) $와 $ E_{2\nu}(2\tau) $를 사용하여 $ \vartheta_4^{(2\nu)}(0) $에 대한 재귀식을 유도하며, 계수는 $ P(q), Q(q), R(q), P(q^2), Q(q^2), R(q^2) $의 유리함수로 표현된다.

실험 결과

연구 질문

• RQ1 원점에서 $ \vartheta_1(z) $의 $ (2\nu+1) $-번째 도함수는 $ P, Q, R $ 및 디데킨트 에타 함수의 다항식으로 표현될 수 있는가?
• RQ2 라마누잔의 아이젠슈타인 급수 항등식은 $ \Phi_{2\nu+1}(q) $를 재귀적으로 계산하는 데 어떻게 활용될 수 있으며, 이는 $ \vartheta_1^{(2\nu+1)}(0) $ 평가에 필수적인가?
• RQ3 $ \vartheta_4(z) $의 $ 2\nu $-번째 도함수를 $ P(q), Q(q), R(q), P(q^2), Q(q^2), R(q^2) $의 조합으로 표현할 수 있는 재귀 관계의 구조는 어떠한가?
• RQ4 $ \vartheta_1^{(2\nu+1)}(0) $ 및 $ \vartheta_4^{(2\nu)}(0) $의 다항식 전개 계수는 모듈러 형식 $ P, Q, R $와 그 $ q $-시프트된 형태에 따라 어떻게 의존하는가?
• RQ5 모듈러 형식의 대수적 조합만을 사용하여 수치적 근사 없이도 $ \vartheta_1^{(2\nu+1)}(0) $ 및 $ \vartheta_4^{(2\nu)}(0) $를 일반적으로 계산할 수 있는 방법이 존재하는가?

주요 결과

• $ \vartheta_1(z) $의 9차 도함수는 $ \frac{1}{2}\vartheta_1^{(9)}(0) = \eta^3(\tau) \cdot \frac{1}{9}(35P^4 - 84P^2Q - 12Q^2 + 64PR) $로 주어지며, 계수는 $ P, Q, R $의 유리함수로 표현된다.
• $ \vartheta_1^{(11)}(0) $의 11차 도함수는 $ -\frac{1}{2}\vartheta_1^{(11)}(0) = \eta^3(\tau) \cdot \frac{1}{9}(385P^5 - 1540P^3Q - 660PQ^2 + 1760P^2R + 64QR) $를 만족하며, $ P, Q, R $에 대한 다항식 형태가 확인된다.
• $ \vartheta_4(z) $의 2차 도함수는 $ \vartheta_4^{(2)}(0) = \frac{1}{3}(P_1 - P)w $로 주어지며, 여기서 $ w = \sqrt{\frac{2}{\pi}(1-x)K} $이고 $ P_1 = P(q^2) $이다.
• $ \vartheta_4^{(4)}(0) $의 4차 도함수는 $ \frac{1}{15}(5(P - P_1)^2 - 2Q + 2Q_1)w $로 주어지며, $ q $ 및 $ q^2 $-급수에 모두 의존함을 보여준다.
• $ \vartheta_4^{(6)}(0) $의 6차 도함수는 $ \frac{1}{63}(-35P^3 + 105P^2P_1 - 105PP_1^2 + 35P_1^3 + 42PQ - 42P_1Q - 42PQ_1 + 42P_1Q_1 - 16R + 16R_1)w $로 주어지며, 고차 다항식 의존성을 보여준다.
• $ \vartheta_4^{(8)}(0) $는 $ P, P_1, Q, Q_1, R, R_1 $에 대한 차수 4 다항식으로 표현되며, 유리계수를 가진다. 이는 일반형태 $ \vartheta_4^{(2\nu)}(0) = w \sum c_{ijklmn} P^i Q^j R^k P_1^l Q_1^m R_1^n $를 확인한다.