- Research
- Open access
- Published:

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

*Journal of Inequalities and Applications*
**volume 2014**, Article number: 165 (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.

## 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])

A mapping C:T\times Y\to Y defined by

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

A function f:{\mathbb{R}}_{+}\to [1,\mathrm{\infty}) defined by f(t)={e}^{-t}+1, t\ge 0. We denote {f}_{t}(\tau )=f(t+\tau ), \mathrm{\forall}t,\tau \in {\mathbb{R}}_{+}. Let *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

is an evolution semiflow on *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 semiflow on {\mathbb{R}}_{+} and the mapping \mathrm{\Phi}:T\times {\mathbb{R}}_{+}\to \mathcal{B}(\mathbb{R}) given by

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

On the other hand, if we assume that C=(\phi ,\mathrm{\Phi}) is uniformly exponentially expansive then there are constants N,\alpha >0 such that

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 every {v}_{0}\in {\mathbb{R}}^{2} there exist \rho \ge 0 and {t}_{0}\in [0,2\pi ) such that {v}_{0}={(\rho cos{t}_{0},\rho sin{t}_{0})}^{T}. It is easy to see that

and hence

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

On the other hand, we observe that for {y}_{0}={(sin{t}_{0},-cos{t}_{0})}^{T},

and hence

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.

Sufficiency. According to the property of function *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}.

Sufficiency. We assume that there are p>0 and L>0 such that for every ({x}_{0},{v}_{0})\in Y there is {t}_{0}\ge 0 satisfying inequality (10). Let t\ge r\ge {t}_{0}. If t\ge r+1 we have

and for t\in [r,r+1) we have

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

Hence

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

On the other hand

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

Adding up (11) and (12) we obtain

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}}_{-},

Then from Definition 2.12 we find that there are N,\alpha >0, and for every ({x}_{0},{v}_{0})\in Y there is {t}_{0}\ge 0 with

for all t\ge {t}_{0}, where b=\frac{1}{2\alpha {N}^{2}}. It is easy to see that

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.

Then

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.

Sufficiency. From the hypothesis, there are N>0, \lambda >\mu \ge 0 such that for all ({x}_{0},{v}_{0})\in Y there exists {t}_{0}\ge 0 satisfying

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 )}.

Sufficiency. We assume that 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 satisfying inequality (15). Let t\ge r\ge {t}_{0}. If t\ge r+1 then

and therefore

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

We consider t\in [r,r+1). Then

Further we obtain

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. □

## 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-0Pazy A:

*Semigroups of Linear Operators and Applications to Partial Differential Equations*. Springer, New York; 1983.Datko R:

**Uniform asymptotic stability of evolutionary processes in a Banach space.***SIAM J. Math. Anal.*1973,**3:**428-445.Rolewicz S:

**On uniform***N***-equistability.***J. Math. Anal. Appl.*1986,**115:**434-441. 10.1016/0022-247X(86)90006-5Neerven JMAM:

**Exponential stability of operators and semigroups.***J. Funct. Anal.*1995,**130:**293-309. 10.1006/jfan.1995.1071Preda 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.Barreira L, Valls C:

*Stability of Nonautonomous Differential Equations*. Springer, Berlin; 2008.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.017Minh 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/BF01203774Megan M, Sasu AL, Sasu B:

**Nonuniform exponential unstability of evolution operators in Banach spaces.***Glas. Mat. Ser. III*2001,**36:**287-295.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-9Megan M, Sasu AL, Sasu B:

**Banach function spaces and exponential instability of evolution families.***Arch. Math.*2003,**39:**277-286.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-1Megan M, Sasu B, Sasu AL:

**Exponential expansiveness and complete admissibility for evolution families.***Czechoslov. Math. J.*2004,**54:**1485-1493.Megan M, Sasu AL, Sasu B:

**Exponential stability and exponential instability for linear skew-product flows.***Math. Bohem.*2004,**129:**225-243.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/BF03323385Megan M, Stoica C:

**Exponential instability of skew-evolution semiflows in Banach spaces.***Stud. Univ. “Babeş-Bolyai” Math.*2008,**LIII:**17-24.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.024Lupa N:

**Necessary and sufficient conditions for weak exponential instability of evolution operators.***Int. J. Pure Appl. Math.*2010,**62:**263-273.Lupa N, Megan M:

**Exponential dichotomies of evolution operators in Banach spaces.***Monatshefte Math.*2013. 10.1007/s00605-013-0517-yStoica 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.019

## 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).

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

The authors completed the paper together. They also read and approved the final manuscript.

## Rights and permissions

**Open Access**
This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (
https://creativecommons.org/licenses/by/2.0
), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Yue, T., Song, Xq. & Li, Dq. On weak exponential expansiveness of skew-evolution semiflows in Banach spaces.
*J Inequal Appl* **2014**, 165 (2014). https://doi.org/10.1186/1029-242X-2014-165

Received:

Accepted:

Published:

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