arxiv: v2 [math.pr] 11 Dec 2013

Transcription

1 Mulidimensional BSDEs wih uniformly coninuous generaors and general ime inervals Shengjun FAN a,b,, Lishun XIAO a, Yanbin WANG a a College of Science, China Universiy of Mining and echnology, Xuzhou, Jiangsu, , P.R. China b School of Mahemaical Sciences, Fudan Universiy, Shanghai, 243, P.R. China Absrac arxiv: v2 [mah.pr] 11 Dec 213 his paper is devoed o solving a mulidimensional backward sochasic differenial equaion wih a general ime inerval, where he generaor is uniformly coninuous in y, z) non-uniformly wih respec o. By esablishing some resuls on deerminisic backward differenial equaions wih general ime inervals, and by virue of Girsanov s heorem and convoluion echnique, we esablish a new exisence and uniqueness resul for soluions of his kind of backward sochasic differenial equaions, which exends he resuls of Hamadène 23) and Fan, Jiang, and ian 211) o he general ime inerval case. Keywords: Backward sochasic differenial equaion, general ime inerval, exisence and uniqueness, uniformly coninuous generaor 21 MSC: 6H1 1. Inroducion In his paper, we are concerned wih he following mulidimensional backward sochasic differenial equaion BSDE for shor in he remaining): y = ξ + gs,y s,z s )ds z s db s, [,], 1) where saisfies + called he erminal ime; ξ is a k-dimensional random vecor called he erminal condiion; he random funcion gω,,y,z) : Ω [,] R k R k d R k is progressively measurable for each y, z), called he generaor of BSDE 1); and B is a d-dimensional Brownian moion. he soluion y,z ) [,] is a pair of adaped processes. he riple ξ,,g) is called he parameers of BSDE 1). We also denoe by BSDE ξ,,g) he BSDE wih he parameers ξ,,g). he nonlinear BSDEs were iniially inroduced by Pardoux and Peng 199). hey proved an exisence and uniqueness resul for soluions of mulidimensional BSDEs under he assumpions ha he generaor g is Lipschiz coninuous in y,z) uniformly wih respec o, where he erminal ime is a finie consan. Since hen, BSDEs have araced more and more ineresing and many applicaions on BSDEs have been found in mahemaical finance, sochasic conrol, parial differenial equaions and so on See El Karoui, Peng, and Quenez 1997) for deails). Suppored by he Naional Naural Science Foundaion of China No ) and he Fundamenal Research Funds for he Cenral Universiies No. 213RC2). Corresponding auhor address: f_s_j@126.com Shengjun FAN)

2 Many works including Mao 1995), Lepelier and San Marin 1997), Kobylanski 2), Bahlali 21), Hamadène 23), Briand, Lepelier, and San Marin 27), Wang and Huang 29) and Fan, Jiang, and Davison 21), see also he references herein, have weakened he Lipschiz condiion on he generaor g. In paricular, by virue of some resuls on deerminisic backward differenial equaions DBDEs for shor in he remaining), Hamadène 23) proved he exisence for soluions of mulidimensional BSDEs when he generaor g is uniformly coninuous in y, z). Furhermore, by esablishing an esimae for a linear-growh funcion, Fan, Jiang, and Davison 21) obained he uniqueness resul under he same assumpions as hose in Hamadène 23). I should be poined ou ha all hese works menioned above only deal he BSDEs wih finie ime inervals. Chen and Wang 2) firs exended he erminal ime o he general case and proved he exisence and uniqueness for soluions of BSDEs under he assumpions ha he generaor g is Lipschiz coninuous in y,z) non-uniformly wih respec o, which improves he resul of Pardoux and Peng 199) o he infinie ime inerval case. Furhermore, Fan and Jiang 21) and Fan, Jiang, and ian 211) relaxed he Lipschiz condiion of Chen and Wang 2) and obained wo exisence and uniqueness resuls for soluions of BSDEs wih general ime inervals, which generalizes he resuls of Mao 1995) and Lepelier and San Marin 1997) respecively. Recenly, Hua, Jiang, and Shi 213) exended furher he resul in Fan and Jiang 21) o he refleced BSDEs case. However, up o now, he quesion of he exisence and uniqueness for soluions of mulidimensional BSDEs wih general ime inervals and uniformly coninuous generaors in y, z) has no been sudied. In his paper, by esablishing some resuls on soluions of DBDEs wih general ime inervals and by virue of Girsanov s heorem and convoluion echnique, we pu forward and prove a general exisence and uniqueness resul for soluions of mulidimensional BSDEs wih general ime inervals and uniformly coninuous generaors in y, z) see heorem 7 in Secion 3), which exends he resuls of Hamadène 23) and Fan, Jiang, and Davison 21) o he general ime inerval case. I should be menioned ha he uniform coninuous assumpions for he generaor are no necessarily uniform wih respec o in his resul. We would like o menion ha some new roubles arise naurally when we change he erminal ime of he BSDE and he DBDE from he finie case o he general case. For example, in he case of = +, he inegraion of a consan over [,] is no finie any more, u)d Csup [,]u) may no hold any longer, and v2 s)ds < + can no imply vs)ds < +. All hese roubles are well overcome in his paper. Furhermore, alhough he whole idea of he proof for he exisence and uniqueness of heorem 7 originaes from Hamadène 23) and Fan, Jiang, and Davison 21) respecively, some differen argumens from hose employed in Hamadène 23) is used o prove he exisence par of heorem 7. More specifically, in he Sep 1 of he proof for he exisence par of heorem 7, he proof of Lemma 12 is compleely differen from ha of he corresponding resul in Hamadène 23), and we do no use he ieraion echnique used in Hamadène 23) for soluions of BSDE ξ,,g n ) see 14) in Secion 4). In addiion, he Sep 3 of our proof for he exisence par is also very differen from ha in Hamadène 23). As a resul, he proof procedure is simplified a cerain degree. his paper is organized as follows. Secion 2 inroduces some usual noaions and esablishes some 2

3 resuls on he soluions of DBDEs wih general ime inervals. Secion 3 is devoed o saing he exisence and uniqueness resul on BSDEs heorem 7. Secion 4 gives he deailed proof of heorem 7, and Appendix provides he proof of he resuls on DBDEs sudied in Secion Noaions and some resuls on DBDEs Firs of all, le Ω, F, P) be a probabiliy space carrying a sandard d-dimensional Brownian moion B ) and le F ) be he naural σ-algebrafilraion generaedby B ). We assume ha F = F and F ) is righ-coninuous and complee. In his paper, he Euclidean norm of a vecor y R k will be defined by y, and for a k d marix z, we define z = rzz ), where and hereafer z represens he ranspose of z. Le x,y represen he inner produc of x, y R k. Le L 2 Ω,F,P;R k ) be he se of R k -valued and F -measurable random variables ξ such ha ξ 2 L 2 := E[ ξ 2 ] < + and le S 2,;R k ) denoe he se of R k -valued, adaped and coninuous processes Y ) [,] such ha Y S 2 := E [ ]) 1/2 sup Y 2 < +. [,] Moreover, le M 2,;R k d ) denoe he se of equivalen classes of) F )-progressively measurable R k d -valued processes Z ) [,] such ha [ 1/2 Z M 2 := E Z d]) 2 < +. Obviously, S 2,;R k ) is a Banach space and M 2,;R k d ) is a Hilber space. Finally, le S be he se of all non-decreasing coninuous funcions ρ ) : R + R + wih ρ) = and ρx) > for all x >, where and hereafer R + := [,+ ). As menioned above, we will deal only wih he mulidimensional BSDE which is an equaion of ype 1), where he erminal condiion ξ is F -measurable, he erminal ime saisfies +, and he generaor g is F )-progressivelymeasurable for each y,z). In his paper, we use he following definiion. Definiion 1. A pair of processes y,z ) [,] aking values in R k R k d is called a soluion of BSDE 1), if y,z ) [,] belongs o he space S 2,;R k ) M 2,;R k d ) and dp a.s., BSDE 1) holds rue for each [,]. he following Lemma 2 comes from Lepelier and San Marin 1997), which will be used laer. Lemma 2. Le p N, f ) : R p R be a coninuous and linear-growh funcion, i.e., here exiss a posiive consan K such ha fx) K1+ x ) for all x R p. hen f n x) = inf y R p{fy)+n x y }, x R p, is well defined for n K and saisfies i) Linear growh: for each x R p, f n x) K1+ x ); ii) Monooniciy in n: for each x R p, f n x) increases in n; iii) Lipschiz coninuous: for each x 1, x 2 R p, we have f n x 1 ) f n x 2 ) n x 1 x 2 ; 3

4 iv) Srong convergence: if x n x, hen f n x n ) fx) as n +. In he following, we will esablish some proposiions on DBDEs wih general ime inervals, which will play imporan roles in he proof of our main resul. I is very likely ha hese resuls have already appeared somewhere, bu we have no seen i, so we provide heir proofs in Appendix for he convenience of readers. Proposiion 3. Le + and f,y) : [,] R R saisfy he following wo assumpions: B1) here exiss a funcion u ) : R + R + wih u)d < + such ha for each y 1, y 2 R and B2) [,], f,) d < +. hen for each δ R he following DBDE f,y 1 ) f,y 2 ) u) y 1 y 2 ; y = δ + has a unique coninuous soluion y ) [,] such ha sup [,] y < +. fs,y s )ds, [,], 2) Proposiion 4. Assume +, f saisfies B1) and B2), y ) [,] is he unique coninuous soluion of DBDE 2) such ha sup [,] y < +, C is an arbirary consan and y n is defined recursively as follows, for each n N and δ R, y 1 = C; y n+1 = δ + hen y n y as n + for each [,]. fs,y n s)ds, [,]. Proposiion 5. Le +, f and f saisfy B1) B2), y ) [,] and y ) [,] wih sup [,] y + y ) < + saisfy respecively DBDE 2) and he following DBDE, for some δ R, y = δ + f s,y s)ds, [,]. Assume ha f,y ) f,y ) for each [,]. hen, we have i) Comparison heorem) if δ δ, hen y y for each [,]; ii) Sric comparison heorem) if δ > δ, hen y > y for each [,]. Proposiion 6. Le +, u ) be defined in B1) and ϕ ) : R + R + be a coninuous funcion such ha ϕx) ax+b for all x R +, where a and b are wo given nonnegaive consans. hen for each δ R +, he following DBDE y δ = δ + has a soluion y δ ) [,] such ha sup [,] y δ < +. In addiion, us)ϕys δ )ds, [,], 3) i) if δ > and ϕx) > for all x >, hen DBDE 3) has a unique soluion; ii) if δ = and ϕ S wih + ϕ 1 x)dx = +, hen DBDE 3) has a unique soluion y. 4

5 3. Main resul In his secion, we will sae he main resul of his paper. Le us firs inroduce he following assumpions wih respec o he generaor g of BSDE 1), where +. H1) g is uniformly coninuous in y non-uniformly wih respec o, i.e., here exiss a deerminisic funcion u ) : [,] R + wih dp d a.e., for each y 1, y 2 R k and z R k d, u)d < + and a linear-growh funcion ρ ) S such ha gω,,y 1,z) gω,,y 2,z) u)ρ y 1 y 2 ); Furhermore, we also assume ha + ρ 1 u)du = + ; H2) g is uniformly coninuous in z non-uniformly wih respec o, i.e., here exiss a deerminisic funcion v ) : [,] R + wih v)+v 2 ) ) d < + and a linear-growh funcion φ ) S such ha dp d a.e., for each y R k and z 1, z 2 R k d, gω,,y,z 1 ) gω,,y,z 2 ) v)φ z 1 z 2 ); H3) For any i = 1,,k, g i ω,,y,z), he ih componen of g, depends only on he ih row of z; [ ) ] 2 H4) E gω,,,) d < +. In he sequel, we denoe he linear-growh consan for ρ ) and φ ) in H1) and H2) by A >, i.e., ρx) A1 + x) and φx) A1 + x) for all x R +. In he remaining of his paper, we pu an i a upper lef of y R k, z R k d o represen he ih componen of y and he ih row of z, like i y and i z. he main resul of his paper is he following heorem 7, whose proof will be given in nex secion. heorem 7. Assume ha + and g saisfies H1) H4). hen for each ξ L 2 Ω,F,P;R k ), BSDE 1) has a unique soluion. Remark 8. In he corresponding assumpions in Hamadène 23) and Fan, Jiang, and Davison 21) he u), v) appearing in H1) and H2) are bounded by a consan c >, and is a finie real number. However, in our framework he u), v) may be unbounded. In addiion, heorem 7 also considers he case of = +. Consequenly, heorem 7 generalizes he corresponding resuls in Hamadène 23) and Fan, Jiang, and Davison 21). Example 9. Le +, and for each i = 1,,k and ω,,y,z) Ω [,] R k R k d, define he generaor g = g 1,,g k ) by g i ω,,y,z) = f 1 ) h y )+1 ) +f 2 ) i z + B ω), where f 1 ) = 1 1 <<δ + f 2 ) = <<δ δ, 1 1+) 2 1 δ, 5

6 hx) = xln 1 x 1 x δ +[h δ )x δ)+hδ)]1 x>δ, wih δ small enough. Since h) = and h is concave and increasing, we have hx 1 +x 2 ) hx 1 )+hx 2 ) for all x 1, x 2 R +, which implies ha hx 1 ) hx 2 ) h x 1 x 2 ). hus, noe ha 1 + xln 1 dx = +. x We know ha he generaor g saisfies assumpions H1) H4) wih u) = f 1 ), v) = f 2 ). I hen follows from heorem 7 ha for each ξ L 2 Ω,F,P;R k ), BSDE 1) has a unique soluion y,z ) [,]. I should be menioned ha he above conclusion can no be obained by he resul of Hamadène 23), Fan, Jiang, and Davison 21) and oher exising resuls. 4. Proof of he main resul his secion will give he proof of our main resul heorem 7. Before saring he proof, le us firs inroduce he following Lemma 1, which comes from heorem 1.2 in Chen and Wang 2). he following assumpion will be used in Lemma 1, where we suppose + : A1) here exis wo deerminisic funcions u ),v ) : [,] R + wih such ha dp d a.e., for each y 1, y 2 R k and z 1, z 2 R k d, g,y 1,z 1 ) g,y 2,z 2 ) u) y 1 y 2 +v) z 1 z 2. u) + v 2 ) ) d < + Lemma 1 heorem 1.2 in Chen and Wang 2)). Assume ha + and g saisfies A1) and H4). hen for each ξ L 2 Ω,F,P;R k ), BSDE 1) has a unique soluion y,z ) [,] Proof of he uniqueness par of heorem 7 he idea of he proof of his par is parly moivaed by Fan, Jiang, and Davison 21). Le y 1,z1 ) [,] and y 2,z2 ) [,] be wo soluions of BSDE 1). hen we have he following Lemma 11, whose proof is provided a he end of his subsecion. Lemma 11. he process y 1 y 2 ) [,] is uniformly bounded, i.e., here exiss a posiive consan C 1 > such ha dp d a.e., y 1 y 2 C 1. 4) Moreover, for each n N, i = 1,2,,k and r, we have E n,i[ i y 1 i y 2 ] F r an + E n,i[ us)ρ ys 1 y2 s ) ] F r ds, 5) where ) 2A a n = φ vs) ds, n+2a and E n,i [X F ] represens he condiional expecaion of random variable X wih respec o F under a probabiliy measure P n,i on Ω,F), which depends on n and i, and which is absoluely coninuous wih respec o P. 6

7 In he sequel, le ρy) = ρ y ) for each y R, and for each n N, define ρ n ) : R R + by ρ n x) = sup{ρy) n x y }. y R I follows from Lemma 2 ha ρ n is well defined for n A, Lipschiz coninuous, non-increasing in n and converges o ρ. hen, for each n A, by Proposiion 3 we can le f n be he unique soluion of he following DBDE f n = a n + [us)ρ n k fs n )]ds, [,]. 6) Noicing ha ρ n and a n are boh decreasing in n, we have f n+1 f n for each n A by Proposiion 5, which implies ha he sequence {f n } + n=1 converges poin wisely o a funcion f. hus, by sending n + in 6), i follows from Lemma 2 and he Lebesgue dominaed convergence heorem ha f = [us)ρk f s )]ds = [us)ρk f s )]ds, [,]. Recalling ha ρ ) S and + ρ 1 u)du = +, Proposiion 6 yields ha f. Now, for each n A, j N and [,], le f n,j be he funcion defined recursively as follows: f n,1 = C 1 ; f n,j+1 = a n + us)ρn k fs n,j ) ) ds, 7) where C 1 is defined in 4). Noicing ha ρ n is Lipschiz coninuous, by Proposiion 4 we know ha f n,j converges poin wisely o f n as j + for each [,] and n A. On he oher hand, i is easy o check by inducion ha for each n A, j 1 and i = 1,,k, i y 1 i y 2 fn,j f n,j, [,]. 8) Indeed, 8) holds rue for j = 1 due o 4). Suppose 8) holds rue for j 1. hen, for each [,], u)ρ y 1 y 2 ) u)ρk f n,j ) u)ρ n k f n,j ). In view of 5) wih r = as well as 7), we can deduce ha for each n A and i = 1,2,,k, which is he desired resul. i y 1 i y 2 f n,j+1 f n,j+1, [,], Finally, by sending firs j + and hen n + in 8), we obain ha sup [,] i y 1 i y 2 = for each i = 1,2,,k. ha is, he soluion of BSDE 1) is unique. he proof of he uniqueness par is hen compleed. Proof of Lemma 11. Using Iô s formula o y 1 y 2 2 we arrive, for each [,], a y 1 y2 2 + z 1 s z2 s 2 ds = 2 2 y 1 s y2 s,gs,y1 s,z1 s ) gs,y2 s,z2 s ) ds y 1 s y2 s,z1 s z2 s )db s. 9) he inner produc erm including g can be enlarged by H1) H2) and he basic inequaliy 2ab 2a 2 +b 2 /2 as follows: 2 y 1 s y 2 s,gs,y 1 s,z 1 s) gs,y 2 s,z 2 s) 2 y 1 s y 2 s gs,y 1 s,z 1 s) gs,y 2 s,z 1 s)+gs,y 2 s,z 1 s) gs,y 2 s,z 2 s) 7

8 2 y 1 s y2 s Aus) y 1 s y2 s +Avs) z1 s z2 s +Aus)+Avs)) Bs) y 1 s y 2 s z1 s z 2 s 2 +Aus)+Avs), where Bs) = 2Aus)+2A 2 v 2 s)+aus)+avs). Puing he previous inequaliy ino 9) we can obain ha for each [,], y 1 y2 2 Bs) y 1 s y2 s 2 ds 2 y 1 s y2 s,z1 s z2 s )db s +C, where C = Aus)+vs))ds. Noe ha boh y1,z1 ) [,] and y 2,z2 ) [,] belong o he process space S 2,;R k ) M 2,;R k d ). By he Burkholder-Davis-Gundy BDG for shor in he remaining) inequaliy and Hölder s inequaliy we have ha here exiss a posiive consan K > such ha [ ] E sup ys 1 ys,z 2 s 1 zs)db 2 s K E ys 1 ys 2 2 zs 1 zs 2 2 ds [,] [ ] E [ ] K E sup y 1 y 2 2 zs 1 zs 2 2 ds < +, [,] which implies ha y1 s y2 s,z1 s z2 s )db s ) [,] is an F,P)-maringale. hen we have for each r, E [ y 1 y2 2 ] Fr Bs)E [ ys 1 y2 s 2 ] Fr ds+c. By Lemma 4 in Fan, Jiang, and ian 211) we have E [ y 1 y 2 2 Fr ] Ce Bs)ds := C 1 ) 2, which yields 4) afer aking r =. In he sequel, by H3) we have for each [,], i y 1 i y 2 = gi s,ys, 1 i zs) g 1 i s,ys, 2 i zs) 2 ) ds i zs 1 i zs)db 2 s, hen, H3) and anaka s formula lead o ha, for each [,], i y 1 i y 2 sgn i ys 1 i ys) 2 g i s,ys, 1 i zs) g 1 i s,ys, 2 i zs) 2 ) ds sgn i ys 1 i ys) 2 i zs 1 i zs)db 2 s. 1) Furhermore, i follows from H1) and H2) ha g i s,y 1 s, i z 1 s) g i s,y 2 s, i z 2 s) us)ρ y 1 s y 2 s )+vs)φ i z 1 s i z 2 s ). 11) Recalling ha φ ) is a non-decreasing funcion from R + o iself wih a mos linear-growh. From Fan, Jiang, and Davison 21) we know ha for each n N and x R +, ) 2A φx) n+2a)x+φ. 12) n+2a hus, combining 1) 12) we ge ha for each n N, ) 2A i y 1 i y 2 φ vs)ds+ us)ρ y 1 n+2a s ys )+n+2a)vs) 2 i zs 1 i zs 2 ) ds 8

9 Now for each [,], le sgn i ys 1 i ys) 2 i zs 1 i zs)db 2 s, [,]. e n,i := n+2a) sgni y 1 i y) 2 i z 1 i z) 2 i z 1 i z 2 1 i z 1 i z 2. hen, e n,i ) [,] is a R d -valued, bounded and F )-adaped process. I follows from Girsanov s heorem ha B n,i = B on Ω,F) defined by en,i s hus, for each n N and [,], vs)ds, [,], is a d-dimensional Brownian moion under he probabiliy Pn,i { dp n,i dp = exp vs)e n,i s ) db s 1 } v 2 s) e n,i s 2 2 ds. ) 2A i y 1 i y 2 φ vs)ds+ us)ρ y 1 n+2a s ys )ds 2 sgn i ys 1 i ys) 2 i zs 1 i zs)db 2 s n,i. 13) Moreover, he process sgni ys 1 i ys 2)i zs 1 ) i zs 2)dBn,i s [,] is an F,P n,i )-maringale. In fac, le E n,i [X] represen he expecaion of he random variable X under P n,i. By he BDG inequaliy and Hölder s inequaliy we know ha here exiss a posiive consan K > such ha for each n N, [ ] E n,i sup sgn i ys 1 i ys) 2 i zs 1 i zs)db 2 s n,i [,] E [ ) ] K E n,i i zs 1 i zs 2 2 ds dp K n,i 2 [ E ] dp i zs 1 i zs 2 2 ds < +. hus, for each n N and r, by aking he condiion expecaion wih respec o F r under P n,i in boh sides of 13), we can ge he desired resul 5). he proof of Lemma 11 is complee Proof of he exisence par of heorem 7 he idea of he proof of his par is enlighened by Hamadène 23). Bu some differen argumens are used, and hen he proof procedure is simplified a cerain degree. Assumehahegeneraorg saisfiesh1) H4)andξ L 2 Ω,F,P;R k ). Wihoulossofgeneraliy, we assume ha u) and v) in H1) and H2) are boh sricly posiive funcions. Oherwise, we can use u)+e and v)+e insead of hem respecively. We have he following lemma whose proof is placed a he end of his subsecion. Lemma 12. Le g saisfy H1) H3), and assume ha u) > and v) > for each [,]. hen here exiss a generaor sequence {g n } + n=1 such ha i) For each n N, g n,y,z) is a mapping from Ω [,] R k R k d ino R k and is F )-progressively measurable. Moreover, we have dp d a.e., for each y R k and z R k d, g n,y,z) g,,) +kau)1+ y )+kav)1+ z ); 9

10 ii) For each n N, g n,y,z) saisfies H3), and dp d a.e., for each y 1, y 2 R k and z 1, z 2 R k d, we have g n,y 1,z 1 ) g n,y 2,z 2 ) ku)ρ y 1 y 2 )+kv)φ z 1 z 2 ), g n,y 1,z 1 ) g n,y 2,z 2 ) kn+a) u) y 1 y 2 +v) z 1 z 2 ) ; iii) For each n N, here exiss a non-increasing deerminisic funcions sequence b n ) : [,] R + wih b n)d as n + such ha dp d a.e., for each y R k and z R k d, g n,y,z) g,y,z) kb n ). I follows from i) ii) of Lemma 12 and H4) ha for each n N, g n saisfies A1) and H4). hen i follows from Lemma 1 ha for each n N and ξ L 2 Ω,F,P;R k ), he following BSDE y n = ξ + g n s,ys n,zn s )ds zs n db s, [,], 14) has a unique soluion y n,zn ) [,]. he following proof will be spli ino hree seps. Sep 1. In his sep we show ha {y n ) [,] } + n=1 is a Cauchy sequence in S2,;R k ). For each n, m N, le y n,zn ) [,] and y m,zm ) [,] be, respecively, soluions of BSDE ξ,,g n ) and BSDE ξ,,g m ). Using Iô s formula o y n ym 2 we arrive, for each [,], a y n ym 2 + zs n zm s 2 ds = 2 2 y n s ym s,gn s,y n s,zn s ) gm s,y m s,zm s ) ds y n s ym s,zn s zm s )db s. 15) I follows from ii) iii) in Lemma 12 and he basic inequaliy 2ab 2a 2 +b 2 /2 ha, wih adding and subracing he erm g n s,y m s,zm s ), 2 y n s ym s,gn s,y n s,zn s ) gm s,y m s,zm s ) 2 y n s y m s kaus) y n s y m s +kavs) z n s z m s +kaus)+kavs)+τ n,m s) ) Ds)+τ n,m s) ) y n s ym s zn s zm s 2 +kaus)+kavs)+τ n,m s), where τ n,m s) = k b n s)+b m s) ), Ds) = 2kAus)+2k 2 A 2 v 2 s)+kaus)+kavs). Puing he previous inequaliy ino 15) and aking he condiional expecaion wih respec o F r yield ha, for each r and n, m N. where C n,m = 211) ha E [ y n y m 2 ] Fr Ds)+τn,m s) ) E [ ys n ys m 2 ] Fr ds+cn,m, kaus) + kavs) + τn,m s) ) ds. I follows from Lemma 4 in Fan, Jiang, and ian E [ y n ym 2 F r ] Cn,m e Ds)+τn,ms))ds C 1,1 e Ds)+τ1,1s))ds := C 2 ) 2. Aferakingr = inhepreviousinequaliy,wehavehaforeachn, m N, dp d a.e., y n ym C 2. 1

11 Furhermore, i follows from ii) in Lemma 12, H3) and anaka s formula ha for each [,], i y n i y m sgn i y n s i y m s ) g n i s,y n s, i z n s) g m i s,y m s, i z m s ) ) ds sgn i y n s i y m s ) i z n s i z m s )db s. 16) I follows from ii) iii) in Lemma 12 ha, by adding and subracing he erm g n i s,ym s,i z m s ), g n i s,y n s, i z n s) g m i s,y m s, i z m s ) kus)ρ y n s y m s )+kvs)φ i z n s i z m s )+τ n,m s). 17) Combining 16) 17) wih 12) we ge ha for each n, m, q N and [,], where i y n i y m C n,m,q +k us)ρ y n s y m s )+q +2A)vs) i z n s i z m s ) ds sgn i ys n i ys m ) i zs n i zs m )db s, 18) ) 2A C n,m,q := kφ vs)ds+ τ n,m s)ds. q +2A In he sequel, by virue of Girsanov s heorem, in he same way as in he proof of Lemma 11 we can deduce from 18) ha for each n, m, q N, i = 1,,k, and r, E n,m,q,i[ i y n i y m ] F r Cn,m,q +k E n,m,q,i[ us)ρ ys n ym s ) ] F r ds, where E n,m,q,i [X F ] represens he condiional expecaion of random variable X wih respec o F under a probabiliy measure P n,m,q,i on Ω,F), which depends on n, m, q and i, and which is absoluely coninuous wih respec o P. Finally, noe ha C n,m,q ends non-increasingly o as n, m, q +. he same argumen as in he proof of he uniqueness par of heorem 7 yields ha for each i = 1,,k, [ lim E n,m + ] sup i y n i y m 2 =, [,] which means ha {y n ) [,]} + n=1 is a Cauchy sequence in S2,;R k ). We denoe he limi by y ) [,]. Sep 2. In his sep we show ha {z n ) [,] } + n=1 is a Cauchy sequence in M2,;R k d ). Using Iô s formula for y n 2 defined in BSDE 14), we can obain ha y n 2 + zs n 2 ds = ξ 2 +2 y n s,g n s,y n s,z n s) ds 2 y n s,z n s db s. Le G n ω) := sup [,] y n. I follows from he convergence of {yn ) [,]} + n=1 in S2,;R k ) ha sup n N E [ G 2 nω) ] < +. In view of i) in Lemma 12 we have ha for each [,], y n 2 + zs n 2 ds ξ G n ω) y n s,zn s db s gs,,) +kaus)1+ y n s )+kavs)1+ z n s )) ds. 11

12 I follows from he BDG inequaliy ha yn,z n db s ) [,] is an F,P)-maringale. By he inequaliies 2ab a 2 +b 2, 2ab λa 2 +b 2 /λ λ := 2k 2 A 2 v2 s)ds) and Hölder s inequaliy we deduce ha for each n N, [ ] E zs n 2 ds E [ [ ξ 2] + 1+kA+λ+2kA us) ds ] sup n N E [ ) 2 G 2 n ω)] +E gs,,) ds ) 2 ) 2 [ ) +ka us)+vs) ds + k2 A 2 ] λ E vs) zs n ds C E zs n 2 ds, from which i follows ha where C 3 is a posiive consan and independen of n. [ ] supe zs n 2 ds 2C 3 < +, 19) n On he oher hand, by aking expecaion in boh sides of 15), we have ha for each n, m N, [ ] [ ] E zs n zs m 2 ds 2E ys n ys m,g n s,ys,z n s) g n m s,ys m,zs m ) ds. 2) I follows from i) in Lemma 12 ha 2 y n s ym s,gn s,y n s,zn s ) gm s,y m s,zm s ) 4k y n s y m s [ gs,,) +Aus) G n ω)+g m ω) ) +Avs) z n s + z m s )+Aus)+vs))]. Puing he previous inequaliy ino 2) and using Hölder s inequaliy and 19) yields ha [ ] [ ] ) 2 E zs n zs m 2 ds 16k E y n y m 2 [ )] E gs,,) +A us)+vs) ds sup [,] +32kA us) ds sup E[G 2 nω)] n N [ +32kA 2C 3 v 2 s)ds E [ E ] sup y n y m 2 [,] sup y n ym ]. 2 [,] Since sup n N E[G 2 n ω)] < +, {yn ) [,]} + n=1 converges in S2,;R k ) and ) 2 [ )] E gs,,) +A us)+vs) ds ) 2 2E gs,,) ds +2 A us)+vs) ) 2 ds) < +, we can deduce ha, [ ] lim E z n n,m + s zs m 2 ds =. herefore, {z n ) [,] } + n=1 is a Cauchy sequence in M2,;R k d ). We denoe by z ) [,] he limi. Sep 3. his sep will show ha he process y,z ) [,] is a soluion of BSDE 1). 12

13 Now, wehaveknownha foreachfixed [,], he sequence{y n } + n=1 and { z n s db s } + n=1 converge in L 2 Ω,F,P;R k ) oward o y and z s db s respecively. Nex le us check he limi of g n s,y n s,zn s ) in BSDE 14). Firs, for each [,], we have E g n s,ys,z n s) gs,y n s,z s ) ds ) 2 2E ) 2 g n s,ys n,zn s ) gs,yn s,zn s ) ds ) 2 +2E gs,ys n,zn s ) gs,y s,z s ) ds. 21) I follows from iii) in Lemma 12 ha he firs erm on he righ side of 21) converges o as n +. Furhermore, by H1) H2) and 12) we have ha for each n, m N, ) 2 E gs,ys n,zn s ) gs,y s,z s ) ds 2m+2A) 2 E us) y n s y s +vs) zs n z s ) ) 2 ds +2 [ ) )] 2 2A 2A us)ρ +vs)φ ds). 22) m+2a m+2a Noe ha he second erm on he righ side of 22) converges o as m +. On he oher hand, i follows from Hölder s inequaliy ha E us) y n s y s +vs) zs n z s ) ) 2 ds 2 [ 2 us)ds) E sup y n y ]+2 2 [,] [ ] v 2 s)dse zs n z s 2 ds. hus,byvirueofhefacha{y n,z n ) [,] } + n=1 isacauchysequenceins2,;r k ) M 2,;R k d ), aking n + and hen m + in 22) and aking n + in 21) yield ha for each [,], 2 lim E g n s,y n n + s,zs)ds n gs,y s,z s )ds =. Consequenly, noicing ha y ) [,] is a coninuous process, by passing o he limi in BSDE 14) we deduce ha dp a.s., y = ξ + gs,y s,z s )ds z s db s, [,], which means ha y,z ) [,] S 2,;R k ) M 2,;R k d ) is a soluion of BSDE 1). Proof of Lemma 12. For each i = 1,...,k, by H1) H3) we deduce ha dp d a.e., for each n N, y, p R k and z, q R k d, g i,p, i q)+n+a) u) p y +v) i q i z ) g i,,) Au)1+ p )+Av)1+ i q ) ) +Au) p y )+Av) i q i z ) g i,,) Au)1+ y ) Av)1+ i z ). 23) hus, for each n N, i = 1,,k, y R k and z R k d, we can define he following F )-progressively measurable funcion: g n i,y,z) = inf p,q) R k R k d { gi,p, i q)+n+a) u) p y +v) i q i z )}, 24) 13

14 and i depends only on he ih row of z. Obviously, g n i,y,i z) g i,y, i z), and i follows from 23) ha g n i,y,i z) g i,,) Au)1+ y ) Av)1+ i z ). Hence, for each n N, g n i is well defined and i) holds rue wih seing g n := g n 1,gn 2,,gn k ). Furhermore, i follows from 24) ha g n i,y,i z) = inf p,q) R k R k d { gi,y p, i z i q)+n+a) u) p +v) i q )}. hus, in view of H1) H2) and he following basic inequaliy inf f 1x) inf f 2x) x D x D sup f 1 x) f 2 x), 25) we have, dp d a.e., for each n N, i = 1,,k, y 1, y 2 R k and z 1, z 2 R k d, x D g n i,y 1, i z 1 ) g n i,y 2, i z 2 ) sup p,q) R k R k d g i,y 1 p, i z 1 i q) g i,y 2 p, i z 2 i q) u)ρ y 1 y 2 )+v)φ i z 1 i z 2 ), which means ha H1) H2) hold rue for g n i. In he sequel, i follows from 24) and 25) ha, dp d a.e., for each n N, i = 1,,k, y 1, y 2 R k and z 1, z 2 R k d, g n i,y 1, i z 1 ) g n i,y 2, i z 2 ) sup n+a)u) p y 1 +v) i q i z 1 ) n+a)u) p y 2 +v) i q i z 2 ) p,q) R k R k d n+a) u) y 1 y 2 +v) i z 1 i z 2 ). Hence, A1) is righ for g n i. Finally, for each n N, i = 1,,k, y R k, z R k d and [,], le { H n,i, y,z) := p,q) R k R k d : u) p y +v) i q i z > 2A ) } u)+v), n hen H c n,i,y,z) = { p,q) R k R k d : u) p y +v) i q i z 2A ) } u)+v). n For each n N, i = 1,,k, y R k, z R k d, [,] and p,q) H n,i, y,z), i follows from H1) H2) ha g i,p, i q)+n+a) u) p y +v) i q i z ) g i,y, i z)+n u) p y +v) i q i z ) A u)+v) ) > g i,y, i z)+a u)+v) ), dp a.s.. hen, since g n i,y,i z) g i,y, i z), we have ha dp d a.e., for each n N, i = 1,,k, y R k and z R k d, g n i,y,i z) = { inf gi,p, i q)+n+a) u) p y +v) i q i z )}. 26) p,q) H c n,i, y,z) 14

15 In he sequel, H1) H3) and 26) yield ha, dp d a.e., for each n N, i = 1,,k, y R k and z R k d, where g n i,y,i z) inf p,q) H c n,i, y,z){g i,y, i z) u)ρ p y ) v)φ i q i z )} g i,y, i z) b n ), 2A b n ) = u)ρ n u)+v) ) 2A +v)φ u) n u)+v) ). v) hus, dp d a.e., for each n N, i = 1,,k, y R k and z R k d, g i,y, i z) g n i,y,i z) b n ). I is clear ha b n ) as n + for each [,]. Since ρ ) and φ ) are a mos linear-growh, we have b n ) Au)+ 2A2 n ) 2A 2 ) u)+v) +Av)+ u)+v) A+4A 2 ) u)+v) ), n fromwhich and he Lebesgue dominaed convergenceheorem i follows ha b n)d asn +. hus, he sequence g n := g1,g n 2, n,gk n ) is jus he one we desire. he proof is complee. Remark 13. Noe ha if here exiss a consan K > such ha he funcion φ ) appearing in H2) saisfies φx) Kx for all x R +, hen he condiion v)+v 2 ) ) d < + in heorem 7 can be weakened o v2 )d < + as in Lemma 1. Appendix: Some proofs of resuls on DBDEs For he convenience of readers, we would like o provide here he proofs of hose resuls on deerminisic backward sochasic differenial equaions inroduced in Secion 2. Proof of Proposiion 3. For each β ) : R + R + such ha β)d < +, le H β ) denoe he se of he coninuous funcions y ) [,] such ha y β ) := sup [,] [e βr)dr y 2]) 1/2 < +. I is easy o verify ha H β ) is a Banach space. Noe ha for any y H β ), in view of B1) and B2), For any y H β ), define hen we have Y β ) = f,y ) d sup [,] u) y d+ f,) d u)d [e βr)dr y β ) ]+ Y := δ + fs,y s )ds, [,]. f,) d < +. [ ] e βr)dr Y 2 sup Y δ + f,y ) d < +. [,] 15

16 hus, we have consruced a mapping Φ : H β ) H β ) such ha Φy ) = Y. Nex we prove ha his mapping is sricly conracive when β ) is chosen appropriaely. ake y 1, y2 H β ) and assume ha Φy 1 ) = Y 1, Φy2 ) = Y 2. Le us se Ŷ := Y 1 Y 2, ŷ := y 1 y2. hen we have d [e s βr)dr Ŷs 2] = e βr)dr s βs) Ŷs 2 ) ds+2ŷsdŷs = e s βr)dr βs) Ŷs 2 ds 2Ŷsfs,y 1 s ) fs,y2 s ))ds), from which i follows ha e βr)dr Ŷ 2 = e βr)dr[ s 2Ŷs f,y 1 s ) f,ys 2 )) βs) Ŷs 2] ds. By B1) and he inequaliy 2ab λa 2 +b 2 /λ λ > ) we ge ha e βr)dr Ŷ 2 from which i follows ha, wih choosing λ > 4 Ŷ 2 β ) 1 λ e s βr)dr[ 2 us) Ŷs us) ŷ s βs) Ŷs 2] ds [ e λus) βs) s βr)dr ) Ŷ s 2 + us) ] λ ŷ s 2 ds, us)ds and βs) = λus), e s βr)dr us) ŷ s 2 ds 1 [e λ sup βr)dr ŷ 2] us)ds < 1 [,] 4 ŷ 2 β ). So Ŷ β ) < 1 2 ŷ β ), which implies ha Φ is a conracive mapping from H β ) o H β ). hen he conclusion follows from he fixed poin heorem immediaely. Proposiion 4 follows direcly from he proof Proposiion 3. Proof of Proposiion 5. For each [,], le us se f,y ) f,y ) a) := y y, y y ;, y = y, b) := f,y ) f,y ) and ŷ := y y. From B1) and B2) we can deduce ha as) ds us)ds < + and bs)ds < +. hen we have ŷ = δ δ + fs,ys ) fs,y s)+fs,y s) f s,y s) ) ds = δ δ + as)ŷ s ds+ bs)ds, [,]. Consequenly, in view of he condiions ha δ δ and b) for each [,], ŷ = e ] [δ as)ds δ + bs)e s ar)dr ds, [,]. Furhermore, if δ > δ, hen ŷ > for each [,]. he proof is hen compleed. 16

17 Proof of Proposiion 6. Le ϕ n x) := inf y R {ϕy)+n x y } wih ϕy) = ϕ y ) for y R, hen i follows from Lemma 2 and Proposiion 3 ha ϕ n x) is well defined on R for each n a, and for each n a, he following wo DBDEs y n,δ = δ + us)ϕ n ys n,δ )ds, [,], 27) and have, respecively, unique soluions y n,δ y δ = δ + aus)y δ s +bus) ) ds, [,], and y δ wih sup [,] y n,δ < + and sup [,] y δ < +. Clearly, y n,δ and y δ for each [,] and n a. By Proposiion 5 and he fac ha ϕ n ϕ n+1, we have y n,δ y n+1,δ y δ. herefore, for each [,], he limi of he sequence {y n,δ } + n=a mus exis, we denoe i by y δ. In view of i) and iv) in Lemma 2, using Lebesgue s dominaed convergence heorem we can obain ha lim us)ϕ n y n,δ n + s )ds = us)ϕys δ )ds = us)ϕys δ )ds. hus, by passing o he limi in boh sides of DBDE 27) we deduce ha which means ha y δ y δ = δ + is a soluion of DBDE 3). us)ϕys δ )ds, [,], Le us now suppose ha δ > and ϕx) > for all x >. For each z δ, se Gz) := 1 z ϕ 1 x)dx. I is easy o see ha = G+ ) < Gz 1 ) < Gz 2 ) < Gδ) for each z 1 > z 2 > δ. hen he inverse funcion of Gz) mus exis, we denoe i by G 1 u) for u Gδ). Le y δ be a soluion of DBDE 3). I is obvious ha y δ δ and dgy δ ) = u)d. Hence, Gy δ ) Gyδ ) = us)ds, which implies ha y δ = G 1 Gδ) us)ds ) for each [,]. he proof of i) is hen compleed. Finally, we prove ha ii) is also righ. Assume ha δ = and ϕ S wih + ϕ 1 x)dx = +. For each z >, se Hz) := 1 z ϕ 1 x)dx. I is clear ha = H+ ) < Hz 1 ) < Hz 2 ) < H) = + for each z 1 > z 2 >. hen he inverse funcion of Hz) mus exis, we denoe i by H 1 u) for each u R. Now le y be a coninuous soluion of DBDE 3). hen y and dhy ) = u)d. Hence, for each 1 <, 1 ) y = H Hy 1 1 ) us) ds. Furhermore, noicing ha Hy 1 ) Hy ) = H) = + as 1 and H 1 + ) =, we know ha y = for each. Consequenly, DBDE 3) has a unique soluion y. References Bahlali, K., 21. Backward sochasic differenial equaions wih locally Lipschiz coefficien. Compes Rendus de l Académie des Sciences-Series I-Mahemaics 333 5), Briand, P., Lepelier, J.-P., San Marin, J., 27. One-dimensional backward sochasic differenial equaions whose coefficien is monoonic in y and non-lipschiz in z. Bernoulli 13 1), Chen, Z., Wang, B., 2. Infinie ime inerval BSDEs and he convergence of g-maringales. Journal of he Ausralian Mahemaical Sociey Series A) 69 2),

18 El Karoui, N., Peng, S., Quenez, M. C., Backward sochasic differenial equaions in finance. Mahemaical Finance 7 1), Fan, S., Jiang, L., 21. Finie and infinie ime inerval BSDEs wih non-lipschiz coefficiens. Saisics and Probabiliy Leers ), Fan, S., Jiang, L., Davison, M., 21. Uniqueness of soluions for mulidimensional BSDEs wih uniformly coninuous generaors. Compes Rendus de l Académie des Sciences-Series I-Mahemaics ), Fan, S., Jiang, L., ian, D., 211. One-dimensional BSDEs wih finie and infinie ime horizons. Sochasic Processes and heir Applicaions 121 3), Hamadène, S., 23. Mulidimensional backward sochasic differenial equaions wih uniformly coninuous coefficiens. Bernoulli 9 3), Hua, W., Jiang, L., Shi, X., 213. Infinie ime inerval RBSDEs wih non-lipschiz coefficiens. Journal of he Korean Saisical Sociey 42 2), Kobylanski, M., 2. Backward sochasic differenial equaions and parial differenial equaions wih quadraic growh. Annals of Probabiliy 28 2), Lepelier, J.-P., San Marin, J., Backward sochasic differenial equaions wih coninuous coefficien. Saisics and Probabiliy Leers 32 4), Mao, X., Adaped soluions of backward sochasic differenial equaions wih non-lipschiz coefficiens. Sochasic Processes and heir Applicaions 58 2), Pardoux, E., Peng, S., 199. Adaped soluion of a backward sochasic differenial equaion. Sysems Conrol Leers 14 1), Wang, Y., Huang, Z., 29. Backward sochasic differenial equaions wih non-lipschiz coefficiens. Saisics and Probabiliy Leers 79 12),