๋ผ๊ฒ๋ฅด ๋คํญ์ ํ ๊ณ์ฐ๊ธฐ๋?
์ด ๋๊ตฌ๋ ์ฐ์๋ x ๊ฐ์ ๋ํด ๋ผ๊ฒ๋ฅด ๋คํญ์ \(L_n(x)\)์ ํ๋ก ์ ๋ฆฌํ๊ณ ๊ทธ๋ํ๋ก ๋ณด์ฌ ์ค๋๋ค. ๋ผ๊ฒ๋ฅด ๋คํญ์์ ๋ฏธ๋ถ๋ฐฉ์ ์ \(x\cdot y'' + (1 - x)\cdot y' + n\cdot y = 0\)์ ์ง๊ต๋คํญ์ ํด๋ก, ์์์ญํ(์์ ์์์ ๋๊ฒฝ ๋ฐฉํฅ ํ๋ํจ์), ์์น์ ๋ถ(๊ฐ์ฐ์ค-๋ผ๊ฒ๋ฅด ๊ตฌ์ ๋ฒ), ์ ํธ์ฒ๋ฆฌ ๋ฑ ๋ค์ํ ๋ถ์ผ์์ ๋ฑ์ฅํฉ๋๋ค. ์ด ๊ณ์ฐ๊ธฐ๋ \(L_n(0) = 1\)์ด ๋๋ ํ์ค ์ ๊ทํ๋ฅผ ์ฌ์ฉํฉ๋๋ค.
์ฌ์ฉ ๋ฐฉ๋ฒ
๋ค ๊ฐ์ ์ซ์๋ฅผ ์ ๋ ฅํ์ธ์. ์ฐจ์ n(0 ์ด์์ ์ ์), x์ ์์๊ฐ, ์ฐ์๋ x ๊ฐ ์ฌ์ด์ ๊ฐ๊ฒฉ(step), ๊ทธ๋ฆฌ๊ณ ํ ์์ ๋๋ค. ๊ณ์ฐ๊ธฐ๋ x = ์์๊ฐ, ์์๊ฐ + ๊ฐ๊ฒฉ, ์์๊ฐ + 2ยท๊ฐ๊ฒฉ, โฆ ์์ผ๋ก x๋ฅผ ์์ฑํ๊ณ ๊ฐ ์ง์ ์์ \(L_n(x)\)์ ๊ณ์ฐํ์ฌ ๋ ์ด๋ก ๋ ํ์ ๊บพ์์ ๊ทธ๋ํ๋ฅผ ๋ณด์ฌ ์ค๋๋ค.
๊ณต์ ์ค๋ช
์ด ๊ณ์ฐ๊ธฐ๋ ๋คํญ์์ ์ง์ ์ ๊ฐํ๋ ๋์ ์์น์ ์ผ๋ก ์์ ์ ์ธ 3ํญ ์ ํ์์ ์ฌ์ฉํฉ๋๋ค.
$$L_0(x) = 1,\quad L_1(x) = 1 - x$$์ด๋ฉฐ, \(k \ge 1\)์ผ ๋
$$L_{k+1}(x) = \frac{(2k + 1 - x)\cdot L_k(x) - k\cdot L_{k-1}(x)}{k + 1}$$์ ๋๋ค. ์ด ๋ฐฉ๋ฒ์ ํ ์ ๋น \(O(n)\)์ ๊ณ์ฐ๋ง์ผ๋ก ์ถฉ๋ถํฉ๋๋ค. ์ฒ์ ๋ช ๊ฐ์ ๋คํญ์์ \(L_2(x) = 1 - 2x + \frac{x^2}{2}\), \(L_3(x) = 1 - 3x + 1.5x^2 - \frac{x^3}{6}\)์ ๋๋ค.
๊ณ์ฐ ์์
n = 3์ด๊ณ x = -1์ผ ๋: \(L_3(-1) = 1 + 3 + 1.5 + 0.16667 = 5.66667\)์ ๋๋ค. ์ ํ์์ผ๋ก ํ์ธํด ๋ณด๋ฉด \(L_0 = 1\), \(L_1 = 2\), \(L_2 = 3.5\),
$$L_3 = \frac{6\cdot 3.5 - 2\cdot 2}{3} = \frac{17}{3} = 5.66667$$์ ๋๋ค. x = 0์์๋ \(L_3(0) = 1\), x = 1์์๋ \(L_3(1) = -0.66667\)์ ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
์ด๋ค ์ ๊ทํ๋ฅผ ์ฌ์ฉํ๋์? \(L_n(0) = 1\)์ด ๋๋ ํ์คํ์ ์ฌ์ฉํฉ๋๋ค. ์ผ๋ถ ๋ฌธํ์์ ๋ณด์ด๋ ์ ๊ทํ๋์ง ์์ ํํ \(n!\cdot L_n(x)\)๋ ์ฌ์ฉํ์ง ์์ต๋๋ค.
n = 0์ด๋ฉด ์ด๋ป๊ฒ ๋๋์? \(L_0(x) = 1\)๋ก ๋ชจ๋ ๊ณณ์์ ์ผ์ ํ ์ํ์ ์ด ๋ฉ๋๋ค. n = 1์ด๋ฉด ์ง์ \(1 - x\)๊ฐ ๋ฉ๋๋ค.
n์ ์ผ๋ง๋ ํฌ๊ฒ ํ ์ ์๋์? ์ ํ์์ ์ ๋นํ ํฌ๊ธฐ์ n์์๋ ์์ ์ ์ ๋๋ค. ๋ค๋ง n์ด ๋งค์ฐ ํฌ๊ฑฐ๋ \(|x|\)๊ฐ ํฐ ๊ฒฝ์ฐ ๊ฐ์ด ๊ธ๊ฒฉํ ์ปค์ ธ ๊ฒฐ๊ตญ ๋ถ๋์์์ ์ค๋ฒํ๋ก๊ฐ ๋ฐ์ํ ์ ์์ต๋๋ค.