arxiv: v1 [math.ap] 30 Jul 2013

Transcription

1 BOUNDAY CONCENTATION OF A GAUGED NONLINEA SCHÖDINGE EQUATION ON LAGE BALLS ALESSIO POMPONIO 1 AND DAVID UIZ axiv:137815v1 [mathap] 3 Jul 13 ABSTACT Thi pape i motivated by a gauged Schödinge equation in dimenion including the o-called Chen-Simon tem The adially ymmetic cae lead to an elliptic poblem with a nonlocal defocuing tem, in competition with a local focuing nonlineaity In thi wok we poe the equation in a ball unde homogeneou Diichlet bounday condition By uing ingula petubation agument we pove exitence of olution fo lage value of the adiu Thoe olution ae located cloe to the bounday and the limit pofile i given 1 INTODUCTION Let u conide a gauged Nonlinea Schödinge Equation in the plane: 1 id φ + D 1 D 1 + D D φ + φ p 1 φ = Hee t, x = x 1, x, φ : C i the cala field, A µ : ae the component of the gauge potential and D µ = µ + ia µ i the covaiant deivative µ =, 1, The natual equation fo the gauge potential A µ ae the Maxwell equation Howeve, the modified gauge field equation popoe to include alo the o-called Chen-Simon tem, that i, µ F µν + 1 κɛναβ F αβ = j ν, with F µν = µ A ν ν A µ In the above equation, κ i a paamete that meaue the tength of the Chen- Simon tem A uual, ɛ ναβ i the Levi-Civita teno, and upe-indice ae elated to the Minkowki metic with ignatue 1, 1, 1 Finally, j µ i the coneved matte cuent, j = φ, j i = Im φdi φ At low enegie, the Maxwell tem become negligible and can be dopped, giving ie to: 1 κɛναβ F αβ = j ν See [6, 7, 11, 1, 13] and [15, Chapte 1] fo the dicuion above 1 Mathematic Subject Claification 35J, 35Q55 Key wod and phae Gauged Schödinge Equation, Lyapunov-Schmidt eduction AP i uppoted by MIU - PIN Metodi vaiazionali e topologici nello tudio di fenomeni non lineai, by GNAMPA Poject Metodi Vaiazionali e Poblemi Ellittici Non Lineai and by FA11 Equazioni ellittiche di tipo Bon-Infeld D i uppoted by the Spanih Minity of Science and Innovation unde Gant MTM and by J Andalucia FQM 116 1

2 POMPONIO AND UIZ Fo the ake of implicity, let u nomalize o that κ = Equation 1 and lead u to the poblem: 3 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 φ A uual in Chen-Simon theoy, poblem 3 i invaiant unde gauge tanfomation, φ φe iχ, A µ A µ µ χ fo any abitay C function χ Thi model wa fit popoed and tudied in [11, 1, 13], and ometime ha eceived the name of Chen-Simon-Schödinge equation The initial value poblem, a well a global exitence and blow-up, ha been addeed in [, 8, 1] fo the cae p = 3 The exitence of tationay tate fo 3 and geneal p > 1 ha been tudied ecently in [5, 9, 1] By uing the anatz: φ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, and afte ome manipulation, in [5] it i found that: ux+ ω + h x + h x + u d ux = ux p 1 ux, in, whee Hee A take the fom: x h = 1 u d h A = u d Obeve that i a nonlocal equation Moeove, in [5] it i hown that i indeed the Eule-Lagange equation of the enegy functional: I : H 1, defined a Iu = 1 ux + ωu x dx + 1 u x 8 x u d dx 1 ux p+1 dx p + 1 Hee H 1 i the Sobolev pace of adially ymmetic function In [5, 9, 1] citical point of I ae found by uing vaiational method It i hown that the value p = 3 i citical fo thi poblem Indeed, fo p > 3 the enegy functional i unbounded fom below and atifie a mountain-pa geomety Even if the PS popety i not known to be atified, poitive olution ae found in [5] Intead, fo p 1, 3 the global behavio of I i diffeent and depend on the paamete ω In [1] we how that I i bounded fom below if and only if ω ω, whee the thehold value ω i explicit, namely: ω = 3 p 3 + p 3 p 1 3 p 3 p m 3 + p p 1 p 1 3 p

3 BOUNDAY CONCENTATION OF A GAUGED NONLINEA SCHÖDINGE EQUATION 3 Hee m = w 1 d, and w 1 i the unique poitive even olution of the poblem w + w = w p in, ie, 1 p 1 5 w 1 = p + 1 coh 1 p In thi pape we tudy poitive olution fo the Diichlet poblem poed on a ball B,, that i: 6 ux + ux =, whee, a above, ω + h x x + x h u d ux = u p x, x B,, x B,, h = 1 u d Let u denote by H = H,B, 1 the Sobolev Space of adially ymmetic function Again, 6 i the Eule-Lagange equation of the functional I : H, I = I H A fit motivation fo thi tudy come fom the poof of [1] It i not difficult to how that I i coecive fo any fixed So, thee exit a minimize u of I In ode to pove boundedne of u when +, the poblem i the poible lo of ma at infinity In [1] we pove that, if unbounded, the equence u actually behave a a oliton, when u i intepeted a a function of a ingle eal vaiable Then, the enegy functional I admit a natual appoximation though a convenient limit functional J, ee Section fo detail Moeove, the olution of that limit functional, and thei enegy, can be found explicitly, and thi lead u to a contadiction if ω ω In thi pape we how that thi kind of olution actually exit fo ω < ω Moeove, thei enegy tend to a +, and they eem to be local minima of I Theefoe, they could coepond to global minima of I, which i an inteeting phenomenon: the minima of the enegy tend to aggegate nea the bounday of the domain A econd motivation come fom efeence [3] Obeve that fo any u, the function: h x x + x h u d, i deceaing in x Theefoe, a olution like in [3] could exit Howeve hee the poblem i completely diffeent, ince h itelf depend on u in a nonlocal fahion Indeed, natual etiction on ω and p appea, a commented above The main eult of thi pape i the following: Theoem 11 Aume p 1, 3, ω, ω Then, fo lage enough, poblem 6 admit a poitive olution ũ U, with U = k 1 p 1 w 1 k Hee w 1 i given by 5 and k i the laget poitive oot of the equation: k = ω + 1 m k 5 p p 1, k > Finally, 1 k log

4 POMPONIO AND UIZ A commented above, the aumption ω, ω i natual fo thi eult Moeove, obeve that ω i well defined only fo p 1, 3, and it tend to a p tend to 3 The poof ue a ingula petubation method baed on a Lyapunov-Schmidt eduction, which ha become a well-known technique in thi kind of poblem Howeve, thee ae ome new apect on the poblem unde conideation Fit, ou poblem involve a nonlocal tem which make the agument of the poof moe complicated We point out that it i not jut a technical difficulty, ince the exitence eult depend heavily on the nonlocal tem Indeed, thoe olution do not exit fo the autonomou Nonlinea Schödinge Equation, and ae a pecial featue of the model tudied in thi pape Moeove, the limit functional i diffeent fom the uual one in Nonlinea Schödinge Equation and contain alo a nonlocal tem A a conequence, we alo need to pove the non-degeneacy of the limit olution, which in thi cae coepond to a global minimum of the limit functional The et of the pape i oganized a follow Section i devoted to ome peliminay eult The limit functional and it popetie ae expoed hee Moeove, we pove that the limit olution i non-degeneate The lat two ection ae devoted to the poof of Theoem 11 Section 3 i devoted to olve the auxiliay equation in the Lyapunov-Schmidt eduction, wheea in Section we pove the exitence of a minimum fo the educed functional Acknowledgement Thi wok ha been patially caied out duing a tay of AP in Ganada He would like to expe hi deep gatitude to the Depatamento de Análii Matemático fo the uppot and wam hopitality PELIMINAIES Let u fit fix ome notation We denote by H = H 1,B, the Sobolev pace of adially ymmetic function We ue, to denote it uual cala poduct and nom, wheea othe nom, like Lebegue nom in B,, will be indicated with a ubcipt Moeove, H 1 a,b, H 1 a,b ae ued to indicate the cala poduct and nom of the Sobolev pace of dimenion 1 If nothing i pecified, tong and weak convegence of equence of function ae aumed in the pace H In ou etimate, we will fequently denote by C >, c > fixed contant, that may change fom line to line, but ae alway independent of the vaiable unde conideation We alo ue the notation O1, o1, Oε, oε to decibe the aymptotic behavio of quantitie in a tandad way Finally the lette x indicate a two-dimenional vaiable, and,, t denote one-dimenional vaiable Let u tat with the following popoition: Popoition 1 I i a C 1 functional, and it citical point coepond to claical olution of 6

5 BOUNDAY CONCENTATION OF A GAUGED NONLINEA SCHÖDINGE EQUATION 5 Thi wa poved in [5] fo the poblem et in ; the ame agument apply to ou cae Moeove, the deivative of I i: 7 I z[u] π = z u + ωzu z p zu d zu z d d z z tt dt zu d d If in the lat tem we ue Fubini Theoem in the vaiable,, and afte that we intechange the name of the vaiable, we obtain: 8 I z[u] π = z u + ωzu z p zu d zu z d d z zu z tt dt d In thi pape we will make ue of both expeion fo I, depending on the cae Ou poof of Theoem 11 ue a Lyapunov-Schmidt eduction to pove exitence of a citical point fo I In ode to do that, ome knowledge of the limit functional i needed Fit of all, let u give a heuitic deivation of thi enegy functional Conide u a fixed function, and define u = u Let u now etimate Iu a + ; afte the change of vaiable +, we obtain: Iu π = u + ωu + d u + u d d 1 + p + 1 d u p+1 + d We etimate the above expeion by imply eplacing the expeion +, + with the contant : π 1 Iu [ 1 = [ 1 u + ωu d u + ωu d + 1 u u d d 1 ] + u p+1 d p u d 1 ] + u p+1 d p + 1 Theefoe, it i natual to conide the limit functional J : H 1, 9 Ju = 1 u + ωu d u d 1 u p+1 d p + 1 Clealy, the Eule-Lagange equation of 9 i the following limit poblem: 1 u + ωu + 1 u d u = u p 1 u, in Befoe going on with the tudy of 1, we need ome well-known fact concening the poblem 11 w + kw = w p in, k >

6 6 POMPONIO AND UIZ We denote by w k H 1 k > the unique poitive even olution of 11 Obeve that equation 11 i integable and the Hamiltonian of w k i equal to, that i, 1 1 w k + k w k 1 p + 1 wp+1 k =, fo all It i alo known that any poitive olution of 11 i of the fom u = w k ξ, fo ome ξ Moeove, 13 w k = k 1 p 1 w1 1 p 1 k, and w 1 = p + 1 coh 1 p Notice that w k and w k decay exponentially to zeo at infinity In what follow we define 1 m = 15 w 1 d The following elation ae alo well known, and can be deduced fom 1: w 1 d = p 1 p + 3 m, w p+1 p d = p + 3 m Let u now come back to equation 1 Conide u a poitive olution of 1, and define k = ω d u Then, u i a olution of u + ku = u p, o u = w k ξ fo ome ξ By uing 13, we obtain: k = ω + 1 w k d = ω + 1 k p 1 w1 k d A change of vaiable lead u to the identity: 16 k = ω + 1 m k 5 p p 1, k > Theefoe, the exitence of olution fo 1 educe to the exitence of olution of the algebaic equation 16 Moeove, we ae alo inteeted in the enegy of thoe olution, a we hall ee in Section Thoe quetion have been teated in [1, Section 3], whee the following eult wee obtained: Popoition Aume p 1, 3 and take m a in 1 Define: ω = 3 p 3 + p 3 p 1 3 p 3 p m p 1 3 p 3 + p, p 1 5 pm p 1 3 p m 5 p 5 pm 3 p ω 1 = p 1 p 1 The following hold: 1 < ω < ω 1 ; if ω > ω 1, equation 16 ha no olution and thee i no nontivial olution of 1; 3 if ω = ω 1, equation 16 ha only one olution k and w k i the only poitive olution of 1 apat fom tanlation; if ω, ω 1, equation 16 ha two olution k 1 ω < k ω and w k1, w k ae the only two poitive olution of 1 apat fom tanlation; 5 fo any ω, ω 1, Jw k1 >

7 BOUNDAY CONCENTATION OF A GAUGED NONLINEA SCHÖDINGE EQUATION 7 6 Jw k < if and only if ω, ω In uch cae, w k i a global minimize fo J emak 3 In geneal, we cannot obtain a moe explicit expeion of m depending on p, but it can be eaily appoximated by uing ome oftwae In Figue 1 the map ω p and ω 1 p have been plotted FIGUE 1 The value ω p < ω 1 p, fo p 1, 3 Fo ome pecific value of p, m can be explicitly computed, and hence ω and ω 1 Fo intance, if p =, m = 6, ω 1 = 9 and ω 3 = 5 15 A commented in the intoduction, in Section 3 we will ue the above olution a a limit pofile of olution of 6 via a Lyapunov-Schmidt eduction On that pupoe, the non-degeneacy of the limit olution i equied We ay that a olution u of 1 i degeneate if the poblem: 17 φ + ωφ u d φ ha a olution φ H 1 diffeent fom c u, c Next popoition i devoted to thi quetion u d uφ d u pu p 1 φ = Popoition Let ω 1, k, k 1, k a in Popoition Then: 1 If ω = ω 1, w k i a degeneate olution of 1 If ω, ω 1, both w k1 and w k ae non-degeneate olution of 1 Poof Take w k a olution of 1, and φ a olution of 17 Define α = wk d w k φ d Then, φ i a olution of the poblem: φ + ωφ + 1 w k d φ pw p 1 k φ = αw k

8 8 POMPONIO AND UIZ Wite φ = ψw k : then, ψ = ψ w k w k + αw k w k Thi i a linea equation of fit ode in ψ, which can be olved by vaiation of contant: ψ C = w k + α wk w k, C Obeve that if C, then φ = ψw k tend to + at infinity, which i not poible if φ H 1 So, C mut be equal to, and we ae led to: ψ = α w k w k By uing 1, the above equation can be explicitly integated: ψ = α w k k p 1 w k + + β, with β Theefoe, φ = α k p 1 w k + w k + βw k Clealy, w k i degeneate if and only if α can take value diffeent fom zeo Take β =, and ecall now the definition of α: α = α w k k d p 1 w k + w kw k d By integation by pat, w kw k d = 1 Then, eithe α = o 1 = m k 6 p 5 p p 1 p 1 Thi, togethe with 16, implie that ω = ω 1 and k = k w k d = 1 k 5 p p 1 m Obeve that, due to the nonlocal chaacte of ou poblem, the lineaized poblem 17 doe not have the fom of a Schödinge opeato Then, ome moe wok i needed in ode to accomplih a Lyapunov-Schmidt eduction Let u define the following opeato: [ T [φ] = φ + ω + 1 ] u d pu p 1 φ, K[φ] = u d uφ d u, L[φ] = T [φ] + K[φ] Obeve that L, T, K : H 1 {u } H 1 {u } Of coue, hee othogonality i undetood fo the cala poduct H 1 Coollay 5 Aume ω, ω 1 Then the opeato L defined above i a bijection fo u = w k1 o u = w k Moeove, if ω < ω and u = w k, thee exit c > o that: 18 L[φ], φ H 1 c φ H 1 fo any φ H1 {u }

9 BOUNDAY CONCENTATION OF A GAUGED NONLINEA SCHÖDINGE EQUATION 9 Poof It i well-known that T i a bijection Since the image of K i of dimenion 1, K i obviouly a compact opeato Moeove, by Popoition, L i injective By Fedholm altenative, L i a bijection Moeove, by Popoition, we know that w k i a minimize of J with nondegeneate econd deivative Fom thi, 18 follow 3 THE AUXILIAY EQUATION In thi ection we begin the poof of Theoem 11, which ue a ingula petubation agument baed on a Lyapunov-Schmidt eduction So, let u aume p 1, 3 and ω, ω thoughout the et of the pape The contuction of ou appoximating olution i lagely inpied by [3] We et U = w k, whee k i the econd oot of equation 16 ee Popoition We will denote U = U, and V = U e k Fo late ue, obeve that U olve the equation 19 U + ωu + 1 wheea V atifie V + ωv + 1 U d U = U p, in, U d V =, in We define ou appoximating olution a z = φ U V H, whee φ : [, + [, 1] i a mooth function uch that { if, /, φ =, φ 1 if /,, C Let u define the inteval [ I = β log, α ] k log, k whee α, β ae fixed contant atifying: { 1 1 max, 1 } < α < 1, 1 < β < min{, p}α p We ae inteeted in finding citical point fo I nea the manifold of appoximating olution: Z = {z, I } Fo any z Z, conide T z Z the tangent pace, panned by the function: ż := z = φ U + U e k Take alo W = W z = T z Z, and let P, Q denote the othogonal pojection onto the pace W and T z Z, epectively We then decompoe the equation: { I z P I + w = z + w = auxiliay equation, QI z + w = bifucation equation In thi ection we ue the Banach contaction pinciple to find a olution w of the auxiliay equation fo any I In ode to do that, ome etimate ae in ode Ou fit eult i an etimate on I z, which meaue in which ene z i an appoximating olution

10 1 POMPONIO AND UIZ Lemma 31 Fo any I, we have that O e k I z = O e p k Poof Let u ecall that, by 8, I z [u] π = + z u + ωz u d + z u Let u evaluate all thee integal in [, /] We have z u d C 1 e k d, if p,, if p < z u z d d z t z t dt d d zu p d 1 u C 1 e k u Analogouly, ωz u d C 1 e k u Moeove z u z d d C e k d C e k C 1 e k 3 u z d 3 1 We can alo etimate z t z u z t dt d d C zd Ce k u z u u d z u d Finally zu p d C p p+1 e p k u Theefoe I z [u] π = + z u + ωz u d + z z u + oe k 5 u z u z d d t z t dt d d zu p d

11 BOUNDAY CONCENTATION OF A GAUGED NONLINEA SCHÖDINGE EQUATION 11 Let u pove that [ I z [u] = z π u + ωz u d + 1 z u z d d + 1 z u z zt dt d d zu p ] d 3 Indeed we have z u d Theefoe + O 1/ u Analogouly, we get 5 6 z u d z d z u d = z u d = z p u d = = 1 u 1 z d u + z u d + O 1/ u z u d + O 1/ u, z p u d + O 1/ u Let u tudy the nonlocal tem; z u z d d 1 = z u 1 z d d We have I z u + 1 [ ] z u z d z d d II + z u 1 z d d I C III z u C z z u d 1 d u z d d C u C u 1 z d d

12 1 POMPONIO AND UIZ Moeove and II 1 C III z u C z d z u d C u, z u z u d + + z d d 1 z d d C u Theefoe, taking alo in account the exponential decay of z, 7 z u Analogouly z d d = z z u z u = z z u z u = O 1/ u z u z z u + O 1/ u t z t dt d d z 1 t z t dt z 1 t t z u z and o, again by the exponential decay of z, 8 z z u = z u z + O 1/ u z t dt d d d d t z t dt d d z t dt d d zt dt d d 1 z d d 1 z t dt d d 1 z t dt d d

13 BOUNDAY CONCENTATION OF A GAUGED NONLINEA SCHÖDINGE EQUATION 13 Then, by, 5, 6, 7 and 8, we get 3 Let u obeve that z u d = z u d = Theefoe, by 19 and, we have I z [u] = z + ωz + z π + O 1/ u [ = z + ωz + z z u d + O 1/ u z u d + o 1/ u [ ] z d + z zt dt d z p u d ] z d z p u d + O 1/ u [ ] = U d U d U u d A [ ] U d U d V u d U d U V d U u d B C + U d V d U u d D [ U V p U p ] u d } {{ } E + o e k u Let u evaluate evey tem in the peviou fomula Since we infe that U d U d = O e k, A = O e k u, B = o e k u

14 1 POMPONIO AND UIZ Moeove, by [1, Lemma 37], The etimate of D i diect: C = O e k u D = O e k u Finally, by the Mean Value Theoem we can etimate: Again by [1, Lemma 37], we have E U V p U p CU p 1 V 1 [ U V p U p ] d u O e k u, if p >, 1 = O e k u, if p =, O e p k u, if p < Hence we get the concluion U p 1 V d Ou next eult concen the non-degeneacy of I z, and make ue of Coollay 5 in an eential way Lemma 3 Thee exit C > c > uch that fo lage and fo any I, c u I z [u, u] C u, fo all u T z Z Poof Let u H uch that u T z Z Take a [, ] uch that a+1 a u + ωu d u Take ψ a cut-off function uch that if a, ψ = a if a a + 1, 1 if a + 1 Since u = ψu + 1 ψu, we have Moeove u = ψu + 1 ψu + ψu, 1 ψu I z [u, u] = I z [ψu, ψu] + I z [1 ψu, 1 ψu] + I z [ψu, 1 ψu] Fo that ake of bevity, we et v = ψu and w = 1 ψu By 35, we infe that 9 3 I z [v, w] = v, w + o1 u = o1 u, I z [w, w] = w + o1 u Befoe evaluating I z [v, v], let u obeve that ince u T z Z, then 31 v, ż = w, ż = o e 1/3 u We now extend v to in all, and etimate v, U H 1 On that pupoe, it i eay to ee that: 3 v, U H1 v, U = O 1/ v 1 u

15 BOUNDAY CONCENTATION OF A GAUGED NONLINEA SCHÖDINGE EQUATION 15 Moeove, by uing, 33 v, ż + U = U v, e k = U O v Putting togethe 31, 3 and 33, we conclude that 3 v, U H1 = o 1/ v, We now tudy I z [v, v]; hee we will deive I fom expeion 8, obtaining the expeion: 35 I z [u, v] = π u v uv + ωuv d + z d d z u z d z v d d z t uv z t dt d d z v z u tz t dt d d z z u tz tvt dt d d p z p 1 uv d Aguing a in the poof of Lemma 31, we can ubtitute,, t with committing negligible eo: moe peciely, we have I z [v, v] = π Let u obeve that, p v v + ωv d + z d d z v z d z v d d v z zt dt d d v + ωv d p = z v z v zt dt d d z v z z tvt dt d d z p 1 v d + o1 u z p 1 v d v + ωv d p U p 1 v d + o1 u

16 16 POMPONIO AND UIZ Setting F = z d, ince F = z, we get v z d d + v z zt dt d d = z d v d = U d v d + o1 u Setting, moeove, G = z v d, ince G = z v, we have z v z d z v d d + z v z v zt dt d d Theefoe, by 3: + z v z z tvt dt d d = z d z v d = U d U v d + o1 u I z [v, v] = L[v, v] + o1 u By Coollay 5 we have that c v H 1 L[v, v] C v H 1 Obeve moeove that v H 1 = v + o1 v Thee etimate, togethe with 9 and 3, yield the concluion Ou next etimate implie that the peviou non-degeneacy eult applie alo fo I z + w if w i ufficiently mall Lemma 33 Thee exit C > uch that I z [u, u] I z + w[u, u] C w + w p 1 u, fo all u, w H, ufficiently lage and I Poof Fo thi etimate, we ue the fom of I z deived fom 7, that i: I z [u, u] = π u + ωu d p z p 1 u d z z d u d d z u z u d z d d u z z d d + z u d d

17 BOUNDAY CONCENTATION OF A GAUGED NONLINEA SCHÖDINGE EQUATION 17 Fo the etimate of the local tem, we ue the inequalitie: C a q 1 + b q 1 b if q > 1, a + b q a q b q if q, 1] Then, if p >, we ue the L bound of z to get:, a, b If p 1, ], z + w p 1 z p 1 u d C z + w p 1 z p 1 u d w + w p 1 u d 1/ 1/ C w + w p 1 d u d w d w p 1 u d p 1 3 p u 3 p d Let u now conide the nonlocal tem Obeve that each of thoe tem i of ode in z The etimate of each tem i elatively eay, but the whole computation i lengthy Let u explain in detail ome of them Fo intance, let u define: Qz 1, z, z 3, z = z 1 z z 3 z d u d d Clealy Q i linea in each vaiable Theefoe, we need to etimate: Qz 1, z, z 3, z whee z i = w i A, z i = z i / A, fo any non-empty A {1,, 3, } Fo intance, we etimate: z Qz, z, z, w = z w d u d d z d z d z w d z d 1 u d w L u C w L u L The cae whee w appea moe than once ae eaie Slightly moe difficult i the etimate of Kz, z, z, w, with z 1 u Kz 1, z, z 3, z = z u d z 3 z d d Indeed, in thi cae z appea in the thee integal Then, we need to hae the vaiable, a follow: z u Kz, z, z, w = z u d z w d d z u d C u L w L z u d z w d d

18 18 POMPONIO AND UIZ The othe tem can be etimated in an analogou way We ae now in condition of tating the main eult of thi ection Popoition 3 Fo ufficiently lage and any I, thee exit a unique w H uch that: 1 z + w olve the auxiliay equation P I z + w = The map w i C 1 3 w = O O log, if p,, if p < 1 α 1 pα Poof The poof i quite tandad in Lyapunov-Schmidt eduction By Lemma 31, and taking into account 1, we obtain that I z = o1 Thi, togethe with the etimate of Lemma 3, 33, make it poible to cay out the contaction agument Moeove, the C 1 egulaity of the map w can be deduced fom the Implicit Function Theoem See [], Section 3,, fo detail Moeove, by taking into account that I, we conclude that: O I z = O log, if p,, if p < 1 α 1 pα Theefoe, the ame etimate fo w hold emak 35 It i impotant to obeve that mot of the eult of thi ection hold with the ame poof if we conide ω, ω 1, and alo if we take U = w k1 intead of w k Lemma 3 hould be etated fo U = w k1, ince thi i not a minimize fo J In next ection, though, we will obtain a olution of the bifucation equation only if JU < Thi i the eaon why we need ω, ω, U = w k, accoding to Popoition But thoe etiction ae natual, a commented in the Intoduction Let u define: THE EDUCED FUNCTIONAL Z = {z + w : I, w a in Popoition 3} It i well-known ee [] that Z i a natual containt fo I o, in othe wod, that citical point of I Z coepond to olution of the bifucation equation, and hence they ae tue citical point of I Thi ection i devoted to pove the exitence of a minimum fo I Z, which eceive the name of educed functional Lemma 1 Fo any I, we have Poof We have I z = πju + π k e k + o I z π = 1 1 p + 1 z + ωz 1 d + 8 z p+1 d e k z z d d

19 BOUNDAY CONCENTATION OF A GAUGED NONLINEA SCHÖDINGE EQUATION 19 Let u evaluate all thee integal in [, /] We have z d Ce k Ce k Analogouly, Theefoe I z π = 1 Let u check that 36 I z = 1 π Indeed and hence 37 Analogouly ωz d Ce k, z z d d Ce 3 k 1 p + 1 z + ωz 1 d + 8, z p+1 d Ce p+1 k z p+1 d + oe k 5 z + ωz 1 d + z d z d z d = z d = z p+1 d = z z d d 3 z d 1 p + 1 z p+1 z d C, z d + O1 z d + O1, z p+1 d + O1 d +O1 Moeove z z d d z z d d 1 = z 1 z d d I + 1 [ ] z z d z d d II

20 POMPONIO AND UIZ Since I C II C z z d d C z z d + z d d C, we have z z d d = z z d d + O1 3 = z 3 d + O1 Hence 36 follow by 37, 38, 39 and By 36, we infe that I z π [ 1 3 = U + ωu 1 d + U d 1 U p+1 d p + 1 A U V + ωu V d 1 U d U V d + U p V d B + 1 V + ωv 1 d + U d V d 8 C 1 ] U V p+1 U p+1 + p + 1U p V d p + 1 D + O e k We have to evaluate each tem of the peviou fomula Fitly, let u obeve that U d = k U d e + oe k k

21 BOUNDAY CONCENTATION OF A GAUGED NONLINEA SCHÖDINGE EQUATION 1 Since U i a olution of 19, we have A = 1 3 U + ωu U d + 1 U d 1 U p+1 d p U U + o e k = 1 3 U d U d U d U p+1 d p k e k + o e k = U d U p+1 d 1 k e k p o e k = JU 1 k e k + o e k Again, being U a olution of 19, B = U + ωu V d 1 e k U d U V d + V U + o = 1 U d U V d 1 U d U V d + k e k + o e k = k e k + o e k Moeove, ince V i a olution of, C = 1 V + ωv V d + 1 U d 8 + o e k = 1 U d V d + 1 U d k e k + o e k = 1 k e k + o e k U p V d V d + 1 V V V d Finally, ince U V p+1 U p+1 + p + 1U p V we have Then the concluion follow D = o e k pp + 1 U p 1 V, The poof of Theoem 11 i completed with the following popoition

22 POMPONIO AND UIZ Popoition Let u define Φ : I a Φ = I z + w Then, Φ = πju + π k e k + o e k Moeove, Φ attain a global minimum in the inteio of I fo ufficiently lage Poof Fit, we ue Taylo expanion to get, fo ome ξ, 1, I z + w = I z + I z [w ] + 1 I z + ξ w [w, w ] = I z + I z [w ] + 1 I z [w, w ] + 1 I z + ξ w I z [w, w ] By uing Lemma 31, 3, 33, we obtain that: I z + w = I z + O w Popoition 3 and 1 imply that the eo w i negligible, o that Φ = πju + π k e k + o e k Fo the ake of bevity, we et α = α k log, 1 = 1 k log, β = β k log We will pove that Φ ha a minimum in the inteio of I, howing that Φ β Φ 1 + and Φ α Φ 1 +, a + Indeed Φ β Φ 1 = π1 βju k log + O1, Φ α Φ 1 = π k 1 α + o 1 α emak 3 The olution that we have found coepond to a minimum of the educed functional, and ecall that w k i alo a minimize fo the limit functional J Theefoe, it i eaonable to think that ou olution coepond to a local minimum of I Moeove, it enegy divege negatively a +, o it could be the global minimize fo I Indeed, by the agument in [1], the global minimize of I mut contain a tem like U, fo ome Howeve, it i not clea if the global minimize could alo have a localized pat EFEENCES [1] A Amboetti, E Coloado and D uiz, Multi-bump oliton to linealy coupled ytem of nonlinea Schödinge equation, Calc Va Patial Diffeential Equation 3 7, [] A Amboetti and A Malchiodi, Petubation method and emilinea elliptic poblem on N, Poge in Mathematic, Bikhäue Velag, Bael, 6 [3] A Amboetti, A Malchiodi and W-M Ni, Singulaly petubed elliptic equation with ymmety: exitence of olution concentating on phee II, Indiana Univ Math J 53, [] L Begé, A de Bouad and J C Saut, Blowing up time-dependent olution of the plana Chen- Simon gauged nonlinea Schödinge equation, Nonlineaity , [5] J Byeon, H Huh, and J Seok, Standing wave of nonlinea Schödinge equation with the gauge field, J Funct Anal 63 1, no 6, [6] C Hagen, A new gauge theoy without an elementay photon, Ann of Phy , [7] C Hagen, otational anomalie without anyon, Phy eview D , [8] H Huh, Blow-up olution of the Chen-Simon-Schödinge equation, Nonlineaity

23 BOUNDAY CONCENTATION OF A GAUGED NONLINEA SCHÖDINGE EQUATION 3 [9] H Huh, Standing wave of the Schödinge equation coupled with the Chen-Simon gauge field J Math Phy 53 1, no 6, 637, 8 pp [1] H Huh, Enegy Solution to the Chen-Simon-Schödinge Equation, Abtact and Applied Analyi Volume 13, Aticle ID 59653, 7 page [11] Jackiw and S-Y Pi, Soliton olution to the gauged nonlinea Schödinge Equation, Phy eview Lette 6 199, [1] Jackiw and S-Y Pi, Claical and quantal nonelativitic Chen-Simon theoy, Phy ev D [13] Jackiw and S-Y Pi, Self-dual Chen-Simon oliton, Pog Theoet Phy Suppl [1] A Pomponio and D uiz, A Vaiational Analyi of a Gauged Nonlinea Schödinge Equation, pepint axiv:13651 [15] G Taantello, Self-Dual Gauge Field Votice: An Analytical Appoach, PNLDE 7, Bikhäue Boton, Inc, Boton, MA, 7 1 DIPATIMENTO DI MECCANICA, MATEMATICA E MANAGEMENT, POLITECNICO DI BAI, VIA E OABONA, 715 BAI, ITALY DPTO ANÁLISIS MATEMÁTICO, GANADA, 1871 SPAIN adde: apomponio@polibait, dauiz@uge