Предложение 3.1.
Пусть условия
(А) и (Б)
выполнены. Тогда для любого справедливо
и
Доказательство. Остановимся на доказательстве равенства (3.2), так как (3.1) проверяется стандартным способом (см., например, [1]).
Пусть означает правую часть (3.2). Поскольку можно взять равным нулю, мы видим, что
С другой стороны, зафиксируем и пусть управление будет следующим:
.
Пусть
- траектория, выпущенная в момент из точки
и соответствующая управлению .
Тогда для любого при
мы имеем из (3.1):
Устремляя к нулю, так как ,
можно заключить из (3.3)
и непрерывности V, что
для всех
Следовательно, что и требовалось доказать.
Используя те же рассуждения, можно получить следующие результаты.
Лемма 3.1. Отображение не убывает на интервале .
Следствие 1.
Если в минимум достигается при
некотором
значении
, то на
интервале отображение
постоянно.
Следствие 2.
Можно объединить ,
получая