Известия Института математики и информатики Удмуртского государственного университета
2023. Том 62. С. 10-29
УДК 517.977.8, 519.837.4 © А. И. Благодатских, А. С. Банников
ОДНОВРЕМЕННАЯ МНОГОКРАТНАЯ ПОИМКА ПРИ НАЛИЧИИ ЗАЩИТНИКОВ УБЕГАЮЩЕГО
Рассматривается конфликтно управляемый процесс, в котором участвуют три типа управляемых объектов: группа преследователей, убегающий, группа защитников убегающего. Динамические и инерционные возможности всех управляемых объектов совпадают. Убегающий и группа защитников действуют согласованно. Группа преследователей является второй стороной конфликта. При совпадении позиций преследователя и защитника убегающего оба участника погибают и перестают участвовать в конфликтно управляемом процессе. Говорят, что в конфликтно управляемом процессе происходит многократная поимка убегающего, если заданное количество преследователей ловят его, при этом моменты поимки могут не совпадать. Если моменты поимки (не обязательно наименьшие) совпадают, то происходит нестрогая одновременная многократная поимка убегающего. Наконец, если совпадают наименьшие моменты поимки, то происходит одновременная многократная поимка убегающего. В терминах начальных позиций участников и других параметров конфликтно управляемого процесса получены необходимые и достаточные условия одновременной многократной поимки убегающего.
Ключевые слова: дифференциальные игры, конфликтно управляемые процессы, преследование, поимка, многократная поимка, одновременная многократная поимка, убегание, защитники убегающего.
DOI: 10.35634/2226-3594-2023-62-02
Введение
Дифференциальные игры двух лиц, впервые рассмотренные Р. Айзексом [1], в настоящее время представляют собой содержательную математическую теорию [2-5] (метод Л. С. Понтрягина, метод экстремального прицеливания Н. Н. Красовского и другие). Естественным обобщением дифференциальных игр двух лиц являются задачи преследования-убегания с участием группы управляемых объектов хотя бы с одной из противоборствующих сторон, при этом наибольшую трудность для исследований представляют задачи конфликтного взаимодействия между двумя группами управляемых объектов. Специфика этих задач (например, невыпуклость и несвязность объединения множеств достижимости преследователей или целевых множеств убегающих) требует создания новых методов их исследования, отличных от методов, разработанных для игр двух лиц.
Задача простого группового преследования с равными возможностями рассматривалась Л. А. Петросяном, им были получены [6] достаточные условия поимки убегающего, Б. Н. Пшеничный получил [7] необходимые и достаточные условия поимки убегающего. Н. Л. Григоренко ввел понятие многократной поимки, для задачи с простыми движениями и равными возможностями им представлены [8] необходимые и достаточные условия многократной поимки убегающего. А. А. Чикрием [9] и Н. Н. Петровым [10] были получены достаточные условия многократной поимки убегающего в конфликтно управляемых процессах и в примере Л. С. Понтрягина с равными возможностями. Н. Н. Петровым и Н. А. Соловьевой рассмотрены рекуррентные дифференциальные игры при равных возможностях участников: для примера Л. С. Понтрягина [11, 12] и конфликтно управляемого процесса [13] получены достаточные условия многократной поимки убегающего; для примера
Л. С. Понтрягина [14] и конфликтно управляемого процесса [15] получены достаточные условия поимки не менее q убегающих, при условии, что каждого убегающего должны поймать не менее чем г преследователей. Задачу о многократной поимке не менее ? убегающих с равными возможностями участников, при указанном выше условии, рассмотрели Н. Н. Петров и А. Я. Нарманов, были получены необходимые и достаточные условия разрешимости задачи преследования для случая простых движений [16], а также достаточные условия завершения преследования в задаче с дробными производными и простой матрицей [17].
В работах [18,19,21] введены понятия нестрогой одновременной и одновременной многократных поимок убегающего, для задач простого преследования, конфликтно управляемых процессов, а также примера Л. С. Понтрягина с равными возможностями приведены достаточные, а в некоторых случаях и необходимые условия разрешимости. Многократная поимка происходит, если заданное количество преследователей ловят убегающего, при этом моменты поимки могут не совпадать. Если моменты поимки (не обязательно наименьшие) совпадают, то говорят, что происходит нестрогая одновременная многократная поимка убегающего. Наконец, если совпадают наименьшие моменты поимки, то происходит одновременная многократная поимка убегающего.
Задача об одновременной многократной поимке группы убегающих [20,22,24,26,27] рассматривалась в двух аспектах: в [24,26] с точки зрения суммарной кратности поимок всех убегающих — получены необходимые и достаточные условия суммарных многократной, нестрогой одновременной многократной и одновременной многократной поимок использующих жестко скоординированное управление убегающих в нестационарном конфликтно управляемом процессе с равными возможностями всех игроков; синхронная реализация одновременных поимок заданной для каждого убегающего кратности рассматривалась в [20, 22, 27] — получены необходимые и достаточные условия разрешимости указанной задачи.
В работах [23,25] введено понятие и получены необходимые и достаточные условия многократной, нестрогой одновременной многократной и одновременной многократной поимок убегающего в задаче простого группового преследования и конфликтно управляемом процессе с равными возможностями при наличии третьей группы участников — защитников убегающего. Отметим, что различные модели задач конфликтного взаимодействия при наличии защитников убегающего рассматривались в работах [28-31]. Данная работа продолжает исследования [23,25], получены более общие необходимые и достаточные условия разрешимости. Рассмотрен ряд модельных примеров.
§ 1. Постановка задачи
В пространстве Як ^ 2) рассматривается дифференциальная игра Г п + г + 1 лиц: п преследователей Р1; Р2, • • •, Рп, убегающего Е и г защитников убегающего ..., Ог
с законами движения и начальными условиями (при £ = ¿0)
Рг Е
в3
хг = А(£)хг + иг, иг € и(¿), хг(£0) = X0, г € I(п),
у = А(£)у + V, V € и(¿), у(£о) = У0, (1.1)
у = + ту, т3 € и (¿), ¿у (¿о) = Ц € Б (У0, £), 3 € I (г).
Здесь и далее € Ек; А(£) — непрерывная на [¿0, то) квадратная матрица порядка
и(¿) — многозначное отображение, являющееся при каждом £ € [¿0, то) компактом в Мк; I (?) = {1, 2,..., д} для всех ? ^ 1; Б (о, р) — шар в Ек с центром в точке о радиуса р; О — нуль-матрица; I — единичная матрица.
В системе (1.1) начальные позиции преследователей Рг и убегающего Е фиксированы, и X0 = У0 для всех г € I(п). Каждый защитник 03, 3 € I(г), выбирает свою начальную
позицию Z0 G S(Y0,L) до начала движения участников конфликтно управляемой системы (1.1), причем L > 0 — такая фиксированная постоянная, что X0 G S(Y0, L) для всех i G I(n) (защитник не может выбрать свою начальную позицию равной начальной позиции хотя одного преследователя и тем самым, как будет указано ниже, уничтожить последнего в начальный момент времени).
Определение 1.1. Управления из класса измеримых по Лебегу функций на [t0, то) со значениями из U(t) будем называть допустимыми.
Пусть а — некоторое разбиение — t0 = 00 <6^ < ... < 9q < ... интервала [t0, то), не имеющее конечных точек сгущения (либо точек в разбиении конечное число, либо lim 9q = то).
q —У^о
Определение 1.2. Кусочно-программной стратегией убегающего E, соответствующей разбиению а, будем называть семейство отображений, ставящих в соответствие моменту 9q и позициям x(0q), y(0q), Zj(0q) допустимое управление v(t), определенное для
t G [0q, 0q+1), то есть
v(t) = v(t,0q (0q ),y (0q) , Zj (0q)), t G [0q ,0q+1>, q =0, 1, 2,....
Здесь и далее, если момент 0q+1 не определен (0q — последняя точка разбиения а), то считаем 0q+1 = то.
Определение 1.3. Кусочно-программной контрстратегией преследователей Pj, i G I(n), соответствующей разбиению а, будем называть семейство отображений, ставящих в соответствие моменту 0q, позициям Xi(0q), y(0q), zj(0q) и допустимому управлению v(s), s G [0q, 0q+1), убегающего E допустимые управления Mj(t), определенные для t G [0q, öq+1), то есть
ui(t) = ui(t, 0q, xi(0q ), y (0q ) , (0q ), v(s), s G [0q, 0q+O) , t G [0q ,0q+1), q =0, 1, 2,....
Определение 1.4. Кусочно-программной контрстратегией защитников убегающего Dj, j G I(r), соответствующей разбиению а, будем называть семейство отображений, ставящих в соответствие моменту t0 и начальным позициям Xj0, Y0 начальные позиции Z0 G S(Y0, L); моменту 0q, позициям Xi(0q), y(0q), zj(0q) и допустимым управлениям v(s), s G [0q, 0q+1), убегающего E и Uj(s), s G [0q, öq+1), преследователей p, i G I(n), допустимые управления wj (t), определенные для t G [0q, öq+1), то есть
Z0 = Z0(t0,X0,Y0) G S(Y0, L); Wj (t)= Wj (t,0q ,Xj(0q ),y(0q) , Zj (0q), v(s),Uj(s),S G [0q A+0), t G [0q ,0q+1), q =0, 1, 2,
При совпадении геометрических координат й ^ 1 защитников Д и р ^ 1 преследователей Р» погибают шт{й,р} ^ 1 защитников и столько же преследователей (для определенности считаем, что погибают игроки с наименьшими порядковыми номерами). Если совпадают координаты убегающего Е и защитника Д, то последний погибает. Пусть Т(Р»), I С I(п), и Т(Д), С I(г), — моменты гибели преследователя Р» и защитника Д соответственно, если участник не погибает, то полагаем момент гибели равным то.
Неформально, у каждого защитника активируется механизм самоликвидации при встрече с «инородным» объектом (убегающим или преследователем), при этом преследователь ликвидируется (в случае одновременной встречи с несколькими преследователями первый из них «прикрывает» остальных), а убегающему ущерб не причиняется (или причиняется,
но незначительный, например, за счет настройки механизма самоликвидации, обеспечивающей максимально возможный урон преследователю и нанесение минимального ущерба убегающему).
Будем исследовать два варианта игры — все защитники убегающего Оу, 3 € I (г), либо сильные, либо слабые. В случае совпадения геометрических координат преследователя Рг, убегающего Е и защитника в некоторый момент 9 > ¿0, то есть хг(9) = у (9) = ¿у (0), как указано выше, Т(Рг) = Т) = 9. Если защитник убегающего сильный, то он уничтожает преследователя Рг быстрее, чем тот ловит убегающего Е (поимки не происходит). В случае, когда защитник убегающего слабый, преследователь Рг до момента гибели успевает поймать убегающего Е (происходит поимка).
Для каждого ? = 1, 2,..., п определим множество
= {{¿1,¿2,... Л} : ¿1 < ¿2 < ■ ■ ■ < Ц, ¿1,22,... Л € I(п)}, мощность которого совпадает с числом сочетаний из п элементов по ?, то есть
№ (?)1 = СП.
Определение 1.5. В игре Г с сильными защитниками убегающего возможна Ь-кратная поимка, если существует конечный момент Т0 = Т0(Хг0,У0) такой, что для любых разбиения о и кусочно-программной стратегии убегающего Е существует такая кусочно-программная контрстратегия преследователей Рг, % € I(п), что для любой кусочно-программной контрстратегии защитников убегающего , 3 € I(г), найдутся множество Л € П(6) и моменты та € [¿0,Т0], а € Л, для которых
Ха(га) = у(га), та < Т(Р„) при всех а € Л.
Определение 1.6. В игре Г со слабыми защитниками убегающего возможна Ь-кратная поимка, если существует конечный момент Т0 = Т0(Хг0,У0) такой, что для любых разбиения о и кусочно-программной стратегии убегающего Е существует такая кусочно-программная контрстратегия преследователей Рг, ъ € I(п), что для любой кусочно-программной контрстратегии защитников убегающего , 3 € I(г), найдутся множество Л € П(6) и моменты та € [¿0,Т0], а € Л, для которых
Ха(га) = у(га), та ^ Т(Ра) при всех а € Л.
Отметим, что каждый из преследователей Рг, I € I(п), может осуществить поимку не более одного раза, при этом убегающий Е может либо уклониться от встречи, либо его могут поймать, в том числе и несколько раз.
Определение 1.7. В игре Г с сильными [со слабыми] защитниками убегающего возможна нестрогая одновременная Ь-кратная поимка, если существует конечный момент Т0 = Т0(Хг0,У0) такой, что для любых разбиения о и кусочно-программной стратегии убегающего Е существует такая кусочно-программная контрстратегия преследователей Рг, I € I(п), что для любой кусочно-программной контрстратегии защитников убегающего , 3 € I(г), найдутся множество Л € П(Ь) и момент т € [¿0,Т0], для которых
Ха(т) = у(т), т < Т(Ра) т ^ Т(Ра) при всех а € Л.
Определение 1.8. В игре Г с сильными [со слабыми] защитниками убегающего возможна одновременная Ь-кратная поимка, если существует конечный момент Т0 =
Т0(Хг0, У0) такой, что для любых разбиения о и кусочно-программной стратегии убегающего Е существует такая кусочно-программная контрстратегия преследователей Рг, I € I(п), что для любой кусочно-программной контрстратегии защитников убегающего Оу, 3 € I(г), найдутся множество Л € П(Ь) и момент т € [¿0, Т0], для которых
ха(т) = у(т), т < Т (Ра) т ^ Т (Ра) , Ха(в) = у (в) при всех 8 € [¿0, т), а € Л.
Отметим, что при Ь =1 вышеприведенные определения поимок совпадают (в этом случае кратность поимки не указываем и говорим, что в игре Г с сильными [со слабыми] защитниками убегающего возможна поимка). При Ь ^ 2 возможность Ь-кратной поимки является необходимым условием осуществления нестрогой одновременной Ь-кратной поимки, которая, в свою очередь, необходима для реализации одновременной Ь-кратной поимки; наоборот — реализация одновременной Ь-кратной поимки достаточна для осуществления нестрогой одновременной Ь-кратной поимки, а последняя сразу влечет Ь-кратную поимку.
Неформально правила игры можно трактовать, например, так: имеется три центра управления (I управляет убегающим, II — группой преследователей, III — группой защитников убегающего), у I и III центров управления имеется общая цель — уклонение убегающего при содействии группы защитников (либо сильных, либо слабых) от рассматриваемых видов поимок, а у II центра управления цель противоположна — реализация группой преследователей указанных видов поимок при любых действиях убегающего и группы его защитников.
§ 2. Решение задачи для случая простых движений
Сначала исследуем систему (1.1) для случая простых движений (А(£) = О), в этом случае она примет вид
Рг Е О
ххг = иг, иг € и(¿), хг(^) = Хг0, I € I(п),
У = V, V € и(¿), у(*0) = У0,
¿у = ту, ту € и(£), ¿у(¿0) = Я? € Б(У°,£), 3 € I(г).
(2.1)
Будем считать, что выполнено
Предположение 2.1. Существуют непрерывная и невырожденная на [¿0, то) квадратная матрица В(£) порядка к и непрерывная на [¿0, то) функция $(£) € Ек такие, что
В(£)(и(¿) + #(£)) = Б(0,1) для всех £ € [¿0, то). (2.2)
Из (2.2) следует, что и(¿) = (В-1(£)Б(0,1) — #(£)) для всех £ € [¿0, то), поэтому, при выполнении предположения 2.1, многозначное отображение и(¿) непрерывно в метрике Хаусдорфа на [¿0, то), а также при каждом £ € [¿0, то) оно является строго выпуклым компактом в Мк с гладкой границей.
Для всех т € Ш, £ € Кк\{0}, где Ш — произвольный компакт в Мк, определим величину
Л(т, £; Ш) = 8ир{Л ^ 0 : (т — Л£) € Ш}. (2.3)
Отметим, что Л(т,£; Б(0,1)) — максимальный корень неравенства |т — Л£| ^ 1, откуда
Л(т, £; Б(0,1)) =
1£ I2
для всех т € Б(0,1) и £ = 0. (2Л)
Предположение 2.1 допускает переход от и(¿) к 5(0,1). А именно, из (2.3), (2.4), (2.2) получим, что для всех £ = 0, т € и(¿), £ € [¿0, го)
А(т,£; и(¿)) = su.pl А ^ 0 : (т - А£) € и(£)} = = sup{А ^ 0 : В(£)(т - А£ + д(¿)) € В(£)(и(¿) + д(£))} = = sup{А ^ 0 : (В(¿)(т + д(£)) - АВ(£)£) € 5(0,1)} =
= А(В(£)(т + д(£)), В(£)£; 5(0,1)) = (2.5)
1 ' <£*(*)(«;+ </(*)), В(*)£> +
+ д(1)),вт2 + |^)£12(1 - |В(*)(«; + у(*))|2)
Учитывая, что X0 = У0, г € I(п), а также равенство (2.5) получим, что каждая функция
АДМ) = А(и,Х0 - У0; и(¿)) = sup{А ^ 0 : (V - А(Х0 - У0)) € и(£)} (2.6)
непрерывна на множестве и(¿) х [¿0, го). Значит при любом допустимом управлении ■и(£) получаем функции АДг>(£),£) (одного аргумента ¿) измеримые по Лебегу на [¿0, го). Введем обозначения
(¿) = шт тах штАа(г>,£), Аг = / (зЫз. (2.7)
^еи(*) Леп(ь+г) аел Л0
Сначала рассмотрим игру Г с сильными защитниками убегающего.
Теорема 2.1. Пусть выполнено предположение 2.1 и Аг = го. Тогда в игре Г с сильными защитниками убегающего возможна одновременная Ь-кратная поимка.
Доказательство. При условии, что группа защитников Д,, ] € I (г), не принимает участие в игре Г, при доказательстве теоремы 2 [26] построены управления преследователей Р^ г € I(п), обеспечивающие одновременную (Ь + г)-кратную поимку убегающего Е.
Пусть преследователи Р^ г € I(п), используют указанные управления (не учитывают действия защитников Д,, € I(г)). Так как все защитники Д,, € I(г), могут уничтожить не более чем г преследователей Р^, г € I(п), получаем справедливость утверждения.
Теорема 2.1 доказана. □
Введем обозначения: Гх(г,г € I(п), ^ € 7(г), — игра, в которой участвуют только три игрока — преследователь Р^ убегающий Е и сильный защитник убегающего Д,; (а,Ь)* = {с € : с = (1 - а)а + аЬ, а € (0,1)} — интервал в , соединяющий точки а, Ь €
Лемма 2.1. Пусть выполнено предположение 2.1, в процессе игры Гх(г, в момент 9 ^ ¿0реализовалась ситуация г,(0) € (жД9), у(0))*. Тогда для всех допустимых продолжений управлений и г>(£), £ € [9, го), найдется такое допустимое продолжение управления (¿), £ € [9, го), что г,(¿) € (жД£), у(£))* для всех £ € [0,Т(Д,)), при этом, если Т(Д,) < го, то Т(Д,) = Т(р), г,(Т(Д,)) = жДТ(Д,)) = у(Т(Д,)) и поимки не происходит.
Доказательство. Без ограничения общности, будем считать, что 9 = 9д ^ ¿0 (если это не так, то добавим точку 9 в разбиение а).
Из включения г,(9д) € (ж^(9д),у(9д))* следует, что
= (1 - + ацу(вд), где а^- = е (0,1).
X(9,) - у(9д)|
оо
Определим допустимое продолжение управления защитника следующим образом:
(£) = (1 — а,)иг(£) + а,для всех £ € 6, то). Тогда для всех £ € [6д, то)
г, (£) = г, (6д) + / (в) ^ = (1 — а,)х(6д) + а,у(6д) + / ((1 — а,)иг(в) + а,^(в^ ^
Г-Ь ч г-Ь
= (1 — а, (6д) + / Иг (в) +а, (у(6д) + / ^(в) =(1 — а, )х (£) + а,у (£).
./бд ./бд
Полученное равенство означает, что
г,(£) € (£), у(£))* при (£) = у(£) или г,(£) = хг(£) = у(£) для всех £ € 6, то).
Из последних соотношений следует справедливость утверждения леммы.
Лемма 2.1 доказана. □
Для каждого единичного вектора I € и всех £ € [£0, то) определим функцию
V(¿) € ди(¿) из условия: (и(£) — /) < 0 для всех и(£) € и(¿) \ {V(£)}. (2.8)
Отметим, что, при выполненном предположении 2.1, функция V (¿) при каждом зафиксированном I определена однозначно и непрерывна на интервале [¿0, то) в силу свойств многозначного отображения и (¿).
Лемма 2.2. Пусть выполнено предположение 2.1. Если в процессе игры Г для некоторого единичного вектора I € , номера р € I(п) и момента 6 ^ ¿0 реализовалась ситуация
(хр(6) — у(6),/) ^ 0, хр(6)= у(6), то, определяя допустимое продолжение управления убегающего Е равенством
v(t) = для всех £ € [6, то),
получим выполнимость неравенств
(хр(£) — у(¿), /) ^ 0, хр(¿) = у(¿) для всех £ € [6, то)
при всех допустимых продолжениях управления ир(£), £ € [6, то), преследователя Рр.
Доказательство. В силу (2.8), условий леммы и теоремы Коши
(хр(£) — у(£),/) = (хр(6) — у(6), /) + [ (ир(в) — V!(в), /) ^ ^ 0 для всех £ € [6, то),
Л
причем равенство возможно только в случае, если ир(в) = почти всюду на [6,£], но в этом случае хр(£) = у(£), так как хр(6) = у(6). Если (хр(£) — у(£), I) < 0, то хр(£) = у(£). Следовательно, хр(£) = у(£) для всех £ € [6, то).
Лемма 2.2 доказана. □
Ус л о в и е 2.1. У0 € 1п1со{Хр,р € К} для всех множеств К € П(п — Ь — г + 1).
Теорема2.2. Пусть выполнено предположение 2.1. Тогда условие 2.1 является необходимым для осуществления Ь-кратной поимки в игре Г с сильными защитниками убегающего.
бд
бд
Доказательство. Пусть условие 2.1 не выполнено. Тогда существует (хотя бы одно) множество Q € П(п — Ь — г + 1) такое, что У0 € Мео^^д € Из теоремы отделимости следует, что существует единичный вектор / € такой, что (Л, /) ^ 0 для всех Л € со{Х<0 — У0 , д € Q}, поэтому
(Х0 — У0,1) ^ 0 для всех д € Q. По (2.8) определим допустимое управление убегающего Е следующим образом:
г>(£) = для всех £ € [£0, го).
В силу леммы 2.2 при любых допустимых управлениях и,(£) преследователей Р, выполнены неравенства (ж,(£) — у(£), /) ^ 0, ж,(£) = у(£) для всех £ € [£0, го), д € Q.
Рассмотрим оставшихся |1 (п) \ Q| = п — (п — Ь — г + 1) = Ь + г — 1 преследователей Р»,
г € I(п) \ Q.
Выберем попарно различные индексы г^г2,... ,гг € I(п) \ Q и определим начальные позиции € 5(У0,Ь) следующим образом:
Х0. - У0
Отметим, что г,(00) = ^(£0) = ^0, ж*.(00) = ж».(£0) = X?, у(00) = у(^) = У0 и г,(00) € (жь.(00),у(00))*.
Для каждой игры Г1 (г,), ^ € I(г), выполнены условия леммы 2.1. Предпишем изначально каждому защитнику Д,- использовать управления и,(¿), € I(г), построенные в лемме 2.1. Тогда г,(¿) € (ж^. (¿), у(£))* для всех £ € [00, Т(Д,-)).
Возможны следующие случаи:
1. Т(Д,-) = го, в этом случае защитник предотвратил поимку убегающего Е преследователем Р^., г, € I(п) \ Q.
2. Сильный защитник уничтожает преследователя Р» в момент 0 > 00 = £0, тогда Т(Д?) = Т(Р^.) = 0 и г, (0) = ж^. (0) = у(0) (поимки не происходит), то есть и в этом случае защитник Д,- предотвращает поимку убегающего Е преследователем Р^, г, € I(п) \ Q.
3. Защитник Д,- уничтожает преследователя Р,, где д € Q, тогда Т(Д,) = Т(Р,) = 0 и ^(0) = ж,(0). А поскольку (ж,(0) — у(0), I) ^ 0, ж,(0) = у(0), то и (^(0) — у(0),/) ^ 0, г,(0) = у(0). Далее, г,(0) € (жь.(0),у(0))*, а это означает, что (жь.(0) — у(0),/) ^ 0, жь.(0) = у(0). Теперь из леммы 2.2 получаем, что ж».(£) = у(£) для всех £ € [0, го). Вновь защитник Д,- предотвратил поимку убегающего Е преследователем Р»., г, € I(п) \ Q.
4. Защитник Д,- уничтожает преследователя Р»0 раньше, чем тот осуществляет поимку убегающего Е, где г0 € I(п) \ Q и г0 € {г1, г2,..., гг}, то есть защитник предотвратил поимку убегающего Е преследователем р0.
5. Защитник Д,- уничтожает преследователя Р» раньше, чем «закрепленный» за ним изначально защитник Д,», где ]* € I(г) \ }. Следовательно, для некоторого момента 0 > 00 = £0 выполнено равенство г, (0) = ж^.» (0) и Т(Д,-) = Т(Р») = 0. Отметим, что, по построению управлений и, и и,», имеем г,»(0) € (ж^.(0),у(0))*. Для тройки игроков: преследователя Р^., убегающего Е и защитника Д/» выполнены условия леммы 2.1. Предпишем теперь защитнику », вместо погибшего преследователя Р» , контролировать преследователя Р» , то есть выбором своего управления, построенного в лемме 2.1, обеспечить выполнение включения г,»(£) € (ж^.(£), у(£))* для всех £ € [0,Т(Д,»)).
Таким образом, при любых действиях преследователей Р», г € I(п) \ Q, каждый защитник Д,-,] € I(г), предотвращает встречу одного из указанных преследователей с убегающим Е. Оставшиеся (Ь + г — 1) — г = Ь — 1 преследователей не могут осуществить Ь-кратную поимку.
Теорема 2.2 доказана. □
Лемма 2.3. Пусть выполнены предположение 2.1, условие 2.1, многозначное отображение U(t) = U = const. Тогда Дг = то.
Доказательство. При U(t) = U = const предположение 2.1 примет вид: существует постоянная невырожденная квадратная матрица B порядка k и постоянный вектор g 6 Rk такие, что
B(U + g) = S (0,1). (2.9)
Из (2.9), (2.7), (2.6), (2.5) получаем, что
(t) = min max min A(v, X° — Y0; U) =
veu леп(ь+г) «ел
= min max , min A(B(v + g), B(X£ — Y0); S(0,1)) =
veu леп(ь+г) «ел
= min max min A(s,B(X° — Y0); S(0,1)). seS(o,i) леп(ь+г) «ел
Таким образом,
¿r(t) = min max min A(s,6a; S(0,1)), где 6, = B(X? — Y0) = 0, i 6 I(n). (2i0) ses(o,i) леп(ь+г) «ел (2.10)
Отметим, что (2.10) можно преобразовать с применением (2.4), получим
{s,ba) + J{s,ba)2 + \bam-\s\2)
öJt) = mm max mm---—---(2.11)
ses(o,i)леп(ь+г) «ел |6а|2
Из (2.11) следует, что функция постоянна (t) = = const.
Предположим, что = 0. Тогда из (2.10) следует, что найдется элемент s* 6 S(0,1) такой, что в любом множестве Л 6 П(6 + r) существует элемент а 6 Л, для которого A(s*, 6а; S(0,1)) = 0. Построим множество
Q = {qi, 92,..., qn-b-r+i} 6 n(n — 6 — r + 1)
по следующему правилу. Выберем элемент
qi 6 Li = {1, 2,..., 6 + r} 6 П(6 + r) из условия A(s*, 6qi; S(0,1)) = 0,
затем такой элемент
92 6 L2 = (Li U{6 + r + 1}) \ {qi} 6 П(6 + r), что A(s*, 6q2; S(0,1)) = 0, далее элемент
93 6 L3 = (L2 U{6 + r + 2}) \ {92} 6 ОД такой, что A(s*, 6q3; S(0,1)) = 0 и так далее. На последнем шаге построим множество
Ln-b-r+i = (L„-b-^{n}) \ {9n-b-r} 6 П(6 + r)
и выберем элемент
9n-b-r+i 6 Ln-b-r+i по условию A(s*,6qn-b-r+1; S(0,1)) = 0. По построению для множества Q 6 Q(n — 6 — r + 1) справедливо равенство
min max A(s,6q; S(0,1)) = 0,
«е^од) qeQ
что возможно тогда и только тогда, когда
0 G Intco{bq, q G Q} = Intco{B(X0 - Y0), q G Q}. Поскольку матрица B невырожденная, то
0 £ Intco{X° - Y0, q G Q} или Y0 £ Intco{Xq0, q G Q}
и условие 2.1 не выполнено.
Полученное противоречие доказывает, что > 0. Из (2.7) получаем, что
Дг = / (s) = = то.
</ to ./to
Лемма 2.3 доказана. □
Теорема 2.3. Пусть выполнено предположение 2.1 и многозначное отображение U(t) = U = const. Тогда условие 2.1 является необходимым и достаточным для осуществления одновременной b-кратной поимки в игре Г с сильными защитниками убегающего.
Доказательство. Необходимость выполнения условия 2.1 следует из теоремы 2.2. Пусть выполнено условие 2.1. Из леммы 2.3 следует, что Дг = то и возможность одновременной b-кратной поимки следует из теоремы 2.1.
Теорема 2.3 доказана. □
Перейдем к рассмотрению игры Г со слабыми защитниками убегающего, при этом от всех участников дополнительно потребуем, чтобы выполнялось
Предположение 2.2. Все игроки используют допустимые управления, являющиеся кусочно-постоянными функциями на [t0, то).
Теорема2.4. Пусть выполнены предположения 2.1, 2.2 и Дг = то. Тогда в игре Г со слабыми защитниками убегающего возможна одновременная b-кратная поимка.
Доказательство. При условии, что группа защитников Dj, j £ I (r), не принимает участие в игре Г, при доказательстве теоремы 2 [26] построены управления преследователей Pi, i G I(n), обеспечивающие одновременную (b + г)-кратную поимку убегающего E, при этом если допустимое управление v(t) является кусочно-постоянной функцией, то и допустимые управления «¿(t), i G I(n), будут обладать этим свойством.
Пусть преследователи Pi, i G I(n), используют указанные управления (не учитывают действия защитников Dj, j G I(r)). Так как все защитники Dj, j G I(r), могут уничтожить не более чем r преследователей Pi, i G I(n), получаем справедливость утверждения.
Теорема 2.4 доказана. □
Через Г2(i, j), i G I(n), j G J(r), обозначим игру, в которой участвуют только три игрока — преследователь Pi, убегающий E и слабый защитник убегающего Dj.
Лемма 2.4. Пусть выполнены предположения 2.1, 2.2, и в процессе игры Г2(i, j) в момент 9 ^ t0 реализовалась ситуация Zj(9) G (жД9), y(9))*. Тогда для всех допустимых продолжений управлений «¿(t) и v(t), t G [9, то), найдется такое допустимое продолжение управления wj(t), t G [9, то), что Zj(t) G (x^t), y(t))* для всех t G [9, T(Dj)), при этом, если T(Dj) < то, то T(Dj) = T(Pi), Zj(T(Dj)) = xi(T(Dj)) = y(T(Dj)) и поимки не происходит.
Доказательство. Без ограничения общности, будем считать, что 0 = 0, ^ £0 (если это не так, то добавим точку 0 в разбиение а), в точках разрыва допустимые управления игроков непрерывны справа, а также все точки разрыва управлений принадлежат множеству точек разбиения а (при наличии других точек разрыва их можно включить в разбиение а), то есть
и,(£) = и,(0Р), и»(£) = и»(0р), «(£) = «(0Р) для всех £ € [0Р, 0р+1), р = 0,1, 2,...
Из включения г,(0,) € (ж»(0,),у(0,))* следует, что
= (1 - агз)хг(вд) + ауу(^), где ау = ^ € (0,1).
Предположение 2.2 означает, что для всех £ € [0,, 0,+1] выполнены равенства
г, (£) = г, (0,)+ и, (0, )(£ — 0,), ж» (£) = ж» (0,) + и» (0, )(£ — 0,), у(£) = у (0,) + «(0, )(£ — 0,).
(2.12)
Определим и, (0,), а значит и и, (£) = и, (0,), £ € [0,, 0,+1). Рассмотрим два случая:
1. Для всех £ > 0, выполнено неравенство ж»(0,) + «¿(0,)(£ — 0,) = у(0,) + «(0,)(£ — 0,). В этом случае
и (0,) = (1 — а, )щ (0,) + а»,- «(0,). Тогда, как показано в доказательстве леммы 2.1,
г,(£) € (ж»(£),у(£))* при ж»(£) = у(£) или г,(£) = ж»(£) = у(£) для всех £ € [0,,0,+1].
Вместе с тем, неравенство ж» (£) = у(£) для всех £ € [0,, 0,+1] следует из (2.12) и выполненного в данном случае неравенства, значит
(£) € (ж»(£), у(£))* для всех £ € [0,, 0,+1 ].
2. Существет момент т > 0, такой, что ж»(0,) + «»(0,)(т — 0,) = у(0,) + «(0,)(т — 0,). Преобразуем данное равенство к виду
ж» (0,) — у (0,) = («(0,) — и»(0, ))(т — 0,). (2.13)
Полагаем
и, (0, ) = «(0,).
Тогда для всех £ € [0,, 0^+^00, т), с учетом (2.12), получим
г, (£) = г, (0,) + и, (0, )(£ — 0,) = (1 — а», )ж» (0,) + а», у(0,) + «(0, )(£ — 0,) =
= (1 — а», )(ж» (0,) — у(0,)) + у(0,) + «(0, )(£ — 0,) = (1 — а», )(ж» (0,) — у(0,)) + у (£) = _ 1 — а», ( £ — 0,
1 — (£ — 0, )/(т — 0, Л т — 0, (1 - (*<*■> - - -Введем обозначение
£ — 0, А^'(^) — + — й
1 _ ^
т-ед
Отметим, что функция в, (t) определена и непрерывна на [9q, т), при этом
в,(9q) = aij, Aj(9q + aij(т - 9q)) = 0 и 9q + aij(т - 9q) G (9q, т), так как a, G (0,1). Продолжим начатые выше вычисления, с использованием (2.13), получим
Zj (t) = (1 - eij (t)^Xi(9q) - y(9q) - (t - 9q )(v(9q) - U*(9q )))+y(t) =
= (1 - (t)^Xi (9q) + Ui (9q )(t - 9q ) - (y(9q) + v(9q )(t - 9q ))) +y(t) =
= (1 - eij(t))(xi(t) - y(t)) + y(t) = (1 - Aj-(t))Xi(t) + eij(t)y(t).
Полученное равенство и свойства функции в, (t) означают, что возможны два случая:
2.1. Если 9q + а, (т - 9q) > 9q+i, то
Zj(t) G (Xi(t),y(t))* для всех t G [9q,9q+i].
2.2. Если 9q + aij (т - 9q) ^ 9,+i, то T(D, ) = T(Pi) = 9q + а, (т - 9q) и
Zj(t) G (Xi(t),y(t))* для всех t G [9q,T(D,)), z,(T(D,)) = Xi(T(D,)) = y(T(D,)).
В случае 2.2 поимки не происходит. Если имел место случай 1 или 2.1, то на отрезке [9q, 9q+1] поимки не происходит, а в момент 9q+1 снова выполнено включение
Zj (9q+l) G (Xi (9q+1) , y ( 9q +1)) * ,
позволяющее определить w, (9q+1) аналогично w, (9q).
Лемма 2.4 доказана. □
Аналогично теореме 2.2 (используя лемму 2.4 вместо леммы 2.1) доказывается
Теорема 2.5. Пусть выполнены предположения 2.1, 2.2. Тогда условие 2.1 является необходимым для осуществления b-кратной поимки в игре Г со слабыми защитниками убегающего.
Теорема 2.6. Пусть выполнены предположения 2.1, 2.2 и многозначное отображение U(t) = U = const. Тогда условие 2.1 является необходимым и достаточным для осуществления одновременной b-кратной поимки в игре Г со слабыми защитниками убегающего.
Доказательство. Необходимость выполнения условия 2.1 следует из теоремы 2.5. Пусть выполнено условие 2.1. Из леммы 2.3 следует, что Дг = то и возможность одновременной b-кратной поимки следует из теоремы 2.4.
Теорема 2.6 доказана. □
Пример 2.1. В R2 рассмотрим игру Г21 2 + 2q + r (q ^ 1, r ^ 0) лиц: 1 + 2q преследователей P1, P2,..., P1+2q, убегающего E и r защитников убегающего D1, D2,..., Dr (при r = 0 защитников нет) вида (2.1), где
/ 2ni \
cos-
1 + 2 q 2ni sin-
V 1 + 2 q J
i G I(1 + 2q), Y° = ( £
Предположение 2.1 выполнено при В(¿) = 21 и д(¿) = (1, — 2)т. Отметим, что начальные позиции преследователей образуют правильный (1 + 2д)-угольник с центром в начальной позиции убегающего. Проверяя, получаем, что при Ь + г = 1, 2,...,^ условие 2.1 имеет место, а при Ь + г ^ q + 1 условие 2.1 не выполнено. Из теорем 2.3, 2.6, следуют
Утверждение 2.1. При (д — г) ^ 1 в игре Г21 с сильными защитниками убегающего возможна одновременная (д — г)-кратная поимка, причем поимка большей кратности невозможна, а при (д — г) ^ 0 в игре Г21 с сильными защитниками убегающего поимка невозможна.
Утверждение 2.2. Пусть выполнено предположение 2.2. Тогда при (д — г) ^ 1 в игре Г21 со слабыми защитниками убегающего возможна одновременная (д — г)-кратная поимка, причем поимка большей кратности невозможна, а при (д — г) ^ 0 в игре Г21 со слабыми защитниками убегающего поимка невозможна.
§ 3. Решение задачи в общем случае
Перейдем к исследованию системы (1.1) в общем случае.
Пусть Ф(£) — фундаментальная матрица системы = такая, что Ф(£0) = I.
Отметим, что Ф-1(£) невырожденна и непрерывна на [£0, го), а Ф-1(£0) = I. В системе (1.1) проведем неособые линейные преобразования координат
ж*(£) = Ф-1(£)ж»(£), у*(£) = Ф-1(£)у(£), ,(£) = Ф-1(ф, (£),
«*(£) = Ф-1(£)щ»(£) € Ф-1(£)и(£), «*(£) = Ф-1(£)«(£), и*(£) = Ф-1(£)и,(£).
(3.1)
^ . ( I I _ ФФ I I 1и.'1 I I
В новых координатах конфликтно управляемая система (1.1) преобразуется [3] к задаче простого группового преследования
Р» : ж* = щ*, щ* € V(£) = Ф-1(£)и(£), ж*^) = X»0, г € I(п),
Е : у* = V*, V* € V(О = Ф-1 (£)и(*), у*^) = У0, (3.2)
.¿* = и*, и*€ V(^Ф-1^(£), г*(£0) = 5(У0,Ь), ,?€/(г)
Отметим, что в полученной (3.2) и в исходной (1.1) системах поимка означает точное совпадение координат. Кроме того, между решениями этих систем существует взаимно однозначное соответствие (3.1).
По форме системы (3.2) и (2.1) совпадают, но, чтобы применить результаты §2 необходимо убедиться, что многозначное отображение V(£) = Ф-1(£)и(£) сохраняет свойства многозначного отображения и(£), для этого достаточно показать, что справедлива
Л е м м а 3.1. Если выполнено предположение 2.1, то существуют непрерывная и невырожденная на [£0, го) квадратная матрица В*(£) порядка к и непрерывная на [£0, го) функция д*(£) € такие, что (£) + д*(£)) = 5(0,1) для всех [£0, го).
Доказательство. В силу предположения 2.1, В*(£) = В(£)Ф(£) является непрерывной и невырожденной на [£0, го) квадратной матрицей порядка к как произведение двух матриц с аналогичными свойствами, а функция д*(£) = Ф-1(£)д(£) € непрерывна на [£0, го), поэтому для всех £ € [£0, го)
(£) + д*(£)) = В(£)Ф(£)(Ф-1(£)и (£) + Ф-1(^)) = В(£)(и (£) + д(£)) = 5 (0,1).
Лемма 3.1 доказана. □
При сделанном предположении 2.1, из леммы 3.1 и (2.5) следует, что для всех £ = 0,
и € V(£), £ € [£0, го)
А(и,£; V(£)) = 8ир{А ^ 0 : (и — А£) € V(£)}= = А(В*(£)(и + д*(£)),В*(£)£; 5(0,1)) = 1
В исходных координатах получим: при всех £ = 0, w £ U(t), t £ [to, го)
A^-1(t)w,£; Ф-1(t)U(t)) = sup{A ^ 0 : ^-1(t)w - A£) £ Ф-1(^и(t)}= = sup {A ^ 0 : (w - AФ(t)£) £ U (t)} = = sup {A ^ 0 : B(t)(w - АФ(^£ + g(t)) £ B (t)(U (t) + g (t))} = = sup {A ^ 0 : (B (t)(w + g (t)) - AB (t^(t)£) £ S (0,1)}=
= A(B(t)(w + g(t)), B(t^(t)£; S(0,1)) = (3-3)
1 ' (B(t)(w + g(t)),B(tMt)0 +
\В№№2
+^{В(1)(ъо + В(*)Ф(*)£>2 + |В(^)Ф(^|2(1 - + g(í))|2)
Из леммы 3.1 следует, что теоремы 2.1, 2.2, 2.4, 2.5, справедливы для системы (3.2). Перепишем их для системы (1.1) с учетом преобразования координат (3.1), а также (2.6) и (2.7). По функциям
АНМ) = А(Ф-1(ф,Х? — У0; Ф-1(£)и(¿)) = = вир{А ^ 0 : (Ф-1 (ф — А(Х0 — У0)) £ Ф-1(£)и(*)}, ( )
непрерывным на множестве Д (¿) х [¿0, то), ^ £ I(т), определим величины
рте
$i(t) = min max minAi(v,t), Ai = ii(s)ds. (3-5)
veu(t) Леп(ь+г) аел >/to
Вместо предположения 2.2 потребуем, чтобы выполнялось
Предположение 3.1. Игроки используют такие допустимые управления, что все функции Ф-1 (t)uj(t), i £ I(n), Ф-1 (t)v(t), Ф-1 (t)wj(t), j £ I(r), являются кусочно-постоянными на [t0, то).
Теорема 3.1. Пусть выполнено предположение 2.1 и A^ = то. Тогда в игре Г с сильными защитниками убегающего возможна одновременная b-кратная поимка.
Теорема3.2. Пусть выполнено предположение 2.1. Тогда условие 2.1 является необходимым для осуществления b-кратной поимки в игре Г с сильными защитниками убегающего.
Теорема 3.3. Пусть выполнены предположения 2.1, 3.1 и A^ = то. Тогда в игре Г со слабыми защитниками убегающего возможна одновременная b-кратная поимка.
Теорема 3.4. Пусть выполнены предположения 2.1, 3.1. Тогда условие 2.1 является необходимым для осуществления b-кратной поимки в игре Г со слабыми защитниками убегающего.
В данной работе выражение «функция (определенная на [t0, то)) является почти периодической в смысле Бора» означает, что ее можно доопределить при всех t < t0 так, чтобы полученная функция стала почти периодической по Бору [32].
Аналогично лемме 3.3 [27] доказывается
Лемма 3.2. Пусть выполнены предположение 2.1 и условие 2.1, многозначное отображение U(t) = U = const, а матрица Ф^) является почти периодической в смысле Бора. Тогда A,1 = то.
Теорема3.5. Пусть выполнено предположение 2.1, матрица Ф(£) является почти периодической в смысле Бора и многозначное отображение U(t) = U = const. Тогда условие 2.1 является необходимым и достаточным для осуществления одновременной b-кратной поимки в игре Г с сильными защитниками убегающего.
Доказательство. Необходимость выполнения условия 2.1 следует из теоремы 3.2. Из леммы 3.2 следует, что А,1 = го и достаточность следует из теоремы 3.1.
Теорема 3.5 доказана. □
Теорема3.6. Пусть выполнены предположения 2.1, 3.1, матрица Ф(£) является почти периодической в смысле Бора и многозначное отображение U(t) = U = const. Тогда условие 2.1 является необходимым и достаточным для осуществления одновременной b-кратной поимки в игре Г со слабыми защитниками убегающего.
Доказательство. Необходимость выполнения условия 2.1 следует из теоремы 3.4. Из леммы 3.2 следует, что А, = го и достаточность следует из теоремы 3.3.
Теорема 3.6 доказана. □
Отметим, что матрица Ф^) является почти периодической в смысле Бора, в частности, когда матрица A(t) = O или A(t) = A = const, а все ее собственные числа являются простыми и чисто мнимыми.
Пример 3.1. В R2 рассмотрим игру Г3Л n + r + 1 (n ^ 1, r ^ 0) лиц: n преследователей P,, P2,..., Pn, убегающего E и r защитников убегающего , D2,..., Dr (при r = 0 защитников нет) вида (1.1), где
1т = ((* W: + «Л, а«.) = (sin'f 0, \
[ V e2 у 2 4 J \ cos t sin t J
Тогда предположение 2.1 выполнено при
Bit) = ( l'f */2 ) и g[t) = ( J ) а Ф(*) = ( /S^ eJL )
является почти периодической в смысле Бора. Из теорем 3.5, 3.6 следуют
Утверждение 3.1. Условие 2.1 является необходимым и достаточным для осуществления одновременной b-кратной поимки в игре Г3., с сильными защитниками убегающего.
Утверждение3.2. Пусть выполнено предположение 3.1. Тогда условие 2.1 является необходимым и достаточным для осуществления одновременной b-кратной поимки в игре Г3Л со слабыми защитниками убегающего.
Финансирование. Работа выполнена при поддержке Министерства науки и высшего образования РФ в рамках государственного задания № 075-01483-23-00, проект FEWS-2020-0010.
СПИСОК ЛИТЕРАТУРЫ
1. Айзеке Р. Дифференциальные игры. М.: Мир, 1967.
2. Понтрягин Л. С. Линейная дифференциальная игра убегания // Труды ордена Ленина Математического института имени В. А. Стеклова. 1971. Т. 112. C. 30-63. https://www.mathnet.ru/rus/tm3032
3. Красовский Н. Н., Субботин А. И. Позиционные дифференциальные игры. М.: Наука, 1974.
4. Петросян Л. А. Дифференциальные игры преследования. Л.: Изд-во Ленинградского ун-та, 1977.
5. Черноусько Ф. Л., Меликян А. А. Игровые задачи управления и поиска. М.: Наука, 1978. https://elibrary.ru/item.asp?id=23449498
6. Петросян Л. А. Игры преследования «с линией жизни» со многими участниками // Известия Академии наук Армянской ССР. Математика. 1966. Т. 1. № 5. С. 331-340. https://elibrary.ru/item.asp?id=29854498
7. Пшеничный Б. Н. Простое преследование несколькими объектами // Кибернетика. 1976. № 3. C. 145-146.
8. Григоренко Н. Л. Математические методы управления несколькими динамическими процессами. М.: Изд-во МГУ, 1990.
9. Чикрий А. А. Конфликтно управляемые процессы. Киев: Наукова думка, 1992.
10. Петров Н. Н. Многократная поимка в примере Понтрягина с фазовыми ограничениями // Прикладная математика и механика. 1997. Т. 61. Вып. 5. С. 747-754. https://pmm.ipmnet.ru/ru/Issues/1997/61-5
11. Петров Н. Н., Соловьева Н. А. Многократная поимка в рекуррентном примере Л. С. Понтрягина с фазовыми ограничениями // Труды Института математики и механики УрО РАН. 2015. Т. 21. № 2. С. 178-186. https://www.mathnet.ru/rus/timm1180
12. Петров Н. Н., Соловьева Н. А. Многократная поимка в рекуррентном примере Л. С. Понтряги-на // Автоматика и телемеханика. 2016. № 5. С. 128-135.
https ://www. elibrary.ru/item.asp? id=26873985
13. Петров Н. Н., Соловьева Н.А. Многократная поимка убегающего в линейных рекуррентных дифференциальных играх // Труды Института математики и механики УрО РАН. 2017. Т. 23. № 1. С. 212-218. https://doi.org/10.21538/0134-4889-2017-23-1-212-218
14. Петров Н. Н., Соловьева Н.А. Многократная поимка заданного числа убегающих в рекуррентном примере Л. С. Понтрягина // Итоги науки и техники. Серия «Современная математика и ее приложения. Тематические обзоры». 2020. Т. 186. С. 108-115. https://doi.org/10.36535/0233-6723-2020-186-108-115
15. Petrov N.N., Solov'eva N.A. Problem of multiple capture of given number of evaders in recurrent differential games // Сибирские электронные математические известия. 2022. Т. 19. Вып. 1. С. 371-377. https://www.mathnet.ru/rus/semr1508
16. Петров Н. Н., Нарманов А. Я. Многократная поимка заданного числа убегающих в задаче простого преследования // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2018. Т. 28. Вып. 2. С. 193-198. https://doi.org/10.20537/vm180205
17. Петров Н. Н., Нарманов А. Я. Многократная поимка заданного числа убегающих в задаче с дробными производными и простой матрицей // Труды Института математики и механики УрО РАН. 2019. Т. 25. № 3. С. 188-199. https://doi.org/10.21538/0134-4889-2019-25-3-188-199
18. Благодатских А. И., Петров Н. Н. Конфликтное взаимодействие групп управляемых объектов. Ижевск: Удмуртский университет, 2009. https://www.elibrary.ru/item.asp?id=22947344
19. Благодатских А. И. Одновременная многократная поимка в задаче простого преследования // Прикладная математика и механика. 2009. Т. 73. Вып. 1. С. 54-59. https://pmm.ipmnet.ru/ru/Issues/2009/73-1/54
20. Благодатских А. И. Одновременная многократная поимка убегающих в задаче простого преследования // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2012. Вып. 3. С. 13-18. https://doi.org/10.20537/vm120302
21. Благодатских А. И. Одновременная многократная поимка в конфликтно управляемом процессе // Прикладная математика и механика. 2013. Т. 77. Вып. 3. С. 433-440. https://pmm.ipmnet.ru/ru/Issues/2013/77-3/433
22. Благодатских А. И. Поимка группы убегающих в конфликтно управляемом процессе // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2013. Вып. 4. С. 20-26. https://doi.org/10.20537/vm130403
23. Благодатских А. И. Задачи группового преследования с равными возможностями при наличии защитников убегающего // Известия Института математики и информатики Удмуртского государственного университета. 2015. Вып. 2 (46). С. 13-20. https://www.mathnet.ru/rus/iimi297
24. Благодатских А. И. Многократная поимка жестко скоординированных убегающих // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2016. Т. 26. Вып. 1. С. 46-57. https://doi.org/10.20537/vm160104
25. Благодатских А. И. Задача простого группового преследования с равными возможностями при наличии защитников убегающего // Математическая теория игр и её приложения. 2014. Т. 6. Вып. 2. С. 32-41. https://www.mathnet.ru/rus/mgta132
26. Blagodatskikh A. I., Petrov N. N. Simultaneous multiple capture of rigidly coordinated evaders // Dynamic Games and Applications. 2019. Vol. 9. Issue 3. P. 594-613. https://doi.org/10.1007/s13235-019-00300-8
27. Благодатских А. И. Синхронная реализация одновременных многократных поимок убегающих // Известия Института математики и информатики Удмуртского государственного университета. 2023. Т. 61. С. 3-26. https://doi.org/10.35634/2226-3594-2023-61-01
28. Rusnak I. The lady, the bandits and the body guards — a two team dynamic game // IFAC Proceedings Volumes. 2005. Vol. 38. Issue 1. P. 441-446. https://doi.org/10.3182/20050703-6-CZ-1902.00935
29. Garcia E., Casbeer D. W., Pachter M. Active target defense differential game with a fast defender // 2015 American Control Conference (ACC). 2015. P. 3752-3757. https://doi.org/10.1109/ACC.2015.7171913
30. Kumkov S. S., Patsko V. S. Attacker-defender-target problem in the framework of space intercept // Proceedings of the 57th Israel Annual Conference on Aerospace Sciences. 2017.
31. Garcia E., Casbeer D. W., Pachter M. The complete differential game of active target defense // Journal of Optimization Theory and Applications. 2021. Vol. 191. P. 675-699. https://doi.org/10.1007/s10957-021-01816-z
32. Демидович Б. П. Лекции по математической теории устойчивости. М.: Наука, 1967. https ://zbmath. org/0155.41601
Поступила в редакцию 23.09.2023
Принята к публикации 27.10.2023
Благодатских Александр Иванович, к. ф.-м. н., доцент, Удмуртский государственный университет, 426034, Россия, г. Ижевск, ул. Университетская, 1. E-mail: [email protected]
Банников Александр Сергеевич, к. ф.-м. н., Удмуртский государственный университет, 426034, Россия, г. Ижевск, ул. Университетская, 1. ORCID: https://orcid.org/0000-0002-4422-1791 E-mail: [email protected]
Цитирование: А. И. Благодатских, А. С. Банников. Одновременная многократная поимка при наличии защитников убегающего // Известия Института математики и информатики Удмуртского государственного университета. 2023. Т. 62. С. 10-29.
A. I. Blagodatskikh, A.S. Bannikov
Simultaneous multiple capture in the presence of evader's defenders
Keywords: differential games, conflict controlled processes, pursuit, capture, multiple capture, simultaneous multiple capture, evasion, evader's defenders.
MSC2020: 49N70, 49N75
DOI: 10.35634/2226-3594-2023-62-02
We consider a conflict-controlled process with the participation of three types of controlled objects: a group of pursuers, an evader, a group of defenders of the evader. Dynamic and inertial capabilities of all controlled objects are the same. The evader and the group of defenders act cooperatively. The group of pursuers is the other side of the conflict. If the positions of the pursuer and the defender of the evader coincide then both players die and cease to participate in the conflict-controlled process. In a conflict controlled process multiple capture of an evader occurs when a given number of pursuers catch the evader, and capture moments may not coincide. If (not necessarily least) capture moments coincide then nonstrict simultaneous multiple capture of the evader occurs. Finally, simultaneous multiple capture of the evader occurs when least capture moments appear identical. We obtain necessary and sufficient conditions for simultaneous multiple capture of the evader in terms of initial positions of the participants and other parameters of the conflict-controlled process.
Funding. This research was funded by the Ministry of Science and Higher Education of the Russian Federation in the framework of the state assignment No. 075-01483-23-00, project FEWS-2020-0010.
REFERENCES
1. Isaacs R. Differential games, New York: John Wiley and Sons, 1965. https://zbmath.org/0125.38001
2. Pontryagin L. S. A linear differential evasion game, Proceedings of the Steklov Institute of Mathematics, 1971, vol. 112, pp. 27-60.
3. Krasovskii N.N., Subbotin A.I. Game-theoretical control problems, New York: Springer, 1988. https://www.springer.com/gp/book/9781461283188
4. Petrosyan L.A. Differentsial'nye igry presledovaniya (Differential games of pursuit), Leningrad: Leningrad State University, 1977.
5. Chernous'ko F. L., Melikyan A. A. Igrovye zadachi upravleniya i poiska (Game-theoretic problems of control and search), Moscow: Nauka, 1978. https://elibrary.ru/item.asp?id=23449498
6. Petrosyan L. A. "Life-line" pursuit games with several players, Izvestiya Akademii Nauk Armyanskoi SSR. Matematika, 1966, vol. 1, no. 5, pp. 331-340 (in Russian). https://elibrary.ru/item.asp?id=29854498
7. Pshenichnyi B.N. Simple pursuit by several objects, Cybernetics, 1976, vol. 12, issue 3, pp. 484-485. https://doi.org/10.1007/BF01070036
8. Grigorenko N. L. Matematicheskie metody upravleniya neskol'kimi dinamicheskimi protsessami (Mathematical methods for control of several dynamic processes), Moscow: Moscow State University, 1990.
9. Chikrii A. A. Conflict-controlled processes, Dordrecht: Springer, 1997. https://doi.org/10.1007/978-94-017-1135-7
10. Petrov N.N. Multiple capture in Pontryagin's example with phase constraints, Journal of Applied Mathematics and Mechanics, 1997, vol. 61, issue 5, pp. 725-732. https://doi.org/10.1016/S0021-8928(97)00095-6
11. Petrov N.N., Solov'eva N.A. Multiple capture in Pontryagin's recurrent example with phase constraints, Proceedings of the Steklov Institute of Mathematics, 2016, vol. 293, suppl. 1, pp. 174-182. https://doi.org/10.1134/S0081543816050163
12. Petrov N. N., Solov'eva N. A. Multiple capture in Pontryagin's recurrent example, Automation and Remote Control, 2016, vol. 77, no. 5, pp. 855-861. https://doi.org/10.1134/S0005117916050088
13. Petrov N.N., Solov'eva N.A. A multiple capture of an evader in linear recursive differential games, Trudy Instituta Matematiki i Mekhaniki UrO RAN, 2017, vol. 23, no. 1, pp. 212-218 (in Russian). https://doi.org/10.21538/0134-4889-2017-23-1-212-218
14. Petrov N.N., Solov'eva N.A. Multiple capture of a given number of evaders in L. S. Pontryagin's recurrent example, Itogi Nauki i Tekhniki. Seriya "Sovremennaya Matematika i ee Prilozheniya. Tematicheskie Obzory", 2020, vol. 186, pp. 108-115 (in Russian). https://doi.org/10.36535/0233-6723-2020-186-108-115
15. Petrov N.N., Solov'eva N. A. Problem of multiple capture of given number of evaders in recurrent differential games, Sibirskie Elektronnye Matematicheskie Izvestiya, 2022, vol. 19, issue 1, pp. 371-377. https://www.mathnet.ru/eng/semr1508
16. Petrov N.N., Narmanov A. Ya. Multiple capture of a given number of evaders in the problem of a simple pursuit, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2018, vol. 28, issue 2, pp. 193-198 (in Russian). https://doi.org/10.20537/vm180205
17. Petrov N.N., Narmanov A. Ya. Multiple capture of a given number of evaders in a problem with fractional derivatives and a simple matrix, Trudy Instituta Matematiki i Mekhaniki UrO RAN, 2019, vol. 25, no. 3, pp. 188-199 (in Russian). https://doi.org/10.21538/0134-4889-2019-25-3-188-199
18. Blagodatskikh A. I., Petrov N.N. Konfliktnoe vzaimodeistvie grupp upravlyaemykh ob"ektov (Conflict interaction of groups of controlled objects), Izhevsk: Udmurt State University, 2009. https://www.elibrary.ru/item.asp?id=22947344
19. Blagodatskikh A.I. Simultaneous multiple capture in a simple pursuit problem, Journal of Applied Mathematics and Mechanics, 2009, vol. 73, issue 1, pp. 36-40. https://doi.org/10.1016/jjappmathmech.2009.03.010
20. Blagodatskikh A. I. Simultaneous multiple capture of evaders in a simple group pursuit problem, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2012, issue 3, pp. 13-18. https://doi.org/10.20537/vm120302
21. Blagodatskikh A. I. Simultaneous multiple capture in a conflict-controlled process, Journal of Applied Mathematics and Mechanics, 2013, vol. 77, issue 3, pp. 314-320. https://doi.org/10.1016/jjappmathmech.2013.09.007
22. Blagodatskikh A. I. Capture of a group of evaders in a conflict-controlled process, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2013, issue 4, pp. 20-26. https://doi.org/10.20537/vm130403
23. Blagodatskikh A. I. Problems of group pursuit with equal opportunities in a presence of defenders for an evader, Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta, 2015, issue 2 (46), pp. 13-20. https://www.mathnet.ru/eng/iimi297
24. Blagodatskikh A. I. Multiple capture of rigidly coordinated evaders, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2016, vol. 26, issue 1, pp. 46-57. https://doi.org/10.20537/vm160104
25. Blagodatskikh A. I. A simple group pursuit problem with equal opportunities and the presence of evader's defenders, Automation and Remote Control, 2016, vol. 77, issue 4, pp. 716-721. https://doi.org/10.1134/S0005117916040159
26. Blagodatskikh A. I., Petrov N. N. Simultaneous multiple capture of rigidly coordinated evaders, Dynamic Games and Applications, 2019, vol. 9, issue 3, pp. 594-613. https://doi.org/10.1007/s13235-019-00300-8
27. Blagodatskikh A. I. Synchronous implementation of simultaneous multiple captures of evaders, Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta, 2023, vol. 61, pp. 3-26. https://doi.org/10.35634/2226-3594-2023-61-01
28. Rusnak I. The lady, the bandits and the body guards — a two team dynamic game, IFAC Proceedings Volumes, 2005, vol. 38, issue 1, pp. 441-446. https://doi.org/10.3182/20050703-6-CZ-1902.00935
29. Garcia E., Casbeer D. W., Pachter M. Active target defense differential game with a fast defender, 2015 American Control Conference (ACC), 2015, pp. 3752-3757. https://doi.org/10.1109/ACC.2015.7171913
30. Kumkov S. S., Patsko V. S. Attacker-defender-target problem in the framework of space intercept,
Proceedings of the 57th Israel Annual Conference on Aerospace Sciences, 2017.
31. Garcia E., Casbeer D. W., Pachter M. The complete differential game of active target defense, Journal of Optimization Theory and Applications, 2021, vol. 191, pp. 675-699. https://doi.org/10.1007/s10957-021-01816-z
32. Demidovich B. P. Lektsii po matematicheskoi teorii ustoichivosti (Lectures on the mathematical stability theory), Moscow: Nauka, 1967. https://zbmath.org/0155.41601
Received 23.09.2023 Accepted 27.10.2023
Aleksandr Ivanovich Blagodatskikh, Candidate of Physics and Mathematics, Associate Professor, Udmurt State University, ul. Universitetskaya, 1, Izhevsk, 426034, Russia. E-mail: [email protected]
Aleksandr Sergeevich Bannikov, Candidate of Physics and Mathematics, Associate Professor, Udmurt State University, ul. Universitetskaya, 1, Izhevsk, 426034, Russia. ORCID: https://orcid.org/0000-0002-4422-1791 E-mail: [email protected]
Citation: A. I. Blagodatskikh, A. S. Bannikov. Simultaneous multiple capture in the presence of evader's defenders, Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta, 2023, vol. 62, pp. 10-29.