ВУЗ:
Составители:
29
и утверждение вытекает из принципа математической индукции.
Лемма 7.7. Пусть выполнены условия (7.23) и (7.25). Тогда
Доказательство . По леммам 7.5,7.6
Но тогда и промежуточная между L
i
,L
i
величина L
i
∗∗
удовлетворяет
неравенству
Следовательно
а потому для величины (7.22) справедлива оценка (7.27).
Следствие7.8. Если погрешности округлений ω
i
подчинены условию
(7.25), то при любом из краевых условий (7.20) погрешности ε
i
прогоночных
коэффициентов L
i
будут удовлетворять неравенству
В самом деле, коэффициент L
1
в случае условий (7.20) принимает
соответственно значения 0, 1, - 1/2, а потому удовлетворяет условию (7.23).
Остальное следует из леммы 7.7 и теоремы 7.1.
Замечание 7.9. Итак , процесс вычисления прогоночных коэффициентов L
i
в случае интерполяционного кубического сплайна с краевыми условиями
является численно устойчивым в смысле определения 7.3 с константой K,
близкой к единице ( K = 121/112 ≅ 1,08 ) и константой ρ = 10
–2
, весьма большой
для используемых в настоящее время вычислительных систем ( например, для
среды программирования Turbo Pascal 7.0 относительная ошибка округления при
выполнении арифметической операции не превосходит 10
–11
).
)27.7(.N,...,3,2iлюбогодля
121
9
k
i
=≤
,
3
11
3
2
3
3
1
4L4
i
==−>+
.
3
11
3
2
3
3
1
4L4
i
==−>+
.N,...,3,2i,
3
11
L4
i
=>+
∗∗
,
11
3
L4
1
0
i
<
+
<
∗∗
.max
112
121
max
i
Ni1
i
Ni1
ω≤ε
≤≤≤≤
и утверждение вытекает из принципа математической индукции. Лемма 7.7. Пусть выполнены условия (7.23) и (7.25). Тогда 9 ki ≤ для любого i =2 , 3 , ... , N . (7.27) 121 Доказательство. По леммам 7.5,7.6 1 2 11 4 +L i > 4 − =3 = , 3 3 3 1 2 11 4 +L i > 4 − =3 = . 3 3 3 Но тогда и промежуточная между Li ,�L i величина Li∗∗ удовлетворяет неравенству 11 4 +L ∗ i ∗ > , i = 2 , 3 , ... , N . 3 Следовательно 1 3 0 < < , 4 +L ∗ i ∗ 11 а потому для величины (7.22) справедлива оценка (7.27). Следствие7.8. Если погрешности округлений ωi подчинены условию (7.25), то при любом из краевых условий (7.20) погрешности εi прогоночных коэффициентов �L i будут удовлетворять неравенству 121 max εi ≤ max ωi . 1 ≤i ≤N 112 1 ≤i ≤N В самом деле, коэффициент L1 в случае условий (7.20) принимает соответственно значения 0, 1, - 1/2, а потому удовлетворяет условию (7.23). Остальное следует из леммы 7.7 и теоремы 7.1. Замечание 7.9. Итак, процесс вычисления прогоночных коэффициентов Li в случае интерполяционного кубического сплайна с краевыми условиями является численно устойчивым в смысле определения 7.3 с константой K, близкой к единице ( K = 121/112 ≅1,08 ) и константой ρ = 10 –2 , весьма большой для используемых в настоящее время вычислительных систем ( например, для среды программирования Turbo Pascal 7.0 относительная ошибка округления при выполнении арифметической операции не превосходит 10 –11 ). 29
Страницы
- « первая
- ‹ предыдущая
- …
- 27
- 28
- 29
- 30
- 31
- …
- следующая ›
- последняя »