์ด ๊ณ์ฐ๊ธฐ์ ๊ธฐ๋ฅ
์ด ๋๊ตฌ๋ ์ ํํ ์ฐจ์ n์ ๋ํ ๋ฅด์ฅ๋๋ฅด ๋คํญ์ \(P_n(x)\)์ ๊ฐ์ ์ผ๋ จ์ x ๊ฐ์์ ๊ณ์ฐํด ํ๋ก ๋ง๋ค๊ณ , ํด๋น ๊ณก์ ์ ๊ทธ๋ ค ์ค๋๋ค. ์ฐจ์, ์์ x ๊ฐ, ์ฆ๊ฐ ํญ(์คํ ), ์ํ๋ ํ ์๋ฅผ ์ ๋ ฅํ๋ฉด ๊ฐ \((x, P_n(x))\) ์๊ณผ ํจ๊ป ์ ๊ทธ๋ํ๋ฅผ ๋๋ ค์ค๋๋ค. ๋ฅด์ฅ๋๋ฅด ๋คํญ์์ ๊ตฌ๊ฐ [-1, 1]์์ ์ ์๋๋ ๋ํ์ ์ธ ์ง๊ต ๋คํญ์ ๊ณ์ด๋ก, ๋ฌผ๋ฆฌํ๊ณผ ์์ฉ์ํ ์ ๋ฐ์ ๋ฑ์ฅํฉ๋๋ค. ๋ผํ๋ผ์ค ๋ฐฉ์ ์์ ํด, ๋ค์ค๊ทน ์ ๊ฐ, ๊ตฌ๋ฉด ์กฐํ ํจ์, ๊ฐ์ฐ์ค ๊ตฌ์ ๋ฒ ๋ฑ์์ ํญ๋๊ฒ ์ฐ์ ๋๋ค.
์ฌ์ฉ ๋ฐฉ๋ฒ
n(์ฐจ์)๋ 0 ์ด์์ ์ ์(0, 1, 2, โฆ)๋ก ์ ๋ ฅํฉ๋๋ค. x์ ์ด๊น๊ฐ(๋ณดํต -1), ์ฐ์ํ x ๊ฐ ์ฌ์ด์ ์ฆ๊ฐ ํญ(์คํ )(์: 0.02), ๊ทธ๋ฆฌ๊ณ ์์ฑํ ๋ฐ๋ณต ํ์(ํ ์)๋ฅผ ์ง์ ํ์ธ์. i๋ฒ์งธ ํ์ \(x = \text{์์ } x + i \times \text{์คํ }\)์ผ๋ก ๊ณ์ฐ๋ฉ๋๋ค. ๋ฅด์ฅ๋๋ฅด ๋คํญ์์ [-1, 1] ๊ตฌ๊ฐ์์ ๊ฐ์ฅ ์๋ฏธ๊ฐ ์์ง๋ง, ๊ณต์ ์์ฒด๋ ๋ชจ๋ ์ค์ x์์ ์ฑ๋ฆฝํฉ๋๋ค. ๋ค๋ง ์ด ๊ตฌ๊ฐ์ ๋ฒ์ด๋๋ฉด ๊ฐ์ ํฌ๊ธฐ๊ฐ ๊ธ๊ฒฉํ ์ปค์ง๋ค๋ ์ ์ ์ ์ํ์ธ์.
๊ณต์ ์ค๋ช
์ด ๊ณ์ฐ๊ธฐ๋ ๋ซํ ํํ์ ์์ ์ ๊ฐํ๋ ๋์ , ์์น์ ์์ ์ฑ์ ์ํด ๋ณด๋ค(Bonnet)์ ์ ํ์์ ์ฌ์ฉํฉ๋๋ค. ๋จผ์ \(P_0(x) = 1\), \(P_1(x) = x\)์์ ์ถ๋ฐํ ๋ค ๋ค์์ ๋ฐ๋ณตํฉ๋๋ค.
$$P_{k+1}(x) = \frac{(2k+1)\cdot x\cdot P_k(x) - k\cdot P_{k-1}(x)}{k+1}$$์ฒ์ ๋ช ๊ฐ์ ๋ซํ ํํ ์์ \(P_2 = \frac{3x^2 - 1}{2}\), \(P_3 = \frac{5x^3 - 3x}{2}\), \(P_4 = \frac{35x^4 - 30x^2 + 3}{8}\)์ ๋๋ค.
๊ณ์ฐ ์์
n = 3, x = 0.5์ธ ๊ฒฝ์ฐ: \(P_0 = 1\), \(P_1 = 0.5\)์ ๋๋ค. ์ด์ด์ $$P_2 = \frac{3\cdot 0.5\cdot 0.5 - 1}{2} = -0.125$$ $$P_3 = \frac{5\cdot 0.5\cdot(-0.125) - 2\cdot 0.5}{3} = \frac{-1.3125}{3} = -0.4375$$ ๊ฐ ๋ฉ๋๋ค. ๋ซํ ํํ ์ \(\frac{5x^3 - 3x}{2}\)๋ก ๊ณ์ฐํด๋ ๊ฐ์ ๊ฐ์ด ๋์ ์ ํ์ ๊ฒฐ๊ณผ๊ฐ ์ผ์นํจ์ ํ์ธํ ์ ์์ต๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
n = 0์ด๋ฉด ์ด๋ค ๊ฐ์ด ๋์ค๋์? ๋ชจ๋ x์ ๋ํด ์์ 1์ด ๋์ค๋ฏ๋ก ๊ทธ๋ํ๋ ์ํ์ผ๋ก ํํํ ์ง์ ์ด ๋ฉ๋๋ค. ์ ๋์ ๊ฐ์ ์ผ๋ง์ธ๊ฐ์? ๋ชจ๋ ๋ฅด์ฅ๋๋ฅด ๋คํญ์์ \(P_n(1) = 1\), \(P_n(-1) = (-1)^n\)์ ๋ง์กฑํฉ๋๋ค. ์ ๋ช ์์ ๊ณต์ ๋์ ์ ํ์์ ์ฌ์ฉํ๋์? 3ํญ ์ ํ์์ ์์์ ์ฐจ์์ ๋ํด ๋น ๋ฅด๊ณ ์์น์ ์ผ๋ก ์์ ์ ์ด์ด์, ๊ณ ์ฐจ ๋ช ์์ ๋คํญ์์์ ๋ฐ์ํ๋ ์๋ฆฟ์ ์์ค(cancellation) ์ค์ฐจ๋ฅผ ํผํ ์ ์๊ธฐ ๋๋ฌธ์ ๋๋ค.