Известия Института математики и информатики Удмуртского государственного университета
2020. Том 56. С. 79-101
УДК 517.938
© В. Н. Ушаков, А. В. Ушаков
О НАВЕДЕНИИ ИНТЕГРАЛЬНОЙ ВОРОНКИ УПРАВЛЯЕМОЙ СИСТЕМЫ НА ЦЕЛЕВОЕ МНОЖЕСТВО В ФАЗОВОМ ПРОСТРАНСТВЕ
Рассматривается управляемая система в конечномерном евклидовом пространстве. Изучается задача о конструировании интегральной воронки системы на заданном промежутке времени, сечение которой, отвечающее последнему моменту времени из промежутка, совпадает с заданным целевым множеством в фазовом пространстве. Поскольку точное выделение такой воронки возможно лишь в редких случаях, изучается вопрос о приближенном конструировании интегральной воронки.
Ключевые слова: управление, управляемая система, дифференциальное включение, целевое множество, фазовое пространство, аппроксимирующая система.
Б01: 10.35634/2226-3594-2020-56-07 Введение
В работе рассматривается управляемая нелинейная система в конечномерном пространстве на конечном промежутке времени. Изучается задача о выделении в пространстве позиций управляемой системы интегральной воронки системы, сечение которой, отвечающее последнему моменту времени из заданного промежутка, совпадает с целевым множеством — компактом в фазовом пространстве системы. Точное вычисление интегральной воронки возможно в относительно редких случаях и поэтому изучается вопрос о приближенном конструировании такой воронки. В работе предложен подход к конструированию системы множеств в фазовом пространстве, аппроксимирующей интегральную воронку. Приводятся достаточные условия на динамику управляемой системы, при которых аппроксимирующая система множеств обеспечивает (при достаточно большом числе аппроксимирующих множеств) высокую точность решения сформулированной краевой задачи.
Исследуемая в работе краевая задача является одной из многочисленных задач теории управления динамическими системами, посвященных изучению свойств множеств достижимости и пучков траекторий управляемых систем [1-8]. Работа ориентирована на приближенное решение краевой задачи для интегральных воронок. Предложенный в ней метод приближенного решения дополняет исследования [9-13] в этой области. Эффективность метода проиллюстрирована на двух конкретных задачах о наведении управляемой системы на целевое множество в фазовом пространстве К2.
Работа также примыкает к работам [14-17], посвященным исследованию множеств достижимости управляемых систем.
Авторы посвящают эту статью памяти профессора Евгения Леонидовича Тонкова. Старший из авторов статьи хорошо знал Евгения Леонидовича и высоко ценил его как человека и ученого. С глубоким уважением мы относимся к его памяти, к семье Евгения Леонидовича и желаем членам семьи всего самого хорошего.
§ 1. Постановка задачи о наведении
Пусть на промежутке [¿0,$], ¿0 < $ < задана управляемая система
Нт
— = f (¿,т,и), и е Р. (1.1)
Здесь х — т-мерный вектор из евклидова пространства и — управляющий вектор, Р € сотр(Кр), где сотр(Кк) — метрическое пространство компактов в с хаусдорфовой метрикой.
Предполагается, что выполнены следующие условия.
A. Вектор-функция f (¿, х, и) определена и непрерывна на [¿0, $] х х Р, и для любого компакта О С [¿0,$] х Ет найдется такая постоянная Ь = Ь(О) € (0, то), что
(Ь,х*,и) - f (¿,х*,и)|| ^ Ь|х* - х*| (1.2)
(¿,х*) и (¿, х*) из О, и € Р, а также функция ш*(5), 5 € (0, то) такова, что
(Ь*,х*,и) - f(Ь*,х*,и)|| ^ и*(|Ь* - Ь*| + ||х* - х*||), (Ь*,х*) и (¿*,х*) из О, и € Р. (1.3)
B. Найдется такая постоянная 7 € (0, то), что (¿, х,и)|| ^ 7(1 + ||х||), (¿,х,и) € € [¿0,$] х Ет х Р; здесь || — норма вектора f в евклидовом пространстве.
Считаем, что наряду с системой (1.1) задано множество Х(^ € сотр(Кт). Пусть заданы ¿* и ¿*, ¿0 ^ ¿* < ¿* ^ Полагаем
X(¿*, ¿*, х*) — множество достижимости в Мт в момент ¿* дифференциального включения (д.в.)
ах
— € ^(¿,х) = со^(¿,х,и) : и € Р}, х(Ь*) = х* € Ет, Ь € [Ь*,Ь*]; (1.4)
аЬ
X(Ь*,Ь*,Х*) = X(¿*, ¿*,х*) — множество достижимости в Ет в момент ¿* д.в. (1.4)
ех*
из стартового множества X* С Кт, отвечающего моменту ¿*;
Х(Ь0,х(0)) = У (¿,X(Ь,Ь0,х(0))) С [Ь0,0] х Ет — интегральная воронка д.в. (1.4)
с начальной точкой х(0) € Ет;
Х(Ь0,Х(0)) = У Х(Ь0,х(0)) — интегральная воронка д.в. (1.4) со стартовым множе-
ж(°) ех(0)
ством Х(0), отвечающим моменту ¿0.
Здесь (¿, X) = {(¿, х) : х € X}, X С Ет. Сформулируем задачу о наведении интегральной воронки Х(Ь0, Х(0)) д.в. (1.4) на целевое множество Х(^) € сотр(Ет).
Задача 1 (о наведении). Требуется выделить такое множество Х(0) € сотр(Ет), которое удовлетворяет равенству
Х(0,Ь0, Х(0)) = Х(^. (1.5)
Поскольку Х(Ь0, Х(0)) допускает эффективное аналитическое описание, приводящее к точному выделению интегральных воронок в [¿0, $] х лишь в редких задачах о наведении, то в работе сделан упор на приближенное построение множества Х(Ь0, Х(0)). Предлагается схема приближенного конструирования интегральной воронки Х(Ь0,
Х(0)),
удовлетворяющей (1.5). В этой схеме представлена пошаговая процедура приближенного конструирования Х(Ь0, Х(0)). Эта процедура развивается по шагам во времени. Важно при этом, что аппроксимирующая воронку Х(Ь0, Х(0)) система множеств в Мт, отвечающая некоторому конечному разбиению Г промежутка [¿0,$], является мажорантой для Х(Ь0, Х(0)).
§ 2. Аппроксимирующая система множеств в Кт
При реализации системы множеств в аппроксимирующей интегральную воронку Х(£0, Х(0)), будем стартовать от целевого множества Х(^, отвечающего моменту $ (в прямом времени ¿).
Для этого обратим время £ е [¿0, $]: перейдем к обратному времени т = ¿0 + $ — £ е е [¿0, $], превратив таким образом конечный момент $ в начальный момент ¿0 отрезка [¿0, $]. Прием, заключающийся в обращении времени (то есть в переходе от времени £ к времени т) использовался достаточно часто в задачах о сближении нелинейных управляемых систем с целевыми множествами в фазовом пространстве (см., например, [9-13]). Управляемая система (1.1) примет в обратном времени т вид
— = ^(т,-,и) = —f(¿0 + $ — т,-,и), т е [¿0,$], * е и е Р, (2.1)
ат
и д.в. (1.4) примет вид
— = Н(т,-) = —^(¿0 + $ — т,-), т е [¿0,$], * е Кт. (2.2)
ат
Введем обозначения, связанные с обратным временем т. Пусть ¿0 ^ т* < т* ^ $,
-* е 2* с Кт.
2«(т*, т*, -*), и е Р — множество достижимости в в момент т* системы (2.1) с начальной точкой -(т*) = -*;
2«(т*, т*, 2*) = и 2«(т*, т*, -*) — множество достижимости в Кт в момент т* системы (2.1) со стартовым множеством 2* с Кт, отвечающим моменту т*;
2 (т *,т*,
2*)= П 2«(т* , т* ,2*) (2.3)
«еР
В терминах обратного времени т и многозначного отображения (т*, т*, 2*) м- 2(т*, т*, 2*) (¿0 ^ т* < т* ^ $, 2* с Кт) (2.3) определим замкнутое множество 2 с О с временными сечениями 2(т) с О(т) = {- е : (т, -) е О}, т е [¿0,$], удовлетворяющими соотношениям
2(¿0) с Х(^, 2(т*) с 2(т*, т*(т*)), ¿0 ^ т* < т* ^ $. (2.4)
Здесь О = [¿0,$] х О(0) (О(0)
— достаточно большой замкнутый шар В(0; К) в ) — цилиндр в пространстве [¿0,$] х Кт, содержащий в себе все компоненты конструкций, доставляющих приближенное решение задачи 1. Существование такого цилиндра О обусловлено компактностью целевого множества Х(^ в и условиями A, B, наложенными на систему (1.1).
Множество 2 назовем трактом системы (2.1). Замкнутое множество
с О, максимальное (по включению) среди всех множеств удовлетворяющих (2.4), назовем максимальным трактом системы (2.1).
§ 3. Метод приближенного вычисления 20
Для приближенного вычисления максимального тракта 20 введем разбиение Г = {т0 =
= ¿0, т1,..., т*,..., тм = $} промежутка [¿0, $] с диаметром А = Д(Г) = А* = т*+1 — т* = = N-1($ — ¿0), г = 0,Ж — 1. Разбиению Г
сопоставим систему {20(т*) : т* е Г} временных сечений 20(т*) = {- е : (т*,-) е 20} множества 20. Справедливы соотношения:
20(т0) = Х(*>, 20(т*) е сотр(Кт), т* е Г.
Вслед за {Zo(t) : т e Г} введем систему {Zr(T) : т e Г} множеств Zr(T) = = Z(т, Zr(Tj-i)), i = 1, N, Zr(T0) = X^1 в пространстве Rm. Так как, по определению множества Z0, его временные сечения удовлетворяют соотношениям
Z0(to) = Х(*\ Z0(Tj) С Z(Tj,Tj_i,Z0(Tj_i), i = l7N, (3.1)
то
Z0(Tj) С Zr(Tj), i = l7N. (3.2)
Введем последовательность двоичных разбиений
Г(п) = {т0п) = to,Ti(n),... ,T<n),... ,TN(n)(n) = 0}, n e N,
промежутка [¿0,$]; n(N) = 2n-1. Каждое последующее разбиение Г(п) содержит предыдущие разбиения. Для упрощения обозначений полагаем Z(п)(Т(п)) = Zr(n)(т(п)), i = 0, N(n). Каждому разбиению Г(п) по аналогии с разбиением Г поставим в соответствие систему
{Z(п)(т(n)) : T(n) e Г(п)} С Rm, согласно (3.1), (3.2):
Z(п)(т0(п)) = x^, {Z(n)(T(n)) = Z(т^га),т(_)1 ,Z(n)(T^Ü)), i = iTN(n)}.
Для двоичных моментов т* e [¿0,$] (то есть для т* e (^JГ(п)), справедливы включения
n
Z (т*) С Z(n) (T ), Z(к)(т*) С Z(n) (т*) при k, n из N, n < k, т* e Г(п). (3.3)
Пусть т* — двоичный момент из [¿0,$]. Принимая во внимание (3.3), полагаем, что последовательность {Z(п) (т*)} сходится в хаусдорфовой метрике к компакту ZА(т*) = = Pl Z(п)(т*). Это означает, что для любой точки z* e Za(t*) найдется последовательность
n
{z (n)}, z(n) e Z(п)(т*), n e N, сходящаяся к z*, и любая сходящаяся последовательность {z (n)}, z(n) e Z(п)(т*), n e N имеет пределом некоторую точку z* e ZА(т*).
Распространим определение множества Za(t*) с двоичных моментов т* e [¿0,$] на весь промежуток [¿0,$]. Для этого полагаем tn(T*) = max{T(n) e Г(п) : T(n) ^ т*}. Пусть т* — недвоичный момент из [¿0,$]. Определим Za(t*) = {z* e Rm : z* = = lim z(n)}, где {(tn(T*),z(n))} сходится к (t*,z*) и z(n) e Z(n)(tn(T*)),n e N}. Вместе
ni—y^o
с тем определено множество
ZA = U (T*,Za(T*)) С D. (3.4)
T* e[io,^j
Множество ZA, определенное равенством (3.4) — компакт в [¿0,$] х Rm и, так как оно получено из последовательности систем {Z(n) (т(п)) : T(n) e Г(п)}, n e N, с использованием предельных переходов, то будем писать
ZА = lim {Z(n)(т^1) : T^n) e Г(п)}.
Можно показать, что последовательности {Z(n)(T(n)) : T(n) e Г(п)}, n e N сходятся к ZA в хаусдорфовой метрике:
lim max d(Zа(^п)), Z(n)(^n))) = 0.
¿eo,N(n)
Справедливо следующее утверждение
Л е м м а 3.1. Множества Z0 и ZА совпадают.
Доказательство. Докажем сначала включение ZА С Z0. Для этого покажем, что ZА удовлетворяет соотношениям вида (2.4). В самом деле, справедливо ZА(т0) = Покажем теперь, что
ZA(r*) С Z(т*,т*^А(т*)), (т*,т*) G А*; (3.5)
здесь А* = {(т(1),т(2)) G [io,^j х [¿о,^],т(1) ^ т(2)}.
Пусть произвольно выбраны двоичные моменты т*, т*, (т*,т*) G А* и точка z* G G ZА(т*). Так как z* G Z(")(т*) = Z(т*,t*,Z(")(т*)), n G N, то z* G Zm(t*,t*,Z(")(т*)) при любых u G P, n G N. Значит, некоторая точка z*„" G Z(„" (т*) является начальной для решения z«"" (т) дифференциального уравнения
d z
— = h^u), т G [т*,т *], (3.6)
ат
(„) z * \ *
удовлетворяющего краевому условию zu (т*) = z *.
Считаем, не нарушая общности рассуждений, что последовательность {z«""^)} равномерно сходится на [т*,т *] к некоторой функции z«^). Функция z«^), т G [т*,т*], является решением уравнения (3.6) и удовлетворяет краевым условиям zu(^) = z* = lim z«""^*) G
га^те
G ZА(т*), z«^ *) = z *. Это означает, что
z * G Z^ *, т*, ZА(т*)), u G P (3.7)
Так как точка z * выбрана произвольно в ZА(т *), то из (3.7) (при двоичных т*, т *) следует (3.5).
Пусть теперь т*, т * — недвоичные моменты из А *. Выберем произвольную точку (т *,z*) G ZA. Пусть {(¿„(т*),z")} — последовательность из ZA, сходящаяся к (т *,z *). Рассмотрим последовательность {¿„(т*)}, сходящуюся к т*. Так как ¿„(т*) и ¿„(т*) — двоичные моменты из Г(п), то
Z(п)(^га(т*)) С Z(¿„(т*),^(т*), Z^"(¿„(т*))), n G N,
и, значит, при любом u G P справедливо Z^"(¿„(т *)) С Zu(i„ (т *), ¿„(т* ),Z (n)(i„ (т*))), n G N. Отсюда следует, что для некоторой точки z*„" G Z^"(¿„(т*)) решение z«""^),
т G [¿„(т*),£„(т*)] дифференциального уравнения — = ^(т,z,u), zU"'(¿„(т*)) = z*„" удо-
ат
влетворяет краевому условию zU")(t"(т *)) = z".
Сопоставим каждому n G N такое решение z«""^), т G [¿„(т*),£„(т*)]. Не нарушая общности рассуждений, считаем, что последовательность {zU"'} сходится равномерно на [t*, t*] к некоторой функции z«^) (здесь мы доопределили z«""^) на промежутке [¿„(т*), т*] с помощью равенства z«""^) = z", n G N). Вектор-функция z«^),т G [т*,т*] является решением уравнения (2.1) и удовлетворяет условиям z«^*) = z* = lim z("" G ZА(т*),
„^■те
z«^ *) = z * = lim z" G ZА(т*). Следовательно, z * G Z«^ *,т*^А(т*)), и, так как z * G
га^те
G ZА(т *) и u G P выбраны произвольно, то
ZА(т*) С Z(т *,т*^А(т*)) (3.8)
для недвоичных моментов т , т , (т , т ) G А .
Аналогично доказыватеся (3.8) в случае, когда один из моментов т*, т* — двоичный, а другой — нет. Вместе с тем для всевозможных пар (т*, т *) £ А * установлено (3.5), откуда вытекает ZА С Z0.
Докажем обратное включение Z0 С ZА. В самом деле, для любого двоичного момента т* £ [t0, $] справедливо
Z0(т*) С ZА(т*). (3.9)
Пусть теперь т* £ [¿0,$] — недвоичный момент и (т*,г *) £ Z0. Рассмотрим последовательность {¿„(т*)} двоичных моментов из Г(п), где А(п) = А(Г(п)) 0, n м- то. Так как ZV*) С Z(т*,*„(т*),Z0(¿„(т*))), n £ N, то z* £ Z(т*,£„(т*)^0(£„(т*))), n £ N.
Выберем произвольно u £ P. Справедливо включение z * £ Z^^*,/"^*),Z0(^„(т*)), n £ £ N. Значит, существует такая последовательность {z(t„(т*))} точек z^^*)) £ Z0^^*)) С
С Z^t"^*)), n £ N, которой отвечают решения z^^), т £ [¿„(т*),т*], уравнения — =
ат
= ^(т, z, u), zi")(т*)) = z^"^*)), удовлетворяющие условию zi"^^) = z*, n £ N. Выполняется предельное соотношение (т*^*) = lim (¿„(т*^(¿„(т*)), где (¿„(т*^(¿„(т*))) £ ZA,
n £ N. Следовательно, (т*^*) £ ZA. Так как недвоичный момент т* £ [¿0,$] и (т*^*) £ Z0 выбраны произвольно, то Z0(т*) £ ZА(т*) при недвоичных моментах т* £ [t0 , $]. Принимая во внимание то же включение при двоичных моментах т* £ [¿0,$], получаем, что справедливо (3.9) при всех т* £ [t0,$], т.е. Z0 С ZA. Из включений Z0 С ZA и ZA С Z0 следует Z0 = ZA Лемма 3.1
доказана. □
В лемме 3.1 утверждается, что максимальный тракт Z0 есть предел
ZA = lim {Z(")(т1(")) : £ Г("'}
«промежуточных» систем {Z(n) (т(п)) : т(п) £ Г(п))} в пространстве Rm.
Однако, чтобы в конкретных задачах управления вычислить приближенно Z0, используя эти системы, необходимо уметь точно вычислять множества
) согласно рекуррентным соотношениям
Z(")(т0")) = XW, Z(n)(т^га)) = Z(т^га), т-, Z(")(т-)1)), i = T,Nn).
Мы не имеем возможности точно вычислять множества Z(т *,т*^*) и, следовательно, не имеем возможности вычислять точно и множества Z(")(т(")), i = T, N(n). В связи с этим возникает необходимость в трансформации множеств вида Z(т *, т*, Z*) в такие множества, которые близки, например, в хаусдорфовой метрике, к множествам Z(т *,т*, Z*) и которые при этом можно было бы точно вычислять.
Задавшись целью определить такие вычислимые множества, мы сделаем шаг по направлению к этому: для двоичного разбиения Г промежутка [t0, $] введем аппроксимирующую систему {^г(т) : т £ Г} множеств ) С Rm. При этом определим систему как мажоранту для множества Z0.
Итак, считая, что задано двоичное разбиение Г = {т0 = t0, ri,..., т,..., т^ = $} промежутка [¿0,$], сопоставим каждому полуинтервалу [т,т+1) разбиения Г д.в.
£ H^z«), z(n) = z(i) £ Rm, т £ [тг,тт), u £ P; (3.10)
ат
здесь Ни(т, z) = ^(т, z, u) + ^(A)-B(p)(0; T) = {^(т, z, u) + ^(A)b : b £ B(p)(0;T)}, B(p)(0;T) = = {b £ Rp : ||b|| ^ T}, p(8) = ш*((T + K)8), 8 £ (0, то) (см. оценку (1.3), стр. 80), K = тах(||^(т, z, u) || : (т,z,u) £ D x P) < то, А = А(Г).
Пусть (т, z(i)) и (т, Z(i)) — точка и множество из D, u £ P.
Введем обозначения:
-Г^+ьт,,-«) = + Ай(т*,-«,и) е Кт;
¿1(п+1,п, -(г)) = {-г(тт,т,, -(г)) + ш(А)Ь : Ь е В(р)(0; 1)} — множество достижимости д.в. (3.10) в момент т*+1 со стартовой точкой -(г), отвечающей моменту т*;
(т*+1, т*, 2(г)) = ^(т^, т*, -(г)) — множество достижимости д.в. (3.10) в мо-
z(i)еz(i)
мент т*+1 со стартовым множеством 2(г), отвечающим моменту т*;
^г(тг+1,тг,2«) = р| ^Т(т*+1,тг«); «еР
здесь ш(^) = ^ ■ $ е (0, то), ~ — символ аппроксимации.
Пусть т*, т*+1 из Г, (т*,-(г)) и (тi,Z(г)) из О, и е Р. Полагаем -«(т*+1 , т*,-(г)) = -«(т*+1), где -«(т), т е [т*, т*+1] — решение уравнения
-- = ^(т,-,и), -(т*) = -(г), т е [т*,тт]. ат
Справедлива оценка
||-«(т*+1,т*,-«) — -Г(тг+ьтг,-«)|| ^ ш(А). (3.11)
Из (3.11) следует ^
-„(тг+ьтг,-«) е ^Т(т*+1,тг,-(г)). (3.12)
Из (3.12) следует включение
2„(тг+1 «) с ^(тт,^«). (3.13)
Из (3.13) получаем
2(т*+1,т*,2«) с ^Г(т*+1,т*«), (3.14)
т*, т*+1 из Г, (т*,2«) е Д.
Введем А-систему (аппроксимирующую систему) {¿^(т*) : т е Г} множеств ¿^(т*) с Кт.
Определение 3.1. А-системой {^(т*) : т е Г} множеств (т*) в Кт, отвечающей двоичному разбиению Г промежутка [¿0,$], назовем совокупность множеств
^Г(т0) = Х(^), ^Г(т*) = (тг,тг_1,^Г(тг_1)), г = 1ТЖ (3.15)
Соотношение (3.15) представляет собой рекуррентную пошаговую во времени т процедуру. Сравним системы {^(т*) : т е Г} и {¿^(т*) : т е Г}, отвечающие разбиению Г. Учитывая краевое условие 2Г(т0) = ¿^(то) = Х(^) и включения (3.14), получаем
2Г(т*) с ^Г(тг),т е Г. (3.16)
Принимая во внимание (3.16) получаем
20(тг) с ^(тг) с ^ (т*), т* е Г, г = 0, N.
Из этих включений следует, что А-система {¿^(т*) : т е Г} мажорирует набор {20(т) : т е Г} сечений ^(т*) максимального тракта 20 управляемой системы (2.1).
Обратимся снова к двоичным разбиениям Г(п) = {т0п) = ¿0, т1га),..., т*(п),..., т^П) = $},
п е N. Для упрощения обозначений полагаем ,£(п)(т) = ^^(т),т е [¿0,$], п е N. Тогда А-система {^Г(п) (т^) : т(П е Г(п)} запишется в виде {^(п)(т(га)), 1 е Г(п)}. Введем
в рассмотрение множество П0 = {(г*, z*) £ D : (г*, z*) = lim (tn(r*), zn), где {(tn(г*), zn)} —
некоторая последовательность точек (in(r*),zn) £ (in(r*),Z(n)(tn(т*))),n £ N}.
Справедливо равенство П0(т0п)) = П0^0) = X(ö). Так как при любом т* £ Г(п), n £ N, справедливо включение
Z(п)(т*) С ^(га)(т*), (3.17)
то из равенства Z0 = lim {Z(n)(т(п)) : т(п) £ Г(п)} и (3.17) следует включение
га^-те
Z0 С П0. (3.18) Кроме того, применяя к П0 ту же схему, которая применялась к ZА, получаем включение
П0(т*) С Z(т *,т*, П0(т*)), (т*,т *) £ А *. (3.19) Учитывая П0(т0) = П°(£0) = X(^) и (3.19), получаем, что замкнутое множество
П0
С D есть
тракт системы (2.1) и, значит,
П0 С Z0. (3.20) Из (3.18), (3.20) вытекает следующее утверждение. Л е м м а 3.2. Множества Z0 и П0 совпадают. Отсюда следует предельное соотношение:
Z0 = lim {£(га)(т<га)) : т^га) £ Г(п)}. (3.21)
Соотношение (3.21) мы трактуем как теоретическую основу для использования A-систем {¿7Г(т) : т £ Г} (А(Г)) ^ 0) для приближенного вычисления максимального тракта Z0 в конкретных задачах о наведении на целевые множества. Сведем леммы (3.1), (3.2) в единое утверждение.
Теорема3.1. Множества Z0, ZА, П0 совпадают.
§4. О представлении Z0 в виде интегральной воронки W0 = X(t0, X(0))
дв- f = F (i,x).
Очевидно, что далеко не во всех конкретных задачах о наведении все сечения Z0(т), т £ [t0,$], множества Z0 непусты. В этом параграфе предполагается, что Z0(t) = 0, т £ [т0 ,-$]. Покажем при одном условии, дополнительном к условиям A, B, что решением задачи 1 является множество X(0) = Z0($) С Rm. Для формулировки этого условия обратимся снова к разбиению Г = {т0 = t0, т1;..., ..., т,..., т-1; т^ = $} промежутка [t0,$] и к A-системе {^Г(т) : т £ Г}, отвечающей разбиению Г.
Полагаем: X r(t *,t *,z*) (¿0 ^ t * < t * ^ t * и t * из Г = {¿0, ti,..., tj , ...,tw =
dx
z* £ Rm) — множество достижимости д.в. — £ F(t *,z*), x(t*) = z*,t £ [t *,t *];
dt
XXr(t *,t *, Z*)— XXr(t *,t *, z*);
XX) = XГ(;£,,¿,-1,1Г(т*-1)), г + 3 = N,2 = 0, N — 1, Предполагаем, что выполняется следующее условие.
С. Существует такая функция а(8), 8 е (0, то) (8-1 ■ а(8) ^ 0 при 8 ^ 0), что
^Г(т*),ХГ(£,)) ^ а(А), т + , = ¿0 + 0, г + 3 = N. (4.1)
Здесь d(Z, X) = max(maxmin ||z — x||, maxmin ||z — x||) — хаусдорфово расстояние между
Z G comp(Rm) и X G comp(Rm).
Отметим, что условие C с входящей в него оценкой (4.1), не является слишком ограничительным для конкретных задач о наведении типа задачи 1. Введем также в рассмотрение замкнутое множество W0 С D, связанное с трактом Z0 соотношениями
W0(t) = Z0(т), t + т = to + tf, t G
dx
Теорема 4.1. Множество W0 есть интегральная воронка д.в. — G F (t, x), t G [t0, tf].
dt
Доказательство. Докажем, что W0 удовлетворяет двум условиям:
a. Множество W0 инвариантно относительно д.в. — G F(t,x), t G [t0,tf];
dt
dz
b. Множество Z0 слабо инвариантно относительно д.в. — G H(т,z), т G [t0,tf].
dT
Сначала докажем, что выполняется условие а. Зафиксируем произвольный промежуток [t *,t *] из [t0,tf], где t *,t * — моменты разбиения Г. Пусть (t *,x *) — произвольная точ-
dx
ка из W0. Покажем, что любое решение x(t), t G [t *,t *], д.в. — G F(t,x), x(t *) = x *,
dt
удовлетворяет включению x(t) G W0(t), t G [t *,t *]. Для этого наряду с движением x(t), t G [t *, t*], рассмотрим некоторое движение y(t), t G [t*,t*], y(t *) = y* G Rm, системы (1.1), порожденное некоторым управлением u*(t), t G [t *,t *], постоянным на полуинтервалах [tj,tj+i) С [t *,t *] разбиения Г. При этом, вообще говоря, x * = y*, и кусочно-постоянное управление u *(t), t G [t *,t *], определим на полуинтервалах [tj,tj+1) как постоянное управление u(e) G P на основе экстремального прицеливания на движение x(t), t G [t *,t *].
Итак, выделим в промежутке [t *,t *] некоторый промежуток [tj,tj+1 ] разбиения Г и для упрощения обозначений полагаем n* = tj, n * = tj+1. Также обозначим p(t) = ||x(t) — y(t)||, t G [t *,t *]. Сначала выведем локальную оценку сверху рассогласования p(n *)2 через
dx(t)
р(п*)2. Для движения x(t), t G [n*,n *] справедливо включение —:— G F(t,x(t)) =
dt
= co{f(t,x(t),u) : u G P} п.в. на [n*,n *], откуда следует равенство x(n *) = x(n*) +
/П» m+1
f*(n)dn, где f*(n) = «¿(n)f(n, x(n), uW(n)) п.в. на [n*,n *], u(i)(n) G P, «¿(n) ^ 0
■■* ¿=1 _ m+1
при i = 1,m + 1; «¿(n) = 1. Движение y(t), t G [n*,n *] представимо в виде y(n *) =
¿=1
v*
= y(n*) + / f (n, y(n),u(e)) dn, где вектор u(e) G P выбирается удовлетворяющим соотноше-
n*
нию
(s*, f (n*,y(n*),u(e))) = max(s*, f (n*,y(n*),u)), s* = x(n*) — y(n*).
Из приведенных соотношений получаем
Г п*
р(п *)2 = НСхСп-) -у(п*))+ / (Г(п) -/(п,у(п)Уе)))¿п112 =
и П*
г п*
= ||х(п*) - У(п*)1|2 + 2(в *, / (/ *(п) - (4.2)
г п*
- /(п, у(п), и(е))) ^п) + || / (/ *(п) - /(п,у(п),и(е))) ¿П||2.
п*
Приведем (4.2) к виду, удобному для последующих выкладок: р(п *)2 =
ГП* -п*
Is* ||2 + 2/ (s*,f* (n) — f(n,y(n),u(e))) dn + || / (f* (n) — f (n, y(n), u( )) dn|2. (4.3)
Проведение оценки сверху величины р(п *)2 начнем с оценки второго слагаемого в правой части равенства (4.3). Для этого сначала оценим величину
<s *,f*(п) - f (n,y(n),u(e))), П £ [п*,п *]. (4.4)
При оценке величины (4.4) используется свойство экстремального управления ue, определенного согласно принципу экстремального прицеливания Н.Н. Красовского. При п £ £ [п *, п *] справедливо равенство
т+1
(я *,/* (п) — / (п,У(п)Уе))> = £ а.(п)(я *,/ (п,х(п),««(п)) — / (п, У(п), «(е)>. (4.5)
г=1
Также при п е [п *, П *] справедливы равенства
(я *,/ (п,ж(п)Уг)(п))> = = (я *,/ (п*,х(п* ),«(г)(п))> + (я *,/ (п,ж(п)Уг)(п)) — / (п*,х(п* ),«(г)(п))>,
(я *,/(п, у(п), и(е))> = (4.6)
= (я *,/ (п*,У(п* ),и(е))> + (я *,/ (п, у(п), и(е)) — / (п*,У(п* ),и(е))>.
Из равенств (4.5), (4.6) следует
Я(п)) — /(п, х(п), и(е))> = (я *,/(п* х(п ) ^(е))> + (я *,/ (п,х(п),и(г) — / (п*,х(п* ),«(г)(п))> + (я *,/ (п, у(п), и(е)) — / (п*,У(п* ),и(е))>.
Оценим сверху каждое из слагаемых правой части равенства (4.7). Справедлива оценка
(я *,/(п*,х(п* )У°(п)) — / (п*,У(п* ),и(е))> = = (я *,/(п*,х(п* ),«%)) — / (п*,У(п* ),«%))> + (4.8)
+ (з *,/ (п*,У(п* ),«%)) — / (п*,У(п* ),и(е))> ^ Ь ■ || я * ||2,
(s*,/(n,x(n),u(i)(n)) - / (n,x(n),u(e))) = (s*,/(n*,x(n*),u(i)(n)) -
- /(n*,y(n*),u(e))) + (s *,/(n,x(n),u(i)(n)) - (4-7)
согласно условию А, наложенному на правую часть системы (1.1) (см. неравенство (1.2)), и выбору управления и(е) е Р. Также, учитывая условие А, получаем при п е [п *, п *]
(s *,/(n,x(n),u(i)(n)) - /(n*,x(n*),u(i)(n))) ^ ||s* II ■ II/(n,x(n),u(i)(n)) -- /(n*,x(n*),u(i)(n))II ^ Y* ■ ^*((n * - П*) + I|x(n) - x(n*)II) ^ Y* ■ ^ *((n * - П*) +
(4.9)
ГЦ
+ ||/*(n)|| dn ^ Y * ■ w*((1 + K)Д);
J n*
здесь n* - n* = tj+i - t,- = Д = Д(Г), K = max (||/(t,x,u)| : (t,x,u) G D x P) < то,
Y* = max ||z(1) - z(2)|| ^ то.
z(1),z(2) из ro(°)
Также при n G [n *,n *] справедлива оценка, аналогичная предыдущей оценке:
<s *,/(n,y(n),u(e)) - /(n*,y(n*),u(e))) ^ Is *|| ■ ||/(n,y(n),u(e)) -
- /(n*,y(n*),u(e))| ^ Y* ■ w*((n * - n*) + (4 10)
rn* ( ' )
+ / ||/(n,y(n),u(e))| dn) ^ Y* ■ W*((1 + K)Д).
Jn*
(4.12)
Принимая во внимание оценки (4.8), (4.9), (4.10), получаем при n £ [n*,n *]
<* *, f *(п) - f (п,У(п),и(е))) ^ L - И**||2 + 27* ■ ш*((1 + K)Д). (4.11)
Учитывая (4.11), получаем оценку сверху для второго слагаемого в правой части равенства (4.2).
г п*
2<**, / (f *(п) - f (n,y(n),u(e))) dn) ^
J п*
^ 2L ■ Д||* *||2 + 47*Дш*((1 + K)Д), n £ [n*,n *]. Третье слагаемое в правой части равенства (4.2) стеснено оценкой
г п*
И (f *(n) - f (n,y(n),u(e)) dnll2 ^
п*
г п*
^ ( / (llf *(п)И + llf (n,y(n),u(e))И dn)2 ^ 4K2Д2.
п*
(4.13)
Из (4.2), учитывая оценки (4.12), (4.13), получаем
р(п*)2 ^ (1 + 2£Д)р(п*)2 + 47*Дш *((1 + К)Д) + 4К2Д2. (4.14)
Принимая во внимание принятое ранее обозначение ш(8) = 8 ■ ш*((1 + К)8), 8 € (0, то), введем функцию х(8) = 47 *-ш(8)+4К282, 8 € (0, то). Тогда (4.14) можно трансформировать в оценку
р(4^)2 ^ ■ )2 + х(Д;), з* ^ з ^ Г - 1, (4.15)
где 4^ = 4 *, = 4 *. Из локальных оценок (4.15) выводим следующую оценку сверху
j*-i
Д j*-
j*-i
p(t*)2 ^ e j=j* (p(t*)2 + £х(Д^)). (4.16)
j=J*
j*-i
Преобразуем сумму х(Д^) в (4.16) к более удобному для анализа виду:
j=J*
j*-i j*-i
£х(Д") = 5>Т* ) + 4K2Д2) = 4(t* - t*) ■ (y *Ш *((1 + K)Д) + K2Д). (4.17)
) , 4 К2 Д 2) 4 (4* 4 ) (-.*..* (
Принимая во внимание оценку (4.17), получаем глобальную оценку величины р(4*)2 сверху:
р(4 *)2 ^ ) . (р(4*)2 + 4(4 * - 4 *)(7* . ш *((1 + к)Д)) + К2Д)), (4.18)
40 ^ 4 * < 4 * ^ 4 *, 4 * — моменты из двоичного разбиения Г промежутка [40,$].
Очевидно, что оценка (4.18), справедливая для моментов 4 *, 4 * из двоичного разбиения Г, имеет место для любых двоичных моментов 4 *,4 * из промежутка [40,$]. Рассмотрим последовательность двоичных разбиений Г(п), п € N промежутка [40,$], где Д(п) = Д(Г(п)) | 0 при п ^ то, а также последовательность {у(п)(4)} на [4 *,4 *] решений дифференциального уравнения
^ = / (4,х,и), у(п) (4 * ) = х *,
порожденных на [t*,t*] кусочно-постоянными управлениями u*(n)(t), постоянными на промежутках [ijra)>ij+)1) разбие ний Г(п). Эти управления u * n (t), отвечающие разбиениям Г(п), определяются аналогично управлению y* (t), отвечающему разбиению Г промежутка [t0, $]. Полагаем p(n)(t) = IIx(t) - y(n)(t)I, t G [t *,t *], n G N. Функция p(n)(t) на [t *,t *] стеснена оценкой, справедливой для двоичных моментов t из [t *,t *]:
p(n)(t)2 ^ e2L(i-it)(p(t*)2 + 4(t - t *) ■ (y* ■ w*((1 + K)A(n)) + K2A(n))), (4.19)
вытекающей из оценок вида (4.18) для разбиений Г(п), n G N. Из (4.19) следует, что на множестве J двоичных моментов t промежутка [t *, t *] справедливо неравенство
sup p(n)(t) ^ £(га), где lim е(га) = 0. (4.20)
т eJ
Учитывая (4.20), получаем включение
x(t) = lim y(n)(t) G W(0) (t), t G J. (4.21)
Из (4.21), замкнутости множества W0 и непрерывности вектор-функции x(t) на [t *,t *] следует
x(t) G W0(t), t G [t *,t *]. (4.22)
Поскольку (4.22) выполняется для любого решения x(t), x(t*) = x* G W0(t *), д.в.
dx
— G F(t,x), то это означает, что W0 инвариантно относительно этого д.в. Показано, что выполняется условие а.
Покажем, что выполняется условие b : для любой точки z(0) G Z0(t0) найдется решение
dz
z0(t), т G [t0,$], д.в. — G H(т, z), z0(r0) = z(0), удовлетворяющее включению
dr
z0(t) G Z0(т), r G [to,^].
Предварительно опишем кратко шаги, приводящие к условию b. Выберем двоичное разбиение Г = {т0 = t0, Ti,..., т,..., rN = $} и A-систему {^(т) : т G Г}. Далее, для произвольной точки z(0) G Z(0)(т0) = X(^) опишем как конструировать по шагам [т,т+1], i = 0, N - 1, ломаную zr(r) на [t0, $] в Rm, удовлетворяющую включениям
^ G H(Tj,zr(Tj)), т G [Tj,Tj+i), dr
а также обладающую «хорошей» близостью к Z0. Затем рассмотрим последовательность {Г(п)} двоичных разбиений Г(п), A(n) 0 при n м- то. Каждому Г(п) сопоставим (сконструируем) такую ломаную z(ra)(r) = zr(n) (т), т G [t0,$].
Из последовательности {2(га)(т)} на [t0,$] выделим последовательность, сходящуюся равномерно на [t0,$] к некоторой вектор-функции z(т) на [t0,$].
Из «хорошей» близости точек 2(га)(т(га)) к ^7(га)(т(га)), i = 1,N(n), n G N, сходимости систем {^7(га)(т(га)) : т(п) G Г(п)} к Z0 при n м то и замкнутости Z0 следует, что непрерывная вектор-функция z^) удовлетворяет включению (т, z^)) G Z0, т G [t0,$]. Также dz (т)
справедливо д.в. —-— G H(т,z(т)), z(т0) = z(0), п.в. на [t0,$]. dт
Детализируем изложенную схему. Разбиение Г = {т0 = t0, т^,..., т,..., т^ = $} будем рассматривать также параллельно и в прямом времени t : Г = {t0, t1,..., tj,..., tN = $} (т+tj = t0i =1, N). Привлечем к рассмотрению также A-систему {^г(т) : т G Г}, отвечающую разбиению Г. Опишем пошаговую процедуру конструирования ломаной 2Тг(т),
т € [¿0,$]. Эту процедуру начнем в произвольно выбранной точке г(0) € Z'г(т0) = ^0(г0) = Параллельно с последовательностью {^(т^),^ € Г} будем конструировать еще две вспомогательные последовательности {^(^) : € Г} и {уг(^) : € Г} точек ) € г(^-) и ) € ^
Процедура построения точек гг(тг), ), ) последовательно по шагам [т*,т*+1] разбиения Г однотипна. Незначительное отличие есть лишь на начальном шаге [т0,т1]: на этом шаге точка ) полагается совпадающей с точкой ?г(т0) = г(0). На других шагах [тг,т*+1] равенство ) = ?г(тг) (г + ] = N) не обязательно.
В ходе конструирования ломаной ?г(т), т € [¿0, $] нас будет интересовать оценка сверху величины
= ||!г(тг) - )||, тг + ^ = ¿0 + ^
через величину е(г-1) = |?г(тг-1) — вычисленную на предыдущем шаге [т^т]
разбиения Г.
Итак, считая, что выбрана точка ?г(т0) = г(0) € ¿г(т0), полагаем ) = ?г(т0) и находим в Xг(^) ближайшую точку ) к точке ) (см. рис. 1). Согласно условию С, справедливо неравенство
е(0) = Ы — хг(У|| ^ а(Д). (4.23)
Предположим теперь, что, стартуя из точки ?г(т0) и принимая во внимание оценку (4.23) мы в нашей процедуре осуществили шаги [т0, т^], [т2, т3],..., [т-2, т^-1], [т^, т] и реализовали точку ?г(тг) ломаной ?г(т), точку ) € Z'г(т) и точку ) € Хг(^) — ближайшую в Xг) к точке ) (см. рис. 2). Согласно условию С, справедлива оценка
) — ^)|| ^ ^(Д)- (4.24)
г&-1)
?(т*+1)
?г(т*+1)
?г(т*) Ь(*-1)
К"
? (т*-1)
№+1)
Рис. 2.
Для последующих оценок введем в параллель величине е(г) величину
¿7 = ¿0
р« = Н?^) — ) ||, т* + = ¿0 + г = о, N.
Опишем процедуру конструирования ломаной ?? (т) на [т*, т*+1]; для этого сначала опишем построение точки ?(т*+1). Точка ^(¿^) представима в виде ) = у^^) + Д/(7), где
?г(¿j-l) € ^г(т*+1), /(7) € Р(¿7-1,?(¿7-1)). Вектор /(7) представим в виде
т+1
т+1
/(7) ^ (¿7-1,?г(*7--1 а* ^ 0, = 1, и(к) € Р, к = 1,т + 1.
к=1
к=1
Определим вектор
т+1
^ = £«Ь(т*,1г(тг),«(к)) € Н(тг,!г(тг))
к=1
= —Р(¿0 + 0 — т*, ? (т*)) = —Р(¿7, ? (т*)), г + ^ = N. Введем точку ?г(т*+1) = ? (т*) + Д^(г). Оценим сверху величину е(г+1), оценив предвари-
тельно величину р(*+1) через е(г). Справедлива оценка
р(*+1) = ||?г(тг+1) — ^(¿,.-1)
= ||(?г(т*) + Д^(*)) — ) — Д/(7))|| =
(?г(т*) — )) + Д(Ь« + /(7))|| ^ е« + Д||Ь« + /(7)||.
(4.25)
Справедлива оценка
т+1
+ /7)|| ^ ||£«(Мтг,?(тг)Ук)) + /(¿j-l,yГ(¿j-l),u(fc)))Н
к=1
^ тах ||й(тг,?(тг),«(к)) + /(¿^ьу^-ОУ^Ц.
7-1
'Г/
(4.26)
к=1,т+1
Оценим теперь сверху величину ||^(т, :Г(т), и) + f (¿^ь 1), и) ||, и € Р. Так как, по определению, выполняется равенство
^(т,1Г(т),и) = ^ (¿0 + $ - Т,:Г(т) , и) = ^ (^ ,:Г(т),и),
то справедливо
Мтг,:(Т),и) + f ^-ьГ^Ы = f -
- f & ,2Г(тг),и) = а & ),и) - f (^,!Г(тг),«)) + (f ) -
-Дf^и) - f&),и)).
Справедлива оценка
||Мт,:Г(т),и) + f(^-1,уГ(^-1),«|| ^ ||f&),и) - f&, 1Г(т),и)|| +
+ ||f(¿,--1,:Г(*,-) - Дf(Л,«) - f^ (4.27)
^ Ь • е(г) + и * (|^-1 - ^ | + Д|^ ш||) ^ Ь • е(г) + и * ((1 + К )Д).
В этом неравенстве учтены (t^-1,f(:?)) € О и К = (¿,ж,и)|| : (¿,ж,и) € О х Р).
Принимая во внимание (4.24), (4.25), (4.26), (4.27) получаем оценку
е(г+1) ^ р(т) + ||жГ(*,-) - )|| ^ р(т) + а(Д) ^ е(г) + Д(Ье(г) + и *((1 + К)Д)) + а(Д).
Введем в рассмотрение функцию А(5) = и(5) + а(5), а € (0, то). Из предыдущей оценки следует локальная (на промежутке [т, т+1]) оценка величины е(г+1) через е(г):
£(г+1) ^ + А(Д.). (4.28)
Из оценок вида (4.28) для величин е(г), е(г-1),..., е(1) получаем путем последовательной подстановки вместо них их оценок сверху:
£(г+1) ^ еЬ(г,+1-4о) • е(0) + еь(г,+1-4о) • (т.+1 - ¿о) • (и * ((1 + К)Д) + а * (Д)),
- (4.29)
г = 0,Ж - 1;
здесь обозначено а *(5) = 5-1 • а(5), 5 € (0, то). Оценку (4.29) запишем в виде
е(г) ^ еь(т^о) • (т - ¿о) • (и *((1 + К)Д) + а *(Д)), г = Т;Ж (4.30)
Далее замечаем, что точки :Г(т) в проведенных рассуждениях определялись равенствами
?(т) = ^(т-!) + Дй(г-1), (4.31)
где й(г-1) € Н(тг-1, Г(тг_1)), г =
Рассмотрим последовательность {Г(п)} двоичных разбиений Г(п) промежутка [¿0,$] (Д(п) = Д(Г(п)) I 0 при п ^ то).
Каждому разбиению Г(п) сопоставим, в соответствии с приведенным выше алгоритмом для разбиения Г, последовательность ?(га)(т(га)) = :Г(га)(т(га)), г = (п), где :(га)(т0(га)) = = г(0) € :(п)(т0п)) = Х(^),у(п)(т0га)) = :Г(П)(т0(п)) = ^п)(т0га)). Последовательность 2^п)(т,(п)) определяется соотношением вида (4.31):
2<п)(т(га)) = ^(т-)) + Дй(г-1)(п), где й(г-1)(п) € Н(Т-,)), г = (п).
Через точки (г,(га)), г = 0,Х(п), отвечающие разбиению Г(п), проведем, как через узлы, непрерывную ломаную 2(га)(г), т € [¿о,0]'
2<п)(г) = ) + (т - т-)^-1)(п), т € [т^П!, тП г = Т^.
Для разбиений Г(п), п € N и отвечающих им узловых точек 2(п)(т(п)), г = Т,Х(п), оценка (4.30) примет вид
е«(п) ^ еь(т^-4о) ■ (т^ - ¿о) ■ А *(Д(га)), т(га) € Г(п), п € N. (4.32)
В (4.32) используются обозначения: е(г)(п) = ||2(п)(т(п)) — 2г(п) (¿^п))||, т(п)и ¿га) из Г, + ¿П = ¿о + г = Т,Х(п); А*(5) = и*((Т + К)5) + а *(5), 5 € (0, то).
(га)/ (п)\ 2 (га)/+(га)
Так как Л *(Д(п)) | 0 при n ^ то, то max p(z(n) (Т(П) ),X (n) (tjn))) 0 при n ^ то;
ieo,w (n)
здесь p(z,X) — расстояние от точки z до множества X в Rm; X(n)(tjn)) = Xr(n)(tjn)), rin) + tjn) = to + tf. Поскольку max d(X(n) (tjn)), (т(п))) ^ 0 при n ^ то и
i=0,N (n)
max d(Z(n)(T(n)),Z(0)(r^)) ^ 0 при n ^ то, то max d(X(n)(tJn)),Z(0)(т(п))) ^ 0 при
i=0,N (n) i=0,N (n)
n ^ то и, значит,
max p(z(n)(r^n)), Z(0)(T(n))) ^ 0 при n ^ то. (4.33)
i=0,N (n)
Не нарушая общности рассуждений, будем считать, что существует равномерный предел lim z(n)(r) = z(t) на [t0,$]. Из (4.33), замкнутости множества Z0 и непрерывности z(t)
ni—^^о
на [t0,$] следует (т, z(t)) G Z0, т G [t0,$]. Кроме того, из (4.31) следует, что вектор функ-
dz
ция z(t), т G [t0,$], z(t0) = z(0) G Z(0)(t0), удовлетворяет включению — G H(т, z) п.в.
dr
на [t0,$]. Вместе с тем мы показали, что выполнено условие b, т.е. множество Z0 слабо инвариантно относительно д.в. (2.2). Теорема 4.1 доказана. □
§ 5. Примеры
На промежутке [t0,$] = [0, 2] рассматриваются две конкретные задачи 1 о наведении интегральной воронки нелинейной управляемой системы в R
2.
X1 = —x2 ■ (2 +— sint) + a(x) ■ —||Xj| ,, ■ ui, 2 1 + ||x||
X2 = xi ■ (2 + 1 sint) + a(x) • ||X|| .. ■ U2, 2 1 + ||x||
0.01 при ||x|| < 1, a(x) = { 0.01
(5.1)
при ||x|| ^ 1.
Здесь х = (х,х2), и = (иьи2) € Р = {и * = (и!,и2) : ||и*|| ^ 0.5} Рассматриваются два варианта целевого множества М в форме овалов Кассини:
a) М = {(х1,х2) : ((х1 — а)2 + х2) ■ ((х1 + а)2 + х2) ^ Ь4}, а = 5, Ь = 5.5;
b) М = {(х!,х2) : ((х2 — а)2 + х!) ■ ((х1 + а)2 + х1) ^ Ь4, а = 5, Ь = 5.5. Рассматриваемая здесь в двух вариантах задача 1 состоит в выделении в фазовом пространстве К2 системы (5.1) начального множества Х(0), удовлетворяющего равенству
Х(2,0, Х(0)) = М; (5.2)
здесь Х(2, 0, Х(0)) — множество достижимости в момент 2 системы (5.1), то есть временное сечение в М2 интегральной воронки Х(0, Х(0)) системы (5.1), отвечающее моменту $ = 2 и с начальным множеством
Согласно теории, изложенной в параграфах 2—4, множество Х(0) в М2 вычисляется точно как конечное временное сечение = ^0(2) С М2 максимального тракта системы (5.1), представленной в обратном времени т € [0, 2] с начальным временным сечением
^ 0(т0) = ^(0) = М.
Вычисление множества удовлетворяющего равенству (5.2), осуществлялось приближенно путем приближенного вычисления Z0, согласно алгоритмам приведенным в параграфах 2—4.
Приближенное вычисление максимального тракта Z0 проведено в виде А-системы {^г(т) : т € Г}, отвечающей разбиению Г = {т0 = 0, т^, т2,..., т,..., т^ = $ = 2} промежутка [0, 2] с диаметром А = Д(Г) = 0.005 (Д^ = т+1 — т = Д, г = 0, N).
В результате этих приближенных вычислений получаем аппроксимацию множества Х(0) — множество ^г(2).
После этого осуществляется анализ точности полученного решения уравнения (5.2). Для этого конструируется приближенно в прямом времени £ € [0, 2] по шагам
а
интегральная воронка Ж0 = Х(0, Х(0)) системы (5.1) с начальным множеством Xг(т0) =
а
= ^г(2) в виде системы множеств {Xг(^) : ^ € Г}, отвечающей разбиению Г:
X г(^- )= X г(^- Л-1,Х г&_1)) = {хг(^-) = хг(^_1) + Д^/^ : х^) € XXг(^_1), /^^ € Р(^_ь х^))};
здесь Р(£, х) = со{/(£,х, и) : и € Р},
/ (£, х, и) =
^ —Ж2 ■ (2 + 1 вт £) + а(х) • ,, ■ и Л 2 1 + Уху
Х1 ■ (2 + 1 вт£) + а(х) • ■ и2
2 1 + II х У
(£,х,и) € О х Р.
аа
Хаусдорфово рассогласование ¿(Xг(2),^г(0)) последнего множества Xг(2) системы
а
{Xг(^) : ^ € Г} и целевого множества ^г(0) = М задачи 1 показывает, насколько точно
вычислено решение Х(0) задачи 1.
На представленных ниже графических результатах приближенных вычислений мно-
а
жеств Z0 и Ж0 на каждом рисунке изображены одновременно множества ^г(т) и Xг(í7) (т + = £0 + $ = 2), где ^ принимает значения 0, 0.4, 0.8, 1.2, 1.6, 2. При этом границы
аа
) и ^г(^) множеств (т) и Xг(í^) отмечены конечными наборами точек в М2 соответственно синим и красным цветами.
а
Множество ^г(0) и Xг(2) в обоих вариантах а и Ь практически совпадают, что означает высокую точность приближенных вычислений, то есть высокую точность вычисленного
а
приближенного решения Xг(0) задачи 1 (уравнения (5.2)). Вариант а.
8 6 4 2 х2 0 -2 -4 -6 -8
-10
0
х1
8 6 4 2 х2 0 -2 -4 -6 -8
0
х1
Рис. 3. Вариант а. Множества Zг(тi) и X) (^ + п = 2,; = {0; 40})
0
£
о
5
5
х1 х1
а
Рис. 4. Вариант а. Множества Zт(тi) и Xг(^) (^ + п = 2,; = {80; 120})
6 4 2 х2 0 -2 -4 -6
-10
0
х1
4 3 2 1
х2 0 -1 -2 -3 -4
£200
2.0
10
0
х1
10
Рис. 5. Вариант а. Множества Zг(тi) и X) (^ + т = 2, ] = {160; 200})
5
5
Вариант Ь.
8 6 4 2 х2 0 -2 -4 -6 -8
0
х1
5 4 3 2 1
х2 0 -1 -2 -3 -4 -5
0
х1
Рис. 6. Вариант Ъ. Множества Zг(тi) и Xг(^-) (^ + т = 2, ] = {0; 40})
0
£
0
х1 х1
а
Рис. 7. Вариант Ь. Множества Zг(тi) и Xг(^-) (^ + т = 2,; = {80; 120})
х1 х1
а
Рис. 8. Вариант Ь. Множества Zг(тi) и Xг(^-) (^ + т = 2,; = {160; 200})
При выполнении исследований были использованы вычислительные ресурсы центра коллективного пользования ИММ УрО РАН «Суперкомпьютерный центр ИММ УрО РАН».
Финансирование. Работа выполнена при поддержке Минобрнауки РФ в рамках государственного задания № 075-00232-20-01, проект 0827-2020-0010 «Развитие теории и методов управления и стабилизации динамических систем».
СПИСОК ЛИТЕРАТУРЫ
1. Куржанский А.Б. Управление и наблюдение в условиях неопределенности. М.: Наука, 1977.
2. Куржанский А.Б. Избранные труды. М.: Изд-во Московского университета, 2009.
3. Куржанский А.Б., Месяц А.И. Управление эллипсоидальными траекториями. Теория и вычисления // Журнал вычислительной математики и математической физики. 2014. Т. 54. № 3. С. 404414. https://doi.org/10.7868/S0044466914030120
4. Черноусько Ф.Л., Меликян А.А. Игровые задачи управления и поиска. М.: Наука, 1978.
5. Черноусько Ф.Л. Оценивание фазового состояния динамических систем. М.: Наука, 1988.
6. Никольский М.С. Об одном методе аппроксимации множества достижимости для дифференциального включения // Журнал вычислительной математики и математической физики. 1988. Т. 28. № 8. C. 1252-1254.
7. Гусев М.И., Зыков И.В. Об экстремальных свойствах граничных точек множеств достижимости управляемых систем при интегральных ограничениях // Труды ИММ УрО РАН. 2017. Т. 23. № 1. С. 103-115. https://doi.org/10.21538/0134-4889-2017-23-1-103-115
8. Филиппова Т.Ф. Внешние оценки множеств достижимости управляемой системы с неопределенностью и комбинированной нелинейностью // Труды ИММ УрО РАН. Т. 23. № 1. 2017. С. 262-274. https://doi.org/10.21538/0134-4889-2017-23-1-262-274
9. Ушаков А.В. Об одном варианте приближенного построения разрешающих управлений в задаче о сближении // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2012. Вып. 4. С. 94-107. https://doi.org/10.20537/vm120408
10. Ушаков В.Н., Ухоботов В.И., Ушаков А.В., Паршиков Г.В. К решению задач о сближении управляемых систем // Труды Математического института им. В.А. Стеклова. 2015. Т. 291. С. 276-291. https://doi.org/10.1134/S0371968515040214
11. Ушаков В.Н., Ершов А.А. К решению задач управления с фиксированным моментом окончания // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2016. Т. 26. Вып. 4. С. 543-564. https://doi.org/10.20537/vm160409
12. Хрипунов А.П. Построение областей достижимостей и стабильных мостов в нелинейных задачах управления: дис. ... канд. физ.-матем. наук / ИММ УрО РАН. Екатеринбург, 1992, 400 с.
13. Ершов А.А., Ушаков В.Н. О сближении управляемой системы, содержащей неопределенный параметр // Математический сборник. 2017. Т. 208. № 9. C. 56-99. https://doi.org/10.4213/sm8761
14. Лотов А.В. Численный метод построения множеств достижимости для линейных управляемых систем с фазовыми ограничениями // Журнал вычислительной математики и математической физики. 1975. Т. 15. № 1. С. 67-78.
15. Панасюк А.И. Множества достижимости дифференциальных включений в замкнутой области определения // Математические заметки. 1991. Т. 50. Вып. 3. С. 113-121.
16. Поляк Б.Т., Щербаков П.С. Множества достижимости и притяжения линейных систем с ограниченным управлением: описание с помощью инвариантных эллипсоидов // Стохастическая оптимизация в информатике. 2008. Т. 4. С. 3-24.
17. Козлов А.А. Критерий равномерной глобальной достижимости периодических систем // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2020. Т. 30. Вып. 2. С. 221-236. https://doi.org/10.35634/vm200206
Поступила в редакцию 01.09.2020
Ушаков Владимир Николаевич, д. ф.-м. н., член-корреспондент РАН, главный научный сотрудник, отдел динамических систем, Институт математики и механики УрО РАН, 620219, Россия, г. Екатеринбург, ул. С. Ковалевской, 16. E-mail: [email protected]
Ушаков Андрей Владимирович, научный сотрудник, отдел динамических систем, Институт математики и механики УрО РАН, 620219, Россия, г. Екатеринбург, ул. С. Ковалевской, 16.; научный сотрудник, лаборатория математической теории управления, Удмуртский государственный университет, 426034, Россия, г. Ижевск, ул. Университетская, 1. E-mail: [email protected]
Цитирование: В. Н. Ушаков, А. В. Ушаков. О наведении интегральной воронки управляемой системы на целевое множество в фазовом пространстве // Известия Института математики и информатики Удмуртского государственного университета. 2020. Т. 56. С. 79-101.
V.N. Ushakov, A. V. Ushakov
On targeting an integral funnel of control system at a target set in the phase space
Keywords: control, control system, differential inclusion, target set, phase space, approximating system.
MSC2010: 37B65, 37E05
DOI: 10.35634/2226-3594-2020-56-07
A control system in finite-dimensional Euclidean space is considered. On a given time interval, we investigate the problem of constructing an integral funnel for which a section corresponding to the last time moment of interval is equal to a target set in a phase space. Since the exact solution of such a funnel is possible only in rare cases, the question of the approximate construction of an integral funnel is being studied.
The research was performed using computing resources of the collective use center of IMM UB RAS "Supercomputer center of IMM UB RAS".
Funding. The research was funded by the Ministry of Science and Higher Education of Russian Federation in the framework of state assignment no. 075-00232-20-01, project 0827-2020-0010 "Development of the theory and methods of control and stabilization of dynamical systems".
REFERENCES
1. Kurzhanski A.B. Upravlenie i nablyudenie v usloviyakh neopredelennosti (Control and observation under uncertainty), Moscow: Nauka, 1977.
2. Kurzhanski A.B. Izbrannye trudy (Selected works), Moscow: Moscow State University, 2009.
3. Kurzhanski A.B., Mesyats A.I. Control of ellipsoidal trajectories: theory and numerical results, Computational Mathematics and Mathematical Physics, 2014, vol. 54, issue 3, pp. 418-428. https://doi.org/10.1134/S0965542514030117
4. Chernousko F.L., Melikyan A.A. Igrovye zadachi upraleniya ipoiska (Game problems of control and search), Moscow: Nauka, 1978.
5. Chernousko F.L. Otsenivanie fazovogo sostoianiya dinamicheskikh sistem (Evaluation of phase state of dynamical systems), Moscow: Nauka, 1988.
6. Nikolskii M.S. A method of approximating an attainable set for a differential inclusion, USSR Computational Mathematics and Mathematical Physics, 1988, vol. 28, issue 4, pp. 192-194. https://doi.org/10.1016/0041-5553(88)90130-9
7. Gusev M.I., Zykov I.V. On extremal properties of the boundary points of reachable sets for control systems with integral constraints, Proceedings of the Steklov Institute of Mathematics, 2018, vol. 300, suppl. 1, pp. 114-125. https://doi.org/10.1134/S0081543818020116
8. Filippova T.F. External estimates for reachable sets of a control system with uncertainty and combined nonlinearity, Proceedings of the Steklov Institute of Mathematics, 2018, vol. 301, suppl. 1, pp. 32-43. https://doi.org/10.1134/S0081543818050036
9. Ushakov A.V. On one version of approximate permitting control calculation in a problem of approaching, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2012, issue 4, pp. 94-107 (in Russian). https://doi.org/10.20537/vm120408
10. Ushakov V.N., Ukhobotov V.I., Ushakov A.V., Parshikov G.V. On solving approach problems for control systems, Proceedings of the Steklov Institute of Mathematics, 2015, vol. 291, pp. 263—278. https://doi.org/10.1134/S0081543815080210
11. Ushakov V.N., Ershov A.A. On the solution of control problems with fixed terminal time, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2016, vol. 26, issue 4, pp. 543-564 (in Russian). https://doi.org/10.20537/vm160409
12. Khripunov A.P. Construction of attainability domains and stable bridges in nonlinear control problems, Cand. Sci. (Phys.-Math.) Dissertation, Yekaterinburg, 1992, 400 p. (In Russian).
13. Ershov A.A., Ushakov V.N. An approach problem for a control system with an unknown parameter, Sbornik: Mathematics, 2017, vol. 208, no. 9, pp. 1312-1352. https://doi.org/10.1070/SM8761
14. Panasyuk A.I. Accessibility sets of differential inclusions in a closed domain, Mathematical Notes of the Academy of Sciences of the USSR, 1991, vol. 50, issue 3, pp. 956-961. https://doi.org/10.1007/BF01156142
15. Lotov A.V. A numerical method for constructing sets of attainability for linear controlled systems with phase constraints, USSR Computational Mathematics and Mathematical Physics, 1975, vol. 15, pp. 63-74. https://doi.org/10.1016/0041-5553(75)90135-4
16. Polyak B.T., Sherbakov P.S. Reachability and attraction domains for linear systems with bounded control: a characterization via invariant ellipsoids, Stokhasticheskaya Optimizatsiya v Informatike, 2008, vol. 4, pp. 3-23 (in Russian).
17. Kozlov A.A. The criterion of uniform global attainability of periodic systems, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2020, vol. 30, issue 2, pp. 221-236 (in Russian). https://doi.org/10.35634/vm200206
Received 01.09.2020
Ushakov Vladimir Nikolaevich, Doctor of Physics and Mathematics, Corresponding Member of the Russian Academy of Sciences, Main Researcher, Department of Dynamical Systems, Institute of Mathematics and Mechanics, Ural Branch of the Russian Academy of Sciences, ul. S. Kovalevskoi, 16, Yekaterinburg, 620219, Russia. E-mail: [email protected]
Ushakov Andrei Vladimirovich, Researcher, Department of Dynamical Systems, Institute of Mathematics and Mechanics, Ural Branch of the Russian Academy of Sciences, ul. S. Kovalevskoi, 16, Yekaterinburg, 620219, Russia;
Researcher, Laboratory of Mathematical Control Theory, Udmurt State University, ul. Universitetskaya, 1, Izhevsk, 426034, Russia. E-mail: [email protected]
Citation: V. N. Ushakov, A. V. Ushakov. On targeting an integral funnel of control system at a target set in the phase space, Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta, 2020, vol. 56, pp. 79-101.