-
Quantitative instability for stochastic scalar reaction-diffusion equations
Authors:
Alexandra Blessing,
Tommaso Rosati
Abstract:
This work studies the instability of stochastic scalar reaction diffusion equations, driven by a multiplicative noise that is white in time and smooth in space, near to zero, which is assumed to be a fixed point for the equation. We prove that if the Lyapunov exponent at zero is positive, then the flow of non-zero solutions admits uniform bounds on small negative moments. The proof builds on ideas…
▽ More
This work studies the instability of stochastic scalar reaction diffusion equations, driven by a multiplicative noise that is white in time and smooth in space, near to zero, which is assumed to be a fixed point for the equation. We prove that if the Lyapunov exponent at zero is positive, then the flow of non-zero solutions admits uniform bounds on small negative moments. The proof builds on ideas from stochastic homogenisation. We require suitable corrector estimates for the solution to a Poisson problem involving an infinite-dimensional projective process, together with a linearisation step that hinges on quantitative parametrix-like arguments. Overall, we are able to construct an appropriate Lyapunov functional for the nonlinear dynamics and address some problems left open in the literature.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
The Allen-Cahn equation with weakly critical random initial datum
Authors:
Simon Gabriel,
Tommaso Rosati,
Nikos Zygouras
Abstract:
This work considers the two-dimensional Allen-Cahn equation
$$ \partial_t u = \frac{1}{2}Δu + \mathfrak{m}\, u -u^3\;, \quad u(0,x)= η(x)\;, \qquad \forall (t,x) \in [0, \infty) \times \mathbb{R}^{2} \;, $$ where the initial condition $ η$ is a two-dimensional white noise, which lies in the scaling critical space of initial data to the equation. In a weak coupling scaling, we establish a Gaussia…
▽ More
This work considers the two-dimensional Allen-Cahn equation
$$ \partial_t u = \frac{1}{2}Δu + \mathfrak{m}\, u -u^3\;, \quad u(0,x)= η(x)\;, \qquad \forall (t,x) \in [0, \infty) \times \mathbb{R}^{2} \;, $$ where the initial condition $ η$ is a two-dimensional white noise, which lies in the scaling critical space of initial data to the equation. In a weak coupling scaling, we establish a Gaussian limit with nontrivial size of fluctuations, thus casting the nonlinearity as marginally relevant. The result builds on a precise analysis of the Wild expansion of the solution and an understanding of the underlying stochastic and combinatorial structure. This gives rise to a representation for the limiting variance in terms of Butcher series associated to the solution of an ordinary differential equation.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
Spectral gap for projective processes of linear SPDEs
Authors:
Martin Hairer,
Tommaso Rosati
Abstract:
This work studies the angular component $ π_{t} = u_{t} / \| u_{t} \| $ associated to the solution $ u $ of a vector-valued linear hyperviscous SPDE on a $d$-dimensional torus $$\mathrm{d} u^α =- ν^α (- Δ)^{\mathbf{a} } u^α \mathrm{d} t + (u \cdot \mathrm{d} W)^α \;,\quad α\in \{ 1, \dots, m \} $$ for $ u \colon \mathbb{T}^{d} \to \mathbb{R}^{m} $, $ \mathbf{a} \geqslant 1 $ and a sufficiently smo…
▽ More
This work studies the angular component $ π_{t} = u_{t} / \| u_{t} \| $ associated to the solution $ u $ of a vector-valued linear hyperviscous SPDE on a $d$-dimensional torus $$\mathrm{d} u^α =- ν^α (- Δ)^{\mathbf{a} } u^α \mathrm{d} t + (u \cdot \mathrm{d} W)^α \;,\quad α\in \{ 1, \dots, m \} $$ for $ u \colon \mathbb{T}^{d} \to \mathbb{R}^{m} $, $ \mathbf{a} \geqslant 1 $ and a sufficiently smooth and non-degenerate noise $ W $. We provide conditions for existence, as well as uniqueness and spectral gaps (if $ \mathbf{a} > d/2$) of invariant measures for $ π$ in the projective space. Our proof relies on the introduction of a novel Lyapunov functional for $π_{t}$, based on the study of dynamics of the ``energy median'': the energy level $M$ at which projections of $u$ onto frequencies with energies less or more than $M$ have about equal $L^2$ norm. This technique is applied to obtain -- in an infinite-dimensional setting without order preservation -- lower bounds on top Lyapunov exponents of the equation, and their uniqueness via Furstenberg-Khasminskii formulas.
△ Less
Submitted 17 August, 2023; v1 submitted 14 July, 2023;
originally announced July 2023.
-
Global existence for perturbations of the 2D stochastic Navier-Stokes equations with space-time white noise
Authors:
Martin Hairer,
Tommaso Rosati
Abstract:
We prove global in time well-posedness for perturbations of the 2D stochastic Navier-Stokes equations
\begin{equation*}
\partial_t u + u \cdot \nabla u = Δu - \nabla p + ζ+ ξ
\;, \quad u (0, \cdot) = u_{0}(\cdot) \;, \quad
\mathrm{div} (u) = 0 \;,
\end{equation*}
driven by additive space-time white noise $ ξ$, with perturbation $ ζ$ in the Hölder-Besov space $\mathcal{C}^{-2 + 3κ} $, p…
▽ More
We prove global in time well-posedness for perturbations of the 2D stochastic Navier-Stokes equations
\begin{equation*}
\partial_t u + u \cdot \nabla u = Δu - \nabla p + ζ+ ξ
\;, \quad u (0, \cdot) = u_{0}(\cdot) \;, \quad
\mathrm{div} (u) = 0 \;,
\end{equation*}
driven by additive space-time white noise $ ξ$, with perturbation $ ζ$ in the Hölder-Besov space $\mathcal{C}^{-2 + 3κ} $, periodic boundary conditions and initial condition $ u_{0} \in \mathcal{C}^{-1 + κ} $ for any $ κ>0 $. The proof relies on an energy estimate which in turn builds on a dynamic high-low frequency decomposition and tools from paracontrolled calculus. Our argument uses that the solution to the linear equation is a $ \log$-correlated field, yielding a double exponential growth bound on the solution. Notably, our method does not rely on any explicit knowledge of the invariant measure to the SPDE, hence the perturbation $ ζ$ is not restricted to the Cameron-Martin space of the noise, and the initial condition may be anticipative. Finally, we introduce a notion of weak solution that leads to well-posedness for all initial data $u_{0}$ in $ L^{2} $, the critical space of initial conditions.
△ Less
Submitted 26 January, 2023;
originally announced January 2023.
-
Synchronisation for scalar conservation laws via Dirichlet boundary
Authors:
Ana Djurdjevac,
Tommaso Rosati
Abstract:
We provide an elementary proof of geometric synchronisation for scalar conservation laws on a domain with Dirichlet boundary conditions. Unlike previous results, our proof does not rely on a strict maximum principle, and builds instead on a quantitative estimate of the dissipation at the boundary. We identify a coercivity condition under which the estimates are uniform over all initial conditions,…
▽ More
We provide an elementary proof of geometric synchronisation for scalar conservation laws on a domain with Dirichlet boundary conditions. Unlike previous results, our proof does not rely on a strict maximum principle, and builds instead on a quantitative estimate of the dissipation at the boundary. We identify a coercivity condition under which the estimates are uniform over all initial conditions, via the construction of suitable super- and sub-solutions. In lack of such coercivity our results build on Lp energy estimates and a Lyapunov structure.
△ Less
Submitted 10 November, 2022;
originally announced November 2022.
-
The Allen-Cahn equation with generic initial datum
Authors:
Martin Hairer,
Khoa Lê,
Tommaso Rosati
Abstract:
We consider the Allen-Cahn equation $\partial_t u- Δu=u-u^3$ with a rapidly mixing Gaussian field as initial condition. We show that provided that the amplitude of the initial condition is not too large, the equation generates fronts described by nodal sets of the Bargmann-Fock Gaussian field, which then evolve according to mean curvature flow.
We consider the Allen-Cahn equation $\partial_t u- Δu=u-u^3$ with a rapidly mixing Gaussian field as initial condition. We show that provided that the amplitude of the initial condition is not too large, the equation generates fronts described by nodal sets of the Bargmann-Fock Gaussian field, which then evolve according to mean curvature flow.
△ Less
Submitted 20 January, 2022;
originally announced January 2022.
-
The wave speed of an FKPP equation with jumps via coordinated branching
Authors:
Tommaso Rosati,
András Tóbiás
Abstract:
We consider a Fisher-KPP equation with nonlinear selection driven by a Poisson random measure. We prove that the equation admits a unique wave speed $ \mathfrak{s}> 0 $ given by $\frac{\mathfrak{s}^{2}}{2} = \int_{[0, 1]}\frac{ \log{(1 + y)}}{y} \mathfrak{R}( \mathrm d y)$ where $ \mathfrak{R} $ is the intensity of the impacts of the driving noise. Our arguments are based on upper and lower bounds…
▽ More
We consider a Fisher-KPP equation with nonlinear selection driven by a Poisson random measure. We prove that the equation admits a unique wave speed $ \mathfrak{s}> 0 $ given by $\frac{\mathfrak{s}^{2}}{2} = \int_{[0, 1]}\frac{ \log{(1 + y)}}{y} \mathfrak{R}( \mathrm d y)$ where $ \mathfrak{R} $ is the intensity of the impacts of the driving noise. Our arguments are based on upper and lower bounds via a quenched duality with a coordinated system of branching Brownian motions.
△ Less
Submitted 15 April, 2023; v1 submitted 20 January, 2022;
originally announced January 2022.
-
Lyapunov exponents in a slow environment
Authors:
Tommaso Rosati
Abstract:
Motivated by the evolution of a population in a slowly varying random environment, we consider the 1D Anderson model on finite volume, with viscosity $ κ> 0 $: $$ \partial_{t} u(t,x) = κΔu(t,x) + ξ(t, x) u(t,x), \quad u(0, x) = u_{0}(x), \qquad t > 0, x \in \mathbb{T}. $$ The noise $ ξ$ is chosen constant on time intervals of length $ τ>0 $ and sampled independently after a time $ τ$. We prove tha…
▽ More
Motivated by the evolution of a population in a slowly varying random environment, we consider the 1D Anderson model on finite volume, with viscosity $ κ> 0 $: $$ \partial_{t} u(t,x) = κΔu(t,x) + ξ(t, x) u(t,x), \quad u(0, x) = u_{0}(x), \qquad t > 0, x \in \mathbb{T}. $$ The noise $ ξ$ is chosen constant on time intervals of length $ τ>0 $ and sampled independently after a time $ τ$. We prove that the Lyapunov exponent $ λ(τ) $ is positive and near $ τ= 0 $ follows a power law that depends on the regularity on the driving noise. As $ τ\to \infty $ the Lyapunov exponent converges to the average top eigenvalue of the associated time-independent Anderson model. The proofs make use of a solid control of the projective component of the solution and build on the Furstenberg--Khasminskii and Boué--Dupuis formulas, as well as on Doob's H-transform and on tools from singular stochastic PDEs.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
The spatial $Λ$-Fleming-Viot process in a random environment
Authors:
Aleksander Klimek,
Tommaso Cornelis Rosati
Abstract:
We study the large scale behaviour of a population consisting of two types which evolve in dimension d = 1, 2 according to a spatial Lambda- Fleming-Viot process subject to random time-independent selection. If one of the two types is rare compared to the other, we prove that its evolution can be approximated by a super-Brownian motion in a random (and singular) environment. Without the sparsity a…
▽ More
We study the large scale behaviour of a population consisting of two types which evolve in dimension d = 1, 2 according to a spatial Lambda- Fleming-Viot process subject to random time-independent selection. If one of the two types is rare compared to the other, we prove that its evolution can be approximated by a super-Brownian motion in a random (and singular) environment. Without the sparsity assumption, a diffusion approximation leads to a Fisher-KPP equation in a random potential. The proofs build on two-scale Schauder estimates and semidiscrete approximations of the Anderson Hamiltonian.
△ Less
Submitted 29 November, 2021; v1 submitted 13 April, 2020;
originally announced April 2020.
-
Synchronization for KPZ
Authors:
Tommaso Cornelis Rosati
Abstract:
We study the longtime behavior of KPZ-like equations:
$$ \partial_{t}h(t,x) = Δ_{x} h (t, x) + | \nabla_{x}h
(t,x)|^{2} + η(t, x), \qquad h(0, x) = h_0(x), \qquad (t, x) \in (0,
\infty) \times \mathbb{T}^{d} $$ on the $d-$dimensional torus $\mathbb{T}^{d}$ driven by an ergodic noise $η$ (e.g. space-time white in $d= 1$. The analysis builds on infinite-dimensional extensions of similar result…
▽ More
We study the longtime behavior of KPZ-like equations:
$$ \partial_{t}h(t,x) = Δ_{x} h (t, x) + | \nabla_{x}h
(t,x)|^{2} + η(t, x), \qquad h(0, x) = h_0(x), \qquad (t, x) \in (0,
\infty) \times \mathbb{T}^{d} $$ on the $d-$dimensional torus $\mathbb{T}^{d}$ driven by an ergodic noise $η$ (e.g. space-time white in $d= 1$. The analysis builds on infinite-dimensional extensions of similar results for positive random matrices. We establish a one force, one solution principle and derive almost sure synchronization with exponential deterministic speed in appropriate Hölder spaces.
△ Less
Submitted 29 September, 2021; v1 submitted 14 July, 2019;
originally announced July 2019.
-
Killed Rough Super-Brownian Motion
Authors:
Tommaso Cornelis Rosati
Abstract:
This note extends the results in [8] to construct the rough super-Brownian motion on finite volume with Dirichlet boundary conditions. The backbone of this study is the convergence of discrete approximations of the parabolic Anderson model (PAM) on a box.
This note extends the results in [8] to construct the rough super-Brownian motion on finite volume with Dirichlet boundary conditions. The backbone of this study is the convergence of discrete approximations of the parabolic Anderson model (PAM) on a box.
△ Less
Submitted 26 June, 2019;
originally announced June 2019.
-
A Rough Super-Brownian Motion
Authors:
Nicolas Perkowski,
Tommaso Cornelis Rosati
Abstract:
We study the scaling limit of a branching random walk in static random environment in dimension $d=1,2$ and show that it is given by a super-Brownian motion in a white noise potential. In dimension $1$ we characterize the limit as the unique weak solution to the stochastic PDE: \[\partial_t μ= (Δ{+} ξ) μ{+} \sqrt{2νμ} \tildeξ\] for independent space white noise $ξ$ and space-time white noise…
▽ More
We study the scaling limit of a branching random walk in static random environment in dimension $d=1,2$ and show that it is given by a super-Brownian motion in a white noise potential. In dimension $1$ we characterize the limit as the unique weak solution to the stochastic PDE: \[\partial_t μ= (Δ{+} ξ) μ{+} \sqrt{2νμ} \tildeξ\] for independent space white noise $ξ$ and space-time white noise $\tildeξ$. In dimension $2$ the study requires paracontrolled theory and the limit process is described via a martingale problem. In both dimensions we prove persistence of this rough version of the super-Brownian motion.
△ Less
Submitted 17 September, 2020; v1 submitted 14 May, 2019;
originally announced May 2019.
-
The KPZ Equation on the Real Line
Authors:
Nicolas Perkowski,
Tommaso Cornelis Rosati
Abstract:
We prove existence and uniqueness of distributional solutions to the KPZ equation globally in space and time, with techniques from paracontrolled analysis. Our main tool for extending the analysis on the torus to the full space is a comparison result that gives quantitative upper and lower bounds for the solution. We then extend our analysis to provide a path-by-path construction of the random dir…
▽ More
We prove existence and uniqueness of distributional solutions to the KPZ equation globally in space and time, with techniques from paracontrolled analysis. Our main tool for extending the analysis on the torus to the full space is a comparison result that gives quantitative upper and lower bounds for the solution. We then extend our analysis to provide a path-by-path construction of the random directed polymer measure on the real line and we derive a variational characterisation of the solution to the KPZ equation.
△ Less
Submitted 20 February, 2019; v1 submitted 1 August, 2018;
originally announced August 2018.
-
Modelled distributions of Triebel-Lizorkin type
Authors:
Sebastian Hensel,
Tommaso Rosati
Abstract:
In order to provide a local description of a regular function in a small neighbourhood of a point $x$, it is sufficient by Taylor's theorem to know the value of the function as well as all of its derivatives up to the required order at the point $x$ itself. In other words, one could say that a regular function is locally modelled by the set of polynomials. The theory of regularity structures due t…
▽ More
In order to provide a local description of a regular function in a small neighbourhood of a point $x$, it is sufficient by Taylor's theorem to know the value of the function as well as all of its derivatives up to the required order at the point $x$ itself. In other words, one could say that a regular function is locally modelled by the set of polynomials. The theory of regularity structures due to Hairer generalizes this observation and provides an abstract setup, which in the application of singular SPDE extends the set of polynomials by functionals constructed from, e.g., white noise. In this context, the notion of Taylor polynomials is lifted to the notion of so-called modelled distributions. The celebrated reconstruction theorem, which in turn was inspired by Gubinelli's sewing lemma, is of paramount importance for the theory. It enables to reconstruct a modelled distribution as a true distribution on $R^d$ which is locally approximated by this extended set of models or "monomials". In the original work of Hairer, the error is measured based on Hölder norms. This was then generalized to the whole scale of Besov spaces by Hairer and Labbé in subsequent papers. It is the aim of this work to adapt the analytic part of the theory of regularity structures to the scale of Triebel-Lizorkin spaces.
△ Less
Submitted 11 April, 2018; v1 submitted 15 September, 2017;
originally announced September 2017.
