Понятие о собственных значениях и собственных векторах
Рассмотрим линейную однородную систему
n дифференциальных уравнений с постоянными коэффициентами, которую можно записать в матричном виде как
где приняты следующие обозначения:
Будем искать нетривиальные решения однородной системы в виде
где
V ≠ 0 − постоянный
n-мерный вектор, который мы определим позже.
Подставляя указанное пробное выражение для
X(t) в систему уравнений, получаем:
Данное уравнение означает, что при действии линейного оператора
A вектор
V преобразуется в коллинеарный вектор
λV. Вектор, обладающий таким свойством, называется
собственным вектором линейного преобразования
A, а число
λ называется
собственным значением.
Таким образом, мы приходим к выводу, что для того, чтобы векторная функция
X(t) = [exp (λt)V] являлась решением линейной однородной системы, необходимо и достаточно, чтобы число
λ было собственным значением, а вектор
V − соответствующим собственным вектором линейного преобразования
A.
Как видно, решение линейной системы уравнений можно построить алгебраическим методом. Поэтому приведем далее некоторые необходимые сведения из линейной алгебры.
Нахождение собственных значений и собственных векторов линейного преобразования
Вернемся к полученному выше матрично-векторному уравнению
Его можно переписать как
где 0 означает нулевой вектор.
Вспомним, что произведение единичной матрицы
I порядка
n и
n-мерного вектора
V равно самому вектору:
Поэтому наше уравнение принимает вид:
Из последнего соотношения следует, что определитель матрицы
A −λI равен нулю:
Действительно, если предположить, что
det (A −λI) ≠ 0, то у этой матрицы будет существовать обратная матрица
(A −λI)−1 . Умножая обе части уравнения слева на обратную матрицу
(A −λI)−1 , получим:
Это, однако, противоречит определению собственного вектора, который должен быть отличен от нуля. Следовательно, собственные значения
λ должны удовлетворять уравнению
которое называется
характеристическим уравнением линейного преобразования
A. Многочлен в левой части уравнения называется
характеристическим многочленом линейного преобразования (или линейного оператора)
A. Множество всех собственных значений
λ1, λ2, ..., λn образует
спектр оператора A.
Итак, первый шаг в нахождении решения системы линейных дифференциальных уравнений − это решение характеристического уравнения и нахождение всех собственных значений
λ1, λ2, ..., λn.
Далее, подставляя каждое собственное значение
λi в систему уравнений
и решая ее, находим
собственные векторы, соответствующие данному собственному значению
λi. Заметим, что после подстановки собственных значений система становится
вырожденной, т.е. некоторые уравнения будут одинаковыми. Это следует из того, что определитель такой системы равен нулю. В результате система уравнений будет иметь бесконечное множество решений, т.е. собственные векторы можно определить с точностью до постоянного коэффициента.
Фундаментальная система решений однородной линейной системы
Раскладывая определитель характеристического уравнения
n-го порядка, мы получаем в общем случае следующее уравнение:
где
Здесь число
ki называется
алгебраической кратностью собственного значения
λi. Для каждого такого собственного значения существует
si линейно независимых собственных векторов. Число
si называется
геометрической кратностью собственного значения
λi. В курсе линейной алгебры доказывается, что геометрическая кратность
si не превосходит
алгебраическую кратность ki, т.е. выполняется соотношение
Оказывается, что вид общего решения однородной системы существенно зависит от кратности собственных значений. Рассмотрим возможные случаи, которые здесь возникают.
1. Случай si = ki = 1. Все корни характеристического уравнения действительны и различны.
В данном простейшем случае каждому собственному значению
λi один собственный вектор
Vi. Эти векторы образуют множество линейно независимых решений
т.е.
фундаментальную систему решений однородной системы уравнений.
В силу линейной независимости собственных векторов соответствующий
вронскиан будет отличен от нуля:
Общее решение системы имеет следующий вид:
где
C1, C2, ..., Cn − произвольные числа.
Характеристическое уравнение может иметь
комплексные корни. Если при этом все коэффициенты матрицы
A действительны, то комплексные корни появляются всегда в виде пар комплексно-сопряженных чисел. Предположим, что мы получили пару комплексных собственных значений
λi = α ± βi. Данной паре комплексно-сопряженных чисел соответствует пара линейно-независимых действительных решения вида
Таким образом, действительная и мнимая части комплексного решения образуют пару действительных решений.
2. Случай si = ki > 1. Характеристическое уравнение имеет кратные корни, у которых геометрическая и алгебраическая кратности равны.
Этот случай практически не отличается от предыдущего. Несмотря на наличие собственных значений с кратностью более 1, мы можем определить
n линейно независимых собственных векторов. В частности, любая
симметрическая матрица с действительными числами, у которой есть
n собственных чисел, будет иметь
n собственных векторов. Аналогичным свойством обладают
унитарные матрицы. В общем случае квадратная матрица размером
n x n должна быть
диагонализируемой, чтобы иметь
n собственных векторов.
Общее решение системы
n дифференциальных уравнений представляется в виде
Здесь полное число слагаемых равно
n,
Cij − произвольные числа.
3. Случай si < ki. Характеристическое уравнение имеет кратные корни, у которых геометрическая кратность меньше алгебраической кратности.
В некоторых матрицах
A (такие матрицы называются
дефектными) собственное число
λi кратностью
ki может иметь меньше, чем
ki линейно независимых собственных векторов. В этом случае вместо недостающих собственных векторов определяются так называемые
присоединенные векторы, так чтобы в результате получить множество
n линейно независимых векторов и построить соответствующую
фундаментальную систему решений. Для этой цели обычно применяются два способа:
Детальное описание этих способов решения приводится отдельно на указанных web-страницах. Ниже мы рассмотрим примеры систем дифференциальных уравнений, соответствующие случаям 1 и 2.