Abstract
This paper deals with a new class of reflected backward stochastic differential equations driven by countable Brownian motions. The existence and uniqueness of the RBSDEs are obtained via Snell envelope and fixed point theorem.
1. Introduction
The nonlinear backward stochastic differential equations (BSDEs in short) were introduced by Pardoux and Peng [1], who proved the existence and uniqueness of the solution under the Lipschitz conditions for giving the probabilistic interpretation of semilinear parabolic partial differential equations. Since then, many authors were devoted to studying the BSDEs (see, e.g., [2–8] and the references therein). At present, the theory of BSDEs becomes a powerful tool to solve practical matters. In 1994, Pardoux and Peng [9] firstly studied the backward doubly stochastic differential equations (BDSDEs in short), which are driven by two kinds of Brownian motions. Later, Boufoussi et al. [10] established the connection between a class of generalized BDSDEs and semilinear stochastic partial differential equations with a Neumann boundary condition.
Reflected backward differential equations (RBSDEs in short) were introduced by El Karoui et al. [11]. Later, many researchers discussed various kinds of RBSDEs for their deep application in mathematical finance and partial differential equations. Ren and Hu [12] proposed the RBSDEs, driven by Teugels martingales and Brownian motion, and derived the existence and uniqueness of the solution by means of the Snell envelope and the fixed point theorem when the barrier was right continuous with left limits. Ren and El Otmani [13] discussed the generalized reflected BSDEs driven by Lévy process. Recently, Ren et al. [14] studied a new class of reflected backward doubly stochastic differential equations driven by Lévy process and Brownian motion.
As in all the previous works, the equations are driven by finite Brownian motions. To the best of our knowledge, there are no papers on the reflected backward stochastic differential equations driven by countable Brownian motions. In this paper, we aim to derive the existence and uniqueness of the solution for the RBSDEs driven by countable Brownian motions.
The structure of the paper is organized as follows. In Section 2, we give some notations. Section 3 is devoted to the main result.
2. Notations
Let be a positive constant. Throughout the paper is a complete probability space equipped with the natural filtration satisfying the usual conditions. are mutual independent one-dimensional standard Brownian motions on the probability space. is a standard Brownian motion on which is independent of . Assume that where for any process , , , and denotes the class of -null sets of .
For the convenience, let us introduce some spaces: (i) : an -progressively measurable, -valued process such that ;(ii) : an -progressively measurable, -valued continuous process such that ;(iii) : an -adapted, continuous, increasing process such that .
With the previous preparations, we consider the following RBSDEs: where and .
Definition 1. A solution of (2) is a triple of value process , which satisfies (2), and (i); (ii); (iii) is a continuous and increasing process with and .
In order to get the solution of (2), we propose the following assumptions: (H1) is an measurable square integrable random variable; (H2) the obstacle is an -progressive measurable continuous real valued process which satisfies . We always assume that , a.s.; (H3) and are two progressive measurable functions such that, for any , , , (3a) is continuous and ; (3b), ; (3c), , where , , , and are nonnegative constants with and .
3. Main Result
In order to get the solution of (2), we consider the following RBSDEs driven by finite Brownian motions:
Firstly, we consider a special case of (3); that is, the functions and do not depend on :
We will get the existence and uniqueness of the solution of (4) by means of Snell envelope and martingale representation theorem.
Theorem 2. Assume that (H1)-(H2), , . Then, there exists a triple which is a solution of (4).
Proof. Let
and we define as
Then, is -adapted continuous process; furthermore;
So, the Snell envelope of is given by
where is the set of all stopping time such that .
By the definition of , we can deduce that
Due to the Doob-Meyer decomposition, we have
where is a -adapted, continuous, and nondecreasing process such that and . So, we have
Martingale representation theorem yields that there exists -progressive measurable process such that
Let ; then,
Therefore,
By the definitions of and , ,
So, we have .
Finally, from Hamadène [15], we get ; that is,
It shows that the process is a solution of (4).
Theorem 3. Under the assumptions of (H1)–(H3), there exists a unique solution of (3).
Proof. Let be endowed with the norm
for a suitable constant . We define the map from into itself and and are two elements of . Define , , where and are solutions of (4) associated with , and , respectively. Set and
If we define , when , then, . Applying Itô formula to , we have
Taking expectation on both sides of (19) and noticing that , we have
Let , , , and ; we have
that is,
It follows that is a strict contraction on with the norm , where is defined as above. Then, has a fixed point which is the unique solution of (4) from the Burkholder-Davis-Gundy inequality.
With all the preparations, we will give the main result of this paper as follows.
Theorem 4. Under the conditions of (H1)–(H3), there exists a unique solution of (2).
Proof (existence). By Theorem 3, for any , there exists a unique solution of (3), denoted by ,
In the following parts, we will claim that is a Cauchy sequence in . Without loss of generality, we let . Applying general Itô formula to , we have.
Taking expectation on both sides of (24) and noting that , we obtain
By (H3) and elementary inequality , , we obtain
Furthermore,
where .
By Gronwall’s inequality and Burkholder-Davis-Gundy inequality, we have
Denote the limit of by ; we will show that satisfies (2). If it is necessary, we can choose a subsequence of (3). By Hölder’s inequality,
From (27), we know
and , a.e., so
For any ,
Then, we have
From (H4), it follows
Applying Lebesgue dominated convergence theorem, we deduce that is the solution of (2) by continuity of the functions and .
Uniqueness. Let () be two solutions of (2), , . We apply Itô formula to , for any ,
Taking expectation on both sides of (35),
Let , and applying monotone convergence theorem, we have
When is taken sufficiently large, we have , a.e., for all . So, we have , a.e. Then, we complete the proof.
Acknowledgments
The authors would like to take this chance to express their sincere gratitude to the National Natural Science Foundation of China (11201004 and 11371029), Natural Science Foundation of Anhui Province (KJ2011B176 and KJ2013B288), Professors(Doctors) Scientific Research Foundation of Suzhou University (2013jb04), and Foundation of Laboratory of Intelligent Information Processing of Suzhou University (2010YKF11).