에어리 함수 표 계산기란?
이 도구는 두 개의 에어리 함수 Ai(x)와 Bi(x)를, 그리고 필요하면 도함수 Ai'(x)와 Bi'(x)까지, 실수 x의 일정 구간에 걸쳐 계산해 줍니다. 에어리 함수는 에어리 미분방정식 \(y'' - x\,y = 0\)의 두 선형 독립 해로, 물리학 곳곳에서 등장합니다. 양자역학에서는 고전적 전환점(turning point) 근처의 파동함수를 기술하며, 광학·점근 해석·무지개 이론에서도 나타납니다.
사용 방법
시작 x 값, 끝 x 값, 그리고 간격(스텝)을 입력하세요. 계산기는 시작 x부터 끝 x까지(양 끝 포함) 각 x 값마다 한 행씩 표를 만듭니다. 도함수 체크박스를 선택하면 Ai'(x)와 Bi'(x)도 함께 표시됩니다. 그래프는 Ai(x)와 Bi(x)를 x에 대해 그려 주므로, 양의 x에서 Ai가 감쇠하고 음의 x에서 두 함수가 진동하는 모습을 한눈에 확인할 수 있습니다.
계산식
원점 주변 급수 전개를 사용하며, \(\alpha = \text{Ai}(0) = 0.3550280539\), \(\beta = -\text{Ai}'(0) = 0.2588194038\)입니다.
$$\text{Ai}(x) = \alpha\, f(x) - \beta\, g(x), \quad \text{Bi}(x) = \sqrt{3}\,\big(\alpha\, f(x) + \beta\, g(x)\big)$$이며, 여기서 \(f(x) = 1 + \frac{x^3}{6} + \frac{x^6}{180} + \cdots\), \(g(x) = x + \frac{x^4}{12} + \frac{x^7}{504} + \cdots\) 입니다. \(|x|\)가 약 8을 넘으면 자릿수 상쇄(cancellation) 오차를 피하기 위해 \(\zeta = \tfrac{2}{3}|x|^{3/2}\)를 사용하는 점근 형태로 전환합니다.
계산 예시
\(x = 0\)일 때: \(f(0)=1\), \(g(0)=0\)이므로 \(\text{Ai}(0) = \alpha = 0.3550281\), \(\text{Bi}(0) = \sqrt{3}\,\alpha = 0.6149266\)입니다. \(x = 1\)일 때: \(f(1) \approx 1.1722535\), \(g(1) \approx 1.0853407\)이므로 \(\text{Ai}(1) \approx 0.1352924\), \(\text{Bi}(1) \approx 1.2074236\)이 되어 표준 수치표 값과 일치합니다.
정의 & 용어집
- 제1종 에어리 함수, \(\text{Ai}(x)\)
- \(x \to +\infty\)일 때 0으로 감소하는 에어리 방정식의 해. 큰 양수 \(x\)에 대해 \(\dfrac{e^{-\zeta}}{2\sqrt{\pi}\,x^{1/4}}\) 꼴로 감소하고, 음수 \(x\)에 대해서는 천천히 증가하는 파장으로 진동한다.
- 제2종 에어리 함수, \(\text{Bi}(x)\)
- 두 번째 선형독립 해. \(x \to +\infty\)일 때 \(\dfrac{e^{\zeta}}{\sqrt{\pi}\,x^{1/4}}\) 꼴로 증가하며, Ai처럼 \(x<0\)에서 진동한다.
- 에어리 미분방정식, \(y'' - xy = 0\)
- 원점에 전환점을 가지는 가장 단순한 2계 선형 상미분방정식. 그 일반해는 \(y(x) = c_1\,\text{Ai}(x) + c_2\,\text{Bi}(x)\). 광학, 양자역학(선형 포텐셜 내의 입자), 및 파동 문제의 WKB 분석에서 나타난다.
- \(\zeta = \tfrac{2}{3}|x|^{3/2}\)
- 에어리 함수의 자연 위상/감소 변수. \(x>0\)에 대한 지수 성장과 감소, 그리고 \(x<0\)에 대한 진동 위상을 지배하며, 점근 전개식 전체에 나타난다.
- 전환점
- 방정식의 성질이 변하는 \(x\)의 값. \(y'' - xy = 0\)에 대해 전환점은 \(x=0\): 계수 \(-x\)가 양수인 \(x<0\)에서는 해가 진동하고 \(x>0\)에서는 지수함수적(성장 또는 감소)이다.
- 점근 전개식
- \(\zeta\) (또는 \(x^{3/2}\))의 역거듭제곱 급수로 큰 \(|x|\)에 대해 Ai와 Bi를 정확히 근사한다. 수렴할 필요가 없으나 몇 항은 원점에서 멀리 떨어진 곳에서 우수한 정밀도를 제공하며, 여기서 공식 탭의 멱급수는 천천히 수렴한다.
- 론스키안
- 행렬식 \(W = \text{Ai}(x)\,\text{Bi}'(x) - \text{Ai}'(x)\,\text{Bi}(x)\). 0이 아닌 상수 론스키안(\(1/\pi\))은 Ai와 Bi가 선형독립이며 따라서 완전한 해 기저를 이룸을 확인한다.
자주 묻는 질문
Bi(x)는 왜 발산하나요? 양의 x가 커지면 Bi(x)는 \(\exp(\zeta)\)처럼 증가하며, x가 약 230을 넘는 부근에서 배정밀도(double) 범위를 넘어 오버플로가 발생합니다. 상한 값은 적당히 작게 잡는 것이 좋습니다.
음의 x에서는 왜 함수가 출렁이나요? x가 음의 무한대로 갈 때 두 함수 모두 진폭이 \(|x|^{-1/4}\)처럼 감쇠하면서 진동합니다.
단위는 무엇인가요? 없습니다. x는 순수한 실수이고, 출력 값도 무차원(단위 없는) 수입니다.
