버금 르장드르 다항식 표 계산기란?
이 도구는 버금 르장드르 함수 \(P_n^m(x)\)(차수 n, 계수 m)의 값을 사용자가 지정한 x 구간에 대해 표로 계산하고, 그에 대응하는 곡선을 그려 줍니다. 순수 수학 계산이므로 어느 나라에서나 동일하게 적용되며, 단위나 국가별 가정이 전혀 없습니다. 버금 르장드르 다항식은 물리학과 응용수학 전반에 등장합니다. 구면조화함수, 구면좌표계에서의 라플라스 방정식 해, 다극 전개, 그리고 각운동량을 다루는 양자역학 등이 대표적입니다.
사용 방법
정수 차수 n(0, 1, 2, …)과 정수 계수 m을 입력합니다. 이때 \(-n \le m \le n\) 조건을 만족해야 합니다. 이어서 x의 시작값(-1에서 1 사이), 증가 폭(step), 행 개수를 지정합니다. 기본값 n = 2, m = 1, 시작값 = -1, step = 0.02, 101행은 x를 -1부터 +1까지(양 끝 포함) 훑어 줍니다. 부호 규약은 Type A(Wolfram 규약) 또는 Type B(Maple 규약) 중에서 선택할 수 있습니다. (-1, 1) 구간의 실수 x에서는 두 규약의 크기가 같고, 앞 계수의 부호/위상만 다릅니다.
공식 설명
정수 n과 \(0 \le m \le n\)에 대해 $$P_n^m(x) = (-1)^m\,(1-x^2)^{m/2}\,\frac{d^m}{dx^m}P_n(x)$$를 사용합니다. 계산은 수치적으로 안정적인 점화식으로 수행합니다. 먼저 \(P_m^m = (-1)^m(2m-1)!!(1-x^2)^{m/2}\), \(P_{m+1}^m = x(2m+1)P_m^m\)를 구한 뒤, $$(l-m)P_l^m = (2l-1)x\,P_{l-1}^m - (l+m-1)P_{l-2}^m$$로 차례로 올려 갑니다. m이 음수일 때는 $$P_n^{-m} = (-1)^m\frac{(n-m)!}{(n+m)!}P_n^m$$를 적용합니다. 이 닫힌 형태의 점화식은 양의 정수 m에 대해 \({}_2F_1\) 형태를 그대로 쓸 때 발생하는 감마 함수 발산 문제를 피할 수 있습니다.
계산 예제
n = 2, m = 1일 때 함수는 $$P_2^1(x) = -3x\sqrt{1-x^2}$$입니다. x = 0에서는 값이 0이고, x = 0.5에서는 \(-3(0.5)(0.866025) = -1.299038\), x = -0.5에서는 \(+1.299038\)입니다. 곡선은 0(x = -1)에서 출발해 x = -0.577 부근에서 약 \(+1.1547\)까지 오른 다음, x = 0에서 0을 지나고, x = +0.577 부근에서 약 \(-1.1547\)까지 내려갔다가, x = +1에서 다시 0으로 돌아옵니다.
폐곡선 형태의 관련 르장드르 함수 P_n^m(x)
정수 차수 \(n\)과 차수 \(0\le m\le n\)에 대한 관련 르장드르 함수 \(P_n^m(x)\)는 \(P_n^m(x)=(-1)^m(1-x^2)^{m/2}\dfrac{d^m}{dx^m}P_n(x)\)에서 도출됩니다. 계수 \((-1)^m\)은 Type A 규약(Wolfram과 일치함)에 포함된 Condon–Shortley 위상이고, Type B 규약(Maple)은 이를 생략하므로 홀수 \(m\) 항목은 부호만 다릅니다. 아래 표는 Type A 아래의 명시적 형태를 나열합니다.
| \(n\) | \(m\) | \(P_n^m(x)\) (Type A, 부호 포함) |
|---|---|---|
| 0 | 0 | \(1\) |
| 1 | 0 | \(x\) |
| 1 | 1 | \(-\sqrt{1-x^2}\) |
| 2 | 0 | \(\tfrac{1}{2}(3x^2-1)\) |
| 2 | 1 | \(-3x\sqrt{1-x^2}\) |
| 2 | 2 | \(3(1-x^2)\) |
| 3 | 0 | \(\tfrac{1}{2}(5x^3-3x)\) |
| 3 | 1 | \(-\tfrac{3}{2}(5x^2-1)\sqrt{1-x^2}\) |
| 3 | 2 | \(15x(1-x^2)\) |
| 3 | 3 | \(-15(1-x^2)^{3/2}\) |
작동하는 검증으로, \(x=0.5\)에서 항목 \(P_2^1\)은 \(-3(0.5)\sqrt{1-0.25}=-1.5\sqrt{0.75}=\) -1.299038을 제공합니다. \(m=0\) 열은 일반적인 르장드르 다항식 \(P_n(x)\)를 재현합니다(예: \(P_3^0(x)=\tfrac12(5x^3-3x)\)). 이는 르장드르 다항식 표 계산기로 표로 만들 수 있습니다.
주요 용어 및 변수
- 차수 \(n\)
-
기본 르장드르 다항식 \(P_n(x)\)의 순서를 설정하는 음이 아닌 정수(
degreeN). \(P_n(x)\)는 차수 \(n\)의 다항식입니다. - 차수 \(m\)
-
몇 개의 미분을 취할지 제어하는 정수(
orderM). \((-1,1)\)에서 실수값 결과를 원하면 보통 \(0\le m\le n\)을 사용합니다. \(m>n\)일 때 차수 \(n\) 다항식의 \(m\)차 미분이 사라지므로 함수는 항등적으로 0입니다. - 인수 \(x\)
-
평가 점(
initialX더하기 \(i\cdot\)stepX). 함수는 \(-1\le x\le 1\)에서 실수입니다. 물리학에서 \(x=\cos\theta\)입니다. - Type A (Wolfram / Condon–Shortley)
-
위상 계수 \((-1)^m\)을 포함합니다. 이는 Wolfram의
LegendreP와 표준 양자역학 교과서에서 사용되는 규약입니다. - Type B (Maple 규약)
- \((-1)^m\) 위상을 생략하므로, \(P_n^m\) (Type B) \(=(-1)^m\,P_n^m\) (Type A). 크기는 동일하고, 홀수 \(m\) 항목의 부호만 다릅니다.
- 이중 계승 \((2m-1)!!\)
- 홀수 정수의 곱 \((2m-1)(2m-3)\cdots 3\cdot 1\). \((-1)!!=1\)입니다. 이는 선행 계수 \(P_m^m(x)=(-1)^m(2m-1)!!\,(1-x^2)^{m/2}\)에 나타납니다. 예를 들어 \(P_3^3\)은 \(5!!=15\)를 사용합니다. 이러한 값들은 이중 계승 계산기를 참조하세요.
- 음의 차수 관계
- \(m>0\)에 대해, \(P_n^{-m}(x)=(-1)^m\dfrac{(n-m)!}{(n+m)!}\,P_n^{m}(x)\). 계승을 통해 양의 차수와 음의 차수를 연결합니다.
표와 그래프 해석
몇 가지 구조적 성질을 통해 표 값과 그려진 곡선을 확인할 수 있습니다:
- 대칭성. \(P_n^m(-x)=(-1)^{n+m}P_n^m(x)\). \(n+m\)이 짝수일 때 그래프는 \(x=0\) 대칭이고, \(n+m\)이 홀수일 때 반대칭입니다(따라서 원점을 지나갑니다).
- 내부 영역의 영점. 열린 구간 \((-1,1)\)에서, \(P_n^m(x)\)는 정확히 \(n-m\)개의 단순 영점을 가집니다. 예를 들어 \(P_3^1\)은 두 개의 내부 영점을 가지고, \(P_n^n\)은 없습니다.
- 끝점 동작. 계수 \((1-x^2)^{m/2}\) 때문에, \(m>0\)인 모든 함수는 \(x=\pm 1\)에서 사라집니다. \(m=0\)일 때 값은 \(P_n(1)=1\)과 \(P_n(-1)=(-1)^n\)입니다.
- 모서리 근처의 크기. 더 높은 \(m\)에 대해 \((1-x^2)^{m/2}\) 계수는 \(x\to\pm1\)일 때 곡선을 급격히 억제하므로, 최대 변동은 범위의 중간 쪽에서 발생합니다.
이 함수들은 구면 조화함수 \(Y_n^m(\theta,\phi)\)의 \(\theta\)-의존 부분입니다: \(x=\cos\theta\)를 쓰면, \(Y_n^m\propto P_n^m(\cos\theta)\,e^{im\phi}\)를 얻습니다. 내부 영점은 위도의 방정식 선이 되고, \(m>0\) 끝점 소실은 조화함수가 극에서 0으로 향하는 것에 해당합니다. 같은 \(P_n^m\) 값은 선택된 \(\theta\)와 \(\phi\)에서 구면 조화함수 평가에 직접 들어갑니다.
자주 묻는 질문
왜 n과 m은 정수여야 하나요? 다항식이 유한 항으로 끝나려면 n이 음이 아닌 정수여야 하고, 점화식과 \((n\pm m)!\) 인자가 성립하려면 m이 \(-n \le m \le n\)을 만족하는 정수여야 합니다.
표시되는 대표값은 무엇인가요? 상단 박스에는 표 가운데 행(중앙 인덱스)에 해당하는 x와 \(P_n^m(x)\) 값이 표시되어, 곡선을 빠르게 확인할 수 있습니다.
m = 0이면 어떻게 되나요? \(P_n^0(x)\)는 일반 르장드르 다항식 \(P_n(x)\)와 같습니다.
