arxiv: v2 [math.ap] 22 Apr 2013

Transcription

1 GROUDSTATES OF OLIEAR CHOQUARD EQUATIOS: EXISTECE, QUALITATIVE PROPERTIES AD DECAY ASYMPTOTICS VITALY MOROZ AD JEA VA SCHAFTIGE arxiv:05.686v [math.ap] Apr 03 Abstract. We consider a semilinear elliptic problem u + u = I α u p u p u in R, where I α is a Riesz potential and p >. This family of equations includes the Choquard or nonlinear Schrödinger ewton equation. For an optimal range of parameters we prove the existence of a positive groundstate solution of the equation. We also establish regularity and positivity of the groundstates and prove that all positive groundstates are radially symmetric and monotone decaying about some point. Finally, we derive the decay asymptotics at infinity of the groundstates. Contents. Introduction. Existence 5.. Variational characterizations of the groundstate 5.. Tools for the existence 7.3. Proof of the existence 8 3. Pohožaev identity Pohožaev identity Proof of the nonexistence An integral identity 0 4. Regularity 0 5. Positivity and symmetry 5.. Positivity 5.. Symmetry 3 6. Decay asymptotics Asymptotics of the nonlocal term Superlinear case Linear case Sublinear case 0 References Date: April 3, Mathematics Subject Classification. 35J6 Primary 35B09, 35B33, 35B40, 35Q55, 45K05 Secondary. Key words and phrases. Stationary Choquard equation; stationary nonlinear Schrödinger ewton equation; stationary Hartree equation; Riesz potential; nonlocal semilinear elliptic problem; Pohožaev identity; existence; symmetry; decay asymptotics.

2 VITALY MOROZ AD JEA VA SCHAFTIGE. Introduction Given p,, = {,,... } and α 0,, we consider the problem { u + u = Iα u p u p u in R,. ux 0 as x, for u : R R, where I α : R R is the Riesz potential defined by I α x = Γ α Γ α π/ α x α, and Γ is the Gamma function, see [7, p. 9]. If u solves. when α = and 3, the pair u, v = u, I α u p satisfies the system u + u = v u p u in R, v = u p in R, ux 0 as x, vx 0 as x. Equation. is usually called the nonlinear Choquard or Choquard Pekar equation. It has several physical origins. In the physical case = 3, p = and α =, the problem { u + u = I u u in R 3,. ux 0 as x, appeared at least as early as in 954, in a work by S. I. Pekar describing the quantum mechanics of a polaron at rest [6]. In 976 P. Choquard used. to describe an electron trapped in its own hole, in a certain approximation to Hartree Fock theory of one component plasma [6]. In 996 R. Penrose proposed. as a model of self-gravitating matter, in a programme in which quantum state reduction is understood as a gravitational phenomenon [3]. In this context equation of type. is usually called the nonlinear Schrödinger ewton equation. If u solves. then the function ψ defined by ψt, x = e it ux is a solitary wave of the focusing time-dependent Hartree equation iψ t = ψ I α ψ p ψ p ψ in R + R. In this context. is also known as the stationary nonlinear Hartree equation. Problem. has a variational structure: the critical points of the functional E α,p C W, R L p +α R ;R defined for u W, R L p +α R by E α,p u = u + u I α u p u p R p R are weak solutions of.. This functional is well defined by the Hardy Littlewood Sobolev inequality which states that if s, α then for every v Ls R, I α v L s αs R and s.3 I α v αs C v R R s αs, where C > 0 depends only on α, and s. Also note that by the Sobolev embedding, W, R L p +α R if and only if +α p +α. The existence of solutions was proved for p = with variational methods by E. H. Lieb, P.-L. Lions and G. Menzala [6, 7, ] and with ordinary differential equations techniques [9, 3, 8]. We prove the following general existence result.

3 GROUDSTATES OF OLIEAR CHOQUARD EQUATIOS 3 Theorem. Let, α 0, and p,. If +α < p < there exists u W, R such that u + u = I α u p u p u +α, then weakly in R. Moreover, { E α,p u = inf E α,p v : v W, R \ {0} } and v + v = I α v p v p. R R This existence result was mentioned without proof in [0, p. 457]. Here we provide a complete proof of theorem, with an emphasis on the case p < and the condition p > + α which replaces the standard superlinearity condition p > for similar local problems. The existence result of theorem is sharp, in the sense that if p p +α +α or, problem. does not have any sufficiently regular nontrivial variational solution. In particular, when p = and α 4,. has no nontrivial smooth variational solution. Theorem can be extended to a general class of nonhomogeneous nonlinearities [5]. Theorem. Let, α 0, and p,. Assume that u W, R L p +α R and that u W, loc R L p +α loc R. If p +α or p +α and weakly in R, then u = 0. u + u = I α u p u p u The proof of theorem is based on a Pohožaev identity for.. We call groundstate a function that satisfies the conclusions of theorem. When = 3, α = and p =, E. H. Lieb has proved that the groundstate u is radial and unique up to translations [6]. Wei Juncheng and M. Winter have shown that the groundstate is up to translations a nondegenerate critical point [3]. The symmetry and the regularity of solutions have been proved under the assumption.4 p and [, ] p, p α p α+, p α+ [ p +α, respectively by Ma Li and Zhao Lin [0] and by S. Cingolani, M. Clapp and S. Secchi [0]. We prove here the regularity, positivity and radial symmetry of groundstates of Choquard equation. for the optimal range of parameters. Theorem 3. Let, α 0, and p,. Assume that +α < p < +α. If u W, R is a groundstate of u + u = I α u p u p u in R, then u L R C R, u is either positive or negative and there exists x 0 R and a monotone function v C 0, such that for every x R, ux = v x x 0. In order to treat the radial symmetry of the solutions in the case p <, we use a variational argument based on the techniques of polarization [4, 3]. Finally we study the decay asymptotics of the groundstates. It was known that if p >, then ux = O x e x

4 4 VITALY MOROZ AD JEA VA SCHAFTIGE as x and if p, then for every ǫ > 0, ux = Oe ǫ x as x [0, proposition A.; 7, remark ]. We have already studied optimal lower bounds of the asymptotics of distributional supersolutions of Choquard equations in exterior domains [4]. Here we derive the following sharp asymptotics for groundstates. Theorem 4. Let, α 0, and p,. Assume that +α < p < +α. If u W, R is a nonnegative groundstate of then and if p >, if p =, where if p <, ν α = u + u = I α u p u p u in R, I α u p x lim = u p I α x R lim ux x e x 0, ; lim ux x exp x α Γ R Γ α u = π/ α p x lim ux α = ν ν α ds 0,, s α Γ α Γ α π/ α α + 4 E α,u; α Γ Γ α u p. π/ α R In the case where either p > or p = and α <, similarly to the local stationary Schrödinger equation, the linear part dominates the nonlocal term and nonnegative groundstates of Choquard equation have the same asymptotics as the fundamental solution of the Schrödinger operator + on R and thus ux x e x. If p < the decay of the groundstates is polynomial and entirely controlled by the nonlocal term in the equation. A similar polynomial decay has been observed in the limiting integral equation for p = + α [8]. ote that for the nonlinear Schrödinger equation with fractional Laplacian the solutions also decay polynomially [, theorem.3]; in the latter case however the polynomial decay is inherited from the linear operator whereas in our case it comes from the nonlinearity. An interesting feature of the decay asymptotic is that it could be used to show that even though E α,p with p < is nowhere twice Fréchet differentiable, it is twice Gâteaux differentiable at a groundstate u. In particular, the question of nondegeneracy of u makes sense. When p = and α, the effect of the nonlocal term in the Choquard equation becomes strong enough in order to modify the asymptotics of the groundstates. All the three terms in the equation become balanced and each term should be taken into account in order to derive the asymptotics of the groundstates. If p = and α =, the nonlocal term creates a polynomial correction to the standard exponential asymptotics, so that ux x + ν α e x. If α >, the correction to the exponential asymptotics is an exponential bounded by e c x α see remark 6.. When p = the asymptotics of I α u depend only on the

5 GROUDSTATES OF OLIEAR CHOQUARD EQUATIOS 5 groundstate energy E α, u; this might be useful in order to prove uniqueness of the groundstate in these cases. In the classical physical case = 3, α = and p =, where the uniqueness of the groundstate is known [6], theorem 4 gives the decay asymptotics of the groundstate with an explicit polynomial correction to the standard exponential decay rate x e x of the fundamental solution of + in R 3. This polynomial correction seems to be missing in [3, Theorem I..7]. Corollary 5. If u W, R is a nonnegative groundstate of then u + u = I u u in R 3, lim ux x 3 8π E,u e x 0,. The sequel of this paper is organized as follows. In section we explain the relations between different variational problems which were historically used in connection with Choquard equation. Then we provide a detailed proof of theorem, with an emphasis on including the case p <, which was not considered before in the literature. In section 3, we derive a Pohožaev identity for Choquard equation and prove the nonexistence result of theorem. The four last sections are devoted to the proof of theorem 3. We begin with the regularity section 4, continue with the positivity section 5. and the symmetry section 5., and conclude with the asymptotics of the solutions in section 6.. Existence.. Variational characterizations of the groundstate. There are several ways to construct variationally a groundstate of.. The first way historically to construct solutions consists in minimizing the quantity Eα,p 0 u = u I α u p u p, R p R under the mass constraint u = m, in order to obtain a weak solution u R W, R of u + µu = I α u p u p u, where µ R is a Lagrange multiplier [6; 7, section 3; 8, section III]. Such solutions are called normalized solutions. Another approach to the existence is to study the existence of a minimizer of E α,p under the ehari constraint E α,pu, u = 0 [7, section ]. A third construction [8, section III.4] consists in minimizing the functional S α,p C W, R L p +α R \ {0} defined for u W, R L p +α R \ {0} by R u + u S α,p u =. R I α u p u p p One more approach to construct solutions variationally is to consider the functional associated to the interpolation inequality associated to the problem: u +α p +α u p R W α,p u = R, I R α u p u p p see [33] for the local analogue. The next proposition describes the relationships between the different minimization problems.

6 6 VITALY MOROZ AD JEA VA SCHAFTIGE Proposition.. Let, α 0, and p,. Let u W, R L p +α \{0}. For t R, let u t : R R be the dilated function defined for x R by u t x = utx. One has max E α,ptu = t>0 S α,p u p p. p If +α < p < If +α+ < p < +α, then min S α,pu t = t>0 +α, then min t>0 E0 α,p t ut = p +α +α p p α +α p If p = +α+, then E0 α,p t u t = t Eα,p 0 u. If p < +α+, then inf t>0 Eα,p 0 t u t = and max t>0 E0 α,pt ut = p α Proof. This is proved by a direct computation. p p α +α p Wα,p u. p α W α,p u +α u R p p α p p α W α,p u +α R u p p p α. p p α. This proposition shows that under some restrictions on the exponents, any infimum of one of the variational problems described above can be written in terms of any other, and any minimizer of one problem is up to suitable dilation and rescaling +α+ a minimizer of the other problems. ote however that for p the energy Eα,pu 0 under the mass constraint R u = m is unbounded below and hence, as it was already remarked [7, remark 9; 8, remark III.7] in the case p =, the minimization of S α,p works under less restrictions than the minimization of Eα,p 0 among normalized functions. In this rest of this section, we shall prove the existence of a minimizer for the variational problems S α,p. Proposition.. Let, α 0, and p,. If +α < p < then there exists u W, R such that S α,p u = inf { S α,p v : v W, R and v 0 }. +α, Observe that theorem is a straightforward consequence of propositions. and.. There are several strategies to prove proposition.. A first strategy consists in minimizing among radial functions and then prove with the symmetrization by rearrangement that a radial minimizer is a global minimizer. This approach was used for normalized solutions [6, ]. The other approach is the concentration-compactness method of P.-L. Lions [8, 9]. In the sequel of this section we give a proof of proposition. that relies on the simplest tools of concentration-compactness.

7 GROUDSTATES OF OLIEAR CHOQUARD EQUATIOS 7.. Tools for the existence. The first tool in our proof of proposition. is a concentration-compactness lemma of P.-L. Lions that we reformulate as an inequality [9, lemma I.] see also [34, lemma.]. Lemma.3. Let q [,. If q then for every u W, R, u q C sup u q q u + u. R x R R B x Proof. By the Gagliardo irenberg Sobolev inequality on the ball [, theorem 5.8], for every x R, one has u q C sup B x x R B x u q q u + u. B x We reach the conclusion by integrating x over R. Our second tool is a Brezis Lieb lemma for the nonlocal term of the functional. Lemma.4. Let, α 0,, p [, +α and u n n be a bounded sequence in L p +α R. If u n u almost everywhere on R as n, then lim n R Iα u n p u n p R Iα u n u p u n u p = R Iα u p u p. In order to prove lemma.4, we state an easy variant of the classical Brezis Lieb lemma [6] see also [5, proposition ; 35, theorem 4..7]. Lemma.5. Let Ω R be a domain, q [, and u n n be a bounded sequence in L r Ω. If u n u almost everywhere on Ω as n, then for every q [, r], lim un q u n u q u q r q = 0. n Ω Also recall that pointwise convergence of a bounded sequence implies weak convergence see for example [5, proposition 4.7.; 35, proposition 5.4.7]. Lemma.6. Let Ω R be a domain, q, and u n n be a bounded sequence in L q Ω. If u n u almost everywhere on Ω as n, then u n u weakly in L q Ω. We now have the ingredients to prove lemma.4. Proof of lemma.4. For every n, one has Iα u n p u n p Iα u n u p u n u p R R = Iα u n p u n u p u n p u n u p R + Iα u n p u n u p u n u p. R By lemma.5 with q = p and r = p +α, one has u n u p u n p u p, strongly in L +α R as n. By the Hardy Littlewood Sobolev inequality.3, this implies that I α u n u p u n p I α u p in L α R as n. Since by lemma.6, u n u p 0 weakly in L +α R as n, we reach the conclusion.

8 8 VITALY MOROZ AD JEA VA SCHAFTIGE.3. Proof of the existence. We now employ lemmas.3 and.4 in order to prove proposition.. Proof of proposition.. Set { } c α,p = inf S α,p u : u W, R \ {0} { } = inf S α,p u : u W, R and I α u p u p =. R Let u n n be a sequence in W, R such that R I α u n p u n p = for every n, and lim n S α,p u n = c α,p. In particular, the sequence u n n is bounded in W, R. By the Hardy Littlewood Sobolev inequality.3 and by lemma.3, taking into account that +α p, we obtain R I α u n p u n p C R u n p +α +α C sup u n p +α +α p +α u n + u n. x R B x R Since u n n is bounded in W, R and p < +α, we deduce that the exists a sequence x n n in R such that. inf u n p +α > 0. n B x n Since the problem is invariant by translation, we can assume that for every n, x n = 0. Because the sequence u n n is bounded, we can also assume without loss of generality that u n u W, R weakly in W, R as n. By., u 0. ote now that u + u = lim R n u n + u n R u n u + u n u, R and therefore S α,p u = lim n S α,pu n c α,p lim inf n p Iα u R n p u n p Iα u p u R p Iα u R S α,p u n u n u p u n u p R Iα u p u p R Iα u n p u n p p Iα u p u R p Iα u R n u p u n u p R Iα u p u p By lemma.4, since p >, we reach a contradiction if Iα u p u p < lim inf Iα u n p u n p. R n R We conclude that S α,p u = c α,p which completes the proof. 3. Pohožaev identity p. In this section we prove the nonexistence result of theorem and establish a relationships between the energy and L norm of a solution. p

9 GROUDSTATES OF OLIEAR CHOQUARD EQUATIOS Pohožaev identity. We establish the following Pohožaev type identity. Proposition 3.. Let u W, R L p +α R. If u + u = I α u p u p u. and u W, loc R, W +α p R, then R u + u = + α R p R I α u p u p. G. Menzala has used a similar identity to prove the nonexistence of solutions to the equation u + u βi α x = I α u u []. When = 3, α = and p =, proposition 3. has been proved for smooth solutions [, lemma.]. Our proof of proposition 3. follows a classical strategy of testing the equation against x ux which is made rigorous by multiplying by suitable cut-off functions [5, proposition 6..; 34, appendix B]. Proof of proposition 3.. We take ϕ Cc R such that ϕ = on B. By testing the equation against the function v λ W, R L p +α R defined for λ 0, and x R by we have v λ x = ϕλx x ux, u v λ + uv λ = I α u p u p uv λ. R R R We compute for every λ > 0, uv λ = uxϕλx x ux dx R R = ϕλx x u x dx R R ux = ϕλx + λx ϕλx dx. By Lebesgue s dominated convergence theorem, it holds lim uv λ = u. λ 0 R R ext, since u W, loc R we have u v λ = ϕλx u + x u x dx R R R ux = ϕλx + λx ϕλx dx. By Lebesgue s dominated convergence again, since u W, R, lim λ 0 R u v λ = R u.

10 0 VITALY MOROZ AD JEA VA SCHAFTIGE Finally, we have for every λ > 0, I α u p u p uv λ = uy p I α x yϕλx x p u p x dx dy R R R = I α x y uy p ϕλx x u p p x R R y dx dy = R + α p + ux p ϕλy y u p R uy p I α x y ϕλx + x ϕλx ux p dx dy p uy p I α x y R R x y xϕλx yϕλy p x y ux p dx dy. We can thus apply Lebesgue s dominated convergence theorem to conclude that lim I α u p u p u v λ = + α I α u p u p. λ 0 R p R 3.. Proof of the nonexistence. We now complete the proof of theorem. Proof of theorem. By testing the equation against u, we obtain the identity u + u = I α u p u p. R R R Hence, we have + α u + p R + α u = 0. p R If p +α or p +α, this implies that u = An integral identity. Proposition 3. allows to express R u in terms of E α,p u. We will see in section 6 that the asymptotics of the groundstates when p depend on u p. When p =, we will thus be able to express the R asymptotics of a groundstate in terms of the energy of the groundstate. Proposition 3.. Let α 0, and p, be such that +α < p < If u W, R is a groundstate of then u + u = I α u p u p u, R u = Proof. The proof is a direct computation. α + p E α,p u. 4. Regularity In this section we study the regularity of a solution of.. Proposition 4.. Let α 0, and p, such that +α < p < u W, R be a solution of u + u = I α u p u p u. +α. +α. Let Then u L R C R, u W,s R for every s >, and u C R \ u {0}.

11 GROUDSTATES OF OLIEAR CHOQUARD EQUATIOS S. Cingolani, M. Clapp and S. Secchi [0, lemma A.] have proved that u L s R for every s and that u is smooth under the additional assumptions that p and that.4 holds. We shall split the proof of proposition 4. in the proof of three separate claims. Claim. For every s such that s > α p, one has u L s R and for every r > such that r > α, p one has u W,r R. Proof of claim. Since u W, R, u L s0 R with s 0 = p + α. Set s 0 = s 0 = s 0. Assume that u L s R for every s [s n, s n ]. By the Hardy- Littlewood-Sobolev inequality.3, if t = p s α > 0 then I α u p L t R. Further, if r = p α s <, then we have I α u p u p u L r R. Hence, u W,r R by the classical Calderón Zygmund L p regularity estimates [4, chapter 9]. Therefore, if α p < s < + α p, then u W,r R. In other words, we have thus proved that u W,r R, for every r > such that p α s n < r < p α s n and r > α. p Finally, by the Sobolev embedding theorem, u L s Ω provided that p α + s n < s < p α s n and s > α p. From s n < p +α < s n, we deduce that p α + s n < < p s n + α < < p α s n s n., we are done. Otherwise, we set s α n+. Similarly, if p s n α+ α p, then we are done. Otherwise we set s n+ = p s n α+ and iterate. This allows to reach the conclusion after a finite number of steps. If p s α+ n Claim. For every r >, u W,r R. = p s n

12 VITALY MOROZ AD JEA VA SCHAFTIGE The proof of this claim is classical, we give a proof in the same style as the proof of claim for the sake of completeness. Proof of claim. Since p > +α, we have α p < α p and by claim, I α u p L R. If r 0, is defined by r 0 = α p, by claim, u W,r R for every r, r 0. Assume now that u W,r R for every r, r n. By the classical Sobolev embedding theorem, u L s R for every s [, such that s > r n. Hence, I α u p u p u L r R for every r, such that p > r > p r n. By the classical Calderón-Zygmund theory [4, chapter 9], u W,r R for every r, such that r > p r n. If r n, we are done. Otherwise set = p. r n+ r n If p, then < p r n+ r n, and the conclusion is reached after a finite number of steps. If p >, then since < α p and p +α, r n < + p r n+ r n < r n + p α α p + α the conclusion is again reached after a finite number of steps. < r n ; Claim 3. For every k, λ 0, and every ball B R, if k + λ < p + or inf B u > 0, u C k,λ loc R. Proof of claim 3. By claim and by the Morrey Sobolev embedding, the conclusion holds for k {0, }. Let B R be a ball such that B B and inf B u inf B u, Take η C c R such that η = on B. Write I α = ηi α + ηi α. ote that since u L s R for every s ηi α u p C R. On the other hand, if either k + λ < p or inf B u > 0, u p, u p u C k,λ B. Since ηi α L R, ηi α u p C k,λ B. Therefore I α u p u p u C k,λ B and by the classical Schauder regularity estimates [4, theorem 4.6], u C,λ B. 5. Positivity and symmetry 5.. Positivity. We show that any groundstate of. is a positive function. Proposition 5.. Let α 0, and p, be such that +α < p < If u W, R is a groundstate of then either u > 0 or u < 0. u + u = I α u p u p u, +α. Proof. If u is a groundstate note that u is also a groundstate, and therefore by proposition 4. one has u C R and u + u = I α u p u p. By the strong maximum principle, either u > 0 or u = 0. Since u 0, we conclude that either u > 0 or u < 0.

13 GROUDSTATES OF OLIEAR CHOQUARD EQUATIOS 3 Proposition 5. can also be proved without using any regularity of the groundstates. Indeed, if u H R and u + u 0 weakly, then either u > 0, u < 0 or u = 0 almost everywhere [3, proposition.]. 5.. Symmetry. In this section we prove that any groundstate of. is a radial and radially decreasing solution. Proposition 5.. Let α 0, and p, be such that +α < p < If u W, R is a positive groundstate of u + u = I α u p u p u, +α. then there exist x 0 R n and v : 0, R a nonnegative nonincreasing function such that for almost every x R ux = v x x 0. By proposition 5., any groundstate of. is positive. Therefore, when p and assumptions.4 holds, proposition 5. follows from the result of Li Ma and Lin Zhao [0, theorem ]. Our proof will follow the strategy of T. Bartsch, M. Willem and T. Weth [4, 3], which consists in using the minimality property of the groundstate to deduce some relationship between the function and its polarization. The argument is simplified here because the nonlocal term has some strong symmetrizing effect. Let H R be a closed half-space. Let σ H denote the reflection with respect to H and u H : R R be the polarization of u : R R defined for x R by { u H max ux, uσ H x if x H, x = min ux, uσ H x if x H, see [7]. A first tool is the study of equality cases in a polarization inequality. Lemma 5.3. Let α 0, and u L +α R and H R be a closed halfspace. If u 0 and R R ux uy dx dy x y α R R then either u H = u or u H = u σ H. u H x u H y dx dy, x y α This inequality is proved without the equality cases by A. Baernstein II [3, corollary 4] see also [30, proposition 8]. Proof. First note that the integrals are finite by the Hardy Littlewood Sobolev inequality. Also note that ux uy dx dy R R x y α uxuy + u σ H x u σ H y = x y α H H + uxu σ H y + u σ H x uy x σ H y α dx dy and that a similar identity holds for u H. By an inspection of all the possible cases, we have, since u 0 and α <, for every x H and y H uxuy + u σ H x u σ H y x y α + uxu σh y + u σ H x uy x σ H y α

14 4 VITALY MOROZ AD JEA VA SCHAFTIGE uh xu H y + u H σ H x u H σ H y x y α + uh xu H σ H y + u H σ H x u H y x σ H y α, with equality if and only if either u H x = ux and u H y = uy or u H x = u σ H x and u H y = u σ H y. Since this holds for almost every x, y H, we have proved the lemma. ow we show how the information that either u H = u or u H = u σ H can be used to deduce some symmetry. Lemma 5.4. Let s and u L s R. If u 0 and for every closed half-space H R, u H = u or u H = u σ H, then there exist x 0 R and v : 0, R a nondecreasing function such that for almost every x R, ux = v x x 0. This was already proved [3, proposition 3.5]. We give here a simpler argument that does not rely on the approximation of symmetrizations by polarizations. In order to prove lemma 5.4, we recall the following result. Lemma 5.5. Let u L s R, w L t R with s + t = to be a radial function such that for every x, y R with x y, wx wy with equality if and only if x = y, and let H R be a closed half-space. If 0 is an interior point of H and u H w R uw, R then u = u H. The proof is elementary and was given for example in [9, lemma 4]. We also use a classical characterization of functions invariant under polarizations [7, lemma 6.3; 9, lemma 5]. Lemma 5.6. Let u L s R. If for every closed half-space H R such that x 0 H, u H = u, then there exists v : 0, R a nondecreasing function such that for almost every x R, ux = v x x 0. Proof of lemma 5.4. Choose w that satisfies the assumptions of lemma 5.5 and define for x R the function W x = uywx y dy. R This function is nonnegative, continuous and lim W x = 0, and therefore admits a maximum point x 0 R. In order to conclude with lemma 5.6, we now claim that for every closed halfspace H such that x 0 H, u H = u. Indeed, if u H = u σ H one has since w is radial and by definition of x 0 u H ywx 0 y dy = u σ H y wx 0 y dy R R = uyw σ H x 0 y dy R uywx 0 y dy R Therefore, by lemma 5.5, if x 0 is an interior point of H, we have u H = u. The case x 0 H follows by continuity.

15 GROUDSTATES OF OLIEAR CHOQUARD EQUATIOS 5 Proof of proposition 5.. Let H R be a closed half-space. ote that u H = u R R and u H = u. R R In view of the characterization of grounds states, we have necessarily I α u H p u H p I α u p u p. R R By lemma 5.3, for every closed half-space H R, either u H = u or u H = u σ H. We conclude by lemma Decay asymptotics In this last section, we study the asymptotic behavior of solutions. 6.. Asymptotics of the nonlocal term. We first study the asymptotics of the nonlocal term. We give explicit bounds on convergence rates that we shall need in the sequel. Proposition 6.. Let, α 0, and p,. If +α < p < and u is a groundstate of u + u = I α u p u p u in R, then there exists C R such that for every x R, I α u p x I α x u p C R x α + x +. + x p +α The proof of this proposition will follow from regularity estimates together with a computation of the asymptotics of a Riesz potential. Lemma 6.. Let α 0,, β, and f L R. If sup fx x β <, x R then there exists C > 0 such that for every x R fy R x y α dy x α fy dy C R x α + x + + x β. Similar statements have already appeared in [3, lemma.]. Here we emphasize the precise control on the rate of decay at infinity. The reader will see in the proof that C only depends on sup x R fx + x β. Proof of lemma 6.. We need to estimate the quantity fy R x y α x α dy fy R x y α dy. x α On the one hand, there exists C R such that if x, y R and y x, one has x y α C y x α x α+ and thus fy B x x y α C y x α dy x α+ B x + y β dy 6. C x α + x + + x β.

16 6 VITALY MOROZ AD JEA VA SCHAFTIGE On the other hand, there exists C R such that if x, y R and y x, x y α C x α x α, from which we compute that fy R \B x x y α x α dy 6. The conclusion follows from 6. and 6.. x α C x β. R \B x C y β dy Proof of proposition 6.. By proposition 4., u L R L R and by proposition 5., u is radial and radially decreasing. Therefore for every x R, ux u C B x R x. The conclusion follows from the application of lemma 6. with f = u p and β = p. 6.. Superlinear case. In the case p >, we are going to show that groundstates have classical exponential decay. Proposition 6.3. Let, α 0, and p,. If p < +α positive groundstate of then u + u = I α u p u p u in R, lim ux x e x 0,. and u is a ote that if α 4 then the assumptions of the proposition cannot be satisfied. S. Cingolani, M. Clapp and S. Secchi have proved that the limit is finite [0, lemma A.]. The proof of this result follows the standard proof for the nonlocal problem. Our main tool computational tool is an analysis of the decay rate of solutions of a linear Schrödinger equation. Lemma 6.4. Let ρ 0 and W C ρ,,r. If lim W s > 0. s and for some β > 0, lim W ss +β = 0, s then there exists a nonnegative radial function v : R \ B ρ R such that in R \ B ρ and for some ρ 0 ρ,, v + Wv = 0 lim vx x exp x ρ 0 W =. S. Agmon has proved this result when β > [, theorem 3.3]. The proof of lemma 6.4 appears in a previous work by the authors [4, proposition 6.]. The proof is based on comparison with functions of the form x v τ x = x exp W + τ x β for suitable values of τ R. ρ

17 GROUDSTATES OF OLIEAR CHOQUARD EQUATIOS 7 Proof of proposition 6.3. By proposition 4., u L R L R. Since p >, we have lim Iα u p x ux p = 0. Hence, there exists ρ R such that in x R and x ρ, Iα u p x ux p 3 4. We have thus in R \ B ρ, u + 4 u 0. Let v C R \ B ρ,r be such that v + 4 v = 0 if x R \ B ρ, vx = ux if x B ρ, vx = 0. lim By lemma 6.4 with W = 4, there exists µ R such that for every x R \ B ρ vx µ e x x. Hence, by the comparison principle, for every x R \ B ρ ux vx µ e x x, which implies that there exists ν R such that for every x R \ B ρ Iα u p x ux p νe p x. We have now u + u 0 u + Wu, in R \ B ρ, where W C R \ B ρ is defined for x R \ ρ by W x = νe p x. Define now u, u C R \ B ρ,r such that u + u = 0 if x R \ B ρ, ux = ux if x B ρ, lim ux = 0, and u + W u = 0 if x R \ B ρ, ux = ux if x B ρ, lim ux = 0. By the comparison principle u u u in R \ B ρ, whence in view of lemma < lim ux x e x lim inf ux x e x lim sup ux x e x lim ux x e x <.

18 8 VITALY MOROZ AD JEA VA SCHAFTIGE It remains to prove that the ux x e x has a limit as x. Since u and u, are both radial functions, we have by the comparison principle, for every r, s ρ, such that r s, ur ur us us, that is, the function u/u is nondecreasing. On the other hand, by 6.3, the function u/u is bounded. We conclude then that u/u has a finite limit at infinity and that lim ux x e x ux = lim lim ux x e x 0,. ux 6.3. Linear case. The analysis of the case p > is based on the fact that u p decays exponentially at infinity. When p =, we have to take into account the Riesz potential I α u. Proposition 6.5. Let, α 0, and α > 4. If u is a positive groundstate of u + u = I α u u in R, then where lim ux x exp ν α = x ν ν α ds 0,, s α α Γ Γ α u p. π/ α R Remark 6.. The asymptotics of the groundstate are thus related to the behavior of the function x ν α ds s α as x. When α <, we have and therefore, ρ x ρ ρ ν α ds <, s α lim ux x e x 0,, as in proposition 6.3. When α <, we have x ν α s α ν α ds <. s α Therefore, in the critical case α = which includes the physical case = 3 and α =, we have a polynomial perturbation of the previous asymptotics, whereas when α,, ν lim ux x e x 0,, lim ux x e x e ν α x α α 0,. Larger values of α [, could be analyzed by taking higher-order Taylor expansions of the square root [4, remark 6.]. We are now ready to establish the asymptotics of the solution in the linear case p =.

19 GROUDSTATES OF OLIEAR CHOQUARD EQUATIOS 9 Proof of proposition 6.5. By proposition 6., there exists µ > 0 such that for every x R, µ x α+ I α u x ν α x α µ x α+. Define now W C R \ {0} and W C R \ {0} for x R \ {0} by and One has, in R \ {0}, W x = ν α x α + µ x α+ W x = ν α x α µ x α+. u + Wu 0 u + W u. Define now u, u C R \ B ρ,r such that u + W u = 0 if x R \ B, ux = ux if x B, lim ux = 0, and One has for ρ large enough, u + W u = 0 if x R \ B, ux = ux if x B, lim ux = 0. and ote now that from which we deduce that and We conclude that lim ux x lim ux x ρ lim ux x lim ux x lim ux x as in the proof of proposition 6.3. x ρ x ρ W s ds 0, W s ds 0,. W W <, x ρ x ρ x ρ ν α ds 0, s α ν α ds 0,. s α ν α ds 0, s α

20 0 VITALY MOROZ AD JEA VA SCHAFTIGE 6.4. Sublinear case. Whereas in the case p >, the nonlinear term did not play any role in the asymptotics and for p = all the terms were playing a role, in the case p <, the asymptotics are governed by the terms without derivatives in the equation. Proposition 6.6. Let, α 0, and p,. If and u is a positive groundstate of then u + u = I α u p u p u in R, p x lim ux α = α Γ Γ α u p. π/ α R +α < p < +α and When u is merely a distributional supersolution to the equation, it was already known that [4, theorem 5] p ux lim inf x α > 0. In the limiting case p = +α, Chen Weng, Li Congming and Ou Biao [8] have proved that if u L α R is nonnegative and satisfies the equation without the differential operator u = I α u +α α u, then ux α = u +α R C α λ + x α In the proof of proposition 6.6, we shall use the asymptotics of the nonlocal term derived in proposition 6., together with asymptotics of solutions to some linear equations. Lemma 6.7. Let ρ > 0, β > 0 and λ > 0 and u C R \ B ρ. If for every x R \ B ρ, ux + λux = x β, and lim ux = 0, then lim uxλ x β =. Proof. Let w C R \ B ρ be a solution of w + w = 0 such that w > 0 and lim wx = 0. For σ, τ R define v σ,τ C R \ B ρ for every x R \ B ρ by v σ,τ x = λ x β + σ + τwx. x β+ One has, for every σ, τ R and x R \ B ρ, v σ,τ x + v σ,τ x = x β + β β x β+ λ Let R 0, such that β + β R λ. If we choose now σ, σ R such that σ 3λ ββ + λ σ λ,. β + β + σ λ + x.

21 GROUDSTATES OF OLIEAR CHOQUARD EQUATIOS for every x R \ B R and τ R, we have v σ,τ x + λv σ,τ x x β v σ,τx + λv σ,τ x Since u is continuous, u is bounded on B R and there exist τ, τ R such that v σ,τ u v σ,τ on B R. By the comparison principle, v σ,τ u v σ,τ in R \ B R. Since lim v σ,τ xλ x β = lim v σ,τ xλ x β =, we conclude that lim λux x β =. The proof yields in fact a stronger statement that are not needed in the sequel: ux = λ x β + O x β+, as x. By Phragmen Lindelöf theory, the assumption β > 0 can be dropped and the assumption lim ux = 0 can be replaced by lim x e λx ux = 0. Proof of proposition 6.6. By proposition 6., there exists µ R such that we have for every x R 6.4 I α u p x I α x u p µ R x α+δ, with 0 < δ min, p. By proposition 4., u > 0 and u C R. Hence, by the chain rule, u p C R and u p = pu p u + pp u in R. Since p,, by the equation satisfied by u and by 6.4, we have for every x R, u p x + pu p x pi α x u p µ R x δ. Let u : R \ B be such that ux + pux = pi α x u p µ R x δ for x R \ B, ux = ux p for x B, lim ux = 0. By the comparison principle, u u p in R \ B. We apply now lemma 6.7 twice and use the linearity of the operator + to write u lim I α x = u p. R We conclude that 6.5 lim inf p ux u p. I α x R For the converse inequality, we note that by Young s inequality, I α u p u p u pi α u p p + p u.

22 VITALY MOROZ AD JEA VA SCHAFTIGE By 6.4, we have for every x R \ B. Iα u p x p I α x p I α x p u p + C R u p R Therefore, for every x R \ B. ux + pux pi α x p x δ p p R u p + ν x δ. p Define now ū C R \ B by ūx + pūx = pi α x p u p p + ν R x δ + ν x δ. if x R \ B, ūx = ux if x B, lim ūx = 0. By the comparison principle, we have u ū in R \ B. By lemma 6.7, we have ūx lim = u p p. I α x p R Thus 6.6 lim sup p ux u p, I α x R and the assertion follows from the combination of 6.5 and 6.6. References [] R. A. Adams and J. J. F. Fournier, Sobolev spaces, nd ed., Pure and Applied Mathematics, vol. 40, Elsevier/Academic Press, Amsterdam, [] S. Agmon, Bounds on exponential decay of eigenfunctions of Schrödinger operators, Schrödinger operators Como, 984, Lecture otes in Math., vol. 59, Springer, Berlin, 985, pp [3] A. Baernstein II, A unified approach to symmetrization, Partial differential equations of elliptic type Cortona, 99, Sympos. Math., XXXV, Cambridge Univ. Press, 994, pp [4] T. Bartsch, T. Weth, and M. Willem, Partial symmetry of least energy nodal solutions to some variational problems, J. Anal. Math , 8. 3, 3 [5] V. I. Bogachev, Measure theory, Springer, Berlin, [6] H. Brézis and E. Lieb, A relation between pointwise convergence of functions and convergence of functionals, Proc. Amer. Math. Soc , no. 3, [7] F. Brock and A. Yu. Solynin, An approach to symmetrization via polarization, Trans. Amer. Math. Soc , no. 4, , 4 [8] W. Chen, C. Li, and B. Ou, Classification of solutions for an integral equation, Comm. Pure Appl. Math , no. 3, , 0 [9] P. Choquard, J. Stubbe, and M. Vuffray, Stationary solutions of the Schrödinger-ewton model an ODE approach, Differential Integral Equations 008, no. 7-8, [0] S. Cingolani, M. Clapp, and S. Secchi, Multiple solutions to a magnetic nonlinear Choquard equation, Z. Angew. Math. Phys. 63 0, no., , 4,, 6 [] S. Cingolani, S. Secchi, and M. Squassina, Semi-classical limit for Schrödinger equations with magnetic field and Hartree-type nonlinearities, Proc. Roy. Soc. Edinburgh Sect. A 40 00, no. 5, [] P. Felmer, A. Quaas, and Tan Jinggang, Positive solutions of nonlinear Schrödinger equation with the fractional Laplacian, Proc. Roy. Soc. Edinburgh Sect. A 4 0, no. 6,

23 GROUDSTATES OF OLIEAR CHOQUARD EQUATIOS 3 [3] B. Gidas, W. M. i, and L. irenberg, Symmetry of positive solutions of nonlinear elliptic equations in R n, Mathematical analysis and applications, Part A, Adv. in Math. Suppl. Stud., vol. 7, Academic Press, ew York, [4] D. Gilbarg and. S. Trudinger, Elliptic partial differential equations of second order, Grundlehren der Mathematischen Wissenschaften, vol. 4, Springer, Berlin, 983., [5] O. Kavian, Introduction à la théorie des points critiques et applications aux problèmes elliptiques, Mathématiques & Applications, vol. 3, Springer, Paris, [6] E. H. Lieb, Existence and uniqueness of the minimizing solution of Choquard s nonlinear equation, Studies in Appl. Math /77, no., , 3, 5, 6 [7] P.-L. Lions, The Choquard equation and related questions, onlinear Anal , no. 6, , 4, 5, 6 [8], The concentration-compactness principle in the calculus of variations. The locally compact case. I, Ann. Inst. H. Poincaré Anal. on Linéaire 984, no., , 6 [9], The concentration-compactness principle in the calculus of variations. The locally compact case. II, Ann. Inst. H. Poincaré Anal. on Linéaire 984, no. 4, , 7 [0] Ma Li and Zhao Lin, Classification of positive solitary solutions of the nonlinear Choquard equation, Arch. Ration. Mech. Anal , no., , 3 [] G. P. Menzala, On regular solutions of a nonlinear equation of Choquard s type, Proc. Roy. Soc. Edinburgh Sect. A , no. 3-4, 9 30., 6 [], On the nonexistence of solutions for an elliptic problem in unbounded domains, Funkcial. Ekvac , no. 3, [3] I. M. Moroz, R. Penrose, and P. Tod, Spherically-symmetric solutions of the Schrödinger- ewton equations, Classical Quantum Gravity 5 998, no. 9, [4] V. Moroz and J. Van Schaftingen, onexistence and optimal decay of supersolutions to Choquard equations in exterior domains, J. Differential Equations 54 03, no. 8, , 6, 8, 0 [5], Existence of groundstates for a class of nonlinear Choquard equations. arxiv: [6] S. Pekar, Untersuchung über die Elektronentheorie der Kristalle, Akademie Verlag, Berlin, 954. [7] M. Riesz, L intégrale de Riemann-Liouville et le problème de Cauchy, Acta Math , 3. [8] P. Tod and I. M. Moroz, An analytical approach to the Schrödinger-ewton equations, onlinearity 999, no., 0 6. [9] J. Van Schaftingen, Explicit approximation of the symmetric rearrangement by polarizations, Arch. Math. Basel , no., [30] J. Van Schaftingen and M. Willem, Set transformations, symmetrizations and isoperimetric inequalities, onlinear analysis and applications to physical sciences, Springer Italia, Milan, 004, pp [3], Symmetry of solutions of semilinear elliptic problems, J. Eur. Math. Soc. JEMS 0 008, no., , 3, 4 [3] Wei Juncheng and M. Winter, Strongly interacting bumps for the Schrödinger-ewton equations, J. Math. Phys , no., 0905,. 3, 5 [33] M. I. Weinstein, onlinear Schrödinger equations and sharp interpolation estimates, Comm. Math. Phys /83, no. 4, [34] M. Willem, Minimax theorems, Progress in onlinear Differential Equations and their Applications, 4, Birkhäuser, Boston, MA, , 9 [35], Functional analysis: Fundamentals and Applications, Cornerstones, vol. XIV, Birkhäuser, Basel, Swansea University, Department of Mathematics, Singleton Park, Swansea, SA 8PP, Wales, United Kingdom address: V.Moroz@swansea.ac.uk Université Catholique de Louvain, Institut de Recherche en Mathématique et Physique, Chemin du Cyclotron bte L7.0.0, 348 Louvain-la-euve, Belgium address: Jean.VanSchaftingen@uclouvain.be