Abstract
We study Kardar–Parisi–Zhang equation in spatial dimension 3 or larger driven by a Gaussian space–time white noise with a small convolution in space. When the noise intensity is small, it is known that the solutions converge to a random limit as the smoothing parameter is turned off. We identify this limit, in the case of general initial conditions ranging from flat to droplet. We provide strong approximations of the solution which obey exactly the limit law. We prove that this limit has sub-Gaussian lower tails, implying existence of all negative (and positive) moments.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Results
1.1 KPZ Equation and Its Regularization
We consider the Kardar–Parisi–Zhang (KPZ) equation written informally as
and driven by a totally uncorrelated Gaussian space–time white noise \(\xi \). More precisely, \(\xi \) on \({\mathbb {R}}_+\times {\mathbb {R}}^{d}\) is a family \(\{\xi (\varphi )\}_{\varphi \in {\mathcal {S}}({\mathbb {R}}_+ \times {\mathbb {R}}^{d})}\) of Gaussian random variables
with mean 0 and covariance
The Eq. (1.1) describes the evolution of a growing interface in \(d+1\) dimension [19, 26] and also appears as the scaling limit for \(d=1\) of front propagation of the certain exclusion processes ([3, 10]) as well as that of the free energy of the discrete directed polymer ([1]). It should be noted that, on a rigorous level, only distribution-valued solutions are expected for (1.1), and thus it is already ill-posed in \(d=1\) stemming from the inherent non-linearity of the equation and the fundamental problem of squaring or multiplying random distributions. For \(d=1\), studies related to the above equation have enjoyed a huge resurgence of interest in the last decade starting with the important work [16] which gave an intrinsic precise notion of a solution to (1.1).
We now fix a spatial dimension \(d\ge 3\). As remarked earlier, since (1.1) is a-priori ill-posed, we will study its regularized version
which is driven by the spatially mollified noise
with \(\phi _\varepsilon (\cdot )=\varepsilon ^{-d}\phi (\cdot /\varepsilon )\) being a suitable approximation of the Dirac measure \(\delta _0\) and \(C_\varepsilon \) being a suitable divergent (renormalization) constant. We will work with a fixed mollifier \(\phi : {\mathbb {R}}^d \rightarrow {\mathbb {R}}_+\) which is smooth and spherically symmetric, with \(\mathrm {supp}(\phi ) \subset B(0,\frac{1}{2})\) and \(\int _{{\mathbb {R}}^{d}} \phi (x)\,\mathrm{d}x=1\). Then, \(\{\xi _\varepsilon (t,x)\}\) is a centered Gaussian field with covariance
where \(V=\phi \star \phi \) is a smooth function supported in B(0, 1). We also remark that in (1.2), the multiplicative parameter \(\beta \) can be taken to be positive without loss of generality, while by rescaling, no multiplicative parameter is needed in (1.1), see [25]. Also in spatial dimensions \(d\ge 3\), the factor \( \varepsilon ^{\frac{d-2}{2}}\) is the correct scaling—a small enough \(\beta >0\) guarantees a non-trivial random limit of \(h_\varepsilon \) as \(\varepsilon \rightarrow 0 \), see the discussion in Sect. 1.3.
The goal of the present article is to consider general solutions of (1.2), namely the solutions of (1.2) with various initial conditions and prove that as the mollification parameter \(\varepsilon \) is turned off, the renormalized solution of (1.2) converges to a meaningful random limit as long as \(\beta \) remains small enough. We use Feynman–Kac representation of the solution of stochastic heat equation and results from directed polymers. Not only do we identify the distributional limit of \(h_{\varepsilon }\), but we also provide a sequence (indexed by \(\varepsilon \)) of functions of the noise such that
it is a strong approximation of \(h_{\varepsilon }\), i.e. the difference tends to 0 in norm,
it is a stationary solution of the SPDE in (1.2),
all terms in the sequence (in \(\varepsilon \)) have a constant law.
The above functions for the flat initial condition are defined from the martingale limit of a random polymer model taken at some rescaled, shifted and time-reversed version of the noise. The similar approximating functions for other intial conditions can be derived from the martingale limit taken at various version of the noise and the heat kernel. We finally show that it has sub-Gaussian lower tails in this regime, which implies existence of all negative and positive moments of this object. Besides new contributions, we gather and reformulate results which are atomized in the literature, often stated in a primitive form and hidden by necessary technicalities. We end up the introduction with a rather complete account on the state-of-the-art. We now turn to a more precise description of our main results.
1.2 Main Results
In order to state our main results, we will introduce the following notation which will be consistently used throughout the sequel. Recall the definition of the space–time white noise \(\xi \in \mathcal S^\prime ({\mathbb {R}}\times {\mathbb {R}}^{d})\) which is a random tempered distribution (defined in all times, including negative ones), and for any \(\varphi \in {\mathcal {S}}({\mathbb {R}}\times {\mathbb {R}}^{d})\), \(\varepsilon >0\), \(t\in {\mathbb {R}}\) and \(x\in {\mathbb {R}}^{d}\),
Equivalently,
so that by invariance under space–time diffusive rescaling, time-reversal and spatially translation, \(\xi ^{{\scriptscriptstyle {({\varepsilon ,t,x}})}}\) is itself a Gaussian white noise and possesses the same law as \(\xi \). This is also the reason why we define the noise above also for negative times. To abbreviate notation, we will also write
We also need specify the definition(s) of the critical disorder parameter. Note that (1.2) is inherently non-linear. The Hopf–Cole transformation suggests that
solves the linear multiplicative noise stochastic heat equation (SHE)
provided that the stochastic integral in (1.6) is interpreted in the classical Itô–Skorohod sense and that we choose
equal to the Itô correction below. Then, the generalized Feynman–Kac formula ([20, Theorem 6.2.5]) provides a solution to (1.6)
with \(E_x\) denoting expectation with respect to the law \(P_x\) of a d-dimensional Brownian path \(W=(W_s)_{s\ge 0}\) starting at \(x\in {\mathbb {R}}^{d}\), which is independent of the noise \(\xi \). Plugging (1.3) in the previous formula, using Brownian scaling and time-reversal, we get the a.s. equality
where
is the normalized partition function of the Brownian directed polymer in a white noise environment \(\xi \), or equivalently, the total-mass of a Gaussian multiplicative chaos in the Wiener space ([24, Sect. 4]).
It follows that there exists \(\beta _c\in (0,\infty )\) and a strictly positive non-degenerate random variable \({\mathscr {Z}}_\infty (x)\) so that, a.s. as \(T \rightarrow \infty \),
See [24], or [8] for a general reference. Moreover, \(({\mathscr {Z}}_T)_{T\ge 0}\) is uniformly integrable for \(\beta <\beta _c\), which we will always assume from now on. Now, let \(\mathscr {C}^\alpha ({\mathbb {R}}\times {\mathbb {R}}^{d})\) denote the path-space of the white noise (see Appendix for a precise definition) and
be any arbitrary representative of the random limit \(\mathscr {Z}_\infty = {\mathscr {Z}}_\infty (0)\); in particular \({\mathfrak {u}}(\xi ) = {\mathscr {Z}}_\infty \). Then, \(\mathbb {E}[{\mathfrak {u}}]=1\), and throughout the sequel we will write (recall (1.5) and (1.8))
Since \({\mathfrak {u}}\) is non constant with \(\mathbb {E}{\mathfrak {u}}=1\), we have \(\mathbb {E}{\mathfrak {h}} <0\).
Finally, we also define another critical disorder parameter:
which corresponds to the \(L^2\)-region of the polymer model (see (1.14)). In \(d\ge 3\), it is easy to see that for \(\beta \) small enough, \(\sup _{x\in {\mathbb {R}}^{d}} E_x[\beta \int _0^\infty V(W_s)\, \,\mathrm{d}s]<1\), so that by Khas’minskii’s lemma, \( E_0\big [\exp \big \{\beta \int _0^\infty V(W_s)\, \,\mathrm{d}s \big \}\big ]<\infty \), so this implies that \(\beta _{L^2}> 0\). Furthermore, for \(\beta <\beta _{L^2}\), convergence (1.10) becomes an \(L^2\)-convergence, hence \(0<\beta _{L^2} \le \beta _c<\infty \). In fact, it is widely believed that \(\beta _{L^2}<\beta _c\), see [8, Remark 5.2 p. 87] for references in the discrete case.
We are now ready to state our main results.
Theorem 1.1
Assume \(d\ge 3\) and recall that \({\mathfrak {h}}\) is defined in (1.11).
(Flat initial condition). Fix \(\beta \in (0,\beta _c)\) and consider the solution \(h_\varepsilon \) to (1.2) with \(h_\varepsilon (0,\cdot )=0\). Then, for all \(t>0, x\in {\mathbb {R}}^{d}\), we have as \(\varepsilon \rightarrow 0\),
$$\begin{aligned} h_\varepsilon (t,x) - {{\mathfrak {h}}}\big ( \xi ^{{\scriptscriptstyle {({\varepsilon ,t,x}})}}\big ) {\mathop {\longrightarrow }\limits ^{ \mathbb P}}0 \;. \end{aligned}$$(General initial condition). Fix \(\beta \in (0,\beta _{L^2})\) and consider the solution \(h_\varepsilon \) to (1.2) with \(h_\varepsilon (0,\cdot )=h_0(\cdot )\) for some \(h_0: {\mathbb {R}}^{d}\rightarrow {\mathbb {R}}\) which is continuous and bounded from above. Then, for all \(t>0, x\in {\mathbb {R}}^{d}\), we have as \(\varepsilon \rightarrow 0\),
$$\begin{aligned} h_\varepsilon (t,x) - {{\mathfrak {h}}}(\xi ^{{\scriptscriptstyle {({\varepsilon ,t,x}})}}) - \log {\overline{u}} (t,x) {\mathop {\longrightarrow }\limits ^{{\mathbb {P}}}} 0 \;, \end{aligned}$$(1.12)where
$$\begin{aligned} \partial _t {\overline{u}}=\frac{1}{2} \Delta {\overline{u}}, \qquad {\overline{u}}(0,x)=\exp h_0(x). \end{aligned}$$(Droplet or narrow-wedge initial condition). Fix \(\beta \in (0,\beta _{L^2})\) and consider the solution \(h_\varepsilon \) to (1.2) such that
$$\begin{aligned} \lim _{t \searrow 0} \exp h_{\varepsilon }(t, \cdot ) = \delta _{x_0}(\cdot ) \end{aligned}$$for some \(x_0 \in {\mathbb {R}}^{d}\). Then, for all \(t>0, x\in {\mathbb {R}}^{d}\), we have as \(\varepsilon \rightarrow 0\),
$$\begin{aligned} h_\varepsilon (t,x) - {{\mathfrak {h}}}(\xi ^{{\scriptscriptstyle {({\varepsilon ,t,x}})}}) - {{\mathfrak {h}}}( \xi _{(\varepsilon ,x_0)} ) - \log \rho (t,x-x_0) {\mathop {\longrightarrow }\limits ^{{\mathbb {P}}}} 0\;, \end{aligned}$$(1.13)where \(\rho \) is the d-dimensional Gaussian kernel, and
$$\begin{aligned} \xi _{(\varepsilon ,x_0)}(s,x)= \varepsilon ^{\frac{d+2}{2}} \xi (\varepsilon ^2 s, x_0+\varepsilon x) \end{aligned}$$is a space–time Gaussian white noise.
The deterministic terms in (1.12) and (1.13) are logarithms of solutions to heat equation without noise, and one can see that \( {{\mathfrak {h}}} \rightarrow 0\) in \(L^2\) as \(\beta \rightarrow 0\). This implies that
We obtain an immediate corollary to Theorem 1.1.
Corollary 1.2
Fix \(\beta \in (0,\beta _{L^2})\) and denote by \(h_\varepsilon ^{{\scriptscriptstyle {({h_0}})}}\) the solution of (1.2) with initial condition \(h_\varepsilon (0,\cdot )=h_0(\cdot )\), where \(h_0\) is continuous and bounded from above. Then for any \(x_0\in {\mathbb {R}}^{d}\),
Our next main result is the following which provides a sub-Gaussian upper tail estimate on the limit \({\mathfrak {h}}\) defined in (1.11).
Theorem 1.3
Let \(d\ge 3\) and \(\beta \in (0,\beta _{L^2})\). Then, there exists a constant \(C\in (0,\infty )\) such that for any \(\theta >0\),
In particular, \({\mathfrak {h}}\in L^p({\mathbb {P}})\) for any \(p\in \mathbb R\).
From Theorems 1.1 and 1.3, we derive
Corollary 1.4
In the hypothesis of Corollary 1.2, we have for any \(x_0\in {\mathbb {R}}^{d}\),
1.3 Literature Remarks and Discussion
In the present set up, by finding a non-trivial limit when letting the regularization parameter vanish we have obtained a non-trivial renormalization of KPZ equation (1.1). Let us stress the main specificity of Theorem 1.1. The approximating sequence \(( {{\mathfrak {h}}}( \xi ^{(\varepsilon ,t,x)}) ; \varepsilon >0 )\) combines two interesting properties:
it is a solution of (1.2) on \({\mathbb {R}}\times {\mathbb {R}}^d\) (with null initial condition at time \(-\infty \)),
it is constant in law for all \((\varepsilon ,t,x)\), with law given by the one of \(\log {\mathscr {Z}}_\infty \);
it approximates \(h_\varepsilon (t,x)\) in probability.
(Similar properties hold for the other initial conditions). Since it depends on \(\varepsilon \), it is not a (strong) limit, but it can be used similarly. In particular, fluctuations can be studied as shown in [9]. This is quite different from using a deterministic centering, e.g., \({\tilde{h}}_\varepsilon (t,x)=h_\varepsilon (t,x) - \mathbb {E}h_\varepsilon (t,x) \). As mentioned in [12], \({\tilde{h}}_\varepsilon \) does not converge to 0 pointwise, but it does as a distribution. Integrating \({\tilde{h}}_\varepsilon \) in space against test functions cause oscillations to cancel. On the contrary, in our result \( h_\varepsilon (t,x) - {{\mathfrak {h}}}( \xi ^{(\varepsilon ,t,x)}) \rightarrow 0\) pointwise, and we do not need any averaging in space.
The first two claims in Theorem 1.1 can be viewed as counterparts of [13, Theorem 1.1 and Theorem 1.3] dealing with stochastic homogeneization of the stochastic heat equation when the noise is correlated in time. From the last claim in Theorem 1.1—which has no counterpart in [13]—we conclude that the solution with narrow-wedge initial condition performs a “zooming” of the noise around the endpoint (t, x) and the starting point \((0,x_0)\).
We also emphasize that our results concern studying the asymptotic behavior of the solution to the non-linear equation (1.2), and are not restricted to the linear multiplicative noise stochastic heat equation (see (1.6)). Furthermore, the statements of the results concern the solution itself, without need of integrating spatially against test functions. However, note that the limit obtained in Theorem 1.1does depend on the smoothing procedure \(\phi \) as well as on the disorder parameter \(\beta \) and it is not universal (in particular, for \(\beta <\beta _{L^2}\), the variance of \(\exp ({\mathfrak {h}})\) can be computed from the RHS of (1.14) for \(x=0\), and it depends on the mollification). Thus the present scenario lies in total contrast with the 1-dimensional spatial case where the limit can be defined by a chaos expansion [1, 2] (with the parameter \(\beta \) absorbed by scaling) or via the theory of regularity structures ([17]) which also produces a renormalized limit which does not depend on the mollification scheme.
In [9] we have also investigated the rate of the convergence of \(h_\varepsilon \rightarrow {\mathfrak {h}}\) for small enough \(\beta \). In fact, it is shown there that the finite dimensional distributions of the entire space–time process \(\varepsilon ^{1-\frac{d}{2}}\big ( h_\varepsilon (t,x)- {\mathfrak {h}}_\varepsilon (t,x)\big )_{t>0,x\in {\mathbb {R}}^{d}}\) converge towards that of \({\mathscr {H}}(t,x)=\gamma (\beta )\int _0^\infty \int _{{\mathbb {R}}^{d}} \rho (\sigma +t,x-z) \xi (\sigma ,z) \,\mathrm{d}\sigma \,\mathrm{d}z\) where \(\rho (t,x)\) is the standard heat kernel and \(\gamma (\beta )\) is a positive constant, see below. This limit \({\mathscr {H}}(t,x)\) is the evolution of a Gaussian free field\({\mathscr {H}}(0,x)\) under the heat flow, i.e., the limit \({\mathscr {H}}\) itself is a pointwise solution of the heat equation \(\partial _t {\mathscr {H}}=\frac{1}{2} \Delta \mathscr {H}\) with a random initial condition \({\mathscr {H}}(0,x)\) which is a Gaussian free field (GFF). In total constrast to this scenario, for larger \(\beta \), the so-called KPZ regime is expected to take place with different limits, different scaling exponents and non-Gaussian limiting distributions. In particular, the variance in the above Gaussian distribution is given by
which already diverges for \(\beta >\beta _{L^2}\) indicating that the amplitude of the fluctuations, or at least their distributional nature, changes at this point. However the KPZ regime is not expected before the critical value \(\beta _c\). Hence this region \(\beta \in (\beta _{L^2}, \beta _c)\) remains mysterious.
Finally, we remark on the correlation structure of the limit \({\mathfrak {u}}\) which was computed in [9]. It was shown that, for \(\beta \) small enough,
with \({{\mathfrak {C}}}_1= E_{\mathbf{e_1}/\sqrt{2}}[ \exp \{\beta ^2 \int _0^\infty V(\sqrt{2} W_s) ds\} -1]\). The above correlation structure also underlines that solution \(u_\varepsilon (t,x)\) and \(u_\varepsilon (t,y)\) become asymptotically independent so that the spatial averages \(\int _{{\mathbb {R}}^{d}} f(x) \, u_\varepsilon (t,x) \,\mathrm{d}x\rightarrow \int f(x) {\overline{u}}(t,x) \,\mathrm{d}x\) become deterministic and \({\overline{u}}\) solves the unperturbed heat equation \(\partial _t {\overline{u}}=\frac{1}{2} \Delta {\overline{u}}\). As remarked earlier, the spatially averaged fluctuations \(\varepsilon ^{1-\frac{d}{2}} \int _{{\mathbb {R}}^{d}} f(x)[ u_\varepsilon (t,x)- {\overline{u}}(t,x)] \,\mathrm{d}x\) were shown to converge ([12, 15, 21]) to the averages of the heat equation with additive space–time white noise with variance given by (a constant multiple of) \(\sigma ^2(\beta )\), which also underlines the Edwards–Wilkinson regime in weak disorder. For averaged fluctuations of similar nature in \(d=2\) we refer to [4, 7, 14].
2 Proof of Theorem 1.1
We now consider the regularized KPZ equation (1.6) as before, but with different initial data and identify the limit of the solution up to leading order. For notational brevity, we will write
where \(V=\phi \star \phi \) so that \({\mathscr {Z}}_T(x)=\mathscr {Z}_T(\xi ;x)=E_x[\Phi _T]\) and \(\mathbb {E}[{\mathscr {Z}}_T]=1\).
We also remind the reader that \(u_\varepsilon \) solves (1.6) and \(h_\varepsilon =\exp [u_\varepsilon ]\) solves (1.2) with \(C_\varepsilon = \frac{\beta ^2 \varepsilon ^{-2}}{2} V(0)\). Finally, recall that \(u_\varepsilon (t,x)=\mathscr {Z}_{\frac{t}{\varepsilon ^2}} \big (\xi ^{{\scriptscriptstyle {({\varepsilon ,t}})}}; \frac{x}{\varepsilon }\big )\) with \(\xi ^{{\scriptscriptstyle {({\varepsilon ,t}})}}\) given by (1.3) and (1.4). The proof of the first claim in Theorem 1.1 is plain. Using (1.8) and \(\xi ^{{\scriptscriptstyle {({\varepsilon ,t,x}})}}=\xi \) in law,
as \(\varepsilon \rightarrow 0\) by (1.10) and uniform integrability if \(\beta <\beta _c\). Hence,
in probability as \(\varepsilon \rightarrow 0\). This yields the first claim.
2.1 General Initial Condition: Proof of (1.12)
Fix continuous functions \(u_0: {\mathbb {R}}^{d}\rightarrow (0, +\infty )\) and \(h_0:{\mathbb {R}}^{d}\rightarrow {\mathbb {R}}\) which are bounded from above, consider the solution of SHE
or, equivalently by the relations \(u_\varepsilon = \exp h_\varepsilon \) and \(u_0=\exp h_0\), the solution of KPZ
As before, we have the Feynman–Kac representation
with \( \xi ^{(\varepsilon ,t)}\) as above.
Lemma 2.1
For \(\beta \in (0, \beta _{L^2})\),
where \(\theta _{x}\) denotes the canonical spatial translation in the path space \({\mathscr {C}}^\alpha \) of the white noise and \({\overline{u}}\) solves \(\partial _t {\overline{u}}= \frac{1}{2} \Delta {\overline{u}}\) with \({\overline{u}}(0,\cdot )=u_0(\cdot )\).
Proof
Note that
Then
Furthermore,
where the right hand side is a triplet of three independent random variables, with \(Z_t^{(1)}\) and \(Z_t^{(2)}\) distributed as \(W_t\). Hence, expectation (2.5) vanishes as \(\varepsilon \rightarrow 0\), provided that \(u_0\) is bounded and continuous, and because of uniform integrability which is implied by
for \(\beta <\beta _{L^2}\) and \(\delta >0\) small enough. The proof is concluded by the observation that \(E_{x/\varepsilon } \left[ \Phi _{\varepsilon ^{-2}t}(\xi ;W)\right] -{{\mathfrak {u}}}(\xi \circ \theta _{x/\varepsilon }) {\mathop {\rightarrow }\limits ^{L^2}} 0\) and since the law of the left member does not depend on x, we can set \(x=0\). \(\square \)
We now end the
Proof of (1.12)
For \(\beta < \beta _{L^2}\), for all t, x, as \(\varepsilon \rightarrow 0\), we first show
Note that (2.7) follows directly from Lemma 2.1 and (2.4). Then, since \({\mathfrak {u}}>0\), taking logarithm we deduce the convergence in probability (1.12). \(\square \)
Remark 2.2
Recall that in [24] it was shown that, for any smooth function f with compact support, \(\int _{{\mathbb {R}}^{d}} u_\varepsilon (t,x) f(x) \, \,\mathrm{d}x \rightarrow \int _{{\mathbb {R}}^{d}} {\overline{u}}(t,x) f(x) \, \,\mathrm{d}x\). Note that unlike the latter statement, no smoothing in space is needed in the present context. In fact, we can recover the spatially averaged statement from above. Indeed, fast decorrelation in space of \(\xi ^{(\varepsilon ,t,x)}\) as \(\varepsilon \rightarrow 0\), ergodicity and smoothness justify the equivalence below:
\(\square \)
2.2 Narrow-Wedge Initial Condition: Proof of (1.13)
Fix \(x_0 \in {\mathbb {R}}^{d}\), and consider the solution of SHE
or, equivalently by the relation \(u_\varepsilon = \exp h_\varepsilon \), the solution of KPZ
By Feynman–Kac formula, the solution of SHE now admits a Brownian bridge representation:
where \(E_{0,x}^{t,y}\) denotes expectation with respect to a Brownian bridge starting at x and conditioned to be found at y at time t, \(\rho \) is the d-dimensional Gaussian kernel and
so that we again have \(\xi _{(\varepsilon ,x_0)}{\mathop {=}\limits ^\mathrm{{ law}}}\xi \).
The following Lemma follows the approach for proving the local limit theorem as in [27, 29].
Lemma 2.3
For \(\beta \in (0, \beta _{L^2})\), for any \(A>0\),
Proof
We will write \(X=\varepsilon ^{-1} x\), \(T=\varepsilon ^{-2}t\) and let \(m=m_\varepsilon \) be a time parameter, such that \(m_\varepsilon \rightarrow \infty \) and \(m_\varepsilon = o({T})\), as \(\varepsilon \rightarrow 0\). We use the notation:
Step 1 We first want to approximate \(E_{0,0}^{T,X}[\Phi _T]\) by \(E_{0,0}^{T,X}\left[ \Phi _{m}\Phi _{T-m,T}\right] \) in \(L^2\)-norm, so we compute the difference:
To show that the right hand side goes to 0 as \(\varepsilon \rightarrow 0\), it suffices to observe that, for all \(a>0\),
To prove this, we use Hölder’s inequality similarly to (2.6), and use [29, Corollary 3.8] (with a slight modification of the proof to adapt it to the case of a single Brownian bridge, as done in the discrete case in [11, Proposition 3.2]) and transience of Brownian motion for \(d\ge 3\), which implies, since \(m\rightarrow \infty \), that
Step 2 We wish to use Markov property and symmetry of the Brownian bridge to show that \(E_{0,0}^{T,X}\left[ \Phi _{m}\Phi _{T-m,T}\right] \) factorizes asymptotically into the product \(E_0\left[ \Phi _{m} \right] E_0[\Phi _{m}(\xi ^{(1,T,X)})]\), which satisfies:
as \(\varepsilon \rightarrow 0\) for \(\beta <\beta _{L^2}\), by Cauchy–Schwarz inequality and invariance in law of the white noise with a shift by X. Hence, we compute
After change of variable by setting \(Y=\sqrt{T}y\) in the above integral and since \(\rho (Ts,\sqrt{T}z) = T^{-d/2} \rho (s,z)\), observe that by Jensen’s inequality and dominated convergence, we can prove that
if we can show that for all fixed \(y\in \mathbb {R}^d\),
To prove this, we use the density of the Brownian bridge, at truncated time horizon, with respect to the Brownian motion ([9, Lemma 4.5]), to get that:
After rescaling, the difference inside the parenthesis goes almost surely to 0, for y fixed and uniformly in \(|x|\le A\); we conclude the proof of the lemma using Hölder’s inequality. \(\square \)
We can now conclude the
Proof of (1.13)
Let \(h_\varepsilon \) be the narrow-wedge height function solution of (2.9). We need to show that for \(\beta < \beta _{L^2}\), for all t, x, as \(\varepsilon \rightarrow 0\),
with \(\xi _{(\varepsilon , x_0)}\) in (2.12). We use the representation (2.11) and the property \(\xi _{(\varepsilon ,x_0)} {\mathop {=}\limits ^\mathrm{{ law}}}\xi \), so that we can exchange \(\xi \) with \(\xi _{(\varepsilon ,x_0)}\), in convergence (2.13) taken with endpoint \(\varepsilon ^{-1}(x-x_0)\). This leads to the above convergence in probability for the logarithm, proving (1.13). \(\square \)
3 Proof of Theorem 1.3
We focus on showing that for \(\beta <\beta _{L^2}\), \(\log {{\mathscr {Z}}}_\infty \) admits a sub-Gaussian lower tails estimate, that is, for some \(C\in (0,\infty )\) and any \(\theta >0\),
We invoke a second moment method combined with the Talagrand’s concentration inequality as in [5] (see also [22, Sect. 2.2]). As the Cauchy–Schwarz inequality, which is a central tool in this proof is not directly available in the continuous setting, we choose to introduce a discretization of the white noise to recover it.
Consider \({\mathcal {R}}_n\) a tiling of \([0,2^n]\times [-2^n,2^n]^d\), composed of cubes of length \(2^{-n}\), such that every cube of \({\mathcal {R}}_{n}\) can be divided in \(2^{d+1}\) cubes of \(\mathcal R_{n+1}\). We define a discrete version of \({{\mathscr {Z}}}_T\) through:
where,
\(\phi _W^{}(s,y) {:}{=} \phi (W_s-y)\),
\(\phi _W^{{\scriptscriptstyle {({n}})}}(s,y) = \inf _{R} \phi _W^{}\) if (s, y) is in a cube R of \({\mathcal {R}}_n\), and 0 otherwise.
We stress that \(\phi _W^{{\scriptscriptstyle {({n}})}}\) is non-decreasing with n and converges almost surely to \(\phi _W\).
Using the Gaussian covariance structure, we have that
For \(\beta < \beta _{L^2}\) and since \(\phi _W^{{\scriptscriptstyle {({n}})}}\le \phi _W\), we immediatly obtain from the monotone convergence theorem that the right-hand side goes to zero in the limit \(T\rightarrow \infty \) followed by \(n\rightarrow \infty \). By Doob’s \(L^2\) inequality applied to the martingale \({{\mathscr {Z}}}-{{\mathscr {Z}}}^{{\scriptscriptstyle {({n}})}}\), this implies in particular that
Since \(\phi _W^{{\scriptscriptstyle {({n}})}}\) is set to be 0 outside of \([0,2^n]\times [-2^n,2^n]^d\), the set \({\mathcal {C}}_n\) containing the centers of the cubes of \({\mathcal {R}}_n\) is finite. Hence, as each cube has volume \(2^{-(d+1)n}\), we can write that
where the \(\xi _n(i,x)\) are independent centered Gaussian random variables of variance 1. Then, we define the polymer measure \({\widehat{P}}_{\beta ,\xi _n}\) of renormalized partition function \({{\mathscr {Z}}}_\infty ^{{\scriptscriptstyle {({n}})}}\):
where we have set, using (3.3),
Finally, we let \({\widehat{E}}_{\beta ,\xi _n}\) denote expectation corresponding to \({\widehat{P}}_{\beta ,\xi _n}\).
Now, we can compare the free energies of two realizations of the noise \(\xi _n(i,x)\) and \(\xi '_n(i,x)\):
where \(\mathrm {d}(\cdot ,\cdot )\) denotes the euclidean distance on \(\mathbb {R}^{\mathrm {Card}({\mathcal {C}}_n)}\), and where we used Jensen’s and Cauchy–Schwarz inequalities for respectively the first and second lower bounds.
Let m and C be two positive constants, and consider the set:
For \(\xi '_n \in {\mathcal {A}}_n\), the above computation implies that
therefore, assuming
property (3.1) results from (3.4), (3.2) and the following Gaussian concentration inequality (Lemma 4.1 in [5], extracted from [28]):
We now prove (3.5). By convergence (3.2), and since \({{\mathscr {Z}}}_\infty >0\) a.s., we can find \(m>0\), such that for n large enough,
Then, for a large enough C,
In the above display, the first lower bound follows from the definition of \({\mathcal {A}}\), while we used \({\mathbb {P}}[A\cap B] \ge {\mathbb {P}}[A]-{\mathbb {P}}[B^c]\) in the second lower bound. The third inequality comes from Markov’s inequality and the upper-bound \(\phi _W^{(n)}\le \phi _W\). Positivity of the left hand-side of the third line is assured for C large enough, provided that \(\beta <\beta _{L^2}\).
This entails that the KPZ limit \(|{\mathfrak {h}}|\) (recall (1.11)) has all positive and negative moments for all \(\beta <\beta _{L^2}\). Indeed, letting \(\log _- = \log \wedge \, 0\), the sub-Gaussian decay of the left tail of \(\log {{\mathscr {Z}}}_\infty \) (3.1) gives \(\mathbb {E}[\exp \{\nu \log _- {{\mathscr {Z}}}_{\infty }\}] <\infty \), for all \(\nu \in \mathbb {R}\). Moreover, by definition of the \(L^2\) region, we have \(\mathbb {E}[\exp \{2\log {{\mathscr {Z}}}_{\infty }\}] <\infty \). Hence, \(\log {{\mathscr {Z}}}_\infty \) admits all positive and negative moments. \(\square \)
Remark 3.1
After finishing the writing of the present article, we learned that another proof of the negative moments of \({\mathscr {Z}}_\infty \) has been recently proposed in [12, 18] using a continuous approximation of the white noise. A proof of the corresponding result for the KPZ equation in dimension 2, which relies on the convexity of the free energy and the Malliavin derivative, can be found in [4].
References
Alberts, T., Khanin, K., Quastel, J.: The intermediate disorder regime for directed polymers in dimension 1+1. Ann. Probab. 42, 1212–1256 (2014)
Alberts, T., Khanin, K., Quastel, J.: The continuum directed random polymer. J. Stat. Phys. 154, 305–326 (2014)
Bertini, L., Giacomin, G.: Stochastic Burgers and KPZ equations from particle systems. Commun. Math. Phys. 183(3), 571–607 (1997)
Caravenna, F., Sun, R., Zygouras, N.: The two-dimensional KPZ equation in the entire subcritical regime. Ann. Probab. arXiv:1812.03911
Carmona, P., Hu, Y.: On the partition function of a directed polymer in a Gaussian random environment. Prob. Theory Relat. Fields 124, 431–457 (2002)
Chandra, A., Weber, H.: Stochastic PDEs, regularity structures and interacting particle systems Ann. Fac. Sci. Toulouse Math. 26, 847–909 (2017)
Chatterjee, S., Dunlap, A.: Constructing a solution of the (2 + 1)-dimensional KPZ equation. Ann. Probab. arXiv preprint. arXiv:1809.00803
Comets, F.: Directed polymers in random environments, Lect. Notes Math. 2175, Springer (2017)
Comets, F., Cosco, C., Mukherjee, C.: Space-time fluctuation of the Kardar-Parisi-Zhang equation in \(d \ge 3\) and the Gaussian free field, arXiv:1905.03200
Corwin, I.: The Kardar-Parisi-Zhang equation and universality class. Random Matrices Theory Appl. 1, 1130001 (2012)
Cosco, C., Nakajima, S.: Gaussian fluctuations for the directed polymer partition function for \(d\ge 3\) and in the whole \(L^2\)-region, arXiv:1903.00997
Dunlap, A., Gu, Y., Ryzhik, L., Zeitouni, O.: Fluctuations of the solutions to the KPZ equation in dimensions three and higher. arXiv:1812.05768
Dunlap, A., Gu, Y., Ryzhik, L., Zeitouni, O.: The random heat equation in dimensions three and higher: the homogenization viewpoint arXiv:1808.07557
Gu, Y.: Gaussian fluctuations of the \(2\)D KPZ equation. arXiv preprint, arXiv: 1812.07467
Gu, Y., Ryzhik, L., Zeitouni, O.: The Edwards-Wilkinson limit of the random heat equation in dimensions three and higher. Commun. Math. Phys. 363, 351–388 (2018)
Hairer, M.: Solving the KPZ equation. Ann. Math. 178, 558–664 (2013)
Hairer, M.: A theory of regularity structures. Invent. Math. 198(2), 269–504 (2014)
Hu, Y., Le, K.: Asymptotics of the density of parabolic Anderson random fields, arXiv preprint, arXiv:1801.03386
Kardar, M., Parisi, G., Zhang, Y.Z.: Dynamic scaling of growing interfaces. Phys. Rev. Lett. 56, 889–892 (1986)
Kunita, H.: Stochastic Flows and Stochastic Differential Equations. Cambridge University Press, Cambridge (1990)
Magnen, J., Unterberger, J.: The scaling limit of the KPZ equation in space dimension 3 and higher. J. Stat. Phys. 171(4), 543–598 (2018)
Moreno Flores, G.: On the (strict) positivity of solutions of the stochastic heat equation. Ann. Probab. 42(4), 1635–1643 (2014)
Mourrat, J.-C., Weber, H.: Global well-posedness of the dynamic \(\Phi ^4\) model in the plane. Ann. Probab 45(4), 2398–2476 (2017)
Mukherjee, C., Shamov, A., Zeitouni, O.: Weak and strong disorder for the stochastic heat equation and the continuous directed polymer in \(d\ge 3\). Electr. Commun. Prob. 21, 12 (2016)
Quastel, J.: Introduction to KPZ Current Developments in Mathematics, pp. 125–194. Int. Press, Somerville (2011)
Sasamoto, T.: The 1D Kardar-Parisi-Zhang equation: height distribution and universality. PTEP Prog. Theor. Exp. Phys. 2016(2), 12 (2016). 022A01
Sinai, Y.: A remark concerning random walks with random potentials. Fundam. Math. 147, 173–180 (1995)
Talagrand, M.: Mean Field Models for Spin Glasses: A First Course (Saint-Flour 2000). Lect. Notes Math. 1816, Springer (2003)
Vargas, V.: A Local limit theorem for directed polymers in random media: the continuous and the discrete case. Ann. Inst. H. Poincaré Probab. Stat. 42, 521–534 (2006)
Acknowledgements
Open Access funding provided by Projekt DEAL. The research of the Chiranjib Mukherjee is supported by the Deutsche Forschungsgemeinschaft (DFG) under Germany’s Excellence Strategy EXC 2044-390685587, Mathematics Münster: Dynamics-Geometry-Structure. Part of the work was carried out during Francis Comet’s long term stay at NYU Shanghai during the academic year 2018–2019 and its hospitality is gratefully acknowledged. The authors are very thankful to two anonymous referees whose constructive suggestions led to a refined version of the first version of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Eric A. Carlen.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: The State Space of the Noise
Appendix A: The State Space of the Noise
We will include some elementary facts regarding the regularity properties of space–time white noise \(\xi \). For any \(z,z^\prime \in {\mathbb {R}}\times {\mathbb {R}}^{d}\), we will denote by \(\Vert \cdot \Vert \) the parabolic distance given by \(\Vert z-z^\prime \Vert = |t-t^\prime |^{1/2}+ \sum _{i=1}^d |x_j-x_j^\prime |\), where \(z=(t,x)\) and \(z^\prime =(t^\prime ,x^\prime )\). Recall that the Hölder space of positive exponent \(\alpha \in (0,1)\) consists of all functions \(u: {\mathbb {R}}\times {\mathbb {R}}^{d}\rightarrow {\mathbb {R}}\) such that for any compact set \(K\subset {\mathbb {R}}\times {\mathbb {R}}^{d}\),
The corresponding Hölder (Besov) space of negative regularity is defined as follows. First for any \(k\in {\mathbb {N}}\), let \(B_k\) denote the space of all smooth functions \(\varphi :{\mathbb {R}}\times {\mathbb {R}}^{d}\rightarrow {\mathbb {R}}\) which are supported on the unit ball in \(({\mathbb {R}}\times {\mathbb {R}}^{d}, \Vert \cdot \Vert )\) such that
Then for any fixed \(\alpha <0\), we define the space \(\mathscr {C}^\alpha \) to be the space of all tempered distributions \(\eta \in {\mathcal {S}}^\prime ({\mathbb {R}}\times {\mathbb {R}}^{d})\) such that for any compact set \(K\subset {\mathbb {R}}\times {\mathbb {R}}^{d}\),
where \(k=\lceil -\alpha \rceil \) and
A crucial estimate on the Besov norm \(\Vert \cdot \Vert _{\mathscr {C}^\alpha (K)}\) is given by
where \({\widetilde{K}}\) is also a compact set slightly larger than K and u is a single, well-chosen test function (see the proof of [23, Lemma 5.2]). Recall that if \(\xi \) is space–time white noise (i.e, \(\mathbb {E}[\langle \xi , \varphi _1\rangle \langle \xi , \varphi _2\rangle ]= \int \varphi _1(t,x) \varphi _2(t,x) \, \,\mathrm{d}t \,\mathrm{d}x\)), then with
The following result, then implies the desired regularity property of \(\xi \).
Lemma A.1
Fix \(\alpha <0\) and \(p\ge 1\) and let \(\eta \) be a linear map from \({\mathcal {S}}({\mathbb {R}}\times {\mathbb {R}}^{d})\) to the space of random variables. Suppose there exists \(C\in (0,\infty )\) such that for all \(z\in {\mathbb {R}}\times {\mathbb {R}}^{d}\) and all \(u\in {\mathcal {S}}({\mathbb {R}}\times {\mathbb {R}}^{d})\) with compact support in \({\mathbb {R}}\times {\mathbb {R}}^{d}\) with \(\sup _w |u(w)| \le 1\) one has
Then there exists a random distribution \({{{\widetilde{\eta }}}}\) in \({\mathcal {S}}'({\mathbb {R}}\times {\mathbb {R}}^{d})\) such that for all \(\alpha ^\prime < \alpha - \frac{(d+2)}{p}\) and compact set K,
Below we will provide a short sketch of the proof of Lemma A.1. First note that since for any \(p \ge 1\), \(\mathbb {E}[ | \langle \xi _\lambda ,\varphi \rangle |^p] \le C_p \mathbb {E}[\langle \xi _\lambda ,\varphi \rangle ^2]^{p/2}\), then Lemma A.1 and (A.2) imply that \(\xi \) has regularity \({\mathscr {C}}^{-\frac{d}{2}- 1- \delta }\) for any \(\delta >0\).
Sketch of proof of Lemma A.1
We follow the proof of Theorem [6, Theorem 2.7] which is based on the arguments of [23, Lemma 5.2] which builds on the classical approach of proving Kolmogorov continuity theorem. Note that if \({\mathbb {R}}\ni t \mapsto X(t)\) is continuous, then
implying further
Now taking expectation, we obtain
Given the crucial estimate (A.1) we can follow the above guiding philosophy of replacing the supremum on the right hand side of (A.1) and summing the geometric series. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Comets, F., Cosco, C. & Mukherjee, C. Renormalizing the Kardar–Parisi–Zhang Equation in \(d\ge 3\) in Weak Disorder. J Stat Phys 179, 713–728 (2020). https://doi.org/10.1007/s10955-020-02539-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10955-020-02539-7
Keywords
- SPDE
- Kardar–Parisi–Zhang equation
- Stochastic heat equation
- Rate of convergence
- Edwards–Wilkinson limit
- Gaussian free field
- Directed polymers
- Random environment