Existence uniqueness of mild solutions for ψ-Caputo fractional stochastic evolution equations driven by fBm

*Correspondence: yangm58@mail2.sysu.edu.cn 1College of Mathematics, Taiyuan University of Technology, 030024, Taiyuan, China Abstract In this paper, we investigate the existence uniqueness of mild solutions for a class of ψ -Caputo fractional stochastic evolution equations with varying-time delay driven by fBm, which seems to be the first theoretical result of the ψ -Caputo fractional stochastic evolution equations. Alternative conditions to guarantee the existence uniqueness of mild solutions are obtained using fractional calculus, stochastic analysis, fixed point technique, and noncompact measure method. Moreover, an example is presented to illustrate the effectiveness and feasibility of the obtained abstract results.


Introduction
Fractional differential equations grew to be a popular research topic for their wide applications in engineering, mathematics, physics, bio-engineering, and other applied sciences. Considerable work has been done in this area in recent years, both in theory and applications. Citing all papers and books of this field will be impossible. Therefore, here we only recommend the readers interested in this area refer to [1, 3, 8-12, 16, 21, 24, 27-29, 33-35] for more details on the theory and applications of fractional differential equations.
In particular, Kiryakova [18] proposed a theory of generalized fractional calculus (generalizations of fractional integrals and derivatives) and discussed its applications. We can find generalized fractional integrals and derivatives with specific functions ψ(t) and with weights w(t) in [18] and [25]. To be specific, it can be easily noticed that when ψ(t) = t, w(t) = 1, ψ-Riemann-Liouville fractional derivative coincides with the classical Riemann-Liouville fractional derivative, ψ-Caputo fractional derivative is actually the classical Caputo fractional derivative. When ψ(t) = ln t, w(t) = 1, ψ-Riemann-Liouville fractional derivative coincides with the Hadamard fractional derivative. On the other hand, Almeida [2] studied some properties of ψ-Caputo fractional derivative by considering the Caputo fractional derivative of a function with respect to another function ψ. The advantage of this new definition of the fractional derivative is that a higher accuracy of the model could be achieved with the choice of a suitable function ψ. In addition, by applying Laplace transform and probability density functions, Suechoei and Sa Ngiamsunthorn [26] studied the local and global existence and uniqueness of mild solutions to the following fractional evolution equation of the form: where C 0 D ψ α considered in this work is in the sense of Caputo fractional derivative with respect to a function ψ which is more general than the classic Caputo fractional derivative. A is the infinitesimal generator of a uniformly bounded C 0 -semigroup {S(t)} t≥0 on a Banach space X, f : [0, +∞) × X → X is a given function satisfying some assumptions.
Stochastic differential equations have a wide variety of applications in many fields such as economics, finance, engineering, and social sciences, thus they are viewed as better tools for describing the real-life phenomena than ordinary differential equations since noise or stochastic perturbation is unavoidable in nature as well as in man-made systems, see [4,6,7,22,31,32]. Recently, the stochastic differential equations driven by fBm have been investigated by many authors, see [5,13,15,19,20,23,30,36] and the references therein.
However, it should be stressed that the existence uniqueness of mild solutions for ψ-Caputo fractional stochastic evolution equations is fairly scarce in contrast with the classical Caputo fractional stochastic evolution equations. This is greatly attributed to the relatively poor understanding of ψ-Caputo fractional derivative. In addition, many works focused on fractional stochastic evolution equations through various fixed point theorems when the corresponding semigroups are compact, which is convenient to obtain the corresponding compact resolvent operators. But for the case that the corresponding semigroups are noncompact, there are few results. Especially, there are no results considering the ψ-Caputo fractional stochastic differential equations driven by fBm. Therefore, inspired by the above discussions, the scope of this work is to study the existence uniqueness of mild solutions for the following ψ-Caputo fractional stochastic evolution equations with varying-time delay driven by fBm with the corresponding semigroup be compact or not: takes values in a separable Hilbert space X; A : D(A) ⊂ X → X is the infinitesimal generator of a C 0 semigroup {S(t)} t≥0 on a real separable Hilbert space X. Let Y be another separable Hilbert space. Let L(X, Y ) denote the space of all bounded linear operators from X to Y . For convenience, we use the notation · to denote the norms in X, Y and L(X, Y ) when no confusion possibly arises. f : J × X → X is a function satisfying some specific assumptions given in (H 2 ). B H is a fractional Brownian motion with Hurst parameter H ∈ ( 1 2 , 1). The initial data φ ∈ C([-τ , 0], L 2 ( , X)), where L 2 ( , X) denote the collection of all stronglymeasurable, square-integrable, X-valued random variables. Obviously, L 2 ( , X) is a Banach space equipped with the norm x(·) L 2 ( ,X) = (E|x(·)|) 1 2 . Let C := C( [-r, b], L 2 ( , X)) be the Banach space of all continuous functions ξ from [-τ , b] into L 2 ( , X), equipped with the supremum norm ξ C = sup y∈ [-τ ,b] (E ξ (y) 2 ) 1 2 . In the sequel, L 0 2 ( , X) denotes the space of F 0 -measurable, X-valued, and square integrable stochastic process.
The paper is organized in the following way. In Sect. 2, we give some notations and useful concepts about fBm and fractional calculus. Section 3 aims to establish the existence of mild solutions for system (1.2) with Hurst parameter H ∈ (1/2, 1) by using the fixed point theorem and noncompact measure. In Sect. 4, we give an example to illustrate the application of the obtained abstract results. The conclusion is given in Sect. 5.

Preliminaries
In this section, we introduce some notations, definitions, preliminary facts for further convenience.
Before going further, we begin by recalling some basic facts about fBm and Wiener integral with respect to fBm.
Let ( , F, P) be a complete probability space. Consider a time interval [0, b] with arbitrary fixed horizon b, and let {B H (t), t ∈ J} be one-dimensional fBm with Hurst parameter H ∈ (0, 1). This means by definition that B H is a continuous centered Gaussian process with covariance function In the rest of the paper, we always assume 1 2 < H < 1. Consider the square integrable kernel given by , t > s, β(·, ·) denotes the beta function. We take K H (s, t) = 0 for t ≤ s, then it is easy to verify that We now consider an fBM {B H (t), t ∈ [0, b]}. We denote by ξ the set of step functions on [0, b]. Let H be a Hilbert space defined as the closure of ξ with respect to the scalar product The mapping 1 [0,t] → {B H (t)} can be extended to an isometry between H and the first Wiener chaos of the fBmspan L 2 ( ) {B H (t), t ∈ J}, and we will denote by B H (ϕ) the image of ϕ under this isometry.
Let us define the linear operator K * H from ξ to L 2 ([0, b]) by Then K * H is an isometry between H and L 2 ([0, b]).
Then ω is a Wiener process, and B H has the integral representation Assume that there exists a complete orthogonal system The infinite dimensional fBM on Y can be defined by using covariance operator Q as where B H n (t) are one-dimensional standard fractional Brownian motions mutually independent on ( , F, P). Consider the space L 0 2 : and that the space L 0 2 equipped with the inner product ϕ, Now we state some essential facts of fractional operators and Kuratowski s measure.
The ψ-Riemann-Liouville fractional integral operator of order α of a function f is defined by It is obvious that when ψ(t) = t, (2.2) is the classical Riemann-Liouville fractional operator. When ψ(t) = ln t, (2.2) is the Hadamard fractional operator.
< ∞, then the aforementioned sum in (2.1) is well defined as an X-valued random variable, and we have

Definition 2.4 ([32]
) Let X be a Banach space and x be the bounded set of X. The Kuratowski measure of noncompactness is the map α :

Lemma 2.3 ([33])
The noncompact measure α(·) satisfies: for every x ∈ X and every nonempty subset D ∈ X; We use α(·) and α C (·) to denote the Kuratowski measure of noncompactness on the bounded set of X and C(  For C 0 semigroup {S(t)} t≥0 , the following property will be used: There is M ≥ 1 such that

4)
is equivalent to the integral equation

5)
Proof We can readily obtain the result from Definition 2.3 and Theorem 2.1. Here we omit it.

Lemma 2.9
If then we have Proof The proof is similar to the proof of Lemma 3.1 in [2], we can obtain the result by doing the necessary adjustments. We omit it here.

Lemma 2.10 ([2])
The operators S ψ α and T ψ α have the following properties: (i) For any fixed t ≥ s ≥ 0, S ψ α (t, s) and T ψ α (t, s) are bounded linear operators with The operators S ψ α and T ψ α are strongly continuous for all t ≥ s ≥ 0, that is, for every

Main results
In this section, we present and prove the existence of mild solutions for system (1.2). To develop our results, we first give the concept of mild solution for system (1.2).

Definition 3.1
An F t -adapted and measurable stochastic process x ∈ L 0 2 ( , X) is said to be a mild solution of system (1.2) if (1) x(t) is measurable, F t -adapted, and has càdlàg path on 0 ≤ t ≤ b almost everywhere; (2) for t ∈ [-τ , 0], x(t) = φ(t); (3) for each 0 ≤ t ≤ b, x(t) satisfies the following integral equation: Before stating and proving the main results, we introduce the following hypotheses: (H 0 ) Semigroup S(t) is compact for each t > 0; (H 1 ) Function ψ(t) ∈ C 2 (J, R) and ψ (t) > 0, ψ (t) > 0 for ∀t ∈ J; (H 2 ) (2a) For each x ∈ X, the function f (·, x) : J → X is strongly measurable with respect to t, and for each t ∈ J, the function f (t, ·) : X → X is continuous with respect to x; (2b) There exist a continuous nondecreasing function μ : [0, ∞) → (0, ∞) and constant L such that, for any (t, x) ∈ J × X, we have We define the operator : C → C as follows: According to assumptions (H 1 ) and (H 2 ) and Lemma 2.10, we can obtain

Now, from assumptions (H 1 ) and (H 3 ), we can get
In the following, we give the first existence result for system (1.2) with the corresponding semigroup be compact.

Theorem 3.1 Suppose that hypotheses (H 0 )-(H 3 ) hold, then system (1.2) has at least one mild solution defined on J provided that
C ≤ q}, obviously, B q is a bounded, closed, convex set in C. We divide the proof into three steps.
Step 1. We shall show that there exists a constant r = r(a) such that (B r ) ⊂ B r . In fact, if it is not true, then for each positive constant r there exists somex ∈ B r such that (x) / ∈ B r , i.e., Dividing both sides by r and taking r → ∞, we get which is a contradiction to the hypotheses of Theorem 3.1. Thus, there exists r such that maps B r into itself.
Step 2. is continuous on B r . For any x n , x ∈ B r , n = 1, 2,..., with lim n→∞ x nx 2 C = 0, we get lim n→∞ x n (t) = x(t) for t ∈ J. Thus, by assumption (H 2 ), we can easily get is continuous on B r .
Step 3. is a completely continuous operator. We subdivide Step 3 into three claims. Claim 1. maps bounded sets into uniformly bounded sets in C. Actually, we only need to show that there exists a positive constant such that, for each x ∈ B r , one has x C ≤ . As a matter of fact, for each t ∈ J, Step 1 enables us to obtain this assertion.
For I 1 , from the strong continuity of {S ψ α (t)} t≥0 , we can draw the conclusion. For I 2 , letting t 2t 1 → 0 leads to Similarly, we can get I 3 tends to zero as In addition, we can derive that, as t 2t 1 → 0, Similarly, we can obtain I 7 → 0 as t 2t 1 → 0. Therefore, we derive that is equicontinuous on B r . Claim 3. V (t) = {( x)(t), x ∈ B r } is relatively compact in X. Let 0 < t ≤ b be fixed, for ∀λ ∈ (0, t) and ∀δ > 0, x ∈ B r , define an operator From the compactness of S(λ α δ), λ α δ > 0, we obtain that, for ∀λ ∈ (0, t) and ∀δ > 0, the set V ε,δ (t) = {( λ,δ x)(t), x ∈ B r } is relatively compact in X. Moreover, for each x ∈ B r , from (H 1 )-(H 3 ), we have where we have used the equality The right-hand side of the above inequality tends to 0 as λ, δ → 0. So we can obtain E ( x)(t)-( λ,δ x)(t) 2 → 0 as λ, δ → 0 + . Since there are relatively compact sets arbitrarily close to the set V (t) = {( x)(t), x ∈ B r }, we consequently derive that V (t) = {( x)(t), x ∈ B r } is also a relatively compact set in X. From Claims 1-3 and the Arzola-Ascoli theorem, we deduce that is a completely continuous map, then Schauder's fixed point theorem enables us to claim that the operator equation x = x has at least one fixed point on B r which is just a mild solution for system (1.2). The proof is complete.
Compared with Theorem 4.1 in [26], the condition imposed on f is easier to be satisfied in this theorem.
To establish the existence results when the associated C 0 -semigroup is not necessary compact, we first require the following assumptions where B r is still defined as in Theorem 3.1.
(H 0 ) S(t) is continuous in the uniform operator topology for t ≥ 0, and {S(t)} t≥0 is uniformly bounded, i.e., there exists M > 1 such that sup t∈[0,+∞) |S(t)| < M; (H 4 ) There exists a positive function L f ∈ L 1 (J, R + ) such that, for ∀x, y ∈ C, Next, we present our second existence uniqueness result for system (1.2) based on the Banach contraction principle in the case that semigroup {S(t)} t>0 is not necessary compact. Proof We omit the proof here since it can be easily verified.  To give our last existence results, we require the following assumptions where , B r are still defined as in Theorem 3.1.
To end this section, we shall present our last existence uniqueness theorem for system (1.2).

Conclusion
The aim of this manuscript was to achieve sufficient conditions to ensure the existence and uniqueness of mild solutions for a class of ψ-Caputo fractional stochastic evolution equations with varying-time delay driven by fBm using the fixed point technique, noncompact measure method, and stochastic analysis when the associated C 0 -semigroup is compact or not. The obtained results generalized the classical Caputo fractional derivative case. Also, we provided an example to illustrate our results. In addition, one interesting question is to study simultaneous finite dimensional exact and approximate controllability (finite-approximate controllability) of ψ-Caputo fractional stochastic differential inclusions driven by fBm or other stochastic noise which will be treated in the future.