Abstract

Mild solutions generated by a -regularized family to fractional stochastic relaxation equations are studied. The main objective is to establish the existence and uniqueness of square-mean asymptotically almost automorphic mild solutions to linear and semilinear case of these equations. Under different hypotheses, some new theorems concerning the main objective are derived.

1. Introduction

Since the concept of almost automorphicity was introduced by Bochner [1], the automorphic functions have been applied to many areas such as ordinary as well as partial differential equations, abstract differential equations, functional differential equations, and integral equations; see, for example, [26]. For the details of basic theory and applications of almost automorphic functions, we refer the reader to the monographs of N’Guérékata [7, 8]. In the early eighties, N’Guérékata introduced in [9] the concept of asymptotically almost automorphic functions; that is, functions that tend to an almost automorphic function at infinity, which is obviously a generalization of almost automorphicity. Since then, this function has been developed and applied extensively; see, for example, [1014]. Recently, pseudoalmost automorphic functions were introduced by Liang et al. in [15] and they are more general than asymptotically almost automorphic functions. They have been studied and developed extensively, especially after the establishment of completeness of the space of vector-valued pseudoalmost automorphic functions under the supremum norm in [16]. For more details on these functions, we refer the reader to [1719]. Due to the importance and applications of these functions in physics, mechanics, and mathematical biology, the study of existence of almost automorphic, asymptotically almost automorphic, and pseudoalmost automorphic solutions is becoming a very attractive topic in the qualitative theory of differential equations.

For the last few decades, time-fractional differential equations have appeared as an essential tool for studying dynamics of various complex processes on anomalous phenomena in physics, finance, hydrology, and cell biology; see [2023]. The importance of using fractional methods in physics for describing slow decay processes and processes intermediate between relaxation and oscillation was stressed by Nigmatullin [24] in 1984. Various physical aspects of fractional relaxation were discussed in [25, 26]. On the other hand, the topic of almost automorphic solutions to the fractional differential equations has also attracted a lot of attention, such as in [27, 28].

Recently, there has been an increasing interest in extending certain classical deterministic results to stochastic cases. The most important reason for such a consideration is that most problems in real life are inevitably subject to some random environmental effects. Thus, stochastic models are more natural and realistic to describe phenomena in the natural science; see [29]. In a very recent paper [30], the authors extended the almost automorphic function to its corresponding square-mean almost automorphic stochastic process. Also the mean-square asymptotically and pseudoalmost automorphic process were considered in the latter. For more details on these stochastic processes, we refer the reader to [3134] and the references therein. However, to the best of the author’s knowledge, there is no literature regarding mean-square asymptotically almost automorphic solutions for fractional stochastic relaxation equations. Such equations associated with a regularized resolvent family are important in fluid dynamics; see [35, 36].

In this paper, we investigate the existence and uniqueness of square-mean asymptotically almost automorphic solutions to the fractional stochastic relaxation equations of the linear form and of the semilinear form where takes values in a separable Hilbert space , is a linear densely defined operator which is to be specified later, and is a two-sided standard one-dimensional Brownian motion defined on the filtered probability space . is the natural filtration generated by the Brownian motion and is the underlying probability measure. Here , , , are appropriate functions to be specified later.

The paper is organized as follows. In Section 2, we briefly introduce some basic notations, definitions, and lemmas which are important for the proof of our main result. Section 3 presents our main results concerning existence and uniqueness of square-mean asymptotically almost automorphic solutions to a linear and semilinear case. Two different kinds of conditions for the linear and semilinear case are considered. Section 4 concludes the work in this paper and introduces the related work in progress.

2. Preliminaries and Basic Properties

Throughout this paper, we assume that is a real separable Hilbert space, is a probability space, and is the space of all -valued random variables such that, for all , we have the expected value . So is a Banach space equipped with the norm .

We denote by the space of all continuous functions such that , and by the space of all continuous functions such that uniformly for in any compact subset of .

Definition 1. A stochastic process is said to be mean-square continuous or continuous in if

Definition 2. A mean-square continuous process is said to be square-mean almost automorphic (mean-square is defined by taking the mean of square of an object; square-mean is misnomer since it indicates taking square of the mean. However, I have retained it in paper due to the fact that the terminology is used in all primer papers on this subject) if, for every sequence of real numbers , there is a subsequence and a stochastic process such thatfor each .

Let be the collection of all square-mean almost automorphic stochastic processes. There are several properties of the space .

Lemma 3 (see [30]). If , , and are all square-mean almost automorphic stochastic processes, then (1) is square-mean almost automorphic;(2) is square-mean almost automorphic for every scalar ;(3)there exists a constant such that . That is, is bounded in .

Lemma 4 (see [30]). is a Banach space when it is equipped with the norm for .

Definition 5. A function , , which is jointly continuous, is said to be square-mean almost automorphic in for each if, for every sequence of real numbers , there exists a subsequence such that, for some function , the following hold: for each and each .

Lemma 6 (see [30]). Let , be square-mean almost automorphic in for each and assume that satisfies a Lipschitz condition in the following sense: for all and for , where is independent of . Then, for any square-mean almost automorphic process , the stochastic process given by is square-mean almost automorphic.

Definition 7. A continuous function is said to be square-mean asymptotically almost automorphic if it can be written as , where and . Let denote the collection of all such functions.

Definition 8. A continuous function is said to be square-mean asymptotically almost automorphic in uniformly for in compact subsets of if it can be written as , where and . Let denote the collection of all such functions.

Let and . Also let denote the collection of all such functions satisfying the condition that is uniformly continuous on uniformly for . The following properties concern the spaces and .

Lemma 9 (see [34]). is a Banach space with the norm for .

Lemma 10 (see [34]). Let and with . Then .

Definition 11. Let be a Banach space; , , and let , . Assume that is a linear operator with domain . A strongly continuous family of bounded linear operators from into is called an -regularized resolvent family on (or simply -regularized family) having as a generator if the following hold: (1).(2) and for all and .(3), , .

3. Main Results

In this section, based on the definitions and lemmas given in the previous section, we derive conditions for existence and uniqueness of square-mean asymptotically almost automorphic mild solutions to fractional stochastic relaxation equations (1) and (2).

3.1. Linear Fractional Stochastic Relaxation Equation

To begin with, we consider linear fractional stochastic relaxation equation (1) where is the generator of a -regularized family with and . Here is the Mittag-Leffler function.

Definition 12. An -progressively measurable process is called a mild solution to (1) if it satisfies the following stochastic integral equation:

In order to get main result in this section, we need the following lemmas.

Lemma 13. Let be the -regularized family generated by of (1) and , which is the kernel of the operator . Then the function over defined by is an element of .

Proof. Since , by Definition 11, we have which shows that and this completes the proof.

Lemma 14. Let be the -regularized family generated by of (1) and let , be -valued square-mean asymptotically almost automorphic functions; then functions and defined by are square-mean asymptotically almost automorphic; that is, .

Proof. First, we claim that . Obviously, is continuous by definition. Since is a -valued function, we have for all . Moreover, , and thus there exist and such that . Thus, we note that Let We now show that . Since , for every real sequence , there exist a subsequence and a function such that, for all , On the other hand, let Then, it holds which shows that .
Similarly, is obtained. Thus, is proved.
Next, we prove that . Since , for all , there exists a constant such that, for all , . Thus, for all , we have which indicates that and this means that . Recalling that for all , we conclude that .
There remains claiming that . From its definition, we know that is continuous. Also since , we have and such that . We observe that Let We first show that . Since , for every real sequence , there exists subsequence and a function such that, for all , Let we obtain where for each and . We know that is also a Brownian motion and has the same distribution as . Thus, we get which implies that .
Analogously, . It means .
Next, we show that . Since , for all , there exists a constant such that, for all , . Then, for all , we compute which implies that and then . Therefore, since . Thus the proof is complete.

The main result concerning linear fractional stochastic relaxation equation (1) is the following theorem.

Theorem 15. If and , are -valued square-mean asymptotically almost automorphic functions, then every mild solution of (1) is asymptotically almost automorphic.

Proof. From Definition 12, we have the following mild solution to linear fractional stochastic relaxation equation (1): where , and are the expressions given in Lemmas 13 and 14. Then has decomposition of and which are in and , respectively. This completes the proof.

3.2. Semilinear Fractional Stochastic Relaxation Equations

In this section, we consider the existence and uniqueness of a square-mean asymptotically almost automorphic mild solution of (2) where has the same meaning as in the linear case.

Definition 16. An -progressively measurable process is called a mild solution to (2) if it satisfies the following stochastic integral equation:

Here when we consider that and , are -valued square-mean asymptotically almost automorphic functions; the results derived in the last section can be generalized to semilinear case.

In order to establish the existence and uniqueness result for the semilinear case with more flexible initial conditions and coefficients, we need the following assumptions and lemma:(1)There exists an -regularized family such that for all and some constant .(2)The function and there exists a function such that, for each and , , (3)The function and there exists a function such that, for each and , , (4).

Lemma 17. Let be the -regularized family generated by of (2) and let assumption (1) hold. Then the function defined by is an element of .

Proof. Similar to Lemma 13, we have which shows that and this completes the proof.

Theorem 18. Assume that the assumptions (1)–(4) hold. Then there exists a unique square-mean asymptotically almost automorphic mild solution to (2).

Proof. Let . Then is a closed subspace of . We define an operator on by First, let us check the fact that . It is obvious that is continuous for . Define . It follows from assumptions (2) and (3) that . From Lemma 10, we get and . Now, by Lemma 14, we have Combining this with Lemma 17, we conclude that . Next we need to show that is a contraction map from into . We can take for all and get where the last inequality is from assumption (4). This indicates that for any given .
For and , we have Hence From assumption (4), we know that there exists a such that This implies that is a contraction map from into . So by the Banach fixed point theorem, has a unique fixed point in , which indicates that there exists a square-mean asymptotically almost automorphic mild solution to (2).

4. Conclusion

In this paper, the square-mean asymptotically almost automorphic solutions to abstract fractional stochastic relaxation equations have been investigated. Based on -regularized family of bounded and linear operators, mild solutions to fractional stochastic relaxation equations are derived by a variation of constant formula. By using stochastic analysis and the Banach fixed point theorem, a set of sufficient conditions are obtained to prove the existence and uniqueness of square-mean asymptotically almost automorphic solutions to fractional stochastic relaxation equations. My related investigation on the asymptotical behaviors of solutions to a class of fractional stochastic differential equations with nonlocal initial conditions is still in progress.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The author wishes to thank Dr. Marjorie Hahn for her help and advice and the author’s peer L. Chlebak for discussions and valuable suggestions after reading first version of this paper as well as Dr. Patricia Garmirian for discussions. The author would also like to thank the editor for his suggestion on the clarity of the paper.