Теорема о единственности решения задачи Коши для систем оду. Следствие для оду n-го порядка. Случай линейного уравнения и линейной системы.

Теорема:

Пусть в условии теоремы Пеано функция удовлетворяет условию Липшица по y то есть , тогда решение задачи (1), (2) единственно.

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

◄ Пусть и – решения задачи (1), (2) на , тогда

–

= .

По замечанию к лемме Гронуолла:

на ►

Следствия для ОДУ n-го порядка.

Теорема:

Пусть G – область в или , а функция , непрерывна по x и удовлетворяет условию Липшица по z, Тогда существует единственное решение задачи Коши:

,

определенное в окрестности точки .

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

◄ Для доказательства достаточно перейти к нормальной системе и использовать предыдущие теоремы ►

Следствия для линейной системы.

Теорема:

Пусть в системе

, (1)

где

функции и непрерывны на , со значениями в С.

Тогда:

1) ;

2) существует единственное решение задачи (1), (2), где (2);

3) определенном на всем .

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

◄ Пусть – произвольная точка из , а – произвольный вектор из . По теореме Вейерштрассе , , покажем, что удовлетворяет условию Липшица по y (заметим, что непрерывна на ). Имеем

=

.

По доказанным теоремам существует единственное решение, определенное в окрестности точки . Оценим решение задачи (1), (2):

= + + + + + + + + +

По замечанию к лемме Гронуолла

при некотором . Продолжим решение вплоть до границы области , .

В силу график не может выйти на границу

боковой части.

В силу график выйдет на границу

K только при и при продолженное

y(x) определено на всем

0 a b

►

Следствия для линейной ОДУ n-го порядка.

Теорема:

Пусть в уравнении

(1).

и непрерывны на со значениями в С, тогда:

1) ,

2) Для любого набора комплексных чисел ! решение задачи Коши (1), (2), где

(2),

3) определенное на всем

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

◄ Для доказательства достаточно перейти к нормальной линейной системе. ►