We consider the stochastic heat equation $$\partial _{s}u =\frac{1}{2}\Delta u +(\beta V(s,y)-\lambda )u$$ ∂ s u = 1 2 Δ u + ( β V ( s , y ) - λ ) u , with a smooth space-time-stationary Gaussian random field V(s, y), in dimensions $$d\ge 3$$ d ≥ 3 , with an initial condition $$u(0,x)=u_0(\varepsilon x)$$ u ( 0 , x ) = u 0 ( ε x ) and a suitably chosen $$\lambda \in {\mathbb {R}}$$ λ ∈ R . It is known that, for $$\beta $$ β small enough, the diffusively rescaled solution $$u^{\varepsilon }(t,x)=u(\varepsilon ^{-2}t,\varepsilon ^{-1}x)$$ u ε ( t , x ) = u ( ε - 2 t , ε - 1 x ) converges weakly to a scalar multiple of the solution $${\bar{u}}(t,x)$$ u ¯ ( t , x ) of the heat equation with an effective diffusivity a, and that fluctuations converge, also in a weak sense, to the solution of the Edwards-Wilkinson equation with an effective noise strength $$\nu $$ ν and the same effective diffusivity. In this paper, we derive a pointwise approximation $$w^\varepsilon (t,x)={\bar{u}}(t,x)\Psi ^\varepsilon (t,x)+ \varepsilon u_1^\varepsilon (t,x)$$ w ε ( t , x ) = u ¯ ( t , x ) Ψ ε ( t , x ) + ε u 1 ε ( t , x ) , where $$\Psi ^\varepsilon (t,x)=\Psi (t/\varepsilon ^2,x/\varepsilon )$$ Ψ ε ( t , x ) = Ψ ( t / ε 2 , x / ε ) , $$\Psi $$ Ψ is a solution of the SHE with constant initial conditions, and $$u^\varepsilon _1$$ u 1 ε is an explicit corrector. We show that $$\Psi (t,x)$$ Ψ ( t , x ) converges to a stationary process $${\tilde{\Psi }}(t,x)$$ Ψ ~ ( t , x ) as $$t\rightarrow \infty $$ t → ∞ , that $${\mathbf {E}}|u^\varepsilon (t,x)-w^\varepsilon (t,x)|^2$$ E | u ε ( t , x ) - w ε ( t , x ) | 2 converges pointwise to 0 as $$\varepsilon \rightarrow 0$$ ε → 0 , and that $$\varepsilon ^{-d/2+1}(u^\varepsilon -w^\varepsilon )$$ ε - d / 2 + 1 ( u ε - w ε ) converges weakly to 0 for fixed t. As a consequence, we derive new representations of the diffusivity a and effective noise strength $$\nu $$ ν . Our approach uses a Markov chain in the space of trajectories introduced in [17], as well as tools from homogenization theory. The corrector $$u_1^\varepsilon (t,x)$$ u 1 ε ( t , x ) is constructed using a seemingly new approximation scheme on a mesoscopic time scale.
Read full abstract