8. 犢仰犖÷厳犢犖犖犖犖萎犖迦権犖犖迦検犖犖ム険犖犖犖朽 1 犖犢犖迦犖犖 det V(x,,x k ,x k+1 ) 犖犖萎犖犢犖犖犖犖伍犖迦検犖犖朽犖犖 k 犢犖 x 犢犖ム鍵犖犢犖迦犖犖 x 犖犢犖о権 犖犖萎犖犢犖犖о犖 犖犢犖迦犖犖犖犖園硯犖犖橿見犖犖 (determinant) 犢犖犢犖犖犖項犖∇ 犖犖園犖犖園犖犖犖迦検犖迦牽犖 犢犖犖朽権犖犢犖犢犖о犖 det V(x,,x k ,x k+1 ) = A(x-x 2 ) (x-x 3 )(x-x k ) (x-x k+1 ) .(5)
9. 犢仰犖÷厳犢犖 A 犢犖犢犖犖犢犖迦犖犖犖朽 犖犖迦 (5) 犖犖萎犖犢犖犖о犖 A 犢犖犢犖犖犖園検犖犖犖萎肩犖巌犖犖巌犖犖犖 x k 犖犖園犖犖園犖犖犖迦 (4) 犢犖犢犖о犖 A = = det V(x 2 ,,x k+1 ) = (-1) k 犖犖犖伍犖о犖 detV= (x-x 2 )(x-x 3 )(x-x k )(x-x k+1 ) =
10. 犢仰犖÷厳犢犖犢犖犖 x 犖犢犖о権 x 1 det V (x 1 ,x k ,x k+1 ) = (x 1 -x 2 ) (x 1 -x 3 )(x 1 -x k ) (x 1 -x k+1 ) = = 犢犖犖∇見犖ム険犖犖犖迦牽犖犖伍犖犖園権犖犖迦犖犖犖巌犖犖迦肩犖犖犢 犢犖犢犖о犖 (2) 犢犖犢犖犖犖犖巌犖犖伍 犢 n 犖犖朽犢犖犢犖犖犖÷顕犖犖巌犖犖犖犖犖橿犖о犢犖犢犖÷犖о犢犖 犢
11. 犢仰犖犖迦検犖園犖犖萎犖 Vandermonde matrix 犢犖犖犖園犖犖迦犖園犖犢犖犢犖犖犖朽 1. 犖犖迦牽犖犖犢犖迦犖犖犖伍犖迦検犖犢犖迦肩犖犖犢犖犖犖 (polynomial interpolation) 2 . 犖犖園犖犖迦犢犖迦犖犖巌犖÷犢犖犖犖犖 犖犖÷犖迦牽犢犖犖巌犖犖犖伍犖園犖犢 (differential equation initial value problem) 犢犖ム鍵 3. 犖犖迦牽犖犖犢犖迦犖ム験犖犖園犢犖犖∇犖橿見犖犖犖犖迦犖犖о顕犖÷肩犖園検犖犖園犖犢犢犖о元犖∇犖犖園犢犖犖巌 (recursively defined sequences) 犢犖犖犖朽犖犖朽犖犖萎犖ム犖迦硯犖犖謹犢犖犖朽権犖犖犖園犖犖迦犖園犖 3 犖犖∇犖迦犖犖朽犖犖ム犖迦硯犢犖о犢犖ム犖 犖犢犖迦犖犢犖 犢犖ム鍵犖犖犖犖迦犖犖犖 Vandermonde matrix 犢犖ム鍵犢犖犖劇犖犢犖÷犢犖犢犢犖犖巌犖犖о顕犖÷肩犖園犖犖 犖犖萎犖犖朽権犖 V 犢犖犖 V
12. 1. 犖犖犖伍犖迦検犖犢犖迦肩犖犖犢犖犖犖 (Polynomial interpolation) 犖犖橿見犖犖犢犖犢犖犖犖伍犖迦検犖犖朽犖犖 n-1 犖犢犖迦犖犖伍 (x 1 , y 1 ), (x 2 ,y 2 ),.,(x n ,y n ) 犖犢犖迦犖犖園 n 犖犖伍 犢犖犖朽権犖犢犖犖犖項 q(x) = .(6) 犖犖園検犖犖犖萎肩犖巌犖犖巌 c i 犖犖迦犖犢犖犖迦犖犖萎犖犖犖÷犖迦牽 q(x j ) = y j ; j = 1, 2 ,,n
13. 犢仰犖÷厳犢犖犢犖犖犖犢犖 j = 1, 2,,n 犢犖犖犖犖伍犖迦検 q(x) 犖犖萎犖犢犖犖萎犖犖犖÷犖迦牽犖犖園犖犖朽 . . . . . . = y n = y 1 = y 2 (7)
16. 犢仰犖÷厳犢犖犢犖犖 x 犢犖 犖犖ム険犖犖犖伍犖犢犖迦権犖犢犖о権 x i 犖犖萎犖犢 Q( x i ) = det
17. 犖幡験犖犖ム険犖犖犖項犖犖犢犖迦権犖ム犖僅犖о権 犖犖ム険犖犖犖朽 i 犖犖萎犖犢犖о犖迦肩犖÷顕犖犖巌犢犖犖犖ム険犖犖犖伍犖犢犖迦権 犢犖犢犖 0 犖∇犢犖о犖 犖犖÷顕犖犖巌犖犖園硯犖犖伍犖犢犖迦権 犖÷元犖犢犖迦犖犢犖 -y i 犢犖ム鍵 Q( x i ) = det = -y i det V(x 1 ,,x n ) 犖犖犖劇賢 y i = - .(10)
18. 犖犖巌犖犖幡元犢犢犖犢犖幡犖犖巌犖犖橿見犖犖園犖犖伍 i = 1, 2, 3,n 犢犖ム鍵犢犖犖犖迦鍵犖о犖 q(x i ) = y i 犖犖園犖犖園犖犖犖萎犖犢犖о犖 q(x) = .(11) 犢犖犖犖朽犖犖朽 Vandermonde determinant 犖÷元犖犖о顕犖÷肩犖橿犖園犖犖∇犖迦犢犖犢犖犢犖犢犖犖園 犢犖犖犖迦牽犖犖犢犖迦犖犖犖伍犖迦検犖犢犖迦肩犖犖犢犖犖犖 (polynomial interpolation) 犖犢犖迦犖犖伍犖犢犖迦犖犖園 n 犖犖伍
22. 2. 犖犖園犖犖迦犢犖迦犖犖巌犖÷犢犖犖犖犖犖犖÷犖迦牽犢犖犖巌犖犖犖伍犖園犖犢 (Differential equation initial value problems) 犖犖巌犖迦牽犖犖迦肩犖÷犖迦牽犢仰犖犖巌犖犖幡幻犖犖園姑┯犢 .(12) 犢仰犖÷厳犢犖 a 0 ,a 1 ,a n 犢犖犢犖犖犢犖迦犖犖犖朽 犢犖ム鍵 D 犢犖犖犖犖迦牽犖犖迦賢犖犖伍犖園犖犖伍犢犖犖朽権犖犖犖園 t 犖犖犢犖犖÷犢犖о権犢犖犖劇犖犖犢犖犢犖犖巌犖÷犢犖 D j y(0) = y j ; j = 0, 1, 2,,n-1 .(13) 犖犖÷犖迦牽 (12) 犖÷元犖犖犖伍犖迦検犖ム険犖犖犖犖萎犖犖犖迦鍵 ( characteristic polynomial)
23. 犖犖迦犖犖÷犖迦牽 (12) 犖犖萎検犖朽犖ム犖犖ム権 y i = ; i = 1, 2,,n 犢犖ム鍵犢仰犖÷厳犢犖 犖犖ム犖犖ム権犖犖園犖 n 犖犖ム犖犖ム権 犖犖萎犖犢犖犖犖巌肩犖犖萎犖犖巌犢犖犢犖 犖犖園犖犖園犖 犖犖ム牽犖о検犢犖犖巌犢犖犢犖 (linear combinations) 犖犖犖 y i = 犖犖劇賢 y = 犢犖犢犖犖犖ム犖犖ム権犖犖犖 (12) 犖犢犖о権 Dy 犢仰犖÷厳犢犖犢犖犖犢犖犖劇犖犖犢犖犢犖犖巌犖÷犢犖犖犖迦 (13) 犖犖萎犖犢犖犖萎犖犖犖÷犖迦牽 = y j ; j = 0,1,2,,n-1 犢犖ム鍵
24. 犖犖萎犖犖犖÷犖迦牽犖犖朽犖犖迦検犖迦牽犖犢仰犖犖朽権犖犢犖犖÷ 犢犖犖犖項犢犖÷犖犖巌犖犢 犢犖犢犢犖犢犖 = V C = Y (14) 犢仰犖÷厳犢犖 V = , C = , Y = 犖犢犖 x i 犖犢犖迦犖犖園 犖犖ム犖犖ム権犖犖犖 (14) 犖÷元犖犖犖謹犖犢犖犖朽権犖 犖犖萎犖犢犖犖о犖 Vandermonde matrix 犖÷元犖犖犖犖迦犢犖犖犖迦牽犖犖迦犢犖迦犖犖犖朽 C 犖犖犖犖犖ム犖犖ム権犖犖犖犖犖園犖犖
25. 犖犖園硯犖犖∇犖迦 = 0 ; y 0 = 1,y 1 = 9, y 2 = 17 ( D 3 - 3D 2 D + 3 )y = 0 犖犖犖伍犖迦検犖ム険犖犖犖犖萎犖犖犖迦鍵犖犖犖犖犖÷犖迦牽犖犖劇賢 p(D) = D 3 - 3D 2 D + 3 = (D + 1)(D 1)(D 3) 犖о鹸犖犖朽犖 犢仰犖÷厳犢犖犢犖犖犢犖犖劇犖犖犢犖 犢犖犖巌犖÷犢犖 (13) 犖犖萎犖犢 犖犖ム犖犖ム権 犖犖劇賢 = 1 = 9 =17
27. 3. 犖ム験犖犖園犖犖朽犖犖橿見犖犖犢犖犖∇犖о顕犖÷肩犖園検犖犖園犖犢犢犖о元犖∇犖犖園犢犖犖巌 (Recursively defined sequences ) 犢犖犢 犢犖犢犖 n 犖犖犖犢犢犖犖犖犖犖犖ム験犖犖園犖犖朽犖÷元犖犖о顕犖÷肩犖園検犖犖園犖犢犖犖園犖犖迦検犖犖÷犖迦牽 . (15) 犢仰犖÷厳犢犖 a i 犢犖÷犖犖謹犖犖犖園 k 犖犖萎犖犖朽権犖犖ム験犖犖園犖犖朽犖о犖 recurrent sequence 犖犖園硯犖犖∇犖迦犖犖犖犖ム験犖犖園犖犖朽犖犖朽犖犖項犖犖園犖犖園犖犖 犖犖劇賢 Fibonaci sequence 犖犖謹犖犢犖犖巌犖÷犖迦 0,1,1,2,3, 犢犖ム鍵犢犖犢犖ム鍵犖犖犖犢犖犖萎犖犢犖犖犖ム牽犖о検犖犖犖 2 犖犖犖犢 犖犖朽犖犖∇弦犢犖犢犖迦犖犖犢犖
28. 犢犖犖犖朽犖犖迦犖犖犖謹犖 犢犖犖迦犖橿見犖犖犢犖犢 {y j } 犢犖犢犖犖ム験犖犖園犖犖朽犖÷元 n + 1 犖犖犖犢 犖犖謹犖犖犖犖犖犖ム犖犖犖犖園犖犖÷犖迦牽犢犖犖犖項犢犖犖犖犢犖迦犖犢犖犢犖犢犖 . (16) 犖犖謹犖 y 0 , y 1 ,y 2 , , y n-1 犢犖犢犖犖犢犖迦犖犖巌犖÷犢犖犖犖朽犖犖橿見犖犖犢犖о犢犖犢犖犖犖 犖犖÷犖迦牽犖犖朽 (16) 犖犖萎犖犖朽権犖犖о犖迦肩犖÷犖迦牽犢犖犖巌犖犖ム犢犖迦 (difference equations) 犢犖ム鍵犖犖÷犖迦牽犖犖朽犢犖犢犖犖犖÷犖迦牽犖犖朽犖犖橿犖園犢犖犖犖迦牽犖犖犢犖迦犢犖犖犖犖橿献犖犖犖犖園犖犖迦犢犖迦 犢
29. 犖犖÷犖迦牽 ( 16 ) 犖犖迦犖橿犖犖犢犖犢犢犖犖∇犖迦牽犢犖犢 y j 犖犖∇弦犢犢犖犖犖項犖犖園犖犢犖犖園犖犖犖 j 犖犖謹犖犢犖犖÷厳犖犖犖犖園犖犖朽犖犖ム犖迦硯犖÷顕犢犖犖犖÷犖迦牽犢犖犖巌犖犖犖伍犖園犖犢 犖犖橿見犖犖犖犖園硯犖犖橿犖犖巌犖犖迦牽 L 犢犖犖∇犖朽 L {y j } = {y j+1 } , j=0,1,2, 犢犖犖朽権犖犖犖園硯犖犖橿犖犖巌犖犖迦牽犖犖朽犖о犖 犖犖園硯犖犖橿犖犖巌犖犖迦牽犢犖ム厳犢犖犖 (Shifting Operator) 犖犖謹犖犢犖ム厳犢犖犖犖ム験犖犖園 y 0 , y 1 , y 2 , 犢犖犖犖迦犖犢犖迦権犢犖犢犖犖ム験犖犖園 y 1 , y 2 , y 3 , 犖犖÷犖迦牽 (16) 犢犖犖朽権犖犢犖犖÷犢犖犢犢犖犢犖 L n {y j }+ a n-1 L n-1 {y j }++a 1 L{y j }+a 0 L{y j }={0} .(17)
30. 犖犖謹犖犖犖犖伍犖迦検犖ム険犖犖犖犖萎犖犖犖迦鍵犖犖犖犖犖÷犖迦牽犖犖劇賢 p(L) = L n +a n-1 L n-1 ++ a 0 = (L-x 1 )(L-x 2 )(L-x n ) 犖犢犖 x 1 , x 2 ,, x n 犖犢犖迦犖犖園犖犖÷ 犖犖ム牽犖о検犢犖犖巌犢犖犢犖犖犖園犖犖犖÷犖犖犖犖ム験犖犖園犖犖朽 犖犖萎犖犢犖犖犖ム犖犖ム権犖犖犖犖犖÷犖迦牽 (17) 犖犖園犖犖園犖犖犖ム攻釣犖ム権犖犖園犖о犖犖犖犖 (17) 犖犖劇賢
33. 犖犖園硯犖犖∇犖迦 犖犖巌犖迦牽犖犖迦肩犖÷犖迦牽犖犖ム犢犖迦犖犖劇犢犖犖劇犖犖 y n+2 - 5y n+1 + 6 y n = 0 ; y 0 = 9 , y 1 = 23 犢犖犖朽権犖犢犖犖犖項犖犖園硯犖犖橿犖犖巌犖犖迦牽 L 犢犖犢犢犖犢犖 (L 2 5L + 6)y n = 0 犖犖犖伍犖迦検犖ム険犖犖犖犖萎犖犖犖迦鍵犖犖犖犖犖÷犖迦牽 犖犖劇賢 p(L) = L 2 + 5L+6 = (L-2)(L-3) 犖犖園犖犖園犖犖犖ム犖犖ム権 犖犖劇賢 y n = c 1 2 n + c 2 3 n 犢仰犖÷厳犢犖犢犖犖犢犖犖劇犖犖犢犖犢犖犖巌犖÷犢犖 犖犖萎犖犢 c 1 + c 2 = 9 2c 1 +3c 2 = 23
34. 犖犖迦犖犖萎犖犖犖÷犖迦牽 犖犖橿検犖迦攻釣犖朽権犖犢犖犖犖項犢犖÷犖犖巌犖犢 犢犖犢犢犖犢犖 C = V -1 Y 0 犢犖犢犖犢犖犢犖犖園犖о犖 Vandermonde determinant 犖犖萎犖犖犖犖犖ム幻犖÷犖迦牽犢犖犢犖犖犖犖犖園犖犖迦犢犖迦犢 犖犖迦検犖犖朽犖犖ム犖迦硯犖÷顕 #
38. 犢仰犖犖朽権犖犢犖犖犖項犢犖÷犖犖巌犖犢 犢犖犢犢犖犢犖 .(18) 犖犖犖劇賢 D Y = A Y .(19) 犢仰犖÷厳犢犖 Y 犢犖犢犖犢犖о犢犖犖犖犢犖犖朽犖犖犖萎犖犖犖犢犖о権犖犖÷顕犖犖巌 A 犢犖犢犖犢犖÷犖犖巌犖犢犖犖犖迦 n x n 犖犖謹犖犖犖∇弦犢犖犖迦犖犖о顕犖犖犖犖犖÷犖迦牽 (18)
45. 犢仰犖÷厳犢犖犢犖犢犢犖犖劇犖犖犢犖犖犢犖迦犖犖巌犖÷犢犖 D j y(0) = y j ; j = 0,1,2,,n -1 犖犖萎犖犖犖犢犖о権 Y (0) = Y 0 .(21) 犖犖橿犖犢犢犖犢犖о犖 Y 0 = VI C = V C 犖犖犖劇賢 C = V -1 Y 0 犖犖伍犖犢犖迦権犖犖萎犖犢犖犖ム犖犖ム権犖犖犖謹犖犢犖犖朽権犖о犖犖犖犖÷犖迦牽 (19) 犢犖ム鍵 (21) 犖犖萎賢犖∇弦犢犢犖犖犖項 . (22)