๊ฐ์ฐ์ค-๋ผ๊ฒ๋ฅด ๊ตฌ์ ๋ฒ์ด๋?
๊ฐ์ฐ์ค-๋ผ๊ฒ๋ฅด ๊ตฌ์ ๋ฒ์ ์ ๋ถ ๋์์ด ์ง์ํจ์์ฒ๋ผ ๊ฐ์ํ๋, ๋ฐ๋ฌดํ ๊ตฌ๊ฐ (0, โ)์์์ ํน์ด์ ๋ถ์ ์์น์ ์ผ๋ก ๊ทผ์ฌํ๋ ๋ฐฉ๋ฒ์ ๋๋ค. ์ ๋ถ์ ์ ์คํ๊ฒ ์ ํ๋ ํ๋ณธ์ (๋ ธ๋, node)์์ ๊ณ์ฐํ ๊ฐ์คํฉ์ผ๋ก ๋์ฒดํฉ๋๋ค. ์ฐจ์ \(n\)์ ์ ํ๋ฉด, ์ด ๊ณต์์ ๊ฐ์คํจ์ \(x^{\alpha} \cdot e^{-x}\)์ ๋ํด ์ฐจ์๊ฐ \(2n-1\) ์ดํ์ธ ๋ชจ๋ ๋คํญ์์ ๋ํด ์ ํํฉ๋๋ค. ๋๋ถ์ ๋งค๋๋ฌ์ด ํผ์ ๋ถํจ์๋ผ๋ฉด ๋ช ๊ฐ์ ํจ์ ๊ณ์ฐ๋ง์ผ๋ก๋ ๋๋ผ์ธ ๋งํผ ์ ๋ฐํ ๊ฒฐ๊ณผ๋ฅผ ์ป์ ์ ์์ต๋๋ค.
๊ณ์ฐ๊ธฐ ์ฌ์ฉ๋ฒ
๋จผ์ ์ ๋ ฅ ๋ฐฉ์์ ๊ณ ๋ฅด์ธ์. ์ ๋ถ์ด ์ด๋ฏธ \(\int x^{\alpha} \cdot e^{-x} \cdot f(x)\, dx\) ํํ์ด๊ณ ์ธ์ \(f\)๋ง ์ ๋ ฅํ๊ณ ์ถ๋ค๋ฉด f(x)๋ฅผ ์ ํํฉ๋๋ค. (0, โ) ๊ตฌ๊ฐ์ ์์ ํ ํผ์ ๋ถํจ์ \(g(x)\)๋ฅผ ๊ฐ์ง๊ณ ์๋ค๋ฉด g(x)๋ฅผ ์ ํํ์ธ์. ์ด ๊ฒฝ์ฐ ๊ณ์ฐ๊ธฐ๊ฐ ๋ด์ฅ๋ ๊ฐ์คํจ์๋ฅผ ์๋์ผ๋ก ๋๋์ด ์ฒ๋ฆฌํฉ๋๋ค. ํจ์๋ ๋ณ์ \(x\)๋ฅผ ์ฌ์ฉํด ํ์ค ํ๊ธฐ๋ฒ(+, -, *, /, ^, sqrt, exp, ln, sin, cos, tan ๋ฑ)์ผ๋ก ์ ๋ ฅํ๊ณ , ๋ ธ๋ ๊ฐ์ \(n\)๊ณผ ๊ฐ์ค ๋งค๊ฐ๋ณ์ \(\alpha\)๋ฅผ ์ค์ ํฉ๋๋ค(์ผ๋ฐ์ ์ธ ๊ฐ์ฐ์ค-๋ผ๊ฒ๋ฅด๋ 0 ์ฌ์ฉ). \(n\)์ ๋๋ฆฌ๋ฉด ๋งค๋๋ฌ์ด ํจ์์ ๋ํ ์ ํ๋๊ฐ ๋์์ง๋๋ค.
๊ณต์ ์ค๋ช
๋ ธ๋ \(x_i\)๋ ์ผ๋ฐํ ๋ผ๊ฒ๋ฅด ๋คํญ์ \(L_n^{(\alpha)}(x)\)์ ๊ทผ์ด๋ฉฐ, ๊ฐ์ค์น \(w_i\)๋ Golub-Welsch ์๊ณ ๋ฆฌ์ฆ์ผ๋ก ๊ตฌํฉ๋๋ค. ์ฆ, ๋์นญ ์ผ์ค๋๊ฐ ์ผ์ฝ๋น(Jacobi) ํ๋ ฌ์ ๊ณ ์ณ๊ฐ์ด ๋ ธ๋๊ฐ ๋๊ณ , ๊ฐ์ค์น๋ \(w_i = \Gamma(\alpha+1) \times\) (์ ๊ทํ๋ ๊ฐ ๊ณ ์ ๋ฒกํฐ์ ์ฒซ ๋ฒ์งธ ์ฑ๋ถ์ ์ ๊ณฑ)์ผ๋ก ๊ณ์ฐ๋ฉ๋๋ค. ์ ๋ถ์ ์์ ๋์จ ๊ฐ์คํฉ์ผ๋ก ๊ทผ์ฌ๋ฉ๋๋ค.
$$\int_{0}^{\infty} x^{\alpha} e^{-x}\, g(x)\, dx \approx \sum_{i=1}^{n} w_i\, g(x_i)$$
๊ณ์ฐ ์์
\(\alpha = 0\), \(n = 2\), f(x) ๋ชจ๋, \(f(x) = x^2\)๋ก ๋๋ฉด \(\int x^2 \cdot e^{-x}\, dx\)๋ฅผ ์ถ์ ํ๊ฒ ๋๋๋ฐ, ์ด ์ ๋ถ์ ์ ํํ ๊ฐ์ \(\Gamma(3) = 2\)์ ๋๋ค. ๋ ๋ ธ๋๋ \(x_1 = 2 - \sqrt{2} = 0.585786\)(\(w_1 = 0.853553\)), \(x_2 = 2 + \sqrt{2} = 3.414214\)(\(w_2 = 0.146447\))์ ๋๋ค. ๊ฐ์คํฉ์ $$0.853553 \times 0.343146 + 0.146447 \times 11.656854 = 0.292893 + 1.707107 = 2.000000$$ ์ผ๋ก, ์ ํํ ๋ต๊ณผ ์ ํํ ์ผ์นํฉ๋๋ค. \(x^2\)๊ฐ ์ฐจ์ \(2 \le 2n-1 = 3\)์ธ ๋คํญ์์ด๊ธฐ ๋๋ฌธ์ ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
๋งค๊ฐ๋ณ์ alpha๋ ๋ฌด์จ ์ญํ ์ ํ๋์? ๊ฐ์คํจ์ \(x^{\alpha} \cdot e^{-x}\)์์ ์ง์๋ฅผ ๊ฒฐ์ ํฉ๋๋ค. ํ์ค ๊ฐ์ฐ์ค-๋ผ๊ฒ๋ฅด๋ฅผ ์ฐ๋ ค๋ฉด \(\alpha = 0\)์ผ๋ก ์ค์ ํ์ธ์. ๊ฐ์คํจ์๊ฐ ์ ๋ถ ๊ฐ๋ฅํ๋ ค๋ฉด \(\alpha > -1\) ์กฐ๊ฑด์ ๋ฐ๋์ ๋ง์กฑํด์ผ ํฉ๋๋ค.
๊ฒฐ๊ณผ๊ฐ ๋ถ์ ํํ ์ด์ ๋ ๋ฌด์์ธ๊ฐ์? ํผ์ ๋ถํจ์๊ฐ ๋งค๋๋ฝ์ง ์๊ฑฐ๋ (0, โ) ๊ตฌ๊ฐ์์ ์ถฉ๋ถํ ๋น ๋ฅด๊ฒ ๊ฐ์ํ์ง ์๊ธฐ ๋๋ฌธ์ ๋๋ค. ์ด ๊ณต์์ ์ธ์ ๋ ์ ํํ ๊ฐ์ ๋ฐํํ์ง๋ง, ๊ทธ ๊ฐ์ด ์๋ฏธ๋ฅผ ๊ฐ์ง๋ ค๋ฉด ์ค์ ์ ๋ถ์ด ์๋ ดํ๊ณ ํผ์ ๋ถํจ์๊ฐ ๊ฐ์คํจ์์ ๋คํญ์์ ๊ณฑํ ํํ๋ก ์ ๊ทผ์ฌ๋์ด์ผ ํฉ๋๋ค. \(n\)์ ๋๋ ค ์๋ ด ์ฌ๋ถ๋ฅผ ํ์ธํด ๋ณด์ธ์.
f ๋ชจ๋์ g ๋ชจ๋์ ์ฐจ์ด๋ ๋ฌด์์ธ๊ฐ์? f ๋ชจ๋์์๋ ๋ด์ฅ ๊ฐ์คํจ์์ ๊ณฑํด์ง๋ ์ธ์๋ง ์ ๋ ฅํ๊ณ , g ๋ชจ๋์์๋ ์ ์ฒด ํผ์ ๋ถํจ์๋ฅผ ์ ๋ ฅํ๋ฉด ๊ฐ์คํฉ ๋ด๋ถ์์ ๊ฐ์คํจ์๋ฅผ ์ ๊ฑฐํฉ๋๋ค. ์ผ๊ด๋๊ฒ ์ค์ ํ๋ฉด ๋ ๋ฐฉ์ ๋ชจ๋ ๊ฐ์ ๋ต์ ์ค๋๋ค.