4.2. Метод исключения

Продифференцируем, например, первое уравнение системы уравнений (1.2) по независимой переменной x:

.

Вместо системы (1.2) запишем систему уравнений:

(2.1)

Из первого уравнения системы (2.1) следует, что . Подставим эту функцию во второе уравнение системы (2.1):

.

Итак, исключив из системы функцию z приходим к одному уравнению 2-го порядка, решая которое, получаем: .

Теперь продифференцируем найденное выражение по x и подставим в функцию , получим.

В результате заключаем, что решение примет вид:

(2.2)

Определение 1. Общим решением системы двух обыкновенных дифференциальных уравнений 1-го порядка является совокупность функций (2.2), непрерывно дифференцируемых на некотором интервале , которые при различных допустимых значениях произвольных постоянных удовлетворяют обоим уравнениям системы уравнений (1.2). При этом в области, в которой выполнены условия теоремы существования и единственности, можно получить решение любой задачи Коши.

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

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

(3.1)

где - непрерывные на некотором интервалефункции.

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

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

Доказательство: Пусть и– два каких-либо решения системы (3.1).

Тогда

Но и.

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

2. Если – решение ЛОС ДУ иc – произвольная константа, то – тоже решение (3.1).

Доказательство свойства аналогично доказательству свойства 1.

Следствие. Если и– решения системы (3.1), то выражение вида

где – произвольные постоянные, тоже решение (3.1).

Определение 1. Система функций иназываетсялинейно независимой на некотором интервале , если из системы равенств

(3.2)

следует, что .

В противном случае система функций иназываетсялинейно зависимой на интервале .

Определение 2. Определитель, составленный для системы функций и, называетсяопределителем Вронского и обозначается W(x), то есть

.

Теорема 1. Определитель Вронского для линейно независимой на интервале системы решенийиЛОС ДУ не равен нулю ни в одной точке интервала.

Доказательство. Докажем теорему методом от противного. Предположим, что существует точка , в которой

.

Составим линейную однородную систему уравнений с неизвестными и:

. (3.3)

Так как определитель системы (3.3) равен нулю, то система имеет бесконечное множество ненулевых решений. Пусть – одно из них. С помощью этих констант и двух линейно независимых на интервалерешений системы (3.1)исоставим две функции

(3.4)

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

Но таким решением может быть только нулевое решение: при любом, то есть

Причём . Это означает, что система функцийилинейно зависима на интервале, что противоречит условию теоремы. Значит наше предположение о существовании на интервалеточки, в которой, неверно, что и доказывает теорему.

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

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

, (3.5)

где – произвольные постоянные, даёт общее решение системы (3.1).

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

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

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

будет удовлетворять этим условиям.

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

(3.6)

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

,

который, согласно теореме 1, не равен нулю. Следовательно, система уравнений (3.6) имеет решение и притом единственное.