Собственные вектора и собственные значения линейного оператора

РЕФЕРАТ

"Собственные вектора и собственные значения линейного оператора"

Понятие собственные векторы и собственные значения

Перед тем как определить понятие собственные вектора, покажем его на наглядном примере. На рисунке 1, красным цветом обозначен собственный вектор. Он, в отличие от синего, при деформации не изменил направление и длину, поэтому является собственным вектором, соответствующим собственному значению λ = 1. Любой вектор, параллельный красному вектору, также будет собственным, соответствующим тому же собственному значению. Множество всех таких векторов (вместе с нулевым) образует собственное подпространство.

Рис. 1

Определение. Ненулевой вектор x называется собственным вектором линейного оператора , если найдется такое число λ, называемое собственным значением линейного оператора, что

(x) = λ·x (1)

Равенство (1) означает, что вектор x, подвергнутый действию линейного оператора, умножается на число λ. Появляется коллинеарный вектор. Среди векторов линейного векторного пространства могут существовать такие, воздействие оператора на которые переводит эти векторы в коллинеарные самим себе. Если на таких векторах построить базис, преобразования линейной алгебры значительно упростятся.

Не всякий линейный оператор обладает собственными векторами. Например, в геометрической плоскости R² оператор поворота на угол, не кратный π, не имеет ни одного собственного вектора, поскольку ни один ненулевой вектор после поворота не останется коллинеарным самому себе.

Решим задачу нахождения собственных векторов оператора. Запишем равенство (1) в матричной форме:

P·X = λ·X

Преобразуем матричное уравнение:

P·X – λ·X = 0 или (P – λ·E) X =0

Матричное уравнение всегда имеет нулевое решение:

X=0=

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

|P – λ·E|=0 (2)

Расписав уравнение (2) относительно λ подробнее, получим

|P – λ·E|=

Раскрыв определитель, получим уравнение n-й степени относительно λ:

Которое называется характеристическим уравнением оператора . Корни уравнения называются характеристическими или собственными числами оператора. Множество всех собственных чисел оператора называется спектром этого оператора. Многочлен левой части уравнения называется характеристическим многочленом.

Решив характеристическое уравнение, получаем собственные числа λ_>1>, λ_>2>, …, λ_>n>. Для каждого найденного собственного значения λ_>i> найдем ненулевые векторы ядра оператора P – λ_>i >E. Именно они будут собственными векторами, соответствующими собственному значению λ_>i>. Другими словами, необходимо решить однородную систему уравнений (P – λ_>i> E) X=0. Ее общее решение дает всю совокупность собственных векторов, отвечающих λ_>i>.

Общее решение однородной системы, как известно, структурировано. Оно представляет собой линейную комбинацию фундаментального набора линейно независимых решений (векторов). Число линейно независимых векторов в фундаментальном наборе называется геометрической кратностью собственного значения λ_>i>. Вводиться также алгебраическая кратность – кратность λ_>i>_> >как корня характеристического многочлена.

Независимость собственных векторов

Существование линейно независимых векторов среди собственных, отвечающих различным собственным числам λ_>1>, λ_>2>, …, λ_>n>, определяется следующей теоремой.

Собственные векторы x_>1>, x_>2>, …, x_>n> оператора, отвечающие различным собственным значениям λ_>1>, λ_>2>, …, λ_>n>, линейно независимы.

На n линейно независимых собственных векторах можно построить базис n-мерного линейного векторного пространства.

Замечание. Определитель матрицы P – λE (соответственно характеристический многочлен) не зависит от выбора базиса.

|P’ – λE|=|T^-1PT – λE|=|T^-1PT- λ T^-1ET|=|T^-1P- λ ET|=|T^-1||P- λ ET||T|=|P- λ ET|

Следовательно, при переходе к новому базису собственные числа сохраняются.

Пример. Найти собственные значения и собственные векторы линейного оператора , заданного матрицей P= в пространстве R².

Решение. Составим характеристическое уравнение:

|P – λ·E|== λ²-5 λ+4=0

Из квадратного уравнения найдем собственные значения линейного оператора λ_>1>=1, λ_>2>=4. Чтобы найти собственные векторы, решим матричные уравнения:

(P – λ_>1> E) X=0 и (P – λ_>2> E) X=0

В развернутом виде

и

Соответствующие однородные системы:

Общие решения систем:

и , где с_>1>, с_>2> є R

Таким образом, множество собственных векторов, отвечающих собственным значениям λ_>1>=1, λ_>2>=4, имеет вид ; , где с_>1>, с_>2> є R. Векторы a_>1>=(1, 1), a_>2>=(-2, 1), например, являются линейно независимыми. Они могут быть приняты в качестве нового базиса в пространстве R².

Пусть e_>1>, e_>2>, …, e_>n> – собственные векторы линейного оператора в пространстве Rⁿ, которые примем в качестве базиса. Тогда разложение векторов (e_>1>), (e_>2>), …, (e_>n>) по базису e_>1>, e_>2>, …, e_>n> примет вид

Отсюда следует, что a_>ij>= λ_>i>, если i=j и a_>ij>=0, если i≠j. Поэтому в базисе, составленном из собственных векторов, матрица оператора будет иметь диагональный вид:

Симметричный оператор

Определение. Линейный оператор в евклидовом пространстве Rⁿ называется симметричным, если для любых векторов x и y из пространства Rⁿ выполняется равенство

((x), y)= (x, (y))

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

Рассмотрим для простоты евклидово пространство R². Пусть в ортобазисе e_>1>, e_>2> заданы векторы x=(x_>1>, x_>2>), y=(y_>1>, y_>2>). Линейные операторы _>1> и _>2> определены своими матрицами:

и .

Вычислим векторы _>1>(x) и _>2>(y):

,

.

Найдем скалярные произведения ((x), y) и (x, (y)):

((x), y)=(a_>11>x_>1>+a_>12>x_>2>) y_>1>+(a_>21>x_>1>+a_>22>x_>2>) y_>2>=a_>11>y_>1>x_>1>+a_>12>y_>1>x_>2>+a_>21>y_>2>x_>1>+a_>22>y_>2>x_>2>,

(x, (y))= (b_>11>y_>1>+b_>12>y_>2>) x_>1>+(b_>21>y_>1>+b_>22>y_>2>) x_>2>=b_>11>x_>1>y_>1>+b_>12>x_>1>y_>2>+b_>21>x_>2>y_>1>+b_>22>x_>2>y_>2>.

Найдем разность скалярных произведений:

((x), y) – (x, (y)) = (a_>11>-b_>11>) x_>1>y_>1>+(a_>21>-b_>12>) x_>1>y_>2>+(a_>12>-b_>21>) x_>2>y_>1>+(a_>22>-b_>22>) x_>2>y_>2>.

Если для любых векторов x и y из пространства R² равенство

((x), y) – (x, (y))=0 (3)

Выполнено (необходимость), то верна система

a_>11>=b_>11>,

a_>21>=b_>12>,

a_>12>=b_>21>, (4)

a_>22>=b_>22>,

и обратно: если условия (4) соблюдены для любых векторов x и y, то равенство (3) выполнено (достаточность). Система равенств (4) означает, что _>1>=_>2>=.

Ортогональность собственных векторов

Собственные векторы симметричного линейного оператора, соответствующие различным собственным числам, взаимо ортогональны.

Пусть x и y – собственные векторы оператора , соответствующие собственным числам λ_>1> и λ_>2>, причем λ_>1> ≠ λ_>2>. По определению симметричного оператора:

((x), y)= (x, (y))

Подставив сюда правые части равенства ((x))= λ_>1>x, ((y))= λ_>1>y, получим

(λ_>1>x, y)=(x, λ_>2>y). Вынесем числа λ_>1> и λ_>2>, за знак скалярного произведения, перенесем слагаемые влево и разложим на множители: (λ_>1> – λ_>2>) (x, y)=0

Поскольку λ_>1> ≠ λ_>2>, получаем (x, y)=0, что и означает взаимную ортогональность векторов x и y.

Отметим другие важные свойства симметричного оператора.

Характеристическое уравнение симметричного оператора имеет только действительные корни.

Если в евклидовом пространстве Rⁿ задан симметричный оператор , то в Rⁿ существует ортонормированный базис e_>1>, e_>2>, …, e_>n>, составленный из собственных векторов .

Если все собственные числа λ_>1>, λ_>2>, …, λ_>n> симметричного оператора положительны, то ((x), x) > 0 для любого ненулевого вектора x.

Положительные матрицы

Квадратная вещественная матрица A = (a_>ij>) называется положительной, если все её элементы положительны: a_>ij> > 0.

Теорема Перрона (частный случай теоремы Перрона-Фробениуса): Положительная квадратная матрица A имеет положительное собственное значение r, которое имеет алгебраическую кратность 1 и строго превосходит абсолютную величину любого другого собственного значения этой матрицы. Собственному значению r соответствует собственный вектор e_>r>, все координаты которого строго положительны. Вектор e_>r> – единственный собственный вектор A (с точностью до умножения на число), имеющий неотрицательные координаты.

Список литературы

1. Арутюнов Ю.C. и др. Высшая.математика: Методические указания и контрольные задания (с программой) для студентов-заочников инженерно-технических специальностей вузов. 3-е изд. М.: Высш. шк., 2005. 144 с.

2. Высшая математика: Программа, методические указания и контрольные задания для студентов-заочников иижеиерио-техиических специальностей сельскохозяйственных вузов. 4-е изд., перераб. М.: Высш.шк., 2005. 110 с.

3. Мироненко Е.С. Высшая математика: методические указания и контрольные задания для студентов-заочников инженерных специальностей вузов. М.: Высш. шк., 2008. 110 с.

4. Зимина О.В. и др. Высшая математика. 2-е изд., испр. М.: Физматлит, 2009. 368 с. (Решебиик).