Abstract
In this paper, we study term structure movements in the spirit of Heath et al. (Econometrica 60(1):77–105, 1992) under volatility uncertainty. We model the instantaneous forward rate as a diffusion process driven by a G-Brownian motion. The G-Brownian motion represents the uncertainty about the volatility. Within this framework, we derive a sufficient condition for the absence of arbitrage, known as the drift condition. In contrast to the traditional model, the drift condition consists of several equations and several market prices, termed market price of risk and market prices of uncertainty, respectively. The drift condition is still consistent with the classical one if there is no volatility uncertainty. Similar to the traditional model, the risk-neutral dynamics of the forward rate are completely determined by its diffusion term. The drift condition allows to construct arbitrage-free term structure models that are completely robust with respect to the volatility. In particular, we obtain robust versions of classical term structure models.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Most approaches to volatility modeling in mathematical finance are subject to model uncertainty, termed volatility uncertainty, which can be tamed by making models robust with respect to the volatility. The standard approach to overcome the stylized facts about the volatility in traditional models of mathematical finance is to model the volatility by a stochastic process. The process is typically chosen such that the volatility shares the characteristics of the historical volatility and the resulting option prices are consistent with the current prices observed on the market. However, there are many choices performing this task and it is doubtful to assume that a model specification that is consistent with the past and the present is still valid in the future, since the market environment can change drastically. As the volatility affects the probabilistic law of the underlying, this approach leads to model uncertainty, that is, the uncertainty about using the correct probability measure. To solve this issue, models in robust finance work in the presence of a family of probability measures, consisting of several beliefs about the volatility, which results in models that are robust with respect to the volatility.
In the present paper, we study term structure movements in the spirit of Heath, Jarrow, and Morton [17] (HJM) under volatility uncertainty. As in the classical HJM framework, we model the behavior of the instantaneous forward rate as a diffusion process. The forward rate determines all quantities on the related bond market. We represent the uncertainty about the volatility by a family of probability measures, called set of beliefs, where each measure represents a different belief about the volatility. Such an approach naturally leads to a sublinear expectation and a G-Brownian motion, which was invented by Peng [25]. As a consequence, the forward rate dynamics are driven by a G-Brownian motion in the presence of volatility uncertainty. In contrast to the classical HJM model, the forward rate has uncertain drift terms in addition to the classical (certain) drift term, since the quadratic covariations of a G-Brownian motion are uncertain processes. Despite the differences, the present model is still consistent with the classical HJM model. We impose some assumptions on the coefficients of the forward rate dynamics in order to get a sufficient degree of regularity.
Similar to the traditional HJM model, the main result of the present work is a drift condition which implies that the related bond market is arbitrage-free. The traditional HJM drift condition relates the absence of arbitrage to the existence of a market price of risk and shows that the risk-neutral dynamics of the forward rate are completely characterized by its diffusion coefficient. In order to derive a drift condition in the presence of volatility uncertainty, we set up a suitable market structure for the related bond market in this setting. In contrast to the traditional HJM model, the drift condition in the presence of volatility uncertainty requires the existence of several market prices. We call the additional market prices (in addition to the market price of risk) the market prices of uncertainty. As in the traditional HJM model, the risk-neutral dynamics of the forward rate are completely determined by its diffusion term with the addition that the uncertainty of the diffusion term determines the uncertainty of the drift. If the uncertainty about the volatility vanishes, the drift condition reduces to the traditional one. The proof of the main result is based on deriving the dynamics of the discounted bonds and using a Grisanov transformation for G-Brownian motion together with some results on G-backward stochastic differential equations.
The drift condition derived in this paper is a very powerful tool, since it allows to construct arbitrage-free term structure models that are completely robust with respect to the volatility. In the classical case without volatility uncertainty, almost every (arbitrage-free) term structure model corresponds to a specific example in the HJM methodology. Due to the main result of the present work, we are able to obtain arbitrage-free term structure models in the presence of volatility uncertainty by considering specific examples. In particular, we recover robust versions of classical term structure models. The examples include the Ho–Lee term structure, the Hull–White term structure, and the Vasicek term structure. The examples show that the drift of the risk-neutral short rate dynamics and the bond prices, which still have an affine structure, include an additional uncertain factor when there is uncertainty about the volatility. The interesting thing is that, with this procedure, we obtain term structure models that are robust with respect to the volatility as well as its worst-case values, which differs from most works on pricing under volatility uncertainty.
In order to make the analysis from above work, we construct a space of admissible integrands for the forward rate dynamics. The forward rate is a diffusion process parameterized by its maturity, which needs to be integrable with respect to its maturity to compute the bond prices. Therefore, the integrands in the forward rate dynamics need to be regular with respect to the maturity apart from being admissible stochastic processes in a diffusion driven by a G-Brownian motion. In order to achieve this, we use the space of Bochner integrable functions, that is, Banach space-valued functions which are sufficiently measurable and integrable, where the functions are mapping from the set of maturities into the space of admissible stochastic processes in this particular case. For such functions, we can define the Bochner integral, mapping into the space of admissible stochastic processes. This ensures that the forward rate is integrable with respect to its maturity. Moreover, we derive further necessary results for the HJM model, including a version of Fubini’s theorem for stochastic integrals. We give a sufficient condition for functions to be Bochner integrable, which applies to all considered examples.
In addition, we provide a sufficient condition ensuring that the discounted bonds and the portfolio value related to the bond market are well-posed. Each discounted bond is an exponential of a diffusion process driven by a G-Brownian motion and the portfolio value consists of integrals with respect to the discounted bonds, respectively. First, we have to make sure that the discounted bonds are well-posed and, second, we need to ensure that the dynamics of each discounted bond are sufficiently regular to imply that the portfolio value is well-posed. For this purpose, we use a condition similar to G-Novikov’s condition of Osuka [24] to obtain the desired regularity. As in the classical case, the advantage of such a condition is that it can be easily verified compared to other conditions implying that the exponential of an Itô diffusion is integrable. One can verify that all examples considered in this article satisfy this condition.
The present work is the first in the literature on robust finance that provides a general HJM framework for arbitrage-free term structure modeling in the presence of volatility uncertainty. In general, the literature on interest rates and model uncertainty is relatively sparse. Early contributions in this regard are due to Avellaneda and Lewicki [1] and Epstein and Wilmott[13], relying on intuitive arguments rather than a rigorous formulation. A more recent treatment of interest rates in conjunction with model uncertainty appears in the works of El Karoui and Ravanelli [12] and Lin and Riedel [23], who do not focus on the term structure of interest rates and arbitrage. Further related articles of Biagini and Zhang [2] and Fadina and Schmidt [15] deal with credit risk and model uncertainty. Most related are the work of Fadina, Neufeld, and Schmidt [14] and a previous work [18]. Fadina, Neufeld, and Schmidt [14] study affine processes under parameter uncertainty and corresponding interest rate models. However, the results are restricted to short rate models and a superhedging argument for the pricing of contracts, which does not apply to the term structure of interest rates, since bonds are the fundamentals of fixed income markets and cannot be hedged. The previous article [18] specifically focuses on obtaining an arbitrage-free term structure in the presence of volatility uncertainty in a short rate model à la Hull–White. The present paper extends the latter results to a general HJM setting.
While there are various mathematical approaches to analyze volatility uncertainty, the present paper mainly relies on the calculus of G-Brownian motion. Two classical approaches to represent volatility uncertainty are the ones of Denis and Martini [11] and Peng [25]. The approach of Denis and Martini [11] works in a probabilistic setting and uses capacity theory. On the other hand, Peng [25] introduced the calculus of G-Brownian motion. In contrast to the first approach, the calculus of G-Brownian motion is motivated by nonlinear partial differential equations. However, it holds a duality between both approaches, which was shown by Denis, Hu, and Peng [10]. Apart from that, one can use an approach based on aggregation [27] or a pathwise approach [7]. In this paper, we start from a probabilistic setting similar to the one of Denis and Martini [11], since it is a natural approach to represent volatility uncertainty from an economic point of view, and use the results of Denis, Hu, and Peng [10] to acquire all results from the calculus of G-Brownian motion. The calculus of G-Brownian motion is the main pillar for the mathematical analysis, since the literature on G-Brownian motion is very rich and equips us with a lot of mathematical tools.
The paper is organized as follows. Section 2 introduces the forward rate, determining all quantities on the related bond market, and the framework representing the uncertainty about the volatility. In Sect. 3, we set up a market structure for the related bond market and derive the drift condition, ensuring the absence of arbitrage. In Sect. 4, we study examples, including the Ho–Lee term structure, the Hull–White term structure, and the Vasicek term structure, and discuss their implications. Section 5 gives a conclusion. In Section A of the Appendix, we construct the space of admissible integrands for the forward rate dynamics and derive related results. Section B in the Appendix provides a sufficient condition for the discounted bonds to be well-posed.
2 Term structure movements
In the traditional HJM framework, without volatility uncertainty, term structure movements are driven by a standard Brownian motion. That means, we consider the canonical process \(B=(B_t^1,\ldots ,B_t^d)_{t\ge 0}\), for \(d\in \mathbb {N}\), on the Wiener space \((\Omega ,\mathcal {F},P_0)\) and the filtration \(\mathbb {F}=(\mathcal {F}_t)_{t\ge 0}\), which is generated by B and completed by all \(P_0\)-null sets. Then the canonical process B is a d-dimensional standard Brownian motion under \(P_0\). For \(T\le \tau \), where \(\tau <\infty \) is a fixed terminal time, we denote the forward rate with maturity T at time t by \(f_t(T)\) for \(t\le T\). For all T, the dynamics of the forward rate process \(f(T)=(f_t(T))_{0\le t\le T}\) are given by
for some initial (observable) forward curve \(f_0:[0,\tau ]\rightarrow \mathbb {R}\), which is integrable, and sufficiently regular processes \(\alpha (T)=(\alpha _t(T))_{0\le t\le \tau }\) and \(\beta (T)=(\beta _t^1(T),\ldots ,\beta _t^d(T))_{0\le t\le \tau }\).
The forward rate determines all remaining quantities on the bond market. The market offers zero-coupon bonds for all maturities, which are discounted by the money-market account. The bond price process \(P(T)=(P_t(T))_{0\le t\le T}\) is defined by
for all \(T\le \tau \) and the money-market account \(M=(M_t)_{0\le t\le \tau }\) is defined by
where the short rate \(r=(r_t)_{0\le t\le \tau }\) is defined by \(r_t:=f_t(t)\). We use the money-market account as a numéraire, i.e., we focus on the discounted bonds \(\tilde{P}(T)=(\tilde{P}_t(T))_{0\le t\le T}\) for all \(T\le \tau \), which are defined by
In the presence of volatility uncertainty, we consider a family of probability measures, called set of beliefs, where each measure represents a different belief about the volatility. In order to construct the set of beliefs, we consider all scenarios for the volatility which stay in a certain state space. That is, we consider all \(\Sigma \)-valued, \(\mathbb {F}\)-adapted processes \(\sigma =(\sigma _t)_{t\ge 0}\), where \(\Sigma \) is a bounded and closed subset of \(\mathbb {R}^{d\times d}\). For each such process \(\sigma \), we define the process \(B^\sigma =(B_t^\sigma )_{t\ge 0}\) by
and the measure \(P^\sigma \) to be the law of the process \(B^\sigma \), that is,
The set of beliefs is the collection of all such measures, denoted by \(\mathcal {P}\). For such a set of measures we define the sublinear expectation \(\hat{\mathbb {E}}\) by
for all measurable random variables \(\xi \) such that \(\mathbb {E}_P[\xi ]\) exists for all \(P\in \mathcal {P}\). One can interprete \(\hat{\mathbb {E}}\) as a worst-case measure or as a risk measure.
The set of beliefs naturally leads to a G-expectation and a G-Brownian motion. By the results from Denis, Hu, and Peng [10, Theorem 54], we know that \(\hat{\mathbb {E}}\) corresponds to the G-expectation on \(L_G^1(\Omega )\) and the canonical process B is a d-dimensional G-Brownian motion under \(\hat{\mathbb {E}}\). The G-expectation is defined by a nonlinear partial differential equation. The letter G refers to the nonlinear generator \(G:\mathbb {S}^d\rightarrow \mathbb {R}\), which is given by
where \(\mathbb {S}^d\) denotes the space of all symmetric \(d\times d\) matrices and \(\cdot '\) denotes the transpose of a matrix. We assume that G is non-degenerate, i.e, there exists a constant \(C>0\) such that \(G(A)-G(B)\ge C\text {tr}(A-B)\) for all \(A\ge B\). The space \(L_G^1(\Omega )\) denotes the space of admissible random variables in the calculus of G-Brownian motion, on which we identify random variables that are equal quasi-surely, that is, P-almost surely for all \(P\in \mathcal {P}\). For further insights regarding the calculus of G-Brownian motion, the reader may refer to the book of Peng [25].
Remark 2.1
As mentioned in the introduction, there are several approaches to model volatility uncertainty and a lot of extensions. In particular, there are extensions to spaces greater than \(L_G^1(\Omega )\) and the other related spaces from this calculus. Yet we stick to the classical spaces to use all of the results from the literature on G-Brownian motion.
As a consequence, term structure movements are driven by a G-Brownian motion in the presence of volatility uncertainty. That means, for all T, the forward rate dynamics are now given by
for some initial forward curve \(f_0:[0,\tau ]\rightarrow \mathbb {R}\), which is integrable, and functions \(\alpha ,\gamma ^{i,j}:[0,\tau ]\rightarrow M_G^1(0,\tau )\) and \(\beta ^i:[0,\tau ]\rightarrow M_G^2(0,\tau )\). The space \(M_G^p(0,\tau )\) consists of stochastic processes which are admissible integrands in the definition of all stochastic integrals related to a G-Brownian motion. Hence, the forward rate and the short rate are well-defined in the sense that, for all T, \(f_t(T),r_t\in L_G^1(\Omega _t)\) for all t.
In contrast to the traditional HJM model, the forward rate has additional, uncertain drift terms when there is volatility uncertainty. The additional drift terms of the forward rate are uncertain due to the fact that they depend on the quadratic covariation processes of the G-Brownian motion. In the presence of volatility uncertainty, the quadratic covariations of the driving process are uncertain processes, since they differ among the measures in the set of beliefs. Moreover, it can be shown that the additional drift terms cannot be included in the first drift term [28, Corollary 3.3]. Hence, we have to add them to the forward rate dynamics instead of including them in the first drift term. In this way, we can distinguish between the part of the drift that is driven by uncertainty and the part that is not.
When there is no volatility uncertainty, the model corresponds to a classical HJM model. If we drop the uncertainty about the volatility, then B becomes a standard Brownian motion and its quadratic covariation processes are no longer uncertain. That is, if \(\Sigma =\{I_d\}\), where \(I_d\) denotes the identity matrix, then, for all i, \(\langle B^i,B^i\rangle _t=t\) and \(\langle B^i,B^j\rangle _t=0\) for all \(j\ne i\). In that case, the forward rate dynamics are given by
for all T, that is, the model corresponds to a classical HJM model in which the drift is given by the sum of \(\alpha \) and \(\sum _{i=1}^d\gamma ^{i,i}\).
We henceforth impose the following two regularity assumptions. The first assumption ensures that the forward rate and the short rate are integrable and that all succeeding computations are feasible.
Assumption 2.1
There exists a \(p>1\) such that \(\alpha ,\gamma ^{i,j}\in \tilde{M}_G^p(0,\tau )\) and \(\beta ^i\in \tilde{M}_G^{2p}(0,\tau )\) for all i, j.
The space \(\tilde{M}_G^p(0,\tau )\), which we construct in Appendix A, consists of all functions mapping from \([0,\tau ]\) into \(M_G^p(0,\tau )\) which are strongly measurable and whose norm on \(M_G^p(0,\tau )\) is integrable. A function is called strongly measurable if it is Borel measurable and its image is separable. For example, we know that all continuous functions mapping from \([0,\tau ]\) into \(M_G^p(0,\tau )\) belong to \(\tilde{M}_G^p(0,\tau )\) by Proposition A.1. This implies that all examples in Sect. 4 satisfy Assumption 2.1, as Example A.1 shows. By Proposition A.2, Assumption 2.1 implies that the forward rate and, by Proposition A.3, the short rate are integrable. The second assumption ensures that the discounted bonds and the portfolio value are sufficiently regular.
Assumption 2.2
There exist \(\tilde{p}>p^*\) and \(\tilde{q}>2\), where \(p^*:=\frac{2pq}{p-q}\) for some \(q\in (1,p)\), such that, for all \(T\le \tau \), it holds
The processes \(a(T)=(a_t(T))_{0\le t\le \tau }\), \(b^i(T)=(b_t^i(T))_{0\le t\le \tau }\), and \(c^{i,j}(T)=(c_t^{i,j}(T))_{0\le t\le \tau }\), for \(T\le \tau \), are defined by
for all i, j, for which we have \(a(T),c^{i,j}(T)\in M_G^p(0,\tau )\) and \(b^i(T)\in M_G^{2p}(0,\tau )\) by Assumption 2.1 and Proposition A.3. One can easily verify that all examples in Sect. 4 satisfy Assumption 2.2. Assumption 2.2 is similar to G-Novikov’s condition from Osuka [24] and implies that, for every maturity, the discounted bond price is in \(L_G^1(\Omega _t)\) at each time t. Moreover, Assumption 2.2 ensures that the dynamics of the discounted bonds are regular enough to imply that the portfolio value, which is defined below, is well-posed. We show both of these implications in Appendix B, which requires Lemma 3.1 from below.
3 Arbitrage-free forward rate dynamics
In the traditional HJM model, the absence of arbitrage on the related bond market is ensured by the HJM drift condition, which assumes the existence of a market price of risk and characterizes the drift of the forward rate in terms of its diffusion coefficient. More precisely, the market is arbitrage-free if there exists a suitable process \(\lambda =(\lambda _t^1,\ldots ,\lambda _t^d)_{0\le t\le \tau }\) such that, for all T,
where \(b(T)=(b^1(T),\ldots ,b^d(T))\). The process \(\lambda \) is termed market price of risk, since it erases the drift of each discounted bond under an equivalent probability measure, called risk-neutral measure, to make it a martingale. Then the forward rate dynamics under the risk-neutral measure are completely determined by its diffusion coefficient, that is,
where \(\bar{B}=(\bar{B}_t^1,\ldots ,\bar{B}_t^d)_{0\le t\le \tau }\) is a Brownian motion under the risk-neutral measure. This fact is of practical importance, since there is no need to specify the drift term \(\alpha \) or the market price of risk \(\lambda \).
In order to derive a drift condition in the presence of volatility uncertainty, we first define admissible market strategies and a suitable notion of arbitrage. The agents in the market are allowed to select a finite number of bonds they want to trade. The corresponding portfolio value is determined by the gains from trade, i.e., we restrict to self-financing strategies.
Definition 3.1
An admissible market strategy \((\pi ,T)\) is a couple consisting of a bounded process \(\pi =(\pi _t^1,\ldots ,\pi _t^n)_{0\le t\le \tau }\) in \(M_G^2(0,\tau ;\mathbb {R}^n)\) and a vector \(T=(T_1,\ldots ,T_n)\in [0,\tau ]^n\) for some \(n\in \mathbb {N}\). The corresponding portfolio value at terminal time is defined by
The portfolio value is well-posed, since the dynamics of \(\tilde{P}(T)\), which are derived in Proposition 3.1 below, are sufficiently regular for each T by Assumption 2.2 and Proposition A.7. In addition, we use the quasi-sure notion of arbitrage, which corresponds to the one frequently used in the literature on model uncertainty [3, 5].
Definition 3.2
An admissible market strategy \((\pi ,T)\) is called arbitrage if \(\tilde{v}_\tau (\pi ,T)\ge 0\) quasi-surely and \(P\big (\tilde{v}_\tau (\pi ,T)>0\big )>0\) for at least one \(P\in \mathcal {P}\). Moreover, we say that the bond market is arbitrage-free if there is no arbitrage.
Remark 3.1
It is possible to generalize the notion of trading strategies and the concept of arbitrage. The notion of trading strategies can be generalized by allowing for measure-valued trading strategies [4] or by using methods from large financial markets [21]. There are also other no-arbitrage concepts related to bond markets, which are based on the theory of large financial markets [8]. We stick to the definitions from above, since such a generalization is not the objective of the present paper.
In the presence of volatility uncertainty, the absence of arbitrage requires the existence of several market prices. In that case, there is a sublinear expectation under which the discounted bonds are symmetric G-martingales, ruling out arbitrage opportunities. Moreover, the drift condition characterizes the dynamics of the forward rate.
Theorem 3.1
The bond market is arbitrage-free if, for some \(p>1\), there exist bounded processes \(\kappa =(\kappa _t^1,\ldots ,\kappa _t^d)_{0\le t\le \tau }\) and \(\lambda ^{i,j}=(\lambda _t^{i,j,1},\ldots ,\lambda _t^{i,j,d})_{0\le t\le \tau }\) in \(M_G^p(0,\tau ;\mathbb {R}^d)\) such that
for almost all T for all i, j. In particular, then there exists a sublinear expectation \(\bar{\mathbb {E}}\) under which \(\tilde{P}(T)\), for all T, is a symmetric G-martingale and, for almost all T,
where \(\bar{B}=(\bar{B}_t^1,\ldots ,\bar{B}_t^d)_{0\le t\le \tau }\) is a G-Brownian motion under \(\bar{\mathbb {E}}\).
The additional market prices occuring in the drift condition represent the market prices of uncertainty. In comparison to the classical case without volatility uncertainty, the forward rate and (hence) the discounted bonds have additional drift terms, which are uncertain (as explained in Sect. 2). As a consequence, we need additional market prices in order to make the discounted bonds symmetric G-martingales, which ultimately rules out arbitrage. Since the additional market prices relate to the uncertain drift terms of the discounted bonds, they are termed market prices of uncertainty.
The risk-neutral dynamics of the forward rate are fully characterized by its diffusion term, which, in contrast to the classical HJM model, does not only apply to the coefficients but also to the uncertainty. We call the dynamics of the forward rate under \(\bar{\mathbb {E}}\), given in Theorem 3.1, risk-neutral dynamics, since the discounted bonds are symmetric G-martingales under \(\bar{\mathbb {E}}\). As in the classical HJM model, the diffusion coefficient \(\beta \) determines the drift coefficient of the risk-neutral forward rate dynamics. In addition, the uncertain volatility, included in the G-Brownian motion \(\bar{B}\), determines the uncertainty of the drift, represented by the quadratic covariation processes of \(\bar{B}\). That means, arbitrage-free term structure models also exhibit drift uncertainty in the presence of volatility uncertainty.
Despite the differences, the drift condition is still consistent with the classical HJM drift condition. If there is no uncertainty about the volatility, that is, if \(\Sigma =\{I_d\}\), then the forward rate, for all T, satisfies
as it is described in Sect. 2. The drift condition in Theorem 3.1 implies that
for almost all T. The latter corresponds to the classical HJM drift condition for a market price of risk given by the process \(\kappa +\sum _{i=1}^d\lambda ^{i,i}\).
In order to prove Theorem 3.1, we first of all derive the dynamics of the discounted bond for each maturity. This is based on the following lemma.
Lemma 3.1
For all T, the logarithm of \(\tilde{P}(T)\) satisfies the dynamics
Proof
We obtain the dynamics by applying Fubini’s theorem, which can be found in Appendix A. Inserting the forward rate dynamics and the short rate dynamics into the definition of \(\tilde{P}(T)\), the logarithm of \(\tilde{P}(T)\) satisfies
for all T. Then an application of Corollary A.1 yields, for all i, j,
for all T, which proves the assertion. \(\square \)
Since, for all i, j, the processes a(T), \(b^i(T)\), and \(c^{i,j}(T)\) are sufficiently regular for each T, we can use Itô’s formula for G-Brownian motion from Li and Peng [22] to derive the dynamics of the discounted bond for each T.
Proposition 3.1
For all T, the discounted bond \(\tilde{P}(T)\) satisfies the dynamics
Proof
The assertion follows by Lemma 3.1 and an application of Itô’s formula for G-Brownian motion [22, Theorem 5.4]. We are able to apply the latter, since \(a(T),c^{i,j}(T)\in M_G^1(0,T)\) and \(b^i(T)\in M_G^2(0,T)\) for all i, j by the contruction of the Bochner integral in Appendix A and Proposition A.3. \(\square \)
We prove Theorem 3.1 by using results on G-backward stochastic differential equations of Hu, Ji, Peng, and Song [19], including a Girsanov transformation for G-Brownian motion. Details regarding G-backward stochastic differential equations are stated in the paper of Hu, Ji, Peng, and Song [19].
Proof
First, we rewrite the dynamics of the forward rate and the discounted bond for each maturity by using the Girsanov transformation for G-Brownian motion from Hu, Ji, Peng, and Song [19]. For this purpose, we consider the following sublinear expectation. For \(\xi \in L_G^p(\Omega _\tau )\) with \(p>1\), we define the sublinear expectation \(\bar{\mathbb {E}}\) by \(\bar{\mathbb {E}}_t[\xi ]:=Y_t^\xi \), where \(Y^\xi =(Y_t^\xi )_{0\le t\le \tau }\) solves the G-backward stochastic differential equation
Then \(\bar{\mathbb {E}}\) is a time consistent sublinear expectation [19, Theorem 5.1] and the process \(\bar{B}=(\bar{B}_t^1,\ldots ,\bar{B}_t^d)_{0\le t\le \tau }\), defined by
is a G-Brownian motion under \(\bar{\mathbb {E}}\) [19, Theorems 5.2, 5.4]. The quadratic covariations of B and \(\bar{B}\), respectively, are the same, since the drift terms of \(\bar{B}\) are of bounded variation. Hence, for each T, we can rewrite the dynamics of the forward rate as
and the dynamics of the discounted bond as
Next, we deduce the forward rate dynamics and the dynamics of the discounted bonds under \(\bar{\mathbb {E}}\) from the drift condition. By (1), for almost all T,
Additionally, we can integrate the terms in (1) to get, for all i, j,
for all T. The latter follows from Corollary A.2. Thus, by (3), for all i, j,
for all T, which implies
In the end, we conclude that the market is arbitrage-free, since the discounted bonds are symmetric G-martingales. From Assumption 2.2 and Proposition A.7, we deduce that, for each T, \(\tilde{P}_t(T)\in L_G^2(\Omega _t)\) for all t. In addition, the dynamics of the discounted bonds from above imply that \(\tilde{P}(T)\) is a symmetric G-martingale under \(\bar{\mathbb {E}}\) for all T. Therefore, it can be shown that the bond market is arbitrage-free [18, Proposition 5.1]. This relies on the fact that \(\bar{\mathbb {E}}\) is equivalent to the initial sublinear expectation \(\hat{\mathbb {E}}\) in the sense that \(\xi =0\) if and only if \(\bar{\mathbb {E}}[\vert \xi \vert ]=0\) for \(\xi \in L_G^p(\Omega _\tau )\) with \(p>1\) [18, Lemma 5.1]. \(\square \)
4 Robust versions of classical term structures
The main reason the HJM methodology is so popular is that essentially every term structure model corresponds to a specific example in the HJM model. One can verify that the forward rate implied by any arbitrage-free term structure satisfies the HJM drift condition for a particular diffusion coefficient. Conversely, the diffusion coefficient fully characterizes the risk-neutral dynamics of the forward rate and the forward rate, in turn, determines all other quantities of the model. Thus, one is able to construct arbitrage-free term structure models by simply specifying the diffusion term of the forward rate.
We investigate what kind of term structure models we obtain when we consider specific examples in the present setting. Theorem 3.1 shows that the risk-neutral dynamics of the forward rate are also determined by its diffusion term when there is volatility uncertainty. Therefore, the drift condition derived in the previous section enables us to construct arbitrage-free term structure models in the presence of volatility uncertainty by specifying the diffusion term of the forward rate, which we demonstrate in the succeeding examples. In particular, our aim is to recover robust versions of classical term structure models by considering the corresponding diffusion coefficients in the present framework, respectively.
Throughout the section, we impose the following assumptions. First, we consider a one-dimensional G-Brownian motion, that is, \(d=1\) and \(\Sigma =[\underline{\sigma },\overline{\sigma }]\) for \(\overline{\sigma }\ge \underline{\sigma }>0\). Second, we suppose that the initial forward curve is differentiable. This is necessary for the derivation of the related short rate dynamics. Third, we assume that the drift condition is satisfied. This assumption ensures that the model is arbitrage-free and allows us to directly compute the risk-neutral dynamics of the forward rate. It should also be noted that the following examples are feasible in the sense that the respective diffusion coefficients satisfy the regularity assumptions from Sect. 2.
4.1 The Ho–Lee term structure
If we consider the diffusion coefficient of the forward rate implied by the Ho–Lee term structure, we obtain a robust version of the Ho–Lee model.
Example 4.1
If we define \(\beta \) by \(\beta _t(T):=1\), then the short rate satisfies
and the bond prices are of the form
where the process \(q=(q_t)_{0\le t\le \tau }\) is defined by
and the functions \(A,B:[0,\tau ]\times [0,\tau ]\rightarrow \mathbb {R}\) are defined by
The risk-neutral short rate dynamics are determined by the risk-neutral forward rate dynamics. According to Theorem 3.1, the latter are given by
By the definition of the short rate, we have
Applying Itô’s formula for G-Brownian motion then yields
The bond prices follow from integrating the risk-neutral forward rate dynamics. We have
If we perform some calculations on the last term, we get
Substituting the latter in the previous equation, we obtain
which yields the bond prices from above.
4.2 The Hull–White term structure
If we use the diffusion coefficient of the forward rate implied by the Hull–White term structure, we get a robust version of the Hull–White model.
Example 4.2
If we define \(\beta \) by \(\beta _t(T):=e^{-\theta (T-t)}\) for \(\theta >0\), then the short rate dynamics are given by
and the bond prices are of the form
where the process \(q=(q_t)_{0\le t\le \tau }\) is defined by
and the functions \(A,B:[0,\tau ]\times [0,\tau ]\rightarrow \mathbb {R}\) are defined by
Again, the risk-neutral short rate dynamics are determined by the risk-neutral forward rate dynamics. By Theorem 3.1, the latter are given by
The definition of the short rate then implies
Applying Itô’s formula for G-Brownian motion yields
We obtain the bond prices by integrating the risk-neutral dynamics of the forward rate. We have
The first double integral can be written as
After some calculations, the second double integral becomes
Thus, we obtain
which leads to the bond prices given above.
Remark 4.1
The Hull–White model under volatility uncertainty is also analyzed in a previous work [18]. The paper shows how to obtain an arbitrage-free term structure in the Hull–White model when there is uncertainty about the volatility. In order to achieve this, the structure of the short rate dynamics has to be suitably modified. Here we get exactly the same structure.
4.3 The Vasicek term structure
The previous example shows that the Vasicek model needs to be adjusted in order to fit into the HJM methodology when there is volatility uncertainty.
Example 4.3
If we use the same diffusion coefficient as in the previous example, we see that it is not possible to exactly replicate the Vasicek model in the presence of volatility uncertainty. The forward rates implied by the Vasicek term structure and the Hull–White term structure, respectively, have the same diffusion coefficient. If we define \(\beta \) as in Example 4.2, then the short rate dynamics are given by
where the process q is defined as in Example 4.2. In order to obtain the short rate dynamics of the Vasicek model, we need to make sure that, for all t,
for a constant \(\mu >0\), since the mean reversion level of the short rate is constant in the Vasicek model. As equation (2) does not hold for any initial forward curve, the equation imposes a condition on \(f_0\) that ensures a constant mean reversion level. If there is no volatility uncertainty, one can check that the initial forward curve of the Vasicek term structure satisfies (2). In the presence of volatility uncertainty, there is no initial forward curve \(f_0\) satisfying (2), since then the process q is uncertain, i.e., its realization \(q_t\) is only known after time t, while \(f_0\) is observable at inception.
We can circumvent the problem by modifying the Vasicek model. Let us suppose that the initial forward curve satisfies
for all t. That means, \(f_0\) solves a simple ordinary differential equation with initial condition \(f_0(0)=r_0\), which yields
for all t, where the function B is defined as in Example 4.2. Then the short rate dynamics are given by
and, as in Example 4.2, the bond prices are of the form
where the function A, for all t and T, now satisfies
So, instead of exactly replicating the Vasicek model, we can obtain a version of the Vasicek model in which the mean reversion level of the short rate is adjusted by the process q.
Remark 4.2
The problem mentioned in Example 4.3 does not occur in Example 4.2 due to the time dependent mean reversion level in the Hull–White model. Since the mean reversion level can be time dependent and possibly uncertain, equation (2) only imposes a condition on the mean reversion level but not on the initial forward curve.
In fact, the problematic is related to the ability of term structure models to match arbitrary forward curves observed on the market, since the HJM methodology is based on modeling the forward rate starting from an arbitrary initial forward curve. The Hull–White model (as well as the Ho–Lee model) involves a time dependent parameter and hence, offers enough flexibility to fit the model-implied term structure to any term structure obtained from data. On the other hand, the Vasicek model has only three (constant) parameters, restricting the model to a small class of term structures it can fit. Therefore, one has to impose further assumptions on \(f_0\) to reproduce the Vasicek model in the HJM methodology in general, which, however, does not work when there is volatility uncertainty.
4.4 Economic consequences
The examples show that arbitrage-free term structure models in the presence of volatility uncertainty exhibit an additional uncertain factor. In all examples we consider there is an uncertain process, always denoted by q, that enters the short rate dynamics and the bond prices. The process q is uncertain, since it depends on the quadratic variation process. It emerges due to the fact that the risk-neutral forward rate dynamics display drift uncertainty, as Theorem 3.1 shows. That means, the additional factor is required in order to make the model arbitrage-free when the volatility is uncertain. Despite this difference, the short rate dynamics and the bond prices still have an affine form. In fact, the resulting term structure models, except the one in Example 4.3, are consistent with the classical ones. If there is no volatility uncertainty, that is, if \(\overline{\sigma }=\underline{\sigma }\), then Examples 4.1 and 4.2 correspond to the traditional Ho–Lee model [16, Subsection 5.4.4] and the traditional Hull–White model [6, Subsections 3.3.1, 3.3.2], respectively. In that case, the process q is no longer uncertain. Hence, the process q is actually included in the Ho–Lee model and in the Hull–White model, but it is hidden as there is no volatility uncertainty in the traditional models. The Vasicek model does not include such a factor and thus, it has to be adjusted in order to be arbitrage-free in the presence of volatility uncertainty, as demonstrated in Example 4.3. In such a case, the additional factor can be interpreted as the market price of uncertainty, since the adjustment in the drift of the short rate leads to risk-neutral dynamics [18].
The term structure models resulting from the examples are completely robust with respect to the volatility. The bond prices in the examples are completely independent of the volatility. They do not even depend on the extreme values of the volatility, \(\overline{\sigma }\) and \(\underline{\sigma }\), which usually happens in option pricing under volatility uncertainty. Of course, such a degree of robustness has its price. Instead of the volatility, the bond prices depend on the additional factor q, which is determined by the quadratic variation of the driving risk factor. That means, the term structure models we construct do not require any knowledge about how the volatility evolves in the future. All necessary information is included in the quadratic variation of the driver, that is, in the historical volatility. From a theoretical point of view, especially regarding the motivation of volatility uncertainty given in the introduction, it is desirable to have a term structure model that does not impose any assumptions on the future evolution of the volatility. The need to specify the evaluations of the process q instead is not a problem, since this, in principle, can be done by inferring the evolution of the historical volatility from data. However, how these models perform in practice is a challenging question for future research, as many applications of term structure models involve estimation procedures and simulations [9], which is a nontrivial task in the presence of a family of probability measures.
5 Conclusion
In this paper, we study the famous HJM model in the presence of volatility uncertainty. The main result is a sufficient condition, called drift condition, for the absence of arbitrage on the related bond market. In the presence of volatility uncertainty, the absence of arbitrage requires additional market prices, which are referred to as the market prices of uncertainty. The drift condition fully characterizes the risk-neutral dynamics of the forward rate in terms of its diffusion term. Since the latter also includes the uncertain volatility, the risk-neutral forward rate dynamics exhibit drift uncertainty. Using the drift condition, it is possible to construct arbitrage-free term structure models in the presence of volatility uncertainty, which we demonstrate in examples. In particular, we obtain robust versions of the Ho–Lee term structure and the Hull–White term structure, respectively. In examples where this is not possible, the drift condition shows how to adjust the model in order to be arbitrage-free when the volatility is uncertain, which we show in an example corresponding to the Vasicek term structure. The resulting term structures do not rely on any assumption how the volatility evolves in the future. Instead, the term structure is determined by the historical volatility. As a consequence, the resulting term structure models are completely robust with respect to the volatility.
References
Avellaneda, M., Lewicki, P.: Pricing interest rate contingent claims in markets with uncertain volatilities. Working Paper, Courant Institute of Mathematical Sciences (1996)
Biagini, F., Zhang, Y.: Reduced-form framework under model uncertainty. Ann. Appl. Probab. 29(4), 2481–2522 (2019)
Biagini, S., Bouchard, B., Kardaras, C., Nutz, M.: Robust fundamental theorem for continuous processes. Math. Finance 27(4), 963–987 (2017)
Björk, T., Di Masi, G., Kabanov, Y., Runggaldier, W.: Towards a general theory of bond markets. Finance Stoch. 1(2), 141–174 (1997)
Bouchard, B., Nutz, M.: Arbitrage and duality in nondominated discrete-time models. Ann. Appl. Probab. 25(2), 823–859 (2015)
Brigo, D., Mercurio, F.: Interest Rate Models: Theory and Practice. Springer (2001)
Cont, R., Perkowski, N.: Pathwise integration and change of variable formulas for continuous paths with arbitrary regularity. Trans. Am. Math. Soc. Ser. B 6, 161–186 (2019)
Cuchiero, C., Klein, I., Teichmann, J.: A new perspective on the fundamental theorem of asset pricing for large financial markets. Theory Probab. Appl. 60(4), 561–579 (2016)
Dai, Q., Singleton, K.: Term structure dynamics in theory and reality. Rev. Financ. Stud. 16(3), 631–678 (2003)
Denis, L., Hu, M., Peng, S.: Function spaces and capacity related to a sublinear expectation: application to \({G}\)-Brownian motion paths. Potential Anal. 34(2), 139–161 (2011)
Denis, L., Martini, C.: A theoretical framework for the pricing of contingent claims in the presence of model uncertainty. Ann. Appl. Probab. 16(2), 827–852 (2006)
El Karoui, N., Ravanelli, C.: Cash subadditive risk measures and interest rate ambiguity. Math. Finance 19(4), 561–590 (2009)
Epstein, D., Wilmott, P.: A nonlinear non-probabilistic spot interest rate model. Philos. Trans. R. Soc. Lond. A Math. Phys. Eng. Sci. 357(1758), 2109–2117 (1999)
Fadina, T., Neufeld, A., Schmidt, T.: Affine processes under parameter uncertainty. Probab. Uncertain. Quant. Risk 4(5), 1–35 (2019)
Fadina, T., Schmidt, T.: Default ambiguity. Risks 7(2), 64 (2019)
Filipović, D.: Term-Structure Models: A Graduate Course. Springer (2009)
Heath, D., Jarrow, R., Morton, A.: Bond pricing and the term structure of interest rates: a new methodology for contingent claims valuation. Econometrica 60(1), 77–105 (1992)
Hölzermann, J.: The Hull-White model under volatility uncertainty. Quant. Finance (2021). https://doi.org/10.1080/14697688.2021.1923788
Hu, M., Ji, S., Peng, S., Song, Y.: Comparison theorem, Feynman-Kac formula and Girsanov transformation for BSDEs driven by \({G}\)-Brownian motion. Stoch. Process. Appl. 124(2), 1170–1195 (2014)
Hu, M., Wang, F., Zheng, G.: Quasi-continuous random variables and processes under the \({G}\)-expectation framework. Stoch. Process. Appl. 126(8), 2367–2387 (2016)
Klein, I., Schmidt, T., Teichmann, J.: No arbitrage theory for bond markets. In: Kallsen, J., Papapantoleon, A. (eds.) Advanced Modelling in Mathematical Finance, pp. 381–421. Springer (2016)
Li, X., Peng, S.: Stopping times and related Itô‘s calculus with \({G}\)-Brownian motion. Stoch. Process. Appl. 121(7), 1492–1508 (2011)
Lin, Q., Riedel, F.: Optimal consumption and portfolio choice with ambiguous interest rates and volatility. Econ. Theory 71(3), 1189–1202 (2021)
Osuka, E.: Girsanov‘s formula for \({G}\)-Brownian motion. Stoch. Process. Appl. 123(4), 1301–1318 (2013)
Peng, S.: Nonlinear Expectations and Stochastic Calculus under Uncertainty. Springer (2019)
Prévôt, C., Röckner, M.: A Concise Course on Stochastic Partial Differential Equations. Springer (2007)
Soner, H.M., Touzi, N., Zhang, J.: Quasi-sure stochastic analysis through aggregation. Electron. J. Probab. 16(67), 1844–1879 (2011)
Song, Y.: Characterizations of processes with stationary and independent increments under \({G}\)-expectation. Annales de l‘Institut Henri Poincaré - Probabilités et Statistiques 49(1), 252–269 (2013)
Acknowledgements
The author thanks Frank Riedel for valuable advice, Tolulope Fadina and Hanwu Li for fruitful conversations, and Qian Lin, Wolfgang Runggaldier, and the participants of the workshop “New Frontiers in Stochastics for Economics and Finance” in Siena and the “12th European Summer School in Financial Mathematics” in Padova for interesting remarks. Moreover, the author thanks the editor, Ulrich Horst, and two anonymous referees for suggestions that significantly improved the paper.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that he has no conflict of interest.
Additional information
The author gratefully acknowledges financial support by the German Research Foundation (Deutsche Forschungsgemeinschaft) via Collaborative Research Center 1283.
Appendices
Appendix
A: Admissible integrands for the forward rate
We construct the space of admissible integrands for the forward rate dynamics as follows. Let us consider the measure space \(([0,T],\mathcal {B}([0,T]),\lambda )\), where \(T<\infty \), \(\mathcal {B}([0,T])\) denotes the Borel \(\sigma \)-algebra on [0, T], and \(\lambda \) is the Lebesgue measure on [0, T], and the space \(M_G^p(0,T)\) for \(p\ge 1\), which is a Banach space with respect to the norm \(\Vert \cdot \Vert _p\), defined by
for a process \(\eta =(\eta _t)_{0\le t\le T}\) in \(M_G^p(0,T)\). Then we define by \(\tilde{M}_G^{p,0}(0,T)\) the space of all functions \(\phi \) mapping from [0, T] into \(M_G^p(0,T)\) such that
where \((\varphi ^i)_{i=1}^n\) is a finite sequence of processes \(\varphi ^i=(\varphi _t^i)_{0\le t\le T}\) in \(M_G^p(0,T)\) and \((A_i)_{i=1}^n\) is a finite sequence of pairwise disjoint sets \(A_i\) in \(\mathcal {B}([0,T])\). We define the seminorm \(\Vert \cdot \Vert _{\sim ,p}\) by
on the space \(\tilde{M}_G^{p,0}(0,T)\). By considering the quotient space with respect to the null space
still denoted by \(\tilde{M}_G^{p,0}(0,T)\), we get a normed space. The completion of \(\tilde{M}_G^{p,0}(0,T)\) under the norm \(\Vert \cdot \Vert _{\sim ,p}\) is denoted by \(\tilde{M}_G^p(0,T)\), being the space of admissible integrands.
There is an explicit representation of the space of admissible integrands. It can be shown [26, Section A.1] that the abstract completion of \(\tilde{M}_G^{p,0}(0,T)\) is given by
A function \(\phi :[0,T]\rightarrow M_G^p(0,T)\) is called strongly measurable if it is \(\mathcal {B}([0,T])/\mathcal {B}(M_G^p(0,T))\)-measurable and \(\phi ([0,T])\) is separable. Therefore, we know that \(\phi \in \tilde{M}_G^p(0,T)\) is a regular stochastic process for a fixed s, i.e., \(\phi (s)\in M_G^p(0,T)\) for each s.
As a consequence, we can give a sufficient condition for functions to lie in this space.
Proposition A.1
Let \(\phi :[0,T]\rightarrow M_G^p(0,T)\) be continuous. Then \(\phi \in \tilde{M}_G^p(0,T)\).
Proof
First, we show that \(\phi \) is strongly measurable. Since \(\phi \) is continuous, it is clearly \(\mathcal {B}([0,T])/\mathcal {B}(M_G^p(0,T))\)-measurable. Furthermore, [0, T] is separable and the image of a continuous function with separable domain is separable. Hence, \(\phi ([0,T])\) is separable.
It is left to show that the norm of \(\phi \) is finite. The norm \(\Vert \cdot \Vert _p\) is obviously a continuous function. Thus, the function \(f:\mathbb {R}\rightarrow \mathbb {R},s\mapsto \Vert \phi (s)\Vert _p\) is continuous, since \(\phi \) is continuous. Therefore, \(\Vert \phi \Vert _{\sim ,p}<\infty \). \(\square \)
By Proposition A.1, we have the following examples of functions in \(\tilde{M}_G^p(0,T)\). First, we know that continuous real-valued functions on \([0,T]\times [0,T]\) belong to \(\tilde{M}_G^p(0,T)\).
Example A.1
The function \(\phi :[0,T]\rightarrow M_G^p(0,T),s\mapsto f(\cdot ,s)\) belongs to \(\tilde{M}_G^p(0,T)\), where \(f:[0,T]\times [0,T]\rightarrow \mathbb {R}\) is continuous. \(\phi \) maps into \(M_G^p(0,T)\), since \(f(\cdot ,s)\) is a continuous function for all s. This can be deduced from the representation of the space \(M_G^p(0,T)\) [20, Theorem 4.7]. The continuity of \(\phi \) follows from
and dominated convergence. Thus, by Proposition A.1, \(\phi \in \tilde{M}_G^p(0,T)\).
Second, the product of a continuous real-valued function on [0, T] and an admissible stochastic process lies in the space \(\tilde{M}_G^p(0,T)\).
Example A.2
The function \(\phi :[0,T]\rightarrow M_G^p(0,T),s\mapsto f(s)\eta \) belongs to \(\tilde{M}_G^p(0,T)\), where \(f:[0,T]\rightarrow \mathbb {R}\) is continuous and \(\eta =(\eta _t)_{0\le t\le T}\) belongs to \(M_G^p(0,T)\). Clearly, \(\phi \) maps into \(M_G^p(0,T)\). The continuity of \(\phi \) follows from
Hence, Proposition A.1 implies that \(\phi \in \tilde{M}_G^p(0,T)\).
We are able to define integrals and, more importantly, double integrals for functions in \(\tilde{M}_G^p(0,T)\). First, we define the Bochner integral for simple functions \(\phi \in \tilde{M}_G^{p,0}(0,T)\),
The Bochner integral is a linear operator mapping from \(\tilde{M}_G^{p,0}(0,T)\) into \(M_G^p(0,T)\). In addition, the operator is continuous, since we have the inequality
Thus, we can extend the operator to the completion \(\tilde{M}_G^p(0,T)\), still satisfying (3). For \(A\in \mathcal {B}([0,T])\), we define \(\int _A\phi (s)ds:=\int _0^T1_A(s)\phi (s)ds\). Since the integral maps into \(M_G^p(0,T)\), we can define the double integral \(\int _0^T\int _A\phi _t(s)dsdB_t^i\) for \(\phi \in \tilde{M}_G^2(0,T)\), mapping into \(L_G^2(\Omega _T)\), and the double integrals \(\int _0^T\int _A\psi _t(s)dsdt\) and \(\int _0^T\int _A\psi _t(s)dsd\langle B^i,B^j\rangle _t\) for \(\psi \in \tilde{M}_G^1(0,T)\), mapping into \(L_G^1(\Omega _T)\), for all \(i,j=1,\ldots ,d\).
We can also define double integrals for the reversed order of integration and interchange the order. For this purpose, we use the following result [26, Proposition A.2.2].
Proposition A.2
Let \(\phi \in \tilde{M}_G^p(0,T)\), X be a Banach space, and \(F:M_G^p(0,T)\rightarrow X\) be a continuous linear operator. Then we can define \(\int _AF(\phi (s))ds\), mapping into X, and it holds
All stochastic integrals related to the G-Brownian motion are continuous linear operators. Thus, Proposition A.2 allows us to define the integral \(\int _A\int _0^T\phi _t(s)dB_t^ids\) for \(\phi \in \tilde{M}_G^2(0,T)\), mapping into \(L_G^2(\Omega _T)\), and the integrals \(\int _A\int _0^T\psi _t(s)dtds\) and \(\int _A\int _0^T\psi _t(s)d\langle B^i,B^j\rangle _tds\) for \(\psi \in \tilde{M}_G^1(0,T)\), mapping into \(L_G^1(\Omega _T)\), for all \(i,j=1,\ldots ,d\). Moreover, we obtain a version of Fubini’s theorem, which is an essential tool in the HJM model.
Corollary A.1
Let \(\phi \in \tilde{M}_G^2(0,T)\) and \(\psi \in \tilde{M}_G^1(0,T)\). Then, for all i, j, it holds
In addition to the double integrals from above, we need to define more complex integrals. In order to achieve this, we need the following proposition.
Proposition A.3
Let \(\phi \in \tilde{M}_G^p(0,T)\) and \(\psi :[0,T]\rightarrow M_G^p(0,T),s\mapsto 1_{[0,s]}\phi (s)\). Then we have \(\psi \in \tilde{M}_G^p(0,T)\).
Proof First, we decompose \(\psi \) into several functions to show that it is strongly measurable. Let us define the subspace
and the functions \(f:[0,T]\rightarrow \mathcal {M}^p,s\mapsto 1_{[0,s]}\), \(g:[0,T]\rightarrow \mathcal {M}^p\times M_G^p(0,T),s\mapsto (f(s),\phi (s))\), and \(h:\mathcal {M}^p\times M_G^p(0,T)\rightarrow M_G^p(0,T),(\eta ,\zeta )\mapsto \eta \zeta \). Then we have \(\psi =h\circ g\).
We deduce the measurability of \(\psi \) from the measurability of the decomposition. f is continuous, since
for \(a,\tilde{a}\in [0,T]\), and thus, f is \(\mathcal {B}([0,T])/\mathcal {B}(\mathcal {M}^p)\)-measurable. By assumption, \(\phi \) is \(\mathcal {B}([0,T])/\mathcal {B}(M_G^p(0,T))\)-measurable and so g is \(\mathcal {B}([0,T])/\mathcal {B}(\mathcal {M}^p)\otimes \mathcal {B}(M_G^p(0,T))\)-measurable. Now it is left to show that h is \(\mathcal {B}(\mathcal {M}^p)\otimes \mathcal {B}(M_G^p(0,T))/\mathcal {B}(M_G^p(0,T))\)-measurable to deduce the measurability of \(\psi \). We equip \(\mathcal {M}^p\times M_G^p(0,T)\) with the norm \(\Vert \cdot \Vert \), defined by
For \(a,\tilde{a}\in [0,T]\) and \(\zeta =(\zeta _t)_{0\le t\le T}\) and \(\tilde{\zeta }=(\tilde{\zeta }_t)_{0\le t\le T}\) in \(M_G^p(0,T)\), we have
where the last term converges to 0 as a converges to \(\tilde{a}\). Therefore, h is continuous. So we need to show that \(M\in \mathcal {B}(\mathcal {M}^p)\otimes \mathcal {B}(M_G^p(0,T))\) for an open set \(M\subset \mathcal {M}^p\times M_G^p(0,T)\) to obtain the measurability of h. If M is open, we can represent it as a union of open balls in \(\mathcal {M}^p\times M_G^p(0,T)\). By the definition of \(\Vert \cdot \Vert \), every open ball in \(\mathcal {M}^p\times M_G^p(0,T)\) can be written as a rectangle whose sides are open balls in \(\mathcal {M}^p\) and \(M_G^p(0,T)\), respectively. Hence, we can represent M as a rectangle whose sides are open sets in \(\mathcal {M}^p\) and \(M_G^p(0,T)\), respectively. Therefore, \(M\in \mathcal {B}(\mathcal {M}^p)\otimes \mathcal {B}(M_G^p(0,T))\).
We show that the image of \(\psi \) is separable by using the continuity from the second step. By assumption, the image of \(\phi \) is separable. Moreover, [0, T] is separable and f is continuous. Thus, f([0, T]) is separable, implying that the image of g is separable. Due to the continuity of h, also h(g([0, T])) is separable. Since \(\psi =h\circ g\), it follows that \(\psi ([0,T])\) is separable.
It is left to show that the norm of \(\psi \) is finite. We have
which completes the proof. \(\square \)
Due to Proposition A.3, we are able to define integrals of the form \(\int _0^T\int _t^T\phi _t(s)dsdB_t^i\) and, by Proposition A.2, \(\int _0^T\int _0^s\phi _t(s)dB_t^ids\) for \(\phi \in \tilde{M}_G^2(0,T)\), mapping into \(L_G^2(\Omega _T)\), for all i. Moreover, Corollary A.1 implies that, for all i,
The same holds if we replace \(dB_t^i\), \(\tilde{M}_G^2(0,T)\), and \(L_G^2(\Omega _T)\) by dt, as well as \(d\langle B^i,B^j\rangle _t\) for all j, \(\tilde{M}_G^1(0,T)\), and \(L_G^1(\Omega _T)\), respectively.
In the end, we deal with the differentiability of integrals and, especially, the differentiability of products of two integrals, used for the calculations on the diffusion coefficient of the forward rate. As the classical Lebesgue integral, integrals of functions in \(\tilde{M}_G^p(0,T)\) are, loosely speaking, differentiable and absolutely continuous.
Proposition A.4
Let \(\phi \in \tilde{M}_G^p(0,T)\) and \(\varPhi :[0,T]\rightarrow M_G^p(0,T),s\mapsto \int _0^s\phi (u)du\). Then
-
(i)
\(\varPhi \) is almost everywhere differentiable and \(\varPhi '=\phi \),
-
(ii)
for all \(\epsilon >0\), there exists a \(\delta >0\) such that
$$\begin{aligned} \sum _{i=1}^n\Vert \varPhi (s_i)-\varPhi (\tilde{s}_i)\Vert _p<\epsilon \end{aligned}$$for every sequence of disjoint open intervals \(((\tilde{s}_i,s_i))_{i=1}^n\) such that \(\sum _{i=1}^n(s_i-\tilde{s}_i)<\delta \).
Proof
We deduce all statements from the inequality (3) and the properties of the Lebesgue integral. By (3), we have
where \(f:[0,T]\rightarrow \mathbb {R}\) is defined by \(f(s):=\int _0^s\Vert \phi (u)-\phi (\tilde{s})\Vert _pdu\). Due to the differentiability of the Lebesgue integral, the expression on the right-hand side of the previous inequality converges to 0 as s converges to \(\tilde{s}\) for almost all \(\tilde{s}\). Therefore, \(\varPhi \) is almost everywhere differentiable and \(\varPhi '=\phi \). Furthermore, we can use (3) to obtain
where \(g:[0,T]\rightarrow \mathbb {R}\) is defined by \(g(s):=\int _0^s\Vert \phi (u)\Vert _pdu\). Since the Lebesgue integral is absolutely continuous, for all \(\epsilon >0\), we can find a \(\delta >0\) such that
for every sequence of disjoint open intervals \(((\tilde{s}_i,s_i))_{i=1}^n\) such that \(\sum _{i=1}^n(s_i-\tilde{s}_i)<\delta \). \(\square \)
Conversely, we have a version of the fundamental theorem of calculus for functions in \(\tilde{M}_G^p(0,T)\) which are differentiable and absolutely continuous.
Proposition A.5
Let \(\varPhi :[0,T]\rightarrow M_G^p(0,T)\) be almost everywhere differentiable and \(\varPhi '=\phi \), where \(\phi \in \tilde{M}_G^p(0,T)\). If for all \(\epsilon >0\), there exists a \(\delta >0\) such that
for every sequence of disjoint open intervals \(((\tilde{s}_i,s_i))_{i=1}^n\) such that \(\sum _{i=1}^n(s_i-\tilde{s}_i)<\delta \), then it holds
Proof
We prove the assertion by using a consequence of the Hahn-Banach theorem and the fundamental theorem of calculus for Lebesgue integrals. Let \(F:M_G^p(0,T)\rightarrow \mathbb {R}\) be a continuous linear functional. Then we have
for some constant \(C>0\). Due to the last assumption on \(\varPhi \), we deduce that \(F\circ \varPhi \) is absolutely continuous. The fundamental theorem of calculus for Lebesgue integrals implies that \(F\circ \varPhi \) is almost everywhere differentiable, its derivative is integrable, and
Furthermore, \((F\circ \varPhi )'=F\circ \phi \), since the continuity and the linearity of F imply
for some constant \(C>0\), where the terms on the right-hand side converge to 0 as s converges to \(\tilde{s}\) for almost all \(\tilde{s}\). Hence, we obtain
By Proposition A.2 and the linearity of F, it holds
Since this holds for every continuous linear functional, the Hahn-Banach theorem implies the assertion. \(\square \)
In order to derive a product rule for differentiable and absolutely continuous functions, we use the following lemma.
Lemma A.1
Let \(\phi ,\psi \in \tilde{M}_G^{2p}(0,T)\) and \(\upsilon :[0,T]\rightarrow M_G^p(0,T),s\mapsto \phi (s)\psi (s)\), where \(\phi \) is continuous. Then \(\upsilon \in \tilde{M}_G^p(0,T)\).
Proof
First of all, we know that \(\upsilon \) maps into \(M_G^p(0,T)\), since one can show, by Hölder’s inequality, that the product of two processes in \(M_G^{2p}(0,T)\) belongs to \(M_G^p(0,T)\).
Next, we show that \(\upsilon \) is strongly measurable. The strong measurability follows as in the proof of Proposition A.3 if \(f:M_G^{2p}(0,T)\times M_G^{2p}(0,T)\rightarrow M_G^p(0,T)\), defined by \(f(\eta ,\zeta ):=\eta \zeta \), is continuous, where we equip \(M_G^{2p}(0,T)\times M_G^{2p}(0,T)\) with the norm \(\Vert \cdot \Vert \), defined by
By applying Hölder’s inequality, for \((\eta ,\zeta )=(\eta _t,\zeta _t)_{0\le t\le T}\) and \((\tilde{\eta },\tilde{\zeta })=(\tilde{\eta }_t,\tilde{\zeta }_t)_{0\le t\le T}\) in \(M_G^{2p}(0,T)\times M_G^{2p}(0,T)\), we have
Therefore, f is continuous, since \(\Vert \eta \Vert _{2p}\) and \(\Vert \tilde{\zeta }\Vert _{2p}\) are finite and \(\Vert \eta -\tilde{\eta }\Vert _{2p}\) and \(\Vert \zeta -\tilde{\zeta }\Vert _{2p}\) converge to 0 as \((\eta ,\zeta )\) converges to \((\tilde{\eta },\tilde{\zeta })\).
Finally, we deduce that the norm of \(\upsilon \) is finite. The function \(s\mapsto \Vert \phi (s)\Vert _{2p}\) is continuous due to the continuity of \(\phi \) and the norm and hence, bounded. Thus,
for some constant \(C>0\), which completes the proof.
With the help of Lemma A.1, we obtain the desired product rule.
Proposition A.6
Let \(\varPhi ,\varPsi :[0,T]\rightarrow M_G^{2p}(0,T)\) be almost everywhere differentiable and \(\varPhi '=\phi \) and \(\varPsi '=\psi \), where \(\phi ,\psi \in \tilde{M}_G^{2p}(0,T)\). If for all \(\epsilon >0\), there exists a \(\delta >0\) such that
for every sequence of disjoint open intervals \(((\tilde{s}_i,s_i))_{i=1}^n\) such that \(\sum _{i=1}^n(s_i-\tilde{s}_i)<\delta \), then it holds
Proof
We show that \(\Upsilon :[0,T]\rightarrow M_G^p(0,T),s\mapsto \varPhi (s)\varPsi (s)\) satisfies the assumptions of Proposition A.5 to deduce the assertion. Using Hölder’s inequality, we have
The last assumption implies that \(s\mapsto \Vert \varPhi (s)\Vert _{2p}\) and \(\tilde{s}\mapsto \Vert \varPsi (\tilde{s})\Vert _{2p}\) are continuous and thus, bounded. Hence, for all \(\epsilon >0\), we can find a \(\delta >0\) such that
for every sequence of disjoint open intervals \(((\tilde{s}_i,s_i))_{i=1}^n\) such that \(\sum _{i=1}^n(s_i-\tilde{s}_i)<\delta \). Let \(\upsilon :[0,T]\rightarrow M_G^p(0,T),s\mapsto \phi (s)\varPsi (s)+\varPhi (s)\psi (s)\). By Lemma A.1, \(\upsilon \in \tilde{M}_G^p(0,T)\), since \(\phi ,\psi \in \tilde{M}_G^{2p}(0,T)\) and \(\varPhi \) and \(\varPsi \) are continuous and belong to \(\tilde{M}_G^{2p}(0,T)\) by the assumptions. Furthermore, we have
The three terms on the right-hand side converge to 0 as s converges to \(\tilde{s}\) for almost all \(\tilde{s}\). The first term converges almost everywhere to 0, since
\(\varPhi \) is almost everywhere differentiable, \(\varPhi '=\phi \), and \(s\mapsto \Vert \varPsi (s)\Vert _{2p}\) is continuous. The second term converges to 0, since
\(\phi (\tilde{s})\in M_G^{2p}(0,T)\), and \(s\mapsto \Vert \varPsi (s)\Vert _{2p}\) is continuous. The third term converges to 0 almost everywhere, since
\(\varPhi (\tilde{s})\in M_G^{2p}(0,T)\), \(\varPsi \) is almost everywhere differentiable, and \(\varPsi '=\psi \). Therefore, \(\Upsilon \) is almost everywhere differentiable and \(\Upsilon '=\upsilon \). This completes the proof. \(\square \)
Combining Proposition A.4 and Proposition A.6, we have the following result, which we apply to the diffusion coefficient of the forward rate.
Corollary A.2
Let \(\phi ,\psi \in \tilde{M}_G^{2p}(0,T)\) and \(\varPhi ,\varPsi :[0,T]\rightarrow M_G^p(0,T)\) be defined by \(\varPhi (s):=\int _0^s\phi (u)du\) and \(\varPsi (s):=\int _0^s\psi (u)du\), respectively. Then it holds
B: Regularity of the discounted bonds
In order to show that the discounted bonds are sufficiently regular, we consider the exponential of a diffusion process driven by a G-Brownian motion. Let us define the process \(X=(X_t)_{0\le t\le T}\) by
where \(a=(a_t)_{0\le t\le T}\) and \(c^{i,j}=(c_t^{i,j})_{0\le t\le T}\) belong to \(M_G^1(0,T)\) and \(b^i=(b_t^i)_{0\le t\le T}\) belongs to \(M_G^2(0,T)\) for all \(i,j=1,\ldots ,d\). Then the dynamics of X are given by
by Itô’s formula for G-Brownian motion.
The following result provides a sufficient condition ensuring that the dynamics of the process X are regular. As a consequence, we obtain that X itself is well-posed.
Proposition A.7
If there exists a \(p>1\) such that \(a,c^{i,j}\in M_G^p(0,T)\) and \(b^i\in M_G^{2p}(0,T)\) for all \(i,j=1,\ldots ,d\) and there exist \(\tilde{p}>p^*\) and \(\tilde{q}>2\), where \(p^*:=\frac{2pq}{p-q}\) for some \(q\in (1,p)\) such that
then we have \(X\in M_G^{p^*}(0,T)\). In particular, this implies \(aX,(c^{i,j}+\frac{1}{2}b^ib^j)X\in M_G^1(0,T)\) and \(b^iX\in M_G^2(0,T)\) for all \(i,j=1,\ldots ,d\).
Proof
In order to show that \(X\in M_G^{p^*}(0,T)\), we use the characterization of the space \(M_G^{p^*}(0,T)\) from Hu, Wang, and Zheng [20]. The space \(M_G^{p^*}(0,T)\) consists of all progressively measurable processes \(\eta =(\eta _t)_{0\le t\le T}\) such that \(\Vert \eta \Vert _{p^*}^{p^*}<\infty \), \(\eta \) has a quasi-continuous version, and
[20, Theorem 4.7]. Since \(a,c^{i,j}\in M_G^p(0,T)\) and \(b^i\in M_G^{2p}(0,T)\) for all i, j, we know that X is progressively measurable and has a quasi-continuous version. Therefore, since
it is left to show that \(\Vert X\Vert _{\tilde{p}}^{\tilde{p}}<\infty \) in order to deduce that \(X\in M_G^{p^*}(0,T)\). We have
By Hölder’s inequality, we get
By assumption, we know that the second and the third term on the right-hand side are finite. Hence, it is left to show that the first term is also finite. We can use the classical Fubini theorem and the last assumption to get
for almost all t for all \(P\in \mathcal {P}\). Thus, we know that Novikov’s condition is satisfied, which implies that
for almost all t for all \(P\in \mathcal {P}\). Integrating and using Fubini’s theorem once more, we obtain
for all \(P\in \mathcal {P}\), which implies the desired finiteness.
We are left to show that \(aX,(c^{i,j}+\frac{1}{2}b^ib^j)X\in M_G^1(0,T)\) and \(b^iX\in M_G^2(0,T)\) for all i, j. By the argument from the first step, we need to show that \(\Vert aX\Vert _q^q<\infty \) in order to deduce that \(aX\in M_G^1(0,T)\). By Hölder’s inequality, it holds
The two terms on the right-hand side are finite, since \(a\in M_G^p(0,T)\) and \(X\in M_G^{p^*}(0,T)\). Thus, we obtain \(\Vert aX\Vert _q^q<\infty \). We can show that \((c^{i,j}+\frac{1}{2}b^ib^j)X\in M_G^1(0,T)\) and \(b^iX\in M_G^2(0,T)\) for all i, j in the same way. \(\square \)
If a, \(b^i\), and \(c^{i,j}\), for all i, j, satisfy the assumptions of Proposition A.7, we get \(X_t\in L_G^1(\Omega _t)\) for all t by Itô’s formula. If, in addition, \(a=0=c^{i,j}+\frac{1}{2}b^ib^j\) for all i, j, we even have \(X_t\in L_G^2(\Omega _t)\) for all t.
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
Hölzermann, J. Term structure modeling under volatility uncertainty. Math Finan Econ 16, 317–343 (2022). https://doi.org/10.1007/s11579-021-00310-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11579-021-00310-4
Keywords
- Term structure of interest rates
- No-arbitrage
- Ambiguous volatility
- Knightian uncertainty
- Model uncertainty
- Robust finance