logo
du_add

58. Метод исключения для линейных систем с постоянными коэффициентами произвольного вида.

Рассмотрим систему вида: (4)

где Mik(D) – операторные многочлены некоторой степени, f1(x), f2(x), …, fn(x) – достаточное число раз дифференцируемые функции.Попытаемся получить дифференциальное уравнение для одной из неизвестных, например y1. Подействуем на первое уравнение слева оператором N11(D) – алгебраическим дополнением для элемента M11(D) следующего операторного определителя

(5).

На второе уравнение системы (4) подействуем слева оператором N21(D) – алгебраическим дополнением для элемента M21(D) определителя и т.д. На последнее уравнение действуем слева оператором Nn1(D) – алгебраическим дополнением для элемента Mn1(D) определителя (5). Затем, складывая получившиеся уравнения, получаем:

или

(6)

Уравнение (6) – линейное неоднородное уравнение с постоянными коэффициентами. Аналогичным образом получаются уравнения для определения неизвестных y2, y3, …, yn:

(7)

При выводе системы (6)-(7) мы предполагали дифференцируемость решений. Этот факт можно доказать. Может также оказаться , тогда предложенный метод решения ничего не дает.

Пусть . Тогда определитель представляет собой операторный многочлен относительно D некоторой степени m. Степень многочлена m и называется порядком системы (4). Общее решение первого уравнения системы (6)-(7) будет содержать m произвольных постоянных, второго также m постоянных и т.д.Т.о., общее число произвольных постоянных окажется равным m*n. В соответствии с порядком системы (4) независимыми являются только m произвольных постоянных. Для того, чтобы установить зависимость между произвольными постоянными, следует найденные общие решения системы (6)-(7) подставить в исходную систему (4) и потребовать выполнения тождеств для любых x. В рез. этой процедуры должно остаться m произвольных постоянных, через которые выражаются все остальные.