ВУЗ:
Составители:
31
Замечание 9.1. Степень n интерполяционных многочленов p
i, n
считается
фиксированной и не зависящей от i , а роль параметра, за счёт которого
повышается точность приближения , играет число отрезков разбиения N. При n = 1
локальный интерполянт есть ломаная с вершинами в точках (x
i
,f(x
i
)) ( рис . 9.2 ),
при n = 2 графики многочленов p
i, 2
на частичных отрезках разбиения –
параболы ( рис . 9.3 ) , и так далее.
Теорема 9.2. Для любой функции f класса C
n+1
[a,b] последовательность
p
n
N
локальных интерполянтов сходится при N → ∞ к приближаемой функции f
равномерно на отрезке [a,b], т.е. в метрике (7.4) пространства C[a,b].
Доказательство . Функция f
(n+1)
непрерывна, а потому её максимум на
отрезке [a,b] конечен. Пользуясь вытекающим из (4.1) соотношением
получим неравенство
или, если обозначить через C
n
независящую от N, i, x постоянную
неравенство
Поскольку точки x , x
i , k
принадлежат отрезку [x
i – 1
,x
i
] длины h=(b-a)/N,
для любого k имеем : | x – x
i
, k
| ≤ h . Поэтому
а это ввиду независимости правой части от i и x даёт:
Переходя здесь к пределу при N → ∞ , получим нужный результат
,]x,x[)x(,x,)xx(
!)1n(
))x((f
)x(p)x(f
i1i
n
0k
k,i
)1n(
n,i −
=
+
∈ξ−
+
ξ
=−
∏
,]x,x[x,)xx(max)x(fmax
!)1n(
1
)x(p)x(f
i1ik,i
bxa
)1n(
bxa
n,i −
≤≤
+
≤≤
∈−
+
≤−
∏
,)x(fmax
!)1n(
1
C
)1n(
bxa
n
+
≤≤
+
=
.xxx,)xx(maxC)x(p)x(f
i1ik,i
bxa
nn,i
≤≤−≤−
−
≤≤
∏
,xxx,N/)ab(C)x(p)x(f
i1i
1n1n
nn,i
≤≤−≤−
−
++
)2.9(.N/)ab(C)x(p)x(fmaxpf
1n1n
n
N
n
bxa
N
n
++
≤≤
−≤−=−
Замечание 9.1. Степень n интерполяционных многочленов pi, n считается
фиксированной и не зависящей от i , а роль параметра, за счёт которого
повышается точность приближения, играет число отрезков разбиения N. При n = 1
локальный интерполянт есть ломаная с вершинами в точках (xi,f(xi)) ( рис. 9.2 ),
при n = 2 графики многочленов pi, 2 на частичных отрезках разбиения –
параболы ( рис. 9.3 ) , и так далее.
Теорема 9.2. Для любой функции f класса Cn+1[a,b] последовательность
pnN локальных интерполянтов сходится при N → ∞ к приближаемой функции f
равномерно на отрезке [a,b], т.е. в метрике (7.4) пространства C[a,b].
Доказательство. Функция �f (n+1)� непрерывна, а потому её максимум на
отрезке [a,b] конечен. Пользуясь вытекающим из (4.1) соотношением
f ( n +1) ( ξ( x ) ) n
f ( x ) −p i , n ( x ) =
( n +1)!
∏ ( x −x
k =0
i,k ) , x , ξ( x ) ∈[x i −1, x i ] ,
получим неравенство
1
f ( x) −p i, n ( x) ≤ max f ( n +1) ( x)
( n +1) ! a ≤ x ≤ b
max
a ≤ x ≤b
∏ ( x −x i,k ) , x ∈[ x i −1 , x i ] ,
или, если обозначить через Cn независящую от N, i, x постоянную
1
Cn = max f ( n +1) ( x) ,
( n+1) ! ≤x ≤b
a
неравенство
f ( x) −p i , n ( x) ≤ Cn max
a ≤x ≤b
∏ ( x −x i,k ) , x i −1 ≤x ≤x i .
Поскольку точки x , xi , k принадлежат отрезку [xi – 1 ,xi ] длины h=(b-a)/N,
для любого k имеем: | x – x i , k | ≤h . Поэтому
f ( x) −p i, n ( x) ≤Cn (b −a) n +1 / Nn +1 , x i −1 ≤x ≤x i ,
а это ввиду независимости правой части от i и x даёт:
f −pnN = max f ( x ) −pnN ( x ) ≤ C n ( b −a ) n +1 / N n +1 . ( 9.2 )
a ≤x ≤b
Переходя здесь к пределу при N → ∞ , получим нужный результат
31
Страницы
- « первая
- ‹ предыдущая
- …
- 29
- 30
- 31
- 32
- 33
- …
- следующая ›
- последняя »
