Global existence and compact attractors for the discrete nonlinear Schrödinger equation
|
|
- Stuart Gilbert
- 6 years ago
- Views:
Transcription
1 J. Differential Equations 7 (005) Global existence and compact attractors for the discrete nonlinear Schrödinger equation Nikos I. Karachalios a,, Athanasios N. Yannacopoulos b a Department of Mathematics, University of the Aegean, Karlovassi 8300, Samos, Greece b Department of Statistics and Actuarial Science, University of the Aegean, Karlovassi 8300, Samos, Greece Received 8 February 004 Available online August 005 Abstract We study the asymptotic behavior of solutions of discrete nonlinear Schrödinger-type (DNLS) equations. For a conservative system, we consider the global in time solvability and the question of existence of standing wave solutions. Similarities and differences with the continuous counterpart (NLS-partial differential equation) are pointed out. For a dissipative system we prove existence of a global attractor and its stability under finite-dimensional approximations. Similar questions are treated in a weighted phase space. Finally, we propose possible extensions for various types of DNLS equations. 005 Elsevier Inc. All rights reserved. MSC: 37L60; 35B4; 35Q55. Introduction The discrete nonlinear Schrödinger equation (DNLS), is a very popular model with a great variety of applications, ranging from physics to biology. To name but a few, the DNLS has been successfully applied to the modelling of localized pulse propagation in optical fibers and wave guides, to the study of energy relaxation in solids, the behavior of amorphous material, to the modelling of self-trapping of vibrational energy Corresponding author. addresses: karan@aegean.gr (N.I. Karachalios), ayannaco@aegean.gr (A.N. Yannacopoulos) /$ - see front matter 005 Elsevier Inc. All rights reserved. doi:0.06/j.jde
2 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) in proteins or studies related to the denaturation of the DNA double strand (for an account of possible applications, see, e.g. the recent review [3]). The DNLS serves both as a model in its own right (modelling cases where the nature of the problem is inherently discrete), or as an approximation of the continuous nonlinear Schrödinger through a numerical scheme. The study of the dynamics of the DNLS, has been an active theme of research in the past decade. The major part of the activity, has focused on the study of localized excitations and nonlinear waves (solitons and breathers), in the conservative DNLS. This activity has started with the ingenious construction introduced in [6], of localized in space time periodic or time-quasiperiodic solutions of lattice systems (which include the DNLS as special case), using the so-called anti-integrable limit or anti-continuous limit. Such solutions are essentially found for the weak coupling limit between the lattice sites. Other constructions are available using dynamical systems methods, such as the reduction to a symplectic map and the homoclinic trajectory method. The stability of such solutions, has been studied using both analytic and numerical techniques, and they have been shown in many cases to be robust under perturbations. They can be applied to the study of diverse physical and biological phenomena, such as lattice dynamics of solids, selective bond excitations, localization of electromagnetic waves in photonic crystals with nonlinear response, etc. For detailed reviews on this theme, we refer to [4,4,8]. There have also been recent interesting works on more complicated solutions arising in higher dimensions than one, such as discrete vortex solutions (see e.g. [] or [7]). In this work, we mainly consider the asymptotic behavior of solutions for the following complex lattice dynamical system (LDS) i u n + ε (u n u n + u n+ ) + iδu n + F(u n ) = g n, n Z, ε > 0, () u n (0) = u n,0, n Z. () The real parameter δ > 0 introduces weak damping, while the case δ = 0 and g n = 0, for all n Z, corresponds to a conservative (NLS) lattice system. Using techniques from the theory of infinite-dimensional systems, we are able to show the global in time existence of solutions to both the conservative and the dissipative DNLS equation. This ensures the well posedness of the model. This result is interesting, as it provides a rigorous proof of the fact, that blow up is not expected to occur in the discrete models, as it may happen in the continuous model, a fact that has been observed numerically in [7]. Furthermore, for a finite lattice (assuming Dirichlet boundary conditions), and by using a discrete version of the mountain pass theorem, we prove the existence of non-trivial standing waves, in the conservative case. For the infinite-dimensional case, we show non-existence of non-trivial standing waves for certain values of energy, by using a fixed point argument. For the dissipative case we may further prove a stronger result; the existence of a global attractor, that attracts all bounded sets of the infinite-dimensional phase space. It can further be shown that the dynamics on this global attractor, may be approximated by the dynamics of
3 90 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 finite-dimensional systems. Results of this kind, for LDS of first and second order are presented in the recent works [,9,38,39,4]. Many of the physically interesting solutions of the DNLS equation present strong spatial localization properties. This is true for instance for soliton solutions or breathers. To cover such situations, we study the DNLS equation in weighted spaces, with properly chosen weight functions. For the dissipative case, we may prove global existence of solutions in weighted spaces as well as the existence of a global attractor. Finally, we comment on possible generalizations of the above results in higher spatial dimensions and for more general models.. Formulation of the problem Problem () () is an infinite system of ordinary differential equations (infinitedimensional dynamical system). We will formulate the problem in an appropriate functional setting. In what follows, a complex Hilbert space X with the sesquilinear form B X (, ) and the norm X, will be considered as a real Hilbert space with the scalar product (, ) X = Re B X (, ). Let T : D(T) X X a C-linear, self-adjoint 0 operator with dense domain D(T) on the Hilbert space X, equipped with the scalar product (, ) X. The space X T is the completion of D(T) in the norm u T = u X (Tu, u) X, for u X T, and we denote by X T its dual and by T the extension of T to the dual of D(T), denoted by D(T). A function F : X X is Lipschitz continuous on bounded subsets of X, if for all M>0 there exists a constant L(M) such that F (u) F(v) X L(R) u v X, for all u, v B M the closed ball of X, of center 0 and of radius R. For the treatment of () (), we shall use complexifications of the usual real sequence spaces denoted by ( ) /p l p := u = (u n) C : u l p := u n p <. (3) Let us recall that between l p, spaces the following elementary embedding relation [9, p. 45] holds: l q l p, u l p u l q, q p. (4) We will see in the sequel that relation (4) has important effects concerning the global in time solvability of DNLS equation, especially in the conservative case. For p = we get the usual Hilbert space of square-summable (complex) sequences, endowed with the real scalar product (u, v) l = Re u n v n, u, v l. (5)
4 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) We describe next the discrete differential operators employed. For any u, v l,we consider the linear operators A, B, B : l l, Moreover, it holds that (Bu) = u n+ u n, (B u) = u n u n, (6) (Au) = (u n u n + u n+ ). (7) (Bu, v) l = (u, B v) l, (8) (Au, v) l = (Bu, Bv) l, u,v l. (9) The functional setup will also include (see [38]) the following bilinear form and induced norm: (u, v) l := (Bu, Bv) l + (u, v) l, (0) u l := Bu l + u l. () We denote by l the Hilbert space with scalar product (0) and norm (). The usual norm of l and () are equivalent, since u l u l c u l, c > 0. () For local existence, we examine the following examples of nonlinearities F : C C: (N )F(0) = 0 and there exist constants c>0, β 0 such that F(z ) F(z ) c ( z β + z β ) z z, or alternatively. (N ) F (z) = f( z )z, where f, f : R R, are continuous. Both cases include the power-law nonlinearity F(z) = z σ z (for (N ) we must have < σ < ). Since we intend to apply the general theory of abstract Schrödinger equations [,], the following Lemma will be useful. Lemma.. Let F : C C satisfy (N ) or (N ). Then the function F defines an operator (still denoted by F) F : l l, (F (u)) := F(u n ), which is Lipschitz continuous on bounded sets of l. Proof. We consider first the case (N ). Let u B R a closed ball in l of center 0 and radius R. We have from (3) that F (u) l c u n β+ = c u β+ l β+ c u β+ l, (3) hence F : l l, is bounded on bounded sets of l.
5 9 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 For u, v B R, we observe that F (u) F(v) l c ( u n β + v n β ) u n v n (4) c sup [( u n β + v n β ) ] u n v n c 4R β u v l, (5) justifying that the map F : l l is Lipschitz continuous, on bounded sets of l with Lipschitz constant L(R) = cr β. For the case (N ) we have F (u) l = f( u n ) u n. (6) Since f : R R is continuous, there exists a monotone increasing C -function g : R R, such that f(ρ) g( ρ ) for all ρ R, (7) (see e.g [37, p. 796]). Note also that u n u n l for all n Z. Now (6) and (7) imply the inequality F (u) l g( u n ) u n g( u l ) u n {max ρ [0,R ] g(ρ)} u n K(R) u l. (8) with K(R) = g(r ). To check the Lipschitz property, we may argue as for the proof of (8). For some θ (0, ) and an appropriate C -function g : R R, we get the inequality F (u) F(v) l f( u n ) u n v n + f( u n ) f( v n ) v n, (9)
6 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) f( u n ) f( v n ) v n = f (θ u n + ( θ) v n ) ( u n + v n ) ( u n v n ) v n {max ρ [0,R ] g (ρ)} sup [( u n + v n ) v n ] u n v n. (0) A combination of (9) and (0), implies that there exists a constant L(R) = (g (R )+ 8R 4 g (R )) /, such that F (u) F(v) l L(R) u v l. () The lemma is proved. We observe by (9), that the operator A satisfies the relations (Au, u) l = Bu l 0, () (Au, v) l = (u, Av) l, (3) therefore defines a self-adjoint operator on D(A) = X = l and A 0. Note that the graph norm u D(A) = Au l + u l, is also an equivalent norm with the l -norm since u l u n+ u n + u n + u n c u l. In our case, as it is indicated by (0) () (3), we may choose X A = l equipped with the norm u A = u X (Au, u) X u l, for u l. Moreover, D(A) = X = l = D(A). Obviously A = A, and the operator ia : l l defined by (ia)u = iau for u l, is C-linear and skew-adjoint, and ia generates a group (T (t)) t R, of isometries on l. It is easy to check that the same properties hold for the operator ε A with ε > 0 (i.e. we may consider the equivalent norm ε Bu + l u l ).
7 94 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 Thus, for fixed T > 0 and (u n,0 ) := u 0 l, a function u C([0,T],l ) is a solution of () () if and only if t u(t) = T (t)u 0 + i T (t s)f (u(s)) ds, 0 (F (u)) := F (u n ) = iδu n + F(u n ) g n. (4) Our local existence result can be stated as follows: Theorem.. Let assumptions (N ) or (N ) be satisfied, assume that g := (g n ) l. Then there exists a function T : l (0, ] with the following properties: (a) For all u 0 l, there exists u C([0,T (u 0 )), l ), such that for all 0 <T < T (u 0 ), u is the unique solution of () () in C([0,T],l ) (well posedness). (b) For all t [0,T (u 0 )), T (u 0 ) t (L (R) + ) := T R, R = g l + u(t) l, L (R) = δ + L(R), (5) where L(R) is the Lipschitz constant for the map F : l l. Moreover, the following alternative holds: (i) T (u 0 ) =, or (ii) T (u 0 ) < and lim t T (u 0 ) u(t) l = (maximality). (c) T : l (0, ] is lower semicontinuous. In addition, if {u n0 } n N is a sequence in l such that u n0 u 0 and if T<T (u 0 ), then S(t)u 0n S(t)u 0 in C([0,T],l ), where S(t)u 0 = u(t), t [0,T (u 0 )), denotes the solution operator (continuous dependence on initial data). Proof. Since the result is an application of the results in [, p ], we present only an outline of the proof, for the sake of completeness. It follows from Lemma. that F : l l is Lipschitz continuous on bounded sets of l with Lipschitz constant L (R) = δ + L(R). For all u 0 l with u 0 l M we set R = M + F (0) l = M + g l. Following closely the lines of [, Lemma 4.3., Proposition 4.3.3] and using (4), we may show that the map t Φ u (t) := T (t)u 0 + i T (t s)f (u(s)) ds, 0 is a contraction on the complete metric space (X R,d) where X R := d = { } u C([0,T R ],l ) : u(t) l R, t [0,T R ], T R = L (R) +, max t [0,T R ] u(t) v(t) l.
8 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) For u 0 l we define T (u 0 ) = sup {T >0 : S(t)u 0 = u(t) C([0,T],l ) solution of (4)}. Inequality (5) follows by the contradiction argument of [, Theorem 4.3.4]: we assume instead of (5), that for R = u(t) l, T (u 0 ) t<t R and we consider the solution v C([0,T R ],l ) of v(s) = T (s)u(t) + i s 0 T (s σ)f (v(σ)) dσ, s [0,T R ]. Then we can define a solution w C([0,t + T R ],l ) of (4) at T = t + T R, defined by { u(s), s [0,t], w(s) = v(s t), s [t,t + T R ], which is in contradiction with the assumption T (u 0 )<t+ T R. To prove (c), as in [, Proposition 4.3.7], we set R = sup t [0,T ] u(t) l and define τ n = sup {t [0, T (u 0n )) : S(s)u 0n l R, s [0,t] }. Since u 0n u 0 in l, it follows that for sufficiently large n, u 0n l <R. Therefore τ n >T R > 0. Moreover, for all t T and t τ n, we get from (4) and Gronwall s Lemma the inequality S(t)u 0n S(t)u 0 l e L (R)T u 0n u 0 l. Letting n, we get that S(t)u 0n S(t)u 0 in l and τ n >T, which implies that T (u 0n )>T. 3. Global existence for the conservative case In this section, we discuss the global in time solvability of () () for the case δ = 0 and g n = 0, for all n Z (conservative case). We consider as a model problem, the following DNLS equation with arbitrary power nonlinearity: i u n + ε (u n u n + u n+ ) + u n σ u n = 0, n Z, 0 σ <, ε > 0, (6) u n (0) = u n,0, n Z. (7) We also consider the (NLS) partial differential equation i t u + u xx + u σ u = 0, x R, t > 0, (8) u(x, 0) = u 0 (x). We will show that there is a vast difference concerning the global solvability of the discrete (NLS) equation (6) with ε > 0 and its continuum limit as ε 0 given by (8). Concerning (6), we have the following theorem.
9 96 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 Theorem 3.. Let u 0 l. For any ε > 0, and 0 σ <, there exists a unique solution of (6), such that u(t) C ([0, ), l ). Proof. The result is a consequence of discrete conservation laws satisfied by the solutions of (6) (7). We take the scalar product of (6) with iu. By using () we obtain d dt u(t) l = 0 or u(t) l = u 0 l for every t [0,T (u 0 )), (9) i.e. u(t) l is uniformly bounded on the maximal interval of existence. It follows then by Theorem.(b) (c) that T (u 0 ) = and sup { u(t) l,t [0, ) } <. Remark3.. Theorem 3. can be also established by a discrete version of the conservation of energy, satisfied by solutions of (6). This approach elucidates the role of the nonlinearity exponent, in the global in time solvability of DNLS: it can be easily checked that E(u(t)) = E(u 0 ), E(u(t)) := ε u(t) l Then, by using (4) and (30) we may derive the estimate σ + u(t) σ+ l σ+, t [0,T (u 0 )). (30) u(t) l u 0 l + ε σ + u 0 σ+. (3) l As a consequence of (3) we obtain once again that T (u 0 ) = and sup{ u(t) l,t [0, )} <. Clearly, Theorem 3., covers the case of DNLS with a nonlinearity satisfying (N ). The case of a globally Lipschitz continuous function F :[0, ) R with F(0) = 0is also included. Following [, Section 7.], [, p. 53], such a function can be extended to the complex function F : C\{0} C by setting F(z) = z z F( z ). It can be shown as in Lemma. that F : l l is locally Lipschitz and (F (u), iu) l = 0 which implies (9). Setting F (z) = z 0 F(s)ds it can be shown as in Section 4, Lemma 4. that the functional (V (u)) n := F (u n ) is a C -functional on l and V (u) = F (u). In this case, we observe conservation of energy defined by E(u(t)) := ε u(t) + V (u). l For a comparison between the discrete (NLS) equation (6) and its continuous counterpart (8), we refer to the main results concerning (8) (see [,,8]). For u 0 H (R) and 0 σ < there exists a unique maximal solution of (8), u(t) C([0,T max ), H (R)) C ([0,T max ), L (R)). In addition: if σ < then T max = and u is bounded in H (R). Let σ. Assume that u 0 H (R) such that R x u 0 dx< (initial data with finite variance) and E(u 0 )<. Then T max <.
10 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) On the other hand if u 0 H is sufficiently small, T max = and u is bounded in H (R). It follows from Theorem 3., that solutions of (6) with ε > 0, exist globally in l -norm unconditionally with respect to the degree of the nonlinearity the size of the initial data and the sign of the initial energy E(u 0 ). This is in agreement with the numerical observations in [7]: according to [7], for a discrete system of the form (6), numerical simulations provide evidence that the solution of the discrete equation still exists after localization, while the solution of the continuum system blows up in finite time. Note that the discrete version of initial data with finite variance reads as n u n,0 < and such data belong to l. 4. Existence of standing wave solutions for the conservative DNLS We conclude the discussion on the conservative DNLS, with some results on the existence of standing wave solutions. The standing wave solution for fixed ω is given by the ansatz u n (t) = e iωt n, n Z, n independent of t. (3) We do not restrict n to be real. We are focused on DNLS (6). It can be easily seen, that any standing wave solution of (6), satisfies the following equation: ε ( n n + n+ ) + ω n = n σ n, n Z. (33) We will study in this section two related problems. The first problem we will study is given by Eq. (33), with n taking finite values. We consider the finite-dimensional subspace of l C m+ := { } ψ n l : ψ (m+) = ψ m+ = 0. We consider the following nonlinear system in C m+ : ε ( n n + n+ ) + ω n = n σ n, n m, (34) (m+) = m+ = 0. (35) This is a finite-dimensional problem, and is related to the problem of existence of standing wave solutions for the DNLS equation in a finite lattice with Dirichlet boundary conditions. Although this problem is finite dimensional, it is still of interest as any numerical approximation of the continuous space NLS, or even of the infinitedimensional DNLS will necessarily lead to a finite-dimensional problem of the above type.
11 98 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 The set C m+ endowed with the discrete inner product and induced norm (, ψ) := Re n=m n= m n ψ n, ψ := n=m n= m ψ n,, ψ C m+, (36) is a (finite-dimensional) Hilbert space. We consider now the operators (A ψ) n m := ψ n ψ n + ψ n+, (B ψ) n m = ψ n+ ψ n. It can be easily checked (see also [, p. 7]) that ( A ψ, ψ) = n=m n= m ψ n+ ψ n, ( A, ψ) = (B,B ψ). (37) Hence, we may also consider the inner product and the corresponding norm in C m+ (, ψ), := (B,B ψ) + (, ψ), ψ, := n=m n= m ( ψ n+ ψ n + ψ n ). (38) The norm in (38) is equivalent with (36), and the constants in the equivalence inequality, can be chosen in order to be independent of m. The second is the problem given by Eq. (33), which is an infinite-dimensional system. This is related with the problem of existence of standing wave solutions of the conservative DNLS equation in the infinite lattice. In what follows we will use a variational principle to show existence of non-trivial standing wave solutions for (34) (35) and a fixed point argument to show non-existence of non-trivial standing waves, for certain parameter values for the infinite-dimensional problem (33). 4.. Existence of non-trivial standing wave solutions for the finite-dimensional problem We will treat this problem using a variational approach. We start with some observations and results which are common to both problems. Unless the opposite is explicitly stated, everything that follows will hold for both the finite-dimensional and the infinite-dimensional system. Solutions of (33) are critical points of the functional E( ) = ε (B ) n + ω n σ + n σ+. (39)
12 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) To establish differentiability of the functional E : l R, we shall use the following discrete version of the dominated convergence Theorem, provided by [8]. Lemma 4.. Let {ψ i,k } be a double sequence of summable functions (i.e. i Z ψ i,k < ) and lim k ψ i,k = ψ i for all i Z. If there exists a summable sequence {g i } such that ψ i,k g i for all i, k s, we have that lim k i Z ψ i,k = i Z ψ i. We then have the following lemma. Lemma 4.. Let ( n ) = l σ+ for some 0 < σ <. Then the functional V( ) = n σ+, is a C (l σ+, R) functional and V ( ), ψ =(σ + )Re n σ n ψ n, ψ = (ψ n ) l σ+. (40) Proof. We assume that, ψ l σ+. Then for any n Z, 0<s<, we get from the mean value theorem V( + sψ) V(ψ) s = s Re 0 d dθ n + θsψ n σ+ dθ = (σ+)re For the rhs of (4), we have the estimate (σ + ) n + θsψ n σ+ ψ n (σ + ) The sequence (z n ) is summable since 0 n +sθψ n σ ( n +sθψ n )ψ n dθ. (4) ( n + ψ n ) σ+ ψn = z n. ( ) σ+ ( ) σ+ σ+ z n c ( n + ψ n ) σ+ ψ n σ+. Letting s 0, the existence of the Gateaux derivative (40) of the functional V : l σ+ R, follows from Lemma 4. (discrete dominated convergence).
13 00 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 We show next that the functional V : l σ+ l σ+ σ+ is continuous. For ( n ) = l σ+, we set F ( n ) = n σ n. We consider a sequence m l σ+ such that m in l σ+. We get then the inequality V ( m ) V ( ), ψ c F ( m ) F ( ) l q ψ l p, q = σ +, p = σ +. (4) σ + We denote by ( m ) n the nth coordinate of the sequence m l. Since F satisfies condition (N ) with β = σ, by setting Φ n = ( m ) n σ + n σ, we get from Hölder s inequality that F (( m ) n ) F ( n ) q c (Φ n ) q ( m ) n n q ( ) ( σ+ c ( m ) n n σ+ 0 as m. (Φ n ) σ+ σ ) σ σ+ By (), (3) and Lemma (4.), it follows that the functional E defined by (39) is C (l, R). For convenience, we recall [3, Definition 4., p. 30] (PS-condition) and [3, Theorem 6., p. 40] or [3, Theorem 6., p. 09] (Mountain Pass Theorem of Ambrosseti Rabinowitz [3]). Definition 4.. Let X be a Banach space and E : X R be C. We say that E satisfies condition (PS) if, for any sequence {u n } X such that E(u n ) is bounded and E (u n ) 0asn, there exists a convergent subsequence. If this condition is only satisfied in the region where E α > 0 (resp., E α < 0) for all α > 0, we say E satisfies condition (PS + ) (resp., (PS )). Theorem 4.. Let E : X R be C and satisfy (a) E(0) = 0, (b) ρ > 0, α > 0 : u X = ρ implies E(u) α, (c) u X : u X ρ and E(u )<α. Define } Γ = {γ C 0 ([0, ],X): γ(0) = 0, γ() = u. Let F γ ={γ(t) X : 0 t } and L ={F γ : γ Γ}. If E satisfies condition (PS), then is a critical point of the functional E. β := inf F γ L sup{e(v) : v F γ} α
14 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) We shall verify Definition 4. and the assumptions of Theorem 4. to show that problem (34) (35), has a non-trivial solution. Theorem 4.. Consider the finite-dimensional problem (34) (35). Let 0 < σ < and ε > 0. Then for any ω = 0, there exists a non-trivial solution of (34) (35). Proof (Condition (PS)). We observe that the norm l ε = ( ) / ε B l + ω l, (43) is equivalent with the norm of l defined by () since { } { } min ε, ω l l max ε ε, ω l (44) and is also equivalent with the usual norm of l, as it follows from (). Now, we let a sequence m of l be such that E( m ) <M for some M>0 and E ( m ) 0as m. By using (39) and Lemma 4., we observe that for m sufficiently large M E( m ) ( E ( σ + m ), m = ) σ + m l. (45) ε Therefore the sequence m denoted by m, such that is bounded. Thus, we may extract a subsequence, still m in l as m. (46) Focusing now on (34) (35), we observe that since in the finite-dimensional space C m+ the weak convergence coincides with the strong, m converges strongly to in C m+. Therefore, the functional E associated with the boundary value problem (34) (35), satisfies condition (PS). (Mountain Pass assumptions). We now check the conditions for the validity of the Mountain Pass Theorem for the functional E. We use the same notations for the equivalent norms in the finite-dimensional space C m+, with those of the norms of the infinite-dimensional spaces, having in mind that we deal with finite-dimensional sums. For every C m+ it holds that l σ+ κ l ε, κ = min{/ε, ω}.
15 0 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 The following inequality holds: E( ) = l ε l ε σ+ σ + l κσ+ σ + σ+. l ε ( Choosing C m+ such that l ε = r, we observe that if 0 <r< then ( ) E( ) α > 0, α = r κσ+ σ + rσ. σ+ κ σ+ ) σ, This establishes the first condition for the validity of the Mountain Pass Theorem, for the functional E. To check the behavior of E at infinity, let us consider = te where t R and e C m+, e l ε =. We have that E(te) = t σ + tσ+ e σ+ l σ+ as t +. This ensures the validity of the second condition of the Mountain Pass Theorem. For fixed = 0 and choosing t sufficiently large, we may set u = t to obtain the existence of a non-trivial solution for (34) (35). Remark4.. In Theorem 4., we have to state explicitly that we deal with the finitedimensional problem, since otherwise we may not prove the validity of the PS condition. In the infinite-dimensional case, due to the lack of the Schur property for the space l (in contrast with the space l which posses this property-weak convergence coincides with strong convergence), we may not conclude the strong convergence of the sequence, from its weak convergence. The generalization of the mountain pass argument in the case of the infinite-dimensional conservative system is a subject of future research, and will be considered elsewhere. 4.. Non-existence of non-trivial standing waves We now provide some non-existence results for non-trivial standing waves. The results that follow are valid for both problems (34) (35) and (33). We recall [37, Theorem 8.E, p. 68] (Theorem of Lax and Milgram), which will be used to establish existence of solutions for an auxiliary linear, non-homogeneous problem, related to (33).
16 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) Theorem 4.3. Let X be a Hilbert space and A : X X be a linear continuous operator. Suppose that there exists c > 0 such that Re(Au, u) X c u X for all u X. (47) Then for given f X, the operator equation Au = f, u X, has a unique solution Theorem 4.4. There exist no non-trivial standing waves of energy less than E c (ω, σ) := ( ω 4 4 ) /4σ. Proof. Let ω R, ω = 0, be fixed. For any ε > 0, the operator A ω : l l, defined by (A ω ) = ε ( n n + n+ ) + ω n, (48) is linear and continuous and satisfies assumption (47) of Theorem 4.3: using (44) and () we get that (A ω, ) l = ε B l + ω ω l for all l. (49) For given z l, we consider the linear operator equation (A ω ) = z n σ z n, l. (50) The function F : C C, F (z) = z n σ z n satisfies Lemma., with β = σ. Therefore assumptions of Theorem 4.3 are satisfied, and (50) has a unique solution l. For some R>0, we consider the closed ball of l, B R := {z l : z l R}, and we define the map P : l l,byp(z) := where is the unique solution of the operator equation (50). Clearly the map P is well defined. Let z, ξ B R such that = P(z), ψ = P(ξ). The difference χ := ψ satisfies the equation (A ω χ) = F (z) F (ξ). (5) Taking now the scalar product of (5) with χ and using (4), we derive ε Bχ l + ω χ l F (z) F (ξ) l χ l R σ z ξ l χ l ω χ l + ω R4σ z ξ l. (5)
17 04 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 From (5), (), (44), we obtain the inequality χ l = P(z) P(ξ) l 4 ω 4 R4σ z ξ l. (53) Since P(0) = 0, from inequality (53), we derive that for R<(ω 4 /4) /4σ := E c (ω, σ), the map P : B R B R and is a contraction. Therefore P, satisfies the assumptions of Banach Fixed Point Theorem and has a unique fixed point, the trivial one. Hence, for R<E c (ω, σ) the only standing wave is the trivial. Remark4.. The above theorem is interesting when viewed in the following way: the l norm corresponds to the energy of the excitations of the lattice. If the energy of the excitation is less that E c (ω, σ) the lattice may not support a standing wave of frequency ω. This relation may be seen as some kind of dispersion relation of frequency vs. energy for the standing wave solutions. See also the results of [,3,4] for results on existence, stability and nonexistence of non-trivial standing waves, for the continuous and discrete NLS equations, respectively. It contains information on the type of nonlinearity, through its dependence on the nonlinearity exponent σ. Let us note that a similar computation to (5) shows that P maps also the ball B R with R (ω 4 ) /4σ := R, to itself and obviously E c <R, but within this range, the map is not essentially a contraction. Remark4.3. Arguments of the same type as above, may be used for the proof of existence of unique steady states for the case of nonlinearities that do not vanish when = 0 (see the end of Remark 3.). 5. Existence of global attractor in l for the dissipative case In this section, we study the asymptotic behavior of solutions of () () in the dissipative case, δ > 0 and g n = 0, i.e. taking into account the effect of a weak dissipation and of an external excitation. This time, as a model problem we shall employ the dissipative case of (6) (7) i u n + ε (u n u n + u n+ ) + iδu n + u n σ u n = g n, n Z, 0 σ <, ε > 0, (54) u n (0) = u n,0, n Z. (55) We also consider the weakly damped driven NLS partial differential equation i t u + u xx + iδu + u σ u = g, x R, t > 0, (56) u(x, 0) = u 0 (x).
18 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) It is well known that the dissipation and forcing terms have important effects in the long-time behavior of (56). As an example, we refer to the case σ =, for which it has been observed numerically the existence of chaotic attractors [0,9], in contrast with the conservative case which is completely integrable by the inverse scattering theory, for sufficiently smooth initial data. We refer to [5,6,,5,34] for results on the existence, finite dimensionality, and regularity of global attractors for (56). 5.. Existence of absorbing set This subsection is devoted to the existence of an absorbing set in l.wehavethe following lemma. Lemma 5.. Let (u 0,n ) = u 0,(g n ) = g l. For any ε > 0 and 0 σ <, the dynamical system defined by (54) (55) S(t) : u 0 l u(t) l, (57) possesses a bounded absorbing set B 0 in l : for every bounded set B of l, there exists t 0 (B, B 0 ) such that for all t t 0 (B, B 0 ), it holds S(t)B B 0. Proof. We take the scalar product of (54) with iu(t) and we get d dt u l + δ u l = Im u n g n δ u l + δ g l, (58) and therefore d dt u l + δ u l δ g l. (59) From (59) we derive that u L ([0, ), l ): Gronwall s Lemma implies that u(t) l u 0 l exp( δt) + δ g l { exp( δt)}. (60) Letting t we infer that lim sup u(t) l t δ g l. Setting ρ = g l /δ, it follows that for any number ρ > ρ the ball B 0 of l centered at 0 of radius ρ is an absorbing set for the semigroup S(t): ifb is a bounded set of
19 06 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 l included in a ball of l centered at 0 of radius R, then for t t 0 (B, B 0 ) where t 0 = δ log R ρ ρ, (6) it holds u(t) l ρ, i.e. S(t)B B 0. Note that in the absence of external excitation, the dynamical system exhibits trivial dynamics, in the sense that lim sup t u(t) l = 0, as (60) clearly shows. Remark5.. The existence of the absorbing set, can be shown again by working in a different way, in the equivalent norm of l : By taking the scalar product of (54) with u δu we may derive the energy equation d J (u(t)) + δj (u(t)) = Λ(u(t)), dt J (u) := u l ε { } σ + u σ+ (g, u), (6) l { σ Λ(u) := εδ σ + u σ+ + (g, u) l l } + Im u n g n. (63) From (4) and (6) we obtain the following estimate for Λ(u): { } σ Λ(u) εδ σ + ρσ+ + g l ρ + g l ρ = λ. (64) Gronwall s inequality applied in (6) implies that J (u(t)) J(u 0 ) exp( δt) + λ δ { exp( δt)}. (65) Letting t we get lim sup t J (u(t)) λ /δ. Hence, for t t 0 u(t) l ερ σ+ + 3ε g l ρ + δ g l ρ := ρ. (66) Relation (66), gives an estimate of the radius of the absorbing ball, involving the degree of the nonlinearity and lattice spacing. Note for example, that for sufficiently small we get that ρ < ρ. 0 < ε < ρ g l δ ρ σ+, + 3 g l Throughout the rest of the paper, for simplicity reasons we set ε =.
20 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) Asymptotic compactness of the semigroup and existence of global attractor We now prove the asymptotic compactness of the semigroup generated by the DNLS equation (54) (55). To establish this property, we follow the approach introduced in [9] and applied also in [38], for a second-order LDS. This approach is based on the derivation of estimates on the tail ends of solutions of (54) (55). Lemma 5.. Let (u 0,n ) = u 0 B where B is a bounded set of l and (g n ) = g l. For any 0 σ <, and η > 0, there exist T(η) and K(η) such that the solution (u n ) = u of (54) (55) satisfies for all t T(η), the estimate n >M u n (t) η δ for any M>K(η). (67) Proof. Choose a smooth function θ C (R +, R) satisfying the following properties: θ(s) = 0, 0 s, 0 θ(s), s, θ(s) =, s, and θ (s) C 0, s R + (68) ( ) for some C 0 R. We shall use the shorthand notation θ n = θ n M and Re(u n ) = u,n, Im(u n ) = u,n. We now multiply the DNLS equation with the function θ n ū n, n Z, and we sum over all sites and keep the imaginary part. The effect of the function θ on u n is to cut off all sites within a ball of radius comparable to M, and to take into account only the remote sites. This results to d dt θ n u n +δ θ n u n {(Bu ) n (Bθu ) n (Bu ) n (Bθu ) n } = Im g n θ n ū n. (69) The nonlinear term contributes a purely real term, so it drops out of the above equality. We must now estimate the remaining terms. Using the Cauchy Schwartz inequality, we find for the term containing the forcing that Im g n θ n ū n δ θ n u n + δ n M g n.
21 08 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 We now estimate the last term on the lhs of Eq. (69). After some algebra we obtain I = {(Bu ) n (Bθu ) n (Bu ) n (Bθu ) n } = {(θ n+ θ n )(u,n u,n+ u,n u,n+ )}. We may further estimate I as follows, I sup θ n+ θ n C M u l C M ρ, (u,n u,n+ u,n u,n+ ) where C depends only on C 0. For the last inequality, we applied the mean value theorem and (68), and the restriction of the solution to the absorbing ball in l (ρ is the radius of the absorbing ball of Lemma 5.). Therefore we obtain the following differential inequality: d dt θ n u n + δ θ n u n C M ρ + δ n >M g n. Using the Gronwall inequality, we obtain the following estimate: θ n u n e δ(t t 0) θ n u n (t 0 ) + C δ M ρ + δ n >M g n, for t>t 0, where t 0 is the time of entry of initial data bounded in l, to the absorbing ball of radius ρ in l. Since g l, then for all η > 0, there exists K(η) such that C M ρ + δ n >M g n η, M >K(η). Therefore, for all η and for t>t 0 and M>K(η), we obtain that θ n u n e δ(t t0) ρ + δ η.
22 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) Choosing t large enough, we may then obtain n >M u n This estimate holds as long as t T(η), where T(η) = t 0 + δ ln ( δρ η θ n u n η δ. ), and M>K(η). This concludes the proof of the Lemma. Remark. The above lemma has an additional implication, since it allows us to obtain an estimate for the time scales required for the localization of the energy to the part of the lattice with n M. Proposition 5.. Let 0 σ <. The semigroup S(t) is asymptotically compact in l, that is, if the sequence n is bounded in l and t n, then S(t n ) n is precompact in l. Proof. Let us consider a bounded sequence n l, such that n l r, r>0, n =,,... By Lemma 5., there exists T(r)>0, such that S(t) n B 0, t T(r). As t n there exists an integer N (r) such that t n T(r) for n N (r) and S(t n ) n B 0, n N (r). (70) Therefore S(t n ) n is weakly relatively compact. Thus, there exists 0 B 0 and a subsequence of S(t n ) n (not relabelled), such that S(t n ) n 0, weakly in B 0.To ensure precompactness we need to show that the above convergence is strong, that is for all η > 0, there exists N(η) N such that S(t n ) n 0 l η, n N(η). From (70) and the tail estimates provided by Lemma 5., we may conclude the existence of some K (η) and T (η), such that i K (η) (S(t)S(T r ) n ) i η 8, t T (η), where by (S(t) n ) i, we denote the ith coordinate of the infinite sequence S(t) n l. Since t n we may find N (r, η) N such that t n T r + T(η) if n N (r, η).
23 0 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 Hence, i K (η) (S(t n ) n ) i = i K (η) where we used the semigroup property for S(t). Since 0 l, we have the following tail estimate: i K (η) (S(t n T r )S(T r ) n ) i η 8, ( 0 ) i η 8. Let us now choose K(η) = max(k (η), K (η)). Since S(t n ) n 0 in l,wemay see that (S(t n ) n ) i ( 0 ) i strongly in C K(η)+. To prove the strong convergence we will break l into two distinct parts, the finite-dimensional part (corresponding to C K(η)+ ) and the infinite-dimensional part corresponding to the tails. Thus, S(t n ) n 0 l = (S(t n ) n 0 ) i + (S(t n ) n 0 ) i i K(η) η + i >K(η) i >K(η) ( (S(t n ) n ) i + ( 0 ) i ) η, where the first estimate comes from the strong convergence in the finite-dimensional space C K(η)+. Using Proposition 5. and Theorem.. of Temam [33], we may arrive at the main result of this section which can be stated as follows: Theorem 5.. Let 0 σ <. The semigroup S(t) associated to (54) (55) possesses a global attractor A = ω(b 0 ) B 0 l which is compact, connected and maximal among the functional invariant sets in l. 6. Finite-dimensional approximation of the global attractor This section is devoted to a result of stability of the global attractor of the dynamical system generated by (54) (55), under its approximation by a global attractor of an appropriate finite-dimensional dynamical system. Let us note first that problem (54) (55) could be viewed as a boundary value problem satisfying the boundary condition that the solutions are decaying at infinity. Since u(t) C (R +,l ) clearly lim n u n(t) = 0, t 0.
24 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 We seek for an approximation of (54) (55), by a finite-dimensional system of ordinary differential equations. We consider the boundary-value problem in C m+, i ψ n +(ψ n ψ n +ψ n+ ) + iδψ n + ψ n σ ψ n = g n, n m, 0 σ <, (7) ψ (m+) ( ) = ψ (m+) ( ) = 0, (7) ψ n (0) = ψ n,0, n m. (73) In a similar manner to the infinite-dimensional system, we may show that for the well posedness and asymptotic behavior of solutions of (7), the following result holds. Proposition 6.. Let ψ 0 := (ψ n,0 ) n m C m+. For 0 σ <, there exists a unique solution of (7) (73) such that ψ C ([0, ), C m+ ). The dynamical system defined by (7) (73) S m (t) : ψ 0 C m+ ψ(t) C m+, (74) possesses a bounded absorbing set O 0 in C m+ and a global attractor A m O 0 C m+ : for every bounded set O of l, there exists t (O, O 0 ) such that for all t t (O, O 0 ), it holds that S m (t)o O 0 and for every t 0, S m (t)a m = A m. Note that the estimates used for the proof of Proposition 6. (similar to those used in the proof Lemma 5.) are independent of m. Following [38,39] (see also [5,0] for a similar idea applied to pdes considered in all of R N ), we observe that the C m+ -solution of (7) (73) can be extended naturally in the infinite-dimensional space l,as ( m (t)) m Z := { ψ(t) := (ψn (t)) n m, n m, 0, n >m. (75) The extension (75) will be used in order to verify that the global attractor A of the semigroup S(t) associated with (54) (55), can be approximated by the global attractor A m of S m (t) associated to (7) (73), as m. We recall that the semidistance of two non-empty compact subsets of a metric space X, endowed with the metric d X (, ), is defined as d(b, B ) = sup inf d X (x, y). x B y B Theorem 6.. For any 0 σ <, the global attractor A m converges to A in the sense of the semidistance related to l : lim m d(a m, A) = 0. Proof. We denote by U an open-neighborhood of the absorbing ball B 0 of S(t). Obviously A attracts U. For arbitrary m Z, we consider the semigroup S m (t) defined by
25 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 Proposition 6. and its global attractor A m. Exactly as in Lemma 5., it can be shown that B 0 C m+ is also an absorbing set for S m (t). Therefore A m B 0 C m+ U C m+, and A m attracts U C m+. In the light of Proposition 6. and [33, Theorem I., p. 8], it remains to verify that for every compact interval I of R +, δ m (I) := sup sup d(s m (t)ψ 0, S(t)ψ 0 ) 0 as m. (76) ψ 0 U C m+ t I We consider the corresponding solution ψ(t) = S m (t)ψ 0, ψ(0) = ψ 0,inC m+ through (7) (73). Then by Proposition 6., it follows that ψ(t) A m for any t R +. Therefore, if ρ > 0 is the m-independent radius of the absorbing ball O m in C m+, then for every t R +, ψ(t) ρ. Using (75), we clearly observe that m (t) also satisfies the estimates m (t) l ρ, m (t) l C(ρ, g ), (77) the latter derived by (7). According to [33, Theorem 0., p ] or [39, Lemma 4, p. 60], for the justification of (76) it suffices to show that m (t) converges to a solution (t) of (54) (55) in an arbitrary compact interval of R +, and 0 = (0) in a bounded set of l. Let I be an arbitrary compact interval of R +. From estimates (77), we may extract a subsequence μ of m, such that μ (t) (t) in l, as μ for every t D, (78) where D denotes a countable dense subset of I. For any t I we consider the sequence γ m (t) := ( m (t), z) l, z l, which is differentiable by (77) as a function of t and γ m (t) = ( m (t), z) l.bythe mean-value theorem, there exists ξ I such that, for fixed t,s I ( m (t) m (s), z) l = γ m (t) γ m (s) = ( ψ m (t), z) l t s sup m (ξ) l z l t s C t s. ξ I It follows then, that there exists an m-independent constant C such that m (t) m (s) l C t s, (79)
26 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) i.e. the sequence γ m is equicontinuous. Hence by Ascoli s Theorem, it follows that the convergence (78), holds uniformly on I as μ. Summarizing, we obtain that for the subsequence μ hold the convergence relations μ in C(I,l ), μ in L (I, l ), (80) μ in L (I, l ). For every z l and ω(t) C 0 (I) we consider the formula (see [, p. 59]) I (i μ (t), z) l ω(t) dt + (f ( μ (t)), z) l ω(t) dt = I I (B μ (t), Bz) l ω(t) dt + δ I I (i μ (t), z) l ω(t) dt (g, z) l ω(t) dt, (8) where f( μ ) := μ σ μ. Needless to say that any solution of (8), is in our case, a solution of (54) (55) and vice versa. Using (80) we may pass to the limit in (8). Note for example, that since f : l l is Lipschitz continuous on bounded sets of l, there exists from (77), a constant c(ρ) such that f( μ ) f( ) l c(ρ) μ l. Then from (80) we infer (f ( μ (t)) f( (t)), z)ω(t) dt f( μ (t)) f( (t)) l z l ω(t) dt I I c μ (t) (t) l z l ω(t) I c sup μ (t) (t) l z l ω(t) dt t I I 0 as μ. Now we conclude by the same arguments as in [39, Lemma 4, p. 6]: Since I is arbitrary, (8) is satisfied for all t R +, i.e. (t) solves (54) (55). Moreover by (80) we get that (t) is bounded in l for all t R +. Therefore (t) A, which implies that μ (0) (0) A. Since the convergence holds for any other subsequence having the above formulated properties, by a contradiction argument using uniqueness, we may deduce that the convergence holds for the original sequence m. Condition (76) is proved.
27 4 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) The case of weighted spaces: Existence of spatially exponentially localized solutions We now turn to the properties of the solutions of the DNLS (54) (55), in weighted spaces. We consider weight function w n which is an increasing function of n, satisfying for all n Z, the following condition: w n, (W) w n+ w n d w n, d w n w n+. the space l w, { l w = u n C : u l := } w n u n <. w It can easily be seen that the space l w is a Hilbert space with the norm l. w Such spaces are the discrete analogue of weighted L spaces. A choice for such a function may be the exponential function w n = exp(λ n ) for λ > 0. Existence of solutions in such spaces will provide us with the existence of (exponentially) localized solutions for the DNLS equation (54) (55). The use of such spaces is important in the study of existence of soliton solutions or breathers. An instance where weighted spaces have been used is in [6], where the existence of exponentially localized solutions has been studied in conservative lattices using a continuation argument, related to the anti-integrable limit. We also refer to the very recent work [40]. Since the operator A is not symmetric in the space l w, we cannot apply Theorem. for the local existence in weighted spaces. We thus have to resort to general existence Theorems in Banach spaces. To this end we need to show that the operators involved are Lipschitz. This time as a model case we consider () (), with a nonlinearity satisfying (N ). We have the following Lemma 7.. Let condition (N ) be fulfilled. The operator T : l w l w, defined by T(z)= f( z )z satisfies the following properties: (i) T is bounded on bounded sets of l w and (ii) T is locally Lipschitz continuous. Proof. (i) Let u B R, a closed ball of l w of radius R. It follows from condition (W) that z n z for all n Z. Since f is continuous, we may argue as for the l w proof of Lemma., in order to get the inequality T(z) l w = w n f( z n ) z n w n g( z n ) z n
28 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) { } w n g( z l w) z n max g(ρ) w n z n ρ [0,R ] c(r) z l w, for some positive constant c(r). Thus we conclude that the operator T is bounded on bounded sets of l w. (ii) Since (N ) holds, for some θ (0, ) we have T(z) T(z ) l w w n f( z n ) z n z n + w n f (θ z n +( θ) z n ) ( z n + z n ) z n z n z n. A similar inequality to (9) should be obtained: we may see that T(z) T(z ) l w w n f( z l ) z n z n w { } + max g (ρ) c(r) w n z n z ρ [0,R n ] c(r)( z z l w). This concludes the proof of the Lemma. Lemma 7.. The operator A : l w l w, defined by (Au) n = u n+ u n + u n is globally Lipschitz on l w. Proof. Let u, v B R. Then (Au) (Av) = (u n+ v n+ ) (u n v n )+(u n v n ) and it follows that Au Av l w 4 u v l w. Using the above two lemmas we may restate the local existence result, in the case of weighted spaces. Theorem 7.. Let assumption (N ) be satisfied, assume that u 0 l w. There exists T (u 0 )>0, such that for all 0 <T <T (u 0 ), there exists a unique solution of the problem () (), u(t) C ([0,T],l w ). Proof. This time, we write () (), as an ordinary differential equation in l w u(t) + Φ(u(t)) = 0, u(0) = u 0,
29 6 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 where Φ(u) = T (u) + A(u) + iδu g and u(t) lies in l w. Lemmas are sufficient for the application of standard existence and uniqueness theorems, for ordinary differential equations in Banach spaces [37, p. 78 8]. In order to prove the existence of global solutions, we need to obtain some a priori estimates for the solution. In the dissipative case, this is achieved by proving the existence of a globally attracting ball of finite radius in l w. Lemma 7.3. Assume condition (W) on the weight function and that the damping coefficient satisfies δ d d / 0. (8) Let (u 0,n ) = u 0,(g n ) = g l w and condition (N ) be satisfied. A dynamical system can be defined by () (), S(t) : u 0 l w u(t) l w, (83) possessing a bounded absorbing set B 0 in l w : For every bounded set B of l w, there exists t 0 (B, B 0 ) such that for all t t 0 (B, B 0 ), it holds S(t)B B 0. Proof. We multiply () with w n u n, n Z, add over all lattice sites and keep the imaginary part. Working similarly as in Lemma 5., we obtain d dt w n u n n+ w n )(u,n u,n+ u,n u,n+ ) + δ (w δ w n u n + w n g n. δ Using the assumptions on the weight function (W), we find that (w n+ w n )(u,n u,n+ u,n u,n+ ) d w n (u,n u,n+ u,n u,n+ ) d ( w n u n w n u,n u,n+ + ) w n u,n u,n+. (84)
30 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) We now estimate the sums in the above inequality as follows: w n u,n u,n+ = ( and similarly, ( ) / wn / wn / u,n u,n+ w n u,n ( ( w n u,n+ ) / d / w n+ u,n+ ) / d / u l w w n u,n u,n+ d / u l. w w n u,n ) / Therefore, (w n+ w n )(u,n u,n+ u,n u,n+ ) d d / u l. w Thus, we obtain the differential inequality ( ) d δ dt u l + w d d / u l w δ g l. w Using the Gronwall inequality, if δ d d / 0 we obtain the existence of the attracting ball in l w. This concludes the proof of the Proposition. Remark7.. In the case of exponential weight w n = exp(λn), it appears that d = exp(λ) and d = exp(λ). The condition for existence of attracting ball becomes 8 sinh(λ/) δ. We may further prove the existence of a global attractor attracting all bounded sets of l w. The next lemma provides us with tail estimates in the weighted space. Lemma 7.4. Let (u 0,n ) = u 0 B, where B is a bounded set of l w and (g n) = g l w. Under assumptions (N ) on the nonlinearity, (W) on the weight function and assumption (8) on the dissipation, for any η > 0, there exist T(η) and K(η) such that
31 8 N.I. Karachalios, A.N. Yannacopoulos / J. Differential Equations 7 (005) 88 3 the solution (u n ) = u of () () satisfies for all t T(η), the estimate w n u n η for any M>K(η). (85) δ n >M Proof. The proof follows closely the proof of Lemma 5. for the corresponding tail estimates in the space l, only that we now multiply the equation by w n θ n u n, instead of multiplying simply by θ n u n. We obtain the following inequality where d dt + δ w n θ n u n I + δ w n θ n u n δ w n θ n u n w n θ n g n, (86) I = {(θ n+ w n+ θ n w n )(u,n u,n+ u,n u,n+ )}. We rewrite (θ n+ w n+ θ n w n ) = (θ n+ θ n )w n+ + θ n (w n+ w n ). Using arguments similar to those used in the proof of Lemmas 5. and 7.3, we see that θ n+ θ n w n+ u,n u,n+ u,n u,n+ C ρ M, (87) where C depends only on d,d and ρ denotes the absorbing ball in l w. We also have the inequality θ n w n+ w n u,n u,n+ u,n u,n+ d θ n w n u,n u,n+ +d θ n w n u,n u,n+. (88) For the first term of the rhs of (88), holds the estimate ( ) / ( ) / d θ n w n u,n u,n+ d θ n w n u,n θ n w n u,n+ ( ) / ( ) / d d / θ n w n u,n θ n w n+ u,n+. (89)
An introduction to Mathematical Theory of Control
An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018
More informationStability of an abstract wave equation with delay and a Kelvin Voigt damping
Stability of an abstract wave equation with delay and a Kelvin Voigt damping University of Monastir/UPSAY/LMV-UVSQ Joint work with Serge Nicaise and Cristina Pignotti Outline 1 Problem The idea Stability
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationA Variational Analysis of a Gauged Nonlinear Schrödinger Equation
A Variational Analysis of a Gauged Nonlinear Schrödinger Equation Alessio Pomponio, joint work with David Ruiz Dipartimento di Meccanica, Matematica e Management, Politecnico di Bari Variational and Topological
More informationContents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.
Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological
More informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationPhase-field systems with nonlinear coupling and dynamic boundary conditions
1 / 46 Phase-field systems with nonlinear coupling and dynamic boundary conditions Cecilia Cavaterra Dipartimento di Matematica F. Enriques Università degli Studi di Milano cecilia.cavaterra@unimi.it VIII
More informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationAsymptotic behavior of Ginzburg-Landau equations of superfluidity
Communications to SIMAI Congress, ISSN 1827-9015, Vol. 3 (2009) 200 (12pp) DOI: 10.1685/CSC09200 Asymptotic behavior of Ginzburg-Landau equations of superfluidity Alessia Berti 1, Valeria Berti 2, Ivana
More informationTakens embedding theorem for infinite-dimensional dynamical systems
Takens embedding theorem for infinite-dimensional dynamical systems James C. Robinson Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. E-mail: jcr@maths.warwick.ac.uk Abstract. Takens
More informationOn Chern-Simons-Schrödinger equations including a vortex point
On Chern-Simons-Schrödinger equations including a vortex point Alessio Pomponio Dipartimento di Meccanica, Matematica e Management, Politecnico di Bari Workshop in Nonlinear PDEs Brussels, September 7
More informationON THE HYPERBOLIC RELAXATION OF THE CAHN-HILLIARD EQUATION IN 3-D: APPROXIMATION AND LONG TIME BEHAVIOUR
ON THE HYPERBOLIC RELAXATION OF THE CAHN-HILLIARD EQUATION IN 3-D: APPROXIMATION AND LONG TIME BEHAVIOUR ANTONIO SEGATTI Abstract. In this paper we consider the hyperbolic relaxation of the Cahn-Hilliard
More informationGlobal Attractors in PDE
CHAPTER 14 Global Attractors in PDE A.V. Babin Department of Mathematics, University of California, Irvine, CA 92697-3875, USA E-mail: ababine@math.uci.edu Contents 0. Introduction.............. 985 1.
More informationChapter 1 Foundations of Elliptic Boundary Value Problems 1.1 Euler equations of variational problems
Chapter 1 Foundations of Elliptic Boundary Value Problems 1.1 Euler equations of variational problems Elliptic boundary value problems often occur as the Euler equations of variational problems the latter
More informationWELL-POSEDNESS FOR HYPERBOLIC PROBLEMS (0.2)
WELL-POSEDNESS FOR HYPERBOLIC PROBLEMS We will use the familiar Hilbert spaces H = L 2 (Ω) and V = H 1 (Ω). We consider the Cauchy problem (.1) c u = ( 2 t c )u = f L 2 ((, T ) Ω) on [, T ] Ω u() = u H
More information2.3 Variational form of boundary value problems
2.3. VARIATIONAL FORM OF BOUNDARY VALUE PROBLEMS 21 2.3 Variational form of boundary value problems Let X be a separable Hilbert space with an inner product (, ) and norm. We identify X with its dual X.
More informationGLOBAL ATTRACTOR FOR A SEMILINEAR PARABOLIC EQUATION INVOLVING GRUSHIN OPERATOR
Electronic Journal of Differential Equations, Vol. 28(28), No. 32, pp. 1 11. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) GLOBAL
More informationSome SDEs with distributional drift Part I : General calculus. Flandoli, Franco; Russo, Francesco; Wolf, Jochen
Title Author(s) Some SDEs with distributional drift Part I : General calculus Flandoli, Franco; Russo, Francesco; Wolf, Jochen Citation Osaka Journal of Mathematics. 4() P.493-P.54 Issue Date 3-6 Text
More informationTwo dimensional exterior mixed problem for semilinear damped wave equations
J. Math. Anal. Appl. 31 (25) 366 377 www.elsevier.com/locate/jmaa Two dimensional exterior mixed problem for semilinear damped wave equations Ryo Ikehata 1 Department of Mathematics, Graduate School of
More informationNOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES
NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES JONATHAN LUK These notes discuss theorems on the existence, uniqueness and extension of solutions for ODEs. None of these results are original. The proofs
More informationat time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t))
Notations In this chapter we investigate infinite systems of interacting particles subject to Newtonian dynamics Each particle is characterized by its position an velocity x i t, v i t R d R d at time
More informationLecture Notes on PDEs
Lecture Notes on PDEs Alberto Bressan February 26, 2012 1 Elliptic equations Let IR n be a bounded open set Given measurable functions a ij, b i, c : IR, consider the linear, second order differential
More informationExponential stability of abstract evolution equations with time delay feedback
Exponential stability of abstract evolution equations with time delay feedback Cristina Pignotti University of L Aquila Cortona, June 22, 2016 Cristina Pignotti (L Aquila) Abstract evolutions equations
More informationTraces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains
Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains Sergey E. Mikhailov Brunel University West London, Department of Mathematics, Uxbridge, UB8 3PH, UK J. Math. Analysis
More informationPREPUBLICACIONES DEL DEPARTAMENTO DE MATEMÁTICA APLICADA UNIVERSIDAD COMPLUTENSE DE MADRID MA-UCM
PREPUBLICACIONES DEL DEPARTAMENTO DE MATEMÁTICA APLICADA UNIVERSIDAD COMPLUTENSE DE MADRID MA-UCM 2009-13 Extremal equilibria for monotone semigroups in ordered spaces with application to evolutionary
More informationS chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.
Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable
More informationA Concise Course on Stochastic Partial Differential Equations
A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationLECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov,
LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES Sergey Korotov, Institute of Mathematics Helsinki University of Technology, Finland Academy of Finland 1 Main Problem in Mathematical
More informationFIXED POINT OF CONTRACTION AND EXPONENTIAL ATTRACTORS. Y. Takei and A. Yagi 1. Received February 22, 2006; revised April 6, 2006
Scientiae Mathematicae Japonicae Online, e-2006, 543 550 543 FIXED POINT OF CONTRACTION AND EXPONENTIAL ATTRACTORS Y. Takei and A. Yagi 1 Received February 22, 2006; revised April 6, 2006 Abstract. The
More informationTHE CAHN-HILLIARD EQUATION WITH A LOGARITHMIC POTENTIAL AND DYNAMIC BOUNDARY CONDITIONS
THE CAHN-HILLIARD EQUATION WITH A LOGARITHMIC POTENTIAL AND DYNAMIC BOUNDARY CONDITIONS Alain Miranville Université de Poitiers, France Collaborators : L. Cherfils, G. Gilardi, G.R. Goldstein, G. Schimperna,
More informationSeparation of Variables in Linear PDE: One-Dimensional Problems
Separation of Variables in Linear PDE: One-Dimensional Problems Now we apply the theory of Hilbert spaces to linear differential equations with partial derivatives (PDE). We start with a particular example,
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More informationAnalysis in weighted spaces : preliminary version
Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.
More informationEXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem
Electronic Journal of Differential Equations, Vol. 207 (207), No. 84, pp. 2. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS
More informationNonlinear stabilization via a linear observability
via a linear observability Kaïs Ammari Department of Mathematics University of Monastir Joint work with Fathia Alabau-Boussouira Collocated feedback stabilization Outline 1 Introduction and main result
More informationUniversité de Metz. Master 2 Recherche de Mathématiques 2ème semestre. par Ralph Chill Laboratoire de Mathématiques et Applications de Metz
Université de Metz Master 2 Recherche de Mathématiques 2ème semestre Systèmes gradients par Ralph Chill Laboratoire de Mathématiques et Applications de Metz Année 26/7 1 Contents Chapter 1. Introduction
More informationGLOBAL EXISTENCE AND ENERGY DECAY OF SOLUTIONS TO A PETROVSKY EQUATION WITH GENERAL NONLINEAR DISSIPATION AND SOURCE TERM
Georgian Mathematical Journal Volume 3 (26), Number 3, 397 4 GLOBAL EXITENCE AND ENERGY DECAY OF OLUTION TO A PETROVKY EQUATION WITH GENERAL NONLINEAR DIIPATION AND OURCE TERM NOUR-EDDINE AMROUN AND ABBE
More information1 The Observability Canonical Form
NONLINEAR OBSERVERS AND SEPARATION PRINCIPLE 1 The Observability Canonical Form In this Chapter we discuss the design of observers for nonlinear systems modelled by equations of the form ẋ = f(x, u) (1)
More informationMath Tune-Up Louisiana State University August, Lectures on Partial Differential Equations and Hilbert Space
Math Tune-Up Louisiana State University August, 2008 Lectures on Partial Differential Equations and Hilbert Space 1. A linear partial differential equation of physics We begin by considering the simplest
More informationPropagating terraces and the dynamics of front-like solutions of reaction-diffusion equations on R
Propagating terraces and the dynamics of front-like solutions of reaction-diffusion equations on R P. Poláčik School of Mathematics, University of Minnesota Minneapolis, MN 55455 Abstract We consider semilinear
More informationLax Solution Part 4. October 27, 2016
Lax Solution Part 4 www.mathtuition88.com October 27, 2016 Textbook: Functional Analysis by Peter D. Lax Exercises: Ch 16: Q2 4. Ch 21: Q1, 2, 9, 10. Ch 28: 1, 5, 9, 10. 1 Chapter 16 Exercise 2 Let h =
More informationWeak solutions and blow-up for wave equations of p-laplacian type with supercritical sources
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Faculty Publications, Department of Mathematics Mathematics, Department of 1 Weak solutions and blow-up for wave equations
More informationParameter Dependent Quasi-Linear Parabolic Equations
CADERNOS DE MATEMÁTICA 4, 39 33 October (23) ARTIGO NÚMERO SMA#79 Parameter Dependent Quasi-Linear Parabolic Equations Cláudia Buttarello Gentile Departamento de Matemática, Universidade Federal de São
More informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationu( x) = g( y) ds y ( 1 ) U solves u = 0 in U; u = 0 on U. ( 3)
M ath 5 2 7 Fall 2 0 0 9 L ecture 4 ( S ep. 6, 2 0 0 9 ) Properties and Estimates of Laplace s and Poisson s Equations In our last lecture we derived the formulas for the solutions of Poisson s equation
More information1 Lyapunov theory of stability
M.Kawski, APM 581 Diff Equns Intro to Lyapunov theory. November 15, 29 1 1 Lyapunov theory of stability Introduction. Lyapunov s second (or direct) method provides tools for studying (asymptotic) stability
More informationControllability of linear PDEs (I): The wave equation
Controllability of linear PDEs (I): The wave equation M. González-Burgos IMUS, Universidad de Sevilla Doc Course, Course 2, Sevilla, 2018 Contents 1 Introduction. Statement of the problem 2 Distributed
More information16 1 Basic Facts from Functional Analysis and Banach Lattices
16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness
More informationControl, Stabilization and Numerics for Partial Differential Equations
Paris-Sud, Orsay, December 06 Control, Stabilization and Numerics for Partial Differential Equations Enrique Zuazua Universidad Autónoma 28049 Madrid, Spain enrique.zuazua@uam.es http://www.uam.es/enrique.zuazua
More informationINF-SUP CONDITION FOR OPERATOR EQUATIONS
INF-SUP CONDITION FOR OPERATOR EQUATIONS LONG CHEN We study the well-posedness of the operator equation (1) T u = f. where T is a linear and bounded operator between two linear vector spaces. We give equivalent
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More informationTD 1: Hilbert Spaces and Applications
Université Paris-Dauphine Functional Analysis and PDEs Master MMD-MA 2017/2018 Generalities TD 1: Hilbert Spaces and Applications Exercise 1 (Generalized Parallelogram law). Let (H,, ) be a Hilbert space.
More informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More informationOn the bang-bang property of time optimal controls for infinite dimensional linear systems
On the bang-bang property of time optimal controls for infinite dimensional linear systems Marius Tucsnak Université de Lorraine Paris, 6 janvier 2012 Notation and problem statement (I) Notation: X (the
More informationNon-degeneracy of perturbed solutions of semilinear partial differential equations
Non-degeneracy of perturbed solutions of semilinear partial differential equations Robert Magnus, Olivier Moschetta Abstract The equation u + F(V (εx, u = 0 is considered in R n. For small ε > 0 it is
More information************************************* Applied Analysis I - (Advanced PDE I) (Math 940, Fall 2014) Baisheng Yan
************************************* Applied Analysis I - (Advanced PDE I) (Math 94, Fall 214) by Baisheng Yan Department of Mathematics Michigan State University yan@math.msu.edu Contents Chapter 1.
More information2 A Model, Harmonic Map, Problem
ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or
More informationVariational Formulations
Chapter 2 Variational Formulations In this chapter we will derive a variational (or weak) formulation of the elliptic boundary value problem (1.4). We will discuss all fundamental theoretical results that
More informationSPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS
SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS TSOGTGEREL GANTUMUR Abstract. After establishing discrete spectra for a large class of elliptic operators, we present some fundamental spectral properties
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationEquations paraboliques: comportement qualitatif
Université de Metz Master 2 Recherche de Mathématiques 2ème semestre Equations paraboliques: comportement qualitatif par Ralph Chill Laboratoire de Mathématiques et Applications de Metz Année 25/6 1 Contents
More informationFinite Elements. Colin Cotter. February 22, Colin Cotter FEM
Finite Elements February 22, 2019 In the previous sections, we introduced the concept of finite element spaces, which contain certain functions defined on a domain. Finite element spaces are examples of
More informationPutzer s Algorithm. Norman Lebovitz. September 8, 2016
Putzer s Algorithm Norman Lebovitz September 8, 2016 1 Putzer s algorithm The differential equation dx = Ax, (1) dt where A is an n n matrix of constants, possesses the fundamental matrix solution exp(at),
More informationMA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt
MA526 Homework 4 Group 4 April 26, 26 Qn 6.2 Show that H is not bounded as a map: L L. Deduce from this that H is not bounded as a map L L. Let {ϕ n } be an approximation of the identity s.t. ϕ C, sptϕ
More informationIntroduction and Preliminaries
Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationCUTOFF RESOLVENT ESTIMATES AND THE SEMILINEAR SCHRÖDINGER EQUATION
CUTOFF RESOLVENT ESTIMATES AND THE SEMILINEAR SCHRÖDINGER EQUATION HANS CHRISTIANSON Abstract. This paper shows how abstract resolvent estimates imply local smoothing for solutions to the Schrödinger equation.
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationFact Sheet Functional Analysis
Fact Sheet Functional Analysis Literature: Hackbusch, W.: Theorie und Numerik elliptischer Differentialgleichungen. Teubner, 986. Knabner, P., Angermann, L.: Numerik partieller Differentialgleichungen.
More informationATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS. Emerson A. M. de Abreu Alexandre N.
ATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS Emerson A. M. de Abreu Alexandre N. Carvalho Abstract Under fairly general conditions one can prove that
More informationt y n (s) ds. t y(s) ds, x(t) = x(0) +
1 Appendix Definition (Closed Linear Operator) (1) The graph G(T ) of a linear operator T on the domain D(T ) X into Y is the set (x, T x) : x D(T )} in the product space X Y. Then T is closed if its graph
More information1.2 Fundamental Theorems of Functional Analysis
1.2 Fundamental Theorems of Functional Analysis 15 Indeed, h = ω ψ ωdx is continuous compactly supported with R hdx = 0 R and thus it has a unique compactly supported primitive. Hence fφ dx = f(ω ψ ωdy)dx
More informationStrong stabilization of the system of linear elasticity by a Dirichlet boundary feedback
IMA Journal of Applied Mathematics (2000) 65, 109 121 Strong stabilization of the system of linear elasticity by a Dirichlet boundary feedback WEI-JIU LIU AND MIROSLAV KRSTIĆ Department of AMES, University
More informationMixed exterior Laplace s problem
Mixed exterior Laplace s problem Chérif Amrouche, Florian Bonzom Laboratoire de mathématiques appliquées, CNRS UMR 5142, Université de Pau et des Pays de l Adour, IPRA, Avenue de l Université, 64000 Pau
More informationSTRONG GLOBAL ATTRACTOR FOR A QUASILINEAR NONLOCAL WAVE EQUATION ON R N
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 77, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (loin: ftp) STRONG
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationStrong Stabilization of the System of Linear Elasticity by a Dirichlet Boundary Feedback
To appear in IMA J. Appl. Math. Strong Stabilization of the System of Linear Elasticity by a Dirichlet Boundary Feedback Wei-Jiu Liu and Miroslav Krstić Department of AMES University of California at San
More informationThe Dirichlet-to-Neumann operator
Lecture 8 The Dirichlet-to-Neumann operator The Dirichlet-to-Neumann operator plays an important role in the theory of inverse problems. In fact, from measurements of electrical currents at the surface
More informationScientific Computing WS 2018/2019. Lecture 15. Jürgen Fuhrmann Lecture 15 Slide 1
Scientific Computing WS 2018/2019 Lecture 15 Jürgen Fuhrmann juergen.fuhrmann@wias-berlin.de Lecture 15 Slide 1 Lecture 15 Slide 2 Problems with strong formulation Writing the PDE with divergence and gradient
More informationBulletin of the. Iranian Mathematical Society
ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Bulletin of the Iranian Mathematical Society Vol. 42 (2016), No. 1, pp. 129 141. Title: On nonlocal elliptic system of p-kirchhoff-type in Author(s): L.
More informationConservation law equations : problem set
Conservation law equations : problem set Luis Silvestre For Isaac Neal and Elia Portnoy in the 2018 summer bootcamp 1 Method of characteristics For the problems in this section, assume that the solutions
More informationThe L p -dissipativity of first order partial differential operators
The L p -dissipativity of first order partial differential operators A. Cialdea V. Maz ya n Memory of Vladimir. Smirnov Abstract. We find necessary and sufficient conditions for the L p -dissipativity
More informationBrownian Motion. 1 Definition Brownian Motion Wiener measure... 3
Brownian Motion Contents 1 Definition 2 1.1 Brownian Motion................................. 2 1.2 Wiener measure.................................. 3 2 Construction 4 2.1 Gaussian process.................................
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationA SHORT INTRODUCTION TO BANACH LATTICES AND
CHAPTER A SHORT INTRODUCTION TO BANACH LATTICES AND POSITIVE OPERATORS In tis capter we give a brief introduction to Banac lattices and positive operators. Most results of tis capter can be found, e.g.,
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationWeak convergence and Brownian Motion. (telegram style notes) P.J.C. Spreij
Weak convergence and Brownian Motion (telegram style notes) P.J.C. Spreij this version: December 8, 2006 1 The space C[0, ) In this section we summarize some facts concerning the space C[0, ) of real
More informationSwitching, sparse and averaged control
Switching, sparse and averaged control Enrique Zuazua Ikerbasque & BCAM Basque Center for Applied Mathematics Bilbao - Basque Country- Spain zuazua@bcamath.org http://www.bcamath.org/zuazua/ WG-BCAM, February
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationCONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence
1 CONVERGENCE THEOR G. ALLAIRE CMAP, Ecole Polytechnique 1. Maximum principle 2. Oscillating test function 3. Two-scale convergence 4. Application to homogenization 5. General theory H-convergence) 6.
More informationEquilibria with a nontrivial nodal set and the dynamics of parabolic equations on symmetric domains
Equilibria with a nontrivial nodal set and the dynamics of parabolic equations on symmetric domains J. Földes Department of Mathematics, Univerité Libre de Bruxelles 1050 Brussels, Belgium P. Poláčik School
More informationDomination of semigroups associated with sectorial forms
Domination of semigroups associated with sectorial forms Amir Manavi, Hendrik Vogt, and Jürgen Voigt Fachrichtung Mathematik, Technische Universität Dresden, D-0106 Dresden, Germany Abstract Let τ be a
More informationUNIQUENESS OF POSITIVE SOLUTION TO SOME COUPLED COOPERATIVE VARIATIONAL ELLIPTIC SYSTEMS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9947(XX)0000-0 UNIQUENESS OF POSITIVE SOLUTION TO SOME COUPLED COOPERATIVE VARIATIONAL ELLIPTIC SYSTEMS YULIAN
More information