# Stochastic homogenization of viscous superquadratic Hamilton–Jacobi equations in dynamic random environment

- Wenjia Jing
^{1}, - Panagiotis E. Souganidis
^{1}Email authorView ORCID ID profile and - Hung V. Tran
^{2}

**4**:6

**DOI: **10.1186/s40687-016-0090-9

© The Author(s) 2017

**Received: **30 June 2016

**Accepted: **29 November 2016

**Published: **27 January 2017

## Abstract

We study the qualitative homogenization of second-order Hamilton–Jacobi equations in space-time stationary ergodic random environments. Assuming that the Hamiltonian is convex and superquadratic in the momentum variable (gradient), we establish a homogenization result and characterize the effective Hamiltonian for arbitrary (possibly degenerate) elliptic diffusion matrices. The result extends previous work that required uniform ellipticity and space-time homogeneity for the diffusion.

### Keywords

Stochastic homogenization Hamilton–Jacobi equations Viscosity solutions Dynamic random environment Time-dependent Hamiltonian Convex analysis### Mathematics Subject Classification

35B27 70H20 49L25## 1 Background

*x*,

*t*and \(\omega \), the Hamiltonian \(H=H(p,x,t,\omega )\) is convex and has superquadratic growth in

*p*. Moreover, \(A(\cdot ,\cdot ,\omega )\) and \(H(p,\cdot ,\cdot ,\omega )\) are stationary ergodic random fields on \((\varOmega ,{\mathscr {F}},{\mathbb {P}})\). The precise assumptions are detailed in Sect. 2.

*H*is quadratic in the gradient. It also finds applications in stochastic optimal control theory; we refer to Fleming and Soner [15] for more details. The homogenization result above serves as a model reduction in the setting when the environment is highly oscillatory but, nevertheless, satisfies certain self-averaging properties. In particular, when the diffusion matrix in the underlying stochastic differential equation depends on time, the coefficient

*A*in (1) will be time dependent as well. As far as we know and as argued below, the homogenization problem in this setting has been open.

The periodic homogenization of coercive Hamilton–Jacobi equations was first studied by Lions, Papanicolaou, and Varadhan [20] and, later, Evans [12, 13] and Majda and Souganidis [23]. Ishii proved in [16] homogenization in almost periodic settings. The stochastic homogenization of first-order Hamilton–Jacobi equations was established independently by Souganidis [27] and Rezakhanlou and Tarver [24]. Later Lions and Souganidis [22] and Kosygina, Rezakhandou, and Varadhan [18] proved independently stochastic homogenization for viscous Hamilton–Jacobi equations using different methods and complementary assumptions. In [21] Lions and Souganidis gave a simpler proof for homogenization in probability using weak convergence techniques. This program was extended by Armstrong and Souganidis in [5, 6] where the metric-problem approach was introduced. Some of the results of [5, 6] were revisited by Armstrong and Tran in [7]. All of the aforementioned works in random homogenization required the Hamiltonian *H* to be convex. The homogenization of general non-convex Hamiltonians in random environments remains to date an open problem. A first extension to level-set convex Hamiltonians was shown by Armstrong and Souganidis in [6]. Later, Armstrong, Tran, and Yu [3, 4] proved stochastic homogenization for separated Hamiltonians of the form \(H=h(p)-V(x,\omega )\) with general non-convex *h* and random potential \(V(x,\omega )\) in one dimension. Their methods also established homogenization of some special non-convex Hamiltonians in all dimensions. Armstrong and Cardaliaguet [2] studied the homogenization of positively homogeneous non-convex Hamilton–Jacobi equations in strongly mixing environments. More recently Feldman and Souganidis [14] established homogenization of strictly star-shaped Hamiltonians in similar environments. Ziliotto [28] constructed an example of a non-convex separated Hamiltonian in two dimensions that does not homogenize. Feldman and Souganidis [14] extended the construction to any separated *H* that has a strict saddle point. In addition, [14] also yields non-convex Hamiltonians with space-time random potentials for which the Hamilton–Jacobi equation does not homogenize.

The aforementioned PDE approaches for stochastic homogenization, that is the weak convergence technique and the metric-problem approach, were developed for random environments that are time independent. In this setting, one has uniform in \(\varepsilon \) and \(\omega \) Lipschitz estimates for \(u^\varepsilon (\cdot ,\omega )\), which, however, are not available if *A* and *H* depend on *t*. Nevertheless, Kosygina and Varadhan [19] established homogenization results for viscous Hamilton–Jacobi equations with constant diffusion coefficients, more precisely *A* being the identity matrix, using the stochastic control formula and invariant measures. For first-order equations with superlinear Hamiltonians, homogenization results were proved by Schwab [26]. Recently, the authors [17] established homogenization for linearly growing Hamiltonians that are periodic in space and stationary ergodic in time.

In this paper, we extend and combine the methodologies of [22] and [5–7] and obtain stochastic homogenization for general viscous Hamilton–Jacobi equations in dynamic random environments. The results of [22] was based on the analysis of a special solution to (1) that we loosely call the fundamental solution. This is a subadditive, stationary function which, in view of the subadditive ergodic theorem, has a homogenized limit, that identifies the convex conjugate of the effective Hamiltonian \(\overline{H}\). At the \(\varepsilon >0\) level, however, the fundamental solution gives rise only to supersolutions \(v^\varepsilon \) to (2). One of the key steps in [22] was to show that the difference between \(u^\varepsilon \) and \(v^\varepsilon \) tends to 0 as \(\varepsilon \rightarrow 0\). This made very strong use of the uniform Lipschitz estimates on \(u^\varepsilon \) which were also proved there and are not available for time-dependent problems. The methodology of [5, 6] was based on the analysis of the solution to the metric problem which loosely speaking is the “minimal cost” to connect two points. The metric solution is a subadditive stationary function and has a homogenized limit, which, at each level, is the support function of the level set of the effective \(\overline{H}\). The homogenization result was then proved in [5, 6] by developing a reversed perturbed test function argument. In the dynamic random setting, however, the “metric” between two points in space must depend on a starting time and hence is not suitable for such environments.

Here we use the fundamental solution approach of [22] to find the effective Hamiltonian and the reverse perturbed test function method of [5, 6] to establish the homogenization. The main contribution of the paper is to “go away” from the need to have uniform in \(\varepsilon \) Lipschitz bounds. Indeed, the uniform convergence of the fundamental solution to its homogenized limit uses only a uniform (in \(\varepsilon \)) modulus of continuity in its first pair of variables, which is available for superquadratic Hamilton–Jacobi equations [9, 10]. Similarly, the reverse perturbed test function argument is adapted to work without the need of Lipschitz bounds.

*x*,

*t*) for \(t>0\),

*x*,

*t*) is a direct consequence of subadditive ergodic theorem, the locally uniform convergence requires some uniform (in \(\omega \) and \(\rho \)) continuity of the scaled function \(\rho ^{-1} {\mathscr {L}}(\rho \,\cdot , \rho \,\cdot , 0,0,\omega )\). This is where the superquadratic growth of

*H*is used. Indeed, under this assumption, Cannarsa and Cardaliaguet [9] and Cardaliaguet and Silvestre [10] obtained space-time \(C^{0,\alpha }\)-estimates for bounded solutions, which depend on the growth condition of

*H*but neither on the ellipticity of diffusion matrix

*A*nor on the smoothness of

*H*or

*A*. Here we obtain the desired continuity by applying these regularity results to the scaled fundamental solutions.

The rest of the paper is organized as follows. In the remaining part of the introduction, we review most of the standard notation used in the paper. In the next section, we introduce the precise assumptions and state the main results. In Sect. 3 we prove (4). In Sect. 4, we show that the effective \(\overline{H}\) defined in (5) agrees with the uniform limit of the solution to the approximate cell problem. The homogenization result for the Cauchy problem (1) follows from this fact. In Sect. 5 we show that, as a consequence of the homogenization result proved in this paper, the effective Hamiltonian is given by formulae similar to the ones established in [19, 22].

### 1.1 Notations

We work in the *n*-dimensional Euclidean space \({\mathbb {R}}^n\). The subset of points with rational coordinates is denoted by \({\mathbb {Q}}^n\). The open ball in \({\mathbb {R}}^n\) centered at *x* with radius \(r > 0\) is denoted by \(B_r(x)\), and this notation is further simplified to \(B_r\) if the center is the origin. The volume of a measurable set \(A \subseteq {\mathbb {R}}^n\) is denoted by \(\mathrm {Vol}(A)\). The \(n+1\) dimensional space-time is denoted by \({\mathbb {R}}^n \times {\mathbb {R}}\) or simply by \({\mathbb {R}}^{n+1}\). The space-time cylinder of horizontal radius \(R>0\) and vertical interval \((r,\rho )\) centered at a space-time point (*x*, *t*) is denoted by \(Q_{R,r,\rho }(x,t)\), that is \(Q_{R,r,\rho }(x,t) = \{(y,s) \,:\, y \in B_R(x), s \in (t+r,t+\rho )\}\); to further simplify notations, we omit the reference point (*x*, *t*) when it is (0, 0). Moreover, \(Q_R\) is a short-hand notation for the cylinder \(Q_{R,-R,R}\). For two vectors \(u, v \in {\mathbb {R}}^n, \langle u, v\rangle \) denotes the inner product between *u* and *v*, and \({\mathbb {M}}^{n\times m}\) denotes the set of *n* by *m* matrices with real entries, and \({\mathbb {M}}^n\) is a short-hand notation of \({\mathbb {M}}^{n \times n}\). The identity matrix is denoted by *Id*. Finally, \({\mathscr {B}}(\varXi )\) denotes the Borel \(\sigma \)-algebra of the metric space \(\varXi \).

## 2 Assumptions, the fundamental solution, and the main results

### 2.1 The general setting and assumptions

- (P1)
\(\tau _{(x+x',t+t')}=\tau _{(x,t)}\circ \tau _{(x',t')} \, \hbox { and }\; {\mathbb {P}}[\tau _{(x,t)} E] = {\mathbb {P}}[E]\),

- (P2)
\(\tau _{(y,s)}(E)=E \ \text {for all} \ (y,s) \in {\mathbb {R}}^{n+1} \hbox { implies }{\mathbb {P}}[E] \in \{0,1\}\).

- (A1)
*H*and \(\sigma \) are \({\mathscr {B}}({\mathbb {R}}^{n}\times {\mathbb {R}}^n \times {\mathbb {R}})\times {\mathscr {F}}\) and \({\mathscr {B}}({\mathbb {R}}^n \times {\mathbb {R}}) \times {\mathscr {F}}\) measurable, respectively, - (A2)for any fixed \(p \in {\mathbb {R}}^d, \sigma \) and
*H*are stationary in*x*and*t*, that is, for every \((x,t)\in {\mathbb {R}}^{n+1}, (y,s)\in {\mathbb {R}}^{n+1}\) and \(\omega \in \varOmega \),$$\begin{aligned} \sigma (x+y,t+s,\omega ) = \sigma (x,t,\tau _{(y,s)}\omega ) \ \text {and} \ H(p, x+y,t+s,\omega ) = H(p,x,t,\tau _{(y,s)}\omega ), \end{aligned}$$ - (A3)
for each \(p \in {\mathbb {R}}^n\) and \(\omega \in \varOmega , \sigma (\cdot ,\cdot ,\omega )\) and \(H(p,\cdot ,\cdot ,\omega )\) are Lipschitz continuous in

*x*and*t*, - (A4)there exists \(\gamma > 2\) and \(C \ge 1\) such that, for all \((x,t) \in {\mathbb {R}}^{n+1}, \omega \in \varOmega \) and \(p \in {\mathbb {R}}^n\),$$\begin{aligned} \frac{1}{C} |p|^\gamma - C \le H(p,x,t,\omega ) \le C(|p|^\gamma + 1), \end{aligned}$$(6)

- (A5)
the mapping \(p\mapsto H(p,x,t,\omega )\) is convex for all \((x,t,\omega ) \in {\mathbb {R}}^{n+1} \times \varOmega \).

- (A)
assumptions (P1), (P2), (A1). (A2), (A3), (A4), and (A5) hold.

### 2.2 The fundamental solution

*t*decreases to

*s*, locally uniformly on \({\mathbb {R}}^n\) to the function \(\delta (\cdot ,y)\). The existence and uniqueness of \({\mathscr {L}}\) follows from an almost straightforward modification of the results of [11]. In view of the stochastic control representation of Hamilton–Jacobi equations, \({\mathscr {L}}(x,t,y,s,\omega )\) is the “minimal cost” for a controlled diffusion process in the random environment determined by \((\sigma ,H)\) to reach the vertex (

*y*,

*s*) from (

*x*,

*t*).

### 2.3 Main theorems

The first result is about the long-time behavior of the fundamental solution which yields the effective Lagrangian \(\overline{L}\). The proof is given at the end of Sect. 3.

### Theorem 1

Let \({{\overline{u}}}\) be the solution to (2), with the effective Hamiltonian \(\overline{H}\) is defined (5) and is, hence, the Legendre transform of the effective Lagrangian \(\overline{L}\).

The homogenization result is stated next.

### Theorem 2

Assume (A) and let \({{\widetilde{\varOmega }}}\) be as in Theorem 1. For each \(\omega \in {{\widetilde{\varOmega }}}\), the solution \(u^\varepsilon \) of (1) converges, as \(\varepsilon \rightarrow 0\) and locally uniformly in \({\mathbb {R}}^n \times [0,\infty )\), to \({{\overline{u}}}\).

For all \(\varepsilon >0\) and \(\omega \in \varOmega \), the approximate cell problem (9) is well posed. Recall that \(Q_R \subseteq {\mathbb {R}}^{n+1}, R>0\), is the cylinder centered at (0, 0) with radius *R*. The precise statement about the convergence of \(\varepsilon w^\varepsilon \) to \(-\overline{H}(p)\) is stated in the next Theorem.

### Theorem 3

The proof of Theorem 3, which is given in Sect. 4, is based on reversed test function argument of [5, 8]. The differences here are the lack of Lipschitz bounds and the need to apply the method to the scaled versions of the fundamental solution instead of the metric solution.

## 3 The long-time behavior of the fundamental solution

We investigate the long-time average of the fundamental solution \({\mathscr {L}}\), as \(\rho \rightarrow \infty \). The averaged function is given by the subadditive ergodic theorem, which is a natural tool for the study of \({\mathscr {L}}\) in view of the following Lemma.

### Lemma 1

- (i)if \(t,s,\rho \in {\mathbb {R}}\) and \(t \ge s\), thenand$$\begin{aligned} {\mathscr {L}}(x+z,t+\rho ,y+z,s+\rho ,\omega ) = {\mathscr {L}}(x,t,y,s,\tau _{(z,\rho )}\omega ), \end{aligned}$$(11)
- (ii)if \(t, s, r \in {\mathbb {R}}\) satisfy \(s \le r \le t\), then$$\begin{aligned} {\mathscr {L}}(x,t,y,s,\omega ) \le {\mathscr {L}}(x,t,z,r,\omega ) + {\mathscr {L}}(z,r,y,s,\omega ). \end{aligned}$$(12)

The stationarity of \({\mathscr {L}}\) is an immediate consequence of the uniqueness of (7) and the stationarity of the environment. The subadditivity of \({\mathscr {L}}\) follows from the comparison principle for (7) and the singular initial conditions of the fundamental solutions. Since the proof of Lemma 1 is standard, we omitted it.

Next we recall a result of [22, Proposition 6.9] that concerns bounds on the unscaled function \({\mathscr {L}}\). Although [22] considered time homogeneous environments, the proof of the following result does not depend on that fact.

### Lemma 2

*H*allow us to apply the Hölder regularity results in [9, 10] to get the following uniform in \(\varepsilon \) estimates for \({\mathscr {L}}^\varepsilon \).

### Proposition 1

Assume (A). Then there exists \(\alpha \in (0,1)\), and, for all \(R \ge 1, r \in (0,1)\), and \((y,s) \in {\mathbb {R}}^{n+1}\), the function \({\mathscr {L}}^\varepsilon (\cdot ,\cdot ,y,s,\omega )\) is uniformly with respect to \(\varepsilon , \omega \), and (*y*, *s*) \(\alpha \)-Hölder continuous on the set \(Q_{R,r,R}(y,s)\).

We omit the proof of Proposition 1, which, in view of (16), is an immediate consequence of Theorem 6.7 of [9] (see also Theorem 1.3 of [10]).

### 3.1 Long-time average of \({\mathscr {L}}\)

The stationarity of \({\mathscr {L}}\) in (11) and the scaling in the definition of \({\mathscr {L}}^\varepsilon \) suggest that the limit, as \(\varepsilon \rightarrow 0\), of \({\mathscr {L}}^\varepsilon (x,t,y,s,\omega )\) must only depend on \((x-y)/(t-s)\). To get the limit, it suffices to set \((y,s) = (0,0), t = 1 > s\), and study the limit of the function \(\rho ^{-1}{\mathscr {L}}(\rho x,\rho ,0,0,\omega )\) as \(\rho \rightarrow \infty \). This is possible using the subadditive ergodic theorem, which yields a random variable \(\overline{L}(x,\omega )\).

### Theorem 4

That \(\overline{L}(x,\cdot )\) is deterministic is important for the final homogenization result. This is usually proved by showing that \(\overline{L}(x,\cdot )\) is invariant with respect to the translations \(\{\tau _{(y,s)}\}_{(y,s)\in {\mathbb {R}}^{n+1}}\). In the time homogeneous setting [22] or for first-order equations [26], the translation invariance of \(\overline{L}(x,\cdot )\) is a consequence of uniform in \(\varepsilon \) continuity of \({\mathscr {L}}^\varepsilon (x,t,y,s,\omega )\) in all of its variables. For the problem at hand Proposition 1 gives that \({\mathscr {L}}^\varepsilon \) is uniformly continuous with respect to its first pair of variables. The uniform continuity with respect to the second pair of variables, that is the vertex, is more subtle and unknown up to now.

We prove next that \(\overline{L}(x,\cdot )\) is translation invariant without using uniform continuity of \({\mathscr {L}}^\varepsilon \) with respect to (*y*, *s*). The argument is based on two observations. Firstly, \(\overline{L}(x,\cdot )\) is invariant when the vertex varies along the line \(l_x := \{(tx,t)\,:\, t \in {\mathbb {R}}\}\). Secondly, the subadditive property (13) and the uniform bounds (16) yield one-sided bounds for \({\mathscr {L}}\). Indeed, to bound \({\mathscr {L}}(\cdot ,\cdot ,y,s,\omega )\) from above, we compare it with \({\mathscr {L}}(\cdot ,\cdot ,z,r)\) at a vertex (*z*, *r*) such that \(r>s\), and bounded \(|r-s|\) and \(|z-y|\). Similarly, for a lower bound, we compare with a vertex that has \(r<s\).

The proof of Theorem 4 is divided in three steps. In the first step we identify \(\overline{L}(x,\omega )\) by applying the subadditive ergodic theorem to \(\rho ^{-1} {\mathscr {L}}(\rho x, \rho , kx,k,\omega )\) with vertex \((kx,k) \in l_x\). Then, we establish the invariance of \(\overline{L}(x,\omega )\) with respect to vertices in \(l_x\). Finally in the third step, we show that \(\overline{L}(x,\cdot )\) is invariant with respect to \(\{\tau _{(y,s)}\}\) and, hence, deterministic.

### Proof (Proof of Theorem 4)

*Step 1: The convergence of*
\({\mathscr {L}}\)
*with vertex* (0, 0). This is a straightforward application of the classical subadditive ergodic theorem (see, for instance, Theorem 2.5 of Akcoglu and Krengel [1]). For the sake of the reader we briefly recall the argument next.

*x*, 0).

*Step 2: The invariance of*\(\overline{L}(x,\cdot ;k)\)

*with respect to*\(k \in {\mathbb {Z}}\). Let \(\varOmega _x = \bigcap _{k\in {\mathbb {Z}}} \varOmega _{x,k}\). Then

*Step 3:*
\(\overline{L}(x,\cdot )\)
*is deterministic*. We show that \(\overline{L}(x,\cdot )\) is translation invariant with respect to \(\{\tau _{(y,s)}\}, (y,s) \in {\mathbb {R}}^{n+1}\). The conclusion then follows from ergodicity of \(\{\tau _{(y,s)}\}\).

*y*are bounded, we observe

*y*,

*s*) is arbitrary and \(\varOmega _x\) has full measure, we conclude that \(\overline{L}(x,\cdot )\) is translation invariant. \(\square \)

Next, we show that the limit \(\overline{L}\) is local uniform continuous, and the convergence holds locally uniformly in *x*, again, with fixed vertices.

### Lemma 3

### Proof

*C*only depend on

*R*and the parameters in (A). Since the estimate above still holds if

*x*and

*y*are switched, it follows that \(\overline{L}\) is local uniform continuous.

For each \(z \in {\mathbb {Q}}^n\), let \(\varOmega _z\) be the event of full measure defined in Theorem 4. Let \(\varOmega _1 := \bigcap _{z \in {\mathbb {Q}}^n} \varOmega _z \in {\mathscr {F}}\) and observe that \({\mathbb {P}}(\varOmega _1) = 1\).

Next, we prove Theorem 1. The argument follows as in [6, 8] from a combination of Egoroff’s and Birkhoff’s ergodic theorems. We need, however, to extend the method to the setting of space-time random environment and, in particular, modify the reasoning so that it does not rely on uniform continuity with respect to the vertex.

### Proof (Proof of Theorem 1)

*Step 1.*We first show that (23) to: for all \(0< r < R\) and \(R \ge 1\),

*Step 2*. We show that, for all \(R> r > 0\) with \(R \ge 1\),

Fix now an \(\omega \in {{\widetilde{\varOmega }}}\). For any \(\varepsilon > 0\) small, choose *k* large such that \({\frac{1}{k}} < \frac{\varepsilon }{2}\), and, for \(R \ge 1\) given, set \(\rho _\varepsilon (\omega ) = R^{-1} \max \{T_{1/k}, K_{1/k}(\omega )\}\), and observe that if \(\rho > \rho _\varepsilon \), then \(\rho R > \max \{T_{1/k},K_{1/k}\}\).

*y*,

*s*) with unit upward (and, respectively, downward) opening, that is

*R*, while (13) gives

Similarly, by repeating the argument above, choosing \((\rho {\hat{y}},\rho {\hat{s}}) \in C^-_{\rho \varepsilon R}(\rho y, \rho s)\) and \(\tau _{(\rho {\hat{y}}, \rho {\hat{s}})} \omega \in \varOmega _{1/k}\), we can bound the quantity in (29) from below, and establish (27). \(\square \)

Finally, we note the following fact about \(\overline{L}\) and \(\overline{H}\) defined by (5).

### Corollary 1

The functions \(\overline{L} : {\mathbb {R}}^n \rightarrow {\mathbb {R}}\) and \(\overline{H} : {\mathbb {R}}^n \rightarrow {\mathbb {R}}\) are convex.

The convexity of \(\overline{L}\) is a straightforward consequence of Theorem 1. Finally, as the Legendre transform of a convex function, \(\overline{H}\) is also convex.

## 4 The proof of Theorem 3

According to the remarks at the end of Sect. 2, this also completes the proof of the homogenization result of Theorem 2.

*D*of \({\mathbb {R}}^k\), a point \(p \in D\) is called an extreme point if, whenever \(p = \lambda x + (1-\lambda )y, x,y \in D\) and \(\lambda \in [0,1]\), then either \(x = p\) or \(y=p\). A point \(p \in D\) is called an exposed point, if there exists a linear functional \(f: {\mathbb {R}}^k \rightarrow {\mathbb {R}}\) such that \(f(p) > f(p')\) for all \(p' \in D \setminus \{p\}\).

We denote by \(\partial \overline{L}(q)\) the subdifferential of \(\overline{L}\) at *q*. If \(\partial \overline{L}(q)\) contains exactly one element, then \(\overline{L}\) is differentiable at *q* and the unique element is \(D\overline{L}(q)\). The following classification of vectors \(p \in {\mathbb {R}}^n\) will be useful in the proof of Theorem 3.

### Lemma 4

- (i)
for all \(p \in {\mathbb {R}}^n, (p,\overline{H}(p))\) is on the boundary of \(\mathrm{epi}\,(\overline{H})\) and \(p \in \partial \overline{L}(q)\) for some \(q \in {\mathbb {R}}^n\), and

- (ii)
if \((p,\overline{H}(p))\) is an exposed point of \(\mathrm{epi}\,(\overline{H})\), then \(p = D\overline{L}(q)\) for some \(q \in {\mathbb {R}}^n\).

### Proof

The domain of \(\overline{H}\) is \({\mathbb {R}}^n\) and, since \(\overline{H}\) is continuous and locally bounded, it follows that \(\overline{H}\) is a closed proper convex function. The first claim of part (i) is obvious. Hence, there exists \(q \in {\mathbb {R}}^n\) so that the function \(x \mapsto x \cdot q - \overline{H}(x)\) achieves its supremum at *p*. It follows that \(q \in \partial \overline{H}(p)\). Since \(\overline{H}\) is a closed proper convex function, by [25, Corollary 23.5.1], \(p \in \partial \overline{L}(q)\) also holds. Part (ii) follows directly from [25, Corollary 25.1.2]. \(\square \)

### Proof (Proof of Theorem 3)

*Step 1*: We prove that for any fixed \(\omega \in {{\widetilde{\varOmega }}}, p \in {\mathbb {R}}^n\) and \(R \ge 1\),

*k*in \(\varepsilon _k\) and in \((z_k,s_k)\) is henceforth suppressed. Since \(\omega \) and

*p*are also fixed, any dependence on these parameters is also suppressed.

*H*in

*p*gives

*r*sufficiently large, we have

*Step 2*: For any fixed \(\omega \in {{\widetilde{\varOmega }}}, p \in {\mathbb {R}}^n\) and \(R \ge 1\),

Indeed, assume that (39) holds for all exposed \((p,\overline{H}(p))\). Then if \(p \in {\mathbb {R}}^n\) is such that \((p,\overline{H}(p))\) is an extreme point of \(\mathrm{epi}\,(\overline{H})\), then by Straszewicz’s theorem [25, Theorem 18.6], there exists a sequence \(\{p_j\}\) converging to *p*, such that \(\{(p_j,\overline{H}(p_j))\}\) are exposed points of \(\mathrm{epi}\,(\overline{H})\). In view of the continuity of the mapping \(p \mapsto w^\varepsilon (\cdot ,\cdot ,p)\), (39) holds for extremal \((p,\overline{H}(p))\).

For any other \(p \in {\mathbb {R}}^n, (p,\overline{H}(p))\) can be written as a convex combination of extremal \(\{(p_j,\overline{H}(p_j))\}_{j=1}^{n+2}\). We have proved that (39) holds for each \(p_j\). Since the mapping \(p \mapsto w^\varepsilon (\cdot ,\cdot ,p)\) is concave, and *p* is a convex combination of \(\{p_j\}_{j=1}^{n+2}\), we conclude that (39) holds for *p*.

*Step 3*: If \(p \in {\mathbb {R}}^n\) and if \((p,\overline{H}(p))\) is an exposed point of \(\mathrm{epi}\,(\overline{H})\), then (39) holds. Although the proof of (39) follows along the lines of Step 1, there is an important difference. The inequality (33), which holds for any \(p \in \partial \overline{L}(q)\), is useful only to establish the upper bound as seen in Step 1. Here, however,

*p*satisfies the additional condition that \((p,\overline{H}(p))\) is exposed, and, hence, in view of Lemma 4, \(p = D\overline{L}(q)\) for some \(q \in {\mathbb {R}}^n\). This amounts to

*k*is suppressed henceforth.

*z*,

*s*) is an interior point of \(U_\varepsilon \). Moreover, if \(R' = 2\Vert w_\varepsilon \Vert _{L^\infty }/c\delta \), then \(U_\varepsilon \subset Q_{R'}(z,s)\), and, hence

*r*, sending \(r \rightarrow \infty \), yields \(\frac{\delta }{4} \le 0\), which is a contradiction. \(\square \)

## 5 Some formulae for the effective hamiltonian

*x*,

*t*) and have stationary increments. Note that if \(\psi \in {\mathscr {S}}\) is also differentiable with respect to (

*x*,

*t*), then the stationarity of increments is equivalent to \(\psi _t\) and \(D\psi \) being stationary, and the sublinearity is equivalent to \({\mathbb {E}}[\psi _t] = 0\) and \({\mathbb {E}}[D\psi ] = 0\).

Another formula for effective Hamiltonian was introduced in [18] for time homogeneous random environment, and then generalized in [19] to space-time random environment, both under the assumption that the diffusion term is given by the identity matrix. We recall how this formula was obtained, and write it in the form that it should take when the diffusion matrix is more general.

Any random variable \({\widetilde{b}}\) gives rise to a stationary random process \(b(x,t,\omega ) = {\widetilde{b}}(\tau _{(x,t)}\omega )\). In the reverse direction, for any stationary random process \(b(x,t,\omega )\), we can lift it to the probability space and identify it with \({{\widetilde{b}}}(\omega ) := b(0,0,\omega )\). For notational simplicity, we omit the tilde in \({\widetilde{b}}\) from now on. The translation group \(\{\tau _{(x,t)}: (x,t) \in {\mathbb {R}}^{n+1}\}\) acting on \(L^2(\varOmega )\) are isometric. Let \(\partial _t, D_i, i = 1,2,\cdots ,n\), by an abuse of notations, be the corresponding infinitesimal generators; we denote further \(D = (D_1,\cdots ,D_n)\).

*m*-dimensional Brownian motion, independent of

*H*and \(\sigma \). This process can be viewed as a diffusion in the probability space as follows. Pick a starting point \(\omega \in \varOmega \), and define the walk \(\omega (t) = \tau _{(x(t,\omega ),-t)} \omega , t\ge 0\). This is a Markov process on \(\varOmega \) with generator

*A*does not need to be uniformly elliptic and can be degenerate.

As a corollary of Theorem 2, we can show that the above formulae for effective Hamiltonian holds in the setting of this paper.

### Theorem 5

Assume (A) so that Theorem 2 holds. Then, for all \(p \in {\mathbb {R}}^n, \overline{H}(p) = {{\widetilde{H}}}(p)\).

We only sketch the proof. Given the homogenization result, Theorem B of [21] provides a method to establish \({\widetilde{H}} \le \overline{H}\), which is easily applied here. Note that even though [21] concerned only time homogeneous environment, the proof of Theorem B there does not rely on this fact.

*A*being uniformly elliptic is needed for this claim.

It is difficult to prove the homogenization result of this paper using the method of [18, 19]. Indeed, in these references, the uniform lower bound \(\liminf _{\varepsilon \rightarrow 0} \inf _{Q_R}(u^\varepsilon - u) \ge 0\) is established using the ergodic theorem, which requires uniqueness of invariant measure for a given drift. For this, the uniform ellipticity of *A* is crucial. The stronger assumption that *H* grows superquadratically in *p* does not seem to help to remove uniform ellipticity requirement of *A*. In that sense, the fact that (45) provides the formula for the effective Hamiltonian for possibly degenerate diffusion matrix *A*, though only under the restrictive superquadratic growth assumption, is a new fact.

### Acknowledgements

WJ is supported in part by the NSF Grant DMS-1515150. PS is supported in part by the NSF Grant DMS-1266383 and DMS-1600129. HT is supported in part by the NSF Grant DMS-1361236.

## Declarations

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## Authors’ Affiliations

## References

- Akcoglu, M.A., Krengel, U.: Ergodic theorems for superadditive processes. J. Reine Angew. Math.
**323**, 53 (1981). doi:10.1515/crll.1981.323.53 MathSciNetMATHGoogle Scholar - Armstrong, S.N., Cardaliaguet, P.: Stochastic homogenization of quasilinear Hamilton–Jacobi equations and geometric motions. J. Eur. Math. Soc. (accepted)
- Armstrong, S.N., Tran, H.V., Yu, Y.: Stochastic homogenization of a nonconvex Hamilton–Jacobi equation. Calc. Var. Partial Differ. Equ.
**54**(2), 1507 (2015). doi:10.1007/s00526-015-0833-2 MathSciNetView ArticleMATHGoogle Scholar - Armstrong, S.N., Tran, H.V., Yu, Y.: Stochastic homogenization of nonconvex Hamilton–Jacobi equations in one space dimension. J. Differ. Equ.
**261**(5), 2702 (2016). doi:10.1016/j.jde.2016.05.010 MathSciNetView ArticleMATHGoogle Scholar - Armstrong, S.N., Souganidis, P.E.: Stochastic homogenization of Hamilton–Jacobi and degenerate Bellman equations in unbounded environments. J. Math. Pures Appl. (9)
**97**(5), 460 (2012). doi:10.1016/j.matpur.2011.09.009 MathSciNetView ArticleMATHGoogle Scholar - Armstrong, S.N., Souganidis, P.E.: Stochastic homogenization of level-set convex Hamilton–Jacobi equations. Int. Math. Res. Not.
**2013**(15), 3420 (2013)MathSciNetMATHGoogle Scholar - Armstrong, S.N., Tran, H.V.: Stochastic homogenization of viscous Hamilton–Jacobi equations and applications. Anal. PDE
**7**(8), 1969 (2014). doi:10.2140/apde.2014.7.1969 MathSciNetView ArticleMATHGoogle Scholar - Armstrong, S.N., Tran, H.V.: Viscosity solutions of general viscous Hamilton–Jacobi equations. Math. Ann.
**361**(3–4), 647 (2015). doi:10.1007/s00208-014-1088-5 MathSciNetView ArticleMATHGoogle Scholar - Cannarsa, P., Cardaliaguet, P.: Hölder estimates in space-time for viscosity solutions of Hamilton–Jacobi equations. Comm. Pure Appl. Math.
**63**(5), 590 (2010). doi:10.1002/cpa.20315 MathSciNetMATHGoogle Scholar - Cardaliaguet, P., Silvestre, L.: Hölder continuity to Hamilton–Jacobi equations with superquadratic growth in the gradient and unbounded right-hand side. Comm. Partial Differ. Equ.
**37**(9), 1668 (2012). doi:10.1080/03605302.2012.660267 View ArticleMATHGoogle Scholar - Crandall, M.G., Lions, P.L., Souganidis, P.E.: Maximal solutions and universal bounds for some partial differential equations of evolution. Arch. Rational Mech. Anal.
**105**(2), 163 (1989). doi:10.1007/BF00250835 MathSciNetView ArticleMATHGoogle Scholar - Evans, L.C.: The perturbed test function method for viscosity solutions of nonlinear PDE. Proc. R. Soc. Edinburgh Sect. A
**111**(3–4), 359 (1989)MathSciNetView ArticleMATHGoogle Scholar - Evans, L.C.: Periodic homogenisation of certain fully nonlinear partial differential equations. Proc. R. Soc. Edinburgh Sect. A
**120**(3–4), 245 (1992)MathSciNetView ArticleMATHGoogle Scholar - Feldman, W., Souganidis, P.E.: Preprint (2016) Homogenization and non-homogenization of certain non-convex Hamilton-Jacobi equations (2016). arXiv:1609.09410
- Fleming, W.H., Soner, H.M.: Controlled Markov Processes and Viscosity Solutions, Stochastic Modelling and Applied Probability, vol. 25, 2nd edn. Springer, New York (2006)MATHGoogle Scholar
- Ishii, H.: Almost periodic homogenization of Hamilton-Jacobi equations. In: International Conference on Differential Equations, vol. 1, 2, pp. 600–605 (Berlin, 1999). World Sci. Publ., River Edge, NJ (2000)
- Jing, W., Souganidis, P.E., Tran, H.V.: Large time average of reachable sets and Applications to Homogenization of interfaces moving with oscillatory spatio-temporal velocity. Preprint (arXiv:1408.2013 [math.AP])
- Kosygina, E., Rezakhanlou, F., Varadhan, S.R.S.: Stochastic homogenization of Hamilton–Jacobi–Bellman equations. Comm. Pure Appl. Math.
**59**(10), 1489 (2006). doi:10.1002/cpa.20137 MathSciNetView ArticleMATHGoogle Scholar - Kosygina, E., Varadhan, S.R.S.: Homogenization of Hamilton–Jacobi–Bellman equations with respect to time-space shifts in a stationary ergodic medium. Comm. Pure Appl. Math.
**61**(6), 816 (2008). doi:10.1002/cpa.20220 MathSciNetView ArticleMATHGoogle Scholar - Lions, P.L., Papanicolaou, G.C., Varadhan, S.: Homogenization of Hamilton–Jacobi Equations. Unpublished preprint (1987)
- Lions, P.L., Souganidis, P.E.: Stochastic homogenization of Hamilton–Jacobi and “viscous”–Hamilton–Jacobi equations with convex nonlinearities—revisited. Commun. Math. Sci.
**8**(2), 627 (2010). http://projecteuclid.org/getRecord?id=euclid.cms/1274816896 - Lions, P.L., Souganidis, P.E.: Homogenization of “viscous” Hamilton–Jacobi equations in stationary ergodic media. Comm. Partial Differ. Equ.
**30**(1–3), 335 (2005). doi:10.1081/PDE-200050077 MathSciNetView ArticleMATHGoogle Scholar - Majda, A.J., Souganidis, P.E.: Large-scale front dynamics for turbulent reaction-diffusion equations with separated velocity scales. Nonlinearity
**7**(1), 1 (1994). http://stacks.iop.org/0951-7715/7/1 - Rezakhanlou, F., Tarver, J.E.: Homogenization for stochastic Hamilton–Jacobi equations. Arch. Ration. Mech. Anal.
**151**(4), 277 (2000). doi:10.1007/s002050050198 MathSciNetView ArticleMATHGoogle Scholar - Rockafellar, R.T.: Convex Analysis. Princeton Mathematical Series, No. 28. Princeton University Press, Princeton, NJ (1970)
- Schwab, R.W.: Stochastic homogenization of Hamilton–Jacobi equations in stationary ergodic spatio-temporal media. Indiana Univ. Math. J.
**58**(2), 537 (2009). doi:10.1512/iumj.2009.58.3455 MathSciNetView ArticleMATHGoogle Scholar - Souganidis, P.E.: Stochastic homogenization of Hamilton–Jacobi equations and some applications. Asymptot. Anal.
**20**(1), 1 (1999)MathSciNetMATHGoogle Scholar - Ziliotto, B.: Stochastic homogenization of nonconvex Hamilton–Jacobi equations: a counterexample. Comm. Pure Appl. Math. (2016). doi:10.1002/cpa.21674