Regularity of Local Minimizers of the Interaction Energy Via Obstacle Problems

The repulsion strength at the origin for repulsive/attractive potentials determines the regularity of local minimizers of the interaction energy. In this paper, we show that if this repulsion is like Newtonian or more singular than Newtonian (but still locally integrable), then the local minimizers must be locally bounded densities (and even continuous for more singular than Newtonian repulsion). We prove this (and some other regularity results) by first showing that the potential function associated to a local minimizer solves an obstacle problem and then by using classical regularity results for such problems.


Introduction
Given a pointwise defined function W : R N → (−∞, +∞], we define the interaction energy of a probability measure μ ∈ P(R N ) by Here, P(R N ) denotes the space of Borel probability measures, and throughout the paper, we will always assume that the interaction potential W satisfies (H1) W is a non-negative lower semi-continuous function in L 1 loc (R N ). Under this assumption, the energy E[μ] is well defined for all μ ∈ P(R N ), with E[μ] ∈ [0, +∞]. Local integrability of the potential avoids too singular potentials for which the interaction energy is infinite for many smooth densities. These very singular potentials lead to very interesting questions in crystallization [54], whose study is outside the scope of this work. Furthermore, under the assumption (H1), the potential function ψ associated to a given measure μ: can be defined pointwise in R N , and a simple application of Fatou's lemma implies that ψ is a lower semi-continuous function, see [3,Lemma 2].
The goal of this work is to investigate the regularity properties of the local minimizers of the interaction energy (1.1). For this, the keystone of this paper will be to show that the potential function ψ(x) associated to a local minimizer solves an obstacle problem. This fact was suggested by the Euler-Lagrange conditions derived in [3] and will be made rigorous here in Sect. 3. Note that in order to define precisely the notion of local minimizers, we need to specify a topology on the set of probability measures. We will use here the framework developed in [3], where the authors consider local minimizers of the energy (1.1) with respect to the optimal transport distance d ∞ . We refer to Sect. 2 for the main definitions and technicalities associated to the transport distance and a brief presentation of the main results of [3].
Lots of numerical results [1][2][3][4]18,23,32,33,56] show the rich structure and variety of local/global minimizers of the interaction energy by using different numerical approaches such as particle approximations, DG schemes for the gradient flow equation associated to the energy (1.1), direct resolution of the associated steady equations, radial coordinates, and so on. The interaction potentials used in most of these numerical experiments are repulsive near the origin and attractive at large distances. Typical choices are radial potentials with a unique minimum L for r > 0, decreasing (repulsive) before and increasing (attractive) after. In particular, for a system of two identical particles, the discrete energy would then be minimized when they are located at distance L from each other. Particularly relevant examples are Morse potentials [5,28,38] and power-laws [2,27,32].
The beautiful result shown in [3], corroborated by the cited numerical studies, is that the support of local minimizers of the interaction energy increases as the repulsion at the origin gets stronger. In other words, concentration of particles is not allowed on small dimensional sets when the repulsion is large enough. Geometric measure theory techniques [42] were crucial to get the estimate on the dimension of the support based on the Euler-Lagrange conditions for local minimizers in transport distances. In future work, the authors intend to emulate the results of [3] by only utilizing the connection of local minimizers with the obstacle problem.
In this work, we concentrate on showing the regularity of the local minimizers for repulsive/attractive potentials behaving at the origin like W (x) ∼ 1 |x| N −2s , as x → 0, for some s ∈ (0, 1] and N ≥ 2, (1.2) with the understanding that W (x) ∼ − log |x| if s = 1 and N = 2, and smooth enough outside the origin. More precise statements will be given below and in Sect. 3. In other words, we will assume that the repulsion at zero is stronger or equal to Newtonian repulsion for dimension N ≥ 2 but W is still locally integrable. Let us now make a summary of the particular results known in the literature.
As mentioned before, the case s = 1 is of particular interest. It corresponds to Newtonian repulsion and it has received considerable attention due to its various applications. A repetitively rediscovered result in this classical case is that the global minimizer of the interaction energy for the potential is the characteristic function of a suitably chosen Euclidean ball. This classical result, using potential theory and capacities, was proved by Frostman [34] (but in a bounded domain instead of confinement by quadratic potentials), and it has connections with the eigenvalue distribution of random matrices [26,46]. This precise result can be found for instance in [41,Proposition 2.13]. In [7], the authors show that the uniform distribution in a ball is the asymptotic behavior of the corresponding gradient flow evolution. The uniqueness of the global minimizer for more singular than Newtonian repulsion, i.e., with 0 < s < 1, was obtained by Caffarelli and Vázquez via the connection to a classical obstacle problem in [16], and this strategy was also used in [50] to treat again the case s = 1 for the evolution problem as in [7]. A generalization with external confinement potential and repulsion due to potentials more singular than Newtonian has also been recently considered in [26] because of its connection to random matrices. Let us finally mention that the case of the potential with a > 2 or 2 − d < a < 2 has been analysed in [32,33] showing the existence and uniqueness of compactly supported radial critical points of the interaction energy. Moreover, they show that they are monotone, bounded, and smooth functions inside their support. The monotonicity of the critical points is rather remarkable and hints to the possibility of using rearrangement techniques to prove uniqueness of absolute minimizers. Boundedness and smoothness inside the support of radial compactly supported minimizers was also proved for the so-called Quasi-Morse potentials in [23]. These Quasi-Morse potentials behave at the origin as Newtonian potentials while they exhibit similar properties to Morse potentials in terms of existence of compactly supported radial minimizers. This particular case allows for explicit computations leading to analytic expressions for these minimizers.
The main result of this paper is that for kernels satisfying (1.2), and under reasonable assumptions on W a (x) = W (x) − |x| 2s−N , local minimizers μ of the interaction energy (1.1) are absolutely continuous with respect to the Lebesgue measure, and their density function lies in L ∞ loc (R N ) when s = 1 and in C α loc (R N ) when s ∈ (0, 1). Furthermore, we will show that for s = 1 the density function is in BV loc (R N ) and that the support of these local minimizers is a set with locally finite perimeter. In particular, our results will apply to potentials of the form These results will be obtained by exploiting the connection between the Euler-Lagrange conditions for local minimizers and classical obstacle problems [13]. In fact, we will show that the potential functions of local minimizers are locally solutions of some obstacle problems. It is by using the regularity theory for the solutions of such obstacle problems [10,11] that we will derive our main results on the regularity of local minimizers. Note that Newtonian repulsion (s = 1) will lead to the classical obstacle problem with the Laplace operator, while stronger repulsion (s ∈ (0, 1)) will lead to fractional obstacle problems (with fractional power of the Laplace operator) which have been more recently studied, in particular in [14,51] (we will also use some results of [15,16] where these obstacle problems arise in the study of fractional-diffusion versions of the porous medium equation).
It should be noted that potentials that are less repulsive than Newtonian (but still repulsive at the origin) also lead to some obstacle problems. However, these involve elliptic operators of higher order. A good example is the case where V (x) ∼ −|x| in dimension N = 3, which leads to a biharmonic obstacle problem. The regularity theory for these higher order obstacle problems is different, and far less developed, than that of the problems considered here. It is for that reason that they will not be discussed in this paper, but will be the object of a forthcoming work.
Let us finally comment that some of our results will require some additional uniformity assumptions on the potential W a at infinity if the support of the local minimizer is not compact. In fact, the existence of compactly supported global miminizers for the interaction energy is a very interesting question by itself connected to statistical mechanics [49]. This property has recently been shown [17,52] under natural conditions on the interaction potential W related to non H -stability as defined in [28,49].
The plan of this paper is as follows. Section 2 is devoted to describing the notion of local minimizers used in this paper and to recalling briefly the results of [3] that are relevant to our study. Section 3 gives the precise statements of the main results of this paper, both for the Newtonian and more singular than Newtonian cases. The aims of Sects. 4 and 5 are to show the main results in the Newtonian repulsion case. Section 6 is devoted to the case of more singular than Newtonian repulsions. The final section is devoted to obtaining uniqueness results in the particular case in which the attraction is a quadratic potential. A couple of technical results (mean value formulas) are presented in Appendices.

Local Minimizers and Euler-Lagrange Conditions
In this section, we give a brief summary of the main results obtained in [3]. First, in order to define our notion of local minimizers of E[μ], we have to give precise definitions of the topology that we will use in the space of probability measures. We recall that P(R N ) is the set of Borel probability measures on R N and we denote by B(R N ) the family of Borel subsets of R N . The support of a measure μ ∈ P(R N ) is the closed set defined by supp(μ) := {x ∈ R N : μ(B(x, )) > 0 for all > 0}.
A family of distances between probability measures have been classically introduced by means of optimal transport theory, we will review briefly some of these concepts, we refer to [35,55] for further details. A probability measure π on the product space R N × R N is said to be a transference plan between μ ∈ P(R N ) and ν ∈ P(R N ) if denotes the set of admissible transference plans between μ and ν. Informally, if π ∈ (μ, ν) then dπ(x, y) measures the amount of mass transferred from location x to location y. Observe that sup (x,y)∈supp(π ) |x − y| represents the maximum mass displacement when transporting μ onto ν by the transference plan π . As in [3], we will consider local minimizers of the energy functional with respect to the ∞-Wasserstein distance d ∞ . This distance is defined as the optimal maximal mass displacement given by which can take infinite values in general, but is obviously finite for compactly supported measures. This distance induces a complete metric structure restricted to the set of probability measure with finite moments of all orders, P ∞ (R N ), as proven in [35]. By considering local minimizers with respect to this d ∞ distance, we are only allowing small perturbations in the d ∞ sense (corresponding to mass being moved short distances). For such perturbations, the behavior of the energy functional is close to particle-like approximations, see [3,19] for more discussion related to this interpretation. Furthermore, we note that the d ∞ -topology is the coarsest topology among all the topologies induced by transport distances. So our results will automatically hold for any local minimizers with respect to the p-Wasserstein distance for any p ∈ [1, ∞]. We recall that for 1 ≤ p < ∞ the distance d p between two measures μ and ν is defined by Note that d p (μ, ν) < ∞ for μ, ν ∈ P p (R N ) the set of probability measures with finite moments of order p. Since d p (μ, ν) is increasing as a function of 1 ≤ p < ∞, one can show that it converges to d ∞ (μ, ν) as p → ∞. Since the distances are ordered with respect to p, it is obvious that the topologies are also ordered. We now can give the following definition: Definition 2.1. We say that μ is an ε-local minimizer (or simply ε-minimizer) for the Note that if μ is compactly supported, the previous definition is reduced to check the local minimality for compactly supported perturbations ν. Minimizers should correspond to equilibrium configurations for the evolution equation obtained by steepest descent of the energy. However, being a functional on probability measures, the steepest descent has to be understood in the Wasserstein sense as in [45]. The transport distance to be used in that case is d 2 , and the steepest descent reads as For steady configurations, we expect ∇ψ = 0 on the support of μ, due to the formal energy dissipation identity for solutions, i.e., where μ t is any solution at time t of (2.2) and ψ t = W * μ t its associated potential. Therefore, the points on the support of a local minimizer μ of the energy E should correspond to critical points of its associated potential ψ. This fact is made rigorous in: Let us also point out that the result in Proposition 2.2 for an ε-minimizer does not imply that its potential ψ is constant in each connected component of the support of μ. Additional information is needed in terms either of the regularity of the potential ψ (continuity of ψ, see next section), or in terms of the interaction potential W itself (see [3,Proposition 2]). Another possibility is to change the topology. In fact, as proven in [3,Theorem 4], if μ is a d 2 -local minimizer of the energy, then the potential ψ satisfy the Euler-Lagrange conditions given by These conditions simplify to if μ is absolutely continuous with respect to the Lebesgue measure. This problem is already quite close to classical obstacle problems encountered in semiconductors [13]. In fact, we leave to the interested reader to check that the particular case with N ≥ 3, coincides precisely with the problem solved in [13], see also [12]. Now, let us connect the qualitative results in [3] to the present work. The main result in [3] shows that the support of ε-minimizers for potentials that are β-repulsive at the origin gets larger and larger as the repulsion gets stronger and stronger at the origin. To be more precise if the potential satisfies − W (x) ≥ C |x| β for 0 < β < N at the origin, see [3,Definition 2] for a more precise statement, then any ε-minimizer of E has the property that the Hausdorff dimension of its support is greater than or equal to β. We observe that the notion of β-repulsivity with 2 ≤ β < N at the origin in [3,Definition 2] implies, in particular, that W (0) = +∞ for singular at zero potentials, avoiding trivial minimizers, see [3,Sect. 3.3]. In this work, we will show that when the potential at the origin is even more repulsive, i.e., it satisfies (1.2) in a sense to be made precise in the next section, then the ε-minimizers must be very regular and smooth. This regularity will emanate from the obstacle-like problem to which the Euler-Lagrange conditions written above are equivalent to. Observe that when the potential satisfies (1.2), we are saying in some sense that the potential is β-repulsive with N ≤ β < N + 2.

Main Results and Strategy
In this section, we will first discuss in details the Newtonian case s = 1 and then turn to the case s ∈ (0, 1). Let us denote by ω N the area of the N -dimensional unit sphere. We denote by the fundamental solution of Laplace equation, which satisfies Without loss of generality (we can always multiply W by a constant without changing the minimizers), we will assume that and We use the notation W a , because it is convenient to think that W = V + W a where V describe the repulsive interactions, while W a describes the attractive interactions. But of course W a could include both repulsive and attractive effects. However, assumption (H2) ensures that the dominant behavior near 0 is Newtonian repulsion. Without loss of generality, we will assume that W (0) = +∞ to avoid trivial local minimizers given by Dirac Delta at a point. Note that Sobolev embeddings theorems imply that W a is a Hölder continuous function in R N .
Remark 3.1. Hypothesis (H2) is in particular satisfied by the power potentials W a (x) = |x| q /q with q > 0. Indeed, we have W a = (q + N − 2)|x| q−2 which is bounded below (in fact, we have W a ≥ 0 provided q > 2 − N ). Furthermore, we see that In particular, (3.2) holds for all q > 0.
When μ is not compactly supported, the fact that W a is only locally in L p (R N ) will be problematic, and we will need to assume that W a is locally uniformly in L p (R N ).
More precisely, we always assume that one of the following holds: either Furthermore, in dimension N = 2, we assume that μ is such that We note that (H3b) holds typically for potential that do not grow too much at ∞, while it is expected that for potentials that grow fast enough at ∞, local minimizers of the energy have compact support, i.e. (H3a) should hold (this last fact remains to be proved though). So conditions (H3a) and (H3b) should be seen as complementary. We recall also that the existence of compactly supported global minimizers of the interaction energy E has recently been proved in [17,52] under natural conditions on the interaction potential related to non H -stability as defined in [28,49]. Thus, relevant minimizers, in applications such as swarming [2,3,5,23,28,32,33], are typically compactly supported.
When supp(μ) is compact, say supp(μ) ⊂ B R (0), we can cut-off the kernel W in a smooth way outside the ball B 4R (0). The density μ will still be an -minimizer of the energy E and its potential ψ will be unchanged in the ball B 2R (0). So whenever assuming (H3a), it is possible to replace (3.2) with W a ∈ L p (R N ). In conclusion, whether (H3a) or (H3b) is satisfied, we can always assume that (3.4) holds.
We now have all the assumptions that we will need on the interaction potential in the case of Newtonian repulsion. We will later see how those conditions must be changed for more repulsive potential (see Sect. 3.3). But first, let us give the main results in this Newtonian case.

An obstacle problem.
As mentioned earlier, the keystone of this paper is the observation that the potential function ψ solves (locally) an obstacle problem. In order to make this fact rigorous, we will first need to prove that ψ is a continuous function. Our first result is thus the following proposition: This proposition will be proved in Sect. 4. As a consequence, we can now show that ψ is locally the solution of an obstacle problem in the neighborhood of any point in the support of μ. Indeed, under the conditions (H1)-(H2)-(H3x), using both Propositions 2.2 and 3.2, we see that for any point x 0 ∈ supp(μ) holds (see Corollary 4.3). Furthermore, since ε does not depend on x 0 (see Remark 2.3), this implies Next, we observe that (3.1) implies where (using (H3) and Minkowski's integral inequality), W a * μ ∈ L p loc (R N ). In particular, since μ is a non-negative measure, we deduce (3.6) implies that x / ∈ supp(μ), and so (by definition of supp(μ)), μ(B r (x)) = 0 for some small r > 0. We deduce We thus have the following proposition: . Furthermore, the measure μ is given by We just showed that ψ solves (3.7). For the uniqueness, we refer to [39]. Since F depends on μ itself, it seems difficult to exploit (3.7) to identify local minimizers or to prove global properties such as uniqueness or radial symmetry. However, because F is more regular than μ, we will be able to use (3.7) to study the regularity of these local minimizers.
We also insist here on the fact that in general the constant C 0 might depend on the choice of x 0 ∈ supp(μ). For global minimizers, as well as for local d 2 minimizers, this constant is actually independent of x 0 as discussed in the previous section, see [3,Theorem 4].
The Eq. (3.8) suggests that there is a relation between the support of μ and the coincidence set ψ = ψ(x 0 ). In fact, it is easy to check that We thus deduce using the continuity of ψ that But it is not obvious that these two sets should be equal. Nevertheless, we shall later see that, under a non-degeneracy condition on F, they are equal up to a set of measure zero.

3.2.
Regularity of ψ and μ. Proposition 3.3 will enable us to use classical regularity results for the obstacle problem to study the properties of ε-minimizers of E. Our first result is the following: Theorem 3.4 (L ∞ regularity of μ). Assume W satisfies (H1) and (H2). Let μ be a compactly supported ε-minimizer in the sense of Definition 2.1. Assume moreover that one of the followings hold: either In particular, the measure μ is absolutely continuous with respect to the Lebesgue measure and there exists a function ρ ∈ Note that assumption (ii) requires slightly more regularity, but a lot less integrability that (i). It is satisfied by interaction potentials of the form |x| q /q as soon as q > 2 − N . The proof of this proposition will be given in Sect. 5.
Since W a ∈ L p loc (R N ) and ρ ∈ L ∞ (R N ) with compact support, a classical result for the convolution of functions implies that W a * ρ is a continuous function in R N . In particular, we deduce that ρ is continuous in the interior of supp(μ). But, in general, we will have W a * ρ = 0 on ∂(supp(μ)) and so we expect ρ to be discontinuous in R N . As a consequence, we cannot readily obtain further regularity for ρ without assuming more regularity for W a .
Obviously, if W a is smooth in R N , then ρ will be smooth in the interior of supp(μ). But it is not very difficult to prove (using a bootstrapping argument) that if W a is smooth in R N \{0} (as is the case for power like interaction potentials), then ρ will be smooth in the interior of supp(μ).
Finally, under the assumptions of Theorem 3.4, we note that since ψ ∈ W 2,∞ , we have (3.9) in other words, the support of μ and the coincidence set {ψ = ψ(x 0 )} are the same up to a set of measure zero. As noted above, ρ is expected to be a discontinuous function and so does not belong, in general, to W 1,1 loc . However, under appropriate regularity assumption on W a , we can prove that ρ is in BV loc (R N ): Theorem 3.6 (Regularity of supp(μ)). Under the assumptions of Theorem 3.4, assume further that Then the density ρ lies in BV loc (R N ). Furthermore, if W a * ρ > 0 in a neighborhood of ∂(supp(μ)), then supp(μ) is a set with locally finite perimeter.
Note that the condition that W a * ρ > 0 in a neighborhood of ∂(supp(μ)) is in particular satisfied if W a (x) is non-negative for all x and not identically zero (which is the case when W a (x) = |x| q /q with q > 2 − N ). This condition implies that ρ has a nonzero continuous extension on ∂(supp(μ)) from the interior of supp(μ). In particular, ρ has a jump discontinuity at the boundary of its support, and the BV regularity is thus optimal in that sense.
Finally, let us point out that there are numerous results in the literature concerning further regularity of the free boundary ∂(supp(μ)) for the obstacle problem, always under the same non-degeneracy requirement that W a * μ > 0 in a neighborhood of the free boundary, see [8,10]. Clearly many of these results could be used here, but we will not pursue this direction, as we are mainly interested in the regularity of the measure μ itself.
3.3. More singular than Newtonian case. Many of the results stated in the previous subsections can be extended without too much difficulty to the case in which the repulsion at zero in more singular than Newtonian but still locally integrable, that is, when The general approach is the same as that described in the previous section, but the obstacle problem (3.7) will be replaced by a fractional obstacle problem of order less than 2. Because such fractional obstacle problem enjoys very good properties, we will be able to derive regularity results for ε-minimizers.
To make this more precise, we first recall that (− ) s denotes the fractional Laplace operator of order s ∈ (0, 1), which can be defined as a singular integral operator, or, using Fourier transform, as the operator with symbol |ξ | 2s . For s ∈ (0, 1), it is then well known that the function is the fundamental solution of the fractional Laplace equation (for an appropriate choice of the constant c N ,s ). More precisely, it satisfies (− ) s V s = δ 0 . In this section, we fix s ∈ (0, 1) and consider an interaction potential that satisfies W (x) ∼ V s (x) for s → 0, that is, we replace hypothesis (H2) with: , ∞]. (3.10) As before, we also define W (0) = +∞.
Finally, because of the non-locality of the fractional laplacian, it is much more difficult to deal with non compactly supported minimizers in this framework. For the sake of simplicity, and because the minimizers of interest in most applications have this property, we will thus only consider compactly supported local minimizers in this section (so (H3a) holds).
Remark 3.7. We note that when considering power-laws interaction potentials W a (x) = |x| q q , we get where we used the singular integral formulation of the fractional Laplacian. In particular, we need q < 2s in order for the integral to be convergent and q > 0 in order for (3.10) to hold. However, the restriction q < 2s can be eliminated by truncating the potential outside a large ball.
As in the Newtonian case, the first step is to establish the continuity of the potential ψ: . Furthermore, the density μ is given by This type of obstacle problem has been studied by numerous authors in recent years, in particular by Silvestre [51]. However, some aspects of the theory for this fractional obstacle problem are different, or not as developed yet, as that of the regular obstacle problem. The only regularity result we will prove is that the density μ is Hölder continuous: Theorem 3.10 (Regularity of μ). Assume that W satisfies (H1) and (H2s), and let μ be an ε-minimizer in the sense of Definition 2.1 such that supp(μ) is compact. Assume moreover that (− ) s W a ∈ W ε 0 ,1 loc (R N ) for some small ε 0 > 0. Then the potential function ψ is in C 1,γ (R N ) for all γ < s. Furthermore, the measure μ is absolutely continuous with respect to the Lebesgue measure and there exists a function ρ ∈ C α (R N ) for all α < 1 − s, such that μ = ρ(x)dL N . Remark 3.11. The optimal regularity for the potential function in the fractional obstacle problem is C 1,s (R N ), see [14], but it requires W a * μ ∈ C 2,1 (R N ).
Note that it has been conjectured that the free boundary has locally finite N − 1 Hausdorff measure for the fractional obstacle problem, but to our knowledge there is no proof of it yet.

A uniqueness result.
We end this section with a uniqueness result for d 2 -local minimizers for the very particular case of quadratic confinement where W a (x) = K |x| 2 . This result gives an alternative proof of the classical results by potential theory mentioned in the introduction [26,34,41], see also [27].
Let us remark that the results in [17] show the existence of global minimizers for W (x) = K |x| 2 + V s (x), see [17,Sect. 3]. Moreover, all global minimizers must be compactly supported and an attentive reading of Lemmas 2.6 and 2.7 in [17] shows that any d 2 -local minimizer is compactly supported in this particular case, since W (x) → ∞ as |x| → ∞. Our result is: Theorem 3.12 (Uniqueness of d 2 minimizer). Assume that W a (x) = K |x| 2 , where K is a constant, and that (H1) and either (H2) or (H2s) hold. Then there exists a unique (up to translation) d 2 -local minimizer μ 0 ∈ P 2 (R N ), which is also the unique global minimizer of E in P 2 (R N ). Furthermore, μ 0 is compactly supported and radial symmetric.
As discussed in Sect. 2, for d 2 -local minimizers, we have In other words, the constant C 0 appearing in Proposition 3.3 does not depend on the choice of x 0 . We will thus prove Theorem 3.12 by using a uniqueness result for the obstacle problem, in the particular case treated in [15].
In the case of Newtonian repulsion (condition (H2)), we get a slightly better result. Indeed, for this choice of W a , we have W a = 2N K , so by Eq. (3.8), we have (3.12) In other words, the regularity that we have proven in the previous sections allows us to say that μ has to be a multiple of the characteristic function of its support, and it is not difficult to show that this support is a ball.
We can also use this information a priori and obtain a different proof of Theorem 3.12 for global minimizers in the Newtonian case using a simple scaling argument and a trivial rearrangement. This proof uses the obstacle problem to allow us to assume that μ is a function satisfying (3.12). We provide this proof for the interested reader at the end of Sect. 7.

Continuity of the Potential Function ψ
This section contains the proof of Proposition 3.2. First, we recall that for a given μ ∈ P(R N ) and due to (H1), the potential function ψ = W * μ, is defined pointwise in R N , with values in [0, ∞], by Furthermore, ψ is lower semicontinuous. We also recall that whether (H3a) or (H3b) holds, we can always assume (3.4), i.e., that there exists a constant M such that The proof of Proposition 3.2 will rely on the following classical mean value formula, whose proof is recalled in Appendix A for the reader's sake.
As a simple application of this result, we can show for all x ∈ R N and all r ∈ (0, 1). When N = 2, r α is replaced by | log r |r α .
Proof of Lemma 4.2. Observe that we can always assume ψ(x) < ∞, since otherwise (4.1) clearly holds. Next, we recall that W = V + W a where the function V is superharmonic, and thus satisfies for all x and y ∈ R N . Furthermore, the function W a satisfies the condition of Lemma 4.1 due to (H2), and so for all r ∈ (0, 1), where the constant C depends on M. We deduce and Fubini-Tonelli theorem implies Notice that the integral in the left hand side is finite thanks to (H1). The result follows and the N = 2 case is totally analogous.
With the previous Lemma, we can prove the following Corollary that gives important information about the potential function in the support of the local minimizer.

Corollary 4.3. Let μ be an ε-minimizer of the energy E in the sense of Definition 2.1 and assume that (H1), (H2), and (H3) hold. Then any point x 0 ∈ supp(μ) is a local minimizer of ψ = W * μ in the sense that
Proof of Corollary 4.3. Note that (4.1) implies So from (4.3), we conclude that Because the ε does not depend on the choice of x 0 by Remark 2.3, (4.2) easily follows.
Using the previous Corollary we can prove (as a first step toward the continuity of the potential function ψ) that W a * μ is continuous. Proof. Condition (H2) implies that W a ∈ C α loc , so under (H3a), the result is obvious. We can thus assume that only (H3b) holds. The difficulty in that case is to deal with the large values of |x| in the support of μ.
First, we prove that ψ is finite everywhere in the support of μ. Clearly, we have ψ(x) ≥ 0 (since W ≥ 0). Furthermore, given y 0 ∈ supp(μ), using Corollary 4.3 we know that ψ(x) ≥ ψ(y 0 ) in B ε (y 0 ) and we can write: Since y 0 ∈ supp(μ), we have μ(B ε (y 0 )) > 0 and so Now, given x 0 ∈ R N \supp(μ), let R = d(x 0 , supp(μ)), then by (H2) we know that Therefore, by applying the mean-value formula to the subharmonic function ψ + C * |x−x 0 | 2 2N , we obtain Let now y 0 be the closest point in supp(μ) to x 0 . Then proceeding as for Lemma 4.2, we obtain Combining both inequalities we deduce We now want to show that ψ is bounded in and proceeding as above, we deduce and we conclude (using Lemma 4.2) that If supp(μ) ∩ B 2 (x 0 ) = ∅, we note that supp(μ) ∩ B 2 (x 0 ) can be covered by a finite number of balls of size ε: (4.4) implies that there exists a constant C (depending on x 0 of course) such that ψ(y) ≤ C for all y ∈ supp(μ) ∩ B 2 (x 0 ). (4.7) Now, for a given x ∈ B 1 (x 0 ), either B 1 (x) ∩ supp(μ) = ∅ in which case we get (4.6), or d(x, supp(μ)) < 1, in which case we conclude using (4.5) and (4.7). This concludes the proof of the fact that ψ is in L ∞ loc (R N ). To prove the Hölder continuity of W a * μ, we take x and y such that |x − y| ≤ 1, then for all x, z ∈ R N , and using Sobolev embeddings with α = 2 − N p , we get the bound for all x, z ∈ R N (where M is the uniform bound from (H3b)). We thus have In dimension N ≥ 3, using the fact that V (x) ≥ 0, we deduce We can now conclude using the fact that ψ is in L ∞ loc (and (3.5) when N = 2).
We now have everything that we need in order to prove Proposition 3.2 by reproducing Evans's proof for the continuity of the solution of the obstacle problem (see [10] for instance): Proof of Proposition 3.2. Corollary 4.3 implies that ψ is continuous in the support of μ in the following sense: If x k ∈ supp(μ) and x k → x 0 ∈ supp(μ), then ψ(x k ) −→ ψ(x 0 ).
Assume now that we have a sequence x k ∈ R N such that x k → x 0 / ∈ supp(μ). By definition of supp(μ), there exists a ball B r (x 0 ) such that μ(B r (x 0 )) = 0. In particular, the function ψ − W a * μ is harmonic, and thus continuous, in B r/2 (x 0 ). Furthermore, Lemma 4.4 implies that W a * μ is continuous in B r/2 (x 0 ), so ψ is continuous in B r/2 (x 0 ), and lim k→∞ ψ(x k ) = ψ(x 0 ).
We now assume that x 0 ∈ supp(μ) and consider a sequence x k ∈ R N such that x k → x 0 as k → ∞. We can always assume that x k ∈ B ε (x 0 ) for all k. In particular, if x k ∈ supp(μ) then (4.2) implies ψ(x k ) = ψ(x 0 ). So we can consider a subsequence (still denoted x k ) such that This is of course the main step in Evans's Theorem. Since x k ∈ B ε (x 0 ) for all k, (2.3) implies Let y k be the closest point in supp(μ) ∩ B ε/2 (x 0 ) to x k . So (4.2) implies that ψ(y k ) = ψ(x 0 ). We denote δ k = |x k − y k |. Notice that δ k is the distance of x k to supp(μ), and so δ k ≤ |x k − x 0 | → 0. Inequality (4.1) implies Furthermore, since B δ k /2 (x k ) is away from supp(μ), and V (x) = 0 for all x = 0, we deduce by (3.3) in (H2) that is subharmonic, we deduce that Together with (4.8), this implies lim k→∞ ψ(x k ) = ψ(x 0 ), and the result of Proposition 3.2 follows.

Regularity of μ
In this section, we prove the regularity results for ψ and μ stated in Theorems 3.4 and 3.6. For that, we are going back and forth between the regularity of the solution of the obstacle problem (3.7) and the regularity of F = W a * μ. To begin with, we note that Minkowski integral's inequality [53, A.1] and (H3) implies and so F is locally uniformly in L p .

Proof of Theorem 3.4 (i).
If we now assume that (H2) holds with p > N . Then, for all x 0 ∈ supp(μ), we have F ∈ L p (B ε (x 0 )) with p > N , and it is a classical result [36] that the solution of the obstacle problem (3.7) is such that ψ is a function and satisfies Since this is true for all x 0 ∈ supp(μ), we deduce that μ has density ρ and and so ρ is locally uniformly in L p (R N ). By assumption, we know that ρ is compactly supported, then ρ ∈ L p (R N ) and thus, F = W a * ρ ∈ C(R N ) by standard convolution properties since p > N ≥ 2. Using again (5.1) and the compact support of ρ, we deduce that ρ ∈ L ∞ (R N ). This concludes the proof of Theorem 3.4 when (i) holds.

Proof of Theorem 3.4 (ii).
Unfortunately, when p ≤ N (which is the case for kernels of the form |x| q /q when q ≤ 1), inequality (5.1) does not hold, and the argument above cannot be used. We are thus now going to prove the L ∞ regularity of μ under Assumption (ii) of Theorem 3.4.
Since we are assuming that supp(μ) ⊂ B R (0), and we are only interested in the properties of ψ and μ in a neighborhood of supp(μ), it is possible to modify the values of W a outside a ball B 2R (0) without changing the values of μ and ψ in B R as discussed in Sect. 3. We can thus assume that W a has compact support and that W a ∈ W ,1 (R N ) for some > 0.
We will then use the following lemma (with K = W a ): Proof of Lemma 5.1. We note that is the convolution of an L 1 (R N ) function with a C α (R N ) function. We thus have (− ) ε/2 (K * ϕ) ∈ C α (R N ). Standard regularity result for fractional elliptic equation (see [51]) implies K * ϕ ∈ C α+ε (R N ).
We will then rely on the following important result for the regularity of the solution of the obstacle problem in [10]: Proposition 5.2. Let ψ be the solution of the obstacle problem (3.7). Then up to C 1,1 (R N ) the function ψ is as regular as W a * μ. More precisely, we have • If W a * μ has a modulus of continuity σ (r ), then ψ has a modulus of continuity Cσ (2r ). • If ∇W a * μ has a modulus of continuity of σ (r ), then ∇ψ has a modulus of continuity Cσ (2r ).
Using a bootstrap argument and Lemma 5.1, we can now prove Theorem 3.4 when (ii) holds: Proof of Theorem 3.4 (ii). (H2) together with the compact support of W a imply that W a * μ ∈ L p (R N ) and so W a * μ ∈ W 2, p (R N ) for some p > N /2. In particular, we have and Proposition 5.2 implies Since μ = − ψ + W a * μ, we can write As W a ∈ W ε,1 (R N ), we can use Lemma 5.1 to show that A simple bootstrap argument yields that W a * μ and ψ are both in C 1,1 (R N ), and thus that μ has density ρ ∈ L ∞ (R N ).

BV estimate and measure theoretic regularity of the free boundary.
We now prove Theorem 3.6. We note that under the assumption of Theorem 3.6, we have F ∈ W 1,1 loc (R N ) and, for the second part of the statement, we get F(x) = 0 in a bounded open neighborhood of supp(μ).
Under these assumptions, the regularity in BV loc (R N ) of ψ, where ψ solves the obstacle problem (3.7) is a classical result, which implies Theorem 3.6. We will sketch the proof of this result for the reader's sake. The proof that we give below was first proposed by Brezis and Kinderlehrer in [9].
Proof of Theorem 3.6. First, we recall that the solution of the obstacle problem (3.7) can be approximated by the solutions ψ δ of the nonlinear equation and β δ is an increasing function satisfying sβ δ (s) ≥ 0 for all s and such that Here, = B ε (x 0 ) for any point x 0 ∈ supp(μ). It is a classical result, see [9] for instance, that ψ δ converges to ψ locally uniformly in C 1,γ ( ) provided F is in L ∞ ( ) (which we proved in Theorem 3.4). Let now ∂ ∂ξ denote any directional derivative, we are going to show that for any compact set K ⊂⊂ , we have where C does not depend on δ. Taking the limit δ → 0 and using the l.s.c. of the total variation, we deduce that ψ ∈ BV loc ( ), which gives the result. In order to prove (5.3), we differentiate (5.2): Let now χ be a test function in D( ) such that χ ≥ 0 in and χ = 1 in K . We multiply (5.4) by χ sign(∂ ξ ψ δ ) and integrate over to deduce Integrating by parts the left hand side yields Using the fact that sign (s) ≥ 0 for all s, we deduce Furthermore, multiplying (5.2) by (ψ δ − C 0 )χ , it is easy to show that for some constant depending on K but not on δ (using the regularity of F and the fact that ψ δ converges locally uniformly to ψ). We conclude that with C independent of δ. Finally, going back to (5.4), we get and the result follows.
To prove the second part of the Theorem, we note that the function F is almost everywhere equal to the indicator function of the set {ψ = ψ(x 0 )} ∩ B ε (x 0 ). If F is never zero, we deduce that this function is in BV loc , thus proving that {ψ = ψ(x 0 )} ∩ B ε (x 0 ) and supp(μ) ∩ B ε (x 0 ) have finite perimeter. Here, we use (3.9) and, more generally, the fact that if E is a subset of G and |G\E| = 0, then E and G have the same perimeter.

More Singular than Newtonian Repulsion
In this section, we consider kernel that are more repulsive than Newtonian. We remind the reader that we assume that W satisfies (H1) and (H2 s ). Moreover, we consider a ε-local minimizer μ (in the sense of Definition 2.1) such that supp(μ) is compact. We thus have supp(μ) ⊂ B R (0) for some large R. As discussed in Sect. 3, we can cut off the values of W a (x) outside a large ball since those values have no influence on the values of the potential ψ in B R , or on the energy E [μ]. Throughout this section, we can therefore assume (H3 s ) The kernel W a is compactly supported, and there exists a constant M such that where p ∈ ( N 2s , ∞].

Continuity of ψ: Proof of Proposition 3.8.
A key tool in the proof of the continuity of ψ in the Newtonian case was the mean-value formula for Laplace's equation. Fortunately, this formula can be generalized to the fractional Laplace equation (see [51]). However, as usual with fractional powers of the Laplacian, this formula is non local which complicates the proof of Proposition 3.8. For that reason, even though the main ideas are the same as in the proof of Proposition 3.2, we present here the proof of Proposition 3.8 in full details. Our first task is to state this generalized mean-value formula. For that, we recall that V s (x) = c N ,s |x| N −2s is the fundamental solution of (− ) s . Proceeding as in [51], we define the function (we drop the index s for the sake of simplicity) as follows: where the constant A and B are chosen in such a way that be a C 1,1 function. Given λ > 0, we then scale in the following way: Note that the function λ (x) coincides with V s (x) outside of the ball of radius λ. Furthermore, if λ 1 ≤ λ 2 , then λ 1 ≥ λ 2 . Finally, we define Note that γ λ (x) = 1 λ N γ 1 (x/λ). We then have the following result. Lemma 6.1 [51]. (i) If (− ) s u ≥ 0 in , then for all x ∈ and for all 0 < λ < d(x, ∂ ), it holds that 2s , then for all x ∈ R N and for all λ ∈ (0, 1), it holds that C is a constant depending only on N , s and p. We recall the proof of this lemma in Appendix B (for the sake of completeness). Note that the assumption that u be compactly supported is clearly not necessary for such a formula to hold, but u must satisfy some appropriate integrability condition. For our purpose, it is enough to consider this simpler case. We can now prove the continuity of the potential function.
Proof. We can always assume that ψ(x) < ∞ (since otherwise (6.2) clearly holds). We have W = V s + W a , where V s satisfies the conditions of Lemma 6.2(i) and W a satisfies the conditions of Lemma 6.2(ii), so we can write for all x, y ∈ R N × R N and for all λ ∈ (0, 1) where C only depends on N , s and p. Using (6.1), we deduce Note that the integral in the left hand side is finite due to the decay at infinity of V s . The first part of the result follows.
To prove the second part of the lemma, we fix x ∈ R N \supp(μ) and 0 < λ < d(x, supp(μ)) and we consider B = B r 0 (x) the biggest ball around x which is contained in R N \supp(μ) (so r 0 = d(x, supp(μ))). We then define v = C * V s * χ B , which satisfies (− ) s v = C * χ B . Proceeding as in the proof of the mean value formula (see Appendix B), we can write (integration by parts): Letting λ 1 go to zero, we deduce Finally, the scaling of the integral in the left hand side (recall that Hypothesis (H2 s ) implies in particular that (− ) s ψ ≤ C * in R N \supp(μ) and so which is exactly (6.3). Lemma 6.4. Assume that W satisfies (H1), (H2 s ), and (H3 s ). Then the potential function ψ = W * μ is bounded below in R N .
Proof. Clearly, we have ψ − W a * μ = V s * μ ≥ 0, so ψ ≥ W a * μ. Furthermore (H2 s ) and (H3 s ) implies that W a is continuous and compactly supported, and thus bounded. The result follows.
Using the previous lemmas we can now prove the following consequences.
We can finally prove the first main result of this section: The continuity of the potential ψ. As for the Newtonian case, the proof follows essentially Evans proof for the continuity of the solution of the obstacle problem, which was adapted to the fractional case by Silvestre [51].
Proof of Proposition 3.8. First, we consider a sequence x k ∈ R N such that x k → x 0 / ∈ supp(μ). By definition of supp(μ), there exists a ball B r (x 0 ) such that μ(B r (x 0 )) = 0. We can thus write and we can always assume that x k ∈ B r/2 (x 0 ) (for k large enough). Hypothesis (H2 s ) implies that W (x) is continuous in {x ∈ R N ; |x| ≥ r/2} and due to (H3 s ) W is compactly supported, so This proves the continuity of ψ outside of supp(μ).
We now fix x 0 ∈ supp(μ) and consider a sequence x k ∈ R N such that x k → x 0 as k → ∞. We can always assume that x k ∈ B ε (x 0 ) for all k. In particular, if x k ∈ supp(μ) then (6.5) implies ψ(x k ) = ψ(x 0 ), and so once again lim k→∞ ψ(x k ) = ψ(x 0 ). So as in the Newtonian case, we are reduced to considering a subsequence (still denoted x k ) such that Since x k ∈ B ε (x 0 ) for all k, (6.4) implies For all k let y k be the closest point to x k which is in supp(μ) ∩ B ε/2 (x 0 ). Again, for k large enough, we can assume that y k ∈ B ε (x 0 ) and so (6.5) implies that ψ(y k ) = ψ(x 0 ). We denote δ k = |x k − y k |. Note that δ k is the distance of x k to supp(μ) for k large enough, and so δ k ≤ |x k − x 0 | → 0. Inequality (6.2) implies Let us define now where e is any unit vector. The infimum is achieved and it is positive, because lim |x|→∞ Furthermore, by symmetry of γ it does not depend on the choice of e. Setting e = x k −y k δ k , we obtain We now use (6.2) and (6.3) to write, for k large enough, where Using (6.7) and the fact that ψ(y) ≥ ψ(x 0 ) in B √ δ k (y k ), for k large enough, we get here we used the fact that γ λ has unit mass for all λ. Making the change of variable z = y−y k δ k and using the notation e = y k −x k δ k , we find Now we turn to I 2 . Using (6.7) and Lemma 6.4, we get Combining all the above estimates, we conclude that, for k large enough, We deduce which, together with (6.6), implies and completes the proof.

Regularity of the density function.
In order to apply known regularity results for the fractional obstacle problem (as found, for instance, in [51]), we need to show that ψ solves a fractional obstacle problem in the whole of R N . It is possible to do this as follows: The set supp(μ)+B ε/4 = {x +y ; x ∈ supp(μ), y ∈ B ε/4 (0)} is an open set in B R+1 (0). In particular, it is the countable union of its connected components A i . Furthermore, since supp(μ) is compact, there are only finitely many For all i, any two points x 1 , x 2 in supp(μ) ∩ A i will satisfy ψ(x 1 ) = ψ(x 2 ), by the minimality of the connected component and Corollary 6.5. We define D i = supp(μ)∩ A i , we denote C i = ψ| D i and we consider a smooth function f such that We can find such smooth function, because D i are at least separated ε/4 from each other, and if they are closer than ε then the constant C i has to match because of Corollary 6.5. The potential function ψ then solves the following obstacle problem in R N : Using this obstacle problem formulation, we can use the following proposition which is the fractional analog of Proposition 5.2 (See Silvestre [51]): Proposition 6.6. Let ψ be the solution of the obstacle problem (6.8). If f ∈ C 2 (R N ) and W a * μ is in C β (R N ) with β > 0. Then ψ ∈ C α (R N ) for every α < min(β, 1 + s) (with the notation C α = C 1,α−1 if α > 1).
Proof of Theorem 3.10. We can now prove our main result by proceeding as in the proof of Theorem 3.4 (ii): First, (H2 s ) implies that (− ) s W a * μ ∈ L p with p > N 2s and so W a * μ ∈ C α (R N ) for α = 2s − N p . Proposition 6.6 implies that ψ ∈ C α . Since μ = (− ) s ψ − (− ) s W a * μ, we can write Using the fact that (− ) s W a ∈ W ε,1 (R N ) and Lemma 5.1, this implies that We iterate this argument until we get that W a * μ ∈ C 1,s (R N ), which then implies (by Proposition 6.6) that ψ ∈ C 1,γ (R N ) for all γ < s.

Uniqueness: Proof of Theorem 3.12
We now turn to the proof of our uniqueness result when W a = K |x| 2 . We assume that μ 0 ∈ P(R N ) is d 2 local minimizer of E, and we recall (see comment before Theorem 3.12) that such a minimizer is compactly supported. We will only prove the result for potential satisfying (H2s), since the Newtonian case is easier.
From our work in the previous section, we know that μ 0 = ρ 0 dL N where ρ 0 is a continuous function. Furthermore, we recall that for d 2 -minimizers, the constant C i is the same on all connected component of supp(μ 0 ) (and equal to 2E[μ 0 ]). We deduce for some constant C.
By translational invariance, we can always assume that the center of mass of μ 0 is zero, and so Finally, using the fact that ρ 0 ∈ L ∞ (R N ) and that ρ 0 has compact support, it is easy to see that h(x) → 0 as |x| → ∞. Hence, h solves the following fractional obstacle problem in R N : for some constant C > 0. By Theorem 3.1 in [16], we know that for any given C > 0 (7.1) has a unique solution ϕ C . Furthermore, this solution is radially symmetric and satisfies the scaling property: In particular, the function Therefore, there is a unique C 0 > 0 for which ρ C 0 has unit mass. It follows that ρ 0 = ρ C 0 , which implies the uniqueness of ρ 0 and the fact that it is radially symmetric.
In the Newtonian case, one can also show that the coincidence set is a ball, by using the maximum principle. The case involving the fractional Laplacian is harder to characterize due to the non-locality of the problem.

A different proof in the Newtonian case.
In this section, we give an alternative proof of the uniqueness of global minimizer in the Newtonian case. To simplify the notations, we assume that W = V + |x| 2 2N . In particular, we have F(x) = 1 and so minimizers of our energy (global or local) are of the form μ 0 = χ dL N with | | = 1. Using translation invariance, we can further assume that μ 0 has zero center of mass.
Next, we use a simple scaling argument to derive an important relation: Consider the dilation maps T λ : R N → R N defined by T λ (x) = λx with λ > 0. Given any μ ∈ P(R N ), we define μ λ = T λ #μ. Using the fact that the (Newtonian) repulsive and (quadratic) attractive parts of the potential W scale differently, we can re-write the energy of μ λ in the following way: Using this identity, we can rewrite the energy for μ 0 as It remains to see that this implies that μ 0 = χ B m where B m is the ball centered at 0 with |B m | = 1. This follows from the following two facts: 1. Among all sets of unit area and zero center of mass, the unique minimizer of The second point is proved in [27], and it follows from the fact that χ B m is a d 2 -local minimizer of E under dilation.
In order to prove the first point, we consider any measurable set with zero center of mass and measure 1, and we decompose it as = a ∪ b with a = ∩ B m and b = / a . Take the set B a = B m / a . Since |B m | = | | = 1, we must have | b | = |B a |. If |B a | = | b | > 0, then we have Note that if μ 0 is a d 2 -local minimizer (rather than a global minimizer) with zero center of mass, we still have that μ 0 = χ dL N with | | = 1, and (7.3) still holds. Furthermore, if is not the ball B m , we can show that by moving a small amount of mass to a small ball in B m \ , we obtain a set such that χ is close to χ in the d 2 topology and However, since χ might not satisfy (7.3), so we cannot derive a contradiction. Therefore, this proof only applies to global minimizer, and we note that the fact that the measure μ 0 = χ B m satisfies (7.3) is really essential.

A. Mean Value Formula
For the sake of completeness, we recall here the derivation of the mean-value formula (Lemma 4.1). We recall that V (x) denotes the fundamental solution of the Laplace equation, and we remove the singularity at x = 0 by gluing a paraboloid to V in the ball of radius 1. More precisely, we define a C 1,1 (R N ) function by Given λ > 0, also introduce λ = 1 λ N −2 ( x λ ). We note that the function λ coincides with V (x) outside of the ball of radius λ. Furthermore, if λ 1 ≤ λ 2 , then λ 1 ≥ λ 2 . Finally, we note that − λ is an approximation of the identity. In fact, we have − λ = 1 |B λ | χ B λ . Using these facts, we can now prove Lemma 4.1: Proof of Lemma 4.1. Take x ∈ B R and 0 < λ 1 < λ 2 < 1, then λ 1 − λ 2 is C 1,1 (R N ) and compactly supported on the ball of radius λ 2 . Using Hölder inequality we get R N u(x + y)( λ 1 (y) − λ 2 (y))dy ≤ || u|| L p (B 1 (x)) || λ 1 − λ 2 || L q (B λ 2 ) .
Integrating by parts the left hand side also gives u(y)dy and so Using the monotonicity of λ with respect to λ, we have where a simple computation yields | log r | q r dr ≤ | log λ 2 | q λ 2 2 when N = 2. We deduce that u(y)dy − Cλ α 2 with α = 2 − N p when N ≥ 3 (and the corresponding inequality when N = 2). Finally, taking λ 1 → 0 using the continuity of u (given by Sobolev's embedding theorems), we obtain the desired result.
Remark A.1. If we can assure that u(x) ≥ lim r →0 + 1 |B r | B r (x) u(y)dy for every x, then we can replace the hypothesis of u ∈ L p loc (R N ), by ( u) + ∈ L p loc (R N ).
If (− ) s u ≥ 0 in , then the integrand in the left had side is always non-negative and we immediately deduce u * γ λ 1 (x) ≥ u * γ λ 2 (x).
Taking the limit λ 1 → 0 (using the upper semi-continuity of u), we obtain which is the first part of the lemma.
Finally, a simple computation yields for some constant C depending only on N , s and q. We conclude that which is the desired result.