Дипломная работа: Линейные дифференциальные уравнения

Теорема 2.3. Если Ф – фундаментальная матрица для системы (ЛО) и С – (комплексная) постоянная неособая матрица, то ФС также является фундаментальной матрицей системы (ЛО). Каждая фундаментальная матрица системы (ЛО) может быть представлена в такой форме при помощи некоторой неособой матрицы С.

Доказательство. Из (2.1), если Ф – фундаментальная матрица, вытекает, что

,

Или

и, следовательно, ФС есть матрица-решение уравнения (2.2). Так как

det (ФС)=( det Ф)( det С) 0,

то ФС – фундаментальная матрица.

Наоборот, если Ф₁ и Ф₂ – две фундаментальные матрицы , то Ф₂ = Ф₁ С, где С – некоторая постоянная неособая матрица. Для доказательства этого положим Ф₁ ^-1 Ф₂ = Ψ(t). Тогда Ф₂ = Ф₁ Ψ. Дифференцируя это равенство, получим, что . Отсюда и из (2.1) следует, что , или . Поэтому и, следовательно, матрица ψ = С постоянна. Она неособая, так как этим свойством обладают Ф₁ и Ф₂ .

Замечания. Если предполагать, что Ф₂ – решение, то матрица С может быть особой.

Заметим, что если Ф – фундаментальная матрица системы (ЛО) и С – постоянная неособая матрица, то СФ, вообще говоря, не является фундаментальной матрицей.

Две различные однородные системы не могут иметь одну и ту же фундаментальную матрицу, ибо из уравнения (ЛО) следует, что Поэтому матрица Ф определяет матрицу А однозначно, хотя обратное утверждение и неверно.

Сопряженные системы. Если Ф - фундаментальная матрица для системы (ЛО), то

или, переходя к сопряженным матрицам,

Поэтому - фундаментальная матрица для сопряженной системы (ЛО) и матричное уравнение

. (2.3)

Система (2.3) называется сопряженной для системы (ЛО) и матричное уравнение

(2.4)

называется сопряженным для уравнения (2.2.). Это соответствие симметрично, ибо (ЛО) и (2.2) сопряжены (2.3) и (2.4) соответственно.

Теорема 2.4. Если Ф - фундаментальная матрица для системы (ЛО), то Ψ есть фундаментальная матрица для сопряженной системы (2.3) в том и только в том случае, когда

(2.5)

где С – постоянная неособая матрица.

Доказательство. Если Ф - фундаментальная матрица для системы (ЛО) и Ψ есть фундаментальная матрица системы (2.3), то так как - фундаментальная матрица частного вида уравнения (2.3),

где D – некоторая постоянная неособая матрица (теорема 2.3). Поэтому

и можно принять С = D^* .