1.3 Формулировка теоремы существования и единственности для нормальной системы

(1.31)

(1.32)

(1.33)

и постоянная A_k не зависит от остальных переменных.

Действительно, из тождества

в силу (1.34) следует неравенство

Заметим также, что условие (1.33) менее ограничительно, чем условие непрерывной дифференцируемости функций f_i по переменным x_i, i=1,,n.

Решением системы уравнений (1.31) называется система непрерывных функций

определенных на некотором интервале r₁ < t < r₂, имеющих непрерывную производную  , причем:

a)  ,

б) при подстановке в соотношения (1.31) вместо x₁,,x_n функций (1.35) соотношения (1.31) превращаются в тождества поt на всем интервале r₁ < t < r₂.

Имеют место следующие утверждения.

Теорема 1.3.1 (О существовании и единственности для нормальной системы)

Пусть (1.31) - нормальная система обыкновенных дифференциальных уравнений. Пусть правые части f_i уравнений (1.31)определены на некотором открытом множестве D пространства точек с координатами (t,x₁,,x_n). Пусть функции (1.32) непрерывны на D и выполнены условия Липшица (1.33). Тогда справедливы утверждения:

а) Для каждой точки

существует решение

системы (1.31), определенное на некотором интервале, содержащем точку t⁰, и удовлетворяющее условиям:

б) Если имеются два каких-либо решения

системы (1.31), совпадающих при некотором t = t^

причем каждое решение определено на своем собственном интервале, то эти решения совпадают всюду, где они оба определены.

Значения (1.36) называются начальными для решения (1.37), а соотношения (1.38) называются начальными условиями для этого решения. Говорят также, что решение (1.37) имеет начальные значения (1.36) или удовлетворяет начальным условиям (1.38).

Так же, как это было сделано в § 1.1 настоящей главы, введем понятие непродолжаемого решения. Именно, говорят, что решение

системы (1.31), определенное на интервале s₁ < t < s₂, является продолжением решения

этой системы, определенного на интервале r₁ < t < r₂, если (r₁,r₂)  (s₁,s₂) и

Решение называется непродолжаемым, если не существует никакого отличного от него решения, являющегося его продолжением. Позже будет доказано, что каждое решение системы (1.31) может быть продолжено (причем единственным образом) до непродолжаемого решения.

Интегральной кривой системы дифференциальных уравнений  (1.31) называется график

ее решения x_i = _i(t), i=1,,n в (n+1)-ом пространстве точек (t,x₁,,x_n). В этом заключается геометрическая интерпретация решений.

Полем направлений, соответствующим системе дифференциальных уравнений (1.31), называется векторное поле

в (n+1)-ом пространстве (t,x₁,,x_n), заданное в области определения системы (1.31). В этом заключается геометрическая интерпретация системы (1.31). Связь между геометрической интерпретацией решения и геометрической интерпретацией самой системы очевидна.

В заключение этого параграфа сформулируем еще одну теорему существования для нормальной системы более частного вида по сравнению с (1.31). Речь пойдет о так называемых нормальных линейных системах уравнений, т.е. системах вида (1.31), для которых функции f_i(t,x₁,,x_n), i=1,,n являются линейными относительно переменных x₁,,x_n:

где  a_ij(t), b_i(t),  i,j=1,,n - известные функции независимого переменного t, определенные на некотором интервале q₁ < t < q₂. Для такой системы уравнений областью задания является полоса

в (n+1)-ом пространстве точек (t,x₁,,x_n).

Теорема 1.3.2 Пусть

- нормальная линейная система уравнений. Предположим, что коэффициенты a_ij(t) и свободные члены b_i(t) являются непрерывными функциями аргумента t на некотором интервале q₁ < t < q₂. Тогда для любых начальных значений  существует, причем единственное, решение системы (1.41) с этими начальными значениями, определенное на всем интервале q₁ < t < q₂.