arxiv: v1 [math.ap] 6 Mar 2018

Transcription

1 SCHRÖDINGER EQUATIONS ON NORMAL REAL FORM SYMMETRIC SPACES arxiv: v [math.ap] 6 Mar 208 ANESTIS FOTIADIS AND EFFIE PAPAGEORGIOU Abstract. We prove dispersive and Strichartz estimates for Schrödinger equations on normal real form symmetric spaces. These estimates apply to the well-posedness and scattering for the nonlinear Schrödinger equations.. Introduction and statement of the results Let G be a semisimple Lie group, and let K be a maximal compact subgroup of G. Denote by X the symmetric space G/K. It is well known [9] that X is a Riemannian manifold. Denote by the associated Laplace-Beltrami operator. In this short note we shall prove dispersive estimates fot the Schrödinger operator e it, t R, for the class of normal real form symmetric spaces. More precisely, let g be a Lie algebra over C. Then, we can consider g as a vector space g R over R. Further, the multiplication by i on g defines a complex structure J on g R and g R becomes a Lie algebra over R, [9, pp.78-79]. A real form of g is a subalgebra g 0 of the real algebra g R such that g R = g 0 Jg 0. Denote by G 0 the Lie group with Lie algebra g 0. Let also K 0 be a maximal compact subgoup of G 0 and denote by k 0 its Lie algebra and p 0 the complement of k 0 in g 0. A real form g 0 of g is called normal if in each Cartan decomposition g 0 = k 0 p 0, the space p 0 contains a maximal abelian subalgebra of g 0 [9, p.426]. Then the Riemannian nonocompact symmetric space X 0 = G 0 /K 0 is called a normal real form symmetric space. Examples of normal real forms are SL(n, R)/SO(n) and Sp(n, R)/U(n). Further, in the classification [9, pp ], the normal real forms include AI (including the hyperbolic plane), BDI with p q = 0 or (since then g 0 isanormal real form if andonly if p = q, for p+q even and p = q+, for p+q odd) and CI Mathematics Subject Classification. Primary 58J35, Secondary 43A90, 43A5. Key words and phrases. Semisimple Lie groups, Symmetric spaces, normal real form, Schrödinger equations, dispersive estimates, Strichartz estimates.

2 2 ANESTIS FOTIADIS AND EFFIE PAPAGEORGIOU In the present work we assume that the complex Lie group G with Lie alegbra g is semisimple, connected, noncompact, with finite center. Let S 0 t = e it 0, t R, be the Schrödinger operator on X 0, i.e. the heat kernel of imaginary time. The main result of the present paper is the following dispersive estimate. Theorem. Assume that X 0 is a normal real form symmetric space of dimension n and let S 0 t be the corresponding Schrödinger operator. Then the estimates () S 0 t L q (X 0 ) L q (X 0 ) c t n( 2 q ), t <, and (2) S 0 t L q (X 0 ) L q (X 0 ) c t n/2, t, hold true for all q (2, ]. As an application of Theorem, we shall obtain Strichartz estimates for the solution of the following linear Schrödinger equation: { i t u(t,x)+ (3) 0,x u(t,x) = F(t,x), t R, x X 0, u(0,x) = f (x). Consider the triangle {( ) (4) T n =, ( 0, p q 2 ] ( ) } 0, 2 : 2 + n n p q 2 ) We say that the pair (p,q) is admissible if ( p, q {( 0, 2)}. T n. Theorem 2. Assume that X 0 is a normal real form symmetric space. Then, the solutionsu(t,x) of the Cauchyproblem(3) satisfythe Strichartz estimate { (5) u L p c f t Lq x L 2 x + F L p L q t x for all admissible pairs (p,q) and ( p, q) except when 2 < q q 2n n 2 (resp. q(γ) < q q < if n = 2). Let us say a few words for the proof of our resutls. In the case of R n, the first Strichartz estimate was obtained by Strichartz himself [0]. The Schrödinger equation has also been studied in various geometric settings, see for example [2, 3, 6] and the references therein. In paricular, Theorems and 2 are proved on the context of rank one symmetric spaces in [2, 3] and on rank one locally symmetric spaces in [6]. In the context of symmetric spaces, to prove estimates of the kernel of the Schrödinger operator, we use the spherical Fourier transform. We can define the spherical Fourier transform in the general class of },

3 SCHRÖDINGER EQUATION 3 symmetric spaces X = G/K, where G is a semisimple Lie group, connected, noncompact, with finite center. In fact, we need a manipulable expression of the inverse spherical Fourier transform. This is the case when X has rank one or when G is complex. In particular, in the case when G is complex, the spherical Fourier transform boils down to the Euclidean Fourier transform [, p.32], and thus its expression allows us to obtain precise estimates of the kernel s 0 t. To treat the case of normal real forms, we shall follow the idea of Anker and Lohoué in [], where they first prove their results in the complex case and then they transfer them on normal real form symmetric spaces, by using the Flensted-Jensen transform (for details see Section 2). This short note is organized as follows. In Section 2 we present some preliminaries we need for our proof, and in Section 3 we prove our results and present some of their applications in the non-linear Schrödinger equations. 2. Preliminaries In this section we fix some notation and we recall some basic facts about symmetric spaces we need for our proofs. For more details see [, 5, 9]. 2.. Symmetric spaces. Let G be a semisimple Lie group, connected, noncompact, with finite center and let K be a maximal compact subgroupof G. Denoteby g and k the Lie algebras of G and K andlet p be the subspace of g, orthogonal to k with respect to the Killing form. Fix a a maximal abelian subspace of p and denote by a the real dual of a. Choose also a positive Weyl chamber a + a and denote by Σ + a set of positive roots. Denote by ρ the half sum of positive roots counted with their multiplicities. Let A be the analytic subgroup of G with Lie algebra a. Put A + = expa +. We have the Cartan decomposition G = K(A + )K = K(expa + )K. Let k, k 2 and exph be the components of g G in K and exp a respectively, according to the Cartan decomposition. Then the Haar measure on G is given by dx = cδ(h)dk dhdk 2, and the modular function δ(h) satisfies the estimate (6) δ(h) ce 2ρ(H), H a +.

4 4 ANESTIS FOTIADIS AND EFFIE PAPAGEORGIOU Denote by S(K\G/K) the Schwartz space of K-bi-invariant functions on G. The spherical Fourier transform H on G is defined by Hf (λ) = f (x)φ λ (x)dx, λ a, f S(K\G/K), G where Φ λ (x) is the elementary spherical function of index λ on G. In the case when G is complex, the inverse spherical Fourier transform is given by the following formula: (7) H f (exph) = cφ 0 (exph) f (λ)e iλ(h) dλ, H p, p (see [, p.32]) Normal real forms. Let us now assume that g is complex and let g 0 be a normal real form of g. Let G 0 be the Lie group with Lie algebra g 0, K 0 a maximal compact subgoup of G 0 and denote by k 0 its Lie algebra and by p 0 the complement of k 0 in g 0. Set k = k 0 ik 0 and u = k 0 ip 0. Then g = u iu and all the above decompositions are Cartan. We shall denote by U G the Lie group with Lie algebra u. If a 0 is a maximal abelian subspace of p 0, then, in general, a maximal abelian subspace a of iu, is a larger space than a 0. If g 0 is a normal real form, then we can assume that a = a 0. In this case, we have the same root system for (g,a) and (g 0,a 0 ); only their multiplicity is different: 2 in g and in g 0. Hence (8) ρ = 2ρ 0. The real (resp. complex), dual of a will be denoted denoted by a (resp. a C ), and similarly for a 0. Note that the Killing form B 0 on g 0, is just the restriction of the Killing form B of g. Then, the Killing form B of g as a real lie algebra is equal to 2 ReB [5, p.09]. We shall write. 0 for the norm induced by B 0 on a 0, and. for the norm induced by B on p. We have that, (9) H = 2 H 0, H a 0, and (0) λ 0 = 2 λ, λ a 0. Note also that (0) is also valid for λ (a 0 ) C, [5, p.09]. Finally, the modular function δ 0 on G 0 satisfies () δ(h) = δ 0 (H) 2, (see [, pp ], for more details).

5 SCHRÖDINGER EQUATION The Flensted-Jensen integral transform and the reduction to the complex case. The relation between functions on the real semisimple Lie group G 0 and functions on the complex semisimple group G was studied by Flensted-Jensen. In particular, in [5], the following integral transform (2) (MF)(exp2Y) = F(kexpY)dk, F L loc (U\G/U), K is introduced,which transforms a U-bi-invariant function F on G to a function MF that is K 0 -bi-invariant in G 0 [5, p.26]. Then, for the spherical Fourier transform HF, it holds [, p.33], and H(MF)(λ) = HF(2λ), (3) MΦ 0 = cφ 0, where Φ 0 is the elementary spherical function of index 0 on G and φ 0 the elementary spherical function of index 0 on G 0, [, p.333]. 3. Proof of the results For the proof of our results we shall follow an idea of Anker and Lohoué [, p.308], where they first prove the results in the case when G is complex and then they transfer them to the case of normal real form by using the integral transform of Flensted-Jensen [5]. 3.. The Schrödinger kernel. Denote by s 0 t Schrödinger kernel on the symmetric space X 0. Then s 0 t is a K-bi-invariant function and the Schrödinger operator St 0 = eit 0 on X 0 is defined as a convolution operator: (4) Stf(x) 0 = s 0 t(y x)f(y)dy = ( s 0 t f ) (x), f C0 (X 0 ). G If s t is the Schrödinger kernel on X, then by (2) it follows that the Schrödinger kernel s 0 t on the normal real form X 0 satisfies (5) s 0 t(exph) = c s t/2 (kexp(h/2))dk, (see also [4, p.648]). The Schrödinger kernel s t is given by K s t (exph) = ( H w t ) (exph), H a+, where w t (λ) = e it( ρ 2 +λ 2 ), λ p, and H denotes the inverse spherical transform.

6 6 ANESTIS FOTIADIS AND EFFIE PAPAGEORGIOU If G is complex, then Gangolli proved in [7] that the heat kernel h t of X is given by the formula h t (exph) = φ 0 (exph)(4πt) n/2 e t ρ 2 e H 2 /4t. But, s t is just the result of the substitution t it in h t. Thus, the Schrödinger kernel s t has the following explicit formula (6) s t (exph) = Φ 0 (exph)(4πit) n/2 e it ρ 2 e H 2 /4it, H a +, t R. Recalling that for H a +, (7) e ρ(h) Φ 0 (exph) c(+ H ) a e ρ(h), for some constants c, a > 0, [9, p.483], from (6), we obtain the following result. Proposition 3. If G is complex, then the Schrödinger kernel s t on X = G/K satisfies the estimates (8) s t (exph) ct n/2 Φ 0 (exph) for some constants c, a > 0. ct n/2 (+ H ) α e ρ(h), H a +, t R, A consequence of (8) is the following Proposition. Proposition 4. If X 0 is a symmetric space of normal real form, then the Schrödinger kernel s 0 t on X 0 satisfies the estimate (9) s 0 t (exph) ct n/2 (+ H 0 ) α e ρ 0(H), H a +, t R, for some constants c, a > 0. Proof. Recall that the Schrödinger kernel is K-bi-invariant. Thus, from (5) and the fact that the total dk measure of K is normalized to, it follows that s 0 t (exph) = cs t/2(exp(h/2)), H a +, t R. Combining with Proposition 3, (8) and (9), we get that s 0 t(exph) c(t/2) n/2 (+ H/2 ) α e ρ(h/2) = ct n/2 (+ 2 H/2 0 ) α e 2ρ 0(H/2) ct n/2 (+ H 0 ) α e ρ 0(H).

7 SCHRÖDINGER EQUATION Proof of Theorem. For the proof of the large time estimate (2), we shall use the Kunze-Stein phenomenon [8] which asserts that if κ is K -bi-invariant, then κ L 2 (G) L 2 (G) = C κ(g) Φ 0 (g)dg G (20) = C κ(exph) Φ 0 (exph)δ(h)dh. a + Using (20), it is proved in [3, Theorem 4.2] that (2) S 0 t q/2 c s 0 L q (X 0 ) L q (X 0 ) t (exph) a q/2 ϕ0 (exph)δ 0 (H)dH. + But, from () and (8) we have (22) δ 0 (H) e 2ρ 0(H). Also, by (3), (9), and (7) it follows that (23) φ 0 (exph) c(+ H 0 ) α e ρ 0(H). Combining (2), (22), (23) and Proposition 4, we obtain for q > 2, that S 0 t q/2 L q (X 0 ) L q (X 0 c t nq/4 (+ H ) 0 ) α(+(q/2)) e ρ0(h)((q/2) ) dh a + ct nq/4 a + (+ H 0 ) α(+(q/2)) e ρ 0(H)((q/2) ) dh ct nq/4 and the large time (2) estimate follows. For the proof of the small time estimate (), we shall use the elementary estimate (24) e it 0 L (X 0 ) L (X 0 ) = s t L c t n/2, and the L 2 -conservation (25) e it 0 L 2 (X 0 ) L 2 (X 0 ) =. By interpolation from (24) and (25), it follows that for θ (0,), e it 0 L p θ (X 0 ) L q θ (X 0 ) where eit 0 θ L 2 (X 0 ) L 2 (X 0 ) eit 0 θ L (X 0 ) L (X 0 ) c t nθ/2, p θ = +θ 2, q θ = θ 2.

8 8 ANESTIS FOTIADIS AND EFFIE PAPAGEORGIOU Choosing θ = (2/q) we get that e it 0 L q (X 0 ) L q (X 0 ) c t n( 2 q ). As an application of the Strichartz estimates and Theorem, we shall consider the non-linear Schrödinger equation (NLS) { i t u(t,x)+ (26) 0,x u(t,x) = F (u(t,x)),. u(0,x) = f (x). Assume that F has a power-like nonlinearity of order γ, i.e. F(u) c u γ, F(u) F(v) c ( u γ + v γ ) u v. Then, using the previous Strichartz estimates, we can prove wellposedness of (26) and scattering for the NLS for small L 2 data when γ (, + 4 ) (see [2, Theorem 4.2, Theorem 5.]). The proofs are n standard and thus omitted (see for example [3, pp.2-4]). Acknowledgement. The authors would like to thank Professor Michel Marias for his valuable help and support. References [] J.-Ph. Anker, N. Lohoué, Multiplicateurs sur certains espaces symétriques, Amer. J. Math. 08 (986), [2] J.-Ph. Anker, V. Pierfelice, Nonlinear Schrödinger equation on real hyperbolic spaces, Ann. Inst. H. Poincaré (C) Non Linear Analysis 26(2009), [3] J.-Ph. Anker, V. Pierfelice, M. Vallarino, Schrödinger equations on Damek- Ricci spaces, Comm. Part. Diff. Eqs. 36 (20), [4] M. Cowling, G. Gaudry, S. Giulini, G. Mauceri, Weak type (,) estimates for heat kernel maximal functions on Lie groups, Trans. Amer. Math. Soc. 323, (99), [5] M. Flensted-Jensen, Spherical functions on a real semisimple Lie group. A method of reduction to the complex case, J. Funct. Anal. 30 (978), [6] A. Fotiadis, N. Mandouvalos, M. Marias, Schrödinger equations on locally symmetric spaces. Math. Annal /s x. (207) [7] R. Gangolli, Asymptotic behaviour of spectra of compact quotients of certain symmetric spaces, Acta Math. 2 (968), [8] C. Herz, Sur le phénomène de Kunze Stein, C. R. Acad. Sci. Paris, Série A 27 (970), [9] S. Helgason, Groups and geometric analysis, Academic Press, New York, 984. [0] R.S. Strichartz, Restriction of Fourier transform to quadratic surfaces and decay of solutions of wave equations, Duke Math. J. 44 (977), address: fotiadisanestis@math.auth.gr address: papageoe@math.auth.gr Current address: Department of Mathematics, Aristotle University of Thessaloniki, Thessaloniki 54.24, Greece