์ด ๊ณ์ฐ๊ธฐ๋ก ํ ์ ์๋ ์ผ
์ด ๋๊ตฌ๋ ์ด์ค์ง์(DE) ๊ตฌ์ ๋ฒ, ์ฆ Tanh-Sinh ๋ฐฉ๋ฒ์ ์ฌ์ฉํ์ฌ ๋จ์ผ ๋ณ์ ํจ์ \(f(x)\)์ ์ ํ ๊ตฌ๊ฐ \([a, b]\)์์์ ์ ์ ๋ถ์ ๊ณ์ฐํฉ๋๋ค. DE ๊ตฌ์ ๋ฒ์ ์ ํ ๊ตฌ๊ฐ์ ๋ํด ๊ฐ์ฅ ์ ๋ขฐํ ์ ์๋ ๋ฒ์ฉ ์์น์ ๋ถ ๊ธฐ๋ฒ ์ค ํ๋๋ก, ํนํ \(1/\sqrt{x}\)๋ \(\log(x)\)์ฒ๋ผ ๋์ ์์ ๋ฌดํ๋๋ก ๋ฐ์ฐํ๋ ํผ์ ๋ถ ํจ์๋ฅผ ๋ค๋ฃจ๋ ๋ฐ ํ์ํฉ๋๋ค. ์ผ๋ฐ์ ์ธ ๊ฐ์ฐ์ค ๊ตฌ์ ๋ฒ์ด๋ ์ฌํ์จ ๊ณต์์ด ์ด๋ ค์์ ๊ฒช๋ ์ํฉ์์๋ ์์ ์ ์ผ๋ก ์๋ํฉ๋๋ค.
์ฌ์ฉ ๋ฐฉ๋ฒ
ํผ์ ๋ถ ํจ์ \(f(x)\) ์นธ์ ์ผ๋ฐ์ ์ธ ์ํ ํ๊ธฐ๋ฒ์ผ๋ก ์์ ์
๋ ฅํ์ธ์. ์ฌ์ฉ ๊ฐ๋ฅํ ์ฐ์ฐ์๋ + - * / ^์ ๊ดํธ์ด๋ฉฐ, ํจ์๋ก๋ sqrt, exp, log, ln, sin, cos, tan, asin, acos, atan, sinh, cosh, tanh, abs๋ฅผ, ์์๋ก๋ pi์ e๋ฅผ ์ธ ์ ์์ต๋๋ค. ์ ๋ถ ํํ \(a\)์ ์ํ \(b\)๋ฅผ ์
๋ ฅํ๊ณ , ๋ชฉํ๋ก ํ ์ ํจ์ซ์ ์๋ฆฟ์๋ฅผ ์ ํํ ๋ค ์คํํ์ธ์. ํน์ด์ ์ ์ค์ง ๋์ \(a\)์ \(b\)์์๋ง ํ์ฉ๋ฉ๋๋ค. ๊ทธ ์ธ์๋ ์ด๋ฆฐ ๊ตฌ๊ฐ \((a, b)\)์์ ํจ์๊ฐ ํด์์ (analytic)์ด์ด์ผ ํ๋ฉฐ, ์ฃผ๊ธฐ ํจ์์ฌ์๋ ์ ๋ฉ๋๋ค.
๊ณต์ ํ์ด
๋จผ์ ๊ตฌ๊ฐ์ \(x(u) = \frac{(b+a)+(b-a)u}{2}\) ๋ณํ์ผ๋ก \([-1, 1]\)์ ๋งคํํฉ๋๋ค. ๊ทธ๋ค์ DE ๋ณํ \(u = \tanh\!\left(\frac{\pi}{2}\sinh t\right)\)๊ฐ ์ง์ ์ ๋๋ ค์ฃผ์ด, \(t\)๊ฐ ์ปค์ง์๋ก \(u\)๋ ์ด์ง์์ (super-exponential)์ผ๋ก ๋์ ์ ๋ค๊ฐ๊ฐ๋ ๋์์ ๊ฐ์ค์น \(g'(t)\)๋ ๊ทธ๋งํผ ๋น ๋ฅด๊ฒ 0์ผ๋ก ์๋ ดํฉ๋๋ค. ๋ ธ๋๊ฐ ๊ฒฐ์ฝ \(a\)๋ \(b\)์ ์ ํํ ๋๋ฌํ์ง ์๊ธฐ ๋๋ฌธ์ ๋์ ์ ํน์ด์ ์ ์ค์ ๋ก๋ ์ ๋ ํ๊ฐ๋์ง ์์ผ๋ฉฐ, ์์ฐ์ค๋ฝ๊ฒ "๊ธธ๋ค์ฌ์ง๋๋ค". ๋ณํ๋ ์ ๋ถ์ ๊ฐ๋จํ ์ฌ๋ค๋ฆฌ๊ผด ๊ณต์(์คํ \(h\))์ผ๋ก ํฉ์ฐ๋๊ณ , ๋ต์ด ๋ ์ด์ ๋ฐ๋์ง ์์ ๋๊น์ง \(h\)๋ฅผ ์ ๋ฐ์ฉ ์ค์ฌ ๋๊ฐ๋๋ค.
$$\int_{a}^{b} f(x)\,dx \;\approx\; \frac{b-a}{2}\,h\sum_{k} w_k\, f\!\left(x_k\right)$$
$$\begin{gathered} \int_{a}^{b} f(x)\,dx \;\approx\; \frac{b-a}{2}\,h\sum_{k} w_k\, f\!\left(x_k\right) \\[1.5em] \text{where}\quad \left\{ \begin{aligned} a &= \text{Lower limit} \\ b &= \text{Upper limit} \\ x_k &= \tfrac{b+a}{2} + \tfrac{b-a}{2}\tanh\!\left(\tfrac{\pi}{2}\sinh(k h)\right) \\ w_k &= \dfrac{\tfrac{\pi}{2}\cosh(k h)}{\cosh^{2}\!\left(\tfrac{\pi}{2}\sinh(k h)\right)} \end{aligned} \right. \end{gathered}$$
์์ ๋ก ์ดํด๋ณด๊ธฐ
๊ตฌ๊ฐ \([0, 1]\)์์ \(f(x) = 1/\sqrt{x}\)์ ์ ํํ ๊ฐ์ \(\left[2\sqrt{x}\right]\)๋ฅผ 0๋ถํฐ 1๊น์ง ๊ณ์ฐํ \(2\)์ ๋๋ค. ๋จ 7๊ฐ์ ์ ๋ง ์ฐ๋ ๊ฑฐ์น DE ๊ฒฉ์(\(h = 0.5\))๋ก๋ ์ด๋ฏธ ์ฝ \(1.94\)๊ฐ ๋์ค๊ณ , \(h\)๋ฅผ ๋ ์ธ๋ฐํ๊ฒ ์ค์ด๋ฉด ์ถ์ ๊ฐ์ด \(2.000000000000000\)์ผ๋ก ์๋ ดํฉ๋๋ค. ํน์ด์ ์ด ์๋ ๊ฒฝ์ฐ๋ ํ์ธํด ๋ณด๋ฉด, \([0, 1]\)์์ \(f(x) = x^2\)๋ \(1/3 = 0.3333333333333\)์ ๋ฐํํฉ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
๊ตฌ๊ฐ ๋ด๋ถ์ ์๋ ํน์ด์ ๋ ์ฒ๋ฆฌํ ์ ์๋์? ์๋์. DE ๋ฐฉ๋ฒ์ ๋์ ์ ์๋ ํน์ด์ ๋ง ๊ฒฌ๋ ์ ์์ต๋๋ค. ๋ด๋ถ์ ์ \(c\)์ ํน์ด์ ์ด ์๋ค๋ฉด ์ ๋ถ์ \([a, c]\)์ \([c, b]\)๋ก ๋๋ ๋ค ๋ ๊ฒฐ๊ณผ๋ฅผ ๋ํ์ธ์.
์ฃผ๊ธฐ ํจ์์๋ ์ ์ ๋ง์ง ์๋์? ๋งค๋๋ฌ์ด ์ฃผ๊ธฐ ํผ์ ๋ถ ํจ์์ ๊ฒฝ์ฐ ์ผ๋ฐ ์ฌ๋ค๋ฆฌ๊ผด ๊ณต์๋ง์ผ๋ก๋ ์ด๋ฏธ ์ง์์ ์ผ๋ก ์๋ ดํ๊ธฐ ๋๋ฌธ์, DE ๋ณ์ ๋ณํ์ ์คํ๋ ค ์๋๋ง ๋ฆ์ถ ๋ฟ์ ๋๋ค.
์๋ฆฟ์ ์ค์ ์ ์ด๋ค ์ญํ ์ ํ๋์? ์ธ๋ถํ๋ฅผ ์ธ์ ๋ฉ์ถ์ง ๊ฒฐ์ ํ๋ ์๋ ํ์ฉ ์ค์ฐจ๋ฅผ ์ค์ ํ๋ฉฐ, ํ์๋๋ ๊ฐ๋ ๊ทธ์ ๋ง์ถฐ ๋ฐ์ฌ๋ฆผํฉ๋๋ค.