arxiv: v1 [math.ap] 12 Oct 2018

Transcription

1 ORBITAL STABILITY OF STANDING WAVES FOR SUPERCRITICAL NLS WITH POTENTIAL ON GRAPHS arxiv: v1 [math.ap] 1 Oct 018 Alex H. Ardila ICEx, Universidade Federal de Minas Gerais, Av. Antonio Carlos, 667 Caixa Postal 70, , Belo Horizonte-MG, Brazil Abstract. In this paper we study the existence and stability of normalized standing waves for the nonlinear Schrödinger equation on a general starlike graph with potentials. Under general assumptions on the graph and the potential, we show the existence of orbitally stable standing waves when the nonlinearity is L -critical and supercritical. 1. Introduction In this paper we are interested in the existence and stability of standing waves with prescribed L -norm for the following nonlinear Schrödinger equation on a metric graph Γ: i t u = Hu u p 1 u, x Γ. (1.1) We recall that the nonlinearity in (1.1) is understood componentwise. In this paper we are interested in the L -critical and supercritical cases; so we restrict our discussion to the cases where p 5. Equation (1.1) models propagation through junctions in networks (see [17, 5, 9]). The study of nonlinear propagation on graphs/networks is a topic of active research in several branches of pure and applied science. Modern applications of partial differential equations on networks include nonlinear electromagnetic pulse propagation in optical fibers, the hydrodynamic, biology, etc; see, e.g., [5] and the references therein. Recently numerous results on existence and stability of standing waves, local well-posedness of initial value problem, blow up and scattering results for nonlinear Schrödinger equation on a metric graph were obtained. Among such works, let us mention [13, 19, 18, 1,, 3, 10, 11, 4, 5, 6, 7, 8, 15, 6]. In particular, the NLS on the real line with a point interaction (which can be understood as a metric graph with only two edges) has been also studied substantially in the literature (see [14, 1,, 3]). We refer to [9] for further information and bibliography. Let Γ be a connected finite metric graph, by V we denote the set of its vertices, and by J we denote the set of its edges. We will assume Γ 010 Mathematics Subject Classification. Primary 76B5, 35Q51, 35Q55, 35R0. Key words and phrases. Non-linear Schrödinger equation; quantum graphs; standing waves; stability. 1

2 STANDING WAVES FOR NLS ON GRAPHS has at least one external edge, so that Γ is noncompact. If an edge e J emanates from a vertex v V, then we will write this as follows: e v. The differential operator under consideration in this paper is the Schrödinger operator H in L (Γ) equipped with delta conditions concentrated at all vertices v V of the graph: (Hu) e = u e +W e u e (1.) { dom(h) = u H (Γ) : } o u e (v) = α v u e (v) for all v V, (1.3) e v where α v are real constants associated with the delta potentials concentrated at vertices v V. Here, as elsewhere, the Sobolev space H 1 (Γ) is defined as the space of continuous functions on Γ that belong to H 1 (I e ) on each edge, i.e., H 1 (Γ) = { u C(Γ) : u e H 1 (I e ) for all e J }, where C(Γ) is the set of continuous functions on Γ, and the corresponding norm defined by u H 1 = e J and H (Γ) denotes the Sobolev space u e H 1, H (Γ) = { u H 1 (Γ) : u e H (I e ), for all e J }. Finally, we denote by o u e (v) the outward derivative of u at v along the edge e. Formally, the NLS (1.1) has the following conserved quantity, E(u) = 1 Γ u dx+ 1 ΓW(x) u dx 1 v V α v u(v) 1 p+1 Γ u p+1 dx. The potential W(x) can be thought of as modeling inhomogeneities in the medium. Following [18, 19], for our analysis we make the following assumptions about the metric graph Γ and the Schrödinger operator H. Assumption 1. Γ is a finite, connected metric graph, with at least one external edge. We recall that a metric graph is a graph Γ equipped with a function L : J (0,+ ] such that each edge e J is identified with a finite segment [0,L e ] of positive length L e or an infinite segment [0,L e ) with L e = +. Naturally we have the decomposition J = J int J ex, where the set J ex denotes the set of external edges of Γ and the set J int denotes the set of internal edges. Assumption. W = W + W with W ± 0, W + L 1 (Γ)+L (Γ), and W L r (Γ) for some r [1,1+/(p 1)]. We remark that assumption implies that the operator H on the graph Γ admits a precise interpretation as self-adjoint operator on L (Γ) (see [19,

3 STANDING WAVES FOR NLS ON GRAPHS 3 Remark.1] for more details). Denote by F[u] the quadratic form associated with the operator H, F[u] := u dx+ Γ ΓW(x) u dx α v u(v), v V defined on the domain dom(f) = H 1 (Γ). Let λ 0 := inf { F[u] : u H 1 (Γ), u L = 1 }. Assumption 3. λ 0 > 0 and it is an isolated eigenvalue. Notice that these assumptions are satisfied in many interesting cases; see introduction in [19] for more details. Our work is motivated by the recent papers [18, 19], where the orbital stability of standing waves of (1.1) on a general starlike graph with potentials is considered, with a special focus on the L -subcritical and critical case. Local well-posedness of the Cauchy problem for (1.1) in the energy space H 1 (Γ) is established in Cacciapuoti et al.[19, Propositions.3 and.8] for any p > 1. Proposition 1.1. If Assumptions 1- hold true, for any u 0 H 1 (Γ), there exist T = T(u 0 ) > 0 and a unique maximal solution u C([0,T),H 1 (Γ)) of (1.1) with u(0) = u 0 such that the following blow up alternative holds: either T = or T < and lim t T u(t) H 1 =. Furthermore, the conservation of energy and charge hold; that is, E(u(t)) = E(u 0 ) and u(t) L = u 0 L for all t [0,T). If 1 < p < 5, the global well-posedness of the Cauchy problem for (1.1) holds in H 1 (Γ) by Gagliardo-Nirenberg estimates, conservation of the L - norm and energy; see [19, Theorem 3] for more details. We recall the notion of stability of a set M H 1 (Γ) (see [0, Chapter 8] for review of this theory). For M H 1 (Γ), we say that the set M is H 1 (Γ)-stable with respect to NLS (1.1) if for arbitrary ǫ > 0 there exists δ > 0 such that if u 0 H 1 (Γ) satisfies then sup t R inf u 0 ϕ < δ, ϕ M inf u(t) ϕ H ϕ M 1 < ǫ, whereu(t)isasolutiontothecauchyproblemof (1.1)withinitial datumu 0. One natural idea to construct orbitally stable standing waves solutions with prescribed mass for (1.1) is to consider the following minimization problem ν c = inf { E(u) : u H 1 (Γ),u S(c) }, (1.4) where S(c) = { u H 1 (Γ) : u L = c }. Now if Assumptions 1-3 hold true, then in the subcritical case 1 < p < 5, the energy functional E(u) is bounded from below and ν c > for every

4 4 STANDING WAVES FOR NLS ON GRAPHS c > 0. Furthermore, there exists c > 0 small enough such that for 0 < c < c any minimizing sequence for problem (1.4) is precompact in H 1 (Γ). In particular, the set M c := { ϕ H 1 (Γ) : ϕ L = c,ν c = E(ϕ) } is H 1 (Γ)- stable with respect to NLS (1.1); see [19, Theorem 1] for more details. An analogous result can be proven for the critical case p = 5 (see [18, Theorem ]). Other results in this direction, for the NLS on graphs without confining potentials, were obtained in [10, 11]. On the other hand, suppose that Γ is a star-graph consisting of a central vertex v 0 and N edges (half-lines) attached to it. If one assumes that p > 5, then ν c =. Indeed, first note that there exist constants a > 0 and b > 0 such that (see Lemma. ii) below) E(u) a u dx+b u dx 1 u p+1 dx. p+1 Γ Γ Γ Next, if we fix φ S(c) and define φ λ (x) = λ 1 φ(λx), then φ λ L = φ L, E(u) aλ Γ u dx+b Γ λ(p 1) u dx p+1 Γ u p+1 dx, as λ and hence ν c =. For this reason, in the supercritical case p > 5, it is not convenient to consider the minimization problem (1.4) to construct normalized solutions. The purpose of this paper is to complement the existence and stability results of Cacciapuoti et al. [19, 18] by considering the supercritical case p > 5. Following the ideas developed in [4, 16], we introduce a local minimization problem. Indeed, set B(r) := { u H 1 (Γ) : u G := F[u]+λ 0 u L r }. (1.5) If assumptions -3 hold true, then the energy functional E restricted to S(c) B(r) is bounded from below (see Lemma 3.1 below). Thus for every r > 0, we consider the following local minimization problem on the metric graph Γ, ν r c = inf{ E(u) : u H 1 (Γ),u S(c) B(r) }, (1.6) and we denote the set of nontrivial minimizers of (1.6) by M r c = { ϕ H 1 (Γ) : ϕ S(c) B(r), ν r c = E(ϕ) }. Now we are ready to state our first result. Theorem 1.. Let p 5 and assumptions 1-3 hold true. For every r > 0, there exists c = c (r) > 0 such that: i) S(c) B(r) and ν r c > for every c < c. ii) For any c < c there exists u H 1 (Γ) with u S(c) B(r) such that E(u) = ν r c. In particular, this implies that M r c is not the empty set. The key ingredient in the proof of the above result is the concentration compactness method for starlike structures [19]. We remark that the same

5 STANDING WAVES FOR NLS ON GRAPHS 5 local minimization problem was exploited, in the case of NLS on bounded domains of R N, in [7, 8]. Notice that Theorem 1. implies that every minimizing sequence {u n } of νc r is relativity compact in H 1 (Γ). We also note that for any r 1, r > 0 and sufficiently small c > 0, we have that M r 1 c = M r c. Indeed, just to fix the ideas, assume that r 1 > r > 0. It is clear that ν r 1 c ν r c. Moreover, if u S(c) B(r 1 ) and E(u) = ν r 1 c, then taking c sufficiently small in Lemma 3. below, we get u B(r ). Therefore, ν r 1 c ν r c, which implies that ν r 1 c = ν r c. In particular, since M r c B(rc) (see (3.1)) for c sufficiently small, it follows easily that M r 1 c = M r c. By a standing wave, we mean a solution of (1.1) with the form u(x,t) = e iωt ϕ(x), where ω > 0 and ϕ(x) should satisfy the following elliptic equation Hϕ+ωϕ ϕ p 1 ϕ = 0. (1.7) In the following theorem we give some properties about the structure of M r c. Theorem 1.3. Let p 5 and assumptions 1-3 hold true. Then for every fixed r > 0 and c < c (r) we have: i) For any ϕ M r c, there exists ω R such that u(x,t) = e iωt ϕ(x) is a standing wave solution to NLS (1.1) with the estimates λ 0 < ω λ 0 (1+Kc p 1 ). where K is a positive constant. Notice in particular that ϕ is a solution of the stationary problem (1.7), and ω λ 0 as c 0. ii)suppose that W 0. If ϕ M r c, then there exists θ R such that ϕ(x) = e iθ ρ(x), where ρ is a positive function on Γ. The following orbital stability result follows from Theorems 1. and 1.3. Corollary 1.4. Let p 5. Then for every fixed r > 0 and c < c (r) we have that M r c is H 1 (Γ)-stable with respect to NLS (1.1). NowassumethatΓisastar-graphwithN edges. IfW = 0andα v = γ > 0 in (1.)-(1.3), then it is well known that equation (1.7) has [(N 1)/] +1 (here [s] denote the integer part of s R) solutions φ ω,j = (ϕ ω,j ) N j=1 with j = 0, 1,..., [(N 1)/], which are given by (ϕ ω,j ) i (x) = where [ (p+1)ω f(x) = { ( ) f(x a j ) i = 1,...,j f(x+a j ) i = j +1,...,N a j = tanh 1 γ (N j) ω (1.8) ( )] 1 (p 1) ω sech p 1 γ x, ω > (N j).

6 6 STANDING WAVES FOR NLS ON GRAPHS Moreover, in this case (see Assumption 3), λ 0 = γ N = inf{ F γ [u] : u H 1 (Γ), u L = 1 }. In [5] (see also [1]) the authors study the stability of u(x,t) = e iωt φ ω,0 (x) in the L -critical and supercritical cases. Notice that the stability analysis in [5, 1] relies on the theory by Grillakis, Shatah and Strauss. In the L -supercritical case p > 5, we apply the Theorem 1.3 and Corollary1.4inordertodeducedirectlythestabilityofthestandingwaveu(x,t) = e iωt φ ω,0 (x), which was previously treated in the literature only with the Grillakis-Shatah-Strauss theory. Corollary 1.5. Let Γ be a star graph. Assume that W = 0 and α = γ > 0 in (1.)-(1.3). If p 5, then there exists ω > 0 such that e iωt φ ω,0 is stable in H 1 (Γ) for any ω (γ /N,ω ). Theplanofthepaperisthefollowing. InSectionwerecallseveral known results, which will be needed later. In Section 3, we prove the existence of a minimizer for νc r. Section 4 contains the proof of Theorem 1.3. Section 5 is devoted to the proof of Corollaries 1.4 and 1.5. Throughout this paper, the letter C may stand for various strictly positive constants, when no confusion is possible.. Preliminary We recall that a function u on Γ is a collection of functions u e (x) defined on each edge e J. On Γ we consider the Hilbert space L (Γ) of measurable and square-integrable functions u : Γ C J, equipped with the standard norm, L (Γ) = L (I e ), u L = u e (x) dx, e J e J I e whereu e L (I e ). Analogously, we definethe L p (Γ)-spaces for 1 p < + as, L p (Γ) = L p (I e ), u p L = u p e p L. p e J e J From Proposition. in [19] we have that λ 0 is a simple eigenvalue of H corresponding to strictly positive eigenfunction; more precisely: Lemma.1. Let assumptions 1-3 hold true. Then λ 0 is a simple eigenvalue of H with corresponding strictly positive eigenfunction ψ 0 H 1 (Γ) such that ψ 0 L = 1. For convenience, we recall the Gagliardo-Nirenberg inequality on graphs. Lemma.. i) Let Γ be any non-compact graph and p 1. Then there exists a positive constant C such that for all v H 1 (Γ), v p+1 C v p 1 L p+1 v p+3 L. (.1) L

7 STANDING WAVES FOR NLS ON GRAPHS 7 ii) Under assumption, there exist positive constants 0 < C 1 < 1 and C > 0 such that (u,wu) α v u(v) C 1 u L +C u L. (.) v V In particular, there exists a constant K > 0 such that u H K( u 1 G + λ 0 u L ). Here, the norm G is defined in (1.5). See [19, Remark.1] for the proof of (.). For a proof of Gagliardo- Nirenberg inequality (.1) we refer to [10, Proposition.1]. 3. Variational analysis In this section, we give the proof of Theorem 1.. We have divided the proof into a sequence of lemmas. Lemma 3.1. i)let r > 0 be fixed, then S(c) B(r) is not empty set iff c r λ 0. ii) For any r, c > 0, if S(c) B(r), then νc r >. Proof. Let u = cψ 0 with c r λ 0. From Lemma.1, we see that u L = c and u G = F[ cψ 0 ]+λ 0 cψ 0 L = λ 0 c ψ 0 L +λ 0 c ψ 0 L = λ 0 c r, this implies that S(c) B(r). On the other hand, if u S(c) B(r), we see that r u G = F[u]+λ 0 u L λ 0 u L +λ 0 u L = λ 0 c. Therefore, c r λ 0. This completes the proof of statement i). Next, let u S(c) B(r). First, notice that from Gagliardo-Nirenberg inequality (.1) and Lemma. (ii), we see that u p+1 C u p 1 L p+1 u p+3 H 1 L Since u S(c) B(r), it follows that This ends the proof. C 1 u p 1 u p+3 G E(u) = 1 u G λ 0 u L 1 p+1 u p+1 L p+1 λ 0 u L C 1 u p 1 u p+3 G L +C u p+1 C L u p+1 L λ 0 c Cr p 1 4 c p+3 4 C c p+1 >. L. Lemma 3.. Let p 5. Then for any number r > 0, there exists c := c (r) > 0 such that for every c < c, S(c) B(r) and inf E(u) < inf E(u). (3.1) S(c) B(rc/) S(c) (B(r)\B(rc))

8 8 STANDING WAVES FOR NLS ON GRAPHS Proof. From Lemma 3.1 i), we have that if c r/λ 0, then S(c) B(r). By Gagliardo-Nirenberg inequality (.1) we have u p+1 C L p+1 1 u p+3 u p 1 L G +C u p+1, L for positive constants C 1 and C. Now, if u S(c), it follows that { E(u) 1 u G C 1c p+3 4 u p 1 G C c p+1 λ 0 c E(u) 1 u G λ 0c Set {n c (s) = 1 s C 1c p+3 4 s 1+ǫ C c p+1 λ 0 c, with ǫ = p 5 4 m c (s) = 1 s λ 0c. (3.) Notice that ǫ 0 because p 5. Next, it is clear that if there exists c := c (r) > 0 such that, ( rc ) m c < inf n c(s) for any c < c (r) << 1, (3.3) s (rc,r) then this implies (3.1). Note that n c C ([0, )) and n c (s) = (1 C 1(1+ ǫ)c p+3 4 s ǫ ) > 0 for s (0,r) and for c < c 1 (r) << 1. Therefore, inf n c(s) = n c (rc) = 1 s (rc,r) (rc) C 1c p+3 4 (rc) 1+ǫ C c p+1 λ 0 c. Finally, since p 5, ( rc ) inf n c(s) m c s (rc,r) ( ) 1 = c 4 r C 1c p+3 4 +ǫ r 1+ǫ C c p 1 > 0 for every c < c (r) c 1(r). (3.4) Combining (3.3) with (3.4), we obtain (3.1), if c < c := min{r/λ 0,c (r)}. Lemma 3.1 is thus proved. Lemma 3.3. Let r > 0 and c r/λ 0. Let {u n } H 1 (Γ) be a minimizing sequence for νc r. That is, u n S(c) B(r), lim E(u n) = inf E(u) = n u S(c) B(r) νr c. Then Proof. First, let us show that lim inf n u n p+1 L p+1 > 0. (3.5) νc r = inf E(u) < λ 0 c. (3.6) u S(c) B(r) Indeed, we set ψ c = cψ 0, where ψ 0 is defined in Lemma.1 and c r/λ 0. It is clear that ψ c L = c ψ 0 L = c and ψ c G = cf[ψ 0]+λ 0 c ψ 0 L = cλ 0 +λ 0 c = cλ 0 r,

9 thus ψ c S(c) B(r) and STANDING WAVES FOR NLS ON GRAPHS 9 inf E(u) E(ψ c) = c u S(c) B(r) F[ψ 0] 1 p+1 ψ c p+1 L p+1 = λ 0 c 1 p+1 ψ c p+1 L p+1 < λ 0 c. On the other hand, assume by the absurd that liminf n u n p+1 = 0. L p+1 Then νc r 1 = lim n F[u n] λ 0 c, which is a contradiction since νc r < λ 0 c. This completes the proof of lemma. For any y Γ and t > 0, we denote by B(y,t) the open ball of center y and radius t, B(y,t) := {x Γ : d(x,y) < t}. Here, d(x,y) denotes the distance between two points of the graph (see [19, Section 3]). To each minimizing sequence {u n } n N H 1 (Γ) of νc r, we define the following sequence of functions (Lévy concentration functions) M n, M n (t) = sup u n L (B(y,t)). y B(y,t) Let τ = lim lim M t n(t). n Since u n L = c, it is clear that 0 τ c. Concentration compactness lemma for starlike structures [19] shows that there are three (mutually exclusive) possibilities for τ, (i) (Vanishing) τ = 0. Then, up to a subsequence, u n p+1 0 as n L p+1 for all < p. (ii) (Dichotomy) τ (0,c). Then, there exist {v k } k N, {w k } k N H 1 (Γ) such that suppv k suppw k = (3.7) v k (x) + w k (x) u k (x) for all x Γ (3.8) v k H 1 + w k H 1 C u nk H 1 (3.9) v k L τ w k L c τ (3.10) lim inf k ( u n k L v k L w k L ) 0 (3.11) lim n k p+1 v k L p+1 k p+1 w L p+1 k p+1 ) = 0 p < L p+1 (3.1) lim n k v k w k L = 0. k (3.13) (iii) (Compactness) τ = c. Then, up to a subsequence, at least one of the two following cases occurs,

10 10 STANDING WAVES FOR NLS ON GRAPHS (Convergence) There exists u H 1 (Γ) such that u n u in L p for all p. (Runaway) There exists e J ex, such that for any t > 0 and p ( ) lim (u n ) e p L p (I + (u e) n) e p L p ((0,t)) = 0. (3.14) n e e Now we give the proof of Theorem 1.. Proof of Theorem 1.. The statement i) follows from Lemma 3.1. Next we prove statement ii) of theorem. Let {u n } be a minimizing sequence of ν r c, then {u n} is bounded in H 1 (Γ). Indeed, since u n S(c) B(r), from Lemma. ii) we see easily that the sequence {u n } is bounded in H 1 (Γ). Moreover, since H 1 (Γ) is a Hilbert space, there is u H 1 (Γ) such that, up to a subsequence, u n u in H 1 (Γ) and (u n ) e (x) converges to (u) e (x) a.e x I e, e J. Next we analyze separately the three possibilities: τ = 0, 0 < τ < c and τ = c. From Lemma 3.3, it follows that τ > 0. Therefore, the possibility of vanishing is ruled out. Now following the same argument as intheproofoftheorem1in[19]wecanruleoutthepossibilityof dichotomy; that is τ / (0,c). Thus, we see that τ = c. Next we prove that for c < c the minimizing sequence {u n } is not runaway. We argue by contradiction. Suppose that {u n } is runaway. From (3.14) we see that lim n (u n ) e p L p = 0 for all e e, Moreover, since W L r (Γ) with 1 r 1+/(p 1), following the same ideas as in [19, Theorem 1], one can get that Thus, we have lim u n(v) = 0 for all v V and lim (u n,w u n ) = 0. n n lim E(u n) lim n n [ 0 (u n ) e dx 1 p+1 0 ] (u n ) e p+1 dx. (3.15) Ontheother hand, sinceu n S(c) B(r), usingtheinequality of Gagliardo- Nirenberg it is not difficult to show that there exists a constant K independent of n such that u n p+1 L p+1 Kr (p 1)/4 c (p+3)/4. (3.16) Therefore, combining (3.6), (3.15) and (3.16), we obtain inf E(u) < λ 0 u S(c) B(r) c < Kr(p 1)/4 c (p+3)/4 lim E(u n), n for sufficiently small c (r) << 1 and c < c (r), which is a contradiction and hence, every minimizing sequencefor ν r c must becompact if c < c (r). Thus, we have that u n converges, up to taking subsequences, in L p -norm to the function u satisfying u L = c. Consequently, from the weak convergence in H 1 (Γ), it follows that E(u) lim n E(u n) = ν r c, and u G liminf n u n G.

11 STANDING WAVES FOR NLS ON GRAPHS 11 Thus, u S(c) B(r) and E(u) = ν r c. Now, if we assume that u H 1 < liminf n u n H 1, then E(u) < ν r c, which is absurd, and thus we deduce that u n u strongly in H 1 (Γ). This finishes the proof. 4. Proof of Theorem 1.3 The aim of this section is to prove Theorem 1.3. First, we need the following lemma. Lemma 4.1. Let u H 1 (Γ) be a solution of (1.7). Then, for every e J, the restriction u e : [0,L e ) C of u to the e-th edge satisfies the following properties: u e H ((0,L e )) C ((0,L e )), (4.1) u e +W e u e +ωu e u e p 1 u = 0 on (0,L e ), (4.) o u e (v) = α v u e (v) for all v V, (4.3) e v where W e is the component of the potential W on the edge e. Proof. Fix l J. Statements (4.1) and (4.) are derived from a standard bootstrap argument using test functions ζ C 0 ((0,L e)). Indeed, by (1.7) applied with ϕ = (ϕ e ) e J, where ϕ l = ζu l and ϕ e = 0 for e l, we get (ζu l ) +ωζu l = W e ζu l ζu l ζ u l +ζ u l p 1 u l in the sense of distributions on (0,L e ). Now, since the right side is in L ((0,L e )), it follows that u l H ((0,L e )), and hence u l H ((0,L e )) C 1 ((0,L e )). A similar argument shows that u l C ((0,L e )). In particular, statement (4.) is true. Finally, a standard argument shows that the solution u of the stationary problem (1.7) is an element of the domain of the operator H, and it satisfies the boundary conditions (4.3) at the vertex v. For more details see, for example [5, Theorem 4] and [13, Lemma 4.1]. Proof of Theorem 1.3. Our proof is inspired by [16, Theorem 1 ] and [19, Proposition ]. First we remark that if u M r c, then from Lemma 3. we have that u B(rc), that is, u stays away from the boundary of S(c) B(r). Therefore, we see that u is a critical point of E on S(c) and there exists a Lagrange multiplier ω R such that Hu+ωu u p 1 u = 0. (4.4) Multiplying (4.4) with u, and integrating over Γ we obtain ω u L = F[u] u p+1 L p+1 = E(u)+ p+1 u p+1 L p+1 u p+1 L p+1 = E(u)+ 1 p p+1 u p+1 L p+1 < E(u).

12 1 STANDING WAVES FOR NLS ON GRAPHS Thus, from (3.6), we see that ω > E(u) c > λ 0. Next, since u S(c) B(r), by Lemma. ii) we see that there exists a constant K > 0 such that Moreover, notice that which implies that It follows that u p+1 L p+1 K(c p+3 4 u p 1 G +λ 0c p+1 ). u G = F[u]+λ 0 u L λ 0 u L = λ 0 c, ωc = F[u] u p+1 L p+1 = u G u p+1 L p+1 λ 0 c u G Kc p+3 = u G(1 Kc p+3 p 1 4 u G Kλ 0c p+1 λ 0 c p 5 4 u G ) Kλ 0c p+1 λ 0 c λ 0 c(1 Kc p+3 4 (rc) p 5 4 ) Kλ 0 c p+1 λ 0 c = λ 0 c( 1 Kc p 1 r p 5 4 Kc p 1 ). ω λ 0 (1+Kc p 1 +Kc p 1 r p 5 4 ) = λ 0 (1+Kc p 1 (1+r p 5 4 )). Thus, since p 5, we obtain the proof of i) of theorem. Let u M r c be a complex valued minimizer. Since u L u L, it follows that u S(c) B(r) and E( u ) E(u) = νc r. In particular, u M r c and E(u) = E( u ). This implies that e J Le 0 u e (x) dx = e J Le 0 u e(x) dx. (4.5) Now we set ψ := u. We claim that ψ(x) > 0 for all x Γ. First, since ψ M r c, we obtain that ψ is a critical point of E on S(c). Therefore, there exists a Lagrange multiplier ω > λ 0 such that Hψ +ωψ ψ p = 0. Notice that, by Lemma 4.1, ψ dom(h), ψ e H ((0,L e )) C ((0,L e )) (here L e = + if e J ext ) and ψ e +W eψ e +ωψ e ψ p e = 0, for all x (0,L e) and e J. We recall that W 0. We set B(s) := ωs s p. Since B C 1 [0,+ ), is nondecreasing for s small, B(0) = 0 and B(ω 1/(p 1) ) = 0, by [30, Theorem 1], it follows that for every e J, ψ e is either trivial or strictly positive on (0,L e ).

13 STANDING WAVES FOR NLS ON GRAPHS 13 Secondly, if we suppose that ψ e (0) = ψ e (0) = 0, then ψ e is trivial on [0,L e ]. Indeed, for some ǫ > 0, we define { ψ e (x) if x [0,L e ), ψ e (x) = 0 if x ( ǫ,0). Then, by Sobolev extension theorem, ψ e H (( ǫ,l e )) and ψ e + W e ψe +ω ψ e ψ p e = 0, for all x ( ǫ,l e ), wherethefunction W e istheextension byzeroofw e. Thus, by[30, Theorem 1] and applying the same argument as above, we have that ψ e = 0 on ( ǫ,l e ). Analogously we may consider the case when ψ e (L e ) = ψ e (L e) = 0. Finally, we prove ψ > 0. To begin assume that ψ(v) = 0 for some v V. Since ψ dom(h), it follows that v e oψ e (v) = 0. Without loss of generality, we can assume that the vertex v coincides with x = 0. Notice that ψ e(0) 0. Indeed, this follows from the fact that ψ e C 1 ([0,L e )), ψ e 0 and ψ e (0) = 0. Thus we obtain ψ e (0) = ψ e(0) = 0 due to the boundary conditions at the vertex. Therefore ψ e = 0 on (0,L e ) for all e 0 and by continuity ψ = 0 on Γ, which is a contradiction because ψ M r c. This contradiction shows that the supposition is false, and so ψ e (v) > 0 for all v V. Therefore, ψ e (x) > 0 on [0,L e ) for all e v and, hence, by continuity ψ > 0 on Γ. This proves the claim. On the other hand, we can write u e (x) = ψ e (x)z e (x) where ψ e, z e C 1 (0,L e ) and u e = ψ e > 0. Since z e = 1, it follows that u e = ψ e z e +ψ e z e = z e(ψ e +ψ ez e z e ). Notice that Re(z e z e ) = 0. This implies that u e = ψ e + ψ e z e. Thus from (4.5) we see that e J Le 0 ψ e dx = e J Le 0 u e dx = e J Le 0 ψ e + e J Le 0 ψ e z e. Using that ψ e > 0, we obtain that z e = 0 for every e J. Since z e C 1 (0,L e ), we get z e (x) = e iθe on (0,L e ) with θ e = constant. Finally, by continuity at the vertex we have that θ e = θ = constant for all e J, and this completes the proof of theorem. 5. Stability of standing waves This section is devoted to the proof of Corollaries 1.4 and 1.5. Proof of Corollary 1.4. We prove that the set M r c is H 1 (Γ)-stable with respect to NLS (1.1). We argue by contradiction. Suppose that the set M r c is not stable under flow associated with (1.1). Then there exist ǫ > 0, a

14 14 STANDING WAVES FOR NLS ON GRAPHS sequence {u n,0 } n N H 1 (Γ) such that and {t n } R + such that inf ϕ M r c u n,0 ϕ H 1 < 1 n (5.1) inf u n (t n ) ϕ H ϕ M r 1 ǫ for all n N, (5.) c where u n is the unique solution of the Cauchy problem (1.1) with initial data u n,0. Without loss of generality, we may assume that u n,0 L = c. From (5.1) and conservation laws, we obtain E(u n (t n )) = E(u n,0 ) ν r c as n, u n (t n ) L = u n,0 L = c for all n. We note that there exists a subsequence {u nk (t nk )} of {u n (t n )} such that u nk (t nk ) G r. Indeed, if u n(t n ) G > r forevery nsufficiently large, then by continuity there exists t n (0,t n) such that u n (t n ) G = r. Moreover u n (t n ) L = c and E(u n (t n )) νr c as n. Therefore, {u n(t n )} n N is a minimizing sequence of νc r. By Theorem 1., we see that there exists u H 1 (Γ) such that u n (t n ) u strong in H 1 (Γ). In particular, E(u ) = νc r, u G = r and u L = c, which is a contradiction, because from Lemma 3. the critical points of E on S(c) do not belong to the boundary of S(c) B(r). In conclusion, u nk (t nk ) G r, u n k (t nk ) L = c and E(u nk (t nk )) νc; r that is, {u nk (t nk )} k N is a minimizing sequence for νc. r Thus, by Theorem 1., up to a subsequence, there exists a function ϕ M r c such that which is a contradiction with (5.). u nk (t nk ) ϕ H 1 0, as k, Proof of Corollary 1.5. Let r > 0 and c > 0 be as in Theorem 1.. Notice that M r c for c < c. Let ψ M r c. From Theorem 1.3 i)-ii), there exists ω > γ /N such that Hψ +ωψ ψ p 1 ψ = 0, and ω γ /N as c 0. From Theorem 4 in [5] we have that { } M r c e iθ φ ω,j : θ R,j = 0,1,...,[(N 1)/], where φ ω,j is defined in (1.8). We recall that φ ω,j is defined for ω > γ /(N j). Notice that if c < c is sufficiently small, then φ ω,j / M r c for j 1. Indeed, since ω γ /N as c 0, by taking c sufficiently small we have that ω < γ /(N j) for every j 1. That is, there exists c 1 such that if c < c 1, then φ ω,j / M r c for j = 1,,..., [(N 1)/].

15 STANDING WAVES FOR NLS ON GRAPHS 15 On the other hand, we define the function R(ω) := φ ω,0 L for ω > γ /N, i.e., R(ω) = N ( ) p+1 p 1 5 p ( γ ) ω (p 1) h (p 1) Nω 1/, where h(x) = 1 x (1 t ) 3 p p 1 dt. Notice that R(γ /N ) = 0. Moreover, there exists ω1 > 0 such that R (ω) > 0 for all ω (γ /N,ω1 ) (see [5, Remark 6.1]). This implies that there exists c such that φ ω(c),0 L = c for 0 < c c and ω(c) (γ /N,ω1 ). Without loss of generality we can assume that r φ ω(c),0 L for ω(c) (γ { /N,ω1 ). Set c 3 := min{c 1,c }. It is clear that if c < c 3, then Mr c = e iθ φ ω(c),0 : θ R }. Therefore, the statement of Corollary 1.5 follows from Corollary 1.4, and this completes the proof. Acknowledgements The author wishes to express their sincere thanks to the referees for his/her valuable comments that help to improve the main results of this paper. References [1] R. Adami, C. Cacciapuoti, D. Finco, and D. Noja. Fast solitons on star graphs. Rev. Math. Phys, 4(3): , 011. [] R. Adami, C. Cacciapuoti, D. Finco, and D. Noja. On the structure of critical energy levels for the cubic focusing NLS on star graphs. J. Phys. A: Math. Theor, 45(19001):7pp, 01. [3] R. Adami, C. Cacciapuoti, D. Finco, and D. Noja. Stationary states of NLS on star graphs. Europhys. Lett., 100:1003, 01. [4] R. Adami, C. Cacciapuoti, D. Finco, and D. Noja. Constrained energy minimization and orbital stability for the NLS equation on a star graph. Ann. Inst. H. Poincaré Anal. Non Linéaire, 31(6): , 014. [5] R. Adami, C. Cacciapuoti, D. Finco, and D. Noja. Variational properties and orbital stability of standing waves for NLS equation on a star graph. J. Differential Equations, 57: , 014. [6] R. Adami and D. Noja. Existence of dynamics for a 1-d NLS equation perturbed with a generalized point defect. J. Phys. A Math. Theor., 4(49): , 009. [7] R. Adami and D. Noja. Stability and symmetry-breaking bifurcation for the ground states of a NLS with a δ interaction. Comm. Math. Phys., 318(1):47 89, 013. [8] R. Adami and D. Noja. Exactly solvable models and bifurcations: the case of the cubic NLS with a δ or a δ interaction in dimension one. Math. Model. Nat. Phenom., 9(5):1 16, 014. [9] R. Adami, E. Serra, and P.Tilli. Nonlinear dynamics on branched structures and networks. Riv. Mat. Univ. Parma, 8(1): , 017. [10] R. Adami, E. Serra, and P. Tilli. Threshold phenomena and existence results for NLS ground states on metric graphs. J. Funct. Analysis, 71(1):01 3, 016. [11] R. Adami, E. Serra, and P. Tilli. Negative energy ground states for the L -critical NLSE on metric graphs. Comm. Math. Physics, 35(1): , 017.

16 16 STANDING WAVES FOR NLS ON GRAPHS [1] J. Angulo and N. Goloshchapova. Extension theory approach in the stability of the standing waves for the NLS equation with point interactions on a star graph. to appear in Adv Diff Equ., arxiv: v5, 50pp, 018. [13] A.H. Ardila. Logarithmic NLS equation on star graphs: existence and stability of standing waves. DIE, 30(9/10):735 76, 017. [14] A.H. Ardila. Stability of ground states for logarithmic Schrödinger equation with a δ - interaction. Evol. Equ. Control Theory, 6: , 017. [15] V. Banica and L.I. Ignat. Dispersion for the Schrödinger equation on the line with multiple dirac delta potentials and on delta trees. Anal. PDE, 7:903 97, 014. [16] J. Bellazzini, N. Boussaid, L. Jeanjean, and N. Visciglia. Existence and stability of standing waves for supercritical NLS with a partial confinement. Comm. Math. Physics, 353(1):9 339, 017. [17] G. Berkolaiko, C. Carlson, S. Fulling, and P. Kuchment. Quantum Graphs and Their Applications, volume 415 of Contemporary Math. American Math. Society, Providence, RI, 006. [18] C. Cacciapuoti. Existence of the ground state for the NLS with potential on graphs. arxiv: , 017. [19] C. Cacciapuoti, D. Finco, and D. Noja. Ground state and orbital stability for the NLS equation on a general starlike graph with potentials. Nonlinearity, 30(8): , 017. [0] T. Cazenave. Semilinear Schrödinger Equations. Courant Lecture Notes in Mathematics,10. American Mathematical Society, Courant Institute of Mathematical Sciences, 003. [1] R. Fukuizumi and L. Jeanjean. Stability of standing waves for a nonlinear Schrödinger equation with a repulsive Dirac delta potential. Discrete Contin. Dyn. Syst., 1:11 136, 008. [] R. Fukuizumi, M. Ohta, and T. Ozawa. Nonlinear Schrödinger equation with a point defect. Ann. Inst. H. Poincaré Anal. Non Linéaire, 5(5): , 008. [3] S. Le Coz, R. Fukuizumi, G. Fibich, B. Ksherim, and Y. Sivan. Instability of bound states of a nonlinear Schrödinger equation with a dirac potential. Phys. D, 37: , 008. [4] X. Luo. Stability and multiplicity of standing waves for the inhomogeneous NLS equation with a harmonic potential. Nonlinear Analysis: Real World Applications, 45: , 019. [5] F. A. Mehmeti, J. von Below, and S. Nicaise, editors. Partial Differential equations on multistrucutres, number 19 in Lecture Notes in Pure and Applied Mathematics. Marcel Dekker, Inc., New York, 001. [6] D. Noja. Nonlinear Schrödinger equation on graphs: recent results and open problems. Philos. Trans. R. Soc. Lond. Ser. A Math. Phys. Eng.Sci, 37:013000(0 pages), 014. [7] B. Noris, H. Tavares, and G. Verzini. Existence and orbital stability of the ground states with prescribed mass for the L -critical and supercritical NLS on bounded domains. Anal. PDE, 7(8): , 014. [8] D. Pierotti and G. Verzinian. Normalized bound states for the nonlinear Schrödinger equation in bounded domains. Calc. Var. Partial Differential Equations, 56(5):Art. 133, 7 pp, 017. [9] H. Uecker, D. Grieser, Z. Sobirov, D. Babajanov, and D. Matrasulov. Soliton transport in tabular networks: transmission at vertices in the shrinking limit. Phys. Rev. E, 91:0309 (8 pages), 015. [30] J.L. Vázquez. A strong maximum principle for some quasilinear elliptic equations. Appl. Math. Optim, 1:191 0, address: ardila@impa.br