# On weak exponential expansiveness of skew-evolution semiflows in Banach spaces

- Tian Yue
^{1, 2}, - Xiao-qiu Song
^{1}Email author and - Dong-qing Li
^{1}

**2014**:165

https://doi.org/10.1186/1029-242X-2014-165

© Yue et al.; licensee Springer. 2014

**Received: **5 June 2013

**Accepted: **1 April 2014

**Published: **6 May 2014

## Abstract

The aim of this paper is to give several characterizations for weak exponential expansiveness properties of skew-evolution semiflows in Banach spaces. Variants for weak exponential expansiveness of some well-known results in uniform exponential stability theory (Datko (1973)) and exponential instability theory (Lupa (2010), Megan *et al.* (2008)) are obtained.

**MSC:**93D20, 34D20.

### Keywords

skew-evolution semiflow weak exponential expansiveness Barreira-Valls weak exponential expansiveness Lyapunov function## 1 Introduction

It is well known that in recent years, the exponential stability theory of one parameter semigroups of operators and evolution operators has witnessed significant development. A number of long-standing open problems have been solved and the theory seems to have obtained a certain degree of maturity. One of the most important results of the stability theory is due to Datko, who proved in 1970 in [1] that a strongly continuous semigroup of operators ${\{T(t)\}}_{t\ge 0}$ is uniformly exponentially stable if and only if for each vector *x* from the Banach space *X*, the function $t\to \parallel T(t)x\parallel $ lies in ${L}^{2}({\mathbb{R}}_{+})$. Later, Pazy generalizes the result in [2] for ${L}^{p}({\mathbb{R}}_{+})$, $p\ge 1$. In 1973, Datko [3] generalized the results above, and proved that an evolutionary process $\mathcal{U}={\{U(t,s)\}}_{t\ge s\ge 0}$ with uniform exponential growth is uniformly exponentially stable if and only if there exists an exponent $p\ge 1$ such that ${sup}_{s\ge 0}{\int}_{s}^{\mathrm{\infty}}{\parallel U(t,s)x\parallel}^{p}\phantom{\rule{0.2em}{0ex}}dt<\mathrm{\infty}$, for each $x\in X$. This result was improved by Rolewicz in 1986 (see [4]). In [5] and [6], the authors generalized the results above in the case of ${C}_{0}$-semigroups and evolutionary process, respectively, and presented a unified treatment in terms of Banach function spaces. In [7], the property of nonuniform exponential stability has been studied by L. Barreira and C. Valls. In addition, the weak exponential stability of evolution operators in Banach spaces has been investigated and several important results have been obtained by Lupa, Megan and Popa in [8].

Since the existence problem of exponential expansiveness of evolution equations is distinct compared to the studies devoted to stability and to dichotomy, respectively, exponential expansiveness is a powerful tool when people analyze the asymptotic behavior of dynamical systems. In the last few years, new concepts of exponential expansiveness and in particular, of exponential instability, have been introduced and characterized (see [9–20]). For instance, in [16] Megan and his partners obtained some necessary and sufficient conditions for uniform exponential instability of linear skew-product semiflows in terms of Banach sequence spaces and Banach function spaces. In [12] and [15], the cases of uniform exponential instability has been considered for evolution families and linear skew-product flows, respectively. Additionally, in [19] Lupa considered a weaker notion of instability for evolution operators, thus some necessary and sufficient characterizations for weak exponential instability of evolution operators were obtained.

The concept of skew-evolution semiflows, introduced and characterized by Stoica and Megan in [17] by means of evolution semiflows and cocycles, seems to be more appropriate for the study of asymptotic behaviors of evolution equations. They depend on three variables, contrary to a skew-product semiflow or an evolution operator, for which they are generalizations and which depend only on two. The exponential instability and uniform exponential stability for skew-evolution semiflows are studied by Stoica and Megan in [17] and [21], respectively.

In the present paper, we introduce the concept of weak exponential expansiveness for skew-evolution semiflows which is an extension of classical concept of exponential expansiveness. Our main objective is to give some characterizations for weak exponential expansiveness properties of skew-evolution semiflows in Banach spaces, and variants for weak exponential expansiveness of some well-known results in uniform exponential stability theory (Datko [3]) and exponential instability theory (Lupa [19], Megan and Stoica [17]) are obtained. As applications we obtain characterizations of the concepts in terms of Lyapnov functions. We note that in our proof we don’t need to assume the strong continuity of skew-evolution semiflows.

## 2 Preliminaries

Let $(X,d)$ be a metric space, *V* a Banach spaces. The norm on *V* and on the space $\mathcal{B}(V)$ of all bounded operators on *V* will be denoted by $\parallel \cdot \parallel $. We denote $T=\{(t,{t}_{0})\in {\mathbb{R}}_{+}^{2}:t\ge {t}_{0}\ge 0\}$ and $Y=X\times V$. *I* is the identity operator.

**Definition 2.1** (see [21])

A mapping $\phi :T\times X\to X$ is called evolution semiflow on *X* if following properties are satisfied:

(es1) $\phi (t,t,x)=x$, $\mathrm{\forall}(t,x)\in {\mathbb{R}}_{+}\times X$;

(es2) $\phi (t,r,\phi (r,{t}_{0},x))=\phi (t,{t}_{0},x)$, $\mathrm{\forall}(t,r),(r,{t}_{0})\in T$, $\mathrm{\forall}x\in X$.

**Definition 2.2** (see [21])

A mapping $\mathrm{\Phi}:T\times X\to \mathcal{B}(V)$ is called evolution cocycle over an evolution semiflow *φ* if it satisfies following properties:

(ec1) $\mathrm{\Phi}(t,t,x)=I$, $\mathrm{\forall}t\ge 0$, $\mathrm{\forall}x\in X$;

(ec2) $\mathrm{\Phi}(t,r,\phi (r,{t}_{0},x))\mathrm{\Phi}(r,{t}_{0},x)=\mathrm{\Phi}(t,{t}_{0},x)$,$\mathrm{\forall}(t,r),(r,{t}_{0})\in T$, $\mathrm{\forall}x\in X$.

**Definition 2.3** (see [21])

where Φ is an evolution cocycle over an evolution semiflow *φ*, is called a skew-evolution semiflow on *Y*.

**Example 2.4**Let us denote $\mathcal{C}=\mathcal{C}({\mathbb{R}}_{+},\mathbb{R})$ the set of all continuous functions $x:{\mathbb{R}}_{+}\to \mathbb{R}$, endowed with the topology of uniform convergence on bounded sets. The set $\mathcal{C}$ is metrizable with respect to the metric

*X*be the closure of the set $\{{f}_{t},t\in {\mathbb{R}}_{+}\}$ in $\mathcal{C}$. Then $(X,d)$ is a metric space and the mapping

*X*. Let $V=\mathbb{R}$. We consider $\mathrm{\Phi}:T\times X\to \mathcal{B}(V)$ given by

which is an evolution cocycle and $C=(\phi ,\mathrm{\Phi})$ is a skew-evolution semiflow on *Y*.

**Remark 2.5** The skew-evolution semiflows are generalizations of the evolution operators and of the skew-product semiflows (*cf.* [21], Example 2 and 3).

**Definition 2.6**A skew-evolution semiflow $C=(\phi ,\mathrm{\Phi})$ is called with exponential decay if there are $M,\omega >0$ such that

for all $(t,r),(r,{t}_{0})\in T$ and all $({x}_{0},{v}_{0})\in Y$.

**Definition 2.7**A skew-evolution semiflow $C=(\phi ,\mathrm{\Phi})$ is said to be uniformly expansive if there exists a constant $N>0$ such that

for all $(t,r),(r,{t}_{0})\in T$ and all $({x}_{0},{v}_{0})\in Y$.

**Definition 2.8**A skew-evolution semiflow $C=(\phi ,\mathrm{\Phi})$ is said to be uniformly exponentially expansive if there are $N,\alpha >0$ such that

for all $(t,r),(r,{t}_{0})\in T$ and all $({x}_{0},{v}_{0})\in Y$.

**Remark 2.9**It is obvious that a skew-evolution semiflow $C=(\phi ,\mathrm{\Phi})$ is uniformly exponentially expansive if and only if there are $N,\alpha >0$ such that

for all $(t,{t}_{0},{x}_{0},{v}_{0})\in T\times Y$.

**Remark 2.10** If a skew-evolution semiflow is uniformly exponentially expansive then it is uniformly expansive. The converse is not necessarily valid. To show this we consider the following example.

**Example 2.11**We consider $X={\mathbb{R}}_{+}$, $V=\mathbb{R}$ and a non-decreasing and bounded function $f:{\mathbb{R}}_{+}\to [1,\mathrm{\infty})$. It is obvious that the mapping $\phi :T\times {\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$ defined by

is an evolution cocycle on ℝ. Then the skew-evolution semiflow $C=(\phi ,\mathrm{\Phi})$ is uniformly expansive with $N=1$.

From this, for $r=0$ we obtain $f(t+{x}_{0})\ge N{e}^{\alpha t}f({x}_{0})$ which for $t\to \mathrm{\infty}$ gives a contradiction and hence *C* is not uniformly exponentially expansive.

**Definition 2.12**A skew-evolution semiflow $C=(\phi ,\mathrm{\Phi})$ is called weakly exponentially expansive if there are $N,\alpha >0$ such that for all $({x}_{0},{v}_{0})\in Y$ there exists ${t}_{0}\ge 0$ with

for all $t\ge r\ge {t}_{0}$.

**Remark 2.13** If a skew-evolution semiflow is uniformly exponentially expansive then it is weakly exponentially expansive.

The following example shows that the converse is not valid.

**Example 2.14**We consider the metric space

*X*and an evolution semiflow

*φ*on

*X*defined as in Example 2.11. Let $V={\mathbb{R}}^{2}$ with the Euclidean norm, and the evolution operator $U(t,{t}_{0})=P(t,{t}_{0})Q({t}_{0})$ (also see [19], Example 11), where

Then the mapping ${\mathrm{\Phi}}_{U}:T\times X\to \mathcal{B}({\mathbb{R}}^{2})$ given by ${\mathrm{\Phi}}_{U}(t,{t}_{0},{x}_{0})=U(t,{t}_{0})$ is an evolution cocycle on ${\mathbb{R}}^{2}$ over the evolution semiflow *φ*.

for all $t\ge r\ge {t}_{0}$, which proves that the skew-evolution semiflow $C=(\phi ,\mathrm{\Phi})$ is weakly exponentially expansive.

which shows that *C* is not uniformly exponentially expansive.

**Definition 2.15**A skew-evolution semiflow $C=(\phi ,\mathrm{\Phi})$ is called weakly exponentially expansive in the Barreira-Valls sense if there are $N,\alpha >0$ and $\beta \ge 0$ such that for all $({x}_{0},{v}_{0})\in Y$ there exists ${t}_{0}\ge 0$ with

for all $t\ge r\ge {t}_{0}$.

**Definition 2.16** (see [17])

A skew-evolution semiflow $C=(\phi ,\mathrm{\Phi})$ is called strongly measurable if the mapping $t\mapsto \parallel \mathrm{\Phi}(t,{t}_{0},{x}_{0}){v}_{0}\parallel $ is measurable on $[{t}_{0},\mathrm{\infty})$ for all $({t}_{0},{x}_{0},{v}_{0})\in {\mathbb{R}}_{+}\times Y$.

**Definition 2.17**A mapping $\mathcal{L}:T\times Y\to \mathbb{R}$ is said to be a Lyapunov function for the skew-evolution semiflow $C=(\phi ,\mathrm{\Phi})$ if there is a constant $a\ge 0$ such that for all $({x}_{0},{v}_{0})\in Y$ there exists ${t}_{0}\ge 0$ with

for all $t\ge r\ge {t}_{0}$.

## 3 The main results

**Proposition 3.1**

*A skew*-

*evolution semiflow*$C=(\phi ,\mathrm{\Phi})$

*is weakly exponentially expansive if and only if there exists a decreasing function*$f:[0,\mathrm{\infty})\to (0,\mathrm{\infty})$

*with*${lim}_{t\to \mathrm{\infty}}f(t)=0$

*such that for every*$({x}_{0},{v}_{0})\in Y$

*there is*${t}_{0}\ge 0$

*with the property*

*for all* $t\ge r\ge {t}_{0}$.

*Proof* Necessity. It is a simple verification for $f(t)=\frac{1}{N}{e}^{-\alpha t}$, where *N* and *α* are given by Definition 2.12.

*f*, there exists a constant $\delta >0$ such that $f(\delta )<1$. From the hypothesis we find that for every $({x}_{0},{v}_{0})\in Y$ there is ${t}_{0}\ge 0$ satisfying relation (8). For every $t\ge r\ge {t}_{0}$ there are $n\in \mathbb{N}$ and $l\in [0,\delta )$ such that $t-r=n\delta +l$. Then the following inequalities:

hold for all $t\ge r\ge {t}_{0}$, where we have denoted $N=\frac{f(\delta )}{f(0)}$ and $\alpha =-\frac{lnf(\delta )}{\delta}$.

Finally, it follows that $C=(\phi ,\mathrm{\Phi})$ is weakly exponentially expansive. □

**Corollary 3.2**

*A skew*-

*evolution semiflow*$C=(\phi ,\mathrm{\Phi})$

*is weakly exponentially expansive if and only if there exists a non*-

*decreasing function*$g:[0,\mathrm{\infty})\to (0,\mathrm{\infty})$

*with*${lim}_{t\to \mathrm{\infty}}g(t)=+\mathrm{\infty}$

*such that for every*$({x}_{0},{v}_{0})\in Y$

*there is*${t}_{0}\ge 0$

*with the property*

*for all* $t\ge r\ge {t}_{0}$.

**Theorem 3.3**

*Let*$C=(\phi ,\mathrm{\Phi})$

*be a strongly measurable skew*-

*evolution semiflow with exponential decay*.

*Then*

*C*

*is weakly exponentially expansive if and only if there are*$p>0$

*and*$L>0$

*such that for every*$({x}_{0},{v}_{0})\in Y$

*there is*${t}_{0}\ge 0$

*with*

*for all* $t\ge {t}_{0}$.

*Proof*Necessity. If

*C*is weakly exponentially expansive then from Definition 2.12 it follows that there are $N,\alpha >0$ with the property that for all $({x}_{0},{v}_{0})\in Y$ there exists ${t}_{0}\ge 0$ such that

for all $t\ge {t}_{0}$, where $p>0$ is fixed and $L=\frac{{N}^{-p}}{\alpha p}$.

where $M,\omega >0$ are given by Definition 2.6.

for all $t\ge r\ge {t}_{0}$, where $K={M}^{p}[{e}^{-p\omega}+(1-{e}^{-p\omega})/p\omega L]$.

for all $t\ge r\ge {t}_{0}$.

for all $t\ge r\ge {t}_{0}$. According to Corollary 3.2, *C* is weakly exponentially expansive, which ends the proof. □

**Theorem 3.4**

*Let*$C=(\phi ,\mathrm{\Phi})$

*be a strongly measurable skew*-

*evolution semiflow with exponential decay*.

*Then*

*C*

*is weakly exponentially expansive if and only if there are*$\mathcal{L}:T\times Y\to {\mathbb{R}}_{-}$

*a Lyapunov function for*

*C*

*and a constant*$b>0$

*such that*

*for all* $t\ge {t}_{0}$.

*Proof*Necessity. Let $a=0$. We consider the application $\mathcal{L}:T\times Y\to {\mathbb{R}}_{-}$,

for all $t\ge r\ge {t}_{0}$. Hence ℒ is a Lyapunov function for *C* such that the relation (13) is true.

Sufficiency. We assume that there are $\mathcal{L}:T\times Y\to {\mathbb{R}}_{-}$ a Lyapunov function for *C* and a constant $b>0$ such that the relation (13) hold.

for all $t\ge {t}_{0}$, where $a\ge 0$ is given by Definition 2.17. By Theorem 3.3 we conclude that *C* is weakly exponentially expansive. □

**Proposition 3.5**

*A skew*-

*evolution semiflow*$C=(\phi ,\mathrm{\Phi})$

*is weakly exponentially expansive in the Barreira*-

*Valls sense if and only if there are*$N>0$, $\lambda >\mu \ge 0$

*such that for all*$({x}_{0},{v}_{0})\in Y$

*there exists*${t}_{0}\ge 0$

*with*

*for all* $t\ge r\ge {t}_{0}$.

*Proof* Necessity. It follows by a simple verification for $\mu =\beta $ and $\lambda =\alpha +\beta $, where constants $\alpha >0$ and $\beta \ge 0$ are given by Definition 2.15.

for all $t\ge r\ge {t}_{0}$, which implies that *C* is weakly exponentially expansive in the Barreira-Valls sense with $\alpha =\lambda -\mu $ and $\beta =\mu $. □

**Theorem 3.6**

*Let*$C=(\phi ,\mathrm{\Phi})$

*be a strongly measurable skew*-

*evolution semiflow with exponential decay*.

*Then*

*C*

*is weakly exponentially expansive in the Barreira*-

*Valls sense if and only if there are*$L,\alpha >0$, $p>0$

*and*$\beta \ge 0$

*such that for every*$({x}_{0},{v}_{0})\in Y$

*there is*${t}_{0}\ge 0$

*with*

*for all* $t\ge {t}_{0}$.

*Proof*Necessity. If

*C*is weakly exponentially expansive in the Barreira-Valls sense, then by Proposition 3.5 there are $N>0$, $\lambda >\mu \ge 0$ such that for all $({x}_{0},{v}_{0})\in Y$ there exists ${t}_{0}\ge 0$ with

for all $t\ge r\ge {t}_{0}$, where $p>0$ is fixed, $\beta =\mu $, $\alpha \in (0,\lambda -\mu )$ and $L=\frac{{N}^{-p}}{p(\lambda -\alpha -\beta )}$.

where $M,\omega >0$ are given by Definition 2.6.

Hence, *C* is weakly exponentially expansive in the Barreira-Valls sense, which ends the proof. □

**Remark 3.7** Theorems 3.3 and 3.6 are the versions of the classical stability theorems and exponential instability theorems due to Datko [3], Lupa [19], Megan and Stoica [17], for weak exponential expansiveness of skew-evolution semiflows.

**Theorem 3.8**

*Let*$C=(\phi ,\mathrm{\Phi})$

*be a strongly measurable skew*-

*evolution semiflow with exponential decay*.

*Then*

*C*

*is weakly exponentially expansive in the Barreira*-

*Valls sense if and only if there are*$\mathcal{L}:T\times Y\to {\mathbb{R}}_{-}$

*a Lyapunov function for*

*C*

*and constants*$c>0$, $d\ge 0$

*such that*

*for all* $t\ge {t}_{0}$.

*Proof* According to the conclusion of Theorem 3.6, the argumentation can be obtained as well as that of Theorem 3.4. □

## Declarations

### Acknowledgements

The authors would like to thank the referee for helpful suggestions and comments. This work was supported by ‘the Fundamental Research Funds for the Central Universities’ (No.2013XK03).

## Authors’ Affiliations

## References

- Datko R:
**Extending a theorem of Liapunov to Hilbert spaces.***J. Math. Anal. Appl.*1970,**32:**610-616. 10.1016/0022-247X(70)90283-0MATHMathSciNetView ArticleGoogle Scholar - Pazy A:
*Semigroups of Linear Operators and Applications to Partial Differential Equations*. Springer, New York; 1983.MATHView ArticleGoogle Scholar - Datko R:
**Uniform asymptotic stability of evolutionary processes in a Banach space.***SIAM J. Math. Anal.*1973,**3:**428-445.MathSciNetView ArticleGoogle Scholar - Rolewicz S:
**On uniform**N**-equistability.***J. Math. Anal. Appl.*1986,**115:**434-441. 10.1016/0022-247X(86)90006-5MATHMathSciNetView ArticleGoogle Scholar - Neerven JMAM:
**Exponential stability of operators and semigroups.***J. Funct. Anal.*1995,**130:**293-309. 10.1006/jfan.1995.1071MATHMathSciNetView ArticleGoogle Scholar - Preda P, Pogan A, Preda C:
**Functionals on function and sequence spaces connected with the exponential stability of evolutionary processes.***Czechoslov. Math. J.*2006,**131:**425-435.MathSciNetView ArticleGoogle Scholar - Barreira L, Valls C:
*Stability of Nonautonomous Differential Equations*. Springer, Berlin; 2008.MATHView ArticleGoogle Scholar - Lupa N, Megan M, Popa I-L:
**On weak exponential stability of evolution operators in Banach spaces.***Nonlinear Anal.*2010,**73:**2445-2450. 10.1016/j.na.2010.06.017MATHMathSciNetView ArticleGoogle Scholar - Minh NV, Räbiger F, Schnaubelt R:
**Exponential stability, exponential expansiveness and exponential dichotomy of evolution equations on the half-line.***Integral Equ. Oper. Theory*1998,**32:**332-353. 10.1007/BF01203774MATHView ArticleGoogle Scholar - Megan M, Sasu AL, Sasu B:
**Nonuniform exponential unstability of evolution operators in Banach spaces.***Glas. Mat. Ser. III*2001,**36:**287-295.MATHMathSciNetGoogle Scholar - Megan M, Pogan A:
**On exponential**h**-expansiveness of semigroups of operators in Banach spaces.***Nonlinear Anal.*2003,**52:**545-556. 10.1016/S0362-546X(02)00121-9MATHMathSciNetView ArticleGoogle Scholar - Megan M, Sasu AL, Sasu B:
**Banach function spaces and exponential instability of evolution families.***Arch. Math.*2003,**39:**277-286.MATHMathSciNetGoogle Scholar - Megan M, Sasu AL, Sasu B:
**Perron conditions for uniform exponential expansiveness of linear skew-product flows.***Monatshefte Math.*2003,**138:**145-157. 10.1007/s00605-002-0520-1MATHMathSciNetView ArticleGoogle Scholar - Megan M, Sasu B, Sasu AL:
**Exponential expansiveness and complete admissibility for evolution families.***Czechoslov. Math. J.*2004,**54:**1485-1493.MathSciNetGoogle Scholar - Megan M, Sasu AL, Sasu B:
**Exponential stability and exponential instability for linear skew-product flows.***Math. Bohem.*2004,**129:**225-243.MATHMathSciNetGoogle Scholar - Megan M, Sasu AL, Sasu B:
**Exponential instability of linear skew-product semiflows in terms of Banach function spaces.***Results Math.*2004,**45:**309-318. 10.1007/BF03323385MATHMathSciNetView ArticleGoogle Scholar - Megan M, Stoica C:
**Exponential instability of skew-evolution semiflows in Banach spaces.***Stud. Univ. “Babeş-Bolyai” Math.*2008,**LIII:**17-24.MathSciNetGoogle Scholar - Sasu B:
**New criteria for exponential expansiveness of variational difference equations.***J. Math. Anal. Appl.*2007,**327:**287-297. 10.1016/j.jmaa.2006.04.024MATHMathSciNetView ArticleGoogle Scholar - Lupa N:
**Necessary and sufficient conditions for weak exponential instability of evolution operators.***Int. J. Pure Appl. Math.*2010,**62:**263-273.MATHMathSciNetGoogle Scholar - Lupa N, Megan M:
**Exponential dichotomies of evolution operators in Banach spaces.***Monatshefte Math.*2013. 10.1007/s00605-013-0517-yGoogle Scholar - Stoica C, Megan M:
**On uniform exponential stability for skew-evolution semiflows on Banach spaces.***Nonlinear Anal.*2010,**72:**1305-1313. 10.1016/j.na.2009.08.019MATHMathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.