렘니케이트 타원함수

Lemniscate elliptic functions
삼각측량 사인 = sin(πx/ϖ)(pale 점선 빨간색)과 비교하여 실제 인수에 적용되는 렘니세이트 사인(빨간색) 및 렘니세이트 코사인(purple).

수학에서 렘니세이트 타원함수베르누이의 렘니세이트의 원호 길이와 관련된 타원함수입니다.그것들은 1718년에 Giulio Fagnano에 의해 처음 연구되었고, 다른 것들 중에서 Leonhard EulerCarl Friedrich Gauss에 의해 나중에 연구되었습니다.[1]

일반적으로 slcl 기호로 쓰여진 렘니세이트 사인렘니세이트 코사인 함수는 삼각 함수 사인 및 코사인과 유사합니다(또는 sinlemcoslem 또는 sinlemcosemn이 대신 사용되기도 함).[2]삼각 사인은 원호 길이를 단위 - diameter + 2= x {\ x + y^{2}= x 렘니스케이트 사인은 원호 길이를렘니스케이트 ( + 2) = x - . {\(}} + y}= x - y

렘니스케이트 함수에는 숫자 ϖ = =} 2.622057과 관련된 주기가 있습니다.렘니스케이트 상수라 불리는, 렘니스케이트의 둘레와 지름의 비율.이 숫자는 원의 지름에 대한 둘레의 비율인 (quadratic) π = =} 3.141592...4차 아날로그입니다.

복잡한 함수로서, slcl기본 주기+ ϖ - ϖ 인 정사각형 주기 격자(가우시안 정수의 배수)를 가지며, 해당 격자에 두 개의 야코비 타원 함수 ⁡ z = ⁡ ( z=\ z\

마찬가지로 쌍곡 렘니스케이트 사인 slh쌍곡 렘니스케이트 코사인 clh는 기본 주기가{ ϖ ϖ i인 정사각형 주기 격자를 갖습니다 , i

렘니스케이트 함수 및 쌍곡 렘니스케이트 함수는 Weiersstrass 타원 함수 관련이 있습니다

렘니스케이트 사인 및 코사인 함수

정의들

렘니스케이트 함수 slcl초기값 문제의 해결책으로 정의할 수 있습니다.[5]

또는 타원 적분역수로서 복소 단위 원판에서 모서리가 있는 정사각형 ϖ ϖ i- ϖ- ϖ :, , -, -

그 사각형 너머에서, 함수들은 일련의 반사에 의해 복소 평면 전체분석적으로 계속될 수 있습니다.

이에 비해 원형 사인과 코사인은 초기 값 문제의 해결책으로 정의할 수 있습니다.

또는 위의 반평면에서 실제 부분이 π 사이에 있는 반infinite 스트립까지의 지도의 역으로 π {\ 양의 허수 부분:

렘니세이트 상수와의 관계

렘니세이트 사인 함수와 쌍곡 렘니세이트 사인 함수는 타원 적분의 역으로 정의됩니다.완전 적분은 렘니세이트 상수 ϖ과 관련이 있습니다.

렘니스케이트 함수는 최소 실수 주기 2 ϖ, 최소 허수 주기 2 ϖi 및 기본 복소 주기 + ϖ -)ϖ {\을(를) ϖ합니다.

렘니스케이트 함수는 기본 관계 = ϖ- z z = {\를 만족합니다 = ( ⁡ - ). \= {\

렘니세이트 상수 ϖ은 원 상수 π의 가까운 유사체이며, 삼각함수를 포함하는 동일체는 렘니세이트 함수를 포함하는 유사체를 가지므로 π을 포함하는 많은 동일체는 ϖ을 포함하는 유사체를 갖습니다.를 들어, π에 대한 비엣의 공식은 다음과 같이 쓸 수 있습니다.

ϖ에 대한 유사한 공식은 다음과 같습니다.

π의 기계 공식은 14 π =4 1 - ⁡ 1 {\4}}\ = 4 {1 {1}}이며 오일러의 공식 1 π =1 + ⁡ 1 {1 =\tfrac {\tfrac {}}\tfcan {\tfrac {4}}\pi = 가우스가 찾은 과 같은 에 대해 유사한 공식을 개발할 수 있습니다. 12 + 7 . [9]

렘니세이트와 원 상수는 가우스에 의해 산술-기하학 평균 M에 의해 서로 관련이 있음이 발견되었습니다.[10]

인수 항등식

0, 극 및 대칭

를) 복소 평면에 입력합니다.[11]그림에서 기본 주기(+ ϖ + ( -)ϖ - i는 실제 부분이 음이 아닌 모든 주기 중에서 가장 작은 절대값을 갖는다는 의미에서 "최소"임을 알 수 있습니다.

렘니세이트 함수 clsl은 각각 짝수 홀수 함수이고,

ϖ 변환 시 sl을 교환하고, i ϖ{\ 변환 시 추가로 회전 및 왕복 이동합니다.

ϖ \즉, ±ϖ \pm} 또는 i ϖ \pm 의 단위-가우스-정수 곱만큼 변환을 두 배로 하면 각 함수가 무효화됩니다.

결과적으로, 두 함수 모두 ϖ 의 짝수 가우스-정수 곱셈에 의한 변환 하에서는 불변입니다 즉, a, b, k에 a = 2 {\ a + b = 인 변위( ϖ displaystyle +

이것은 기본 주기 (+ ϖ + ( -)ϖ - i의 대각 사각 주기 격자를 갖는 타원 함수(복소 평면에서 이중 주기 메로형 함수)로 만듭니다 사각 주기 격자를 갖는 타원 함수는 임의의 타원 함수보다 더 대칭적입니다.사각형의 대칭을 따르고 있습니다.

렘니스케이트 함수 인수의 반사와 쿼터 턴 회전은 간단한 표현을 갖습니다.

sl 함수는 ϖ 가우스 정수 배수에서 단순 0, 정수 ab에 대한 ϖ+ ϖ 형태의 복소수를 갖습니다.가우스 ϖ 반 정수 배수의 단순 , 형태( 1 ) ϖ ++ 1 ) ϖ i{\{\(}+ {\ + {\(}b + i이며잔수(- 1) -+ 1 - b + 입니다cl 함수는 sl 함수인 = ( ϖ- z) z = {\ 인수( 2) ϖ ϖ {\{\(}a + + b i 및 인수 ϖ+( + 2 ) 의 극을 갖습니다. 에 잔수 a - -b를 ϖ합니다

또한.

일부

마지막 공식은 복소수 곱셈의 특수한 경우입니다. ⁡ ((( n+ ) z) name 에 대해서도 유사한 공식을 제공할 수 있습니다.여기서 + + (는) 가우스 정수입니다. 함수 {\ \ {는) 의 복소 곱셈을 갖습니다[15]

sl의 0과 극의 분포를 반영하는 무한급수도 있습니다.[16][17]

피타고라스적 정체성

a다양 값에 대한 곡선 x² ⊕ y² = a.녹색으로 음의 a, 파란색으로 양의 a, 빨간색으로 a = ±1, 검은색으로 a = ∞.

렘니세이트 함수는 피타고라스와 유사한 항등식을 만족합니다.

결과적으로 매개 변수 방정식 y )= ) y) = (\t4차 곡선 + y + x = {\displaystyle + y + =

이 ID는 번갈아가며 다시 작성할 수 있습니다.[18]

접선-합 연산자를 ⊕ := ( + ⁡ b {:=} 로 정의하면 다음을 얻을 수 있습니다.

함수 operatorname {sl~{\tilde (는) 또 다른 피타고라스와 같은 항등식을 만족합니다.

파생상품 및 통합

파생상품은 다음과 같습니다.

렘니세이트 사인과 렘니세이트 코사인의 두 번째 유도체는 음의 중복 큐브입니다.

렘니세이트 함수는 역접합 함수를 사용하여 통합할 수 있습니다.

인수합계 및 다중아이덴티티

삼각 함수와 마찬가지로 렘니세이트 함수도 인수 합과 차 항등식을 만족합니다.파냐노가 렘니케이트를 이등분하기 위해 사용한 최초의 신원은 다음과 같습니다.[19]

도함수와 피타고라스와 유사한 항등식은 파가노가 slcl에서 사용한 항등식을 재작업하는 데 사용될 수 있습니다.접선-합 를 ⊕ := ( + ⁡ b) {:=} b와 접선-diffe 연산자 := ⊕ (- b {:=} 로 정의하면 인수 합과 차 항등식은 다음과 같이 표현할 수 있습니다.

이들은 삼각형 유사체와 유사합니다.

특히 실수 성분의 복소수 함수를 계산하기 위해서는

이등분선 공식:

복제 수식:[21]

곱셈 공식:[21]

⁡ 3 의 분자와 분모 계수의 "역대칭"을 주목하십시오이 현상은 \beta 에 대한 곱셈 공식에서 관찰될 수 있으며 여기서 = m+ i \beta = 및 m+ 은(는) 홀수입니다.

렘원자 다항식

격자라고 {\displaystyle

또한 = () K =\ = Z[ ] }}=\ 에서 = 에서γ = m {\ + \displaystyle {\displaystyle m,n,m',n\ {\displaystyle {Z m + n {\displaystyle은 홀수, 은 홀수, 1 + 1 ( z \ z z그리고나서

일부 공임 다항식 ( ( x )[ ] 및 일부 3 여기서

그리고.

여기서 δ delta beta }}는 \beta } - tors이온 발생기(즉, )입니다. ( / _[ ( / - 모듈로 생성합니다 \- 비틀림 생성기의 예로는 의 ϖ/ {\/\}와( i ϖ/ {\ (1/\}가 있습니다 다항식인 λβ x [ ]\ _}(에서 β {\ \} - lemanomic 다항식이라고 합니다.그것은 단성이고 K 에 대해 축소할 수 없습니다 렘원자 다항식은 사이클로토믹 다항식의 "렘니케이트 유사체"입니다.[23]

\beta } - 열원자 다항식 λ ( x \ _beta }( ⁡ δ delta beta 최소 다항식입니다 편의상 = ϖ / ) _beta } =\beta) 및 ω (( + / ) {\tilde a}=\ name + )\ 예를 들어, 의 최소 다항식{\ _ ω ~입니다

그리고[24]

[25]

(동등식은 아래 표에 나와 있습니다.)또 다른 예는[23]

ω - + i \또한 ω ~- 1+ {\ {\}}_최소 다항식인 K[

(가) 소수이고 {\displaystyle \(가) 양수이고 홀수이면[27],[26]

사이클로토믹 유사체와 비교될 수 있는

특정값

삼각함수와 마찬가지로 렘니세이트 함수의 값은 기본 산술과 제곱근만을 사용하여 렘니세이트를 같은 길이의 n개 부분으로 나눈 값을 계산할 수 있습니다.n = p n=인 경우에만 k는 음이 아닌 정수이고 각 p(있는 경우)는 서로 다른 페르마 소수입니다.

추가값

기하학적 도형과의 관계

베르누이 렘니케이트의 호 길이

렘니스케이트 사인과 코사인은 렘니스케이트의 원호 길이와 원점에서 한 끝점의 거리를 연관시킵니다.
삼각 사인과 코사인은 단위 지름 원의 원호 길이와 원점에서 한 끝점의 거리를 유사하게 연관시킵니다.

반치폭 1인 베르누이의 렘니스케이트는 두 초점 = (- 0) }={\ 0 =( ) }={\이 상수 1 {1 방정식 r }\ 또는 데카르트 방정식( + 2) - + } 를 만족하는 사중 곡선입니다.

원점에서 거리 에 있는 렘니스케이트의 점은 원 2+ y = r + y}의 교차점입니다.} 2- r x r정사분면의 교차점은 직교좌표를 갖습니다.

렘니스케이트의 1/4에 대해 을(를) 사용하여 원점에서 점 ( ), 까지의 매개 변수화를 사용하면 다음과 같습니다.

마찬가지로 ( 에서(( y()까지의 호 길이는 다음과 같습니다.

또는 역방향에서 렘니세이트 사인 함수와 코사인 함수는원점과 점 ({\로부터의 호 길이 함수로 각각 원점과의 거리를 제공합니다.

마찬가지로, 원형 사인 및 코사인 함수는 위의 동일한 인수를 사용하지만 매개 변수화를 사용하여 극성 방정식 = ⁡ θ r =\ 또는 데카르트 방정식 + = , + } = 과(와) 단위 지름 원에 대한 코드 길이를 관련시킵니다.

또는, 단위 x + 2= {\ x + } = 이(가) 점 {\에서 호 길이{\로 매개 변수화된 것처럼,

렘니스케이트는 점( 에서 원호 [30] 매개 변수화됩니다.

렘니세이트 적분과 렘니세이트 함수는 1718년 파냐노가 발견한 중복 항등식을 만족합니다.[31]

동일한 호의 길이(빨간색 곡선)를 가진 15개의 섹션으로 나누어진 렘니스케이트입니다.15의 소인수(3과 5)는 모두 페르마 소수이므로, 이 다각형(검은색)은 직선형 가장자리와 나침반을 사용하여 구성할 수 있습니다.

후에 수학자들은 이 결과를 일반화했습니다.원에 있는 구성 가능한 다각형과 유사하게, 렘니세이트는 n = p n=인 경우에만 직선 가장자리와 나침반을 사용하여 같은 호 길이의 n개 섹션으로 분할할 수 있습니다. 여기서 k는 음이 아닌 정수이고 각 p(있는 경우)는 별개의 페르마 소수입니다.정리의 "만약" 부분은 닐스 아벨이 1827년에서 1828년 사이에 증명했고, "만" 부분은 1981년 마이클 로젠이 증명했습니다.[33]이와 동일하게 렘니세이트는 φ 가 2의 거듭제곱인 경우(여기서 φ 오일러의 토티언트 함수임)에만 직선 에지와 나침반을 사용하여 같은 호 길이의 n개 구간으로 분할할 수 있습니다.렘니스케이트는 이미 그려진 것으로 가정되지 않습니다. 이 정리는 분할점만 구성하는 것을 말합니다.

= ϖ }=\라고 합니다 그렇다면 렘니스케이트+ = - + } = - 이(가) 점입니다.

여기서 ⌊ ⋅ ⌋ l floor 플로어 함수입니다. ϖ 의 일부 특정 값은 아래를 참조하십시오

직사각형 탄성체의 원호 길이

렘니세이트 사인은 직사각형 탄성체에서 원호 길이와 x 좌표 사이의 관계를 나타냅니다.

역 렘니세이트 사인은 직사각형 탄성체의 x 좌표에 대한 호 길이도 설명합니다.[34]이 곡선은 y개의 좌표와 호 길이를 갖습니다.

직사각형 탄성체는 1691년 Jacob Bernouli에 의해 제기된 문제를 해결합니다. 1691년, 바닥 끝에서 수직 방향으로 고정되고 끝에서 수평으로 구부러질 때까지 무게에 의해 아래로 당겨지는 이상적인 유연한 막대의 형태를 묘사합니다.베르누이가 제안한 해결책은 오일러-베르누이 이론을 확립시켰으며, 18세기에 오일러에 의해 더욱 발전되었습니다.

타원 특성화

렘니스케이트 타원 함수 및 타원

를 타원 + 2 = + =의 점이라고 하고 D D를 단위 원 + = 1 + y}= 1C 이라고 합니다.원점 C 사이의 r 은( displaystyle 여기서 B = (1,0) {\ B= ( 의 길이와 동일함 φ r의 함수입니다.매개 변수 (는) 다음과 같습니다.

만약 x축 투영이고,F {\ x축 투영이면, 렘니세이트 타원 함수는 다음과 같이 주어집니다.

영상 시리즈 아이덴티티

멱급수

원점에서 렘니세이트 사인의 멱급수 확장은[35]

여기서 계수{\a_}}는 다음과 같이 결정됩니다.

여기서 + + = i + + k = n 의 모든 3항 구성을 나타냅니다 예를 들어, 를 평가하기 위해합에 이 아닌 기여를 주는 - = 13 - 2 = 의 구성은 11 = + + = + + 1 = 1 + + }의 6개뿐임을 알 수 있습니다. 5+ 11이므로

확장은 다음과[36] 같이 동등하게 쓸 수 있습니다.

어디에

원점에서 ~의 멱급수 확장은

여기서 이 짝수인 n= {\}=

(가) 홀수인 경우.

확장은 다음과[38] 같이 동등하게 쓸 수 있습니다.

어디에

렘니스케이트 코사인의 경우,[39]

어디에

라마누잔의 코스/코스 정체성

라마누잔의 유명한 코스/코스 정체성은 만약

[37]

렘니스케이트 함수와 사이에는 밀접한 관계가 있습니다 실제로,[37][40]

그리고.

연속분수

{ :

계산법

근사치를 x증가하는 ⁡ x 에 더 가까워짐)로 되돌리는 빠른 알고리즘은 다음과 같습니다.

  • 일별로 하다
    • 한다면 그리고나서
  • N에서 0도까지의 각 n대하여
  • 돌아가다

이것은 산술-기하학 평균을 효과적으로 사용하며 Landen의 변환에 기초합니다.[43]

을(를) 계산하는 여러 방법은 먼저 변수를 π = ϖ ~ x=\으로 변경한 후 ϖ ~ /π)을 계산하는 것입니다 })을(를) 계산하는 것입니다

쌍곡 직렬 방식:[44][45][46]

푸리에 급수 방법:[47]

렘니세이트 함수는 다음과 같이 더 빠르게 계산될 수 있습니다.

어디에

자코비 [48]세타 함수입니다

렘니세이트 사인의 로그에 대한 푸리에 급수:

라마누잔이 발견한 일련의 동일성은 다음과 같습니다.[49]

단위 원의 과(와 한 함수 ~ {\ {cos}}에는 다음과 같은 푸리에 및 쌍곡 급수 확장이 있습니다.[37][40][50]

다른 두 가지 빠른 계산 방법은 다음과 같은 합과 곱 시리즈를 사용합니다.

이 제품은 A Course of Modern Analysis 교과서에 설명되어 있습니다.[51]

PeterJonathan Borwein 형제는 Jacobi 타원함수 일반적인 경우를 언급함으로써 그들의 작업 π과 AGM에서 유사한 공식을 설명했습니다.

동일한 패턴에서 접선 복제 정리를 사용하여 합 공식을 설정할 수 있습니다.

여기서 ( )= ( ) = / -x ). f ( =\x) = (1 - x .}

렘니세이트는 전체 기능의 비율로 기능합니다.

렘니세이트 사인은 복소평면 전체에서 메로모형 함수이므로, 전체 함수의 비율로 표기할 수 있습니다.가우스는 sl이 0과 극의 분포를 반영하여 다음과 같은 제품 확장을 나타냄을 보여주었습니다.[52]

어디에

여기서 {\}는 ⁡ z> 0 있는 sl의 0과 극, 0 {\ \ z > 0,\z 0을 나타냅니다 증명은 에서 찾을 수 있습니다.

렘니세이트 사인에 대한 무한 제품 증명

는 것을 쉽게 알 수 있습니다.

(여기서 렘니스케이트 타원 함수 § 후르비츠 수에 정의된 후르비츠 수) 및

그러므로

는 것으로 알려져 있습니다.

그다음부터.

그리고.

우리가 얻는

이런 이유로

그러므로

<ϖ /{\ C <\varpi / 에 대한 상수 Cdisplaystyle C}의 경우 이 결과는 분석적 연속에 의해 모든 에 대해 성립합니다.사용.

하는 C= 1 {\C=을(를) 제공합니다.

가우스는 ϖ = π/ N) =\이는 나중에 사실로 밝혀졌다)라고 추측하고 이것이 "가장 주목할 만한 것이며 이 성질의 증거는 분석에서 가장 심각한 증가를 약속한다"고 언급했습니다.가우스는 의 제품을 무한급수로 확장하였습니다.그는 M N{\ 함수와 관련된 몇 가지 항등식을 발견했습니다

평면에서M {\ 함수입니다.복잡한 논쟁은 다양한 색상으로 표현됩니다.
평면에서 N {\ 함수입니다복잡한 논쟁은 다양한 색상으로 표현됩니다.

그리고.

함수 (가) 전체 함수이므로 멱급수 확장은 복소 평면의 모든 곳에 수렴합니다.[55][56][57]

다음과 같이 정의합니다.

그렇다면 렘니스케이트 코사인은 다음과 같이 쓸 수 있습니다.

어디서[58]

더 나아가,

피타고라스의 정체성과

에 대해 입력합니다

렘니세이트 함수를 전체 함수의 비율로 표현하는 대안적인 방법은 세타 함수를 포함합니다(렘니세이트 타원 함수 § 계산 방법 참조; 세타 함수와 위 함수는 동등하지 않습니다).

다른 기능과의 관계

바이어슈트라스와 야코비 타원함수와의 관계

렘니세이트 함수는 바이어슈트라스타원 함수 ℘(z; 렘니세틱 케이스")와 밀접한 관련이 있으며, 불변량은 g = 1, g = 0입니다.이 격자는 기본 주기 ω = ϖ }={\ ω = ω }=를 갖습니다Weierstrass 함수의 연결 상수는 e = 1 = e =- 1 입니다 }={\}=}=-{\입니다.

g = a, g = 0인 Weiersstrass 타원 함수의 관련 사례는 스케일링 변환에 의해 처리될 수 있습니다.그러나 여기에는 복잡한 숫자가 포함될 수 있습니다.실수 내에 남아 있으려면 a > 0과 a < 0의 두 가지 경우를 고려해야 합니다.주기 평행사변형정사각형 또는 마름모꼴입니다.Weiersstrass 타원 함수- ) 을(를) "의사 난시"라고 합니다.

렘니세이트 사인의 제곱은 다음과 같이 나타낼 수 있습니다.

여기서 ℘ 의 두 번째 및 세 번째 인수는 격자 불변량 gg를 나타냅니다.또 다른 표현은

여기서 ℘ 의 두 번째 인수는 주기비 τ 를 나타냅니다 렘니세이트 사인은 바이어슈트라스 타원 함수 및 그 도함수에서 유리 함수입니다.

여기서 ℘ 의 두 번째 및 세 번째 인수는 격자 불변량 gg를 나타냅니다.주기 비율 τ 의 경우 다음과 같습니다

렘니세이트 함수는 야코비 타원 함수로도 쓸 수 있습니다.양의 실제 타원 계수를 가진 자코비 타원 함수 는) 실제 축과 가상 축에 정렬된 "직립" 직사각형 격자를 가지고 있습니다.또는 모듈러스 i가 있는 함수 \및 모듈러스 가 있는 {\ \ {의 제곱 주기 격자가 1/8 회전합니다[62][63]

여기서 두 번째 인수는 타원 모듈러스 를 나타냅니다

~{sl ~ {\operatorname {도 야코비 타원 함수로 표현할 수 있습니다.

모듈식 람다 함수와의 관계

렘니세이트 사인은 모듈러 람다 함수의 값을 계산하는 데 사용할 수 있습니다.

예를 들어,

역함수

렘니세이트 사인의 역함수는 렘니세이트 아크사인이며, 다음과 같이 정의됩니다.

또한 기하학 함수로 나타낼 수도 있습니다.

렘니세이트 코사인의 역함수는 렘니세이트 아르코신입니다.이 함수는 다음 식으로 정의됩니다.

구간 - 1 경우 = x x = x =

렘니세이트 아크 길이를 절반으로 줄이는 경우 다음 공식이 유효합니다.

또한 이른바 쌍곡선 렘니세이트 영역 기능이 있습니다.

타원 적분을 이용한 표현

렘니세이트 아크신 및 렘니세이트 아크코신은 범례 재형성으로 표현할 수도 있습니다.

이러한 기능은 첫 번째 유형의 불완전한 타원 적분을 사용하여 직접 표시할 수 있습니다.

렘니스케이트의 아크 길이는 타원의 아크 길이(두 번째 종류의 타원 적분으로 계산)만을 사용하여 표현할 수도 있습니다.

렘니세이트 아르코신은 다음과 같은 식을 갖습니다.

통합사용

렘니세이트 아크신은 많은 기능을 통합하는 데 사용될 수 있습니다.다음은 중요한 적분 목록입니다(적분 상수는 생략됨).

쌍곡 렘니세이트 함수

기초정보

실제 인수에 적용되는 쌍곡 렘니세이트 사인(빨간색) 및 쌍곡 렘니세이트 코사인(보라색)은 삼각 접선(흰색 점선 빨간색)과 비교됩니다.
복소 평면에서 쌍곡 렘니세이트 사인.어두운 영역은 0을 나타내고 밝은 영역은 극을 나타냅니다.복잡한 논쟁은 다양한 색상으로 표현됩니다.

편의를 위해 σ = ϖ{\\sigma ={\ {}라고 합니다.σ{\\sigma }은(는) π 아래 참조)의 "원형" 아날로그입니다.σ }의소수 확장.7081… {\\ldots은 라마누잔의 두 번째 노트 11장의 항목 34e에 나타납니다.

쌍곡 렘니세이트 사인(slh)과 코사인(clh)은 다음과 같이 타원 적분의 역으로 정의할 수 있습니다.

여기서 는 모서리가 σ/ σ i/ -σ/ {\ i i인 정사각형에 있습니다 그 정사각형을 넘어, 함수는 전체 복소 평면에서 형형 함수로 분석적으로 계속될 수 있습니다.

완전한 적분은 다음과 같은 값을 갖습니다.

따라서 정의된 두 함수는 서로 다음과 같은 관계를 갖습니다.

쌍곡 렘니세이트 사인과 쌍곡 렘니세이트 코사인의 곱은 다음과 같습니다.

함수 {\은(는) 기본 주기{σ,σi} {\\{\ i인 정사각형 주기 격자를 갖습니다

쌍곡 렘니세이트 함수는 렘니세이트 사인과 렘니세이트 코사인으로 표현할 수 있습니다.

그러나 야코비 타원 함수와 타원 모듈러스 1제곱근 2제곱근의 관계도 있습니다.

쌍곡 렘니세이트 사인은 렘니세이트 사인과 다음과 같은 가상의 관계를 갖습니다.

이는 쌍곡선과 삼각 사인의 관계와 유사합니다.

페르마 곡선과의 관계

쌍곡선 렘니스케이트 접선과 코탄젠트

이 이미지는 표준화된 4차 페르마 원곡선을 보여줍니다.

x + = + }=인 초일원

4차 페르마 곡선 + y = 1 + y} = 꼬임꼴이라고도 함)에서 쌍곡 렘니세이트 사인과 코사인은 단위 원 + y = 1 + y} = 페르마 곡선)의 접선 및 공접선 함수와 유사합니다.원점과 곡선의 한 점이 L선으로 서로 연결되어 있다면, 이 선과 x축 사이의 닫힌 영역의 두 배인 쌍곡 렘니세이트 사인은 L선 = x = 과의 교차점의 y좌표입니다 π 가 원 + = 1 displaystyle \}로 둘러싸인 영역인 것처럼 사각형 + y 1 x}로 둘러싸인 영역은 \}입니다 또한,

여기서 산술 기하학 평균입니다.

쌍곡 렘니스케이트 사인은 인수 덧셈 항등식을 만족합니다.

(가) 실수이면 의 도함수 및 원래 도함수는 다음과 같은 방식으로 표현할 수 있습니다.

또한 쌍곡 렘니케이트 접선 및 쌍곡 렘니케이트 코안젠탈의 추가 기능이 있습니다.

함수 tlh와 ctlh는 다음과 같이 언급된 미분 방정식에 설명된 항등식을 충족합니다.

기능적 지정 sl은 렘니시틱 사인을 의미하고 지정 cl은 렘니시틱 코사인을 의미합니다.또한 야코비 타원 함수와의 관계는 다음과 같습니다.

(가) 실수일 때 {\ {\의 도함수 및 사분주기 적분은 다음과 같은 방식으로 표현할 수 있습니다.

쌍곡 렘니스케이트 함수의 유도

4차 페르마 곡선 x + y = x + } = 과 관련하여쌍곡 렘니세이트 사인은 삼각 접선 함수와 유사합니다. \과(와) 4{\ \} 및 {\ \}}의 함수는 전체 복소평면에서 메로모형 함수로 분석적으로 확장할 수 없습니다.[67]

이 초입의 수평 및 수직 좌표는 밀폐된 면적의 2배인 w = 2A에 종속되므로 다음 조건을 충족해야 합니다.

이 방정식 체계에 대한 해결책은 다음과 같습니다.

따라서 몫에는 다음이 적용됩니다.

함수 x(w)와 y(w)를 코탄젠트 쌍곡 렘니스카투스쌍곡 탄젠트라고 합니다.

스케치는 또한 Areasinus 쌍곡 렘니스카투스 함수의 유도가 네 번째 거듭제곱함수의 계승자의 제곱근의 역수와 같다는 사실을 보여줍니다.

첫 번째 증명 : 아크탄젠트 도함수와의 비교

오른쪽에 보이는 스케치에는 검은색 대각선이 있습니다.빨간색 수직 축과 함께 검은색 대각선의 교차점에서 점(10)까지 수직으로 이어지는 세그먼트의 길이를 s라고 해야 합니다.그리고 좌표 원점에서 이 대각선과 초타원의 청록색 곡선이 교차하는 지점까지의 검은색 대각선 구간의 길이는 slh 값에 따라 다음과 같은 값을 갖습니다.

이 연결은 피타고라스 정리에 의해 설명됩니다.

유사한 단위 원은 설명된 면적 할당과 함께 원 삼각형의 아크탄젠트를 생성합니다.

이에 적용되는 파생상품은 다음과 같습니다.

렘니스카투스 쌍곡면의 넓이의 유도를 결정하기 위해, 초타원과 단위 원의 동일한 대각선에 대한 무한히 작은 삼각형 넓이의 비교가 아래에 설정됩니다.무한히 작은 삼각형 영역의 합이 면적 치수를 설명하기 때문입니다.사진 속 초타원의 경우 해당 영역의 절반이 녹색으로 표시됩니다.좌표 원점에서 각도가 무한히 작은 삼각형의 길이에 대한 영역의 2차 비율 때문에 다음 공식이 적용됩니다.

두 번째 증명: 적분 형성 및 면적 감산

그림에서 면적 접선 렘니스카투스 하이퍼볼리쿠스는 대각선과 곡선의 교차점 높이를 녹색 면적의 두 배로 할당합니다.녹색 영역 자체는 0에서 해당 높이 값까지의 초타원 함수의 차이 적분에서 인접한 삼각형의 면적을 뺀 값으로 생성됩니다.

다음과 같은 변환이 적용됩니다.

따라서 연쇄법칙에 따르면, 이 파생은 다음과 같습니다.

특정값

다음 목록은 쌍곡선 렘니스케이트 사인의 값을 정확하게 보여 줍니다.


다음 표에는 쌍곡선 렘니스케이트 탄젠트 코탄젠트 함수의 가장 중요한 값이 나와 있습니다.

조합 및 반차 정리

쌍곡 Lemniscate Areasine과 함께 다음 ID를 설정할 수 있습니다.

쌍곡 렘니스케이트 탄젠트의 제곱은 의 네 번째 거듭제곱의 합이 항상 값 1과 같기 때문에 쌍곡 렘니스케이트 탄젠트의 제곱의 피타고라스 대응물입니다.

쌍곡 동축 렘니스카투스의 이등분 정리는 다음과 같습니다.

이 공식은 다음 두 공식의 조합으로 밝혀질 수 있습니다.

또한 모든 실수 값 에 대해 다음 공식이 유효합니다

이들 아이덴티티는 마지막으로 언급한 공식을 따릅니다.

다음과 같은 렘니시틱 사인과 렘니시틱 코사인의 공식은 밀접한 관련이 있습니다.

변환 좌표

가우시안 곡선 함수에서 부적절한 적분을 결정하는 것과 유사하게 일반적인 실린더의 좌표 변환을 사용하여 x와 관련하여 한 함수( x) = ⁡ ( - 4) {\f) =\(-x^{에서 0에서 양의 무한대까지의 적분을 계산할 수 있습니다.다음에서는 두 적분의 증명이 병렬 방식으로 표시됩니다.

가우스 벨 곡선 함수의 원통 좌표 변환은 다음과 같습니다.

그리고 이것은 난막증의 경우와 유사한 좌표 변환입니다.

타원적으로 유사한 방정식 체인의 마지막 줄에는 다시 무한소 분석(분석)의 체인 규칙에 따라 제곱 함수와 통합된 원래의 가우스 벨 곡선이 있습니다.

두 경우 모두 야코비 행렬의 행렬식은 적분 영역의 원래 함수에 곱해집니다.

통합 영역의 결과적인 새 기능은 새 매개 변수에 따라 통합됩니다.

타원계수와 5차방정식

1858년 찰스 헤르미테는 전설적인 개혁에서 5원 방정식과 대응하는 타원 모듈러스 피타고라스 대응물 k 사이의 연결을 만들었습니다.[68]

2 θ -곱하면 θ - 의 새로운 5진수가 됩니다

다음으로 선행 계수의 네 번째 루트를 곱하면 다음을 얻을 수 있습니다.

Bring-Jerard 정규 형태(정도 5, 1, 0의 항만 포함)에서 다항식 + 5 = 4 + =입니다.

타원 모듈러스 와 피타고라스 상보 모듈러스 k는 k + 2 = 을 만족합니다. k} + } = 1.} c}에서k k'에 대한 해는 다음과 같습니다.

이 두 가지 공식은 쌍곡 렘니세이트 함수의 관점에서 제시될 수 있습니다.

수론

대수적 수론에서, 가우스 유리수 ( 의 모든 유한 아벨 확장은 일부 양의 정수 n 에 대한 Q ,ω n _의 부분 필드입니다이것은 원의 분할에 기초한 Q 에 대한 크로네커-베버 정리와 유사합니다. 특히, 의 모든 유한 아벨리안 확장은 일부 양의 정수 n Q (ζ 의 하위 필드입니다 둘 다Hilbert의 12번째 문제가 된 크로네커의 유겐트라움의 특별한 사례들입니다.

필드 ( ⁡ (ϖ/ )양의 홀수 는 x - y - 타원 곡선 4 + y 4 x3} +x 에서 생성된 Q {Q의 확장입니다

후르비츠 수

베르누이 는 다음과 같이 정의할 수 있습니다.

에 출연합니다.

여기서 ζ 리만 제타 함수입니다.

아돌프 후르비츠의 이름을후르비츠 는 베르누이 수의 "렘니케이트 유사체"입니다.다음과[70][71] 같이 정의할 수 있습니다.

여기서 ζ/ 0) 1 / 는 격자 이 1/ 1 / Weierstrass zeta 함수입니다에 등장합니다.

[ i] 가우스 정수이고 G n 무게 아이젠슈타인 급수입니다

H = / } =

이(가) 의 배수가 아닌 경우 = }=입니다이것은 산출합니다[70].

또한[73]

여기서 ( 4 ), p ({\과 같이

여기서 ∈ P (폰 슈타우트-클라우센 정리에 의해).

사실, 폰 슈타우트-클라우센 정리는 다음과 같이 말합니다.

(OEIS의 수열 A000146) 여기서 는 임의의 소수이며, 유사한 정리는 후르비츠 수에 성립합니다: ∈ 이고, 이고, p ≡ 1( 1 = 인 경우+ + (두 제곱의 합에 대한 페르마의 정리 참조)와 + ( 4 {\ a b \, 그렇다면 임의의 p{\p}에 대하여 = {\a는 유일하게 결정됩니다.

정수 는 0 {\ 5,로 시작합니다

2이라고 합니다 + 이(가) 소수이면 4{\ 1 \, + 1 이(가) 소수가 ( 4{\ {}\ 3{mod} \,

대신 일부 저자는 H n = n }'=\로 후르비츠 수를 정의합니다

로랑 시리즈의 등장인물

후르비츠 수는 렘니스케이트 함수와 관련된 로랑 급수 확장에서 여러 개 나타납니다.[75]

마찬가지로 베르누이 수는 다음과 같습니다.

Legendre 기호의 사중형 유사체 유사체

( ) 가 되도록 를 소수라고 하자 사분위 잔차(mod p는 정수의 4제곱에 해당하는 임의의 숫자입니다. 사분위수 잔여물( p{\이면( {a를 1 pmod p {\displaystyle p})로 정의하고, 가 사분위수 잔여물(mod displaystyle p 아니면- 으)로 정의합니다.

(가) 공임인 경우 {\displaystyle [ 다음과[76] 같은 가 존재합니다.

이 정리는 다음과 유사합니다.

여기서 (⋅ ⋅) Legendre 기호입니다.

세계지도 투영법

피어스(Peirce, 1879)의 "퀸시컬 프로젝션에 관한 세계".

1870년대에 미국 해안 조사의 찰스 샌더스 피어스(Charles Sanders Peirce)가 설계한 피어스 퀸시컬 투영입체적으로 투영된 점들의 역 렘니세이트 사인(복소수로 처리됨)에 기반한 세계 지도 투영입니다.[77]

쌍곡 렘니스케이트 사인을 통해 복소 평면에 일정한 실제 또는 가상 부분의 선이 투영된 후 구면에 입체적으로 투영되면(리만 구 참조), 결과적인 곡선은 평면 타원하이퍼볼라의 구면 유사체인 구면 원뿔입니다.[78]따라서 렘니세이트 함수(그리고 더 일반적으로 야코비 타원 함수)는 구형 원뿔에 대한 매개 변수화를 제공합니다.

Lemniscate 함수를 사용하여 지구에서 정육면체의 6개의 정사각형 면에 대한 등각 지도 투영을 정의할 수도 있습니다.[79]많은 편미분 방정식은 등각 매핑을 통해 효과적으로 해결할 수 있기 때문에, 구에서 입방체로의 이 지도는 대기 모델링에 편리합니다.[80]

참고 항목

메모들

  1. ^ 파냐노 (1718–1723); 오일러 (1761); 가우스 (1917)
  2. ^ 가우스(Gauss, 1917) p. 199는 렘니스케이트 사인과 코사인에 각각 slcl 기호를 사용하였고, 이 표기법은 오늘날 가장 일반적입니다.Cox (1984) p. 316, Eymard & Lafon (2004) p. 204, Lemmermeyer (2000) p. 240.Ayoub (1984)싱글렘코스렘을 사용합니다.Whittaker & Watson (1920)은 synemncosemn이라는 기호를 사용합니다.어떤 자료들은 일반 문자 s와 c를 사용합니다. Prasolov & Solovyev (1997)는 렘니스케이트 사인을 φ로 그리고 그것의 도함수를 φ'로 사용합니다.
  3. ^ + = x x + y} 는 Cox & Shurman(2005)정의에 따라 극방정식 cos r\ 도-2 클로버를 갖는 ( {\중심을 둔 단위- 원입니다.원점 중심의 단위-radius 원 2+ = + }=이(가) 아닙니다.렘니스케이트(+ ) = 2- y + }= - y는 차수-4 클로버입니다.
  4. ^ 기본 주기 (+ ϖ 1 + (- ϖ - i은(는) 실제 부분이 음이 아닌 모든 주기 중에서 가장 작은 절대값을 갖는다는 의미에서 "최소"입니다.
  5. ^ Robinson(2019a)은 이 정의에서 시작하여 렘니세이트 함수의 다른 특성을 도출합니다.
  6. ^ 이 지도는 슈바르츠 (1869) 페이지 113에서 슈바르츠-크리스토펠 지도의 첫 번째 그림이었습니다.
  7. ^ 샤파허 (1997).OEIS 시퀀스 A062539는 렘니스케이트 상수의 십진 숫자를 나열합니다.
  8. ^ 레빈 (2006)
  9. ^ 토드 (1975)
  10. ^ 콕스 (1984)
  11. ^ 어두운 영역은 0을 나타내고 밝은 영역은 극을 나타냅니다. 인수가 -π -π {\ -\pi 제외)에서π {\ \로 변경되면 색상이 시안 파란색(Arg≈ -π / (\ {-\pi / 빨간색) (\, 주황색, 노란색g ≈ / ) 녹색, 다시 시안g ≈ π \pi 으로 돌아갑니다
  12. ^ 첫 번째 ID와 네 번째 ID를 결합하면 =- i/ ( -( + i )ϖ/ ) z=- (z - + i / 2 )가 됩니다이 신원은 (잘못) Eymard & Lafon(2004) p. 226에 나와 있으며, 오른쪽 앞에 마이너스 표시가 없습니다.
  13. ^ 짝수 가우스 정수는 체커보드의 검은 사각형인 0, 모듈로 1 + i의 잔차 클래스입니다.
  14. ^ 프라솔로프 & 솔로비예프 (1997); 로빈슨 (2019a)
  15. ^ a b 콕스 (2012)
  16. ^ Reinhardt & Walker (2010a) § 22.12.6, § 22.12.12
  17. ^ 마찬가지로 = ∑ (- ) + π. z}}=\ _
  18. ^ Lindqvist & Peetre(2001)는 이러한 형태 중 첫 번째 형태를 일반화하고 있습니다.
  19. ^ 아유브 (1984); 프라솔로프 & 솔로비예프 (1997)
  20. ^ 오일러 (1761) §44 페이지 79, §47 페이지 80–81
  21. ^ a b 오일러 (1761) §46쪽80쪽
  22. ^ 실제로 ε = ϖ 2 }}=\ beta
  23. ^ a b c 콕스 앤 하이드 (2014)
  24. ^ 고메즈 몰레다 & 라리오 (2019)
  25. ^ 최소 양의 주 인수를 갖는 네 번째 루트가 선택됩니다.
  26. ^ 양수 및 홀수 \beta }에 대한 제한을 할 수 있습니다. λ = ( / )× {deg _beta }=\
  27. ^ Cox (2013) 페이지 142, 예제 7.29(c)
  28. ^ 로젠 (1981)
  29. ^ 오일러 (1761); 시겔 (1969).Prasolov & Solovyev(1997)는 렘니스케이트의 극좌표 표현을 사용하여 미분호 길이를 도출하였으나 결과는 같습니다.
  30. ^ 라인하르트 & 워커 (2010a) §22.18.E6
  31. ^ 시겔 (1969); 샤파허 (1997)
  32. ^ 그러한 숫자가 OEIS 시퀀스 A003401입니다.
  33. ^ 아벨 (1827–1828); 로젠 (1981); 프라솔로프 & 솔로비예프 (1997)
  34. ^ 오일러 (1786); 스리다란 (2004);Levien (2008)
  35. ^ "A104203". The On-Line Encyclopedia of Integer Sequences.
  36. ^ Lomont, J.S.; Brillhart, John (2001). Elliptic Polynomials. CRC Press. pp. 12, 44. ISBN 1-58488-210-7.
  37. ^ a b c d "A193543 - Oeis".
  38. ^ p. Lomont, J.S.; Brillhart, John (2001). Elliptic Polynomials. CRC Press. ISBN 1-58488-210-7. 79, 등식 5.36
  39. ^ p. Lomont, J.S.; Brillhart, John (2001). Elliptic Polynomials. CRC Press. ISBN 1-58488-210-7. 79, 등식 5.36 및 페이지 78, 등식 5.33
  40. ^ a b "A289695 - Oeis".
  41. ^ Wall, H. S. (1948). Analytic Theory of Continued Fractions. Chelsea Publishing Company. pp. 374–375.
  42. ^ 라인하르트 & 워커 (2010a) §22.20(ii)
  43. ^ 칼슨 (2010) §19.8
  44. ^ Dieckmann, Andreas. "Collection of Infinite Products and Series".
  45. ^ 라인하르트 & 워커 (2010a) § 22.12.12; Vigren & Deckmann (2020) p.7
  46. ^ 일반적으로 - π - n- π i )=- + π) - n )= + 는 동일하지 않지만 결과적으로 무한합은 동일합니다.
  47. ^ 라인하르트 & 워커 (2010a) §22.11
  48. ^ 라인하르트 & 워커 (2010a) §22.2.E7
  49. ^ Berndt (1994) 페이지 247, 248, 253
  50. ^ 라인하르트 & 워커 (2010a) §22.11.E1
  51. ^ Whittaker and Watson (1990) 페이지 469-470
  52. ^ a b Eymard & Lafon (2004) 페이지 227.
  53. ^ Cartan, H. (1961). Théorie élémentaire des fonctions analytiques d'une ou plusieurs variables complexes (in French). Hermann. p. 160—164.
  54. ^ 보타지니 & 그레이 (2013) 페이지 58
  55. ^ p. 405; 페이지에 오류가 있습니다 의 계수는 752 이어야하며 3330 {207이어야 합니다
  56. ^ 함수는 미분방정식 () ⁗ (z)- M () ( )+ - 4 + ( - = 0 ( - 2 =0 (Gauss (1866), 페이지 408). 함수는 미분방정식(( z) N( ) ( z) - () 2) - (z) = - ( - M (} =
  57. ^ ( )= ∑ = ∞ n + )=\=인 경우 의 계수 n은 a+ = - n + = - + - + ( + {\}=-{\_{=_{}}{{n-k+ }일 때, _렘니스케이트 타원 함수 후르비츠 수에 정의된 후르비츠 수이다.
  58. ^ Zhuravskiy, A. M. (1941). Spravochnik po ellipticheskim funktsiyam (in Russian). Izd. Akad. Nauk. U.S.S.R.
  59. ^ 로빈슨 (2019a)
  60. ^ ) tau 1이 이고 / τ tau }인 Weierstrass 타원 함수입니다
  61. ^ Eymard & Lafon (2004) 페이지 234
  62. ^ Armitage, J. V.; Eberlein, W. F. (2006). Elliptic Functions. Cambridge University Press. p. 49. ISBN 978-0-521-78563-1.
  63. ^ 신원 = z; ) z = {\ ({\그린힐(1892) 페이지 33에서 찾을 수 있습니다.
  64. ^ http://oeis.org/A175576
  65. ^ p. Berndt, Bruce C. (1989). Ramanujan's Notebooks Part II. Springer. ISBN 978-1-4612-4530-8. 96
  66. ^ 레빈 (2006);로빈슨 (2019b)
  67. ^ 레빈 (2006) 페이지 515
  68. ^ 헤르미테, 샤를 (1858) "신퀴엠데레의 태양", 콤프테센두스.이탈리아어로 번역된 "Sulla risoluzione delle equazioni del quinto grado", p. 258 참조.
  69. ^ a b Cox (2012) 페이지 508, 509
  70. ^ a b c d p. Arakawa, Tsuneo; Ibukiyama, Tomoyoshi; Kaneko, Masanobu (2014). Bernoulli Numbers and Zeta Functions. Springer. ISBN 978-4-431-54918-5. 203—206
  71. ^ 이와 동등하게, - → 0 n z z ((+ i) z / (( ) /2) + z E( ;){\ _ _ 0 ({\ n 4 }\left({\frac {z}{2};i\right)\)},; ) 은 모듈러스 자코비엡실론 함수입니다
  72. ^ =- 1 + = 1 - ( n ) B ( - k) }=-{\ _={n ≥ 2 n및 B = _}=
  73. ^ Katz, Nicholas M. (1975). "The congruences of Clausen — von Staudt and Kummer for Bernoulli-Hurwitz numbers". Mathematische Annalen. 216 (1): 1–4. 식 (9) 참조
  74. ^ p. Hurwitz, Adolf (1963). Mathematische Werke: Band II (in German). Springer Basel AG. 370
  75. ^ Arakawa et al. (2014)는 을(를) / 로 확장하여 정의합니다 1
  76. ^ Ogawa, Takuma (2005). "Similarities between the trigonometric function and the lemniscate function from arithmetic view point". Tsukuba Journal of Mathematics. 29 (1).
  77. ^ 피어스 (1879).Guyou(1887)Adams(1925)는 같은 투영의 가로와 세로의 측면을 각각 소개했습니다.Lee (1976)도 참조.이 저자들은 사각 격자를 가진 자코비 타원 함수의 관점에서 그들의 투영 공식을 씁니다.
  78. ^ 아담스 (1925)
  79. ^ Adams (1925);Lee (1976).
  80. ^ 란치치, 퍼서 & 메싱어 (1996); 맥그리거 (2005).

외부 링크

참고문헌