## Introduction

Given the space $$C([0,T],\mathbb{R}^{d})$$ of all continuous price trajectories, the superhedging problem of a contingent claim $$X\colon C([0,T],\mathbb{R}^{d})\to \mathbb{R}$$ consists of finding the infimum over all $$\lambda \in \mathbb{R}$$ such that there exists a trading strategy $$H$$ which satisfies

$$\lambda + (H\cdot S)_{T}(\omega ) \ge X(\omega ),\qquad \omega \in C([0,T],\mathbb{R}^{d}),$$
(1.1)

where $$(H\cdot S)_{T}(\omega )$$ denotes the capital gain by trading according to the strategy $$H$$ in the underlying assets $$S_{t}(\omega ):=\omega (t)$$.

In the classical framework of mathematical finance, one commonly postulates a model for the price evolution by fixing a probability measure $$P$$ such that $$S$$ is a semimartingale and defines $$(H\cdot S)_{T}$$ as the stochastic integral $$\int _{0}^{T} H_{t}\,\mathrm {d}S _{t}$$. Then a consequence of the fundamental theorem of asset pricing states that the infimum over all $$\lambda$$ such that there are admissible predictable integrands $$H$$ fulfilling inequality (1.1) is equal to the supremum of $$E_{Q}[X]$$ over all absolutely continuous local martingale measures $$Q$$; see Delbaen and Schachermayer [19, Sect. 9.5]. Here, the superhedging (i.e., inequality (1.1)) is assumed to hold $$P$$-almost surely and the set of absolutely continuous local martingale measures is non-empty, which is guaranteed by the exclusion of some form of arbitrage; see [19, Corollary 9.1.2] for the precise formulation.

More recently, alternative possibilities to specify the superhedging requirement without referring to a fixed model have been proposed. For instance, if an investor takes into account a class $$\mathcal{P}$$ of probabilistic models, then superhedging is naturally required to hold $$\mathcal{P}$$-quasi surely, i.e., $$P$$-almost surely for all considered models $$P\in \mathcal{P}$$. The pioneering works of Lyons [33] and Avellaneda et al. [4] on Knightian uncertainty in mathematical finance consider models with uncertain volatility in continuous time. The study of the pricing–hedging duality in this setting has given rise to a rich literature starting with the capacity-theoretic approach of Denis and Martini [20]. Further, Peng [39, Theorem 2.4] obtains the duality using stochastic control techniques, whereas Soner et al. [47, 46, 45] rely on supermartingale decomposition results under individual models and eventually build on aggregation results to derive the duality under model uncertainty. This approach has been extended by Neufeld and Nutz [37] to cover measurable claims using the theory of analytic sets; see also Biagini et al. [15] for a robust fundamental theorem of asset pricing under a model ambiguity version of the no-arbitrage-of-the-first-kind condition $$\mathrm{NA}_{1}(\mathcal{P})$$, and Nutz [38] for the case of jump diffusions.

In the present work, we focus on the pathwise/model-free approach and assume that the superhedging requirement (1.1) has to hold pointwise for all price trajectories in a given set $$\Omega \subseteq C([0,T],\mathbb{R}^{d})$$. In this pathwise setting, finding the minimal superhedging price turns out to be a purely analytic problem whose formulation is independent of any probabilistic assumptions. This is in contrast to the above-mentioned approaches working with a fixed model, under Knightian uncertainty or in a quasi-sure setting. Notice that the pathwise approach corresponds to the quasi-sure approach when $$\mathcal{P}$$ contains all Dirac measures, which in continuous time is excluded; see e.g. [15, Corollary 3.5].

In the now classical paper [30], Hobson first addressed the problem of pathwise superhedging for the lookback option. His analysis was based on some sharp pathwise martingale inequalities and has motivated Beiglböck et al. [11] to introduce the martingale optimal transport problem in discrete time. Here, the investor takes static positions in some liquidly traded vanilla options and dynamic positions in the stocks. The rationale is that information on the price of options translates into the knowledge of some marginals of the martingale measures; see also [1, 7, 18, 17, 16, 12] for further developments in this direction. In continuous time, the duality for the martingale optimal transport has been obtained by Galichon et al. [26] and Possamaï et al. [41] in the quasi-sure setting. The pathwise formulation was studied by Dolinsky and Soner [21] using a discretisation of the sample space. These results have been extended by Hou and Obłój [31], who in particular allow incorporation of investor’s beliefs (of possible price paths) by relying on the notion of “prediction set” due to Mykland [36].

Following this consideration in our analysis, we also assume that the investor does not deem every continuous path plausible, but focuses instead on a prediction set $$\Omega \subseteq C([0,T], \mathbb{R}^{d})$$ that is required to be $$\sigma$$-compact (i.e., at most a countable union of compact sets), and define the pathwise superhedging problem on the sample space $$\Omega$$. Moreover, restricting the set of possible price paths has the financially desirable effect of reducing the superhedging price. See also Aksamit et al. [3] and Acciaio and Larsson [2] for other treatments of belief and information in robust superhedging, and Dolinsky and Soner [22] and Guo et al. [29] for extensions of the pathwise formulation to the Skorokhod space.

In the continuous-time setting, already the definition of a pathwise “stochastic integral” is a non-trivial issue. We circumvent this problem by working with simple strategies and consider as “stochastic” integral the pointwise limit inferior of pathwise integrals against simple strategies, an approach that was proposed by Perkowski and Prömel [40] to define an outer measure allowing to study stochastic integration under model ambiguity. This outer measure is very similar in spirit to that of Vovk [48] and can be seen as the value of a pathwise superhedging problem; cf. Sect. 2.1 for details and Beiglböck et al. [10] and Vovk [49] for existing duality results in this setting.

Formally, the superhedging price of a contingent claim $$X \colon \Omega \to [-\infty ,+\infty ]$$ is defined as the infimum over all $$\lambda \in \mathbb{R}$$ such that there exists a sequence $$(H ^{n})$$ of simple strategies which satisfies

$$\lambda + \liminf _{n\to \infty } (H^{n}\cdot S)_{T}(\omega ) \ge X( \omega )\qquad \mbox{for all }\omega \in \Omega$$

and the admissibility condition $$\lambda +(H^{n}\cdot S)_{t}(\omega ) \geq 0$$ for all $$n\in \mathbb{N}$$, $$\omega \in \Omega$$ and $$t\in [0,T]$$. If $$X$$ is the limit inferior of a sequence of continuous functions, then under the assumptions that $$\Omega$$ is $$\sigma$$-compact and contains all its stopped paths, we show that the superhedging price coincides with the supremum of $$E_{Q}[X]$$ over all martingale measures $$Q$$. Furthermore, this duality is generalised to the case when $$X$$ is unbounded from above and when $$\Omega$$ does not contain all its stopped paths. In addition to providing a way around the technical difficulty posed by the definition of pathwise stochastic integrals, the superhedging in terms of limit inferior turns out to be necessary to guarantee the duality on a sufficiently large space; see Remark 2.6 for a counterexample.

Our main contributions to the pathwise pricing–hedging duality in continuous time and with finitely many risky assets are as follows. While in the current literature (see e.g. [31, 21, 29]) pathwise duality results hold for uniformly continuous options, the proposed method allows much less regular claims (including for example European options, spread options, continuously and discretely monitored Asian options, lookback options, certain types of barrier options, and options on realised variance). In particular, this implies a duality for Vovk’s outer measure on closed sets. A related duality result was given by Vovk [49], however, under an additional closedness assumption on the set of attainable outcomes. Moreover, our pricing–hedging duality holds for every prediction set $$\Omega$$ which is $$\sigma$$-compact. Let us remark that the assumption of $$\sigma$$-compactness is an essential ingredient of the presented method to get the pricing–hedging duality. We show in Sect. 3.1 that typical price trajectories for various popular financial models such as local, stochastic or even rough volatility models belong to the $$\sigma$$-compact space of Hölder-continuous functions. In the related work [31], the pricing–hedging duality holds for an approximate version of the superhedging price which requires the superhedging on an enlarged prediction set $$\Omega ^{\varepsilon }:=\{\omega \in C([0,T], \mathbb{R}^{d}) : \inf _{\omega ^{\prime }\in \Omega } \|\omega - \omega ^{\prime }\|_{\infty }\le \varepsilon \}\supseteq \Omega$$ for any given $$\varepsilon > 0$$.

The article is organised as follows. In Sect. 2, we present the main results (Theorems 2.1 and 2.7) and some direct applications. Section 3 contains a detailed discussion of feasible choices for the underlying sample space. The proofs of the main results are carried out in Sect. 4. A criterion for the sample path regularity of stochastic processes and the construction of a counterexample are given in the Appendix.

## Main results

Let $$C([0,T],\mathbb{R}^{d})$$ be the space of continuous functions $$\omega \colon [0,T] \to \mathbb{R}^{d}$$, where $$T>0$$ is a finite time horizon and $$d\in \mathbb{N}$$. Throughout the entire paper, $$\Omega \subseteq C([0,T],\mathbb{R}^{d})$$ is a non-empty metric space, that is, $$\Omega \neq \emptyset$$ and there is a fixed metric $$\textrm{d}$$ on $$\Omega$$. We consider on $$\Omega$$ the topology $$\mathcal{T}$$ which is induced by $$\textrm{d}$$ and the Borel $$\sigma$$-algebra which is generated by the open sets with respect to $$\textrm{d}$$. The metric space $$\Omega$$ is called $$\sigma$$-compact if there exists a countable sequence of compact (with respect to $$\textrm{d}$$) sets $$K_{n}\subseteq \Omega$$ such that $$\Omega = \bigcup _{n} K_{n}$$. A map $$X\colon \Omega \to \mathbb {R}$$ is said to be continuous if $$X$$ is continuous with respect to $$\mathrm {d}$$ and the Euclidean distance on ℝ.

The canonical process $$S\colon [0,T]\times \Omega \to \mathbb{R}^{d}$$ given by $$S_{t}(\omega ):=\omega (t)$$ generates the raw filtration $$\mathcal{F}^{0}_{t}:=\sigma (S_{s},s\le t\wedge T)$$, $$t\ge 0$$, i.e., $$\mathcal{F}^{0}_{t}$$ is the smallest $$\sigma$$-algebra that makes all $$S_{s}$$ with $$s\leq t$$ measurable. Furthermore, let $$(\mathcal{F}_{t})$$ be the right-continuous version of the raw filtration $$(\mathcal{F} ^{0}_{t})$$, defined by $$\mathcal{F}_{t}:=\bigcap _{s>t} {\mathcal{F}} ^{0}_{s}$$ for all $$t\in [0,T]$$. Denote by $$\mathcal{M}(\Omega )$$ the set of all Borel probability measures $$Q$$ on $$\Omega$$ such that the canonical process $$S$$ is a $$Q$$-martingale, and by

$$\mathcal{M}_{c}(\Omega ):=\{Q\in \mathcal{M}(\Omega ) : Q[K]=1 \text{ for some compact } K\subseteq \Omega \}$$

the subset of all martingale measures with compact support. Define

$$C_{\delta \sigma }:=\Big\{ X\colon \Omega \to [-\infty ,+\infty ] : \textstyle\begin{array}{l} X=\liminf _{n} X_{n} \text{ for a sequence (X_{n}) such that}\\ X_{n}\colon \Omega \to \mathbb{R} \text{ is bounded and continuous} \end{array}\displaystyle \Big\} .$$

Note that $$C_{\delta \sigma }$$ contains all upper and lower semicontinuous functions from $$\Omega$$ to ℝ.

A process $$H\colon [0,T]\times \Omega \to \mathbb{R}^{d}$$ is called simple predictable if it is of the form

$$H_{t}(\omega )=\sum _{n=1}^{N} h_{n}(\omega )\mathbf {1} _{(\tau _{n}(\omega ), \tau _{n+1}(\omega )]}(t) ,\qquad (t,\omega )\in [0,T]\times \Omega ,$$

where $$N\in \mathbb{N}$$, $$0\leq \tau _{1}\leq \cdots \leq \tau _{N+1} \leq T$$ are stopping times with respect to the filtration $$( \mathcal{F}_{t})$$, and $$h_{n}\colon \Omega \to \mathbb{R}^{d}$$ are bounded $$\mathcal{F}_{\tau _{n}}$$-measurable functions. The set of all simple predictable processes is denoted by $$\mathcal{H}^{f}:= \mathcal{H}^{f}(\Omega )$$. For a simple predictable $$H\in \mathcal{H} ^{f}$$, the pathwise stochastic integral

$$(H\cdot S)_{t}(\omega ):=\sum _{n=1}^{N} h_{n}(\omega ) \big(S_{\tau _{n+1}(\omega )\wedge t}(\omega )-S_{\tau _{n}(\omega )\wedge t}( \omega )\big)$$

is well defined for all $$t\in [0,T]$$ and all $$\omega \in \Omega$$. Similarly, the pathwise stochastic integral $$H\cdot S$$ is also well defined for every $$H\colon [0,T]\times \Omega \to \mathbb{R}^{d}$$ in the set $$\mathcal{H}:=\mathcal{H}(\Omega )$$ of processes of the form

$$H_{t}(\omega ) = \sum _{n= 1}^{\infty } h_{n}(\omega ) \mathbf {1} _{(\tau _{n}( \omega ),\tau _{n+1}(\omega )]}(t),$$

where $$0\leq \tau _{1} \leq \tau _{2}\leq \cdots$$ are stopping times such that for each $$\omega \in \Omega$$ there exists an $$N(\omega )\in \mathbb {N}$$ with $$\tau _{k}(\omega )=T$$ for all $$k\geq N( \omega )$$, and $$h_{n}\colon \Omega \rightarrow \mathbb {R}$$ are bounded $$\mathcal{F}_{\tau _{n}}$$-measurable functions.

We introduce the following two assumptions, which we shall use frequently.

(A1) $$\Omega$$ is $$\sigma$$-compact, the metric on $$\Omega$$ induces a topology finer than (or equal to) that induced by the maximum norm $$\|\omega \|_{\infty }:=\max _{t\in [0,T]} |\omega (t)|$$, and for each Borel probability $$Q$$ on $$\Omega$$ and every bounded $$\mathcal{F}_{t} ^{0}$$-measurable function $$h$$, there exists a sequence of $$\mathcal{F}_{t}^{0}$$-measurable continuous functions $$(h_{n})$$ which converges $$Q$$-almost surely to $$h$$.

(A2) For every $$\omega \in \Omega$$ and each $$t\in [0,T]$$, the stopped path $$\omega ^{t}(\cdot ):=\omega (\cdot \wedge t)$$ is in $$\Omega$$ and the function $$[0,T]\times \Omega \ni (t,\omega )\mapsto \omega ^{t}$$ is continuous.

If $$\Omega$$ is a $$\sigma$$-compact metric space for the metric and the topology induced by the maximum norm, then (A1) is always satisfied; see Remark 4.1. Now we are ready to state the main results of this paper. The proofs are given in Sect. 4.

### Theorem 2.1

Suppose that (A1) and (A2) hold and let$$Z\colon \Omega \to [0,+ \infty )$$be a continuous function such that$$Z(\omega ^{s})\leq Z( \omega ^{t})$$for all$$\omega \in \Omega$$and$$0\leq s\leq t\leq T$$. Then for every$$X\in C_{\delta \sigma }$$which satisfies$$X(\omega ) \geq -Z(\omega )$$for all$$\omega \in \Omega$$, one has

\begin{aligned} &\inf \left \{ \lambda \in \mathbb{R} : \textstyle\begin{array}{l} \textit{there is a sequence }(H^{n})\textit{ in }\mathcal{H}^{f}\textit{ such that} \\ \lambda +(H^{n}\cdot S)_{t}(\omega )\geq -Z(\omega ^{t}) \textit{ for all } (t,\omega )\in [0,T]\times \Omega \\ \textit{and } \lambda + \liminf _{n} (H^{n}\cdot S)_{T}(\omega ) \geq X( \omega ) \,\textit{ for all } \omega \in \Omega \end{array}\displaystyle \right \} \\ & =\sup _{Q\in \mathcal{M}_{c}(\Omega )} E_{Q}[X]. \end{aligned}
(2.1)

Moreover, the equality (2.1) also holds if$$\mathcal{H} ^{f}$$is replaced by ℋ, or$$\mathcal{M}_{c}(\Omega )$$is replaced by$$\mathcal{M}_{Z}(\Omega ):=\{Q\in \mathcal{M}(\Omega ): E _{Q}[Z]<+\infty \}$$.

### Remark 2.2

(i) By continuity of $$Z$$, one has $$\mathcal{M}_{c}(\Omega )\subseteq \mathcal{M}_{Z}(\Omega )$$. In particular, if $$X(\omega )\geq - Z( \omega )$$ for all $$\omega \in \Omega$$, the expectation $$E_{Q}[X]$$ is well defined under every $$Q\in \mathcal{M}_{Z}(\Omega )$$.

(ii) Note that $$Z(\omega ):=\max _{t\in [0,T]} |\omega (t)|^{p}$$ for $$p\geq 0$$ satisfies $$Z(\omega ^{s})\leq Z(\omega ^{t})$$ for every $$\omega \in \Omega$$ and $$0\leq s\leq t\leq T$$.

(iii) If $$Z\geq \|\cdot \|_{\infty }$$, then $$E_{Q}[\max _{t\in [0,T]} |S _{t}|]<+\infty$$ for every Borel probability measure $$Q$$ which integrates $$Z$$. Hence the set of all local martingale measures which integrate $$Z$$ coincides with $$\mathcal{M}_{Z}(\Omega )$$.

In particular, for $$Z=0$$ the previous theorem reads as follows.

### Corollary 2.3

Suppose that (A1) and (A2) hold. Then for every$$X\in C_{\delta \sigma }$$with$$X\ge 0$$, one has

\begin{aligned} &\inf \left \{ \lambda \in \mathbb{R} : \textstyle\begin{array}{l} \textit{there is a sequence }(H^{n})\textit{ in }\mathcal{H}\textit{ such that} \\ \lambda +(H^{n}\cdot S)_{t}(\omega )\geq 0 \textit{ for all } (t, \omega )\in [0,T]\times \Omega \\ \textit{and } \lambda + \liminf _{n} (H^{n}\cdot S)_{T}(\omega ) \geq X( \omega ) \,\textit{ for all } \omega \in \Omega \end{array}\displaystyle \right \} \\ & =\sup _{Q\in \mathcal{M}(\Omega )} E_{Q}[X]. \end{aligned}

The arguments in the proof of Theorem 2.1 in combination with a regularity result for martingale measures on $$C([0,T],\mathbb{R}^{d})$$ (see Lemma 4.7 below) yield the following pricing–hedging duality on the entire space $$C([0,T], \mathbb{R})$$.

### Corollary 2.4

Let$$\Omega =C([0,T],\mathbb{R}^{d})$$. Then

\begin{aligned} & \inf \left \{ \lambda \in \mathbb{R} : \textstyle\begin{array}{l} \textit{for every compact }K\subseteq \Omega ,\textit{ there are }H\in \mathcal{H}^{f}\textit{ and }c\geq 0 \\ \textit{such that }\lambda +(H\cdot S)_{T}(\omega )\geq -c\textit{ for all } \omega \in \Omega \textit{ and } \\ \lambda +(H\cdot S)_{T}(\omega )\geq X(\omega )\textit{ for all } \omega \in K \end{array}\displaystyle \right \} \\ & =\sup _{Q\in \mathcal{M}(\Omega )} E_{Q}[X] \end{aligned}

for every bounded upper semicontinuous function$$X\colon \Omega \to \mathbb{R}$$.

### Remark 2.5

Suppose $$\Omega \subseteq C([0,T],\mathbb{R})$$ satisfies the assumptions (A1) and (A2). Let $$(\pi _{n})_{n\in \mathbb{N}}$$ be a refining sequence of partitions of $$[0,T]$$ with mesh converging to zero. The pathwise quadratic variation of a path $$\omega \in \Omega$$ is defined by

$$\langle \omega \rangle _{t}:=\liminf _{n}\langle \omega \rangle _{t}^{n}, \qquad \text{where } \langle \omega \rangle ^{n}_{t}:= \sum _{[u,v]\in \pi _{n}} \big(\omega (u\wedge t)-\omega (v\wedge t) \big)^{2},$$
(2.2)

for $$t\in [0,T]$$. Then for every continuous function $$\xi \colon \Omega \times \mathbb{R} \to \mathbb{R}$$ which is bounded from below, one has

$$X(\omega ) :=\liminf _{n} \xi (\omega ,\langle \omega \rangle ^{n}_{T}) \in C_{\delta \sigma }.$$

Hence the pathwise pricing–hedging duality in Theorem 2.1 holds for this claim. This shows that the class $$C_{\delta \sigma }$$ includes in particular the financial derivatives in the scope of [10], i.e., options on realised variance, among many others.

### Remark 2.6

While the pathwise pricing–hedging duality results in [21, 31] hold for sufficiently regular claims when trading is limited to simple predictable processes (i.e., without the “lim inf” as in our definition), the following example shows the necessity of “lim inf” for claims in $$C_{\delta \sigma }$$. Let $$\Omega$$ be the set of all Hölder-continuous functions starting at zero with values in $$[0,1]$$ and equipped with the distance induced by the maximum norm. There exist a refining deterministic sequence $$(\pi _{n})_{n\in \mathbb{N}}$$ of partitions with mesh size going to zero and a function $$\tilde{\omega }\in \Omega$$ such that

• $$0\leq \tilde{\omega }(t) \leq 1$$ for all $$t\in [0,T]$$,

• $$\langle \tilde{\omega }\rangle _{t}:=\lim _{n} \langle \tilde{\omega } \rangle ^{n}_{t}$$ exists for all $$t\in [0,T)$$ and $$\lim _{t\to T}\langle \tilde{\omega }\rangle _{t}=+\infty$$,

where $$\langle \tilde{\omega }\rangle ^{n}_{t}$$ is defined as in (2.2). For the existence of such a function $$\tilde{\omega }$$, we refer to Lemma A.3. We fix now the above sequence $$(\pi _{n})_{n\in \mathbb{N}}$$ and denote by $$\langle \omega \rangle _{t}$$ the corresponding quadratic variation along $$(\pi _{n})_{n\in \mathbb{N}}$$ defined as in (2.2) for all $$\omega \in \Omega$$. Furthermore, let us consider the option $$X (\cdot ):=\langle \, \cdot \,\rangle _{T}\in C_{\delta \sigma }$$.

Firstly, we get by Itô’s formula and Fatou’s lemma that

$$\sup _{Q\in \mathcal{M}(\Omega )} E_{Q}[X]\leq 1.$$

Secondly, we observe that

\begin{aligned} & \inf \{ \lambda \geq 0 : \text{there is }H\in \mathcal{H}^{f}\text{ such that }\lambda + (H\cdot S)_{T}(\omega )\geq X(\omega )\text{ for all } \omega \in \Omega \} \\ & =+\infty . \end{aligned}
(2.3)

Indeed, assume that there exist (even more generally) a predictable process $$H$$ of bounded variation and a constant $$\lambda _{0}>0$$ such that

$$\lambda _{0} + (H\cdot S)_{T}(\omega )\geq X(\omega )\qquad \text{for all } \omega \in \Omega ,$$
(2.4)

where $$(H\cdot S)_{T}(\omega )$$ denotes the classical Riemann–Stieltjes integral defined using the integration by parts formula. For $$\tilde{\omega }$$ we get

$$(H\cdot S)_{T} (\tilde{\omega })\leq \|\tilde{\omega }\|_{\infty } \|H( \tilde{\omega })\|_{1\text{-}\mathrm{var};[0,T]}\leq \|H(\tilde{\omega })\| _{1\text{-}\mathrm{var};[0,T]}< +\infty ,$$

where $$\|H(\tilde{\omega })\|_{1\text{-}\mathrm{var};[0,T]}$$ denotes the bounded variation seminorm of $$H$$. Because $$X(\tilde{\omega })=+ \infty$$, this implies that (2.4) cannot hold for any $$\lambda _{0}\in \mathbb{R}$$ and therefore establishes (2.3).

Hence, there exists a duality gap if the superhedging is restricted to trading strategies of bounded variation as in [21, 31]. However, the pricing–hedging duality using the limit inferior of simple predictable processes holds true since $$\Omega$$ and $$X$$ satisfy all assumptions of Theorem 2.1; see Sect. 3 below.

If $$\Omega$$ does not contain all its stopped paths, then the following version of Theorem 2.1 holds true.

### Theorem 2.7

Let$$Z\colon \Omega \to [1,+\infty )$$be a function with compact sublevel sets$$\{Z\leq c\}$$for all$$c\in \mathbb{R}$$and such that$$Z(\omega )\geq \|\omega \|_{\infty }$$for all$$\omega \in \Omega$$. If (A1) holds true and$$\mathcal{M}_{Z}(\Omega ) \neq \emptyset$$, then

\begin{aligned} &\inf \left \{ \lambda \in \mathbb{R} : \textstyle\begin{array}{l} \textit{there are }c\ge 0\textit{ and a sequence }(H^{n})\textit{ in }\mathcal{H}^{f} \textit{ such that} \\ (H^{n}\cdot S)_{T}(\omega )\geq -cZ(\omega )\textit{ for all }\omega \in \Omega \textit{ and}\\ \lambda + \liminf _{n} (H^{n}\cdot S)_{T}(\omega ) \geq X(\omega ) \,\textit{ for all } \omega \in \Omega \end{array}\displaystyle \right \} \\ & =\sup _{Q\in \mathcal{M}_{Z}(\Omega )} E_{Q}[X] \end{aligned}

for every$$X\in C_{\delta \sigma }$$which is bounded from below.

### Relation to Vovk’s outer measure

In recent years (see e.g. [48, 49] and the references therein), Vovk introduced on different path spaces an outer measure, defined as the minimal superhedging price, which allows quantifying the path behaviour of “typical price paths” in frictionless financial markets without any reference measure.

In order to recall Vovk’s outer measure on a set $$\Omega \subseteq C([0,T],\mathbb {R}^{d})$$ endowed with the maximum norm, we write $$\mathcal{H}_{\lambda }$$ for the set of $$\lambda$$-admissible strategies, i.e., the set of all $$H\in \mathcal{H}$$ such that $$(H\cdot S)_{t}(\omega ) \ge - \lambda$$ for all $$(t,\omega )\in [0,T]\times \Omega$$. Furthermore, we define the set of processes

\begin{aligned} \mathcal{V}_{\lambda }:= \bigg\{ \mathrm{H}:= (H^{k})_{k\in \mathbb {N}} : H^{k} \in \mathcal{H}_{\lambda _{k}},\, \lambda _{k} > 0,\, \sum _{k=1} ^{\infty } \lambda _{k} = \lambda \bigg\} \end{aligned}

for an initial capital $$\lambda \in (0, +\infty )$$. Note that for every $$\mathrm{H} = (H^{k}) \in \mathcal{V}_{\lambda }$$, all $$\omega \in \Omega$$ and all $$t \in [0,T]$$, the corresponding capital process

\begin{aligned} (\mathrm{H}\cdot S)_{t}(\omega ) := \sum _{k = 1}^{\infty } (H^{k} \cdot S)_{t}(\omega ) = \sum _{k = 1}^{\infty } \big(\lambda _{k} + (H ^{k}\cdot S)_{t}(\omega )\big) - \lambda \end{aligned}

is well defined and takes values in $$[-\lambda , +\infty ]$$. Then Vovk’s outer measure on $$\Omega$$ is given by

\begin{aligned} \overline{Q}_{\Omega }(A) := \inf \left \{\lambda > 0\,: \textstyle\begin{array}{l} \text{there is } \mathrm{H} \in \mathcal{V}_{\lambda }\text{ such that } \\ \lambda + (\mathrm{H}\cdot S)_{T}(\omega ) \ge \mathbf {1} _{A}(\omega ) \text{ for all } \omega \in \Omega \\ \end{array}\displaystyle \right \}. \end{aligned}

A slight modification of $$\overline{Q}_{\Omega }$$ was introduced in Perkowski and Prömel [40], namely

\begin{aligned} \overline{P}_{\Omega }(A):= \inf \left \{\lambda > 0: \textstyle\begin{array}{l} \text{there is } (H^{n}) \text{ in } \mathcal{H}_{\lambda }\text{ such that} \\ \lambda + \liminf _{n\rightarrow \infty }(H^{n}\cdot S)_{T} (\omega ) \geq \mathbf {1} _{A}(\omega )\text{ for all } \omega \in \Omega \end{array}\displaystyle \right \} \end{aligned}

for $$A \subseteq \Omega$$. The latter definition seems to be more in the spirit of superhedging prices in semimartingale models as discussed in [40, Sects. 2.1 and 2.2]. Notice that even if it would be convenient to just minimise over simple strategies rather than over the limit (inferior) along sequences of simple strategies in both definitions of outer measures, the latter is essential to obtain the desired countable subadditivity of both outer measures.

### Remark 2.8

In case that $$\Omega =C([0,T],\mathbb {R}^{d})$$ with the maximum norm, one would expect that the outer measures $$\overline{Q}_{\Omega }$$ and $$\overline{P}_{\Omega }$$ coincide. However, currently it is only known that

$$\sup _{Q\in \mathcal{M}(\Omega )}Q[A] \leq \overline{P}_{\Omega }(A) \leq \overline{Q}_{\Omega }(A),$$
(2.5)

where $$A\subseteq C([0,T],\mathbb {R}^{d})$$ is a Borel-measurable set; see [48, Lemma 6.2] and [40, Lemma 2.9]. In the special case of $$\Omega =C([0,+\infty ),\mathbb {R})$$ and for time-superinvariant sets $$A\subseteq C([0,+\infty ),\mathbb {R})$$, the inequalities in (2.5) turn out to be true equalities. See Vovk [48, Sects. 2 and 3] and Beiglböck et al. [10, Sect. 2] for the precise definitions and statements in this context.

By restricting the outer measure $$\overline{P}_{\Omega }$$ to a $$\sigma$$-compact space $$\Omega$$ satisfying assumptions (A1) and (A2), we get the following duality result for the slightly modified version of Vovk’s outer measure as a direct application of Theorem 2.1.

### Proposition 2.9

Under the assumptions on$$\Omega$$of Theorem 2.1, one has

$$\overline{P}_{\Omega }(A)=\sup _{Q\in \mathcal{M}(\Omega )} Q[A]$$

for all closed subsets$$A\subseteq \Omega$$.

### Proof

For every closed subset $$A\subseteq \Omega$$, it follows from Corollary 2.3 that

\begin{aligned} \overline{P}_{\Omega }(A) &=\inf \left \{ \lambda >0 : \textstyle\begin{array}{l} \text{there is a sequence (H^{n}) in \mathcal{H} such that} \\ \text{\lambda +(H^{n}\cdot S)_{t}(\omega )\geq 0 \text{ for all } (t, \omega )\in [0,T]\times \Omega  and } \\ \lambda + \liminf _{n} (H^{n}\cdot S)_{T}(\omega ) \geq \mathbf {1} _{A}( \omega ) \,\text{ for all } \omega \in \Omega \end{array}\displaystyle \right \} \\ &=\sup _{Q\in \mathcal{M}(\Omega )} E_{Q}[\mathbf {1} _{A}]= \sup _{Q\in \mathcal{M}(\Omega )} Q[A], \end{aligned}

because $$\mathbf {1} _{A}$$ is upper semicontinuous. □

### Remark 2.10

Recently, Vovk [49] obtained a similar duality for open sets by adjusting the definition of the outer measure $$\overline{P} _{\Omega }$$. More precisely, his new definition of outer measure allows superhedging with all processes in the “liminf-closure” of capital processes generated by sequences of $$\lambda$$-admissible simple strategies; see [49, Sect. 2 and Theorem 2] for more details.

### Semi-static superhedging

Let us fix a continuous function $$Z\colon \Omega \to [1,+\infty )$$ such that $$Z(\omega ^{s})\leq Z(\omega ^{t})$$ for all $$\omega \in \Omega$$ and $$0\leq s\leq t\leq T$$, and consider a finite number of securities with (discounted) continuous payoffs $$G_{1},\dots , G_{K}$$ such that $$|G_{i}|\leq cZ$$ for $$i=1,\dots ,K$$ and some $$c\ge 0$$. We assume that these securities can be bought and sold at prices $$g_{k}\in \mathbb{R}$$ and satisfy the no-arbitrage condition

$$(g_{1},\dots ,g_{K})\in \mathop{\mathrm{ri}}\{(E_{Q}[G_{1}],\dots ,E _{Q}[G_{K}]):Q\in \mathcal{M}_{c}(\Omega )\}$$
(2.6)

where $$\mathop{\mathrm{ri}}$$ denotes the relative interior. Then the following semi-static hedging duality holds.

### Proposition 2.11

Suppose the assumptions (A1) and (A2) are satisfied and the securities with payoffs$$G_{1},\dots ,G_{K}$$satisfy the static no-arbitrage condition (2.6). Then for every upper semicontinuous function$$X\colon \Omega \to \mathbb{R}$$which satisfies$$|X|\leq cZ$$for some$$c\ge 0$$, one has

\begin{aligned} &\inf \left \{ \lambda \in \mathbb{R} : \textstyle\begin{array}{l} \textit{there are }c\ge 0, \alpha \in \mathbb{R}^{K}\textit{ and a sequence } (H^{n})\textit{ in }\mathcal{H}^{f}\textit{ such that} \\ \lambda +(H^{n}\cdot S)_{t}(\omega )\geq -cZ(\omega ^{t}) \textit{ for all } (t,\omega )\in [0,T]\times \Omega \textit{ and } \\ \lambda + \sum _{k=1}^{K} \alpha _{k} (G_{k}(\omega )-g_{k})+\liminf _{n} (H^{n}\cdot S)_{T}(\omega ) \geq X(\omega ) \\ \textit{ for all } \omega \in \Omega \end{array}\displaystyle \right \} \\ &=\sup _{Q\in \mathcal{M}_{c}^{G}(\Omega )} E_{Q}[X], \end{aligned}
(2.7)

where$$\mathcal{M}^{G}_{c}(\Omega ):=\{Q\in \mathcal{M}_{c}(\Omega ): E_{Q}[G_{k}] = g_{k}\textit{ for }k=1,\dots ,K\}$$.

### Proof

For every $$Y\colon \Omega \to \mathbb{R}$$ which satisfies $$|Y|\leq cZ$$ for some $$c\ge 0$$, we define

$$\phi (Y):=\inf \left \{ \lambda \in \mathbb{R} : \textstyle\begin{array}{l} \text{there are c\ge 0 and a sequence (H^{n}) in \mathcal{H}^{f} such that} \\ \text{\lambda +(H^{n}\cdot S)_{t}(\omega )\geq -cZ(\omega ^{t}) \text{ for } (t,\omega )\in [0,T]\times \Omega } \\ \text{and }\lambda + \liminf _{n} (H^{n}\cdot S)_{T}(\omega ) \geq Y( \omega ) \,\text{ for all } \omega \in \Omega \end{array}\displaystyle \right \},$$

and we remark that by interchanging two infima, the left-hand side of (2.7) can be expressed as $$\inf _{\alpha \in \mathbb{R}^{K}} \phi (X-\sum _{k=1}^{K} \alpha _{k} (G _{k}-g_{k}))$$. Further, Theorem 2.1 yields

$$\phi \bigg(X-\sum _{k=1}^{K} \alpha _{k} (G_{k}-g_{k})\bigg) = \sup _{Q\in \mathcal{M}_{c}(\Omega )} E_{Q}\bigg[X-\sum _{k=1}^{K} \alpha _{k} (G_{k}-g_{k})\bigg]$$

for every $$\alpha \in \mathbb{R}^{K}$$. Now define the function

$$J\colon \mathcal{M}_{c}(\Omega )\times \mathbb{R}^{K}\to \mathbb{R},\qquad J(Q, \alpha ):=E_{Q}[X]-\sum _{k=1}^{K} \alpha _{k} E_{Q}[G_{k}-g_{k}].$$

It is immediate that $$J(Q,\cdot )$$ is convex for every $$Q\in \mathcal{M}_{c}(\Omega )$$ and that $$J(\cdot ,\alpha )$$ is concave for each $$\alpha \in \mathbb{R}^{K}$$ since $$\mathcal{M}_{c}(\Omega )$$ is convex. Therefore, it follows exactly as in step (a) of the proof of [5, Theorem 2.1] that the assumption (2.6) of 0 being in the relative interior of

$$\{(E_{Q}[G_{1}-g_{1}],\dots ,E_{Q}[G_{K}-g_{K}]):Q\in \mathcal{M}_{c}( \Omega )\}$$

can be used to show that all the requirements of the minimax theorem [44, Theorem 4.1] are satisfied. Hence, one gets

\begin{aligned} \inf _{\alpha \in \mathbb{R}^{K}} \phi \bigg(X-\sum _{k=1}^{K} \alpha _{k} (G_{k}-g_{k})\bigg) & =\inf _{\alpha \in \mathbb{R}^{K}} \sup _{Q\in \mathcal{M}_{c}(\Omega )} J(Q,\alpha ) \\ & =\sup _{Q\in \mathcal{M}_{c}(\Omega )}\inf _{\alpha \in \mathbb{R} ^{K}} J(Q,\alpha ) =\sup _{Q\in \mathcal{M}_{c}^{G}(\Omega )} E_{Q}[X], \end{aligned}

where the first equality follows from Theorem 2.1 and the last by

$$\inf _{\alpha \in \mathbb{R}^{K}} J(Q,\alpha )= \textstyle\begin{cases} E_{Q}[X], &\quad \text{if }Q\in \mathcal{M}_{c}^{G}(\Omega ), \\ -\infty , &\quad \text{if } Q\in \mathcal{M}_{c}(\Omega )\setminus \mathcal{M}_{c}^{G}(\Omega ). \end{cases}$$

The proof is complete. □

## Discussion of $$\sigma$$-compact spaces

By definition, the $$\sigma$$-compactness of the metric space $$\Omega \subseteq C([0,T],\mathbb {R}^{d})$$ with metric $$\mathrm{d}$$ requires to find a covering of $$\Omega$$ by compact sets $$K^{m}$$, $$m\in \mathbb {N}$$. It is an easy consequence of the Arzelà–Ascoli theorem (see e.g. [25, Theorem 1.4]) that these $$K^{m}$$ have to be bounded, closed and equicontinuous.

In the next lemma, we provide an easy-to-check criterion for a set $$\Omega$$ of continuous functions to be $$\sigma$$-compact. This leads to many interesting examples of such $$\Omega \subseteq C([0,T], \mathbb{R}^{d})$$ appearing in the context of (classical) financial modelling; see Sect. 3.1.

### Lemma 3.1

For$$n\in \mathbb{N}$$, let$$c_{n}\colon [0,T]^{2}\to [0,+\infty )$$be a continuous function with$$c_{n}(t,t)=0$$for$$t\in [0,T]$$and define the norm

$$\|\omega \|_{c_{n},\alpha }:= |\omega (0)| + \sup _{s,t\in [0,T]} \frac{| \omega (t)-\omega (s)|}{c_{n}(s,t)^{\alpha }},\qquad \omega \in C([0,T], \mathbb{R}^{d}),$$

with$$\alpha \in (0,1]$$and the convention$$\frac{0}{0}:=0$$. Then the spaces

$$\Omega _{n} := \{ \omega \in C([0,T],\mathbb{R}^{d}) : \|\omega \|_{c _{n},1}< +\infty \},\qquad n\in \mathbb {N},$$

are$$\sigma$$-compact with respect to the norm$$\|\cdot \|_{c_{n}, \alpha }$$for$$\alpha \in (0,1)$$and in particular with respect to the maximum norm$$\|\cdot \|_{\infty }$$. Moreover, the set$$\Omega := \bigcup _{n\in \mathbb {N}} \Omega _{n}$$is$$\sigma$$-compact with respect to the maximum norm$$\|\cdot \|_{\infty }$$.

### Proof

For $$m,n\in \mathbb {N}$$, we observe that

$$\Omega _{n} = \bigcup _{m\in \mathbb {N}} K^{m}_{n} \qquad \text{with } K _{n}^{m} := \{ \omega \in C([0,T],\mathbb{R}^{d}) : \|\omega \|_{c _{n},1}\leq m \}.$$

In order to show the $$\sigma$$-compactness of $$\Omega _{n}$$ with respect to $$\|\cdot \|_{\infty }$$, we show that each $$K^{m}_{n}$$ is compact. Due to the Arzelà–Ascoli theorem, it is sufficient to show that each $$K ^{m}_{n}$$ is bounded, equicontinuous and closed. As to boundedness, for every $$\omega \in K^{m}_{n}$$, we have

$$\|\omega \|_{\infty }\leq |\omega (0)| + \sup _{t\in [0,T]}|\omega (t)- \omega (0)|\leq |\omega (0)| + m \sup _{t\in [0,T]} c_{n}(0,t).$$

Next, because $$c_{n}$$ is continuous on a compact set and $$c_{n}(t,t)=0$$ for $$t\in [0,T]$$, there exists for every $$\varepsilon >0$$ a $$\delta >0$$ such that $$|c_{n}(s,t)| <\varepsilon /m$$ for $$|t-s|\leq \delta$$. Hence for every $$\omega \in K^{m}_{n}$$ and $$s,t\in [0,T]$$ with $$|t-s|\leq \delta$$, we get $$|\omega (t)-\omega (s)| \leq \varepsilon$$, which yields equicontinuity. Finally, for closedness, we show that if $$(\omega _{k}) \subseteq K^{m}_{n}$$ converges uniformly to $$\omega$$, then $$\omega \in K^{m}_{n}$$. Indeed, this can be seen by

$$|\omega (0)|+\frac{|\omega (t)-\omega (s)|}{c_{n}(s,t)}= \lim _{k\to \infty } \bigg( |\omega _{k} (0)|+ \frac{|\omega _{k} (t)- \omega _{k} (s)|}{c_{n}(s,t)} \bigg)\leq m.$$

The $$\sigma$$-compactness of $$\Omega _{n}$$ with respect to $$\|\cdot \| _{c_{n},\alpha }$$ for $$\alpha \in (0,1)$$ follows by the fact that uniform convergence in each $$K^{m}_{n}$$ implies convergence with respect to $$\|\cdot \|_{c_{n},\alpha }$$, which is a consequence of the interpolation inequality, for $$s,t\in [0,T]$$,

$$\frac{|\omega (t)-\omega (s)|}{c_{n}(s,t)^{\alpha }} =\bigg( \frac{| \omega (t)-\omega (s)|}{c_{n}(s,t)} \bigg)^{\alpha }|\omega (t)- \omega (s)|^{1-\alpha } \leq 2 \|\omega \|_{c_{n},1}^{\alpha }\| \omega \|_{\infty }^{1-\alpha }.$$

Finally, $$\Omega$$ is $$\sigma$$-compact (with respect to $$\|\cdot \| _{\infty }$$) as a countable union of $$\sigma$$-compact sets. □

From the previous lemma, it is easy to deduce that many well-known function spaces $$\Omega \subseteq C([0,T],\mathbb {R}^{d})$$ are $$\sigma$$-compact spaces. To state the next corollary, we recall that a function $$c\colon [0,T]^{2}\to [0,+\infty )$$ is called a control function if $$c$$ is continuous, superadditive, i.e., $$c(s,t)+c(t,u) \leq c(s,u)$$ for $$0\leq s\leq t\leq u\leq T$$, and $$c(t,t)=0$$ for every $$t\in [0,T]$$.

### Corollary 3.2

(i) The space$$C^{\alpha }([0,T],\mathbb {R}^{d})$$of$$\alpha$$-Hölder-continuous functions, i.e.,

$$C^{\alpha }([0,T],\mathbb {R}^{d}) := \bigg\{ \omega \in C([0,T],\mathbb {R}^{d}) : \sup _{s,t\in [0,T]}\frac{|\omega (t)-\omega (s)|}{|t-s|^{ \alpha }} < +\infty \bigg\}$$

for$$\alpha \in (0,1]$$, is$$\sigma$$-compact with respect to$$\|\cdot \|_{\infty }$$and for$$\beta \in (0,\alpha )$$with respect to the Hölder norm$$\|\cdot \|_{\beta }$$defined by

$$\|\omega \|_{\beta }:= |\omega (0)|+ \sup _{s,t\in [0,T]}\frac{|\omega (t)-\omega (s)|}{|t-s|^{\beta }} \qquad \textit{for } \omega \in C ^{\alpha }([0,T],\mathbb {R}^{d}).$$

(ii) The spaceof all Hölder-continuous functions is$$\sigma$$-compact with respect to the maximum norm$$\|\cdot \|_{\infty }$$.

(iii) The fractional Sobolev space$$W^{\delta ,p}([0,T],\mathbb {R}^{d})$$with$$\delta -1/p>0$$, given by

$$W^{\delta ,p}([0,T],\mathbb {R}^{d}):= \bigg\{ \omega \in C([0,T],\mathbb {R}^{d}) : \int _{[0,T]^{2}}\frac{|\omega (t)-\omega (s)|^{p}}{|t-s|^{ \delta p +1}}\,\mathrm {d}s \,\mathrm {d}t < +\infty \bigg\}$$

for$$\delta \in (0,1)$$and$$p\in [1,+\infty )$$, is$$\sigma$$-compact with respect to$$\|\cdot \|_{\infty }$$.

(iv) The space$$C^{p\text{-}\mathrm {var},c}([0,T],\mathbb {R}^{d})$$, which is a subspace of continuous functions with finite$$p$$-variation, given by

$$C^{p\text{-}\mathrm {var},c}([0,T],\mathbb {R}^{d}) := \bigg\{ \omega \in C([0,T],\mathbb {R}^{d}) : \sup _{s,t\in [0,T]} \frac{|\omega (t)-\omega (s)|}{c(s,t)^{1/p}} < +\infty \bigg\}$$

for$$p\in [1,+\infty )$$and a control function$$c$$, is$$\sigma$$-compact with respect to$$\|\cdot \|_{\infty }$$and for$$p^{\prime }\in (p,+ \infty )$$with respect to the$$p^{\prime }$$-variation norm$$\|\cdot \|_{p^{\prime }\text{-}\mathrm {var}}$$defined by

$$\|\omega \|_{p^{\prime }\text{-}\mathrm {var}} := |\omega (0)| + \sup _{0\leq t_{0}\leq \cdots \leq t_{n} \leq T,\, n\in \mathbb {N}} \bigg( \sum _{i=0}^{n-1} |\omega (t_{i+1})-\omega (t_{i})|^{p^{\prime }} \bigg)^{1/p^{\prime }}.$$

### Proof

(i) and (ii) follow directly by Lemma 3.1 and the fact that

$$C^{\alpha }([0,T],\mathbb {R}^{d}) \subseteq C^{\frac{1}{n}}([0,T],\mathbb {R}^{d})\qquad \text{for } \alpha \in [n^{-1},(n-1)^{-1}], n\in \mathbb {N}.$$

(iii) Classical Sobolev embedding results, see e.g. [25, Corollary A.2], imply that

$$W^{\delta ,p}([0,T],\mathbb {R}^{d}) \subseteq C^{\delta -1/p}([0,T],\mathbb {R}^{d})\quad \text{and}\quad \|\omega \|_{\delta -1/p}\leq C(\delta ,p) \|\omega \|_{W^{\delta ,p}}$$

for $$\omega \in W^{\delta ,p}([0,T],\mathbb {R}^{d})$$ with $$\delta - 1/p>0$$ and for a constant $$C(\delta ,p)>0$$ depending only on $$\delta$$ and $$p$$. Here $$\|\cdot \|_{W^{\delta ,p}}$$ denotes the fractional Sobolev seminorm; see (A.1) below. Hence, to obtain the stated $$\sigma$$-compactness from Lemma 3.1, it remains to show that if a sequence $$(\omega _{k})\subseteq W^{\delta ,p}([0,T],\mathbb {R}^{d})$$ with $$\|\omega \|_{W^{\delta ,p}}\leq K$$ for some constant $$K>0$$ converges uniformly to a function $$\omega$$, then $$\|\omega \| _{W^{\delta ,p}}\leq K$$. However, this is a simple consequence of Fatou’s lemma.

(iv) The $$\sigma$$-compactness with respect to $$\|\cdot \|_{\infty }$$ and $$\|\cdot \|_{c,\alpha }$$ for $$\alpha \in (0,1)$$ follows again by Lemma 3.1. The $$\sigma$$-compactness with respect to $$\|\cdot \|_{p^{\prime }\text{-}\mathrm {var}}$$ can be deduced from the inequality

$$\|\omega \|_{p^{\prime }\text{-}\mathrm {var}} \leq \|\omega \|_{c,\frac{1}{p}}\, c(0,T)^{1/p}$$

for $$\omega \in C^{p\text{-}\mathrm {var},c}([0,T],\mathbb {R}^{d})$$ and $$p^{\prime } \in (p,+\infty )$$. □

### Remark 3.3

(i) The function spaces in Corollary 3.2 satisfy also the first part of assumption (A2): for every $$\omega \in \Omega$$ and $$t\in [0,T]$$, the stopped path $$\omega ^{t}(\cdot ):= \omega (\cdot \wedge t)$$ is in $$\Omega$$. For the Hölder-type spaces, this is fairly easy to verify, and for the Sobolev space, we refer to [28, Lemma 1.5.1.8]. Hence all these function spaces equipped with the maximum norm satisfy the assumptions (A1) and (A2); see also Remark 4.1.

(ii) From the perspective of (completely) model-free financial mathematics, it might be desirable to consider the space $$C^{p\text{-}\mathrm {var}}([0,T],\mathbb {R}^{d})$$ of all continuous functions possessing finite $$p$$-variation for $$p>2$$ since this space includes the support of all martingale measures. Unfortunately, the elementary covering used in the proof of Lemma 3.1 cannot work as the unit ball in $$C^{p\text{-}\mathrm {var}}([0,T],\mathbb {R}^{d})$$ is not compact; see e.g. [34, Example 3.4].

### Examples from mathematical finance

As mentioned in the introduction, the prediction set $$\Omega$$ can be interpreted to contain all the price paths that an investor believes could possibly appear in a financial market. Hence it is natural to choose $$\Omega$$ in a way that it includes those price paths coming from financial models which have been proved to provide fairly reasonable underlying price processes.

### Example 3.4

A natural assumption coming from semimartingale models is to consider a prediction set $$\Omega _{\mathrm{QV}}$$ of continuous paths possessing pathwise quadratic variation in the sense of Föllmer [24]. We refer e.g. to the work [43] (and the references therein) for such frameworks. To be more precise, fix a refining sequence of partitions $$(\pi _{n})_{n\in \mathbb{N}}$$ with mesh size going to zero and consider the prediction set

$$\Omega _{\mathrm{QV}}:= \{\omega \in C^{\alpha }([0,T],\mathbb{R}) : \omega (0)=0\text{ and } \| \omega \|_{QV} < C \}$$

for $$\alpha \in (0,1)$$ and some constant $$C>0$$, where

$$\| \omega \|_{\mathrm{QV}}:= \sup _{n\in \mathbb{N}} \bigg( \sum _{[s,t]\in \pi _{n}} |\omega (t)-\omega (s)|^{2} \bigg)^{1/2}.$$

Note that $$\Omega _{\mathrm{QV}}$$ is $$\sigma$$-compact with respect to the norm $$\|\cdot \|_{\infty }$$. Indeed, we have $$\Omega _{\mathrm{QV}}= \bigcup _{n\in \mathbb{N}} \Omega _{n}$$ with

$$\Omega _{n}:=\{\omega \in C^{\alpha }([0,T], \mathbb{R}) : \|\omega \| _{\alpha }\leq n \text{ and } \|\omega \|_{\mathrm{QV}}\leq C-1/n\},$$

where $$\Omega _{n}$$ is a compact set for each $$n\in \mathbb{N}$$. In order to see the compactness of $$\Omega _{n}$$, we observe that the condition $$\|\omega \|_{\alpha }\leq n$$ ensures that the set $$\Omega _{n}$$ is equicontinuous and uniformly bounded, and furthermore, every sequence $$(\omega _{m}) \subseteq \Omega _{n}$$ possesses a subsequence which converges in the maximum norm to a function $$\omega \in C^{\alpha }([0,T], \mathbb{R})$$ with $$\|\omega \|_{\alpha } \leq n$$; cf. Lemma 3.1. The required bound $$\|\omega \|_{ \mathrm{QV}}\leq C-1/n$$ follows by the same estimates as used for the proof of [25, Proposition 5.28].

Let us consider for instance a simple lookback option

$$X(\omega ):=\max _{t\in [0,T]}|\omega (t)|$$

on the market $$\Omega _{\mathrm{QV}}$$. Using a pathwise version of the Burkholder–Davis–Gundy inequality (see [13, Theorem 2.1]), we get

$$X(\omega ) \leq \liminf _{ n } \max _{t\in \pi ^{n}} |S_{t}(\omega )| \leq 6 \sqrt{C} + \liminf _{n} (H^{n} \cdot S)_{T}(\omega )$$

for all $$\omega \in \Omega _{\mathrm{QV}}$$ and some sequence $$(H^{n})$$ of simple predictable processes. From this, we can conclude that the superhedging price is less than or equal to $$6 \sqrt{C}$$, using the definitions from Theorem 2.1. Note that the superhedging price on the entire space $$C([0,T],\mathbb{R})$$ has to be $$+\infty$$ if we aim to have the duality between the superhedging price and the supremum of $$E_{Q}[X]$$ over all martingale measures $$Q$$.

### Example 3.5

Instead of using a financial model based on semimartingales, there is a rich literature on financial modelling using fractional Brownian motion because of its favourable time-series properties; see e.g. [42] and the references therein.

This motivates the choice of prediction set $$\Omega := \{ \omega \in C^{H}([0,T],\mathbb{R}) : \omega (0)=0\}$$ as it contains the sample paths of fractional Brownian motion with Hurst index $$H \in (0,1)$$. If $$H>1/2$$, for every upper semicontinuous claim $$X \colon \Omega \to [0,+\infty ]$$, we can apply our pathwise pricing–hedging duality (Theorem 2.1) to see that the superhedging price is given by

\begin{aligned} \phi (X) &:= \inf \left \{ \lambda \in \mathbb{R} : \textstyle\begin{array}{l} \text{there is a sequence (H^{n}) in \mathcal{H}^{f} such that} \\ \text{\lambda +(H^{n}\cdot S)_{t}(\omega )\geq 0 \text{ for all } (t, \omega )\in [0,T]\times \Omega } \\ \text{and } \lambda + \liminf _{n} (H^{n}\cdot S)_{T}(\omega ) \geq X( \omega ) \,\text{ for all } \omega \in \Omega \end{array}\displaystyle \right \} \\ & \phantom{:}= X(0), \end{aligned}

where 0 stands for the constant path equal to 0, since the Dirac measure at 0 is the only martingale measure in $$\mathcal{M}_{c}( \Omega )$$. Notice that the pathwise superhedging price considering the entire space $$C([0,T],\mathbb {R})$$ is $$\sup _{\omega \in C([0,T],\mathbb {R})}|X (\omega )|$$ for many options $$X$$.

Note that it is actually a delicate question under which conditions non-semimartingale models are almost surely arbitrage-free. However, even for prediction sets like $$\Omega$$, on which one expects arbitrage in a probabilistic sense, the pathwise superreplication price turns out to be finite.

### Remark 3.6

Prediction sets can naturally be modelled by means of the pathwise quadratic variation (2.2). For instance, the typical price paths of the Black–Scholes model are given by the prediction set

$$\Omega =\left \{\omega \in C([0,T],\mathbb{R}): \omega (0)=s_{0}\mbox{ and }\langle \omega \rangle _{\cdot }=\int _{0}^{\cdot }\sigma ^{2} \omega (t)^{2}\,\mathrm {d}t\right \},\qquad s_{0}\in \mathbb{R}.$$

However, prediction sets of this form are not $$\sigma$$-compact in general and the duality results of this paper do not apply. As shown in Bartl et al. [8], a pathwise pricing–hedging duality on such prediction sets can still be obtained, but it requires a modified superhedging price which allows investing directly in the quadratic variation. This new superhedging price of a contingent claim $$X$$ is defined as the infimum over all $$\lambda \in \mathbb{R}$$ for which there exist sequences $$(H^{n})$$ and $$(G^{n})$$ of simple predictable strategies satisfying

$$\lambda + \liminf _{n\to \infty } \bigg((H^{n}\cdot S)_{T}(\omega ) + \Big(G^{n}\cdot \int S\,\mathrm {d}S\Big)_{T}(\omega )\bigg) \ge X(\omega )\qquad \mbox{for all }\omega \in \Omega$$

and the admissibility condition $$\lambda +(H^{n}\cdot S)_{t}(\omega )+(G ^{n}\cdot \int S\,\mathrm {d}S)_{t}(\omega )\geq 0$$ for all $$n\in \mathbb{N}$$, $$\omega \in \Omega$$ and $$t\in [0,T]$$. The key idea is to extend the market model, consider a two-dimensional price process $$(S,\int S\,dS)$$ on the product space $$C([0,T],\mathbb{R}) \times C([0,T],\mathbb{R})$$ and adapt the duality results (and their proofs) of the present paper accordingly. For a detailed discussion on prediction sets depending on pathwise quadratic variation, we refer to [8].

In the following, we present several examples coming from the modelling of financial markets which satisfy the assumptions (A1) and (A2) and are concentrated on a $$\sigma$$-compact metric spaces $$\Omega \subseteq C([0, T ], \mathbb{R}^{d} )$$. For simplicity, we consider one-dimensional processes and denote by $$W$$ a one-dimensional Brownian motion on a probability space $$(\tilde{\Omega }, \mathcal{F},P)$$. However, all arguments extend straightforwardly to multidimensional settings.

### Example 3.7

A classical example from mathematical finance is the famous Black–Scholes model, which is given by

$$\mathrm {d}S_{t} = \sigma S_{t} \,\mathrm {d}W_{t} +\mu S_{t} \,\mathrm {d}t, \qquad t \in [0,T],$$

for $$\mu \in \mathbb {R}$$ and $$\sigma >0$$. In this case, the price process $$S$$ is a so-called geometric Brownian motion, which possesses the same sample path regularity as a Brownian motion. Hence, one has almost surely $$S\in C^{\alpha }([0,T],\mathbb {R})$$ and $$S\in W^{\alpha - \frac{1}{q},q}([0,T],\mathbb {R})$$ for every $$\alpha \in (0,1/2)$$ and $$q>2$$; cf. Corollary A.2.

### Example 3.8

Other examples are local volatility models

$$\mathrm {d}S_{t} = \sigma (t, S_{t}) \,\mathrm {d}W_{t},\qquad S_{0}=s_{0}, t\in [0,T],$$

for a volatility function $$\sigma \colon [0,T]\times \mathbb {R}\to \mathbb {R}$$. For these classes of models, one again has $$S\in \Omega := C^{\alpha }([0,T],\mathbb {R})$$ a.s. for every $$\alpha <1/2$$ if $$s_{0}\in \mathbb {R}$$ and $$\sigma$$ is Lipschitz-continuous and satisfies the linear growth condition $$|\sigma (t,x)|^{2}\leq K (1+|x|^{2})$$ for $$(t,x)\in [0,T]\times \mathbb {R}$$ and a positive constant $$K>0$$. Indeed, the Hölder regularity of $$S$$ can be deduced from Corollary A.2 combined with the estimate

\begin{aligned} E_{P} \bigg[\int _{0}^{T} |\sigma (s,S_{s})|^{q} \,\mathrm {d}s\bigg] & \leq \tilde{C} E_{P} \bigg[\int _{0}^{T} (1+|S_{s}|)^{q} \,\mathrm {d}s \bigg] \\ &\leq \tilde{C}^{\prime }\bigg(1+ \int _{0}^{T} E_{P} [|S_{s}|^{q}] \,\mathrm {d}s \bigg) \leq C, \end{aligned}

for constants $$\tilde{C}, \tilde{C}^{\prime }>0$$ and $$C=C(q,K,T,S_{0})>0$$ and for every $$q\geq 2$$, where the last inequality follows by the $$L^{q}$$-estimate in [35, Theorem 4.1].

### Example 3.9

A frequently applied generalisation of the Black–Scholes model is given by stochastic volatility models

$$\mathrm {d}S_{t} = \sigma _{t} S_{t} \,\mathrm {d}W_{t} + \mu _{t} S_{t} \,\mathrm {d}t,\qquad S _{0}=s_{0}, t\in [0,T],$$
(3.1)

for $$s_{0}\in \mathbb {R}$$ and predictable real-valued processes $$\mu$$ and $$\sigma$$. This type of linear stochastic differential equation can be explicitly solved by

$$S_{t} := s_{0}\exp \bigg( \int _{0}^{t} \Big(\mu _{s} -\frac{\sigma _{s} ^{2}}{2} \Big)\,\mathrm {d}s + \int _{0}^{t} \sigma _{s} \,\mathrm {d}W_{s} \bigg),\qquad t\in [0,T].$$

Based on Corollary A.2, one can easily deduce the sample path regularity of the price process $$S$$. Indeed, for $$q\in (2,+\infty )$$, $$\alpha \in (0,1/2-1/(2q))$$ and $$\delta := \alpha -1/q$$, if $$E_{P} [\int _{0}^{T}|\mu _{s}|^{q}\,\mathrm {d}s]<+\infty$$ and $$E_{P} [\int _{0}^{T}|\sigma _{s}|^{2q}\,\mathrm {d}s]<+\infty$$, then

$$S\in C^{\alpha }([0,T],\mathbb {R}) \quad \text{and} \quad S\in W^{ \delta ,q}([0,T],\mathbb {R}), \qquad \text{a.s.}$$
(3.2)

For example, the Heston model is a stochastic volatility model in which the volatility process $$\sigma$$ satisfies such a bound.

In the context of stochastic volatility modelling with Knightian uncertainty, one usually replaces the fixed volatility process $$\sigma$$ by a class of volatility processes. For example, the seminal works [4] and [33] on volatility uncertainty require the volatility processes $$\sigma$$ to be such that $$\sigma _{t} \in [\sigma _{\mathrm{min}},\sigma _{\mathrm{max}}]$$ for all $$t\in [0,T]$$ and some constants $$\sigma _{\mathrm{min}}, \sigma _{\mathrm{max}}>0$$ with $$\sigma _{\mathrm{min}}<\sigma _{ \mathrm{max}}$$. Therefore, due to the bounds on the volatility, all possible price paths considered in [4] and [33] belong to the function spaces as stated in (3.2).

### Example 3.10

(Rough volatility models)

Recently, investigating time series of volatility using high-frequency data, Gatheral et al. [27] showed that the log-volatility behaves essentially like a fractional Brownian motion with Hurst exponent $$H$$ close to 0.1. This new insight has led to various fractional extensions of classical volatility models (see e.g. [27, 9, 14, 23]) which nicely lead to price paths belonging to the $$\sigma$$-compact metric space of Hölder-continuous functions. Indeed, if the stochastic volatility $$\sigma$$ fulfils for some $$M>0$$ and $$q>r\geq 1$$ the bound

$$E_{P}[ |\sigma _{t}-\sigma _{s}|^{q}]\leq |t-s|^{\frac{q}{r}}\qquad \text{for } s,t\in [0,T] \text{ and } \sigma _{0} \in \mathbb {R},$$
(3.3)

then we observe that

$$E_{P}\bigg[\int _{0}^{T} |\sigma _{s}|^{q} \,\mathrm {d}s\bigg]\leq C \big(| \sigma _{0}|^{q} + E_{P}[\|\sigma \|_{\beta }^{q}]\big)< +\infty ,$$

for some constant $$C=C(q,M,T)>0$$ and $$\beta \in (0,1/r-1/q)$$. Note that condition (3.3) is exactly the condition usually required by the Kolmogorov continuity criterion (cf. Theorem A.1), which is frequently used to verify the Hölder regularity of a stochastic process. In particular, every rough volatility model satisfying (3.3) with associated price process given by (3.1) generates price paths possessing Hölder regularity as provided in (3.2). For example, a simple fractional Brownian motion with Hurst index $$H$$ fulfils the bound (3.3) with $$q\in [2,+\infty )$$ and $$r=H$$, and the rough Heston model as introduced by El Euch and Rosenbaum [23, (1.3)] fulfils the bound (3.3) with $$q\in [2,+\infty )$$ and $$1/r=\alpha -1/2$$ for $$\alpha \in (1/2,1)$$, where $$\alpha$$ denotes the parameter specified in the rough Heston model [23, (1.3)].

### Example 3.11

The most general case of volatility uncertainty is usually provided by simultaneously considering all processes of the type

$$S_{t} =\int _{0}^{t} \sqrt{\sigma _{s}} \,\mathrm {d}W_{s}, \qquad t \in [0,T],$$

for strictly positive and predictable processes $$\sigma$$; see [37, 41]. While they can deal with all $$\sigma$$ such that $$\int _{0}^{T}\sigma _{s}\,\mathrm {d}s<+\infty$$ a.s., we have seen in Example 3.9 that we can deal with all volatility processes $$\sigma$$ such that $$E_{P}[\int _{0}^{T}\sigma _{s}^{q}\,\mathrm {d}s]<+\infty$$ for $$q\in (1,+\infty )$$.

Another subclass of price processes $$S$$ leading to $$\sigma$$-compact sets of price paths is given by all processes $$S$$ with corresponding volatility process $$\sigma$$ such that $$\sigma \leq f$$ for some deterministic integrable function $$f\colon [0,T]\to (0,+\infty )$$. Indeed, defining the quadratic variation of $$S$$ by $$\langle S\rangle _{t}=\int _{0}^{t} \sigma _{s} \,\mathrm {d}s$$ for $$t\in [0,T]$$ and using the Dambis–Dubins–Schwarz theorem, one has $$S_{t} = B_{\langle S\rangle _{t}}$$ for a suitable Brownian motion $$B$$. Based on this observation, it is easy to derive that

$$S \in C^{p\text{-}\mathrm {var},c}([0,T],\mathbb {R})\quad \text{a.s.,}\qquad \text{with } c (s,t):= \int _{s}^{t} f(r)\,\mathrm {d}r, s,t\in [0,T],$$

and $$p>2$$. Recall that $$C^{p\text{-}\mathrm {var},c}([0,T],\mathbb {R})$$ is $$\sigma$$-compact by Corollary 3.2.

## Proofs of the main results

Denote by $$C_{b}:=C_{b}((\Omega ,\mathrm{d}),\mathbb{R})$$ the set of all bounded continuous (with respect to $$\mathrm{d}$$) functions $$X \colon \Omega \to \mathbb{R}$$.

### Remark 4.1

If $$\Omega$$ is a $$\sigma$$-compact space endowed with the maximum norm, then (A1) is always satisfied.

### Proof

Fix $$t\in [0,T]$$, a bounded $$\mathcal{F}_{t}^{0}$$-measurable function $$h$$ and a Borel probability $$Q$$. Define $$\pi \colon \Omega \to C([0,t], \mathbb{R}^{d})$$, $$\pi (\omega )(s):=\omega (s)$$, and set $$\Omega _{t}:= \pi (\Omega )$$ endowed with the maximum norm $$\|\omega \|_{\infty }:= \max _{s\in [0,t]}|\omega (s)|$$. By $$\sigma$$-compactness, there exist compact sets $$K_{n}$$, $$n\in \mathbb{N}$$, such that $$\Omega =\bigcup _{n} K_{n}$$. Further, since $$\Omega _{t}=\bigcup _{n} \pi (K_{n})$$ and $$\pi (K_{n})$$ is compact by continuity of $$\pi$$, it follows that $$\Omega _{t}$$ is $$\sigma$$-compact and therefore separable. Standard arguments show that $$\mathcal{F}_{t}^{0}=\{\pi ^{-1}(B): B\in \mathcal{B}(\Omega _{t})\}$$, where $$\mathcal{B}(\Omega _{t})$$ denotes the Borel sets of $$\Omega _{t}$$. Hence, $$h=\tilde{h}\circ \pi$$ for some Borel function $$\tilde{h}\colon \Omega _{t}\to \mathbb{R}$$. Again by $$\sigma$$-compactness of $$\Omega _{t}$$, the probability measure $$\tilde{Q}:=Q\circ \pi ^{-1}$$ is tight and thus regular, i.e., Borel sets can be approximated from inside in $$\tilde{Q}$$-measure by compact subsets. In particular, there exists a sequence of continuous functions $$\tilde{h}_{n}\colon \Omega _{t}\to \mathbb{R}$$ such that $$\tilde{h} _{n}\to \tilde{h}$$$$\tilde{Q}$$-almost surely, which in turn implies $$h_{n}:=\tilde{h}_{n}\circ \pi \to \tilde{h}\circ \pi =h$$$$Q$$-almost surely. □

The following lemma is an immediate consequence of standard results about discrete-time local martingales (see [32, Theorems 1 and 2]), which we recall for later reference.

### Lemma 4.2

If$$Q\in \mathcal{M}(\Omega )$$and$$H\in \mathcal{H}^{f}$$is such that$$E_{Q}[(H\cdot S)_{T}^{-}]<+\infty$$, then$$(H\cdot S)_{T}$$is$$Q$$-integrable and$$E_{Q}[(H\cdot S)_{T}]=0$$.

Next we need to establish some auxiliary results.

### Lemma 4.3

Let$$d=1$$, $$0\leq s< t\leq T$$, $$m> 0$$and define

$$\tau :=\inf \{r\geq s: S_{r}>m \textit{ or } S_{r}\leq -m\}\wedge T.$$

Then the function$$\omega \mapsto S_{\tau (\omega )\wedge t}(\omega )$$is lower semicontinuous with respect to the maximum norm.

### Proof

Define $$\tau _{+}:=\inf \{r\geq s: S_{r}>m \}\wedge T$$ and $$\tau _{-}:=\inf \{r\geq s: S_{r}\leq -m\}\wedge T$$, so that $$\tau =\tau _{+}\wedge \tau _{-}$$. Moreover, fix $$\omega$$ and a sequence $$(\omega _{n})$$ such that $$\|\omega _{n}-\omega \|_{\infty } \to 0$$. We claim that

$$\limsup _{n} \tau _{+}(\omega _{n})\leq \tau _{+}(\omega )\qquad \text{and}\qquad \liminf _{n} \tau _{-}(\omega _{n})\geq \tau _{-}( \omega ).$$

Indeed, assume without loss of generality that $$r:=\tau _{+}(\omega )< T$$. Then by definition, for every $$\varepsilon >0$$, there is $$\delta \in (0,\varepsilon )$$ such that $$\omega (r+\delta )>m$$. Therefore $$\omega _{n}(r+\delta )>m$$ for eventually all $$n$$, showing that $$\tau _{+}(\omega _{n})\leq r+\varepsilon$$ for eventually all $$n$$. As $$\varepsilon$$ was arbitrary, the first part of the claim follows. Next, we may assume without loss of generality that $$r:=\tau _{-}(\omega )>s$$. Then necessarily $$\omega (u)>-m$$ for $$u\in [s,r)$$. By continuity of $$\omega$$ and since $$\|\omega _{n}-\omega \|_{\infty }\to 0$$, for every $$\varepsilon >0$$, we have $$\omega _{n}(u)>-m$$ for all $$u\in [s,r- \varepsilon ]$$ and therefore $$\tau _{-}(\omega _{n})\geq r-\varepsilon$$ for eventually all $$n$$. As $$\varepsilon$$ was arbitrary, the second part of the claim follows. In the sequel, we prove the lower semicontinuity of $$S^{\tau }_{t}$$.

(a) If $$S^{\tau }_{t}(\omega )>m$$, then $$\tau (\omega )=\tau _{+}( \omega )=s$$ and $$\omega (s)>m$$. In particular, $$\omega _{n}(s)>m$$ and $$\tau _{+}(\omega _{n})=s$$ for eventually all $$n$$, hence

$$\lim _{n} S^{\tau }_{t}(\omega _{n})=\lim _{n} \omega _{n}(s)=\omega (s)=S ^{\tau }_{t}(\omega ).$$

(b) If $$S^{\tau }_{t}(\omega )=m$$, then either $$\tau _{+}(\omega )< t$$ or $$\tau _{+}(\omega )\geq t$$. In the first case, it follows that $$\tau _{+}(\omega )<\tau _{-}(\omega )$$ so that $$\tau _{+}(\omega _{n})< \tau _{-}(\omega _{n})$$ and $$\tau _{+}(\omega _{n})< t$$ for all but finitely many $$n$$ by the first part of the proof, and therefore

$$\liminf _{n} S^{\tau }_{t}(\omega _{n}) =\liminf _{n} \omega _{n}\big(\tau _{+}(\omega _{n})\big) =m =S^{\tau }_{t}(\omega ).$$

On the other hand, if $$\tau _{+}(\omega )\geq t$$, then $$\omega (t)=m$$ and $$\omega (r)>-m$$ for $$r\in [s,t]$$. This implies that $$\tau _{-}(\omega _{n})\geq t$$ for eventually all $$n$$ and therefore

$$\liminf _{n} S^{\tau }_{t}(\omega _{n}) =\liminf _{n} \omega _{n}\big(t \wedge \tau _{+}(\omega _{n})\big) = m =S^{\tau }_{t}(\omega ).$$

(c) If $$S^{\tau }_{t}(\omega )\in (-m,m)$$, then either $$\tau (\omega )>t$$ or $$\tau (\omega )=t$$ (in which case necessarily $$t=T$$). In the latter case, it follows that $$\omega (r)>-m$$ for $$r\in [s,T]$$, hence $$\tau _{-}(\omega _{n})=T$$ for eventually all $$n$$ and thus

$$\liminf _{n} S^{\tau }_{t}(\omega _{n}) =\liminf _{n} \omega _{n}\big(t \wedge \tau _{+}(\omega _{n})\big) \geq \omega (t) =S^{\tau }_{t}( \omega ).$$

If $$\tau (\omega )>t$$, then again $$\tau _{-}(\omega _{n})>t$$ for eventually all $$n$$ so that the same argument shows that $$\liminf _{n} S ^{\tau }_{t}(\omega _{n})\geq S^{\tau }_{t}(\omega )$$.

(d) If $$S^{\tau }_{t}(\omega )=-m$$, then $$\omega (s)\geq -m$$. Assume that $$\liminf _{n} S^{\tau }_{t}(\omega _{n})<-m$$. Then there is a subsequence still denoted by $$(\omega _{n})$$ such that $$\tau (\omega _{n})=\tau _{-}(\omega _{n})=s$$. However, this contradicts $$\liminf _{n}S ^{\tau }_{t}(\omega _{n})=\lim _{n} \omega _{n}(s)=\omega (s)\ge -m$$.

(e) If $$S^{\tau }_{t}(\omega )<-m$$, then $$\tau _{-}(\omega )=s$$ and $$\omega (s)<-m$$. This implies $$\omega _{n}(s)<-m$$ and therefore $$\tau _{-}(\omega _{n})=s$$ for eventually all $$n$$, so that

$$\lim _{n} S^{\tau }_{t}(\omega _{n})=\lim _{n}\omega _{n}(s)=\omega (s)=S ^{\tau }_{t}(\omega ).$$

□

### Proposition 4.4

Assume that (A1) holds true. Then for any Borel probability measure$$Q$$on$$\Omega$$which is not a local martingale measure, there exist$$X\in C_{b}$$and$$H\in \mathcal{H}^{f}$$such that$$X\leq (H\cdot S)_{T}$$and$$E_{Q}[X]>0$$.

### Proof

Notice that $$S$$ is a local martingale if and only if each component is a local martingale, which means we may assume without loss of generality that $$d=1$$.

We prove that if $$E_{Q}[X]\leq 0$$ for all $$X\in G$$ with

$$G:=\{X\in C_{b} : X\leq (H\cdot S)_{T} \text{ for some } H\in \mathcal{H}^{f}\},$$

then $$Q$$ is a local martingale measure, i.e., for every $$m\in \mathbb{N}$$, the stopped process

$$S^{\tau }_{t}:=S_{t\wedge \tau },\qquad \text{where }\tau :=\inf \{ t\geq 0 : |S_{t}|\geq m\}\wedge T,$$

is a martingale. Fix $$m\in \mathbb{N}$$, $$0\leq s< t\leq T$$ and define the stopping times

\begin{aligned} \sigma &:=\inf \{ r\geq s : |S_{r}|\geq m \}\wedge T, \\ \sigma _{\varepsilon } &:=\inf \{ r\geq s : S_{r}> m-\varepsilon \text{ or } S_{r} \leq \varepsilon -m\}\wedge T \end{aligned}

for $$0<\varepsilon \leq 1$$. First note that by continuity of $$S$$ and right-continuity of $$(\mathcal{F}_{t})$$, one has that $$\sigma _{\varepsilon }$$, $$\sigma$$ and $$\tau$$ are in fact stopping times. By Lemma 4.3, the function $$\omega \mapsto S_{t\wedge \sigma _{\varepsilon }(\omega )}(\omega )$$ is lower semicontinuous with respect to $$\|\cdot \|_{\infty }$$ for every $$\varepsilon$$. In particular, for every continuous $$\mathcal{F}^{0} _{s}$$-measurable function $$h\colon \Omega \to [0,1]$$, it holds that

$$(H\cdot S)_{T}\text{ is lower semicontinuous,} \quad \text{where } H:=h \mathbf {1} _{]\!]s,\sigma _{\varepsilon }\wedge t]\!]}\in \mathcal{H}^{f}.$$

Since additionally $$|S_{t}^{\sigma _{\varepsilon }}-S_{s}|\leq 2m$$, there exists a sequence of continuous functions $$X_{n}\colon \Omega \to [-2m,2m]$$ with $$X_{n}\leq (H\cdot S)_{T}$$ which increases pointwise to $$(H\cdot S)_{T}$$. Since $$X_{n}\in G$$ for all $$n$$, it follows that

$$E_{Q}[ h(S_{t}^{\sigma _{\varepsilon }}-S_{s})] =E_{Q}[ (H\cdot S)_{T}] =\sup _{n} E_{Q}[X_{n}] \leq 0.$$

By assumption (A1), for every bounded and $$\mathcal{F}_{s}^{0}$$-measurable function $$h$$, there exists a sequence of continuous $$\mathcal{F}_{s}^{0}$$-measurable functions $$h_{n}\colon \Omega \to [0,1]$$ which converges $$Q$$-almost surely to $$h$$, in particular

$$E_{Q}[ h(S_{t}^{\sigma _{\varepsilon }}-S_{s})] =\lim _{n} E_{Q}[ h_{n}(S _{t}^{\sigma _{\varepsilon }}-S_{s})] \leq 0 .$$

The fact that $$\sigma _{\varepsilon }$$ increases to $$\sigma$$ as $$\varepsilon$$ tends to 0 (and therefore $$S_{t}^{\sigma _{\varepsilon }}\to S_{t}^{\sigma }$$ by continuity of $$S$$) shows that

$$E_{Q}[ h(S_{t}^{\sigma }-S_{s})] =\lim _{\varepsilon \to 0} E_{Q}[ h(S _{t}^{\sigma _{\varepsilon }}-S_{s})]\leq 0.$$

Furthermore, notice that $$\sigma =\tau$$ on $$\{\tau \geq s\}$$ so that $$\mathbf {1} _{\{\tau \geq s\}}(S_{t}^{\sigma }-S_{s}) =S^{\tau }_{t}-S_{s} ^{\tau }$$. Since $$\tau$$ is the hitting time of a closed set, it is also a stopping time with respect to the raw filtration $$(\mathcal{F}_{t} ^{0})$$, so that $$h\mathbf {1} _{\{\tau \geq s\}}\colon \Omega \to [0,1]$$ is $$\mathcal{F}_{s}^{0}$$-measurable. This shows that

$$E_{Q}[h(S^{\tau }_{t}-S_{s}^{\tau })] =E_{Q}[(h \mathbf {1} _{\{\tau \geq s\}})(S _{t}^{\sigma }-S_{s})] \leq 0,$$

which implies $$E_{Q}[S^{\tau }_{t}|\mathcal{F}_{s}^{0}]\leq S^{\tau } _{s}$$, i.e., $$S^{\tau }$$ is a supermartingale with respect to the raw filtration $$(\mathcal{F}^{0}_{t})$$. Finally, using that $$S^{\tau }$$ is bounded and $$\mathcal{F}_{s}\subseteq {\mathcal{F}}^{0}_{s+\varepsilon }$$ yields

\begin{aligned} E_{Q}[S^{\tau }_{t}-S^{\tau }_{s}|\mathcal{F}_{s}] &= \lim _{\varepsilon \to 0} E_{Q}[S^{\tau }_{t}-S^{\tau }_{s+\varepsilon }|\mathcal{F}_{s}] \\ &=\lim _{\varepsilon \to 0} E_{Q}\big[E_{Q}[S^{\tau }_{t}-S^{\tau } _{s+\varepsilon }|\mathcal{F}^{0}_{s+\varepsilon }]\big|\mathcal{F} _{s}\big] \leq 0 \end{aligned}

which shows that $$S^{\tau }$$ is a supermartingale.

By similar arguments, one can also show that $$S^{\tau }$$ is a submartingale (and thus a martingale). Indeed, replace $$h$$ by a continuous $$\mathcal{F}^{0}_{s}$$-measurable function $$\tilde{h}\colon \Omega \to [-1,0]$$ and the stopping times $$\sigma _{\varepsilon }$$ by $$\tilde{\sigma }_{\varepsilon }:=\inf \{ r \geq s : S_{r}\geq m-\varepsilon \text{ or } S_{r} < \varepsilon - m\} \wedge T$$ for $$\varepsilon >0$$. The same arguments as in Lemma 4.3 show that $$\omega \mapsto S_{t\wedge \tilde{\sigma }_{\varepsilon }(\omega )}(\omega )$$ is upper semicontinuous, which implies that $$(H\cdot S)_{T}$$ is lower semicontinuous for $$H:=\tilde{h}\mathbf {1} _{]\!]s,\tilde{\sigma }_{ \varepsilon }\wedge t ]\!]}\in \mathcal{H}^{f}$$. The rest follows in the same way as before. □

### Lemma 4.5

Assume that (A1) and (A2) hold true. Then there exists an increasing sequence of non-empty compacts$$(K_{n})$$such that$$\Omega =\bigcup _{n} K_{n}$$and$$\omega ^{t}\in K_{n}$$for every$$(t,\omega )\in [0,T] \times K_{n}$$.

### Proof

By assumption, $$\Omega =\bigcup _{n} K_{n}'$$ for some non-empty compacts $$(K_{n}')$$, where we assume without loss of generality that $$K_{n}'\subseteq K_{n+1}'$$ for every $$n$$. Define the function $$\rho \colon [0,T]\times \Omega \to \Omega$$, $$(t,\omega )\mapsto \omega ^{t}$$ which, again by assumption, is continuous. Therefore $$K_{n}:=\{\omega ^{t} : t\in [0,T],\,\omega \in K_{n}'\}=\rho ([0,T],K _{n}')$$ has the desired properties. □

### Lemma 4.6

Assume that (A1) and (A2) hold true and fix a sequence of compacts$$(K_{j})$$as in Lemma 4.5. Further fix a continuous function$$Z\colon \Omega \to \mathbb{R}$$, $$H\in \mathcal{H}^{f}$$and$$n\in \mathbb{N}$$. If$$(H\cdot S)_{T}(\omega ) \geq -Z(\omega )$$for all$$\omega \in K_{j}$$, then$$(H\cdot S)_{t}( \omega )\geq -Z(\omega ^{t})$$for all$$(t,\omega )\in [0,T]\times K _{j}$$.

### Proof

Fix $$H=\sum _{n=1}^{N} h_{n} \mathbf {1} _{]\!]\tau _{n},\tau _{n+1} ]\!]} \in \mathcal{H}^{f}$$, $$\omega \in K_{j}$$ and $$t\in [0,T)$$ (for $$t=T$$ the statement holds by assumption). We may assume that $$\tau _{N+1}=T$$ by adding an additional stopping time and setting $$h_{N}\equiv 0$$. Further, fix $$\varepsilon >0$$ with $$t+\varepsilon \leq T$$ and $$m\in \mathbb{N}$$ such that $$\tau _{m}(\omega ^{t+\varepsilon })\leq t\leq \tau _{m+1}( \omega ^{t+\varepsilon })$$. Then

\begin{aligned} & (H\cdot S)_{t}(\omega ^{t+\varepsilon })-(H\cdot S)_{T}( \omega ^{t+\varepsilon }) \\ & =h_{m}(\omega ^{t+\varepsilon })\big(S_{t}(\omega ^{t+\varepsilon })-S _{\tau _{m+1}(\omega ^{t+\varepsilon })}(\omega ^{t+\varepsilon })\big) \\ & \phantom{=:}-\sum _{n=m+1}^{N} h_{m}(\omega ^{t+\varepsilon })\big(S _{\tau _{n+1}(\omega ^{t+\varepsilon })}(\omega ^{t+\varepsilon })-S_{ \tau _{n}(\omega ^{t+\varepsilon })}(\omega ^{t+\varepsilon })\big) \end{aligned}

as well as

$$|S_{t}(\omega ^{t+\varepsilon })-S_{\tau _{m+1}(\omega ^{t+\varepsilon })}( \omega ^{t+\varepsilon })| \leq \delta (\varepsilon )$$

and

$$|S_{\tau _{n+1}(\omega ^{t+\varepsilon })}(\omega ^{t+\varepsilon })-S _{\tau _{n}(\omega ^{t+\varepsilon })}(\omega ^{t+\varepsilon })|\leq \delta (\varepsilon )$$

for all $$n\ge m+1$$, where $$\delta (\varepsilon ):= \max _{r,s\in [t,t+\varepsilon ]} |\omega (r)-\omega (s)|$$. Let $$C$$ be a constant such that $$|h_{n}|\leq C$$. Then, since $$\lim _{\varepsilon \downarrow 0}\delta (\varepsilon )=0$$, we have

$$|(H\cdot S)_{t}(\omega ^{t+\varepsilon })-(H\cdot S)_{T}( \omega ^{t+\varepsilon })| \leq NC \delta (\varepsilon )\longrightarrow 0$$

as $$\varepsilon \downarrow 0$$. Since $$\mathcal{F}_{t}\subseteq \mathcal{F}_{t+\varepsilon }^{0}$$, it follows that $$(H\cdot S)_{t}( \omega )= (H\cdot S)_{t}(\omega ^{t+\varepsilon })$$ for all $$\varepsilon >0$$, so that

$$(H\cdot S)_{t}(\omega ) =\lim _{\varepsilon \downarrow 0} (H\cdot S)_{T}( \omega ^{t+\varepsilon }) \geq \liminf _{\varepsilon \downarrow 0} -Z( \omega ^{t+\varepsilon }) =-Z(\omega ^{t}),$$

since $$\omega ^{t+\varepsilon }\in K_{j}$$ for all $$\varepsilon >0$$ and $$\varepsilon \mapsto Z(\omega ^{t+\varepsilon })$$ is continuous by assumption. □

We have now all ingredients at hand to prove the main results of the present paper.

### Proof of Theorem 2.1

Fix a continuous function $$Z\colon \Omega \to [0,+\infty )$$ and a sequence $$(K_{n})$$ of compact sets as in Lemma 4.5.

Step (a). Fix $$n\in \mathbb{N}$$ and define

$$\phi _{n}(X):=\inf \left \{ \lambda \in \mathbb{R} : \textstyle\begin{array}{l} \text{there are H\in \mathcal{H}^{f} and c\in \mathbb{R} such that} \\ \text{(H\cdot S)_{T}\geq c on \Omega  and \lambda +(H\cdot S)_{T} \geq X on K_{n}} \end{array}\displaystyle \right \}$$

for $$X\colon \Omega \to \mathbb{R}$$. By Lemma 4.2, it follows that

\begin{aligned} \phi _{n}(X)\geq \sup _{Q\in \mathcal{M}(K_{n})} E_{Q}[X] \end{aligned}
(4.1)

for every Borel measurable $$X$$ which is bounded from below on $$K_{n}$$. Let $$\bar{\omega }\in K_{n}$$ be the constant path $$t\mapsto \bar{\omega }(t):=\omega (0)$$ for some $$\omega \in K_{n}$$. Since the Dirac measure $$\delta _{\bar{\omega }}$$ assigning probability 1 to $$\bar{\omega }$$ belongs to $$\mathcal{M}(K_{n})$$, it follows that $$\phi _{n}$$ is real-valued on $$C_{b}$$ and $$\phi _{n}(m)=m$$ for every $$m\in \mathbb{R}$$.

Further, it is straightforward to check that $$\phi _{n}$$ is convex and increasing in the sense that $$\phi _{n}(X)\leq \phi _{n}(Y)$$ whenever $$X \leq Y$$. Moreover, $$\phi _{n}$$ is continuous from above on $$C_{b}$$, i.e., $$\phi _{n}(X_{k})\downarrow \phi _{n}(0)$$ for every sequence $$(X_{k})$$ in $$C_{b}$$ such that $$X_{k}\downarrow 0$$. To see this, fix such a sequence $$(X_{k})$$ and let $$\varepsilon >0$$ be arbitrary. By Dini’s lemma, one has $$X_{k}\leq \varepsilon$$ on $$K_{n}$$ for all $$k$$ large enough so that $$\phi _{n}(X_{k})\leq \varepsilon$$ for all such $$k$$, which shows that $$\phi _{n}(X_{k})\downarrow 0$$. It follows from [6, Theorem 2.2] that

$$\phi _{n}(X)=\max _{Q\in ca^{+}(\Omega )}\left (E_{Q}[X]-\phi ^{\ast } _{n}(Q)\right )$$
(4.2)

for all $$X\in C_{b}$$, where $$\phi ^{\ast }_{n}(Q):=\sup _{X\in C_{b}} (E _{Q}[X]-\phi _{n}(X))$$ and $$ca^{+}(\Omega )$$ denotes the set of non-negative countably additive Borel measures on $$\Omega$$. We claim that

\begin{aligned} \phi _{n}^{\ast }(Q)= \textstyle\begin{cases} 0, &\quad \text{if } Q\in \mathcal{M}(K_{n}), \\ +\infty , &\quad \text{else}, \end{cases}\displaystyle \end{aligned}
(4.3)

for all $$Q\in ca^{+}(\Omega )$$. First notice that (4.1) implies $$\phi _{n}^{\ast }(Q)\leq 0$$ whenever $$Q\in \mathcal{M}(K_{n})$$. Since in addition $$\phi _{n}(0)=0$$, it follows that $$\phi _{n}^{\ast }(Q)=0$$. On the other hand, if $$Q\notin \mathcal{M}(K_{n})$$, then $$\phi _{n}^{\ast }(Q)=+\infty$$. Indeed, if $$Q$$ is not a probability, then $$\phi _{n}(m)=m$$ implies that $$\phi _{n}^{\ast }(Q)\geq \sup _{m\in \mathbb{R}} (mQ(\Omega )-m)=+ \infty$$. Similarly, since $$K_{n}^{c}$$ is open, there exists a sequence $$(X_{k})$$ of bounded continuous functions such that $$X_{k}\uparrow + \infty \mathbf {1} _{K_{n}^{c}}$$ with the convention $$0\cdot (+\infty ):=0$$. By definition, $$\phi _{n}(X_{k})\leq 0$$ for all $$k$$, from which it follows that

\begin{aligned} \phi _{n}^{\ast }(Q) \geq \sup _{k} E_{Q}[X_{k}] = +\infty E_{Q}[\mathbf {1} _{K_{n}^{c}}]. \end{aligned}

It remains to show that if $$Q$$ is a probability with $$Q[K_{n}]=1$$ but not a martingale measure, then $$\phi _{n}^{\ast }(Q)=+\infty$$. Note that compactness of $$K_{n}$$ implies boundedness of $$K_{n}$$ with respect to $$\|\cdot \|_{\infty }$$, and therefore $$Q$$ is also not a local martingale measure. Thus Proposition 4.4 yields the existence of $$X\in C_{b}$$ and $$H\in \mathcal{H}^{f}$$ such that $$X\leq (H \cdot S)_{T}$$ and $$E_{Q}[X]>0$$. Since $$\phi _{n}(mX) \leq 0$$ for all $$m>0$$, it follows that $$\phi ^{\ast }_{n}(Q) \geq \sup _{m>0} (E_{Q}[mX]- \phi _{n}(mX))=+\infty$$.

Now fix some upper semicontinuous $$X$$ which is bounded from above (i.e., we have $$X=X\wedge m$$ for some $$m>0$$) and satisfies $$X\geq -Z$$. We claim that

$$\phi _{n}(X)=\max _{Q\in \mathcal{M}(K_{n})} E_{Q}[X].$$
(4.4)

To see this, let $$(X_{k})$$ be a sequence in $$C_{b}$$ such that $$X_{k}\downarrow X$$. By (4.2) and (4.3), there exist $$Q_{k}\in \mathcal{M}(K_{n})$$ such that $$\phi _{n}(X_{k})=E_{Q _{k}}[X_{k}]$$. Since $$\mathcal{M}(K_{n})$$ is (sequentially) compact in the weak topology induced by the continuous bounded functions, we may assume, possibly after passing to a subsequence, that $$Q_{k}\to Q$$ for some $$Q\in \mathcal{M}(K_{n})$$. For every $$\varepsilon >0$$, there exists $$k^{\prime }$$ such that $$E_{Q}[X_{k^{\prime }}]\le E_{Q}[X]+\varepsilon$$. Choose $$k\ge k^{\prime }$$ such that $$E_{Q_{k}}[X_{k^{\prime }}] \le E_{Q}[X_{k^{\prime }}]+\varepsilon$$. Then

$$E_{Q_{k}}[X_{k}]\le E_{Q_{k}}[X_{k^{\prime }}]\le E_{Q}[X_{k^{\prime }}]+\varepsilon \le E_{Q}[X]+2\varepsilon$$

so that

\begin{aligned} \phi _{n}(X) \le \lim _{k} \phi _{n}(X_{k}) =\lim _{k} E_{Q_{k}}[X_{k}] & \le E_{Q}[X] +2\varepsilon \\ &\le \sup _{R\in \mathcal{M}(K_{n})} E_{R}[X] +2\varepsilon \le \phi _{n}(X)+2\varepsilon , \end{aligned}

where the last inequality follows from (4.1). This shows (4.4).

Step (b). For $$X\colon \Omega \to (-\infty ,+\infty ]$$, define

\begin{aligned} \phi (X):=\inf \left \{ \lambda \in \mathbb{R} : \textstyle\begin{array}{l} \text{there is (H^{n}) in \mathcal{H}^{f} such that } \\ \text{\lambda +(H^{n}\cdot S)_{t}(\omega )\geq -Z(\omega ^{t}) for (t,\omega )\in [0,T]\times \Omega  } \\ \text{and }\lambda + \liminf _{n} (H^{n}\cdot S)_{T} \geq X \text{ on }\Omega \end{array}\displaystyle \right \}. \end{aligned}

Let $$X\in C_{\delta \sigma }$$ be such that $$X\geq -Z$$, and let $$(Y_{n})$$ be a sequence of upper semicontinuous functions which increases pointwise to $$X$$. Define $$X_{n}:=(Y_{n}\wedge n) \vee (-Z)$$ which is still upper semicontinuous and increases to $$X$$. We claim that $$\sup _{n} \phi _{n}(X_{n})=\phi (X)$$. First observe that for every $$Q\in \mathcal{M}_{c}(\Omega )$$, Fatou’s lemma and Lemma 4.2 imply

$$\lambda =\lambda +\liminf _{n} E_{Q}[(H^{n}\cdot S)_{T}]\ge E_{Q} \big[\lambda +\liminf _{n} (H^{n}\cdot S)_{T}\big]\ge E_{Q}[X]$$

for every $$\lambda \in \mathbb{R}$$ and every sequence $$(H^{n})$$ in $$\mathcal{H}^{f}$$ such that $$\lambda +\liminf _{n} (H^{n} \cdot S)_{T}\ge X$$ and $$\lambda +(H^{n}\cdot S)_{T}\geq -mZ$$ for all $$n$$ and some $$m\ge 0$$. Hence, one gets

\begin{aligned} \phi (X) \geq \sup _{Q\in \mathcal{M}_{c}(\Omega )} E_{Q}[X] \geq \sup _{n} \sup _{Q\in \mathcal{M}(K_{n})} E_{Q}[X_{n}] =\sup _{n} \phi _{n}(X _{n}), \end{aligned}
(4.5)

where the last equality follows from (4.4).

On the other hand, let $$m>\sup _{n}\phi _{n}(X_{n})$$ so that by definition, for each $$n$$, there exists $$H^{n}\in \mathcal{H}^{f}$$ such that $$m+(H^{n}\cdot S)_{T}\geq X_{n}\geq -Z$$ on $$K_{n}$$. Thus it follows from Lemma 4.6 that

$$m+(H^{n}\cdot S)_{t}(\omega )\geq -Z(\omega ^{t}) \qquad \text{for all }(t,\omega )\in [0,T]\times K_{n}.$$
(4.6)

Fix $$\varepsilon >0$$. Define the stopping times

$$\sigma _{n}(\omega ):=\inf \{ t\in [0,T] : m+\varepsilon +(H^{n}\cdot S)_{t}(\omega ) +Z(\omega ^{t})=0\}\wedge T$$

and notice that

$$(H^{n}\cdot S)_{\sigma _{n}}=(\tilde{H}^{n}\cdot S)_{T}$$
(4.7)

for

$$\tilde{H}^{n}:=\sum _{i=1}^{N} h_{i}^{n} \mathbf {1} _{\{\sigma _{n}\geq \tau _{i}\}} \mathbf {1} _{]\!]\tau _{i}\wedge \sigma _{n},\tau _{i+1}\wedge \sigma _{n}]\!]}\in \mathcal{H}^{f},$$

where $$H^{n}=\sum _{i=1}^{N} h_{i}^{n} \mathbf {1} _{]\!]\tau _{i},\tau _{i+1}]\!]}$$. Fix $$\omega \in \Omega$$. Then $$\omega \in K_{j}$$ for some $$j\in \mathbb{N}$$ and therefore it follows by (4.6) that $$\sigma _{n}(\omega )=T$$ whenever $$n\geq j$$. Hence, we have

$$m+\varepsilon +(\tilde{H}^{n}\cdot S)_{T}(\omega ) = m+\varepsilon + (H ^{n}\cdot S)_{T}(\omega ) \geq X_{n}(\omega ) \qquad \text{for }n \geq j.$$

As $$\omega$$ was arbitrary, it follows that $$\liminf _{n} ( m+\varepsilon +(\tilde{H}^{n}\cdot S)_{T})\geq X$$. Moreover, it follows from (4.7) that

$$m+\varepsilon + (\tilde{H}^{n}\cdot S)_{t}(\omega ) \geq - Z( \omega ^{t\wedge \sigma _{n}(\omega )}) \geq - Z(\omega ^{t})\qquad \text{for all }(t,\omega )\in [0,T]\times \Omega ,$$

which shows that $$\phi (X)\leq m+\varepsilon$$. Finally, since $$m>\sup _{n}\phi _{n}(X_{n})$$ and $$\varepsilon >0$$ was arbitrary, we conclude that $$\phi (X)\leq \sup _{n}\phi _{n}(X_{n})$$, which shows that all inequalities in (4.5) are equalities. In particular, $$\phi (X)=\sup _{Q\in \mathcal{M}_{c}(\Omega )} E_{Q}[X]$$ which shows (2.1).

Step (c). We finally show that $$\mathcal{M}_{c}(\Omega )$$ can be replaced by the set $$\mathcal{M}_{Z}(\Omega )$$, and $$\mathcal{H} ^{f}$$ by ℋ. To that end, fix $$X\colon \Omega \to (-\infty ,+\infty ]$$ satisfying $$X\geq -Z$$ for some $$\lambda \in \mathbb{R}$$, $$Q\in \mathcal{M}_{Z}(\Omega )$$, and $$(H^{n})$$ in ℋ such that $$\lambda +(H^{n}\cdot S)_{t}(\omega )\geq -Z(\omega ^{t})$$ for all $$(t,\omega )\in [0,T]\times \Omega$$ and $$\lambda + \liminf _{n} (H ^{n}\cdot S)_{T} \geq X$$. Define

$$H^{n,K}:=\sum _{k=1}^{K} h^{n}_{k} \mathbf {1} _{]\!]\tau ^{n}_{k},\tau ^{n} _{k+1}]\!]}\in \mathcal{H}^{f}\qquad \text{and}\qquad H^{n}= \sum _{k=1}^{\infty } h^{n}_{k} \mathbf {1} _{]\!]\tau ^{n}_{k},\tau ^{n} _{k+1}]\!]}.$$

Then we obtain

$$\lambda +(H^{n,K}\cdot S)_{T}(\omega ) =\lambda +(H^{n}\cdot S)_{ \tau _{K+1}^{n}(\omega )}(\omega ) \geq -Z( \omega ^{\tau _{K+1}^{n}(\omega )}) \geq -Z(\omega ),$$

where the last inequality holds by assumption. Hence, by Lemma 4.2 and Fatou’s lemma, it follows that

\begin{aligned} \lambda &=\lambda +\liminf _{n}\liminf _{K} E_{Q}[(H^{n,K}\cdot S)_{T}] \ge \liminf _{n} E_{Q}\big[\lambda + \liminf _{K} (H^{n,K}\cdot S)_{T} \big] \\ &=\liminf _{n} E_{Q}[\lambda + (H^{n}\cdot S)_{T}]\ge E_{Q}\big[ \lambda + \liminf _{n}(H^{n}\cdot S)_{T}\big]\ge E_{Q}[X]. \end{aligned}

This shows that

\begin{aligned} &\inf \left \{ \lambda \in \mathbb{R} : \textstyle\begin{array}{l} \text{there is a sequence (H^{n}) in \mathcal{H}^{f} such that} \\ \text{\lambda +(H^{n}\cdot S)_{t}(\omega )\geq -Z(\omega ^{t}) \text{ for all } (t,\omega )\in [0,T]\times \Omega } \\ \text{and \lambda + \liminf _{n} (H^{n}\cdot S)_{T}(\omega ) \geq X( \omega ) for all \omega \in \Omega } \end{array}\displaystyle \right \} \\ &\ge \inf \left \{ \lambda \in \mathbb{R} : \textstyle\begin{array}{l} \text{there is a sequence (H^{n}) in \mathcal{H} such that} \\ \text{\lambda +(H^{n}\cdot S)_{t}(\omega )\geq -Z(\omega ^{t}) \text{ for all } (t,\omega )\in [0,T]\times \Omega } \\ \text{and } \lambda + \liminf _{n} (H^{n}\cdot S)_{T}(\omega ) \geq X( \omega ) \,\text{ for all } \omega \in \Omega \end{array}\displaystyle \right \} \\ & \ge \sup _{Q\in \mathcal{M}_{Z}(\Omega )} E_{Q}[X]\ge \sup _{Q\in \mathcal{M}_{c}(\Omega )} E_{Q}[X], \end{aligned}

where the first and last terms coincide by the previous steps (a) and (b). □

The proof of Corollary 2.4 is a consequence of the following lemma.

### Lemma 4.7

Let$$\Omega =C([0,T],\mathbb{R}^{d})$$, $$Q\in \mathcal{M}(\Omega )$$and$$X\colon \Omega \to \mathbb{R}$$be bounded and Borel. For every$$\varepsilon >0$$, there exist$$K\subseteq \Omega$$compact and$$\tilde{Q}\in \mathcal{M}(K)$$such that$$|E_{Q}[X]-E_{\tilde{Q}}[X]| \leq \varepsilon$$. In particular,

$$\sup _{Q\in \mathcal{M}(\Omega )} E_{Q}[X]= \sup _{Q\in \mathcal{M}_{c}(\Omega )} E_{Q}[X].$$

### Proof

If $$X = 0$$, there is nothing to prove. Otherwise, since $$\Omega$$ is a Polish space, there exists $$K\subseteq \Omega$$ compact such that $$Q(K^{c})\leq \varepsilon / \|X\|_{\infty }$$. By an Arzelà–Ascoli type theorem [25, Theorem 1.4], there exist $$a\in \mathbb{R}$$ and a continuous increasing function $$f\colon [0,+ \infty )\to [0,+\infty )$$ such that

$$K\subseteq \tilde{K}:=\big\{ \omega \in \Omega : \|\omega \|_{\infty }\leq a \text{ and } |\omega (t)-\omega (s)|\leq f(|t-s|)\text{ for }s,t \in [0,T] \big\}$$

and $$\tilde{K}$$ is compact. Now define the stopping time

$$\tau :=\inf \big\{ t\geq 0 : |S_{t}|>a \text{ or } |S_{t}-S_{s}|> f(|t-s|)\text{ for some }s\in \mathbb{Q}\cap [0,t] \big\} \wedge T$$

so that $$\tilde{K}=\{\tau =T\}$$. Then for $$\tilde{Q}:=Q\circ (S^{ \tau })^{-1}\in \mathcal{M}(\tilde{K})$$, we have

$$|E_{\tilde{Q}}[X]-E_{Q}[X]|\le |E_{Q}[X(S^{\tau })1_{K^{c}}]| + E_{Q}[X1_{K ^{c}}]\leq 2\varepsilon .$$

In particular, $$\sup _{Q\in \mathcal{M}(\Omega )} E_{Q}[X]= \sup _{Q\in \mathcal{M}_{c}(\Omega )} E_{Q}[X]$$. □

### Proof of Corollary 2.4

Denote by $$\mathcal{K}$$ the set of all compact subsets $$K\subseteq \Omega$$. For $$K\in \mathcal{K}$$, define $$\tilde{K}:=\{\omega ^{t} : t\in [0,T]\text{ and }\omega \in K\}$$ which is compact due to (the proof of) Lemma 4.5. For $$K\in \mathcal{K}$$ and every bounded upper semicontinuous function $$X\colon \Omega \to \mathbb{R}$$, define

$$\phi _{K}(X):=\inf \left \{\lambda \in \mathbb{R} : \textstyle\begin{array}{l} \text{there are }H\in \mathcal{H}^{f}\text{ and } c\geq 0 \text{ such that} \\ \lambda + (H\cdot S)_{T}(\omega )\geq -c \text{ for all }\omega \in \Omega \text{ and} \\ \lambda + (H\cdot S)_{T}(\omega )\geq X(\omega )\text{ for all } \omega \in K \end{array}\displaystyle \right \}.$$

Then we have

\begin{aligned} \sup _{K\in \mathcal{K}}\phi _{K}(X) =\sup _{K\in \mathcal{K}} \phi _{\tilde{K}}(X) &=\sup _{K\in \mathcal{K}} \max _{Q\in \mathcal{M}(\tilde{K})} E_{Q}[X] \\ &=\sup _{K\in \mathcal{K}} \max _{Q\in \mathcal{M}(K)} E_{Q}[X] = \sup _{Q \in {\mathcal{M}}_{c}(\Omega )}E_{Q}[X]. \end{aligned}

The first and third equalities follow from $$K\subseteq \tilde{K}$$, the second one follows from $$\phi _{\tilde{K}}(X)= \max _{Q\in \mathcal{M}(\tilde{K})} E_{Q}[X]$$ as in (4.4) for every $$K\in \mathcal{K}$$ and the last equality follows by the definition of $$\mathcal{M}_{c}(\Omega )$$. Now use Lemma 4.7 to conclude. □

### Proof of Theorem 2.7

Step (a). For $$n\in \mathbb{N}$$ and every function $$X\colon \Omega \to \mathbb{R}$$, define

$$\phi _{n}(X):=\inf \left \{ \lambda \in \mathbb{R} : \textstyle\begin{array}{l} \text{there are H\in \mathcal{H}^{f} and c>0 such that} \\ \text{(H\cdot S)_{T}\geq -c and \lambda +(H\cdot S)_{T}\geq X -Z/n} \end{array}\displaystyle \right \}.$$

It follows from Lemma 4.2 that $$\phi _{n}(X)\geq \sup _{Q\in \mathcal{M}_{Z}(\Omega )} ( E_{Q}[X]-E_{Q}[Z]/n)$$ for every Borel function $$X$$ which is bounded from below. Moreover, if $$(X_{k})$$ is a sequence in $$C_{b}$$ decreasing pointwise to 0, then $$\phi (X_{n})\downarrow \phi (0)$$. Indeed, fix an arbitrary $$\varepsilon >0$$ and $$H\in \mathcal{H}^{f}$$ with $$(H\cdot S)_{T} \geq -c$$ for some $$c\geq 0$$ such that

$$\varepsilon + \phi _{n}(0)+ (H\cdot S)_{T}+ Z/n\geq 0.$$

Now define $$\tilde{c}:=\|X_{1}\|_{\infty }-\varepsilon - \phi _{n}(0)+c$$ so that $$\tilde{c}+\varepsilon +\phi _{n}(0)+ (H\cdot S)_{T}\geq X_{1}$$. Since $$\{Z\leq \tilde{c}n\}$$ is compact, it follows from Dini’s lemma that $$X_{k} \mathbf {1} _{\{Z\leq \tilde{c}n\}}\leq \varepsilon$$ for $$k$$ large enough. Hence we get

\begin{aligned} X_{k} \leq X_{k} \mathbf {1} _{\{Z\leq \tilde{c}n\}}+X_{1} \mathbf {1} _{\{Z> \tilde{c}n\}} &\leq \varepsilon +\big(\varepsilon +\phi _{n}(0)+(H \cdot S)_{T}+ Z/n\big)\mathbf {1} _{\{Z>\tilde{c}n\}} \\ &\leq 2\varepsilon +\phi _{n}(0)+ (H\cdot S)_{T}+ Z/n \end{aligned}

so that $$\phi _{n}(X_{k})\leq \phi _{n}(0)+2\varepsilon$$ for $$k$$ large enough, which shows that $$\phi _{n}(X_{k})\downarrow \phi _{n}(0)$$. Now a computation similar to the one in the proof of Theorem 2.1 shows that

\begin{aligned} \phi _{n}(X)=\max _{Q\in \mathcal{M}_{Z}(\Omega )}\big(E_{Q}[X]-E_{Q}[Z]/n \big) \end{aligned}
(4.8)

for every bounded upper semicontinuous function $$X\colon \Omega \to \mathbb{R}$$. Indeed, first notice that since $$Z\geq \|\cdot \| _{\infty }$$ by assumption, the set $$\mathcal{M}_{Z}(\Omega )$$ coincides with the set of all local martingale measures which integrate $$Z$$. Therefore, the same arguments as in the proof of Theorem 2.1 show that

$$\phi _{n}^{\ast }(Q):=\sup _{X\in C_{b}} \big(E_{Q}[X]-\phi _{n}(X) \big) = \textstyle\begin{cases} E_{Q}[Z]/n, &\quad \text{if } Q\in \mathcal{M}_{Z}(\Omega ), \\ +\infty , &\quad \text{else}, \end{cases}$$

and thus that (4.8) is true, at least whenever $$X\in C_{b}$$. For the extension to upper semicontinuous functions, notice that $$\phi (X)=\max _{Q\in \varLambda _{2c}} (E_{Q}[X]-E_{Q}[Z]/n)$$ for every $$X\in C_{b}$$ satisfying $$|X|\leq c$$, where $$\varLambda _{2c}:= \{ \phi _{n}^{\ast }\leq 2c\}$$. Using the fact that $$Z$$ has compact sublevel sets and Proposition 4.4, it follows that $$\varLambda _{c}$$ is (sequentially) compact. The rest follows analogously to the proof of Theorem 2.1.

Step (b). For $$X\in C_{\delta \sigma }$$, define

$$\phi (X):=\inf \left \{ \lambda \in \mathbb{R} : \textstyle\begin{array}{l} \text{there are (H^{n}) in \mathcal{H}^{f} and c\geq 0} \\ \text{such that (H^{n}\cdot S)_{T}\geq -cZ for all n} \\ \text{and }\lambda + \liminf _{n} (H^{n}\cdot S)_{T} \geq X \end{array}\displaystyle \right \}.$$

Fix $$X\in C_{\delta \sigma }$$ bounded from below and $$X_{n}$$ upper semicontinuous bounded from below such that $$X=\sup _{n} X_{n}$$. Then it follows from Fatou’s lemma and Lemma 4.2 that

\begin{aligned} \phi (X) &\geq \sup _{Q\in \mathcal{M}_{Z}(\Omega )} E_{Q}[X] = \sup _{Q\in \mathcal{M}_{Z}(\Omega )}\Big(\sup _{n} E_{Q}[X_{n}] -E_{Q}[Z]/n \Big) \\ &=\sup _{n}\sup _{Q\in \mathcal{M}_{Z}(\Omega )}( E_{Q}[X_{n}] -E_{Q}[Z]/n) =\sup _{n} \phi _{n}(X_{n}). \end{aligned}

On the other hand, if $$m>\sup _{n}\phi _{n}(X_{n})$$, then for every $$n$$, there exists $$H^{n}\in \mathcal{H}^{f}$$ such that $$m+(H^{n} \cdot S)_{T}\geq X_{n}-Z/n$$. Hence $$(H^{n}\cdot S)_{T}\geq -cZ$$ for $$c:=\|X_{1}\wedge 0\|_{\infty }+ m+ 1$$ and $$m+ \liminf _{n}(H^{n}\cdot S)_{T} \geq \liminf _{n} (X_{n}-Z/n)=X$$, which completes the proof. □