CC BY
33
Поступила в редакцию 9 июня 2015 г.
Petrov N.N., Shchelchkov K.A. ON CORRELATION OF TWO EVASION PROBLEMS WITH MANY EVADERS
There is considered the problem of conflict interaction of pursuers' and evaders' groups, provided that among the pursuers there are participants whose capabilities are not inferior to the opportunities of evaders as well as participants with fewer opportunities. It is proved that if in the game with equal opportunities for pursuers and evaders evasion of at least one evader on an infinite interval of time occurs, then with the addition of pursuers with fewer opportunities, the evasion of at least one evader is happening on any finite time interval.
Key words: differential game; group pursuit; pursuer; evader; the price of game.
Петров Николай Никандрович, Удмуртский государственный университет, г. Ижевск, Российская Федерация, доктор физико-математических наук, заведующий кафедрой дифференциальных уравнений, e-mail: [email protected]
Petrov Nikolai Nikandrovich, Udmurt State University, Izhevsk, the Russian Federation, Doctor of Physics and Mathematics, the Head of the Differential Equations Department, e-mail: [email protected]
Щелчков Кирилл Александрович, Удмуртский государственный университет, г. Ижевск, Российская Федерация, магистрант, e-mail: [email protected]
Shchelchkov Kirill Aleksandrovich, Udmurt State University, Izhevsk, the Russian Federation, Master's degree Student, e-mail: [email protected]
УДК 517.98
ОБ ОДНОЙ ТЕОРЕМЕ О СЛАБОЙ ЗАМКНУТОСТИ СУПЕРПОЗИЦИОННОГО МУЛЬТИОПЕРАТОРА
© Г.Г. Петросян
Ключевые слова: мультиоператор; слабая сходимость; измеримое сечение; компактное множество.
В работе доказывается теорема о слабой замкнутости суперпозиционного мультиопе-ратора для мультифункции соответствующей многозначному отображению, которое подчиняется условиям типа верхних условий Каратеодори. Данная теорема является обобщением Теоремы 1.5.30 из [1].
Пусть Е — банахово пространство и имеется разбиение отрезка [0, Т] точками 0 < ¿1 < ... < ¿т < Т, т ^ 1. Обозначим через Ки(Е) и Оу(Е) совокупность всех непустых выпуклых компактных подмножеств Е и совокупность всех непустых замкнутых выпуклых подмножеств Е соответственно. Обозначим также символом РСм-1([0, Т]; Е) пространство функций х : [0, Т] ^ Е, непрерывных вместе со своими производными х , х ,..., -1) (при N = 1 просто непрерывных) на [0,Т]\ {¿1, ...,Ьт} и таких, что левые и правые пределы г иг 0 ^ ^ ^ N — 1, 1 ^ к ^ т, существуют и ) = г к). При N = 1, пространство РС0([0,Т]; Е) будем обозначать просто РС([0,Т]; Е).
Нетрудно видеть, что пространство РСМ-1([0,Т]; Е) , снабженное нормой
\\г\\рС^-1([0,Т];Е) = 11х11 + IIх II + ... + Нх(М-1)Ц>
где в правой части равенства рассматриваются обычные нормы равномерной сходимости, является банаховым пространством и что классическое пространство CN-1([0,T]; E) является его замкнутым подпространством.
Обозначим I = [0,T]\ (ii, ...,tm} . Рассмотрим мультиоператор F : IxBxEN ^ Kv(E), удовлетворяющий следующим условиям.
(Fi) Мультифункция F: [0,T] ^ Kv(E) допускает сильно измеримое сечение для всех (#,y) eBx EN;
(F2) Мультиотображение F(t, ■, ■) : B x EN ^ Kv(E) полунепрерывно сверху (п.н.с.) для п. в. t € I;
(F3) Существует функция w € Lp([0,T}), p > а_1+1, такая, что:
||FM,y)|| := sup (||f||e : f € F(t,#,y)} < w(t)(1 + |tf|B + \\y\\EN),
для всех (§, y) € B x EN и п.в. t € I.
Здесь B обозначает фазовое пространство бесконечных запаздываний Хейла и Като (см. [2]).
Пусть CeT] — линейное пространство функций y : (-то; T] ^ E, таких, что yo € B и y = y|[0jT] € PCN-1([0, T]; E), с полунормой:
Mce(-<X;t] = Mb + \y\vCN-1([0,T];E) •
Для y € Ce (—to; T] рассмотрим мультифункцию:
Ф^ : [0,T] ^ Kv(E), ФР(t) = F(t,yt,y(t),y'(t),y''(t),...,y(N-1)(t)).
Ясно, что функции t € [0,T] ^ yt € B и y(i) : [0, T] ^ EN, i = 0,1, ...,N — 1 кусочно-непрерывны. Тогда мультифункция Ф^ является Lp -интегрируемой.
Пусть Pf : Ce (—to; T] ^ Lp([0,T]; E) — суперпозиционный мультиоператор, заданный следующим образом:
Pf (y) = ^,
где F —множество всех Lp -интегрируемых сечений мультифункции ФF.
Нам понадобятся следующие факты (см. [1]).
Теорема 1. Пусть G : X ^ K (Y) — п.н.с. мультиотображение. Если A С X — компактное множество, то его образ G(A) компактен.
Л е м м а 1. Lp -полукомпактная последовательность функций {{„} слабо компактна, то есть из нее можно выделить слабо сходящуюся подпоследовательность.
Лемма 2. (Мазура) Пусть (жга}^=1 — последовательность элементов нормированного пространства, слабо сходящаяся к x. Тогда найдется двойная последовательность неотрицательных чисел (Aifc}°=1°<k=1 такая, что:
(а) k=i ^ik = 1 для всех i = 1, 2,...;
(б) для каждого i = 1, 2,... найдется номер k0 = k0(i) такой, что Aifc = 0 для всех k ^ k0;
(в) последовательность выпуклых комбинаций
<х
(^i}j=1 , xi у ^ikxk
k=i
сходится к x по норме.
Л е м м а 3. Пусть I — компактное множество на числовой прямой R. Если последовательность функций (fn} С Lp(I; E) сходится по норме пространства Lp(I,E)
к функции /, то существует последовательность {/п} , которая будет сходится к / почти всюду на I.
Теорема2. Пусть X, У — топологические пространства и С : X ^ Р (У). Тогда следующие условия эквивалентны:
(а) мультиотображение С замкнуто;
(б) для любой пары х € X, у € У такой, что у £ С(х), существуют окрестности и (х) точки х и V (у) точки у такие, что С(и (х))П V (у) = 0;
(в) для любых последовательностей {ха} С X, {уа} С У таких, что ха ^ х, у« € С(ха), у« ^ у, выполнено у € С(х).
Приведем теперь наш результат.
Теорема 3. Пусть {дп} — последовательность в Се (—то; Т], сходящаяся к д € Се (—то; Т]. Предположим, что существует последовательность {/п} С £Р([0,Т]; Е), /п € Ре(дп) слабо сходящаяся к функции /, тогда / € Ре (д).
Доказательство. Пусть Е1 — нормированное пространство, мультиоператор ^ : I х В х Ем ^ К-и(Е) удовлетворяет условиям (^1) — (^3) и а : £р(/, Е) ^ Е1 — непрерывный линейный оператор. Докажем сначала, что композиция
а о Ре : Се (—то; Т] ^ Си(Е1)
замкнутое мультиотображение.
Заметим, что выпуклость значений мультиотображения а о Ре следует из выпуклости значений ^ и линейности оператора а.
Рассмотрим последовательности {дп , дп € Се (—то; Т]; {хга}^=1, хп € Е1 такие, что
Иш \\д„ — д\\сЕ, Т] = 0, х„ € а о Ре(д„), Иш \\хга — г\\Е1 =0.
Выберем последовательность {/п}^ С Ьр(1, Е), /п € Ре(дп), гп = а(/п). Применяя условия (^2), (^э) и теорему 1 легко вывести из сходимости последовательности {дп} , что последовательность {/п} Рр -полукомпактна и, следовательно, в силу леммы 1 она слабо компактна. Переходя к подпоследовательности, мы будем считать, без ущерба для общности, что она слабо сходится к функции / € £р(1, Е).
Применяя теперь лемму Мазура, мы получаем последовательность {/¿}°=1, /г € £р(1, Е), /г = ^те ^гк/к, сходящуюся к / по норме пространства Ьр(1, Е). Используя лемму 3, мы снова без ущебра для общности будем предполагать, что последовательность {/г} сходится к / почти всюду на I.
Из условия (^2) следует, что почти для каждого £ € I по данному е > 0 найдется натуральное число г0 = г0(е, ¿) такое, что
^(¿, (д^)г, дг(£), дг(£), дг'(£),..., -1)(£)) С д4, д(£), д'(¿), д''(£),..., д(м-1)(£)) для всех г ^ ¿0,
где обозначает е -окрестность множества.
Но тогда и /¿(¿) € д4, д(£), д'(¿), д''(£),..., д(м-1)(¿)) для всех г ^ г0, а следовательно, в силу выпуклости множества (¿, д^, д(£), д'(¿), д''(£),..., -1)(£)) и
/¿(¿) € д4, д(£), д'(£), д''(£),..., д(м-1)(£)) для всех г ^ ¿0.
Следовательно
/(¿) € ^(¿,д4,д(*),д'(¿), д''(£),..., д(м-1)(¿)) п.в. £ € I,
то есть / € Ре(д).
С другой стороны,
œ œ
a f = ^ a (f ) = Zk >
i=l
i=l
поэтому limi
a [ fi) - z
Ei
0.
Из непрерывности оператора а следует, что г = a(f), поэтому г € а о Рр(д), тогда применяя теорему 2, получаем истинность вспомогательного утверждения для а о Рр.
Из построенного доказательства видно, что мультиоператор Рр слабо замкнут. Теорема доказана.
ЛИТЕРАТУРА
1. Борисович Ю.Г., Гельман Б.Д., Мышкис А.Д., Обуховский В.В. Введение в теорию многозначных оторбажений и дифференциальных включений. Издание 2-е, испр. и доп.-М: Книжный дом «Либроком», 2011. 224 с.
2. Hale J.K., Kato J. Phase Space for Retarded Equations with Infinite Delay // Funkcial. Ekvac. 1978. № 1, 21. P. 11-41.
БЛАГОДАРНОСТИ: Работа поддержана грантами Российского Фонда Фундаментальных Исследований № 14-01-00468 и № 14-01-92004.
Поступила в редакцию 9 июня 2015 г.
Petrosyan G.G. A THEOREM ON THE WEAK CLOSURE OF SUPERPOSITION MULTIOPERATORS
We prove a theorem on the weak closure of superposition multioperators for multifunction corresponding multivalued mapping, which is subject to conditions such as upper Caratheodory conditions. This theorem is a generalization of Theorem 1.5.30 from [1].
Key words: multioperators; weak convergence; measurable sections; compact set.
Петросян Гарик Гагикович, Воронежский государственный педагогический университет, г. Воронеж, Российская Федерация, кандидат физико-математических наук, старший преподаватель кафедры высшей математики, e-mail: [email protected]
Petrosyan Garik Gagikovich, Voronezh State Pedagogical University, Voronezh, the Russian Federation, Candidate of Physics and Mathematics, Senior Lecturer of the Higher Mathematics Department, e-mail: [email protected]
УДК 519.633
NUMERICAL METHOD FOR THE EQUATION WITH FRACTIONAL DERIVATIVE ON STATE AND WITH FUNCTIONAL DELAY ON TIME
© V.G. Pimenov, A.S. Hendy
Key words: fractional equation; delay; grid schemes; interpolation; extrapolation; convergence order.
For fractional diffusion equation with functional after-effect on time, the implicit numerical method is constructed and the order of its convergence is obtained. The method is a fractional analogue of the Crank-Nicholson method, and also uses interpolation and extrapolation of the prehistory of model on time.
