Differential Games of Persecution of Frozen Order with Separate Dynamics ()
1. Introduction
At the present time, there is a noticeable increase in the attention of researchers to fractional calculus. The development of the theory of equations with derivatives of fractional order is stimulated by the development of the theory of differential equations of the whole order. The role of fractional calculus in the theory of equations of mixed type is well known, in the theory of problems with displacement, in the theory of degenerate equations. In addition, equations of fractional order, essentially supplementing the picture of the general theory of differential equations, can reveal a connection between phenomena that, remaining within the framework of integer differentiation, appear to be independent. The dynamics of systems described by differential equations of fractional order is an object of study of specialists from about the middle of the 20th century [1] . In the middle 1970 years, F. Mainardi and M. Caputo have shown that the use of differential equations of fractional order for constructing models in problems of the thermo baric elasticity is more adequate from physical considerations and allows more accurately reproducing experimentally observed data in calculations. The study of dynamical systems of fractional order with control is actively developing in the last 10 years [2] . The growing interest in these areas is due to two main factors. First, by the middle of the last century, the mathematical foundations of fractional integro-differential calculus and the theory of differential equations of fractional order were developed [3] . Approximately at the same time, the methodology of applying fractional calculus in applied problems began to evolve, and numerical methods for calculating integrals and fractional derivatives began to develop. Secondly, in fundamental and applied physics, by that time, a significant volume of results was accumulated that showed the necessity of using the apparatus of fractional calculus for an adequate description of a number of real systems and processes [4] . As examples of real systems, we mention electrochemical cells, capacitors with fractal electrodes, viscoelastic media. These systems have, as a rule, non-trivial physical properties, useful from a practical point of view. For example, the irregular structure of the electrodes in the capacitors allows them to reach a much higher capacitance, and the use of electrical circuits with elements having a fractional-power transfer type provides more flexible tuning of the fractional order controllers used in modern control systems [5] [6] [7] .
At the present time, under the influence of rapid scientific and technical progress, fractional calculus has turned into a powerful scientific direction, including both fundamental and applied research. This is due to the need to more accurately describe the physical systems and processes that have become objects of interest of modern researchers. The distinguishing features of such systems and processes are their non-local character and the phenomenon of memory. For example, this applies to micro and nanostructured media, deterministic and chaotic including “fractal-chaotic” processes in nature and engineering.
In addition to research in the field of modeling fractional dynamical systems, research in management problems such as differential games has been actively developed in recent years. The present article is devoted to obtaining sufficient conditions for the completion of pursuit for differential games of fractional order, described with divided dynamics [8] - [15] .
2. Methods
Let the movement of the first player, whom we call the pursuer, be described by equation
(1)
where
―operator of fractional differentiation of order
,
,
,
,
―
-constant matrix. The movement of the second player, which we will call escaping, is given by equation
(2)
where
―operator of fractional differentiation of order
,
,
,
,
―
constant matrix,
―control parameters,
―controlling parameter of the pursuer,
,
―the controlling parameter of the evading player,
,
and
―compacts. The fractional derivative will be understood in the sense of Caputo [16] [17] [18] [19] [20] .
We recall that the fractional derivative of order
from sometimes n continuously differentiable function
in Caputo’s sense is defined by the expression
(3)
where
―gamma-function, which is defined as follows
. The main property of the gamma function is expressed by the reduction formula
. If
―positive integer, than
;
. When
we have formula
.
To define a terminal set, we introduce the notation
,
,
,
and
,
,
. Across
,
, denote operators orthogonal to the projections respectively from
on
and from
on
and пусть
. The game is considered to be over, if the conditions are fulfilled. The aim of the pursuing player is to withdraw
on the set M, the escaping player tries to prevent it.
Definition. We say that a differential game (1)-(3) can be completed from the initial position
,
during
, if there exists a measurable function
,
, that the solutions of equations
(4)
(5)
satisfies the condition
, those
belongs to the set
in the moment
for any measurable functions
,
.
3. Formulation of Main Results
We now turn to the formulation of the main results. Let
-generalized Mittag-Lefler matrix function [1] , where
,
(
―set of complex numbers) and
―an arbitrary square matrix of order m. We consider the dynamical system (1)-(3) with the initial conditions
(6)
Then the solution of Equations ((4), (5)) with initial conditions (6) has the form
(7)
(8)
For
, define
,
,
;
(9)
For convenience, we introduce the notation
,
.
Theorem 1. If in the game (1)-(3) for some
, the inclusion
(10)
then from the initial position
you can complete the pursuit of time
.
Now suppose that
―an arbitrary partition of the interval
,
,
, and
,
(11)
Theorem 2. If in the game (1)-(3) for some
, the inclusion,
(12)
then from the initial position
you can complete the pursuit of time
.
We denote by
a bunch of
defined for all
,
. Consider the integral
(13)
Theorem 3. If in the game (1)-(3) for some
, the inclusion
(14)
then from the initial position
you can complete the pursuit of time
.
4. Proof of Theorems
Proof of Theorem 1. There are two possible cases:1)
; 2)
. Case 1) is trivial, since when
from (9) and inclusion (10) we have
and
, which is equivalent to including
. Now let the case 2)
. By the conditions of the theorem (10)
, then there are vectors
и
such that (show (9), (10))
. Further, in accordance with the definition of the integral
there exists a summable function
,
, when
. Taking this equality into account, we consider the equation
(15)
Relatively
for fixed
and
. As
, then Equation (15) has a solution. From all solutions of (15) we choose the smallest in the lexicographic sense and denote it by
. Function
, It is Lebesgue measurable with respect to and Borel measurable in
[8] . Therefore, for any measurable function
, function
, is a Lebesgue measurable function [7] . We set
and show that with this method of controlling the parameter, u the trajectory
falls on the set M for a time not exceeding
.
Indeed, according to (15), for the solution of
, equations
(16)
(17)
in view of (7), (8), (16), (17) we have [1]
(18)
As
. Further we have
. From this [18] , we get that
. The theorem is completely proved.
Proof of Theorem 2. In view of the triviality of the case
we start with the case
. We have (show (11), (12))
.
is an alternating integral with initial set
[8] [9] [10] . Therefore, it satisfies the semigroup property [9]
(19)
where,
―arbitrary positive fixed number
;
,
―an arbitrary measurable function with values in Q.
Let
―arbitrary measurable function
. In accordance with the conditions of the theorem at time
the narrowing becomes known
, function
, on the line
. It follows from the inclusion (19) that for an arbitrary function
,
, we have
(20)
Thus, for an arbitrary function
, there is an inclusion (20). Consequently, when
, the inclusion (17). This implies the existence of a measurable function
, such that and
(21)
than
(22)
We argue further in the same way as (21), (22). As
(23)
we get
(24)
for an (23), (24) arbitrary measurable function,. Consequently, there exists a measurable function, such that and n
(25)
It follows from (25) that
(26)
etc. It is clear that there exists a natural number j such that: 1); 2) by a known function, where narrowing of the function, on the line, there exists a measurable function, , satisfying the condition
(27)
and
(28)
therefore (26)-(28).
(29)
Similarly, by formulas (27)-(29) we eventually obtain
(30)
Thus (30), for a point we have, those. Trajectory, at the time is on the set M. The theorem is completely proved.
Proof of Theorem 3. By the hypothesis of Theorem (14), we have. Hence (13), there exists a measurable function, , when
(31)
Let an arbitrary measurable function (31), by the definition of the subtraction operation and from (7)-(9) we get
(32)
From this (32), in view of the measurability condition, there follows the existence of measurable functions, defined on a line and
(33)
A measurable function we define it as a solution of equation (33). Then for the solutions, relevant functions, we have
(34)
From (34) here, , those. Trajectory, at the time is on the set M. The theorem is completely proved.
5. Applying the Results to Specific Prosecution Processes
Example 1. Let the pursuer’s motion be described by equation
(35)
where―ratio of the length of the circle to its diameter. Movement of the evader is determined by the equation
(36)
where―limit value. The fractional derivative will be understood in the sense of Caputo. Phase vectors x and y determine
the current position in pursuer and escaping respectively. It is assumed that is four times, and―thrice continuously differentiable on function of time t, those,. Control vectors, are measurable functions of time t. Terminal set M has the form, where―linear subspace of the space,―subset,―orthogonal complement to the subspace в. Let,―single ball of. In our example―orthogonal projection operator from on. The game is considered to be over if conditions, those.
Because the A and B represent zero matrix, then and. The initial conditions for (35), (36) can be written in the form
(37)
and
(38)
Respectively (37), (38). We denote by
(39)
Now calculate the set, ,. By the conditions (39) of the problems, we have
(40)
Thus (40), the set there is a ball of radius, but many there is a ball of radius, and the geometric difference of these sets there is a ball of radius
(41)
The set defined by formula (9), (41) there is a ball of radius
(42)
It is (42) easy to prove that in order for the quantities, were positive for all, it suffices that the following inequalities hold
(43)
It is (43) clear that under these conditions all the conditions of the theorem are satisfied for this example 1. Thus, the quantity is the smallest positive root of the following equation
(44)
Example 2. Let in the Euclidean space dimension there are two points:―pursuing the motion, which is described by equation
(45)
and―the motion is given by the equation
(46)
where. The fractional derivative will be understood in the sense of Caputo. Phase vectors x and y determine the current position in pursuer and escaping respectively. It is assumed that is three times, and―twice continuously differentiable on function of time t, those.,
. Control vectors, are measurable functions of time t. A and B represent zero matrix, then and . The initial conditions for (44)-(46) can be written in the form
(47)
and respectively. We (47) denote by
(48)
The game is (48) considered to be over if conditions. Reasoning exactly the same in Example 1, we see that for this example all the conditions of Theorem 2 are satisfied. Then the equation for finding the end time of the game has the form
(49)
6. Conclusions
Summarizing the results obtained, we come to the conclusion that the differential game of pursuit of fractional order (1)-(3) starting at the moment t = 0 from the initial position, can be completed in a time not exceeding. Thus, sufficient conditions for solving similar problems are obtained in Theorems 1-3. The results obtained are applied to specific prosecution processes (49).
The research carried out to solve fractional differential games clearly demonstrates that fractional calculus is, in general, a more general and complex field of research than the classical differential games. Similarly, the theory of fractional dynamical systems and fractional calculus of variations include systems of integer order as special cases. The development of fractional differential games is just beginning, and therefore in this area there remains an extensive field for research. In particular, there is still no single clear interpretation of the geometric and physical meaning of fractional operators. There is also no single definition of the fractional derivative: in more abstract mathematical studies, as a rule, the Riemann-Lowville definition is used, and in more applied studies related to physics or control theory, in most cases the definition of Caputo is used or the definition of Grunwald-Letnikova. At the same time, the question of constructing standardizing functions for initial, boundary and initial boundary value problems that allow one to change the form of the in homogeneity in equations and thereby reduce the corresponding problems to problems with zero boundary or initial conditions becomes urgent.