Next Article in Journal
Stochastic SO(2) Lie Group Method for Approximating Correlation Matrices
Previous Article in Journal
Trapezoid Orthogonality in Complex Normed Linear Spaces
Previous Article in Special Issue
Symmetries, Reductions and Exact Solutions of Nonstationary Monge–Ampère Type Equations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Study on Square-Mean S-Asymptotically Bloch Type Periodic Solutions for Some Stochastic Evolution Systems with Piecewise Constant Argument

by
Mamadou Moustapha Mbaye
1,
Amadou Diop
2,3 and
Gaston Mandata N’Guérékata
4,*
1
Laboratoire de Mathématiques Appliquées (LMA), Département de Mathématiques et Informatique, Faculté des Sciences et Technique, Université Cheikh Anta Diop, Fann, Dakar BP 5005, Senegal
2
Classes Préparatoires aux Grandes Écoles (CPGE), Thiès BP A10, Senegal
3
Laboratoire d’Analyse Numérique et Informatique, Université Gaston Berger, Saint-Louis BP 234, Senegal
4
NEERLab, Department of Mathematics, Morgan State University, Baltimore, MD 21251, USA
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(9), 1495; https://doi.org/10.3390/math13091495
Submission received: 27 March 2025 / Revised: 19 April 2025 / Accepted: 25 April 2025 / Published: 30 April 2025
(This article belongs to the Special Issue Nonlinear Equations: Theory, Methods, and Applications III)

Abstract

:
This work is mainly focused on square-mean S-asymptotically Bloch type periodicity and its applications. The main aim of the paper is to introduce the definition of square-mean S-asymptotically Bloch type periodic processes with values in complex Hilbert spaces and systematically analyze some qualitative properties of this type of processes. These properties, combined with the inequality technique, evolution operator theory, fixed-point theory, and stochastic analysis approach, allow us to establish conditions for the existence and uniqueness of square-mean S-asymptotically Bloch type periodicity of bounded mild solutions for a class of stochastic evolution equations with infinite delay and piecewise constant argument. In the end, examples are given to illustrate the feasibility of our results.

1. Introduction

As it is known, nonlinear differential equations with piecewise constant argument (in short, DEPCA) have properties of both nonlinear differential equations and nonlinear difference equations. The study of such equations has been initially described in [1,2] in the 1980s, and the importance of such equations is justified by their various applications in mathematical models appearing in disease dynamics, biomedical models, physical phenomena, and discretization problems. They also have invaluable importance in mathematical economy. As a direct result of this fact, there has been a lot of interest in the investigation of the various properties that are associated with this class of equations [3,4,5,6]. Note that in practice, random or stochastic factors like accidental events or the effect noise are unavoidable and may greatly impact a system. Thus, many scholars have studied stochastic differential equations involving piecewise constant argument (SDEPCAs). For the well-posedness, mean-square stability, almost sure stability, and the numerical approximations of such equations, we refer to [7,8,9] and the references therein.
On the one hand, due to the flaws of strict periodicity in describing certain mathematical models, many authors have introduced other definitions of generalized periodicity, such as almost periodic, asymptotically almost periodic, pseudo-almost periodic, asymptotically pseudo-almost periodic, etc. For more details on these subjects, see the articles [10,11,12,13] and the references therein. We note that some of these notions generalize others. Especially, in [11], the authors proved that any asymptotic ω -periodic function is not S-asymptotically ω -periodic. Moreover, the concept of S-asymptotically ω -periodicity introduced recently in [10,11] has a greater advantage of allowing us to take into account certain distortions of the phenomena that some of periodic extensions do not take in account.
On the other hand, the theory of Bloch-periodic phenomena has its origin in the publication [14] by F. Bloch, while working on the conductivity of crystalline solids. Recently, the concept of Bloch type periodic functions was formally studied by N’guérékata and Hasler in [15], and thus, the classical ω -periodicity and ω -anti-periodicity become particular cases of this notion. To characterize the influence of perturbations on Bloch-periodic functions, some quasi-Bloch periodicity concepts are presented in some publications. For example, asymptotically Bloch-periodic solutions of various deterministic differential systems without piecewise constant argument with their applications have been investigated in [15,16], while notions of (pseudo-) S-asymptotically Bloch-periodic functions with applications have been studied in [17,18].
The previous quasi-Bloch-periodic functions actually extend the notions of asymptotically ω -periodic and (pseudo-) S-asymptotically ω -periodic functions in a natural fashion. Therefore, it is a natural and meaningful work to extend S-asymptotically ω -periodicity from the perspective of Bloch type periodicity. However, it is not so easily to compare the class of S-asymptotically Bloch-periodic function with the class of almost periodic functions as an S-asymptotically ω -periodic function (which is a special case of the S-asymptotically Bloch-periodic function) is not necessarily uniformly continuous. Additionally, thanks to [12], one can derive that the assertion that an S-asymptotically Bloch-periodic function is asymptotically ω -periodic is false.
Before proceeding further, it should be noted that some related works concerning S-asymptotically ω -periodic solutions for DEPCAs in Banach spaces can be founded in [6,19]. The paper [20] deals with SDEPCAs, and sufficient conditions for the existence of the square-mean S-asymptotically ω -periodic solutions are derived where ω is an integer. To the best of the authors’ knowledge, the study of (quasi-) Bloch-periodic solutions for SDEPCAs can rarely be found in the literature. It should be mentioned that in the paper [16], asymptotic Bloch periodicity of solutions for certain classes of abstract fractional nonlinear DEPCAs are considered whereas pseudo-asymptotically Bloch-periodic solution for equation models with piecewise constant argument are studied in [21]. Due to the great importance and increasing interest in extending certain classical results to stochastic cases, the notions of (weighted) pseudo-S-asymptotically Bloch type periodic processes in the square-mean sense S-asymptotically Bloch type periodic processes in the square-mean sense have been introduced and formally studied in [22,23]. These generalizations are not just mathematical problems but are caused by numerous physical phenomena.
Motivated by the above considerations and recent developments on stochastic Bloch type periodicity, the first objective of our work is to introduce a new class of stochastic processes, named square-mean S-asymptotically Bloch type periodic stochastic process, and to prove some results on the completeness, composition, and convolution of such stochastic processes. Secondly, we are also looking to make more contributions to the literature by considering certain applications of our results to the following class of abstract delayed stochastic evolution equations involving piecewise constant argument
d q ( t ) = A ( t ) q ( t ) + A 0 q ( t ) + f ( t , q t ) d t + g ( t , q t ) d W ( t ) , t > 0 , q 0 = ϕ Ξ ,
where the state q ( · ) takes values in a complex separable Hilbert H ; { A ( t ) } t R is a family of densely defined closed linear operators satisfying Acquistapace–Terreni conditions. The history function q t : ( , 0 ] H given by q t ( ς ) = q ( t + ς ) for ς 0 belongs to the phase space Ξ ; A 0 is a bounded linear operator, · is the largest integer function, f and g are given functions to be specified later (see Section 4), and W ( t ) is a one-sided and standard one-dimensional Brownian motion on a separable real Hilbert space K . The initial datum ϕ is an F 0 -adapted process, Ξ -valued random variable independent of the Wiener process W with finite second moments. Throughout the paper, we use the phase space Ξ , ·   Ξ in the sense given by Hale and Kato [24] and (axiomatically) defined in [25], introduced in Section 2. It is noticed that the interest in this type of non-autonomous differential equations lies in the fact that a system subjected to external inputs can include periodic ones. Examples are included in the Floquet theory, which is used to study the stability of linear periodic systems in continuous time. When A 0 g ( t , q t ) 0 and f ( t , q t ) = f ( t , q ( t ) ) , some important regularity results (such as asymptotic periodicity, almost periodicity, almost automorphy, ( ω , c ) -periodicity, etc.) for mild solutions to problem (1) have been examined in [26,27,28,29] and the references therein. However, for the piecewise constant argument case and with delayed effects, i.e., Equation (1), the study of the asymptotic behavior of the solution is rare; particularly for the square-mean S-asymptotically Bloch periodicity of Equation (1), it is an untreated topic, and this is the main motivation of this paper. We will make use of the Acquistapace–Terreni conditions for A ( t ) and the exponential dichotomy of the corresponding homogeneous system and global and local Lipschitz conditions on the drift and diffusion terms (see Theorem 4 and 5), we shall show some existence results for problem (1) as applications of square-mean S-asymptotically Bloch-periodic processes introduced in Section 3.
In this work, at first, we will discuss some basic concepts of stochastic analysis, fading memory spaces, and the formulation of the mild solution. In the next section, square-mean S-asymptotically Bloch type periodic processes are discussed. The existence results for problem (1) are given in Section 4. In the last section, we provide an example illustrating the feasibility of the theory discussed in this paper.

2. Preliminaries

This section gives the background material and basic definitions. It also defines the notation. Assume that H and K are two complex separable Hilbert spaces. For convenience, the same notations · and ( · , · ) are applied to denote the norms and the inner products in H and K . We denote using L ( K , H ) the Banach space of all bounded linear operators from K to H endowed with the topology defined by the operator norm. We suppose that ( Ω , F , P ) represents a probability space, and L 2 ( Ω , H ) stands for the collection of all strongly measurable, square-integrable H -valued random variables, which is a Banach space endowed with the norm q ( · ) L 2 = ( E q ( · , ω ) 2 ) 1 / 2 , where E ( · ) is the expectation defined by E ( q ) = Ω q ( ω ) d P .

2.1. On Stochastic Process and Fading Memory Space

Definition 1
([30]). A stochastic process q : R + L 2 ( Ω , H ) is said to be
(i) 
Stochastically bounded if there exists a constant M > 0 such that
E q ( t ) 2 = Ω q ( t ) 2 d P < M   f o r   a l l   t R + ;
(ii) 
Stochastically continuous if lim t ς E q ( t ) q ( ς ) 2 = 0 f o r   a l l   ς R + .
We denote using BC R + , L 2 ( Ω , H ) the Banach space of all bounded and continuous stochastic processes q from R + into L 2 ( Ω , H ) with the norm q = sup ς R + E q ( ς ) 2 1 / 2 .
We can now introduce one of the most commonly used phase space Ξ introduced in [25], which will be a linear space of functions mapping ( , 0 ] into L 2 ( Ω , H ) endowed with a seminorm · Ξ and verifying the following axioms:
(A)
If q : ( , b + a ) L 2 ( Ω , H ) , a > 0 , b R , is continuous on [ b , b + a ) and q b Ξ , then for every ς [ b , b + a ) , the following holds:
(a)
q ς is in Ξ ;
(b)
E q ( ς ) 2 H q ς Ξ 2 ;
(c)
q ς Ξ K ( ς b ) sup b s ς q ( ς ) L 2 + M ( ς b ) q b Ξ , where H > 0 is a constant, K; M : [ 0 , ) [ 0 , ) , K is continuous, M is locally bounded, and H , K , M are independent of q ( · ) .
(A1)
For the function q in ( A ) , the function ς q ς is continuous from [ b , b + a ) into Ξ .
(B)
  The space Ξ is complete.
(C2)
If ψ n n N is a uniformly bounded sequence of continuous functions with compact support and converges to ψ compactly on ( , 0 ] , then ψ Ξ and ψ n ψ Ξ as n .
Definition 2
([25] Definition 2.1). The phase space Ξ is called a fading memory space if S 0 ( ς ) ( ψ ) Ξ 0 as ς for every ψ Ξ 0 , where Ξ 0 = { ψ Ξ | ψ ( 0 ) = 0 } and for ς 0 , the operator S 0 ( ς ) : Ξ 0 Ξ 0 is given by
[ S 0 ( ς ) ( ψ ) ] ( s ) = 0 , ς s 0 ψ ( ς + s ) , < s ς .
Remark 1.
From ([25] Proposition 7.1.5), if Ξ is a fading memory space, then K, M (defined in condition (A)–(c)) are bounded functions.
Example 1.
Let z be a non-negative continuous map defined on ( , 0 ] and satisfying, in the terminology of [25], the following conditions:
(g-5) 
u 0 z ( θ ) d θ < for every u ( , 0 ) ;
(g-6) 
z ( u + θ ) G ( u ) z ( θ ) , for all u 0 and θ ( , 0 ) N u , for a set N u ( , 0 ) with Lebesgue measure zero and for a non-negative function G which is locally bounded on ( , 0 ] ;
(g-7) 
0 z ( θ ) d θ < .
For λ, the positive Borel measure on ( , 0 ] defined by λ ( J ) = J z ( ς ) d ς for J B where B is the family of Borel sets of ( , 0 ] ; the space D z defined by the set
ψ : ( , 0 ] L 2 ( Ω , H ) : f o r   e v e r y   c > 0 , E ψ ( γ ) 2   i s   a   b o u n d e d   a n d i n t e g r a b l e   w i t h   r e s p e c t   t o   λ   o n [ c , 0 ] w i t h 0 z ( ς ) sup ς d 0 E ψ ( d ) 2 d ς 1 2 <
is a fading memory space (see ([25] Example 7.1.8)). By taking z ( ς ) = e θ ς for θ R , it is known that ( D z , . D z ) is a Banach space, where
ψ D z = 0 z ( ς ) sup ς d 0 E ψ ( d ) 2 d ς 1 2 , ψ D z .
Remark 2.
From ([25] page 188, Proposition 1.1), we derive that if the condition ( C 2 ) holds, then there exists a constant L > 0 such that
q Ξ 2 L q 2 f o r a n y q BC ( , 0 ] , L 2 ( Ω , H ) .

2.2. On Evolution Families

From this point onward, we suppose that ( X , · ) is a Banach space and denote using L ( X ) the space of all bounded linear operators from X to X . We recall the following definition introduced by Acquistapace and Terreni in [31].
Definition 3
([31]). A family of closed linear operators A ( t ) for t R on X with domain D ( A ( t ) ) (possibly not densely defined) satisfy the so-called Acquistapace–Terreni condition; if there exist constants β 0 , θ ( π / 2 , π ) , C 1 , C 2 > 0 , μ , ν ( 0 , 1 ] with μ + ν > 1 such that
S θ { 0 } ρ ( A ( t ) β ) λ , R ( λ , A ( t ) β ) C 1 1 + | λ | for all t R
and
( A ( t ) β ) R ( λ , A ( t ) β ) [ R ( β , A ( t ) ) R ( β , A ( ς ) ) ] C 2 | t ς | μ | λ | ν
for t , ς R , where λ S θ : = { λ C { 0 } : | arg λ | θ } , R ( λ , A ( t ) β ) : = λ I A ( t ) + β 1 and ρ ( A ( t ) β ) represent the resolvent set of A ( t ) β .
When A ( t ) has a constant domain D = D ( A ( t ) ) , then condition (3) can be replaced with the following one: there exist constants C 3 > 0 and 0 < 1 such that
( A ( t ) A ( ς ) ) R ( β , A ( r ) ) C 3 t ς for   all t , ς , r R .
More details can be found in [32].
Theorem 1
([30]). Let A ( t ) be a family of closed linear operators that satisfies Acquistapace–Terreni conditions. Then, there exists a unique evolution family
Q = { Q ( t , ς ) : t , ς R s u c h t h a t t > ς }
on X such that
(a) 
Q ( t , ς ) X D ( A ( t ) ) for all t , ς R with t > ς ;
(b) 
Q ( t , ς ) Q ( ς , r ) = Q ( t , r ) for t , ς R such that t ς r ;
(c) 
Q ( t , t ) = I for t R where I is the identity operator of X ;
(d) 
( t , ς ) Q ( t , ς ) L ( X ) is continuous for t > ς ;
(e) 
Q ( · , ς ) C 1 ( ( ς , ) , L ( X ) ) , Q t ( t , ς ) = A ( t ) Q ( t , ς ) and
A ( t ) k Q ( t , ς ) K ( t ς ) k
for 0 < t ς 1 and k = 0 , 1 .
Definition 4.
An evolution family Q = { Q ( t , ς ) : t , ς R s u c h t h a t t ς } is said to have an exponential dichotomy (or is hyperbolic) if there are projections P ( t ) ( t R ) that are uniformly bounded (i.e, there exist M 1 such that P ( t ) M for all t R ), strongly continuous in t, and there are constants δ > 0 and N 1 such that
(f) 
Q ( t , ς ) P ( ς ) = P ( t ) Q ( t , ς ) ;
(g) 
the restriction Q V ( t , ς ) : V ( ς ) X V ( t ) X of Q ( t , ς ) is invertible;
(h) 
Q ( t , ς ) P ( ς ) N e δ ( t ς ) and Q ˜ V ( ς , t ) V ( t ) N e δ ( t ς ) for t ς and t , ς R
where V ( · ) = I P ( · ) and Q ˜ V ( ς , t ) : = Q V ( t , ς ) 1 .
Note that if Q ( t , ς ) is exponentially stable, then Q is hyperbolic with P ( t ) = I . More details about the evolutions families can be found in [33].

3. Square-Mean S-Asymptotically Bloch Type Periodic Process

In this part, we introduce the notion and some properties of S-asymptotically Bloch type periodic stochastic processes.
Definition 5.
A stochastic process q BC R + , L 2 ( Ω , H ) is said to be mean-square S-asymptotically Bloch-periodic (or ( ϖ , k ) -periodic) if, for a given ϖ R + , k R ,
lim t + E q ( t + ϖ ) e i k ϖ q ( t ) 2 = 0 .
We denote by SABP ϖ , k R + , L 2 ( Ω , H ) the collection of all the square-mean S-asymptotically ( ϖ , k ) -periodic stochastic processes and BC ( R + × L 2 ( Ω , H ) , L 2 ( Ω , H ) ) the set
h ( · , q ) SABP ϖ , k R + , L 2 ( Ω , H ) | for any q L 2 ( Ω , H ) .
Lemma 1.
Let q 1 , q 2 SABP ϖ , k R + , L 2 ( Ω , H ) and κ C . The following results hold:
(i) 
q 1 + κ q 2 SABP ϖ , k R + , L 2 ( Ω , H ) .
(ii) 
SABP ϖ , k R + , L 2 ( Ω , H ) is a Banach space endowed with the norm · .
Proof. 
(i) Using Definition 5, we have
E ( q 1 + κ q 2 ) ( t + ϖ ) e i k ϖ ( q 1 + κ q 2 ) ( t ) 2 2 E q 1 ( t + ϖ ) e i k ϖ q 1 ( t ) 2 + 2 | κ | 2 q 2 ( t + ϖ ) e i k ϖ q 2 ( t ) 2 0 as t .
Thus, q 1 + κ q 2 SABP ϖ , k R + , L 2 ( Ω , H ) .
(ii) 
Let { q n } n SABP ϖ , k R + , L 2 ( Ω , H ) such that q n q as n . Then, for any ϵ > 0 , there exists a constants N > 0 and R > 0 such that:
for n N , we have q n q ϵ / 3 and
for t A , we have E q n ( t + ϖ ) e i k ϖ q n ( t ) 2 ( ϵ / 9 ) . We obtain
E q ( t + ϖ ) e i k ϖ q ( t ) 2 = E q ( t + ϖ ) q n ( t + ϖ ) + q n ( t + ϖ ) e i k ϖ q n ( t ) + e i k ϖ q n ( t ) e i k ϖ q ( t ) 2 E q ( t + ϖ ) q n ( t + ϖ ) 2 + E q n ( t + ϖ ) e i k ϖ q n ( t ) 2 + E e i k ϖ q n ( t ) e i k ϖ q ( t ) 2 3 q n q 2 + 3 ( ϵ / 9 ) + 3 q n q 2 ( ϵ / 3 ) + ( ϵ / 3 ) + ( ϵ / 3 ) = ϵ .
This implies that the space SABP ϖ , k R + , L 2 ( Ω , H ) is a closed subspace of BC R + , L 2 ( Ω , H ) , so it is a Banach space equipped with the sup-norm.
We state the following useful lemma.
Lemma 2.
Let Ξ be a fading memory space and ψ : R L 2 ( Ω , H ) be a process with ψ 0 Ξ . If ψ | [ 0 , ) SABP ϖ , k R + , L 2 ( Ω , H ) , then t ψ t is S-asymptotically Bloch-periodic such that ψ t SABP ϖ , k R + , Ξ .
Proof. 
Because K, M, and ψ | [ 0 , ) are bounded, it follows from (A) to (c) that t ψ t is bounded on [ 0 , ) . Next, we define for t J
φ ( t ) = ψ ( t + ϖ ) e i k ϖ ψ ( t ) = ψ ϖ ( t ) e i k ϖ ψ ( t ) .
Then, we have φ 0 = ψ ϖ ψ 0 Ξ . Because ψ | [ 0 , ) SABP ϖ , k R + , L 2 ( Ω , H ) , then φ : R + L 2 ( Ω , H ) is continuous and φ ( t ) 0 in L 2 ( Ω , H ) . Therefore, it follows from ([25] Proposition 7.1.3) that
φ t Ξ = ψ t + ϖ e i k ϖ ψ t Ξ 0 as t .
Before proceeding further, we assume the following assumptions:
(A0) 
The family of operators A ( t ) on L 2 ( Ω , H ) satisfies the Acquistapace–Terreni condition and the evolution family Q = Q ( t , ς ) , t ς associated with A ( t ) is exponentially stable such that there exists the constant M, δ > 0 such that
Q ( t , ς ) M e δ ( t ς ) for all t ς .
That implies Q ( t , ς ) is hyperbolic, where P ( t ) = I .
Let Ξ be a fading memory space and h BC ( R + × Ξ , L 2 ( Ω , H ) ) and consider the following assumptions:
(H0) 
lim t + E h ( t + ϖ , x ) e i k ϖ h ( t , e i k ϖ x ) 2 = 0 for x in any uniformly bounded subset of Ξ .
(H1) 
There exists a number L > 0 such that for any u , v Ξ ,
E h ( t , u ) h ( t , v ) 2 L . u v Ξ 2 ,
uniformly for all t R + .

3.1. Composition Results

The following compositions results are highly significant in proving the existence of mild solutions of many evolution systems.
Theorem 2.
If h BC ( R + × Ξ , L 2 ( Ω , H ) ) satisfies ( H 0 ) ( H 1 ) , then we have h ( · , q ( · ) ) SABP ϖ , k R + , L 2 ( Ω , H ) for every q SABP ϖ , k R + , Ξ .
Proof. 
Because q SABP ϖ , k R + , Ξ , then we have lim t + q ( t + ϖ ) e i k ϖ q ( t ) Ξ = 0 . We have
E h ( t + ϖ , q ( t + ϖ ) ) e i k ϖ h ( t , q ( t ) ) 2 2 E h ( t + ϖ , q ( t + ϖ ) ) e i k ϖ h ( t , e i k ϖ q ( t + ϖ ) ) 2 + 2 E e i k ϖ h ( t , e i k ϖ q ( t + ϖ ) ) e i k ϖ h ( t , q ( t ) ) 2 2 E h ( t + ϖ , q ( t + ϖ ) e i k ϖ h ( t , e i k ϖ q ( t + ϖ ) ) 2 + 2 L e i k ϖ q ( t + ϖ ) ) q ( t ) Ξ 2 0   as   t + .
i.e., h ( · , q ( · ) ) SABP ϖ , k R + , L 2 ( Ω , H ) . □
Theorem 3.
If h BC ( R + × Ξ , L 2 ( Ω , H ) ) satisfies ( H 0 ) and the following condition:
( H 2 ) : for any ϵ > 0 and any bounded subset B Ξ , there exist constants T ϵ , B and δ ϵ , B > 0 such that
E h ( t , q 1 ) h ( t , q 2 ) 2 ϵ
for all q 1 , q 2 B with q 1 q 2 Ξ 2 δ ϵ , B and t T ϵ , B , then we have h ( · , q ( · ) ) SABP ϖ , k R + , L 2 ( Ω , H ) whenever q SABP ϖ , k R + , Ξ .
Proof. 
Because q SABP ϖ , k R + , Ξ , then B : = { q ( t ) : t R + } Ξ is bounded. Let ϵ > 0 . By assumption ( H 0 ) and the fact that q SABP ϖ , k R + , Ξ , we have that there exists T ϵ > 0 such that for t T ϵ
E h ( t + ϖ , q ( t + ϖ ) ) e i k ϖ h ( t , e i k ϖ q ( t ) ) 2 < ϵ 4 and q ( t + ϖ ) e i k ϖ q ( t ) Ξ 2 ϵ .
Thanks to condition ( H 2 ) , we have that there exists δ ϵ , B : = ϵ and T ϵ , B : = T ϵ such that
E h ( t , e i k ϖ q ( t + ϖ ) ) h ( t , q ( t ) ) 2 ϵ 4
whenever q ( t + ϖ ) e i k ϖ q ( t ) Ξ 2 ϵ and t T ϵ . We have
E h ( t + ϖ , q ( t + ϖ ) ) e i k ϖ h ( t , q ( t ) ) 2 2 E h ( t + ϖ , q ( t + ϖ ) ) e i k ϖ h ( t , e i k ϖ q ( t + ϖ ) ) 2 + 2 E e i k ϖ h ( t , e i k ϖ q ( t + ϖ ) ) e i k ϖ h ( t , q ( t ) ) 2 2 E h ( t + ϖ , q ( t + ϖ ) ) e i k ϖ h ( t , e i k ϖ q ( t + ϖ ) ) 2 + 2 E h ( t , e i k ϖ q ( t + ϖ ) ) h ( t , q ( t ) ) 2 < ϵ for t T ϵ .
Thus,
lim t E h ( t + ϖ , q ( t + ϖ ) ) e i k ϖ h ( t , q ( t ) ) 2 = 0 .
The proof is completed. □
Corollary 1.
If h BC ( R + × Ξ , L 2 ( Ω , H ) ) satisfies ( H 0 ) and the following condition:
( H 3 ) : there exist a function L g : R + R + such that for each r > 0 and for all q 1 , q 2 L 2 ( Ω , H ) with E q 1 Ξ 2 r , E q 2 Ξ 2 r ,
E h ( t , q 1 ) h ( t , q 2 ) L ( K , H ) 2 L g ( r ) q 1 q 2 Ξ 2 ,
uniformly for all t R + , then for each q SABP ϖ , k R + , Ξ , we have h ( · , q ( · ) ) SABP ϖ , k R + , L 2 ( Ω , H ) .
Proof. 
It is easy to show that ( H 2 ) in Theorem 3 is satisfied if ( H 3 ) holds. So, the conclusion is a direct consequence of Theorem 3. □

3.2. Convolution Product

The convolution product is greatly important for defining the integral and (mild) solutions of many evolution systems.
Lemma 3.
Let ( A 0 ) holds. Then, for each X SABP ϖ , k R + , L 2 ( Ω , H ) , Φ : t Φ ( t ) = 0 t Q ( t , r ) A 0 X ( [ r ] ) d r SABP ϖ , k R + , L 2 ( Ω , H ) .
Proof. 
It is easy to show that Φ BC R + , L 2 ( Ω , H ) . Now note that we derive by condition ( A 0 ) that
lim t e δ 2 ( t r ) Q ( t + ϖ , r + ϖ ) Q ( t , r ) 2 = 0 for each r R .
Now let p ( 0 , δ 2 ) and X SABP ϖ , k R + , L 2 ( Ω , H ) . Then, for ϵ > 0 , there exists T ϵ 1 > 0 , such that
e δ 2 ( t r ) Q ( t + ϖ , r + ϖ ) Q ( t , r ) 2 < ( δ 2 p ) ϵ and E X ( t + ϖ ) e i k ϖ X ( t ) 2 < δ ϵ for t > T ϵ 1 .
Let T ϵ = [ T ϵ 1 ] + 1 then for t > T ϵ , we have t > T ϵ . Therefore
E X ( [ t + ϖ ] ) e i k ϖ X ( t ) 2 = E X ( t + ϖ ) e i k ϖ X ( t ) 2 < δ ϵ .
It is clear that Φ BC R + , L 2 ( Ω , H ) . For t > T ϵ , we have
E Φ ( t + ϖ ) e i k ϖ Φ ( t ) 2 = E 0 t + ϖ Q ( t + ϖ , r ) A 0 X ( [ r ] ) d r e i k ϖ 0 t Q ( t , r ) A 0 X ( [ r ] ) d r 2 2 E ω t + ϖ Q ( t + ϖ , r ) A 0 X ( [ r ] ) d r e i k ϖ 0 t Q ( t , r ) A 0 X ( [ r ] ) d r 2 + 2 E 0 ω Q ( t + ϖ , r ) A 0 X ( [ r ] ) d r 2 2 E 0 t Q ( t + ϖ , r + ϖ ) A 0 X ( [ r + ϖ ] ) d r e i k ϖ 0 t Q ( t , r ) A 0 X ( [ r ] ) d r 2 + 2 E 0 ω Q ( t + ϖ , r ) A 0 X ( [ r ] ) d r 2 4 E 0 t Q ( t + ϖ , r + ϖ ) Q ( t , r ) A 0 X ( [ r + ϖ ] ) d r 2 + 4 E 0 t Q ( t , r ) A 0 X ( [ r + ϖ ] ) e i k ϖ X ( [ r ] ) d r 2 + 2 E 0 ω Q ( t + ϖ , r ) A 0 X ( [ r ] ) d r 2 4 I 1 ( t ) + 4 I 2 ( t ) + 2 I 3 ( t ) .
For I 1 ( t ) , by using the Cauchy–Schwarz inequality, we obtain
I 1 ( t ) 0 t e p ( t r ) d r 0 t e p ( t r ) Q ( t + ϖ , r + ϖ ) Q ( t , r ) 2 A 0 2 E X ( [ r + ϖ ] ) 2 d r X 2 p 4 M 2 0 T ϵ e ( p 2 δ ) ( t r ) d r + T ϵ t e p ( t r ) Q ( t + ϖ , r + ϖ ) Q ( t , r ) 2 d r X 2 p 4 M 2 0 T ϵ e ( p 2 δ ) ( t r ) d r + ( δ 2 p ) ϵ T ϵ t e ( p δ 2 ) ( t r ) d r X 2 p 4 M 2 0 T ϵ e ( p 2 δ ) ( t r ) d r + ϵ .
Because
0 T ϵ e ( p δ ) ( t r ) d r 0 as t + therefore lim r + I 1 ( t ) = 0 .
Applying a similar idea used for the term I 1 ( t ) , we obtain:
lim t + I 2 ( t ) = lim t + I 3 ( t ) = 0 .
Thus, Φ SABP ϖ , k R + , L 2 ( Ω , H ) . The proof is completed. □
Lemma 4.
Let ( A 0 ) holds. Then, for each Y SABP ϖ , k R + , L 2 ( Ω , H ) and X SABP ϖ , k ( R + , L ( K , H ) ) ,
Φ : t Φ ( t ) = 0 t Q ( t , r ) Y ( r ) d r + 0 t Q ( t , r ) X ( r ) d W ( r ) SABP ϖ , k R + , L 2 ( Ω , H ) .
Proof. 
For Y SABP ϖ , k R + , L 2 ( Ω , H ) and X SABP ϖ , k ( R + , L ( K , H ) ) , it is easy to show that Φ BC R + , L 2 ( Ω , H ) . Now let
Φ ( t ) = 0 t Q ( t , r ) Y ( r ) d r + 0 t Q ( t , r ) X ( r ) d W ( r ) = Φ 1 ( t ) + Φ 2 ( t ) .
By analogous arguments performed in the proof of Lemma 3, we obtain Φ 1 SABP ϖ , k R + , L 2 ( Ω , H ) . Now, for Φ 2 , let p ( 0 , δ 2 ) and X SABP ϖ , k ( R + , L ( K , H ) ) . By using the condition ( A 0 ) similarly to the proof of Lemma 3, we obtain for ϵ > 0 that there exists T ϵ > 0 such that
e δ 2 ( t r ) Q ( t + ϖ , r + ϖ ) Q ( t , r ) 2 < δ 2 ϵ and E X ( t + ϖ ) e i k ϖ X ( t ) 2 < δ ϵ for t > T ϵ .
Therefore, for t > T ϵ , we have
E Φ 2 ( t + ϖ ) e i k ϖ Φ 2 ( t ) 2 = E 0 t + ϖ Q ( t + ϖ , r ) X ( r ) d W ( r ) e i k ϖ 0 t Q ( t , r ) X ( r ) d W ( r ) 2 2 E 0 ω Q ( t + ϖ , r ) X ( r ) d W ( r ) 2 + 2 E 0 t Q ( t + ϖ , r + ϖ ) X ( r + ϖ ) d W ( r + ϖ ) e i k ϖ 0 t Q ( t , r ) X ( r ) d W ( r ) 2 2 I 1 ( t ) + 2 I 2 ( t ) .
For I 1 ( t ) , combining with Ito’s isometry property of stochastic integral, we obtain
I 1 ( t ) = E 0 ω Q ( t + ϖ , r ) X ( r ) d W ( r ) d r 2 M 2 0 ω e 2 δ ( t + ϖ r ) E X ( r ) 2 d r M 2 X 2 0 ω e 2 δ ( t + ϖ r ) d r 0 as t + ,
therefore lim t + I 1 ( t ) = 0 . For I 2 ( t ) , let W ˜ ( r ) = W ( r + ϖ ) W ( ω ) . We know that W ˜ is a Brownian motion and has the same distribution as W. Then, we obtain, by using Ito’s isometry property of stochastic integral
I 2 ( t ) = E 0 t Q ( t + ϖ , r + ϖ ) X ( r + ϖ ) d W ˜ ( r ) e i k ϖ 0 t Q ( t , r ) X ( r ) d W ˜ ( r ) 2 E 0 t Q ( t + ϖ , r + ϖ ) Q ( t , r ) X ( r + ϖ ) d W ˜ ( r ) 2 + E 0 t Q ( t , r ) X ( r + ϖ ) e i k ϖ X ( r ) d W ˜ ( r ) 2 0 t Q ( t + ϖ , r + ϖ ) Q ( t , r ) 2 E X ( r + ϖ ) 2 d r + 0 t Q ( t , r ) 2 E X ( r + ϖ ) e i k ϖ X ( r ) 2 d r 2 I 21 ( t ) + 2 I 22 ( t ) .
Then, by a calculation similar to that used in (5), it is easy to check that
lim t + I 21 ( t ) = lim t + I 22 ( t ) = 0 .
As a result of these evaluations, it follows that Φ 2 SABP ϖ , k R + , L 2 ( Ω , H ) . Thanks to Lemma 1-(i), we derive that Φ SABP ϖ , k R + , L 2 ( Ω , H ) . □

4. On Square-Mean S-Asymptotically Bloch-Type Periodic Mild Solutions

The main problem we tackle in this section is to find the conditions under which the dynamical system expressed by (1) possesses an unique solution which is a S-asymptotically Bloch type periodic.
Definition 6.
A stochastic variable q : R H is a mild solution of Equation (1) if for any t [ 0 , ) the following conditions hold:
1. 
q ( t ) is measurable and F t - adapted, and q t is a Ξ-valued stochastic process.
2. 
q ( t ) L 2 ( Ω , H ) has cádlág paths on t [ 0 , ) almost surely and
q ( t ) = Q ( t , 0 ) ϕ ( 0 ) + 0 t Q ( t , ς ) A 0 q ( ς ) ) d ς + 0 t Q ( t , ς ) f ( ς , q ς ) d ς + 0 t Q ( t , ς ) g ( ς , q ς ) d W ( ς ) , t [ 0 , ) , ϕ ( t ) , t ( , 0 ] .
Moreover, if q | [ 0 , ) SABP ϖ , k R + , L 2 ( Ω , H ) , then q is referred as an S-asymptotically Bloch type periodic mild solution.
Our first main outcome on the existence and uniqueness of square-mean S-asymptotically Bloch type periodic mild solution for problem (1) involving global Lipschitz conditions is presented in the following theorem.
Theorem 4.
Assume that Ξ is a fading memory space and ϖ N . Let f BC ( R + × Ξ , L 2 ( Ω , H ) ) , g BC ( R + , L ( K , H ) ) and verify ( H 0 ) . Suppose that there exist constants L f , L g > 0 such that for any v 1 , v 2 L 2 ( Ω , H ) ,
E f ( t , v 1 ) f ( t , v 2 ) 2 L f . v 1 v 2 Ξ 2   a n d   E g ( t , v 1 ) g ( t , v 2 ) L ( K , H ) 2 L g . v 1 v 2 Ξ 2 ,
uniformly for all t R . Then, problem (1) admits a unique S-asymptotically Bloch type periodic mild solution provided
3 M 2 A 0 2 δ 2 + L f L δ 2 + L g L 2 δ < 1 ,
where L is the constant in Remark 2.
Proof. 
We set
SABP ϖ , k 0 R + , L 2 ( Ω , H ) = q SABP ϖ , k R + , L 2 ( Ω , H ) : q ( 0 ) = 0
It is clear that SABP ϖ , k 0 R + , L 2 ( Ω , H ) is a closed subspace of SABP ϖ , k R + , L 2 ( Ω , H ) . We next identify the elements v SABP ϖ , k R + , L 2 ( Ω , H ) with its extension to R given by v ( θ ) = 0 for θ 0 . Moreover, we denote by y ( · ) the process defined by y 0 = ϕ and y ( t ) = Q ( t , 0 ) ϕ ( 0 ) for t 0 . It follows by using ( A 0 ) that y | [ 0 , ) SABP ϖ , k R + , L 2 ( Ω , H ) . Then, by Lemma 2, we have t y t SABP ϖ , k R + , Ξ .
Now, define the operator S on SABP ϖ , k 0 R + , L 2 ( Ω , H ) SABP ϖ , k 0 R + , L 2 ( Ω , H ) by
S ( v ) ( t ) = 0 t Q ( t , ς ) A 0 v ( ς ) + y ( ς ) d ς + 0 t Q ( t , ς ) f ( ς , v ς + y ς ) d ς + 0 t Q ( t , ς ) g ( ς , v ς + y ς ) d W ( ς ) .
From Theorem 2, we have for each v SABP ϖ , k 0 R + , L 2 ( Ω , H ) the stochastic processes s f ( ς , v ( ς ) ) and s g ( ς , v ( ς ) ) belong to SABP ϖ , k R + , L 2 ( Ω , H ) . Then, it follows from Lemmas 3, 4, and 1-(i) that S v SABP ϖ , k 0 R + , L 2 ( Ω , H ) . Using the Cauchy–Schwarz inequality and Ito’s isometry property of stochastic integral, we have
E ( S u ) ( t ) ( S v ) ( t ) 2 3 E t Q ( t , ς ) A 0 [ u ( ς ) v ( ς ) ] d ς 2 + 3 E t Q ( t , ς ) [ f ( ς , u ς + y ς ) f ( ς , v ς + y ς ) ] d ς 2 + 3 E t Q ( t , ς ) [ g ( ς , u ς + y ς ) g ( ς , v ς + y ς ) ] d W ( ς ) 2 3 M 2 A 0 2 δ 2 + L f L δ 2 + L g L 2 δ u v 2 ,
Therefore,
S u S v 2 3 M 2 A 0 2 δ 2 + L f L δ 2 + L g L 2 δ u v 2 ,
which proves that S is a contraction. Thus, there exists a unique v SABP ϖ , k 0 R + , L 2 ( Ω , H ) such that S v = v via a Banach fixed-point theorem. By defining q ( t ) = y ( t ) + v ( t ) for t R , it follows that q is the solution of Equation (1) and q | [ 0 , ) = y | [ 0 , ) + v SABP ϖ , k R + , L 2 ( Ω , H ) . □
Our second main outcome on the existence and uniqueness of square-mean S-asymptotically Bloch type periodic mild solution for problem (1) involving local Lipschitz type conditions on f and g is presented in the following theorem.
Theorem 5.
Assume that Ξ is a fading memory space and ϖ N . Let f BC ( R + × Ξ , L 2 ( Ω , H ) ) , g BC ( R + × Ξ , L ( K , H ) ) , and verify ( H 0 ) . In addition, assume that there exist functions L f , L g : R + R + such that for each r > 0 and for all u 1 , u 2 Ξ with E u 1 Ξ 2 r , E u 2 Ξ 2 r ,
E f ( t , u 1 ) f ( t , u 2 ) 2 L f ( r ) u 1 u 2 Ξ 2 ,
E g ( t , u 1 ) g ( t , u 2 ) L ( K , H ) 2 L g ( r ) u 1 u 2 Ξ 2 ,
uniformly for all t R + . Then, problem (1) admits a unique S-asymptotically Bloch type periodic mild solution on an arbitrarily closed ball B r with center 0 and radius r satisfying the following condition
sup r > 0 Z ( r ) > 6 M 2 1 δ 2 sup t R + E f ( t , y t ) 2 + 1 2 δ sup t R + E g ( t , y t ) L ( K , H ) 2 .
where Z ( r ) = r 3 M 2 A 0 2 δ 2 + 2 L f ( r ) L δ 2 + 2 L g ( r ) L 2 δ r , y ( · ) is the process defined by y 0 = ϕ and for t 0 y ( t ) = Q ( t , 0 ) ϕ ( 0 ) and L the constant in Remark 2.
Proof. 
From (10), we deduce that there exists r > 0 such that
Z ( r ) > 6 M 2 1 δ 2 sup t R + E f ( t , y t ) 2 + 1 2 δ sup t R + E g ( t , y t ) L ( K , H ) 2 .
Now similarly to the proof of Theorem 4, let S v define in (7) and v r = { v SABP ϖ , k 0 R + , L 2 ( Ω , H ) : v 2 < r } . To complete the proof, we just have to show that S is a contraction in v r . We start by showing that the operator S maps the set v r to v r . From Corollary 1, combined with conditions (8) and (9), for each v SABP ϖ , k 0 R + , L 2 ( Ω , H ) , the stochastic processes ς f ( ς , v ( ς ) ) SABP ϖ , k R + , L 2 ( Ω , H ) and ς g ( ς , v ( ς ) ) belong to SABP ( R + , L ( K , H ) ) . It follows from Lemmas 3, 4, and 1-(i) that S v SABP ϖ , k 0 R + , L 2 ( Ω , H ) . Let v SABP ϖ , k 0 R + , L 2 ( Ω , H ) and t R ; we have
E ( S v ) ( t ) 2 3 E t Q ( t , ς ) A 0 v ( ς ) d ς 2 + 3 E t Q ( t , ς ) [ f ( ς , v ς + y ς ) f ( ς , y ς ) + f ( ς , y ς ) ] d ς 2 + 3 E t Q ( t , ς ) [ g ( ς , v ς + y ς ) g ( ς , y ς ) + g ( ς , y ς ) ] d W ( ς ) 2 Δ 0 + 3 M 2 A 0 2 δ 2 + 2 L f ( r ) L δ 2 + 2 L g ( r ) L 2 δ v 2 ,
where
Δ 0 : = 6 M 2 1 δ 2 sup t R + E f ( t , y t ) 2 + 1 2 δ sup t R + E g ( t , y t ) L ( K , H ) 2 .
Then, for each v v r and all t R , we have from (11) that E ( S v ) ( t ) 2 r . Thus, S ( v r ) v r . Because for each v 1 , v 2 v r and for all t R , we have
E ( S v 1 ) ( t ) ( S v 2 ) ( t ) 2 3 M 2 A 0 2 δ 2 + L f ( r ) L δ 2 + L g ( r ) L 2 δ v 1 v 2 2 ,
Therefore,
S v 1 S v 2 2 3 M 2 A 0 2 δ 2 + L f ( r ) L δ 2 + L g ( r ) L 2 δ v 1 v 2 2 ,
which proves that S is a contraction owing to the condition (11). Thus, there exists a unique v v r such that S v = v via a Banach fixed-point theorem. This completes the proof. □

5. Examples

To show the applicability of the above obtained results, we provide the following examples.

5.1. Example 1

Let H = L 2 ( ( 0 , π ) ) , k R and γ : t ( 0 , + ) γ ( t ) R be a bounded continuous and γ ( t + 1 ) = γ ( t ) . Choosing z ( ς ) = e ς for ς < 0 , then β = 0 z ( ς ) d ς = 1 , Ξ = D z is a fading memory space and ( D z , · z ) is a Banach space with the norm. Choosing z ( ς ) = e ς for ς < 0 , then β = 0 z ( ς ) d ς = 1 , Ξ = D z is a fading memory space and ( D z , · z ) is a Banach space with the norm
ψ D z = 0 e t sup t ς 0 E ψ ( ς ) 2 d t 1 2 , ψ D z .
We consider the following stochastic problem
d v ( t , x ) = [ 2 x 2 + sin t v ( t , x ) + γ v ( t , x ) + γ ( t ) t β 1 ( ς t ) f 1 ( v ( ς , x ) ) + 1 1 + t 2 cos ( v ( ς , x ) ) d ς ] d t + γ ( t ) t β 2 ( ς t ) f 2 ( v ( ς , x ) ) + 1 1 + t 2 sin ( v ( ς , x ) ) d ς d W ( t ) , t > 0 , x [ 0 , π ] v ( t , 0 ) = v ( t , π ) = 0 , v ( τ , x ) = ϕ 0 ( τ , x ) , f o r t 0 , x [ 0 , π ] ,
where W ( t ) is a one-sided and standard one-dimensional Brownian motion defined on the filtered probability space ( Ω , F , P , F t ) . ϕ 0 D z , β i ( i = 1 , 2 ) : R + R given by β 1 ( t ) = e t and β 2 ( t ) = e 2 t for all t R ) with
0 β 1 2 ( ς ) e ς d ς = 1 3 a n d 0 β 2 2 ( ς ) e ς d ς = 1 5 ,
and there exist constants L i > 0 ( i = 1 , 2 ) such that σ i satisfies the conditions
f i ( e i k z ) = e i k f i ( z ) , E f i ( u ) f i ( v ) 2 L i E u v 2 .
In order to write the system (12) on the abstract form (1), we consider the linear operator A : D ( A ) L 2 ( ( 0 , π ) ) L 2 ( ( 0 , π ) ) , given by
D ( A ) = H 2 ( 0 , π ) H 0 1 ( 0 , π ) , A v ( ξ ) = v ( ξ ) f o r ξ ( 0 , π ) and v D ( A ) .
It is well known that A generates a C 0 -semigroup ( T ( t ) ) t 0 on L 2 ( ( 0 , π ) ) defined by
( T ( t ) v ) ( r ) = n = 1 e n 2 π 2 t v , e n L 2 e n ( r ) ,
where e n ( r ) = 2 sin ( n π r ) for n = 1 , 2 , , and T ( t ) e π 2 t for all t 0 .
Define a family of linear operator A ( t ) as follows:
D ( A ( t ) ) = D ( A ) , A ( t ) u = A + sin t u for u D ( A ) .
Hence, { A ( t ) } t R generates an evolution family { Q ( t , ς ) , t s } such that
Q ( t , ς ) u = T ( t ς ) exp ς t sin r d r u .
Because Q ( t , ς ) e ( π 2 1 ) ( t ς ) for t ς and ς , t R , it follows that (H0) holds.
Let q [ 0 , π ] ; we set
v ( t ) ( x ) = v ( t , x ) , A 0 = γ I ( I the identity in H ) , ϕ ( t ) ( x ) = A 0 ( t , x ) for t 0 , f i ( v ) ( x ) = f i ( v ( x ) ) sin ( v ) ( x ) = sin ( v ( x ) ) , cos ( v ) ( x ) = cos ( v ( x ) ) f ( t , v ) ( x ) = γ ( t ) 0 β 1 ( ς ) f 1 ( v ( ς ) ) + 1 1 + t 2 cos ( v ( ς ) ) ( x ) d ς and g ( t , v ) ( x ) = γ ( t ) 0 β 2 ( ς ) f 2 ( v ( ς ) ) + 1 1 + t 2 sin ( v ( ς ) ) ( x ) d ς .
Therefore, the above problem (12) can be reformulated as the abstract (1).
Because for ( i = 1 , 2 ) , we have
γ ( t + 1 ) f i ( z ( ς ) ) = γ ( t ) e i k f i ( e i k z ( ς ) ) ,
then we obtain the following estimation:
E f ( t + 1 , v ) e i k f ( t , e i k v ) 2 = E γ ( t ) 0 β 1 ( ς ) 1 1 + ( t + 1 ) 2 cos ( v ( ς ) ) e i k 1 + t 2 cos ( e i k v ( ς ) ) d ς 2 γ 2 0 β 1 2 ( ς ) e ς d ς 0 e ς E 1 1 + ( t + 1 ) 2 cos ( v ( ς ) ) e i k 1 + t 2 cos ( e i k v ( ς ) ) 2 d ς γ 2 0 β 1 2 ( ς ) e ς d ς 1 1 + ( t + 1 ) 2 2 + 1 1 + t 2 2 0 as t .
Then, it follows that
lim t E f ( t + 1 , v ) e i k f ( t , e i k v ) 2 = 0 .
Similarly, we have
lim t E g ( t + 1 , v ) e i k g ( t , e i k v ) 2 = 0 .
Now, let u , v D z and t R ; then, we have following estimation:
E f ( t , u ) f ( t , v ) 2 2 γ 2 ( E 0 β 1 ( ς ) f 1 ( u ( ς ) ) f 1 ( v ( ς ) ) d ς 2 + E 0 β 1 ( ς ) cos ( u ( ς ) ) cos ( v ( ς ) ) d ς 2 ) 2 γ 2 [ 0 β 1 2 ( ς ) e ς d ς 0 e s E f 1 ( u ( ς ) ) f 1 ( v ( ς ) ) 2 d ς + 0 β 1 2 ( ς ) e ς d ς 0 e s E cos ( u ( ς ) ) cos ( v ( ς ) ) 2 d ς ] 2 γ 2 0 β 1 2 ( ς ) e ς d ς L 1 + 1 u v D z 2 ,
Similarly, we have
E g ( t , u ) g ( t , v ) 2 2 γ 2 0 β 2 2 ( ς ) e ς d ς L 2 + 1 u v D z 2 .
Therefore, by Theorem 4, the problem (12) has a unique square-mean S-asymptotically Bloch type periodic mild solution provided that γ is small enough.

5.2. Example 2

Let W ( t ) be a standard one-sided and one-dimensional Brownian motion defined on the filtered probability space ( Ω , F , P , F t ) . A stochastic two-dimensional complex Hopfield neural networks with infinite delay is considered as follows:
d y ( t ) = [ a 0 ( t ) y ( t ) + a y ( t ) + a 1 ( t ) f 1 ( t , y t ) ] d t + a 1 ( t ) σ 1 ( t , y t ) d W ( t ) , d z ( t ) = [ b 0 ( t ) z ( t ) + a z ( t ) + a 2 ( t ) f 2 ( t , z t ) ] d t + a 2 ( t ) σ 1 ( t , z t ) d W ( t ) ,
where
-
y ( t ) , z ( t ) the state variables of the first and second neuron at time instant t;
-
a 0 ( t ) , b 0 ( t ) , a are the rate with which the neurons resets its potential to the resting state in isolation when disconnected from the network and external inputs;
-
a 1 ( t ) , a 2 ( t ) are the connection weight of the neural networks at time instant t;
-
f 1 , f 2 represent the activation functions of the incoming potentials of of the neurons;
-
σ 1 , σ 2 are a noise intensity functions.
These functions are given by a 0 ( t ) = 2 + sin ( π t ) , b 0 ( t ) = 3 + sin ( 2 t ) , a 1 ( t ) = sin ( 2 π t ) 40 , a 2 ( t ) = sin ( 2 π t ) 10 , a = e 2 4 ,
f 1 ( t , y t ) = t e ( t 3 s / 2 ) tanh ( | y ( s ) | ) | y ( s ) | d s + 1 2 + t 2 y 1 ( s ) | y 1 ( s ) | 2 + 1 d s = t e 3 s / 2 F t 1 ( | y ( s ) | ) G ( y ( s ) ) d s , σ 1 ( t , y t ) = 0 e ( t 3 s / 2 ) 1 max ( 1 , | y ( s ) | ) 1 2 + t 2 y 1 ( s ) | y 1 ( s ) | 2 + 1 d s = 0 e 3 s / 2 σ t 1 ( | y ( s ) | ) G ( y ( s ) ) d s , f 2 ( t , y ( t ) ) = t e ( t 3 s / 2 ) tanh ( | y ( s ) | ) | y ( s ) | d s + 1 2 ( 1 + t 2 ) y ( s ) | y ( s ) | 2 + 1 d s = 0 e 3 s / 2 F t 2 ( | y ( s ) | ) G ( y ( s ) ) d s , σ 2 ( t , y t ) = t e ( t 3 s / 2 ) 1 max ( 1 , | y ( s ) | ) 1 2 ( 1 + t ) 2 y 1 ( s ) | y 1 ( s ) | 2 + 1 d s = 0 e 3 s / 2 σ t 2 ( | y ( s ) | ) G ( y ( s ) ) d s .
with F t 1 ( | y ( s ) | ) = tanh ( | y 1 ( s ) | ) | y 1 ( s ) | + 1 2 + t 2 , F t 2 ( | y ( s ) | ) = tanh ( | y ( s ) | ) | y ( s ) | d s + 1 2 ( 1 + t 2 ) , σ t 1 ( y ( s ) ) = 1 max ( 1 , | y ( s ) | ) 1 2 + t 2 , σ t 2 ( y ( s ) ) = 1 max ( 1 , | y ( s ) | ) 1 2 ( 1 + t ) 2 and G ( y ( s ) ) = y 1 ( s ) | y 1 ( s ) | 2 + 1 .
The approach that we shall follow is to rewrite system (13) in the form of Equation (1), which we study using the Theorem 4. Let consider H = C 2 ,
Ξ = ψ : ( , 0 ] L 2 ( Ω , H ) : for   every c > 0 , E ψ ( γ ) 2 is   a   bounded   and integrable   with   respect   to λ on [ c , 0 ] with 0 e ς sup ς d 0 E ψ ( d ) 2 d ς 1 2 < .
Hence, Ξ is a fading memory space and ( Ξ , · Ξ ) is a Banach space with the norm
ψ Ξ = 0 e t sup t ς 0 E ψ ( ς ) 2 d t 1 2 , ψ Ξ .
By taking q ( t ) = ( y ( t ) , u ( t ) ) T , the family of linear operator A ( t ) referred to as
A ( t ) y u = 2 + sin ( π t ) 0 0 3 + sin ( 2 t ) y u   for   y u D ( A ) = R 2 ,
A 0 = ( e 2 / 4 , e 2 / 4 ) T , f ( t , q t ) = ( a 1 ( t ) f 1 ( t , y ( t ) ) , a 1 ( t ) f 2 ( t , u ( t ) ) ) T , and g ( t , q t ) = ( a 2 ( t ) σ 1 ( y ( t ) ) , a 2 ( t ) σ 2 ( u ( t ) ) ) T ; we transform the system (13) into the form (1). The evolution family { Q ( t , s ) , t s } generates by { A ( t ) , t R } is expressed as
Q ( t , s ) y u = exp ( 2 ( t s ) s t sin ( π r ) ) d r 0 0 exp ( 3 ( t s ) + s t sin ( 2 r ) d r ) y u
and satisfy Q ( t , s ) exp ( t s ) 2 for t s (i.e M = 1 and δ = 1 2 ). Now, we verify that the vector valued-processes f , g satisfies condition ( H 0 ) and the global Lipschitz conditions. First, note that for ( t , y ) ( 0 , ) × Ξ , we have
f i ( t , e i k ω y ) = e i k ω f i ( t , y )   and   σ i ( t , e i k ω y ( t ) ) = e i k ω σ i ( t , y ) , i = 1 , 2 .
For any t ( 0 , ) , q = ( y , u ) T Ξ 2 ,
E f ( t + 1 , q ) e i k ω f ( t , e i k ω q ) 2 = E a 1 ( t + 1 ) f 1 ( t + 1 , y ) e i k ω a 1 ( t ) f 1 ( t , e i k ω y ) 2 + a 1 ( t + 1 ) f 2 ( t + 1 , u ) e i k ω a 1 ( t ) f 2 ( t , e i k ω u ) 2 = E a 1 ( t ) f 1 ( t + 1 , y ) a 1 ( t ) f 1 ( t , y ) 2 + a 1 ( t ) f 2 ( t + 1 , u ) a 1 ( t ) f 2 ( t , u ) 2 a 1 2 E f 1 ( t + 1 , y ) f 1 ( t , y ) 2 + f 2 ( t + 1 , u ) f 2 ( t , u ) 2 a 1 2 0 e 3 s / 2 1 2 + ( t + 1 ) 2 1 2 + ( t ) 2 d s 2 + 0 e 3 s / 2 1 1 + ( t + 1 ) 2 1 1 + t 2 d s 2 .
Hence, we obtain E f ( t + 1 , q ) e i k ω f ( t , e i k ω q ) 2 0   as   t , and similar arguments yields that
E g ( t + 1 , q ) e i k ω g ( t , e i k ω q ) 2 0   as   t .
Therefore, ( H 0 ) of Theorem 4 is also satisfied.
Now, for each q 1 = ( y 1 , u 1 ) , q 2 = ( y 2 , u 2 ) Ξ 2 , we obtain
E f ( t , q 1 ) f ( t , q 2 ) 2 = E a 1 ( t ) f 1 ( t , y 1 ( t ) ) a 1 ( t ) f 1 ( t , y 2 ( t ) ) 2 + E a 2 ( t ) f 2 ( t , u 1 ( t ) ) a 2 ( t ) f 2 ( t , u 2 ( t ) ) 2 a 1 2 E 0 e 3 s / 2 1 2 1 + 1 2 t 2 y 2 ( s ) y 1 ( s ) d s 2 + a 1 2 E 0 e 3 s / 2 1 2 1 + 1 2 ( 1 + t ) 2 u 2 ( s ) u 1 ( s ) d s 2 a 1 2 1 4 E 0 e 3 s / 2 y 2 ( s ) y 1 ( s ) d s 2 + a 1 2 1 4 E 0 e 3 s / 2 u 2 ( s ) u 1 ( s ) d s 2 a 1 2 1 4 E 0 e s 0 e s y 2 ( s ) y 1 ( s ) 2 d s + a 1 2 1 4 E 0 e s d s 0 e s u 2 ( s ) u 1 ( s ) 2 d s 1 1600 q 2 q 1 Ξ 2 .
Because σ t 1 ( y ( s ) ) = 1 2 max ( 1 , | y ( s ) | ) 1 2 + t 2 , σ t 2 ( y ( s ) ) = 1 2 max ( 1 , | y ( s ) | ) 1 2 ( 1 + t ) 2 are 1 / 2 -Lipschitz and G ( y ( s ) ) is 1-Lipschitz, similar calculations as above yield that
E g ( t , q 1 ) g ( t , q 2 ) 2 1 40 q 2 q 1 Ξ 2 .
Moreover, we note that (with L f = 1 1600 , L g = 1 40 , δ = 1 2 , L = M = 1 and A 0 2 = e 4 8 )
3 M 2 A 0 2 δ 2 + L f L δ 2 + L g L 2 δ = 3 e 4 2 + 1 400 + 1 40 0 , 11 < 1 .
For the above considerations, we conclude that the system (12) has a unique square-mean S-asymptotically Bloch type ( ( k , 1 ) , k R ) periodic mild solution.

6. Conclusions and Perspectives

In this work, we investigate the class of stochastic processes, the square-mean S-asymptotically Bloch type periodic, which is more general than other classes of stochastic processes like square-mean S-asymptotically ω -periodic processes or S-asymptotically ω - anti periodic processes introduced in the literature. We establish results about this class of stochastic processes, such as invariance of the class by composition and convolution. These facts allow us to investigate a class of stochastic evolution equations with infinite delay and piecewise constant argument, under the situation that the operator A satisfy the so-called Acquistapace–Terreni conditions, and the drift and diffusion terms satisfying suitable Lipschitz type conditions in the spatial variable (local and global) and square-mean S-asymptotically Bloch type periodic conditions, based on the Banach fixed-point theorem. The outcomes of this article provide us results more general than those existing in the literature to date, allowing us to extend deterministic results to stochastic one and processes beyond the square-mean S-asymptotically Bloch type periodic class. We proposed as a future investigation the development of the discrete analogue, another class of periodic random sequence, mean S-asymptotically Bloch type periodic random sequence, and investigation of the S-asymptotically Bloch type periodic solution for stochastic singular difference equations. This investigation will allow us to obtain even more general outcomes, and to the best of our knowledge, this class has not been introduced in the literature yet.

Author Contributions

Conceptualization, M.M.M.; Methodology, M.M.M. and A.D.; Validation, G.M.N.; Formal analysis, M.M.M. and A.D.; Writing—original draft, M.M.M. and A.D.; Writing—review & editing, G.M.N.; Supervision, G.M.N. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in the study are included in the article; further inquiries can be directed to the corresponding author.

Acknowledgments

The authors wish to express their hearty thanks to the anonymous referees for their valuable suggestions and comments.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Cooke, K.L.; Wiener, J. Retarded differential equations with piecewise constant delays. J. Math. Anal. Appl. 1984, 99, 265–297. [Google Scholar] [CrossRef]
  2. Wiener, J. Differential equations with piecewise constant delays. In Trends in Theory and Practice of Nonlinear Differential Equations (Arlington, Tex., 1982); Lecture Lecture Notes in Pure and Applied Mathematics; Dekker: New York, NY, USA, 1984; Volume 90, pp. 547–552. [Google Scholar]
  3. Wiener, J. Generalized Solutions of Functional Differential Equations; World Scientific: Singapore, 1999. [Google Scholar]
  4. Wiener, J.; Debnath, L. Boundary value problems for the diffusion equation with piecewise continuous time delay. Int. J. Math. Math. Sci. 1997, 20, 187–195. [Google Scholar] [CrossRef]
  5. Wiener, J.; Lakshmikantham, V. Excitability of a second-order delay differential equation. Nonlinear Anal. 1999, 38, 1–11. [Google Scholar] [CrossRef]
  6. Dimbour, W.; Manou-Abi, S.M. S-asymptotically ω-periodic solution for a nonlinear differential equation with piecewise constant argument via S-asymptotically ω-periodic functions in the Stepanov sense. J. Nonlinear Syst. Appl. 2018, 7, 14–20. [Google Scholar]
  7. Geng, Y.; Song, M.; Liu, M. The convergence of truncated Euler-Maruyama method for stochastic differential equations with piecewise continuous arguments under generalized one-sided Lischitz condition. J. Comput. Math. 2023, 41, 647–666. [Google Scholar]
  8. Miloševíc, M. The Euler-Maruyama approximation of solutions to stochastic differential equations with piecewise constant arguments. J. Comput. Appl. Math. 2016, 298, 1–12. [Google Scholar] [CrossRef]
  9. Song, M.H.; Zhang, L. Numerical solutions of stochastic differential equations with piecewise continuous arguments under Khasminskii-type conditions. J. Appl. Math. 2012, 2012, 696849. [Google Scholar] [CrossRef]
  10. Henríquez, H.; Pierri, M.; Tàboas, P. Existence of S-asymptotically ω-periodic solutions for abstract neutral equations. Bull. Austral. Math. Soc. 2008, 78, 365–382. [Google Scholar] [CrossRef]
  11. Henríquez, H.; Pierri, M.; Tàboas, P. On S-asymptotically ω-periodic functions on Banach spaces and applications. J. Math. Anal. Appl. 2008, 343, 1119–1130. [Google Scholar] [CrossRef]
  12. Nicola, S.; Pierri, M. A note on S-asymptotically ω-periodic functions. Nonlinear Anal. 2009, 10, 2937–2938. [Google Scholar] [CrossRef]
  13. Pierri, M.; O’Regan, D. S-asymptotically ω-periodic solutions for abstract neutral differential equations. Electron. J. Diff. Equ. 2015, 210, 1–14. [Google Scholar]
  14. Bloch, F. Überdie quanten mechanik der in kristall gittern. Z. Phys. 1929, 52, 555–600. [Google Scholar] [CrossRef]
  15. Hasler, M.F.; N’Guérékata, G.M. Bloch-periodic functions and some applications. Nonlinear Stud. 2014, 21, 21–30. [Google Scholar]
  16. Kostić, M.; Velinov, D. Asymptotically Bloch-periodic solutions of abstract fractional nonlinear differential inclusions with piecewise constant argument. Funct. Anal. Approx. Comput. 2017, 9, 27–36. [Google Scholar]
  17. Chang, Y.K.; Zhao, J. Weighted pseudo asymptotically Bloch periodic solutions to nonlocal Cauchy problems of integrodifferential equations in Banach spaces. Int. J. Nonlinear Sci. Numer. Simul. 2023, 24, 581–598. [Google Scholar] [CrossRef]
  18. Chang, Y.K.; Wei, Y. S-asymptotically Bloch type periodic solutions to some semi-linear evolution equations in Banach spaces. Acta Math. Sci. Ser. 2021, 41B, 413–425. [Google Scholar] [CrossRef]
  19. Dimbour, W. Pseudo S-asymptotically ω-periodic solution for a differential equation with piecewise constant argument in a Banach space. J. Differ. Equ. Appl. 2020, 26, 140–148. [Google Scholar] [CrossRef]
  20. Zhao, S. The S-asymptotically ω-periodic solutions for stochastic fractional differential equations with piecewise constant arguments. Electron. Res. Arch. 2023, 31, 7125–7141. [Google Scholar] [CrossRef]
  21. Bensalah, M.; Miraoui, M.; Zorgui, M. Pseudo asymptotically Bloch periodic functions: Applications for some models with piecewise constant argument. J. Elliptic Parabol. Equ. 2024, 10, 147–168. [Google Scholar] [CrossRef]
  22. Diop, A.; Mbaye, M.M.; N’Guérékata, G.M.; Chang, Y.K. On square-mean S-asymptotically Bloch type periodicity of some stochastic evolution equations. Analele Univ. Oradea Fasc. Mat. 2023, XXX, 83–112. [Google Scholar]
  23. Diop, A.; Mbaye, M.M.; Chang, Y.K.; N’Guérékata, G.M. Measure Pseudo-S-asymptotically Bloch-Type Periodicity of Some Semilinear Stochastic Integrodifferential Equations. J. Theor. Probab. 2024, 37, 2253–2276. [Google Scholar] [CrossRef]
  24. Hale, J.K.; Kato, J. Phase space for retarded equations with infinite delay. Funkc. Ekvacioj 1978, 21, 11–41. [Google Scholar]
  25. Hino, Y.; Murakami, S.; Naito, T. Functional-Differential Equations with Infnite Delay; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany, 1991; Volume 1473. [Google Scholar]
  26. Liu, J.; Song, X. Almost automorphic and weighted pseudo almost automorphic solutions of semilinear evolution equations. J. Funct. Anal. 2010, 258, 196–207. [Google Scholar] [CrossRef]
  27. Pinto, M.; Vidal, C. Pseudo-almost-periodic solutions for delayed differential equations with integrable dichotomies and bi-almost-periodic Green functions. Math. Meth. Appl. Sci. 2017, 40, 6998–7012. [Google Scholar] [CrossRef]
  28. Xiao, T.J.; Zhu, X.X.; Liang, J. Pseudo-almost automorphic mild solutions to non-autonomous differential equations and applications. Nonlinear Anal. 2009, 70, 4079–4085. [Google Scholar] [CrossRef]
  29. Zheng, F.X.; Li, H.X. Pseudo almost automorphic mild solutions to nonautonomous differential equations in the strong topology. Banach J. Math. Anal. 2022, 16, 14. [Google Scholar] [CrossRef]
  30. Bezandry, P.; Diagana, T. Almost Periodic Stochastic Processes; Springer: New York, NY, USA, 2011. [Google Scholar]
  31. Acquistapace, P.; Terreni, B. A unified approach to abstract linear parabolic equations. Tend. Sem. Mat. Univ. Padova 1987, 78, 47–107. [Google Scholar]
  32. Amann, H. Linear and Quasilinear Parabolic Problems; Birkhäuser: Berlin, Germany, 1995. [Google Scholar]
  33. Lunardi, A. Analytic Semigroups and Optimal Regularity in Parabolic Problems; PNLDE; Birkhäauser Verlag: Basel, Switzerland, 1995; Volume 16. [Google Scholar]
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

Mbaye, M.M.; Diop, A.; N’Guérékata, G.M. A Study on Square-Mean S-Asymptotically Bloch Type Periodic Solutions for Some Stochastic Evolution Systems with Piecewise Constant Argument. Mathematics 2025, 13, 1495. https://doi.org/10.3390/math13091495

AMA Style

Mbaye MM, Diop A, N’Guérékata GM. A Study on Square-Mean S-Asymptotically Bloch Type Periodic Solutions for Some Stochastic Evolution Systems with Piecewise Constant Argument. Mathematics. 2025; 13(9):1495. https://doi.org/10.3390/math13091495

Chicago/Turabian Style

Mbaye, Mamadou Moustapha, Amadou Diop, and Gaston Mandata N’Guérékata. 2025. "A Study on Square-Mean S-Asymptotically Bloch Type Periodic Solutions for Some Stochastic Evolution Systems with Piecewise Constant Argument" Mathematics 13, no. 9: 1495. https://doi.org/10.3390/math13091495

APA Style

Mbaye, M. M., Diop, A., & N’Guérékata, G. M. (2025). A Study on Square-Mean S-Asymptotically Bloch Type Periodic Solutions for Some Stochastic Evolution Systems with Piecewise Constant Argument. Mathematics, 13(9), 1495. https://doi.org/10.3390/math13091495

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