Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
шапорев выч мат.pdf
Скачиваний:
766
Добавлен:
26.03.2015
Размер:
8.33 Mб
Скачать

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 = A1

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)

 

 

 

 

 

 

 

 

 

1in

 

 

 

 

 

 

 

 

 

 

 

 

 

При этом xx 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

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

вектора x , введенной в Rn . Норма матрицы обладает следующими свойствами:

1) A0, 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)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1jn

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

2

 

= max

λ j (AT A),

 

 

(5.1.10)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1jn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где λ j (AT A) - собственные числа матрицы AT A,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

= max

 

aij

 

.

 

 

(5.1.11)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1in

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 )≤ ϑδ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где ϑ =

 

 

 

A1

 

 

 

, ϑδ

=

 

 

 

A1

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A1

 

 

 

 

 

).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Величина ϑ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для системы

 

Ax =

 

 

 

играет роль абсолютного числа обусловленности; вели-

 

 

 

 

b

 

 

 

 

 

 

 

 

A1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

чина ϑδ =

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

называется естественным числом обусловленности и характеризует ко-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

эффициент возможного возрастания относительной погрешности решения, вызванной погрешностью правой части.

Вычислим максимальное значение ϑδ.

Тогда max ϑδ

(x) = max

 

A1

 

 

 

 

 

Ax

 

 

 

 

=

 

A1

 

 

 

 

 

A

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Полученная величина называется стандартным числом обусловленности и обозначается

 

 

 

ϑ(A) = cond(A) =

 

A1

 

 

 

 

 

 

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) необходимо иметь A1 . Операция вы-

числения обратной матрицы очень трудоемка, требует примерно 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)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

....................................

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n1)

 

 

(n1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

ann

xn = bn

На этом вычисления прямого хода заканчиваются.

128

Обратный ход посвящен нахождению неизвестных x1 , x2 ,..., xn . Из последнего урав-

b(n1)

нения системы (5.3.3) находим сразу xn = n(n1) . Подставляя найденное значение xn в пред-

ann

последнее уравнение, получим xn1. Осуществляя обратную подстановку, далее последова-

тельно находим xn2 , xn3 ,..., x1.

Общее число арифметических операций прямого хода в методе Гаусса примерно

23 n3 , обратного - всего около n2 , что при большом n пренебрежимо мало по сравнению с

числом операций прямого хода.

Заметим, что вычисление множителей, а также обратная подстановка требуют деления на главные элементы aii(i1). Поэтому если один из главных элементов оказывается близ-

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

В схеме частичного выбора главного элемента на каждом 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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решим ее

по схеме

полного выбора

 

с

ε = 103.

Максимальный по

модулю элемент

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

Соседние файлы в предмете Вычислительная математика