arxiv: v1 [math.ap] 9 Jun 2013

Transcription

1 A VARIATIONAL ANALYSIS OF A GAUGED NONLINEAR SCHRÖDINGER EQUATION ALESSIO POMPONIO 1 AND DAVID RUIZ axiv:136.51v1 [math.ap] 9 Jun 13 ABSTRACT. This pape is motivated by a gauged Schödinge equation in dimension including the so-called Chen-Simons tem. The study of adial stationay states leads to the nonlocal poblem: ux + ω + h x x + x hs s u s ds ux = ux p 1 ux, whee h = 1 su s ds. This poblem is the Eule-Lagange equation of a cetain enegy functional. In this pape the study of the global behavio of such functional is completed. We show that fo p 1, 3, the functional may be bounded fom below o not, depending on ω. Quite supisingly, the theshold value fo ω is explicit. Fom this study we pove existence and non-existence of positive solutions. 1. INTRODUCTION In this pape we ae concened with a plana gauged Nonlinea Schödinge Equation: 1 id φ + D 1 D 1 + D D φ + φ p 1 φ =. Hee t R, x = x 1, x R, φ : R R C is the scala field, A µ : R R R ae the components of the gauge potential and D µ = µ + ia µ is the covaiant deivative µ =, 1,. The classical equation fo the gauge potential A µ is the Maxwell equation. Howeve, the modified gauge field equation poposes to include the so-called Chen- Simons tem into that equation see fo instance [, Chapte 1]: µ F µν + 1 κɛναβ F αβ = j ν, with F µν = µ A ν ν A µ. In the above equation, κ is a paamete that measues the stength of the Chen- Simons tem. As usual, ɛ ναβ is the Levi-Civita tenso, and supe-indices ae elated to the Minkowski metic with signatue 1, 1, 1. Finally, j µ is the conseved matte cuent, j = φ, j i = Im φdi φ. 1 Mathematics Subject Classification. 35J, 35Q55. Key wods and phases. Gauged Schödinge Equations, Chen-Simons theoy, Vaiational methods, concentation compactness. A.P. is suppoted by M.I.U.R. - P.R.I.N. Metodi vaiazionali e topologici nello studio di fenomeni non lineai, by GNAMPA Poject Metodi Vaiazionali e Poblemi Ellittici Non Lineai and by FRA11 Equazioni ellittiche di tipo Bon-Infeld. D.R. is suppoted by the Spanish Ministy of Science and Innovation unde Gant MTM and by J. Andalucia FQM

2 POMPONIO AND RUIZ At low enegies, the Maxwell tem becomes negligible and can be dopped, giving ise to: 1 3 κɛναβ F αβ = j ν. See [7, 8, 1 14] fo the discussion above. Fo the sake of simplicity, let us fix κ =. Equations 1 and 3 lead us to the poblem: 4 id φ + D 1 D 1 + D D φ + φ p 1 φ =, A 1 1 A = Im φd φ, A A = Im φd 1 φ, 1 A A 1 = 1 φ. As usual in Chen-Simons theoy, poblem 4 is invaiant unde gauge tansfomation, 5 φ φe iχ, A µ A µ µ χ, fo any abitay C function χ. This model was fist poposed and studied in [1 14], and sometimes has eceived the name of Chen-Simons-Schödinge equation. The initial value poblem, as well as global existence and blow-up, has been addessed in [, 9, 11] fo the case p = 3. The existence of stationay states fo 4 and geneal p > 1 has been studied ecently in [4] with espect to that pape, ou notation intechanges the indices 1 and. By using the ansatz: φt, x = u x e iωt, A x = A x, A 1 t, x = x x h x, A t, x = x 1 x h x, in [4] it is found that u solves the equation:: 6 ux+ ω + ξ + h x + hs x + s u s ds ux = ux p 1 ux, x R, whee x h = 1 su s ds. Hee ξ in R is an integation constant of A, which takes the fom: hs A = ξ + s u s ds. Obseve that 6 is a nonlocal equation. Moeove, in [4] it is shown that 6 is indeed the Eule-Lagange equation of the enegy functional: I ω+ξ : H 1 R R, defined as I ω+ξ u = 1 ux + ω + ξu x dx R + 1 u x x 8 R x su s ds dx 1 ux p+1 dx. p + 1 R Hee H 1 R denotes the Sobolev space of adially symmetic functions. It is impotant to obseve that the enegy functional I ω+ξ pesents a competition between

3 A VARIATIONAL ANALYSIS OF A GAUGED NONLINEAR SCHRÖDINGER EQUATION 3 the nonlocal tem and the local nonlineaity. The study of the behavio of the functional unde this competition is one of the main motivations of this pape. Given a stationay solution, and taking χ = c t in the gauge invaiance 5, we obtain anothe stationay solution; the functions ux, A 1 x, A x ae peseved, and ω ω + c, A x A x c Theefoe, the constant ω + ξ is a gauge invaiant of the stationay solutions of the poblem. By the above discussion we can take ξ = in what follows, that is, lim A x =, x + which was indeed assumed in [, 14]. Fo p > 3, it is shown in [4] that I ω is unbounded fom below, so it exhibits a mountain-pass geomety. In a cetain sense, in this case the local nonlineaity dominates the nonlocal tem. Howeve the existence of a solution is not so diect, since fo p 3, 5 the PS popety is not known to hold. This poblem is bypassed in [4] by using a constained minimization taking into account the Nehai and Pohozaev identities, in the spiit of [17]. Moeove, infinitely many solutions have been found in [1] fo p > 5 possibly sign-changing. A special case in the above equation is p = 3: in this case, static solutions can be found by passing to a self-dual equation, which leads to a Liouville equation that can be solved explicitly. Those ae the unique positive solutions, as poved in [4]. Fo moe infomation on the self-dual equations, see [5, 14, ]. In case p 1, 3, solutions ae found in [4] as minimizes on a L sphee. Theefoe, the value ω comes out as a Lagange multiplie, and it is not contolled. Moeove, the global behavio of the enegy functional I ω is not studied. The main pupose of this pape is to study whethe I ω is bounded fom below o not fo p 1, 3. In this case, the nonlocal tem pevails ove the local nonlineaity, in a cetain sense. As we shall see, the situation is quite ich and unexpected a pioi, and vey diffeent fom the usual Nonlinea Schödinge Equation. This situation diffes also fom the Schödinge-Poisson poblem see [17], which is anothe poblem pesenting a competition between local and nonlocal nonlineaities. We shall pove the existence of a theshold value ω such that I ω is bounded fom below if ω ω, and it is not fo ω, ω. But, in ou opinion, what is most supising is that ω has an explicit expession, namely: 7 ω = 3 p 3 + p 3 p 1 3 p 3 p with m = m 3 + p p 1 p 1 p + 1 cosh 1 p p 1 3 p, Let us give an idea of the poofs. It is not difficult to show that I ω is coecive when the poblem is posed on a bounded domain. So, thee exists a minimize u n on the ball B, n with Diichlet bounday conditions. To pove boundedness of u n, the poblem is the possible loss of mass at infinity as n +. The coe of ou poofs is a detailed study of the behavio of those masses. We ae able to show that, if unbounded, the sequence u n behaves as a soliton, if u n is intepeted as a function of a single eal vaiable. The poof uses a caeful study of the level sets of u n, which take into account the effect of the nonlocal tem. Then, the enegy functional I ω admits a natual appoximation though a convenient limit functional. d.

4 4 POMPONIO AND RUIZ Finally, the solutions of that limit functional, and thei enegy, can be found explicitly, so we can find ω. See Section fo an heuistic explanation of the poof and a deivation of the limit functional. Regading the existence of solutions, a pioi, the global minimize could coespond to the zeo solution. And indeed this is the case fo lage ω. Instead, we show that inf I ω < if ω > ω is close to the theshold value. Theefoe, the global minimize is not tivial, and coesponds to a positive solution. The mountain pass theoem will povide the existence of a second positive solution. If ω < ω, I ω is unbounded fom below, and hence the geometic assumptions of the mountain-pass theoem ae satisfied. Howeve, the boundedness of PS sequences seems to be a had question in this case. Solutions ae found fo almost all values of ω, ω, by using the well-known monotonicity tick of Stuwe [19] see also [15]. Ou main esults ae the following: Theoem 1.1. Fo ω as given in 7, thee holds: i if ω, ω, then I ω is unbounded fom below; ii if ω = ω, then I ω is bounded fom below, not coecive and inf I ω < ; iii if ω > ω, then I ω is bounded fom below and coecive. Regading the existence of solutions, we obtain the following esult: Theoem 1.. Conside 6 with ξ =. Thee exist ω > ω > ω such that: i if ω > ω, then 6 has no solutions diffeent fom zeo; ii if ω ω, ω, then 6 admits at least two positive solutions: one of them is a global minimize fo I ω and the othe is a mountain-pass solution; iii fo almost evey ω, ω 6 admits a positive solution. The est of the pape is oganized as follows. Section is devoted to some peliminay esults. Moeove, we give a heuistic pesentation of ou poofs, which motivates the definition of the limit functional. This limit functional is studied in detail in Section 3. Finally, in Section 4 we pove Theoems 1.1 and 1.. Acknowledgement. This wok has been patially caied out duing a stay of A.P. in Ganada. He would like to expess his deep gatitude to the Depatamento de Análisis Matemático fo the suppot and wam hospitality.. PRELIMINARIES Let us fist fix some notations. We denote by H 1 R the Sobolev space of adially symmetic functions, and its usual nom. Othe noms, like Lebesgue noms, will be indicated with a subscipt. In paticula, H 1 R, H 1 a,b ae used to indicate the noms of the Sobolev spaces of dimension 1. If nothing is specified, stong and weak convegence of sequences of functions ae assumed in the space H 1 R. In ou estimates, we will fequently denote by C >, c > fixed constants, that may change fom line to line, but ae always independent of the vaiable unde consideation. We also use the notations O1, o1, Oε, oε to descibe the asymptotic behavios of quantities in a standad way. Finally the lettes x, y indicate two-dimensional vaiables and, s denote one-dimensional vaiables. Let us stat with the following poposition, poved in [4]: Poposition.1. I ω is a C 1 functional, and its citical points coespond to classical solutions of 6.

5 A VARIATIONAL ANALYSIS OF A GAUGED NONLINEAR SCHRÖDINGER EQUATION 5 Next esult deals with the behavio of I ω unde weak limits in H 1 R. Even if it is not explicitly stated in this fom, Poposition. follows easily fom [4, Lemma 3.] and the compactness of the embedding H 1 R L q R, q, + see [18]. Poposition.. If u n u, then u x nx x su ns ds dx R R u x x x su s ds dx. In paticula, I ω is weak lowe semicontinuous. Moeove, if u n u then I ωu n ϕ I ωuϕ fo all ϕ H 1 R. To finish the account of peliminaies, we now state an inequality which will pove to be fundamental in ou analysis. This inequality is poved in [4], whee also the maximizes ae found. Poposition.3. Fo any u H 1 R, 8 1/ ux 4 dx ux dx R R R u x x su s ds dx As commented in the intoduction, this pape is concened with boundedness fom below of I ω. Let us give a ough idea of the aguments of ou poof. Fist of all, conside u a fixed function, and define u ρ = u ρ. Let us now estimate I ω u ρ as ρ +. π 1 I ω u ρ = ρ ρ u + ωu + ρ d u s + ρu s ds d 1 + ρ ρ p + 1 ρ 1/ u p+1 + ρ d. We estimate the above expession by simply eplacing the expessions + ρ, s + ρ with the constant ρ: π 1 I ω u ρ [ 1 = ρ [ 1 u + ωu d u + ωu d u u s ds d 1 ] + u p+1 d p u d 1 ] + u p+1 d. p + 1 This estimate will be made igoous in Lemma 4.1. Theefoe, it is natual to define the limit functional J ω : H 1 R R, J ω u = 1 u + ωu d u d 1 u p+1 d. 4 p + 1 As a consequence of the above agument, if J ω attains negative values, then I ω will be unbounded fom below. The evese is also tue, but the poof is moe delicate. We will show that if u n is unbounded in H 1 R and I ω u n is bounded fom above, then somehow u n contains a cetain mass speading to infinity, as u ρ does. This will be made explicit in Poposition 4.. But this will lead us to a contadiction if J ω is positive on that mass. The poof of this agument is howeve fa fom tivial, and is the coe of this pape..

6 6 POMPONIO AND RUIZ Summing up, we ae able to elate I ω with the limit functional J ω in the following way: inf I ω > inf J ω =. Moeove this chaacteization will give us the theshold value fo ω, since the citical points of J ω can be found explicitly, as will be shown in next Section. 3. THE LIMIT PROBLEM In this section we deal with the limit functional J ω : H 1 R R, 9 J ω u = 1 u + ωu d u d 1 4 p + 1 Clealy, the Eule-Lagange equation of 9 is the following poblem: 1 u + ωu u s ds u = u p 1 u, in R. u p+1 d. As we shall see late, we will find the explicit solutions of 1 late. But, fist, let us study it fom a vaiational point of view: this study will give us some futhe infomation on the solutions. Befoe going on, we need a technical esult, which is stated in next lemma. We think that such esult must be well-known, but we have not been able to find a explicit efeence. Lemma 3.1. Let u n H 1 R a sequence of even non-negative functions which ae deceasing in >, and assume that u n u weakly in H 1 R. Then u is also even, non-negative and deceasing in >, and u n u in L q R fo any q, +. Poof. Obseve that the set A = {u H 1 R nonnegative, even and deceasing in > } is a closed and convex subset of H 1 R. As a consequence, u A. Then, fo any R,, C u ns ds u n u n C, and the same estimate woks fo u. With this inequality, we can estimate: R u n u q d u n u q d + C q/ d = R R R >R u n u q d + 4C q R q. Take into account that, by Rellich-Kondachov Theoem, u n u in L q R, R fo any R > fixed. Then, the above inequality implies that u n u in L q R. Some of the popeties of the functional J ω ae discussed below: Poposition 3.. Conside the functional J ω with p 1, 3 and ω >. The following popeties hold: a J ω is coecive and attains its infimum. b is a local minimum of J ω. Indeed, thee exists > with the following popety: fo any,, thee exists α > satisfying that J ω u > α, fo any u H 1 R with u H1 R =. c Thee exists ω > such that min J ω < if and only if ω [, ω.

7 A VARIATIONAL ANALYSIS OF A GAUGED NONLINEAR SCHRÖDINGER EQUATION 7 Poof. Poof of a To pove coecivity, we use Gagliado-Nienbeg inequality: Hence Then, 11 J ω u 1 4 u 4 d C u L 4 C u 1/4 L u 3/4 L. [ u d+ 1 3 u d +c 48 3 ] u d + u d. u 4 d 1 p + 1 u p+1 d. Obseve that fo any C > we can choose D > so that t 3 Ct D fo evey t. Applying this with t = u d into 11, and enaming C, we obtain: J ω u 1 u d + Cu + cu p + 1 u p+1 d D. Now, it suffices to take C so that the function Cu + cu 4 1 p+1 u p+1 fo any u R. Take now u n such that J ω u n inf J ω. Fom the coecivity, it follows that u n is bounded. Conside now the sequence v n = u n of non-negative symmetized functions. Clealy, v n is also bounded, and it is easy to obseve that inf J ω J ω v n J ω u n inf J ω. Assume, passing to a subsequence, that v n v weakly in H 1 R. By Lemma 3.1, v n v in L p+1 R. The weak lowe semicontinuity of the nom allows us to conclude that u is a minimize of J ω. Poof of b This is quite standad. Indeed, by using Sobolev inequality, J ω u 1 min{1, ω} u H 1 R C u p+1 H 1 R. Poof of c Let us define the map φ : [, + R, φω = min J ω. It is easy to check that φ is inceasing and continuous. Moeove, φω fo all ω obseve that J ω =. We claim that φω = fo lage ω. Indeed, by the same aguments of the poof of a: ω J ω u u + cu 4 1 p + 1 u p+1 d. Fo ω sufficiently lage, ω u +cu 4 1 p+1 u p+1 fo any u R. Then J ω u fo any u H 1 R, poving the claim. We now show that φ <. On that pupose, fix u H 1 R and define u λ = λ p 1 uλ. Thee holds: J u λ = 1 λ p+3 p 1 u d λ 35 p p 1 u d 1 p + 1 λ p+3 p 1 u p+1 d. Theefoe, fo λ sufficiently small, J u λ has the sign of the tem 1 u d 1 p + 1 u p+1 d. It suffices to take u such that this quantity is negative to conclude. So, we can define ω = min{ω : φω = } >.

8 8 POMPONIO AND RUIZ As a consequence of the pevious esult, fo ω [, ω thee exists a nontivial solution fo 1, which coesponds to a global minimum of J ω. As announced in the intoduction, the expession fo ω will found late on. We now pass to finding the explicit solutions of poblem 1. Fo any k > we denote by w k H 1 R the unique positive adial solution of: 1 w k + kw k = w p k, in R. Let us state some well-known popeties of this equation. Fist, the Hamiltonian of w k is equal to, that is, 13 1 w k + k w k 1 p + 1 wp+1 k =, fo all R. It is also known that any solution of 1 is of the fom ux = ±w k x y, fo some y R. Moeove, 14 w k = k 1 p 1 w1 1 p 1 k, whee w 1 = p + 1 cosh 1 p. 15 In what follows we define m = w 1 d. The following elations ae also well known, and can be deduced fom 13: w 1 d = p 1 p + 3 m, Poposition 3.3. Let us conside the equation: 16 k = ω m k 5 p p 1, k >. w p+1 p d = p + 3 m. Then, u is a nontivial solution of 1 if and only if u = w k ξ fo some ξ R and k a oot of 16. Define: 5 pm p 1 3 p m 17 ω 1 = 4p 1 4 The following holds: 5 pm 4p 1 5 p 3 p. 1 if ω > ω 1, equation 16 has no solution and thee is no nontivial solution of 1; if ω = ω 1, equation 16 has only one solution k and w k is the only nontivial solution of 1 apat fom tanslations; 3 if ω, ω 1, equation 16 has two solutions k 1 ω < k ω and w k1, w k ae the only two non-tivial solutions of 1 apat fom tanslations. Poof. Let u be a nontivial solution of 1, and define k = ω d u Then, u is a solution of u + ku = u p, so u = w k ξ fo some ξ R. By using 14, we obtain: k = ω + 1 w 4 k d = ω k 4 p 1 w1 k d. A change of vaiables leads us to equation 16.

9 A VARIATIONAL ANALYSIS OF A GAUGED NONLINEAR SCHRÖDINGER EQUATION 9 Moeove, 1 < p < 3 5 p p 1 > 1. Theefoe, the function, + k k 5 p p 1 is convex. Theefoe, thee exists ω 1 > with the popeties indicated. In ode to get the exact value of ω 1, obseve that the function k ω m k 5 p p 1 k has a degeneate. Then, ω1 solves the system: ω + m 4 k 5 p p 1 = k, 5 p 4p 1 m k 5 p p 1 1 = 1. Fom this one obtains fomula 17. In ou next esult, we obtain infomation fom Poposition 3.3. Poposition 3.4. Let ω, ω 1 be the values defined in Popositions 3. and 3.3. Then: 1 ω < ω 1, and ω has the expession: 18 ω = 3 p 3 + p 3 p 1 3 p 3 p m p 1 3 p 3 + p, p 1 whee m is as in 3. Fo any ω, ω 1, J ω w k1 > J ω w k. In paticula, fo any ω, ω, w k is a global minimize of J ω. Poof. We conside the enegy functional J ω evaluated on the cuve k w k. In the computations that follow we use 14 and change of vaiables. We have ψk := J ω w k = k 3+p p 1 + k 35 p p 1 4 w 1 d w 1 d + ω k 5 p p 1 3 k 3+p p 1 p + 1 w 1 d w 1 p+1 d. Plugging 15 into that expession, [ p 5 ψk = m 3 + p k 3+p ω p 1 + k 5 p m ] p k 35 p p 1. Then: [ d 7 3p 5 p ψk = m k p 1 k + ω + 1 ] dk 4p 1 4 m k 5 p p 1. In paticula, the oots of 16 ae exactly the citical points of ψ. Obseve that: 5 p p 1 < 3 + p 35 p < p 1 p 1. Then ψ is inceasing nea fo ω > and nea infinity. Theefoe, fo ω, ω 1, its fist oot coesponds to a local maximum of ψ and the second one to a local minimum, so Jw k1 > Jw k. Take now ω, ω. Since in this case the minimize is nontivial, it must coespond to w k. Moeove, ω < ω 1. In ode to get the value of ω, obseve that J ω w k =. Theefoe, ω > solves: { ω m k 5 p p 1 = k, p 5 3+p k 3+p p 1 Fom thee, expession 18 follows. + ω k 5 p p 1 + m 4 k 35 p p 1 =.

10 1 POMPONIO AND RUIZ Remak 3.5. Obseve that the map ψ defined in the poof of Poposition 3.4 gives us a quite clea intepetation of the functional J ω. Indeed, k is a citical point of ψ if and only if w k is a citical point of J ω. Moeove, the following holds. 1 If ω > ω 1, ψ is positive and inceasing without citical points. If ω = ω 1, ψ is still positive and inceasing, but it has an inflection point at k = k. 3 If ω, ω 1, ψ has a local maximum and minimum attained at k 1 and k, espectively. 4 If ω = ω, ψk =. Obseve then, in this case, the minimum of J ω is, and is attained at and w k. 5 If ω [, ω, ψk < and then w k is the unique global minimize, with J ω w k <. Remak 3.6. In geneal, we cannot obtain a moe explicit expession of m depending on p, but it can be easily appoximated by using some softwae. In Figue 1 the maps ω p and ω 1 p have been plotted FIGURE 1. The values ω p < ω 1 p, fo p 1, 3. Fo some specific values of p, m can be explicitly computed, and hence ω and ω 1. Fo instance, if p =, m = 6, ω 1 = 9 and ω 3 = We finish this section with a technical esult that will be of use late in the poof of Theoem 1.1. Poposition 3.7. Assume ω ω, and u n H 1 R such that J ω u n. Thee holds 1 if ω > ω, then u n in H 1 R; if ω = ω, then, up to a subsequence, eithe u n o u n x n w k in H 1 R, fo some sequence x n R. Poof. Since J ω is coecive, we have that u n is bounded. If u n in H 1 R, we ae done. Othewise, we have that: o n 1 = J ω u n 1 u n + ωu n d 1 u n p+1 d. p + 1 Then, u n in L p+1 R. We can apply concentation-compactness lemma see [16, Lemma I.1], and thee exists ξ n R such that ξ n+1 ξ n 1 u n ε >. Theefoe,

11 A VARIATIONAL ANALYSIS OF A GAUGED NONLINEAR SCHRÖDINGER EQUATION 11 ũ n = u n ξ n u weakly in H 1 R. Define v n = ũ n u, which clealy conveges weakly to in H 1 R. Step 1: v n in L R. We just compute o n 1 = J ω u n = J ω u n = J ω v n + u = v n + u + v nu d + ω [ +3 vn d 3 3 vn d + u d + 3 ] u d v n + u + v n u d 1 p + 1 vn d u d v n + u p+1 d + o n 1. Hee the mixed poducts convege to zeo, since v n. Passing to a subsequence, we can assume that v n almost eveywhee. Then, the well-known Bezis-Lieb lemma [3] implies that Then, v n + u p+1 d v n p+1 + u p+1 d. [ o n 1 = J ω u n = J ω v n + J ω u vn d u d 8 ] + vn d u d + o n 1. It is hee that the assumption ω ω is cucial. Indeed, it implies that J ω v n, J ω u. Recall that u, to conclude the poof of Step 1. Step : Conclusion. By intepolation, o n 1 = J ω ũ n = 1 v n L p+1 v n α L v n 1 α ũ n + ωũ n d L p+, fo some α, 1. Since v n is bounded in H 1 R, then all noms above ae bounded. Then, by Step 1, v n L p+1. In othe wods, ũ n u in L p+1 R. Fom this it is easy to conclude. Indeed, 3 ũ n d 1 J ω u = 1 p + 1 u + ωu d u d 1 8 p + 1 ũ n p+1 d, u p+1 d. Then, ũ n H 1 R u H 1 R. And this implies that ũ n u in H 1 R, finishing the poof. 4. PROOF OF THEOREMS 1.1, 1. Lemma 4.1. Let U H 1 R be an even function which decays to zeo exponentially at infinity, and define U ρ = U ρ. Then thee exists C > such that: I ω U ρ = πρj ω U C + o ρ 1.

12 1 POMPONIO AND RUIZ Poof. We have π 1 I ω U ρ = p + 1 U ρ + ωuρ 1 d + 8 U ρ p+1 d. Uρ suρ s ds d Let us, fist of all, evaluate the local tems. By the evenness and the exponential decay of U, we get U ρ d = = ρ U ρ ρ d + ρ U d + o ρ 1. U ρ d + o ρ 1 Analogously 1 U ρ d = ρ U ρ p+1 d = ρ U d + o ρ 1, U p+1 d + o ρ 1. Fo what concens the nonlocal tem, we have Uρ suρ s ds d ρ Uρ Uρ s ds d 1 = Uρ 1 suρ s ds d ρ }{{} + 1 ρ U ρ I [ suρ s ds ] ρuρ s ds } {{ } II d.

13 A VARIATIONAL ANALYSIS OF A GAUGED NONLINEAR SCHRÖDINGER EQUATION 13 Let us study the tem I: I = Uρ ρ suρ s ds d + o ρ 1 ρ = U s + ρu s ds d + o ρ 1 ρ + ρ = = + U ρ ρ s + ρu s ds d s + ρu s ds d + o ρ 1 U ρ + ρ U ρ ρ ρ + ρ [ U ρ + ρ s + ρu s ds d s + ρu s ds + o ρ 1 = 1 U ρ s + ρ U s ds d ρ ρ ρ + ρ [ + + U ρ s + ρ U s + ρ s ds ρ + ρ ρ + o ρ 1. s + ρu s ds We now pass to the limit by Lebesgue Theoem, and obtain: [ + ] I = U U s ds U s ds d + o ρ 1 = C I + o ρ 1. Let us study the tem II: II = 1 Uρ ρ = 1 Uρ ρ = U s + ρuρ s ds s + ρuρ s ds s + ρ U s ds ρ s ρuρ s ds d ] ] U s ds d s ρuρ s ds d + o ρ 1 su s ds d + o ρ 1. Again by Lebesgue Theoem, II = U U s ds su s ds d + o ρ 1 = C II + o ρ 1. Obseve that the above expession is negative since the function su s ds is negative. Theefoe, denoting by C = C I + C II >, we have 3 Uρ suρ s ds d = ρ Hence the conclusion follows by 19,, 1, and 3. Uρ Uρ s ds d C + o ρ 1. d

14 14 POMPONIO AND RUIZ In ou next esult we study the behavio of unbounded sequences with enegy bounded fom above. This will be essential fo the poof of Theoems 1.1, 1.. Poposition 4.. Assume ω >, and u n H 1 R such that u n is unbounded but I ω u n is bounded fom above. Then, thee exists a subsequence still denoted by u n such that: i fo all ε >, u n + u n d C; ε u n ii thee exists δ, 1 such that iii u n L R +. δ 1 u n δ u n u n + u n d c > ; Poof. The beginning of the poof follows the ideas of [17, Theoem 4.3]. The main diffeence is that hee we cannot conclude diectly that I ω is bounded fom below, and indeed this fact depends on ω. The poof of Theoem 1.1 will equie much moe wok. We stat using inequality 8 and Cauchy-Schwatz inequality to estimate I ω : 4 I ω u π + π u + ωu d + π 8 ω 4 u u4 1 p + 1 u p+1 u su s ds d d. Define f : R + R, ft = ω 4 t t4 1 p + 1 tp+1. Then, the set {t > : ft < } is of the fom α, β, whee α, β ae positive constants depending only on p, ω. Moeove, we denote by c = min f <. Fo each function u n, we define: A n = {x R : u n x α, β}, ρ n = sup{ x : x A n }. With these definitions, we can ewite 4 in the fom 5 I ω u n π u n + ωu π + u n d + n su 8 ns ds d c A n. In paticula this implies that A n must divege, and hence ρ n. This aleady poves iii. By Stauss Lemma [18], we have 6 α u n ρ n u n ρn, u n α ρ n. We now estimate the nonlocal tem. Fo that, define 7 B n = A n B, γ n, fo γ n, ρ n such that B n = 1 A n.

15 A VARIATIONAL ANALYSIS OF A GAUGED NONLINEAR SCHRÖDINGER EQUATION 15 8 Then, u n Hence, by 4, 6 and 8, we get I ω u n cρ n + c A n 3 su ns ds d 1 u n 4π u γ n nx dx d B n c A n u n d γ n c A n u nx x dx ρ n c A n ρ n c A n 3 ρ. n A n\b n A n\b n u nx dx c A n = ρ n c + c A n 3 ρ 3 n A n c. ρ n Obseve that t c + ct 3 c t is stictly positive nea zeo and goes to +, as t +. Then we can assume, passing to a subsequence, that A n ρ n. In othe wods, thee exists m > such that ρ n A n 1 m as n +. Taking into account 5 we conclude that up to a subsequence, u n ρ n. Moeove, fo any fixed ε >, we have: Cρ n u n L u n d ερ n ερ n ερ n u n d. An analogous estimate woks also fo ερ n u n d. This poves i. We now show that fo some δ >, u n H 1 δρ n,ρ n, which implies assetion ii. Fist, ecall the definition of B n and γ n in 7. Then, ρn γ n u n d ρ 1 n ρn γ n u n d ρ 1 n A n\b n u nxdx ρ 1 n A n \B n α > c >. To conclude it suffices to show that γ n ρ n. Indeed, by epeating the estimate 8 with A n eplaced by B n, we infe I ω u n cρ n + c A n 3 γn c A n = γ n c ρ n + c A n 3 A n γ n γn 3 c. γ n And we ae done since I ω u n is bounded fom above. Poof of Theoem 1.1. If ω, ω, then J ω w k < see Poposition 3.: applying Lemma 4.1 to U = w k we conclude assetion i. We now pove ii and iii. Let us denote by H 1,B, R the Sobolev space of adial functions with zeo bounday value. Given any n N, Poposition 4. implies that I ω H 1, B,n is coecive indeed, this is an immediate consequence of 4. So, thee exists u n a minimize fo I ω H 1, B,n. Moeove, I ω u n inf I ω, as n +. If u n is bounded, then I ω u n is also bounded and theefoe inf I ω is finite. In what follows we assume that u n is an unbounded sequence. Then, the sequence u n satisfies the hypotheses of Poposition 4.. Let δ > be given by that poposition.

16 16 POMPONIO AND RUIZ The poof will be divided in seveal steps. δ un Step 1: u n p+1 d. δ un Fo each n N, we can choose x n, y n : such that δ u n < x n < δ u n 1, δ 1 u n + 1 < y n < δ 1 u n u n H 1 x n,x n+1 + u n H 1 y n,y n+1 C u n. Obseve that if δ 1 u n n, the choice of y n can be abitay, but it is unnecessay. Take φ n : [, + ] [, 1] be a C -function such that, if x n, φ n = 1, if x n + 1 y n, φ n., if y n + 1. We have yn = I ωu n [φ n u n ] π u n + ωu yn n d π u n p+1 d + O1 x n x n δ yn u n u n + ωu yn n d u n p+1 d + O1. δ x n This, togethe with the fact that u n H 1 x n,y n does not tend to zeo, allows us to conclude the poof of Step 1. Step : Exponential decay. At this point we can apply the concentation-compactness pinciple see [16, Lemma 1.1]; thee exists σ > such that Let us define the set: 9 D n = { ξ [x n, y n ] : sup ξ [x n, y n] ξ+1 ξ 1 ξ+1 ξ 1 x n u n d σ >. } u n + u n d σ, and ξ n = max D n. By definition, ζ+1 ζ 1 u n + u n d < σ fo all ζ > ξ n. By embedding of H 1 ζ 1, ζ + 1 in L, < u n ζ < Cσ fo any ζ > ξ n. Fom this we will get exponential decay of u n. Indeed, u n is a solution of with u n u f n = h n + + ωu n + f n u n = u n p 1 u n, h n s u s ns ds, h n = 1 u nss ds. It is impotant to obseve that f n C fo all > δ u n. Then, by taking smalle σ, if necessay, we can conclude that thee exists C > such that u n < Cexp ω ξ n, fo all > ξ n.

17 A VARIATIONAL ANALYSIS OF A GAUGED NONLINEAR SCHRÖDINGER EQUATION 17 The local C 1 egulaity theoy fo the Laplace opeato see [6, Section 3.4] implies a simila estimate fo u n. In othe wods, 3 u n + u n < Cexp ω ξ n, fo all > ξ n. Step 3: Splitting of I ω u n. Let us now choose anothe cut-off function; take z n : ξ n 3 u n < z n < ξ n u n, such that u n H 1 z C n,z n+1 u n. Define ψ n : [, + ] [, 1] be a smooth function such that {, if zn, 31 ψ n = ψ 1, if z n + 1, n. In what follows we want to estimate I ω u n with I ω ψ n u n and I ω 1 ψ n u n. Let us stat evaluating the local tems. u n d = u n ψ n d + u n 1 ψ n d + O un, u n d = u n p+1 d = u n ψ n d + u n ψ n p+1 d + u n 1 ψ n d + O u n, u n 1 ψ n p+1 d + O u n. Let us study now the nonlocal tem. u n su u ns ds d = nψ n su nsψns ds d u + n1 ψ n su ns1 ψ n s ds d u + nψ n su ns1 ψ n s ds d }{{} I u + nψ n su nsψns ds su ns1 ψ n s ds d }{{} II + O u n. We now estimate: II = whee z n u nψ n + O u n I, zn+1 su nsψns ds z n c n u n 1 ψ n L R + O u n, c n = Theefoe, we get z n u nψ n su ns1 ψ n s ds d su nsψns ds d c >. z n 3 I ω u n I ω u n ψ n + I ω u n 1 ψ n + c u n 1 ψ n L R + O u n.

18 18 POMPONIO AND RUIZ Step 4: The following estimate holds: 33 I ω u n ψ n = πξ n J ω u n ψ n + O u n. Indeed, by taking into account Poposition 4., 3 and the definition of ψ n 31, we have u n ψ n d ξ n u n ψ n d u n ψ n ξ n d ξn+ u n ξ n 3 u n ξn+ u n O u n u n ξ n d + o1 ξ n 3 u n u n d + o1 = O u n. The estimates ae simila fo the othe local tems of I ω. Fo what concens the nonlocal tem, we get u n ψ n su n ψ n s ds d ξ n u n ψ n u n ψ n s ds d 1 = u n ψ n 1 su n ψ n s ds d ξ n }{{} whee I and 35 II 1 ξ n ξ n I [ u n ψ n su n ψ n s ds ] ξ n u n ψ n s ds } {{ } II + o1 ξn+ u n ξ n 3 u n ξn+ u n ξ n 3 u n = O u n. u n ξ n ξ n u n ξn+ u n ξ n 3 u n ξn+ u n su ns ds d + o1 = O u n ξ n 3 u n s + ξ n u ns ds ξn+ u n ξ n 3 u n d, s ξ n u ns ds d Step 5: Conclusion fo ω > ω. By 3 and 33, we have 36 I ω u n πξ n J ω u n ψ n + I ω u n 1 ψ n + c u n 1 ψ n L R + O u n. Recall that u n ψ n H 1 R σ >. By Poposition 3.7, we have that J ωu n ψ n c >, up to a subsequence. Since ξ n u n, it tuns out fom 36 that I ω u n > I ω u n 1 ψ n. But this is a contadiction with the definition of u n, which poves that inf I ω >.

19 A VARIATIONAL ANALYSIS OF A GAUGED NONLINEAR SCHRÖDINGER EQUATION 19 Let us now show that I ω is coecive. Indeed, take u n H 1 R an unbounded sequence, and assume that I ω u n is bounded fom above. By Poposition 4., iii, we would obtain that Iˆω u n fo any ω < ˆω < ω, a contadiction. Step 6: Conclusion fo ω = ω. As above, 36 gives a contadiction unless J ω u n ψ n. Poposition 3.7 now implies that ψ n u n t n w k up to a subsequence, fo some t n, +. Since ξ n D n see thei definition in 9, we have that t n ξ n is bounded. With this exta infomation, we have a bette estimate of the decay of the solutions: indeed, 37 u n + u n < Cexp ω ξ n, fo all > ξ n u n. This allows us to do the cut-off pocedue in a much moe accuate way. Indeed, take Then, 37 implies that z n = ξ n u n. 38 u n H 1 z n, z n+1 Cexp ω u n. Define ψ n : [, + ] [, 1] accodingly: ψ n = {, if zn, 1, if z n + 1, ψ n. The advantage is that, in the estimate of I ω u n, now the eos ae exponentially small. Indeed, by epeating the estimates of Step 3 with the new infomation 38, we obtain: I ω u n I ω u n ψn + I ω u n 1 ψ n + c u n 1 ψ n L R + o1. Let us show that in this case 33 becomes I ω u n ψn = πξ n J ω u n ψn + O1. Indeed, by 37 and 38, we have u n ψn d ξ n u n ψn d u n ψn ξ n d C; the othe local tems can be estimated similaly. Fo what concens the nonlocal tem, we epeat the aguments of the pevious case using in 34 and 35 the infomations contained in 37 and 38. Then, I ω u n I ω u n ψn + I ω un 1 ψ n + c u n 1 ψ n L R + O1 = πξ n J ω u n ψn + I ω un 1 ψ n + c u n 1 ψ n L R + O1 I ω+c un 1 ψ n + O1. But, by Case 1, we aleady know that I ω+c is bounded fom below, and hence inf I ω >. Finally, applying Lemma 4.1 to U = w k, we eadily get that I ω is not coecive. Poof of Theoem 1.. We shall pove each assessment sepaately.

20 POMPONIO AND RUIZ Poof of i. Let u be a solution of 6. We multiply 6 by u and integate: taking into account the inequality 8, we get = u + ωu dx + 3 u x x R 4 R x su s ds dx u p+1 dx R 1 u dx + ωu u4 u p+1 dx. R R Obseve that thee exists ω > such that, fo ω > ω, the function t ωt t4 t p+1 is non-negative. Theefoe u must be identically zeo. Poof of ii. Fist, we obseve that since inf I ω <, thee exists ω > ω such that inf I ω < if and only if ω ω, ω. Since, by Theoem 1.1 and Poposition., I ω is coecive and weakly lowe semicontinuous, we infe that the infimum is attained. Clealy, is a local minimum fo I ω. Then, if ω ω, ω, so the functional satisfies the geometical assumptions of the Mountain Pass Theoem, see [1]. Since I ω is coecive, PS sequences ae bounded. By the compact embedding of H 1 R into L p+1 R and Poposition., standad aguments show that I ω satisfies the Palais-Smale condition and so we find a second solution which is at a positive enegy level. Poof of iii. Let now conside ω, ω. Pefoming the escaling u u ω = ω u ω, we get I ω u ω = ω 1 u + u dx + 1 R 8 ω p 3 ] u p+1 dx. p + 1 R Define λ = ω p 3 and I λ : H 1 R R as I λ u = 1 u + u dx + 1 R 8 λ u p+1 dx. p + 1 R R R u x x u x x x su s ds dx x su s ds dx Since I λ satisfies the geometical assmptions of the Mountain Pass Theoem, by [15, Theoem 1.1], we infe that, fo almost evey λ, the functional I λ possesses a bounded Palais-Smale sequence u n. Assume u n u; Poposition. and standad aguments imply that u is a citical point of I λ. Making the change of vaiables back we obtain a solution of 6 fo almost evey ω, ω. Finally, in ode to find positive solutions of 6, we simply obseve that the whole agument applies to the functional I ω + : H 1 R R I ω + u = 1 u + ωu dx + 1 u x x R 8 R x su s ds dx 1 u + p+1 dx. p + 1 R

21 A VARIATIONAL ANALYSIS OF A GAUGED NONLINEAR SCHRÖDINGER EQUATION 1 Due to the maximum pinciple, the citical points of I ω + 6. ae positive solutions of REFERENCES [1] A. Ambosetti and P. H. Rabinowitz, Dual vaiational methods in citical point theoy and applications, J. Functional Analysis , [] L. Begé, A. de Bouad and J. C. Saut, Blowing up time-dependent solutions of the plana Chen- Simons gauged nonlinea Schödinge equation, Nonlineaity , [3] H. Bézis, and E. Lieb, A elation between pointwise convegence of functions and convegence of functionals, Poc. Ame. Math. Soc , [4] J. Byeon, H. Huh, and J. Seok, Standing waves of nonlinea Schödinge equations with the gauge field, J. Funct. Anal. 63 1, no. 6, [5] V. Dunne, Self-dual Chen-Simons Theoies, Spinge, [6] D. Gilbag and N. S. Tudinge, Elliptic Patial Diffeential Equations of Second Ode, Spinge, 3d edition, [7] C. Hagen, A new gauge theoy without an elementay photon, Ann. of Phys , [8] C. Hagen, Rotational anomalies without anyons, Phys. Review D , [9] H. Huh, Blow-up solutions of the Chen-Simons-Schödinge equations, Nonlineaity [1] H. Huh, Standing waves of the Schödinge equation coupled with the Chen-Simons gauge field. J. Math. Phys. 53 1, no. 6, 637, 8 pp. [11] H. Huh, Enegy Solution to the Chen-Simons-Schödinge Equations, Abstact and Applied Analysis Volume 13, Aticle ID 59653, 7 pages. [1] R. Jackiw and S.-Y. Pi, Soliton solutions to the gauged nonlinea Schödinge Equations, Phys. Review Lettes , [13] R. Jackiw and S.-Y. Pi, Classical and quantal nonelativistic Chen-Simons theoy, Phys. Rev. D [14] R. Jackiw and S.-Y. Pi, Self-dual Chen-Simons solitons, Pog. Theoet. Phys. Suppl [15] L. Jeanjean, On the existence of bounded Palais-Smale sequences and applications to a Landesman-Laze type poblem set on R N, Poc. Roy. Soc. Edinbugh A [16] P.-L. Lions, The concentation-compactness pinciple in the calculus of vaiations. The locally compact case, pat 1 and, Ann. Inst. Heni. Poincaé Anal. Non linéaie , and [17] D. Ruiz, The Schödinge-Poisson equation unde the effect of a nonlinea local tem, J. Funct. Anal. 37 6, [18] W.-A. Stauss, Existence of solitay waves in highe dimensions, Comm. Math. Phys , [19] M. Stuwe, On the evolution of hamonic mappings of Riemannian sufaces, Comment. Math. Helv [] G. Taantello, Self-Dual Gauge Field Votices: An Analytical Appoach, PNLDE 7, Bikhäuse Boston, Inc., Boston, MA, 7. 1 DIPARTIMENTO DI MECCANICA, MATEMATICA E MANAGEMENT, POLITECNICO DI BARI, VIA E. ORABONA 4, 715 BARI, ITALY. DPTO. ANÁLISIS MATEMÁTICO, GRANADA, 1871 SPAIN. addess: a.pomponio@poliba.it, dauiz@ug.es