랑주뱅 함수란?
랑주뱅 함수는 \(L(x) = \coth(x) - \frac{1}{x}\)로 정의되며, 여기서 \(\coth(x)\)는 쌍곡코탄젠트입니다. 이 함수는 폴 랑주뱅(Paul Langevin)의 고전 상자성 이론에서 처음 등장했는데, 외부 자기장 속에서 자유롭게 회전하는 자기 쌍극자 집합의 평균 자화를 나타냅니다. 같은 함수는 유전 분극을 다루는 랑주뱅-디바이 이론에서도, 그리고 자유 연결 고분자 사슬(freely jointed chain)의 통계역학에서 사슬의 늘어남과 가해진 장력의 관계를 설명할 때도 나타납니다. 수학적으로는 브릴루앵(Brillouin) 함수에서 \(J\)가 무한대로 가는 극한에 해당합니다.
계산기 사용법
인자 \(x\)에 임의의 실수 — 양수, 음수, 0 — 를 입력하면 \(L(x)\) 값을 돌려줍니다. 이 함수는 기함수(odd function)이므로 \(L(-x) = -L(x)\)가 성립하며, 결과값은 항상 \(-1\)과 \(1\) 사이에 엄밀하게 놓입니다. \(x\)가 커질수록 값은 +1 쪽으로(음의 방향으로 크면 −1 쪽으로) 포화되는데, 이는 쌍극자가 완전히 정렬되는 상태를 반영합니다.
공식 풀이
$$L(x) = \coth(x) - \frac{1}{x}$$이며, \(\coth(x) = \frac{\cosh(x)}{\sinh(x)} = \frac{e^x + e^{-x}}{e^x - e^{-x}}\)입니다. \(x = 0\)에서는 두 항이 모두 발산하지만, 그 차는 0으로 수렴하는 제거 가능 특이점(removable singularity)을 가집니다. 0 근처에서 큰 두 수를 직접 빼면 자릿수가 소거되어 큰 오차(catastrophic cancellation)가 생기므로, 이 계산기는 \(|x|\)가 매우 작을 때 테일러 급수 \(L(x) \approx \frac{x}{3} - \frac{x^3}{45} + \frac{2x^5}{945}\)로 전환합니다. 이를 통해 원점에서 잘 알려진 기울기 \(\frac{1}{3}\)을 정확히 얻습니다.
계산 예시
\(x = 1\)일 때: \(\cosh(1) = 1.5430806348\), \(\sinh(1) = 1.1752011936\)이므로 \(\coth(1) = 1.3130352855\)입니다. 따라서 $$L(1) = 1.3130352855 - 1 = 0.3130352855$$가 됩니다. 작은 인자 \(x = 0.1\)의 경우, 급수로 계산하면 \(\frac{0.1}{3} - \frac{0.001}{45} \approx 0.0333111\)이 되어 직접 계산한 값과 일치합니다.
자주 묻는 질문
왜 \(L(0) = 0\)인가요? \(\coth(x)\)와 \(\frac{1}{x}\) 모두 \(x = 0\)에서 발산하지만 서로 상쇄됩니다. 두 항의 차의 극한은 정확히 0이며, 함수는 기울기 \(\frac{1}{3}\)로 선형적으로 증가하기 시작합니다.
\(L(x)\)의 치역은 무엇인가요? 랑주뱅 함수는 단조 증가하며 치역은 \((-1, 1)\)입니다. 점근선 \(\pm 1\)에 가까워지지만 결코 도달하지는 않습니다.
브릴루앵 함수와는 어떤 관계인가요? 브릴루앵 함수 \(B_J(x)\)는 \(J\)가 무한대로 가는 극한, 즉 스핀이 연속적인 고전적 경우에서 랑주뱅 함수로 환원됩니다.
