Некоторые нестационарные задачи группового преследования

Банников Александр Сергеевич

УДК 517.977.8 © А. С. Банников

НЕКОТОРЫЕ НЕСТАЦИОНАРНЫЕ ЗАДАЧИ ГРУППОВОГО ПРЕСЛЕДОВАНИЯ1

Рассматривается нестационарная задача конфликтного взаимодействия одного или нескольких убегающих с группой преследователей при одинаковых динамических и инерционных возможностях всех игроков. Получены достаточные условия разрешимости локальной задачи уклонения группы убегающих от группы преследователей в линейной нестационарной задаче и разрешимости глобальной задачи уклонения группы убегающих от группы преследователей в нестационарной задаче группового преследования с диагональной матрицей. Получена двухсторонняя оценка минимального числа убегающих, достаточного для разрешимости задачи уклонения из любой начальной позиции при заданном числе преследователей в играх с диагональной матрицей. Для нестационарной задачи простого преследования с фазовыми ограничениями предложена позиционная процедура управления с поводырём, гарантирующая попадание хотя бы одного из преследователей в любую окрестность терминального множества. Получены достаточные условия уклонения одного убегающего от группы преследователей в дифференциальных играх второго порядка.

Ключевые слова: дифференциальные игры, глобальная задача уклонения, локальная задача уклонения, управление с поводырём, позиционная стратегия, фазовые ограничения.

Содержание

Введение ...................................................................... 4

1. Геометрические свойства множества достижимости.......................... 6

2. Достаточные условия разрешимости локальной задачи уклонения ....... 9

3. Достаточные условия разрешимости глобальной задачи уклонения в нестационарной задаче с простой матрицей 15

4. Нестационарная задача простого преследования одного убегающего с фазовыми

ограничениями ......................................................... 23

5. Позиционная поимка одного убегающего группой преследователей............ 30

6. Уклонение от группы нестационарных инерционных объектов................. 34

Список литературы.............................................................. 41

хРабота поддержана РФФИ (гранты № 12-01-00195 и №12-01-37077).

Введение

Теория конфликтно управляемых процессов представляет собой интенсивно развивающийся раздел современной математики. В данной теории исследуются задачи управления динамическими процессами в условиях конфликта, который предполагает наличие двух или более сторон с противоположными или несовпадающими целями, способных воздействовать на процесс. Динамические процессы, описываемые обыкновенными дифференциальными уравнениями, называют также дифференциальными играми.

Предлагаемая работа посвящена дифференциальным играм преследования-убегания двух сторон, представленных группой преследователей с одной стороны, и как одного убегающего, так и группы убегающих, с другой. Потребность изучения таких задач возникает при решении ряда прикладных задач из механики, экономики, военного дела, радиоэлектроники, биологии и некоторых других областей.

Одной из первых работ в этой области, по всей видимости, следует считать работу Г. Штейн-гауза, опубликованную в 1925 году, в которой он формулирует задачу преследования как дифференциальную игру преследования. Становление теории дифференциальных игр связано с исследованиями Р. Айзекса, А. Брайсона, У. Флеминга, Б.Н. Пшеничного.

Основополагающий вклад в развитие теории дифференциальных игр внесли академики

Н. Н. Красовский и Л. С. Понтрягин.

К настоящему времени теория дифференциальных игр получила существенное развитие.

В работе [77] Б.Н. Пшеничного рассматривалась задача простого преследования группой преследователей одного убегающего, при условии, что скорость убегающего и преследователей по норме не превосходят единицы. Были получены необходимые и достаточные условия поимки. Ф. Л. Черноусько в работе [93] рассматривал задачу уклонения управляемой точки, скорость которой ограничена по величине, от встречи с любым конечным числом преследующих точек, скорости которых также ограничены по величине и строго меньше скорости уклоняющейся точки. Был построен такой способ управления, который обеспечивает уклонение от всех преследователей на конечное расстояние, причём движение уклоняющейся точки остаётся в фиксированной окрестности заданного движения.

Указанные работы, по существу, были первыми, посвящёнными задаче группового преследования группой преследователей одного убегающего.

Задача уклонения от встречи в дифференциальных играх из любых начальных положений на полубесконечном интервале времени впервые была поставлена и решена в линейном случае Л. С. Понтрягиным и Е. Ф. Мищенко [71-74].

В работе [23] Н.Л. Григоренко получены необходимые и достаточные условия уклонения от встречи одного убегающего от нескольких преследователей при условии, что убегающий и преследователи обладают простым движением, и множество управлений каждого из игроков — один и тот же выпуклый компакт.

Работа [20] обобщает результат Б.Н. Пшеничного на случай 1-поимки. В работе [112] Б. К. Хайдаров рассмотрел задачу позиционной 1-поимки одного убегающего группой преследователей при условии, что каждый из игроков обладает простым движением.

В работах [38, 80] получены условия оптимальности времени преследования в дифференциальной игре одного убегающего и нескольких преследователей, движение которых является простым. В работе [37] Р. П. Иванов рассмотрел задачу простого преследования группой преследователей одного убегающего при условии, что убегающий не покидает пределы выпуклого компакта с непустой внутренностью. Было доказано, что если число преследователей меньше размерности множества, то будет уклонение, иначе — поимка и получена оценка времени поимки.

Работа [59] Н. Н. Петрова обобщает результат Р. П. Иванова на случай, когда убегающий не покидает пределы выпуклого многогранного множества с непустой внутренностью.

Задачи простого преследования с «линией жизни» рассмотрены Л. А. Петросяном в [68].

А. М. Ковшов в [40] рассмотрел задачу простого преследования одного убегающего группой преследователей на сфере.

По всей видимости, первой работой, посвящённой задаче преследования группой преследователей группы убегающих была работа [58]. В данной работе рассматривалась задача простого преследования группой преследователей группы убегающих при условии, что скорости всех участников по норме не превосходят единицы и целью преследователей является поимка всех убегающих. Были получены достаточные условия уклонения от встречи и получены оценки сверху и снизу минимального числа убегающих, уклоняющихся от заданного числа преследователей из любых начальных позиций.

Работа [110] обобщает результаты предыдущей работы на линейные дифференциальные игры.

В работе [60] рассматривалась задача простого преследования группой пресдедователей группы убегающих, при условии, что скорости всех участников по норме не превосходят единицы, каждый преследователь ловит не более одного убегающего, а убегающие в начальный момент времени выбирают своё управление на интервал [0, +то). Были получены необходимые и достаточные условия поимки.

В работе [88] Н.Ю. Сатимов иМ.Ш. Маматов рассмотрели задачу преследования группой преследователей группы убегающих при условии, что преследователи и убегающие обладают простым движением с единичной по норме максимальной скоростью, и убегающие, кроме того, используют одно и то же управление (жёстко скоординированные убегающие). Цель группы преследователей — поймать хотя бы одного убегающего. Были приведены достаточные условия поимки. Работы Д. А. Вагина и Н. Н. Петрова [18,67] дополняют предыдущую работу.

На сегодняшний день разработано достаточно много идейно различных методов и маневров уклонения от встречи: например, метод маневра обхода [71-74] и его модификации [26-28, 30,52,53,76,79], методы постоянных и переменных направлений [48,75,83,95-102,105], метод инвариантных подпространств [78,82,99], методы, использующие исчисление Микусинского [49, 51,118], рекурсивные методы [25,32,94,108,116,117,119,120] и так далее. Между этими методами, безусловно, существуют глубокие связи, многие из которых до сих пор не выяснены.

Среди других работ, посвящённых задаче простого преследования, отметим работы [1,15, 21,31,44,46,47,69,85,86,106,113,114].

Обобщением задачи простого преследования является пример Понтрягина [71]. Данному примеру посвящена обширная литература, так как он является модельным для анализа полученных различных условий поимки и убегания.

В работе [63] Н. Н. Петров рассмотрел задачу преследования группой преследователей одного убегающего в примере Понтрягина с равными динамическими возможностями игроков. Были получены достаточные условия поимки. В работе [66] рассмотрена задача о многократной поимке одного убегающего группой преследователей в примере Понтрягина с фазовыми ограничениями.

Задача преследования жестко скоординированных убегающих группой преследователей в примере Понтрягина при равных динамических и инерционных возможностях участников рассмотрена в [19]. Получены достаточные условия поимки хотя бы одного убегающего.

В работе [64] Н. Н. Петров рассмотрел задачу преследования группой преследователей группы убегающих в примере Понтрягина с равными динамическими и инерционными возможностями игроков, при условии, что каждый преследователь ловит не более одного убегающего и убегающие выбирают свои управления при £ = 0 сразу на [0, то) и не покидают пределы многогранного множества Б. Были получены достаточные условия поимки. «Мягкая» поимка одного убегающего группой преследователей для инерционных объектов рассматривалась Р. П. Ивановым в работе [39].

Пример Понтрягина с различными инерционными и динамическими возможностями участников рассматривался также в работах [24,33-36,56,70,71,84,107].

Квазилинейные динамические процессы представляют естественное обобщение рассмотренных выше задач. При условии дискриминации убегающего в работах Н.Л. Григоренко [24],

А. А. Чикрия [107] рассмотрены различные различные методы группового преследования одного убегающего в квазилинейных динамических процессах. Получены достаточные условия поимки и г-поимки. В работе [70] Ю.В. Пилипенко и А. А. Чикрий рассматривали квазили-

нейные процессы, для которых условие Л. С. Понтрягина [71] выполнено лишь на некоторых интервалах числовой полуоси. Последнее обстоятельство может иметь место, например, если однородная система осуществляет периодические колебательные движения. При дискриминации убегающего получены достаточные условия поимки группой преследователей.

Среди других работ, посвященных задачам преследования и убегания в квазилинейных процессах со многими участниками отметим [22,29,41,62,65,87,89,103,104,111].

§ 1. Геометрические свойства множества достижимости

Рассмотрим управляемый объект, поведение которого описывается уравнением вида

Пусть ж(£) — решение уравнения (1.1), соответствующее управлению и(£) и начальному условию ж(£о) € Мо, где Мо — выпуклый компакт. Обозначим через X(£; £о, Мо, и) множество достижимости управляемого объекта в момент £ ^ £о из множества Мо.

Определение 1.1. Говорят, что пара {и(£),ж(£)} удовлетворяет условию максимума на отрезке [£о,£1 ] и условию трансверсальности на множестве Мо, если существует такое решение ф(£) сопряженной системы ф(£) = —А*(£)ф(£) с начальным условием ф(£о) € 95, что выполнены следующие условия:

• (и(£),ф(£)) = С (и; ф(£)) для почти всех £ € [£о ,£1],

Лемма 1.1. Пусть пара (й(£),ж(£)} удовлетворяет условию максимума на отрезке [£о, £1] и условию трансверсальности на множестве Мо:

Тогда ж(£1) € дХ(£1; £о, Мо, и).

Доказывать будем методом от противного. Пусть ж(£1) — внутренняя точка множества X(£1;£о,Мо,и). Так как ф(£) = 0 для всех £, то существует точка ж(£1) € дХ(£1;£о,Мо,и), что

ж(£) = А(£)ж(£) + и(£), и Є и.

(1.1)

• (ж(£о),^(£о)) = С (Мо; ^(£0)).

(й(£),ф(£)) = С (и; ф(£)) для почти всех £ € [£о,£1 ],

(1.2)

(ж(£о),^(£о)) = С (Мо; ^(£о)).

(1.3)

(1.4)

(1.5)

В силу условия (1.3)

(ж(£о),^(£о)) ^ (ж(£о),^(£о))•

(1.6)

Так как ф(£) — нетривиальное решение системы ф(£) = —А*(£)ф(£), то ф имеет вид ф(£) (Е-1(£))*ф(£о), где ф(£о) € д5, Е(£) = Е(£, £о) — фундаментальная матрица системы

ж(£) = А(£)ж(£), Е (£о ,£о) = Е.

Решения ж(£), ж(£) представим в виде

Поэтому

(ж(£),^(£)) = (ж(£), (Е 1(£))*^(£о)) = (Е 1(£)ж(£),^(£о))

= (ж(£о) + [ F ^й^) ф(£о)) = (ж(£о),ф(£о))+/(&(«), ф(«))

-'*0 -'*0

Аналогично (ж(£),ф(£)) = (ж(£о), ф(£о)) + (й(з),ф(5)) ^5. Из (1.5) следует, что

По '

/ (й(5),ф(«)) ^5 ^ / (й(5),ф(«)) ^5. (1.7)

-'*0 -'*0

Складывая (1.6) и (1.7), получаем

(ж(£о),ф(£о)) + / (й(5),ф(5)) ^ ^ (ж(£о),ф(£о)) + / (й(5),ф(5))

7*0 ^*0

или

(ж(£1),ф(£1)) ^ (ж(£1 ),ф(£1)). (1.8)

Полученное неравенство противоречит (1.4). Тем самым лемма 1.1 доказана.

Лемма 1.2. Пусть Мо — выпуклый компакт. Точка ж(£1) принадлежит множеству дХ(£1; £о,Мо,и) при £1 > £о тогда, когда пара {й(£),ж(£)} удовлетворяет условию максимума на отрезке [£о,£1 ] и условию трансверсальности на множестве Мо:

(й(£), ф(£)) = С (и; ф(£)) для почти всех £ € [£о, £1 ],

(ж(£о),ф(£о)) = С (Мо; ф(£о)).

Доказательство. Пусть управление и(£) таково, что переводит точку ж(£о) € Мо в ж(£1) € дХ(£1; £о, Мо, и) по траектории

*

-1

ж(£) = F(£) ^ж(£о) + ^ F 1 (з)й(5) ^

Так как X(£1; £о, Мо, и) — выпуклый компакт, то существует гиперплоскость п, опорная для X(£1;£о,Мо,и) в граничной точке ж(£l). Пусть ^(£1) — единичный вектор внешней нормали к плоскости п в точке ж(£1), тогда

(ж, ф(£1)) ^ (ж(£1), ф(£1)) для всех ж € X(£1; £о, Мо, и).

Определим нетривиальное решение сопряженной системы

ф(£) = —А*(£)ф(£) такое, что ф(£1) = (F-1(£1))*ф(£о). Тогда

(ж(£),ф(£)) = ^(£)(ж(£о)+ [ F-1 (^)й($) ^5), (F-1 (£))*ф(£о)) =

•^0

= (ж(£о), ф(£о)) + / (F-1 (^«(5), ф(£о)) ^ = (ж(£о), ф(£о)) + / (й($), ф($)) ^ .

7*0 Л *0

Предположим теперь, что (й(£),ф(£)) < С (и, ф(£)) на некотором ненулевом промежутке времени из интервала [£о, £1]. Определим управление й(£) € и на [£о, £1] так, чтобы выполнялось соотношение

(й(£),ф(£)) = С (и;ф(£)).

Тогда для соответствующего решения ж(£) с начальным условием ж(£о) = ж(£о)) будем иметь (ж(£1),ф(£1)) = (ж(£о),ф(£о))+ //0 (й(5),ф($)) ^. Поскольку (й(5),ф($)) ^ (й(5),ф($)) ^5,

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

то и (ж(£1),ф(£1)) < (ж(£1),ф(£1)). А это неравенство противоречит выбору вектора ф(£1) как

вектора внешней нормали к плоскости п в точке ж(^). Значит, (и(£),0(£)) = С (и; 0(£)) для почти всех £ € [£о,£1].

Пусть (ж(£0),0(£0)) < С (и; 0(£0)). Рассмотрим точку ж(£0) € М0, такую что (ж(£0 ),0(£0)) = С(М0; 0(^)). Соответствующее управлению й(£) решение имеет следующий вид

ж(£) = Е(£) ^ж(£0) + ^ Е-1(з)й(з)

и (ж(£),0(£)) = (ж(£0),0(£0)) + /4*о(й(з),0(з)) ^. Скалярное произведение

(ж(Ь1),ф(Ь1)) ^ (ж(Ь1 ),ф(Ь1)) для всех и € и.

Рассмотрим управление и(£) = и(Ь) почти всюду на [£0,£1]. Тогда

С(М0;0(^)) = (ж(Ь0),0(^0)) ^ (ж(Ь0),^(^0)),

что противоречит предположению (ж(Ь0 ),0(^0)) < С (и; 0(^)). Значит, условие трансверсальности (ж(Ь0),'0(Ь0)) = С(М0;0(^)) выполнено. Лемма 1.2 полностью доказана.

Лемма 1.3. Пусть М0 — выпуклый компакт. Если Ж1 (£0) = Ж2^0), каждая из пар {иг(£),Жг(£)}, * = 1, 2, удовлетворяет условию максимума на отрезке [£0, £1], £1 > £0, и условию трансверсальности на множестве М0, а кроме того, опорная функция С (и; 01) дифференцируема по "01 вдоль "01 (£) для почти всех £ € [£0,^1], то Ж1(^) = Ж2^1).

Пусть выполнены условия условия леммы, но Ж1^1) = Ж2(^1). Тогда

Е(£1) ^Ж1^0) + ^ Е-1($)и1($) ^ = Е(£1) ^Ж2(£0) + ^ Е-1^)и2(8) ^ .

Так как Е(£1) невырождена, то

[11

Ж2(£0) - ж 1^0)= / Е-1(8)(и1 (8) - И2(^)) ^,

Л0

и значит,

/*£1 /*£1

(Ж2(£0) - Ж1(£0),01 (^0)) = (/ Е-1($)(и1($) - И2(^)) ^, 01 (£0)) = / («1(«) - ^2^), 01 ^))

7*0 */ 4о

В силу условия трансверсальности (ж1 (£0), 01 (£0)) = С(М0; 01 (£0)), поэтому выполнено неравенство (ж2(£0) -Ж1(£0), 01 (£0)) ^ 0. С другой стороны, так как пара {^1(^x1 (£)} удовлетворяет условию максимума на отрезке [£0, £1], то ^ (и^) - ^2^), 01^)) ^ ^ 0. Значит,

(Ж2(£0) - Ж1(£0),01 (£0)) = / (и1 (8) - и2(8),01 (8)) ^ = 0.

Это возможно лишь в случае, когда (м^з) -^(з), 01 (^)) = 0 для почти всех 8 € [£0,^1]. Из дифференцируемости С (и, 01) по 01 вдоль 01 (£) следует, что максимум в выражении тах(и, 01 (£))

п£и

достигается на единственном векторе и^) для почти всех £ € [£0,^1]. Получаем равенство управлений и (£) = и2(£) почти всюду на [£0,^1] и

Ж1(£1) - Ж2(£1) = Е(£)(ж1 (£0) - Ж2^0)) = 0, что противоречит предположению о совпадении Ж1(^) = Ж2(^1). Лемма 1.3 доказана.

§ 2. Достаточные условия разрешимости локальной задачи уклонения

Рассматривается линейная нестационарная задача конфликтного взаимодействия управляемых объектов с участием п преследователей и т убегающих при одинаковых динамических возможностях всех участников. Цель преследователей — переловить всех убегающих, цель убегающих — хотя бы одному из них избежать поимки. В стационарном случае задача рассматривалась в [107]. Получены достаточные условия разрешимости локальной задачи уклонения.

В пространстве Мк (к ^ 2) рассматривается дифференциальная игра Г п + т лиц: п преследователей и т убегающих. Закон движения каждого из преследователей Р^, г = 1,...,п, имеет вид:

Жг(£) = А(£)жг(£) + «г(£), ж*(^) = ж0, щ € и.

Закон движения каждого из убегающих Ез-, 3 = 1,..., т, имеет вид:

уз(£) = А(%з(£) + уз(£), уз (£0) = У0, уз € ^

причём ж0 = у0 для всех г, 3. Здесь ж^, уз-, и^, у- € Мк, и С Мк — выпуклый компакт, А(£) — действительная квадратная матрица порядка к, измеримая на всей оси £, норма ||А(£)|| интегрируема на любом компактном подмножестве оси £. Управлениями игроков являются измеримые функции иг(£), (£), принимающие при £ ^ £0 значения из множества и.

Определение 2.1. Будем говорить, что в дифференциальной игре Г из начального состояния г0 = (ж0,..., ж”, у0,..., у°^) разрешима на полубесконечном интервале [£0, +то) локальная задача уклонения, если существуют такие управления У1(£),..., Ут(£) убегающих, что при любых управлениях и^),... ,ип(£) преследователей найдется номер 8 € {1,... , т} такой,

что у8(£) = жг(£) для всех г € {1,..., п} при всех £ ^ £0.

Пусть С — некоторое непустое подмножество пространства М”. Полагаем

ж(£) = (ж1(£),...,ж^ (£)) у(£) = (У1(£),...,УМ(£))

и определим множества индексов

I(ж(£),С) = {г| г € {1,..., V}, ж^(£) € С},

3(у(£),С) = ы з € {^... ^} Уз(£) € С},

причем, если существуют индексы Зг € 3(у(£), дС), I = 1,..., 8, 8 > 1, 31 <32 <... < 3«, такие, что уз1 (£) = уз2(£) = ■ ■ ■ = Узе(£), то считаем, что 3г / 3(у(£),дС) для I = 2,... ,8. Обозначим через |11 количество элементов конечного множества I.

Предположим, что С — выпуклый компакт. Обозначим через 0з(£) решение сопряженной системы

0(£) = (2.1)

соответствующее начальному условию 0з (£0) = Рз, где р — единичный опорный вектор к множеству С в граничной точке у0, 3 € 3(у(^),дС).

Теорема 2.1. Пусть существует выпуклый компакт С, что

|3(у(£0),дС)| > |1 (ж(£0),МП\С)|,

и для любого 3 € 3 (у(^),дС) опорная функция С (и; 0з) дифференцируема по 0з вдоль траектории 0з(£) системы (2.1) для почти всех £ ^ £0- Тогда в дифференциальной игре Г из начального состояния 20 разрешима локальная задача уклонения.

Доказательство. В качестве управления убегающего Ез-, 3 € 3 (у(^),дС) выберем функцию Уз (£) € и, £ ^ £0, удовлетворяющую условию

(у (£), 0з (£)) = С (и; 0з (£)), £ ^ £0. (2.2)

Из предположения теоремы о дифференцируемости опорной функции вдоль траектории 0з (£) для почти всех £ ^ £0 следует, что множество и строго выпукло в каждом из направлений 0з(£) при почти всех £ ^ £0, и максимум в выражении (2.2) достигается на единственном элементе Уз(£) = Уз (0з(£)), причем Уз- зависит от 0з непрерывно. Но так как 0з (£) — абсолютно непрерывная функция, то функция Уз-(0з (£)) как суперпозиция двух почти везде непрерывных функций является непрерывной функцией времени для почти всех £ ^ £0, а значит, измеримой. Управления убегающих Ез, 3 / 3(у(£0),дС) произвольны.

Покажем, что преследователь Рг, г € I(ж(^),С), не может поймать ни одного убегающего Ез, 3 € 3(у(^),дС). Рассмотрим сначала случай г € I(ж(^),ШС). Из лемм 1.1, 1.2 следует, что при любом управлении Уг(т), т € [£0, £], иг(т) € и, справедливо соотношение

жг(£) / дХ(£; £0, С, и),

в то время как

уз (£) € дХ(£; £0, С, и)

для любых 3 € 3(у(£0), дС). Следовательно, жг(£) = уз(£) при £ ^ £0 для любого 3 € 3(у(£0), дС). Теперь покажем, что если в момент £1 для некоторого индекса г

ж^) € дХ(£1; £0, С, и) и ж^1) = уз(£1),

3 € 3(у(£0), дС), то ж*^1 + £) = уз(£1 + £) при £ > 0.

Предположим противное: существует такое число £2 > 0, управление иДт), т € [£ 1,£ 1 + £2], такие, что жД^ + £2) = уз(£1 + £2). Тогда, учитывая включение уз(£) € дХ(£; £0, С, и), £ ^ £0, получим, что

жг(^1 + £2) € дХ(£1 + £2; ^0,С,и) = дХ(£2; £1,Х(£1; ^,С, и),и).

Поэтому пара {и^),жг(£)} удовлетворяет условию максимума на отрезке [£ 1,£ 1 + £2] и условию трансверсальности на множестве Х(£1;^,С, и). Пара {уз(£),уз(£)} также удовлетворяет условию максимума на отрезке [£1, £1 + £2] и условию трансверсальности на множестве Х (£1; £0,С, и). Поскольку опорная функция С (и; 0з) дифференцируема по 0з вдоль траектории 0з(£) при почти всех £ из отрезка [£1, £1 +£2], то, в силу леммы 1.3, жД^ +£2) = уз(£1 +£2). Противоречие. Отсюда следует, что если г € I(ж(£0),дС), то жг(£) = уз(£) для всех 3 € 3(у(£0),дС), £ ^ £0.

Преследователь Рг, г € I(ж(^), М”\С), может поймать не более одного убегающего Ез, 3 € 3(у(^),дС). Действительно, на основании леммы 1.3 заключаем, что

узо(£) = ул(£) для любых 30,31 € 3(у(^),дС), 30 = 31, £ ^ *0, (2.3)

то есть одновременная поимка преследователем Рг, г € I(ж(^),М”\С), двух убегающих

Езо, Ел, 30,3'1 € 3(у (£0), дС),

невозможна.

Предположим, что в момент £1 > £0 преследователь Рг, г € I(ж(^), М”\С), ловит убегающего Езо, 30 € 3(у(^),дС), то есть выполнено равенство жД^) = узо(£1). Из соотношений (2.2), (2.3) получаем, что жг(£1 + £) = уз1 (£1 + £) для всех 31 € 3(у(£0),дС)\{30}, £ > 0. Следовательно, преследователи могут поймать не более II(ж(^),М”\С)| убегающих Ез, 3 € 3(у(^),дС). Поскольку

13(у(£0),дС)| > II(ж(£0),МП\С)|,

то теорема доказана.

Теорема 2.2. Пусть и — строго выпуклый компакт с гладкой границей. Если существуют выпуклые компакты С1, С2 такие, что ж0 € С1 и С2 для любого г € {1,...^}

|!(ж(£0),С1\С2)| < |3(у(£0), МП\(С1 и С2))| + |3(у(^),дС2)|, (2.4)

то в дифференциальной игре Г из начального состояния 20 разрешима локальная задача уклонения.

Доказательство. Определим управление Уз- (£), £ ^ £0, для каждого убегающего 3 € 3(у(£0),дС2) из условия

(уз (£),0з(£)) = С (и; 0з(£)) (2.5)

где 0з (£) — решение сопряженной системы (2.1), соответствующее начальному условию 0з(£0) = Рз, Рз — единичный опорный вектор к множеству С2 в граничной точке у0. Можем считать, что множество С2 имеет гладкую границу. В противном случае возьмем достаточно малое число 5 > 0 такое, чтобы выполнялись соотношения

Х(£0 + 5; £0, у0, и) П (У Х(£0 + 5; £0,Сг,и)) = 0 (2.6)

г=1,2

при любом 3 € 3(у(£0), МП\(С1 и С2));

Х(£0 + 5; £0,С2, и) П Х(£0 + 5; ^,ж0, и) = 0 (2.7)

при любом г € I(ж(£0),С1 \С2), и зададим управление Уз-(£) для любого убегающего 3 € {1,... ,^}\3(у(£0), дС2) на полуинтервале [£0, £0 + 5) произвольным образом.

Из соотношений (2.6), (2.7) и лемм 1.1, 1.2, 1.3 получим, что в момент £ = £0 + 5 при любых управлениях преследователей

^(ж(£0), С1 \С2)| = ^(ж(£0 + 5), Х(£0 + 5; £0,С1, и)\Х(£0 + 5; £0, С2, и(2.8)

13(у(£о), МП\(С1 и С2))| = 13(у(£о + 5), МП\(Х(£о + 5;£о, Сь и) и Х(£о + 5;£о, С, и)))|, (2.9)

|3(у(£0),дС2)| ^ |3(у(£0 + 5),дХ(£0 + 5;£0,С2,и))| (2.10)

и Х(£0 + 5; £0,С2,и) — компакт с гладкой границей. В момент времени £ = £0 + 5 в качестве

множеств С1, С2, фигурирующих в условиях теоремы, возьмем множества Х(£0 + 5; £0, С1,и),

Х (£0 + 5; £0 ,С2 ,и).

Итак, множество С2 имеет гладкую границу. Для всех индексов г, г € I(ж(^),дС2) определим траекторию жг(£), £ ^ £о) которая исходит из точки х® и соответствует управлению ; выбираемому из равенства

= С (и; 0;(£)), (2.11)

где 0Д£) — решение сопряженной системы (2.1) при 0Д£о) = Рг> Рг — единичный опорный вектор к множеству С2 в граничной точке ж0. Так как и — строго выпуклое множество и С2 — компакт с гладкой границей, то траектории

Уз(£), 3 € 3(у(£0),9С2), жг(^)) г € 1(х(г0), дС2), £ ^ £0,

определяются единственным образом. Поэтому, если жг(£) € дХ(£; £0, С2, и) в момент £ > £0 при некотором управлении щ(т), т € [^сь^Ь то Жг(£) = Жг(^)) * € 3(ж(^), ). Зададим управления

убегающих уз,

3 € {1,..., ^}\ (3(у(£0), МП\(С1 и С2)) и 3(у(£0), дС2)),

при £ ^ £0 произвольным образом.

Доказательство теоремы проведем по индукции относительно числа убегающих, начальные положения которых принадлежат множеству М”\(С1 и С2).

Пусть |3(у(^), М”\(С1 иС2))| = I. Если I = 0, то из условий теоремы следует существование

такого выпуклого компакта ^2, что

|30(у(£0),дС2)| > |!(ж(£0),Кп\С2)|.

Можно применить теорему 2.1.

Рассмотрим случай I = 1. Определим для произвольного выпуклого компактного множества К С К” функцию

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

<^(ж,р, К) = (ж,р) — С (К; р), ж € Кп, р € Кп, (2.12)

и многозначное отображение

Р(ж, К) = {р € д£1 р(ж,р, К) ^ 0} (2.13)

на множестве ёош Р = К”\ 1П К. Управление

Уз(£), £ € [£0,£(Рз)), 3 € 3(у(^), КП\(С1 и С2)),

определим из условия максимума (2.5), в котором 0з(£) — решение сопряженной системы (2.1), соответствующее начальному условию

0з(£0) = Рз, Рз € Р(2.14) причем вектор рз такой, что справедливы соотношения

Уз(КРз),Рз) + хМРз)), г € 1{х{и),дС2), (2.15)

Уз(£(Рз),Рз) = УДФз)), « € 3(У(£0), дС2), (2.16)

где £ (рз ) — первый момент времени, когда уз (£,Рз) € Х (£; £0, С2, и).

Здесь через уз(£,Рз), 3 € 3(у(^),К”\(С1 и С2)), £ ^ £0, обозначена траектория игрока Ез, соответствующая управлению Уз-(£), выбираемому из равенства (2.5), в котором 0з(£) — решение системы (2.1) при 0з(£0) = Рз. Если такой момент £(рз-) не существует, то положим

£(Рз) = +го. В этом случае игрок Ез, 3 € 3(у(^), К”\(С1 и С2)), при так выбранном управле-

нии избежит поимки. Действительно, рассмотрим скалярное произведение

(Уз(£) — жг(£),0з(£)) = (у0 — ж0,рз) + [ (Уз(5) — «г(^),0з(8)) ^, г € I(ж^С]^).

3*0

Оно неотрицательно при всех £ ^ £0, причём равно нулю тогда и только тогда, когда (у0 — ж0,Рз) = 0 и Уз(5) = «г(з) при почти всех 8 ^ £0. Но тогда уз(£) — жг(£) = Е(£)(у0 — ж0) = 0 при всех £ ^ £0. Значит, ни один преследователь Рг, г € I(ж(^), СДС2), не может поймать убегающего Ез, 3 € 3 (у(^), К”\(С1 и С2)). А так как £ (рз) = +то, то ни один преследователь Рг, г € I(ж(£0),С2), не может поймать убегающего Ез, 3 € 3(у(^),К”\(С1 и С2)). Поэтому считаем, что £(рз) < +то.

Покажем, что если р],Рз € Р(у0, С1), р] = р2, то

Уз(£,Рз) = Уз(£,Р2) при £ ^ £0. (2.17)

Допустим противное: существует такой момент £ > £0, что выполнено равенство уз (£, р 1) = Уз (£,р2). Тогда

(Уз (^Рз^Рз) = (Уз ^Р^Р^

и, следовательно,

I (у)(з) — у|(8),0з (5)) ^ = 0. (2.18)

3*0

Так как и — компакт с гладкой границей, то неравенство (у](з), 0](з)) > (у?(з),0!(5)) справедливо при любом в € [£0, £]. Поэтому интеграл в равенстве (2.18) положителен. Получили противоречие. Тем самым соотношение (2.17) доказано.

Заметим также, что если при некотором

выполнено равенство

р] € Р(у0, С]), 3 € 3(у(£0), КП\(С] и С2)),

Уз(Кр}),р}) = жв(*(р)))

(2.19)

для некоторого 5 € I(ж(0), дС2), то при любом другом векторе р2 € Р(у0, С]), р] = р2 (предполагаем, что £(р2) < +го), справедливо соотношение

(2.20)

Докажем это. Предположим противное:

уЖрЪ->рЪ =хв(Щ))-

(2.21)

Из соотношений (2.17), (2.19), (2.21) следует, что £(р]) = £(р2). Не ограничивая общности, можем считать, что £(р]) < £(р2). Так как

ж8(г(р))) е дх{г(р))\^,у®,и), х8{г{р))) е дх{г(р))\^,у®,и),

и выполнено равенство (2.19), то в силу лемм 1.1, 1.2, 1.3

жв(£(Р2)) = Уз ^Р^Р1^

что противоречит соотношению (2.17). Тем самым неравенство (2.20) доказано.

Таким образом, убегающий Ез-, 3 € 3(у(^),К”\(С] и С2)), зная начальные положения игроков Рг, г € I(ж(£0),дС2), Е8,5 € 3(у(^),дС2), выбирает в качестве 0з(£0) такой вектор Рз € Р(у0,Сз), что для соответствующей траектории уз(£,Рз), £ ^ £0, в момент £ = £(рз) справедливы соотношения (2.15), (2.16).

Итак, пусть в момент £ = £ (рз) впервые выполнено включение

Уз(£) € Х(£; £0, С2, и), 3 € 3(у(^), КП\(С] и С2)).

Если жг(т) € Х(т; £0,С2,и), г € I(ж(£0), Сз\С2) при т € (£0,£(рз)), то в силу лемм 1.1, 1.2 преследователь Рг не может поймать на интервале (т, +то) ни одного убегающего Е8, 5 € 3(у(^),дС2), то есть на отрезке [£0,£(рз)] любой преследователь Рг, г € I(ж^^С] \С2), может поймать не более одного убегающего Е8, 5 € 3(у(£0),дС2). Учитывая соотношения (2.4), (2.15), (2.16) и включения уз(£(рз)) € дХ(£(рз); £0,С2,и), получим

|/(ж(£(рз)),Х(£(рз);£о, Сх, и)\Х(ф,-);£0,^2, и))| < |3(у(£(рз)),дХ(£(р); £о,С2,и))|. (2.22)

Управление Уз (£) при £ ^ £ (рз) будем выбирать из условия (2.5), взяв в качестве 0з (£) решение сопряженной системы (2.1) при

0з (£(Рз)) = Рз, (2.23)

где рз — единичный вектор, опорный к множеству Х(£(рз); £0, С2, и) в граничной точке уз(£(рз)). Из неравенства (2.22) получаем, что хотя бы один из убегающих избежит поимки.

Пусть выполнены условия теоремы и при I ^ г в дифференциальной игре Г из начального состояния г0 разрешима локальная задача уклонения. Покажем, что теорема верна и при I = г + 1. Зафиксируем некоторое выпуклое компактное множество С, такое, что 0 € 1П С. Можем считать, что

3(у(£0), Кп\(Сз и С2)) = {1, 2,...,г + 1}

У0 € д(С] + £8С), £8 > 0, 5 = 1,..., г + 1,

причем £] > £2 > ... > £г+1. Действительно, для любого номера 3 € 3(у(^0),К”\(С] и С2)) найдется такое число £• > 0, при котором у0 € д(С] + £• С). Предположим, что существуют индексы 31, 32 € 3(у(^0), К”\(С] и С2)), 31 = 32, для которых £з1 = з. Выберем такое число 5 > 0, чтобы выполнялись соотношения (2.6), (2.7).

Пусть р1, р2 — единичные векторы, опорные к С] + £з1 С соответственно в точках у01, у02 . Управление игрока Ез; на полуинтервале [£0,^0 + 5) будем выбирать из равенства

(У;(£),0з;(£)) = С(и; 0з(£)) где 0з;(£) — решение сопряженной системы (2.1) при 0з;(£0) = р1, г = 1, 2. Тогда

Уз1 (£0 + 5) € д(Х(£0 + 5; £0, С1, и) + £1 Е(£0 + 5)С)

Уз2 (£0 + 5) € 1п"ЦХ(£0 + 5; £0, С1, и) + £з1 Е(£0 + 5)С),

множество Е(£0 + 5)С выпукло и компактно и 0 € Ш Е(£0 + 5)С, поэтому

Уз2 (£0 + 5) € д(Х(£0 + 5; £0, С], и) + Е(£0 + 5)С), 0 < £71 < £з1.

Управление игрока Ез для любого 3 € 3(у(£0), КП\(С] и С2))\{31,32} выберем на [£0,^0 + 5) из условия (2.5), в котором 0з(£) — решение сопряженной системы (2.1) при 0з(£0) = Рз, где Рз — единичный вектор, опорный к к множеству С] + £зЕ в граничной точке у0. В момент £ = £0 + 5 в качестве множеств С], С2, фигурирующих в условии теоремы, возьмем множества Х(£0 + 5; £0, С], и), Х(£0 + 5; £0, С2, и), а в качестве множества С — множество Е(£0 + 5)С. Если необходимо, этот прием повторяем. Затем производим перенумерацию убегающих.

Итак, в момент времени £ = £0 мы зафиксировали такое выпуклое компактное множество С,

0 € Ш С, что У0 € д(С3 + £5 С), 5 = 1, ...,г + 1, £3 > £2 > ••• > £г+з > 0. До момента £ = £(Р1), в который убегающий Е] впервые попадает на множество Х(£; £0, С2, и), управление Уз (£) находим из условия максимума

(у 1 (£), 01 (£)) = С (и; 01 (£)), (2.24)

где 01 (£) — решение сопряженной системы (2.1) при 01 (£0) = Р1, а рз € Р(у°, С] + £2С), причем 2/1^(р1)) / х3(г(р1)) для любого § € 1(х(Ц),дС2), Уг^рг)) ф для любого

5 € 3(у(£0), дС2). Если такой момент времени £(Р1) не существует, то положим £(р1) = +то. В этом случае при так выбранном управлении убегающий Е1 избежит поимки. На интервале [£(р1), +то) управление У](£) выбираем из условия (2.24), в котором 01 (£) — решение сопряженной системы (2.1) при 01 (£(Р1)) = р], где р] — единичный вектор, опорный к множеству Х(£(р1);£0,С2,и) в граничной точке уз(£(рз)).

Считая управление игроков Е],..., Е^з, 3 ^ г +1, заданными, построим управление игрока Ез. Управление Уз-(£) при £ € [£0,£(рз)) находим из равенства (2.5), в котором 0з(£) — решение системы (2.1) при 0з(£0) = рз, где вектор рз € Р(у0, Сз + £3+1Е), если 3 < г + 1, рг+1 € Р(у0+1, С]), причем

2/з(*(Рз)) 7^(Фз))> 8 е 1(х(10),дО2),

Уз(£(Рз)) = УД^Рз)), 5 € 3о(У(tо), дС2),

Уз №)) = уД^Рз ^ 5 = V..,3 —1,

где £ (рз) — момент времени, при котором впервые выполнено включение уз (£) € Х (£; £0, С2, и). Предполагаем, что такой момент £ (рз) существует. При £ ^ £ (рз) управление Уз- (£) определим из равенства (2.5), где 0з(£) — решение системы (2.1) при 0з(£(рз)) = рз, рз — единичный вектор, опорный к множеству Х(£(рз);£0,С2,и) в граничной точке уз(£(рз)).

Обозначим £* = ш^.^(у(*0) Мп\(с1ис2)) £(Рз). Учитывая способ построения убегающих и леммы 1.1, 1.2, получим

|3(у(Г)), Мга\(Х(£*; £0, С],и) и Х(£*; £0, С2, и))| < г,

|! (ж(£*),Х (£*; £0 ,Сьи)\Х (£*; ^2 ,и))| < |3 (у(Г), Мга\(Х (£*; £0 ,Сьи) и Х (£*; ^2 ,и)))| +

+|30 (у(£*),дХ (£*; £0,С2 ,и ))|.

Согласно предположению индукции, в дифференциальной игре Г из начального состояния г(£*) разрешима локальная задача уклонения. Теорема доказана.

§ 3. Достаточные условия разрешимости глобальной задачи уклонения в нестационарной задаче с простой матрицей

В 1976 Б.Н. Пшеничным была опубликована работа, в которой были получены необходимые и достаточные условия поимки группой преследователей одного убегающего в задаче простого преследования с равными возможностями игроков [77]. Естественным обобщением указанной задачи является ситуация конфликтного взаимодействия, когда в игре участвуют две группы — преследователи и убегающие. Цель группы преследователей — поимка заданного числа убегающих, цель группы убегающих — противоположна. В [23] для задачи простого преследования группой преследователей группу убегающих были получены достаточные условия разрешимости глобальной задачи уклонения. В [37] были получены достаточные условия разрешимости глобальной задачи уклонения в линейной стационарной дифференциальной игре с участием группы преследователей и группы убегающих при равных возможностях всех участников. В данной работе рассматривается нестационарная задача конфликтного взаимодействия группы преследователей и группы убегающих при равных возможностях всех участников. Целью группы преследователей является поимка всех убегающих, а целью группы убегающих является предоставление возможности по крайней мере одному из них уклониться от встречи. Получены достаточные условия разрешимости локальной и глобальной задач уклонения.

В пространстве Мк (к ^ 2) рассматривается дифференциальная игра Г п + т лиц: п преследователей и т убегающих. Закон движения каждого из преследователей Рг, г = 1,...,п, имеет вид

жг(£) = -а(£)жг(£) + иг(£), жД^) = ж0, и € и.

Закон движения каждого из убегающих Ез-, 3 = 1,..., т, имеет вид

уз(£) = -а(£)Уз(£) + Уз(£) Уз(£0) = У0, Уз € U,

причем ж0 = у0, для всех г = 1,..., п, 3 = 1,... , т. Здесь жг, уз, иг, Уз- € Мк, и С Мк — строго выпуклый компакт, а(£) — действительная измеримая функция, интегрируемая на любом компактном подмножестве оси £. Управлениями игроков являются измеримые функции иг(£), Уз (£), принимающие при £ ^ £0 значения из множества и.

Обозначим данную игру через Г(п, т, г0), где г0 = (ж],..., жП, у0,..., у^). Определим функцию у следующим образом: у(р) = с'(и;р), где с'(и;р) — градиент опорной функции с(и;р). Пусть далее

/±0) = ехр(=ь [ а(з)<к), д(г) = [ /_,_(«)йв, Л0 = Иш -1-,

4 Ло у Ло #(£)

Н + , Н- — открытые положительное и отрицательное полупространства, определяемые гиперплоскостью Н. Пусть а — некоторое разбиение £0 = Т0 < т] < ■ ■ ■ < промежутка [£0, +то), не имеющее конечных точек сгущения.

Определение 3.1. Назовем кусочно-программной стратегией V} убегающего Ез, отвечающей разбиению а, семейство отображений {Ь,- }^=0, ставящих в соответствие величинам

(тг,ж1(тг),... ,ж„ (тг),У1(тг),... ,Ут(т),

шш шш ||жг(т) - уз(т)У,..., шш ш1п ||жг(т) - Ут(т)||)

'=!-"г е[то,тг] <=!-пт е[то ,тг]

измеримую функцию уз (£), определенную на [т, т^+з) и такую что у^ (£) € и для всех £ € [т1 ,т1+1).

Определение 3.2. В игре Г(п, т,г0) из состояния г0 разрешима локальная задача уклонения, если существуют разбиение а промежутка [£0, +то), кусочно-программные стратегии VI,..., Рт убегающих Е], ..., Ет, отвечающие разбиению а такие, что для любых траекторий преследователей ж 1 (£),...,жп(£) найдется номер в такой, что неравенство у5(£) = жг(£) будет выполнено для всех £ ^ £0 и всех г € {1,..., п}.

Определение 3.3. В дифференциальной игре Г(п, т, г0) разрешима глобальная задача уклонения, если из любого начального состояния г0 разрешима локальная задача уклонения.

Лемма 3.1. Пусть в игре Г(п, т, г0) существует гиперплоскость Н такая, что ж0 € Н~, г = 1,... ,п, у® £ Н+, ] = 1,... ,т. Тогда в игре Т(п, т, г°) разрешима локальная задача уклонения.

Доказательство. Пусть р — единичный вектор нормали гиперплоскости Н, направленный в Н + . Рассмотрим решение •0(£) сопряженной системы

0(£) = (ЗЛ)

с начальным условием ^(£0) = р. Тогда •0(£) = /+(£)р. В качестве стратегий убегающих Рз, 3 = 1,..., т, выберем одну и ту же функцию эд(£), £ ^ £0, удовлетворяющую условию

(Ц£),^(£)) = с(и;0(£)).

В силу строгой выпуклости и и сонаправленности •0(£) и р функция эд(£) постоянна и равна

У(Р^ Уз(£) = У-ВД + 5(£)у(Р)).

Покажем, что ни один из преследователей Рг, г = 1,...,п, не может поймать ни одного убегающего Ез, 3 = 1,..., т. Пусть иг — управление преследователя Рг. Тогда

ж(£) = /-(£)(ж0 + [ /+(в)иг(в) ^в).

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Ьо

Рассмотрим скалярное произведение:

(жг(£) - Уз(£) 0(£)) = (/- (£)(ж0 - У0 + / /+(в)(иг(в) - У(Р)) ^в) /+ (£)Р) =

Ло

= (ж0 - у0 + /+(в)(и(в) - у(р)) ^в,р) = (ж0 - у0,р) + (иг(в) - у(р), /+ (в)р) ^в =

Ло ^о

= (ж0 - У0,р)+ / (иг(в),0(в)) - с(и; 0(в)) ^в. ■по

Оно неположительно при всех £ ^ £0, причем равно нулю тогда и только тогда, когда ж0 € Н, у0 € Н и иг(в) = у(р) почти всюду на [£0,£]. Тогда жг(£) - Уз(£) = /-(£)(ж0 - у0) = 0 для всех £ ^ £0 в силу условия ж0 = у0 для всех г = 1,..., п, 3 = 1,... , т. Значит, в игре Г(п, т, г0) разрешима локальная задача уклонения. Лемма доказана.

Замечание 3.1. Если начальная позиция хотя бы одного убегающего не принадлежит внутренности выпуклой оболочки начальных позиций преследователей, то в силу леммы 3.1 разрешима локальная задача уклонения.

Лемма 3.2. Пусть в игре Г(п, т, г0) существуют гиперплоскости Н], Н2, множества I С {1,..., п}, 3 С {1,... , т}, такие, что выполнены следующие условия:

1) Н II Н2, Я2+ С н+•

2) |71 ^ |/1 + 1;

3) ж° € Я2+, г € /, ж° € #Г7 г £ /, у° € #1+ П Я2", 3 € 7;

4) для любой пары индексов в, I € 8 = I, выполнено у° — у° ^ у(р) — у( — р), р — единичный

вектор нормали Н1, направленный в Н+.

Тогда в игре Г(п, т, г°) разрешима локальная задача уклонения.

Доказательство. Рассмотрим решения 01(£), 02(£) сопряженной системы (1) с начальными условиями 01 (£°) = р, 02 (£°) = —р. Тогда 01 (^) = /+ (^)р, 02(£) = —/+(^)Р- Пусть

функции ад^), ^2 (£), удовлетворяют условию

(адг(£),0г(£)) = с(и; 0г(£)), г = 1,2.

Так как /+(£) > 0 для всех £ > £° и и — строго выпуклый компакт, то ^1 (£) = у(р), ^2(^) = у(—р). Кроме того, если у(р) = у(—р), то и = (у(р)} — одноточечное множество, поэтому в силу единственности решения дифференциального уравнения все траектории Жг(£), г = 1,... ,п, у/(£), j = 1,... ,т, попарно не пересекаются. Это означает, что ни один преследователь не может поймать ни одного убегающего, и в дифференциальной игре Г(п, т, £°) разрешима локальная задача уклонения. Поэтому в дальнейшем считаем, что и содержит более одной точки. Заметим также, что (у(р) — у(—р),р) = 0, так как в противном случае и С Н,

где Н — опорная гиперплоскость к и, проходящая через у( — р) с вектором нормали р, что

противоречит строгой выпуклости и. Значит, (у(р) — у(—р),р) > 0.

Определим стратегии убегающих Е/, j € 7, полагая

,, ,(/) = Г у(—р^ £ € [£°Л'^

3() \ у(р), £ € [£3, +то),

где — момент времени попадания убегающего Е/ на гиперплоскость Н(£) = (ж € Мк |(ж,р) = (У/о(£),р)} — это гиперплоскость, параллельная Н1, проходящая в каждый момент времени £ через позицию у/0 (£) убегающего Е/о, 3’° € 7, находящегося при £ = £° ближе всего к Н1. Выясним, при каких условиях такой момент времени существует. Убегающий Е/ попадет на гиперплоскость Н(£) тогда и только тогда, когда (у/ (£), р) = (у/0 (£), р). Если 3 = 3°, то / = £°,

у/(£) = у(р). Если 3 = ^ то У/(£) = у(—р) и (у/(£) — у/о(£),р) = (/-(£)(У° — У°0 + д(£)(у(—р) —

у(р))),р) = 0 тогда и только тогда, когда уравнение

(»?-!&■?>

9(г) ' '

имеет решение при £ ^ £°. Функция д(£) непрерывна и строго монотонно возрастает. Скалярное произведение (у° — у°о, р) ^ 0 в силу выбора 3°. Если (у° — у°о ,р) = 0, то = £° и V/ (£) = у(р). Если же (у° — у°о ,р) > 0, то уравнение (3.2) имеет единственное решение / при условии, что либо Л° =0 (и, таким образом, д(£) неограниченно возрастает), либо выполнено неравенство

(у°—У°п ,р) -I , _ „ - т

(^(р)_^(_р) р) < ПРИ Ао > 0. Ьсли хотя бы при одном з € Л последнее неравенство не выполнено, тогда убегающий Е/о избежит поимки. Покажем это.

Пусть — управление преследователя Рг, г € I. Тогда при любом £ ^ £°

(у/о(£) — жг(£),01(£)) = (У0о — ж° + /+(в)(у(р) — иг(в)) ^в,р) =

= (у^ — Ж°,р)+ / (У(р) — «г(в), 01 (в)) ^в < (у^ — Ж°,р)+ / (У(р) — У(—р),01 (в)) ^в =

-'*о -'*о

= (у°о — Ж°,р) + д(£)(у(р) — у(— р),р) < 0,

так как

„т <г А. < (У°-У°о>Р) . (х°г-У%Р)

Ло ^ (у(р) - у(-р),р) (у(р) - у{-р),р) ■

Выясним теперь, при каких условиях траектории, соответствующие так определенным стратегиям убегающих, попарно не пересекаются. Рассмотрим двух убегающих Е и Е,, г, j € 7, со стратегиями V и V,.

у(-р), Ь € [£о,£г), /,ч _ Г у(-р), Ь € ^0,,),

^(Ь) \ у(р), Ь € [Ьг, +го), Vj(Ь) \ -и(р), Ь € [Ь,, +то)

Можно считать, что ^ ^ Ь,. Так как У^(Ь) = V, (Ь) при Ь € [Ьо, Ьг] и при Ь € [Ь,, +то), то убегающие могут столкнуться только в момент времени Т € [Ьг,Ь,]• Тогда

уг(Т) = /-(Т)(у0 + / /+(вМв) ^в) = /-(Т)(у0 + д(ЬгМ—р) + (д(Т) - д(Ьг^(р^ Но

у,(Т) = /-(Т)(у0 + / /+(в>,(в) ^) = /-(Т)(у0 + д(ТМ—р)),

Но

и Уг(Т) = у,(Т) тогда и только тогда, когда у° — у0 = (д(Т) — д(Ьг))(^(р) — -и(—р)), при этом Т = Ь, (в силу определения Ь,) и д(Ь,) — д(Ьг) > 0, так как по условию у° = у0.

Из условия 4 следует, что траектории убегающих Е,, j € 7, не пересекаются. Покажем, что стратегии V,, .? € 7, есть стратегии уклонения. Из леммы 3.1 следует, что для любой траектории Хг(Ь), г / I, выполнено Хг(Ь) = у, (Ь) при любом Ь ^ Ьо и для любого номера j € 7.

Кроме того, из леммы 3.1 следует, что для любой траектории Хг(Ь), г € I, выполнено Хг(Ь) =

у, (Ь) для всех ] € 7, Ь € [Ь0, тах Ь, ].

з £ ^

Покажем, что каждый из преследователей Рг, г € I, ловит не более одного убегающего Е,, j € 7. Пусть это утверждение неверно, то есть существуют г € I, Л, 32 € 7, Ь1,Ь2 > тах Ь, такие, что

хг(Ь1) = у,1 (ЬД хг(Ь2) = у,2 (Ь2) (3.3)

для некоторой траектории Хг(Ь).

Так как у,(Ь) = у,2(Ь) для всех Ь ^ Ь0, то Ь1 = Ь2. Пусть Ь1 < Ь2, тогда в момент времени Ь1 убегающий Е,2 и преследователь Рг находятся на одной гиперплоскости Н(£1), поэтому, в силу леммы 1, у,2(Ь) = Хг(Ь) при любом Ь ^ Ь1. А это противоречит (3.3). Следовательно, каждый из преследователей Рг, г € I, ловит не более одного убегающего Е,, j € 7. В силу условия 2 получаем, что в игре Г(п, т, 2я) разрешима локальная задача уклонения. Лемма доказана.

Лемма 3.3. Пусть в игре Г(п, т,20) параметр А0 = 0, существуют гиперплоскости Н1, Н2, • • •, Н21, множества Д, ^,. • •, II, 71, 72, • • •, 7г такие, что выполнены следующие условия:

1) Н1 || Н2 || ••• || Н21, Н+ С Н+-1, з = 2,... , 21, р — единичный вектор нормали гипер-

плоскости Н1, направленный в Н+;

2) С {1,..., п}, С {1,..., т}, в, д = 1,... , 1, I., П ^ = 0, 5 = д, П = 0, в = д;

3) х0 € Н1-, г /и I,; 8=1

4) х0 € Н+ П Н2,+1, г € I,, в — 1,..., 1 — 1, х0 € Н+, г € !\;

5) у0 € Н28-1 П Н2,, 3 € , в = 1, . . . , 1;

6) |.71| + [|J2ЫIl|]+ + ••• + [Й| — (|!1| + |!21 + ••• + |!г-11)]+ ^ |Д| + |!2| + ••• + III|, где

а+ = тах(а, 0);

І

7) для любой пары индексов і, і Є У і = і, выполнено у° — у° ^ -и(р) — ^(-р).

8=1

Тогда в игре Г(п,ш,г°) разрешима локальная задача уклонения.

Доказательство. Пусть 1° = У /8, 7° = У Стратегии убегающих Е.,-, і / 7°

задаем произвольно, а для і Є 7° полагаем

у(-р),

8=1

у(р),

и(-р),

у(р),

у(-р),

у(р),

і Є [і°,і)), і Є [і], +то),

і Є [і°,і?), і Є [і] ,і9),

і є [і9,і9*),

і Є [і9*, +то),

і Є 7],

і Є 7,, д = 1.

Пусть Н(і) = (ж Є Мк|(ж,р) = (у^0(і),р)} — гиперплоскость, параллельная Н], проходящая через начальную позицию убегающего Е/0, і° Є </], ближайшего к Н]. Движение убегающих Е^, і Є , д ^ 2, происходит следующим образом: на интервале [і°,і9) убегающие «выравниваются» так, чтобы в момент і9 всем попасть на некоторую гиперплоскость Н9 У Ні; на интервале [і9, і9*] убегающие сближаются с гиперплоскостью Н(і); в момент і9* убегающие Е^, і Є , д ^ 2, попадают на гиперплоскость Н(і) и остаются на ней. Моменты времени ^, і = 1,..., 1, і Є 7і, определяются из уравнения

£(^) =

(У° - У°о ,р)

_________________*_г_________

(и(р) -и(-р),р)’

где і° Є — номер убегающего, ближайшего к Н2г-]. Моменты времени іг, і = 2,..., 1, опреде-

(У°і - У°о ,р)

ляются из уравнения $(іг) =

(и(р) - и(-р),р)

где і], і° Є — номера убегающих, ближайших

к Н2і и Н2і-і. Моменты времени ^г , і = 2,..., 1, определяются из уравнения

*(П =

(У °і - У°о ,р)

(и(р) - и(-р),р)’

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

где і1 Є — номер убегающего, ближайшего к Н2і, і° Є 7і — номер убегающего, ближайшего к Н1 .

Из леммы 3.2 следует, что для любой траектории Жі(і), і / 1°, выполнено Жі(і) = у(і), і ^ і°, і Є 7°.

Покажем, что если і Є /9, то Рі ловит не более 1 -д + 1 убегающих. Из леммы 3.2 следует, что жг(і) = Уі(і) для всех і Є 7Г, г ^ д, і Є [і°,іг *]. Из леммы 3.2 следует также, что у (і) = Жі(і), і Є 78, 8 > д, і Є [і°,і8]. Далее, если Жі(і*) Є Н(і*), то на интервале (і*, +то) преследователь Рі не ловит ни одного из убегающих Е^, і Є 7°.

Если же Жі(і) / Н(і) при і ^ Т, то на отрезке [і°,Т] преследователь Рі может поймать не более одного убегающего Е^, і Є 8 > д. Отсюда получаем, что Рі ловит не более (1 - д + 1) убегающих.

Перейдем к доказательству леммы. Обозначим

= [| 1 - (|11| + ' ' ' + |18-1|

1 +

Если г8 = 0, 8 = 2,... , I, то лемма 3.3 следует из леммы 3.2.

Пусть г8 > 0, в = 2,... ,1. В силу предыдущего утверждения каждый из преследователей Рг, г € /8, ловит не более (I — в + 1) убегающих. Поэтому все преследователи Р^, г € /о, могут

поймать не более 11/11 + (I — 1)|/21 + ■ ■ ■ + 2|/^—11 + || убегающих, а тогда

1 711 + 1^ + ■ ■ ■ + 1 1 — [1|/11 + (1 — 1)|/2| + ■ ■ ■ + 2|/1-1| + |/1|] =

| Д| + Г2 + гз +--+ г — [|/11 + |/21 +-+ |/г-11 + |/1] > 0.

Поэтому в этом случае разрешима локальная задача уклонения от встречи.

Если г5 > 0 не для всех в, рассмотрим только те в, для которых г5 > 0. Обозначим данные значения в через в1,в2,..., вд; 2 ^ в1 < в2 < ••• < вд ^ I. Введем множества 71 ,...,7^+1, /1,..., /^+1 следующим образом:

71 = 71, 7;/+1 = 3 = 1, 2,... , 9, А = А (^) ^2 /«1-1,

/2 = /^и /*1+^-и /*2-1,

/. = /^^_1 и /в^-1+^и '"и ^-1, 3 = 3,...,9,

4+1 = ЧЦ! Ч+1и-^и /г.

Тогда все условия леммы 3.3 для множеств 71,..., ^+1, /1,..., /^+1 и плоскостей Н1,..., Н2д+2 будут выполнены, причем

= О| — (|/1| + +1/*-1|)]+ > 0 в =2,..., 9 +1.

Здесь

Н1 = Н1, Н2 = Н2, Н2г+1 = Н2.^-Ъ Н2г+2 = Н2^, г = 1, . . . , д.

Тем самым доказано, что в игре Г(п, т, 20) разрешима локальная задача уклонения. Лемма доказана.

Теорема 3.1. Пусть Ао = 0, и — строго выпуклый компакт с гладкой границей. Тогда для любых натуральных чисел р, т, таких, что т ^ р2р + 2 в игре Г(2Р + 1, т, 2°) разрешима глобальная задача уклонения.

Доказательство. Пусть п = 2Р + 1, ж°,... ,жП — начальные позиции преследователей, у0,... ,ут — начальные позиции убегающих. Считаем, что точки ж°, ... ,жП, у°, ..., у^ попарно различны. Пусть д — единичный вектор такой, что

(д, ж° — ж°) = 0, 1 ^ 3 < г ^ п, (3.4)

(9,У° — У°)=0, 1 < 3<г < т, (3.5)

(д, у° — ж°) = 0, г = 1,...,п, 3 = 1,...,т, (3.6)

Уг° — У° # «(д) — «(—д), 1 < 3<г < т. (3.7)

Такой вектор д существует, так как соотношения (3.4)—(3.6) относительно д определяют конечное число гиперплоскостей, проходящих через начало координат, а условию (3.7) удовлетворяет конечное число векторов единичной сферы. Докажем это. Множество и — строго выпуклый компакт с гладкой границей, теми же свойствами обладают множества —и и и — и. Опорная функция множества —и имеет вид с(—и;р) = с(и; — р), множества и — и с(и — и; р) = с(и; р) + с(—и; р) = с(и; р) + с(и; —р). Градиент опорной функции и — и равен е;(и; р) — е;(и; —р) = «(р) — «(— р) и эта функция взаимно однозначно и непрерывно отображает единичную сферу на границу множества и — и. Поэтому для каждого вектора 2. = у° — у°,

1 ^ 3 < г ^ т, существует ровно два вектора р. и — р. таких, что ■«(р.) — «( — р.) || 2..

Пусть Н1,..., Нп — гиперплоскости с нормалью д такие, что ж° € Нг, г = 1,..., п, причем Н+ с я++1, г = 1,... , п — 1. Считаем, что д направлен в Н+, и у° € Н П Н+, 3 = 1,... ,т.

Зададим стратегии У1(£), ..., ^(£) следующим образом. При р =1 рассмотрим множества А = {з|у° € Н- П Н+}, А2 = {3|у° € Н- П Н+}. Пусть (. — расстояние от у°, 3 € А

(О е А2) до Н (#з).

Пусть А1 = («1, «2,..., а}, А = {в,в2, • . Тогда полагаем

(£) = VI, £ е [^о, то) Щ(£) =

Р2

^ах

Здесь — решение уравнения

V2, £ е [£0,£в,.),

V!, £ т £ ,)то

V2, £ е [£0,£«! ),

V1, £ е [£«! , TO),

V1, £ е [£0,£«,),

V2, £ е £ £ ^ £ 1

V1, £ е [£«! , TO),

= Ц-&.«)

К - v2,g)

О = 2,..., г,

О = 2,..., в.

3 = 2,

£«1 — решение уравнения

9(() = (А “"Л’

(VI - ^2,

решение уравнения

$(£) =

(У«! - У«,

3 = 2,

,

(VI - ^2 ,р)

Предположим, что стратегии Р1(£), ..., ^(£) определены для всех р < I. Построим теперь стратегии v1(£), ..., ^(£) для р = I. Пусть п1 = 21-1 + 1, А1 = (з|у0 е Н- П Н+х}, А2 = {з’|у° € Н~г ПД+}. В силу индукционного предположения в игре Г(п1, |^4.11, ^о), где 2о = (х°,у°), (ж5, ■ ■ ■, ж° ), уо = (у?,3 € А\) определены стратегии Щ, 3 € А\, убегающих Ej, 3 €

ж

А1. Аналогично в игре Г(п1, |А2|,20), где г0 = (ж0,у0), ж0 = (жЩ

определены стратегии V-,-, 3 е А2, убегающих Е,, О е А.2.

Определим стратегии в игре Г(п, ш,20) следующим образом:

^ У0 = (У0,3 е А2),

(() = ( ^(*)■ £е [£0’«■ о е д2,

П 1 V1, £ е [£2, то), 7 2’

V2,

V1,

£ е [£0, £1),

£ е [£1,£з), 3 е Аь £ е [£3, то),

V

а

г

1

£

а

о + лл (уах -«а в ,9) , /,ч (у^г -увх ^

Здесь £1 — решение уравнения #(£) = , £2 — решение уравнения #(£) = (^1_^1д) ,

£3 — решение уравнения $(£) = -^я) ’ Г'П,е а1 ^ — номер убегающего Еа1, ближай-

шего к Н1, а е А1 — номер убегающего , ближайшего к НП!, в1 е А — номер убегающего Е$х, ближайшего к Нп, вг е А — номер убегающего Еаг, ближайшего к НП!. Пусть Н(£) = (ж е Мк|(ж, д) = (увх(£),?)} — гиперплоскость, параллельная Нп, проходящая через позицию увх (£) убегающего Е$х. Используя индукцию, получаем, что на интервале [£0, £з] преследователи Р1, ..., Рп ловят не более (I — 1)2г + 1 убегающих. Действительно, при р = 1 преследователь Р2 ловит не более 1 = (1 — 1)21 + 1 убегающего до попадания их на одну гиперплоскость. Предположив, что при р < I преследователи ловят не более (р — 1)2Р + 1 убегающих до попадания их на одну гиперплоскость, докажем, что при р = I преследователи ловят не более (I — 1)2г + 1 убегающего до попадания их на одну плоскость. В силу индукционного предположения до момента £1 — момента попадания убегающих Е,, 3 е А1, на одну плоскость Н1 — преследователи поймают не более (I — 2)21-1 + 1 убегающего. Аналогично, до

момента І2 — момента попадания убегающих Е', і Є А2, на одну плоскость Н2 — преследователи поймают не более (1 — 2)21-1 + 1 убегающего. Между плоскостями Ні, Н2 может находится не более 21 — 1 преследователя, каждый из которых ловит не более одного убегающего, что в сумме дает не более 2((1 — 2)21-1 + 1) + 21 — 1 = (1 — 1)2г + 1 убегающих, пойманных преследователями до момента із — момента попадания всех убегающих на одну гиперплоскость.

В силу леммы 3.3 на интервале [із, +то) преследователи Рі,..., Рп ловят не более 21 убегающих. Поэтому всего преследователи Рі,..., Рп ловят не более 121 + 1 убегающих. А так как т ^ 121 + 2, то хотя бы один убегающий избежит поимки. Теорема доказана.

Введем функцию / : N ^ N вида

/(п) = тіп{т: в Г(п,т,20) разрешима глобальная задача уклонения}.

Следствие 3.1. Пусть выполнены все условия теоремы. Тогда существуют константы Сі > 0, С2 > 0 такие, что для всех п Є N п = 1, справедливо неравенство С1п 1п п ^ /(п) ^ С2п 1п п.

Доказательство. Из теоремы 3.1 следует, что для всех р Є N справедливо неравенство /(2р + 1) ^ р2р + 2. Пусть п Є N п = 1. Возьмем р Є N такое, что 2р-1 < п ^ 2р + 1. Тогда

/(п) ^ /(2р + 1) ^ р2р + 2 ^ С2п 1п п,

гДе Са = •

Для доказательства оценки снизу предварительно покажем, что для любого п Є N существует начальная позиция 2° такая, что в игре Г((к + 1)п, п(к + 1)п-1, 2°) происходит поимка. Доказательство данного утверждения проведем методом математической индукции.

Если п = 1, то подходящей будет любая позиция, в которой у° Є Іпсо^0}^1. Предположим, что утверждение верно для всех п ^ р. Докажем его для п = р +1.

В силу индукционного предположения существует позиция 2° такая, что в игре Г((к + 1)р,р(к + 1)р-1, 2°) происходит поимка не позднее времени Т. Зафиксируем данные начальные позиции.

Пусть А — множество данных начальных позиций, ^1 = ЛДТ) — радиус шара с центром в начале координат, который содержит все возможные положения игроков в игре Г((к + 1)р, р(к + 1)р-1,2°).

Рассмотрим в Мк правильный симплекс с вершинами й1, ..., а^+1 и длиной ребра в. Сделаем трансляцию множества А на каждый из векторов а5, в = 1,..., к + 1 и рассмотрим все точки вида а5 + х°, где х° — начальное положение преследователя Рі (і = 1,..., (к + 1)р) в игре Г((к + 1)р,р(к + 1)р-1, 2°), а5 — один из векторов а1,..., ак+1.

В каждую точку данного вида поместим по преследователю, получим всего (к + 1)р+1 преследователей.

В каждую точку вида а5 + у°, где у° — положение убегающего Е' (і = 1,... , р(к + 1)р-1) в игре Г((к + 1)р,р(к + 1)р-1,2°), поместим по убегающему, получим р(к + 1)р убегающих. ЕщЄ (к + 1)р убегающих поместим вовнутрь шара В° единичного радиуса с центром в центре симплекса. Тогда общее количество убегающих будет (р + 1)(к + 1)р.

Рассмотрим получившуюся игру Г((к + 1)р+1, (р + 1)(к + 1)р, 2;°) и покажем, что в можно подобрать так, что в полученной игре произойдет поимка. Для этого рассмотрим шары В1,...,

В,+1 радиуса ^1 с центрами в точках а1,..., Обозначим через Н' гиперплоскость, опор-

ную к каждому из шаров ^, в = і и разделяющую У ^ и ^. Такая гиперплоскость су-

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

«=.?

ществует, если в достаточно велико. Пусть Н+ — замкнутое полупространство, определяемое гиперплоскостью Н' и содержащее ^.

к+1

Возьмем в таким, чтобы множество Р| Н++ содержало шар радиуса Л 2 = ^2(Т), с центром

'=1

в центре симплекса, в котором бы полностью поместилось множество достижимости шара В°.

Покажем, что такой выбор в гарантирует поимку в полученной игре Г((к + 1)р+1, (р + 1)(к + 1)р,2;°). В силу индукционного предположения преследователи, находящиеся в Аі = А + а^,

ловят убегающих из этого же подмножества позиций к моменту времени, не превосходящее Т. В силу выбора в каждый из убегающих с начальной позицией из В0 находится внутри выпуклой оболочки, натянутой на позиции РДТ),..., Р^+ДТ) (где Рг(Т) — позиция преследователя в момент времени Т, в которой он оказался из начальной позиции в АД Таким образом, для каждого из оставшихся непойманными убегающих строится «окружение», гарантирующее поимку за конечное время. Тем самым показано, что в игре Г((к + 1)р+1, (р + 1)(к + 1)р, 270) происходит поимка.

Пусть п ^ к + 1 — произвольное натуральное число, р е N — такое число, что

(к + 1)р < п < (к + 1)р+1.

Тогда

/(п) ^ /((к + 1)р) ^ р(к + 1)р-1.

Так как р = [^^,+1 п], то /(п) ^ С^п 1п п. Следствие доказано.

Пример 3.1. Пусть а(£) = а ^ 0 для всех £ ^ £0, А — положительно определенная квадратная матрица порядка к, и = (ж|(Аж,ж) ^ 1}. Тогда А0 =0, и — строго выпуклый компакт с гладкой границей и поэтому для любых натуральных р, т, таких, что т ^ р2р + 2 в игре Г(2р + 1, т, 20) разрешима глобальная задача уклонения.

§ 4. Нестационарная задача простого преследования одного убегающего с фазовыми ограничениями

Рассматривается нестационарная задача простого преследования несколькими управляемыми объектами одного убегающего с фазовыми ограничениями на состояние убегающего и одинаковыми динамическими возможностями всех участников. Стационарный случай а(£) = 1 рассматривался многими авторами. В работах [23, 77] получено решение такой задачи без фазовых ограничений, причем в работе [77] рассмотрен случай, когда множество допустимых управлений игроков— шар, терминальные множества— начало координат, в работе [23] — множество допустимых управлений и терминальные множества — выпуклые компакты. В работе [37] получено решение задачи с фазовыми ограничениями, когда множество, ограничивающее управления игроков, — шар единичного радиуса, терминальные множества — начало координат, а фазовые ограничения — выпуклый компакт. В работе [65] получено решение задачи с фазовыми ограничениями, когда множество, ограничивающее управления игроков, — шар единичного радиуса, терминальные множества — компакты, а фазовые ограничения — выпуклое многогранное множество. В работе [61] рассматривался случай, когда множество допустимых управлений игроков — выпуклый компакт, терминальные множества — выпуклые компакты, фазовые ограничения — выпуклое многогранное множество.

В данной работе рассмотрен нестационарный случай, когда множество, ограничивающее управления игроков, — шар, терминальные множества — выпуклые компакты, фазовые ограничения — выпуклое многогранное множество.

В пространстве Мк (к ^ 2) рассматривается дифференциальная игра п +1 лиц: п преследователей Р1,..., Рп и убегающего Е.

Закон движения каждого из преследователей Рг имеет вид

ж*(£) = а(£)«Д£), ж*(£0) = ж0, щ е ф. (4.1)

Закон движения убегающего Е имеет вид

у(£) = а(ф(£), у(£0) = у0, V е ф, (4.2)

причем 20 = ж0 — у0 / Мг, г = 1,...,п, Мг — заданные выпуклые компакты; функция а(£)

измерима по Лебегу и интегрируема на любом компактном подмножестве оси £, |а(в)| ^ =

+то; ф — выпуклый строго выпуклый компакт с гладкой границей, 0 е ф.

Будем полагать, что убегающий Е в процессе игры не покидает пределы множества О вида

О ={ у\у е мк (р, ,у) < ^, 3 ^..^г^ (4.3)

где р1,... ,рг — единичные векторы, ^1,...,^ — вещественные числа такие, что 1ПО = 0.

Пусть Т > £0 — произвольное число и а — некоторое конечное разбиение отрезка [£0,Т]: £0 = Т0 < Т1 < ... < т8 < Т5+1 = Т.

Определение 4.1. Назовем кусочно-программной стратегией V убегающего Е, заданной на [£0, Т], соответствующей разбиению а, семейство отображений Ь1, I = 0,1,..., 8, ставящих в соответствие величинам

(тг,ж1(тг),... ,жга(тг),у(тг)) (4.4)

измеримую функцию V;(£), определенную для £ е [т,т+1), и такую, что VI(£) е ф, у(£) е О, £ е [тьт+1).

Определение 4.2. Кусочно-программной контрстратегией и преследователя Рг, соответствующей разбиению а, называется семейство отображений с1, I = 0,1,... , 8, ставящих в соответствие величинам (4.4) и управлению V;(£) измеримую функцию (£), определенную для £ е [тг,тг+1) и такую, что щ|(£) е ф, £ е [т,тг+1).

Пусть г0 = (ж*0,..., жЩ, у0). Обозначим данную игру Г = Г(п, г0, О).

Определение 4.3. В игре Г возможно уклонение от встречи, если для любого числа Т > £0 существует разбиение а интервала [£0,Т], стратегия V убегающего Е, соответствующая разбиению а, такие, что для любых траекторий игроков Рг имеет место

жг(£) — у(£) е Мг, £ е [£0, Т], г = 1,..., п,

где у(£) — реализовавшаяся в данной ситуации траектория убегающего Е.

Определение 4.4. В игре Г происходит поимка, если существует момент времени Т > £0 и для любого разбиения а интервала [£0,Т], любой траектории у(£) игрока Е существуют кусочно-программные контрстратегии и игроков Рг, соответствующие разбиению а, существует момент т е [£0, Т] и номер т е (1, 2,... , п} такие, что

жт(т) — у(т) е Мт,

где жт(£) — реализовавшаяся в данной ситуации траектория преследователя Рт.

Вместо систем (4.1) и (4.2) будем рассматривать систему

2г(£) = а(£)(щ (£) — v(£)), ^(£0 ) = г0 = ж0 — у0. (4.5)

Введем функции Аг следующим образом:

АгСи, тг) = тах{А | V — А(г0 — тг) е ф, V е ф},

АгЫ = тах Аг^,тг), г = 1,...,п,

т,еМ;

А- (ад, тг) = тах{А | ад — А(г0 — тг) е —ф, ад е — ф},

А-(ад) = тах А-(ад,тг), г = 1,...,п.

т;€М;

Так как ф — выпуклый строго выпуклый компакт с гладкой границей, то функции Аг непрерывны на ф, А- непрерывны на —ф (см. [107]) и существуют

£(,г°) = тт тах Аг(V), £-(г0)= т1п тах А-(ад),

г=1,...,п эд€-ф г=1,...,п

причем

п

£(,г0) = 0 0 е 1п1сопу |^)(<г0 — Мг),

г=1

ф0) = 0 ^ £-(г0) = 0.

Обозначим

А±(£) = (т е [£0,£] | ±а(т) > 0}, А± = А±(+то),

А0(£) = {т е [£0,£] | а(т) > 0}, А0 = А0(+то),

а±(£) = / |а(^)| ^8.

•/а±(*)

Рассмотрим случай, когда О = Мк, то есть на траекторию убегающего не наложено никаких фазовых ограничений.

Теорема 4.1. В игре Г(п,г0,О) происходит поимка тогда и только тогда, когда ф0) > 0.

Доказательство. Из [107] следует, что функции Аг^,тг), А-(ад,тг) непрерывны по совокупности переменных, а отображения Мг^) = (тг е Мг|Аг^,тг) = А^)} однозначны и непрерывны.

Зададим контрстратегии иг преследователей Рг следующим образом:

( VI(£) — Аг(^(£)) (г0 — М*(^(£))) , £ е [тг, тг+0 П А+,

Щ|(£) = < VI(£), £ е [тьтг+1) П А0,

[ VI(£) + А-(—VI(£)) (г0 — Мг(—Ы£))) , £ е [тг,тг+1) П А-,

где а = (£0 = т0 < т1 < ... < т5+1 = Т(г0)}, V — произвольная стратегия убегающего Е,

соответствующая разбиению а, Т(г0) будет определено позже. Тогда для решения системы (4.5) справедливо представление

гг(£) = г0( 1 — [ а(^)Аг^(^)) ^ — [ |а(s)|Аi (—v(s)) ds) +

4 7а+(*) 7а-(*) у

+ [ а(^)М,СФ))Аг^($)) ds + / |а(^)|Мг(—v(s))Аг-(—v(s)) ds•

.М+№ ./а-(*)

/а+(4) За-(*)

Из определения величин £(г0), £-(г0) получаем

^(1 — / Ф)Аг^ — / |а(«)|Аг (—'=

-/А+(*) ./А-(*) '

» п » п

= п — ( / а^)^ Аг^($)) ds + / А-(—v(s)) dsl ^

■> а+(*) г=1 {а-(*) г=1 >

^п— ( а(,в) тах Хг(у(,в)) г1,в + |а(§)| тах Л~(—г>(з)) ^

Л4+(*) г=1,га г=1,га '

[ а(з)£(,г0) ds + [ |а(^)|5- (г0) ds) ^ п — тт(£(,г0),£-(г0)} [ |а(«)| ds.

.М+№ ,/а-(*) ' Лп

^ п —

'чЗА+(*) ,УА-(*) 7 3*п

Поэтому не позже чем к Т(г°) = £о + шти| |о(-Ю1 йв = ------. Г. —-— 1 хотя бы одна из

I Лп тш(ф0),6-(г0)^

величин 1 — / а(^)Аг^(^)) ds — / |а(з)|А^ (—v(s)) ds обратится в нуль. Тогда

./а+(*) ./а-(*)

гг(Т(г0)) = [ а^МгСФ^Аг^)) ds + [ |а(^)|Мг(—v(s))Аг-(—v(s)) ds е Мг.

./А+(Т(.гп)) ./А-(Т(^п ))

Таким образом, хотя бы один из преследователей ловит к моменту Т(г0) убегающего Е.

Пусть теперь для позиции го выполнено £(г0) = 0. Это означает, что существуют векторы Vо, — -Ш0 е ф такие, что Аг^о) = 0, А-(-Шо) = 0, г = 1,...,п, при этом -шо можно выбрать таким, что С(ф, —ро) = (— ^0, —ро), ро — единичный опорный вектор к ф в точке Vо. Зададим стратегию убегающего следующим образом: а = (£0, +то},

= Г ЗД, а(£) ^ 0,

( ) \ — -ш0, а(£) < 0.

Предположим, что в игре Г происходит поимка. Тогда существует момент времени Т > £0, контрстратегии преследователей и1,..., ип такие, что гг(Т) е Мг при некотором г е (1,..., п}. Тогда для гг(Т) справедливо представление

гг(Т) = г0 + («1 — vо)a+ (Т) + («2 — ^а-(Т) = тг е Мг,

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

{/А+(т )а(8) иг(8) ^

“(Г)>0-

vо, а+(Т) = 0,

°-<г»о,

■ш0, а (Т) = 0.

Перенесем г0 в правую часть и умножим скалярно на ро, получим

а+ (Т)(«1 — vо,ро) + а-(Т)(^о — «2, —ро) ^ 0 ^ (тг — г0,ро),

причем одновременное равенство 0 левой и правой части невозможно. Значит, в игре Г происходит уклонение от встречи. Теорема доказана.

Будем теперь предполагать, что убегающий Е в процессе игры не покидает пределы множества О вида 4.3, ф — шар радиуса Я > 0 с центром в начале координат. Пусть

51(г0) = тт тах А5 (V), (г0) = тт тах А5 (—V).

«=1,...,п+г «=1,...,п+г

Величина фг0) =0 в том и только том случае (см. [8]), когда

0 / З^сопу^ — М1,..., ^п — Мп,р1,... ,рг}.

Учитывая, что по определению ^(г0) ^ 0, получаем, что

51 (г0) > 0 0 е 1п1сопу (г0 — М1,..., ^ — Мп,р1,... ,рг}

фг0) > 0 ^ 5-(г0) > 0.

Теорема 4.2. Если выполнено неравенство

П

1Ж° - М) І=1

^ к, то для того, чтобы в

игре Г происходила поимка, необходимо и достаточно, чтобы выполнялось условие ^(г0) > 0.

Доказательство. Пусть ^(г0) > 0. Докажем, что в игре Г(п, г0,0) происходит поимка.

1. Рассмотрим сначала случай г =1. Пусть V — произвольная стратегия убегающего Е, соответствующая некоторому разбиению а = (£о = то < ... < т8+1 = Т} некоторого интервала [£о,Т ].

Зададим контрстратегии иг преследователей Рг следующим образом:

( VI(£) — Аг(^(£)) (г0 — Мг(^(£))) , £ е [77,77+1) П А+,

«г(£) = \ VI(£), £ е [тьтг+1) П А0,

[ VI(£) + Аг(—VI(£)) (г0 — Мг(—V(£))) , £ е [77,77+1) П А-,

Так как стратегия V допустима, то у(£) е О, £ е [£о,Т]. Это означает, что

/* £

(р1,у(£)) = (р1,У0 + а(^(^) ds) = (р1 ,уо)+ / а($)(р1 ^($)) ds ^

-'*п -'*п

Пусть Т±(£) и Т±(£) — подмножества интервала [£о,Т] такие, что

Т+ (£) =(т е [£о,£] 1 (pl,v(т)) < фг0)} П А+(£),

Т2+ (£) =(т е [£о,£] 1 (pl,v(т)) ^ фг0)} П А+(£),

Т-(£) =(т е [£о,£] | (р1, —v(т)) < ^1 (г0)}П А-(£),

Т2-(£) =(т е [£о,£] 1 (р1, —v(т)) ^ ^1 (г0)}П А-(£),

Тогда

№ = ^1 — (р1,у0) > а^Хр^^)) ds =

Jtп

/ |а(^) | (р1 ,v(s)sign а(8)) ds + / |а(^) | (р1 ,v(s)sign а(8)) ds ^

/тх(*) М (£)

^ — Я / |а(^)| ds + 51(г0)[ / |а(^)| ds — / |а(«)| ds

•Ат (£) \Лп -М (£)

'Т.(4) \3*п JT2 (£)

Получаем следующую оценку для /т1(£)|а(^)| ds•

^0 / |а($)| ds — ^о

|а(в)|^0-------*° ------- (5? =Й1(2:0)).

Ми Я +50

Из определения контрстратегий иг и системы (4.5) получаем

гг(£) = гг0( 1 — / а^АгСф)) ds — / |а(«)|Аг(—v(s)) ds) +

4 ./а+(*) Уа-(£) '

+ / а(^)МгСФ))Аг(ф)) ds + / |а(8)|Мг(—v(s))Аг(—v(s)) ds.

./а+(*) ./а-(*)

Рассмотрим функции

/г(£) = 1 — / а^АгСф)) ds — / |a(s)|Лг (—v(s)) ds, г = 1,...,п.

-/А+(£) -/А-./;)

Это непрерывные невозрастающие функции, /г(£о) = 1 и

п

{ п { п

. /г(£)= п — / а(5)У] Аг(ф)) ds — |а(«)| V] Аг(—v(s)) ds ^

г=1 ^а+(*) ^а-(*) г=1

^ П — 5° / |я(«)| ^ ^ П — 5° (

•М(і) V

°/ 5Но |й(в)| ^ — ^°Ч

Из последнего неравенства следует, что существует момент времени Т°

* + $0) + /іо^ї

*о ------------- Ж2

такой, что одна из функций /г обратится в 0 в момент Т°. Поэтому при і = Т° будем иметь

/г(То) =0 и

^г(То) = [ а($)Мг(^($))Лг(-ф)) ^ + [ |ф)|Мг(—-ф))Лг(—ф)) ^ Є М;

•/А+ (То) ./А" (То)

Это и означает, что в игре Г(п, 2°,^) происходит поимка.

2. Пусть теперь г > 1. Так как £0 > 0, то 0 € 1п1еопу{,г 0 — М1,..., 2П — Мп,р 1,... ,рГ}.

П

Это означает, что существуют Ь1,..., Ьт € и (г0 — Мг) такие, что векторы Ь1,..., Ьт, р 1,... , рг

г=1

образуют положительный базис [57]. Можно считать, что т ^ к и векторы Ь1,..., Ь& образуют базис Мк. Так как Ь1,..., Ьт, Р1,... ,Рг — положительный базис, то существуют положительные числа

а1, . . . , аг, в1, . . . , Дт

такие, что

0 = «1 р1 + ... + агРг + вА + ... + вт Ьт.

Рассмотрим вектор Р0 = а1Р1 + .. .+агрг. Тогда векторы Ь1,..., Ьт,р0 образуют положительный базис Мк.

Рассмотрим множество

А = {2 | (г,р0) ^ ^},

Г

где ^0 = ^ а^. Тогда А С ^1. Если Р0 = 0, то в силу пункта 1 данной теоремы в игре

г=1

Г1(п, г0,^1) происходит поимка. Если же Р0 = 0, то А = Мк ив силу теоремы 4.1 в игре Г1(п, г0,^1) происходит поимка. Поэтому поимка произойдет и в игре Г(п, г0, А).

Предположим, что £0 ^ 0. Это означает, что существует такой вектор € ^, что

Аг(^0) =0, г = 1,...,п,

(р? ,зд) ^ 0, з = 1,..., г.

Зададим стратегию V убегающего Е следующим образом:

г>0, а(£) ^ 0,

<7 = {(°, +»}, «•(« = , — в°, 0(() < 0.

Стратегия V допустима, так как

(Р?, У(£)) = (Р?, У0) + / ФХР?, ФХ ^ ^, 3 = 1..., г

Но

Предположим, что в игре Г происходит поимка. Тогда существует момент времени Т > £0, контрстратегии преследователей ^1,..., ип такие, что 2г(Т) € Мг при некотором г € {1,..., п}. Тогда, повторяя рассуждения из теоремы 4.1, приходим к невозможности включения 2(Т) € Мг. Тем самым доказано, что в игре Г(п, 20, А) происходит уклонение от встречи. Теорема полностью доказана.

Приведем теперь два примера, показывающих, что, вообще говоря, только строгой выпук-

лости и гладкой границы множества Q Э 0 недостаточно для эквивалентности

П

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

£(20) = 0 0 € Ыеопу — Мг),

г=1

ф0) = 0 5-(20) = 0.

Рис. 1. К примеру 4.1.

Пример 4.1. Пусть к = 2, — шар радиуса ^ с центром в точке (0, — |), п = 2, г = 1,

20 = (—1, —1), 20 = (1, —1), Р1 = (0, 1), М1 = М2 = {0}.

В этом случае 0 € 1п1еопу {20 — М1,20 — М2,р1}, но ^1(20) = 0. Действительно, при -и0 = 0 Аэ(^0) = (Ръзд) = 0, Лг(^0) = шах{Л ^ 0| — Л20 € Q — зд} = 0, г = 1,2.

Рис. 2. К примеру 4.2.

Пример 4.2. Пусть к = 2, <5 = |(ж, у) \ х~^ + у2 ^ 1| , п = 1, г = 2, р\ = (1,0),

Р2 = (—1, 0), 20 = (—2, 0), М1 = {0}.

В этом случае 0 ^ 1п1сопу{20 — АД,£>1,^2}, но £1(2°) = \ > 0.

§ 5. Позиционная поимка одного убегающего группой преследователей

Рассматривается нестационарная задача простого преследования несколькими управляемыми объектами одного убегающего при равных динамических возможностях всех участников. Стационарный случай а(£) = 1 задачи простого преследования рассматривался многими авторами [23,77]. В этих работах одним из условий окончания игры было условие преимущества преследователей по ресурсам управления или же условие информационной дискриминации убегающего. Основываясь на процедуре управления с поводырём, предложенной Н. Н. Красов-ским [42,92], А. А. Чикрий приводит позиционную процедуру управления для квазилинейной задачи преследования один на один [107]. В работе [115] этот подход развивается для игры со многими преследователями.

В данной работе показывается, что если преследование может быть завершено за конечное время в классе позиционных контрстратегий, то при информированности преследователей только о позиции игры, оно может быть закончено за то же самое время в сколь угодно малой окрестности терминального множества.

В конечномерном евклидовом пространстве Мк (к ^ 2) рассматривается дифференциальная игра Г п + 1-го лица: п преследователей Р1,..., Рп и убегающего Е. Законы движения каждого из преследователей Рг и убегающего Е имеют вид:

Рг: Жг(£) = а(£)иг(£), Жг(£0) = ж0, щ € Q,

Е: У(£) = а(ф(£), у^) = у0, v € Q,

причём 20 = ж0 — у0 / Мг, г € Жп = {1,... ,п}, Мг С Мк — заданные выпуклые компакты, а: [£0, +то) ^ М — измеримая по Лебегу функция, интегрируемая на любом компактном подмножестве полуоси [£0, +то), Q С Мк — строго выпуклый компакт с гладкой границей.

Пусть 2г(£) = Жг(£) — у(£), г € Жп, 2(£) = (21 (£),... , 2п(£)). Тогда

2г(£) = а(£) (иг(£) — v(^)), 2г(£0) = 2г0. (5.1)

Для каждой из систем (5.1) рассмотрим систему-поводыря [92]

адг(£) = а(£) (иг(£) — v(^)), адг^) = ад0, иг, V € Q, г € Жп. (5.2)

Определение 5.1. Будем говорить, что в игре Г происходит поимка из заданной начальной позиции 20 = 2(£0), если существуют момент времени Т0 = Т(20), позиционные стратегии управления с поводырём иг = (Цг,0г,Хг) преследователей Рг, г € Жп, такие, что для любой измеримой функции v(•), v(t) € Q, £ € [£0,Т0] существуют момент времени т € [£о,То] и номер 8 € N такие, что имеет место включение 25 (т) € М8.

Здесь и — функция, которая будет формировать управление преследователя Рг в исходной системе (5.1)

Щ: [£0,Т0] х Мк х Мк ^ Q, функция есть переходная функция г-го поводыря

: Т+2 X Мпк х Мпк ^ Мк (г1 = { (£1,£2) € [*0,Т0]2| £1 < £2}

Значение переходной функции (£ 1,£2,2,ад) — положение адг = адг^), в котором г-й поводырь окажется в заданный момент времени £2 при условии, что в момент £ = £1 управляемая система и поводыри находились в точках 2 = 2(Д) и ад = ад(Д) соответственно.

Третья функция хг ставит в соответствие позиции (£, 2) положение поводыря Хг(£, 2) = адг(£).

Аг(-и, т*) = шах{А^ — А^ — тг) € д, V € д},

А*Д) = шах АгД,шг), т,еМ;

А-(V, т*) = шах{А|V — А(ад° — т*) € —д, V € — д}, А—(v) = шах А— т;£М;

ш = (шь...,шП), -ш / Мг, г € ЖП.

Так как д — строго выпуклый компакт с гладкой границей, то существуют

^(ш1) = штшах А*^) ^ 0, £—(ш1) = ш1п шах А—(V) ^ 0,

V € ^ г € V €—(5 г €

причём (^(ш1 ))2 + (5 (ш1))2 > 0 ^ 0€1п1еопу У (ш0 — Мг).

г€Мп

Введём обозначения: А+ (Ь) = {т € , Ь]|а(т) > 0}, А (Ь) = {т € , Ь]|а(т) < 0},

С(^; Л) = шах(д, Л) — опорная функция компакта д, С;(^; Л) — градиент опорной функции,

9€^

Вк — единичный шар в Мк с центром в начале координат.

Теорема 5.1. Пусть начальная позиция г1 и функция а(-) таковы, что

Т = Т(г°) = шт {Ь ^ ^15(20) [ а(в) ^ + 5— (г1) [ |а(«)| ^ = п} < +то.

^ ./а+(*) ./а-(*) -1

Тогда для любого е > 0 в игре Г происходит поимка с терминальными множествами Мг? = М* + еВк.

Доказательство. В качестве Т (г1) возьмём Т^1) и определим функции Хг, Ц следующим образом:

Хг(М) = гг, г € Ж„.

С'(д,ш — ж), при х = ш и а(£) > 0,

Ц(Ь,ж,ш) = С(д,ж — ш), при ж = ш и а(£) < 0,

и1 € д, при ж = ш или а(£) = 0.

где и1 — произвольный фиксированный вектор из д. Тогда для всех (Ь, ж, ш) € [Ь1, Т1] х Мк х Мк будет выполнено

(ж — ш, а(Ь)Ц(Ь, ж, ш)) = шш(ж — ш, а(Ь)и), г € N.

м€^

Для определения переходной функции поводыря рассмотрим стратегию V*(Ь, в1,..., вП) фиктивного убегающего в системе (5.2)

V *: [Ь1,Т1 ] х Мпк ^ д,

с/(д — Е при Е

г€Мп г€Мп

с'(д, Е в*), при Е

г€Мп г€Мп

V1 € д, при Е

V г€Мп

где V1 — произвольный фиксированный вектор из д, и контрстратегии фиктивных преследо-

*

П

вателей

| v*(^) — А*^*(Ь))(ш1 — М^*(Ь))), а(Ь) > 0,

Ц*(Ь,ш%*С0) = <| V*(t), а(Ь) = 0, (5.3)

^(Ь) + А— (—V*(^))(ш1 — М—(—«*(£))), а(Ь) < 0.

Здесь v*(^) = V*(Ь, 81,..., 8П), М*(и) и М—(V) — измеримые по Борелю селекторы полунепре-

рывных сверху по включению компактных множеств

М*^) = {т* € Мг|Аг^,Шг) = А*^)},

м—(V) = {т* € М*|А—^,т*) = А—(V)}

соответственно. Тогда для всех (Ь, 81,..., вП) € [Ь1, То] х М выполнено

у, (8г, а(Ь^*(Ь, 81,..., 8п)) = шт ^ (8г, а(ф).

г€Мп г€Мп

Г *2

0г(Ь1,Ь2,г,ш)= шг + / а(Ь) («*(£) — V* (Ь)) (И,

■ 'и

Переходные функции поводырей определяются теперь так:

г*2 /*1

V*(Ь) = V*(Ь,г1 — ш1,...,гП — шП), и*(Ь) = Цг*(Ь,ш1,V*(Ь)), Ь € [Ь1,Ь2]. г = (^1,...,2п ), ш = (ш1,...,шп).

Рассмотрим построение пошаговых движений ^^(Ь) и ш*(Ь), Ь € [Ь1, Т1], в процедуре управления с поводырём, где начальное положение поводыря ш1 выбирается равным начальному положению г1.

Выбираем некоторое разбиение А = {т*}1+1 отрезка [^,Т1]: Ь1 = Т1 < ... < Т1+1 = То.

В начальный момент времени Ь = Ь1 определим управления преследователей Р*, г € N на интервале [т1, ^1), полагая и1(Ь) = ^^(Ь, г1,ш1)), где ш1 = г1 — начальное положение поводырей. Управление V*(Ь) убегающего в системе-поводыре (5.2) на [т1,Т1) полагаем равным V * (Ь, г1 — ш1,...,гП — шП), а управления фиктивных преследователей, согласно (5.3), и*(Ь) = Ц*(Ь,ш1 ^*(Ь)).

Пусть гг(т^-) и ш*(т^-) — положения, в которые пришли управляемые система (5.1) и система-поводырь (5.2) в момент Ь = т^-. Определяем движения г*(Ь), ш*(Ь), полагая в системе (5.2) управление убегающего на ^ + 1 шаге V*(Ь) = V* (Ь, 21 (т^-) — ш^т^-),..., 2П(т^-) — шП(т?-)), управления преследователей и*(Ь) = Ц*(Ь,ш1, V*(Ь)), а управления преследователей Р* в системе (5.1) и1(Ь) = Цг (Ь,гг (т^ ),шг (т^ )).

Таким образом, преследователи в системе (5.1) строят свои управления пошагово, зная на каждом шаге реальную позицию игры и позицию во вспомогательной системе-поводыре.

Указанные построения продолжаются до тех пор, пока один из поводырей не попадёт на своё терминальное множество. Такой момент времени т = т1(ш(-)) € [Ь^Т)] и номер *1 € N, что ш*0 (т) € М*0 обязательно найдутся в силу условий теоремы и способов построения управлений в системе-поводыре (5.2) (см. [10, с. 47]).

Однако удобнее будет продолжить движения г*(Ь), ш*(Ь) до момента времени Ь = Т), формально полагая, что на промежутках вида [т^-, т^+1], где т^- > т 1(ш(-)), в качестве движения поводырей выбираются решения уравнений (5.2), в которых v*(^) = V*(Ь, 21 (т^-) — ш^т^-),..., 2П(т^-) — шП(т?-)), а и*(Ь) = и* € д — произвольные постоянные управления. При этом в системе (5.1) по-прежнему выбираются управления преследователей и1(Ь) = Ц(Ь, 2*(т^-),ш*(т^-)), Ь € [т^-,т?+1).

Оценим теперь расстояние между движениями поводырей и соответствующими движениями систем (5.1).

»<*>={Г Ь € [Т;^—о], •А(Ь)=Iа(8) *■ *€ [Т•2Т—г”]-

г t+6

Л(Ь, 5) = А(Ь + 5) — А(Ь) = I д(в) (8, (Ь, 5) € [Ь1, То] х [0, То — Ь1],

/(5)= шах Л(Ь, 5), 5 € [0, То — Ь1].

*€[*о ,Т0]

Тогда для любого решения уравнения

ж(Ь) = а(Ь)(«(Ь) — v(^)), и, V € д, Ь € [Ь1, То] с любым начальным условием ж(Ь1) = ж1 выполнено

||ж(Д) — ж(Ь2)|| ^ / |а(Ь)|Уи(Ь) — v(^)|| (Ь ^ 2Я/(5),

./*1

|Ь1 — Ь21 ^ 5, Ь1,Ь2 € [Ь1,Т1],

где Я = шах ||д|| — модуль компакта д. д€^

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Поэтому для любых реализовавшихся движений в (5.1) и (5.2)

шах ||г*(Ь1) — г*(Ь2)| ^ 2Я/(5), шах ||шг(Д) — ш*^)|| ^ 2Я/(5),

г€М„ г€М„

как только |Ь1 — Ь21 ^ 5, причём /(5) ^ 0 при 5 ^ 0.

Пусть 8г(Ь) = г*(Ь) — ш*(Ь), г € Жп, Ь € [Ь*,Ь* + 5], Ь* € [Ь^Т)), 5 € (0,Т1 — Ь*]. Тогда

= 2^8*(*),а(*) («?(*) -г;(*) -«■(*) +^*(^))) =

= ^8*(Ь*) + 8*(Ь) — 8*(Ь*), а(Ь) (и1 (Ь) — v(^) — и*(Ь) + V*(^)^ =

= 2^ ^8*(Ь*), а(Ь) (и1 (Ь) — и*(Ь)^ + ^(Ь*)^)^*^) — v(^)^ +

+ ^8г(Ь) — 8*(Ь*), а(Ь) (и1 (Ь) — v(^) — и*(Ь) + v*(^)^ ^

^ 2^4Я/(5) ■ 4Я|а(Ь)| + ^8*(Ь*), а(Ь)^*(Ь) — v(*)C

если v*(^) = V*(Ь, 81 (Ь*),..., 8п(Ь*)), и1 (Ь) = и*(Ь, г*(Ь*), ш*(Ь*)), а управления и*(■) и v(•) — произвольные допустимые управления.

Поэтому

^ 2 Е <вг(«*),а(4)(г;*(4) -«(«))) + 32пД2/(5)|а(*)| < |а(*)|С(5),

г€М„ г€Мп

где £(5) = 32пЯ2/(5) ^ 0 при 5 ^ 0. Значит,

^ Г **

шах шах Цв*(Ь)|2 ^ ||8г(Ь*)||2 + ((5м |а(т)| (т.

*€[*ф ,**+^] *€^п У*ф

*€^п

Так как ^ Цвг^)!!2 = 0, то для любого е > 0

*еМп

г-То

*е[*0До] 7*0

Т0

шах шах ||8г(Ь)|2 ^ С(5м |а(т)| (т ^ е2, (5.4)

•/*0

как только будет выбрано разбиение с диаметром, не превосходящим 5, а 5 подобрано из условия

С(^) ^ “„Го

е2

/ |а(т)| (т

Л0

В силу оценки (5.4) как только ш*0(т) € М*0, это будет означать, что преследователь Р*0 находится в е-окрестности множества М*0, то есть в дифференциальной игре Г происходит поимка, где в качестве терминальных множеств взяты множества М? = М* + еВк, что и требовалось доказать.

Замечание 5.2. Вышеуказанный подход можно применять и в случае, когда необходимо завершить игру Г в точности на терминальном множестве. В случае, когда существует е > 0 такое, что для

--- + к ------------------------------------------------------------------

любого г € Мп Мг = М* — еВк = 0, можно рассмотреть игру с терминальными множествами М*. Тогда

попадание одного из поводырей на М*0 гарантирует поимку в игре с исходными множествами М*.

§6. Уклонение от группы нестационарных инерционных объектов

В пространстве Мк (к ^ 2) рассматривается дифференциальная игра Г п + 1-го лица: п преследователей и одного убегающего. Закон движения каждого из преследователей Р*, г =

1, . . . , п, имеет вид:

жг(Ь) = а(Ь)иг(Ь), иг € Ц.

Закон движения убегающего Е имеет вид:

У/(Ь) = а(Ь^(Ь), V € Ц,

причём в начальный момент ж*^) = ж1, ж* (£1) = ж1,

У(^) = У1, У^) = У1, ж1 = у1, г = 1,...,п.

Здесь ж*, у, и*, V € Кк, и С Кк — выпуклый компакт, 0 € 1п Ц; а(Ь) — ограниченная измеримая функция, интегрируемая на любом компактном подмножестве оси Ь, а(Ь) = 0 почти всюду на [Ь1, +то). Управлениями игроков являются измеримые функции и*(Ь), v(^), принимающие при Ь ^ Ь1 значения из множества и.

Обозначим данную игру через Г(п, г^)), где

г(Ь) = (21 (Ь),^(Ь),... ,^п(Ь),2п(Ь)), ^(Ь) = ж*(Ь) — у(Ь), г = 1,... ,п.

Определение 6.1. Позиционной контрстратегией V убегающего Е назовем измеримое отображение

[Ь1, +то) х М2пк х иП ^ и.

Тогда при заданных управлениях и*(Ь) преследователей Р*, г = 1,..., п стратегия V определяет управление v(^) = V(Ь, г(Ь), и1 (Ь),..., иП(Ь)), которое будет измеримой функцией.

Определение 6.2. В дифференциальной игре Г(п, г(Ь1)) из начального состояния г(Ь1) разрешима локальная задача уклонения, если для любых измеримых функций

иг(Ь), Ь ^ Ь1, иг € и, г = 1,... ,п,

существует стратегия V убегающего Е такая, что ^^(Ь) = 0 для всех Ь ^ ^, г = 1,..., п.

Считаем, что управления преследователей формируются на основе информации о состоянии г(Ь) дифференциальной игры.

Теорема 6.1. Если 0 / со У ,г°|- , тогда в игре Г(п,,г(£о)) из начального состояния г(£о) разрешима локальная задача уклонения.

Доказательство. Пусть 0 / со ^ У го . На основании теоремы об отделимости выпуклых множеств существует единичный вектор р и число £ > 0 такие, что

Обозначим

тах (і°,р) ^ —2е. (6.1)

г=1,...,п

П(і) = тіп ||^г(£)Н, (6.2)

г=1,...,п

5 = тіп{1, є, л/фо)}- (6.3)

1. Пусть тах(я°,р) ^ 0. Положим

1,...,П

*>=м‘>={:г_;,$ < 0: (6.4)

где :р,:_р Є и — такие, что (:р,р) = С (и, р), (:_р, —р) = С (и, —р). Тогда для любого индекса

і = 1,...,п

(я*(і),р) = (<г°,р) + (і — ^о)(^0,р) + [ (і — 5)а(«)(«г(5) — :р(і),р) ^ ^ — 2є(і — і°) < 0

■п0

при і > іо, откуда следует возможность уклонения из начального состояния ^(іо).

2. Предположим, что (-г°,р) > 0 и (я0,р) ^ 0 для любого индекса і, і Є {2,... ,п}. Опишем маневр уклонения, гарантирующий разрешимость задачи уклонения для такого начального состояния ,г(іо)- Пусть К = тіп{1, |^}, Т\ = К|, 5і = К^- < г?(£о)- Положим

:(і) = :р(і), і Є [і°, +^)\[іі,іі + 5і),

где і і — либо первый момент, в который впервые выполняется равенство ||гі(іі)|| = 5і и

(яі (і і), р) > 0, либо +то, и если іі < +то, тогда на полуинтервале [і і, і і + ті), управление

:(і) будем выбирать специальным образом.

При так выбранном управлении убегающего преследователь Р* не влияет на ход игры (і Є {2,..., п}). Действительно, при любых управлениях и* (і), і = 1,..., п,

(^(£),р) = (^(£о),р)+/ а(«)((«г(»),р) - Сф),р)) ^ -25 + 2с|и|т1 < -5, £ ^ ^ (6.5)

■Ь0

Поэтому

(^(£),р) = (г^о),р) + / (2г(«),р) ^ < (^(£о),р) ^ 0, £ ^ £о, * = 1. (6.6)

Но

Значит, при £ ^ £о ||£г(£)|| =0, * = 1.

Заметим также, что Ц21 (£1)! = 51, поэтому при любых управлениях и^) и -и(£) на отрезке [Д,Д + Т1]

г *1+П

(^1(^1 + Т1),р) = (г1 (£1 ),р)+/ 0*1 («),р) ^ < 51 - 5т 1 = 0. (6.7)

Л1

Следовательно, в момент £ = £1 + Т1 состояние дифференциальной игры соответствует рассмот-

ренному выше случаю 1:

(2*(£1 + Т1),р) < -5,

(2* (£1 + Т1),р) < 0, г = 1, •••,«•

Таким образом, если по любому управлению и^) можно построить управление ^(з), 8 € [£1, £1 + Т1), такое, что ||<г1 (£)|| = 0 при всех £ € [£1, £1+Т1], то разрешимость локальной задачи уклонения для начального состояния 2(£о) в случае 2 будет доказана.

Предположим, что

(21 (£1),г1 (£1)) = -|г1 (£1 )||г1 (£1)!^ (6.8)

Векторы ^1 (£ 1) и 21 (£1) линейно зависимы, поэтому существует единичный вектор ф такой, что

(ф, 21 (£1)) = (ф, Д (£1)) = 0- (6.9)

Пусть £1 € (0, Т1) — некоторое число, такое, что при произвольных ^1(3), ^(з), 8 € [£1, £1 + £1],

справедливо неравенство (21 (^),р) > 0^ На отрезке [Д,Д + £1] управление ^(^) выбираем так,

чтобы

(ф,ф)) = ( С(ГЛф)' (ф’И1 (8)) < °' (6.10)

\-С(и, -ф), (ф,и1 (8)) > 0^ 1 '

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Покажем, что существует 71 € (0, £1), такое, что

(21 (£1 + 71 ),21(£1 + 71)) = -1121 (£1 + 71 )||||21(£1 + 71) !!• (6.11)

При £ ^ £1 рассмотрим функции

/1(£) = (ф,21 (£)) = [ (£ - $)а($)(ф,«1 (8) - -ф)) ^,

./*1

/2(£) = (ф, 21 (£)) = [ а(^)(ф,«1 (8) - -ф)) ^

./*1

Функции /1 (£), /2 (£), £1 ^ ^ £1 + £1, удовлетворяют системе уравнений

(6.12)

Л(£) = /2(£), /(£) = а(£)(ф,и1 (£) - ф)),

(6.13)

причем /1 (£1) = /2 (£2) = 0^

Так как 0 € 1П и, то С (и, д) > 0 при любом д = 0^ Поэтому | а(£) (ф, и1 (£) - V (£)) | > 0 почти всюду на [£1,£1 + £1], и /2(£) ф 0 на любом отрезке [а,в] С [£1,£1 + £1], £1 < а < в^ Значит, множество

С = {£ € (£1,£1 + £1)|/2(£) = °} есть непустое открытое множество. Поэтому

С = и(а^ ,вз),

з

где {(аз-,вз)} — взаимно непересекающаяся, не более чем счетная система интервалов.

Пусть (а3о ,в3о) — некоторый интервал из этой системы. Тогда

/2(азо) = /2(вЗо) = 0, ЛСО = 0, £ € (аЗо , вЗо^

Если /1(аз0) = 0, то соотношение (6.11) выполнено при £1 + 71 = аз0 • Если же /1(аз0) = 0, тогда

Л(£) = /2(£)=0, £€ (азо,вЗо^

Поэтому /1 (£)/2(£) > 0 на (а3о, в3о). Значит, при £1 + 71 = т, где т — некоторое произвольно выбранное число из интервала (аз0,вз0), имеет место соотношение (6.11).

Итак, управление -и^) при в € [£ 1,£ 1 + £1 ] выбирается в соответствии с правилом (6.10). Тогда

||21(£)|| = 0, £€ [£1,£1 + £1 ], и в некоторый момент £ = £1 + 71 будет выполнено соотношение (6.11).

Если

(21(£1),21 (£1) = -||21(£1)||||21 (£1 (6.14) то полагаем 71 = 0^ Заметим, что

(21 (£1 + 71 ),р) > 0, (21 (£1 + 71),р) < -5,

поэтому из неравенства (6.11) следует линейная независимость векторов 21 (£1 + 71) и 21 (£ 1 + 71) • Далее при всех 8 € [£1 + 71, £1 + Т1) положим -и^) = и1 (8) Тогда

21 (£) = 21 (£1 + 71) + (£ - £1 - 71)21 (£1 + 71) (6.15)

при каждом значении £1 + 71 ^ ^ £1 + Т1, следовательно, Ц21 (£)|| = 0 при £ € [£1 + 71,£1 + т^

Таким образом, по любой измеримой функции и1 (8) € и можно построить такую измеримую функцию

■и^) = V(8, 2^), и1 (8), • • • , М^)), -и^) € и, 8€ [£1,£1 + т1),

что Ц21 (£) | = 0 при £ € [£1 ,£1 + т^ Разрешимость локальной задачи уклонения в случае 2 доказана.

3. Пусть (2°,р) > 0 для любого г € I7 = {1, • • • ,8}, 8 ^ п, и (2о,р) ^ 0 для г € {1, • • • , п}\/'• В процессе построения маневра уклонения определим такие числа т3, 53, 3 = 1, • • •, N1, N1 ^ 8, что

т3 > тз'+Ь 53 > 53'+Ь 3 = 1, • • •, N1 - 1,

причем если в момент > £о для некоторого г € {1, • • •, 8} выполняется равенство ||2*(£/) | = 53 и (2*(£),р) > 0, то (2*(£ + т3),р) < 0 для любых управлений и*(8), -и^) на отрезке [£',£' + т3]•

Момент времени £* > £о, когда впервые выполняется равенство п(£) = 5* и существует номер

I € {1, • • •, 8} такой, что

||21 (£*)| = 5*, (21(£*),р) > 0,

назовем моментом г-того сближения. Не уменьшая общности, полагаем, что в момент £ = £* ||2г(£г)|| = 5* и (2*(£*),р) > 0^ Содержательно это означает, что преследователи пронумерованы в том порядке, в каком происходит их сближение с убегающим.

Положим

■(£) = ■?(£), £€ [£о, +то)\Т, Т = У [£*,£* + т*) (6.16)

г=1,...,^1

При £ = £о построим последовательности {т1 }|=1, {51 }|=1 следующим образом:

5 • 52

^ = 5\=5т\ = К-ТГ. (6.17)

Числа т* будут определены так, что т* ^ т1, г = 1, • • • , N1, поэтому

£ ъ<ъ=ки 5

2 21 и | с'

г=1,...,^1 1 1

Тогда при любых управлениях и*^), г = 1, • • • ,п, на [£о,£] и -и^) на [£о,£] П Т справедливы

(2*(£),р) = (2о,р) + а^Хи^) - г(8),р) ^ + / а^Хи^) - гр(£),р) ^ ^

7[*о,*]пт ./[*о,*]\Т

^ -25 + 2|и |с^(Т) < -25 + 2|и |с{1 ^ -5, £€ [£о, +то), г = 1, •••,«,• (6.18)

/• *'+т

Поэтому (2*(£' + т),р) = (2*(£),р) + / (2*(8),р) ^ < (2*(£),р), £ ^ £о, т > 0^ Это означает, что

Л'

сближение с преследователем г € {1, • • • , п}\/; не наступит. Не ограничивая общности, считаем далее, что N1 = п, то есть сближение наступает с каждым преследователем.

Заметим также, если в момент £ = £ для некоторого г € {1, • • • , п} выполняются соотношения

II2*(£')Н = 51, (2*(£'),р) > 0,

то при любых управлениях и*^), г(8) на отрезке [£,£ + т1] получаем

Г *'+т1

(2*(£' + т*),р) = (2г(£'),р) + / (2г(8),р) ^ < 5* - 5т1 = 0^ (6.19)

Л'

Положим ті = т/, 5і = 5і. Тогда і і > і°. Маневр уклонения определим реккурентным образом. Итак, пусть в момент £ = і* выполнены соотношения Ця*(і*)|| = 5*, (я* (і*),р) > 0, определены число т* и монотонно убывающие последовательности положительных чисел {тг1}|=*,

{51Щ*.

Допустим, что (я*(і*),і*(і*)) = —||£г(іг)||||іг(і*)Н- Существует число є* Є (0,т*) такое, что при произвольных и^в), І = 1,... ,п, :(в), в Є [і*,і* + є*], справедливы неравенства

тіп ||яі(і* + т)|| > 5-+і, (я*(в),р) > 0. (6.20)

Т Є[0,Єг1

Векторы ц(і*), і*(і*) линейно зависимы, поэтому существует единичный вектор ф* такой,

что

(фг,2* (і*)) = (фг,ї (і*)) = 0.

На отрезке [і*, і* + є*] управление :(в) выбираем так, чтобы

(, ( )) / С(и,ф*), (в)) < 0, (621)

(ф*,:(в)) = ^ (6.21) [ —С(и, —ф*), (ф*, и*(в)) > 0.

Тогда существует число 7* Є (0, є*) такое, что

(я*(і* + 7*), ї*(і* + 7*)) = —Ік(і* + 7*)ІІІІЇ(і* + 7*)||.

Из (6.20) и неравенства (я*(і* + 7*),р) < —5 следует линейная независимость векторов ц(і* + 7*) и я* (і* + 7*). Если же

(я*(і*), я*(і*)) = — (і*)ППя*(і*)||,

то полагаем 7* = 0.

Следуя рассуждениям, проведенным в случае 2, управление убегающего :(в) на полуинтервале [і* + 7*,і* + т*) необходимо положить равным и*(в). Однако если і < п, то на [і* + 7*,і* + т*) возможны сближения с преследователями і + 1,..., п. Поэтому

:(в) = и*(в), в Є [і* + 7*,і* + т*)\ У [і,-,і, + т,),

j=*+і,...,п

если і < п, и

:(в) = ип(в), [іга + 7га, іп + тга)

Предположим, что г < п и Д € [£* + 7*, £* + т*), I = г + 1, • • •, п Убегающий будет сближаться с преследователями Р*+1, • • •, настолько близко и обходить их за столь малое время, чтобы для траектории 2*(£) на отрезке [£* + 7*, £* + т*] при любом управлении и*(8), 8 € [£* + 7*, £* + т*] выполнялись следующие соотношения:

(2*(£* + т),2*(£* + т)) = ||2*(£* + т)||||2*(£* + т)||, т € [7*,т*], (6.22)

ш1п ||2*(£)|| ^ а*, (6.23)

* € [*г +Тг +Т£ ]

а* > 5*+1 • (6.24)

Из (6.24) следует, что сближение убегающего с каждым преследователем может наступать не более одного раза.

Обозначим через Н*(£* + 7* + т), т € К1, прямую, проходящую через точки 2*(£* + 7*) +

т2*(£* + 7*) и 2*(£* + 7*)• На основании линейной независимости векторов 2*(£* + 7*) и 2*(£* + 7*) заключаем, что при любом т векторы 2*(£* + 7*) + т2*(£* + 7*) и 2*(£* + 7*) линейно независимы. Поэтому для любого т

/(т) = шт ||ж|| > 0 (6.25)

ж€Я;(*; +74+Т)

11((1 -т)1Н|2 - (а,Ь))(а + (г - 1)6) + ||а + 6||26|| ^

(/00 =-------------------------||а + Ь||2---------------------> а = %(^+7г), Ь = гг{и + ^!г)у

Кроме того, функция /(т) непрерывна. В момент £ = £* + 7* определим число

в* = шт / (т )• (6.26)

т €[о,г4-74 ]

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Если г(8) = и*^) при 8 € [£* + 7*, £* + т*], то соответствующая траектория

2°£ = 2*(£* + 7*) + (£ - £* - 7*)2*(£* + 7*)

я*0(і) = я*(і* + 7*), і Є [і* + 7*, і* + т*].

Ясно, что для любого і Є [і* + 7г, і* + т*]

НяОС^)! ^ в*, няос^)! ^ в*. (6.27)

Теперь предположим, что на множестве [і* + 7*, і* + 7*) задана такая конечная система полуинтервалов [іг, іг + тг), г = 1,... ,1, І ^ 1, что

М ЦІ [іг,іг + тг)) <&+і, (6.28)

г=і,...,1

«•+і=тіп ,/т, +_-Ті,кт . (6.29)

Покажем, что если

г(8) = «*(8), 8€ [£* + 7*,£* + т*)\ и [Г,£г + тг),

г=1,...,1

управление г (8) на множестве и [£г, £г + тг) и управление «*(8) на отрезке [£* + 7*,£* + т*]

г=1,...,1

выбирается произвольным образом, то соответствующая траектория 2*(£), £ € [£* + 7*,£* + т*],

и

такова, что

і4(0-г,°(і)ІІ<|, (6.30)

||і':(()-і?(()И|, (6.31)

Пусть І = 1. Понятно, что

= г*0^1^ Ік1(і1 + ті) — я0(іі + ті)| < |и|с(ті)2

и при і1 + т1 < і ^ і* + т*

Ік1 (і) — я0(і)|| < |и|с((т 1 )2 + 2т 1 (т*— т 1)) < |иН(т 1 )2 + 2т 1т*).

Поэтому для любого і Є [і* + 7*, і* + т*]

Ік1 (і) — я0(і)|І <|и|с((т 1 )2 + 2т 1 т*) <|и|с(е2+і + 2^*+іт*).

Проводя аналогичные рассуждения, нетрудно убедиться, что для І Є М, і Є [і* + 7* , і* + т*]

Ш) - *?(*)ІІ < |Ї/|С({?+1 + 2«.+іп) « I (6-32)

в силу соотношений (6.28), (6.29).

Таким образом, неравенство (6.30) доказано. Неравенство (6.31) сразу следует из определения числа £*+1.

Покажем теперь, что для любого т Є [7*, т*]

(4(і* + т ^(і* + т)) = —1|4(і* + т ^р1 (і* + т )|. (6.33)

Предположим противное: существуют

т° Є Ь^т*], д Є М1, д> 0, такие, что я1 (і* + т°) = — дя1^* + т°). В силу неравенств (6.30), (6.31) получаем, что

тіп ||<г|(011 ^ (6.34)

*г+7г,*г +Ті 2 У У

гі(іі + то) Є 4 (£г + то) + (іг + То) Є х\ {І>і + Го) + ^"*5) (6.35)

то есть векторы я0(і* + т°), я0(і* + т°) представимы в виде

< (і* + т°) = я1 (і* + т°) + х, я0 (і* + т°) = я1 (і* + т°) + у,

где ж, у Є у <5, ^ С К” —шар радиуса 1 с центром в нуле. Пусть

£ = {а = (а1, а2) Є М2|а1 + а2 = 1}.

Согласно (6.26),

тіп ||а1(4(і* + т°) + ж) + + т°) + у)|| ^ в*.

* _ Я

С другой стороны, при а\ = о;^ =

1К(4(^ + го) +ж) +а2(4(іі + т0) +у)|| = \\a\x + а*2у\\ ^ у. Следовательно, неравенство (6.33) выполнено для любого т Є ^т*].

В момент времени t = t* + Yi по £*+1 определим последовательность {т/+1}^=+1 следующим образом:

J+1

тг; = тт{т«,^1(, rj f = ^, *>2.

Понятно, что

<fi+i-

fc=i

По этой последовательности строим последовательность {5*+}^=i, 5|+k = 5т*+к.

Положим 5i+1 = 5*^}, Гг_|_1 = Т^1. Нетрудно видеть, ЧТО верны неравенства 5i+1 ^ т*^1 ^ Учитывая (6.34), убеждаемся в справедливости неравенств (6.23), (6.24).

Итак, управление v(s) при s € [t*, t* + Yi] выбираем из соотношений (6.21) и

v(s) = Uj(s), s € [ti + Yi,tj + Ti)\ У [tp,tp + Tp),

p=i+1,...,n

если i < n,

v(s) = (s), s € [tn + Yn, tn + Tn).

Тогда ||zi(t)y = 0 при t € [ti, ti + t*] и (zi(t),p) < 0 при t ^ ti + t*, i = 1,..., n.

Отметим, что сближения преследователей с убегающим могут наступать не позже момента

max (z0 ,p)

i=1,...,n t°+ ^ •

Теорема доказана.

Список литературы

1. Азамов А.О. О задаче убегания по заданной кривой // Прикладная математика и механика. 1982. Вып. 4. С. 694-697.

2. Банников А.С. Нестационарная задача группового преследования // Труды Математического центра имени Н.И. Лобачевского. Казань: Изд-во Казанского математического общества, 2006. Т. 34.

С. 26-28.

3. Банников А.С. Нестационарная задача группового преследования // Проблемы теоретической и прикладной математики: тр. 39-й Всерос. молодеж. конф., 28 янв.-1 фев. 2008 г. Екатеринбург: УрО РАН, 2008. С. 221-223.

4. Банников А.С., Петров Н.Н., Сахаров Д.В. Конфликтное взаимодействие групп управляемых объектов // Актуальные проблемы теории устойчивости и управления: тез. докл. междунар. конф., 21-26 сент. 2009 г. Екатеринбург. С. 29-30.

5. Банников А.С. Об одной задаче группового преследования // Динамические системы, управление и наномеханика: тез. докл. Всерос. конф., 24-28 июня 2009 г. Ижевск: РХД, 2009. С. 31.

6. Банников А.С. Нестационарная задача группового преследования // Известия РАН. Теория и системы управления. 2009. №4. С. 29-34.

7. Банников А.С. Нестационарная задача группового преследования // Известия вузов. Математика. 2009. №5. С. 3-12.

8. Банников А.С. Об одной задаче группового преследования // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2009. Вып. 3. С. 3-11.

9. Банников А.С. Групповое преследование одного убегающего с фазовыми ограничениями // Проблемы теоретической и прикладной математики: тез. 41-й Всерос. молодеж. конф., 31 янв.-5 февр. 2010 г. Екатеринбург. С. 315-318.

10. Банников А.С., Петров Н.Н. К нестационарной задаче группового преследования // Труды ИММ УрО РАН. 2010. Т. 16. №1. С. 40-51.

11. Банников А.С. Уклонение от группы нестационарных инерционных объектов // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2010. Вып. 1. С. 3-10.

12. Банников А.С. К задаче позиционной поимки убегающего группой преследователей // Современные проблемы математики: тез. 42-й Всерос. молодеж. шк.-конф., 30 янв.-6 февр. 2011 г. Екатеринбург: ИММ УрО РАН, 2011. С. 6-7.

13. Банников А.С. О задаче позиционной поимки одного убегающего группой преследователей // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2011. Вып. 1. С. 3-7.

14. Bannikov A., Petrov N. About some non-stationary problem of group pursuit with the simple matrix // Contributions to game theory and management: collected papers presented on the Fourth International Conference Game Theory and Management. Saint Petersburg, 2011. Vol. IV. P. 47-62.

15. Бардадым Т.А. Задача преследования с простым движением и разнотипными ограничениями на управления // Кибернетика. 1982. №2. С. 80-84.

16. Благодатских В.И. Введение в оптимальное управление (линейная теория). М.: Высшая школа, 2001. 240 с.

17. Благодатских А.И., Петров Н.Н. Конфликтное взаимодействие групп управляемых объектов. Ижевск: Изд-во Удмурт. ун-та, 2009. 266 с.

18. Вагин Д.А., Петров Н.Н. Задача преследования жестко скоординированных убегающих // Известия РАН. Теория и системы управления. 2001. №5. С. 75-79.

19. Вагин Д.А., Петров Н.Н. Об одной задаче группового преследования с фазовыми ограничениями // Прикладная математика и механика. 2002. Т. 66. Вып. 2. С. 234-241.

20. Васильева Л.Г. Об одной дифференциальной игре убегания // Дифференциальные, бескоалиционные, кооперативные и статистические игры. Калинин: Изд-во Калининск. ун-та, 1979. С. 26-33.

21. Вшиневицкий Л.С., Меликян А.А. Оптимальное преследование на плоскости при наличии препятствия // Прикладная математика и механика. 1982. Вып. 4. С. 613-621.

22. Григоренко Н.Л. О квазилинейной задаче преследования несколькими объектами // ДАН СССР. 1977. Т. 259. №5. С. 1040-1043.

23. Григоренко Н.Л. Игра простого преследования-убегания группы преследователей и одного убегающего // Вестн. МГУ. Сер. вычисл. матем. и киберн. 1983. № 1. С. 41-47.

24. Григоренко Н.Л. Математические методы управления несколькими динамическими объектами. М.: Изд-во Московского ун-та, 1990. 197 с.

25. Губарев Е.В. Убегание от группы преследователей // Автоматика. 1992. №5. С. 66-70.

26. Гусятников П.Б. Убегание одного нелинейного объекта от нескольких более инертных преследователей // Дифференциальные уравнения. 1976. Т. 12. №2. С. 1316-1324.

27. Гусятников П.Б. Дифференциальная игра убегания m лиц // Изв. АН СССР. Техническая кибернетика. 1978. №6. С. 22-32.

28. Гусятников П.Б. Дифференциальная игра убегания // Кибернетика. 1978. №4. С. 72-77.

29. Гусятников П.Б., Половинкин Е.С. Простая квазилинейная задача преследования // Прикладная математика и механика. 1980. Т. 44. Вып. 5. С. 771-782.

30. Гусятников П.Б. Теория дифференциальных игр. М.: МФТИ, 1982. 99 с.

31. Жимовский В. Два следствия решения одной задачи уклонения от многих преследователей // Bull. Acad. Sci. Ser. Math. 1980. Vol. 28. №3-4. P. 155-159.

32. Зак В.Л. Об одной задаче уклонения от многих преследователей // Прикладная математика и механика. 1979. Т. 43. №3. С. 57-71.

33. Зак В.Л. Кусочно-программная стратегия уклонения от многих преследователей / Ин-т проблем механики АН СССР. Препринт. 1982. № 199.

34. Зак В.Л. Построение стратегии уклонения от нескольких преследователей для динамических систем // Изв. АН СССР. Техническая кибернетика. 1984. №4. С. 143-147.

35. Зонневенд Д. Об одном методе преследования // ДАН СССР. 1972. Т. 204. №6. С. 1296-1299.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

36. Зонневенд Д. Об одном типе превосходства игрока // ДАН СССР. 1973. Т. 208. №3. С. 520-523.

37. Иванов Р.П. Простое преследование-убегание на компакте // ДАН СССР. 1980. Т. 254. №6. С. 1318-1321.

38. Иванов Р.П., Ледяев Ю.С. Оптимальность времени преследования в дифференциальной игре многих объектов с простым движением // Труды Математического института АН СССР. 1981. Т. 158. С. 87-97.

39. Иванов Р.П. К вопросу о мягкой поимке в дифференциальных играх со многими догоняющими и одним уклоняющимся игроком // Труды Математического института АН СССР. 1988. Т. 185. С. 74-83.

40. Ковшов А.М. Параллельные стратегии в играх преследования на сфере: автореф. дис. ...канд. физ.-матем. наук. СПб, 1996. 12 с.

41. Константинов Р.В. О квазилинейной дифференциальной игре с простой динамикой при наличии фазового ограничения // Математические заметки. 2001. Т. 69. Вып. 4. С. 581-590.

42. Красовский Н.Н., Субботин А.И. Позиционные дифференциальные игры. М.: Наука, 1974. 456 с.

43. Ли Э.Б., Маркус Л. Основы теории оптимального управления. М.: Наука, 1972. 576 с.

44. Малофеев О.А., Петросян Л.А. Игра простого преследования на плоскости с препятствием // Сб. трудов ин-та математики Сиб. отд. АН СССР. 1971. Вып. 9. С. 31-42.

45. Мезенцев А. В. О некоторых классах дифференциальных игр // Изв. АН СССР. Техническая кибернетика. 1971. №6. С. 3-7.

46. Меликян А.А., Овакимян Н.В. Игровая задача простого преследования на многообразиях // Прикладная математика и механика. 1991. Т. 55. Вып. 1. С. 54-62.

47. Меликян А.А., Овакимян Н.В. Игровая задача простого преследования на двумерном конусе // Прикладная математика и механика. 1991. Т. 55. Вып. 5. С. 741-750.

48. Мищенко Е.Ф., Никольский М.С., Сатимов Н.Ю. Задача уклонения от встречи в дифференциальных играх многих лиц // Труды Математического института АН СССР. 1977. Т. 143. С. 105-128.

49. Никольский М.С. О линейной задаче убегания // ДАН СССР. 1974. Т. 218. №5. С. 1024-1027.

50. Никольский М.С. Нестационарные линейные дифференциальные игры I // Кибернетика. 1970. №6. С. 98-101.

51. Никольский М.С. О квазилинейной задаче убегания // ДАН СССР. 1975. Т. 221. №3. С. 539-542.

52. Остапенко В.В. О нелинейной задаче убегания // Кибернетика. 1978. №3. С. 106-112.

53. Остапенко В.В. Задача уклонения от встречи // Автоматика и телемеханика. 1980. №4. С. 16-23.

54. Панкратова Я. Б. Решение кооперативной дифференциальной игры группового преследования // Дискретный анализ и исследование операций. 2010. Т. 17. № 2. С. 57-78.

55. Партхасаратхи Т., Рагхаван Т. Некоторые вопросы теории игр двух лиц. М.: Мир, 1974. 296 с.

56. Патланжоглу О.М. О потенциале игрока в обобщенном контрольном примере Л.С. Понтрягина // Автоматика. 1992. №6. С. 17-26.

57. Петров Н.Н. Об управляемости автономных систем // Дифференциальные уравнения. 1968. Т. 4. № 4. С. 606-617.

58. Петров Н.Н., Петров Н.Никандр. О дифференциальной игре «казаки-разбойники» // Дифференциальные уравнения. 1983. Т. 19. №8. С. 1366-1374.

59. Петров Н.Н. Простое преследование при наличии фазовых ограничений / Деп. в ВИНИТИ 20.03.1984 г. №1684. 14 с.

60. Петров Н.Н., Прокопенко В.А. Об одной задаче преследования группы убегающих // Дифференциальные уравнения. 1987. Т. 23. №4. С. 724-726.

61. Петров Н.Н. Одна задача простого преследования с фазовыми ограничениями // Автоматика и телемеханика. 1992. № 5. С. 22-26.

62. Петров Н.Н. Квазилинейные конфликтно-управляемые процессы с дополнительными ограничени-

ями // Прикладная математика и механика. 1993. Т. 57. Вып. 6. С. 61-68.

63. Петров Н.Н. Об одной задаче группового преследования с фазовыми ограничениями // Известия

вузов. Математика. 1994. №4(383). С. 24-29.

64. Петров Н.Н. Об одной задаче преследования группы убегающих // Автоматика и телемеханика. 1996. №6. С. 48-54.

65. Петров Н.Н. Теория игр: учеб. пособие. Ижевск: Изд-во Удм. ун-та, 1997. 197 с.

66. Петров Н.Н. Многократная поимка в примере Л.С. Понтрягина с фазовыми ограничениями // Прикладная математика и механика. 1997. Т. 61. Вып. 5. С. 747-754.

67. Петров Н.Н. Простое преследование жесткосоединенных убегающих. // Автоматика и телемеха-

ника. 1997. №12. С. 89-95.

68. Петросян Л.А. Дифференциальные игры преследования. Л.: ЛГУ, 1977. 222 с.

69. Петросян Л.А., Томский Г.В. Динамические игры и их приложения. Л.: ЛГУ, 1982. 252 с.

70. Пилипенко Ю.В., Чикрий А.А. Колебательные конфликтно-управляемые процессы // Прикладная математика и механика. 1993. Т. 57. Вып. 3. С. 3-14.

71. Понтрягин Л.С. Избранные научные труды. Т. 2. М.: Наука, 1988. 576 с.

72. Понтрягин Л.С. Линейная дифференциальная игра убегания // Труды Математического института АН СССР. 1971. Т. 112. С. 30-63.

73. Понтрягин Л.С., Мищенко Е.Ф. Задача об убегании одного управляемого объекта от другого // ДАН СССР. 1969. Т. 189. №4. С. 721-723.

74. Понтрягин Л.С., Мищенко Е.Ф. Задача об уклонении от встречи в линейных дифференциальных играх // Дифференциальные уравнения. 1971. Т. 7. №3. С. 436-445.

75. Пшеничный Б.Н., Чикрий А.А. Задача об уклонении от встречи в дифференциальных играх // Журнал вычислительной математики и математической физики. 1974. Т. 14. №6. С. 416-427.

76. Пшеничный Б.Н. О задаче убегания // Кибернетика. 1975. №4. С. 120-127.

77. Пшеничный Б.Н. Простое преследование несколькими объектами // Кибернетика. 1976. №3. С. 145-146.

78. Пшеничный Б.Н., Чикрий А.А. Дифференциальная игра уклонения // Известия АН СССР. Техническая кибернетика. 1977. №1. С. 3-9.

79. Пшеничный Б.Н., Остапенко В.В. Дифференциальные игры. Киев: Наук. думка, 1992. 260 с.

80. Рихсиев Б.Б. Об оптимальности времени преследования в дифференциальных играх многих лиц с простым движением // Известия АН УзбССР. Серия физ-мат. наук. 1984. №4. С. 37-39.

81. Рихсиев Б.Б., Кучкаров А.Ш. О решении одной задачи преследования с фазовыми ограничениями // Автоматика и телемеханика. 2001. №8. С. 41-45.

82. Сатимов Н.Ю. Задача убегания в дифференциальных играх с нелинейными управлениями // Автоматика и телемеханика. 1974. №5. С. 26-33.

83. Сатимов Н.Ю. Об одном способе уклонения в дифференциальных играх // Математический сборник. 1976. Т. 99 (141). №3. С. 380-393.

84. Сатимов Н.Ю., Маматов М.Ш. Об одном классе линейных дифференциальных и дискретных игр между группами преследователей и убегающих // Дифференциальные уравнения. 1978. Т. 14. №7. С. 1208-1214.

85. Сатимов Н.Ю., Азамов А.О. Хайдаров Б.К. Простое преследование многими объектами одного убегающего // ДАН УзбССР. 1981. №12. С. 3-5.

86. Сатимов Н.Ю. О задачах избежания взаимных столкновений // ДАН УзбССР. 1981. №2. С. 3-5.

87. Сатимов Н.Ю. Задача преследования и убегания для одного класса линейных дифференциальных игр многих лиц // Прикладная математика и механика. Ташкент: Изд-во Ташкент. ун-та. 1981. №670. С. 64-75.

88. Сатимов Н.Ю., Маматов М.Ш. О задачах преследования и уклонения от встречи в дифференциальных играх между группами преследователей и убегающих // ДАН УзбССР. 1983. №4. С. 3-6.

89. Сатимов Н.Ю., Рихсеев Б.Б. Методы решения задачи уклонения от встречи в математической теории управления. Ташкент: Фан, 2000.

90. Сатимов Н.Ю., Кучкаров А.Ш. Уклонение от встречи со многими преследователями на поверхности // Узбекский математический журнал. 2001. №1. С. 51-55.

91. Сатимов Н.Ю., Тухтасинов М. Об игровых задачах на фиксированном отрезке в управляемых эволюционных уравнениях первого порядка // Математические заметки. 2006. Т. 80. Вып. 4. С. 613626.

92. Субботин А.И., Ченцов А.Г. Оптимизация гарантии в задачах управления. М: Наука, 1981. 288 с.

93. Черноусько Ф.Л. Одна задача уклонения от многих преследователей // Прикладная математика и механика. 1976. Т. 40. Вып. 1. С. 14-24.

94. Черноусько Ф.Л., Меликян А.А. Игровые задачи управления и поиска. М.: Наука, 1978. 270 с.

95. Чикрий А.А. Задача уклонения в нелинейных дифференциальных играх // Кибернетика. 1975. №3. С. 65-69.

96. Чикрий А.А. Задача уклонения в нестационарных дифференциальных играх // Прикладная математика и механика. 1975. №5. С. 780-787.

97. Чикрий А.А. Линейная задача убегания от многих преследователей // Изв. АН СССР. Техническая кибернетика. 1976. №4. С. 46-50.

98. Чикрий А.А. О задаче уклонения в линейной дифференциальной игре // Автоматика и телемеханика. 1977. №9. С. 24-29.

99. Чикрий А.А. Об одном способе убегания от нескольких преследователей // Автоматика и телемеханика. 1978. №8. С. 33-38.

100. Чикрий А.А. Достаточные условия в нелинейных дифференциальных играх // ДАН СССР. 1978. Т. 241. №3. С. 547-551.

101. Чикрий А.А. Достаточные условия в нелинейных дифференциальных играх нескольких лиц // Изв. АН СССР. Техническая кибернетика. 1978. №6. С. 14-21.

102. Чикрий А.А. Нелинейные дифференциальные игры убегания // ДАН СССР. 1979. Т. 246. №5.

С. 1051-1055.

103. Чикрий А.А. Квазилинейные дифференциальные игры со многими участниками // ДАН СССР. 1979. Т. 246. №6. С. 1306-1309.

104. Чикрий А.А. Квазилинейная задача сближения с участием нескольких лиц // Прикладная математика и механика. 1979. Т. 43. Вып. 3. С. 451-455.

105. Чикрий А.А. Метод переменных направлений в нелинейных дифференциальных играх нескольких лиц // Кибернетика. 1984. №1. С. 48-54.

106. Чикрий А.А., Шишкина Н.Б. О задаче группового преследования при наличии фазовых ограничений // Автоматика и телемеханика. 1985. №2. С. 59-69.

107. Чикрий А.А. Конфликтно управляемые процессы. Киев: Наук. думка, 1992. 384 с.

108. Чикрий А.А., Губарев Е.В. Достаточные условия разрешимости глобальной задачи убегания для нелинейных дифференциальных игр / Препринт 92-22. Киев: ИК им. В.М. Глушюва, 1992. 38 с.

109. Чикрий А.А., Перекатов А.Е. Поочередное преследование по позиции // Автоматика и телемеханика. 1993. Вып. 10. С. 86-95.

110. Чикрий А.А., Прокопович П.В. Линейная задача убегания при взаимодействии групп управляемых объектов // Прикладная математика и механика. 1994. Т. 58. Вып. 4. С. 12-21.

111. Чикрий А.А., Матичин И.И. Квазилинейные конфликтно управляемые процессы с переменной структурой // Проблемы управления и информатики. 1998. №6. С. 31-41.

112. Хайдаров Б.К. Позиционная 1-поимка в игре одного убегающего и нескольких преследователей // Прикладная математика и механика. 1984. Т. 48. Вып. 4. С. 574-579.

113. Шевченко И.И. Простейшая модель поочередного преследования // Автоматика и телемеханика. 1982. №4. С. 38-42.

114. Шевченко И.И. Поочередное преследование трех убегающих // Автоматика и телемеханика. 1983. №7. С. 70-75.

115. Шишкина Н.Б. О задаче преследования по позиции в дифференциальной игре со многими преследователями // Кибернетика. 1987. №1. С. 47-50.

116. Chodun W. Avoidance of many pursuers in differential games described by differential inclusions // J.

Math. Anal. and Appl. 1988. Vol. 135. №2. P. 581-590.

117. Chodun W. Differential game of evasion with many pursuers // J. Math. Anal. and Appl. 1989. Vol. 142. №2. P. 370-389.

118. Gamkrelidze R.V., Kharatishvili G.L. A differential game of evasion with nonlinear control // SIAM. J. Control and Optimization. 1974. Vol. 12. №2. P. 332-349.

119. Rzymowski W. On the game of n + 1 cars // J. Math. Anal. and Appl. 1984. Vol. 99. №1. P. 109-122.

120. Rzymowski W. Avoidence of one pursuer // J. Math. Anal. and Appl. 1986. Vol. 120. №1. P. 89-94.

Поступила в редакцию 01.02.2013

A. S. Bannikov

Some non-stationary problems of group pursuit

We consider non-stationary problems of conflict interaction of one or several evaders with a group of pursuers at the same dynamic and inertial opportunities of all players. We obtain sufficient conditions for the solvability of the local evasion problem in a linear non-stationary problem and the solvability of the global problem of evasion of group of evaders from a group of pursuers in the non-stationary problem of group pursuit with a diagonal matrix. We obtain two-sided estimate the minimum number of evaders sufficient for the solvability of the avoidance from any initial position for a given number of pursuers in games with a diagonal matrix. For non-stationary problem of simple pursuit with phase constraints, we propose a positional control procedure with a guide that guarantees capture at least one of the pursuers in any neighborhood of the terminal set. We obtain sufficient conditions for the avoidance of one evader from a group of pursuers in a second-order differential games.

Keywords: differential games, global evasion problem, local evasion problem, positional strategy, phase restrictions. Mathematical Subject Classifications: 49N70, 49N75

Банников Александр Сергеевич, к.ф.-м.н., старший преподаватель, кафедра дифференциальных уравнений, Удмуртский государственный университет, 426034, Россия, г. Ижевск, ул. Университетская, 1. E-mail: [email protected]

Bannikov Aleksandr Sergeevich, Candidate of Physics and Mathematics, Senior Lecturer, Department of Differential Equations, Udmurt State University, ul. Universitetskaya, 1, Izhevsk, 426034, Russia. E-mail: [email protected]

Некоторые нестационарные задачи группового преследования Текст научной статьи по специальности «Математика»

Аннотация научной статьи по математике, автор научной работы — Банников Александр Сергеевич

Похожие темы научных работ по математике , автор научной работы — Банников Александр Сергеевич

Some non-stationary problems of group pursuit

Текст научной работы на тему «Некоторые нестационарные задачи группового преследования»