Рассмотрим в управляемый процесс
(3.1) |
(3.2) |
Предполагаем, что существует число такое, что
(3.3) |
Считаем, что каждое из множеств при является компактом и содержится в шаре радиуса , где - скалярная функция, интегрируемая на каждом отрезке; отображение измеримо по Лебегу.
Движения системы с начальным условием
реализуем с помощью ломаных Эйлера
(3.4) |
(3.5) |
На отрезке ломаные удовлетворяют условиям теоремы Арцела . Следовательно, на отрезке определена функция , которая является равномерным пределом подпоследовательности ломаных при диаметре разбиения . Такую функцию будем называть движением, порожденным управлением .
Считаем, что при построен стабильный мост, удовлетворяющий условию стабильности
(3.6) |
(3.7) |
Теорема 3.1. Для любой ломаной выполнено включение
(3.8) |
(3.9) |
Д о к а з а т е л ь с т в о. Определим
(3.10) |
Тогда включение примет следующий вид:
(3.11) |
Найдем функцию
такую, чтобы выполнялось
условие стабильности для многозначной функции .
Из условия следует, что включение будет
выполнено, если
.
Отсюда и из условия ограниченности получим
(3.12) |
Подставив соотношения
Допустим, что функции и интегрируемы по Риману
на отрезке
.
Тогда при
правая часть в
стремится к следующей величине:
З а м е ч а н и е 3.1. В ряде случаев при построении стабильного
моста удобно брать
Рассмотрим задачу, в которой надо осуществить
включение , где - замкнутое множество в .
Полагая , ищем соотношение для моста в следующем виде:
(3.13) |
Для рассматриваемого случая алгоритм построения управления примет следующий вид:
Поступила 10.10.99