arxiv: v1 [math.pr] 24 May 2018

Transcription

1 arxiv: v1 [math.pr] 4 May 18 STOCHASTIC INTEGRATION AND DIFFERENTIAL EQUATIONS FOR TYPICAL PATHS DANIEL BARTL, MICHAEL KUPPER, AND ARIEL NEUFELD + Abstract. The goal of this paper is to define stochastic integrals and to solve stochastic differential equations for typical paths taking values in a possibly infinite dimensional separable Hilbert space without imposing any probabilistic structure. In the spirit of [31, 35] and motivated by the pricing duality result obtained in [4] we introduce an outer measure as a variant of the pathwise minimal erhedging price where agents are allowed to trade not only in ω but also in ωdω := ω ω and where they are allowed to include beliefs in future paths of the price process expressed by a prediction set. We then call a property to hold true on typical paths if the set of paths where the property fails is null with respect to our outer measure. It turns out that adding the second term ω ω in the definition of the outer measure enables to directly construct stochastic integrals which are continuous, even for typical paths taking values in an infinite dimensional separable Hilbert space. Moreover, when restricting to continuous paths whose quadratic variation is absolutely continuous with uniformly bounded derivative, a second construction of model-free stochastic integrals for typical paths is presented, which then allows to solve in a model-free way stochastic differential equations for typical paths. 1. Introduction Stochastic differential equations SDEs are one of the most applied methods to mathematically characterize phenomena in nature. In financial engineering, stochastic differential equations are used to describe risky assets which are tradable in a financial market. This then allows to price financial derivatives and to solve portfolio optimization problems. In biology, SDEs are applied to analyze the dynamics of a population or to investigate the activity of nerve cells. In quantum physics, SDEs have proven to be fruitful to depict kinematics law of quantum fluctuations, to name but a few applications of SDEs. To be able to give sense and to define a solution of a stochastic differential equation, a notion of stochastic integration is necessary. It is well-known that defining a stochastic integral is a highly non-trivial problem and cannot be deduced directly from classical measure-theoretical calculus, as in general, stochastic processes describing the noise of Date: May 5, Mathematics Subject Classification. 6H5, 6H1; 6H15; 91G. Key words and phrases. Föllmer integration; Pathwise Stochastic Intergral; Pathwise SDE; Infinite dimensional stochastic calculus; Vovk s outer measure. Department of Mathematics, University of Vienna, daniel.bartl@univie.ac.at. Department of Mathematics, University of Konstanz, kupper@uni-konstanz.de. + RiskLab, Department of Mathematics, ETH Zürich, ariel.neufeld@math.ethz.ch. The first author is ported by the Austrian Science Fund FWF under grant Y78. Part of this research was carried out while the authors were visiting the Shanghai Advanced Institute of Finance and the School of Mathematical Sciences at the Shanghai Jiao Tong University in China, and we would like to thank Samuel Drapeau for his hospitality. 1

2 DANIEL BARTL, MICHAEL KUPPER, AND ARIEL NEUFELD + the dynamics do not have finite variation paths. Moreover, in financial engineering, stochastic integrals themselves are an important tool to describe the cumulative gains and losses when trading according to a given investment strategy. The Itô integral and the corresponding Itô calculus has been developed overcoming the obstacle of how to define integrals and differential equations when noise occurs. However, its construction heavily depends on a probabilistic structure and cannot be defined pathwise. More precisely, the construction of the stochastic integral is accomplished by a L P-limit procedure, and from the Bichteler-Dellacherie theorem it is known that the only class of good integrators for which the integral is, in a suitable sense, a continuous operator, are semimartingales. Later, there were several approaches to define stochastic integrals pathwise, without assuming any probabilistic structure. This allows to consider more general paths as integrators, rather than semimartingale paths. Moreover, motivated from mathematical finance, pathwise stochastic calculus can be employed to price financial derivatives without assuming any probabilistic model on the financial market leading to robust prices; see [1, 4, 5, 6, 1, 15] to name but a few. The first result which provides a construction of a stochastic integral without imposing any probabilistic structure was given in Föllmer [17]. In [11] pathwise stochastic integrals with a directional derivative whose construction goes back to[16] of a non-anticipative functional as integrand have been constructed and a change of variable formula for such integrals was obtained. Using this framework, an Itô isometry for such integrals was established in [3], whereas in [33] a pathwise notion for the gain process with respect to corresponding self-financing trading strategies was introduced. Recently in [1] it was shown that one can extend Föllmer s pathwise Itô calculus to paths with arbitrary regularity by employing the concept of p-th variation along a sequence of time partitions. In [] Föllmer s pathwise stochastic calculus has been extended to obtain prices of American and European options under volatility uncertainty. In [13] Föllmer s pathwise stochastic calculus has been employed to price weighted variance swaps when a finite number of European call and put options for a known price are traded. In [9, ], a pathwise construction of the stochastic integral was proposed for càdlàg integrands which enables to solve the so-called aggregation problem of defining a stochastic integral which coincides with the classical stochastic integral simultaneously for all semimartingale measures. This has been used to price financial derivatives under Knightian uncertainty, see [6, 8, 34]. A solution for the above aggregation problem, under the continuum hypothesis, was obtained in [7] for general predictable integrands using medial limits. For pathwise construction of stochastic integrals with respect to càdlàg integrators, we refer to [18, 1]. Recently, motivated by game-theoretic considerations, Vovk introduced in[35] an outer measure on the space of continuous paths and declared an event to be typical if its complement is null with respect to the defined outer measure. He then showed that typical paths possess a quadratic variation. In other words, it was shown in [35] that paths which do not possess a quadratic variation allow a form of arbitrage. Vovk s approachwasemployed in [31] to define an outer measurewhich can be interpreted asthe pathwise minimal erhedging price motivated from financial mathematics. Using their outer measure they constructed a model-free stochastic integral which is continuous for typical price paths and connected their typical paths with rough paths by demonstrating that every typical price path possess an Itô rough path. Moreover,[36, 37] provide several additional constructions of model-free stochastic integrals for typical paths. In [9, 3] Itô calculus with respect to the so-called G-Brownian motion as integrator has been developed, which is motivated from financial mathematics when investigating pricing

3 INTEGRATION AND DIFFERENTIAL EQUATIONS FOR TYPICAL PATHS 3 and portfolio optimization problems under volatility uncertainty. There, by referring to the notion of typical paths, the pathwise integral and the corresponding stochastic calculus is defined for typical paths with respect to the so-called G-expectation. The goalof this workis to provideaconstruction ofamodel-freestochastic integralfor typical paths which allows to solve stochastic differential equations pathwise. Motivated by the result of Vovk [35], we restrict our attention to those continuous paths for which a quadratic variation exists. Our setting is similar to the one in [31]. More precisely, we introduce an outer measure which is defined as a variant of the pathwise minimal erhedging price and call a property to hold true on typical paths if the set of paths where the property fails is null with respect to our outer measure. The main difference, compared to the outer measure in [31], is that in our definition hedging is not only allowed in ω representing the price path of the risky security, but also in the second security ω ω. This roughly means that erhedging strategies both in ω and ωdω are permitted. Moreover, the pathwise erhedging property only needs to hold with respect to a predefined prediction set of paths. Such a erhedging price, which can be seen as a second-order Vovk approach, was introduced in [4] and enabled to provide a pricing duality result when the financial agent is allowed to include beliefs in future paths of the price process expressed by a prediction set Ξ, while eliminating all those which are seen as impossible. This reduces the robust erhedging price, which typically leads to too high prices, see [14, 5]. We refer to [5, 19, 4] for related works regarding prediction sets and its relation to pricing of financial derivatives. It turns out that adding the second term in the definition of the outer measure enables to directly define stochastic integrals which are continuous, even for paths taking values in an infinite dimensional separable Hilbert space, see Theorem.. Its proof is based on an elementary, but crucial observation provided in Lemma 3.4 using heavily the second order term in the definition of the outer measure, which is then employed to derive a Burkholder-Davis-Gundy BDG type of inequality, see Proposition 3.6. We point out that no condition on the prediction set is imposed so far. To be able to solve stochastic differential equations pathwise, a second construction of model-free stochastic integrals is provided under the condition that the prediction set consists of all paths possessing an absolutely continuous quadratic variation whose derivative is uniformly bounded, see Theorem.6. This notion of a model-free stochastic integral allows us to solve stochastic differential equations for typical paths taking values in a possibly infinite dimensional Hilbert space, see Theorem.8. The remainder of this paper is organized as follows. In Section, we introduce the setupandstateourmainresultsofthispaper,whoseproofsarethenprovidedinsection3.. Setup and main results Let H be a separable Hilbert space with scalar product, H and respective norm h H = h,h 1/ H. For a finite time horizon T > we denote by C[,T],H the space of all continuouspaths ω: [,T] H endowedwith the remum norm t [,T] ωt H. Let Ω be the Borel set of all ω C[,T],H for which the pathwise quadratic variation ω given by ω t := lim m k=1 ω σk m ω t H ω σk 1ω t m H

4 4 DANIEL BARTL, MICHAEL KUPPER, AND ARIEL NEUFELD + exists as a limit in the remum norm in C[,T],R along the dyadic partition σ m k ω := inf { t σ m k 1ω : ωt ωσ m k 1ω H m} with σ m ω = for all k,m N. Define the processes S: [,T] Ω H and S: [,T] Ω R by S t ω := ωt and S t ω := S t ω H ω t, and let F be the raw filtration on Ω given by F t := σs s : s t for all t [,T] and F + its right-continuous version. Given another separable Hilbert space K, denote by LH,K the Banach space of all bounded linear operators F : H K endowed with the operator norm F LH,K := h H 1 Fh K. We denote by H s H,K the set of all simple integrands, i.e. processes F: [,T] Ω LH,K of the form F t ω = f n ω1 τnω,τ n+1ω]t n= where = τ τ n τ n+1 T are F + -stopping times such that for each ω there is nω such that τ nω ω = T and the functions f n : Ω LH,K are F τn+measurable. For such a simple integrand F the stochastic integral F N against any process N: [,T] Ω H can be defined pathwise F N t ω := f n ω Nτ t n+1 ω Nτ t n ω K n= where N t s := N s t. Notice that processes in H s H,R can be viewed as simple integrands with values in H by identifying LH,R with H. Our results strongly rely on the following modified version of Vovk s outer measure. If not explicitly stated otherwise, all in-equalities between functions X : Ω [, + ] are understood pointwise on Ω. Definition.1. Let Ξ Ω be a fixed prediction set. Then for all X: Ω [,+ ] we define there are Fn in H s H,R and Gn in H s R,R such that EX := inf λ : λ+f n S t +G n S t on Ξ for all n and t [,T], and λ+liminf n Fn S T +G n. S T X on Ξ Moreover, we say that a property holds for typical paths on Ξ if E1 N = for the set N where the property fails. From now on we fix a prediction set Ξ Ω and consider the outer measure E with respect to Ξ. Further, we denote by MΞ the set of martingale measures ported on Ξ, i.e. all Borel probability measures P on Ω such that S t is a P-F-martingale and PΞ = 1. The function t ω t is continuous and nondecreasing for all ω Ω, thus induces a finite measure on [,T]. Therefore, we denote F S t ω := t F u ωd Sω u the Lebesgue-Stieltjes integral with respect to a function F: [,T] Ω R such that Fω is measurable and F uω d Sω u < + for all ω Ω and set F S t ω := + otherwise.

5 INTEGRATION AND DIFFERENTIAL EQUATIONS FOR TYPICAL PATHS 5 Now, we start with our first result stating that for any prediction set Ξ Ω we can define for typical paths stochastic integrals which are continuous. To that end, for any F: [,T] Ω LH,K we introduce F H H,K := F LH,K S 1 T ω Ξ and define the space of integrands F H H,K < +, and there exists H H,K := F: Ω [,T] LH,K : a sequence F n in H s H,K such that F F n. H H,K Theorem.. Let F H H,K and assume that K is finite dimensional. Then the stochastic integral F S: Ω C[,T],K exists and satisfies the following weak Burkholder-Davis-Gundy BDG type of inequality E F S t K 4 F LH,K S Tω = 4 F H H,K. ω Ξ t [,T] Moreover, the space H H,K and the stochastic integral are linear for typical paths and the latter coincides with the classical stochastic integral under every martingale measure P MΞ. Remark.3. If K is a general not finite dimensional Hilbert space, then the stochastic integral F S exists for every F H H,K. However, it remains open whether it has a continuous modification. We refer to Remark 3.7 for further details. Remark.4. Throughout this paper we work with the real-valued quadratic variation S of the H-valued processes S. However, for K = R one can instead consider the tensor-valued process S defined by ω t := lim ω σk m ω t ω σk 1 m ω t ω σk m ω t ω σk 1 m ω t m k=1 where σk mω := inf{ t σk 1 m ω : ωt ωσm k 1 ω H m} with σ m ω = for all k, m N, and where denotes the tensor product. Then the processes S and S := S S S take values in the tensor space H H. In this setting, E can be defined as before with the difference that the integrands G n are elements of H s H H,R. In the weak BDG inequality of Theorem., the term F LH,R S has to be replaced by F F S, see e.g. [3, Chapter ] for more details on tensor quadratic variation. Note that in case H = R d it holds H H = R d d, the process S is the symmetric matrix containing the pairwise covariation of all components of S, and F F S = i,j Fi F j S i,s j. Replacing S by S might be of interest for the following reason: The prediction set Ξ may include different predictions for the quadratic variation and covariation of different components of S. While this is ignored in ω Ξ F LH,K S Tω, it is incorporated in ω Ξ F F S T ω, and the integral F S can potentially be defined for a larger space of integrands F. To be able to not only define stochastic integrals for typical paths, but also solve stochastic differential equations, we need to control the quadratic variation of typical paths.

6 6 DANIEL BARTL, MICHAEL KUPPER, AND ARIEL NEUFELD + Assumption.5. There exists a constant c [,+ such that { 1 Ξ = ω C[,T],H : For any F: [,T] Ω LH,K, set F H H,K := ω is Hölder continuous and ω is absolutely continuous with d ω /dt c E 1 F t LH,K dt. If the prediction set Ξ satisfies Assumption.5, then it turns out that stochastic integrals can be defined for integrands lying in the set F HH,K < +, and there exists a H H,K := F: Ω [,T] LH,K : sequence F n in H s,c H,K such that F F n, H H,K whereh s,c H,Kisthesetofthose n= f n1 τn,τ n+1] H s H,Ksuchthatthestopping times τ n are deterministic and f n : Ω LH,K is continuous for each n. Note that H H,K is a linear space. More precisely, the following result holds true. Theorem.6. Assume that Ξ satisfies 1 and let F H H,K. Then the stochastic integral F S: Ω C[,T],K exists and satisfies the following weak BDG-type inequality E t [,T] F S t K 4c }. E F t LH,K dt = 4c F H H,K. Moreover, it coincides with the classical stochastic integral under every martingale measure P MΞ. In addition, if f: [,T] K LH,K is Lipschitz continuous then the map Ω [,T] ω,t ft,f S t ω LH,K is an element of H H,K. For the rest of this Section, let Assumption.5 hold true with respect to the fixed constant c >. To be able to define a notion of a solution of a stochastic differential equation for typical paths, let A: [,T] Ω R be a process such that ω A t ω is continuous for all t and t Aω t is absolutely continuous with d A ω/dt c for all ω Ω. Moreover, let µ: [,T] K LR,K and σ: [,T] K LH,K be two functions which satisfy the following. Assumption.7. There is a constant L > such that for all k,k K and t,t [,T] we have that σt,k σt,k LH,K L t t + k k K, µt,k µt,k LR,K L t t + k k K. Then we can state our third main result stating the existence of solutions of stochastic differential equations for typical paths. Theorem.8. Assume that Ξ satisfies 1 and Assumption.7 holds. Moreover, let x K. Then there exists a unique up to typical paths X: Ω C[,T],K such that X H K,R and X solves the SDE i.e. for typical paths. dx t = µt,x t da t +σt,x t ds t, X = x, X t = x +µ,x A t +σ,x S t

7 INTEGRATION AND DIFFERENTIAL EQUATIONS FOR TYPICAL PATHS 7 For the precise definition of µ,x A and σ,x S see Lemma 3.15 & Remark 3.16 and Lemma 3.13 & Remark 3.14, respectively. Remark.9. We point out that with our methods we cannot solve SDEs for typical paths on the space H H,K instead of H H,K, even when Ξ satisfies 1. The reason is that the corresponding norm H H,K is too strong to obtain a similar result that if F H H,K and f: [,T] K LH,K is Lipschitz continuous, then f,f S H H,K. But such a relation is the key property necessary to solve SDEs. We refer to Lemma 3.13 for further details. 3. Proofs of our main results 3.1. Properties of E. In this subsection, we analyze properties of the outer measure E which will be crucial to define stochastic integrals and solutions of stochastic differential equation for typical paths. Throughout this subsection, we work with the conventions + = + = and + = + = +. First, observe that directly from its definition, the outer measure E is sublinear, positive homogenous, and satisfies Eλ λ for all λ [,+. In addition, E satisfies the following properties. Proposition 3.1. The functional E is countably subadditive, i.e. E X n EX n and satisfies E n=1 n=1 X n 1 n=1 E Xn for every sequence X n : Ω [,+ ], n N. Furthermore, it fulfills Hölder s inequality for all X,Y : Ω [,+ ]. n=1 E X Y EX 1 EY 1 Proof. The proof of countable subadditivity is the same as in [35, Lemma 4.1] and [31, Lemma.3]. However, due to the different setting and in order to be self contained, we provide a proof. Without loss of generality assume that n EX n < +. Fix ε >, a sequence c n in,+ such that n c n = ε, and let λ n := EX n +c n, as well as λ := n λ n. Then, by definition of EX n, for every n there are two sequences of simple integrands F n,m m and G n,m m such that 1 λ n +F n,m S t +G n,m S t for all t [,T] and m and λ n +liminf F n,m S T +G n,m S T Xn. m Now define the simple integrands F m := n m Hn,m and G m := n m Gn,m for each m. Then λ+f m S t +G m S t for all m, and eradditivity of liminf implies for every k N that λ+liminf Fm S T +G m S T m = liminf λn +F n,m S T +G n,m S T m n m lim inf λ n +F n,m S T +G n,m S T n. m n k n kx

8 8 DANIEL BARTL, MICHAEL KUPPER, AND ARIEL NEUFELD + Passing to the limit in k yields E n X n λ = n EX n + ε. Since ε > was arbitrary, we obtain the first inequality. As for Hölder s inequality, let X,Y : Ω [,+ ]. First, we assume that EX < + and EY < +. If EX = or EY =, then the pointwise estimate X Y αx + Y α for all α >, together with sublinearity and monotonicity of E yields E X Y α EX + 1 α EY so that E X Y =. If EX > and EY >, then the previous inequality applied to X := X/EX 1 and Ỹ := Y/EY 1 with α = 1 leads to E X Y EX 1 EY 1 = E X Ỹ E X + EỸ = 1. Second, if EX = and EY = + the first part implies E X EX 1, i.e. E X =. Therefore, the pointwise inequality X Y n=1 X together with the countable subadditivity of E yield that E X Y E X E X =. n=1 To show the second statement, let X n be a family of functions X n : Ω [,+ ] which is at most countable. By the previous steps we have E X n = E n X m n n,mx n X m n,mex n=1 It remains to take the root. EXn 1 EX. m 1 = EXn 1 n,m n Proposition 3.. Given an arbitrary Banach space B, B, we define X := E X B 1 for X: Ω B. Then the following hold: i The functional is a semi-norm, i.e. it only takes non-negative values, is absolutely homogeneous, and satisfies the triangle inequality. ii Every Cauchy sequence X n : Ω B, n N, w.r.t. has a limit X: Ω B, i.e. X n X, and there is a subsequence n k such that X nk ω Xω for typical paths. Proof. It is clear that only takes values in [,+ ] and is absolutely homogeneous. To show the triangle inequality, let X,Y : Ω B. It follows from Proposition 3.1 that X +Y E X B + Y B 1 E X B 1 +E Y 1 B = X + Y. To see that ii holds true, let X n be a Cauchy sequence and choose a subsequence X nk such that X nk+1 X nk k. By Proposition 3.1 it holds 1 E X nk+1 X nk B X nk+1 X nk < +. k k

9 INTEGRATION AND DIFFERENTIAL EQUATIONS FOR TYPICAL PATHS 9 This implies that the set N := { k X n k+1 X nk B = + } satisfies E1 N =. As B is complete, for every ω N c, the sequence X nk ω k has a limit. Therefore, X := lim k X nk 1 N c is a mapping from Ω to B and Proposition 3.1 yields 1 X X nk E X nl+1 X nl B nl+1 X nl l k X k+1 l k as k tends to infinity. Since X n is a Cauchy sequence, the triangle inequality shows that X X n X X nk + X nk X n as k,n. Lemma 3.3. For every P MΞ and every measurable X: Ω [,+ ] one has E P [X] EX. Proof. Fix P MΞ and X: Ω [,+ ] measurable. First, if F H s H,R and G H s R,R are of the form F = n N f n 1 τn,τ n+1] and G = n Ng n 1 τn,τ n+1] such that n N f n H < and n N g n < for some N N, then the process F S + G S is a continuous martingale the martingale property follows e.g. by approximating f n P-a.s. by functions with finite range and dominated convergence. Second, let λ, F = n f n1 τn,τ n+1] in H s H,R, and G = n g n1 τn,τ n+1] in H s R,R be such that λ+f S t +G S t on Ξ for all t. Define the stopping times σ m := inf{t : S t H m or F t LH,R m} τ m and similarly, σ m := inf{t : S t m or G t LR,R m} τ m. Note that for every ω there is m = mω such that σ m ω = σ m ω = T. Defining F m := F1,σm] in H s H,R andg m := G1, σm] inh s R,Rforeverymoneobservesthat F m S t = F S t σm and G m S t = G S t σm converge pointwise to F S t and G S t, respectively. However, sincef m SandGm S aremartingalesbythe firststepandλ+f m S t +G m S t on Ξ for all t, it follows from Fatou s lemma that F S+G S is a ermartingale. Finally, let λ, F n a sequence in H s H,R, and G n a sequence in H s R,R such that λ+f n S t +G n S t on Ξ for all t and λ+liminf n Fn S T +G n S T X on Ξ. Since F n S+Gn S is a ermartingale by the previous arguments, it follows from Fatou s lemma that E P [X] E P [λ+liminff n S T +G n S T n liminf E P [λ+f n S T +G n S T ] λ. n As λ was arbitrary, this shows E P [X] EX. 3.. Proof of Theorem.. The goal of this subsection is to prove Theorem.. Lemma 3.4, though of elementary nature, is the key observation in what follows. More precisely, it is exactly in this Lemma that we see that adding the second order, i.e. integrals with respect to S in the definition of E, leads to a simple Itô isometry and, with the help of a pathwise inequality, to a BDG-inequality. This, in turn, allows us to directly define stochastic integrals for typical paths which are continuous. Lemma 3.4. For every simple integrand F H s H,K there exists F H s H,R such that for all t [,T] we have F S t K F S t + F LH,K S t + F LH,K S t. ]

10 1 DANIEL BARTL, MICHAEL KUPPER, AND ARIEL NEUFELD + In particular, the following weak Itô isometry holds true. For every F H s H,K, it holds that E F S T K F LH,K S Tω = F H H,K. ω Ξ Proof. Fix a simple integrand F = n f n1 τn,τ n+1] H s H,K. By definition, when denoting fn the adjoint operator of f n, we see that F S t K = f m Sτ t m+1 Sτ t m,f n Sτ t n+1 Sτ t n K n,m = fn f ms t S t,s t S t + f τm+1 τm τn+1 τn n Sτ t H n+1 Sτ t n K, m<n n whereallsumsarefinitebydefinitionofsimpleintegrands. Usingtheinequality f n Sτ t n+1 Sτ t n K f n LH,K St τ n+1 Sτ t n H and since S t τ n+1 S t τ n H = St τ n+1 H St τ n H St τ n,s t τ n+1 S t τ n H = S t τ n+1 S t τ n + S t τ n+1 S t τ n S t τ n,s t τ n+1 S t τ n H it follows that F S t K fnf m Sτ t m+1 Sτ t m f n LH,K St τ n,sτ t n+1 Sτ t n where F := n m<n + n f n LH,K St τ n+1 S t τ n + n = F S t + F LH,K S t + F LH,K S t, H f n LH,K S t τ n+1 S t τ n fn f ms τm+1 S τm f n LH,K S τ n 1 τn,τ n+1] H s H,R. m<n For the second claim let λ := ω Ξ F LH,K S Tω. Since F H s H,R, F LH,K H sr,r, and λ+ F S t + F LH,K S t F S t K for all t λ+ F S T + F LH,K S T F S T K, it follows that E F S T K λ = F H H,K. We first recall an inequality from [] which turns out to be crucial for the proof of the weak BDG inequality. The connection between pathwise inequalities as in 3 and martingale inequalities are studied in [, 7, 8]. Lemma 3.5. Let N N. Then for every x,...,x N R N+1 it holds that N 1 3 max n N x n 4x N 4 max x i xn+1 x n. i n n= Proof. This is [, Proposition.1] and the remark afterwards. Proposition 3.6 Weak BDG inequality for simple integrands. Assume that K is finite dimensional. Then for every F H s H,K one has that E F S t K 4 F LH,K S ω = T 4 F H H,K. ω Ξ t [,T]

11 INTEGRATION AND DIFFERENTIAL EQUATIONS FOR TYPICAL PATHS 11 Proof. First assume that K = R and fix a simple integrand F = n f n1 τn,τ n+1] = n F τ n+1 1 τn,τ n+1] H s H,K. Let σ m n, n,m N, be stopping times such that {τ n ω : n N} {σ m n ω : n N} =: D m ω, for every m the set D m ω is finite and D m ω D m+1 ω, and the closure of m D m ω equals [,T] for every ω Ω. Now fix some m and note that F = n F σ m n+1 1 σ m n,σ m n+1 ] since σ m n is finer than τ n. Now, for every m define H m := 4 n max i n F S σ m i Fσ m n 1 σ m n,σ m n+1 ] H s H,R. Then, by Lemma 3.5 applied to x n = F S t σ m n it holds for all t [,T] that max F n N St σ 4F n m St T 4 max F i n St σ m Fσ m i n+1 Sσ t m St n+1 σ n m n N = 4F S t + H m S t. Furthermore, by Lemma 3.4, there exists F H s H,R such that for every t [,T] we have F S t F S t + F LH,K S t + F LH,K S t. Therefore, setting H m := 4 F + H m H s H,R, G := 4 F LH,K H sr,r, and λ := 4 ω Ξ F LH,K S Tω, we obtain for every t [,T] that max n N F St σ m n λ+hm S t +G S t. As m {σ n m : n} is dense in [,T], we conclude that max F t [,T] S t = limmaxf m n N ST σ λ+liminf n m m Hm S T +G S T. This shows that E t [,T] F S t λ = 4 F H H,K, and concludes the proof for K = R. If K is finite dimensional say with orthonormal basis {k 1,...,k d }, one has F S t K = d i=1 Fi S t with Fi = F,k i K. Therefore, one can apply the previous step to every F i to obtain the desired result also when K is finite dimensional. Proof of Theorem.. Fix F H H,K and a sequence F n in H s H,K such that F F n H H,K. Now Proposition 3.6 implies that E F n S t F m S t K 4 F n F m H H,K. t [,T] Therefore Proposition 3. applied to the Banach space B := C[,T],K implies the existence of a limit F S: Ω B such that E F S t F n S t K. t [,T] The proofthat fortypical paths F S doesnot depend on the choiceofthe sequence F n which converges to F and that the BDG inequality extends to F H H,K follows from the triangle inequality by standard arguments. Moreover, we derive from the well-known L P-limit procedure for the construction of the classical stochastic integral see, e.g., [3] and Lemma 3.3 that indeed, the constructed stochastic integral

12 1 DANIEL BARTL, MICHAEL KUPPER, AND ARIEL NEUFELD + for typical paths coincides with the classical stochastic integral under every martingale measure P MΞ. Remark 3.7. By arguing like in the proof of Theorem., but using the weak Itô isometry introduced in Lemma 3.4 instead of the weak BDG-inequality defined in Proposition 3.6, we can define stochastic integrals with respect to integrands F H H,K without imposing that K is finite dimensional. Moreover, using standard arguments involving the triangle inequality, we see that the weak Itô isometry introduced in Lemma 3.4 for simple integrands in H s H,K also holds true for integrands in H H,K. However, it remains open if the stochastic integral with respect to integrands in H H,K possess a continuous modification, since the weak Itô isometry, compared to the weak BDG inequality whose proof depends on the fact that K is finite dimensional, is too weak to guarantee that the sequence of simple integrals converge uniformly Duality Result for Second-oder Vovk s outer measure. The goal of this subsection is to provide a duality result for the outer measure E. Theorem 3.8. Assume that Ξ = {ω Ω : ω, ω Ξ} for a subset Ξ C[,T],H C[,T],R which satisfies i Ξ is the countable union of compact sets w.r.t. uniform convergence, ii ω t Ξ for all ω Ξ and t [,T], iii ν = and ν is nondecreasing for all ω = ω,ν Ξ. Then for every X: C[,T],H [,+ ] which is the pointwise limit of an increasing sequence X n : Ω [,+ ] of upper semicontinuous functions one has 4 EX = E P [X]. P MΞ In particular, the duality 4 holds for every nonnegative upper or lower semicontinuous function X: C[,T],H [,+ ]. Up to a different admissibility condition in the definition of E, the statement of Theorem 3.8 is similar to [4, Theorem.]. However, the additional assumption that Ξ contains all stopped paths, can be used as in the proof of [5, Theorem.1] to deduce Theorem 3.8 in the present setting. Therefore, we only provide a sketch of the proof with main focus on the admissibility condition. Let us recall the setting of [4]. On Ω := C[,T],H C[,T],R we consider the processes S t ω := ωt and S t ω := ωt H νt for ω = ω,ν Ω. For := { ω Ω : ω Ω and ω = ν}, we consider the filtration F + defined as the right-continuous version of F t = σ S s, S s : s t σ N : N Ω\. A function F on [,T] Ω with values in LH,R or LR,R is called simple if it is of the form F t ω = n N f n ω1 τn ω, τ n+1 ω]t for t, ω [,T] Ω, where = τ τ n τ n+1 T are F + -stopping times such that for each ω only finitely many stopping times are strictly smaller than T, and f n are F τn+ -measurable functions on Ω with values in LH,R and LR,R, respectively. The function F is called finite simple, if τ n = T for all n N for some N N. Consider

13 INTEGRATION AND DIFFERENTIAL EQUATIONS FOR TYPICAL PATHS 13 the functional Ē X there are two simple sequences Hn, Ḡn such that := inf λ : λ+ H n S t +Ḡn S t on Ξ for all t and n, and λ+liminf n Ḡ n S T +Ḡn S T X on Ξ for X: Ω [,+ ]. Further, for a measurableset Ā Ω, we denote by MĀ the set of all Borel probabilities P on Ω such that PĀ = 1 and both S and S are P-martingales w.r.t. the filtration F +. The reason to consider the enlarged space Ω is that the duality arguments in the proof of Theorem 3.8 build on topological arguments and the set Ξ in contrast to Ξ is not regular enough. The following transfer principle is the reason why duality on Ω can be recovered from duality on the enlarged space Ω. Lemma 3.9. For every measurable function X: C[,T],H [,+ ] one has EX = ĒX S and Proof. The proof is similar to [4, Lemma 4.6]. E P [X] = E P[X S]. P MΞ P M Ξ Lemma 3.1. There is an increasing sequence of nonempty compact sets Ξ n Ω such that Ξ = n Ξ n and ω t Ξ n for every ω Ξ n and t [,T]. Proof. The proof is similar to [5, Lemma 4.5]. Lemma Assume that λ+ḡ S T + H S T on Ξ, where Ḡ and H are finite simple integrands. Then λ+ḡ S t +Ḡ S t on Ξ for every t [,T]. Proof. The proof is similar to [5, Lemma 4.6]. We are now ready for the proof of the duality theorem. Proof of Theorem 3.8. We first approximate the functional Ē. To that end, let Ξ n be the sets of Lemma 3.1 and for X: Ω [,+ ] define Ē n X there are finite simple integrands H, Ḡ and c such that := inf λ R : λ+ H S t +Ḡ S t c on Ξ n for all t,n, and λ+ḡ S T +Ḡ S T X on Ξ. n. As Ξ n is compact, one can verify that Ēn is sufficiently regular so that for every upper semicontinuous and bounded function X: Ω R we have 5 Ē n X = E P[ X]. P M Ξ n The precise argumentation is given in the steps a-c of [4, Theorem.]. Next, let X n : Ω [,+, n N, be bounded upper semicontinuous functions and X := n Xn. Then it holds Ē X = P M Ξ E P[ X]. Indeed, by the weak duality in Lemma 3.3, using that M Ξ M Ξn, X Xn for all n, and the representation 5 one has 6 Ē X E P[ X] P M Ξ n P M Ξ n E P[ X n ] = Ē n X n. n ThisshowsĒ X n Ē n X n. Toprovethereverseinequality, whichthenimpliesthat all inequalities in 6 are actually equalities, one may assume without loss of generality

14 14 DANIEL BARTL, MICHAEL KUPPER, AND ARIEL NEUFELD + that m := n Ē n X n < +. Given some fixed ε >, for every n there exist by definition finite simple integrands Ḡn and H n such that 7 Now define the stopping times m+ε/+ḡn S T + H n S T X n on Ξ n. σ n := inf{t [,T] : m+ε/+ḡn S t + H n S t = ε/} T. Then Ḡn S σn = G n S T for the simple integrand G n := Ḡn 1 [, σn] and similar H n S σn = H n S T for H n := H n 1 [, σn]. Since X n, it follows from 7 and Lemma 3.11 that σ n = T on Ξ n. The assumption that Ξ = n Ξ n and Ξ n Ξ n+1 therefore imply m+ε+ G n S t + H n S t on Ω for all t and n, m+ε+liminf G n S T + H n S T liminf X n = X on n n Ξ, which shows that Ē X m+ε. As ε was arbitrary, the desired inequality follows. The proof of the theorem is now readily completed using the transfer principle derived in Lemma Proof of Theorem.6. Throughout this subsection we assume that the prediction set Ξ satisfies 1, i.e. every ω Ξ is Hölder continuous with d ω /dt c. Proposition 3.1. Let F H s,c H,K. Then, one has E t [,T] F S t K 4c E F t LH,K dt. Proof. First, since Ω ω t [,T] F S t ω K is lower semicontinuous, the function C[,T],H ω F S t ω K inf δ> ω Ω t [,T] ω ω H δ defines its lower semicontinuous extension on C[, T], H. Moreover, since by assumption Ξ satisfies 1, the conditions of Theorem 3.8 are satisfied. Therefore, we can apply Theorem 3.8 to obtain that E t [,T] F S t K = P MΞ E P [ t [,T] F S t K Now, under every P MΞ, the process F S K is a real-valued submartingale. Therefore, Doob s maximal inequality implies [ ] E P F S t K 4E P [ F S T K ] 4E P[ F LH,K S T] t [,T] where the last inequality is the weak Itô-Isometry apply e.g. the same arguments as in the proof of Lemma 3.4 and integrate w.r.t. P. Finally, by assumption and Lemma 3.3 one has E P [ F LH,K S T] c which proves the claim. E P [ F t LH,K ]dt c E F t LH,K dt ].

15 INTEGRATION AND DIFFERENTIAL EQUATIONS FOR TYPICAL PATHS 15 Proof of Theorem.6. The part of Theorem. which states that the stochastic integral exists for integrands in H H,K follows from Proposition 3.1 using the exact same arguments as in the proofof Theorem.. The second part is shown in Lemma 3.13 below. In the next Lemma, we extend the inequality obtained in Proposition 3.1 to integrands lying in H H,K. Moreover, we prove for Lipschitz continuous functions f: [,T] K LH,K, that f,f S H H,K whenever F H H,K. This is the crucial property allowing to solve stochastic differential equations for typical paths. Lemma Let F H H,K. Then, one has E t [,T] F S t K 4c E F t LH,K dt. In addition, if f: [,T] K LH,K is Lipschitz continuous then the map Ω [,T] ω,t ft,f S t ω LH,K is an element of H H,K. Proof. The first part follows from Proposition 3.1 and the triangle inequality. It remains to prove that f,f S H H,K. Assume first that F H s,c H,K and define n 1 H n := fit/n,f S it/n 1 it/n,i+1t/n] i= for every n. Since ω F S it/n ω is continuous for ever i, one has H n H s,c H,K. Moreover, with π n t := max{it/n : i N such that it/n t} and L f being the Lipschitz constant of f, one has f,f S H n H H,K L f t π E n t + F S t F S πnt K dt 8 L f t π n t +E F S t F S πnt K dt. Now Theorem 3.8, the weak Itô-Isometryargue as in Proposition 3.1, and weak duality Lemma 3.3 imply for every t that 9 E F S t F S πnt [ K = E P F St F S πnt ] K P MΞ [ t ] t E P F s LH,K d S s c E F s LH,K ds P MΞ π nt c π nt E F s LH,K ds < +. ThisshowsthatE F S t F S πnt K isdominatedbyc E F s LH,K ds < + and converges pointwise to when n goes to infinity since then π n t t. Therefore, dominatedconvergenceimplies f,f S H n H H,K, whichshowsthatf,f S H H,K.

16 16 DANIEL BARTL, MICHAEL KUPPER, AND ARIEL NEUFELD + The general case follows by approximating F H H,K by F n H s,c H,K, and using the inequality f,f n S f,f S H H,K L f E F n S t F S t K dt TL fe F n S t F S t K where the last inequality is ensured by the first part. t T 4cTL f Fn F H H,K, Remark Let F H H,K. Similar to the proof of Lemma 3.13 one can verify 1 f,f H H,K for every function f : [,T] K LH,Kwhich is Lipschitz continuous, and F S can be identified with an element in H K,R, by considering if S for the isometric isomorphism i : K LK, R given by the Riesz representation theorem. In Subsection 3.5 we will frequently use this identification Proof of Theorem.8. We recall that throughout this subsection the Assumptions.5 &.7 hold. Lemma For F H R,K, the integral exists and satisfies E t [,T] F A: Ω C[,T],K F A t K c T E F t LR,K dt. In particular, F A H K,R by identifying K with LK,R. Moreover, if f: [,T] K LR,K is Lipschitz continuous, then f,f A H R,K. Proof. For F,G H s,c R,K, Theorem 3.8 and Hölder s inequality implies [ E F A t G A t T ] K E P F t G t K cdt t [,T] P MΞ c T E P [ F t G t K ]dt c T F G H R,K. P MΞ The rest follows by the same arguments as in the proof of Theorem.. The second part can be proved as in Lemma In line with Remark 3.14 the following holds. Remark For F H K,R one has 1 f,f H R,K for every function f : [,T] K LR,K which is Lipschitz continuous, and F A can be identified with an element in H K,R. Now we are ready to prove Theorem.8. Consider the Picard iteration X n+1 := x +µ,x n A+σ,X n S starting at X x K and recall the Lipschitz continuity of µ and σ imposed in with corresponding Lipschitz constant L.

17 INTEGRATION AND DIFFERENTIAL EQUATIONS FOR TYPICAL PATHS 17 Lemma Assume that X n : Ω C[,T],K and X n H K,R. Then the process X n+1 : Ω C[,T],K satisfies X n+1 H H,K and t g n+1 t := E Xs n+1 Xs n K C g n sds s [,t] for all t [,T] where C := c T + 8cL and g t [,T] µt,x LR,K + t [,T] σt,x LH,K < +. Proof. By Lemma3.13, Remark 3.14, Lemma3.15, and Remark3.16it holds that X n+1 : Ω C[,T],K and X n+1 H H,K. Define µ n t := µt,xn t µt,xn 1 t, σt n := σt,xt n σt,xn 1 t, and Xt n := Xn t Xn 1 t for all t [,T] and n N. Since s [,t] Xs n+1 K µ n A s K + σ n S s K, s [,t] s [,t] it follows from Lemma 3.13 and Lemma 3.15 that g n+1 t = E Xs n+1 K s [,t] E µ n A s K +E σ n S s K c T C C t t s [,t] t E µ n s LR,K ds+8c E Xs n LK,R ds E u [,s] X n u K ds = C s [,t] t t E σs n LH,K ds g n sds. For n = the previous computation yields g 1 t C t g sds. That g < + follows directly from the assumption on µ and σ. The existence and uniqueness of the SDE follows directly from Lemma 3.17 by standard arguments. Indeed, iterating the estimate g n+1 t C t gn sds yields g n t g Ctn n! for all t [,T] and n N. For any function Y : Ω C[,T],K define Y := 1 E t [,T] Y t K which by Proposition 3. is a semi-norm. Then, since for every m,n N with m > n one has X m X n X k X k 1 CT k 1 as n k! k>n k>n it follows that X n is a Cauchy sequence w.r.t.. By Proposition 3. there exists a subsequence n k such that X n k converges to some X : Ω C[,T],K for typical paths and X n X. Since X n X H K,R = it follows that X H K,R, as well as E Xs n X s LK,R ds T X n X µ,x n µ,x H R,K and σ,x n σ,x H H,K

18 18 DANIEL BARTL, MICHAEL KUPPER, AND ARIEL NEUFELD + by Lipschitz continuity of µ and σ. This shows X = lim n Xn+1 = lim x +µ,x n A+σ,X n S n = x +µ,x A+σ,X S where the limits are w.r.t.. As for the uniqueness, pose there exist two solutions X,Y : Ω C[,T],K in H K,R of the SDE. Similar to the proof of Lemma 3.17 we get gt := E s [,t] X s Y s K C t gs ds with C := c T + 8cL. Iterating this estimate yields gt gt Ctk k! for all k N and t [,T], so that X Y = gt 1 =. This shows that X and Y coincide for typical paths. References [1] B. Acciaio, M. Beiglböck, F. Penkner, and W. Schachermayer. A model-free version of the fundamental theorem of asset pricing and the er-replication theorem. Math. Finance, 6:33 51, 16. [] B. Acciaio, M. Beiglböck, F. Penkner, W. Schachermayer, and J. Temme. A trajectorial interpretation of Doob s martingale inequalities. The Annals of Applied Probability, 34: , 13. [3] A. Ananova and R. Cont. Pathwise integration with respect to paths of finite quadratic variation. Journal de Mathématiques Pures et Appliquées, 176: , 17. [4] D. Bartl, M. Kupper, and A. Neufeld. Pathwise erhedging on prediction sets. Preprint, arxiv: , 17. [5] D. Bartl, M. Kupper, D. J. Prömel, and L. Tangpi. Duality for pathwise erhedging in continuous time. Preprint, arxiv: , 17. [6] M. Beiglböck, A. M. Cox, M. Huesmann, N. Perkowski, and D. J. Prömel. Pathwise erreplication via Vovk s outer measure. Finance and Stochastics, 14: , 17. [7] M. Beiglböck and M. Nutz. Martingale inequalities and deterministic counterparts. Electronic Journal of Probability, 19, 14. [8] M. Beiglböck and P. Siorpaes. Pathwise versions of the Burkholder Davis Gundy inequality. Bernoulli, 11:36 373, 15. [9] K. Bichteler. Stochastic integration and L p -theory of semimartingales. Ann. Probab., 9:49 89, [1] M. Burzoni, M. Frittelli, and M. Maggis. Universal arbitrage aggregator in discrete time under uncertainty. Finance and Stochastics, 1:1 5, 16. [11] R. Cont and D.-A. Fournié. Change of variable formulas for non-anticipative functionals on path space. Journal of Functional Analysis, 59:143 17, 1. [1] R. Cont and N. Perkowski. Pathwise integration and change of variable formulas for continuous paths with arbitrary regularity. arxiv preprint arxiv: , 18. [13] M. Davis, J. Obloj, and V. Raval. Arbitrage bounds for prices of weighted variance swaps. Math. Finance, 4:81 854, 14. [14] Y. Dolinsky and A. Neufeld. Super-replication in fully incomplete markets. Math. Finance, 8: , 18. [15] Y. Dolinsky and H. M. Soner. Martingale optimal transport and robust hedging in continuous time. Probab. Theory Related Fields, 161 :391 47, 14. [16] B. Dupire. Functional Itô calculus. Portfolio Research Paper 9-4, Bloomberg, 9. [17] H. Föllmer. Calcul d Itô sans probabilités. Séminaire de probabilités de Strasbourg, 15:143 15, [18] Y. Hirai. Remarks on Föllmer s pathwise Itô calculus. Preprint, arxiv: , 17. [19] Z. Hou and J. Ob lój. On robust pricing-hedging duality in continuous time. To appear in Finance Stoch. arxiv:153.8, 15. [] R. L. Karandikar. On pathwise stochastic integration. Stochastic Processes and their Applications, 57:11 18, 1995.

19 INTEGRATION AND DIFFERENTIAL EQUATIONS FOR TYPICAL PATHS 19 [1] R. M. Lochowski, N. Perkowski, and D. J. Prömel. A erhedging approach to stochastic integration. Finance and Stochastics, 14: , 17. [] T. J. Lyons. Uncertain volatility and the risk-free synthesis of derivatives. Appl. Math. Finance, : , [3] M. Métivier. Semimartingales: A Course on Stochastic Processes, volume. Walter de Gruyter, 198. [4] P. Mykland. Financial options and statistical prediction intervals. Ann. Statist., 315: , 3. [5] A. Neufeld. Buy-and-hold property for fully incomplete markets when er-replicating markovian claims. Preprint, arxiv: , 17. [6] A. Neufeld and M. Nutz. Superreplication under volatility uncertainty for measurable claims. Electronic Journal of Probability, 1848:1 14, 13. [7] M. Nutz. Pathwise construction of stochastic integrals. Electronic Communcations in Probability, 174:1 7, 1. [8] M. Nutz and H. M. Soner. Superhedging and dynamic risk measures under volatility uncertainty. SIAM Journal on Control and Optimization, 54:65 89, 1. [9] S. Peng. G-expectation, G-Brownian motion and related stochastic calculus of Itô type. In Stochastic analysis and applications, pages Springer, 7. [3] S. Peng. Nonlinear expectations and stochastic calculus under uncertainty. Preprint, arxiv:1.4546, 1. [31] N. Perkowski and D. J. Prömel. Pathwise stochastic integrals for model free finance. Bernoulli, 4:486 5, 16. [3] P. Protter. Stochastic integration and differential equations. Math. Appl, Second edition, Springer- Verlag, 4. [33] C. Riga. A pathwise approach to continuous-time trading. Preprint, arxiv: , 16. [34] H. M. Soner, N. Touzi, and J. Zhang. Dual formulation of second order target problems. The Annals of Applied Probability, 31:38 347, 13. [35] V. Vovk. Continuous-time trading and the emergence of probability. Finance and Stochastics, 164:561 69, 1. [36] V. Vovk. Purely pathwise probability-free Itô integral. Preprint, arxiv: , 15. [37] V. Vovk and G. Shafer. Towards a probability-free theory of continuous martingales. Preprint, arxiv: , 17.