We formulate a new class of stochastic partial differential
equations (SPDEs), named high-order vector backward SPDEs
(B-SPDEs) with jumps, which allow the high-order integral-partial
differential operators into both drift and diffusion coefficients.
Under certain type of Lipschitz and linear growth conditions, we
develop a method to prove the existence and uniqueness of adapted
solution to these B-SPDEs with jumps. Comparing with the existing
discussions on conventional backward stochastic (ordinary)
differential equations (BSDEs), we need to handle the
differentiability of adapted triplet solution to the B-SPDEs with
jumps, which is a subtle part in justifying our main results due to
the inconsistency of differential orders on two sides of the B-SPDEs
and the partial differential operator appeared in the diffusion
coefficient. In addition, we also address the issue about the
B-SPDEs under certain Markovian random environment and employ a
B-SPDE with strongly nonlinear partial differential operator in the
drift coefficient to illustrate the usage of our main results in
Key words and phrases: Backward Stochastic Partial
Differential Equations with Jumps, High-Order Partial Differential
Operator, Vector Partial Differential Equation, Existence and Uniqueness,
A New Class of Backward Stochastic Partial Differential Equations with Jumps and Applications
Department of Mathematics
Nanjing University, Nanjing 210093, China
Date: 5 May 2011
Motivated from mean-variance hedging (see, e.g., Dai ) and utility based optimal portfolio choice (see, e.g., Becherer , Musiela and Zariphopoulou ) in finance, and multi-channel (or multi-valued) image regularization such as color images in computer vision and network application (see, e.g., Caselles et al. , Tschumperlé and Deriche [33, 34, 35], and references therein), we formulate a new class of SPDEs, named high-order vector B-SPDEs with jumps, which allow high-order integral-partial differential operators and into both drift and diffusion coefficients as shown in the following equation (1.1),
where the operator depends not only on but also on their associated partial derivatives, i.e., for each integer and , and are defined by
Under certain type of Lipschitz and linear growth conditions, we prove the existence and uniqueness of adapted triplet solution to these B-SPDEs. When the partial differential operator depends only on , and but not on their associated derivatives and , our B-SPDEs with jumps reduce to conventional BSDEs with jumps (see, e.g., Becherer , Dai , Tang and Li ).
BSDEs were first introduced by Bismut  and the first result for the existence of an adapted solution to a continuous nonlinear BSDE was obtained by Pardoux and Peng . Since then, numerous extensions along the line have been conducted, such as, Tang and Li  get the first adapted solution to a BSDE with Poisson jumps for a fixed terminal time and Situ  extended the result to the case where the BSDE is with bounded random stopping time as its terminal time and non-Lipschitz coefficient. Currently, BSDEs are still an active area of research in both theory and applications, see, e.g., Becherer , Cohen and Elliott , Crépey and Matoussi , Dai , Lepeltier et al. , Yin and Mao , and references therein.
The study on SPDEs receives a great attention recently (see, e.g., Pardoux  and Hairer ). Particularly, Pardoux and Peng  introduces a system of semi-linear parabolic SPDE in a backward manner and establish the existence and uniqueness of adapted solution to the SPDE under smoothness assumptions on the coefficients, and moreover, the authors in  also employ backward doubly SDEs (BDSDE) to provide a probabilistic representation for the parabolic SDE. Since then, numerous researches have been conducted in terms of weak solution and stationary solution to the semi-linear SPDE (see, e.g., Bally and Matoussi , Zhang and Zhao , and references therein). However, our B-SPDEs exhibited in (1.1) are fundamentally different from the SPDEs as introduced in Pardoux and Peng  and as studied in most of the existing researches in the following aspects: First, our system formulation is a direct generalization of the conventional BSDEs, i.e., both the drift and diffusion coefficients of our B-SPDEs depend on the triplet and its associated partial derivatives not just on and its associated partial derivatives; Second, our B-SPDEs are based on high-order partial derivatives and are subject to jumps. One special case of our B-SPDEs available in the literature is the one derived in Musiela and Zariphopoulou  for the purpose of optimal-utility based portfolio choice, which is strongly nonlinear in the sense that is addressed in Lions and Souganidis .
Note that the B-SPDEs presented in (1.1) are vector B-SPDEs with jumps, which are motivated from various aspects such as multi-channel image regularization in computer vision and network application through vector PDEs (see, e.g., Caselles et al. , Tschumperlé and Deriche [33, 34, 35], and references therein), coupling and synchronization in random dynamic systems through vector SPDEs (see, e.g., Mueller , Chueshov and Schmalfu , and references therein).
To show our formulated system well-posed, we develop a method based on a scheme used for conventional BSDEs (see, e.g., Yong and Zhou ) to prove the existence and uniqueness of adapted solution to our B-SPDEs with jumps in (1.1) under certain Lipschitz and linear growth conditions. One fundamental issue we need to handle in the method is the differentiability of the triplet solution to our B-SPDEs with jumps, which is a subtle part in the analysis due to the inconsistency of differential orders on two sides of the B-SPDEs and the partial differential operators appeared in the diffusion coefficient. So more involved functional spaces and techniques are required. In addition, although there is no perfect theory in dealing with the strongly nonlinear SPDEs (see, e.g., Pardoux ), our discussions about the adapted solution to (1.1) can provide some reasonable interpretation concerning the unique existence of adapted solution before a random bankruptcy time to the strongly nonlinear B-SPDE derived in Musiela and Zariphopoulou .
In the paper, we also provide some discussion concerning our B-SPDEs under random environment, e.g., the variable in (1.1) is replaced by a continuous Markovian process . To be convenient for readers, we present a rough graph in Figure 1 with respect to sample surfaces for a solution to a B-SPDE and in terms of sample curves for a solution to the B-SPDE under random environment.
The rest of the paper is organized as follows. In Section 2, we first introduce a class of B-SPDEs with jumps in finite space domain, then we state and prove our main theorem. In Section 3, we extend our discussions in the previous section to the case corresponding to infinite space domain and under random environment. In Section 4, we use an example to illustrate the usage of our main results in finance.
2 A Class of B-SPDEs with Jumps in Finite Space Domain
2.1 Required Probability and Functional Spaces
First of all, we introduce some notations to be used in the paper. Let be a fixed complete probability space on which are defined a standard -dimensional Brownian motion with and dimensional subordinator with and càdlàg sample paths for some fixed (see, e.g., Applebaum , Bertoin , and Sato  for more details about subordinators and Lévy processes), where the prime denotes the corresponding transpose of a matrix or a vector. Moreover, , and their components are assumed to be independent of each other. In addition, each subordinator with can be represented by (see, e.g., Theorem 13.4 and Corollary 13.7 in Kallenberg )
where denotes a Poisson random measure with a deterministic, time-homogeneous intensity measure , where is the index function over the set , the constant is taken to be zero, and is the Lévy measure. Related to the probability space , we suppose that there is a filtration with for each , , and .
Secondly, let and be a close connected domain in for a given . Then we can use for each to denote the Banach space of all functions having continuous derivatives up to the order with the following uniform norm,
for each , where for each is the total number of the following partial derivatives of the order
with , , , and . Moreover, for the late purpose, we let
where each corresponds to a -tuple and a . In addition, let denote the following Banach space, i.e.,
for some discrete function with respect to , which is fast decaying in . For convenience, we take .
Thirdly, we introduce some measurable spaces to be used in the sequel. Let denote the set of all -valued measurable stochastic processes adapted to for each , which are in for each fixed ), such that
and let denote the corresponding set of predictable processes (see, e.g., Definition 5.2 and Definition 1.1 respectively in pages 21 and 45 of Ikeda and Watanabe ). Moreover, let denote the set of all -valued, -measurable random variables for each , where satisfies
In addition, let be the set of all -valued predictable processes for each and , satisfying
with the associated norm for any and as follows,
In the end, we define
2.2 The B-SPDEs
First of all, we introduce a class of -dimensional B-SPDEs with jumps and terminal random variable for each as presented in (1.1), where for each and ,
Moreover, in (1.1), is a -dimensional integral-partial differential operator satisfying, a.s.,
for any , with , where depending on the domain is a nonnegative constant, is the largest absolute value of entries (or components) of the given matrix (or vector) , and
Similarly, is a -dimensional partial differential operator satisfying, a.s.,
Moreover, we suppose that
We divide the proof of Theorem 2.1 into the following three lemmas.
Under the conditions of Theorem 2.1, for each fixed , , and a triplet
there exists another triplet such that
where is a -adapted càdlàg process, and are the corresponding predictable processes, and for each ,
Now consider and in (2.27) as two new starting and , then it follows from the Martingale representation theorem (see, e.g., Lemma 2.3 in Tang and Li ) that there exists a unique pair of predictable processes which are square-integrable for each in the senses of (2.25)-(2.26) such that
which implies that
Moreover, due to the Corollary in page 8 of Protter , can be taken as a càdlàg process. Now we define a process as follows,
which indicates that is a càdlàg process. Furthermore, for a given triplet , , it follows from (2.28)-(2.29) and (2.31) that the corresponding triplet satisfies the equation (2.23) as stated in the lemma, which also implies that
Hence we complete the proof of Lemma 2.1.
Proof. First of all, we show that the claim in the lemma is true for . To do so, for each given and as in the lemma, let
be defined through (2.23) where and are replaced by their first-order partial derivatives and in terms of with . Then we can show that the triplet defined in (2.34) for each is indeed the required first-order partial derivative of that is defined through (2.23) for the given .
As a matter of fact, for each , small enough positive constant , and , define
where is the unit vector whose th component is one and others are zero. Moreover, let
for each . In addition, let
for each . Then, by applying the Ito’s formula (see, e.g., Theorem 1.14 and Theorem 1.16 in pages 6-9 of ksendal and Sulem ) to the function
for some , where Tr denotes the trace of the matrix for a given matrix , we have
if, in the last equality, we take
where is a martingale of the following form,