Игра «Лев и человек» на метрическом компакте Текст научной статьи по специальности «Математика»

Shmyrin A.M., Mishachev N.M., Trofimov E.P. CORRECTION OF A LINEAR NEIGHBORHOOD MODEL IN VIEW OF NEW DATA

The problem of correction of the neighborhood model coefficients in presence of new data is considered. Key words: neighborhood model; correction.

Шмырин Анатолий Михайлович, Липецкий государственный технический университет, г. Липецк, Российская Федерация, доктор технических наук, профессор, заведующий кафедрой высшей математики, e-mail: amsh@lipetsk.ru

Shmyrin Anatoliy Mikhailovich, Lipetsk State Technical University, Lipetsk, the Russian Federation, Doctor of Techniques, Professor, the Head of the Higher Mathematics Department, e-mail: amsh@lipetsk.ru

Мишачёв Николай Михайлович, Липецкий государственный технический университет, г. Липецк, Российская Федерация, кандидат физико-математических наук, доцент кафедры высшей математики, e-mail: sedykh-irina@yandex.ru

Mishachev Nikolay Mikhailovich, Lipetsk State Technical University, Lipetsk, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Higher Mathematics Department, e-mail: sedykh-irina@yandex.ru

Трофимов Евгений Павлович, Липецкий государственный технический университет, г. Липецк, Российская Федерация, студент, e-mail: trofimovep@list.ru

Trofimov Evgeniy Pavlovich, Lipetsk State Technical University, Lipetsk, the Russian Federation, Student, e-mail: trofimovep@list.ru

УДК 517.977

ИГРА «ЛЕВ И ЧЕЛОВЕК» НА МЕТРИЧЕСКОМ КОМПАКТЕ

© О.О. Юферева

Ключевые слова: игра преследования-убегания; Лев и Человек; компакт; геодезические; метрические пространства; стратегия простого преследования.

Рассматривается игра двух игроков «Лев и Человек» на метрическом компакте. Показывается, что £ -поимка осуществляется при следующих условиях: 1) для любых двух точек существует единственный отрезок геодезической, их соединяющий; 2) отрезки геодезических непрерывно зависят от своих концов. Используется стратегия простого преследования.

Рассмотрим игру двух игроков с одинаковыми возможностями, один из которых (преследователь) стремится поймать другого (убегающего). Игра происходит на некотором метрическом пространстве K с метрикой р. Первоначально такая игра называлась «Лев и Человек», и возникал «жизненно важный» вопрос, сможет ли лев поймать человека на круглой арене? Было показано, что человек может сколь угодно долго уклоняться от льва, но вместе с тем, лев может приблизиться к человеку на сколь угодно малое расстояние. По этой причине будем считать, что преследователь побеждает, если происходит £ -поимка, то есть в некоторый момент расстояние между игроками становится меньше заданного положительного числа £ .

Игра «Лев и человек» является классической, её условия варьировались в соответствии с направлениями развития игр преследования-убегания. В этой связи необходимо упомянуть Л.С. Понтрягина, Л.А. Петросяна, Н.Н. Петрова. Но несмотря на множество работ

1546

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

Отметим работы, в которых рассматривались похожие вопросы. В [1] изучается возможность е -поимки в компактных САТ(0)-пространствах (пространствах Александрова неположительной кривизны). В [2] приведен пример игры, где гарантированная е-поимка осуществляется не на компакте. Игру на пространствах, представляющих собой выпуклые поверхности, исследовали в [3, 4]; постановка такой задачи связана с проблемами робототехники. Кроме того, в [5] к игре «Лев и Человек» был сведен вопрос сцепления меры ноль броуновских процессов.

Пусть P и E обозначают игроков — преследователя и убегающего соответственно; точки P(■) € K и E(■) € K — положения игроков P и E.

Условия на пространство:

1. K — метрический компакт.

2. Для любой пары точек a,b € K существует единственный кратчайший путь между ними — отображение fab : [0,1] ^ K , такое что

p(fab(t), a) = tp(a, b), p(fab(t), b) = (1 - t)p(a, b) Vt € [0,1]. Будем называть его отрезком геодезической между точками a, b € K .

3. Любой отрезок геодезической непрерывно зависит от своих концов, то есть

Ve > 0 > 0 [ p(a,c) <5,p(b,d) <5 ] ^ Vt € [0,1] [ p(fab(t), fcd(t)) <е ].

Ограничения на движения: Оба игрока обладают единичными скоростями, их траектории представляют собой липшицевые кривые:

p(E(ti),E(t2)) < |ti - t2| Vti,t2 ^ 0, p(P(ti),P(t2)) < |ti - t2| Vti,t2 ^ 0.

Описание стратегий

Пусть стратегия P — пошаговая модификация стратегии простого преследования, зависящая только от е (требуемого для е-поимки). В моменты времени А (через равные промежутки времени) преследователь «прицеливается» на убегающего, а в промежутке — двигается по отрезку геодезической «на цель». Каждый такой шаг P проходит расстояние, равное е . ( )

Будем говорить, что траектория системы (P(-),E(-)) на промежутке времени (a, b) С R правильная, если траектория P(■) преследователя реализует описанную выше стратегию при движении убегающего по трактории E(-) .

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

Рассмотрим фазовое пространство K2 = K х K , его первая компонента — всевозможные положения игрока P в пространстве K , вторая — игрока E.

Ключевой является лемма, фактически доказанная в [1]:

Л е м м а 1. За один шаг преследователя расстояние между игроками не меняется в том и только в том случае, если компоненты правильной траектории игроков лежат на одном (общем) отрезке геодезической; иначе расстояние уменьшается.

1547

Из леммы 1, очевидно:

Замечание. Если траектория системы правильная, расстояние между игроками не увеличивается.

В случае единственности отрезков геодезических лемму 1 можно усилить следующим образом:

Л е м м а 2. За произвольный промежуток времени расстояние между игроками не меняется в том и только в том случае, если компоненты правильной траектории игроков лежат на одном (общем) отрезке геодезической; иначе расстояние уменьшается.

В силу компактности:

Утверждение. Последовательность точек (P (ri),E (ri)) € K2, т € А имеет хотя бы одну предельную точку.

Понятно, что если предельная точка (P*,E*) оказалась такой, что расстояние между P* и E* (в пространстве K ) меньше или равно е , то е -поимка осуществится. Предположим противное:

Предположение 1. Существует предельная точка (P *, E *) последовательности (P(Ti),E(Ti)) € K2 такая, что расстояние между P* и E* больше е.

Лемм а 3. В течение одного шага преследователя игроки, находящиеся в точке (P(т),E(т)) € K2 в момент т € А обязательно покинут е -окрестность этой точки.

Будем называть раундом для множества A С K2 промежуток времени от Ti € А до Tj € А такой, что (P(Ti),E(Ti)) € A и (P(Tj), E(Tj)) € A , и ни для каких т € (Ti,Tj) П А (P(т), E(т)) не принадлежит A . В силу леммы 3, для | -окрестности любой точки из K2 , в которой игроки хотя бы один раз оказывались, существует хотя бы один раунд.

Замечание. Раундов для | -окрестности предельной точки бесконечно много.

Действительно, в любой окрестности предельной точки игроки оказываются бесконечно много раз в моменты времени из А , но по лемме 3 — при каждом попадании в | -окрестность в течение шага покидают её.

Лемма 4. В K еуществует множество с диаметром меньше е, для которого найдется счетное число раундов одинаковой длины.

Из теоремы Арцела-Асколи, у последовательности траекторий (P(■), E(•)) соответствующих раундам из леммы 4 есть предельная кривая Z(■) . Для t из области определения Z пусть Z(t) = (Zp(t), Ze(t)) .

Л е м м а 5. Z(■) обладает следующими свойствами:

1. Z(■) — правильная траектория.

2. Расстояние между концам и Zp (■) € K меньше е.

3. Расстояние p(Zp(t), Ze(t)) = const.

Придем к противоречию, воспользовавшись предположением 1. Рассмотрим кривую Zp(■) в K. Она состоит из нескольких (не менее двух) шагов преследователя, значит её длина не меньше 2е. Из пункта 3 леммы 5 следует, что расстояние, во время движения по правильной траектории, не менялось (если представить, что игроки двигались по траектории Z(■)), отсюда, по лемме 2 получаем, что Zp(■) — отрезок геодезической в K . Это значит, что в K есть отрезок геодезической с длиной больше 2е , соединяющий точки, расстояние между которыми меньше е (пункт 2 леммы 5). Получили противоречие.

Поскольку предположение 1 неверно — любая предельная точка (P*,E*) оказывается такой, что расстояние между P* и E* меньше или равно е, это означает осуществление е -поимки.

ЛИТЕРАТУРА

1. Alexander S., Bishop R., Ghrist R. Total curvature and simple pursuit on domains of curvature bounded

1548

above // Geometriae Dedicata. 2010. V. 149. № 1. P. 275-290.

2. Miroslav B. Note on a compactness characterization via a pursuit game // Geometriae Dedicata. 2012. V. 160. № 1. P. 195-197.

3. Noori N., Isler V. Lion and Man with Visibility in Monotone Polygons // The International Journal of Robotics Research. 2013.

4. Noori N., Isler V. The Lion and Man Game on Convex Terrains. 2014.

5. Bramson M., Burdzy K., Kendall W. Shy couplings, CAT(0) spaces, and the lion and man // Ann. Probab. 2013. V. 41. № 2. P. 744-784.

Поступила в редакцию 1 июня 2015 г.

Yufereva O.O. LION AND MAN GAME ON A COMPACT METRIC SPACE The lion and man game on a compact metric space is considered. Both players have the equal speeds. Suppose that 1) for all pairs of points there exists a unique geodesic connecting this points; 2) every geodesic continuously depends on its own endpoints. Then the strategy of simple pursuit guarantees the e-capture. In particular, this implies the same result for CAT(0) domains.

Key words: pursuit-evader game, Lion and Man, compact set, geodesic, metric spaces, simple pursuit strategy.

Юферева Ольга Олеговна, Уральский федеральный университет, г. Екатеринбург, Российская Федерация, студент, e-mail: yufereva12@gmail.com

Yufereva Olga Olegovna, Ural Federal University, Ekaterinburg, the Russian Federation, Student, e-mail: yufereva12@gmail.com

УДК 517.9

МЕТОД РЕШЕНИЯ ОДНОЙ ОБРАТНОЙ ЗАДАЧИ ИДЕНТИФИКАЦИИ ФУНКЦИИ ИСТОЧНИКА ДЛЯ СИСТЕМ С РАСПРЕДЕЛЕННЫМИ

ПАРАМЕТРАМИ

© Н.М. Япарова

Ключевые слова: обратная задача идентификации источника; система с распределенными параметрами; теплопроводность; преобразование Лапласа; метод регуляризации. В статье рассмотрена одномерная обратная задача идентификации неизвестной функции источника тепла в параболическом уравнении для систем с распределенными параметрами. Предложен метод решения, основанный на использовании прямого и обратного преобразований Лапласа, позволяющий сначала свести исходную задачу к решению операторного уравнения, характеризующего явную зависимость неизвестной функции источника от известных граничных условий, а затем уже использовать регуляризу-ющие алгоритмы для построения численного решения. Такой подход позволяет исключить неустойчивую процедуру численного обращения преобразования Лапласа из вычислительной схемы. На основании полученных результатов был разработан численный метод, проведен вычислительный эксперимент и получены экспериментальные оценки погрешностей численных решений. Результаты вычислительного эксперимента свидетельствуют о достаточной эффективности предложенного метода.

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

1549