Нормальная линейная система дифференциальных уравнений с переменными коэффициентами записывается в виде
где
xi (t) − неизвестные функции, которые являются непрерывными и дифференцируемыми на некотором интервале
[a, b]. Коэффициенты
aij (t) и свободные члены
fi (t) представляют собой непрерывные функции, заданные на интервале
[a, b].
Используя векторно-матричные обозначения, данную систему уравнений можно записать как
где
В общем случае матрица
A(
t) и вектор-функции
X(
t),
f(
t) могут принимать как действительные, так и комплексные значения.
Соответствующая
однородная система с переменными коэффициентами в векторной форме имеет вид
Фундаментальная система решений и фундаментальная матрица
Вектор-функции
x1(t), x2(t), ..., xn(t) являются
линейно зависимыми на интервале
[a, b], если найдутся такие числа
c1, c2, ..., cn, одновременно не равные нулю, что выполняется тождество
Если указанное тождество выполняется лишь при условии
то вектор-функции
xi (t) называются
линейно независимыми на заданном интервале.
Любая система
n линейно независимых решений
x1(t), x2(t), ..., xn(t) называется
фундаментальной системой решений.
Квадратная матрица Φ(
t), столбцы которой образованы линейно независимыми решениями
x1(t), x2(t), ..., xn(t), называется
фундаментальной матрицей системы уравнений. Она имеет следующий вид:
где
xij (t) − координаты линейно независимых векторных решений
x1(t), x2(t), ..., xn(t).
Заметим, что фундаментальная матрица Φ(
t) является невырожденной, т.е. для нее всегда существует обратная матрица
Φ −1(t). Поскольку фундаментальная матрица содержит
n линейно независимых решений, то при ее подстановке в однородную систему уравнений получаем тождество
Умножим это уравнение справа на обратную функцию
Φ −1(t):
Полученное соотношение однозначно определяет однородную систему уравнений, если задана фундаментальная матрица.
Общее решение однородной системы выражается через фундаментальную матрицу в виде
где
C −
n-мерный вектор, состоящий из произвольных чисел.
Упомянем один интересный частный случай однородных систем. Оказывается, если произведение матрицы
A(
t) и интеграла от этой матрицы
коммутативно, т.е.
то фундаментальная матрица Φ(
t) для данной системы уравнений имеет вид
Такое свойство выполняется в случае
симметрических матриц и, в частности, в случае
диагональных матриц.
Определитель Вронского и формула Лиувилля-Остроградского
Определитель фундаментальной матрицы Φ(
t) называется
определителем Вронского или
вронскианом системы решений
x1(t), x2(t), ..., xn(t):
Определитель Вронского удобно использовать для проверки линейной независимости решений. Справедливы следующие правила:
- Решения x1(t), x2(t), ..., xn(t) однородной системы уравнений являются фундаментальной системой тогда и только тогда, когда соответствующий вронскиан отличен от нуля в какой-нибудь точке t интервала [a, b].
- Решения x1(t), x2(t), ..., xn(t) являются линейно зависимыми на интервале [a, b] тогда и только тогда, когда вронскиан тождественно равен нулю на этом интервале.
Для определителя Вронского системы решений
x1(t), x2(t), ..., xn(t) справедлива
формула Лиувилля-Остроградского:
где
tr (A(τ)) −
след матрицы A(
τ), т.е. сумма всех диагональных элементов:
Формула Лиувилля-Остроградского может применяться для построения общего решения однородной системы, если известно одно частное решение этой системы.
Метод вариации постоянных (метод Лагранжа)
Перейдем к рассмотрению неоднородных систем, которые в векторно-матричной форме записываются в виде
Общее решение такой системы представляется в виде суммы общего решения
X0(t) соответствующей однородной системы и частного решения
X1(t) неоднородной системы, т.е.
где Φ(
t) − фундаментальная матрица,
C − произвольный числовой вектор.
Наиболее общим методом решения неоднородных систем является
метод вариации постоянных (
метод Лагранжа). При использовании этого метода вместо постоянного вектора
C мы рассматриваем вектор
C(
t), компоненты которого являются непрерывно дифференцируемыми функциями независимой переменной
t, т.е. полагаем
Подставляя это выражение в неоднородную систему, находим неизвестный вектор
C(
t):
Учитывая, что матрица Φ(
t) невырожденная, умножим последнее уравнение слева на
Φ−1(t):
После интегрирования получаем вектор
C(
t).