Abstract

We consider an evasion differential game of many pursuers and one evader with integral constraints in the plane. The game is described by simple equations. Each component of the control functions of players is subjected to integral constraint. Evasion is said to be possible if the state of the evader does not coincide with that of any pursuer. Strategy of the evader is constructed based on controls of the pursuers with lag. A sufficient condition of evasion from many pursuers is obtained and an illustrative example is provided.

1. Introduction

1.1. Related Works

Among a large number of papers devoted to differential games with integral constraints (see, e.g., [114]), a few works are dedicated to evasion games with integral constraints (see, e.g., [1, 4, 7, 12]). Note that integral constraints arise if we consider constraints on energy, resources, and so forth. In [1], an evasion differential game was considered. In the paper [1], the dynamics of the object is given by the equation where is a constant matrix, and and are control parameters of the pursuer and evader, respectively. The control functions and of the pursuer and evader, respectively, are defined as measurable functions satisfying conditions The terminal set is a subspace of . By definition evasion is possible if . In this work Pontryagin’s method was extended to the evasion game with integral constraints and sufficient conditions of evasion from any initial position were obtained.

In [4], a differential game described by (1.1) was studied. The control functions and satisfy conditions (1.2). Evasion is said to be possible if , where , are subspaces of . The pursuers’ purpose is to take the point onto the terminal set ; the evader's one, to guarantee evasion from the set . By definition, -escape is possible if for some function . Sufficient conditions for -escape were obtained.

In the book [12] (chapter 11), linear evasion differential game with integral constraints was examined. The game is described by the equation where , and are constant matrices and and are control parameters of the pursuer and evader, respectively. The control functions and of the pursuer and evader are subjected to the conditions (1.2). The terminal set is a subspace of . By definition evasion is possible if . Some sufficient conditions of evasion were obtained.

In [5], a differential game of countably many pursuers and one evader is described by the following infinite system of differential equations: which was studied in the Hilbert space , where is the control parameter of th pursuer, , and is that of the evader. The control functions of the players are subject to integral constraints Avoidance of contact is said to be possible in the game with the initial position , if , for all and . It was proven that if , then avoidance of contact is possible in the game from any initial position .

The work [7] deals with the evasion differential game of pursuers and one evader described by equations The game occurs in the plane and the following conditions: are imposed on control functions of the players. The main result of the paper is as follow: if , then evasion is possible. The important point to note here is the fact that if , then pursuit can be completed [13].

It should be noted that in all of these works, an integral constraint was imposed on the whole control function of each player, such as However, in contrast to other works, in the present paper, we study a differential game with integral constraints imposed on each coordinate of control functions (see the constraints (1.12)-(1.13)).

At first glance, the inequalities seem to be the conditions for completing pursuit. It turns out, as shown in the example, evasion is possible from some initial positions even though these inequalities hold.

1.2. Statement of the Problem

In , we consider an evasion differential game of many pursuers and one evader described by the equations and assume that .

Definition 1.1. A measurable function is called an admissible control of the pursuer if where are given positive numbers.

Definition 1.2. A measurable function , is called an admissible control of the evader if where and are given positive numbers.

Definition 1.3. A function of the form is called a strategy of the evader, where is a positive number, is a continuous function, and are admissible controls of the pursuers.

Definition 1.4. We say that evasion is possible from the initial position in the game (1.10)–(1.13) if there exists a strategy of the evader such that , , for any admissible controls of the pursuers.

We can now state the evasion problem.

Problem 1. Find conditions for all initial positions and parameters , , which guarantee evasion in the game (1.10)–(1.13).

This is the main problem to be investigated in the present paper. It should be noted that, in the evasion game, the pursuers use arbitrary admissible controls , , and the evader uses a strategy. By Definition 1.3 this strategy is constructed based on values .

After the proof of the main result (Theorem 2.1) we will give illustrative examples. For the initial positions, which do not satisfy hypotheses of the theorem, we will show that pursuit can be completed. Therefore, at first we have to give a definition for “pursuit can be completed”. To this end we need to define strategies of the pursuers.

Definition 1.5. A Borel measurable function is called a strategy of the pursuer if for any control of the evader and the inequalities hold.

Definition 1.6. We say that pursuit can be completed from the initial position in the game (1.10)–(1.13) if there exist strategies of the pursuers , such that for any admissible control of the evader the equality holds at some and .
Note that in the pursuit game, the pursuers use strategies and the evader uses any admissible control (see Definition 1.6). According to Definition 1.5 at current time the pursuers use to construct their strategies.

2. Main Result

The main result of the paper is formulated as follows.

Theorem 2.1. Assume the following conditions hold.(1)There exists a subset of the set such that (2), where
Then evasion is possible in the game (1.10)–(1.13).

Proof. Let , and let , be a positive number. We construct a strategy for the evader as follows: where are any admissible controls of the pursuers, and and are arbitrary numbers. The pursuers use any admissible controls and the evader uses the strategy (2.3) and (2.4). We’ll prove that evasion is possible. We examine the case . Other cases such as can also be considered similarly. It follows from the inequalities that , , and so Then (2.3) and (2.4) take the following form: First, we show that evasion is possible on the time interval . Let . Then for any we have: since by choice of , .
We now show that evasion is possible on . If , then according to (2.7) for any we have: Thus, evasion from the pursuers , is possible. Similarly, according to (2.8) for any we obtain that This completes the proof of the theorem.

Example 2.2. We consider two differential games of two pursuers and one evader described by the equations (A)In the first differential game, , and hence the sets satisfy the first hypothesis of the theorem. Initial positions of the players , , and , where , , are assumed to be any points in the plane. It is not difficult to verify that the second hypothesis of the theorem holds, if , and since , . Therefore, for this case conclusion of the theorem is true and hence from such initial positions evasion is possible. Note that the meaning of the condition , is that the initial position of the evader doesn’t lie on the horizontal and vertical lines passing through the points and , respectively.

We now construct the strategy for the evader, which guarantees the evasion. Let be any admissible controls of the pursuers. According to (2.3) and (2.4) the strategy of the evader takes the following form: where For this example, and satisfies the following conditions: According to the theorem if , then the strategy of the evader (2.14) guarantees the evasion.

However, the theorem gives no information if either or since the second hypothesis of the theorem is not satisfied for these cases. We’ll show that in each of these cases pursuit can be completed in the game (2.12) and (2.13) (see Definitions 1.5 and 1.6). In the case , define the strategies of the pursuers as follows: where .

In the case , define the strategies of the pursuers as follows: where .

We consider the case . The case can be analyzed in a similar fashion. Admissibility of the strategy and (2.18) follows from the following relations: Here, we used the Cauchy-Schwartz inequality. Next, we show that , that is, pursuit will be completed by the pursuer at the time . We have for all . In particular, . In addition, Hence, . Thus .(B)Consider an example of a differential game described by (2.12) and (2.13), for which the second hypothesis of the theorem is not satisfied. Let , , , , where .

Let the strategies of the pursuers be defined by formulas We show that pursuit is completed by the time . Indeed, for all we have What is left is to show that for some and .

It follows from the relations that one of the equalities or holds at some . According to (2.24), and therefore one of the equalities or holds and hence pursuit is completed at . Thus, if the initial position of the evader is in the line segment then pursuit can be completed by the time .

3. Conclusion

We have studied a simple motion evasion differential game with integral constraints on control functions of the players. Unlike the traditional integral constraints, in the present paper the integral constraint is imposed on each component of control functions of the players. Under certain conditions, we have proven that the evasion is possible, that is, we have obtained a sufficient condition of evasion. The problem is open for further investigation if the hypotheses of the theorem are not satisfied. Further studies can be done to obtain complete solution for the evasion problem (1.10)–(1.13).

Acknowledgment

This research was partially supported by the Research Grant (RUGS) of the Universiti Putra Malaysia, no. 05-04-10-1005RU.