-
Low temperature expansion for the Euclidean $Φ^4_2$-measure
Authors:
Benjamin Gess,
Kihoon Seong,
Pavlos Tsatsoulis
Abstract:
We study asymptotic expansions of the Euclidean $Φ^4_2$-measure in the low-temperature regime. In particular, this extends the asymptotic expansions of Gaussian function space integrals developed in Schilder (1966) and Ellis and Rosen (1982) to the singular setting, where the field is no longer a function, but just a distribution. As a consequence, we deduce limit theorems, specifically the law of…
▽ More
We study asymptotic expansions of the Euclidean $Φ^4_2$-measure in the low-temperature regime. In particular, this extends the asymptotic expansions of Gaussian function space integrals developed in Schilder (1966) and Ellis and Rosen (1982) to the singular setting, where the field is no longer a function, but just a distribution. As a consequence, we deduce limit theorems, specifically the law of large numbers and the central limit theorem for the $Φ^4_2$-measure in the low-temperature limit.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Lyapunov exponents and synchronisation by noise for systems of SPDEs
Authors:
B. Gess,
P. Tsatsoulis
Abstract:
Quantitative estimates for the top Lyapunov exponents for systems of stochastic reaction-diffusion equations are proven. The treatment includes reaction potentials with degenerate minima. The proof relies on an asymptotic expansion of the invariant measure, with careful control on the resulting error terms. As a consequence of these estimates, synchronisation by noise is deduced for systems of sto…
▽ More
Quantitative estimates for the top Lyapunov exponents for systems of stochastic reaction-diffusion equations are proven. The treatment includes reaction potentials with degenerate minima. The proof relies on an asymptotic expansion of the invariant measure, with careful control on the resulting error terms. As a consequence of these estimates, synchronisation by noise is deduced for systems of stochastic reaction-diffusion equations for the first time.
△ Less
Submitted 20 July, 2022;
originally announced July 2022.
-
Gradient-type estimates for the dynamic $\varphi^4_2$-model
Authors:
Florian Kunick,
Pavlos Tsatsoulis
Abstract:
We prove gradient bounds for the Markov semigroup of the dynamic $\varphi^4_2$-model on a torus of fixed size $L>0$. For sufficiently large mass $m>0$ these estimates imply exponential contraction of the Markov semigroup. Our method is based on pathwise estimates of the linearized equation. To compensate the lack of exponential integrability of the stochastic drivers we use a stopping time argumen…
▽ More
We prove gradient bounds for the Markov semigroup of the dynamic $\varphi^4_2$-model on a torus of fixed size $L>0$. For sufficiently large mass $m>0$ these estimates imply exponential contraction of the Markov semigroup. Our method is based on pathwise estimates of the linearized equation. To compensate the lack of exponential integrability of the stochastic drivers we use a stopping time argument and the strong Markov property in the spirit of Cass--Litterer--Lyons. Following the classical approach of Bakry-Émery, as a corollary we prove a Poincaré/spectral gap inequality for the $\varphi^4_2$-measure of sufficiently large mass $m>0$ with almost optimal carré du champ.
△ Less
Submitted 22 February, 2022;
originally announced February 2022.
-
A diagram-free approach to the stochastic estimates in regularity structures
Authors:
Pablo Linares,
Felix Otto,
Markus Tempelmayr,
Pavlos Tsatsoulis
Abstract:
In this paper, we explore the version of Hairer's regularity structures based on a greedier index set than trees, as introduced by Otto, Sauer, Smith and Weber. More precisely, we construct and stochastically estimate the renormalized model avoiding the use of Feynman diagrams but still in a fully automated, i. e. inductive way. This is carried out for a class of quasi-linear parabolic PDEs driven…
▽ More
In this paper, we explore the version of Hairer's regularity structures based on a greedier index set than trees, as introduced by Otto, Sauer, Smith and Weber. More precisely, we construct and stochastically estimate the renormalized model avoiding the use of Feynman diagrams but still in a fully automated, i. e. inductive way. This is carried out for a class of quasi-linear parabolic PDEs driven by noise in the full singular but renormalizable range. We assume a spectral gap inequality on the (not necessarily Gaussian) noise ensemble. The resulting control on the variance of the model naturally complements its vanishing expectation arising from the BPHZ-choice of renormalization. We capture the gain in regularity on the level of the Malliavin derivative of the model by describing it as a modelled distribution. Symmetry is an important guiding principle and built-in on the level of the renormalization Ansatz. Our approach is analytic and top-down rather than combinatorial and bottom-up.
△ Less
Submitted 30 May, 2024; v1 submitted 20 December, 2021;
originally announced December 2021.
-
Variational methods for a singular SPDE yielding the universality of the magnetization ripple
Authors:
Radu Ignat,
Felix Otto,
Tobias Ried,
Pavlos Tsatsoulis
Abstract:
The magnetization ripple is a microstructure formed in thin ferromagnetic films. It can be described by minimizers of a nonconvex energy functional leading to a nonlocal and nonlinear elliptic SPDE in two dimensions driven by white noise, which is singular. We address the universal character of the magnetization ripple using variational methods based on $Γ$-convergence. Due to the infinite energy…
▽ More
The magnetization ripple is a microstructure formed in thin ferromagnetic films. It can be described by minimizers of a nonconvex energy functional leading to a nonlocal and nonlinear elliptic SPDE in two dimensions driven by white noise, which is singular. We address the universal character of the magnetization ripple using variational methods based on $Γ$-convergence. Due to the infinite energy of the system, the (random) energy functional has to be renormalized. Using the topology of $Γ$-convergence, we give a sense to the law of the renormalized functional that is independent of the way white noise is approximated. More precisely, this universality holds in the class of (not necessarily Gaussian) approximations to white noise satisfying the spectral gap inequality, which allows us to obtain sharp stochastic estimates. As a corollary, we obtain the existence of minimizers with optimal regularity.
△ Less
Submitted 4 October, 2023; v1 submitted 25 October, 2020;
originally announced October 2020.
-
Synchronisation by noise for the stochastic quantisation equation in dimensions $2$ and $3$
Authors:
Benjamin Gess,
Pavlos Tsatsoulis
Abstract:
We prove uniform synchronisation by noise with rates for the stochastic quantisation equation in dimensions two and three. The proof relies on a combination of coming down from infinity estimates and the framework of order-preserving Markov semigroups derived in [Butkovsky, Scheutzow; 2019]. In particular, it is shown that this framework can be applied to the case of state spaces given in terms of…
▽ More
We prove uniform synchronisation by noise with rates for the stochastic quantisation equation in dimensions two and three. The proof relies on a combination of coming down from infinity estimates and the framework of order-preserving Markov semigroups derived in [Butkovsky, Scheutzow; 2019]. In particular, it is shown that this framework can be applied to the case of state spaces given in terms of Hölder spaces of negative exponent.
△ Less
Submitted 17 October, 2019;
originally announced October 2019.
-
Ergodicity for Stochastic Porous Media Equations
Authors:
Konstantinos Dareiotis,
Benjamin Gess,
Pavlos Tsatsoulis
Abstract:
The long time behaviour of solutions to stochastic porous media equations on smooth bounded domains with Dirichlet boundary data is studied. Based on weighted $L^{1}$-estimates the existence and uniqueness of invariant measures with optimal bounds on the rate of mixing are proved. Along the way the existence and uniqueness of entropy solutions is shown.
The long time behaviour of solutions to stochastic porous media equations on smooth bounded domains with Dirichlet boundary data is studied. Based on weighted $L^{1}$-estimates the existence and uniqueness of invariant measures with optimal bounds on the rate of mixing are proved. Along the way the existence and uniqueness of entropy solutions is shown.
△ Less
Submitted 10 July, 2019;
originally announced July 2019.
-
Exponential loss of memory for the 2-dimensional Allen-Cahn equation with small noise
Authors:
Pavlos Tsatsoulis,
Hendrik Weber
Abstract:
We prove an asymptotic coupling theorem for the $2$-dimensional Allen--Cahn equation perturbed by a small space-time white noise. We show that with overwhelming probability two profiles that start close to the minimisers of the potential of the deterministic system contract exponentially fast in a suitable topology. In the $1$-dimensional case a similar result was shown in \cite{MS88,MOS89}.
It…
▽ More
We prove an asymptotic coupling theorem for the $2$-dimensional Allen--Cahn equation perturbed by a small space-time white noise. We show that with overwhelming probability two profiles that start close to the minimisers of the potential of the deterministic system contract exponentially fast in a suitable topology. In the $1$-dimensional case a similar result was shown in \cite{MS88,MOS89}.
It is well-known that in more than one dimension solutions of this equation are distribution-valued, and the equation has to be interpreted in a renormalised sense. Formally, this renormalisation corresponds to moving the minima of the potential infinitely far apart and making them infinitely deep. We show that despite this renormalisation, solutions behave like perturbations of the deterministic system without renormalisation: they spend large stretches of time close to the minimisers of the (un-renormalised) potential and the exponential contraction rate of different profiles is given by the second derivative of the potential in these points.
As an application we prove an Eyring--Kramers law for the transition times between the stable solutions of the deterministic system for fixed initial conditions.
△ Less
Submitted 13 August, 2018;
originally announced August 2018.
-
Spectral Gap for the Stochastic Quantization Equation on the 2-dimensional Torus
Authors:
Pavlos Tsatsoulis,
Hendrik Weber
Abstract:
We study the long time behavior of the stochastic quantization equation. Extending recent results by Mourrat and Weber we first establish a strong non-linear dissipative bound that gives control of moments of solutions at all positive times independent of the initial datum. We then establish that solutions give rise to a Markov process whose transition semigroup satisfies the strong Feller propert…
▽ More
We study the long time behavior of the stochastic quantization equation. Extending recent results by Mourrat and Weber we first establish a strong non-linear dissipative bound that gives control of moments of solutions at all positive times independent of the initial datum. We then establish that solutions give rise to a Markov process whose transition semigroup satisfies the strong Feller property. Following arguments by Chouk and Friz we also prove a support theorem for the laws of the solutions. Finally all of these results are combined to show that the transition semigroup satisfies the Doeblin criterion which implies exponential convergence to equilibrium.
Along the way we give a simple direct proof of the Markov property of solutions and an independent argument for the existence of an invariant measure using the Krylov-Bogoliubov existence theorem. Our method makes no use of the reversibility of the dynamics or the explicit knowledge of the invariant measure and it is therefore in principle applicable to situations where these are not available, e.g. the vector-valued case.
△ Less
Submitted 27 September, 2016;
originally announced September 2016.
