๊ฐ์ฐ์ค-ํฌ๋ก ๋ก๋ ์์น์ ๋ถ ๊ณ์ฐ๊ธฐ๋?
์ด ๊ณ์ฐ๊ธฐ๋ ๊ฐ์ฐ์คํ ๊ตฌ์ ๋ฒ(Gauss-type quadrature)์ ์ฌ์ฉํด ์ ํ ๊ตฌ๊ฐ [a, b]์์ ํจ์ f(x)์ ์ ์ ๋ถ์ ๊ณ์ฐํฉ๋๋ค. ์ ์คํ๊ฒ ์ ํ๋ ๋ ธ๋(node)์์ ํผ์ ๋ถ ํจ์์ ๊ฐ์ ๊ตฌํ ๋ค, ๋ฏธ๋ฆฌ ๊ณ์ฐ๋ ๊ฐ์ค์น๋ฅผ ๊ณฑํด ๋ชจ๋ ๋ํ๋ ๋ฐฉ์์ ๋๋ค. ๊ณ ์ฐจ ์ถ์ ๊ฐ K๋ฅผ ์ ์ฐจ ๊ฐ์ฐ์ค-๋ฅด์ฅ๋๋ฅด(Gauss-Legendre) ์ถ์ ๊ฐ G์ ๋น๊ตํ์ฌ ์ค์ฐจ ํ๊ณ \(|K - G|\)๋ฅผ ์ฐ์ถํ๋ฏ๋ก, ๊ฒฐ๊ณผ์ ์ ๋ขฐ๋๋ฅผ ํจ๊ป ํ์ธํ ์ ์์ต๋๋ค.
์ฌ์ฉ ๋ฐฉ๋ฒ
x์ ๋ํ ์์์ ์
๋ ฅํฉ๋๋ค(์: 4/(1+x^2) ๋๋ sin(x)). ๊ทธ๋ค์ ํํ a์ ์ํ b๋ฅผ ์ง์ ํ๊ณ , ๊ตฌ์ ๋ฒ์ ์ฌ์ฉํ ์ ์ ๊ฐ์ n(3๋ถํฐ 99๊น์ง์ ํ์)์ ์ ํํ์ธ์. ๋งค๋๋ฌ์ด ํผ์ ๋ถ ํจ์์ผ์๋ก ์ ์ด ๋ง์์๋ก ์ ํ๋๊ฐ ๋์์ง๋๋ค. ์ง์ํ๋ ๋ฌธ๋ฒ์ + โ * / ^, ๊ดํธ์ ํจ๊ป sin, cos, tan, asin, acos, atan, exp, ln, log, sqrt, abs, sinh, cosh, tanh ํจ์, ๊ทธ๋ฆฌ๊ณ ์์ pi์ e์
๋๋ค.
๊ณ์ฐ ๊ณต์
๊ตฌ์ ๋ฒ์ [โ1, 1] ๊ตฌ๊ฐ์์ ํผ์ ๋ถ ํจ์ ๊ฐ์ ๊ฐ์คํฉ์ผ๋ก ์ ์๋ฉ๋๋ค. ์ด๋ฅผ [a, b] ๊ตฌ๊ฐ์ ์ ๋ถ์ ์ ์ฉํ๋ ค๋ฉด ์ํ ๋ณ์ ๋ณํ์ ์ฌ์ฉํฉ๋๋ค. ์ฆ \(x(t) = \frac{b-a}{2} \cdot t + \frac{a+b}{2}\) ์ด๊ณ \(dx = \frac{b-a}{2} \cdot dt\) ์ ๋๋ค. ๋ฐ๋ผ์ ์ ๋ถ๊ฐ์ \(\frac{b-a}{2}\)์, ๊ฐ์ค์น \(w_i\)์ ๋ณํ๋ ๋ ธ๋์์์ f ๊ฐ์ ๊ณฑํ ํฉ์ ๊ณฑํ ๊ฒ๊ณผ ๊ฐ์ต๋๋ค.
$$\int_{a}^{b} f(x)\,dx \;\approx\; \frac{b-a}{2}\sum_{i=1}^{n} w_i\, f\!\left(\frac{b-a}{2}x_i + \frac{a+b}{2}\right)$$
๊ฐ์ฐ์ค-๋ฅด์ฅ๋๋ฅด ๋ ธ๋๋ ๋ฅด์ฅ๋๋ฅด ๋คํญ์์ ๊ทผ์ด๋ฉฐ, ์ด ๊ณ์ฐ๊ธฐ์์๋ ๋ดํด๋ฒ(Newton's method)์ผ๋ก ๊ตฌํฉ๋๋ค. ๊ฐ์ค์น๋ \(w_i = \frac{2}{(1 - t_i^2) \cdot P'_m(t_i)^2}\)๋ก ์ฃผ์ด์ง๋๋ค.
์์ ๋ก ์ดํด๋ณด๊ธฐ
๊ตฌ๊ฐ [0, pi]์์ f(x) = sin(x)์ ์ ํํ ์ ๋ถ๊ฐ์ \([-\cos(x)]\)๋ฅผ 0๋ถํฐ pi๊น์ง ๊ณ์ฐํ \(-\cos(\pi) + \cos(0) = 1 + 1 = 2\) ์ ๋๋ค. ๊ณ์ฐ๊ธฐ๋ ์ฝ 2๋ผ๋ ๊ฐ๊ณผ ํจ๊ป ์์ฃผ ์์ ์ถ์ ์ค์ฐจ๋ฅผ ๋ฐํํฉ๋๋ค. ๋ง์ฐฌ๊ฐ์ง๋ก ๊ตฌ๊ฐ [0, 1]์์ \(f(x) = \frac{4}{1+x^2}\)๋ \(4\cdot\arctan(1) = \pi\) ์ด๋ฏ๋ก \(\pi = 3.14159265\)๋ฅผ ๋ฐํํฉ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
์ n์ ํ์์ฌ์ผ ํ๋์? ๋ด์ฅ๋ ๊ฐ์ฐ์ค-ํฌ๋ก ๋ก๋ ์์ \(m = \frac{n-1}{2}\)๊ฐ์ ๊ฐ์ฐ์ค ๋ ธ๋๋ฅผ ์ฌ์ฌ์ฉํ๋๋ฐ, ์ด๋ฅผ ์ํด์๋ ์ ์ฒด ๋ ธ๋ ์๊ฐ ํ์์ฌ์ผ ํ๊ธฐ ๋๋ฌธ์ ๋๋ค.
์ค์ฐจ ์ถ์ ์น๋ ๋ฌด์์ ์๋ฏธํ๋์? ๊ณ ์ฐจ ์ถ์ ๊ฐ๊ณผ ์ ์ฐจ ์ถ์ ๊ฐ์ ์ ๋๊ฐ ์ฐจ์ด์ ๋๋ค. ๊ฐ์ด ์์์๋ก ์๋ ด์ด ์ ๋์๋ค๋ ๋ป์ ๋๋ค.
ํน์ด์ (singularity)์ ์ด๋ป๊ฒ ์ฒ๋ฆฌ๋๋์? ์ ๋ถ ๊ฐ๋ฅํ ๋์ ํน์ด์ ์ ์ ํ๋๋ฅผ ๋จ์ด๋จ๋ฆฝ๋๋ค. ์ ํํ์ง ์์ ๊ฐ์ ๊ณ์ฐ์์ ๊ฑด๋๋ฐ๋ฉฐ, a = b์ธ ๊ฒฝ์ฐ์๋ ์ ํํ 0์ ๋ฐํํฉ๋๋ค.