Guy Barles
email: guy.barles@lmpt.univ-tours.fr

Olivier Ley
email: olivier.ley@insa-rennes.fr

AND Thi-Tuyen Nguyen
email: ttnguyen@math.unipd.it

Thanh Viet Phan
email: phanthanhviet@tdt.edu.vn

LARGE TIME BEHAVIOR OF UNBOUNDED SOLUTIONS OF FIRST-ORDER HAMILTON-JACOBI EQUATIONS IN THE WHOLE SPACE

Keywords: 2010 Mathematics Subject Classification. Primary 35F21, Secondary 35B40, 35Q93, 49L25 Hamilton-Jacobi equations, asymptotic behavior, ergodic problem, unbounded solutions, viscosity solutions

We study the large time behavior of solutions of first-order convex Hamilton-Jacobi Equations of Eikonal type set in the whole space. We assume that the solutions may have arbitrary growth. A complete study of the structure of solutions of the ergodic problem is provided : contrarily to the periodic setting, the ergodic constant is not anymore unique, leading to different large time behavior for the solutions. We establish the ergodic behavior of the solutions of the Cauchy problem (i) when starting with a bounded from below initial condition and (ii) for some particular unbounded from below initial condition, two cases for which we have different ergodic constants which play a role. When the solution is not bounded from below, an example showing that the convergence may fail in general is provided.

Introduction

This work is concerned with the large time behavior for unbounded solutions of the first-order Hamilton-Jacobi equation u t (x, t) + H(x, Du(x, t)) = l(x), in R N × (0, +∞), u(•, 0) = u 0 (•) in R N , (1.1) where H ∈ W 1,∞ loc (R N × R N ) satisfies There exists ν ∈ C(R N ), ν > 0 such that H(x, p) ≥ ν(x)|p|, (1.2) 0 = H(x, 0) < H(x, p) for p = 0, (1.3) H(x, •) is convex, (1.4) There exist a constant C H > 0 and, for all R > 0, a constant k R such that |H(x, p) -H(y, q)| ≤ k R (1 + |p|)|x -y| + C H |p -q|, (1.5) for all |x|, |y| ≤ R, p, q ∈ R N .

We always assume u 0 , l ∈ C(R N ) and l ≥ 0 in R N . (1.6) These assumptions are those used in the so-called Namah-Roquejoffre case introduced in [START_REF] Namah | Remarks on the long time behaviour of the solutions of Hamilton-Jacobi equations[END_REF] in the periodic case, and in Barles-Roquejoffre [START_REF] Barles | Ergodic type problems and large time behaviour of unbounded solutions of Hamilton-Jacobi equations[END_REF] in the unbounded case. They are not the most general but, for simplicity, we choose to state as above since they are well-designed to encompass the classical Eikonal equation (1.7) u t (x, t) + a(x)|Du(x, t)| = l(x), in R N × (0, +∞), where a(•) is a locally Lipschitz, bounded function such that a(x) > 0 in R N . The assumption (1.2) is a coercivity assumption, which may be replaced by (2.2). We also may replace (1.6) by l is bounded from below up to assume that H(x, 0)inf R N l = 0 in (1.3).

Our goal is to prove that, under suitable additional assumptions, there exists a unique viscosity solution u of (1.1) and that this solution satisfies u(x, t) + ct → v(x) in C(R N ) as t → +∞, where (c, v) ∈ R + × C(R N ) is a solution to the ergodic problem

H(x, Dv(x)) = l(x) + c in R N . (1.8)
This problem has not been widely studied comparing to the periodic case [START_REF] Fathi | Sur la convergence du semi-groupe de Lax-Oleinik[END_REF][START_REF] Namah | Remarks on the long time behaviour of the solutions of Hamilton-Jacobi equations[END_REF][START_REF] Barles | On the large time behavior of solutions of Hamilton-Jacobi equations[END_REF][START_REF] Fathi | Existence of C 1 critical subsolutions of the Hamilton-Jacobi equation[END_REF][START_REF] Davini | A generalized dynamical approach to the large time behavior of solutions of Hamilton-Jacobi equations[END_REF][START_REF] Barles | A new PDE approach to the large time asymptotics of solutions of Hamilton-Jacobi equations[END_REF][START_REF] Achdou | Hamilton-Jacobi equations: approximations, numerical analysis and applications[END_REF] and references therein. The main works in the unbounded setting are Barles-Roquejoffre [START_REF] Barles | Ergodic type problems and large time behaviour of unbounded solutions of Hamilton-Jacobi equations[END_REF] which extends the well-known periodic result of Namah-Roquejoffre [START_REF] Namah | Remarks on the long time behaviour of the solutions of Hamilton-Jacobi equations[END_REF], the works of Ishii [START_REF] Ishii | Asymptotic solutions for large time of Hamilton-Jacobi equations in Euclidean n space[END_REF] and Ichihara-Ishii [START_REF] Ichihara | Long-time behavior of solutions of Hamilton-Jacobi equations with convex and coercive Hamiltonians[END_REF]. A very interesting reference is the review of Ishii [START_REF] Ishii | Asymptotic solutions of Hamilton-Jacobi equations for large time and related topics[END_REF]. We will compare more precisely our results with the existing ones below but let us mention that our main goal is to make more precise the large time behavior for the Eikonal Equation (1.7) in a setting where the equation is well-posed for solutions with arbitrary growth, which brings delicate issues. Most of our results were already obtained or are close to results of [START_REF] Barles | Ergodic type problems and large time behaviour of unbounded solutions of Hamilton-Jacobi equations[END_REF][START_REF] Ichihara | Long-time behavior of solutions of Hamilton-Jacobi equations with convex and coercive Hamiltonians[END_REF] but we use pure PDE arguments to prove them without using Weak KAM methods and making a priori assumptions on the structure of solutions or subsolutions of (1.8).

Changing u(x, t) in u(x, t) -inf R N {l}t allows to reduce to the case when inf R N l = 0 and we are going to actually reduce to that case to simplify the exposure. Taking this into account, we use below the assumption lim inf

|x|→+∞ l(x) > inf R N (l) = 0. (1.9)
which is a compactness assumption in the sense that it implies A := argmin l = {x ∈ R N : l(x) = 0} is a nonempty compact subset of R N . This subset corresponds to the Aubry set in the framework of Weak KAM theory.

Our first main result collects all the properties we obtain for the solutions of (1.8).

Theorem 1.1. (Ergodic problem) Assume that 0 ≤ l ∈ C(R N ) and H ∈ C(R N × R N ). (i) If H satisfies (1.2) and H(x, 0) = 0 for all x ∈ R N then, for all c ≥ 0, there exists a solution (c, v) ∈ R + × W 1,∞ loc (R N ) of (1.8). (ii) Assume that (1.1) satisfies a comparison principle in

C(R N × [0, +∞)). If (c, v) and (d, w) are solutions of (1.8) with sup R N |v -w| < ∞, then c = d. (iii) If A = ∅ and H satisfies (1.2) and (1.3), then there exists a solution (c, v) ∈ R + × W 1,∞ loc (R N ) of (1.8) with c = 0 and v ≥ 0. If, in addition, H(x, p) ≤ m(|p|) for some increasing function m ∈ C(R + , R + ), (1.10) and A satisfies (1.9), then v(x) → +∞ as |x| → ∞. (iv) Let c > 0. If H satisfies (1.10) then any solution (c, v) of (1.8) is unbounded from below. If H satisfies H(x, 0) = 0 and (1.4) and (c, v), (c, w) are two solutions of (1.8) with v(x) -w(x) → 0 as |x| → ∞, then v = w.
The situation is completely different with respect to the periodic setting where there is a unique ergodic constant (or critical value) for which (1.8) has a solution (e.g., Lions-Papanicolaou-Varadhan [START_REF] Lions | Homogenization of Hamilton-Jacobi equations[END_REF] or Fathi-Siconolfi [START_REF] Fathi | PDE aspects of Aubry-Mather theory for quasiconvex Hamiltonians[END_REF]). We recover some results of Barles-Roquejoffre [START_REF] Barles | Ergodic type problems and large time behaviour of unbounded solutions of Hamilton-Jacobi equations[END_REF] and Fathi-Maderna [START_REF] Fathi | Weak KAM theorem on non compact manifolds[END_REF], see Remark 2.3 for a discussion. As far as the case of unbounded solutions of elliptic equations is concerned, let us mention the recent work of Barles-Meireles [START_REF] Barles | On unbounded solutions of ergodic problems in R m for viscous Hamilton-Jacobi equations[END_REF] and the references therein.

Coming back to (1.1), when H satisfies (1.5), we have a comparison principle by a "finite speed of propagation" type argument, which allows to compare sub-and supersolutions without growth condition ( [START_REF] Ishii | Uniqueness of unbounded viscosity solution of Hamilton-Jacobi equations[END_REF][START_REF] Ley | Lower-bound gradient estimates for first-order Hamilton-Jacobi equations and applications to the regularity of propagating fronts[END_REF] and Theorem A.1). It follows that there exists a unique continuous solution defined for all time as soon as there exist a sub-and supersolution. Proposition 1.2. Assume that l ≥ 0 and H satisfies (1.2) and (1.5). Let u 0 ∈ C(R N ) and c ≥ 0. (i) There exists a smooth supersolution

(c, v + ) of (1.8) satisfying u 0 ≤ v + in R N . (ii) If there exists a subsolution (c, v -) of (1.8) satisfying v -≤ u 0 in R N , then there exists a unique viscosity solution u ∈ C(R N × [0, +∞)) of (1.1) such that v -(x) ≤ u(x, t) + ct ≤ v + (x) for all (x, t) ∈ R N × [0, +∞). (1.11)
Notice that the existence of a subsolution is given by (1.3) for instance.

We give two convergence results depending on the critical value c = 0 or c > 0. where (0, v) is a solution to (1.8).

Theorem 1.4. (Large time behavior starting from particular unbounded from below initial data) Assume (1.2)-(1.3)-(1.4)-(1.5), l ≥ 0 and let (c, v) be a solution of (1.8) with c > 0. If there exists a subsolution (0, ψ) of (1.8) such that the initial data u 0 satisfies min{ψ(x), u 0 (x)} -min{ψ(x), v(x)} → 0 as |x| → +∞, (1.13) then there exists a unique viscosity solution u of (1.1) and u(x, t)

+ ct → v(x) locally uniformly in R N as t → +∞.
Let us comment these results. The first convergence result means that, starting from any bounded from below initial condition (with arbitrary growth from above), the unique viscosity solution of (1.1) converges to a solution (c, v) of the ergodic problem (1.8), which is given by Theorem 1.1(iii), i.e., with c = 0 and v ≥ 0, v → +∞ at infinity. When u 0 is not bounded from below, even if it is close to a solution of the ergodic problem, we give an example showing that the convergence may fail, see Section 5, where several examples and interpretations in terms of the underlying optimal control problem are given.

To describe the second convergence result, suppose that (1.13) holds with the particular constant subsolution (0, M ) for some constant M . In this case, (1.13) is equivalent to (u 0 -v)(x) → 0 when v(x) → -∞. Since, for c > 0, any solution (c, v) of the ergodic problem is necessarily unbounded from below (by Theorem 1.1(iv)), Condition (1.13) may only happen for unbounded from below initial condition u 0 . In this sense, Theorem 1.4 sheds a new light on the picture of the asymptotic behavior for (1.1), bringing a positive result for some particular unbounded from below initial data.

Theorem 1.3 and Theorem 1.4 generalize and make more precise [4, Theorem 4.1] and [4, Theorem 4.2] respectively. In [START_REF] Barles | Ergodic type problems and large time behaviour of unbounded solutions of Hamilton-Jacobi equations[END_REF], H is bounded uniformly continuous in R N × B(0, R) for any R > 0 and u 0 is bounded from below and Lipschitz continuous. Our results are also close to [START_REF] Ichihara | Long-time behavior of solutions of Hamilton-Jacobi equations with convex and coercive Hamiltonians[END_REF]Theorem 6.2] as far as Theorem 1.3 is concerned and [START_REF] Ichihara | Long-time behavior of solutions of Hamilton-Jacobi equations with convex and coercive Hamiltonians[END_REF]Theorem 5.3] is very close to Theorem 1.4, see Remark 4.6. In [START_REF] Ichihara | Long-time behavior of solutions of Hamilton-Jacobi equations with convex and coercive Hamiltonians[END_REF], H may have arbitrary growth with respect to p ((1.5) is not required) and the initial condition is bounded from below with possible arbitrary growth from above. The results apply to more general equations than ours. The counterpart is that the unique solvability of (1.1) is not ensured by the assumptions so the solution of (1.1) is the one given by the representation formula in the optimal control framework. The assumptions are given in terms of existence of particular sub or supersolutions of (1.8), which may be difficult to check in some cases. Finally, let us point out that the proofs of [START_REF] Barles | Ergodic type problems and large time behaviour of unbounded solutions of Hamilton-Jacobi equations[END_REF][START_REF] Ichihara | Long-time behavior of solutions of Hamilton-Jacobi equations with convex and coercive Hamiltonians[END_REF] use in a crucial way the interpretation of (1.1)-(1.8) in terms of control problems and need some arguments of Weak KAM theory. In this work, we give pure PDE proofs, which are interesting by themselves. Finally, let us underline that in the arbitrary unbounded setting, we do not have in hands local Lipschitz bounds, i.e. bounds on |u t |, |Du| ≤ C, with C independent of t. These bounds are easy consequences of the coercivity of H in the periodic setting and in the Lipschitz setting of [START_REF] Barles | Ergodic type problems and large time behaviour of unbounded solutions of Hamilton-Jacobi equations[END_REF]. In the general unbounded case, such bounds require additional restrictive assumptions. Instead, we provide a more involved proof without further assumptions, see the proof of Theorem 1.3.

Let us also mention that several other convergence results are established in [START_REF] Ishii | Asymptotic solutions for large time of Hamilton-Jacobi equations in Euclidean n space[END_REF] and [START_REF] Ichihara | Long-time behavior of solutions of Hamilton-Jacobi equations with convex and coercive Hamiltonians[END_REF] in the case of strictly convex Hamiltonian H and [START_REF] Ichihara | The large-time behavior of solutions of Hamilton-Jacobi equations on the real line[END_REF] is devoted to a precise study in the one dimensional case. We refer again the reader to the review [START_REF] Ishii | Asymptotic solutions of Hamilton-Jacobi equations for large time and related topics[END_REF] for details and many examples.

The paper is organized as follows. We start by solving the ergodic problem (1.8), see Section 2. Then, we consider the evolution problem (1.1) in Section 3. Section 4 is devoted to the proofs of the theorems of convergence.

The Ergodic problem

Before giving the proof of Theorem 1.1, we start with a lemma based on the coercivity of H.

Lemma 2.1. Let Ω ⊂ R N be an open bounded subset and H satisfies (1.2). For every subsolution (c, v) ∈ R + × U SC(Ω) of (1.8), we have v ∈ W 1,∞ (Ω) and |Dv(x)| ≤ max y∈Ω l(y) + c ν(y) for a.e. x ∈ Ω. (2.1) Remark 2.2. Assumption (1.
2) was stated in that way having in mind the Eikonal Equation (1.7) but it can be replaced by the classical assumption of coercivity

lim |p|→+∞ inf x∈B(0,R) H(x, p) = +∞ for all R > 0. (2.2) Proof of Lemma 2.1. Let B(x 0 , R) be any ball contained in Ω. Since v is a vis- cosity subsolution of |Dv(x)| ≤ max y∈Ω l(y) + c ν(y) in Ω, we see from [1, Proposition 1.14, p.140] that v is Lipschitz continuous in B(x 0 , R) with the Lipschitz constant max Ω l+c ν
, which implies together with Rademacher theorem

|Dv(x)| ≤ max y∈Ω l(y) + c ν(y)
for a.e. x ∈ B(x 0 , R).

We are now able to give the proof of Theorem 1.1.

Proof of Theorem 1.1.

(i) We follow some arguments of the proof of [4, Theorem 2.1]. Fix c ≥ 0, noticing that l(x) + c ≥ 0 for every x ∈ R N and recalling that H(x, 0) = 0, we infer that 0 is a subsolution of (1.8). For R > 0, we consider the Dirichlet problem (2.3). By Perron's method up to the boundary ([11, Theorem 6.1]), the function

H(x, Dv) = l(x) + c in B(0, R), v = 0 on ∂B(0, R). (2.3) If p R ∈ R N and C R > 0, |p R | are big enough, then, using (1.2), C R + p R , x is a supersolution of
V R (x) := sup{v ∈ U SC(B(0, R)) subsolution of (2.3) : 0 ≤ v(x) ≤ C R + p R , x for x ∈ B(0, R)},
is a discontinuous viscosity solution of (2.3). Recall that the boundary conditions are satisfied in the viscosity sense meaning that either the viscosity inequality or the boundary condition for the semicontinuous envelopes holds at the boundary. We claim that V R ∈ W 1,∞ (B(0, R)) and V R (x) = 0 for every x ∈ ∂B(0, R), i.e., the boundary conditions are satisfied in the classical sense. At first, from Lemma 2.1, V R ∈ W 1,∞ (B(0, R)). By definition, V R ≥ 0 in B(0, R), so (V R ) * ≥ 0 on ∂B(0, R) and the boundary condition holds in the classical sense for the supersolution. It remains to check that (V R ) * ≤ 0 on ∂B(0, R). We argue by contradiction assuming there exists x ∈ ∂B(0, R) such that (V R ) * (x) > 0. It follows that the viscosity inequality for subsolutions holds at x, i.e., for every

ϕ ∈ C 1 (B(0, R)) such that ϕ ≥ (V R ) * over B(0, R) with (V R ) * (x) = ϕ(x), we have H(x, Dϕ(x)) ≤ l(x) + c and there exists at least one such ϕ. Consider, for K > 0, φ(x) := ϕ(x) -K x |x| , x -x . We still have φ ≥ (V R ) * over B(0, R) and (V R ) * (x) = φ(x). Therefore H(x, Dϕ(x)-K x |x| ) ≤ l(x)+c for every K > 0, which is absurd for large K by (1.2). It ends the proof of the claim. We set v R (x) = V R (x) -V R (0). By Lemma 2.1, for every R > R , we have |Dv R (x)| = |DV R (x)| ≤ C R := max B(0,R ) l + c ν a.e. x ∈ B(0, R ), (2.4) |v R (x)| = |V R (x) -V R (0)| ≤ C R R for x ∈ B(0, R ). (2.5)
Up to an extraction, by Ascoli's Theorem and a diagonal process, v R converges in C(R N ) to a function v as R → +∞, which still satisfies (2.4)- (2.5). By stability of viscosity solutions, (c, v) is a solution of (1.8). (ii) Let (c, v) and (d, w) be two solutions of (1.8) and set

V (x, t) = v(x) -ct W (x, t) = w(x) -dt.
To show that c = d, we argue by contradiction, assuming that c < d. Obviously, V is a viscosity solution of (1.1) with u 0 = v and W is a viscosity solution of (1.1) with u 0 = w. Using the comparison principle for (1.1), we get that

V (x, t) -W (x, t) ≤ sup R N {v -w} for all (x, t) ∈ R N × [0, ∞).
This means that

(d -c)t + v(x) -w(x) ≤ sup R N {v -w} for all (x, t) ∈ R N × [0, ∞).
Recalling that sup R N |v -w| < ∞, we get a contradiction for t large enough. By exchanging the roles of v, w, we conclude that c = d.

(iii) Let c = 0. We apply the Perron's method using in a crucial way Noticing that l + c ≥ 0 and since H(x, 0) = 0, we have 0 ∈ S. Let x ∈ R N and R > 0 large enough such that x ∈ B(0, R) and there exists x A ∈ B(0, R) ∩ A.

A = ∅. Let S = {w ∈ U SC(R N ) subsolution of (1.
For all w ∈ S, by Lemma 2.1, we have

0 ≤ w(x) ≤ w(x A ) + max B(0,R) l + c ν |x -x A | ≤ 2R max B(0,R) l + c ν ,
since w(x A ) = 0. The above upper-bound does not depend on w ∈ S, so we deduce that 0 ≤ v(x) < +∞ for every x ∈ R N . We claim that v is a solution of (1.8). At first, by classical arguments

([3]), v is still a subsolution of (1.8) satisfying v ≥ 0 in R N and v = 0 on A. By Lemma 2.1, v ∈ W 1,∞ loc (R N ).
To prove that v is a supersolution, we argue as usual by contradiction assuming that there exists x and ϕ ∈ C 1 (R N ) such that ϕ ≤ v, v(x) = ϕ(x) and the viscosity supersolution inequality does not hold, i.e., H(x, Dϕ(x)) < l(x) + c. To reach a contradiction, one slightly modify v near x in order to build a new subsolution v in S, which is strictly bigger than v near x. To be able to proceed as in the classical proof, it is enough to check that x ∈ A; otherwise v will not be 0 on A leading to v ∈ S. If x ∈ A, then l(x) + c = 0. By (1.3), we obtain 0 ≤ H(x, Dϕ(x)) < l(x) + c = 0, which is not possible. It ends the proof of the claim.

From (1.9), there exists A , R A > 0 such that l(x) > min R N l + A for all x ∈ R N \ B(0, R A ). By (1.10), v satisfies, in the viscosity sense

m(|Dv|) ≥ H(x, Dv) ≥ l(x) + c ≥ A in R N \ B(0, R A ).
Therefore, for all x ∈ R N and every p in the viscosity subdifferential

D -v(x) of v at x, we have |p| ≥ m -1 ( A ) > 0. By the viscosity decrease principle [23, Lemma 4.1], for all B(x, R) ⊂ R N \ B(0, R A ), we obtain inf B(x,R) v ≤ v(x) -m -1 ( A )R. Since v ≥ 0, for any R > 0 and x such that |x| > R A + R, we conclude v(x) ≥ m -1 ( A )R, which proves that v(x) → +∞ as |x| → +∞.
(iv) Since c > 0, there exists α > 0 such that l(x) + c ≥ α for all x ∈ R N .

To prove that v is unbounded from below, we use again the viscosity decrease principle [START_REF] Ley | Lower-bound gradient estimates for first-order Hamilton-Jacobi equations and applications to the regularity of propagating fronts[END_REF]Lemma 4.1]. By (1.10), v satisfies, in the viscosity sense

m(|Dv|) ≥ H(x, Dv) ≥ α in R N , which implies, for all R > 0, inf B(0,R) v ≤ v(0) -m -1 (α)R
and so v cannot be bounded from below.

For the second part of the result, we argue by contradiction assuming that v = w. Without loss of generality, there exists η > 0 and x ∈ R N such that (v -w)(x) > 3η. Since (v -w)(x) → 0 as |x| → +∞, there exists R > 0 such that |(v -w)(x)| < η when |x| ≥ R. Up to choose 0 < µ < 1 sufficiently close to 1, we have |(µv -w)(x)| > 2η and, by compactness of ∂B(0, R), |(µv -w)(x)| < 2η for all x ∈ ∂B(0, R). It follows that M := max B(0,R) µv -w cannot be achieved at the boundary of B(0, R). Consider

M ε := max x,y∈B(0,R) µv(x) -w(y) - |x -y| 2 ε 2 ,
which is achieved at some (x, ȳ). By classical properties ( [START_REF] Bardi | Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations[END_REF][START_REF] Barles | Solutions de viscosité des équations de Hamilton-Jacobi[END_REF]), up to extract some subsequences → 0,

|x -ȳ| 2 2 → 0, x, ȳ → x 0 for some x 0 ∈ B(0, R), M ε → M.
It follows that M = (µv -w)(x 0 ) and therefore, for ε small enough, neither x nor ȳ is on the boundary of B(0, R). We can write the viscosity inequalities for v subsolution at x and w supersolution at ȳ for small ε leading to

H(x, p µ ) ≤ l(x) + c, H(ȳ, p) ≥ l(ȳ) + c,
where we set p = 2 (x -ȳ) ε 2 . Noticing that µv(x) -w(x) ≤ µv(x) -w(ȳ) -|x -ȳ| 2 ε 2 and using that w is Lipschitz continuous with some constant C R in B(0, R) by Lemma 2.1, we obtain |p| ≤ C R . Therefore, up to extract a subsequence ε → 0, we have p → p 0 . By the convexity of H,

H(x, p) = H(x, µ p µ + (1 -µ)0) ≤ µH(x, p µ ) + (1 -µ)H(x, 0). Using H(x, 0) = 0, we get 0 ≤ µH(x, p µ ) -H(x, p).
Subtracting the viscosity inequalities and using the above estimates, we obtain

0 ≤ µH(x, p µ ) -H(x, p) ≤ H(ȳ, p) -H(x, p) + µ(l(x) + c) -(l(ȳ) + c).
Sending ε → 0, we reach 0 ≤ (µ -1)(l(x 0 ) + c) ≤ (µ -1)α < 0, which is a contradiction. It ends the proof of the theorem.

Remark 2.3. (i) In the periodic setting, there is a unique c = 0 such that (1.8) has a solution. It is not anymore the case in the unbounded setting where there exist solutions for all c ≥ 0. The proof is adapted from [4, Theorem 2.1]. Similar issues are studied in [START_REF] Fathi | Weak KAM theorem on non compact manifolds[END_REF]. Notice that, when c < 0, there is no subsolution (thus no solution) because of (1.3).

(ii) In the periodic setting, the classical proof of existence of a solution to (1.8) ( [START_REF] Lions | Homogenization of Hamilton-Jacobi equations[END_REF]) uses the auxiliary approximate equation

λv λ + H(x, Dv λ ) = l(x) in R N . (2.6)
In our case, it gives only the existence of a solution (c, v) with c = 0 but not for all c ≥ 0. (iii) Neither the proof using (2.6), nor the proof of Theorem 1.1(i) using the Dirichlet problem (2.3) yields a nonnegative (or bounded from below) solution v of (1.8) for c = 0. See Section 5.1 for an explicit computation of the solution of (2.3). It is why we need another proof to construct such a solution. See [START_REF] Barles | On unbounded solutions of ergodic problems in R m for viscous Hamilton-Jacobi equations[END_REF] for the same result in the viscous case. (iv) For c = 0, bounded solutions to the ergodic problem may exist, e.g., when l is periodic ( [START_REF] Lions | Homogenization of Hamilton-Jacobi equations[END_REF] and the example in Remark 4.5). If A is bounded, we can prove with similar arguments as in the proof of the theorem that all solutions of the ergodic problem are unbounded. (v) When c > 0, there is no bounded solution to (1.8) even if l is periodic or bounded. (vi) Theorem 1.1 does not require H to satisfy (1.5) so it applies to more general equations than (1.7), for instance with quadratic Hamiltonians. (vii) The assumption that a comparison principle in C(R N × [0, +∞)) holds for (1.1) in Theorem 1.1(ii) may seem to be a strong assumption but it is true for the Eikonal equation, i.e., when H satisfies (1.5), see Theorem A.1. In this case, H automatically satisfies (1.10) with m(r) = C H r.

The Cauchy problem

In this section we study the Cauchy problem (1.1). We start with some comments about Proposition 1.2 and then we prove it.

Existence and uniqueness are based on the comparison Theorem A.1 without growth condition, which holds when (1.5) is satisfied thanks to the finite speed of propagation. When u 0 is bounded from below and (1.3) holds, inf R N u 0 is a subsolution of (1.1) and (1.11) takes the simpler form inf

R N u 0 ≤ u(x, t) + ct ≤ v + (x). Proof of Proposition 1.2. (i) Let v + (x) := f 0 (|x|) + |x| 0 f 1 (s)ds, where    f 0 : R + → R + C 1 nondecreasing, f 0 (0) = 0 and f 0 (|x|) ≥ u 0 (x) f 1 : R + → R + continuous, f 1 (0) = 0 and f 1 (|x|) ≥ l(x) + c ν(x) ,
where ν appears in (1.2).

The existence of such functions f 0 , f 1 is classical (see [3, Proof of Theorem 2.2] for instance). It is straightforward to see that v + ∈ C 1 (R N ), v + ≥ u 0 and (c, v + ) is a supersolution of (1.8) thanks to (1.2). (ii) It is obvious that (c, v) is a solution (respectively a subsolution, supersolution) of (1.8) if and only if V (x, t) = v(x) -ct is a solution (respectively a subsolution, supersolution) of (1.1) with initial data V (x, 0) = v(x). We have v -≤ u 0 ≤ v + , where v -is the subsolution given by assumption and v + is the supersolution built in (i). Using Perron's method and Theorem A.1, which holds thanks to (1.5), we conclude that there exists a unique viscosity solution u ∈ C(R N × [0, +∞)) of (1.1) such that

v -(x) -ct ≤ u(x, t) ≤ v + (x) -ct.

Large time behavior of solutions

4.1. Proof of Theorem 1.3. We first consider the case when u 0 is bounded. Recalling that c = 0 and u is solution of (1.1), we see by Proposition 1.2 that inf

R N u 0 ≤ u(x, t) ≤ v + (x), (4.1)
where (0, v + ) is a supersolution of (1.8) satisfying v + ≥ u 0 .

The first step is to obtain better estimates for the large time behavior of u. To do so, we consider (0, v 1 ) and (0, v 2 ) two solutions of (1.8). Such solutions exist from Theorem 1.1(iii) with c = 0 and A = ∅. Moreover, v 1 (x), v 2 (x) → +∞ as |x| → +∞ since A is supposed to be compact and (1.10) holds because of Assumptions (1.3) and (1.5).

We have Lemma 4.1. There exist two constants k 1 , k 2 ≥ 0 such that

v 1 (x) -k 1 ≤ lim inf t→+∞ u(x, t) ≤ lim sup t→+∞ u(x, t) ≤ v 2 (x) + k 2 in R N .
As a consequence, for any solutions (0, v 1 ) and (0, v 2 ) of (1.8), v 1 -v 2 is bounded.

Proof of Lemma 4.1. The proof of third inequality in Lemma 4.1 is obvious : since u 0 is bounded and v 2 (x) → +∞ as |x| → +∞, there exists k 2 such that

u 0 ≤ v 2 + k 2 in R N . Then, by comparison (Theorem A.1) u(x, t) ≤ v 2 (x) + k 2 in R N × [0, +∞) ,
which implies the lim sup-inequality.

The lim inf-one is less standard. Let R A > 0 be such that A ⊂ B(0, R A /2) and set

C 1 = C 1 (A, v 1 ) := sup B(0,R A ) v 1 + 1.
Notice that, by definition of A and (1.9), there exists η A > 0 such that

l(x) ≥ η A > 0 for all x ∈ R N \ B(0, R A ). (4.2)
Using that min{v 1 , C 1 } is bounded from above and u 0 is bounded, there exists

k 1 = k 1 (A, v 1 , u 0 ) such that min{v 1 , C 1 } -k 1 ≤ u 0 in R N . (4.3)
Next we have to examine the large time behavior of the solution associated to the initial condition min{v 1 , C 1 } -k 1 and to do so, we use the following result of Barron and Jensen (see Appendix). Lemma 4.2. [8] Assume (1.4) and let u, ũ be locally Lipschitz subsolutions (resp. solutions) of (1.1). Then min{u, ũ} is still a subsolution (resp. a solution) of (1.1).

To use it, we remark that the function w -(x, t)

:= C 1 + η A t is a smooth subsolution of (1.1) in (R N \ B(0, R A )) × (0, +∞). Indeed, for all |x| > R A , t > 0, w - t + H(x, Dw -) = η A + H(x, 0) = η A ≤ l(x) using (1.
3) and (4.2). Since v 1 is a locally Lipschitz continuous subsolution of (1.1) in R N ×(0, +∞), we can use Lemma 4.2 in (R N \B(0, R A ))×(0, +∞) to conclude that min{v 1 , w -} -k 1 is a subsolution, while in a neighborhood of B(0, R A ) × (0, +∞), we have min{v 1 , w -} -

k 1 = v 1 -k 1 by definition of C 1 .
Then, by comparison (Theorem A.1)

min{v 1 (x), C 1 + η A t} -k 1 ≤ u(x, t) in R N × [0, +∞) ,
and one concludes easily. The last assertion of Lemma 4.1 is obvious since v 1 , v 2 are arbitrary solutions of (1.8) and we can exchange their roles. The next step of the proof of Theorem 1.3 consists in introducing the halfrelaxed limits [START_REF] Crandall | User's guide to viscosity solutions of second order partial differential equations[END_REF][START_REF] Barles | Solutions de viscosité des équations de Hamilton-Jacobi[END_REF]

u(x) = lim inf * t→+∞ u(x, t), u(x) = lim sup * t→+∞ u(x, t).
They are well-defined for all x ∈ R N thanks to (4.1) or Lemma 4.1. We recall that u ≤ u by definition and u = u if and only if u(x, t) converges locally uniformly in R N as t → +∞. Therefore, to prove (1.12), it is enough to prove u ≤ u in R N .

A formal direct proof of this inequality is easy: u is a subsolution of (1.8), while u is a supersolution of (1.8); by Lemma 4.2, for any constant C > 0, min{u, C} is still a subsolution of (1.8) and Lemma 4.1 shows that min{u, C} -u → -∞ as |x| → +∞. Moreover 0 is a strict subsolution of (1.8) outside A, therefore by comparison arguments of Ishii [START_REF] Ishii | A simple, direct proof of uniqueness for solutions of the Hamilton-Jacobi equations of eikonal type[END_REF] max

R N {min{u, C} -u} ≤ max A {min{u, C} -u} ,
and letting C tend to +∞ gives u -u ≤ max A {u -u}. But the right-hand side is 0 since u(x, t) is decreasing in t on A using H(x, p) ≥ 0 and l(x) = 0 if x ∈ A. This gives the result.

This formal proof, although almost correct, is not correct since we do not have a local uniform convergence of u in a neighborhood of A, in particular because we do not have equicontinuity of the family {u(•, t), t ≥ 0}. To overcome this difficulty, we use some approximations by inf-and sup-convolutions.

For all ε > 0, we introduce

u ε (x, t) = inf s∈(0,+∞) {u(x, s) + |t -s| 2 ε 2 }, u ε (x, t) = sup s∈(0,+∞) {u(x, s) - |t -s| 2 ε 2 }.
By (4.1), they are well-defined for all (x, t) ∈ R N × [0, +∞) and we have inf

R N u 0 ≤ u ε (x, t) ≤ u(x, t) ≤ u ε (x, t) ≤ v + (x). (4.4)
Notice that the infimum and the supremum are achieved in u ε (x, t) and u ε (x, t) respectively. Moreover Lemma 4.1 still holds for u ε and u ε . Taking in the same way the half-relaxed limits for u ε and u ε , we obtain (with obvious notations) inf

R N u 0 ≤ u ε ≤ u ≤ u ≤ u ε ≤ v + in R N .
To prove the convergence result (1.12), it is therefore sufficient to establish

u ε ≤ u ε in R N , (4.5)
which is our purpose from now on.

The following lemma, the proof of which is standard and left to the reader, collects some useful properties of u ε and u ε . Lemma 4.3. (i) The functions u ε and u ε converge locally uniformly to u in R N × [0, +∞) as ε → 0. (ii) The functions u ε and u ε are Lipschitz continuous with respect to t locally uniformly in space, i.e., for all R > 0, there exists C ε,R > 0 such that, for all x ∈ B(0, R), t, t ≥ 0,

|u ε (x, t) -u ε (x, t )|, |u ε (x, t) -u ε (x, t )| ≤ C ε,R |t -t |. (4.6) (iii) For all open bounded subset Ω ⊂ R N , here exists t ε,Ω > 0 with t ε,Ω → 0 as ε → 0, such that u ε is solution of (1.1) and u ε is subsolution of (1.1) in Ω × (t ε,Ω , +∞). (iv) For all R > 0, there exists C ε,R , t ε,R > 0 such that, for all t > t ε,R , u ε (•, t) and u ε (•, t) are subsolutions of H(x, Dw(x)) ≤ l(x) + c + 2C ε,R , in B(0, R). (4.7)
Therefore, u ε (•, t) and u ε (•, t) are locally Lipschitz continuous in space with a Lipschitz constant independent of t.

We are now ready to prove that u ε (•, t) and u ε (•, t) converge uniformly on A as t → +∞. We follow the arguments of [START_REF] Namah | Remarks on the long time behaviour of the solutions of Hamilton-Jacobi equations[END_REF] (or alternatively, one may use [START_REF] Crandall | Viscosity solutions of Hamilton-Jacobi equations[END_REF]Theorem I.14]). We fix R > 0 such that A ⊂ B(0, R) and consider t ε,R > 0 given by Lemma 4.3. Since w = u ε or w = u ε is a locally Lipschitz continuous subsolution of (1.1) in B(0, R) × (t ε,R , +∞), we have

w t (x, t) ≤ w t (x, t) + H(x, Dw(x, t)) ≤ l(x), a.e. (x, t), (4.8)
since H ≥ 0 by (1.3). Let x ∈ A, t > t ε,R , and h, r > 0. We have

1 |B(x, r)| B(x,r) (w(y, t + h) -w(y, t))dy = 1 |B(x, r)| B(x,r) t+h t w t (y, s)dsdy ≤ 1 |B(x, r)| B(x,r) t+h t l(y)dsdy
Using the continuity of w, l and l(x) = 0, and letting r → 0, we obtain

w(x, t + h) ≤ w(x, t) for all x ∈ A, t > t ε,R , h ≥ 0. (4.9)
Therefore t → w(x, t) is a nonincreasing function on [t ε,R , ∞), Lipschitz continuous in space on the compact subset A (uniformly in time) and bounded from below according to (4.4). By Dini Theorem, w(•, t) converges uniformly on A as t → +∞ to a Lipschitz continuous function. Therefore, there exist Lipschitz continuous functions φ ε , φ ε : A → R with φ ε ≤ φ ε and

u ε (x, t) → φ ε (x), u ε (x, t) → φ ε (x), uniformly on A as t → +∞.
We now use the previous results to prove the convergence of u on A. By Lemma 4.3(i), we first obtain that (4.9) holds for u. Therefore t → u(x, t) is nonincreasing for x ∈ A, so u(•, t) converges pointwise as t → +∞ to some function φ : A → R. Notice that we cannot conclude to the uniform convergence at this step since we do not know that φ is continuous.

We claim that u ε (x, t), u ε (x, t) → φ(x) as t → +∞, for all x ∈ A. The proof is similar in both cases so we only provide it for u ε (x, t). Let x ∈ A and s > 0 be such that

u(x, s) + |t -s| 2 ε 2 = u ε (x, t) ≤ u(x, t). (4.10) By (4.4), we have |t -s| 2 ε 2 ≤ v + (x) -inf u 0 .
It follows that s → +∞ as t → +∞. Thanks to the pointwise convergence u(x, s) → φ(x) as s → +∞, sending t to +∞ in (4.10), we obtain

φ(x) + lim sup t→+∞ |t -s| 2 ε 2 ≤ φ(x),
from which we infer lim t→+∞ |t-s| 2 ε 2 = 0. Therefore, by (4.10), u ε (x, t) → φ(x). The claim is proved, which implies φ ε = φ ε = φ on A.

At this stage, we can apply here the above formal argument to the locally Lipschitz continuous functions u ε and u ε , noticing that u ε and u ε are also locally Lipschitz continuous functions. We deduce that max

R N {min{u ε , C} -u ε } ≤ max A {min{u ε , C} -u ε } = max A {min{φ, C} -φ},
and therefore letting C tend to +∞ we have

u ε = u ε in R N .
Recalling that u ε ≤ u ≤ u ≤ u ε in R N , we have also u = u in R N , and the conclusion follows, completing the proof of the case when u 0 is bounded.

We consider now the case when u 0 is only bounded from below (but not necessarely from above). We set u C 0 = min{u 0 , C}. If w denotes the solution of (1.1) associated to the initial data 0, then, because of the Barron-Jensen results, the solution associated to u C 0 is min{u, w + C}. But, from the first step, we know that (i) w converges locally uniformly to some solution v 1 of (1.8), (ii) min{u, w + C} converges to some solution v C 2 of (1.8) (depending perhaps on C) and (iii) we have (4.1) for u.

Let K be any compact subset of R N . If C is large enough in order to have v 1 + C > v + on K (the size of such C depends only on K), then for large t, min{u, w + C} = u on K by the uniform convergence of w to v 1 on K. It follows that u converges locally uniformly to v C 2 on K, which is independent on C. The proof of Theorem 1.3 is complete.

To conclude this section, we point out the following result which is a consequence of the comparison argument we used in the proof.

0, v 2 ) of (1.8), v 1 , v 2 → +∞ as |x| → +∞ and sup R N {v 1 -v 2 } ≤ max A {v 1 -v 2 } < +∞.
Remark 4.5. It is quite surprising that, though a lot of different solutions to (1.8) may exist (see Section 5.1), all the bounded from below solutions associated to c = -min l have the same growth at infinity. This is not true when A is not compact, e.g., in the periodic case. Consider for instance

|Dv| = |sin(x)| in R.
For c = -min R |sin(x)| = 0, it is possible to build infinitely many solutions with very different behaviors by gluing some branches of cosine functions, see Figure 1. (1.13), there exists a subsolution (0, ψ) of (1.8) such that, for every > 0, there exists R ε > 0 such that, for all |x| ≥ R ε ,

min{ψ(x), v(x)} -ε ≤ min{ψ(x), u 0 (x)} ≤ min{ψ(x), v(x)} + ε. (4.11) Let M ε > 0 be such that -M ε ≤ u 0 (x), v(x)
for all |x| ≤ R ε .

Setting ψ ε (x) = min{ψ(x), -M ε }, we claim that, for all x ∈ R N ,

min{ψ ε (x), v(x)} -ε ≤ min{ψ ε (x), u 0 (x)} ≤ min{ψ ε (x), v(x)} + ε. (4.12)
Indeed, this inequality comes from the M -property (4.11)

if |x| ≥ R ε , while it is obvious by the choice of M ε , if |x| ≤ R ε .
From Lemma 4.2, (0, ψ ε ) is a subsolution of (1.8) as a minimum of subsolutions. Since c ≥ 0, (c, ψ ε ) is also subsolution of (1.8). Applying again Lemma 4.2 to (c, ψ ε ) and (c, v), we obtain that (c, min{ψ ε , v}) is a subsolution of (1.8). From (4.12), we have min{ψ ε , v} -ε ≤ u 0 . It follows from Proposition 1.2, that there exists a unique viscosity solution u of (1.1) with initial data u 0 and it satisfies min{ψ ε , v} -ε ≤ u(x, t) + ct ≤ v + (x), (4.13) where (c, v + ) is a supersolution of (1.8) such that u 0 ≤ v + .

In the same way, there exists unique viscosity solutions w ε and w of (1.1) associated with initial datas ψ ε and 0 respectively. Since ψ ε ≤ -M ε , by comparison and Proposition 1.2, we have (4.14) where (0, ṽ+ ) is a supersolution of (1.8) such that -M ε ≤ ṽ+ .

ψ ε (x) ≤ w ε (x, t) ≤ -M ε + w(x, t) ≤ ṽ+ (x) for (x, t) ∈ R N × [0, +∞),
Arguing as at the end of the proof of Theorem 1.3, the solutions of (1.1) associated to the initial datas min{ψ ε (x), v(x)} -ε, min{ψ ε (x), u 0 (x)} and min{ψ ε (x), v(x)} + ε are respectively min{w ε (x, t), v(x)-ct}-ε, min{w ε (x, t), u(x, t)} and min{w ε (x, t), v(x)-ct}+ε.

By comparison, we have, in R N × (0, +∞)

min{w ε (x, t), v(x) -ct} -ε ≤ min{w ε (x, t), u(x, t)} , and min{w ε (x, t), u(x, t)} ≤ min{w ε (x, t), v(x) -ct} + ε.
Recalling that c is positive and using (4.14), if K is a compact subset of R N , then for t large enough and x ∈ K

min{w ε (x, t), v(x) -ct} = v(x) -ct , leading to the inequality v(x) -ct -ε ≤ min{w ε (x, t), u(x, t)} ≤ v(x) -ct + ε.
From (4.13) and (4.14), t can be chosen large enough to have w ε (x, t) + ct > u(x, t) + ct so we end up with

v(x) -ct -ε ≤ u(x, t) ≤ v(x) -ct + ε,
for t large enough and x in K. Since ε is arbitrary, the conclusion follows.

Remark 4.6. Theorem 1.4 is very close to [START_REF] Ichihara | Long-time behavior of solutions of Hamilton-Jacobi equations with convex and coercive Hamiltonians[END_REF]Theorem 5.3]. In the latter paper, the authors obtain the convergence assuming that inf R N {u 0 -min{ψ, v}} > -∞ and

lim r→+∞ {|(u 0 -v)(x)| : ψ(x) > v(x) + r} = 0. (4.15)
We do not know if this assumption is equivalent to ours. But in both assumptions, the point is that u 0 (x) must be close to v(x) when v(x) is "far below" ψ(x), which means ψ(x) > v(x) + r for large r in (4.15) and min{ψ(x), -r} > v(x) for large r in our case. This situation occurs for instance if v, u 0 are unbounded from below and close when v(x) → -∞.

Optimal control problem and examples

Consider the one-dimensional Hamilton-Jacobi Equation

u t (x, t) + |Du(x, t)| = 1 + |x| in R × (0, ∞) u(x, 0) = u 0 (x), (5.1)
where l(x) = |x| + 1 ≥ 0, min R N l = 1, and A = argmin l = {0} satisfies (1.9). We can come back to our framework by looking at ũ(x, t) = u(x, t) -t which solves ũt (x, t)

+ |Dũ(x, t)| = |x| in R × (0, ∞) ,
where l(x) := |x| satisfies the assumptions of our results. There exists a unique continuous solution u of (5.1) for every continuous u 0 satisfying |u 0 (x)| ≤ C(1 + |x| 2 ) (use Theorem A.1 and the fact that ±Ke Kt (1 + |x| 2 ) are super-and subsolution for large K).

We can represent u as the value function of the following associated deterministic optimal control problem. Consider the controlled ordinary differential equation

Ẋ(s) = α(s), X(0) = x ∈ R, (5.2)
where the control α(•) ∈ L ∞ ([0, +∞); [-1, 1]) (i.e., |α(t)| ≤ 1 a.e. t ≥ 0). For any given control α, (5.2) has a unique solution X(t) = X x,α(•) = x + t 0 α(s)ds. We define the cost functional

J(x, t, α) = t 0 (|X(s)| + 1)ds + u 0 (X(t)),
and the value function

V (x, t) = inf α∈L ∞ ([0,+∞);[-1,1]) J(x, t, α).
It is classical to check that V (x, t) = u(x, t) is the unique viscosity solution of (5.1), see [START_REF] Barles | Solutions de viscosité des équations de Hamilton-Jacobi[END_REF][START_REF] Bardi | Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations[END_REF]. x 2 ) and (-1, -1 2 x 2 ). They are bounded from below (respectively from above) with c = -min l; • (-1, S(x)) and (-1, -S(x)). They are neither bounded from below nor from above and c = -min l; • (λ -1, λx + S(x)) and (λ -1, -λx -S(x)) for every λ > 0. They are neither bounded from below nor from above and c > -min l; • (λ -1, -1 2 x 2 -λ|x|) for every λ > 0. These solutions are nonsmooth (notice that -v is not anymore a viscosity solution), they are not bounded from below. Actually, they are the solutions obtained by the constructive proof of Theorem 1.1(i). Indeed, the unique solution V R of the Dirichlet problem (2.3) is V R (x) = R 2 -x 2 2 + λ(R -|x|) for x ∈ [-R, R], leading to v(x) = lim R→∞ {V R (x) -V R (0)} = -1 2 x 2 -λ|x|. • (c, v) where (c, v 1 ) and (c, v 2 ) are solutions, v = min{v 1 + C 1 , v 2 + C 2 } and C 1 , C 2 ∈ R. This is a consequence of Lemma 4.2.

5.2. Equation (5.1) with u 0 (x) = S(x). For any solution (c, v) to (5.3), it is obvious that u(x, t) = -ct+v(x) is the unique solution to (5.1) with u 0 (x) = v(x) and the convergence holds, i.e., u(x, t) + ct → v(x) as t → +∞. In particular, if u 0 (x) = S(x), the solution of (5.1) is u(x, t) = t + S(x).

Let us find in another way the solution by computing the value function of the control problem stated above. Let t > 0. We compute V (x, t) for any x ∈ R by determining the optimal controls and trajectories.

1st case: x ≥ 0. There are infinitely many optimal strategies: they consist in going as quickly as possible to 0 (= argmin l), to wait at 0 for a while and to go as quickly as possible towards -∞. For any 0 ≤ τ ≤ t -x, it corresponds to the optimal controls and trajectories

α(s) = -1, 0 ≤ s ≤ x, 0, x ≤ s ≤ x + τ, -1, x + τ ≤ s ≤ t, X(s) = x -s, 0 ≤ s ≤ x, 0,
x ≤ s ≤ x + τ, -(s -x -τ ), x + τ ≤ s ≤ t.

(5.4) They lead to V (x, t) = J(x, t, α) = t + S(x). Among these optimal strategies, there are two of particular interest:

• The first one is to go as quickly as possible to 0 and to remain there (τ = t -x). This strategy is typical of what happens in the periodic case: the optimal trajectories are attracted by A = argmin l. • The second one is to go as quickly as possible towards -∞ during all the available time t (τ = 0). This situation is very different to the periodic case. Due to the unbounded (from below) final cost u 0 , some optimal trajectories are not anymore atttracted by argmin l and are unbounded.

2nd case: x < 0. In this case there is not anymore bounded optimal trajectories. The only optimal strategy is to go as quickly as possible towards -∞. The optimal control are α(s) = -1, X(s) = x -s for 0 ≤ s ≤ t leading to V (x, t) = J(x, t, -1) = t + S(x). The analysis of this case in terms of control will help us for the following examples. 5.3. Equation (5.1) with u 0 (x) = 1 2 x 2 + b(x) with b bounded from below. To illustrate Theorem 1.3, we choose an initial condition which is a bounded perturbation of a bounded from below solution of the ergodic problem. To simplify the computations, we choose a periodic perturbation b. 5.5. Equation (5.1) with u 0 (x) = S(x) + x + sin(x). The solution of (5.1) is u(x, t) = S(x)+x+sin(x-t). Clearly, we do not have the convergence. In this case, u 0 is a bounded perturbation of the solution (0, S(x) + x) of the ergodic problem with c > -min l and S(x) + x -u 0 (x) → 0 as x → -∞ (where S(x) + x → -∞). This example shows that the convergence in Theorem 1.4 may fail when (1.13) does not hold.

Theorem 1 . 3 .

 13 (Large time behavior starting with bounded from below initial data) Assume (1.2)-(1.3)-(1.4)-(1.5), l ≥ 0, and (1.9). Then, for every bounded from below initial data u 0 , the unique viscosity solution u of (1.1) satisfies u(x, t) → t→+∞ v(x) locally uniformly in R N ,(1.12)

  Finally, Section 5 provides several examples based both on the Hamilton-Jacobi equations (1.1)-(1.8) and on the associated optimal control problem. Acknowledgements: Part of this work was made during the stay of T.-T. Nguyen as a Ph.D. student at IRMAR and she would like to thank University of Rennes 1 & INSA for the hospitality. The work of O. Ley and T.-T. Nguyen was partially supported by the Centre Henri Lebesgue ANR-11-LABX-0020-01. The authors would like to thank the referees for the careful reading of the manuscript and their useful comments.

  8) : 0 ≤ w and w = 0 on A} and set v(x) := sup w∈S w(x).

Corollary 4 . 4 .

 44 Assume (1.2)-(1.3)-(1.4)-(1.5), l ≥ 0 and (1.9). Then, for all bounded from below solutions (0, v 1 ) and (

Figure 1 .

 1 Figure 1. Some solutions of |Dv| = |sin(x)| in R, A = πZ

5. 1 .

 1 Solutions to the ergodic problem. There are infinitely many essentially different solutions with different constants to the associated ergodic problem |Dv(x)| = 1 + |x| + c in R. (5.3) Define S(x) = x 0 |y|dy. The following pairs (c, v) are solutions. • (-1, 1 2

For any x, an optimal strategy can be chosen among those described in Example 5.2. More precisely: go as quickly as possible to 0, wait nearly until time t and move a little to reach the minimum of the periodic perturbation. For t large enough (at least t > x), we compute the cost with α, X given by (5.4), J(x, t, α) = t + 1 2

x 2 + b(-t + x + τ ).

For every t large enough, there exists 0

Therefore, we have the convergence as announced in Theorem 1.3.

5.4. Equation (5.1) with u 0 (x) = S(x) + b(x) with b bounded Lipschitz continuous. We compute the value function as above. Due to the unboundedness from below of u 0 we need to distinguish the cases x ≥ 0 and x < 0 as in Example 5.2.

1st case: x ≥ 0. We use the same strategy as in Example 5.3 leading to V (x, t) = J(x, t, α) = t + 1 2 x 2 + min b. 2nd case: x < 0. In this case, the optimal strategy suggested by Examples 5.2 and 5.3 is to start by waiting a small time τ before going as quickly as possible towards -∞. The waiting time correspond to an attempt to reach a minimum of b at the left end of the trajectory. It corresponds to the control and trajectory

Due to the boundedness of b, in order to be optimal, we see that necessarily τ = O(1/|x|) to keep bounded the positive term τ |x| in J(x, t, α). So, for large |x|, x < 0, we have b(x -t + τ ) ≈ b(x -t). When b is not constant, b(x -t) has no limit as t → +∞, the convergence for V (x, t) cannot hold.

In this case, u 0 is a bounded perturbation of a solution (c, v) = (-1, S(x)) of the ergodic problem with c = -min l but v is not bounded from below and the convergence of the value function may not hold. It follows that the assumptions of Theorem 1.3 cannot be weakened easily. In particular, the boundedness from below of the solution of the ergodic problem seems to be crucial. The comparison result for the unbounded solutions of (1.1) is a consequence of a general comparison result for first-order Hamilton-Jacobi equations which holds without growth conditions at infinity. Theorem A.1. [START_REF] Ishii | Uniqueness of unbounded viscosity solution of Hamilton-Jacobi equations[END_REF][START_REF] Ley | Lower-bound gradient estimates for first-order Hamilton-Jacobi equations and applications to the regularity of propagating fronts[END_REF] Assume that H satisfies (1.5) and that u ∈ U SC(R N × [0, T ]) and v ∈ LSC(R N ×[0, T ]) are respectively a subsolution of (1.1) with initial data u 0 ∈ C(R N ) and a supersolution of (1.1) with initial data v 0 ∈ C(R N ). Then, for every x 0 ∈ R N and r > 0,

Appendix B. Barron-Jensen solutions of convex HJ equations Theorem B.1. Assume that H satisfies (1.4) and (1.5). Then u ∈ W 1,∞ loc (R N × (0, +∞)) is a viscosity solution (respectively subsolution) of (1.1) if and ony if it is a Barron-Jensen solution (respectively subsolution) of (1.1), i.e., for every (x, t) ∈ R N × (0, +∞) and ϕ ∈ C 1 (R N × (0, +∞)) such that u -ϕ has a local minimum at (x, t), one has

This result is due to Barron and Jensen [START_REF] Barron | Semicontinuous viscosity solutions of Hamilton-Jacobi equations with convex hamiltonians[END_REF] and we refer to Barles [1,p. 89]. Lemmas 4.3(iii) and 4.2 are consequences of this theorem.

As far as Lemma 4.3(iii) is concerned, the fact that the inf-convolution (respectively the sup-convolution) preserves the supersolution (respectively the subsolution) property is classical ( [START_REF] Barles | Solutions de viscosité des équations de Hamilton-Jacobi[END_REF][START_REF] Bardi | Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations[END_REF]). What is more suprising is the preservation of the subsolution property of the inf-convolution which comes from the convexity of H and the Theorem of Barron-Jensen B.1. For a proof, notice first that U , being a solution of (1.1), is a Barron-Jensen solution of (1.1). We then apply [START_REF] Ley | Lower-bound gradient estimates for first-order Hamilton-Jacobi equations and applications to the regularity of propagating fronts[END_REF]Lemma 3.2] using that H, l are independent of t.

For Lemma 4.2, we refer the reader to [1, Theorem 9.2, p.90].