이 계산기의 기능
이 도구는 세 가지 야코비 타원함수인 \(\operatorname{sn}(u,k)\), \(\operatorname{cn}(u,k)\), \(\operatorname{dn}(u,k)\)를 실수 인수 \(u\)와 0부터 1 사이의 모듈러스 \(k\)에 대해 계산합니다. 이 함수들은 일반적인 삼각함수를 확장한 것으로, 물리학과 공학 전반에 폭넓게 등장합니다. 진자의 정확한 운동, 솔리톤(KdV 방정식과 사인-고든 방정식), 타원 필터 설계, 등각사상 등이 대표적인 예입니다.
모듈러스, 파라미터, 각도 표기 규약
표기 규약은 매우 중요합니다. 이 계산기는 \(0 \le k \le 1\) 범위의 모듈러스 k를 사용합니다. 이와 관련된 파라미터는 \(m = k^2\)이고, 모듈러 각도는 \(\alpha = \arcsin(k)\)입니다. 참고하는 자료가 \(m\)이나 \(\alpha\)로 표기되어 있다면 먼저 변환하세요. \(k = \sqrt{m}\) 또는 \(k = \sin(\alpha)\)로 구할 수 있습니다. 인수 \(u\)와 모든 각도는 라디안 단위입니다.
사용 방법
인수 \(u\)(임의의 실수)와 0부터 1 사이의 모듈러스 \(k\)를 입력하면 \(\operatorname{sn}\), \(\operatorname{cn}\), \(\operatorname{dn}\) 값을 바로 확인할 수 있습니다. 결과 패널에는 두 가지 기본 항등식 값도 함께 표시되는데, 두 값 모두 1이 되어야 합니다. 이는 계산 정확도를 검증하는 내장 점검 기능 역할을 합니다.
공식과 알고리즘
진폭 \(\phi = \operatorname{am}(u,k)\)는 다음 식으로 암시적으로 정의됩니다.
$$u = \int_{0}^{\phi} \frac{d\theta}{\sqrt{1 - k^2 \sin^2 \theta}}$$이때 \(\operatorname{sn} = \sin(\phi)\), \(\operatorname{cn} = \cos(\phi)\), \(\operatorname{dn} = \sqrt{1 - k^2 \sin^2 \phi}\)가 됩니다. 이 계산기는 하강 란덴 변환(descending-Landen) 및 산술-기하 평균(AGM) 방법으로 이 적분을 역산하는데, 이 방법은 이차 수렴하여 약 9단계 만에 배정밀도에 도달합니다. 극한값인 \(k = 0\)($$\operatorname{sn} = \sin u,\quad \operatorname{cn} = \cos u,\quad \operatorname{dn} = 1$$)과 \(k = 1\)($$\operatorname{sn} = \tanh u,\quad \operatorname{cn} = \operatorname{dn} = \operatorname{sech} u$$)의 경우에는 AGM이 퇴화되는 것을 막기 위해 각각의 닫힌 형식 공식으로 처리합니다.
계산 예시
\(u = 1.0\), \(k = 0.5\)(즉, \(m = 0.25\))인 경우를 살펴봅시다. 진폭은 \(\operatorname{am}(1, 0.5) \approx 0.95985\ \text{rad}\)이며, 이로부터 \(\operatorname{sn} \approx 0.81962\), \(\operatorname{cn} \approx 0.57280\), $$\operatorname{dn} = \sqrt{1 - 0.25 \cdot 0.81962^2} \approx 0.91217$$을 얻습니다. 두 항등식 모두 정확히 성립합니다. \(\operatorname{sn}^2 + \operatorname{cn}^2 \approx 1\), \(\operatorname{dn}^2 + k^2\operatorname{sn}^2 \approx 1\)입니다.
자주 묻는 질문
주기는 어떻게 되나요? \(\operatorname{sn}\)과 \(\operatorname{cn}\)의 실수 주기는 \(4K(k)\)이고, \(\operatorname{dn}\)의 주기는 \(2K(k)\)입니다. 여기서 \(K(k)\)는 제1종 완전 타원적분입니다.
값의 범위는 어떻게 되나요? \(|\operatorname{sn}| \le 1\), \(|\operatorname{cn}| \le 1\)이며, \(k' \le \operatorname{dn} \le 1\)입니다. 여기서 \(k' = \sqrt{1 - k^2}\)는 보조 모듈러스(complementary modulus)입니다.
k가 1보다 클 수 있나요? 실수값 야코비 함수는 \(0 \le k \le 1\) 범위를 요구합니다. 이 범위를 벗어나는 \(k\) 값은 유효 구간 안으로 제한(clamp)됩니다.
