arxiv: v2 [math.pr] 7 Mar 2018

Transcription

1 Backward sochasic differenial equaions wih unbounded generaors arxiv: v [mah.pr 7 Mar 18 Bujar Gashi and Jiajie Li 1 Insiue of Financial and Acuarial Mahemaics (IFAM), Deparmen of Mahemaical Sciences, The Universiy of Liverpool, Liverpool, L69 7ZL, UK s: Bujar.Gashi@liverpool.ac.uk; Jiajie.Li@me.com Absrac In his paper we consider wo classes of backward sochasic differenial equaions. Firsly, under a Lipschiz-ype condiion on he generaor of he equaion, which can also be unbounded, we give sufficien condiions for he exisence of a unique soluion pair. The mehod of proof is ha of Picard ieraions and he resuling condiions are new. We also prove a comparison heorem. Secondly, under he linear growh and coninuiy assumpions on he possibly unbounded generaor, we prove he exisence of he soluion pair. This class of equaions is more general han he exising ones. Keywords: BSDEs, Unbounded generaor, Exisence, Uniqueness, Comparison heorem. 1. Inroducion Le (Ω, F,(F, ), P) be a given complee filered probabiliy space onwhich ak-dimensional sandardbrownianmoion(w(), )isdefined. We assume ha F is he augmenaion of σ{w(s) : s } by all he P-null ses of F. Consider he backward sochasic differenial equaion (BSDE): y() = ξ + f(s,y(s),z(s))ds z(s)dw(s), [,T, (1) where ξ is a given F T -measurable R d -valued random variable, and he generaor f : Ω (,T) R d R d k R d is a progressively measurable funcion. 1 Corresponding auhor. Preprin submied o Sochasics and Dynamics Augus, 18

2 Linear equaions of he ype (1) were inroduced by Bismu [5 in he conex of sochasic linear quadraic conrol. The problem of exisence and uniqueness of soluion o he nonlinear equaions (1) was solved by Pardaoux and Peng [34 under he global Lipschiz condiion on f, i.e. under he assumpion ha here exiss a real consan c > such ha f(,y 1,z 1 ) f(,y,z ) c( y 1 y + z 1 z ), () for all y 1,y R d, z 1,z R d k, (,ω) a.e.. Since hen, he BSDEs have been sudied exensively, and have found wide applicabiliy in areas such as mahemaical finance, sochasic conrol, and sochasic conrollabiliy; see, for example, [1, [17, [9, [31, [4, [37, [, [1, [ [41, and he references herein. One direcion of research has been o weaken he assumpion of global Lipschiz condiion () by assuming only local Lipschiz condiion (see[1), or non-lipschiz condiion of a paricular form(see[3,[39). In[16 and [1 he auhors permi for he generaor funcion f o be unbounded (hey also consider a more general driving process han he Brownian moion). They assume he following global Lipschiz-ype condiion: here exis non-negaive processes c 1 ( ) and c ( ) such ha f(,y 1,z 1 ) f(,y,z ) c 1 () y 1 y +c () z 1 z, (3) for all y 1,y R d, z 1,z R d k, (,ω) a.e.. Clearly, his condiion has grea similariy wih (). However, differen from (), here he processes c 1 ( ) and c ( ) are no assumed o be bounded. The linear BSDEs wih possibly unbounded coefficiens are considered in [43, using a very differen approach as compared o[16, [1. The ineres in hese equaions is no only heoreical, bu is also moivaed by applicaions in mahemaical finance. Indeed, some very imporan ineres rae models are given by sochasic differenial equaions(see, for example, [44,[11,[4). The problem of marke compleeness (and hus of pricing and hedging of derivaives) in such models gives rise o BSDEs wih possibly unbounded coefficiens(see[43 for deails). The firs conribuion of he presen paper, as conained in he secion, is o consider he problem of exisence and uniqueness of a soluion pair (y( ), z( )) for(1) under condiion(3). We do so under cerain new condiions onhecoefficiens c 1 ( ), c ( ), which aresimilar o hoseof [16, bu ingeneral are no comparable. Moreover, our mehod of proof is differen, since i is a modificaion of he Picard ieraion procedure of [34 raher han being based on a fixed poin heorem as in [16. We also give a comparison heorem for

3 his class of equaions. This generalises he classical resul of Peng [35, [36, o he case of BSDEs wih possibly unbounded coefficiens. Anoher imporan weakening of he assumpions on he generaor, as compared o [34, was given in [7 (see also [3). There i assumed ha he generaor is coninuous wih respec o y and z, and i saisfies he linear growh condiion f(,y,z) c(1+ y + z ), (4) for all y R, z R k, (,ω) a.e.. Under such condiions, i was shown ha equaion (1) admis a soluion pair. In more recen papers [39, [4, he linear growh condiion (4) has been generalised o f(,y,z) c[q()+ y + z, (5) for all y R, z R k, (,ω) a.e.. Here, differen from (4), he process q( ) is no assumed o be bounded. The generaor of BSDEs wih a quadraic growh on he conrol variable z saisfies he condiion: f(,y,z) k +k 1 y +k z. (6) An exisence resul for hese equaions was firs given in [19 where k and k 1 are consan, k is a given funcion of y, and he erminal value ξ is assumed bounded. In [6, [7, he assumpion of a bounded ξ was replaced wih an inegrabiliy condiion on he exponenial of ξ, k was permied o be an unbounded process, whereas k 1 and k were assumed consan (see furher, for example, [, [8, [9, [13, [14, [45, where a nonlinear growh in y is also permied in some cases). In [3, [18, [3, [33, he coefficien k 1 could also be an unbounded process. Under furher assumpions on f, he uniqueness of he soluion pair has been proved (see, for example, [9, [13, [14). We are no aware of an exisence resul for hese ypes of BSDEs wih coefficien k being an unbounded process. The second conribuion of he presen paper, which is conained in secion 3, is o consider a generaor which is coninuous in y and z, bu wih a weaker linear growh condiion han (5). We assume ha f(,y,z) c ()+c 1 () y +c () z, (7) for all y R, z R k, (,ω) a.e.. Here he processes c ( ),c 1 ( ),c ( ), are no assumed o be bounded. By using he resuls of secion, and appropriaely 3

4 modifying he approach of [, [7, we prove he exisence of a soluion pair for (1). Noe ha due o he unbounded naure of he process c (), condiions (6) and (7) are in general no comparable if k is a consan. We conclude his inroducory secion wih some noaions: is he Euclidian norm. c ( ), c 1 ( ), c ( ) are given R-valued progressively measurable processes. γ( ), γ( ) and γ( ) are given R-valued posiive progressively measurable processes. 1 < β 1, β 1 R, 1 < β, β R, are given consans. 4 < β 1 R, 1 < 9β 1 /(β1 16) < β R, are given consans. α 1 () γ() + β 1 c 1 () + β c (), α () γ() +β 1 c 1 () + β c (), and α() γ()+ β 1 c 1()+ β c () are assumed posiive. p 1 () exp [ α 1(s)ds, p () exp [ α (s)ds [ and p() exp. α(s)ds L F (,T;R d ) is he space of F -progressively measurable R d -valued processes ϕ( ) such ha E ϕ() d <. M (Ω, F T,P;R d ) is he space of all F T -measurable R d -valued random variables ζ such ha E[ ζ <. M (,T;R d ) is he space of F -progressively measurable R d -valuedprocesses ϕ( ) such ha E ϕ() d <. M i (Ω, FT,P;R d ) (resp. M (Ω, F T,P;R d )) is he space of all F T - measurable R d -valued random variables ξ such ha E[p i (T) ξ < (resp. E[ p(t) ξ < ), i = 1,. M i (,T;R d ) (resp. M (,T;R d )) is he space of F -progressively measurable R d -valued processes ϕ( ) such ha E p i() ϕ() d < (reps. ϕ E p() ϕ() d < ), i = 1,. 4

5 Ĥi (,T;R d ) (resp. H (,T;R d )) is he space of càdlàg F -adaped R d -valued processes ϕ( ) such ha E [ sup [,T p i () ϕ() < (resp. E [ sup [,T p() ϕ() < ), i = 1,.. Unbounded Lipschiz-ype generaor In his secion, we give sufficien condiions for he exisence and uniqueness of a soluion pair for (1). We say ha he progressively measurable funcion f and he random variable ξ, or he pair (f,ξ), saisfies condiions A1 (resp. condiions A) if: (i) ξ M 1 (Ω, F T,P;R d ) (resp. ξ M (Ω, F T,P;R d )); (ii) f(,y 1,z 1 ) f(,y,z ) c 1 () y 1 y +c () z 1 z, for all y 1,y R d, z 1,z R d k, (,ω) a.e.; [ (iii) f(,,)α 1 ( ) 1 M [ 1 (,T;Rd ) (resp. f(,,)α ( ) 1 M (,T;Rd )). The sufficien condiions for he solvabiliy of (1), as given in [16, are similar o our condiions A. Indeed, if we choose γ() =, β 1 = β β, where β is large enough, hen condiions A are hose of [16. Clearly, due o he process γ() our condiions A are more general hen hose of [16. The imporance of his process is ha assumpion (iii) above can be suiable weakened by choosing large values for his process, which is no an opion in [16. Moreover, even if we ake γ() =, our assumpion (i) is weaker han ha of [16. Indeed, he parameer β of [16 should be bigger han (in [16 i is only claimed ha his coefficien should be large enough ). This is clearly no he case in condiions A where he coefficien β 1 is only required o be greaer han 4. The condiions A1 are new. In general, hese are no comparable wih condiions A. However, in cerain special cases we can compare hem. For For readers convenience only, we have included an appendix showing ha a sraighforward calculaion gives his numerical lower bound 5

6 example, if c 1 () =, 1 < β < β, γ() = γ(), hen M 1 (Ω, F T,P;R d ) M (Ω, F T,P;R d ), and hus he above assumpion (i) on he random variable ξ is weaker in he case of condiions A1. Similarly, if c () =, γ() = γ(), β 1 = β 1, hen he above assumpion (i) on he random variable ξ is weaker in he case of condiions A..1. Solvabiliy In his secion we give sufficien condiions for he exisence and uniquenessofasoluionpairfor(1). Ourmehodofproofisdifferen from[16being based on Picard ieraions, and similarly o[34, we begin wih a simpler form of (1) and progress owards he general case. The proofs of he resuls under condiions A1 and A are differen and are hus given separaely in mos cases, bu here are also similariies beween hem. Lemma.1. Le φ( ) Ĥ 1 (,T;Rd ), ψ( ) M 1 (,T;Rd k ) be given, and assume ha α 1 ( )φ( ) M 1(,T;R d ). If he pair (f,ξ) saisfies he condiions A1, hen: (i)here exiss aunique soluion pair(y( ),z( )) Ĥ 1(,T;R d ) M 1(,T;R d k ) of equaion y() = ξ + and α 1 ( )y( ) M 1 (,T;Rd ). f(s,φ(s),ψ(s))ds (ii) if y + () 1 [y()> y(), he processes z(s)dw(s), [,T, (8) p 1 (s)y(s)z(s)dw(s) and p 1 (s)y + (s)z(s)dw(s), are maringales. Proof. (i) By making use of he Cauchy-Schwarz inequaliy, we firs show 6

7 ha f(s,φ(s),ψ(s))ds belongs o M (Ω, F T,P;R d ): E f(s,φ(s),ψ(s))ds = E p 1 p1 (s)f(s,φ(s),ψ(s)) 1 (s)α 1 (s) ds α1 (s) {[ [ E p 1 1 (s)α 1 (s)ds p 1 (s) f(s,φ(s),ψ(s)) α 1 (s) } ds E p 1 (s) f(s,φ(s),ψ(s)) ds α 1 (s) (9) =E p 1 (s) α 1 (s) f(s,φ(s),ψ(s) f(s,,)+f(s,,) ds E p 1 (s) α 1 (s) [ f(s,φ(s),ψ(s) f(s,,) + f(s,,) ds E p 1 (s) α 1 (s) [c 1(s) φ(s) +c (s) ψ(s) + f(s,,) ds E p 1 (s) α 1 (s) [3c 1(s) φ(s) +3c (s) ψ(s) +3 f(s,,) ds =E 3p 1 (s) β 1 β 1 c 1 (s) γ(s)+β 1 c 1(s)+β c (s) φ(s) ds+ 3p 1(s) β c (s) γ(s)+β 1 c 1(s)+β c (s) ψ(s) ds β +3E p 1 (s) f(s,,) ds α 1 (s) 3 E p 1 (s) φ(s) ds+ 3 E p 1 (s) ψ(s) ds+3e β 1 β p 1 (s) f(s,,) ds < α 1 (s) 7

8 Since ξ M 1 (Ω, F T,P;R d ) implies ha ξ M (Ω, F T,P;R d ), i follows from Lemma.1 of [34 ha (8) has a unique soluion pair (y( ),z( )) M (,T;R d ) M (,T;R d k ). Moreover, since we proved ha (9) is finie, i follows from Lemma 6. 3 of [16 ha in fac (y( ),z( )) Ĥ 1 (,T;Rd ) M 1 (,T;Rd k ) and [ α 1 ( )y( ) M 1 (,T;Rd ). (ii) The proof follows closely ha in [46 (pp. 37), and since i is shor, we include i here for compleeness. From he Burkholder-Davis-Gundy inequaliy (see, for example, Theorem in [4), here exiss a consan K such ha [ [ E sup p 1 (s)y(s)z(s)dw(s) KE p 1 (s)y(s) 1 p 1 (s)z(s) ds [,T K E [ KE [ sup p 1 ()y() [,T sup p 1 ()y() + [,T p1 (s)z(s) ds p 1 (s)z(s) ds where he las sep follows from he fac ha y( ) Ĥ 1 (,T;Rd ), z( ) M 1(,T;R d k ), proved in par (i). The conclusion hen follows from Corollary 7. of [6. Since sup [,T p 1 ()y + () sup [,T p 1 ()y(), he conclusion follows even for p 1(s)y + (s)z(s)dw(s). Lemma.. Le φ( ) Ĥ (,T;R d ), ψ( ) M (,T;R d k ) be given, and assume ha α ( )φ( ) M (,T;Rd ). If he pair (f,ξ) saisfies he condiions A, hen: 1 <, (i)here exiss aunique soluion pair(y( ),z( )) Ĥ (,T;Rd ) M (,T;Rd k ) of equaion y() = ξ + f(s,φ(s),ψ(s))ds and α ( )y( ) M (,T;R d ). z(s)dw(s), [,T, (1) 3 Noe ha he resuls in Lemma 6. of [16 is valid for any α() (in he noion of [16). 8

9 (ii) if y + () 1 [y()> y(), he processes p (s)y(s)z(s)dw(s) and are maringales. p (s)y + (s)z(s)dw(s), Proof. The proof of par (ii) is he same as he proof of par (ii) of he previous lemma. We hus focus on par (i). We have E f(s,φ(s),ψ(s))ds E p (s) α (s) [3c 1 (s) φ(s) +3c (s) ψ(s) +3 f(s,,) ds E 3p (s) β 1 β 1 c 1 (s) γ(s)+β 1 c 1 (s)+β c (s) (γ(s)+β 1c 1 (s)+β c (s)) φ(s) ds + E 3p (s) β β c (s) γ(s)+β 1 c 1 (s)+β c (s) ψ(s) ds+3e p (s) f(s,,) ds α (s) 3 β E p (s)α (s) φ(s) ds+ 3 E p (s) ψ(s) ds+3e 1 β p (s) f(s,,) ds α (s) <. The res of he proof is he same as in he proof of par (i) of he previous lemma. Lemma.3. (i) Le φ( ) Ĥ 1 (,T;Rd ) be given. If he pair (f,ξ) saisfies condiions A1, hen here exiss a unique soluion pair (y( ), z( )) Ĥ1(,T;R d ) M 1(,T;R d k ) of equaion y() = ξ + f(s,φ(s),z(s))ds 9 z(s)dw(s), [,T, (11)

10 and α 1 ( )y( ) M 1 (,T;Rd ). (ii) Le φ( ) Ĥ (,T;Rd ) be given. If he pair (f,ξ) saisfies condiions A, hen here exiss a unique soluion pair (y( ),z( )) Ĥ (,T;Rd ) M (,T;Rd k ) of equaion y() = ξ + and α ( )y( ) M (,T;R d ). f(s,φ(s),z(s))ds z(s)dw(s), [,T, Proof. (i) (Uniqueness) Le (y 1 ( ),z 1 ( )) and (y ( ),z ( )) be wo soluion pairs of (11) wih he claimed properies. Then dp 1 () y 1 () y () ={ α 1 ()p 1 () y 1 () y () +p 1 ()(y 1 () y ()) [f(,φ(),z 1 ()) f(,φ(),z ()) p 1 () z 1 () z () }d p 1 ()(y 1 () y ()) (z 1 () z ())dw() (1) 1

11 By using he Lipschiz propery of f, we have dp 1 () y 1 () y () [ α 1 ()p 1 () y 1 () y () p 1 () z 1 () z () d p 1 ()(y 1 () y ()) (z 1 () z ())dw() +p 1 () y 1 () y () f(,φ(),z 1 ()) f(,φ(),z ()) d [ α 1 ()p 1 () y 1 () y () p 1 () z 1 () z () d p 1 ()(y 1 () y ()) (z 1 () z ())dw() +p 1 ()c () y 1 () y () z 1 () z () d [ α 1 ()p 1 () y 1 () y () p 1 () z 1 () z () d p 1 ()(y 1 () y ()) (z 1 () z ())dw() +β c ()p 1() y 1 () y () d+β 1 p 1() z 1 () z () d p 1 ()(y 1 () y ()) (z 1 () z ())dw(), which in inegral form becomes p 1 () y 1 () y () p 1 (s)(y 1 (s) y (s)) (z 1 (s) z (s))dw(s).(13) The sochasic inegral in (13) is a local maringale ha is clearly lower bounded by zero, and is hus a supermaringale (see, for example, Theorem 7.3 of [6). Taking he expecaion of boh sides of (13) resuls in E [ [ p 1 () y 1 () y () T E p 1 (s)(y 1 (s) y (s)) (z 1 (s) z (s))dw(s). Since p 1 () >, i follows ha y 1 () = y (), [,T, a.s., which proves he uniqueness of y( ). Due o his fac, he inegral form of (1) becomes = p 1 (s) z 1 (s) z (s) ds, whichimplieshaz 1 () = z ()fora.e. [,T, andhusprovesheuniqueness of z( ). 11

12 (Exisence) Le z (), [,T, and for n 1 consider he following sequence of equaions: y n () = ξ + f(s,φ(s),z n 1 (s))ds z n (s)dw(s), [,T. (14) From Lemma.1 we know ha hese equaions have unique soluion pairs {(y n ( ),z n ( )) Ĥ 1(,T;R d ) M 1(,T;R d k )} n 1, for which i also holds ha { α 1 ( )y n ( ) M 1 (,T;Rd )} n 1. Similarly o he proof of uniqueness, 1

13 we have dp 1 () y n+1 () y n () ={ α 1 ()p 1 () y n+1 () y n () +p 1 ()(y n+1 () y n ()) [f(,φ(),z n ()) f(,φ(),z n 1 ()) p 1 () z n+1 () z n () }d p 1 ()(y n+1 () y n ()) (z n+1 () z n ())dw() [ α 1 ()p 1 () y n+1 () y n () p 1 () z n+1 () z n () d p 1 ()(y n+1 () y n ()) (z n+1 () z n ())dw() +p 1 () y n+1 () y n () f(,φ(),z n ()) f(,φ(),z n 1 ()) d [ α 1 ()p 1 () y n+1 () y n () p 1 () z n+1 () z n () d p 1 ()(y n+1 () y n ()) (z n+1 () z n ())dw() +p 1 ()c () y n+1 () y n () z n () z n 1 () d [ α 1 ()p 1 () y n+1 () y n () p 1 () z n+1 () z n () d p 1 ()(y n+1 () y n ()) (z n+1 () z n ())dw() +β c ()p 1() y n+1 () y n () d+β 1 p 1() z n () z n 1 () d [ p 1 () z n+1 () z n () +β 1 p 1() z n () z n 1 () d p 1 ()(y n+1 () y n ()) (z n+1 () z n ())dw(), 13

14 which in inegral form becomes p 1 () y n+1 () y n () + p 1 (s) z n+1 (s) z n (s) ds β 1 p 1 (s) z n (s) z n 1 (s) ds p 1 (s)(y n+1 (s) y n (s)) (z n+1 (s) z n (s))dw(s). From Lemma.1 (ii), i is clear ha he sochasic inegral on he righ hand side is a maringale. Taking he expeced values of boh sides gives E[p 1 () y n+1 () y n () +E p 1 (s) z n+1 (s) z n (s) ds β 1 E p 1 (s) z n (s) z n 1 (s) ds. Leusdefineη n () E p 1 (s) y n (s) y n 1 (s) dsandµ n () E p 1 (s) z n (s) z n 1 (s) ds. Using he same argumen as in he las par of he proof of Proposiion. in [34, we obain η n+1 () β n E p 1(s) z 1 (s) ds and µ n () β n µ 1 (). Since he righ-hand sides of hese wo inequaliies decrease wih n, i follows ha {y n } n 1 is a Cauchy sequence in M 1(,T;R d ), and {z n } n 1 is a Cauchy sequence in M 1 (,T;Rd k ). Moreover, his also implies ha { α 1 y n } n 1 is a Cauchy sequence in M 1 (,T;Rd ). Hence, he limiing processes y = lim n y n and z = lim n z n are he soluion pair of (11). In addiion, when such a pair of processes is subsiued in (11), hen (11) becomes an example of (8) wih ψ( ) = z ( ). Therefore, Lemma.1 applies, and we have ha y ( ) Ĥ 1 (,T;Rd k ). (ii) Due o Lemma., he proof in his case is idenical o he proof of par (i) (wih an obvious change of noaion), and is hus omied. Theorem.1. (i) If he pair (f, ξ) saisfies condiions A1, hen equaion (1) has a unique soluion pair (y( ),z( )) Ĥ 1(,T;R d ) M 1(,T;R d k ), and α 1 ( )y( ) M 1 (,T;Rd ). (ii) If he pair (f,ξ) saisfies condiions A, hen equaion (1) has a unique soluion pair (y( ),z( )) Ĥ (,T;R d ) M (,T;R d k ), and α ( )y( ) M (,T;Rd ). 14

15 Proof. (i) (Uniqueness) Le (y 1 ( ),z 1 ( )) and (y ( ),z ( )) be wo soluion pairs of (1) wih he claimed properies. Then we have dp 1 () y 1 () y () ={ α 1 ()p 1 () y 1 () y () +p 1 ()(y 1 () y ()) [f(,y 1 (),z 1 ()) f(,y (),z ()) p 1 () z 1 () z () }d p 1 ()(y 1 () y ()) (z 1 () z ())dw() [ α 1 ()p 1 () y 1 () y () p 1 () z 1 () z () d p 1 ()(y 1 () y ()) (z 1 () z ())dw() +p 1 () y 1 () y () f(,y 1 (),z 1 ()) f(,y (),z ()) d [ α 1 ()p 1 () y 1 () y () p 1 () z 1 () z () d p 1 ()(y 1 () y ()) (z 1 () z ())dw() +p 1 () y 1 () y () [c 1 () y 1 () y () +c () z 1 () z () d [ α 1 ()p 1 () y 1 () y () p 1 () z 1 () z () d p 1 ()(y 1 () y ()) (z 1 () z ())dw() +β 1 c 1 p 1() y 1 () y () d+β 1 1 p 1() y 1 () y () d +β c p 1 () y 1 () y () d+β 1 p 1 () z 1 () z () d [β 1 1 p 1() y 1 () y () +(β 1 1)p 1 () z 1 () z () d p 1 ()(y 1 () y ()) (z 1 () z ())dw() β 1 1 p 1() y 1 () y () d p 1 ()(y 1 () y ()) (z 1 () z ())dw(). Wih he help of Lemma.1 (ii) and he Gronwall s lemma, he conclusion follows similarly o he proof of uniqueness in Lemma.3. (Exisence) Le y (), [,T, and for n 1 consider he sequence 15

16 of equaions: y n () = ξ + f(s,y n 1 (s),z n (s))ds z n (s)dw(s), [,T. (15) From Lemma.3 we know ha hese equaions have unique soluion pairs {(y n ( ),z n ( )) Ĥ 1 (,T;Rd ) M 1 (,T;Rd k )} n 1. Then dp 1 () y n+1 () y n () ={ α 1 ()p 1 () y n+1 () y n () +p 1 ()(y n+1 () y n ()) [f(,y n (),z n+1 ()) f(,y n 1 (),z n ()) p 1 () z n+1 () z n () }d p 1 ()(y n+1 () y n ()) (z n+1 () z n ())dw(). [ α 1 ()p 1 () y n+1 () y n () p 1 () z n+1 () z n () d p 1 ()(y n+1 () y n ()) (z n+1 () z n ())dw() +p 1 () y n+1 () y n () f(,y n (),z n+1 ()) f(,y n 1 (),z n ()) d [ α 1 ()p 1 () y n+1 () y n () p 1 () z n+1 () z n () d p 1 ()(y n+1 () y n ()) (z n+1 () z n ())dw() +p 1 () y n+1 () y n () [c 1 () y n () y n 1 () +c () z n+1 () z n () d [ α 1 ()p 1 () y n+1 () y n () p 1 () z n+1 () z n () d p 1 ()(y n+1 () y n ()) (z n+1 () z n ())dw() +β 1 c 1 ()p 1() y n+1 () y n () d+β 1 1 p 1() y n () y n 1 () d +β c ()p 1 () y n+1 () y n () d+β 1 p 1 () z n+1 () z n () d 16

17 β 1 1 p 1 () y n () y n 1 () d+(β 1 1)p 1 () z n+1 () z n () d p 1 ()(y n+1 () y n ()) (z n+1 () z n ())dw(). Due o Lemma.1 (ii), he expecaion of he inegral-form of his inequiy becomes E [ p 1 () y n+1 () y n () E +E β 1 1 p 1(s) y n (s) y n 1 (s) ds (β 1 1)p 1 (s) z n+1 (s) z n (s) ds, (16) Using he noaion ν n+1 () E p 1 () y n+1 (s) y n (s) ds, and similarly o he las par of he proof of Theorem 3.1 of [34, we obain ν n+1 () β n 1 1 ν n! 1(). Since he sum of he righ-hand side of his inequaliy converges, we conclude, ogeher wih (16), ha {y n } is a Cauchy sequence in M 1(,T;R d ), and {z n } is a Cauchy sequence in M 1(,T;R d k ). Moreover, his also implies ha { αy n } n 1 is a Cauchy sequence in M 1(,T;R d ). Thus he limiing processes y = lim n y n and z = lim n z n are he soluion pair o (1). In addiion, when such a pair of processes is subsiued in (1), hen (1) becomes an example of (8) wih φ( ) = y ( ) and ψ( ) = z ( ). Therefore, Lemma.1 applies, and we have ha y ( ) Ĥ 1 (,T;Rd k ). (ii) (Uniqueness) Le (y 1 ( ),z 1 ( )) and (y ( ),z ( )) be wo soluion pairs of (1) wih he claimed properies. Similarly o he proof of uniqueness for 17

18 par (i), we have dp () y 1 () y () [ α ()p () y 1 () y () p () z 1 () z () d p ()(y 1 () y ()) (z 1 () z ())dw() +p () y 1 () y () [c 1 () y 1 () y () +c () z 1 () z () d [ α ()p () y 1 () y () p () z 1 () z () d p ()(y 1 () y ()) (z 1 () z ())dw() +c 1 p () y 1 () y () d+β c p () y 1 () y () d+β 1 p () z 1 () z () d (β 1 1)p () z 1 () z () d p ()(y 1 () y ()) (z 1 () z ())dw() p ()(y 1 () y ()) (z 1 () z ())dw(). Then he expecaion of inegral-form of his inequaliy becomes E [ p () y 1 () y () [ E p (s)(y 1 (s) y (s)) (z 1 (s) z (s))dw(s). Since he righ-hand side is a maringale by Lemma.1 (ii), he conclusion follows. (Exisence) Le y (), [,T, and for n 1 consider he sequence of equaions: y n () = ξ + f(s,y n 1 (s),z n (s))ds z n (s)dw(s), [,T. (17) From Lemma.3 we know ha hese equaions have unique soluion pairs {(y n ( ),z n ( )) Ĥ (,T;Rd ) M (,T;Rd k )} n 1. By Lemma 6. of [16, we have following esimaes: [ E p () y n+1 () y n () α ()d [ 8E p () f(,y (18) n(),z n+1 ()) f(,y n 1 (),z n ()) d, α () 18

19 and [ E [ 45E p () z n+1 () z n () d p () f(,y n(),z n+1 ()) f(,y n 1 (),z n ()) d. α () (19) By he Lipschiz condiion, we have [ E p () f(,y n(),z n+1 ()) f(,y n 1 (),z n ()) d α () E p () α () [c 1() y n () y n 1 () +c () z n+1 () z n () d E p () α () [c 1 () y n() y n 1 () +c () z n+1() z n () d E p () β 1 β 1 c 1 () γ()+β 1 c 1 ()+β c () (γ()+β 1c 1 ()+β c ()) y n () y n 1 () d +E p () β β c () γ()+β 1 c 1 ()+β c () z n+1() z n () ds β E p ()α () y n () y n 1 () d+ E p () z n+1 () z n () d. 1 β Subsiuing i ino (19), we have [ E p () z n+1 () z n () d 9 β E p ()α () y n () y n 1 () d+ 9 E p () z n+1 () z n () d. 1 β 19

20 Le β > 9. Then we have [ E p () z n+1 () z n () d 9 β 1 ( 1 9 β )E p ()α () y n () y n 1 () d. () Subsiuing i ino (19), we obain [ E p () y n+1 () y n () α ()d 16 β E p ()α () y n () y n 1 () d+ 16 E p () z n+1 () z n () d 1 β 16 β E 1 = 16 β + 16 ( 1 β [ Le κ = p ()α () y n () y n 1 () d+ 16 β 9 β β ) β 1 β E 9 β 1 ( ) 1 9 β 9 β 1 ( 1 9 β )E p ()α () y n () y n 1 () d. p ()α () y n () y n 1 () d, i.e. β 1 > 4 and β > 9β 1 Then he conclu- β sion follows similarly o he proof of exisence in Lemma.3... Comparison heorem The following resuls generalise Peng s comparison heorem ([35, [36) o equaions wih a possibly unbounded generaor. Similarly o [35, [36, we assume ha d = 1. In addiion o equaion (1), le us consider wo furher equaions ŷ 1 () = ξ 1 + ŷ () = ξ + [ f 1 (s,ŷ 1 (s),ẑ 1 (s))ds [ f (s,ŷ (s),ẑ (s))ds ẑ 1 (s)dw(s), [,T, ẑ (s)dw(s), [,T.

21 We assume ha he pair ( f 1, ξ 1 ) saisfies condiions A1, whereas he pair ( f, ξ ) saisfies condiions A. Based on Theorem.1, his means ha here exis unique soluion pairs (ŷ 1 ( ),ẑ 1 ( )) Ĥ 1(,T;R) M 1(,T;R 1 k ) and (ŷ ( ),ẑ ( )) Ĥ (,T;R) M (,T;R 1 k ). The following differences will appear in he proof: Y 1 () y() ŷ 1 (), Z 1 () z() ẑ 1 (), Y () y() ŷ (), Z () z() ẑ (). Theorem.. (Comparisonheorem)(i) If ξ 1 ξ and f 1 (,y,z) f(,y,z), a.s. (,y,z) [,T R R 1 k, hen ŷ 1 () y(), [,T, a.s.. (ii) If ξ ξ and f (,y,z) f(,y,z), a.s. (,y,z) [,T R R 1 k, hen ŷ () y(), [,T, a.s.. Proof. (i) The equaion of he difference Y 1 () is dy 1 () = [f(,y(),z()) f 1 (,ŷ 1 (),ẑ 1 ())d Z 1 ()dw(). Denoing by Y + 1 () 1 [Y 1 ()>Y 1 (), and using Tanaka-Meyer formula (see Theorem 6.1. in [38), we obain dy + 1 () = 1 [Y 1 ()>dy 1 () 1 dl(), where L() is he local ime of Y 1 ( ) a. Since Y 1() dl() =, a.s. (see Proposiion in [38), we have d[y + 1 () = Y + 1 ()1 [Y 1 ()>[f(,y(),z()) f 1 (,ŷ 1 (),ẑ 1 ())d 1 [Y1 ()>Z 1()d 1 [Y1 ()>Y + 1 ()Z 1 ()dw(). 1

22 Using Iô formula, we obain dp 1 ()[Y + 1 () = α 1 ()p 1 ()[Y + 1 () d+p 1 ()Y + 1 ()1 [Y 1 ()>[f(,y(),z()) f 1 (,ŷ 1 (),ẑ 1 ())d 1 [Y1 ()>p 1 ()Z 1()d p 1 ()Y + 1 ()Z 1 ()dw() α 1 ()p 1 ()[Y + 1 () d+p 1 ()Y + 1 ()1 [Y1 ()>[f(,y(),z()) f 1 (,y(),z()) + f 1 (,y(),z()) f 1 (,ŷ 1 (),ẑ 1 ())d 1 [Y1 ()>p 1 ()Z 1 ()d p 1()Y + 1 ()Z 1()dW() [ α 1 ()p 1 ()[Y + 1 () +p 1 ()Y + 1 ()1 [Y1 ()>[f(,y(),z()) f 1 (,y(),z()) 1 [Y1 ()>p 1 ()Z 1 ()d 1 [Y 1 ()>p 1 ()Y + 1 ()Z 1()dW()+β 1 p 1 ()c 1 ()[Y + 1 () d +β 1 1 p 1()[Y + 1 () d+β c ()p 1()[Y + 1 () d+β 1 1 [Y 1 ()>p 1 ()Z 1 ()d β 1 1 p 1 ()[Y + 1 () d p 1 ()Y + 1 ()Z 1 ()dw(), which in inegral form becomes p 1 ()[Y 1 + () β1 1 p 1(s)[Y 1 + (s) ds p 1 (s)y 1 + (s)z 1(s)dW(s). The sochasic inegral on he righ-hand side is a maringale due o Lemma.1 (ii). Therefore, E[p 1 ()[Y 1 + () E β1 1 p 1 (s)[y 1 + (s) ds, and he conclusion follows from Gronwall s lemma.

23 (ii) In a similar way o he proof of par (i), we have dp ()[Y + () = α ()p ()[Y + () d+p ()Y + ()1 [Y ()>[f(,y(),z()) f (,ŷ (),ẑ ())d 1 [Y ()>p ()Z ()d p ()Y + ()Z ()dw() α ()p ()[Y + () d+p ()Y + ()1 [Y ()>[f(,y(),z()) f (,y(),z()) + f (,y(),z()) f (,ŷ (),ẑ ())d 1 [Y ()>p ()Z ()d p ()Y + ()Z ()dw() [ α ()p ()[Y + () +p ()Y + ()1 [Y ()>[f(,y(),z()) f (,y(),z()) 1 [Y ()>p ()Z ()d 1 [Y ()>p ()Y + ()Z ()dw()+p ()c 1 ()[Y + () d +β c ()p ()[Y + () d+β 1 1 [Y ()>p ()Z ()d 1 [Y ()>p 1 ()Y + ()Z ()dw(), which in inegral form becomes p ()[Y + () 1 [Y (s)>p (s)y + (s)z (s)dw(s). Since he sochasic inegral on he righ-hand side is a maringale due o Lemma.1 (ii), we have which concludes he proof. E[p ()[Y + (), 3

24 3. Unbounded coninuous generaor In his secion, we consider he one-dimensional version of equaion (1) wih a coninuous f wih respec o y and z, which saisfies a linear growh condiion raher han he Lipschiz-ype condiion. The main idea here, as in[7, is o approximae he generaor f by an infinie sequence of Lipschizype approximaing funcions. Each such a funcion generaes a BSDE, and we show ha he soluions o such a sequence of BSDEs converge o he soluion of (1). We say ha he progressively measurable funcion f and he random variable ξ, or he pair (f,ξ), saisfies condiions A3 if: (i) d = 1 and f(,y,z) is a coninuous funcion of y and z; (ii) f(,y,z) c () + c 1 () y + c () z, for all y R, z R k, (,ω) a.e.; (iii) ξ M (Ω, F T,P;R); (iv) c ( ) M (,T;R) and [ c ( ) α( ) 1 M (,T;R). As already menioned in he inroducion, our assumpion (ii) permis for random and possibly unbounded coefficiens c 1 ( ) and c ( ), which is no he case in [39 and [4. The resuls of he previous secion are our main ools in dealing wih he problem of solvabiliy. We focus on uilizing Theorem.1 (i) and Theorem. (i) only, as similar resuls can be obained by applying Theorem.1 (ii) and Theorem. (ii). We inroduce he sequence of funcions f n (,y,z) sup (u,v) R 1+k {f(,u,v) [c 1 ()+n u y [c ()+n v z }, n 1, which are clearly well-defined. Their main properies are summarized in he following resul. Lemma 3.1. (i) Linear growh: for any y R, z R k, f n (,y,z) c ()+c 1 () y +c () z ; (ii) Monooniciy: f n is a decreasing funcion of n; 4

25 (iii) Lipschiz condiion: for any y 1,y R, z 1,z R k, f n (,y 1,z 1 ) f n (,y,z ) [c 1 ()+n y 1 y +[c ()+n z 1 z ; (iv) Convergence: for any y R, z R k, lim n f n (,y,z) = f(,y,z). Proof. (i) By he linear growh of f, for all y R, z R k, we have f n (,y,z) sup (u,v) R 1+k { f(,u,v) [c 1 ()+n u y [c ()+n v z } c ()+ sup (u,v) R 1+k {c 1 () u +c () v [c 1 ()+n u y [c ()+n v z } c ()+ sup (u,v) R 1+k {c 1 () u +c () v c 1 ()( u y ) c ()( v z )} c 1 ()+c () y +c 3 () z. The inequaliy f n (,y,z) c () c 1 () y c () z canbe proved similarly. (ii) This follows from he definiion of f n iself. (iii) By inequaliy sup i I a i sup i I b i sup i I a i b i, wih I being an 5

26 arbirary index se, we have f n (,y 1,z 1 ) f n (,y,z ) = sup {f(,u,v) [c 1 ()+n u y 1 [c ()+n v z 1 } (u,v) R 1+k sup {f(,u,v) [c 1 ()+n u y [c ()+n v z } (u,v) R 1+k sup (u,v) R 1+k {[c1 ()+n( u y u y 1 )+[c ()+n( v z v z 1 )} sup (u,v) R 1+k {[c1 ()+n u y u+y 1 +[c ()+n v z v +z 1 } =[c 1 ()+n y 1 y +[c ()+n z 1 z. (iv) For any n 1, here exiss (u n,v n ) R 1+k such ha f n (,y,z) f(,u n,v n ) [c 1 ()+n u n y [c ()+n v n z +n 1. In oher words, f n (,y,z)+[c 1 ()+n u n y +[c ()+n v n z f(,u n,v n )+n 1. Noe ha in order o make he lef-hand side of above inequaliy finie as n, i is necessary o have lim n (u n,v n ) = (y,z). And hen lim f n(,y,z) f(,y,z). n On he oher hand, by he definiion of f n, we have f n (,y,z) f(,y,z). Hence lim n f n(,y,z) = f(,y,z). 6

27 Using funcions {f n } n 1 as generaors, we inroduce he following sequence of equaions ỹ n () = ξ + f n (s,ỹ n (s), z n (s))ds z n (s)dw(s), [,T. (1) Lemma 3.. If condiions A3 hold, hen equaions (1) have unique soluion pairs (ỹ n ( ), z n ( )) H (,T;R) M (,T;R k ), for any n 1. Proof. We only need o show ha he assumpions of he previous secion, which ensure he applicabiliy of Theorem.1 (i), hold. Thus, E [e T { γ()+ β 1 [c 1 ()+n + β [c ()+n }d ξ e Tn ( β 1 + β ) E[ p(t) ξ <, and E e { γ()+ β 1 [c 1 ()+n + β [c ()+n }ds f n (,,) γ()+ β 1 [c 1 ()+n + β d [c ()+n E e n ( β 1 + β ) p() c () γ()+ β 1 [c 1 ()+n + β [c ()+n d e n T( β 1 + β ) E p() c () d <. α() Ourmainasknowisoprovehahesequenceofsoluions{ỹ n ( ), z n ( )} n 1, converges o he soluion (y( ),z( )) of (1). We firs presen wo useful lemmas. Lemma 3.3. Le he condiions A3 hold. There exiss a consan κ, independen of n, such ha ỹ n κ and z n κ, for all n 1. Proof. From he fac ha he sequence f n is decreasing, and Theorem. (i), we know ha ỹ 1 () ỹ ()..., [,T a.s.. Hence, here exiss a consan κ 1 such ha κ 1 ỹ 1 ỹ... 7

28 By making use he linear growh propery of f n, we obain d p() ỹ n () = α() p() ỹ n () d p() z n () d p()ỹ n () z n ()dw() + p()ỹ n ()f n (,ỹ n (), z n ())d α() p() ỹ n () d p() z n () d p()ỹ n () z n ()dw() + p() ỹ n () f n (,ỹ n (), z n ()) d α() p() ỹ n () d p() z n () d p()ỹ n () z n ()dw() + p() ỹ n () [c ()+c 1 () ỹ n () +c () z n () d α() p() ỹ n () d p() z n () d p()ỹ n () z n ()dw() + p() ỹ n () d+ p()c ()d+ β 1 c 1 () p() ỹ n() d+( β 1 ) 1 p() ỹ n () d + β c () p() ỹ n() +( β ) 1 p() z n () d [1 ( β ) 1 p() z n () d+ p()c ()d + [1+( β 1 ) 1 p() ỹ n () d p()ỹ n () z n ()dw(), 8

29 which in inegral form becomes p(s) z n (s) ds + p(t)ξ [1 ( β T p(s)c + (s)ds ) [1 ( β 1 ) 1 [1+( β 1 ) 1 [1 ( β ) 1 p(s) ỹ n () ds p(s)ỹ n (s) z n (s)dw() [1 ( β ) 1. From Lemma.1, we know ha he sochasic inegral on he righ-hand side is a maringale. Taking he expecaion of boh sides gives E[ p(t)ξ z n [ + E [1+( β [ p(s)c (s)ds 1 ) 1 + ỹ 1 ( β ) 1 1 ( β ) [1 ( β n () 1 ) 1 E[ p(t)ξ [ + E [1+( β [ p(s)c (s)ds 1 ) 1 + κ 1 = κ. 1 ( β ) 1 1 ( β ) [1 ( β 1 ) 1 Finally, κ = max(κ 1,κ ). Lemma 3.4. Lehe condiionsa3 hold. Thepair ofprocesses(ỹ n ( ), z n ( )) n 1 converges o (ỹ( ), z( )) in M (,T;R) M (,T;R k ). Proof. LeusconsiderameasurableandLipchizfunciong(,y,z) = [c ()+ c 1 () y +c () z. FromLemma 3.1(iii)andTheorem.1(i) weknow hefollowing BSDEs have a unique adaped soluion on H (,T;R) M (,T;R k ): and ỹ n () = ξ + f n (s,ỹ n (s), z n (s))ds z n (s)dw(s), [,T, K() = ξ + g(s, K(s), L(s))ds L(s)dW(s), [,T. By Comparison Theorem. (i), we have K() ỹ n () ỹ n 1 () ỹ 1 (), n 1. 9

30 Hence {ỹ n ()} n 1 is decreasing and bounded in M (,T;R). Then by dominaed convergence heorem, we know ha {ỹ n ()} n 1 converges poinwisely o ỹ() in M (,T;R). Applying he Iô s formula o p() ỹ n () ỹ m () and wriing in inegral form, we have p() ỹ n () ỹ m () + p(s) z n (s) z m (s) ds = p(s)(ỹ n (s) ỹ m (s))[f n (s,ỹ n (s), z n (s)) f m (s,ỹ m (s), z m (s))ds (3) + p(s)(ỹ n (s) ỹ m (s))( z n (s) z m (s))dw(s). Taking expecaions on boh sides, from Lemma.1 (ii) and using he linear 3

31 growh propery of f n and f m, we have [ E p(s) z n (s) z m (s) ds [ E p(s)(ỹ n (s) ỹ m (s))[f n (s,ỹ n (s), z n (s)) f m (s,ỹ m (s), z m (s))ds E [ α(s) p(s)(ỹn (s) ỹ m (s)) p(s) [f n (s,ỹ n (s), z n (s)) f m (s,ỹ m (s), z m (s))ds α(s) ( [ ) 1 E α(s) p(s) ỹ n (s) ỹ m (s) ds ( [ E ) p(s) 1 α(s) f n(s,ỹ n (s), z n (s)) f m (s,ỹ m (s), z m (s)) ds ( [ E α(s) p(s) ỹ n (s) ỹ m (s) ds) 1 ( [ E [ p(s) c (s)+c 1 (s) ỹ n (s) α(s) )1 +c (s) z n (s) + c (s)+c 1 (s) ỹ m (s) +c (s) z m (s) ds ( [ 6 E α(s) p(s) ỹ n (s) ỹ m (s) ds) 1 ( [ E [ p(s) c α(s) (s)+c 1 (s) ỹ n(s) )1 +c (s) z n(s) +c 1 (s) ỹ m(s) +c (s) z m(s) ds 31

32 ( [ 6 E α(s) p(s) ỹ n (s) ỹ m (s) ds) 1 ( [ [ c E p(s) (s) α(s) + ỹ n(s) )1 + z n (s) + ỹ m (s) + z m (s) ds ( [ ) 1 6 κ E α(s) p(s) ỹ n (s) ỹ m (s) ds, ( )1 where κ 4κ+ c ( )α( ) 1. Therefore, his, ogeher wih he fac ha {ỹ n ()} n 1 poinwisely converges in M (,T;R), implies ha { z n ()} n 1 is a Cauchy sequence in M (,T;R k ) and hen converges o z() in he same space. Now we presen he main resul in his secion. Theorem 3.1. (Exisence) Equaion (1) has an adaped soluion (ỹ( ), z( )) M (,T;R) M (,T;R k ), which is also a maximal soluion, i.e. for any oher soluion (ȳ( ), z( )) of equaion (1), we have ỹ( ) ȳ( ). Proof. Similar o previous calculaion in Lemma 3.4, aking supremum over for equaion (3) and using he Burkholder-Davis-Gundy s inequaliy, we 3

33 have [ E E sup p() ỹ n () ỹ m () [,T [ + E sup [,T [ sup [,T p(s)(ỹ n (s) ỹ m (s))[f n (s,ỹ n (s), z n (s)) f m (s,ỹ m (s), z m (s))ds p(s)(ỹ n (s) ỹ m (s))( z n (s) z m (s))dw(s) [ E p(s) ỹ n (s) ỹ m (s) f n (s,ỹ n (s), z n (s)) f m (s,ỹ m (s), z m (s)) ds [ + KE p(s)(ỹ n (s) ỹ m (s)) p(s)( z 1 n (s) z m (s)) ds ( [ ) 1 E α(s) p(s) ỹ n (s) ỹ m (s) ds ( [ E + K E [ ) p(s) 1 α(s) f n(s,ỹ n (s), z n (s)) f m (s,ỹ m (s), z m (s)) ds sup p(s)(ỹ n (s) ỹ m (s)) + [,T ( [ ) 1 6 κ E α(s) p(s) ỹ n (s) ỹ m (s) ds p(s)( z n (s) z m (s)) ds + K E [ sup p(s) ỹ n (s) ỹ m (s) + [,T 33 p(s) z n (s) z m (s) ds.

34 Therefore by Lemma 3.4, for any [,T, {ỹ n ()} n 1 converges uniformly in M (,T;R) o y() in he same space. Since {ỹ n ()} n 1 is coninuous, by he uniform convergence heorem, ỹ() is a coninuous process. Now we show ha he sequence of processes {f n (,ỹ n (), z n ())} n 1 converges o {f(,ỹ(), z())} in L F (,T;R). Noe ha for any posiive and large enough δ, [ E f n (s,ỹ n (s), z n (s)) f(s,ỹ(s), z(s)) ds = E +E [ [ f n (s,ỹ n (s), z n (s)) f(s,ỹ(s), z(s)) 1 { } c 1 (s) ỹn(s) +c ds (s) zn(s) c δ (s)+c 1 (s)+c (s) f n (s,ỹ n (s), z n (s)) f(s,ỹ(s), z(s)) 1 { } c 1 (s) ỹn(s) +c ds (s) zn(s) c >δ (s)+c 1 (s)+c (s) [ E f n (s,ỹ n (s), z n (s)) f(s,ỹ n (s), z n (s)) 1 { c 1 (s) ỹn(s) +c (s) zn(s) +E +E [ [ c (s)+c 1 (s)+c (s) } ds δ f(s,ỹ n (s), z n (s)) f(s,ỹ(s), z(s)) 1 { } c 1 (s) ỹn(s) +c ds (s) zn(s) c δ (s)+c 1 (s)+c (s) f n (s,ỹ n (s), z n (s)) f(s,ỹ(s), z(s)) 1 { } c 1 (s) ỹn(s) +c ds (s) zn(s) c >δ (s)+c 1 (s)+c (s) By (ii), (iii) and (iv) in Lemma 3.1, assumpion (i) and he Dini s Theorem, as n, we have { sup c 1 (s) ỹn(s) +c (s) zn(s) c δ (s)+c 1 (s)+c (s) } f n(,ỹ(), z()) f(,ỹ(), z()). Therefore by he dominaed convergence heorem, he firs erm in righ hand side uniformly converges o. Due o assumpion (i), a leas along a subsequence, he second erm in he righ hand side converges o. For he final erm in he righ hand side, by Lemma 3.1 (iii), assumpion (ii) and Lemma 3.3, ogeher wih he fac ha a1 {X>a} < X for any nonnegaive. (4) 34

35 random variable X and a >, we have [ T E f n (,ỹ n (s), z n (s)) f(,ỹ(s), z(s)) 1 { } c 1 (s) ỹn(s) +c ds (s) zn(s) c >δ (s)+c 1 (s)+c (s) E [ [c (s)+c 1 (s) ỹ n (s) +c (s) z n (s) +c 1 (s) ỹ(s) +c (s) z(s) 1 { } c 1 (s) ỹn(s) +c ds (s) zn(s) c >δ (s)+c 1 (s)+c (s) [ E [c (s)+c 1 (s) ỹ n (s) +c (s) z n (s) +c 1 (s) ỹ(s) +c (s) z(s) c 1 (s) ỹ n (s) +c (s) z n (s) δ(c (s)+c 1(s)+c (s)) ds = 1 δ E [ 1 c (s)+c 1 (s)+c (s)[c (s)c 1 (s) ỹ n (s) +c 1 (s) ỹ n(s) +c 1 (s)c (s) ỹ n (s) z n (s) +c 1 (s) ỹ n(s) ỹ(s) +c 1 (s)c (s) ỹ n (s) z(s) +c (s)c (s) z n (s) +c 1 (s)c (s) ỹ n (s) z n (s) +c (s) z n(s) +c 1 (s)c (s) ỹ(s) z n (s) +c (s) z n(s) z(s) ds 1 δ E [ 1 c (s)+c 1(s)+c (s) [c (s)+4c 1 (s) ỹ n(s) +4c (s) z n(s) +c 1 (s) ỹ(s) +c (s) z(s) ds 1 δ E [ [+4 ỹ n (s) +4 z n (s) + ỹ(s) + z(s) ds κ δ, where κ is a consan independen of n. Hence aking limis in he following 35

36 equaion ỹ n () = ξ + f n (s,ỹ n (s), z n (s))ds z n (s)dw(s), [,T. we deduce ha (ỹ(), z()) M (,T;R) M (,T;R k ) is an adaped soluion of equaion (1). Furhermore, supposeha(ȳ(), z()) M (,T;R) M (,T;R k )isany soluionofequaion(1). Byhecomparisonheorem.,wehaveỹ n () ȳ() for any n 1 and hen ỹ() ȳ(). Hence ỹ() is a maximal soluion of equaion (1). 4. Conclusions We have considered wo classes of BSDEs wih possibly unbounded generaor. The firs class has a Lipschiz-ype generaor, whereas he second class has a coninuous generaor ha saisfies a cerain linear growh condiion. In boh cases we have given sufficien condiions for solvabiliy. We expec ha hese resuls will prove o be useful in ackling more difficul problems wih unbounded generaor, such as he BSDEs wih a quadraic growh and he Riccai BSDE, which play a fundamenal role in sochasic conrol. Appendix Here we include he derivaion of he lower bound for he parameer β ha appears in [16. We do so for he readers convenience, since in Theorem 6.1 of [16 no explici lower bound is given, i is only assumed ha parameer β should be large enough. The noaion of [16 will be used. Equaion(6.5)of[16saes haforsomeconsans k andk hefollowing holds (y,η) β = k ξ β + k f β α, (5) where he definiions of hese norms are given in [16, and are jus weighed Euclidian norms. From equaion (5.5) of [16, which gives he definiion of β 36

37 he norm (y,η) β, and he conclusions of Lemma 6. of [16, we obain (y,η) β = αy β + η β β ξ β + 8 f β α +18 ξ β + 45 f β β α β ( = 18+ ) ( 45 ξ β β + β + 8 ) f β α. (6) Comparing (5) and (6) gives k = β. Equaion (6.16) of [16 saes ha for some consans k and k he following holds (δy,δz,δn) β k δξ β + k β δ f α β. (7) β Here, differen from [16, we have used he ilde noaion for he consans k and k in order o avoid he clash of noaion wih hese consans inroduced in he previous paragraph. By inequaliy (6.5) of [16, we obain ha (δy,δz,δn) β k δξ β + k β ϕ α β ( ) αδy β + m δz β + δ f α β ( k δξ β + 3k k δξ β β + k ) δ f β α + δ f β α β ( ) = (k + ) δξ 3kk β 3k k + β β β +1 δ f α. (8) k δξ β + 3k β Comparing (7) and (8) gives k = 3k ( k β +1 ). The inequaliy a he end of page 35 of [16 is αδy β + m δz β k β αδy β + m δz β, (9) β 37

38 where we have used he ha noaion for he consan k in order o avoid he clash of noaion wih his consan inroduced earlier. Similarly o he previous paragraph we obain (δy,δz) β = αδy β + m δz β k ϕ β α 3 k β αδy β + m δz β. (3) Comparing (9) and (3) gives k = 3 k = 9k ( k β +1 ). In order o apply he conracion mapping principle, i is necessary o have k β ( 45 9 β + 8 )( 45 β β + 8 ) β +1 < 1. β < 1, i.e. By solving above inequaliy for β >, we obain ha by large enough in [16 i is mean ha β > Acknowledgemen We are graeful o he reviewer for a careful reading of he paper and suggesions ha led o an improved version. References [1 K. Bahlali, Backward sochasic differenial equaions wih locally Lipschiz coefficien, C. R. Acad. Sci. Paris, Ser. I 333 (1), [ K. Bahlali, S. Hamadène, and B. Mezerdi, Backward sochasic differenial equaions wih wo reflecing barriers and coninuous wih quadraic growh coefficien, Sochasic Processes and Their Applicaions, 115 (5), [3 P. Barrieu and N. El Karoui, Monoone sabiliy of quadraic semimaringales wih applicaions o unbounded general quadraic BSDEs, Ann. Probab., 41 (13),

39 [4 N. H. Bingham and R. Kiesel, Risk-neural Valuaion, Springer Finance, Second Ediion, 4. [5 J.-M. Bismu, Linear Quadraic Opimal Sochasic Conrol wih Random Coefficiens, SIAM J. Conrol and Opimizaion, 14 (1976), [6 P. Briand and Y. Hu, BSDE wih quadraic growh and unbounded erminal value, Probab. Theory Relaed Fields, 136 (6), [7 P. Briand and Y. Hu, Quadraic BSDEs wih convex generaors and unbounded erminal condiions, Probab. Theory Relaed Fields, 141(8), [8 P. Briand, J.-P. Lepelier, and J. S. Marin, One-dimensional backward sochasic differenial equaions whose coefficien is monoonic in y and non-lipschiz in z, Bernoulli, 13 (7), [9 P. Briand and A. Richou, On he uniqueness of soluions o quadraic BSDEs wih non-convex generaors, hps://arxiv.org/pdf/ pdf, 17. [1 R. L. Buckdahn, Backward sochasic differenial equaions driven by a maringale, 1993, preprin. [11 P. Dae and B. Gashi, Risk-sensiive conrol for a class of nonlinear sochasic sysems wih mulilicaive noise, Sysems & Conrol Leers, 6 (13), [1 F. Delbaen and S. Tang, Harmonic analysis of sochasic sysems and backward sochasic differenial equaions, Probab. Theory Rela. Fields, 146 (1), [13 F. Delbaen, Y. Hu, and A. Richou, On he uniqueness of soluions o quadraic BSDEs wih convex generaors and unbounded erminal condiions, Annales de I insiu Henri Poincaré, (B) 47 (11), [14 F. Delbaen, Y. Hu, and A. Richou, On he uniqueness of soluions o quadraic BSDEs wih convex generaors and unbounded erminal condiions: The criical case, Discree and Coninuous Dynamical Sysems- Series A, 35 (15),

40 [15 S. J. Fan and L. Jiang, Exisence and uniqueness resul for a backward sochasic differenial equaion whose generaor is Lipschiz coninous in y and uniformly coninuous in z, J. Appl. Mah. Compu. 36 (11), 1-1. [16 N. El Karoui and S. Huang, A general resul of exisence and uniqueness of backward sochasic differenial equaions, In: El Karoui, N., Mazliak, A. (eds.) Backward Sochasic Differenial Equaions, Piman research Noes in Mah. Series, 364 (1997) [17 N. El Karoui, S. Peng, and M.C. Quenez, Backward sochasic differenial equaions in finance, Mah. Finance, 7 (1997), [18 N. El Karoui, A. Maoussi, A. Ngoupeyou, Quadraic Exponenial Semimaringales and Applicaion o BSDE wih jumps, arxiv: , 16. [19 M. Koblyanski, Backward sochasic differenial equaions and parial differenial equaions wih a quadraaic growh, Ann. Probab., 8(), [ B. Gashi, Sochasic minimum-energy conrol, Sysems & Conrol Leers, 85 (15), [1 B. Gashi and A. A. Panelous, Linear backward sochasic differenial equaions of descripor ype: regular sysems, Journal of Sochasic Analysis and Applicaions, 31 (13), [ B. Gashi, and A. A. Panelous, Linear backward sochasic differenial sysems of descripor ype wih srucure and applicaions o engineering, Probabilisic Engineering Mechanics, 4 (15), [3 S. Hamadène, J. P. Lepelier, S. Peng, BSDEs wih coninuous coefficeins and applicaion o Markovian nonzero sum sochasic differenial games, in: N. El Karoui, L. Mazliak (Eds.), Piman Research Noes in Mahemaics Series, 364 (1997), [4 G. Jia, A uniqueness heorem for he soluion of Backward Sochasic Differenial Equaions, C. R. Acad. Sci. Paris, Ser. I, 346 (8)

41 [5 G. Jia, Some uniqueness resuls for one-dimensional BSDEs wih uniformly coninuous coefficiens, Saisics & Probabiliy Leers, 79(9), [6 F. C. Klebaner, Inroducion o sochasic calculus wih applicaions, Second ediion (5), Imerical College Press. [7 J. P. Lepelier and J. San Marin, Backward sochasic differenial equaions wih coninuous coefficien, Saisics & Probabiliy Leers, 3 (1997), [8 J. P. Lepelier and J. San Marin, Exisence for BSDE wih a superlinear quadraic coefficiens, Sochasics and Sochasic Repors, 63 (1998), 7-4. [9 J. Ma and J. Yong, Forward-Backward sochasic differenial equaions and heir applicaions. Lecure Noes in Mah. 17, (1999) Springer- Verlag, New York. [3 X. Mao, Adaped soluion of backward sochasic differenial equaions wih non-lipschiz coefficiens, Sochasic Processes and Applicaions, 58, (1995), [31 X. Mao, Sochasic Differenial Equaions and Their Applicaions, Second Ediion (11), Woodhead Publishing. [3 M. Mocha and N. Wesray, Quadraic semimaringale BSDEs under an exponenial momens condiion, Séminaire de Probabiliés XLIV, Lecure Noes in Mah., Springer, , 1. [33 M.-A. Morlais, Quadraic BSDEs driven by a coninuous maringale and applicaions o he uiliy maximizaion problem, Finance Soch., 13 (9), [34 E. Pardoux and S. Peng, 199. Adaped soluion of a backward sochasic differenial equaion, Sysems & Conrol Leers, 14 (199), [35 S. Peng, Sochasic Hamilon Jacobi Bellman equaions, SIAM Journal on Conrol and Opimizaion, 3 (199),

42 [36 S. Peng, A generalized dynamic programming principle and Hamilon- Jacobi-Bellman equaion, Sochasics and Sochasic Repors, 38 (199), [37 S. Peng, Backward sochasic differenial equaions and exac conrollabiliy of sochasic conrol sysems, Progress in naural science, 4 (1994), [38 D. Revuz and M. Yor, Coninuous maringales and Brownian moion, Third Ediion (1999), Springer. [39 Y. Wang and X. Wang, Adaped soluions of backward SDE wih nonlipschiz coefficiens, Chinese J. Appl. Probab. Sais., 19 (3), (in chinese). [4 Y. Wang and Z. Huang, Backward sochasic differrenial equaions wih non-lipschiz coefficiens, Saisics & Probabiliy Leers, 79 (9) [41 Y. Wang, BSDEs wih general filraion driven by Lévy processes, and an applicaion in sochasic conrollabiliy, Sysems & Conrol Leers, 6 (13), [4 J. Yong and and X. Y. Zhou, 1999, Sochasic Conrols: Hamilonian Sysems and HJB Equaions, Springer, [43 J. Yong, Compleeness of securiy markes and solvabiliy of linear backward sochasic differenial equaions, J. Mah. Anal. Appl., 319 (6), [44 J. Yong, Remarks on some shor rae erm srucure models, Journal of Indusrial and Managemen Opimizaion, (6), [45 S. Zheng and S. Li, Represenaion heorems for generaors of BSDEs wih monoonic and convex growh generaors, Saisics & Probabiliy Leers, 97 (15), [46 C. Zhigang and Y. Jia-An, A comparison heorem for soluions of backward sochasic differenial equaions, Advances in Mahemaics, 8 (1999),