Abstract
In this paper, we show that Hilbert space-valued stochastic models are robust with respect to perturbations, due to measurement or approximation errors, in the underlying volatility process. Within the class of stochastic-volatility-modulated Ornstein–Uhlenbeck processes, we quantify the error induced by the volatility in terms of perturbations in the parameters of the volatility process. We moreover study the robustness of the volatility process itself with respect to finite-dimensional approximations of the driving compound Poisson process and semigroup generator, respectively, when considering operator-valued Barndorff-Nielsen and Shephard stochastic volatility models. We also give results on square root approximations. In all cases, we provide explicit bounds for the induced error in terms of the approximation of the underlying parameter. We discuss some applications to robustness of prices of options on forwards and volatility.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In mathematical finance, the dynamics of forward and futures prices may be modelled as an infinite-dimensional stochastic process taking values in some suitable Hilbert space. To capture probabilistic features of the price evolution, operator-valued stochastic volatility models have recently gained some attention in the literature. In this paper, we address the question of robustness of Hilbert-valued stochastic processes with respect to perturbations in the underlying stochastic volatility dynamics.
The HJM approach in fixed-income theory (see Heath et al. [33] and Filipović [29, Chap. 4]) has been adopted into commodity and energy futures price models (see Benth et al. [14, Chap. 6]). Using the so-called Musiela parametrisation, the forward price \(f_{t}(x)\) at time \(t\geq 0\) of a contract delivering a commodity (say oil or coffee beans) in time \(x\geq 0\) defines a stochastic process \((f_{t}(\,\cdot \,))_{t\geq 0}\) which takes values in a Hilbert space of real-valued functions on \(\mathbb{R}_{+}\). By no-arbitrage considerations, its risk-neutral dynamics may be modelled as the solution of a stochastic partial differential equation
Here, \(\partial _{x}\) is the derivative operator with respect to \(x\), \((B_{t})_{t\geq 0}\) is a Wiener process in the Hilbert space and \((\sigma _{t})_{t\geq 0}\) is some suitable operator-valued stochastic process acting on elements of the Hilbert space. We refer to Peszat and Zabczyk [40, Chap. 9] for details on such stochastic partial differential equations, and to Benth and Krühner [11] for a current account on the application to energy and commodity markets. We remark in passing that our analysis is also relevant in more exotic weather derivatives markets as well as fixed-income theory. Moreover, ambit fields as defined in Barndorff-Nielsen et al. [4, Chap. 5] can be re-cast as solutions of equations like (1.1) (see Benth and Eyjolfsson [9]), which ties our work to a rather general class of random field models where stochastic volatility plays an important role (e.g. turbulence, see [4, Chap. 9]). Ambit fields have been applied to futures price modelling in Di Persio and Perin [26] and Barndorff-Nielsen et al. [3].
In recent years, there has been a growing interest in developing and analysing infinite-dimensional stochastic volatility models, that is, stochastic dynamics for \(\sigma \) taking values in a suitable space of operators. We refer to Benth et al. [13], Benth and Simonsen [18], Cox et al. [23, 24], Friesen and Karbach [30], Cuchiero and Svaluto-Ferro [25] and Benth and Sgarra [17] for models of the variance \(\mathcal {V}\) being a dynamics on the positive Hilbert–Schmidt operators, where one defines \(\sigma \) as the (positive) square root of \(\mathcal {V}\). Rough volatility models have gained a lot of attraction, see e.g. El Euch and Rosenbaum [27] for rough Heston models. Benth and Harang [10] propose an infinite-dimensional version of such stochastic volatility models feasible for a forward term structure dynamics. A stochastic volatility dynamics in infinite dimensions gives a versatile model for describing the second-order risk variations across maturities.
The proposed infinite-dimensional volatility models can be split into two classes. The first extends the Barndorff-Nielsen and Shephard (BNS) stochastic volatility model. The BNS model, suggested by Barndorff-Nielsen and Shephard [5], was later extended to a multivariate context by Barndorff-Nielsen and Stelzer [6]. The BNS model in infinite dimensions belongs to the affine class of models studied in Cox et al. [23, 24]. The second stream of operator-valued stochastic volatility models is the lifting of the Heston model (see Heston [34] for the original one-dimensional model). Benth and Simonsen [18] and Benth et al. [8] have studied the Heston model in infinite dimensions. The present paper takes the infinite-dimensional BNS class of models as its starting point to study robustness.
When estimating a particular volatility model, or doing numerical simulations of it, one inevitably introduces perturbations of the “real” volatility. One can view these perturbations as projections of the infinite-dimensional volatility dynamics onto a finite set of (principal) component processes. In this paper, we analyse the robustness of the volatility process itself along with the forward prices, and we show that the induced error can be controlled. Indeed, for the volatility, variance and forward price, we are able to show pathwise robustness.
There are some recent accounts on the numerical simulation of such volatility models together with the forward price, i.e., the solution of (1.1). In Benth et al. [7], a semi-discrete finite difference scheme for the Heston infinite-dimensional volatility process is combined with a finite element approximation of (1.1). Based on regularity results for the model, sharp convergence rates are proved and illustrated in numerical examples. In parallel to our studies, we learned that Karbach [35] recently has studied finite-rank approximations of affine stochastic volatility models. As mentioned, this class of volatility models includes the infinite-dimensional BNS dynamics that we consider here. Karbach [35] shows that there is a sequence of finite-rank volatility models which converges weakly in the path space equipped with the Skorohod topology. Moreover, a Galerkin approximation for the corresponding generalised Riccati equations is introduced and studied for the dynamics as in (1.1) with affine volatility. In this paper, we provide explicit bounds in \(L^{2}(\mathbb{P})\) of the maximum pathwise error in terms of the various parameters in the volatility model. The pathwise error is measured in the norm of the Hilbert space where the dynamics take values.
In a large part of this paper, we analyse the difference between the stochastic volatility and its approximation in terms of three main parameters. These are the initial (current) variance, the drift of the BNS volatility model (which is a bounded operator on the space of Hilbert–Schmidt operators) and the driving Lévy process (which is a compound Poisson process in the space of Hilbert–Schmidt operators). We establish bounds on the pathwise error measured by the Hilbert–Schmidt and operator norms, both for the variance model and the square root of it (the volatility). The estimates for the volatility process rely on results by Birman et al. [19] on fractional powers of self-adjoint operators. Our main result, Theorem 2.3, assesses the pathwise error of the Hilbert-space-valued and volatility-modulated Ornstein–Uhlenbeck dynamics \(t \mapsto f_{t}\) (as given by (1.1)). The result is shown using arguments involving the measurable selection theorem of Kuratowski and Ryll-Nardzewski [36].
Our results are directly applicable for a continuity and robustness analysis of option prices considered as functionals of the different parameters in the volatility model. We refer to Benth and Krühner [12] for an exposition of various options on infinite-dimensional forward price models in commodity markets, including flow forwards. Cuchiero and Svaluto-Ferro [25] analyse options on realised volatility in an infinite-dimensional framework. We also want to mention the recent work by Benth et al. [15, 16] on limit theorems for realised variation of stochastic partial differential equations like (1.1), which can be utilised for non-parametric estimation of the infinite-dimensional stochastic variance.
The paper is structured as follows. In Sect. 2, we present the notation we employ in the paper and discuss the stochastic volatility processes as elements in a separable Hilbert space. The main result of this section is that the stochastic-volatility-modulated Ornstein–Uhlenbeck process is robust with respect to perturbations of the variance process, meaning that the error such a perturbation causes in the volatility-modulated process can be quantified in terms of the error induced by the variance process. In Sect. 3, we focus our attention on the variance process and present results on how to quantify the error induced by employing approximations. We focus on the case when the variance process is given by an Ornstein–Uhlenbeck-type infinite-dimensional process which involves an initial value, a bounded semigroup generator and a compound Poisson process. In particular, we elaborate on error bounds in the case of finite-dimensional approximations of the compound Poisson process and semigroup generator. In Sect. 4, we discuss square root approximations of positive definite variance processes and approximative processes.
2 Approximation of forwards
Fix a complete filtered probability space \((\Omega ,\mathcal {F}, (\mathcal {F}_{t})_{t\geq 0},\mathbb{P})\). Let \(H\) denote a separable real Hilbert space, with an inner product \((\,\cdot \,,\,\cdot \,)_{H}\), and norm \(|\cdot |_{H}\), and denote by \(\mathcal{H} := L_{{\mathrm {HS}}}(H)\) the space of Hilbert–Schmidt operators, i.e., the Hilbert space of bounded operators \(\mathcal {T} \in L(H) = L(H,H)\) with \(\|\mathcal {T} \|_{\mathcal{H}} = \sqrt{\langle \mathcal {T}, \mathcal {T} \rangle _{\mathcal {H}}} < \infty \), where
denotes the inner product of ℋ for any \(\mathcal{S}, \mathcal{T} \in \mathcal{H}\) and \((e_{k})_{k \in \mathbb{N} }\) is an orthonormal basis (ONB) in \(H\). A compact operator \(\mathcal{T} \in L(H)\) is a trace-class operator if it has an absolutely convergent series of eigenvalues and the trace-norm is defined by (see Bogachev [21, Sect. 2.5])
where \(\mathcal{T}^{*}\) is the adjoint of \(\mathcal{T}\). Denote the Banach space of trace-class operators with norm (2.1) by \(\mathcal{B}_{1}\). In what follows, we consider an \(H\)-valued stochastic-volatility-modulated Volterra process
where \((B_{t})_{t\geq 0}\) is an \(H\)-valued Wiener process with the covariance operator \(Q\) being a positive definite trace-class operator on \(H\), and \((\mathcal {V}_{t})_{t\geq 0}\) is an ℋ-valued nonnegative definite stochastic variance process. We assume \((\mathcal {V}_{t})_{t\geq 0}\) to be predictable (with respect to the strong topology on ℋ) and satisfy the integrability condition
for all \(t\leq T\) for a fixed time horizon \(T<\infty \). We refer to Sect. 3 for a specification of the volatility process \(\mathcal {V}\). Finally, \((\mathcal{S}(t))_{t\geq 0}\) is supposed to be a \(C_{0}\)-semigroup on \(H\). We recall from Peszat and Zabczyk [40, Chap. 9] that the stochastic process \(X\) in (2.2) is a mild solution of the SPDE
with zero initial condition \(X_{0}=0\). Here, \(\mathcal {A}\) denotes the generator of the semigroup \(\mathcal {S}\). Remark that we can easily include an initial condition \(X_{0}\in H\) by adding the term \(\mathcal {S}(t)X_{0}\) to the dynamics in (2.2).
In the following example, we discuss the stochastic process in (2.2) in view of term structure modelling in commodity markets based on the analysis in Benth and Krühner [11, 12].
Example 2.1
Given a Hilbert space \(H\) of real-valued measurable functions on \(\mathbb{R}_{+}\), we can define the forward price \(f_{t}(x)\) of a commodity at time \(t\geq 0\) and with time to delivery \(x\geq 0\) as \(f_{t}(x):=\delta _{x}(X_{t})\). Here, \(X\) is given by (2.2) and \(\delta _{x}\) is the evaluation operator, which is assumed to be a continuous linear functional, i.e., \(\delta _{x}\in H^{*}\). Furthermore, in this commodity market context, \(\mathcal {S}(t)\) is the shift semigroup, i.e., \(\mathcal {S}(t)(g)=g(\,\cdot \,+t)\) for \(g\in H\), which has the generator \(\mathcal {A}=\partial /\partial x\). Letting \(H\) be the Filipović space (see Filipović [29, Chap. 5] as well as the end of this section for the original definition), the evaluation operator is an element in \(H^{*}\) and \(\mathcal {S}\) is a \(C_{0}\)-semigroup. This model of \(f\) defines the risk-neutral dynamics of the term structure dynamics of forward prices. Possible operator-valued stochastic models for the variance process \(\mathcal {V}\) are provided later in this paper.
Here are some considerations on the approximation of (2.2). Let \(\mathcal {V}^{n}\) be some approximation or perturbation of \(\mathcal {V}\), which is supposed to satisfy the same predictability and integrability assumptions (2.3) as \(\mathcal {V}\). We want to assess the error \(X_{t}-X^{n}_{t}\), where
Clearly, it holds for \(I^{n}_{t} := X_{t}-X^{n}_{t}\) that
In this section, we want to bound the random variable \(\sup _{0 \leq t \leq T} |I^{n}_{t}|_{H}^{2}\) in \(L^{1}( \mathbb{P} )\) for the given time horizon \(T > 0\). It is relatively straightforward to obtain a \(t\)-dependent \(L^{1}( \mathbb{P} )\)-bound for \(|I^{n}_{t}|_{H}^{2}\). Our approach is then to demonstrate that the real-valued stochastic process \(t \mapsto |I^{n}_{t}|_{H}^{2}\) is a.s. continuous and then to apply the measurable selection theorem of Kuratowski and Ryll-Nardzewski (see e.g. Aliprantis and Border [1, Sect. 18.3] for an excellent exposition). Their selection theorem states that there exists a random variable \(\xi \) that takes values in \([0,T]\) such that
To this end, denote by \(C([0,T];H)\) the space of all continuous \(H\)-valued functions on \([0,T]\) equipped with the supremum norm. Furthermore, for any \(q \geq 1\), let \(L^{q}(0,T;H) := L^{q}((0,T), \mathcal{B}((0,T)), \text{Leb}; H)\), where \(\text{Leb}\) denotes Lebesgue measure. The following result is inspired by Peszat and Zabczyk [40, Chap. 11], and we use it to prove that the real-valued stochastic process \(t \mapsto |I^{n}_{t}|_{H}^{2}\) is a.s. continuous. This is needed in the proof of Theorem 2.3.
Lemma 2.2
Suppose that \(\mathcal {Z}\) is a predictable ℋ-valued stochastic process such that
holds for some \(q > 2\) and \(T > 0\). If
then \({X} \in C([0,T];H)\) holds a.s.
Proof
Suppose \(\alpha \in (0,1/2)\) is a constant with \(1/q < \alpha \). For each \(t \in [0,T]\), let
Then by the Burkholder–Davis–Gundy inequality, see Marinelli and Röckner [37], Young’s inequality and the Hille–Yosida bound \(\|\mathcal{S}(t)\|_{\mathrm{{op}}} \leq c{\mathrm {e}}^{kt}\), it follows that
where \(C > 0\) is a constant that depends only on \(q\). Thus \(|Y|_{H}^{q} \in L^{1}(\text{Leb} \times \mathbb{P} )\), and Fubini’s theorem implies that \(|Y|_{H}^{q} \in L^{1}(\text{Leb})\) a.s., i.e., \(Y \in L^{q}(0,T;H)\) a.s. Now for each \(\psi \in L^{q}(0,T;H)\), define the Liouville–Riemann operator \(I_{\alpha}\) by
By the stochastic Fubini theorem and the semigroup property of \(\mathcal {S}\), it follows that
Furthermore, by Peszat and Zabczyk [40, Lemma 11.2], we find that
Therefore \({X}_{t} = (I_{\alpha }Y)_{t}\). According to Peszat and Zabczyk [40, Theorem 11.5], \(I_{\alpha}\) is a bounded linear operator from \(L^{q}(0,T;H)\) to \(C([0,T];H)\); so \({X} \in C([0,T];H)\) holds almost surely. □
We are now in a position to prove our main results. The following maximal-inequality-type result is related to the Burkholder-type inequalities in Gawarecki and Mandrekar [31, Lemma 3.3]. The result we present here has to the best of our knowledge not been given in the case when \(\mathcal{S}\) is a general semigroup (not necessarily quasi-contractive), and our result is moreover stated with the operator norm on the right-hand side, rather than the Hilbert–Schmidt norm, which enables us to prove Corollary 2.4 concerning the robustness of the stochastic volatility process with respect to the variance process (2.6). In the proof, we employ the measurable selection theorem of Kuratowski and Ryll-Nardzewski [36] in the final step to obtain the inequality with the supremum over the compact interval \([0,T]\) inside the expected value. We observe that this is necessary since we cannot employ the steps we do at the beginning of the proof with the supremum inside the integral, nor could we have used the methodology in [31] under our assumptions.
Theorem 2.3
Suppose that \(\mathcal{Z}\) is a predictable ℋ-valued stochastic process and that
for some \(q > 2\) and \(T > 0\). Then
where \(C(T) = c^{2}\mathrm{Tr}(Q)\int _{0}^{T} {\mathrm {e}}^{2ks}ds\) and \(\|\mathcal{S}(t)\|_{\mathrm{{op}}} \leq c{\mathrm {e}}^{kt}\) for constants \(k \in \mathbb{R} \), \(c > 0\) and all \(t \geq 0\).
Proof
Let \(X_{t} := \int _{0}^{t} \mathcal{S}(t-s)\mathcal{Z}_{s}dB_{s}\). By the Itô isometry, we have
Since the Hilbert–Schmidt norm satisfies \(\Vert \mathcal {LK}\Vert _{\mathcal {H}}\leq \Vert \mathcal {L}\Vert _{{ {\mathrm {op}}}}\Vert \mathcal {K}\Vert _{\mathcal {H}}\) for a bounded linear operator ℒ and a Hilbert–Schmidt operator \(\mathcal {K}\), it follows that
In the second inequality, we appealed to the general Hille–Yosida bound of the operator norm of a \(C_{0}\)-semigroup. In the last step, we used the well-known identity \({{\mathrm {Tr}}}(Q)=\Vert Q^{1/2}\Vert ^{2}_{ \mathcal {H}}\). Hence, if \(t \leq T\),
where \(C(t)=c^{2}\mathrm{Tr}(Q)\int _{0}^{t} {\mathrm {e}}^{2ks}ds\) for all \(t \in [0,T]\). Now we apply Lemma 2.2 to conclude that \(X \in C([0,T];H)\) and therefore \(t \mapsto |X_{t}|_{H}^{2} \in C([0,T]; \mathbb{R} )\). By the measurable selection theorem of Kuratowski and Ryll-Nardzewski [36] (see also Peszat and Zabczyk [40, Theorem 8.8]), we conclude that there exists a random variable \(\xi \) which takes values in \([0,T]\) and such that \(\sup _{0 \leq t \leq T}|X_{t}|_{H}^{2} = |X_{\xi}|_{H}^{2}\) holds. Hence, since \(\xi \leq T\) and \(C(\xi ) \leq C(T)\), it follows that
The proof is completed. □
We remark that we may use the fact that \(\Vert \mathcal {L}\Vert _{{{\mathrm {op}}}}\leq \Vert \mathcal {L}\Vert _{ \mathcal {H}}\) holds for a Hilbert–Schmidt operator ℒ to obtain a version of the preceding result with the Hilbert–Schmidt norm on the right-hand side of the inequality. However, we do genuinely need the operator norm to obtain the following result. We furthermore remark that in Sect. 4, we discuss approximations of the square root process using the operator and the Hilbert–Schmidt norms.
Corollary 2.4
Suppose that
for some \(q > 2\). Then
where we recall the definition of \(I^{n}_{t}\) in (2.6). Here \(C(T) = c^{2}\mathrm{Tr}(Q)\int _{0}^{T} {\mathrm {e}}^{2ks}ds\), and \(k \in \mathbb{R} \), \(c > 0\) are constants such that \(\|\mathcal{S}(t)\|_{\mathrm{{op}}} \leq c{\mathrm {e}}^{kt}\).
Proof
According to Bogachev [21, Lemma 2.5.1], it holds that
Hence by the assumption and the fact that \(\Vert \mathcal {L}\Vert _{{{\mathrm {op}}}}\leq \Vert \mathcal {L}\Vert _{ \mathcal {H}}\) for a Hilbert–Schmidt operator ℒ, it follows that
where \(C = (\mathrm{Tr}(Q))^{q/2}\). Note furthermore that Hölder’s inequality yields
Thus the result follows from Theorem 2.3. □
Consider a financial derivative written on a forward or futures contract on a commodity. Forwards are contracts delivering an underlying (oil, metals, soybeans, power or gas, say) at a predetermined (period of) time. Following the analysis in Benth and Krühner [12], we can express the price at time \(t\geq 0\) of such a forward as \(\mathcal {D} (X_{t})\) for some \(\mathcal {D}\in H^{*}\) and \(X_{t}\) in (2.2). The linear functional \(\mathcal {D}\) models either fixed-delivery contracts or contracts where delivery takes place over a time period. Assuming that \(X\) is modelled directly under the risk-neutral probability measure, the current arbitrage-free price of a European option with exercise time \(\tau \) paying \(p (\mathcal {D} (X_{\tau}) )\) is given by
Here, we have let the risk-free interest rate be equal to zero for simplicity. If we consider a payoff function \(p:\mathbb{R}\rightarrow \mathbb{R}\) which is Lipschitz-continuous with Lipschitz constant \(K > 0\), we find with \(X^{n}\) as in (2.5) that
By Corollary 2.4, we can bound \(\vert P-P^{n}\vert \) by the norm difference of the variance processes \(\mathcal {V}-\mathcal {V}^{n}\). This tells us that option prices depend continuously on the variance process. In the next sections, we are going to establish precise estimates for the error induced by the difference in variance, giving robustness estimates for the option price.
In portfolio management and estimation of models, the forward dynamics are considered under the objective market probability rather than the risk-neutral probability. In such models, a risk premium enters into the general model (2.4) (or (1.1)) as an additional drift term. This drift term may depend on the variance. This would mean that we have a mild solution of the form (2.2) with an additional term
A stability analysis would be possible by modifying the above arguments under appropriate conditions on \(\gamma \). Furthermore, if we consider in such a context pricing of derivatives, the change of measure to the risk-neutral one involves a dependency on the variance process as well. To assess stability then is becoming a challenging task that we plan to investigate in future works. Notice also that in risk management, one may be interested in calculations of the so-called value-at-risk (VaR) of positions in forwards. The term structure of variance is the fundamental variable in such calculations, but the risk premium is also of importance.
Before proceeding, let us discuss a specific choice of a Hilbert space \(H\) particularly relevant for commodity forward market modelling. As already indicated in Example 2.1, the Filipović space is a convenient choice for \(H\) when modelling the term structure of commodity forwards. To this end, consider real-valued measurable functions \(g\) on \(\mathbb{R}_{+}\) which are weakly differentiable and satisfy
for a nondecreasing continuously differentiable scaling function \(w:\mathbb{R}_{+}\rightarrow [1,\infty )\) with \(w(0)=1\) and \(w^{-1}\in L^{1}(\mathbb{R}_{+})\). Here, \(g'\) denotes the weak derivative of \(g\). The space \(H\) equipped with the norm \(\vert \cdot \vert _{w}\) is a separable Hilbert space (see Filipović [29, Chap. 5]) and furthermore, the evaluation operator is a continuous linear functional on \(H\) and the shift semigroup defines a \(C_{0}\)-semigroup. Moreover, the Filipović space is a Banach algebra. From Benth and Krühner [11, Lemma 3.5], the shift semigroup is quasi-contractive on the Filipović space. A typical choice of scaling function is \(w(x):=\exp (\alpha x)\) for \(\alpha >0\).
The models we consider in this paper are driven by noise processes that are elements in infinite-dimensional separable Hilbert spaces (i.e., the noise has infinite rank), which allows e.g. modelling maturity-specific risk. This is a realistic model characteristic from the perspective of hedging in these models; see for example Carmona and Tehranchi [22, Chap. 6]. In practical applications, one would project onto finitely many principal components (eigenfunctions). Theorem 2.3 and the results of the following sections quantify the expected (pathwise) error introduced by approximating the volatility in such models with finite-rank models, where the latter describe the behaviour of the forward curves under the \(n\) leading factors.
3 The variance process
In this section, we focus on the BNS stochastic volatility model for \(\mathcal {V}\), as introduced in Benth et al. [13] and later studied in an affine extension by Cox et al. [23, 24]. We introduce various perturbations of \(\mathcal {V}\) and quantify the induced distance to the original volatility process.
Given a square-integrable Lévy process \((\mathcal{L}_{t})_{t\geq 0}\) with covariance operator \(\mathcal{Q}_{\mathcal{L}}\), consider the variance process
with initial condition \(\mathcal{V}_{0}\in \mathcal {H}\) and where \(\mathfrak {C} \in L(\mathcal{H})\) is a bounded operator. Then we have
where ℭ generates the uniformly continuous \(C_{0}\)-semigroup \(\mathfrak{S}(t) = \exp ( \mathfrak {C} t)\) on ℋ. We remark that since \(L(\mathcal{H})\) is a Banach algebra, it follows that \(\mathfrak{S}(t) \in L(\mathcal{H})\). Note that the variance process \(\mathcal{V}\) depends on the initial position \(\mathcal{V}_{0}\), the semigroup generator ℭ and the Lévy process ℒ. We furthermore remark that one can let ℭ be an unbounded operator in the variance process. However, in what follows, we analyse a class of generators which is restricted to being bounded in Benth et al. [13] due to technical reasons. Therefore we only consider bounded generators in what follows, a property that we frequently make use of. Recall the definition of the mean of an ℋ-valued Lévy process, cf. Peszat and Zabczyk [40, Definition 4.45]: If ℒ is an ℋ-valued Lévy process with a mean \(\mathcal{M} \in \mathcal{H}\), then the process \((\widetilde{\mathcal {L}}_{t})_{t\geq 0}\) given by
is a zero-mean martingale.
Proposition 3.1
It holds that
where \(C_{0} = 3 \mathbb{E} [\|\mathcal{V}_{0}\|_{\mathcal{H}}^{2}]\), \(C_{1} = 3{{\mathrm {Tr}}}(\mathcal{Q}_{\mathcal{L}})\) and \(C_{2} = 3\|\mathcal{M}\|_{\mathcal{H}}^{2}\) and ℳ and \(\mathcal{Q}_{\mathcal{L}}\) denote the mean and covariance operator of ℒ, respectively.
Proof
By (3.2) and (3.3), it holds that
Observe that \(\mathbb{E} [\|\mathfrak{S}(t)\mathcal{V}_{0}\|_{\mathcal{H}}^{2}] \leq \mathbb{E} [ \|\mathcal{V}_{0}\|_{\mathcal{H}}^{2}] \|\mathfrak{S}(t)\|_{{\mathrm {op}}}\), and similarly, it holds that
By [40, Corollary 8.17], it moreover follows that
where we used the trace equality \({{\mathrm {Tr}}}(\mathcal{Q}_{\mathcal{L}}) = \Vert \mathcal {Q}_{\mathcal{L}}^{1/2} \Vert ^{2}_{L_{{\mathrm {HS}}}(\mathcal {H})}\). The result follows. □
Given Proposition 3.1, it follows that if the semigroup \((\mathfrak{S}(s))_{s \geq 0}\) is uniformly exponentially stable, then \(\limsup _{t \to \infty} \mathbb{E} [\|\mathcal{V}_{t}\|_{\mathcal{H}}^{2}] < \infty \). Note furthermore that since \((\mathfrak{S}(s))_{s \geq 0}\) is by definition a uniformly continuous semigroup, the uniform exponential stability is equivalent to \(s(\mathfrak {C}) < 0\), where \(s( \mathfrak {C}) := \sup \{ \Re \lambda : \lambda \in \sigma (\mathfrak {C}) \}\) is the spectral bound of ℭ and \(\sigma (\mathfrak {C})\) denotes the spectrum of ℭ (see Engel and Nagel [28, Theorem V.3.7]). Thus if \(\Re \lambda < 0\) for all \(\lambda \in \sigma (\mathfrak{C})\) and \(\partial \sigma ( \mathfrak{C}) \cap \{z \in \mathbb{C} : \Re z = 0\} = \emptyset \), then \(\limsup _{t \to \infty} \mathbb{E} [\|\mathcal{V}_{t}\|_{\mathcal{H}}^{2}] < \infty \). We give examples of specifications for the operator ℭ and relate them to these results in Sect. 3.2.
Introduce the process \(\mathcal{V} = (\mathcal{V}^{\mathrm{stat}}_{t})_{t \geq 0}\), where
It can be shown that \(\mathcal{V}^{\mathrm{stat}}\) is stationary with a time-independent distribution. One can show that when \(s(\mathfrak{C})<0\), the variance process \(\mathcal{V}\) is asymptotically stationary when \(t\to \infty \) with a stationary distribution coinciding with that of \(\mathcal{V}_{0}^{\mathrm{stat}}\), meaning that the characteristic functional of \(\mathcal{V}_{t}\) converges to the characteristic functional of \(\mathcal{V}^{\mathrm{stat}}_{0}\) as \(t \to \infty \); see Benth and Eyjolfsson [9] for more details. As can be seen from the characteristic functional of \(\mathcal{V}^{\mathrm{stat}}_{t}\) (see [9]), the distribution of the scalar stochastic process \(t \mapsto \langle \mathcal{V}^{\mathrm{stat}}_{t}, \mathcal{T} \rangle _{\mathcal{H}}\) is invariant to shifts with respect to \(t\) for any \(\mathcal{T} \in \mathcal{H}\), and we furthermore have \(\mathbb{E} [|\langle \mathcal{V}^{\mathrm{stat}}_{t}, \mathcal{T}\rangle _{ \mathcal{H}}|^{2}] \leq \|\mathcal{T}\|_{\mathcal{H}}^{2} \mathbb{E} [\| \mathcal{V}^{\mathrm{stat}}_{t}\|_{\mathcal{H}}^{2}] < \infty \) by the Cauchy–Schwarz inequality.
We consider approximations of the variance process in (3.2) of the form
where the initial value \(\mathcal{V}^{n}_{0}\), semigroup generator \(\mathfrak {C} ^{n}\) and a Lévy process \(\mathcal{L}^{n}\) approximate the initial value, generator and Lévy process of the variance process \(\mathcal {V}\). We remark that in order to ensure that the square root of the volatility process is well defined, it must be self-adjoint and nonnegative definite. Conditions which ensure this are given in Sect. 4. In the following subsections, we study results which quantify the error induced in the variance process by approximating the corresponding initial value, the Lévy process and the semigroup generator, respectively.
3.1 Approximation in the compound Poisson process case
In this subsection, we suppose that ℒ is an ℋ-valued compound Poisson process
where \((N_{t})_{t\geq 0}\) is a Poisson process with intensity \(\lambda > 0\) and \((\mathcal{X}_{i})_{i \in \mathbb{N} }\) is a sequence of independent and identically distributed (i.i.d.) ℋ-valued random variables. We choose an RCLL version of \(N\) so that ℒ becomes an RCLL Lévy process with values in ℋ. Suppose furthermore that
where the compound Poisson processes ℒ and \(\mathcal{L}^{n}\) are driven by the same Poisson process \(N\) for each \(n \geq 1\). We study finite-dimensional approximations of the compound Poisson process (3.6) by a sequence of compound Poisson processes of the form (3.7).
Example 3.2
Suppose that \(\mathcal{X}_{i} = (Y_{i})^{\otimes 2} = (Y_{i},\,\cdot \,)_{H} Y_{i}\), where \((Y_{i})_{i\in \mathbb{N}}\) are i.i.d. and \(H\)-valued random variables. Given an ONB \((e_{j})_{j\in \mathbb{N}}\) of \(H\), define
for \(n \geq 1\). In Proposition 3.4, we study the approximation of the i.i.d. ℋ-valued random variables \(\mathcal{X}_{i}\), i.e., the jumps of the compound Poisson process defined in (3.6), with \(\mathcal{X}_{i}^{n} = (Y_{i}^{n})^{\otimes 2}\), where \(n \geq 1\).
The following result shows that the tensor product forms a locally Lipschitz-continuous operator.
Lemma 3.3
If \(f,g \in H\), then
Proof
By the definition of the Hilbert–Schmidt norm and the triangle inequality, it holds that
By Parseval’s identity, it follows that
and an application of the Cauchy–Schwarz inequality together with Parseval’s identity yields
Hence we conclude that \(\|f^{\otimes 2} - g^{\otimes 2}\|_{\mathcal{H}}^{2} \leq (|f|_{H} + |g|_{H})^{2}|f-g|_{H}^{2}\). □
An application of Hölder’s inequality now yields the following result.
Proposition 3.4
Suppose that \(\mathcal{X}_{i} = (Y_{i})^{\otimes 2}\), where \((Y_{i})_{i\in \mathbb{N}}\) is a sequence of i.i.d. \(H\)-valued random variables, and \(\mathcal{X}_{i}^{n} = (Y_{i}^{n})^{\otimes 2}\), where \(Y_{i}^{n}\) is defined by (3.8) for all \(n,i \geq 1\). Then if \(p, q \in [1,\infty ]\) are conjugate exponents, it holds that
In particular, we have that
and if \(|Y_{i}|_{H} \in L^{4}( \mathbb{P} )\), the right-hand side of (3.10) converges to zero as \(n \to \infty \).
Proof
It follows by Lemma 3.3 and the inequality \(|Y_{i}^{n}|_{H} \leq |Y_{i}|_{H}\) that
The bound in (3.9) now follows by Hölder’s inequality. We obtain the particular case (3.10) by choosing \(p=q=2\). According to the triangle inequality,
Because \(Y_{i} - Y_{i}^{n} \to 0\) a.s. due to (3.8), the dominated convergence theorem yields that the right-hand side of (3.10) converges to 0 as \(n \to \infty \). □
Let us state some useful lemmas; the first is known, but we include it here for the convenience of the reader and for future reference.
Lemma 3.5
Suppose that \(U\) is a separable Hilbert space and \(L_{t} = \sum _{i=1}^{N_{t}} J_{i}\) for \(t\geq 0\) is a \(U\)-valued compound Poisson process, where the Poisson process \(N\) has intensity \(\lambda > 0\) and \((J_{i})_{i\in \mathbb{N}}\) are i.i.d. \(U\)-valued random variables. Then:
1) We have
2) We have
Proof
By conditioning, we note that
Since \(\langle J_{i}, J_{i} \rangle _{U} = |J_{i}|_{U}^{2}\) and \(\mathbb{E} [\langle J_{i}, J_{j} \rangle _{U}] = \langle \mathbb{E} [J_{i}], \mathbb{E} [J_{j}] \rangle _{U}\) when \(i \ne j\) and the \((J_{i})_{i\in \mathbb{N}}\) are i.i.d., it follows that
Putting these equations together, it follows that
Finally, 2) follows from 1) and
where we have used Jensen’s inequality twice. □
The following lemma will be used for the Hilbert space ℋ and the Banach space of trace-class operators.
Lemma 3.6
Suppose that \(\Vert \cdot \Vert _{\mathcal {B}}\) denotes the norm of a Banach space ℬ which is a subspace of \(L(H)\), and assume that \(\mathfrak {C} \in L(\mathcal{B})\). Suppose moreover that \(\mathcal{V}\) and \(\mathcal{V}^{n}\) are the variance processes defined by (3.1) and (3.5), respectively, where \(\mathfrak {C} ^{n} = \mathfrak {C} \) and the compound Poisson processes ℒ and \(\mathcal{L}^{n}\) are driven by the same Poisson process \(N\), and that \(\mathcal{V}_{t}, \mathcal{V}^{n}_{t} \in \mathcal{B}\) for all \(t \in [0,T]\), where \(T > 0\). Then it holds that
Proof
Let \((T_{i})_{i\in \mathbb{N} }\) be the (exponentially distributed) jump times of the Poisson process \(N\) which the compound Poisson processes ℒ and \(\mathcal{L}^{n}\) have in common. Then by the triangle inequality and the assumption that \(\mathfrak {C} \in L(\mathcal{B})\),
where the second inequality uses the exponential bound of the semigroup. □
Now we investigate the error induced on the compound Poisson and variance processes by approximating \(\mathcal{X}_{i}\) with \(\mathcal{X}_{i}^{n}\), where we do not assume any specific form for the jump-size approximation \(\mathcal{X}_{i}^{n}\).
Proposition 3.7
Suppose for each \(n \geq 1\) that \((\mathcal{X}_{i})_{i\in \mathbb{N}}\) and \((\mathcal{X}_{i}^{n})_{i\in \mathbb{N}}\) are sequences of ℋ-valued i.i.d. random variables and that \(\| \mathcal{X}_{i}\|_{\mathcal{H}}, \| \mathcal{X}_{i}^{n} \|_{ \mathcal{H}} \in L^{2}( \mathbb{P} )\) for all \(n,i \geq 1\). Then ℒ and \(\mathcal{L}^{n}\) defined by (3.6) and (3.7), respectively, are square-integrable compound Poisson processes. Suppose furthermore that \(\mathcal{V}\) and \(\mathcal{V}^{n}\) are the variance processes defined by (3.1) and (3.5), respectively, where \(\mathfrak {C} ^{n} = \mathfrak {C} \in L(\mathcal{H})\) for all \(n \geq 1\) and the compound Poisson processes ℒ and \(\mathcal{L}^{n}\) are driven by the same Poisson process \(N\). Then for every \(T>0\),
where \(C_{0}(T) = 2e^{2T\Vert \mathfrak {C}\Vert _{{{\mathrm {op}}}}}\) and \(C_{1}(T)=2e^{2T\Vert \mathfrak {C}\Vert _{{{\mathrm {op}}}}} T \lambda (1+ \lambda T)e^{2T\Vert \mathfrak {C}\Vert _{{{\mathrm {op}}}}}\).
Proof
By part 2) of Lemma 3.5, it holds that
So \(\mathcal{L}_{t}\) and \(\mathcal{L}^{n}_{t}\) (by the same reasoning for \(\mathcal {L}^{n}\)) are square-integrable. According to Lemma 3.6 (using that ℋ is Hilbert with \(\mathfrak {C} \in L(\mathcal{H})\)), it holds that
It moreover follows by the triangle inequality and square-integrability assumption that
Hence by Lemma 3.5, we can conclude that \(t\mapsto \sum _{i=1}^{N_{t}}\Vert \mathcal {X}_{i}-\mathcal {X}_{i}^{n} \Vert _{\mathcal {H}}\) is a square-integrable compound Poisson process with values in \(\mathbb{R}_{+}\) (a subordinator). Thus by appealing to the inequality \((x+y)^{2} \leq 2(x^{2}+y^{2})\) and Lemma 3.5, we get
The result follows. □
We can easily obtain the following corresponding result for the approximation of the compound Poisson process.
Corollary 3.8
Suppose for each \(n \geq 1\) that \((\mathcal{X}_{i})_{i\in \mathbb{N}}\) and \((\mathcal{X}_{i}^{n})_{i\in \mathbb{N}}\) are sequences of ℋ-valued i.i.d. random variables and moreover that \(\| \mathcal{X}_{i}\|_{\mathcal{H}}, \| \mathcal{X}_{i}^{n} \|_{ \mathcal{H}} \in L^{2}( \mathbb{P} )\) for all \(n,i \geq 1\). If the compound Poisson processes ℒ and \(\mathcal{L}^{n}\) defined by (3.6) and (3.7), respectively, are driven by the same Poisson process \(N\), then for every \(T>0\),
where \(C(T)=2T \lambda (1+\lambda T)\).
Proof
This follows from Proposition 3.7 by setting \(\mathcal{V}_{0}^{n} = \mathcal{V}_{0}\) for all \(n\) and \(\mathfrak {C} =0\). □
Given an ONB \((e_{j})_{j\in \mathbb{N}}\) of \(H\), we introduce by tensorisation elements in \(L(H)\) defined by
for each \((j,k) \in \mathbb{N} ^{2}\). It is well known (see e.g. Pedersen [39, Proposition 3.4.14]) that the family \((e_{j}\otimes e_{k})_{(j,k)\in \mathbb{N}^{2}}\) defines an ONB of ℋ.
Recall that an operator \(A \in L(U)\), where \(U\) is a separable Hilbert space, is said to be compact if it transforms any bounded subset of \(U\) into a set whose closure is compact (i.e., the set is relatively compact). Note that if \(\mathcal{T} \in \mathcal{H}\), then \(\mathcal{T}\) is compact; see Pedersen [39, Proposition 3.4.8]. Recall furthermore that an operator \(A \in L(U)\) is said to be diagonalisable if there exists an ONB of \(U\) which consists of eigenvectors of \(A\). If an operator \(\mathcal{T}\) is compact and normal, meaning that \(\mathcal{T}\mathcal{T}^{*} = \mathcal{T}^{*}\mathcal{T}\), where \(\mathcal{T}^{*}\) is the adjoint of \(\mathcal{T}\), then it is diagonalisable, i.e., there exists an ONB of eigenvectors \((e_{k})_{k\in \mathbb{N}}\) of \(\mathcal{T}\), and the corresponding eigenvalues \((\lambda _{k})_{k\in \mathbb{N}}\) vanish at infinity, i.e., \(\lambda _{k}\rightarrow 0\) when \(k\rightarrow \infty \) (see [39, Theorem 3.3.8]). In what follows, we use the notation \((E_{j})_{j\in \mathbb{N}}\) for an ONB of ℋ. Note in particular that if \(d: \mathbb{N} \to \mathbb{N} ^{2}\) is a bijective correspondence, then we can let \(E_{j} = \psi _{d(j)}\), where \(\psi _{(j,k)} = e_{j} \otimes e_{k}\) is defined by (3.11) and \((e_{j})_{j\in \mathbb{N}}\) is an ONB on \(H\).
Suppose that \((\mathcal{U}_{n})_{n\in \mathbb{N}}\) is a nested sequence of finite-dimensional subspaces of ℋ, meaning that \(\mathcal{U}_{n} \subseteq \mathcal{U}_{n+1}\) for \(n \geq 1\). Denote by \(\Pi _{n} \in L(\mathcal{H})\) the orthogonal projection onto \(\mathcal{U}_{n}\) and let
Note in particular that \(\|\mathcal{T}^{n}\|_{\mathcal{H}} \leq \|\mathcal{T}\|_{\mathcal{H}}\) for all \(n \geq 1\) since \(\Vert \Pi _{n}\Vert _{{{\mathrm {op}}}}\leq 1\). So \(\mathcal{T}^{n} \in \mathcal{H}\).
Proposition 3.9
Suppose that \(\mathcal{T} \in \mathcal{H}\) and \(\mathcal{T}^{n}\) is defined in (3.12), where we define \(\mathcal{U}_{n} = \mathop{ \mathrm{span}}\{e_{j} \otimes e_{k} : j+k \leq n\}\) and \((e_{j})_{j\in \mathbb{N}}\) is an ONB of \(H\). Then it holds that
If furthermore the basis \((e_{j})_{j\in \mathbb{N}}\) consists of the eigenfunctions of \(\mathcal{T}\) and \((\lambda _{j})_{j\in \mathbb{N}}\) are the corresponding eigenvalues, then \((\lambda _{j})_{j\in \mathbb{N}} \in \ell ^{2}\) and
Proof
Note that according to Parseval’s identity on ℋ, it holds that
Here we applied the identity
in the last step. Suppose now that \((e_{j})_{j\in \mathbb{N}}\) is the basis of eigenvectors of \(\mathcal{T}\). Then
and
Hence the proof is complete. □
We remark that if we let \(\mathcal{T} = \mathcal{X}\), a random variable, in Proposition 3.7, the eigenvalues are random variables. Furthermore, according to Proposition 3.9, if the operator \(\mathcal{T} \in \mathcal{H}\) is diagonalisable with an ONB of ℋ which consists of the eigenfunctions of \(\mathcal{T}\), then the corresponding sequence of eigenvalues vanishes at infinity since it is in the sequence space \(\ell ^{2}\). Hence according to [39, Theorem 3.3.8.], it follows that \(\mathcal{T}\) is normal and compact.
3.2 Finite-dimensional approximation of the semigroup generator
Now, before proceeding with the general results, let us consider specific examples of operators \(\mathfrak {C} \in L(\mathcal{H})\) and their finite-dimensional approximations \(\mathfrak {C} ^{n}\). Motivated from Benth et al. [13], let
where \(\mathcal{C} \in L(H)\) and \(\mathcal{C}^{*}\) is the adjoint of \(\mathcal{C}\). We notice that the operator \(\mathfrak{C}_{2}\) is an infinite-dimensional extension of the matrix-valued volatility model considered in Barndorff-Nielsen and Stelzer [6]. Note moreover that according to the identity \({\mathrm {e}}^{\mathfrak{C}_{2}t}\mathcal{T} = {\mathrm {e}}^{\mathcal{C}t}\mathcal{T} {\mathrm {e}}^{\mathcal{C}^{*}t}\) (see Benth et al. [13]), it holds that \(\|{\mathrm {e}}^{\mathfrak{C}_{2}t}\|_{{{\mathrm {op}}}} \leq \|{\mathrm {e}}^{\mathcal{C}t}\|_{{ {\mathrm {op}}}}^{2}\). Hence if \(s(\mathcal{C}) < 0\) (i.e., if \(\Re \lambda < 0\) for all \(\lambda \in \sigma (\mathcal{C})\) and the spectrum has a non-zero Hausdorff distance to \(\{z \in \mathbb{C} : \Re z = 0\}\)), then the semigroup \((\mathfrak {S}(t))_{t \geq 0}\) is uniformly exponentially stable (see the discussion following Proposition 3.1), so that there exist constants \(M > 1\) and \(\alpha > 0\) such that \(\|{\mathrm {e}}^{\mathfrak{C}_{2}t}\|_{{{\mathrm {op}}}} < M{\mathrm {e}}^{-\alpha t}\) for all \(t \geq 0\). If \(\mathcal{C}\) is furthermore normal, then according to the spectral theorem (see Engel and Nagel [28, Theorem I.3.9]), there exist a \(\sigma \)-finite measure space \((X,\mu )\) and a measurable function \(g: X \to \mathbb{C}\) such that \(\mathcal{C}\) is unitarily equivalent to a multiplication operator \(\mathcal{C}_{g}\) on \(L^{2}(X,\mu )\), given by \(\mathcal{C}_{g}f = gf\) for \(f \in H\), where \(g\) is a fixed function. This means that \(\mathcal{C} = \mathcal{U}^{-1}\mathcal{C}_{g}\mathcal{U}\), where \(\mathcal{U} \in L(H,L^{2}(X,\mu ))\) is a unitary operator. Thus the canonical example of an operator \(\mathcal{C} \in L(H)\), where \(H\) is a function space, is the multiplication operator \(\mathcal{C}_{g}\).
Note that if \(\mathcal{C}_{g}\) is a multiplication operator on \(L^{2}(X,\mu )\), then its spectrum is given by the essential range of \(g\) (see [28, Proposition I.3.10]), and since \(\mathcal{C}_{g} - \lambda \) is invertible if and only if \(\mathcal{U}^{-1}\mathcal{C}_{g}\mathcal{U} - \lambda = \mathcal{U}^{-1}( \mathcal{C}_{g} - \lambda )\mathcal{U}\) is invertible, it moreover holds that the operator \(\mathcal{C} = \mathcal{U}^{-1}\mathcal{C}_{g}\mathcal{U}\) on \(H\) has the same spectrum as \(\mathcal{C}_{g}\).
Example 3.10
Suppose that \(H = H_{w}\) is the Filipović Hilbert space of Example 2.1. Let \(\mathfrak{C} = \mathfrak{C}_{2}\) and \(\mathcal{C} = \mathcal{U}^{-1}\mathcal{C}_{g}\mathcal{U}\), where \(\mathcal{U}\) is a unitary operator, \(\mathcal{C}_{g}\) is a multiplication operator on \(L^{2}([0,1],\text{Leb})\) such that \(\mathcal{C}_{g}f = gf\) for \(f \in L^{2}([0,1],\text{Leb})\), and moreover that \(g \in L^{\infty}([0,1],\text{Leb})\) is real-valued with an essential range that is a subset of \((-\infty ,-\delta ]\) for some \(\delta > 0\). If \((e_{j})_{j\in \mathbb{N} }\) denotes an ONB in \(H_{w}\) and \((f_{j})_{j \in \mathbb{N} }\) is an ONB in \(L^{2}([0,1],\text{Leb})\), then \(\mathcal {U} \in L(H_{w},L^{2}([0,1],\text{Leb}))\) can be defined by
for \(g \in H_{w}\). It is easy to check that \(\mathcal {U}^{-1}\) is specified by \(\mathcal {U}^{-1}g = \sum _{j = 1}^{\infty }( g, f_{j})_{2} \,e_{j}\) for \(g \in L^{2}([0,1],\text{Leb})\), and that \(( \mathcal {U}g, \mathcal {U}h )_{2} = ( g, h )_{w}\) for \(g,h \in H_{w}\), i.e., \(\mathcal {U}\) is unitary. Thus \(\mathcal {C}\) has a negative spectrum which equals the essential range of \(g\), and so ℭ is uniformly exponentially stable, which is equivalent to \(s(\mathfrak {C}) < 0\), and \(\mathcal {V}\) is asymptotically stationary, with a stationary distribution coinciding with that of \(\mathcal {V}_{0}^{\mathrm{stat}}\) as defined in (3.4).
In the next result, we state a general approximation estimate for \(\mathcal {V}-\mathcal {V}^{n}\) in terms of \(\mathfrak{C}-\mathfrak{C}^{n}\).
Proposition 3.11
Suppose that \(\mathfrak {C} , \mathfrak {C} ^{n} \in L(\mathcal{H})\) and that \(\mathcal{V}\) and \(\mathcal{V}^{n}\) are the variance processes defined by (3.1) and (3.5), respectively, where \(\mathcal{V}_{0}^{n} = \mathcal{V}_{0}\) and \(\mathcal{L}^{n} = \mathcal{L}\) for all \(n \geq 1\) and ℒ is a square-integrable compound Poisson process. Then it holds that
where
Proof
Suppose \(A,B \in L(U)\) are linear operators on a Banach space \(U\). Then for any \(k \geq 1\), it holds that
Assume \(\Vert B\Vert _{{{\mathrm {op}}}}=0\). This implies \(B=0\) and we have by the algebra property of \(L(U)\) that \(\Vert A^{k}\Vert _{{{\mathrm {op}}}}\leq \Vert A\Vert _{{{\mathrm {op}}}}^{k}\), and thus the assertion holds in the case when \(\Vert A\Vert _{{{\mathrm {op}}}}=0\) or \(\Vert B\Vert _{{{\mathrm {op}}}}=0\). Suppose therefore without loss of generality that \(\|A\|_{{\mathrm {op}}}, \|B\|_{{\mathrm {op}}}>0\). By employing a telescope argument, it holds that
Since the space \(L(U)\) of linear operators is a Banach algebra, it follows that
By employing the series representation of the exponential function, it follows that if \(t \geq 0\),
Hence (3.2) and a repeated application of the triangle inequality yield
Note furthermore that by the properties of a real-valued compound Poisson process with intensity \(\lambda \), it follows by Lemma 3.5 that
Thus
The proof is complete. □
Proposition 3.12
Suppose \(\mathfrak {C} _{1}\) and \(\mathfrak {C} _{2}\) are specified by (3.13) and (3.14), respectively, for a given \(\mathcal{C} \in L(H)\), and \(\mathfrak {C} _{1}^{n}, \mathfrak {C} _{2}^{n} \in L(\mathcal{H})\) are given by \(\mathfrak {C} _{1}^{n}\mathcal{T} = \mathcal{C}^{n}\mathcal{T} + \mathcal{T}( \mathcal{C}^{n})^{*}\) and \(\mathfrak {C} _{2}^{n} = \mathcal{C}^{n}\mathcal{T}(\mathcal{C}^{n})^{*}\) for some \(\mathcal{C}^{n} \in L(H)\). Then
and
Proof
Suppose \(\mathcal{T} \in L(\mathcal{H})\). Then using that \((\mathcal{A}\mathcal{B})^{*} = \mathcal{B}^{*}\mathcal{A}^{*}\) and \(\|\mathcal{A}^{*}\| = \|\mathcal{A}\|\) for \(\mathcal{A}, \mathcal{B} \in L(\mathcal{H})\), we get
Similarly, we obtain that
The result follows from the definition of the operator norm. □
Example 3.13
Consider the setting of Example 3.10 with \(H=H_{w}\), where we have \(\mathcal{C} = \mathcal{U}^{-1}\mathcal{C}_{g} \mathcal{U}\), \(\mathcal{C}_{g}\) is a multiplication operator on \(L^{2}([0,1],\text{Leb})\) and \(\mathcal{U}\) is unitary. Suppose that \(\mathcal{C}^{n} := \mathcal{U}^{-1}\mathcal{C}_{g}^{n}\mathcal{U}\) for some bounded operator \(\mathcal{C}_{g}^{n}\) on \(L^{2}([0,1],\text{Leb})\) and \(f \in H_{w}\). Then using that \(\mathcal{U}\) is unitary, it holds that
Hence we conclude that \(\|\mathcal{C} - \mathcal{C}^{n}\|_{{\mathrm {op}}} \leq \|\mathcal{C}_{g} - \mathcal{C}_{g}^{n}\|_{{\mathrm {op}}}\), and similar arguments give \(\|\mathcal{C} - \mathcal{C}^{n}\|_{{\mathrm {op}}} \geq \|\mathcal{C}_{g} - \mathcal{C}_{g}^{n}\|_{{\mathrm {op}}}\) so that \(\|\mathcal{C} - \mathcal{C}^{n}\|_{{\mathrm {op}}} = \|\mathcal{C}_{g} - \mathcal{C}_{g}^{n}\|_{{\mathrm {op}}}\).
We refer to Morrison [38] for spectral approximation techniques for multiplication operators and Hansen [32] for approximation techniques of linear operators on separable Hilbert spaces.
We finish this subsection by exploring the case of finite-dimensional approximations of compact operators.
Proposition 3.14
Suppose \(\mathfrak {C} _{1}, \mathfrak {C} _{2}\) are defined by (3.13) and (3.14), respectively, where \(\mathcal{C}\) is a normal and compact operator. Then there exists an ONB \((e_{j})_{j\in \mathbb{N}}\) of \(H\) consisting of eigenfunctions of \(\mathcal{C}\) and such that the corresponding sequence \((\lambda _{j})_{j \in \mathbb{N}}\) of eigenvalues vanishes at infinity. It furthermore holds that \((e_{j} \otimes e_{k})_{(j,k)\in \mathbb{N}^{2}}\) is an ONB of ℋ consisting of eigenfunctions of \(\mathfrak {C} _{i}\), i.e., \(\mathfrak {C} _{i}(e_{j} \otimes e_{k}) = \Lambda _{j,k}(e_{j} \otimes e_{k})\) holds for all \(j,k \geq 1\), where the eigenvalues are given by \(\Lambda _{j,k} = \lambda _{j}\lambda _{k}\) when \(i=1\) and \(\Lambda _{j,k} = \lambda _{j} + \lambda _{k}\) when \(i=2\). Moreover, \(\mathfrak {C} _{1}\) is a compact operator, and \(\mathfrak {C} _{2}\) is not a compact operator.
Proof
The existence of the ONB with eigenvalues that vanish at infinity follows by Pedersen [39, Theorem 3.3.8]. We recall that according to [39, Proposition 3.4.14], \((e_{j} \otimes e_{k})_{(j,k)\in \mathbb{N}^{2}}\) is a basis of ℋ. If \(f \in H\), then
and
Thus the family \((e_{j} \otimes e_{k})_{(j,k)\in \mathbb{N}^{2}}\) consists of eigenfunctions of \(\mathfrak {C} _{i}\), \(i=1,2\), where the eigenvalues are given by \(\Lambda _{j,k} = \lambda _{j}\lambda _{k}\) when \(i=1\) and \(\Lambda _{j,k} = \lambda _{j} + \lambda _{k}\) when \(i=2\). In particular, \(\mathfrak {C} _{1}\) and \(\mathfrak {C} _{2}\) are diagonalisable. Now for any \(\epsilon > 0\), there are only finitely many \(\lambda _{j}\), \(j \geq 1\), which are larger than \(\epsilon \) in absolute value. Thus for any \(\epsilon > 0\), the set \(\{(j,k) \in \mathbb{N} ^{2} : |\lambda _{j}\lambda _{k}| > \epsilon \}\) is finite. Hence according to [39, Lemma 3.3.5], \(\mathfrak {C} _{1}\) is compact. On the other hand, if \(|\lambda _{1}| > \epsilon > 0\), then \(\{(j,k) \in \mathbb{N} ^{2} : |\lambda _{j} + \lambda _{k}| > \epsilon \}\) has infinitely many elements since we may select \(N \geq 1\) such that \(|\lambda _{1} + \lambda _{k}| > \epsilon \) for all \(k \geq N\). Thus according to [39, Lemma 3.3.5], \(\mathfrak {C} _{2}\) is not compact. □
Example 3.15
Let \(H=L^{2}([0,1],\text{Leb})\) and define
for \(f \in H\). Then as the kernel function \(c(s,t) = s \wedge t\) is symmetric, the operator \(\mathcal {C}\) is of trace-class, symmetric and nonnegative definite (see Peszat and Zabczyk [40, Theorem A.8]). The kernel function \(c(t,s)\) is moreover the covariance function of a univariate Brownian motion, \(c(t,s) = \mathbb{E} [B_{t}B_{s}]\), which is fixed throughout the example. Now given this construction, it follows by the Karhunen–Loève expansion that
where \((\xi _{j})_{j\in \mathbb{N}}\) are i.i.d. (orthonormal) standard Gaussian random variables. In this case, the eigenvectors and eigenvalues of \(\mathcal{C}\) are given by
for \(j\geq 0\). If \(H_{w}\) is the Filipović Hilbert space of Example 2.1, we can define the operator \(\mathcal{C}_{w} \in L(H_{w})\) by \(\mathcal{C}_{w} = \mathcal{U}^{-1}\mathcal{C}\mathcal{U}\), where \(\mathcal{U}\) is a unitary operator, like we did in Example 3.10. Note that \(\mathcal{C}_{w}\) is compact (since \(\mathcal{C}\) is compact) and that the spectra of \(\mathcal{C}_{w}\) and \(\mathcal{C}\) coincide, i.e., the eigenvalues of \(\mathcal{C}_{w}\) equal the eigenvalues of \(\mathcal{C}\).
Suppose that \((E_{j})_{j\in \mathbb{N}}\) is an ONB of ℋ, \(\mathfrak {C} \in L(\mathcal{H})\) and for each \(n \geq 1\), define \(\mathcal{U}_{n} := \mathop{\mathrm{span}}\{E_{j} : j \in J_{n}\}\), where \(J_{n} \subseteq \mathbb{N} \) and \((J_{n})_{n\in \mathbb{N}}\) is a nested sequence of finite subsets of ℕ so that \(J_{n} \subseteq J_{n+1}\) for all \(n \geq 1\). Define \(\mathfrak {C} ^{n}\) by
where \(\Pi _{n} \in L(\mathcal{H})\) is the orthogonal projection onto \(\mathcal{U}_{n}\). Note that since \(L(\mathcal{H})\) is a Banach algebra and \(\Pi _{n}\) is a contraction operator, it follows that
so that clearly \(\mathfrak {C} ^{n} \in L(\mathcal{H})\) and \(\mathfrak {C} ^{n}\mathcal{T} \in \mathcal{U}_{n}\) for each \(\mathcal{T} \in \mathcal{H}\). Our next result demonstrates that the approximation (3.15) converges in operator norm as \(n \to \infty \) if ℭ is normal and compact.
Proposition 3.16
Suppose that ℭ is a normal and compact operator. Then there exists an ONB \((E_{j})_{j\in \mathbb{N}}\) of ℋ consisting of eigenfunctions of ℭ and such that the corresponding sequence \((\Lambda _{j})_{j\in \mathbb{N}}\) of eigenvalues vanishes at infinity. Assume furthermore that \(\mathcal{U}_{n} = \mathop{\mathrm{span}}\{E_{j} : j \in J_{n}\}\), where \(J_{n} \subseteq \mathbb{N} \) and \((J_{n})_{n\in \mathbb{N}}\) is a nested sequence of finite subsets of ℕ so that \(J_{n} \subseteq J_{n+1}\) for all \(n \geq 1\). Then
where \(\mathfrak {C} ^{n}\) is defined by (3.15) and \(\mathcal{T} \in \mathcal{H}\). It furthermore holds that
Proof
The existence of the ONB with eigenvalues that vanish at infinity follows by Pedersen [39, Theorem 3.3.8]. Take \(\mathcal {T} \in \mathcal {H}\); then we may write
Since \(\mathfrak {C} E_{j} = \Lambda _{j} E_{j}\) and
it follows by Parseval’s identity that
Since the eigenvalues vanish at infinity, i.e., \(\Lambda _{j} \to 0\) as \(j \to \infty \), it follows that
□
Corollary 3.17
Suppose that ℭ is a normal and compact operator with eigenvectors \((e_{j} \otimes e_{k})_{(j,k)\in \mathbb{N}^{2}}\) and eigenvalues \((\Lambda _{j,k})_{(j,k)\in \mathbb{N}^{2}}\), where \((e_{j})_{j\in \mathbb{N}}\) is an ONB of \(H\). Assume that \(\mathcal{U}_{n} = \mathop{\mathrm{span}}\{e_{j} \otimes e_{k} : j+k \leq n \}\). Then
where \(\mathfrak {C} ^{n}\) is defined by (3.15) and \(\mathcal{T} \in \mathcal{H}\). It furthermore holds that
Proof
Using the identity
we establish the first claim, the expression for the norm. The second claim follows by Proposition 3.16. □
Combining Propositions 3.11 and 3.16, we can control the error by the tail convergence of the eigenvalues when ℭ is normal and compact. This is made precise in the next result.
Corollary 3.18
Suppose that ℭ is a normal and compact operator with eigenvectors \((E_{j})_{j\in \mathbb{N}}\) and eigenvalues \((\Lambda _{j})_{j\in \mathbb{N}}\) and that \(\mathcal{U}_{n} = \mathop{\mathrm{span}}\{E_{j} : j \in J_{n}\}\), where \(J_{n} \subseteq \mathbb{N} \) and \((J_{n})_{n\in \mathbb{N}}\) is a nested sequence of finite subsets of ℕ so that \(J_{n} \subseteq J_{n+1}\) for all \(n \geq 1\). Suppose furthermore that \(\mathcal{V}\) and \(\mathcal{V}^{n}\) are the variance processes defined by (3.1) and (3.5), respectively, where \(\mathfrak {C} ^{n}\) is defined by (3.15), \(\mathcal{V}_{0}^{n} = \mathcal{V}_{0}\) and \(\mathcal{L}^{n} = \mathcal{L}\) for all \(n \geq 1\) and ℒ is a square-integrable compound Poisson process. Then it holds that
where \(C(T) = 4T^{2}{\mathrm {e}}^{2T\| \mathfrak {C} \|_{{\mathrm {op}}}} ( \mathbb{E} [\|\mathcal{V}_{0}\|_{ \mathcal{H}}^{2}] + \lambda T \mathbb{E} [\|\mathcal{X}_{1}\|_{\mathcal{H}}^{2} ] + \lambda ^{2} T^{2} ( \mathbb{E} [\|\mathcal{X}_{i}\|_{\mathcal{H}} ])^{2}) \), and the right-hand side of the above inequality converges to zero as \(n \to \infty \).
Proof
This follows from Propositions 3.16 and 3.11 and the inequality (3.16). □
Recalling the option pricing example discussed at the end of Sect. 2, we can now apply for example Proposition 3.11 and Corollary 3.18 to assess the pricing error \(\vert P-P^{n}\vert \) in terms of the approximation error induced by \(\mathfrak {C}^{n}\), or Proposition 3.7 for the option price robustness towards errors in ℒ and \(\mathcal {V}_{0}\).
4 The square-root process
In this section, we study the robustness of the volatility process which is the square root of the variance process.
If an operator \(A\) is self-adjoint and nonnegative definite, there exists a unique nonnegative definite operator \(\sqrt{A}\) such that \(\sqrt{A}\sqrt{A} = A\). A sufficient set of conditions that together guarantee that \(\mathcal{V}(t)\) in (3.1) is nonnegative definite, as given by Benth et al. [13], is that
a) \(( \mathfrak {C} \mathcal{T})^{*} = \mathfrak {C} \mathcal{T}^{*}\);
b) \(\mathfrak {C} \mathcal{H}_{+} \subseteq \mathcal{H}_{+}\), where \(\mathcal{H}_{+}\) denotes the convex cone of nonnegative definite operators on ℋ;
c) ℒ is a self-adjoint and nonnegative definite square-integrable Lévy process with values in ℋ;
d) \(\mathcal{V}_{0}\) is self-adjoint and nonnegative definite.
In the following result, we employ the operator norm to investigate the error induced on the square root of the variance process.
Proposition 4.1
Suppose that \(\mathcal{V}\) and \(\mathcal{V}^{n}\) are nonnegative definite. If \(\mathcal{V}\) and \(\mathcal{V}^{n}\) are the variance processes defined by (3.1) and (3.5), respectively, then for every \(T>0\), it holds that
Proof
This follows immediately according to Bogachev [21, Lemma 2.5.1]. □
Remark 4.2
The inequality \(|\sqrt{x} - \sqrt{y}|^{2} \le |x-y|\) is well known for real numbers \(x,y\). However, extending this inequality to norms of (positive definite) operators is not immediate. Bogachev [21, Lemma 2.5.1] has shown this result we rely on in the proof of Proposition 4.1 above.
We remark that the inequality \(\|\cdot \|_{{\mathrm {op}}} \leq \|\cdot \|_{\mathcal{H}}\) can be employed to obtain the Hilbert–Schmidt norm on the right-hand side in the above result. In the following result, we obtain an analogue of Proposition 4.1 where the Hilbert–Schmidt norm is on the left-hand side and the trace-class norm appears on the right-hand side.
Proposition 4.3
Suppose that \(\mathcal{V}\) and \(\mathcal{V}^{n}\) are nonnegative definite and of trace-class, where \(\mathcal{V}\) and \(\mathcal{V}^{n}\) are the variance processes defined by (3.1) and (3.5), respectively. Then for every \(T>0\), it holds that
Proof
According to Ando [2, Corollary 2], which holds for nonnegative and compact operators on ℋ (see also Birman et al. [19] for the initial result and Birman and Solomyak [20, Sect. 8.4] for an overview), it holds that if \(\mathcal{A}, \mathcal{B}\) are nonnegative definite and compact operators, then
where \(|\mathcal{T}| = (\mathcal{T}^{*}\mathcal{T})^{1/2}\) denotes the modulus of an operator \(\mathcal{T} \in \mathcal{H}\). Note that according to Pedersen [39, Proposition 3.4.8], all Hilbert–Schmidt operators are compact. Hence according to the definition of the trace-norm (2.1), it follows that
The proof is complete. □
We end this subsection with corollaries which detail how the above result with the trace-norm on the right-hand side can be employed when either the compound Poisson process or the generator ℭ are approximated.
Corollary 4.4
Suppose that \(\mathcal{V}\) and \(\mathcal{V}^{n}\) are nonnegative definite and of trace-class, where \(\mathcal{V}\) and \(\mathcal{V}^{n}\) are the variance processes defined by (3.1) and (3.5), respectively, with \(\mathcal{V}_{0}^{n} = \mathcal{V}_{0}\) and \(\mathfrak {C} ^{n} = \mathfrak {C} \in L(\mathcal{B}_{1})\) for all \(n \geq 1\), where the compound Poisson processes ℒ and \(\mathcal{L}^{n}\) are driven by the same Poisson process \(N\). Then for every \(T>0\), we have
where \(C(T) = k{\mathrm {e}}^{\| \mathfrak {C} \|_{{{\mathrm {op}}}}T} \lambda T\) and \(k > 0\) is a constant.
Proof
According to Lemma 3.6, it holds that
The result follows by Proposition 4.3. □
The following result reduces the trace-norm of a tensor product of Hilbert space elements to a product of their norms.
Lemma 4.5
If \(f,g \in H\), and \(\mathcal {T} = f \otimes g\) so that \(\mathcal{T}h = (g,h)_{H}f\) for \(h \in H\), then \(\|\mathcal {T}\|_{1} = |f|_{H}|g|_{H}\).
Proof
It is easy to show that \(\mathcal{T}^{*} = g \otimes f\) and \(\mathcal{T}^{*}\mathcal{T} = |f|_{H}^{2} \, g^{\otimes 2}\). A simple calculation then shows that \((\mathcal{T}^{*}\mathcal{T})^{1/4} = |f|_{H}^{1/2}|g|_{H}^{-3/2} g^{ \otimes 2}\). The result follows from an application of Parseval’s identity because
□
Example 4.6
Suppose that we have \(\mathcal{X}_{i} = (Y_{i})^{\otimes 2}\), where \((Y_{i})_{i\in \mathbb{N}}\) is a sequence of i.i.d. \(H\)-valued random variables, and \(\mathcal{X}_{i}^{n} = (Y_{i}^{n})^{\otimes 2}\), where \(Y_{i}^{n}\) is defined by (3.8) for all \(n,i \geq 1\). Then according to Lemma 4.5, it holds that
Hence by appealing to the Cauchy–Schwarz inequality, we obtain that
Corollary 4.7
Suppose \(\mathcal{V}\) and \(\mathcal{V}^{n}\) are nonnegative definite and of trace-class, where \(\mathcal{V}\) and \(\mathcal{V}^{n}\) are the variance processes defined by (3.1) and (3.5), respectively, with \(\mathcal{V}_{0}^{n} = \mathcal{V}_{0}\), \(\mathcal{L} = \mathcal{L}^{n}\) and \(\mathfrak {C} ^{n}, \mathfrak {C} \in L(\mathcal{B}_{1})\) for all \(n \geq 1\). Then for every \(T>0\), we have
where \(C(T) = kT {\mathrm {e}}^{T(\| \mathfrak {C} \|_{{\mathrm {op}}} \vee \| \mathfrak {C} ^{n}\|_{{\mathrm {op}}})}\left ( \mathbb{E} [\| \mathcal {V}_{0}\|_{1}] + \lambda T \mathbb{E} [\|\mathcal{X}_{1}\|_{1} ] \right )\) and \(k > 0\) is a constant.
Proof
Using the same reasoning as in the proof of Proposition 3.11 with the Hilbert–Schmidt norm replaced by the trace-class norm, it follows that
Hence we obtain
The result follows by Proposition 4.3. □
Cuchiero and Svaluto-Ferro [25] analyse options on the realised volatility (so-called VIX options) in an infinite-dimensional framework. One could introduce options on the realised volatility of forward prices, with a payoff \(p(\mathcal {D}\mathcal {V}^{1/2}_{\tau})\) at some exercise time \(\tau \). Here, \(\mathcal {D}\in \mathcal {H}^{*}\) maps the volatility operator \(\mathcal {V}^{1/2}_{\tau}\) into the real line by an integral and evaluation operator, say. If the payoff function \(p\) is Lipschitz-continuous, we can apply the results of this section to assess the robustness of such volatility options with respect to the parameters ℭ and ℒ, both in operator and in Hilbert–Schmidt norms.
References
Aliprantis, C.D., Border, K.C.: Infinite Dimensional Analysis: A Hitchhiker’s Guide, 3rd edn. Springer, New York (2006)
Ando, T.: Comparison of norms \(|||f(A)-f(B)|||\) and \(||| f(|A-B|)|||\). Math. Z. 197, 403–409 (1988)
Barndorff-Nielsen, O.E., Benth, F.E., Veraart, A.: Modelling electricity futures by ambit fields. Adv. Appl. Probab. 46, 719–745 (2014)
Barndorff-Nielsen, O.E., Benth, F.E., Veraart, A.: Ambit Stochastics. Springer, Cham (2018)
Barndorff-Nielsen, O.E., Shephard, N.: Non-Gaussian Ornstein–Uhlenbeck-based models and some of their uses in economics. J. R. Stat. Soc. Ser. B 63, 167–241 (2001)
Barndorff-Nielsen, O.E., Stelzer, R.: Multivariate supOU processes. Ann. Appl. Probab. 21, 140–182 (2011)
Benth, F.E., Di Nunno, G., Lord, G., Petterson, A.: The heat modulated infinite dimensional Heston model and its numerical approximation (2022). Preprint. https://arxiv.org/abs/2206.10166
Benth, F.E., Di Nunno, G., Simonsen, I.C.: Sensitivity analysis in the infinite dimensional Heston model. Infin. Dimens. Anal. Quantum Probab. Relat. Top. 24, 2150014 (2021)
Benth, F.E., Eyjolfsson, H.: Representation and approximation of ambit fields in Hilbert space. Stochastics 89, 311–347 (2017)
Benth, F.E., Harang, F.A.: Infinite dimensional pathwise Volterra processes driven by Gaussian noise – probabilistic properties and applications. Electron. J. Probab. 26, 1–42 (2021)
Benth, F.E., Krühner, P.: Representation of infinite dimensional forward price models in commodity markets. Commun. Math. Stat. 2, 47–106 (2014)
Benth, F.E., Krühner, P.: Derivatives pricing in energy markets: an infinite dimensional approach. SIAM J. Financ. Math. 6, 825–869 (2015)
Benth, F.E., Rüdiger, B., Süss, A.: Ornstein–Uhlenbeck processes in Hilbert space with non-Gaussian stochastic volatility. Stoch. Process. Appl. 128, 461–486 (2018)
Benth, F.E., Šaltytė Benth, J., Koekebakker, S.: Stochastic Modelling of Electricity and Related Markets. World Scientific, Singapore (2008)
Benth, F.E., Schroers, D., Veraart, A.: A weak law of large numbers for realised covariation in a Hilbert space setting. Stoch. Process. Appl. 145, 241–268 (2022)
Benth, F.E., Schroers, D., Veraart, A.: A feasible central limit theorem for realised covariation of SPDEs in the context of functional data. Ann. Appl. Probab. 34, 2208–2242 (2024)
Benth, F.E., Sgarra, C.: A Barndorff-Nielsen and Shephard model with leverage in Hilbert space for commodity forward markets. Finance Stoch. 28, 1035–1076 (2024)
Benth, F.E., Simonsen, I.C.: The Heston stochastic volatility model in Hilbert space. Stoch. Anal. Appl. 36, 733–750 (2018)
Birman, M.S, Koplienko, L.S., Solomyak, M.Z.: Estimates of the spectrum of a difference of fractional powers of selfadjoint operators. Izv. Vysš. Učebn. Zaved., Mat. 3, 3–10 (1975)
Birman, M.S., Solomyak, M.: Double operator integrals in a Hilbert space. Integral Equ. Oper. Theory 47, 131–168 (2003)
Bogachev, V.I.: Weak Convergence of Measures. Am. Math. Soc., Providence (2018)
Carmona, R., Tehranchi, M.: Interest Rate Models: An Infinite Dimensional Stochastic Analysis Perspective. Springer, Berlin (2006)
Cox, S., Karbach, S., Khedher, A.: Affine pure-jump processes on positive Hilbert–Schmidt operators. Stoch. Process. Appl. 151, 191–229 (2022)
Cox, S., Karbach, S., Khedher, A.: An infinite-dimensional affine stochastic volatility model. Math. Finance 32, 878–906 (2022)
Cuchiero, C., Svaluto-Ferro, S.: Infinite-dimensional polynomial processes. Finance Stoch. 25, 383–426 (2021)
Di Persio, L., Perin, I.: An ambit stochastic approach to pricing electricity forward contracts: the case of the German energy market. J. Probab. Stat., Article ID 626020-1–17 (2015)
El Euch, O., Rosenbaum, M.: The characteristic function of rough Heston models. Math. Finance 29, 3–38 (2019)
Engel, K.-J., Nagel, R.: A Short Course on Operator Semigroups. Springer, New York (2006)
Filipović, D.: Consistency Problems for Heath–Jarrow–Morton Interest Rate Models. Lecture Notes in Mathematics, vol. 1760. Springer, Berlin (2001)
Friesen, M., Karbach, S.: Stationary covariance regime for affine stochastic covariance models in Hilbert spaces. Finance Stoch. 28, 1077–1116 (2024)
Gawarecki, L., Mandrekar, V.: Stochastic Differential Equations in Infinite Dimensions. Springer, Berlin (2011)
Hansen, A.C.: On the approximation of spectra of linear operators on Hilbert spaces. J. Funct. Anal. 254, 2092–2126 (2008)
Heath, D., Jarrow, R., Morton, A.: Bond pricing and the term structure of interest rates: a new methodology for contingent claims valuation. Econometrica 60, 77–105 (1992)
Heston, S.L.: A closed-form solution for options with stochastic volatility with applications to bond and currency options. Rev. Financ. Stud. 6, 327–343 (1993)
Karbach, S.: Finite-rank approximation of affine processes on positive Hilbert–Schmidt operators (2023). Preprint. https://arxiv.org/abs/2301.06992
Kuratowski, K., Ryll-Nardzewski, C.: A general theorem on selectors. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 13, 397–403 (1965)
Marinelli, C., Röckner, M.: On the maximal inequalities of Burkholder, Davis and Gundy. Expo. Math. 34, 1–26 (2016)
Morrison, K.E.: Spectral approximation of multiplication operators. New York J. Math. 1, 75–96 (1995)
Pedersen, G.K.: Analysis Now. Springer, New York (1989)
Peszat, S., Zabczyk, J.: Stochastic Partial Differential Equations with Lévy Noise. Cambridge University Press, Cambridge (2007)
Acknowledgements
We are grateful to Dennis Schroers for valuable discussions and insight. Two anonymous referees and the Associate Editor are thanked for their careful reading and constructive criticisms leading to a significant improvement of the paper.
Funding
Open access funding provided by University of Oslo (incl Oslo University Hospital)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing Interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The Thematic Research Group SPATUS, funded by UiO:Energy, is acknowledged.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Benth, F.E., Eyjolfsson, H. Robustness of Hilbert space-valued stochastic volatility models. Finance Stoch 28, 1117–1146 (2024). https://doi.org/10.1007/s00780-024-00542-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00780-024-00542-4
Keywords
- Hilbert space-valued stochastic volatility
- Robustness under perturbation
- Stochastic-volatility-modulated Ornstein–Uhlenbeck processes
- Robustness of options on forwards and volatility