"모듈라 군, j-invariant and the singular moduli"의 두 판 사이의 차이
25번째 줄: | 25번째 줄: | ||
<math>\lambda(i)=k^2(i)=\frac{1}{2}</math> | <math>\lambda(i)=k^2(i)=\frac{1}{2}</math> | ||
+ | |||
+ | |||
[[제1종타원적분 K (complete elliptic integral of the first kind)|일종타원적분 K]] | [[제1종타원적분 K (complete elliptic integral of the first kind)|일종타원적분 K]] | ||
<math>K(k) = \int_0^{\frac{\pi}{2}} \frac{d\theta}{\sqrt{1-k^2 \sin^2\theta}}</math> | <math>K(k) = \int_0^{\frac{\pi}{2}} \frac{d\theta}{\sqrt{1-k^2 \sin^2\theta}}</math> | ||
+ | |||
+ | <math>\frac{K'}{K}(\frac{1}{\sqrt{2}})= 1</math> | ||
+ | |||
+ | <math>\frac{K'}{K}(\sqrt{2}-1)= \sqrt{2}</math> | ||
+ | |||
+ | <math>\frac{K'}{K}\left(\frac{\sqrt{6}+\sqrt{2}}{4}\right)= \sqrt{3}</math> | ||
+ | |||
+ | <math>\frac{K'}{K}\left(3-2\sqrt{2}}\right)= \sqrt{4}</math> | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | <h5>정의</h5> | ||
+ | |||
+ | * [[타원적분(통합됨)|타원적분]] , [[자코비 세타함수]], [[라마누잔의 class invariants]], 참조<br><math>q=e^{2\pi i \tau}</math><br><math>\theta_{2}(\tau)= \sum_{n=-\infty}^\infty q^{(n+\frac{1}{2})^2/2}</math><br><math>\theta_3(\tau)=\sum_{n=-\infty}^\infty q^{n^2/2}</math><br> | ||
+ | |||
+ | <math>\theta_{4}(\tau)= \sum_{n=-\infty}^\infty (-1)^n q^{n^2/2}</math> | ||
+ | |||
+ | <math>k=k(\tau)=\frac{\theta_2^2(\tau)}{\theta_3^2(\tau)}</math> | ||
+ | |||
+ | <math>K(k) = \int_0^{\frac{\pi}{2}} \frac{d\theta}{\sqrt{1-k^2 \sin^2\theta}}</math> | ||
+ | |||
+ | <math>E(k) = \int_0^{\frac{\pi}{2}} \sqrt{1-k^2 \sin^2\theta}}d\theta}{</math> | ||
+ | |||
+ | <math>k'=\sqrt{1-k^2}=\frac{\theta_4^2(\tau)}{\theta_3^2(\tau)}</math> | ||
+ | |||
+ | <math>K'(k) = K(k')</math> | ||
+ | |||
+ | <math>E'(k) = E(k')</math> | ||
+ | |||
+ | * 위의 함수들을 이용하여, 양수 <math>r</math>에 대하여 다음을 정의 | ||
+ | |||
+ | <math>\lambda^{*}(r):=k(i\sqrt{r})</math> | ||
56번째 줄: | 92번째 줄: | ||
* [[타원적분|타원적분, 타원함수, 타원곡선]] | * [[타원적분|타원적분, 타원함수, 타원곡선]] | ||
* [[국제 수학자 대회와 필즈메달|국제 수학자 대회]] | * [[국제 수학자 대회와 필즈메달|국제 수학자 대회]] | ||
+ | * [[산술기하평균함수(AGM)와 파이값의 계산|AGM과 파이값의 계산]] | ||
+ | |||
+ | |||
90번째 줄: | 129번째 줄: | ||
<h5>참고할만한 자료</h5> | <h5>참고할만한 자료</h5> | ||
− | |||
* [http://www.math.lsu.edu/%7Everrill/fundomain/ Fundamental Domain drawer]<br> | * [http://www.math.lsu.edu/%7Everrill/fundomain/ Fundamental Domain drawer]<br> | ||
** Java applet | ** Java applet | ||
101번째 줄: | 139번째 줄: | ||
** Roger C. Alperin, <cite>The American Mathematical Monthly</cite>, Vol. 106, No. 8 (Oct., 1999), pp. 771-773 | ** Roger C. Alperin, <cite>The American Mathematical Monthly</cite>, Vol. 106, No. 8 (Oct., 1999), pp. 771-773 | ||
* [http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=262662 On singular moduli.]<br> | * [http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=262662 On singular moduli.]<br> | ||
− | |||
** Gross, B.H.; Zagier, Don B, J. Rcinc Angew. Math. 355, 191-220 | ** Gross, B.H.; Zagier, Don B, J. Rcinc Angew. Math. 355, 191-220 |
2009년 11월 17일 (화) 11:10 판
간단한 소개
\(k=k(\tau)=\frac{\theta_2^2(\tau)}{\theta_3^2(\tau)}\)
\(k'=\sqrt{1-k^2}=\frac{\theta_4^2(\tau)}{\theta_3^2(\tau)}\)
\(\lambda(\tau)=k^2(\tau)=\frac{\theta_2^4(\tau)}{\theta_3^4(\tau)}\)
\(J(\tau)=\frac{4}{27}\frac{(1-\lambda+\lambda^2)^3}{\lambda^2(1-\lambda)^2}\)
\(j(\tau)=1728J(\tau)\)
- \(\lambda(\tau)=k^2(\tau)\) 는 modulus라고 불렸으며, 아벨, 자코비와 후학들(에르미트)에 의해 많이 연구됨
- \(\Gamma(2)\)에 의해 불변임
- 기본적인 내용은 [AHL1979] 7.3.4를 참고
- 가장 기본적인 모듈라함수로 여겨졌으나, 나중에 \(j\)-불변량에 그 자리를 내줌
메모
\(\lambda(i)=k^2(i)=\frac{1}{2}\)
\(K(k) = \int_0^{\frac{\pi}{2}} \frac{d\theta}{\sqrt{1-k^2 \sin^2\theta}}\)
\(\frac{K'}{K}(\frac{1}{\sqrt{2}})= 1\)
\(\frac{K'}{K}(\sqrt{2}-1)= \sqrt{2}\)
\(\frac{K'}{K}\left(\frac{\sqrt{6}+\sqrt{2}}{4}\right)= \sqrt{3}\)
\(\frac{K'}{K}\left(3-2\sqrt{2}}\right)= \sqrt{4}\)
정의
- 타원적분 , 자코비 세타함수, 라마누잔의 class invariants, 참조
\(q=e^{2\pi i \tau}\)
\(\theta_{2}(\tau)= \sum_{n=-\infty}^\infty q^{(n+\frac{1}{2})^2/2}\)
\(\theta_3(\tau)=\sum_{n=-\infty}^\infty q^{n^2/2}\)
\(\theta_{4}(\tau)= \sum_{n=-\infty}^\infty (-1)^n q^{n^2/2}\)
\(k=k(\tau)=\frac{\theta_2^2(\tau)}{\theta_3^2(\tau)}\)
\(K(k) = \int_0^{\frac{\pi}{2}} \frac{d\theta}{\sqrt{1-k^2 \sin^2\theta}}\)
\(E(k) = \int_0^{\frac{\pi}{2}} \sqrt{1-k^2 \sin^2\theta}}d\theta}{\)
\(k'=\sqrt{1-k^2}=\frac{\theta_4^2(\tau)}{\theta_3^2(\tau)}\)
\(K'(k) = K(k')\)
\(E'(k) = E(k')\)
- 위의 함수들을 이용하여, 양수 \(r\)에 대하여 다음을 정의
\(\lambda^{*}(r):=k(i\sqrt{r})\)
하위페이지
관련된 항목들
수학용어번역
표준적인 도서 및 추천도서
- Discontinuous Groups and Automorphic Functions
- Joseph Lehner
- [AHL1979]Complex Analysis
- Lars Ahlfors, 3rd edition, McGraw-Hill, 1979
위키링크
참고할만한 자료
- Fundamental Domain drawer
- Java applet
- H. A. Verrill
- The Action of the Modular Group on the Fundamental Domain
- Wolfram
- Modular Miracles
- John Stillwell, The American Mathematical Monthly, Vol. 108, No. 1 (Jan., 2001), pp. 70-76
- Rationals and the Modular Group
- Roger C. Alperin, The American Mathematical Monthly, Vol. 106, No. 8 (Oct., 1999), pp. 771-773
- On singular moduli.
- Gross, B.H.; Zagier, Don B, J. Rcinc Angew. Math. 355, 191-220