Дипломная работа: Нахождение решений дифференциальных уравнений

Потребуется следующее утверждение о непрерывной зависимости решения (x(t), y(t)) системы (5) от начальных условий. Выберем произвольные числа Т>0, β,γ. Обозначим через (((t), (t)) такое решение системы (5), для которого , .

ТЕОРЕМА 2. Пусть при функция f (x, y) удовлетворяет неравенству (4) и имеет непрерывные частные производные, причем существует такое число В>0, что

| | (7)

Тогда найдётся такая убывающая функция N (E), определенная при Е для любых x(T), y(T), β, γ из неравенств x(T) ≥0, x(T) + β≥0, y(T) ≥Е, y(T) +β≥Е следует неравенство:

≤ N(E) |(β, γ) | (8)

ДОКАЗАТЕЛЬСТВО.

Согласно теореме Лагранжа о среднем для функции нескольких переменных и в силу неравенств (7) можно выбрать такие , и , содержащиеся между

и , что

≤

.

Вследствие положительности f(x, y) при x≥0, y≥α функции монотонно возрастают. Пусть С= , где Е >0.

Так как функция F(k) = возрастает, то при t≥T выполнено , y(t) ≥ E + C(t-T), E + C(t-T).

В соответствии с неравенством (4) имеем:

. .

Сложив эти неравенства, получим:

(.

Вследствие теоремы об оценке решения дифференциального уравнения ([2] , с.29) справедливо неравенство

где z(t) является решением задачи.

.

Имеем

≤

Учитывая эквивалентность норм пространства R2 ([3] , с.32), получаем неравенство (8). Теорема доказана.

Погрешность решения, полученного по формулам (3), оценивает

ТЕОРЕМА 3. Пусть функция f (x, y) удовлетворяет условиям теоремы 2. Тогда существует такое М>0, что для решения (x(t)), y(t)) задачи (5), (6) и его приближения, построенного по формулам (3), выполнено неравенство.

.

ДОКАЗАТЕЛЬСТВО.

Обозначим через (решение системы (5), удовлетворяющее условию , . В соответствии с теоремой Лагранжа о среднем для функции одной переменной найдется такое , что

.