Review of Local and Global Existence Results for Stochastic Pdes with Lévy Noise
Total Page:16
File Type:pdf, Size:1020Kb
DISCRETE AND CONTINUOUS doi:10.3934/dcds.2020241 DYNAMICAL SYSTEMS Volume 40, Number 10, October 2020 pp. 5639–5710 REVIEW OF LOCAL AND GLOBAL EXISTENCE RESULTS FOR STOCHASTIC PDES WITH LÉVY NOISE Justin Cyr1, Phuong Nguyen1;2, Sisi Tang1 and Roger Temam1;∗ 1 Department of Mathematics Indiana University Swain East Bloomington, IN 47405, USA 2 Department of Mathematics and Statistics Texas Tech University Lubbock, TX 79409, USA (Communicated by Nikolay Tzvetkov) Abstract. This article is a review of Lévy processes, stochastic integration and existence results for stochastic differential equations and stochastic partial differential equations driven by Lévy noise. An abstract PDE of the typical type encountered in fluid mechanics is considered in a stochastic setting driven by a general Lévy noise. Existence and uniqueness of a local pathwise solution is established as a demonstration of general techniques in the area. 1. Introduction. In this article we review results of existence and uniqueness of local pathwise solutions to stochastic partial differential equations (SPDEs) driven by a Lévy noise. Lévy processes are canonical generalizations of Wiener processes that possess jump discontinuities. Lévy noise is fitting in stochastic models of fluid dynamics as a way to represent interactions that occur as abrupt jolts at random times, such as bursts of wind. Models based on SPDEs with Lévy noise have been used to describe observational records in paleoclimatology in [14], with the jump events of the Lévy noise proposed as representing abrupt triggers for shifts between glacial and warm climate states. The articles [40] and [24] use processes with jumps to model phase transitions in bursts of wind that contribute to the dynamics of El Niño. In addition, [36] uses processes with jumps to model phase transitions in precipitation dynamics. See [31] for a comparison of Wiener noise and Lévy noise in modeling climate phenomena. As the body of work and interest in SPDEs with Lévy noise is growing, see e.g., [5], [6], [7], [9], [28], [29]; see also the book [13] and the book [32] by Peszat and Zabczyk, we feel it is useful to present foundational existence results for SPDEs with Lévy noise along with more specialized techniques that have been used in fluid dynamics together in a synthetic form. As the backdrop of this review we establish existence and uniqueness of local pathwise solutions to an SPDE of a typical form encountered in fluid dynamics 2020 Mathematics Subject Classification. Primary: 35R60, 60H15; Secondary: 60G51, 60H10. Key words and phrases. Stochastic partial differential equations, Lévy noise, pathwise solu- tions, Galerkin approximation, Poisson random measure. The authors are supported by NSF grant DMS-1510249. ∗ Corresponding author. 5639 5640 JUSTIN CYR, PHUONG NGUYEN, SISI TANG AND ROGER TEMAM driven by a Lévy noise. The equation is written in the abstract form 8 du + [Au + B(u; u) + F (u)] dt = G(u) dW (t) + R K(u(t−); ξ) dπ(t; ξ) > E0 b < R + EnE K(u(t−); ξ) dπ(t; ξ); (1) > 0 :u(0) = u0; where u takes values in a real, separable Hilbert space H. On the left-hand side of (1), A is a generally unbounded linear operator on H, B is a bilinear form of the type often encountered in fluid dynamics and F is a locally Lipschitz function. The terms on the right-hand side of (1) are stochastic integrals that represent the effects of a Lévy noise. First on the right-hand side of (1) is stochastic integration with respect to a Wiener process. Second and third on the right-hand side of (1) are the discontinuous parts of the Lévy noise, representing the bounded and unbounded jumps, respectively. The abstract setting of equation (1) includes long-studied examples in fluid me- chanics such as the Navier-Stokes equations in 2D and the primitive equations of the atmosphere and the oceans, as in e.g [12]; see also [29] – although we do not treat the primitive equations explicitly in this article. We adopt an abstract frame- work as a vehicle for presenting general arguments that, we hope, can be modified to settings outside the scope of equation (1) presented here. As an extension of the scope presented here, a subset of the authors consider in [37], [30], the case where F is a more general monotone operator than that considered here in Part2. While solving equation (1) serves as the backdrop of this article, particular at- tention is given to a detailed treatment of well-known global and local existence and uniqueness results for stochastic differential equations with Lévy noise in fi- nite dimensions. We include these well-known results in Part1 of the article for completeness in our treatment of equation (1) in Part2 and also to demonstrate natural techniques for establishing local and global existence. The foundational existence results covered in Part1 of the article will be invoked in Part2 to establish existence and uniqueness of approximate solutions (1) in a Galerkin ap- proximation scheme. We believe that a presentation of well-known and practical existence results along with an application in solving an SPDE such as (1) could act as a bridge into the subject of SPDEs with Lévy noise for experts in PDEs. The treatment of equation (1) in this article is similar in several ways to the analysis in the Wiener noise case, i.e., equation (1) with K = K = 0, which was carried out in [12]. As usual we cut off the nonlinear term B. As in [12] we choose to truncate the distance, in a certain space, between u and the solution u∗ to the linearized equation ( du + Au dt = 0; ∗ ∗ (2) u∗(0) = u0: This type of truncation allows local solutions to equation (1) to exist up to a stop- ping time that is positive a.s., regardless of the size of the initial data u0, using the fact that u and u∗ agree at time t = 0. The overall strategy of the Galerkin scheme is analogous to [12]. We establish uniform bounds on the Galerkin approximations in the same spaces, obtain tightness of the laws of the Galerkin approximations and use the Skorohod coupling theorem to pass to the limit and obtain a martingale so- lution to a truncated version of equation (1). However, the implementation of these steps is necessarily different from the Wiener noise case considered in [12] because of the discontinuity of the Lévy noise. A classical compactness result used in the REVIEW OF EXISTENCE RESULTS FOR SPDES WITH LÉVY NOISE 5641 Wiener noise case that relies on continuity in time is replaced by a probabilistic compactness result. In a way similar to [7], [9] and [29] we establish tightness of the laws of the Galerkin approximations using a sufficient condition proved by Aldous in [1] for tightness of measures on the space of càdlàg functions endowed with the Skorohod topology. Also as in [7], [9] and [29] we apply a modified version of the Skorohod coupling theorem to facilitate the passage to the limit in the discontinuous stochastic integral terms on the right-hand side of (1). The article is organized into Parts1 and2, with background for the stochastic setting reviewed in Part1 and existence and uniqueness for equation (1) established in Part2. We begin Part1 in Section2 by collecting background information on Lévy processes and the associated notions of stochastic integration, which appear on the right-hand side of equation (1); at times we refer here to [8]. In Section3 we consider an SDE of the form ( dY = F (s; Y (s−)) ds + G(s; Y (s−)) dW (s) + R K(s; Y (s−); ξ) dπ(s; ξ); E0 b Y (0) = Y0; (3) which, in the absence of a stochastic integral with respect to dπ, is driven by a Lévy process that possesses only jumps of small (i.e., bounded) size. Lévy noise with unbounded jumps may be incorporated once existence with bounded jumps is established using a standard argument known as piecing-out, or interlacing, the jumps. Indeed, in our approach to solving equation (1) the unbounded jumps of the Lévy noise are absent until the piecing-out argument is presented at the very end of the article. We begin in Subsection 3.1 by imposing global Lipschitz and linear growth conditions on F , G and K and establishing global existence and uniqueness of a solution Y , as well as continuity on initial data. In Subsection 3.2 we establish existence and uniqueness of a local solution to (3), i.e., a solution up to a stopping time τ that is positive a.s., under local Lipschitz and linear growth conditions on F , G and K. The results of Section3 will serve as a main tool in implementing a Galerkin scheme for solving equation (1). Part2, where the focus of the article turns to equation (1), begins in Section 4. We state the precise assumptions that will be imposed on the terms A, B, F , G, K and K that appear in (1) in Subsection 4.1. The main result, which is existence and uniqueness of a local pathwise solution to the abstract equation (1), is stated as Theorem 4.3 in Subsection 4.2 after the precise notion of pathwise solution is defined. In Subsection 4.3 we introduce truncated versions of equation (1), with K = 0 among other modifications, that will be solved as steps toward establishing the main result. We also define martingale solutions, a weaker type of solution than pathwise that will be obtained as an intermediate step. In Section5 we n 1 define Galerkin approximations (u )n=1 to the truncated equation. We establish n 1 bounds, that are independent of n, on the Galerkin approximations (u )n=1 in Subsection 5.1.