Preprint

Article

On the Life-Line Game of the Inertial Players with Integral and Geometric Constraints

Altmetrics

Downloads

Views

Comments

A peer-reviewed article of this preprint also exists.

Bahrom Samatov,

Gafurjan Ibragimov,Bahodirjon Juraev,

Massimiliano Ferrara^*

Bahrom Samatov,

Gafurjan Ibragimov,Bahodirjon Juraev,

Massimiliano Ferrara^*

This version is not peer-reviewed

Submitted:

14 August 2023

Posted:

18 August 2023

You are already at the latest version

Alerts

Abstract

In this paper, we consider a pursuit-evasion game of inertial players, where pursuer’s control is subject to integral constraint, and evader’s control is subject to geometric constraint. In the pursuit problem, the main tool is the strategy of parallel pursuit. Sufficient conditions are obtained for the solvability of pursuit-evasion problems. Also, the main lemma describing the monotonicity of an attainability domain of the evader is proved and an explicit analytical formula for this domain is given. As one of the important results of our paper, the Isaacs Life-line game is solved for a special case.

Keywords:

Subject: Computer Science and Mathematics - Applied Mathematics

1. Introduction

In the middle of the twentieth century, the term "Differential games" was first apparent in Isaacs’s monograph [1] including exclusive conflict and game problems and also, additional open problems for future studies. In view of the basic approaches in the theory of differential games constructed by Pontryagin [2], Krasovskii [3], Pshenichnii [4], Chikrii [5] and others, a differential game is regarded as an optimal control problem from the standpoint of either a pursuer or an evader, and in consequence, the differential game comes to study a pursuit problem and to an evasion problem, respectively.

A number of the problems in [1] were solved by Petrosjan, Azamov and et al. In particular, in Petrosjan [6] completely solved the Life-line problem when players’ controls obey to geometric constraints, developing the strategy of parallel approach. In the middle of the eighteenth Azamov [7] proposed for the first time an analytical solution of the Life-line game of multiple pursuers and one evader by using support function of the multi-valued mapping. Azamov [8] investigated the structure of phase space of differential pursuit-evasion games for the case where an evader has the discriminated information and here, an alternative for differential pursuit-evasion games in

[0, \infty)

was established by the transfinite iteration method of Pshenichnii’s operator.

In addition, in Munts and Kumkov [9,10] examined the classic time-optimal differential games of Life-line in the formalization of Krasovskii [3]. Thereafter, for the cases in which controls of both objects adhering to integral, linear, Grönwall type or mixed constraints, the pursuit-evasion problem and the Life-line game have been thoroughly considered in the works of Samatov et al.[11,12,13].

In the theory of differential games, it is known that it is not easy to construct players’ optimal strategies and to determine the game value. The works [14,15] are especially devoted to establish the existence of the game value by constructing the players’ optimal strategies.

In order to implement mathematical models to real-life processes, the researches on differential games with various type of restrictions on controls are getting a great interest. For example, the works [16,17] are devoted to investigate such type of game problems. It is essential to mention that the games with various type constraints on controls are not enough explored yet. In the applying sense, differential games under integral constraints on players’ controls are much more difficult than the games with geometric constraint.

The method of resolving functions for the games with integral constraints on control functions was developed by Belousov [18] to obtain a sufficient condition for the pursuit differential game. The solution was further extended to the case of convex integral constraints [19]. The pursuit-evasion and Life-line problems under integral constraints on controls were widely considered by Satimov at al. [20], Azamov [7], Azamov and Samatov [21]. Such differential game problems with integral constraints have been considered for differential-difference equations as well. For instance, the works of Mamadaliev [22,23,24] are devoted to linear pursuit games under integral constraints on players’ controls with delay information. Thereafter, the games under linear, linear-geometric, integro-geometric, and mixed constraints on controls were comprehensively solved using the

Π

-strategy in the works of Samatov [25,26,27,28,29].

Differential games, of inertial players are of great significance owing to many applications to technical, air processes. Ibragimov et al. [30,31,32] studied the fixed duration differential game of countable number inertial players in Hilbert space with integral constraints. The works [33,34] studied the pursuit-evasion differential games of many pursuers and one evader with geometric constraints for the infinite system of second order differential equations in Hilbert space.

In the present paper we consider the pursuit-evasion differential game problems of one inertial pursuer and one inertial evader. The control of the pursuer is subject to integral constraint and that of the evader is subject to geometric constraint. In the pursuit problem, we propose the parallel approach strategy(

Π

-strategy) for the pursuer, and obtain sufficient solvability condition of pursuit. In the evasion problem, a special admissible control is implemented for the evader and sufficient solvability condition of evasion is obtained. An estimate from the below for the distance between the pursuer and evader is derived. Further, the main lemma describing the monotonicity of an attainability domain of the evader is proved and an explicit analytical formula for this domain is given. As one of the important results of our paper, we obtain a condition under which pursuer wins in the Isaacs Life-line game.

2. Statement of problems

Suppose that a player P, namely Pursuer, with a control u goes after another player E, namely Evader, with a control v in

R^{n}

. Let x represent the position of Pursuer, and let y represent that of Evader. Then we are going to discuss a differential game where players’ motions take place in accordance with the following second order differential equations:

P : \ddot{x} = u, x (0) = x_{0}, \dot{x} (0) = x_{1},

(1)

E : \ddot{y} = v, y (0) = y_{0}, \dot{y} (0) = y_{1},

(2)

where

x, y, u, v \in R^{n}

n \geq 2

;

x_{0}

y_{0}

are players’ initial positions, and

x_{1}

y_{1}

are their initial velocities, respectively. Assume that game is considered under the conditions

x_{0} \neq y_{0}

and

x_{1} = y_{1}

The control parameter u is the acceleration vector, and this is considered as a measurable function

u (\cdot) : R_{+} \to R^{n}

, and on that function, impose the integral constraint in the form

\int_{0}^{t} (t - s) {| u (s) |}^{2} d s \leq ρ_{0}, t \geq 0,

(3)

where

ρ_{0}

is a given positive number. In the sequel, by

U

we infer the class of all control functions

u (\cdot)

fulfilling the constraint (3).

In the same way, the control parameter v is the acceleration vector, and this is taken as a measurable function

v (\cdot) : R_{+} \to R^{n}

, and on that function, impose the geometrical constraint of the form

| v (t) | \leq β, t \geq 0,

(4)

where

β

is a given positive number. In the sequel, by

V

we infer the class of all control functions

v (\cdot)

fulfilling the constraint (4).

Definition 1.

We say that a measurable function

u (\cdot)

(respectively,

v (\cdot)

) the admissible control of Pursuer (respectively, of Evader) if

u (\cdot) \in U

(respectively,

v (\cdot) \in V

Definition 2.

For each pair

(ρ_{0}, u (\cdot))

u (\cdot) \in U

, we call the quantity

ρ (t) = ρ_{0} - \int_{0}^{t} (t - s) {| u (s) |}^{2} d s, ρ (0) = ρ_{0}

(5)

the residual resource of Pursuer at the current time t,

t \geq 0

Let

D_{β} = \{d \in R^{n} : | d | \leq β\}

Definition 3.

We call a mapping

u : D_{β} \to R^{n}

the strategy of Pursuer if the following conditions are satisfied:

u (v)

is a Borel measurable function of v,

v \in D_{β}

;

2) For arbitrary

v (\cdot) \in V

, the inclusion

u (v (\cdot)) \in U

is satisfied on some time interval

[0, t]

Let

z (t) = x (t) - y (t), z_{0} = x_{0} - y_{0}, \dot{z} (0) = z_{1} = x_{1} - y_{1} .

From equations (1)–(2) we then derive the initial value problem

\ddot{z} = u - v, z (0) = z_{0}, \dot{z} (0) = 0 .

Definition 4.

We call a strategy

u (v)

the parallel convergence strategy (Π- strategy) if for arbitrary

v (\cdot) \in V

the solution

z (t)

of initial value problem

\ddot{z} = u (v (t)) - v (t), z (0) = z_{0}, \dot{z} (0) = 0,

has the form

z (t) = z_{0} Θ (t, v (\cdot)), Θ (0, v (\cdot)) = 1, t \geq 0,

where

Θ (t, v (\cdot))

is a scalar function, and this is generally called the convergence function of Pursuer and Evader in the pursuit problem.

Definition 5.

We say that the Pursuer wins by using the Π-strategy on a finite time interval

[0, T]

if, for any

v (\cdot) \in V

z (t^{*}) = 0

at some instant

t^{*} \in [0, T]

;

u (v (t)), 0 \leq t \leq t^{*}

, belongs to

U

on the interval

[0, t^{*}]

. In this case, the number T is called the guaranteed capture time.

Definition 6.

We say that Evader wins by using a control

v^{*} (\cdot) \in V

if for arbitrary

u (\cdot) \in U

the solution

z (t)

of the initial value problem

\ddot{z} = u (t) - v^{*} (t), z (0) = z_{0}, \dot{z} (0) = 0,

satisfies the condition

z (t) \neq 0

for all

t \geq 0

This paper is dedicated to study the following game problems where the controls

u (\cdot)

and

v (\cdot)

of the players are subject to the constraints (3) and (4) respectively:

Problem 1.

Construct Π-strategy to ensure the completion of the pursuit possible (Pursuit Game).

Problem 2.

Set a special admissible control for Evader and determine conditions guaranteeing the escape (Evasion Game).

Problem 3.

Find sufficient conditions of completion pursuit in Life-line game.

3. Pursuit Game

We call the function

u (v) = v - θ (v) ξ_{0}

(6)

the

Π

-strategy of Pursuer, where

θ (v) = 〈 v, ξ_{0} 〉 + \frac{η_{0}}{2} + \sqrt{{(〈 v, ξ_{0} 〉 + \frac{η_{0}}{2})}^{2} - {| v |}^{2}}, ξ_{0} = \frac{z_{0}}{| z_{0} |}, η_{0} = \frac{ρ_{0}}{| z_{0} |},

and

〈 v, ξ_{0} 〉

is the inner product of the vectors v and

ξ_{0}

R^{n}

. Here

θ (v)

is usually called the resolving function.

Let us present the following important property of the strategy (6) and the resolving function

θ (v)

Proposition 1.

ρ_{0} \geq 4 β | z_{0} |

, then, for all

v \in D_{β}

θ (v)

is well-defined and continuous in

D_{β}

b) the following is true

θ_{1} \leq θ (v) \leq θ_{2},

(7)

where

θ_{1} = \frac{η_{0}}{2} - β + \sqrt{\frac{η_{0}^{2}}{4} - η_{0} β}, θ_{2} = \frac{η_{0}}{2} + β + \sqrt{\frac{η_{0}^{2}}{4} + η_{0} β}

c) the identity

{| u (v) |}^{2} = η_{0} θ (v), t \geq 0,

(8)

holds.

Proof.

a) From the conditions

ρ_{0} \geq 4 β | z_{0} |

and

η_{0} = \frac{ρ_{0}}{| z_{0} |}

we infer

η_{0} (\frac{η_{0}}{4} - β) \geq 0

. Since

| v | \leq β

(see (4)), therefore

\begin{matrix} 0 & \leq & η_{0} (\frac{η_{0}}{4} - β) \leq \frac{η_{0}^{2}}{4} - η_{0} | v | \\ = & {(- | v | + \frac{η_{0}}{2})}^{2} - {| v |}^{2} \leq {(〈 v, ξ_{0} 〉 + \frac{η_{0}}{2})}^{2} - {| v |}^{2} . \end{matrix}

b) Letting

τ = 〈 v, ξ_{0} 〉

θ (v)

consider the function

f (τ) = τ + \frac{η_{0}}{2} + \sqrt{{(τ + \frac{η_{0}}{2})}^{2} - {| v |}^{2}}, - β \leq τ \leq β .

Clearly,

\frac{d f (τ)}{d τ} > 0

. As a consequence, using (4) it is not hard to obtain that

min f (τ) = f (- β) = θ_{1}

and

max f (τ) = f (β) = θ_{2}

c) From (6) we get

\begin{matrix} {| u (v) |}^{2} & = & 〈 u (v), u (v) 〉 = 〈v - θ (v) ξ_{0}, v - θ (v) ξ_{0}〉 \\ = & {| v |}^{2} + θ (v) [θ (v) - 2 〈 v, ξ_{0} 〉] = η_{0} θ (v) . \end{matrix}

and this completes the proof. □

Thanks to equations (1)-(2), for arbitrary

v (\cdot) \in V

and for the function

u (v (\cdot)) \in U

, Pursuer’s trajectory is

x (t) = x_{0} + x_{1} t + \int_{0}^{t} (t - s) u (v (s)) d s,

(9)

and Evader’s trajectory is

y (t) = y_{0} + y_{1} t + \int_{0}^{t} (t - s) v (s) d s .

(10)

In this case, the goal of Pursuer P is to capture Evader E, i.e. to achieve the equation

x (t) = y (t)

. Evader E strives to avoid an encounter, i.e. to maintain the inequality

x (t) \neq y (t)

for all

t \geq 0

, and if this can’t be done, to delay the encounter time as long as possible.

ρ_{0} \geq 4 β | z_{0} |

, then the scalar function

Θ (t, v (\cdot)) = 1 - \frac{1}{| z_{0} |} \int_{0}^{t} (t - s) θ (v (s)) d s, t \geq 0,

(11)

is called the convergence function of the players in Pursuit Game.

Lemma 1.

Let

ρ_{0} \geq 4 β | z_{0} |

. Then:

a) for any

v (\cdot) \in V

the function

Θ (t, v (\cdot))

is monotonically decreasing in t,

t \geq 0

;

b) for all

t \in [0, T]

Θ^{*} (t) \leq Θ (t, v (\cdot)) \leq Θ^{* *} (t),

(12)

where

Θ^{*} (t) = 1 - \frac{θ_{2}}{2 | z_{0} |} t^{2}

and

Θ^{* *} (t) = 1 - \frac{θ_{1}}{2 | z_{0} |} t^{2}

Proof.

a) According to (7) and (11), we have

\frac{d Θ (t, v (\cdot))}{d t} = - \frac{1}{| z_{0} |} \int_{0}^{t} θ (v (s)) d s \leq - \frac{θ_{2}}{| z_{0} |} t < 0, t > 0 .

b) Clearly [35],

\begin{matrix} Θ (t, v (\cdot)) & \leq & 1 - \frac{1}{| z_{0} |} min_{v (\cdot) \in V} \int_{0}^{t} (t - s) θ (v (s)) d s \\ \leq & 1 - \frac{t^{2}}{2 | z_{0} |} min_{| v | \leq β} θ (v) = Θ^{* *} (t) . \end{matrix}

Also, from (7) we get

\begin{matrix} Θ (t, v (\cdot)) & \geq & 1 - \frac{1}{| z_{0} |} max_{v (\cdot) \in V} \int_{0}^{t} (t - s) θ (v (s)) d s \\ = & 1 - \frac{t^{2}}{2 | z_{0} |} max_{| v | \leq β} θ (v) = Θ^{*} (t) . \end{matrix}

This finishes the proof. □

Theorem 3.1.

ρ_{0} \geq 4 β | z_{0} |

, then Pursuer wins by using

Π

-strategy (6) on the time interval

[0, T]

, where

T = \sqrt{2 | z_{0} | / θ_{1}}

and

θ_{1}

is defined by (7).

Proof.

Let

v (\cdot)

be an arbitrary admissible control of Evader E, and let Pursuer P employ strategy (6). Then given (9), (10),

z (t) = x (t) - y (t)

x_{1} = y_{1}

, we have

z (t) = z_{0} + \int_{0}^{t} (t - s) [u (v (s)) - v (s)] d s, z (0) = z_{0} .

Taking into account (6) and (11) we obtain

z (t) = z_{0} Θ (t, v (\cdot)) .

(13)

Since in view of (12),

Θ (t, v (\cdot)) \leq Θ^{* *} (t)

and

Θ^{* *} (T) = 0

, we find that there exists time

t^{*} \in (0, T]

depending on

v (\cdot)

such that

Θ (t^{*}, v (\cdot)) = 0

. Hence, by virtue of (13) the desired result

z (t^{*}) = 0

, i.e.

x (t^{*}) = y (t^{*})

is obtained.

It remains only to verify that

Π

-strategy (6) is admissible for each

t \in [0, t^{*}]

. By (11)

Θ (t^{*}, v (\cdot)) = 0

implies that

\int_{0}^{t^{*}} (t^{*} - s) θ (v (s)) d s = | z_{0} |,

and so

\begin{matrix} \int_{0}^{t} (t - s) {| u (v (s)) |}^{2} d s & \leq & \int_{0}^{t^{*}} (t^{*} - s) {| u (v (s)) |}^{2} d s \\ = & η_{0} \int_{0}^{t^{*}} (t^{*} - s) θ (v (s)) d s = η_{0} | z_{0} | = ρ_{0} . \end{matrix}

Thus, strategy (6) is admissible. The proof of Theorem 3.1 is complete. □

Observe if

ρ_{0} \geq 4 β | z_{0} |

and Pursuer applies strategy (6) then, for all

t \in [0, t^{*}]

, for the function (5) by (8) we have

ρ (t) = Θ (t, v (\cdot)) ρ_{0} .

Indeed

\begin{matrix} ρ (t) & = & ρ_{0} - \int_{0}^{t} (t - s) η_{0} θ (v (s)) d s \\ = & ρ_{0} (1 - \frac{1}{| z_{0} |} \int_{0}^{t} (t - s) θ (v (s)) d s) = ρ_{0} Θ (t, v (\cdot)) . \end{matrix}

(14)

4. Evasion Game

In this section, an admissible control will be offered for Evader, to establish that T is the optimal time of pursuit.

Let Evader employ the following control

v^{*} (t) = - β ξ_{0}, ξ_{0} = \frac{z_{0}}{| z_{0} |} .

(15)

In accordance with equations (1)–(2), for an arbitrary

u (\cdot) \in U

and for the control

v^{*} (t)

, we get the following trajectories of the players:

x (t) = x_{0} + x_{1} t + \int_{0}^{t} (t - s) u (s) d s,

y (t) = y_{0} + y_{1} t + \int_{0}^{t} (t - s) v^{*} (s) d s .

We prove the following statement.

Theorem. 4.1.

a) If

ρ_{0} \geq 4 β | z_{0} |

, then Evader wins by control (15) in the interval

[0, T)

, where

T = \sqrt{2 | z_{0} | / θ_{1}}

b) If

ρ_{0} < 4 β | z_{0} |

, then Evader wins by control (15) in the time interval

[0, \infty)

and

| z (t) | = | y (t) - x (t) | \geq | z_{0} | - \frac{ρ_{0}}{4 β} .

Proof.

a) Let

ρ_{0} \geq 4 β | z_{0} |

. If Evader utilizes control (15), then for any control of Pursuer

u (\cdot) \in U

, in view of

x_{1} = y_{1}

, we have

z (t) = z_{0} + \int_{0}^{t} (t - s) u (s) d s - \int_{0}^{t} (t - s) v^{*} (s) d s .

By (15), we have

| z (t) | = |z_{0} + β ξ_{0} \int_{0}^{t} (t - s) d s + \int_{0}^{t} (t - s) u (s) d s|

\geq | z_{0} | + \frac{β}{2} t^{2} - \int_{0}^{t} (t - s) | u (s) | d s .

(16)

Applying the Cauchy-Schwartz inequality to the last integral in (16) we find

\int_{0}^{t} (t - s) | u (s) | d s \leq {(\int_{0}^{t} (t - s) d s)}^{1 / 2} {(\int_{0}^{t} (t - s) {| u (s) |}^{2} d s)}^{1 / 2} \leq \sqrt{\frac{ρ_{0}}{2}} t .

(17)

As a consequence of (16) and (17), we conclude that

| z (t) | \geq Γ (t), Γ (t) = \frac{β}{2} t^{2} - \sqrt{\frac{ρ_{0}}{2}} t + | z_{0} | .

(18)

It is not difficult to verify that the smallest positive root of the equation

Γ (t) = 0

is exactly T. Thus,

Γ (t) > 0

for all

t \in [0, T)

, and in consequence, it follows immediately from (18) that

| z (t) | > 0

on that time interval.

b) Suppose

ρ_{0} < 4 β | z_{0} |

. Then, we come to the estimation

| z (t) | \geq Γ (t)

again. It is obvious that

min_{t \geq 0} Γ (t) = | z_{0} | - ρ_{0} / (4 β) .

On account of the condition

ρ_{0} < 4 β | z_{0} |

, we get

Γ (t) > 0

for all

t \geq 0

, and therefore by (18) we see that

z (t) \neq 0

, i.e.

x (t) \neq y (t)

t \geq 0

. The proof is complete. □

5. Life-line game

The current section is devoted to investigate the dynamics of the attainability domain of Evader and the Life-line problem of R. Isaacs.

Let a non-empty and closed subset L of the space

R^{n}

be given. Here and subsequently, the area L is called the Life-line.

In the Life-line game L, Pursuer P intends to intercept Evader E, to accomplish

x (t_{*}) = y (t_{*})

at a finite time

t_{*} > 0

when Evader E is in

R^{n} ∖ L

. Evader E aims to get the area L maintaining the condition

x (t) \neq y (t)

t \geq 0

; and if there is no chance of doing this, then Evader E strives to maximize the moment of the encounter with Pursuer P. It should be noted that the area L doesn’t limit the motion of Pursuer P. Further, it is required that the conditions

x_{0} \neq y_{0}

and

y_{0} \notin L

are satisfied for the initial positions

x_{0}

and

y_{0}

Definition 7.

Π-strategy (6) is said to be winning on the time interval

[0, T]

in the Life-line game L, if, for Evader’s arbitrary control

v (\cdot) \in V

, there exists an instant

t_{*} \in [0, T]

such that:

x (t_{*}) = y (t_{*})

;

y (t) \notin L

at each

t \in [0, t_{*}]

Definition 8.

We say that Evader wins in the Life-line game L by a control

v (\cdot) \in V

if for every

u (\cdot) \in U

1) there exists some moment

\bar{t},

\bar{t} > 0,

that

y (\bar{t}) \in L

and

x (t) \neq y (t)

while

t \in [0, \bar{t});

x (t) \neq y (t)

for all

t \geq 0 .

In the theory of differential games, constructing the attainability domain of Evader in the Pursuit Game is considered as the main step to solve the game with a Life-line, and therefore we will first study the dynamics of the attainability domain.

ρ_{0} \geq 4 β | z_{0} |

in game (1)-(4), then Theorem 3.1 asserts that by virtue of

Π

-strategy (6) Pursuer is able to capture Evader. The players P and E will meet at various points according to the choice of the control

v (\cdot) \in V

Let

M (x, y, ρ)

be the set consisting of all points

μ

where Pursuer moving from the position x and consuming the resource

ρ

should encounter Evader moving from the position y, i.e.

M (x, y, ρ) = \{{μ : | μ - x |}^{2} \geq \frac{ρ}{β} | μ - y |\} .

When

ρ \neq β

, the set

M (x, y, ρ)

is bounded by the curve

\partial M (x, y, ρ) = \{{μ : | μ - x |}^{2} = \frac{ρ}{β} | μ - y |\} .

(19)

Set (19) in the plane is Descartes’ Oval or Pascal’s Snail [36].

Next, let Pursuer hold

Π

-strategy (6) while Evader employs arbitrary control

v (\cdot) \in V

. Then

t^{*}

0 < t^{*} \leq T

is players’ meeting time, i.e.

x (t^{*}) = y (t^{*})

. Then for each triad

(x (t), y (t), ρ (t))

t \in [0, t^{*}]

, we build the following sets:

M (x (t), y (t), ρ (t)) = \{{μ : | μ - x (t) |}^{2} \geq \frac{ρ (t)}{β} | μ - y (t) |\},

(20)

M (x_{0}, y_{0}, ρ_{0}) = \{μ : | μ - x_{0} |^{2} \geq \frac{ρ_{0}}{β} | μ - y_{0} |\} .

(21)

We can now formulate the following essential statement for the set (20).

Lemma 2.

Let Pursuer apply strategy (6). Then, for any

v (\cdot) \in V

M (x (t), y (t), ρ (t)) = x (t) + Θ (t, v (\cdot)) [M (x_{0}, y_{0}, ρ_{0}) - x_{0}], t \in [0, t^{*}] .

(22)

Proof.

By the set (20) it can be seen that the relation

μ \in M (x (t), y (t), ρ (t)) - x (t)

is identical to

{| μ |}^{2} \geq \frac{ρ (t)}{β} | μ + z (t) | .

(23)

Clearly, it suffices to analyse (23) for

t \in [0, t^{*})

when

Θ (t, v (\cdot)) > 0

. As

z (t) = z_{0} Θ (t, v (\cdot))

, where

Θ (t, v (\cdot))

is defined by (11), in view of (14) we rewrite (23) in the form

{|Θ^{- 1} (t, v (\cdot)) μ|}^{2} \geq \frac{ρ_{0}}{β} |Θ^{- 1} (t, v (\cdot)) μ + z_{0}| .

From this we infer

Θ^{- 1} (t, v (\cdot)) μ \in M (x_{0}, y_{0}, ρ_{0}) - x_{0},

or, equivalently,

μ \in Θ (t, v (\cdot)) [M (x_{0}, y_{0}, ρ_{0}) - x_{0}] .

Accordingly, we arrive at the equation

\begin{matrix} M (x (t), y (t), ρ (t)) - x (t) & = & \{{μ : | μ |}^{2} \geq \frac{ρ_{0}}{β} | μ + z_{0} |\} \\ = & Θ (t, v (\cdot)) [M (x_{0}, y_{0}, ρ_{0}) - x_{0}], \end{matrix}

which is the desired result. The proof is complete. □

Lemma 3.

The multi-valued mapping

M (x (t), y (t), ρ (t)) - t x_{1}

t \in [0, t^{*}]

, is monotonically decreasing with respect to the inclusion, i.e. if

t_{1}

t_{2} \in [0, t^{*}]

and

t_{1} < t_{2}

, then

M (x (t_{1}), y (t_{1}), ρ (t_{1})) - t_{1} x_{1} \supset M (x (t_{2}), y (t_{2}), ρ (t_{2})) - t_{2} x_{1}

Proof.

By virtue of (6) and (8), for any

v (\cdot) \in V

we have

{|v (t) - θ (v (t)) ξ_{0}|}^{2} = η_{0} θ (v (t)) .

Hence in accordance with (4),

{|v (t) - θ (v (t)) ξ_{0}|}^{2} \geq \frac{η_{0} | v (t) |}{β} θ (v (t)) .

(24)

Multiplying both sides of (24) by

| z_{0} |^{2} / θ^{2} (v (t))

and using

η_{0} = ρ_{0} / | z_{0} |

, yields

{|(\frac{v (t) | z_{0} |}{θ (v (t))} + y_{0}) - x_{0}|}^{2} \geq \frac{ρ_{0}}{β} |(\frac{v (t) | z_{0} |}{θ (v (t))} + y_{0}) - y_{0}| .

From this letting

μ = \frac{v (t) | z_{0} |}{θ (v (t))} + y_{0}

we obtain (21), and so

\frac{v (t) | z_{0} |}{θ (v (t))} + y_{0} \in M (x_{0}, y_{0}, ρ_{0}),

hence

v (t) | z_{0} | + θ (v (t)) y_{0} \in θ (v (t)) M (x_{0}, y_{0}, ρ_{0}) .

(25)

For arbitrary

ψ \in R^{n}

| ψ | = 1

, the multi-valued mapping

M (x (t), y (t), ρ (t))

has the support function

F (M (x (t), y (t), ρ (t)), ψ) = sup_{μ \in M (x (t), y (t), ρ (t))} 〈 μ, ψ 〉 .

Due to the properties of the support function

F (M (x (t), y (t), ρ (t)), ψ)

(see, Property 6 in [37]), the relation (25) implies that

〈 v (t) | z_{0} |, ψ 〉 - θ (v (t)) F (M (x_{0}, y_{0}, ρ_{0}) - y_{0}, ψ) \leq 0,

and so

〈 v (t), ψ 〉 - \frac{1}{| z_{0} |} θ (v (t)) F (M (x_{0}, y_{0}, ρ_{0}) - y_{0}, ψ) \leq 0

(26)

for all

ψ \in R^{n}

| ψ | = 1

By integrating both sides of (26) over

[0, t]

and by the properties of the support function (see, Theorem 2 in [37]) we find

〈\int_{0}^{t} v (s) d s, ψ〉 - \frac{1}{| z_{0} |} \int_{0}^{t} θ (v (s)) d s F (M (x_{0}, y_{0}, ρ_{0}) - y_{0}, ψ) \leq 0 .

(27)

We use (6), (9), (11), (22) to calculate the derivative of

F (M (x (t), y (t), ρ (t)), ψ)

with t:

\begin{matrix} \frac{d}{d t} F (M (x (t), y (t), ρ (t)), ψ) \\ = \frac{d}{d t} F (x_{0} + x_{1} t + \int_{0}^{t} (t - s) u (v (s)) d s + Θ (t, v (\cdot)) [M (x_{0}, y_{0}, ρ_{0}) - x_{0}], ψ) \end{matrix}

To transform the right hand side, we use the property of support function and equation (11)

\begin{matrix} 〈 x_{1}, ψ 〉 + 〈\int_{0}^{t} u (v (s)) d s, ψ〉 - (\frac{1}{| z_{0} |} \int_{0}^{t} θ (v (s)) d s) F (M (x_{0}, y_{0}, ρ_{0}) - x_{0}, ψ) \\ = 〈 x_{1}, ψ 〉 + 〈\int_{0}^{t} (v (s) - θ (v (s)) ξ_{0} d s, ψ〉 - (\frac{1}{| z_{0} |} \int_{0}^{t} θ (v (s)) d s) F (M (x_{0}, y_{0}, ρ_{0}) - x_{0}, ψ) . \end{matrix}

In view of

z_{0} = y_{0} - x_{0}

this expression takes the form

\begin{matrix} 〈 x_{1}, ψ 〉 + 〈\int_{0}^{t} v (s) d s, ψ〉 - (\frac{z_{0}}{| z_{0} |} \int_{0}^{t} θ (v (s)) d s, ψ) \\ - (\frac{1}{| z_{0} |} \int_{0}^{t} θ (v (s)) d s) F (M (x_{0}, y_{0}, ρ_{0}) - x_{0}, ψ) \\ = 〈 x_{1}, ψ 〉 + 〈\int_{0}^{t} v (s) d s, ψ〉 - (\frac{1}{| z_{0} |} \int_{0}^{t} θ (v (s)) d s) F (M (x_{0}, y_{0}, ρ_{0}) - y_{0}, ψ) . \end{matrix}

Thus,

\begin{matrix} \frac{d}{d t} F (M (x (t), y (t), ρ (t)), ψ) & = 〈 x_{1}, ψ 〉 + 〈\int_{0}^{t} v (s) d s, ψ〉 \\ - (\frac{1}{| z_{0} |} \int_{0}^{t} θ (v (s)) d s) F (M (x_{0}, y_{0}, ρ_{0}) - y_{0}, ψ), \end{matrix}

and so, for any

ψ \in R^{n}

| ψ | = 1

, by (27)we get

\frac{d}{d t} F (M (x (t), y (t), ρ (t)) - t x_{1}, ψ) \leq 0

which completes the proof of Lemma 3. □

Lemma 3 plays the key role in proving the following statements.

Corollary 1.

It can be directly inferred from Lemma 3 that:

M (x (t), y (t), ρ (t)) \subset M (x_{0}, y_{0}, ρ_{0}) + t x_{1}

at each

t \in [0, t^{*}]

;

y (t) \in M (x_{0}, y_{0}, ρ_{0}) + t x_{1}

for all

t \in [0, t^{*}]

We call the set

M^{*} (x_{0}, y_{0}, ρ_{0}, T) = ⋃_{t = 0}^{T} \{M (x_{0}, y_{0}, ρ_{0}) + t x_{1}\}

the attainability domain of the Evader in the Pursuit Game.

Theorem 5.1.

Suppose

ρ_{0} \geq 4 β | z_{0} |

and

M^{*} (x_{0}, y_{0}, ρ_{0}, T) \cap L = ⌀

. Then

Π

-strategy (6) is winning on the time interval

[0, T]

in the the Life-line game L, where

T = \sqrt{2 | z_{0} | / θ_{1}}

Proof.

The proof immediately follows from Theorem 3.1, Lemma 3 and Corollary 1. □

Theorem 5.2.

Let

ρ_{0} < 4 β | z_{0} |

. Then there exists a control

v (\cdot) \in V

guaranteeing that the Evader wins in the Life-line game L.

Proof.

The proof follows directly from Theorem 4.1. □

6. Conclusion

In the present paper, we have discussed the pursuit-evasion games of one inertial Pursuer and one inertial Evader with integral and geometrical constraints on the controls, respectively.

In the Pursuit Game, we have defined the

Π

-strategy for Pursuer, and we have found the sufficient solvability condition of pursuit. In addition, we have demonstrated that the

Π

-strategy is optimal, i.e. Evader, using the control

v^{*} (t)

, remains uncaught by the guaranteed capture time T. In the Evasion Game, we have obtained the sufficient solvability condition of escape by the control

v^{*} (t)

of Evader.

Moreover, the attainability domain of Evader

M^{*} (x_{0}, y_{0}, ρ_{0}, T)

in the Pursuit Game has been constructed. For the case

M^{*} (x_{0}, y_{0}, ρ_{0}, T) \cap L = ⌀

(see Theorem 5.1) the sufficient solvability condition of the Life-line game for Pursuer has been determined, but for the case

M^{*} (x_{0}, y_{0}, ρ_{0}, T) \cap L \neq ⌀

the Life-line game is an open problem.

References

Isaacs, R. Differential games. John Wiley and Sons, New York (1965).
Pontryagin, L.S. Izbrannye trudy. MAKS Press, Moscow (2004).
Krasovskii, N.N. Control of a dynamical system. Nauka, Moscow (1985).
Pshenichnii, B.N. Simple pursuit by several objects. Cybernetics and System Analysis. 12 (5), 484-485 (1976).
Chikrii, A.A. Conflict-Controlled Processes. Kluwer, Dordrecht (1997).
Petrosjan, L.A. Differential games of pursuit. Series on optimization. Vol.2. World Scientific Publishing, Singapore (1993).
Azamov, A. On the quality problem for simple pursuit games with constraint, Serdica Bulgariacae math. Publ.Sofia 12 (1), 38-43 (1986).
Azamov, A. On an alternative for pursuit-evasion games in an infinite time interval. Journal of Applied Mathematics and Mechanics. 50 (4), 428-432 (1986).
Munts, N.V. , Kumkov S.S. Numerical method for solving time-optimal differential games with lifeline. Mat. Teor. Igr Pril. 10 (3), 48-75 (2018).
Munts, N.V. , Kumkov S.S. On the Coincidence of the Minimax Solution and the Value Function in a Time-Optimal Game with a Lifeline. Proc. Steklov Inst. Math. 305, 125-139 (2019).
Samatov, B.T. , Soyibboev U.B. Differential game with a lifeline for the inertial movements of players, Ural Mathematical Journal. 7 (2), 94-109 (2021).
Samatov, B.T. , Ibragimov G.I, Khodjibayeva I.V. Pursuit-evasion differential games with the Grönwall type constraints on controls. Ural Mathematical Journal. 5 (1), 1-13 (2019).
Samatov, B.T. , Horilov M.A., Akbarov A.Ah. Differential game: "Life line" for non-stationary geometric constraints on controls. Lobachevskii Journal of Mathematics. 43 (1), 237-248 (2022).
Ibragimov, G.I. Optimal pursuit time for a differential game in the Hilbert space l2. ScienceAsia. 39S, 25-30 (2013).
Ivanov, R.P. , Ledyaev Yu.S. Time optimality for the pursuit of several objects with simple motion in a differential game. Proc. Steklov Inst. Math. 158, 93-103 (1983).
Kornev, D.V. , Lukoyanov N.Yu. On a minimax control problem for a positional functional under geometric and integral constraints on control actions. Proc. Steklov Inst. Math. 293, 85-100 (2016).
Dar’in, A. N, Kurzhanskii A.B. Control Under Indeterminacy and Double Constraints. Differential Equations. 39 (11) 1554-1567 (2003).
Belousov, A.A. Method of resolving functions for differential games with integral constraints. Theory of Optimal Solution. 9, 10-16 (2010).
Chikrii, A.A. , Belousov A.A. On linear differential games with convex integral constraints. Trudy Inst. Mat. i Mekh. UrO RAN, 19(4), 308-319 (2013).
Satimov, N.Yu. , Rikhsiev B.B., Khamdamov A.A. On a pursuit problem for n-person linear differential and discrete games with integral constraints. Mathematics of the USSR-Sbornik. 46 (4), 459—471 (1983).
Azamov, A.A. , Samatov B.T. The Π-Strategy: Analogies and Applications, The Fourth International Conference Game Theory and Management, St. Petersburg 4, 33-47 (2010).
Mamadaliev, N.A. The Pursuit Problem for Linear Games with Integral Constraints on Players’ Controls. Russ Math. 64, 9-24 (2020).
Mamadaliev, N. On the pursuit problem for linear differential games with distinct constraints on the players’ controls. Diff. Equat. 48, 867-880 (2012).
Mamadaliev, N. On a pursuit problem with integral constraints on the players’ controls. Sib Math J. 55, 107-124 (2015).
Samatov, B.T. The pursuit-evasion problem under integral-geometric constraints on pursuer controls. Autom. Remote Control. 74 (7), 1072-1081 (2013).
Samatov, B.T. The Π-strategy in a differential game with linear control constraints, J.Appl.Maths and Mechs. 78 (3) 258-263 (2014).
Samatov, B. T, Juraev B.I. Pursuit-evasion problems with a constraint for energy expenditure of velocity. Uzbek Mathematical Journal. 66 (4), 145-15 (2022).
Samatov, B. T, Juraev B.I. Pursuit-evasion problems under nonlinear increase of the pursuer’s resource. Trudy Instituta Matematiki i Mekhaniki UrO RAN. 28 (3), 285-295 (2022).
Samatov, B.T. , Horilov M.A., Juraev B.I. Π, 2023. [Google Scholar]
Ibragimov, G.I. , Ferrara M., Ruziboev M., Pansera B.A. Linear evasion differential game of one evader and several pursuers with integral constraints. International Journal of Game Theory. 50, 729–750 (2021).
Kuchkarov, A. Sh, Ibragimov G.I., Ferrara M. Simple motion pursuit and evasion differential games with many pursuers on manifolds with Euclidean metric. Discrete Dynamics in Nature and Society. ID 1386242 (2016).
Ibragimov, G. I, Kuchkarov A.Sh. Fixed duration pursuit-evasion differential game with integral constraints. Journal of Physics: Conference Series. 435 (012017), 1-12 (2013).
Ibragimov G.I., Salleh Y. Simple motion evasion differential game of many pursuers and one evader with integral constraints on control functions of players. Journal of Applied Mathematics. Article ID 748096 (2012).
Ibragimov G.I. Evasion Differential Game of One Evader and Many Slow Pursuers. Dynamic games and applications. 2023.
Alekseev, V.M. , Tikhomirov V.M., Fomin S.V. Optimal’noye upravleniye. Nauka, Moscow. (1979).
Azamov A.A., Samatov B.T. Π-Strategy, Tashkent: NUUz. (2000).
Blagodatskikh, V.I. Introduction to Optimal Control. Moscow: Vysshaya Shkola. (2001).

Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).

Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.