이 계산기의 기능
이 도구는 결합(일반화) 라게르 다항식 \(L_{n}^{\alpha}(x)\)을 일련의 x 값에 대해 표로 계산합니다. 차수 n, 매개변수 \(\alpha\), x의 시작값, 증분(스텝), 생성할 행 수를 입력하면 각 x에서의 다항식 값을 돌려줍니다. 순수 수학 계산이므로 어느 나라에서나 동일하게 적용되며, 특정 지역이나 국가에 따른 별도의 가정은 없습니다.
사용 방법
n(음이 아닌 정수), \(\alpha\)(임의의 실수, 표준 직교성 조건에서는 \(\alpha > -1\)), x의 초기값, 증분, 행 수를 입력하세요. x 값은 $$x_i = \text{startX} + i \times \text{stepX} \quad (i = 0,\,1,\,\dots,\,\text{count}-1)$$로 생성되며, 각 값에 대해 \(L_{n}^{\alpha}(x_i)\)이 계산되어 목록으로 표시됩니다.
공식 설명
닫힌 형태는 유한합으로 표현됩니다. $$L_{n}^{\alpha}(x) = \sum_{k=0}^{n} (-1)^{k} \binom{n+\alpha}{n-k} \frac{x^{k}}{k!}$$ 이며, 여기서 \(\binom{n+\alpha}{n-k}\)는 일반화 이항계수입니다. 다만 수치적 안정성을 위해 이 계산기는 3항 점화식을 사용합니다. \(L_{0} = 1\), \(L_{1} = 1 + \alpha - x\), 그리고 $$(k+1)L_{k+1} = (2k+1+\alpha-x)L_{k} - (k+\alpha)L_{k-1}$$ 입니다. 이 방식은 n이 중간 이상으로 커질 때 발생하는 큰 팩토리얼 계산과 자릿수 손실(상쇄 오차)을 피할 수 있습니다.
계산 예시
기본값 \(n = 3\), \(\alpha = 1\)을 대입하면 명시적인 다항식은 $$L_{3}^{1}(x) = 4 - 6x + 2x^{2} - \tfrac{1}{6}x^{3}$$ 입니다. \(x = 0\)일 때 값은 4입니다. \(x = 0.1\)일 때는 $$4 - 0.6 + 0.02 - 0.0001667 \approx 3.419833$$ 이고, \(x = 1\)일 때는 $$4 - 6 + 2 - 0.166667 = -0.166667$$ 입니다.
첫 번째 관련 라게르 다항식
관련 (일반화된) 라게르 다항식 \(L_n^{(\alpha)}(x)\)는 \(x\)에 대한 차수 \(n\)의 다항식이며, 그 계수는 매개변수 \(\alpha\)에 따라 달라집니다. 폐쇄형은
$$L_n^{(\alpha)}(x)=\sum_{k=0}^{n}(-1)^k\binom{n+\alpha}{n-k}\frac{x^k}{k!}.$$처음 다섯 개를 일반 \(\alpha\) 형태로 작성하면:
| \(n\) | \(L_n^{(\alpha)}(x)\) |
|---|---|
| 0 | \(1\) |
| 1 | \(-x+(\alpha+1)\) |
| 2 | \(\dfrac{x^2}{2}-(\alpha+2)x+\dfrac{(\alpha+1)(\alpha+2)}{2}\) |
| 3 | \(-\dfrac{x^3}{6}+\dfrac{(\alpha+3)x^2}{2}-\dfrac{(\alpha+2)(\alpha+3)x}{2}+\dfrac{(\alpha+1)(\alpha+2)(\alpha+3)}{6}\) |
| 4 | \(\dfrac{x^4}{24}-\dfrac{(\alpha+4)x^3}{6}+\dfrac{(\alpha+3)(\alpha+4)x^2}{4}-\dfrac{(\alpha+2)(\alpha+3)(\alpha+4)x}{6}+\dfrac{(\alpha+1)(\alpha+2)(\alpha+3)(\alpha+4)}{24}\) |
특수한 경우 \(\alpha=0\). \(\alpha=0\)으로 설정하면 일반 라게르 다항식 \(L_n(x)=L_n^{(0)}(x)\)을(를) 얻습니다:
| \(n\) | \(L_n(x)\) |
|---|---|
| 0 | \(1\) |
| 1 | \(1-x\) |
| 2 | \(1-2x+\tfrac12 x^2\) |
| 3 | \(1-3x+\tfrac32 x^2-\tfrac16 x^3\) |
| 4 | \(1-4x+3x^2-\tfrac23 x^3+\tfrac{1}{24}x^4\) |
최고 차수 계수는 항상 \(\dfrac{(-1)^n}{n!}\)이며, \(\alpha\)에 무관합니다.
주요 용어 및 변수
- 차수 \(n\)
- 다항식의 차수를 나타내는 음이 아닌 정수입니다. \(L_n^{(\alpha)}(x)\)는 정확히 \(n\)개의 근을 가집니다. 계산기에서 이는 차수 필드입니다.
- 매개변수 \(\alpha\)
- 실수이며(보통 \(\alpha>-1\)) 이항 계수와 직교성 가중을 이동시킵니다. 알파 필드입니다. \(\alpha=0\)일 때 다항식은 일반 라게르 다항식으로 축약됩니다.
- 인수 \(x\)
- 다항식이 계산되는 점입니다. 표는 \(x_i=\text{시작X}+i\cdot\text{단계X}\)를 따릅니다. 직교성의 자연 정의역은 \((0,\infty)\)입니다.
- 일반화된 이항 계수
- 실수 상단 지수의 경우, \(\binom{n+\alpha}{n-k}=\dfrac{\Gamma(n+\alpha+1)}{\Gamma(k+\alpha+1)\,(n-k)!}\)이며, 이는 감마 함수를 통해 \(\binom{m}{j}=m!/(j!(m-j)!)\)을(를) 정수가 아닌 \(\alpha\)로 확장합니다.
- 삼항 재귀식
- 다항식을 생성하는 안정적인 방법: \((k+1)L_{k+1}^{(\alpha)}=(2k+1+\alpha-x)L_k^{(\alpha)}-(k+\alpha)L_{k-1}^{(\alpha)}\), \(L_0^{(\alpha)}=1\)과 \(L_1^{(\alpha)}=1+\alpha-x\)에서 시작합니다.
- \((0,\infty)\)에서의 직교성
- 다항식은 서로 직교합니다: \(\displaystyle\int_0^\infty L_n^{(\alpha)}(x)L_m^{(\alpha)}(x)\,w(x)\,dx=\frac{\Gamma(n+\alpha+1)}{n!}\delta_{nm}\).
- 가중 함수 \(w(x)=x^{\alpha}e^{-x}\)
- 직교성이 성립하는 인수입니다. \(\alpha=0\)일 때 단순 지수 가중 \(e^{-x}\)입니다. 적분의 수렴을 위해서는 \(\alpha>-1\)이 필요합니다.
표 해석하기
\(L_n^{(\alpha)}(x)\)의 계산된 표를 읽는 것은 다음 사실들로 더 쉬워집니다:
- 실근의 개수. \(\alpha>-1\)일 때, \(L_n^{(\alpha)}(x)\)는 정확히 \(n\)개의 단순 실근을 가지며, 모두 열린 구간 \((0,\infty)\)에 있습니다. 표 열이 \(n\)번 영점을 지나면 모두를 찾은 것입니다.
- 부호 변화. 모든 영점이 단순이므로 각각에서 다항식이 부호를 바꿉니다. 두 연속 영점 사이에서 값은 일정한 부호를 유지하므로, 인접한 행 사이의 부호 뒤바뀜은 근을 포함하는 구간입니다 — 이분법 또는 뉴턴 근 찾기 방법의 시작 구간으로 유용합니다.
- 원점에서의 값. 모든 관련 라게르 다항식은 \(L_n^{(\alpha)}(0)=\binom{n+\alpha}{n}=\dfrac{\Gamma(n+\alpha+1)}{n!\,\Gamma(\alpha+1)}\)을(를) 만족합니다. 예를 들어, \(n=4,\ \alpha=0\)일 때 \(x=0\)에서의 첫 행은 1이고, \(n=4,\ \alpha=2\)일 때 \(\binom{6}{4}=\) 15입니다.
- 양자 역학. 수소 원자 파동함수의 방사형 부분은 \(L_{n-\ell-1}^{(2\ell+1)}\!\left(2r/(na_0)\right)\)에서 구축됩니다. 다항식의 노드는 궤도의 방사형 노드에 해당합니다.
- 가우스-라게르 구적법. 표에 나열된 영점은 \(\int_0^\infty f(x)\,x^{\alpha}e^{-x}\,dx\)을(를) 근사하는 데 사용되는 정확히 그 횡좌표이며, 같은 다항식에서 유도된 가중을 가집니다.
이는 일반적인 수학 참고 정보입니다. 중요한 응용에서 신뢰할 수 있는 모든 값을 검증하십시오.
자주 묻는 질문
n = 0이면 어떻게 되나요? 모든 x와 모든 \(\alpha\)에 대해 \(L_{0}^{\alpha}(x) = 1\) 입니다.
\(\alpha\)가 음수나 정수가 아니어도 되나요? 네, 가능합니다. 유한합과 점화식 모두 임의의 실수 \(\alpha\)에 대해 작동합니다. 다만 \((0, \infty)\) 구간에서의 고전적인 직교성은 \(\alpha > -1\) 조건이 필요합니다.
스텝을 0이나 음수로 둘 수 있나요? 네. 음수 스텝은 x를 점점 줄여 나가며, 0인 스텝은 같은 x를 반복해 x가 일정한(축퇴된) 표를 만듭니다.
