arxiv: v1 [math.pr] 23 Jul 2015

Transcription

1 A unified approach o a priori esimaes for supersoluions of BSDEs in general filraions Bruno Bouchard Dylan Possamaï Xiaolu Tan Chao Zhou arxiv:57.643v [mah.pr 3 Jul 5 March 8, 8 Absrac We provide a unified approach o a priori esimaes for supersoluions of BSDEs in general filraions, which may no be quasi lef-coninuous. As an example of applicaion, we prove ha refleced BSDEs are well-posed in a general framework. Key words: Backward SDE, supersoluion, Doob-Meyer decomposiion, refleced backward SDE. MSC Classificaion ): 6H99 Inroducion Supersoluions of backward sochasic differenial equaions BSDEs from now on) were inroduced by El Karoui e al. in heir seminal paper [7, in order o sudy superhedging sraegies in mahemaical finance. In he simple conex of a filered probabiliy space Ω,F,F := F ) T,P) where F is he augmened) naural filraion of a d-dimensional Brownian moion W, a supersoluion of a BSDE wih erminal condiion ξ and generaor g consiss is a riple of F-adaped processes Y,Z,K), living in appropriae spaces, wih K predicable non-decreasing, such ha Y = ξ g s Y s,z s )ds Z s dw s + dk s, [,T, P a.s..) These objecs appeared laer o be a he very hear of he sudy of refleced BSDEs, as inroduced in El Karoui e al. [8, and more generally of BSDEs saisfying some consrain, see Cvianić, Karazas and Soner [4 for consrains on he Z-componen and Peng e al. [7,,, 3, 4 for general resricions. More recenly, supersoluions of BSDEs have proved o provide he semimaringale decomposiion of he so-called second order BSDEs, inroduced by Soner, Touzi and Zhang [6 and generalized by Possamaï, Tan and Zhou [5, and of he weak BSDEs sudied by Bouchard, Élie and Réveillac in [. CEREMADE, Universié Paris Dauphine, bouchard@ceremade.dauphine.fr. CEREMADE, Universié Paris Dauphine, possamai@ceremade.dauphine.fr. CEREMADE, Universié Paris Dauphine, an@ceremade.dauphine.fr, he auhor graefully acknowledges he financial suppor of he ERC 3 Rofirm, he ANR Isoace, and he Chairs Financial Risks Risk Foundaion, sponsored by Sociéé Générale) and Finance and Susainable Developmen IEF sponsored by EDF and CA). Deparmen of Mahemaics, Naional Universiy of Singapore, Singapore, mazc@nus.edu.sg. Research suppored by NUS Gran R

2 When he generaor g is equal o, he process Y defined above is nohing else bu a supermaringale, and.) is simply is Doob-Meyer decomposiion. This was generalized by Peng [ using he noion of non-linear supermaingales, see also [, 9 and he references herein. As seen hrough he above examples, supersoluions of BSDEs appear quie frequenly in he lieraure, as naural semimaringale decomposiions for various sochasic processes, and are ofen used o sudy heir fine properies. Having a hand a priori esimaes on he momens and on he sabiliy of supersoluions is crucial in hese conexs. Unforunaely, in almos all he previously cied works, wih he excepion of [5, such esimaes have been wrien in, roughly speaking, he conex of a Brownian filraion. This is raher limiing from he poin of view of boh he heory and he applicaions, and i has creaed a endency in he recen lieraure o reproduce very similar proofs every ime ha he conex was generalized. In his paper, we propose a general approach which allows one o consider a quie sufficienly general seing. In paricular, we do no assume ha he underlying filraion is generaed by a Brownian moion. In his case, one needs o inroduce anoher componen in he definiion of a supersoluion of a BSDE, namely a maringale M ha is orhogonal o W: Y = ξ g s Y s,z s )ds Z s dw s dm s + dk s, [,T, P a.s..) When K, such objecs were firs inroduced by El Karoui and Huang [6, and sudied more recenly by Kruse and Popier [3 o handle more general filraions, in he conex of L p -soluions, as in he seminal papers [7, 3. Supersoluions in general filraions play a crucial role for he class of refleced BSDEs sudied by Klimsiak [, which is, as far as we know, he mos general reference o dae. However, all [6, [, [3 sill impose ha he filraion is quasi lef-coninuous, a propery which, for insance, is no saisfied for he second order BSDEs sudied in [5. To undersand he simplificaions induced by he quasi lef-coninuiy assumpion, le us give a brief skech of he sraegy of proof usually used o obain esimaes, say in L for simpliciy: i) Apply Iô s formula o e α Y o obain e α Y +α = e αt ξ e αs Y s ds+ e αs Z s ds+ e αs Y s g s Y s,z s )ds e αs d[m s e αs Y s Z s dw s e αs Y s dm s + e αs Y s dk s. ii) Take expecaions on boh sides, use classical inequaliies namely Young and Burkholder-Davis- Gundy) and some coninuiy assumpions on g usually Lipschiz coninuiy) o conrol L -ype norms of Y,Z,M) by he norm of K imes a small consan, when α > is large enough. iii) Use he definiion of a supersoluion o conrol he norm of K by he norms of Y,Z,M), and conclude. Wha is acually hidden in his reasoning is ha, because of he quasi lef-coninuiy assumpion, he maringale M canno jump a predicable imes, and hus he bracke [M, K is idenically equal o. This is no longer rue for general filraions, in which case we have o deal wih he erm [M,K. I urns ou o be difficul o conrol, which makes his radiional approach no amenable o filraions ha are no quasi lef-coninuous. Noice ha in [, when he generaor does no depend on Z, here is no need for he quasi lef-coninuiy assumpion. Bu he general case requires i.

3 The main aim of our paper is o give a general proof of a priori esimaes and sabiliy for supersoluions of BSDEs in a possibly non-quasi-lef-coninuous filraion. The proof relies on he following propery: "I is sufficien o conrol he norm of Y o conrol he norm of Y,Z,M,K)." This is he philosophy of he esimaes of Meyer [9, Theorem ha apply o general supermaringales see also he generalizaion in [6, Thm 3.). In Secion, we show how i can be generalized o he non-linear conex of BSDEs. Namely, Theorem. below provides he exension of [9, Theorem o a supersoluion, while Theorem. is a version ha applies o he difference of wo supersoluions. Boh are valid for supersoluions ha are only làdlàg. In Secion 3, we use hese resuls o provide a well-posedness resul for refleced BSDEs wih a càdlàg obsacle. When here is no quasi lef-coninuiy assumpion on he filraion, his resul is no available in he exising lieraure. Noaions. For any l N\{}, we denoe he usual inner produc of wo vecors x,y) R l R l by x y. The Euclidean norm on R l is denoed by, and simplified o when l =. Le T > be fixed and le Ω,F,P) be a complee probabiliy space, equipped wih a filraion F = F ) T saisfying he usual condiions, and carrying a sandard d-dimensional F Brownian moion W. Imporanly, we do no assume ha he filraion is quasi lef-coninuous. Given p > and α >, we inroduce he classical spaces: L p is he space of R-valued and F T -measurable random variables ξ such ha ξ p L p := E[ ξ p < +. S p resp. S p r) denoes he space of R-valued, F-adaped processes Y, wih P-a.s. làdlàg resp. càdlàg) pahs, such ha [ Y p S p := E sup Y p < +. s T M p,α is he space of R-valued, F-adaped maringales M, wih P-a.s. càdlàg pahs, such ha M is orhogonal o W and [ ) p M p M := E e αs d[m p,α s < +. H p,α resp. H p,α ) is he space of Rd -valued resp. R-valued) and F-predicable processes Z such ha [ ) p Z p H := E e αs Z p,α s ds < +. I p,α resp. I p,α +, Ip,α r, I p,α +,r ) denoes he space of R-valued, F-predicable processes wih bounded variaions K, wih P-a.s. làdlàg resp. non-decreasing làdlàg, càdlàg, non-decreasing càdlàg) pahs, such ha [ ) p K p I := E e α p,α s dtvk) s < + and K =. In he above TVK) denoes he oal variaion of K. 3

4 We also define S p loc as he collecion of processes Y such ha, for an increasing sequence of sopping imes τ n ) n saisfying Plim n τ n = ) =, he localized process Y τn belongs o S p for each n. The spaces M p,α loc, Hp,α loc, Hp,α,loc, Ip,α loc, and Ip,α +,loc are defined similarly. Finally, for α =, we simplify he noaion M p := M p,, H p := H p,, H p := Ip, +, Ip r := I p, r and I p +,r := Ip, +,r. I p + := Hp,, Ip := I p,, Noe ha he above spaces do no depend on he precise value of α as we work on he compac ime inerval [, T, wo values of α acually provide equivalen norms. Sill, we keep he parameer α which, as usual, will be very helpful for many of our argumens. Given a làdlàg opional process X, such ha is righ-limi process X + is a semimaringale, and a locally bounded predicable process φ, we define he sochasic inegral as in [5: φ X) := φ s dx s := φ s dx + s φ X + X ),. Moreover, we define φ s dx s := φ sdx s φ sdx s. A priori esimaes Le us consider a BSDE wih erminal condiion ξ and generaor g : [,T Ω R R d R. For ease of noaions, we denoe g,ω) := g,ω,,). Alhough, we will have o differeniae beween possible values of p >, his parameer is fixed from now on. The following sanding assumpion is assumed hroughou his secion. Assumpion.. i) ξ L p, g H p and he process,ω) g ω,y,z) is F-progressively measurable for all y,z) R R d. ii) There are wo consans L y,l z ) R + such ha g ω,y,z) g ω,y,z ) Ly y y +L z z z,.) for all,ω,y,z,y,z ) [,T Ω R R d ). We recall here he definiion of a supersoluion. Definiion.. We say ha Y,Z,M,K) is a soluion resp. local soluion) of Y = ξ g s Y s,z s )ds Z s dw s dm s +K T K,.) if he above holds for any [,T, P a.s., and Y,Z,M,K) S p H p M p I p resp. Y,Z,M,K) S p loc Hp loc Mp loc Ip loc ). If moreover K Ip + resp. Ip +,loc ), we say ha Y,Z,M) is a supersoluion resp. a local supersoluion) of.).. Esimaes for he soluion Our main resul says ha i is enough, in order o conrol he S p -norm of Y of a soluion Y,Z,M,K), o conrol he norms of he oher erms Z,M,K). We emphasize ha he general seing we consider here creaes addiional difficulies ha have no been ackled so far in he lieraure, and which mainly 4

5 sems from he fac ha i is possible for he processes K and M o jump a he same ime, when he filraion is no quasi lef-coninuous. Therefore, he radiional approach which consiss in applying Iô s formula o Y p o derive he desired esimaes fails, as his makes he cross-variaion beween M and K appear, a erm ha has no paricular sign and canno be conrolled easily. Our message here is ha, in order o obain such esimaes in a general seing, one should rely on a deeper resul from he general heory of processes, namely he esimaes obained in Meyer [9 for general supermaringales, a version of which we recall in he Appendix below, see Lemma A.. The following is an exension o he non-linear conex. Theorem.. Le Y,Z,M,K) S p H p M p I p + be a soluion of.). Then, for any α, here is a consan C. α such ha Z p H + M p p,α M + K p p,α I C α p,α. ξ p L + Y p p S + g ) p p H p,α. Before proving his resul, we shall esablish more general inermediae esimaes, ha will also be used o conrol he difference of soluions in Theorem. below. They use he noaion We sar wih an easy remark. N := Z W +M K. Remark.. i) Firs noe ha for any l > and a i ) i n,+ ), n l ) n i= a l i n i= a i ) l n l ) n a l i..3) Le us now consider a soluion Y,Z,M,K) S p H p M p I p of.). Since W and M are orhogonal,.3) implies ha p ) Z p H p,α + M K p M p,α ) N p M p,α p ) Z p H p,α + M K p M p,α )..4) i= Moreover, if K I p,α + hen he Kunia-Waanabe inequaliy leads o d[m +Z W d[n+d[k) d[n+k dk +d[k) d[n+dk ), so ha, by.3) and he fac ha W and M are orhogonal, p ) M p M p,α + Z p H p,α ) M +Z W p M p,α p p ) in which he lef-hand side inequaliy remains rue even if K is no non-decreasing. ii) In he following, we shall also use he sandard Young s inequaliy ab βa p + b q qβp) q/p, for a,b R +, β >, p,q > and p + q iii) We also emphasize ha for Y,Z,M) S p H p M p, he process e pα s φ p Y s )dm +Z W), 5 N p M p,α +e αpt K p I p,α ),.5) =..6)

6 is a uniformly inegrable maringale, where φ p y) = y p sgny) y, for y R..7) Indeed, Burkholder-Davis-Gundy and Hölder s inequaliies imply [ E sup e pα s φ p Y s )dm +Z W) s T CE e pαs Y s p d[m s + e pαs Y s p Z s ds for some C >. Ce p )α T Y p S M p M p,α + Z H p,α), From now on, we use he generic noaion C, combined wih super- and subscrips, o denoe consans in our esimaes ha only depend on L y,l z,p and α. If hey depend on oher parameers, his will be made clear. Alhough we do no provide heir expressions explicily, our proofs are wrien in such a way ha he ineresed reader can easily keep rack of hem line afer line. In he following, he inequaliy.8) is he crucial one, his is he consequence of Meyer [9. Lemma.. Le Y,Z,M,K) S p H p M p I p be a soluion of.). i) If K I p +, hen for all α here exiss a consan Cα such ha.8) K p I C α e α Y p,α.8) p S + Z p p H + g ) p p,α H p,α..8) ii) If p, hen for all ε > here exiss α > and a consan C ε,α such ha.9) Y p H p,α + N p M p,α ε g p H p,α +C ε,α ξ p.9) L + e α Y p N) T p L p p> +E[e α Y ) K) T + p=..9) iii) If p,), hen for all ε > here exiss α > and a consan C ε,α such ha.) N p M ε g p p,α H p,α +C ε,α ξ p.) L + e α Y p p φ S p +E[epα p Y ) K) T +),.) where φ p is defined in.7). Proof. i) Le us firs prove.8). A simple applicaion of Iô s formula implies ha e α Y e α s g s Y s,z s )+ α ) Y s ds is a supermaringale. Moreover, he non-decreasing process in is Doob-Meyer decomposiion is eα s dk s. Therefore, Lemma A., Assumpion. and Jensen s inequaliy provide C A. p ) p K p I p,α Y eα e α s g s Y s,z s )+ α ) Y p s ds S [ p e p α ) Y p T +E e α s g s Y s,z s ) + α ) ) p ) S p Y s ds p ) + 3 p )T p L y + α ) p ) e α Y p S + 3p ) p L p z Z p H p,α + g p H p,α )),.) 6

7 in which he consan C A. p is as in Lemma A.. ii) We now urn o.9). As usual, we apply Iô s formula o e α Y, see [5, p.538 for he case of làdlàg processes, use Assumpion. and.6), o obain e α Y + α ε L y L z η e αt ξ +ε ) e αs g s ds e αs Ys ds+ η) e αs Z s ds+ e αs d[m K s e αs Y s dn s,.) for any ε,η),+ ). Combined wih.3), his implies ha C Y p H p,α +C Z p H + M K p p,α M 3 p p,α e p αt ξ p L +ε p p g ) p H p,α +3 p p e α Y N) T p L p p> +3 p p E[e α Y K) T + p=, where C := α ε L y L z η ) p, C := η) p and where we have used Remark.iii) in he case p =. Fix α > and η,) such ha C,C >. We hen deduce.9) from he righ-hand side of.4) for α large enough. iii) I remains o prove.). Since p <, we can no use he Burkholder-Davis-Gundy inequaliy wih exponen p/ o a maringale involving M, as i is only càdlàg. We hen follow he approach proposed recenly in [3. We firs appeal o Lemma A. below: in which e pα Y p + pp ) e pα T ξ p +p A T := pp ) <s T e pα s φ p Y s ) d[n c s + αp e pα s Y s p g s Y s,z s ) ds p e pα s Y s p ds+a T e pα s φ p Y s )dn s, e pα s N s Y s Y s + N s )p Ys Y s + N s, wih N := N + N. Recalling Assumpion. and using.6), his shows ha, for any β,γ >, ) e pα Y p pp ) T ) α T + β e pα s φ p Y s ) d[n c s +p L y pl z e pα s Y s p ds+a T 4β e pα T ξ p +p e pα s Y s p T g s ds p e pα s φ p Y s )dn s e pα T ξ p + g p H p,α + p p p p sup s T e α s Y s p p e pα s φ p Y s )dn s. Le us ake α L y +pl z /β) wih β < pp )/. Taking expecaions on boh sides, we obain [ E e pα s φ p Y s ) d[n c s +AT C.3) ξ p L +C p.3) g p H p,α +C 3.3) e α Y p S p +C 4.3) E[epα φ p Y ) K) T +,.3) 7

8 for some explici consans C i.3) ) i 4. We hen argue as in [3, Sep, Proof of Proposiion 3 and use.6) again o obain ha N p M p,α C ) p.3) ε p p) e α Y p + ε S p C.3) [ E e pα s φ p Y s ) d[n c s +AT, for ε >. We are now in posiion o complee he proof of Theorem.. Proof of Theorem... We firs assume ha p. In he course of his proof, we will have o choose α > large o apply.9). However, since he norms in { p H,α > } resp. p,α { p H p,α,α > } and { p M,α > }) are equivalen for differen values of α, his is enough o prove p,α our general resul. We firs esimae he las erm in.9): e α Y N) T p L p p e α Y M +Z W)) T p L p + e α Y ) K) T p L p, in which, for any δ >, recall.6), and wih e α Y K) T p L p e α Y M +Z W)) T p L p C p := e α Y p 4δ S +δ K p p I, p,α C pe C p) 4δ [ e α Y ) p e αs Ys d[m 4 +Z W s p +δ M +Z S W p p M, p,α p p ) p p p> + p=,.4) by Burkholder s inequaliy, see e.g. [, Theorems 8.6 and 8.7. Combining he above inequaliies wih.5) leads o e α Y N) T p L p p> + e α Y K) T p C.5) L p p= e α Y δ p S p+δc.5) N p M + K p ) p,α I, p,α.5) for some explici consans C.5) and C ha do no depend on δ. By insering he las.5) inequaliy in.9), for e.g. ε = and α chosen appropriaely, we obain for δ, ): δc 4.6) ) N p M C p,α.6) ξ p L +C p.6) g p H p,α + C 3.6) δ e α Y p S +δc4 p.6) K p I, p,α.6) in which he consans C i.6) ) i 4 are explici and do no depend on δ,). In view of he lef-hand side of.4) and.8),.6) provides he required bound on Z p H by choosing δ > p,α small enough, so ha we can hen use.8) again o deduce he corresponding bound on K p I : p,α Z p H + K p p,α I C p,α.7) ξ p L + Y p p S + g ) p p H p,α,.7) 8

9 for some consan C.7). Finally, i remains o appeal o.5),.6) and.7) o obain he required bound on M p M and conclude he proof in he case p. p,α. We now consider he case p,). We argue as above excep ha we now esimae he las erm in.) by using.6): E[e pα φ p Y ) K) T p δp p ) p e α Y p S +δ K p p I..8) p,α The laer combined wih.4),.5),.8) and.), as in he end of sep, provides he required resul afer choosing δ > small enough. When Y,Z,M,K) is only a local soluion of.), all he argumens above hold rue afer a localizaion. Then, using Faou s Lemma, i follows immediaely ha Y, Z, M, K) is a soluion. We formulae he following resul bu omi he proof. Proposiion.. Le Y,Z,M,K) be a local soluion of.). Suppose in addiion ha Y S p. Then, Y, Z, M, K) is a soluion of.).. Difference of soluions and sabiliy In his secion, we consider wo erminal condiions ξ,ξ, as well as wo generaors g and g, saisfying Assumpion.. We hen denoe by Y i,z i,m i,k i ) S p H p M p I p + a soluion of.) wih erminal condiion ξ i and generaor g i, and se N i := Z i W +M i K i, i =,. For noaional simpliciy, we also define δy := Y Y, δz := Z Z, δm := M M, δk := K K, δn := N N, δg,ω,y,z) := g,ω,y,z) g,ω,y,z), for all,ω,y,z) [,T Ω R R d. By Assumpion., we know ha here is an R-valued resp. R d -valued), F-progressively measurable process λ resp. η), wih λ L y resp. η L z ) such ha δg := g,y,z ) g,y,z ) = δg,y,z )+λ δy +η δz. Then, δy, δz, δm, δk) saisfies.) wih driver δg and erminal condiion δξ. In paricular, we can apply o i he resuls of Remark. and Lemma.. The main resul of his secion, Theorem. below, is in he spiri of Theorem.: i suffices o conrol he norm of δy o conrol he norms of δz and δm K). Seemingly, i should jus be an applicaion of Theorem. o δy, δz, δm, δk) as i saisfies an equaion of he form.). However, i is no he case: i) In Theorem., we will only conrol δm K) and no δm and δk separaely. Acually, as shown in Example A. below, here is no hope o conrol hese wo processes separaely even in he seemingly benign case where g = g =. ii) Acually, Theorem. can no be an immediae consequence of Theorem., because he process δk which appears in he dynamics of δy is no longer non-decreasing, and more imporanly because he resul of Lemma A. below does no hold for quasimaringales insead of supermaringales). However, i is a direc consequence of he inermediae esimaes of Lemma., which explains why hey have been isolaed. 9

10 iii) If one has a more precise knowledge of he behavior of he non-decreasing processes K and K, hen hese esimaes can acually be improved. We will make his poin more clear when we will rea he special case of refleced BSDEs in Secion 3. Le us now sae our resul. Theorem.. For any α, here is a consan C. α such ha δz p H p,α + δm K) p M p,α C α. δξ p L p + δy p S p + δy p p ) S p + δgy,z ) p H p,α The consan C. α depends on L y,l z,p and α, as well as Y i p, S ξ i p, p L g i,) p p H p,α ) i=,. Proof. In his proof, we ake α large enough so as o apply he esimaes of Lemma.. The general case is deduced by recalling ha he differen norms are equivalen for differen values of α, since [,T is compac.. We firs assume ha p. We shall apply.9) o δy,δz,δm). Le us esimae he las erm in his inequaliy. We firs use.3) o obain e α δy δn) T p L p p e α δy δm +δz W)) T p L p + e α δy ) δk) T p L p. We hen apply Burkholder inequaliy and use.3) again: e α δy δm +δz W)) T p L p Cp e α p δy δm +δz S p W p H p,α where C p is as in.4), while e α δy δk) T p L p e α δy p S p δk p I p,α. We can hen conclude he proof in he case p by using.9),.4) and he bounds of Theorem. applied o Z i,m i,k i ) i=,.. We now assume ha p,) and proceed as above bu use.) in place of.9). Namely, since E [e pα φ p δy ) δk) T e α δy p δk I S p p,α, i suffices o use.),.4) and he bound of Theorem. applied o K and K. ). 3 Applicaion o refleced BSDEs: a general exisence resul The resuls of he previous secion show ha i suffices o conrol he norm of Y resp. δy ) in order o conrol he norm of Z,M,K) resp. δz,δm,δk)), given a soluion Y,Z,M,K) resp. wo soluions Y,Z,M,K ) and Y,Z,M,K )) of.). In mos examples of applicaions, we know how o conrol he norm of Y and δy ). This is in paricular he case in he conex of refleced BSDEs see e.g. [8), BSDEs wih consrains see e.g. [4, 3), nd order BSDE see e.g. [6, 5), weak BSDEs see [). Le us exemplify his in he conex of refleced BSDEs. In paricular, he following resuls exend Klimsiak [,, o a filraion ha only saisfies he usual condiions, and may no be quasi lef-coninuous. For sake of simpliciy, we resric o he case of a càdlàg obsacle, see [9 and he references herein for he addiional specific argumens ha could be used for irregular obsacles. Recall ha S p r resp. I p r, I p +,r ) denoe he se of elemens of Sp resp. I p, I p + ) wih càdlàg pah, P-a.s.

11 3. A priori esimaes for refleced BSDEs In his secion, we assume ha Assumpion. holds for ξ and g. Definiion 3.. Le S be a càdlàg process such ha S + := S S p r. We say ha Y,Z,M,K) S p r H p M p I p +,r is a soluion of he refleced BSDE wih lower obsacle S if Y = ξ g s Y s,z s )ds Z s dw s dm s +K T K, 3.) holds for any [,T P a.s., and if Y S, [,T, P a.s., Y s S s )dk s =, P a.s. Skorokhod condiion) In order o provide a firs esimae on he componen Y of a soluion, we use he classical linearizaion procedure. By Assumpion., here exiss a R-valued resp. R d -valued), F-progressively measurable resp. F-predicable) process λ resp. η), wih λ L y resp. η L z ) such ha g s Y s,z s ) = g s +λ sy s +η s Z s, s [,T. Le us define X s := e s λsds, and dq dp := E η s dw s ) T,W Q := W + η s ds, 3.) in which E denoes he Doléans-Dade exponenial. Then, by Girsanov heorem, W Q is a Q-Brownian moion, M is sill a Q-maringale orhogonal o W Q, and we can re-wrie he soluion of he refleced BSDE 3.) as X Y = X T ξ X s gsds X s Z s dws Q X s dm s + X s dk s, [,T, X Y X S, [,T, X s Y s S s )dk s =. One can now use he link beween refleced BSDEs and opimal sopping problems. The proof is classical so ha we omi i, see [8 for a proof in a Brownian filraion and for a coninuous obsacle, or [4 for a càdlàg obsacle, and [5 for more resuls on opimal sopping. We denoe by T,T he se of [,T-valued F-sopping imes, while E and E Q sands for he F -condiional expecaions under P and Q. Proposiion 3.. Le Y,Z,M,K) and S be as in Definiion 3.. Then, [ τ X Y = esssup τ T,T E Q X s g sds+x τ S τ τ<t +X T ξ τ=t, and for all T. [ τ Y = esssup E g s Y s,z s )ds+s τ τ<t +ξ τ=t, τ T,T

12 Before coninuing, le us inroduce he soluion Y,Z,M) S p r H p M p of he following BSDE well-posedness is a direc consequence of Theorem 4. below, see also [3), Y = ξ g s Y s,z s )ds Z s dw s dm s, [,T, P a.s. A simple applicaion of he comparison resul, which can be proved as in [3, Proposiion 4, implies ha Y Y, [,T, P a.s. Le us firs show ha Proposiion 3. is acually enough o conrol he Y -erm of a soluion or he δy -erm of he difference of wo soluions) and herefore ha Theorems. and. apply o refleced BSDEs. Proposiion 3.. i) Le Y,Z,M,K) and S be as in Definiion 3.. Then, for any α, e α Y p S Cα p 3. ξ p L + [ e L y S + T ) p +E e Lys p p S g ds p s )+CY α e α Y p, S p for some consans C α 3. and Cα Y ha only depend on L y, L z and α. Moreover, if we replace S + by S in he above, we can ake C α Y =. ii) For i =,, le Y i,z i,m i,k i ) and S i be as in Definiion 3. for a generaor g i saisfying Assumpion. and erminal condiion ξ i L p. Then, for any α, e α δy p C α S 3. δξ p p L + e L [ y δs p +E e Lys p δgs Y S p s,zs) ) p ) ds, for some consan C α 3. ha only depends on L y, L z and α. Proof. i) Firs of all, we recall ha Y Y on [,T. Nex, we deduce from Proposiion 3. ha, for any < κ < p, { } e α Y sup [,T sup [,T = sup [,T + sup [,T e Ly+α ) E Q e Ly+α ) E [E { } e α Y [ e Ly+α )T+ κ κ ) L z T 3 κ κ { } + sup e α Y, [,T e Lys { g s ds+ sup e L ys S + } s +e L yt ξ s [,T η s dw s ) { } + sup e α Y [,T e Lys { g s ds+ sup e L ys S + } s +e L yt ξ s [,T [ T ) sup E e Lys κ { g s ds + sup e κl ys S s + ) κ} +e κlyt ξ κ κ [,T s [,T in which i is clear ha we could have suppressed he erm involving Y if we had used S insead of S +. )

13 Hence, we deduce from Doob s inequaliy ha ) e α Y p κ )T+p S p eply+α κ ) L z T p p ) 6 E[ p e Lys p g p s ds ) +e ply+α κ )T+pκ ) L z T p pe 6 p L y S + ) p +e plyt ξ p p S p L p + p e α Y p, S p where we have o replace he 6 p by 3 p if we use S insead of S +. ii) We know ha here exiss an R-valued resp. R d -valued), F-progressively measurable process λ resp. η), wih λ L y resp. η L z ) such ha g sy s,z s) g sy s,z s) = δg s Y s,z s)+ λ s δy s + η s δz s, s [,T, P a.s., so ha, by Proposiion 3. again, [ τ δy esssup E δgs Ys,Zs) +Ly δy s +L z δz s ) ds+ δs τ τ<t + δξ τ=t. τ T,T Since he righ-hand side in he above is he firs componen of he soluion of a refleced BSDE wih erminal condiion δξ, generaor g s y,z) := δgs Ys,Z s ) +Ly y +L z z and lower obsacle δs, we can apply o i he esimae of i) above. We now show ha one can acually ake advanage of he Skorokhod condiion saisfied by he soluion of a refleced BSDE o improve he general sabiliy resul of Theorem.. This resul is crucial in order o prove exisence of a soluion when p is arbirary, see he proof of Theorem 3. below. We only provide he resul for p =. I could be exended o p, ), bu his is no imporan as we can always reduce o p = by localizaion, again see he proof of Theorem 3. below. Proposiion 3.3. For i =,, le Y i,z i,m i,k i ) be as in ii) of Proposiion 3.. Then, for any any ε >, here exiss α large enough such ha ) δy H,α + δz H,α + δm K) M,α ε δgy,z ) H,α +C α 3.3 δξ e L + α δs, S for some consan C 3.3 α ha only depends on L y, L g, α, ε and Y i, S ξ i, L g i,) H,α ) i=,. Proof. I suffices o apply.4),.9) o δy,δz,δm,δk) and use he Skorokhod condiion o deduce he conrol [ [ E e αs δy s dδk s ) E e αs δs s dδk s ) e α δs δk S I,α, in which δk I,α is bounded by Theorem. and Proposiion Wellposedness of refleced BSDE under general filraion We can finally prove he exisence of a unique soluion o he refleced BSDEs 3.). Our proof is exremely close o he original one given in [8, bu relies on he more general esimaes given in his paper. 3

14 Theorem 3.. Le Assumpion. hold rue. Then, here is a unique soluion Y,Z,M,K) o he refleced BSDE 3.). Proof. The uniqueness is an immediae consequence of Proposiion 3.3, recall ha he Doob-Meyer decomposiion of he supermaringale M K is unique. We herefore concenrae on he problem of exisence.. Firs, le us consider he case p = and prove he exisence in 3 seps. i) We assume firs ha he funcion g does no depend on y,z), ha is, g,ω,y,z) = g,ω). Exisence of a soluion is guaraneed by [, Theorem.. Moreover, [, Corollary.8 implies [ τ Y = esssup E g s ds+s τ {τ<t} +ξ {τ=t} F, [,T, P a.s. τ T Hence, Y S since Y E [ ξ + g s ds+ sup s T S s F, so ha he Burkholder-Davis-Gundy inequaliy can be used o deduce ha ) Y S C ξ L + g H + S S, for some C >. Then, he fac ha Z,M,K) lies in he good space follows by Theorem.. ii) We now consider he general case. Given α >, le us consider he space S of processes Y, Z, L) such ha Y,Z) S r H,α, L is a càdlàg supermaringale such ha L =: M K where M is orhogonal o W, Y,Z,K,L) saisfies and Y S, [,T and Y S )dk =, P a.s., 3.3) Y,Z,L),α := e α Y S + Z H,α + L S <. We will show in Sep 3 below ha S,,α ) is a Banach space. Then, exisence can be proved by using he classical fixed poin argumen. Le us define Ȳ, Z, L ) :=,,) and Ȳ n, Z n, L n ) n by Ȳ n+ = ξ g s Ȳ s n, Z s n )ds Z n+ s dw s d L n+ s. 3.4) Using he esimaes of Proposiion 3.3, i follows ha, for α > large enough, Ȳ n, Z n ) n is a Cauchy sequence in H,α H,α, and hence a Cauchy sequence in S r H,α by he esimaes in Par ii) of Proposiion 3.. Moreover, by 3.4), we have L n L m = Ȳ n Ȳm ) Ȳ n Ȳm ) gs Ȳ s n, Z n s Z n s Z m s ) dw s ) g s Ȳ s m m, Z s ) ) ds. 3.5) 4

15 I follows ha Ȳ n, Z n, L n ) n is a Cauchy sequence in S,,α ), from which exisence follows. iii) S is clearly a subspace of a Banach space. I is herefore enough o show ha i is closed, in order o prove ha S is a Banach space. The only non rivial poin o check is ha he Skorokhod condiion in 3.3) passes o he limi. Le Y n,z n,l n ) n be a sequence in S ha converges o Y,Z,L) for he norm,α defined above. Clearly, L is sill a càdlàg supermaringale in S, by dominaed convergence. Le L = M K be is Doob-Meyer decomposiion. Noice ha he brackes [L n,w also converge a.s. o [L,W a leas along a subsequence) hanks o Burkholder-Davis-Gundy inequaliies. I follows ha he maringale par M of L is orhogonal o W. Finally, le us consider a sequence of sopping imes τ m ) m such ha he process sup n Y n S) [[,τm[[ is essenially bounded and τ m as m. Since Y n Y S + L n L S, i follows ha [ τm [ τm [ τm E Y S )dk = E Y S )dl = lim E Y n n S )dl n =. Since K is non-decreasing and Y S on [,T, we hus obain τm Y S )dk =, P a.s. Leing m, we see ha he Skorokhod condiion 3.3) holds rue for K.. Finally, le us consider he general case when p, ). In his case, we can define for n ξ n := n) ξ n, S n := n) S n, and g n ) := n) g ) n, so ha ξ n,s n,g n,,)) n L S r H,α, for any α. Thus by Sep, we know ha here is a unique soluion Y n,z n,m n,k n ) S r H M I +,r o 3.). Since ξ n,s n,g n,,)) n is a Cauchy sequence in L p S p r H p,α, he esimaes of Proposiion 3. and Theorem. show ha he sequence Y n,z n ) n is also a Cauchy sequence in S p r H p,α, for any α. Moreover, by a similar equaliy as in 3.5), i follows ha L n := M n K n ) n is also a Cauchy sequence in S p r. Using he same argumens as in iii) of Sep, i is easy o check ha is limi is a soluion o 3.). 4 Side remark Noe ha he exisence and uniqueness of a soluion Y,Z,M) S p r H p M p o he BSDE Y = ξ g s Y s,z s )ds Z s dw s dm s 4.) follows from he same argumens as he one used in Secion 3 whenever ξ L p and g H p. Indeed, we can bound he componen Y of a soluion as in he proof of Proposiion 3. by [ X Y = E Q X s g s,)ds+x T ξ, P a.s., in which X and Q are defined as in 3.). The difference of he Y -componens of wo soluions can be bounded similarly. Then, i suffices o apply he same fixed poin argumen as in he proof of Theorem 3.. 5

16 Theorem 4.. Le Assumpion. hold rue. Then, 4.) admis a unique soluion in S p r H p M p. Moreover, for all α, here exiss a consan C α 4. ha depends only on L y,l z and α, such ha e α Y [ p T ) S Cα 4. ξ p p L +E e Lys p ) g ds p s. Remark 4.. Recalling ha he difference of wo soluions, wih differen erminal condiions and drivers, is sill a soluion o a BSDE, he bound of Theorem 4. applies. Using similar noaions as above, we have: e α δy [ p T C α S p 4. δξ p L +E p e Lys δgs Y s,z s) ds ) p ). A Appendix Le us consider a srong supermaringale X S p on [,T. Then, is pahs are almos surely làdlàg, and i admis he unique) Doob-Meyer decomposiion see e.g. Merens [8) : X = X +M A I, A.) where M is a righ-coninuous maringale, A is a predicable non-decreasing righ-coninuous process wih A =, and I is a predicable non-decreasing lef-coninuous process wih I =. The following exends [6, Thm 3., which is he key ingredien of our main resuls, Theorem. and Theorem.. Lemma A.. For every consan p >, here is some consan C A. p supermaringale X S p wih he decomposiion A.)), one has > such ha, for all srong A I p + I I p C p A. X S p. Proof. i) We suppose in addiion ha X is righ-coninuous so ha I. Denoe X := sup T X and define X as he righ-coninuous version of he maringale E [ X F. Then X := X + X is a posiive righ-coninuous supermaringale on [,T, wih he Doob-Meyer decomposiion X = X +M ) A. Seing X := X T for [T,T +) and X = for [T +, ), hen X is in fac a righ-coninuous poenial recall ha a poenial is a non-negaive righ-coninuous supermaringale X on [, ) such ha lim E[ X = ). Using Meyer [9, Thm see also [6, Thm 3.), here is some consan C p such ha A I p C p X. S p By he definiion of X and Doob s maringale inequaliy, we ge A I p C p X C S p p + p ) X p S p. ii) We now consider he case when X is no necessary righ-coninuous. By Merens [8, we know ha he process X + I is a righ-coninuous srong supermaringale, and ha he lef-coninuous 6

17 process I is obained as he limi of an increasing sequence I := lim ε lim n I ε,n, where I ε,n is defined by I ε,n := n k= Xσ ε,n k X σ ε,n k + ) σ ε,n k <, in which σ ε,n k ) k n is he non-decreasing sequence of sopping imes which exhauss he firs n jumps of X such ha X X + ε. In Sep iii) we will show ha I ε,n I p C p X for some S p consan C p > independen of ε and n, hen i follows from he monoone convergence heorem ha I I p C p X C S p p + p ) X p S p, and hence A I p C p + p ) X +I p S p C p + p ) +C p p) X S p. iii) I is now enough o prove ha I ε,n I p C p X S p for some consan C p independen of n,ε). Noice ha he discree process X n := X,X σ ε,n,x σ ε,n +,,X σn ε,n,x σn ε,n + ) is a discree ime supermaringale. By inerpolaion, we can urn i ino a righ-coninuous srong supermaringale on [,T. Then, using he resuls in Sep i) we obain ha I ε,n I p C p X Sp, wih C p := C p + p ). p Remark A.. A careful reading of he proof in [9 shows ha he consan can be compued explicily and is given by k p k ) C p pj := min p p p p> + p,. k<p p j p j= Meyer s resul show ha for a supermaringale X wih Doob-Meyer s decomposiion X = M A, we can conrol A by X; he following example shows ha given wo supermaringales, we canno conrol he difference of he A pars by he difference of he supermaringales. Example A.. Le W be a one dimensional Brownian moion. Fix ε > and le V be defined by V := k W τk [τk,τ k+ )), where τ :=, τ k+ := inf{ τ k : W W τk ε}. Noice ha V is of finie variaion wih decomposiion V = V + V such ha V + and V are wo non-negaive non-decreasing and predicable process. Le X := W V + and X := V, hen sup X X = sup W V ε, bu V + V = V canno be conrolled by ε. We finally provide a echnical lemma used in he paper. Recall he definiion of φ p in.7) and observe ha φ p y) = y p y. 7

18 Lemma A.. Le X be a làdlàg semimaringale. Then for all p, ) and α >, we have P a.s. for any [,T e pα X p e pα T X T p p pp ) pp ) where we denoe X T+ := X T. <s T e pαsα X s p ds p e pα s φ p X s )dx s e pα s φ p X s ) d[x c s e pα s X s+ X s X s X s+ )p Xs X s+, Proof. This is an immediae consequence of a sraighforward adapaion of [3, Lemmas 7, 8 and 9, ogeher wih he Iô s formula for làdlàg processes in [5, p.538. References [ Bouchard, B., Élie, R., Réveillac, A. 5). BSDEs wih weak erminal condiion, Ann. Probab., 43): [ Bouchard, B., Possamaï, D., Tan, X. 5). A general Doob-Meyer-Merens decomposiion for g-supermaringale sysem, arxiv preprin, arxiv: [3 Briand, P., Delyon, B., Hu, Y., Pardoux, É., Soica, L. 3). L p soluions of backward sochasic differenial equaions, Soch. Proc. Appl., 8:9 9. [4 Cvianić, J., Karazas, I., Soner, H.M. 998). Backward sochasic differenial equaions wih consrains on he gain-process, Ann. Probab., 6:5 55. [5 El Karoui, N. 98). Les aspecs probabilises du conrôle sochasique, Ecole d Eé de Probabiliés de Sain-Flour IX-979, Lecure Noes in Mahemaics, 876: [6 El Karoui, N., Huang, S.-J. 997). A general resul of exisence and uniqueness of backward sochasic differenial equaions, In Backward sochasic differenial equaions Paris, ), volume 364 of Piman Res. Noes Mah. Ser., pp Longman, Harlow. [7 El Karoui, N., Peng, S., Quenez, M.-C. 997). Backward sochasic differenial equaions in finance, Mahemaical Finance, 7): 7. [8 El Karoui, N., Kapoudjian, C., Pardoux, E., Peng, S., Quenez, M.-C. 997). Refleced soluions of backward SDE s, and relaed obsacle problems for PDE s, Annals of Applied Probabiliy, 5): [9 Grigorova, M., Imkeller, P., Offen, E., Ouknine, Y., Quenez, M.-C. 5). Refleced BSDEs when he obsacle is no righ-coninuous and opimal sopping, arxiv preprin arxiv: [ Klimsiak, T. 3). BSDEs wih monoone generaor and wo irregular reflecing barriers, Bullein des Sciences Mahémaiques, 373):

19 [ Klimsiak, T. 4). Refleced BSDEs wih monoone generaor, Elecron. J. Probab, 77): 5. [ Klimsiak, T. 4). Refleced BSDEs on filered probabiliy spaces, arxiv preprin, arxiv: [3 Kruse, T., Popier, A. 5). BSDEs wih monoone generaor driven by Brownian and Poisson noises in a general filraion, arxiv preprin, arxiv:4.46. [4 Lepelier, J. P. and Xu, M. 5). Penalizaion mehod for refleced backward sochasic differenial equaions wih one r.c.l.l. barrier, Sa. and Prob. Le., 75): [5 Lenglar, É. 98). Tribus de Meyer e héorie des processus. Séminaire de probabilié, 4: [6 Lenglar, É., Lépingle, D., Praelli, M. 98). Présenaion unifiée de ceraines inégaliés de la héorie des maringales, Séminaire de probabiliés Srasbourg), 4:6 48. [7 Lin, Q., Peng, S. ). Smalles g-supersoluions for BSDE wih coninuous drif coefficiens, Chin. Ann. of Mah., B3): [8 Merens, J.-F. 97). Théorie des processus sochasiques généraux applicaions, aux surmaringales. Probabiliy Theory and Relaed Fields, ): [9 Meyer, P.-A. 968). Une majoraion du processus croissan naurel associé à une surmaringale, Séminaire de probabiliés Srasbourg), :66 7. [ Osȩkowski, A. ). Sharp maringale and semimaringale inequaliies, Birkhaüser. [ Peng, S. 999). Monoonic limi heorem of BSDE and nonlinear decomposiion heorem of Doob-Meyer s ype, Probabiliy Theory and Relaed Fields, 34): [ Peng, S., Xu, M. 5). The smalles g-supermaringale and refleced BSDE wih single and double L obsacles, Ann. I. H. Poincaré - PR, 4: [3 Peng, S., Xu, M. 7). Consrained BSDE and viscosiy soluions of variaion inequaliies, arxiv preprin, arxiv: [4 Peng, S., Xu, M. ). Refleced BSDE wih a consrain and is applicaions in an incomplee marke, Bernoulli, 63): [5 Possamaï, D., Tan, X., Zhou, C. 5). Sochasic conrol for a class of nonlinear sochasic kernels and applicaions, in preparaion. [6 Soner, M., Touzi, N., Zhang, J. ). Wellposedness of second order backward SDEs, Probabiliy Theory and Relaed Fields. 53-):