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

Пусть

линейный оператор, действующий в линейном
пространстве

над
полем ,
имеет в некотором базисе
этого пространства матрицу .

Вектор
,
удовлетворяющий соотношению

,

(7.4.1)

называется
собственным
вектором
,
а соответствующее число
собственным
значением

линейного оператора .

В
комплексном линейном пространстве
всякий линейный оператор
имеет хотя бы один собственный вектор.

В
матричной форме равенство (7.4.1) принимает
вид .
Отсюда получается следующая матричная
запись

(7.4.2)

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

Если
известно собственное значение ,
то все собственные векторы ,
соответствующие этому собственному
значению, находятся как ненулевые
решения системы (7.4.2).

Условием
существования ненулевого решения
однородной системы линейных уравнений
(7.4.2) является равенство нулю ее
определителя

(7.4.3)

Многочлен,
стоящий в левой части уравнения (7.4.3),
называется характеристическим
многочленом матрицы


и оператора
,
а само уравнение (7.4.3) – характеристическим
или вековым
уравнением матрицы


(оператора

).

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

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

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

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

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


с матрицей


нужно найти все корни характеристического
многочлена матрицы


и из них выбрать лишь те, которые
принадлежат данному полю

,
а для отыскания всех собственных векторов
оператора


с матрицей


нужно найти все ненулевые решения
системы (7.4.2) при каждом собственном
значении

.

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

Пример
1
.
Докажите, что если матрицы
и
подобны, то всякое собственное значение

является собственным значением и для
,
и обратно. Найдите связь между собственными
векторами матриц
и .

Доказательство.
Поскольку квадратные матрицы
и
подобны, существует невырожденная
матрица ,
такая, что .
Отсюда следует, что

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

Пусть

– собственный вектор матрицы ,
а
– соответствующее
собственное значение. Тогда

.

Домножая
левую и правую части последнего равенства
на ,
получаем:

или
,

где

– собственный вектор матрицы ,
отвечающий тому же собственному значению
.

Пример
2.

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

Решение.
Характеристический многочлен

матрицы

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

Для
нахождения координат
собственного вектора ,
отвечающего этому собственному значению,
решим однородную систему линейных
уравнений с матрицей :

.

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

Рассмотренный
в данном примере линейный оператор
имеет единственное собственное
подпространство, базис которого
составляет вектор

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

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

7.4.3.
Найдите характеристический многочлен
и собственные значения верхней треугольной
матрицы .

7.4.4.
Докажите, что характеристический
многочлен транспонированной матрицы

совпадает с характеристическим
многочленом матрицы .

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

7.4.6.
Покажите, что характеристический
многочлен матрицы имеет
вид ,

где

есть след матрицы ,

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

7.4.7.
Докажите, что характеристический
многочлен матрицы

равен
.

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

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

7.4.10.
Докажите, что:

собственные
векторы линейного оператора ,
относящиеся к собственному значению
нуль, и только они, лежат в ядре этого
оператора;

собственные
векторы, относящиеся к ненулевым
собственным значениям, лежат в образе
оператора.

7.4.11.
Покажите, что при умножении оператора
на ненулевое число собственные векторы
не меняются, а собственные значения
умножаются на это число.

7.4.12.
Докажите, что оператор
при любом числе
имеет те же собственные векторы, что и
оператор .
Найдите связь между собственными
значениями этих операторов.

7.4.13.
Докажите, что если
собственный вектор оператора ,
относящийся к собственному значению
,
то
будет собственным вектором и для
оператора:

;

при
любом натуральном ;

,
где
любой многочлен.

Найдите
соответствующие собственные значения
этих операторов.

7.4.14.
Докажите, что если оператор
невырожден, то
и
имеют одни и те же собственные векторы.
Найдите связь между собственными
значениями этих операторов.

7.4.15.
Найдите собственные значения и собственные
векторы оператора дифференцирования
в пространстве многочленов .

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

7.4.17.
Квадратная матрица
с неотрицательными элементами называется
стохастической,
если в каждой строке этой матрицы сумма
элементов равна 1. Докажите, что
стохастическая матрица имеет собственное
значение единица. Найдите соответствующий
собственный вектор.

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

7.4.19.
Пространство
является прямой суммой подпространств

и .
Найдите собственные значения и собственные
подпространства:

оператора
проектирования на
параллельно ;

оператора
отражения в
параллельно .

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

собственного значения .
Покажите, что геометрическая кратность

равна дефекту оператора .

7.4.21.
Какой вид имеет матрица линейного
преобразования, если первые
базисных векторов являются его
собственными векторами?

7.4.22.
Докажите, что для произвольного оператора

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

7.4.23.
Докажите, что сумма собственных
подпространств оператора
является прямой суммой.

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

7.4.25.
Найдите собственные значения и собственные
векторы линейных операторов, заданных
в некотором базисе линейного пространства:
1) над полем действительных чисел ;
2) над полем комплексных чисел
матрицами :

;

;

;

;

;

;

;

;

;

;

;

.

Соседние файлы в папке Задачник-2

  • #
  • #
  • #
  • #
  • #
  • #
  • #

Характеристическое уравнение линейного оператора А: L → L, действующего в n-мерном линейном пространстве L, – это алгебраическое уравнение n-й степени с действительными коэффициентами. Среди его корней могут быть комплексные числа, но эти корни не относят к собственным значениям линейного оператора, так как, согласно определению, собственное значение линейного оператора – действительное число. Чтобы комплексные корни характеристического уравнения можно было рассматривать как собственные значения линейного оператора, в линейном пространстве должно быть определено умножение вектора на любые комплексные числа.

Как следует из доказательства теоремы 5.3, чтобы вычислить собственные значения линейного оператора А и найти его собственные векторы, нужно выполнить следующие операции:

– выбрать в линейном пространстве базис и сопоставить А матрицу А этого линейного оператора в выбранном базисе;

– составить характеристическое уравнение det (А – λЕ) = 0 и найти все его действительные корни λk, которые и будут собственными значениями линейного оператора;

– для каждого собственного значения λk найти фундаментальную систему решений
для однородной системы линейных алгебраических уравнений (СЛАУ) (А – λkЕ)х = 0. Столбцы фундаментальной системы решений представляют собой координаты векторов некоторого базиса в собственном подпространстве £(А, λk) линейного оператора А.

Любой собственный вектор с собственным значением λk принадлежит подпространству £(А,λk), и, следовательно, найденный базис в этом подпространстве позволяет представить любой собственный вектор с собственным значением λk.

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

Вычисление собственных значений и собственных векторов

В соответствии с описанной процедурой необходимо выполнить три действия. Первое действие можно опустить, так как оператор уже представлен своей матрицей в некотором базисе. Выполняем дальнейшие действия.

2) Находим собственные значения, решая характеристическое уравнение матрицы:

Вычисление собственных значений и собственных векторов

откуда λ1 = -3, λ2 = 1, λ3 = 3.

3) Находим столбцы координат собственных векторов, ре-шая для каждого из трех собственных значений однородную СЛАУ

Вычисление собственных значений и собственных векторов

3а) Для λ = λ1 = -3 система (5.5) имеет вид

Вычисление собственных значений и собственных векторов

или

Вычисление собственных значений и собственных векторов

Ранг матрицы этой системы равен 2:

Вычисление собственных значений и собственных векторов

Поэтому размерность линейного пространства решений систе-мы равна 3 – 2 = 1. Фундаментальная система решений содер-жит одно решение, например

Вычисление собственных значений и собственных векторов

Все множество собственных векторов линейного оператора с собственным значением λ1 = -3 в координатной форме имеет вид

Вычисление собственных значений и собственных векторов

где α – произвольное ненулевое действительное число.

3б) При λ = λ2 = 1 система (5.5) имеет вид

Вычисление собственных значений и собственных векторов

Как и в предыдущем случае, размерность линейного простран-ства решений равна 2 – 1 = 1 и фундаментальная система решений содержит одно решение. Выберем следующее:

Вычисление собственных значений и собственных векторов

Все множество собственных векторов с собственным значением λ = -1 в координатной форме имеет вид

Вычисление собственных значений и собственных векторов

где β – произвольное ненулевое действительное число.

3в) Для λ = λ3 = 3 аналогично предыдущим двум случаям находим столбец координат одного из собственных векторов, например

Вычисление собственных значений и собственных векторов

который порождает собственное подпространство линейного оператора А, отвечающее собственному значению λ = 3.

Пример 5.5. Найдем собственные значения линейного оператора А, действующего в n-мерном линейном пространстве, матрица А которого в некотором базисе является верхней треугольной порядка n:

Вычисление собственных значений и собственных векторов

причем все ее диагональные элементы аii попарно различны, т.е. аii ≠ ajj при i ≠ j.

Составляем характеристическое уравнение матрицы А:

det(А – λЕ) = (а11 – λ)(а22 – λ) … (аnn – λ) = 0

(определитель верхней треугольной матрицы равен произведе-нию ее диагональных элементов). Находим все действительные корни этого уравнения:

λk = akk, k = 1,n

Как видим, линейный оператор А имеет n попарно различных собственных значений.

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

Итак, все собственные подпространства линейного операто-ра в нашем случае одномерны. Рассмотрим то из них, которое отвечает собственному значению λr = аrr, где 1 ≤ r ≤ n. Соответствующий собственный вектор имеет столбец координат, который является ненулевым решением однородной СЛАУ

(А – arrЕ)х = 0. (5.6)

Достаточно очевидно, что ранг матрицы системы (5.6) равен n – 1, а базисный минор для этой матрицы получается вычер-киванием r-й строки и r-го столбца.

Наиболее просто решение системы (5.6) выглядит для r = 1. В этом случае собственным является вектор x1 со столбцом координат (1 0 … 0)T . При r = 2 все координаты собственного вектора, начиная с третьей, будут равны нулю, так как они удовлетворяют системе

Вычисление собственных значений и собственных векторов

получающейся выбрасыванием первых двух уравнений. Второе уравнение вытекает из всех последующих и может быть опуще-но, а первое уравнение определяет связь между первыми двумя координатами. Мы получаем, что собственному значению а22 отвечает вектор x2 со столбцом координат (-a12 a11 0 … 0)T . Собственному значению a33 отвечает вектор x3 со столбцом координат (x13 x23 x33 0 … 0)T , у которого лишь первые три координаты отличны от нуля. Эти три координаты удовлетворяют однородной системе из двух уравнений

Вычисление собственных значений и собственных векторов

Эти рассуждения можно продолжить.

Пример 5.6. Преобразование поворота в V3 на заданный острый угол вокруг некоторой оси – это линейный оператор. Его собственными векторами являются векторы, коллинеарные оси поворота. Например, если поворот выполняется вокруг оси Оz, то матрица оператора в базисе i, j, k будет иметь вид

Вычисление собственных значений и собственных векторов

а его собственными векторами будут векторы со столбцами координат вида λ(0 0 1)T , λ ≠ 0.

  1. Линейные операции над векторами

  2. Базис. Cкалярное произведение

  3. Векторное и смешанное произведения векторов

  4. Декартова система координат. прямая на плоскости

  5. Плоскость в пространстве

  6. Прямая в пространстве

  7. Кривые второго порядка — I

  8. Кривые второго порядка — II

  9. Поверхности второго порядка

  10. Матрицы и операции с ними

  11. Обратная матрица

  12. Ранг матрицы

  13. Системы линейных алгебраических уравнений

  14. Свойства решений однородных и неоднородных СЛАУ

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

Наиболее просто устроены матрицы диагонального вида . Возникает вопрос, нельзя ли найти базис, в котором матрица линейного оператора имела бы диагональный вид. Такой базис существует.

Пусть дано линейное пространство Rn и действующий в нем линейный оператор A; в этом случае оператор A переводит Rn в себя, то есть A:Rn
→ Rn.

Определение. Ненулевой вектор x называется собственным вектором оператора A, если оператор A переводит x в коллинеарный ему вектор, то есть A·x = λ·x. Число λ называется собственным значением или собственным числом оператора A, соответствующим собственному вектору x.

Отметим некоторые свойства собственных чисел и собственных векторов.

1. Любая линейная комбинация собственных векторов x1, x2, …, xm оператора A, отвечающих одному и тому же собственному числу λ, является собственным вектором с тем же собственным числом.

2. Собственные векторы x1, x2, …, xm оператора A с попарно различными собственными числами λ1, λ2, …, λm
линейно независимы.

3. Если собственные числа λ12= λm= λ, то собственному числу λ соответствует не более m линейно независимых собственных векторов.

Итак, если имеется n линейно независимых собственных векторов x1, x2, …, xn, соответствующих различным собственным числам λ1, λ2, …, λn, то они линейно независимы, следовательно, их можно принять за базис пространства Rn. Найдем вид матрицы линейного оператора A в базисе из его собственных векторов, для чего подействуем оператором A на базисные векторы: тогда .

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

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

Теорема. Матрица линейного оператора A в базисе {εi} (i = 1..n) имеет диагональный вид тогда и только тогда, когда все векторы базиса – собственные векторы оператора A.

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

Пусть дан вектор x=(x1, x2, …, xn), где x1, x2, …, xn – координаты вектора x относительно базиса {ε1, ε2, …, εn} и x – собственный вектор линейного оператора A, соответствующий собственному числу λ, то есть A·x=λ·x. Это соотношение можно записать в матричной форме

x·(A-λ·E). (*)

Уравнение (*) можно рассматривать как уравнение для отыскания x, причем x0, то есть нас интересуют нетривиальные решения, поскольку собственный вектор не может быть нулевым. Известно, что нетривиальные решения однородной системы линейных уравнений существуют тогда и только тогда, когда det(A – λE) = 0. Таким образом, для того, чтобы λ было собственным числом оператора A необходимо и достаточно, чтобы det(A – λE) = 0.

Если уравнение (*) расписать подробно в координатной форме, то получим систему линейных однородных уравнений:

(1)

где – матрица линейного оператора.

Система (1) имеет ненулевое решение, если ее определитель D равен нулю

Получили уравнение для нахождения собственных чисел.

Это уравнение называется характеристическим уравнением, а его левая часть – характеристическим многочленом матрицы (оператора) A. Если характеристический многочлен не имеет вещественных корней, то матрица A не имеет собственных векторов и ее нельзя привести к диагональному виду.

Пусть λ1, λ2, …, λn – вещественные корни характеристического уравнения, причем среди них могут быть и кратные. Подставляя по очереди эти значения в систему (1), находим собственные векторы.

Пример №1. Линейный оператор A действует в R3 по закону A·x=(x1-3x2+4x3, 4x1-7x2+8x3, 6x1-7x2+7x3), где x1, x2, .., xn – координаты вектора x в базисе e1=(1,0,0), e2=(0,1,0), e3=(0,0,1). Найти собственные числа и собственные векторы этого оператора.

Решение. Строим матрицу этого оператора:

e1=(1,4,6)

e2=(-3,-7,-7)

e3=(4,8,7)

.

Составляем систему для определения координат собственных векторов:

(1-λ)x1-3x2+4x3=0

x1-(7+λ)x2+8x3=0

x1-7x2+(7-λ)x3=0

Составляем характеристическое уравнение и решаем его:

λ1,2 = -1, λ3 = 3.

Подставляя λ = -1 в систему, имеем:

или

Так как , то зависимых переменных два, а свободное одно.

Пусть x1 – свободное неизвестное, тогда Решаем эту систему любым способом и находим общее решение этой системы: Фундаментальная система решений состоит из одного решения, так как n – r = 3 – 2 = 1.

Множество собственных векторов, отвечающих собственному числу λ = -1, имеет вид: (x1, 2x1, x1)=x1(1,2,1), где x1 – любое число, отличное от нуля. Выберем из этого множества один вектор, например, положив x1 = 1: x1=(1,2,1).

Рассуждая аналогично, находим собственный вектор, отвечающий собственному числу λ = 3: x2=(1,2,2).

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

Пример №2. Дана матрица .

1. Доказать, что вектор x=(1,8,-1) является собственным вектором матрицы A. Найти собственное число, соответствующее этому собственному вектору.

2. Найти базис, в котором матрица A имеет диагональный вид.

Решение находим с помощью калькулятора.

1. Если A·x=λ·x, то x – собственный вектор

Вектор (1, 8, -1) – собственный вектор. Собственное число λ = -1.

Диагональный вид матрица имеет в базисе, состоящем из собственных векторов. Один из них известен. Найдем остальные.

Собственные векторы ищем из системы:

(2-λ)x1+3x3=0;

10x1-(3+λ)x2-6x3=0;

-x1-(2+λ)x3=0;

Характеристическое уравнение: ;

(3 + λ)[-2(2-λ)(2+λ)+3] = 0; (3+λ)(λ2 – 1) = 0

λ1 = -3, λ2 = 1, λ3 = -1.

Найдем собственный вектор, отвечающий собственному числу λ = -3:

5x1+3x3=0;

10x1-6x3=0;

-x1+x3=0;

Ранг матрицы этой системы равен двум и равен числу неизвестных, поэтому эта система имеет только нулевое решение x1 = x3 = 0. x2 здесь может быть любым, отличным от нуля, например, x2 = 1. Таким образом, вектор (0,1,0) является собственным вектором, отвечающим λ = -3. Проверим:

Если λ = 1, то получаем систему

Ранг матрицы равен двум. Последнее уравнение вычеркиваем.

Пусть x3 – свободное неизвестное. Тогда x1 = -3x3, 4x2 = 10x1 – 6x3 = -30x3 – 6x3, x2 = -9x3.

Полагая x3 = 1, имеем (-3,-9,1) – собственный вектор, отвечающий собственному числу λ = 1. Проверка:

Так как собственные числа действительные и различны, то векторы, им отвечающие, линейно независимы, поэтому их можно принять за базис в R3. Таким образом, в базисе f1=(1,8,-1), f2=(0,1,0), f3=(-3,-9,1) матрица A имеет вид:

.

Не всякую матрицу линейного оператора A:Rn→ Rn можно привести к диагональному виду, поскольку для некоторых линейных операторов линейно независимых собственных векторов может быть меньше n. Однако, если матрица симметрическая, то корню характеристического уравнения кратности m соответствует ровно m линейно независимых векторов.

Определение. Симметрической матрицей называется квадратная матрица, в которой элементы, симметричные относительно главной диагонали, равны, то есть в которой aik=aki.

Замечания.

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

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

Перейти к онлайн решению своей задачи

Собственные числа и вектора матриц. Методы их нахождения.

Литература: Сборник задач по математике. Часть 1. Под ред А. В. Ефимова, Б. П. Демидовича.

Пусть число $lambda$ и вектор $xin L, xneq 0$ таковы, что $$Ax=lambda x.qquadqquadqquadqquadqquad(1)$$ Тогда число $lambda$ называется собственным числом линейного оператора $A,$ а вектор $x$ собственным вектором этого оператора, соответствующим собственному числу $lambda.$

В конечномерном пространстве $L_n$ векторное равенство (1) эквивалентно матричному равенству $$(A-lambda E)X=0,,,,, Xneq 0.qquadqquadquadquad (2)$$ 

Отсюда следует, что число $lambda$ есть собственное число оператора $A$ в том и только том случае, когда детерминант $det(A-lambda E)=0,$ т. е. $lambda$ есть корень многочлена $p(lambda)=det(A-lambda E),$ называемого характеристическим многочленом оператора $A.$ Столбец координат $X$ любого собственного вектора соответствующего собственному числу $lambda$ есть нетривиальное решение однородной системы (2).

Примеры.

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

4.134. $A=begin{pmatrix}2&-1&2\5&-3&3\-1&0&-2end{pmatrix}.$

Решение.

Найдем собственные вектора заданного линейного оператора. Число $lambda$ есть собственное число оператора $A$ в том и только том случае, когда $det(A-lambda E)=0.$ Запишем характеристическое уравнение: 

$$A-lambda E=begin{pmatrix}2&-1&2\5&-3&3\-1&0&-2end{pmatrix}-lambdabegin{pmatrix}1&0&0\0&1&0\0&0&1end{pmatrix}=$$ $$=begin{pmatrix}2-lambda&-1&2\5&-3-lambda&3\-1&0&-2-lambdaend{pmatrix}.$$

$$det(A-lambda E)=begin{vmatrix}2-lambda&-1&2\5&-3-lambda&3\-1&0&-2-lambdaend{vmatrix}=$$ $$=(2-lambda)(-3-lambda)(-2-lambda)+3+2(-3-lambda)+5(-2-lambda)=$$ $$=-lambda^3-3lambda^2+4lambda+12+3-6-2lambda-10-5lambda=-lambda^3-3lambda^2-3lambda-1=0.$$

Решим найденное уравнение, чтобы найти собственные числа.

$$lambda^3+3lambda^2+3lambda+1=(lambda^3+1)+3lambda(lambda+1)=$$ $$=(lambda+1)(lambda^2-lambda+1)+3lambda(lambda+1)=(lambda+1)(lambda^2-lambda+1+3lambda)=$$ $$=(lambda+1)(lambda^2+2lambda+1)=(lambda+1)^3=0Rightarrow lambda=-1.$$

Собственный вектор для собственного числа $lambda=-1$ найдем из системы $$(A-lambda E)X=0, Xneq 0, Rightarrow (A+E)X=0, Xneq 0$$

$$(A+E)X=begin{pmatrix}2+1&-1&2\5&-3+1&3\-1&0&-2+1end{pmatrix}begin{pmatrix}x_1\x_2\x_3end{pmatrix}=$$ $$=begin{pmatrix}3x_1-x_2+2x_3\5x_1-2x_2+3x_3\-x_1-x_3end{pmatrix}=0.$$

Решим однородную систему уравнений:

$$left{begin{array}{lcl}3x_1-x_2+2x_3=0\ 5x_1-2x_2+3x_3=0\-x_1-x_3=0end{array}right.$$ 

Вычислим ранг матрицы коэффициентов $A=begin{pmatrix}3&-1&2\5&-2&3\-1&0&-1end{pmatrix}$ методом окаймляющих миноров:    

Фиксируем минор отличный от нуля второго порядка $M_2=begin{vmatrix}3&-1\5&-2end{vmatrix}=-6+5=-1neq 0.$

Рассмотрим окаймляющий минор третьего порядка:  $begin{vmatrix}3&-1&2\5&-2&3\-1&0&-1end{vmatrix}=6+3-4-5=0;$

Таким образом ранг матрицы $A$ равен двум.

Выберем в качестве базисного минор $M=begin{vmatrix}3&-1\5&-2end{vmatrix}=-1neq 0.$ Тогда, полагая $x_3=c,$ получаем: $$left{begin{array}{lcl}3x_1-x_2+2с=0\ 5x_1-2x_2+3с=0end{array}right.Rightarrowleft{begin{array}{lcl}3x_1-x_2=-2c\5x_1-2x_2=-3cend{array}right.$$ 

По правилу Крамера находим $x_1$ и $x_2:$

$Delta=begin{vmatrix}3&-1\5&-2end{vmatrix}=-6+5=-1;$

$Delta_1=begin{vmatrix}-2c&-1\-3c&-2end{vmatrix}=4c-3c=c;$

$Delta_2=begin{vmatrix}3&-2c\5&-3cend{vmatrix}=-9c+10c=c;$

$x_1=frac{Delta_1}{Delta}=frac{c}{-1}=-c;$ $x_2=frac{Delta_2}{Delta}=frac{c}{-1}=-c.$

Таким образом, общее решение системы $X(c)=begin{pmatrix}-c\-c\cend{pmatrix}.$

Из общего решения находим фундаментальную систему решений: $E=X(1)=begin{pmatrix}-1\-1\1end{pmatrix}.$ 

С использованием фундаментальной системы решений, общее решение может быть записано в виде $X(c)=cE.$

Ответ: $lambda=-1;$ $X=cbegin{pmatrix}-1\-1\1end{pmatrix}, cneq 0.$

 {jumi[*3]}

4.143. $A=begin{pmatrix}0&-1&0\1&1&-2\1&-1&0end{pmatrix}.$

Решение.

Найдем собственные вектора заданного линейного оператора. Число $lambda$ есть собственное число оператора $A$ в том и только том случае, когда $det(A-lambda E)=0.$ Запишем характеристическое уравнение: 

$$A-lambda E=begin{pmatrix}0&-1&0\1&1&-2\1&-1&0end{pmatrix}-lambdabegin{pmatrix}1&0&0\0&1&0\0&0&1end{pmatrix}=$$ $$=begin{pmatrix}-lambda&-1&0\1&1-lambda&-2\1&-1&-lambdaend{pmatrix}.$$

$$det(A-lambda E)=begin{vmatrix}-lambda&-1&0\1&1-lambda&-2\1&-1&-lambdaend{vmatrix}=$$ $$=-lambda(1-lambda)(-lambda)+2-lambda+2lambda=$$ $$=-lambda^3+lambda^2+lambda+2=0.$$

Решим найденное уравнение, чтобы найти собственные числа.

$$-lambda^3+lambda^2+lambda+2=(lambda-2)(-lambda^2-lambda-1)=0Rightarrow lambda=2.$$

Собственный вектор для собственного числа $lambda=2$ найдем из системы $$(A-lambda E)X=0, Xneq 0, Rightarrow (A-2E)X=0, Xneq 0$$

$$(A-2E)X=begin{pmatrix}-2&-1&0\1&-1&-2\1&-1&-2end{pmatrix}begin{pmatrix}x_1\x_2\x_3end{pmatrix}=$$ $$=begin{pmatrix}-2x_1-x_2\x_1-x_2-2x_3\x_1-x_2-2x_3end{pmatrix}=0.$$

Решим однородную систему уравнений:

$$left{begin{array}{lcl}-2x_1-x_2=0\ x_1-x_2-2x_3=0\x_1-x_2-2x_3=0end{array}right.$$ 

Вычислим ранг матрицы коэффициентов $A=begin{pmatrix}-2&-1&0\1&-1&-2\1&-1&-2end{pmatrix}$ методом окаймляющих миноров:    

Фиксируем минор отличный от нуля второго порядка $M_2=begin{vmatrix}-2&-1\1&-1end{vmatrix}=2+1=3neq 0.$

Рассмотрим окаймляющий минор третьего порядка:  $begin{vmatrix}-2&-1&0\1&-1&-2\1&-1&-2end{vmatrix}=0;$

Таким образом ранг матрицы $A$ равен двум.

Выберем в качестве базисного минор $M=begin{vmatrix}-2&-1\1&-1end{vmatrix}=3neq 0.$ Тогда, полагая $x_3=c,$ получаем: $$left{begin{array}{lcl}-2x_1-x_2=0\ x_1-x_2-2с=0end{array}right.Rightarrowleft{begin{array}{lcl}-2x_1-x_2=0\x_1-x_2=2cend{array}right.$$ 

По правилу Крамера находим $x_1$ и $x_2:$

$Delta=begin{vmatrix}-2&-1\1&-1end{vmatrix}=2+1=3;$

$Delta_1=begin{vmatrix}0&-1\2c&-1end{vmatrix}=2c;$

$Delta_2=begin{vmatrix}-2&0\1&2cend{vmatrix}=-4c;$

$x_1=frac{Delta_1}{Delta}=frac{2c}{3};$ $x_2=frac{Delta_2}{Delta}=frac{-4c}{3}.$

Таким образом, общее решение системы $X(c)=begin{pmatrix}frac{2c}{3}\-frac{4c}{3}\cend{pmatrix}.$

Из общего решения находим фундаментальную систему решений: $E=X(1)=begin{pmatrix}frac{2}{3}\-frac{4}{3}\1end{pmatrix}.$ 

С использованием фундаментальной системы решений, общее решение может быть записано в виде $X(c)=cE.$ Переобозначив постоянную, $alpha=3c,$ получаем собственный вектор $X=alphabegin{pmatrix}2\-4\3end{pmatrix}, alphaneq 0.$

Ответ: $lambda=2;$ $X=alphabegin{pmatrix}2\-4\3end{pmatrix}, alphaneq 0.$

Домашнее задание.

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

 4.135. $A=begin{pmatrix}0&1&0\-4&4&0\-2&1&2end{pmatrix}.$

Ответ: $lambda=2;$ $X=c_1begin{pmatrix}1\2\0end{pmatrix}+c_2begin{pmatrix}0\0\1end{pmatrix}, $c_1$ и $ c_2$ не равны одновременно нулю.

4.142. $A=begin{pmatrix}1&-3&1\3&-3&-1\3&-5&1end{pmatrix}.$

Ответ: $lambda_1=-1,$ $X(lambda_1)=cbegin{pmatrix}1\1\1end{pmatrix};$ $lambda_2=2,$ $X(lambda_2)=cbegin{pmatrix}4\1\7end{pmatrix};$ $lambda_3=-2,$ $X(lambda_3)=cbegin{pmatrix}2\3\3end{pmatrix}, cneq 0.$

  {jumi[*4]}

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

Пусть mathcal{A}colon Vto V — линейное преобразование n-мерного линейного пространства V. Ненулевой вектор boldsymbol{s} линейного пространства V, удовлетворяющий условию

mathcal{A}(boldsymbol{s})=lambdacdot boldsymbol{s},

(9.5)

называется собственным вектором линейного преобразования mathcal{A}. Число lambda в равенстве (9.5) называется собственным значением преобразования mathcal{A}. Говорят, что собственный вектор соответствует (принадлежит) собственному значению lambda. Если пространство V вещественное (комплексное), то собственное значение lambda — действительное (комплексное) число.

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

Поясним геометрический смысл собственных векторов. Ненулевой вектор s является собственным для преобразования mathcal{A}, если его образ mathcal{A} (boldsymbol{s}) коллинеарен прообразу boldsymbol{s}. Другими словами, если boldsymbol{s} — собственный вектор, то преобразование mathcal{A} имеет одномерное инвариантное подпространство operatorname{Lin}(boldsymbol{s}). Справедливо и обратное утверждение.

В самом деле, пусть собственный вектор boldsymbol{s} соответствует некоторому собственному значению lambda. Любой вектор boldsymbol{v} из operatorname{Lin}(boldsymbol{s}) имеет вид boldsymbol{v}=alpha boldsymbol{s}, где alpha — любое число из заданного поля. Найдем образ этого вектора

mathcal{A}(boldsymbol{v})= mathcal{A}(alpha boldsymbol{s})= alphacdot mathcal{A}(boldsymbol{s})= alphacdot lambdacdot boldsymbol{s}in operatorname{Lin} (boldsymbol{s}).

Следовательно, mathcal{A}(boldsymbol{v})in operatorname{Lin}(boldsymbol{s}) для любого вектора boldsymbol{v}in operatorname{Lin}(boldsymbol{s}), т.е. подпространство operatorname{Lin}(boldsymbol{s}) инвариантно относительно преобразования mathcal{A}. Размерность подпространства operatorname{Lin} (boldsymbol{s}) равна единице, так как boldsymbol{s}ne boldsymbol{o} по определению.

Обратное утверждение доказывается, проводя рассуждения в обратном порядке.


Связь собственных векторов линейного преобразования (оператора) и его матрицы

Ранее рассматривались собственные векторы и собственные значения матрицы. Напомним, что собственным вектором квадратной матрицы A n-го порядка называется ненулевой числовой столбец s=begin{pmatrix}s_1&cdots&s_{n}end{pmatrix}^T, удовлетворяющий условию (7.13):

Acdot s=lambdacdot s.

(9.6)

Число lambda в (9.6) называется собственным значением матрицы A. При этом считалось, что собственное значение lambda и числа s_i~(i=1,ldots,n) принадлежат полю комплексных чисел.

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

Теорема 9.3 о собственных векторах линейного преобразования и его матрицы. Пусть mathcal{A}colon Vto V — линейное преобразование n-мерного линейного пространства V с базисом boldsymbol{e}_1,ldots,boldsymbol{e}_n. Тогда собственное значение lambda и координатный столбец {s} собственного вектора boldsymbol{s} преобразования mathcal{A} являются собственным значением и собственным вектором матрицы A этого преобразования, определенной относительно базиса boldsymbol{e}_1,ldots, boldsymbol{e}_n, т.е.

mathcal{A}(boldsymbol{s})=lambdacdot boldsymbol{s}quad Rightarrowquad Acdot s=lambdacdot s, где boldsymbol{s}=s_1 boldsymbol{e}_1+ldots+s_n boldsymbol{e}_n,~ s=begin{pmatrix}s_1&cdots& s_nend{pmatrix}^T.

Обратное утверждение справедливо при дополнительных условиях: если столбец s=begin{pmatrix} s_1&cdots&s_nend{pmatrix}^T и число lambda являются собственным вектором и собственным значением матрицы A, причем числа s_1,ldots,s_n,lambda принадлежат тому же числовому полю, над которым определено линейное пространство V, то вектор boldsymbol{s}=s_1 boldsymbol{e}_1+ ldots+s_n boldsymbol{e}_n и число lambda являются собственным вектором и собственным значением линейного преобразования mathcal{A}colon Vto V с матрицей A в базисе boldsymbol{e}_1,ldots,boldsymbol{e}_n.

В самом деле, условие (9.5) в координатной форме имеет вид (9.6), что совпадает с определением (7.13) собственного вектора матрицы. Наоборот, из равенства (9.6) следует равенство (9.5) при условии, что векторы boldsymbol{s}=s_1 boldsymbol{e}_1+ldots+s_n boldsymbol{e}_n и lambdacdot boldsymbol{s} определены, т.е. числа s_1,ldots,s_n, lambda принадлежат тому же числовому полю, над которым определено линейное пространство.

Напомним, что нахождение собственных значений матрицы сводится к решению ее характеристического уравнения Delta_A(lambda)=0, где Delta_A(lambda)=det(A-lambda E) — характеристический многочлен матрицы A. Для линейного преобразования введем аналогичные понятия.

Характеристическим многочленом линейного преобразования mathcal{A}colon Vto V n-мерного линейного пространства называется характеристический многочлен Delta_{mathcal{A}}(lambda)=det(A-lambda E) матрицы A этого преобразования, найденной относительно любого базиса пространства V.

Уравнение Delta_{mathcal{A}}(lambda)=0 называется характеристическим уравнением линейного преобразования.

Преобразование mathcal{A}-lambdamathcal{E} называется характеристическим для линейного преобразования mathcal{A}colon Vto V.


Замечания 9.4

1. Характеристический многочлен линейного преобразования не зависит от базиса, в котором найдена матрица преобразования.

В самом деле, матрицы mathop{A}limits_{(boldsymbol{e})} и mathop{A}limits_{(boldsymbol{f})} линейного преобразования mathcal{A} в базисах (boldsymbol{e})= (boldsymbol{e}_1,ldots, boldsymbol{e}_n) и (boldsymbol{f})=(boldsymbol{f}_1,ldots,boldsymbol{f}_n) являются, согласно (9.4), подобными: mathop{A}limits_{(boldsymbol{f})}=S^{-1}mathop{A}limits_{(boldsymbol{e})}S, где S — матрица перехода от базиса (boldsymbol{e}) к базису (boldsymbol{f}). Как показано ранее, характеристические многочлены подобных матриц совпадают (см. свойство 3). Поэтому для характеристического многочлена преобразования mathcal{A} можно использовать обозначение Delta_{mathcal{A}}(lambda), не указывая матрицу этого преобразования.

2. Из теоремы 9.3 следует, что любой комплексный (действительный, рациональный) корень характеристического уравнения является собственным значением линейного преобразования mathcal{A}colon Vto V линейного пространства V, определенного над полем комплексных (действительных, рациональных) чисел.

3. Из теоремы 9.3 следует, что любое линейное преобразование комплексного линейного пространства имеет одномерное инвариантное подпространство, так как это преобразование имеет собственное значение (см. пункт 2), а следовательно, и собственные векторы. Таким подпространством является, например, линейная оболочка любого собственного вектора. У преобразования вещественного линейного пространства одномерных инвариантных подпространств может и не быть, если все корни характеристического уравнения комплексные (но не действительные).


Теорема 9.4 об инвариантных подпространствах линейного оператора вещественного пространства. У всякого линейного преобразования вещественного линейного пространства существует одномерное или двумерное инвариантное подпространство.

Действительно, составим матрицу A линейного преобразования mathcal{A}colon Vto V n-мерного вещественного линейного пространства V в произвольном базисе boldsymbol{e}_1,ldots,boldsymbol{e}_n. Элементы этой матрицы — действительные числа. Следовательно, характеристический многочлен Delta_{mathcal{A}}(lambda)=det(A-lambda E) — это многочлен степени n с действительными коэффициентами. Согласно следствиям 3, 4 основной теоремы алгебры, такой многочлен может иметь действительные корни и пары комплексных сопряженных корней.

Если lambda=lambda_1 — действительный корень характеристического уравнения, то и соответствующий собственный вектор s=begin{pmatrix}s_1&cdots&s_nend{pmatrix}^T матрицы A также действительный. Поэтому он определяет собственный вектор boldsymbol{s}=s_1 boldsymbol{e}_1+ldots+s_n boldsymbol{e}_n линейного преобразования (см. теорему 9.3). В этом случае существует одномерное инвариантное относительно mathcal{A} подпространство operatorname{Lin}(boldsymbol{s}) (см. геометрический смысл собственных векторов).

Если lambda=alphapmbeta i — пара комплексных сопряженных корней (betane0), то собственный вектор sne o матрицы A также с комплексными элементами: s=begin{pmatrix}x_1+y_1i&cdots& x_n+y_n i end{pmatrix}^T. Его можно представить в виде s=x+yi, где x,,y — действительные столбцы. Равенство (9.6) при этом будет иметь вид

Acdot(x+yi)= (alpha+beta i)cdot(x+yi).

Выделяя действительную и мнимую части, получаем систему

begin{cases}Ax=alpha x-beta y,\ Ay=beta x+alpha y.end{cases}

(9.7)

Покажем, что столбцы {x} и {y} линейно независимы. Рассмотрим два случая. Если x=o, то из первого уравнения (9.7) следует, что y=o, так как betane0. Тогда s=o, что противоречит условию sne o. Предположим, что xne o и столбцы x и y пропорциональны, т.е. существует такое действительное число gamma, что y=gamma x. Тогда из системы (9.7) получаем begin{cases}Ax=(alpha-betagamma)x,\ gamma Ax=(beta-alphagamma)x. end{cases} Прибавляя ко второму уравнению первое, умноженное на (-gamma), приходим к равенству [(beta+alphagamma)-gamma(alpha-betagamma)]x=o. Так как xne o, то выражение в квадратных скобках равно нулю, т.е. (beta+alphagamma)- gamma(alpha- betagamma)= beta(1+gamma^2)=0. Поскольку betane0, то gamma^2=-1. Этого не может быть, так как gamma — действительное число. Получили противоречие. Таким образом, столбцы x и y линейно независимы.

Рассмотрим подпространство operatorname{Lin}(boldsymbol{x},boldsymbol{y}), где boldsymbol{x}= x_1 boldsymbol{e}_1+ldots+x_n boldsymbol{e}_n,~ boldsymbol{y}= y_1 boldsymbol{e}_1+ldots+ y_n boldsymbol{y}_n. Это подпространство двумерное, так как векторы boldsymbol{x},boldsymbol{y} линейно независимы (как показано выше, их координатные столбцы x,y линейно независимы). Из (9.7) следует, что begin{cases}mathcal{A}(boldsymbol{x})=alpha boldsymbol{x}-beta boldsymbol{y},\ mathcal{A}(boldsymbol{y})=beta boldsymbol{x}+alpha boldsymbol{y},end{cases} т.е. образ любого вектора, принадлежащего operatorname{Lin}(boldsymbol{x},boldsymbol{y}), также принадлежит operatorname{Lin}(boldsymbol{x},boldsymbol{y}). Следовательно, operatorname{Lin}(boldsymbol{x},boldsymbol{y}) — двумерное подпространство, инвариантное относительно преобразования mathcal{A}, что и требовалось доказать.


Нахождение собственных векторов и значений линейного оператора (преобразования)

Для нахождения собственных векторов и собственных значений линейного преобразования mathcal{A}colon Vto V вещественного линейного пространства V следует выполнить следующие действия.

1. Выбрать произвольный базис boldsymbol{e}_1,ldots,boldsymbol{e}_n линейного пространства V и найти в этом базисе матрицу A преобразования mathcal{A}.

2. Составить характеристический многочлен преобразования mathcal{A}colon, Delta_{mathcal{A}}(lambda)=det(A-lambda E).

3. Найти все различные действительные корни lambda_1,ldots,lambda_k характеристического уравнения Delta_{mathcal{A}}(lambda)=0. Комплексные (но не действительные) корни характеристического уравнения следует отбросить (см. пункт 2. замечаний 9.4).

4. Для корня lambda=lambda_1 найти фундаментальную систему varphi_1, varphi_2,ldots,varphi_{n-r} решений однородной системы уравнений (A-lambda_1E)x=o, где r=operatorname{rg}(A-lambda_1E). Для этого можно использовать либо алгоритм решения однородной системы, либо один из способов нахождения фундаментальной матрицы.

5. Записать линейно независимые собственные векторы преобразования mathcal{A}, отвечающие собственному значению lambda_1:

begin{matrix} boldsymbol{s}_1=varphi_{1,1}boldsymbol{e}_1+ ldots+ varphi_{n,1}boldsymbol{e}_n,\ boldsymbol{s}_2=varphi_{1,2}boldsymbol{e}_1+ ldots+ varphi_{n,2}boldsymbol{e}_n,\ vdots\ boldsymbol{s}_{n-r}=varphi_{1,n-r} boldsymbol{e}_1+ ldots+varphi_{n,n-r}boldsymbol{e}_n. end{matrix}

Для нахождения совокупности всех собственных векторов, отвечающих собственному значению lambda_1, образовать ненулевые линейные комбинации

boldsymbol{s}= C_1 boldsymbol{s}_1+C_2 boldsymbol{s}_2+ldots+ C_{n-r}boldsymbol{s}_{n-r},

где C_1,C_2,ldots,C_{n-r} — произвольные постоянные, не равные нулю одновременно.

Повторить пункты 4, 5 для остальных собственных значений lambda_2,ldots,lambda_k линейного преобразования mathcal{A}.

Для нахождения собственных векторов линейного преобразования комплексного линейного пространства нужно в пункте 3 определить все корни характеристического уравнения и, не отбрасывая комплексные корни, выполнить для них пункты 4,5.


Примеры собственных векторов линейных операторов (преобразований)

1. Для нулевого преобразования mathcal{O}colon Vto V любой ненулевой вектор boldsymbol{s}in V является собственным, соответствующим нулевому собственному значению lambda=0, так как mathcal{O}(boldsymbol{s})=0cdot boldsymbol{s}~ forall boldsymbol{s}in V.

2. Для тождественного преобразования mathcal{E}colon Vto V любой ненулевой вектор boldsymbol{s}in V является собственным, соответствующим единичному собственному значению lambda=1, так как mathcal{E} (boldsymbol{s})=1cdot boldsymbol{s}~ forall boldsymbol{s}in V.

3. Для центральной симметрии mathcal{Z}_{boldsymbol{o}}colon Vto V любой ненулевой вектор boldsymbol{s}in V является собственным, соответствующим собственному значению lambda=-1, так как mathcal{Z}_{boldsymbol{o}} (boldsymbol{s})=(-1)cdot boldsymbol{s}~ forall boldsymbol{s}in V.

4. Для гомотетии mathcal{H}_{lambda}colon Vto V любой ненулевой вектор boldsymbol{s}in V является собственным, соответствующим собственному значению lambda (коэффициенту гомотетии), так как mathcal{H}_{lambda} (boldsymbol{boldsymbol{s}})= lambdacdot boldsymbol{s}~ forall boldsymbol{s}in V.

5. Для поворота mathcal{R}_{varphi}colon V_2to V_2 плоскости (при varphinepi k,~ kinmathbb{Z}) собственных векторов нет, так как при повороте на угол, не кратный pi, образ каждого ненулевого вектора неколлинеарен прообразу. Здесь рассматривается поворот вещественной плоскости, т.е. двумерного векторного пространства над полем действительных чисел.

6. Для оператора дифференцирования mathcal{D}colon P_n(mathbb{R})to P_n(mathbb{R}) любой ненулевой многочлен нулевой степени (не равный тождественно нулю) является собственным вектором, соответствующим нулевому собственному значению lambda=0, так как mathcal{D}(s(x))=0cdot s(x) forall s(x)equiv text{const}. Любой многочлен ненулевой степени не является собственным вектором, так как многочлен не пропорционален своей производной: mathcal{D}(s(x))=s'(x)ne lambdacdot s(x), поскольку они имеют разные степени.

7. Рассмотрим оператор Pi_{L_1}colon Vto V проектирования на подпространство L_1 параллельно подпространству L_2. Здесь V=L_1oplus L_2, Pi_{L_1}(boldsymbol{v}_1+ boldsymbol{v}_2)=boldsymbol{v}_1 для boldsymbol{v}=boldsymbol{v}_1+boldsymbol{v}_2, boldsymbol{v}_1in L_1,~ boldsymbol{v}_2in L_2. Для этого оператора любой ненулевой вектор boldsymbol{v}_1in L_1 является собственным, соответствующим собственному значению lambda=1, так как Pi_{L_1}(boldsymbol{v}_1)=1cdot boldsymbol{v}_1, а любой ненулевой вектор boldsymbol{v}_2in L_2 является собственным, соответствующим собственному значению lambda=0, так как Pi_{L_2}(boldsymbol{v}_2)=0cdot boldsymbol{v}_2. Другие векторы не являются собственными, так как равенство Pi_{L_1}(boldsymbol{v}_1+boldsymbol{v}_2)= boldsymbol{v}_1= lambda(boldsymbol{v}_1+boldsymbol{v}_2) возможно либо при boldsymbol{v}_1=boldsymbol{o}, либо при boldsymbol{v}_2= boldsymbol{o}.

8. Рассмотрим оператор mathcal{Z}_{L_1}colon Vto V отражения на подпространство L_1 параллельно подпространству L_2. Здесь V=L_1oplus L_2 mathcal{Z}_{L_1}(boldsymbol{v}_1+boldsymbol{v}_2)= boldsymbol{v}_1- boldsymbol{v}_2, для boldsymbol{v}=boldsymbol{v}_1+boldsymbol{v}_2, boldsymbol{v}_1in L_1,~ boldsymbol{v}_2in L_2. Для этого оператора любой ненулевой вектор boldsymbol{v}_1in L_1 является собственным, соответствующим собственному значению lambda=1, так как mathcal{Z}_{L_1} (boldsymbol{v}_1)= 1cdot boldsymbol{v}_1, а любой ненулевой вектор boldsymbol{v}_2in L_2 является собственным, соответствующим собственному значению lambda=-1, так как mathcal{Z}_{L_2} (boldsymbol{v}_2)= (-1)cdot boldsymbol{v}_2. Другие векторы не являются собственными, так как равенство mathcal{Z}_{L_1}(boldsymbol{v}_1+boldsymbol{v}_2)= boldsymbol{v}_1- boldsymbol{v}_2= lambda(boldsymbol{}_1+ boldsymbol{v}_2) возможно либо при boldsymbol{v}_1=boldsymbol{o}, либо при boldsymbol{v}_2= boldsymbol{o}.

9. В пространстве V_3 радиус-векторов пространства, отложенных от фиксированной точки O, рассмотрим поворот на угол varphinepi k,~ kinmathbb{Z}, вокруг оси ell, заданной радиус-вектором vec{ell}. Любой ненулевой вектор, коллинеарный вектору vec{ell}, является собственным, отвечающим собственному значению lambda=1. Других собственных векторов у этого преобразования нет.


Пример 9.1. Найти собственные значения и собственные векторы оператора дифференцирования mathcal{D}colon T_1to T_1, преобразующего пространство тригонометрических многочленов (частоты omega=1):

а) с действительными коэффициентами T_1=T_1(mathbb{R})= operatorname{Lin} (sin{t},cos{t});

б) с комплексными коэффициентами T_1=T_1(mathbb{C})= operatorname{Lin} (sin{t},cos{t}).

Решение. 1. Выберем стандартный базис e_1(t)=sin{t},~ e_2(t)=cos{t} и составим в этом базисе матрицу D оператора mathcal{D}:

D=begin{pmatrix}0&-1\ 1&0 end{pmatrix}!.

2. Составим характеристический многочлен преобразования mathcal{D}colon, Delta_{mathcal{D}}(lambda)= begin{vmatrix}-lambda&-1\ 1&-lambdaend{vmatrix}= lambda^2+1..

3. Характеристическое уравнение lambda^2+1=0 имеет комплексные сопряженные корни lambda_1=i,~ lambda_2=-i. Действительных корней нет, поэтому преобразование mathcal{D} вещественного пространства T_1(mathbb{R}) (случай (а)) не имеет собственных значений, а следовательно, и собственных векторов. Преобразование mathcal{D} комплексного пространства T_1(mathbb{C}) (случай (б)) имеет комплексные собственные значения lambda_1,,lambda_2.

4(1). Для корня lambda_1=i находим фундаментальную систему varphi_1 решений однородной системы уравнений (D-lambda_1 E)x=o:

begin{pmatrix}-i&-1\ 1&-iend{pmatrix}!cdot! begin{pmatrix} x_1\x_2 end{pmatrix}= begin{pmatrix}0\0 end{pmatrix}!.

Приведем матрицу системы к ступенчатому виду, умножая первое уравнение на {i} и вычитая его из второго уравнения:

begin{pmatrix}-i&-1\ 1&-i end{pmatrix}sim begin{pmatrix}1&-i\ 1&-i end{pmatrix}sim begin{pmatrix}1&-i\ 0&0end{pmatrix}!.

Выражаем базисную переменную x_1 через свободную: x_1=ix_2. Полагая x_2=1, получаем x_1=i, т.е. varphi=begin{pmatrix}i&1 end{pmatrix}^T.

5(1). Записываем собственный вектор, отвечающий собственному значению lambda_1= icolon, s_1(t)=icdotsin{t}+1cdotcos{t}. Совокупность всех собственных векторов, отвечающих собственному значению lambda_1=i, образуют ненулевые функции, пропорциональные s_1(t).

4(2). Для корня lambda_2=-i аналогично находим фундаментальную систему (состоящую из одного вектора) varphi_2=begin{pmatrix}-i&1 end{pmatrix}^T решений однородной системы уравнений (D-lambda_2E)x=o:

begin{pmatrix}i&-1\ 1&i end{pmatrix}!cdot! begin{pmatrix} x_1\x_2 end{pmatrix}= begin{pmatrix}0\0 end{pmatrix}!.

5(2). Записываем собственный вектор, отвечающий собственному значению lambda_2=-icolon, s_2(t)=-icdotsin{t}+1cdotcos{t}. Совокупность всех собственных векторов, отвечающих собственному значению lambda_2=-i, образуют ненулевые функции, пропорциональные s_2(t).

См. также Свойства собственных векторов линейных операторов (преобразований)

Математический форум (помощь с решением задач, обсуждение вопросов по математике).

Кнопка "Поделиться"

Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.

Добавить комментарий