MCP๋กœ ์—ฐ๊ฒฐ โ†’

๊ณ„์‚ฐ ์ž…๋ ฅ

๊ณต์‹

๊ด‘๊ณ 

๊ฒฐ๊ณผ

๋ฅด์žฅ๋“œ๋ฅด ๋‹คํ•ญ์‹ Pโ‚™(x) ํ‘œ
P3(x)
101 points computed by Bonnet's recursion
์ฐจ์ˆ˜ n 3
ํ–‰ ์ˆ˜ 101
์ฒซ ๊ฐ’ Pโ‚™(xโ‚€) -1
๋งˆ์ง€๋ง‰ ๊ฐ’ Pโ‚™(x_last) 1
x Pโ‚™(x)
-1 -1
-0.98 -0.88298
-0.96 -0.77184
-0.94 -0.66646
-0.92 -0.56672
-0.9 -0.4725
-0.88 -0.38368
-0.86 -0.30014
-0.84 -0.22176
-0.82 -0.14842
-0.8 -0.08
-0.78 -0.01638
-0.76 0.04256
-0.74 0.09694
-0.72 0.14688
-0.7 0.1925
-0.68 0.23392
-0.66 0.27126
-0.64 0.30464
-0.62 0.33418
-0.6 0.36
-0.58 0.38222
-0.56 0.40096
-0.54 0.41634
-0.52 0.42848
-0.5 0.4375
-0.48 0.44352
-0.46 0.44666
-0.44 0.44704
-0.42 0.44478
-0.4 0.44
-0.38 0.43282
-0.36 0.42336
-0.34 0.41174
-0.32 0.39808
-0.3 0.3825
-0.28 0.36512
-0.26 0.34606
-0.24 0.32544
-0.22 0.30338
-0.2 0.28
-0.18 0.25542
-0.16 0.22976
-0.14 0.20314
-0.12 0.17568
-0.1 0.1475
-0.08 0.11872
-0.06 0.08946
-0.04 0.05984
-0.02 0.02998
0 -0
0.02 -0.02998
0.04 -0.05984
0.06 -0.08946
0.08 -0.11872
0.1 -0.1475
0.12 -0.17568
0.14 -0.20314
0.16 -0.22976
0.18 -0.25542
0.2 -0.28
0.22 -0.30338
0.24 -0.32544
0.26 -0.34606
0.28 -0.36512
0.3 -0.3825
0.32 -0.39808
0.34 -0.41174
0.36 -0.42336
0.38 -0.43282
0.4 -0.44
0.42 -0.44478
0.44 -0.44704
0.46 -0.44666
0.48 -0.44352
0.5 -0.4375
0.52 -0.42848
0.54 -0.41634
0.56 -0.40096
0.58 -0.38222
0.6 -0.36
0.62 -0.33418
0.64 -0.30464
0.66 -0.27126
0.68 -0.23392
0.7 -0.1925
0.72 -0.14688
0.74 -0.09694
0.76 -0.04256
0.78 0.01638
0.8 0.08
0.82 0.14842
0.84 0.22176
0.86 0.30014
0.88 0.38368
0.9 0.4725
0.92 0.56672
0.94 0.66646
0.96 0.77184
0.98 0.88298
1 1

์ด ๊ณ„์‚ฐ๊ธฐ์˜ ๊ธฐ๋Šฅ

์ด ๋„๊ตฌ๋Š” ์„ ํƒํ•œ ์ฐจ์ˆ˜ n์— ๋Œ€ํ•œ ๋ฅด์žฅ๋“œ๋ฅด ๋‹คํ•ญ์‹ \(P_n(x)\)์˜ ๊ฐ’์„ ์ผ๋ จ์˜ x ๊ฐ’์—์„œ ๊ณ„์‚ฐํ•ด ํ‘œ๋กœ ๋งŒ๋“ค๊ณ , ํ•ด๋‹น ๊ณก์„ ์„ ๊ทธ๋ ค ์ค๋‹ˆ๋‹ค. ์ฐจ์ˆ˜, ์‹œ์ž‘ x ๊ฐ’, ์ฆ๊ฐ€ ํญ(์Šคํ…), ์›ํ•˜๋Š” ํ–‰ ์ˆ˜๋ฅผ ์ž…๋ ฅํ•˜๋ฉด ๊ฐ \((x, P_n(x))\) ์Œ๊ณผ ํ•จ๊ป˜ ์„  ๊ทธ๋ž˜ํ”„๋ฅผ ๋Œ๋ ค์ค๋‹ˆ๋‹ค. ๋ฅด์žฅ๋“œ๋ฅด ๋‹คํ•ญ์‹์€ ๊ตฌ๊ฐ„ [-1, 1]์—์„œ ์ •์˜๋˜๋Š” ๋Œ€ํ‘œ์ ์ธ ์ง๊ต ๋‹คํ•ญ์‹ ๊ณ„์—ด๋กœ, ๋ฌผ๋ฆฌํ•™๊ณผ ์‘์šฉ์ˆ˜ํ•™ ์ „๋ฐ˜์— ๋“ฑ์žฅํ•ฉ๋‹ˆ๋‹ค. ๋ผํ”Œ๋ผ์Šค ๋ฐฉ์ •์‹์˜ ํ•ด, ๋‹ค์ค‘๊ทน ์ „๊ฐœ, ๊ตฌ๋ฉด ์กฐํ™” ํ•จ์ˆ˜, ๊ฐ€์šฐ์Šค ๊ตฌ์ ๋ฒ• ๋“ฑ์—์„œ ํญ๋„“๊ฒŒ ์“ฐ์ž…๋‹ˆ๋‹ค.

x๊ฐ€ โˆ’1๋ถ€ํ„ฐ 1๊นŒ์ง€์ธ ์ฒ˜์Œ ๋ช‡ ๊ฐœ ๋ฅด์žฅ๋“œ๋ฅด ๋‹คํ•ญ์‹์˜ ๊ณก์„ 
๊ตฌ๊ฐ„ [-1, 1]์—์„œ ์ฒ˜์Œ ๋ช‡ ๊ฐœ์˜ ๋ฅด์žฅ๋“œ๋ฅด ๋‹คํ•ญ์‹ P_n(x).

์‚ฌ์šฉ ๋ฐฉ๋ฒ•

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) ์˜ค์ฐจ๋ฅผ ํ”ผํ•  ์ˆ˜ ์žˆ๊ธฐ ๋•Œ๋ฌธ์ž…๋‹ˆ๋‹ค.

์ตœ์ข… ์—…๋ฐ์ดํŠธ: