для которых решения
системы (6.1), проходящие через
при
покидают
с ростом
в точках, принадлежащих различным связным компонентам множества
Тогда найдется по крайней мере одна точка
такая, что решение
системы (6.1), определяемое условием
остается в
на своем правом максимальном (открытом) интервале существования.
Определения точек входа, выхода и строгого выхода см. в
Доказательство. Если лемма неверна, то существует непрерывное отображение
где при
точка
является первой точкой
в которой решение, проходящее через
встречается с
Отображение
непрерывно, поскольку каждая точка выхода из
является точкой строгого выхода, а решение системы (6.1) непрерывно зависит от начальных условий (теорема
Поэтому из связности множества
вытекает, что образ
является связным множеством, но это противоречит нашему предположению о существовании точек
Теорема 6.1. Пусть
Тогда существует одно и только одно решение
задачи (5.1), (5.2), (5.3). Это решение таково, что
Применяя лемму 6.1, мы используем следующий факт: в случае
задача (5.1), (5.2) имеет тривиальное решение
Поэтому определяемое ниже множество
будет несвязным.
Доказательство теоремы единственности проводится в этом параграфе как для
так и для
Она будет выведена из упр. III.4.1 и использует неравенство (6.2);
с (8.4).
Доказательство. Существование решения при
Перепишем дифференциальное уравнение (5.1) в виде системы первого порядка для трехмерного вектора
где
Рассмотрим это уравнение во всем пространстве
переменных
Пусть множество
открыто, а его граница состоит из множеств
см. рис. 2. Легко проверить, что множество точек выхода из
совпадает с
и все точки выхода являются точками строгого выхода.
Рис. 2. Проектирование
на
-плоскость.
Точки входа образуют множество
Решение
проходящее через точку
где
не лежит в
малых
поскольку
а из того, что
при
вытекает неравенство
при малых
Заметим, что точки из
не являются ни точками входа, ни точками выхода, поскольку им соответствуют тривиальные решения (6.3).
Мы видим, что множество
несвязно. Пусть
и
произвольно}, где
фиксированы,
Множество
; является связным. Обозначим через
решение системы (6.4), проходящее через точку
Если
то точка
является точкой строгого выхода из
Поэтому ясно, что если
мало, то кривая
выходит из
при некотором
в точке, принадлежащей
То же верно и для
при малых
Покажем, что если
велико, то дуга решения
покидает
проходя через точку из
где
Запишем третье уравнение системы (6.4) в виде
Вдоль кривой
при
компонента
не убывает (поскольку
). Следовательно,
Интегрируя, получаем, что при
Поскольку
так что
имеем
Следовательно, если
достаточно велико, значение
становится больше данной положительной постоянной на большом
-интервале
если точка
Поскольку
кривая
выходит из
в точке, где
По лемме 6.1 найдется такое значение
что
Уч
на своем правом максимальном интервале существования, который обязательно совпадает с полупрямой
Для этого решения
при
так что
при больших
Поскольку
при больших то существует
при
Этот предел равен 0, поскольку
при всех
Следовательно,
при
(в противном случае
Этим завершается доказательство существования.
Единственность при
Доказательство основывается на введении новых переменных вдоль решения
уравнения (5.1), для которого
Пусть и — новая независимая переменная и
новая зависимая переменная, так что
или
Поэтому, если обозначать точкой дифференцирование по и, то
Уравнение (5.1) переходит в уравнение
краевые условия (5.2) — в условия
а условие (5.3) — в условие
Пусть
решение задачи (6.8), (6.9), причем
на некотором полуинтервале
Пусть
функция, обратная к
Положим
Тогда
поскольку
так что в силу (6.8)
Тогда (6.13), (6.14) составляют систему дифференциальных уравнений для вектора
причем функция в правой части (6.13) возрастает при возрастании
а функция в правой части (6.14) возрастает с ростом
и не убывает с ростом V при
Следовательно, если
два произвольных решения системы (6.13), (6.14), такие, что
и функции
возрастают с ростом
на всяком интервале
на котором решение определено; см. упр.
и
Предположим теперь, что задача
имеет два различных решения и
при
В силу (6.2) или
при
при
Пусть
соответствующие решения уравнения (6.8), определенные по (6.7);
функции, обратные к
определены по (6.12). Тогда функции
определены при
При этом
Так как и)
при
то
при
но функция
возрастает вместе с
Мы приходим к противоречию, что доказывает единственность.
Упражнение 6.1. Пусть и
решение, существующее в силу теоремы 6.1. Изменив доказательство единственности, покажите, что если
то
при
Упражнение 6.2. Если
, то утверждение о единственности в теореме 6.1 можно доказать, применив один вариант упр. XI
к (6.8), где
при
(и заменив отрезок
фигурирующий в упр. XII.4.6 (а), полупрямой
Упражнение 6.3. Пусть
Покажите, что
то задача (5.1), (5.2) имеет одно и только одно решение и
для которого и
при
Это решение таково, что
при
при