Можно показать, что общее число действий умножения и деления, необходимое для обращения матрицы указанным способом, порядка
МЕТОД ПРОГОНКИ.
Система уравнений для определения коэффициентов сплайна представляет собой частный случай систем линейных алгебраических уравнений
с трехдиагональной матрицей
В общем случае системы линейных алгебраических уравнений с трехдиагональной матрицей имеют вид
Для численного решения систем трехдиагональными матрицами применяется метод прогонки, который представляет собой вариант метода последовательного исключения неизвестных.
Т.е. матрицу А можно записать
(1) Идея метода прогонки состоит в следующем. Решение системы (1) ищется в виде
где
Выведем формулы для вычисления
Подставляя имеющиеся выражения для
А именно, достаточно положить
Эти начальные значения находим из требования эквивалентности условия (3) при
Таким образом, получаем
Нахождение коэффициентов
И равно
Нахождение
называется обратной прогонкой. Алгоритм решения системы (1), (2) определяемый формулами (4)-(6) называется методом прогонки.
Метод прогонки можно пременять, если знаменатели выражений (4), (6) не обрщаются в нуль.
Покажем, что для возможности применения метод прогонки достаточно потребовать, чтобы коэффициенты системы (1), (2) удовлетворяли условиям
Сначала докажем по индукции, что при условиях (7), (8) модули прогоночных коэффициентов
Прежде всего для любых двух комплексных чисел
Из неравенства треугольника имеем
Откуда
Вернемся теперь к доказательству
а, используя (7) , получаем
т.е. знаменатели выражений (4) не обращаются в нуль.
Более того
Следовательно,
Далее, учитывая второе из условий (8) и только что доказанное неравенство
т.е. не обращается в нуль и знаменатель в выражении для
К аналогичному выводу можно прийти и в том случае, когда условия (7), (8) заменяются условиями
Кроме того, доказанные неравенства
Действительно, пусть в формуле (6) при
Тогда на следующем шаге вычислений, т.е. при
вместо
Отсюда получаем, что
Подсчитаем число арифметических действий, выполняемых при решении задачи (1), (2) методом прогонки.
По формулам (4), что реализуемые с помощью шести арифметических действий, вычисления производятся