 Research
 Open access
 Published:
Almost periodic solutions of partial differential equations with delay
Advances in Difference Equations volume 2015, Article number: 46 (2015)
Abstract
In this paper we study the existence of almost periodic solutions for linear retarded functional differential equations with finite delay and values in a Banach space. We relate the existence of almost periodic solutions with the stabilization of distributed control systems. We apply our results to transport models and to the wave equation.
1 Introduction
Motivated by the fact that abstract retarded functional differential equations (abbreviated, ARFDE) arise in many areas of applied mathematics, this type of equations has received much attention in recent years [1–4]. Some applications and numerical methods for equations where the operator acting on the delay term is bounded have been studied in [5–8].
ARFDEs where the operator acting on delay term is unbounded have been studied in some works. For equations on Hilbert spaces, we refer to [9] and the references therein. Moreover, ARFDEs on general Banach spaces where the operator acting on the delay term is unbounded have been studied in a few works. For information of the reader, we refer to [10–13]. These studies are aimed at regular solutions of partial differential equations. Moreover, the study of more general solutions of ARFDEs where the operator acting on delay term is unbounded has been addressed in recent work. Stability aspects and differences schemes for approximate solutions have been treated in [14–20].
In particular, the problem of existence of almost periodic and asymptotically almost periodic solutions has been considered by several authors. We refer the reader to the book [21] and to the papers [22–30] and the references listed therein for recent information on this subject. Our objective is to establish existence of almost periodic mild solutions for a class of linear ARFDE of first order.
Throughout this work, we denote by X a complex Banach space endowed with a norm \(\ \cdot\\). Henceforth, we represent by A the infinitesimal generator of a strongly continuous semigroup of bounded linear operators \(T(t)\) on X, and C stands for the space of continuous functions \(C([r, 0]; X)\), \(r > 0\), provided with the norm of uniform convergence. We will be concerned with the existence of almost periodic solutions to the Cauchy problem
where \(x(t) \in X\), the function \(x_{t} : [ r, 0] \to X\), which denotes the segment of \(x(\cdot)\) at t, is given by \(x_{t}(\theta ) = x(t + \theta )\), \(L : C \to X\) is a bounded linear map, and \(f : \mathbb {R}\to X\) is an appropriate function. The usual condition for studying the existence of almost periodic solutions for this problem is that the semigroup \(T(\cdot)\) is compact. For example, the problem of existence of almost automorphic solutions has been studied recently by Ezzinbi and N’Guérékata [25] using this condition. Our aim in this paper is to establish the existence of almost periodic solutions for a class of equations in which the semigroup \(T(\cdot)\) is not compact.
As a model we consider the wave equation with delay
for \(0 \leq\xi\leq\pi\) and \(t \geq0\), where the scalar function \(N(\cdot)\) has bounded variation on \([ r, 0]\) and \(b(\cdot)\) is an appropriate function. Usually this type of linear equations arise from linearization of semilinear ones [4].
For the necessary concepts related with the abstract Cauchy problem and the theory of strongly continuous semigroup of operators we refer to Engel and Nagel [31] and Pazy [32]. We only mention here a few concepts and results directly related with our development. Let \(G(t)\) be a strongly continuous semigroup defined on a Banach space X with infinitesimal generator D. We say that G is strongly stable if \(G(t) x \to0\), \(t\to\infty\), for all \(x \in X\) and we say that G is uniformly stable if \(\G(t)\ \to0\), \(t \to\infty\). Moreover, we employ the terminology and notations for spectral bound \(s(D)\), growth bound \(\omega _{0}(G)\) and essential growth bound \(\omega _{\mathrm{ess}}(G)\) from [31]. Specifically, \(s(D) = \sup\{ \operatorname{Re}(\lambda) : \lambda\in \sigma (D)\} \); \({ \omega _{0}(G) = \lim_{t \to\infty} \frac{\ln{\G(t)\}}{t}} \) and \({ \omega _{\mathrm{ess}}(G) = \lim_{t \to\infty}\frac{\ln{\G(t)\_{\mathrm{ess}}}}{t}}\), where the symbol \(\\cdot\_{\mathrm{ess}}\) denotes the essential norm of an operator. Consequently, in terms of these notations, G is uniformly stable if, and only if, \(\omega _{0}(G) < 0\).
For completeness we also mention here that a strongly continuous semigroup \(G(t)\) is said to be compact if \(G(t)\) is a compact operator for all \(t > 0\) and that G is said to be quasicompact if there is \(t_{0} > 0\) and a compact operator R such that \(\G(t_{0})  R \ < 1\). We collect in the following lemma a pair of fundamental results [31, Corollary IV.2.11, Proposition V.3.5] for our further development.
Lemma 1.1
The following conditions are fulfilled.

(i)
The semigroup G is quasicompact if and only if \(\omega _{\mathrm{ess}}(G) < 0\).

(ii)
\(\omega _{0}(G) = \max\{ \omega _{\mathrm{ess}}(G), s(D) \}\).
Throughout this work we denote by \(\mathcal {L}(X)\) the Banach algebra of bounded linear operators defined on X and by \(X^{*}\) the dual space of X. For a linear operator A with domain \(D(A)\) and range \(\mathcal {R}(A)\) in X, we represent by \(\sigma (A)\) (resp. \(\sigma _{p}(A)\), \(\rho(A)\)) the spectrum (respectively point spectrum, resolvent set) of A. For \(\lambda\in\rho(A)\) we set \(R(\lambda, A) = (\lambda I  A)^{1}\) for the resolvent operator of A. Finally, if \(D(A)\) is dense in X, then \(A^{\prime}\) denotes the dual operator of A [33].
This paper is organized as follows. In Section 2 we have collected some technical results about spectral properties of ARFDE, most of which are included in [4, 31, 34], in Section 3 we apply these properties to study the existence of almost periodic solutions of ARFDE, and in Section 4 we have included some applications of our results.
2 Preliminaries
Throughout the rest of this paper \(A : D(A) \to X\) is the infinitesimal generator of a semigroup of bounded linear operators \(T(t)\) on X and \(L : C \to X \) is a bounded linear map defined by
where \(N : [r, 0] \to \mathcal {L}(X)\) is a function of bounded variation which is left continuous on \((r, 0)\) and \(N(0) = N(r) = 0\), and \(f : \mathbb {R}\to X\) is a continuous function. We refer to Engel and Nagel [31], Travis and Webb [34] and Wu [4] for the basic properties of the ARFDE
We only mention here that (2.2) with the initial condition
has a unique mild solution \(x = x(\cdot, \sigma , \varphi , f)\). This means that \(x : [\sigma r, \infty) \to X\) is a continuous function that verifies (2.3) and the restriction of \(x(\cdot)\) on \([\sigma , \infty)\) satisfies the integral equation
In particular, if \(x(\cdot, \varphi )\) denotes the mild solution of the homogeneous problem
the solution operator \(V(t)\) defined by \(V(t) \varphi = x_{t}(\cdot, \varphi ) \) is a strongly continuous semigroup of bounded linear operators on C (see [4]). We will represent by \(A_{V}\) its infinitesimal generator. Moreover, it is well known that V satisfies the following translation property.
Lemma 2.1
Under the preceding conditions,
We denote by \(W(t)\) the solution operator corresponding to \(L = 0\). It is clear that \(W(t)\) is given by
The system (2.5) is said to be (asymptotically) stable if the semigroup \(V(t)\) is uniformly stable. Consequently, it follows from Lemma 1.1 that the study of the asymptotic stability of the system (2.5) is reduced to the study of spectral properties of the solution semigroup \(V(t)\).
We are in a position to establish the first result about asymptotic behavior of the solution semigroup.
Theorem 2.1
Assume that the semigroup \(T(t)\) is uniformly stable and that the operator \(T(t) L : C \to X\) is compact for all \(t > 0\). Then the semigroup \(V(t)\) is quasicompact.
Proof
We define the operator \(U(t) : C \to C\) for \(t \geq0\) by
It is clear from (2.4) that
which implies that \(U(t)\) is a bounded linear operator. Moreover, from [35, Theorem 1] we can assert that \(U(t)\) is a compact operator. On the other hand, there exist constants \(M \geq1\) and \(\alpha > 0\) such that \(\T(t)\ \leq M e^{ \alpha t} \) for all \(t \geq0\). Hence, for \(t \geq r\) we have
which implies that \(W(t)\) is uniformly stable. □
There are many interesting situations in which the semigroup \(T(t)\) is not compact but the operator \(T(t) L : C \to X\) is compact for \(t > 0\). Next we mention a pair of general cases:
(i) The operator \(L : C \to X\) is compact. For instance, \(L(\varphi ) = \sum_{i = 1}^{k} A_{i} \varphi (r_{i})\), where \(A_{i} : X \to X\), \(i = 1, \ldots, k\), are compact linear operators, or \(L(\varphi ) = \int_{r}^{0} N(\theta ) \varphi (\theta )\,d\theta \), where \(N: [r, 0] \to \mathcal {L}(C)\) is a map continuous for the norm of operators and \(N(\theta )\) is a compact operator for each \(r \leq \theta \leq0\). As a matter of fact, this property is verified under more general conditions in N. In Section 4 we present some concrete examples.
(ii) A more general situation is the following. Assume that there exists a topological decomposition of \(X = X_{0} \oplus X_{1}\), where \(X_{i}\) are invariant spaces under \(T(t)\), and \(X_{1}\) has finite dimension. Let \(P_{0}\) be the projection on \(X_{0}\) with kernel \(X_{1}\). If \(T(t) P_{0} L\) is compact, then the product \(T(t) L\) is also compact.
Combining Theorem 2.1 with Theorem V.3.7 in [31] we can establish the following property of asymptotic behavior for the solution semigroup associated to the homogeneous problem (2.5)(2.6).
Corollary 2.1
Assume that the semigroup \(T(t)\) is uniformly stable and that the operator \(T(t) L : C \to X\) is compact for all \(t > 0\). Then the semigroup \(V(t)\) is uniformly stable if and only if \(\sup \operatorname{Re} \sigma _{p}(A_{V}) < 0\).
To study the \(\sigma _{p}(A_{V})\), the following spectral property is well known (see for example [26] and the references cited therein). We include it here for completeness. For \(\lambda\in \mathbb {C}\), let \(L_{\lambda} : X \to X \) and \(\Delta(\lambda) : D(A) \to X \) be the linear operators defined by
Lemma 2.2
Let \(\lambda\in \mathbb {C}\). Then \(\lambda\in \sigma _{p}(A_{V})\) if and only if there is \(u \in D(A)\), \(u \neq0\), such that \(\Delta(\lambda) u = 0\). In this case the function \(\varphi = e^{\lambda \theta } u\) is the eigenvector of \(A_{V}\) corresponding to λ. Moreover, if \(\lambda\in \sigma (A + L_{\lambda})\), then \(\lambda\in \sigma (A_{V})\).
We return to the nonhomogeneous equation (2.2). It is clear that this equation can be considered as an equation with infinite delay. In fact, we can extend the map N to \(( \infty, 0]\) by defining \(N(\theta ) = 0\) for \(\theta < r\). Besides, we can consider a uniform fading memory space ℬ such that \(\mathcal {B}\subseteq C((\infty, 0], X)\) and \(L(\varphi ) = \int_{ \infty}^{0} \,d_{\theta } N(\theta ) \varphi (\theta )\), for \(\varphi \in \mathcal {B}\), defines a bounded linear map from ℬ into X. This property allows us to apply the theory developed in [36] to represent the mild solution of (2.2). It has been proved by Hino et al. [36] that the solution can be expressed by means of the variation of constants formula. Next we adopt the notations used in this paper. Let \(\Gamma^{n} : X \to \mathcal {B}\) be defined by
If f is a continuous function, the formula [36, Theorem 3.1]
gives the mild solution of (2.2)(2.3) in the phase space. Moreover, applying [36, Proposition 4.2] we can establish the following property.
Remark 2.1
Assume that semigroup \(V(t)\) is quasicompact. In this case the set \(\Lambda = \{ \lambda\in \sigma (A_{V}) : \operatorname{Re}(\lambda) \geq0 \}\) is finite and consists of poles of \(R(\cdot, A_{V})\) with finite algebraic multiplicity [31, Theorem V.3.7]. Therefore, the space C is decomposed as
where \(P_{\Lambda }\) and \(Q_{\Lambda }\) are spaces invariant under \(V(t)\) and the space \(P_{\Lambda }\) is the range of the spectral projection \(\Pi^{P}\) corresponding to Λ. Consequently, \(P_{\Lambda }\) consists of the generalized eigenvectors corresponding to the eigenvalues \(\lambda_{i} \in \Lambda \). Specifically, if \(\Lambda = \{\lambda_{1}, \lambda_{2}, \ldots, \lambda_{m} \}\), then
for certain \(k_{i} \in \mathbb {N}\). We denote by \(V^{P}(t)\) (respectively, \(V^{Q}(t)\)) the restriction of \(V(t)\) on \(P_{\Lambda }\) (respectively, on \(Q_{\Lambda }\)). Similarly, \(A_{V}^{P}\) and \(A_{V}^{Q}\) represent the restrictions of \(A_{V}\) on \(P_{\Lambda }\) and \(Q_{\Lambda }\), respectively. Since \(P_{\Lambda }\) is a space of finite dimension d, the semigroup \(V^{P}(t)\) is uniformly continuous and \(A_{V}^{P}\) is a bounded linear operator defined on \(P_{\Lambda }\). Let \(\varphi ^{1}, \varphi ^{2}, \ldots, \varphi ^{d} \) be a basis of \(P_{\Lambda }\). We set \(\Phi= (\varphi ^{1}, \varphi ^{2}, \ldots, \varphi ^{d})\). Consequently, proceeding as usual in the theory of functional differential equations [37], there is a \(d \times d\) matrix G such that \(\Phi(\theta ) = \Phi(0) e^{G \theta }\), for \(r \leq \theta \leq0\), \(V^{P}(t) \Phi= \Phi e^{G t}\), for \(t \geq0\), and \(\sigma _{p}(G) = \Lambda \). Let Ψ be the dual basis of Φ associated to the decomposition (2.10), as constructed in [36]. In these conditions, it has been established in [36, Proposition 4.2] that there exists \(x^{*}= \operatorname{col}(x^{*}_{1}, x^{*}_{2}, \ldots, x^{*}_{d}) \in X^{*d}\) such that the projection \(x_{t}^{P} = \Pi^{P} x_{t}\) on \(P_{\Lambda }\) of the solution of (2.2) is given by \(x_{t}^{P} = \Phi z(t)\), where the dvector \(z(t)\) satisfies the ordinary differential equation
On the other hand, in this work we employ the concept of almost periodic function in the sense of Bohr. This means that a function \(f : \mathbb {R}\to X\) is almost periodic if it is continuous and for every \(\varepsilon > 0\) there is a relatively dense set \(P_{\varepsilon }\) in ℝ such that
for all \(t \in \mathbb {R}\) and \(\tau\in P_{\varepsilon }\). For the properties of almost periodic functions we refer the reader to [38, 39]. We denote by \(AP(X)\) the space consisting of the functions \(x : \mathbb {R}\to X\) which are almost periodic.
To complete this section, we establishes formally the following concept.
Definition 2.1
A continuous function \(x : \mathbb {R}\to X\) is said to be a mild solution of (1.1) if for each \(\sigma \in \mathbb {R}\) the restriction \(x : [\sigma , \infty) \to X\) is a mild solution of (2.2) with initial condition \(x_{\sigma }\) at \(t = \sigma \).
3 Existence of almost periodic solutions
In this section we turn our attention to the existence of almost periodic solutions of (1.1). Throughout this section we assume that A and L satisfy the general conditions considered in Section 2 and that \(f : \mathbb {R}\to X\) is a continuous function.
If the semigroup V is quasicompact, we can apply the properties and notations introduced in Remark 2.1 in relation with the homogeneous equation (2.5). In particular, we set \(\Lambda = \{ \lambda\in \sigma _{p}(A_{V}) : \operatorname{Re}(\lambda) \geq0 \}\). A direct application of [36, Theorem 4.3] gives the following property.
Proposition 3.1
Assume that the semigroup T is uniformly stable and that the operator \(T(t) L\) is compact for \(t > 0\). If \(x : \mathbb {R}\to X \) is a mild solution of (1.1) on ℝ, then \(z(t) = \langle\Psi, x_{t}\rangle\) is a solution of the differential equation
Conversely, if f is a bounded function on ℝ and \(z(\cdot)\) is a solution of (3.1), then the function \(x : \mathbb {R}\to X\) given by
is a mild solution of (1.1).
Now we are in a position to establish the main result of this work.
Theorem 3.1
Assume that the semigroup T is uniformly stable and that the operator \(T(t) L\) is compact for \(t > 0\). Let \(f : \mathbb {R}\to X\) be an almost periodic function. If (1.1) has a bounded mild solution on \(\mathbb {R}^{+}\), then it has an almost periodic mild solution.
Proof
Let \(x(\cdot)\) be the mild solution of (1.1) given by (3.2). Since \(z(t) \) satisfies (3.1) and \(\sigma _{p}(G) \subseteq \{\lambda\in \mathbb {C}: \operatorname{Re}(\lambda) \geq0 \}\), then \(z(\cdot)\) is bounded on ℝ. It follows from [38, Theorem 4.2] that \(z(\cdot)\) is an almost periodic function. On the other hand, if we denote
and
then
Let \(\varepsilon > 0\) and let \(P_{\varepsilon }\) be a relatively dense set in ℝ for which the estimate (2.13) is fulfilled. Using that \(V^{Q}(t)\) is a uniformly stable semigroup, there exist constants \(M_{1} \geq1\) and \(\alpha > 0\) such that \(\ V^{Q}(t)\ \leq M_{1} e^{\alpha t}\) for \(t \geq0\). Since \(\\Gamma^{n}\ \leq1\), from the preceding expression it follows that
for some constant \(M_{2} \geq0\). Since this estimate is independent of n, we also obtain
which shows that the function \(Y(\cdot)\) is almost periodic. We complete the proof by combining these assertions with the expression (3.2). □
The condition that the semigroup T is uniformly stable is somewhat demanding. However, we can apply the well established mathematical control theory to relax this condition. Specifically, it is well known that there are many important nondelayed distributed control systems modeled by the equation
where \(B : \mathbb {C}^{m} \to X\) is a linear map, which are stabilizable. We refer to [40–42] for a discussion about this subject. These results motivate the following concept.
Definition 3.1
The semigroup T is said to be stabilizable if there exists a compact linear operator \(K : X \to X\) such that the semigroup generated by \(A + K\) is uniformly stable.
Corollary 3.1
Assume that semigroup \(T(\cdot)\) is stabilizable and the operator \(T(t) L\) is compact for \(t > 0\). Let \(f : \mathbb {R}\to X\) be an almost periodic function. If (1.1) has a bounded mild solution on \(\mathbb {R}^{+}\), then it has an almost periodic mild solution.
Proof
It follows from our hypotheses that there exists a compact linear operator \(K : X \to X\) such that the semigroup \(\widetilde{T}(t)\) generated by \(\widetilde{A} = A + K\) is uniformly stable. Equation (1.1) can be written
where the operator \(\widetilde{L} : C \to X\) is given by
Moreover,
Since K is a compact operator, we can assert that the operator defined by the second term on the right hand side of (3.5) defines a compact operator. Similarly, it is well known [32] that
and, arguing as in the proof of Theorem 2.1, we see that \(\widetilde{T}(t) L\) is a compact operator. Consequently, \(\widetilde{T}(t) \widetilde{L}\) is a compact operator, and we can affirm that (3.4) satisfies the hypotheses of Theorem 3.1. □
Combining this result with the stabilizability criteria established in [40–42], we can present some results for the existence of almost periodic solutions of equation (1.1) in terms of the controllability of the system (3.3). The system (3.3) is said to be approximately controllable in finite time if for every \(x_{1} \in X\) and \(\varepsilon > 0\) there exist \(t_{1} > 0\) and a control function \(u \in L^{1}([0, t_{1}], \mathbb {C}^{m})\) such that \(\x(t_{1})  x_{1}\ \leq \varepsilon \), where \(x(\cdot)\) is the mild solution of (3.3) with initial condition \(x(0) = 0\). In [40, 43] the reader can find criteria for the approximate controllability of special classes of systems of type (3.3).
In the next result we assume that there is a topological decomposition \(X = X_{0} \oplus X_{1}\), where \(X_{i}\) are invariant subspaces under A, and \(X_{1}\) is a finite dimensional space. Let \(T_{i}(t)\) be the restriction of the semigroup \(T(t)\) on \(X_{i}\) for \(i = 0, 1\). Combining Corollary 3.1 with [44, Corollary 3.33] we obtain the following result.
Corollary 3.2
Let \(f : \mathbb {R}\to X\) be an almost periodic function. Assume that the following conditions hold:

(a)
The semigroup \(T_{0}(t)\) is uniformly stable.

(b)
The system (3.3) is approximately controllable in finite time.

(c)
The operator \(T(t) L\) is compact for \(t > 0\).

(d)
Equation (1.1) has a bounded mild solution on \(\mathbb {R}^{+}\).
Then (1.1) has an almost periodic mild solution.
In [40–42] the reader can find many systems that satisfy the conditions considered in the statement of Corollary 3.2. Similarly, combining Corollary 3.1 with the results in [45], we get the following consequence of the controllability.
Corollary 3.3
Assume that X is a Hilbert space and \(T(t)\) is a contraction semigroup such that \(T(t_{0})\) is compact for some \(t_{0} > 0\). Let \(f : \mathbb {R}\to X\) be an almost periodic function. Assume further that the following conditions are fulfilled:

(a)
The system (3.3) is approximately controllable in finite time.

(c)
The operator \(T(t) L\) is compact for \(t > 0\).

(d)
Equation (1.1) has a bounded mild solution on \(\mathbb {R}^{+}\).
Then (1.1) has an almost periodic mild solution.
Proof
It follows from [45, Theorem 3.4.1] that the semigroup \(S(t)\) generated by \(A  B B^{*}\) is strongly stable. Since
we see that \(S(t_{0})\) is compact. Using now [45, Theorem 1.4.6] we find that \(S(t)\) is uniformly stable. Therefore, the semigroup \(T(t)\) is stabilizable, and the assertion is a consequence of Corollary 3.1. □
4 Applications
We initially consider systems governed by a partial differential equation of first order. This type of equations describe interesting phenomena such as transport models [46] or population models with age distribution [47]. Here we consider a simplified system with delay described by the equation
for \(\xi\in \mathbb {R}\), \(t \geq0\), and \(r \leq \theta \leq0\), where \(\alpha , r > 0\) and g, \(\tilde{f}\), φ are functions that satisfy appropriate conditions that will be specified later. It is well known [48, Example 4.6.1] that the initial value problem
can be modeled as an abstract Cauchy problem in the space \(X = L^{2}(\mathbb {R})\). For this reason, in what follows we will assume that \(h \in X\), \(f : \mathbb {R}\to X\) given by \(f(t) = \tilde{f}(t, \cdot)\) is a bounded continuous function, and that \(\varphi \in C([r, 0], X)\), where as usual we have identified \(\varphi (\theta )(\xi) = \varphi (\theta ,\xi)\). Let A be the operator
on the domain \(D(A) = H^{1}(\mathbb {R})\). The operator A is the infinitesimal generator of a strongly continuous group \(T(t)\) on X given by
Consequently, using the notation \(x(t) = w(t, \cdot)\), the problem (4.3)(4.4) is reduced to the abstract Cauchy problem
Furthermore, the semigroup \(T(t)\), \(t \geq0\), is uniformly stable, and the operator \(T(t)\) is not compact because \(T(t)\) has bounded inverse \(T(t)\).
We will assume further that \(g : \mathbb {R}^{2} \to \mathbb {R}\) is continuous and
Lemma 4.1
Under the above conditions, the linear operator \(N : X \to X \) given by
is compact.
Proof
For each \(n \in \mathbb {N}\), we define \(N_{n} : X \to X \) by
and \(N_{n} z (\xi) = 0\) for \(\xi > n\). It follows from [49, Proposition 9.5.2] that \(N_{n}\) is a compact operator. Next we prove that \(N_{n} \to N\) as \(n \to\infty\) for the norm of operators. In fact, for \(z \in X\) we have
Let \(D_{n} = \{(\xi, \eta) : \xi, \eta\in[n, n] \}\). The above estimate shows that
by Lebesgue’s dominated convergence theorem. This implies the assertion. □
This result also holds for some functions g discontinuous (the interested reader can consult [50, Proposition V.4.1]).
We define \(L : C([r, 0],X) \to X\) by \(L(\psi) =  N \psi(r)\). By Lemma 4.1 we see that L is a compact linear map. With this construction, the original system (4.1)(4.2) is represented by the abstract system
and as a consequence of Theorem 3.1 we get the following property.
Corollary 4.1
Under the preceding conditions, if f is almost periodic and (4.1)(4.2) has a bounded mild solution on \(\mathbb {R}^{+}\), then it has an almost periodic solution.
As a second application, we apply our results to study the existence of almost periodic solutions of the wave equation with delay. To establish a general result, we consider an abstract version of the wave equation.
Let H be a real Hilbert space. Following [44, Example 2.16] we consider the abstract wave equation
where \(x(t) \in H\), \(\beta> 0\) and A is a positive self adjoint operator with domain \(D(A)\) such that
for some constant \(k > 0\).
Introducing the Hilbert space \(\mathcal {H}= D(A^{1/2}) \times H\) with inner product
we can write (4.5) as the first order system
where \(w(t) = \bigl[ {\scriptsize\begin{matrix} x(t) \cr x^{\prime}(t) \end{matrix}}\bigr] \in \mathcal {H}\) and \(\mathcal {A}= \bigl[ {\scriptsize\begin{matrix}0 & I \cr  A &  \beta \end{matrix}} \bigr]\) is defined on \(D(\mathcal {A}) = D(A) \times D(A^{1/2})\). Then \(\mathcal {A}\) generates a strongly continuous group \(G(t)\) on ℋ. Consequently, \(G(t)\) is not compact.
We assume also that \(\mu\in\rho( A)\) and \(\R(\mu, A)\ \leq \frac{C}{\mu} \) for \(\operatorname{Re}(\mu) > 0\). Hence, for every \(\lambda\in \mathbb {C}\) with \(\operatorname{Re}(\lambda ) > 0\) we have \(\lambda\in\rho(\mathcal {A})\),
and \(\(\lambda I  \mathcal {A})^{1} \ \leq C\), where \(C > 0\) is a generic constant. Thus, under the above conditions, it follows from [31, Theorem V.1.11] that \(G(t)\) is uniformly stable.
We consider now the inhomogeneous wave equation
Using the previous transformation, we can reduce (4.7) to the first order equation
where \(\widetilde{f}(t) = \bigl[{\scriptsize\begin{matrix} 0 \cr f(t)\end{matrix}} \bigr]\).
Finally we consider the wave equation with delay
where \(L_{1} : C([r, 0], H) \to H\) is a bounded linear operator. Using the previous transformation, we can reduce (4.8) to the first order equation with delay
where \(L: C([r, 0], \mathcal {H}) \to \mathcal {H}\) is given by
The following property is a direct consequence of Theorem 3.1.
Corollary 4.2
Under the above conditions, let \(f : \mathbb {R}\to H\) be an almost periodic function. Assume that \(L_{1}\) is a compact operator, and that (4.8) has a bounded mild solution on \(\mathbb {R}^{+}\). Then (4.8) has an almost periodic mild solution.
Proof
It is clear that L is a compact operator so that \(G(t) L\) is also compact for all \(t > 0\). □
To complete this application, next we will present a pair of concrete examples of compact linear operators \(L_{1} : C([r, 0], H) \to H\).
(i) Let \(K : H \to H\) be a compact linear operator. We fix \(\theta _{0} \in[r, 0]\) and define \(L_{1} (\varphi ) = K \varphi (\theta _{0})\) for \(\varphi \in C([r, 0], H)\). It is immediate that \(L_{1}\) is a compact linear operator.
(ii) Let H be a separable Hilbert space with orthonormal basis \(\{ z_{n} : n \in \mathbb {N}\}\). Let \(\eta_{n} : [r, 0] \to \mathbb {C}\) for \(n \in \mathbb {N}\) be a function with bounded variation \(V[\eta_{n}]\). We assume that \(\sum_{n = 1}^{\infty} V[\eta_{n}]^{2} < \infty\). Let \(L_{1}\) given by
It is not difficult to verify that \(L_{1}\) is a compact linear operator.
Finally, we present an application in which the original semigroup is not uniformly stable. A large number of concrete systems can be formulated in the following abstract form. Let H be a separable Hilbert space with orthonormal basis \(\{ z_{n} : n \in \mathbb {N}\}\). Let \((\lambda_{n})_{n}\) be a sequence of complex numbers such that \(\sup_{n \in \mathbb {N}} \operatorname{Re}(\lambda_{n}) < \infty\). We consider the operator \(A : D(A) \subseteq H \to H\) given by
where \(D(A) = \{z \in H : \sum_{n = 1}^{\infty} \lambda_{n}^{2} \langle z, z_{n} \rangle^{2} < \infty\}\). It is well known that A generates a strongly continuous semigroup \(T(t)\) given by
which generally is not compact and is not uniformly stable. Let \(\beta > 0\). We decompose \(\mathbb {N}= I \cup J\), where \(I = \{n \in \mathbb {N}: \operatorname{Re}(\lambda _{n}) >  \beta\}\) and \(J = \mathbb {N}\setminus I\). We assume that \(\lambda_{n} \to0\) as \(n \to\infty\), \(n \in I\). We define the operator \(K : H \to H\) by \(K z = \sum_{n \in I} \lambda_{n} \langle z, z_{n} \rangle z_{n}\). It is easy to verify that K is a compact linear operator. Moreover, the semigroup \(S(t)\) generated by \(A K\) is given by
and \(\S(t) z\ \leq e^{ \beta t} \z\\) for \(t \geq0\), which shows that \(S(t)\) is uniformly stable. Hence, we can apply Corollary 3.1 to conclude that under the preceding conditions if the operator \(T(t) L\) is compact for \(t > 0\), \(f : \mathbb {R}\to H\) is an almost periodic function, and (1.1) has a bounded mild solution on \(\mathbb {R}^{+}\), then it has an almost periodic mild solution.
5 Conclusion
In this work we have studied the existence of almost periodic solutions of ARFDEs where the operator acting on the delay term is bounded. Somewhat superficially, our results are able to reduce the existence of almost periodic solutions of the inhomogeneous equation to the possibility to control or stabilize the system without delay.
References
Hino, Y, Murakami, S: A generalization of processes and stabilities in abstract functional differential equations. Funkc. Ekvacioj 41, 235255 (1998)
Murakami, S: Periodic solutions of some functional differential equations with diffusion. Funkc. Ekvacioj 40, 117 (1997)
Murakami, S, Nagabuchi, Y: Invariant manifolds for abstract functional differential equations and related Volterra difference equations in a Banach space. Funkc. Ekvacioj 50, 133170 (2007)
Wu, J: Theory and Applications of Partial Functional Differential Equations. Springer, New York (1996)
Higham, DJ, Sardar, TK: Existence and stability of fixed points for a discretised nonlinear reactiondiffusion equation with delay. Appl. Numer. Math. 18, 155173 (1995)
Gu, W, Wang, P: A CrankNicolson difference scheme for solving a type of variable coefficient delay partial differential equations. J. Appl. Math. 2014, Article ID 560567 (2014)
Jin, YF, Jiang, J, Hou, CM, Guan, DH: New difference scheme for general delay parabolic equations. J. Inf. Comput. Sci. 9(18), 55795586 (2012)
Sardar, TK, Higham, DJ: Dynamics of constant and variable stepsize methods for a nonlinear population model with delay. Appl. Numer. Math. 24, 425438 (1997)
Tanabe, H: Functional Analytic Methods for Partial Differential Equations. Dekker, New York (1997)
Ashyralyev, A, Sobolevskii, PE: On the stability of the delay differential and difference equations. Abstr. Appl. Anal. 6(5), 267297 (2001)
Ashyralyev, A, Sobolevskii, PE: New Difference Schemes for Partial Differential Equations. Birkhäuser, Basel (2014)
Di Blasio, G: Delay differential equations with unbounded operators acting on delay terms. Nonlinear Anal. TMA 52(1), 118 (2003)
Shakhmurov, VB, Sahmurova, A: Abstract parabolic problems with parameter and application. Appl. Math. Comput. 219(17), 95619571 (2013)
Ashyralyev, A, Agirseven, D: Finite difference method for delay parabolic equations. In: Numerical Analysis and Applied Mathematics ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics. AIP Conference Proceedings, vol. 1389, pp. 573576 (2011)
Agirseven, D: Approximate solutions of delay parabolic equations with the Dirichlet condition. Abstr. Appl. Anal. 2012, Article ID 682752 (2012)
Ashyralyev, A, Agirseven, D: On convergence of difference schemes for delay parabolic equations. Comput. Math. Appl. 66(7), 12321244 (2013)
Ashyralyev, A, Agirseven, D: Wellposedness of delay parabolic difference equations. Adv. Differ. Equ. 2014, Article ID 18 (2014)
Ashyralyev, A, Agirseven, D: Wellposedness of delay parabolic equations with unbounded operators acting on delay terms. Bound. Value Probl. 2014, Article ID 126 (2014)
Ashyralyev, A, Agirseven, D: Note on the stability of delay parabolic equations with unbounded operators acting on delay terms. Electron. J. Differ. Equ. 2014, 160 (2014)
Ashyralyev, A, Agirseven, D: Stability of delay parabolic difference equations. Filomat 28(5), 9951006 (2014)
Hino, Y, Naito, T, Van Minh, N, Shin, JS: Almost Periodic Solutions of Differential Equations in Banach Spaces. Taylor & Francis, London (2002)
BoukliHacene, N, Ezzinbi, K: Weighted pseudo almost periodic solutions for some partial functional differential equations. Nonlinear Anal. 71, 36123621 (2009)
Cuevas, C, Hernández, EM: Pseudoalmost periodic solutions for abstract partial functional differential equations. Appl. Math. Lett. 22, 534538 (2009)
Ezzinbi, K, Fatajou, S, N’Guérékata, GM: Pseudo almost automorphic solutions for some partial functional differential equations with infinite delay. Appl. Anal. 87, 591605 (2008)
Ezzinbi, K, N’Guérékata, GM: Almost automorphic solutions for some partial functional differential equations. J. Math. Anal. Appl. 328, 344358 (2007)
Henríquez, HR: Asymptotically almost periodic solutions of abstract retarded functional differential equations of first order. Nonlinear Anal., Real World Appl. 10, 24412454 (2009)
Liu, Q, Van Minh, N, N’Guérékata, G, Yuan, R: Massera type theorems for abstract functional differential equations. Funkc. Ekvacioj 51, 329350 (2008)
Liu, Q, Yuan, R: Asymptotic behavior of solutions to abstract functional differential equations. J. Math. Anal. Appl. 356, 405417 (2009)
Ruess, WM: Compactness and asymptotic stability for solutions of functional differential equations with infinite delay. In: Ferreyra, G, Ruiz Goldstein, G, Neubrander, F (eds.) Evolution Equations. Lect. Notes Pure and Appl. Math., vol. 168, pp. 361374. Dekker, New York (1995)
Zhang, L, Xu, Y: Weighted pseudo almost periodic solutions for functional differential equations. Electron. J. Differ. Equ. 2007, 146 (2007)
Engel, KJ, Nagel, R: OneParameter Semigroups for Linear Evolution Equations. Springer, New York (2000)
Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983)
Goldberg, S: Unbounded Linear Operator. Dover, New York (1985)
Travis, CC, Webb, GF: Existence and stability for partial functional differential equations. Trans. Am. Math. Soc. 200, 395418 (1974)
Henríquez, HR: On nonexact controllable systems. Int. J. Control 42, 7183 (1985)
Hino, Y, Murakami, S, Naito, T, Van Minh, N: A variation of constants formula for abstract functional differential equations in the phase space. J. Differ. Equ. 179, 336355 (2002)
Hale, J, Verduyn Lunel, SM: Introduction to Functional Differential Equations. Springer, New York (1993)
Corduneanu, C: Almost Periodic Functions. Chelsea, New York (1989)
Zaidman, SD: AlmostPeriodic Functions in Abstract Spaces. Pitman, London (1985)
Curtain, RF, Zwart, HJ: An Introduction to InfiniteDimensional Linear Systems Theory. Springer, New York (1995)
Pritchard, AJ, Zabczyk, J: Stability and stabilizability of infinite dimensional systems. SIAM Rev. 23, 2552 (1981)
Triggiani, R: On the stabilizability problem in Banach space. J. Math. Anal. Appl. 52, 383403 (1975)
Henríquez, HR: Approximate controllability of linear distributed control systems. Appl. Math. Lett. 21, 10411045 (2008)
Curtain, RF, Pritchard, AJ: Infinite Dimensional Linear Systems Theory. Lect. Notes in Control and Information Sciences, vol. 8. Springer, Berlin (1978)
Benchimol, CD: Feedback stabilizability in Hilbert spaces. Appl. Math. Optim. 4, 225248 (1978)
Salsa, S: Partial Differential Equations in Action. From Modelling to Theory. Springer, Milan (2008)
Murray, JD: Mathematical Biology. I. An Introduction, 3rd edn. Springer, Berlin (2002)
Balakrishnan, AV: Applied Functional Analysis, 2nd edn. Springer, New York (1981)
Edwards, RE: Functional Analysis. Theory and Applications. Dover, New York (1995)
Martin, RH: Nonlinear Operators and Differential Equations in Banach Spaces. Krieger, Melbourne (1987)
Acknowledgements
The authors acknowledge the disposition of the reviewer to review the work as well as his numerous comments and suggestions that greatly improved the original text. The first author was supported partially by CONICYT under Grant FONDECYT 1130144 and DICYTUSACH. The second author was supported partially by CNPq/Brazil under Grant 478053/20134.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Henríquez, H.R., Cuevas, C. & Caicedo, A. Almost periodic solutions of partial differential equations with delay. Adv Differ Equ 2015, 46 (2015). https://doi.org/10.1186/s1366201503888
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201503888