์ด ๊ณ์ฐ๊ธฐ๋ ๋ฌด์์ ํ๋์
์ด ๋๊ตฌ๋ ๋ฐฉ์ ์์ ๊ทผ, ์ฆ \(f(x) = 0\)์ด ๋๋ \(x\) ๊ฐ์ ๋ฏธ๋ถ์ด ํ์ ์๋ ๋ดํด๋ฒ์ผ๋ก ์ฐพ์ ์ค๋๋ค. ์ด ๋ฐฉ๋ฒ์ ์คํ ํ์ผ ๋ฐ๋ณต๋ฒ(Steffensen's iteration)์ด๋ผ๊ณ ๋ ๋ถ๋ฆฝ๋๋ค. ๊ณ ์ ์ ์ธ ๋ดํด๋ฒ์ 1์ฐจ ๋ํจ์ \(f'(x)\)๋ฅผ ์ง์ ๊ตฌํด์ผ ํ์ง๋ง, ์ด ๋ฐฉ์์ ๋ํจ์ ๋์ ํจ์๊ฐ๋ง์ผ๋ก ๊ณ์ฐํ ์ ์ง์ฐจ๋ถ(forward difference) ๊ทผ์ฌ๋ฅผ ์ฌ์ฉํฉ๋๋ค. ๋๋ถ์ ์์ผ๋ก ๋ฏธ๋ถํ ํ์๊ฐ ์ ํ ์์ต๋๋ค. ๋จ์ผ ๋ณ์์ ์คํจ์๋ผ๋ฉด ์ด๋ค ํจ์์๋ ์ธ ์ ์๋ ์์ํ ์ํ ๋๊ตฌ์ ๋๋ค.
์ฌ์ฉ ๋ฐฉ๋ฒ
๋ณ์ \(x\)๋ฅผ ์ฌ์ฉํด f(x) ์นธ์ ํจ์๋ฅผ ์
๋ ฅํ์ธ์. + - * / ^ ์ฐ์ฐ์, ๊ดํธ, ์์ pi์ e, ๊ทธ๋ฆฌ๊ณ ์์ฃผ ์ฐ๋ ํจ์๋ค sin, cos, tan, asin, acos, atan, sinh, cosh, tanh, exp, ln, log, log10, sqrt, abs๋ฅผ ์ฌ์ฉํ ์ ์์ต๋๋ค. ์ผ๊ฐํจ์๋ ๋ผ๋์ ๋จ์์
๋๋ค. ์ด๊ธฐ ์ถ์ ๊ฐ x0๋ฅผ ์ ํ๊ณ (๊ฒฐ๊ณผ๋ ์ด ๊ฐ์ ๋ฐ๋ผ ๋ฌ๋ผ์ง๋๋ค), ์ต๋ ๋ฐ๋ณต ํ์ n์ ์ ํํ ๋ค, ์๋ ดํ ๊ทผ๊ณผ ์์ฐจ \(f(x)\), ๊ทธ๋ฆฌ๊ณ ํ์ํ ๋ฐ๋ณต ํ์๋ฅผ ํ์ธํ๋ฉด ๋ฉ๋๋ค.
๊ณต์ ์ค๋ช
๊ฐฑ์ ๊ท์น์ ๋ค์๊ณผ ๊ฐ์ต๋๋ค.
$$x_{n+1} = x_n - \frac{f(x_n)^2}{f\!\left(x_n + f(x_n)\right) - f(x_n)}$$์ด๋ ํ์ค ๋ดํด ๋จ๊ณ \(x_{n+1} = x_n - f(x_n)/f'(x_n)\)์์ ์ถ๋ฐํ๋ฉฐ, ์ฌ๊ธฐ์ \(f'(x_n)\)๋ฅผ ๋ณดํญ \(h = f(x_n)\)์ธ ์ ์ง์ฐจ๋ถ์ผ๋ก ๊ทผ์ฌํฉ๋๋ค. ์ด ๊ทผ์ฌ๊ฐ์ ๋์ ํ๋ฉด ์์ ๊ณต์์ด ๋์ต๋๋ค. ๋จ์๊ทผ ๊ทผ์ฒ์์๋ ์ง์ง ๋ดํด๋ฒ๊ณผ ๋ง์ฐฌ๊ฐ์ง๋ก ๋๋ต 2์ฐจ ์๋ ด(quadratic convergence)์ ๋ณด์ด์ง๋ง, ํจ์๊ฐ๋ง ์ฌ์ฉํ๋ค๋ ์ ์ด ๋ค๋ฆ ๋๋ค.
๊ณ์ฐ ์์
\(f(x) = x - \cos(x)\), \(x_0 = 1\)์ธ ๊ฒฝ์ฐ๋ฅผ ๋ด ์๋ค. 1ํ ๋ฐ๋ณต์์ \(f(1) = 0.45970\), ํ์๊ฐ \(f(1.45970) = 1.34861\), ๋ถ๋ชจ \(0.88891\)์ด ๋์ด ๋ค์๊ณผ ๊ฐ์ด ๋ฉ๋๋ค.
$$x_1 = 1 - \frac{0.45970^2}{0.88891} = 0.76224$$๋ฐ๋ณต์ ๊ณ์ํ๋ฉด \(x = \cos(x)\)๋ฅผ ๋ง์กฑํ๋ ๊ฐ์ธ \(x \approx 0.7390851332\)(์ด๋ฅธ๋ฐ ๋ํฐ ์, Dottie number)๋ก ๋น ๋ฅด๊ฒ ์๋ ดํ๋ฉฐ, ์ด๋ \(f(x) \approx 0\)์ด ๋ฉ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
์ ์๋ ดํ์ง ์์ ๋๊ฐ ์๋์? ์ด๊ธฐ ์ถ์ ๊ฐ์ด ์ข์ง ์์ผ๋ฉด ๋ฐ์ฐํ๊ฑฐ๋ ์๋ฑํ ๋ค๋ฅธ ๊ทผ์ผ๋ก ๋น ์ง ์ ์์ต๋๋ค. ๋ํ ๋ถ๋ชจ \(f(x+f(x)) - f(x)\)๊ฐ 0์ด ๋๋ฉด ๋ฐฉ๋ฒ์ด ์์ ํ๊ฒ ๋ฉ์ถฅ๋๋ค. ์ด๋ด ๋๋ x0๋ฅผ ๋ค๋ฅธ ๊ฐ์ผ๋ก ๋ฐ๊ฟ ๋ณด์ธ์.
๊ฐ๋๋ ๋(degree)์ธ๊ฐ์, ๋ผ๋์์ธ๊ฐ์? ์ํ์์ ํ์ค์ผ๋ก ์ฐ๋ ๋ผ๋์์
๋๋ค. ํ์ํ๋ฉด x*pi/180์ผ๋ก ๋ณํํ์ธ์.
๋ํจ์๋ฅผ ๊ตฌํด์ผ ํ๋์? ์๋์. ๋ฐ๋ก ๊ทธ๊ฒ์ด ์ด ๋ฐฉ๋ฒ์ ํต์ฌ์ ๋๋ค. ํจ์๊ฐ๋ง์ผ๋ก ๊ธฐ์ธ๊ธฐ๋ฅผ ์ถ์ ํฉ๋๋ค.