arxiv: v1 [math.pr] 11 Jun 2013

Transcription

1 On Iô differenial equaion in rough pah heory Terry J Lyons Danyu Yang arxiv: v1 [mahpr] 11 Jun 213 June 12, 213 Absrac The Iô soluion can be recovered pahwisely by concaenaing a mean of Sraonovich soluions Iô differenial equaion in rough pah is a ransformaion beween Iô signaures, which are groupvalued coninuous local maringales As a consequence, we ge a pahwise Iô s lemma 1 Inroducion Iô calculus [11], [12] is a ransformaion beween maringales, and lies a he boom of various mahemaical models However, Iô calculus is no pahwise and lacks sabiliy Iô calculus is no pahwise, because i respecs he probabilisic srucure, and problem will occur if one ries o solve differenial equaiondrivenby aseleced samplepah Onhe oherhand, asdemonsraedbywongand Zakai[23], he soluions of ordinary differenial equaions, driven by piecewise-linear approximaions of Brownian moion, converge uniformly in probabiliy o he Sraonovich soluion as he mesh of pariions ends o zero As a resul, he soluion of Iô sochasic differenial equaion is no sable wih respec o perurbaions of he driving signal, even when he perurbaions are very naural There have been susained ineress in developing pahwise Iô calculus Bicheler [1], by using facorizaion of operaors, proved ha, he Iô inegral can be defined pahwisely ouside a null se depending on he inegrand funcion Based on Bicheler s approach, Karandikar [13] go similar resul by using random ime change Föllmer [5] proposed a deerminisic approach o inegrae closed oneforms He proved ha, for a semi-maringale X, if he quadraic variaion of X converge pahwisely alongasequenceoffiniepariions,henheiôriemannsumsof f XdX alsoconvergepahwisely along he same sequence of finie pariions Russo and Vallois [22] developed an almos pahwise approach by regularizing inegrals, bu heir mehod is no ruly pahwise because heir convergence is in probabiliy Rough pah [15], [16], [18], [7] is close in spiri o Föllmer s approach [5], bu a far more sysemaic mehodology which is sable under a large class of approximaions, and applies no only o semimaringales bu also o much wider classes of processes [19], [2], [6], [1], [2] ec As a naural generalizaion of classical calculus, rough pah is essenially pahwise, and can provide a sable soluion which is coninuous wih respec o he driving signal in rough pah meric However, here is some innae non-geomeric propery of he Iô inegral which impedes a direc applicaion of rough pah heory The se of geomeric rough pahs is defined as he closure of coninuous bounded variaion pahs in rough pah meric Thus, Sraonovich inegral, as he limi of piecewise-linear approximaions, is very naural in rough pah On he oher hand, Iô inegral generally is no he limi of coninuous bounded variaion pahs Indeed, for 2-dimensional Brownian moion B = B 1 e 1 +B 2 e 2 on[,1], here doesno exisasequenceofconinuousbounded variaionpahs B n = B 1,n e 1 +B 2,n e 2, n 1, such ha B n 1 converge o B 1 assuming B n = B = and 1 Bn u db n u Universiy of Oxford and Oxford-Man Insiue, errylyons@mahsoxacuk Universiy of Oxford and Oxford-Man Insiue, yangd@mahsoxacuk 1

2 is he ensor produc converge o he Iô inegral 1 B u db u in probabiliy as n The reason is ha, for any B n, he Riemann-Sieljes inegral saisfies, = = B n u db n u 1 2 Bn 1 2 B 1,n u e 1 +Bu 2,n e 2 d B 1,n u e 1 +Bu 2,n 1 e While he Iô inegral saisfies, 1 B 1,n u db2,n u 1 B u db u 1 2 B 1 2 B 2,n u db1,n u e 1 e 2 e 2 e 1 B 1,n e 1 +B 2,n e 2 2 = Bu 1 2 db2 u Bu 2 db1 u e 1 e 2 e 2 e e 1 e 1 +e 2 e 2 Thus, here is a non-negligible symmeric par 2 1 e 1 e 1 +e 2 e 2, which can no be approximaed by any sequence of {B n } n To pu i in a more absrac way, i is because ha, he Iô signaure of Brownian moion, as will be defined aferwards, is no a geomeric rough process, ie i does no ake value in he nilpoen Lie group where he normal rough pahs ake value Since Sraonovich inegral is well-defined in rough pah, one possible approach o defining Iô inegral in rough pah is o define he Iô inegral as Sraonovich inegral plus a drif Since he drif is generally regular, he cross inegrals beween he coninuous semi-maringale and he drif are welldefined pahwisely as Young inegrals [24] This idea is adoped in Lejay and Vicoir [14], where hey inerpre a p-rough pah, p [2,3, as he produc of a weakly geomeric p-rough pah and anoher coninuous pah wih finie 2 1 p-variaion Similar idea is used in Friz and Vicoir [7], where hey combine a p-geomeric rough pah wih a coninuous pah wih finie q-variaion for p 1 +q 1 > 1, and ge very concree esimaes of soluion of rough differenial equaions driven by p, q-rough pahs In he more recen [9], by using similar approach as in [8], he auhors embed a non-geomeric rough pah in a geomeric rough pah, exend he resul in [14] In his manuscrip, we will no ry o define rough differenial equaion driven by p-rough pahs, because here is a canonical choice when p [2,3 We inerpre a p-rough pah when p [2,3 as a p,2 1 p -rough pah, and focus on inerpreing he Iô soluion in rough pah Wih concree convergence resul, we wan o convey he viewpoin ha Iô soluion can be recovered by aking expecaion of Sraonovich soluion over a seleced noise By Iô soluion, we mean he soluion of a rough differenial equaion driven by he Iô signaure of a d-dimensional coninuous local maringale Z: I 2 Z = 1,Z Z, Z u Z dz u,, comparing wih he Sraonovich soluion driven by he Sraonovich signaure S 2 Z = 1,Z Z, Z u Z dz u, We demonsrae ha, he Iô soluion akes ino consideraion a possible noise, and when he underlying driving signal is pollued wih he noise, he expecaion of he Iô soluion coincides wih Sraonovich soluion More specifically, he Iô soluion can be obained by he following mehod: for each possible rajecory of he underlying, we choose a noise, discoun he Sraonovich soluion o balance he growh caused by he presence of he noise, concaenae he discouned Sraonovich soluions, and le he mesh of pariions ends o zero As we demonsrae, his process is applicable o 2

3 general vecor field, and he concaenaed Sraonovich soluions converge uniformly o he Iô soluion as he mesh of pariions ends o zero Moreover,when he vecor field is Lipβ for β > 1, for almos every sample pah of a d-dimensional coninuous local maringale, he soluion of rough differenial equaiondriven by he Iô signaure of he sample pah exiss uniquely, and he soluion is he Iô signaure of a sample pah of he classical Iô soluion As a consequence, Iô differenial equaion in rough pah is pahwise, and is a ransformaion beween group-valued coninuous local maringales ie he Iô signaures, wih he firs level of is soluion coincides almos surely wih he soluion of classical sochasic differenial equaion We also ge a pahwise Iô s lemma, which decomposes he Sraonovich signaure as he sum of wo rough pahs: one is a group-valued coninuous local maringale and he oher is consruced from coninuous bounded variaion pahs We firs develop he averaging resul for general 2d-dimensional p-rough process γ, φdb, p [2,3, wih γ a deerminisic d-dimensional pah, φ a deerminisic pah aking value in d d marices, andb ad-dimensionalbrownianmoion Thenwhen γ isasamplepah ofaconinuouslocalmaringale saisfying γ = φ T φd, we recover Iô calculus in rough pah 2 Definiions and Noaions Noaion 21 T n R d, For ineger n 1, we denoe T n R d := 1 R d R d n, and denoe π k as he projecion of T n R d o R d k, k =,1,,n We equip T n R d wih he norm g := n π k g 1 k, g T n R d k=1 We define produc and inverse for g,h T n R d as g h : = 1,π 1 g+π 1 h,, g 1 : = 1, π 1 g,, n π k g π n k h, k= k 1+ +k j=n,1 k i n 1 j π k1 g π kj g Then T n R d, is a nilpoen opological group wih ideniy 1,,, Definiion 22 p-variaion Suppose γ is a coninuous pah defined on [, T] aking value in opological group G, For 1 p <, define he p-variaion of γ as γ p var,[,t] := D [,T] k, k D γ 1 p k γ k+1 1 p <, 1 where we ake remum over all finie pariions D = { k } n k= saisfying = < < n = T The definiion of p-variaion a 1 applies o coninuous pah aking value in Banach spaces, wih γ 1 k γ k+1 replaced by γ k+1 γ k Definiion 23 p-rough pah Suppose γ is a coninuous pah defined on [,T] aking value in T 2 R d, We say γ is a p-rough pah for some p [2,3 if γ p var,[,t] < Definiion 24 p-rough process Process X on [,T] is said o be a p-rough process for some p [2,3, if Xω is a p-rough pah for almos every ω 3

4 The Theorem below follows from Thm 37 in [16] Theorem 25 Lyons Suppose γ is a p-rough pah for p [2,3 Then for any ineger n 3, here exiss a unique coninuous pah γ aking value in T n R d, saisfying π k γ = π k γ, k = 1,2, and γ p var,[,t] < Noaion 26 S n γ Suppose γ is a p-rough pah for p [2,3 For n 3, denoe S n γ as he enhancemen of γ o he pah aking value in T n R d as in Theorem 25 For n = 1,2, denoe S 1 γ := 1,π 1 γ and S 2 γ := γ Definiion 27 Lipβ vecor field f : R e L R d,r e is said o be Lipβ for β >, if f is β -imes Fréche differeniable β is he larges ineger which is sricly less han β wih derivaives { D k f } β k=1 and f Lipβ := max D k f var D β f < β β Höl k=,, β Based on [14], any p-rough pah, p [2,3, can be inerpreed as he produc of a weak geomeric p-rough pah and anoher coninuous pah wih finie 2 1 p-variaion We will use his equivalence and define soluion of rough differenial equaions driven by p-rough pahs, p [2,3, in he sense of p,2 1 p -rough pah in [7] Noaion 28 Suppose γ : [,T] T 2 R d, is a p-rough pah for p [2,3 Then we denoe γ := γ 1,γ 2 wih γ 1 : [,T] T 2 R d, and γ 2 : [,T] R d 2 coninuous pahs defined as γ 1 γ 2 : = 1+π 1 γ +Aniπ 2 γ π 1γ 2, [,T], : = Symπ 2 γ 1 2 π 1γ 2, [,T], where Ani denoes he projecion of R d 2 o span{ei e j e j e i } 1 i<j d and Sym denoes he projecion of R d 2 o span{ei e j +e j e i } 1 i j d Then based on Definiion 122 in [7], we define soluion of rough differenial equaion driven by p-rough pah for p [2,3 C 1 var [,T],R d denoes he se of coninuous bounded variaion pah defined on [,T] aking value in R d Definiion 29 soluion of RDE Suppose γ = γ 1,γ 2 is a p-rough pah for p [2,3, and f : R e L R d,r e is Lipβ for some β 1 Then coninuous pah Y : [,T] T n R e, is said o be a soluion of he rough differenial equaion dy = f π 1 Ydγ, Y = ξ T n R e, 2 if here exiss a sequence { γ 1,m,γ 2,m} m in C1 var [,T],R d C 1 var [,T], R d 2 saisfying γ 1,m + p var,[,t] γ 2,m p m 2 var,[,t] lim max π k S 2 γ 1,m m k=1,2,, γ1 =, lim [,T] and he soluion of he ordinary differenial equaions converge o Y uniformly: <, γ 2,m m, γ 2, [,T] dy m = f y m dγ 1,m +Dffy m dγ 2,m, y m = π 1ξ R e, lim max m 1 k n [,T] π k ξ S n y m, Y = =, 4

5 Then based on he uniqueness of enhancemen ie Theorem 25, Y is a soluion of 2 when n 2, if and only if Y = ξ S n Ỹ, wih Ỹ a soluion o he rough differenial equaion dỹ = fπ 1Ỹdγ, Ỹ = 1,π 1 ξ, T 2 R e Based on Theorem 126 and Theorem 1211 in [7], we have Theorem 21 exisence and uniqueness The soluion of 2 exiss when f is Lipβ for β > p 1, and is unique when β p Definiion 211 inegraion of 1-form Suppose γ : [,T] T 2 R d, is a p-rough pah for some p [2,3, and f : R d L R d,r e is Lipβ for some β 1 Then coninuous pah Y : [,T] T 2 R e, is said o be he rough inegral of f agains γ and denoed as Y = f π 1 γ u dγ u, [,T], if here exissaconinuouspah Γ : [,T] T 2 R d+e, saisfying π T 2 R d Γ = γ, π T 2 R e Γ = Y, and Γ is a soluion o he rough differenial equaion: dγ = 1,f π R d Γdγ, Γ = 1,π 1 γ,, T 2 R d+e 3 Formulaion and Resuls As menioned in he inroducion, we wan o recover Iô soluion by concaenaing a mean of Sraonovich soluions The idea is elegan, bu he concree formulaion needs some care Suppose γ : [,T] T 2 R d, is a fixed p-rough pah for some p [2,3 and M a coninuous maringale aking value in R d Furher assume ha S 2 γ +M := 1,π 1 γ +M,π 2 γ + π 1 γ u dm u + M u dπ 1 γ u + M u dm u is a p-rough process for some p [2,3 We wan o ge he mahemaical expression of he discree Iô incremen on small inerval [s, ] Suppose f : R e L R d,r e is Lipβ for β p and ξ T n R e Suppose z i is he soluion o he rough differenial equaions: dz 1 = f π 1 z 1 dγ, z 1 s = ξ Tn R e, dz 2 = f π 1 z 2 ds 2 γ +M, z 2 s = ξ T n R e Then by using uniqueness of enhancemen ie Theorem 25, i can be checked ha, if denoe y 1, y 2 as he soluion o he rough differenial equaion: dy 1 = f π 1 y 1 dγ, y 1 s = 1,π 1 ξ, T 2 R e, dy 2 = f π 1 y 2 ds 2 γ +M, y 2 s = 1,π 1 ξ, T 2 R e hen wih S n in Noaion 26 z i u = ξ S n y i s,u, i = 1,2, and zi is he soluion o he rough differenial equaion driven by y i : dz i = z i dy i, z i s = ξ T n R e Suppose y i are known, we wan o modify he iniial value of z 2 a ime s o δ s, in such a way ha, he soluion of he rough differenial equaion d z 2 = z 2 dy 2, z 2 s = δs, T n R e, 3 5

6 saisfies z i s, denoes z i s 1 z i We le and define he discree Iô incremen on [s,] as E z 2 = z 1 ie E δ s, z 2 s, = ξ z 1 s, δ s, := ξ z 1 s, E z 2 s, 1 γ is a fixed pah, ξ z 1 s, E z 2 s, 1 z 1 s,, 4 which is he value a ime of he soluion o he rough differenial equaion: dz = z dy 1, z s = δ s, T n R e 5 For each sample pah γ of he underlying and any inerval [s,], we have wo soluions: y 1 driven by he underlying γ and y 2 driven by he underlying wih noise S 2 γ +M We wan o discoun z 2 in such a way ha one is expeced o ge he real value z 1 More specifically, when he underlying is pollued wih noise, we consider 3 insead of 5, and we have E z 2 = z 1 We will concaenae he discree Iô incremens in he form of 4, le he mesh of pariions ends o zero, and recover he Iô soluion One migh be emped o replace he discree incremen 4 by he expecaion of he soluion of forward-backward-forward equaion, which, however, does no work, even on he firs level 31 Averaging Sraonovich soluions Our averaging process can be applied when γ is a fixed p-rough pah, p [2,3, and M = φdb wih φ a fixed pah aking value in d d marices and B a d-dimensional Brownianmoion When γ = S 2 Z is he Sraonovich signaure of a sample pah of coninuous local maringale Z, by seing φ = Z 1 2 we can recover he Iô soluion in rough pah 311 Rough pah underlying Definiion 31 perurbed rough pah Suppose γ : [,T] T 2 R d, is a fixed p-rough pah on [,T] for some p [2,3, φ is a fixed pah defined on [,T] aking value in d d marices T saisfying max 1 i,j d φ i,j 2du u <, and B a d-dimensional Brownian moion Define coninuous d-dimensional maringale M as he Iô inegral: M := φ u db u, [,T] 6 We assume ha γ+s 2 M S 2 M denoes he sep-2 Sraonovich signaure of M can be enhanced o a p-rough process S 2 γ +M : [,T] T 2 R d, wih he explici expression S 2 γ +M s, := S 2 γ +M 1 s S 2 γ +M, γ s, := γs 1 γ S 2 γ +M s, = 1,π 1 γs, +M M s,π 2 γs, and we assume ha + dm u1 dm u2 +Rγ,M s,, s T, s<u 1<u 2< E Rγ,M s, =, s T 7 Since γ is fixed, he condiion 7 is saisfied eg when he cross inegral Rγ,M is defined in classical Iô sense or Sraonovich sense, or when Rγ,M is defined as he L 1 limi of piecewise-linear approximaions 6

7 Definiion 32 Suppose γ and M are defined as in Definiion 31, n 1 is an ineger and f : R e L R d,r e is Lipβ for β > p For finie pariion D = { j } of [,T], define piecewise-consan process γ,m : [,T] T n R e as γ,m := ξ T n R e, 8 1 γ,m := γ,m j y 1,j E y 2,j y 1,j, j, j+1 ], where y i,j s, := ys i,j 1 y i,j on [ j, j+1 ]: dyu 1,j = f π 1 y 1,j u dyu 2,j = f π 1 y 2,j u and y i,j, i = 1,2, denoes he soluion of he rough differenial equaions dγu, y 1,j j = γ,m j T n R e, 9 ds2 γ +M u, y 2,j j = γ,m j T n R e I is worh noing ha, since γ is fixed { γ,m } are deerminisic n,d Theorem 33 Suppose γ and M are definedas in Definiion 31 Denoe I 2 γ,m : [,T] T 2 R d, as d I 2 γ,m := 1,π 1 γ,π 2 γ M i,m j e i e j, [,T] i,j=1 Then I 2 γ,m is a p-rough pah for some p [2,3 Suppose f : R e L R d,r e is Lipβ for β > p If we assume ha, for some ineger n 2, E S 2 γ +M np p var,[,t] <, 1 hen γ,m defined a 8 converge uniformly as D o he unique soluion of he rough differenial equaion dy = f π 1 YdI 2 γ,m, Y = ξ T n R e 11 More specifically, lim max πk γ,m D 1 k n πk Y = 12 T The proof of Theorem 33 sars from page 11 Remark 34 Based on he proof of Theorem 33, E sufficien for he convergence of he firs level in 12 S 2 γ +M q p var,[,t] < for some q > p is As a specific example where γ is no a sample pah of a maringale, pose X,B is a 2ddimensional coninuous Gaussian process wih independen componens, and B is a d-dimensional Brownian moion Furher assume ha he covariance funcion of X, B has finie ρ-variaion for some ρ [1, 3 2 see Secion 1532 [7] Then based on Thm 1533 [7], our Theorem 33 applies eg o γ,b wih γ = γ 1,γ 2 Noaion 28, where γ 1 is he sep-2 Sraonovich signaure of a sample pah of fracional Brownian moion wih Hurs parameer H > 1 3 and γ 2 is a fixed coninuous pah wih finie 2 1 p-variaion for some p [2,3 312 Iô signaure and maringale underlying Definiion 35 Iô signaure I n Z Suppose Z is a coninuous local maringale on [, aking value in R d For ineger n 1, denoe I n Z : [, T n R d, as I n Z := 1,Z Z, dz u1 dz u2,, dz u1 dz un, [, <u 1<u 2< <u 1< <u n< 13 7

8 Then we sudy he pahwise and probabilisic regulariy of he Iô signaure Theorem 36 Suppose Z is a coninuous local maringale aking value in R d Then I n Z : [, T n R d, is a group-valued coninuous local maringale which saisfies, for any T >, I n Z p var,[,t] <, as, p > 2 Moreover, for any ineger d 1, any ineger n 1, any moderae funcion F, and any p > 2, here exiss consan Cd,n,F,p such ha C 1 E F Z 1 2 E F I n Z p var,[, CE F Z 1 2, 14 holds for any coninuous local maringale Z aking value in R d saring from Proof Tha I n Z isagroup-valuedconinuouslocalmaringalecanbe provedeg byaking sopping imes τ n := τ n inf{ Z n} wih {τ n } n he sopping imes of Z Based on Lemma 45 on p17, we have, S n in Noaion 26 S n I 2 Z = I n Z, [,, n 1, as Then based on Theorem 37 in [16] and Theorem 149 [7], we have, for any T > and any p > 2, I n Z p var,[,t] C p,n I 2 Z p var,[,t] C p,n S 2 Z p var,[,t] + Z var,[,t] <, as Based on Theorem 37 in [16] and Theorem 1412 in [7], we have 14 holds When γ in Definiion 31 is a sample pah of a coninuous maringale, by choosing he righ noise, we can recover Iô soluion ie soluion of rough differenial equaion driven by I 2 Z defined a 13 The following definiion gives he explici consrucion of he noise Definiion 37 Suppose Z is a coninuous d-dimensional maringale in L 2 on [,T], and here exiss a d d-marices valued adaped process ψ in L 2 on [,T] such ha Z = ψ T sψ s ds, [,T], as Suppose B is a d-dimensional Brownian moion, independen from Z For a fixed sample pah of Z, define process Z as he Iô inegral: Z := ψ s db s, [,T] 15 The Corollary below follows from Theorem 33 and Remark 34, wih proof on p16 Corollary 38 Suppose Z is a coninuous d-dimensional maringale on [,T] in L 2n+ǫ for some ǫ > and ineger n 1, and Z as defined a 15 Suppose f : R e L R d,r e is Lipβ for β > 2 Denoe Y as he soluion o he rough differenial equaion: I 2 Z defined a 13 dy = f π 1 YdI 2 Z, Y = ξ T n R e Then for almos every sample pah of Z, y S n,d 2 Z, Z defined a 8 wih S 2 Z denoes he sep-2 Sraonovich signaure of Z saisfies lim max π k S 2 Z, Z π k Y = D 1 k n T 8

9 32 Relaion wih Iô sochasic differenial equaion Then we invesigae he pahwise propery of he Iô soluion ie soluion of rough differenial equaion driven by he Iô signaure I 2 Z defined a 13 Theorem 39 Relaion wih Iô SDE Suppose Z is a coninuous local maringale on [, aking value in R d Suppose f : R e L R d,r e is Lipβ for β > 1 Then for almos every sample pah of Z, he soluion of he rough differenial equaion dy = f π 1 YdI 2 Z, Y = ξ T n R e, 16 exiss uniquely, and he soluion Y has he explici expression: Y = ξ I n y,, [,, n 1, wih I n y defined a 13 and y denoes he unique srong coninuous soluion of he Iô sochasic differenial equaion dy = f ydz, y = π 1 ξ R e 17 The proof of Theorem 39 sars from page 19 When he vecor field f in Theorem 39 is Lipβ for β > 2, he soluion Y in 16 is coninuous wr he driving rough pah Thm 121 [7] Based on Thm 173 [7], he auhors idenified a relaionship beween he classical Iô soluion and he firs level rough Iô soluion when he vecor field is Lipβ for β > 2 In Prop 43 [3], he auhor proved ha, when he vecor field is Lipβ for β > 1, he firs level soluion of 16 driven by he Iô signaure of Brownian moion exiss uniquely as Based on Theroem 39, he resul in [3] is applicable o he whole rough pah soluion and o all coninuous local maringales The Corollary below follows from Definiion 211 and Theorem 39 Corollary 31 Inegraion of one-forms Suppose Z is a coninuous local maringale on [, aking value in R d, and f : R e L R d,r e is Lipβ for β > 1 Then for almos every sample pah of Z, he rough inegral has he explici expression: S n f ZdI 2 Z = I n y, [,, n 1, wih y denoes he classical Iô inegral y := f Z u dz u, [, When vecor field f in Corollary 31 is Lipβ for β > 1, he rough inegral f ZdI 2Z is coninuous wr he driving rough pah Thm 412 [16] Based on Corollary 31, we have a pahwise Iô s lemma, which decomposes he Sraonovich signaure as he sum of wo rough pahs: one is a group-valued coninuous local maringale and he oher is consruced from coninuous bounded variaion pahs Theorem 311 below follows from Lyons and Qian [17] p244, only ha he rough inegral Df Z udi 2 Z u has he explici expression as seen in Corollary 31 Theorem 311 Iô s lemma Suppose Z is a coninuous local maringale on [, aking value in R d, and pose f : R d R e is Lipβ for β > 2 Denoe S 2 f Z and S 2 Z as he sep-2 Sraonovich signaure of f Z and Z Then he rough inegral equaion holds for almos every sample pah of Z: S 2 f Z, = Df Z u ds 2 Z u = 9 Df Z u di 2 Z u +dh u, [,, 18

10 where H : [, T 2 R e, is defined as wih x 1 := 1 2 H := 1,x 1, x 1 u dx 1 u +x 2 D 2 f Z u d Z u and x 2 := 1 2, [,, DfZ u DfZ u d Z u, and Df Z udi 2 Z u +dh u : [, T 2 R e, is defined as π 1 Df Z u di 2 Z u +dh u : = π 1 Df Z u di 2 Z u +π 1 H, π 2 Df Z u di 2 Z u +dh u : = π 2 Df Z u di 2 Z u +π 2 H + + π 1 u Df ZdI 2 Z dπ 1 H u π 1 H u dπ 1 u Df ZdI 2 Z, where he cross inegrals beween π 1 Df ZdI2 Z and π 1 H are defined as Young inegrals 4 Proofs Our consans may implicily depend on dimensions d and e We specify he dependence on oher consans eg C p, bu he exac value of consans may change from line o line 41 Resuls from rough pah We sae he resuls in rough pah heory ha will be used in our proofs Suppose γ is a p-rough pah for p [2,3, denoe S n γ as in Noaion 26 on page 4 Based on Thm 37 in [16], for any ineger k 1, here exiss consan C p,k such ha, π k S n γ s, Cp,k γ k p var,[s,], s T 19 As a consequence, S n γ : [,T] T n R d, n k=1 1 k saisfies S n γ p var,[s,] C p,n γ p var,[s,], s T 2 Moreover, for any ineger n 2 and any finie pariion D = { k } K k= R d n+1 of [s,] [,T], we have wih π n+1 S n γ, 1 S n γ K 1, K π n+1 S n+1 γ s, 21 K 1 C p,n k= γ n+1 p var,[ k, k+1 ] Based on Prop 149 [7], we have Theorem 41 Suppose M : [, R d is a coninuous local maringale Then he sep-2 Sraonovich signaure of M is a geomeric p-rough process on [,T] for any p > 2 and any T > 1

11 Suppose γ = γ 1,γ 2 Noaion 28 on p4 is a p-rough pah for some p [2,3 on [,T] aking value in T 2 R d, Then i is clear or based on [14] ha, γ p p var,[s,] γ 1 p + γ p C p var,[s,] 2 1 p var,[s,] d γ p p var,[s,], s T Based on Theorem 126 in [7] and Corollary 128 in [7], we have: he second level esimaion can be obained by considering he rough differenial equaion of he signaure of he soluion Theorem 42 Suppose γ is a p-rough pah for some p [2,3 on [,T] aking value in T 2 R d, and f : R e L R d,r e is Lipβ for β p 1,2] If for ineger n 2, Y : [,T] T n R e, is a soluion o he rough differenial equaion hen for any s T, we have Y s, := Y 1 s dy = f π 1 Ydγ, Y = ξ T n R e, Y, γ s, := γ 1 s γ Y p var,[s,] C p,β,f,n γ p var,[s,] γ p p var,[s,], π1 Y s, f π 1 Y s π 1 γs, Dffπ1 Y s π 2 γs, Cp,β,f γ β+1 p var,[s,], π2 Y s, f π 1 Y s f π 1 Y s π 2 γs, Cp,β,f γ β+1 p var,[s,] γ 2p p var,[s,] The Theorem below follows from Theorem 121 in [7] and Theorem 313 in [18] Theorem 43 Suppose γ is a p-rough pah for some p [2,3 on [,T] aking value in T 2 R d,, and f : R e L R d,r e is Lipβ for β > p Suppose Y i, i = 1,2, is he soluion o he rough differenial equaion Then Ys, i := Ys i 1 Y i dy i = f π 1 Y i dγ, Y i = ξi T n R e max 1 k n s T πk Y 1 s, πk Y 2 s, C p,β,f π 1 ξ 1 π 1 ξ 2 exp 42 Rough pah perurbed by maringale 421 Rough Pah Underlying C p,β,f γ p p var,[,t] Proof of Theorem 33 Define ω i : {s, s T} R +, i = 1,2, as, for any s T, ω 1 s, : = S 2 γ +M p p var,[s,], ω 2 s, : = γ p p var,[s,] + M p 2 1 var,[s,] Then ω 2 is deerminisic and ω 2,T < Based on our assumpion 1 on p7, for some ineger n 2, Eω 1,T n < 22 Denoe π f s,η,i 2 γ,m as he soluion o he rough differenial equaion: dy = f π 1 YdI 2 γ,m, y s = η T n R e 11

12 For he seleced ineger n 2 and finie pariion D = { j } of [,T], denoe := γ,m defined a 8 on p7 and denoe s, := 1 y ys n,d n,d for s T Recall { y i,j} i=1,2 defined a 9 on p7: dyu 1,j = f π 1 y 1,j u dγu, y 1,j j = y D γ,m j T n R e, dyu 2,j = f π 1 y 2,j u Then, based on he definiion of, we have ds2 γ +M u, y 2,j j = y D γ,m j T n R e, 1 = y 1,j E y 2,j y 1,j, j 23 Since f is Lipβ for β > p 2, f is Lip2 Based on error esimaes of rough Taylor expansion Theorem 42, we have, on any [ j, j+1 ], π 1 π 1 π f j, j,i 2 γ,m C p,f E ω 1 j, j+1 3 p +ω 2 j, j+1 3 p + Dff j+1 π 1 Yj E Mu M j dmu 1 2 M j Since M is in L 2, j+1 E Mu M j dmu 1 j+1 j 2 M = E Mu M j dmu =, and we have M = φdb wih φ a fixed pah aking value in d d marices j+1 E Mu M j dmu = 1 2 E M j, j+1 = 1 2 M j j Thus, for any j D, π 1 C p,f E π 1 π f ω 1 j, j+1 3 p,i 2 γ,m j, j +ω 2 j, j+1 3 p 24 For he second level, based on 23, we have π 2 1 = π 2 y 1,j E y 2,j y 1,j 2 = 2π 2 y 1,j π 2 E y 2,j + π 1 y 1,j π 1 E y 2,j 12

13 Then, combined wih Theorem 42, denoe ξ j := π 1 y D γ,m j π 2 π 2 π f j, j,i 2 γ,m f ξ j f ξj 2π 2 γ j, j+1 π 2 γ j,j M π j,j+1 2 γ j,j M +C p,f E ω 1 j, j+1 3 p ω 1 j, j+1 2 +ω 2 j, j+1 3 p ω 2 j, j Dff ξ j M j, j+1 +C p,f E ω 1 j, j+1 3 p +ω 2 j, j p +C p,f E ω 1 j, j+1 3 p +ω 2 j, j+1 3 p E ω 1 j, j+1 1 p ω 1 j, j+1 +ω 2 j, j+1 1 p ω 2 j, j+1 Therefore, π 2 C p,f,e E j, j ω 1,T 2,ω 2,T π 2 π f,i 2 γ,m 25 ω 1 j, j+1 3 p ω 1 j, j+1 2 +ω 2 j, j+1 3 p ω 2 j, j+1 2 For he higher levels ie k 3, by using Young s inequaliy, we have π k π k π f j, j,i 2 γ,m 26 Cp,f,k E ω 1 j, j+1 k p ω 1 j, j+1 k +ω 2 j, j+1 k p ω 2 j, j+1 k Combine 24, 25 and 26, if we define ω k : {s, s T} R + as E ω 1 s, 3 p +ω 2 s, 3 p, k = 1 ω k s, := E ω 1 s, 3 p ω 1 s, 2 +ω 2 s, 3 p ω 2 s, 2, k = 2 E ω 1 s, k p ω 1 s, k +ω 2 s, k p ω 2 s, k, k 3, 27 hen π k C π k π f p,f,k,e j, j ω 1,T 2,ω 2,T,I 2 γ,m 28 ω k j, j+1, j, k = 1,,n Based on our assumpion 22 and ha n 2, we have lim ω k j, j+1 =, k = 1,,n 29 D j D Since f is Lipβ for β > p, denoe Y as he unique soluion o he rough differenial equaion dy = f π 1 YdI 2 γ,m, Y = ξ T n R e We wan o prove lim max π k D 1 k n T π k Y = 3 13

14 I is clear ha π = π Y 1, so 3 holds rivially a level Then we use mahemaical inducion Suppose 3 holds for level l =,,k 1, we wan o prove 3 a level k Based on our inducive hypohesis, we have max π l < 31 D [,T] l k 1 T For j D, when j =, = Y = ξ When j = 1, based on 28, we have π k 1 When j 2, we have π k j Y j j 1 = π k i= j 2 π k i= + π k k 1 Y 1 = π l ξ πk l y D,1 Y,1 C l= p,f,k,e π f i+1, i+1,i 2 γ,m π f j π f i+1, i+1,i 2 γ,m j π f j 1, j 1,I 2 γ,m Then for each i =,1,,j 2, π f i+1, i+1,i 2 γ,m π f j = i+1 π f i+1, i+1,i 2 γ,m π f i, i,i 2 γ,m π f i+1 = i+1 + i π f i+1, i+1,i 2 γ,m i, i+1 π f i, i ω 1,T 2,ω 2,T i, i max π lξ l k 1,I 2 γ,m j k ω l, 1 l=1 π f i+1,π f i, i,i 2 γ,m,i 2 γ,m j i+1 j i+1,π f i+1, j i, i,i 2 γ,m,i 2 γ,m i+1 i+1,π f i, i,i 2 γ,m,i 2 γ,m i+1 i+1,π f i, i,i 2 γ,m π f i+1, j,i 2 γ,m i, i+1 j i+1, j j 32,I 2 γ,m i+1 i+1, j π f i+1,π f i, i,i 2 γ,m,i 2 γ,m i+1 i+1, j 14

15 Then use 31, Theorem 43 on p11 and 28 ω 1 defined a 27, we have π k i+1 π f i+1, i+1,i 2 γ,m π f i+1,π f i, i,i 2 γ,m,i 2 γ,m i+1, j i+1 max π l D l k 1 T k π l l=1 Cp,β,f,k,ω 2,T C p,β,f,k,e π f i+1, i+1,i 2 γ,m D max l k 1 i+1, j π f T ω 1,T 2,ω 2,T D π l i+1,π f max l k 1 i, i,i 2 γ,m,i 2 γ,m i+1 π 1 i, i+1 π f T π l i, i ω 1 i, i+1 i+1, j i+1, j,i 2 γ,m i, i+1 On he oher hand, use 31, Theorem 42 on p11 and 28 ω l defined a 27, we have π k i i, i+1 π f i, i,i 2 γ,m π f i+1,π f i, i,i 2 γ,m,i 2 γ,m i, i+1 i+1 C p,β,f,k,e ω 1,T 2,ω 2,T max D l k 1 T π l k ω l i, i+1 Therefore, we have, for any i =,1,,j 2, π k π f i+1, i+1,i 2 γ,m π f i+1,π f i, i,i 2 γ,m,i 2 γ,m j i+1 C p,β,f,k,e ω 1,T 2,ω 2,T max D l k 1 As a resul, j 2 π k C i= π f i+1, i+1,i 2 γ,m π f j p,β,f,k,e ω 1,T 2,ω 2,T D i, i T π l l=1 j k ω l i, i+1 l=1,i 2 γ,m 33 j k max l k 1 T π l j 2 i= l=1 ω l i, i+1 On he oher hand, for he erm lef in 32, π k j π f j 1, j 1,I 2 γ,m 34 j = π k j 1 j 1, j π f j 1, j 1,I 2 γ,m j 1, j C p,β,f,k,e ω 1,T 2,ω 2,T max D l k 1 Therefore, combining 32, 33 and 34, we have π k j S n Y j C p,β,f,k,e max D l k 1 T 15 T π l ω 1,T 2,ω 2,T π l k ω l j 1, j l=1 j 1 k ω l i, i+1 i= l=1 i+1, j

16 Then, based on 29 and he inducive assumpion 31, we have lim π k j π k Yj = 35 T max D j D Since is piecewise-consan, we have π k π k Y maxπ k j D j π k Yj + s D π k Y π k Y s 36 For inerval [s,] saisfying Y p var,[s,] 1, we have, k π k Y π k Y s = π k j Y s π j Y s, C p,k, Y Y p var,[s,] [,T] j=1 Since Y is coninuous and Y p var,[,t] <, we have lim D s D Combined wih 35 and 36, we ge lim π k D T π k Y π k Y s = π k Y = 422 Maringale underlying The Theorem below follows from Thm 1412 in [7] and Doob s maximal inequaliy Theorem 44 Suppose M is a coninuous d-dimensional maringale Denoe S 2 M as he sep-2 Sraonovich signaure of M Then for any q > 1 and any p > 2, E M T M q E M 2 1 q var,[,t] E M 2 1 q 1 var,[,t] 37 E S 2 M q p var,[,t] They are equivalen up o a posiive consan depending on p, q and d Proof of Corollary 38 Z, Z is a 2d-dimensional coninuous maringale wr he filraion generaed by Z and B, so can be enhanced by heir Sraonovich inegrals o a p-rough process for any p > 2 Theorem 41 on p1 Suppose Z is in L 2n+ǫ for some ǫ > and ineger n 1 Selec p = 2+n 1 ǫ Using inequaliy 37, we ge S2 E Z + Z np C d,p,n E Z + Z 2 1 np p var,[,t] var,[,t] C d,p,n E Z 2 1 np var,[,t] C d,p,n E Z T Z np = C d,p,n E Z T Z 2n+ǫ < Thus, we have S2 E Z + Z np Z < as p var,[,t] On he oher hand, fix a sample pah of Z, we have ha, he Sraonovich inegrals saisfy: E Z s,u d Z u + Z s,u dz u Z =, s T, as s s Thus, based on Theorem 33, Corollary holds When n = 1, i holds based on Remark 34 16

17 43 Relaion wih Iô SDE Lemma 45 Suppose Z = Z i 1 i d is a coninuous local maringale on [, aking value in Rd For ineger n 1, denoe I n Z as a 13 on page 7 and S n as in Noaion 26 on page 4 Then S n I 2 Z = I n Z, [,, n 1, as 38 Proof We prove 38 on [,T] for some T >, for fixed n 1 and when Z is a bounded coninuous maringale Then by properly sopping he process and unionizing counably many null ses, we can prove 38 Denoe he filraion of Z as F Firsly, we prove ha S n I 2 Z is a maringale I is clear ha, S 1 I 2 Z = Z and S 2 I 2 Z = I 2 Z are maringales Forinegern 2,poseS n I 2 Zisaconinuousmaringale,wewanoprovehaS n+1 I 2 Z is alsoaconinuousmaringale Based on 21 on page1, for any s T, wih R d n+1 π n+1 S n+1 I 2 Z s, 39 = lim π n+1 S n I 2 Z, D,D={ k } [s,] 1 S n I 2 Z n 1, n, and he error in L 1 is bounded by, for any p > 2, C p,n lim I 2 Z n+1 D E k, k D p var,[ k, k+1 ] p C p,n lim E I 2 Z n+1 n+1 p var,[,t] E D Based on 37 and using ha Z is a bounded maringale, we have E I 2 Z n+1 p var,[,t] C n E S 2 Z n+1 p var,[,t] C p,d,n E Z T Z n+1 < 1 p n+1 I 2 Z n+1 p var,[s,] s D +E Z n var,[,t] Thus, using dominaed convergence heorem, he convergence a 39 is in L 1 and we have: E π n+1 S n+1 I 2 Z s, F s = lim π n+1 E S n I 2 Z, D,D={ k } K k= [s,] 1 S n I 2 Z K 1, K F s While using he inducive hypohesis ha S n I 2 Z is a maringale, we have E S n I 2 Z, 1 S n I 2 Z K 1, K F s = E S n I 2 Z, 1 E S n I 2 Z K 1, K F K 1 F s = E S n I 2 ZZ, 1 S n I 2 Z K 2, K 1 F s = = 1, as Thus, for any s T, ES n+1 I 2 Z F s = S n+1 I 2 Z s E S n+1 I 2 Z s, F s = S n+1 I 2 Z s as 17

18 Then we prove 38 I is clear ha 38 holds for level 1 and level 2 For he higher levels, we use mahemaical inducion Suppose for some k 2, we have 1,Z Z, dz u1 dz u2,, dz u1 dz uk 4 Denoe <u 1<u 2< = S k I 2 Z, [,T], as Z Iô,k s, := <u 1< <u k < dz u1 dz uk, s T, k 1 s<u 1< <u k < Since Z is a bounded coninuous maringale, Z Iô,k, is a coninuous maringale adaped o he filraion of Z, and he process Z Iô,k,,Z is a coninuous maringale wr he filraion of Z Then, based on Theorem 41 on p1, Z Iô,k,Z can be enhanced by heir Sraonovich inegrals o a p-rough process for any p > 2 As a resul, we have D,D [,T] j D j+1 j p 2 Z Iô,k, Z Iô,k, j dz < as, p > 2 Then using he relaionship beween Iô inegral and Sraonovich inegral, we have D,D [,T] j D j+1 j p 2 Z Iô,k, Z Iô,k, j dz < as, p > 2 41 Since he Iô signaure is a muliplicaive funcional, we have, for [ j, j+1 ], For i = 1,,k 1, we have D,D [,T] j D j+1 j k 1 Z Iô,k, Z Iô,k, j = Z Iô,k i, j Z Iô,i j, +Z Iô,k j, 42 i=1 p 2 Z Iô,k i, j Z Iô,i j, dz p j+1 Z Iô,k i 2, [,T] D,D [,T] j D j p 2 Z Iô,i j, dz Based on he inducive hypohesis 4, we have, for any p > 2 and i = 1,,k 1, since i+1 2 D,D [,T] j D j+1 j p 2 Z Iô,i j, dz Thus, combine 41, 42 and 43, we have D,D [,T] j D p Z Iô,k+1 2 = D,D [,T] j D D,D [,T] j D j+1 Z Iô,i+1 i+1 p On he oher hand, π k+1 S k+1 I 2 Z saisfies based on 19 on page 1 D,D [,T] j D j i+1 2 < as, p > 2 43 p 2 Z Iô,k j, dz < as, p > 2 44 p k+1 π k+1 S k+1 I 2 Z j, j+1 < as, p >

19 Since boh 1,Z,,Z Iô,k,Z Iô,k+1 and S k+1 I 2 Z are muliplicaive and 4 holds, here exiss a process ϕ : [,T] R d k+1 such ha Z Iô,k+1 s, π k+1 S k+1 I 2 Z s, = ϕ ϕ s, s <, as 46 Moreover, Z Iô,k+1, isaconinuousmaringale,and,asweprovedabove, π k+1 S k+1 I 2 Z, is also a coninuous maringale Then based on 46, ϕ ϕ is a coninuous maringale vanishing a Combined wih 44 and 45 wih k 2, we have D,D [,T] j D p 2 ϕ j+1 ϕ j < as, for any p > 2 Since a coninuous maringale wih finie q-variaion for q < 2 is a consan, we have ϕ ϕ, and Z Iô,k+1 = π k+1 S k+1 I 2 Z, T, as Proof of Theorem 39 We only prove he heorem when Z is a coninuous bounded maringale Then by properly sopping Z and unionizing counably many null ses, we can prove Theorem 39 for coninuous local maringales For s T, we denoe Zs, 1 := Z Z s and Zs, 2 := dz u1 dz u2 s<u 1<u 2< Replace β by β 2, and fix p 2,β +1 Define ω : {s, s T} R + as Since β > p 1, he rough differenial equaion ωs, := S 2 Z p p var,[s,] + Z p 2 1 var,[s,] dy = f π 1 YdI 2 Z, Y = ξ T n R e, 47 has a soluion Denoe Y as a soluion o he RDE 47, based on rough Taylor expansion Theorem 42 on page 11, we have he pahwise esimae ha, for any s T, π 1Y s, f π 1 Y s Zs, 1 Dffπ 1Y s Zs, Z s, C p,β,fωs, β+1 p As a resul, for almos every sample pah of Z, any soluion Y o 47 and any s T, π 1 Y s, 48 = lim f π 1 Y k Z 1 k, k+1 +Dffπ 1 Y k Z 2k,k+1 12 Z k,k+1 Moreover, we have D,D [s,] k D lim D,D [s,] k D Dffπ 1 Y k Z 2k,k+1 12 Z = in L 2 49 k,k+1 Indeed, since RDE soluion is he limi of ODE soluions, and soluion of ODE can be recovered via Picard ieraion f is Lipβ for β > 1, π 1 Y is adaped o he filraion of Z Since Dffπ 1 Y is in L 4 acually bounded, here we use L 4 for he convenience of second level and Z is bounded, he 19

20 cross erms in L 2 norm of 49 vanish afer aking condiional expecaion Thus, for any 1 i,j d and any 1 s e, we have Dff s denoes he projecion o he sh coordinae of R e E Dff s π 1 Y k Z 2,i,j k, k+1 1 Z i,z j 2 2 k, k+1 = E k D k D Dff s π 1 Y k Z 2,i,j k, k+1 1 Z i,z j 2 k, k+1 E Dff s π 1 Y 41 2 E [,T] k D Dff s π 1 Y 41 2 E [,T] C d E [,T] C d E [,T] k D Dff s π 1 Y 41 2 Dff s π 1 Y Z 2,i,j k, k+1 1 Z i,z j k, k+1 E S 2 Z var,[ k, k+1 ] + Z var,[ k, k+1 ] k D Since Z is bounded, by using 37 on p16, we have E Z 4 1 var,[,t] E E Z var,[ k, k+1 ] E Z var,[,t] E Z T Z 8 < Z 4 1 var,[s,] s D hen use 37 Then by dominaed convergence heorem, 49 holds On he oher hand, since f π 1 Y is bounded and adaped, and Z is bounded, by using 37 on p16, we have T E f π 1 Y u 2 d Z u f 2 Lipβ E Z 1 var,[,t] f 2 Lipβ E Z T Z < Thus, lim D,D [s,] k D f π 1 Y k Z 1 k, k+1 converge in L 2 o he Iô inegral s f π 1Y u dz u As a resul, 48 converge as and in L 2, wih π 1 Y s, he as limi and he Iô inegral s f π 1Y u dz u he L 2 limi Therefore, since he null se can be chosen o be independen from s and, we have π 1 Y s, = s f π 1 Y u dz u, s T, as Thus, π 1 Y is a srong coninuous soluion o he sochasic differenial equaion: 3 8 dy = f ydz, y = π 1 ξ R e 5 On he oher hand, since f is Lipβ, β > 1, based on Thm 21 on p375 [21], he SDE 5 has a unique srong coninuous soluion denoed as y Thus, π 1 Y exiss uniquely as and π 1 Y = y, [,T], as 2

21 For π 2 Y, consider he rough differenial equaion on [,T]: f π du = R e U π R e U π R e U f π R e U U = 1,π 1 ξ,, T 2 R e R e 2 di 2 Z, 51 Alhough he vecor field for U in 51 only locally Lipβ, β > 1, is firs level has a global soluion π 1 U = π 1 Y,π 2 Y,, [,T] By using Theorem 42 on p11, 37 on p16 and ha Z is bounded, one can prove ha, for any p > 2, we concenrae on he projecion of π 1 U o R e 2 E f π 1 Y f π 1 Y +π 1 Y π 1 Y Dffπ 1 Y 4 [,T] 8 f 8 Lipβ 1+E Y 4 p var,[,t] <, and T E π 1 Y u π 1 Y 2 f 2 Lipβ d Z u f 2 Lipβ Y E 2 p var,[,t] Z 1 var,[,t] < Thus, by following similar reasoning as above, we have ha π 2 Y, exiss uniquely as as a coninuous maringale wr he filraion of Z On he oher hand, consider α : {s, s T} R e 2 defined as: y denoes he soluion of SDE 5 α s, := dy u1 dy u2, s T s<u 1<u 2< Thenheprocess α, isaconinuousmaringalewrhefilraionofz Sincebohπ 1 Y,π 2 Y and y,α are muliplicaive and π 1 Y equals o y as, here exiss a process ϕ on [,T] such ha ϕ ϕ s = π 2 Y s, α s,, s T, as On he oher hand, since boh π 2 Y, and α, are coninuous maringales wr he filraion of Z, ϕ ϕ is also a coninuous maringale vanishing a Moreover,we have, based on Theorem 42 on p11 p π2 Yk, 2 k+1 < as, p > 2 52 D [,T] k, k D and α saisfies Theorem 41 on p1 D [,T] k, k D αk, k+1 p 2 < as, p > 2 53 Therefore, ϕ ϕ is a coninuous maringale vanishing a wih finie 2 1 p-variaion for any p > 2 Thus, we have ϕ = ϕ, T, as and π 2 Y s, = α s,, s T, as Therefore, he soluion Y of he RDE 47 has he explici expression: S 2 Y, = 1,y π 1 ξ, dy u1 dy u2, [,T], as <u 1<u 2< 21

22 Usinghe TheoremofenhancemenTheorem 25onp4 andlemma 45onp17, wehavehe explici expression ha S n Y = ξ S n Y, = ξ S n I 2 y, = ξ I n y,, [,T], n 1, as, wherey denoeshesoluionohe Iôsochasicdifferenialequaion5andI n yisheiôsignaure of y defined a 13 on p7 5 Acknowledgemen The research of boh auhors are pored by European Research Council under he European Union s Sevenh Framework Programme FP7-IDEAS-ERC/ ERC gran agreemen nr The research of Terry Lyons is pored by EPSRC gran EP/H1/1 The auhors are graeful for he por of Oxford-Man Insiue References [1] Bicheler, K, Sochasic inegraion and L p -heory of sochasic inegraion, Ann Prob, 9, 48-89, 1981 [2] Couin, L, Qian, Z, Sochasic analysis, rough pah analysis and fracional Brownian moion Probab Theory Relaed Fields, 1221,18-14, 22 [3] Davie, A M, Differenial equaions driven by rough pahs: an approach via discree approximaion Appl Mah Res Express AMRX, 27 [4] Ehier, S, Kurz, T, Markov Processes, Characerizaion and convergence, John Wiley & Sons, INC, 1985 [5] Föllmer, H, Calcul d Iô sans probabiliés, Seminaire de probabilies Srasbourg, 15, , 1981 [6] Friz, P, Vicoir, N, Differenial equaions driven by Gaussian signals Ann Ins H Poincaré Probab Sais, 462, , 21 [7] Friz, P, Vicoir, N, Mulidimensional Sochasic Processes as Rough Pahs, Theory and Applicaions, Cambridge Univ Press, 21 [8] Gubinelli, M, Ramificaion of rough pahs, J Differenial Equaions, 2482, , 21 [9] Hairer, M, Kelly, D, Geomeric versus non-geomeric rough pahs, preprin, 213 [1] Harier, M, Weber, H, Rough Burgers-like equaions wih muliplicaive noise, Probab Theory Relaed Fields, 1551, , 213 [11] Iô, K, Sochasic inegral, Proc Imp Acad Tokyo, 2, , 1944 [12] Iô, K, On sochasic differenial equaions Proc Imp Acad Tokyo, 22, 32-35, 1946 [13] Karandikar, R L, Pahwise soluion of sochasic differenial equaions, Sankhya A, 43, , 1981 [14] Lejay, A, Vicoir, N, On p,q-rough pahs, Journal of Differenial Equaions, 225, , 26 [15] Lyons, T J, Differenial equaions driven by rough signals, Rev Ma Iberoamericana, 142, ,

23 [16] Lyons, T J, Caruana, M, Lévy, T, Picard, J, Differenial equaion driven by rough pahs Springer, 27 [17] Lyons, T J, Qian, Z M, Calculus for muliplicaive funcionals, Iô s lemma and differenial equaions, Iô s Sochasic Calculus and Probabiliy Theory, Springer, Tokyo, , 1996 [18] Lyons, T J, Qian, Z, Sysem conrol and rough pahs, OxfordUniv Press, 22 [19] Lyons, T J, Soica, L, The limis of sochasic inegrals of differenial forms Ann Probab, 271, 1-49, 1999 [2] Lyons, T J, Yang, D, The parial sum process of orhogonal expansion as geomeric rough process wih Fourier series as an example an improvemen of Menshov-Rademacher heorem, 211 [21] Revuz, D, Yor, M, Coninuous maringales and Brownian moion, 3rd ed, Springer, 1999 [22] Russo, F, Vallois, P, Inégrales progressive, rérograde e symérique de processus nonadapés C R Acad Sci Paris Ser I Mah, 3128, , 1991 [23] Wong, E, Zakai, M, On he relaion beween ordinary and sochasic differenial equaions, In J Engineering Sci, 32, , 1965 [24] Young, L C, An inequaliy of Hölder ype, conneced wih Sieljes inegraion Aca Mah 67, ,