## THE VANISHING DISCOUNT PROBLEM FOR HAMILTON-JACOBI EQUATIONS IN THE EUCLIDEAN SPACE

## HITOSHI ISHII ∗ AND ANTONIO SICONOLFI

Abstract. We study the asymptotic behavior of the solutions to a family of discounted Hamilton-Jacobi equations, posed in R N , when the discount factor goes to zero. The ambient space being noncompact, we introduce an assumption implying that the Aubry set is compact and there is no degeneracy at infinity. Our approach is to deal not with a single Hamiltonian and Lagrangian but with the whole space of generalized Lagrangians, and then to define via duality minimizing measures associated to both the corresponding ergodic and discounted equations. The asymptotic result follows from convergence properties of these measures with respect to the narrow topology. We use as duality tool a separation theorem in locally convex Hausdorff spaces, we use the strict topology in the space of the bounded generalized Lagrangians as well.

## Contents

| 1.               | Introduction                                               | Introduction                                               |   2 |
|------------------|------------------------------------------------------------|------------------------------------------------------------|-----|
| Acknowledgements | Acknowledgements                                           | Acknowledgements                                           |   3 |
| 2.               | Setting                                                    | Setting                                                    |   4 |
| 3.               | Maximal subsolutions of (DP)                               | Maximal subsolutions of (DP)                               |   5 |
| 4.               | Ergodic equation                                           | Ergodic equation                                           |   9 |
| 5.               | Localization results                                       | Localization results                                       |  12 |
| 6.               | Generalized Lagrangians and narrow convergence of measures | Generalized Lagrangians and narrow convergence of measures |  15 |
| 7.               | Mather measures for the discounted equation                | Mather measures for the discounted equation                |  17 |
| 8.               | Mather measures for the ergodic equation                   | Mather measures for the ergodic equation                   |  23 |
| 9.               | Properties of Mather measures                              | Properties of Mather measures                              |  25 |
| 10.              | Asymptotic results                                         | Asymptotic results                                         |  28 |
| 11.              | Mather set                                                 | Mather set                                                 |  30 |
| Appendix A.      | Appendix A.                                                | Weak KAM facts                                             |  32 |
| Appendix B.      | Appendix B.                                                | Strict topology                                            |  33 |
| Appendix C.      | Appendix C.                                                | Separation theorem                                         |  34 |
| References       | References                                                 |                                                            |  34 |

Key words. vanishing discount problem, Hamilton-Jacobi equations, ergodic problem. AMS subject classifications. 35B40, 35F21, 37J99, 49L25

The work of HI was partially supported by the JSPS grants: KAKENHI #16H03948, #18H00833 and the NSF Grant No. 1440140 and the work of AS was partially supported by Fondo Ateneo 2017-Universit` a di Roma 'La Sapienza' and the NSF Grant No. 1440140.

∗ Corresponding author.

## 1. Introduction

We study the asymptotic behavior, as the discount factor λ &gt; 0 goes to 0, of the viscosity solutions to the Hamilton-Jacobi equations

$$\lambda \, u + H ( x, D u ) = c$$

posed in the Euclidean space R N . Here c is the so-called critical value defined as

$$c = \inf \{ a \ | \ H = a \text{ admits substitutions in } \mathbb { R } ^ { N } \}.$$

Under our assumption this quantity is actually finite and is a minimum.

Our output provides an extension to the noncompact setting of the selection principle, first established in the compact case in [7]. It asserts that the whole family of solutions of the discounted problems, which are uniquely solved if the ambient space is compact, converges to a distinguished solution of the ergodic limit equation

$$H ( x, D u ) = c.$$

The latter has instead multiple solutions, parametrized by the Aubry set, denoted by A , which is, roughly speaking, the set of points where is concentrated the obstruction of getting subsolutions to H = a , for a &lt; c , see Appendix A.

We assume the Hamiltonian H x,p ( ) from R N × R N to R to be continuous in both arguments, and convex, coercive in the momentum variable, locally uniformly in x . Since H can be modified for p of large norm, without affecting the analysis, a superlinear growth as | p | → + ∞ , can be in addition postulated without loss of generality, see Proposition 3.6. A Lagrangian denoted by L , can be then defined via Fenchel transform.

We have one more key condition, see (A3)/(A3'), to specifically deal with the lack of compactness of the ambient space. It implies that the Aubry set is nonempty, compact and that the intrinsic distance associated to H = , see Appendix A, is equivalent to the c Euclidean one at infinity. Loosely speaking, the latter condition means that there is no Aubry set at infinity. In the case where the Hamiltonian is of the form

$$H ( x, p ) = | p | - f ( x ) \quad \text{ with } f \text{ continuous potential}$$

this corresponds requiring the infimum of f to be not attained at infinity.

Under our assumption, due to the noncompactness, either of the discounted equations does not anymore single out a unique solution, see example in Section 3, and the Aubry set fails to be a uniqueness set for the critical equation.

This fact leads to single out a special type of solutions to the critical equation in R N , named weak KAM solutions, and defined as the functions u for which

$$u ( x ) = \min \{ u ( y ) + S _ { 0 } ( y, x ) \ | \ y \in \mathcal { A } \} \quad \text{for any } x,$$

where S 0 is the intrinsic (semi)distance associated to the critical equation. In our setting they are characterized among all the critical solutions, see Theorem 4.7, by the property of being bounded from below. By definition A is then an uniqueness set for the weak KAM solutions.

Regarding the discounted equations, we consider the maximal solution obtained as the pointwise supremum of the family of all subsolutions. they possess, like the weak KAM solutions, the crucial property of being bounded from below, see Section 3.

Our main result can therefore be stated as follows:

Theorem The whole family of maximal solutions to the discounted equations converges locally uniformly to a distinguished weak KAM solution of the limit ergodic equation.

As in [7], we derive the asymptotic behavior of solutions from weak convergence of suitable associated measures. Our method however is rather different. The relevant measures are not defined as occupational measures on curves, and we seldom employ representation formulae for solutions or properties of curves in the space of state variable.

Our approach instead relies on some functional analysis and appropriate duality principles between spaces of generalized Lagrangians and spaces of measures. We define in this way minimizing measures, named after Mather, associated to both the ergodic and discounted equations.

For the ergodic equation, they coincide with the classical Mather measures given when the Hamiltonian is in addition Tonelli and the ambient space compact. We also recover the relevant property that the closure of the union of the supports of such measures is an uniqueness set for the weak KAM solutions, see Section 11.

Our procedure is close in spirit to Evans interpretation of Mather theory in terms of complementarity problems, see [8], [9], and also [11]. We think that this alternative approach is interesting per se and can handle to extend the asymptotic result to more general setting, for instance in the case of fully nonlinear second order equations (see [13] for such generalizations).

The idea of performing some duality between generalized Lagrangians and measures, in order to study the asymptotic of solution to discounted equations, has been introduced in [13]. The authors however use as duality tool the Sion minimax Theorem, while we instead employ a separation result for convex subsets in locally convex Hausdorff space, see Appendix B.

It implies that the normal cone at any element of the boundary of a convex set with nonempty interior has nonzero elements. We actually find the Mather measures as elements, up to change of sign, of the normal cone at L of suitable convex sets in the space of generalized Lagrangians. We need for this an appropriate topological frame.

We consider the space of bounded continuous functions from R 2 N to R N equipped with the so-called strict topology, see Appendix B. In this case a nice generalization of Riesz representation theorem holds true, namely the topological dual is the space of signed Borel measures with bounded variation with the narrow topology as corresponding weak star topology.

To implement our method, some effort has been put into constructing convex subsets of the space of bounded generalized Lagrangians with nonempty interior and L ∧ M as boundary point, for suitable constants M . To this aim, we have preliminarily proved some localization results for both the ergodic and discounted equations, see Section 5 and Propositions 7.3, 8.2.

## Acknowledgements

The first author thanks the Department of Mathematics at the Sapienza University of Rome for its financial support and warm hospitality while his visits (May 2018 and May 2019). The authors thank the Department of Mathematics at Nanjing University for its financial support and kind hospitality while they were visiting there (July 2018) and also thank the Mathematical Sciences Research Institute in Berkeley for its financial support and warm hospitality while their visit (HI: October 2018, AS: September-December 2018).

## 2. Setting

Given R &gt; 0, we denote by B R the open ball of R N or R N × R N centered at 0 with radius R , we write insead B x , R ( 0 ) if the center is at x 0 . Given two elements x , y of R N , we write x · y to indicate their scalar product. For any subset E of a topological space, we denote by E , int E ∂E , its closure interior and boundary, respectively. If u is a locally Lipschitz continuous function from R N to R we define its (Clarke) generalized gradient at some point x via

$$\partial u ( x ) = \cos \{ \lim _ { i } D u ( x _ { i } ) \ | \ x _ { i } \to x, \ x _ { i } \text{ differentiability points of } u \}$$

where co stands for convex hull.

We consider an Hamiltonian H : R N × R N → R satisfying the following conditions

$$( A 1 ) \quad \ H \in C ( \mathbb { R } ^ { N } \times \mathbb { R } ^ { N } ).$$

H is convex and coercive, that is, for any x ∈ R , the function H x, ( · )

$$( A 2 ) \quad & \quad H \text{ is convex and coercive, that is, for any } x \in \mathbb { R } ^ { N }, \text{ the funct} \\ & \quad \text{is convex in } \mathbb { R } ^ { n } \text{ and for any } R > 0, \\ \quad \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \,.$$

$$\lim _ { R \to \infty } \inf \{ H ( x, p ) \, | \, x \in B _ { R }, \ p \in \mathbb { R } ^ { N } \, \sum B _ { R } \} = + \infty.$$

$$\text{There exists } \varepsilon > 0 \text{ such that} \\ ( A 3 ) \text{ \quad } \lim \sup \max _ { \varepsilon } H ( x, p )$$

$$| x | \rightarrow + \infty$$

$$\lim _ { | x | \to + \infty } \sup _ { p \in B _ { e } } \max _ { p \in B _ { e } } H ( x, p ) < \max _ { x \in \mathbb { R } ^ { N } } \min _ { p \in \mathbb { R } ^ { N } } H ( x, p )$$

We further consider the discount problem for the Hamilton-Jacobi equation

$$\lambda u + H ( x, D u ) = c \ \text{ in } \ \mathbb { R } ^ { N },$$

and the associated ergodic problem

$$H ( x, D u ) = c \quad \text{in } \mathbb { R } ^ { N },$$

where λ &gt; 0 is a given constant, and

$$( 1 ) & & c = \inf \{ a \, | \, H ( x, D u ) = a \, \text{ admits submissions in } \mathbb { R } ^ { N } \}$$

is the so-called critical value of H . We will show that in our setting it is finite and is actually a minimum. Here and in what follows, the terms solutions, subsolutions, and supersolutions of Hamilton-Jacobi equations must be understood in the viscosity sense. We henceforth suppress the adjective word viscosity . We record for later use a weaker version of (A3):

$$( A 3 ^ { \prime } ) \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
 \quad ( A 3 ^ { \prime } ) \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
 \quad \quad ( A 3 ^ { \prime } ) \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
 <!-- End of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of the series of whether the series of whether the series of whether the series of whether the series of whether the series of whether the series of whether the series of whether the series of whether the series of whether whether the series of whether whether the series of whether whether the series of whether whether the series of whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether when whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whetherwhether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether default whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether Whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether otherwise whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether whether$$

$$\lim _ { | x | \to + \infty } \max _ { p \in B _ { \epsilon } } H ( x, p ) < \epsilon$$

$$< c.$$

It is clear that the critical value is greater than or equal to the right hand-side of (A3). The advantage of the formulation (A3) is that that the quantity in the right hand-side is observable for any given Hamiltonian while the critical value could be in general not easy to compute.

We can assume by normalization that c = 0 and, consequently, the ergodic problem is stated as

$$H [ u ] & = 0 \quad \text{in } \mathbb { R } ^ { n }.$$

Here we mean that the problems involving the Hamiltonian H are normalized so as to c when H is replaced by H -c . Note that if H satisfies (A1)-(A3) and c ∈ R , then H -c satisfies (A1)-(A3) as well. We interpret (DP) as an approximation procedure for (EP) when λ is sent to 0.

The first author studied, under assumptions to be compared with (A1)-(A3), the large time behavior of the Hamilton-Jacobi equation in R N in [12].

Condition (A3) implies:

Proposition 2.1. Assume that u is a subsolution of H u [ ] = a for some a ∈ R and K a compact subset of R N . Then there exists a subsolution of the same equation, constant outside some compact subset, coinciding with u on K .

Proof. Due to (A3) and H = a admitting subsolutions, we have

$$a > \lim _ { | x | \to + \infty } \sup _ { p \in B _ { \varepsilon } } \max _ { p \in B _ { \varepsilon } } H ( x, p ) \quad \text{for some } \varepsilon > 0,$$

we can therefore take a compact subset C with

We set φ x ( ) = - | | ε 2 x and select b &gt; 0 with min C ( φ + ) b &gt; max C u . Because of the definition of C , the function

$$\text{ke a compact subset $C$ with} \\ \text{int $C\supset K\cup\left\{x|\max_{p\in B_{e}}H(x,p)\geq a\right\}$}. \\ | x | \text{ and select $h>0$ with $\min_{\sigma(b+b)\ >\max_{\sigma}$} }$$

$$v = \min \{ \phi + b, u \}$$

is a subsolution of H = a with v = u on K and

$$\lim _ { | x | \to + \infty } v = - \infty.$$

The function satisfies the assertion.

$$\stackrel { \infty } { \longrightarrow } \stackrel { \infty } { \longrightarrow } \stackrel { \infty } { \longrightarrow }$$

## 3. Maximal subsolutions of (DP)

The first result of the section is

Proposition 3.1. The family of subsolutions to (DP) is locally equibounded from above, when λ varies in (0 , + ∞ ) .

A lemma is preliminary

Lemma 3.2. For each R &gt; 0 , there exist a constant C R &gt; 0 and a function ψ R ∈ C 1 ( B R ) such that

$$H [ \psi _ { R } ] > - C _ { R } \quad i n \ B _ { R }, \ \ a n d \ \lim _ { | x | \to R ^ { - } } \psi _ { R } ( x ) = + \infty.$$

Proof. Fix R &gt; 0 and choose a function ψ R ∈ C 1 ( R N ) so that

$$\lim _ { | x | \to R ^ { - } } \psi _ { R } ( x ) = + \infty \text{ \ and \ } \lim _ { | x | \to R ^ { - } } | D \psi _ { R } ( x ) | = + \infty.$$

Observe that

$$w _ { 0 } = \max \{ v, \min _ { C } u \},$$

↦

$$x \mapsto H ( x, D \psi _ { R } ( x ) )$$

is continuous on B R and that

It is now obvious that

↦

$$x \mapsto H ( x, D \psi _ { R } ( x ) )$$

has a minimum in B R . Thus, for some constant C R &gt; 0,

$$H ( x, D \psi _ { R } ( x ) ) \geq - C _ { R } \quad \text{in } \ B _ { R }.$$

/square

Proof of Proposition 3.1. Let u be any subsolution of (DP), for some λ &gt; 0. Fix R &gt; 0. According to Lemma 3.2, there are a function ψ ∈ C 1 ( B R ) and a constant b &gt; 0 such that

$$H ( x, D \psi ( x ) ) \geq - b \quad \text{for } x \in B _ { R } \ \text{ and } \ \lim _ { | x | \to R ^ { - } } \psi ( x ) = + \infty.$$

By adding a constant to ψ if necessary, we may assume that ψ ≥ 0 in B R .

Set

$$v ( x ) = \psi ( x ) + \lambda ^ { - 1 } \, b \quad \text{ for } x \in B _ { R },$$

and note that

$$\lambda v ( x ) + H ( x, D v ( x ) ) \geq \lambda \, \lambda ^ { - 1 } \, b - b = 0 \quad \text{ for } \ x \in B _ { R }.$$

We prove that

$$u \leq v \quad \text{ in } \ B _ { R }.$$

By contradiction, we suppose that sup B R ( u -v ) &gt; 0. Since

$$\lim _ { | x | \to R ^ { - } } ( u - v ) ( x ) = - \infty,$$

the function u -v has a maximum point at some x 0 ∈ B R and hence, by the viscosity property of u

$$\lambda u ( x _ { 0 } ) + H ( x _ { 0 }, D \psi ( x _ { 0 } ) ) \leq 0$$

which yields, since u x ( 0 ) &gt; v x ( 0 )

$$\lambda v ( x _ { 0 } ) + H ( x _ { 0 }, D \psi ( x _ { 0 } ) ) \leq 0.$$

contradicting (2).

From (3), we get

$$u ( x ) \leq v ( x ) \leq \lambda ^ { - 1 } b + \| \psi \| _ { \infty, B _ { R / 2 } } \quad \text{ for all } \, x \in B _ { R / 2 }.$$

This gives the assertion.

/square

In view of the Perron method and (A2), we directly derive:

Theorem 3.3. There exists, for each λ &gt; 0 , a maximal viscosity solution u λ of (DP) , which is locally Lipschitz continuous.

From now on, we denote by u λ , for any λ &gt; 0, the maximal (sub)solution of (DP).

Lemma 3.4. The functions u λ are equibounded from below in R N , for λ &gt; 0

$$\lim _ { | x | \to R ^ { - } } H ( x, D \psi _ { R } ( x ) ) = + \infty.$$

Proof. By Proposition 2.1 there exists a compactly supported subsolution w of (EP). Let b &gt; 0 an upper bound of | w x ( ) | in R N , then the nonpositive function w -b is a subsolution of (DP), for any λ &gt; 0. By the maximality of u λ among the subsolutions of (DP), we conclude that u λ ≥ w -b ≥ -2 b in R N . /square

Here we digress slightly from the streamline and consider an example where N = 1 and H x,p ( ) = | p | - | x | for ( x, p ) ∈ R 2 . By solving the equations

$$\lambda u ( x ) + u ^ { \prime } ( x ) = x \text{ \ and \ } \lambda u ( x ) - u ^ { \prime } ( x ) = x \text{ \ \ for } x > 0,$$

where λ &gt; 0, we easily see that the functions

$$u _ { + } ( x ) \coloneqq \frac { | x | } { \lambda } + \frac { 1 } { \lambda ^ { 2 } } ( - 1 + e ^ { - \lambda | x | } ),$$

and

$$\sup _ { \substack { \mathcal { m } - \mathcal { m } \\ \mathcal { m } } } u _ { C } ( x ) \coloneqq \frac { | x | } { \lambda } + \frac { 1 } { \lambda ^ { 2 } } ( 1 - C e ^ { \lambda | x | } ),$$

with C ≥ 1, are solutions of

$$\lambda u ( x ) + | u ^ { \prime } ( x ) | = | x | \text{ \ in } \mathbb { R }.$$

We can prove the following uniqueness claim: if u is a solution of (4) that satisfies

$$\liminf _ { | x | \to \infty } ( u ( x ) + \delta e ^ { \lambda | x | } ) > 0 \text{ \ for all } \delta > 0,$$

then u = u + . In particular, we have u λ = u + in this example. That is, the maximal solution u λ of (4) is characterized as the unique solution of (4) that satisfies (5). This example tempts us to conjecture that, in our standing assumptions, the maximal solution u λ is a 'unique' solution of (DP) that is bounded from below. The authors are not able to show the uniqueness of those solutions of (DP) that are bounded from below.

A brief idea to check the uniqueness claim above is that if u is a solution of (4) and (5), then consider the function

$$w ( x ) \coloneqq ( 1 - \delta ) u _ { + } ( x ) - \delta e ^ { \lambda | x | } \ \text{ on } \mathbb { R }$$

for small δ ∈ (0 , 1), observe that w is a subsolution of (4) and

$$\lim _ { | x | \to \infty } \sup ( w ( x ) - u ( x ) ) = - \infty,$$

and apply a standard comparison theorem in a large interval [ -R, R ], to see that w ≤ u in R , which implies in the limit as δ → 0 that u + ≤ u . Observing by (4) that u x ( ) ≤ | x /λ | for all x ∈ R , we may repeat an argument, parallel to the above, with w and u replaced by (1 -δ u ) -δe λ x | | and u + , respectively, to conclude that u ≤ u + .

Proposition 3.5. The family u λ , for λ &gt; 0 , is relatively compact in C ( R N ) .

Proof. We already know from Proposition 3.1 and Lemma 3.4 that the u λ are locally equibounded. This implies that for any R &gt; 0 there exists a constant b R with

$$H [ u _ { \lambda } ] \leq b _ { R } \quad \text{in } B _ { R }, \text{ for any } \lambda > 0.$$

Taking into account the coercivity condition (A2), we derive from the above inequality that the u λ are equiLipschitz-continuous in B R , for any R &gt; 0. This concludes the proof. /square

We derive from the previous results on maximal solutions of (DP):

Proposition 3.6. There exists an Hamiltonian H satisfying (A1) , (A2) , (A3) plus such that in addition the subsolutions of the equations (EP) and ˜ H u [ ] = 0 are the same, and u λ is the maximal subsolution to λu + ˜ H u [ ] = 0 for any λ &gt; 0 . Proof. We set

$$& \text{Proposition 3.6. There exists an Hamiltonian $\widetilde{H}$ satisfiesfiging (A1), (A2), (A)$} \\ & ( 6 ) & \lim _ { | p | \to + \infty } \frac { \widetilde { H } ( x, p ) } { | p | } = + \infty \quad \text{ for any } x \in \mathbb { R } ^ { N } \\ & \text{such that in addition the subsolutions of the equations (EP) and $\widetilde{H} [u] = 0$ } \text{ a}$$

$$b = \max _ { x \in \mathbb { R } ^ { N } } H ( x, 0 ) \geq 0,$$

this maximum does exist in force of (A3). The function u ≡ -b λ is subsolution to (DP) for any λ &gt; 0, so that λu λ ≥ -b , and accordingly

$$0 \geq \lambda \, u _ { \lambda } + H [ u _ { \lambda } ] \geq - b + H [ u _ { \lambda } ].$$

We define

˜ H x,p ( ) = H x,p ( ) + ( 0 ∨ ( H x,p ( ) -b ) ) 2 by exploiting the property that the square of any coercive nonnegative convex function from R N to R is convex with superquadratic growth at infinity, we see that ˜ H satisfies (A1), (A2), (6). Regarding property (A3), we have that

$$\min _ { p } H ( x, p ) \leq H ( x, 0 ) \leq b \quad \text{ for any } x \in \mathbb { R } ^ { N }$$

which implies

$$\max _ { x \in \mathbb { R } ^ { N } } \min _ { p \in \mathbb { R } ^ { N } } H ( x, p ) = \max _ { x \in \mathbb { R } ^ { N } } \min _ { p \in \mathbb { R } ^ { N } } \widetilde { H } ( x, p )$$

Moreover

$$\begin{matrix} \widetilde { H } ( x, p ) \\ \\ \vdots \vdots \vdots \vdots \end{matrix}.$$

$$\max _ { p \in B _ { \varepsilon } } H ( x, p ) \leq 0 \leq b \quad \text{when $|x|$ is large enough}$$

so that

$$& ( 9 ) \lim _ { | x | \to + \infty } \sup _ { p \in B _ { \epsilon } } \max _ { p \in B _ { \epsilon } } H ( x, p ) = \lim _ { | x | \to + \infty } \sup _ { p \in B _ { \epsilon } } \max _ { p \in B _ { \epsilon } } \widetilde { H } ( x, p ) \\ & \text{where } \varepsilon \text{ is the same constant appearing in } ( A 3 ). \text{ We deduce from } ( 8 ), ( 9 ) \text{ tha}$$

where ε is the same constant appearing in (A3). We deduce from (8), (9) that condition (A3) holds for ˜ H . Since b ≥ 0, we have that { ( x, p ) | H x,p ( ) ≤ 0 } = { ( x, p ) | ˜ H x,p ( ) ≤ 0 } . This implies that 0 is the critical value for ˜ H and the equations H u [ ] = 0, ˜ H u [ ] = 0 have the same subsolutions. Further, due to ˜ H ≥ H , any subsolution of λu + ˜ H u [ ] is also subsolution to (DP), which implies that the maximal subsolution to λu + ˜ H u [ ] = 0 is less than or equal to u λ . On the other side, since by (7)

/square

H x,Du ( λ ( x )) = ˜ H x,Du ( λ ( x )) for a.e. x the function u λ itself is subsolution to λu + ˜ H u [ ] = 0. This implies that u λ is indeed the maximal subsolution to λu + ˜ H u [ ] = 0, ending the proof. 8

The above result allows us to assume, without any loss of generality, that superlinear growth property in (6) holds true for H . We can therefore define via Fenchel transform the corresponding Lagrangian

$$L ( x, q ) = \max _ { p } p \cdot q - H ( x, p )$$

which is convex and coercive in q . In addition, we have for any R &gt; 0, x ∈ B R

$$L ( x, q ) \geq R \, | q | - H ( x, R \, | q | ^ { - 1 } \, q ) \geq R \, | q | - \sup _ { ( x, p ) \in B _ { R } \times B _ { R } } H ( x, p )$$

which shows that

$$\lim _ { | q | \to + \infty } \inf _ { x \in B _ { R } } \frac { L ( x, q ) } { | q | } = + \infty \quad \text{ for any } R > 0.$$

We moreover deduce from (A3) that there is a compact subset K ⊂ R N and positive constants δ 0 , M 0 such that

$$L ( x, q ) \ \geq \ \delta _ { 0 } \, | q | - H ( x, q \, | q | ^ { - 1 } \, \delta _ { 0 } ) \geq \delta _ { 0 } \, | q |$$

$$L ( x, q ) \ \geq \ - H ( x, 0 ) \geq M _ { 0 } > 0$$

/negationslash for x ∈ K , any q ∈ R N .

## 4. Ergodic equation

Lemma 4.1. The definition of critical value in (1) is well posed, the critical value is finite and is actually a minimum.

Proof. By assumption (A3), H , ( · 0) attains a maximum in R N . If a ≥ max R N H x, ( 0), then H u [ ] = a admits any constant function as subsolutions. This implies that the set in the right hand side of (1) is nonempty. On the other side, if a &lt; min p H x,p ( ) for some x ∈ R N , then H u [ ] = a does not admit any subsolution, which shows that the critical value is finite. Finally it is a minimum by standard stability properties of viscosity subsolutions. /square

We recall that we assume throughout the paper that the critical value is 0.

Proposition 4.2. There exists a solution to

$$H [ u ] = 0 \quad i n \, \mathbb { R } ^ { N }.$$

Proof. As already pointed out, there exists a subsolution to H u [ ] = 0 in R N . This implies that the intrinsic distance S 0 is finite. We use the usual covering argument, see [16, Theorem 3.3] plus existence of subsolution going to -∞ and Proposition 2.1 to show there exists y ∈ R N such that S 0 ( · , y ) is a solution to H u [ ] = 0 in R N . /square

Proposition 4.3. The Aubry set A is a nonempty compact subset of R N .

Proof. The argument of Proposition 4.2 shows that A is nonempty, it is in addition closed by stability properties of viscosity solutions. By Proposition 2.1, there exists a subsolution of H u [ ] = 0 which is strict outside a compact subset C 0 ⊂ R N . This implies by Proposition A.2 that A ⊂ C 0 .

/square

We recall that if the ambient space is compact the ergodic equation admits solutions only at the critical level. This is not any more the case in the noncompact setting since a solutions can be found at any supercritical value as well.

Definition 4.4. We say that a solution v to the critical equation is a weak KAM solution if it can be written in the form

$$v ( x ) & = \min \{ v ( y ) + S _ { 0 } ( y, x ) \ | \ y \in \mathcal { A } \}.$$

We directly derive from the definition of intrinsic distance:

Lemma 4.5. A function v is weak KAM solution if and only if

$$v ( x ) = \max \{ u ( x ) \ | \ u \ s u b s o l u t i o n \ t o \ ( \text{EP} ) \ w i t h \ u = v \ o n \ \mathcal { A } \}$$

We recall the following result, see for the proof [12], [16]

Lemma 4.6. Let B 0 be a ball containing A than any solution v of (EP) in B 0 satisfies

$$v ( x ) = \min \{ v ( y ) + S _ { 0 } ( y, x ) \ | \ y \in \partial B _ { 0 } \cup \mathcal { A } \}.$$

The following characterization holds:

Theorem 4.7. A solution v is weak KAM if and only if it is bounded from below.

Proof. Exploiting (A3), we can find ε &gt; 0 and R &gt; 0 with

$$\inf _ { x \in \mathbb { R } ^ { N } \vee B _ { R } } \max _ { p \in B _ { \varepsilon } } H ( x, p ) < 0,$$

we can further assume that B R ⊃ A . We consequently have

$$\ell _ { 0 } ( \xi ) \geq \varepsilon \, \ell ( \xi )$$

for any curve ξ with support contained in R N \ B R . Here, to repeat, /lscript stands for the Euclidean length, and /lscript 0 for the intrinsic length of a curve. Given x 0 ∈ B R , we define

$$m & = \min _ { x \in \overline { B _ { R } } } S _ { 0 } ( x, x _ { 0 } ).$$

Assume that v is not a weak KAM solution, then by applying Lemma 4.6 to a sequence of balls with diverging radii, we find that there exist x n with | x n | → + ∞ such that

$$v ( x _ { 0 } ) & = v ( x _ { n } ) + S _ { 0 } ( x _ { n }, x _ { 0 } ).$$

We may assume that | x n | &gt; R for any n . Let ξ n be a sequence of curves, parametrized in [0 , 1], linking x n to x 0 such that

$$\ell _ { 0 } ( \xi _ { n } ) & \leq S _ { 0 } ( x _ { n }, x _ { 0 } ) + \frac { 1 } { n }.$$

Let t n be the first entrance time of ξ n in B R . This means

$$\xi _ { n } ( [ 0, t _ { n } ) ) \cap B _ { R } = \emptyset \text{ \ and \ } y _ { n } \coloneqq \xi _ { n } ( t _ { n } ) \in \partial B _ { R }.$$

We claim that

$$\lim _ { n } \ell _ { 0 } ( \overline { \xi } _ { n } ) - S _ { 0 } ( x _ { n }, y _ { n } ) \ = \ 0$$

$$\lim _ { n } S _ { 0 } ( x _ { n }, x _ { 0 } ) - S _ { 0 } ( x _ { n }, y _ { n } ) - S _ { 0 } ( y _ { n }, x _ { 0 } ) \ = \ 0$$

$$n$$

where ξ n = ξ n ∣ ([0 ,t n ) . We in fact have by (17) and the triangle inequality

$$\text{where} \, \overline { \xi } _ { n } = \xi _ { n } \Big | _ { ( [ 0, t _ { n } ) } }. \, \text{We in fact have by (17) and the triangle inequality} \\ \ell _ { 0 } ( \xi _ { n } ) \ \leq \ \ & S _ { 0 } ( x _ { n }, x _ { 0 } ) + \frac { 1 } { n } \leq S _ { 0 } ( x _ { n }, y _ { n } ) + S _ { 0 } ( y _ { n }, x _ { 0 } ) + \frac { 1 } { n } \\ \leq \ \ & \ell _ { 0 } ( \xi _ { n } \Big | _ { [ t _ { n }, 1 ] } ) + S _ { 0 } ( x _ { n }, y _ { n } ) + \frac { 1 } { n } \leq \ell _ { 0 } ( \overline { \xi } _ { n } ) + \ell _ { 0 } ( \xi _ { n } \Big | _ { [ t _ { n }, 1 ] } ) + \frac { 1 } { n } \\ \quad = \ \ & \ell _ { 0 } ( \xi _ { n } ) + \frac { 1 } { n } \\ \text{which implies}$$

which implies

$$\Lambda _ { 0 } & \leq \ \ell _ { 0 } ( \overline { \xi } _ { n } ) - S _ { 0 } ( x _ { n }, y _ { n } ) \leq \frac { 1 } { n } \\ 0 & \leq \ S _ { 0 } ( x _ { n }, y _ { n } ) + S _ { 0 } ( y _ { n }, x _ { 0 } ) - S _ { 0 } ( x _ { n }, x _ { 0 } ) \leq \frac { 1 } { n } \\ \Lambda _ { 0 } \cap \partial _ { 0 } ( 1 \Omega ) \ \Lambda _ { 1 } ( 1 \Omega ) \ \Lambda _ { 2 } ( \Lambda _ { 3 } + \sim \ \mathbb { M } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } ^ { 1 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } ( 1 \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \mathbb { m } _ { 2 } \ \Lambda _ { 0 }$$

and gives in the end (18), (19) sending n to + ∞ . We further have by (16), (14), (18), (19) that

$$( 1 9 ) \, \text{that} \\ v ( x _ { 0 } ) \ & = \ v ( x _ { n } ) + S _ { 0 } ( x _ { n }, x _ { 0 } ) \geq v ( x _ { n } ) + S _ { 0 } ( x _ { n }, y _ { n } ) + S _ { 0 } ( y _ { n }, x _ { 0 } ) - \frac { 1 } { n } \\ & \geq \ v ( x _ { n } ) + \ell _ { 0 } ( \overline { \xi } _ { n } ) + S _ { 0 } ( y _ { n }, x _ { 0 } ) - 2 \, \frac { 1 } { n } \\ & \geq \ v ( x _ { n } ) + \varepsilon \left ( | x _ { n } | - R \right ) + m - 2 \, \frac { 1 } { n }, \\ \text{where} \, m \text{ is defined as in (15), and we finally obtain}$$

where m is defined as in (15), and we finally obtain

$$v ( x _ { n } ) \leq v ( x _ { 0 } ) - m - \varepsilon \left ( | x _ { n } | - R \right ) + 2 \, \frac { 1 } { n }.$$

Since | R | can be sent to infinity, this proves that u is unbounded from below. Conversely, let v be a weak KAM solution. Let x 1 be a point with | x 1 | &gt; R . We denote by y 0 an element of the Aubry set with

$$v ( x _ { 1 } ) = v ( y _ { 0 } ) + S _ { 0 } ( y _ { 0 }, x _ { 0 } )$$

and by ξ a curve, parametrized in [0 , 1], linking y 0 to x 1 (20) /lscript 0 ( ξ ) ≤ S 0 ( y , x 0 1 ) + 1 .

such that

Let t 0 be the last exit time of ξ from B R . This means

$$\xi ( ( t _ { 0 }, 1 ) ) \cap B _ { R } = \emptyset \text{ \ and \ } z _ { 0 } \coloneqq \xi ( t _ { 0 } ) \in \partial B _ { R }.$$

We have by (20) and the triangle inequality which implies

$$\text{py (2V) and the triangle inequality} \\ \ell _ { 0 } ( \xi ) \ & \leq \ S _ { 0 } ( y _ { 0 }, x _ { 1 } ) + 1 \leq S _ { 0 } ( y _ { 0 }, z _ { 0 } ) + S _ { 0 } ( z _ { 0 }, x _ { 1 } ) + 1 \\ & \leq \ \ell ( \xi _ { \left | [ 0, t _ { 0 } ] } ) + S _ { 0 } ( z _ { 0 }, x _ { 1 } ) + 1 \\ & \leq \ \ell _ { 0 } ( \xi _ { \left | ( t _ { 0 }, 1 \right | } ) + \ell _ { 0 } ( \xi _ { \left | [ 0, t _ { 0 } ] } ) + 1 \\ & = \ \ell _ { 0 } ( \xi ) + 1 \\ \text{plies}$$

$$\begin{array} {$$

We further have by (16), (21), (22) and the fact that v is a weak KAM solution

$$v \cos \nu \vee \vee _ { 0 } \vee _ { 1 }$$

which gives that v is bounded from below since x 1 has been arbitrarily chosen in R N \ B R . /square

## 5. Localization results

The results of this section will be crucial to prove that some subsets of the space of bounded functions Φ : R N × R N are open in a suitable topology. This in turn will allow showing that the existence of minimizing measures for (EP), (DP).

## Proposition 5.1. Any open ball B 0 ⊃ A satisfies

$$0 = \inf \{ a \ | \ H = a \ a d m i t s \ s$$

Proof. Let B 0 be an open ball containing the Aubry set. Assume by contradiction that there is a strict subsolution to H u [ ] = 0 in B 0 . Then by standard comparison principles, there exists one and only one solution u 0 to H u [ ] = 0 equal to a given trace g on ∂B 0 with

$$g ( x ) - g ( y ) \leq S _ { 0 } ( y, x )$$

and it is given by

$$u _ { 0 } ( x ) = \min \{ g ( y ) + S _ { 0$$

We fix z ∈ A ⊂ B 0 , since S 0 ( z, · ) is solution of H u [ ] = 0 in R N , we apply the comparison principle with g = S 0 ( z, · ) on ∂B 0 , and deduce that

$$0 = S _ { 0 } ( z, z ) = S _ { 0 } ( z, y _ { 0 } ) + S _ { 0 } ( y _ { 0 }, z ) \quad \text{for some } y _ { 0 } \in \partial B _ { 0 }.$$

This implies that we can find a sequence ξ n of cycles passing through z and y 0 with

$$\ell _ { 0 } ( \xi _ { n } ) \to 0 \quad \text{and} \quad \inf _ { n } \ell ( \xi _ { n } ) > 0.$$

This in turn implies that y 0 ∈ A by Proposition A.1 , against the assumption that A is contained in the interior of B 0 . /square

We proceed proving a localization property for the discounted equation.

Proposition 5.2. Given z ∈ R N there exist λ z &gt; 0 such that u λ and the maximal subsolution of (DP) in C z,λ coincide at z for λ &lt; λ z and some ball C z,λ .

Remark 5.3. We recall that the maximal subsolution to (DP) in some ball B is nothing but the state constraint solution. If u λ ( z ) coincide with this solution then

If, on the contrary u λ ( z ) is strictly less to the maximal subsolution in B then

$$\text{$?$ state constraint solution. $IF$} \, u _ { \lambda } ( z ) \text{ consider with this solution then} \\ u _ { \lambda } ( z ) = \inf \left \{ \int _ { - \infty } ^ { 0 } e ^ { \lambda s } \, L ( \xi, \dot { \xi } ) \, d s \, | \, \xi ( s ) \in \overline { B } \, \forall \, s, \xi ( 0 ) = z \right \} \\ \text{the contraru} \, u _ { \lambda } ( z ) \text{ is strictful less to the maximal subsolution in $B$ then}$$

$$& I J, \, \text{on the contrary} \, u _ { \lambda } ( z ) \, \text{is strictly less to the maximal subsolution in } B \, \text{then} \\ & u _ { \lambda } ( z ) = \inf \left \{ e ^ { - \lambda T } u ( \xi ( - T ) ) + \int _ { - T } ^ { 0 } e ^ { \lambda s } L ( \xi, \dot { \xi } ) \, d s \, | \, \xi ( s ) \in \overline { B } \, \forall \, s, \xi ( 0 ) = z, \xi ( - T ) \in \partial B \right \}$$

We need two preliminary lemmata.

Lemma 5.4. Let λ &gt; 0 , x be an arbitrary element of R N , ξ a curve defined in [ -t, 0] , for some t &gt; 0 , with ξ (0) = x then

$$u _ { \lambda } ( x ) \leq e ^ { - \lambda t } u _ { \lambda } ( \xi ( - t ) ) ) + \int _ { - t } ^ { 0 } e ^ { \lambda s } \, L ( \xi, \dot { \xi } ) \, d s. \\..$$

If η : ( -∞ , 0] → R N with η (0) = x then

$$u _ { \lambda } ( x ) \leq \int _ { - \infty } ^ { 0 } e ^ { \lambda s } \, L ( \eta, \dot { \eta } ) \, d s + \liminf _ { t \to + \infty } e ^ { - \lambda t } \, u _ { \lambda } ( \eta ( - t ) ). \\. \ r \quad. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \.$$

Note that L and the u λ are bounded from below, the indeterminate form + ∞-∞ cannot therefore appear in the above formula.

Proof. We just prove the first part of the assertion, the second part can be obtained sending t to infinity. We have

$$\text{mung } \text{w} \text{ in my. } \text{ we have} \\ u _ { \lambda } ( x ) - e ^ { - \lambda t } \, u _ { \lambda } ( \xi ( - t ) ) \ & = \ \int _ { - t } ^ { 0 } \frac { d } { d s } [ e ^ { \lambda s } \, u _ { \lambda } ( \xi ( s ) ) ] \, d s \\ & = \ \int _ { - t } ^ { 0 } e ^ { \lambda s } \left ( \lambda \, u _ { \lambda } ( \xi ( s ) ) + p ( s ) \cdot \dot { \xi } ( s ) \right ) d s, \\ \text{hore } n ( s ) \, \text{is a suitable element of } \theta n, ( \xi ( s ) ) \, \text{ Taking into account that } n, \, \text{is a subcollection}$$

where p s ( ) is a suitable element of ∂u λ ( ξ ( s )). Taking into account that u λ is a subsolution, we further obtain

$$\begin{array} { l l l } \text{we further obtain} \\ u _ { \lambda } ( x ) - e ^ { - \lambda t } u _ { \lambda } ( \xi ( - t ) ) & \leq & \int _ { - t } ^ { 0 } e ^ { \lambda s } \left ( \lambda \, u _ { \lambda } ( \xi ( s ) ) + L ( \xi ( s ), \dot { \xi } ( s ) ) + H ( \xi ( s ), p ( s ) ) \right ) d s \\ & \leq & \int _ { - t } ^ { 0 } e ^ { \lambda s } \, L ( \xi, \dot { \xi } ) \, d s. \\ \text{This concludes the runoff} \end{array}$$

This concludes the proof.

/square

Lemma 5.5. Given ε &gt; 0 , λ &gt; 0 , x 0 ∈ R N , let ξ : ( -T, 0] → R N , T ∈ R ∪ { + ∞} , be a curve with ξ (0) = x 0 and

$$u _ { \lambda } ( x _ { 0 } ) & \geq \int _ { - T } ^ { 0 } e ^ { \lambda s } \, L ( \xi, \dot { \xi } ) \, d s + \liminf _ { t \to T } e ^ { - \lambda t } \, u _ { \lambda } ( \xi ( - t ) ) - \varepsilon \\.$$

then

$$& \quad u _ { \lambda } ( \xi ( - t _ { 1 } ) ) \geq e ^ { - \lambda ( t _ { 2 } - t _ { 1 } ) } \, u _ { \lambda } ( \xi ( - t _ { 2 } ) ) + \int _ { t _ { 1 } - t _ { 2 } } ^ { 0 } e ^ { \lambda s } \, L ( \xi ( \cdot - t _ { 1 } ) \, \dot { \xi } ( \cdot - t _ { 1 } ) ) \, d s - \varepsilon \\ & \quad. & \quad -$$

for any T &gt; t 2 &gt; t 1 ≥ 0 .

Proof. By (23) and Lemma 5.4 we have which gives (24).

$$\text{Proof. By (23) and Lemma 5.4 we have} \\ u _ { \lambda } ( x _ { 0 } ) & \geq \, \int _ { - T } ^ { - t _ { 2 } } e ^ { \lambda s } L ( \xi, \dot { \xi } ) \, d s + \int _ { - t _ { 2 } } ^ { - t _ { 1 } } e ^ { \lambda s } L ( \xi, \dot { \xi } ) \, d s \\ & + \, \int _ { - t _ { 1 } } ^ { 0 } e ^ { \lambda s } L ( \xi, \dot { \xi } ) \, d s + \liminf e ^ { - \lambda t } \, u _ { \lambda } ( \xi ( - t ) ) - \varepsilon \\ & \geq \, e ^ { - \lambda t _ { 2 } } u _ { \lambda } ( \xi ( - t _ { 2 } ) ) - \liminf e ^ { - \lambda t } \, u _ { \lambda } ( \xi ( - t ) ) \\ & + \, e ^ { - \lambda t _ { 1 } } \, \int _ { t _ { 1 } - t _ { 2 } } ^ { 0 } e ^ { \lambda s } \, L ( \xi ( \cdot - t _ { 1 } ) \, \dot { \xi } ( \cdot - t _ { 1 } ) ) \, d s \\ & + \, u _ { \lambda } ( x _ { 0 } ) - e ^ { - \lambda t _ { 1 } } \, u _ { \lambda } ( \xi ( - t _ { 1 } ) ) + \liminf e ^ { - \lambda t } \, u _ { \lambda } ( \xi ( - t ) ) - \varepsilon \\ \text{which gives (24).} \quad & \Box \\ \text{Proof of Proposition 5.2. Given $t$ > 0$ and a curve $\xi$ defined in $|-t,0|$, we set to ease}$$

Proof of Proposition 5.2. Given t &gt; 0 and a curve ξ defined in [ -t, 0], we set to ease notations

Let B be a ball containing z such that there are positive constants M 0 , δ 0 , a , with

$$\rho _ { \lambda } ( t, \xi ) = \int _ { - t } ^ { 0 } e ^ { \lambda s } \, L ( \xi, \dot { \xi } ) \, d s. \\ \intertext { z such that there are positive const }$$

/negationslash

$$L ( x, q ) \ \geq \ \delta _ { 0 } \, | q | \ \text{ for } x \not \in B, \, \text{any } q$$

/negationslash

$$L ( x, q ) \ \geq \ M _ { 0 } \ \text{ for } x \not \in B, \, \text{any } q$$

$$u _ { \lambda } ( x ) \ \geq \ - a \ \text{ for any } \lambda > 0, \, x \in \mathbb { R } ^ { N }$$

see (11), (12), and Lemma 3.4 to check out that this is possible. Further, we take λ z such that

$$\max \{ u _ { \lambda } ( x ) \ | \ x \in \partial B, \ \lambda < \lambda _ { z } \} < \frac { M _ { 0 } } { \lambda } - a - 1. \\ \dots \ e \ \cdots \ e \ \cdots \ e \ \cdots \ e \ \cdots \ e \ \cdots \ e \ \cdots \ e \$$

We fix λ &lt; λ z , were the assertion not true for such a λ , we would find, see Remark 5.3, T n &gt; 0, x n ∈ R N with | x n | → + ∞ and curves ξ n : [ -T , n 0] → R N joining x n to z such that

$$u _ { \lambda } ( z ) & \geq e ^ { - \lambda T _ { n } } \, u _ { \lambda } ( x _ { n } ) + \rho _ { \lambda } ( T _ { n }, \xi _ { n } ) - \frac { 1 } { n }.$$

We set for any n

-

T

′

n

= min

{

t &gt;

-

T ,

n

|

ξ

n

( )

t

∈

∂B

}

so that the support of ξ n is outside B in the time interval ( -T , n -T ′ n ) and ξ n ( -T ′ n ) ∈ ∂B . We have by (29) and Lemma 5.5

$$\cdots \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ u _ { \lambda } ( \xi _ { n } ( - T _ { n } ^ { \prime } ) ) & \geq \ e ^ { - \lambda ( T _ { n } ^ { \prime } - T _ { n } ) } \, u _ { \lambda } ( \xi _ { n } ( - T _ { n } ) ) + \rho _ { \lambda } ( T _ { n } - T _ { n } ^ { \prime }, \xi _ { n } ( \cdot - T _ { n } ^ { \prime } ) ) - \frac { 1 } { n } \\ \geq \ - a + \rho _ { \lambda } ( T _ { n } - T _ { n } ^ { \prime }, \xi _ { n } ( \cdot - T _ { n } ^ { \prime } ) ) - \frac { 1 } { n },$$

$$\liminf _ { n } u _ { \lambda } ( \xi _ { n } ( - T _ { n } ^ { \prime } ) ) \geq - a + \frac { M _ { 0 } } { \lambda },$$

n (30) for any n . We first assume that lim n T n -T ′ n = + ∞ , then lim inf n ρ λ ( T n -T , ξ ′ n n ( · -T ′ n )) ≥ M 0 λ and consequently (31) M ,

/negationslash in contradiction with (28) since ξ n ( -T ′ n ) ∈ ∂B . If instead T n -T ′ n &lt; T for any n , some T &gt; 0, we integrate by parts, bearing in mind that L x, q ( ) &gt; 0 for x ∈ B , any q , to get

$$\text{in contraction with } \{ 2 \theta ) \, \text{since } \xi _ { n } ( - 1 _ { n } ) \in \mathcal { O B }. \text{ if instead } 1 _ { n } - 1 _ { n } < 1 \text{ for any } n, \, \text{some} \\ T > 0, \, \text{we integrate by parts, bearing in mind that } L ( x, q ) > 0 \, \text{for } x \not \in B, \, \text{any } q, \, \text{to get} \\ \rho _ { \lambda } ( T _ { n } - T _ { n } ^ { \prime }, \xi _ { n } ( \cdot - T _ { n } ^ { \prime } ) ) \, & = \, \left [ - e ^ { \imath t } \int _ { t } ^ { 0 } L ( \xi _ { n } ( \cdot - T _ { n } ^ { \prime } ), \dot { \xi } _ { n } ( \cdot - T _ { n } ^ { \prime } ) ) \, d s \right ] _ { T _ { n } ^ { \prime } - T _ { n } } ^ { 0 } \\ & + \, \int _ { T _ { n } ^ { \prime } - T _ { n } } ^ { 0 } \lambda \, e ^ { \imath t } \left ( \int _ { t } ^ { 0 } L ( \xi _ { n } ( \cdot - T _ { n } ^ { \prime } ), \dot { \xi } _ { n } ( \cdot - T _ { n } ^ { \prime } ) ) \, d s \right ) \, d t \\ & \geq \, e ^ { - \lambda ( T _ { n } - T _ { n } ^ { \prime } ) } \int _ { T _ { n } ^ { \prime } - T _ { n } } ^ { 0 } L ( \xi ( \cdot - T _ { n } ^ { \prime } ), \dot { \xi } ( \cdot - T _ { n } ^ { \prime } ) ) \, d s \\ & \geq \, e ^ { - \lambda T } \, \delta _ { 0 } \, | \xi _ { n } ( - T _ { n } ) - \xi _ { n } ( - T _ { n } ^ { \prime } ) |. \\ \text{Taking into account that } \xi _ { n } ( - T _ { n } ^ { \prime } ) \in \partial B \text{ and } | \xi _ { n } ( - T _ { n } ) | = | x _ { n } | \rightarrow + \infty, \, \text{we get}$$

Taking into account that ξ n ( -T ′ n ) ∈ ∂B and | ξ n ( -T n ) | = | x n | → + ∞ , we get (32) lim n ρ λ ( T n -T , ξ ′ n ( · -T ′ n )) = + ∞ , which contradicts (30).

/square

## 6. Generalized Lagrangians and narrow convergence of measures

We consider the space C ( R 2 N ) of the continuous functions from R 2 N to R . Given such a function Φ( x, q ), we say that a locally Lipschitz continuous function u is a subsolution for Φ if

Du x ( ) · q ≤ Φ( x, q ) for a.e. x ∈ R N , any q ∈ R N we further say that u is a strict subsolution if

$$\ D u ( x ) \cdot q \leq \Phi ( x, q ) - \varepsilon \quad \text{ for a.e. } x, \, \text{ any } q, \, \text{ some } \varepsilon > 0.$$

A real number c is called critical value of Φ if Φ + c admits subsolutions but not strict subsolutions.

Given a discount factor λ , we similarly say that a locally Lipschitz continuous function u is a λ -discounted subsolution for Φ if

$$\lambda \, u ( x ) + D u ( x ) \cdot q \leq \Phi ( x, q ) \quad \text{ for a.e. } x \in \mathbb { R } ^ { N }, \, \text{any } q \in \mathbb { R } ^ { N }$$

Remark 6.1. If Φ has superlinear growth when | q | goes to + ∞ , for any x , then we can apply Fenchel transform to define an Hamiltonian, denoted by H Φ , which is convex in p and satisfies (A1) , (A2) . A subsolution corresponding to Φ + a , for some a ∈ R , is nothing but a subsolution of the equation H Φ [ u ] = a . Finally, the critical value of Φ is equal to the critical value of H Φ .

We will denote by P the space of Radon probability measure on R 2 N . Given µ ∈ P and Φ ∈ C ( R 2 N ), integrable with respect to µ , we will write from now on, to ease notations, 〈 µ, Φ in place of 〉 ∫ Φ dµ .

We state and prove some convergence lemmata with respect to the narrow topology we will use in what follows.

Lemma 6.2. Let Φ ∈ C ( R N × R N ) be bounded from below, µ ∈ P , then

$$a \coloneqq \liminf _ { n } \langle \mu _ { n }, \Phi \rangle \geq \langle \mu, \Phi \rangle$$

for any sequence µ n narrowly converging to µ .

Proof. We can assume that a is finite, otherwise the assertion is trivial. Given ε &gt; 0, R &gt; 0, we find a subsequence µ n k of µ n with

$$a + \varepsilon \geq \langle \mu _ { n _ { k } }, \Phi \rangle \geq \langle \mu _ { n _ { k } }, \Phi \wedge R \rangle$$

for n k large enough. Since the functions Φ ∧ R , for R &gt; 0, are bounded continuous by the assumption, we get

$$a + \varepsilon \geq \lim _ { n _ { k } } \langle \mu _ { n _ { k } }, \Phi \wedge R \rangle = \langle \mu, \Phi \wedge R \rangle$$

and consequently, letting ε going to 0

$$\langle \mu, \Phi \wedge R \rangle \leq a \quad \text{for any } R.$$

Since Φ ∧ R converges monotonically to Φ as R -→ + ∞ , we finally obtain by monotone convergence Theorem

$$\langle \mu, \Phi \rangle = \lim _ { R \rightarrow + \infty } \langle \mu, \Phi \wedge R \rangle \leq a.$$

This ends the proof.

We recall that L is bounded from below in force of (10), (11). We set

$$m = \min _ { \mathbb { R } ^ { N } \times \mathbb { R } ^ { N } } L.$$

Lemma 6.3. Given any real number a the sublevel

$$\mathcal { V } _ { a } \coloneqq \{ \mu \in \mathfrak { P } \ | \ \langle \mu, L \rangle \leq a \}$$

is compact in the narrow topology, provided that it is not empty.

Proof. Given ε &gt; 0, we find by (11) a compact subset K ε of R N × R N with

/negationslash

$$L ( x, q ) \geq \frac { 1 } { \varepsilon }$$

$$L ( x, q ) \geq \frac { 1 } { \varepsilon } \quad \text{whenever $(x,q)\not\in K_{\varepsilon}$}.$$

Given µ ∈ V a , we have

$$a \geq \langle \mu, L \rangle \geq m \, \mu ( K _ { \varepsilon } ) + \frac { 1 } { \varepsilon } \, \mu ( K _ { \varepsilon } ^ { c } ) \geq - | m | + \frac { 1 } { \varepsilon } \, \mu ( K _ { \varepsilon } ^ { c } ),$$

where A c indicates the complement of A . This implies

$$\left ( a + | m | \right ) \varepsilon \geq \mu ( K _ { \varepsilon } ^ { c } ) \quad \text{for } \mu \in \mathcal { V } _ { a }$$

and shows that the measures in V a are uniformly tight, so that V a is conditionally narrowly compact. Finally if µ n ∈ V a narrowly converges to some µ , we have by Lemma 6.2

$$a \geq \liminf _ { n } \langle \mu _ { n }, L \rangle \geq \langle \mu, L \rangle$$

which concludes the proof.

/square

Lemma 6.4. Let µ n a sequence in P narrowly converging to some µ , with 〈 µ , L n 〉 bounded, then

$$\langle \mu _ { n }, \Phi \rangle \rightarrow \langle \mu, \Phi \rangle$$

whenever Φ is continuous, supported in K × R N , for some compact subset K of R N , and with linear growth as | q | goes to infinity.

/square

Proof. We take Φ as in the statement. The function

↦

$$R \mapsto \mu ( B _ { R } \times \mathbb { R } ^ { N } )$$

is nondecreasing and so possesses countably many discontinuities. For any of its continuity points R we have µ ∂B ( R × R N ) = 0 and consequently by the Portmanteau Theorem

$$\mu _ { n } ( B _ { R } \times \mathbb { R } ^ { N } ) \to \mu ( B _ { R } \times \mathbb { R } ^ { N } ).$$

We can therefore find R &gt; 0 satisfying (33) such that supp Φ ⊂ B R × R N , µ B ( R × R N ) &gt; 0, L &gt; 0 in B c R × R N , see (11). We consider the conditional probabilities

$$\overline { \mu } _ { n } ( \cdot ) = \mu _ { n } ( \cdot \, | \ B _ { R } \times \mathbb { R } ^ { N } ), \quad \overline { \mu } ( \cdot ) = \mu ( \cdot \, | \ B _ { R } \times \mathbb { R } ^ { N } ).$$

Note that the 〈 µ , L n 〉 are bounded and µ n narrowly converge to µ . Given ε &gt; 0, we find by (10) a compact subset C ⊂ R N with

$$L ( x, q ) \geq \frac { 1 } { \varepsilon } \, | q | \quad \text{whenever } x \in B _ { R }, \, q \not \in C.$$

$$\varepsilon$$

/negationslash

We set m = min R N × R N L and denote by a an upper bound of 〈 µ , L n 〉 . Bearing in mind that the the µ n are supported in B R × R N , we have

$$- \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { 0 } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset { \mathbb { R } ^ { \prime } \times } { \mathbb { R } ^ { \prime } \times } \circ \underset n } { \mathbb { R } ^ { \prime } \times }$$

which implies

$$\text{ lies} \\ ( a + | m | ) \, \varepsilon \geq \int _ { B _ { R } \times ( \mathbb { R } ^ { N } \vee C ) } | q | \, d \overline { \mu } _ { n } = \int _ { ( B _ { R } \times C ) ^ { c } } | q | \, d \overline { \mu } _ { n }. \\ \text{that the $\overline{n}$ are 1-uniformly identifiable and so conditionally commac}$$

We derive that the µ n are 1-uniformly integrable and so conditionally compact with respect to the Wasserstein distance of order 1, denoted by W 1 . Since µ n narrowly converges to µ , we deduce that the convergence actually holds with respect to W 1 . Such a convergence can be equivalently expressed in duality with continuous function with linear growth at infinity, and we thus get, taking into account that supp Φ ⊂ B R × R N

$$\frac { 1 } { \mu _ { n } ( B _ { R } \times \mathbb { R } ^ { N } ) } \left \langle \mu _ { n }, \Phi \right \rangle = \left \langle \overline { \mu } _ { n }, \Phi \right \rangle \rightarrow \left \langle \overline { \mu }, \Phi \right \rangle = \frac { 1 } { \mu ( B _ { R } \times \mathbb { R } ^ { N } ) } \left \langle \mu, \Phi \right \rangle,$$

which gives the assertion.

/square

## 7. Mather measures for the discounted equation

The aim of this section is to show the existence of minimizing measures related to (DP). More precisely, we will prove:

Theorem 7.1. Given z ∈ R N , 0 &lt; λ &lt; λ z ( λ z as in Proposition 5.2), there exists a probability measure µ ∈ P with

$$\langle \mu, L \rangle & = \lambda \, u _ { \lambda } ( z ), \quad \langle \mu, \Phi \rangle \geq \lambda \, u ( z )$$

$$\begin{matrix} \end{matrix}$$

for any Φ ∈ C ( R 2 N ) bounded from below admitting a λ -discounted subsolution and any λ -discounted subsolution u of Φ .

Our strategy is to construct a suitable convex subset of C b ( R N ), with L ∧ M for M &gt; 0 large in its boundary, possessing nonempty interior, and then to apply Proposition C.1 about the existence of nonzero elements in normal cones. The nonzero elements in the normal cone at L ∧ M are, up to change of sign and normalization, the probability measure appearing in the previous statement.

We proceed to prove some preliminary results.

Lemma 7.2. Given z ∈ R N , a ∈ R , λ &gt; 0 , an open ball B containing z , any Lipschitz function u in B satisfying u z ( ) ≥ a and

$$\lambda \, u ( x ) + D u ( x ) \cdot q \leq L ( x, q ) \quad \text{ for a.e. } x \in B, \, q \text{ with } | q | = 1$$

has Lipschitz constant in B bounded from above by a quantity solely depending on a , λ , L and the diameter of B .

Proof. We set

$$R = \max \{ L ( x, q ) \ | \ x \in \overline { B }, | q | = 1 \}.$$

Given a compact convex subset C of B , we have by (35)

$$\ D u ( x ) \cdot q \leq L ( x, q ) - \lambda \min _ { C } u \quad \text{ for a.e. } x \in C, \, \text{any } | q | = 1$$

and consequently

$$\| D u \| _ { \infty, C } \leq R - \lambda \min _ { C } u.$$

It is then enough to show that min B u is bounded from below, when u varies among the functions satisfying the assumptions. The idea of the proof is to give estimates on balls of small radius centered at suitable points of B , and then to stitch together the information arguing by induction.

Let y # a minimizer of u in B , we assume to ease notations, but without any loss of generality, that

$$| z - y ^ { \# } | = \frac { M } { 9 \, \Omega } \leq r,$$

$$\colon \frac { M } { 2 \lambda } \leq r, \\.$$

where r is the diameter of B and M ∈ N , consequently

$$M \leq [ 2 \, \lambda \, r ],$$

where [ ] indicates the integer part. · We consider the segment joining z to y # , and select M +1 points x , x , 0 1 · · · , x M on it with x 0 = z , x M = y # , and

$$| x _ { k + 1 } - x _ { k } | = \frac { 1 } { 9 \, \lambda } \quad \text{for $k=0,\cdots M-1$},$$

$$| x _ { k + 1 } - x _ { k } | = \frac { 1 } { 2 \lambda }$$

We moreover set

$$C _ { k } = \overline { B ( x _ { k }, 1 / 2 \lambda ) } \cap \overline { B } \quad \text{for $k=0,\cdots,M-1$.}$$

We have, according to (36)

$$\theta ^ { 2 } \, \hat { \nu } _ { 2 } u ( z ) - \min _ { C _ { 0 } } u \leq \frac { 1 } { 2 \lambda } \, ( R - \lambda \, \min _ { C _ { 0 } } u )$$

so that

$$- \frac { 1 } { 2 } \, \min _ { C _ { 0 } } u \leq - a + \frac { R } { 2 \lambda }$$

and consequently

$$u ( x _ { 1 } ) \geq \min _ { C _ { 0 } } u \geq 2 \, a - \frac { R } { \lambda }.$$

We proceed showing by finite induction on k that

$$& \text{We proceed showing by finite induction on $k$ that} \\ & ( 4 0 ) & \quad u ( x _ { k } ) \geq \min _ { C _ { k - 1 } } u \geq 2 ^ { k } \, a - \left ( \sum _ { j = 0 } ^ { k - 1 } 2 ^ { j } \right ) \, \frac { R } { \lambda }. \\ & \text{The formula is valid for $k=1$. as shown in $(39)$. we prove that it is true for}$$

The formula is valid for k = 1, as shown in (39), we prove that it is true for k +1 assuming (40). We have

$$u ( x _ { k } ) - \min _ { C _ { k } } u \leq \frac { 1 } { 2 \lambda } \left ( R - \lambda \min _ { C _ { k } } u \right )$$

and

$$\frac { R } { 2 \lambda }.$$

which gives

$$- \frac { 1 } { 2 } \, \min _ { C _ { k } } u \ \leq \ - u ( x _ { k } ) + \frac { R } { 2 \lambda } \\ \leq \ - 2 ^ { k } \, a + \left ( \sum _ { j = 0 } ^ { k - 1 } 2 ^ { j } \right ) \, \frac { R } { \lambda } + \frac { R } { 2 \lambda }.$$

$$u ( x _ { k + 1 } ) \geq \min _ { C _ { k } } u \geq 2 ^ { k + 1 } \, a - \left ( \sum _ { j = 0 } ^ { k } 2 ^ { j } \right ) \, \frac { R } { \lambda }, \\ \text{Taking into account that } x _ { M } = y ^ { \# } \text{ and } ( 3 7 ), ( 3 8 ) \text{ we fin}$$

$$\text{as was claimed. Taking into account that } x _ { M } = y ^ { \# } \text{ and } ( 3 7 ), ( 3 8 ) \text{ we finally get} \\ \min _ { B } u \ & = \ u ( x _ { M } ) \geq 2 ^ { M } \, a - \left ( \sum _ { j = 0 } ^ { M - 1 } 2 ^ { j } \right ) \, \frac { R } { \lambda } \geq 2 ^ { M } \, a - \left ( \sum _ { j = 0 } ^ { M - 1 } 2 ^ { j } \right ) \, 2 \, r \\ \geq \ & 2 ^ { 2 \lambda r } \, ( a \wedge 0 ) - \left ( \sum _ { j = 0 } ^ { [ 2 \lambda r ] } 2 ^ { j } \right ) \, r. \\ \text{This gives the assertion.}$$

as was claimed. Taking into account that x M = y # and (37), (38) we finally get

This gives the assertion.

/square

We exploit the above lemma to prove:

Proposition 7.3. Given z ∈ R N , λ &gt; 0 , a ∈ R , a ball B containing z , there exists R &gt; 1 , such that any Lipschitz function u in B satisfying u z ( ) ≥ a and

$$( 4 1 )$$

$$\lambda \, u ( x ) + D u ( x ) \cdot q \leq L ( x, q ) \quad \text{ for } a. e. \ x \in B, \, | q | \leq R$$

is a subsolution to (DP) in B .

Proof. If (41) holds true for | q | = 1 then we know from Lemma 7.2 that there exists an upper bound, denoted by M , of the Lipschitz constants of all functions satisfying the assumptions, and consequently

$$\max _ { B } u \leq a + r \, M,$$

where r denotes the diameter of B . We take R &gt; 1 such that

$$\inf _ { x \in B, \, | q | > R } \frac { L ( x, q ) } { | q | } \geq M + \lambda \, ( a + r \, M ),$$

note that this choice is possible in force of (10). We get

$$L ( x, q ) \ & \geq \ | q | \left ( M + \lambda \left ( a + r \, M \right ) \right ) \\ & \geq \ D u ( x ) \cdot q + \lambda \, u ( x )$$

for a.e. x ∈ B , any q with | q | &gt; R . This last relation, together with (41), gives the assertion. /square

We fix z ∈ R N , λ &lt; λ z , and set B 0 = C z,λ , see Proposition 5.2. We further denote by R 0 the constant provided by Proposition 7.3 in correspondence to B 0 , z , λ , a = u λ ( z ).

We define in the space C b ( R 2 n ) the set G λ,z made up by the Φ ∈ C b ( R 2 n ) for which there exist a positive constant ε and a Lipschitz continuous function u in B 0 with u z ( ) ≥ u λ ( z ) and

$$\lambda u ( x ) + D u ( x ) \cdot q \leq \Phi ( x, q ) - \varepsilon$$

for a.e. x ∈ B 0 , any q with | q | ≤ R 0 .

Proposition 7.4. The set G λ,z is a convex subset, open with respect to the strict topology (see Appendix B for the definition of strict topology) .

Proof. The convexity property is apparent. If Φ 0 satisfies (42), then any Φ with ‖ Φ -Φ 0 ‖ ∞ ,B 0 &lt; ε 2 satisfies

$$\lambda u ( x ) + D u ( x ) \cdot q \leq \Phi _ { 0 } ( x, q ) - \varepsilon \leq \Phi ( x, q ) - \frac { \varepsilon } { 2 }$$

for a.e. x ∈ B 0 , any q with | q | ≤ R 0 . This shows that any such Φ belong to G λ,z , in addition these elements make up an open neighborhood of Φ 0 in the compact-open topology and consequently in the strict topology. This shows that G λ,z is open.

/square

Proposition 7.5. Given Φ ∈ C ( R 2 n ) bounded from below and possessing a λ -discounted subsolution u in R N with u z ( ) ≥ u λ ( z ) , there exists M 0 such that Φ ∧ M ∈ G λ,z for M ≥ M 0 .

Proof. We have that

$$\lambda u ( x ) + D u ( x ) \cdot q \leq \Phi ( x, q )$$

for a.e. x ∈ B 0 , any q . Since the left hand-side of the above formula is bounded when | q | ≤ R 0 , we find M 0 such that

$$\lambda u ( x ) + D u ( x ) \cdot q \leq \Phi ( x, q ) \wedge M \quad \text{ for } M \geq M _ { 0 }, \, | q | \leq R _ { 0 }, \text{ a.e. } x \in B _ { 0 }.$$

This shows that Φ( x, q ) ∧ M + ε belongs to G λ,z for any ε . We therefore get the assertion because Φ( x, q ) ∧ M + ε strictly converges to Φ( x, q ) ∧ M as ε goes to 0. /square

Proposition 7.6. There exists M 0 such that L ∧ M ∈ ∂ G λ,z for M ≥ M 0 .

Proof. Since L satisfies the assumptions of Proposition 7.5, we know that L ∧ M ∈ G λ,z for M greater than or equal to some M 0 . It is left to show that L ∧ M cannot be in the interior of G λ,z . In fact, if this is the case, there are a Lipschitz continuous function u , with u z ( ) ≥ u λ ( z ), and ε &gt; 0 such that

$$L ( x, q ) - \varepsilon \geq ( L ( x, q ) \wedge M ) - \varepsilon \geq \lambda \, u ( x ) + D u ( x ) \cdot q$$

for a.e. x ∈ B 0 , any | q | ≤ R 0 . We then deduce from Proposition 7.3 that u is strict subsolution to (DP) in B 0 . This implies in view of Proposition 5.2 that u z ( ) = u λ ( z ), and u is subtangent to u λ at z . This is impossible because

$$L ( z, q ) \geq p \cdot q + \lambda \, u ( z ) + \varepsilon \quad \text{for any } p \in \partial u ( z ), \, q \in \mathbb { R } ^ { N },$$

while at least for a p 0 ∈ ∂u z ( ), any q ∈ R N , we must have by the subtangency condition

$$L ( z, q ) = p _ { 0 } \cdot q + \lambda \, u ( z ).$$

/square

Lemma 7.7. Let M such that L ∧ M ∈ G λ,z , then any nonzero element µ in -N G λ,z ( L ∧ M ) belongs to P , up to a normalization. For any such µ we have

$$\langle \mu, L \wedge M \rangle = \lambda \, u _ { \lambda } ( z ).$$

Proof. We know that L ∧ M ∈ ∂ G λ,z for M large enough thanks to Proposition 7.6. Since G λ,z is a convex set with nonempty interior in force of Proposition 7.4, we deduce from Proposition C.1 that N G λ,z ( L ∧ M ) contains nonzero elements.

If one of the elements µ of -N G λ,z ( L ∧ M ) were not positive, we would find Φ ∈ C b ( R 2 N ), Φ ≥ 0 with 〈 µ, Φ 〉 &lt; 0. This implies that L ∧ M +Φ belongs to G z,λ and

〈

µ, L

∧

M

+Φ

〉

&lt; µ,L

〈

〉

which is in contrast with -µ belonging to the normal cone at L ∧ M . This proves that µ is a probability measure, up to a normalization. Since Φ ≡ λu λ ( z ) belongs to G λ,z , we get

$$\langle \mu, L \wedge M \rangle \leq \lambda \, u _ { \lambda } ( z )$$

Since

$$\rho \left ( L \wedge M \right ) + ( 1 - \rho ) \lambda \, u _ { \lambda } ( z ) \in \overline { \mathcal { G } } _ { \lambda, z } \quad \text{ for } \rho > 1$$

$$\left ( 1 - \rho \right ) \left ( \left \langle \mu, L \wedge M \right \rangle - \lambda \, u _ { \lambda } ( z ) \right ) \leq 0 \\ \left \langle u _ { \ } L \wedge M \right \rangle > \lambda \, u _ { \ } \left ( z \right \rangle$$

we further get and consequently

$$\langle \mu, L \wedge M \rangle \geq \lambda \, u _ { \lambda } ( z ).$$

This inequality, together with (43), completely gives the assertion.

Corollary 7.8. Let M 0 be such that L ∧ M 0 ∈ G λ,z , then

$$N _ { \overline { \mathcal { G } } _ { \lambda, z } } ( L \wedge M _ { 0 } ) \supset N _ { \overline { \mathcal { G } } _ { \lambda, z } } ( L \wedge M ) \quad \text{for any } M > M _ { 0 }.$$

Moreover

$$\langle \mu, L \rangle \leq M _ { 0 } \ \ f o r \, \mu \in - N _ { \widetilde { \mathcal { G } } _ { \lambda, z } } ( L \wedge M ) \cap \mathfrak { P }, \, M \geq M _ { 0 }.$$

/square

Proof. Let M &gt; M 0 . If µ ∈ -N G λ,z ( L ∧ M ) ∩ P then by Lemma 7.7 and the very definition of normal cone, we have

$$\langle \mu, L \wedge M \rangle = \lambda \, u _ { \lambda } ( z ) \ \text{ and } \ \langle \mu, \Phi \rangle \geq \lambda \, u _ { \lambda } ( z ) \ \text{ for } \Phi \in \mathcal { G } _ { \lambda, z }.$$

This implies that 〈 µ, L ∧ M 0 〉 ≥ λu λ ( z ). On the other side, since L ∧ M ≥ L ∧ M 0 , the opposite inequality holds true as well. We deduce that

$$\langle \mu, L \wedge M _ { 0 } \rangle = \lambda \, u _ { \lambda } ( z ),$$

which in turn implies that µ ∈ -N G λ,z ( L ∧ M 0 ) ∩ P showing the first part of the assertion.

We claim that

$$\text{supp} \, \mu \subset \{ ( x, q ) \, | \ L ( x, q ) \leq M _ { 0 } \} = \colon W.$$

If not, there should be ( x , q 0 0 ) ∈ supp µ with L x , q ( 0 0 ) &gt; M 0 . There thus should exist a neighborhood U of ( x , q 0 0 ) with µ U ( ) &gt; 0 and

$$M \geq L ( x, q ) > M _ { 0 } \quad \text{for any } ( x, q ) \in U \text{ and a some } M > M _ { 0 },$$

so that and consequently

$$\int _ { U } L \wedge M \, d \mu = \int _ { U } L \, d \mu > \int _ { U } L \wedge M _ { 0 } \, d \mu$$

$$\langle \mu, L \wedge M \rangle > \langle \mu, L \wedge M _ { 0 } \rangle$$

in contrast to what shown above. We finally have

$$\text{shown above. We finally have } \\ \langle \mu, L \wedge M \rangle = \int _ { W } L \, d \mu \leq M _ { 0 }.$$

Proposition 7.9. There is µ ∈ P such that

$$\langle \mu, \Phi \rangle \geq \langle \mu, L \rangle = \lambda \, u _ { \lambda } ( z )$$

for any Φ ∈ C ( R 2 N ) bounded from below and admitting a λ -discounted subsolution u with u z ( ) ≥ u λ ( z ) .

Proof. We consider an increasing positively diverging sequence M n with

$$L \wedge M _ { n } \in \partial \mathcal { G } _ { \lambda, z } \quad \text{for any } n,$$

and µ n ∈ -N G λ,z ( L ∧ M n ) ∩ P . According to Corollary 7.8, we have

$$\langle \mu, L \rangle \leq M _ { 1 }.$$

, up to subsequences.

This implies by Lemma 6.3 that µ n narrowly converges to some µ ∈ P

For any fixed j , we have that

$$\mu _ { n } \in - N _ { \overline { \mathcal { G } } _ { \lambda, z } } ( L \wedge M _ { j } ) \quad \text{for $n\geq j$}$$

and consequently

We deduce that

$$\lambda \, u _ { \lambda } ( z ) = \lim _ { n } \langle \mu _ { n }, L \wedge M _ { j } \rangle = \langle \mu, L \wedge M _ { j } \rangle$$

and we get by Monotone Convergence theorem, sending j to infinity

$$\langle \mu, L \rangle = \lambda \, u _ { \lambda } ( z ).$$

$$\lambda \, u _ { \lambda } ( z ) = \langle \mu _ { n }, L \wedge M _ { j } \rangle \quad \text{for } n \geq j.$$

If Φ is an element of R 2 N satisfying the properties in the statement, we have by Proposition 7.5 that

$$\Phi \wedge M _ { n } \in \overline { \mathcal { G } } _ { \lambda, z } \quad \text{for $n$ large enough}$$

then which implies

$$\cdot \rangle \geq \lambda \, u _ { \lambda } ( z ).$$

$$\lambda \, u _ { \lambda } ( z ) \leq \lim _ { j } \langle \mu _ { j }, \Phi \wedge M _ { n } \rangle = \langle \mu, \Phi \wedge M _ { n } \rangle$$

$$\langle \mu, \Phi \rangle \geq \lambda \, u _ { \lambda } ( z ).$$

This ends the proof.

Proof of Theorem 7.1. Given Φ, u as indicated in the statement, we have that

$$\Phi + \lambda \left ( u _ { \lambda } ( z ) - u ( z ) \right )$$

has a subsolution coinciding with u λ at z . We derive from Proposition 7.9 that there exists µ with

$$\langle \mu, \Phi \rangle + \lambda \left ( u _ { \lambda } ( z ) - u ( z ) \right ) \geq \lambda \, u _ { \lambda } ( z )$$

and

$$\rangle = \lambda \, u _ { \lambda } ( z ).$$

$$\langle \mu, L \rangle = \lambda \, u _ { \lambda } ( z ).$$

This gives the assertion.

Given z ∈ R N , λ &lt; λ z , we call ( λ, z )- Mather measure, any measure µ satisfying the statement of Theorem 7.1. We denote by M z,λ the set of such measures µ .

The formula (34) can be seen as an analog, to Hamilton-Jacobi equations, of the representation of solutions of linear elliptic PDE via Green's kernel or Poisson integral. In this regard, for µ ∈ M z,λ one may call the measure λ -1 µ a Green-Poisson measure associated with ( λ, z ).

## 8. Mather measures for the ergodic equation

We perform in this section a construction parallel to that of Section 7 to show existence of Mather measures for the ergodic equation.

The main result is:

Theorem 8.1. There is µ ∈ P such that

$$\langle \mu, \Phi \rangle \geq \langle \mu, L \rangle = 0$$

for any Φ ∈ C ( R 2 N ) bounded from below and admitting a subsolution.

We call Mather measure any measure satisfying the statement of Theorem 8.1. We denote by M the set of Mather measures. In Propositions 9.2 and 9.6 we will actually show something more, namely that any measure µ ∈ M is compactly supported and that the inequality 〈 µ, Φ 〉 ≥ 0 holds for any Φ admitting subsolution.

We start by:

Proposition 8.2. Given a ball B , there exists R &gt; 0 such that if a locally Lipschitz function u satisfies

$$D u ( x ) \cdot q \leq L ( x, q ) - \varepsilon$$

for some ε &gt; 0 , a.e. x ∈ B , any q with | q | ≤ R , then u is strict subsolution of H u [ ] = 0 in B .

Proof. We set M = sup x ∈ B, q | | =1 L x, q ( ). Exploiting (10), we can select R &gt; 1 with

$$\inf _ { x \in B, | q | > R } \frac { L ( x, q ) } { | q | } > M.$$

If (44) holds true for such an R then which shows that | Du x ( ) | ≤ M -ε in B .

$$& \text{If } ( 4 4 ) \text{ holds true for such an } R \text{ then } \\ & | D u ( x ) | = D u ( x ) \cdot \frac { D u ( x ) } { | D u ( x ) | } \leq L \left ( x, \frac { D u ( x ) } { | D u ( x ) | } \right ) - \varepsilon \quad \text{ for a.e. } x \in B, \\ & \text{which shows that } | D u ( x ) | < M - \varepsilon \text{ in } B. \text{ This in turn implies. in combination with } ( 4 5 )$$

This in turn implies, in combination with (45) Du x ( ) · q ≤ ( M -ε ) | q | ≤ L x, q ( ) -ε

for a.e. x ∈ B , any q with | q | &gt; R . This last inequality, together with (44), gives the assertion. /square

We consider the set G of elements Φ ∈ C b ( R 2 N ) such that there exist ε &gt; 0 and a Lipschitz continuous function u in B 0 with

$$D u ( x ) \cdot q \leq \Phi ( x, q ) - \varepsilon \quad \text{ for a,e, } x \in B _ { 0 }, \, | q | \leq R _ { 0 },$$

where B 0 is an open ball containing A , and so satisfying Proposition 5.1, and R 0 is the constant provided by Proposition 8.2 in correspondence to B 0 .

Proposition 8.3. The set G is a convex cone with vertex at 0 open in the strict topology.

Proof. The cone property of G is apparent. Given Φ 0 ∈ G satisfying (46), we claim that

$$\left \{ \Phi \ | \ \| \Phi - \Phi _ { 0 } \| _ { \infty, K } < \varepsilon / 2 \right \} \subset \mathcal { G },$$

where K = B 0 × B R . This will prove the assertion because the set in the left hand-side of the above formula is an open neighborhood of Φ 0 with respect to rhe compact-open topology, and consequently with respect to the strict topology. For φ belonging to it, we in fact have then

$$\Phi ( x, q ) \geq \Phi _ { 0 } ( x, q ) - \frac { \varepsilon } { 2 } \quad \text{ for } x \in \overline { B } _ { 0 }, \, q \in \overline { B } _ { R _ { 0 } },$$

$$\sum _ { \substack { \Phi ( x, q ) - \frac { \varepsilon } { 2 } \geq \Phi _ { 0 } ( x, q ) - \varepsilon \geq D u ( x ) \cdot q \quad \text{ for a.e. } x \in B _ { 0 }, \, \text{any } q \in B _ { R }. \quad \longrightarrow } }$$

This shows that Φ ∈ G .

/square

Arguing as in Proposition 7.5, we also get

Proposition 8.4. Given Φ ∈ C ( R 2 n ) bounded from below and possessing a subsolution u in R N , there exists M 0 such that u ∧ M ∈ G for M ≥ M 0 .

Proposition 8.5. There exists M 0 such that L ∧ M ∈ ∂ G for M ≥ M 0 .

Proof. By Propositions 4.2 and 8.4, we have that L ∧ M ∈ G for M suitably large, on the other hand L ∧ M cannot be in G otherwise by Proposition 8.2 H u [ ] = 0 should admit a strict subsolution in B 0 , which is against Proposition 5.1. /square

We derive arguing as in Corollary 7.8

Corollary 8.6. Let M 0 be such that L ∧ M 0 ∈ G , then

$$N _ { \overline { \mathcal { G } } } ( L \wedge M _ { 0 } ) \supset N _ { \overline { \mathcal { G } } } ( L \wedge M ) \quad f o r \, a n y \, M > M _ { 0 }.$$

Moreover

$$\langle \mu, L \rangle \leq M _ { 0 } \ \ f o r \ \mu \in - N _ { \overline { G } } ( L \wedge M ) \cap \mathfrak { P }, \ M \geq M _ { 0 }.$$

We finally get Theorem 8.1 with the same argument as in Proposition 7.9.

## 9. Properties of Mather measures

Proposition 9.1. Given z ∈ R N , λ &lt; λ z we have

$$\langle \mu, \lambda \, \psi + D \psi \cdot q \rangle = \lambda \, \psi ( z )$$

for any ( λ, z ) -Mather measure µ , ψ ∈ C 1 ( R N ) , constant outside a compact subset.

Proof. We define

$$\overline { L } _ { n } ( x, q ) \ = \ \lambda \, \psi ( x ) + D \psi ( x ) \cdot q + \frac { 1 } { n } \left ( L ( x, q ) \vee 0 \right )$$

$$\underline { L } _ { n } ( x, q ) \ = \ - \lambda \, \psi ( x ) - D \psi ( x ) \cdot q + \frac { \ddot { \i } } { n } \, ( L ( x, q ) \vee 0 ).$$

$$& + \frac { 1 } { n } \left ( L ( x, q ) \vee 0 \right ) \\ & q + \frac { 1 } { n } \left ( L ( x, q ) \vee 0 \right ). \\ & \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdots$$

It is clear that both L n ( x, q ), L n ( x, q ) are bounded from below and the functions ± ψ are λ -discounted subsolution for L n , L n , respectively. We then derive from Theorem 7.1 that

$$\langle \mu, \overline { L } _ { n } \rangle \geq \lambda \, \psi ( z ) \quad \text{and} \quad \langle \mu, \underline { L } _ { n } \rangle \geq - \lambda \, \psi ( z ),$$

which implies

$$| \langle \mu, D \psi \cdot q \rangle & + \lambda \, \langle \mu, \psi \rangle - \lambda \, \psi ( z ) | \leq \frac { 1 } { n } \, \langle \mu, ( L ( x, q ) \vee 0 ) \rangle. \\. &. &. &. &. &. &. &. &.$$

Taking into account that 〈 µ, L ∨ 0 〉 is finite because L ∨ 0 is a compact perturbation of L , we further deduce sending n to infinity.

$$\langle \mu, \lambda \, \psi + D \psi \cdot q \rangle = \lambda \, \psi ( z ).$$

/square

Proposition 9.2. Any µ ∈ M is compactly supported. More precisely there exists M &gt; 0 such that satisfying

$$\text{supp} \, \mu \subset \mathcal { A } \times B _ { M } \quad \text{for any} \, \mu \in \mathfrak { M }$$

Proof. Let µ be a Mather measure, we first prove that the support of the first marginal of µ , denoted by µ 1 , is contained in the Aubry set, which is compact in force of Proposition 4.3. Assume by contradiction that there exists y ∈ supp µ 1 \ A . This means that

$$\mu _ { 1 } ( U ) = \mu ( U \times \mathbb { R } ^ { N } ) > 0 \text{ \ for any neighborhood } U \text{ of } y.$$

By Proposition A.2 there exists ε &gt; 0, a neighborhood U 0 of y in R N , and a locally Lipschitz continuous function v : R N → R with

$$D v ( x ) \cdot q \ \leq \ L ( x, q ) \quad \text{a.e. in } \mathbb { R } ^ { N }$$

$$D v ( x ) \cdot q \ \leq \ L ( x, q ) - \varepsilon \quad \text{a.e. in } U _ { 0 }$$

We define

$$\overline { L } ( x, q ) = L ( x, q ) - \rho ( x ),$$

where ρ is a continuous nonnegative function supported in U 0 with max ρ = . We derive ε from (47), (48) that L admits v as subsolution and is in addition bounded from below. On the other side, we get

$$; \det \begin{array} { c } \\ \langle \mu, \overline { L } \rangle = \langle \mu, L \rangle - \int _ { U _ { 0 } } \rho \, d \mu _ { 1 } < 0, \end{array}$$

in contrast with the definition of Mather measure. We have therefore found that the projection of supp µ with respect to the first component is contained in A . Let B a ball in R N containing A . We set

$$R = \sup \{ | p | \ | \ H ( x, p ) \leq 0, \, x \in B \},$$

then R is a Lipschitz constant in B for any subsolution to H u [ ] = 0. According to (10), we can further choose a positive constant M with

$$L ( x, q ) > R \, | q | \quad \text{for any } x \in B, \, | q | > M - 1$$

We claim that

$$\text{supp } \mu \subset \mathcal { A } \times B _ { M }.$$

In fact, assume for purposes of contradiction that there is ( y , q 0 0 ) ∈ supp µ with y 0 ∈ A , | q 0 | ≥ M . We take a neighborhood W of ( y , q 0 0 ) in R N × R N with W ⊂ B ×{| | q &gt; M - } 1 such that

$$L ( x, q ) > R \left | q \right | + \varepsilon \quad \text{ for any } ( x, q ) \in W, \, \text{some } \varepsilon > 0.$$

We proceed defining

˜ L x, q ( ) = L x, q ( ) -˜ ρ x, q ( ) , where ˜ ρ is a continuous nonnegative function supported in W with max ˜ ρ = ε . Due to (49), (50), we see that any subsolution for L is still a subsolution for ˜ L , and ˜ L is bounded from below. With the same computations as in the first part of the proof, we find that which is impossible.

/square

$$\langle \mu, \widetilde { L } \rangle < 0$$

Looking back to the proof of the previous proposition, we realize that the argument actually shows a more general property.

Corollary 9.3. Let µ ∈ P such that 〈 µ, L 〉 = 0 and 〈 µ, Φ 〉 ≥ 0 for all Φ admitting subsolutions such that

$$( 5 1 ) \quad \ \ \Phi ( x, q ) = L ( x, q ) \quad \ \ i n \ ( \mathbb { R } ^ { N } \times \mathbb { R } ^ { N } ) \, \bigwedge K, \, \text{with } K \subset \mathbb { R } ^ { 2 N } \ c o m p a c t.$$

Then µ is compactly supported.

Corollary 9.4. The set M is a nonempty compact subset of the space of Radon measures endowed with the narrow topology.

Proof. This is a consequence of all Mather measure being supported in the same compact, according to Proposition 9.2. The same holds true for any narrow limit µ of sequences µ n in M , therefore

$$\Phi _ { \Phi } \Phi _ { \Phi } \to \langle \mu, \Phi \rangle \quad \text{ for any } \Phi \in C ( \mathbb { R } ^ { 2 N } ).$$

We say that a measure µ is closed if

$$\langle \mu, D u \cdot q \rangle = 0 \quad \text{ for any $C^{1}$ function $u$.}$$

We say in addition that it is locally closed if the above equality holds true just for C 1 functions with compact support. For a compactly supported measure the properties of being closed or locally closed are equivalent.

Proposition 9.5. All the measures µ ∈ M are closed.

Proof. Given µ ∈ M , we consider a C 1 function ψ on R N , and set for ε &gt; 0

$$\overline { L } _ { \varepsilon } ( x, q ) = D \psi ( x ) \cdot q + \varepsilon \left ( L ( x, q ) \vee 0 \right ) \quad \underline { L } _ { \varepsilon } ( x, q ) = - D \psi ( x ) \cdot q + \varepsilon \left ( L ( x, q ) \vee 0 \right )$$

The argument goes along the same lines as in Proposition 9.1. The functions ± u are subsolutions corresponding to L ε , L ε , so that

$$- \varepsilon \langle \mu, ( L ( x, q ) \vee 0 ) \rangle \leq \langle \mu, D u \cdot q \rangle \leq \varepsilon \langle \mu, ( L ( x, q ) \vee 0 ) \rangle.$$

Since 〈 µ, L ∨ 0 〉 is finite, and ε is arbitrary, we derive from (52)

$$\langle$$

$$\langle \mu, D u \cdot q \rangle = 0. \tag* { \square }$$

We finally get a characterization of M .

Proposition 9.6. The following conditions are equivalent:

- (i) µ ∈ M ;
- (ii) µ is locally closed and 〈 µ, L 〉 = 0
- (iii) 〈 µ, L 〉 = 0 and any Φ admitting subsolution is integrable with respect to µ with 〈 µ, Φ 〉 ≥ 0 .

Proof. The implication ( ) i ⇒ ( ii ) has been already proved in Proposition 9.5. We proceed proving ( ii ) ⇒ ( iii ). Let µ be a measure satisfying (ii) .

We take Φ admitting subsolution and coinciding with L outside a compact of R 2 N , namely satisfying (51), then the critical value of Φ is less than or equal 0, and the corresponding Hamiltonian H Φ satisfies (A1)-(A3). We can therefore apply Proposition 2.1 to H Φ and find that there is a compactly supported subsolution for Φ, say u .

Given ε &gt; 0, we can regularize u obtaining a compactly supported smooth function u which is subsolution for Φ + ε . Exploiting that µ is locally closed, we get

$$\langle \mu, \Phi + \varepsilon \rangle \geq \langle \mu, D \overline { u } \cdot q \rangle = 0$$

and the positive quantity ε being arbitrary

$$\langle \mu, \Phi \rangle \geq 0.$$

This implies by Corollary 9.3 that µ is compactly supported, and consequently any function of C ( R 2 N ) is integrable with respect to µ . We proceed proving that 〈 µ, Φ 〉 ≥ 0 for any Φ admitting subsolution. We denote by B an open ball of R N such that supp µ ⊂ B × R N . Taken ε &gt; 0 and Φ admitting a subsolution u , we can regularize u in some open ball containing B obtaining a function ¯ of class u C 1 in B such that

$$\Phi ( x, q ) + \varepsilon \geq D \bar { u } ( x ) \cdot q \quad \text{ for } ( x, q ) \in B \times \mathbb { R } ^ { N }.$$

Exploiting that supp µ ⊂ B × R N and that µ is closed, we therefore get

$$\langle \mu, \Phi + \varepsilon \rangle \geq \langle \mu, D u \cdot q \rangle = 0.$$

This proves the claim since ε has been arbitrarily chosen. The implication ( iii ) ⇒ ( ) i is trivial. /square

## 10. Asymptotic results

The first asymptotic result is:

Theorem 10.1. Given z ∈ R N and an infinitesimal sequence λ j &lt; λ z , we consider a sequence µ j ∈ M λ ,z j , then µ j narrowly converges, up to subsequences, to a probability measure µ ∈ M .

Proof. Since the sequence 〈 µ , L j 〉 = λ u j λ j ( z ) is bounded by Proposition 3.1, Lemma 3.4, we get that µ j narrowly converges to some measure µ , up to subsequences, in force of Lemma 6.3. Let ψ ∈ C 1 c , then by Proposition 9.1

$$\langle \mu _ { j }, \lambda _ { j } \, \psi + D \psi \cdot q \rangle = \lambda _ { j } \, \psi ( z ).$$

Since ψ is compactly supported, then

$$\langle \mu _ { j }, \psi \rangle \rightarrow \langle \mu, \psi \rangle \quad \text{as $j\rightarrow+\infty$}$$

and by Lemma 6.4

$$\langle \mu _ { j }, D \psi \cdot q \rangle \to \langle \mu, D \psi \cdot q \rangle \quad \text{as $j\to+\infty$}.$$

Sending j to infinity, we thus derive from (53) that 〈 µ, Dψ · q 〉 = 0, or in other terms that µ is locally closed. We further deduce via regularization of a compactly supported subsolution for L , which does exist by Proposition 2.1

$$\langle \mu, L \rangle \geq 0.$$

On the other side, we have by Lemma 6.2

$$0 = \lim _ { j } \lambda _ { j } \, u _ { \lambda _ { j } } ( z ) = \lim _ { j } \langle \mu _ { j }, L \rangle \geq \langle \mu, L \rangle$$

so that

〈

µ, L

〉

= 0

This concludes the proof in force of the characterization of Mather measures provided in Proposition 9.6. /square

We define

$$( 5 5 ) \quad \ \ w ( x ) = \max \{ v ( x ) \ | \ v \text{subsolution to } ( \text{P} ) \text{ with } \langle \mu, v \rangle \leq 0 \ \forall \mu \in \mathfrak { M } \}$$

Proposition 10.2. The function w defined above is a weak KAM solution.

Proof. As maximum of subsolutions, w is a subsolution to (EP). Since all the Mather measures are supported in A× R N , then w is the maximum of subsolutions with a given trace on A . This implies the assertion by Lemma 4.5. /square

We give an alternative formula for w using the Peierls barrier.

Theorem 10.3. The function w defined in (55) coincide with

$$\min \{ \langle \mu, P _ { 0 } ( \cdot, x ) \rangle \ | \ \mu \in \mathfrak { M } \} \ \text{ for } x \in \mathbb { R } ^ { n }.$$

↦

Proof. We denote by u the function defined in (56). We know that the function x → P 0 ( y, x ) is a weak KAM solution for any y . By the convexity of H x,p ( ) in the variables p , we deduce that the function x → 〈 µ, P 0 ( · , x ) 〉 is a subsolution of (EP) and the same holds true for u .

↦

Next, we show that w ≤ u in R n . Since w is a subsolution o (EP), we have

$$w ( x ) - w ( y ) \leq P _ { 0 } ( y, x ) \text{ \ for all } x, y \in \mathbb { R } ^ { n }.$$

Integration of both sides of the above in y with respect to µ ∈ M yields

$$w ( x ) \leq \langle \mu, w \rangle + \langle \mu, P _ { 0 } ( \cdot, x ) \rangle \leq \langle \mu, P _ { 0 } ( \cdot, x ) \rangle.$$

This shows that u ≤ w in R n .

Since -S 0 ( · , z ) is a subsolution of (EP), the function

↦

$$y \mapsto - P _ { 0 } ( x, y ) = \max _ { z \in \mathcal { A } } ( - S _ { 0 } ( x, z ) - S _ { 0 } ( z, y ) )$$

↦

is a subsolution as well. Thus, the function y →-P 0 ( x, y ) + u x ( ) is a subsolution of (EP) for all x ∈ R n . Integrating this function with respect to µ ∈ M , we get

$$\langle \mu, - P _ { 0 } ( \cdot, x ) + u ( x ) \rangle = - \langle \mu, P _ { 0 } ( \cdot, x ) \rangle + \inf _ { \nu \in \mathfrak { M } } \langle \nu, P _ { 0 } ( \cdot, x ) \rangle \leq 0.$$

The definition of w in (55) guarantees that

$$w ( y ) \geq - P _ { 0 } ( y, x ) + u ( x ) \text{ \ for all } x, y \in \mathbb { R } ^ { n }.$$

In particular, we have in view of Lemma A.3

$$w ( z ) \geq u ( z ) \ \text{ for all } z \in \mathcal { A }.$$

Since w is a weak KAM solution and u a subsolution, the inequality above ensures that u ≤ w in R n . Thus, we conclude that u = w in R n . /square

We proceed proving the main result:

Theorem 10.4. The functions u λ locally uniformly converge to w defined as in (55) / (56) .

A lemma is preliminary:

Lemma 10.5. We have that

$$\langle \mu, u _ { \lambda } \rangle \leq 0 \quad \text{for any $\lambda > 0$, any Mather measure $\mu$.}$$

Proof. The function u λ is a subsolution for L -λu λ . We then get by Proposition 9.6

$$0 \leq \langle \mu, L - \lambda \, u _ { \lambda } \rangle = - \lambda \, \langle \mu, u _ { \lambda } \rangle.$$

showing the assertion.

$$\Box$$

Proof of Theorem 10.4. Let v be such that u λ j → v for some sequence λ j converging to 0. We fix z ∈ R N and assume λ j &lt; λ z . We denote by µ j a sequence of ( λ , z j )-Mather measures. Owing to Theorem 10.1, the µ j converge, up to subsequences, to some probability measure µ ∈ M .

We apply Proposition 2.1 to the function w defined in (55) with the compact subset K = A∪{ } z . We obtain in this way a bounded subsolution ¯ to w H u [ ] = 0, coinciding with w on A∪{ } z , which is at the same time a λ j -discounted subsolution for L + λ w j ¯. Since L + λ w j ¯ is bounded from below, we get by Theorem 7.1

$$\langle \mu _ { j }, L + \lambda _ { j } \, \bar { w } \rangle \geq \lambda _ { j } \, w ( z )$$

and consequently

$$u _ { \lambda _ { j } } ( z ) + \langle \mu _ { j }, \bar { w } \rangle \geq w ( z ).$$

$$u _ { \lambda _ { j } } ( z ) + \langle \mu _ { j }, \bar { w } \rangle \geq w ( z ).$$

The function ¯ is a critical subsolution agreing with w w on the Aubry set, and so ¯ w ≤ w on R N . We deduce from the definition of w in (55)

$$\langle \mu, \bar { w } \rangle \leq \langle \mu, w \rangle \leq 0,$$

and we get passing to the limit in (57) as j → + ∞

$$( 5 8 )$$

$$v ( z ) \geq w ( z ).$$

On the other side, given any ν ∈ M ,

$$\mathfrak { M }, \, & \text{we have by Lemma $10.5$} \\ \langle \nu, u _ { \lambda _ { j } } \rangle \leq 0$$

and, being ν compactly supported

$$\langle \nu, u _ { \lambda _ { j } } \rangle \longrightarrow \langle \nu, v \rangle,$$

which gives

$$\langle \nu, v \rangle \leq 0.$$

This last relation and (58) imply, by the maximality of w w z , ( ) = v z ( ). This concludes the proof since z has been chosen arbitrarily. /square

## 11. Mather set

↦

The (projected) Mather set M is defined as the image by the projection (( x, q ) → x ) of the set

$$\overline { \bigcup _ { \mu \in \mathfrak { M } } \text{supp } \mu }.$$

The main result of the section is:

Theorem 11.1. Let u 0 be a weak KAM solution of (EP) . Then

$$u _ { 0 } ( x ) = \max \{ v ( x ) \ | \ v \ w e a k { \ K A M \, s o l u t i o n \, w i t h } \ \langle \mu, w - u _ { 0 } \rangle \leq 0 \, \forall \, \mu \in \mathfrak { M } \}$$

Note that by Lemma 4.5 the right hand-side of the above formula is equal to

$$\max \{ v ( x ) \, | \, v \, \text{subslint to } ( \text{EP} ) \, \text{with } \langle \mu, w - u _ { 0 } \rangle \leq 0 \, \forall \, \mu \in \mathfrak { M } \}.$$

By the very definition of M , we have

Accordingly, Theorem 11.1 readily yields the following proposition.

$$\text{ very definition of $\mathfrak{M}$, we have} \\ \int _ { \mathbb { R } ^ { 2 N } } \psi ( x ) \, d \mu = \int _ { \mathcal { M } \times \mathbb { R } ^ { N } } \psi ( x ) \, d \mu \quad \text{for $\psi \in C(\mathbb { R } ^ { N } ), \mu \in \mathfrak{M}$.} \\ \text{ingly, Theorem 11.1 readily yields the following proposition.}$$

Corollary 11.2. Let v, w be weak KAM solutions of (EP) . Assume that v ≤ w in M , then v ≤ w in R N .

Remark by Proposition 9.2 that M ⊂ A . The corollary above claims that M is an uniqueness set of (EP), that is, if v , w are two weak KAM solutions of (EP) and v = w in M , then v = w in R N . see [12], and [15], [14] for related results.

In our proof, we consider the following variation of the discount problem

$$\lambda v + H ( x, D v ( x ) ) = \lambda u _ { 0 } ( x ) \ \text{ in } \mathbb { R } ^ { N },$$

where λ is a given positive constant and u 0 is a weak KAM solution as in Theorem 11.1. Here it is obvious that u 0 is a solution of (59).

Lemma 11.3. Let u 0 be a weak KAM solution. Then, u 0 is a maximal subsolution of (59) .

Proof. Assume by contradiction that there is an usc subsolution v of (59) with v x ( ) &gt; u 0 ( x ) at some point x . Since the maximum of two subsolutions is still a subsolution, we can assume in addition that v ≥ u 0 in R N . Therefore

$$H ( x, D v ) \leq \lambda \left ( u _ { 0 } ( x ) - v ( x ) \right ) \leq 0$$

so that v is a subsolution to (EP) and is locally Lipschitz-continuous. By Lemma A.2 we further derive that v = u 0 on A . Since u 0 is a weak KAM solution, this implies that u 0 ≥ v in R N , which is contradictory. /square

Proof of Theorem 11.1. By Proposition 2.1 there exists a subsolution ¯ of (EP) coinciding u with u on A and constant at infinity. By regularization we get for any ε &gt; 0 a sequence ¯ u ε of C 1 functions satisfying

$$| \bar { u } _ { \varepsilon } ( x ) - \bar { u } ( x ) | \ < \ \varepsilon \quad \text{ for } x \in \mathbb { R } ^ { N }. \\ | \bar { u } _ { \varepsilon } ( x ) - u _ { 0 } ( x ) | \ < \ \varepsilon \quad \text{ for } x \in \mathcal { A }.$$

Taking into account that u 0 is a weak KAM solution we derive from Lemma 4.5

$$\bar { u } _ { \varepsilon } ( x ) \leq \bar { u } ( x ) + \varepsilon \leq u _ { 0 } ( x ) + \varepsilon \quad \text{for } x \in \mathbb { R } ^ { N }.$$

We consider the equations

$$\lambda \, u + H ( x, D u ) \ & = \ \lambda \, \bar { u } _ { \varepsilon } \\ ( 6 1 ) \quad & \lambda \, u + H ( x, D u - D \bar { u } _ { \varepsilon } ( x ) ) \ & = \ 0$$

It is easy to check that u is a subsolution to (60) if and only if u -¯ u ε is a subsolution of (61). Since u 0 + ε is the maximal solution of

$$\lambda \, u + H ( x, D u ) = \lambda \, ( u _ { 0 } + \varepsilon )$$

by Lemma 11.3 and u 0 + ε ≥ ¯ u ε in R N , we deduce that

$$u _ { 0 } + \varepsilon \geq u \quad \text{for any subsolution to } (60).$$

We define the Lagrangian

$$L _ { \varepsilon } ( x, q ) = L ( x, q ) + D \bar { u } _ { \varepsilon } ( x ) \cdot q$$

corresponding to the Hamiltonian H x,Du ( -Du ¯ ( ε x )). A function u is subsolution to H u [ ] = a , for any a ∈ R , if and only if u -¯ u ε is subsolution to H x,Du ( + Du ¯ ( ε x )) = a , this implies that L and L ε has both 0 as critical value. In addition, Mather measures being closed, we have that M = M ( L ε ), where M ( L ε ) indicates the Mather measures associated to L ε . By applying Theorem 10.4 to L ε , we see that the maximal subsolutions of (61) converge to

$$\max \{ u \, \text{subslant} \, \text{for } L _ { \varepsilon } \, \text{with } \langle \mu, u \rangle \leq 0 \, \forall \, \mu \in \mathfrak { M } \} \quad = \\ \max \{ u - \bar { u } _ { \varepsilon } \, | \, \ u \, \text{subslant} \, \text{for } L \, \text{with } \langle \mu, u \rangle \leq \langle \mu, \bar { u } _ { \varepsilon } \rangle \, \forall \, \mu \in \mathfrak { M } \}$$

We derive that

$$u _ { 0 } ( x ) + \varepsilon \ & \geq \ \max \{ u ( x ) \ \text{ subs}ln \text{ for } L \text{ with } \langle \mu, u \rangle \leq \langle \mu, \bar { u } _ { \varepsilon } \rangle \, \forall \, \mu \in \mathfrak { M } \} \\ & \geq \ \max \{ u ( x ) \ \text{ subs}ln \text{ for } L \text{ with } \langle \mu, u \rangle \leq \langle \mu, u _ { 0 } \rangle \, \forall \, \mu \in \mathfrak { M } \} - \varepsilon \\ & \geq \ \max \{ u _ { 0 } ( x ) - 2 \, \varepsilon \\ \dots \quad. \quad. \quad. \quad.$$

We get the assertion sending ε to 0.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00869v1-figure-9451c944-03ed-4e2a-9242-550214ba4d8a.jpg)

## Appendix A. Weak KAM facts

We define an intrinsic (semi)distance S 0 ( · , · ) in R N related to the ergodic equation (see [12, 15] and also [16]) via

$$S _ { 0 } ( x, y ) = \sup \{ u ( y ) - u ( x ) \ | \ u \text{subsolution of (EP)} \} \ \text{ for } x, y \in \mathbb { R } ^ { N }.$$

↦

Since the family of subsolution to (EP) vanishing at some point y ∈ R N , is locally equiLipschitz continuous and, hence, locally uniformly bounded in R N , the function x → S 0 ( x, y ) is well-defined as a locally Lipschitz continuous function in R N .

↦

↦

Moreover, because of the stability of the viscosity properties under locally uniform convergence, the function x → S 0 ( x, y ) is a subsolution of (EP) for any y ∈ R N . It is clear that S 0 ( x, x ) = 0 for all x ∈ R N and that S 0 ( x, y ) ≤ S 0 ( x, z ) + S 0 ( z, y ) for all x, y, z ∈ R N . In view of the Perron method, for any y ∈ R N , the function x → S 0 ( x, y ) is a solution of (EP) in R N \ { y } .

Due to the convexity of H in p , it turns out that S 0 is the geodesic distance related to a length functional of the curves in R N . We define

$$\sigma _ { 0 } ( x, q ) = \max \{ p \cdot q \ | \ H ( x, p ) \leq 0 \} \ \text{ for } ( x, q ) \in \mathbb { R } ^ { N } \times \mathbb { R } ^ { N }$$

and, given a (Lipschitz continuous) curve ξ : [0 , 1] → R N , we set

Note that the above integral is invariant for orientation preserving change of parameter. We have

$$\text{uous} \, \text{curve} \, \xi \, \colon [ 0, 1 ] \rightarrow \mathbb { K } \cdot \mathfrak { w } \\ \ell _ { 0 } ( \xi ) = \int _ { 0 } ^ { 1 } \sigma _ { 0 } ( \xi, \dot { \xi } ) \, d t. \\ \text{is invariant for orientation pr}$$

$$\begin{array} { r c l } \cdots \, \text{and} \, \cdots \\ S _ { 0 } ( y, x ) & = & \inf \{ \ell _ { 0 } ( \xi ) \, | \, \xi \, \colon [ 0, 1 ] \to \mathbb { R } ^ { N } \text{ with } \xi ( 0 ) = y, \xi ( 1 ) = x \} \\ & = & \inf \left \{ \int _ { 0 } ^ { T } L ( \zeta, \dot { \zeta } ) \, d t \, | \, T > 0, \zeta \, \colon [ 0, T ] \to \mathbb { R } ^ { N } \text{ with } \zeta ( 0 ) = y, \zeta ( T ) = x \right \}. \\ \text{We define the Aubry set } \mathcal { A } \text{ as} \end{array}$$

We define the Aubry set A as

$$\mathcal { A } = \{ y \in \mathbb { R } ^ { N } \ | \ S _ { 0 } ( y, \cdot ) \ \text{ is a solution to } H = 0. \}$$

Proposition A.1. An element y ∈ A if and only there is a sequence ξ n of cycles based on y with

$$\inf _ { n } \ell ( \xi _ { n } ) > 0, \quad \lim _ { n } \ell _ { 0 } ( \xi _ { n } ) = 0.$$

Proof. One can argue as in [16, Lemma Proposition 5.4 - Lemma 5.5].

/square

/negationslash

Proposition A.2. Given x ∈ R N , if there is a subsolution of (EP) which is strict in some neighborhood of x then x ∈ A , conversely if x ∈ A there exists a subsolution of (EP) which is strict in some neighborhood of x .

/negationslash

Proof. If such a subsolution u does exist for x ∈ A , we find by maximality properties of S 0 ( · , x ), that the function u x ( ) + S 0 ( x, · ) is supertangent to u at x . Being S 0 ( · , x ) solution, there is p 0 ∈ ∂u x ( ) (the generalized gradient of u at x ), with H x,p ( 0 ) ≥ 0, on the other side, being u strict subsolution, any p ∈ ∂u x ( ) satisfies H x,p ( ) &lt; 0, which is contradictory.

/negationslash

Conversely, if x ∈ A , then S 0 ( x, · ) is not a solution to (EP) and there exists consequently a strict subtangent to S 0 ( x, · ) at x with H x,Dψ x ( ( )) &lt; 0, then the function

$$\min \{ S _ { 0 } ( x, \cdot ), \psi + a \}$$

is a subsolution of (EP) locally strict around x , for a suitable choice of a &gt; 0.

The function P 0 in R 2 N given by

$$P _ { 0 } ( x, y ) = \min _ { z \in \mathcal { A } } [ S _ { 0 } ( x, z ) + S _ { 0 } ( z, y ) ] \ \text{ for } x, y \in \mathbb { R } ^ { N }$$

is called the Peierls barrier. See [17, Proposition 3.7.2] and [7,15,19,20].

Lemma A.3. For any z ∈ R N , P 0 ( z, z ) = 0 if and only if z ∈ A .

Proof. First of all, we examine some properties of the function P 0 . Since

$$0 = S _ { 0 } ( x, x ) \leq S _ { 0 } ( x, y ) + S _ { 0 } ( y, x ) \text{ \ for all } x, y \in \mathbb { R } ^ { N },$$

↦

we find that P 0 ( x, x ) ≥ 0 for all x ∈ R N . Note next that if z ∈ A , then the function x → S 0 ( z, x ) is a weak KAM solution of (EP). Hence, the function x → P 0 ( y, x ) is a weak KAM solution of (EP) as well, for any y ∈ R N . We note by the triangle inequality for S 0 that for any x, y ∈ R N ,

↦

$$S _ { 0 } ( x, y ) \leq \min _ { z \in \mathcal { A } } [ S _ { 0 } ( x, z ) + S _ { 0 } ( z, y ) ] = P _ { 0 } ( x, y ).$$

Now, we assume that z ∈ A . We have

$$0 \leq P _ { 0 } ( z, z ) \leq S _ { 0 } ( z, z ) + S _ { 0 } ( z, z ) = 0.$$

Hence, P 0 ( z, z ) = 0.

↦

Next, assume that S 0 ( z, z ) = 0. We need to show that the function x → S 0 ( z, x ) is a solution of (EP). In fact, since the function x → S 0 ( z, x ) is a solution of (EP) in R N \ { z } , we only need to show that H z, Dψ z ( ( )) ≥ 0 for all C 1 subtangent ψ to S 0 ( z, · ) at z . Indeed, such a function is also subtangent to P 0 ( z, · ) at z , and the sought inequality comes from P 0 ( z, · ) being solution to (EP). This completes the proof. /square

↦

## Appendix B. Strict topology

We denote by C 0 ( R 2 N ), C c ( R 2 N ) the space of compactly supported and vanishing at infinity continuous functions, respectively. We endow the space of continuous bounded functions in R 2 N , denoted by C b ( R 2 N ), with the strict topology. It is is the locally convex Hausdorff topology defined by the family of seminorms

$$\{ \| \cdot \| _ { \Psi } \, | \, \Psi \in C _ { 0 } ( \mathbb { R } ^ { 2 N } ) \},$$

where

$$\| \Phi \| _ { \Psi } = \left \| \Phi \, \Psi \right \| _ { \infty } \quad \text{for any } \Psi \in C _ { b } ( \mathbb { R } ^ { 2 N } ).$$

We recall that the compact open topology is instead given by the seminorms

$$\{ \| \cdot \| _ { \Psi } \, | \, \Psi \in C _ { c } ( \mathbb { R } ^ { 2 N } ) \}.$$

It induces the local uniform convergence and a base of neighborhoods at any given Φ 0 ∈ C b ( R 2 N ) is given by

$$\{ \Phi \, | \, \| \Phi - \Phi _ { 0 } \| _ { \infty, K } < \varepsilon \} \quad \text{with $K$ compact subset of $\mathbb{R}^{N}$, $\varepsilon>0$.}$$

The strict topology is stronger than the compact-open topology since it has a larger class of defining seminorms. Any open set for the compact-open topology is consequently an open set for the strict one. Further, the strict topology is weaker than the topology induced by ‖ · ‖ ∞ . Also recall that the completion of C c ( R 2 N ) with respect to the norm topology is C 0 ( R 2 N ), while it is C b ( R 2 N ) in the strict topology.

/square

The interest of introducing the strict topology is that we get in this frame a nice generalization of Riesz representation theorem, namely the topological dual of C b ( R 2 N ) is the space of signed Radon measures with bounded variation, the normalized positive elements are then Radon probability measures, see [3]. The corresponding weak star topology on the dual, namely the weakest topology for which

↦

is continuous for any Φ ∈ C b ( R 2 N ) is called the narrow topology. Accordingly a sequence of measures µ n narrow converges to some µ if

$$\text{ack topology $t$} \\ \mu \mapsto \int \Phi \, d \mu \\ \text{s called the narr} c$$

$$n \text{ narrow converges to some } \mu \text{ it} \\ \int \Phi \, d \mu _ { n } \rightarrow \int \Phi \, d \mu \quad \text{ for any } \Phi \in C _ { b } ( \mathbb { R } ^ { 2 N } ). \\ \text{slippery because the bounded signed Radon measures make } \mu |$$

The matter is slippery because the bounded signed Radon measures make up the topological dual of C 0 ( R 2 N ) with the norm topology as well, but the induced weak star topology, the so-called vague topology, is strictly weaker than the narrow topology. Regarding the dual of C b ( R 2 N ) with the norm topology, it is given by the bounded signed measures on the Stone-Cech compactification of R 2 N .

## Appendix C. Separation theorem

Let X be a general locally convex Hausdorff space, we indicate by X ∗ its topological dual and by ( · , · ) the pairing between X ∗ and X . Given a closed convex subset E and x ∈ ∂E , we denote by N E ( x ) the normal cone to E at X , defined as

$$N _ { E } ( x ) = \{ p \in X ^ { * } \ | \ ( p, y - x ) \leq 0 \text{ for any } y \in E \}.$$

Note that in contrast to what happens for finite dimensional spaces, in the infinite dimensional case N E ( x ) can reduce to { } 0 , see for instance [4]. However we have

Proposition C.1. Let E be a closed convex subset of X with nonempty interior, then N E ( x ) contains nonzero elements for any x ∈ ∂E .

This is actually a simple consequence of the Hyperplane Separation theorem in locally convex Hausdorff spaces, see [18], which can be stated as follows:

/negationslash

/negationslash

Theorem C.2. Ler E be a convex subset of X with nonempty interior and y ∈ E . There exists 0 = p ∈ X ∗ with

$$( p, y ) \geq ( p, x ) \quad f o r \, a n y \, x \in E.$$

To get Proposition C.1 it is enough to use the property that the interior of any convex set is convex, and to apply the Hyperplane Separation theorem to the interior of E and to any point in ∂E .

## References

[1] Martino Bardi and Italo Capuzzo-Dolcetta, Optimal control and viscosity solutions of HamiltonJacobi-Bellman equations , Systems &amp; Control: Foundations &amp; Applications, Birkh¨user Boston, Inc., a Boston, MA, 1997. With appendices by Maurizio Falcone and Pierpaolo Soravia.

[2] Guy Barles, Solutions de viscosit´ des ´quations de Hamilton-Jacobi e e , Math´ ematiques &amp; Applications (Berlin) [Mathematics &amp; Applications], vol. 17, Springer-Verlag, Paris, 1994 (French, with French summary).

[3] R. Creighton Buck, Operator algebras and dual spaces , Proc. Amer. Math. Soc. 3 (1952), 681-687.

- [4] Francis Clarke, Functional analysis, calculus of variations and optimal control , Graduate Texts in Mathematics, vol. 264, Springer, London, 2013.
- [5] Michael G. Crandall, Hitoshi Ishii, and Pierre-Louis Lions, User's guide to viscosity solutions of second order partial differential equations , Bull. Amer. Math. Soc. (N.S.) 27 (1992), no. 1, 1-67.
- [6] Michael G. Crandall and Pierre-Louis Lions, Viscosity solutions of Hamilton-Jacobi equations , Trans. Amer. Math. Soc. 277 (1983), no. 1, 1-42.
- [7] Andrea Davini, Albert Fathi, Renato Iturriaga, and Maxime Zavidovique, Convergence of the solutions of the discounted Hamilton-Jacobi equation: convergence of the discounted solutions , Invent. Math. 206 (2016), no. 1, 29-55.
- [8] Lawrence C. Evans, Weak KAM theory and partial differential equations , Calculus of variations and nonlinear partial differential equations, Lecture Notes in Math., vol. 1927, Springer, Berlin, 2008, pp. 123-154.
- [9] , A survey of partial differential equations methods in weak KAM theory , Comm. Pure Appl. Math. 57 (2004), no. 4, 445-480, DOI 10.1002/cpa.20009. MR2026176
- [10] Wendell H. Fleming and H. Mete Soner, Controlled Markov processes and viscosity solutions , 2nd ed., Stochastic Modelling and Applied Probability, vol. 25, Springer, New York, 2006.
- [11] Diogo Aguiar Gomes, Duality principles for fully nonlinear elliptic equations , Trends in partial differential equations of mathematical physics, Progr. Nonlinear Differential Equations Appl., vol. 61, Birkh¨user, Basel, 2005, pp. 125-136. a
- [12] Hitoshi Ishii, Asymptotic solutions for large time of Hamilton-Jacobi equations in Euclidean n space , Ann. Inst. H. Poincar´ e Anal. Non Lin´aire e 25 (2008), no. 2, 231-266 (English, with English and French summaries).
- [13] Hitoshi Ishii, Hiroyoshi Mitake, and Hung V. Tran, The vanishing discount problem and viscosity Mather measures. Part 1: The problem on a torus , J. Math. Pures Appl. (9) 108 (2017), no. 2, 125-149.
- [14] Hiroyoshi Mitake and Hung V. Tran, On uniqueness set of additive eigenvalue problems and applications , arXiv:1801.05081v1 [math.AP], 1-10.
- [15] Albert Fathi, Weak KAM Theorem in Lagrangian Dynamics Preliminary Version Number 10 (2008).
- [16] Albert Fathi and Antonio Siconolfi, PDE aspects of Aubry-Mather theory for quasiconvex Hamiltonians , Calc. Var. Partial Differential Equations 22 (2005), no. 2, 185-228, DOI 10.1007/s00526-0040271-z. MR2106767
- [17] Gonzalo Contreras and Renato Iturriaga, Global minimizers of autonomous Lagrangians , 22 o Col´ oquio Brasileiro de Matem´ atica. [22nd Brazilian Mathematics Colloquium], Instituto de Matem´ atica Pura e Aplicada (IMPA), Rio de Janeiro, 1999. MR1720372
- [18] Michael Reed and Barry Simon, Methods of modern mathematical physics. I , 2nd ed., Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1980. Functional analysis.
- [19] Eman S. Al-Aidarous, Ebraheem O. Alzahrani, Hitoshi Ishii, and Arshad M. M. Younas, A convergence result for the ergodic problem for Hamilton-Jacobi equations with Neumann-type boundary conditions , Proc. Roy. Soc. Edinburgh Sect. A 146 (2016), no. 2, 225-242, DOI 10.1017/S0308210515000517. MR3475295
- [20] Qinbo Chen, Wei Cheng, Hitoshi Ishii, and Kai Zhao, Vanishing contact structure problem and convergence of the viscosity solutions , arXiv:1808.06046 [math.AP].

Institute for Mathematics and Computer Science, Tsuda University, 170 2-1-1 Tsuda, Kodaira, Tokyo 187-8577, Japan

E-mail address : hitoshi.ishii@waseda.jp

Department of Mathematics, Universit` degli Studi di Roma 'La Sapienza', Piazzale a Aldo Moro 5, 00185 Roma, Italy.

E-mail address : siconolf@mat.uniroma1.it
Hitoshi Ishii Antonio Siconolfi
The Vanishing Discount problem for Hamilton-Jacobi Equations in the Euclidean Space
We study the asymptotic behavior of the solutions to a family of discounted
Hamilton Jacobi equations, posed in the Euclidean N dimensional space, when the
discount factor goes to zero. The ambient space being noncompact, we introduce
an assumption implying that the Aubry set is compact and there is no degeneracy
at infinity. Our approach is to deal not with a single Hamiltonian and
Lagrangian but with the whole space of generalized Lagrangians, and then to
define via duality minimizing measures associated to both the corresponding
ergodic and discounted equations. The asymptotic result follows from
convergence properties of these measures with respect to the narrow topology.
We use as duality tool a separation theorem in locally convex Hausdorff spaces,
we use the strict topology in the space of the bounded generalized Lagrangians
as well.