Colette De Coster

Simone Dovetta

Damien Galant

Enrico Serra

On the notion of ground state for nonlinear Schrödinger equations on metric graphs

Keywords: AMS Subject Classification: 35R02, 35Q55, 49J40, 58E30 nonlinear Schrödinger, ground states, least action, constrained minimization

We compare ground states for the nonlinear Schrödinger equation on metric graphs, defined as global minimizers of the action functional constrained on the Nehari manifold, and least action solutions, namely minimizers of the action among all solutions to the equation. In principle, four alternative cases may take place: ground states do exist (thus coinciding with least action solutions); ground states do not exist while least action solutions do; both ground states and least action solutions do not exist and the levels of the two minimizing problems coincide; both ground states and least action solutions do not exist and the levels of the two minimizing problems are different. We show that in the context of metric graphs all four alternatives do occur. This is accomplished by a careful analysis of doubly constrained variational problems. As a by-product, we obtain new multiplicity results for positive solutions on a wide class of noncompact metric graphs.

Introduction

Nonlinear Schrödinger equations on metric graphs have attracted the interest of a large -and increasing -number of researchers in the last few years. As the literature on the subject witnessed a massive growth, we refrain from overviewing it here, redirecting e.g. to [START_REF] Adami | Competing nonlinearities in NLS equations as source of threshold phenomena on star graphs[END_REF][START_REF] Adami | Stable standing waves for a NLS on star graphs as local minimizers of the constrained energy[END_REF][START_REF] Akduman | Nonlinear Schrödinger equation with growing potential on infinite metric graphs[END_REF][START_REF] Berkolaiko | Edge-localized states on quantum graphs in the limit of large mass[END_REF][START_REF] Besse | Gradient flow approach to the calculation of ground states on nonlinear quantum graphs[END_REF][START_REF] Besse | Numerical simulations on nonlinear quantum graphs with the GraFiDi library[END_REF][START_REF] Boni | Doubly nonlinear Schrödinger ground states on metric graphs[END_REF][START_REF] Boni | Ground states for a doubly nonlinear Schrödinger equation in dimension one[END_REF][START_REF] Borthwick | Bounded Palais-Smale sequences with Morse type information for some constrained functionals[END_REF][START_REF] Borthwick | Normalized solutions of L 2 -supercritical NLS equations on noncompact metric graphs with localized nonlinearities[END_REF][START_REF] Chang | Normalized solutions of L 2 -supercritical NLS equations on compact metric graphs[END_REF][START_REF] Dovetta | Symmetry breaking in two-dimensional square grids: persistence and failure of the dimensional crossover[END_REF][START_REF] Goloshchapova | Dynamical and variational properties of the NLS-δ s equation on the star graph[END_REF][START_REF] Kairzhan | Drift of spectrally stable shifted states on star graphs[END_REF][START_REF] Kairzhan | Existence of standing waves on a flower graph[END_REF][START_REF] Noja | Standing waves of the quintic NLS equation on the tadpole graph[END_REF][START_REF] Pierotti | Ground states for the NLS equation with combined nonlinearities on non-compact metric graphs[END_REF][START_REF] Pierotti | Local minimizers in absence of ground states for the critical NLS energy on metric graphs[END_REF] for some of the most recent developments and to the reviews [START_REF] Adami | Non-Kirchhoff vertices and nonlinear Schrödinger ground states on graphs[END_REF][START_REF] Kairzhan | Standing waves on quantum graphs[END_REF] for more comprehensive discussions. Within the whole theory, prominent efforts have been devoted to the analysis of existence of positive standing wave solutions, with a particular focus on ground states.

The notion of ground state however, albeit often suggested unequivocally by the specific problem under study, is by no means univocally defined. This aspect is of course not specific to Schrödinger equations on metric graphs, but is a general feature appearing in the study of various types of scalar field equations on a variety of domains, from open subsets of R N to Riemannian manifolds.

To describe it more concretely, we consider a metric graph G and the NLS equation

u + |u| p-2 u = λu on G (1.1)
where λ > 0 and p > 2. As usual, it is required that (1.1) be satisfied pointwise on every edge of G, while additional matching conditions have to be imposed at the vertices of the structure. In this paper, equation (1.1) is coupled with the so-called natural, or Kirchhoff, boundary conditions, prescribing that on every vertex v of G the sum of the outgoing derivatives of u along every edge incident at v is zero. Thus, defining a coordinate x e ∈ (0, |e|) on every edge e of G (where |e| is the length of edge e), the problem we are addressing reads

           u + |u| p-2 u = λu on every edge e of G u is continuous at every vertex v of G e v du dx e (v) = 0 at every vertex v of G, (1.2)
where λ > 0, p > 2, the symbol e v means that the sum is extended to all edges emanating from v and where du dxe (v) is the outward derivative of u at v. In this framework, the solutions to (1.2) can be characterized variationally as the critical points of the standard action functional

J λ : H 1 (G) → R J λ (u) := 1 2 u 2 L 2 (G) + λ 2 u 2 L 2 (G) - 1 p u p L p (G) , (1.3)
where

H 1 (G) = u : G → R | u is continuous and u, u ∈ L 2 (G) .
In the search for ground states, as J λ is not bounded from below, one may impose extra constraints to recover boundedness and make a minimization procedure meaningful. For instance one could restrict J λ to the unit sphere of L p (G) or to the Nehari manifold associated with J λ (this second approach has the advantage that the nonlinearity need not be homogeneous). Both procedures make J λ bounded from below on these sets and one then defines ground states as the functions that achieve the infimum of J λ on the constraint. Specifically, for our problem, the Nehari manifold is the set

N λ (G) := u ∈ H 1 (G) \ {0} | J λ (u)u = 0 = u ∈ H 1 (G) \ {0} | u 2 L 2 (G) + λ u 2 L 2 (G) = u p L p (G) . (1.4)
As is well known, the Nehari manifold contains all nonzero critical points of J λ and is a natural constraint, in the sense that constrained critical points are in fact true critical points of J λ . This leads to a first definition of ground state. Defining

c λ (G) = inf u∈N λ (G) J λ (u),
it is customary to set the following Definition 1.1. An action ground state for (1.2) is a function u ∈ N λ (G) such that J λ (u) = c λ (G).

(1.5)

Clearly any action ground state is a constant sign solution to (1.2), often referred to also as a "solution of minimal action", though we adopt here a different terminology (see Definition 1.2). In applications, action ground states play a prominent role for various reasons, which fully justifies the preceding definition. In practice, however, one is very often confronted with the following inconvenience: there need not exist any function u in N λ (G) satisfying (1.5) (a frequent fact in many noncompact settings). Thus, the existence of a ground state is not guaranteed in general.

To overcome this obstacle, sometimes one assumes a different definition of ground state. Let

S λ (G) = {u ∈ H 1 (G) \ {0} | u solves (1.2)}
be the set of nonzero solutions to (1.2) and set

σ λ (G) = inf u∈S λ (G) J λ (u). (1.6)
Although it is common use to call ground states too the functions described in the following definition, we prefer to label them with a different name, to avoid misunderstandings.

Definition 1.2. A least action solution for (1.2) is a function u ∈ S λ (G) such that J λ (u) = σ λ (G). (1.7)
The two points of view motivating the above definitions are clearly different. In the former case one fixes the attention on the level c λ (G), and tries to prove that it is attained, obtaining in this way a solution that has minimal action among all functions in N λ (G). In the latter the aim is to ascertain if, among solutions of (1.2), there is one of least action; in this case there might be plenty of functions with lesser action (and none of them will solve problem (1.2) if c λ (G) is not attained).

Although S λ (G) is a much smaller set than N λ (G) it is not at all clear, in general, that there exist any functions in S λ (G) that achieve σ λ (G). Thus, even with the second definition, the existence of "ground states" is not guaranteed a priori.

The aim of this paper is to analyze the relations among c λ (G) and σ λ (G) and in particular to investigate if all the theoretical cases can actually take place. To make this point clear we start by observing that, trivially,

c λ (G) ≤ σ λ (G), (1.8)
without any further assumption. Furthermore, if c λ (G) is attained by some function u ∈ N λ (G), then u ∈ S λ (G), the equality c λ (G) = σ λ (G) holds, and σ λ (G) is attained too. In view of these preliminary considerations, the possibilities to consider are exactly the following four:

A1) c λ (G) = σ λ (G)
, and they are attained; A2) c λ (G) = σ λ (G), and they are not attained;

B1) c λ (G) < σ λ (G), σ λ (G) is attained and c λ (G) is not; B2) c λ (G) < σ λ (G)
, and neither is attained.

To prove or disprove the actual occurrence of these situations then amounts, for each A1-B2, to produce an example of a graph G where the behavior is exactly the one prescribed by the alternative in question. We wish to make very clear that the previous discussion is completely independent of the domain on which the NLS equation is set. For instance, replacing G by an open subset Ω of R N (and the second derivative by the Laplacian, and so on, e.g. H 1 (G) by H 1 (Ω) or H 1 0 (Ω),....), every issue described so far can be stated in the new context without any modification except notation. In particular, the four alternatives listed above remain and it would be extremely interesting to understand if they really occur. While this can be easily achieved in some of the alternatives (A1, for instance), some of them appear rather difficult to deal with when considering the NLS equation on subsets of R N and are currently out of reach.

Our present contribution aims at shedding some light on this problem starting from the context of metric graphs, where one can profitably use the advantage of the local one-dimensional nature of the ambient space to obtain sharper results. Even in this setting, though, the constructions we will provide are quite involved, very specific to the metric graph environment and do not seem to be extendable to other frameworks.

Stated in a compact form, our main result is the following. In a nutshell, as far as action ground states are concerned, "anything can happen" on metric graphs. Theorem 1.3. For every p > 2, every λ > 0 and every choice of an alternative among A1, A2, B1, B2, there exists a metric graph G where that alternative takes place.

As the proof of Theorem 1.3 will be carried out case by case, let us briefly comment here on A1-B2, postponing the technical issues to subsequent sections.

Case A1 corresponds to problems where the infimum c λ (G) is achieved. This is what one normally tries to obtain in the existence results and it is the case for all compact graphs and for some noncompact ones (see e.g. [6-8, 22, 23, 25, 35, 37, 38, 41], works that deal with still a slightly different notion of ground state, but whose techniques adapt easily to the present setting). The theory in this framework is rather well developed, not only on metric graphs of course, and there is not much to add.

In case A2 the graph is necessarily noncompact. There are plenty of examples where it is known that c λ (G) is not attained, and this is due to topological or metric obstructions on the graph that have been widely described in the literature (see again e.g. [START_REF] Adami | Negative energy ground states for the L 2 -critical NLSE on metric graphs[END_REF][START_REF] Adami | NLS ground states on graphs[END_REF][START_REF] Adami | Threshold phenomena and existence results for NLS ground states on graphs[END_REF][START_REF] Dovetta | L 2 -critical NLS on noncompact metric graphs with localized nonlinearity: topological and metric features[END_REF]). Nonetheless, this leaves open the question of the existence of a least action solution in the sense of Definition 1.2. As far as we know, examples of this kind, where c λ (G) coincides with σ λ (G) but the level is not achieved, have never been described before. The construction of a graph with this property will be the object of Section 4.2 (Theorem 4.1) and is one of the principal proofs of the paper.

Due to existing results, it is easy to produce an example where alternative B1 occurs. We will briefly describe it anyway for completeness in Section 4.3, since it has never been considered under this perspective.

Case B2 is the hardest one and will be treated in Section 4.4 (Theorem 4.2). It is well known that, typically, the lack of a function attaining c λ (G) is due to the presence of a "problem at infinity" that attracts nonconvergent minimizing sequences. This is a standard phenomenon in problems with lack of compactness and is essentially what takes places in cases A2 and B1. The main novelty in B2, which is what makes this case rather delicate, is that the infimum over solutions is not attained due to the presence of a second problem at infinity, at level σ λ (G) > c λ (G). By this we do not mean a problem at infinity with loss of compactness at different levels, but rather the presence of two distinct problems: the first, as we said, attracting nonconvergent minimizing sequences for J λ and preventing at the same time the existence of solutions with action arbitrarily close to such infimum level; the second attracting nonconvergent sequences of solutions of lower and lower level. In fact, the gap between c λ (G) and σ λ (G) reflects the coexistence of this pair of necessarily different problems at infinity. This seems to be a new phenomenon and it is what makes quite involved the construction of a graph exhibiting it.

As a byproduct, we notice that in cases A2 and B2, the fact that σ λ (G) is not attained immediately implies the existence of infinitely many positive solutions for (1.2), with accumulating levels, which we believe to be a remarkable fact.

From the technical point of view, the proofs of the aforementioned results exploit deeply the role of both the topology and the metric of graphs to determine existence/non-existence of solutions to specific variational problems. On the one hand, non-existence of ground states is obtained via by-now standard arguments in the theory of NLS on metric graphs. On the other hand, the construction of noncompact sequences of solutions in S λ (G) with specific action level is achieved, in both cases A2 and B2, through a careful analysis of doubly-constrained minimization problems in the form inf

u∈N λ (G)∩Xe J λ (u) (1.9)
where

X e = u ∈ H 1 (G) : u L ∞ (G) = u L ∞ (e)
is the subset of H 1 functions attaining their L ∞ norm on a given bounded edge e of G. A rather general existence result of independent interest is derived for this kind of problems in Section 3. Precisely, for a wide class of noncompact graphs, given λ > 0 we show that the infimum in (1.9) is attained whenever the length of e is larger than a threshold depending only on λ and p (Theorem 3.2). Moreover, such a minimizer is a solution of problem (1.2) provided e is sufficiently long (Theorem 3.3), the threshold depending this time also on inf e∈E |e|, where E is the set of all edges of G. This approach was originally introduced for mass-constrained critical points of the energy functional in [START_REF] Adami | Multiple positive bound states for the subcritical NLS equation on metric graphs[END_REF], where it proved suitable to obtain multiplicity results. However, in that paper a crucial assumption is that the (prescribed) mass be sufficiently large. By scaling properties, this is equivalent to the assumption that the length of all bounded edges is large. Here, on the contrary, it is sufficient that a single edge is long enough. A direct consequence of these results is the existence of multiple positive solutions, each attaining its maximum on one of the edges longer than the threshold (Theorem 3.5).

To conclude this introduction, let us point out that, as is well-known, to look at solutions of (1.2) as critical points of the action functional (1.3) is not the unique variational characterization at disposal. In particular, moving from the seminal papers [START_REF] Cazenave | Orbital stability of standing waves for some nonlinear Schrödinger equations[END_REF][START_REF] Jeanjean | Existence of solutions with prescribed norm for semilinear elliptic equations[END_REF], in the past decade a lot of attention has been devoted, both on metric graphs and on domains in R N , to normalized solutions, i.e. critical points of the energy functional E :

H 1 (G) → R E(u) := 1 2 u 2 L 2 (G) - 1 p u p L p (G)
constrained to the space of functions with prescribed mass µ

H 1 µ (G) := u ∈ H 1 (G) : u 2 L 2 (G) = µ .
In this setting, the parameter λ appearing in (1.2) is not known a priori and pops up as a Lagrange multiplier associated to the mass constraint. It is evident that one can consider definitions of energy ground states and least energy solutions analogous to those given above when dealing with

J λ . Precisely, letting c µ (G) = inf u∈H 1 µ (G) E(u) and σ µ (G) = inf u∈ Sµ E(u) ,
where

S µ (G) := u ∈ H 1 µ (G) : u solves (1.
2) for some λ ∈ R , one has the following mutually exclusive four alternatives (the analogue of A1-B2) A1) c µ (G) = σ µ (G), and they are attained; A2) c µ (G) = σ µ (G), and they are not attained;

B1) c µ (G) < σ µ (G), σ µ (G) is attained and c µ (G) is not; B2) c µ (G) < σ µ (G)
, and neither is attained.

As a matter of fact, the analysis we develop here for J λ can be naturally adapted to prove (with the very same constructions) that also in the context of normalized critical points of E all cases A1-B2 do actually occur. Note that, even though both the approaches have been widely exploited in the literature, a detailed discussion of the relation between ground states (and more generally local minima) of J λ and E was started only recently in [START_REF] Dovetta | Action versus energy ground states in nonlinear Schrödinger equations[END_REF][START_REF] Jeanjean | On global minimizers for a mass constrained problem[END_REF].

The paper is organized as follows. Section 2 recalls some preliminary results, whereas Section 3 deals with doubly-constrained variational problems for the action functional in a general setting, proving the existence results in Theorems 3.2-3.3-3.5. Section 4 is devoted to the proof of Theorem 1.3.

Notation.

In what follows, we will write e.g. u p , . . . , in place of u L p (G) , . . . , whenever possible. When needed, the full notation will be used to indicate explicitly the domain of integration.

Preliminaries

In this paper we use a number of properties and results that have been established (mostly) in the recent literature. For the ease of the reader we collect them in the present section, referring each time to the original papers where proofs can be found.

We assume that the reader is familiar with the concept of metric graph. However, we make precise that in this paper we consider metric graphs G = (V, E) satisfying the following definition.

Definition 2.1. We denote by G the class of metric graphs G = (V, E) such that • G is connected and has an at most countable number of edges;

• G has at least one unbounded edge (i.e. a half-line);

• deg(v) < ∞ for every v ∈ V, where deg(v) denotes the degree of the vertex v, i.e. the number of edges emanating from it;

• ∀v ∈ V, deg(v) = 2;
• inf e∈E |e| > 0, where |e| denotes the length of e.

There is no loss of generality in assuming that deg(v) = 2 since every vertex of degree two can a priori be eliminated from any metric graph, by melting the two edges incident at v into a single edge. Note that every G ∈ G is noncompact. Further assumptions will be made when needed in the course of the paper.

In the study of the NLS equation on a metric graph in class G, a fundamental tool is provided by the Gagliardo-Nirenberg inequalities (see [START_REF] Adami | Threshold phenomena and existence results for NLS ground states on graphs[END_REF])

u q q ≤ K u q 2 +1 2 u q 2 -1 2 , K = 2 q 2 -1 , (2.1)
that hold for every u ∈ H 1 (G) and every q ≥ 2, and their

L ∞ version u 2 ∞ ≤ 2 u 2 u 2 .
(2.2)

A second fundamental tool that we will use very frequently in the next sections is provided by the rearrangement techniques of H 1 functions on a generic graph G, for the details of which we refer to Section 3 of [START_REF] Adami | NLS ground states on graphs[END_REF]. For the reader's convenience we recall here that, given a nonnegative function u ∈ H 1 (G), the decreasing rearrangement of u is the unique nonincreasing function u * ∈ H 1 (0, |G|) equimeasurable with u. The equimeasurability property entails that

u * L q (0,|G|) = u L q (G) , for every q ∈ [1, +∞]. (2.3)
Moreover, by the classical Pólya-Szegő inequality, we have

(u * ) L 2 (0,|G|) ≤ u L 2 (G) . (2.4) Similarly, the symmetric rearrangement u ∈ H 1 (-|G|/2, |G|/2) of u is u(x) = u * (2|x|)
. By definition, u is symmetric, nonincreasing on [0, -|G|/2) and equimeasurable with u. Furthermore, it is well known (see e.g. [START_REF] Adami | NLS ground states on graphs[END_REF]) that if #u -1 (t) ≥ 2 for almost every t ∈ (0, u ∞ ), then

u L 2 (-|G|/2,|G|/2) ≤ u L 2 (G) , (2.5)
where equality implies that #u -1 (t) = 2 for almost every t ∈ (0, u ∞ ).

The following result, that will be used in Section 4, is essentially a refinement of the Pólya-Szegő inequality and its proof follows combining results of [START_REF] Duff | Integral inequalities for equimeasurable rearrangements[END_REF] and [START_REF] Friedlander | Extremal properties of eigenvalues for a metric graph[END_REF]. Proposition 2.2. Let G be any metric graph and let u be a nonnegative function in H 1 (G). Let T ⊂ [0, +∞[ of positive measure. Assume that, for some integer K ≥ 1, #u -1 (s) ≥ K for a.e. s ∈ T .

Then the decreasing rearrangement u * of u satisfies

u * L q ((u * ) -1 (T )) = u L q (u -1 (T )) , for every q ∈ [1, +∞] and (u * ) L 2 ((u * ) -1 (T )) ≤ 1 K u L 2 (u -1 (T )) .
Next, if G is a metric graph in class G and λ > 0, we define the action functional

J λ ∈ C 1 (H 1 (G), R) as J λ (u) := 1 2 u 2 2 + λ 2 u 2 2 - 1 p u p p
and the Nehari manifold associated to J λ ,

N λ (G) := u ∈ H 1 (G) \ {0} | J λ (u)u = 0 = u ∈ H 1 (G) \ {0} | u 2 2 + λ u 2 2 = u p p .
It is well known that there exists a natural projection of

H 1 (G) \ {0} on N λ . Defining π λ : H 1 (G) \ {0} → R by π λ (u) = u 2 2 + λ u 2 2 u p p 1 p-2 , (2.6)
we have u ∈ N λ (G) if and only if π λ (u) = 1. We will also need the functional L :

H 1 (G) \ {0} → R defined by L(u) = u p p -u 2 2 u 2 2 .
(2.7)

If u solves problem (1.2), then L(u) = λ and, more generally, L(u) = λ if and only if u ∈ N λ (G). When u ∈ N λ (G), the functional J λ takes the simple form

J λ (u) = κ u p p = κ( u 2 2 + λ u 2 2 ), κ = 1 2 - 1 p , (2.8)
so that J λ is positive on N λ (G). Actually more can be said, and we summarize it in the next proposition.

Proposition 2.3. There exists a constant C > 0 depending only on λ and p such that

inf u∈N λ (G) u p ≥ C > 0.
(2.9)

Moreover, if (u n ) n ⊂ N λ (G) satisfies sup n J λ (u n ) < ∞, then (u n ) n is bounded in H 1 (G) and inf n u n 2 > 0, inf n u n ∞ > 0. Proof. Since u 2 2 + λ u 2 2 is equivalent to the usual H 1 (G) norm, Sobolev inequalities imply the existence of C = C(p, λ) > 0 such that, for all u ∈ N λ , u p ≤ C( u 2 2 + λ u 2 2 ) 1/2 = C u p/2 p , whence inf u∈N λ u p ≥ C 2 2-p > 0
which proves (2.9). From (2.8), as sup

n J λ (u n ) < ∞, we see that (u n ) n is bounded in H 1 (G), hence in L 2 (G) and L ∞ (G). Observing that u n p p ≤ u n p-2 ∞ u n 2 2
, we see that u n 2 and u n ∞ are also uniformly bounded away from zero.

When G = R, the non-trivial solutions to (1.2) are called solitons, they are unique up to translations and sign and they are the action ground states of J λ over N λ (R) (see e.g. [36, Proposition 3.12]). Denoting by φ λ the unique positive and even soliton, letting s 1 := J 1 (φ 1 ) and

s λ := s 1 λ α , α = p + 2 2(p -2) , (2.10)
for λ > 0, there results

J λ (φ λ ) = inf u∈N λ (R) J λ (u) = s λ . (2.11)
When G = R + , for every λ > 0 there is a unique positive action ground state, given by the restriction of φ λ to R + and inf

u∈N λ (R + ) J λ (u) = J λ φ λ | R + = 1 2 s λ . (2.12)
The level s λ plays a fundamental role in many papers, including the present one.

Lemma 2.4. Let G be a metric graph. Assume that, for every > 0, G has an edge e of length at least . Then there exists a sequence of functions (u ) ∈N ⊆ N λ , equal to zero outside e , and such that lim

→∞ J λ (u ) = s λ .
In particular inf

u∈N λ (G) J λ (u) ≤ s λ . (2.13)
Proof. Let φ λ be the soliton in N λ (R) and set δ = φ λ ( /2) = o(1) as → ∞. For every > 0, identify the interval [-/2, /2] with a subset of the edge e and define v ∈ H 1 (G) as

v (x) = (φ λ (x) -δ ) + if x ∈ e , 0 elsewhere on G. Since v H 1 (G) = v H 1 (e ) = φ λ H 1 (R) + o(1)
as → ∞, and likewise for all the L q norms, we see that

π λ (v ) → 1 as → ∞. Therefore, as π λ (v )v ∈ N λ (G), J λ (π λ (v )v ) = J λ (v ) + o(1) = J λ (φ λ ) + o(1) = s λ + o(1)
as → ∞, and we conclude.

In [START_REF] Adami | NLS ground states on graphs[END_REF] the authors introduced a topological condition on G under which inequality (2.13) is reversed. In our setting this condition, that we call assumption (H) as in [START_REF] Adami | NLS ground states on graphs[END_REF], takes the following form.

Definition 2.5. We say that a metric graph G ∈ G satisfies assumption (H) if, for every point x 0 ∈ G, there exist two injective curves γ 1 , γ 2 : [0, +∞) → G parameterized by arclength, with disjoint images except for an at most countable number of points, and such that γ 1 (0) = γ 2 (0) = x 0 .

If a graph G ∈ G satisfies assumption (H), it is easy to see (and proved in [START_REF] Adami | NLS ground states on graphs[END_REF]) that for every

nonnegative u ∈ H 1 (G) #u -1 (t) ≥ 2
for almost every t ∈ (0, u ∞ ).

Therefore, letting u be the symmetric rearrangement of u, if u ∈ N λ (G) we have π λ ( u) ≤ 1 by (2.5). As π λ ( u) u ∈ N λ (R), we conclude by (2.11) and (2.8) that

s λ ≤ J λ (π λ ( u) u) = κπ λ ( u) p u p L p (R) ≤ κ u p L p (G) = J λ (u)
and since this holds for every u ∈ N λ (G), inequality (2.13) is in fact an equality. As a consequence, with the same techniques as in [START_REF] Adami | NLS ground states on graphs[END_REF], it is easy to prove the following result.

Theorem 2.6. If G ∈ G satisfies assumption (H), then

inf u∈N λ (G) J λ (u) = s λ
but it is never achieved, unless G is isometric to R or to one of the exceptional graphs depicted in Example 2.4 of [START_REF] Adami | NLS ground states on graphs[END_REF].

If more is known on the number of preimages of a function u ∈ N λ (G), one can obtain sharper estimates. The following result will be used in Section 4.

Proposition 2.7. Let G ∈ G and assume that u ∈ N λ (G) is nonnegative and satisfies

#u -1 (t) ≥ K for a.e. t ∈ (inf G u, sup G u)
for some integer

K ≥ 1. Then J λ (u) ≥ K s λ 2 .
Proof. Since G ∈ G we have |G| = +∞. By Proposition 2.2 applied to T = (inf G u, sup G u) = (0, sup G u), the decreasing rearrangement u * of u satisfies u * ∈ H 1 (R + ) and

u * L q (R + ) = u L q (G) , for every q ∈ [1, +∞], (u * ) L 2 (R + ) ≤ 1 K u L 2 (G) .
Setting u K (x) := u * (Kx), a standard change of variable shows that

π λ (u K ) p-2 = u K 2 L 2 (R + ) + λ u K 2 L 2 (R + ) u K p L p (R + ) = K (u * ) 2 L 2 (R + ) + λ K u * 2 L 2 (R + ) 1 K u * p L p (R + ) ≤ u 2 L 2 (G) + λ u 2 L 2 (G) u p L p (G) = 1
and therefore, as π λ (u K )u K ∈ N λ (R + ), by (2.12)

s λ 2 ≤ J λ (π λ (u K )u K ) = κπ λ (u K ) p u K p L p (R + ) ≤ κ K u p L p (G) = 1 K J λ (u).

A general existence result

In this section we prove a general existence result for positive solutions to (1.2) attaining their maximum in the interior of a prescribed sufficiently long edge. Throughout this section, we work with metric graphs in class G, most of the time requiring also that the graph satisfies assumption (H). However, the arguments described in this section can be adapted with minor modifications to cover even broader classes of graphs.

Let G ∈ G satisfy assumption (H) and let e be one of its bounded edges. Set

X e := u ∈ H 1 (G) | u L ∞ (G) = u L ∞ (e)
and consider the doubly-constrained minimization problem

c λ (G, e) := inf u∈N λ (G)∩Xe J λ (u). (3.1)
Remark 3.1. The set X e is closed in the weak topology of H 1 (G). Indeed, if u n ∈ X e and u n u in H 1 (G), then by semicontinuity

u L ∞ (G) ≤ lim inf n u n L ∞ (G) = lim inf n u n L ∞ (e) = u L ∞ (e) ,
the last equality being justified by the uniform convergence of u n to u on e.

The next two theorems state the main results of this section.

u L ∞ (e) > u L ∞ (G\e) .
Remark 3.4. It is interesting to observe the difference of dependence of the threshold in the two previous results. In the first one, there is no dependence on the rest of the graph while in the second one, there is a slight dependence on the infimum of the length of the other edges.

A straightforward consequence of the preceding theorems is the following multiplicity result. Theorem 3.5. Under the assumptions of Theorem 3.3, there exists R > 0 depending only on 0 , λ and p such that for every bounded edge e of length larger than R, problem (1.2) has a positive solution attaining its absolute maximum on e only. Hence, if G has n bounded edges of length greater than R, then problem (1.2) has at least n distinct positive solutions.

For the proof of Theorems 3.2-3.3 we need the following lemmas.

Lemma 3.6. Let G ∈ G satisfy assumption (H). If (u n ) n is a bounded sequence in H 1 (G) such that lim inf n u n p > 0 and lim n L(u n ) = θ > 0, then lim inf n→∞ u n p p ≥ s θ κ ,
where s θ is defined in (2.10).

Proof. Let θ n := L(u n ), so that u n ∈ N θn (G) and θ = lim

n θ n . Then, since (u n ) n is bounded in L 2 (G), lim inf n u n p > 0 and lim n θ n = θ, we have π θ (u n ) p-2 = u n 2 2 + θ u n 2 2 u n p p = u n 2 2 + θ n u n 2 2 u n p p + (θ -θ n ) u n 2 2 u n p p = 1 + (θ -θ n ) u n 2 2 u n p p , whence lim n π θ (u n ) = 1.
By Theorem 2.6, we conclude that

s θ = inf v∈N θ (G) J θ (v) ≤ lim inf n J θ (π θ (u n )u n ) = lim inf n κπ θ (u n ) p u n p p = lim inf n κ u n p p
and the result follows.

The next result describes the behavior of minimizing sequences for problem (3.1).

Lemma 3.7. Let G ∈ G and let e ∈ G be a bounded edge. Let (u n ) n ⊂ N λ (G) ∩ X e be any minimizing sequence for J λ in N λ (G) ∩ X e . Then (u n ) n admits a subsequence (not relabeled) such that

1) u n u in H 1 (G), u n → u in L q loc (G) for every q ∈ [1, +∞], inf u n p > 0; 2) lim n u n 2 2 = µ > 0; 3) u ∈ X e \ {0}; 4) L(u) ≤ λ; 5) if L(u) = λ, then u is a minimizer for J λ on N λ (G) ∩ X e ; 6) if L(u) < λ, then m := u 2 2 < µ and lim n L(u n -u) = λ + m µ -m (λ -L(u)) . (3.2)
Proof. Since (u n ) n is a minimizing sequence, up to subsequences, 1) and 2) can be deduced from Proposition 2.3. Notice that u ≡ 0 since if this were not the case, by L ∞ loc convergence, and hence convergence in L ∞ (e),

u n p L p (G) ≤ u n p-2 L ∞ (G) u n 2 L 2 (G) = u n p-2 L ∞ (e) u n 2
L 2 (G) → 0, violating 1). Moreover, since X e is weakly closed (see Remark 3.1), u ∈ X e , and 3) is proved.

To prove 4) observe that by lower semicontinuity, since π λ (u)u ∈ N λ (G) ∩ X e , the estimate

κ u p p ≤ lim inf n κ u n p p = lim inf n J λ (u n ) = c λ (G, e) ≤ J λ (π λ (u)u) = κπ λ (u) p u p p (3.3) yields π λ (u) ≥ 1, which is equivalent to L(u) ≤ λ. Now if L(u) = λ, then u ∈ N λ (G)
∩ X e and (3.3) shows that u is a minimizer, which is 5).

Finally, suppose that L(u) < λ and hence u n -u ≡ 0 for all n large. Obviously, by semicontinuity, m ≤ µ. To prove that the inequality is strict, first observe that by the Gagliardo-Nirenberg inequality (2.1),

L(u n -u) = u n -u p p -u n -u 2 2 u n -u 2 2 ≤ u n -u p p u n -u 2 2 ≤ K u n -u p 2 +1 2 u n -u p 2 -1 2 u n -u 2 2 = K u n -u p 2 -1 2 u n -u p 2 -1 2 ≤ C, (3.4)
for every n, since (u n ) n is bounded in H 1 (G). Now, by the Brezis-Lieb Lemma [START_REF] Brezis | A relation between pointwise convergence of functions and convergence of functionals[END_REF], as n → ∞,

L(u n -u) = u n -u p p -u n -u 2 2 u n -u 2 2 = u n p p -u n 2 2 -u p p + u 2 2 + o(1) u n 2 2 -u 2 2 + o(1) = λ u n 2 2 -L(u) u 2 2 + o(1) u n 2 2 -u 2 2 + o(1) = λ + (λ -L(u)) u 2 2 + o(1) u n 2 2 -u 2 2 + o(1)
.

Since L(u) < λ and u ≡ 0, we see that µ = lim n u n 2 2 > u 2 2 = m, since otherwise (3.4) is violated. Letting n → ∞ in the preceding equality, we obtain (3.2) and the proof is complete.

Remark 3.8. As a consequence of Lemma 2.4, for every ε > 0 there exists R ε > 0 such that, if G is any metric graph containing a bounded edge e of length greater than R ε , then c λ (G, e) ≤ s λ + ε.

We are now ready to prove the main results of this section.

Proof of Theorem 3.2. Fix ε > 0 such that

s λ+ε = s 1 (λ + ε) α ≤ 2s 1 λ α = 2s λ , λ -Cε > 0 and (λ + ε) α < λ α + (λ -Cε) α , (3.5) with C = 16s 2 1 /κ 2 . (3.6)
Observe that C depends only on p and, hence, that ε depends only on p and λ but not on G.

Let R be so large that for every R ≥ R, c λ (G, e) < s λ+ε , which is possible by Remark 3.8. Again, we observe that R depends only on p and λ but not on G. Let (u n ) n ⊂ N λ (G) ∩ X e be a minimizing sequence for J λ such that

J λ (u n ) ≤ s λ+ε
for every n. Applying Lemma 3.7, (u n ) n has (up to subsequences) a weak limit u ∈ X e \ {0} such that L(u) ≤ λ and, in case equality holds, u is the required minimizer. We now show that L(u) < λ cannot happen, and this will end the proof. If L(u) < λ, by (3.2),

lim n L(u n -u) = λ + m µ -m (λ -L(u)) > λ > 0, with 0 < m = u 2 2 < lim n u n 2 2 = µ. We note that lim inf n u n -u p > 0, (3.7)
as otherwise, up to a subsequence, (u n ) n converges to u in L p (G), and by lower semicontinuity we would have

λ > L(u) = u p p -u 2 2 u 2 2 ≥ lim inf n u n p p -u n 2 2 u n 2 2 = λ, a contradiction.
As G ∈ G satisfies assumption (H), (3.7), (3.2) and Lemma 3.6 give

lim inf n u n -u p p ≥ s 1 κ λ + m µ -m (λ -L(u)) α . (3.8)
Notice that lim

n u n 2 2 + λ u n 2 2 = 1 κ lim n J λ (u n ) ≤ s λ+ε κ ≤ 2s 1 κ λ α (3.9)
and hence

µ = lim n u n 2 2 ≤ lim n 1 λ u n 2 2 + λ u n 2 2 ≤ 2s 1 κ λ α-1 . (3.10) Furthermore, as λ u n 2 2 ≤ u n 2 2 + λ u n 2 2 = u n p p ≤ u n p-2 ∞ u n 2 2 , (3.11)
we see that

u L ∞ (G) = u L ∞ (e) = lim n u n L ∞ (e) = lim n u n L ∞ (G) ≥ λ 1 p-2 (3.12)
and therefore, by the Gagliardo-Nirenberg inequality (2.2) and (3.9), recalling that m = u 2 2 , we have λ

4 p-2 ≤ u 4 ∞ ≤ 4m u 2 2 ≤ 4m lim inf n u n 2 2 ≤ 4m κ s λ+ε ≤ 8s 1 m κ λ α . (3.13)
Thus, recalling from (2.10) the value of α, we see from (3.10) and (3.13) that

µ m ≤ 16s 2 1 κ 2 λ 2α-1-4 p-2 = C, (3.14)
with C given by (3.6).

In conclusion, by the Brezis-Lieb Lemma and (3.8),

s 1 (λ + ε) α ≥ c λ (G, e) = lim n J λ (u n ) = lim n κ u n p p = lim n κ u n -u p p + u p p ≥ s 1 λ + m µ -m (λ -L(u)) α + κ u p p . (3.15)
Neglecting the last term, we obtain

ε ≥ m µ -m (λ -L(u)),
or, rearranging terms and using (3.14),

L(u) ≥ λ - µ -m m ε > λ -Cε > 0,
Using this, we see from Lemma 3.6 that

κ u p p ≥ s 1 L(u) α ≥ s 1 (λ -Cε) α .
Hence, by (3.15),

(λ + ε) α ≥ λ α + (λ -Cε) α
which contradicts (3.5).

Remark 3.9. Before proving Theorem 3.3 we recall that, letting

D := u ∈ H 1 (R) u ≥ 0, u is even, u is nonincreasing on [0, +∞) ,
for every ε > 0 there exists δ > 0 such that, for every u

∈ N λ (R) ∩ D with J λ (u) ≤ s λ + δ, there results u -φ λ H 1 ≤ ε.
This can be readily seen by standard compactness arguments and the uniqueness of the minimizer of J λ in N λ (R) ∩ D (see e.g [START_REF] Cazenave | Semilinear Schrödinger Equations[END_REF]).

Proof of Theorem 3.3. By Remark 3.9, there exists δ > 0 such that for every u ∈ N λ (R) ∩ D with J λ (u) ≤ s λ + δ there results and, accordingly to Remark 3.8, let R > 0 be such that

u -φ λ H 1 ≤ 1 3 φ λ L 2 (-0/2, 0 /2) . (3.16) Let 0 < ε ≤ δ satisfy 4 5 1 - s λ s λ + ε p-2 p s λ + ε κ 1/2 ≤ 1 3 φ λ L 2 (-0/2, 0/2) (3.
c λ (G, e) ≤ s λ + ε (3.18)
for every edge e with length R ≥ R. Observe that R depends only on λ, p and 0 . Let u R ∈ N λ (G) ∩ X e be a function satisfying

J λ (u R ) = c λ (G, e). To show that u R ∈ S λ (G), it is enough to prove that u R L ∞ (e) > u R L ∞ (G\e) . (3.19)
Indeed, (3.19) implies that u R belongs to the relative interior of N λ (G) ∩ X e , and therefore it is not only a global minimizer of J λ in the double constraint space, but also a local minimizer in N λ (G), and, as such, solves (1.2). Since |u R | ∈ N λ (G) ∩ X e and J λ (u R ) = J λ (|u R |), we will assume that u R ≥ 0 on G. We proceed by contradiction and assume that

u R L ∞ (e) = u R L ∞ (G\e) . Let M R := u R L ∞ (e)
, denote by B the set of all bounded edges of G and set

δ R := max h∈B min x∈h u R (x) (0 ≤ δ R ≤ M R ). (3.20)
The definition of δ R as a maximum is correct even if B contains infinitely many edges. Indeed, as u R 2 is finite and the length of the edges is bounded from below by 0 , there is only a finite number of edges h where min h u R ≥ t, for every t > 0.

Since G satisfies assumption (H), by Step 1 of the proof of Lemma 4.2 of [START_REF] Adami | Multiple positive bound states for the subcritical NLS equation on metric graphs[END_REF],

#u -1 R (t) ≥ 3 for almost every t ∈ [δ R , M R ]. (3.21)
Notice that the set

A R := x ∈ G | u R (x) ∈ [δ R , M R ]
contains at least one bounded edge of B (the one where the minimum of u R is exactly δ R ) and therefore we have A R ≥ 0 .

Let now u R be the symmetric rearrangement of u R . By Proposition 2.2 applied to

T R = [δ R , M R ] and (3.21), defining R = A R /2, we have u R 2 L 2 (-R , R ) = 4 (u * R ) 2 L 2 (0,2 R ) ≤ 4 9 u R 2 L 2 (A R ) . (3.22)
Next, denoting

1 by B R = x ∈ G | u R (x) ∈ [0, δ R ) , since by assumption (H) #u -1 R (t) ≥ 2 for almost every t ∈ (0, δ R ), we obtain u R L 2 (R\(-R , R )) ≤ u R L 2 (B R ) .
From these relations it follows

u R 2 L 2 (R) ≤ 4 9 u R 2 L 2 (A R ) + u R 2 L 2 (B R ) = u R 2 L 2 (G) - 5 9 u R 2 L 2 (A R ) so that π λ ( u R ) p-2 ≤ u R 2 L 2 (G) + λ u R 2 L 2 (G) -5 9 u R 2 L 2 (A R ) u R p L p (G) = 1 - 5 9 u R 2 L 2 (A R ) u R p L p (G) . (3.23)
Since

π λ ( u R ) u R ∈ N λ (R), by (2.11) we obtain
s λ ≤ J λ (π λ ( u R ) u R ) = κπ λ ( u R ) p u R p p = κπ λ ( u R ) p u R p p = π λ ( u R ) p J λ (u R ). (3.24)
Using (3.24) and recalling that J λ (u R ) = c λ (G, e), (3.18) and (3.23) imply that

s λ ≤ J λ (π λ ( u R ) u R ) ≤ s λ + ε. (3.25)
Since, by definition π λ ( u R ) u R belongs to D, with D defined in Remark 3.9, (3.25), (3.16) and the fact that ε ≤ δ imply that

φ λ -π λ ( u R ) u R H 1 (R) ≤ 1 3 φ λ L 2 (-0/2, 0/2) , which itself implies φ λ L 2 (-0/2, 0/2) ≤ φ λ L 2 (-0/2, 0/2) 3 + π λ ( u R ) u R L 2 (-0/2, 0 /2) . (3.26)
In order to obtain a contradiction, we now prove that

π λ ( u R ) u R L 2 (-0/2, 0 /2) ≤ φ λ L 2 (-0/2, 0 /2) 3 . (3.27)
By (3.24), we have

s λ J λ (u R ) ≤ π λ ( u R ) p .
Using the previous inequality, (3.18) and (3.23), we deduce that

s λ s λ + ε 1/p ≤ π λ ( u R ) ≤ 1.
(3.28)

Using (3.23), (3.28) and u R p L p (G) = c λ (G,e) κ ≤ s λ +ε κ , we obtain u R 2 L 2 (A R ) ≤ 1 - s λ s λ + ε p-2 p 9 5 u R p L p (G) ≤ 9 5 1 - s λ s λ + ε p-2 p s λ + ε κ . (3.29)
By (3.17), (3.22), (3.28), (3.29) and the fact that 2 R ≥ 0 for every n, we obtain

π λ ( u R ) u R L 2 (-0/2, 0 /2) ≤ 4 5 1 - s λ s λ + ε p-2 p s λ + ε κ 1/2 ≤ φ λ L 2 (-0/2, 0/2) 3
which concludes the proof of (3.19).

The proof that u R > 0 in G follows by a strong maximum principle as in [7, Proposition 3.3] knowing that u R ≥ 0 on G.

Proof of Theorem 1.3

This section is devoted to the proof of the main result of the paper. In fact, alternatives A1 and B1 are straightforward, whereas A2 will follow as a direct application of the results proved in Section 3. Conversely, case B2 is the most involved and will occupy the largest part of this section.

For the sake of completeness, each case A1-B2 is presented here independently from the others.

Case A1: c λ = σ λ , attained

As already pointed out in the Introduction, this is the easiest case and there is essentially nothing to say. It is the case where c λ (G) is attained by an action ground state, which is of course also a least action solution. Straightforward examples for this are compact graphs, where ground states exist for every value of λ and p (see for example [START_REF] Dovetta | Existence of infinitely many stationary solutions of the L 2 -subcritical and critical NLSE on compact metric graphs[END_REF]), but many graphs realizing alternative A1 can be identified also in the noncompact setting, as e.g. those presented in [8, Section 3].

Case A2:

c λ = σ λ ,

not attained

The proof of this alternative is one of the main results of the paper and it relies heavily on Theorems 3.2-3.3 above. To exhibit a graph where A2 occurs we will use the following construction. On a real line we insert, for each integer k ≥ 1, a node v k at the point of coordinate k. At each v k we attach a self-loop L k of length k, by identifying v k with the only vertex of L k . We obtain in this way the graph depicted in Figure 1.

Theorem 4.1. Let G be the graph in Figure 1. For every λ > 0,

c λ (G) = σ λ (G) = s λ and neither c λ (G) nor σ λ (G) is attained.
Proof. On the one hand, G ∈ G satisfies assumption (H) by construction, so that c λ (G) = s λ and c λ (G) is not attained by Theorem 2.6. On the other hand, Theorems 3.2-3.3 ensure that, for sufficiently large k, there exists u k ∈ S λ (G) such that J λ (u k ) = c λ (G, L k ). Hence, by Remark 3.8,

σ λ (G) ≤ lim inf k→∞ J λ (u k ) ≤ s λ , in turn implying σ λ (G) = c λ (G) and concluding the proof. ∞ v1 L1 v2 L2 v3 L3 v4 L4 v5 L5 v6 L6 • • • • • • • • • • • • • • • • • • • • • • • • Figure 1: The graph G of Theorem 4.1 4.3 Case B1: c λ (G) < σ λ (G), σ λ (G) attained
As anticipated in the Introduction, in view of the existing literature it is easy to produce graphs realizing alternative B1. Indeed, it is for instance enough to let G be a star graph, i.e. a graph made of a finite number N ≥ 3 of half-lines, glued together at their common origin. Star graphs have been widely investigated, as they provide the simplest example of noncompact graphs with half-lines. On the one hand, since star graphs satisfy assumption (H), it is immediate to see that c λ (G) = s λ and it is not attained by Theorem 2.6. On the other hand, one can exploit the simple structure of these graphs to characterize explicitly the set of all solutions S λ (G) (see e.g. [START_REF] Adami | Stationary states of NLS on star graphs[END_REF])

• if N is odd, (1.
2) only admits two nonzero solutions ±u, the positive one given by a copy of the restriction of φ λ to R + on each half-line of the graph.

• if N is even, the set of non-zero solutions of (1. Hence, we easily deduce that σ λ (G) = N 2 s λ > s λ and it is attained for instance by a function u ∈ S λ (G) whose restriction to each half-line of the graph coincides with the restriction of the soliton φ λ to R + .

Case

B2: c λ (G) < σ λ (G), neither attained
The discussion of alternative B2 requires a deeper analysis with respect to the other cases. To prove that this alternative actually occurs, we will consider the one-parameter family of noncompact graphs constructed as follows.

Let N ∈ N be fixed. Keeping in mind Figure 2, we consider a straight line on which we insert, for every k ∈ Z, a vertex v k at the point of coordinate k. At each v k we attach a copy of the graph R, called R k , by identifying v k with the vertex of R k . Next, denoting by L the self-loop of length N in Figure 2(b), we attach at each v k except v 0 a copy of the graph L, called L k , by identifying v k with the only vertex of L k . Finally, we attach at v 0 the graph B with N edges of length 1 in Figure 2(c), by identifying one of its two vertices with v 0 . We call G N the resulting graph, shown in Figure 3. A second graph we will use below, that plays the role of "limit graph" with respect to G N , is depicted in Figure 4. It is exactly equal to G N except that the subgraph B is replaced by a loop L 0 identical to all other loops. Note that this graph is Z-periodic. We call it G N , and we label all its vertices, edges and subgraphs with the same letters as for those of G N , superposed by a tilde. Note that the graph G N is made of edges of length 1 (the horizontal edges and the N edges of B), of self-loops of length N and of half-lines. Notice also, as it will be important in the sequel, that the total length of B equals the length of the loop L.

(c). ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ v0 v1 v2 v3 v-1 v-2 v-3 L1 L2 L3 L-1 L-2 L-3 B R-3 R-2 R-1 R0 R1 R2 R3
∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ ∞ v0 v1 v2 v3 v-1 v-2 v-3 L1 L2 L3 L-1 L-2 L-3 L0 R-3 R-2 R-1 R0 R1 R2 R3
Exploiting the dependence of G N on the parameter N we have the following result, which proves the actual occurrence of case B2. Theorem 4.2. For every N ∈ N, let G N be the graph in Figure 3. There exists N ∈ N such that for every N ≥ N ,

s λ = c λ (G N ) < σ λ (G N ) and neither c λ (G N ) nor σ λ (G N ) is attained.
Preliminary to the proof of Theorem 4.2, we introduce some notation. Since λ is fixed we omit to write it in quantities that depend on it, except for the levels s λ , c λ (G N ) and σ λ (G N ) (and the same for quantities relative to G N ). Next, in order to have lighter notation, we omit to write the dependence from N in various quantities, such as the loops L k , and we keep it only in the names of the graphs. It is understood anyway that N is a parameter that we will tune in various proofs.

In what follows, we split the set of solutions to problem (1.2), as

S(G N ) = S 1 (G N ) ∪ S 2 (G N ) ∪ S 3 (G N ),
where

S 1 (G N ) := u ∈ S(G N ) | u L ∞ (G N ) = u L ∞ (R k ) , for some k ∈ Z , S 2 (G N ) := u ∈ S(G N ) | u L ∞ (G N ) = u L ∞ (e) , for some edge e ∈ G N of length 1 , S 3 (G N ) := u ∈ S(G N ) | u L ∞ (G N ) = u L ∞ (L k ) , for some self-loop L k ∈ G N of length N .
We define analogously the sets S 1 ( G N ), S 2 ( G N ), S 3 ( G N ) so that we also have

S( G N ) = S 1 ( G N ) ∪ S 2 ( G N ) ∪ S 3 ( G N ) . (4.1)
Remark 4.3. By construction, both G N and G N satisfy assumption (H), so we have immediately that for every

N ∈ N, c λ (G N ) = c λ ( G N ) = s λ
and neither infimum is attained as a consequence of Theorem 2.6.

Remark 4.4. Observe that, if G ∈ G satisfies assumption (H) and u is a sign-changing solution, then u + ∈ N λ (G) and u -∈ N λ (G) and, by Theorem 2.6,

J λ (u) = J λ (u + ) + J λ (u -) ≥ 2 inf u∈N λ (G) J λ (u) = 2s λ .
The proof of Theorem 4.2 will rely on the next series of lemmas. As J λ (u) = J λ (|u|), we will assume without loss of generality in the rest of this section that all the functions u ∈ N λ (G N ) that we will consider will be non-negative.

Then for every

u ∈ N λ (G N ) ∩ X e , there exists v ∈ N λ ( G N ) ∩ X e such that J λ ( v) ≤ J λ (u). (4.2)
Moreover, if for t in a set of positive measure,

#{x ∈ B | u(x) = t} ≥ 3, (4.3)
then the inequality (4.2) is strict.

Furthermore, there exist

x 1 , x 2 ∈ R such that u 1 (x 1 ) = u(v k ) and u 2 (x 2 ) = u(v k+1 ). Define then u ∈ H 1 (G) as u(x) =      u(x) if x ∈ e u 1 (x + x 1 ) if x ∈ H 1 ∪ H 2 u 2 (x + x 2 ) if x ∈ H 3 ∪ H 4 ,
where with a slight abuse of notation we identified e ∈ G with e ∈ G N . By construction, u attains its L ∞ norm on e, u L q (G) = u L q ( G N ) for every q and u L

2 (G) ≤ u L 2 ( G N ) , so that π λ (u) ≤ 1. Hence, setting v = π λ (u)u, we obtain v ∈ N λ (G) ∩ X e fulfilling (4.8). Thus J λ (u) ≥ inf v∈N λ (G)∩Xe J λ (v) = c λ (G, e)
and it suffices to show that c λ (G, e) > s λ . Now if c λ (G, e) is attained this is trivial by Theorem 2.6, since G ∈ G satisfies assumption (H). If c λ (G, e) is not attained and (w n ) n ⊂ N λ (G) ∩ X e is a minimizing sequence, then Lemma 3.7 applies yielding a weak limit w ∈ X e \ {0}, with m := w 2 2 < lim n w n 2 2 =: µ, L(w) < λ and

lim n L(w n -w) = λ + m µ -m (λ -L(w)) ≥ λ.
In conclusion, as usual by the Brezis-Lieb Lemma and Lemma 3.6

c λ (G, e) = lim n J λ (w n ) = lim n κ w n p p = κ lim n w n -w p p + w p p ≥ s 1 λ α + κ w p p = s λ + κ w p p
and the proof is complete also when c λ (G, e) is not attained as w = 0.

In the next lemma, we study the properties of the graph G N .

Lemma 4.8. For every ε > 0 there exists

N ε := N ε (ε, λ, p) ∈ N such that, for every N ≥ N ε , inf u∈S3( G N ) J λ (u) < s λ + ε
and it is attained.

Proof. By Remark 3.8, for every ε > 0 there exists N ε ∈ N such that for every

N ≥ N ε c λ ( G N , L 0 ) < s λ + ε.
By taking N ε even larger, if necessary, Theorem 3.2 guarantees that c λ ( G N , L 0 ) is attained by some u and, by Theorem J λ (u) < s λ + ε.

3.3, u ∈ S 3 ( G N ). If v is any other element of S 3 ( G N ), by the periodicity of G N there exists v ∈ N λ ( G N ) ∩ X L0 (a translation of v) such that J λ ( v) = J λ (v). Therefore J λ (v) = J λ ( v) ≥ c λ ( G N , L 0 ) = J λ (u), which shows that inf u∈S3( G N ) J λ (u) = c λ ( G N , L 0 ) is attained (by u).
Therefore, in view of (4.1),

σ λ ( G N ) = inf u∈S3( G N ) J λ (u)
and it is attained, again by Lemma 4.8.

To proceed, we prove a further preliminary result, similar in spirit to Lemma 4.5, that establishes a strict inequality when passing from S 3 (G N ) to S 3 ( G N ). Lemma 4.10. For every N large enough and for every u ∈ S 3 (G N ) such that J λ (u) < 2s λ , there exists v ∈ S 3 ( G N ) such that J λ (v) < J λ (u).

Proof. Let u ∈ S 3 (G N ) such that J λ (u) < 2s λ . By Remark 4.4, u does not change sign. We suppose that u ≥ 0 and by strong maximum principle, we have that u > 0 on G.

If u attains its maximum in a loop L k , by Lemma 4.5 there exists v ∈ N λ ( G N ) ∩ X L k such that shows that m is bounded by a constant depending only on λ and p. Since N can be assumed as large as we wish, there are at least N -m ≥ 6 edges of B on which u is not constant. Any pair of these edges in B forms a loop on which u is not constant. Since there are at least 3 such loops, necessarily #{x ∈ B | u(x) = t} ≥ 3 for t in a set of positive measure, so that by Lemma 4.5, the element v ∈ N λ ( G N ) ∩ X L k found above satisfies the strict inequality J λ ( v) < J λ (u). Finally, invoking again Theorems 3.2 and 3.3, provided N is sufficiently large, there exists v ∈ S 3 ( G N ) such that J λ (v) = inf w∈N λ ( G N )∩X L k J λ (w) and hence J λ (v) ≤ J λ ( v) < J λ (u), and the proof is complete. and σ λ (G N ) is not attained.

Proof. Let ε and N ε be as in Corollary 4.9, so that there exists w ∈ S 3 ( G N ) satisfying J λ (w) = σ λ ( G N ) < s λ + ε.

Note that σ λ ( G N ) = J λ (w) > s λ by Remark 4.3. We assume, in accordance with Theorem 3.3, that w > 0, and that w attains its maximum in the loop L 0 , which is possible, as usual, by the periodicity of G N . For every δ > 0, define w δ ∈ H 1 ( G N ) as w δ (x) = (w(x) -δ) + and notice that w δ → w strongly in H 1 ( G N ) as δ → 0. The support of w δ is, by construction, a bounded subgraph G δ of G N , that can also be considered as a subgraph of G N : it suffices to embed it, for every δ, into G N in such a way that it does not contain v 0 . Thus, after extending w δ to 0 in G N \ G δ , we can view it as a function in H 1 (G N ) attaining its maximum on some loop L k δ . Note also that, by strong convergence,

π λ (w δ ) p-2 = w δ 2 L 2 (G N ) + λ w δ 2 L 2 (G N ) w δ p L p (G N ) = w δ 2 L 2 ( G N ) + λ w δ 2 L 2 ( G N ) w δ p L p ( G N ) → 1
as δ → 0. By Theorems 3.2-3.3, for every δ > 0 there exists v δ ∈ S(G N ) such that

J λ (v δ ) = inf u∈N λ (G N )∩X L k δ J λ (u).
Therefore, as δ → 0,

σ λ (G N ) ≤ J λ (v δ ) ≤ J λ (π λ (w δ )w δ ) → J λ (w) = σ λ ( G N ), showing that σ λ (G N ) ≤ σ λ ( G N ), (4.10)
and hence, by Lemmas 4.6-4.7,

σ λ (G N ) = inf u∈S3(G N )
J λ (u) < s λ + ε.

Without loss of generality, let us assume that ε < s λ . Next, for every u ∈ S 3 (G N ) with J λ (u) < s λ + ε, let v ∈ S 3 ( G N ) be the function provided by Lemma 4.10. Then

σ λ ( G N ) ≤ J λ (v) < J λ (u)
and taking the infimum over u we obtain σ λ ( G N ) ≤ σ λ (G N ) which, coupled with (4.10), establishes (4.9). Finally, to prove that σ λ (G N ) is not attained, assume instead that there exists u ∈ S 3 (G N ) such that J(u) = σ λ (G N ). By Lemma 4.10 again, let v ∈ S 3 ( G N ) satisfy J λ (v) < J λ (u). Then σ λ ( G N ) ≤ J λ (v) < J λ (u) = σ λ (G N ), contradicting (4.9).

Proof of Theorem 4.2. It is enough to take N as in Lemma 4.11, the result is then a straightforward consequence of Remark 4.3 and Lemma 4.11.

Theorem 3 . 2 .

 32 There exists R > 0 depending only on λ and p such that, if G ∈ G satisfies assumption (H) and has a bounded edge e of length R ≥ R, then c λ (G, e) is attained. Theorem 3.3. Let G ∈ G satisfy assumption (H) and have a bounded edge e of length R. Let 0 ≤ inf e∈E |e|. Then there exists R depending only on 0 , λ and p such that if R ≥ R and u is a minimizer for c λ (G, e), then u ∈ S λ (G) and u > 0 or u < 0 on G. Moreover,

17

 17

  )

2 )

 2 is given by{±u I,a | I ⊂ {1, • • • , N }, #I = N/2, a ∈ R + }, where u I,a (x) = φ λ (x + a) if x ∈ H i , for some i ∈ I, φ λ (x -a) otherwise,with H i being the i-th half-line of the graph.

Figure 2 :

 2 Figure 2: The building blocks of the graph G N . Two half-lines emanating from a vertex (a); a self-loop of length N (b); N edges of length 1 connecting two vetices (c).

Figure 3 :

 3 Figure 3: The graph G N .

Figure 4 :

 4 Figure 4: The graph G N .

Lemma 4 . 5 .

 45 Let e ∈ G N , N ≥ 2, be any bounded edge. Identify G N \ B with G N \ L 0 and let e ∈ G N be e = e if e / ∈ B L 0 if e ∈ B.

Corollary 4 . 9 .

 49 Let ε ≤ 1 2 min{δ 1 , δ 2 }, where δ 1 , δ 2 are given by Lemmas 4.6-4.7, and N ε be the corresponding number given by Lemma 4.8. For every N ≥ N ε ,σ λ ( G N ) = inf u∈S3( G N ) J λ (u) < s λ + ε. and σ λ ( G N ) is attained. Proof. By Lemmas 4.6-4.7, for every N ≥ 2, inf u∈S1( G N ) J λ (u) ≥ s λ + ε, inf u∈S2( G N ) J λ (u) ≥ s λ + ε,while by Lemma 4.8 inf u∈S3( G N )

J 1 p- 2

 12 λ ( v) ≤ J λ (u), where L k corresponds to L k after the identification of G N \ B with G N \ L 0 .If u is constant on m edges of B, then it necessarily equals λ , and2s λ ≥ J λ (u) ≥ mκλ p p-2

Lemma 4 . 11 .

 411 There exists N ∈ N such that, for every N ≥ N , we haveσ λ ( G N ) > s λ , σ λ (G N ) = σ λ ( G N ) (4.9)

If δ R = 0, the set B R is empty, A R = G, and the proof is simpler, working with A R only.

Acknowledgements S.D. acknowledges that this work has been partially supported by the INdAM GNAMPA project 2022 Modelli matematici con singolaritá per fenomeni di interazione. D.G. is an F.R.S.-FNRS Research Fellow.

Letting u(x) be the symmetric rearrangement of the restriction of u to B, we have u ∈ H 1 (-N/2, N/2) and u L q (-N/2,N/2) = u L q (B) ∀q ∈ [1, +∞],

Furthermore, as u(p) = u(v 0 ) for some p in [-N/2, N/2], we can view u as a function on L 0 (after identifying L 0 with (-N/2, N/2) and p with v 0 ). We can then define v ∈ H 1 ( G N ) as

Moreover, by construction, if u attains its L ∞ norm on some edge e ∈ G N \ B, then v attains its L ∞ norm on the corresponding edge of G N \ L 0 ; if, instead, u attains its L ∞ norm on some edge of B, then v attains it on L 0 . This shows that v :

Finally, in case (4.3) holds, the inequality in (4.4) is strict by Proposition 2.2, resulting in the strict inequality in (4.2).

The next lemma shows that the action of solutions attaining their maximum on a half-line cannot be too close to s λ . Lemma 4.6. There exists δ 1 > 0 such that for every N ∈ N,

Proof. We prove the statement explicitly for G N only, as the argument works exactly in the same way for G N . Let u ∈ S 1 (G N ). If u is sign-changing then, by Remark 4.4, we know that J λ (u) ≥ 2s λ . Thus we consider the case where u does not change sign. We can suppose that u ≥ 0 and by strong maximum principle, we have that u > 0 on G.

Call H 1 ⊂ R k , for some k ∈ Z, the half-line where u attains its L ∞ norm and H 2 the other half-line emanating from v k . Suppose that u attains its maximum at

Then Proposition 2.7 applied with K = 3 yields

Suppose now that u attains its maximum in the interior of H 1 . Since u solves (1.2), its restrictions to H 1 and H 2 coincide with suitable parts of the soliton φ λ . In particular, since u attains its maximum in the interior of H 1 , we see that u(x) = φ λ (x -a), for some a > 0, on H 1 . Therefore, by continuity at v k , on H 2 either u(x) = φ λ (x -a) as well, or u(x) = φ λ (x + a).

In the first case we have a copy of φ λ (x-a) on each of the two half-lines, and the maximum of u is attained on both half-lines. But then (4.5) again holds for u, since every value in (u(v k ), u ∞ ) is attained twice on each half-line, and every value in (0, u(v k )) is attained once on each half-line and at least once in G N \ R k . Thus we conclude, exactly as above, that (4.6) holds.

In the second case the restriction of u to R k is the whole soliton φ λ , which is smooth, and in particular the derivatives of φ λ at v k , being opposed, do not contribute to the Kirchhoff condition. Therefore u solves problem (1.2) on G N \ R k and, as such, u ∈ N λ (G N \ R k ). Then, by (2.9),

with C depending only on λ and p. In conclusion,

and the lemma is proved choosing δ 1 = min 1 2 s λ , κC . Now we prove that an estimate similar to that of the previous lemma holds also for solutions attaining their maximum on an edge of length 1.

Lemma 4.7. There exists δ 2 > 0 such that for every

Proof. We will prove the existence of δ 2 > 0 such that for every

where

, for some edge e ∈ G N of length 1 .

Then the result will follow via Lemma 4.5 and (1.8). Let u ∈ N 2 ( G N ) and assume that u attains its maximum on a given edge e (of length 1). We first construct a new graph and we rearrange u on it. Let e be an edge of length 1 and attach a pair of half-lines H 1 , H 2 to one of its vertices and another pair H 3 , H 4 to the other one. We obtain in this way an H-shaped graph denoted by G. We now claim that there exists

To see this, let v k , v k+1 be the vertices of e and let G v k , G v k+1 be the connected components of G N \ e containing v k and v k+1 respectively. Note that both G v k and G v k+1 satisfy assumption (H) and hence

for almost every t ∈ (0, u L ∞ ( Gv k+1 ) ).

Let u 1 and u 2 be the symmetric rearrangements on R of the restrictions of u to G v k , G v k+1 respectively, so that u 1 , u 2 ∈ H 1 (R) and u 1 L q (R) = u L q ( Gv k ) , u 2 L q (R) = u L q ( Gv k+1 ) for every q ∈ [1, ∞],