nonuniform instability for evolutionary processes

9

Click here to load reader

Upload: raluca-muresan

Post on 26-May-2017

212 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Nonuniform Instability for Evolutionary Processes

Nonuniform instability for evolution families

Raluca MuresanWest University of Timisoara

Timisoara, Romania

Abstract: The aim of this paper is to study the relationship between thenotions of nonuniform exponential instability for evolutionary processes andadmissibility of the pair of spaces (C00(R+, X), C(R+, X)). The evolutionary

processes considered are the most general in the sense that they do not requireuniform or nonuniform growth. A necessary condition for expansiveness of the

evolutionary processes is given.

Mathematic Subject Classification: 34D05, 34D09.Key words: evolutionary process, nonuniform instability, Perron problem.

1 Introduction

Consider the non-autonomous linear equation

(∗) d

dtu(t) = A(t)u(t), t ∈ R+ or R,

on a Banach space X.In 1930 O. Perron was the first to make the connection between the asymp-

totic properties of the solutions of (∗) and some specific properties of the oper-ator

Lu(t) =d

dtu(t)−A(t)u(t), t ∈ R+ or R

on a space of X valued functions. The solutions of (∗) generate an evolutionfamily (evolutionary process) (U(t, s))t≥s of bounded linear operators on X.

In fact, the differential equation is not the one investigated in most cases.Instead the following integral equation is studied:

u(t) = U(t, s)u(s) +

∫ t

s

U(t, ξ)f(ξ)dξ,

along with its connection with asymptotic properties of the evolutionary process(U(t, s))t≥s.

The researches on this subject was later developed by W. A. Coppel [5] andP. Hartman [8] for differential systems in finite dimensional spaces.

1

Page 2: Nonuniform Instability for Evolutionary Processes

Further developments for differential systems in infinite dimensional spacescan be found in the monographs of J. L. Daleckij, M. G. Krein [6] and J.L. Massera, J. J. Schaffer [11]. The case of dynamical systems described byevolutionary processes was studied by C. Chicone, Y. Latushkin [4] and B. M.Levitan, V. V. Zhikov [10].

Other results concerning uniform exponential stability, exponential dichotomyand admissibility of exponentially bounded evolution families were obtained byN. van Minh [13], [14], [15], F. Rabiger [15], R. Schnaubelt [15], Y. Latushkin[9], T. Randolph [9], R. Nagel [7].

We also mention the results of L. Barreira and C. Valls [1], [2], [3], who an-alyzed evolutionary processes with nonuniform growth of the form ||Φ(t, t0)|| ≤M(t0)eω(t−t0),∀t ≥ t0 ≥ 0, M : R+ → R∗+, ω > 0, and obtained nonuniformcontraction conditions (i.e. nonuniform stability) and nonuniform dichotomy interms of admissibility of some pairs of function spaces.

In the present paper we give a necessary condition for the nonuniform ex-ponential instability of an evolutionary process. We take into considerationevolutionary processes in general, i.e. those which do not have any growth (uni-form or nonuniform). Our technique is completely new and differs significantlyfrom those used in the extended literature devoted to this subject: [2], [3], [15],[14], [12].

2 Preliminaries

Let X be a Banach space and B(X) the space of all linear and bounded operatorsacting on X. The norms on X and on B(X) will be denoted by || · ||.

Definition 2.1. A function Φ : ∆ = {(t, t0) ∈ R2 : 0 ≤ t0 ≤ t} → B(X) iscalled an evolutionary process iff

1. Φ(t, t) = I, for all t ≥ 0;

2. Φ(t, s)Φ(s, t0) = Φ(t, t0), for all t ≥ s ≥ t0 ≥ 0;

3. t 7→ Φ(t, t0)x : [t0,∞)→ X is continuous for every x ∈ X ands 7→ Φ(t, s)x : [0, t]→ X is continuous for every x ∈ X.

We consider the following function spaces (endowed with the sup-norm |||·|||):

C(R+, X) = {f : R+ → X : f is continuous and bounded},

C0(R+, X) = {f ∈ C(R+, X) : limt→∞

f(t) = 0},

C00(R+, X) = {f ∈ C0(R+, X) : f(0) = 0},

Ct0(R+, X) = {f : [t0,∞)→ X : ∃u ∈ C(R+, X) such that u|[t0,∞) = f}

Ct000(R+, X) = {f : [t0,∞)→ X : ∃v ∈ C00(R+, X) such that v|[t0,∞) = f}.

2

Page 3: Nonuniform Instability for Evolutionary Processes

Definition 2.2. The evolutionary process Φ satisfies the Perron condition forinstability (the pair of spaces (C00(R+, X), C(R+, X)) is admissible to Φ) iff forall f ∈ C00(R+, X) there is an unique element x ∈ X such that the function

xf (t) = Φ(t, 0)x+

∫ t

0

Φ(t, τ)f(τ)dτ

is in C(R+, X).

Remark 2.1. If the evolutionary process Φ satisfies the Perron condition forinstability, then for all f ∈ C00(R+, X) there is an unique function u ∈ C(R+, X)such that

u(t) = Φ(t, s)u(s) +

∫ t

s

Φ(t, τ)f(τ)dτ, for all t ≥ s ≥ 0.

Proof. Existence. Let f be an element of C00(R+, X), then, by Definition 2.2,there is an unique element x in X such that

xf (t) = Φ(t, 0)x+

∫ t

0

Φ(t, τ)f(τ)dτ

is in C(R+, X). If we put u(t) = xf (t) for all t ≥ 0, then we have:

xf (t) = Φ(t, s)Φ(s, 0)x+

∫ s

0

Φ(t, s)Φ(s, τ)f(τ)dτ +

∫ t

s

Φ(t, τ)f(τ)dτ.

Therefore

xf = Φ(t, s)xf (s) +

∫ t

s

Φ(t, τ)f(τ)dτ, for all t ≥ s ≥ 0

and so u = xf .Uniqueness. We suppose there is another function v ∈ C(R+, X) such that

v(t) = Φ(t, s)v(s) +

∫ t

s

Φ(t, τ)f(τ)dτ.

Let w(t) = xf (t)− v(t) for all t ≥ 0, so w is an element of C(R+, X) and

w(t) = Φ(t, s)w(s) +

∫ t

s

Φ(t, τ)0dτ, for all t ≥ s ≥ 0.

If we put s = 0, then

w(t) = Φ(t, 0)w(0) +

∫ t

0

Φ(t, τ)0dτ, for all t ≥ 0.

But we also have

0 = Φ(t, 0)0 +

∫ t

0

Φ(t, τ)0dτ, for all t ≥ 0,

therefore w(0) = 0 and this proves that w(t) = 0 for all t ≥ 0 and v = xf .

3

Page 4: Nonuniform Instability for Evolutionary Processes

Definition 2.3. The evolutionary process Φ is nonuniform exponential expan-sive iff there is a function N : R+ → R∗+ and a constant ν > 0 such that

N(t)||Φ(t, t0)x|| ≥ eν(t−t0)||x||, for all t ≥ t0 ≥ 0 and x ∈ X

and Φ(t, t0) is surjective on X.

Remark 2.2. If Φ(t, t0) is surjective on X, then for every y ∈ X there is anelement x ∈ X such that Φ(t, t0)x = y. Then x = Φ−1(t, t0)y.

If Φ is nonuniform exponential expansive, then we have

N(t)||y|| ≥ eν(t−t0)||Φ−1(t, t0)y||, for all t ≥ t0 ≥ 0

and

||Φ−1(t, t0)y|| ≤ N(t)e−ν(t−t0)||y||, for all t ≥ t0 ≥ 0 and x ∈ X.

Remark 2.3. If x 6= 0, then Φ(t, 0)x 6= 0 for all t ≥ 0.

Proof. Indeed, if we assume that there is t0 > 0 such that Φ(t0, 0)x = 0, thenΦ(t, 0)x = 0 for all t ≥ t0 ≥ 0. This shows that Φ(·, 0) is an element of C(R+, X).

However, Φ(t, 0)x = Φ(t, 0)x+∫ t

0Φ(t, τ)0dτ so 0 = 0 +

∫ t0

Φ(t, τ)0dτ . Thereforex = 0, a contradiction.

3 Results

Theorem 3.1. If the evolutionary process Φ satisfies the Perron condition forinstability, then there exists a constant k > 0 such that

|||xf ||| ≤ k|||f |||, for all f ∈ C00(R+, X).

Proof. Let U : C00(R+, X) → C(R+, X), Uf = xf . The operator U is welldefined and we will show that it is closed.

In order to do that, we consider the sequence (fn)n of functions in C00(R+, X),

fnC00(R+,X)−−−−−−−→ f . We also assume that Ufn

C(R+,X)−−−−−→ g and we will prove thatUf = g.

We have that

Ufn(t) = xfn(t) = Φ(t, 0)xfn(0) +

∫ t

0

Φ(t, τ)fn(τ)dτ.

Since xfn(0) = Uf(0) and UfnC(R+,X)−−−−−→ g, then xfn(0) −−−−→

n→∞g(0).

The application τ 7→ Φ(t, τ)x : [0, t] → X is continuous for all x ∈ X andt ≥ 0, so there exists Mt,x > 0 such that

||Φ(t, τ)x|| ≤Mt,x for all τ ∈ [0, t].

4

Page 5: Nonuniform Instability for Evolutionary Processes

By the Uniform Boundedness Principle, there exists a function M : R+ →R∗+ such that

||Φ(t, τ)x|| ≤M(t)||x||, for all τ ∈ [0, t] and x ∈ X,

so||Φ(t, τ)|| ≤M(t), for all τ ∈ [0, t], x ∈ X, t ≥ 0.

Then

||∫ t

0

Φ(t, τ)fn(τ)dτ −∫ t

0

Φ(t, τ)f(τ)dτ || ≤∫ t

0

||Φ(t, τ)(fn(τ)− f(τ))||dτ ≤

≤∫ t

0

||Φ(t, τ)||dτ |||fn − f ||| ≤ tM(t)|||fn − f ||| −−→n→

0, for all t ≥ 0.

Therefore

limn→∞

xfn(t) = Φ(t, 0)g(0) +

∫ t

0

Φ(t, τ)f(τ)dτ, for all t ≥ 0.

But UfnC(R+,X)−−−−−→ g, so

limn→∞

Ufn(t) = g(t), for all t ≥ 0.

So we proved that Uf = g, i.e. U is a closed operator and by the ClosedGraph Principle, there exists a constant k > 0 such that

|||Uf ||| ≤ k|||f |||, for all f ∈ C00(R+, X).

Theorem 3.2. If the evolutionary process Φ satisfies the Perron condition forinstability (the pair of spaces (C00(R+, X), C(R+, X)) is admissible to Φ), thenthere exists a function N : R+ → R∗+ and a constant ν > 0 such that

(∗) N(t)||Φ(t, 0)x|| ≥ eν(t−t0)||Φ(t0, 0)x||, for all t ≥ t0 and x ∈ X.

Proof. Let n ∈ N∗, δ > 0 and two functions χδn, χδ : R+ → R+

χδn(t) =

nt, 0 ≤ t < 1

n

1, 1n ≤ t < δ

1 + δ − t, δ ≤ t < δ + 1

0, t ≥ δ + 1

,

χδ(t) =

1, 0 ≤ t < δ

1 + δ − t, δ ≤ t < δ + 1

0, t ≥ δ + 1

.

5

Page 6: Nonuniform Instability for Evolutionary Processes

Let x ∈ X \ {0} and fn : R+ → R+, fn(t) = χδnΦ(t,0)x||Φ(t,0)x|| , for all n ∈ N, then

obviously fn ∈ C00(R+, X) and |||fn||| = 1 for all n ∈ N.We consider the function

yn(t) = −∫ ∞t

χδn(τ)dτ

||Φ(τ, 0)x||Φ(t, 0)x =

= Φ(t, 0)(−∫ ∞

0

χδn(τ)dτ

||Φ(τ, 0)x||· x)

+

∫ t

0

Φ(t, τ)fn(τ)dτ,

then yn(t) = 0 for all t ≥ δ + 1, so yn ∈ C(R+, X).By Theorem 3.1 we have that

||yn(t)|| ≤ |||yn||| ≤ k|||f ||| = k, for all t ≥ 0.

Therefore∫ ∞t

χδn(τ)dτ

||Φ(τ, 0)x||||Φ(t, 0)x|| ≤ k, for all t ≥ 0 and n ∈ N∗.

But χδn −−−−→n→∞

χδa.e., χδn ≤ χδ and∫∞tχδ(τ) dτ

||Φ(τ,0)x|| < ∞, therefore

limn→∞∫∞tχδn(τ) dτ

||Φ(τ,0)x|| =∫∞tχδ(τ) dτ

||Φ(τ,0)x|| .

Then we have that∫ ∞t

χδ(τ)dτ

||Φ(τ, 0)x||||Φ(t, 0)x|| ≤ k, for all t ≥ 0 and x ∈ X.

For t < δ, we have that∫ δ

t

||Φ(τ, 0)x||||Φ(t, 0)x|| ≤ k, for all t ∈ [0, δ), and all δ > 0.

This implies that, if δ →∞,

(∗∗)∫ ∞t

||Φ(τ, 0)x||||Φ(t, 0)x|| ≤ k, for all t ≥ 0.

Let ϕ : R+ → R+, ϕ(t) =∫∞t

dτ||Φ(τ,0)x|| so ϕ(t) = −||Φ(t, 0)x||.

The inequality (∗∗) becomes ϕ(t) ≤ −kϕ(t), for all t ≥ 0, therefore

ϕ(t)e1k (t−t0) ≤ ϕ(t0).

But ϕ(t0) ≤ −kϕ(t0), so we have that∫ ∞t

||Φ(τ, 0)x||· e 1

k (t−t0) ≤ ϕ(t0) ≤ k

||Φ(t0, 0)x||.

Then ∫ t+1

t

||Φ(τ, 0)x||e

1k (t−t0) ≤ ϕ(t0) ≤ k

||Φ(t0, 0)x||.

6

Page 7: Nonuniform Instability for Evolutionary Processes

Since||Φ(τ, 0)x|| ≤ ||Φ(τ, t)Φ(t, 0)x|| ≤

≤ ||Φ(τ, t)||||Φ(t, 0)x|| ≤ supτ∈[t,t+1]

||Φ(τ, t)||||Φ(t, 0)x||,

then1

N(t)||Φ(t, 0)x||e

1k (t−t0) ≤ k

||Φ(t0, 0)x||.

We denote N(t) = supτ∈[t,t+1] ||Φ(τ, t)||, N : R+ → R∗+, and ν = 1k > 0 and

we have that

(∗) N(t)||Φ(t, 0)x|| ≥ eν(t−t0)||Φ(t0, 0)x||, for all t ≥ t0 ≥ 0 and x ∈ X.

Theorem 3.3. If for any t0 ≥ 0 and any function f ∈ Ct000(R+, X) there existsan unique function u ∈ Ct0(R+, X) such that

u(t) = Φ(t, s)u(s) +

∫ t

s

Φ(t, τ)f(τ)dτ, for all t ≥ s ≥ t0 ≥ 0,

then the evolutionary process Φ is nonuniform exponential expansive.

Proof. Let t0 > 0 and the function χ1t0 : R+ → R+,

χ1t0 =

0, t < t0

4(t− t0), t0 ≤ t < t0 + 12

4(t0 + 1− t), t0 + 12 ≤ t < t0 + 1

0, t ≥ t0 + 1

.

Let z be an element of X and f(t) = χ1t0Φ(t, t0)z, f : R+ → X. Obviously

f ∈ C00(R+, X).We also consider the function v : [t0,∞)→ X,

v(t) = −∫ ∞t

χ1t0(τ)dτΦ(t, t0)z.

It is easy to see that

v(y) = Φ(t, 0)v(s) +

∫ t

s

Φ(t, τ)f(τ)dτ, for all t0 ≤ s ≤ t.

In this case, v = u, so

v(t0) = u(t0) = z = Φ(t0, 0)u(0) +

∫ t

0

Φ(t, τ)f(τ)dτ.

Therefore we found an element t0 ≥ 0 such that z = Φ(t0, 0)u(0). SoΦ(t0, 0) : X → X is a surjective function.

7

Page 8: Nonuniform Instability for Evolutionary Processes

Let y be an element in X, then by Theorem 3.3, there exists an elementx ∈ X such that Φ(t0, 0)x = y. In this case the inequality (*) becomes

N(t)||Φ(t, t0)y|| ≥ eν(t−t0)||y||, for all t ≥ t0 ≥ 0 and y ∈ X.

Remark 3.1. The converse of the theorem above is true.

4 Acknowledgements

This article is a result of the project ”Cresterea calitatii si a competitivitatiicercetarii doctorale prin acordarea de burse”. This project is co-funded by theEuropean Social Fund through The Sectorial Operational Programme for Hu-man Resources Development 2007-2013, coordinated by the West University ofTimisoara in partnership with the University of Craiova and Fraunhofer Insti-tute for Integrated Systems and Device Technology - Fraunhofer IISB.

References

[1] L. Barreira, C. Valls, Stability of Nonautonomous Differential Equations,Lect. Notes in Math. 1926, Springer, Berlin-Heidelberg, 2008.

[2] L. Barreira, C. Valls, Admissibility for nonuniform exponential contrac-tions, J. Differential Equations, 249 (2010), p. 2889–2904.

[3] L. Barreira, C. Valls, Nonuniform exponential dichotomies and admissibil-ity, Discrete and Continuous Dynamical Systems, 30 (2011), p. 39–53.

[4] C. Chicone, Y. Latushkin, Evolution Semigroups in Dynamical Systemsand Differential Equations, Math. Surveys Monogr., vol. 70, Amer. Math.Soc., Providence, RI, 1999.

[5] W. A. Coppel, Dichotomies in Stability Theory, Lect. Notes Math., vol.629, Springer-Verlag, New-York, 1978.

[6] J. L. Daleckij, M. G. Krein, Stability of Differential Equations in BanachSpace, Amer. Math. Soc., Providence, RI, 1974.

[7] K. J. Engel, R. Nagel, One-Parameter Semigroups for Linear EvolutionEquations, Graduate Texts in Mathematics, 194, Springer, 1999.

[8] P. Hartman, Ordinary Differential Equations, Wiley, New-York, London,Sydney, 1964.

[9] Y. Latushkin, T. Randolph, Dichotomy of differential equations on Ba-nach spaces and an algebra of weighted composition operators, Integr. Equ.Oper. Theory, 23 (1995), p. 472–500.

[10] B. M. Levitan, V. V. Zhikov, Almost Periodic Functions and DifferentialEquations, Cambridge Univ. Press, Cambridge, 1982.

8

Page 9: Nonuniform Instability for Evolutionary Processes

[11] J. L. Massera, J. J. Schaffer, Linear Differential Equations and FunctionSpaces, Academic Press, New York, 1966.

[12] M. Megan, B. Sasu, A. L. Sasu, On nonuniform exponential dichotomy ofevolution operators in Banach spaces, Integr. Equ. Oper. Theory, 44 (2002),p. 71–78.

[13] N. van Minh, On the proof of characterizations of the exponential di-chotomy, Proc. Amer. Math. Soc., 127 (1999), p. 779–782.

[14] N. van Minh, N. T. Huy, Characterizations of dichotomies of evolutionequations on the half-line, J. Math. Anal. Appl., 261 (2001), p. 28–44.

[15] N. van Minh, F. Ragiger, R. Schnaubelt, Exponential stability, exponentialexpansiveness and exponential dichotomy of evolution equations on thehalf-line, Integr. Equ. Oper. Theory, 32 (1998), p. 332–353.

[16] O. Perron, Die stabilitatsfrage bei differentialgeighungen, Math. Z., 32(1930), p. 703–728.

[17] P. Preda, A. Pogan, C. Preda, Admissibility and exponential dichotomy ofevolutionary processes on the half-line, Rend. Sem. Mat. Univ. Pol. Torino,61 (2003), p. 461-473.

[18] P. Preda, C. Preda, On nonuniform exponential dichotomy for evolutionaryprocesses, Ricerche di Matematica di Napoli, 52 (2003), p. 203-216.

9