에어리 함수란?
에어리 함수 Ai(x)와 Bi(x)는 에어리 미분방정식 \(y'' = x\cdot y\) (즉, \(y'' - x\cdot y = 0\))의 두 선형 독립 해입니다. 이 함수들은 물리학과 응용수학 전반에서 등장합니다. 양자역학에서 고전적 전환점 부근(WKB 접속 문제), 광학에서 코스틱과 무지개의 기술, 그리고 점근 해석 등에서 폭넓게 쓰입니다. \(\text{Ai}(x)\)는 x가 양의 방향으로 커질수록 감쇠하는 해이고, \(\text{Bi}(x)\)는 같은 극한에서 지수적으로 발산합니다. 음의 x에서는 두 함수 모두 진동하면서 \(|x|^{-1/4}\) 정도로 천천히 감쇠합니다.
계산기 사용법
유한한 실수 x값(양수, 음수, 0 모두 가능)을 입력하면 \(\text{Ai}(x)\)와 \(\text{Bi}(x)\)를 바로 확인할 수 있습니다. 기본값으로 \(x = 1.0\)이 설정되어 있으니 출발점으로 활용해 보세요. 단위는 없습니다. x는 순수한 무차원 실수입니다.
공식 풀이
|x|가 적당한 범위일 때는 어디서나 수렴하는 거듭제곱 급수를 사용합니다. 두 급수 \(f(x)\)와 \(g(x)\)를 안정적인 점화식으로 합산합니다.
$$f(x)=\sum_{k\ge0}\frac{3^k(1/3)_k}{(3k)!}x^{3k},\quad g(x)=\sum_{k\ge0}\frac{3^k(2/3)_k}{(3k+1)!}x^{3k+1}$$f의 경우 \(\text{term}_k = \text{term}_{k-1} \times x^3 / ((3k-1)(3k))\)로 1에서 시작하고, g의 경우 \(\text{term}_k = \text{term}_{k-1} \times x^3 / ((3k)(3k+1))\)로 x에서 시작합니다. 그러면
$$\text{Ai}(x) = c_1 f(x) - c_2 g(x), \quad \text{Bi}(x) = \sqrt{3}\,\bigl(c_1 f(x) + c_2 g(x)\bigr)$$이며, 여기서 \(c_1 = \text{Ai}(0) = 0.3550280539\), \(c_2 = -\text{Ai}'(0) = 0.2588194038\)입니다. |x|가 약 8을 넘어서면 소거 오차를 피하기 위해 점근 전개로 전환합니다.
계산 예시 (x = 1)
\(f(1) \approx 1.1722994\)이고 \(g(1) \approx 1.0853395\)입니다. 따라서
$$\text{Ai}(1) = 0.3550280539\times1.1722994 - 0.2588194038\times1.0853395 \approx 0.1352924$$이고,
$$\text{Bi}(1) = \sqrt{3}\times(0.4161680 + 0.2808727) \approx 1.2074236$$입니다. 이는 표준 참고값과 일치합니다.
자주 묻는 질문
Ai(0)과 Bi(0)의 값은 무엇인가요? \(\text{Ai}(0) = 0.3550280539\)이고 \(\text{Bi}(0) = \sqrt{3}\times\text{Ai}(0) = 0.6149266274\)로, 둘 다 정확한 닫힌 형식의 값입니다.
Bi(x)는 왜 발산하나요? \(\text{Bi}(x)\)는 양의 x가 클 때 \(\exp((2/3)x^{3/2})\) 정도로 증가하며, \(x \approx 100\) 부근에서는 배정밀도 부동소수점의 표현 범위를 넘어 오버플로가 발생합니다. 이는 오류가 아니라 예상된 동작입니다.
음수 x도 사용할 수 있나요? 네. 음의 x가 큰 경우 함수가 진동하며, 계산기는 정확도를 위해 진동형 점근 형식을 사용합니다.
