ВУЗ:
Составители:
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
- …
- следующая ›
- последняя »
