arxiv: v3 [math.pr] 29 Aug 2016

Transcription

1 arxv: v3 [mah.pr] 29 Aug 216 Pahwse negraon wh respec o pahs of fne quadrac varaon Anna ANANOVA and Rama CONT Revsed: Augus 216. To appear n: Journal de Mahémaques Pures e Applquées. Asrac We sudy a pahwse negral wh respec o pahs of fne quadrac varaon, defned as he lm of non-ancpave Remann sums for graden-ype negrands. We show ha he negral sasfes a pahwse somery propery, analogous o he well-known Io somery for sochasc negrals. Ths propery s hen used o represen he negral as a connuous map on an appropraely defned vecor space of negrands. Fnally, we oan a pahwse sgnal plus nose decomposon for regular funconals of an rregular pah wh non-vanshng quadrac varaon, as a unque sum of a pahwse negral and a componen wh zero quadrac varaon. A. Ananova & R. Con (216) Pahwse negraon wh respec o pahs of fne quadrac varaon, Journal de Mahémaques Pures e Applquées. Conens 1 Non-ancpave funconal calculus and pahwse negraon of graden funconals 3 2 Isomery propery of he pahwse negral Pahwse somery formula Parons of hng mes The pahwse negral as a connuous somery Pahwse naure of he negral 18 4 Rough-smooh decomposon for funconals of rregular pahs 23 1

2 In hs semnal paper Calcul d Io sans proalés [12], Hans Föllmer proved a change of varale formula for smooh funcons of pahs wh nfne varaon, usng he concep of quadrac varaon along a sequence of parons. A pah ω C ([,T],R) s sad o have fne quadrac varaon along he sequence of parons π m = ( = m < m 1 < < m k(m) = T) f for any [,T], he lm [ω] π () := lm m m (ω( m +1) ω( m )) 2 < exss and defnes a connuous ncreasng funcon [ω] π : [,T] R + called he quadrac varaon of ω along π. Exendng hs defnon o vecorvalued pahs (see Secon 1) Föllmer [12] showed ha, for negrands of he form f(ω()),f C 2 (R d )onemaydefneapahwsenegral f(ω())dω() as a ponwse lm of Remann sums along he sequence of parons π m. Ths consrucon has een exended n varous drecons, o less regular funcons [1, 9, 23] and pah-dependen funconals [4, 7, 8]. In parcular, Con & Fourné [4] consruced pahwse negrals of he ype ω F(,ω)d π ω where ω F sadreconaldervave(dupredervave)ofanon-ancpave funconal F, and proved a change of varale formulas for such negrals. Ths paper conrues several new resuls o he sudy of he pahwse approach o sochasc negraon [12] and s exenson o pah-dependen funconals [4]. Our man resul s an somery formula for he pahwse negral: we gve condons on he negrand φ and he pah ω C ([,T],R) under whch [. φd π ω] π () = φ 2 d[ω] π. Theorem 2.1 gves a precse saemen of hs propery for muldmensonal pahs. Our condons noaly allow for connuous pahs wh Hölder exponen srcly less han 1/2 and apply o ypcal pahs of Brownan moon and dffuson processes. Ths resul may e undersood as a pahwse verson of he well-known Io somery formula [19], showng ha he Io somery formula holds no jus as an equaly n expecaon u n fac pah y pah. 2

3 Ths resul has several neresng consequences. Frs, mples ha he pahwse negral may e defned as a a connuous mappng for he quadrac varaon merc on an approprae space of negrands (Proposon 2.8). Ths connuy propery, ogeher wh s nerpreaon as a lm of Remann sums, s wha dsngushes our consrucon from oher pahwse consrucons of sochasc negrals [2, 21, 23, 25] whch lack eher a connuy propery or an nerpreaon as a lm of non-ancpave Remann sums. A second consequence of he pahwse somery propery s a deermnsc sgnal plus nose decomposon for funconals of an rregular pah: we show ha any regular funconal of pah ω wh non-vanshng quadrac varaon may e unquely decomposed as he sum of a pahwse negral wh respec o ω and a smooh componen wh zero quadrac varaon (Proposon 4.1). Ths may e seen as a pahwse analogue of he well-known semmarngale decomposon [1] (or, more precsely he decomposon of Drchle processes [13]). A smlar resul was oaned y Harer and Plla [18] n he conex of rough pah heory, usng dfferen echnques. Fnally, we clarfy he pahwse naure of he negral defned n [4]: we show (Theorem 3.2) ha hs negral s ndeed a pahwse lm of nonancpave Remann sums, whch s mporan for nerpreaon and n applcaons. Oulne Secon 1 recalls some key defnons and resuls on funconal calculus from [4, 3] and recalls he defnon of he Föllmer negral [12] and s exenson o pah-dependen negrands y Con & Fourné [4]. The somery formula for hs negral s derved n Secon 2 (Theorems 2.1). In Secon 2.2 we dscuss he somery formula for Leesgue parons. We use he of Secon 2 n Secon 2.3 o represen he negral as a connuous map (Proposon 2.8). In Secon 3 we clarfy he pahwse naure of hs negral (Theorem 3.2). Secon 4 derves a pahwse sgnal plus nose decomposon for funconals of rregular pahs (Proposon 4.1), whch may e vewed as a deermnsc analogue of he semmarngale decomposon for sochasc processes. 1 Non-ancpave funconal calculus and pahwse negraon of graden funconals Our approach reles on he Non-ancpave Funconal Calculus [4, 3], a funconal calculus whch apples o non-ancpave funconals of càdlàg 3

4 pahs wh fne quadrac varaon, n he sense of Föllmer [12]. We recall here some key conceps and resuls of hs approach, followng [3]. Le X e he canoncal process on Ω = D([,T],R d ), and (F ) [,T] e he flraon generaed y X. We are neresed n causal, or nonancpave funconals of X, ha s, funconals F : [,T] D([,T],R d ) R such ha ω Ω, F(,ω) = F(,ω ), (1) where ω := ω( ) s he sopped pah of ω a me. The process F(,X ) hen only depends on he pah of X up o and s (F )-adaped. I s convenen o defne such funconals on he space of sopped pahs [3]: a sopped pah s an equvalence class n [,T] D([,T],R d ) for he followng equvalence relaon: (,ω) (,ω ) ( = and ω(.) = ω (.) ). (2) The space of sopped pahs s defned as he quoen of [,T] D([,T],R d ) y he equvalence relaon (2): ( ) Λ T = {(,ω( )),(,ω) [,T] D([,T],R d )} = [,T] D([,T],R d ) / We denoe W T he suse of Λ T conssng of connuous sopped pahs. We endow he se Λ T wh a merc space srucure y defnng he followng dsance: d ((,ω),(,ω )) = sup ω(u ) ω (u ) + := ω ω + u [,T] (Λ T,d )shenacompleemercspace. AnymapF : [,T] D([,T],R d ) R verfyng he causaly condon (1) can e equvalenly vewed as a funconal on he space Λ T of sopped pahs. We call non-ancpave funconal on D([,T],R d ) a measurale map F : (Λ T,d ) R and denoe y C, (Λ d T) he se of such maps whch are connuous for he d ) merc. Some weaker noons of connuy for non-ancpave funconals urn ou o e useful [5]: Defnon 1.1. A non-ancpave funconal F s sad o e: connuous a fxed mes f for any [,T], F(, ) : D([,T], ) R n [,T],.e. ω D([,T],R d ), ǫ >, η >, ω D([,T],R d ), ω ω < η = F(,ω) F(,ω ) < ǫ 4

5 lef-connuous f (,ω) Λ T, ǫ >, η > such ha (,ω ) Λ T, ( < and d ( (,ω),(,ω ) ) < η) = F(,ω) F(,ω ) < ǫ We denoe y C, l (Λ d T) he se of lef-connuous funconals. Smlarly, we can defne he se Cr, (Λd T ) of rgh-connuous funconals. We also nroduce a noon of local oundedness for funconals: Defnon 1.2. A non-ancpave funconal F s sad o e oundednesspreservng f for every compac suse K of R d, [,T], C(K, ) > such ha: [, ], (,ω) Λ T, ω([,]) K = F(,ω) < C(K, ). We denoe y B(Λ d T ) he se of oundedness-preservng funconals. We now recall some noons of dfferenaly for funconals followng [4, 3, 11]. For e R d and ω D([,T],R d ), defne he vercal peruraon ω e of (,ω) as he pah oaned y shfng he pah y e a : ω e = ω +e1 [,T]. Defnon 1.3. A non-ancpave funconal F s sad o e: horzonally dfferenale a (,ω) Λ T f DF(,ω) = lm h + F(+h,ω ) F(,ω ) h exss. If DF(,ω) exss for all (,ω) Λ T, hen (3) defnes a nonancpave funconal DF, called he horzonal dervave of F. vercally dfferenale a (,ω) Λ T f he map: g (,ω) : R d R e F(,ω +e1 [,T] ) s dfferenale a. Is graden a s called he Dupre dervave (or vercal dervave) of F a (, ω): (3) ω F(,ω) = g (,ω) () R d (4).e. ω F(,ω) = ( F(,ω), = 1,,d) wh F(,ω) = lm h F(,ω +he 1 [,T] ) F(,ω ) h 5

6 3 ω where (e, = 1,,d) s he canoncal ass of R d. If F s vercally dfferenale a all (,ω) Λ d T, ω F : Λ T R d defnes a nonancpave funconal called he vercal dervave of F. We may repea he same operaon on ω F and defne smlarly 2 ω F, F, ec. Remark 1. Noe ha DF(,ω) s no he paral dervave n : F(+h,ω) F(,ω) DF(,ω) F(,ω) = lm. h h F(,ω) corresponds o a Lagrangan dervave whch follows he ncremen of F along he pah from o +h, whereas n (3) he pah s sopped a and he ncremen s aken along he sopped pah. We consder he followng classes of smooh funconals: Defnon 1.4. We defne C 1,k (Λ d T ) as he se of non-ancpave funconals F : (Λ d T,d ) R whch are horzonally dfferenale wh DF connuous a fxed mes; k mes vercally dfferenale wh j ωf C, l (Λ d T) for j =,,k; DF, ω F,, k ωf B(Λ d T). Consder now a sequence π n = ( = n < n 1 < < n k(n) = T) of parons of [,T]. π n = sup{ n +1 n, = 1 k(n)} wll denoe he mesh sze of he paron. A càdlàg pah x D([,T],R) s sad o have fne quadrac varaon along he sequence of parons (π n ) n 1 f for any [,T] he lm [x] π () := lm (x( n n +1) x( n )) 2 < (5) n +1 exss and he ncreasng funcon [x] has Leesgue decomposon [x] π () = [x] c π ()+ <s x(s) 2 where [x] c π s a connuous, ncreasng funcon. We denoe he se of such pahs Q π ([,T],R). 6

7 Ad-dmensonalpahx = (x 1,...,x d ) D([,T],R d )ssadohavefne quadrac varaon along π f x Q π ([,T],R) and x +x j Q π ([,T],R) for all,j = 1..d. Then for any,j = 1,,d and [,T], we have (x ( n k+1 ) x ( n k )).(xj ( n k+1 ) xj ( n k ))n [x] j π () = [x +x j ] π () [x ] π () [x j ] π (). 2 n k πn, n k The marx-valued funcon [x] : [,T] S + d whose elemens are gven y [x] j π() = [x +x j ] π () [x ] π () [x j ] π () 2 s called he quadrac covaraon of he pah x along he sequence of parons π. For furher dscusson of hs concep, we refer o [3]. Consder now a pah ω Q π ([,T],R d ) wh fne quadrac varaon along π. Snce ω has a mos a counale se of jump mes, we may assume ha he paron exhauss he jump mes n he sense ha sup ω() ω( ) n. (6) [,T] π n Then he pecewse-consan approxmaon ω n () = k(n) 1 = ω( +1 )1 [, +1 [()+ω(t)1 {T} () (7) converges unformly o ω: sup ω n () ω(). Noe ha wh he [,T] n noaon (7), ω n ( n ) = ω( n ) u ω n ( n ) = ω( n +1 ). If we defne ω n, ω(n ) n = ω n + ω( n )1 [ n,t], hen ω n, ω(n ) n ( n ) = ω(n ). Approxmang he varaons of he funconal y vercal and horzonal ncremens along he paron π n, we oan he followng pahwse change of varale formula for C 1,2 (Λ d T ) funconals, derved n [4] under more general assumpons: Theorem 1.5 (Pahwse change of varale formulafor C 1,2 funconals [4]). Le ω Q π ([,T],R d ) verfyng (6). Then for any F C 1,2 (Λd T) he lm k(n) 1 ω F(,ω )d π ω := lm ω F n = 7 ( ) n,ω n, ω(n ) n.(ω( n +1) ω( n )) (8)

8 exss and F(T,ω T ) F(,ω ) = DF(,ω )d+ 1 2 r( 2 ω F(,ω )d[ω] c π ()) + ω F(,ω )d π ω + (F(,ω ) F(,ω ) ω F(,ω ). ω()). ],T] A consequence of hs heorem s he aly o defne he pahwse negral. ω F(,ω )d π ω as a lm of Remann sums compued along he sequence of parons π. For a connuous pah ω C ([,T],R d ) hs smplfes o: k(n) 1 ω F(,ω)d π ω := lm ω F n = ( ) n,ω n n.(ω( n +1) ω( n )) (9) Ths negral, frs consruced n [4], exends H. Föllmer s consrucon [12] for negrands of he form f, f C 2 (R d ) o (pah-dependen) negrands of he form ω F, F C 1,2 (Λ d T ). Ths consrucon apples o ypcal pahs of Brownan moon and semmarngales, whch sasfy he quadrac varaon propery almos-surely, alhough heyhavenfnep-varaon forp = 2so(9) cannoeconsruced as a Young negral [27]. The goal of hs paper s o explore some properes of hs negral. 2 Isomery propery of he pahwse negral 2.1 Pahwse somery formula Le ω Q π ([,T],R d ) eagven pah wh fnequadrac varaon along a nesed sequence of parons π = (π n ) n 1. Our goal s o provde condons under whch he he followng deny holds: [F(,ω )] π () = ω F(s,ω s ) ω F(s,ω s ),d[ω] π (s), (1) where we use he noaon A,B := r(ab), for square marces A,B. 8

9 Ths relaon was frs noed n [3] for funconals of he form F(ω) = φ.dω wh φ pecewse-consan. To exend hs propery o a more general seng we assume a Lpschz-connuy condon on he funconal F and a Hölder-ype regulary condon for he pah ω. Assumpon 1 (Unform Lpschz connuy). K >, ω, ω D([,T],R d ), [,T], F(,ω) F(,ω ) K ω ω. We denoe y Lp(Λ d T, ) he space of all non-ancpave funconals sasfyng he aove propery. Consder a nesed sequence of parons π n = { n, =,...,m(n)} of [,T]. We defne he oscllaon osc(f,π n ) of a funcon f : [,T] R d eween pons of he paron π n as osc(f,π n ) = max j=..m(n) 1 sup f() f( n ( n j,n j+1 ] j ) We make he followng assumpons on he sequence of parons: Assumpon 2 (Vanshng oscllaon along π). Assumpon 3. osc(ω,π n ) n +. max {,..., m(n) 1} F(n +1,ω) F(n,ω) n +. Remark 2 (Parons whvanshngmesh). If π n and F : (Λ d T,d ) R s Lpschz-connuous hen Assumpons 2 and 3 are sasfed for any ω C ([,T],R d ). To see hs, se ǫ >. By unform connuy of ω on [,T] here exss δ(ǫ) > such ha ω() ω(s) ǫ whenever s δ. Snce π n here exss N 1 1 such ha π n ǫ δ(ǫ) for n N 1. Then for n N 1 we have osc(ω,π n ) ǫ so Assumpon 2 holds. Furhermore, for n N 1, d (( n +1,ω),(n,ω)) = n +1 n + ω n +1 ω n π n + sup ω() ω( n [ n,n +1 ] ) 2ǫ so d (( n +1,ω),(n,ω)) as n. Lpschz-connuy of F hen enals max {,..., m(n) 1} F(n +1,ω) F(n,ω) n +. 9

10 In secon 2.2 we wll also consder sequences of parons whose mesh may no converge o zero. For such parons Assumpon 3 s no redundan. For < ν < 1, denoe y C ν ([,T]) he space of ν Hölder connuous funcons: C ν ([,T],R d ) = {f C ([,T]), and f() f(s) sup (,s) [,T] 2, s s ν < + }, C ν ([,T],R d ) = α<ν Cα ([,T],R d ) he space of funcons whch are α Hölder for every α < ν. For ω C ν ([,T],R d ), he followng pecewse consan approxmaon ω n := m(n) 1 = sasfes: ω ω n π n ν. Our man resul s he followng: ω( n +1 )1 [ n,n +1 ) +ω(t)1 {T} (11) Theorem 2.1 (Pahwse Isomery formula). Le π = (π n ) n 1 e a sequence 3 1 of parons of [,T], and ω Q π ([,T],R d ) C ν ([,T],R d ) for ν >, 2 sasfyng Assumpon 2. Le F C 1,2 (Λ d T) Lp(Λ d T, ) wh ω F C 1,1 (Λ d T) such ha Assumpon 3 holds. Then: [. [F(,ω )] π (T) = ] ω F(s,ω s )d π ω (T) = π ω F(s,ω s ) ω F(s,ω s ),d[ω] π. (12) Remark 3. We noe ha for ypcal pahs of a Brownan dffuson or connuous semmarngale wh non-degenerae local marngale componen, he assumpons of Theorem 2.1 hold almos surely as soon as Assumpon 1 s sasfed. More generally he resul holds for ω C 1 2 ([,T],R d ), whch corresponds o he Hölder regulary of Brownan pahs [24]. We sar wh an mporan lemma whch s essenal n provng oh he pahwse somery formula and he unqueness of pahwse negral. Ths resul also esalshes a connecon eween he funconal dervaves nroduced n Secon 1 and conrolled rough pahs [17]. 1

11 Lemma 2.2. Le ω C ν ([,T],R d ) for some ν (1/3,1/2] and F C 1,2 (Λ d T,R n ) wh ω F C 1,1 (Λ d T,R n d ) and F Lp(Λ d T, ). Defne Rs,(ω) F := F(s,ω s ) F(,ω ) ω F(,ω )(ω(s) ω()). (13) Then here exss a consan C F,T, ω ν ncreasng n T and ω ν, such ha wh 2β ν = ν(1+ν). R F s,(ω) C F,T, ω ν s 2βν, Proof. We wll prove only he case when he values of F are scalar,.e. n = 1; he exenson o he general case s sraghforward. We sar y recallng he followng resul from [3, Proposon 5.26]: Lemma 2.3. Le G C 1,1 (Λ d T) and λ : [,s] R a connuous funcon wh fne varaon. Then G(s,λ s ) G(,λ ) = DG(u,λ u )du+ Here he negrals are defned n he Remann-Seljes sense. ω G(u,λ u )dλ(u). (*) Now, le us fx a Lpschz connuous pah λ: [,T] R d, usng he aove lemma repeaedly for G = F, ω F, we wll oan an negral formula for R,s F (λ) n erms of he dervaves F. For he sake of convenence we denoe y F and λ respecvely he -h coordnaes of ω F and λ. We also use Ensen s convenon of summaon n repeaed ndexes and he followng noaon δλ,s := λ(s) λ(). Usng (*) for G = F, we have R,s F (λ) = DF(u,λ u )du+ ( F(u,λ u ) F(,λ ))dλ (u) (14) For he second erm on he rgh-hand sde of he aove deny we use he (*) wh G = F and hen Fun s heorem o ge = ( F(u,λ u ) F(,λ ))dλ (u) = D F(r,λ r )(λ (s) λ (r))dr u u D F(r,λ r )drdλ (u) 2 jf(r,λ r )dλ j (r)dλ (u) 2 j F(r,λ r) λ j (r)(λ (s) λ (r))dr. (15)

12 Thus R F,s(λ) = (DF(u,λ u )+D F(u,λ u )δλ u,s)du+ 2 jf(r,λ r )δλ r,sdλ j (r) (16) To use he aove formula for esmae he error erm R F for Hölder connuous pahs we wll use a pecewse lnear approxmaon. For ω C ν le ω N e he pecewse lnear approxmaon of ω on [,s] defned y ω N (r) = ω(r), r [,], ω N (τ N k ) = ω(τn k ), k = {,...,N}, where τn k = +ks N, ω N s lnear on each nerval [τ N k,τn k+1 ]. Then, we have ω N s ν ω C ω ν N ν, ω N ν C ω ν, ω N = δω τ,τ +1 τ +1 τ 1 (τ,τ +1 ) N 1 ν ω ν s ν 1, (17) δω a, ω ν a ν. Usng he local oundedness propery of DF,D ω F and 2 ωf, and he represenaon (16) for λ = ω N, we oan R F,s (ωn ) C F s +C F ω N ν s 1+ν +C F ω N 2 ν N1 ν s 2ν. (18) On he oher hand snce ω N = ω and ω N (s) = ω(s) R F,s(ω N ) R F,s(ω) = F(s,ω N ) F(s,ω) C F ω N ω C F ω ν N ν s ν. (19) from aove esmaes (18), (19) and rangle nequaly R F,s (ω) C F s +C F ω ν s 1+ν +C F ω 2 ν N1 ν s 2ν +N ν s ν. To opmze he aove ound, we choose N so ha ω 2 νn 1 ν s 2ν N ν s ν.e. N ω 2 ν s ν. Hence he resul R F,s(ω) C F,T (1+ ω ν ) s +C F,ν ω 2ν ν s ν+ν2. 12

13 We are now ready o prove he somery propery: Proof of Theorem 2.1. To prove he somery formula we noe ha ( 2 F( n +1,ω n +1 ) F( n,ω n )) ω F(,ω n ) ω F(,ω n ),δω n, n δω +1 n, n +1 R F n,n +1 (ω) 2 +C F R F n,n +1 (ω) δω n,n +1 From he Assumpon 2 follows ha M n := max R F n (ω) n,n +1 and from par a) of Theorem (3.1) we have R F n (ω),n +1 C n +1 n +ν ν2. Snce ν > ( 3 1)/2 s equvalen o ν 2 +ν > 1, we ge 2 R F n (ω) 2 2 1,n +1 CM n ν 2 +ν n +1 n CTM 2 1 ν 2 +ν n. Consequenly, snce δω n, n +1 2 r([ω] π ), we have y Cauchy -Schwarz nequaly R F n (ω) δω,n n +1,n +1 R F n +1(ω) 2,n δω n, n We conclude ( ) 2 F( n +1,ω n +1 ) F( n,ω n ) ω F(,ω n ) ω F(,ω n ),δω n, n δω +1 n, n +1 R F n,n (ω) 2 +C +1 F R F n (ω) δω,n n +1,n +1 whch ogeher wh ω F(,ω n ) ω F(,ω n ),δω n, n +1 mples [. ] ω F(s,ω s )d π ω (T) = π T δω n, n +1 ω F(s,ω s ) ω F(s,ω s ),d[ω] π. 13 ω F(s,ω s ) ω F(s,ω s ),d[ω] π.

14 To prove he equaly [F(,ω )] π (T) = [. ] ω F(s,ω s )d π ω π (T) we noe, usng he change of varale formula (Theorem (1.5)) s enough o prove ha he pahs DF(,ω )d, 2 ω F(,ω ),d[ω] π () have zero quadrac varaon along π n. For he second pah follows from Assumpon 2 as mples ha max [ω]( n +1) [ω]( n ). For he frs pah noe ha snce s ovously a pah of ounded varaon we jus need o prove n +1 ha max DF(,ω )d. For ha we wre n +1 n n DF(,ω )d = = = n +1 n n +1 n n +1 n n +1 [DF(,ω ) DF(,ω n )]d+ DF(,ω n n )d [DF(,ω ) DF(,ω n )]d+f( n +1,ω n ) F(n,ω n ) ) [DF(,ω ) DF(,ω n )]d+ (F( n +1,ω n ) F(n +1,ω n+1 ) ( ) + F( n +1,ω n +1 ) F( n,ω n ). By he connuy of F,DF and Assumpon 2 he frs wo summands n he rgh hand sde of aove equaly unformly converge o as n, y Assumpon 3 he hrd summand also converges unformly o. Remark 4 (Relaon wh Io somery formula). Le P e he Wener measure on C ([,T],R). Then he pahwse negral (,ω) ω F(u,ω)d π ω s defned P almos surely and defnes a process whch s a verson of he Io negral. ω F(,W)dW. Inegrang (12) wh respec o P yelds he well-known Io somery formula [19]:. ) ( E ([ P ω F(,W)dW](T) = E P ) ( ω F(,W)dW 2 = E P So, Theorem 2.1 reveals ha underlyng he Io somery formula s he pahwse somery (12) whch does no rely on he Wener measure. 2.2 Parons of hng mes An alernave approach o he defnon of he pahwse negral s o consder quadrac varaon and Remann sums compued along Leesgue par- ) ω F(,W) 2 d. 14

15 ons.e. parons of hng mes of unformly spaced levels [2, 9, 2, 22]: τ n (ω) =, τn k+1 (ω) = nf{ > τn k, ω() ω(τn k ) 2 n } T. (2) Alhough hs s dfferen n spr from he orgnal approach of Föllmer, here are some argumens for usng such nrnsc sequences of parons for a gven pah, one of hem eng ha quadrac varaon compued along (2) s nvaran under a me change. Thus a naural queson s wheher he resuls aove apply o such parons. We wll now presen a verson of Theorem 2.1 for he sequence of parons defned y (2). Defne m(n) = nf{k 1,τ n k (ω) = T} and denoe τn (ω) = (τ n k (ω),k =,...,m(n)). I s easy o see ha he vanshng oscllaon condon (Assumpon 2) auomacally holds for he sequence (τ n (ω),n 1) snce y consrucon osc(ω,τ n (ω)) 2 n. However, as he example of a consan pah shows, for a general pah ω C ([,T],R d ), he parons τ n (ω) may fal o have a vanshng mesh sze. We wll show now ha, f a pah ω has srcly ncreasng quadrac varaon along s Leesgue paron τ n (ω) hen τ n. Lemma 2.4. Assume ω C ([,T],R d ) has fne quadrac varaon along he Leesgue paron τ n (ω) defned y (2): (,T], lm ω(τ n k+1 n ) ω(τn k ) 2 = [ω] τ(ω) () >. (21) τk n If [ω] τ(ω) () s a srcly ncreasng funcon hen τ n (ω). Proof. Le h >, [,T h]. Denoe y m(n,, + h) he numer of paron pons of τ n (ω) n he nerval [,+h]. Then τ n k +h ω(τ n k+1 ) ω(τn k ) 2 = 4 n (m(n,,+h) 1). Snce [ω] τ(ω) () s srcly ncreasng, τ n k +h ω(τ n k+1 ) ω(τn k ) 2 = 4 n (m(n,,+h) 1) n [ω] τ(ω) (+h) [ω] τ(ω) () > so n parcular m(n,, + h) 4 n. Ths holds for any nerval [,T h] whch mples ha he τ n < h for n large enough. Snce hs s rue for any h >, hs mples τ n. 15

16 The condon ha [ω] τ(ω) s srcly ncreasng s an rregulary condon on ω: means ha he quadrac varaon over any nerval s non-zero. For pahs verfyng hs condon, Theorem 2.1 may e exended o Leesgue parons: Theorem 2.5 (Pahwse Isomery formula along Leesgue parons). Le ( ) 3 1 ω Q τ(ω) ([,T],R d ) C ν ([,T],R d ) for some ν, 1 and F 2 2 C 1,1 (Λ d T ) Lp(Λd T, ) such ha ω F C 1,1 (Λ d T ). If ω has srcly ncreasng quadrac varaon [ω] τ(ω) wh respec o τ(ω) hen he somery formula holds along he paron of hng mes defned y (2): [. [F(,ω )] τ(ω) () = ] ω F(s,ω s )d π ω () = ω F(s,ω s ) ω F(s,ω s ),d[ω] τ(ω). Proof. Frs noe ha he sequence of parons (τ n (ω),n 1) auomacally sasfes Assumpon 2 snce osc(ω,τ n (ω)) 2 n. Snce [ω] τ(ω) s srcly ncreasng, Lemma 2.4 mples ha τ n. Snce ω C ν ([,T],R d ) whch ogeher wh he connuy of F mples ha max {,..., m(n) 1} F(n +1,ω) F(n,ω) n +. so he sequence of parons τ n (ω) sasfes Assumpon 3. The resul hen follows from he Theorem The pahwse negral as a connuous somery Theorem 2.1 suggess ha he exsence of an somerc mappng underlyng he pahwse negral. We wll now proceed o make hs srucure explc. A consequence of Theorem 2.1 s ha, f ω s an rregular pah wh srcly ncreasng quadrac varaon, any regular funconal F(.,ω) has zero quadrac varaon along π f and only f ω F vanshes along ω: Proposon 2.6 (Preservaon of rregulary). Le ω Q π ([,T],R d ) ( ] 3 1 C ν ([,T],R d ) for some ν, 1 such ha d[ω]π := a() > s a 2 2 d rgh-connuous, posve defne funcon, and F C 1,2 (Λ d T) Lp(Λ d T, ) e a non-ancpave funconal wh ω F C 1,1 (Λ d T ). 16

17 If Assumpons 2 and 3 hold, hen he pah F(,ω) has zero quadrac varaon along he paron π f and only f ω F(,ω) =, [,T]. Proof. Indeed, from Theorem 2.1 [F(,ω )](T) = ω F(s,ω)a(s) ω F(s,ω)ds. Snce a() s posve defne he negrand on he rgh hand sde s nonnegave and srcly posve unless ω F(s,ω s ) =. So y rgh-connuy of he negrand he negral s zero f and only f ω F(,ω ). Le F C 1,2 (Λ T ) eafunconal sasfyng assumpons of Theorem 2.1. We denoe R(Λ T ) he se of such regular funconals. Proposon 2.6 may e undersood n he followng way: f a pah s rregular n he sense of havng srcly ncreasng quadrac varaon, hs propery s locally preserved y any regular funconal ransformaon F as long as ω F does no vansh. We noe ha for ω C 1 2 ([,T],R d ), we have F(,ω) C 1 2 ([,T],R). Le a: [,T] S+ d e a connuous funcon akng values n posvedefne symmerc marces. Defnon 2.7 (Harmonc funconals). F R(Λ T ) s called a harmonc f (,ω) Λ T, DF(,ω ) ωf(,ω ),a() =. We denoe H a (Λ T ) he space of a( )-harmonc funconals. Noe ha for any F R(Λ T ) he funconal defned y G(,ω) = F(,ω) DF(s,ω)ds ω F(s,ω),a(s) ds s a( )-harmonc. The class of harmonc funconals plays a key role n proalsc nerpreaon of he Funconal Io calculus [14, 6, 3]. We wll now see ha hs class also plays a role n he exenson of he pahwse negral. Le ω Q π ([,T],R d ) C ν ([,T],R d ) such ha d[ ω] π /d = a. The funconal change of varale formula (Theorem 1.5 ) hen mples ha F H a (Λ T ), [,T], F(, ω) = F(, ω)+ ω F(u, ω)d π ω. 17

18 By Theorem 2.1, we have [F(., ω)] π () = Consder he vecor spaces ω F(u, ω)a(u) ω F(u, ω)du = ω F(., ω) 2 L 2 ([,T],a) <. H a ( ω) := { F(, ω ) F H a (Λ T ) } Q π ([,T],R), V a ( ω) := { ω F(, ω ) F Ha (Λ T ) } L 2 ([,T],a). whch are he mages of ω under all harmonc funconals and her vercal dervaves. Proposon 2.6 hen mples ha he map ω H a ( ω) ω π = [ω] π (T) defnes a norm on H a ( ω). The pahwse negral can hen e lfed o a connuous map I ω : ( V a ( ω), L 2 ([,T],a)) (Ha ( ω), π ) whch s n fac an somery: φ = ω F(., ω) I ω (φ) := φd π ω. (22) Proposon 2.8 (Isomerypropery). I ω : ( V a ( ω), L 2 ([,T],a)) (Ha ( ω), π ) s an njecve somery. 3 Pahwse naure of he negral The defnon (9) of he negral ω F(.,ω)d π ω nvolves values of he negrand ω F along pecewse consan approxmaons of ω. To e ale o nepre ω F(.,ω)d π ω as a pahwse negral, we mus show ha only depends on he values ω F(,ω), [,T] of he negrand along he pah ω. Our goal s o provde condons under whch he followng propery holds: Propery 1 (Pahwse naure of he negral). Le F 1, F 2 C 1,2 (Λ d T ), and ω Q π ([,T],R) C ν ([,T]) for some < ν < 1/2. If ω F 1 (,ω ) = ω F 2 (,ω ), [,T] hen ω F 1 d π ω = ω F 2 d π ω. 18

19 To gve a precse saemen, le us nroduce he followng assumpon: Assumpon 4 (Horzonal local Lpschz propery). A non-ancpave funconal F: Λ d T V wh values n a fne dmensonal real vecor space V, sasfes he horzonal locally Lpschz propery f ω D([,T],R d ), C >, η >, h, T h, ω D([,T],R d ), ω ω < η, F(+h,ω ) F(,ω ) Ch. The aove assumpon assers he Lpschz regulary of F n me as he value of he pah ω s frozen. Noe ha hs propery s weaker han horzonal dfferenaly. We sar wh a useful lemma: Lemma 3.1 (Expansonformulaforregularfunconals). Le ω C ν ([,T],R d ) for some ν (1/3,1/2] and F C 1,1 (Λ d T,R n ) e a non-ancpave funconal suchha ω F C 1,1 (Λ d T,Rn d ), 2 ωf C1,1 (Λ d T,Rn d d ), F,DF, 3 ω F Lp(Λ d T, ) and 3 ωf horzonally locally Lpschz. Then F(s,ω s ) F(,ω ) = ω F(,ω )(ω(s) ω())+ DF(u,ω u )du ωf(,ω ),(ω(s) ω()) (ω(s) ω()) +O( s 3ν2 +ν ), as s, unformly n,s [,T]. Proof. For he resul we wll need o furher expand he represenaon (16). Frs, noe ha he second erm n he hrd lne of (15) can e wren as u 2 jf(r,λ r )dλ j (r)dλ (u) = 2 jf(,λ ) + u u dλ j (r)dλ (u) ( 2 j F(r,λ r ) 2 jf(,λ ) ) dλ j (r)dλ (u) (23) Usng he Lemma (*) for G = j 2 F and hen Fun s heorem, we ge 19

20 where = Λ j a, = u + = ( 2 j F(r,λ r ) 2 j F(,λ ) ) dλ j (r)dλ (u) u r u r D j 2 F(τ,λ τ)λ j τ,s dτ + a u a dλ j (r)dλ (u) = D 2 jf(τ,λ τ )dτdλ j (r)dλ (u) 3 jk F(τ,λ τ)dλ k (τ)dλ j (r)dλ (u) Comnng (14), (15), (23) and (24) we oan R F,s(λ) = + DF(u,λ u )du+ D j 2 F(τ,λ τ)λ j τ,s dτ + a 3 jk F(τ,λ τ)λ j τ,s λ k (τ)dτ, ( λ j (u) λ j (a) ) λ (u)du. D F(r,λ r )δλ r,sdr + 2 jf(,λ )Λ j,s 3 jk F(τ,λ τ)λ j τ,s λ k (τ)dτ. (24) (25) Fnally explong he symmery of second and hrd order dervaves: j 2 F = 2 j F, 3 jk F = 3 jkf, from (25) we oan: R F,s(λ) = + DF(u,λ u )du+ D j 2 F(τ,λ τ) Λ j τ,s dτ + D F(r,λ r )δλ r,sdr + 2 jf(,λ ) Λ j,s 3 jk F(τ,λ τ) Λ j τ,s λ k (τ)dτ, (26) where Λ s he symmerc par of marx Λ. By negraon y pars s easy o compue Therefore, R F,s(λ) = Λ j a, = Λj a, +Λj a, 2 DF(u,λ u )du+ = 1 2 (λj () λ j (a))(λ () λ (a)). D 2 j F(τ,λ τ)δλ τ,s δλj τ,s dτ D F(r,λ r )δλ r,sdr jf(,λ )δλ,sδλ j,s 2 3 jk F(τ,λ τ)δλ τ,s δλj τ,s λ k (τ)dτ, (27)

21 we decompose he las erm n he aove as follows 3 jk F(τ,λ τ)δλ τ,s δλj τ,s λ k (τ)dτ = + 3 jk F(,λ )δλ τ,s δλj τ,s λ k (τ)dτ ( 3 jk F(τ,λ τ ) 3 jk F(,λ ) ) δλ τ,sδλ j τ,s λ k (τ)dτ Explong he cyclcal symmery of ensor jk 3 F n he ndces,j,k: 3 jk F(,λ )δλ τ,sδλ j τ,s λ k (τ) = 3 jk F(,λ )δλ τ,sδλ j τ,s = jk F(,λ )[δλ τ,sδλ j d τ,s dτ λk τ,s +δλ j τ,sδλ k d τ,s dτ λ τ,s +δλ k τ,sδλ d τ,s hence = jk F(,λ ) d dτ d dτ λk τ,s dτ λj τ,s] ( δλ τ,sδλ j τ,sλ k τ,s 3 jk F(,λ )δλ τ,sδλ j τ,s λ k (τ)dτ = jk F(,λ )δλ,sδλ j,s λk,s. Thanks o hs (27) can e wren as R,s F (λ) = DF(u,λ u )du+ D F(r,λ r )δλ r,s dr j F(,λ )δλ,s λj,s ) D 2 j F(τ,λ τ)δλ τ,s δλj τ,s dτ jk F(,λ )δλ,s δλj,s λk,s ( 3 jk F(τ,λ τ ) 3 jk F(,λ ) ) δλ τ,sδλ j τ,s λ k (τ)dτ. (28) Now, as n he proof of par a), we ake λ = ω N and esmae R F,s(ω N ). To esmae he las erm n (28) we use ha 3 F s n Lp([,T], ) and s locally horzonally Lpschz: 3 jk F(τ,ωN τ ) 3 jk F(,ωN ) 3 jk F(τ,ωN τ ) 3 jk F(τ,ωN,τ ) + 3 jk F(τ,ωN,τ ) 3 jk F(,ωN ) C F ω N,τ ωn τ +C F τ C F, ω ν τ ν +C F τ C F, ω ν,t s ν. Pluggng hs esmae no he formula(28) and usng he local oundedness of he dervaves DF,D F, j 2 F,D 2 j F, 3 jkf and he esmaes (17) we 21

22 oan RF,s (ωn ) DF(u,ωu N )du j F(,ω )δω,s δωj,s C F, ω ν s 1+ν +C F, ω ν s 1+2ν +C F, ω ν s 3ν +C F, ω ν N 1 ν s 4ν C F, ω ν,t s 3ν +C F, ω ν N 1 ν s 4ν, (29) where we have used also ha ω N = ω, ω N (s) = ω(s). Recallng (19) we conclude y rangle nequaly RF,s (ω) DF(u,ω u )du j F(,ω )δω,s δωj,s DF(u,ω N u ) DF(u,ω u ) du+cf N ν s ν +C F, ω ν,t s 3ν +C F, ω ν N 1 ν s 4ν, (3) The aove nequaly holds for any N > 1,hus we can ake N s 3ν o ge RF,s(ω) DF(u,ω u )du jf(,ω )δω,sδω j,s DF(u,ω N u ) DF(u,ω u ) du+cf, ω ν s ν+3ν2 C F ω ν s 1+ν +C F, ω ν s ν+3ν2, where n he las nequaly we used ha DF s Lpschz connuous. Hence he resul. We are now ready o prove he man resul of hs secon, whch gves suffcen condons on he funconal F under whch he pahwse negral ω F(,ω)d π ω s a (pahwse) lm of Remann sums compued along ω, raher han approxmaons of ω: 13 1 Theorem 3.2. Le ω Q π ([,T],R d ) C ν ([,T],R d ) wh ν > 6 sasfyng Assumpon 2. Assume F C 1,2 (Λ d T ) s such ha ωf, 2 ω F, 22

23 C 1,1 (Λ d T), F,DF, 3 F Lp(Λ d T, ) and 3 ωf s horzonally locally Lpschz. Then he pahwse negral (9) s a lm of non-ancpave Remann sums: ω F(u,ω)d π ω(u) = lm n + In parcular, s value only depends on F(.,ω) and [,s] π n ω F(,ω)(ω(s) ω(). Proof. Le us denoe ω F(,ω) = = ω F(u,ω)d π ω(u) =. A n := F( n +1,ω n +1 ) F( n,ω n ) ω F(,ω n )(ω( n +1) ω( n )) n +1 n DF(u,ω)du ωf(,ω n ),ω n, n ω +1 n, n +1 From Assumpon (2) max A n n and y par ) of Theorem (3.1) A n C n +1 n 3ν2 +ν. From he condon on ν, 3ν 2 +ν > 1, herefore A n C(max A n ) 1 1 3ν 2 +ν n +1 n CT(max A n ) 1 1 3ν 2 +ν, whch mples A n. Hence he lm of Remann sums exs and s equal o lm n ω F(,ω n )(ω( n +1) ω( n )) = F(T,ω) F(,ω) ωf(,ω),d[ω] π () = DF(u,ω)du ω F(,ω)d π ω(). 4 Rough-smooh decomposon for funconals of rregular pahs As an applcaon of he prevous resuls, we now derve a decomposon heorem for funconals of rregular pahs. Le π = {π n } e a sequence of 23

24 parons wh π n. Consder an rregular pah wh srcly ncreasng quadrac varaon along π: ω Q π ([,T],R d ) C 1/2 ([,T],R d ) wh d[ ω] π d > d a.e. (31) We defnehe vecor space of pahs oaned as he mage of ω under regular non-ancpave funconals: U( ω) := { F(, ω) F sasfes he assumpons of Theorem 3.2 } Qπ ([,T],R). Denoe V a ( ω) := { ω F(, ω) F sasfes he assumpons of Theorem 3.2 } Q π ([,T],R d ). The followng resul gves a sgnal plus nose decomposon for such pahs, n he sense of Drchle processes [13]: Proposon 4.1 (Rough-smooh decomposon of pahs). Any pah ω U( ω) has a unque decomposon ω() = ω()+ φd π ω +s() where φ V a ( ω), [s] π =. (32) The erm φ.d π ω s he rough componen of ω whch nhers he rregulary of ω whle s(.) represens a smooh componen wh zero quadrac varaon. Remark 5(Pahwse Doo-Meyer decomposon). Ths resul may e vewed as a pahwse analogue of he well-known decomposon of a connuous semmarngale no a local marngale (a process wh srcly ncreasng quadrac varaon A smlar pahwse decomposon resul was oaned y Harer and Plla [18] usng rough pah echnques (see also [16, Theorem 6.5] and [15]). Unlke he semmarngale decomposon, he resul of Harer and Plla [18] nvolves Hölder-ype regulary assumpons on he componens, as well as a unform Hölder roughness condon on he pah. Our seng s closer o he orgnal semmarngale decomposon n ha he componens are dsngushed ased on quadrac varaon and he rregulary condon (31) on ω s also expressed n erms of quadrac varaon. 24

25 Proof. Le ω U( ω). Then here exss F R(Λ d T) verfyng he assumpons of Theorem 3.2, wh ω() = F(, ω). The funconal change of varale formula appled o F hen yelds he decomposon wh φ = ω F(., ω) V a ( ω) and s() = F(,ω )+ du(df(u,ω)+ 1 2 < 2 ωf(u,ω),d[ω] >). The connuy of hs negrand mples ha s has fne varaon so [s] π =. Consder now wo dfferen decomposons ω() ω() = φ 1 d π ω +s 1 () = φ 2 d π ω +s 2 (). so s 1 s 2 = (φ 1 φ 2 )d π ω. Snce φ 1 φ 2 V a ( ω) hs represenaon shows ha s 1 s 2 Q π ([,T],R) so he pahwse quadrac covaraon [s 1,s 2 ] π s well defned and we can apply he polarzaon formula o conclude ha [s 1 s 2 ] π =. Applyng Proposon 2.6 o s 1 s 2 = (φ 1 φ 2 )d π ω. hen mples ha ha φ 1 = φ 2. Fnally, applyng Theorem 3.2 o whch yelds unqueness of he decomposon (32). (φ 1 φ 2 )d π ω henshowshas 1 = s 2 Remark 6. As noed y Sched [26], Q π ([,T],R) s no a vecor space and, gven wo pahs (ω 1,ω 2 ) Q π ([,T],R) he quadrac covaraon along π canno e defned n general. By conras, he space U( ω) nroduced aove s a vecor space of pahs wh fne quadrac varaon along π. Moreover, for any par of elemens (ω 1,ω 2 ) U( ω) 2, he quadrac covaraon along π s well defned; f ω = φ.d π ω +s s he rough-smooh decomposon of ω he quadrac covaraon s gven y References [ω 1,ω 2 ] π () = < φ 1 φ 2,d[ω] >. (33) [1] J. Beron, Temps locaux e négraon sochasque pour les processus de Drchle, n Sémnare de Proalés, XXI, vol of Lecure Noes n Mah., Sprnger, Berln, 1987, pp [2] R. V. Chacon, Y. Le Jan, E. Perkns, and S. J. Taylor, Generalsed arc lengh for Brownan moon and Lévy processes, Z. Wahrsch. Verw. Geee, 57 (1981), pp

26 [3] R. Con, Funconal Io Calculus and funconal Kolmogorov equaons, n Sochasc Inegraon y Pars and Funconal Io Calculus (Lecure Noes of he Barcelona Summer School n Sochasc Analyss, July 212), Advanced Courses n Mahemacs, Brkhauser Basel, 216, pp [4] R. Con and D.-A. Fourné, Change of varale formulas for nonancpave funconals on pah space, J. Func. Anal., 259 (21), pp [5] R. Con and D.-A. Fourné, A funconal exenson of he Io formula, C. R. Mah. Acad. Sc. Pars, 348 (21), pp [6] R. Con and D.-A. Fourné, Funconal Io calculus and sochasc negral represenaon of marngales, Annals of Proaly, 41 (213), pp [7] R. Con and Y. Lu, Weak approxmaon of marngale represenaons, Sochasc Process. Appl., 126 (216), pp [8] R. Con and C. Rga, Pahwse analyss and rousness of hedgng sraeges, workng paper, Laoraore de Proalés e Modèles Aléaores, 215. [9] M. Davs, J. O lój, and P. Sorpaes, Pahwse sochasc calculus wh local mes, workng paper, Imperal College London, 215. [1] C. Dellachere and P.-A. Meyer, Proales and poenal, vol. 29 of Norh-Holland Mahemacs Sudes, Norh-Holland Pulshng Co., Amserdam, [11] B. Dupre, Funconal Iô calculus, Bloomerg Porfolo Research paper, (29). [12] H. Föllmer, Calcul d Iô sans proalés, n Semnar on Proaly, XV (Unv. Srasourg, Srasourg, 1979/198) (French), vol. 85 of Lecure Noes n Mah., Sprnger, Berln, 1981, pp [13] H. Föllmer, Drchle processes, n Sochasc Inegrals: Proceedngs of he LMS Durham Symposum, July 7 17, 198, D. Wllams, ed., Sprnger, Berln, 1981, pp [14] D.-A. Fourne, Funconal Io calculus and applcaons, ProQues LLC, 21. PhD Thess, Columa Unversy. 26

27 [15] P. Frz and A. Shekhar, Doo-Meyer for rough pahs, Bullen of he Insue of Mahemacs. Academa Snca., 8 (213), pp [16] P. K. Frz and M. Harer, A course on rough pahs, Unversex, Sprnger, 214. [17] M. Gunell, Conrollng rough pahs, J. Func. Anal., 216 (24), pp [18] M. Harer and N. S. Plla, Regulary of laws and ergodcy of hypoellpc SDEs drven y rough pahs, Ann. Proa., 41 (213), pp [19] N. Ikeda and S. Waanae, Sochasc dfferenal equaons and dffuson processes, vol. 24 of Norh-Holland Mahemacal Lrary, Norh-Holland Pulshng Co., Amserdam; Kodansha, Ld., Tokyo, second ed., [2] R. L. Karandkar, On pahwse sochasc negraon, Sochasc Process. Appl., 57 (1995), pp [21] M. Nuz, Pahwse consrucon of sochasc negrals, Elecron. Commun. Proa., 17 (212), pp. no. 24, 7. [22] N. Perkowsk and D. J. Prömel, Local mes for ypcal prce pahs and pahwse Tanaka formulas, Elecronc Journal of Proaly, 2 (215), pp. no. 46, 15. [23], Pahwse sochasc negrals for model free fnance, (215). [24] D. Revuz and M. Yor, Connuous marngales and Brownan moon, vol. 293 of Grundlehren der Mahemaschen Wssenschafen, Sprnger-Verlag, Berln, hrd ed., [25] F. Russo and P. Vallos, Elemens of sochasc calculus va regularzaon, n Sémnare de Proalés, XL, vol of Lecure Noes n Mah., Sprnger, Berln, 27, pp [26] A. Sched, On a class of generalzed Takag funcons wh lnear pahwse quadrac varaon, J. Mah. Anal. Appl., 433(216), pp [27] L. C. Young, An nequaly of he Hölder ype, conneced wh Seljes negraon, Aca Mah., 67 (1936), pp