Литмир - Электронная Библиотека
Содержание  
A
A

Пример. Для матрицы

Математические модели в естественнонаучном образовании - _572.jpg
, получаем
Математические модели в естественнонаучном образовании - _701.jpg
, и поэтому
Математические модели в естественнонаучном образовании - _700.jpg
 превращается в
Математические модели в естественнонаучном образовании - _702.jpg
, что равносильно уравнению
Математические модели в естественнонаучном образовании - _703.jpg
, решая которое получим
Математические модели в естественнонаучном образовании - _704.jpg
. Это означает, что единственными возможными собственными значениями для
Математические модели в естественнонаучном образовании - _7.jpg
 являются числа 1 и 0.98.

Уравнение

Математические модели в естественнонаучном образовании - _700.jpg
 называется характеристическим уравнением матрицы
Математические модели в естественнонаучном образовании - _339.jpg
. Для
Математические модели в естественнонаучном образовании - _486.jpg
– матрицы характеристическое уравнение всегда будет квадратным, поэтому решить его не составляет особого труда.

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

Математические модели в естественнонаучном образовании - _372.jpg
-матрицы оно содержит многочлен
Математические модели в естественнонаучном образовании - _348.jpg
-й степени. Для больших
Математические модели в естественнонаучном образовании - _348.jpg
 на практике применяются приближенные численные методы. Тем не менее, можно видеть, что найдется не более чем
Математические модели в естественнонаучном образовании - _348.jpg
 собственных значений, поскольку характеристическое уравнение может иметь не более
Математические модели в естественнонаучном образовании - _348.jpg
 корней. Комплексные числа тоже могут входить в список собственных значений, поскольку корни многочлена могут комплексными. Следовательно, справедлива теорема:

Теорема. Если

Математические модели в естественнонаучном образовании - _21.jpg
 является собственным значением для
Математические модели в естественнонаучном образовании - _372.jpg
-матрицы
Математические модели в естественнонаучном образовании - _339.jpg
, то оно удовлетворяет полиномиальному уравнению
Математические модели в естественнонаучном образовании - _348.jpg
-й степени
Математические модели в естественнонаучном образовании - _700.jpg
. Таким образом, для
Математические модели в естественнонаучном образовании - _339.jpg
 существует не более
Математические модели в естественнонаучном образовании - _348.jpg
 собственных значений.

После того, как определили возможные собственные значения матрицы, нужно найти соответствующие собственные векторы. Рассмотрим решение на примере

Математические модели в естественнонаучном образовании - _572.jpg
 и
Математические модели в естественнонаучном образовании - _705.jpg
. Нужно найти вектор
Математические модели в естественнонаучном образовании - _580.jpg
 такой, что
Математические модели в естественнонаучном образовании - _706.jpg
, поэтому предстоит решить матричное уравнение
Математические модели в естественнонаучном образовании - _707.jpg
,
Математические модели в естественнонаучном образовании - _708.jpg
.

Поскольку невозможно решить эту задачу через обратную матрицу (почему?), записываем два уравнения, представляя уравнение в нематричной форме:

Математические модели в естественнонаучном образовании - _709.jpg

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

Математические модели в естественнонаучном образовании - _710.jpg
. Имея одно уравнение для двух неизвестных, можем взять одно из неизвестных в качестве свободной переменной, чтобы оно имело любое значение, которое нам нравится, и тогда определится второе. Например, если решать уравнение относительное
Математические модели в естественнонаучном образовании - _711.jpg
 выражаемого через
Математические модели в естественнонаучном образовании - _712.jpg
, получим
Математические модели в естественнонаучном образовании - _713.jpg
. Таким образом, любой вектор вида
Математические модели в естественнонаучном образовании - _714.jpg
 является собственным вектором с собственным значением 0.98.

Математические модели в естественнонаучном образовании - _715.jpg

Рисунок 2.4. Синим цветом обозначен собственный вектор. Он, в отличие от красного, при деформации (преобразовании) не изменил направление, поэтому является собственным вектором этого преобразования, соответствующим некоторому собственному значению.

Геометрически это выглядит так, что вектора коллинеарные вектору

Математические модели в естественнонаучном образовании - _586.jpg
 при преобразовании
Математические модели в естественнонаучном образовании - _7.jpg
 лишь сжимаются до 0.98 от своей первоначальной длины. Для большей наглядности, изобразим на рисунке 2.4 некоторое преобразование векторного пространства.

Поскольку есть свобода выбора

Математические модели в естественнонаучном образовании - _712.jpg
 по своему усмотрению, будем считать его равным 1. Таким образом, нашли собственный вектор
Математические модели в естественнонаучном образовании - _586.jpg
, который использовался на протяжении всей этой главы.

Собственный вектор, связанный с

Математические модели в естественнонаучном образовании - _716.jpg
, найдём аналогично:
Математические модели в естественнонаучном образовании - _717.jpg
, следовательно, нужно решить систему
Математические модели в естественнонаучном образовании - _718.jpg

Поскольку уравнения кратны друг другу, решим одно

Математические модели в естественнонаучном образовании - _719.jpg
, получим
Математические модели в естественнонаучном образовании - _720.jpg
, поэтому
Математические модели в естественнонаучном образовании - _721.jpg
. Выбирая
Математические модели в естественнонаучном образовании - _722.jpg
, чтобы компоненты вектора оказались целочисленными, находим
Математические модели в естественнонаучном образовании - _723.jpg
.

Хотя это был лишь один пример вычисления собственного вектора конкретной матрицы

Математические модели в естественнонаучном образовании - _7.jpg
, для любой
Математические модели в естественнонаучном образовании - _485.jpg
– матрицы процедура работает одинаково. Хотя не будем доказывать это здесь, подробности раскрываются в классической теореме Кронекера-Капелли, в данном случае всегда одно из уравнений окажется кратным другому, поэтому можно решить его, выражая
Математические модели в естественнонаучном образовании - _711.jpg
 через
Математические модели в естественнонаучном образовании - _712.jpg
 (или
Математические модели в естественнонаучном образовании - _712.jpg
 через
Математические модели в естественнонаучном образовании - _711.jpg
), чтобы найти все собственные векторы.

Как и в случае с собственными значениями, вычисление собственных векторов для матриц размерности 3 × 3 или более выполняется аналогичным образом как для 2 × 2 случаев, хотя возникают некоторые дополнительные трудности. Оставим обсуждение деталей для курса линейной алгебры и вместо этого научимся использовать MATLAB для таких вычислений.

Существуют различные компьютерные методы расчета. На самом деле, MATLAB и другие компьютерные пакеты на самом деле не вычисляют собственные векторы и собственные значения так, как описано выше. Поскольку вычисление собственных векторов и значений очень важно не только для учебных моделей, но и для множества открытых проблем в науке и технике, были давно разработаны и включены во многие стандартные пакеты программного обеспечения довольно продвинутые сложные методы.

35
{"b":"788195","o":1}