Abstract
We study optional projections of \({\mathbb{G}}\)-adapted strict local martingales on a smaller filtration \({\mathbb{F}}\) under changes of equivalent martingale measures. General results are provided as well as a detailed analysis of two specific examples given by the inverse Bessel process and a class of stochastic volatility models. This analysis contributes to clarify the absence of arbitrage opportunities of market models under restricted information.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we study optional projections of \({\mathbb{G}}\)-adapted strict local martingales on a smaller filtration \({\mathbb{F}}\) under changes of equivalent local martingale measures.
It is a well-known fact that when projecting a stochastic process on a filtration with respect to which it is not adapted, some attributes of its dynamics may change; see for example Föllmer and Protter [11] and Bielecki et al. [3], where the authors study the semimartingale characteristics of projections of special semimartingales. Moreover, some basic properties of the process can be lost. Most notably, the optional projection of a local martingale may fail to be a local martingale; see for example [11, Theorem 3.7] and Larsson [25, Corollary 1], where conditions are stated under which this happens, and Kardaras and Ruf [23] for a study of optional projections of local martingale deflators. Optional projections of general semimartingales and stochastic integrals have been studied in Brémaud and Yor [4].
In the literature, it is a classical problem to investigate financial market models under restricted information, where full information on the asset prices is not available and agents’ decisions are based on a restricted information flow. This could be due to a delay in the diffusion of information or to an incomplete data flow, as it may happen for example when investors only see an asset value when it crosses certain levels; see Jarrow et al. [19]. In general, this is represented by assuming that trading strategies are predictable for a filtration which can be smaller than the filtration \({\mathbb{G}}\) generated by the asset prices. Many of the classical problems in financial mathematics have been translated to this setting from the classical framework with full information; see for example Schweizer [29], Frey and Runggaldier [12], Runggaldier and Zaccaria [28], Callegaro et al. [5] and Fujimoto et al. [13] for studies on risk-minimisation and expected utility maximisation, respectively, under restricted information.
In Cuchiero et al. [7] and Kabanov and Stricker [21], it is shown that the analysis of characteristics and properties of financial markets under restricted or delayed information boils down to studying optional projections of the asset prices on the smaller filtration. In particular, it is shown in both papers how a certain “no-arbitrage” condition is equivalent to the existence of an equivalent measure \(Q\) such that the \(Q\)-optional projection of the asset price on \({\mathbb{F}}\) is a martingale. This setting can be applied to trading with delay, trading under restricted information, semistatic hedging and trading under transaction costs.
Our study of optional projections is related to [7] if we consider a more general definition of trading strategies. More precisely, in [7], prices are not fully revealed to observers in a large platonic financial market, and trading is possible only with \({\mathbb{F}}\)-predictable simple strategies such that the resulting wealth or value process is \(L^{p}\)-integrable for some measure \(\tilde{P}\) equivalent to \(P\). We deviate from this definition and assume more classically that the set of value processes of admissible strategies is defined as those \({\mathbb{F}}\)-adapted processes for which there exist a local martingale measure \(Q\) for the price process and a \({\mathbb{G}}\)-adapted \(Q\)-martingale such that the value process is bounded from below by that martingale. If the optional projection of the price process \(X\) is a local martingale, it turns out, omitting the details here, that the superhedging price of a claim \(c\) over \({\mathbb{F}}\)-adapted admissible strategies is bounded from below by
where \({\mathcal{Q}}\) is the set of \(P\)-absolutely continuous probability measures under which the \(Q\)-optional projection of \(X\) is a \(Q\)-local martingale. Under full information, the message of the fundamental hedging duality is that the bound is tight so that “strong duality” holds. Under restricted information, it is an interesting point of further research to give conditions in this setup when the above “weak duality” holds as a strong one. This and the related more general indifference pricing formulas go beyond the scope of the present paper. Nonetheless, the indicated weak duality shows that the question whether the projection is a local martingale is relevant in the duality theory in pricing under restricted information. Further relevant applications of optional projections are provided by the works of Çetin et al. [6], Jarrow et al. [19] and Sezer [30] in the field of credit risk modelling: taking inspiration from Jarrow and Protter [16], the authors characterise reduced form models as optional projections of structural models on a smaller filtration. In particular, the cash balance of a firm, represented by a process \(X=(X_{t})_{t \ge 0}\), is adapted to the filtration \({\mathbb{G}}\) of the firm’s management, but not necessarily to the filtration \({\mathbb{F}}\) representing the information available to the market. In this setting, the price of a zero-coupon bond issued by the firm is the optional projection of \(X\).
An interesting question to analyse is then if traders with partial information \({\mathbb{F}}\subseteq {\mathbb{G}}\) may perceive different characteristics of the market they observe than individuals with access to the complete information \({\mathbb{G}}\), for example for what concerns the existence of perceived arbitrages.
As already noted in Jarrow and Protter [17], traders with limited information may interpret the presence of a bubble on the price process in the larger filtration as an arbitrage opportunity. This happens if \(X\) is a strict \((P,{\mathbb{G}})\)-local martingale, fails to be a strict \((P,{\mathbb{F}})\)-local martingale and in addition, there exists no measure \(Q \approx P\) under which is a local martingale.
The above overview shows that it is important to assess the properties of optional projections under equivalent local martingale measures. In particular, we study the relation among the set \({\mathcal{M}}_{{\mbox{loc}}}\) of equivalent local martingale measures (ELMMs) for a process \(X\) and the set \({\mathcal{M}}_{{\mbox{loc}}}^{o}\) of measures \(Q \approx P\) such that the optional projection under \(Q\) is a \(Q\)-local martingale. We treat in detail two main cases: the inverse Bessel process and an extension of the stochastic volatility model of Sin [31]. We also give general results for the optional projection of a \({\mathbb{G}}\)-adapted process on the delayed filtration \(({\mathcal{G}}_{t -\epsilon})_{t \ge 0}\) with \(\epsilon >0\). In particular, we prove that the delayed projection of a strict local martingale is never a local martingale, and that in this setting, the equivalent measure extension problem studied in Larsson [25] admits no solution. This provides a family of examples showing that the sufficient condition of [25, Corollary 1] is not necessary. In financial applications, delayed information represents the scenario where investors in the market have access to the information with a given positive time delay. This setting has been extensively studied in the literature; see e.g. Guo et al. [14], Hillairet and Jiao [15], Jeanblanc and Lecam [20], **ng and Yiyun [33] in the setting of credit risk models, Dolinsky and Zouari [10] under model uncertainty and Bank and Dolinsky [1] in the context of option pricing.
We also provide an invariance theorem about local martingales which are solutions of a one-dimensional SDE in the natural filtration of an \(n\)-dimensional Brownian motion; see Proposition 4.4. Specifically, we show that under mild conditions, such a local martingale \(X\) has the same law under \(P\) as under every \(Q \in {\mathcal{M}}_{{\mbox{loc}}}(X)\). This result is closely related to the study in Jarrow et al. [18] where the authors provide invariance theorems for detecting asset price bubbles. Proposition 4.4 leads to Theorem 4.11 on optional projections on a filtration \({\mathbb{F}}\) that is smaller than the natural filtration \({\mathbb{F}}^{X}\) of \(X\). Important applications of Theorem 4.11 are given by delayed information and by the model of [6], where the market does not see the value of a firm but only knows when the firm has positive cash balances or when it has negative or zero cash balances.
The rest of the paper is organised as follows. After setting up the notation in Sect. 2, we formulate in Sect. 3 the aims of our study as five properties about optional projections of strict local martingales. We also provide a synthetic overview of the main results of the paper in the light of these problems and recap when these questions have positive and when negative answers in the examples we consider along the paper. In Sect. 4, we give general results about optional projections of local martingales under equivalent local martingale measures. Section 5 is devoted to the inverse Bessel process, projected on different filtrations, whereas in Sect. 6, we focus on a class of two-dimensional stochastic volatility models. The novelty here is that we consider not only a reference measure \(P\), but the whole set of equivalent local martingale measures.
2 Preliminaries
Consider a probability space \((\Omega , {\mathcal{F}}, P)\) equipped with two filtrations \({\mathbb{G}}= ({\mathcal{G}}_{t})_{t \ge 0}\), \({\mathbb{F}}= ({\mathcal{F}}_{t})_{t \ge 0}\). We assume that \({\mathbb{F}}\subseteq {\mathbb{G}}\) and \({\mathcal{F}}= {\mathcal{G}}_{\infty}\). All filtrations considered in the paper are supposed to be complete and right-continuous (and are made so if necessary). Let \(X\) be a nonnegative càdlàg \((P, \mathbb{G})\)-local martingale.
Notation 2.1
We denote by the \(P\)-optional projection of \(X\) on \({\mathbb{F}}\), i.e., the unique optional process satisfying
for every \({\mathbb{F}}\)-stop** time \(\tau \). We call the \(Q\)-optional projection of \(X\). If we do not specify the measure, the optional projection is with respect to \(P\).
We denote by \({\mathbb{F}}^{X}\) the natural filtration of \(X\). Moreover, if \(Q\) is a probability measure equivalent to \(P\), we define \(Z_{\infty}:=\frac{dQ}{dP}\) and denote by , , the càdlàg processes characterised by
respectively. Moreover, for \({\mathbb{H}}= {\mathbb{F}}, {\mathbb{F}}^{X}, {\mathbb{G}}\), we define
We also set
For a given \((Q,{\mathbb{G}})\)-Brownian motion \(B = (B_{t})_{t \ge 0}\) and a suitably integrable \({\mathbb{G}}\)-predictable process \(\alpha =(\alpha _{t})_{t \ge 0}\), we denote by \(\mathcal{E}_{t}(\int \alpha _{s} dB_{s})\) the stochastic exponential at time \(t\) of the process \((\int _{0}^{u} \alpha _{s} dB_{s})_{u \ge 0}\).
Remark 2.2
Since \(X\) is a nonnegative process, its optional projection always exists by Dellacherie and Meyer [9, Theorem VI.43].
Remark 2.3
Since we assume \({\mathcal{F}}={\mathcal{G}}_{\infty}\), the density \(\frac{dQ}{dP}\) of any equivalent probability measure \(Q\) with respect to the original measure \(P\) must be \({\mathcal{G}}_{\infty}\)-measurable. This implies that
3 Overview of the results
The main focus of the paper is to study the following properties:
These properties have the following financial interpretations. First, (P2) and (P5) are related to the study of perceived arbitrage opportunities. In particular, if (P2) holds, then the \(P\)-bubble modelled by \(X\) under full information is not perceived as an arbitrage opportunity under partial information, see also Jarrow and Protter [17], and more generally, when (P5) is satisfied, there exists at least one equivalent probability measure \(Q\) that defines an arbitrage-free market under restricted information. Moreover, if the optional projection is tradeable, (P1), (P3) and (P4) investigate the problem of a perceived bubble in the smaller filtration when there is a bubble in the bigger filtration. If it is not tradeable, the properties are related to pricing formulas under restricted information, as we explain in the introduction in detail. On the other hand, (P1) and (P3) address the classical mathematical question of when the optional projection of a (strict) local martingale on the smaller filtration \({\mathbb{F}}\) remains a (strict) local martingale; see for example Larsson [25].
It turns out that none of the above properties is equivalent to another, and that none of them holds for the whole class of nonnegative local martingales and arbitrary filtrations. In other words, their validity depends on both the process \(X\) and the filtrations \({\mathbb{G}}\) and \({\mathbb{F}}\). This is shown in Sects. 5 and 6. Section 4 provides general results on local martingales and their optional projections which are of independent interest.
In general, we note that \({\mathcal{M}}_{{\mbox{strict}}}(X,{\mathbb{G}}) \neq \emptyset \) and hence also \({\mathcal{M}}_{{\mbox{loc}}}(X,{\mathbb{G}}) \ne \emptyset \) whenever (as often assumed) \(P \in {\mathcal{M}}_{{\mbox{strict}}}(X,{\mathbb{G}})\). Properties (P1)–(P3) and (P5) trivially hold if is an \({\mathbb{F}}\)-local martingale; so the more interesting case is when is not a local martingale. If (P3) or (P4) holds, then (P1) holds as well. Moreover, if (P4) is satisfied, then \(P \in {\mathcal{M}}^{o}_{{\mbox{loc}}}(X, { \mathbb{G}}, {\mathbb{F}})\) and so (P2) and (P3) are also satisfied. Finally, (P5) is implied by any of the other properties. This can be summarised in the following scheme:
As already mentioned, reverse implications do not hold in general.
We finish the section by summarising our main results. Note that (P1)–(P3) and (P5) trivially hold for the inverse Bessel process projected on the filtration generated by \((B^{1}, B^{2})\), as the optional projection is again a strict local martingale; see Sect. 5.1.
Property (P1). In Sect. 6, we introduce a stochastic volatility model where \(X\) is a strict local martingale under suitable conditions on the coefficients of its SDE, but whose optional projection on a specific subfiltration is not a local martingale; see Theorem 6.11. Property (P1) holds because \(X\) admits a true martingale measure; see Proposition 6.2. On the other hand, (P1) is not true for the inverse Bessel process projected on a delayed filtration, i.e., on \({\mathbb{F}}= ({\mathcal{F}}_{t})_{t \ge 0}\) with \({\mathcal{F}}_{t} = {\mathcal{G}}_{t - \epsilon}\) and \(\epsilon >0\); see Sect. 5.2.
Property (P2). A particular case of the stochastic volatility model introduced in Sect. 6 gives a strict local martingale \(N\) such that is not a local martingale, but ; see Example 6.7. In this setting, (P2) holds. For the optional projection on the delayed filtration of the process introduced in Example 5.7, (P2) holds as well. On the other hand, the property does not hold in the case of the inverse Bessel process projected on the delayed filtration; see Theorem 5.5. It is not satisfied in the setting of Example 6.9 either.
Property (P3). In Example 6.8, we consider the sum of \(X\) from the stochastic volatility model of Sect. 6 and a suitable strict local martingale adapted to a Brownian filtration \({\mathbb{F}}\); this is a strict local martingale whose optional projection on \({\mathbb{F}}\) is not a local martingale, but such that (P3) is satisfied. On the other hand, Property (P3) is never satisfied for a delayed filtration; see Proposition 4.12.
Property (P4). This is satisfied by the inverse Bessel process projected on the filtration generated by \((B^{1}, B^{2})\); see Theorem 5.2. It does not hold for any of the examples where (P1) does not hold, e.g. in the case of the inverse Bessel process projected on a delayed filtration.
Property (P5). This holds in all the considered examples except for the inverse Bessel process projected on the delayed filtration; see Theorem 5.5. In particular, Example 6.9 provides a case where (P5) holds and (P2) is not satisfied, whereas in Example 5.7, (P1) does not hold (and therefore also not (P3) and (P4)), whereas (P5) does.
We conclude by providing in Table 1 a schematic recap of the validity of properties (P1)–(P5). If it is not specified whether a property holds or not, it has not been investigated.
For any of the implications of the scheme above, we give a counterexample for the inverse implication:
Moreover, for every pair of properties which do not share any general implication, we have examples where the first is satisfied and the second is not, and vice versa. For instance, in Example 5.7, (P2) is satisfied whereas (P1) and (P3) are not, while the opposite holds in Example 6.9.
4 General results
We start by providing preliminary results which are used throughout the paper. They are also of independent interest.
The first result is due to Stricker [32] and is also stated in [11, Theorem 3.6].
Lemma 4.1
Let \(X=(X_{t})_{t \ge 0}\) be a nonnegative \({\mathbb{G}}\)-local martingale adapted to the filtration \({\mathbb{F}}\subseteq {\mathbb{G}}\). Then
Lemma 4.2
Let \(Q\) be a probability measure equivalent to \(P\) such that in (2.1) is \({\mathbb{F}}\)-adapted. Then .
Proof
Fix an \({\mathbb{F}}\)-stop** time \(\tau \). Recall that . Since is \({\mathbb{F}}\)-adapted, we have
and thus, by the Bayes formula,
□
The following theorem provides a condition under which the \(Q\)-optional projection of \(X\) is an \({\mathbb{F}}\)-local martingale under any ELMM \(Q\).
Theorem 4.3
Suppose \(X\) admits an \({\mathbb{F}}\)-localising sequence which makes it a bounded \((P,{\mathbb{G}})\)-martingale. Then is a \((Q, {\mathbb{F}})\)-local martingale for any \(Q\in {\mathcal{M}}_{{ \mbox{loc}}}(X,{\mathbb{G}})\).
Proof
Let \(Q\in {\mathcal{M}}_{{\mbox{loc}}}(X,{\mathbb{G}})\) and \((\tau _{n})_{n \in \mathbb{N}}\) be the assumed localising sequence. Since \(X^{\tau _{n}}\) is bounded for every \(n \in \mathbb{N}\), \((\tau _{n})_{n \in \mathbb{N}}\) localises \(X\) under \(Q\) as well, and the result follows by Föllmer and Protter [11, Theorem 3.7]. □
We now give a result which provides a class of local martingales whose law under \(P\) is invariant under a change to any equivalent local martingale measure. Jarrow et al. [18, Theorem 3.1] provide a similar finding in the context of asset price bubbles detection.
Proposition 4.4
Let \(X=(X_{t})_{t \ge 0}\) be a \((P,{\mathbb{G}})\)-local martingale given by
where \(W\) is a one-dimensional \((P,{\mathbb{G}})\)-Brownian motion and \(\sigma :\mathbb{R}_{+} \times \mathbb{R}_{+} \to \mathbb{R}\) is such that there exists a unique strong solution to (4.1). Suppose also that \(\sigma (t,X_{t}) \ne 0\) a.s. for almost every \(t \ge 0\). Then \(X\) has the same law under \(P\) as under any \(Q \in {\mathcal{M}}_{{ \mbox{loc}}}(X,{\mathbb{G}})\). In particular, if \(X\) is a strict \((P,{\mathbb{G}})\)-local martingale, it is a strict \((Q,{\mathbb{G}})\)-local martingale under any \(Q \in {\mathcal{M}}_{{\mbox{loc}}}(X,{ \mathbb{G}})\), and if it is a \((P,{\mathbb{G}})\)-true martingale, it is a \((Q,{\mathbb{G}})\)-true martingale under any \(Q \in {\mathcal{M}}_{{\mbox{loc}}}(X,{\mathbb{G}})\).
Proof
Fix a probability measure \(Q \in {\mathcal{M}}_{{\mbox{loc}}}(X,{\mathbb{G}})\). Girsanov’s theorem together with Lévy’s characterisation of Brownian motion implies that \(W\) is a semimartingale under \(Q\) with decomposition
where \(W^{Q}\) is a \(Q\)-Brownian motion and \(A^{Q}\) is a continuous adapted finite-variation process. Then the dynamics of \(X\) under \(Q\) are given by
Since \(X\) is a \(Q\)-local martingale by assumption, the finite-variation part on the right-hand side of (4.3) must be zero, and so the result follows. □
The next results consider the case when there are no ELMMs defined by a non-trivial density adapted to \({\mathbb{F}}^{X}\).
Proposition 4.5
Let \(X\) be a nonnegative \((P,{\mathbb{G}})\)-local martingale, and suppose that
Let \(Q\) be a probability measure with \(Q \in {\mathcal{M}}_{{\mbox{loc}}}(X,{\mathbb{G}})\) and the density process defined in (2.1). Then for any \({\mathbb{F}}^{X}\)-stop** time \(\tau \), we have
Proof
If \(Q \in {\mathcal{M}}_{{\mbox{loc}}}(X,{\mathbb{G}})\), then \(X\) is a \((Q,{\mathbb{F}}^{X})\)-local martingale by Lemma 4.1. By the assumption \({\mathcal{M}}_{{\mbox{loc}}}(X, {\mathbb{F}}^{X}, {\mathbb{F}}^{X}) = \{P\}\), we have for any \({\mathbb{F}}^{X}\)-stop** time \(\tau \) that
□
Corollary 4.6
Let \(X\) be a nonnegative \((P,{\mathbb{G}})\)-local martingale, and suppose that
Then either
or
Proof
Let \(Q \in {\mathcal{M}}_{{\mbox{loc}}}(X,{\mathbb{G}})\). Suppose that \(P \in {\mathcal{M}}_{{\mbox{strict}}}(X,{\mathbb{G}})\). Then there exists \(t \ge 0\) such that \(\mathbb{E}^{P}[X_{t}]< X_{0}\). For the same \(t\), we have
where the last equality follows from Proposition 4.5. Therefore, \(Q \in {\mathcal{M}}_{{\mbox{strict}}}(X,{\mathbb{G}})\). Analogously, it can be seen that if \(P \in {\mathcal{M}}_{{\mbox{true}}}(X,{\mathbb{G}})\), then \(Q \in {\mathcal{M}}_{{\mbox{true}}}(X,{\mathbb{G}})\). □
Corollary 4.7
Let \(X\) be a nonnegative \((P,{\mathbb{G}})\)-local martingale and suppose that
Then for every probability measure \(Q \in {\mathcal{M}}_{{\mbox{loc}}}(X,{\mathbb{G}})\) and every subfiltration \({\mathbb{F}}\subseteq {\mathbb{F}}^{X}\), we have .
Proof
Let \(Q \in {\mathcal{M}}_{{\mbox{loc}}}(X,{\mathbb{G}})\). Then for any \({\mathbb{F}}\)-stop** time \(\tau \), we have by conditioning \(Z_{\infty}\) on \({\mathcal{G}}_{\tau}\) that
where the second equality follows from \({\mathbb{F}}\subseteq {\mathbb{F}}^{X}\) and the last from Proposition 4.5. □
We now recall the equivalent measure extension problem of Larsson [25], together with the most important results relating this to the optional projection of strict local martingales. In the setting introduced in Sect. 2, define first the \({\mathbb{G}}\)-stop** times
and note that \({\mathcal{G}}_{\tau -}=\bigvee _{n\ge 1}{\mathcal{G}}_{\tau _{n}}\). The Föllmer measure \(Q_{0}\) is defined on \({\mathcal{G}}_{\tau -}\) as the probability measure that coincides with \(Q_{n}\) on \({\mathcal{G}}_{\tau _{n}}\) for each \(n \ge 1\), where \(Q_{n} \approx P\) is defined on \({\mathcal{G}}_{\tau _{n}}\) by \(d Q_{n} = X_{\tau _{n}} dP\). For more details, see [25, Sect. 2]. The measure \(Q_{0}\) is only defined on \({\mathcal{G}}_{\tau -}\). Larsson [25, Problem 1], also known as the equivalent measure extension problem, deals with the issue of extending \(Q_{0}\) to \({\mathcal{G}}_{\infty}\). We formulate this problem below.
Problem 4.8
Consider the probability space \((\Omega , {\mathcal{F}}, P)\) equipped with two filtrations \({\mathbb{F}}=({\mathcal{F}}_{t})_{t \ge 0}\), \({\mathbb{G}}=({\mathcal{G}}_{t})_{t \ge 0}\) with \({\mathbb{F}}\subseteq {\mathbb{G}}\), and let \(X\) be a strictly positive \((P,{\mathbb{G}})\)-local martingale. Given the probability measure \(Q_{0}\) introduced above, find a probability measure \(Q\) on \({\mathcal{G}}_{\infty}\) such that
-
1.
\(Q=Q_{0}\) on \({\mathcal{G}}_{\tau -}\);
-
2.
the restrictions of \(P\) and \(Q\) to \({\mathcal{F}}_{t}\) are equivalent for each \(t \ge 0\).
The existence of a solution to this so-called equivalent measure extension problem is connected with the behaviour of the optional projection of \(X\) on \({\mathbb{F}}\) by the following result, which is [25, Corollary 1].
Corollary 4.9
Let \(X\) be a strictly positive, strict \({\mathbb{G}}\)-local martingale. If is an \({\mathbb{F}}\)-local martingale, then the equivalent measure extension problem has no solution.
We now provide a result about optional projections under equivalent local martingale measures on a filtration \({\mathbb{F}}\subseteq {\mathbb{F}}^{X}\). We start with a lemma.
Lemma 4.10
Let \(X\) be a strictly positive \({\mathbb{G}}\)-local martingale. Suppose that the equivalent measure extension problem admits a solution for \(P\), \({\mathbb{F}}\) and \({\mathbb{G}}\) with \({\mathbb{F}}\subseteq {\mathbb{F}}^{X}\). Then it also admits a solution for \(P\), \({\mathbb{F}}\) and \({\mathbb{F}}^{X}\).
Proof
Note first that \(X\) is an \({\mathbb{F}}^{X}\)-local martingale by Lemma 4.1. Let \(Q\) be a solution of the equivalent measure extension problem for \(P\), \({\mathbb{F}}\) and \({\mathbb{G}}\). Also let \(Q_{0}\) and \(Q_{0}^{X}\) be the Föllmer measures on \({\mathcal{G}}_{\tau -}\) and \({\mathcal{F}}^{X}_{\tau -}\), respectively. By construction, we have that \(Q_{0}^{X}\) coincides with \(Q_{0}\) on \({\mathcal{F}}^{X}_{\tau -}\). This implies that \(Q\) is also an extension of \(Q_{0}^{X}\) and equivalent to \(P\) on \({\mathcal{F}}_{t}\) for every \(t \ge 0\). Then \(Q\) is a solution for the equivalent measure extension problem for \(P\), \({\mathbb{F}}\) and \({\mathbb{F}}^{X}\). □
Theorem 4.11
Let X be a strictly positive, strict \((P, {\mathbb{G}})\)-local martingale. Consider a probability measure \(\tilde{P} \in {\mathcal{M}}_{{ \mbox{strict}}}(X,{\mathbb{G}})\) and suppose that \(X\) has the same law under \(P\) as under \(\tilde{P}\). Also assume that the equivalent measure extension problem admits a solution for \(P\), \({\mathbb{F}}\) and \({\mathbb{G}}\), and that \({\mathbb{F}}\subseteq {\mathbb{F}}^{X}\). Then the \(\tilde{P}\)-optional projection of \(X\) on \({\mathbb{F}}\) is not a \((\tilde{P},{\mathbb{F}})\)-local martingale.
Proof
By Lemma 4.10, the equivalent measure extension problem admits a solution for \(P\), \({\mathbb{F}}\) and \({\mathbb{F}}^{X}\). Consider now the construction of the Föllmer measure as above. The stop** times from (4.3) have by the assumption the same law under \(P\) as under \(\tilde{P}\), and as \(d Q_{n} = X_{\tau _{n}} dP\) and \(d \tilde{Q}_{n} = X_{\tau _{n}} d\tilde{P}\), the measures \(Q_{n}\) and \(\tilde{Q}_{n}\) coincide on \({\mathcal{F}}_{\tau _{n}}^{X}\). Therefore the equivalent measure extension problem also admits a solution for \(\tilde{P}\), \({\mathbb{F}}\) and \({\mathbb{F}}^{X}\). By Theorem 4.9, it follows that the \(\tilde{P}\)-optional projection of \(X\) on \({\mathbb{F}}\) is not a \((\tilde{P},{\mathbb{F}})\)-local martingale. □
Note that Proposition 4.4 implies that Theorem 4.11 can be applied to all processes with dynamics as in (4.1). An important application when \({\mathbb{F}}\subseteq {\mathbb{F}}^{X}\) is the delayed information setting.
We conclude the section with a general result about optional projections on a delayed filtration. Such a finding also provides a counterexample to the converse implication of Theorem 4.9; see Proposition 4.14.
Proposition 4.12
Let \(X\) be a nonnegative strict \((Q,{\mathbb{G}})\)-local martingale and take \({\mathcal{F}}_{t} = {\mathcal{G}}_{t-h}\), \(t \ge 0\), for a given \(h>0\). Then is not a \(Q\)-local martingale.
Proof
We prove the claim by contradiction. Let \((\tau _{n})_{n \in \mathbb{N}}\) be a localising sequence of \({\mathbb{F}}\)-stop** times for . Then Föllmer and Protter [11, Theorem 3.7] show that such a sequence also localises \(X\) in \({\mathbb{G}}\). Since \(X\) is a strict \((Q, {\mathbb{G}})\)-local martingale, there exists \(t \in [h,\infty )\) such that \(\delta _{t} := Q[B_{t}] > 0\) with
Denote now \(A_{t}^{n} := \{\tau _{n}>t\} \cap B_{t}\). Note that \(A^{n}_{t} \in {\mathcal{F}}_{t} = {\mathcal{G}}_{t-h}\) because \(\tau _{n}\) is an \({\mathbb{F}}\)-stop** time. Since \(Q[\tau _{n}>t]\) increases to 1 as \(n \to \infty \) by dominated convergence, there exists \(N>0\) such that for all \(n > N\), we have
For any \(\omega \in A^{n}_{t}\), we have
where the second and fourth equalities follow since \(\mathbf{1}_{\{\tau _{n} > t\}}\) is \({\mathcal{G}}_{t-h}\)-measurable and the strict inequality comes from the definitions of \(A^{n}_{t}\) and \(B_{t}\). Thus \((\tau _{n})_{n \in \mathbb{N}}\) is not a localising sequence for \(X\), and cannot be a \(Q\)-local martingale. □
Proposition 4.12 immediately implies the following corollary.
Corollary 4.13
Let \(X\) be a nonnegative \({\mathbb{G}}\)-strict local martingale and \({\mathcal{F}}_{t} = {\mathcal{G}}_{t-h}\), \(t \ge 0\), for a given \(h>0\). Then
i.e., (P3) does not hold.
The next result, together with Proposition 4.12, shows that optional projections of strict local martingales on delayed filtrations provide a family of examples showing that the sufficient condition of Larsson [25, Corollary 1] is not necessary.
Proposition 4.14
Take a strictly positive strict \({\mathbb{G}}\)-local martingale \(X\) and \({\mathcal{F}}_{t} = {\mathcal{G}}_{t-h}\), \(t \ge 0\), for a given \(h>0\). Then the equivalent measure extension problem admits no solution for \(P\), \({\mathbb{F}}\) and \({\mathbb{G}}\).
Proof
Let \(Q_{0}\) be the Föllmer measure introduced above and \(Q\) an extension of \(Q_{0}\) to \({\mathcal{G}}_{\infty}\). We show that there exists a time \(t \ge 0\) such that the restrictions of \(P\) and \(Q\) to \({\mathcal{F}}_{t}\) are not equivalent. Since \(X\) is a strict local martingale, there exists some \(r>0\) such that \(E[X_{s}]< X_{0}\) for all \(s \ge r\). Take \(t \ge r+h\) and let \(\tau \) be the stop** time introduced in (4.4). Then we have
see Larsson [25]. Since \(\{\tau \le t-h\} \in {\mathcal{F}}_{t}\), (4.5) implies that the restrictions of \(Q\) and \(P\) to \({\mathcal{F}}_{t}\) are not equivalent. □
5 The inverse Bessel process
In this section, we study (P1)–(P5) in the case of the inverse Bessel process. Let \(B^{1}=(B^{1}_{t})_{t \ge 0}\), \(B^{2}= (B^{2}_{t})_{t \ge 0}\), \(B^{3}=(B^{3}_{t})_{t \ge 0}\) be standard, independent Brownian motions, starting at \((B^{1}_{0},B_{0}^{2},B_{0}^{3})=(1,0,0)\), on \((\Omega , {\mathcal{F}}, P)\). We specify the filtration later. In the notation of Sect. 2, we now assume that the nonnegative local martingale \(X\) is given by the inverse Bessel process
Itô’s formula implies that under the original probability measure \(P\), \(X\) has the dynamics
with \(X_{0} = 1\). We note that \(X\) also solves the SDE
where the process \(W\) with
is a one-dimensional Brownian motion by Lévy’s characterisation theorem.
In the notation of Sect. 2, we now consider two different choices for the filtration \({\mathbb{G}}\). In Sect. 5.1, we let \({\mathbb{G}}\) be the filtration generated by \((B^{1}, B^{2}, B^{3})\), whereas in Sect. 5.2, it is generated by the Brownian motion \(W\) in (5.3). In both cases, \(X\) is a strict \({\mathbb{G}}\)-local martingale, and it is therefore interesting to investigate (P1)–(P5) when \(X\) is projected on a smaller filtration \({\mathbb{F}}\). It is well known that the projection of \(X\) on the natural filtration of \(B^{1}\) is not a local martingale; see Föllmer and Protter [11, Theorem 5.1]. See also Kardaras and Ruf [24] for a more general study of projections of sums of Bessel processes. In Sect. 5.1, we consider the case when \({\mathbb{F}}\) is generated by \(B^{1}\) and \(B^{2}\), while in Sect. 5.2, we study delayed information.
Remark 5.1
In the case of the inverse Bessel process, whether \({\mathcal{M}}_{{\mbox{loc}}}(X,{\mathbb{G}})\) is a singleton or not depends on the choice of \({\mathbb{G}}\). If \({\mathbb{G}}\) is generated by one Brownian motion, as in Sect. 5.2 below, \(P\) is the only ELMM; see also Delbaen and Schachermayer [8].
In contrast, if \({\mathbb{G}}\) is the natural filtration of \((B^{1}, B^{2}, B^{3})\), as in Sect. 5.1 below, we have \({\mathcal{M}}_{{\mbox{loc}}}(X,{\mathbb{G}}) \ne \{P\}\). Consider for example the \({\mathbb{G}}\)-predictable processes
and \(Z=(Z_{t})_{t \ge 0}\) defined by
with
for a given \(\delta >0\). With this choice of \(\alpha ^{i}\), \(i=1,2\), the stochastic exponential \(Z\) in (5.4) is a \(\mathbb{G}\)-adapted process such that \([X,Z]=0\) a.s. Moreover, the Novikov condition for \(Z\) is fulfilled since
and so \(Z\) is a uniformly integrable martingale. Defining \(Q\) by
we thus have \(Q \in {\mathcal{M}}_{{\mbox{loc}}}(X, {\mathbb{G}})\) and \(Q \ne P\).
However, Proposition 4.4 together with (5.2) implies that \({\mathcal{M}}_{{\mbox{true}}}(X,{ \mathbb{H}}) = \emptyset \) for every filtration ℍ to which \(X\) is adapted, i.e., there does not exist any measure \(Q \approx P\) such that \(X\) is a true martingale under \(Q\) in ℍ. This also means that for the examples of Sects. 5.1 and 5.2, (P1) holds if and only if (P3) holds.
5.1 Optional projection on the filtration generated by \((B^{1}, B^{2})\)
In this section, we provide an example for which (P4) is satisfied by introducing two filtrations \({\mathbb{F}}\subseteq {\mathbb{G}}\) such that for the inverse Bessel process \(X\), we have
Let \({\mathbb{G}}\) be the natural filtration of \((B^{1}, B^{2}, B^{3})\) and \({\mathbb{F}}\) be generated by \((B^{1}, B^{2})\). As usual, we denote the optional projection of \(X\) on \({\mathbb{F}}\) by . Föllmer and Protter [11, Theorem 5.2] state that is an \({\mathbb{F}}\)-local martingale and has the form
with
Here and below, \(K_{n}\), \(n \ge 0\), are the modified Bessel functions of the second kind. In particular, we have
where
Since is an \({\mathbb{F}}\)-local martingale, we focus here on (P4). The following theorem shows that it holds in this example.
Theorem 5.2
Let \({\mathbb{F}}\) be the natural filtration of \((B^{1},B^{2})\). Then
Proof
We introduce the sequence of \({\mathbb{F}}\)-stop** times \((\tau _{n})_{n \in \mathbb{N}}\) with
We have \(\lim _{n \to \infty} \tau _{n} = \infty \) because the origin \((0,0)\) is polar for a two-dimensional Brownian motion; so the sequence localises \(X\) to a bounded martingale. Given a probability measure \(Q \in {\mathcal{M}}_{{\mbox{loc}}}(X, {\mathbb{G}}, {\mathbb{F}})\), Theorem 4.3 implies that is a \((Q, {\mathbb{F}})\)-local martingale, and so \({\mathcal{M}}_{{\mbox{loc}}}(X, {\mathbb{G}}, {\mathbb{F}}) \subseteq {\mathcal{M}}^{o}_{{\mbox{loc}}}(X, {\mathbb{G}}, { \mathbb{F}})\).
To prove the converse inclusion, take \(Q \in {\mathcal{M}}^{o}_{{\mbox{loc}}}(X, {\mathbb{G}}, {\mathbb{F}})\), which means that is a \((Q, {\mathbb{F}})\)-local martingale and is \({\mathbb{F}}\)-adapted. By Lemma 4.2, ; so is both a \((P, {\mathbb{F}})\)- and a \((Q, {\mathbb{F}})\)-local martingale, and thus is zero by Girsanov’s theorem. Now
where \(\alpha ^{1}\) and \(\alpha ^{2}\) are \({\mathbb{F}}\)-predictable processes such that the Doléans-Dade exponential in (5.7) is well defined and a uniformly integrable martingale. By (5.5)–(5.7), we have
Since the left-hand side of (5.8) is zero and \(\psi (x,y,t)<0\) for \(x,y<\infty \) and \(t>0\) (see for example Yang and Chu [34]), we get
\(P\)-almost surely, as \(P\) is equivalent to \(Q\). On the other hand, from (5.1) and (5.7) and since , it follows that
and this is zero \(P\)-a.s. by (5.9). Since \(X\) is a \((P,{\mathbb{G}})\)-local martingale, this implies that \(X\) is also a \((Q,{\mathbb{G}})\)-local martingale. Hence \(Q \in {\mathcal{M}}_{{\mbox{loc}}}(X, {\mathbb{G}}, {\mathbb{F}})\). □
5.2 Delayed information
We now consider a market model where \({\mathbb{G}}\) is the filtration generated by the Brownian motion \(W\) in (5.3) and \({\mathbb{F}}=({\mathcal{F}}_{t})_{t \ge 0}\) is given by \({\mathcal{F}}_{t}={\mathcal{G}}_{t-\epsilon}\) with \(\epsilon >0\). As explained above, this means that investors have access to the information about \(W\), with respect to which \(X\) is adapted by (5.2), only with a positive delay \(\epsilon \).
In this setting, Proposition 4.12 implies that the optional projection of \(X\) on \({\mathbb{F}}\) is not a local martingale so that (P1), (P3) and (P4) are not satisfied. We show that (P2) and (P5) (which are equivalent since \({\mathcal{M}}_{{\mbox{loc}}}(X,{\mathbb{G}})= \{ P \}\)) do not hold either. However, in Example 5.7, we introduce a modification \(M\) of the inverse Bessel process \(X\) such that (P2) and (P5) are satisfied, but (P1), (P3) and (P4) are not.
We start our analysis with the following result.
Lemma 5.3
For every \(\epsilon >0\), we have
where \(\mbox{erf}(x):=\frac{2}{\sqrt{\pi}}\int _{0}^{x} e^{-t^{2}}dt\).
Proof
We have
with
We set \(R=\sqrt{a^{2}+b^{2}+c^{2}}\), \(r=\sqrt{x^{2}+y^{2}+z^{2}}\). The above integral can be written in spherical coordinates as
Thus
□
Proposition 5.4
Let \({\mathbb{G}}=({\mathcal{G}}_{t})_{t \ge 0}\) be the filtration generated by the Brownian motion \(W\) in (5.3) and \({\mathbb{F}}=({\mathcal{F}}_{t})_{t \ge 0}\) be given by \({\mathcal{F}}_{t}:={\mathcal{G}}_{t -\epsilon}\) with \(\epsilon >0\). Then
Proof
By (5.2) and (5.3), we have \(\sigma (W_{t}) \subseteq \sigma (B^{1}_{t},B_{t}^{2},B_{t}^{3})\). Moreover, \(X\) is like its reciprocal, the Bessel process, a Markov process with respect to \(\mathbb{G}\). Combining this with Lemma 5.3 gives
as \(X_{t}\) is \(\sigma (W_{t})\)-measurable by the Markov property. □
By Proposition 5.4, we have
where \(f(x)=x \mbox{erf}(\frac{1}{x\sqrt{2\epsilon}} )\). Since
Itô’s formula gives
The above expression shows that the optional projection is a strict \({\mathbb{F}}\)-supermartingale as the drift is strictly negative. Note that this is stated for the projection on the delayed filtration for a general nonnegative strict local martingale in Proposition 4.12. Since we have \({\mathcal{M}}_{{\mbox{loc}}}(X,{\mathbb{G}}) = \{P\}\) by Remark 5.1, this implies that
i.e., (P1), (P3) and (P4) do not hold.
Moreover, the following result implies that (P2) and (P5) are not satisfied.
Theorem 5.5
Let \({\mathbb{G}}=({\mathcal{G}}_{t})_{t \ge 0}\) be the filtration generated by the Brownian motion \(W\) in (5.3) and \({\mathbb{F}}=({\mathcal{F}}_{t})_{t \ge 0}\) with \({\mathcal{F}}_{t}:={\mathcal{G}}_{t -\epsilon}\) with \(\epsilon >0\). Then
To prove Theorem 5.5, we rely on some results provided by Mijatović and Urusov [27] which we now recall. Consider the state space \(J=({\ell},r)\), \(-\infty \le {\ell} < r \le \infty \), and a \(J\)-valued diffusion \(Y=(Y_{t})_{t \ge 0}\) on some filtered probability space, governed by the SDE
where \(Y_{0}=y_{0} \in J\), \(B\) is a one-dimensional Brownian motion and \(\mu _{Y}, \sigma _{Y} : \mathbb{R}\to \mathbb{R}\) satisfy
and
Here \(L_{{\mbox{loc}}}^{1}(J)\) denotes the class of locally integrable functions \(\psi \) on \(J\), i.e., the measurable functions \(\psi : (J,\mathcal{B}(J)) \rightarrow (\mathbb{R},\mathcal{B}( \mathbb{R}))\) that are Lebesgue-integrable on compact subsets of \(J\). Consider the stochastic exponential
with \(g: \mathbb{R}\to \mathbb{R}\) such that
Put \(\bar{J}=[{\ell},r]\) and, fixing an arbitrary \(c \in J\), define
Define \(s(r)=\lim _{x \to r-}s(x)\), \(s({\ell})=\lim _{x \to {\ell}+}s(x)\) and analogously for \(\tilde{s}\) and \(\tilde{\rho}\). Define
and \(L_{{\mbox{loc}}}^{1}({\ell}+)\) analogously. We report here [27, Theorem 2.1].
Theorem 5.6
Let the functions \(\mu _{Y}\), \(\sigma _{Y}\) and \(g\) satisfy conditions (5.13), (5.14) and (5.16) and let \(Y\) be a solution of the SDE (5.12). Then the Doléans-Dade exponential given by (5.15) is a true martingale if and only if both of the following requirements are satisfied:
-
1)
It does not hold that
$$ \tilde{s}(r)< \infty \quad \textit{and} \quad \frac{\tilde{s}(r)-\tilde{s}}{\tilde{\rho}\sigma _{Y}^{2}} \in L_{{ \mbox{loc}}}^{1}(r-), $$(5.21)or it holds that
$$ s(r)< \infty \quad \textit{and} \quad \frac{(s(r)-s)g^{2}}{\rho \sigma _{Y}^{2}} \in L_{{\mbox{loc}}}^{1}(r-). $$(5.22) -
2)
It does not hold that
$$ \tilde{s}({\ell})>-\infty \quad \textit{and} \quad \frac{\tilde{s}-\tilde{s}({\ell})}{\tilde{\rho}\sigma _{Y}^{2}} \in L_{{ \mbox{loc}}}^{1}({\ell}+), $$or it holds that
$$ s({\ell})>-\infty \quad \textit{and} \quad \frac{(s-s({\ell}))g^{2}}{\rho \sigma _{Y}^{2}} \in L_{{ \mbox{loc}}}^{1}({\ell}+). $$
We now use Theorem 5.6 in order to prove Theorem 5.5.
Proof of Theorem 5.5
By (5.10), we have
with
By Girsanov’s theorem, there exists a probability measure only if the Doléans-Dade exponential
with
is a true martingale. In order to prove that this is not the case, we apply Theorem 5.6. In our case, by (5.2), (5.23) and (5.25), we have \(Y=X\), \(J=(0,\infty )\), \(\mu _{Y} \equiv 0\), \({\sigma _{Y}(x)=-x^{2}}\) and
Note that conditions (5.13) and (5.14) are satisfied. In order to prove that (5.16) also holds, it is enough to check that
This holds if and only if
i.e., if and only if
The last condition if fulfilled since \(F(0)=0\) and \(F'(y) = \frac{4}{\sqrt{\pi}}y^{2}e^{-y^{2}}>0\) for every \(y>0\). So we have (5.26) and the assumptions of Theorem 5.6 are thus satisfied.
We now show that condition (5.22) fails whereas (5.21) is satisfied, implying that the process \(Z\) introduced in (5.24) is not a martingale. Consider first \(\rho \) and \(s\) defined in (5.17) and (5.19), respectively. We have \(\rho \equiv 1\) so that \(s(x)=x-c\) for any \(c>0\). This implies that \(s(\infty )=+\infty \) so that condition (5.22) fails. We now check condition (5.21). We have
and so
Hence for every \(\delta >0\), there exists \(\bar{x}>0\) such that
We fix \(\delta <1\) and choose \(\bar{x}>0\) such that (5.27) holds. For every \(x>\bar{x}\), we get the estimate
Thus for every \(x>\bar{x}\), we have
Taking \(\tilde{\rho}\) as in (5.18) and choosing \(c=\bar{x}\), this implies for every \(x > \bar{x}\) that
Hence, taking \(\tilde{s}\) as in (5.20) and choosing again \(c = \bar{x}\), we have for every \(x > \bar{x}\) that
so that \(\tilde{s}(\infty )<\infty \), and in particular,
Together with (5.28), this implies
for every \(x > \bar{x}\), so that
Therefore, as \(\delta <1\) by the choice of \(\bar{x}\), we have \(\frac{\tilde{s}(\infty )-\tilde{s}}{\tilde{\rho}\sigma _{Y}^{2}} \in L_{{\mbox{loc}}}^{1}(\infty -)\) and (5.21) is satisfied. By Theorem 5.6, it follows that \(Z\) in (5.24) is not a martingale. □
We now give an example of a process whose optional projection on a delayed filtration is not a local martingale, but admits an equivalent local martingale measure.
Example 5.7
Consider again the filtration \({\mathbb{G}}=({\mathcal{G}}_{t})_{t \ge 0}\) generated by the Brownian motion \(W\) in (5.3), and define \({\mathbb{F}}=({\mathcal{F}}_{t})_{t \ge 0}\) by \({\mathcal{F}}_{t}:={\mathcal{G}}_{t -\epsilon}\) with \(\epsilon >0\). Introduce the process \(M=(M_{t})_{t \ge 0}\) with \(M_{t} = X_{t} - \int _{0}^{t} (1+s) dW_{s}\), where \(X\) is the inverse Bessel process. Thus
where the last equality comes from Proposition 5.4 and the martingale property of \(\int (1+s)dW_{s}\). From (5.10), we therefore have
It is then clear that is not an \({\mathbb{F}}\)-local martingale. This implies that
since \({\mathcal{M}}_{{\mbox{loc}}}(M,{\mathbb{G}}) = \{P\}\) by Remark 5.1. So (P1), (P3) and (P4) do not hold here.
We now introduce the Doléans-Dade exponential
with
and define \(\bar{Q}\) by \(\frac{d\bar{Q}}{dP}|_{{\mathcal{G}}_{t}}=\bar{Z}_{t}\), \(t \ge 0\). By (5.26), we have \(|\bar{\alpha}_{t}| \le \sqrt{\frac{2}{\pi}}\epsilon ^{-\frac{3}{2}}(1+t)^{-1}\) for all \(t \ge 0\). Thus
and so Novikov’s condition is satisfied and \(\bar{Z}\) is a uniformly integrable martingale. By Girsanov’s theorem, . Hence (P2) and (P5) are satisfied.
Remark 5.8
Example 5.7 provides a case where we can explicitly compute the optional projection of the stochastic process \(M\). In particular, in contrast to the general setting, the nonnegativity of the process is not needed here to ensure the existence of the optional projection. Furthermore, \(M\) retains the supermartingale property since it is the sum of \(- \int _{0}^{t} (1+s) dW_{s}\), which is a martingale, and \(X\), which is a local martingale bounded from below. For this reason, the optional projection is also a supermartingale.
Remark 5.9
In Sect. 5.2, \({\mathbb{G}}\) is the natural filtration of \(W\) and hence coincides with the natural filtration of \(X\) by (5.2). From (5.11), we obtain that (P1) is not satisfied in this setting, and also not if we project from the natural filtration \(\bar {{\mathbb{G}}}\) of \((B^{1},B^{2},B^{3})\). In fact, from Corollary 4.6, we have \({\mathcal{M}}_{{\mbox{loc}}}(X, \bar {{\mathbb{G}}})={\mathcal{M}}_{{ \mbox{strict}}}(X, \bar {{\mathbb{G}}})\), and Proposition 4.12 implies that \({\mathcal{M}}_{{\mbox{strict}}}(X, \bar {{\mathbb{G}}}) \cap {\mathcal{M}}^{o}_{{ \mbox{loc}}}(X, {\mathbb{F}}) = \emptyset \) if \({\mathcal{F}}_{t} = \bar {{\mathcal{G}}}_{t-h}\) or \({\mathcal{F}}_{t}= {\mathcal{F}}^{X}_{t-h}\), \(t \ge 0\), with \(h>0\). Note that when \({\mathbb{F}}\) is the delayed filtration of \({\mathbb{F}}^{X}\), one can get the same result from Corollary 4.7, which implies that for every \(Q \in {\mathcal{M}}_{{\mbox{loc}}}(X,\bar{{\mathbb{G}}})\),
In particular, for that choice of \({\mathbb{F}}\), the \(Q\)-optional projection is a \((Q,{\mathbb{F}})\)-local martingale if and only if \(Q\) is an equivalent local martingale measure for , which has dynamics given in (5.10). However, this is never the case because
by the same arguments as in the proof of Theorem 5.5.
6 A stochastic volatility model
In this section, we assume that \(X\) comes from a stochastic volatility model and is a local martingale with respect to a filtration \({\mathbb{G}}\). We then consider a subfiltration \(\hat {{\mathbb{F}}}\) of \({ \mathbb{G}}\) such that (P1) is satisfied even if the optional projection of \(X\) on \(\hat{{\mathbb{F}}}\) is not a local martingale; see Theorem 6.11 below. We give Examples 6.7 and 6.8 to show when (P2) or (P3) hold, respectively. Example 6.9 provides instead a setting where (P5) is satisfied whereas (P2) is not. Finally, Example 6.12 shows a case where (P3) does not hold whereas (P1) does.
We introduce a three-dimensional Brownian motion \(B = (B^{1},B^{2},B^{3})\) on a filtered probability space \((\Omega , \mathcal{F}, P, {\mathbb{G}})\), and consider a stochastic volatility model of the form
where \(\alpha , \rho , L \in \mathbb{R}_{+}\) and \(\sigma _{1}, \sigma _{2}, a_{1}, a_{2}, a_{3} \in \mathbb{R}\).
Remark 6.1
The class of stochastic volatility models (6.1) and (6.2) reduces to the class considered in Sin [31] for \(a_{3}=0\) and to the class presented in Biagini et al. [2] for \(\rho =0\) and \(\alpha =1\). Therefore, all the results of this section can be applied to these particular cases. For analogous studies of a similar class of stochastic volatility models, see also Lions and Musiela [26].
The next result states that under a condition on the coefficients of (6.1) and (6.2), \(X\) is a strict \((P,{\mathbb{G}})\)-local martingale, but \({\mathcal{M}}_{{\mbox{true}}}(X, {\mathbb{G}}) \ne \emptyset \).
Proposition 6.2
The system of SDEs (6.1) and (6.2) admits a unique strong solution \((X,v)\). The process \(X\) satisfies the following properties:
-
1)
\(X\) is a local martingale, and it is a true martingale if and only if
$$ a_{1} \sigma _{1} + a_{2} \sigma _{2} \le 0. $$ -
2)
For every \(T>0\), there exists a probability measure \(Q\) equivalent to \(P\) on \({\mathcal{G}}_{T}\) such that \(X\) is a true \(Q\)-martingale on \([0,T]\).
Proof
Existence and uniqueness of a strong solution to (6.1) and (6.2) can be proved as an extension of [31, Remark 2.2]. The proofs of the two claims are easy extensions of the proofs of [31, Theorem 3.2] and [2, Theorem 5.1], respectively. □
We now give two results that provide a relation between the expectation of \(X\) and the explosion time of a process associated to the volatility \(v\).
Lemma 6.3
Let \((X,v)\) satisfy the system of SDEs (6.1) and (6.2). Then
where \(\hat{v}=(\hat{v}_{t})_{t \ge 0}\) is given by
Proof
This result is a particular case of Proposition 6.10 below. □
Lemma 6.4
The (unique) solution to (6.3) explodes to \(+\infty \) in finite time with positive probability if and only if \(a_{1}\sigma _{1}+a_{2}\sigma _{2}>0\). Moreover, if \(a_{1}\sigma _{1}+a_{2}\sigma _{2}>0\), it does not reach zero in finite time.
Proof
The result is given in Sin [31, Lemma 4.3] when \(a_{3}=0\), and proved by using Feller’s test of explosions. In that framework, the test is applicable because \(\hat{v}\) is a one-dimensional Itô diffusion with respect to the Brownian motion \((a \cdot B)/ |a|\), with \(a=(a_{1},a_{2})\) and \(B=(B^{1},B^{2})\). The author introduces \(\sigma = (\sigma _{1},\sigma _{2})\) and proves that \(\hat{v}\) explodes to \(+\infty \) with positive probability in finite time and does not reach the origin in finite time if \(a \cdot \sigma >0\). In our case, the proof comes as an easy extension by considering now \(a=(a_{1},a_{2},a_{3})\) and \(\sigma = (\sigma _{1},\sigma _{2},0)\). □
The following is from Karatzas and Ruf [22, Proposition 5.2].
Lemma 6.5
Fix an open interval \(I=(\ell ,r)\) with \(-\infty \le \ell < r \le \infty \) and consider the stochastic differential equation
where \(\xi \in I\) and \(W\) denotes a standard Brownian motion. Suppose that the functions \(b: (I,{\mathcal{B}}(I)) \to (\mathbb{R},{\mathcal{B}}(\mathbb{R}))\) and \(s: (I,{\mathcal{B}}(I)) \to (\mathbb{R}\setminus \{0\},{\mathcal{B}}( \mathbb{R}\setminus \{0\}))\) are measurable and satisfy
Call \(\tau ^{\xi}\) the first time when the weak solution \(Y\) to (6.4), unique in the sense of distribution, exits the open interval \(I\). Introduce the function \(U:(0,\infty ) \times I \to \mathbb{R}_{+}\) by
If the functions \(s\) and \(b\) are locally Hölder-continuous on \(I\), the function \(U\) is of class \(C([0,\infty )\times I) \cap C^{1,2}((0,\infty )\times I)\).
Applying Lemma 6.5 to our setting, we get the following result.
Lemma 6.6
Consider the solution \(\hat{v}\) to (6.3), supposing \(a_{1} \sigma _{1} + a_{2} \sigma _{2}>0\) and \(\rho = 0\). Define the function \(m:(0,\infty ) \to \mathbb{R}_{+}\) by
Then \(m \in C^{1}((0,\infty ))\).
Proof
Note that \(\hat{v}\) is a one-dimensional Itô diffusion with respect to the Brownian motion \(W=(a \cdot B) /|a|\), with \(a=(a_{1},a_{2},a_{3})\) and \(B=(B^{1},B^{2},B^{3})\). In particular, we have
We are thus in the setting of Lemma 6.5 with \(I=(0,\infty )\) and
Condition (6.5) is satisfied because for every compact interval \(K \subseteq (0,\infty )\), we have
Moreover, \(s\) and \(b\) are locally Hölder-continuous on \((0,\infty )\). The result follows from Lemma 6.5 since \(\hat{v}\) does not reach zero in finite time by Lemma 6.4. □
We are now ready to state our first result in this setting.
Example 6.7
Consider the solution \((X,v)\) to the system of SDEs (6.1) and (6.2), supposing \(\rho =0\) and \(a_{1}\sigma _{1} +a_{2}\sigma _{2}>0\). Let ℍ be the filtration generated by \((B^{1}, B^{2}, B^{3})\) and \({\mathbb{F}}\) the filtration generated by a fourth Brownian motion \(B^{4}\), independent of \((B^{1},B^{2},B^{3})\). Introduce the \({\mathbb{F}}\)-local martingale \(N=(N_{t})_{t \ge 0}\) with dynamics given by
where \(m'\) is the first derivative of the function \(m\) from (6.6). Then the stochastic process \(R:=N+X\) is a \({\mathbb{G}}\)-local martingale for \({\mathbb{G}}:= {\mathbb{H}}\vee {\mathbb{F}}\), and its optional projection on \({\mathbb{F}}\) is by Lemma 6.3. Thus is not an \({\mathbb{F}}\)-local martingale because \(m\) is not constant by Lemma 6.4. We introduce the stochastic exponential
with
As \(m\in C^{1}((0,\infty ))\) from (6.6) is increasing, we get \(\int _{0}^{\infty }\alpha _{s}^{2} ds \le \int _{0}^{\infty } \frac{1}{(1+s)^{2}} ds < \infty \). So Novikov’s condition is satisfied, \(Z\) is an \({\mathbb{F}}\)-uniformly integrable martingale and we can introduce the probability measure \(Q \approx P\) defined by \(Z\). Then is a \((Q,{\mathbb{F}})\)-local martingale. Hence (P2) is satisfied.
Example 6.8
In the setting of Example 6.7, introduce a strict \((P,{\mathbb{F}})\)-local martingale \(Y\) independent of ℍ. Let \(Q\) be the probability measure from Proposition 6.2 under which \(X\) is a true martingale. Since the density of \(Q\) with respect to \(P\) only depends on \((B^{1},B^{2},B^{3})\), \(Y\) is a strict local martingale also with respect to \(Q\), and so is \(U:=Y+X\). The \(Q\)-optional projection of \(U\) on \({\mathbb{F}}\) is
which is a \((Q,{\mathbb{F}})\)-local martingale. Thus \(P \notin {\mathcal{M}}^{o}_{{\mbox{loc}}}(U, {\mathbb{F}})\), but
i.e., (P3) holds for \(U\).
The next example provides a case where (P2) does not hold whereas (P5) does.
Example 6.9
Consider again the solution \((X,v)\) to (6.1) and (6.2), supposing \(\rho =0\) and \(a_{1}\sigma _{1} +a_{2}\sigma _{2}>0\). Let ℍ be the filtration generated by \((B^{1}, B^{2}, B^{3})\) and \({\mathbb{F}}\) a filtration independent of ℍ. Consider a \((P,{\mathbb{F}})\)-local martingale \(\bar{N}\) such that the measure \(d[\bar{N}]_{t}\) is singular with respect to Lebesgue measureFootnote 1. Then the process \(\bar{R}:=\bar{N}+X\) is a local martingale for the filtration \({\mathbb{G}}:= {\mathbb{H}}\vee {\mathbb{F}}\). As in Example 6.7, we obtain that the optional projection of \(\bar{R}\) on \({\mathbb{F}}\) is given by , where \(m\) is defined in (6.6). Thus is not an \({\mathbb{F}}\)-local martingale as \(m\) is not a constant function.
Since for any \({\mathbb{F}}\)-adapted density \(Z\), the measure \(d[\bar{N},Z]_{t}\) is absolutely continuous with respect to \(d[\bar{N}]_{t}\) and hence singular with respect to Lebesgue measure, we have . Hence (P2) does not hold. Consider now the optional projection of \(\bar{R}\) on \({\mathbb{F}}\) under the martingale measure \(Q\) from Proposition 6.2. Since \(X\) is a true martingale under \(Q\), the process is a local martingale under \(Q\) itself, and so (P5) is satisfied.
The next result is a generalisation of Sin [31, Lemma 4.2].
Proposition 6.10
Suppose the two-dimensional process \((X,v)\) satisfies the system of SDEs (6.1) and (6.2) and call \({\mathbb{F}}\) the natural filtration of \(B^{1}\). Introduce the process \((\hat{X}_{t})_{t \ge 0}\) defined by
and call \(\hat {{\mathbb{F}}}\) the natural filtration of \(\hat{X}\). Then for every \(\hat {{\mathbb{F}}}\)-stop** time \(\hat{\tau}\), there exists an \({\mathbb{F}}\)-stop** time \(\tau \) such that
where \(\hat{v}\) is defined in (6.3).
Proof
By (6.1), \(X\) is a positive \((P, {\mathbb{G}})\)-local martingale. Define the sequence of \({\mathbb{G}}\)-stop** times \((\tau _{n})_{n \in \mathbb{N}}\) by
with \(v=(v_{t})_{t \ge 0}\) as in (6.2). Then the process \(X^{n}\) defined by
is a \((P, {\mathbb{G}})\)-local martingale for \(n \in \mathbb{N}\). Define \(Z^{n}\) by
Then \(X^{n}\) is the stochastic exponential of \(Z^{n}\), and since \([Z^{n},Z^{n}]_{t} \le n\) for all \(t \ge 0\), \(X^{n}\) is a \((P,{\mathbb{G}})\)-martingale for every \(n \in \mathbb{N}\) by Novikov’s condition and \((\tau _{n})_{n \in \mathbb{N}}\) reduces \(X\) with respect to \((P,{\mathbb{G}})\). Since \(X^{n}\) stopped at \(\hat{\tau}\) is also a \((P, {\mathbb{G}})\)-martingale, we can define a new probability measure \(Q_{n}\) on \({\mathcal{G}}_{T}\) as
By dominated convergence,
by the definition of \(Q_{n}\). Moreover, Girsanov’s theorem implies that the processes \(B^{(n,1)}\), \(B^{(n,2)}\) defined by
are Brownian motions under \(Q_{n}\), \(n \ge 0\). Therefore under \(Q_{n}\), the process \(v\) has the dynamics
Introduce the SDE
which admits a unique strong solution \(\hat{v}\) by the same arguments as in the proof of Sin [31, Lemma 4.2], and consider the process \(\hat{X}\) introduced in (6.7). Note that on \([\!\![0, \tau _{n} \wedge \hat{\tau}]\!\!]\), \((\hat{X},v)\) has the same distribution under \(Q_{n}\) as \((B^{1},\hat{v})\) under \(P\). By the Doob measurability theorem, there exists a measurable function \(h:C([0,\infty ))\rightarrow \mathbb{R}_{+}\) such that \(\hat{\tau}=h(\hat{X})\). Set \(\tau = h(B^{1})\). As \(T \wedge \hat{\tau}\) is a \(\sigma (\hat{X})\)-stop** time, there exists, by the Doob measurability theorem again, a \({\mathcal{B}}(C([0,t]))\)-measurable function \(\Psi _{t}\) such that . Thus
Analogously, by the construction of \(\tau \), we have
where \((\hat{\tau}_{n})_{n \in \mathbb{N}}\) are stop** times for the natural filtration of \(\hat{v}\) defined by
Since on \([\!\![0, \tau _{n} \wedge \hat{\tau}]\!\!]\), \((\hat{X},v)\) has the same law under \(Q_{n}\) as \((B^{1},\hat{v})\) under \(P\), we have that \(\Psi _{\tau _{n}}(\hat{X}^{\tau _{n}})\) has the same law under \(Q_{n}\) as \(\Psi _{\hat{\tau}_{n}}(B^{1,\hat{\tau}_{n}})\) under \(P\). Thus we get from (6.8) that
and the proof is complete. □
We are now ready to give the following result.
Theorem 6.11
Consider the stochastic volatility model defined by
i.e., the model introduced in (6.1) and (6.2) with \(a_{1}=a_{3}=0\), and suppose that \(a_{2}\sigma _{2}>0\). Consider the filtration \(\hat {{\mathbb{F}}}\subseteq {\mathbb{G}}\) generated by the process \(\hat{X}\) defined in (6.7). Then the \(P\)-optional projection of \(X\) on \(\hat {{\mathbb{F}}}\) is not an \(\hat {{\mathbb{F}}}\)-local martingale.
Proof
The process \(X\) in (6.9) is a strict \((P, {\mathbb{G}})\)-local martingale by Proposition 6.2. By Proposition 6.10, for every \(\hat {{\mathbb{F}}}\)-stop** time \(\hat{\tau}\), there exists a \(\sigma (B^{1})\)-stop** time \(\tau \) such that
where \(\hat{v}\) is now given by
Since \(a_{1}\sigma _{1}+a_{2}\sigma _{2} = a_{2}\sigma _{2} > 0\), Lemma 6.4 implies that
In particular,
for every \(\sigma (B^{1})\)-stop** time \(\eta \) with \(P[\eta = \infty ] <1\), because \(\hat{v}\) is independent of \(B^{1}\). Together with (6.10), this implies that \(X\) cannot be localised by any sequence of \(\hat {{\mathbb{F}}}\)-stop** times. Consequently, the optional projection of \(X\) on \(\hat {{\mathbb{F}}}\) cannot be an \(\hat {{\mathbb{F}}}\)-local martingale by Föllmer and Protter [11, Theorem 3.7]. □
Proposition 6.2 and Theorem 6.11 provide a further example of two probability measures \(P\) and \(Q\), a \(P\)-local martingale \(X\) and a non-trivial filtration \(\hat {{\mathbb{F}}}\subseteq {\mathbb{G}}\) such that the optional projection of \(X\) on \(\hat {{\mathbb{F}}}\) under \(P\) is not a \(P\)-local martingale, but the optional projection of \(X\) on \(\hat {{\mathbb{F}}}\) under \(Q\) is a \(Q\)-martingale. We conclude the section by considering projections on a delayed filtration.
Example 6.12
Let \(X=(X_{t})_{t \ge 0}\) be the process defined in (6.1) and (6.2), and let \({\mathbb{G}}=({\mathcal{G}}_{t})_{t \ge 0}\) be the natural filtration of the Brownian motions \((B^{1}, B^{2}, B^{3})\). Let \({\mathbb{F}}=({\mathcal{F}}_{t})_{t \ge 0}\) be defined by \({\mathcal{F}}_{t} = {\mathcal{G}}_{t-h}\) for a given delay \(h>0\). Then Corollary 4.13 immediately implies that
i.e., (P3) does not hold. On the other hand, from Proposition 6.2, we have that (P1) is satisfied, since projections of true martingales are true martingales.
Notes
One can easily provide an example of such a pair \(({\mathbb{F}}, \bar{N})\): consider a Brownian motion \(B^{4}\) independent of \((B^{1}, B^{2}, B^{3})\) and an increasing process \(f=(f_{t})_{t \ge 0}\) such that \(df_{t}\) is singular with respect to Lebesgue measure. Let then \({\mathbb{F}}\) be the filtration generated by \((B^{4}, f)\) and set \(\bar{N}_{t}:=B^{4}_{f_{t}}\), \(t \ge 0\).
References
Bank, P., Dolinsky, Y.: Short communication: a note on utility indifference pricing with delayed information. SIAM J. Financ. Math. 12, SC31–SC43 (2021)
Biagini, F., Föllmer, H., Nedelcu, S.: Shifting martingale measures and the slow birth of a bubble. Finance Stoch. 18, 297–326 (2014)
Bielecki, T.R., Jakubowski, J., Jeanblanc, M., Niewkȩgłowski, M.: Semimartingales and shrinkage of filtration. Ann. Appl. Probab. 31, 1376–1402 (2021)
Brémaud, P., Yor, M.: Changes of filtrations and of probability measures. Z. Wahrscheinlichkeitstheor. Verw. Geb. 45, 269–295 (1978)
Callegaro, G., Jeanblanc, M., Runggaldier, W.J.: Portfolio optimization in a defaultable market under incomplete information. Decis. Econ. Finance 35, 91–111 (2012)
Çetin, U., Jarrow, R., Protter, P., Yıldırım, Y.: Modeling credit risk with partial information. Ann. Appl. Probab. 14, 1167–1178 (2004)
Cuchiero, C., Klein, I., Teichmann, J.: A fundamental theorem of asset pricing for continuous time large financial markets in a two filtration setting. Theory Probab. Appl. 65, 388–404 (2020)
Delbaen, F., Schachermayer, W.: Arbitrage and free lunch with bounded risk for unbounded continuous processes. Math. Finance 4, 343–348 (1994)
Dellacherie, C., Meyer, P.-A.: Probabilities and Potential B. North-Holland, Amsterdam (1982)
Dolinsky, Y., Zouari, J.: Market delay and G-expectations. In: Stochastic Processes and their Applications, vol. 130, pp. 694–707 (2020)
Föllmer, H., Protter, P.: Local martingales and filtration shrinkage. ESAIM Probab. Stat. 15, S25–S38 (2011)
Frey, R., Runggaldier, W.J.: Risk-minimizing hedging strategies under restricted information: the case of stochastic volatility models observable only at discrete random times. Math. Methods Oper. Res. 50, 339–350 (1999)
Frey, R., Runggaldier, W.J.: Expected power-utility maximization under incomplete information and with Cox-process observations. Appl. Math. Optim. 67, 33–72 (2013)
Guo, X., Jarrow, R.A., Zeng, Y.: Credit risk models with incomplete information. Math. Oper. Res. 34, 320–332 (2009)
Hillairet, C., Jiao, Y.: Credit risk with asymmetric information on the default threshold. Stoch. Int. J. Probab. Stoch. Process. 84, 183–198 (2012)
Jarrow, R., Protter, P.: Structural versus reduced form models: a new information based perspective. J. Invest. Manag. 2(2), 1–10 (2004)
Jarrow, R., Protter, P.: Positive alphas, abnormal performance, and illusory arbitrage. Math. Finance 23, 39–56 (2013)
Jarrow, R., Protter, P., San Martin, J.: Asset price bubbles: invariance theorems. Front. Math. Finance 1, 161–188 (2022)
Jarrow, R.A., Protter, P., Sezer, A.D.: Information reduction via level crossings in a credit risk model. Finance Stoch. 11, 195–212 (2007)
Jeanblanc, M., Lecam, Y.: Reduced form modelling for credit risk. Preprint (2008). https://doi.org/10.2139/ssrn.1021545
Kabanov, Y., Stricker, C.: The Dalang–Morton–Willinger theorem under delayed and restricted information. In: Émery, M., Yor, M. (eds.) Memoriam Paul-André Meyer — Séminaire de Probabilités XXXIX. Lecture Notes in Mathematics, vol. 1874, pp. 209–213. Springer, Berlin (2006)
Karatzas, I., Ruf, J.: Distribution of the time to explosion for one-dimensional diffusions. Probab. Theory Relat. Fields 164, 1027–1069 (2016)
Kardaras, C., Ruf, J.: Filtration shrinkage, the structure of deflators, and failure of market completeness. Finance Stoch. 24, 871–901 (2020)
Kardaras, C., Ruf, J.: Projections of scaled Bessel processs. Electron. Commun. Probab. 24, 1–11 (2019)
Larsson, M.: Filtration shrinkage, strict local martingales and the Föllmer measure. Ann. Appl. Probab. 24, 1739–1766 (2014)
Lions, P.-L., Musiela, M.: Correlations and bounds for stochastic volatility models. Ann. Inst. Henri Poincaré C 24, 1–16 (2007)
Mijatović, A., Urusov, M.: On the martingale property of certain local martingales. Probab. Theory Relat. Fields 152, 1–30 (2012)
Runggaldier, W.J., Zaccaria, A.: A stochastic control approach to risk management under restricted information. Math. Finance 10, 277–288 (2000)
Schweizer, M.: Risk-minimizing hedging strategies under restricted information. Math. Finance 4, 327–342 (1994)
Sezer, A.D.: Filtration shrinkage by level-crossings of a diffusion. Ann. Probab. 35, 739–757 (2007)
Sin, C.A.: Complications with stochastic volatility models. Adv. Appl. Probab. 30, 256–268 (1998)
Stricker, C.: Quasimartingales, martingales locales, semimartingales et filtration naturelle. Z. Wahrscheinlichkeitstheor. Verw. Geb. 39, 55–63 (1977)
**ng, Y., Yiyun, C.: Forecasting default with incomplete information – based on the framework of delayed filtration. In: Future Wireless Networks and Information Systems, pp. 265–272. Springer, Berlin (2012)
Yang, Z.H., Chu, Y.M.: On approximating the modified Bessel function of the second kind. J. Inequal. Appl. 2017, 41 (2017)
Funding
Open Access funding enabled and organized by Projekt DEAL.
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.
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
Biagini, F., Mazzon, A. & Perkkiö, AP. Optional projection under equivalent local martingale measures. Finance Stoch 27, 435–465 (2023). https://doi.org/10.1007/s00780-023-00503-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00780-023-00503-3