Метод прогонки. 
Разработка программных средств для решения СЛАУ методом прогонки

Система уравнений для определения коэффициентов сплайна представляет собой частный случай систем линейных алгебраических уравнений с трех диагональной матрицей, т. е. с матрицей, все элементы которой, не лежащие на главной и двух побочных диагоналях, равны нулю при та.

В общем случае системы линейных алгебраических уравнений с трехдиагональной матрицей имеют вид.

Для численного решения систем трех диагональными матрицами применяется метод прогонки, который представляет собой вариант метода последовательного исключения неизвестных.

Т.е. матрицу, А можно записать.

Идея метода прогонки состоит в следующем. Решение системы (1) ищется в виде.

где — неизвестные коэффициенты, которые последовательно находятся от до (прямая прогонка), а затем последовательно вычисляются (обратная прогонка) .

Выведем формулы для вычисления Из (3) можно получить.

Подставляя имеющиеся выражения для в уравнение (1), приходим при к уравнению.

Последнее уравнение будет выполнено если коэффициенты выбрать такими, чтобы выражения в квадратных скобках обращались в нуль.

А именно, достаточно положить.

Для отыскания всех достаточно задать.

Эти начальные значения находим из требования эквивалентности условия (3) при т. е. условия, первому из уравнений (2).

Таким образом, получаем.

(5).

Нахождение коэффициентов по формулам (4), (5) называется прямой прогонкой. После того, как прогоночные коэффициенты найдены, решение системи (1), (2) находится по рекуррентной формуле (3), начиная с Для начала счета по этой формуле требуется знать, которое определяется из уравнений И равно.

.

Нахождение по формулам.

(6).

называется обратной прогонкой.

Алгоритм решения системы (1), (2) определяемый формулами (4)-(6) называется методом прогонки.

Метод прогонки можно применять, если знаменатели выражений (4), (6) не обращаются в нуль.

Покажем, что для возможности применения метод прогонки достаточно потребовать, чтобы коэффициенты системы (1), (2) удовлетворяли условиям.

Сначала докажем по индукции, что при условиях (7), (8) модули прогоночных коэффициентов не превосходят единицы. Согласно (5), (8) имеем. Предположим, что для некоторого j и докажем, что.

Прежде всего для любых двух комплексных чисел и докажем неравенство Из неравенства треугольника имеем Откуда.

Вернемся теперь к доказательству, если. Согласно имеем оценку.

а, используя (7), получаем т. е. знаменатели выражений (4) не обращаются в нуль.

Более того.

Следовательно,.

Далее, учитывая второе из условий (8) и только что доказанное неравенство, имеем.

т.е. не обращается в нуль и знаменатель в выражении для .

К аналогичному выводу можно прийти и в том случае, когда условия (7), (8) заменяются условиями.

Таким образом при выполнении условий (7), (8) (так же как и условий (9), (10)) система (1), (2) эквивалентна системе (4)-(6). Поэтому эти условия гарантируют существование и единственность решения системы (1), (2) и возможность нахождения этого решения методом прогонки.

Кроме того, доказанные неравенства, обеспечивают устойчивость счета по рекуррентным формулам (6). Последнее означает, что погрешность, внесенная на каком-либо шаге вычислений, не будет возрастать при переходе к следующим шагам.

Действительно, пусть в формуле (6) при вместо вычислена величина.

Тогда на следующем шаге вычислений, т. е. при вместо.

получим величину и погрешность окажется равной.

Отсюда получаем, что, т. е. погрешность не возрастает.

Подсчитаем число арифметических действий, выполняемых при решении задачи (1), (2) методом прогонки.

По формулам (4), что реализуемые с помощью шести арифметических действий, вычисления производятся раз, по формуле (6) выполняется 5 арифметических действий, наконец по формуле (3), требующей всего два действия, вычисления осуществляются раз. Итак в методе прогонки всего затрачивается арифметических действий, т. е. число действий растет линейно относительно числа неизвестных.

При решении же произвольной системы линейных алгебраических уравнений методом Гаусcа число действий пропорционально кубу числа неизвестных.