Построение общего решения однородной линейной системы по фундаментальной системе решений метод Эйлера

Определение 4. Общим решением линейной системы уравнений (2) называется множество всех решений этой системы.

Теорема 8. Пусть - фундаментальная система решений однородной системы уравнений (3), тогда формула

(15) где - произвольные постоянные, дает общее решение этой системы. Множество всех решений однородной системы уравнений (3) образует -мерное векторное пространство, базисом которого может служить любая фундаментальная система решений.

Система линейных дифференциальных уравнений с постоянными коэффициентами имеет вид

, (1.1)

где - -мерный вектор, - постоянная квадратная матрица размера .

Метод Эйлера заключается в следующем. Решение системы (1.1) ищем в виде

, . (2.1)

Функция (2.1) является решением системы (1.1), если - собственное значение матрицы , а - собственный вектор этой матрицы, соответствующий числу . Если собственные значения матрицы попарно различны и - соответствующие собственные векторы этой матрицы, то общее решение системы уравнений (1.1) определяется формулой

,

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

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

.

Чтобы найти векторы , надо подставить выражение (2.1) в систему (1). Приравняв коэффициенты в левой и правой частях системы, получим уравнения для нахождения векторов .

Если среди собственных чисел матрицы имеются комплексные числа, то указанным выше методом строится соответствующее такому собственному числу решение системы (1.1) через комплексные функции. Чтобы выразить решение через действительные функции (в случае действительной матрицы ), надо воспользоваться тем, что вещественная и мнимая части комплексного решения, соответствующего собственному числу ( ), являются линейно независимыми решениями.