arxiv: v1 [math.pr] 23 Mar 2019

Transcription

1 arxiv: v1 [mah.pr] 23 Mar 219 Uniqueness, Comparison and Sabiliy for Scalar BSDEs wih Lexp(µ 2log(1 + L)) -inegrable erminal values and monoonic generaors Hun O, Mun-Chol Kim and Chol-Kyu Pak * Faculy of Mahemaics, Kim Il Sung Universiy, Pyongyang, D.P.R. Korea ABSTRACT In a new viewpoin, we coninue o sudy a backward sochasic differenial equaion (BSDE for shor) wih Lexp(µ 2log(1+L))-inegrable erminal value which was recenly inroduced ogeher wih he proof of he exisence par in [Hu and Tang, 218]. Through Girsanov change, we associae a soluion o his equaion wih an L 1 -soluion o a cerain BSDE wih inegrable parameers. Using his echnique, we show ha he One-Sided Osgood condiion (exended monooniciy) on generaor raher han Lipschz coninuiy is sufficien o guaranee he uniqueness of he soluion. Nex, we show he comparison principle of soluions under boh sric monooniciy and Lipschz condiions. We also sudy he sabiliy of he dynamics under One-Sided Osgood condiion. KEYWORDS backward sochasic differenial equaion; Lexp(µ 2log(1+L))-inegrabiliy; uniqueness; comparison; sabiliy monoonic generaor; One-Sided Osgood condiionsecions; 1. Inroducion Le (Ω,F,P) be a probabiliy space, T > a finie ime and W be a sandard d- dimensional Brownian moion. Le F := {F } T be a compleion of he filraion generaed by he Brownian moion. We consider he following backward sochasic differenial equaion (BSDE for shor). y = ξ + f(s,y s,z s )ds z s dw s, [,T]. (1.1) where he generaor f : Ω [,T] R R 1 d R is a predicable funcion and erminal value ξ is an F T -measurable random variable. The heory of BSDEs is a powerful ool o rea imporan issues arising in many applied fields such as finance and opimal conrol. A general nonlinear pricing problem of he European coningen claim in sandard complee marke is equivalen o solve he BSDE (1.1). In his case, ξ is he coningen claim o hedge and T is he mauriy dae. Le us assume ha (1.1) has a soluion (y,z ) in an appropriae space. If he * pck216217@gmail.com

2 generaor is uniformly Lipschz in z (wih Lipschz consan b), we can apply he Girsanov measure change o he equaion which leads o y = ξ + f(s,y s,)ds z s dw Q s, [,T]. (1.2) where Q := exp( g(s,y s,z s )dw s 1 2 g 2 (s,y s,z s )ds) P, g(s,y s,z s ) = f(s,y s,z s ) f(s,y s,) z s 2 z s zs, and W Q := W g(s,y s,z s )ds is a Q Brownian moion. In he financial view, Q is called risk-neural measure or maringale measure ([5]). For he convenience, we shall assume ha f only depends on z (hence f = f(s,z) and f(s,) =. Then we have y = ξ z s dw Q s. When ξ is square-inegrable, i is well-known ha he fair price of ξ is evaluaed as he expecaion of he claim under Q (see e.g. [5]), ha is, y = E Q [ξ F ]. (1.3) A his poin, one can naurally ry o look for an opimal inegrabiliy condiion on erminal value under which he price is allowed o be represened by he riskneural measure. The paper of Ankirchner, Imkeller and popier [1] gives he parial resul on his subjec. Moivaed by he expression (1.3), hey inroduced he noaion of measure soluion which is benefi o give an efficien formula of pricing coningen claim by maringale measure. In Lipschz seing, hey showed he exisence of he measure soluion when he erminal value is L p -inegrable for p > 1. In his case, we can use he Hölder s inequaliy and he boudness of momens of he exponenial maringale o show E Q [ξ] <. If he erminal value is assumed o be only inegrable (hence L 1 -inegrable), we can no guaranee ha E Q [ξ] <, so he measure soluion does no exis in general. Tha is, we need a sronger inegrabiliy on erminal value. Consequenly, we wan o find a sufficien inegrabiliy condiion which is weaker han L p -inegrabiliy for any p > 1 and is sronger han L 1 -inegrabiliy. Obviously, he expression (1.3) has a meaning if and only if he following condiion holds. E Q [ ξ ] = E[ ξ exp( g(s,z s )dw s 1 2 g 2 (s,z s )ds)] <. (1.4) 2

3 As g(s,z s ) b, above condiion is equivalen o E[ ξ exp( g(s,z s )dw s )] <. In Hu and Tang [8], hey showed he following useful inequaliies. e x y e x 2 2µ 2 +e 2µ2 yexp(µ 2log(1+y)). E[exp( 1 2µ 2 q sdw s 2 )] [1 b2 µ T] 1/2 if q 2 s b,µ > b T. From hese wo inequaliies, we can deduce E[ ξ exp( g(s,z s )dw s )] [1 b2 µ 2T] 1/2 +e 2µ2 E[ ξ exp(µ 2log(1+ ξ ))]. So, we can ge one sufficien condiion o guaranee (1.4) such ha E[ ξ exp(µ 2log(1+ ξ ))] <. Tha is, ξ is required o be Lexp(µ 2log(1+L))-inegrable. Furhermore, if he condiion (1.4) is rue, hen ξ will be inegrable under he measure Q, so he BSDE (1.1) is ransferred ino he BSDE (1.2) wih inegrable parameers whose soluion is called an L 1 -soluion. Also, he generaing funcion of he equaion (1.2) does no depend on z and his allows us o make a guess ha he addiional assumpion appeared in he sudy of L 1 soluion may be omied (see (1.5)). Pardoux and Peng [1] firs inroduced he noion of nonlinear BSDE and sudied he L 2 -soluion under Lipschz condiion on generaor. Briand e al [2] discussed a soluion of he BSDE in L p -seing (p 1) whose generaor saisfies he monooniciy condiion. For he comparisons for L p -soluions (p > 1) under monooniciy condiion, we can refer o [11]. Laer, Fan [6] sudied he wellposedness and comparison heorem of L p -soluions (p > 1) under various kind of exended monooniciy condiions. Also, Fan[7] showed he exisence and uniqueness of L 1 -soluion o BSDE under One-Sided Osgood condiion which is one of he exended monooniciy condiions. However, we could no find any resul on comparison principle for L 1 -soluion. On he oher hand, i was shown in [2] ha he following sub-linear growh assumpion on generaor is needed o ensure he wellposedness of L 1 -soluion. f(,y,z) f(,,) a y +b z q, (,y,z) [,T] R R 1 d (1.5) for some q [,1). Recenly, Hu and Tang [8] sudied he soluion o scalar BSDE in Lexp(µ 2log(1+L))-seing such ha µ > µ for some criical value µ, ha is, he erminal value is Lexp(µ 2log(1+L))-inegrable. This inegrabiliy is sronger han LlogL-inegrabiliy and weaker han L p -inegrabiliy for any p > 1. They showed he exisence of he soluion of ha BSDE under he linear growh condiion on generaor. Furhermore hey gave counerpar examples which show ha L log L-inegrabiliy is no sufficien o guaranee he exisence of he soluion. Perhaps, o he bes of our knowledge, he Lexp(µ 2log(1+L))-inegrabiliy seems o be opimal o guaranee he exisence of a srong soluion as well as a measure soluion under sandard condiions. 3

4 As a good coninuaion, Buckdahn, Hu and Tang [3] improved he exisence resul in [8] and gave he uniqueness resul under Lipschz condiion. In heir proof of uniqueness, he Lipschz assumpion plays a crucial role because he represenaion of a soluion o linear BSDE is used. In his paper, we sae he uniqueness resul under One-Sided Osgood condiion whichisanexendedformofmonooniciy. Thenexsubjecofhispaperisosaehe comparison principles. As i is well known, he comparisons for BSDEs are fundamenal in he heory of nonlinear expecaions, paricularly in consrucing he dynamic risk measures. In Cohen e al [4], hey showed a general comparison heorem by means of he super-maringale measure which is corresponded o he no-arbirage condiion in financial sense. In ha paper, he erminal value is only absracly assumed o guaranee he exisence of a soluion and he exisence of cerain super-maringale measure is also assumed, independenly. For he BSDEs wih Lexp(µ 2log(1+L))- inegrable erminal values, we show he exisence of he super-maringale measure. Then we can use direcly he comparison resuls esablished in [4]. This will jus provide various applicaions o he world of dynamic risk measures in he same way as in [4]. On he oher hand, i jus provides a simple proof of uniqueness in Lipschz seing. Also, we show he comparison heorem for BSDE wih a sricly monoone generaor (no Lipschz in y) using penalizaion mehod. For he las subjec, we sae he sabiliy resul for he BSDEs wih generaors which is linear wih respec o z under One-Sided Osgood condiion. The basic idea in all he proofs of he resuls saed in his paper is o associae he soluion of he main BSDE wih he L 1 -soluion of a cerain BSDE wih inegrable parameers using Girsanov change. 2. Noaions and Assumpions For A F and F-measurable random variable η, we define E Q [η;a] := A ηdq. And E Q [η] := E Q [η;q]. T(,T) is a se of sopping imes τ such ha τ T. φ2 r dr). For any predicable process φ, E(φ W) := exp( φ rdw r 1 2 WesayhaheprocessY = {Y } T belongsoclass (D)ifhefamily{Y τ,τ T(, T)} is uniformly inegrable. means he sandard uclidean norm. M p ([,T],R 1 d ;Q) is he space of predicable processes Z wih values in R 1 d such ha Z M p := E Q [( Z s 2 ds) p/2 ] 1 1/p <. If Q = P, hen we denoe by M p ([,T];R 1 d ). HT 1 (Q) is he space of real cádlág, adaped processes Y such ha E Q [sup [,T] Y ] <. If Q := P, hen we use HT 1. The soluion of (1.1) is denoed by a pair {(Y,Z ), [,T]} of predicable processes wih values in R R 1 d such ha P-a.s., Y is coninuous, Z M 2 ([,T];R 1 d ) and P-a.s., (Y,Z) saisfies he equaion (1.1). For any real valued funcion g, we define g + := max(g,). Define he real funcion ψ: ψ(x,µ) := xexp(µ 2log(1+x)), (x,µ) [, ) (,+ ). Then i has he following properies ([3, 8]). 4

5 For any x R and y, we have e x y e x 2 2µ 2 +e 2µ2 ψ(y,µ). (2.1) Le µ > b T. Then for any d-dimensional adaped process q wih q b a.s., for any [,T], E[exp( 1 2µ 2 q s dw s 2 ) F ] [1 b2 µ 2(T )] 1/2. (2.2) For any µ >, ψ(,µ) is convex, ha is, for any λ 1 and x,y [,+ ), For any l > 1,x, we have ψ(λx+(1 λ)y,µ) λψ(x,µ)+(1 λ)ψ(y,µ). (2.3) ψ(lx, µ) ψ(l, µ)ψ(x, µ). (2.4) We presen some useful assumpions on generaor below. (A1) f saisfies he One-Sided Osgood condiion wih respec o y, ha is here exiss a non-decreasing and concave funcion ρ : R + R + wih ρ() =,ρ() > for > and R + d ρ() = + such ha for any y,y R and z R 1 d, y y y y 1 y y (f(,y,z) f(,y,z)) ρ( y y ). (A2) f is sricly monoone in y, ha is, for any y,y R and z R 1 d, (y y )(f(,y,z) f(,y,z)). (A3) f is uniformly Lipschz in z, ha is, here exiss a consan b such ha for any y R and z,z R 1 d, f(,y,z) f(,y,z ) b z z. (A4) The map y f(,y,z) is coninuous. (A5) f is linear growh wih respec o y, ha is, here exiss a consan a such ha for any y,y R and z R 1 d, (A.6) f is uniformly Lipschz in y. f(,y,z) f(,,z) a y 3. Uniqueness Theorem 3.1. Le assumpions (A1), (A3) hold. Then, BSDE (1.1) has a mos one soluion (Y,Z) such ha ψ(y,c) belongs o class (D) for some c >. 5

6 Proof. For i = 1,2, le (Y i,z i ) be a soluion o (1.1) such ha ψ(y i,c i ) belongs o he class (D) for some c i >. Since (x,µ) is non-decreasing in µ, boh ψ(y 1,c) and ψ(y 2,c) belong o class (D) for c = c 1 c 2. Define (Ȳ, Z) := (Y 1 Y 2,Z 1 Z 2 ). For any τ T(,T), by (2.3),(2.4), ψ( Ȳτ,c) ψ( Y 1 τ + Y 2 τ,c) = 1 2 ψ(2 Y 1 τ,c)+ 1 2 ψ(2 Y 2 τ,c) 1 2 ψ(2,c)[ψ( Y 1 τ,c)+ψ( Y 2 τ,c)]. So, ψ( Ȳ,c) is also belongs o class (D). We firs resric our discussion o he case where T < c2 b, so c > b T. Obviously, (Ȳ, Z) saisfies he following equaion. 2 Ȳ = f(s,ȳs, Z s )ds Z s dw s, [,T]. (3.1) where f(s,y,z) := f(s,y +Ys 2,z +Zs) f(s,y 2 s 2,Zs). 2 f(s,y,z) f(s,y,) Define ḡ(s,y,z) := 1 z z z, hen 2 ḡ s := ḡ(s,ȳs, Z f(s,ys 1,Z s ) = 1 s) f(s,y 1 s 1,Zs) 2 Zs Z s 2 Zs. From he assumpion (A3), we ge ḡ b, a.s. and so E(ḡE W) = exp( ḡsdw s 1 2 ḡ2 s ds) is an uniformly inegrable maringale. By he virue of Girsanov change, we have Ȳ = f(s,ȳs,)ds Z s dws Q, [,T]. where Q := E(ḡ s W) T P, and W Q := W ḡsds. Noe ha Q is a probabiliy measure equivalen o P and W Q is a Brownian moion under Q. Then, for any τ T(,T) and A F, by (2.1), (2.2), E Q ( Ȳτ ;A) = E( Ȳτ E(ḡ W) τ ;A) E[ Ȳτ exp( ḡ s dw s );A] E[exp( ḡsdw s 2 2c 2 )+e ( 2c 2 )ψ( Ȳτ,c);A] (1 b2 c 2T) 1/2 +E[e ( 2c 2 )ψ( Ȳτ,c);A]. So, Ȳ belongs o class (D) under Q. Now we give an esimae on Z under Q. Le 1 < p <, p ( 1)+q ( p 1) = 1 and k = 2( p 1). Then for any τ T(,T), E((kḡ) W) τ = exp( τ kḡ s dw s )exp( 1 2 k 2 ḡs 2 ds) exp( kḡ s dw s )exp( 1 2 b2 k 2 T). 6

7 Due o E[E((kḡ) W) τ ] = 1, sup τ T(,T) E[exp( τ kḡ sdw s )] exp( 1 2 b2 k 2 T). Therefore, according o [9, Theorem 1.5], E(ḡ W) is an L q -bounded maringale. So, by he Holder s inequaliy, we obain E Q [( Z s 2 ds) 1/p ] = E[( E[( Z s 2 ds) 1/p E(ḡ W) T ] Z s 2 ds) 1/p E(ḡ W) T ] E[ Z s 2 ds] 1/p E[E(ḡ W) q T ]1/q <. Taking p := 2 p, hen Z M p ([,T],R 1 d ;Q). (Hence Z M p ([,T],R 1 d ;Q), for any < p < 2.) Therefore, (Ȳ, Z) is an (L 1 ) soluion of he following BSDE such ha Ȳ belongs o class (D) and Z M p (R 1 d ;Q). y = f(s,y,)ds z s dw Q s, [,T]. (3.2) Also, due o f(s,,) =, a pair (,) is also a soluion of (3.2). On he oher hand, for any y,y R, y y y y 1 y y ( f(s,y,) f(s,y,)) = y y y y 1 y y (f(s,y +Y 2 s,z 2 s) f(s,y +Y 2 s,z 2 s)) ρ( y y ). Therefore, according o he uniqueness of L 1 -soluion of BSDEs wih generaors of One-Sided Osgood ype ([7], Theorem 1), we have (Ȳ, Z) = (,). For larger value of T, we firs discuss on inerval [T δ,t] for small δ > from which we ge (Ȳ, Z ) = for T δ T and hen wih he erminal value ȲT δ =, we discuss on inerval [T 2δ,T δ] from which (Ȳ, Z ) = for T 2δ T δ and so on by an inducive argumen. This provides (Ȳ, Z) = on he whole inerval [,T]. Tha is, we have Y 1 = Y 2 and Z 1 = Z 2. Combined wih he exisence resul ([3, 8]), we ge he following resul. Corollary 3.2. Suppose ha (A1), (A3), (A4) and (A5) hold. We furher assume ha here exis µ > b T such ha ψ( ξ + f(,,) d,µ) L 1 (Ω,P). (3.3) Then, BSDE (1.1) has a unique soluion (Y,Z) such ha ψ(y,c) belongs o he class (D) for some c >. Moreover we have he following esimae on Y. Y 1 exp[a(t )]+e 2µ2 +a(t ) E[ψ( ξ + 1 b2 µ (T ) 2 f(s,,) ds,µ) F ]. (3.4) 7

8 Remark 3.1. We also have an esimae on ψ(y,µ) (See he las inequaliy of he proof of [3], Theorem 2.4). For some consans A,B, i holds ha ψ( Y,µ) A+B E[ψ(µ, ξ + f(s,,) ds) F ]. (3.5) Moreover, by referring o [2], Lemma 6.1, we can see ha for any β (,1), E[ sup ψ( Y,µ) β ] 1 (A+B E[ψ(µ, ξ + [,T] 1 β f(s,,) ds) F ]) β <. (3.6) 4. Comparisons We firs show he comparison principle for BSDE (1.1) wih Lipschz generaor. Theorem 4.1. Le (ξ,f) and (ξ,f ) be any wo pairs of erminal value and generaor of (1.1), respecively. Le (Y,Z) and (Y,Z ) be associaed soluions such ha ψ(y,c) and ψ(y,c ) belong o class (D) for some c,c >. Suppose ha f saisfies (A3) and (A6). If ξ ξ and f(,y,z ) f (,Y,Z ) hen Y Y for all [,T], P-a.s. Moreover his comparison is sric, ha is, if Y 1 = Y 2,P a.s. on A F, hen Ys 1 = Y s 2 on [,T]A up o evanescence. Proof. As we showed in he beginning of he proof of heorem 3.1, ψ(y Y,c ) belongs o class (D) for some c = c c. We firs discuss for small T such ha c > b T. Define Γ s := f(s,y s,z s) f(s,y s,z s) Z s Z 1 s Zs Z 2 s = (Z s Z s) which is uniformly bounded. The measure Q is defined as follows. dq dp := E(Γ W) T = Γ s dw s 1 2 Γ 2 sds. Then, W Q := W Γ sds is Q-Brownian moion. As we showed in preceding discussion, Z Z M q (R 1 d ;Q) for any q (1,2). Therefore, (f(s,y s,z s ) f(s,y s,z s))ds+ is a Q-maringale. On he oher hand, E Q [ (f(s,y s,z s ) f(s,y s,z s))ds] ae Q [ = ae[ ae[ (Z s Z s)dw s = Y s Y s ds] Y s Y s E(Γ W) T ds] (1 b2 c 2 (Z s Z s)dw Q s. T) 1/2 +e 2c2 ψ( Ys Y s,c )ds] a(1 b2 c 2 T) 1/2 +ate 2c2 sup E[ψ( Y τ Y τ,c )] <. τ T 8

9 Therefore by [4], Theorems 1, 2 and 3, boh he comparison and sric comparison heorems clearly hold. Remark 4.1. As an immediae consequence of Theorem 4.1, we can see ha he soluion of he BSDE (1.1) is unique. So, ha provides an anoher mehod for he proof of he uniqueness par in Lipschz seing. Now we shall discuss under sric monooniciy condiion. Theorem 4.2. Suppose ha f saisfies (A2) and (A3). Then he comparisons principle such as in heorem 4.1 sill holds. Proof. Se ξ := ξ ξ, f := f f,δf(s,y,z) := f(s,y + Y s,z + Z s ) f(s,y s,z s ). The pair (Ȳ, Z) := (Y Y,Z Z ) saisfies Ȳ = ξ + [δf(s,ȳs, Z s )+ f(s,y s,z s )]ds Afer an applicaion of he Girsanov change, we have Ȳ = ξ + [δf(s,ȳs,)+ f(s,y s,z s)]ds Z s dw s. Z s dw Q s. where he probabiliy measure Q is similarly defined as before. Noe ha E Q [ ξ],δf(s,,) = and Ȳ belongs o class (D) under Q. We inroduce for n 1, Then we have Ȳ τn = Ȳ τn + τ n := inf{ [,T]; τn ( Z s 2 + Z s 2 )ds n} T. τ n [δf(s,ȳ s,)+ f(s,y s,z s )]ds ( τ n ) ( τ n ) Z s dw Q s. (4.1) Applying he minor version of Tanakas formula (see [11], pp.17) o (4.1), τn τn τn Ȳ τ + n = Ȳ τ + n + θ(ȳs)[δf(s,ȳs,)+f(s,y s,z s)]ds θ(ȳs) Z s dws Q dp s. τ n τ n τ n where P is an increasing, coninuous process and he funcion θ is defined as follows. θ(x) := 1 x> x=. Using he facs ha f is sricly monoone in y, δf(s,,) = and f(s,y s,z s), we can deduce θ(ȳs)[δf(s,ȳs,)+ f(s,y s,z s)]. So we have Ȳ + τ n E Q [Ȳ + τ n F ]. 9

10 Noing ha Ȳ + is coninuous and belongs o class (D) under Q, we have Q-a.s., Ȳ + τ n Ȳ + T = ξ + =, n. By L 1 -coninuiy of condiional expecaion, we ge E Q [Ȳ(τ n ) + F ] ucp. Taking a subsequence, we ge Q-a.s., Ȳ + =. As Q is equivalen o P, we have P-a.s., Ȳ + = which implies Y 1 Y Sabiliy In his secion, we sae he sabiliy resul of he BSDE (1.1). We shall resric o he case where he generaor is linear wih respec o z. The more general case is lef o he fuure work. Before he main discussion, we sudy a soluion in norm space. Lemma 5.1. Suppose ha he generaor saisfies (A1), (A3), (A4) and (A5). Insead of (3.3), we assume ha sup (E[ψ( ξ + [,T] f(,,) d,µ) F ]) L 1 (Ω,P),µ > b T. Then he BSDE (1.1) has a unique soluion such ha ψ( Y,µ) H 1 T. Proof. By Corollary 3.2, (1.1) has a unique soluion (Y,Z) such ha ψ(y,µ) belongs o class (D). Due o (3.5), we can see ha ψ( Y,µ) H 1 T. Theorem 5.2. For each n N, le us consider he following BSDEs depending on parameer n: Y n = ξ n + We inroduce he following assumpions. f n (s,ys n,zn s )ds Zs n dw s, [,T]. (1) For all n, ξ n and f n saisfy (A1), (A3), (A4) and (A5) wih he same parameers ρ( ),a,b. (2) f is linear wih respec o z, ha is, f (s,y,z) = f (s,y,)+bz. (3) There exiss a consan µ > b T such ha ψ(ξ + f (,,)d,µ) L 1 (Ω,P). (4) There exiss a non-negaive real sequence (l n ) n=1,2,... which converges o such ha for each n, for any (y,z) R R 1 d, f n (s,y,z) f (s,y,z) l n, dp d a.s. (5) There exiss a random variable η saisfying ψ(η,µ) L 1 (Ω,P) such ha ξ n ξ η for any n 1 and E[ ξ n ξ ], n. 1

11 (6) There exiss a consan µ > b T such ha sup (E[ψ( ξ + [,T] f (,,) d,µ) F ]) L 1 (Ω,P),µ > b T. (7) There exiss a random variable η saisfying ψ(sup [,T] E[ η F ],µ) L 1 (Ω,P) such ha ξ n ξ η for any n 1 and Then he following asserions hold. (1) Under assumpions 1-5, we have and for any β (,1), [ E sup E[ ξ n ξ ] F ] [,T] sup E[ Y n Y ]+E[( [,T] (2) Under assumpions 1,2,4,6,7, we have E[ sup Y n Y +( [,T], n. Z n s Z s 2 ds) 1/2 ],n. E[ sup Y n Y β ],n. [,T] Z n s Z s 2 ds) 1/2 ], n. Proof. (1) By he virue of Girsanov change, we have for each n N, where Y n = ξ n + f n (s,y n s,)ds dq n dp := E(gn W) T, W Qn := W Z n s dw Qn s. g n (s)ds. g n (s) := fn (s,y n s,z n s) f n (s,y n s,) Z n s 2 1 Z n s Z n s. We pu Q := Q. Clearly, W Qn = W Q (gn (s) g (s))ds for each n. So, we ge Y n = ξ n + f n (s,y n s,z n s)ds Z n s dw Q s. where f n (s,y,z) := f n (s,y,z) g (s)z = f n (s,y,z) bz. In he same way as in he 11

12 preceding discussions, we can see ha E Q [η] <, E Q [ξ n + f n (s,,)] = E Q [ξ n + f n (s,,)] <. Y n belongs o class (D) under Q and Z n M p ([,T],R 1 d ;Q), for any < p < 2. Remark ha f (s,y,z) = f (s,y,). Moreover f n (s,y,z) f n (s,y,) = f n (s,y,z) f n (s,y,) bz 2l n + f (s,y,z) f (s,y,) bz = 2l n, so f n clearly has sublinear growh in z. Therefore, for each n, (Y n,z n ) is a unique L 1 soluion of he following BSDE under Q. y = ξ n + f n (s,y s,z s )ds z s dw Q s. (5.1) From he assumpion, ξ n converges o ξ in probabiliy and so does under Q. As ξ n ξ η,n N and E Q [η] <, by Lebesgue s dominaed convergence heorem, we ge E Q [ ξ n ξ ] =. Also f n (s,y,z) f (s,y,z) = f n (s,y,z) f (s,y,z) l n, for any n N. Now we can use he sabiliy resuls of L 1 -soluions o BSDE (5.1). According o [7], Theorem 4, i holds ha and for any β (,1), sup E Q [ Y n [,T] Y ], n. (5.2) E Q [ sup Y n, β +( [,T] For he simpliciy, we define Z n s Z s 2 ds) β/2 ], n. (5.3) Y n, := Y n Y,Z n, := Z n Z,ξ n, := ξ n ξ, f n, := f n f = f n f =: f n,. From he definiion, sup [,T] E Q [ Y n, ] = sup [,T] E[ Y n, E(b W) T ]. As Y n, ucp under measure Q (or equivalenly Y n, ucp E(b W) T ), i holds ha Y n, = Y n, E(b W) T E 1 ucp (b W) T. 12

13 On he oher hand, E(b W) T exp( bdw s 2 2µ 2 )+e 2µ2 ψ( Y n,,µ) Y n, exp( bw T 2 2µ 2 )+e 2µ2 (A+B ψ( ξ n, + f n, (s,,) ds,µ)) exp( bw T 2 2µ 2 )+e 2µ2 (A+B ψ(η +T supl n,µ)) =: ( ). And E[( )] (1 b2 µ 2 T) 1/2 +e 2µ2 (A+ 1 2 Bψ(2,µ) (ψ(η,µ)+ψ(t sup nl n,µ)) <. So, by Lebesgue s dominaed convergence heorem, we obain sup E[ Y n, ], n. [,T] From he Hölder s inequaliy, for any ǫ < (1 β)/β, n E[ sup Y n, β +( [,T] Z n, s 2 ds) β/2 ] = E[( sup Y n, β +( [,T] Z n, s 2 ds) β/2 ) [E(b W) T ] 1/(1+ǫ) [E(b W) T ] 1/(1+ǫ) ] CE[( sup Y n, β(1+ǫ) +( [,T] E([E(b W) T ] 1/ǫ ) ǫ/(1+ǫ) = E Q [ sup Y n, β(1+ǫ) +( [,T] E([E(b W) T ] 1/ǫ ) ǫ/(1+ǫ). Z n, s 2 ds) β(1+ǫ)/2 )E(b W) T ] 1/(1+ǫ) Z n, s 2 ds) β(1+ǫ)/2 ] 1/(1+ǫ) From (5.2) and (5.3), he las erm ends o as n. Consequenly, we have E[ sup Y n, β +( [,T] Z n, s 2 ds) β/2 ], n. Due o he arbirariness of β [,1) and Z n M 2 ([,T];R 1 d ), we see ha E[( Z n, s 2 ds) 1/2 ], n. (2) We can have very similar procedure as in he proof of he firs asserion ogeher wih lemma 5.1 and [7], Theorem 5, so we omi he proof. Remark 5.1. One may have aemps o prove direcly he sabiliy heorem wihou usingheproperiesofl 1 soluion.buhisisnoheobjecivewihinourframework. 13

14 References [1] Ankirchner, S., Imkeller, P. and Popier, A.: On measure soluions of backward sochasic differenial equaions. Sochasic Process. Appl. 119, (29), [2] Briand, P., Delyon, B., Hu, Y., Pardoux, E. and Soica, L.: L p soluions of backward sochasic differenial equaions. Sochasic Process. Appl. 18 (1), (23), [3] Buckdahn, R., Hu, Y. and Tang, S.: Uniqueness of soluion o scalar BS- DEs wih Lexp(µ 2log(1+L)-inegrable erminal values, ARXIV v1 [mah.pr] [4] Cohen, S. N., Ellio, R. J. and Pearce, C. E. M.: A general comparison heorem for backward sochasic differenial equaions. Adv. in Appl. Probab. 42, (21), [5] El Karoui, N., Peng, S. and Quenez, M. C.: Backward Sochasic Differenial Equaions in Finance. Mah. Finance 7, (1997), [6] Fan, S.: L p soluions of mulidimensional BSDEs wih weak monooniciy and general growh generaors. J. Mah. Anal. Appl. 432, (215), [7] Fan, S.: Exisence, Uniqueness and Sabiliy of L 1 Soluions for Mulidimensional Backward Sochasic Differenial Equaions wih Generaors of One-Sided Osgood Type. J. Theor. Probab. 31, (218), [8] Hu, Y. and Tang, S.: Exisence of soluion o scalar BSDEs wih Lexp( 2 λ log(1+l)-inegrable values. Elecron. Commun. Probab. 23 (27), (218), 11pp. [9] Kazamaki, K.: Coninuous Exponenial Maringales and BMO, in: Lecure Noes in Mahemaics, vol. 1579, Springer, Berlin, [1] Pardoux, E. and Peng, S.: Adaped soluion of a backward sochasic differenial equaion. Sysems Conrol Le. 14 (1), (199), [11] Pardoux, E. and Rascanu, A.: Sochasic Differenial Equaions, Backward SDEs, Parial Differenial Equaions. Springer-Verlag,