- •1. ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ПОГРЕШНОСТЕЙ; ВЫЧИСЛИТЕЛЬНЫЕ ЗАДАЧИ, МЕТОДЫ И АЛГОРИТМЫ
- •1.1. Источники и классификация погрешностей результата численного эксперимента
- •1.2. Погрешности чисел
- •1.3. Погрешности арифметических операций
- •1.4. Погрешности функций
- •1.5. Особенности машинной арифметики
- •1.6. Лабораторная работа № 1. Определение абсолютной и относительной погрешностей приближенных чисел. Оценка погрешностей результата
- •1.7. Корректность вычислительной задачи
- •1.8. Обусловленность вычислительной задачи
- •1.9. Вычислительные методы, их классификация
- •2. ПРИБЛИЖЕНИЕ ФУНКЦИЙ
- •2.1. Задача приближения функций
- •2.2. Интерполяция обобщенными многочленами
- •2.3. Полиномиальная интерполяция. Многочлен Лагранжа
- •2.4. Погрешность интерполяции
- •2.5. Конечные разности и их свойства
- •Доказательство
- •2.6. Разделенные разности и их свойства
- •2.9. Лабораторная работа № 2. Интерполирование и экстраполирование данных. Интерполяционный многочлен Лагранжа
- •2.10. Интерполяционный многочлен Ньютона с конечными разностями
- •2.11. Лабораторная работа № 3. Интерполирование и экстраполирование данных. Интерполяционный многочлен Ньютона
- •2.12. Интерполяционные формулы Гаусса, Стирлинга и Бесселя
- •3. МЕТОД НАИМЕНЬШИХ КВАДРАТОВ И СПЕЦИАЛЬНЫЕ ИНТЕРПОЛЯЦИОННЫЕ МНОГОЧЛЕНЫ
- •3.1. Постановка задачи и вывод формул метода наименьших квадратов
- •3.3. Глобальная полиномиальная интерполяция
- •3.4. Чувствительность интерполяционного многочлена к погрешностям входных данных
- •3.5. Многочлены Чебышева
- •3.6. Решение задачи минимизации оценки погрешности
- •3.8. Лабораторная работа №5. Экономизация степенных рядов
- •3.9. Локальная интерполяция
- •3.10. Сплайны, их свойства и построение
- •3.11. Погрешность приближения кубическими сплайнами
- •3.13. Тригонометрическая интерполяция. Дискретное преобразование Фурье и его реализация на ЭВМ
- •3.14. Матричная форма записи дискретного преобразования Фурье (ДПФ)
- •3.15. Алгоритм реализации ДПФ
- •3.16. Пример реализации алгоритма ДПФ при
- •3.17. Лабораторная работа № 7. Дискретное преобразование Фурье
- •4. ЧИСЛЕННОЕ ДИФФЕРЕНЦИРОВАНИЕ И ЧИСЛЕННОЕ ИНТЕГРИРОВАНИЕ
- •4.1. Простейшие формулы численного дифференцирования для первой производной
- •4.2. Формулы численного дифференцирования для второй производной
- •4.3. Формулы численного дифференцирования, основанные на интерполяции алгебраическими многочленами
- •4.4. Обусловленность формул численного дифференцирования
- •4.5. Простейшие квадратурные методы численного интегрирования
- •4.6. Оценка погрешностей простейших квадратурных формул
- •4.7. Квадратурные формулы интерполяционного типа
- •4.8. Квадратурные формулы Гаусса
- •4.9. Лабораторная работа № 8. Численное дифференцирование и численное интегрирование функций
- •5. РЕШЕНИЕ СИСТЕМ ЛИНЕЙНЫХ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ И ПРОБЛЕМЫ СОБСТВЕННЫХ ЗНАЧЕНИЙ
- •5.1. Нормы векторов и матриц и их свойства
- •5.2. Обусловленность задачи решения системы линейных алгебраических уравнений
- •5.3. Метод Гаусса (схема единственного деления)
- •5.4. Метод прогонки
- •5.5. Метод простых итераций
- •5.6. Сходимость метода простых итераций
- •5.10. Постановка задачи нахождения собственных чисел
- •5.11. Подобные матрицы
- •5.12. Локализация собственных значений
- •5.13. Степенной метод
- •5.14. Вычисление собственных векторов методом обратных итераций
- •6. ЧИСЛЕННЫЕ МЕТОДЫ РЕШЕНИЯ НЕЛИНЕЙНЫХ УРАВНЕНИЙ И СИСТЕМ
- •6.1. Решение нелинейных уравнений
- •6.2. Метод Ньютона для уравнений
- •6.3. Сходимость метода Ньютона и трудности его применения
- •6.4. Метод Ньютона решения систем нелинейных уравнений
- •6.6. Модификации метода Ньютона
- •6.7. Лабораторная работа № 11. Решение систем нелинейных уравнений методом Ньютона
- •7. ЧИСЛЕННЫЕ МЕТОДЫ РЕШЕНИЯ ЗАДАЧИ КОШИ ДЛЯ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ И СИСТЕМ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
- •7.1. Задача Коши для дифференциального уравнения первого порядка
- •7.2. Численные методы решения задачи Коши. Основные понятия и определения
- •7.3. Решение с помощью рядов Тейлора
- •7.5. Анализ ошибок, возникающих при использовании методов Рунге - Кутты
- •7.6. Методы прогноза и коррекции
- •7.7. Сравнение методов
- •7.8. Лабораторная работа № 12. Методы интегрирования обыкновенных дифференциальных уравнений
- •7.9. Решение задачи Коши для систем обыкновенных дифференциальных уравнений
- •7.11. Лабораторная работа № 13. Численное интегрирование систем дифференциальных уравнений первого порядка
- •8. ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ (УРАВНЕНИЯ МАТЕМАТИЧЕСКОЙ ФИЗИКИ)
- •8.1. Классификация уравнений математической физики
- •8.2. Простейшие задачи, приводящие к дифференциальным уравнениям в частных производных
- •8.4. Уравнения параболического типа. Явные и неявные схемы
- •Доказательство
- •8.5. Уравнения гиперболического типа
- •8.6. Уравнения эллиптического типа
- •8.7. Свойства разностных схем для дифференциальных уравнений: способность аппроксимировать исходную дифференциальную задачу, устойчивость и сходимость
- •8.8. Некоторые обобщения
- •8.9. Лабораторная работа № 14. Решение задачи Дирихле для уравнения Лапласа методом сеток
- •8.10. Лабораторная работа № 15. Решение однородного уравнения колебаний струны методом сеток по неявной схеме.
5. РЕШЕНИЕ СИСТЕМ ЛИНЕЙНЫХ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ И ПРОБЛЕМЫ СОБСТВЕННЫХ ЗНАЧЕНИЙ
5.1.Нормы векторов и матриц и их свойства
Ввычислительной линейной алгебре выделяют четыре основные задачи: 1) решение систем линейных алгебраических уравнений; 2) вычисление определителей; 3) нахождение обратных матриц;
4) определение собственных значений и собственных векторов.
Рассмотрим подробнее первую задачу. Пусть дана система линейных уравнений
|
|
|
a |
x |
+ a |
|
x |
2 |
+... + a |
|
|
x |
n |
= b , |
|
|
||||||||
|
|
|
|
11 1 |
|
12 |
|
|
|
|
|
|
1n |
|
1 |
|
|
|||||||
|
|
|
a21 x1 + a22 x2 |
+... + a2n xn |
= b2 , |
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
............................................ |
|
|
|||||||||||||||||||
|
|
|
a |
n1 |
x |
+ a |
n2 |
x |
2 |
+... + a |
nn |
x |
n |
= b . |
|
|
||||||||
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
n |
|
|
||||||||
|
В матричной форме записи эта система принимает вид |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
Ax = |
|
, |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
||||||
|
a |
a |
|
... |
a |
|
|
|
|
|
x |
|
|
|
|
|
b |
|
||||||
|
|
11 |
|
12 |
|
|
|
1n |
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|||
где |
a21 |
a22 ... |
a2n |
|
|
|
x2 |
|
|
|
|
b2 |
|
|||||||||||
|
|
|
|
|
|
|||||||||||||||||||
A = |
|
|
|
|
|
... |
, |
|
x = |
|
|
, b = |
|
. |
||||||||||
|
... ... ... |
|
|
|
|
... |
|
|
|
|
... |
|
||||||||||||
|
a |
n1 |
a |
n2 |
|
... |
a |
nn |
|
|
|
|
x |
n |
|
|
|
|
b |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
(5.1.1)
(5.1.2)
Если матрица A не является вырожденной, то решение системы существует, единст-
венно и устойчиво ко входным данным. |
|
Пусть x = (x , x ,..., x )T - приближенное решение системы (5.1.1). Тогда |
|
1 2 |
n |
e = xточн. − x - погрешность решения. Кроме нее качество полученного решения часто можно оценить по невязке r = b − Ax , (5.1.3) которая показывает, насколько правая часть системы отличается от левой, если подставить в
|
|
|
|
|
= A(x |
точн. − |
|
). Тогда |
|
|
|
|
|
||||
нее приближенное решение |
|
|
|
|
|
|
x |
|
|
|
|
|
|||||
r |
= Ax |
точн. − Ax |
|
|
|
|
|
||||||||||
|
|
|
|
r |
= Ae, e = A−1 |
r |
. |
|
(5.1.4) |
||||||||
Для того чтобы анализировать методы решения систем, необходимо уметь количест- |
|||||||||||||||||
венно оценивать «величины» векторов x и xточн. − x , а также векторов |
|
и |
|
− |
|
. Для |
|||||||||||
b |
b |
b |
этой цели используют понятие нормы вектора.
Говорят, |
что в |
|
|
Rn задана норма, если x R n сопоставлено число |
|
|
|
x |
|
|
|
R , |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
называемое нормой вектора x и обладающее следующими свойствами: |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
1) |
|
|
|
|
|
x |
|
|
|
> 0, |
если |
|
|
|
x |
|
|
|
|
= 0 x = 0, |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
2) |
|
|
|
|
|
αx |
|
|
|
= |
|
|
|
|
α |
|
|
|
|
|
|
x |
|
|
|
, x Rn и α R, |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
3) |
|
|
|
|
|
x + y |
|
|
|
|
≤ |
|
|
|
x |
|
|
|
+ |
|
|
|
y |
|
|
|
|
- неравенство треугольника. |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Существует множество различных способов введения норм. В вычислительных методах наиболее употребительными являются три нормы:
|
|
|
|
n |
|
|
||
|
x |
|
1 |
= ∑ |
xi |
, |
(5.1.5) |
|
|
|
|
i=1 |
|
|
|||
|
|
|
|
|
|
|||
|
|
|
|
n |
2 , |
|
||
x |
|
= ∑ xi |
(5.1.6) |
|||||
2 |
|
|
i=1 |
|
|
|||
|
|
|
|
|
|
|||
|
|
|
|
125 |
|
|
x |
|
|
|
∞ |
= max |
|
xi |
|
. |
(5.1.7) |
|
|
|
|
|||||||
|
|
|
|
|
1≤i≤n |
|
|
|
|
|
|
|
|
|
|
|
|
|
При этом x ∞ ≤ x 2 ≤ x1 ≤ n x ∞. Норма (5.1.6) является естественным обобщением на
случай n - мерного пространства понятия длины вектора в двух и трехмерных геометрических пространствах. Поэтому ее называют евклидовой нормой.
Абсолютной и относительной погрешностью вектора x называются выражения
(x )= |
|
|
|
x − x |
|
|
|
, δ(x )= |
|
x − x |
|
. |
(5.1.8) |
||
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
x |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Выбор той или иной конкретной нормы в практических задачах диктуется тем, какие требования предъявляются к точности решения. Выбор нормы (5.1.5) отвечает случаю, когда малой должна быть суммарная абсолютная ошибка в компонентах решения; выбор (5.1.6) соответствует критерию малости среднеквадратической ошибки, а выбор (5.1.7) означает, что малой должна быть максимальная из абсолютных ошибок в компонентах решения.
Величина |
|
|
|
A |
|
|
|
= max |
|
|
Ax |
|
называется нормой матрицы A , подчиненной норме |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
x |
|
|
||||
|
|
|
|
|
|
|
|
x≠0 |
|
|
|
|
|
|
|
|
|
|
|
|
вектора x , введенной в Rn . Норма матрицы обладает следующими свойствами:
1) A ≥ 0, A = 0 A = 0,
2)α A = α A,
3) A + B ≤ A + B,
4) A B ≤ AB,
5) Ax ≤ Ax.
Как следует из определения, каждой из векторных норм x соответствует своя под-
чиненная норма матрицы A. Нормам |
x |
|
1 , |
|
|
x |
|
|
2 , |
|
|
|
x |
|
∞ подчинены нормы |
|
|
|
A |
|
|
|
1, |
|
|
|
A |
|
|
|
2 и |
|
|
|
A |
|
|
|
∞ , |
|||||||||||||||||||||||||
вычисляемые по формулам |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
A |
1 |
= max |
∑ |
|
aij |
, |
|
|
(5.1.9) |
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1≤ j≤n |
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
A |
|
|
|
2 |
|
= max |
λ j (AT A), |
|
|
(5.1.10) |
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1≤ j≤n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
где λ j (AT A) - собственные числа матрицы AT A, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
A |
|
|
|
∞ |
= max ∑ |
|
aij |
|
. |
|
|
(5.1.11) |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1≤i≤n |
j=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
Так как вычисление нормы (5.1.10) затруднено, то для приближенной оценки величины |
|
|
|
|
|
|
2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
можно использовать неравенство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
A 2 |
|
|
|
|
|
|
|
A E |
|
|
|
|
|
|
n |
2 , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
≤ |
= |
|
|
∑ aij |
(5.1.12) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i, j=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где A E - евклидова норма матрицы A.
Норма матрицы имеет простую геометрическую интерпретацию. Операцию умножения матрицы A на вектор x можно рассматривать как преобразование x в новый вектор
126
Ax |
|
y = Ax . Так как x - длина x , то x есть коэффициент растяжения вектора |
x под дейст- |
вием матрицы A .
5.2. Обусловленность задачи решения системы линейных алгебраических уравнений
|
|
Рассмотрим систему |
Ax = |
|
. Пусть A задана совершенно точно, а вектор-столбец |
||||||
b |
|||||||||||
|
b |
- приближенно. |
|
|
|
|
|
|
|
|
|
~ |
- точное решение системы |
|
|
|
|
, в которой правая часть |
|||||
Ax = b |
|||||||||||
|
|
Теорема 5.1. Пусть x |
|
b является приближением к b . Тогда верны следующие оценки абсолютной и относи-
тельной погрешностей: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x )≤ ϑ |
|
(b |
|
), |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.2.1) |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
δ(b |
|
), |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
δ(x )≤ ϑδ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
где ϑ = |
|
|
|
A−1 |
|
|
|
, ϑδ |
= |
|
|
|
A−1 |
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
x |
− x |
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
Действительно, |
|
|
|
|
(x ) = |
x |
− x |
|
|
|
, δ(x ) |
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
, r = A(x − x ) = b − b |
|
. |
|
|
|
Тогда |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
−1 |
|
(b |
|
|
|
|
b |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
~ |
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
~ |
|
(x ) |
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
(x )≤ |
|
|
|
A |
|
|
|
|
|
|
|
r |
|
, |
(x )≤ |
|
A |
|
|
|
|
|
b − b |
|
|
= |
|
A |
|
|
|
|
|
|
|
(b |
|
), δ(x ) = |
|
x |
|
≤ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(b |
)= ϑδδ(b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A−1 |
|
|
|
|
|
). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
Величина ϑ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
для системы |
|
Ax = |
|
|
|
играет роль абсолютного числа обусловленности; вели- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
b |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
A−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
чина ϑδ = |
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
называется естественным числом обусловленности и характеризует ко- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
эффициент возможного возрастания относительной погрешности решения, вызванной погрешностью правой части.
Вычислим максимальное значение ϑδ. |
Тогда max ϑδ |
(x) = max |
|
A−1 |
|
|
|
|
|
Ax |
|
|
|
|
= |
|
A−1 |
|
|
|
|
|
A |
|
|
|
. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x≠0 |
|
|
|
|
|
|
|
|
|
x≠0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
Полученная величина называется стандартным числом обусловленности и обозначается |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
ϑ(A) = cond(A) = |
|
A−1 |
|
|
|
|
|
|
A |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.2.2) |
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Поскольку cond(A) = max ϑδ , то |
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
δ(x )≤ cond(A) δ(b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- точное решение системы A |
x = b с приближенно заданной |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Теорема 5.2. Пусть x |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
матрицей A . Тогда верна следующая оценка относительной точности: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
δ |
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
), где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
(x )≤ cond(A) δ(A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
~ |
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
A |
− |
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.2.3) |
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
x − x |
|
|
|
|
, δ(A |
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
δ |
|
(x ) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
В случае, когда с погрешностью заданы как правая часть системы, |
так и матрица A , |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
можно доказать справедливость неравенства |
|
|
|
)+ δ(A |
|
|
|
)). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.2.4) |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
δ(x )≤ cond(A) (δ(b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
127 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В заключение заметим, что для вычисления cond(A) необходимо иметь A−1 . Операция вы-
числения обратной матрицы очень трудоемка, требует примерно 2n3 операций, поэтому на практике избегают такого способа вычисления cond(A).
5.3. Метод Гаусса (схема единственного деления)
Вычисления с помощью метода Гаусса состоят из двух основных этапов, называемых прямым и обратным ходом. Прямой ход заключается в последовательном исключении неиз-
вестных из системы Ax = b для преобразования ее к эквивалентной системе с верхней треугольной матрицей. Вычисления значений неизвестных происходят на этапе обратного хода. Прямой ход состоит из n −1 шагов.
1-й шаг. Целью этого шага является исключение неизвестного x1 из уравнений с номерами i = 2,3,..., n. Пусть a11 ≠ 0. Тогда этот элемент называется главным (ведущим) эле-
ментом первого шага. Найдем μi1 = ai1 , i = 2,3,..., n. Вычтем последовательно из второго,
a11
третьего,..., n -го уравнения системы (5.1.1) первое уравнение, умноженное соответственно на μ21 , μ31 ,..., μn1. Это позволит обратить в нуль коэффициенты при x1 во всех уравнениях, кроме первого. В результате будет получена эквивалентная система (5.3.1), в которой
aij(1) = aij − μi1a1 j , bi(1) = bi
− μi1b1 :
a11 x1 + a12 x2 + a12 x3 + ... + a1n xn = b1 , |
|
|||||||
a(1)x |
2 |
+ a(1)x |
3 |
+ ... |
+ a(1)x |
n |
= b(1), |
|
22 |
23 |
|
2n |
2 |
|
|||
a(1)x |
2 |
+ a(1)x |
3 |
+ ... |
+ a(1)x |
n |
= b(1), |
(5.3.1) |
32 |
33 |
|
3n |
3 |
|
................................................
an(12)x2 + an(13)x3 + ... + ann(1)xn = bn(1).
|
|
2-й шаг. Целью этого шага является исключение неизвестного x2 из уравнений с но- |
||||||||||||||
мерами |
(1) |
i = 3,4,..., n. |
Пусть a22(1) ≠ 0 |
|
- ведущий элемент второго шага; |
положим опять |
||||||||||
|
|
a |
и вычтем из третьего, четвертого,..., n -го уравнений второе уравнение, умножен- |
|||||||||||||
μi 2 |
= |
|
i 2 |
|||||||||||||
a22(1) |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ное на μ32 , μ42 ,..., μn2 |
соответственно. Получим |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
a11 x1 + a12 x2 |
+ a13 x3 + ... + a1n xn |
|
= b1 , |
|
|
|||||
|
|
|
|
|
|
a(1)x |
2 |
+ a(1)x |
3 |
+ ... + a(1)x |
n |
= b(1), |
|
|||
|
|
|
|
|
|
22 |
23 |
2n |
|
2 |
|
|
||||
|
|
|
|
|
|
|
|
a33(2 )x3 + ... + a3(2n)xn = b4(2), |
(5.3.2) |
|||||||
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
.................................... |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
(2 ) |
|
(2) |
|
|
(2) |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
, |
|
||||
|
|
|
|
|
|
|
|
an3 x3 |
+ ... + ann |
xn = bn |
|
где a(2) |
= a(1) − μ |
i 2 |
a(1), |
b(2 ) |
= b(1) − μ |
i 2 |
b(1). В результате после n −1 -го шага исключения по- |
||||||||
ij |
ij |
2 j |
i |
i |
|
|
2 |
|
|
|
|
|
|
||
лучим следующую треугольную систему уравнений: |
|
|
|
|
|||||||||||
|
|
|
|
|
a11 x1 + a12 x2 |
+ a13 x3 + ... + a1n xn |
|
= b1 , |
|
||||||
|
|
|
|
|
|
a(1)x |
2 |
+ a(1)x |
3 |
+ ... + a(1)x |
n |
= b(1), |
|
||
|
|
|
|
|
|
22 |
|
23 |
2n |
|
2 |
|
|||
|
|
|
|
|
|
|
|
|
a33(2 )x3 + ... + a3(2n)xn = b4(2 ), |
(5.3.3) |
|||||
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
.................................... |
|
|||||
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
(n−1) |
|
|
(n−1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
||
|
|
|
|
|
|
|
|
|
|
|
ann |
xn = bn |
На этом вычисления прямого хода заканчиваются.
128
Обратный ход посвящен нахождению неизвестных x1 , x2 ,..., xn . Из последнего урав-
b(n−1)
нения системы (5.3.3) находим сразу xn = n(n−1) . Подставляя найденное значение xn в пред-
ann
последнее уравнение, получим xn−1. Осуществляя обратную подстановку, далее последова-
тельно находим xn−2 , xn−3 ,..., x1.
Общее число арифметических операций прямого хода в методе Гаусса примерно
23 n3 , обратного - всего около n2 , что при большом n пренебрежимо мало по сравнению с
числом операций прямого хода.
Заметим, что вычисление множителей, а также обратная подстановка требуют деления на главные элементы aii(i−1). Поэтому если один из главных элементов оказывается близ-
ким к нулю, то схема единственного деления в уже описанном виде не может быть реализована. В этом случае прибегают к выбору главного элемента по столбцу (схема частичного выбора) или в выбору главного элемента по всей матрице (схема полного выбора).
В схеме частичного выбора главного элемента на каждом k -м шаге исключения вы-
бирается максимальный по модулю коэффициент ai ,k при неизвестной |
xk в уравнениях с |
||||
k |
|
||||
номерами i = k, k +1,..., n. Этим гарантируется, что |
|
μik |
|
≤ 1 для |
всех переменных |
|
|
k=1,2,..., n −1 и уравнений i = k +1,..., n.
Всхеме главного выбора допускается нарушение естественного порядка исключения неизвестных. Здесь на первом шаге среди всех элементов aij определяется максимальный по
модулю элемент ai |
j . |
Первое уравнение системы и уравнение с номером |
i1 меняются мес- |
||||||||||||||||||||||||||||
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
тами. Затем производится исключение неизвестного |
x j |
|
из всех уравнений, кроме первого. |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
На всех других шагах последовательность действий аналогичная. |
|
|
|||||||||||||||||||||||||||||
|
|
|
В качестве примера рассмотрим следующую систему: |
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1.2x1 +1.8x2 |
|
− 2.2x3 − 4.1x4 |
= 1.3, |
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
10.0x1 − 5.1x2 |
+1.2x3 + 5.5x4 = 1.2, |
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2.2x |
− 30.1x |
2 |
|
+ 3.1x |
3 |
|
+ 5.8x |
4 |
= 10.0, |
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
10.0x |
− 2.4x |
2 |
|
− 30.5x |
3 |
− |
2.2x |
4 |
= 34.1. |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Решим ее |
по схеме |
полного выбора |
|
с |
ε = 10−3. |
Максимальный по |
модулю элемент |
||||||||||||||||||||||||
a34 = −30.5 |
содержится в четвертом уравнении, |
|
|
поэтому переставим его на первое место. |
|||||||||||||||||||||||||||
Исключаем |
неизвестное |
|
x3 |
из |
второго, |
третьего и |
|
|
четвертого уравнений, при этом |
||||||||||||||||||||||
μ |
23 |
= |
− 2.2 |
= 0.0721, |
μ |
33 |
|
= −0.0393 , μ |
43 |
|
= −0.1016 : |
|
|
|
|
|
|
|
|
||||||||||||
− 30.5 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
10.0000x1 − 2.4000x2 |
− 30.5000x3 − 2.2000x4 |
|
|
= 34.1000, |
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− 3.9414 x4 |
|
|
= −1.1586, |
|
||||
|
|
|
|
0.4790x1 +1.9730x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
10.3930x |
− 5.1943x |
2 |
|
|
|
|
|
|
|
|
|
+ 5.4135x |
4 |
= 2.5401, |
|
|||||||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
3.2160x |
|
− 30.3438x |
2 |
|
|
|
|
|
|
|
|
|
+ 5.5765x |
4 |
|
= 13.4646. |
|
||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Среди коэффициентов при неизвестных во втором, третьем и четвертом уравнениях максимальным по модулю является коэффициент a24(1) = −30.3438. Переставим четвертое уравнение на место второго и исключим x2 :
129