The Stable Manifold Theorem for Semilinear Stochastic Evolution Equations and Stochastic Partial Differential Equations II: Existence of stable and unstable manifolds
Salah-Eldin A. Mohammed, Tusheng Zhang, Huaizhong Zhao
备注：
47 pages, 3 figures
发表信息：
Memoirs of the American Mathematical Society, Vol.196 (2008), No. 917, pp.1-105.
This article is a sequel to [M.Z.Z.1] aimed at completing the characterization of the pathwise local structure of solutions of semilinear stochastic evolution equations (see's) and stochastic partial differential equations (spde's) near stationary solutions. Stationary solution are viewed as random points in the infinite-dimensional state space, and the characterization is expressed in terms of the almost sure long-time behavior of trajectories of the equation in relation to the stationary solution. More specifically, we establish local stable manifold theorems for semilinear see's and spde's (Theorems 4.1-4.4). These results give smooth stable and unstable manifolds in the neighborhood of a hyperbolic stationary solution of the underlying stochastic equation. The stable and unstable manifolds are stationary, live in a stationary tubular neighborhood of the stationary solution and are asymptotically invariant under the stochastic semiflow of the see/spde. The proof uses infinite-dimensional multiplicative ergodic theory techniques and interpolation arguments (Theorem 2.1).
The main objective of this work is to characterize the pathwise local structure of solutions of semilinear stochastic evolution equations (see's) and stochastic partial differential equations (spde's) near stationary solutions. Such characterization is realized through the long-term behavior of the solution field near stationary points. The analysis falls in two parts I, II. In Part I (this paper), we prove a general existence and compactness theorem for $C^k$-cocycles of semilinear see's and spde's. Our results cover a large class of semilinear see's as well as certain semilinear spde's with …
We construct global-in-time solutions for semilinear parabolic rough partial differential equations. We work on a scale of Banach spaces tailored to the controlled rough path approach and derive suitable a-priori estimates of the solution which do not contain quadratic terms.
We prove the large deviations principle (LDP) for the law of the solutions to a class of semilinear stochastic partial differential equations driven by multiplicative noise. Our proof is based on the weak convergence approach and significantly improves earlier methods.
We establish a monotonicity property in the space variable for the solutions of an initial boundary value problem concerned with the parabolic partial differential equation connected with super-Brownian motion.
We propose a nonlinear forward Feynman-Kac type equation, which represents the solution of a non-conservative semilinear parabolic Partial Differential Equations (PDE). We show in particular existence and uniqueness. The solution of that type of equation can be approached via a weighted particle system.
In this paper, we establish a central limit theorem (CLT) and the moderate deviation principles (MDP) for a class of semilinear stochastic partial differential equations driven by multiplicative noise on a bounded domain. The main results can be applied to stochastic partial differential equations of various types such as the stochastic Burgers equation and the reaction-diffusion equations perturbed by space-time white noise.
In this paper, we establish the existence and uniqueness of invariant measures for a class of semilinear stochastic partial differential equations driven by multiplicative noise on a bounded domain. The main results can be applied to SPDEs of various types such as the stochastic Burgers equation and the reaction-diffusion equations perturbed by space-time white noise.
We prove the the large deviation principle(LDP) for the law of the one-dimensional semilinear stochastic partial differential equations driven by nonlinear multiplicative noise. Firstly, combining the energy estimate and approximation procedure, we obtain the existence of global solution. Then the large deviation principle is obtained via weak convergence method.
The paper is devoted to the construction of a probabilistic particle algorithm. This is related to nonlin-ear forward Feynman-Kac type equation, which represents the solution of a nonconservative semilinear parabolic Partial Differential Equations (PDE). Illustrations of the efficiency of the algorithm are provided by numerical experiments.
On nonlinear Feynman-Kac formulas for viscosity solutions of semilinear parabolic partial differential equations with gradient-dependent nonlinearities
We consider the generalized parabolic Anderson equation (gPAM) in 2 dimensions with periodic boundary. This is an example of a singular semilinear stochastic partial differential equations, solutions of which require renormalization and have only be understood recently via Hairer's regularity structures and, in some cases equivalently, paracontrollled distributions due to Gubinelli, Imkeller and Perkowski. In the present paper we describe the law of gPAM, by establishing a Stroock{Varadhan type support theorem in suitable Holder{Besov spaces.
In this article, we study a class of semilinear stochastic partial differential equations driven by an additive space time white noise. We establish Harnack inequalities for the semigroup associated with the solution by using coupling method, which implies the strong Feller property. Our results generalize the results of Zhang [Potential Analysis 33 (2010), no. 2, 137-151.] and can be applied to some types of SPDE such as reaction-diffusion equation and transport-diffusion equation perturbed by space time white noise.
We study function-valued solutions of a class of stochastic partial differential equations, involving operators with polynomially bounded coefficients. We consider semilinear equations under suitable parabolicity hypotheses. We provide conditions on the initial data and on the stochastic terms, namely, on the associated spectral measure, so that these mild solutions exist uniquely in suitably chosen functional classes.
The aim of the present work is the introduction of a viscosity type solution, called strong-viscosity solution to distinguish it from the classical one, with the following peculiarities: it is a purely analytic object; it can be easily adapted to more general equations than classical partial differential equations. First, we introduce the notion of strong-viscosity solution for semilinear parabolic partial differential equations, defining it, in a few words, as the pointwise limit of classical solutions to perturbed semilinear parabolic partial differential equations; we compare it with the st…
We consider analytically weak solutions to semilinear stochastic partial differential equations with non-anticipating coefficients driven by cylindrical Brownian motion. The solutions are allowed to take values in general separable Banach spaces. We show that weak uniqueness is equivalent to weak joint uniqueness, and thereby generalize a theorem by A.S. Cherny to an infinite dimensional setting. Our proof for the technical key step is different from Cherny's and uses cylindrical martingale problems. As an application, we deduce a dual version of the Yamada-Watanabe theorem, i.e. we show that …
We prove the large deviation principle for the law of the solutions to a class of parabolic semilinear stochastic partial differential equations driven by multiplicative noise, in $C\big([0,T]:L^ρ(D)\big)$, where $D\subset {\mathbb R}^d$ with $d\geqslant 1$ is a bounded convex domain with smooth boundary and $ρ$ is any real, positive and large enough number. The equation has nonlinearities of polynomial growth of any order, the space variable is of any dimension, and the proof is based on the weak convergence method.
Recently, so-called full-history recursive multilevel Picard (MLP) approximation schemes have been introduced and shown to overcome the curse of dimensionality in the numerical approximation of semilinear parabolic partial differential equations (PDEs) with Lipschitz nonlinearities. The key contribution of this article is to introduce and analyze a new variant of MLP approximation schemes for certain semilinear elliptic PDEs with Lipschitz nonlinearities and to prove that the proposed approximation schemes overcome the curse of dimensionality in the numerical approximation of such semilinear e…
The full history recursive multilevel Picard approximation method for semilinear parabolic partial differential equations (PDEs) is the only method which provably overcomes the curse of dimensionality for general time horizons if the coefficient functions and the nonlinearity are globally Lipschitz continuous and the nonlinearity is gradient-independent. In this article we extend this result to locally monotone coefficient functions. Our results cover a range of semilinear PDEs with polynomial coefficient functions.
This paper presents a probabilistic interpretation for the weak Sobolev solution of the obstacle problem for semilinear parabolic partial integro-differential equations (PIDEs). The results of Leandre (1985) concerning the homeomorphic property for the solution of SDEs with jumps are used to construct random test functions for the variational equation for such PIDEs. This results in the natural connection with the associated Reflected Backward Stochastic Differential Equations with jumps (RBSDEs), namely Feynman Kac's formula for the solution of the PIDEs. Moreover it gives an application to t…
This paper deals with the spatial and temporal regularity of the unique Hilbert space valued mild solution to a semilinear stochastic partial differential equation with nonlinear terms that satisfy global Lipschitz conditions. It is shown that the mild solution has the same optimal regularity properties as the stochastic convolution. The proof is elementary and makes use of existing results on the regularity of the solution, in particular, the Hölder continuity with a non-optimal exponent.
We study the trajectorywise blowup behavior of a semilinear partial differential equation that is driven by a mixture of multiplicative Brownian and fractional Brownian motion, modeling different types of random perturbations. The linear operator is supposed to have an eigenfunction of constant sign, and we show its influence, as well as the influence of its eigenvalue and of the other parameters of the equation, on the occurrence of a blowup in finite time of the solution. We give estimates for the probability of finite time blowup and of blowup before a given fixed time. Essential tools are …
The goal of this paper is twofold. In the first part we will study Lévy white noise in different distributional spaces and solve equations of the type $p(D)s=q(D)\dot{L}$, where $p$ and $q$ are polynomials. Furthermore, we will study measurability of $s$ in Besov spaces. By using this result we will prove that stochastic partial differential equations of the form \begin{align*} p(D)u=g(\cdot,u)+\dot{L} \end{align*} have measurable solutions in weighted Besov spaces, where $p(D)$ is a partial differential operator in a certain class, $g:\mathbb{R}^d\times \mathbb{C}\to \mathbb{R}$ satisfies som…
The article is devoted to the application of multiple Fourier-Legendre series to implementation of strong exponential Milstein and Wagner-Platen methods for non-commutative semilinear stochastic partial differential equations with multiplicative trace class noise. These methods have strong orders of convergence $1.0-\varepsilon$ and $1.5-\varepsilon$ correspondingly (here $\varepsilon$ is an arbitrary small positive real number) with respect to the temporal discretization. The theorem on mean-square convergence of approximations of iterated stochastic integrals of multiplicities 1 to 3 with re…
The classical Feynman-Kac identity builds a bridge between stochastic analysis and partial differential equations (PDEs) by providing stochastic representations for classical solutions of linear Kolmogorov PDEs. This opens the door for the derivation of sampling based Monte Carlo approximation methods, which can be meshfree and thereby stand a chance to approximate solutions of PDEs without suffering from the curse of dimensionality. In this article we extend the classical Feynman-Kac formula to certain semilinear Kolmogorov PDEs. More specifically, we identify suitable solutions of stochastic…
In this paper we treat semilinear stochastic partial differential equations by two methods. First, we extend the framework of [BDR10] from a Hilbert space to a Gelfand triple and as an application we prove the existence of solutions for the Fokker-Planck equations associated to semilinear equations with space-time white noise and both with polynomially growing nonlinearities and Burgers type nonlinearities at the same time. Second we adopt the approximation technique from [BDR10] to obtain existence of unique strong solutions to semilinear stochastic partial differential equations driven by sp…
In insurance mathematics optimal control problems over an infinite time horizon arise when computing risk measures. Their solutions correspond to solutions of deterministic semilinear (degenerate) elliptic partial differential equations. In this paper we propose a deep neural network algorithm for solving such partial differential equations in high dimensions. The algorithm is based on the correspondence of elliptic partial differential equations to backward stochastic differential equations with random terminal time.
In this paper we prove a central limit theorem and a moderate deviation principle for a class of semilinear stochastic partial differential equations, which contain Burgers' equation and the stochastic reaction-diffusion equation. The weak convergence method plays an important role.
For a long time it is well-known that high-dimensional linear parabolic partial differential equations (PDEs) can be approximated by Monte Carlo methods with a computational effort which grows polynomially both in the dimension and in the reciprocal of the prescribed accuracy. In other words, linear PDEs do not suffer from the curse of dimensionality. For general semilinear PDEs with Lipschitz coefficients, however, it remained an open question whether these suffer from the curse of dimensionality. In this paper we partially solve this open problem. More precisely, we prove in the case of semi…
We investigate, in the setting of UMD Banach spaces E, the continuous dependence on the data A, F, G and X_0 of mild solutions of semilinear stochastic evolution equations with multiplicative noise of the form dX(t) = [AX(t) + F(t,X(t))]dt + G(t,X(t))dW_H(t), X(0)=X_0, where W_H is a cylindrical Brownian motion on a Hilbert space H. We prove continuous dependence of the compensated solutions X(t)-e^{tA}X_0 in the norms L^p(Ω;C^λ([0,T];E)) assuming that the approximating operators A_n are uniformly sectorial and converge to A in the strong resolvent sense, and that the approximating nonlinearit…
This paper is devoted to studying abstract stochastic semilinear evolution equations with additive noise in Hilbert spaces. First, we prove the existence of unique local mild solutions and show their regularity. Second, we show the regular dependence of the solutions on initial data. Finally, some applications to stochastic partial differential equations are presented.
We prove a modification to the classical maximal inequality for stochastic convolutions in 2-smooth Banach spaces using the factorization method. This permits to study semilinear stochastic partial differential equations with unbounded diffusion operators driven by cylindrical Brownian motion via the mild solution approach. In the case of finite dimensional driving noise, provided sufficient regularity on the coefficients, we establish existence and uniqueness of strong solutions.
We obtain existence results for the solution u of nonlocal semilinear parabolic PDEs on $\mathbb{R}^d$ with polynomial nonlinearities in $(u, \nabla u)$, using a tree-based probabilistic representation. This probabilistic representation applies to the solution of the equation itself, as well as to its partial derivatives by associating one of d marks to the initial tree branch. Partial derivatives are dealt with by integration by parts and subordination of Brownian motion. Numerical illustrations are provided in examples for the fractional Laplacian in dimension up to 10, and for the fractiona…
Full-history recursive multilevel Picard (MLP) approximation schemes have been shown to overcome the curse of dimensionality in the numerical approximation of high-dimensional semilinear partial differential equations (PDEs) with general time horizons and Lipschitz continuous nonlinearities. However, each of the error analyses for MLP approximation schemes in the existing literature studies the $L^2$-root-mean-square distance between the exact solution of the PDE under consideration and the considered MLP approximation and none of the error analyses in the existing literature provides an upper…
Multilevel Picard approximations and deep neural networks with ReLU, leaky ReLU, and softplus activation overcome the curse of dimensionality when approximating semilinear parabolic partial differential equations in $L^p$-sense
Division of Mathematical Sciences, School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore（数学科学系，物理与数学科学学院，南洋理工大学，新加坡）；Faculty of Mathematics, Bielefeld University, Germany（数学学院，比勒菲尔德大学，德国）
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 stochastic semilinear partial differential equations with Lipschitz nonlinear terms. We prove existence and uniqueness of an invariant measure and the existence of a solution for the corresponding Kolmogorov equation in the space $L^2(H;ν)$, where $ν$ is the invariant measure. We also prove the closability of the derivative operator and an integration by parts formula. Finally, under boundness conditions on the nonlinear term, we prove a Poincaré inequality, a logarithmic Sobolev inequality and the ipercontractivity of the transition semigroup.
In this paper, we prove that there exists a unique weak solution to the mixed boundary value problem for a general class of semilinear second order elliptic partial differential equations with singular coefficients. Our approach is probabilistic. The theory of Dirichlet forms and backward stochastic differential equations with singular coefficients and infinite horizon plays a crucial role.
In this paper, we prove that there exists a unique solution to the Dirichlet boundary value problem for a general class of semilinear second order elliptic partial differential equations. Our approach is probabilistic. The theory of Dirichlet processes and backward stochastic differential equations play a crucial role.
Let $D$ be a smooth domain in $\mathbb{R}^N$, $N\geq 3$ and let $f$ be a positive continuous function on $\partial D$. Under some assumptions on $φ$, it is shown that the problem $Δu=2φ(u)$ in $D$ and $u=f$ on $\partial D$, admits a unique solution which will be denoted by $H_D^φf$. Given two functions $φ$ and $ψ$, our main goal in this paper is to investigate the existence of a constant $c>0$ such that $$\frac{1}{c}H_D^φf\leq H_D^ψf\leq c H_D^φf.$$
This paper investigates a numerical probabilistic method for the solution of some semilinear stochastic partial differential equations (SPDEs in short). The numerical scheme is based on discrete time approximation for solutions of systems of decoupled forward-backward doubly stochastic differential equations. Under standard assumptions on the parameters, the convergence and the rate of convergence of the numerical scheme is proven. The proof is based on a generalization of the result on the path regularity of the backward equation.
We study the homogenization problem of semi linear reflected partial differential equations (reflected PDEs for short) with nonlinear Neumann conditions. The non-linear term is a function of the solution but not of its gradient. The proof are fully probabilistic and uses weak convergence of associated reflected generalized backward differential stochastic equations (reflected GBSDEs in short).
Semilinear stochastic evolution equations with multiplicative Lévy noise and monotone nonlinear drift are considered. Unlike other similar work we do not impose coercivity conditions on coefficients. Existence and uniqueness of the mild solution is proved using an iterative method. The continuity of the solution with respect to initial conditions and coefficients is proved and a sufficient condition for exponential asymptotic stability of the solutions has been derived. The solutions are proved to have a Markov property. Examples on stochastic partial differential equations and stochastic dela…
Explicit stabilized integrators are an efficient alternative to implicit or semi-implicit methods to avoid the severe timestep restriction faced by standard explicit integrators applied to stiff diffusion problems. In this paper, we provide a fully discrete strong convergence analysis of a family of explicit stabilized methods coupled with finite element methods for a class of parabolic semilinear deterministic and stochastic partial differential equations. Numerical experiments including the semilinear stochastic heat equation with space-time white noise confirm the theoretical findings.
We study the Cauchy problem for Schrödinger type stochastic partial differential equations with uniformly bounded coefficients on a curved space. We give conditions on the coefficients, on the drift and diffusion terms, on the Cauchy data, and on the spectral measure associated with the noise, such that the Cauchy problem admits a unique function-valued mild solution in the sense of Da Prato and Zabczyc.
