-
Compressible fluids excited by space-dependent transport noise
Authors:
D. Breit,
E. Feireisl,
M. Hofmanova,
P. B. Mucha
Abstract:
We study the compressible Navier-Stokes system driven by physically relevant transport noise, where the noise influences both the continuity and momentum equations. Our approach is based on transforming the system into a partial differential equation with random, time- and space-dependent coefficients. A key challenge arises from the fact that these coefficients are non-differentiable in time, ren…
▽ More
We study the compressible Navier-Stokes system driven by physically relevant transport noise, where the noise influences both the continuity and momentum equations. Our approach is based on transforming the system into a partial differential equation with random, time- and space-dependent coefficients. A key challenge arises from the fact that these coefficients are non-differentiable in time, rendering standard compactness arguments for the identification of the pressure inapplicable. To overcome this difficulty, we develop a novel multi-layer approximation scheme and introduce a precise localization strategy with respect to both the sample space and time variable. The limit pressure is then identified via the corresponding effective viscous flux identity. By means of stochastic compactness methods, particularly Skorokhod's representation theorem and its generalization by Jakubowski, we ensure the progressive measurability required to return to the original system. Our results broaden the applicability of transport noise models in fluid dynamics and offer new insights into the interaction between stochastic effects and compressibility.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
Non-uniqueness of mild solutions to supercritical heat equations
Authors:
Irfan Glogić,
Martina Hofmanová,
Theresa Lange,
Eliseo Luongo
Abstract:
We consider the focusing power nonlinearity heat equation
\begin{equation}\label{Eq:Heat_abstract}\tag{NLH}
\partial_t u -Δu = |u|^{p-1}u, \quad p>1,
\end{equation} in dimensions $d \geq 3$. It is well-known that if $p$ is large enough then \eqref{Eq:Heat_abstract} is unconditionally locally well-posed in $L^q(\mathbb{R}^d)$ for $q \geq d(p-1)/2$. We prove that this result is optimal in the…
▽ More
We consider the focusing power nonlinearity heat equation
\begin{equation}\label{Eq:Heat_abstract}\tag{NLH}
\partial_t u -Δu = |u|^{p-1}u, \quad p>1,
\end{equation} in dimensions $d \geq 3$. It is well-known that if $p$ is large enough then \eqref{Eq:Heat_abstract} is unconditionally locally well-posed in $L^q(\mathbb{R}^d)$ for $q \geq d(p-1)/2$. We prove that this result is optimal in the sense that uniqueness of local solutions fails when $q < d(p-1)/2$ as long as $p < p_{JL}$, where $p_{JL}$ stands for the Joseph-Lundgren exponent. Our proof is based on the method that Jia-Šverák proposed in \cite{JiaSve15} to show non-uniqueness of Leray solutions to incompressible 3d Navier-Stokes equations. In particular, we rigorously verify for \eqref{Eq:Heat_abstract} the (analogue of the) spectral assumption made in \cite{JiaSve15}. To our knowledge, this is the first rigorous implementation of the Jia-Šverák method to a nonlinear parabolic equation without forcing.
△ Less
Submitted 28 January, 2025;
originally announced January 2025.
-
Statistical solutions to the Schrödinger map equation in 1D, via the randomly forced Landau-Lifschitz-Gilbert equation
Authors:
Emanuela Gussetti,
Martina Hofmanová
Abstract:
We prove the existence of statistically stationary solutions to the Schrödinger map equation on a one-dimensional domain, with null Neumann boundary conditions. We deal directly with the equation in its real-valued formulation, without using any transform. To approximate the Schrödinger map equation, we employ the stochastic Landau-Lifschitz-Gilbert equation. By a limiting procedure à la Kuksin, w…
▽ More
We prove the existence of statistically stationary solutions to the Schrödinger map equation on a one-dimensional domain, with null Neumann boundary conditions. We deal directly with the equation in its real-valued formulation, without using any transform. To approximate the Schrödinger map equation, we employ the stochastic Landau-Lifschitz-Gilbert equation. By a limiting procedure à la Kuksin, we establish existence of a random initial datum, whose distribution is preserved under the dynamics of the deterministic equation. Among other properties, the corresponding statistically stationary solution is proved to exhibit non-trivial dynamics in space and time and to be genuinely random. With an analogous argument, we prove the existence of stationary solutions to a stochastic Schrödinger map equation. We discuss the relationship between the statistically stationary solutions to the Schrödinger map equation, the binormal curvature flow and the cubic non-linear Schrödinger equation. Additionally, we prove the existence of statistically stationary solutions to the binormal curvature flow.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
Unbounded rough drivers, rough PDEs and applications
Authors:
Antoine Hocquet,
Martina Hofmanova,
Torstein Nilssen
Abstract:
A summary of recent contributions in the field of rough partial differential equations is given. For that purpose we rely on the formalism of ``unbounded rough driver''. We present applications to concrete models including Landau-Lifshitz-Gilbert, Navier-Stokes and Euler equations.
A summary of recent contributions in the field of rough partial differential equations is given. For that purpose we rely on the formalism of ``unbounded rough driver''. We present applications to concrete models including Landau-Lifshitz-Gilbert, Navier-Stokes and Euler equations.
△ Less
Submitted 4 March, 2025; v1 submitted 2 January, 2025;
originally announced January 2025.
-
Non-uniqueness of Leray-Hopf solutions for stochastic forced Navier-Stokes equations
Authors:
Martina Hofmanová,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
We consider stochastic forced Navier--Stokes equations on $\mathbb{R}^{3}$ starting from zero initial condition. The noise is linear multiplicative and the equations are perturbed by an additional body force. Based on the ideas of Albritton, Brué and Colombo \cite{ABC22}, we prove non-uniqueness of local-in-time Leray--Hopf solutions as well as joint non-uniqueness in law for solutions on…
▽ More
We consider stochastic forced Navier--Stokes equations on $\mathbb{R}^{3}$ starting from zero initial condition. The noise is linear multiplicative and the equations are perturbed by an additional body force. Based on the ideas of Albritton, Brué and Colombo \cite{ABC22}, we prove non-uniqueness of local-in-time Leray--Hopf solutions as well as joint non-uniqueness in law for solutions on $\mathbb{R}^{+}$. In the deterministic setting, we show that the set of forces, for which Leray--Hopf solutions are non-unique, is dense in $L^{1}_{t}L^{2}_{x}$. In addition, by a simple controllability argument we show that for every divergence-free initial condition in $L^{2}_{x}$ there is a force so that non-uniqueness of Leray--Hopf solutions holds.
△ Less
Submitted 10 September, 2024; v1 submitted 7 September, 2023;
originally announced September 2023.
-
Surface quasi-geostrophic equation perturbed by derivatives of space-time white noise
Authors:
Martina Hofmanová,
Xiaoyutao Luo,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
We consider a family of singular surface quasi-geostrophic equations $$ \partial_{t}θ+u\cdot\nablaθ=-ν(-Δ)^{γ/2}θ+(-Δ)^{α/2}ξ,\qquad u=\nabla^{\perp}(-Δ)^{-1/2}θ, $$ on $[0,\infty)\times\mathbb{T}^{2}$, where $ν\geq 0$, $γ\in [0,3/2)$, $α\in [0,1/4)$ and $ξ$ is a space-time white noise. For the first time, we establish the existence of infinitely many non-Gaussian
$\bullet$ probabilistically stron…
▽ More
We consider a family of singular surface quasi-geostrophic equations $$ \partial_{t}θ+u\cdot\nablaθ=-ν(-Δ)^{γ/2}θ+(-Δ)^{α/2}ξ,\qquad u=\nabla^{\perp}(-Δ)^{-1/2}θ, $$ on $[0,\infty)\times\mathbb{T}^{2}$, where $ν\geq 0$, $γ\in [0,3/2)$, $α\in [0,1/4)$ and $ξ$ is a space-time white noise. For the first time, we establish the existence of infinitely many non-Gaussian
$\bullet$ probabilistically strong solutions for every initial condition in $C^η$, $η>1/2$
$\bullet$ ergodic stationary solutions
The result presents a single approach applicable in the subcritical, critical as well as supercritical regime in the sense of Hairer (M. Hairer, A theory of regularity structures). It also applies in the particular setting $α=γ/2$ which formally possesses a Gaussian invariant measure. In our proof, we first introduce a modified Da Prato--Debussche trick which, on the one hand, permits to convert irregularity in time into irregularity in space and, on the other hand, increases the regularity of the linear solution. Second, we develop a convex integration iteration for the corresponding nonlinear equation which yields non-unique non-Gaussian solutions satisfying powerful global-in-time estimates and generating stationary as well as ergodic stationary solutions.
△ Less
Submitted 28 August, 2023;
originally announced August 2023.
-
Rough analysis of two scale systems
Authors:
Arnaud Debussche,
Martina Hofmanová
Abstract:
We address a slow-fast system of coupled three dimensional Navier--Stokes equations where the fast component is perturbed by an additive Brownian noise. By means of the rough path theory, we establish the convergence in law of the slow component towards a Navier--Stokes system with an It{ô}--Stokes drift and a rough path driven transport noise. This gives an alternative, more general and direct pr…
▽ More
We address a slow-fast system of coupled three dimensional Navier--Stokes equations where the fast component is perturbed by an additive Brownian noise. By means of the rough path theory, we establish the convergence in law of the slow component towards a Navier--Stokes system with an It{ô}--Stokes drift and a rough path driven transport noise. This gives an alternative, more general and direct proof to \cite{DP22}. Notably, the limiting rough path is identified as a geometric rough path, which does not necessarily coincide with the Stratonovich lift of the Brownian motion.
△ Less
Submitted 5 December, 2024; v1 submitted 27 June, 2023;
originally announced June 2023.
-
Decay of correlations in stochastic quantization: the exponential Euclidean field in two dimensions
Authors:
Massimiliano Gubinelli,
Martina Hofmanová,
Nimit Rana
Abstract:
We present two approaches to establish the exponential decay of correlation functions of Euclidean quantum field theories (EQFTs) via stochastic quantization (SQ). In particular we consider the elliptic stochastic quantization of the Høegh--Krohn (or $\exp (αφ)_2$) EQFT in two dimensions. The first method is based on a path-wise coupling argument and PDE apriori estimates while the second on estim…
▽ More
We present two approaches to establish the exponential decay of correlation functions of Euclidean quantum field theories (EQFTs) via stochastic quantization (SQ). In particular we consider the elliptic stochastic quantization of the Høegh--Krohn (or $\exp (αφ)_2$) EQFT in two dimensions. The first method is based on a path-wise coupling argument and PDE apriori estimates while the second on estimates of the Malliavin derivative of the solution to the SQ equation.
△ Less
Submitted 14 April, 2024; v1 submitted 19 May, 2023;
originally announced May 2023.
-
Anomalous and total dissipation due to advection by solutions of randomly forced Navier-Stokes equations
Authors:
Martina Hofmanová,
Umberto Pappalettera,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
We propose a novel approach to induce anomalous dissipation through advection driven by turbulent fluid flows. Specifically, we establish the existence of a velocity field $v$ satisfying randomly forced Navier-Stokes equations, leading to total dissipation of kinetic energy in finite time when advecting a passive scalar. This dissipation phenomenon is uniform across viscosity parameters and initia…
▽ More
We propose a novel approach to induce anomalous dissipation through advection driven by turbulent fluid flows. Specifically, we establish the existence of a velocity field $v$ satisfying randomly forced Navier-Stokes equations, leading to total dissipation of kinetic energy in finite time when advecting a passive scalar. This dissipation phenomenon is uniform across viscosity parameters and initial conditions, representing a case of anomalous dissipation. We further explore dissipation induced by individual realizations of $v$. Our results extend to scenarios where the passive scalar is replaced by solutions to two or three-dimensional deterministic Navier-Stokes equations advected by $v$.
△ Less
Submitted 13 February, 2024; v1 submitted 14 May, 2023;
originally announced May 2023.
-
Kolmogorov $4/5$ law for the forced 3D Navier-Stokes equations
Authors:
Martina Hofmanová,
Umberto Pappalettera,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
We identify a sufficient condition under which solutions to the 3D forced Navier--Stokes equations satisfy an $L^p$-in-time version of the Kolmogorov 4/5 law for the behavior of the averaged third order longitudinal structure function along the vanishing viscosity limit. The result has a natural probabilistic interpretation: the predicted behavior is observed on average after waiting for some suff…
▽ More
We identify a sufficient condition under which solutions to the 3D forced Navier--Stokes equations satisfy an $L^p$-in-time version of the Kolmogorov 4/5 law for the behavior of the averaged third order longitudinal structure function along the vanishing viscosity limit. The result has a natural probabilistic interpretation: the predicted behavior is observed on average after waiting for some sufficiently generic random time. The sufficient condition is satisfied e.g. by the solutions constructed by Bruè, Colombo, Crippa, De~Lellis, and Sorella. In this particular case, our results can be applied to derive a bound for the exponent of the third order absolute structure function in accordance with the Kolmogorov turbulence theory.
△ Less
Submitted 7 June, 2024; v1 submitted 27 April, 2023;
originally announced April 2023.
-
Global existence and non-uniqueness of 3D Euler equations perturbed by transport noise
Authors:
Martina Hofmanová,
Theresa Lange,
Umberto Pappalettera
Abstract:
We construct Hölder continuous, global-in-time probabilistically strong solutions to 3D Euler equations perturbed by Stratonovich transport noise. Kinetic energy of the solutions can be prescribed a priori up to a stopping time, that can be chosen arbitrarily large with high probability. We also prove that there exist infinitely many Hölder continuous initial conditions leading to non-uniqueness o…
▽ More
We construct Hölder continuous, global-in-time probabilistically strong solutions to 3D Euler equations perturbed by Stratonovich transport noise. Kinetic energy of the solutions can be prescribed a priori up to a stopping time, that can be chosen arbitrarily large with high probability. We also prove that there exist infinitely many Hölder continuous initial conditions leading to non-uniqueness of solutions to the Cauchy problem associated with the system. Our construction relies on a flow transformation reducing the SPDE under investigation to a random PDE, and convex integration techniques introduced in the deterministic setting by De Lellis and Székelyhidi, here adapted to consider the stochastic case. In particular, our novel approach allows to construct probabilistically strong solutions on $[0,\infty)$ directly.
△ Less
Submitted 4 October, 2023; v1 submitted 23 December, 2022;
originally announced December 2022.
-
Can probability theory really help tame problems in mathematical hydrodynamics?
Authors:
Martina Hofmanová,
Florian Bechtold
Abstract:
Recent years have seen spectacular progress in the mathematical study of hydrodynamic equations. Novel tools from convex integration in particular prove extremely versatile in establishing non-uniqueness results. Motivated by this 'pathological' behavior of solutions in the deterministic setting, stochastic models of fluid dynamics have enjoyed growing interest from the mathematical community. Ins…
▽ More
Recent years have seen spectacular progress in the mathematical study of hydrodynamic equations. Novel tools from convex integration in particular prove extremely versatile in establishing non-uniqueness results. Motivated by this 'pathological' behavior of solutions in the deterministic setting, stochastic models of fluid dynamics have enjoyed growing interest from the mathematical community. Inspired by the theory of 'regularization by noise', it is hoped for that stochasticity might help avoid 'pathologies' such as non-uniqueness of weak solutions. Current research however shows that convex integration methods can prevail even in spite of random perturbations.
△ Less
Submitted 6 November, 2022;
originally announced November 2022.
-
Non-unique ergodicity for deterministic and stochastic 3D Navier--Stokes and Euler equations
Authors:
Martina Hofmanová,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
We establish the existence of infinitely many stationary solutions, as well as ergodic stationary solutions, to the three dimensional Navier--Stokes and Euler equations in both deterministic and stochastic settings, driven by additive noise. These solutions belong to the regularity class $C(\mathbb{R};H^{\vartheta})\cap C^{\vartheta}(\mathbb{R};L^{2})$ for some $\vartheta>0$ and satisfy the equati…
▽ More
We establish the existence of infinitely many stationary solutions, as well as ergodic stationary solutions, to the three dimensional Navier--Stokes and Euler equations in both deterministic and stochastic settings, driven by additive noise. These solutions belong to the regularity class $C(\mathbb{R};H^{\vartheta})\cap C^{\vartheta}(\mathbb{R};L^{2})$ for some $\vartheta>0$ and satisfy the equations in an analytically weak sense. The solutions to the Euler equations are obtained as vanishing viscosity limits of stationary solutions to the Navier--Stokes equations. Furthermore, regardless of their construction, every stationary solution to the Euler equations within this regularity class, which satisfies a suitable moment bound, is a limit in law of stationary analytically weak solutions to Navier--Stokes equations with vanishing viscosities. Our results are based on a novel stochastic version of the convex integration method, which provides uniform moment bounds locally in the aforementioned function spaces.
△ Less
Submitted 18 July, 2024; v1 submitted 17 August, 2022;
originally announced August 2022.
-
A class of supercritical/critical singular stochastic PDEs: existence, non-uniqueness, non-Gaussianity, non-unique ergodicity
Authors:
Martina Hofmanova,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
We study the surface quasi-geostrophic equation with an irregular spatial perturbation $$ \partial_{t }θ+ u\cdot\nablaθ= -ν(-Δ)^{γ/2}θ+ ζ,\qquad u=\nabla^{\perp}(-Δ)^{-1}θ, $$ on $[0,\infty)\times\mathbb{T}^{2}$, with $ν\geq 0$, $γ\in [0,3/2)$ and $ζ\in B^{-2+κ}_{\infty,\infty}(\mathbb{T}^{2})$ for some $κ>0$. This covers the case of $ζ= (-Δ)^{α/2}ξ$ for $α<1$ and $ξ$ a spatial white noise on…
▽ More
We study the surface quasi-geostrophic equation with an irregular spatial perturbation $$ \partial_{t }θ+ u\cdot\nablaθ= -ν(-Δ)^{γ/2}θ+ ζ,\qquad u=\nabla^{\perp}(-Δ)^{-1}θ, $$ on $[0,\infty)\times\mathbb{T}^{2}$, with $ν\geq 0$, $γ\in [0,3/2)$ and $ζ\in B^{-2+κ}_{\infty,\infty}(\mathbb{T}^{2})$ for some $κ>0$. This covers the case of $ζ= (-Δ)^{α/2}ξ$ for $α<1$ and $ξ$ a spatial white noise on $\mathbb{T}^{2}$. Depending on the relation between $γ$ and $α$, our setting is subcritical, critical or supercritical in the language of Hairer's regularity structures \cite{Hai14}. Based on purely analytical tools from convex integration and without the need of any probabilistic arguments including renormalization, we prove existence of infinitely many analytically weak solutions in $L^{p}_{\rm{loc}}(0,\infty;B_{\infty,1}^{-1/2})\cap C_{b}([0,\infty);B^{-1/2-δ}_{\infty,1})\cap C^{1}_{b}([0,\infty);B^{-3/2-δ}_{\infty,1})$ for all $p\in [1,\infty)$ and $δ>0$. We are able to prescribe an initial as well as a terminal condition at a finite time $T>0$, and to construct steady state, i.e. time independent, solutions. In all cases, the solutions are non-Gaussian, but we may as well prescribe Gaussianity at some given times. Moreover, a coming down from infinity with respect to the perturbation and the initial condition holds. Finally, we show that the our solutions generate statistically stationary solutions as limits of ergodic averages, and we obtain existence of infinitely many non-Gaussian time dependent ergodic stationary solutions. We also extend our results to a more general class of singular SPDEs.
△ Less
Submitted 21 February, 2023; v1 submitted 26 May, 2022;
originally announced May 2022.
-
An averaged space-time discretization of the stochastic $p$-Laplace system
Authors:
Lars Diening,
Martina Hofmanová,
Jörn Wichmann
Abstract:
We study the stochastic $p$-Laplace system in a bounded domain. We propose two new space-time discretizations based on the approximation of time-averaged values. We establish linear convergence in space and $1/2$ convergence in time. Additionally, we provide a sampling algorithm to construct the necessary random input in an efficient way. The theoretical error analysis is complemented by numerical…
▽ More
We study the stochastic $p$-Laplace system in a bounded domain. We propose two new space-time discretizations based on the approximation of time-averaged values. We establish linear convergence in space and $1/2$ convergence in time. Additionally, we provide a sampling algorithm to construct the necessary random input in an efficient way. The theoretical error analysis is complemented by numerical experiments.
△ Less
Submitted 19 April, 2022;
originally announced April 2022.
-
Weak solutions for singular multiplicative SDEs via regularization by noise
Authors:
Florian Bechtold,
Martina Hofmanová
Abstract:
We study multiplicative SDEs perturbed by an additive fractional Brownian motion on another probability space. Provided the Hurst parameter is chosen in a specified regime, we establish existence of probabilistically weak solutions to the SDE if the measurable diffusion coefficient merely satisfies an integrability condition. In particular, this allows to consider certain singular diffusion coeffi…
▽ More
We study multiplicative SDEs perturbed by an additive fractional Brownian motion on another probability space. Provided the Hurst parameter is chosen in a specified regime, we establish existence of probabilistically weak solutions to the SDE if the measurable diffusion coefficient merely satisfies an integrability condition. In particular, this allows to consider certain singular diffusion coefficients.
△ Less
Submitted 25 March, 2022;
originally announced March 2022.
-
Global existence and non-uniqueness for 3D Navier--Stokes equations with space-time white noise
Authors:
Martina Hofmanová,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
We establish global-in-time existence and non-uniqueness of probabilistically strong solutions to the three dimensional Navier--Stokes system driven by space-time white noise. In this setting, solutions are expected to have space regularity at most $-1/2-κ$ for any $κ>0$. Consequently, the convective term is ill-defined analytically and probabilistic renormalization is required. Up to now, only lo…
▽ More
We establish global-in-time existence and non-uniqueness of probabilistically strong solutions to the three dimensional Navier--Stokes system driven by space-time white noise. In this setting, solutions are expected to have space regularity at most $-1/2-κ$ for any $κ>0$. Consequently, the convective term is ill-defined analytically and probabilistic renormalization is required. Up to now, only local well-posedness has been known. With the help of paracontrolled calculus we decompose the system in a way which makes it amenable to convex integration. By a careful analysis of the regularity of each term, we develop an iterative procedure which yields global non-unique probabilistically strong paracontrolled solutions.Our result applies to any divergence free initial condition in $L^{2}\cup B^{-1+κ}_{\infty,\infty}$, $κ>0$, and implies also non-uniqueness in law.
△ Less
Submitted 28 December, 2021;
originally announced December 2021.
-
Compressible Navier--Stokes system with transport noise
Authors:
Dominic Breit,
Eduard Feireisl,
Martina Hofmanova,
Ewelina Zatorska
Abstract:
We consider the barotropic Navier--Stokes system driven by a physically well-motivated transport noise in both continuity as well as momentum equation. We focus on three different situations: (i) the noise is smooth in time and the equations are understood as in the sense of the classical weak deterministic theory, (ii) the noise is rough in time and we interpret the equations in the framework of…
▽ More
We consider the barotropic Navier--Stokes system driven by a physically well-motivated transport noise in both continuity as well as momentum equation. We focus on three different situations: (i) the noise is smooth in time and the equations are understood as in the sense of the classical weak deterministic theory, (ii) the noise is rough in time and we interpret the equations in the framework of rough paths with unbounded rough drivers and (iii) we have a Brownian noise of Stratonovich type and study the existence of martingale solutions. The first situation serves as an approximation for (ii) and (iii), while (ii) and (iii) are motivated by recent results on the incompressible Navier--Stokes system concerning the physical modeling as well as regularization by noise.
△ Less
Submitted 10 December, 2021;
originally announced December 2021.
-
Random dynamical system generated by the 3D Navier-Stokes equation with rough transport noise
Authors:
Jorge Cardona,
Martina Hofmanova,
Torstein Nilssen,
Nimit Rana
Abstract:
We consider the Navier-Stokes system in three dimensions perturbed by a transport noise which is sufficiently smooth in space and rough in time. The existence of a weak solution was proved recently, however, as in the deterministic setting the question of uniqueness remains a major open problem. An important feature of systems with uniqueness is the semigroup property satisfied by their solutions.…
▽ More
We consider the Navier-Stokes system in three dimensions perturbed by a transport noise which is sufficiently smooth in space and rough in time. The existence of a weak solution was proved recently, however, as in the deterministic setting the question of uniqueness remains a major open problem. An important feature of systems with uniqueness is the semigroup property satisfied by their solutions. Without uniqueness, this property cannot hold generally. We select a system of solutions satisfying the semigroup property with appropriately shifted rough path. In addition, the selected solutions respect the well accepted admissibility criterium for physical solutions, namely, maximization of the energy dissipation. Finally, under suitable assumptions on the driving rough path, we show that the Navier-Stokes system generates a measurable random dynamical system. To the best of our knowledge, this is the first construction of a measurable single-valued random dynamical system in the state space for an SPDE without uniqueness.
△ Less
Submitted 14 April, 2024; v1 submitted 29 April, 2021;
originally announced April 2021.
-
Global-in-time probabilistically strong and Markov solutions to stochastic 3D Navier--Stokes equations: existence and non-uniqueness
Authors:
Martina Hofmanová,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
We are concerned with the three dimensional incompressible Navier--Stokes equations driven by an additive stochastic forcing of trace class. First, for every divergence free initial condition in $L^{2}$ we establish existence of infinitely many global-in-time probabilistically strong and analytically weak solutions, solving one of the open problems in the field. This result in particular implies n…
▽ More
We are concerned with the three dimensional incompressible Navier--Stokes equations driven by an additive stochastic forcing of trace class. First, for every divergence free initial condition in $L^{2}$ we establish existence of infinitely many global-in-time probabilistically strong and analytically weak solutions, solving one of the open problems in the field. This result in particular implies non-uniqueness in law. Second, we prove non-uniqueness of the associated Markov processes in a suitably chosen class of analytically weak solutions satisfying a relaxed form of an energy inequality. Translated to the deterministic setting, we obtain non-uniqueness of the associated semiflows.
△ Less
Submitted 19 February, 2022; v1 submitted 20 April, 2021;
originally announced April 2021.
-
Stationary solutions in thermodynamics of stochastically forced fluids
Authors:
Dominic Breit,
Eduard Feireisl,
Martina Hofmanová
Abstract:
We study the full Navier--Stokes--Fourier system governing the motion of a general viscous, heat-conducting, and compressible fluid subject to stochastic perturbation. The system is supplemented with non-homogeneous Neumann boundary conditions for the temperature and hence energetically open. We show that, in contrast with the energetically closed system, there exists a stationary solution. Our ap…
▽ More
We study the full Navier--Stokes--Fourier system governing the motion of a general viscous, heat-conducting, and compressible fluid subject to stochastic perturbation. The system is supplemented with non-homogeneous Neumann boundary conditions for the temperature and hence energetically open. We show that, in contrast with the energetically closed system, there exists a stationary solution. Our approach is based on new global-in-time estimates which rely on the non-homogeneous boundary conditions combined with estimates for the pressure.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
Randomness in compressible fluid flows past an obstacle
Authors:
Eduard Feireisl,
Martina Hofmanova
Abstract:
We consider a statistical limit of solutions to the compressible Navier--Stokes system in the high Reynolds number regime in a domain exterior to a rigid body. We investigate to what extent this highly turbulent regime can be modeled by an external stochastic perturbation, as suggested in the related physics literature. To this end, we interpret the statistical limit as a stochastic process on the…
▽ More
We consider a statistical limit of solutions to the compressible Navier--Stokes system in the high Reynolds number regime in a domain exterior to a rigid body. We investigate to what extent this highly turbulent regime can be modeled by an external stochastic perturbation, as suggested in the related physics literature. To this end, we interpret the statistical limit as a stochastic process on the associated trajectory space. We suppose that the limit process is statistically equivalent to a solution of the stochastic compressible Euler system. Then, necessarily, (i) the stochastic forcing is not active -- the limit is a statistical solution of the deterministic Euler system; (ii) the solutions S-converge to the limit; (iii) if, in addition, the expected value of the limit process solves the Euler system, then the limit is deterministic and the convergence is strong in the $L^p$-sense. These results strongly indicate that a stochastic forcing may not be a suitable model for turbulent randomness in compressible fluid flows.
△ Less
Submitted 20 January, 2021;
originally announced January 2021.
-
On the long time behavior of compressible fluid flows excited by random forcing
Authors:
Dominic Breit,
Eduard Feireisl,
Martina Hofmanova
Abstract:
We are concerned with the long time behavior of the stochastic Navier--Stokes system for compressible fluids in dimension two and three. In this setting, the part of the phase space occupied by the solution depends sensitively on the choice of the initial state. Our main results are threefold. (i) The kinetic energy of a solution is universally and asymptotically bounded, independent of the initia…
▽ More
We are concerned with the long time behavior of the stochastic Navier--Stokes system for compressible fluids in dimension two and three. In this setting, the part of the phase space occupied by the solution depends sensitively on the choice of the initial state. Our main results are threefold. (i) The kinetic energy of a solution is universally and asymptotically bounded, independent of the initial datum. (ii) Time shifts of a solution with initially controlled energy are asymptotically compact and generate an entire solution defined for all $t\in R$. (iii) Every solution with initially controlled energy generates a stationary solution and even an ergodic stationary solution on the closure of the convex hull of its $ω$--limit set.
△ Less
Submitted 14 December, 2020;
originally announced December 2020.
-
Measure-valued solutions to the stochastic compressible Euler equations and incompressible limits
Authors:
Martina Hofmanova,
Ujjwal Koley,
Utsab Sarkar
Abstract:
We introduce a new concept of dissipative measure-valued martingale solutions to the stochastic compressible Euler equations. These solutions are weak in the probabilistic sense i.e., the probability space and the driving Wiener process are an integral part of the solution. We derive the relative energy inequality for the stochastic compressible Euler equations and, as a corollary, we exhibit path…
▽ More
We introduce a new concept of dissipative measure-valued martingale solutions to the stochastic compressible Euler equations. These solutions are weak in the probabilistic sense i.e., the probability space and the driving Wiener process are an integral part of the solution. We derive the relative energy inequality for the stochastic compressible Euler equations and, as a corollary, we exhibit pathwise weak-strong uniqueness principle. Moreover, making use of the relative energy inequality, we investigate the low Mach limit (incompressible limit) of the underlying system of equations. As a main novelty with respect to the related literature, our results apply to general nonlinear multiplicative stochastic perturbations of Nemytskij type.
△ Less
Submitted 14 December, 2020;
originally announced December 2020.
-
On ill- and well-posedness of dissipative martingale solutions to stochastic 3D Euler equations
Authors:
Martina Hofmanová,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
We are concerned with the question of well-posedness of stochastic three dimensional incompressible Euler equations. In particular, we introduce a novel class of dissipative solutions and show that (i) existence; (ii) weak--strong uniqueness; (iii) non-uniqueness in law; (iv) existence of a strong Markov solution; (v) non-uniqueness of strong Markov solutions; all hold true within this class. More…
▽ More
We are concerned with the question of well-posedness of stochastic three dimensional incompressible Euler equations. In particular, we introduce a novel class of dissipative solutions and show that (i) existence; (ii) weak--strong uniqueness; (iii) non-uniqueness in law; (iv) existence of a strong Markov solution; (v) non-uniqueness of strong Markov solutions; all hold true within this class. Moreover, as a byproduct of (iii) we obtain existence and non-uniqueness of probabilistically strong and analytically weak solutions defined up to a stopping time and satisfying an energy inequality.
△ Less
Submitted 21 September, 2020; v1 submitted 20 September, 2020;
originally announced September 2020.
-
Ergodic theory for energetically open compressible fluid flows
Authors:
Francesco Fanelli,
Eduard Feireisl,
Martina Hofmanová
Abstract:
The ergodic hypothesis is examined for energetically open fluid systems represented by the barotropic Navier--Stokes equations with general inflow/outflow boundary conditions. We show that any globally bounded trajectory generates a stationary statistical solution, which is interpreted as a stochastic process with continuous trajectories supported by the family of weak solutions of the problem. Th…
▽ More
The ergodic hypothesis is examined for energetically open fluid systems represented by the barotropic Navier--Stokes equations with general inflow/outflow boundary conditions. We show that any globally bounded trajectory generates a stationary statistical solution, which is interpreted as a stochastic process with continuous trajectories supported by the family of weak solutions of the problem. The abstract Birkhoff--Khinchin theorem is applied to obtain convergence (in expectation and a.s.) of ergodic averages for any bounded Borel measurable function of state variables associated to any stationary solution. Finally, we show that validity of the ergodic hypothesis is determined by the behavior of entire solutions (i.e. a solution defined for any $t\in R$). In particular, the ergodic averages converge for any trajectory provided its $ω-$limit set in the trajectory space supports a unique (in law) stationary solution.
△ Less
Submitted 22 April, 2021; v1 submitted 3 June, 2020;
originally announced June 2020.
-
Global well-posedness of the 3D Navier--Stokes equations perturbed by a deterministic vector field
Authors:
Franco Flandoli,
Martina Hofmanová,
Dejun Luo,
Torstein Nilssen
Abstract:
We are concerned with the problem of global well-posedness of the 3D Navier--Stokes equations on the torus with unitary viscosity. While a full answer to this question seems to be out of reach of the current techniques, we establish a regularization by a deterministic vector field. More precisely, we consider the vorticity form of the system perturbed by an additional transport type term. Such a p…
▽ More
We are concerned with the problem of global well-posedness of the 3D Navier--Stokes equations on the torus with unitary viscosity. While a full answer to this question seems to be out of reach of the current techniques, we establish a regularization by a deterministic vector field. More precisely, we consider the vorticity form of the system perturbed by an additional transport type term. Such a perturbation conserves the enstrophy and therefore a priori it does not imply any smoothing. Our main result is a construction of a deterministic vector field $v=v(t,x)$ which provides the desired regularization of the system and yields global well-posedness for large initial data outside arbitrary small sets. The proof relies on probabilistic arguments developed by Flandoli and Luo, tools from rough path theory by Hofmanová, Leahy and Nilssen and a new Wong--Zakai approximation result, which itself combines probabilistic and rough path techniques.
△ Less
Submitted 30 July, 2020; v1 submitted 16 April, 2020;
originally announced April 2020.
-
Non-uniqueness in law of stochastic 3D Navier--Stokes equations
Authors:
Martina Hofmanová,
Rongchan Zhu,
Xiangchan Zhu
Abstract:
We consider the stochastic Navier--Stokes equations in three dimensions and prove that the law of analytically weak solutions is not unique. In particular, we focus on three examples of a stochastic perturbation: an additive, a linear multiplicative and a nonlinear noise of cylindrical type, all driven by a Wiener process. In these settings, we develop a stochastic counterpart of the convex integr…
▽ More
We consider the stochastic Navier--Stokes equations in three dimensions and prove that the law of analytically weak solutions is not unique. In particular, we focus on three examples of a stochastic perturbation: an additive, a linear multiplicative and a nonlinear noise of cylindrical type, all driven by a Wiener process. In these settings, we develop a stochastic counterpart of the convex integration method introduced recently by Buckmaster and Vicol. This permits to construct probabilistically strong and analytically weak solutions defined up to a suitable stopping time. In addition, these solutions fail the corresponding energy inequality at a prescribed time with a prescribed probability. Then we introduce a general probabilistic construction used to extend the convex integration solutions beyond the stopping time and in particular to the whole time interval $[0,\infty)$. Finally, we show that their law is distinct from the law of solutions obtained by Galerkin approximation. In particular, non-uniqueness in law holds on an arbitrary time interval $[0,T]$, $T>0$.
△ Less
Submitted 27 October, 2021; v1 submitted 26 December, 2019;
originally announced December 2019.
-
Generalized solutions to models of inviscid fluids
Authors:
Dominic Breit,
Eduard Feireisl,
Martina Hofmanova
Abstract:
We discuss several approaches to generalized solutions of problems describing the motion of inviscid fluids. We propose a new concept of dissipative solution to the compressible Euler system based on a careful analysis of possible oscillations and/or concentrations in the associated generating sequence. Unlike the conventional measure-valued solutions or rather their expected values, the dissipati…
▽ More
We discuss several approaches to generalized solutions of problems describing the motion of inviscid fluids. We propose a new concept of dissipative solution to the compressible Euler system based on a careful analysis of possible oscillations and/or concentrations in the associated generating sequence. Unlike the conventional measure-valued solutions or rather their expected values, the dissipative solutions comply with a natural compatibility condition - they are classical solutions as long as they enjoy certain degree of smoothness.
△ Less
Submitted 3 July, 2019; v1 submitted 1 July, 2019;
originally announced July 2019.
-
On convergence of approximate solutions to the compressible Euler system
Authors:
Eduard Feireisl,
Martina Hofmanová
Abstract:
We consider a sequence of approximate solutions to the compressible Euler system admitting uniform energy bounds and/or satisfying the relevant field equations modulo an error vanishing in the asymptotic limit. We show that such a sequence either (i) converges strongly in the energy norm, or (ii) the limit is not a weak solution of the associated Euler system. This is in sharp contrast to the inco…
▽ More
We consider a sequence of approximate solutions to the compressible Euler system admitting uniform energy bounds and/or satisfying the relevant field equations modulo an error vanishing in the asymptotic limit. We show that such a sequence either (i) converges strongly in the energy norm, or (ii) the limit is not a weak solution of the associated Euler system. This is in sharp contrast to the incompressible case, where (oscillatory) approximate solutions may converge weakly to solutions of the Euler system. Our approach leans on identifying a system of differential equations satisfied by the associated turbulent defect measure and showing that it only has a trivial solution.
△ Less
Submitted 1 January, 2020; v1 submitted 7 May, 2019;
originally announced May 2019.
-
Space-time approximation of stochastic $p$-Laplace systems
Authors:
Dominic Breit,
Martina Hofmanova,
Sebastien Loisel
Abstract:
We consider systems of stochastic evolutionary equations of the $p$-Laplace type. We establish convergence rates for a finite-element based space-time approximation, where the error is measured in a suitable quasi-norm. Under natural regularity assumptions on the solution, our main result provides linear convergence in space and convergence of order $α$ in time for all $α\in(0,\frac{1}{2})$. The k…
▽ More
We consider systems of stochastic evolutionary equations of the $p$-Laplace type. We establish convergence rates for a finite-element based space-time approximation, where the error is measured in a suitable quasi-norm. Under natural regularity assumptions on the solution, our main result provides linear convergence in space and convergence of order $α$ in time for all $α\in(0,\frac{1}{2})$. The key ingredient of our analysis is a random time-grid, which allows us to compensate for the lack of time regularity. Our theoretical results are confirmed by numerical experiments.
△ Less
Submitted 7 May, 2021; v1 submitted 5 April, 2019;
originally announced April 2019.
-
Dissipative solutions and semiflow selection for the complete Euler system
Authors:
Dominic Breit,
Eduard Feireisl,
Martina Hofmanova
Abstract:
To circumvent the ill-posedness issues present in various models of continuum fluid mechanics, we present a dynamical systems approach aiming at selection of physically relevant solutions. Even under the presence of infinitely many solutions to the full Euler system describing the motion of a compressible inviscid fluid, our approach permits to select a system of solutions (one trajectory for ever…
▽ More
To circumvent the ill-posedness issues present in various models of continuum fluid mechanics, we present a dynamical systems approach aiming at selection of physically relevant solutions. Even under the presence of infinitely many solutions to the full Euler system describing the motion of a compressible inviscid fluid, our approach permits to select a system of solutions (one trajectory for every initial condition) satisfying the classical semiflow property. Moreover, the selection respects the well accepted admissibility criteria for physical solutions, namely, maximization of the entropy production rate and the weak--strong uniqueness principle. Consequently, strong solutions are always selected whenever they exist and stationary states are stable and included in the selection as well. To this end, we introduce a notion of dissipative solution, which is given by a triple of density, momentum and total entropy defined as expectations of a suitable measure--valued solution.
△ Less
Submitted 1 April, 2019;
originally announced April 2019.
-
Existence of martingale solutions and large-time behavior for a stochastic mean curvature flow of graphs
Authors:
Nils Dabrock,
Martina Hofmanová,
Matthias Röger
Abstract:
We are concerned with a stochastic mean curvature flow of graphs over a periodic domain of any space dimension. We establish existence of martingale solutions which are strong in the PDE sense and study their large-time behavior. Our analysis is based on a viscous approximation and new global bounds, namely, an $L^{\infty}_{ω,x,t}$ estimate for the gradient and an $L^{2}_{ω,x,t}$ bound for the Hes…
▽ More
We are concerned with a stochastic mean curvature flow of graphs over a periodic domain of any space dimension. We establish existence of martingale solutions which are strong in the PDE sense and study their large-time behavior. Our analysis is based on a viscous approximation and new global bounds, namely, an $L^{\infty}_{ω,x,t}$ estimate for the gradient and an $L^{2}_{ω,x,t}$ bound for the Hessian. The proof makes essential use of the delicate interplay between the deterministic mean curvature part and the stochastic perturbation, which permits to show that certain gradient-dependent energies are supermartingales. Our energy bounds in particular imply that solutions become asymptotically spatially homogeneous and approach a Brownian motion perturbed by a random constant.
△ Less
Submitted 12 March, 2019;
originally announced March 2019.
-
On a rough perturbation of the Navier-Stokes system and its vorticity formulation
Authors:
Martina Hofmanova,
James-Michael Leahy,
Torstein Nilssen
Abstract:
We introduce a rough perturbation of the Navier-Stokes system and justify its physical relevance from balance of momentum and conservation of circulation in the inviscid limit. We present a framework for a well-posedness analysis of the system. In particular, we define an intrinsic notion of solution based on ideas from the rough path theory and study the system in an equivalent vorticity formulat…
▽ More
We introduce a rough perturbation of the Navier-Stokes system and justify its physical relevance from balance of momentum and conservation of circulation in the inviscid limit. We present a framework for a well-posedness analysis of the system. In particular, we define an intrinsic notion of solution based on ideas from the rough path theory and study the system in an equivalent vorticity formulation. In two space dimensions, we prove that well-posedness and enstrophy balance holds. Moreover, we derive rough path continuity of the equation, which yields a Wong-Zakai result for Brownian driving paths, and show that for a large class of driving signals, the system generates a continuous random dynamical system. In dimension three, the noise is not enstrophy balanced, and we establish the existence of local in time solutions.
△ Less
Submitted 18 April, 2019; v1 submitted 25 February, 2019;
originally announced February 2019.
-
Solution semiflow to the isentropic Euler system
Authors:
Dominic Breit,
Eduard Feireisl,
Martina Hofmanova
Abstract:
It is nowadays well understood that the multidimensional isentropic Euler system is desperately ill--posed. Even certain smooth initial data give rise to infinitely many solutions and all available selection criteria fail to ensure both global existence and uniqueness. We propose a different approach to well--posedness of this system based on ideas from the theory of Markov semigroups: we show the…
▽ More
It is nowadays well understood that the multidimensional isentropic Euler system is desperately ill--posed. Even certain smooth initial data give rise to infinitely many solutions and all available selection criteria fail to ensure both global existence and uniqueness. We propose a different approach to well--posedness of this system based on ideas from the theory of Markov semigroups: we show the existence of a Borel measurable solution semiflow. To this end, we introduce a notion of dissipative solution which is understood as time dependent trajectories of the basic state variables - the mass density, the linear momentum, and the energy - in a suitable phase space. The underlying system of PDEs is satisfied in a generalized sense. The solution semiflow enjoys the standard semigroup property and the solutions coincide with the strong solutions as long as the latter exist. Moreover, they minimize the energy (maximize the energy dissipation) among all dissipative solutions.
△ Less
Submitted 1 July, 2019; v1 submitted 15 January, 2019;
originally announced January 2019.
-
A PDE construction of the Euclidean $Φ^4_3$ quantum field theory
Authors:
Massimiliano Gubinelli,
Martina Hofmanova
Abstract:
We present a new construction of the Euclidean $Φ^4$ quantum field theory on $\mathbb{R}^3$ based on PDE arguments. More precisely, we consider an approximation of the stochastic quantization equation on $\mathbb{R}^3$ defined on a periodic lattice of mesh size $\varepsilon$ and side length $M$. We introduce a new renormalized energy method in weighted spaces and prove tightness of the correspondi…
▽ More
We present a new construction of the Euclidean $Φ^4$ quantum field theory on $\mathbb{R}^3$ based on PDE arguments. More precisely, we consider an approximation of the stochastic quantization equation on $\mathbb{R}^3$ defined on a periodic lattice of mesh size $\varepsilon$ and side length $M$. We introduce a new renormalized energy method in weighted spaces and prove tightness of the corresponding Gibbs measures as $\varepsilon \rightarrow 0$, $M \rightarrow \infty$. Every limit point is non-Gaussian and satisfies reflection positivity, translation invariance and stretched exponential integrability. These properties allow to verify the Osterwalder--Schrader axioms for a Euclidean QFT apart from rotation invariance and clustering. Our argument applies to arbitrary positive coupling constant, to multicomponent models with $O(N)$ symmetry and to some long-range variants. Moreover, we establish an integration by parts formula leading to the hierarchy of Dyson--Schwinger equations for the Euclidean correlation functions. To this end, we identify the renormalized cubic term as a \emph{distribution} on the space of Euclidean fields.
△ Less
Submitted 7 January, 2021; v1 submitted 3 October, 2018;
originally announced October 2018.
-
Markov selection for the stochastic compressible Navier--Stokes system
Authors:
Dominic Breit,
Eduard Feireisl,
Martina Hofmanova
Abstract:
We analyze the Markov property of solutions to the compressible Navier--Stokes system perturbed by a general multiplicative stochastic forcing. We show the existence of an almost sure Markov selection to the associated martingale problem. Our proof is based on the abstract framework introduced in [F. Flandoli, M. Romito: Markov selections for the 3D stochastic Navier--Stokes equations. Probab. The…
▽ More
We analyze the Markov property of solutions to the compressible Navier--Stokes system perturbed by a general multiplicative stochastic forcing. We show the existence of an almost sure Markov selection to the associated martingale problem. Our proof is based on the abstract framework introduced in [F. Flandoli, M. Romito: Markov selections for the 3D stochastic Navier--Stokes equations. Probab. Theory Relat. Fields 140, 407--458. (2008)]. A major difficulty arises from the fact, different from the incompressible case, that the velocity field is not continuous in time. In addition, it cannot be recovered from the variables whose time evolution is described by the Navier--Stokes system, namely, the density and the momentum. We overcome this issue by introducing an auxiliary variable into the Markov selection procedure.
△ Less
Submitted 19 September, 2018;
originally announced September 2018.
-
Global solutions to elliptic and parabolic $Φ^4$ models in Euclidean space
Authors:
Massimiliano Gubinelli,
Martina Hofmanová
Abstract:
We prove existence of global solutions to singular SPDEs on $\mathbb{R}^d$ with cubic nonlinearities and additive white noise perturbation, both in the elliptic setting in dimensions $d=4,5$ and in the parabolic setting for $d=2,3$. We prove uniqueness and coming down from infinity for the parabolic equations. A motivation for considering these equations is the construction of scalar interacting E…
▽ More
We prove existence of global solutions to singular SPDEs on $\mathbb{R}^d$ with cubic nonlinearities and additive white noise perturbation, both in the elliptic setting in dimensions $d=4,5$ and in the parabolic setting for $d=2,3$. We prove uniqueness and coming down from infinity for the parabolic equations. A motivation for considering these equations is the construction of scalar interacting Euclidean quantum field theories. The parabolic equations are related to the $Φ^4_d$ Euclidean quantum field theory via Parisi--Wu stochastic quantization, while the elliptic equations are linked to the $Φ^4_{d-2}$ Euclidean quantum field theory via the Parisi--Sourlas dimensional reduction mechanism.
△ Less
Submitted 25 January, 2019; v1 submitted 30 April, 2018;
originally announced April 2018.
-
Randomized exponential integrators for modulated nonlinear Schrödinger equations
Authors:
Martina Hofmanová,
Marvin Knöller,
Katharina Schratz
Abstract:
We consider the nonlinear Schrödinger equation with dispersion modulated by a (formal) derivative of a time-dependent function with fractional Sobolev regularity of class $W^{α,2}$ for some $α\in (0,1)$. Due to the loss of smoothness in the problem classical numerical methods face severe order reduction. In this work, we develop and analyze a new randomized exponential integrator based on a strati…
▽ More
We consider the nonlinear Schrödinger equation with dispersion modulated by a (formal) derivative of a time-dependent function with fractional Sobolev regularity of class $W^{α,2}$ for some $α\in (0,1)$. Due to the loss of smoothness in the problem classical numerical methods face severe order reduction. In this work, we develop and analyze a new randomized exponential integrator based on a stratified Monte Carlo approximation. The new discretization technique averages the high oscillations in the solution allowing for improved convergence rates of order $α+1/2$. In addition, the new approach allows us to treat a far more general class of modulations than the available literature. Numerical results underline our theoretical findings and show the favorable error behavior of our new scheme compared to classical methods.
△ Less
Submitted 2 November, 2018; v1 submitted 3 November, 2017;
originally announced November 2017.
-
On the Navier-Stokes equation perturbed by rough transport noise
Authors:
Martina Hofmanová,
James-Michael Leahy,
Torstein Nilssen
Abstract:
We consider the Navier-Stokes system in two and three space dimensions perturbed by transport noise and subject to periodic boundary conditions. The noise arises from perturbing the advecting velocity field by space-time dependent noise that is smooth in space and rough in time. We study the system within the framework of rough path theory and, in particular, the recently developed theory of unbou…
▽ More
We consider the Navier-Stokes system in two and three space dimensions perturbed by transport noise and subject to periodic boundary conditions. The noise arises from perturbing the advecting velocity field by space-time dependent noise that is smooth in space and rough in time. We study the system within the framework of rough path theory and, in particular, the recently developed theory of unbounded rough drivers. We introduce an intrinsic notion of a weak solution of the Navier-Stokes system, establish suitable a priori estimates and prove existence. In two dimensions, we prove that the solution is unique and stable with respect to the driving noise.
△ Less
Submitted 1 August, 2018; v1 submitted 23 October, 2017;
originally announced October 2017.
-
On the rough Gronwall lemma and its applications
Authors:
Martina Hofmanova
Abstract:
We present a rough path analog of the classical Gronwall Lemma introduced recently by A. Deya, M. Gubinelli, M. Hofmanová, S. Tindel in [arXiv:1604.00437] and discuss two of its applications. First, it is applied in the framework of rough path driven PDEs in order to establish energy estimates for weak solutions. Second, it is used in order to prove uniqueness for reflected rough differential equa…
▽ More
We present a rough path analog of the classical Gronwall Lemma introduced recently by A. Deya, M. Gubinelli, M. Hofmanová, S. Tindel in [arXiv:1604.00437] and discuss two of its applications. First, it is applied in the framework of rough path driven PDEs in order to establish energy estimates for weak solutions. Second, it is used in order to prove uniqueness for reflected rough differential equations.
△ Less
Submitted 10 September, 2017;
originally announced September 2017.
-
An energy method for rough partial differential equations
Authors:
Antoine Hocquet,
Martina Hofmanová
Abstract:
We present a well-posedness and stability result for a class of nondegenerate linear parabolic equations driven by rough paths. More precisely, we introduce a notion of weak solution that satisfies an intrinsic formulation of the equation in a suitable Sobolev space of negative order. Weak solutions are then shown to satisfy the corresponding energy estimates which are deduced directly from the eq…
▽ More
We present a well-posedness and stability result for a class of nondegenerate linear parabolic equations driven by rough paths. More precisely, we introduce a notion of weak solution that satisfies an intrinsic formulation of the equation in a suitable Sobolev space of negative order. Weak solutions are then shown to satisfy the corresponding energy estimates which are deduced directly from the equation. Existence is obtained by showing compactness of a suitable sequence of approximate solutions whereas uniqueness relies on a doubling of variables argument and a careful analysis of the passage to the diagonal. Our result is optimal in the sense that the assumptions on the deterministic part of the equation as well as the initial condition are the same as in the classical PDEs theory.
△ Less
Submitted 6 March, 2019; v1 submitted 24 July, 2017;
originally announced July 2017.
-
On solvability and ill-posedness of the compressible Euler system subject to stochastic forces
Authors:
Dominic Breit,
Eduard Feireisl,
Martina Hofmanova
Abstract:
We consider the (barotropic) Euler system describing the motion of a compressible inviscid fluid driven by a stochastic forcing. Adapting the method of convex integration we show that the initial value problem is ill-posed in the class of weak (distributional) solutions. Specifically, we find a sequence $τ_M \to \infty$ of positive stopping times for which the Euler system admits infinitely many s…
▽ More
We consider the (barotropic) Euler system describing the motion of a compressible inviscid fluid driven by a stochastic forcing. Adapting the method of convex integration we show that the initial value problem is ill-posed in the class of weak (distributional) solutions. Specifically, we find a sequence $τ_M \to \infty$ of positive stopping times for which the Euler system admits infinitely many solutions originating from the same initial data. The solutions are weak in the PDE sense but strong in the probabilistic sense, meaning, they are defined on an {\it a priori} given stochastic basis and adapted to the driving stochastic process.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
Stationary solutions to the compressible Navier-Stokes system driven by stochastic forces
Authors:
Dominic Breit,
Eduard Feireisl,
Martina Hofmanova,
Bohdan Maslowski
Abstract:
We study the long-time behavior of solutions to a stochastically driven Navier-Stokes system describing the motion of a compressible viscous fluid driven by a temporal multiplicative white noise perturbation. The existence of stationary solutions is established in the framework of Lebesgue--Sobolev spaces pertinent to the class of weak martingale solutions. The methods are based on new global-in-t…
▽ More
We study the long-time behavior of solutions to a stochastically driven Navier-Stokes system describing the motion of a compressible viscous fluid driven by a temporal multiplicative white noise perturbation. The existence of stationary solutions is established in the framework of Lebesgue--Sobolev spaces pertinent to the class of weak martingale solutions. The methods are based on new global-in-time estimates and a combination of deterministic and stochastic compactness arguments. In contrast with the deterministic case, where related results were obtained only under rather restrictive constitutive assumptions for the pressure, the stochastic case is tractable in the full range of constitutive relations allowed by the available existence theory. This can be seen as a kind of regularizing effect of the noise on the global-in-time solutions.
△ Less
Submitted 9 March, 2017;
originally announced March 2017.
-
Well-posedness and regularity for quasilinear degenerate parabolic-hyperbolic SPDE
Authors:
Benjamin Gess,
Martina Hofmanová
Abstract:
We study quasilinear degenerate parabolic-hyperbolic stochastic partial differential equations with general multiplicative noise within the framework of kinetic solutions. Our results are twofold: First, we establish new regularity results based on averaging techniques. Second, we prove the existence and uniqueness of solutions in a full $L^1$ setting requiring no growth assumptions on the nonline…
▽ More
We study quasilinear degenerate parabolic-hyperbolic stochastic partial differential equations with general multiplicative noise within the framework of kinetic solutions. Our results are twofold: First, we establish new regularity results based on averaging techniques. Second, we prove the existence and uniqueness of solutions in a full $L^1$ setting requiring no growth assumptions on the nonlinearities. In addition, we prove a comparison result and an $L^1$-contraction property for the solutions.
△ Less
Submitted 17 September, 2017; v1 submitted 11 November, 2016;
originally announced November 2016.
-
One-dimensional reflected rough differential equations
Authors:
Aurelien Deya,
Massimiliano Gubinelli,
Martina Hofmanova,
Samy Tindel
Abstract:
We prove existence and uniqueness of the solution of a one-dimensional rough differential equation driven by a step-2 rough path and reflected at zero. In order to deal with the lack of control of the reflection measure the proof uses some ideas we introduced in a previous work dealing with rough kinetic PDEs [arXiv:1604.00437].
We prove existence and uniqueness of the solution of a one-dimensional rough differential equation driven by a step-2 rough path and reflected at zero. In order to deal with the lack of control of the reflection measure the proof uses some ideas we introduced in a previous work dealing with rough kinetic PDEs [arXiv:1604.00437].
△ Less
Submitted 24 October, 2016;
originally announced October 2016.
-
Quasilinear generalized parabolic Anderson model equation
Authors:
Ismael Bailleul,
Arnaud Debussche,
Martina Hofmanova
Abstract:
We present in this note a local in time well-posedness result for the singular $2$-dimensional quasilinear generalized parabolic Anderson model equation $$ \partial_t u - a(u)Δu = g(u)ξ$$ The key idea of our approach is a simple transformation of the equation which allows to treat the problem as a semilinear problem. The analysis is done within the elementary setting of paracontrolled calculus.
We present in this note a local in time well-posedness result for the singular $2$-dimensional quasilinear generalized parabolic Anderson model equation $$ \partial_t u - a(u)Δu = g(u)ξ$$ The key idea of our approach is a simple transformation of the equation which allows to treat the problem as a semilinear problem. The analysis is done within the elementary setting of paracontrolled calculus.
△ Less
Submitted 25 November, 2016; v1 submitted 21 October, 2016;
originally announced October 2016.
-
Local strong solutions to the stochastic compressible Navier-Stokes system
Authors:
Dominic Breit,
Eduard Feireisl,
Martina Hofmanova
Abstract:
We study the Navier-Stokes system describing the motion of a compressible viscous fluid driven by a nonlinear multiplicative stochastic force. We establish local in time existence (up to a positive stopping time) of a unique solution, which is strong in both PDE and probabilistic sense. Our approach relies on rewriting the problem as a symmetric hyperbolic system augmented by partial diffusion, wh…
▽ More
We study the Navier-Stokes system describing the motion of a compressible viscous fluid driven by a nonlinear multiplicative stochastic force. We establish local in time existence (up to a positive stopping time) of a unique solution, which is strong in both PDE and probabilistic sense. Our approach relies on rewriting the problem as a symmetric hyperbolic system augmented by partial diffusion, which is solved via a suitable approximation procedure using the stochastic compactness method and the Yamada-Watanabe type argument based on the Gyöngy-Krylov characterization of convergence in probability. This leads to the existence of a strong (in the PDE sense) pathwise solution. Finally, we use various stopping time arguments to establish the local existence of a unique strong solution to the original problem.
△ Less
Submitted 17 June, 2016;
originally announced June 2016.
-
A priori estimates for rough PDEs with application to rough conservation laws
Authors:
Aurélien Deya,
Massimiliano Gubinelli,
Martina Hofmanová,
Samy Tindel
Abstract:
We introduce a general weak formulation for PDEs driven by rough paths, as well as a new strategy to prove well-posedness. Our procedure is based on a combination of fundamental a priori estimates with (rough) Gronwall-type arguments. In particular this approach does not rely on any sort of transformation formula (flow transformation, Feynman--Kac representation formula etc.) and is therefore rath…
▽ More
We introduce a general weak formulation for PDEs driven by rough paths, as well as a new strategy to prove well-posedness. Our procedure is based on a combination of fundamental a priori estimates with (rough) Gronwall-type arguments. In particular this approach does not rely on any sort of transformation formula (flow transformation, Feynman--Kac representation formula etc.) and is therefore rather flexible. As an application, we study conservation laws driven by rough paths establishing well--posedness for the corresponding kinetic formulation.
△ Less
Submitted 22 February, 2018; v1 submitted 1 April, 2016;
originally announced April 2016.
-
An exponential-type integrator for the KdV equation
Authors:
Martina Hofmanova,
Katharina Schratz
Abstract:
We introduce an exponential-type time-integrator for the KdV equation and prove its first-order convergence in $H^1$ for initial data in $H^3$. Furthermore, we outline the generalization of the presented technique to a second-order method.
We introduce an exponential-type time-integrator for the KdV equation and prove its first-order convergence in $H^1$ for initial data in $H^3$. Furthermore, we outline the generalization of the presented technique to a second-order method.
△ Less
Submitted 15 December, 2016; v1 submitted 20 January, 2016;
originally announced January 2016.
