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

ЛОС ДУ для функции y(x), z(x) называется система уравнений вида

Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru (3.1)

где Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru - непрерывные на (a,b) функции.

Свойства решений ЛОС ДУ (3.1).

1. Сумма двух решений системы (3.1) – тоже решение этой системы.

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

Пусть Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru и Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru – два каких-либо решения системы (3.1). Тогда

Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru

Но Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru и Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru .

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

2. Если y(x), z(x) – решение ЛОС ДУ и c – произвольная константа, то cy(x), cz(x) – тоже решение (3.1). Доказательство свойства аналогично доказательству свойства 1.

Следствие.

Если Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru и Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru - решения системы (3.1), то выражение вида

Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru

где Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru - произвольные постоянные, тоже решение (3.1).

Определение 1. Система функций Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru и Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru называется линейно независимой на некотором интервале (a,b), если из системы равенств

Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru (3.2)

Следует, что Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru

В противном случае система функций Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru и Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru - линейно зависима на (a,b).

Определение 2. Определитель, составленный для системы функций Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru и Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru называется определителем Вронского и обозначается W(x). Итак

Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru .

Теорема 1. Определитель Вронского для линейно независимой на интервале (a,b) системы решений Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru и Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru ЛОС ДУ не равен нулю ни в одной точке (a,b).

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

Докажем теорему методом от противного. Предположим, что существует точка Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru , в которой

Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru

Составим линейную однородную систему уравнений с неизвестными Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru и Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru : Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru (3.3)

Так как определитель системы (3.3) равен нулю, то система имеет бесконечное множество ненулевых решений. Пусть Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru - одно из них. С помощью этих констант и двух линейно независимых на (a,b) решений системы (3.1) Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru и Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru составим две функции

Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru (3.4)

Согласно следствию из свойств решений ЛОС ДУ функции (3.4) являются решениями системы (3.1), которые в силу (3.3) в точке Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru обращаются в нуль. Следовательно, y(x), z(x) – решение следующей задачи Коши:

Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru

Но таким решением может быть только нулевое решение: y(x)=0, z(x)=0 при Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru , т.е.

Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru

Причем Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru . Это означает, что система функций Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru и Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru линейно зависима на (a,b), что противоречит условию теоремы. Значит наше предположение о существовании на (a,b) точки Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru , в которой Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru , неверно, что и доказывает теорему.

Определение 2. Линейно независимые на (a,b) решения ЛОС ДУ Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru и Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru называются фундаментальной системой решений системы (3.1).

Теорема 2. Если семейство функций Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru и Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru образует фундаментальную систему решений ЛОС ДУ (3.1), то их линейная комбинация

Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru , (3.5)

где Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru - произвольные постоянные, дает общее решение системы (3.1)

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

1. Выражение (3.5), согласно следствию из свойств решений ЛОС ДУ, является решением системы уравнений (3.1).

2. Докажем, что (3.5) – общее решение (3.1), т.е. докажем, что каковы бы ни были начальные условия задачи Коши Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru , всегда найдутся значения постоянных Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru такие, что выделенное из общего частное решение ЛОС ДУ:

Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru

будет удовлетворять этим условиям. Для этого подставим в (3.5) начальные условия:

Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru (3.6)

Определителем этой алгебраической системы линейных уравнений является определитель Вронского Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru :

Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru ,

который, согласно теореме 1, не равен нулю. Следовательно, система уравнений (3.6) имеет решение Линейные однородные системы дифференциальных уравнений (ЛОС ДУ). - student2.ru и притом единственное.

Наши рекомендации