Читать в оригинале

<< ПредыдущаяОглавлениеСледующая >>


ГЛАВА XV. ПРИЛОЖЕНИЯ ТЕОРИИ МАТРИЦ К ИССЛЕДОВАНИЮ СИСТЕМ ЛИНЕЙНЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ

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

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

                          (1)

где   - комплексные функции вещественного аргумента , непрерывные в некотором (конечном или бесконечном) интервале изменения .

Полагая  и , мы систему (1) запишем так:

                                                          (2)

Интегральной матрицей системы (4) мы будем называть квадратную матрицу , столбцами которой являются  линейно независимых решений системы.

Так как каждый столбец матрицы  удовлетворяет уравнению (2), то и интегральная матрица  удовлетворяет уравнению

                                                       (3)

В дальнейшем мы вместо системы (1) будем рассматривать Матричное уравнение (3).

Из теоремы о существовании и единственности решения системы линейных дифференциальных уравнений следует, что интегральная матрица  однозначно определяется, если задано значение этой матрицы при некотором («начальном») значении , . В качестве матрицы  можно взять любую неособенную квадратную матрицу -го порядка. В частном случае, когда , интегральную матрицу  будем называть нормированной.

Продифференцируем определитель матрицы , дифференцируя последовательно строки определителя и используя при этом дифференциальные соотношения

 .

Тогда получим:

.

Отсюда следует известное тождество Якоби

                                                       (4)

где  - постоянная, а

- след матрицы .

Так как определитель  не может тождественно равняться нулю, то . Но тогда из тождества Якоби следует, что определитель  при любом значении аргумента отличен от нуля

,

т. е. интегральная матрица при любом значении аргумента является неособенной.

Если  - неособенное  частное решение уравнения (3), то общее решение этого уравнения определяется формулой

,                                                               (5)

где  - произвольная постоянная матрица.

Действительно, умножая обе части равенства

                                                             (6)

справа на , убеждаемся, что и матрица  удовлетворяет уравнению (3). С другой стороны, если  - произвольное решение уравнения (3), то из (6) следует:

,

откуда в силу (3)

и

,

т. е. имеет место (5).

Все интегральные матрицы  системы (1) получаются по формуле (5) при .

Рассмотрим частный случай:

,                                                            (7)

где  - постоянная матрица. При этом  есть частное неособенное решение уравнения (7) и потому общее решение этого уравнения имеет вид

,                                                             (8)

где  - произвольная постоянная матрица.

Полагая в (8)  найдем: . Отсюда  и потому формулу (8) можно представить в виде

                                                      (9)

Эта формула эквивалентна выведенной ранее формуле (46) главы V (стр. 125).

Рассмотрим еще так называемую систему Коши:

 ( - постоянная матрица)         (10)

Этот случай сводится к предыдущему заменой аргумента:

.

Поэтому общее решение системы (10) выглядит так:

                                 (11)

Функции  и , встречающиеся в формулах (8) и (11), могут быть представлены в виде (стр. 125)

            (12)

    (13)

Здесь

( при ; )

- минимальный многочлен матрицы , а   - линейно независимые постоянные матрицы, являющиеся многочленами от .

Замечание. Иногда в качестве интегральной матрицы системы дифференциальных уравнений (1) берут матрицу , у которой строки являются линейно независимыми решениями системы. Очевидно, матрица  будет транспонированной матрицей для :

.

Переходя в обеих частях равенства (3) к транспонированным матрицам, мы вместо (3) получим следующее уравнение для :

                                                      (3')

В правой части этого уравнения матрица  стоит первым множителем, а не вторым, как  в уравнении (3).

 



<< ПредыдущаяОглавлениеСледующая >>