- Research
- Open access
- Published:

# Asymptotic stability of positive periodic solution for semilinear evolution equations

*Advances in Difference Equations*
**volume 2014**, Article number: 197 (2014)

## Abstract

The aim of this paper is to study the asymptotic stability of positive periodic solution for semilinear evolution equation in an ordered Banach space *E*: {u}^{\prime}(t)+Au(t)=f(t,u(t)), t\in {\mathbb{R}}^{+}=[0,+\mathrm{\infty}), where A:D(A)\subset E\to E is a closed linear operator, and f:{\mathbb{R}}^{+}\times E\to E is a continuous mapping which is *ω*-periodic in *t*. Under order conditions on the nonlinearity *f*, the asymptotic stability results of positive *ω*-periodic mild solution are obtained on {\mathbb{R}}^{+} by using operator semigroup theory and a monotone iterative technique.

**MSC:**35B10, 35B40.

## 1 Introduction

The problems concerning periodic solutions of partial differential equations are an important area of investigation in recent years. Especially, the existence of periodic solutions for the evolution equations has been considered by several authors; see [1–14] and the references therein. In [1], Xiang and Ahmad proved an existence result of the periodic solution to the delay evolution equations in Banach spaces under the assumption that the corresponding initial value problem has an *a priori* estimate. In [2, 3], Liu derived periodic solutions from bounded solutions or ultimate bounded solutions for finite or infinite delay evolution equations in Banach spaces. In [4], Liang *et al.* proved that if the solutions of the corresponding initial value problem are ultimately bounded, then the delay impulsive evolution equation has a periodic solution. In all these works, the key assumption of *a priori* boundedness of solutions is employed. In [5], Li studied the existence and uniqueness of positive periodic solutions for semilinear evolution equations in ordered Banach spaces by using a monotone iterative technique. In [6], under the spectral separation conditions of a selfadjoint operator, Li studied the existence and uniqueness of periodic solutions for semilinear evolution equations in Hilbert spaces by using the method of fixed point theorems.

Recently, Li in [7] investigated the existence and asymptotic stability of time *ω*-periodic solutions for the delay parabolic boundary value problem (DPBVP),

where \mathrm{\Omega}\subset {\mathbb{R}}^{N} is a bounded domain with sufficiently smooth boundary *∂* Ω,

is a uniformly elliptic differential operator of divergence form in \overline{\mathrm{\Omega}} with the coefficients {a}_{ij}\in {C}^{1+\mu}(\overline{\mathrm{\Omega}}) (i,j=1,2,\dots ,N) and {a}_{0}\in {C}^{\mu}(\overline{\mathrm{\Omega}}) for some \mu \in (0,1). That is, {[{a}_{ij}(x)]}_{N\times N} is a positive define symmetric matrix for every x\in \overline{\mathrm{\Omega}}, and {\tau}_{1},{\tau}_{2},\dots ,{\tau}_{n} are positive constants which denote the time delays. Let {a}_{0}(x)\ge 0 on \overline{\mathrm{\Omega}}, g:\overline{\mathrm{\Omega}}\times \mathbb{R}\times {\mathbb{R}}^{n+1}\to \mathbb{R} be a continuous function which is *ω*-periodic in *t*. Assume we work under the following assumptions:

(A_{1}) There exist positive constants {\beta}_{0},\dots ,{\beta}_{n} such that

for any (x,t,{\eta}_{0},\dots ,{\eta}_{n}),(x,t,{\zeta}_{0},\dots ,{\zeta}_{n})\in \overline{\mathrm{\Omega}}\times \mathbb{R}\times {\mathbb{R}}^{n+1}.

(A_{2}) {\sum}_{i=0}^{n}{e}^{{\lambda}_{1}{\tau}_{i}}{\beta}_{i}<{\lambda}_{1}.

The authors obtained the existence and asymptotic stability of time *ω*-periodic solutions for the DPBVP (1).

If we have the case without delays, in {\mathbb{R}}^{+}, the DPBVP (1) degenerates into the following problem:

In this case, the assumptions (A_{1}) and (A_{2}) degenerate into the following.

(A_{3}) There exists a constant \beta \in (0,{\lambda}_{1}) such that

for any (x,t,\eta ),(x,t,\zeta )\in \overline{\mathrm{\Omega}}\times {\mathbb{R}}^{+}\times \mathbb{R}.

Sometimes the condition (A_{3}) is not easy to verify in applications. To make the work better applicable, in this paper, we obtain the following result.

**Theorem A** *Let* g(x,t,0)\ge 0 *and* g(x,t,0)\not\equiv 0. *Assume that the following conditions are satisfied*.

(C_{1}) *For any* R\ge 0, *there exists a constant* M=M(R)>0 *such that*

*for* {\xi}_{1},{\xi}_{2}\in \mathbb{R} *with* 0\le {\xi}_{1}\le {\xi}_{2}, |{\xi}_{i}|\le R (i=1,2).

(C_{2}) *There exists a constant* L<{\lambda}_{1} *such that*

*for* {\xi}_{1},{\xi}_{2}\in \mathbb{R} *with* 0\le {\xi}_{1}\le {\xi}_{2}.

*Then the problem* (2) *has a unique positive time* *ω*-*periodic solution and it exponentially attracts every solution of the corresponding initial value problem in* {L}^{2}(\mathrm{\Omega}).

Our discussion will be made in the framework of ordered Banach spaces. Let *E* be an ordered Banach space with norm \parallel \cdot \parallel, whose positive cone *K* is normal with normal constant N=1, A:D(A)\subset E\to E be a closed linear operator, −*A* generate a {C}_{0}-semigroup T(t) (t\ge 0) in *E*, and let f:{\mathbb{R}}^{+}\times E\to E be a continuous mapping which is *ω*-periodic in *t*. It is well known (see [15]) that for a {C}_{0}-semigroup T(t) (t\ge 0) that there exist C>0 and \delta \in \mathbb{R} such that

Let {\nu}_{0}=inf\{\delta \in R,\text{there exists}C0\text{such that}\parallel T(t)\parallel \le C{e}^{\delta t},t\ge 0\}. Then {\nu}_{0} is called the growth exponent of the semigroup T(t) (t\ge 0). Furthermore, {\nu}_{0} can also be obtained by the following formula:

More generally, we consider the existence and asymptotic stability of time *ω*-periodic solution for the abstract evolution equation in *E*

For the abstract evolution equation (3), we obtain the following results.

**Theorem 1** *Let* *E* *be an ordered Banach space*, *whose positive cone* *K* *is normal*. *Assume that* −*A* *generates a positive* {C}_{0}-*semigroup* T(t) (t\ge 0) *in* *E*, f:{\mathbb{R}}^{+}\times E\to E *is a continuous mapping which is* *ω*-*periodic in* *t*, *and* f(t,\theta )\ge \theta, f(t,\theta )\not\equiv \theta *for* t\in {R}^{+}, *where* *θ* *is the zero element in* *E*. *Assume* f(t,u) *satisfies the following conditions*.

(H_{1}) *For any* R\ge 0, *there exists a constant* M=M(R)>0 *such that*

*for* x,y\in E *with* \theta \le x\le y, \parallel x\parallel \le R, \parallel y\parallel \le R.

(H_{2}) *There exists a constant* L<-{\nu}_{0} *such that*

*for* x,y\in E *with* \theta \le x\le y.

*Then the positive* *ω*-*periodic mild solution of Eq*. (3) *is globally asymptotically stable*.

If {C}_{0}-semigroup T(t) is continuous in uniform operator topology for every t>0 in *E*, it is well known (see [16]) that {\nu}_{0} can also be determined by \sigma (A) and

where \sigma (A) is the spectrum of *A*. We know (see [15]) that compact semigroup is continuous in uniform operator topology for t>0. Let *K* be a regeneration cone, T(t) (t\ge 0) be a compact and positive {C}_{0}-semigroup. By the characteristic of positive semigroups (see [17]) and the Krein-Rutmann theorem, *A* has the first eigenvalue {\lambda}_{1}>0 and

That is, {\nu}_{0}=-{\lambda}_{1}. Hence by Theorem 1, we have the following.

**Corollary 1** *Let* *E* *be an ordered Banach space*, *whose positive cone* *K* *is a normal regeneration cone*. *Assume that* −*A* *generates a compact and positive* {C}_{0}-*semigroup* T(t) (t\ge 0) *in* *E*, f:{\mathbb{R}}^{+}\times E\to E *is a continuous mapping which is* *ω*-*periodic in* *t* *and* f(t,\theta )\ge \theta, f(t,\theta )\not\equiv \theta *for* t\in {\mathbb{R}}^{+}. *If* f(t,u) *satisfies the assumptions* (H_{1}) *and*

{({\mathrm{H}}_{2})}^{\ast}
*there exists a constant*
L<{\lambda}_{1}
*such that*

*for* x,y\in E *with* \theta \le x\le y.

*Then the positive* *ω*-*periodic mild solution of Eq*. (3) *is globally asymptotically stable*.

**Remark 1** Under the assumptions of Theorem 1 or Corollary 1, the existence and uniqueness of positive *ω*-periodic mild solutions for Eq. (3) were obtained by Li in [5]. So, in this paper, we mainly focus on the asymptotic stability of the positive *ω*-periodic mild solutions.

We apply the above abstract results to the problem (2). Let E={L}^{2}(\mathrm{\Omega}), K=\{u\in {L}^{2}(\mathrm{\Omega}):u(x)\ge 0,\text{a.e.}x\in \mathrm{\Omega}\}. Then *K* is a normal regeneration cone in *E*. Define an operator A:D(A)\subset E\to E by

It is well known (see [7]) that −*A* generates a compact {C}_{0}-semigroup in *E* which is also positive. Define a mapping f:{\mathbb{R}}^{+}\times E\to E by

It is clear that f:{\mathbb{R}}^{+}\times E\to E is continuous and it is *ω*-periodic in *t*. Thus, the problem (2) is rewritten into the form of abstract evolution equation (3). When the conditions (C_{1}) and (C_{2}) of Theorem A are satisfied, the mapping f:{\mathbb{R}}^{+}\times E\to E defined by (4) satisfies the conditions (H_{1}) and {({\mathrm{H}}_{2})}^{\ast}. Hence, by Corollary 1, we obtain the conclusion of Theorem A.

The abstract result of Theorem 1 will be proved in Section 3. In Section 2, some preliminary conclusions are given.

## 2 Preliminaries

Let *E* be an ordered Banach space, whose positive cone *K* is normal, A:D(A)\to E be a closed linear operator in *E*. Denote by C([0,\omega ],E) the continuous function space from [0,\omega ] to *E*. Let {C}_{\omega}({\mathbb{R}}^{+},E) be the Banach space \{u\in C({\mathbb{R}}^{+},E):u(t)=u(t+\omega ),t\in {\mathbb{R}}^{+}\} endowed with the maximum norm {\parallel u\parallel}_{C}={max}_{t\in [0,\omega ]}\parallel u(t)\parallel. We first consider the existence of the initial value problem (IVP) of the evolution equation in *E*

For IVP (5), we obtain the following existence result.

**Lemma 1** *Let* *E* *be an ordered Banach space*, *whose positive cone* *K* *is normal*. *Assume that* −*A* *generates a positive* {C}_{0}-*semigroup* T(t) (t\ge 0) *in* *E*, f:{\mathbb{R}}^{+}\times K\to E *is continuous and* f(t,\theta )\ge \theta, f(t,\theta )\not\equiv \theta *for* t\in {\mathbb{R}}^{+}. *If* {x}_{0}\in K *and* f(t,u) *satisfies the conditions* (H_{1}) *and* (H_{2}), *then IVP* (5) *has a unique mild solution*.

*Proof* Let {h}_{0}(t)=f(t,\theta ). Then {h}_{0}\in C({\mathbb{R}}^{+},E), {h}_{0}(t)\ge \theta and {h}_{0}(t)\not\equiv \theta. We first consider the initial value problem of linear evolution equation (LIVP)

It is well known (see [15]) that the LIVP (6) has a unique mild solution {u}_{0}\in C({\mathbb{R}}^{+},E) expressed by

where {S}_{1}(t)={e}^{Lt}T(t) (t\ge 0) is a positive {C}_{0}-semigroup generated by -(A-LI), whose norm satisfies \parallel {S}_{1}(t)\parallel \le C{e}^{(L+{\nu}_{0})t}\le C for t\ge 0. Hence, we have

Let {v}_{0}\equiv \theta, {w}_{0}={u}_{0}. By {h}_{0}(t)\ge \theta, {h}_{0}(t)\not\equiv \theta, {x}_{0}\in K and the positive property of semigroup {S}_{1}(t) (t\ge 0), we see that {v}_{0}\le {w}_{0}. Let M=M(\overline{R})>0 be the constant in assumption (H_{1}). We consider the following IVP of the evolution equation:

Without loss of generality, we assume M>-L (otherwise, replacing *M* by M+|L|, the assumption (H_{1}) still holds). Then the operator -(A+MI) generates a positive {C}_{0}-semigroup {S}_{2}(t)={e}^{-Mt}T(t) (t\ge 0), whose norm satisfies \parallel {S}_{2}(t)\parallel \le C{e}^{-(M-{\nu}_{0})t}\le C for t\ge 0.

Define the operator *Q* by

It is clear that the mild solution of IVP (7) is equivalent to the fixed point of operator *Q*.

Let D=[{v}_{0},{w}_{0}]. It follows from assumption (H_{1}) that Q:D\to C({\mathbb{R}}^{+},E) is a continuously increasing operator. Let

Then

Therefore, for any t\ge 0, we have

By the normality of cone *K* in *E*, we have

Continuing such a procedure, we have

This implies that there is a unique {u}^{\ast}\in C({\mathbb{R}}^{+},E) such that

Combining this with (9), since the convergence is uniform in each compact interval and the operator *Q* is continuous, we obtain {u}^{\ast}=Q{u}^{\ast}. Therefore, u(t;{x}_{0}):={u}^{\ast}(t) is the unique mild solution of IVP (7) on {\mathbb{R}}^{+}. This proof is completed. □

To prove our main result, we also need the following lemma.

**Lemma 2** *Let* {y}_{1},{y}_{2}\in E *with* \theta \le {y}_{1}\le {y}_{2}. *Then* u(t;{y}_{1})\le u(t;{y}_{2}).

*Proof* Consider the following two initial value problems:

and

Let {x}_{0}={y}_{1}+{y}_{2}. Then the solution of LIVP (6) is the {w}_{0} corresponding to IVP (11) and IVP (12). Let {v}_{0}=\theta. A similar argument as in Lemma 1 shows that

and

For any t\ge 0, noticing that {v}_{1,0}(t)={v}_{2,0}(t)\equiv \theta and \theta \le {y}_{1}\le {y}_{2}, it follows from the positivity of the operators {S}_{2}(t) and

that {v}_{1,1}(t)\le {v}_{2,1}(t). Inductively, when {v}_{1,n-1}(t)\le {v}_{2,n-1}(t), it follows from

that

Taking the limits on both sides of inequality (13) as n\to \mathrm{\infty}, we obtain

This proof is completed. □

For the existence and uniqueness of *ω*-periodic mild solutions of Eq. (3), we have the following result.

**Lemma 3** (see [5])

*Let* *E* *be an ordered Banach space*, *whose positive cone* *K* *is normal*. *Assume that* −*A* *generates a positive* {C}_{0}-*semigroup* T(t) (t\ge 0) *in* *E*, f:{\mathbb{R}}^{+}\times K\to E *is a continuous mapping which is* *ω*-*periodic in* *t* *and* f(t,\theta )\ge \theta, f(t,\theta )\not\equiv \theta *for* t\ge 0. *If* f(t,u) *satisfies the conditions* (H_{1}) *and* (H_{2}), *then Eq*. (3) *has a unique positive* *ω*-*periodic mild solution on* {\mathbb{R}}^{+}.

## 3 The proof of Theorem 1

*Proof of Theorem 1* Define an equivalent norm {|\cdot |}_{E} in *E* by

Then \parallel x\parallel \le {|x|}_{E}\le C\parallel x\parallel and

which implies that {|{S}_{2}(t)|}_{E}\le {e}^{-(M-{\nu}_{0})t}.

From Lemma 3, Eq. (3) has a unique positive *ω*-periodic mild solution \tilde{u} on {\mathbb{R}}^{+}. By Lemma 1, IVP (5) has a unique positive mild solution u=u(t;{x}_{0})\in C({\mathbb{R}}^{+},K). Let {y}_{0}=\tilde{u}(0). Then \tilde{u}(t)=u(t;{y}_{0}). Setting {x}_{1}:={y}_{0}+{x}_{0}, then {x}_{1}\ge {y}_{0}, {x}_{1}\ge {x}_{0}. By Lemma 2, we see that \theta \le \tilde{u}(t)\le u(t;{x}_{1}), \theta \le u(t;{x}_{0})\le u(t;{x}_{1}). Setting {u}_{1}(t)=u(t;{x}_{1}), {u}^{\ast}(t)=u(t;{x}_{0}), by the semigroup representation of the solutions, we have

By the normality of cone *K* in *E*, we have

that is,

By the Gronwall-Bellman inequality, we have

Similarly, {|{u}_{1}(t)-{u}^{\ast}(t)|}_{E}\to 0 (t\to \mathrm{\infty}). Therefore, we obtain

This proof is completed. □

## 4 Application

To illustrate our results, we consider the semilinear partial differential equations in {\mathbb{R}}^{2} of the form

where g\in {C}^{1}({\mathbb{R}}^{3}) is 2*π*-periodic both in *x* and *t*.

Let E={C}_{2\pi}(\mathbb{R}). Define an operator *A* in *E* by

By [5], −*A* generates a contraction {C}_{0}-semigroup T(t) (t\ge 0) in *E*, which is also a positive {C}_{0}-semigroup. By the contraction property of T(t) (t\ge 0), we know that {\nu}_{0}\le 0.

Let f(t,u(t))(\cdot )=g(\cdot ,t,u(\cdot ,t)). Then f:\mathbb{R}\times E\to E is continuous and is 2*π*-periodic in *t*. From Theorem 1, we can obtain the following.

**Theorem 2** *Let* g\in {C}^{1}({\mathbb{R}}^{3}) *which is* 2*π*-*periodic both in* *x* *and* *t*, *and* g(x,t,0)\ge 0, g(x,t,0)\not\equiv 0. *Assume that the following conditions are satisfied*:

(P_{1}) *For any* R\ge 0, *there exists a constant* M=M(R)>0 *such that*

*for* {\xi}_{1},{\xi}_{2}\in \mathbb{R} *with* 0\le {\xi}_{1}\le {\xi}_{2}, |{\xi}_{i}|\le R (i=1,2).

(P_{2}) *There exists a constant* L<-{\nu}_{0} *such that*

*for* {\xi}_{1},{\xi}_{2}\in \mathbb{R} *with* 0\le {\xi}_{1}\le {\xi}_{2}.

*Then the problem* (14) *has a unique double* 2*π*-*periodic mild solution in* {C}_{2\pi}(\mathbb{R},E) *which is globally asymptotic stable*.

**Remark 2** It is clear that if sup{g}_{u}(x,t,u)<0, then the assumptions (P_{1}) and (P_{2}) hold automatically.

## References

Xiang X, Ahmed N: Existence of periodic solutions of semilinear evolution equations with time lags.

*Nonlinear Anal.*1992, 18: 1063-1070. 10.1016/0362-546X(92)90195-KLiu J: Bounded and periodic solutions of finite delays evolution equations.

*Nonlinear Anal.*1998, 34: 101-111. 10.1016/S0362-546X(97)00606-8Liu J: Bounded and periodic solutions of infinite delay evolution equations.

*J. Math. Anal. Appl.*2003, 286: 705-712. 10.1016/S0022-247X(03)00512-2Liang J, Liu J, Xiao T: Periodic solutions of delay impulsive differential equations.

*Nonlinear Anal.*2011, 74: 6835-6842. 10.1016/j.na.2011.07.008Li Y: Existence and uniqueness of positive periodic solutions for abstract semilinear evolution equations.

*J. Syst. Sci. Math. Sci.*2005, 25: 720-728. (in Chinese)Li Y: Existence and uniqueness of periodic solution for a class of semilinear evolution equations.

*J. Math. Anal. Appl.*2009, 349: 226-234. 10.1016/j.jmaa.2008.08.019Li Y: Existence and asymptotic stability of periodic solution for evolution equations with delays.

*J. Funct. Anal.*2011, 261: 1309-1324. 10.1016/j.jfa.2011.05.001Amann H: Periodic solutions of semilinear parabolic equations. In

*Nonlinear Analysis: A Collection of Papers in Honor of Erich H. Rothe*. Edited by: Cesari L, Kannan R, Weinberger R. Academic Press, New York; 1978:1-29.Lizama C: Fourier multiplier and periodic solutions of delay equations in Banach spaces.

*J. Math. Anal. Appl.*2006, 324(2):921-933. 10.1016/j.jmaa.2005.12.043Cuevas C, Lizama C, Soto H: Asymptotic periodicity for strongly damped wave equations.

*Abstr. Appl. Anal.*2013., 2013: Article ID 308616Agarwal R, Cuevas C, Soto H, El-Gebeily M: Asymptotic periodicity for some evolution equations in Banach spaces.

*Nonlinear Anal.*2011, 74(5):1769-1798. 10.1016/j.na.2010.10.051Agarwal R, Cuevas C, Soto H: Pseudo-almost periodic solutions of a class of semilinear fractional differential equations.

*J. Appl. Math. Comput.*2011, 37(1):625-634.Cuevas C, Sepúlveda A, Soto H: Almost periodic and pseudo-almost periodic solutions to fractional differential and integro-differential equations.

*Appl. Math. Comput.*2011, 218: 1735-1745. 10.1016/j.amc.2011.06.054Cuevas C, Pierri M, Sepúlveda A: Weighted

*S*-asymptotically*ω*-periodic solutions of a class of fractional differential equations.*Adv. Differ. Equ.*2011., 2011: Article ID 584874Pazy A:

*Semigroups of Linear Operators and Applications to Partial Differential Equations*. Springer, Berlin; 1983.Triggiani R: On the stabilizability problem in Banach spaces.

*J. Math. Anal. Appl.*1975, 52: 383-403. 10.1016/0022-247X(75)90067-0Li Y: Positive solution for abstract semilinear evolution equations and its applications.

*Acta Math. Sin.*1996, 39: 666-672. (in Chinese)

## Acknowledgements

The authors are grateful to the referees for their helpful comments and suggestions. Research supported by NNSF of China (No. 11261053), NSF of Gansu Province (No. 1308RJZA217) and Project of NWNU-LKQN-11-3.

## 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 article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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

Yang, H., Li, Q. Asymptotic stability of positive periodic solution for semilinear evolution equations.
*Adv Differ Equ* **2014**, 197 (2014). https://doi.org/10.1186/1687-1847-2014-197

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2014-197