arxiv: v2 [math.ap] 1 Feb 2016

Transcription

1 ODAL SOLUTIOS FOR THE CHOQUARD EQUATIO MARCO GHIMETI AD JEA VA SCHAFTIGE arxiv: v [mathap] 1 Feb 016 Abstract We consider the general Choquard equations u + u = I α u p) u p u where I α is a Riesz potential We construct minimal action odd solutions for p, ) and minimal action nodal solutions for p, ) We introduce a new minimax principle for least action nodal solutions and we develop new concentration-compactness lemmas for sign-changing Palais Smale sequences The nonlinear Schrödinger equation, which is the nonlocal counterpart of the Choquard equation, does not have such solutions Contents 1 Introduction 1 Minimal action odd solution 4 1 Variational principle 4 Palais Smale condition 5 3 Strict inequality 8 4 Existence of a minimal action odd solution 10 5 Sign and symmetry properties 10 3 Minimal action nodal solution 1 31 Minimax principle 1 3 Convergence of the Palais Smale sequence Existence of a minimal action nodal solution 0 34 Degeneracy in the locally sublinear case 1 References 1 Introduction We study the general Choquard equation C) u + u = I α u p) u p u in, where 1, α 0, ) and I α : R is the Riesz potential defined at each point x \ {0} by I α x) = A α x α, where A α = Γ α ) Γ α )π/ α Date: January 9, Mathematics Subject Classification 35J91 35J0) Key words and phrases Stationary nonlinear Schrödinger ewton equation; stationary Hartree equation; nodal ehari set; concentration-compactness 1

2 MARCO GHIMETI AD JEA VA SCHAFTIGE When = 3, α = and p =, the equation C) has appeared in several contexts of quantum physics and is known as the Choquard Pekar equation [15, 4], the Schrödinger ewton equation [13, 14, 0] and the stationary Hartree equation The action functional A associated to the Choquard equation C) is defined for each function u in the Sobolev space H 1 ) by Au) = 1 u + u 1 Iα u p) u p p In view of the Hardy Littlewood Sobolev inequality, which states that if s 1, α ) then for every v Ls ), I α v L s αs ) and s 11) I α v αs C v s) αs, see for example [16, theorem 43]), and of the classical Sobolev embedding, the action functional A is well-defined and continuously differentiable whenever + α 1 p + α A natural constraint for the equation is the ehari constraint A u), u = 0 which leads to search for solutions by minimizing the action functional on the ehari manifold 0 = { u H 1 ) \ {0} : A u), u = 0} The existence of such a solution has been proved when + α < 1 p < + α ; these assumptions are optimal [15, 17, 1] We are interested in the construction of nodal solutions to C), that is, solutions to C) that change sign The easiest way to construct such solutions is to impose an odd symmetry constraint More precisely we consider the Sobolev space of odd functions H 1 odd ) = { u H 1 ) : for almost every x, x ), we define the odd ehari manifold and the corresponding level odd = 0 H 1 odd R ) c odd = inf odd A Our first result is that this level c odd is achieved ux, x ) = ux, x ) }, Theorem 1 If < 1 p <, then there exists a weak solution u Hodd 1 R ) C ) to the Choquard equation C) such that Au) = c odd Moreover, u has constant sign on each of the half-spaces + and and u is axially symmetric with respect to an axis perpendicular to + = 1 {0}

3 ODAL SOLUTIOS FOR THE CHOQUARD EQUATIO 3 odal solutions with higher level of symmetries and thus larger action have already been constructed [8 10] The proof of theorem 1 relies on two ingredients: a compactness property up to translation under the strict inequality c odd < c 0 obtained by a concentration compactness argument proposition 3) and the proof of the latter strict inequality proposition 4) Another notion of solution is that of least action nodal solution, which has been well studied for local problems [5 7] As for these local problems, we define the constrained ehari nodal set as in the local case, in contrast with 0 and odd, the set nod is not a manifold), nod = { u H 1 ) : u + 0 u, A u), u + = 0 and A u), u = 0 }, where u + = maxu, 0) 0 and u = minu, 0) 0 In contrast with the local case, we have for every u nod, A u), u + < A u + ), u +, and thus u + 0 and u 0 ) We prove that when p >, the associated level is achieved c nod = inf nod A Theorem If < 1 p < 1, then there exists a weak solution u H 1 ) C ) to the Choquard equation C) such that Au) = c nod, and u changes sign The restriction on the exponent p can only be satisfied when α > 4 We understand that u changes sign if the sets {x : ux) > 0} and {x : ux) < 0} have both positive measure We do not know whether the solutions constructed in theorem are odd and coincide thus with those of theorem 1 or even whether the solutions of theorem have axial symmetry as those of theorem 1 We leave these questions as open problems The proof of theorem is based on a new reformulation of the minimization problem as a minimax problem that allows to apply a minimax principle with location information proposition 3) and a new compactness property up to translations under the condition c nod < c 0 proved by concentration compactness proposition 35), in the proof of which we introduce suitable methods and estimates see lemma 36) The latter strict inequality is deduced from the inequality c nod c odd Compared to theorem 1, theorem introduces the additional restriction p > This assumption is almost optimal: in the locally sublinear case p <, the level c nod is not achieved Theorem 3 If max, 1 ) < 1 p < nod, then c nod = c 0 is not achieved in Theorem 3 shows that minimizing the action on the ehari nodal set does not provide a nodal solution; there might however exist a minimal action nodal solution that would be constructed in another fashion

4 4 MARCO GHIMETI AD JEA VA SCHAFTIGE We do not answer in the present work whether c nod is achieved when p = and α > 4 In a forthcoming manuscript in collaboration with V Moroz, we extend theorem 3 to the case p = by taking the limit p ց [1] If we compare the results in the present paper to well-established features of the stationary nonlinear Schödinger equation 1) u + u = u p u, which is the local counterpart of the Choquard equation C), theorems 1 and are quite surprising The action functional associated to 1) is defined by Au) = 1 u + u 1 u p, p which is well-defined and continuously differentiable when 1 1 < 1 p < 1 Since in this case Au) = Au + ) + Au ), it can be easily proved by a density argument that c odd = c nod = c 0 Therefore if one of the infimums c odd or c nod is achieved at u, then both u + and u should achieve c 0 in 0 This is impossible, since by the strong maximum principle u + > 0 and u > 0 almost everywhere on the space This nonexistence of minimal action nodal solutions also contrasts with theorem 3: for the nonlocal problem c nod is too small to be achieved whereas for the local one this level is too large Minimal action odd solution In this section we prove theorem 1 about the existence of solutions under an oddness constraint 1 Variational principle We first observe that the corresponding level c odd is positive Proposition 1 ondegeneracy of the level) If 1 p c odd > 0, then Proof Since odd = 0 Hodd 1 R ) 0 we have c odd c 0 The conclusion follows then from the fact that c 0 > 0 [1] A first step in the construction of our solution is the existence a Palais Smale sequence Proposition Existence of a Palais-Smale sequence) If 1 p, then there exists a sequence u n) n in H 1 odd R ) such that, as n, Au n ) c odd and A u n ) 0 in H 1 odd R ) Proof We first recall that the level c odd can be rewritten as a mountain pass minimax level: c odd = inf A γ, sup γ Γ [0,1]

5 ODAL SOLUTIOS FOR THE CHOQUARD EQUATIO 5 where the class of paths Γ is defined by Γ = { γ C [0, 1], H 1 odd ) ) : γ0) = 0 and A γ1) ) < 0 } see for example [30, theorem 4]) By the general minimax principle [30, theorem 8], there exists a sequence u n ) n in Hodd 1 R ) such that the sequence Au n ) ) n converges to c odd and the sequence A u n ) ) n converges strongly to 0 in the dual space Hodd 1 R ) Palais Smale condition We would now like to construct out of the Palais Smale sequence of proposition a solution to our problem We shall prove that the functional A H 1 odd ) satisfies the Palais Smale condition up to translations at the level c odd if the strict inequality c odd < c 0 holds Proposition 3 Palais Smale condition) Assume that < 1 p < Let u n ) n be a sequence in Hodd 1 R ) such that, as n, If Au n ) c odd and A u n ) 0 in H 1 odd ) c odd < c 0, then there exists a sequence of points a n ) n in 1 {0} such that the subsequence u nk ank ) ) k converges strongly in H1 ) to u H 1 odd R ) Moreover Au) = c odd and A u) = 0 in H 1 ) Proof First, we observe that, as n, 1 1 ) R u n + u n = Au n ) 1 p p A u n ), u n 1) = Au n ) + o u n + u n = c odd + o u n + u n ) 1 ) ) 1 ) In particular, the sequence u n ) n is bounded in the space H 1 ) We now claim that there exists R > 0 such that ) lim inf u n p > 0, n D R where the set D R is the infinite slab D R = 1 [ R, R] We assume by contradiction that for each R > 0, lim inf u n p = 0 n D R We define for each n the functions v n = χ 1 0, )u n and ṽ n = χ 1,0)u n Since u n H 1 odd R ), we have v n H 1 0 R 1 0, ))

6 6 MARCO GHIMETI AD JEA VA SCHAFTIGE H 1 ) and ṽ n H0 1R 1, 0)) H 1 ) We now compute Iα v n p) ṽ n p I α x y) v n y) p ṽ n x) p dy dx D R + I α x y) v n y) p ṽ n x) p dy dx \D R \D R By definition of the region D R we have, if β α, ), Iα v n p) ṽ n p Iα u n p) u n p + χ D R \B R I α ) u n p) u n p Iα u n p) u n p + C χr D R R β α \B R I β ) u n p) u n p Since by assumption p >, we can take β such that moreover β < p 1), and then by the Hardy Littlewood Sobolev inequality 11) and the classical Sobolev inequality, we obtain that Iα v n p) ṽ n p C u n + u n from which we deduce that 3) lim Iα v n p) ṽ n p = 0 n ) p DR ) u n p + C ) p, u Rβ α n + u n For each n, we fix t n 0, ) so that t n v n 0 or, equivalently, v n + v n t p R n = Iα v n p) v n p R 4) u n + u n R = Iα u n p) R u n p Iα v n p) ṽ n p For every n, we have At n u n ) = At n v n ) tp n p Iα v n p) ṽ n p By 1), 3) and 4), in view of proposition 1, we note that lim n t n = 1 and thus in view of 3) again we conclude that c odd = lim n Au n) = lim n At nu n ) = lim n At nv n ) c 0, in contradiction with the assumption c odd < c 0 of the proposition We can now fix R > 0 such that ) holds We take a function η C ) such that supp η D 3R/, η = 1 on D R, η 1 on and

7 ODAL SOLUTIOS FOR THE CHOQUARD EQUATIO 7 η L ) We have the inequality [18, lemma I1; 1, lemma 3; 7, 4); 30, lemma 11] u n p ηu n p D R C C sup a B R/ a) sup a 1 {0} ) ηu n p 1 p B R a) ) u n p 1 p ηu n ) + ηu n u n + u n Since the sequence u n ) n is bounded in the space H 1 ) we deduce from ) that there exists a sequence of points a n ) n in the hyperplane 1 {0} such that lim inf n B R a n) u n p > 0 Up to translations and a subsequence, we can assume that the sequence u n ) n converges weakly in H 1 ) to a function u H 1 ) Since the action functional A is invariant under odd reflections, we note that for every n, Au n ) = 0 on H 1 odd R ) by the symmetric criticality principle [3] see also [30, theorem 18]) This allows to deduce from the strong convergence of the sequence A u n )) n to 0 in H 1 odd R ) the strong convergence to 0 of the sequence A u n )) n in H 1 ) For any test function ϕ C 1 c ), by the weak convergence of the sequence u n ) n, we first have lim n u n ϕ + u n ϕ = u ϕ + uϕ By the classical Rellich Kondrashov compactness theorem, the sequence u n p ) n converges locally in measure to u p and by the Sobolev inequality, this sequence is bounded in L ) Therefore, the sequence u n p ) n converges weakly to u p in L ) see for example [, proposition 471; 31, proposition 547]), and, by the Hardy Littlewood Sobolev inequality 11), the sequence I α u n p ) n converges weakly in L α ) to I α u p By the Rellich Kondrashov theorem again, the sequence I α u n p ) u n p u n ) n converges weakly in L + K) for every compact set K Therefore we have lim I α u n p ) u n p u n ϕ = Iα u p) u p uϕ n We have thus proved that A u) = 0 = lim n A u n )

8 8 MARCO GHIMETI AD JEA VA SCHAFTIGE Finally, we have lim Au n) = lim Au n) 1 n n p A u n ), u n 1 1 ) = lim u n + u n n p 1 1 ) u + u p = Au) 1 p A u), u = Au), from which we conclude that Au) = c odd and that the sequence u n ) n converges strongly to u in H 1 ) 3 Strict inequality It remains now to establish the strict inequality c odd < c 0 Proposition 4 If < 1 p <, then c odd < c 0 Proof It is known that the Choquard equation has a least action solution [1] More precisely, there exists v H 1 ) \ {0} such that A v) = 0 and Av) = inf 0 A We take a function η C c ) such that η = 1 on B 1, 0 η 1 on and supp η B and we define for each R > 0 the function η R C c ) for every x by η R x) = ηx/r) We define now the function u R : R for each x = x, x ) by u R x) = η R v)x, x R) η R v)x, x R) It is clear that u R Hodd 1 R ) We observe that A t R u R ), t R u R = 0 if and only if t R 0, ) satisfies u R + u R t p R R = R Iα u R p) u R p Such a t R always exists and 1 At R u R ) = p) 1 u R + u R I α u R p ) u R p ) p p 1 ) 1 p 1 The proposition will follow once we have established that for some R > 0 ) p ) p u R + u R p 1 v + v p 1 R 5) R ) 1 < ) 1 I α u R p ) u R p p 1 I α v p ) v p p 1

9 ODAL SOLUTIOS FOR THE CHOQUARD EQUATIO 9 We begin by estimating the denominator in the left-hand side of 5) We first observe that, by construction of the function u R Iα u R p) u R p Iα η R v p) η R v p A ) α + η 4R) α R v p For the first term, we have Iα η R v p) η R v p = Iα v p) v p Iα v p) 1 η p R ) v p + Iα 1 η p R ) v p) 1 η p R ) v p Iα v p) v p Iα v p) 1 η p R ) v p By the asymptotic properties of I α v p [1, theorem 4], we have Iα v p) lim = v p, x I α x) so that Iα v p) 1 η p R ) v p C We have thus Iα u R p) u R p Iα v p) v p + R\BR vx) p dx x α A ) α R v p vx) p 4R) α C dx B R \BR x α We now use the information that we have on the decay of the least action solution v [1] If p <, then vx) = O x α)/ p) ) as x and R vx) p ) 1 1 ) dx = O = o \BR x α α, p α p since p > α If p, then v decays exponentially at infinity We have thus the asymptotic lower bound 6) Iα u R p) u R p Iα v p) v p + A ) α v p 1 ) 4R) α + o α > For the numerator in 5), we compute by integration by parts u R + u R = η R v) + η R v R = ηr v + v ) η R η R ) v R v + v ) + C R v B R \B R If p <, we have by the decay of the solution v ) 1 R v 1 = O B R \B R p α p + 1 ) = o α

10 10 MARCO GHIMETI AD JEA VA SCHAFTIGE In the case where p, the solution v decays exponentially We conclude thus that 7) u R + u R = v + v 1 ) + o α We derive from the asymptotic bounds 6) and 7), an asymptotic bound on the quotient: ) p p 1 u R + u R I α u R p ) u R p v + v R I α v p ) v p ) 1 p 1 ) p p 1 ) 1 p 1 pa α v p) B 1 R p 1)4R) α I α v p ) v p ) 1 ) + o α The inequality 5) holds thus when R is large enough, and the conclusion follows 4 Existence of a minimal action odd solution We have now developped all the tools to prove the existence of a least action odd solution to the Choquard equation, corresponding to the existence part of theorem 1 Proposition 5 If < 1 p <, then there exists solution u Hodd 1 R ) C ) to the Choquard equation C) such that Au) = c odd Proof Let u n ) n be the sequence given by proposition In view of proposition 4, proposition 3 is applicable and gives the required weak solution u H 1 ) By the regularity theory for the Choquard equation [1, proposition 41] see also [8, lemma A10]), u C ) 5 Sign and symmetry properties We complete the proof of theorem 1 by showing that such solutions have a simple sign and symmetry structure Proposition 6 If < 1 p < 1 and if u H1 odd R ) is a solution to the Choquard equation C) such that Au) = c odd, then u has constant sign on + and u is axially symmetric with respect to an axis perpendicular to + The proof takes profit of the structure of the problem to rewrite it as a groundstate of a problem on the halfspace where quite fortunately the strategy for proving similar properties of groundstates of the Choquard equation still works [1, Propositions 51 and 5] see also [, propositions 5 and 53] Proof of proposition 6 We first rewrite the problem of finding odd solutions on as a groundstate problem on + whose nonlocal term has a more intricate structure

11 ODAL SOLUTIOS FOR THE CHOQUARD EQUATIO 11 Claim 1 For every v H 1 odd R ), Av) = Ãv + ), where + = R 1 0, ) and the functional à : H0 1R + ) R is defined for w H0 1R + ) by Ãw) = w + w 1 K x y, x, y ) ux) p uy) p dx dy, p with x = x, x ), y = y, y ) and the kernel K : 0, ) 3 R defined for each r, s, t) 0, ) 3 by Kr, s, t) = In particular, u Ñnod, where and A α r + s t) ) α + A α r + s + t) ) α Ñ nod = { w H 1 0 +) : à w), w = 0 } Ãu) = inf Ñ nod à Proof of the claim This follows from the fact that if u H 1 odd R ), then u + H 1 0 R +) and by direct computation of the integrals Claim One has either u > 0 almost everywhere on + or u < 0 almost everywhere on + Proof of the claim Let w = u + We observe that w H 1 0 R + ), à w ) = Ãw) = c odd and à w ), w = à w), w Therefore, if we define ū Hodd 1 R ) for almost every x = x, x ) by { w x, x ) if x > 0, ūx) = w x, x ) if x < 0, the function ū is a weak solution to the Choquard equation C) This function ū is thus of class C [1, proposition 41] see also [8, lemma A10]) and, in the classical sense, it satisfies ū + ū 0 in + By the usual strong maximum principle for classical supersolutions, we conclude that u = ū > 0 in + Since the function u was also a solution to the Choquard equation C), it is also a continuous function, and we have thus either u = u > 0 in + or u = u < 0 in + Claim 3 The solution u is axially symmetric with respect to an axis parallel to {0} R Proof of the claim Let H be a closed affine half-space perpendicular to + and let σ H : be the reflection with respect to H We recall that

12 1 MARCO GHIMETI AD JEA VA SCHAFTIGE the polarization or two-point rearrangement with respect to H of w is the function w H : R defined for each x by [1,4] { max wx), w H wσh x)) ) if x H, x) = min wx), wσ H x)) ) if x \ H Since H is perpendicular to 1 {0}, we have σ H +) = + so that w H H0 1R ) and [4, lemma 53] w H + w H = w + w + Moreover, we also have 8) K x y, x, y ) w H x) p w H y) p dx dy = 1 Iα u p ) H) u p ) H 1 Iα u p) u p + = K x y, x, y ) wx) p wy) p dx dy, + + with equality if and only if either u H = u almost everywhere on + or u H = u σ H almost everywhere on + [1, lemma 53] see also [1, corollary 4; 8, proposition 8]), or equivalently, since by claim w has constant sign on, either w H = w almost everywhere on + or w H = w σ H almost everywhere on + If the inequality 8) was strict, then, since p > 1 there would exist τ 0, 1) such that τw H Ñ and we would have Aτu H ) < Ãw) = c odd, in contradiction with claim 1 We have thus proved that for every affine half-space H whose boundary H is perpendicular to +, either wh = w almost everywhere on + or wh = w σ H almost everywhere on + This implies that w is axially symmetric with respect to an axis perpendicular to + [1, lemma 53; 9, proposition 315], which is equivalent to the claim The proposition follows directly from claims and 3 3 Minimal action nodal solution This section is devoted to the proof of theorem on the existence of a least action nodal solution 31 Minimax principle We begin by observing that the counterpart of proposition 1 holds Proposition 31 ondegeneracy of the level) If 1 p c nod > 0, then Proof In view of the inequality c 0 > 0 [1], it suffices to note that since nod 0 we have c nod c 0 We first reformulate the minimization problem as a minimax problem

13 ODAL SOLUTIOS FOR THE CHOQUARD EQUATIO 13 Proposition 3 Minimax principle) If 1 p < 1, then for every ε > 0, c nod = inf sup A γ, γ Γ B where { Γ = γ C B ; H0 1 R ) ) : ξ γ B ) ) 0, degξ γ) = 1 and A γ) p 1 p 1 p 1 p p cnod + ε c p 0 on B }, where the map ξ = ξ +, ξ ) C H 1 );R ) is defined for each u H 1 ) by I α u p ) u ± p R ξ ± u) = 1 if u u ± + u ± ± 0, R 1 if u ± = 0 Moreover, for every γ Γ, nod γb ) 0 In this statement B denotes the closed unit disc in the plane R and deg is the classical topological degree of Brouwer, or equivalently, the winding number see for example [19, 53; 5, chapter 6]) The continuity of the map ξ on the subset of constant-sign functions in H 1 ) follows from the Hardy Littlewood Sobolev inequality 11) and the classical Sobolev inequality, and requires the assumption p > The map ξ is the nonlocal counterpart of a map appearing in the variational characterization of least action nodal solutions by Cerami, Solimini and Struwe for local Schrödinger type problems [7], which is done in the framework of critical point theory in ordered spaces whereas our minimax principle works in the more classical framework of Banach spaces Proof of proposition 3 We denote the right-hand side in the equality to be proven as c and we first prove that that c c nod Let γ Γ Since degξ γ) = 1, by the existence property of the degree, there exists t B such that ξ γ)t ) = 0 It follows then that γt ) nod = ξ 1 0) and thus sup B A γ γt ) c nod, so that c c nod We now prove that c c nod For a given u nod, we define the map γ : [0, ) H 1 ) for every t +, t ) [0, ) by 1 p γt +, t ) = t+ u+ + t We compute for each t +, t ) [0, ) 31) A γt +, t ) ) = t/p + 1 p u /p u + + u + + t 1 p u + u I α/ t + u + p + t u p )

14 14 MARCO GHIMETI AD JEA VA SCHAFTIGE The function A γ is thus strictly concave and A γ) 1, 1) = 0 Hence, 1, 1) is the unique maximum point of the function A γ We also have in particular A γt +, 0) ) = t/p + and therefore Iα u p) u + p t + p 1 1 ) p R n Iα u p) u + p Iα u + p) u + p, ) p p 1 3) A γt +, 0) ) Iα u + p) ) 1 u + p p 1 R n By the semigroup property of the Riesz potential I α = I α/ I α/ see for example [16, theorem 59]) and by the Cauchy Schwarz inequality, 33) Iα u p) u + p = I α/ u + p )I α/ u p ) I α/ u p ) 1 I α/ u + p ) 1 R = Iα u p) ) 1 ) 1 u p ) I α u + p ) u + p ), and therefore by 3) and 33) A γt +, 0) ) 1 1 ) Iα u p) ) p u + p p 1 Iα u p) u p) 1 p 1 p R n R n We deduce therefrom that for every t +, t ) [0, ), 34) A t 1/p p 1 p + u+) + A t 1/p p 1 u ) p Au) p 1 p Since u ± 0, we have we conclude that Moreover, we have by 31) sup A t 1/p ± u±) c 0, t ± [0, ) sup A γ) p 1 p Au) p 1 p 1 p p c t [0, ) ) lim A γt) ) = t 0 It remains to compute the degree of the map ξ γ on a suitable set homeomorphic to B We compute for each t +, t ) [0, ), since u nod t +, t ) ξ γt +, t )) = t 3 p + I α u + p ) u + p R I α u p ) u + p + t3 p I α u p ) u p R I α u p ) u p t + t

15 ODAL SOLUTIOS FOR THE CHOQUARD EQUATIO 15 Since p >, we can now take R > large enough so that if t [0, ) B R, then t ξ γt)) > 0 and ) A γt) p 1 p Au) p 1 p 1 p p c 0 We now define the homotopy H : [0, 1] [0, ) for each τ, t +, t ) [0, 1] [0, ) by Hτ, t) = τξ γ)t) + 1 τ)t + 1, t 1) By the choice of R, for every τ, t) [0, 1] [0, ) B R ), Hτ, t) 0, and thus by the homotopy invariance property of the degree, degξ γ 0, ) B R ) = 1 If we set γ = γ Φ, where Φ : B [0, ) B R is an orientation preserving homeomorphism, we have γ Γ and sup B A γ = Au) We have thus proved that if u nod and if Au) p 1 p 1 p p c + ε, then from which we deduce that c nod c Au) c, We would like to point out that the inequality 34) in the proof of proposition 3 gives a lower bound on the level c nod that refines the degeneracy given for p > by theorem 3 Corollary 33 If 1 p 1, then c nod p p 1 c 0 In particular, corollary 33) allows theorem 3 to hold when p = Proposition 34 Existence of a Palais-Smale sequence) If 1 p < 1, then there exists a sequence u n ) n in H 1 ) such that Au n ) c nod, distu n, nod ) 0 and A u n ) 0 in H 1 ), as n p 1 p Proof We take Γ given by proposition 3 with ε < c0 The location theorem [30, theorem 0] see also [3, theorem ][6, theorem 1]) is applicable and gives the conclusion 3 Convergence of the Palais Smale sequence We prove that Palais Smale sequences at the level c nod and localized near the ehari nodal set nod converge strongly up to a subsequence and up to translations Proposition 35 Let u n ) n be a sequence in H 1 odd R ) such that, as n, Au n ) c nod, distu n, nod ) 0 and A u n ) 0 in H 1 ) If < 1 p < 1 and if c nod < c 0, then there exists a sequence of points a n ) n in such that the subsequence u nk a nk ) ) k converges strongly in H1 ) to u H 1 ) Moreover Au) = c nod, u nod and A u) = 0 in H 1 ) nod

16 16 MARCO GHIMETI AD JEA VA SCHAFTIGE Palais Smale conditions have been already proved by concentration compactness arguments for local semilinear elliptic problems [7, 11] Proof of proposition 35 We shall proceed through several claims on the sequence u n ) n Claim 1 The sequence u n ) n is bounded in the space H 1 ) Proof of the claim We write, as n, 1 1 ) R u n + u n = Au n ) 1 p p A u n ), u n = Au n ) + o from which the claim follows u n + u n ) 1 ) We now show that neither positive nor the negative parts of the sequence u n ) n tend to 0 Claim The functional u H 1 ) I α u p ) u ± p is uniformly continuous on bounded subsets of the space H 1 ) We bring to the attention of the reader that the related map u H 1 ) R u ± + u ± is not uniformly continuous on bounded sets Proof of the claim For every u, v H 1 ), we have I α u p ) u ± p I α v p ) v ± p = 1 Iα u p + v p ) ) u ± p v ± p) + 1 Iα u p v p ) ) u ± p + v ± p) By the classical Hardy Littlewood Sobolev inequality 11), we obtain I α u p ) u ± p I α v p ) v ± p R C u p + v p) ) u ± p v ± p ) R + C u ± p + v ± p) ) u p v p ) Since for every s, t R, one has s ± p t ± p s p t p and s ± p + t ± p s p + t p, the latter estimate can be simplified to I α u p ) u ± p I α v p ) v ± p R u p + v p) C ) u p v p )

17 ODAL SOLUTIOS FOR THE CHOQUARD EQUATIO 17 ext, for each s, t R, we have, since p, s p t p p s t p s t p τs + 1 τ)t p 1 dτ τ s p τ) t p 1 dτ = p s t s p 1 + t p 1) Hence, we have, I α u p ) u ± p I α v p ) v ± p C p ) Therefore, by the Hölder inequality, I α u p ) u ± p I α v p ) v ± p C u p + v p u p + v p) ) R u p 1 ) + v p 1) u v ) 1 1 p ) u v p ) p This shows that the map is uniformly continuous on L p ) Since by assumption, 1 p, in view of the classical Sobolev embedding theorem, the embedding H 1 ) L p ) is uniformly continuous, and the claim follows Claim 3 We have lim inf u ± n n + u ± n = lim inf n Iα u n p) u ± n p > 0 Proof of the claim First we observe that if v nod, then by the Hardy Littewood Sobolev inequality 11), the Sobolev inequality and the definition of the nodal ehari set nod, we have Iα v p) v ± p C Since v ± 0, we deduce that R v p ) ) v ± p C v + v ) p v ± + v ± ) p = C v + v ) p Iα v p) v ± p) p ) p inf v + v Iα v p) ) p v ± p v nod > 0 Since the sequence u n ) n is bounded in the space H 1 ) and since lim n distu n, odd ) = 0, we deduce from the lower bound above and from

18 18 MARCO GHIMETI AD JEA VA SCHAFTIGE the uniform continuity property of claim that lim inf Iα u n p) u ± n n p > 0 Since lim n A u n ), u ± n = 0, the conclusion follows Claim 4 There exists R > 0 such that lim sup sup u + n p n a B R a) B R a) u n p > 0 Proof of the claim We assume by contradiction that for every R > 0, lim sup u + n n p u n p = 0 a B R a) B R a) Then by lemma 36 below, since the sequences u + n ) n and u n ) n are bounded in the space H 1 ), we have lim Iα u + n n p) u n p = 0 We now take t n,± 0, ) such that t n,± u ± n 0 Since u ± n + u ± n = Iα u n p) u ± n p + A u n ), u ± n = Iα u n p) u ± n p + o1) and Iα u ± n p) u ± n p = Iα u n p) u ± n p Iα u + n p) u n p = Iα u n p) u ± n p + o1), it follows, in view of claim 3, that lim n t n,± = 1 We compute At n,+ u + n + t n, u n ) and we deduce that = At n,+ u + n ) + At n, u n ) tp n,+t p n, p c nod = lim n At n,+u + n + t n, u n ) Iα u + n p) u n p lim inf At n,+u + n n ) + lim inf At n, u n n ) c 0, in contradiction with the assumption of the proposition We now conclude the proof of the proposition Up to a translation and a subsequence, we can assume that lim inf u ± n n p 0 B R a) and that the sequence u n ) n converges weakly to some u H 1 ) As in the proof of proposition 3, by the weak convergence and by the classical Rellich Kondrashov compactness theorem, A u) = 0 and u ± 0, whence

19 ODAL SOLUTIOS FOR THE CHOQUARD EQUATIO 19 u nod We also have by lower semicontinuity of the Sobolev norm under weak convergence lim Au n) = lim Au n) 1 n n p A u n ), u n 1 1 ) = lim n 1 1 p p ) u n + u n u + u = Au) 1 p A u), u = Au), from which we deduce that Au) = c nod and the strong convergence of the sequence u n ) n in the space H 1 ) Lemma 36 If 1 p <, then for every β α, min1, p 1) ), there exists C > 0 such that for every u, v H 1 ), Iα u p) v p C u + u v + v sup a B R a) u p B R a) + C u + u Rβ α ) 1 ) v p 1 1 p ) v + v When p =, then p 1) = α and there is no β that would satisfy the assumptions Proof of lemma 36 We first decompose the integral as Iα u p) v p = χbr/ I α ) u p) v p + χ \B R/ I α ) u p) v p We then observe that if β α, ), then χ \B R/ I α ) u p) v p C R β α I β u p ) v p If β < p 1), then by the Hardy Littewood Sobolev inequality and by the Sobolev inequality, we have R χ \BR/ I α ) u p) v p C ) p ) p u + u v + v Rβ α ext, we have χbr/ I α ) u p) v p C B R a) B R a) ) p I α x y) ux) p vy) p dx dy da For every a, we have, by the Hardy Littewood Sobolev inequality 11) and the classical Sobolev inequality on the ball B R a), I α x y) ux) p vy) p dx dy B R a) B R a)

20 0 MARCO GHIMETI AD JEA VA SCHAFTIGE C B R a) ) u p v p B R a) C u p B R a) B R a) ) v p 1 1 p ) u + u B R a) B R a) We now integrate this estimate with respect to a Cauchy Schwarz inequality to obtain χbr/ I α ) u p) v p C R u + u ) ) 1 da B R a) B R a) sup u p a B R a) = C u + u B R a) v + v sup u p a B R a) B R a) v + v ) 1 and apply the v + v ) ) 1 da ) v p 1 1 p ) ) 1 ) v p 1 1 p ) 33 Existence of a minimal action nodal solution In order to prove theorem, we finally establish the strict inequality Proposition 37 If 1 p In particular,, then odd nod c nod c odd Proof If u odd, then since u 0, A u), u + + A u), u = A u), u = 0 On the other hand, since u H 1 odd R ), by the invariance of u under odd reflections, A u), u + = A u), u, and the conclusion follows We can now prove theorem about the existence of minimal action nodal solutions Proof of theorem Proposition 34 gives the existence of a localized Palais Smale sequence u n ) n By propositions 4 and 37, the strict inequality c nod < c 0 holds Hence we can apply proposition 35 to reach the conclusion The solution u is twice continuously differentiable by the Choquard equation s regularity theory [1, proposition 41] see also [8, lemma A10])

21 ODAL SOLUTIOS FOR THE CHOQUARD EQUATIO 1 34 Degeneracy in the locally sublinear case We conclude this paper by proving that c nod = c 0 if p < Proof of theorem 3 We observe that if u 0, then u 0 Together with a density argument, this shows that c 0 = inf { Au) : u 0 C 1 c ) and u 0 on } Let now u 0 C 1 c ) such that u 0 on We choose a point a supp u and a function ϕ C 1 c ) \ {0} such that ϕ 0 and we define for each δ > 0 the function u δ : R for every x by u δ x) = ux) δ p ϕ x a We observe that, if δ > 0 is small enough, u + δ = u+ By a direct computation, we have t + u + δ + t u δ nod if and only if 35) t+ p t p +) Iα u p) u p = t p δ + p p J δ, where t p ϕ + δ ϕ = t p +J δ + t p δ α+ δ ) p p J δ = Iα u p) δz + a) ϕz) ) p dz Iα ϕ p) ϕ p, We observe that when δ = 0, the system reduces to t p + tp + ) Iα u R p) u p = 0, t p ϕ = t p + Iα u p) a) ϕ p, which has a unique solution By the implicit function theorem, for δ > 0 small enough there exists t +,δ, t,δ ) 0, ) that solves the system 35) and such that lim t +,δ, t,δ ) = δ 0 Iα 1, u p) / ) 1 ) a) ϕ p ϕ p Since ) p) > 4, we have t + u + δ + t u δ u strongly in H1 ) as δ 0, and it follows that inf A Au), nod and thus c nod c 0 We assume now that the function u nod minimizes the action functional A on the nodal ehari set nod Since c 0 = c nod, we deduce that u also minimizes A over the ehari manifold 0 By the properties of such groundstates [1, proposition 51], either u + = 0 or u = 0, in contradiction with the assumption u nod and the definition of the ehari nodal set nod

22 MARCO GHIMETI AD JEA VA SCHAFTIGE References [1] A Baernstein II, A unified approach to symmetrization, Partial differential equations of elliptic type Cortona, 199), Sympos Math, XXXV, Cambridge Univ Press, Cambridge, 1994, pp [] V I Bogachev, Measure theory, Springer, Berlin, 007 [3] H Brezis and L irenberg, Remarks on finding critical points, Comm Pure Appl Math ), no 8-9, [4] F Brock and A Yu Solynin, An approach to symmetrization via polarization, Trans Amer Math Soc ), no 4, [5] A Castro, J Cossio, and J M euberger, A minmax principle, index of the critical point, and existence of sign-changing solutions to elliptic boundary value problems, Electron J Differential Equations ), no, 18 [6], A sign-changing solution for a superlinear Dirichlet problem, Rocky Mountain J Math ), no 4, [7] G Cerami, S Solimini, and M Struwe, Some existence results for superlinear elliptic boundary value problems involving critical exponents, J Funct Anal ), no 3, [8] S Cingolani, M Clapp, and S Secchi, Multiple solutions to a magnetic nonlinear Choquard equation, Z Angew Math Phys 63 01), no, [9], Intertwining semiclassical solutions to a Schrödinger-ewton system, Discrete Contin Dyn Syst Ser S 6 013), no 4, [10] M Clapp and D Salazar, Positive and sign changing solutions to a nonlinear Choquard equation, J Math Anal Appl ), no 1, 1 15 [11] M F Furtado, L A Maia, and E S Medeiros, Positive and nodal solutions for a nonlinear Schrödinger equation with indefinite potential, Adv onlinear Stud 8 008), no, [1] M Ghimenti, V Moroz, and J Van Schaftingen, Least action nodal solutions for the quadratic Choquard equation, submitted for publication, available at arxiv: [13] K R W Jones, Gravitational self-energy as the litmus of reality, Modern Physics Letters A ), no 8, [14], ewtonian quantum gravity, Australian Journal of Physics ), no 6, [15] E H Lieb, Existence and uniqueness of the minimizing solution of Choquard s nonlinear equation, Studies in Appl Math /77), no, [16] E H Lieb and M Loss, Analysis, nd ed, Graduate Studies in Mathematics, vol 14, American Mathematical Society, Providence, RI, 001 [17] P-L Lions, The Choquard equation and related questions, onlinear Anal ), no 6, [18], The concentration-compactness principle in the calculus of variations The locally compact case II, Ann Inst H Poincaré Anal on Linéaire ), no 4, 3 83 [19] J Mawhin and M Willem, Critical point theory and Hamiltonian systems, Applied Mathematical Sciences, vol 74, Springer, ew York, 1989 [0] I M Moroz, R Penrose, and P Tod, Spherically-symmetric solutions of the Schrödinger-ewton equations, Classical Quantum Gravity ), no 9, [1] V Moroz and J Van Schaftingen, Groundstates of nonlinear Choquard equations: existence, qualitative properties and decay asymptotics, J Funct Anal ), [], Existence of groundstates for a class of nonlinear Choquard equations, Trans Amer Math Soc ), no 9, [3] R S Palais, The principle of symmetric criticality, Comm Math Phys ), no 1, [4] S Pekar, Untersuchung über die Elektronentheorie der Kristalle, Akademie Verlag, Berlin, 1954

23 ODAL SOLUTIOS FOR THE CHOQUARD EQUATIO 3 [5] M Schechter, An introduction to nonlinear analysis, Cambridge Studies in Advanced Mathematics, vol 95, Cambridge Univ Press, Cambridge, 004 [6], Minimax systems and critical point theory, Birkhäuser, Boston, Mass, 009 [7] J Van Schaftingen, Interpolation inequalities between Sobolev and Morrey Campanato spaces: A common gateway to concentration-compactness and Gagliardo irenberg interpolation inequalities, Port Math ), no 3-4, [8] J Van Schaftingen and M Willem, Set transformations, symmetrizations and isoperimetric inequalities, onlinear analysis and applications to physical sciences Pistoia, May 00) V Benci and A Masiello, eds), Springer Italia, Milan, 004, pp [9], Symmetry of solutions of semilinear elliptic problems, J Eur Math Soc JEMS) ), no, [30] M Willem, Minimax theorems, Progress in onlinear Differential Equations and their Applications, 4, Birkhäuser, Boston, Mass, 1996 [31], Functional analysis: Fundamentals and applications, Cornerstones, vol XIV, Birkhäuser, Basel, 013 Università di Pisa, Dipartimento di Matematica, Largo B Pontecorvo 5, Pisa, Italy address: marcoghimenti@dmaunipiit Université Catholique de Louvain, Institut de Recherche en Mathématique et Physique, Chemin du Cyclotron bte L70101, 1348 Louvain-la-euve, Belgium address: JeanVanSchaftingen@uclouvainbe