Invariant measures for the open KPZ equation: an analytic perspective
Alexander Dunlap, Yu Gu, Tommaso Rosati
TL;DR
This work delivers a stochastic analytic proof of the open KPZ invariant-measure description on a finite strip by starting from the Gaussian invariant measure at homogeneous boundaries and controlled singular boundary perturbations. The authors synthesize a four-pronged strategy: time-reversal symmetry for the zero-boundary case, a Cameron–Martin change of measure to encode boundary data, Itô’s formula to expose a martingale structure for the Radon–Nikodym factor, and a boundary-adapted regularity-structure analysis to tame the singular boundary nonlinearity. Central results include a precise boundary-layer description, a central-limit-type behavior for the time-integrated boundary flux, and a rigorous derivation of the Radon–Nikodym derivative that characterizes the invariant measure for all boundary parameters. The approach is robust and does not rely on discrete integrable approximations, offering a direct analytic pathway to understanding boundary effects and invariant measures in open KPZ. The work thereby advances both the mathematical theory of singular SPDEs with boundary conditions and the physical interpretation of boundary phenomena in KPZ-type systems.
Abstract
The ergodic theory of the open KPZ equation has seen significant progress in recent years, with explicit invariant measures described in a series of works by Corwin--Knizel, Barraquand--Le Doussal, and Bryc--Kuznetsov--Wang--Wesołowski. In this paper, we provide a stochastic analytic proof of the formula for the invariant measures. Our approach starts from the Gaussian invariant measure for the case of homogeneous boundary conditions. We approximate the inhomogeneous problem by a homogeneous one with a singular boundary potential. Using tools including change of measure, time reversal for Markov processes, and Itô's formula, we then reduce the problem to analyzing the KPZ nonlinearity in a thin boundary layer. Finally, using the theory of regularity structures, we establish a central limit theorem for the time-integrated nonlinearity near the boundary, which completes the proof of the invariance. Although it is known that different boundary parameters give rise to distinct physical regimes for the invariant measures, our method is robust and does not rely on any particular choice of boundary parameters.
