arxiv: v1 [math.ap] 25 Sep 2017

Transcription

1 MINIMIZERS FOR A FRACTIONAL ALLEN-CAHN EQUATION IN A PERIODIC MEDIUM DAYANA PAGLIARDINI arxiv: v1 [math.ap] 25 Sep 2017 (1.1) Abstract. We aim to study the solutions of a fractional mesoscopic model of phase transitions in a periodic medium. After investigating the geometric properties of the interface of the associated minimal solutions, we construct minimal interfaces lying to a strip of prescribed direction and universal width. 1. Introduction For N 2 we consider the energy functional E(u) := 1 2 R N u(x) u(y) 2 K(x, y) dx dy + R N W (x, u(x)) dx + R N H(x)u(x) dx. R N The function K : R N R N [0, + ] is measurable, symmetric and comparable to the kernel of the fractional laplacian, i.e. (K1) K(x, y) = K(y, x) for a.e. x, y R N and (K2) λχ (0,1) ( x y ) x y N+2s K(x, y) Λ x y N+2s for a.e. x, y R N, for some Λ λ > 0 and s (0, 1). The function H L (R N ) is a small perturbation of the fractional Allen-Cahn functional. So we assume that (H1) sup H η, R N for η sufficiently small, depending on N and on the structural constants of the problem. We also assume that H has zero-average and it is Z N -periodic, i.e. (H2) H(x) dx = 0 [0,1] N and (H3) H(x + k) = H(x) k Z N. Date: September 24, Mathematics Subject Classification. Primary: 35R11, 35A15, 35B10. Secondary: 82B26, 35B65. Key words and phrases. Nonlocal energies, phase transition, planelike minimizers, fractional Allen- Cahn, periodic medium. 1

2 2 DAYANA PAGLIARDINI The map W : R N R [0, + ) is the standard double well potential, i.e. it is a bounded measurable function such that (W1) W (x, ±1) = 0 for a.e. x R N, and for any θ [0, 1) (W2) inf W (x, r) γ(θ) x R N r θ where γ : [0, 1) R + is a non-increasing function. We assume that W is differentiable in the second component, with partial derivative locally bounded in r R and uniformly in x R N, that is (W3) W (x, r) W u (x, r) W for a.e. x R N and any r [ 1, 1] for some W > 0. Moreover, since we want to model a periodic environment, we require both K and W to be periodic under integer translations: (K3) K(x + k, y + k) = K(x, y) for a.e. x, y R N and any k Z N and (W4) W (x + k, r) = W (x, r) for a.e. x R N and any k Z N, for any fixed r R. Finally we require that (W5) W u (x, 1 r) c and W u (x, 1 + r) c for any r δ 0 with δ 0 (0, 1/10), and suitable c > 0, and (W6) W (x, 1 + r) = W (x, 1 + r) for any r [ δ 0, δ 0 ]. The functional (1.1) is composed by three terms (the first two give us the fractional Allen-Cahn equation): a kinetic interaction term u(x) u(y) 2 K(x, y), which penalizes the phase changes of the system; a double-well potential term W, which penalizes considerable deviations from the pure phase ±1; a mesoscopic term Hu, which is neutral in the average and at each point it prefers one of the two phases. Hence we have a model of phase coexistence (the pure phases respresented by +1 and 1) where u : R N [ 1, +1] is a state parameter. The fractional exponent s (0, 1) represents the fact that this model considers longrange particle interactions (and it can produce, depending on the value of s, local or non-local effect, see [13, 14]). The problem of plane-like minimizers, i.e. minimizers that stay at a finite distance from a plane, along every direction, is widely studied in recent years. First of all we recall [4] where the authors considered an elliptic integrand I in R N (but also functionals involving volume terms and suitable manifolds), periodic under integer translations, and they proved that for all plane in R N there exists at least one minimizer of I with a bounded distance from this plane.

3 Some years later, in [5], Cozzi and Valdinoci considered for N 2 the nonlocal energy (1.2) E(u) := 1 u(x) u(y) 2 K(x, y) dx dy + W (x, u(x)) dx, 2 R N R N R N with K and W satisfying (K1)-(K3) and (W1)-(W6) respectively. They constructed minimizers of this functional with interfaces in a slab of prescribed direction and bounded size (independently on the direction). The analogous result for s = 1 was proved in [15], where the first addendum of E is replaced by A(x) u(x), u(x) dx with A bounded and uniformly elliptic matrix; some other generalizations were analyzed in [2, 6, 11]. In particular, in [10], Novaga and Valdinoci studied the energy ( ) (1.3) E Ω (u) := u(x) 2 + W (x, u) + H(x)u(x) dx, Ω where Ω R N is a bounded domain, u W 1,2 (Ω), H and W satisfy (H1)-(H2) and (W1)-(W6) respectively. They investigated geometric properties of the interfaces of the associated minimal solutions and they gave density estimates for the level sets. This allowed them to construct, in the periodic setting, minimal interfaces lying to a prescribed strip. These results are related with a PDE version of the Mather theory for dynamical systems, see [1, 4, 8, 9, 12, 15]. In the same spirit of [10] and [5] we want to study functional (1.1), that is the fractional counterpart of E Ω and is given by the functional E with the addition of the mesoscopic term. Our main goal is to construct minimal interfaces lying to a strip of universal size. Roughly speaking, given any vector R N \ {0} we look for minimizers having most of the transition between the pure states in a strip orthogonal to and of universal width: Theorem 1.1. Let s (0, 1) and N 2. Suppose that the kernel K and the potential W satisfy (K1)-(K3) and (W1)-(W6) respectively. Given θ (0, 1), there exists a positive constant M 0 depending only on θ and on universal quantities, such that, for any R N \ {0}, there is a class A minimizer u of the functional E for which we have { u < θ} { x R N : } x [0, M 0]. Moreover, if Q N \ {0}, u is periodic with respect to ; if R N \ Q N, u is the uniform limit on compact subsets of R N of a sequence of periodic class A minimizers. We prove Theorem 1.1 using geometric and variational tools introduced in [4] and [15] and then adapted in [5] to deal with nonlocal interactions. Fixed Q N \ {0} we will consider the strip := {x R N : x [0, M]}, S M 3

4 4 DAYANA PAGLIARDINI where M > 0, and the quotient space R N which allows us to gain compactness. This will be necessary to obtain a minimizer u M w.r.t. periodic perturbations with support in S M. Thanks to geometrical arguments, if M/ is larger than some universal parameter M 0, u M becomes a class A-minimizer for E (defined in Section 2). Since M 0 does not depend on the fixed direction, we can pass to the limit on rational directions and deduce the result for an irrational vector R N \ Q N. We stress that the energy and density estimates is the standard technique to show that u M is a class A-minimizer. These estimates have been obtained in [3, 14] (in different settings), but their framework is different from ours. Thus we use the Hölderianity of local minimizers of E and an energy estimate. Finally we point out that the addition of the term Hu to (1.2) changes the pure phases from ±1 into periodic functions, introducing a considerable difference with respect to [5]. Indeed, this fact produces a volume term in the energy that requires a renormalization as in [10]. The paper is organized as follows. In Section 2 we explain the notation and we enounce our main theorem; in Secton 3 we remind an important result about the regularity of minimizers and we prove an energy estimate. Section 4 is devoted to investigate some geometric properties of minimizers (doubling property, Birkhoff property, etc.) and to prove our Theorem 1.1 under the additional assumption that K has a fast decay at infinity. We will show our result both for rational vectors and, thanks to an approximation argument, for irrational vectors. Finally in Section 5 we prove Theorem 1.1 for general kernels. 2. Notation In this section we introduce the framework that we will use throughout this paper. Definition 2.1. Let Ω R N be a bounded domain and s (0, 1). We define H s (Ω) := {u L 2 u(x) u(y) } (Ω) : x y N/2+s L2 (Ω Ω), i.e. an intermediary Banach space between L 2 (Ω) and H 1 (Ω), endowed with the natural norm ( u H s (Ω) := u 2 u(x) u(y) 2 ) 1 2 dx + Ω Ω Ω x y N+2s dx dy, where ( u(x) u(y) 2 ) 1 2 [u] H s (Ω) := Ω Ω x y N+2s dx dy is called Gagliardo (semi)-norm. Definition 2.2. Fixed Q N \ {0}, we define in R N the relation x y y x = k Z N with k = 0. It is easy to see that is an equivalence relation and we denote with the associated quotient space. R N := R N /

5 A function u : R N R is said to be periodic with respect to if u(x) = u(y) for any x, y R N such that x y. When the context is clear, we will write and R N to refer to and R N. If we consider a set Ω R N, we define the total energy E of u : R N R in Ω as (2.1) E(u, Ω) := 1 u(x) u(y) 2 K(x, y) dx dy + 2 C Ω where (2.2) C Ω := (R N R N ) \ ((R N \ Ω) (R N \ Ω)) = (Ω Ω) (Ω (R N \ Ω)) ((R N \ Ω) Ω). Observe that if Ω = R N the energy (2.1) coincides with (1.1). Then, setting for all U, V R N K (u; U; V ) := 1 u(x) u(y) 2 K(x, y) dx dy, 2 thanks to (K1), we can see E(u, Ω) as the sum of the kinetic part and the potential part P(u; Ω) := U V K(u; Ω; Ω) + 2K(u; Ω; R N \ Ω) Ω ( ) W (x, u(x)) + H(x)u(x) dx. Ω W (x, u(x)) dx + H(x)u(x) dx, Ω Assuming from now on that every set and every function is measurable, we give the following Definition 2.3. Let Ω R N be a bounded set. A function u is a local minimizer of E in Ω if E(u, Ω) < + and E(u, Ω) E(v, Ω) for any v u in R N \ Ω. Remark 2.4. [Remark 1.2 of [5]] A minimizer u of Ω is also a minimizer on every subset of Ω. Since our aim is to construct functions with minimizing properties in R N, we have to precise how we extend Definition 2.3 to the full space. Definition 2.5. A function u is called a class A-minimizer of the functional E if it is a minimizer of E in Ω for any bounded set Ω R N. 3. Regularity of the minimizers and energy estimate In this section we want to prove that local minimizers of E are Hölder continuous functions with a growing energy inside large balls. Let Ω R N be an open and bounded set, s (0, 1) and K a measurable kernel that satisfies (K1) and (K2). If u : R N R is a measurable function, we say that u X(Ω) if u Ω L 2 (Ω) and (x, y) (u(x) u(y)) K(x, y) L 2 (C Ω ). 5

6 6 DAYANA PAGLIARDINI Then we denote with X 0 (Ω) the subspace of X(Ω) given by functions vanishing a.e. outside Ω. It is easy to see that by (K2) it results H s (R N ) X(Ω) H s (Ω) and if Ω Ω we have X 0 (Ω ) X 0 (Ω) H s (R N ). Now we call D K (u, ϕ) = (u(x) u(y))(ϕ(x) ϕ(y))k(x, y) dx dy R N R N observing that it is well-defined for example when u X(Ω) and ϕ X 0 (Ω). Let f L 2 (Ω). We call u X(Ω) a supersolution of (3.1) D k (u, ) = f in Ω if (3.2) D k (u, ϕ) f, ϕ L 2 (R N ) for any non-negative ϕ X 0 (Ω). Similarly, we say that u X(Ω) is a subsolution of (3.1) if (3.3) D k (u, ϕ) f, ϕ L 2 (R N ) for any non-negative ϕ X 0 (Ω) and we tell that u X(Ω) is a solution of (3.1) if (3.4) D k (u, ϕ) = f, ϕ L 2 (R N ) for any ϕ X 0 (Ω). Obviously u is a solution of (3.1) if it is a subsolution and a supersolution. Thanks to these definitions we can show the regularity of the minimizers of E. Theorem 3.1. Take s 0 (0, 1/2) and let s [s 0, 1 s 0 ]. If u is a bounded local minimizer of E in a bounded open set Ω R N, then u C 0,α loc (Ω) for some α (0, 1). The exponent α only depends on N, s 0, λ and Λ, while the C 0,α norm of u on any Ω Ω may also depend on u L (R N ), W r (, u) L (Ω), η and dist(ω, Ω). Proof. If we compute the first variation of (2.1) we have that u is a solution of the Euler-Lagrange equation (3.1) in Ω with f = W r (, u) + H( ). Since E(u, Ω) < + we have that u X(Ω). Moreover u, H L (R N ) and W r locally bounded imply that f is bounded in Ω. So we can apply Theorem 2.1 of [5] to obtain C 0,α regularity of u. Now we define R 1 2s if s (0, 1/2) (3.5) Ψ s (R) := log R if s = 1/2 1 if s (1/2, 1) and using a well-known result of [14] we want to show the energy estimate for minimizers: Theorem 3.2. Let N N, s (0, 1), x 0 R N and R 3. Suppose that K and W satisfy (K1), (K2) and (W1), (W3), respectively. If u : R N [ 1, 1] is a local minimizer of E in B R+2 (x 0 ), then (3.6) E(u, B R (x 0 )) CR N 1 Ψ s (R), for some constant C > 0 which depends on N, s, Λ and W.

7 Proof. By [5, Proposition 3.1] and [10, Lemma 2.1] we have (3.7) E(u, B R (x 0 )) = 1 u(x) u(y) 2 K(x, y) dx dy + 2 C BR CR N 1 Ψ s (R) + CηR N 1 CR N 1 Ψ s (R), B R 7 ( ) W (x, u(x)) + H(x)u(x) dx where C denotes a positive constant depending at most on N, s, Λ and W. We conclude this section giving an auxiliary result that will be very useful in the next Section 4. Lemma 3.3. Let s (0, 1), U, V R N be measurable sets and u, v H s loc (RN ). Then (3.8) K (min{u, v}; U; V ) + K (max{u, v}; U; V ) K (u; U; V ) + K (v; U; V ), and (3.9) P(min{u, v}; U) + P(max{u, v}; V ) P(u; U) + P(v; V ). Proof. The first identity is proved in [5, Lemma 3.2]. The other identity is obvious if u = v. So we assume that min{u, v} = u and max{u, v} = v (but in the other case it is analogous). Then ( ) P(min{u, v}; U) = W (x, u(x)) + H(x)u(x) dx = P(u; U) and P(max{u, v}; V ) = from which (3.9) follows. U V ( ) W (x, v(x)) + H(x)v(x) dx = P(v; V ) 4. Proof of Theorem 1.1 for rapidly decaying kernels In this section we want to prove Theorem 1.1 assuming the following hypothesis on K: Γ (K4) K(x, y) x y N+β for a.e. x, y R N such that x y R with β > 1, for some constant Γ, R > 0. This assumption is only technical and we will remove it in the next section. However a fast decay of the kernel K at infinity due to β > 1 ensures us that there exists a competitor with finite energy in the large then, since geometric estimates will not depend on the quantities in (K4), we can use a limit procedure. We start showing that the functional E has a minimizer among all periodic functions. Let s (0, 1), Q := [0, 1] N and define Q-periodic functions in H s loc (RN ) as (4.1) H s per(q) = {u H s loc(r N ) such that u(x + e j ) = u(x) for all x R N } where {e 1, e N } is the standard Euclidean base of R N. With this notation in hand, proceeding as in [5, Lemma 5.1], we have the following Theorem 4.1. Assume K and W as in Theorem 1.1. Then the functional E attains its minimum in Hper(Q). s Moreover if u is a minimizer, it is continuous and (4.2) u(x) 1 δ 0 for any x Q, as long as η is small enough.

8 8 DAYANA PAGLIARDINI Proof. Consider {u n } n N be a minimizing sequence. By (H2) we may suppose that (4.3) E(u k, Q) E(1, Q) = 0. Then, from (W5) we have (4.4) min{w (x, 1 + s) W (x, 1 + δ 0 ), W (x, 1 s) W (x, 1 δ 0 )} c(s δ 0 ) for any s δ 0 and H(x)(δ 0 s) W (x, r) + H(x)r 0 as long as r C 0 with C 0 sufficiently large if η is small enough. Accordingly, by (4.3), (4.5) u(x) u(y) 2 K(x, y) dx dy H(x)u k (x) dx C 0 L(Q)η. Q R N Q { u k C 0 } Hence we define u k (x) if u k (x) < 1 + δ 0 (4.6) u k(x) = 1 + δ 0 if u k (x) 1 + δ 0 1 δ 0 if u k (x) 1 δ 0 and thanks to (4.4) we get that E(u k, Q) E(u k, Q). So, less than replacing u k with u k we may assume that (4.7) u k 1 + δ 0. By (4.5), (4.7) and the compact embedding of H s (Q) in L 2 (Q) we obtain that u k u in L 2 (Q) so u k u in H s (Q) and, up to subsequences, u k u a.e. Therefore u Hper(Q) s and lim inf u k (x) u k (y) 2 K(x, y) dx dy u(x) u(y) 2 K(x, y) dx dy. k Q R N Q R N Then Fatou s Lemma gives us inf E(, Q) = lim inf E(u k, Q) E(u, Q) Hper(Q) s k i.e. u is the desired minimizer. From Theorem 3.1 we have that u is continuous, so it remains to prove (4.2). To do this, we take u Hper(Q) s minimizer for E(, Q) and define u(x) if u(x) < 1 + δ 0 (4.8) u (x) := 1 + δ 0 if u(x) 1 + δ 0 1 δ 0 if u(x) 1 δ 0. By (4.4) and since u is a minimizer, we have 0 E(u, Q) E(u, Q) c [ (u 1 δ 0 ) + 2 {u>1+δ 0 } that is u 1 + δ 0. Then, if by contradiction {u< 1 δ 0 } 1 + δ 0 u(x 0 ) 1 δ 0 for some x 0 Q, ] ( u 1 δ 0 ) 0,

9 9 the uniform continuity of u gives 1 + δ 2 u(x) 1 δ 0 2 for any x B ρ (x 0 ) for a suitable, universal ρ > 0. As a consequence W (x, u(x)) const for x B ρ (x 0 ), from which E(u, Q) const L(B ρ (x 0 )) ηl(q) > 0 = E(1, Q) E(u, Q), that is a contradiction and proves (4.2). This theorem and (W6) imply that the functional E(, Q) admits two minimizers u ± H s per(q) such that u + = u + 2 and (4.9) u ± 1 L (Q) = δ η < δ 0. Remark 4.2. Observe that δ η 0 as η 0. Note that if W (x, ) is strictly convex in [1 δ 0, 1 + δ 0 ] and [ 1 δ 0, 1 + δ 0 ] these minimizers are the only global minimizers of E(, Q) in H s per(q) and from now on we assume that (4.10) E(u +, Q) = E(u, Q). Remark 4.3. Note that (W6) (required for example by [10]) implies (4.10) Minimization with respect to periodic perturbations. Given Q N \ {0} and u : R N R a measurable function, we say that u L 2 ( R N ) if u L 2 loc (RN ) and u is periodic with respect to. Hence, taken A, B two real numbers such that A < B and denoting with R N any fundamental domain of the relation, we define (4.11) A A,B := {u L 2 loc( R N ) : u(x) 1 δ 0 if x A and u(x) 1 + δ 0 if x B} the set of admissible functions and we consider F (u) := 1 ( u(x) u(y) 2 u + (x) u + (y) 2) K(x, y) dx dy 2 R (4.12) N R N RN ( ) ( ) + W (x, u(x)) W (x, u + (x)) dx + H(x) u(x) u + (x) dx. R N We want to show that there exists an absolute minimizer of F in the class A A,B, i.e. there exists u A A,B such that F (u) F (v) for any v A A,B. First of all we prove that F is not identically infinity on A A,B : Theorem 4.4. Let ū A A,B be defined as ū(x) := µ( x), where u + if x A (4.13) µ( x) := u + (u + u ) B A (( x) A) if A < x B u if x > B. Then F (ū) < +.

10 10 DAYANA PAGLIARDINI Proof. Since the potential term of F vanishes at u + and u (thanks to (4.10)) for a.e. x R N, it is obviously finite if we evaluate it in ū. So we only have to estimate the kinetic term and thanks to (K2) and (K4) it is sufficient to prove that (4.14) RN ( + B R(x) R N \B R(x) ū(x) ū(y) 2 u + (x) u + (y) 2 x y N+2s dy ū(x) ū(y) 2 u + (x) u + (y) 2 ) x y N+β dy dx < +. Less than an affine transformation we may assume = e N and for simplicity we may also suppose that A = 0 and B = 1 so that R N = [0, 1] N 1 R. Accordingly (4.14) is equivalent to (4.15) I := and (4.16) J := [0,1] N 1 R [0,1] N 1 R B R(x) R N \B R(x) Recalling the definition of ū it follows that (4.17) I = [0,1] N 1 [ R, R+1] and being ū Lipschitz, we get I 4(1 + δ 0 ) 2 (4.18) ū(x) ū(y) 2 u + (x) u + (y) 2 x y N+2s dy dx < + ū(x) ū(y) 2 u + (x) u + (y) 2 x y N+β dy dx < +. B R(x) [0,1] N 1 [ R, R+1] ū(x) ū(y) 2 u + (x) u + (y) 2 x y N+2s dy dx ( = 2Nα N(1 + δ 0 ) 2 (2 1 s R 2 2s + 1) R B R(x) dy ) x y N+2s 2 dx which implies (4.15). Now to prove (4.16) we write J = J 1 + J 2 + J 3 with ( ū(x) ū(y) 2 u + (x) u + (y) 2 ) J 1 := x y N+β dy dx, J 2 := J 3 := [0,1] N 1 [2,+ ) ( R N \B R(x) [0,1] N 1 (, 1) R N \B R(x) ( [0,1] N 1 [ 1,2] R N \B R(x) By the definition of ū we have that ( J 1 [0,1] (4.19) N 1 [2,+ ) 4(1 + δ 0 ) 2 ū(x) ū(y) 2 u + (x) u + (y) 2 ) x y N+β dy dx, ū(x) ū(y) 2 u + (x) u + (y) 2 ) x y N+β dy dx. R N 1 (,1] ( [0,1] N 1 [2,+ ) u (x) ū(y) 2 ) x y N+β dy dx R N 1 (,1] dy x y N+β ) dx.

11 Writing x = (x, x N ) R N 1 R, y = (y, y N ) R N 1 R and substituing z := (y x )/ x N y N, we get (4.20) R N 1 (,1] dy x y N+β = 1 = 1 = Θ β (x N 1) β, x N y N N β[ ( 1 + x y 2 ) N+β 2 R N 1 x N y N 2 dy ] dy N x N y N 1 β[ R N 1 (1 + z 2 ) N+β 2 dz ] dy N 11 where Therefore Θ := (1 + z 2 ) N+β 2 dz < +. R N 1 J 1 4(1 + δ 0) 2 + Θ (x N 1) β dx N = 4(1 + δ 0 ) 2 Θ β 2 (β 1)β, since β > 1. Analogously it is easy to see that J 2 is finite too. Thus we pass to estimate J 3. Since ū is a bounded function we have ( (4.21) J 3 4(1 + δ 0 ) 2 dy ) x y N+β dx = 12Nα N R β β [0,1] N 1 [ 1,2] R N \B R(x) and (4.16) follows. Note that condition (K4) allows us to have the integrability of the first addendum of F. With this result in hand we can prove that Theorem 4.5. There exists an absolute minimizer of the functional F in the class A A,B. Proof. We use the standard Direct Method of the Calculus of variations. By Theorem 4.4 and since u + is minimizer for E, we have that F 0 and hence m := inf{f (u) : u A A,B } [0, + ). So, if {u j } j N A A,B is a minimizing sequence, we may suppose that (4.22) u j 1 + δ 0 a.e. in R N. Then we consider an integer k > max{ A, B} and the Lipschitz domains Ω k := R N {x R N : x k}.

12 12 DAYANA PAGLIARDINI Thanks to (4.22) and (K2) we obtain (4.23) ( [u j ] 2 H s (Ω k ) u j (x) u j (y) 2 ) Ω k B 1 (x) x y N+2s dy dx ( + 4(1 + δ 0 ) 2 dy ) Ω k R N \B 1 (x) x y N+2s dx 2 λ F (u j, Ω k ) + 2 RN u + (x) u + (y) 2 λ Ω k x y N+2s dx dy + 2 W (x, u + (x)) dx λ Ω k + 2 H(x)u + (x) dx 2 W (x, u j (x)) dx 2 H(x)u j (x) dx λ Ω k λ Ω k λ Ω k + 2 (1 + δ 0) 2 Nα N Ω k, s where we denote with (4.24) F (u, Ω k ) := Ω k Ω k R N ( u(x) u(y) 2 u + (x) u + (y) 2) K(x, y) dx dy ( W (x, u(x)) W (x, u + (x)) ) ( ) dx + H(x) u(x) u + (x) dx. Ω k Now we take k N such that k Z N, so that Ω k is a periodicity domain for u +. From this and the fact that u + is minimizer for E on all the domains Ω k, we get 0 F (u j, Ω k ) F (u j, R N ), so (4.23) becomes (4.25) [u j ] 2 H s (Ω k ) 2 λ F (u j ) + 2 RN u + (x) u + (y) 2 λ Ω k x y N+2s dx dy + 2 W (x, u + (x)) dx λ Ω k + 2 ( 1 H(x)u + (x) dx + 2 Ω k λ Ω k λ η + (1 + δ 0) 2 Nα N ). s Hence {u j } j N is bounded in H s (Ω k ) uniformly in j. Since H s (Ω k ) L 2 (Ω k ) (see [7, Theorem 7.1]), less than extract a subsequence, u j u in L 2 (Ω k ) and a.e. in Ω k. Now we use a diagonal argument (on j and k) to find a subsequence {u j } j N of {u j } j N such that u j u a.e. in R N. We may identify the u j s and u with their -periodic extension to R N so that the convergence will be in the full space R N. As a consequence u A A,B and using Fatou s Lemma we get F (u) = m that concludes the proof The minimal minimizer. Define M A,B := {u A A,B : F (u) F (v) for any v A A,B } the set of the absolute minimizers of F in A A,B. Observe that from Proposition 4.5, is not empty, hence we can introduce the following M A,B

13 Definition 4.6. We call u A,B a minimal minimizer when it is the infimum of M A,B if we consider M A,B subset of the partially ordered set (A A,B, ). In particular u A,B is the unique function of A A,B such that (4.26) u A,B and (4.27) if v A A,B u in R N for every u M A,B is such that v u in R N for every u M A,B, then v u A,B in R N. The existence of u A,B is not obvious, so we will dedicate the rest of the section to show it. First of all we need to prove that the minimum between two elements of M A,B still belongs to M A,B. To do this we show the following Lemma 4.7. Let A, A, B, B be real numbers such that A < A and B < B with A < B and A < B. If u M A,B and v M A,B, then min{u, v} M A,B. Proof. Observing that min{u, v} A A,B and max{u, v} A A,B and using Lemma 3.3, we get F (min{u, v}) + F (max{u, v}) F (u) + F (v). Now, since v M A,B and hence we have F (min{u, v}) + F (max{u, v}) F (u) + F (max{u, v}) F (min{u, v}) F (u), that is min{u, v} M A,B. As a consequence, if we choose A = A and B = B we obtain this Corollary 4.8. If u, v M A,B, then min{u, v} M A,B. At this point we can show that M A,B is also closed with respect to take the minimum among a countable family of its elements: Lemma 4.9. If {u n } n N is a sequence of elements in M A,B, then inf n N u n M A,B. Proof. Define u := inf j N u j and inductively the sequence { u1 if j = 1 (4.28) v j := min{v j 1, u j } if j 2. Corollary 4.8 gives us that {v j } j N M A,B. On the other hand v j u a.e. in R N, so from an application of Fatou s Lemma we have that u A A,B and F (u ) lim F (v j ) = F (v k ) j + for any k N. Hence u M A,B. These results allow us to prove this Proposition The minimal minimizer u A,B exists and belongs to M A,B. 13

14 14 DAYANA PAGLIARDINI Proof. Since M A,B is separable with respect to convergence a.e. (see [5, Proposition B.2]), for all u M A,B we can find a sequence {u n } n N M A,B from which we can extract a subsequence {u nk } k N such that u nk u a.e. in R N. We define u A,B := inf n N u n and from Lemma 4.9 we get u A,B M A,B. We claim that u A,B is the minimal minimizer, that is we have to check (4.26) and (4.27). Let u M A,B and {u nk } k N a subsequence of {u n } n N such that u nk u a.e. in R N. By definition u A,B u nk in R N for all k N. Therefore, passing to the limit as k +, we obtain (4.26). In order to prove (4.27) we have to suppose the existence of v A A,B such that v u for all u M A,B. This implies v u n for all n N. Hence v u A,B and (4.27) is proved The doubling property. The doubling property, or no-symmetry breaking property, is an important feature of the minimal minimizer. In this subsection we want to show that u A,B is not only the minimal minimizer of M A,B, but also the minimal minimizer over the functions with periodicity multiple of. To do this we introduce a few more notation. We denote with z 1,, z N 1 Z N some vectors spanning the (N 1)-dimensional lattice induced by. If k Z N is such that k = 0 we can write k = N 1 i=1 µ i z i, with µ 1,, µ N 1 Z. Then we take m N N 1 and we define the equivalence relation m as x m y x y = N 1 i=1 µ i m i z i for µ 1,, µ N 1 Z. We denote with R N m := R N / m and with L 2 loc ( R N m) the periodic functions of L 2 loc ( R N ). Note that in R N m there are m 1 m N 1 copies of R N because the relation is stronger than m and L 2 loc ( R N ) L 2 loc ( R N m). We define the space A A,B,m := {u L 2 loc( R N m) : u(x) 1 δ 0 if x A and u(x) 1 + δ 0 if x B}, i.e. the admissible functions related to the new equivalence relation. Then we consider the functional F,m (u) := 1 ( u(x) u(y) 2 u + (x) u + (y) 2) K(x, y) dx dy 2 R (4.29) N m R N ( ) ( ) + W (x, u(x)) W (x, u + (x)) dx + H(x) u(x) u + (x) dx R N m R N m and the set of absolute minimizers M A,B,m := {u A A,B,m : F,m (u) F,m (v) for any v A A,B,m}.

15 We call u A,B,m the minimal minimizer of M A,B,m whose existence is assured by the same arguments of Subsection 4.2. Finally we indicate the translation of a function u : R N R in the direction z R N as (4.30) τ z u(x) := u(x z) for any x R N. At this point we can show that the minimal minimizer in a class of larger period coincides to that in a class of smaller period: Proposition For any m N N 1, it results u A,B,m = u A,B. Proof. Without loss of generality we consider m 1 = 2 and m i = 1 for every i = 2,, N 1. (The general case is analogous but the notation is much heavier). First we show that u A,B M A,B,m, since this implies that u A,B,m u A,B,m. To do this we consider τ z1 u A,B,m (i.e. the translation of u A,B in the doubled direction of z 1 ) and we observe that it is an element of M A,B,m. Defining (4.31) û A,B,m := min{u A,B,m, τ z1 u A,B,m}, we may see that it is -periodic, so û A,B,m A A,B. Then, using Lemma 3.3 and arguing as in the proof of Lemma 4.7, we have F,m (u A,B As a consequence u A,B ) = 2F (u A,B ) 2F (û A,B,m) = F,m (û A,B,m) F,m (u A,B,m). M A,B,m and so u A,B,m u A,B of M A,B,m. On the other hand, since û A,B,m M A,B,m and u A,B A A,B,m, we get F (û A,B,m) = 1 2 F,m(û A,B,m) 1 2 F,m(u A,B 15, being u A,B,m the minimal minimizer ) = F (u A,B ), from which it follows that û A,B,m M A,B. Hence and the proof is complete. u A,B û A,B,m u A,B,m 4.4. Minimization with respect to compact perturbations. In this subsection we want to construct a class A-minimizer for E, so we have to prove that the elements of M A,B are also minimizers of the energy E with respect to compact perturbations in the strip We call S A,B := {x R N : x [A, B]}. S A,B := S A,B / m the quotient of the strip with respect to the relation m and we show a relation between E and F,m.

16 16 DAYANA PAGLIARDINI Lemma Let u A A,B,m such that F,m (u) <. For any Ω S A,B,m, consider v another bounded function such that u = v in R N \ Ω and denote with ϕ := v u. Calling ṽ and ϕ the m -periodic extension to R N of v and ϕ respectively, we have RN m RN m (4.32) E(v, R N m) E(u, R N m) = F,m (ṽ) F,m (u) + R N m R N \ R N m In particular if u M A,B,m, (4.33) E(v, R N m) E(u, R N m) R N m R N \ R N m ϕ(x) ϕ(y)k(x, y) dx dy. ϕ(x) ϕ(y)k(x, y) dx dy. Observe that, being ϕ compactly supported in S A,B,m and bounded, the right hand sides of (4.32) and (4.33) are finite (see [5, Lemma A.2]) Proof. We prove the lemma in the case m = (1,, 1) but the general case is analogous, moreover we show only (4.32) because then (4.33) follows noticing that ṽ A A,B,m. Recalling the expression of E (see (1.1)), we start by computing K(v, R N, R N \ R N ). Proceeding as in [5, Lemma 4.4.1], we get (4.34) K (v, R N, R N \ R N ) = K (ṽ, R N, R N \ R N ) + K (u, R N, R N \ R N ) K (v, R N \ R N, R N ) + ϕ(x) ϕ(y)k (x, y) dx dy. Then we note that R N R N \ R N K (v, R N, R N ) = K (ṽ, R N, R N ) and P(v, R N ) = P(ṽ, R N ) and recalling the definitions of E and F we conclude the proof. Now we are ready to prove that the absolute minimizers of F,m in A A,B,m are also minimizers for E with respect to compact perturbations in S A,B,m: Proposition If u M A,B,m, then it is a local minimizer of E in every open set Ω S A,B,m, i.e. (4.35) E(u, Ω) E(v, Ω) for all v u in R N \ Ω. Proof. Without loss of generality we may suppose that E(v, Ω) < + and v 1 + δ 0 a.e. in R N. Let ϕ := v u and note that spt ϕ Ω. We claim that (4.35) holds with Ω replaced by R N m, i.e. (4.36) E(u, R N m) E(v, R N m). Then Remark 2.4 will implies (4.35). To show (4.36) we observe that if ϕ is either non-negative or non-positive, then (4.36) is a direct consequence of (4.33). Moreover, if ϕ is sign-changing, we consider min{u, u + ϕ} and max{u, u + ϕ}. From Lemma 3.3 we get E(min{u, u + ϕ}, R N m) + E(max{u, u + ϕ}, R N m) E(u, R N m) + E(u + ϕ, R N m).

17 17 Moreover, noticing that and using (4.33), we obtain (4.37) that is our thesis. min{u, u + ϕ} = u ϕ and max{u, u + ϕ} = u + ϕ + 2E(u, R N m) E(u ϕ, R N m) + E(u + ϕ +, R N m) = E(min{u, u + ϕ}, R N m) + E(max{u, u + ϕ}, R N m) E(u, R N m) + E(u + ϕ, R N m) As a consequence of this proposition and Subsection 4.3, we have the following Corollary The minimal minimizer u A,B is a local minimizer of E for every Ω S A,B. Proof. Given Ω, consider m N N 1 such that Ω,m. Thanks to Proposition 4.11, u A,B is the minimal minimizer with respect to M A,B,m and Proposition 4.13 implies that u A,B is a local minimizer of E in Ω The Birkhoff property. In this subsection we recall a geometric property of the level sets of the minimal minimizer called the Birkhoff property, or non-self intersection property, representing the fact that the level sets of the minimal minimizers are ordered under translations. We start giving some useful notation. We define S A,B τ z E := E + z = {x + z : x E} the translation of a set E R N with respect to z R N and observe that for a sublevel set (and analogously for a superlevel set) τ z {u < θ} = {τ z u < θ}. Definition We say that E R N has the Birkhoff property with respect to a vector R N if τ k E E for any k Z N such that k 0, and τ k E E for any k Z N such that k 0. We call Birkhoff set a set satisfying the Birkhoff property and we recall an useful result on Birkhoff sets (see [5, Proposition 4.5.2]): Proposition Let E R N a Birkhoff set with respect to R N \ {0} and containing a ball B N of radius N. Then E contains a half-space including the center of the ball, is delimited by a hyperplane orthogonal to the vector and is such that points outside of it. Now proceeding as in [5, Proposition 4.5.3], we want to show that level sets of the minimal minimizer are Birkhoff sets. Proposition Given θ R, the superlevel set {u A,B > θ} has the Birkhoff property with respect to, i.e. {τ k u A,B > θ} {u A,B > θ}, for any k Z N such that k 0, and {τ k u A,B > θ} {u A,B > θ}, for any k Z N such that k 0.

18 18 DAYANA PAGLIARDINI In the same way the sublevel set {u A,B < θ} has the Birkhoff property with respect to. The Proposition still holds if strict levels are replaced by the broad ones. Proof. Denote with v := min{u A,B, τ k u A,B } and note that τ k u A,B is the minimal minimizer with respect to τ k S A,B = S A+ k,b+ k. Now, if k 0, from Lemma 4.7 we have that v M A+ k,b+ k, so that τ k u A,B v u A,B. Therefore {τ k u A,B Similarly, if k 0 we get that v M A,B {u A,B > θ} {u A,B and hence > θ} {τ k u A,B > θ}. > θ}. For the conclusion concerning the sublevel set {u A,B θ} and the superlevel set {u A,B θ} we can reason as in [5, Proposition 4.5.3] Unconstrained and class A-minimization. From now on we consider strips of the form S M := S 0,M = {x R N : x [0, M]}. We denote the space of admissible functions A 0,M with A M, the absolute minimizers with M M and the minimal minimizer with u M. Since we want to avoid narrow strips, we assume M > 10. The goal of this subsection is to show that, for large universal values of M/, the minimal minimizer u M becomes unconstrained, i.e. it no longer feels boundary data prescribed outside S M, gaining additional minimizing properties in the whole R N. First of all we adapt the results of Section 2 and Section 3 to the minimal minimizer u M and in view of Corollary 4.14, we have the existence of universal quantities α (0, 1) and C 1 1 such that for any open S S M with dist(s, S M ) 1 it holds (4.38) u M C 0,α (S) C 1. Then from Proposition 3.2, fixed x 0 S M and R 3 such that B R+2 (x 0 ) S M we get that (4.39) E(u M, B R (x 0 )) C 2 R N 1 Ψ R (R) where C 2 > 0 is a universal constant and Ψ R (R) is defined in (3.5). These two inequalities have a crucial role to show the main result of this section: Theorem There exists a universal constant M 0 > 0 such that if M M 0, the distance between the superlevel set {u M > 1 + δ 0 } and the upper constraint { x = M} delimiting S M is at least 1. Proof. First of all we point out that during this proof we will denote balls B and cubes Q without expliciting the center. Then we claim that (4.40) M 0 8N universal constant such that, for any M M 0, we find a ball B N ( z) SM for some z S M on which either u M 1 δ 0 or u M 1 + δ 0. Given M 8N, assume that for every ball B N SM we can find a point x B N such that u M ( x) < 1 δ 0. If we prove that M/ M 0, then claim (4.40) follows.

19 Proceeding as in [5, Proposition 4.6.1] we take k 2 the only integer such that (4.41) k M 4N < k + 1. Then we let x 0 S M be a point on the hyperplane { x = M 2 } and B = B nk(x 0 ). Thanks to (4.41) we get that B S M with (4.42) dist(b, S M ) = M Nk Nk 4. 2 Therefore we can apply (4.38) to obtain (4.43) u M C 0,α (B) C 1. Now we consider Q a cube with center in x 0 and side 2 Nk. Clearly Q B and we can partition it (up a negligible set) into a collection {Q j } kn j=1 of cubes with sides 2 N parallel to those of Q. Then we call B j Q j the ball of radius N with the same center of Q j. By our initial assumption, for every j = 1,, k N, there exists x j B j such that u M ( x j ) < 1 δ 0. We claim that (4.44) u M < 1 δ 1 in B r0 ( x j ) for some δ 1 < δ 0 and some universal radius r 0 (0, 1). Indeed, defining r 0 := by (4.43), we have u M u M ( x j ) + C 1 x x j α < 1 δ 0 + C 1 r α 0 = 1 δ 1, for any x B r0 ( x j ) and the claim is proved. On the other hand, since x j B j Q j, we get (4.45) B r0 ( x j ) Q j 1 2 N B r 0 ( x j ) = α N 2 N rn 0. Therefore, from (4.44), (4.45) and (W2) we obtain (4.46) P(u M, B) P(u M, Q) = = k N j=1 B r0 ( x j ) Q j k N j=1 P(u M, Q j ) k N j=1 19 ( ) δ0 δ 1/α, 1 C 1 P(u M, B r0 ( x j ) Q j ) ( ) W (x, u M (x)) + H(x)u M (x) dx [ ] k N γ(1 δ 1 ) η(δ 1 1) B r0 ( x j ) Q j [ γ(1 δ 1 ) η(δ 1 1) j=1 ] αn 2 N rn 0 k N := C 3 k N, where C 3 > 0 is a universal constant. Moreover from (4.39) (that we can apply to B thanks to (4.42)) P(u M, B) E(u M, B) C 2 (Nk) N 1 Ψ s (Nk) C 4 k N 1 Ψ s (k),

20 20 DAYANA PAGLIARDINI for some universal C 4 > 0. By (4.41), the same holds for M/, so (4.40) follows. Thus it remains to show that u M cannot be greater or equal to 1 δ 0 on B N ( z). Assume by contradiction that (4.47) u M 1 δ 0 in B N ( z). Using Proposition 4.17 we have that the set {u M 1 δ 0 } has the Birkhoff property with respect to. Then, (4.47) and Proposition 4.16 imply that the superlevel set contains the half-space Π := { (x z) < 0}. Since B N ( z) SM, we can affirm that Π is at least at distance 1 from the level constraint { x = 0}. As a consequence if we suppose w.l.o.g. that 1 > 0, the translation τ e1 u M A M. In view of the periodicity assumptions (K3), (W4) and (H3), we get that F (τ e1 u M ) = F (u M ) and so τ e1 u M M M. Then, since u M is the minimal minimizer, it results u M (x + e 1 ) = τ e1 u M u M (x) for a.e. x R N. Now, iterating this inequality we obtain u M (x + te 1 ) u M (x) 1 δ 0 for a.e. x Π and t N or equivalently u M 1 δ 0 a.e. in R N that contradicts the fact that u M 1 + δ 0 in { x M} by construction. As a consequence u M 1 + δ 0 on the ball B N ( z), hence applying again Proposition 4.17 and Proposition 4.16 to the sublevel set {u M 1 + δ 0 }, we prove the theorem. Corollary If M M 0, then u M = u M+a for all a 0. Proof. Given M M 0 and a [0, 1], we may apply Theorem 4.18 to the minimal minimizer u M+a to obtain that u M+a 1 + δ 0 a.e. in the half-space { x M}. But then u M+a A M and by minimality of u M, we get that F (u M ) F (u M+a ). On the other hand, obviously u M A M+a, so F (u M+a ) F (u M ). Therefore u M and u M+a belong to M M M M+a and hence they are the same function. Iterating this argument we can extend this result to any a 0. Roughly speaking, this corollary tells us that if M/ is greater than the universal constant M 0 found in Theorem 4.18, the upper constraint { x = M} becomes irrelevant for the minimal minimizer u M which achieves values below 1 + δ 0 before touching the constraint. In the next proposition we show that we have an analogous behaviour with the lower constraint { x = 0} and hence we get that the minimal minimizer u M is unconstrained. Proposition If M M 0, then u M M a,m+a for any a 0, i.e. u M is unconstrained. Proof. Fix k Z N such that k a. Let v A a,m+a and consider its translation τ k v A M+a+ k. Corollary 4.19 tells us that F (u M ) F (τ k v) and the thesis follows since by (K3), (W4) and (H3), we have that F (v) = F (τ k v). We conclude this subsection combining the previous proposition with the results of Subsection 4.1 obtaining that u M is a class A minimizer. Theorem If M M 0, then u M is a class A minimizer of the functional E.

21 Proof. Let Ω R N be a bounded subset. Take a 0 and m Z N 1 such that Ω S a,m+a,m. From Proposition 4.11, it follows that u a,m+a is the minimal minimizer of the class M a,m+a,m. On the other hand Proposition 4.20 implies that F (u M ) = F (u a,m+a ). Then F,m (u M ) = c m F (u M ) = c m F (u a,m+a ) = F,m (u a,m+a ), where c m = Π N 1 i=1 m i. Therefore u M M a,m+a,m and Proposition 4.13 yields that u M is a local minimizer of E in Ω The case of irrational directions. In this subsection we want to prove Theorem 1.1 with the assumption (K4), also for irrational vectors. We will use an approximation argument as in [5, Subsection 4.7]. Taken R N \ Q N, we consider a sequence { j } j N Q N \ {0} such that j. Denoting with u j the class A minimizer given by our construction which corresponds to j we know that u j Hloc s (RN ) L (R N ) with u j 1 + δ 0 in R N and } { (4.48) {x R N : u j (x) 1 δ 0 x R N } j : j x [0, M 0] for any j N. Moreover Theorem 3.1 implies that the u j s are uniformly bounded in C 0,α (R N ) for some unversal α (0, 1). So, thanks to Ascoli-Arzelà Theorem we can find a subsequence of {u j } j N (not relabeled) converging to some continuous function u, uniformly on compact subsets of R N and u 1 + δ 0 in R N. Since condition (4.48) passes to the limit, the same inclusion holds if we replace u j and w j with u and w. Hence, to prove Theorem 1.1 we only need to check that u is a class A minimizer of E. With this aim in mind we fix R 1 and we claim that u is a local minimizer of E in B R, i.e. E(u, B R ) < + and (4.49) E(u, B R ) E(u + ϕ, B R ) for any ϕ such that spt ϕ B R. Thanks to Remark 2.4, this will implies that u is a class A minimizer. To show (4.49) we apply Theorem 3.2 to u j so E(u j, B R+1 ) C R for some constant C R > 0 independent of j. Moreover by an application of Fatou s Lemma (4.50) E(u, B R+τ ) lim inf j + E(u j, B R+τ ) for any τ [0, 1]. In particular (4.51) E(u, B R ) E(u, B R+1 ) C R < + because E(u, ) is monotone non-decreasing with respect to set inclusion. As it concerns the right hand side of (4.50) we let {ε j } j N such that ε j := u j u L (B R+1 ). It is easy to see that ε j 0 and we may suppose that ε j 1/2 for any j N. Then we consider η j Cc (R N ) a cut-off function such that 0 η j 1 in R N, η j = 1 in B R, spt (η j ) B R+εj and η j 2/ε j in R N. Take ϕ as in (4.49) and assume w.l.o.g. that 21

22 22 DAYANA PAGLIARDINI ϕ L (R N ). We also suppose that E(u + ϕ, B R ) < +, otherwise (4.49) is obviously satisfied. Consequently, using (4.51), (K2) and the boundedness of H, u and ϕ we get that ϕ H s (B R+1 ). At this point we define v := u + ϕ and v j := η j u + (1 η j )u j + ϕ in R N. Observe that v j = v in B R and v j = u in R N \B R+εj, hence v j is an admissible competitor for u j in B R+εj. Then, being u j minimizer, E(u j, B R+εj ) E(v j, B R+εj ). Moreover v j v uniformly on compact subsets of R N and v j v L (B R+1 ) u j u L (B R+1 ) = ε j. Now, we can proceed as in [5, Pag ] and then we can use P(v j, B R+εj ) P(v, B R ) + W B R+εj \ B R + η u L (R N ) B R+εj \ B R to say that there exists a function r : (0, 1) (0, + ) for which (4.52) lim r(δ) = 0 δ 0 + such that lim sup E(u j, B R ) E(v, B R ) + r(δ). j + Combining this inequality with (4.50) we have E(u, B R ) E(v, B R ) + r(δ) and since δ is arbitrary, from (4.52), we obtain (4.49) and hence that u is a class A minimizer of E. 5. Proof of Theorem 1.1 for general kernels In this section we want to prove Theorem 1.1 also for kernel not satisfying condition (K4). Indeed none of the estimates that we showed there involve any of the parameters appearing in (K4). So we can use a limit argument similar to this of Section 4.7. Let K be a kernel satisfying (K1), (K2), (K3) and consider a monotone increasing sequence {R j } j N [2, + ) diverging to +. We define K j (x, y) := K(x, y)χ [0,Rj ]( x y ) for any x, y R N and we observe that it fulfills (K1), (K2), (K3). Moreover K j satisfies (K4) with R = R j. Call E j the energy functional (2.1) corresponding to K j and, fixed a direction R N \{0}, we denote with u j the plane-like class A-minimizer for E j with direction. Since K j verifies (K4) these minimizers exist thanks to Section 4. We have (5.1) } {x R N : u j (x) 1 δ 0 { x R N : x [0, M 0] for a universal value M 0 > 0. We also know that u j 1 + δ 0 in R N and, thanks to Theorem 3.1, u j C 0,α (R N ) C for some α (0, 1]. We underline that, since K j satisfies (K2) with the same structural constants, we can choose M 0, α and C independent of j. As a consequence, Ascoli-Arzelà Theorem implies that, up to a subsequence, {u j } converges to a continuous function u, uniformly on compact subsets of R N. The limit },

23 function u satisfies (5.1) and, if is rational, each u j is -periodic, hence u is -periodic. To show that u is a class A minimizer, we fix R 1 and we take a perturbation ϕ with spt ϕ B R. We know that E j (u j, B R ) E j (u j + ϕ, B R ) for any j N. On the other hand from an application of Fatou s Lemma we get E(u, B R ) lim inf j + E j(u j, B R ) and following the reasoning of the Subsection 4.7 we have that lim sup E j (u j, B R ) E(u + ϕ, B R ). j + These two inequalities tell us that u is a class A minimizer of E so Theorem 1.1 is completely proved. 6. Acknowledgements The author is supported by the PRIN project Variational methods, with applications to problems in mathematical physics and geometry. The author thanks A. Malchiodi and M. Novaga for the fruitful discussions and their kind support. References [1] V. Bangert, On minimal laminations of the torus, Ann. Inst. H. Poincaré Anal. Non Linéaire 6 (1989), no. 2, (English, with French summary). [2] I. Birindelli and E. Valdinoci, The Ginzburg-Landau equation in the Heisenberg group, Commun. Contemp. Math. 10 (2008), no. 5, [3] X. Cabré and E. Cinti, Sharp energy estimates for nonlinear fractional diffusion equations, Calc. Var. Partial Differential Equations 49 (2014), no. 1-2, [4] L. A. Caffarelli and R. de la Llave, Planelike minimizers in periodic media, Comm. Pure Appl. Math. 54 (2001), no. 12, [5] M. Cozzi and E. Valdinoci, Plane-like minimizers for a non-local Ginzburg-Landau-type energy in a periodic medium, J. Éc. polytech. Math. 4 (2017), [6] R. de la Llave and E. Valdinoci, Multiplicity results for interfaces of Ginzburg-Landau-Allen-Cahn equations in periodic media, Adv. Math. 215 (2007), no. 1, [7] E. Di Nezza, G. Palatucci, and E. Valdinoci, Hitchhiker s guide to the fractional Sobolev spaces, Bull. Sci. Math. 136 (2012), no. 5, , DOI /j.bulsci MR [8] J. N. Mather, Differentiability of the minimal average action as a function of the rotation number, Bol. Soc. Brasil. Mat. (N.S.) 21 (1990), no. 1, [9] J. Moser, Minimal solutions of variational problems on a torus, Ann. Inst. H. Poincaré Anal. Non Linéaire 3 (1986), no. 3, [10] M. Novaga and E. Valdinoci, The geometry of mesoscopic phase transition interfaces, Discrete Contin. Dyn. Syst. 19 (2007), no. 4, , DOI /dcds MR [11] A. Petrosyan and E. Valdinoci, Geometric properties of Bernoulli-type minimizers, Interfaces Free Bound. 7 (2005), no. 1, [12] P. H. Rabinowitz and E. Stredulinsky, On some results of Moser and of Bangert, Ann. Inst. H. Poincaré Anal. Non Linéaire 21 (2004), no. 5, (English, with English and French summaries). [13] O. Savin and E. Valdinoci, Γ-convergence for nonlocal phase transitions, Ann. Inst. H. Poincaré Anal. Non Linéaire 29 (2012), no. 4, [14], Density estimates for a variational model driven by the Gagliardo norm, J. Math. Pures Appl. (9) 101 (2014), no. 1,

24 24 DAYANA PAGLIARDINI [15] E. Valdinoci, Plane-like minimizers in periodic media: jet flows and Ginzburg-Landau-type functionals, J. Reine Angew. Math. 574 (2004), Scuola Normale Superiore, Piazza dei Cavalieri 7, Pisa, Italy address: