ВУЗ:
Составители:
25
Доказательство . Обозначим правую часть равенства (7.8) через λ
n
:
Для любой точки x
∗
∈[a,b] имеем
откуда ввиду произвольности точки x
∗
получаем
Следовательно,
а потому
|| L
n
|| ≤ λ
n
. (7.10)
Установим противоположное неравенство .
Заметим , что фигурирующая в (7.8) функция
непрерывна, а потому максимум в (7.8) достигается в некоторой точке x
∗∗
∈ [a,b] :
Зададим функцию f в узлах интерполяции формулой
и достроим её до непрерывной на [a,b] функции, доопределив на отрезках
[a,x
0
], [x
n
,b] соответственно константами f (x
0
), f(x
n
) , а на отрезках [x
k
,x
k+1
] -
линейно :
)9.7(.)x(lmax
n
0k
k
bxa
n
∑
=
≤≤
=λ
,f)x(lmaxf)x(lf
)x(l)x(fmax)x(l)x(f)x(l)x(f)f;x(p
nk
bxa
n
0k
k
n
0k
n
0k
k
bxa
kk
n
0k
kkn
λ=≤=
=≤≤=
∑∑
∑∑∑
≤≤
=
∗
==
∗
≤≤
∗
=
∗∗
.f)f;x(pmax)f(p)f(L
nn
bxa
nn
λ≤==
≤≤
,f/)f(L
nn
λ≤
∑
=
=λ
n
0k
k
)x(l)x(
)11.7(.)x(l
kn
∑
∗∗
=λ
<−
=
>+
==
∗∗
∗∗
∗∗
∗∗
,0)x(l,1
)21.7(,0)x(l,0
,0)x(l,1
)x(lsign)x(f
k
k
k
kk
Доказательство. Обозначим правую часть равенства (7.8) через λn : n λ n = max a ≤x ≤b ∑k =0 l k ( x) . ( 7.9) Для любой точки x∗∈[a,b] имеем n n n ∗ p n ( x ;f ) = ∑ f (x k =0 k ) l k ( x ) ≤ ∑ f ( x k ) l k ( x ) ≤ max f ( x ) ∗ k =0 ∗ a ≤x ≤b ∑ k =0 l k ( x∗) = n = f ∑ k =0 l k ( x∗) ≤ f max a ≤x ≤b ∑ l k ( x) = f λn , откуда ввиду произвольности точки x∗ получаем L n ( f ) = pn ( f ) = max p n ( x ; f ) ≤ λ n f . a ≤x ≤b Следовательно, L n ( f ) / f ≤ λn , а потому || Ln || ≤ λn . (7.10) Установим противоположное неравенство . Заметим, что фигурирующая в (7.8) функция n λ( x ) = ∑ l k ( x ) k =0 непрерывна, а потому максимум в (7.8) достигается в некоторой точке x∗∗ ∈ [a,b] : λ n = ∑ l k ( x∗∗) . ( 7.11) Зададим функцию f в узлах интерполяции формулой � +1 , l k ( x∗∗) > 0 , �� f ( x k ) = sign l k ( x∗∗) = � 0 , l k ( x∗∗) = 0 , ( 7.12) � ∗∗ �� −1 , l k ( x ) < 0 , и достроим её до непрерывной на [a,b] функции, доопределив на отрезках [a,x0], [xn,b] соответственно константами f (x0), f(xn) , а на отрезках [xk,xk+1] - линейно: 25
Страницы
- « первая
- ‹ предыдущая
- …
- 23
- 24
- 25
- 26
- 27
- …
- следующая ›
- последняя »