![Arxiv:1708.00732V3 [Math.PR]](http://data.docslib.org/img/515c81483cd4f8fa59c1f24a577012cb-1.webp)
arXiv:1708.00732v3 [math.PR] 8 Jan 2019 hoe .4,[]ada eutoeotisasqec of sequence a obtains one result a as back and examp dates [5] schemes for partition 7.14], a such (see Theorem a.s. of variation One (or ]). quadratic a.s. 2.3 the Proposition tend to partitions partitions) these these along increments the of clain fapt ntecneuie(afoe nteri to the surely) on (almost (half-open a.s. consecutive tend the tions on path parti a of of scillations sequences different along (see Föllmer’ path, chosen of specific values partitions different a obtain the to may on respect one result depend tha a exists) As happen 7.1]). it may (if it partitions, limit random the allow we when tunately, ehso h attostn to tend dete partitions of the sequence of along as semimartingale meshes defined a usually of calc increments is the It stochastic of semimartingale. in a quantities of important variation most ratic pathwise the the of in One interest significant lus. is there years recent In Introduction 1. aaisig /,0-1 asw Poland Warsaw, War 02-513 Economics, 6/8, Mathematical Madalińskiego and Mathematics of Department Łochowski Marcin Rafał limi a.s. as variations semimartingale truncated càdlàg normalized a of variation Quadratic OTC .M ohwk.Eal [email protected] Email: Łochowski. M. R. CONTACT otntl,we h attosaeotie rmstoppin from obtained are partitions the when Fortunately, o eedo n partitions any on depend not ahmtc ujc lsicto 21) 04,60H05 60G48, (2010): Classification Subject Mathematics CLASSIFICATION AMS semimar integral.. càdlàg pathwise variation, truncated variation, Quadratic KEYWORDS integ pathwise Föllmer’s define to co approach several new continuou derive a the we propose Next, to and semimartingale. a.s. the tend of quantities variation these then martingale o elcdà path càdlàg real a For Abstract 2019 January 10th Compiled HISTORY ARTICLE x edfiesqec fsm-xlctqatte,which quantities, semi-explicit of sequence define we n uhta whenever that such and 0 0 , , hnteei oabgiyadtesm fsquares of sums the and ambiguity no is there then n h ovrec od npoaiiy Unfor- probability. in holds convergence the and x sapt facdà semi- càdlàg a of path a is igls Föllmer’s tingales, sqecso hsresult this of nsequences ato h quadratic the of part s ral. praht tcatccalcu- stochastic to approach h)itraso hs parti- these of intervals ght) h ii fsm fsquares of sums of limit the a colo cnmc,ul. Economics, of School saw ahieitga 4 with [4] integral pathwise s tlatt ihee,se[1, see Bichteler, to least at tions. mnsi attos sthe as partitions, rministic quad- the arguably is ulus e[,Pooiin24and 2.4 Proposition [3, le ogsm usqec of subsequence some long pathwise o xml 3 Theorem [3, example for ie uhta h os- the that such times g hscnegneand convergence this t uso squares of sums do fthe of t of the increments which tend a.s. to the quadratic variation. Some modification of this scheme, so called Lebesgue partitions, was proposed by Vovk in [17], to prove that the quadratic variation of typical, model-free càdlàg price paths with mildly restric- ted jumps exists (along the Lebesgue partitions). Later, the same scheme was used in [15] to prove the existence of the quadratic variation of typical, model-free, càdlàg price paths, with mildly restricted jumps directed downward. Typical price paths are (roughly speaking) those trajectories representing possible evolution of prices of some asset which do not allow to obtain infinite wealth by risking small amount and trading this asset (for formal definition see [15]). Let D denote the family of càdlàg functions x : [0, +∞) → R. In this article, for any x ∈ D we will define another sequence of semi-explicit quantities, which do not depend on any partitions and such that whenever Xt,t ≥ 0, is a real càdlàg semimartingale on a filtered probability space (Ω, F, P) and that usual conditions hold (see [16, Chapt. I, Sect. 1]), then for x = X (ω) ,ω ∈ Ω, these quantities tend P-a.s. to the continuous part of the quadratic variation of X. This result is a generalisation of [14, Theorem 1] to the case of càdlàg semimartingales, however, the proof will be completely different from the proof of [14, Theorem 1]. The approach used in this article will be similar to the old approach of Wong and Zakai [18], where the authors replace semimartingale integ- rator by finite total variation (and piecewise linear) approximations of the integrator. However, contrary to the Wong-Zakai approach, we will use adapted approximations. We will mainly use results of [9] and properties of so called double Skorohod map. Next, we will derive several consequences of this result and propose a new approach to define Föllmer’s pathwise integral In the sequel, refering to a càdlàg semimartingale Xt, t ≥ 0, we will always assume that X is a semimartingale on a filtered probability space such that usual conditions hold.
2. Main result
To state our main result we need several definitions. Let −∞ n ε TV (x, [a, b]) := sup sup max {|x (ti) − x (ti−1)|− ε, 0} . n a≤t0<... n ε UTV (x, [a, b]) := sup sup max {x (ti) − x (ti−1) − ε, 0} n a≤t0<... 2 and n ε DTV (x, [a, b]) := sup sup max {x (ti−1) − x (ti) − ε, 0} . n a≤t0 <... Now we are ready to state our main result. Theorem 1. Let Xt, t ≥ 0, be a real càdlàg semimartingale on a filtered probability space (Ω, F, P) such that usual conditions hold. For each ε> 0 and t ≥ 0 let us define the following càdlàg processess ε ε ε ε ε ε Tt := ε · TV (X, [0,t]) ,Ut := ε · UTV (X, [0,t]) and Dt := ε · DTV (X, [0,t]) , then 1 1 (T ε,U ε, Dε) ⇒ [X]cont , [X]cont , [X]cont as ε → 0+, 2 2 where “⇒” denotes P-a.s. convergence in the uniform convergence topology on compact subsets of positive half-line [0, +∞) and [X]cont denotes the continuous part of the quadratic variation of X. Proof. (I) Proof of the convergence of T ε. For t ≥ 0 let ∆Xt = Xt − Xt−, where X0− := 0 and for t > 0, Xt− = lims→t− Xs, be the jump at the moment t. For each ε > 0 let Xε be the process constructed (for given process X) as in [9, Section 2, display (2.1)]. This construction is related to the ε ε ε ε double Skorohod map Γ on [−ε, ε], see [9], [2], via X = X − Γ (X − X0) . X has the following properties. 1. Xε has locally finite total variation; 2. Xε has càdlàg paths; ε 3. for every t ≥ 0, |Xt − Xt |≤ ε; ε 4. for every t> 0, |∆Xt | ≤ |∆Xt| ; 5. the process Xε is adapted to the filtration F; ε 6. X0 = X0. Moreover, by [9, Lemma 5.1] for any t ≥ 0 we have TV 2ε(X, [0,t]) ≤ TV (Xε, [0,t]) ≤ TV 2ε(X, [0,t])+2ε, (1) where TV (Xε, [0,t]) := TV 0(Xε, [0,t]) denotes the total variation of Xε on [0,t] . Recall the classical Jordan decomposition and notice that UTV (Xε, [0,t]) := UTV 0(Xε, [0,t]) and DTV (Xε, [0,t]) := DTV 0(Xε, [0,t]) are nothing else but pos- itive and negative parts of the total variation of Xε. By [9, Lemma 5.2] we have that dUTV (Xε, [0,t]) and dDTV (Xε, [0,t]) are mutually singular measures carried by 3 ε ε {t> 0 : Xt − Xt = ε} and {t> 0 : Xt − Xt = −ε} , and on these sets we have dUTV (Xε, [0,t]) = dXε and dDTV (Xε, [0,t]) = −dXε. From all this it follows that (see also [9, display (5.2)]) t t ε · TV (Xε, [0,t]) = ε dTV (Xε, [0,s]) = (X − Xε) dXε. (2) ˆ0 ˆ0 Representation (2) together with the estimates (1) will be the main ingredients of the proof. ε Setting X0− := 0 we calculate t t ε ε ε ε ε ε ε · TV (X , [0,t]) = (X − X ) dX = X− − X− + ∆ (X − X ) dX ˆ0 ˆ0 t t ε ε ε ε ε = X−dX − X−dX + ∆ (Xs − Xs )∆X . (3) ˆ0 ˆ0 0 t t ε(n) cont lim sup X−dX − X−dX − [X] = 0 a.s., (4) n→+∞ ˆ ˆ t 0≤t≤T 0 0 t ε(n) ε(n) where 0 X−dX denotes the Lebesgue-Stieltjes integral (recall that X has finite ´ t total variation) and 0 X−dX denotes the (semimartingale) stochastic integral. We may rewrite (4) in the´ following way: t t ε(n) cont 1 2 2 cont X−dX ⇒ X−dX + [X]t = Xt − X0 − [X]t + [X]t ˆ0 ˆ0 2 cont 2 for t ∈ [0, T ] , where [X]t = [X]t + 0 t ε ε 1 ε 2 ε 2 ε 2 X−dX = (Xt ) − (X0 ) − (∆Xs ) . ˆ0 2 0 2 ε 2 2 ε 2 sup (∆Xs) − (∆Xs ) = (∆Xs) − (∆Xs ) → 0 0≤t≤T 0 4 and ε ε 2 sup |∆ (Xs − Xs )∆Xs |≤ min 2ε |∆Xs| , 2 |∆Xs| → 0 0≤t≤T 0 ε(n) · TV Xε(n), [0,t] t t ε(n) ε(n) ε(n) ε(n) ε(n) = X−dX − X− dX + ∆ Xs − Xs ∆X ˆ0 ˆ0 0 Hence, from (1) and (5) we get for some r(n) ∈ [− (2ε(n))2 , 0] 1 · TV 1/n(X, [0,t]) = 2ε(n) · TV 2ε(n)(X, [0,t]) n ε(n) cont = 2ε(n) · TV X , [0,t] + r(n) ⇒ [X]t . εn cont Finally, the convergence εn · TV (X, [0,t]) ⇒ [X]t for any sequence εn → 0+ follows from the estimates ⌊1/ε ⌋ 1 n · TV 1/⌊1/εn⌋(X, [0,t]) ⌊1/εn⌋ + 1 ⌊1/εn⌋ εn ⌈1/εn⌉ 1 1/⌈1/εn⌉ ≤ εn · TV (X, [0,t]) ≤ · TV (X, [0,t]) ⌈1/εn⌉− 1 ⌈1/εn⌉ valid for εn < 1, which stem directly from inequalities 1 1 1 1 ≤ εn ≤ and ≤ εn ≤ ⌊1/εn⌋ + 1 ⌈1/εn⌉− 1 ⌈1/εn⌉ ⌊1/εn⌋ ε (valid for εn < 1), and the fact that the function (0, +∞) ∋ ε 7→ TV (X, [0,t]) is non-increasing. (II) Proof of the convergence of the whole triplet (T ε,U ε, Dε) . To prove the convergence of the whole triplet (T ε,U ε, Dε) for any ε> 0 let us define the auxilary process ˜ ε ε ε Xt := X0 + UTV (X, [0,t]) − DTV (X, [0,t]) . (6) The process X˜ ε uniformly approximates X with accuracy c. This is the consequence of [13, Theorem 4] and the classical Jordan decomposition. Indeed, let us fix some ω ∈ Ω. By [13, Theorem 4] for càdlàg x = X (ω) there exists some picewise monotone xε : [0, +∞) → R such that xε approximates x with accuracy ε/2 and UTV ε(x, [0,t]) = UTV (xε, [0,t]) ,DTV ε(x, [0,t]) = DTV (xε, [0,t]) . (7) 5 Thus, by the classical Jordan decomposition, xε (t)= xε (0) + UTV (xε, [0,t]) − DTV (xε, [0,t]) = xε (0) + UTV ε(x, [0,t]) − DTV ε(x, [0,t]) . Since xε approximates x = X (ω) with accuracy c/2 we must have that ε ˜ ε |X0 (ω) − x (0)| ≤ ε/2. From this, the definition of Xt and the triangle inequality we get ˜ ε ˜ ε ε ε Xt (ω) − Xt (ω) ≤ Xt (ω) − x (t) + |x (t) − Xt (ω)| ε ε = | X0 (ω) − x (0) | + |x (t) − Xt (ω)| ≤ ε/2+ ε/2= ε. (8) From [13, Theorem 4] and (7) we also have the relation TV ε(X (ω) , [0,t]) = TV (xε, [0,t]) = UTV (xε, [0,t]) + DTV (xε, [0,t]) = UTV ε(X (ω) , [0,t]) + DTV ε(X (ω) , [0,t]) . (9) ˜ ε ε ε Finally, from (8) we get that Xt = Xt + Rt , where |Rt |≤ ε for t ≥ 0 and from (6) and (9) we have the following representation 1 UTV ε(X, [0,t]) = (TV ε(X, [0,t]) + X − X + Rε) , 2 t 0 t 1 DTV ε(X, [0,t]) = (TV ε(X, [0,t]) − X + X − Rε) . 2 t 0 t From this representation we obtain the convergence of the whole triplet (T ε,U ε, Dε) . 3. Some consequences of Theorem 1 From Theorem 1 we also obtain pathwise formulas which in the limit tend a.s. to the quadratic covariation of two semimartingales. We have Corollary 1. Let Xt and Yt, t ≥ 0, be two real càdlàg semimartingales, then ε ε cont ε · {TV (X + Y, [0,t]) − TV (X − Y, [0,t])}⇒ 4 [X,Y ]t , as ε → 0+, where [X,Y ]cont denotes the continuous part of the quadratic covariation of X and Y, cont i.e. [X,Y ]t = [X,Y ]t + 0 6 R ε Definition 1. Given a function x : [a, b] → , for ε ≥ 0 we put σ0 = a and for n = 0, 1, ... ε ε ε ε τn = inf {t ≥ σn : t ≤ b, x(t) >y + ε} , σn+1 = inf {t ≥ τn : t ≤ b, x(t) Next, we set y ε dε (x, [a, b]) := max {n : σn ≤ b} . Similarly we define. R ε Definition 2. Given a function x : [a, b] → , for c ≥ 0 we put σ˜0 = a and for n = 0, 1, ... ε ε ε ε τ˜n = inf {t ≥ σ˜n : t ≤ b, x(t) Next, we set y ε uε (x, [a, b]) := max {n :σ ˜n ≤ b} . (10) In all definitions we apply the convention that inf ∅ =+∞. y The number dε (x, [a, b]) can be viewed as the number of times the graph of x y “downcrosses” (on [a, b]) the closed value interval [y,y+ε], while the number uε (x, [a, b]) can be viewed as the number of times the graph of x “upcrosses” the value interval [y,y + ε]. At last, for x and the interval [a, b] as in two preceding definitions, we define the number of times the graph of x crosses (on [a, b]) the value interval [y,y + ε] as y y y nε (x, [a, b]) := dε (x, [a, b])+ uε (x, [a, b]) . [10, Theorem 1] states that ε y UTV (x, [a, b]) = uε (x, [a, b]) dy, (11) ˆR ε y DTV (x, [a, b]) = dε (x, [a, b]) dy (12) ˆR and ε y TV (x, [a, b]) = nε (x, [a, b]) dy. (13) ˆR Using (11)-(13) and Theorem 1 we get Corollary 2. Let Xt, t ≥ 0, be a real càdlàg semimartingale, then y 1 cont ε · uε (X, [0, ·]) dy ⇒ [X] , ˆR 2 7 y 1 cont ε · dε (X, [0, ·]) dy ⇒ [X] , ˆR 2 y cont ε · nε (X, [0, ·]) dy ⇒ [X] ˆR as ε → 0+ . y Much stronger result of this type, namely that ε · nε (X, [0, ·]) tends a.s. to the local time of X at all but countably many real ys, was proven in [6, Theorem 3.3], but only for semimartingales satisfying the condition 0 Remark 2. If X is a strictly α-stable process, α ∈ (1, 2) , using scaling properties of X it may be proven that TV ε(X, [0, T ]) is of order ε1−α as ε → 0+. However, there exist a pure-jump semimartingale X for which TV ε(X, [0, T ]) is of order greater than ε−β as ε → 0+ for any β < 1. An example of such a semimartingale is given in [7, Proposition 3(a)]. That for this X,TV ε(X, [0, T ]) is of order greater than ε−β (as ε → 0+) for any β < 1 follows from the fact that X has a.s. infinite 2-variation norm and from [11, Proposition 2]. 4. Föllmer’s pathwise integral Inspired by equation (2) of Section 1, in this section we will define an integral with respect to a càdlàg path x : [0, +∞) → R which may be uniformly approximated for any ε > 0 with accuracy ε by some càdlàg path xε : [0, +∞) → R with finite total variation on compacts and such that the uniform (on compacts) limit t ε ε hxit := 2 lim (xs − xs)dxs (14) ε→0+ ˆ0 exists for any t ≥ 0. The integral in (14) is understood as the classical Lebesgue- ε ε Stieltjes integral. Note that since supt≥0 |xt − xt | ≤ ε, the function t 7→ hxit := t ε ε 2 0 (x − x )dx , t ≥ 0, has on the interval [0,t] only jumps whose absolute values are´ no greater than 2ε · sup0 t t ε (X ) f (xs−)dxs := lim f (xs−)dxs ˆ0+ ε→0+ ˆ0+ if this limit exists. We have the following result similar to [4, THÉORÈME] 8 R 2 Theorem 2. Let x : [0, +∞) → be a càdlàg path such that 0 t ε ε sup |xs − xs| |dxs| < +∞ (15) ε>0 ˆ0 and there exists a constant K such that ε |∆xt |≤ K |∆xt| (16) for any t > 0. Then, for any f : R → R of class C1 and t > 0 the integral t (X ) 0+ f (xs−)dxs exists, moreover, we have the following formula ´ t t 1 ′ F (xt) − F (x0) = (X ) f (xs−)dxs − f (xs−)d hxis ˆ0+ 2 ˆ0+ + {F (xs) − F (xs−) − f (xs−)∆xs} , 0X t ′ where F is an antiderivative of f and 0+ f (xs−)d hxis is the usual Lebesgue-Stieltjes integral. ´ ε ′ ε ε Proof. For any ε> 0 and s ≥ 0 we write f (xs) − f (xs)= f (˜xs) (xs − xs) for some ε ε ε x˜s ∈ [min {xs,xs} , max {xs,xs}] . Thus we have t t ε ε f (xs−)dxs = f (xs) − ∆f (xs)dxs (17) ˆ0+ ˆ0+ t t ′ ε ε ε ε ε ε = f (˜xs) (xs − xs)dxs + f (xs)dxs − ∆f (xs)∆xs. ˆ0+ ˆ0+ 0 t t f ′ (˜xε) (x − xε)dxε − f ′ (x ) (x − xε)dxε ˆ s s s s ˆ s s s s 0+ 0+ t ≤ sup f ′(y) − f ′(z) |x − x ε| |dxε| , (18) ˆ y,z∈[At−ε,Bt+ε],|y−z|≤ε ! 0+ ′ where At = infs∈[0,t] xs and Bt = sups∈[0,t] xs. By the continuity of f and (15) the right side of (18) tends to 0 as ε → 0+. Again by the continuity of f ′, we may replace ′ t ′ ε ε f (xs) in 0 f (xs) (xs − xs)dxs on the left side of (18) by a picewise constant function ′ uniformly´ approximating f (xs) with arbitrary accuracy and using (18), condition (15) and (14) we get t t t ′ ε ε ε 1 ′ 1 ′ f (˜xs) (xs − xs)dxs → f (xs)d hxis = f (xs−)d hxis , (19) ˆ0+ 2 ˆ0+ 2 ˆ0+ 9 as ε → 0+, where the last equality follows from the continuity of the function t 7→ hxit . Note also that due to (15), hxi has finite total variation on compacts. Next, from the properties of the Lebesgue-Stieltjes integral we obtain (recall that xε is càdlàg) t t ε ε ε ε ε ε ε ε ε f (xs)dxs = f (xs)dxs = F (xt ) − F (x0) − {∆F (xs) − f (xs)∆xs} . ˆ0+ ˆ0 0 ε ∆f (xs)∆xs → ∆f (xs)∆xs (22) 0 Theorem 2 states a substitution formula for the integral (X ) which does not coin- cide with the usual Itô formula. Below, using the family X we define´ another integral, denoted by (X )′ , which satisfies the usual Itô formula. First, using integration by parts, let us define´ for t> 0 the integral t t f xε dx := f (xε) x − f (xε) x − x df (xε) − ∆x ∆f (xε) ˆ s− s t t 0 0 ˆ s− s s s 0+ 0+ 0 t t ′ ε (X ) f (xs−) dxs := lim f xs− dxs ˆ0+ ε→0+ ˆ0+ if the limit on the right side exists. Proposition 1. Assume that x and X satisfy the assumptions of Theorem 2. Then R R 1 ′ t for any f : → of class C and t > 0 the integral (X ) 0+ f (xs−) dxs exists and the usual Itô formula holds: ´ t t ′ 1 ′ F (xt) − F (x0) = (X ) f (xs−) dxs + f (xs−) d hxis ˆ0+ 2 ˆ0+ + {F (xs) − F (xs−) − f (xs−)∆xs} , 0X 10 Proof. We have t t ε ε ε xs−df (xs)= xsdf (xs) − ∆xs∆f (xs) ˆ0+ ˆ0+ 0X t t ε ε 1 ′ (xs − xs) df (xs) → f (xs−) d hxis (24) ˆ0+ 2 ˆ0+ as ε → 0+. By integration by parts and properties of the Lebesgue-Stieltjes integral, t ε ε ε ε ε ε ε ε xsdf (xs)= xt f (xt ) − x0f (x0) − {F (xt ) − F (x0)} ˆ0+ ε ε ε ε + F (xs) − F xs− − f xs− ∆xs . 0 1 F (xε) − F xε − f xε ∆xε = f ′ (˜xε) (∆xε)2 , s s− s− s 2 s s 1 ′ 2 ≤ sup f (y) K (∆xs) 2 y∈[At−ε,Bt+ε] ! ε ε ε ε ε where x˜s ∈ min xs−,xs , max xs−,xs , At = infs∈[0,t] xs, Bt = sups∈[0,t] xs. Thus, by the dominated convergence, ε ε ε ε F (xs) − F xs− − f xs− ∆xs → {F (xs) − F (xs−) − f (xs−)∆xs} . 0X Remark 3. The integral (X )′ satisfies the “usual” Itô formula as in Föllmer’s fam- ous paper [4]. Unfortunately, it´ is not clear for the author of this paper if it is possible to “match” both approaches. This means if it is possible for a given sequence of par- titions such that Föllmer’s measures converge weakly to some measure corresponding ε to a quadratic variation, to construct a family of functions X = (x )ε>0 such that hxi defined in (14) exists and is equal the continuous part of this quadratic variation. Op- posite possibility for broad class of continuous paths x and non-decreasing hxi follows easily from [3, Theorem 7.1]. Some recent (unpublished) results of the author and his collaborators (Jan Obłój, David Prömel and Pietro Siorpaes) indicate that the existence of the quadratic variation defined as the limit of normalized sequence of the truncated variations is weaker than the existence of the quadratic variation obtained as the limit of the sums of squares of the increments along so called Lebesgue partitions. 11 As a direct consequence of Theorem 2 and Proposition 1 we obtain the following corollary. Corollary 4. Assume that x and X satisfy the assumptions of Theorem 2 and f : R R 1 t → is of class C . Then for any t > 0 both integrals (X ) 0+ f (xs−) dxs and ′ t ´ (X ) 0+ f (xs−) dxs exist, moreover, we have the relation ´ t t t ′ ′ (X ) f (xs−) dxs = (X ) f (xs−) dxs − f (xs−) d hxis . ˆ0+ ˆ0+ ˆ0+ R 2 Remark 4. Let x : [0, +∞) → be a càdlàg path such that 0 t t ′′ ε ε (X ) f (xs−) dxs := lim f xs− dxs. ˆ0+ ε→0+ ˆ0+ is well defined. This integral corresponds to the Stratonovich stochastic integral and, whenever assumptions of Theorem 2 are satisfied, then we have t t t ′′ ′ 1 ′ (X ) f (xs−) dxs = (X ) f (xs−) dxs + f (xs−) d hxis ˆ0+ ˆ0+ 2 ˆ0+ t t 1 ′ = (X ) f (xs−) dxs − f (xs−) d hxis . ˆ0+ 2 ˆ0+ Recall that D denotes the family of càdlàg functions x : [0, +∞) → R. Using Pro- position 1 we easily obtain the following result linking integrals (X ) , (X )′ , (X )′′ and the Itô stochastic integral. ´ ´ ´ Corollary 5. Let Xt, t ≥ 0, be a càdlàg semimartingale on a filtered probability space (Ω, F, P) and let hXi denote the continuous part of its quadratic variation. Assume that ε ε D D D (S )ε>0 is a sequence of mappings S : → such that for any x ∈ and ε > 0, xε := Sε (x) satisfies conditions (a)-(c) of Remark 4 and is such that for almost all ε ω ∈ Ω the sequence X = (S (x))ε>0, where x = X (ω), satisfies t ε ε 2 lim (xs − xs) dxs = hXit (ω) for any t> 0. (26) ε→0+ ˆ0 If f : R → R is of class C1 and t > 0 then for almost all ω ∈ Ω the integrals t ′ t ′′ t (X ) 0+ f (xs−) dxs, (X ) 0+ f (xs−) dxs and (X ) 0+ f (xs−) dxs exist and satisfy ´ ´ ´ t t t (X ) f (x ) dx = f (X ) dX (ω)+ f ′ (X ) d hXi (ω) , ˆ s− s ˆ s− s ˆ s− s 0+ 0+ 0+ 12 t t (X )′ f (x ) dx = f (X ) dX (ω) (27) ˆ s− s ˆ s− s 0+ 0+ and t t 1 t (X )′′ f (x ) dx = f (X ) dX (ω)+ f ′ (X ) d hXi (ω) , ˆ s− s ˆ s− s 2 ˆ s− s 0+ 0+ 0+ t where 0+ f (Xs−) dXs denotes the usual Itô stochastic integral. ´ Proof. Let F be an antiderivative of f. Using the Itô formula we have a.s. t t 1 ′ f (Xs−) dXs = F (Xt) − F (X0) − f (Xs−) d hXis ˆ0+ 2 ˆ0+ − {F (Xs) − F (Xs−) − f (Xs−)∆Xs} . (28) 0X t t ′ 1 ′ (X ) f (xs−) dxs = F (xt) − F (x0) − f (xs−) d hxis ˆ0+ 2 ˆ0+ − {F (xs) − F (xs−) − f (xs−)∆xs} 0 Acknowledgements The author would like to thank the anonymous referees for their valuable comments which led to improvement of this work. Competing interests The author declares to have no competing interests. Funding This research was partially founded by the National Science Centre, Poland, under Grant No. 2016/21/B/ST1/01489. 13 References [1] K. Bichteler, Stochastic integration and lp theory of semimartingales, Ann. Probab. 9(1) (1982), pp. 49–89. [2] K. Burdzy, W. Kang, and K. Ramanan, The Skorokhod problem in a time- dependent interval, Stochastic Process. Appl. 119 (2009), pp. 428–452. Available at http://dx.doi.org/10.1016/j.spa.2008.03.001. MR 2493998 (2010e:60076) [3] M. Davis, J. Obłój, and P. Siorpaes, Pathwise stochastic calculus with local times, Ann. de l’IHP 54(1) (2018), pp. 1–21. [4] H. Föllmer, Calcul d’Itô sans probabilités, Séminaire de Probabilités XV 80 (1981), pp. 143–150. [5] R.L. Karandikar, On pathwise stochastic integration, Stoch. Process. Appl. 57(1) (1995), pp. 11–18. [6] M. Lemieux, On the quadratic variation of semimartingales, Master Thesis, The University of British Columbia, https://circle.ubc.ca/handle/2429/23964 (1983). Available at https://circle.ubc.ca/handle/2429/23964. [7] D. Lepingle, La variation d’ordre p des semi-martingales, Z. Wahrscheinlichkeits- theorie verw. Gebiete 36 (1976), pp. 295–316. [8] R.M. Łochowski, On a generalisation of the Hahn-Jordan decomposition for real càdlàg functions, Colloq. Math. 132 (2013), pp. 121–138. [9] R.M. Łochowski, On pathwise stochastic integration with respect to semimartin- gales, Probab. Math. Statist. 34(1) (2014), pp. 23–43. [10] R.M. Łochowski, On a generalisation of the Banach Indicatrix Theorem, Colloq. Math. 148 (2017), pp. 301–314. [11] R.M. Łochowski, A new inequality for the Riemann-Stieltjes integrals driven by irregular signals in Banach spaces, J. Inequal. Appl. 2018(20) (2018), pp. 1–20. [12] R.M. Łochowski and R. Ghomrasni, Integral and local limit the- orems for level crossings of diffusions and the skorohod prob- lem, Electron. J. Probab. 19(10) (2014), pp. 1–33. Available at https://projecteuclid.org/euclid.ejp/1465065652. [13] R.M. Łochowski and R. Ghomrasni, The play operator, the trun- cated variation and the generalisation of the Jordan decomposition, Math. Methods Appl. Sci. 38 (2015), pp. 403–419. Available at http://onlinelibrary.wiley.com/doi/10.1002/mma.3077/full. [14] R.M. Łochowski and P. Miłoś, On truncated variation, upward truncated variation and downward truncated variation for diffusions, Stochastic Process. Appl. 123 (2013), pp. 446–474. [15] R.M. Łochowski, N. Perkowski, and D. Prömel, A superhedging approach to stochastic integration, Stoch. Process. Appl (2018). [16] P.E. Protter, Stochastic integration and differential equations, 2nd ed., Applic- ations of Mathematics. Stochastic Modelling and Applied Probability Vol. 21, Springer-Verlag, Berlin, 2004. MR 2020294 (2005k:60008) [17] V. Vovk, Itô calculus without probability in idealized financial markets, Lith. Math. J. 55(2) (2015), pp. 270–290. [18] E. Wong and M. Zakai, On the convergence of ordinary integrals to stochastic integrals, Ann. Math. Statist. 36 (1965), pp. 1560–1564. 14