- Research
- Open access
- Published:
Stepanov-like pseudo almost automorphic solution to a parabolic evolution equation
Advances in Difference Equations volume 2015, Article number: 341 (2015)
Abstract
In this paper, the parabolic evolution equation \(u'(t)+A(t)u(t)=f(t)\) in a reflexive real Banach space is considered. Assuming strong monotonicity, pseudo almost automorphy and other appropriate conditions of the operators \(A(t)\) and Stepanov-like pseudo almost automorphy of the forced term \(f(t)\), we obtain the Stepanov-like pseudo almost automorphy of the solution to the evolution equation by using the almost automorphic component equation method. This paper extends a known result in the case where \(A(\cdot)\) and f are almost automorphic in certain senses. Finally, a concrete example is given to illustrate our results.
1 Introduction
The concept of almost automorphy is a generalization of almost periodicity. It has been introduced by Bochner in relation to some aspects of differential geometry [1–3]. Since then this notion has been generalized in different directions. For example, Veech [4] has studied almost automorphic functions on groups, Zaki [5] provided a clear presentation of the study of (weakly) almost automorphic functions in a Banach space. N’Guérékata introduce asymptotically almost automorphic functions and presented these topics before 2005 in his monographs [6, 7].
Recently, more general types of almost automorphy are developed (see Table 1 and the references cited therein). For clarity, the relationship between the various almost automorphy is depicted in Figure 1. It is worth mentioning that Zheng and Ding [8] have showed the completeness of \(WPAA\) function space, which is important progress in this area.
With the development of the theory of almost automorphy, its applications have attracted a great deal of attention of many mathematicians due to their significance and applications in physics, mathematical biology, control theory, and so on. The existence and uniqueness of (pseudo) almost automorphic type solution has been one of the most attracting topics in the context of various kinds of abstract differential equations [12, 13, 15], functional differential equations [16, 17], integro-differential equations [18, 19] and fractional differential equations [20–22]. For more on these studies, we refer the reader to the references cited therein.
The abstract parabolic evolution equation can be applied to many self-organized models in the real world, such as semiconductor model, forest kinematic model, chemotaxis model, Lotka-Volterra competition model, and so on. The study of fixed point, almost periodic, and almost automorphic type solution of a parabolic evolution has practical significance. Let X be a separable reflexive embedded real Banach space. In this paper, we consider a Stepanov-like pseudo almost automorphic solution to a parabolic evolution equation of the form
where the operator \(A(t):\mathbf{X}\rightarrow\mathbf{X}^{\ast}\) is strongly monotone, semicontinuous, \(A(\cdot)\) is operator valued pseudo almost automorphic and the forced term \(f\in L_{\mathrm{loc}}^{p} (\mathbb {R};\mathbf{X}^{\ast}) \) (\(1\leq p < \infty\)) is Stepanov-like pseudo almost automorphic.
Let \(B(\cdot)\) and \(g(\cdot)\) be the almost automorphic components of \(A(\cdot)\) and \(f(\cdot)\), respectively. We call
the almost automorphic component equation of (1). N’Guérékata and Pankov [11] have studied the almost automorphic solution to (2). Since Stepanov-like pseudo almost automorphy is more general than almost automorphy (see Figure 1), this paper is an extension of their results.
To show the Stepanov-like pseudo almost automorphy of a bounded solution u to (1), we link up (1) with (2). More explicitly, we first show that \(B(t)\) also satisfies the conditions assumed on \(A(t)\) when \(A(\cdot)\) is uniformly continuous. Thus (2) admits an almost automorphic solution v by N’Guérékata and Pankov’s results in [11]. Second, we subtract (2) from (1) and show that \(u-v\) is a Stepanov-like ergodic perturbation. We call this method the almost automorphic component equation method. As auxiliary tools for this method, we explore some properties of uniformly continuous (Stepanov-like) pseudo almost automorphic functions. These properties also play a role when we reduce the solution of (1) from Stepanov-like pseudo almost automorphy to pseudo almost automorphy.
This paper is organized as follows. In Section 2, we present the preliminaries on almost automorphic type functions as well as some examples. We explore in Section 3 some properties of uniformly continuous (Stepanov-like) pseudo almost automorphic functions, which are auxiliary for our main results in Section 4. Finally, an example is given to illustrate our results.
2 Almost automorphic type functions
Let X be a real Banach space with the norm \(\|\cdot\|\). \(C (\mathbb{R},\mathbf{X})\) denotes the space of all continuous functions from \(\mathbb{R}\) into X, and \(BC (\mathbb {R};\mathbf{X})\) consists of the bounded ones in \(C (\mathbb {R},\mathbf{X})\). Equipped with the sup-norm \(\|x\|_{\infty}=\sup_{t\in \mathbb{R}}\|x(t)\|\), \(BC (\mathbb{R};\mathbf{X})\) is a Banach space. \(C _{u}(\mathbb{R};\mathbf{X})\) denotes the set of all uniformly continuous functions in \(C (\mathbb{R};\mathbf{X})\). \(L_{\mathrm{loc}}^{p}(\mathbb{R};\mathbf{X})=\{f:\mathbb{R}\rightarrow \mathbf{X} | f \mbox{ is measurable and } \int_{K}\|f(t)\|^{p}\,\mathrm{d}t <+ \infty \mbox{ for each compact subset } K\subset\mathbb{R}\}\).
2.1 (Pseudo) almost automorphic functions
Definition 2.1
[2]
A function \(f\in C (\mathbb{R},\mathbf{X})\), is said to be almost automorphic in Bochner’s sense if for every sequence of real numbers \(\{s_{n}'\}\), there exists a subsequence \(\{s_{n}\}\) such that
is well defined for each \(t\in\mathbb{R}\), and
for each \(t\in\mathbb{R}\). Denote by \(AA (\mathbf{X})\) the set of all such (Bochner) almost automorphic functions.
If the convergences in this definition are uniform on \(\mathbb{R}\), then f is almost periodic in the classical Bochner sense.
Theorem 2.2
([6], Theorem 2.1.3)
-
(i)
If \(f\in AA (\mathbf{X})\), then the range \(R _{f}:=\{f(t):t\in\mathbb{R}\}\) is relatively compact in X, thus f is bounded;
-
(ii)
(translation invariance) If \(f\in AA (\mathbf {X})\), then \(\tau_{\alpha}f\in AA (\mathbf{X})\) where \(\tau _{\alpha}f(\cdot)=f(\cdot-\alpha)\);
-
(iii)
Equipped with the sup-norm \(\|\cdot\|_{\infty}\), \(AA (\mathbf{X})\) is a Banach space.
Remark 2.3
The function g in Definition 2.1 is measurable but not necessary continuous. However, if the convergences above are uniformly on compact intervals, i.e. in the Fréchet space \(C (\mathbb{R},\mathbf{X})\), then g is continuous, which implies that f is uniformly continuous on \(\mathbb{R} \) (cf. [23], Theorem 2.6). In the sequel, we will denote by \(AA _{u}(\mathbf{X})\) the closed subspace of all functions \(f\in AA (\mathbf{X})\) with \(g\in C (\mathbb{R},\mathbf{X})\).
Example 2.4
The function
is almost automorphic but not in \(AA _{u}(\mathbb{R})\), since it is not uniformly continuous.
Definition 2.5
[4]
A sequence \(x\in l^{\infty}(\mathbf{X})\) is said to be almost automorphic if for any sequence of integers \(\{s_{n}'\}\), there exists a subsequence \(\{s_{n}\}\) such that
for each \(p\in\mathbb{Z}\).
Example 2.6
([4], p.720)
Let θ be an irrational real number. For \(n\in\mathbb{Z}\), \(\cos2\pi n \theta\) is never zero, and one can define
The sequence \(\{f_{n}\}\) is almost automorphic but not almost periodic.
Define the function
Then the function \(f\in AA _{u}(\mathbb{R})\).
Definition 2.7
[24]
A function \(\phi\in BC (\mathbb{R};\mathbf{X})\) is named an ergodic perturbation if
We denote the set of all such functions by \(PAP _{0}(\mathbf{X})\).
Definition 2.8
A function \(f\in C (\mathbb{R};\mathbf{X})\) is called pseudo almost automorphic if it has the decomposition
where \(g\in AA (\mathbf{X})\) and \(\phi\in PAP _{0}(\mathbf {X})\). Denote by \(PAA (\mathbf{X})\) the set of all such pseudo almost automorphic functions. The functions g and ϕ are called the almost automorphic component and ergodic perturbation of f, respectively.
Obviously, both \(PAP _{0}(\mathbf{X})\) and \(PAA (\mathbf {X})\) are translation invariant. The following theorem was given by Basit, Zhang and Xiao et al. [25, 26] independently.
Theorem 2.9
-
(i)
\(PAA (\mathbf{X})= AA (\mathbf{X})\oplus PAP _{0}(\mathbf{X})\), i.e. the decomposition in Definition 2.8 is unique.
-
(ii)
Let \(f\in PAA (\mathbf{X})\) and g be its almost automorphic component. Then \(\{g(t):t\in\mathbb{R}\}\subset\overline{\{ f(t):t\in\mathbb{R}\}}\).
-
(iii)
\(PAA (\mathbf{X})\) is a Banach space equipped with the sup-norm \(\|\cdot\|_{\infty}\).
Example 2.10
Let \(\alpha\in[0,\infty)\) and \(\gamma\in(0,\infty)\). It is not difficult to show that
is a pseudo almost automorphic function.
2.2 Stepanov-like (pseudo) almost automorphic functions
This subsection is devoted to (pseudo) almost automorphic functions in the sense of Stepanov. We let \(1\leq p <\infty\) in this subsection.
Definition 2.11
[11]
The Bochner transform \(f^{b}(t,s)\), \(t\in\mathbb{R}\), \(s\in[0,1]\), of a function \(f:\mathbb{R}\rightarrow\mathbf{X}\), is defined by \(f^{b}(t,s)=f(t+s)\).
Definition 2.12
[11]
The space \(BS ^{p}(\mathbf{X})\) of Stepanov bounded functions, with exponent p, consists of all measurable functions \(f:\mathbb {R}\rightarrow\mathbf{X}\) such that \(f^{b}\in L^{\infty}(\mathbb{R};L^{p}(0,1;\mathbf{X}))\). This is a Banach space with the norm:
Definition 2.13
-
(i)
[11] The space \(AS ^{p}(\mathbf{X})\) of Stepanov-like almost automorphic functions consists of all \(g\in BS ^{p}(\mathbf{X})\) such that \(g^{b}\in AA _{u}(L^{p}(0,1;\mathbf{X}))\).
-
(ii)
[13] The space \(PAP _{0}^{p}(\mathbf{X})\) of Stepanov-like ergodic perturbation functions consists of all \(\phi\in BS ^{p}(\mathbf{X})\) such that \(\phi ^{b}\in PAP _{0}(L^{p}(0,1;\mathbf{X}))\).
-
(iii)
[13] The space \(PAA ^{p}(\mathbf{X})\) of Stepanov-like pseudo almost automorphic functions consists of all \(f\in BS ^{p}(\mathbf{X})\) such that \(f=g+\phi\) where \(g\in AS ^{p}(\mathbf{X})\), \(\phi\in PAP _{0}^{p}(\mathbf{X})\). We still call g and ϕ the almost automorphic component and ergodic perturbation of f, respectively.
Theorem 2.14
([11], Theorem 2.3 and Remark 2.4, and [27], Theorems 3.2 and 3.3)
-
(i)
\(AS ^{p}(\mathbf{X})\) and \(PAA ^{p}(\mathbf {X})\) are Banach spaces with the norm \(\|\cdot\|_{S^{p}}\);
-
(ii)
\(AS ^{p}(\mathbf{X})\supset AA (\mathbf{X})\);
-
(iii)
\(PAA ^{p}(\mathbf{X})\supset PAA (\mathbf{X})\).
Example 2.15
-
(i)
[11] Let \(\{f_{n}\}\subset\mathbb{R}\) be an almost automorphic sequence, and \(\epsilon\in(0,\frac{1}{2})\). Let \(f(t)=f_{n}\) if \(t\in(n-\epsilon,n+\epsilon)\) and \(f(t)=0\) otherwise. Then \(f\in AS ^{p}(\mathbb{R})\) for all \(p\in[1,\infty)\) but \(f\notin AA (\mathbb{R})\).
-
(ii)
For a discontinuous Stepanov-like pseudo almost auromorphic function, we refer the readers to [27], Example 3.6.
3 Uniformly continuous (Stepanov-like) pseudo almost automorphic functions
As the examples in Section 2 indicated, pseudo almost automorphic functions may be not uniformly continuous and the ones in the sense of Stepanov may even be not continuous. It is interesting to investigate these functions under uniform continuity condition. Moreover, these results turn out to be useful in the next section when we deal with equation (1).
Proposition 3.1
Let \(1\leq p<\infty\). Suppose \(f\in PAA ^{p}(\mathbf{X})\cap C _{u}(\mathbb{R};\mathbf{X})\) and \(f=g+\phi\) where \(g\in AS ^{p}(\mathbf{X})\) and \(\phi\in PAP _{0}^{p}(\mathbf {X})\). Then g and ϕ are also in \(C _{u}(\mathbb{R};\mathbf{X})\).
Proof
Since \(f\in C _{u}(\mathbb{R};\mathbf{X})\), for any \(\epsilon>0\) there exists a \(\delta=\delta(\epsilon)>0\) such that
For all \(t\in\mathbb{R}\), by Theorem 2.9(ii), there exists a sequence \(\{t_{n}\}\subset\mathbb{R}\) such that \(f^{b}(t_{n},\cdot)\rightarrow g^{b}(t,\cdot)\) in \(L^{p}(0,1;\mathbf{X})\) as \(n\rightarrow\infty\). Then there exists a subsequence \(\{t_{n_{k}}\}\subset\{t_{n}\}\) such that \(f^{b}(t_{n_{k}},\cdot)\rightarrow g^{b}(t,\cdot)\) almost everywhere in \([0,1]\) as \(k\rightarrow\infty\). So we can choose a finite δ-net \(\{s_{1},s_{2},\ldots,s_{m}\}\) of the interval \([0,1]\) such that \(f^{b}(t_{n_{k}},s_{j})\) converges to \(g^{b}(t,s_{j})\) as \(n\rightarrow\infty\) for each \(j\in\{1,2,\ldots,m\}\). Let the integer \(K=K(\epsilon)>0\) satisfy
For each \(s\in[0,1]\), there exists a \(j(s)\in\{1,2,\ldots,m\}\) such that \(|s-s_{j(s)}|<\delta\). Then for any \(k>K\) and \(p\in\mathbb{N}\), we have
This implies that \(\{f^{b}(t_{n_{k}},\cdot)\}\) is a Cauchy sequence in \(C ([0,1];\mathbf{X})\) under the sup-norm. Obviously, it converges to \(g^{b}(t,\cdot)\).
For arbitrary \(s_{1},s_{2}\in[0,1]\) satisfying \(|s_{1}-s_{2}|<\delta\), we have
Since the δ is independent of t, it follows that g is uniformly continuous on \(\mathbb{R}\). Therefore, so is \(\phi=f-g\). □
In view of Theorem 2.14(iii) that \(PAA ^{p}(\mathbf{X})\supset PAA (\mathbf{X})\), we get the following result.
Corollary 3.2
Let \(f\in PAA (\mathbf{X})\cap C _{u}(\mathbb{R};\mathbf{X})\) and \(f=g+\phi\) where \(g\in AA (\mathbf{X})\) and \(\phi\in PAP _{0}(\mathbf {X})\). Then g and ϕ are also in \(C _{u}(\mathbb{R};\mathbf{X})\)
Under the uniform continuity condition, we find that a Stepanov-like pseudo almost automorphic function space reduces to a pseudo almost automorphic function space.
Proposition 3.3
Let \(f\in C _{u}(\mathbb{R};\mathbf{X})\) and \(1\leq p <\infty\). Then the following statements hold:
-
(i)
\(f\in AS ^{p}(\mathbf{X})\) implies that \(f\in AA (\mathbf{X})\);
-
(ii)
\(f\in PAP _{0}^{p}(\mathbf{X})\) implies that \(f\in PAP _{0}(\mathbf{X})\);
-
(iii)
\(f\in PAA ^{p}(\mathbf{X})\) implies that \(f\in PAA (\mathbf{X})\).
Proof
Statement (i) is given by Ding et al. in [28].
Now suppose \(f\in PAP _{0}^{p}(\mathbf{X})\) is uniformly continuous on \(\mathbb{R}\). Let \(f_{n}(t)=n\int_{0}^{ \frac{1}{n}}f(t+s)\,\mathrm{d}s\) for each \(t\in\mathbb{R}\), \(n\in\mathbb {N}\). It is easy to see that \(f_{n}\in BC (\mathbb{R};\mathbf {X})\) converges uniformly to f on \(\mathbb{R}\) as \(n\rightarrow\infty \). Since \(PAP _{0}(\mathbf{X})\) is a closed subspace of \(BC (\mathbb{R}; \mathbf{X})\), we only need to show that \(f_{n}\in PAP _{0}(\mathbf{X})\) for each \(n\in\mathbb {N}\).
When \(1< p<\infty\), let \(1/p+1/{p'}=1\). For any \(T>0\), using the Hölder inequality, we have
It follows that
i.e., \(f_{n}\in PAP _{0}(\mathbf{X})\).
The argument for the case \(p=1\) is simpler in the same way. Thus, statement (ii) has been proved.
Suppose \(f\in PAA ^{p}(\mathbf{X})\cap C _{u}(\mathbb {R};\mathbf{X})\) and \(f=g+\phi\) where \(g\in AS ^{p}(\mathbf{X})\) and \(\phi\in PAP _{0}^{p}(\mathbf{X})\). It follows from Proposition 3.1 that g and ϕ are both in \(C _{u}(\mathbb{R};\mathbf{X})\). Then statement (iii) is implied by statements (i) and (ii). □
Definition 3.4
A sequence \(\{x_{n}\}\subset\mathbf{X}\) is named an ergodic perturbation sequence if
Denote the set of all such sequences by \(PAP _{0}(\mathbb {Z};\mathbf{X})\).
Proposition 3.5
Let \(f\in PAP _{0}(\mathbf{X})\cap C _{u}(\mathbb{R};\mathbf {X})\). Then for arbitrary \(l>0\) and \(a \in\mathbb{R}\), the positive sequence \(\{f_{i}:f_{i}=\max_{s\in [a+il,a+(i+1)l]}\|f(s)\|\}\) is in \(PAP _{0}(\mathbb{Z};\mathbb{R})\).
Proof
Since \(PAP _{0}(\mathbf{X})\) is translation invariant, we may assume \(a=0\).
Suppose the sequence \(\{f_{i}\}\) is not in \(PAP _{0}(\mathbb {Z};\mathbb{R})\). Then there exist an \(\epsilon>0\) and a strictly increasing sequence \(\{n_{k}\}\subset\mathbb{N}\) such that
Because of the uniform continuity of f, there exists a positive δ (\(<\frac{l}{2}\)) such that
For all \(i\in\mathbb{Z}\), let \(f_{i}=\|f(s_{i})\|\), \(s_{i}\in[il,(i+1)l]\). If \(s_{i}\geq(i+\frac{1}{2})l\), then
The case \(s_{i}\leq(i+\frac{1}{2})l\) can be treated analogously.
For the mean of \(\|f(\cdot)\|\) on \([-n_{k}l,n_{k}l]\), we have
Letting \(k \rightarrow\infty\) in the formula above, we get
which contradicts the fact that \(f\in PAP _{0}(\mathbf{X})\). □
4 Pseudo almost automorphic monotone evolution equation
Let X be a separable reflexive embedded real Banach space; this means that there is a Hilbert space H such that the embedding \(\mathbf{X}\subset\mathbf{H}\subset\mathbf{X}^{\ast}\) is dense and continuous, and that the bilinear form \((y,x)\) (\(y\in\mathbf {X}^{\ast}\), \(x\in\mathbf{X}\)) coincides with the scalar product on H whenever \(x,y\in\mathbf{H}\). We shall use the following notation for the norms: \(\|x\|\) is an X-norm, \(\|y\|_{\ast}\) is an \(\mathbf{X}^{\ast}\)-norm, and \(|x|_{\mathbf{H}}\) is an H-norm.
In this section, we consider the equation
where \(A(t):\mathbf{X}\rightarrow\mathbf{X}^{\ast}\) and \(f:\mathbb {R}\rightarrow\mathbf{X}^{\ast}\).
For the existence and uniqueness of solution to (3) on the whole line \(\mathbb{R}\), we refer to the following conditions:
-
(H1)
(compactness condition) the embedding \(\mathbf{X}\subset \mathbf{H}\) is compact;
-
(H2)
for each \(t\in\mathbb{R}\) the operator \(A(t):\mathbf {X}\rightarrow\mathbf{X}^{\ast}\) is semicontinuous, i.e., the function \(\lambda\mapsto(A(t)(\upsilon+ \lambda\omega),u)\) is continuous for each υ, ω, and u in X;
-
(H3)
(coercivity) there exist \(\alpha>0\) and \(\beta\in\mathbb {R}\) such that
$$\bigl(A(t)v,v\bigr)\geq\alpha\|v\|^{p}+\beta $$for all \(t\in\mathbb{R}\) and \(v\in\mathbf{X}\), where \(p\geq2\) is a constant;
-
(H4)
(strong monotonicity) there exist two constants γ and q such that \(\gamma>0\), \(2\leq q \leq p\), and
$$\bigl(A(t)v-A(t)w,v-w\bigr)\geq\gamma|v-w|_{\mathbf{H}}^{q} $$for all \(t\in\mathbb{R}\), v and w in X with p from (H3);
-
(H5)
\(A(t)0=0\);
-
(H6)
there exist \(c_{1}>0\), \(c_{2}\in\mathbb{R}\) such that
$$\bigl\| A(t)v\bigr\| _{\ast}\leq c_{1}\|v\|^{p-1}+c_{2} $$for all \(t\in\mathbb{R}\) and \(v\in\mathbf{X}\) with p from (H3);
-
(H7)
for any \(v\in\mathbf{X}\) and any bounded set \(U\subset \mathbf{X}\) the family of functions \(\{(A(\cdot)u,v),u\in U\}\) is equicontinuous on any compact subinterval of \(\mathbb{R}\).
Condition (H5) is imposed for simplicity and estimates of solutions [29], p.60, and we will see it is not a necessary restriction of (3); in the case we will consider (see Corollary 4.6 below).
In what follows \(p'\) stands for the conjugate exponent \(\frac {1}{p}+\frac{1}{p'}=1\).
Suppose that \(f\in L_{\mathrm{loc}}^{p'}(a,b;\mathbf{X}^{\ast})\). Then a function \(u:(a,b)\rightarrow\mathbf{X}\) is a (weak) solution to (3) if \(u\in L_{\mathrm {loc}}^{p}(a,b;\mathbf {X})\) and the derivative \(u'\) is to be understood in the weak sense [30]. From (3) and (H6), it follows that \(u'\in L_{\mathrm{loc}}^{p'}(a, b;\mathbf{X}^{\ast})\). Hence, \(u\in C ((a,b);\mathbf{H})\) (see [30]). Moreover, for any such function u:
The following lemma comes from [29], Theorem 3.2.5 and Remark 3.2.7.
Lemma 4.1
Under the conditions (H1)-(H7), suppose that \(f\in BS ^{p'}(\mathbf{X}^{\ast})\). Then (3) has a unique solution u such that \(u\in BS ^{p}(\mathbf{X})\cap BC (\mathbb{R};\mathbf{H})\). Moreover, there is a bound of the form
where \(C_{1}\) and \(C_{2}\) are increasing functions on \([0,\infty)\) that depend only on constants involved in (H6).
In [29], p.53, Pankov introduced the space \(Y_{p,\mathbf {X}} \) (\(1\leq p<\infty\)) of all operators A from X into \(\mathbf{X}^{\ast}\) satisfying inequality
where \(a_{1}>0\) and \(a_{2}\in\mathbb{R}\) are constants depending on the operator. For any two operators \(A_{1}\) and \(A_{2}\) in \(Y_{p,\mathbf{X}}\), we define their sum by \((A_{1}+A_{2})x=A_{1} x+A_{2} x\), \(\forall x\in\mathbf {X}\) and the product of a scalar \(\lambda\in\mathbb{R}\) and \(A\in Y_{p,\mathbf{X}}\) by \((\lambda A)x=\lambda A x\), \(\forall x\in\mathbf{X}\). Obviously, \(Y_{p,\mathbf{X}}\) is a vector space. For all \(A\in Y_{p,\mathbf{X}}\), we define the norm
It is easy to show that equipped with this norm, \(Y_{p,\mathbf{X}}\) is a Banach space.
Remark 4.2
If the function \(A(\cdot)\in BC (\mathbb{R};Y_{p,\mathbf{X}})\), then the conditions (H6) and (H7) will be satisfied. In fact,
So we can choose \(c_{1}=c_{2}=\|A(\cdot)\|_{\infty}\) in the condition (H6). Given \(v\in\mathbf{X}\), a bounded set \(U\subset\mathbf{X}\) and a compact subinterval J of \(\mathbb{R}\), for any \(\epsilon>0\), there exists a \(\delta>0\) such that
It follows that for all \(u\in U\) and \(t_{1}, t_{2}\in J\), \(|t_{1}-t_{2}|<\delta\),
Thus, the condition (H7) is satisfied.
Theorem 4.3
(Main result)
Under the conditions (H1)-(H5), suppose that \(A(\cdot)\in PAA (Y_{p,\mathbf{X}})\cap C _{u}(\mathbb{R}; Y_{p,\mathbf{X}})\) and \(f\in PAA ^{p'}(\mathbf{X}^{\ast})\). Then (3) has a unique solution u such that \(u\in PAA ^{q}(\mathbf{H})\cap BC (\mathbb{R};\mathbf {H})\cap BS ^{p}(\mathbf{X})\) and its almost automorphic component is in \(AA _{u}(\mathbf{H})\cap BS ^{p}(\mathbf{X})\).
Let \(A(\cdot)=B(\cdot)+\Phi(\cdot)\), \(f=g+\phi\), where \(B(\cdot)\) and g are the almost automorphic components of \(A(\cdot)\) and f respectively. We call the equation
the almost automorphic component of (3).
We claim that under the conditions of Theorem 4.3, conditions (H2)-(H7) still hold when \(A(t)\) is replaced with \(B(t)\).
Firstly, we show that \(B(t)\) is semicontinuous, i.e., for each \(t\in\mathbb{R}\) and any v, w, and u in X the function \(\lambda\mapsto(B(t)(v+\lambda w),u)\) is continuous. By Theorem 2.9(ii), there exists a sequence \(\{t_{n}\}\subset \mathbb{R}\) such that \(\lim_{n\rightarrow\infty}A(t_{n})=B(t)\) in \(Y_{p,\mathbf{X}}\). Since \(A(t_{n})\) is semicontinuous, the function \(\lambda\mapsto(A(t_{n})(v+\lambda w),u)\) is continuous for each \(n\in\mathbb{N}\). We have
which implies that \(\lambda\mapsto(A(t_{n})(v+\lambda w),u)\) converges to \(\lambda\mapsto(B(t)(v+\lambda w),u)\) uniformly on any compact interval of \(\mathbb{R}\). So \(\lambda\mapsto(B(t)(v+\lambda w),u)\) is continuous on \(\mathbb{R}\).
Using the t and \(\{t_{n}\}\) in the paragraph above, we have
Thus, for any v and w in X,
Noting that \((B(t)v-B(t)w,v-w)\) is independent of n above, we get
by letting \(n\rightarrow\infty\). So condition (H4) holds for \(B(t)\). The cases for conditions (H3) and (H5) can be shown in the same way.
It follows from Corollary 3.2 that \(B(\cdot)\in AA_{u}(Y_{p,\mathbf{X}})\). By Remark 4.2, conditions (H6) and (H7) hold for \(B(t)\).
Now, for the almost automorphic component (4), we have the following result, which is due to N’Guérékata and Pankov [11], Theorem 4.1.
Lemma 4.4
Under the conditions of Theorem 4.3, (4) has a unique solution v such that \(v\in AA _{u}(\mathbf{H})\cap BS ^{p}(\mathbf{X})\).
Remark 4.5
For each \(t\in\mathbb{R}\), the operator \(B(t)\) is assumed to be continuous from X into \(\mathbf{X}^{\ast}\) in [11], Section 4. The semicontinuity is weaker than continuity but Lemma 4.4 still hold under this weaker condition. For this, we advise the readers to refer to [29], p.57, and the proof of [11], Theorem 4.1.
To prove Theorem 4.3, a natural idea is that if (3) has a solution u in \(PAA ^{P}(\mathbf{H})\), then its almost automorphic component should be the solution \(v\in AA _{u}(\mathbf{H})\) of (4), i.e., \(u-v\) is an ergodic perturbation in the sense of Stepanov.
Proof of Theorem 4.3
It follows from Lemma 4.1 and Remark 4.2 that (3) has a unique solution u such that \(u\in BS ^{p}(\mathbf{X})\cap BC (\mathbb{R};\mathbf{H})\).
Let \(z=u-v\) where v is the one in Lemma 4.4. Then z satisfies
Multiplying it by \(z(t)\), we get
It follows that
Integrating the inequality above from t to \(t+1\) yields
For any \(T>0\), integrating the formula above from −T to T and dividing it by 2T, we obtain
From Lemma 4.1 we know both u and v are bounded with values in H and also bounded in \(BS ^{p}(\mathbf {X})\), then so is \(z=u-v\).
For the first term on the left hand side of inequality (5), we have
Since \(\phi\in PAP _{0}^{p'}(\mathbf{X}^{\ast})\), the first term on the right hand side of inequality (5) converges to zero as \(T\rightarrow+ \infty\), i.e.,
For the second term on the right hand side of inequality (5), we have
where the Minkowski inequality is used in the last inequality.
Let \([t]\) denote the largest integer which is not larger than t for each \(t\in\mathbb{R}\). Then, for \(T>0\) sufficient large,
It is easy to see that for each \(k\in\mathbb{Z}\),
Combining inequalities (9) and (10), we obtain
By Corollary 3.2, we know that \(\Phi:\mathbb{R}\rightarrow Y_{p,\mathbf{X}}\) is uniformly continuous. Then it follows from Proposition 3.5 that the sequence
Thus, inequality (11) implies that
It follows from (8) and (12) that
Letting \(T\rightarrow+ \infty\) and substituting (6), (7), and (13) into inequality (5), we obtain
By the Hölder inequality, it is easy to see that
Thus we obtain from (14)
i.e., \(z\in PAP _{0}^{q}(\mathbf{H})\). The proof is complete. □
For the general case \(A(t)0\neq0\), we have the following result.
Corollary 4.6
Theorem 4.3 still holds without condition (H5) that \(A(t)0=0\) for each \(t\in\mathbb{R}\).
Proof
We may consider \(u\mapsto A(t)u-A(t)0\) and the function \(f(t)-A(t)0\) instead of \(A(t)u\) and \(f(t)\), respectively, in (3). It is easy to show that under the above transformation conditions (H2)-(H4) still hold. Now, we show that \(t\mapsto[u\mapsto A(t)u-A(t)0] \in PAA (Y_{p,\mathbf {X}})\cap C _{u}(\mathbb{R};Y_{p,\mathbf{X}})\) and \(t\mapsto A(t)0\in PAA (\mathbf{X}^{\ast})\).
Since \(PAA (Y_{p,\mathbf{X}})\) and \(C _{u}(\mathbb {R};Y_{p,\mathbf{X}})\) are linear spaces and \(A(\cdot)\in PAA (Y_{p,\mathbf{X}})\cap C _{u}(\mathbb{R};Y_{p,\mathbf{X}})\), to show \(t\mapsto[u\mapsto A(t)u-A(t)0] \in PAA (Y_{p,\mathbf{X}})\cap C _{u}(\mathbb{R};Y_{p,\mathbf{X}})\), we only need to show \(t\mapsto[u\mapsto A(t)0] \in PAA (Y_{p,\mathbf{X}})\cap C_{u} (\mathbb{R};Y_{p,\mathbf{X}})\).
For any \(A\in Y_{p,\mathbf{X}}\), \(\|u\mapsto A 0 \|_{Y_{p,\mathbf {X}}}=\sup_{x\in\mathbf{X}}\frac{\|A 0\|_{\ast}}{1+\|u\|^{p-1}} = \frac{\|A 0\|_{\ast}}{1+\|0\|^{p-1}}\leq\|A\|_{Y_{p,\mathbf{X}}}\). For any \(t_{1}, t_{2}\in\mathbb{R}\), we have
Thus, \(A(\cdot)\in C _{u}(\mathbb{R};Y_{p,\mathbf{X}})\) implies that \(t\mapsto[u\mapsto A(t)0]\in C _{u}(\mathbb{R};Y_{p,\mathbf {X}})\) also.
We write \(u\mapsto A(t)0=[u\mapsto B(t)0]+[u\mapsto\Phi(t)0]\) for each \(t\in\mathbb{R}\) and claim that \(t\mapsto[u\mapsto B(t)0]\in AA (Y_{p,\mathbf{X}})\) and \(t\mapsto[u\mapsto\Phi(t)0]\in PAP _{0}(Y_{p,\mathbf{X}})\).
Suppose there exist a sequence \(\{t_{n}\}\subset\mathbb{R}\) and a function \(\tilde{B}:\mathbb{R} \rightarrow Y_{p,\mathbf{X}}\) such that
in \(Y_{p,\mathbf{X}}\) for each \(t\in\mathbb{R}\) as \(n\rightarrow\infty \). Thus, for each \(t\in\mathbb{R}\), we have
as \(n\rightarrow\infty\).
Similarly, we can show \(u\mapsto\tilde{B}(t-t_{n})0\) converges to \(u\mapsto B(t)0\) in \(Y_{p,\mathbf{X}}\) for each \(t\in\mathbb{R}\) as \(n\rightarrow\infty\). Thus, \(t\mapsto[u\mapsto B(t)0]\in AA (Y_{p,\mathbf{X}})\).
The function \(t\mapsto[u\mapsto\Phi(t)0]\) is bounded, because \(\| u\mapsto\Phi(t)0\|_{Y_{p,\mathbf{X}}} \leq\|\Phi(t)\|_{Y_{p,\mathbf {X}}}\leq\|\Phi\|_{\infty}<\infty\) for any \(t\in\mathbb{R}\). Moreover, since \(\Phi(\cdot)\in PAP _{0}(Y_{p,\mathbf{X}})\),
Thus, \(t\mapsto[u\mapsto\Phi(t)0]\in PAP _{0}(Y_{p,\mathbf{X}})\).
So far we have shown \(t\mapsto[u\mapsto A(t)0] \in PAA (Y_{p,\mathbf{X}})\cap C _{u}(\mathbb{R};Y_{p,\mathbf{X}})\).
Noting that \(\|u\mapsto A0\|_{Y_{p,\mathbf{X}}}= \|A0\|_{\ast}\) for each \(A\in Y_{p,\mathbf{X}}\), one can show \(t\mapsto A(t)0\in PAA (\mathbf{X}^{\ast})\cap C_{u}(\mathbb{R};\mathbf {X}^{\ast})\) as in the case of the function \(t\mapsto[u\mapsto A(t)0]\) above with only some adaption of notations. □
From the proof of [11], Lemma 4.3, we get the following lemma.
Lemma 4.7
Under conditions (H1)-(H5), suppose further that \(A(\cdot): \mathbb{R}\rightarrow Y_{p,\mathbf{X}}\) is bounded and uniformly continuous and \(f\in BS ^{p'}(\mathbf{X}^{\ast})\) satisfies
uniformly with respect to \(t\in\mathbb{R}\). Then the solution u of (3) in Lemma 4.1 is uniformly continuous with values in H.
Corollary 4.8
Under the conditions of Theorem 4.3, suppose further that f satisfies (15) uniformly with respect to \(t\in\mathbb{R}\). Then the solution u of (3) in Theorem 4.3 is in \(PAA (\mathbf{H})\cap C _{u}(\mathbb {R};\mathbf{H})\cap BS ^{p}(\mathbf{X})\).
Proof
From Theorem 4.3, we know that \(u\in PAA ^{q}(\mathbf {H})\). Lemma 4.7 implies that \(u\in C _{u}(\mathbb {R};\mathbf{H})\). Then it follows from Proposition 3.3(iii) that \(u\in PAA (\mathbf{H})\). □
Remark 4.9
A sufficient condition for (15) is that the ergodic perturbation ϕ of f is essentially bounded. By the Minkowski inequality, we have
Due to Stepanov-like almost automorphy of g, the range of its Bochner transform is precompact in the space \(L^{p'}(0,1;\mathbf{X}^{\ast})\). Hence, the first term on the right hand side of inequality (16) converges to 0 uniformly on \(\mathbb{R}\) as \(\delta \rightarrow0\). Since ϕ is essentially bounded, the second term on the right hand side of inequality (16) also converges to 0 uniformly on \(\mathbb{R}\) as \(\delta\rightarrow0\). Thus, (15) holds uniformly on \(\mathbb{R}\).
Because \(t\mapsto A(t)0\) is in \(PAA (\mathbf{X}^{\ast})\) (and thus bounded, so is its ergodic perturbation), Corollary 4.8 still hold without condition (H5) that \(A(t)0=0\).
5 An example
Let \(\Omega\subset\mathbb{R}^{n}\) be a bounded domain, and denote \(\mathbf {X}=W_{0}^{1,p}(\Omega)\), \(\mathbf{H}=L^{2}(\Omega)\), \(\mathbf{X}^{\ast}=W^{-1,p'}(\Omega)\). We consider the operator
where \(a_{i}\in PAA (\mathbb{R})\cap C _{u}(\mathbb {R};\mathbb{R})\) has a strictly positive infimum, and \(a:\mathbb {R}\rightarrow\mathbb{R}\) is a continuous monotone increasing function such that
where \(c_{1}\) and \(c_{2}\) are positive constants. It is not difficult to see that \(A(t):\mathbf{X}\rightarrow\mathbf {X}^{\ast}\) is a monotone continuous operator. Moreover, (17) implies (H3) and \(u\mapsto\frac{\partial}{\partial x_{i}} a ( \frac{\partial u}{\partial x_{i}} )\in Y_{p,\mathbf {X}}\). Noting that \(Y_{p,\mathbf{X}}\) is a Banach space, one can obtain \(A(\cdot)\in PAA (Y_{p,\mathbf{X}})\) and is uniformly continuous.
If \(\frac{1}{p}-\frac{1}{n}<\frac{1}{2}\), then \(\mathbf{X}\subset \mathbf{H}\), and this embedding is compact [31]. We assume additionally that the function a satisfies the inequality
Then there exists a constant \(\gamma>0\) such that
for all \(t\in\mathbb{R}\), v and w in X. Thus (H4) holds for \(A(\cdot)\).
For such a function \(a(\cdot)\) described above, we have \(a(\xi)=|\xi |^{p-2}\xi\) as an example with \(p=q\) in (18). Applying Theorem 4.3 and Corollary 4.8, we obtain
Corollary 5.1
Suppose \(f\in PAA ^{p} (\mathbf{X}^{\ast})\) and all the conditions above for \(A(\cdot)\) hold. Then the equation
has a unique solution u such that \(u\in PAA ^{q}(\mathbf {H})\cap BC (\mathbb{R};\mathbf{H})\cap BS ^{p}(\mathbf {X})\) and its almost automorphic component in \(AA _{u}(\mathbf {H})\cap BS ^{p}(\mathbf{X})\) is the solution of the equation
where \(\tilde{a}_{i}\) and g are the almost automorphic components of \(a_{i}\) and f, respectively. Moreover, if f satisfies
uniformly with respect to \(t\in\mathbb{R}\), then \(u\in PAA (\mathbf{H})\cap C _{u}(\mathbb{R};\mathbf{H})\cap BS ^{p}(\mathbf{X})\).
Remark 5.2
In the case \(a_{i}(t)\equiv1\) and \(a(\xi)=|\xi|^{p-2}\xi\),
is typical in nonlinear elliptic operators.
Moreover, if \(p=2\), then (19) is a standard heat equation.
References
Bochner, S: Continuous mappings of almost automorphic and almost periodic functions. Proc. Natl. Acad. Sci. USA 52, 907-910 (1964)
Bochner, S: A new approach to almost-periodicity. Proc. Natl. Acad. Sci. USA 48, 2039-2043 (1962)
Bochner, S, Von Neumann, J: On compact solutions of operational-differential equations, I. Ann. Math. 36, 255-290 (1935)
Veech, WA: Almost automorphic functions on groups. Am. J. Math. 87, 719-751 (1965)
Zaki, M: Almost automorphic solutions of certain abstract differential equations. Ann. Mat. Pura Appl. (4) 101, 91-114 (1974)
N’Guérékata, GM: Almost Automorphic Functions and Almost Periodic Functions in Abstract Spaces. Kluwer Academic, New York (2001)
N’Guérékata, GM: Topics in Almost Automorphy. Springer, New York (2005)
Zheng, ZM, Ding, HS: On completeness of the space of weighted pseudo almost automorphic functions. J. Funct. Anal. 268, 3211-3218 (2015)
Liang, J, Zhang, J, Xiao, TJ: Composition of pseudo almost automorphic and asymptotically almost automorphic functions. J. Math. Anal. Appl. 340, 1493-1499 (2008)
Liang, J, N’Guérékata, GM, Xiao, TJ, Zhang, J: Some properties of pseudo-almost automorphic functions and applications to abstract differential equations. Nonlinear Anal. 70, 2731-2735 (2009)
N’Guérékata, GM, Pankov, A: Stepanov-like almost automorphic functions and monotone evolution equations. Nonlinear Anal. 68, 2658-2667 (2008)
Blot, J, Mophou, GM, N’Guérékata, GM, Pennequin, D: Weighted pseudo almost automorphic functions and applications to abstract differential equations. Nonlinear Anal. 71, 903-909 (2009)
Diagana, T: Existence of pseudo-almost automorphic solutions to some abstract differential equations with \(S^{p}\)-pseudo-almost automorphic coefficients. Nonlinear Anal. 70, 3781-3790 (2009)
Xia, Z, Fan, M: Weighted Stepanov-like pseudo almost automorphy and applications. Nonlinear Anal. 75, 2378-2397 (2012)
Ding, HS, Liang, J, Xiao, TJ: Weighted pseudo almost automorphic functions and WPAA solutions to semilinear evolution equations. J. Math. Anal. Appl. 409, 409-427 (2014)
Chang, YK, Zhao, ZH, Nieto, JJ, Liu, ZW: Pseudo almost automorphic and weighted pseudo almost automorphic mild solutions to a partial functional differential equation in Banach spaces. J. Nonlinear Sci. Appl. 5, 14-26 (2012)
Lee, H, Alkahby, H: Stepanov-like almost automorphic solutions of nonautonomous semilinear evolution equations with delay. Nonlinear Anal. 69, 2158-2166 (2008)
Mishra, I, Bahuguna, D: Weighted pseudo almost automorphic solution of an integro-differential equation with weighted Stepanov-like pseudo almost automorphic forcing term. Appl. Math. Comput. 219, 5345-5355 (2013)
Xia, Z: Weighted pseudo almost automorphic solutions of hyperbolic semilinear integro-differential equations. Nonlinear Anal. 95, 50-65 (2014)
Chang, YK, Zhang, R, N’Guérékata, GM: Weighted pseudo almost automorphic mild solutions to semilinear fractional differential equations. Comput. Math. Appl. 64, 3160-3170 (2012)
Chang, YK, Zhang, MJ, Ponce, R: Weighted pseudo almost automorphic solutions to a semilinear fractional differential equation with Stepanov-like weighted pseudo almost automorphic nonlinear term. Appl. Math. Comput. 257, 158-168 (2015)
Xia, Z, Wang, D: Pseudo almost automorphic solution of semilinear fractional differential equations with the Caputo derivatives. Fract. Calc. Appl. Anal. 18, 951-971 (2015)
N’Guérékata, GM: Topics in almost automorphic and almost periodic functions in Banach spaces. Far East J. Math. Sci. 17, 337-344 (2005)
Zhang, C: Almost Periodic Type Functions and Ergodicity. Kluwer Academic, New York (2003)
Basit, B, Zhang, C: New almost periodic type functions and solutions of differential equations. Can. J. Math. 48, 1138-1153 (1996)
Xiao, TJ, Liang, J, Zhang, J: Pseudo almost automorphic solutions to semilinear differential equations in Banach spaces. Semigroup Forum 76, 518-524 (2008)
Diagana, T: Existence of pseudo-almost automorphic solutions to some abstract differential equations with \(S^{p}\)-pseudo almost automorphic coefficients. Nonlinear Anal. 70, 3781-3790 (2009)
Ding, HS, Liang, J, Xiao, TJ: Some properties of Stepanov-like almost automorphic functions and applications to abstract evolution equations. Appl. Anal. 88, 1079-1091 (2009)
Pankov, A: Bounded and Almost Periodic Solutions of Nonlinear Operator Differential Equations. Kluwer Academic, Dordrecht (1990)
Showalter, RE: Monotone Operators in Banach Spaces and Nonlinear Partial Differential Equations. Am. Math. Soc., Providence (1997)
Sobolev, SL: Applications of Functional Analysis in Mathematical Physics. Am. Math. Soc., Providence (1973) (Transl. from the Russian)
Acknowledgements
The authors would like to express their gratitude to the editors and anonymous reviewers for their valuable suggestions, which improved the presentation of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors have read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ji, D., Lu, Y. Stepanov-like pseudo almost automorphic solution to a parabolic evolution equation. Adv Differ Equ 2015, 341 (2015). https://doi.org/10.1186/s13662-015-0667-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0667-4