arxiv: v1 [math.pr] 16 Dec 2018

Transcription

1 218, 1 17 () arxiv: v1 [mah.pr] 16 Dec 218 Refleced BSDEs wih wo compleely separaed barriers ad regulaed rajecories i geeral filraio. Baadi Brahim ad Oukie Youssef Ib Tofaïl Uiversiy, Deparme of mahemaics, faculy of scieces, BP 133, Kéira, Morocco address: brahim.baadi@ui.ac.ma Cadi Ayyad Uiversiy, Av. Abdelkrim Khaabi 4, Guéliz Marrakesh, Morocco, ad Hassa II Academy of Scieces ad Techology, Raba, Morocco. address: oukie@uca.ma Absrac. I his paper, we sudy doubly refleced Backward Sochasic Differeial Equaios defied o probabiliy spaces equipped wih filraio saisfyig oly he usual assumpios of righ coiuiy ad compleeess i he case where he barriers L ad U do saisfy ay regulariy assumpio (wihou righ coiuiy). We suppose ha he barriers L ad U ad heir lef limis are compleely separaed ad we show exisece ad uiqueess of he soluio. 1. Iroducio. I his paper, we sudy he problem of exisece ad uiqueess of he soluio of backward sochasic differeial equaios (BSDE) wih wo reflecig opioal barriers (or obsacles) L ad U. Our mai i his work is o deal wih equaios o probabiliy space wih geeral filraio F = {F, } saisfyig oly usual codiios of righ coiuiy ad compleeess. Also, we assume ha he lower barrier L ad he upper barrier U are compleely separaed i he sese ha (L < U ) ad (L < U ) for all [,T] ad which are wo regulaed process, i.e. processes whose rajecories have lef ad righ fiie limi. Cosequely, he soluio of hese equaios eed o be càdlàg bu are called regulaed processes. Precisely, a soluio for he BSDE wih wo reflecig barriers associaed wih a geeraor f(, y), a ermial value ξ, a lower barrier L ad a upper barrier U (RBSDE(ξ,f,L,U) for shor), is a quadruple of processes (Y,M,K,A) which 2 Mahemaics Subjec Classificaio. 6K35, 82B43. Key words ad phrases. Refleced backward sochasic differeial equaio (RBSDE), Doubly RBSDs, Geeral filraio, Regulaed rajecories, Local-global soluio. 1

2 2 Baadi Brahim ad Oukie Youssef maily saisfies: Y = ξ + f(s,y s )ds+(k T K ) (A T A ) dm s, [,T]. L Y U, [,T],ad (U s Y s )da s + s<t (U s Y s ) + A s =,ad (Y s L s )dks + s<t (Y s L s ) + K s =. where Y has regulaed rajecories, K, A are icreasig processes such ha K = A =, M is a local marigale wih M =, K (resp. A ) he càdlàg par of K (resp. A) ad + K (resp. + A) he righ jump of K (resp. of A). The reaso we chose he miimaliy codiios ad (Y s L s )dk s + s<t(y s L s ) + K s =, (U s Y s )da s + s<t(u s Y s ) + A s =. is o use he pealizaio mehod for regulaed BSDE wih regulaed rajecories proposed by Klimsiak e al. i Klimsiak e al. (216). Noe ha if L ad U are càdlàg, he his codiio reduces o he classical codiio: Klimsiak e al. (216, (1.3)). Geerally speakig, i BSDE heory, durig several years, here have bee a lo of works which sudy he problem of exisece ad uiqueess of BSDE wih wo reflecig barriers uder hese hree codiios: a): oe of he obsacles is a semimarigale. b): he Mokobodski codiio: bewee U ad L oe ca fid a process X such ha X is a differece of oegaive càdlàg supermariagles. c): he barriers are compleely separaed: L < U ad L < U for all [,T] a.s. Uder he assumpio b), he problem is sudied i Klimsiak (215), Klimsiak (213), Cviai ad Karazas (1996), Bahlali e al. (25), Crépey ad Maoussi (28)... i he case of coiuous or righ-coiuous obsacles ad/or a larger filraio ha he Browia, bu he issue wih his codiio is ha i is quie difficul o check i pracice. The, i has bee removed by Hamadèe ad Hassai i Hamadèe ad Hassai (25), whe hey showed ha if he assumpio c) hold, he wo barriers refleced BSDE has a uique soluio. Uder he same assumpio here are also a lo of works which deal wih he problem of exisece ad uiqueess, for isace, he papers Hamadèe e al. (21), Hamadèe ad Wag (29), Hassairi (216), Topolewski (216)... I all of he above-meioed works (ad ohers) o double refleced BSDEs, he barriers are assumed o be a leas righ-coiuous. The oly paper dealig wih BSDEs wih wo reflecig barriers ha are o càdlàg, i our kowledge, is he paper by Grigorova e al. i Grigorova e al. (217b). The auhors proved he exisece ad uiqueess of he soluio of double refleced BSDE wih wo irregular barriers saisfyig he geeralized Mokobodzki s codiio. Firs hey showed he exisece ad uiqueess i he case where he driver does o deped o soluio, he hey proved a priori esimaes for he doubly refleced BSDE by usig Gal chuk-leglar s formula ad from hese hey

3 RBSDEs wih wo compleely separaed barriers. 3 derived he exisece ad uiqueess of he soluio wih geeral Lipschiz driver by usig he Baach fixed poi heorem. BSDE wih wo reflecig barriers have bee iroduced by Cviaic ad Karazas i Cviai ad Karazas (1996) i he case of coiuous barriers ad a Browia filraio. The soluios of such equaios are cosraied o say bewee wo adaped barriers L ad U wih L U ad L T = U T. I he case of he coiuous/càdlàg barriers, refleced doubly BSDE have bee sudied by several auhors i Hamadèe e al. (21), Hamadèe ad Wag (29), Hassairi (216), Topolewski (216), Hamadèe ad Hassai (26), Hamadèe ad Hdhiri (26), Klimsiak (215), Klimsiak (213), Cviai ad Karazas(1996), Bahlali e al. (25), Crépey ad Maoussi (28), Dumirescu e al. (216), Essaky e al. (25), Hamadèe ad Lepelier (2) ad Grigorova e al. (217b) (for regulaed barriers case). This paper is orgaized as follows: I he secod ad hird secio, we give some prelimiary ad some resul relaed o BSDE wih oe barrier (defiiio, exisece). I secio four, we recall he doubly refleced BSDE defiiio ad we prove a compariso ad uiqueess resul. I he fifh secio, we deal wih he oio of local soluio of doubly refleced BSDE, which is a soluio of ha equaio bu bewee wo comparable soppig imes. Some local soluio properies are also give. Secio six is reserved o our mai resul of his paper. 2. Prelimiaries. Le us cosider a filered probabiliy space (Ω,F,P,F = {F, }). The filraio is assumed o be complee, righ coiuous ad quasi-lef coiuous. Le T > be a fixed posiive real umber. We recall ha a fucio y : [,T] R d is called regulaed if for every [,T] he limi y + = lim u y u exiss, ad for every [,T] he limi y = lim u y u exiss. For ay regulaed fucio y o [,T], we deoe by + y = y + y he size of he righ jump of y a, ad by y = y y he size of he lef jump of y a. I his paper, we cosider a F-adaped process X wih regulaed rajecories of he form X = X + s< + X s, [,T], where X is a F-adaped semimarigale whi càdlàg rajecories ad + X s <, P a.s. s< For a give T >, we deoe: T,T is he se of all soppig imes such ha P( T) = 1. More geerally, for a give soppig ime ν i T,T, we deoe by T ν,t he se of all soppig imes such ha P(ν T) = 1. L 2 (F T ) is he se ofradomvariableswhich are F T -measurablead squareiegrable. M loc is he se of càdlàg local marigales. Now o defie he soluio of our refleced backward sochasic differeial equaio, le us iroduce he followig spaces:

4 4 Baadi Brahim ad Oukie Youssef S 2 is he se of all F-progressively measurable process wih regulaed rajecories φ such ha: [ E φ 2] <. sup T M 2 is he subspace of M loc of all marigales such ha: E([M] T ) < +. The radom variable ξ is F T -measurable wih values i R d (d 1) ad f : Ω [,T] R d R d is a radom fucio measurable wih respec o Prog B(R d ) where Prog deoes he -field of progressive subses of Ω [,T]. A sequece { k } T,T is called saioary if ω Ω Z + k k (ω) = T. We will eed he followig assumpios (H1) There is µ R such ha f(,y) f(,y ) µ y y for all [,T], y,y R. (H2) ξ, f(r,) dr L2 (H3) [,T] f(,y) L 1 (,T) for every y R. Defiiio 2.1. A opioal process (φ ) is said o be righ upper-semicoiuous (resp. lef upper-semicoiuous) alog soppig imes if for each T,T, for each sequece of soppig imes ( ) such ha a.s. (resp. a.s.), we have φ limsupφ. A opioal process (φ ) is said o be righ lower-semicoiuous (resp. lef lowersemicoiuous) alog soppig imes if for each T,T, for each sequece of soppig imes ( ) such ha a.s. (resp. a.s.), we have φ limif φ. Remark 2.2. If he process (φ ) has righ limis, (φ ) is righ upper-semicoiuous (resp. righ lower-semicoiuous) alog soppig imes if ad oly if for each predicable soppig ime T,T, φ φ + (resp. φ φ + ) a.s. 3. Refleced BSDE wih oe barrier. I ha follows, we assume ha ξ is a F-measurable radom variable, L ad U aref-adapedopioalprocessesis 2 adl U, forall T adl T ξ U T. Defiiio 3.1. We say ha a riple (Y,M,K) of F-progressively measurable processes is a soluio of he refleced BSDE wih driver f, ermial value ξ ad lower barrier L (RBSDE(ξ,f,L) for shor) if (1) Y,K S 2, M M loc wih M =. (2) Y L for all [,T] a.s. (Y s L s )dk s + s<t(y s L s ) + K s = (3) f(s,y s) ds < a.s. (4) Y = ξ + f(s,y s )ds+k T K dm s, for all [,T], a.s.

5 RBSDEs wih wo compleely separaed barriers. 5 Remark 3.2. We oe ha if L ad K are càdlàg, he (2) i Defiiio 3.1 reduces o (Y s L s )dk s = Defiiio 3.3. We say ha a riple (Y, M, A) of F-progressively measurable processes is a soluio of he refleced BSDE wih driver f, ermial value ξ ad upper barrier U (RBSDE(ξ,f,U) for shor) if (1) Y,A S 2, M M loc wih M =. (2) Y U for all [,T] a.s. (U s Y s )da s + s<t(u s Y s ) + A s = (3) f(s,y s) ds < a.s. (4) Y = ξ + f(s,y s )ds (A T A ) dm s for all [,T] a.s. Remark 3.4. if (Y,M,K) S 2 M loc S 2 saisfies defiiio 3.1 he he process Y has lef ad righ limis. Moreover,he processgive by (Y + f(s,y s)ds) [,T] is a srog marigale (Grigorova e al. (217a, Defiiio A.1)). I he heorem below we recall some resuls o reflecig BSDEs wih oe barrier. They will play impora role i he proof of our mai resul. I he pealizaio mehod for refleced BSDEs proposed by Klimsiak e al i Klimsiak e al. (216), hey defied arrays of soppig imes {{,i }} exhausig righ-side jumps of L iducively as follow: 1, = ad 1,i = if{ > 1,i 1 : + L s < 1} T, i = 1,...,k 1 for some k 1 Z +. Nex for Z + ad give array {{,i }}, +1, = ad +1,i = if{ > +1,i 1 : + L s < 1 +1 } T for i = 1,...,j +1 where j +1 is chose so ha P( +1,j+1 < T) as ad +1,i = +1,j+1,i j+1, i = j +1 +1,...,k +1, k +1 = j +1 +k. Theorem 3.5. Assume ha (H1) (H4) are saisfied. The (i): There exiss a uique soluio (Y,M,K) of RBSDE(ξ,f,L). Moreover if (Y,M ), Z + are soluio of BSDEs of he form Y = ξ+ f(s,y s)ds dm s+ (Y s L s ) ds+,i<t (Y L +,i ),i (3.1) he Y ր Y, [,T] P-a.s. (ii): There exiss a uique soluio (Y,M,A) of RBSDE(ξ,f,U). Moreover if (Y,M ), Z + are soluio of BSDEs of he form Y = ξ+ f(s,y s )ds dm s (U s Y s ) ds (U,i Y + ),i he Y ր Y, [,T] P-a.s.,i<T (3.2)

6 6 Baadi Brahim ad Oukie Youssef Proof: Thefirspari(i)isprovediBaadiadOukie(218)(seealsoKlimsiak e al. (216) (p > 1) ad Grigorova e al. (217a) (p = 2) i he case of Browia filraio ad Baadi ad Oukie (217) for he case of a filraio ha suppors a Browia moio ad a idepede Poisso radom measure). The secod par i (i) is proved for he case of a Browia filraio i Klimsiak e al. (216, Theorem 4.1). To show he resuls i a geeral filraio we use he Iô formula for he regulaed process (see Baadi ad Oukie (217, Theorem 2.5) or Klimsiak e al. (216, Appedix)) o ge his iequaliy: d[m M ] c s Y Y s< (Y s Ys )(f(s,y s ) f(s,ys ))ds (Y s Y s )d(k s K s ) 2 (Y s Y s ) + (Y s Y s ) (Y s Y s )d(m s M s ) wih (Y,M ) defied i 3.1,, T,T,, ad K = (Y s L s ) ds+ (Y,i + L,i ). By he fac ha + (Y s Ys ) = + (K s Ks), we,i have d[m M ] c s Y Y s< 2 +2 (Y s Y s )(f(s,y s) f(s,y (Y s Y s )d(k s K s) 2 (Y s Y s ) + (K s K s) s ))ds (Y s Y s )d(m s M s ) The E d[m M ] c s E Y Y 2 +2E Y s Ys (f(s,y s ) f(s,ys ))ds adwih hetheorem4.1assumpiosiklimsiake al.(216)wegehe exisece of a saioary sequece { k } of soppig imes such ha E k d[m M ] s = E k d[m M ] c s Therefore o prove ha Y ր Y, [,T], i suffices o repea sep by sep he proof of Klimsiak e al. (216, Theorem 4.1). The proof of (ii) is aalogous o ha of (i). Ideed, (Y,M,A) is a soluio for he RBSDE(ξ,f,U)ifadolyif( Y, M,A)isasoluioforheRBSDE( ξ, f, U). 4. BSDEs wih wo reflecig barriers. I his secio ξ, f, L ad U are as i above. We also suppose ha L U for [,T] P-a.s. Defiiio 4.1. We say ha a quadruple (Y, M, K, A) of F-progressively measurable processes is a soluio of he refleced BSDE wih driver f, ermial value ξ, lower barrier L ad upper barrier U, (RBSDE(ξ,f,L,U) for shor), if (LU1): Y,K,A S 2, M M loc wih M =.

7 RBSDEs wih wo compleely separaed barriers. 7 (LU2): L Y U, [,T] P-a.s. (LU3): (U s Y s )da s + s<t (U s Y s ) + A s = (Y s L s )dk s + s<t (Y s L s ) + K s =, a.s. (LU4): Y = ξ+ f(s,y s )ds+(k T K ) (A T A ) dm s, [,T] P-a.s. Remark 4.2. We oe ha, due o Eq. (LU4), we have + Y = + (K A ) We are ow goig o focus o he uiqueess of he soluio of he doubly refleced BSDE associaed wih (f,ξ,l,u). However he firs sep is o provide a compariso resul bewee he compoes Y of wo soluios (i Defiiio 4.1). Acually we have: Proposiio 4.3. Le (f,ξ,l,u) ad (f,ξ,l,u ) be wo ses of daa saisfyig (H1)-(H3). Le (Y,M,K,A) ad (Y,M,K,A ) be wo soluios of he doubly refleced BSDE associaed wih (f,ξ,l,u) ad (f,ξ,l,u ) respecively. Assume ha ξ ξ, L L, U U ad f f. The P a.s. Y Y Proof: Sicehereisalackofiegrabiliyofheprocesses(M,K,A)ad(M,K,A ), we are proceedig by localizaio. Le ( k ) k be a o-decreasigsequece, of saioary ype ad coverges o T such ha: k = if{,[m] +[M ] ) k} T. wehavep a.s., [M] T +[M ] T <. Now, byiô-taaka sformulaforheregulaed process (see Leglar (198, Secio 3, page 538)) wih (Y Y ) + o [ k, k ] we ge: k (Y k Y k ) + (Y k Y k ) {Ys >Y s } (f(s,y s ) f (s,y s ))ds k + k 1 {Ys >Y k k s } d(k s K s A s +A s) k 1 {Ys >Y s } d(m s M s) From defiiio of soluio we have k k 1 {Ys >Y s } d(k s K s A s +A s), ad by usig he Lipschiz codiio of f, we have k (Y k Y k ) + (Y k Y k ) + +µ (Y s Y s )+ ds 1 {Ys >Y s } d(m s M s ). k k where µ he Lipschiz cosa of f. Therefore akig expecaio, he limi as k, we have E[(Y k Y k ) + ] E[(Y T Y T )+ ] = sice L Y U ad L Y U. Ad by usig Growall s Lemma we ge E[(Y Y ) + ] = for ay T, a.s., Y Y, which is he desired resul. Proposiio4.4. The RBSDE(ξ,f,L,U) has a mos oe soluio, i.e., if (Y,M,K,A) ad (Y,M,K,A ) are wo soluios of RBSDE(ξ,f,L,U), he, P a.s., Y = Y, M = M ad K A = K A. Proof: Le(Y,M,K,A)ad(Y,M,K,A )bewosoluiosofrbsde(f,ξ,l,u). The from he compariso resul( Proposiio 4.3), we have Y = Y, T, P-a.s. ad he M = M ad by (LU4) i Defiiio 4.1, we ge K A = K A. k

8 8 Baadi Brahim ad Oukie Youssef Remark 4.5. We have also K = K ad A = A sice L < U, < T. (see, El Asri e al. (211, Proposiio 2.1.)). 5. Local soluios of BSDEs wih wo opioal reflecig barriers We are goig o cosruc a soluio for he doubly refleced BSDE associaed wih (f,ξ,l,u) sep by sep uder (H1) (H3). For his we eed o cosruc a process Y which saisfies locally he RBSDE(f,ξ,L,U), ha is o say, for ay soppig ime, we ca fid aoher appropriae soppig ime λ such ha bewee ad λ, Y saisfies he doubly refleced BSDE. This local soluio will be cosruced as a limi of a pealizaio scheme, which leads o sudy BSDEs wih oe reflecig barrier. Thus our firs ask is o provide he resuls we eed laer o BSDEs wih oe reflecig barrier. We firs iroduce he oio of a local soluio of he RBSDE(f,ξ,L,U). Defiiio 5.1. Le ad be wo soppig imes such ha P-a.s.. We say ha (Y,M,K,A ) T is a local soluio o [,] for he doubly refleced BSDE associaed wih wo barriers L ad U, he ermial codiio ξ ad he geeraor f if: P-a.s., Y,K,A S 2,M M loc wih M =. Y T = ξ, [,] Y = Y + f(s,y s)ds+(k K ) (A A ) dm s, [,] P a.s., L Y U, [,],ad (U s Y s )da s + s< (U s Y s ) + A s =,a.s. ad (Y s L s )dks + s< (Y s L s ) + K s =,a.s. (5.1) I hissecio, wearegoigoshowheexiseceofaappropriaelocalsoluio which laer will allow us o cosruc a global soluio for he RBSDE(f,ξ,L,U) wih regulaed processes i a geeral filraio. Bu we assume oly ha L is righ upper-semicoiuous (r.u.s.c) ad U is righ lower-semicoiuous (r.l.s.c). The idea of he proof is he same as i he paper of Hamadèe ad Hassai Hamadèe ad Hassai (25), i which he auhors proved he resuls for he double RBSDE wih coiuous processes ad browia filraio The icreasig pealizaio scheme. Le us iroduce he followig icreasig pealizaio scheme. For ay, le (Y,M,A ) be he riple of F -adaped processes wih values i R R d R, uique soluio of he RBSDE(f(s,y)+(y L s ) + (y,i< + L,i ),ξ,u) such ha:,i Y,A S 2,M M loc wih M =. Y = ξ + (f(s,y s )+(Ys L s ) )ds+ (Y,i<T L +,i ),i A T +A dm s, P a.s., Y U, [,T],a.s., (U s Ys )da, s + s<t (U s Ys ) + A s =,a.s. (5.2)

9 RBSDEs wih wo compleely separaed barriers. 9 We se f (,y) = f(,y)+(y L ) +,i< (y +,i L,i ). ByTheorem3.5hereexisauiquesoluio(Y,M,A )ofrbsde(f (s,y),ξ,u). We have f (s,y) f +1 (s,y) which implies from he compariso resul ha for ay, we have Y Y +1 U. Ad by cosequece here exis Y = (Y ) T such ha (Y ) T coverges icreasigly o (Y ) T ad for ay T, Y U. Besides for a soppig ime le us se: δ = if{s,y s = U s } T. Sice Y Y +1 he he sequece (δ ) is decreasig ad coverges o δ. Le us ow focus o some properies of Y ad especially show ha Y L. Proposiio 5.2. The followig properies are fulfilled P-a.s.: (i): Y δ 1 [δ<t] = U δ 1 [δ<t]. (ii): T,Y L. Proof: We begi wih he proof of (i). For ad T he process A does o icrease before Y reaches he barrier U, he for ay [,δ ], we have, A A = ad he δ Y = Yδ + (f(s,y s )+(Ys L s ) )ds+ δ (Y,i L +,i ) dms.,i<δ For, wriig 5.3 bewee δ ad δ (δ ց δ ) yields: δ Yδ = Yδ + (f(s,y s )+(Y s L s) )ds+ (Y + δ,i L,i ) ad he which implies ha δ,i<δ δ Y δ U δ 1 [δ <T] +ξ1 [δ =T] + f(s,ys )ds δ 1 [δ<t]y δ 1 [δ<t](u δ 1 [δ <T]+ξ1 [δ =T])+1 [δ<t] By he assumpio (H1) we have: δ f(s,ys ) f(s,)+µys δ δ δ dm s δ f(s,ys )ds where µ is a cosa. We have also Y Y U which implies ha E[ δ coverges o. Cosequely, δ lim E[ δ f(s,ys )ds] =. δ (5.3) δ dms δ (5.4) 1 [δ<t]dm s δ Y (5.5) s ds] Usig ow iequaliy 5.5 ad akig expecaio i boh had-sides he he limi as goes o ifiiy o obai: ] ] ] E [1 [δ<t]y δ E [1 [δ<t]u δ+ E [1 [δ<t]u δ, sice U is opioal r.l.s.c. process. By Y U, we have he desired resul.

10 1 Baadi Brahim ad Oukie Youssef We ow prove (ii). For ay ad ay soppig ime T, he followig propery holds rue: [ Y δ = E (f(s,y s )+(Y s L s ) )ds+,i<δ (Y L +,i ) +U δ 1 [δ <T]+ξ1 [δ =T]/F ],,i sice he process A does o icrease before Y reaches he barrieru by defiiio of δ. From las equaliy we have [ δ E (Y s L s ) ds+ 1 1 [ δ E,i<δ (Y L +,i ) ],i f(s,y s ) ds+ Y + U δ 1 [δ <T] + ξ 1 [δ =T] ] (5.6) By (H3) we have E[ f(s,y s ) ds] < whe goes o ifiiy, ad by Faou s lemma we deduce from 5.6 ha [ ] [ δ E lim if 1 [,δ ] (Y s L s ) ds limif E ] (Y s L s ) ds = he δ (Y s L s ) ds = a.s. (5.7) Sice Y Y +1, oe ha if L is a càdlàg process he limi Y of {Y } is càdlàg (Essaky (28, Theorem 3.1) ad Peg (1999, Lemma 2.2)) o [,δ ]. Bu i our case Y eed o o be càdlàg. Heceforh from 5.7 we obai ha Y L o he se [,δ ]. If = δ < T we have Y = U L ad if = δ = T we have Y = ξ L. By cosequece for all, Y L. As he barriers L ad U are opioal, usig he opioal secio heorem Grigorova e al. (217a, Proposiio A.4) we have P-a.s., Y L. The proof is complee. Nex, weshowheexiseceofhelocalsoluioofhe reflecedbsde(f,ξ,l,u) o [,δ ]. Proposiio 5.3. There exiss wo measurable processes ( K ) T ad ( M ) T such ha (Y, M, K,) T is a local soluio of RBSDE i 3.3 o [,δ ], ha: K S 2, M M loc wih M =. Y = Y δ + δ f(s,y s )ds+ K δ K δ d M s, a.s. Y T = ξ, (5.8) [,δ ],L Y U,a.s., ad δ (Y s L s )d K, s + s<δ (Y s L s ) + K s =, a.s.. Proof: For ay ad [,δ ] ad sice he process A moves oly whe Y reaches he barrier U (he A = A δ ), we have δ δ Y = Yδ + f(s,ys )ds+ (Ys L s ) ds+ δ (Y L +,i ) dms.,i,i<δ O he oher had, for, le (Ȳ, M ) δ be he uique soluio of he BSDE associaed wih he coefficie f(,y )+(y L ) +,i< (y +,i L,i ), he

11 RBSDEs wih wo compleely separaed barriers. 11 ermial value Y δ ad a bouded ermial ime δ, ha is, E(sup s δ Ȳ s 2 +[ M ] δ ) < Ȳ = Yδ + δ f(s,ȳ s )ds+ δ (Ȳ s L s) ds+,i<δ (Ȳ +,i δ d M s. L,i ) The proof of exisece ad uiqueess is obaied by he same argumes such ha i Hamadèe ad Hassai (25, 3.2. Proposiio) or Hassairi (216, Proposiio. 4) sice δ is bouded. We have (Yδ ) ր Y δ U δ, hece from he Lebesgue domiaed covergece heorem we ge E( Y δ Y δ ) = as. Therefore he sequece of processes ((Ȳ, M, (Ȳ s L s) ds+ (Ȳ,i< +,i L,i ) ) δ ) coverges i Sδ 2 M 2 δ Sδ 2 (Sδ 2 ad M 2 δ are he same as S 2 ad M 2 excep for ha T is replaced by he soppig ime δ ) o (Ŷ, ˆM, ˆK ) δ such ha: E(sup s δ Ŷs 2 +[ ˆM] δ ) <, ˆK s S 2 δ ad ˆK =. Ŷ = Y δ + δ f(s,ŷs)ds+( ˆK δ ˆK ) δ d ˆM s, δ, Ŷ L ad δ (Ŷs L s )d ˆK s + s<δ (Ŷs L s ) + ˆKs =. Now by 5.2, 5.9 ad uiqueess of he soluio o [,δ ] implies ha for ay [,δ ], Y = Ȳ ad M = M. Therefore Y = Ŷ for ay [,δ ], E(sup s δ Y s 2 +[ ˆM] δ ) < ; ˆK s Sδ 2 ad ˆK = Y = Y δ + δ f(s,y s )ds+( ˆK δ ˆK ) δ d ˆM s, δ, δ L Y U ad δ (Y s L s )d ˆK s + s<δ (Y s L s ) + ˆKs =. For ay T, le us se K = ( ˆK δ ˆK )1 [ ] ad M = ˆM 1 [ δ] (see Remark 5.9), we deduce ha (Y, M, K,) T is a local soluio of RBSDE i 3.3 o [,δ ] The decreasig pealizaio scheme. We ow cosider he followig decreasig pealizaio scheme for ay : Ỹ, K S 2, M M loc wih M =. Ỹ = ξ + (f(s,ỹ s ) (U s Ỹ s ) )ds (U,i<T Ỹ,i ) +,i + K T K d M s, P a.s., Ỹ L, [,T], a.s., (Ỹ s L s )d K s + s<t (Ỹ s L s) + K s =, a.s. (5.1) Firs we oe ha he exisece of he riple (Ỹ, M, K ) is due o Klimsiak e al. (216, Theorem 4.1) ad he followig remark. Remark 5.4. A riple (Y,M,K) is a soluio for he BSDE wih a lower reflecig barrier associaed wih (f,ξ,l) iff ( Y, M,K) is a soluio of he BSDE wih a upper reflecig barrier associaed wih ( f(, ω, y), ξ, L). (5.9)

12 12 Baadi Brahim ad Oukie Youssef For ay soppig ime T ad ay, le us se θ = if{s,ỹ s = L s} T. By Proposiio 4.3, we have Ỹ Ỹ +1 L he he sequece (Ỹ ) coverges o Ỹ ad (θ ) is decreasig ad coverges o aoher soppig ime θ = lim θ. UsighesameargumesiProposiio5.2adProposiio5.3 ad by remark 5.4, we ge: Proposiio 5.5. The followig properies hold rue P-a.s.: (i): Ỹ θ 1 [θ<t] = L θ 1 [θ<t]. (ii): T,Ỹ U. (iii): There exiss wo measurable processes (à ) T ad ( M ) T such ha (Ỹ, M,,à ) T is a local soluio of RBSDE i 3.3 o [,θ ], ha: à S 2, M M loc wih M =. Ỹ = Ỹθ + θ f(s,ỹs)ds à θ +à θ d M s, P a.s. Y T = ξ, [,θ ],L Ỹ U,a.s., ad θ (U s Ỹs )dã s + s<θ (U s Ỹs ) + à s =, a.s.. (5.11) 5.3. Exisece of he local soluio. Recall ha Y (resp. Ỹ) is he limi of he icreasig (resp. decreasig) approximaig scheme. We are goig o show ha he processes Y ad Ỹ are udisiguishable. Proposiio 5.6. P-a.s., for ay T, Y = Ỹ. Proof: We prove he equaliy i wo seps, firs we show ha Y Ỹ, ad secod we show he oher iequaliy. For ha, le J (Y Ỹm ) deoe he local ime of Y Ỹ m a. For ay T ad ay,m, by he Iô-Taaka formula for regulaedprocesses(seeleglar(198,secio3,page538))appliedo(y Ỹ m ) + we have (Y Ỹm ) + = (Y Ỹm ) (Ys+ Ỹm which meas, (Y Ỹm s< ) + (YT Ỹm T )+ + 1 {Y s >Ỹ m s }d(y s Ỹm s )+ 1 2 J (Y Ỹm ) s+) + 1 {Y s Ỹ m s } +(Y s Ỹm s ) 1 {Y s > Ỹ s m} +(Y Ỹm ) + 1 {Y Ỹ m } +(Y Ỹm ) 1 {Y >Ỹ m }. 1 {Y s >Ỹ m s }(f(s,y s ) f(s,ỹ m s ))ds+ 1 {Y s >Ỹ s m}d(k s A s K s m +Ãm s ) 1 {Y s >Ỹ s m }d(m s M s m ) (5.12) As i he proof of he compariso resul (see Proposiio 4.3) we chow ha Y Ỹ m ad we ge Y Ỹ, for ay T.

13 RBSDEs wih wo compleely separaed barriers. 13 Now we prove ha Y Ỹ, T. Le be a soppig ime ad le δ ad θ be he soppig imes iroduced i Proposiio 5.2 ad 5.5 respecively. We have: Y δ θ = Y δ 1 [δ θ <T] +Y θ 1 [δ>θ ] +Y δ 1 [δ θ =T] L δ 1 [δ θ <T] +U θ 1 [δ>θ ] +Y δ 1 [δ θ =T] L δ 1 [δ θ <T] +Ỹθ 1 [δ>θ ] +Ỹδ 1 [δ θ =T] = Ỹδ θ (5.13) sice Y L, Ỹθ 1 [δ>θ ] = U θ 1 [δ>θ ] (Proposiio 5.5) ad Y δ 1 [δ θ =T] = Y δ 1 [δ θ =T] [δ <T] +Y δ 1 [δ θ =T] [δ =T] L δ 1 [δ θ =T] [δ <T] +ξ1 [δ θ =T] [δ =T] = Ỹδ 1 [δ θ =T]. Sice Y ad Ỹ saisfy he BSDEs 5.8 ad 5.11 respecively bewee ad δ θ, he usig compariso resul of soluio (Proposiio 4.3) of BSDEs wih (1 [<δ θ ]Y ) [,δ θ ] ad (1 [<δ θ ]Ỹ) [,δ θ ], we ge O he oher had from 5.13, we have 1 [<δ θ ]Y 1 [<δ θ ]Ỹ 1 [=δ θ ]Y 1 [=δ θ ]Ỹ which implies ha Y Ỹ. As is a arbirary soppig ime ad Y ad Ỹ are opioal processes he P-a.s. Y Ỹ by Baadi ad Oukie (217, Proposiio 2.4.) (or Nikeghbali (26, Theorem 3.2.)). We coclude ha Y = Ỹ P-a.s.. As a cosequece of he resul obaied i Proposiios 5.3, 5.5 ad 5.6 we have: Theorem 5.7. There exiss a uique measurable process (Y ) T such ha: i: T, L Y U ad Y T = ξ ii: for ay soppig ime, here exis aoher soppig ime λ P-a.s., ad a riple of measurable processes (M,K,A ) T such ha o [,λ ] he process (Y,M,K,A ) T is a local soluio for he refleced BSDE associaed (f,ξ,l,u), ( 5.1 i Defiiio 5.1). Remark 5.8. If we se ν = if{,y = U } T, = if{,y = L } T, whe ν λ, ha is Y reaches L ad U bewee he imes ad λ whe λ < T. Proof: By Proposiio 5.3 ad Proposiio 5.5 we have he firs poi (i). Le be a fixed soppig ime ad le (Y,λ,M,K,A ) ad (Y,λ,M,K,A ) wo soluiosforhe reflecedbsdeassociaed(f,ξ,l,u). Thebyhesameargume of Hassairi (216, Theorem 3.2.), we ca prove ha Y = Y. Le (Y, M, K,) T (resp. (Y, M,,Ã ) T ) be a local soluio of refleced BSDE i defiiio 5.1 o [,δ ] (resp. o [δ,λ ]) which exiss accordigo Proposiio 5.3 (resp. Proposiio5.5), where λ is a soppig ime such ha λ T Now for T, le M = M 1 [ δ]+ M 1 [δ λ ] (see Remark 5.9), K = K δ

14 14 Baadi Brahim ad Oukie Youssef ad A = Ã δ 1 [ δ]. For ay [,λ ] we have, Y = Y λ + λ f(s,y s )ds+kλ K (A λ A ) λ dm s, P a.s. [,λ ],L Y U a.s., ad λ (Y s L s )dks + s<λ (Y s L s ) + Ks =, a.s. ad λ (U s Y s )da s + s<λ (U s Y s ) + A s =, a.s.. (5.14) Ideed, if [δ,λ ], we have K λ K = ad 5.14 is saisfied from Ad if [,δ ], he from 5.1 we have, As δ δ Y = Y δ + f(s,y s )ds+kδ K dms. λ λ Y δ = Y λ + f(s,y s )ds (Ã λ Ã δ ) d M s δ δ he 5.14 is also saisfied sice K λ K δ =. Nowforay [,λ ], L Y U a.s. ad λ (Y s L s )dks + s<λ (Y s L s ) + Ks = δ (Y s L s )d K s + s<δ (Y s L s ) + K s = ad λ (U s Y s )da s + s<λ (U s Y s ) + A s = λ δ (U s Y s )dã s + δ s<λ (U s Y s ) + Ã s =. Fially Y T = ξ ad he process (Y,M,K,A ) is a local soluio for 5.1 o [,λ ]. Remark 5.9. If M is a local marigale w.r. F ad if ad δ are wo F -soppig imes such ha δ, he M 1 [ δ] is a F -marigale. Ideed: M 1 [,δ]() = 1 [,δ](s)dm s + M s d(1 [,δ](s)) = 1 [,δ](s)dm s M δ +M (5.15) The cosrucio of Y does o deped o bu he oes of M, K ad A do. 6. Exisece of a global soluio for refleced BSDE wih wo compleely separaed barriers. We are ow ready o give he mai resul of his paper. Le us assume ha he barriers L ad U ad heir lef limis are compleely separaed, i.e., hey saisfy he followig assumpio: The we have: [H] : P a.s., [,T], L < U ad L < U.

15 RBSDEs wih wo compleely separaed barriers. 15 Theorem6.1. Uder Assumpio [H], here exissauique process (Y,M,K,A ) T soluio of he refleced BSDE associaed wih (f,ξ,l,u). i.e., Y,K,A S 2,M M loc wih M =. Y = ξ + f(s,y s )ds+k T K (A T A ) dm s, T L Y U, a.s. T, ad (U s Y s )da s + (6.1) s<t (U s Y s ) + A s =, a.s., ad (Y s L s )dks + s<t (Y s L s ) + K s =, a.s.. Proof: Le (Y ) T be he process defied i Theorem 5.7, he L Y U ad Y T = ξ. Now le ( ) a sequece of soppig imes such ha = ad +1 = if{,y = U } T ad +2 = if{ +1,Y = L } T. Heceforh, for ay here exiss a riple (M,K,A ) T of processes such ha he process (Y,M,K,A ) T is a local soluio for he refleced BSDE associaed wih (f,ξ,l,u) o he se [, +1 ] (by Theorem 5.7). By he same argume i Hamadèe ad Hassai (25, 3.7. Theorem.) ( see also Hamadèe e al. (21, Theorem 4.1.), Hassairi (216, Theorem 4.1.) or Hamadèe ad Wag (29, Theorem 4.1)) we show ha P([ < T, ]) =, P-a.s. sice P-a.s.,, L < U. Which meas ha for ω Ω here exiss (ω) such ha (ω) = T. Nex le us iroduce he followig processes M, K, A: P-a.s., for ay T, oe ses K = K +(K K ) if ], +1 ] (K = ) A = A +(A A ) if ], +1 ] (A = ) M = M 1 [,1] + 1M 1 ], +1]. Sicehesequece( ) isp-a.s. ofsaioaryypeadforay,e([m] ) < he E([M] T ) <, P-a.s.. Nex le us show ha (Y,M,K,A) is he soluio of he refleced BSDE(ξ,f,L,U). For ay we have: P-a.s. for all [, +1 ], Y = Y For ay we have: P-a.s. Y = Y f(s,y s )ds+k +1 K (A +1 A ) +1 f(s,y s )ds+k +1 K (A +1 A ) Now for ay ad m we have: Y = Y m + m f(s,y s )ds+k m K (A m A ) m dm s. (6.2) +1 dm s. dm s. By he fac ha ( ) is of saioary ype ad akig m large eoughwe obai:, P-a.s., Y = ξ + f(s,y s )ds + K T K (A T A ) dm s. (6.3)

16 16 Baadi Brahim ad Oukie Youssef Now le [,T] he here exiss such ha [, +1]. The usig 6.2 he 6.3 we obai: Y = ξ + f(s,y s )ds+k T K (A T A ) dm s. which meas ha (Y,M,K,A) verify equaio (LU4) of Defiiio 4.1. Fially he processes K, A ad Y saisfy (Y s L s )dks + s<t (Y s L s ) + K s = ( +1 (Y s L s )dks, + s< +1 (Y s L s ) + Ks ) = by defiiio of K ad 6.1. I he same way we have (U s Y s )da s + s<t (U s Y s ) + A s =. The he process (Y,M,K,A) is a soluio for he refleced BSDE(ξ, f, L, U). Uiqueess is a direc cosequece of he compariso heorem (Proposiio 4.3). Refereces B. Baadi ad Y. Oukie. Refleced BSDEs whe he obsacle is o righcoiuous i a geeral filraio. ALEA, La. Am. J. Probab. Mah. Sa. 14, (217). B. Baadi ad Y. Oukie. Refleced BSDEs wih opioal barrier i a geeral filraio. Afr. Ma. 29, (218). K. Bahlali, S. Hamadèe ad B. Mezerdi. Backward sochasic differeial equaios wih wo reflecig barriers ad coiuous wih quadraic growh coefficie. Sochasic Processes ad heir Applicaios 115 (7), (25). S. Crépey ad A. Maoussi. Refleced ad doubly refleced BSDEs wih jumps: a priori esimaes ad compariso. Aals of Applied Probabiliy 18 (5), (28). J. Cviai ad I. Karazas. Backward sochasic differeial equaios wih reflecio ad Dyki games. Aals of Probabiliy 24, (1996). R. Dumirescu, M.-C. Queez ad A. Sulem. Geeralized Dyki games ad doubly refleced BSDE s wih jumps. Elecroic Joural of Probabiliy 21 (216). B El Asri, S Hamadee ad H Wag. l p -soluios for doubly refleced backward sochasic differeial equaios. Sochasic Aalysis ad Applicaios 29 (6), (211). H. Essaky. Refleced backward sochasic differeial equaio wih jumps ad RCLL obsacle. Bullei des Scieces Mahémaiques 132 (8), (28). H. Essaky, Y. Oukie ad N. Harraj. Backward sochasic differeial equaio wih wo reflecig barriers ad jumps. Sochasic Aalysis ad Applicaios 23 (5), (25). M. Grigorova, P. Imkeller, E. Offe, Y. Oukie ad M.-C. Queez. Refleced BSDEs whe he obsacle is o righ-coiuous ad opimal soppig. A. Appl. Probab 27 (5), (217a). M. Grigorova, P. Imkeller, Y. Oukie ad M.-C. Queez. Doubly Refleced BS- DEs ad E f -Dyki games: beyod he righ-coiuous case. arxiv prepri arxiv: (217b). S. Hamadèe ad M. Hassai. BSDEs wih wo reflecig barriers: he geeral resul. Probabiliy Theory ad Relaed Fields 132 (2), (25).

17 RBSDEs wih wo compleely separaed barriers. 17 S. Hamadèe ad M. Hassai. BSDEs wih wo reacig barriers drive by a browia moio ad a idepede poisso oise ad relaed dyki game. Elecro. J. Probab. 11 (2), (26). S. Hamadèe, M. Hassai ad Y. Oukie. Backward SDEs wih wo rcll reflecig barriers wihou mokobodski s hypohesis. Bullei des scieces mahemaiques 134 (8), (21). S Hamadèe ad I Hdhiri. BSDEs wih wo reflecig barriers ad quadraic growh coefficie wihou mokobodskis codiio. J. Appl. Mah. Soch. Aal (26). S. Hamadèe ad J-P. Lepelier. Refleced BSDEs ad mixed game problem. Sochasic processes ad heir applicaios 85 (2), (2). S. Hamadèe ad H. Wag. BSDEs wih wo RCLL reflecig obsacles drive by browia moio ad poisso measure ad a relaed mixed zero-sum game. Sochasic Processes ad heir Applicaios 119 (9), (29). I. Hassairi. Exisece ad uiqueess for d-soluios of refleced BSDEs wih wo barriers wihou mokobodzki s codiio. Commuicaios o Pure ad Applied Aalysis 15 (4) (216). T. Klimsiak. BSDEs wih moooe geeraor ad wo irregular reflecig barriers. Bullei des Scieces Mahémaiques 137 (3), (213). T. Klimsiak. Refleced BSDEs o filered probabiliy spaces. Sochasic Processes ad heir Applicaios 125 (11), (215). T. Klimsiak, M. Rzymowski ad L. Slomiski. Refleced BSDEs wih regulaed rajecories. arxiv: v1 [mah.pr] (216). E. Leglar. Tribus de Meyer e héorie des processus, Sémiaire de probabiliés de Srasbourg XIV 1978/79. Lecure Noes i Mahemaics 784, (198). A. Nikeghbali. A essay o he geeral heory of sochasic processes. Probab. Surv 3, (26). S. Peg. Moooic limi heorem of bsde ad oliear decomposiio heorem of doob-meyer s ype. Probab. Theory Rela. Fields 113, (1999). M. Topolewski. Refleced BSDEs wih geeral filraio ad wo compleely separaed barriers. arxiv prepri arxiv: (216).