Center manifold and exponentially-bounded solutions of a forced Newtonian system with dissipation

Similar documents
Bounds for nonlinear eigenvalue problems

SEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT

Half of Final Exam Name: Practice Problems October 28, 2014

EVANESCENT SOLUTIONS FOR LINEAR ORDINARY DIFFERENTIAL EQUATIONS

Existence And Uniqueness Of Mild Solutions Of Second Order Volterra Integrodifferential Equations With Nonlocal Conditions

Gas solid reaction with porosity change

On periodic solutions of superquadratic Hamiltonian systems

Nonlinear Control Lecture 5: Stability Analysis II

Existence of many positive nonradial solutions for a superlinear Dirichlet problem on thin annuli

GENERALIZATION OF GRONWALL S INEQUALITY AND ITS APPLICATIONS IN FUNCTIONAL DIFFERENTIAL EQUATIONS

Nonlinear elliptic systems with exponential nonlinearities

The complex periodic problem for a Riccati equation

Parameter Dependent Quasi-Linear Parabolic Equations

Asymptotic analysis of the Carrier-Pearson problem

EXISTENCE AND MULTIPLICITY OF PERIODIC SOLUTIONS GENERATED BY IMPULSES FOR SECOND-ORDER HAMILTONIAN SYSTEM

A CONCISE PROOF OF THE GEOMETRIC CONSTRUCTION OF INERTIAL MANIFOLDS

Takens embedding theorem for infinite-dimensional dynamical systems

ATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS. Emerson A. M. de Abreu Alexandre N.

Higher Order Averaging : periodic solutions, linear systems and an application

A note on W 1,p estimates for quasilinear parabolic equations

SYNCHRONIZATION OF NONAUTONOMOUS DYNAMICAL SYSTEMS

TWO DEFINITIONS OF EXPONENTIAL DICHOTOMY FOR SKEW-PRODUCT SEMIFLOW IN BANACH SPACES

ASYMPTOTIC THEORY FOR WEAKLY NON-LINEAR WAVE EQUATIONS IN SEMI-INFINITE DOMAINS

Entrance Exam, Differential Equations April, (Solve exactly 6 out of the 8 problems) y + 2y + y cos(x 2 y) = 0, y(0) = 2, y (0) = 4.

Critical Groups in Saddle Point Theorems without a Finite Dimensional Closed Loop

FAST AND HETEROCLINIC SOLUTIONS FOR A SECOND ORDER ODE

Math 108b: Notes on the Spectral Theorem

FORCED OSCILLATIONS OF A CLASS OF NONLINEAR DISPERSIVE WAVE EQUATIONS AND THEIR STABILITY

AN EXISTENCE-UNIQUENESS THEOREM FOR A CLASS OF BOUNDARY VALUE PROBLEMS

A brief introduction to ordinary differential equations

Second order Volterra-Fredholm functional integrodifferential equations

Sufficient conditions for functions to form Riesz bases in L 2 and applications to nonlinear boundary-value problems

MULTIPLICITY OF FORCED OSCILLATIONS FOR SCALAR DIFFERENTIAL EQUATIONS

MULTIPLE SOLUTIONS FOR THE p-laplace EQUATION WITH NONLINEAR BOUNDARY CONDITIONS

EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS

Nonlinear stabilization via a linear observability

FINAL EXAM MATH303 Theory of Ordinary Differential Equations. Spring dx dt = x + 3y dy dt = x y.

Existence and Multiplicity of Solutions for a Class of Semilinear Elliptic Equations 1

Linear Algebra using Dirac Notation: Pt. 2

Minimal periods of semilinear evolution equations with Lipschitz nonlinearity

A REMARK ON THE GLOBAL DYNAMICS OF COMPETITIVE SYSTEMS ON ORDERED BANACH SPACES

EXISTENCE OF THREE WEAK SOLUTIONS FOR A QUASILINEAR DIRICHLET PROBLEM. Saeid Shokooh and Ghasem A. Afrouzi. 1. Introduction

EXISTENCE RESULTS FOR NONLINEAR FUNCTIONAL INTEGRAL EQUATIONS VIA NONLINEAR ALTERNATIVE OF LERAY-SCHAUDER TYPE

A global solution curve for a class of free boundary value problems arising in plasma physics

The exponential asymptotic stability of singularly perturbed delay differential equations with a bounded lag

PERIODIC SOLUTIONS OF THE FORCED PENDULUM : CLASSICAL VS RELATIVISTIC

EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS VIA SUSPENSIONS

POSITIVE SOLUTIONS OF A NONLINEAR THREE-POINT BOUNDARY-VALUE PROBLEM. Ruyun Ma

SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS

ORBITAL STABILITY OF SOLITARY WAVES FOR A 2D-BOUSSINESQ SYSTEM

Homeomorphisms of the Disk with Trivial Dynamics and Extinction of Competitive Systems

L 1 stability of conservation laws for a traffic flow model

NONLINEAR DIFFERENTIAL INEQUALITY. 1. Introduction. In this paper the following nonlinear differential inequality

A TWO PARAMETERS AMBROSETTI PRODI PROBLEM*

Existence of at least two periodic solutions of the forced relativistic pendulum

On (h, k) trichotomy for skew-evolution semiflows in Banach spaces

linearly indepedent eigenvectors as the multiplicity of the root, but in general there may be no more than one. For further discussion, assume matrice

arxiv: v1 [math.ap] 7 May 2009

Nonlocal Cauchy problems for first-order multivalued differential equations

Periodic motions of forced infinite lattices with nearest neighbor interaction

Nonlinear Schrödinger problems: symmetries of some variational solutions

A one-dimensional nonlinear degenerate elliptic equation

Oscillation by Impulses for a Second-Order Delay Differential Equation

Large time dynamics of a nonlinear spring mass damper model

Singular Perturbation on a Subdomain*

Lecture 4. Chapter 4: Lyapunov Stability. Eugenio Schuster. Mechanical Engineering and Mechanics Lehigh University.

A note on linear differential equations with periodic coefficients.

Math Ordinary Differential Equations

Stability of an abstract wave equation with delay and a Kelvin Voigt damping

6 Linear Equation. 6.1 Equation with constant coefficients

Differentiability with Respect to Lag Function for Nonlinear Pantograph Equations

THE EDDY CURRENT PROBLEM WITH TEMPERATURE DEPENDENT PERMEABILITY

Simultaneous vs. non simultaneous blow-up

Simultaneous vs. non simultaneous blow-up

SEMIGROUP APPROACH FOR PARTIAL DIFFERENTIAL EQUATIONS OF EVOLUTION

Upper Bounds for Partitions into k-th Powers Elementary Methods

Uniqueness theorem for p-biharmonic equations

Applied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.

On separated solutions of logistic population equation with harvesting

MODELS OF LEARNING AND THE POLAR DECOMPOSITION OF BOUNDED LINEAR OPERATORS

Computations of Critical Groups at a Degenerate Critical Point for Strongly Indefinite Functionals

BIFURCATION AND OF THE GENERALIZED COMPLEX GINZBURG LANDAU EQUATION

LYAPUNOV STABILITY OF CLOSED SETS IN IMPULSIVE SEMIDYNAMICAL SYSTEMS

Linear Ordinary Differential Equations

Positive solutions and nonlinear multipoint conjugate eigenvalue problems

4 Second-Order Systems

Analysis of the Takens-Bogdanov bifurcation on m parameterized vector fields

How large is the class of operator equations solvable by a DSM Newton-type method?

Quasireversibility Methods for Non-Well-Posed Problems

arxiv: v1 [math.fa] 1 Nov 2017

A converse to the Ambrosetti-Prodi theorem

A HYPERBOLIC PROBLEM WITH NONLINEAR SECOND-ORDER BOUNDARY DAMPING. G. G. Doronin, N. A. Lar kin, & A. J. Souza

Spectrum for compact operators on Banach spaces

Rotations of hypercyclic and supercyclic operators

Converse Lyapunov theorem and Input-to-State Stability

Some asymptotic properties of solutions for Burgers equation in L p (R)

The goal of this chapter is to study linear systems of ordinary differential equations: dt,..., dx ) T

OBSERVABILITY INEQUALITY AND DECAY RATE FOR WAVE EQUATIONS WITH NONLINEAR BOUNDARY CONDITIONS

MATH 23 Exam 2 Review Solutions

Bilinear spatial control of the velocity term in a Kirchhoff plate equation

Transcription:

Nonlinear Differential Equations, Electron. J. Diff. Eqns., Conf. 5, 2, pp. 69 8 http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu or ejde.math.unt.edu (login: ftp) Center manifold and exponentially-bounded solutions of a forced Newtonian system with dissipation Luis Garcia & Hugo Leiva Abstract We study the existence of exponentially-bounded solutions to the following system of second-order ordinary differential equations with dissipation: u + cu + Au + kh(u) =P(t), u R n, t R, where c and k are positive constants, H is a globally Lipschitz function, and P is a bounded and continuous function. A is a n n symmetric matrix whose first eigenvalue is equal to zero and the others are positive. Under these conditions, we prove that for some values of c, andkthere exist a continuous manifold such that solutions starting in this manifold are exponentially bounded. Our results are applied to the spatial discretization of well-known second-order partial differential equations with Neumann boundary conditions. 1 Introduction In this note, we study the existence of exponentially bounded solutions of the following system of second-order ordinary differential equations with a damping force and dissipation in R n : u + cu + Au + kh(u) =P(t), u R n, t R, (1.1) where c and k are positive constants, P C b (R; R n ) (the space of continuous and bounded functions) and H : R n R n is a globally Lipschitz function. i.e., there exists a constant L> such that H(U 1 ) H(U 2 ) L U 1 U 2, U 1,U 2 R n. (1.2) Mathematics Subject Classifications: 34A34, 34C27, 34C3. Key words: center manifold, exponentially-bounded solutions. c 2 Southwest Texas State University. Published October 24, 2. Partially supported by CDCHT-ULA 69

7 Center manifold and exponentially bounded solutions A is a n n symmetric matrix whose first eigenvalue λ 1 is equal to zero and the other eigenvalues are positive =λ 1 <λ 2 < λ l each one with multiplicity γ j equal to the dimension of the corresponding eigenspace. The equation (1.1) has been studied in [5] for the case that the first eigenvalue λ 1 of the matrix A is positive (λ 1 > ); under these conditions they prove that for some values of c the equation (1.1) has a bounded solution which is exponentially stable and, if P (t) is almost periodic, this bounded solution is also almost periodic. The fact that the first eigenvalue λ 1 of the matrix A is equal to zero, in general, does not allow us to prove the existence of bounded solutions of (1.1). However, we prove that for some values of c and k there exist a positive number η depending on c and a continuous manifold M = M(c, k, P ( )) such that any solution of the system (1.1) starting in M is exponentially bounded. i.e., sup e η t { u (t) 2 + u(t) 2 1/2 <. t R Our method is similar to the one used in [5], we just rewrite the equation (1.1) as a first order system of ordinary differential equations and prove that the linear part of this system has an exponential trichotomy with trivial unstable space. Next, we use the variation constants formula and some ideas from [7] [8] to find a formula for the exponentially bounded solutions of (1.1). From this formula we can prove the existence of such manifold M = M(c, k, P ( )). These results are applied to the spatial discretization of very well known second order partial differential equations with Neumann boundary conditions: Example 1.1 The Sine-Gordon equation with Neumann boundary conditions is given by U tt + cu t du xx + k sin U = p(t, x), <x<l, t R, (1.3) U x (t, ) = U x (t, L) =, t R, where c, d and k are positive constants, p : R [,L] R is continuous and bounded. The following paragraph was taken from Temam s book([6], pg. 184). With Neumann boundary the Sine-Gordon Equation is physically interesting, the average value of the function U is not expected to remain bounded and actually leads to nontrivial dynamics. From mathematical point of view this case is also interesting. For each N N the spatial discretization of this equation is given by u i + cu i + dδ 2 (2u i u i+1 u i 1 )+ksin u i = p i (t), 1 i N, t R, u = u 1, u N = u N+1 =. (1.4)

Luis Garcia & Hugo Leiva 71 This equation can be written in the form of (1.1) with 1 1 1 2 1 A = dδ 2........... 1 2 1 1 1 (1.5) where δ = L/(N + 1). The eigenvalues of this matrix are simple, the first one being zero and the others positive. Example 1.2 A telegraph equation with Neumman boundary conditions U tt + cu t du xx + arctan U = p(t, x), <x<l, t R, (1.6) U x (t, ) = U x (t, L) =, t R, where c, d are positive constants, p : R [,L] R is continuous and bounded. For each N N the spatial discretization of this equation is given by u i + cu i + dδ 2 (2u i u i+1 u i 1 ) + arctan u i = p i (t) (1.7) u = u 1, u N = u N+1 =. This equation can be written in the form of (1.1) with the the same matrix A as in (1.5). 2 Preliminaries Most of the ideas presented in this section can be found in [5]. So, we shall prove only the new results. Equation (1.1) can be written as a first order system of ordinary differential equations in the space W = R n R n as follows: where v = u and ( u w = v w + Aw + kh(w) =P(t), w W, t R, (2.1) ), H(w) = ( H(u) ) (, P(t)= P(t) Now, we are ready to study the linear part of (2.1): ) ( I, A= A ci ). (2.2) w + Aw =, w W, t R. (2.3) For the rest of this article, we shall assume that each eigenvalue of the matrix A has multiplicity γ j equal to the dimension of the corresponding eigenspace and the first one is equal to zero and the others are positive. Therefore, if =λ 1 <λ 2 < λ l are the eigenvalues of A, we have the following: a) There exists a complete orthonormal set {φ j,k of eigenvector of A in R n

72 Center manifold and exponentially bounded solutions b) For all x R n we have Ax = j=1 λ j γ j x, φ j,k φ j,k = k=1 where, is the inner product in R n and E j x = γ j k=1 λ j E j x, (2.4) j=1 <x,φ j,k >φ j,k. (2.5) So, {E j is a family of complete orthogonal projections in R n and x = l j=1 E jx, x R n c) The exponential matrix e At is given by e At = e λjt E j (2.6) Theorem 2.1 Suppose that c 2 λ j,j=1,2,...,l. Then the exponential matrix e At of the matrix A given by (2.2) can be written as follow e At w = j=1 j=1 { e ρ1(j)t Q 1 (j)w + e ρ2(j)t Q 2 (j)w, w W, t R, (2.7) where ρ(j) = c+ c 2 4λ j, j =1,2,...,l (2.8) 2 and {Q i (j) :i=1,2 l j=1 is a complete orthogonal system of projections in W. Corollary 2.2 The spectrum σ( A) of the matrix A is given by σ( A) ={ c+ c 2 4λ j, j =1,2,...,l. 2 Corollary 2.3 Under the hypothesis of Theorem 2.1, there exist two orthogonal projectors π,π s :W W and a constant M>such that e At π M, t R, e At π s e βt, t, I W = π +π s, W = W W s, where W =Ran(π ), W s =Ran(π s ),andβ=β(c)>is given by β =max { c, Re(ρ j )=Re ( c± c 2 4λ j ) :j=2,...,l.i=1,2.. 2

Luis Garcia & Hugo Leiva 73 Proof Since Theorem 2.1 and Corollary 2.2 are proved in [5], we shall only prove Corollary 2.3. From Corollary 2.2, we have that Re(ρ i (j) <, j = 2,...,l. Therefore β>. Since λ 1 =, the formula (2.7) can be written as e At w = Q 1 (1)w + e ct Q 2 (1)w + j=2 with w W and t R. If we put π = Q 1 (1) and π s = I π = Q 2 (1) + we obtain the required projections, and { e ρ1(j)t Q 1 (j)w + e ρ2(j)t Q 2 (j)w, {Q 1 (j)+q 2 (j), j=2 e At π w = π e At w = Q 1 (1)w Q 1 (1) w, t R. Therefore, e At π Q 1 (1) = M. Inthesamewayweget e At π s w 2 = π s e At w 2 = e ct Q 2 (1)w + = e 2ct Q 2 (1)w 2 + e 2βt{ Q 2 (1)w 2 + e 2βt w 2, t. j=2 { e ρ1(j)t Q 1 (j)w + e ρ2(j)t Q 2 (j)w 2 {e 2Reρ1(j)t Q 1 (j)w 2 +e 2Reρ2(j)t Q 2 (j)w 2 j=2 Q 1 (j)w 2 + Q 2 (j)w 2 j=2 Therefore, e At π s e βt for t. Corollary 2.4 For each ɛ [,β) there exists some M(ɛ) > such that e At π M(ɛ)e ɛ t, t R, e At π s M(ɛ)e (β ɛ)t, t. 3 Main Result In this section we shall prove the main Theorem of this paper under the hypothesis of Theorem 2.1 (c 2 λ j, j =1,2,...,l). The solution of (2.1) passing through the point w at time t = t is given by the variation constants formula w(t) =e A(t t) w + t e A(t s) { kh(w(s)) + P(s) ds, t R. (3.1)

74 Center manifold and exponentially bounded solutions We shall use the following notation: For each η wedenotebyz η the Banach space { Z η = z C(R; W ): z η =supe z(t) < t R. (3.2) In particular, Z = C b (R,W) the space of bounded and continuous functions defined in R taking values in W = R n R n. Theorem 3.1 Suppose that H is a bounded function or H() =. Then for some c and k positive there exist η = η(c) (,β) and a continuous manifold M = M(c, k, P ) such that any solution u(t) of (1.1) with (u(),u ()) M satisfies: sup e η t { u(t) 2 + u (t) 2 1/2 <, (3.3) t R where β, W and W s are as in corollary 2.3. Moreover, (a) There exists a globally Lipschitz function ψ : W W s depending on P such that M = {w + ψ(w ) : w W, (3.4) and if we put ψ(w) =ψ(w, P), thereexistm 1and < Γ < 1 such that ψ(w 1,P 1 ) ψ(w 2,P 2 ) klm(1 Γ) 1 w 1 w 2 + 1 β η β P 1 P 2, (3.5) for w 1,w 2 W, P 1,P 2 C b (R,R n ). (b) If H is bounded, then ψ is also bounded. (c) If P =and H() =, thenmis unique and invariant under the equation w + Aw + kh(w) =. In this case M is called center manifold and it is tangent to the space W at w =. Before proving the main theorem, we need some previous results. Lemma 3.2 Let z Z = C b (R,W). Then, z is a solution of (2.1) if and only if there exists some w W such that z(t) = e At w + e A(t τ) π { kh(z(τ)) + P(τ) dτ + e A(t τ) π s { kh(z(τ)) + P(τ) dτ, t R. (3.6) Proof Suppose that z is a solution of (2.1). Then, from Corollary 2.3 we get z(t) =π z(t)+π s z(t) and from the variation of constants formula (3.1) we obtain π z(t) =e At π z() + e A(t τ) π { kh(z(τ)) + P(τ) dτ, t R, (3.7)

Luis Garcia & Hugo Leiva 75 and π s z(t) =e A(t t) π s z(t )+ e A(t τ) π s { kh(z(τ)) + P(τ) dτ, t t R. (3.8) Since z(t) is bounded, there exists R> such that z(t) R, for all t R. Then, from corollary 2.3 we obtain that Now, if we put e A(t t) π s z(t ) Re β(t t) as t. l =sup H(z(τ)) and L p =sup P(τ), τ R τ R then e A(t τ) π s { kh(z(τ)) + P(τ) dτ e β(t τ) {kl + L p dτ = kl + L p. β Hence, passing to the limit in (3.8), as t approaches, weobtain π s z(t)= e A(t τ) π s { kh(z(τ)) + P(τ) dτ, t R. (3.9) Therefore, putting w = π z() we get (3.6). Conversely, suppose that z is a solution of (3.6). Then z(t) = e At w + + e A(t τ) π { kh(z(τ)) + P(τ) dτ e A(t τ) π s { kh(z(τ)) + P(τ) dτ + e A(t τ) π s { kh(z(τ)) + P(τ) dτ = e {w At + e Aτ π s { kh(z(τ)) + P(τ) dτ + = e At z() + e A(t τ) { kh(z(τ)) + P(τ) dτ e A(t τ) π { kh(z(τ)) + P(τ) dτ, where z() = w + e Aτ π s { kh(z(τ)) + P(τ) dτ. (3.1) This concludes the proof of the lemma.

76 Center manifold and exponentially bounded solutions Lemma 3.3 Suppose that H() = and z Z η for η [,β). Then, z is a solution of (2.1) if and only if there exists some w W such that z satisfies (3.6). Proof Suppose that z is a solution of (2.1). Then, in the same way as the proof of lemma 3.2, we consider and π z(t) =e At π z() + π s z(t) =e A(t t) π s z(t )+ e A(t τ) π { kh(z(τ)) + P(τ) dτ, t R. t e A(t τ) π s { kh(z(τ)) + P(τ) dτ, t R. Since z belongs to Z η, there exists R> such that z(t) Re η t, for all t R. Fix some t R and let t min{t, ; thenwehave e A(t t) π s z(t ) Re β(t t) e ηt = Re βt e (β η)t as t. On the other hand, we obtain the following estimate { klr e A(t τ) π s { kh(z(τ)) + P(τ) dτ e η t β + η + klr β η + L p β (3.11) where L is the Lipschitz constant of H. Hence, putting w = π z() and passing to the limit when t goes to we get (3.6). The converse follows in the same way as the foregoing lemma. Lemma 3.4 Suppose that H is bounded and z Z η for η [,β). Then, z is a solution of (2.1) if and only if there exists some w W such that z satisfies (3.6). Now, from (3.6) we only have to prove that the following set M = M(c, k, P )={z() : z Z η, and satisfies (3.6) (3.12) is a continuous manifold for some values of c and η (,β(c)). From (3.1) we get that M = {w + π s z() : (w,z) W Z η, (w,z) satisfying (3.6) (3.13) We shall need the following definition and notations: Definition (a) For each w W we define the function Sw : R W by: (Sw )(t) =e At w, t R;,

Luis Garcia & Hugo Leiva 77 (b) for each function z : R W we define the non-autonomous Nemytski operator G(z) :R W by G(z)(t) = kh(z(t)) + P(t), t R; (c) for those functions z : R W for which the integrals make sense we define Kz : R W by Kz(t)= e A(t τ) π z(τ)dτ + e A(t τ) π s z(τ)dτ, t R. With this notation, (3.6) can be written in the following equivalent form in Z η The proof of the following lemma is not hard: z = Sw + K G(z). (3.14) Lemma 3.5 (a) S is a bounded operator from W into Z η for each η. (b) if H() = or H is bounded, then G maps Z η into itself for η and G(z 1 ) G(z 2 ) η kl z 1 z 2 η, z 1,z 2 Z η ; (c) for η (,β) the linear operator K is bounded from Z η into itself and { 1 K η R(c) =M(ɛ) η ɛ + 1, (3.15) β(c) η where L is the Lipschitz constant of H, β is given by corollary 2.3, < ɛ<η<β and M(ɛ) is given by corollary 2.4. Lemma 3.6 Let c>,k>and η (,β) such that Γ= K η kl < 1. (3.16) Then (I K G) :Z η Z η is a homeomorphism with inverse Ψ:Z η Z η and the manifold M = M(c, k, P ) is given by M = {w + π s Ψ(Sw )() : w W. (3.17) Proof It follows from Lemma 3.5 that K G maps Z η into itself for η (,β) and is globally Lipschitzian with Lipschitz constant Γ. Then, under the condition (3.16) the map (I K G) :Z η Z η is invertible, with inverse Ψ : Z η Z η which is also globally Lipschitzian with Lipschitz constant (1 Γ) 1. In particular Ψ is a continuous function. Therefore, the equation (3.14) has a unique solution given by z(t) =(I K G) 1 (Sw )(t) =Ψ(Sw )(t), t R. (3.18) Hence, from (3.13) we get (3.17).

78 Center manifold and exponentially bounded solutions Proof of Theorem 3.1. If we take for example η = β/2, then R(c) givenby (3.15) can be written as follow { 2 R(c) =M(ɛ) β 2ɛ + 2, β with <ɛ< β 2. Hence, from lim c R(c) =. So, we can choose c such that Γ= K η kl R(c)kL < 1. Then, using Lemma 3.6 we obtain the first conclusion of the Theorem and defining ψ : W W s by ψ(w )=π s Ψ(Sw )(), w W, we get (3.4). Clearly, the function ψ is globally Lipschitzian. On the other hand, from (3.1) we have Therefore, z() = w + π s z() = w + ψ(w ) = w + ψ(w,p)= e Aτ π s { kh(ψ(sw )(τ)) + P(τ) dτ. e Aτ π s { kh(ψ(sw )(τ)) + P(τ) dτ. (3.19) To complete the proof of part (a), let us consider w 1,w 2 W, P 1,P 2 C b (R,R n )and ψ(w 1,P 1 ) ψ(w 2,P 2 ) = + From Corollary 2.3 we get that ke Aτ π s {H(Ψ(Sw 1 )(τ)) H(Ψ(Sw 2 )(τ)) dτ e Aτ π s {P 1 (τ) P 2 (τ)dτ. Sw 1 Sw 2 η = supe e Aτ (Sw 1 Sw 2 ) τ R M w 1 w 2, and from Lemma 3.6 we get that Therefore, Ψ(Sw 1 ) Ψ(Sw 2 ) η (1 Γ) 1 Sw 1 Sw 2 η M(1 Γ) 1 w 1 w 2. ψ(w 1,P 1 ) ψ(w 2,P 2 ) + klm(1 Γ) 1 w 1 w 2 e (β η)τ dτ P 1 P 2 e βτ dτ.

Luis Garcia & Hugo Leiva 79 Hence, klm(1 Γ) 1 ψ(w 1,P 1 ) ψ(w 2,P 2 ) w 1 w 2 + 1 β η β P 1 P 2. To prove part (b), let us suppose that: H(u) l, u R n and L p = sup τ R P (τ). Then, from (3.19) we get that ψ(w ) Part (c) follows from Theorem 2.1 of [7]. e βτ {kl + L P dτ kl + L P β, w W. Remark The equation (3.6) may not have bounded solutions in R. However, if H = andp satisfies the condition { sup π P(τ) dτ : t R <, then for each w W the equation (3.6) has a bounded solution which is given by z(t) =e At w + e A(t τ) π P(τ)dτ + e A(t τ) π s P(τ)dτ, t R. An open question, is the following: What conditions do we have to impose to the functions H and P to insure the existence of bounded solutions of the equation (3.6)? References [1] J.M. Alonso and R. Ortega, Global asymptotic stability of a forced newtonian system with dissipation, J. Math. Anal. and Applications 196 (1995), 965-986. [2] J.M. Alonso, J. Mawhin and R. Ortega, Bounded solutions of second order semilinear evolution equations and applications to the telegraph equation, J. Math. Pures Appl., 78, (1999), p. 49-663. [3] Y.S. Choi, K.C. Jen, and P.J. McKenna, The structure of the solution set for periodic oscillations in a suspension bridge model, IMA J. Appl. Math. 47 (1991), 283-36. [4] J. Glover, A.C. Lazer and P.J. McKenna, Existence and stability of large scale nonlinear oscillations in suspension bridges J. Appl. Math. Phys. 4 (1989), 172-2. [5] H. Leiva, Existence of Bounded Solutions of a Second Order System with Dissipation J. Math. Anal. and Applications 237, 288-32 (1999).

8 Center manifold and exponentially bounded solutions [6] R. Temam, Infinite-dimensional dynamical systems in mechanics and physics, Appl. Math. Scien. Vol., 68, Springer-Verlag(1988). [7] A. Vanderbauwhede, Center Manifolds, Normal Forms and Elementary Bifurcations Dyns. Reported 2(1987), 89-17. [8] A. Vanderbauwhede, Center Manifolds, Normal and Contractions on a Scale of B-Spaces, J. Funct. Analy. 72(1987), 29-224. Luis Garcia & Hugo Leiva Universidad de los Andes, Facultad de Ciencias Departamento de Matemática Mérida 511-Venezuela e-mail: hleiva@ula.ve