arxiv:math/ v1 [math.pr] 15 May 2000

Transcription

1 Stieltje integral of Hölder continuou function with application to fractional Brownian motion. arxiv:math/5147v1 [math.pr] 15 May A. A. Ruzmaikina 1 Department of Phyic, Princeton Univerity, Princeton NJ 8544 Abtract We give a new etimate on Stieltje integral of Hölder continuou function and ue it to prove an exitence-uniquene theorem for olution of ordinary differential equation with Hölder continuou forcing. We contruct tochatic integral with repect to fractional Brownian motion, and etablih ufficient condition for it exitence. We prove that tochatic differential equation with fractional Brownian motion have a unique olution with probability 1 in certain clae of Hölder-continuou function. We give tail etimate of the maximum of tochatic integral from tail etimate of the Hölder coefficient of fractional Brownian motion. In addition we apply the technique ued for ordinary Brownian motion to contruct tochatic integral of determinitic function with repect to fractional Brownian motion and give tail etimate of it maximum. 1 Introduction. Fractional Brownian motion (fbm) wa firt introduced by Kolmogorov in 194 [Kl] and later tudied by Lévy and Mandelbrot [Lv, Mn]. Let (Ω, F, P) be a probability pace, and α IR, α < 1 be a parameter. FBm with exponent α i a elf-imilar, centered Gauian random proce ξ α (t, ω), (t, ω) [, ) Ω (often abbreviated a ξ α (t)) with tationary increment and the correlation function E(ξ α (), ξ α (t)) = C( 1+α + t 1+α t 1+α Γ(1 α) ), C = α co 1+απ 1+α π. For α = we recover the ordinary Brownian motion (obm). From the form of the correlation function of the increment ddt E(dξ α (), dξ α (t)) = Cα(α + 1) t 1 α, one can ee that fbm i not Markovian for all α. The trajectorie of fbm are almot urely Hölder-continuou with exponent le than 1+α, and not Hölder-continuou with exponent greater or equal to 1+α. The finite-dimenional ditribution of fbm are cale-invariant: r, t >, r 1+α ξ α (rt) dit = ξ α (t). 1 Preent addre: Department of Mathematic, Univerity of Virginia, Kerchof Hall, Charlotteville VA anataia@virginia.edu.

2 MAIN THEOREMS. The cale-invariance and long-range correlation make fbm important in application. In recent year there ha been much interet in fbm, ee for example [G, K1, K, Lb, Ml, Sn, T1, T, W, X, Yr]. The problem of the contruction of tochatic calculu with repect to fbm ha been conidered in [Ln, DH, DU]. The main difficulty i that fbm fail to be a emi-martingale for all < α < 1 [Ln]. Our goal i to contruct the tochatic integral with repect to fbm and to prove the general exitence-uniquene theorem for olution of tochatic differential equation (SDE ) with fbm. Due to the trongly non-markovian nature of fbm, the mot natural way to define the tochatic integral i to do it pathwie, for a.e. ω. Thi bring u to the quetion of exitence of Stieltje integral with repect to Hölder continuou function and of the exitence and uniquene of olution of ODE with Hölder continuou forcing (Section ). The exitence of Stieltje integral with repect to Hölder continuou function wa etablihed in [Yg, Kn]. Below we ue the method of Renormalization group to prove a formula (Theorem ) which allow u to etimate the L -norm of the Stieltje integral. We then ue thi etimate to prove the general exitenceuniquene theorem for olution of ODE with Hölder continuou forcing. In ection 3 we apply thee reult to contruct the tochatic integral with repect to fbm and how the exitence and uniquene of olution of tochatic differential equation with fbm. Previou reult in thi direction were obtained by [Ln, DH]. In ection 4 we ue Theorem to get etimate on the tail of the tochatic integral with repect to fbm. We alo conider the quetion of exitence of fbm tochatic integral of determinitic function and derive the probability ditribution of it maximum. Throughout the paper, C β (I) denote the pace of Hölder-continuou function on the interval I with exponent β. We will have many occaion to partition an interval into n ub-interval of equal ize; the i-th partition point of the interval under dicuion i denoted by n i, and we put f( + n i ) = f( + n i+1) f( + n i ) if f i a function defined on the interval. Main Theorem. In thi ection we conider the quetion of exitence of a Stieltje integral for function of unbounded variation, give a formula which allow to etimate it upper bound and prove the exitence-uniquene theorem for ordinary differential equation with Hölder continuou forcing. In application (uch a the contruction of the tochatic calculu for fbm), it i often intereting to conider Stieltje integral fdg for function of unbounded variation. The difficulty in contructing the integral i that the upper bound on Riemann um f g diverge. However thi problem can be olved on certain clae of f, g, ince, if g ocillate fat enough, the nearby term in the Riemann um f g may cancel. It i hown in [Yg, Kn] that the Stieltje integral exit on certain clae of Hölder continuou function. Theorem 1 (Young-Kondurar) Let f C β (IR), g C γ (IR). If β +γ > 1, then fdg exit a a Stieltje integral for all t >.

3 MAIN THEOREMS. 3 Generalization of Theorem 1 can be found in [Dy]. The next formula i ueful in etimating the L -norm of the Stieltje integral and i the main tool ued in thi paper. Theorem Let f, g, β, and γ be a in Statement 1. Then f(τ)dg(τ) = f()(g(t) g()) + k=1 k 1 1 i= f( + k i) g( + k i+1). (1) A far a we know thi form of the Stieltje integral ha not appeared before. The idea behind the proof of Theorem i to write a recurion between the Riemann um on finer partition of the interval and the Riemann um on coarer partition of the interval, very much like in Renormalization group. The ame idea i ued in [Ru] to give a new proof of Theorem 1, which amount to howing that the right hand ide of the equation (1) doe not depend on the equence of partition we chooe. Below we will need the change of variable formula which i a determinitic analog of the Itô formula for Brownian motion. Lemma.1 Let u : [, ) IR IR, e, f : [, ) IR, 1 > γ > 1, β > 1 γ, T >. Suppoe f C β ([, T]), g C γ ([, T]), e i continuou, u i differentiable in t with continuou u/ t and twice differentiable in x.for t T, conider the Stieltje integral η(t) = η() + e()d + f()dg(). Then for all t T, v(t) = u(t, η(t)) i alo a Stieltje integral whoe differential i dv = u t u dt + dη. () η Note that for γ > 1, the change of variable formula i the ame a in the cae of ordinary calculu. Thi follow from the fact that the quadratic variation of g i zero and therefore the term of order dη are negligible. Theorem 1 and can be ued to prove the following general theorem on the exitence and uniquene of olution of ordinary differential equation with Hölder continuou forcing. Theorem 3 Let b, σ : [, ) IR IR, g C γ (IR) and 1/ < γ 1. Suppoe b i globally Lipchitz in t and x, and σ C 1 (IR) with σ, σ t, σ x globally Lipchitz in t and x. Then for every T > and γ > β > 1 γ, the ordinary differential equation ha a unique olution in C β ([, T]). dx(t) = b(t, x(t))dt + σ(t, x(t))dg(t), x() = x (3)

4 3 APPLICATIONS TO FRACTIONAL BROWNIAN MOTION. 4 3 Application to fractional Brownian motion. The natural way of contructing the fbm tochatic integral f(τ, ω)dξ α(τ, ω) i to define it a a Stieltje integral for a.e. ω. Since ξ α (τ, ω) C γ (IR) for γ 1+α with probability one, Theorem 1 implie that the fbm tochatic integral f(τ, ω)dξ α(τ, ω) exit for all f C β (IR) with β > 1 α. The paper [Ln] contain a pecial cae of thi reult for function f(ξ α (, ω)) C 1 (IR) for a.e. ω, derived by expanding f in Taylor erie in ξ α and uing the fact that the quadratic variation of ξ α i zero. Similarly, Theorem hold with probability one for f(τ, ω)dξ α(τ, ω) for all f C β (IR) with β > 1 α. Itô formula for fbm can be tated pathwie, a a corollary of Lemma.1, however it can be tated alo under weaker aumption. Itô formula for fbm ha been etablihed under very different aumption in [DH] for < α < 1, and in [DU] for 1 < α < 1. Lemma 3.1 Let u : [, ) IR IR, e, f : [, ) Ω IR, < α < 1, β > 1 α, T >. Suppoe f C β ([, T]), e i continuou, u i differentiable with continuou u/ t and u/ x C γ ([, T]). For t T, conider the tochatic integral η(t, ω) = η(, ω) + e(, ω)d + f(, ω)dξ α (, ω). Suppoe up E ( u (t, η(t, ω)) ) ( η) <. Then for all t T, v(t) = u(t, η(t, ω)) i alo t T a tochatic integral whoe differential i dv = u u dt + t η dη. Note that for < α < 1, Itô formula for fbm i the ame a in the determinitic cae. Thi follow from the fact that the quadratic variation of fbm i zero. Theorem 3 implie the following exitence-uniquene theorem for SDE with fbm: Theorem 4 Let b, σ : [, ) IR IR, Z : Ω IR and < α < 1, 1 α < β < 1+α. Suppoe b i globally Liphitz in t and x, and σ C 1 (IR) with σ, σ t, σ x globally Liphitz in t and x. Then for every T > the SDE dx(t, ω) = b(t, X(t, ω))dt + σ(t, X(t, ω))dξ α (t, ω), X(, ω) = Z(ω) (4) ha a unique olution in C β ([, T]) with probability 1. In [Ln, DH], the exitence and uniquene theorem for olution of tochatic differential equation wa proved when the diffuion coefficient i a function of time t only; in [Ln], the exitence theorem wa proved alo when the drift and diffuion coefficient are function of X only. Both paper adapt the method ued for obm. The new idea in thi paper i to ue the formula in Theorem, which allow u to prove the exitence and uniquene theorem in the general cae, when the drift and diffuion are function of both t and X.

5 4 ADDITIONAL RESULTS FOR FRACTIONAL BROWNIAN MOTION. 5 4 Additional reult for fractional Brownian motion. When the integrand i of the form f(τ, ξ α (τ, ω)), we can obtain etimate of the tail of the maximum of tochatic integral from Theorem and from tail etimate of the Hölder coefficient of fbm. Theorem 5 Let f : [, 1] IR IR and 1 < γ < 1+α, δ = 1+α γ. Suppoe f i differentiable with bounded f t(t, x), f x(t, x). Write f t = up f t(t, x) and f x = up f x(t, x). [,1],IR [,1],IR Then where P(max t 1 ν = γ 1 1 f x f(τ, ξ α (τ, ω))dξ α (τ, ω) > λ) γ + 1 γ 1 π ( f(, ) + f t γ+1 ) + (1 δ)n n=1 4 γ f x λ f(, ) f t ν exp{ γ 1 γ + 1 ν nδ 1 }. (5). (6) γ+1 More information on the tochatic integral i available when f i a function of t only, ince in thi cae the technique ued for obm can be applied. Statement 4.1 Let < α < 1, and let f(t, ω) = f(t) be a function of t only. If f L 1+α ([, )), then the fbm tochatic integral t f(τ)dξ α(τ, ω) exit in L ([, ) Ω) for all t [, ). The proof i baed on the Hardy-Littlewood-Sobolev inequality (ee [LL]). Since f(τ)dξ α(τ, ω) i a Gauian proce, we can how the following propertie: Statement 4. Let α and f be a in Theorem 4.1, and let < β < α. Write q f (, t) = f(u)f(v) dudv. If f L u v 1 α 1+β ([, 1]), then 1. for a.e. ω, f(τ)dξ α(τ, ω) ha a t-continuou verion for all t [, 1] ;. for every real r, P(max t t 1 f(τ)dξ α(τ, ω) > λ) i bounded from above by λr/ q f+ (,1) + λ(1 r)/ q f (,1) / dx, where f π e x ± = f ± f ; 3. for every integer m and real λ 1 + log m 4, P(max t 1 f(τ)dξ α(τ, ω) > λ) i bounded from above by 5 λ/c m e x / dx, where c = up q f (, t)+(+ ) up q f (, t)dx <.,t 1 1 t <m x (1) follow from Kolmogorov continuity criterion, the bound () follow from Slepian lemma [Sl] (the intereting cae i < r < 1), and (3) follow from Fernique inequality [F].

6 5 PROOFS OF THEOREMS Acknowledgment. I would like to thank my advior Yakov Sinai for uggeting the problem and for all hi help during the coure of the work, Almut Burchard for uggeting a way to implify the argument of ection 5.3, the referee for hi helpful uggetion in retructuring the paper and epecially for an elegant way to implify the argument of ection 5.4, Tadahi Tokieda for hi help and comment on the text and Luc Rey-Bellet for hi comment on the text. 5 Proof of theorem. 5.1 Proof of Theorem. Proof: The idea of the proof i to write the Riemann um on the maller cale in term of the Riemann um on the larger cale a in Renormalization Group. Denote by S n (f) the Riemann um of f correponding to the partition of [, 1] into n equal ub-interval. We have S n (f) = S n 1 (f) + = = S (f) + n k=1 n 1 1 i= k 1 1 i= f( n i) g( n i+1) f( k i ) g(k i+1 ). A n, S n (f) converge to f(τ)dg(τ) by Theorem 1. The right hand ide converge provided β + γ > Proof of the change of variable formula. The proof given here follow [Mk] for the mot part. Proof: We can write the integral verion of equation (): v(t) v() = u t d + u η dη From Theorem and from continuity of e it follow that: η(t) = f(t) g(t) + e(t) t + O( t) β+γ + o( t). v(t, g(t)) v() = + k [ n t] k [ n t] {u( k n, η( k 1 n)) u(k, η( k n n))} {u( k 1, η( k 1 n n)) u(k, η(k 1 n ))} + u(t, η(t)) t] n u([n, t] n η([n )) n

7 5 PROOFS OF THEOREMS. 7 = k [ n t] + k [ n t] { u t (k 1, η( k 1 n n)) + o( t n n)} { u η [k 1, η(k 1 n )](η( k 1 n n) η(k )) n + 1 u η (k 1, η(k 1 n ))(η( k 1 n n) η(k n )) + o( η )} = {( u t (k 1, η( k u k [ n t] n n)) + η (k 1, η(k 1 n ))e[k 1 n ]) 1 n + o( t n n)} + { u η (k 1, η(k 1 n ))f(k 1 n )(g( k 1 n n) g(k )) n k [ n t] + 1 u η (k 1, η(k 1 n ))f(k 1 n n ) (g( k 1 n) g(k n )) + o( g )} ( t u = + u ) η e() u d + o(1) + η f()dg() + 1 u ηη f g + o ( ) g. k [ n t] Since u ηη f g O ( t n ) γ, and γ > 1, k [ n t] u ηη f g a n. Similarly, o ( g ) a n. 5.3 Proof of Theorem 3: local exitence and uniquene. In thi ection we will prove the local exitence and uniquene reult. We will derive the global reult in Theorem 3 by howing that we can apply the local exitence and uniquene reult repeatedly, taking a initial condition the value of the olution at the end of the previou interval. Fix T >, [, T] and a IR. Define an integral operator F t X = b(τ, X(τ))dτ + σ(τ, X(τ))dg(τ) + a. For = and a = x, olution of the ODE (3) are exactly fixed point of F. For < β < 1, and for ε >, conider the Banach pace C β ([, + ε]) with the norm f(t f β = max f(t) + max 1 ) f(t ) t t 1 t t 1 t. For K >, conider the cloed ubet C β β K([, + ε]) = {f : f(t ) f(t 1 ) K t t 1 β, t 1, t [, + ε]} of C β ([, + ε]). Finally, conider the cloed ubet CK([, β + ε], a) = {f CK([, β + ε]) : f() = a} of C β ([, + ε]). For a given g C γ ([, T]), there i L > uch that g C γ L ([, T]). We will how by the contraction mapping theorem that for given T,, a, K, L, there exit ε > uch that F t ha a unique fixed point on CK([, β + ε], a). We need to etablih that F t map CK([, β + ε], a) into itelf and that it i a contraction. Thi will be done in Lemma 5.3. The neceary preliminary etimate are obtained in Corollarie 5.1 and 5. of Theorem. In what follow we will conider T, K, L > to be fixed.

8 5 PROOFS OF THEOREMS. 8 Corollary 5.1 Let β and γ be a in Theorem 1, T > and let g C γ L([, T]). Then for every, t [, T], Proof: By Theorem X(τ)dg(τ) = L X β (t ) γ (t )β (1 + ). (7) β+γ X(τ)dg(τ) X() g(t) g() + k=1 k 1 1 i= X( + k i ) g( + k i+1 ). (8) Since X() X β, X( + k i ) X β( t ) β and g C γ k L ([, T]), we obtain after performing the um in (8), X(τ)dg(τ) L X β (t ) γ (t ) β+γ + L X β β+γ. Corollary 5. Let ε > and let β, γ, g and T be a in Corollary 5.1. Then, for every [, T] and t [, + ε], and Proof: X(τ)dτ β X ε 1 β (1 + ε β ), (9) X(τ)dg(τ) β L X β ε γ β (1 + ε β ε β )(1 + ), (1) β+γ X(τ)dτ β = max X(τ)dτ + t [,+ε] From Corollary 5.1 we obtain X (ε + ε 1 β ). max t 1 t [,+ε] t 1 X(τ)dτ t t 1 β imilarly we obtain max X(τ)dg(τ) L X β ε γ ε β (1 + ), (11) t [,+ε] β+γ t max 1 X(τ)dg(τ) L X t 1 t [,+ε] t 1 t β β ε γ β ε β (1 + ). (1) β+γ The reult (1) follow from (11) and (1).

9 5 PROOFS OF THEOREMS. 9 Lemma 5.3 Let b, σ : [, ) IR IR, 1 γ > 1/, T, K, L >. Suppoe b and σ are Lipchitz in x and t. Then there exit ε 1 >, uch that for all γ > β > 1 γ and t [, + ε 1 ], the operator F t map C β K([, + ε 1 ], a) into itelf. Notation. We hall denote the Lipchitz coefficient of b and σ by B and S repectively. Proof: Let ε > and t 1, t [, + ε]. It i ufficient to demontrate that F t X β K for a ufficiently mall ε >. By the triangle inequality and by Corollary 5., F t X β ε γ β (1 + ε β )( b(t, X(t)) ε 1 γ + L σ(t, X(t)) β (1 + Since b and σ are Lipchitz and X C β K([, + ε], a), it i eay to ee that and ε β )). (13) β+γ b(t, X(t)) b(, a) + B(ε + Kε β ), (14) σ(t, X(t)) β σ(, a) + S(ε 1 β + K)(1 + ε β ). (15) Subtituting (14) and (15) into (13), we obtain F t X β ε γ β (1 + ε β )[ b(, a) + B(ε + Kε β ))ε 1 γ ε β +L(1 + β+γ )( σ(, a) + S(1 + εβ )(ε 1 β + K))]. (16) Since the right hand ide i an increaing continuou function of ε and i at ε =, it equal K at ome ε 1. For thi choice of ε 1 (or any maller ε 1 ), F t map C β K([, + ε 1 ], a) into itelf. Lemma 5.4 Aume the ame hypothei a in Lemma 5.3. Suppoe b i Lipchitz in t and x and σ C 1 ([, ) IR) with σ t (t, x), σ x (t, x) Lipchitz in x. Then there exit ε > uch that for all γ > β > 1 γ and t [, + ε ], the operator F t i a contraction on C β K ([, + ε ]). Notation. We hall denote the Lipchitz coefficient of b by B and the Lipchitz coefficient of σ, σ t, σ x by S. Proof: We need to how that there exit ε > and λ < 1 uch that for all t [, + ε ] and all X, Y CK([, β + ε ]), F t X F t Y β λ X Y β. By the triangle inequality and by Corollary 5., F t X F t Y β ε γ β (1 + ε β )[ b(t, X(t)) b(t, Y (t)) ε 1 γ

10 5 PROOFS OF THEOREMS. 1 +L σ(t, X(t)) σ(t, Y (t)) β (1 + We etimate the two term in (17) eparately. Since b i Lipchitz, ε β )]. (17) β+γ b(t, X(t)) b(t, Y (t)) B X(t) Y (t) B X Y β. (18) Now we will etimate σ(t, X(t)) σ(t, Y (t)) β. Since σ i differentiable, By the fundamental theorem of calculu, Therefore max σ(t, X(t)) σ(t, Y (t)) S X Y β. (19) t 1 σ(t, X(t)) σ(t, Y (t)) = (X(t) Y (t)) σ x (t, νx(t) + (1 ν)y (t))dν. σ(t 1, X(t 1 )) σ(t 1, Y (t 1 )) σ(t, X(t )) + σ(t, Y (t )) = (X(t 1 ) Y (t 1 ) X(t ) + Y (t )) +(X(t ) Y (t )) 1 1 σ x(t 1, νx(t 1 ) + (1 ν)y (t 1 ))dν (σ x (t 1, νx(t 1 ) + (1 ν)y (t 1 )) σ x (t, νx(t ) + (1 ν)y (t )))dν X Y β (t t 1 ) β S + X Y β (S(t t 1 ) + S(ν X(t 1 ) X(t ) + (1 ν) Y (t 1 ) Y (t ) )) X Y β (t t 1 ) β S(1 + (t t 1 ) 1 β + K). Conequently σ(t, X(t)) σ(t, Y (t)) β X Y β S( + ε 1 β + K). () Subtituting (19) and () in (17), we obtain F t X F t Y β ε γ β (1 + ε β )[Bε 1 γ + LS( + ε 1 β + K)(1 + ε β β+γ )] X Y β. (1) The coefficient of X Y β i an increaing function of ε and i at ε =. Chooe ε > mall enough o that thi coefficient i le than 1 and ε ε 1. Then F i a contraction on C β K ([, + ε ]). Combining Lemma 5.3 and 5.4, we obtain a local exitence and uniquene reult: Corollary 5.5 Aume the ame hypothei a in Lemma 5.4. Then there exit ε > depending on uch that for all t [, +ε], ODE (3) ha a unique olution in C β K([, +ε], a). In particular, if ODE (3) ha a olution X on [, ], then there exit ε > depending on uch that for all t [, + ε], ODE (3) ha a unique olution Y in C β K([, + ε], X()).

11 5 PROOFS OF THEOREMS. 11 Proof: Take ε to be ε of Lemma 5.4. Since F t i a contraction on the cloed ubet C β K([, + ε], a) of the complete metric pace C β ([, + ε]), it ha a unique fixed point X in C β K ([, + ε], a). From the definition of F t it follow that X i a unique olution of ODE (3) on [, +ε] in C β K([, + ε], a). The ufficient condition on ε in Corollary 5.5 are given by inequalitie (16) and (1) with a replaced by X(): ε γ β (1 + ε β )[ b(, X()) + B(ε + Kε β ))ε 1 γ ε β +L(1 + β+γ )( σ(, X()) + S(1 + εβ )(ε 1 β + K))] K. () ε γ β (1 + ε β )(Bε 1 γ + LS( + ε 1 β + K)(1 + Inequality (3) doe not depend on X(). ε β )) < 1. (3) β+γ 5.4 Proof of Theorem 3: global exitence and uniquene. By Corollary 5.5 with = and a = x, ODE (3) ha a unique olution on [, ε ], where ε atifie () and (3) with =. By uing Corollary 5.5 n time we obtain that the olution exit on [, ε + + ε n 1 ]. ODE (3) ha a olution on [, T] if there exit m > uch that m i= ε i T. Thi i true if b and σ are globally bounded, ince in thi cae we can chooe ε i = ε (to ee thi we can ubtitute the global bound on b, σ, B, S into () and (3)). In the cae when b and σ grow at mot linearly, we will ue a change of variable to reduce it to the cae of globally bounded b and σ. Proof: Exitence: Suppoe that b and σ are bounded on [, ) IR, then taking the upper bound on b and σ in () we get that ε i atifying () and (3) doe not depend on i. In thi cae the global exitence i etablihed. Now uppoe that b and σ atify the aumption of Theorem 3. Conider the ODE dy(t) = b(t, tan y(t)) σ(t, tany(t)) 1 + (tan y(t)) dt (tan y(t)) dg(t). (4) Thi ODE ha globally bounded coefficient atifying the aumption of Theorem 3, and thu ha a global olution on [, T]. Now, x(t) = tan y(t) atifie equation (3) (by Lemma.1). Thu equation (3) ha a global olution on [, T]. Uniquene: Let Y 1 and Y be two olution in C β ([, T]). Then there exit K 1 and K uch that Y 1 C β K 1 ([, T]) and Y C β K ([, T]), o Y 1 and Y are in C β max{k 1,K } ([, T]). Y 1 and Y coincide at the initial point t =. Let t up be the upremum of the et on which they coincide. Since both olution are continuou, they coincide at t up a well. t up mut equal T, for otherwie we can make Y 1 and Y coincide pat t up by Corollary 5.5.

12 5 PROOFS OF THEOREMS Proof of Itô formula for fbm (Lemma 3.1). Proof: By analogy with the proof of Lemma.1, we obtain ( t u v(t, ξ(t)) v() = + u ) η e() u d + o(1) + η f()dξ α + 1 k [ n t] Since E(u ηη f ξα ) f E(uηη ) E( ξα 4) = O ( ) γ t, by Chebyhev inequality n P( k [ n t] u ηη f ξ α 1 n ) cont n n(γ 1), u ηη f ξ α + o ( ξ α ). and by the Borel-Cantelli lemma k [ n t] u ηη f ξα a n a.e. An analogou argument how that o ( ξα ) a n a.e. Thu Itô formula hold. 5.6 Proof of Theorem 5 Proof: Since f i differentiable, and ince ξ α (, ω) C γ ([, 1]) with probability 1, for a.e. ω there exit L(ω) > uch that hold. From Theorem we get and o, Therefore f( k i, ξ α( k i )) f t t + f k x L(ω)tγ kγ f(τ, ξ α (τ))dξ α (τ) f(, ) L(ω)tγ + f t L(ω)tγ+1 γ+1 + f x t γ L(ω) γ, max t 1 f(τ, ξ α (τ))dξ α (τ) f(, ) L(ω) + f t L(ω) γ+1 + f x L(ω) γ. P {ω : max where ν i given by (6). It i eay to ee that if t 1 f(τ, ξ α (τ))dξ α (τ) > λ} P {ω : f(, ) L(ω) + f t L(ω) γ+1 + f x L(ω) γ > λ} P {ω : L(ω) > ν} P {ω : t 1, t [, 1].t. ξ α (t ) ξ α (t 1 ) > ν t t 1 γ }, ξ α ( k + 1 ) ξ α( k n n) γ 1 γ + 1 L(ω) nγ, n >, k n 1,

13 5 PROOFS OF THEOREMS. 13 then Therefore ξ α (t ) ξ α (t 1 ) L(ω) t t 1 γ, t 1, t [, 1]. P {ω : t 1, t [, 1].t. ξ α (t ) ξ α (t 1 ) > ν t t 1 γ } P {ω : n >, k n 1,.t. ξ α ( k + 1 ) ξ α( k n n) > γ 1 γ + 1 n 1 n=1 k= n=1 n π Uing the etimate c P {ω : ξ α ( k + 1 ) ξ α( k n n) > γ 1 ν γ + 1 } nγ e x/ dx. γ 1 γ +1 νnδ e x / dx e c /, we obtain the deired reult. c ν } nγ 5.7 Proof of Statement 4.1. Proof: The proof will be reached via the tep-by-tep procedure ued for obm. Fix t >. Step 1. Let φ : [, ) IR be a imple function of the form n 1 i= φ( n i )χ [ n i,n i+1 ], where χ i an indicator function and n i = i t. Define n φ(τ)dξ α (τ) = n 1 i= φ( n i ) ξ α( n i ). Step. Let g C ([, )). Approximate g by a equence of imple function: φ n (τ) = n 1 i= g( n i )χ [ n i,n i+1 ] (τ). Then φ n g uniformly on [, t] and g(τ) φ n(τ) 1+α dτ. Therefore the equence φ n i Cauchy in L 1+α ([, )). To how that the equence φ n(τ)dξ α (τ) i Cauchy in L ([, ) Ω), we ue the Hardy-Littlewood-Sobolev inequality: ( E φ m (τ)dξ α (τ) = Cα(α + 1) cont φ m φ n 1+α ) φ n (τ)dξ α (τ) (φ m (u) φ n (u))(φ m (v) φ n (v)) u v 1 α dudv a m, n. Thu the integral g(τ)dξ α(τ) exit a the L -limit of φ n(τ)dξ α (τ). Step 3. Let f L 1+α ([, )). Let j C c ([, )) with [, ) j = 1. Define j n(τ) = 1j(nτ) n and g n = j n f. Then g n C ([, )) and g n(τ) f(τ) 1+α dτ. In particular, the

14 5 PROOFS OF THEOREMS. 14 equence g n i Cauchy in L 1+α ([, )). The Hardy-Littlewood-Sobolev inequality give ( E g m (τ)dξ α (τ) g n (τ)dξ α (τ)) cont g m g n 1+α a m, n. Thu the integral f(τ)dξ α(τ) exit a an L -limit of g n(τ)dξ α (τ). Thu, for all f L 1+α ([, 1]), we can chooe imple function φn converging in L 1+α to f uch that the L -limit of φ n(τ)dξ α (τ) exit. 5.8 Proof of Statement Lemma We begin with three lemma. The firt i Slepian lemma [Sl, Kl]. Lemma 5.6 (Slepian) Let Γ be a countable et, and let X(t), Y (t) be two real Gauian procee indexed by t Γ. Suppoe EX (t) = EY (t) and EX()X(t) EY ()Y (t) for all, t Γ. Then, for all real λ, P(max X(t) λ) P(max Y (t) λ). t Γ t Γ Conequently, if X and Y have continuou verion, Lemma 5.6 hold when the index et Γ i [, 1]. The next lemma give u Markov property. Lemma 5.7 Let α, f be a in Theorem 4.1, and let < β < α. Let Y (t) be a Gauian proce uch that EY (t) = and EY ()Y (t) = q f (, ) = f(u)f(v) dudv doe not u v 1 α depend on t whenever t. If f L 1+β ([, 1]), then Y (t) i Markov and ha a continuou verion. Proof: To how that a proce i Markov, it i ufficient to how that it non-overlapping increment are independent. For a Gauian proce thi amount to checking that any two non-overlapping increment are uncorrelated: for 1 < t 1 < < t, E(Y (t 1 ) Y ( 1 ))(Y (t ) Y ( )) = EY (t 1 )Y (t ) EY (t 1 )Y ( ) EY ( 1 )Y (t ) + EY ( 1 )Y ( ) = q f (, t 1 ) q f (, t 1 ) q f (, 1 ) + q f (, 1 ) =. Next we how that Y (t) ha a continuou verion. E(Y (t) Y ()) = q f (, t) q f (, ) + q f (, ) dudv = Cα(α + 1) f(u)f(v) u v + Cα(α + 1) 1 α = I 1 + I. dudv f(u)f(v) u v 1 α

15 5 PROOFS OF THEOREMS. 15 I 1 can be etimated by the Hardy-Littlewood-Sobolev inequality: I 1 = q f (, t) Cα(α + 1) t α β f(u)f(v) u v 1 βdudv cont t α β f. (5) 1+α I can be etimated by the Hardy-Littlewood-Sobolev and Hölder inequalitie: I cont fχ [,] fχ [,t] 1+α 1+α cont fχ [,] t α β t α+β ( f(τ) 1+β 1+β dτ) 1+α. 1+α Chooing an integer m uch that (α β)m > 1 and α β m > 1, we can enure α+β E (Y (t) Y ()) m cont t γ, where γ > 1. Y ha a continuou verion by Kolmogorov continuity criterion. Finally, we have a reflection principle: Lemma 5.8 Let Y (t) be a centered Gauian Markov proce with continuou path. Then for all λ > and T, P( max Y (t) λ) = P(Y (T) λ). t T The proof i exactly analogou to the obm cae. Now we are ready to prove Theorem Proof of Part (1). Proof: Chooe an integer m uch that (α β)m > 1. Then E( f(τ)dξ α (τ) f(τ)dξ α (τ)) m cont (E( = (Cα(α + 1) cont t (α β)m, f(τ)dξ α (τ) f(u)f(v) u v 1 αdudv)m f(τ)dξ α (τ)) ) m where the firt inequality hold becaue f(τ)dξ α(τ) i a Gauian random variable, and the econd by (5). By Kolmogorov criterion the proce f(τ)dξ α(τ) admit a continuou verion.

16 5 PROOFS OF THEOREMS Proof of Part (). Proof: Let X(t) = f(τ)dξ α(τ). X(t) i a Gauian proce with EX(t) = and EX()X(t) = f(u)f(v) dudv. Define Y (t) to be a Gauian proce with EY (t) = and EY ()Y (t) = u v 1 α q f (, ) for t. Clearly EX(t) = EY (t). It can be hown that the proce Y (t) i welldefined for all t. Suppoe f. Then EX()X(t) EY ()Y (t) for, t [, 1]. Therefore the procee X(t) and Y (t) atify the aumption of Slepian lemma (Lemma 5.6). By Lemma 5.7, Y (t) i a Markov proce with continuou path, and by Lemma 5.8, Y obey the reflection principle: P(max Y (t) λ) = P(Y (1) λ) = / dx. t 1 λ/ q f (,1) π e x Hence for f, P(max X(t) λ) / dx. t 1 λ/ q f (,1) π e x Let f L 1+β ([, )). Write X± = f ±(τ)dξ α (τ). Define procee Y ± (t) by replacing f by f ± in the definition of Y (t). Since Slepian lemma applie alo to X (t) and Y (t), we have P(max ±X ±(t) λ) / dx. t 1 λ/ q f± (,1) π e x Therefore P(max X(t) λ) = P(max X +(t) + max ( X (t)) λ) t 1 t 1 t 1 P(max X +(t) λr) + P(max t 1 λr/ q f+ (,1) + λ(1 r)/ q f (,1) ( X (t)) λ(1 r)) t 1 / dx. π e x Proof of Part (3). Proof: Inequality (5) how that q f (, t) cont t α β, o 1 up t <m x q f (, t)dx <. Thi i the condition of applicability of Fernique inequality [F], of which the claim i a direct conequence.

17 REFERENCES 17 Reference [Dy] A.M. Dyachkov, Condition for the exitence of Stieltje integral of function of bounded generalized variation, Anal. Math. 14 (1988) no [DH] W. Dai and C. C. Heyde, Itô formula with repect to fractional Brownian motion and it application, J. Appl. Math. Stochatic Anal. 9 (1996) [DU] L. Decreuefond and Ütünel, Ali Süleyman, Application du calcul de variation tochatique au mouvement brownien fractionnaire, C. R. Acad. Sci. Pari, ér. I 31 (1995) [F] [G] X. Fernique, Régularité de trajectoire de fonction aléatoire gauienne, Ecole d Eté de Probabilité de Saint-Flour, avril 1974, Lecture Note in Math. vol. 48, Springer, Berlin, 1975, A. Goldman, Etimation analytique concernant le mouvement brownien fractionnaire à pluieur paramètre C. R. Acad. Sci. Pari, ér. I 98 (1984) [K1] J.-P. Kahane, Some random erie of function, Cambridge Studie in Adv. Math. 5, [K] J.-P. Kahane, Sur le mouvement brownien fractionnaire: image, graphe, niveaux, C. R. Acad. Sci. Pari, ér. I 3 (1985) [Kl] A. N. Kolmogorov, Wiener crew-line and other intereting curve in Hilbert pace, Doklady Akad. Nauk 6 (194) [Kn] V. Kondurar, Sur l intégrale de Stieltje, Mat. Sbornik (1937) [Lb] A. Le Breton, Filtering and parameter etimation in a imple linear ytem driven by a fractional Brownian motion, Statit. Probab. Lett. 38 (1998) [LL] E.H. Lieb and M. Lo, Analyi, Graduate Studie in Mathematic 14, AMS, [Ln] S. J. Lin, Stochatic analyi of fractional Brownian motion, Stochatic Rep. 55 (1995) [Lv] P. Lévy, Proceu tochatique et movement brownien, Pari, 1948 (nd ed. 1965). [Mk] H. P. McKean Jr, Stochatic integral, Probability and Mathematical Statitic 5, Academic Pre, [Mn] B. Mandelbrot and J. W. Van Ne, Fractional Brownian motion, fractional noie and application, SIAM Rev. 1 (1968) [Ml] G. M. Molchan, Maximum of fractional Brownian motion: probabilitie of mall value (preprint).

18 REFERENCES 18 [Ru] A.A. Ruzmaikina, Stochatic Calculu with fractional Brownian motion, Ph.D. Thei, Princeton Univerity (1999). [Sn] Ya. G. Sinaĭ, On the ditribution of the maximum of fractional Brownian motion, Upekhi Mat. Nauk 5 (1997) [Sl] D. Slepian, The one-ided barrier problem for Gauian noie, Bell Sytem Tech. J. 41 (196) [T1] M. Talagrand, Haudorff meaure of trajectorie of multiparameter fractional Brownian motion, Ann. Probab. 3 (1995) [T] M. Talagrand, Lower clae for fractional Brownian motion, J. Theoret. Probab. 9 (1996) [W] M. Weber, Dimenion de Haudorff et point multiple du mouvement brownien fractionnaire dan IR n, C. R. Acad. Sci. Pari, ér. I 97 (1983) [X] Y. Xiao, Haudorff-type meaure of the ample path of fractional Brownian motion, Stochatic Proce. Appl. 74 (1998) [Yr] M. Yor, Remarque ur certaine contruction de mouvement brownien fractionnaire, Séminaire de Probabilité, XXII, Lecture Note in Math. vol. 131, Springer, Berlin-New York, 1988, [Yg] L. C. Young, An inequality of the Hölder type connected with Stieltje integration, Acta Math. 67 (1936) 51 8.