Линейные дифференциальные уравнения порядка n с переменными коэффициентами

Опр. Линейным дифференциальным уравнением порядка n будем называть уравнение вида

(1)

Где функции - непрерывны на отрезке [a;b], при этом известные функции называются коэффициентами уравнения (1),а заданная функция f(x) – правой частью уравнения (1).

Опр. Если в уравнении (1) функция на [a;b],то данное уравнение называют линейным однородным. В противном случае уравнение (1) называют неоднородным линейным.

В дальнейшем будем считать, что коэффициенты уравнения (1) и его правая часть могут принимать вообще говоря комплексные значения

Опр. Комплекснозначную функцию y=f(x) будем называть решением уравнения (1) на [a;b],если она n-раз непрерывно дифференцируема на [a;b] и обращает данное уравнение в верное тождество.

Непосредственным образом проверяются следующее утверждение:

Лемма1 (принцип суперпозиции для уравнения (1)) Если и есть решение уравнения (1) при на [a;b], , то функция есть решение уравнения (1).

Следствие1. Если и есть решения линейного однородного уравнения, - произвольные числа (постоянные), то их линейная комбинация также является решением исходного линейного однородного уравнения.

Решение уравнения (1) всегда можно свести к решению линейной системы дифференциальных уравнений порядка n (2),

где

Лемма2 Уравнение (1) эквивалентно системе (2).

Доказательство осуществляется на основании замены есть решение уравнения (1).

Данная лемма позволяет перенести все результаты для линейных систем на случай линейного уравнения (1)

Рассмотрим для дифференциального уравнения (1) начальные условия

(3) -есть заданные числа

Теорема 1 Пусть все функции -непрерывны на и пусть точка .Тогда при произвольных начальных значениях решение задачи Коши (1),(3) существует и единственно на всем отрезке .

Доказательство: выполним замену .В результате этой замены уравнение (1) сводится к системе (2).При этом начальные условия (3) примут вид

(4),где . В силу леммы 2 задача Коши (1) и (3) эквивалентно задачи Коши (2) и (4).

В силу условий теоремы 1 матрицы А(х),F(x) –непрерывны на .

Согласно соответствующей теоремы для линейной системы решение задачи Коши (2),(4) существует и единственно на .

Поэтому и решение задачи Коши (1),(3) существует и единственно на .

Следствие 2 Задача Коши (5)

(6)

Где функции -непрерывны на имеет единственное решение

.

Доказательство: В самом деле тождественный нуль на есть решение задачи Коши (5),(6),а оно единственно в силу теоремы 1.

Отметим, что в отличии от нелинейного уравнения теорема 1 гарантирует существование и единственность решения задачи Коши (1),(3) глобальна(т.е. на всем ).