arxiv: v2 [math.pr] 10 Nov 2015

Transcription

1 Refleced scheme for doubly refleced BSDEs wh umps ad RCLL obsacles Roxaa DUMITRESCU Céle LABART arxv:5.888v [mah.pr] Nov 5 Augus 3, 8 Absrac We roduce a dscree me refleced scheme o solve doubly refleced Backward Sochasc Dffereal Equaos wh umps shor DRBSDEs), drve by a Browa moo ad a depede compesaed Posso process. As [5], we approxmae he Browa moo ad he Posso process by wo radom walks, bu corary o hs paper, we dscreze drecly he DRBSDE, whou usg a pealzao sep. Ths gves us a fully mplemeable scheme, whch oly depeds o oe parameer of approxmao: he umber of me seps corary o he scheme proposed [5], whch also depeds o he pealzao parameer). We prove he covergece of he scheme, ad gve some umercal examples. Key words : Double barrer refleced BSDEs, Backward sochasc dffereal equaos wh umps, umercal scheme. MSC classfcaos : 6H, 6H35, 6J75, 34K8. Iroduco No-lear backward sochasc dffereal equaos BSDEs shor) have bee roduced by Pardoux ad Peg he Browa framework her semal paper [8] ad he exeded o he case of umps by Tag ad L []. BSDEs appear as a useful mahemacal ool face hedgg problems) ad sochasc corol. Moreover, hese sochasc equaos provde a probablsc represeao for he soluo of semlear paral dffereal equaos. BSDEs have bee exeded o he refleced case by El Karou e al [7]. I her seg, oe of he compoes of he soluo s forced o say above a gve barrer whch s a couous adaped sochasc process. The ma movao s he prcg of Amerca opos especally cosraed markes. The geeralzao o he case of wo reflecg barrers has bee carred ou by Cvac ad Karazas [4]. I s well kow ha doubly refleced BSDEs DRBSDEs he followg) are relaed o Dyk games ad o he prcg of Israel opos or Game opos). The exeso o he case of refleced BSDEs wh umps ad oe reflecg barrer wh oly accessble umps has bee esablshed by Hamadèe ad Ouke []. Laer o, Essaky [8] ad Hamadèe ad Ouke [] have exeded hese resuls o a rgh-couous lef lmed RCLL) obsacle wh predcable ad accessble umps. Resuls cocerg exsece ad uqueess of he soluo for doubly refleced BSDEs wh umps ca be foud [3],[6], [], [3] ad [9]. CEREMADE, Uversé Pars 9 Dauphe, CREST ad INRIA Pars-Rocquecour, emal: roxaa@ceremade.dauphe.fr. The research leadg o hese resuls has receved fudg from he Régo Ile-de-Frace. LAMA, Uversé de Savoe, Le Bourge du Lac, Frace ad INRIA Pars-Rocquecour, emal: cele.labar@uv-savoe.fr, correspodg auhor

2 Numercal schemes for DRBSDEs drve by he Browa moo have bee proposed by Xu [] see also [7] ad [9]) ad, he Markova framework, by Chassageux []. I hs paper, we are eresed umercally solvg DRBSDEs drve by a Browa moo ad a depede Posso process he case of RCLL obsacles wh oly oally acessble umps. More precsely, we cosder equaos of he followg form: ) Y = ξ T + gs, Y s, Z s, U s )ds + A T A ) K T K ) ) [, T ], ξ Y ζ a.s., ) Y ξ )da = a.s. ad ζ Y )dk = a.s. Z s dw s U s dñs,.) {W : T } s a oe dmesoal sadard Browa moo ad {Ñ := N λ, T } s a compesaed Posso process. Boh processes are depede ad hey are defed o he probably space Ω, F T, F = {F } T, P). The processes A ad K have he role o keep he soluo bewee he wo obsacles ξ ad ζ. Sce we cosder ha he umps of he obsacles are oally accessble, A ad K are couous processes. I he o-refleced case, some umercal mehods have bee provded: [], he auhors propose a scheme for Forward-Backward SDEs based o he dyamc programmg equao ad [5], he auhors propose a fully mplemeable scheme based o a radom bomal ree. I he refleced case, a fully mplemeable umercal scheme has bee recely provded by Dumrescu ad Labar [5]. Ther mehod s based o he approxmao of he Browa moo ad he Posso process by wo radom walks ad o he approxmao of he refleced BSDE by a sequece of pealzed BSDEs. The am of hs paper s o propose a alerave scheme o [5] o solve.). The scheme proposed here akes he followg form: y = E[y + F ] + g, E[y + F ], z, u ) + a k, a, k, a k =,.) ξ y ζ, y ξ )a = y ζ )k =. I geeralzes he scheme proposed by [] o he case of umps. Compared o he scheme proposed [5], he scheme proposed here called refleced scheme he followg s based o he drec dscrezao of.). I parcular, here s o pealzao sep. The, hs mehod oly depeds o oe parameer of approxmao he umber of me seps ), corary o he scheme proposed [5] whch also depeds o he pealzao parameer). We provde here a explc refleced scheme ad a mplc refleced scheme ad we show he covergece of boh schemes. We llusrae umercally he heorecal resuls ad show hey cocde wh he oes obaed by usg he pealzed scheme preseed [5], for large values of he pealzao parameer. The paper s orgazed as follows: Seco we roduce oaos ad assumpos. I Seco 3, we precse he dscree me framework ad prese he umercal schemes. I Seco 4 we provde he covergece of he schemes. Numercal examples are gve Seco 5. Noaos ad assumpos I hs Seco we roduce oaos ad assumpos. We recall he resul o exsece ad uqueess of soluo o.). We also roduce some assumpos o he obsacles ξ ad ζ specfc o hs paper Assumpo.5). Le Ω, F, P) be a probably space, ad P be he predcable σ-algebra o [, T ] Ω. Le W be a oedmesoal Browa moo ad N be a Posso process wh esy λ >. Le F = {F, T } be he aural flrao assocaed wh W ad N. For each T >, we use he followg oaos:

3 L F T ) s he se of F T -measurable ad square egrable radom varables. [ ] H s he se of real-valued predcable processes φ such ha φ T H := E φ d <. BR ) s he Borela σ-algebra o R. S s he se of real-valued RCLL adaped processes φ such ha φ S := Esup T φ ) <. A s he se of real-valued o decreasg RCLL predcable processes A wh A = ad EA T ) <. Defo. Drver, Lpschz drver). A fuco g s sad o be a drver f g : Ω [, T ] R 3 R ω,, y, z, u) gω,, y, z, u) s P BR 3 )-measurable, g.,,, ) <. A drver g s called a Lpschz drver f moreover here exss a cosa C g ad a bouded, odecreasg couous fuco Λ wh Λ) = such ha dp d-a.s., for each s, y, z, u ), s, y, z, u ), gω, s, y, z, u ) gω, s, y, z, u ) Λ s s ) + C g y y + z z + u u ). Defo. Mokobodzk s codo). Le ξ, ζ be S. There exs wo oegave RCLL supermargales H ad H S such ha [, T ], ξ H H ζ a.s. The followg Theorem saes exsece ad uqueess of soluos o.) see for e.g. [3, Proposo 5.]). Theorem.3. Suppose ξ ad ζ are RCLL adaped processes S such ha for all [, T ], ξ ζ, Mokobodzk s codo holds ad g s a Lpschz drver. The, DRBSDE.) adms a uque soluo Y, Z, U, α) S H H S, where α := A K, A ad K A. Le us ow roduce a addoal assumpo o g, whch esures he comparso heorem for BSDEs wh umps see [, Theorem 4.]). The comparso heorem plays a key role he proof of he covergece of he pealzed scheme see [5]), whch s useful o prove he covergece of he refleced scheme see Seco 4). Assumpo.4. A Lpschz drver g s sad o sasfy Assumpo.4 f he followg holds : dp d a.s. for each y, z, u, u ) R 4, we have g, y, z, u ) g, y, z, u ) θu u ), wh θ θ. We also assume he followg hypohess o he barrers. Assumpo.5. ξ ad ζ are Iô processes of he followg form ξ = ξ + ζ = ζ + b ξ sds + b ζ sds + σ ξ sdw s + σ ζ sdw s + β ξ s dñs.) β ζ s dñs.) where b ξ, b ζ, σ ξ, σ ζ, β ξ ad β ζ are adaped RCLL processes such ha here exss r > ad a cosa C ξ,ζ such ha Esup s T b ξ s r ) + Esup s T b ζ s r ) + Esup s T σ ξ s r ) + Esup s T σ ζ s r ) + Esup s T β ξ s r ) + Esup s T β ζ s r ) C ξ,ζ. We also assume ξ T = ζ T a.s., ξ ζ for all [, T ]. 3

4 3 Dscree me framework ad umercal scheme 3. Dscree me framework For he umercal par of he paper, we adop he framework of [5] ad [5], preseed below. 3.. Radom walk approxmao of W, Ñ) For N, we roduce := T ad he regular grd ) =,..., wh sep sze.e. := ) o dscreze [, T ]. I order o approxmae W, we roduce he followg radom walk { W =, W = [/] = e, 3.) where e, e,..., e are depede decally dsrbued radom varables wh he followg symmerc Beroull law: Pe = ) = Pe = ) =. To approxmae Ñ, we roduce a secod radom walk {Ñ =, Ñ = [/] = η, 3.) where η, η,..., η are depede ad decally dsrbued radom varables wh law Pη = κ ) = Pη = κ ) = κ, where κ = e λ. We assume ha boh sequeces e,..., e ad η, η,..., η are defed o he orgal probably space Ω, F, P). The dscree) flrao he probably space s F := {F : =,..., } wh F = {Ω, } ad F = σ{e,..., e, η,..., η } for =,...,. The followg resul saes he covergece of W, Ñ ) he J -Skorokhod opology. We refer o [5, Seco 3] for more resuls o he covergece probably of F -margales. Lemma 3.. [5, Lemma3, III)] The couple W, Ñ ) coverges probably o W, Ñ) for he J - Skorokhod opology. We recall ha he process ξ coverges probably o ξ he J -Skorokhod opology f here exss a famly ψ ) N of oe-o-oe radom me chages from [, T ] o [, T ] such ha sup [,T ] ψ ) almos surely ad sup [,T ] ξ ψ ) ξ 3.. Margale represeao probably. Le y + deoe a F+ -measurable radom varable. As poed ou [5], we eed a se of hree srogly orhogoal margales o represe he margale dfferece m + := y + Ey + F ). We roduce a hrd margale creme sequece {µ = e η, =,, }. I hs coex here exss a uque rple z, u, v ) of F -radom varables such ha m + := y + Ey + F ) = z e + + u η + + v µ +, ad z = Ey + e + F ), u = Ey+η + F ) Eη+ ) F ) = κ Ey κ ) +η+ F ), 3.3) v = Ey+µ + F ) Eµ + ) F ) = κ Ey κ ) +µ + F ). The compuao of codoal expecaos s doe he followg way: 4

5 Remark 3.. Compug he codoal expecaos) Le Φ deoe a fuco from R + o R. We use he followg formula EΦe,, e +, η,, η +) F ) = κ Φe,, e,, η,, η, κ ) 3. Refleced schemes + κ Φe,, e,, η,, η, κ ) + κ Φe,, e,, η,, η, κ ) + κ Φe,, e,, η,, η, κ ). The barrers ξ ad ζ gve Assumpo.5 are approxmaed he followg way: for all k {,, } k ξk = ξ + = k ζk = ζ + = k b ξ + = k b ζ + = k σ ξ e + + = k σ ζ e + + = β ξ η +, 3.4) β ζ η ) Lemma 3.3. Uder Assumpo.5, here exss a cosa C ξ,ζ,t,λ depedg o C ξ,ζ, T ad λ such ha ) sup max E ξ r ) + sup max E ζ r ) + sup T E ξ r ) + sup E ζ r ) C ξ,ζ,t,λ T ) ξ resp. ζ ) coverges probably o ξ resp. ζ) J -Skorokhod opology. Proof. ) esues from Burkhölder-Davs-Gudy ad Rosehal equales, ad ) esues from [4, Theorem 6. ad Corollary 6.9]. I he followg Seco we roduce he mplc refleced scheme, whch s a ermedae scheme useful o prove he covergece of he refleced scheme.). 3.. Implc refleced scheme Afer he dscrezao of he me erval, our dscree refleced BSDEs wh wo RCLL barrers o small erval [, + [, for s { y = y + + g, y, z, u ) + a k z ε + u η + v µ +, a, k, a k =, ξ y ζ, y ξ )a = y ζ )k =. 3.6) wh ermal codo y = ξ. By akg he codoal expecao 3.6) w.r.. F, we ge y = ξ, y S ) = E[y + F ] + g, y, z, u ) + a k, a, k, a k =, ξ y ζ, y ξ )a = y ζ )k =. Lemma 3.4. For small eough, S ) s equvale o y = ξ, y S ) = Ψ E[y+ F ] + a k ), a = E[y + F ] + g, ξ, z, u ) ξ ), k = E[y + F ] + g, ζ, z, u ) ζ )+, where Ψy) := y g, y, z, u ). 5

6 Proof. For small eough, Ψ s verble because he Lpschz propery of g leads o Ψy) Ψy ))y y ) C g )y y ) > for ay y y. We frs prove ha S ) mples S ). Le us frsly assume ha, ξ < ζ. O he se {y = ξ } we have k =, he a = Ψξ ) E[y + F ] = E[y + F ] Ψξ )) sce E[y+ F ] Ψξ ) = Ψy ) Ψξ ) a ) ad o {y > ξ } we have a =, E[y + F ] Ψξ ) = Ψy ) Ψξ ) + k > haks o he mooocy of Ψ)). The, a = E[y + F ] Ψξ )). The same ype of proof leads o he fourh le of S ). If here exss such ha ξ = ζ, we ge ξ = ζ = y. The, we have a = or k =. If boh are ull, we ge Ψy ) = E[y + F ] = Ψξ ) = Ψζ ). Ths cocdes wh he defos of a ad k gve S ). If a >, k = ad we ge a = Ψy ) E[y + F ] = Ψξ ) E[y + F ], he a = E[y + F ] Ψξ )). Coversely, assume S ), le us prove a k =, y ξ )a = y ζ )k = ad ξ y ζ. If a >, we ge Ψζ ) Ψξ ) > E[y + F ], he k =. Le us prove ha y ξ )a =. If a >, Ψy ) = E[y + F ] + a = Ψξ ). Sce Ψ s a oe o oe map, we ge y = ξ. The same argume holds o prove y ζ )k =. Le us prove ha ξ y. To do so, assume ha y < ξ. I hs case a = k =, whch gves Ψξ ) E[y + F ], by defo of a. The Ψy ) = E[y + F ] Ψξ ). Ψ beg a o decreasg fuco, hs leads o absurdy. We also roduce he couous me verso Y, Z, U, A, K ) T of y, z, u, a, k ) : [/] Y := y[/], Z := z[/], U := u [/], A := a, K := I he followg Θ := Y, Z, U, A K ). 3.. Explc refleced scheme = [/] k. 3.7) = The explc refleced scheme s roduced by replacg y by E[y + F ] g. We oba y = y + + g, E[y + F ], z, u ) + a k z ε + u η+ v µ +, a, k, a k =, ξ y ζ, y ξ )a = y ζ )k =. 3.8) wh ermal codo y = ξ. By akg he codoal expecao 3.8) wh respec o F, we derve ha: y = ξ, S ) y = E[y + F ] + g, E[y + F ], z, u ) + a k a, k, a k =, ξ y ζ, y ξ )a = y ζ )k =. As for he mplc refleced scheme, we ge ha S ) s equvale o S ) y = ξ, y = E[y S ) + F ] + g, E[y + F ], z, u ) + a k, a = E[y + F ] + g, E[y + F ], z, u ) ξ ), k = E[y + F ] + g, E[y + F ], z, u ) ζ )+. We also roduce he couous me verso Y, Z, U, A, K ) T of y, z, u, a, k ) : Y := y [/], Z := z [/], U := u [/], A := a, K := k. 3.9) [/] I he followg Θ := Y, Z, U, A K ) ad α := A K. = [/] = 6

7 3.3 Implc pealzao scheme I hs Seco we recall he mplc pealzao scheme roduced [5]. The pealzao s represeed by he parameer p. As he mplc refleced scheme, hs scheme wll be useful o prove he covergece of he explc refleced scheme. For all {,, } we have y p, a p, y p, = y p, + + g, y p,, z p, = py p, ξ ), k p, := ξ. Followg 3.3), he rple z p,, u p, ) + a p, k p, = pζ yp, ),, u p, z p, z p,, v p, ) ca be compued as follows = Ey p, + e + F ), u p, = κ κ ) Eyp, v p, = κ κ ) Eyp, Takg he codoal expecao w.r.. F 3.), we ge y p, = Ψ p, ) Ey p, + F )), where Ψ p, y) = y g, y, z p, a p, = py p, z p, u p, = κ κ ) Eyp, ξ ) ; k p, = Ey p, + e + F ), + η + F ), We also roduce he couous me verso Y p, dscree equao 3.): Y p, e + + u p, η+ + vp, µ + ), + η + F ), + µ + F ). = pζ yp, ),, u p, ) py ξ ) + pζ y)., Z p,, U p,, A p, [/] := y p, [/], Zp, := z p, [/], U p, := u p, [/], Ap, := = 3.), K p, ) T of he soluo of he [/] a p,, K p, := ad α p, := A p, K p,. The followg resul esues from [5, Theorem 4. ad Proposo 4.]. = k p,, 3.) Theorem 3.5. Assume ha Assumpo.5 holds ad g s a Lpschz drver sasfyg Assumpo.4. The sequece Y p,, Z p,, U p, ) defed by 3.) coverges o Y, Z, U), he soluo of he DRBSDE.), he followg sese: r [, [ [ ] [ T ] [ T ]) T lm lm p E Y p, s Y s ds + E Z p, s Z s r ds + E U p, s U s r ds =. 3.) Moreover, Z p, resp. U p, ) weakly coverges H o Z resp. o U) ad for T, α p, ψ ) coverges weakly o α L F T ) as ad p, where ψ ) N s a oe-o-oe radom map from [, T ] o [, T ] such ha sup [,T ] ψ ) a.s.. 4 Covergece resul We prove hs Seco ha Θ coverges o Θ := Y, Z, U, A K ) T, he soluo o he DRBSDE.). The ma resul s saed he followg Theorem. Theorem 4.. Suppose ha Assumpo.5 holds ad g s a Lpschz drver sasfyg Assumpo.4. The we have [ ] T lm E Y Y d + Z Z d + U U d =. 7

8 Moreover, α ψ ) coverges weakly o α L F T ). Proof. To prove hs resul, we spl he error hree erms. The frs oe s he error Θ Θ, he secod oe s Θ Θ p,, where Θ p, := Y p,, Z p,, U p,, A p, K p, ) represes he soluo gve by he mplc pealzao scheme see 3.)), ad he hrd error erm s Θ p, Θ, whose covergece has already bee proved [5]. The resul o he covergece of Θ p, o Θ s recalled Theorem 3.5. We have he followg equaly for he error o Y he same equaly holds for he errors o Z ad U) E[ Y Y d] 3E[ Y Y d] + 3E[ Y Y p, d] + 3[ Y p, Y d]. For he creasg processes, we have: E[ α ψ ) α ] 3 E[ α ψ ) α ψ ) ] + E[ α ψ ) αp, The, combg Proposos 4.5, 4.6 ad Theorem 3.5 yelds he resul. ) ] + E[ α p, α ]. 4.) Defo 4. Defo of c ad N ). I hs Seco ad he Appedx, c deoes a geerc cosa depedg o C g, g,,, ) ad C ξ,ζ,λ,t. N s defed by N := 4T + C g + C g + C g eλt λ ). The res of he Seco s orgazed as follows: Seco 3.3 recalls he mplc pealzao scheme roduced [5] ad he covergece of Θ p, Θ, we gve some ermedae resuls Seco 4. ad we prove he covergece of Θ Θ see Proposo 4.5) ad he covergece of Θ Θ p, see Proposo 4.6) Seco Iermedae resuls I hs Seco we sae wo ermedae resuls useful for Seco 4.. Lemma 4.3. Uder Assumpo.5 we have sup E[ y ] + E z + κ κ ) u + = = a + k c. Proof. Sce ξ y ζ, Assumpo.5 gves sup E y ) c. Le us deal wh z ad u. To do hs, we apply Lemma B. wh = ad = + o he process y ad we sum he equaly from = o =. We ge: = = E[ y ]+ E[ z ] + κ κ ) E[ u ] = E[ ξ ] + = = E[y g, y, z, u )] + E[ ξ ] + g,,, ) + + = = E[ z ] + κ κ ) = E[y a ] = + C g + Cg Cg + κ κ ) = E[ u ] + α E[y k ], ) E[ y ] = E y ) + α E a ) + α = = E k ). = 8

9 Sce ξ y ζ, we ge a k Eξ+ G ) + g, ξ, z, u ) ξ ) = b ξ + g, ξ, z, u )), 4.) Eζ+ G ) + g, ζ, z, u ) ζ ) + = b ζ + g, ζ, z, u )) +. The, usg he Lpschz propery of g gves α E a ) 5α E[ b ξ + g,,, ) + Cg ξ + z + u )], 4.3) = ad he same resul holds for α c, we ge Sce 4C g = κ )κ E[ z ] + κ κ ) = λ λ e λ )e λ = = E k ). By Usg Assumpo.5 ad he equaly sup E y ) = ) E[ u ] c + + αc g = + κ κ ) + αc g E z ) κ κ ) ) E u ). ad e x xex e x ex, we ge κ )κ λ eλt. The, by akg α = λe λt ), we ge = E[ z ] + κ κ ) = E[ u ] c. Pluggg hs resul 4.3) eds he proof. = The same ype of proof gves he followg Lemma Lemma 4.4. Uder Assumpo.5, we have sup E[ y ] + E z + κ κ ) u + = 4. Proof of he covergece of Θ Θ ad Θ Θ p, = a + k c. Proposo 4.5. Assume ha Assumpo.5 holds ad g s a Lpschz drver. We have lm sup T = E[ Y Y ] + E[ Z s Zs ds] + E[ U s Us ds] =. 4.4) Moreover, lm α α ) = L F ), for [, T ]. Proof. Le us cosder y, he soluo of he dscree mplc refleced sheme 3.6) ad y, he soluo of he explc refleced scheme 3.8). We compue y y, we ake he expecao ad we ge: E[ y y ] E[ y + y + ] E[ z z ] κ κ )E[ u u ] + E[y y )g, y, z, u ) g, E[y + F ], z, u ))] [ E g, y, z, u ) g, E[y + F ], z, u )) + a a ) k k ) + E[y y )a a )] E[y y )k k )], = E[ y + y + ] E[ z z ] κ κ )E[ u u ] + E[y y )g, y, z, u ) g, E[y + F ], z, u ))]. ] 9

10 The las equaly comes from y y )a a ) ad y y )k k ) hs esues from he hrd ad fourh les of S ) ad S )). Takg he sum from = o we ge E[ y y ]+ E[ z z ] + κ κ ) E[ u u ] = = E[y y )g, y, z, u ) g, E[y + F ], z, u ))], = C g E [ y y y E[y + F ] ] + Cg + = = E[ z z ] + κ κ ) + ) κ κ ) = E[ y y ] E[ u u ]. 4.5) Sce y E[y + F ] = y y + y E[y + F ] = y y + g, E[y + F ], z, u ) + a k, we ge = C g E [ y y y E[y + F ] ] [ ) ] C g + )E[ y y ] + Cg E g, E[y + F ], z, u ) + a + k. Pluggg he prevous equaly 4.5) ad usg Lemma 4.4 gves E[ y y ] + E[ z z ]+ κ κ ) E[ u u ] = = ) + C g + Cg Cg + κ κ ) E[ y y ] + c. ) Le be bgger ha N, he + C g + Cg + C g κ κ ) < for all we have κ κ ) λ eλt ). The assumpo o eables o apply Growall s Lemma o ge sup E[ y y ] c. Pluggg hs resul he prevous equaly leads o 4.4). The covergece of A K ) A K ) esues from A K = Y Y A K = Y Y gs, Y s, Z s, U s )ds + gs, Y s, Z s, U s )ds + Z s dw s + Z s dw s + = U s dñ s, U s dñ s, from he Lpschz propery of g ad from 4.4). Proposo 4.6. Assume ha Assumpo.5 holds ad g s a Lpschz drver. For N, we ge sup E[ Y Y p, ] + E[ Zs Zs p, ds] + E[ Us Us p, ds] c. 4.6) T p Moreover, [, T ], E[ α α p, ] c p. Proof. Le us frs prove 4.6). From 3.6), 3.) ad Lemma B. appled o he process y y p, ) followg

11 he begg of he proof of Lemma 4.3, we ge E y y p, + = E z Le us deal wh he las wo erms z p, + κ )κ = = + = = E[y y p, E[ u u p, ] + κ )κ E[y y p, )a a p, = )g, y, z, u ) g, y p, )] = E[ v v p, ], z p,, u p, ))] E[y y p, )k k p, )]. y y p, )a a p, ) = y ξ )a y p, ξ )a y ξ )a p, + y p, ξ )a p, y p, ξ ) a. By usg same compuaos, we derve y y p, By usg he Lpschz propery of g, we ge E[ y y p, )k k p, ) y p, ζ ) + k. ] + E[ z z p, ] + κ κ ) E[ u u p, ] ) C g + Cg Cg + E[y y p, κ κ ) = ) ] + = E[y p, ξ ) a + y p, ζ ) + k ]. Usg Cauchy-Schwarz equaly gves E[ y y p, ] + E[ z z p, ] + κ κ ) ) C g + Cg Cg + κ κ ) [ y p, + E ξ ) ) ] = ) C g + Cg Cg + κ κ ) + E[a p, p ) ] p = = = E[y y p, ) ] E[a ) ] = E[y y p, ) ] E[a ) ] = E[ u u p, ] + = + p p = [ y p, E E[k p, ) ] ζ ) +) ] E[k ) ] = E[k ) ] Sce N, Lemma 4.3, Lemma A. ad Growall equaly gve 4.6). Cocerg α α p, α α p, =Y + Y p, ) Y Y p, ) Z s Z p, s )dw s + gs, Ys, Zs, Us ) gs, Ys p, U s U p, s )dñ s. =, Z p, s, Us p, )ds. we have I remas o ake he square of boh sdes, he he expecao, ad o use he Lpschz propery of g combg wh 4.6) o ge he resul.,

12 5 Numercal smulaos We cosder he smulao of he soluo of a DRBSDE wh obsacles ad drver of he followg form: ξ := W ) + T )Ñ+ T ), ζ := W ) + T )Ñ) +)+ T ), g, ω, y, z, u) := 5 y+z +6u. Table gves he values of Y wh respec o. We oce ha he algorhm coverges que fas. Moreover, he compuaoal me s low. Table : The soluo y a me = y CPU me Whe we use he explc pealzed scheme roduced [5], we ge y p, =.4353 for = 4 ad p =. The CPU me s.85s. Fgures, ad 3 represe oe pah he Browa moo, oe pah of he compesaed Posso process wh λ = 5) ad he correspodg pah of y, ξ, ζ ). We oce ha for all, y says bewee he wo obsacles. The values of y ad y p, are almos he same whe = 4 ad p =. The CPU mes are also of he same order. The ma advaage of he refleced scheme s ha here s oly oe parameer o ue ). oe Browa pah Fgure : Oe pah of he Browa moo for = 4. A Techcal resul for he mplc pealzed scheme I hs Seco, we use N ad c roduced Defo 4.. Lemma A.. Suppose Assumpo.5 holds ad g s a Lpschz drver. For each p N ad N we have sup E[ y p, ] + = E[ z p, ] + κ κ ) = E[ u p, ] + p = E[ a p, ] + p = E[ k p, ] c. Proof. By applyg Lemma B. o he process y p, bewee ad + ad by sumg he equaly from

13 oe compesaed Posso pah Fgure : Oe pah of he compesaed Posso process for λ = 5 ad = 4. raecores of he soluos ad he barrers y x zea Fgure 3: Traecores of he soluo y ad he barrers ξ ad ζ for λ = 5 ad = 4. 3

14 = o =, we ge E[ y p, ] + = Noe ha y p, a p, E[ z p, E[ y p, ] + ] + κ κ ) = E[ ξ ] + = p ap, ) + ξ ap, = = E[ u p, ] + κ κ ) E[ v p, ] E[ y p, ad y p, k p, E[ z p, ] + κ κ ) = E[ ξ ] + E[ g,,, ) ] + + = = E[ξ )a p, ] E[ζ )k p, ]. = g, y p, = p kp, =, z p,, u p, E[ u p, ] + p ) ] + E[ = y p, a p, ) + ζ kp,. We have ha: = E[ a p, ] + p + C g + Cg Cg + κ κ ) = ) E[ k p, ] = y p, k p, )]. E[ y p, ] We ge = E[ξ )ap, ] αesup ξ ) + α E ) = ap, ad = E[ζ )kp, ] βesup ζ ) + β E ). = kp, Followg he same ype of proof as [6, Lemma ], we ge E = a p, + E = k p, Cc + E[ = y p, + z p, ) + κ κ ) u p, + v p, )]. Fally, by akg α = β = 4C ad by applyg he Growall equaly we recall N ), we ge ha: sup E[ y p, + 4 = z p, + κ κ ) 4 = u p, + p = a p, + p = k p, ] c. B Some resuls o dscree sochasc calculus I hs seco we prese wo lemmas whch are used hroughou he paper. Lemma B.. Cosder wo egers ad,..., N ad y ) a dscree process. We have y = y + y y y ) + y y ). The proof comes from he compuao of b a) + a), we om. Lemma B.. A dscree Growall lemma) Le a, b ad α be posve cosas, b < ad a sequece v ) =,... of posve umbers such ha for every The v + α a + b v. = sup v + α ae bt. A proof of hs lemma ca be foud [7, Lemma.], so we om. 4

15 Refereces [] B. Bouchard ad R. Ele. Dscree-me approxmao of decoupled Forward-Backward SDE wh umps. Sochasc Processes ad her Applcaos, 8):53 75, 8. [] J.-F. Chassageux. A dscree-me approxmao for doubly refleced BSDEs. Adv. Appl. Probab., 4): 3, 9. [3] S. Crépey ad A. Maouss. Refleced ad doubly refleced BSDEs wh umps: a pror esmaes ad comparso. A. Appl. Probab., 85):4 69, 8. [4] J. Cvac ad I. Karazas. Backward sochasc dffereal equaos wh refleco ad Dyk games. The Aals of Probably, 4):4 56, 996. [5] R. Dumrescu ad C. Labar. Numercal approxmao of doubly refleced BSDEs wh umps ad RCLL obsacles. hp://hal.archves-ouveres.fr/hal-63, 4. [6] R. Dumrescu, M. Queez, ad A. Sulem. Double barrer refleced BSDEs wh umps ad geeralzed Dyk games. 4. [7] N. El Karou, C. Kapouda, E. Pardoux, S. Peg, ad M. Queez. Refleced soluos of Backward SDE s ad relaed obsacle problems for PDE s. The Aals of Probably, 5):7 737, 997. [8] E. Essaky. Refleced backward sochasc dffereal equao wh umps ad RCLL obsacle. Bulle des Sceces Mahémaques, 3):69 7, 8. [9] E. Essaky, N. Harra, ad Y. Ouke. Backward sochasc dffereal equao wh wo reflecg barrers ad umps. Sochasc Aalyss ad Applcaos, 3:9 938, 5. [] S. Hamadèe ad M. Hassa. BSDEs wh wo reacg barrers drve by a Browa moo ad a depede Posso ose ad relaed Dyk game. Elecroc Joural of Probably, : 45, 6. [] S. Hamadèe ad Y. Ouke. Refleced Backward Sochasc Dffereal Equao wh umps ad radom obsacle. Elec. Jour. of Prob., 8:, 3. [] S. Hamadèe ad Y. Ouke. Refleced Backward SDEs wh geeral umps. hp://arxv.org/abs/ , 3. [3] S. Hamadèe ad H. Wag. BSDEs wh wo RCLL Reflecg Obsacles drve by a Browa Moo ad Posso Measure ad relaed Mxed Zero-Sum Games. Sochasc Processes ad her Applcaos, 9:88 9, 9. [4] J. Jacod ad A. N. Shryaev. Lm heorems for sochasc processes, volume 88 of Grudlehre der Mahemasche Wsseschafe [Fudameal Prcples of Mahemacal Sceces]. Sprger-Verlag, Berl, secod edo, 3. [5] A. Leay, E. Mordeck, ad S. Torres. Numercal approxmao of Backward Sochasc Dffereal Equaos wh Jumps. hps://hal.ra.fr/ra-35799, Sep. 4. [6] J. Lepeler ad J. Sa Mar. Backward SDEs wh wo barrers as couous coeffce: a exsece resul. Joural of Appl. Prob., 4):6 75, 4. [7] J. Mém, S. Peg, ad M. Xu. Covergece of soluos of dscree Refleced backward SDE s ad Smulaos. Aca Mahemaca Sca, 4): 8,. [8] E. Pardoux ad S. Peg. Adaped soluo of a backward sochasc dffereal equao. Sysems Corol Le., 4):55 6, 99. [9] S. Peg ad M. Xu. Numercal algorhms for BSDEs wh -d Browa moo: covergece ad smulao. ESAIM: Mahemacal Modellg ad Numercal Aalyss, 45):335 36,. 5

16 [] M. Queez ad A. Sulem. BSDEs wh umps, opmzao ad applcaos o dyamc rsk measures. Sochasc Processes ad her Applcaos, 3): , 3. [] S. Tag ad X. L. Necessary codos for opmal corol of sochasc sysems wh radom umps. SIAM J. Co. ad Opm., 3: , 994. [] M. Xu. Numercal algorhms ad Smulaos for Refleced Backward Sochasc Dffereal Equaos wh Two Couous Barrers. Joural of Compuaoal ad Appled Mahemacs, 36:37 54,. 6