์ด ๊ณ์ฐ๊ธฐ์ ๊ธฐ๋ฅ
์ด ๋๊ตฌ๋ ๊ฒฐํฉ(์ผ๋ฐํ) ๋ผ๊ฒ๋ฅด ๋คํญ์ \(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๊ฐ ์ผ์ ํ(์ถํด๋) ํ๋ฅผ ๋ง๋ญ๋๋ค.