arxiv: v2 [math.pr] 12 Jul 2014

Transcription

1 Quadraic BSDEs wih L erminal daa Exisence resuls, Krylov s esimae and Iô Krylov s formula arxiv:4.6596v [mah.pr] Jul 4 K. Bahlali a, M. Eddahbi b and Y. Ouknine c a Universié de Toulon, IMATH, EA 34, La Garde, France e mail: bahlali@univ-ln.fr b Universié Cadi Ayyad, Faculé des Sciences e Techniques, Déparemen de Mahémaiques, B.P. 549, Marrakech, Maroc. e mail: m.eddahbi@uca.ma c Universié Cadi Ayyad, Faculé des Sciences Semlalia, Déparemen de Mahémaiques, B.P. 39 Marrakech, Maroc. e mail: ouknine@uca.ma June 9, 8 Absrac In a firs sep, we esablish he exisence (and someimes he uniqueness of soluions for a large class of quadraic backward sochasic differenial equaions (QBSDEs wih coninuous generaor and a merely square inegrable erminal condiion. Our approach is differen from hose exising in he lieraure. Alhough we are focused on QBSDEs, our exisence resul also covers he BSDEs wih linear growh, keeping ξ square inegrable in boh cases. As byproduc, he exisence of viscosiy soluions is esablished for a class of quadraic parial differenial equaions (QPDEs wih a square inegrable erminal daum. In a second sep, we consider QBSDEs wih measurable generaor for which we esablish a Krylov s ype a priori esimae for he soluions. We hen deduce an Iô Krylov s change of variable formula. This allows us o esablish various exisence and uniqueness resuls for classes of QBSDEs wih square inegrable erminal condiion and someimes a merely measurable generaor. Our resuls show, in paricular, ha neiher he exisence of exponenial momens of he erminal daum nor he coninuiy of he generaor are necessary o he exisence and/or uniqueness of soluions for quadraic BSDEs. Some comparison heorems are also esablished for soluions of a class of QBSDEs. Key words Quadraic Backward Sochasic Differenial Equaions, Nonlinear quadraic PDE, Iô s Krylov formula, Tanaka s formula, local ime. Inroducion Le (W T be a d dimensional Brownian moion defined on a complee probabiliy space (Ω,F,P. We denoe by (F T he naural filraion of W augmened wih P negligible ses. Le H(,ω,y,z be a real valued F progressively measurable process defined on Parially suppored by Marie Curie Iniial Training Nework (ITN Deerminisic and Sochasic Conrolled Sysems and Applicaions (PITN-GA , PHC Volubilis MA//4 and PHC Tassili 3MDU887

2 [, T] Ω R R d. Le ξ be an F T measurable R valued random variable. In his paper, we consider a one dimensional BSDE of he form, Y = ξ + H(s,Y s,z s ds Z s dw s, T (eq(ξ,h The daa ξ and H are respecively called he erminal condiion and he coefficien or he generaor of he BSDE eq(ξ,h. A BSDE is called quadraic if is generaor has a mos a quadraic growh in he z variable. For given real numbers a and b, we se a b := min(a,b, a b := max(a,b, a := max(, a and a + := max(,a. We also define, W,loc := he Sobolev space of (classes of funcions u defined on R such ha boh u and is generalized derivaives u and u belong o L loc (R. S := he se of coninuous, F adaped processes ϕ such ha E sup ϕ <. T M := he space of F adaped processes ϕ saisfying E ϕ s ds < +. L := he space of F adaped processes ϕ saisfying ϕ s ds < + P a.s. Definiion.. A soluion o BSDE eq(ξ,h is an F adaped processes (Y,Z which saisfy he BSDE eq(ξ,h for each [,T] and such ha Y is coninuous and Z s ds < P a.s., ha is (Y, Z C L, where C is he space of coninuous processes. The firs resuls on he exisence of soluions o QBSDEs were obained independenly in [6] and in [9] by wo differen mehods. The approach developed in [6] is based on he monoone sabiliy of QBSDEs and consiss o find bounded soluions. Laer, many auhors have exended he resul of [6] in many direcions, see e.g. [6, 8, 3,, 4]. For insance, in [8], he exisence of soluions was proved for QBSDEs in he case where he exponenial momens of he erminal daum are finie. In [4], a fixed poin mehod is used o direcly show he exisence and uniqueness of a bounded soluion for QBSDEs wih a bounded erminal daum and a (so called Lipschiz quadraic generaor. More recenly, a monoone sabiliy resul for quadraic semimaringales was esablished in [6] hen applied o derive he exisence of soluions o QBSDEs in he framework of exponenial inegrabiliy of he erminal daa. The generalized sochasic QBSDEs were sudied in [3] under more or less similar assumpions on he erminal daum. Applicaions of QBSDEs in financial mahemaics are also given in [6] wih a large bibliography in his subjec. I should be noed ha all he previous papers in QBSDEs were developed in he framework of coninuous generaors and bounded erminal daa or a leas having finie exponenial momens. I is naural o ask he following quesions : Are here quadraic BSDEs ha have soluions wihou assuming he exisence of exponenial momens of he erminal daum? If yes, in wha space hese soluions lie? Are here quadraic BSDEs wih measurable generaor ha have soluions wihou assuming he exisence of exponenial momens of he erminal daum? If yes, in wha space hese soluions lie? The presen paper gives posiive answers o hese quesions. I is a developmen and a coninuaion of our announced resuls [4]. We do no aim o generalize he previous papers

3 on QBSDEs, bu our goal is o give anoher poin of view (on solving QBSDEs which allows us o esablish he exisence of soluions, in he space S M, for a large class of QBSDEs wih a square inegrable erminal daum. Nex, in order o deal wih QBSDEs wih measurable generaor, we had o esablish a Krylov s ype a priori esimae and an Iô Krylov s formula for he soluions of general QBSDEs. To begin, le us give a simple example which is covered by he presen paper bu, o he bes of our knowledge, is no covered by he previous resuls. This example shows ha he exisence of exponenial momens of he erminal daum is no necessary o he unique solvabiliy of BSDEs in S M. Assume ha, (H ξ is square inegrable. Le f : R R be a given coninuous funcion wih compac suppor, and se M := sup y R f(y. The BSDEeq(ξ,f(y z is hen of quadraic growh since f(y z M z. Le u(x := x exp( y f(d dy. If (Y,Z is a soluion o he BSDE eq(ξ,f(y z, hen Iô s formula applied o u(y shows ha, u(y = u(ξ u (Y s Z s dw s If we se Ȳ := u(y and Z := u (Y Z, hen (Ȳ, Z solves he BSDE Ȳ = u(ξ Z s dw s Since boh u and is inverse are C smooh funcions which are globally Lipschiz and one o one from R ono R, we hen deduce ha he BSDE eq(ξ,f(y z admis a soluion (resp. a unique soluion if and only if he BSDE eq(u(ξ, admis a soluion (resp. a unique soluion. The BSDE eq(u(ξ, has a unique soluion in S M whenever u(ξ is merely square inegrable. According o he properies of u and is inverse, u(ξ is square inegrable if and only if ξ square inegrable. Therefore, even when all he exponenial momens are infinie he QBSDE eq(ξ,f(y z has a unique soluion which lies in S M. Noe ha, since hesign off is no consan, our example also shows ha he convexiy of he generaor is no necessary o he uniqueness. Assume now ha ξ is merely F T measurable, bu no necessarily inegrable. According o Dudley s represenaion heorem [], one can show as previously (by using he above ransformaion u ha when f is coninuous and wih compac suppor, he BSDE eq(ξ,f(y z has a leas one soluion (Y,Z which belongs o C L. In he firs par of his paper, we esablish he exisence of soluions for a large class of QBSDEs having a coninuous generaor and a merely square inegrable erminal daum. The generaor H will saisfy H(s,y,z (a+b y +c z +f( y z where f is some coninuous and globally inegrable funcion on R (hence can no be a consan and a,b,c are some posiive consans. Our approach consiss o deduce he solvabiliy of a BSDE (wihou barriers from ha of a suiable QBSDE wih wo Reflecing barriers whose solvabiliy is ensured by [3]. This allows us o conrol he inegrabiliy we impose o he erminal daum. In oher words, his idea can be summarized as follows: When H(s,y,z (a + b y + c z + f( y z, he exisence of soluions for he QBSDE eq(ξ, H can be deduced from he exisence of soluions 3

4 o he QBSDE driven by he dominaing generaor a + b y + c z + f( y z. Using he ransformaion u (defined in he above firs example, we show ha he solvabiliy of he QBSDE eq(ξ, a+b y +c z +f( y z is equivalen o he solvabiliy of a BSDE wihou quadraic erm which is more easily solvable. We also prove ha he uniqueness of soluions holds for he class of QBSDEs eq(ξ,f(y z under he L inegrabiliy condiion on he erminal daa. I is worh o noice ha he exisence resuls of [6, 8, 6,, ] can be obained by our mehod. We menion ha, in conras o he mos previous papers on QBSDEs, our resul also cover he BSDEs wih linear growh (by puing f =. I herefore provides a unified reamen for quadraic BSDEs and hose of linear growh, keeping ξ square inegrable in boh cases. In he second par of his paper, we begin by proving he Krylov inequaliy for he soluions of general QBSDEs from which we deduce he Iô Krylov formula, i.e. we show ha he Iô change of variable formula holds for u(y whenever Y is a soluion of a QBSDE, u is of class C and he second generalized derivaive of u merely belongs o L loc (R. We hen use his change of variable formula o esablish he exisence (and someimes he uniqueness of soluions. To explain more precisely how we ge our second aim, le us consider he following assumpion, (H There exis a posiive sochasic process η L ([, T] Ω and a locally inegrable funcion f such ha for every (, ω, y, z, H(,y,z η + f(y z P d a.e. We firs use he occupaion ime formula o show ha if assumpion (H holds, hen for any soluions (Y,Z of he BSDE eq(ξ,h, he ime spend by Y in a Lebesgue negligible se is negligible wih respec o he measure Z d. Tha is, he following Krylov s ype esimae holds for any posiive measurable funcion ψ, E τr ψ(y s Z s ds C ψ L ([ R,R], (. where τ R is he firs exi ime of Y from he inerval [ R,R] and C is a consan depending on T, ξ L (Ω and f L ([ R,R]. We hen deduce (by assuming (H (H ha : if(y,z is a soluion o he BSDEeq(ξ,H which belongs o S L, hen for any funcion ϕ C (R W,loc (R he following change of variable formula holds rue, ϕ(y = ϕ(y + ϕ (Y s dy s + ϕ (Y s Z s ds (. Inequaliy (. as well as formula (. are ineresing in heir own and can have poenial applicaions in BSDEs. They are esablished here wih minimal condiions on he daa ξ and H. Indeed, i will be shown ha hese formulas hold for QBSDEs wih a merely measurable generaor. For formula (. we require ha he erminal daum is square inegrable, while for inequaliy (. we do no need any inegrabiliy condiion on he erminal daum. Noice ha, alhough he inequaliy (. can be esablished by adaping he mehod developed by Krylov, which is based on parial differenial equaions [8] (see also [,,, 9], he proof we give here is purely probabilisic and more simple. As applicaion, we esablish he exisence of soluions in S M for he classes of QBSDEs eq(ξ, f(y z and eq(ξ, a+by+cz+f(y z assuming merely ha f is globally 4

5 inegrable and ξ is square inegrable. Remark ha, when f is no coninuous, he funcion u(x := x exp( y f(d dy is no of C class and he classical Iô s formula can no be applied. Neverheless, when f belongs o L (R, he funcion u belongs o he space C (R W,loc (R and hence formula (. can be applied o u. Our sraegy consiss hen o use he idea we developed in he firs par o show he exisence of a minimal and a maximal soluion for BSDE eq(ξ, a+b y +c z +f( y z. A comparison heorem is also proved for wo BSDEs of ype eq(ξ,f(y z whenever we can compare heir erminal daa and a.e. heir generaors. We hen deduce he uniqueness of soluions for he BSDEs eq(ξ,f( y z when ξ is square inegrable and f belongs o L (R. Tha is, even when f is defined merely a.e., he uniqueness holds. This gives a posiive answer o quesion. In paricular, he QBSDE eq(ξ, H has a unique soluion (Y,Z which belongs o S M when ξ is merely square inegrable and H is one of he following generaors: H (y,z := sin(y z if y [ π, π ] and H (y,z := oherwise, H (y,z := ( [a,b] (y [c,d] (y z for a given a < b and c < d, H 3 (y,z := (+y y z if y and H (y,z := oherwise. I should be noed ha he generaor H 3 (y,z is neiher coninuous nor locally bounded and he QBSDE eq(ξ,h 3 has a unique soluion in S M when ξ is merely square inegrable. We finally consider he BSDE eq(ξ,h. We assume ha ξ is square inegrable and H is coninuous in (y,z and H(s,y,z a+b y +c z +f( y z, wih f merely globally inegrable and locally bounded bu no necessarily coninuous. Alhough one can argue as in he firs par o obain he exisence of soluions from he soluions of a suiable Refleced BSDE, we give a differen proof which is based on a classical comparison heorem and an appropriae localizaion by a suiable dominaing process which is derived from he exremal soluions of he QBSDE eq(ξ,(a + b y + c z + f( y z. This allows us o consruc a suiable sequence of BSDEs eq(ξ n,h n whose localized (i.e. sopped soluions converge o a soluion of he BSDE eq(ξ,h. In he hird par, we esablish he exisence of viscosiy soluions for a class of non divergence form semilinear PDEs wih quadraic nonlineariy in he gradien variable. This is done wih a coninuous generaor and an unbounded erminal daum. I surprisingly urns ou ha here is a gap beween he BSDEs and he classical formulaion of heir associaed semilinear PDEs (see Remark 5., secion 5. Observe ha he class of quadraic PDEs we sudy in his paper can be used as a simplified model in some incomplee financial markes, see e.g. []. The paper is organized as follows. In secion, we sudy he QBSDEs wih a coninuous generaor and a square inegrable erminal daum. Krylov s esimae and Iô Krylov s formula for QBSDEs are esablished in secion 3. The solvabiliy of a class of QBSDEs wih measurable generaor is sudied in secion 4. An applicaion o he exisence of viscosiy soluions for Quadraic PDEs associaed o he Markovian QBSDE eq(ξ,f(y z is given in secion 5. QBSDEs wih L erminal daa and coninuous generaors We will esablish he solvabiliy ins M for some BSDEs wih a square inegrable erminal daa and a coninuous generaor. Our mehod consiss o consruc a soluion of a BSDE 5

6 wihou barriers from a soluion of a suiable BSDE wih wo Reflecing barriers. More precisely : Assuming ha ξ is square inegrable and f is coninuous and globally inegrable on R, we firs esablish he exisence of a minimal and a maximal soluion in S M for he BSDE eq(ξ, a + b y + c z + f( y z. An nex, we consider he BSDE eq(ξ,h wih H(s,y,z (a+b y +c z +f( y z. We hen use he minimal soluion of BSDE eq( ξ, (a+b y +c z +f( y z and he maximal soluion of BSDE eq(ξ +,a+b y + c z +f( y z as barriers, and apply he resul of [3] o ge he exisence of a soluion which says beween hese wo barriers. We finally deduce he solvabiliy of eq(ξ, H by proving ha he increasing sochasic processes, which force he soluions o say beween he barriers, are equal o zero. The following lemma is needed for he sequel of he paper. I allows us o eliminae he addiive quadraic erm. Lemma.. Le f be coninuous and belongs o L (R. The funcion x ( y u(x := exp f(d dy (.3 has he following properies, (i u C (R and saisfies he equaion u (x f(xu (x =, in R. (ii u is a one o one funcion from R ono R. (iii The inverse funcion u belongs o C (R. (iv u is a quasi isomery, ha is here exis wo posiive consans m and M such ha, for any x,y R, m x y u(x u(y M x y. The equaion eq(ξ,f(y z Remark.. Le ξ be an F T measurable random variable. According o Dudley [], here exiss a (non necessary unique F adaped process (Z T such ha Z s ds < P a.s and ξ = Z sdw s. The process (Y T defined by Y = ξ Z sdw s is F adaped and saisfies he equaion eq(ξ,. This soluion (Y,Z T is no unique. However, if we assume ξ L (Ω hen he soluion (Y,Z is unique and Y = E[ξ/F ]. The following proposiion shows ha he exponenial momen of ξ is no needed o obain he exisence and uniqueness of he soluion o quadraic BSDEs. Proposiion.. (i Assume (H be saisfied. Le f be a coninuous and inegrable funcion. Then he BSDE eq(ξ,f(y z has a unique soluion in S L (resp. in S M if and only if he BSDE eq(u(ξ, has a unique soluion in S L (resp. in S M. (ii In paricular, he BSDE eq(ξ,f(y z has a unique soluion (Y, Z which belongs o S M. Proof. Le u be he funcion defined in Lemma 4.. Theorem 3. and Lemma 4. allow us o show ha, (Y,Z is he unique soluion of BSDE eq(ξ, f(y z if and only if (Ȳ, Z := (u(y, u (Y Z is he unique soluion o BSDE eq(u(ξ,. We shall prove asserion (ii. Since ξ is square inegrable hen u(ξ is square inegrable oo. Therefore eq(u(ξ, has a unique soluion in S M. Asserion (ii follows now from asserion (i. 6

7 . The equaion eq(ξ,a+b y +c z +f(y z The BSDE under consideraion in his subsecion is, Y = ξ + where a, b, c R and f : R R. (a+b Y s +c Z s +f(y s Z s ds Z s dw s (.4 We refer o BSDE (.4 as equaion eq(ξ,a+b y +c z +f(y z. Proposiion.. Assume ha (H holds. Assume also ha f is coninuous and globally inegrable on R. Le u be he funcion defined in Lemma 4.. Then he BSDE eq(ξ, a + b y + c z + f(y z has a leas one soluion. Moreover all soluions of eq(ξ, a + b y + c z +f(y z are in S M. Proof. Iô s formula applied o he funcion u (which is defined in Lemma. shows ha (Y,Z is soluion o he BSDE eq(ξ,a + b y + c z + f(y z if and only if (Ȳ, Z := (u(y,u (Y Z is a soluion o he BSDE eq(u(ξ,(a + b u (ȳ u [u (ȳ] + c z. We shall prove he exisence of soluions o BSDE eq(u(ξ,(a+b u (ȳ u [u (ȳ]+c z. By Theorem 3. we have Ȳ = ξ + G(Ȳs, Z s ds Z s dw s (.5 where G(ȳ, z := (a+b u (ȳ u [u (ȳ]+c z. From Lemma., we deduce ha he generaor G is coninuous and wih linear growh, and he erminal condiion ξ := u(ξ is square inegrable (since Assumpion (H. Hence, according o Lepelier & San-Marin [], he BSDE (.5 has a leas one soluion in S M. To complee he proof, i is enough o observe ha he funcion u defined in Lemma. is sricly increasing. Alernaive proof o Proposiion.. In he previous proof of Proposiion., we had o use he Lepelier & San-Marin resul [] in order o quickly deduce he exisence of soluions which belong o S M whenever he erminal daum ξ is square inegrable. This fac will be proved below by using an alernaive proof which is in adequacy wih he spiri of he presen paper. To his end, we use a resul on wo barriers Refleced QBSDEs obained by Essaky & Hassani in [4] which esablishes he exisence of soluions for refleced QBSDEs wihou assuming any inegrabiliy condiion on he erminal daum. For he self conained, we sae he resul of [4] in he following heorem. Theorem.. ([4], Theorem 3.. Le L and U be coninuous processes and ξ be a F T measurable random variable. Assume ha for every [, T], L U L T ξ U T. 3 here exiss a coninuous semimaringale which passes beween he barriers L and U. 4 H is coninuous in (y,z and saisfies for every (s,ω, every y [L s (ω,u s (ω] and every z R d. f(s,ω,y,z η s (ω+c s (ω z where η L ([,T] Ω and C is a coninuous process. 7

8 Then, he following RBSDE has a minimal and a maximal soluion. (i Y = ξ + H(s,Y s,z s ds Z s db s + dk + s (ii T, L Y U, (iii (Y L dk + = dk s for all T (U Y dk =, a.s., (iv K + = K =, K+,K are coninuous nondecreasing. (v dk + dk (.6 We are now in he posiion o give our alernaive proof o Proposiion.. Noe ha, sinceuis sricly increasing, we hen only need o prove he exisence of a minimal and a maximal soluions for he BSDE (.5. Since ξ is square inegrable, hen according o Lemma. he erminal condiion ξ := u(ξ is also square inegrable. Once again, by using Lemma., one can show ha he generaor G of he BSDE (.5 is coninuous and wih linear growh. Indeed, since u( = and u is bounded by M (Lemma. (iv, we have G(y,z = (a+b u (y u [u (y]+c z Ma+mMb y +c z := g(y,z (.7 where m and M are he consans which appear in asserion (iv of Lemma.. Since he funcion g(y,z := Ma + mmb y + c z is uniformly Lipschiz and wih linear growh in (y,z, hen according o Pardoux & Peng resul [3], he BSDEs eq( ξ, g and eq( ξ +,g have unique soluions in S M, which we respecively denoe by (Y g,z g and (Y g,z g. Noe ha Y g is negaive and Y g is posiive. Using Theorem. (wih L = Y g, U = Y g, η = Ma+mMb( Y g + Y g +c, and C =, we deduce ha he Refleced BSDE (i Y = ξ + + dk + s H(s,Y s,z s ds Z s db s, T, dk s (ii T, Y g Y Y g (iii (Y Y g dk + = for all T, T (Y g Y dk =, a.s., (iv K + = K =, K+,K are coninuous nondecreasing. (v dk + dk (.8 has a leas one soluion (Y,Z,K +,K and (Y,Z belongs o C L. We shall show ha dk + = dk =. Since Y g is a soluion o he BSDE eq( ξ +,g, hen Tanaka s formula applied o (Y g Y + shows ha (Y g Y + = (Y g Y {Y g +L (Y g Y {Y g s >Y s} [H(s,Y s,z s g(s,y g s,zg s ]ds s >Y s} (dk+ s dk s + {Y g s >Y s} (Zg s Z sdw s 8

9 where L (Y g Y is he local ime a ime and level of he semimaringale (Y g Y. Since Y g Y, hen (Y g Y + = (Y g Y. Therefore, idenifying he erms of (Y g Y + wih hose of (Y g Y and using he fac ha: we obain, {Y g s >Y s} = {Y g s Y s} = {Y g s =Y s}, (Z s Z g s {Y g s =Y s} = for a.e. (s,ω Using he previous equaliies, one can show ha {Y g + s =Y s} (dk+ s dk s = L (Y g Y {Y g s =Y s} [g(s,y g s,z g s H(s,Y s,z s ]ds Since {Y g s =Y s} dk+ s =, i holds ha L (Y g Y+ = {Y g s =Y s} dk s {Y g s =Y s} [g(s,y g s,zg s H(s,Y s,z s ]ds Hence, {Ys g =Y s} dk s =, which implies ha dk =. Arguing symmerically, one can show ha dk + =. Therefore (Y,Z is a soluion o he (non refleced BSDE eq(ξ,h. Moreover Y belongs o S since boh Y g and Y g belong o S. Remember ha G is of linear growh and Y belongs o S, hen using sandard argumens of BSDEs, we deduce ha Z belongs o M. This complees he alernaive proof of Proposiion.". Remark.. The previous proof also consiue an alernaive proof o he resul of Lepelier & San-Marin for he exisence of a minimal and a maximal soluion o BSDEs wih coninuous and a mos of linear growh generaor. I is worh noing ha he idea consiss o consruc a soluion of a BSDE wih linear growh from a soluion of a Refleced Quadraic BSDE..3 The BSDE eq(ξ,h, wih H(s,y,z a+b y +c z +f( y z Consider he assumpions, (H4 For a.e. (s, ω, H is coninuous in (y, z (H5 There exis posiive real numbers a,b,c such ha for every s,y,z H(s,y,z a+b y +c z +f( y z := g(y,z, where f is some posiive coninuous and inegrable funcion. Theorem.. Assume ha (H, (H4 and (H5 are fulfilled. Then, he BSDE eq(ξ,h has a leas one soluion (Y,Z in S M. Proof of Theorem.. The idea is close o he above Alernaive proof of proposiion." and consiss o derive he exisence of soluion for he BSDE wihou reflecion from 9

10 soluions of a suiable barriers Refleced BSDE. Pu g(y,z := a+b y +c z +f( y z. According o Proposiion., le (Y g,z g be a soluion of BSDE eq(ξ +,g and (Y g,z g be a soluion of BSDE eq( ξ, g. We know by Proposiion. ha (Y g and Y g belong o S. Using Theorem. (wih L = Y g, U = Y g, η = a + b( Y g + Y g + c, and C = + sup s sup α [,] f(αys g + ( αys g, we deduce he exisence of soluion (Y,Z,K +,K o he following Refleced BSDE, such ha (Y,Z belongs o C L. (i Y = ξ+ + H(s,Y s,z s ds Z s db s, dk s + dks for all T (ii T, Y g Y Y g (iii, (Y Y g dk + = (Y g Y dk =, a.s., (iv K + = K =, K+,K are coninuous nondecreasing. (v dk + dk (.9 Arguing as in he proof of Proposiion. we end-up wih dk + = dk =. Therefore (Y,Z saisfies he (non refleced BSDE eq(ξ,h. Noe ha since boh Y g and Y g belong o S, hen Y S belongs o S oo. In order o complee he proof of Theorem., i remains o show ha Z belongs o M. To his end, we need he following lemma. Lemma.. Le f be coninuous and inegrable funcion on R. Se y ( x K(y := exp f(rdr dx. The funcion saisfies following properies: u(x := x ( y K(y exp f(d dy (i u belongs o C (R, and, u(x and u (x for x. Moreover, u saisfies, for a.e. x, u (x f(xu (x =. (ii The map x v(x := u( x belongs o C (R, and v ( =. (iii There exis c >, c > such ha for every x R, u( x c x and u ( x c x. We now prove ha Z belongs o M. For N >, le τ N := inf{ > : Y + v (Y s Z s ds N} T. Se sgn(x = if x and sgn(x = if x <. Le u be he funcion defined in Lemma. and v(y := u( y. Since v belongs o C (R, hen using Iô s formula i holds ha for every [,T], u( Y τn =u( Y + + τn τn [ ] u ( Y s Z s sgn(y s u ( Y s H(s,Y s,z s ds sgn(y s u ( Y s Z s dw s

11 Passing o expecaion and using successively assumpion (H5 and Lemma., we ge for any N > Hence, u( Y = u( Y τn τn + [sgn(y s u ( Y s H(s,Y s,z s ] u ( Y s Z s ds u( Y τn τn + [u ( Y s (a+b Y s +c Z s +f( Y s Z s ] u ( Y s Z s ds τn u( Y τn + [u ( Y s (a+b Y s +c Z s ] Z s ds τn u( Y τn + [u ( Y s (a+b Y s +cu ( Y s Z s ] Z s ds u( Y τn τn + [u ( Y s (a+b Y s +4[cu ( Y s ] + 4 Z s ] Z s ds 4 E τn Z s ds u( Y +E [ (a+b Ys u ( Y s +4c (u ( Y s ] ds We successively use Lemma. -(iii, he fac ha he process Y belongs o S and Faou s lemma, o show ha E Z s ds <. Theorem. is proved. 3 Krylov s esimaes and Iô Krylov s formula in QBSDEs Remark 3.. (i The Krylov esimae for QBSDEs is obained wih minimal condiions. Indeed, he generaor H will be assumed merely measurable and he erminal condiion ξ merely inegrable. (ii I is worh noing ha he change of variable formula we will esablish here for he soluions of QBSDEs is valid alhough he maringale par of Y can degenerae. Acually, he maringale par of Y can degenerae wih respec o he Lebesgue measure bu remains nondegenerae wih respec o he measure Z d. (iii The Krylov esimae for QBSDE we sae in he nex proposiion can be esablished by using Krylov s mehod [8] (see also [,, 9, ], which is based on parial differenial equaions. The proof we give here is probabilisic and very simple. I is based on he ime occupaion formula. 3. Krylov s esimaes in QBSDEs. Proposiion 3.. (Local esimae Assume (H holds. Le (Y, Z be a soluion of he BSDE eq(ξ,h and assume ha H(s,Y s,z s ds < P a.s. Then, here exiss a posiive consan C depending on T, R and f L ([ R,R] such ha for any nonnegaive measurable funcion ψ, τr E ψ(y s Z s ds C ψ L ([ R,R],

12 where τ R := inf{ > : Y R}. Proof. Wihou loss of generaliy, we can and assume ha η = in assumpion (H. Se τ N := inf{ >, Z s ds N}, τ M := inf{ >, H(s,Y s,z s ds M}, and pu τ := τ R τ N τ M. Le a be a real number such ha a R. By Tanaka s formula, we have τ (Y τ a = (Y a {Ys<a}dY s + La τ(y = (Y a τ {Ys<a}H(s,Y s,z s ds τ + {Ys<a}Z s dw s + La τ(y Since he map y (y a is Lipschiz, we obain La τ (Y Y τ Y + Passing o expecaion, we obain τ τ {Ys<a}H(s,Y s,z s ds {Ys<a}Z s dw s (3. supe[l a τ(y] 4R+M (3. a Since R Y τ R for each, hen Suppor(L a (Y τ [ R,R]. Therefore, using inequaliy (3., assumpion (H and he ime occupaion formula, we ge La τ (Y Y τ Y + Y τ Y + Y τ Y + Passing o expecaion, we obain τ τ a R E[La τ(y] E Y τ Y + {Ys<a} f(y s Z s ds {Ys<a} f(y s d Y s f(x L x τ N R(Ydx a Hence, by inequaliy (3. and Gronwall lemma we ge ( E[L a τ(y] E( Y τ Y exp R τ τ N R τ {Ys<a}Z s dw s {Ys<a}Z s dw s {Ys<a}Z s dw s f(x E[L x τ(y]dx < a R f(x dx E( Y τ Y exp ( f L ([ R,R] 4Rexp( f L ([ R,R] Passing o he limi on N and M (having in mind ha τ := τ R τ N τ M and using Beppo Levi heorem we ge E [ L a τ R (Y ] 4Rexp( f L ([ R,R]

13 Le ψ be an arbirary posiive funcion. We use he previous inequaliy o show ha Proposiion 3. is proved. τr τr E ψ(y s Z s ds = E ψ(y s d Y s E R R R R We now consider he following assumpion. ψ(al a T τ R (Yda ψ(ael a T τ R (Yda 4Rexp( f L ([ R,R] ψ L ([ R,R] (H3 The funcion f, defined in assumpion (H, is globally inegrable on R. Arguing as previously, one can prove he following global esimae. Corollary 3.. Assume ha (H, (H and (H3 are saisfied. Le (Y,Z S L be a soluion of BSDE eq(ξ,h. Assume moreover ha H(s,Y s,z s ds < P a.s. Then, here exiss a posiive consan C depending on T, ξ L (Ω, f L (R and E(sup T Y such ha, for any nonnegaive measurable funcion ψ, In paricular, where τ R := inf{ > : Y R}. E ψ(y s Z s ds C ψ L (R (3. τr E ψ(y s Z s ds C ψ L ([ R,R]. 3. An Iô Krylov s change of variable formula in BSDEs In his subsecion we shall esablish an Iô Krylov s change of variable formula for he soluions of one dimensional BSDEs. This will allows us o rea some QBSDEs wih measurable generaor. Le s give a summarized explanaion on Iô Krylov s formula. The Iô change of variable formula expresses ha he image of a semimaringale, by a C class funcion, is a semimaringale. When X := X + σ(s,ωdw s + b(s, ωds is an Iô s semimaringale, he so called Iô Krylov s formula (esablished by N.V. Krylov expresses ha if σσ is uniformly ellipic, hen Iô s formula also remains valid when u belongs o Wp,loc wih p sricly more large han he dimension of he process X. Here Wp,loc denoes he Sobolev space of (classes of funcions u defined on R such ha boh u and is generalized derivaives u, u belong o L p loc (R. The Iô Krylov formula was exended in [] o coninuous semimaringales X := X +M +V wih a non degenerae maringale par and some addiional condiions. The non degeneracy means ha he marix of he increasing processes M i,m j is uniformly ellipic. 3

14 Theorem 3.. Assume ha (H and (H are saisfied. Le (Y,Z be a soluion of BSDE eq(ξ,h in S L. Then, for any funcion u belonging o he space C (R W,loc (R, we have u(y = u(y + u (Y s dy s + Using Sobolev s embedding heorem and Lemma 3., we ge, u (Y s Z s ds (3.3 Corollary 3.. Assume (H and (H be saisfied. Le (Y,Z be a soluion of BSDE eq(ξ,h in S L. Then, for any funcion u Wp,loc (R wih p >, he formula (3.3 remains valid. Proof of Theorem 3.. For R >, le τ R := inf{ > : Y R}. Since τ R ends o infiniy as R ends o infiniy, i hen suffices o esablish he formula for u(y τr. Using Proposiion 3., he erm τ R u (Y s Zs ds is well defined. Le u n be a sequence of C class funcions saisfying (i u n converges uniformly o u in he inerval [ R,R]. (ii u n converges uniformly o u in he inerval [ R,R] (iii u n converges in L ([ R,R] o u. We use Iô s formula o show ha, u n (Y τr = u n (Y + τr u n(y s dy s + τr u n(y s Z s ds Passing o he limi (on n in he previous ideniy and using he above properies (i, (ii, (iii and Proposiion 3. we ge u(y τr = u(y + τr u (Y s dy s + τr u (Y s Z s ds Indeed, he limi for he lef hand side erm, as well as hose of he firs and he second righ hand side erms can be obained by using properies (i and (ii. The limi for he hird righ hand side erm follows from propery (iii and Proposiion QBSDEs wih L erminal daa and measurable generaors The presen secion will be developed in he same spiri of secion 3. The Iô Krylov formula (esablished in secion 4 will replace he Iô formula in all proofs. Thanks o Iô Krylov s formula, he following lemma, will play he same role as Lemma. when f is merely measurable. In paricular, i allows us o eliminae he addiive quadraic erm from he simple QBSDEs eq(ξ,f(y z and eq(ξ,a+b y +c z +f(y z. Lemma 4.. Le f belongs o L (R. The funcion x ( y u(x := exp f(d dy (4.4 saisfies hen he following properies, (i u C (R W,loc (R and saisfies, for a.e. x, u (x f(xu (x =. (ii u is a one o one funcion from R ono R. (iii The inverse funcion u belongs o C (R W,loc (R. (iv There exis wo posiive consans m and M such ha, for any x,y R, m x y u(x u(y M x y 4

15 4. The equaion eq(ξ,f(y z The following proposiion shows ha neiher he exponenial momen of ξ nor he coninuiy of he generaor are needed o obain he exisence and uniqueness of he soluion o quadraic BSDEs. Proposiion 4.. Assume (H be saisfied. Le f be a globally inegrable funcion on R. Then, he BSDE eq(ξ,f(y z has a unique soluion (Y, Z which belongs o S M. Proof. Le u be he funcion defined in Lemma 4.. Since ξ is square inegrable hen u(ξ is square inegrable oo. Therefore eq(u(ξ, has a unique soluion in S M. The proposiion follows now by applying Iô Krylov s formula o he funcion u which belongs o he space C (R W,loc (R. The following proposiion allows us o compare he soluions for QBSDEs of ypeeq(ξ,f(y z. The novely is ha he comparison holds whenever we can only compare he generaors for a.e. y. Moreover, boh he generaors can be non Lipschiz. Proposiion 4.. (Comparison Le ξ, ξ be F T measurable and saisfy assumpion (H. Le f, g be in L (R. Le (Y f,z f, (Y g,z g be respecively he soluion of he BSDEs eq(ξ,f(y z and eq(ξ,g(y z. Assume ha ξ ξ a.s. and f g a.e. Then Y f Y g for all P a.s. Proof. According o Proposiion 4., he soluions(y f,z f and(y g,z g belong os M. For a given funcion h, we pu x ( y u h (x := exp h(d dy The idea consiss o apply suiably Proposiion 3. o he u f (Y g T, his gives u f (Y g T = u f(y g + u f (Y g s dy g = u f (Y g +M T M + u f (Y g s Z g s ds s + u f (Y g s d Y g s u f (Y g s g(y g s Zg s ds Since u g(x g(xu g(x =, u f (x f(xu f (x = and u f (x, hen u f (Y g T = u f(y g +M T M u f (Y s g [g(ys g f(ys g ] Zs g ds where (M T is a maringale. Since he erm is posiive, hen u f (Y g s [g(y g s f(y g s ] Zg s ds u f (Y g u f(y g T +M T M 5

16 Since Y f and Y g is F adaped, hen passing o condiional expecaion and using he fac ha u f is an increasing funcion and ξ ξ, we ge u f (Y g E[ u f (Y g T /F ] = E[u f (ξ /F ] E[u f (ξ /F ] ( = u f Y f Passing o u g f, we ge Y Y f. Proposiion 4. is proved. The following uniqueness resul is a consequence of he previous proposiion. Corollary 4.. Le ξ saisfies (H and f, g be inegrable funcions. Le (Y f,z f and (Y g,z g respecively denoe he (unique soluions of he BSDE eq(ξ,f(y z and eq(ξ,g(y z. If f = g a.e., hen (Y f,z f = (Y g,z g in S M. Remark 4.. Proposiion 4. and Corollary 4. will be used in he PDEs par, o show he exisence of a gap in he classical relaion beween he BSDEs and heir corresponding PDEs. 4. The equaion eq(ξ,a+b y +c z +f(y z The BSDE under consideraion in his subsecion is, Y = ξ + where a, b, c R and f : R R. (a+b Y s +c Z s +f(y s Z s ds Z s dw s (4.5 We refer o BSDE (4.5 as equaion eq(ξ,a+b y +c z +f(y z. Proposiion 4.3. Assume ha (H is saisfied. Assume moreover ha f is globally inegrable on R. Then, he BSDE eq(ξ, a + b y + c z + f(y z has a minimal and a maximal soluion. Moreover all soluions are in S M. Proof. Le u be he funcion defined in Lemma 4.. Consider he BSDE Ȳ = ξ + G(Ȳs, Z s ds Z s dw s (4.6 where G(ȳ, z := (a+b u (ȳ u [u (ȳ]+c z. From Lemma 4., we deduce ha he erminal condiion ξ := u(ξ is square inegrable (since Assumpion (H and he generaor G is coninuous and wih linear growh. Arguing hen as in he "alernaive proof of Proposiion.", one can prove ha he BSDE (4.6 has a maximal and a minimal soluions in S M. Applying now he Iô Krylov formula o he funcion u (Ȳ, we show ha he BSDE eq(ξ, a + b y + c z + f(y z has a soluion. Since u is a sricly increasing funcion, we hen deduce he exisence of a minimal and a maximal soluions for he iniial equaion eq(ξ, a+b y +c z +f(y z. 6

17 4.3 The BSDE eq(ξ,h wih H(s,y,z a+b y +c z +f( y z Consider he assumpion, (H6 There exis posiive real numbers a,b,c such ha for every s,y,z H(s,y,z a+b y +c z +f( y z := g(y,z, where f is some posiive locally bounded inegrable funcion, bu no necessarily coninuous. Theorem 4.. Assume ha (H, (H4 and (H6 are fulfilled. Then, he BSDE eq(ξ,h has a leas one soluion (Y,Z which belongs o S M. Remark 4.. Alhough he proof of Theorem 4. may be performed as ha of Theorem., we will give anoher proof which consiss o use a comparison heorem and an appropriae localizaion by a suiable dominaing process which is derived from he exremal soluions of he wo QBSDEs eq( ξ, (a+b y +c z +f( y z and eq(ξ +,(a+b y +c z +f( y z. To prove Theorem 4., we need he following wo lemmas. The firs one allows us o show ha Z belongs o M while he second is a comparison heorem for our conex. Lemma 4.. Le f belongs o L (R and pu K(y := y exp( x f(rdrdx. The funcion x ( y u(x := K(y exp f(d dy saisfies following properies: (i u belongs o C (R W,loc (R, and, u(x and u (x for x. Moreover, u saisfies, for a.e. x, u (x f(xu (x =. (ii The map x v(x := u( x belongs o C (R W,loc (R, and v ( =. (iii There exis c >, c > such ha for every x R, u( x c x and u ( x c x. Lemma 4.3. (Comparison Le h (,ω,y,z be uniformly Lipschiz in (y,z uniformly wih respec o (,ω. Le h (,ω,y,z be F progressively measurable and such ha for every process (U,V S M, E h (s,u s,v s ds <. Le ξ i L (Ω, (i =,, be an F T measurable random variables. Le (Y, Z S M be he unique soluion of BSDE eq(ξ,h and (Y, Z S M be a soluion of BSDE eq(ξ,h. Assume ha, ξ ξ for a.s. ω and h (s,ys,z s h (s,ys,z s for a.e. s,ω. Then, Y Y for every and a.s. ω. Proof. Applying Iô s formula o ((Y Y +, and since (ξ ξ + =, ( (Y Y + + = {Y s >Ys } ( Y s Ys ( Y s Ys Z s Zs ds + [ h ( s,y s,z s + [ Z s Zs ] dws h ( s,y s,z s] ds 7

18 Passing o expecaion and using he fac ha h (s,ys,zs h (s,ys,zs, we obain [ (Y E Y = E +E E E Since {Y s Y s } ( Y [ (Y E s Ys Y ( E Y ( Y + ] +E s Ys ( Y s Ys ( Y s Ys ( Y s Y +[{Y s {Y s >Y + [ h ( s,y Z s } s Zs ds s,z s h ( s,y s,z s] ds + [ ( h s,y s,zs ( h s,y s,zs] ds + [ h ( s,y [ ( h s,y s,zs + =, we hen have + ] + E s Ys s,z s s >Y s } + {Y s Y h ( s,y s,z s] ds s } ] h ( s,y s,z s] ds {Y s >Ys } Z s Zs ds +{Y s >Y s } [ h ( s,y s,z s h ( s,y s,z s] ds Using he fac ha h is Lipschiz and he inequaliy ab εa + ε b, we obain E ( Y Y Using Gronwall s lemma, we ge ( Y Y Y for every, and a.s. ω. + CE Y (Y s Y s + ds. + = for every and a.s. ω, which implies ha Proof of Theorem 4. We assume for simpliciy ha ξ is posiive. Le Y g be he maximal soluion of he BSDE eq(ξ,g and Y g be he minimal soluion of he BSDE eq( ξ, g. By Proposiion 4.3, Y g and Y g exis and belong o S M. Le ξ n := ξ n. Le (H n be an increasing sequence of Lipschiz funcions which converges o H uniformly on compac ses. For each n, we denoe by (Y n,z n he unique soluion of he BSDE eq(ξ n,h n. We know ha for every n, (Y n,z n belongs o S M. Since ξ n ξ and H n g for each n, hen Lemma 4.3 (comparison shows ha for every n, and a.s. ω, For R >, we define a sopping ime τ R by The process (Y n,r Y n,r Y n Y g + Y g := S (4.7 τ R := inf{ : S R} T (4.8, Z n,r := (Y τ n R, { τr }Z n T saisfies hen he BSDEeq(Yτ n,r R,H n,r = Y n,r τ R + {s τr }H n (s,ys n,r,zs n,r ds Z n,r s dw s From inequaliy (4.7 and he definiion of τ R, we deduce ha for every n and every [, T], Y n,r S τr R (4.9 8

19 As in [3] (see also [], we define a funcion ρ by, ρ(y := R {y< R} +y { R y R} +R {y>r} I is no difficul o prove ha (Y n,r, Z n,r solves he BSDE eq(yτ n,r R,H n (,ρ(y,z. Since f is locally bounded, hen for every y saisfying y R we have, H n (,ρ(y,z a+b ρ(y +c z + sup f( ρ(y z y R a +br+c(r z (4. where a := a+c and C(R = + sup f( ρ(y. y R Therefore, passing o he limi on n and using he Kobylanski monoone sabiliy resul [6], one can show ha for any R >, he sequence (Y n,r,z n,r converges o a process (Y R,Z R which saisfies he following BSDE on [, T], Y R = ξ R + {s τr }H(s,Y R s,zr s ds Z R s dw s, (eq(ξ,h,r where Y R := sup n Y n,r and ξ R := sup n Yτ n R. Arguing as in he proof of Theorem., bu we use Lemma 4. (in place of Lemma. and Iô Krylov s formula (in place of Iô s formula, one can show ha (Y R, Z R belongs o S M. We define and Y := lim R Y τ R for [,T] Z := Z R for (,τ R Passing o he limi on R in he previous BSDE eq(ξ,h,r, one can show ha he process (Y,Z := (Y,Z T saisfies he BSDE eq(ξ,h. Since Y g and Y g belong o S, we deduce ha Y belongs o S also. Arguing as in he proof of Theorem., bu use Lemma 4. (in place of Lemma. and Iô Krylov s formula (in place of Iô s formula one can prove ha Z M. We shall prove ha Y T = ξ. Le Y be he minimal soluion of BSDE eq(ξ, g and Y be he maximal soluion of BSDE eq(ξ,g. Using Lemma 4.3, we obain, for any n, R and [, T] Y τ R Y τ n R Y τ R Passing o he limi on n, we obain, Y τ R sup n Y n τ R := Y τr Y τ R Puing = T, we ge for any R Y τ R Y τr Y τ R Since Y and Y are coninuous and Y T = Y T = ξ, hen leing R ends o infiniy, we ge Theorem 4. is proved. ξ liminf Y τ R limsupy τr ξ R R 9

20 Remark 4.3. We are currenly work o drop he global inegrabiliy condiion on he funcion f. The siuaion becomes more delicae under his (local inegrabiliy condiion. I requires some localizaion argumens and supplemenary assumpions on he erminal condiion. 5 Applicaion o Quadraic Parial Differenial Equaions Le σ, b be measurable funcions defined on R d wih values in R d d and R d respecively. Le a := σσ and define he operaor L by L := d i,j= a ij (x + x i x j d i= b i (x x i Le ψ be a measurable funcion from R d o R. Consider he following semi-linear PDE v s (s, x = Lv(s,x+f(v(s, x xv(s, x, on [,T R d v(t,x = ψ(x Assumpions. (H7 σ, b are uniformly Lipschiz. (H8 σ, b are of linear growh and f is coninuous and inegrable. (H9 The erminal condiion ψ is coninuous and wih polynomial growh. (5. Theorem 5.. Assume (H7, (H8 and (H9 hold. Then, v(,x := Y,x soluion for he PDE (5.. is a viscosiy Remark 5.. The conclusion of Theorem 5. remains valid if he assumpion (H7 is replaced by: he maringale problem is well posed for a := σσ and b". To prove he exisence of viscosiy soluion, we will follow he idea of [6]. To his end, we need he following ouching propery. This allows o avoid he comparison heorem. The proof of he ouching propery can be found for insance in [6]. Lemma 5.. Le (ξ T be a coninuous adaped process such ha dξ = β(d+α(dw, where β and α are coninuous adaped processes such ha b, σ are inegrable. If ξ a.s. for all, hen for all, {ξ =}α( = a.s., {ξ =}β( a.s., Proof of Theorem 5.. We firs prove he coninuiy of v(,x := Y,x. Le u be he ransformaion defined in Lemma 4.. Le (Ȳ s,x,x, Z s be he unique M soluion of he BSDE eq(u(ψ(x,x,x T,. Using assumpion (H7, one can show ha he map (,x Ȳ. Using Lemma 4., we deduce ha v(,x := Y,x is coninuous in (,x. We now show ha v is a viscosiy subsoluion for PDE (5.. We denoe (X s,y s,z s := (Xs,x,Ys,x,Zs,x. Since

21 v(,x = Y,x, hen he Markov propery of X and he uniqueness of Y show ha for every s [,T] v(s,x s = Y s (5. Le φ C, and (,x be a local maximum of v φ which we suppose global and equal o, ha is : φ(,x = v(,x and φ(,x v(,x for each (,x. This and equaliy (5. imply ha By Iô s formula we have φ(s,x s = φ(,x + s φ(s,x s Y s (5.3 ( φ r +Lφ (r,x r dr + Since φ(s,x s Y s, and Y saisfies he equaion Y = Y s + s f(y r Z r dr s s Z r dw r, σ x φ(r,x r dw r hen he ouching propery shows ha for each s, ( φ {φ(s,xs=y s} +Lφ (s,x s +f(y s Z s a.s., and {φ(s,xs=y s} σ T x φ(s,x s Z s a.s. Since for s =, φ(,x := φ(,x = Y := v(,x, hen he second equaion gives Z = σ x φ(,x := σ x φ(,x, and he firs inequaliy gives he desired resul. Remark 5.. From Theorem 5., one can see ha here is a gap beween he soluion of a BSDE and he viscosiy soluions of is associaed PDE. Tha is, he exisence of a unique soluion o a BSDE (even when he comparison heorem holds does no sysemaically allow o define a viscosiy soluion o he associaed PDE. Indeed, he Corollary 4. shows ha he QBSDE eq(ξ,f (y z and eq(ξ,f (y z generae he same soluion when f and f are equal almos surely. Thereby, for a square inegrable ξ and f belonging o L (R, he QBSDE eq(ξ,f(y z has a unique soluion in S M, bu how define he associaed PDE (5. when f is defined merely a.e.? Wha meaning o give o f(v(,x when v(,x says o he se where f is no defined? We hink ha, when f is defined merely a.e., he associaed PDE associaed o BSDE eq(ξ,f (y z would has he form v s (s, x = Lv(s,x+f(v(s, x xv(s, x, on [,T R d v(t,x = ψ(x v(,x = if v(,x N f where N f denoes he negligible se of all real numbers y for which f is no defined. (5.4

22 References [] Bahlali, K. (999 Flows of homeomorphisms of sochasic differenial equaions wih measurable drif. Soch. Soch. Rep. 67, no [] Bahlali, K.; Mezerdi, B. ( Some properies of he soluions of sochsic differenial driven by semimaringales, Rand. Oper. Soch. Eqs. 8, no 4,. [3] Bahlali, K.; Hamadène, S.; Mezerdi, B. (5 Backward sochasic differenial equaions wih wo reflecing barriers and coninuous wih quadraic growh coefficien. Sochasic Process. Appl. 5, no. 7, 7 9. [4] Bahlali, K.; Eddahbi, M.; Ouknine, Y. (3 Solvabiliy of some quadraic BSDEs wihou exponenial momens. C. R. Mah. Acad. Sci. Paris 35, no. 5-6, [5] Barrieu, P.; Cazanave, N.; El Karoui, N. (8 Closedness resuls for BMO semimaringales and applicaion o quadraic BSDEs. C. R. Mah. Acad. Sci. Paris, 346, no [6] Barrieu, P.; El Karoui, N. (3 Monoone sabiliy of quadraic semimaringales wih applicaions o unbounded general quadraic BSDEs. Ann. Probab. 4 (3, no. 3B, [7] Bismu, J.M. (973 Conjugae convex funcions in opimal sochasic conrol. J. Mah. Anal. Appl. 44, [8] Briand, P.; Hu, Y. (6 BSDE wih quadraic growh and unbounded erminal value. Probab. Theory Relaed Fields, 36, no. 4, [9] Dermoune, A.; Hamadène, S.; Ouknine, Y. (999 Backward sochasic differenial equaion wih local ime. Soch. Soch. Rep. 66, no. -, 3 9. [] Dudley, R.M. (979 Wiener funcionals as Iô inegrals. Ann. Probab. 5, no., 4 4. [] Durïng, B.; Jüngel, A. (5 Exisence and uniqueness of soluions o a quasilinear parabolic equaion wih quadraic gradiens in financial markes. Nonl. Anal. TMA 6, no. 3, [] Eddahbi, M.; Ouknine, Y. ( Limi heorems for BSDE wih local ime applicaions o non-linear PDE. Soch. Soch. Rep. 73, no. -, [3] Essaky, E.; Hassani, M. (3 Generalized BSDE Wih Reflecing Barriers and Sochasic Quadraic Growh. J. Differenial Equaions 54, no. 3, [4] Essaky, E.; Hassani, M. ( General exisence resuls for refleced BSDE and BSDE. Bull. Sci. Mah. 35, no. 5, [5] Hamadène, S.; Hassani, M. (5 BSDEs wih wo reflecing barriers: he general resul. Probab. Theory Relaed Fields, 3, no., [6] Kobylanski, M. ( Backward sochasic differenial equaions and parial differenial equaions wih quadraic growh. Ann. Probab. 8, no.,

23 [7] Krylov, N.V. (969 Iô s sochasic inegral equaions. Theory of Probab. Applicaions, 4, [8] Krylov, N.V. (98 Conrolled diffusion processes, Springer Verlag. [9] Krylov, N.V. (987 On esimaes of he maximum of a soluion of a parabolic equaion and esimaes of he disribuion of a semimaringale, Mah. USSR Sbornik, 58, no., 7. [] Lepelier, J.P.; San Marin, J. (997 Backward sochasic differenial equaions wih coninuous coefficien. Sais. Probab. Le., 3, no. 4, [] Lepelier, J.P.; San Marin, J. (998 Exisence for BSDE wih Superlinear-Quadraic coefficiens. Soch. Soch. Rep. 63, no. 3-4, 7 4. [] Melnikov, A.V. (983 Sochasic equaions and Krylov s esimaes for semimaringales, Sochasics,, 8. [3] Pardoux, E.; Peng, S. (99 Adaped soluion of a backward sochasic differenial equaion. Sysem Conrol Le. 4, no., [4] Tevzadze, R. (8 Solvabiliy of Backward Sochasic Differenial Equaions wih Quadraic Growh. Sochasic Process. Appl. 8, no. 3,