"바이어슈트라스 시그마 함수"의 두 판 사이의 차이
| 37번째 줄: | 37번째 줄: | ||
| − | <math>\sigma(z+\omega_{i})=e^{\eta_{i}z}\sigma(\omega_{i})\sigma_{i}(z)</math> | + | <h5 style="margin: 0px; line-height: 2em;">세타함수로서의 시그마함수</h5> |
| + | |||
| + | <math>\sigma(z+\omega_{i})=-e^{\eta_{i}z}\sigma(\omega_{i})\sigma_{i}(z)</math> | ||
<math>\sigma(z+2\omega_{i})=-e^{2\eta_{i}(z+\omega_{i})}\sigma(z)</math> | <math>\sigma(z+2\omega_{i})=-e^{2\eta_{i}(z+\omega_{i})}\sigma(z)</math> | ||
| − | |||
| − | |||
<math>\sigma(z+2n\omega_{i})=(-1)^n e^{2\eta_{i}(n z+n^2 \omega_{i})}\sigma(z)</math> | <math>\sigma(z+2n\omega_{i})=(-1)^n e^{2\eta_{i}(n z+n^2 \omega_{i})}\sigma(z)</math> | ||
| 65번째 줄: | 65번째 줄: | ||
<math>\sigma(z+2n\omega_{i})=(-1)^n e^{2\eta_{i}(n z+n^2 \omega_{i})}\sigma(z)</math> 이므로 <math>\sigma(n(z+2\omega_{i}))=(-1)^n e^{2\eta_{i}(n^2 z+n^2 \omega_{i})}\sigma(n z)</math>. | <math>\sigma(z+2n\omega_{i})=(-1)^n e^{2\eta_{i}(n z+n^2 \omega_{i})}\sigma(z)</math> 이므로 <math>\sigma(n(z+2\omega_{i}))=(-1)^n e^{2\eta_{i}(n^2 z+n^2 \omega_{i})}\sigma(n z)</math>. | ||
| − | <math>f(z)=\frac{\sigma(n(z+2\omega_{i}))}{\sigma(z)^{n^2}}</math> | + | <math>f(z+2\omega_{i}))=\frac{\sigma(n(z+2\omega_{i}))}{\sigma(z+2\omega_{i})^{n^2}}=\frac{\sigma(nz)}{\sigma(z)^{n^2}}=f(z)</math>. ■ |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
2012년 3월 3일 (토) 01:06 판
이 항목의 스프링노트 원문주소
개요
- 바이어슈트라스의 타원함수 이론에 등장
- 사인함수와 비슷한 역할을 함
- 격자에 대해 정의되며, 무한곱으로 정의되는 복소함수
\(\sigma(z;\Lambda)=z\prod_{w\in\Lambda^{*}} \left(1-\frac{z}{w}\right) e^{z/w+\frac{1}{2}(z/w)^2}\) - 격자 \(\Lambda\)의 불변량 \(g_2= 60\sum{}' \omega_{m,n}^{-4}\), \(g_3=140\sum{}' \omega_{m,n}^{-6}\) 을 사용하여, \(\sigma(z;\Lambda)= \sigma \left(z;g_2,g_3\right)\) 로 쓰기도 함
로랑급수
- z=0 부근에서 시그마함수는 다음과 같은 로랑급수 전개를 가진다
\(\sigma \left(z;g_2,g_3\right)= z-\frac{g_2 z^5}{240}-\frac{g_3 z^7}{840}-\frac{g_2^2 z^9}{161280}-\frac{g_2g_3 z^{11}}{2217600}+\)
바이어슈트라스 타원함수 ℘ 와의 관계
- 바이어슈트라스 타원함수 ℘
\(\wp(u) = -\frac{d^2}{du^2} \ln \sigma (z)\) - 덧셈공식
\(-\frac{\sigma(u+v)\sigma(u-v)}{\sigma(u)^2\sigma(v)^2}=\wp(u)-\wp(v)\)
세타함수로서의 시그마함수
\(\sigma(z+\omega_{i})=-e^{\eta_{i}z}\sigma(\omega_{i})\sigma_{i}(z)\)
\(\sigma(z+2\omega_{i})=-e^{2\eta_{i}(z+\omega_{i})}\sigma(z)\)
\(\sigma(z+2n\omega_{i})=(-1)^n e^{2\eta_{i}(n z+n^2 \omega_{i})}\sigma(z)\)
타원함수론
모든 정수 n에 대하여, 아래의 함수 \(f(z)\)는 타원함수이다
\(f(z)=\frac{\sigma(nz)}{\sigma(z)^{n^2}}\)
(증명)
\(f(z+2\omega_{i})=f(z)\) 임을 보이자.
\(\sigma(z+2\omega_{i})=-e^{2\eta_{i}(z+\omega_{i})}\sigma(z)\) 이므로, \(\sigma(z+2\omega_{i})^{n^2}=(-1)^{n^2}e^{2\eta_{i}(n^2 z+n^2 \omega_{i})}\sigma(z)^{n^2}\)
\(\sigma(z+2n\omega_{i})=(-1)^n e^{2\eta_{i}(n z+n^2 \omega_{i})}\sigma(z)\) 이므로 \(\sigma(n(z+2\omega_{i}))=(-1)^n e^{2\eta_{i}(n^2 z+n^2 \omega_{i})}\sigma(n z)\).
\(f(z+2\omega_{i}))=\frac{\sigma(n(z+2\omega_{i}))}{\sigma(z+2\omega_{i})^{n^2}}=\frac{\sigma(nz)}{\sigma(z)^{n^2}}=f(z)\). ■
역사
- http://www.google.com/search?hl=en&tbs=tl:1&q=
- Earliest Known Uses of Some of the Words of Mathematics
- Earliest Uses of Various Mathematical Symbols
- 수학사연표
메모
- The Weierstrass Theory For Elliptic Functions Including The Generalisation To Higher Genus
- The higher-genus sigma function and applications
관련된 항목들
수학용어번역
- 단어사전 http://www.google.com/dictionary?langpair=en%7Cko&q=
- 발음사전 http://www.forvo.com/search/
- 대한수학회 수학 학술 용어집
- 남·북한수학용어비교
- 대한수학회 수학용어한글화 게시판
매스매티카 파일 및 계산 리소스[[7391409/attachments/4910061|]]
- https://docs.google.com/leaf?id=0B8XXo8Tve1cxZGYzZjY0MWMtZjA1NC00NjNlLWJjNGEtMWZmYTI3N2U0NTA5&sort=name&layout=list&num=50
- http://www.wolframalpha.com/input/?i=weierstrass+sigma+function
- The Online Encyclopaedia of Mathematics
- NIST Digital Library of Mathematical Functions
사전 형태의 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/Weierstrass_sigma_function
- http://www.encyclopediaofmath.org/index.php/Weierstrass_elliptic_functions
관련논문
- Hone, A. N. W. 2007. Sigma function solution of the initial value problem for Somos 5 sequences doi:0.1090/S0002-9947-07-04215-8
- Hone, A. N. W. 2005. Elliptic Curves and Quadratic Recurrence Sequences. Bulletin of the London Mathematical Society 37, no. 2 (April 1): 161 -171. doi:10.1112/S0024609304004163.
- Braden, Harry W, Victor Z Enolskii, and Andrew N. W Hone. 2005. “Bilinear recurrences and addition formulae for hyperelliptic sigma functions”. math/0501162 (1월 11). http://arxiv.org/abs/math/0501162