arxiv: v2 [math.pr] 19 Dec 2016

Transcription

1 rxiv: v2 [mth.pr] 19 Dec 216 ITÔ STOCHASTIC DIFFERENTIAL EQUATIONS DRIVEN BY FRACTIONAL BROWNIAN MOTIONS OF HURST PARAMETER H > 1/2 YAOZHONG HU Abstrct. This pper studies the existence nd uniqueness of solution of Itô type stochstic differentil eqution dx(t) = b(t, x(t), ω)dt σ(t, x(t), ω)db(t), where B(t) is frctionl Brownin motion of Hurst prmeter H > 1/2 nd db(t) is the Itô differentil defined by using Wick product or divergence opertor. The coefficients b nd σ re rndom nd nticiptive. Using the reltionship between the Itô nd pthwise integrls we first write the eqution s stochstic differentil eqution involving pthwise integrl plus Mllivin derivtive term. To hndle this Mllivin derivtive term the eqution is then further reduced to system of chrcteristic equtions without Mllivin derivtive, which is then solved by creful nlysis of Picrd itertion, with new technique to replce the Grönwll lemm which is no longer pplicble. The solution of this system of chrcteristic equtions is then pplied to solve the originl Itô stochstic differentil eqution up to positive rndom time. In specil liner nd qusiliner cses the globl solutions re proved to exist uniquely. 1. Introduction Let T (, ) be given fixed number nd let Ω be the Bnch spce of continuous rel-vlued functions f : [,T] R with the supremum norm: f = sup t T f(t). For ny t [,T] define the coordinte mpping B(t) : Ω R by B(t)(ω) = ω(t). Let P = P H be the probbility mesure on the Borel σ-lgebr F of Ω such tht B = (B(t), t T) is frctionl Brownin motion of Hurst prmeter H (,1). Nmely, on the probbility spce (Ω,F,P), B = (B(t), t T) is centered (men ) Gussin process of covrince given by E(B(t)B(s)) = 1 ( t 2H s 2H t s 2H). 2 Throughout the pper, we consider the cse H > 1/2. The nturl filtrtion generted by B(t) is denoted by F t. For ny β (,H), it is known tht lmost surely, B(t) is Hölder continuous of exponent β. This mens tht there is mesurble subset of Ω of probbility one such tht ny element ω in this set B(,ω) is Hölder continuous of exponent β. We shll work on this subset of Ω nd with n buse of nottion we shll denote this subset still by Ω. We lso choose nd fix such β (1/2,H) throughout the pper. 2 Mthemtics Subject Clssifiction. 6H1, 6G22, 65C3, 6H7, 6H5, 26A33. Key words nd phrses. Frctionl Brownin Motions, Itô type stochstic integrl, Itô formul, Itô type stochstic differentil eqution, Mllivin derivtive, chrcteristic curve eqution, frctionl Picrd itertion, contrction principle, existence nd uniqueness of solution, liner nd qusiliner equtions, globl solution. 1

2 2 YAOZHONG HU Frctionl Brownin motions hve been received gret ttention in recent yers. Stochstic integrl, Itô formul, nd mny other bsic results hve been estblished. The stochstic differentil eqution of the form dx(t) = b(t,x(t))dtσ(t,x(t))δb(t), t T, x() is given, (1.1) hs been studied by mny uthors nd hs found mny pplictions in vrious fields, where δ denotes the pthwise type integrl defined by using Riemnn sum. Among mny references we refer to [1, 9, 22] nd in prticulr the references therein for more detils. Lyons nd his collbortors work on rough pth nlysis is powerful tool in nlyzing this type of eqution (see [5, 19] nd the references therein). However, in the cse when B is the Brownin motion, the most studied eqution is of Itô type. Nmely, in (1.1) Itô stochstic differentil is used insted of the pthwise one. There re mny resons for the use of Itô stochstic differentil in clssicl Brownin motion cse. One reson is from the modeling point of view. If one uses (1.1) to model the stte of certin system, then the term b(t,x(t)) represents ll the men rte of chnge of the system nd the term σ(t,x(t))δb(t) is the rndom perturbtion, which hs zero men contribution. When we use stochstic differentil equtions driven by frctionl Brownin motion to model nturl or socil system, we lso wish to seprte the two prts: the prt b(t,x(t)) representsll the men rteofchngend the prt σ(t,x(t))δb(t) is merely the rndom perturbtion, which should hve men. In nother word, it is nturl to require the men of σ(t,x(t))δb(t) in (1.1) to be zero. On the other hnd, it is well-known from the work of [4, 6] tht if H 1/2, then the pthwise type stochstic integrl with respect to frctionl [ Brownin motion my not be of ] T zero men. Nmely, it is possible tht E σ(t,x(t))δb(t). Motivted by this phenomenon, n Itô type stochstic integrl T σ(t,x(t))db(t) is introduced with the use of Wick product in [4, 13] (see [1, 6] [ nd the references therein). This ] T integrl hs the property tht the expecttion E σ(t,x(t))db(t) is lwys equl to zero. This motivtes to replce the pthwise integrl in (1.1) by the Itô one. In other words, we re led to consider the following Itô stochstic differentil eqution dx(t) = b(t,x(t))dtσ(t,x(t))db(t), t T, x() is given, (1.2) where db(t) denotes the Itô type stochstic differentil (divergence type integrl) defined in [4] (see lso [1, 6, 13] nd references therein), b nd σ re two rel-vlued functions from [,T] R to R stisfying some conditions tht will be mde precise lter (we shll llow them to be rndom). To solve the bove eqution (1.2), nturl pproch to try is the Picrd itertion. To explin the difficulty let us define x n (t) by the following recursive formul (nive Picrd itertion): x n (t) = x() b(s,x n 1 (s))dt σ(s,x n 1 (s))db(s), t T, (1.3) where n = 1,2, nd x (t) := x() for ll t T. Consider the bove stochstic integrl term on the right hnd side. An Itô isometry formul sttes

3 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 3 tht ( E { = E ) 2 σ(s,x n 1 (s))db(s) φ(u,v)σ(u,x n 1 (u))σ(v,x n 1 (v))dudv } σ x (u,x n 1 (u))σ x (v,x n 1 (v))d φ vx n 1 (u)d φ ux n 1 (v)dudv, where φ(u,v) = H(2H 1) u v 2H 2, σ x (t,x) denotes the prtil derivtive of σ(t,x) with respect to x nd D φ u is the Mllivin derivtive (see forthcoming definition (2.1) in next section). From this identity one sees tht to bound the L 2 norm of x n one hs to use the L 2 norm of x n 1 plus the L 2 norm of the Mllivin derivtive of x n 1. In similr wy to bound the Mllivin derivtive one hs to use the second order Mllivin derivtive, nd so on. Thus, we see tht the nive Picrd itertion pproximtion cnnot be pplied to study the Itô stochstic differentil eqution (1.2). We shll use different pproch to study (1.2). To explin this pproch we first use the reltionship between pthwise nd Itô stochstic integrls (estblished for exmple in [4, Theorem 3.12]. See lso [1] nd [6]) to write the eqution (1.2) s x(t) = x() b(s, x(s))ds σ(s, x(s))δb(s) σ x (s,x(s))d φ sx(s)ds, t T. (1.4) Thus, the eqution (1.2) is reduced to n eqution involved the pthwise integrl plus Mllivin derivtive term. To understnd the chrcter of this eqution, we consider heuristiclly the dependence on the rndom element ω Ω of the rndom vrible x(t,ω) s function of infinitely mny vribles (defined on Ω). We write it formlly s x(t,ω) = u(t, l 1,, l n, ), where u(t,x 1,x 2, ) is function of infinitely mny vrible { nd l 1, l, re smooth deterministic functions such 1 when i = j tht l i,l j Hφ = (see the forthcoming definition (2.9) for the otherwise Hilbert spce H φ. We usully ssume tht {l 1, l, } to be n orthonorml bsis of H φ ) nd l i = T l i(s)db(s). Thus D φ s x(s) = i=1 φ i(s) u x i (s,x 1,x 2, ) with φ i (s) = T φ(s,r)l i(r)dr. With the bove nottions, the eqution (1.4) cn be written s (we omit the explicit dependence of u on (x 1,x 2, )) u(t) = u() i=1 b(s, u(s))ds σ(s, u(s))δb(s) φ i (s)σ x (s,u(s)) u x i ds, t T. (1.5) This is first order hyperbolic prtil differentil eqution driven by frctionl Brownin motion for function of infinitely mny vribles. We shll use the ide of chrcteristic curve pproch from the theory of the first order (finitely mny vribles) hyperbolic equtions(see for exmple [18, 26, 27]). But since the clssicl

4 4 YAOZHONG HU theory is not directly pplicble here we need to find the chrcteristic curve nd prove the existence nd uniqueness of the solution. Let us lso point out tht stochstic hyperbolic equtions hs lso been studied by severl uthors (see e.g. [17]), which is different from ours. Now we explin our pproch to solve (1.4). First, we construct the following coupled system of chrcteristic equtions: Γ(t) = ω σ x(s,z(s)) φ(s,u)duds; z(t) = η(ω) b(s,z(s))ds σ(s,z(s))δb(s) s σ(s,z(s))σ x(u,z(u))φ(s,u)duds, (1.6) where σ x denotes the prtil derivtive with respect to x, Γ(t) : Ω Ω nd z(t) : Ω R. Thissystemofequtionscomesfromthechrcteristiccurveeqution for the first order hyperbolic eqution(1.5) of function of infinitely mny vribles (see [18, 26, 27]). For this system of chrcteristic equtions, we shll show the following sttements. (i) We use the Picrd itertion pproch to show tht the bove system of equtions(1.6) hs unique solution. Since the frctionl Brownin motion B is not differentible, the powerful Grönwll lemm cnnot no longer be used. Additionl effort is needed to solve the corresponding (1.6). We use different contrction rgument, presented in Section 4. We cll this pproch frctionl Picrd itertion nd hope tht this generl contrction principle my lso be useful in solving other equtions involving Hölder continuous controls. Let us point out tht (1.6) hs globl solution. (ii) We show in Section 5 tht Γ(t) : Ω Ω defined by (1.6) hs n inverse Λ(t) when t is sufficiently smll (smller thn positive rndom constnt) nd x(t,ω) = z(t,λ(t,ω)) stisfies (1.4) (or (1.2)). To this end we need to use new Itô formul which is quite interesting itself. This new Itô formul is presented in Section 3. (iii) For generl nonliner eqution (1.2) we cn only solve the eqution up to positive (rndom) time. This is becuse the inverse Λ(t) of Γ(t) : Ω Ω exists only up to some rndom time (see one exmple given in Section 5). However, for liner or qusiliner eqution we cn solve the eqution for ll time t. In prticulr, in one dimensionl liner cse, we cn find the explicit solution. This is done in Section 6. For nottionl simplicity we only discuss one dimensionl eqution. The system of severl equtions cn be hndled in similr wy. It is only nottionlly more complex. On the other hnd, our pproch works for more generl rndom nticiptive coefficients with generl nticiptive rndom initil conditions. We present our work in this generlity. This mens we shll study slightly more generl eqution (see (5.4) in Section 5) insted of (1.6). There hs been n intensive study on nticiptive stochstic differentil equtions by using nticiptive clculus (see [2, 3, 23]). We hope our work cn shed some lights to this topic s well. Some preliminry results re presented in Section 2 nd some nottions used in this pper re lso fixed there.

5 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 5 2. Preliminry 2.1. Frctionl integrls nd derivtives. Denote ( 1) α = e iπα nd Γ(α) = r α 1 e r dr. Let,b R with < b nd let f L 1 (,b) nd α >. The left-sided nd right-sided frctionl Riemnn-Liouville integrls of f re defined by nd I α f (t) = 1 Γ(α) I α b f (t) = ( 1) α Γ(α) b t (t s) α 1 f (s)ds (s t) α 1 f (s)ds, respectively if the bove integrls exist, where t b. The Weyl derivtives re defined s (if the integrls exist) ( ) Df α 1 f (t) t f (t) f (s) (t) = Γ(1 α) (t ) α α α1 ds (2.1) (t s) nd ( Db f α (t) = ( 1)α f (t) Γ(1 α) (b t) α α b t f (t) f (s) (s t) α1 ds ). (2.2) For ny λ (,1), denote by C λ (,b) the spce of λ-hölder continuous functions on the intervl [,b]. We will mke use of the nottions nd x r x θ x,b,β = sup θ<r b r θ β, x,b = sup x r, r b where x : R d R is given continuous function. We refer to [25] for more detils on frctionl integrls nd derivtives. Let π : = t < t 1 < < t n 1 < t n = b be prtition of [,b] nd denote π = mx i n 1 (t i1 t i ). Assume tht f C λ (,b) nd g C µ (,b) with λµ > 1. n 1 For these two functions, we define the Riemnn sum S π (f g) = f(t i )(g(t i1 ) g(t i )). From clssicl result of Young [28], we know tht s π, the limit of S π (f g) exists nd is clled the Riemnn-Stieltjes integrl b We lso hve the following proposition. fdg = lim π S π(f g). Proposition 2.1. Suppose tht f C λ (,b) nd g C µ (,b) with λµ > 1. Let 1 µ < α < λ. Then the Riemnn Stieltjes integrl b fdg exists nd it cn be expressed s b b fdg = ( 1) α Df α (t)d 1 α b g b (t)dt, (2.3) where g b (t) = g(t) g(b). i=

6 6 YAOZHONG HU We lso note tht in the convergent Riemnn sum, we cn lso use n 1 S π (f g) = f(ξ i )(g(t i1 ) g(t j )), i= where ξ i is ny point in [t i,t i1 ]. Let Ω, H be two seprble Bnch spces such tht H is continuously embedded in Ω. Let B be nother seprble Bnch spce. A mpping F : Ω B is clled H-differentible if there is bounded liner mpping from H to B (if such mpping exists, then it is unique nd is denoted by DF(ω)) such tht F(ω εh) F(ω) ε = DF(ω)(h)o(ε) s ε ; ω Ω, h H. (2.4) We cn lso considered DF(ω) s n element in the tensor product spce B H, where H is the dul of H. The directionl derivtive D h F for ny direction h H is defined s D h F(ω) = DF(ω)(h) = DF(ω),h H,H. To simplify nottion we lso write D h F(ω) = DF(ω)h. If H nd B re Bnch spces of rel functions, nd if there is function g(s,ω) such tht D h F(ω) = DF(ω)(h) = T f(s,ω)h(s)ds, h H, then we denote D s F(ω) = g(s,ω). It is esy to see tht we hve the following chin rule. If F : Ω B 1 is H 1 - differentible nd G : B 1 B 2 is H 2 -differentible such tht DF(ω) is bounded mpping from H 1 to H 2, then G F is lso H 1 -differentible nd DG(F(ω)) = (DG)(F(ω)) DF(ω). (2.5) For ny function f(t) = f(t,ω), where (t,ω) [,T] Ω, which is Hölder continuous with respect to t of exponent µ > 1 H, by Proposition 2.1, we cn define the pthwise integrl f(s)δb(s) s the (pthwise) limit s π = mx i n 1 (t i1 t i ) of the following Riemnn sum n 1 S π (f) = f(s k )(B(s k1 ) B(s k )), (2.6) i= where π : = s < s 1 < < t nn 1 < t n = t is prtition of [,t]. This integrl cn lso be given by f(s)δb(s) = D 1 α f(s)dα t B t (s)ds, where α stisfies 1 µ < α < H. If f is Hölder continuous of exponent greter thn 1 H nd if g is continuous, then η(t) = η() f(s)δb(s) g(s)ds is well-defined. For ny continuous function F on [,T] R, which is continuously differentible in t nd twice continuously in x we hve the following Itô formul: [ F(t,η(t)) = F(,η()) s F(s,η(s)) ] x F(s,η(s))g(s) ds F(s,η(s))f(s)δB(s). (2.7) x [seefor exmple[9] nd referencestherein.] We lsonotice tht if f : [,T] Ω R is Hölder continuous of exponent µ > 1 H, then in the Riemnn sum (2.6) the

7 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 7 left point s k cn be replced by ny points ξ k in the subintervl. Nmely, T n 1 f(s)δb s = lim f(ξ k )(B(s k1 ) B(s k )), (2.8) π i= where ξ k is ny point in [s k,s k1 ]. In the stochstic nlysis of frctionl Brownin motions of Hurst prmeter H > 1/2, usully, we tke the bove Bnch spce H to be the reproducing kernel Hilbert spce H φ : { } H φ = f : [,T] R, f 2 H φ = T T f(u)f(v)φ(u v)dudv <, (2.9) which is the completion of the spce of smooth functions on [,T] with respect to the norm Hφ, where φ(u) := H(2H 1) u 2H 2. The element in H φ my be generlized function (distribution) lthough we still write f : [,T] R in (2.9). We cn define D s F(ω) s usul nd we denote D φ tf(ω) = T φ(t,s)d s F(ω)ds. (2.1) The expecttion E b f(s)δb(s) my generllynot be zero. In [4] (see lso [1, 6]) we introduce n Itô stochstic integrl by using the Wick product. We lso estblished reltionship between pthwise nd Itô integrls. Here, we cn use this reltionship to define Itô integrl s T T T f(t)db(t) = f(t)δb(t) D φ tf(t)dt (2.11) if f is Hölder continuous ( of exponent µ > 1 H nd D φ sf(s) exists nd is integrble. ) T It is esy to see tht E f(t)db(t) =. The Itô formul nd mny other results for Itô stochstic integrl hve been estblished. Here, we explin tht the Itô formul for Itô integrl cn lso be obtined from (2.7) nd (2.11). Proposition 2.2. Let η(t) = η f(s)db s g(s)ds, where f is Hölder continuous with exponent greter thn 1 H nd g is continuous. Assume tht D φ sf(s) exists nd is continuous function of s. Let F : [,T] R R be continuously differentible in t nd twice continuously differentible in x. Then F F(t,η(t)) = F(,η ) (s,η(s))f(s)db(s) (2.12) x [ ] F F (s,η(s)) s x (s,η(s))g(s) 2 F x 2 (s,η(s))f(s)dφ sη(s) ds. Proof We briefly sketch the proof. First, by (2.11) we see η(t) = η f(s)δb s [ g(s) D φ s f(s) ] ds.

8 8 YAOZHONG HU From (2.7) it follows tht F(t,η(t)) = F(,η ) = F(,η ) This is simplified to (2.12). F t s (s,η(s))ds F x (s,η(s))f(s)δb(s) F x (s,η(s))[ g(s) D φ s f(s)] ds F s (s,η(s))ds { F x (s,η(s))[ g(s) D φ sf(s) ] D φ s F x (s,η(s))f(s)db(s) ( F x (s,η(s))f(s) )} ds. 3. Itô formuls Denote T = [,T]. If X(t) = η f(s)ds g(s)δb(s) nd if F is function from T R to R, then n Itô formul for F(t,X(t)) is given by (2.7), or (2.12) if the integrl is Itô type (see lso [28, 29, 9] nd in prticulr the references therein). However, to show the existence nd uniqueness of the solution to Itô stochstic differentil eqution we need n Itô formul of the following form: If X is s bove, Γ : T Ω Ω nd F : T R Ω to R, we wnt to find n Itô formul for F(t,X(t),Γ(t)). Here nd in wht follows, we omit the explicit dependence on ω when it is cler. Lemm 3.1. Let h(t,u,ω), (t,u,ω) T 2 Ω be continuous function of t nd u. Define fmily of nonliner trnsforms from Ω to Ω by Γ(t,ω) = ω h(t,u,ω)du, t T. (3.1) Let f : T Ω R be mesurble such tht for ny ω Ω, f : T R is Hölder continuous of order greter thn 1 H so tht F = T f(s)δb(s) is well-defined. We hve T T F Γ(t,ω) = f(s,γ(t,ω))δb(s) f(s,γ(t,ω))h(t,s,ω)ds. (3.2) Proof By limiting rgument we my ssume tht f is of the form n 1 f(t,ω) = k (ω)i [tk,t k1 )(t), k= where = t < t 1 < < t n 1 < t n = T is prtition of the intervl [,T]. Thus F(ω) = = n 1 k (ω)[b(t k1,ω) B(t k,ω)] k= n 1 k (ω)[ω(t k1 ) ω(t k )]. k=

9 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 9 Thus F(Γ(t,ω)) = = = { n 1 k (Γ(t,ω)) ω(t k1 ) k= n 1 k= T k1 { k (Γ(t,ω))(ω(t k1 ) ω(t k )) k (Γ(t,ω)) } tk h(t,s,ω)ds ω(t k ) h(t,s,ω)ds } k1 T f(s,γ(t,ω))δb(s) f(s,γ(t,ω))h(t,s,ω)ds, t k h(t,s,ω)ds which is (3.2). Let H Ω be Bnch spce continuously embedded in Ω. Now we stte our new Itô formul. Theorem 3.2. Let mesurble functions η : R Ω R, f,f 1 : T R Ω R, g,g 1 : T Ω R stisfy f (s,x,ω) nd g (s,ω) re continuous in s T ; f 1 (s,x,ω) nd g 1 (s,ω) re Hölder continuous with respect to s of order greter thn 1 H; f 1 (s,x,ω) is Lipschitz in x. Define nd F(t,x,ω) = η(x,ω) G(t,ω) = ξ(ω) f (s,x,ω)ds g (s,ω)ds f 1 (s,x,ω)δb(s) (3.3) g 1 (s,ω)δb(s). (3.4) Assume tht F nd xf(t,x,ω) re Hölder continuous in t of exponent greter thn 1 H nd Lipschitz in x, H-differentible in ω. Let ξ : Ω R be mesurble. Let h nd Γ be defined s in Lemm 3.1 nd ssume tht Γ : [,T] Ω Ω is continuously d differentible in s with respect to the topology of H (nmely, dsγ(s) H). Then F(t,G(t),Γ(t)) = η(ξ(ω),ω) f 1 (s,g(s),γ(s))δb(s) f (s,g(s),γ(s))ds x F(s,G(s),Γ(s))g (s)ds f 1 (s,g(s),γ(s))h(s,s,ω)ds x F(s,G(s),Γ(s))g 1(s)δB(s) (DF)(s,G(s),Γ(s)) d Γ(s)ds, (3.5) ds where nd in wht follows we denote (DF)(s,G(s),Γ(s)) d ds Γ(s) := DF(s,x,ω) x=g(s),ω=γ(s) d ds Γ(s).

10 1 YAOZHONG HU Proof Let π : = t < t 1 < < t n = t be prtition of [,t] nd denote π = mx k n 1 (t k1 t k ). We hve where F(t,G(t),Γ(t)) F(,G(),Γ()) n 1 = [F(t k1,g(t k1 ),Γ(t k1 )) F(t k,g(t k ),Γ(t k ))] k= = I 1 I 2 I 3, I 1 = I 2 = I 3 = n 1 [F(t k1,g(t k1 ),Γ(t k1 )) F(t k,g(t k1 ),Γ(t k1 ))] ; k= n 1 [F(t k,g(t k1 ),Γ(t k1 )) F(t k,g(t k ),Γ(t k1 ))] ; k= n 1 [F(t k,g(t k ),Γ(t k1 )) F(t k,g(t k ),Γ(t k ))]. k= Let us first look t I 1. Using Lemm 3.1, we hve I 1 = = n 1k1 k= t k n 1 k= t k n 1k1 k= t k n 1 f (s,g(t k1 ),Γ(t k1 ))ds k1 f 1 (s,x,ω)δb(s) n 1 f (s,g(t k1 ),Γ(t k1 ))ds k1 k= t k x=g(tk1 ),ω=γ(t k1 ) k1 k= t k f 1 (s,g(t k1 ),Γ(t k1 ))h(t k1,s)ds. f 1 (s,g(t k1 ),Γ(t k1 ))δb(s) From here it is esy to see tht lim I 1 = π f (s,g(s),γ(s))ds f 1 (s,g(s),γ(s))δb(s) f 1 (s,g(s),γ(s))h(s,s,ω)ds. (3.6) Usingthemenvluetheoremwehve,denotingG k,θ = G(t k )θ[g(t k1 ) G(t k )], I 2 = = n 1 1 k= 1 x F(t k,g k,θ,γ(t k1 ))dθ[g(t k1 ) G(t k )] { n 1 k1 dθ k= t k x F(t k,g k,θ,γ(t k1 ))[g (s)dsg 1 (s)δb(s)] }.

11 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 11 Since for ny θ [,1], G k,θ is ny point between G(t k ) nd G(t k1 ), we see tht for ny θ [,1], lim This implies lim I 2 = π n 1k1 π k= t k = x F(t k,g k,θ,γ(t k1 ))[g (s)dsg 1 (s)δb(s)] x F(s,G(s),Γ(s))g (s)ds x F(s,G(s),Γ(s))g 1(s)δB(s). t x F(s,G(s),Γ(s))g (s)ds x F(s,G(s),Γ(s))g 1(s)δB(s). (3.7) I 3 cn be computed s follows. I 3 = From here it follow esily n 1k1 k= lim I 3 = π t k DF(t k,g(t k ),Γ(s)) d ds Γ(s)ds. DF(s,G(s),Γ(s)) d Γ(s)ds. (3.8) ds Now we combine (3.6),(3.7) nd (3.8) to prove the theorem. Remrk 3.3. (i) F(,G(),Γ()) = η(ξ(ω),ω). Thus,wecnreplceη(ξ(ω),ω) in (3.5) by F(,G(),Γ()). (ii) We my lso write the bove Itô formul(3.5) in differentil form s follows. df(t,g(t),γ(t)) = f (t,g(t),γ(t))dt f 1 (t,g(t),γ(t))δb(t) x F(t,G(t),Γ(t))[g (t)dtg 1 (t)δb(t)] f 1 (t,g(t),γ(t))h(t,t,ω)dt(df)(t,g(t),γ(t)) t Γ(t)dt. (3.9) If F nd G re given by Itô integrls, then wht will be the Itô formul? Similr to the rgument in the proof of Proposition 2.2 we cn use the reltionship (2.11) to obtin n nlogous Itô formul for Itô integrls. Let F(t,x,ω) = η(x,ω) G(t,ω) = ξ(ω) f (s,x,ω)ds g (s,ω)ds f 1 (s,x,ω)db(s) (3.1) g 1 (s,ω)db(s). (3.11) Let h nd Γ be defined s in Lemm 3.1. We ssume the conditions in Theorem 3.2 hold. Moreover, we lso ssume tht D s f φ 1 (s) nd D sg φ 1 (s) re continuously in s. From (2.11) we hve (we omit the explicit dependence on ω) F(t,x) = η(x) G(t) = ξ [ f (s,x) D φ s f 1(s,x) ] t ds f 1 (s,x)δb(s) [ g (s) D φ s g 1(s) ] t ds g 1 (s)δb(s).

12 12 YAOZHONG HU By the Itô formul (3.5) we hve F(t,G(t),Γ(t)) = η(ξ) f 1 (s,g(s),γ(s))δb(s) [ f D φ sf 1 ] (s,g(s),γ(s))ds f 1 (s,g(s),γ(s))h(s,s,ω)ds x F(s,G(s),Γ(s))[ g (D φ sg 1 ) ] (s,γ(s))ds x F(s,G(s),Γ(s)) g 1(s,Γ(s))δB(s) (DF)(s,G(s),Γ(s)) d ds Γ(s)ds. Using gin the reltionship (2.11) between pthwise nd Itô integrl, we cn rewrite the bove identity s F(t,G(t),Γ(t)) { = η(ξ) D φ s [f 1 (s,g(s),γ(s))] [ f D φ s f ] } 1 (s,g(s),γ(s)) ds D φ s f 1 (s,g(s),γ(s))db(s) f 1 (s,g(s),γ(s))h(s,s,ω)ds x F(s,G(s),Γ(s))[ g (D φ s g 1) ] (s,γ(s))ds [ ] x F(s,G(s),Γ(s)) g 1(s,Γ(s)) ds x F(s,G(s),Γ(s)) g 1(s,Γ(s))dB(s) (DF)(s,G(s),Γ(s)) d Γ(s)ds. (3.12) ds 4. An itertion principle After trnsforming the originl eqution (1.2) into the system of equtions (1.6) (or (5.4) in next section for generl rndom coefficient cse), we cn now use the Picrd itertion method to solve the new differentil system (pthwise). But the second eqution in (1.6) involves σ(s,z(s),γ(s))δb(s). Since B(s) is not differentible, one cnnot no longer use the powerful Grönwll lemm. One wy to get round this difficulty is to use the Besov spces (see e.g. [24]). Here, we propose to use the Hölder spces which seems to be simpler. The ide is motivted by the works [11, 12]. In this section we present generl contrction principle, which my be useful in solving other equtions driven by Hölder continuous functions. We cll this pproch the frctionl Picrd itertion. In next section we shll use this generl contrction principle to solve (1.6) nd subsequently to solve (1.2). Let B be seprble Bnch spce with norm (in cse we need to specify we write B ). We denote by B[,T]the Bnchspceofll continuousfunctions from [,T] to B with the sup norm x,t = sup t T x(t) B. For ny < b T

13 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 13 nd n element x B[,T], we define x(t) x(s) x,b,β = sup s<t b t s β iftheboverighthndsideisfinite. Welsousethenottion x,b = sup t b x(t) nd in the cse when = b, we denote x, = x(). Given (,T] nd β (,1] we denote Denote x,β = sup t T x(t) sup s<t T,t s x(t) x(s) t s β. B,β [,T] = {x B[,T]; x,β < }. As intheorem1.3.3of[16], it isesytoverifytht x,β isnormndb,β [,T] is Bnch spce with respect to this norm. When we need to emphsize the intervl we my lso dd the intervl into the nottion, nmely, we my write x,b,,β. If is cler, we omit the dependence on nd write B β [,T] = B,β [,T]. We shll consider mpping F from B[,T] into itself. Thus, for ny element x B[,T], F(x) is function from [,T] to B. We cn thus write such function s F(t,x). We sy F is progressive if for ny [,T], {F(t,x), t } depends only on {x(t), t }. In other words, if x(t) = y(t) for ll t [,], then F(t,x) = F(t,y) for ll t [,]. Here is the min theorem of this section. Theorem 4.1. Let B be seprble Bnch spce nd let F be progressive mpping from B[, T] B[, T] such tht F(, x) B is independent of x (it is equivlent to sy tht F(,x) B is independent of x()). Suppose tht there re constnts κ, >, γ, β (,1] nd there is positive function h : R 4 R, incresing in ll of its rguments, such tht the following sttements re true. (i) For ny < b T with b nd for ny x B,β [,T] we hve F(x),b,β κ ( 1 x, x,b,β (b ) γ). (4.1) (ii) For ny < b T with b nd for ny x 1,x 2 B,β [,T] we hve { F(x 1 ) F(x 2 ),b,β h,b (x 1,x 2 ) x 1 x 2, } x 1 x 2,b,β (b ) γ, (4.2) where h,b (x 1,x 2 ) = h ( x 1,, x 2,, x 1,b,β, x 2,b,β ). (4.3) Then the mpping F : B β [,T] B β [,T] hs unique fixed point x B[,T]. This mens tht there is unique x B[,T] such tht x(t) = F(t,x) for ll t [,T]. Moreover, there is τ > such tht { x,t c 2 e c1κ1/γt (1 F() ), (4.4) sup <b T,b τ x,b,β c 2 e c1κ1/γt (1 F() ), where c 1 nd c 2 re two constnts depending only on.

14 14 YAOZHONG HU Proof We divide the proof into severl steps. Step 1. First, we prove tht there is τ 1 (, ] (the choice of τ 1 will be mde more precise lter) such tht F hs unique fixed point on the intervl [,τ 1 ]. To this end we use Picrd itertion. We define x (t) = F(,x) for ll t [,τ 1 ] which is n element in B by our ssumption tht F(,x) is independent of x. We lso define for n =,1,2, x n1 (t) = F(t,x n ), t [,τ 1 ]. (4.5) It is esy to see by the ssumption tht x n () = F(,x) for ll n. From the ssumption (4.1), we hve x n1,τ1,β κ(1 x n () x n,τ1,βτ γ 1 ) κ(1 F() x n,τ1,βτ γ 1 ). Let 1 τ 1. (4.6) (2κ) 1/γ [One cn tke τ 1 1.] Then we hve (2κ) 1/γ By induction, we hve x n1,τ1,β κ(1 F(,x) ) 1 2 x n,τ1,β. (4.7) sup x n,τ1,β 2κ(1 F() ). (4.8) n Now by the fct tht x n,τ1 x n () x n,τ1,βτ γ 1, we see tht sup x n,τ1 F() 2κ(1 F() )τ γ 1 n 2(1 F() ). (4.9) By the definition (4.3) of h we see tht sup h,τ1 (x n 1,x n ) M 1 < n for some positive constnt M 1 (, ). Notice tht x n () = x n 1 (). Thus condition (4.2) gives Choose Then we hve F(x n1 ) F(x n ),τ1,β M 1 x n1 x n,τ1,βτ γ 1. 1 τ 1 (2M 1 ) 1. (4.1) 1/γ (2κ) 1/γ x n1 x n,τ1,β = F(x n ) F(x n 1 ),τ1,β 1 2 x n x n 1,τ1,β. Since x n () = F() for ll n this mens tht {x n } is Cuchy sequence in B β [,τ 1 ] nd it converges to n element x B β [,τ 1 ]. Obviously, this limit x is the unique solution to x(t) = F(t,x) for t [,τ 1 ]. Clerly, the limit stisfies sup x,τ1 2(1 F() ), x,τ1,β 2κ(1 F() ). (4.11) n Step 2. Now we explin the inductive rgument to construct unique solution on the intervl [,T T k1 ] from solution on [,T T k ], where T k = τ 1 τ k. For ny positive integer k 1 ssume tht there is unique solution x(t),t

15 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 15 [,T k ] stisfying x(t) = F(t,x),t [,T k ]. We wnt to construct unique solution x(t),t [,T k1 ] stisfying x(t) = F(t,x),t [,T k1 ] for some τ k1 > (see below for the definition of τ k1 ). To simplify nottion we ssume T k1 T (or we replce T k1 by T k1 T). Define the following sequence (still use x n ) { x(t), when t T k, x(t k ), when T k t T k1, x (t) = x n1 (t) = F(t,x n ), for ll t T k1, wheren =,1,. Since x(t),t [,T k ] isthe unique solutionto x(t) = F(t,x),t [,T k ], we see tht x n (t) = x(t) for ll t [,T k ]. With exctly the sme rgument s for (4.7), we hve for ny positive integer k 1, under the condition x n1 Tk,T k1,β κ(1 x,tk ) 1 2 x n Tk,T k1,β (4.12) τ k1 1. (4.13) (2κ) 1/γ [We cn tke τ k1 = 1 (2κ) 1/γ ]. This cn be used (by induction on n) to prove As consequence, we hve sup x n Tk,T k1,β 2κ(1 x,tk ) =: M (1) k1. (4.14) n sup x n,tk1 x,tk x n Tk,T k1,βτ γ k1 n (2κτ β k1 1)(1 x,t k ) 2(1 x,tk ) =: M (2) k1. (4.15) Now letting M k1 := h(m (2) k1,m(2) k1,m(1) k1,m(1) k1 ), we hve by (4.2) x n1 x n Tk,T k1,β = F(x n ) F(x n 1 ) Tk,T k1,β M k1 x n x n 1 Tk,T k1,βτ γ k1 1 2 x n x n 1 Tk,T k1,β (4.16) if τ k (4.17) M 1/γ (2κ) 1/γ k1 Thus, under the bove condition 4.17, {x n } is Cuchy sequence in B[,T k1 ]. It hs unique limit x which stisfies x(t) = F(t,x) for ll t [,T T k1 ]. Indeed, the fct x(t) stisfies x(t) = F(t,x) for ll t [,T T k ] follows from the inductive ssumption. On [T T k,t T k1 ], x n is Cuchy sequence in B β [T T k,t T k1 ] nd F is continuous on B β [T T k,t T k1 ] by the ssumption (4.2). It is lso esy to verify from (4.14) nd (4.15) tht the solution stisfies { x Tk,T k1,β 2κ(1 x,tk ); (4.18) x,tk1 2(1 x,tk ). Step 3. Denote T = T (τ 1 τ 2 ). By induction rgument, we cn construct unique solution x(t) on t [,T ] for the eqution x(t) = F(t,x). We wnt to

16 16 YAOZHONG HU show T = T. To do this, the ide is to show tht τ k τ for some τ > nd for ll k 1. From the sme rgument s for (4.14) nd (4.15) we hve { x kτ,(k1)τ,β 2κ(1 x,kτ ); (4.19) x,(k1)τ 2(1 x,kτ ) s long s τ 1 (2κ) 1/γ nd (k 1)τ T. In fct, to obtin the bove bounds, we only need to use the condition (4.1). We choose τ = where 1 (2κ) 1/γ nd divide the intervl [,T ] into N sub-intervls, N = [ T τ ] 1 = [ ] T [ T (2κ) 1/γ] 1. Denote A k = x,kτ. The second inequlity in (4.19) cn be written s A k1 22A k, k =,1,2, An elementry induction rgument yields Thus, we see tht A k k 2 k A 2 k1 2 k A. x,t 2 N1 2 N F() c 2 e c1κ1/γt (1 F() ) (4.2) for some constnts c 1 nd c 2 dependent only on. This together with the first inequlity in (4.19) yields x kτ,(k1)τ,β c 2 e c1κ1/γt (1 F() ) (4.21) for ny k such tht (k 1)τ T nd for τ = Step 4. Denote 1. (2κ) 1/γ { M1 = M 2 = c 2 e c1κ1/γt (1 F() ); M = h( M 2, M 2, M 1, M 1 ). Then from (4.14) nd (4.15) we see tht M (1) k1 M 1 nd M (2) k1 M 2 for ll k. Since h is incresing in ll of its rguments, this mens tht we cn choose τ k such tht τ k τ := 1 M 1, k 1. 1/γ (2κ) 1/γ Since τ is independent of k, we see tht T = T. The first inequlity (4.4) is strightforwrd consequence of (4.2). With possibly different choice of c 1 nd c 2, we cn write (4.21) s x kτ,(k1)τ,β c 2 e c1κ1/γt (1 F() ).

17 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 17 If,b [kτ,(k1)τ ], then we see esily tht the second inequlity in (4.4) holds. If [(k 1)τ,kτ ] nd b [kτ,(k 1)τ ], then x(b) x() b β x(b) x(kτ ) x(kτ) x() b β x(b) x(kτ ) b kτ β x(kτ) x() kτ β x (k 1)τ,kτ,β x kτ,(k1)τ,β 2c 2 e c1κ1/γt (1 F() ). Up to different choice of constnt c 2, we prove the second inequlity in (4.4). Remrk 4.2. If h hs some prticulr form, one my obtin some stbility results for the solutions. Nmely, if x 1 nd x 2 re two solutions with different initil conditions, or with different F, one my bound x 2 x 1 (see nlogous results [11, 12]). However, we shll not persude this problem. 5. Generl stochstic differentil equtions 5.1. Reduction of the eqution. Let b,σ : [,T] R Ω R be mesurble mpping. We shll specify the conditions on them lter. Let η be given rndom vrible. The min objective of this pper is to study the following Itô stochstic differentil eqution { dx(t) = b(t,x(t),ω)dtσ(t,x(t),ω)db(t), t T, (5.1) x() = η, where db(t) is the Itô differentil. We cn use the rgument s in the introduction (see e.g. (1.6)) to reduce the bove eqution (5.1), now with rndom coefficients. Using the reltionship (2.11) between the Itô nd pthwise stochstic integrls nd the chin rule for derivtive we hve σ(s, x(s), ω)db(s) = = σ(s, x(s), ω)δb(s) σ(s, x(s), ω)δb(s) σ x (s,x(s),ω)d φ sx(s)ds, D φ s [σ(s,x(s),ω)]ds D φ s [σ](s,x(s),ω)ds where σ x denotes the prtil derivtive of σ with respect to x, nd D φ s [σ] denotes theprtilderivtiveofσ withrespecttotherndomelementω. Thus, theeqution (5.1) my be written s where x(t) = η b(s,x(s),ω)ds σ(s, x(s), ω)δb(s) σ(s,x(s),ω)d φ sx(s)ds, (5.2) { b(s,x,ω) := b(s,x,ω) D φ s [σ](s,x,ω) σ(s,x,ω) = σ x (s,x,ω). (5.3)

18 18 YAOZHONG HU As explined in the introduction, this eqution cn be considered s first order nonliner hyperbolic eqution of infinitely mny vribles, driven by frctionl Brownin motion, where ω Ω is considered s n infinite dimensionl vrible. We shll use the elementry chrcteristic curve method. The chrcteristic eqution will be n eqution in Ω which tkes the form of the first eqution of the following system of equtions. This mens tht to solve the bove eqution (5.2) we will first solve the following coupled system of equtions (which we cll it the system of chrcteristic equtions corresponding to (5.1)). Γ(t) = ω σ(s,z(s),γ(s)) φ(s,u)duds; z(t) = η(ω) b(s,z(s),γ(s))ds σ(s,z(s),γ(s))δb(s) (5.4) s σ(s,z(s),γ(s)) σ(u,z(u),γ(u))φ(s,u)duds. We shllshowtht the solutionto eqution(5.4) cnbe used to expressthe solution of (5.2). However, first we need to show tht (5.4) hs (unique) solution Solution to the reduced eqution. In this section we prove tht the system (5.4) hs unique solution. When the Hurst prmeter H > 1/2 nd in the bsence of D φ sx(s), the eqution (5.2) hs been studied by mny uthors (see [24, 29, 9] for recent study nd lso for some more references). We only mention two works. In [24], Besov spces re used to ccommodte the solutions. In [11], the solution is shown to be Hölder continuous nd the stbility with respect to Hölder norm is lso studied in tht pper (see [12] for similr study when the Hurst prmeter H (1/3,1/2]). Here, we shll use the Hölder spces together with the generl contrction principle estblished in Section 4 to prove the existence nd uniqueness of the solution. Our ide to solve the eqution (5.2) seems lso new even in the clssicl cse (nmely, in the bsence of D φ sx(s) in (5.2)). The system of (two) equtions (5.4) will be solved for ny fixed ω Ω. This mens tht we re going to find pthwise solution of (5.4) by using Theorem 4.1. To this end, we rewrite the eqution (5.4) with replcement of Γ of by Γω (we use the sme nottion Γ(t) without mbiguity). Γ(t) = σ(s,z(s),γ(s)ω) φ(s,u)duds; z(t) = η(ω) b(s,z(s),γ(s)ω)ds σ(s,z(s),γ(s)ω)δb(s) (5.5) s σ(s,z(s),γ(s)ω) σ(u,z(u),γ(u)ω)φ(s,u)duds. Before we solve (5.5), we need to explin the spce tht the solution sty. To find such spce to ccommodte the bove Γ we introduce the following Bnch spce: H = H p = { h : T R; h is bsolutely continuous such tht T } ḣ(s) p ds <, (5.6)

19 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 19 1 where p is number such tht p (1, 2 2H ) (we shll fix such number throughout the reming prt of this pper), nd where the norm is defined by h H = h Hp = ( T ḣ(s) p ds) 1/p. It is strightforwrd to see tht ny h H is n element of Ω nd h Ω c p,t h H. Remrk 5.1. The principle to choose the Bnch spce H is s follows. First, we need tht d dtγ(t) H. Secondly, we wnt the norm of H is s strong s possible so tht the coefficients σ, σ, nd b re differentible on ω with respect to this norm H. Nmely, with respect to ω, the coefficients σ nd b nd the initil condition η stisfy σ(ω h) σ(ω) C h H, h H. (5.7) (Similr inequlity for b, σ, nd the initil conditions). Of course, the lrger the norm of H, the broder the condition (5.7) will be. In the nlysis of nonliner Wiener functionls, it is known tht mny interesting rndom vribles do not stisfy (5.7) with H = Ω (see the exmple of Lévy re in [1]). But usully (5.7) is stisfied when H is the Cmeron-Mrtin norm, which is given by h 2 H φ := T T φ(u v)h(u)h(v)dudv, in our cse of frctionl Brownin motion. Nmely, for mny rndom vribles in stochstic nlysis, such s the solution of stochstic differentil eqution, we hve f(ω h) f(ω) C h Hφ, h H φ. (5.8) An inequlity of Littlewood-Pley type ([2]) sttes h Hφ C H h Hq, h H q, with q := 1/H. When H > 2/3, we hve q = 1 H < 1 2 2H. In this cse, we see tht the (5.8) 1 implies (5.7) when we choose p close to 2 2H. This mens tht the condition (5.7) is stisfied for mny rndom vribles we encounter when H > 2/3. Before we proceed to solve (5.5), we stte some ssumptions on the coefficients b nd σ. Hypothesis 5.2. Let L be positive constnt. The mesurble functions b,σ : T R Ω R stisfy the following conditions. (i) b is continuously differentible in x nd stisfies b(t,x,ω) L(1 x ); x b(t,x,ω) L; Db(t,x,ω) H L.

20 2 YAOZHONG HU (ii) σ(t, x, ω) is twice continuously differentible in x with bounded first nd second derivtive nd stisfies σ(t,x,ω) L(1 x ); t σ(t,x,ω) t σ(t,y, ω) L( x y ω ω H); 2 xσ(t,x,ω) x σ(t,x,ω) L; 2 D φ tσ(t,x,ω) L(1 x ); Dσ(t,x,ω) H D 2 σ(t,x,ω) H 2 L; D x σ(t,x,ω) H L. From now on we denote B = H R nd we denote by B[,T] the spce of ll continiousfunctions from [,T]roB. Similrly, wewill lsouse the nottionh[,t]. R[,T] is then the spce C([,T]) of ll continuous functions from [,T] to R. Define mpping from B[,T] to B[,T] s follows. F 1 (t,γ,z) := σ(s,z(s),γ(s)ω) φ(s,u)duds; F 2 (t,γ,z) := η(ω) b(s,z(s),γ(s)ω)ds σ(s,z(s),γ(s)ω)δb(s) s σ(s,z(s),γ(s)ω) σ(u,z(u),γ(u)ω)φ(s,u)duds. (5.9) We lso write F i (Γ,z) = F i (t,γ,z), i = 1,2. It is esy to see tht for ny (Γ,z) B[,T], (F 1 (Γ,z),F 2 (Γ,z)) is lso in B[,T]. Lemm 5.3. For ny τ T, if (Γ,z) B[,τ], then F 1 (Γ,z) H[,τ] nd d dt F 1(Γ,z) H κ, (5.1) F 1 (Γ,z),τ κτ, (5.11) where nd in wht follows κ = c p,h,t,l is constnt depending only on p,h, T nd the bound L of the coefficients b nd σ, which my vry t different occurrences. Proof From the definition of F 1 we see d dt F 1(Γ,z) = σ(t,z(t),γ(t)ω) φ(t,u)du. Recllthtwefixp < 1 2 2H. Since σ is boundedndφ(t,u) = H(2H 1) t u 2H 2, we hve d T dt F 1(Γ,z) p H κ φ(t,u) p du = κ. This proves (5.1). Similrly, since F 1 () =, we hve proving (5.11). F 1 (Γ,z),τ d dt F 1(Γ,z),τ τ = κτ, Lemm 5.4. For ny τ T, if (Γ,z) B[,τ], then F 2 (Γ,z) C[,τ] nd for ny < b τ, { F 2,b,β κ(1 B,b,β ) 1 z, z,b,β (b ) β Γ,b,β (b ) β}. (5.12)

21 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 21 Proof First, we write F 2 = η(ω)f 21 F 22 F 23, where F 21 (t) = b(s,z(s),γ(s)ω)ds; F 22 (t) = σ(s,z(s),γ(s)ω)δb(s); F 23 (t) = s σ(s,z(s),γ(s)ω) σ(u,z(u),γ(u)ω)φ(s,u)duds. From the ssumption on b nd D φ sσ, we see tht for ny < b τ, we hve This implies tht F 21 (b) F 21 () = Now we consider F 23. We hve F 23 (b) F 23 () = κ b b F 21,b,β κ[1 z,b ] κ b s b s b(s,z(s),γ(s)ω) ds [1 z(s) ]ds κ[1 z,b ](b ). κ [ 1 z() z,b,β (b ) β]. (5.13) κ[1 z,b ] σ(s,z(s),γ(s)ω) σ(u,z(u),γ(u)ω)φ(s,u) duds [1 z(s) ]φ(s,u)duds b s κ[1 z,b ](b 2H 2H ) κ[1 z,b ](b ). φ(s, u)duds This implies F 23,b,β κ [ 1 z, z,b (b ) β]. (5.14) F 22 is more complicted to hndle becuse the frctionl Brownin motion B is not differentible. Denote σ r = σ(r,z(r),γ(r) ω). We hve for n α (1 β,β), b b σ(r, z(r), Γ(r) ω)δb(r) = D 1 α b B b (r)d α σ rdr This implies κ B,b,β b (b r) αβ 1{ σ r (r ) α r σ r σ } ρ (r ρ) α1dρ dr κ B,b,β {(1 z,b )(b ) β ( z,b,β Γ,b,β )(b ) 2β}. F 22,b,β κ B,b,β {1 z, ( z,b,β Γ,b,β )(b ) β}.(5.15) Combining (5.13), (5.14) nd (5.15), we prove the lemm. To bound the Hölder norm of the difference, we first need the following simple generl result.

22 22 YAOZHONG HU Lemm 5.5. Let B 1 nd B 2 be two Bnch spces with norms 1 nd 2 nd let f : B 1 B 2 be twice continuously (Frechet) differentible with bounded first nd second derivtives. (i) If x 1,x 2,y 1,y 2 B 1, then f(y 2 ) f(y 1 ) f(x 2 )f(x 1 ) 2 f y 2 y 1 x 2 x 1 1 f [ y 1 x 1 1 y 2 x 2 1 ] x 2 x 1 1. (5.16) (ii) Let x 1,x 2 : [,b] B 1 be Hölder continuous of order β. Then for ny s < t b, we hve f(x 2 (t)) f(x 1 (t)) f(x 2 (s))f(x 1 (s)) 2 f x 2 x 1 s,r,β (r s) β f [ x 1 s,r,β x 2 s,r,β ] x 2 x 1 s,r (r s) β. (5.17) Proof This inequlity my be well-known. We include short proof for the completeness. Using the men vlue theorem we hve f(y 2 ) f(y 1 ) f(x 2 )f(x 1 ) = = = f ((1 θ)y 1 θy 2 )dθ(y 2 y 1 ) f ((1 θ)x 1 θx 2 )dθ(x 2 x 1 ) f ((1 θ)y 1 θy 2 )dθ(y 2 y 1 x 2 x 1 ) [f ((1 θ)y 1 θy 2 ) f ((1 θ)x 1 θx 2 )]dθ(x 2 x 1 ) f (y 1 θ(y 2 y 1 ))dθ(y 2 y 1 x 2 x 1 ) f (υ[y 1 θ(y 2 y 1 )](1 υ)[(1 θ)x 1 θx 2 ])dθdυ (x 2 x 1 ) [(1 θ)(y 1 x 1 )θ(y 2 x 2 )]. This proves (5.16) esily. The inequlity (5.17) is strightforwrd consequences of (5.16). Lemm 5.6. Denote F (i) j (t) = F j (t,γ i,z i ), i,j = 1,2. Then, we hve d dt F(2) 1 (t) d dt F(1) 1 (t) κ[ z 2 z 1,τ Γ 2 Γ 1,τ ] H (5.18)

23 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 23 nd F (2) 2 F (1) 2 κ(1 B,b,β ) ( 1 z 1, z 2, z 1,b,β,b,β z 2,b,β Γ 1,b,β Γ 2,b,β ) [ z 2 () z 1 () Γ 2 () Γ 1 () [ z 2 z 1,b,β Γ 2 Γ 1,b,β ](b ) β ]. (5.19) Proof Let (Γ 1,z 1 ) nd (Γ 2,z 2 ) be two elements in B[,τ]. We recll F (i) 1 (t) = ω σ(s,z i(s),γ i (s)ω) φ(s,u)duds; F (i) 2 (t) = η(ω) b(s,z i (s),γ i (s)ω)ds σ(s,z i(s),γ i (s)ω)δb(s) s σ(s,z i(s),γ i (s)ω) σ(u,z i (u),γ i (u)ω)φ(s,u)duds. To simplify nottion we lso denote b (i) (s) = b(s,z i (s),γ i (s)ω), b(i) (s) = b(s,z i (s),γ i (s)ω), σ (i) (s) = σ(s,z i (s),γ i (s)ω), σ (i) (s) = σ(s,z i (s),γ i (s)ω). We hve for ny t [,τ], d dt F(2) 1 (t) d [ ] dt F(1) 1 (t) = σ (2) (t) σ (1) (t) φ(t, u)du H κ [ z 2 (t) z 1 (t) Γ 2 (t) Γ 1 (t) H ]φ(t,u)du H [ ] 1/p T κ[ z 2 z 1,τ Γ 2 (t) Γ 1 (t),τ ] φ(t,u) p du κ[ z 2 z 1,τ Γ 2 (t) Γ 1 (t),τ ]. This is (5.18). As in the proof of Lemm 5.3 we denote F (i) 21 (t) = b(s,z i (s),γ i (s)ω)ds F (i) 22 (t) = σ(s,z i(s),γ i (s)ω)δb(s) F (i) 23 (t) = s σ(s,z i(s),γ i (s)ω) σ(u,z i (u),γ i (u)ω)φ(s,u)duds. For ny,b [,τ], we hve F (2) b 21 (b) F(1) 21 (b) F(2) 21 ()F(1) 21 () = κ b b 2 (r) b 1 (r) dr [ z 2 (r) z 1 (r) Γ 2 (r) Γ 1 (r) H ]dr κ[ z 2 z 1,b Γ 2 Γ 1,b ](b ). H

24 24 YAOZHONG HU This yields F (2) 21 F(1) 21,b,β κ[ z 2 z 1,b Γ 2 Γ 1,b ](b ) 1 β κ[ z 2 () z 1 () Γ 2 () Γ 1 () ](b ) 1 β κ[ z 2 z 1,b,β Γ 2 Γ 1,b,β ](b ) κ[ z 2 () z 1 () Γ 2 () Γ 1 () ] κ[ z 2 z 1,b,β Γ 2 Γ 1,b,β ](b ) β. (5.2) Now we find the bounds for F (i) 22. We hve F (2) 22 (b) F(1) 22 (b) F(2) 22 ()F(1) 22 () b ( ) = σ (2) (r) σ (1) (r) δb(r) b ( ) = D 1 α b B t (r)d α σ (2) (r) σ (1) (r) dr 1 ( b = D 1 α Γ(1 α) b B σ (2) (r) σ (1) (r) t (r) (r ) α α r σ (2) (r) σ (1) (r) σ (2) (ρ)σ (1) (ρ) (r ρ) α1 dρ ) dr κ B,b,β [I 1 I 2 ], (5.21) where I 1 = I 2 = b b σ (b r) αβ 1 (2) (r) σ (1) (r) (r ) α dr; (5.22) r σ (b r) αβ 1 (2) (r) σ (1) (r) σ (2) (ρ)σ (1) (ρ) (r ρ) α1 dρdr. (5.23) It is esy to see tht I 1 κ[ z 2 z 1,b Γ 2 Γ 1,b ](b ) β. (5.24) To bound I 2, we need the following identity. σ (2) (r) σ (1) (r) σ (2) (ρ)σ (1) (ρ) = J 1 J 2 J 3 J 4 J 5, (5.25)

25 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 25 where J 1 = σ(r,z 2 (r),γ 2 (r)ω) σ(r,z 1 (r),γ 2 (r)ω) σ(r,z 2 (ρ),γ 2 (r)ω)σ(r,z 1 (ρ),γ 2 (r)ω); J 2 = σ(r,z 1 (r),γ 2 (r)ω) σ(r,z 1 (r),γ 1 (r)ω) σ(r,z 1 (r),γ 2 (ρ)ω)σ(r,z 1 (r),γ 1 (ρ)ω); J 3 = σ(r,z 1 (r),γ 2 (ρ)ω) σ(r,z 1 (r),γ 1 (ρ)ω) σ(r,z 1 (ρ),γ 2 (ρ)ω)σ(r,z 1 (ρ),γ 1 (ρ)ω); J 4 = σ(r,z 1 (ρ),γ 2 (ρ)ω) σ(r,z 1 (ρ),γ 2 (r)ω) σ(r,z 2 (ρ),γ 2 (ρ)ω)σ(r,z 2 (ρ),γ 2 (r)ω); J 5 = σ(r,z 2 (ρ),γ 2 (ρ)ω) σ(ρ,z 2 (ρ),γ 2 (ρ)ω) σ(ρ,z 1 (ρ),γ 1 (ρ)ω) σ(r,z 1 (ρ),γ 1 (ρ)ω). From Lemm 5.5, we see tht J 1 κ[ z 2 z 1 ρ,r,β ( z 1 ρ,r,β z 2 ρ,r,β ) z 2 z 1 ρ,r ](r ρ) β (5.26) nd J 2 κ[ Γ 2 Γ 1 ρ,r,β ( Γ 1 ρ,r,β Γ 2 ρ,r,β ) Γ 2 Γ 1 ρ,r,β ](r ρ) β. (5.27) Use the men vlue theorem to obtin J 3 = 1 1 D σ((1 υ)z 1 (ρ)υz 1 (r),(1 θ)γ 1 (ρ)θγ 2 (ρ))dθdυ (z 1 (r) z 1 (ρ))(γ 2 (ρ) Γ 1 (ρ)). This shows In similr wy we cn obtin J 3 κ z 1 ρ,r,β Γ 2 Γ 1 ρ,r (r ρ) β. (5.28) From the ssumption on σ it is to verify tht J 4 κ Γ 2 ρ,r z 2 z 1 ρ,r (r ρ). (5.29) J 5 κ(r ρ)[ z 2 z 1 ρ,r Γ 2 Γ 1 ρ,r ]. (5.3) Combining (5.26)-(5.3), we hve σ (2) (r) σ (1) (r) σ (2) (ρ)σ (1) (ρ) [ κ z 2 z 1,b,β Γ 2 Γ 1,b,β (1 z 1,b,β z 2,b,β Γ 1,b,β Γ 2,b,β ) z 2 z 1,b (1 z 1,b,β z 2,b,β Γ 1,b,β Γ 2,b,β ) Γ 2 Γ 1,b ](r ρ) β. (5.31)

26 26 YAOZHONG HU Substituting the bove inequlity into (5.23) yields [ I 2 κ z 2 z 1,b,β Γ 2 Γ 1,b,β (1 z 1,b,β z 2,b,β Γ 1,b,β Γ 2,b,β ) z 2 z 1,b (1 z 1,b,β z 2,b,β Γ 1,b,β Γ 2,b,β ) Γ 2 Γ 1,b ](b ) 2β. Substituting the bounds for I 1 nd I 2 into (5.21) we hve F (2) 22 F(1) 22,b,β κ B,b,β [ z 2 z 1,b,β Γ 2 Γ 1,b,β (5.32) (1 z 1,b,β z 2,b,β Γ 1,b,β Γ 2,b,β ) z 2 z 1,b (1 z 1,b,β z 2,b,β Γ 1,b,β Γ 2,b,β ) Γ 2 Γ 1,b ] (b ) β κ B,b,β (1 z 1,b,β z 2,b,β Γ 1,b,β Γ 2,b,β ) [ z 2 () z 1 () Γ 2 () Γ 1 () [ z 2 z 1,b,β Γ 2 Γ 1,b,β ](b ) β ]. (5.33) Finlly, we turn to bound F23 2 F1 23,b,β. We hve F 2 23 (b) F23(b) F 1 23()F 2 23() 1 b s b s σ(s,z 2 (s),γ 2 (s)) σ(s,z 1 (s),γ 1 (s)) σ(u,z 2 (u),γ 2 (u)) duds σ(u,z 2 (u),γ 2 (u)) σ(u,z 1 (u),γ 1 (u)) σ(s,z 1 (s),γ 1 (s)) duds κ(b ){ z 2 z 1,b Γ 2 Γ 1,b z 1,b [ z 2 z 1,b Γ 2 Γ 1,b ]}. This mens F 2 23 F23 1,b,β κ(b ) 1 β{ z 2 z 1,b Γ 2 Γ 1,b z 1,b [ z 2 z 1,b Γ 2 Γ 1,b ] } κ(1 z 1,b )[ z 2 z 1,b Γ 2 Γ 1,b ](b ) 1 β [ κ(b ) 1 β (1 z 1,b ) z 2 z 1, Γ 2 Γ 1, ] [ z 2 z 1,b,β Γ 2 Γ 1,b,β ](b ) β. (5.34) Combining (5.2), (5.33), nd (5.34), we prove (5.19). Now we re redy to prove one of our min theorems of this section. Theorem 5.7. Let T (, ) be ny given number. Assume the hypothesis 5.2. Then, the eqution (5.4) hs unique solution. Moreover, there is τ > such

27 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 27 tht the solution stisfies { } sup z(t) c 2 exp c 1 B 1/β,T,β t T } sup <b T,b τ z,b,β { c 2 exp c 1 B 1/β,T,β (5.35) (5.36) for some constnts c 1 nd c 2 dependent only on β,p,t nd the bound L for the coefficients b nd σ. Proof Let B = H R. Then F = (F 1,F 2 ) defined by (5.9) is mpping from (some domin of) B[,T] to B[,T]. The inequlity (5.1) implies tht there is constnt c depending only on β,p,t nd the bound L for the coefficients b nd σ such tht F 1,b,β c for ny,b [,T]. This together with (5.12) implies tht F = (F 1,F 2 ) stisfies the condition (i) of Theorem 4.1 with κ there being replced by c(1 B,b,β ). Lemm 5.6 implies tht F = (F 1,F 2 ) stisfies the condition (ii) of Theorem 4.1 with the function h being given by h = h((γ 1,z 1 ),(Γ 2,z 2 )) = L(1 B,b,β ) ( 1 z 1, z 2, z 1,b,β z 2,b,β Γ 1,b,β Γ 2,b,β ). Thus, we cn pply Theorem 4.1 to prove tht there is x B[,T] stisfies the eqution x(t) = F(t,x). This mens tht x stisfies the eqution (5.5), hence it stisfies (5.4). The bounds (5.35) nd (5.36) re immedite consequence of (4.4) Solution to the originl eqution. We need the following lemms in the proof of the existence nd uniqueness theorem for eqution (5.4). Lemm 5.8. Let Γ : T Ω Ω be continuously differentible in t nd H- differentible in ω. If Γ(t) : Ω Ω hs n inverse Λ(t) nd if Λ(t) is differentible in t in the Hilbert spce H, then Λ t Proof Since Λ(t) is the inverse of Γ(t) we hve (t,ω) = (DΛ)(t,ω) Γ(t,Λ(t,ω)). (5.37) t Γ(t,Λ(t,ω)) = ω, ω Ω. Differentiting both sides with respect to ω, we hve (DΓ)(t,Λ(t,ω))(DΛ)(t,ω) = I, where I is n identity opertor from H to H. Therefore, we obtin [(DΓ)(t,Λ(t,ω))] 1 = (DΛ)(t,ω). (5.38) On the other hnd, differentiting Γ(t,Λ(t,ω)) = ω with respect to t, we hve Thus Γ t (t,ω)(dγ)(t,λ(t)(ω)) Λ (t,ω) =. t Λ t (t,ω) = Γ [(DΓ)(t,Λ(t,ω))] 1 (t,λ(t,ω)). (5.39) t

28 28 YAOZHONG HU Combining (5.38) nd (5.39) we hve This proves the lemm. Λ t (t,ω) = (DΛ)(t,ω) Γ(t,Λ(t,ω)). (5.4) t Lemm 5.9. Let τ (,T] be positive number. Assume tht Γ(t) : Ω Ω defined by (5.4) hs n inverse Λ(t) for ll t [,τ] nd ssume tht Λ(t) is differentible in t [,τ] in the Hilbert spce H. Let z be defined by (5.4). Then x(t) = z(t,λ(t)),t [,τ] stisfies the eqution (5.2). Proof If Γ(t) defined by (5.4) hs inverse Λ(t), then Or ω = Γ(t,Λ(t)) = Λ(t) σ(s,z(s),γ(s)) Λ(t) = ω h(t,u,ω)du with h(t,u,ω) = t σ(s,z(s),γ(s))φ(s,u)ds ω=λ(t). φ(s, u)duds. ω=λ(t) (5.41) On the other hnd, from (5.4) we hve d dt Γ(t,ω) ω=λ(t) = σ(t,z(t),γ(t)) = σ(t,x(t,ω),ω) We pply the Itô formul (3.5) to z(t,λ(t)) with f = b(s,z(s),γ(s))σ(s,z(s),γ(s)) f 1 = σ(s,z(s),γ(s)) s φ(t,u)du ω=λ(t) φ(t, u)du. (5.42) σ(u, z(u), Γ(u))φ(s, u)du nd with h defined by (5.41). We shll use σ(s,x(s)) to denote σ(s,x(s,ω),ω) etc. Noticing z(s) ω=λ(s) = x(s), we hve x(t) = z(t, Λ(t)) = η(ω) ( s σ(u,z(u),γ(u))φ(s,u)du) ω=λ(s) σ(s,x(s))ds b(s,x(s))ds σ(s, x(s))δb(s) Dz(s,Λ(s)) d ds Λ(s)ds σ(s, x(s))h(s, s, ω)ds = η(ω)i 1 I 2 I 3 I 4 I 5. (5.43) From (5.41) nd since φ(s,u) = φ(u,s), we see tht I 1 I 5 =. (5.44)

29 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 29 By Lemm 5.8 nd then by (5.42), we hve This yields I 4 = = = (Dz)(s,Λ(s)) s Λ(s)ds (Dz)(s,Λ(s))(DΛ)(s) [Dx(s)] σ(s, x(s)) Substituting (5.44) nd (5.45) into (5.43) we hve x(t) = η(ω) ( ) s Γ (s,λ(s))ds φ(s, u)duds. I 4 = σ(s,x(s))d φ sx(s)ds. (5.45) b(s,x(s))ds σ(s, x(s))δb(s) σ(s,x(s))d φ sx(s)ds. (5.46) This is the lemm. Now we show tht there is positive τ such tht Γ(t) hs inverse Λ(t). Before we continue, we need the following simple inequlity. Lemm 5.1. Assume tht B : [,T] R is Hölder continuous function of exponent β (,1). Let B 1 nd B 2 be two Bnch spces nd let f : [,T] B 1 nd g : [,T] B 2 be two Hölder continuous functions with exponent α (1 β,1). Then f(s) g(s)db(s),b,β κ B,b,β { f,b g,b [ f,b g,b,β g,b f,b,β ](b ) β }. (5.47) Proof We refer to [1], nd in prticulr, the references therein for the tensor product. Since αβ > 1, we cn choose λ such tht λ < α nd 1 λ < β. For ny,b [,T], we hve b b f(s) g(s)db(s) = D λ [f(s) g(s)]d 1 λ b B b (s)ds b κ B,b,β (b s) βλ 1 D λ [f(s) g(s)] ds. From the definition of the Weyl derivtive (2.1), we see essily { D λ [f(s) g(s)] κ f,b g,b (s ) λ [ f,b g,b,β g,b f,b,β ](s ) β λ }.

30 3 YAOZHONG HU Therefore, we hve b f(s) g(s)db(s) κ B,b,β b [ f,b g,b,β g,b f,b,β ](s ) β λ }ds (b s) βλ 1 { f,b g,b (s ) λ κ B,b,β { f,b g,b [ f,b g,b,β g,b f,b,β ](b ) β } (b ) β which implies the lemm. By Picrd itertion procedure nd by the bounds tht we re going to obtin, we cn show tht DΓ(t) nd Dz(t) exist under the hypothesis 5.2. From the eqution (5.4), we hve nd DΓ(t) = I Dz(t) = Dη σ xx (s,z(s),γ(s))dz(s) Dσ x (s,z(s),γ(s))dγ(s) bx (s,z(s),γ(s))dz(s)ds σ x (s,z(s),γ(s))dz(s)δb(s) φ(s, u)duds φ(s, u)duds D b(s,z(s),γ(s))dγ(s)ds Dσ(s,z(s),Γ(s))DΓ(s)δB(s)σ(,z( ),Γ( ))I [,t] ( ) σ x (s,z(s),γ(s))dz(s) Dσ(s, z(s), Γ(s))DΓ(s) σ(s,z(s),γ(s)) σ(s,z(s),γ(s)) s s s s Similr to the lemms 5.3 nd 5.4, we cn obtin σ x (u,z(u),γ(u))φ(s,u)duds σ x (u,z(u),γ(u))φ(s,u)duds σ xx (u,z(u),γ(u))dz(u)φ(s,u)duds Dσ x (u,z(u),γ(u))dγ(u)φ(s,u)duds. Lemm Under the hypothesis 5.2, there is κ B depending on β,p,t nd B,T,β such tht d dt DΓ,t κ B ( Dz,t DΓ,t ) ; (5.48) Dz,b,β κ B ( 1 Dz, DΓ, Dz,b,β (b ) β DΓ,b,β (b ) β). (5.49) Proof Let us denote the integrl terms in the bove expression for Dz(t) by I k, k = 1,2,,8. Let us explin how to bound I 3 = σ x(s,z(s),γ(s))dz(s)δb(s).

31 ITÔ SDE DRIVEN BY FRACTIONAL BROWNIAN MOTION 31 Since z(s), Γ(s) re Hölder continuous (of exponent β with respect to s), f(s) := σ x (s,z(s),γ(s)) is then lso Hölder continuous. Now the inequlity (5.47) cn be invoked to obtin I 3,b,β κ B,b,β { f,b Dz,b } [ f,b Dz,b,β Dz,b f,b,β ](b ) β { } κ B Dz,b [ Dz,b,β Dz,b,β ](b ) β (5.5) since both f,b nd f,b,β re bounded by κ B. The other terms cn be treted in exctly the sme wy. Lemm Under the hypothesis, there is κ B depending on β,p,t nd B,T,β such tht DΓ,T Dz,T κ B. (5.51) Proof To show the existence of DΓ(t) nd Dz(t) nd to show the bove bound (5.51) we still use the ide in the proof of Theorem 4.1. First, we cn show tht the x n defined there re H-differentible nd similr bounds holds s those in Lemm 5.11 hold recursively for ll x n. This cn be used to obtin the uniform bounds for ll n. Since the proof is nlogous tht of Theorem 4.1, we shll not provide it here gin. Lemm Let G : Ω H be continuously H-differentible mpping such tht DG H c < 1. Define Γ : Ω Ω by Γ(ω) = ω G(ω). Then Γ hs (unique) inverse Λ such tht Γ(Λ(ω)) = Λ(Γ(ω)) = ω. Proof We define Then This mens tht Λ (ω) = ω, Λ n1 (ω) = ω G(Λ n (ω)), n =,1,2,. Λ n1 (ω) Λ n (ω) H = G(Λ n (ω)) G(Λ n 1 (ω)) H c Λ n (ω) Λ n 1 (ω) H Λ n (ω) ω = c n Λ 1 (ω) Λ (ω) H. n (Λ k (ω) Λ k 1 (ω)) k=1 is Cuchy sequence in H. Thus Λ n (ω) converges to n element Λ(ω) in Ω. From the construction of Λ n we see tht Λ stisfies Thus, Λ(ω) = ω G(Λ(ω)). Γ(Λ(ω)) = Λ(ω)G(Λ(ω)) This exctly mens tht Λ is the inverse of Γ. = ω G(Λ(ω)) G(Λ(ω)) = ω.