Structural properties of semilinear SPDEs driven by cylindrical stable processes
Enrico Priola, Jerzy Zabczyk
备注：
This version is almost identical with the one published in Probab. Theory Related Fields. We have also corrected some constants appearing in Theorem 4.16 and Hypothesis 5.6
We consider a class of semilinear stochastic evolution equations driven by an additive cylindrical stable noise.We investigate structural properties of the solutions like Markov, irreducibility, stochastic continuity, Feller and strong Feller properties, and study integrability of trajectories. The obtained results can be applied to semilinear stochastic heat equations with Dirichlet boundary conditions and bounded and Lipschitz nonlinearities.
We study the Cauchy problem for a semilinear stochastic partial differential equation driven by a finite-dimensional Wiener process. In particular, under the hypothesis that all the coefficients are sufficiently smooth and have bounded derivatives, we consider the equation in the context of power scale generated by a strongly elliptic differential operator. Application of semigroup arguments then yields the existence of a continuous strong solution.
We consider a broad class of semilinear SPDEs with multiplicative noise driven by a finite-dimensional Wiener process. We show that, provided that an infinite-dimensional analogue of Hörmander's bracket condition holds, the Malliavin matrix of the solution is an operator with dense range. In particular, we show that the laws of finite-dimensional projections of such solutions admit smooth densities with respect to Lebesgue measure. The main idea is to develop a robust pathwise solution theory for such SPDEs using rough paths theory, which then allows us to use a pathwise version of Norris's le…
We obtain estimates on the first-order Malliavin derivative of mild solutions, evaluated at fixed points in time and space, to a class of parabolic dissipative stochastic PDEs on bounded domain of $\mathbb{R}^d$. In particular, such equations are driven by multiplicative Wiener noise and the nonlinear drift term is the superposition operator associated to a locally Lipschitz continuous function satisfying suitable polynomial growth bounds. The main arguments rely on the well-posedness theory in the mild sense for stochastic evolution equations in Banach spaces, monotonicity, and a comparison p…
In this paper we consider the following stochastic partial differential equation (SPDE) in the whole space: $du (t, x) = [a^{i j} (t, x) D_{i j} u(t, x) + f(u, t, x)]\, dt + \sum_{k = 1}^m g^k (u(t, x)) dw^k (t).$ We prove the convergence of a Wong-Zakai type approximation scheme of the above equation in the space $ C^{θ} ([0, T], H^γ_p (\mathbb{R}^d)) $ in probability, for some $ θ\in (0,1/2), γ\in (1, 2)$, and $p > 2$. We also prove a Stroock-Varadhan's type support theorem. To prove the results we combine V. Mackevicius ideas from his papers on Wong-Zakai theorem and the support theorem for…
We prove a Stroock-Varadhan's type support theorem for a stochastic partial differential equation (SPDE) on the real line with a noise term driven by a cylindrical Wiener process on $L_2 (\mathbb{R})$. The main ingredients of the proof are V. Mackevicius's approach to support theorem for diffusion processes and N.V. Krylov's $L_p$-theory of SPDEs.
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…
We prove existence and uniqueness of strong solutions for a class of semilinear stochastic evolution equations driven by general Hilbert space-valued semimartingales, with drift equal to the sum of a linear maximal monotone operator in variational form and of the superposition operator associated to a random time-dependent monotone function defined on the whole real line. Such a function is only assumed to satisfy a very mild symmetry-like condition, but its rate of growth towards infinity can be arbitrary. Moreover, the noise is of multiplicative type and can be path-dependent. The solution i…
We prove existence and uniqueness of solutions to a class of stochastic semilinear evolution equations with a monotone nonlinear drift term and multiplicative noise, considerably extending corresponding results obtained in previous work of ours. In particular, we assume the initial datum to be only measurable and we allow the diffusion coefficient to be locally Lipschitz-continuous. Moreover, we show, in a quantitative fashion, how the finiteness of the $p$-th moment of solutions depends on the integrability of the initial datum, in the whole range $p \in ]0,\infty[$. Lipschitz continuity of t…
In the present work, we establish the approximation of nonlinear stochastic partial differential equation (SPDE) driven by cylindrical α-stable Lévy processes via modulation or amplitude equations. We study SPDEs with a cubic nonlinearity, where the deterministic equation is close to a change of stability of the trivial solution. The natural separation of time-scales close to this bifurcation allows us to obtain an amplitude equation describing the essential dynamics of the bifurcating pattern, thus reducing the original infinite dimensional dynamics to a simpler finite-dimensional effective d…
This article is devoted to the analysis of semilinear, parabolic, Stochastic Partial Differential Equations, with slow and fast time scales. Asymptotically, an averaging principle holds: the slow component converges to the solution of another semilinear, parabolic, SPDE, where the nonlinearity is averaged with respect to the invariant distribution of the fast process. We exhibit orders of convergence, in both strong and weak senses, in two relevant situations, depending on the spatial regularity of the fast process and on the covariance of the Wiener noise in the slow equation. In a very regul…
Motivated by applications to a manifold of semilinear and quasilinear stochastic partial differential equations (SPDEs) we establish the existence and uniqueness of strong solutions to coercive and locally monotone SPDEs driven by Lévy processes. We illustrate the main result of our paper by showing how it can be applied to various types of SPDEs such as stochastic reaction-diffusion equations, stochastic Burgers type equations, stochastic 2D hydrodynamical systems and stochastic equations of non-Newtonian fluids, which generalize many existing results in the literature.
We show how gradient estimates for transition semigroups can be used to establish exponential mixing for a class of Markov processes in infinite dimensions. We concentrate on semilinear systems driven by cylindrical $α$-stable noises, $α\in (0,2)$, introduced in Priola-Zabczyk "Structural properties of semilinear SPDEs driven by cylindrical stable processes" (PTRF to appear). We first prove that if the nonlinearity is bounded, then the system is ergodic and strong mixing. Then we show that the system is exponentially mixing provided that the nonlinearity, or its Lipschitz constant, are suffici…
We consider semilinear stochastic evolution equations on Hilbert spaces with multiplicative Wiener noise and linear drift term of the type $A + \varepsilon G$, with $A$ and $G$ maximal monotone operators and $\varepsilon$ a "small" parameter, and study the differentiability of mild solutions with respect to $\varepsilon$. The operator $G$ can be a singular perturbation of $A$, in the sense that its domain can be strictly contained in the domain of $A$.
This work aims to prove the small time large deviation principle (LDP) for a class of stochastic partial differential equations (SPDEs) with locally monotone coefficients in generalized variational framework. The main result could be applied to demonstrate the small time LDP for various quasilinear and semilinear SPDEs such as stochastic porous media equations, stochastic $p$-Laplace equations, stochastic Burgers type equation, stochastic 2D Navier-Stokes equation, stochastic power law fluid equation and stochastic Ladyzhenskaya model. In particular, our small time LDP result seems to be new i…
We study the Cauchy problem for a scalar semilinear degenerate parabolic partial differential equation with stochastic forcing. In particular, we are concerned with the well-posedness in any space dimension. We adapt the notion of kinetic solution which is well suited for degenerate parabolic problems and supplies a good technical framework to prove the comparison principle. The proof of existence is based on the vanishing viscosity method: the solution is obtained by a compactness argument as the limit of solutions of nondegenerate approximations.
We prove existence of invariant measures for the Markovian semigroup generated by the solution to a parabolic semilinear stochastic PDE whose nonlinear drift term satisfies only a kind of symmetry condition on its behavior at infinity, but no restriction on its growth rate is imposed. Thanks to strong integrability properties of invariant measures $μ$, solvability of the associated Kolmogorov equation in $L^1(μ)$ is then established, and the infinitesimal generator of the transition semigroup is identified as the closure of the Kolmogorov operator. A key role is played by a generalized variati…
We prove global well-posedness for a class of dissipative semilinear stochastic evolution equations with singular drift and multiplicative Wiener noise. In particular, the nonlinear term in the drift is the superposition operator associated to a maximal monotone graph everywhere defined on the real line, on which no continuity nor growth assumptions are imposed. The hypotheses on the diffusion coefficient are also very general, in the sense that the noise does not need to take values in spaces of continuous, or bounded, functions in space and time. Our approach combines variational techniques …
Upon its inception the theory of regularity structures allowed for the treatment for many semilinear perturbations of the stochastic heat equation driven by space-time white noise. When the driving noise is non-Gaussian the machinery of theory can still be used but must be combined with an infinite number of stochastic estimates in order to compensate for the loss of hypercontractivity. In this paper we obtain a more streamlined and automatic set of criteria implying these estimates which facilitates the treatment of some other problems including non-Gaussian noise such as some general phase c…
We study diffusion processes corresponding to infinite dimensional semilinear stochastic differential equations with local Lipschitz drift term and an arbitrary Lipschitz diffusion coefficient. We prove tightness and the Feller property of the solution to show existence of an invariant measure. As an application we discuss stochastic reaction diffusion equations.
We establish n-th order Fréchet differentiability with respect to the initial datum of mild solutions to a class of jump-diffusions in Hilbert spaces. In particular, the coefficients are Lipschitz continuous, but their derivatives of order higher than one can grow polynomially, and the (multiplicative) noise sources are a cylindrical Wiener process and a quasi-left-continuous integer-valued random measure. As preliminary steps, we prove well-posedness in the mild sense for this class of equations, as well as first-order Gâteaux differentiability of their solutions with respect to the initial d…
The formalism recently introduced in arXiv:1610.08468 allows one to assign a regularity structure, as well as a corresponding "renormalisation group", to any subcritical system of semilinear stochastic PDEs. Under very mild additional assumptions, it was then shown in arXiv:1612.08138 that large classes of driving noises exhibiting the relevant small-scale behaviour can be lifted to such a regularity structure in a robust way, following a renormalisation procedure reminiscent of the BPHZ procedure arising in perturbative QFT. The present work completes this programme by constructing an action …
In this paper we show the existence and uniqueness of strong solutions for a large class of backward SPDE where the coefficients satisfy a specific type Lyapunov condition instead of the classical coercivity condition. Moreover, based on the generalized variational framework, we also use the local monotonicity condition to replace the standard monotonicity condition, which is applicable to various quasilinear and semilinear BSPDE models.
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…
In this paper we prove a kind of rotational symmetry for solutions of semilinear elliptic systems in some bounded cylindrical domains. The symmetry theorems obtained hold for low-Morse index solutions whenever the nonlinearities satisfy some convexity assumptions. These results extend and improve those obtained in \cite{DaPaSys, DaGlPa1, Pa, PaWe}.
The asymptotic behavior of solutions to Schrödinger equations with singular homogeneous potentials is investigated. Through an Almgren type monotonicity formula and separation of variables, we describe the exact asymptotics near the singularity of solutions to at most critical semilinear elliptic equations with cylindrical and quantum multi-body singular potentials. Furthermore, by an iterative Brezis-Kato procedure, point-wise upper estimate are derived.
We consider the inverse problem of determining a general nonlinear term appearing in a semilinear hyperbolic equation on a Riemannian manifold with boundary $(M,g)$ of dimension $n=2,3$. We prove results of unique recovery of the nonlinear term $F(t,x,u)$, appearing in the equation $\partial_t^2u-Δ_gu+F(t,x,u)=0$ on $(0,T)\times M$ with $T>0$, from some partial knowledge of the solutions $u$ on the boundary of the time-space cylindrical manifold $(0,T)\times M$ or on the lateral boundary $(0,T)\times\partial M$. We determine the expression $F(t,x,u)$ both on the boundary $x\in\partial M$ and i…
The Boussinesq equations are fundamental in meteorology. Among other aspects, they aim to model the process of front formation. We use the approach presented in [Hol15] to introduce stochasticity into the incompressible Boussinesq equations. This is, we introduce cylindrical transport noise in a way that the geometric properties in the Euler-Poincaré formulation are preserved. One of our main results establishes the local well-posedness of regular solutions for these new stochastic Boussinesq equations. We also construct a blow-up criterion and derive some general estimates, which are crucial …
In this paper we are concerned with the initial boundary value problems of linear and semi-linear parabolic equations with mixed boundary conditions on non-cylindrical domains in spatial-temporal space. We obtain the existence of a weak solution to the problem. In the case of the linear equation the parts for every type of boundary condition are any open subsets of the boundary being nonempty the part for Dirichlet condition at any time. Due to this it is difficult to reduce the problem to one on a cylindrical domain by diffeomorphism of the domain. By a transformation of unknown function and …
In this manuscript we consider semilinear PDEs, with a convex nonlinearity, in a sector-like domain. Using cylindrical coordinates $(r, θ, z)$, we investigate the shape of solutions whose derivative in $θ$ vanishes at the boundary. We prove that any solution with Morse index less than two must be either independent of $θ$ or strictly monotone with respect to $θ$. In the special case of a planar domain, the result holds in a circular sector as well as in an annular, and it can also be extended to a rectangular domain. The corresponding problem in higher dimensions is also considered, as well as…
A characterization of a semilinear elliptic partial differential equation (PDE) on a bounded domain in $\mathbb{R}^n$ is given in terms of an infinite-dimensional dynamical system. The dynamical system is on the space of boundary data for the PDE. This is a novel approach to elliptic problems that enables the use of dynamical systems tools in studying the corresponding PDE. The dynamical system is ill-posed, meaning solutions do not exist forwards or backwards in time for generic initial data. We offer a framework in which this ill-posed system can be analyzed. This can be viewed as generalizi…
We consider reaction-diffusion equations that are stochastically forced by a small multiplicative noise term. We show that spectrally stable travelling wave solutions to the deterministic system retain their orbital stability if the amplitude of the noise is sufficiently small. By applying a stochastic phase-shift together with a time-transform, we obtain a semilinear sPDE that describes the fluctuations from the primary wave. We subsequently develop a semigroup approach to handle the nonlinear stability question in a fashion that is closely related to modern deterministic methods.
In this paper we develop a new approach to nonlinear stochastic partial differential equations with Gaussian noise. Our aim is to provide an abstract framework which is applicable to a large class of SPDEs and includes many important cases of nonlinear parabolic problems which are of quasi- or semilinear type. This first part is on local existence and well-posedness. A second part in preparation is on blow-up criteria and regularization. Our theory is formulated in an $L^p$-setting, and because of this we can deal with nonlinearities in a very efficient way. Applications to several concrete pr…
In this paper, we study the Cauchy problem for a quasilinear degenerate parabolic stochastic partial differential equation driven by a cylindrical Wiener process. In particular, we adapt the notion of kinetic formulation and kinetic solution and develop a well-posedness theory that includes also an $L^1$-contraction property. In comparison to the previous works of the authors concerning stochastic hyperbolic conservation laws [J. Funct. Anal. 259 (2010) 1014-1042] and semilinear degenerate parabolic SPDEs [Stochastic Process. Appl. 123 (2013) 4294-4336], the present result contains two new ing…
We study an optimal relaxed control problem for a class of semilinear stochastic PDEs on Banach spaces perturbed by multiplicative noise and driven by a cylindrical Wiener process. The state equation is controlled through the nonlinear part of the drift coefficient which satisfies a dissipative-type condition with respect to the state variable. The main tools of our study are the factorization method for stochastic convolutions in UMD type-2 Banach spaces and certain compactness properties of the factorization operator and of the class of Young measures on Suslin metrisable control sets.
We consider a semilinear elliptic equation with Dirichlet boundary conditions in a smooth, possibly unbounded, domain. Under suitable assumptions, we deduce a condition on the size of the domain that implies the existence of a positive solution satisfying a uniform pointwise estimate. Here, uniform means that the estimate is independent of the domain. The main advantage of our approach is that it allows us to remove a restrictive monotonicity assumption that was imposed in the recent paper. In addition, we can remove a non-degeneracy condition that was assumed in the latter reference. Furtherm…
Inspired by applications, we consider reaction-diffusion equations on $\mathbb{R}$ that are stochastically forced by a small multiplicative noise term that is white in time, coloured in space and invariant under translations. We show how these equations can be understood as a stochastic partial differential equation (SPDE) forced by a cylindrical Q-Wiener process and subsequently explain how to study stochastic travelling waves in this setting. In particular, we generalize the phase tracking framework that was developed in [Hamster & Hupkes 2017] and [Hamster & Hupkes 2018] for noise processes…
