Communications in Partial Differential Equations

0 downloads 0 Views 419KB Size Report
Aug 8, 2014 - and div denotes the divergent operator, namely, if X is a vector field in. ,. divX p = trace .... (ii) Re g z − g w ¯z − ¯w ≥ 0, ∀ z w ∈ ;. (iii) Im g z¯z ...... boundary V = 1V ∪ 2V regular, such that 1V intercepts transversally, meas V ...
This article was downloaded by: [186.198.112.233] On: 08 August 2014, At: 15:08 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered office: Mortimer House, 37-41 Mortimer Street, London W1T 3JH, UK

Communications in Partial Differential Equations Publication details, including instructions for authors and subscription information: http://www.tandfonline.com/loi/lpde20

Asymptotic Stability for the Damped Schrödinger Equation on Noncompact Riemannian Manifolds and Exterior Domains a

César A. Bortot & Marcelo M. Cavalcanti a

b

Engineering Center of Mobility , Federal University of Santa Catarina , Joinville , Brazil

b

Department of Mathematics , State University of Maringá , Maringá , Brazil Published online: 08 Aug 2014.

To cite this article: César A. Bortot & Marcelo M. Cavalcanti (2014) Asymptotic Stability for the Damped Schrödinger Equation on Noncompact Riemannian Manifolds and Exterior Domains, Communications in Partial Differential Equations, 39:9, 1791-1820, DOI: 10.1080/03605302.2014.908390 To link to this article: http://dx.doi.org/10.1080/03605302.2014.908390

PLEASE SCROLL DOWN FOR ARTICLE Taylor & Francis makes every effort to ensure the accuracy of all the information (the “Content”) contained in the publications on our platform. However, Taylor & Francis, our agents, and our licensors make no representations or warranties whatsoever as to the accuracy, completeness, or suitability for any purpose of the Content. Any opinions and views expressed in this publication are the opinions and views of the authors, and are not the views of or endorsed by Taylor & Francis. The accuracy of the Content should not be relied upon and should be independently verified with primary sources of information. Taylor and Francis shall not be liable for any losses, actions, claims, proceedings, demands, costs, expenses, damages, and other liabilities whatsoever or howsoever caused arising directly or indirectly in connection with, in relation to or arising out of the use of the Content. This article may be used for research, teaching, and private study purposes. Any substantial or systematic reproduction, redistribution, reselling, loan, sub-licensing, systematic supply, or distribution in any form to anyone is expressly forbidden. Terms & Conditions of access and use can be found at http:// www.tandfonline.com/page/terms-and-conditions

Communications in Partial Differential Equations, 39: 1791–1820, 2014 Copyright © Taylor & Francis Group, LLC ISSN 0360-5302 print/1532-4133 online DOI: 10.1080/03605302.2014.908390

Downloaded by [186.198.112.233] at 15:08 08 August 2014

Asymptotic Stability for the Damped Schrödinger Equation on Noncompact Riemannian Manifolds and Exterior Domains CÉSAR A. BORTOT1 AND MARCELO M. CAVALCANTI2 1

Engineering Center of Mobility, Federal University of Santa Catarina, Joinville, Brazil 2 Department of Mathematics, State University of Maringá, Maringá, Brazil The Schrödinger equation subject to a nonlinear and locally distributed damping, posed in a connected, complete, and noncompact n dimensional Riemannian manifold  g is considered. Assuming that  g is nontrapping and, in addition, that the damping term is effective in \, where  ⊂⊂  is an open bounded and connected subset with smooth boundary , such that  is a compact set, exponential and uniform decay rates of the L2 −level energy are established. The main ingredients in the proof of the exponential stability are: (A) an unique continuation property for the linear problem; and (B) a local smoothing effect for the linear and nonhomogeneous associated problem. Keywords Exponential stability; Non-compact manifolds; Schröedinger equation. Mathematics Subject Classification 58Jxx.

1. Introduction This paper addresses the well-posedness as well as exponential decay rate estimates of the energy Et = 21  ux t2 dx related to the Schrödinger equation subject to a nonlinear and locally distributed damping, posed in a connected, complete and noncompact n dimensional Riemannian manifold  g: 

iut + u + iaxgu = 0 in  × 0 + ux 0 = u0 x x ∈ 

(1.1)

Received August 22, 2013; Accepted February 20, 2014 Address correspondence to Marcelo M. Cavalcanti, Department of Mathematics, State University of Maringá, Av. Colombo 5790, Maringá 87020-900, Brazil; E-mail: mmcavalcanti@ uem.br

1791

Downloaded by [186.198.112.233] at 15:08 08 August 2014

1792

Bortot and Cavalcanti

where  denotes the Laplace-Beltrami operator. We shall divide our study into two fold: (i) when  g is an exterior domain of n endowed with the Euclidean metric. More precisely, let  ⊂ n , n ≥ 2 be a compact smooth obstacle. Denote by  the complementary of , that is,  = n \. In the first part of the present paper we shall suppose that the obstacle  is nontrapping, which means that any light ray reflecting on the boundary of  according to the laws of the geometric optics leaves any compact set in finite time. In this case, Dirichlet boundary condition is assumed on the boundary  of , namely, u = 0 on M × 0 ; (ii) when  g is a noncompact, “nontrapping” n-dimensional Riemannian manifold, n ≥ 2, simply connected, orientable and without boundary endowed by a Riemannian metric g· · = · ·. In addition, we suppose that g is complete of class C  . When a ≡ 0 in (1.1) and  = n \ it is well known (see Tsutsumi [23]) that if the domain is nontrapping in the geometrical optics sense, then the L2 localized energy, u· tL2 BR  (where BR means a ball of radius R > 0) decays like t−n/2 . In the trapping case, no uniform decay rate is possible (see J. V. Ralston [19]). All these results are obtained through estimates of the resolvent  + −1 . More recently, when a = 0, a ≥ 0, that is, in presence of a linear damping term iaxu, Aloui and Khenissi [1] proved a similar polynomial decay rate estimate as in [23] by relaxing the nontrapping condition as follows: We say that n \ satisfies an EGC (exterior geometric control) condition, if each trapped ray meets the set x  ax > 0 . Their proof proceeds via the established scheme; namely, L2 → L2 estimates for the cut-off resolvents. The present paper isconcerned the exponential decay rate estimate for the energy Et = 21 n \ ux t2 dx, instead of the local one Eloc t =  full (total) 2 ux t dx, as considered in the references mentioned above. For this purpose BR the additional damping term iaxgu is fundamental, since if a = 0 the full energy is conserved, namely, Et = E0 for all t ≥ 0 and no decay is expected. In the first part of the paper, we shall assume that ax ≥ a0 > 0 in , where ⊂  is defined in the following form: Considering  = n \, let R > 0 such that  ⊂ BR = x ∈ n x < R , thus = \BR (see Figure 1). In the second part of the present article, we shall assume (roughly speaking) that ax ≥ a0 > 0 in \, where  ⊂⊂  is an open bounded and connected subset with smooth boundary , such that  is a compact set. The precise assumption is stated in Assumption 5.1 (we hope

Figure 1. The damping term is effective in = n \\BR .

Noncompact Riemannian Manifolds

1793

Downloaded by [186.198.112.233] at 15:08 08 August 2014

Figure 2. The black region inside  possesses measure arbitrarily small while the white one possesses measure arbitrarily large. However, both are totaly distributed.

Figure 3. It is possible to avoid put damping in radially symmetric disjoint regions inside the mesh.

that Figures 2, 3, and 4 will contribute towards better understanding of this fact. In any case this will be clarified during the proof). Our main result reads as follows: Theorem 1.1. Let u be a weak solution to problem (3.16) (respectively (5.70)), with the energy defined as in (3.18) (respectively (5.72)). Then, under Assumption 3.1 and 3.2 (respectively Assumption 3.1, 5.1, and 5.2) there exist positive constants T0 , C0 and 0 such that Et ≤ C0 e−0 t E0 ∀t ≥ T0  provided the initial data are taken in bounded sets of L2 . The main ingredients in the proof of the exponential stability to problem (1.1) are: (A) an unique continuation property for the linear problem (as in Triggiani and Xu [21]); and (B) a local smoothing effect for the linear and nonhomogeneous

Figure 4. When Kg ≤ 0 the region  is free of damping.

Downloaded by [186.198.112.233] at 15:08 08 August 2014

1794

Bortot and Cavalcanti

associated problem (as in Burq, Gerard, and Tzvetkov [9]). In fact, the main goal of the present paper is to prove that conditions (A) and (B)  are sufficient to establish the exponential decay of the total energy Et = 21  ux t2 dx to problem (1.1). This is will be explained during the proof. Whether conditions (A) and (B) are necessary or not seems to remain an open question. It is important to observe that in order to employ the unique continuation property considered in [21], it is essential the existence of a strictly convex function satisfying some properties and the construction of such function can be found in Cavalcanti et al. (see [12]). Regarding condition (B) it is worth mentioning that que once trapped geodesics breaks the smoothing effect or, in other words, in view of the necessity of the nontrapping condition for the plain smoothing effect (see Doi [14] or Burq [7]), it is crucial to consider “nontrapping” n-dimensional Riemannian manifolds in the present context. At this moment, it is important to mention the work [2] where the authors prove that the geometric control condition is not necessary to obtain the smoothing effect and the uniform stabilization for the strongly dissipative Schrödinger equation posed in a bounded domain of n , which is not the case of the present manuscript. Finally, we would like to mention other papers in connection to the stabilization of Schrödinger equation subject to locally distributed damping posed in unbounded domains, as, for instance, [3], [10], [11] and references therein and we would like to mention that the present paper is an extension of previous results due to Bortot et al. [6] from the compact setting to the noncompact one.

2. Preliminaries: Geometric Riemannian Tools Let n  g be a n-dimensional complete Riemannian manifold, n ≥ 2 orientable, simply connected and without boundary, induced by the Riemannian metric g· · = · ·, of class C  . We shall denote by gij n×n the matrix n × n in connection with the metric g. The tangent space at  in p ∈  will be denoted by Tp  ≡  n . Let f ∈ C 2 , and let us define the Laplace-Beltrami operator of f , as f = divf

(2.2)

where f denotes the gradient of f in the metric g, that is, for all vector field X in  f X = Xf

(2.3)

and div denotes the divergent operator, namely, if X is a vector field in , divXp = trace of the linear map Yp → Y Xp, p ∈ . From the definitions and notations above we have the following lemma: Lemma 2.1. Let p ∈ . Let us consider f ∈ C 1  and H a vector field in . Then, the following identity hold (see [17] p. 21): 1 f Hf = Hf f + divf 2 H − f 2 divH 2 where H is the differential covariant derivative defined by HX Y = X H Y .

Noncompact Riemannian Manifolds

1795

Finally we shall define the Hessian of f ∈ C 2  as the symmetric tensor of order two in , namely, HessfX Y =  2 fX Y = fX Y = Y f X

(2.4)

for all X and Y vector fields in . Remark 1. In order to simplify the notation, we denote the L2 -norm, without distinguishing whether the argument of the norm is a function or tensor field of type 0 m.

Downloaded by [186.198.112.233] at 15:08 08 August 2014

Let k ∈  e p ≥ 1. We define the space Ckp  as    p  j p Ck  = u ∈ C   u d <  ∀j = 0 1     k  

(2.5)

where  j u denotes the j th differential covariant derivative of u  0 u = u  1 u = u). Thus, we define the Sobolev space Hkp  as the closure of Ckp  with respect to the topology u pH p  = k

k   j=0 

 j up d

(2.6)

From the above, we deduce: i) L2  = H02  is the closure of C02  with respect to the tolopogy  u 2L2 M = u2 d

(2.7)

ii) H 1  = H12  is the closure of C12  with respect to the topology   u 2H 1  = u2 d + u2 d

(2.8)

iii) H 2  = H22  is the closure of C22  with respect to the topology    u 2H 2  =  2 u2 d + u2 d + u2 d

(2.9)













Remark 2. From the above definitions we have the following chain of continuous embedding H 2  → H 1  → L2 

(2.10)

Furthermore, by Hebey ([16], Theorem 2.7, p. 13), it follows that H01  = H 1 

H 1 , where H01  =  , in other words, the space of infinitely differentiable functions with compact support is dense in H 1 . So, from the above and making use of density arguments we can extend the formulas presented previously to Sobolev spaces. In the sequel, we shall announce three theorems that will play an important role in the present work (see [20]).

1796

Bortot and Cavalcanti

Theorem 2.1 (Gauss Divergent Theorem). Let n a Riemannian manifold, orientable, with smooth boundary , X ∈ H 1 n a vector filed and  the normal unitary vector field point towards , thus  

divX d =

 

X  d

(2.11)

Theorem 2.2 (Green Theorem 1). Let n a Riemannian orientable manifold, with smooth boundary , X ∈ H 1 n a vector field, q ∈ H 1  and  the normal unitary vector field point towards , then 

Downloaded by [186.198.112.233] at 15:08 08 August 2014



divXq d = −

 

X q d +

 X q d

(2.12)



Theorem 2.3 (Green Theorem 2). Let n a orientable Riemannian Manifold, with smooth boundary , f ∈ H 2 , q ∈ H 1  and  the normal unitary vector field point towards , then  

fq d = −

 

f q d +

 

 fq d

(2.13)

Remark 3. Let  g be a Riemannian manifold and u   →  a smooth function. Then, we have Re u   →  and Im u   →  consequently we can talk about Re u and Im u defined intrinsically as in (2.3). Let X be a complex vector field over , that is, X = Y + iZ, where Y e Z are real vector fields. We shall denote by u X = Re u Y g − Im u Zg + iRe u Zg + Im u Y g  Consequently, u  u¯  = Re u Re ug + Im u Im ug = u2 2.1. Preliminaries: Partial Differential Equations Let X be a real Banach space and X  its topological dual. For all x ∈ X, we associate the set Fx = f ∈ X  f xX X = x 2 = f 2  and we define   s  X × X →  by x ys = sup f yX X f ∈ Fx  Remark 4. If X = H, where H is a Hilbert space, it results from Riesz representation theorem that Fx is an unitary set and from the identification H ≡ H  we deduce that   s =   H .

Noncompact Riemannian Manifolds

1797

2.2. Homogeneous Equation Let us consider the following problem:  ut t = Tut + But t ∈ 0  u0 = u0 

(2.14)

posed in a Banach space X.

Downloaded by [186.198.112.233] at 15:08 08 August 2014

Definition 2.1. A map u  0  → X is called a regular solution to problem (2.14) if u is continuous in 0 , Lipschitz continuous in every compact set contained in 0 , u0 = u0 , u is differentiable almost everywhere in 0 , ut ∈ DT + B a. e. in 0  and satisfies ut t = Tut + But a. e. 0 . Definition 2.2. The map u  0  → X is called a generalized solution to problem (2.14) if u is continuous in 0 , u0 = u0 and satisfies the following inequality for each T > 0  t ut − v 2X ≤ us − v 2X + 2 Tv + Bu  u  − vs d  (2.15) s

∀v ∈ DT e 0 ≤ s ≤ t ≤ T .

3. Schrödinger Equation in Exterior Domains In what follows we shall omit some variables in order to make easier the notation, and we will denote the Laplace operator by  . We shall study following damped problem:   iut + u + iaxgu = 0 in  × 0  (3.16) ux t = 0 in  × 0    u0 = u0 in  where  is an exterior domain of n , that is,  = n \ where  is an compact and connected subset of n with smooth boundary. In addition, we suppose that  is nontrapping, namely, any light ray reflecting on the boundary of  according to the laws of the geometric optics leaves any compact set in finite time. We observe that  = , thus  is smooth. Find in Figure 5 a counter example, where  is a trapping obstacle. Assumption 3.1. Hypotheses on the function g   →   (i) (ii) (iii) (iv)

gz is continuous, g0 = 0; Re gz − gw¯z − w ¯ ≥ 0, ∀ z w ∈ ; Im gz¯z = 0, ∀ z ∈ ; There exist positive constants c1 and c2 , such that c1 z2 ≤ gs¯z ≤ c2 z2 , ∀z ∈ .

1798

Bortot and Cavalcanti

Figure 5. Example of a subset  such that its boundary does not satisfy the nontrapping condition.

Downloaded by [186.198.112.233] at 15:08 08 August 2014

We observe that taking (ii) and (iii) into account, we deduce that gz¯z = gz¯z. Remark 5. Find in the Appendix of this manuscript some examples of functions g satisfying Assumption 3.1. Assumption 3.2. Hypotheses on the function a   →   i) ax ∈ L  is nonnegative function; ii) ax ≥ a0 > 0 em , where ⊂  is defined as follows: Let R > 0 such that  ⊂ BR = x ∈ n x < R , then = \BR , according to Figure 1. It is important to observe that we shall work with complex-valued functions, so that, in order that the spaces L2 , as well as, H m , m ∈ , become real Hilbert spaces, we define w vL2  = Re

 w¯vdx 

Finally, we shall denote by H01  the Hilbert space H01  = w ∈ H 1  w = 0  3.1. Existence and Uniqueness of Solutions: Exterior Domains Problem (3.16) can be rewritten as   ut − iu + axgu = 0 in  × 0  ux t = 0 in  × 0    u0 = u0 in 

(3.17)

The energy associated with problem (3.16) is defined by: Et =

1 ux t2 dx 2 

(3.18)

Noncompact Riemannian Manifolds

1799

We define the operators A  DA ⊂ L2  −→ L2  u −→ Au = −iu and, B  DB ⊂ L2  −→ L2 

Downloaded by [186.198.112.233] at 15:08 08 August 2014

u −→ Bu = agu Thus, DA = H01  ∩ H 2  and DB = L2 . Our next purpose is to prove that A + B is a maximal monotone operator. Initially, we note that it is not difficult to verify that A is maximal monotone. In the sequel we shall prove some properties associated with the operator B. • B takes bounded sets in bounded sets. Indeed, let u ∈ L2  such that u 2L2  ≤ R. Thus, accordingly to the Assumption (3.1) iv we infer  Bu 2L2  ≤ a 2L  gux2 dx   2 2 ≤ a L  c2 ux2 dx ≤ R a 2L  c22  

• B is monotone. Indeed, let u1  u2 ∈ L2 . Then, from Assumption 3.1 ii we obtain  Bu1 − Bu2  u1 − u2 L2  = ax Re gu1  − gu2 u1 − u2  dx ≥ 0 

• B is hemicontinuous. In fact, we have to prove that given an arbitrary sequence tn  ⊂  such that tn → 0 then lim Bu + tn v wL2  = Bu wL2   ∀ u v w ∈ L2 

n→

¯ Thus, For this purpose we define fn = agu + tn vw. fn x = axgux + tn vxwx ≤ c2 axux + tn vxwx ≤ c2 a L  uxwx + c2 c3 a L  vxwx almost everywhere in , where c3 is such that tn  ≤ c3  Since u v w ∈ L2 , it results that fn ∈ L1 , for all n ∈ . Furthermore, if h is the function defined by hx = c2 a L  uxwx + c2 c3 a L  vxwx it follows that h ∈ L1  and fn x ≤ hx almost everywhere in .

1800

Bortot and Cavalcanti

We observe that, from the continuity of g, we deduce ¯ = axguxwx ¯ lim axgux + tn vxwx

n→

Thus, from Lebesgue dominated convergence theorem we conclude that  axgux + tn vxwx ¯ − axguxwxdx ¯ → 0 

Then,  ¯ − axguxwxdx ¯ → 0 axgux + tn vxwx

Downloaded by [186.198.112.233] at 15:08 08 August 2014



and, consequently,   ¯ → Re axguxwxdx ¯ Re axgux + tn vxwxdx 



that is, lim Bu + tn v wL2  = Bu wL2  

n→

From the above we proved that A is maximal monotone, B is monotone, hemicontinuous and take bounded sets in bounded set. Thus, from Barbu ([4], Corol. 1.1, p. 39) we deduce that A + B  DA + B ⊂ L2  → L2  is maximal monotone. Consequently, for each u0 ∈ DA + B = DA = H01  ∩ H 2  there exists, taking Brézis ([5], Theorem 3.1, p. 54) into account, a unique function u  0  → L2  which is the regular solution to problem (3.16). In addition, for all u0 ∈ DA = L2  there exists, considering Barbu ([4], Theorem 3.1, p. 152), a unique map u  0  → L2  such that is the unique weak solution to problem (3.16).

4. Stability Result: Exterior Domains Before presenting the proof of the stability result, let us consider an important identity, namely, the identity of the energy. Let u be a regular solution to problem (3.16). Multiplying the equation given in (5.71) by u¯ and integrating by parts, we deduce:  t2  axgux tux tdxdt (4.19) Et2  − Et1  = − t1



for all t2 > t1 ≥ 0, which remains valid for weak solutions by standard density arguments. Our main task is to prove the following inequality:  0

T

Etdt ≤ C



T

 axgu¯udxdt

0



where C is a positive constant. It is sufficient to work with regular solutions to problem (3.16), since the above exponential decay rate estimate of the energy Et

Noncompact Riemannian Manifolds

1801

remains valid for weak solutions by using arguments of density. So, let u a regular solution to problem (3.16). We observe that 

T

2 0



Etdt =

T 0





T

0





T

  

0

\

\

\

ux t2 dxdt +



T



0

ux t2 dxdt





ux t2 dxdt + a−1 0

T 0

−1 ux t2 dxdt + a−1 0 c1

 

axux t2 dxdt

T

 axgu¯udxdt

0

(4.20)



Downloaded by [186.198.112.233] at 15:08 08 August 2014

T  Thus, it remains to estimate 0 \ ux t2 dxdt in terms of the “damping term.” For this purpose, we consider the following lemma: Lemma 4.1. Let u be a regular solution to problem (3.16), with u0 L2  ≤ L L > 0. Then, for all T > 0, there exists a constant C = CT > 0, such that  0

T

 \

ux t2 dxdt ≤ C



T

 axgu¯udxdt

0

(4.21)



Proof. We argue by contradiction. For simplicity we shall denote u = ut as well as  = \ . Assume that (4.21) does not hold. Then, there exists a sequence of initial data

u0k k∈ ⊂ DA, such that the corresponding regular solutions, uk k∈ , of problem (3.16), with Ek 0 =

1 0 2 u 2 ≤ L 2 k L 

for all k ∈ , verify T 0

uk t 2L2    dt



axguk ¯uk dxdt

lim  T 

k→

0

= +

(4.22)

that is, T  lim

k→

0

 T 0

axguk ¯uk dxdt uk t 2L2    dt

= 0

(4.23)

We know, according to (4.19), that the energy is a non increasing function on the parameter t, thus Ek t ≤ Ek 0 ≤ L. Consequently, we obtain uk L 0T L2  ≤

√ 2L

(4.24)

for all k ∈ . Then, there exists a subsequence of uk , still denoted by the same notation, and u ∈ L 0 T L2  such that 

uk  u weak star in L 0 T L2 

(4.25)

1802

Bortot and Cavalcanti

Since uk  is bounded in L 0 T L2  → L2 0 T L2 , uk t L2    ≤ uk t L2  , for almost everywhere t ∈ 0 T and taking (4.23) into account, we infer 

T

0

 

axguk ¯uk dxdt =

uk 2L2 0T L2     uk 2L2 0T L2   

T



0



axguk ¯uk dxdt → 0

(4.26)

when k → . Then, from (4.26), assumption (3.1) and assumption (3.2), we conclude that  T  T  T uk 2 dxdt ≤ a−1 axuk 2 dxdt ≤ a−1 axuk 2 dxdt 0 0 0



0

Downloaded by [186.198.112.233] at 15:08 08 August 2014

−1 ≤ a−1 0 c1





T 0

0

 



axguk ¯uk dxdt −→ 0

(4.27)

Consequently, taking (4.25) and (4.27) into account, we infer, for almost everywhere t ∈ 0 T,  ut in   (4.28) ut = 0 in  At this point we shall divide our proof into two cases, namely: u = 0 and u = 0. (i) u = 0 Let us consider the sequence of problems    uk − iuk + axguk  = 0 in  × 0  in  × 0  uk x t = 0   0 uk 0 = uk in 

(4.29)

We observe that from (4.26) and considering the assumptions (3.1) and (3.2) we can write  T axguk 2 dxdt aguk  2L2 0T L2  ≤ a L  0

≤ a L  c22





T 0

≤ a L  c22 c1−1





 T 0

axuk 2 dxdt  

axguk ¯uk dxdt −→ 0

that is, aguk  −→ 0 strongly in L2 0 T L2 

(4.30)

Our objective is to pass to the limit in (4.29). Initially, we recall the following embedded chain: L2 0 T H01  → L2 0 T L2  ≡ L2 Q → L2 0 T H −1  →  Q (4.31)

Noncompact Riemannian Manifolds

1803

where Q =  × 0 T. From (4.25) we have, uk  u weakly in L2 0 T L2 

(4.32)

Let us consider  ∈ 0 T and    →  tal que  ∈ . Multiplying the first equation of (4.29) by  and integrating over Q, we arrive at  0

T

 

uk x ttx − iuk x ttx + axguk x ttxdxdt = 0 (4.33)

Integrating by parts and taking the real part it follows that

Downloaded by [186.198.112.233] at 15:08 08 August 2014

− Re



T

0

 



+ Re

T

0

uk x t txdxdt − Re

 

 0

T

 

iuk x ttxdxdt

axguk x ttxdxdt = 0

(4.34)

Taking k →  in (4.34) and taking (4.30) and (4.32) into account, we conclude that −



T

0

ut   tL2  dt −



T 0

iut  tL2  dt = 0

(4.35)

From the density of    ∈ D0 T and  ∈  in Q it results that  T  T − ut  tL2  dt − iut tL2  dt = 0 (4.36) 0

0

for all  ∈ Q namely, u − iu = 0 in  Q

(4.37)

where u ∈ L 0 T L2  and, from (4.28), ux t = 0 ae em × 0 T

(4.38)

Let us consider, now, the ball centered at the origin and radius 2R, B2R , and let us define  = \B2R ⊂  keeping in mind that = \BR and  = \ . Thus, from (4.37) and (4.38) we deduce  u − iu = 0 in   × 0 T (4.39) ux t = 0 in \   × 0 T Employing Holmgren’s uniqueness theorem, we conclude that u = 0 a.e. in  × 0 T, and, consequently, u = 0 a.e. in  × 0 T which is a contradiction. (ii) u = 0 Denoting ck = uk L2 0T L2    and vk =

uk  ck

(4.40)

1804

Bortot and Cavalcanti

we deduce vk L2 0T L2    = 1

(4.41)

Dividing (4.29) by ck we obtain   axguk   vk − ivk + ck = 0 in  × 0  on  × 0  vk x t = 0   u0k 0 vk 0 = vk = c in 

(4.42)

Downloaded by [186.198.112.233] at 15:08 08 August 2014

k

We observe that T T ck2 vk 2L2 0T L2    uk 2L2    dt uk 2L2    dt ck2 0 0 = 2 T  = T  T  ck 0  axguk ¯uk dxdt axguk ¯uk dxdt axguk ¯uk dxdt   0 0 vk 2L2 0T L2    vk 2L2 0T L2    = T  ≤ c   1 T  axguk  uc¯ 2k dxdt axvk 2 dxdt   0 0

(4.43)

k

Thus, taking (4.22) and (4.43) into account, we have vk 2L2 0T L2    = + lim  T  k→ axvk 2 dxdt  0

(4.44)

and since vk 2L2 0T L2    = 1, it results that 



T

lim

k→ 0



axvk 2 dxdt = 0

(4.45)

From the fact that ax ≥ a0 > 0 em , we conclude that 

T



0



vk 2 dxdt ≤ a−1 0 ≤ a−1 0

 

T 0



T 0

 



axvk 2 dxdt axvk 2 dxdt −→ 0

that is, vk −→ 0 strongly in L2 0 T L2  

(4.46)

On the other hand, taking (4.20) into consideration, we infer  2 0

T

Ek tdt ≤

 0

T

 

−1 uk 2 dxdt + a−1 0 c1



T 0

 

axguk ¯uk dxdt

(4.47)

and since Ek T ≤ Ek t for all T ≥ t ≥ 0, it follows that 2TEk T ≤ 2

 0

T

Ek tdt ≤

 0

T

 

−1 uk 2 dxdt + a−1 0 c1



T 0

 

axguk ¯uk dxdt

Noncompact Riemannian Manifolds

1805

Consequently, Ek T ≤ C



T

 

0



uk  dxdt + 2

T



0



axguk ¯uk dxdt 

(4.48)

Making use of the identity of the energy established in (4.19), we arrive at Ek T − Ek 0 = −



T

0

 

axguk ¯uk dxdt

so that,

Downloaded by [186.198.112.233] at 15:08 08 August 2014

Ek 0 =



T



0



axguk ¯uk dxdt + Ek T

Then, from (4.48) and (4.49) we conclude that  T 

 T C uk 2 dxdt + axguk ¯uk dxdt  Ek 0 ≤  0



0

(4.49)

(4.50)



Dividing (4.50) by ck2 and having in mind that the energy is a nonincreasing function on the parameter t, we have, for all t ≥ 0, that  T   Ek t Ek 0  0  axguk ¯uk dxdt ≤ ≤C +1  (4.51) ck2 ck2 ck2 and from (4.23) and (4.51) we guarantee the existence of a constante M > 0 such that vk0 2L2  =

u0k 2L  ck2

=

2Ek 0 ≤ M ck2

(4.52)

for all k ∈ , and, therefore,

vk0 is bounded in L2 

(4.53)

Since vk is a regular solution to problem (4.42), we have that vk satisfies the integral equation vk t = Stvk0 −



t 0

St − s

a guk sds ck

(4.54)

where St is the semigroup generated by −i. Employing the local smoothing effect due to Burq, Gérard and Tzvetkov (see [9], Prop. 2.7, p. 302), we deduce, for all T > 0, and for all  ∈ C0 n , that 2 wk L2 0T H 1  ≤ C1 fk L2 0T L2   where wk t =

 0

t

St − sfk sds and fk s =

a guk s ck

(4.55)

1806

Bortot and Cavalcanti

In addition, Stvk0

1

L2 0T HD2 

≤ C2 vk0 L2  

1

(4.56)

n where HD2  is the domain of the operator  + I 4 . Considering  ∈  0   such n that  = 1 in  and 0 ≤  ≤ 1 in  , we obtain, taking (4.55) and (4.56) into account, that 1

2 wk L2 0T H 1    ≤ 2 wk L2 0T H 1  ≤ C1 fk L2 0T L2  ≤ C3 

(4.57)

since, from (4.23), is valid that

Downloaded by [186.198.112.233] at 15:08 08 August 2014



T

0

 axgu 2  T  axgu 2 k k dxdt ≤ a dxdt  L  ck2 ck2 0    T  axu 2 k ≤ a L  c22 dxdt ck2 0  T  axguk ¯uk dxdt 2 −1 0 −→ 0 ≤ a L  c2 c1 T  uk 2 dxdt  0

that is, aguk  −→ 0 strongly in L2 0 T L2  ck and since  = 1 in  we deduce that wk L2 0T H 1    ≤ C3  1

Furthermore, H 1    → H 2   , then wk

1

L2 0T H 2   

≤ C4 

(4.58)

Finally, using the properties of , considering the inequality (4.56) as well as (4.53), we conclude that Stvk0

1

L2 0T H 2   

≤ C5 

(4.59)

Then, from (4.54), (4.58), and (4.59), we deduce 1

vk is bounded in L2 0 T H 2   

(4.60)

In what follows, we shall estimate the term vk . Since Ek t ≤ Ek 0 for all t ≥ 0, we have that vk t DA =

uk t DA ck

≤ C6

uk t L2  ck

≤ C6

uk 0 L2  ck



Noncompact Riemannian Manifolds

1807

where C6 is a positive constant which does not depend on k. From the above inequality and taking (4.52) into account we deduce that

vk is bounded in L 0 T DA  and since DA = H01  ∩ H 2  and w  w  ≥ sup = w H01   ∩H 2       1 ∈DA ∈H0   ∩H 2   

w DA = sup we infer

vk is bounded in L 0 T H01    ∩ H 2    

Downloaded by [186.198.112.233] at 15:08 08 August 2014

Therefore, from (4.42), it results that

vk is bounded in L2 0 T H01    ∩ H 2     once



aguk  ck

(4.61)

 is bounded in L2 0 T L2   

Now, making use of the embedded chain c

1

H 2    → L2    → H01    ∩ H 2     it follows from the boundness (4.60) and (4.61) and employing Aubin-Lions theorem, that there exists a subsequence of vk , still denote by the same form such that, vk −→ v˜ strongly in L2 0 T L2   

(4.62)

Again, considering the fact that the energy is a nonincreasing function on the parameter t from (4.51), it results that there exists v ∈ L 0 T L2  such that 

vk  v weak star in L 0 T L2 

(4.63)

and from (4.46) and (4.62) we deduce that  vt =

v˜ t in  = \  0 in 

(4.64)

Thus, taking k →  in (4.42) we conclude that 

v − iv = 0 in   × 0 T vx t = 0 in × 0 T

(4.65)

where v ∈ L 0 T L2 . Applying the same arguments used in case i, jointly with Holgren’s uniqueness theorem we conclude that v = 0 a. e. in  × 0 T, which

1808

Bortot and Cavalcanti

is a contradiction, since from (4.41) vk L2 0T L2    = 1 and from (4.62) vk −→ 0 in L2 0 T L2    

which concludes the proof of the lemma.

We observe that taking (4.20) into account and considering Lemma (4.1), we obtain the desired inequality, namely,  T  T Etdt ≤ C axgu¯udxdt 0

0



Downloaded by [186.198.112.233] at 15:08 08 August 2014

where C is a positive constant. Proof of Theorem 1.1: Exterior Domains. Let u be a regular solution to problem (3.16). According to Lemma (4.1), from the inequality (4.20) and considering the assumption (3.1) we have that, for all T > 0, there exists C = CT > 0 such that  T  T Etdt ≤ C axgu¯udxdt 0

0

≤ C



T



0



axu2 dxdt

(4.66)



Since the energy is a nonincreasing function on the parameter t, we obtain, for all T ≥ T0 , T0 > 0, and t ∈ 0 T0  that  T0 Etdt ET ≤ ET0  ≤ Et ⇒ T0 ET ≤ 0

On the other hand, from (4.66), we can write  T0  T0  Etdt ≤ CT0  axu2 dxdt T0 ET ≤ 0

≤ CT0 



T

0



0



axu2 dxdt



thus, ET ≤ C



T



0

axu2 dxdt

(4.67)



for all T ≥ T0 , where C is a constant such that C = CT0  > 0. Employing the identity of the energy and taking the assumption (3.1) into account, we infer E0 = ET +

 0

T

 

axgu¯udxdt ≥ ET + c1



T 0



axu2 dxdt



that is, ET − E0 ≤ −c1



T 0

 

axu2 dxdt

(4.68)

Noncompact Riemannian Manifolds

1809

From (4.67) it results that −ET ≥ −C



T



0

axu2 dxdt

(4.69)



and, consequently, multiplying (4.68) by C and taking (4.69) into consideration we conclude, for all T ≥ T0 , that  CET − E0 ≤ c1 −C



T





0

axu dxdt ≤ −c1 ET 2



namely,

Downloaded by [186.198.112.233] at 15:08 08 August 2014

ET ≤

1 C E0 E0 = C + c1 1+ C

where  C = cC > 0. 1 Repeating the procedure for nT , n ∈ , we deduce EnT ≤

1 1 +  Cn

E0

for all T ≥ T0 . Let us consider, now, t ≥ T0 , then t = nT0 + r 0 ≤ r < T0 . Thus, Et ≤ Et − r = EnT0  ≤ r

Setting C0 = e T0

ln1+ C

and 0 =

1 1 +  Cn

ln1+ C T0

E0 =

1 t−r E0 1 +  C T0

> 0 we obtain

Et ≤ C0 e−0 t E0 ∀t ≥ T0  which proves the exponential decay for regular solutions to problem (3.16). From standard arguments of density the exponential decay holds for weak solutions as well.

5. Schrödinger Equation on Noncompact Manifolds In what follows we shall omit some variables in order to make easier the notation and we will denote the Laplace-Beltrami operator by  . We shall study following damped problem:  iut + u + iaxgu = 0 in  × 0  (5.70) in  u0 = u0 where n  g a noncompact, nontrapping n-dimensional Rimannian manifold, n ≥ 2, simply connected, orientable and without boundary endowed by a Riemannian metric g· · = · ·. In addition, assume that g is complete of class C  .

Downloaded by [186.198.112.233] at 15:08 08 August 2014

1810

Bortot and Cavalcanti

Figure 6. A trapped geodesics breaks the local smoothing effect.

A Riemannian manifold  is nontrapping when, roughly speaking, there is no geodesic completely contained in a compact subset of . Remember that trapped geodesics breaks the local smoothing effect (see [9], [14]) which plays an important role in the proof (see Figure 6). The assumptions on the function g   →  are the same announced in Assumption 3.1. Assumption 5.1. Hypotheses on the function a   →   i) ax ∈ L  is nonnegative function; ii) ax ≥ a0 > 0 em \ ∪ ∗ , where  ⊂⊂  is an open, connected, and bounded subset with smooth boundary , and such that  is a compact set. The set ∗ ⊂  is an open set as considered in Cavalcanti et al. [12] (see Section 6, p. 945), namely, ∗ ⊃ \V , where V = ∪ki=1 Vi ⊂  is an open set with boundary V = 1 V ∪ 2 V regular, such that 1 V intercepts  transversally, measV ≥ meas −  and meas2 V ≥  − , for all  > 0. In addition, for each i = 1     k, there exists a strictly convex function fi  Vi → + . It is worth mentioning that also in the present case we shall work with complexvalued functions so that in order that the spaces L2 , s well as, H 1 , become real Hilbert spaces, we shall define w vL2  = Re

 

w¯v d

5.1. Existence and Uniqueness of Solutions: Noncompact Manifolds Problem (5.70) can be rewritten as 

ut − iu + axgu = 0 in  × 0  u0 = u0 in 

(5.71)

Noncompact Riemannian Manifolds The energy associated with problem (5.70) is, again, defined as: 1 Et = ux t2 d 2 

1811

(5.72)

Defining A  DA ⊂ L2  −→ L2  u −→ Au = −iu and, B  DB ⊂ L2  −→ L2 

Downloaded by [186.198.112.233] at 15:08 08 August 2014

u −→ Bu = agu we can show, exactly as considered previously in Section 3.1 that A is maximal monotone and B is monotone, hemicontinuous and take bounded sets in bounded sets. It is important to observe that in this case we have DA = w ∈ H 1  w ∈ L2  . Then, according to Barbu ([4], Corol. 1.1, p. 39) it results that A + B  DA + B ⊂ L2  → L2  is maximal monotone. Consequently, for all initial data u0 ∈ DA + B = DA there exists, considering Brézis ([5], Theorem 3.1, p. 54), an unique function u  0  → L2  which is the regular solution to problem (5.70). In addition, for all initial data u0 ∈ L2  there exists, accordingly to Barbu ([4], Theorem 3.1, p. 152), an unique map u  0  → L2  which is the weak solution to problem (5.70). 5.2. Stability Result: Noncompact Manifolds In order to establish the exponential decay rate desired to problem (5.70), we strongly need two results, namely: 1) A unique continuation principle for the linear and homogeneous Schrödinger equation. 2) A local smoothing effect for the linear and nonhomogeneous Schrödinger equation. The first result can be found in the previous literature in a general setting, see, for instance, Triggiani e Xu ([21]). In fact, this result substitutes the traditional Holgren’s uniqueness theorem. However, the second result, posed in a general setting, will be assumed, that is, we shall impose: Assumption 5.2. Let u0 ∈ L2 , F ∈ L1 0 T L2 , for all T > 0. Then the solution u of problem  iut + u = F in  × 0  (5.73) in  u0 = u0 1

2 belongs to the class u ∈ L2 0 T Hloc . In addition, for all  ∈ C0  ×  such that supp ⊂  × 0 T, one has   1 (5.74) ≤ C u0 L2  + F L1 0T L2   u 2 2

L 0T H 

1812

Bortot and Cavalcanti

Remark 6. • When  = n endowed with the Euclidean topology, Hypothesis 5.2 is no longer necessary, since this result is proved in Counstatin e Saut (see [13], Theorem 3.1, p. 425.). • Furthermore, endowing n with a Riemannian metric g such that the Riemannian manifold n  g is nontrapping, the result assumed in the Hypothesis 5.2 remains valid. This is a direct consequence on the arguments presented in Burq [8], combined with those ones established in Burq, Gérard, and Tzvetkov in [9]. In this direction we would like to thank professor Nicolas Burq for fruitful discussion regarding this issue.

Downloaded by [186.198.112.233] at 15:08 08 August 2014

Before considering the stability result, let us recall the identity of the energy which will play an important role in the proof, namely, Et2  − Et1  = −



t2

t1

 

axgux tux t ddt

(5.75)

for all t2 > t1 ≥ 0. The above identity proved initially for regular solutions remains valid for weak ones for standard density arguments. 5.3. Unique Continuation Principle Let ∗ ⊂  an open, connected and bounded set with regular boundary such that  ⊂⊂ ∗ and ∗ ⊂ ∗ , where  and ∗ are those ones defined according to Assumption 5.1. Assume that problem  ∗  iut + u = 0 in  × 0 T ux t = 0 in ∗ \ ∪ ∗ × 0 T   u0 = u0 ∈ L2 ∗ 

(5.76)

admits a solution u in the class u ∈ L 0 T L2 ∗  T > 0. Our objective is to prove that u = 0 in ∗ × 0 T by exploiting the unique continuation principle due to Triggini and Xu [21]. For this purpose, let us consider the following problem  ∗  ivt + v = 0 in  × 0 T vx t = 0 in ∗ × 0 T   v0 = u0 ∈ L2 ∗ 

(5.77)

Problem (5.77) admits an unique solution v belonging to the class v ∈ C0 T L2 ∗  However, u is also a solution to problem (5.77), thus u = v almost everywhere. Consequently u ∈ C0 T L2 ∗ 

Noncompact Riemannian Manifolds

1813

and therefore, ux 0 = u0 x = 0 almost everywhere in ∗ \ ∪ ∗ , that is, u ∈ C0 T H and u0 ∈ H where H = w ∈ L2 ∗  w = 0 qs in ∗ \ ∪ ∗ . Setting H∗1 ∗  = w ∈ H01 ∗  w = 0 qs in ∗ \ ∪ ∗ and V = H∗1 ∗  ∩ H 2 ∗ , it results that V possesses a continuous and dense embedding in H. Since u0 ∈ H, there exists a sequence u0m ⊂ V such that u0m −→ u0 in H

Downloaded by [186.198.112.233] at 15:08 08 August 2014

For each m ∈  let us consider the problem:   ∗  ium + um = 0 in  × 0 T  in ∗ \ ∪ ∗ × 0 T um x t = 0   0 um 0 = um ∈ V

(5.78)

According to the semigroup theory, for each m ∈ , problem (5.78) admits a unique solutions um in the class um ∈ C0 T V ∩ C 1 0 T H where V = D−i, Consequently

where

we

are

considering

(5.79) −i  D−i ⊂ H → H.

um ∈ H 1 0 T L2 ∗  ∩ L2 0 T H 1 ∗ 

(5.80)

In addition, employing Lummer-Philips theorem, −i is the infinitesimal generator of a contraction semigroup St, and, therefore, um t − un t L2 ∗  = Stu0m − Stu0n L2 ∗  ≤ u0m − u0n L2 ∗   which proves that um is a Cauchy sequence in C0 T H. Thus, there exists w ∈ C0 T H such that um −→ w strongly in C0 T H So, it results w0 = lim um 0 = lim u0m = u0 in H m→

m→

Then, taking m →  in (5.78), we deduce that w is a weak solution to problem  ∗  iwt + w = 0 in  × 0 T wx t = 0 in ∗ \ ∪ ∗ × 0 T   ∈ H w0 = u0

(5.81)

1814

Bortot and Cavalcanti

and, by uniqueness of solution, we conclude that w = u, that is, um −→ u in C0 T H

(5.82)

The next step is to employ the unique continuation principle due to Triggiani and Xu (see [21], Theorem 2.3.1, p. 348), in the sequence of problems (5.78).

Downloaded by [186.198.112.233] at 15:08 08 August 2014

Remark 7. It is important to mention that in [12], the function f is constructed in a compact Riemannian manifold with boundary. In the present paper ∗ is just a compact set of . However, in spite of this, the construction is analogous and consequently it will be omitted. So, we are in a position to employ the unique continuation property above mentioned, since, for all m ∈ , we have um ∈ H 1 0 T L2 ∗  ∩ L2 0 T H 1 ∗  is a solution of (5.78) which satisfies: • um = 0 in ∗ \ ∪ ∗ × 0 T where, as previously mentioned, ∗ is an open subset of  which contains \V and V = ∪ki=1 Vi . • Since \V ⊂ ∗ , for each i = 1     k, there exist open, bounded and connected sets Ai and Ci such that Ai ⊂ Ci ⊂⊂ Vi and um = 0 in Vi \Ai  × 0 T. Thus, um   = 0 in Ci × 0 T for all i = 1     k. • According to the construction of the functions fi  Vi → + given in Cavalcanti et al. [12], for each i = 1     k, fi is strictly convex in Vi , consequently in Ci for all i = 1     k. Then, making use of the unique continuation principle due to Triggiani and Xu (see [21], Theorema 2.3.1, p. 348), it results that um = 0 in Ci × 0 T, for all i = 1     k, that is, um = 0 in Vi , for all i = 1     k, which proves that um = 0 in ∗ × 0 T. Consequently, according to (5.82), u = 0 in ∗ × 0 T where u is the solution of (5.76). From the above we can announce the following theorem: Theorem 5.1. Let  ⊂⊂ ∗ ⊂ , two open, bounded and connected subsets of  with smooth boundaries  ∗ and such that  and ∗ are compact sets. Let u be a solution to problem  ∗  iut + u = 0 in  × 0 T ux t = 0 in ∗ \ × 0 T   ∈ L2 ∗  u0 = u0 belonging to the class u ∈ L 0 T L2 ∗  T > 0. Then u=0 in ∗ × 0 T. Relevant Comments. For each i = 1     k, fi is strictly convex in each component Vi of V so that we have to put damping in a subset inside  with measure arbitrarily small according to the Figure 2.

Noncompact Riemannian Manifolds

1815

Following similar arguments as in [12], we can avoid put damping in radially symmetric disjoint regions as well (see Figure 3): There exist some Riemannian manifolds M g such that they admit a strongly convex function f , namely, there exists a positive constant c such that: HessfX X ≥ c gX X ∀ X ∈ TM

Downloaded by [186.198.112.233] at 15:08 08 August 2014

This happens, in general, when one has sectional curvature Kg non positive. In this case it is well known that (see [15], [24]): (a) M is noncompact. In addition, if inf f > −, then: (b) f has a (unique) minimum point; (c) f is proper; (d) M is diffeomorphic to n . In the above particular manifolds, namely,  g such that Kg ≤ 0 it is possible to void put damping inside the whole  (see Figure 4). 5.4. Controlling the Equation Analogously, our main task is to prove the following inequality: 

T

Etdt ≤ C

0

 0

T

 

axgu¯u ddt

where C is a positive constant, since proceeding analogously as we have done previously we obtain the exponential decay of the energy. It is sufficient to work with regular solutions to problem (5.70) since the decay for weak solutions is recovered by using arguments of density. So, let u be a regular solution to problem (5.70). We observe that, from the hypotheses: Assumption 3.1 and Assumption 5.1, we deduce  T  T  T 2 Etdt = ux t2 ddt + ux t2 ddt 0

0

≤ ≤



0



0





T





\

0



T

ux t2 ddt + a−1 0



T 0

−1 ux t2 ddt + a−1 0 c1





\ T 0

axux t2 ddt





axgu¯u ddt

(5.83)

T  Therefore, it remains to estimate 0  ux t2 ddt in terms of the damping term. For this purpose we shall announce the following lemma whose proof is identical to Lemma 4.1 and consequently it will be omitted. Lemma 5.1. Let u be a regular solution to problema (5.70), with initial data u0 such that u0 L2  ≤ L L > 0. Then, for all T > 0, there exists a constant C = CT > 0, such that  T  T ux t2 ddt ≤ C axgu¯u ddt (5.84) 0



0



1816

Bortot and Cavalcanti

Proof. Is verbatim the same of Lemma 4.1. The main ingredients are the Assumption 5.2 and Theorem 5.1 and the rest of the proof is exactly the same as in Lemma 4.1.  We observe that from (5.83) and applying Lemma (5.1) we have proved the desired inequality: 

T 0

Etdt ≤ C



T

0

 

axgu¯udxdt

where C is a positive constant.

Downloaded by [186.198.112.233] at 15:08 08 August 2014

Proof of Theorem 1.1: Noncompact and nontrapping Manifold. Analogous proof of exterior domains and consequently will be omitted.

to

the

5.5. Nontrapping Riemannian Manifolds This section is devoted to some examples of nontrapping Riemannian manifolds. The second nontrivial example we borrow from the work due to Thorbergsson [22]. 1) The simplest example is the case where  = n endowed with the Euclidean metric, where the geodesics are straight lines. A more refined one is when n is endowed with a metric g such that n  g is nontrapping. 2) Let  be an arbitrary simply connected Riemannian manifold endowed by a complete Riemannian metric g ∗ . We define in  ×  the following metric: X Y  = xy + er g ∗ X ∗  Y ∗  X = x X ∗  Y = y Y ∗  ∈ Trp  ×  The Riemannian metric    is clearly complete. We shall prove that  ×  endowed with the metric    defined above is nontrapping. Indeed, let ct = rt ut be a geodesic in  × . We shall prove that the function rt does not possess maximum, which implies that there are no closed geodesics in  × . Let us assume that there exists t0 maximum of rt. Let U u1      un  a local coordinate system in a neighborhood of ut0  and let gik∗  be the local representation of g ∗ in U . In the local coordinate system  × U Id u1      un  the Riemannian metric    possesses the following form: g00 = 1 gi0 = 0 for i ≥ 1 gik = er gik∗ for i k ≥ 1 The Christoffel symbols of the differential equation associated with rt are 0 = 0 for k ≥ 0 0k

ik0 = −

er ∗ g for i k ≥ 1 2 ik

Noncompact Riemannian Manifolds

1817

The differential equation corresponding to rt is r¨ t +



ij0 u˙ i tu˙ j t = 0

ij≥1

or, still, r¨ t −

er  ∗ i g u˙ tu˙ j t = 0 2 ij≥1 ij

where r˙ = dr . dt Thus, we conclude that

Downloaded by [186.198.112.233] at 15:08 08 August 2014

r¨ t =

er ∗ ˙ ut ˙ g ut 2

˙ 0  = 0. Consequently r¨ t0  > 0, which implies Since r˙ t0  = 0, it results that ut that t0 is not a maximum point of rt, which is a contradiction. This ends the proof.

Appendix We start this section with the useful lemma: Lemma 6.1. With s0 > 0, let   0 s0  → + be a continuous function of a real variable, 0 = lim s ≥ 0 s > 0 for s > 0 such that s → ss is monotone increasing. s↓0

(6.85) Let us define the continuous function gz by gz = zz z ∈  and assume that g0 = 0 so that gs is increasing on 0 s0 . Then gz = zz satisfies the Assumption 3.1(ii) and (iii). Proof. See [18], Lemma 2.3, p. 494.



Remark 8. In the present context we are not taking into account the case such that 0 = +, since we are in a different scenario, namely, we are considering unbounded sets. As a consequence we need that c1 z2 ≤ gzz ≤ c1 z2 , for all z ∈ , instead of z ≥ 1 as considered in [18]. The following examples were borrowed from Lasiecka e Triggiani (see [18]), adapted to the present context: 1) The simplest example is when the dissipative term possesses a linear character, that is, gz = z. We observe that the Assumption 3.1 is trivially satisfied. 2) Let r C > 0. We consider s = sr + Cs with s ∈ 0 1

1818

Bortot and Cavalcanti

Thus, gz = zr z + Cz with z ∈ 0 1 If one considers z ≥ 1, we define gz = C + 1z Employing Lemma 6.1, we guarantee that gz satisfies Assumption 3.1(ii) and (iii). We observe that g is continuous. In addition, if z ∈ 0 1, we deduce, gz ≤ zr+1 + Cz ≤ C + 1z

Downloaded by [186.198.112.233] at 15:08 08 August 2014

and, gz = zr + Cz ≥ Cz For z ≥ 1 the required inequalities in Assumption 3.1(iv) follow immediately. 3) Let C > 0. Let us consider 0 = 0 and 1

s = s2 e− s2 + Cs with s ∈ 0 1 Then g0 = 0 and gz = ze



1 z2

z + Cz with z ∈ 0 1

For z ≥ 1, we define gz = C + 1z Applying Lemma 6.1, we guarantee that gz satisfies Assumption 3.1(ii) and (iii). We note that g is continuous and g0 = 0 Furthermore, if z ∈ 0 1, we infer, gz ≤ z2 e



1 z2

+ Cz ≤ e−1 + Cz

and, gz ≥ z2 e



1 z2

+ Cz ≥ Cz

For z ≥ 1 the inequalities required in Assumption 3.1(iv) follow easily.

Acknowledgments The authors would like to thank Professor Nicolas Burq for fruitful discussions during the preparation of this manuscript and the anonymous referee for careful reading the manuscript and for his(her) comments and suggestions which resulted in the present version of it.

Noncompact Riemannian Manifolds

1819

Funding Research of César Augusto Bortot partially supported by the CNPq Grant 141122/2011-0. Research of Marcelo M. Cavalcanti partially supported by the CNPq Grant 300631/2003-0.

Downloaded by [186.198.112.233] at 15:08 08 August 2014

References [1] Aloui, L., Khenissi, M. (2007). Stabilization of Schrödinger equation in exterior domains. ESAIM Control Optim. Calc. Var. 13:570–579. [2] Aloui, L., Khenissi, M., Vodev, G. (2013). Smoothing effect for the regularized Schrödinger equation with non-controlled orbits. Comm. Partial Differential Equations 38:265–275. [3] Aloui, L. (2002). Stabilisation Neumann pour l’ équation des ondes dans un domaine extérieur. [Neumann stabilization for the wave equation in an exterior domain] J. Math. Pures Appl. 81:1113–1134 (in French). [4] Barbu V. (1976). Nonlinear Semigroups and Differential Equations in Banach Spaces. Bucuresti, Romania: Editura Academiei. [5] Brézis H. (1973). Operateurs Maximaux Monotones et Semigroups de Contractions dans les Spaces de Hilbert [Monotone Operators and Maximum Semigroups of Contractions in Hilbert Spaces]. Amsterdam: North Holland Publishing Co. [6] Bortot, C.A., Cavalcanti, M.M., Corrêa, W.J., Domingos Cavalcanti, V.N. (2013). Uniform decay rate estimates for Schrödinger and plate equations with nonlinear locally distributed damping. J. Differential Equations 254:3729–3764. [7] Burq, N. (2004). Smoothing effect for Schrödinger boundary value problems. Duke Math. J. 123:403–427. [8] Burq, N. (2001). Semi-classical estimates for the resolvent in nontrapping geometries. International Mathematics Research Notices 5:221–241. [9] Burq, N., Gérard, P., Tzvetkov, N. (2004). On nonlinear Schrödinger equations in exterior domains. [Equations de Schrödinger non linéaires dans des domaines extérieurs.] Annales de l’Institut Henri Poincaré. Analyse Non Linéaire 21: 295–318. [10] Cavalcanti, M.M., Domingos Cavalcanti, V.N., Fukuoka, R., Natali, F. (2009). Exponential stability for the 2-D defocusing Schrödinger equation with locally distributed damping. Differential Integral Equations 22:617–636. [11] Cavalcanti, M.M., Domingos Cavalcanti, V.N., Soriano, J.A., Natali, F. (2010). Qualitative aspects for the cubic nonlinear Schrödinger equations with localized damping: Exponential and polynomial stabilization. J. Differential Equations 248:2955–2971. [12] Cavalcanti, M.M., Domingos Cavalcanti, V.N., Fukuoka, R., Soriano, J.A. (2010). Asymptotic stability of the wave equation on compact manifolds and locally distributed damping: A sharp result. Arch. Rational Mech. Anal. 197: 925–964. [13] Counstantin, P., Saut, J.C. (1998). Local smoothing properties of dispersive equation. Journal of the American Mathematical Society 1:413–439. [14] Doi, S.I. (1996). Smoothing effects of Schrödinger evolution groups on Riemannian manifolds. Duke Math. J. 82:679–706. [15] Greene, R.E., Wu, H. (1979). Function Theory on Manifolds which Possess a Pole. Lecture Notes in Mathematics, Vol. 699. Berlin: Springer.

Downloaded by [186.198.112.233] at 15:08 08 August 2014

1820

Bortot and Cavalcanti

[16] Hebey, E. (1996). Sobolev Space on Riemannian Manifolds. Berlin: Springer. [17] Lasiecka, I., Triggiani, R. (1999). Inverse/Observability estimates for secondorder hiperbolic equations with variable coefficients. Journal. Math. Anal. Apl. 235:13–57. [18] Lasiecka, I., Triggiani, R. (2006). Well-posedness and sharp uniform decay rates at the L2 -level of the Schrödinger equation with nonlinear boundary dissipation. Journal. Evol. Eq. 6:485–537. [19] Ralston, J.V. (1969). Solutions of the wave equation with localized energy. Comm. Pure Appl. Math. 22:807–823. [20] Taylor, E.M. (2010). Partial Differential Equations I. Basic Theory. 2nd ed. New York: Springer. [21] Triggiani, R., Xu, X. (2007). Pointwise Calerman estimates, Global uniqueness, observability, and stabilization for de Schrödinger equations on Riemannian manifolds at the H 1 −level. Contemporary Mathematics 426:339–404. [22] Thorbergsson, G. (1978). Closed geodesics on non-compact Riemannian manifolds. Mathematische Zeitschrift 159:249–258. [23] Tsutsumi, Y. (1984). Local energy decay of solutions to the free Schrödinger equation in exterior domains. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 31:97–108. [24] Schoen, R., Yau, S. (2010). Lectures on Differential Geometry. Somerville, MA: International Press.