Next Article in Journal
Solitonic View of Generic Contact CR-Submanifolds of Sasakian Manifolds with Concurrent Vector Fields
Previous Article in Journal
Digital Triplet: A Sequential Methodology for Digital Twin Learning
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Guaranteed Pursuit and Evasion Times in a Differential Game for an Infinite System in Hilbert Space l2

by
Gafurjan Ibragimov
1,†,
Xolmurodjon Qushaqov
2,†,
Akbarjon Muxammadjonov
2,† and
Bruno Antonio Pansera
3,*,†
1
Department of General and Exact Subjects, Tashkent State University of Economics, Tashkent 100006, Uzbekistan
2
Department of Mathematics, Andijan State University, Andijan 170100, Uzbekistan
3
Department of Law, Economics and Human Sciences & Decisions_Lab, University Mediterranea of Reggio Calabria, I-89124 Reggio Calabria, Italy
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2023, 11(12), 2662; https://doi.org/10.3390/math11122662
Submission received: 28 May 2023 / Revised: 5 June 2023 / Accepted: 8 June 2023 / Published: 11 June 2023

Abstract

:
The present paper is devoted to studying a pursuit differential game described by an infinite system of binary differential equations in Hilbert space l 2 . The control parameters of the players are subject to geometric constraints. The pursuer tries to bring the state of the system to the origin of the Hilbert space l 2 , and oppositely, the evader tries to avoid it. Our aim is to construct a strategy for the pursuer to complete a differential game and an evasion control. We obtain an equation for the guaranteed pursuit and evasion times.

1. Introduction

Control and differential game problems described by partial differential equations (PDE) attracted most researchers’ attention. The time-optimal control problem for the parabolic type equation was first concerned by Fattorini [1]. The works of Lions [2], and Osipov [3] were the first papers related to differential games governed by PDE. The parabolic Dirichlet boundary optimal control problem on complex connected domains was studied by Liu et al. [4]. For the optimal control problems where an appropriate quadratic functional subject to a linear PDE is minimized, the paper of Geshkovski and Zuazua [5] presents the methodology for proving turnpike.
Using the decomposition method various control problems for PDE were studied by many researchers such as Butkovskiy [6], Chernous’ko [7], Avdonin and Ivanov [8], Satimov and Tukhtasinov [9], Chaves-Silva et al. [10], Alimov and Albeverio [11], and Philippe Martin et al. [12].
Moreover, using this method, some differential game problems governed by PDE were analyzed (see, for example, [9,13,14,15,16,17]). Though this method results in a differential game described by a system of ordinary differential equations, the main difficulty in solving differential game problems arises because of the infinity of the number of equations in the system.
Thus, differential game problems described by PDE are closely related to those described by an infinite system of differential equations. For instance, the works [9,15,16] studied differential games described by a PDE of the form
z t = A z + u v , A z = i , j = 1 n x i a i j ( x ) z x i .
These differential game problems described by (1) were reduced to a differential game described by the following infinite system of differential equations
z ˙ k + λ k z k = u k v k , k = 1 , 2 , ,
where u k and v k are control parameters of players, z k , u k , v k R , and the coefficients λ k , k = 1 , 2 , , satisfy the condition 0 < λ 1 λ 2 .
Therefore, assuming that λ 1 , λ 2 , …are any numbers, differential games for the infinite system of differential equations (2) can be studied separately from PDE (1). In its turn, an infinite system of differential equations (2) can be extended by replacing the coefficients λ k with d × d matrices A k , and z k , u k , v k with the d-dimensional vectors. For example, the work [18] studies the problem of optimal pursuit for the following infinite system
x i ˙ = α i x i β i y i + u i 1 v i 1 , x i ( 0 ) = x i 0 , y i ˙ = β i x i α i y i + u i 2 v i 2 , y i ( 0 ) = y i 0 ,
in Hilbert space l 2 , where α i , β i are real numbers, and α i 0 . In fact, system (3) can be derived from system (2) when λ k are complex numbers and z k , u k , v k are complex variables. Moreover, by replacing x i ˙ , y i ˙ with the second derivatives x i ¨ , y i ¨ in the system (3) we can study a differential game described by the infinite system of second order binary equations (see, for example, [19]). Similar to finite-dimensional differential games, one can consider differential games with geometric or integral constraints (see, for example, [20]), multi pursuer differential games (see, for example, [21]) and so on for the infinite systems of differential equations.
In the work [22], a differential game with geometric constraints for Equation (2) was considered and an equation for the guaranteed pursuit time was obtained. The paper [23] is devoted to a differential game for system (3) with geometric constraints, and an equation for the guaranteed pursuit time was obtained.
Infinite systems of Equations (2) and (3) can be written as an infinite system of 2-systems as follows:
z ˙ i = A i z i + u i v i , A i = λ i 1 0 0 λ i 2 , z ˙ i = B i z i + u i v i , B i = α i β i β i α i ,
where λ i 1 , λ i 2 , α i , β i are some real numbers, z i = ( x i , y i ) , u i = ( u i 1 , u i 2 ) , v i = ( v i 1 , v i 2 ) . Clearly, the matrices A i and B i are the Jordan matrices. Any 2 × 2 real matrix is similar to one of the Jordan matrices: A i , B i or C i = λ i 1 0 λ i , with λ i being a real number. For completeness, Equations (2) and (3) suggest considering an infinite system of 2-equations corresponding to matrices C i . Therefore, in the present paper, we study a differential game problem described by the following infinite system of binary differential equations
z ˙ i = C i z i + u i v i , i = 1 , 2 ,
For this system, neither a differential game with integral constraints nor a differential game with geometric constraints was studied in the literature. We study a differential game with geometric constraints, i.e., the values of the control functions of pursuer and evader belong to the balls of radii ρ and σ , respectively. We obtain an equation for the guaranteed pursuit time. Moreover, we construct an admissible strategy for the pursuer, and we obtain a formula for a guaranteed evasion time.

2. Statement of Problem

We recall that the Hilbert space l 2 is a linear space of all sequences of real numbers
l 2 = ξ = ( ξ 1 , ξ 2 , , ξ n , ) n = 1 ξ n 2 <
where the inner product and norm are defined as follows
( ξ , η ) = n = 1 ξ n η n , | | ξ | | = ( ξ , ξ ) .
A controlled object is described by the following infinite system of differential equations
x ˙ i = λ i x i + y i + u i 1 v i 1 , x i ( 0 ) = x i 0 , y ˙ i = λ i y i + u i 2 v i 2 , y i ( 0 ) = y i 0 , i = 1 , 2 , ,
in Hilbert space l 2 , where λ i λ 0 , and λ 0 is a given positive number, x 0 = x 10 , x 20 , l 2 , y 0 = y 10 , y 20 , l 2 , u = u 11 , u 12 , u 21 , u 22 , and v = v 11 , v 12 , v 21 , v 22 , are the control parameters of pursuer and evader, respectively. We suppose that 0 t T , where T is a sufficiently large number, and that η 0 = ( η 10 , η 20 , ) = ( x 10 , y 10 , x 20 , y 20 , ) 0 , where η i 0 = ( x i 0 , y i 0 ) , i = 1 , 2 , .
Let ρ and σ , ρ > σ , be given positive numbers.
Definition 1.
A function u ( t ) = ( u 1 ( t ) , u 2 ( t ) , ) , t [ 0 , T ] , with measurable coordinates u i ( t ) = ( u i 1 ( t ) , u i 2 ( t ) ) , i = 1 , 2 , , subject to the condition
i = 1 ( u i 1 2 ( t ) + u i 2 2 ( t ) ) ρ 2 , 0 t T ,
is referred to as the admissible control of the pursuer.
Definition 2.
A function v ( t ) = ( v 1 ( t ) , v 2 ( t ) , ) , t [ 0 , T ] , with measurable coordinates v i ( t ) = ( v i 1 ( t ) , v i 2 ( t ) ) , i = 1 , 2 , , subject to the condition
i = 1 ( v i 1 2 ( t ) + v i 2 2 ( t ) ) σ 2 , 0 t T ,
is referred to as the admissible control of evader.
Let η i ( t ) = ( x i ( t ) , y i ( t ) ) , U i = ( U i 1 , U i 2 ) , v i = ( v i 1 , v i 2 ) .
Definition 3.
A strategy of the pursuer is defined as a function of the form
U ( t , v ) = U 0 ( t ) + v = ( U 1 0 ( t ) + v 1 , U 2 0 ( t ) + v 2 , ) ,
where U 0 ( t ) = ( U 1 0 ( t ) , U 2 0 ( t ) , ) , U i 0 ( t ) = ( U i 1 0 ( t ) , U i 2 0 ( t ) ) , has measurable coordinates U i 0 ( t ) , 0 t T that satisfy the condition
i = 1 U i 1 0 ( t ) 2 + U i 2 0 ( t ) 2 ( ρ σ ) 2 , 0 t T .
It is clear that
e A i t = e λ i t 1 t 0 1 , A i = λ i 1 0 λ i , i = 1 , 2 ,
The function η ( t ) = ( η 1 ( t ) , η 2 ( t ) , ) defined by the equation
η i ( t ) = e A i t η i 0 + 0 t e A i ( t s ) ( u i ( s ) v i ( s ) ) d s , i = 1 , 2 , ,
is the unique solution of (4) in C ( 0 , T ; l 2 ) , which is the class of continuous functions on [ 0 , T ] that take their values in l 2 . The representation
η i ( t ) = e A i t η i 0 + 0 t e A i s ( u i ( s ) v i ( s ) ) d s , i = 1 , 2 ,
clearly, implies that η ( t ) = 0 if and only if γ ( t ) = 0 , where
γ ( t ) = ( γ 1 ( t ) , γ 2 ( t ) , ) , γ i ( t ) = η i 0 + 0 t e A i s ( u i ( s ) v i ( s ) ) d s , i = 1 , 2 ,
Definition 4.
We call a number θ a guaranteed pursuit time if there exists a strategy U ( t , v ) of the pursuer such that for any admissible control v ( t ) , 0 t θ , of the evader, we have η ( t ) = 0 at some t , 0 t θ , where η ( t ) = ( η 1 ( t ) , η 2 ( t ) , ) is the solution of the initial value problem (4) at u ( t ) = U ( t , v ( t ) ) and v = v ( t ) , 0 t T .
The pursuer is interested in minimizing the guaranteed pursuit time θ by choosing his strategy U ( t , v ) and the evader tries to maximize θ by choosing his control v = v ( t ) , 0 t T .
The research questions are (1) Can the pursuit be completed for any numbers λ i ? (2) Is it possible to obtain an equation for a guaranteed pursuit time? (3) Is it possible to construct an admissible strategy for the pursuer in explicit form to complete the pursuit?

3. Pursuit Differential Game

Let, for i = 1 , 2 , ,
W i ( θ ) = 0 θ e A i s e A i s d s = 0 θ e λ i s e λ i s s 0 e λ i s e λ i s 0 e λ i s s e λ i s d s = 0 θ e 2 λ i s ( 1 + s 2 ) d s 0 θ e 2 λ i s s d s 0 θ e 2 λ i s s d s 0 θ e 2 λ i s d s = ψ 11 ( θ ) ψ 12 ( θ ) ψ 21 ( θ ) ψ 22 ( θ ) ,
where A is the transpose of the matrix A, and
ψ 11 ( θ ) = 0 θ e 2 λ i s ( 1 + s 2 ) d s , ψ 12 ( θ ) = 0 θ e 2 λ i s s d s , ψ 21 ( θ ) = 0 θ e 2 λ i s s d s , ψ 22 ( θ ) = 0 θ e 2 λ i s d s .
For the matrix W i ( t ) and η i 0 = ( x i 0 , y i 0 ) the following relation holds
η i 0 W i ( t ) η i 0 = 0 t e A i s η i 0 2 d s .
Obviously, if η i 0 0 , then this integral is positive. Thus, the matrix W i ( t ) is positively defined. Thereby, its determinant is positive
| W i ( t ) | = ψ 11 ( t ) ψ 22 ( t ) ψ 12 2 ( t ) > 0 .
Hence, the matrix W i ( t ) is invertible and it is not difficult to see that
W i 1 ( t ) = ψ 22 ( t ) | W i ( t ) | ψ 12 ( t ) | W i ( t ) | ψ 21 ( t ) | W i ( t ) | ψ 11 ( t ) | W i ( t ) | .
In this section, we present the main result of our paper, which is the following statement about the guaranteed pursuit time.
Theorem 1.
Let a positive number t = θ satisfy the inequality
i = 1 4 e 2 λ i t ψ 11 2 ( t ) ( 2 + t 2 ) W i ( t ) 2 | η i 0 | 2 ( ρ σ ) 2 .
Then, θ is a guaranteed pursuit time in game (4).
Proof. 
First of all, we have to establish that there is a number θ to satisfy (13). This fact follows from the following statement. □
Lemma 1.
The following is true
lim t i = 1 4 e 2 λ i t ψ 11 2 ( t ) ( 2 + t 2 ) W i ( t ) 2 | η i 0 | 2 = 0 .
Proof. 
We estimate W i ( t ) 2 from below. By the Cauchy–Schwartz inequality, we have
0 t e 2 λ i s s 2 d s 0 t e 2 λ i s d s 0 t e 2 λ i s s d s 2 ,
and so
| W i ( t ) | = 0 t e 2 λ i s ( 1 + s 2 ) d s 0 t e 2 λ i s d s 0 t e 2 λ i s s d s 2 = 0 t e 2 λ i s d s 2 + 0 t e 2 λ i s s 2 d s 0 t e 2 λ i s d s 0 t e 2 λ i s s d s 2 0 t e 2 λ i s d s 2 = ψ 22 2 ( t ) .
Therefore, we obtain
f i ( t ) 4 e 2 λ i t ψ 11 2 ( t ) ( 2 + t 2 ) | η i 0 | 2 | η i 0 | 2 4 e 2 λ i t ( 2 + t 2 ) ψ 11 2 ( t ) ψ 22 4 ( t ) | η i 0 | 2 .
Since λ i λ 0 , we have
ψ 11 ( t ) = 0 t e 2 λ i s ( 1 + s 2 ) d s = ( 1 + t 2 ) e 2 λ i t 2 λ i + e 2 λ i t 4 λ i 3 1 2 λ i t e 2 λ i t 2 λ i 2 1 4 λ i 3 ( 1 + t 2 ) e 2 λ i t 2 λ i + e 2 λ i t 4 λ i 3 = e 2 λ i t t 2 2 λ i 1 + 1 t 2 + 1 2 λ i 2 t 2 t 2 e 2 λ i t 2 λ i ( 1 + α 1 ( t ) ) , α 1 ( t ) = 1 t 2 + 1 2 λ 0 2 t 2 ,
and
ψ 22 ( t ) = 0 t e 2 λ i s d s = e 2 λ i t 1 2 λ i e 2 λ i t 2 λ i ( 1 α 2 ( t ) ) , α 2 ( t ) = e 2 λ 0 t .
Since by (16) and (17)
4 e 2 λ i t ( 2 + t 2 ) ψ 11 2 ( t ) ψ 22 4 ( t ) 4 e 2 λ i t ( 2 + t 2 ) · t 4 e 4 λ i t 4 λ i 2 ( 1 + α 1 ( t ) ) 2 e 8 λ i t 16 λ i 4 ( 1 α 2 ( t ) ) 4 = 16 λ i 2 ( 2 + t 2 ) t 4 ( 1 + α 1 ( t ) ) 2 e 2 λ i t ( 1 α 2 ( t ) ) 4 .
In view of the inequality e 2 λ i t > ( 2 λ i t ) 7 / 7 ! , inequality (18) implies that
4 e 2 λ i t ( 2 + t 2 ) ψ 11 2 ( t ) ψ 22 4 ( t ) 16 λ i 2 ( 2 + t 2 ) t 4 ( 2 λ i t ) 7 / 7 ! · ( 1 + α 1 ( t ) ) 2 ( 1 α 2 ( t ) ) 4 630 λ 0 5 · 2 + t 2 t 3 · ( 1 + α 1 ( t ) ) 2 ( 1 α 2 ( t ) ) 4 .
From (15) it follows that
i = 1 f i ( t ) 630 λ 0 5 · 2 + t 2 t 3 · ( 1 + α 1 ( t ) ) 2 ( 1 α 2 ( t ) ) 4 i = 1 | η i 0 | 2 .
The right-hand side of this inequality approaches 0 as t + since lim t α i ( t ) = 0 , i = 1 , 2 , and i = 1 | η i 0 | 2 = | | η 0 | | 2 . This is the desired conclusion. Thus, there is a number θ that satisfies inequality (13). The proof of the lemma is complete.
To prove the theorem, we construct the strategy for the pursuer as follows
U i ( t ) = e t A i W i 1 ( θ ) η i 0 + v i ( t ) , 0 t θ , v i ( t ) , t > θ .
The functions U i 0 ( t ) , i = 1 , 2 , , (see (26)) in Definition 3 are defined as follows
U i 0 ( t ) = e t A i W i 1 ( θ ) η i 0 , 0 t θ 0 , t > θ , i = 1 , 2 ,
To show the admissibility of the constructed strategy, first, we prove inequality (8), that is
| | U 0 ( t ) | | 2 = i = 1 | U i 0 ( t ) | 2 ( ρ σ ) 2 .
Indeed, since
g i ( t ) e t A i W i 1 ( θ ) η i 0 = e λ i t W i ( θ ) 1 0 t 1 ψ 22 ( θ ) ψ 12 ( θ ) ψ 21 ( θ ) ψ 11 ( θ ) x i 0 y i 0 = e λ i t W i ( θ ) x i 0 ψ 22 ( θ ) + y i 0 ψ 21 ( θ ) t x i 0 ψ 22 ( θ ) + x i 0 ψ 12 ( θ ) t y i 0 ψ 21 ( θ ) + y i 0 ψ 11 ( θ ) ,
then utilizing the obvious inequalities | a + b + c + d | 2 4 ( a 2 + b 2 + c 2 + d 2 ) for the vectors a, b, c, d, and ψ 22 ψ 11 , | ψ 21 | ψ 11 yields
g i 2 ( t ) = e 2 λ i t W i ( θ ) 2 x i 0 ψ 22 ( θ ) t x i 0 ψ 22 ( θ ) + y i 0 ψ 21 ( θ ) t y i 0 ψ 21 ( θ ) + 0 x i 0 ψ 12 ( θ ) + 0 y i 0 ψ 11 ( θ ) 2 4 e 2 λ i t W i ( θ ) 2 x i 0 2 ψ 22 2 ( θ ) ( 1 + t 2 ) + y i 0 2 ψ 21 2 ( θ ) ( 1 + t 2 ) + x i 0 2 ψ 21 2 ( θ ) + y i 0 2 ψ 11 2 ( θ ) 4 e 2 λ i t ψ 11 2 ( θ ) ( 2 + t 2 ) W i ( θ ) 2 | η i 0 | 2 4 e 2 λ i θ ψ 11 2 ( θ ) ( 2 + θ 2 ) | W i ( θ ) | 2 | η i 0 | 2 .
From this using the definition of θ we conclude that
i = 1 | U i 0 ( t ) | 2 = i = 1 | e t A i W i 1 ( θ ) η i 0 | 2 = i = 1 g i 2 ( t ) i = 1 4 e 2 λ i θ ψ 11 2 ( θ ) ( 2 + θ 2 ) | W i ( θ ) | 2 | η i 0 | 2 ( ρ σ ) 2 ,
which is our assertion.
We are now in a position to prove the admissibility of strategy (20). By the Minkowski inequality and the definition of θ we have, for 0 t θ ,
U ( t ) =   U 0 ( t ) + v ( t )     U 0 ( t )   +   v ( t ) = i = 1 | U i 0 ( t ) | 2 1 / 2 + i = 1 v i ( t ) 2 1 / 2 ( ρ σ ) + σ = ρ .
The proof of admissibility of strategy U ( t ) is complete.
To show that θ is a guaranteed pursuit time, we show that η ( θ ) = 0 . To this end, we show that
γ i ( θ ) = 0 , i = 1 , 2 , .
Indeed, by (20)
γ i ( θ ) = η i 0 + 0 θ e s A i U i ( s ) v i ( s ) d s = η i 0 + 0 θ e s A i e s A i W i 1 ( θ ) η i 0 d s = η i 0 η i 0 = 0 ,
and so γ i ( θ ) = 0 ; hence, η ( θ ) = 0 . Thus, the pursuit is completed exactly at the time θ . This completes the proof of the theorem. □

4. Evasion Differential Game

In this section, we study an evasion differential game.
Definition 5.
We call number τ a guaranteed evasion time if, for any number τ , 0 τ < τ , one can construct an admissible control v 0 ( t ) of evader such that, for any admissible control of the pursuer, we have η ( t ) 0 for all 0 t τ and i = 1 , 2 , .
The evader tries to maximize the guaranteed evasion time. The research questions are (1) Is it possible to find a guaranteed evasion time τ in the game for any initial state η 0 = ( η 10 , η 20 , ) 0 ? (2) Can we construct an admissible control for the evader that ensures the guaranteed evasion time?
Theorem 2.
The number
τ = sup j = 1 , 2 , τ j ,
where τ j is a non-negative root of the equation
0 t e λ j s ρ ( 1 + s ) σ 1 + s d s = | η j 0 | ,
is a guaranteed evasion time in game (4)
Proof. 
First, we show that Equation (24) has a unique non-negative root. Clearly, if η i 0 = 0 , then Equation (24) has the unique root τ j = 0 .
Let η j 0 0 . Since ρ > σ and λ j > 0 , we obtain
| η j 0 | = 0 τ j e λ j s ρ ( 1 + s ) σ 1 + s d s > 0 τ j e λ j s ρ ( 1 + s ) σ d s > 0 τ j e λ j s ρ s d s > ρ 0 τ j s d s = ρ τ j 2 2 .
Hence, the root of equation (24) satisfies the condition τ j 2 < 2 | η j 0 | / ρ . Consequently, τ = sup j = 1 , 2 , τ j < .
Next, we construct a control for the evader that ensures η ( t ) 0 on [ 0 , τ ] for the arbitrary control u = u ( t ) of the pursuer, where τ is an arbitrary time that satisfies the condition 0 < τ < τ .
By definition of τ , we can find j { 1 , 2 , } such that τ < τ j . We show that game (4) is never completed on [ 0 , τ j ) . Observe η j 0 0 since otherwise τ j = 0 , contradicting the positivity of τ j .
Let the evader apply the following control
v j ( t ) = σ 1 1 + t 1 t 0 1 e j , v i ( t ) = 0 , i = 1 , 2 , , i j , t [ 0 , τ j ) .
where e j = η j 0 | η j 0 | is unit 2-vector, i.e., e j = ( e j 1 , e j 2 ) , | e j | = 1 .
Next, we establish that control (26) is admissible. Using (6), we obtain
v j ( t ) = σ 1 1 + t 1 t 0 1 e j = σ 1 + t e j 1 + t e j 2 e j 2 σ 1 + t e j 1 e j 2 + e j 2 t 0 = σ 1 + t ( 1 + t | e j 2 | ) σ 1 + t ( 1 + t ) = σ .
Consequently, control (26) is admissible.
According to (10) and (11), η ( t ) 0 if and only if γ ( t ) 0 . It suffices, therefore, to show that, for any admissible control of the pursuer u ( · ) , γ ( t ) 0 , t [ 0 , τ j ) . Indeed,
γ j ( t ) = η j 0 + 0 t e A j s u j ( s ) d s 0 t e A j s v j ( s ) d s = η j 0 + 0 t e A j s u j ( s ) d s + σ e j 0 t 1 1 + s e λ j s d s .
Then, by (26) we have
| ( e A j s u j ( s ) , e j ) | | e A j s u j ( s ) | | e j | = | ( e A j s u j ( s ) | = e λ j s 1 s 0 1 u j 1 u j 2 = e λ j s u j 1 u j 2 s u j 2 e λ j s u j 1 u j 2 + u j 2 s 0 ρ e λ j s ( 1 + s )
Consequently, using (27) and the fact that τ j is the root of equation (24), we obtain for t [ 0 , τ j ) that
( γ j ( t ) , e j ) = | η j 0 | + 0 t e A j s u j ( s ) , e j d s + σ 0 t 1 1 + s e λ j s d s | η j 0 | 0 t ρ ( 1 + s ) e λ j s d s + 0 t σ 1 + s e λ j s d s > | η j 0 | 0 τ j e λ j s ρ ( 1 + s ) σ 1 + s d s = 0 .
As the result, γ j ( t ) 0 , t [ 0 , τ j ) , and hence η j ( t ) 0 by (11), therefore, η ( t ) 0 for t [ 0 , τ j ) . In particular, η ( t ) 0 on the interval [ 0 , τ ] . The proof of Theorem 2 is complete. □

5. Conclusions

In the present paper, we have studied a pursuit differential game for an infinite system of binary differential equations (4)
z ˙ i = C i z i + u i v i , i = 1 , 2 , ,
which correspond to the Jordan matrices C i = λ i 1 0 λ i , where λ i , i = 1 , 2 , , are real numbers. Previous research only studies differential games described by infinite systems
z ˙ i = A i z i + u i v i , A i = λ i 1 0 0 λ i 2
and
z ˙ i = B i z i + u i v i , B i = α i β i β i α i .
It is well known that any 2 × 2-matrix can be reduced to one of the Jordan matrices A i , B i , and C i . Therefore, the infinite system we have studied in the present paper fills the gap between the infinite 2-systems corresponding to the 2 × 2 Jordan matrices. Pursuit and evasion differential game problems for the infinite system of differential equations corresponding to the 2 × 2 matrices C i were considered in the present paper for the first time.
We obtained an equation for the guaranteed pursuit time. Moreover, we constructed an explicit strategy for the pursuer that ensures the completion of the game by the guaranteed pursuit time. The main difficulties were obtaining the equation for the guaranteed pursuit time and proving Lemma 1, which plays a key role in establishing the admissibility of the constructed strategy of the pursuer. Moreover, we studied an evasion differential game and obtained a formula for the guaranteed evasion time.
For future work, we recommend studying pursuit or/and evasion differential games described by an infinite system of differential equations of the general form
z ˙ i = D i z i + u i v i , D i = a i b i c i d i , i = 1 , 2 , ,
where a i , b i , c i , and d i are any given real numbers.

Author Contributions

Conceptualization, G.I., X.Q., A.M. and B.A.P.; methodology, G.I., X.Q., A.M. and B.A.P.; validation, G.I., X.Q., A.M. and B.A.P.; formal analysis, G.I., X.Q., A.M. and B.A.P.; investigation, G.I., X.Q., A.M. and B.A.P.; writing—original draft preparation, G.I., X.Q., A.M. and B.A.P.; writing—review and editing, G.I., X.Q., A.M. and B.A.P.; visualization, G.I., X.Q., A.M. and B.A.P.; supervision, G.I. All authors have read and agreed to published version of manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Fattorini, H.O. Time-Optimal control of solutions of operational differential equations. SIAM J. Control. 1964, 2, 54–59. [Google Scholar]
  2. Lions, J.L. Contrôle Optimal de Systémes Gouvernées par des Equations aux Dérivées Partielles; Dunod: Paris, France, 1968. [Google Scholar]
  3. Osipov, Y.S. The theory of differential games in systems with distributed parameters. Dokl. Akad. Nauk. SSSR 1975, 223, 1314–1317. [Google Scholar]
  4. Liu, W.; Zhao, T.; Ito, K.; Zhang, Z. Error estimates of Fourier finite volume element method for parabolic Dirichlet boundary optimal control problems on complex connected domains. Appl. Numer. Math. 2023, 186, 164–201. [Google Scholar] [CrossRef]
  5. Geshkovski, B.; Zuazua, E. Turnpike in optimal control of PDEs, ResNets, and beyond. Acta Numer. 2022, 31, 135–263. [Google Scholar] [CrossRef]
  6. Butkovskiy, A.G. Theory of Optimal Control of Distributed Parameter Systems; Elsevier: New York, NY, USA, 1969. [Google Scholar]
  7. Chernous’ko, F.L. Bounded controls in distributed-parameter systems. J. Appl. Math. Mech. 1992, 56, 707–723. [Google Scholar] [CrossRef]
  8. Avdonin, S.A.; Ivanov, S.A. Families of Exponentials: The Method of Moments in Controllability Problems for Distributed Parameter Systems; Cambridge University Press: Cambridge, MA, USA, 1995. [Google Scholar]
  9. Satimov, N.Y.; Tukhtasinov, M. On Some Game Problems for First-Order Controlled Evolution Equations. Differ. Equ. 2005, 41, 1169–1177. [Google Scholar] [CrossRef]
  10. Chaves-Silva, F.; Zhang, X.; Zuazua, E. Controllability of evolution equations with memory. SIAM J. Control Optim. 2017, 55, 2437–2459. [Google Scholar] [CrossRef] [Green Version]
  11. Albeverio, S.; Alimov, S.A. On a time-optimal control problem associated with the heat exchange process. Appl. Math. Optim. 2008, 57, 58–68. [Google Scholar] [CrossRef]
  12. Martin, P.; Rosier, L.; Rouchon, P. Null controllability of the structurally damped wave equation with moving control. SIAM J. Control Optim. 2013, 51, 660–684. [Google Scholar] [CrossRef] [Green Version]
  13. Azamov, A.A.; Ruziboev, M.B. The time-optimal problem for evolutionary partial differential equations. J. Appl. Math. Mech. 2013, 77, 220–224. [Google Scholar] [CrossRef]
  14. Satimov, N.Y.; Tukhtasinov, M. Game problems on a fixed interval in controlled first-order evolution equations. Math. Notes 2006, 80, 578–589. [Google Scholar] [CrossRef]
  15. Ibragimov, G.I. A Problem of Optimal Pursuit in Systems with Distributed Parameters. J. Appl. Math. Mech. 2002, 66, 719–724. [Google Scholar] [CrossRef]
  16. Tukhtasinov, M. Some problems in the theory of differential pursuit games in systems with distributed parameters. J. Appl. Math. Mech. 1995, 59, 979–984. [Google Scholar] [CrossRef]
  17. Tukhtasinov, M.; Mamatov, M.S. On Pursuit Problems in Controlled Distributed Parameters Systems. Math. Notes 2008, 84, 256–262. [Google Scholar] [CrossRef]
  18. Ibragimov, G.I. Optimal pursuit time for a differential game in the Hilbert space l2. ScienceAsia 2013, 39S, 25–30. [Google Scholar] [CrossRef] [Green Version]
  19. Ibragimov, G.I.; Allahabi, F.; Kuchkarov, A.S. A pursuit problem in an infinite system of second-order differential equations. Ukr. Math. J. 2014, 65, 1203–1216. [Google Scholar] [CrossRef]
  20. Rilwan, J.; Kumam, P.; Badakaya, A.J.; Ahmed, I. A modified dynamic equation of evasion differential game problem in a Hilbert space. Thai J. Math. 2020, 18, 199–211. [Google Scholar]
  21. Salimi, M.; Ferrara, M. Differential game of optimal pursuit of one evader by many pursuers. Int. J. Game Theory 2019, 48, 481–490. [Google Scholar] [CrossRef]
  22. Ibragimov, G.I.; Ferrara, M.; Alias, I.A.; Salimi, M.; Ismail, N. Pursuit and Evasion Games for an Infinite System of Differential Equations. Bull. Malays. Math. Sci. Soc. 2021, 45, 69–81. [Google Scholar] [CrossRef]
  23. Tukhtasinov, M.; Ibragimov, G.I.; Kuchkarova, S.A.; Hasim, R.M. Differential games for an infinite 2-systems of differential equations. Mathematics 2021, 9, 1467. [Google Scholar] [CrossRef]
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.

Share and Cite

MDPI and ACS Style

Ibragimov, G.; Qushaqov, X.; Muxammadjonov, A.; Pansera, B.A. Guaranteed Pursuit and Evasion Times in a Differential Game for an Infinite System in Hilbert Space l2. Mathematics 2023, 11, 2662. https://doi.org/10.3390/math11122662

AMA Style

Ibragimov G, Qushaqov X, Muxammadjonov A, Pansera BA. Guaranteed Pursuit and Evasion Times in a Differential Game for an Infinite System in Hilbert Space l2. Mathematics. 2023; 11(12):2662. https://doi.org/10.3390/math11122662

Chicago/Turabian Style

Ibragimov, Gafurjan, Xolmurodjon Qushaqov, Akbarjon Muxammadjonov, and Bruno Antonio Pansera. 2023. "Guaranteed Pursuit and Evasion Times in a Differential Game for an Infinite System in Hilbert Space l2" Mathematics 11, no. 12: 2662. https://doi.org/10.3390/math11122662

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop