타원 함수
Elliptic function복소해석 수학 분야에서 타원함수는 두 가지 주기성 조건을 만족시키는 특수한 종류의 자형함수이다.이러한 함수는 타원 적분으로부터 유래하기 때문에 타원 함수라고 불립니다.원래 이러한 적분은 타원의 원호 길이를 계산할 때 발생했습니다.
중요한 타원 함수는 Jacobi 타원 함수와 Weierstrass \} - 함수입니다 .
이 이론의 추가적인 발전은 초박막 함수와 모듈러 형태로 이어졌다.
정의.
두 개의R(\선형 독립 복소수 1, 2C(\ _ _}\가 있는 경우, meromape 함수를 타원 함수라고 한다.
- ( + 1 ) () \ f ( + \ _ {1} ( )、∀ z \f ( + \ _ {2} ( ) , \ ( \ z \ \ C }} }
그래서 타원함수는 두 개의 주기를 가지며 따라서 이중 주기라고도 불립니다.
기간 격자와 기본 영역
f{\ f가 마침표 1, 2 { \_ { \ _ {인 타원함수인 다음과 같이 유지됩니다.
모든 선형 에 대해 m 1 + 2 { \ displaystyle =\ _ { + _ }},n Z { m \ 입니다 .
아벨 군
를 주기 격자라고 합니다.
1\ \ {} 및 2 \ \ _ {2}에 의해 생성되는 평행사변형
를 기본 도메인이라고 합니다.
기하학적으로 복소평면은 평행사변형으로 타일링됩니다.기본 영역에서 일어나는 모든 일은 다른 모든 영역에서 반복됩니다.따라서 타원함수는 C / \ /\를 영역으로 하는 함수로 볼 수 있습니다.타원곡선이라고 불리는 이 몫군은 반대쪽이 식별되는 평행사변형(위상적으로는 토러스)[1]으로 시각화할 수 있다.
리우빌의 정리
다음의 세 가지 정리는 리우빌의 정리로 알려져 있다.
제1정리
정칙 타원 함수는 [2]상수이다.
이것은 리우빌의 정리의 원형이므로 [3]그것으로부터 도출할 수 있다.완전 타원함수는 콤팩트한 기본영역상의 모든 값을 차지하기 때문에 유계된다.그래서 그것은 Liouville의 정리에 의해 상수이다.
제2정리
모든 타원 함수는 C/ \ /\에 극이 매우 많으며, 그 잔류물의 합은 [4]0이다.
이 정리는 기본 영역에서 정확히 하나의 차수 1의 극 또는 정확히 하나의 차수 0을 가진 0과 같지 않은 타원 함수는 없다는 것을 암시한다.
제3정리
부정수 타원함수는 [5]다수로 카운트된 C/ \ /\의 모든 값을 동일한 횟수로 취합니다.
Weierstrass --함수
가장 중요한 타원 함수 중 하나는 Weierstrass \ \wp} - 함수입니다.특정 기간 격자(\는 다음과 같이 정의됩니다.
이것은 모든 격자점에 2차 극이 있는 방식으로 구성되어 있습니다.용어- 2 (\^{는 시리즈를 수렴시키기 위해 사용됩니다.
{ \ wp}는 짝수 타원 함수입니다 , (- z) ( ) \\ \ ( z[6])
그 파생어
는 홀수 함수입니다. 즉, - ) - ( (). { )=-\ 입니다.[6]
타원함수 이론의 주요 결과 중 하나는 다음과 같다.주어진 주기 격자에 대한 모든 타원 함수는 {\ } 및 {\[7]로 표현될 수 있다.
\ - 함수는 미분방정식을 만족합니다.
는(\에 의존하는 상수입니다. 보다 는 1,2) }(\ {입니다.= 6 (1,2) ({} (\_{2displaystyle4}) 6 (\6})을 [8]ESteinisen 시리즈라고 합니다
대수적 언어:타원 함수의 필드는 필드와 동일하다.
- () [ / ( - 4 3 + X + 3 ){ style \ ( ) [ Y] / ( Y^ { 2} - 3 + g 2 + _ {3},
여기서 동형사상은X에, XX})에 Y Y에 매핑됩니다.
타원 적분과의 관계
타원 적분과의 관계는 주로 역사적 배경을 가지고 있다.타원 적분은 닐스 헨리크 아벨과 칼 구스타프 자코비가 맡은 레전드르가 연구했다.
아벨은 타원적분함수의 역함수(\를 취함으로써 타원함수를 발견했다.
(x ) { x=\[9]로 지정합니다.
추가적으로 그는 함수를[10] 정의했다.
그리고.
- ( + 2 2 () \ F ( \ ) =。
복소평면으로 계속된 후, 그것들은 이중 주기적인 것으로 밝혀졌고 아벨 타원함수로 알려져 있다.
야코비 타원 함수는 타원 적분의 역함수로도 비슷하게 구해진다.
야코비는 적분함수를 고려했다.
( (\ x = \} ( \ . { { 은 사인파 증폭을 의미하며 새로운 [11]기능의 이름입니다.그런 다음 다음과 같이 정의된 cosinus amplidinis 및 delta amplidinis 함수를 도입했습니다.
- ({\ ) : 1- 2 ( \ ( \ ) : ={1 - { {} 。
오직 이 단계를 밟음으로써, 야코비는 1827년에 [12]타원 적분의 그의 일반적인 변환 공식을 증명할 수 있었다.
역사
미적분학의 개발 직후, 이탈리아 수학자 Giulio di Fagnano와 스위스 수학자 Leonhard Oiler에 의해 타원함수 이론이 시작되었다.그들이 렘니스테이트의 호 길이를 계산하려고 했을 때, 그들은 3차 및 4차 [13]다항식의 제곱근을 포함하는 적분들과 관련된 문제에 직면했다.소위 타원 적분이라 불리는 것들은 기본 함수를 사용하여 풀 수 없다는 것이 분명했다.파그나노는 [13]1750년에 그가 발표한 타원 적분 사이의 대수적 관계를 관찰했다.오일러는 즉시 파그나노의 결과를 일반화했고 타원 [13]적분에 대한 그의 대수적 덧셈 정리를 제시했다.
란덴의[14] 언급을 제외하고, 그의 생각은 1786년 레전드르가 그의 논문 Mémoires sur les integrations parcs d'[15]ellips를 출판할 때까지 추구되지 않았다.Legendre는 이어서 타원 적분을 연구했고 그것들을 타원 함수라고 불렀다.Legendre는 세 가지 분류 - 세 가지 -를 도입했는데, 이것은 그 당시 다소 복잡한 이론의 결정적 단순화였다.Legendre의 다른 중요한 작품들은 Mémoire sur les transcendantes elliptiques (1792년),[16] Exchiques de calcules intégral (1811년–[17][18]1817년), Attribute des fonctions elliptiques (1825–1832년)이다.Legendre의 작품은 1826년까지 수학자들에 의해 대부분 손대지 않은 채 남겨졌다.
그 후, 닐스 헨리크 아벨과 칼 구스타프 자코비는 조사를 재개했고, 곧 새로운 결과를 발견했다.처음에 그들은 타원 적분 함수를 반전시켰다.1829년 야코비의 제안에 따라 이러한 역함수는 이제 타원함수라고 불린다.야코비의 가장 중요한 작품 중 하나는 1829년에 [19]출판된 Fundama nova gonomiae functionum ellipticarum이다.오일러가 발견한 덧셈 정리는 1829년 아벨에 의해 일반적인 형태로 제시되고 증명되었다.그 당시에는 타원함수 이론과 이중 주기함수 이론이 다른 이론으로 여겨졌었다.그들은 1856년 [20]브리오트와 부케에 의해 함께 모였다.가우스는 30년 전에 타원함수의 많은 특성들을 발견했지만 그 주제에 [21]관한 어떤 것도 발표하지 않았다.
「 」를 참조해 주세요.
레퍼런스
- ^ Rolf Busam (2006), Funktionentheorie 1 (in German) (4., korr. und erw. Aufl ed.), Berlin: Springer, p. 259, ISBN 978-3-540-32058-6
- ^ Rolf Busam (2006), Funktionentheorie 1 (in German) (4., korr. und erw. Aufl ed.), Berlin: Springer, p. 258, ISBN 978-3-540-32058-6
- ^ Jeremy Gray (2015), Real and the complex : a history of analysis in the 19th century (in German), Cham, pp. 118f, ISBN 978-3-319-23715-2
- ^ Rolf Busam (2006), Funktionentheorie 1 (in German) (4., korr. und erw. Aufl ed.), Berlin: Springer, p. 260, ISBN 978-3-540-32058-6
- ^ Rolf Busam (2006), Funktionentheorie 1 (in German) (4., korr. und erw. Aufl ed.), Berlin: Springer, p. 262, ISBN 978-3-540-32058-6
- ^ a b K. Chandrasekharan (1985), Elliptic functions (in German), Berlin: Springer-Verlag, p. 28, ISBN 0-387-15295-4
- ^ Rolf Busam (2006), Funktionentheorie 1 (in German) (4., korr. und erw. Aufl ed.), Berlin: Springer, p. 275, ISBN 978-3-540-32058-6
- ^ Rolf Busam (2006), Funktionentheorie 1 (in German) (4., korr. und erw. Aufl ed.), Berlin: Springer, p. 276, ISBN 978-3-540-32058-6
- ^ Gray, Jeremy (14 October 2015), Real and the complex : a history of analysis in the 19th century (in German), Cham, p. 74, ISBN 978-3-319-23715-2
- ^ Gray, Jeremy (14 October 2015), Real and the complex : a history of analysis in the 19th century (in German), Cham, p. 75, ISBN 978-3-319-23715-2
- ^ Gray, Jeremy (14 October 2015), Real and the complex : a history of analysis in the 19th century (in German), Cham, p. 82, ISBN 978-3-319-23715-2
- ^ Gray, Jeremy (14 October 2015), Real and the complex : a history of analysis in the 19th century (in German), Cham, p. 81, ISBN 978-3-319-23715-2
- ^ a b c Gray, Jeremy (2015). Real and the complex : a history of analysis in the 19th century. Cham. pp. 23f. ISBN 978-3-319-23715-2. OCLC 932002663.
- ^ 존 랜든:두 개의 타원 호를 이용하여 원추형 쌍곡선의 호 길이를 구하는 일반정리와 그것으로부터 추론된 다른 새롭고 유용한 이론의 고찰.인: 런던 왕립학회 철학거래65(1775), Nr. XXVI, S. 283~289, JSTOR 106197.
- ^ Adrien-Marie Legendre:Mémoire sur les integrations par arcs d'ellips.인: 아카데미 로얄 드 과학사 파리 (1788), S. 616–643.– 데르:제2의 메모아르 서레 인테그레이션 파트 아크 데일리시, et sur la comparaison de ces arcs.인: 아카데미 로얄 드 과학사 파리 (1788), S. 644~683.
- ^ Adrien-Marie Legendre:Mémoire sur les les transcendantes 타원형, o' l'on donne des methodes faciles pour comparr et evaluer les arcs d'ellipse, et qui se rencontent fréquemment dans d'd d'e applications du inter intégral.1792년 파리 Du Pont & Firmin-Didot.잉글리쉬 위베르제중 타원 초월체에 관한 메모.수신인: Thomas Leybourn:수학 저장소의 새 시리즈입니다.밴드 2글렌디닝, 런던 1809, 테일 3, S. 1-34
- ^ Adrien-Marie Legendre: 연습은 적분 다이버 오더 드 트랜스란테스와 레스 쿼드러처를 계산합니다.3번데 (밴드 1, 밴드 2, 밴드 3)파리 1811–1817.
- ^ Adrien-Marie Legendre:Faciliter Le calculation numérique에 Avec des tables et des intégrales ulérienes. 3 Bde. (밴드 1, 밴드 2, 밴드 3/1, 밴드 3/2, 밴드 3/3).후자르 쿠르시에, 파리 1825–1832.
- ^ 칼 구스타프 자코비:노바 이론의 근간함수 타원형.쾨니히스베르크 1829년
- ^ Gray, Jeremy (2015). Real and the complex : a history of analysis in the 19th century. Cham. p. 122. ISBN 978-3-319-23715-2. OCLC 932002663.
- ^ Gray, Jeremy (2015). Real and the complex : a history of analysis in the 19th century. Cham. p. 96. ISBN 978-3-319-23715-2. OCLC 932002663.
문학.
- 아브 밀턴, Stegun, Irene은 앤, eds.(1983년)[6월 1964년]."16장".Formulas, Graphs,과 수학적 표로 핸드 북 수학의 함수입니다.응용 수학 시리즈이다.Vol55(10원래 인쇄의 추가로 수정 작업과 교정을 9재판(1972년 12월) 제1판).워싱턴 DC, 뉴욕:미국 상무부, 표준국의 도버 출판사.를 대신하여 서명함. 제567절, 627.아이 에스비엔 978-0-486-61272-0. LCCN 64-60036.MR0167642.LCCN 65-12253.장 18.(유일한 불변자의 경우 고려한다)참조하십시오.
- N. I. Akhiezer, 타원함수 이론의 요소, (1970) 모스크바, 수학 모노그래프의 AMS 번역으로 영어로 번역됨 제79권(1990) AMS, 로드아일랜드 ISBN 0-8218-4532-2
- 톰 M. 아포스톨, 숫자 이론의 모듈러 함수 및 디리클레 시리즈, 뉴욕, 스프링거-벌러그, 1976.ISBN 0-387-97127-0(1장 참조)
- E. T. 휘태커와 G. N. 왓슨.현대 분석 과정, 케임브리지 대학 출판부, 1952년
외부 링크

- "Elliptic function", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- MAA, 타원함수에 관한 아벨의 논문 번역.
- YouTube의 Elliptic Functions and Elliptic Integrations, William A의 강의.슈왈름(4시간)
- Johansson, Fredrik (2018). "Numerical Evaluation of Elliptic Functions, Elliptic Integrals and Modular Forms". arXiv:1806.06725 [cs.NA].