Abstract

We consider pursuit and evasion differential games of a group of pursuers and one evader on manifolds with Euclidean metric. The motions of all players are simple, and maximal speeds of all players are equal. If the state of a pursuer coincides with that of the evader at some time, we say that pursuit is completed. We establish that each of the differential games (pursuit or evasion) is equivalent to a differential game of groups of countably many pursuers and one group of countably many evaders in Euclidean space. All the players in any of these groups are controlled by one controlled parameter. We find a condition under which pursuit can be completed, and if this condition is not satisfied, then evasion is possible. We construct strategies for the pursuers in pursuit game which ensure completion the game for a finite time and give a formula for this time. In the case of evasion game, we construct a strategy for the evader.

1. Introduction

Multiplayer differential games are natural extension of two-person differential games. New methods of solution for the games of many players were proposed in many works such as [17]. The main problem for such games is to find conditions of evasion or completion of pursuit and construct strategies of players as well.

Pursuit and evasion differential games of many players attract attention of many researchers. The case when all players have equal dynamic possibilities [8] proved to be an alternative: if the initial position of the evader belongs to the interior of convex hull of the initial positions of the pursuers, then pursuit problem is solvable; else evasion problem is solvable. This work was extended by many researchers such as [2, 3, 6, 9]. It should be noted that one of the main methods for solving differential games of many pursuers and one evader is the method of resolving functions developed by Pshenichnii et al. [6].

In the evasion game with many pursuers studied by Chernous’ko [1], it was shown that an evader whose speed is bounded by 1 can, by remaining in a neighborhood of a given motion, avoid an exact contact with any finite number of pursuers whose speeds are bounded by a number less than 1. Later on, this result was extended by Zak [10]. The work [11] presented a sufficient condition of existence of evasion strategy in the game of many pursuers in the plane.

In differential games of many pursuers studied by Ivanov and Ledyaev [12], Ibragimov [13], Ibragimov and Rikhsiev [14], Ibragimov and Salimi [15], and Ibragimov et al. [16], optimal strategies of players were constructed.

In the real control systems, the state constraints occur and they are given usually in the form of equalities and inequalities. For example, the works [17, 18] study control problems with state constraints of equality type and [19] does properties of shortest curves in the domain described by equality and inequality type of constraints.

In differential games, mainly two types of state constraints are considered. According to the first constraint a player moves within a given set, and according to the second one it moves along a submanifold of the state space.

In pursuit-evasion differential games, the state constraint can be imposed on the states of pursuers or evaders separately. In the papers [20, 21], the Isaacs method was applied to study the simple motion pursuit differential games of one pursuer and one evader on two-dimensional Riemannian manifolds. In [22], the problem of evasion of one evader from many pursuers was studied on a hypersurface in .

In the works [2325] devoted to generalized “Lion and Man” differential game of Rado, the evader moves along a given absolutely continuous curve and the pursuer moves in the space. In the case where the evader’s speed is greater than that of the pursuer, an evasion strategy was constructed, which enables us to estimate from below the distance between players. If the maximal speeds of the players are equal and the curve does not intersect itself, necessary and sufficient conditions of completion of pursuit from a given initial position as well as from all the initial positions [25] were obtained.

Simple motion pursuit and evasion differential games studied in [26] occur in a ball of the Riemannian manifold, and all players have the same dynamic possibilities. The pursuers move in the ball, and with respect to the motion of the evader two cases were considered: in the first case, the evader moves on the sphere of the ball, and in the second case, the evader also moves in the ball. For each case, sufficient conditions of both completion of pursuit and evasion were obtained.

In the games of many pursuers and many evaders studied in [5, 7, 27], all of the evaders are controlled by one controlled parameter, but pursuers have different control parameters. By definition, game is said to be completed if the state of a pursuer coincides with that of an evader at some time. In these papers, sufficient conditions of completion of pursuit were obtained. In the work [28], a simple motion evasion game of many pursuers and many evaders was studied under integral constraints on controls of players.

In the present paper, we deal with the manifolds, each point of which has a neighborhood isometric to a region of Euclidean space; in other words, the Riemannian metric at each point of the manifold, in a local coordinate system, is expressed as Euclidean one. Such manifolds are called ones with Euclidean metric or ones locally isometric to Euclidean space [29, 30]. For example, two-dimensional manifolds locally isometric to Euclidean space are only plane, cylinder, torus, Mobius strip, and the Klein bottle. Note that a differential game of optimal approach [31] was studied on such manifolds, where duration of the game is fixed, and payoff of the game is distance between the players when the game is terminated. We will study, however, pursuit and evasion differential games of many pursuers and one evader on manifolds with Euclidean metric. Maximal speeds of all players are assumed to be identical. We find a condition on initial positions of players under which pursuit problem is solvable. If this condition is not satisfied, then we show that evasion problem is solvable.

To solve the pursuit or evasion differential game of pursuers and one evader on manifold with Euclidean metric, we first reduce the game to an equivalent one in Euclidean space , where a group of countably many pursuers , , and group of countably many evaders correspond to each pursuer and evader , respectively. Each group of players is controlled by one control parameter. In the new game in , if at some , and , then game is completed; otherwise evasion is possible. At first glance, the condition seems to be the condition for completing pursuit. It turns out that this condition does not guarantee that pursuit can be completed in the game on . We obtain another condition (see Theorem 10), which is necessary and sufficient condition of completion of pursuit on manifolds with local Euclidean metric.

2. Statement of Problem

Let be , dimensional manifold with positive defined symmetric bilinear form on the tangent space at the point , and let be the norm defined bywhere is inner product in ; the matrix , called metric tensor, defines the Riemannian metric on the manifold , which becomes identity matrix at each point of the manifold in a local coordinate system; that is, is a manifold with local Euclidean metric.

The motion of a group of pursuers and one evader are described on the manifold by the following equations:where , , , , and , are control parameters,

Definition 1. Borel measurable functions and , , are called controls of the evader and pursuer , , respectively, if for the solutions and of initial value problems,the following inequalities,and inclusions,hold true for almost all , .

In the tangent space , denote the ball of radius centered at by .

Definition 2. A function ,is called a strategy of the group of the pursuers if for any control of the evader the following initial value problem,has a unique absolutely continuous solution on . The function is referred to as the trajectory of the pursuer generated by the triple: the strategy , initial position , and control

Definition 3. A function is called a strategy of the evader
Let be a partition of the interval . The trajectory of the evader generated by the controls of pursuers , a strategy of the evader , initial position , and partition is defined as follows:(1)At each time , we define a unit vector,and construct a geodesic such that(note that such a geodesic exists and is unique [29]).(2)The trajectory is defined as the solution of initial value problem

Thus, strategy of the group of pursuers is defined as a contrstrategy, and corresponding motion is the solution of the initial value problem, whereas strategy of the evader is defined as a positional (closed loop) strategy, and corresponding to it trajectory of the evader is defined as a stepwise motion [32].

The problems of the players are as follows.

Problem 4 (pursuit problem). For each initial position , find a number and function (strategy) such that pursuit can be completed for time ; that is, for any control of the evader , solution of system (7) satisfies the equation at some and

Problem 5 (evasion problem). For any initial position , , construct a function (strategy) and find a partition such that evasion is possible; that is, for any controls of the pursuers , the trajectories generated by the controls , strategy , partition , and initial position satisfy the inequality for all and

3. An Equivalent Game in Euclidean Space

We first reduce game (2), (4), (5), (7), and (10) on manifold to a specific one in Euclidean space by unfolding in [29, 30]. Such unfolding can be conducted by the multivalued mapping which is inverse to the universal covering that is local isometry. If itself is not Euclidean space and , then the set of its preimages consists of the class of denumerable points equivalent to each other: .

Thus, game (2), (4), (5), (7), and (10) is reduced to a game in Euclidean space in which groups of pursuers , , consisting of countably many pursuers try to capture the group of the evaders . All members of each group have the same control parameter.

Dynamics of the groups of pursuers and evaders are described by the following equations:where ; for all , ; and are the control parameters of the groups of pursuers and group of evaders, respectively, which satisfy the constraints

Controls, strategies of the groups of pursuers and group of evaders, trajectories generated by the initial position, strategies of pursuers, and control of evaders (or vice versa) are defined as in Definitions 2 and 3.

We say that pursuit can be completed ifIn the differential game (11)-(12), the task of groups of pursuers is to assure equality (13) and that of the group of evaders is the opposite.

Show that games (2), (4), (5), (7), (10), and (11)-(12) are equivalent. Let be a trajectory of the evader on corresponding to some control function , . Then , , is a family of trajectories in . Since is a local isometry and , then , . Also note that . Hence, for given , , there is a unique vector , , such that , . The same conclusion can be drawn for the pursuers.

Note that (13) is equivalent to the equation in , and, hence, it is equivalent to the equation on manifold . Thus, differential game (2), (4), (5), (7), and (10) of pursuers and evader on manifold is equivalent to game (11)-(12) of groups of countably many pursuers , , and a group of countably many evaders in , where each group is controlled by one control parameter.

4. Properties of the Multivalued Mapping

The multivalued mapping has the following properties [29, 30]:(1) maps the straight lines (i.e., geodesics) on manifold to a family of parallel straight lines in .(2)If , , then(3)There exists a positive number such that

LetThen the properties of mapping mentioned above imply the following statement.

Lemma 6. The following statements hold true:(1)For any and , inclusion holds.(2)There exists a number such that, for any , the ball , contains at least one point of the set , (3) is a subspace of . Moreover, if is a compact set, then

Proof. (1) Let and . Then, for any , we obtain from (16) that ; that is, . Therefore .
(2) Without loss of generality, we assume that and . Then contains a linearly independent set of vectors, say . Denote the -dimensional prism constructed on the vectors by . Since , therefore by (14) and (16) we obtain . Cover the set by and prisms that can be obtained by parallel translation of . In view of (16), vertices of these prisms belong to . This implies, in particular, that is a -dimensional subspace of . To prove part (2) of lemma it suffices to put .
(3) If is a compact set, then there is a bounded set of nonempty interior such that is one-to-one [29]. Since can be represented as a union of and the bounded sets, , which can be obtained by parallel translation of and whose interiors are disjoint [29], therefore, for any , each of the compact sets , , contains only one element of . This implies that , which is the desired conclusion.

We now study some examples to illustrate the set .

Example 7. Let be a plane. Then, clearly, .

Example 8. Letthat is, is two-dimensional cylinder in . Then [30], for some ,where is the set of integers. It is obvious that the set is a straight line. Here, the number mentioned in Lemma 6 can be any number not less than .

Example 9. Let now be two-dimensional torus , where is a unit circle; then [30]where and are some numbers in . Therefore, is a plane and the number mentioned in Lemma 6 can be, for example,

5. Main Result

We now formulate the main result of the present paper.

Theorem 10. (i) If there exist points,and number such thatthen pursuit can be completed in game (11)-(12) (and hence in game (2), (4), (5), (7), and (10)) for the time:where(ii) If for any set with , , and for any number , inclusion (21) fails to hold; then evasion is possible in game (11)-(12) (and hence in game (2), (4), (5), (7), and (10)).

It should be noted that condition (21) implies that and .

Proof. Part I. It follows from condition (14) that if for a number there exists a set to satisfy (21), then for each such a set exists as well. Therefore, from now on, one writes and instead of and , respectively. This means that the group of evaders consists of only one evader.
Assume that there exists a set with , , satisfying inclusion (21). Without loss of generality, we may assume that , .
Let be an arbitrary control of the evader. Let the pursuers use the strategy of parallel approach [33]:Analysis similar to [8] shows that pursuit can be completed for time .
Part II. We now turn to the case, where there is no set with , , to satisfy (21). We need to consider the following two cases.
Case  1 (). In this case, observe that and inclusion (21) fails to hold for any set ; , .
For simplicity of notation, we denote the -tuple by . SetFrom now on, we assume that the number satisfies inequalities (15) for all , . It follows from inequality (15) that, for each , the set contains not more than one element of the set . Therefore, for any , the number of elements of the set does not exceed
Let the partition be defined by numbers . Define the strategy of the evader by requiring conditionsSince the set is finite, in (26) attains. In view of , we conclude that must satisfy inequalityLet be any controls of the groups of pursuers, and let , , , be the trajectories generated by these controls, initial positions, strategy , and partition We shall have established the theorem if we prove the following statement: if the inequalities , , , hold for all , then they hold true for all , , as well (recall ). Then, clearly, , for all , , and
Let . Then (27) implies thatand so the greatest (nonacute) angle of the triangle with vertices , , and is at the vertex Therefore,This inequality and (12) now giveWe can now turn to the case . For , first using the triangle inequality and then (12), (25), and (26), we getInequalities (30) and (31) show that for any location of the inequality , holds. In a similar way, one can prove that , , for all . This is our assertion in the case .
Case  2 (). Let (see (16)). If and , then it is not difficult to verify using the second statement of Lemma 6 that there exists a set,to satisfy inclusion (21). Therefore, if and for any set with , then necessarily . Thus, it remains to study the case where and .
Denote by the orthogonal complement of the subspace and by the orthogonal projection operator. Then, clearly, and it follows from (14) that the set , , consists of a unique point. Therefore, we denoteShow that the following inclusion,fails to hold in the subspace , where the operations int and conv act on the subspace . Assume the contrary; let (34) hold.
It follows from condition (14) that if for a number there exists a set to satisfy (21), then for each also such a set exists. Therefore, from now on, one writes and instead of and , respectively. This means that group of evaders consists of only one evader.
Since and , then in view of (34) the point belongs to convex hull of some points from . Without loss of generality, we assume thatin the subspace .
Next, let be a unit vector, and let be a positive number. Choose linearly independent set of vectors , , so that . Construct the coneand its conjugateSince the set of vectors is linearly independent, therefore these cones have nonempty interiors. Observe that and It follows from inclusions , and statement (2) of Lemma 6 that the sethas infinitely many elements. Choose a vector from this set. Then by construction of the cones and in view of (35) we haveBy hypothesis of the theorem there is no set with , , to satisfy (21), a contradiction.
Thus, (34) does not hold, and soFrom this it follows that there exists a unit vector such thatLet the evader use the constant control , We conclude from (41) that, for any , , and , the greatest angle of the triangle with vertices , and is at the vertex . This givesNext, by the restriction , we obtainFrom the last two relations we obtain for all , , and , and the proof is complete.

Remark 11. Obviously, if , inclusion (21) fails to hold. In this case, by Theorem 10, evasion is possible from any initial points. In addition, in the proof of this statement, we have used only inequality (15), and other properties of multivalued mapping have not been used. Therefore, if , then evasion is possible in the game of type (11)-(12) from any initial points that satisfy (15).

It should be noted that condition (21) of Theorem 10 is fairly easy to check. In the following example, we give conditions which are equivalent to condition (21).

Example 12. Let be the cylinder given in Example 8. Then in view of (18) one can verify that condition (21) is equivalent to the following inequalities:

Next, in the case where the set is compact, by Lemma 6, and there exists a number such that each ball of radius in contains at least one point of the set , Therefore, if , inclusion (21) holds. According to this property, we obtain the following corollary of Theorem 10:

Corollary 13. If is a compact set and , then, for any initial position of the players , , , there exists a positive number such that pursuit can be completed for time .

Remark 14. Condition (21) is equivalent to the following one: there exist geodesics such that , , and the inclusionholds in the tangent space . Note that such geodesics, in general, are not unique.

6. Conclusion

We have studied pursuit and evasion differential games of pursuers and one evader on manifolds with Euclidean metric. The following are our main contributions:(1)We have proposed a method of reduction of simple motion differential game with many pursuers and one evader on a class of manifolds (e.g., cylinder and torus) to an equivalent differential game in , which contains groups of countably many pursuers, , , and one group of countably many evaders, .(2)We have obtained necessary and sufficient condition of evasion in the equivalent game. It should be noted that even though the condition , ; , for some positive integer , is more similar to the condition of Pshenichnii [8] than condition (21), it is not sufficient for completion of pursuit in the game.(3)If condition (21) is not satisfied, we have constructed an evasion strategy and proved that evasion is possible. Note that many researchers (see, e.g., Pshenichnii [8] and Grigorenko [3]) suggested to the evader a constant velocity depending on initial positions of players, which guarantees the evasion in . In the game we studied, evasion using constant velocity does not work. In general, the evader will be captured if it moves with constant velocity. Evasion strategy used in the present paper depends on current positions of players and requires a specific construction.

Competing Interests

The authors declare that they have no competing interests.