4.5. Линейные неоднородные системы дифференциальных уравнений (лнс ду)

Определение 1. Линейной неоднородной системой дифференциальных уравнений (ЛНС ДУ) называется система уравнений следующего вида

(4.14)

где – заданные непрерывные на интервале функции.

Теорема 1. Общее решение ЛНС ДУ (4.14) представляет собой сумму общего решения соответствующей ЛОС ДУ (4.5) и какого-либо частного решения системы (4.14):

(4.15)

Доказательство.

1. Прежде всего докажем, что система уравнений (4.15) определяет решение ЛНС ДУ (4.14). Для этого, подставим выражение (4.15) в первое уравнение системы (4.14) и покажем, что в результате получится тождество.

,

т.е. имеем .

Аналогичный вывод имеет место и для второго уравнения системы (4.14).

2. Во второй части доказательства докажем, что выражения (4.15) дают общее решение ЛНС. Для этого надо показать, что всегда найдутся числа такие, что выделенное из семейства (4.15) частное решение будет удовлетворять начальным условиям

(4.16)

Согласно теореме 2 раздела 4.3. выражения (4.15) можно переписать в виде:

(4.17)

где и образуют фундаментальную систему решений ЛОС ДУ. Подставим в систему (4.17) начальные условия:

или

(4.18)

Определитель этой системы уравнений есть определитель Вронского

,

но согласно теореме 1 пункта 4.3. , следовательно, система уравнений (4.18) имеет решение и притом единственное: .

Теорема доказана.