arxiv: v5 [math.pr] 6 Oct 2015

Transcription

1 ON THE EXISTENCE AND UNIQUENESS OF SOLUTIONS TO STOCHASTIC DIFFERENTIAL EQUATIONS DRIVEN BY G-BROWNIAN MOTION WITH INTEGRAL-LIPSCHITZ COEFFICIENTS XUEPENG BAI AND YIQING LIN arxiv:12.146v5 mah.pr] 6 Oc 215 Abrac. In hi paper, we udy he exience and uniquene of oluion o ochaic differenial equaion driven by G-Brownian moion (GSDE wih inegral-lipchiz condiion on heir coefficien. 1. Inroducion Moivaed by uncerainy problem, rik meaure and er-hedging in finance, Peng 8, 9] inroduced a framework of G-expecaion, in which a new ype of Brownian moion wa conruced and he relaed ochaic calculu ha been eablihed. A a counerpar in he claical framework, ochaic differenial equaion driven by G-Brownian moion (GSDE have been udied by Gao 3] and Peng 9]. In hee work, he olvabiliy of GSDE under Lipchiz condiion ha been obained by conracion mapping heorem. Typically, a GSDE i of he following form: (1.1 X( = x b(, X(d h(,x(d B,B g(,x(db, T, where x R n i he iniial value, B i he G-Brownian moion and B,B i he quadraic variaion proce of B. In hi paper, we udy he olvabiliy of he GSDE (1.1 under a o-called inegral-lipchiz condiion: (1.2 b(,x 1 b(,x 2 2 h(,x 1 h(,x 2 2 g(,x 1 g(,x 2 2 ρ( x 1 x 2 2, where ρ : (, (, i a coninuou increaing and concave funcion ha vanihe a and aifie 1 dr ρ(r =. A ypical example of (1.2 i b(,x 1 b(,x 2 2 h(,x 1 h(,x 2 2 g(,x 1 g(,x 2 2 x 1 x 2 2 ln Furhermore, we conider he GSDE (1.1 under a weaker condiion on b and h: (1.3 b(,x 1 b(,x 2 h(,x 1 h(,x 2 ρ( x 1 x 2, 1 x 1 x 2. Dae: November 1, Mahemaic Subjec Claificaion. 6H1. Key word and phrae. G-Brownian moion, G-expecaion, G-ochaic differenial equaion, G- backward ochaic differenial equaion, Inegral-Lipchiz condiion. The reearch i parially pored by he Major Program in Key Reearch Iniue of Humaniie and Social Science ponored by Miniry of Educaion of China under gran No. 29JJD7949 and he Po-graduae Sudy Abroad Program ponored by China Scholarhip Council. 1

2 2 XUEPENG BAI AND YIQING LIN where ρ aifie he ame condiion a above. A ypical example of (1.3 i b(,x 1 b(,x 2 h(,x 1 h(,x 2 x 1 x 2 ln 1 x 1 x 2. In he claical framework, Waanabe and Yamada 19, 15] and Fang and Zhang 16] have proved he pahwie uniquene of oluion o finie-dimenional SDE under ome imilar non-lipchiz condiion. In addiion o ha, Yamada 18] ha found an explici way o conruc he oluion by ucceive approximaion. On he oher hand, Hu and Lerner 5] have worked on he SDE in infinie dimenion under he inegral-lipchiz condiion (1.2 and (1.3. They eablihed boh he pahwie uniquene and ucceive approximaion of he oluion. Correponding o he reul in Waanabe and Yamada 19], Lin 7] ha obain a pahwie uniquene reul for non-lipchiz GSDE when he coefficien g i bounded. In hi aricle, we preen boh he exience and uniquene reul for GSDE (1.1 under he inegral-lipchiz condiion (1.2 and (1.3. Thee reul are obained by a imilar echnique adoped by Hu and Lerner 5]. Thi paper i organized a follow: Secion 2 give he neceary preliminarie in he G-framework. Secion 3 prove he exience and uniquene heorem for GSDE wih inegral-lipchiz coefficien and Secion 4 udie he cae for G-backward ochaic differenial equaion (GBSDE. 2. Preliminarie The main purpoe of hi ecion i o recall ome preliminary reul in he G-framework, which are neceary laer in he ex. The reader inereed in a more deailed decripion of hee noion i referred o Deni e al. 2], Gao 3] and Peng 9] G-Brownian moion and G-expecaion. Adaping he approach in Peng 9], le Ω be a given nonempy fundamenal pace and H a linear pace of real funcion defined on Ω uch ha (1 1 H. (2 H i able wih repec o bounded Lipchiz funcion, i.e., for all n 1, X 1,...,X n H and ϕ C b,lip (R n, i hold alo ϕ(x 1,...,X n H. Definiion 2.1. A ublinear expecaion E ] on H i a funcional E ] : H R wih he following properie: for each X, Y H, we have (1 Monooniciy: if X Y, hen EX] EY]; (2 Preervaion of conan: Ec] = c, for all c R; (3 Sub-addiiviy: EX] EY] EX Y]; (4 Poiive homogeneiy: EλX] = λex], for all λ R. The riple (Ω, H, E i called a ublinear expecaion pace. Definiion 2.2. A random vecor Y = (Y 1,...,Y n H n i aid o be independen of X H m under E ] if for each e funcion ϕ C b,lip (R nm we have Eϕ(X,Y] = EEϕ(x,Y ] x=x ]. Definiion 2.3. Le X = (X 1,...,X n H n be a given random vecor. We define F X ϕ] := Eϕ(X], ϕ C b,lip (R n. Then, he funcional F X ] i called he diribuion of X under E ]. Now we begin o inroduce he definiion of G-Brownian moion and G-expecaion. Definiion 2.4. A d-dimenional random vecor X in a ublinear expecaion pace (Ω, H, E i called G-normal diribued if for each ϕ C b,lip (R d, u(,x := Eϕ(x X], R, x R d,

3 GSDES WITH INTEGRAL-LIPSCHITZ COEFFICIENTS 3 i he vicoiy oluion o he following PDE defined on R R d : u G(D2 u = ; u = = ϕ, where G = G X (A : S d R i defined by and D 2 u = ( 2 x ix j u d. G X (A := 1 2 E(AX,X] In paricular, Eϕ(X] = u(1, define he diribuion of X. By Theorem 2.1 in Chaper I of Peng 9], here exi a bounded and cloed ube Γ of R d, uch ha for each A S d, G X (A can be repreened a G X (A = 1 2 rγγ Tr A]. γ Γ Defining a ube Σ := {γγ Tr : γ Γ} in S d, he G-normal diribuion can be denoed by N(,Σ. Le Ω be he pace of all R d -valued coninuou pah (ω ha ar from and B he canonical proce. We aume addiionally ha Ω i a meric pace equipped wih he following diance: For a fixed T, we e ρ(ω 1,ω 2 := N=1 2 N ( max N ω1 ω2 1. L ip(ω T := {ϕ(b 1,...,B n : n 1, 1... n T, ϕ C b,lip (R d n }. Definiion 2.5. Le E ] : L ip (Ω T R be a ublinear expecaion on L ip (Ω T, we call E ] a G-expecaion if he canonical proce B i a G-Brownian moion under E ], ha i, for each T, he incremen B B i N(,( Σ-diribued and i independen of (B 1,...,B n, for all n 1 and 1... n. We denoe by L p G (Ω T he compleion of L ip (Ω T under he Banach norm E p ] 1 p, 1 p <, and we ill ue he noaion E ] o denoe he exenion of hi ublinear expecaion. Definiion 2.6. Le E ] : L ip (Ω T R be a G-expecaion on L ip (Ω T, we define he relaed condiional expecaion of X L ip (Ω T under L ip (Ω j, 1... j 1 j j1... n T: EX Ω j ] := Eϕ(B 1,...,B n B n 1 Ω j ] = Eψ(B 1,...,B j B j 1 ], where ψ(x 1,...,x j := Eϕ(x 1,...,x j,b j1 B j,...,b n B n 1 ]. Moreover, he mapping E Ω j ] : L ip (Ω T L ip (Ω j can be coninuouly exended o E Ω j ] : L 1 G (Ω T L 1 G (Ω j G-capaciy. Derived in Deni e al. 2], G-expecaion can be formulaed a an upper expecaion of a weakly compac family of probabiliy meaure. Thi family i relaed o he e Γ menioned in he la ubecion, which i a bounded and cloed ube of R d ha characerize he G-funcion G(. Le P be he Wiener meaure on Ω, F he filraion generaed by he canonical proce B and A Γ, he collecion of all Γ valued progreively meaurable procee. For each θ A Γ,, le P θ be he probabiliy meaure inroduced by he following rong formulaion: P θ := P (X θ 1, where X θ := ( θ db, P -a... We e P := {P θ : θ A Γ, } and denoe by P G he cloure of P under he opology of weak convergence.

4 4 XUEPENG BAI AND YIQING LIN Conider a capaciy formulaed by upper probabiliy: C(A := P P G P(A, A B(Ω. By Propoiion 5 in Deni e al. 2], P G i weakly compac and hu, C( i a Choque capaciy. Then, we have he following noion of quai-urely (q... Definiion 2.7. A e A B(Ω i called polar if C(A =. A propery i aid o hold quai-urely if i hold ouide a polar e. On he oher hand, we e for each X L (Ω T, (2.1 ĒX] := P P G E P X]. In (2.1, E P X] exi under each P P G, o ĒX] i well defined. By Theorem 52 in Deni e al. 2], hi upper expecaion Ē ] i conien wih G-expecaion E ] on L1 G (Ω T, i.e., ĒX] = EX], for all X L 1 G(Ω T. Thu, from now on, we do no diinguih hee wo noaion E ] and Ē ]. By he definiion of Ē ] and C(, we can eaily deduce he following Markov inequaliy and he upward monoone convergence heorem in he G-framework: Lemma 2.8. Le X L (Ω T and for ome p >, Ē Xp ] <. Then, for each M >, C({ X > M} Ē X p ] M p. Theorem 2.9. Le {X n } n N L (Ω T be a equence uch ha X n X, q.., and here exi a P P G, E P X ] >, hen ĒXn ] ĒX]. Unlike he claical downward monoone convergence heorem, he one in he G-framework only hold rue for a equence from a ube of L (Ω T (cf. Theorem 31 in Deni e al. 2]. Theorem 2.1. Le {X n } n N L 1 G (Ω T be a equence uch ha X n X, q.., hen ĒX n ] ĒX]. Moreover, by a claical argumen, we have he following Faou lemma and he inequaliy of Jenen ype in he G-framework. Lemma Aume ha {X n } n N i a equence in L (Ω T and for a Y L (Ω T ha aifie Ē Y ] < and all n N, Xn Y, q.., hen Ēlim inf n Xn ] liminf ĒX n ]. n Proof: From (2.1 and by he claical Faou-Lebegue heorem, we have for each P P G, E P liminf n Xn ] liminf n EP X n ] liminf n E P X n ] = liminf ĒX n ]. P P G n Taking he remum of he lef-hand ide over all P P G, we can eaily obain he deired reul. Lemma Le ρ : R R be an increaing and concave funcion, hen for each X L (Ω T, he following inequaliy hold: Ēρ(X] ρ(ēx]. A repreenaion heorem for L p G (Ω T can alo be found in Deni e al. 2]: Theorem L p G (Ω T = {X L (Ω T : X ha a q.c. verion, lim Ē X p 1 X >N ] = }. N Thi dual definiion of L p G (Ω T i more explici o verify han i original definiion given by he compleion of L ip (Ω T.

5 GSDES WITH INTEGRAL-LIPSCHITZ COEFFICIENTS G-ochaic calculu. In Peng 9], generalized Iô inegral wih repec o G- Brownian moion and a generalized Iô formula are eablihed. Definiion A pariion of,t] i a finie ordered ube π N,T] = {, 1,..., N } uch ha = < 1 <... < N = T. We e For each p 1, we define and we denoe by M p G µ(π N,T] := max k1 k. k=,1,...,n 1 N 1 M p, G {η (,T] := } = ξ k 1 k, k1 ( : ξ k L ip(ω k, k= (,T] he compleion of Mp, G (,T] under he norm: ( 1 T 1 (2.2 η M p G (,T] := Ē η p p ]d. T Remark By Definiion 2.14, if η i an elemen in M p G (,T], hen here exi a equence {η n } n N in M p, G (,T], uch ha lim n Ē ηn η p ]d. I i readily oberved ha for,t], λ-a.e., Ē ηn η p ] and hu, η i an elemen in L p G (Ω, λ-a.e.. Le a = (a 1,...,a d Tr be a given vecor in R d and B a = (a,b, where (a,b denoe he calar produc of a and B. Definiion For each η M 2, G (,T] wih he form: we define I,T] (η = η = N 1 k= η db a := ξ k 1 k, k1 (, N 1 k= ξ k (B a k1 B a k, and he mapping can be coninuouly exended o I,T] : MG 2(,T] L2 G (Ω T. Then, for each η MG 2 (,T], he ochaic inegral i defined by η db a := I,T] (η. Le B a denoe he quadraic variaion proce of B a, which i formulaed in MG 2 (,T] by We define N 1 B a := lim (B a µ(π N,T] N k1 k= B a 2 = (B N a 2 2 k σ aa Tr := r(γγ Tr aa Tr. γ Γ By Corollary 5.7 in Chaper III of Peng 9], we have Therefore, for each T, B Σ := { γγ Tr : γ Γ}, T. (2.3 B a B a σ aa Tr(. B a dba.

6 6 XUEPENG BAI AND YIQING LIN Definiion We define he mapping Q,T] : M 1, G (,T] L1 G (Ω T a follow: Q,T] (η = η d B a := N 1 k= ξ k ( B a k1 B a k, and we exendi oq,t] : M 1 G (,T] L1 G (Ω T. Thi exendedmapping define η d B a for each η M 1 G (,T]. For wo given vecor a, ā R d, he muual variaion proce of B a and Bā i defined by Then, for each η M 1 G (,T], B a,bā := 1 4 ( Baā B a ā. η d B a,bā := 1 4 ( η d B aā η d B a ā. In view of he dual formulaion of G-expecaion (2.1 and he propery of he quadraic variaion proce B in he G-framework (2.3, he following BDG ype inequaliie are obviou. (cf. Theorem 2.1 and 2.2 in Gao 3] Lemma Le p 1, a,ā R d, η M p G (,T] and T. Then, u p] ( Ē η r d B a,bā σ(aā(aā Tr σ p (a ā(a ā Tr r ( p 1 Ē η u p ]du. 4 u Lemma Le p 2, a R d, η M p G (,T] and T. Then, u p] ( Ē η r dbr a C p σ p/2 aa p Tr 2 1 Ē η u p ]du, u where C p > i a conan independen of a, η and Γ. A he end of hi ubecion, we inroduce he following G-Iô formula ha can be found a Propoiion6.3inChaperIIIofPeng9]. Foreach T,coniderann-dimenional G-Iô proce: X ν = X ν b ν udu h νij u d B i,b j u g νj u db j u, ν = 1,...,n. Lemma 2.2. Le Φ C 2 (R n be a real funcion wih bounded derivaive uch ha { x 2 µ x νφ}n µ,ν=1 are uniformly Lipchiz. Le bν, h νij and g νj MG 2 (,T], ν = 1,...,n, i,j = 1,...,d, be bounded procee. Then, we have (2.4 Φ(X Φ(X = x νφ(x u b ν udu x νφ(x u g νj u db j u 1 2 in which he equaliy hold in he ene of L 2 G (Ω. x νφ(x u h νij u d B i,b j u 2 x µ x νφ(x ug µi u g νj u d B i,b j u, Remark In (2.4, we adop he Einein convenion, i.e., he repeaed indice ν, µ, i and j imply he ummaion. 3. Solvabiliy of GSDE wih inegral-lipchiz coefficien In hi ecion, we give our main reul of hi paper, ha i, he exience and uniquene heorem for GSDE wih inegral-lipchiz coefficien. From now on, C denoe a poiive conan whoe value may vary from line o line.

7 GSDES WITH INTEGRAL-LIPSCHITZ COEFFICIENTS Formulaion o GSDE and aumpion. We rewrie(1.1 ino he following form: (3.1 X( = x b(, X(d h ij (,X(d B i,b j g j (,X(dB j, T, where he iniial value x R n i a given vecor, B i i he ih componen of a d-dimenional G-Brownian moion, B i,b j i he muual variaion proce of B i and B j and b, h ij, g j are given funcion ha aify for each x R n, b(,x, h ij (,x, g j (,x M 2 G (,T];Rn, i, j = 1,...,d. We now ae our main aumpion on he coefficien of GSDE (3.1, which will be our main inere in he equel: Aumpion 3.1. For each,t] and x, x 1, x 2 R n, (H1 b(,x 1 b(,x 2 2 h(,x 1 h(,x 2 2 g(,x 1 g(,x 2 2 β( 2 ρ( x 1 x 2 2 ; (H2 b(,x 2 h(,x 2 g(,x 2 β 1 ( 2 β2 x 2 2, where β :,T] R i quare inegrable, β 1 MG 2(,T], β 2 R and ρ : (, (, i a coninuou increaing and concave funcion ha vanihe a and aifie (3.2 1 dr ρ(r =. Aumpion 3.2. For each,t] and x, x 1, x 2 R n, { b(,x1 b(,x 2 h(,x 1 h(,x 2 β(ρ 1 ( x 1 x 2 ; (H1 g(,x 1 g(,x 2 2 β( 2 ρ 2 ( x 1 x 2 2 ; (H2 b(,x p h(,x p g(,x p β 1 ( p β p 2 x p, where β :,T] R i quare inegrable, for ome p > 2, β 1 M p G (,T], β 2 R and boh ρ 1, ρ 2 : (, (, are coninuou increaing and concave funcion ha vanih a and aify (3.2. We aume moreover ha ρ 3 (r := ρ 2(r 2, r (,, r i alo a coninuou increaing and concave funcion ha vanihe a and aifie 1 dr ρ 1 (rρ 3 (r =. Remark 3.3. We give an example o how ha (H1 i weaker han (H1. If we e { ρ1 (r = rln 1 r ; ρ 2 (r = rln 1 r, r (,, hen (H1 i aified bu (H1 i no. To enure ha (3.1 i well defined, all he inegrand in (3.1 hould be in M 2 G (,T];Rn. Thu, we need he following lemma: Lemma 3.4. For ome q 1, ζ i a funcion ha aifie for each x R n, ζ(,x M q G (,T];Rn. We aume moreover ha, for each x, x 1, x 2 R n : (A1 ζ(,x 1 ζ(,x 2 β(γ( x 1 x 2 ; (A2 ζ(,x β 1 ( β 2 x, where β :,T] R i q-inegrable, β 1 M q G (,T], β 2 R and γ : (, (, i an increaing funcion vanihe a. Then, for each X M q G (,T];Rn, ζ(,x i an elemen in M q G (,T];Rn.

8 8 XUEPENG BAI AND YIQING LIN Remark 3.5. When q = 2, all he coefficien in GSDE (3.1 aify boh (A1 and (A2 under eiher Aumpion 3.1 or 3.2. Therefore, he G-ochaic inegral in GSDE (3.1 are well defined for any oluion X M 2 G (,T];Rn. We popone he proof of hi lemma o he appendix Main reul. A a aring poin, we fir refer o an inequaliy in Bihari 1] (Bihari inequaliy. Then, we prove he exience and uniquene heorem for he GSDE (3.1 under Aumpion 3.1. Lemma 3.6. Le ρ : (, (, be a coninuou and increaing funcion ha vanihe a and aifie (3.2. Le u be a meaurable and non-negaive funcion defined on (, ha aifie u( a κ(ρ(u(d, (,, where a R and κ :,T] R i Lebegue inegrable. We have (1 If a =, hen u( =, (,, λ-a.e.; (2 If a >, we define where (,, hen v( := u( v 1 (v(a 1 ρ( d, R, κ(d. Theorem 3.7. Under Aumpion 3.1 here exi a unique proce X M 2 G (,T];Rn ha aifie he GSDE (3.1. Proof: We begin wih he proof of he uniquene. Suppoe X( ;x i MG 2(,T];Rn i a oluion o he GSDE (3.1 wih iniial value x i, i = 1,2, hen we calculae ( 2 X(;x 1 X(;x 2 2 C x 1 x 2 2 (b(,x(;x 1 b(,x(;x 2 d 2 (h ij (,X(;x 1 h ij (,X(;x 2 d B i,b j 2 (g j (,X(;x 1 g j (,X(;x 2 db j. By he BDG ype inequaliie and (H1, we deduce 2] Ē (b(r,x(r;x 1 b(r,x(r;x 2 dr and Ē Ē C β( 2 Ēρ( X(;x 1 X(;x 2 2 ]d; (h ij (r,x(r;x 1 h ij (r,x(r;x 2 d B i,b j r 2] C 2] (g j (r,x(r;x 1 g j (r,x(r;x 2 dbr j C β( 2 Ēρ( X(;x 1 X(;x 2 2 ]d; β( 2 Ēρ( X(;x 1 X(;x 2 2 ]d.

9 GSDES WITH INTEGRAL-LIPSCHITZ COEFFICIENTS 9 Se hen ( u( C x 1 x 2 2 u( := Ē X(;x 1 X(;x 2 2 ], β( 2 Ēρ( X(;x 1 X(;x 2 2 ]d. A ρ i an increaing and concave funcion, by Lemma 2.12, we have ( u( C x 1 x 2 2 β( 2 ρ(ē X(;x 1 X(;x 2 2 ]d ( C x 1 x 2 2 ( C x 1 x 2 2 By Lemma 3.6, we obain β( 2 ρ( Ē X(r;x 1 X(r;x 2 2 ]d r β( 2 ρ(u(d u( v 1 (v(c x 1 x 2 2 C. β( 2 d. In paricular, if x 1 = x 2, hen u( =, T, which implie he pahwie uniquene. Now we ar o prove he exience. We define a Picard equence {X m ( } m N by he following procedure: X ( = x, T; and (3.3 X m1 ( = x b(,x m (d h ij (,X m (d B i,b j g j (,X m (db j, T. By Lemma 3.4, he equence {X m ( } m N i well defined in M 2 G (,T];Rn. Fir, we eablih an a priori eimae for {Ē Xm ( 2 ]} m N. From (3.3, by he BDG ype inequaliie, we deduce ( Ē X m1 ( 2 ] C x 2 Ē β 1 ( 2 β2 2 Xm ( 2 ]d Se ( C x 2 p( := Ce Cβ2 2 ( x 2 Ē β 1 ( 2 ]dβ 2 2 Ē β 1 ( 2 ]d, hen p( i he oluion o he following ordinary differenial equaion: ( p( = C x 2 Ē β 1 ( 2 ]dβ2 2 p(d. By recurrence, i i eay o verify ha for each m N, Ē X m ( 2 ] p(, he righ-hand ide of which i coninuou and hu, bounded on,t]. Secondly, for each k, m N, we define u k1,m ( := Ē X k1m ( X k1 ( 2 ]. Ē X m ( 2 ]d.

10 1 XUEPENG BAI AND YIQING LIN By he definiion of he equence {X m ( } m N, we have X k1m ( X k1 ( = (b(,x km ( b(,x k (d (h ij (,X km ( h ij (,X k (d B i,b j (g j (,X km ( g j (,X k (db j. By an argumen imilar o he one in he proof of he uniquene, we obain Se hen u k1,m ( C (3.4 v k1 ( C β( 2 ρ(u k,m (d. v k ( := u k,m (, T, m N β( 2 ρ(v k (d. Finally, we define α( := limv k (, T, k which i uniformly bounded by 4p(. Applying he Faou-Lebegue heorem o (3.4, we have By Lemma 3.6, we deduce α( C β 2 (ρ(α(d. α( =, T, which implie ha {X m ( } m N i a Cauchy equence under he norm (Ē 2 ] 1 2, T which i ronger han he MG 2(,T];Rn norm (2.2. Therefore, one can find a proce X MG 2(,T];Rn ha aifie Ē X m ( X( 2 ], a m. T Moreover, i i readily oberved ha 2] Ē (b(,x m ( b(,x(d (3.5 C T Ē Ē i=1 T T (h ij (,X m ( h ij (,X(d B i,b j 2] 2] (g j (,X m ( g j (,X(dB j β( 2 ρ(ē Xm ( X( 2 ]d Cρ( Ē X m ( X( 2 ]. T By he coninuiy of ρ and ρ( =, we know ha ρ( Ē X m ( X( 2 ] and T he lef-hand ide of (3.5 converge o. Thu, {X m ( } m N i a ucceive approximaion o X, which i a oluion o he GSDE (3.1 in MG 2(,T];Rn.

11 GSDES WITH INTEGRAL-LIPSCHITZ COEFFICIENTS 11 In wha follow, we give he exience and uniquene heorem o he GSDE (3.1 under Aumpion 3.2 inead of Aumpion 3.1. Theorem 3.8. Under Aumpion 3.2 here exi a unique proce X M 2 G (,T];Rn ha aifie GSDE (3.1. Proof: We ar wih he proof of exience. Similar o (3.3, we define a equence of procee {X m } m N a follow: and (3.6 X m1 ( = x X ( = x, T; b(,x m (d h ij (,X m (d B i,b j g j (,X m1 (db j, T. Thank o Theorem 3.7, he equence {X m } m N i well defined in M 2 G (,T];Rn. We noice ha he coefficien in (3.6 could no be bounded. In order o apply he G- Iô formula, we hall firly conruc, for each m N, a equence of G-Iô procee ha approximae X m, and whoe coefficien are all runcaed. Thee equence are given by he following ep: Sep 1: For each N N, we e (3.7 ζ N (,x = { ζ(,x, if ζ(,x N; Nζ(,x ζ(,x, if ζ(,x > N, where ζ = b, h ij or g j, i, j = 1,...,d, repecively. I i eay o verify ha b N, h N ij and gn j ill aify (H1 and (H2. Sep 2: For each m N, we define X m1,n ( = x b N (,X m (d h N ij(,x m (d B i,b j g N j (,X m1 (db j, T. By Lemma 3.4, he equence {X m,n ( } N N i alo well defined in M 2 G (,T];Rn. Le u now eablih an a priori eimae for {Ē Xm ( p ]} m N. By (H2 and he BDG ype inequaliie, ( (3.8 Ē X m1 ( p ] C x p Ē β 1 ( p ]d β p 2 Ē X m ( p ]dβ p 2 Ē X m1 ( p ]d. By inducion, we obain ha Ē Xm ( p ] p (, where p ( i he oluion o he following ordinary differenial equaion: ( p ( = C x p Ē β 1 ( p ]dβ p 2 p (d. Since p ( i coninuou and bounded on,t], we have (3.9 m N T Ē X m ( p ] M <.

12 12 XUEPENG BAI AND YIQING LIN Fixing an m >, we calculae Ē X m,n ( X m ( ] Ē T Ē T ] b N (,X m ( b(,x m ( d ] h N ij(,x m ( h ij (,X m ( d B i,b j ] Ē (gj N (,X m1 ( g j (,X m1 (db j. By he definiion of he runcaed coefficien and he BDG ype inequaliie, we deduce Ē X m,n ( X m ( ] Ē b(,x m ( 1 { b(,x m ( >N}]d T ( (3.1 C Ē h ij (,X m ( 1 { hij(,x m ( >N}]d ( Ē g j (,X m1 ( 2 1 { gj(,x m1 ( >N}]d By Lemma 3.4, for each m N, b(,x m, h ij (,X m, g j (,X m M 2 G (,T];Rn, i, j = 1,...,d. Then, by Remark 2.15 and Theorem 2.13 along wih Lebegue dominaed convergence heorem, he righ-hand ide of (3.1 converge o. Therefore, (3.11 Ē X m,n ( X m ( ], a N. T Since x i no a C 2 (R n funcion, we have o approximae x by a equence of C 2 (R n funcion, i.e., {F ε (x} ε>, where We noice ha (3.12 F ε (x ε 1 2 ; F ε (x x i F ε (x := ( x 2 ε 1 2, x R n. 1; 2 F ε (x x i x j 2 F ε (x ; and hu, Fε(x x i, 2 F ε(x x i x j, i,j = 1,...,n, are uniformly Lipchiz. Fixing an ε (,, we define where and Fε k,m,n ( := F ε ( X k,m,n ( F ε ( X k,m (, X k,m,n ( = X km,n ( X k,n ( X k,m ( = X km ( X k (. We apply he G-Iô formula o F ε ( X k1,m,n ( and ake G-expecaion on boh ide. Then, from (3.12 and by he BDG ype inequaliie, i i eay o how ha ĒF ε ( X k1,m,n (] (3.13 ( C Ē b N (,X km ( b N (,X k ( ]d Ē h N ij (,Xkm ( h N ij (,Xk ( ]d g N j (,X km1 ( gj N Ē (,Xk1 ( 2 F ε ( X k1,m,n ( 1 2. ] d, T.

13 GSDES WITH INTEGRAL-LIPSCHITZ COEFFICIENTS 13 By (H1 and Lemma 2.12, we have (3.14 ĒF ε ( X k1,m,n (] C ( β( ρ 1 (Ē Xk,m ( ]Ē ρ2 ( X k1,m ( 2 F ε ( X k1,m,n ( ] d. From (3.12, we know ha F ε (x i uniformly Lipchiz. Baed on hi fac and (3.11, we obain (3.15 T Ē Fε k1,m,n ( ] Ē X k1,m,n ( X k1,m ( ] T Ē X k1m,n ( X k1m ( ] T Ē X k1,n ( X k1 ( ], a N. T Since ρ 1, ρ 2 : (, (, are concave and vanih a, for each δ (,, we can find a poiive conan K δ uch ha for each x δ,, ρ 1 (x, ρ 2 (x K δ x. Fixing a δ > and M (δ,, we calculae (3.16 ρ 2 ( X k1,m ( 2 Ē T F ε ( X k1,m,n ( ρ 2( X k1,m ( 2 ] F ε ( X k1,m ( 2ε 1 2 Kδ Ē X k1,m ( 2 1 { X k1,m ( >M}] 2 T ε 1 ρ 2 (M T Ē Fε k1,m,n ( ]. On accoun of (3.15 and by Hölder inequaliy and Lemma 2.8, lim N T ρ 2 ( X k1,m ( 2 Ē F ε ( X k1,m,n ( ρ 2( X k1,m ( 2 F ε ( X k1,m ( ] 2K δ Ē X k1,m ( p ]. ε2m 1 p 2 T A M can be arbirary large and Ē Xk1,m ( p ] i finie from (3.9, we deduce lim ρ 2 ( X k1,m ( 2 Ē N T F ε ( X k1,m,n ( ρ 2( X k1,m ( 2 ] F ε ( X k1,m ( =. Due o (3.15 again, he lef-hand ide of (3.14 converge o ĒF ε( X k1,m (], a N. Then, by he Faou-Lebegue heorem, we have ( ĒF ε ( X k1,m ρ2 ( X k1,m ( 2 (] Clim β( ρ 1 (Ē Xk,m ( ]Ē N F ε ( X k1,m,n ( ( ρ2 ( X k1,m ( 2 C β( ρ 1 (Ē Xk,m ( ]limē N F ε ( X k1,m,n ( ( ρ2 ( X k1,m ( 2 ] = C β( ρ 1 (Ē Xk,m ( ]Ē F ε ( X k1,m d. ( ] d ] d Leing ε, F ε ( X k1,m ( X k1,m (. By Remark 2.15, for,t], λ-a.e., X k1,m ( belong o L p G (Ω. One he oher hand, for each ε >, F ε (x i Lipchiz in x, hen F ε ( X k1,m ( i alo an elemen in L p G (Ω. By Theorem 2.1, (H1 and Lemma

14 14 XUEPENG BAI AND YIQING LIN 2.12, we obain ĒF ε( X k1,m (] Ē Xk1,m ( ] and he following inequaliy: ( Ē X k1,m ρ2 ( X k1,m ( 2 ( ] C β( ρ 1 (Ē Xk,m ( ]Ē F ε ( X k1,m ( ( ρ2 ( X k1,m ( 2 (3.17 C β( ρ 1 (Ē Xk,m ( ]Ē X k1,m ( = C β((ρ 1 (Ē Xk,m ( ]ρ 3 (Ē Xk1,m ( ]d. ] d ] d Borrowing he noaion in he proof of Theorem 3.7, we rewrie (3.17 ino a impler form: u k1,m ( C β((ρ 1 (u k,m (ρ 3 (u k1,m (d. Taking he remum of he lef-hand ide over all m N, we have and i follow ha v k1 ( C α( C By (H1 and Lemma 3.6, we deduce β((ρ 1 (v k (ρ 3 (v k1 (d, β((ρ 1 (α(ρ 3 (α(d. α( =, T, which implie ha {X m ( } m N i a Cauchy equence under he norm Ē ]. Hence, T one can find a proce X in MG 1(,T];Rn uch ha Ē X m ( X( ], a N. T By a claical argumen, here exi a proce X( M 1 G (,T];Rn and a ubequence {X m l ( } l N {X m ( } m N uch ha for each,t], X m l ( X(, a l, q... By he a priori eimae (3.9 and Lemma 2.11, we know Ē X m ( X( p ] = Ēlim inf T T l Xm ( X m l ( p ] Fixing a δ (,, we calculae (3.18 lim m T Becaue Ē X m ( X( 2 ] δ 2 lim liminf Ē X m ( X m l ( p ] CM <. l T m T δ 2 lim m T δ 2 M 2 p lim = δ 2. Ē X m ( X( 2 1 { Xm ( X( >δ}] ((Ē Xm ( X( p ] 2 p ( Ē 1 { X m ( X( >δ} (Ē1 { X m ( X( >δ}] p 2 p m T lim Ē X m ( X( ] =, m T he la equaliy in (3.18 can be eaily deduced by Lemma 2.8. Leing δ, we obain lim Ē X m ( X( 2 ] =. m T p p 2 p 2 ] p

15 GSDES WITH INTEGRAL-LIPSCHITZ COEFFICIENTS 15 On he oher hand, fixing a δ (,, we have he following inequaliy in a imilar way o (3.16: lim m β 2 (Ē ρ 1( X m ( X( 2 ]d C( ρ 1 (δ 2 2 K δ lim Ē X m ( X( 2 ] m T = C ρ 1 (δ 2 2. A δ can arbirary mall, by (H1, we deduce 2] lim Ē m (b(,x m ( b(,x(d = and lim Ē m T T (h ij (,X m ( h ij (,X(d B i,b j 2] =, i,j = 1,...,d. Moreover, by he BDG ype inequaliie and Lemma 2.12, we can alo deduce 2] lim Ē (g j (,X m ( g j (,X(dB j =, j = 1,...,d. m T From all above, we conclude ha X M 2 G (,T];Rn i a oluion o he GSDE (3.1. Now we urn o he proof of uniquene. Suppoe X 1, X 2 MG 2(,T];Rn are wo oluion ha aify he GSDE (3.1, borrowing he noaion in he proof of exience, we define for each N N, (X 1 N ( = x (X 2 N ( = x b N (,X 1 (d h N ij(,x 1 (d B i,b j b N (,X 2 (d h N ij (,X2 (d B i,b j g N j (,X 1 (db j, T; g N j (,X2 (db j, T. Following a imilar procedure in he proof of exience, we know ha {(X 1 N } N N and {(X 2 N } N N converge o X 1 and X 2, repecively in M 1 G (,T];Rn and we have ĒF ε ((X 1 N ( (X 2 N (] ( C β( ρ 1 (Ē X1 ( X 2 ( ]Ē Leing N and ε, we deduce Thu, Ē X 1 ( X 2 ( ] C Ē X 1 ( X 2 ( ] C ρ 2 ( X 1 ( X 2 ( 2 F ε ((X 1 N ( (X 2 N ( β((ρ 1 (Ē X1 ( X 2 ( ]ρ 3 (Ē X1 ( X 2 ( ]d. Finally, Lemma 3.6 give he uniquene reul. β((ρ 1 ρ 3 ( Ē X 1 (u X 2 (u ]d. u ] d.

16 16 XUEPENG BAI AND YIQING LIN Remark 3.9. Fang and Zhang 16] have proved a pahwie uniquene reul for he claical SDE by a opping ime echnique, where ρ i no neceary o be concave. Alhough we do have a imilar opping ime echnique, Lemma 3.3 in Fang and Zhang 16] could no hold rue in he G-framework, becaue for an M 2 G ((,T;Rn proce ξ, i i difficul o verify wheher Φ(ξ (uing he noaion in ha paper aifie Definiion 4.4 in Li and Peng 6] or no, ha mean he G-ochaic inegral in he proof of ha lemma, whoe upper limi involve a opping ime, could no be well defined. Fang and Zhang 16] have alo derived an exience reul by he well-known Yamada-Waanabe heorem, which ay ha he exience of weak oluion and pahwie uniquene imply he exience of rong oluion. In he G- framework, he correponding Yamada-Waanabe heorem are unforunaely no available. 4. Solvabiliy of G-backward ochaic differenial equaion In hi ecion, we prove he exience and uniquene heorem for he following GBSDE: (4.1 Y = E ξ f(,y d h ij (,Y d B i,b j Ω ], T; where ξ L 1 G (Ω T;R n and f, g ij are given funcion ha aify for each x R n, f(,x, h ij (,x M 1 G (,T];Rn, i, j = 1,...,d. We aume moreover ha, for each,t] and y, y 1, y 2 R n : (H1 f(,y 1 f(,y 2 h(,y 1 h(,y 2 β( ρ( y 1 y 2 ; (H2 f(,y h(,y β 1 (β 2 y, where β :,T] R i Lebegue inegrable, β 1 M 1 G (,T], β 2 R and ρ : (, (, i a coninuou increaing and concave funcion ha vanihe a and aifie (3.2. Theorem 4.1. Under he aumpion above, (4.1 admi a unique oluion Y M 1 G (,T];Rn. Proof: Le Y 1,Y 2 MG 1(,T];Rn be wo oluion of (4.1, hen ] Y 1 Y2 = E ξ f(,y 1 d h ij (,Y 1 d Bi,B j Ω E ξ f(,y 2 d Due o he ub-addiiviy of E Ω ], we obain Y 1 Y2 E (f(,y 1 f(,y 2 d Ω ] h ij (,Y 2 d Bi,B j Ω ]. T E (h ij (,Y 1 h ij (,Y 2 d B i,b j Ω ]. Taking G-expecaion on boh ide and uing he BDG ype inequaliie and Lemma 2.12, we have T ] E Y 1 Y2 ] E (f(,y 1 f(,y 2 d Se T ] E (h ij (,Y 1 h ij (,Y 2 d B i,b j C ρ(e Y 1 Y 2 ]d. u( = E Y 1 Y2 ],

17 GSDES WITH INTEGRAL-LIPSCHITZ COEFFICIENTS 17 hen u( K ρ(u(d. By Lemma 3.6, we deduce u( =, T, which yield he pahwie uniquene. For he proof of exience, we define a equence of procee {Y m } m N a follow: and Y m1 Y ( =, T, = E ξ f(,y m d h ij (,Y m d Bi,B j Ω ], T. The re of he proof goe in a imilar way o he proof of Theorem 3.7, o we omi i. Remark 4.2. We noice ha he definiion of he GBSDE above i no he ypical one (cf. (3.1 in Hu e al. 4], in which he generaor f involve Z, i.e., he inegrand of he Iô ype G-ochaic inegral wih repec o G-Brownian moion. Baed on he grea effor of many auhor, uch a Xu and Zhang 17], Soner e al. 12] and Song 13, 14], Peng e al. 1] have given a complee heory for G-maringale repreenaion. Subequenly, Hu e al. 4] have derived a complee exience and uniquene heorem for nonlinear GBSDE wih a generaor f ha i uniformly Lipchiz in boh y and z. An exenive udy o GBSDE i meaningful becaue here will be numerou poible applicaion of GBSDE in finance, for example, pricing and robu uiliy maximizaion in a model wih a non-dominaed cla of probabiliy meaure. 5. Appendix In he appendix, we give he proof of Lemma 3.4 in hree ep. Fir of all, we conider he imple cae when ζ i uniformly Lipchiz in x. Then, we prove hi lemma for all ζ ha i uniformly bounded. To generalize he reul o he cae ha ζ i unbounded, we need o define a equence of runcaed funcion {ζ N } N N a (3.7 and complee he proof wih he help of Theorem Now, we begin wih he following lemma. Lemma 5.1. For ome p 1, ζ i a funcion ha aifie ζ(,x M p G (,T];Rn for each x R n. We aume moreover ha ζ(,x aifie he Lipchiz condiion, i.e., for each,t] and each x 1, x 2 R n, ζ(,x 1 ζ(,x 2 C L x 1 x 2. Then, for each X M p G (,T];Rn, ζ(,x i an elemen in M p G (,T];Rn. Proof: Wihou lo of he generaliy, we only give he proof of he one dimenional cae. Suppoe ha X can be approximaed by a equence {X N } N N M p, G (,T] of he form below: where ξ k L ip (Ω k, hen X N := N 1 k= ξ k 1 k, k1 (, Ē ζ(,x N ζ(,x p ]d C L Ē X N X p ]d, a N. To obain he deired reul, we only need o prove ha for each k N, ζ(,ξ k 1 k, k1 ( M p G (,T]. In order o implify he noaion, we make a new aerion ha i equivalen o he one aed above: fixing a T 1, η i an elemen in L ip (Ω 1, hen ζ(,η1 1,T ( M p G (,T]. In wha follow, we prove hi aerion. Since η L ip (Ω 1, here exi an M >, uch ha η M,M], which i a compac e in R. For each n N, we can find an open cover {G i } i I of R, uch ha λ(g i < 1 n, i I. By

18 18 XUEPENG BAI AND YIQING LIN he pariion of uniy heorem, here exi a family of C (R funcion {φ n i } i I uch ha for each i I, p(φ n i G i, φ n i 1 and for each x R, i Iφ n i (x = 1. Moreover, here exi a finie number of φ n i uch ha for x M,M], each i = 1,...,N(n a poin x n i uch ha φ n i (xn i >, we e Then, ζ n (,x = ζ n (,η1 1,T ( ζ(,η1 1,T ( N(n i=1 N(n i=1 ζ(,x n i φn i (x. N(n φ n i i=1 (x = 1. Chooing for ζ(,η ζ(,x n i φn i (η C L n, 1 < T, which implie ha ζ n (,η1 1,T ( converge o ζ(,η1 1,T ( under he M p G (,T] norm (2.2. If for all n N, ζ n (,η1 1,T ( belong o M p G (,T], hen, by he compleene of M p G (,T], ζ(,η1 1,T( M p G (,T]. I uffice o prove ha ζ(,xn i φn i (η1 1,T( (,T], i = 1,...,N(n, which i given by he following lemma. M p G Lemma 5.2. Fixing a T 1, le X be an elemen in M p G (,T] and η i an elemen in L ip (Ω 1, hen ηx 1 1,T ( M p G (,T]. Proof: Suppoe X can be approximaed by a equence {X N } N N M p, G (,T] of he form below: X N := N 1 k= ξ k 1 k, k1 (, hen X 1 1,T ( can be approximaed by a equence { X N } N N M p, G (,T]: X N := N 1 k= ξ k 1 k 1, k1 1(, where ξ k L ip (Ω k. We define a equence { X N } n N by where X N := α k := N 1 k= α k 1 k, k1 (, {, if k1 < 1; ηξ k, if k1 1. Since L ip (Ω 1 L ip (Ω 1 and L ip (Ω 1 i cloed under muliplicaion, we deduce ha { X N } N N M p, G (,T]. Moreover, X N ηx 1 1,T ( η X N ηx 1 1,T ( M X N X, < T, where M i he bound of η. Thi implie ha ηx 1 1,T ( i he limi of XN under he (,T] norm (2.2. M p G Proof of Lemma 3.4: Le J C (R n be a non-negaive funcion aifie p(j B(,1 and J(xdx = 1. R n For each λ >, we e J λ (x = 1 λ nj(x λ and ζ λ (,x = J λ (x yζ(,ydy. R n

19 GSDES WITH INTEGRAL-LIPSCHITZ COEFFICIENTS 19 We aume ha ζ i uniformly bounded, hen ζ λ i uniformly Lipchiz in x. By Lemma 5.1, we have ζ λ (,X M q G (,T];Rn. To deduce he deired reul, we only need o how ha ζ(,x i he limi of ζ λ (,X under he M q G (,T];Rn norm (2.2. Fixing a λ >, we calculae ζ λ (,x ζ(,x J λ (y ζ(,x y ζ(,x dy. R n Therefore, q] Ē ζ λ (,X( ζ(,x( q ]d Ē J λ (y ζ(,x( y ζ(,x( dy d R n β( q ( R n J λ (yγ( y dy q d γ(λ q β( q d C γ(λ q, a λ. For an unbounded funcion ζ, we conruc a equence of procee (ζ N n N a (3.7. Fixing an N N, we have (5.1 Ē ζ N (,X( ζ(,x( q ]d Ē ζ(,x( q 1 { ζ(,x( >N} ]d Ē(β 1 (β 2 X( q 1 {β1(β 2 X( >N}]d ( C Ē β 1 ( q 1 { β1( > N }]d Ē(β 2 X( q 1 2 {β2 X( > N }]d 2 ( C Ē β 1 ( q 1 { β1( > N 2 }]dβq 2 Since β 1 and X are M q G (,T] procee, by Remark 2.15 and Theorem 2.13 along wih Lebegue dominaed convergence heorem, he righ-hand ide of (5.1 converge o. Thi yield he deired reul. Acknowledgemen The auhor expre pecial hank o Prof. Ying Hu, who provided boh he iniial inpiraion for he work and ueful uggeion. Reference 1] Bihari, I. A generalizaion of a lemma of bellman and i applicaion o uniquene problem of differenial equaion. Aca Mah. Acad. Sci. Hungar., 7: (1956 2] Deni, L., Hu, M., Peng, S. Funcion pace and capaciy relaed o a ublinear expecaion: applicaion o G-Brownian moion pah. Poenial Anal., 34(2: (211 3] Gao, F. Pahwie properie and homomorphic flow for ochaic differenial equaion driven by G-Brownian moion. Sochaic Proce. Appl., 119(1: (29 4] Hu, M., Ji, S., Peng, S., Song, Y. Backward ochaic differenial equaion driven by G-Brownian moion. Sochaic Proce. Appl., 124(1: (214 5] Hu, Y., Lerner, N. On he exience and uniquene of oluion o ochaic equaion in infinie dimenion wih inegral-lipchiz coefficien. J. Mah. Kyoo Univ., 42(3: (22 6] Li, X., Peng, S. Sopping ime and relaed Iô calculu wih G-Brownian moion. Sochaic Proce. Appl., 121(7: (211 7] Lin, Q. Some properie of ochaic differenial equaion driven by he G-Brownian moion. Aca Mah. Appl. Sinica (Englih Ser., 29(5: (213 8] Peng, S. G-expecaion, G-Brownian moion and relaed ochaic calculu of Iô ype. In: Sochaic analyi and applicaion, Abel Symp., Vol. 2, ed. by F. E., Benh, G., Di Nunno, T., Lindrom, B., Økendal, T., Zhang, Springer, Berlin, 27, ] Peng, S. Nonlinear expecaion and ochaic calculu under uncerainy. arxiv: v1 1] Peng, S., Song, Y., Zhang, J. A complee repreenaion heorem for G-maringale. arxiv: v2 11] Rockafellar, R. T. Convex analyi. Princeon Univeriy Pre, Princeon, N. J., 197 Ē X( q 1 { X( > N 2β } ]d. 2

20 2 XUEPENG BAI AND YIQING LIN 12] Soner, H. M., Touzi, N., Zhang, J. Maringale repreenaion heorem under G-expecaion. Sochaic Proce. Appl., 121(2: (211 13] Song, Y. Some properie on G-evaluaion and i applicaion o G-maringale decompoiion. Sci. China Mah., 54(2: (211 14] Song, Y. Uniquene of he repreenaion for G-maringale wih finie variaion. Elecron. J. Probab., 17: no. 24, 1-15 (212 15] Waanabe, S., Yamada, T. On he uniquene of oluion of ochaic differenial equaion II. J. Mah. Kyoo Univ., 11: ( ] Fang, S., Zhang, T. A udy of a cla of ochaic differenial equaion wih non-lipchizian coefficien. Probab. Theory Relaed Field, 132(3: (25 17] Xu, J., Zhang, B. Maringale characerizaion of G-Brownian moion, Sochaic Proce. Appl., 119(1: (29 18] Yamada, T. On he ucceive approximaion of oluion of ochaic differenial equaion. J. Mah. Kyoo Univ., 21(3: ( ] Yamada, T., Waanabe, S. On he uniquene of oluion of ochaic differenial equaion. J. Mah. Kyoo Univ., 11: (1971 School of Mahemaic Shandong Univeriy 251 Jinan, China Iniu de Recherche Mahémaique de Renne Univerié de Renne Renne Cedex, France addre: yiqing.lin@univ-renne1.fr (Correponding auhor: Yiqing LIN