• No results found

The Existence and Stability of Synchronizing Solution of Non Autonomous Equations with Multiple Delays

N/A
N/A
Protected

Academic year: 2020

Share "The Existence and Stability of Synchronizing Solution of Non Autonomous Equations with Multiple Delays"

Copied!
6
0
0

Loading.... (view fulltext now)

Full text

(1)

http://dx.doi.org/10.4236/jamp.2016.47136

The Existence and Stability of Synchronizing

Solution of Non-Autonomous Equations

with Multiple Delays

Jinying Wei1, Yongjun Li1, Xiaohua Zhuo2

1School of Mathematics, Lanzhou City University, Lanzhou, China 2Gansu Province Health School, Lanzhou, China

Received 24 May 2016; accepted 12 July 2016; published 15 July 2016

Abstract

In this paper, we consider an abstract non-autonomous evolution equation with multiple delays in a Hilbert space H: u t( )+Au t( )=F u t( (r1),, (u trn))+g t( ), where A D A: ( )HH is a

pos-itive definite selfadjoint operator, F H: αnH is a nonlinear mapping, r1,,rn are nonnegative

constants, and g t( )C( ;H) is bounded. Motivated by [1] [2], we obtain the existence and

sta-bility of synchronizing solution under some convergence condition. By this result, we provide a general approach for guaranteeing the existence and stability of periodic, quasiperiodic or almost periodic solution of the equation.

Keywords

Pullback Attractor, Cocycle System, Stability, Synchronizing Solution

1. Introduction

In this paper, we consider the following non-autonomous evolution equation with multiple delays in a Hilbert space H:

1

( ) ( ) ( ( ), , ( n)) ( ),

u t′ +Au t =F u tru tr +g t (1.1)

where A D A: ( )⊂HH is a positive definite selfadjoint operator with compact resolvent, F H: αnH is a nonlinear mapping, r1,…,rn are nonnegative constants, and ( )g tC( ;H) is bounded.

This partial differential equations with delays (1.1) has extensive physical background and realistic mathe-matical model, hence it has been considerably developed and the numerous properties of their solutions have been studied, see [3]-[5] and references therein. Ref. [4] and [5] mainly discussed the existence and stability of periodic solutions of (1.1). Ref. [3] is concerned with the existence of locally almost periodic solutions of (1.1) by pullback attractor theory.

(2)

Mo-tivated by [1] [2], we obtain the existence and stability of synchronizing solution under some convergence con-dition. The result be of most interest when we choose g t( )∈Cb( ,H) be translation compact (resp. recurrent or almost periodic or quasiperiodic or periosdic), then we can obtain the synchronizing solution of Equation (1.1) is also translation compact (resp. recurrent or almost periodic or quasiperiodic or periosdic). This result provides a general approach for guaranteeing the existence and stability of periodic, quasiperiodic, almost periodic or re-current solution of the equation.

The rest of the paper is organized as follows. In Section 2, we provide some preliminaries. In Section 3, we establish the existence and stability of synchronizing solutions under some convergence condition.

2. Preliminaries

This section consists of some preliminary work.

2.1. Analytic Semigroups

Let H be a Hilbert space with the inner product ( , )⋅ ⋅ . We will use | |⋅ to denote the norm of H and use || ||⋅ to denote the norm of bounded linear operators on H. Let

: ( )

A D AHH

be a positive definite selfadjoint operator with compact resolvent, and let

1 2

0<λ ≤λ ≤ … ≤λk → ∞ (k→ ∞)

Be the eigenvalues of A (counting with multiplicity) with the corresponding eigenvectors { }ωi i=1 ∞

which form a canonical basis of H.

For α∈[0,1], define the powers Aα as follows:

1 , 1 .

i i i i i i i

A uα = Σ∞=λ ωαc ∀ = Σu=cω ∈H

Let

2 1

( ) : { | i i i }.

Hα =D Aα = uH Σ∞=λαc < ∞

Then, Hα is a Hilbert space with the inner product ( , )⋅ ⋅α and norm | |⋅α defined as

1/2

( , )u v α =(A u A vα , α ), |u|α=( , ) ,u u α ∀u v, ∈Hα,

respectively. We also know that for any 0≤ < ≤α β 1, the embedding HβHα is compact; moreover, it holds that

2 2( ) 2 1

| |vα≤λ α β− | | ,v βvHβ. (2.1)

2.2. Pullback Attractors

We recall some basic definitions and facts in the theory of non-autonomous dynamical systems for skew-product flows on complete metric spaces.

Let ( , )X d be a complete metric space, ( , )Σρ be a metric space which will be called the base space (or symbol space). θ:× Σ → Σ is a mapping, θt =θ( , ) :t⋅ Σ → Σ form a group, that is, θ satisfies

1) θ0=idΣ;

2) θt s+ = ⋅θ θt s,∀ ∈t s, .

Definition 2.1 A mapping Φ:+× Σ ×XX is said to be a continuous cocycle on X with respect to group θ, if

1) Φ(0, , )σ x = ∀x, ( , )σ x ∈ Σ ×X ;

2) Φ +(t s, , )σ x = Φ( ,tθ σs , ( , , )),Φ sσ xt s, ≥0 and ( , )σ x ∈ Σ ×X; 3) Φ:R+× Σ ×XX is continuous.

The mapping π:R+× Σ ×X → Σ ×X defined by

( , , ) : (t x t , ( , , )),t x t R,( , )x X,

π σ = θ σ Φ σ ∀ ∈ σ ∈ Σ ×

(3)

Definition 2.2 A family ={ ( )}Aσ σ∈Σ of nonempty compact sets of X is called a global pullback attractor of the cocycle Φ if it is Φ-invariant, that is,

( , , ( ))tσ Aσ A(θ σt ), t R+,σ ,

Φ = ∀ ∈ ∈ Σ

and pullback attracting, that is, for any bounded subset B of X,

lim H( ( , t , ), ) 0, ,

t→+∞d Φ tθ σ− B Aσ = ∀ ∈ Σσ

and is the minimal family of compact sets that is both invariant and pullback attracting.

2.3. Global Pullback Attractor of (1.1)

We present essential conditions on the nonlinearity F to guarantee the dissipation and the existence of pullback attractor of (1.1).

We first discuss the well-posedness of the initial value problem of the equation. Let C =C([−r,0];Hα), where r=max{ ,r1…, }rn . C is endowed with the norm

[ ,0]

|| ||u C=maxt∈ −r | ( ) | .u t α

For u∈C and t∈ ∞[0, ), we define ut∈C by

( ) ( ), [ ,0].

t

u s =u t+s s∈ −r

Consider the initial value problem of the evolution equation with delays

1

0

( ) ( ) ( ( ), , ( )) ( ), 0,

, .

n d

u t Au t F u t r u t r g t t dt

u ϕ ϕ

+ = − … −

+ >

=

 

 C

(2.2)

where F H: n H

α → is continuous and there exist positive constants β1,…,βn and k1 such that F satisfies

the following conditions: (H1) For all ( ,1 , )

n n

vvHα and t∈1

1 1

1

| ( , , ) | | | ;

n

n i i

i

F v v β v α k

=

… ≤

+

(H2) 1

1

1 ;

n i i

α

β λ−

= <

(H3) For any R>0 and bounded interval J, there exists L>0 such that

1 1

1

| ( , , ) ( , , ) | | |

n

n n i i

i

F v v F w w L v w α

=

… − … ≤

for all v wi, iBα(0, )R and tJ, where (and hereafter) Bα(0, )R denotes the ball in Hα centered at 0 with radius R;

and g t( )∈C( ;H) is bounded, that is, there exists a positive constant k2>0 such that for all t∈

2

| ( ) |g tk .

Theorem 2.3 Assume that 0≤ ≤α 1 / 2 and F satisfies (H1)-(H3). Then, the problem (2.2) has a unique global mild solution u t( )=u t g( ; , )ϕ which depends on ϕ continuously, and

2

1 ( ) ([ , ); ) loc(0, ; ),

u⋅ ∈CrHα ∩LH

2

1/2 ( ) loc(0, ; ).

d

u L H

dt ⋅ ∈ ∞ α−

Proof. The proof can be obtained by Theorem 5 in [3].

Remark 2.4 u satisfies the following integral equation:

1 0

( ) ( ) (0) t ( ) ( ( ), , ( n)) ( ) ( )

u t =T tϕ +

T ts F u sru sr +T ts g s ds. (2.3)

Let the space 1 ( ; )

(4)

| | 1

1 | |

max | ( ) ( ) | 1

( , ) , , ( ; ).

1 max | ( ) ( ) | 2

t n n

n t n

u t v t

u v u v C H

u t v t

α

α

ρ ∞ ≤

= ≤

= ∈

+ − ∀

It is well known that this topology is metrizable and C(1;H) is a complete metric space. Give g t( )∈C(1;H) is bounded, we define the base space Σ as

1

{ ( ) | } .

the closure of g t t in the metricρ

Σ = + ⋅ ∈

So the shift operator θ θ= t:Σ → Σ defined for each t∈ by

), ( t σ σ t

θ = + ⋅ ∀ ∈ Σσ ,

forms a continuous dynamical system on the base space Σ. Define Φ:+× × →Σ C C as follows:

( , , )t σ ϕ ut, ∀(t, , )σ ϕ +× ,

Φ = ∈ Σ ×C

where u t( )=u t( ; , )σ ϕ is the unique solution of the problem (2.2) with g=σ. Then Φ is a cocycle system on C with the base space Σ and driving system θ.

Since Theorem 12 in [3], we have the following existence result concerning the pullback attractors.

Theorem 2.5 Let 0≤ ≤α 1 / 2. If F satisfies conditions (H1)-(H3), then Φ has a unique global pullback at-tractor ={ ( )}Aσ σ∈Σ.

3. Synchronizing Solutions

In this section, we establish some results on synchronizing solutions for (1.1), by developing some techniques in-spired by works [2] and [1]. It is known that if g has some special structure, i.e., periodic, quasiperiodic, almost periodic etc., then we can obtain a compact base space with same structure. Combined with the theory of uniform pullback attractors for dynamical systems in [6], we will prove that under some convergence condition, Equation (1.1) have some entire solution γ( )t that synchronize with the motion of the driving system. We call γ( )t syn-chronizing solutions for (1.1).

Now, we consider that g t( )C(1,H)

is translation compact, then the base space Σ =H( )g is compact. If furthermore, the Lipschitz coefficients Li of F in the set BHα(0,ρα) satisfy:

1 1 1

n i i L

α

λ− = <

, (H4)

then we have the following results about synchronizing solutions for (1.1).

Theorem 3.1 Assume 0≤ ≤α 1 / 2, and F satisfies (H1)-(H4). Let g t( ) is translation compact in 1 ( ; )

CH .

Then:

1) There exists a Γ ∈ ΣC( ) such that for each σ ∈ Σ, γσ( ) :t = Γ(θ σt ) is the unique bounded entire solution of (1.1) on ;

2) For any ϕ ∈C , there exists a unique solution ( ; , )u tσ ϕ of (1.1) on + with initial value u0 =ϕ that

satisfies

lim sup | ( ; , ) ( ) | 0.

t→+∞ ∈Σσ u tσ ϕ −γσ t α=

Proof. By Theorem 2.5, we have proved that the cocycle mapping Φ has a pullback attractor ={ ( )}Aσ σ∈Σ, and we know that ⊂U is bounded. So  is given as the union all bounded entire solution.

As Definition 2.2, it is Φ-invariant, that is,

( , , ( ))tσ Aσ A(θ σt ), t +,σ ,

Φ = ∀ ∈ ∈ Σ

One can also write the non-autonomous invariance property as

( ,tθ σt , (Aθ σt )) A( ),σ t +,σ .

Φ = ∀ ∈ ∈ Σ (3.1)

In what follows we show that for each σ ∈ Σ, A( )σ is in fact a singleton, i.e.,

( ) { }

Aσ = aσ

(5)

Let ϕ ψ, ∈A( )σ . By invariance property (3.1), for any τ >0 there exist ϕ ψ1, 1∈A(θ σ−τ ) such that

1 1

( ,τ θ σ ϕ−τ , ) ϕ, ( ,τ θ σ ψ−τ , ) ψ.

Φ = Φ =

We know that

1 1

( ,τ θ σ ϕ−τ , ) uτ us;θ σ ϕ−τ , ),

Φ = = +

where u( ;⋅θ σ ϕ−τ , 1) is the solution of (2.2) with initial value ϕ1, and

1 1

( ,τ θ σ ψτ , ) vτ us;θ σ ψτ , ),

Φ = = +

where u( ;⋅θ σ ψ−τ , 1) is the solution of (2.2) with initial value ψ1.

Let w t( )=u t( )−v t( )=u t( ;θ σ ϕ−τ , )1 −u t( ;θ σ ψ−τ , 1), we have

1 1

( ) ( ) ( ( ), , ( n)) ( ( ), , ( n)).

w t′ +Aw t =F u t−τ …u t−τ −F v t−τ …v t−τ

Taking inner product with A w t( ) and using Hӧlder’s inequality, ( 3)

H , Poincáre’s inequality and Young’s inequality, we have

2 2 1 2 1 2

1 2 2

1 1 1

2 1

| ( ) | | ( ) | ( | ( ) | ) | ( ) | | ( ) | | ( ) | ,

2 2 2

n n n

i i i i i

i i i

d

w t w t L w t r w t L w t r L w t

dt

α α

α α α λ ε λ α

+ == =

+ ≤

− ⋅ ≤

− +

(3.2)

which yields that

2 2 2

1 1 1 | ( ) | | ( ) | | ( ) | , n i i i d

w t w t L w t r

dt

α

α η α λ α

=

≤ − +

− (3.3)

where 1

1 1 (2 1 1 )

n i i L

α α

η λ λ−

=

= −

. Integrating from 0 to t, we obtain

0

2 2 2 2 2 2

1 0 1 0 0 1

1 1

ˆ

| ( ) | | (0) | | ( ) | | ( ) | 2 | ( ) | | ( ) | ,

i

n n

t t t

i i i r

i i

w t α w α η w s α ds λαL w s r α ds η w s α ds λαL w s α ds

= =

− ≤ −

+

− ≤ −

+

(3.4)

where 1

1 1 0

ˆ α( α ni Li)

η λ λ−

=

= −

.

Let 2

1 1 1 1 n i i i L r α γ λ =

= +

. We obain

2 2 2 2

1 1 1

0

ˆ

| ( ) |w t α +2η

t| ( ) |w s α ds≤γ ||ϕ ψ− || .C (3.5)

Since ⊂U and (H4), we have ˆη >0. Then by Gronwall’s lemma we have

ˆ ˆ

1 1 1 1

| ( )u tv t( ) |α≤γe−ηt||ϕ ψ− ||C=2γ ραe−ηt. (3.6)

Then, we can obtain that

ˆ ( )

[ ,0] 1 1 1

||ϕ ψ− || maxC s∈ −r | (uτ+s;θ σ ϕτ , )−u(τ+s;θ σ ψτ , ) |α≤2γ ραe−η τ−r, (3.7)

which implies ||ϕ ψ− ||C→0 as τ → +∞. Hence, ϕ ψ= . Now define Γ Σ →: H as

( )σ Aσ(0), σ .

Γ = ∀ ∈ Σ

We infer from Corollary 2.8 in [6] that A( )σ is upper semi-continuous in σ . This reduces to the continuity of aσ in σ when the { ( )}Aσ are single point sets. Hence, Γ is continuous. For each σ ∈ Σ, set

( )t ( t ), t . σ

γ = Γθ σ ∈

By invariance property of  one trivially checks that γσ is precisely the unique solution of (1.1) on . Since Theorem 4.3 in [5],  is a uniform pullback attractor. That is, for any ϕ ∈C , we have

*

lim sup ( ( , t , ), ( )) 0, t→+∞ ∈Σσ HC Φ tθ σ ϕ− Aσ =

where H*( , )⋅ ⋅

(6)

*

lim sup ( ( , , ), ( t )) 0. t→+∞ ∈Σσ HC Φ tσ ϕ Aθ σ =

Thus we can deduce that

lim sup | ( ; , ) ( ) | 0.

t→+∞ ∈Σσ u tσ ϕ −γσ t α= The proof is complete.

Corollary 3.2 Let 1

( , )

gCH is periodic (resp. quasiperiodic, almost periodic, recurrent), then under con- ditions of Theorem 3.1 the non-autonomous Equation (1.1) admits a unique periodic (resp. quasiperiodic, almost periodic, recurrent) solution γσ( )t and every other solution of this equation are asymptotically periodic (resp. asymptotically quasiperiodic, asymptotically almost periodic, asymptotically recurrent).

Proof. Let γσ( )t = Γ(θ σt ) be a function from Theorem 3.1, then according to this theorem we conclude that ( )t

σ

γ is the unique bounded solution of (1.1) synchronizing with the motion θ σt of the driving system θ. In particular, if θ σt is periodic (resp. quasiperiodic, almost periodic, recurrent), then so is γσ. By (2) of Theo-rem 3.1, we know that every other solution of this equation is asymptotically periodic (resp. asymptotically qua-siperiodic, asymptotically almost periodic, asymptotically recurrent). The proof is complete.

Acknowledgements

This work was supported by NNSF (11261027), NNSF (11161026) and the Research Funds of Lanzhou City University (LZCU-BS2015-01).

References

[1] Bongolan-Walsh, V.P., Cheban, D. and Duan, J. (2003) Recurrent Motions in the Nonautonomous Navier-Stokes Sys-tem. Discrete and Continuous Dynamical Systems-Series B, 3, 255-262. http://dx.doi.org/10.3934/dcdsb.2003.3.255

[2] Li, D. and Duan, J. (2009) Structure of the Set of Bounded Solutions for a Class of Nonautonomous Second-Order Differential Equations. Journal of Differential Equations, 246, 1754-1773. http://dx.doi.org/10.1016/j.jde.2008.10.031

[3] Li, D., Wei, J. and Wang, J. (2013) On the Dynamics of Abstract Retarded Evolution Equations. Abstract and Applied Analysis, 2013, 9 p.

[4] Li, Y. (2011) Existence and Asymptotic Stability of Periodic Solution for Evolution Equations with Delays. Journal of Functional Analysis, 261, 1309-1324. http://dx.doi.org/10.1016/j.jfa.2011.05.001

[5] Zhu, J., Liu, Y. and Li, Z. (2008) The Existence and Attractivity of Time Periodic Solutions for Evolution Equations with Delays. Nonlinear Analysis: Real World Applications, 9, 842-851.

http://dx.doi.org/10.1016/j.nonrwa.2007.01.004

[6] Cheban, D., Kloeden, P.E. and Schmalfuss, B. (2002) The Relationship between Pullback, Forwards and Global At-tractors of Nonautonomous Dynamical Systems. Nonlinear Dynamics and Systems Theory, 2, 9-28.

Submit or recommend next manuscript to SCIRP and we will provide best service for you:

Accepting pre-submission inquiries through Email, Facebook, LinkedIn, Twitter, etc. A wide selection of journals (inclusive of 9 subjects, more than 200 journals) Providing 24-hour high-quality service

User-friendly online submission system Fair and swift peer-review system

Efficient typesetting and proofreading procedure

Display of the result of downloads and visits, as well as the number of cited articles Maximum dissemination of your research work

References

Related documents

In this paper, we update previous analyses on breast cancer mortality trends [14] and compare rates between the Flemish, Walloon and Brussels Regions for the period of which

In the bilingual edition of Essential Grammar in Use grammar explanations and instructions for the exercises are in the learner’s first language and the student’s attention is drawn

semen prior to freezing did not affect the spermatozoa quality in any of the parameters

In fact, the child death review team, of which the authors were member, would regularly review deaths of extremely premature infants ( ≤ 20 weeks) most weighing less than 350

Recently Jayalakshmi et.al (2016) and Subramani et.al (2016) have introduced some ratio cum median based modified ratio estimators for estimation of finite

Transformational leadership has been shown to be related to different organizational outcomes such as employee empowerment (Ismail et al., 2011), organizational commitment (Ali et

3.1 Single Black hole attack: In this type of attack, one malicious node uses routing protocol to claim itself of being shortest path to destination node but drops routing packets

The comet length also showed significant increase in Alcoholics and smokers, it is greater in males taking anti-tubercular drug treatment when compared with