Линейное обыкновенное дифференциальное уравнение
Лине́йное обыкнове́нное дифференциа́льное уравне́ние, дифференциальное уравнение, линейное относительно искомой функции одного независимого переменного и её производных, т. е. уравнение вида
где – искомая, а , – заданные функции; число называется порядком уравнения (1) (ниже излагается общая теория линейного дифференциального уравнения; об уравнениях 2-го порядка см. также статью Линейное дифференциальное уравнение второго порядка).
1) Если в уравнении (1) функции , непрерывны на промежутке , то для любых чисел , и существует единственное решение уравнения (1), удовлетворяющее начальным условиям:
причём это решение определено на всём промежутке .
Уравнениеназывается однородным уравнением, соответствующим неоднородному уравнению (1). Если – решение уравнения (2) и
то . Если – решения уравнения (2), то и любая их линейная комбинация
является решением уравнения (2). Если функцийявляются линейно независимыми решениями уравнения (2), то для всякого решения уравнения (2) найдутся такие постоянные , чтоТаким образом, если (3) – фундаментальная система решений уравнения (2), то его общее решение задаётся формулой (4), где – произвольные постоянные. Для всякой невырожденной -матрицы и всякого существует такая фундаментальная система решений (3) уравнения (2), что
Для функций (3) определитель
называется определителем Вронского, или вронскианом. Если (3) – фундаментальная система решений уравнения (2), то при всех . Если хотя бы в одной точке , то и решения (3) уравнения (2) в этом случае линейно зависимы. Для определителя Вронского решений (3) уравнения (2) справедлива формула Лиувилля – Остроградского:
Общее решение уравнения (1) является суммой общего решения однородного уравнения (2) и частного решения неоднородного уравнения (1) и задаётся формулой
где – фундаментальная система решений уравнения (2), а – произвольные постоянные. Если известна фундаментальная система решений (3) уравнения (2), то частное решение неоднородного уравнения (1) можно найти методом вариации произвольных постоянных.
2) Нормальной линейной системой обыкновенных дифференциальных уравнений -го порядка называется система
или в векторной формегде – искомый вектор-столбец, – квадратная матрица порядка , – заданная вектор-функция. Далее предполагается, что и непрерывны на некотором промежутке . В этом случае для любых и существует единственное решение системы (5), удовлетворяющее начальному условию , причём это решение определено на всём промежутке .
Линейная системаназывается однородной, соответствующей неоднородной системе (5). Если – решение системы (6) и , то ; если – решения, то и любая их линейная комбинация
является решением системы (6); если – линейно независимые решения системы (6), то векторы линейно независимы при любом . Если вектор-функцийявляются фундаментальной системой решений системы (6), то для всякого решения системы (6) найдутся такие постоянные , чтоТаким образом, формулой (8) задаётся общее решение системы (6). Для любых и линейно независимых векторов существует такая фундаментальная система решений (7) системы (6), что
Для вектор-функций (7), являющихся решениями системы (6), определитель матрицыгде первый индекс – номер решения, а второй – номер компоненты, называется определителем Вронского, или вронскианом. Если (7) – фундаментальная система решений системы (6), то при всех , а матрица (9) называется фундаментальной матрицей. Если решения (7) системы (6) линейно зависимы хотя бы в одной точке , то они линейно зависимы при любом и в этом случае . Для определителя Вронского решений (7) системы (6) справедлива формула Лиувилля:
где – след матрицы . Матрица (9) удовлетворяет матричному уравнению . Если – фундаментальная матрица системы (6), то для всякой другой фундаментальной матрицы этой же системы существует такая постоянная невырожденная -матрица , что . Если , где – единичная матрица, то фундаментальная матрица называется нормированной в точке и формулой задаётся решение системы (6), удовлетворяющее начальному условию .
Если матрица перестановочна со своим интегралом, то фундаментальная матрица системы (6), нормированная в точке , задаётся формулой
В частности, для постоянной матрицы фундаментальная матрица, нормированная в точке , задаётся формулой .
Общее решение системы (5) является суммой общего решения однородной системы (6) и частного решения неоднородной системы (5) и задаётся формулой
где – фундаментальная система решений системы (6), а – произвольные постоянные. Если известна фундаментальная система решений (7) системы (6), то частное решение неоднородной системы (5) можно найти методом вариации произвольных постоянных. Если – фундаментальная матрица системы (6), то формулой
задаётся решение системы (5), удовлетворяющее начальному условию .
3) Пусть в системах (5) и (6) и непрерывны на полуоси . Все решения системы (5) одновременно либо устойчивы, либо неустойчивы, поэтому система (5) называется устойчивой (равномерно устойчивой, асимптотически устойчивой), если все её решения устойчивы (соответственно равномерно, асимптотически устойчивы). Система (5) устойчива (равномерно, асимптотически устойчива) тогда и только тогда, когда устойчива (соответственно равномерно, асимптотически устойчива) система (6). Поэтому при исследовании вопросов устойчивости линейных дифференциальных систем достаточно ограничиться рассмотрением однородных систем.
Система (6) устойчива тогда и только тогда, когда все её решения ограничены на полуоси . Система (6) асимптотически устойчива тогда и только тогда, когдадля всех её решений . Последнее равносильно выполнению соотношения (10) для её решений , образующих фундаментальную систему решений. Асимптотически устойчивая система (6) асимптотически устойчива в целом.
Линейная система с постоянными коэффициентамиустойчива тогда и только тогда, когда все собственные значения матрицы имеют неположительные действительные части (т. е. , ); причём собственные значения с нулевой действительной частью имеют лишь простые элементарные делители. Система (11) асимптотически устойчива тогда и только тогда, когда все собственные значения матрицы имеют отрицательные действительные части.
4) Системагде – транспонированная матрица , называется сопряжённой системой для системы (6).
Если и – произвольные решения систем (6) и (12) соответственно, то скалярное произведениеЕсли и – фундаментальные матрицы решений систем (6) и (12) соответственно, то
где – некоторая невырожденная постоянная матрица.
5) Исследование различных специальных свойств линейных систем и, в частности, вопросов устойчивости связано с понятием решения характеристического показателя Ляпунова и развитым А. М. Ляпуновым первым методом в теории устойчивости (см. в статьях Правильная линейная система, Приводимая линейная система).
6) Две системы вида (6) называются асимптотически эквивалентными, если между их решениями и можно установить такое взаимно однозначное соответствие, что
Если система (11) с постоянной матрицей устойчива, то она асимптотически эквивалентна системе , где матрица непрерывна на иПри выполнении условия (13) система асимптотически эквивалентна системе .
Две системы вида (11) с постоянными коэффициентами называются топологически эквивалентными, если существует гомеоморфизм , переводящий ориентированные траектории одной системы на ориентированные траектории другой. Если квадратные матрицы и порядка имеют одинаковое количество собственных значений с отрицательной действительной частью и не имеют собственных значений с нулевой действительной частью, то системы и топологически эквивалентны.
7) Пусть в системе (6) матрица непрерывна и ограничена на всей действительной оси. Система (6) называется обладающей свойством экспоненциальной дихотомии, если пространство разлагается в прямую сумму: , , так, что для всякого решения при выполняется неравенство
а при неравенство
для всех и , где и – постоянные. Свойством экспоненциальной дихотомии обладает, например, система (11) с постоянной матрицей , если не имеет собственных значений с нулевой действительной частью (такая система называется гиперболической). Если вектор-функция ограничена на всей действительной оси, то система (5) со свойством экспоненциальной дихотомии имеет единственное решение, ограниченное на всей прямой .