Journal of Applied Mathematics and Stochastic Analysis
Volume 2009 (2009), Article ID 854768, 26 pages
doi:10.1155/2009/854768
Research Article

On Variant Reflected Backward SDEs, with Applications

1Department of Mathematics, University of Southern California, Los Angels, CA 90089, USA
2Department of Mathematics, Purdue University, West Lafayette, IN 47907, USA

Received 11 December 2008; Accepted 11 March 2009

Academic Editor: Vo Anh

Copyright © 2009 Jin Ma and Yusun Wang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We study a new type of reflected backward stochastic differential equations (RBSDEs), where the reflecting process enters the drift in a nonlinear manner. This type of the reflected BSDEs is based on a variance of the Skorohod problem studied recently by Bank and El Karoui (2004), and is hence named the “Variant Reflected BSDEs” (VRBSDE) in this paper. The special nature of the Variant Skorohod problem leads to a hidden forward-backward feature of the BSDE, and as a consequence this type of BSDE cannot be treated in a usual way. We shall prove that in a small-time duration most of the well-posedness, comparison, and stability results are still valid, although some extra conditions on the boundary process are needed. We will also provide some possible applications where the VRBSDE can be potentially useful. These applications show that the VRBSDE could become a novel tool for some problems in finance and optimal stopping problems where no existing methods can be easily applicable.

1. Introduction

In this paper we study a new type of reflected backward stochastic differential equations based on the notion of variant Skorohod problem introduced recently by Bank and El Karoui [1], as an application of a stochastic representation theorem for an optional process. Roughly speaking, the Variant Skorohod Problem states the following.

For a given optional process   𝑋 of class (D), null at   𝑇 , find an   𝔽 -adapted, right-continuous, and increasing process   𝐴 = { 𝐴 𝑡 } 𝑡 0   with   𝐴 0 = , such that

(i) 𝑌 𝑡 Δ = 𝐸 { 𝑇 𝑡 𝑓 ( 𝑠 , 𝐴 𝑠 ) 𝑑 𝑠 | 𝑡 } 𝑋 𝑡 , 𝑡 [ 0 , 𝑇 ] , P-a.s.;(ii) 𝐸 𝑇 0 | 𝑌 𝑡 𝑋 𝑡 | 𝑑 𝐴 𝑡 = 0 .

The condition (ii) above is called the flat-off condition. If we assume further that 𝔽 is generated by a Brownian motion 𝐵 , then it is easily seen that the problem is equivalent to:

Finding a pair of processes   ( 𝐴 , 𝑍 ) ,   where  A  is increasing and Z is square integrable, such that 𝑌 𝑡 = 𝑇 𝑡 𝑓 𝑠 , 𝐴 𝑠 𝑑 𝑠 𝑇 𝑡 𝑍 𝑠 𝑑 𝐵 𝑠 𝑋 𝑡 , 0 𝑡 𝑇 , ( 1 . 1 ) and that the flat-off condition (ii) holds.

We note that the stochastic representation theorem proposed in [1] has already found interesting applications in various areas, such as nonlinear potential theory [2], optimal stopping, and stochastic finance (see, e.g., [3, 4]). However, to date the extension of the Variant Skorohod Problem to the form of an SDE is essentially open, partly due to the highly technical nature already exhibited in its most primitive form.

In this paper we are interested in the following extension of the Variant Skorohod Problem: Let 𝑋 = { 𝑋 𝑡 } 𝑡 0 be an optional process of class (D), and let 𝑓 Ω × [ 0 , 𝑇 ] × × × be a random field satisfying appropriate measurability assumptions. Consider the following backward stochastic differential equation (BSDE for short): for 𝑡 [ 0 , 𝑇 ] , 𝑌 𝑡 𝑋 = 𝐸 𝑇 + 𝑇 𝑡 𝑓 𝑠 , 𝑌 𝑠 , 𝐴 𝑠 𝑑 𝑠 𝑡 , ( 1 . 2 ) where the solution ( 𝑌 , 𝐴 ) is defined to be such that

(i) 𝑌 𝑡 𝑋 𝑡 , 0 𝑡 𝑇 ; 𝑌 𝑇 = 𝑋 𝑇 ;(ii) 𝐴 = { 𝐴 𝑡 } is an adapted, increasing process such that 𝐴 Δ 0 = , and the flat-off condition holds: 𝐸 𝑇 0 | | 𝑌 𝑡 𝑋 𝑡 | | 𝑑 𝐴 𝑡 = 0 . ( 1 . 3 )

Again, if the filtration 𝔽 is generated by a Brownian motion 𝐵 , then we can consider an even more general form of BSDE as extension of (1.1): 𝑑 𝑌 𝑡 = 𝑓 𝑡 , 𝑌 𝑡 , 𝑍 𝑡 , 𝐴 𝑡 𝑑 𝑡 + 𝑍 𝑡 𝑑 𝑊 𝑡 , 𝑌 𝑡 𝑋 𝑡 [ ] , 𝑡 0 , 𝑇 , 𝑌 𝑇 = 𝑋 𝑇 , ( 1 . 4 ) where 𝐴 is an increasing process satisfying the flat-off condition, and ( 𝑌 , 𝑍 ) is a pair of adapted process satisfying some integrable conditions. Hereafter we will call BSDE (1.2) and (1.4) the Variant Reflected Backward Stochastic Differential Equations (VRBSDEs for short), for the obvious reasons. We remark that although the “flat-off’’ condition (iii) looks very similar to the one in the classic Skorohod problem, there is a fundamental difference. That is, the process 𝐴 cannot be used as a measure to directly “push’’ the process 𝑌 downwards as a reflecting process usually does, but instead it has to act through the drift 𝑓 , in a sense as a “density’’ of a reflecting force. Therefore the problem is beyond all the existing frameworks of the reflected SDEs.

Our first task in this paper is to study the well-posedness of the VRBSDE. It is worth noting that the fundamental building block of the nonlinear Skorohod problem is a representation theorem, which in essence is to find an optional process 𝐿 so that the given optional obstacle process 𝑋 can be written as 𝑋 𝑆 = 𝐸 𝑇 𝑆 𝑓 𝑢 , s u p 𝑆 𝑣 𝑢 𝐿 𝑣 𝑑 𝑢 𝑆 , ( 1 . 5 ) for all stopping time 𝑆 taking values in [ 0 , 𝑇 ] . In fact, the “reflecting’’ process 𝐴 is exactly the running maximum of the process 𝐿 . Consequently, while (1.2) and (1.4) are apparently in the forms of BSDEs, they have a strong nature of a forward-backward SDEs. This brings in some very subtle difficulties, which will be reflected in our results. We would like to mention that the main difficulty here is to find a control for the reflecting process 𝐴 . In fact, unlike the classic Skorohod problem, the characterization of reflecting process 𝐴 is far more complicated, and there is no simple way to link it with the solution process 𝑌 . We will prove, nevertheless, that the SDE is well-posed over a small-time duration, and a certain continuous dependance and comparison theorems are still valid.

The second goal of this paper is to present some possible applications where the VRBSDE could play a role that no existing methods are amenable. In fact, the form of the VRBSDE (1.2) suggests that the process 𝑌 can be viewed as a stochastic recursive intertemporal utility (see, e.g., [5]). We will show that if we consider the utility optimization problem with Hindy-Kreps-Huang type preference (see, e.g., [1, 6, 7]), and the goal is minimizing such a utility while trying to keep it aloft, then the optimal solution will be given by solving a VRBSDE with the given lower boundary. To our best knowledge, such a result is novel. Another possible application of the VRBSDE that will be explored in the paper is a class of optimal stopping problems. We show that the solution to our VRBSDE can be used to describe the value function of a family of optimal stopping problems, and the corresponding reflecting process can be used as a universal signal of exercise time, which extends a result of Bank-Föllmer [3] to an SDE setting.

The rest of the paper is organized as follows. In Section 2 we revisit the stochastic representation theorem, and give the detailed formulation of the VRBSDE. In Section 3 we study the well-posedness of the equation. In Sections 4 and 5 we study the comparison theorem and the continuous dependence results. Finally we present some possible applications of VRBSDEs in the utility minimization problems and a class of optimal stopping problems in Section 6.

2. Formulation of the Variant RBSDE

Throughout this paper we assume that ( Ω , , 𝑃 ; 𝔽 ) is a filtered probability space, where 𝔽 Δ = { 𝑡 } 0 𝑡 𝑇 is a filtration that satisfies the usual hypothses. For simplicity we assume that = 𝑇 . In the case when the filtration 𝔽 is generated by a standard Brownian motion 𝐵 on the space ( Ω , , 𝑃 ) , we say that 𝔽 is “Brownian’’ and denote it by 𝔽 = 𝔽 𝐵 . We will always assume that 𝔽 𝐵 is augmented by all the 𝑃 -null sets in .

We will frequently make use the following notations. Let

(i) 𝕃 𝑇 be the space of all 𝑇 measurable bounded random variables,(ii) 𝑇 the space of all -valued, progressively measurable, bounded processes, (iii) 2 𝑇 the space of all 𝑑 -valued, progressively measurable process 𝑍 , such that 𝐸 𝑇 0 | 𝑍 2 𝑠 | 𝑑 𝑠 < ,(iv) 0 , 𝑇 the set of all the stopping times taking values in [ 0 , 𝑇 ] .

Similar to the Variant Skorohod Problem, a VRBSDE involves two basic elements: ( 1 ) a boundary process 𝑋 = { 𝑋 𝑡 , 0 𝑡 𝑇 } which is assumed to be an optional process of class (D) (A process 𝑋 is said to belong to Class (D) on [ 0 , 𝑇 ] if the family of random variables { 𝑋 𝜏 𝜏 0 , 𝑇 } is uniformly integrable), and is lower-semicontinuous in expectation; and ( 2 ) a drift coefficient 𝑓 . In this paper we will focus only on the case where 𝑓 is independent of 𝑧 , and we assume that it satisfies the following Standing Assumptions:

(H1) the coefficient 𝑓 [ 0 , 𝑇 ] × Ω × × × enjoys the following properties:

(i)for fixed 𝜔 Ω , 𝑡 [ 0 , 𝑇 ] , and 𝑦 , the function 𝑓 ( 𝜔 , 𝑡 , 𝑦 , ) is continuous and strictly decreasing from + to , (ii)for fixed 𝑦 , 𝑙 3 , the process 𝑓 ( , , 𝑦 , 𝑙 ) is progressively measurable with 𝐸 𝑇 0 | | | | 𝑓 ( 𝑡 , 𝑦 , 𝑙 ) 𝑑 𝑡 + , ( 2 . 1 ) (iii)there exists a constant 𝐿 > 0 , such that for all fixed 𝑡 , 𝜔 , 𝑙 it holds that | | 𝑓 𝑡 , 𝜔 , 𝑦 | | | | 𝑦 , 𝑙 𝑓 ( 𝑡 , 𝜔 , 𝑦 , 𝑙 ) 𝐿 | | 𝑦 , 𝑦 , 𝑦 , ( 2 . 2 ) (iv) there exist two constants 𝑘 > 0 and 𝐾 > 0 , such that for all fixed 𝑡 , 𝜔 , 𝑦 it holds that 𝑘 | | 𝑙 | | | | 𝑓 𝑙 𝑡 , 𝑦 , 𝑙 | | | | 𝑙 𝑓 ( 𝑡 , 𝑦 , 𝑙 ) 𝐾 | | 𝑙 , 𝑙 , 𝑙 . ( 2 . 3 )

We remark that the assumption (iv) in (H1) amounts to saying that the derivative of 𝑓 with respect to 𝑙 , if exists, should be bounded from below. While this is merely technical, it also indicates that we require a certain sensitivity of the solution process 𝑌 with respect to the reflection process 𝐴 . This is largely due to the nonlinearity between the solution and the reflecting process, which was not an issue in the classical Skorohod problem.

We now introduce our variant reflected BSDE. Note that we do not assume that the filtration 𝔽 is Brownian at this point.

Definition 2.1. Let 𝜉 𝕃 𝑇 and the boundary process 𝑋 be given. A pair of processes ( 𝑌 , 𝐴 ) is called a solution of Variant Reflected BSDE with terminal value 𝜉 and boundary 𝑋 if (i) 𝑌 and 𝐴 are 𝔽 -adapted processes with càdlàg paths;(ii) 𝑌 𝑡 = 𝐸 { 𝜉 + 𝑇 𝑡 𝑓 ( 𝑠 , 𝑌 𝑠 , 𝐴 𝑠 ) 𝑑 𝑡 𝑡 } ;(ii) 𝑌 𝑡 𝑋 𝑡 , 0 𝑡 𝑇 ; 𝑌 𝑇 = 𝑋 𝑇 = 𝜉 ;(iv) the process 𝐴 is 𝔽 -adapted, increasing, càdlàg, and 𝐴 Δ 0 = , such that the “flat-off’’ condition holds: 𝐸 𝑇 0 | | 𝑌 𝑡 𝑋 𝑡 | | 𝑑 𝐴 𝑡 = 0 . ( 2 . 4 )

Remark 2.2. The assumption 𝐴 0 = has an important implication: the solution 𝑌 must satisfy 𝑌 0 = 𝑋 0 . This can be deduced from the flat of condition (2.4), and the fact that 𝑑 𝐴 0 > 0 always holds. Such a fact was implicitly, but frequently, used in [1], and will be crucial in some of our arguments below.

We note that if we denote 𝑀 𝑡 = 𝐸 { 𝑇 0 𝑓 ( 𝑡 , 𝑌 𝑡 , 𝐴 𝑡 ) 𝑑 𝑡 𝑡 } , 𝑡 [ 0 , 𝑇 ] then 𝑀 is a martingale on [ 0 , 𝑇 ] , and the VRBSDE will read 𝑌 𝑡 = 𝜉 + 𝑇 𝑡 𝑓 𝑠 , 𝑌 𝑠 , 𝐴 𝑠 𝑀 𝑑 𝑡 𝑇 𝑀 𝑡 , 0 𝑡 𝑇 . ( 2 . 5 ) Thus if we assume further that the filtration is Brownian, than we can consider the more general form of VRBSDE.

Definition 2.3. Assume that the filtration 𝔽 = 𝔽 𝐵 , that is, it is generated by a standard Brownian motion 𝐵 , with the usual augmentation. Let 𝜉 𝕃 𝑇 and the boundary process 𝑋 be given. A triplet of processes { ( 𝑌 𝑡 , 𝑍 𝑡 , 𝐴 𝑡 ) , 0 𝑡 𝑇 } is called a solution of Variant Reflected BSDE with terminal value 𝜉 and boundary 𝑋 if(i) 𝑌 𝑇 , 𝑍 2 𝑇 , (ii) 𝑌 𝑡 = 𝜉 + 𝑇 𝑡 𝑓 ( 𝑠 , 𝑌 𝑠 , 𝑍 𝑠 , 𝐴 𝑠 ) 𝑑 𝑠 𝑇 𝑡 𝑍 𝑠 𝑑 𝐵 𝑠 , 0 𝑡 𝑇 , (iii) 𝑌 𝑡 𝑋 𝑡 , 0 𝑡 𝑇 ; 𝑌 𝑇 = 𝑋 𝑇 = 𝜉 , (iv) the process { 𝐴 𝑡 } is 𝔽 -adapted, increasing, càdlàg, and 𝐴 0 = , such that the flat-off condition holds: 𝐸 𝑇 0 | 𝑌 𝑡 𝑋 𝑡 | 𝑑 𝐴 𝑡 = 0 .

Our study of VRBSDE is based on a Stochastic Representation Theorem of Bank and El Karoui [1]. We summarize the stochastic representation and some related fact in the following theorem, which is slightly modified to suit our situation.

Theorem 2.4 (see, Bank-El Karoui [1]). Assume (H1)-(i), (ii). Then every optional process 𝑋 of class (D) which is lower semicontinuous in expectation admits a representation of the form 𝑋 𝑆 𝑋 = 𝐸 𝑇 + 𝑇 𝑆 𝑓 𝑢 , s u p 𝑆 𝑣 𝑢 𝐿 𝑣 𝑑 𝑢 𝑆 ( 2 . 6 ) for any stopping time 𝑆 0 , 𝑇 , where 𝐿 is an optional process taking values in { } , and it can be characterized as follows: (i) 𝑓 ( 𝑢 , s u p 𝑆 𝑣 𝑢 𝐿 𝑣 ) 𝐿 1 ( 𝑑 𝑡 ) for any stopping time 𝑆 ,(ii) 𝐿 𝑆 = e s s i n f 𝜏 > 𝑆 𝑙 𝑆 , 𝜏 , where the “ e s s i n f ’’ is taken over all stopping times 𝑆 0 , 𝑇 such that 𝑆 < 𝑇 , a.s.; and 𝑙 𝑆 , 𝜏 is the unique 𝑆 -measurable random variable satisfying: 𝐸 𝑋 𝑆 𝑋 𝜏 𝑆 = 𝐸 𝜏 𝑆 𝑓 𝑢 , 𝑙 𝑆 , 𝜏 𝑑 𝑢 𝑆 , ( 2 . 7 ) (iii) (Gittin Index) if 𝑉 ( 𝑡 , 𝑙 ) Δ = e s s i n f 𝜏 𝑡 𝐸 { 𝐸 𝜏 𝑡 𝑓 ( 𝑢 , 𝑙 ) 𝑑 𝑢 + 𝑋 𝜏 | 𝑡 } , 𝑡 [ 0 , 𝑇 ] , is the value functions of a family of optimal stopping problems indexed by 𝑙 , then 𝐿 𝑡 = s u p 𝑙 𝑉 ( 𝑡 , 𝑙 ) = 𝑋 𝑡 [ ] , 𝑡 0 , 𝑇 . ( 2 . 8 )

We should note here, unlike the original stochastic representation theorem in [1] where it assumed that 𝑋 𝑇 = 0 , we allow arbitrary terminal value for 𝑋 𝑇 . This can be obtained easily by considering a new process 𝑋 𝑡 Δ = 𝑋 𝑡 𝐸 [ 𝜉 𝑡 ] , 𝑡 0 . A direct consequence of the stochastic representation theorem is the following Variant Skorohod Problem, which is again slightly adjusted to our non-zero terminal value case.

Theorem 2.5. Assume (H1)-(i), (ii). Then for every optional process 𝑋 of class (D) which is lower semicontinuous in expectation, there exists a unique pair of adapted processes ( 𝑌 , 𝐴 ) , where 𝑌 is continuous and 𝐴 is increasing, such that 𝑌 𝑡 𝑋 = 𝐸 𝑇 + 𝑇 𝑡 𝑓 𝑠 , 𝐴 𝑠 𝑑 𝑠 𝑡 [ ] , 𝑡 0 , 𝑇 . ( 2 . 9 ) Furthermore, the process 𝐴 can be expressed as 𝐴 𝑡 = s u p 0 𝑠 𝑡 + 𝐿 𝑠 , where 𝐿 is the process in Theorem 2.4.

We conclude this section by making following observations. First, the random variable 𝑙 𝑆 , 𝜏 , defined by (2.7) is 𝑆 -measrable for any stopping time 𝜏 > 𝑆 , thus the process 𝑠 𝐿 𝑠 is 𝔽 -adapted. However, the running maximum process 𝐴 𝑡 Δ = s u p 0 𝑢 𝑡 + 𝐿 𝑢 depends on the whole path of process 𝐿 , whence 𝑋 . Thus, although the variant Skorohod problem (2.9) looks quite similar to a standard backward stochastic differential equation, it contains a strong “ forward-backward’’ nature. These facts will be important in our future discussions.

3. Existence and Uniqueness

In this section we study the well-posedness of the VRBSDE (2.4). We note that in this case we do not make any restriction on the filtration, as long as it satisfies the usual hypotheses.

We will follow the usual technique, namely the contraction mapping theorem, to attack the existence and uniqueness of the solution. It is worth noting that due to the strong forward-backward structure as well as the fundamental non-Markovian nature of the problem, a general result with arbitrary duration is not clear at this point. The results presented in this section will provide the first look at some basic features of such an equation.

We will make use of the following extra assumptions on the boundary process 𝑋 and the drift coefficient 𝑓 :

(H2) there exists a constant Γ > 0 , such that

(i) for any 𝑆 0 , 𝑇 , it holds that e s s s u p 𝜏 > 𝑆 𝜏 0 , 𝑇 | | | | 𝐸 𝑋 𝜏 𝑋 𝑆 𝑆 𝐸 𝜏 𝑆 𝑆 | | | | Γ , a . s . ( 3 . 1 ) (ii) | 𝑓 ( 𝑡 , 0 , 0 ) | Γ , 𝑡 [ 0 , 𝑇 ] .

Remark 3.1. The assumption (3.1) is merely technical. It is motivated by the “Gittin indices’’ studied in [8], and it essentially requires a certain “path regularity’’ on the boundary process 𝑋 . However, one should note that it by no means implies the continuity of the paths of 𝑋 (!). In fact, a semimartingale with absolutely continuous bounded variation part can easily satisfy (3.1), but this does not prevent jumps from the martingale part.

We begin by considering the following mapping 𝒯 on 𝑇 : for a given process 𝑦 we define 𝒯 ( 𝑦 ) 𝑡 Δ = 𝑌 𝑡 , 𝑡 [ 0 , 𝑇 ] , where 𝑌 is the unique solution of the Variant Skorohod problem: 𝑌 𝑡 = 𝐸 𝜉 + 𝑇 𝑡 𝑓 𝑠 , 𝑦 𝑠 , 𝐴 𝑠 𝑑 𝑠 𝑠 [ ] , 𝐸 , 𝑡 0 , 𝑇 𝑇 0 𝑋 𝑡 𝑌 𝑡 𝑑 𝐴 𝑡 [ ] . = 0 , 𝑡 0 , 𝑇 ( 3 . 2 ) We are to prove that the mapping 𝒯 is a contraction from 𝑇 to itself. It is not hard to see, by virtue of Theorems 2.4 and 2.5, that the reflecting process 𝐴 is determined by 𝑦 in the following way: 𝐴 𝑡 = s u p 0 𝑣 𝑡 + 𝐿 𝑣 , and 𝐿 is the solution to the Stochastic Representation: 𝑋 𝑡 = 𝐸 𝜉 + 𝑇 𝑡 𝑓 𝑠 , 𝑦 𝑠 , s u p 𝑡 𝑣 𝑠 𝐿 𝑣 𝑑 𝑠 𝑡 [ ] , 𝑡 0 , 𝑇 . ( 3 . 3 ) We should note, however, that the contraction mapping argument does not completely solve the existence and uniqueness issue for the Variant BSDE. In fact, it only gives the existence of the fixed point 𝑌 , and we will have to argue the uniqueness of the process 𝐴 separately.

We now establish some a priori estimates that will be useful in our discussion. To begin with, let us consider the stochastic representation 𝑋 𝑡 = 𝐸 𝜉 + 𝑇 𝑡 𝑓 𝑠 , 0 , s u p 𝑡 𝑣 𝑠 𝐿 0 𝑣 𝑑 𝑠 𝑡 . ( 3 . 4 ) Denote 𝐴 0 𝑡 Δ = s u p 0 𝑠 𝑡 + 𝐿 0 𝑡 . We have the following estimate for 𝐴 0 .

Lemma 3.2. Assume (H1) and (H2). Then it holds that 𝐴 0 2 Γ / 𝑘 , where 𝑘 and Γ are the constants appearing in (H1) and (H2).

Proof. For fixed 𝑠 [ 0 , 𝑇 ] and any stopping time 𝜏 > 𝑠 , let 𝑙 0 𝑠 , 𝜏 be the 𝑠 measurable random variable such that 𝐸 𝑋 𝑠 𝑋 𝜏 𝑠 = 𝐸 𝜏 𝑠 𝑓 𝑡 , 0 , 𝑙 0 𝑠 , 𝜏 𝑑 𝑡 𝑠 . ( 3 . 5 ) Then by Theorem 2.4 we have 𝐿 0 𝑠 = e s s i n f 𝜏 > 𝑠 𝑙 0 𝑠 , 𝜏 , and 𝐴 0 𝑡 = s u p 0 𝑠 𝑡 + 𝐿 0 𝑠 .

Now consider the set { 𝜔 𝑙 0 𝑠 , 𝜏 ( 𝜔 ) < 0 } . Since 𝑓 ( 𝑡 , 0 , ) is decreasing, we have 𝐸 𝑋 𝑠 𝑋 𝜏 𝑠 𝐸 𝜏 𝑠 𝑓 ( 𝑡 , 0 , 0 ) 𝑑 𝑡 𝑠 = 𝐸 𝜏 𝑠 𝑓 𝑡 , 0 , 𝑙 0 𝑠 , 𝜏 𝑓 ( 𝑡 , 0 , 0 ) 𝑑 𝑡 𝑠 𝐸 𝜏 𝑠 𝑘 | | 𝑙 0 𝑠 , 𝜏 | | 𝑑 𝑡 𝑠 | | 𝑙 𝑘 0 𝑠 , 𝜏 | | 𝐸 𝜏 𝑠 𝑠 . ( 3 . 6 ) In other words we have | | 𝑙 0 𝑠 , 𝜏 | | 1 𝑘 𝐸 𝑋 𝑠 𝑋 𝜏 𝑠 𝐸 𝜏 𝑠 𝑠 𝐸 𝜏 𝑠 𝑓 ( 𝑡 , 0 , 0 ) 𝑑 𝑡 𝑠 𝐸 𝜏 𝑠 𝑠 l , o n 0 s , 𝜏 < 0 . ( 3 . 7 )

Similarly, one can show that on the set { 𝑙 0 𝑠 , 𝜏 0 } it holds that 𝑙 0 𝑠 , 𝜏 1 𝑘 𝐸 𝑋 𝑠 𝑋 𝜏 𝑠 𝐸 𝜏 𝑠 𝑠 + 𝐸 𝜏 𝑠 𝑓 ( 𝑡 , 0 , 0 ) 𝑑 𝑡 𝑠 𝐸 𝜏 𝑠 𝑠 . ( 3 . 8 )

Consequently, we have | | 𝑙 0 𝑠 , 𝜏 | | 1 𝑘 | | | | 𝐸 𝑋 𝜏 𝑋 𝑠 𝑠 𝐸 𝜏 𝑠 𝑠 | | | | + 𝐸 𝜏 𝑠 | | | | 𝑓 ( 𝑡 , 0 , 0 ) 𝑑 𝑡 𝑠 𝐸 𝜏 𝑠 𝑠 . ( 3 . 9 )

Now note that | | 𝐴 0 𝑡 | | = | | | | s u p 0 𝑠 𝑡 + 𝐿 0 𝑠 | | | | s u p 0 𝑠 𝑡 + | | 𝐿 0 𝑠 | | = s u p 0 𝑠 𝑡 + e s s i n f 𝜏 > 𝑠 | | 𝑙 0 𝑠 , 𝜏 | | , ( 3 . 1 0 ) we derive from (3.9) and (H2) that | | 𝐴 0 𝑡 | | s u p 0 𝑠 𝑡 + e s s s u p 𝜏 > 𝑠 | | 𝑙 0 𝑠 , 𝜏 | | s u p 0 𝑠 𝑡 + Γ + Γ 𝑘 = 2 Γ 𝑘 , ( 3 . 1 1 ) proving the lemma.

Clearly, a main task in proving that 𝒯 is a contraction mapping is to find the control on the difference of two reflecting processes. To see this let 𝑦 , 𝑦 𝑇 be given, and consider the two solutions of the variant Skorohod problem: ( 𝑌 , 𝐴 ) and ( 𝑌 , 𝐴 ) . We would like to control | 𝐴 𝑠 𝐴 𝑠 | in terms of | 𝑦 s 𝑦 𝑠 | . The following lemma is crucial.

Lemma 3.3. Assume (H1) and (H2). Then, for any 𝑡 [ 0 , 𝑇 ] , it holds almost surely that | | A 𝑡 𝐴 𝑡 | | 𝐿 𝑘 𝑦 𝑦 . ( 3 . 1 2 )

Proof. Again, we fix 𝑠 and let 𝜏 0 , 𝑇 be such that 𝜏 > 𝑠 , a.s. Recalling Theorem 2.4, we let 𝑙 𝑠 , 𝜏 and 𝑙 𝑠 , 𝜏 be two 𝑠 -measurable random variables such that 𝐸 𝑋 𝑠 𝑋 𝜏 𝑠 = 𝐸 𝜏 𝑠 𝑓 𝑢 , 𝑦 𝑢 , 𝑙 𝑠 , 𝜏 𝑑 𝑢 𝑠 = 𝐸 𝜏 𝑠 𝑓 𝑢 , 𝑦 𝑢 , 𝑙 𝑠 , 𝜏 𝑑 𝑢 𝑠 . ( 3 . 1 3 ) Define 𝐷 𝜏 𝑠 = { 𝜔 | 𝑙 𝑠 , 𝜏 ( 𝜔 ) > 𝑙 𝑠 , 𝜏 ( 𝜔 ) } , then 𝐷 𝜏 𝑠 𝑠 , for any stopping time 𝜏 > 𝑠 .
Now, from (3.13) and noting that 1 𝐷 𝜏 𝑠 is 𝑠 -measurable, we deduce that 𝐸 𝜏 𝑠 𝑓 𝑢 , 𝑦 𝑢 , 𝑙 𝑠 , 𝜏 𝑓 𝑢 , 𝑦 𝑢 , 𝑙 s 1 𝐷 𝜏 𝑠 𝑑 𝑢 𝑠 = 𝐸 𝜏 𝑠 𝑓 𝑢 , 𝑦 𝑢 , 𝑙 𝑠 , 𝜏 𝑓 𝑢 , 𝑦 𝑢 , 𝑙 𝑠 , 𝜏 1 𝐷 𝜏 𝑠 𝑑 𝑢 𝑠 . ( 3 . 1 4 )
Now, by (H1)-(iv), the left-hand side of (3.14) satisfies 𝐸 𝜏 𝑠 𝑓 𝑢 , 𝑦 𝑢 , 𝑙 𝑠 , 𝜏 𝑓 𝑢 , 𝑦 𝑢 , 𝑙 𝑠 , 𝜏 1 𝐷 𝜏 𝑠 𝑑 𝑢 𝑠 | | 𝑙 𝑘 𝑠 , 𝜏 𝑙 𝑠 , 𝜏 | | 𝐸 𝜏 𝑠 𝑠 1 𝐷 𝜏 𝑠 . ( 3 . 1 5 ) On the other hand, by (H1)-(iii) we see that the right-hand side of (3.14) satisfies 𝐸 𝜏 𝑠 𝑓 𝑢 , 𝑦 u , 𝑙 𝑠 , 𝜏 𝑓 𝑢 , 𝑦 𝑢 , 𝑙 𝑠 , 𝜏 1 𝐷 𝜏 𝑠 𝑑 𝑢 𝑠 𝐸 𝜏 𝑠 | | 𝑓 𝑢 , 𝑦 𝑢 , 𝑙 𝑠 , 𝜏 𝑓 𝑢 , 𝑦 𝑢 , 𝑙 𝑠 , 𝜏 | | 1 𝐷 𝜏 𝑠 𝑑 𝑢 𝑠 𝑦 𝐿 𝐸 𝑦 ( 𝜏 𝑠 ) 𝑠 1 𝐷 𝜏 𝑠 . ( 3 . 1 6 ) Combining above we obtain that 𝑘 | | 𝑙 𝑠 , 𝜏 𝑙 𝑠 , 𝜏 | | 𝐸 𝜏 𝑠 𝑠 𝑦 𝐿 𝑦 𝐸 𝜏 𝑠 𝑠 , o n 𝐷 𝜏 𝑠 . ( 3 . 1 7 ) Thus | 𝑙 𝑠 , 𝜏 𝑙 𝑠 , 𝜏 | ( 𝐿 / 𝑘 ) 𝑦 𝑦 , on 𝐷 𝜏 𝑠 , since 𝜏 > 𝑠 , a.s.
Similarly, one shows that the inequality holds on the complement of 𝐷 𝜏 𝑠 as well. It follows that | | 𝑙 𝑠 , 𝜏 𝑙 𝑠 , 𝜏 | | 𝐿 𝑘 𝑦 𝑦 . ( 3 . 1 8 )
Next, recall from Theorem 2.4 that 𝐿 𝑠 = e s s i n f 𝜏 > 𝑠 𝑙 𝑠 , 𝜏 , 𝐿 s = e s s i n f 𝜏 > 𝑠 𝑙 𝑠 , 𝜏 , 𝐴 𝑡 = s u p 0 𝑠 𝑡 𝐿 𝑠 , and 𝐴 𝑡 = s u p 0 𝑠 𝑡 𝐿 𝑠 . We conclude from (3.18) that, for any 𝑡 [ 0 , 𝑇 ] , | | 𝐴 𝑡 𝐴 𝑡 | | = | | | | s u p 0 𝑠 𝑡 + 𝐿 s s u p 0 𝑠 𝑡 + 𝐿 𝑠 | | | | s u p 0 𝑠 𝑡 + | | | e s s i n f 𝜏 > 𝑠 𝑙 𝑠 , 𝜏 e s s i n f 𝜏 > 𝑠 𝑙 𝑠 , 𝜏 | | | s u p 0 𝑠 𝑡 + e s s s u p 𝜏 > 𝑠 | | 𝑙 𝑠 , 𝜏 𝑙 𝑠 , 𝜏 | | 𝐿 𝑘 𝑦 𝑦 , 𝑃 - a . s . ( 3 . 1 9 ) The proof is now complete.

Remark 3.4. We observe that the step from (3.16) to (3.17) is seemingly rough. It would be more desirable if some more delicate estimates, such as 𝐸 𝜏 𝑠 | | 𝑦 𝑢 𝑦 u | | 𝑑 𝑢 𝑠 𝐶 𝐸 𝜏 𝑠 𝑠 𝐸 s u p 0 𝑢 𝑇 | | 𝑦 𝑢 𝑦 u | | 𝑠 ( 3 . 2 0 ) could hold for some constant 𝐶 , so that one can at least remove the boundedness requirement on the solution. But unfortunately (3.20) is not true in general, unless some conditional independence is assumed. Here is a quick example: let 𝑇 = 1 and let 𝜏 be a binomial random variable that takes value 1 with probability 𝑝 and 1 / 𝑛 with probability 1 𝑝 . Define two processes: 𝑦 𝑡 = 1 { 𝜏 = 1 } , 𝑡 [ 0 , 1 ] ; 𝑡 = 1 { 𝜏 𝑡 } , 𝑡 [ 0 , 1 ] ; and define 𝑡 = 𝜎 { ( 𝑦 𝑢 , 𝑢 ) 0 𝑢 𝑡 } with 𝔽 = { 𝑡 } 𝑡 [ 0 , 1 ] . Then 𝜏 is an 𝔽 -stopping time and 𝑦 is an 𝔽 -adapted continuous process.
It is easy to check that 𝐸 { 𝜏 0 | 𝑦 𝑢 | 𝑑 𝑢 } = 𝑝 and 𝐸 { 𝜏 } 𝐸 { s u p 0 𝑢 1 | 𝑦 𝑢 | } = ( 𝑝 + ( 1 / 𝑛 ) ( 1 𝑝 ) ) 𝑝 . Thus if we choose 𝑝 , 𝑛 , and a constant 𝑐 1 such that 𝑝 < 𝑛 𝑐 ( 𝑛 1 ) 𝑐 < 1 , ( 3 . 2 1 ) then (3.20) will fail at 𝑠 = 0 , with 𝐶 = 𝑐 .

We are now ready to prove the main result of this section, the existence and uniqueness of the solution to the Variant RBSDE.

Theorem 3.5. Assume (H1) and (H2). Assume further that ( 𝐿 + 𝐾 ( 𝐿 / 𝑘 ) 𝑇 < 1 , then the Variant reflected BSDE (1.2) admits a unique solution ( 𝑌 , 𝐴 ) .

Proof. We first show that the mapping 𝒯 defined by (3.2) is from 𝑡 to itself. To see this, we note that by using assumption (H1) and Lemmas 3.2 and 3.3, one has | | 𝑓 𝑠 , 𝑦 𝑠 , 𝐴 𝑠 | | | | 𝑓 𝑠 , 0 , 𝐴 0 𝑠 | | | | 𝑦 + 𝐿 𝑠 | | | | 𝐴 + 𝐾 𝑠 𝐴 0 𝑠 | | | | | | | | 𝐴 𝑓 ( 𝑠 , 0 , 0 ) + 𝐾 0 𝑠 | | + 𝐿 𝑦 𝐿 + 𝐾 𝑘 𝑦 Γ + 𝐾 2 Γ 𝑘 + 𝐿 𝑦 𝐿 + 𝐾 𝑘 𝑦 . ( 3 . 2 2 ) Since 𝜉 𝐿 by assumption, we can then easily deduce that 𝑌 = 𝒯 ( 𝑦 ) 𝑇 .
To prove that 𝒯 is a contraction, we take 𝑦 , 𝑦 𝑇 , and denote 𝒯 ( 𝑦 ) = 𝑌 and 𝒯 ( 𝑦 ) = 𝑌 . Then, for any 𝑡 [ 0 , 𝑇 ] , applying Lemma 3.3 we have | | 𝒯 ( 𝑦 ) 𝑡 𝒯 ( 𝑦 ) 𝑡 | | | | | | 𝐸 𝑇 𝑡 𝑓 𝑠 , 𝑦 𝑠 , 𝐴 𝑠 𝑓 𝑠 , 𝑦 s , 𝐴 𝑠 𝑑 𝑠 𝑡 | | | | 𝐿 𝑇 𝑦 𝑦 + 𝐾 𝐴 𝐴 𝐿 𝑇 𝐿 + 𝐾 𝑘 𝑦 𝑦 . ( 3 . 2 3 ) Since 𝑇 ( 𝐿 + 𝐾 ( 𝐿 / 𝑘 ) ) < 1 by assumption, we see that 𝒯 is a contraction.
Now, let 𝑌 𝑇 be the (unique) fixed point of 𝒯 , and let 𝐴 be the corresponding reflecting process defined by 𝐴 𝑡 = s u p 0 𝑣 𝑡 + 𝐿 𝑣 , where 𝐿 satisfies the representation 𝑋 𝑡 = 𝐸 𝜉 + 𝑇 𝑡 𝑓 𝑠 , 𝑌 𝑠 , s u p 𝑡 𝑣 𝑠 𝐿 𝑣 𝑑 𝑠 𝑡 . ( 3 . 2 4 )
We now show that ( 𝑌 , 𝐴 ) is the solution to the Variant RBSDE (1.2). To see this, note that (3.24), the definition of 𝐴 , and the monotonicity of the function 𝑓 (on the variable 𝑙 ) tell us that, for 𝑡 [ 0 , 𝑇 ] , 𝑌 𝑡 = 𝐸 𝜉 + 𝑇 𝑡 𝑓 𝑠 , 𝑌 𝑠 , 𝐴 𝑠 𝑑 𝑠 𝑡 𝐸 𝜉 + 𝑇 𝑡 𝑓 𝑠 , 𝑌 𝑠 , s u p 𝑡 𝑣 𝑠 𝐿 𝑣 𝑑 𝑠 𝑡 = 𝑋 𝑡 . ( 3 . 2 5 ) Thus it remains to show that the flat-off condition holds. But by the properties of optional projections and definition of 𝐿 and 𝐴 , we have 𝐸 𝑇 0 𝑋 𝑡 𝑌 𝑡 𝑑 𝐴 𝑡 = 𝐸 𝑇 0 𝑇 𝑡 𝑓 𝑢 , 𝑌 𝑢 , s u p 𝑡 𝑣 𝑢 𝐿 𝑣 𝑓 𝑢 , 𝑌 𝑢 , s u p 0 𝑣 𝑢 + 𝐿 𝑣 𝑑 𝑢 𝑑 𝐴 𝑡 = 𝐸 𝑇 0 𝑢 0 𝑓 𝑢 , 𝑌 𝑢 , s u p 𝑡 𝑣 𝑢 + 𝐿 𝑣 𝑓 𝑢 , 𝑌 𝑢 , s u p 0 𝑣 𝑢 + 𝐿 𝑣 𝑑 𝐴 𝑡 𝑑 𝑢 , ( 3 . 2 6 ) here the last equality follows from the Fubini theorem and the fact that the Lebesgues measure does not charge the discontinuities of the paths 𝑢 s u p 𝑡 𝑣 𝑢 𝐿 𝑣 , which are only countably many.
Finally, note that on the set { ( 𝑡 , 𝜔 ) 𝑑 𝐴 𝑡 ( 𝜔 ) > 0 } , 𝑡 must be a point of increase of 𝐴 ( 𝜔 ) . Since 𝐴 is the running supreme of 𝐿 we conclude that s u p 0 𝑣 𝑡 + 𝛿 𝐿 𝑣 > s u p 0 𝑣 𝑡 𝐿 𝑣 , for all 𝛿 > 0 . This yields that s u p 𝑡 𝑣 𝑢 + 𝐿 𝑣 = s u p 0 𝑣 𝑢 + 𝐿 𝑣 , o n ( t , 𝜔 ) d A t ( 𝜔 ) > 0 . ( 3 . 2 7 ) Thus the right side of (3.26) is identically zero, and the flat-off condition holds. This proves the existence of the solution ( 𝑌 , 𝐴 ) .
The uniqueness of the solution can be argued as follows. Suppose that there is another solution ( 𝑌 , 𝐴 ) to the VRBSDE such that 𝑌 𝑡 𝑋 𝑡 , 𝑌 𝑡 𝑋 𝑡 , 𝑡 [ 0 , 𝑇 ] , and 𝑌 𝑡 = 𝐸 𝜉 + 𝑇 𝑡 𝑓 𝑢 , 𝑌 𝑢 , 𝐴 𝑢 𝑑 𝑢 𝑡 , 𝐸 𝑇 0 | | 𝑋 𝑢 𝑌 𝑢 | | 𝑑 𝐴 𝑢 𝑌 = 0 ; 𝑡 = 𝐸 𝜉 + 𝑇