In this paper, we extend Walsh's stochastic integral with respect to a Gaussian noise, white in time and with some homogeneous spatial correlation, in order to be able to integrate some random measure-valued processes. This extension turns out to be equivalent to Dalang's one. Then we study existence and regularity of the density of the probability law for the real-valued mild solution to a general second order stochastic partial differential equation driven by such a noise. For this, we apply the techniques of the Malliavin calculus. Our results apply to the case of the stochastic heat equation in any space dimension and the stochastic wave equation in space dimension $d=1,2,3$. Moreover, for these particular examples, known results in the literature have been improved.
In this paper we consider a general class of second order stochastic partial differential equations on $\mathbb{R}^d$ driven by a Gaussian noise which is white in time and it has a homogeneous spatial covariance. Using the techniques of Malliavin calculus we derive the smoothness of the density of the solution at a fixed number of points $(t,x_1), \dots, (t,x_n)$, $t>0$, assuming some suitable regularity and non degeneracy assumptions. We also prove that the density is strictly positive in the interior of the support of the law.
In this paper we study a class of stochastic partial differential equations in the whole space $\mathbb{R}^{d}$, with arbitrary dimension $d\geq 1$, driven by a Gaussian noise white in time and correlated in space. The differential operator is a fractional derivative operator. We show the existence, uniqueness and Hölder's regularity of the solution. Then by means of Malliavin calculus, we prove that the law of the solution has a smooth density with respect to the Lebesgue measure.
We consider a general class of SPDEs in $\mathbb{R}^d$ driven by a Gaussian spatially homogeneous noise which is white in time. We provide sufficient conditions on the coefficients and the spectral measure associated to the noise ensuring that the density of the corresponding mild solution admits an upper estimate of Gaussian type. The proof is based on the formula for the density arising from the integration-by-parts formula of the Malliavin calculus. Our result applies to the stochastic heat equation with any space dimension and the stochastic wave equation with $d\in \{1,2,3\}$. In these pa…
We consider stochastic partial differential equations on $\mathbb{R}^{d}, d\geq 1$, driven by a Gaussian noise white in time and colored in space, for which the pathwise uniqueness holds. By using the Skorokhod representation theorem we establish various strong stability results. Then, we give an application to the convergence of the Picard successive approximation. Finally, we show that in the sense of Baire category, almost all stochastic partial differential equations with continuous and bounded coefficients have the properties of existence and uniqueness of solutions as well as the continu…
We prove the existence and smoothness of density for the solution of a hyperbolic SPDE with free term coefficients depending on time, under hypoelliptic non degeneracy conditions. The result extends those proved in Cattiaux and Mesnager, PTRF 2002, to an infinite dimensional setting.
We examine in this article the one-dimensional, non-local, singular SPDE \begin{equation*} \partial_t u \;=\; -\, (-Δ)^{1/2} u \,-\, \sinh(γu) \,+\, ξ\;, \end{equation*} where $γ\in \mathbb{R}$, $(-Δ)^{1/2}$ is the fractional Laplacian of order $1/2$, $ξ$ the space-time white noise in $\mathbb{R} \times \mathbb{T}$, and $\mathbb{T}$ the one-dimensional torus. We show that for $0<γ^2<π/7$ the Da Prato--Debussche method applies. One of the main difficulties lies in the derivation of a Schauder estimate for the semi-group associated to the fractional Laplacian due to the lack of smoothness result…
In this paper we develop an $L_2$-theory for stochastic partial differential equations driven by Lévy processes. The coefficients of the equations are random functions depending on time and space variables, and no smoothness assumption of the coefficients is assumed.
We consider the family of stochastic partial differential equations indexed by a parameter $\eps\in(0,1]$, \begin{equation*} Lu^{\eps}(t,x) = \epsσ(u^\eps(t,x))\dot{F}(t,x)+b(u^\eps(t,x)), \end{equation*} $(t,x)\in(0,T]\times\Rd$ with suitable initial conditions. In this equation, $L$ is a second-order partial differential operator with constant coefficients, $σ$ and $b$ are smooth functions and $\dot{F}$ is a Gaussian noise, white in time and with a stationary correlation in space. Let $p^\eps_{t,x}$ denote the density of the law of $u^\eps(t,x)$ at a fixed point $(t,x)\in(0,T]\times\Rd$. We …
We present several results on the smoothness in $L_{p}$ sense of filtering densities under the Lipschitz continuity assumption on the coefficients of a partially observable diffusion processes. We obtain them by rewriting in divergence form filtering equation which are usually considered in terms of formally adjoint to operators in nondivergence form.
The mean-field stochastic partial differential equation (SPDE) corresponding to a mean-field super-Brownian motion (sBm) is obtained and studied. In this mean-field sBm, the branching-particle lifetime is allowed to depend upon the probability distribution of the sBm itself, producing an SPDE whose space-time white noise coefficient has, in addition to the typical sBm square root, an extra factor that is a function of the probability law of the density of the mean-field sBm. This novel mean-field SPDE is thus motivated by population models where things like overcrowding and isolation can affec…
In this paper, we consider a system of $k$ second order non-linear stochastic partial differential equations with spatial dimension $d \geq 1$, driven by a $q$-dimensional Gaussian noise, which is white in time and with some spatially homogeneous covariance. The case of a single equation and a one-dimensional noise, has largely been studied in the literature. The first aim of this paper is to give a survey of some of the existing results. We will start with the existence, uniqueness and Hölder's continuity of the solution. For this, the extension of Walsh's stochastic integral to cover some me…
We present the Walsh theory of stochastic integrals with respect to martingale measures, alongside of the Da Prato and Zabczyk theory of stochastic integrals with respect to Hilbert-space-valued Wiener processes and some other approaches to stochastic integration, and we explore the links between these theories. We then show how each theory can be used to study stochastic partial differential equations, with an emphasis on the stochastic heat and wave equations driven by spatially homogeneous Gaussian noise that is white in time. We compare the solutions produced by the different theories.
Using tools from the theory of random fields with stationary increments, we introduce a new class of processes which can be used as a model for the noise perturbing an SPDE. This type of noise (called harmonizable) is not necessarily Gaussian, but it includes the spatially homogeneous Gaussian noise introduced in Dalang (1999), and the fractional noise considered in Balan and Tudor (2010). We derive some general conditions for the existence of a random field solution of a linear SPDE with harmonizable noise, under some mild conditions imposed on the Green function of the differential operator …
We study the sample path regularity of the solutions of a class of spde's which are second order in time and that includes the stochastic wave equation. Non-integer powers of the spatial Laplacian are allowed. The driving noise is white in time and spatially homogeneous. Continuing with the work initiated in Dalang and Mueller (2003), we prove that the solutions belong to a fractional $L^2$-Sobolev space. We also prove Hölder continuity in time and therefore, we obtain joint Hölder continuity in the time and space variables. Our conclusions rely on a precise analysis of the properties of the s…
In this article, we introduce a Lévy analogue of the spatially homogeneous Gaussian noise of Dalang (1999), and we construct a stochastic integral with respect to this noise. The spatial covariance of the noise is given by a tempered measure $μ$ on $\bR^d$, whose density is given by $|h|^2$ for a complex-valued function $h$. Without assuming that the Fourier transform of $μ$ is a non-negative function, we identify a large class of integrands with respect to this noise. As an application, we examine the linear stochastic heat and wave equations driven by this type of noise.
We prove existence and smoothness of the density of the solution to a nonlinear stochastic heat equation on $L^2(\mathcal{O})$ (evaluated at fixed points in time and space), where $\mathcal{O}$ is an open bounded domain in $\mathbb{R}^d$. The equation is driven by an additive Wiener noise and the nonlinear drift term is the superposition operator associated to a real function which is assumed to be (maximal) monotone, continuously differentiable, and growing not faster than a polynomial. The proof uses tools of the Malliavin calculus combined with methods coming from the theory of maximal mono…
The asymptotic behavior of a class of stochastic reaction-diffusion-advection equations in the plane is studied. We show that as the divergence-free advection term becomes larger and larger, the solutions of such equations converge to the solution of a suitable stochastic PDE defined on the graph associated with the Hamiltonian. Firstly, we deal with the case that the stochastic perturbation is given by a singular spatially homogeneous Wiener process taking values in the space of Schwartz distributions. As in previous works, we assume here that the derivative of the period of the motion on the…
We study the macroscopic behavior of a stochastic spin ensemble driven by a discrete Markov jump process motivated by the Metropolis-Hastings algorithm where the proposal is made with spatially correlated (colored) noise, and hence fails to be symmetric. However, we demonstrate a scenario where the failure of proposal symmetry is a higher order effect. Hence, from these microscopic dynamics we derive as a limit as the proposal size goes to zero and the number of spins to infinity, a non-local stochastic version of the harmonic map heat flow (or overdamped Landau-Lipshitz equation). The equatio…
We consider the linear stochastic heat and wave equations with generalized Gaussian noise that is white in time and spatially correlated. Under the assumption that the homogeneous spatial correlation $f$ satisfies some mild conditions, we show that the solutions to the linear stochastic heat and wave equations exhibit tall peaks in macroscopic scales, which means they are macroscopically multi-fractal. We compute the macroscopic Hausdorff dimension of the peaks for Gaussian random fields with vanishing correlation and then apply this result to the solution of the linear stochastic heat and wav…
We study the approximation of SPDEs on the whole real line near a change of stability via modulation or amplitude equations, which acts as a replacement for the lack of random invariant manifolds on extended domains. Due to the unboundedness of the underlying domain a whole band of infinitely many eigenfunctions changes stability. Thus we expect not only a slow motion in time, but also a slow spatial modulation of the dominant modes, which is described by the modulation equation. As a first step towards a full theory of modulation equations for nonlinear SPDEs on unbounded domains, we focus, i…
In this article, we identify the necessary and sufficient conditions for the existence of a random field solution for some linear s.p.d.e.'s of parabolic and hyperbolic type. These equations rely on a spatial operator $\cL$ given by the $L^2$-generator of a $d$-dimensional Lévy process $X=(X_t)_{t \geq 0}$, and are driven by a spatially-homogeneous Gaussian noise, which is fractional in time with Hurst index $H>1/2$. As an application, we consider the case when $X$ is a $β$-stable process, with $β\in (0,2]$. In the parabolic case, we develop a connection with the potential theory of the Markov…
This paper introduces SPDE bridges with observation noise and contains an analysis of their spatially semidiscrete approximations. The SPDEs are considered in the form of mild solutions in an abstract Hilbert space framework suitable for parabolic equations. They are assumed to be linear with additive noise in the form of a cylindrical Wiener process. The observational noise is also cylindrical and SPDE bridges are formulated via conditional distributions of Gaussian random variables in Hilbert spaces. A general framework for the spatial discretization of these bridge processes is introduced. …
In this article we establish exponential moment bounds, moment bounds in fractional order smoothness spaces, a uniform Hölder continuity in time, and strong convergence rates for a class of fully discrete exponential Euler-type numerical approximations of infinite dimensional stochastic convolution processes. The considered approximations involve specific taming and truncation terms and are therefore well suited to be used in the context of SPDEs with non-globally Lipschitz continuous nonlinearities.
We study a reaction-diffusion evolution equation perturbed by a space-time Lévy noise. The associated Kolmogorov operator is the sum of the infinitesimal generator of a $C_0$-semigroup of strictly negative type acting in a Hilbert space and a nonlinear term which has at most polynomial growth, is non necessarily Lipschitz and is such that the whole system is dissipative. The corresponding Itô stochastic equation describes a process on a Hilbert space with dissi- pative nonlinear, non globally Lipschitz drift and a Lévy noise. Under smoothness assumptions on the non-linearity, asymptotics to al…
Macroscopic models for spatially extended systems under random influences are often described by stochastic partial differential equations (SPDEs). Some techniques for understanding solutions of such equations, such as estimating correlations, Liapunov exponents and impact of noises, are discussed. They are relevant for understanding predictability in spatially extended systems with model uncertainty, for example, in physics, geophysics and biological sciences. The presentation is for a wide audience.
In this paper we study the Large Deviation Principle (LDP in abbreviation) for a class of Stochastic Partial Differential Equations (SPDEs) in the whole space $\mathbb{R}^d$, with arbitrary dimension $d\geq 1$, under random influence which is a Gaussian noise, white in time and correlated in space. The differential operator is a fractional derivative operator. We prove a large deviations principle for our equation, using a weak convergence approach based on a variational representation of functionals of infinite-dimensional Brownian motion. This approach reduces the proof of LDP to establishin…
We prove the existence of random attractors for a large class of degenerate stochastic partial differential equations (SPDE) perturbed by joint additive Wiener noise and real, linear multiplicative Brownian noise, assuming only the standard assumptions of the variational approach to SPDE with compact embeddings in the associated Gelfand triple. This allows spatially much rougher noise than in known results. The approach is based on a construction of strictly stationary solutions to related strongly monotone SPDE. Applications include stochastic generalized porous media equations, stochastic ge…
In this note, we establish optimal lower and upper Gaussian bounds for the density of the solution to a class of stochastic integral equations driven by an additive spatially homogeneous Gaussian random field. The proof is based on the techniques of the Malliavin calculus and a density formula obtained by Nourdin and Viens. Then, the main result is applied to the mild solution of a general class of SPDEs driven by a Gaussian noise which is white in time and has a spatially homogeneous correlation. In particular, this covers the case of the stochastic heat and wave equations in $\mathbb{R}^d$ w…
Stochastic partial differential equations (SPDE) on graphs were introduced by Cerrai and Freidlin [Ann. Inst. Henri Poincaré Probab. Stat. 53 (2017) 865-899]. This class of stochastic equations in infinite dimensions provides a minimal framework for the study of the effective dynamics of much more complex systems. However, how they emerge from microscopic individual-based models is still poorly understood, partly due to complications near vertex singularities. In this work, motivated by the study of the dynamics and the genealogies of expanding populations in spatially structured environments,…
This paper is a continuation of Part I of this project, where we developed a new local well-posedness theory for nonlinear stochastic PDEs with Gaussian noise. In the current Part II we consider blow-up criteria and regularization phenomena. As in Part I we can allow nonlinearities with polynomial growth, and rough initial values from critical spaces. In the first main result we obtain several new blow-up criteria for quasi- and semilinear stochastic evolution equations. In particular, for semilinear equations we obtain a Serrin type blow-up criterium, which extends a recent result of Prüss-Si…
We consider an infinite-dimensional dynamical system with polynomial nonlinearity and additive noise given by a finite number of Wiener processes. By studying how randomness is spread by the system we develop a counterpart of Hormander's classical theory in this setting. We study the distributions of finite-dimensional projections of the solutions and give conditions that provide existence and smoothness of densities of these distributions with respect to the Lebesgue measure. We also apply our results to concrete SPDEs such as Stochastic Reaction Diffusion Equation and Stochastic 2D Navier--S…
Let $M$ be a compact Riemannian homogeneous space (e.g. a Euclidean sphere). We prove existence of a global weak solution of the stochastic wave equation \mathbf D_t\partial_tu=\sum_{k=1}^d\mathbf D_{x_k}\partial_{x_k}u+f_u(Du)+g_u(Du)\,\dot W$ in any dimension $d\ge 1$, where $f$ and $g$ are continuous multilinear mappings and $W$ is a spatially homogeneous Wiener process on $\mathbb R^d$ with finite spectral measure. A nonstandard method of constructing weak solutions of SPDEs, that does not rely on martingale representation theorem, is employed.
We study the sample path regularity of the solution of a stochastic wave equation in spatial dimension $d=3$. The driving noise is white in time and with a spatially homogeneous covariance defined as a product of a Riesz kernel and a smooth function. We prove that at any fixed time, a.s. the sample paths in the spatial variable belong to certain fractional Sobolev spaces. In addition, for any fixed $x\in\IR^3$, the sample paths in time are Hölder continuous functions. Hence, we obtain joint Hölder continuity in the time and space variables. Our results rely on a detailed analysis of properties…
We study the numerical approximation of the invariant measure of a viscous scalar conservation law, one-dimensional and periodic in the space variable, and stochastically forced with a white-in-time but spatially correlated noise. The flux function is assumed to be locally Lipschitz continuous and to have at most polynomial growth. The numerical scheme we employ discretises the SPDE according to a finite-volume method in space, and a split-step backward Euler method in time. As a first result, we prove the well-posedness as well as the existence and uniqueness of an invariant measure for both …
We establish the stochastic comparison principles, including moment comparison principle as a special case, for solutions to the following nonlinear stochastic heat equation on $\mathbb{R}^d$ \[ \left(\frac{\partial }{\partial t} -\frac{1}{2}Δ\right) u(t,x) = ρ(u(t,x)) \:\dot{M}(t,x), \] where $\dot{M}$ is a spatially homogeneous Gaussian noise that is white in time and colored in space, and $ρ$ is a Lipschitz continuous function that vanishes at zero. These results are obtained for rough initial data and under Dalang's condition, namely, $\int_{\mathbb{R}^d}(1+|ξ|^2)^{-1}\hat{f}(\text{d} ξ)<\…
We consider the stochastically forced Burgers equation with an emphasis on spatially rough driving noise. We show that the law of the process at a fixed time $t$, conditioned on no explosions, is absolutely continuous with respect to the stochastic heat equation obtained by removing the nonlinearity from the equation. This establishes a form of ellipticity in this infinite dimensional setting. The results follow from a recasting of the Girsanov Theorem to handle less spatially regular solutions while only proving absolute continuity at a fixed time and not on path-space. The results are proven…
We study the compact support property for solutions of the following stochastic partial differential equations: $$\partial_t u = a^{ij}u_{x^ix^j}(t,x)+b^{i}u_{x^i}(t,x)+cu+h(t,x,u(t,x))\dot{F}(t,x),\quad (t,x)\in (0,\infty)\times{\bf{R}}^d,$$ where $\dot{F}$ is a spatially homogeneous Gaussian noise that is white in time and colored in space, and $h(t, x, u)$ satisfies $K^{-1}|u|^λ\leq h(t, x, u)\leq K(1+|u|)$ for $λ\in(0,1)$ and $K\geq 1$. We show that if the initial data $u_0\geq 0$ has a compact support, then, under the reinforced Dalang's condition on $\dot{F}$ (which guarantees the existe…
We prove a new Burkholder-Rosenthal type inequality for discrete-time processes taking values in a 2-smooth Banach space. As a first application we prove that if $(S(t,s))_{0\leq s\leq T}$ is a $C_0$-evolution family of contractions on a $2$-smooth Banach space $X$ and $(W_t)_{t\in [0,T]}$ is a cylindrical Brownian motion on a probability space $(Ω,P)$, then for every $0<p<\infty$ there exists a constant $C_{p,X}$ such that for all progressively measurable processes $g: [0,T]\times Ω\to X$ the process $(\int_0^t S(t,s)g_sdW_s)_{t\in [0,T]}$ has a continuous modification and $$E\sup_{t\in [0,T]…
