arxiv: v1 [math-ph] 25 Jul 2008

Transcription

1 BOUND STATES OF TWO-DIMENSIONAL SCHRÖDINGER-NEWTON EQUATIONS arxiv: v1 [math-ph] 5 Jul 008 JOACHIM STUBBE Abstract. We prove an existence and uniqueness result for ground states and for purely angular excitations of two-dimensional Schrödinger-Newton equations. From the minimization problem for ground states we obtain a sharp version of a logarithmic Hardy-Littlewood-Sobolev type inequality. 1. Introduction We consider the Schrödinger-Newton system (1.1 iu t + u γv u = 0, V = u in two space dimensions which is equivalent to the nonlinear Schrödinger equation (1. iu t + u γ π (ln( x u u = 0 with nonlocal nonlinear potential V (x = 1 π (ln x u (x, t = 1 ln( x y u(t, y dy. π We are interested in the existence of nonlinear bound states of the form (1.3 u(t, x = φ ω (xe iωt. The Schrödinger-Newton system (1.1 in three space dimensions has a long standing history. With γ designating appropriate positive coupling constants it appeared first in 1954, then in 1976 and lastly in 1996 for describing the quantum mechanics of a Polaron at rest by S. J. Pekar [1], of an electron trapped in its own hole by Ph. Choquard [] and of selfgravitating matter by R. Penrose [3]. The two-dimensional model is studied numerically in [4]. For the bound state problem there are rigorous results only for the three dimensional model. In [] the existence of a unique ground state of the form (1.3 is shown by solving an appropriate minimization problem. This ground state solution φ ω (x, ω < 0 is a positive spherically symmetric strictly decreasing function. In [5] the existence of infinitely many distinct spherically symmetric solutions is proven and, in [6], a proof for the existence of anisotropic bound states is claimed. So far, there are no results for the two-dimensional model using variational methods. One mathematical difficulty of the two-dimensional problem is that the Coulomb potential in two space dimensions is neither bounded from Date: 06th February Mathematics Subject Classification. 35Q55, 35Q40,47J10. Key words and phrases. Schrödinger-Newton equations, nonlinear Schrödinger equation, rearrangement inequality, logarithmic Hardy-Littelwood-Sobolev inequality. I am are indebted to Marc Vuffray for providing us his numerical studies of the model. I also wish to thank Philippe Choquard for many helpful discussins during the preparation of this paper. 1

2 JOACHIM STUBBE above nor from below and hence does not define a positive definite quadratic form. However, recently in [7] the existence of a unique positive spherically symmetric stationary solution (u, V of (1.1 such that V (0 = 0 has been proven by applying a shooting method to the corresponding system of ordinary differential equations. In the present paper, we are mainly interested in the ground states of the model (1.4 u(t, x = φ ω (xe iωt, φ ω (x > 0. We prove the existence of ground states by solving an appropriate minimization problem for the energy functional E(u. By use of strict rearrangement inequalities we shall prove that there is a unique minimizer (up to translations and a phase factor which is a positive spherically symmetric decreasing function (theorems 3. and theorem 3.3. The existence and uniqueness of solutions of the form (1.4 for given ω,however, depends on the frequency ω. It will turn out that for any ω 0 there is a unique ground state of the form (1.4. In addition, we shall prove there is a positive number ω > 0 independent of the coupling γ such that for any positive ω < ω there are two ground states of the form (1.4 with different L -norm. In the limit case ω = ω there is again a unique ground state (theorem 3.4. We then apply our existence result to obtain a sharp Hardy-Littlewood-Sobolev inequality for the logarithmic kernel (theorem 4.1. Finally, we prove the existence of non radial solutions of the Schrödinger-Newton system (1.1 which in polar coordinates (r, θ are of the form (1.5 ψ(t, r, θ = φ m,ω (re imθ iωt, φ m,ω (r 0 for positive integers m. These are eigenfunctions of the angular momentum operator L = i θ. Again, we prove the existence of such φ m,ω (r by solving an appropriate minimization problem for the corresponding energy functional reduced to functions of the form (1.5 for any given m (theorem 5.1. The minimizers can be interpreted as purely angular excitations and we also prove their uniqueness in this class of functions (theorem 5... Mathematical Framework.1. Functional Setting. The natural function space X for the quasi-stationary problem is given by (.1 X = {u : C : u + u + ln(1 + x u dx < }. The space X is a Hilbert space and by Rellich s criterion (see, e.g. theorem XIII.65 of [8] the embedding X L is compact. We note X r the space of radial functions in X. Formally, the energy E associated to (1. is given by (. E(u = u(x dx + γ 4π = T(u + γ V (u ln( x y u(x u(y dxdy In order to prove that the energy is indeed well defined on X we decompose the potential energy V (u into two parts applying the identity (.3 ln(r = ln( ln(1 + r r

3 BOUND STATES OF TWO-DIMENSIONAL SCHRÖDINGER-NEWTON EQUATIONS 3 for all r > 0. We then define the corresponding functionals V 1 (u = 1 ln(1 + 1 π R x y u(x u(y dxdy (.4 V (u = 1 ln(1 + x y u(x u(y dxdy π Lemma.1. The energy functional E : X R + 0 class C 1. is well defined on X and of Proof. Since 0 ln(1 + 1 r 1 r for any r > 0 we have by the Hardy-Littlewood- Sobolev inequality (see e.g. [9] and Sobolev interpolation estimates (see e.g. [10]that V 1 (u C 1 u 4 8/3 C u u 3 for some constants C 1, C > 0. To bound the second term of the potential energy we note that ln(1 + x y ln(1 + x + y ln(1 + x + ln(1 + y and therefore V (u 1 ln(1 + x u(x u(y dxdy. π The regularity properties of E(u are obvious. Finally, we consider the particle number (or charge defined by (.5 N(u = u(x dx, which is also a well-defined quantity on X... Scaling properties. If φ ω (x is a solution of the stationary equation (.6 φ ω (x + γ ( ln( x y φ ω (y dy φ ω (x = ωφ ω (x, π with finite particle number N ω = N(φ ω then by the virial theorem, (.7 T(φ ω = γ 8π N (φ ω. For any σ > 0, the scaled function φ ω,σ (x = σ γ 1/ φ ω (x/σ solves φ ω,σ (x + 1 ( ln( x y φ ω,σ (y dy φ ω,σ (x π (.8 = σ ( ω + γn ω lnσ φω,σ (x. π γnω ln σω If we choose σ = σ ω such that ω + π = 0, then φ := φ ω,σω is independent of ω, γ and satisfies the Schrödinger equation (.9 φ(x + 1 ( ln( x y φ(y dy φ(x = 0. π Define (.10 Λ 0 := N(φ.

4 4 JOACHIM STUBBE Then the virial theorem (.7 reads (.11 T(φ = Λ 0 8π. From (.9 we get V (φ = T(φ, hence (.1 E(φ = T(φ + 1 V (φ = Λ 0 16π. The scaling of the particle number Λ 0 = σ ω γn ω yields a relation between frequency ω and the particle number N ω which we shall discuss in detail in the following section for ground state solutions. 3. Ground states 3.1. Existence of ground states. We consider the following minimization problem: (3.1 e 0 (λ = inf{e(u, u X, N(u = λ}. We note that the functional u E(u is not convex since the quadratic form f R R x y f(x f(y dxdy is not positive so that standard convex minimization does not apply. We shall prove the following theorem: Theorem 3.1. For any λ > 0 there is a spherically symmetric decreasing u λ X such that e 0 (λ = E(u λ and N(u λ = λ. Proof. Let (u n n be a minimizing sequence for e 0 (λ, that is N(u n = λ and lim E(u n = e 0 (λ. We also may assume that E(u n is uniformly bounded above. n Denoting u the spherically symmetric-decreasing rearrangement of u we have (see e.g. lemma 7.17 in [11] T(u T(u, N(u = N(u. Applying the decomposition V (u = V 1 (u + V (u defined in (.4 we may apply the strict version of Riesz s rearrangement inequality (see e.g. theorem 3.9 in [11] to V 1 (u since ln(1+1/ x is positive and strictly symmetric-decreasing. Therefore V 1 (u V 1 (u with equality only if u(x = u (x x 0 for some x 0. For the second term V (u we apply the following rearrangement inequality: Lemma 3.. Let f, g be two nonnegative functions on R, vanishing at infinity with spherically symmetric-decreasing rearrangement f, g, respectively. Let v be a nonnegative spherically symmetric increasing function. Then (3. f(xv(x yg(y dxdy f (xv(x yg (y dxdy Proof. The proof follows the same lines as in [1], lemma 3., where we proved the corresponding lemma in one space dimension. We give it here for the sake of

5 BOUND STATES OF TWO-DIMENSIONAL SCHRÖDINGER-NEWTON EQUATIONS 5 completeness. If v is bounded, v C, then (C v = C v and by Riesz s rearrangement inequality (lemma 3.6 in [11] we have f(x(c v(x yg(y dxdy f (x(c v(x yg (y dxdy. Since f(x dx g(y dy = f (x dx g (y dy the claim follows. If v is unbounded we define a truncation by v n (x = sup (v(x, n and apply the monotone convergence theorem. By the preceding lemma we have and consequently V (u V (u V (u V (u with equality only if u(x = e iθ u (x x 0 for some θ R and x 0. Therefore we may suppose that u n = u n. We claim that u n X. Indeed, by Newton s theorem (see e.g. theorem 9.7 in [11] we have V (u n = 1 ( u π n(x (ln x u n(y dy dx B x ( π ( u n(x (ln y u n(y dy dx \B x where B x denotes the disc of radius x centered at the origin. Since ln y ln x for all y \ B x we get V (u n λ (ln x u π n(x dx. Using ln x ln(1 + x 1 x and the sharp Sobolev inequality between the linear operators and 1 x 1 (3.4 R x u(x dx u u we finally get Hence V (u n λ R ln(1 + x u n π (x dx λ3/ π u n. E(u n u n + γλ R ln(1 + x u n 4π (x dx γλ3/ π u n proving our claim. We may extract a subsequence which we denote again by (u n n such that u n u weakly in X, strongly in L and a.e. where u X is a nonnegative spherically symmetric decreasing function. Note that u 0 since N(u = λ. We want to show that E(u liminf n E(u n. Since T(u liminf n T(u n

6 6 JOACHIM STUBBE it remains to analyze the functional V (u. Let η(x = u (y dy, B x η n (x = u n(y dy. B x Then η n (x η(x uniformly since η n (x η(x u n u u n + u λ u n u. We note that for any spherically symmetric density u(x with u X we may simplify (3.3 to V (u n = 1 ( u n π (x (ln x u n (y dy dx. B x Therefore, by the definition of η n, η, we have V (u n V (u = 1 (ln x u n π (x ( η n (x η(x dx R ( (ln x η(x ( u n π (x u (x dx As n the first integral in (3.5 will tend to zero. In order to analyze the second integral we again decompose ln x according to (.3. Then 1 ln(1 + x η(x ( u π n(x u (x dx will remain nonnegative since the continuous functional φ R ln(1+ x η(x φ(x dx is positive while 1 ln(1 + 1 π R x η(x( u n(x u (x dx converges to zero since by Hölder s inequality and inequality (3.4 we have the estimate 1 ln(1 + 1 π R x η(x( u n(x u (x dx π η (u n + u 1/ u n + u 1/ (u n u 1/ u n u 1/ C u n u 1/ for a positive constant C. Hence proving the theorem. V (u liminf n V (u n 3.. Uniqueness of ground states. Let u λ denote the solution of the minimization problem (5.3 found in theorem. Theorem 3.3. For any λ > 0 the solution u λ of the minimization problem (5.3 is unique in the following sense: If v λ X is such that e 0 (λ = E(v λ and N(v λ = λ, then v λ {e iθ u (x x 0, θ R, x 0 }.

7 BOUND STATES OF TWO-DIMENSIONAL SCHRÖDINGER-NEWTON EQUATIONS 7 Proof. Since by the strict rearrangement inequality E(u > E(u for all u / {e iθ u (x x 0, θ R, x 0 } established in the proof of theorem 3. it is sufficient to prove uniqueness in the class of spherically symmetric (decreasing nonnegative functions. To do so we consider the Euler-Lagrange equation for u λ. By theorem 3. for any λ > 0 there is a Lagrange multiplier ω such that, at least in a weak sense (3.6 u λ (x + γ ( ln( x y u λ (y dy u λ (x = ωu λ (x. π We define the quantities I λ := 1 ln( y u λ (y dy, E λ := ω γi λ π and the potential W λ (x := 1 ( ln( x y u λ (y dy I λ. π Then W λ (x 0 for all x, W λ (0 = 0 and W λ = u λ. The function u λ is the ground state of the Schrödinger operator + γw λ with eigenvalue E λ and therefore E λ > 0. The rescaled functions γ (3.7 u( x := u λ (x/ E λ, W( x := γ W λ (x/ E λ E λ E λ then u, W satisfy the universal equations (3.8 u = (W 1u, W = u. In [7] it was shown that (3.3 admits a unique spherically symmetric solution (u, W such that u is a positive decreasing function vanishing at infinity. See also theorem 5. of the present paper where we consider a more general system Dependence on parameters and admissible frequencies. We determine explicitly e 0 (λ as a function of λ and the range of admissible frequencies ω for ground states of the form (1.4. We consider the unique spherically symmetric solution (u, W, u > 0 and u vanishing at infinity, of the universal system (3.3. Let (3.9 N := u( x dx, I := 1 ln( x u( x dx. π These quantities are finite since, for any p > 0, u decays faster than exp( px at infinity and in particular u X. The corresponding numerical values are easily computed from the solution of and we give them in the appendix. By the scaling (3.7 we obtain the following identity for the parameters γ, λ and the Lagrange multiplier ω: (3.10 ω = γλ ( N γλ 1 + I ln. N 4π N Multiplying the variational equation (5.4 by u λ and integrating we obtain E(u λ T(u λ = T(u λ + γv (u λ = ωλ. Applying the virial relation (.7 and using (3.10 we finally have ( (3.11 e 0 (λ = γλ 1 + 8π 1 + I 16π N ln( γλ N

8 8 JOACHIM STUBBE with N, I given in (3.9. Note that (3.11 can be also obtained by integrating ω = ω(λ in (3.10 with respect to λ since, at least formally, de 0 (λ = ω. dλ Taking φ in (.9 as the unique ground state solution the relation (3.10 between λ, ω and γ simplifies to (3.1 ω = γλ γλ ln 4π Λ 0 with Λ 0 = N(φ as defined in (.10. The energy is then given by (3.13 e 0 (λ = γλ ( γλ 1 ln. 16π Λ 0 The relations (3.10, respectively (3.1, yield the following result on admissible frequencies: Theorem 3.4. (1 For any ω 0 the Schrödinger-Newton system (1.1 admits a unique spherically ground state of the form (1.4. In particular, for the solution φ of the stationary equation (.9 the energy e 0 (λ attains its maximum. ( For any 0 < ω < ω with ω = N 4πe exp( 4π 1 + I Λ 0 = N 4πe the Schrödinger-Newton system (1.1 admits two spherically ground states of the form (1.4 with different particle numbers. (3 For ω = ω there is a unique ground state solution of the form ( A logarithmic Hardy-Littlewood-Sobolev inequality In [13], E. Carlen and M. Loss proved the following logarithmic Hardy-Littlewood- Sobolev inequality: (4.1 ln( x y f(xf(y dxdy 1 f(xlnf(x dx + C 0 R n R n n R n for all nonnegative real-valued f with f(x dx = 1, f(xln(1 + x dx, f(xlnf(x dx < R n R n R n and sharp constant C 0. We focus on the case n =. Replacing f by u with N(u = λ this reads as (4. πv (u λ Rn u(x ln u(x dx + C 0 λ λ lnλ. Applying the logarithmic Sobolev inequality ( [14], see also [11], theorem 8.14 (4.3 u(x ln u(x dx λln(t(u λ(1 + lnπ to the integral on the r.h.s. of (4. and using C 0 = 1 + lnπ when n = we get V (u λ T(u ln 4π λ. However, this inequality is not sharp. Here we give the sharp version:

9 BOUND STATES OF TWO-DIMENSIONAL SCHRÖDINGER-NEWTON EQUATIONS 9 Theorem 4.1. For any u X the following inequality holds: (4.4 V (u λ 8πT(u ln ( I + 1 4π Nλ N 1 λ 8π where λ = u dx and the constants I and N are given in (3.9. Proof. By theorem 3. we have for any u X with λ = u dx and for any coupling constant γ > 0 the sharp inequality T(u + γ V (u e 0(λ with e 0 (λ given in (3.11. We optimize with respect to γ. The optimal γ is given by 1 γλ ln 4π N = λ V (u + I + 1 N 1 8π which yields the desired inequality. 5. Purely angular excitations In this section we prove the existence of non radial solutions of the Schrödinger- Newton system (1.1 which in polar coordinates (r, θ are of the form ψ(t, r, θ = φ ω (re imθ iωt, φ ω (r 0 for positive integers m. These are eigenfunctions of the angular momentum operator L = i θ. We define the function space X m (s of spherically symmetric functions u : C by R (5.1 X m (s = {u = u( x : r u + m r u + u + ln(1 + r u dx < }. We define the energy functional for purely angular excitations by (5. E m (u = T m (u + γ V (u, T m(u = We consider the minimization problem R r u + m r u dx, (5.3 e m (λ = inf{e m (u, u X m (s, N(u = λ}. The following theorem holds: Theorem 5.1. For any λ > 0 there is a nonnegative u λ X (s m such that e m (λ = E m (u λ and N(u λ = λ. Proof. Consider any minimizing sequence (u n n for e m (λ. Since E m (u is decreasing under the replacement u u we may suppose that u n 0. Now we mimic the proof of theorem 3. starting from Newton s theorem (3.3 replacing the energy E by E m since only the spherical symmetry of the functions are required in this part of the proof. The minimizing u λ satisfies the Euler-Lagrange equation (5.4 u λ 1 r u λ + m r u λ + γ ( ln( x y u λ ( y dy u λ = ωu λ. π

10 10 JOACHIM STUBBE for r 0 and some multiplier ω. By the same rescaling as in the proof of theorem 3.3 we obtain a system of universal equations given by (5.5 u + 1 r u m r u = (W 1u, W + 1 r W = u such that W(0 = W (0 = 0 and u 0. We note that f(r := r m u(r then satisfies f(0 > 0, f (0 = 0 and the differential equation f + m + 1 f = (W 1f r from which we easily deduce f > 0 and f < 0 using the facts f 0 and f 0 as r. Also note that for any p > 0, u decays faster than exp( pr at infinity. Uniqueness of the solution u λ X m (s follows again from the uniqueness of the solutions of the universal system (5.5 which we prove in the following theorem: Theorem 5.. For any m 0 there is a unique solution (u, W of (5.5 such that u > 0 for r > 0 and u 0 as r. Proof. Suppose there are two distinct solutions (u 1, W 1, (u, W having the required properties. We may suppose u (r > u 1 (r for r ]0, r[. We consider the Wronskian w(r = u (ru 1(r u 1 (ru (r. Note that w(0 = 0 and rw(r 0 as r. It satisfies the differential equation (rw = r(w W 1 u 1 u. Suppose u (r > u 1 (r for all r > 0. Then W (r > W 1 (r for all r > 0 since r(w W 1 = r 0 (u u 1 s ds > 0 and hence (rw > 0 for all r > 0 which is impossible. Hence there exists r > 0 such that δ(r = u (r u 1 (r > 0 for r [0, r[, δ( r = 0 and δ ( r < 0. However, then w( r = δ ( ru 1 ( r < 0, but (rw (r > 0 for all r < r, that is w(r > 0 for all r < r which is again impossible. Appendix A. Numerical values Let (u, W be the unique spherically symmetric solution of the universal equations (3.3 such that W(0 = W (0 = 0, u > 0 vanishing at infinity, i.e. (A.1 (ru = r(w 1u, (rw = r u. By integrating the second equation we get (A. N = π 0 u (ss ds = π lim r rw (r. Multiplying the second equation by lnr and using we obtain after integration (A.3 I = Solving (A.1 numerically we then find 0 (rw lnr = (rw lnr W u (ss lns ds = lim r rw (rln r W(r. (A.4 N = π = , I = 0.76

11 BOUND STATES OF TWO-DIMENSIONAL SCHRÖDINGER-NEWTON EQUATIONS 11 and therefore (A.5 Λ 0 = With these numerical values the logarithmic Hardy-Littlewood-Sobolev inequality (4.4 reads as follows: (A.6 V (u λ T(u ln 4π λ λ. References 1. Pekar, S.I., Untersuchungen über die Elektronentheorie der Kristalle, 6, p. 9-34, Akademie Verlag Berlin, Lieb, E.H., Existence and uniqueness of the minimizing solution of Choquard s nonlinear equation, Studies in Applied Mathematics 57, ( Penrose, R., On gravity s role in quantum state reduction, Gen. Rel. Grav. 8, ( Harrison, R., Moroz, I. Tod, K.P., A numerical study of the Schrödinger-Newton equation, Nonlinearity 16, ( Lions, P.L., The Choquard equation and related questions, Nonlinear Analysis T.M.A. 4, ( Lions, P.L., Solutions complexes d équations elliptiques semi-linéaires dans R n, C.R. Acad. Sc. Paris t.30, Série 1,no. 19, ( Choquard, Ph., Stubbe, J., Vuffray, M., Stationary solutions of the Schrödinger-Newton model - An ODE approach, Adv. Diff. Eq. to appear ( Reed, M. and Simon, B., Methods of modern mathematical physics, Vol. IV, Analysis of operators, Academic Press Lieb, E.H., Sharp constants in Hardy-Littlewood-Sobolev and related inequalities, Ann. Math. 118, ( Weinstein, M.I., Nonlinear Schrödinger equations and sharp interpolation estimates, Comm. Math. Phys. 87, ( Lieb, E.H. and Loss, M., Analysis, nd edition, Graduate Studies in Mathematics, vol. 14, AMS Choquard, Ph., Stubbe, J. The one-dimensional Schrödinger-Newton equations, Lett. Math. Phys. 81, ( Carlen, E., Loss, M. Competing symmetries, the logarithmic HLS inequality and Onofri s inequality on S n, Geom. Funct. Anal., ( Weissler, F., Logarithmic Sobolev Inequalities for the Heat-Diffusion Semigroup, Trans. AMS 37, (1978. EPFL, IMB-FSB, Station 8, CH-1015 Lausanne, Switzerland address: Joachim.Stubbe@epfl.ch