"타원 모듈라 j-함수 (elliptic modular function, j-invariant)"의 두 판 사이의 차이
Pythagoras0 (토론 | 기여) |
Pythagoras0 (토론 | 기여) |
||
41번째 줄: | 41번째 줄: | ||
* 근사식 '''[Rademacher1938]''' | * 근사식 '''[Rademacher1938]''' | ||
:<math>c(n)=\frac{2\pi}{\sqrt{n}}\sum_{k=1}^\infty \frac{A_k(n)}{k}I_{1}(\frac{4\pi\sqrt{n}}{k})</math> | :<math>c(n)=\frac{2\pi}{\sqrt{n}}\sum_{k=1}^\infty \frac{A_k(n)}{k}I_{1}(\frac{4\pi\sqrt{n}}{k})</math> | ||
− | 여기서 <math>I_ 1</math> 은 | + | 여기서 <math>I_ 1</math> 은 [[베셀 함수]], |
:<math>A_k(n)=\sum_{0 \leq h < k,(h,k)=1}e^{-2\pi i (nh+h')/k }</math> | :<math>A_k(n)=\sum_{0 \leq h < k,(h,k)=1}e^{-2\pi i (nh+h')/k }</math> | ||
이 때, <math>hh'\equiv -1 \mod k</math>. $A_k(n)$은 [[클루스터만 합]]의 특수한 경우 | 이 때, <math>hh'\equiv -1 \mod k</math>. $A_k(n)$은 [[클루스터만 합]]의 특수한 경우 |
2013년 4월 15일 (월) 14:44 판
개요
- j-invariant
- 클라인의 absolute j-invariant 라는 이름으로 불리기도 함
- 타원 모듈라 함수(elliptic modular function) 로 불리기도 함
- 몬스터 군의 monstrous moonshine에 등장
여러가지 (같은) 정의들
\(j(\tau)= {E_ 4(\tau)^3\over \Delta(\tau)}=\frac{(1+240\sum_{n>0}\sigma_3(n)q^n)^3}{q-24q+252q^2+\cdots} =q^{-1}+744+196884q+21493760q^2+\cdots\)
여기서 \(q=e^{2\pi i\tau}\)
\( E_ 4(\tau)=1+240\sum_{n>0}\sigma_3(n)q^n= 1+240q+2160q^2+\cdots\) (아이젠슈타인 급수(Eisenstein series))
\((\sigma_3(n)=\sum_{d|n}d^3)\)
\(\Delta(\tau)= q\prod_{n>0}(1-q^n)^{24}= q-24q+252q^2+\cdots\)
\(j(\tau)=1728\frac{g_ 2^3}{g_ 2^3-27g_ 3^2}\)
singular moduli
- 타원 모듈라 j-함수의 singular moduli
- quadratic imaginary number 에서의 값들
푸리에계수
- 1, 744, 196884, 21493760, 864299970, 20245856256, 333202640600, 4252023300096, 44656994071935, 401490886656000, 3176440229784420, 22567393309593600, 146211911499519294, 874313719685775360, 4872010111798142520, 25497827389410525184
- http://www.research.att.com/~njas/sequences/A000521
- 근사식 [Rademacher1938]
\[c(n)=\frac{2\pi}{\sqrt{n}}\sum_{k=1}^\infty \frac{A_k(n)}{k}I_{1}(\frac{4\pi\sqrt{n}}{k})\] 여기서 \(I_ 1\) 은 베셀 함수, \[A_k(n)=\sum_{0 \leq h < k,(h,k)=1}e^{-2\pi i (nh+h')/k }\] 이 때, \(hh'\equiv -1 \mod k\). $A_k(n)$은 클루스터만 합의 특수한 경우
- 점근 급수
$$ c(n)\sim \frac{e^{4\pi \sqrt{n}}}{\sqrt{2}n^{3/4}}\left(1-\frac{3}{32\pi\sqrt{n}}+O(n)\right) $$
슈나이더의 정리
- 복소상반평면의 대수적 수 \(\tau\in \mathbb{H} \cap \bar{\mathbb{Q}}\)에 대하여, \(\tau\)가 2차(imaginary quadratic)가 아니면, \(j(\tau)\)는 초월수이다.
메모
- http://mathoverflow.net/questions/71704/computing-the-q-series-of-the-j-invariant
- Hilbert class fields of imaginary quadratic fields are generated by singular moduli
관련된 항목들
- 타원적분, 타원함수, 타원곡선
- 아이젠슈타인 급수(Eisenstein series)
- 가우스의 class number one 문제
- 숫자 163
- 몬스터 군
- 라마누잔의 class invariants
- 하디-라마누잔-라데마커 분할수 공식
사전형태의 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/j-invariant
- http://mathworld.wolfram.com/j-Function.html
관련도서
- Ranestad, Kristian, ed. 2008. The 1-2-3 of Modular Forms. Berlin, Heidelberg: Springer Berlin Heidelberg. http://www.springerlink.com/content/r351n3u4608rm816/.
관련논문과 에세이
- Nicolas Brisebarre, and Georges Philibert. 2003. “Effective lower and upper bounds for the Fourier coefficients of powers of the modular invariant j.” Research report. http://lara.inist.fr/handle/2332/864.
- On the Modular Function and Its Importance for Arithmetic Paula B. Cohen, Lecture Notes in Physics Volume 550/2000 388-397
- The Ramanujan Constant. An Essay on Elliptic Curves, Complex. Multiplication and Modular Forms. B.J.Green
- On singular moduli. Gross, B.H.; Zagier, Don B, J. Rcinc Angew. Math. 355 (1984), 191-220
- Class-Numbers of Complex Quadratic Fields H. M. Stark, from Modular Functions of One Variable I, 1973
- Lehmer, D. H. 1942. “Properties of the Coefficients of the Modular Invariant J(τ).” American Journal of Mathematics 64 (1) (January 1): 488–502. doi:10.2307/2371699.
- [Rademacher1938] Rademacher, Hans. 1938. “The Fourier Coefficients of the Modular Invariant J(τ).” American Journal of Mathematics 60 (2) (April 1): 501–512. doi:10.2307/2371313.
- H. Petersson: [1]. "fiber die Entwicklungskoefficienten der automorphen Formen," Acta, Mathe- matica, vol. 58 (1932), p. 202.
- http://dx.doi.org/