Abstract
In this paper, we generalize the concept of gamma bridge in the sense that the length will be random, that is, the time to reach the given level is random. The main objective of this paper is to show that certain basic properties of gamma bridges with deterministic length stay true also for gamma bridges with random length. We show that the gamma bridge with random length is a pure jump process and that its jumping times are countable and dense in the random interval bounded by 0 and the random length. Moreover, we prove that this process is a Markov process with respect to its completed natural filtration as well as with respect to the usual augmentation of this filtration, which leads us to conclude that its completed natural filtration is right continuous. Finally, we give its canonical decomposition with respect to the usual augmentation of its natural filtration.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The gamma process has proven very successful when modelling accumulation processes. Early studies by Hammersley [14], Moran [21], Gani [13], Kendall [18], Kingman [19] addressed the modelling of water stored in and released from reservoirs and accumulation related to storage in general. Dufresne et al. [9] show how to employ the gamma process to model liabilities of insurance portfolios for continuous claims. For these risk models, the fixed budget horizon of one year is assumed. The authors investigate furthermore the gamma process in the setting of ruin theory and supply ruin probabilities in form of tables. The gamma process replaces the compound processes used traditionally. In Emery and Yor [12] and Yor [25], gamma bridges were studied and their application to stop loss reinsurance and credit risk management was pointed out in Brody et al. [8]. This work introduces and focusses on random gamma bridges, which model accumulated losses of large credit portfolios in credit risk management. These studies were continued by Hoyle et al. in a series of papers, see, e.g. Hoyle and Mengütürk [16]. In a further article, pricing at an intermediate time is studied Hoyle et al. [15]. Returning to the starting point accumulation processes for storage, we refer to recent developments in Chan et al. [10] for further references. Numerical results may be found in Assmusen and Hobolth [2].
In this paper, we generalize the concept of a gamma bridge to random times, at which the bridge is pinned, to study amongst others its Markov property and to give its decomposition semi-martingale. There are two recent works in which bridges with random length are studied. The first by Bedini et al. [5] studies related properties of the Brownian bridge with random length, and the second by Erraoui and Louriki [11] studies Gaussian bridges with random length. In both works, existence of an explicit expression for the bridge with random length is exploited. Applications for the gamma bridge with random length suggest itself for accumulation processes in financial mathematics, see [3].
The paper is organized as follows. Section 2 begins by recalling the definitions and some properties of gamma processes and gamma bridges of deterministic length, which will be used throughout the paper. In Sect. 3, we define the gamma bridge with random time \(\tau \) which will be denoted by \(\zeta \) and we consider the stopping time property of \(\tau \) with respect to the right continuous and completed filtration \({\mathbb {F}}^{\zeta ,c}_+\) generated by the process \(\zeta \). Moreover, we give the conditional distribution of \(\tau \) and \(\zeta _u\) given \(\zeta _{t}\) for \(u>t>0\). Next, we establish the Markov property of the process \(\zeta \) with respect to its completed natural filtration. As a consequence, we derive Bayesian estimates for the distribution of the default time \(\tau \), given the past behaviour of the process \(\zeta \) up to time t. After that, we study the Markov property of the gamma bridge with random length, with respect to \({\mathbb {F}}^{\zeta ,c}_+\). Finally, we give its semi-martingale decomposition with respect to \({\mathbb {F}}^{\zeta ,c}_+\).
The following notation will be used throughout the paper: for a complete probability space \((\varOmega ,{\mathscr {F}},{\mathbb {P}})\), \(\mathscr {N}_p\) denotes the collection of \({\mathbb {P}}\)-null sets. If \(\theta \) is a random variable, then \({\mathbb {P}}_{\theta }\) denotes the law of \(\theta \) under \({\mathbb {P}}\). \({\mathscr {D}}\) denotes the space of right-continuous functions with left limits (càdlàg) from \({\mathbb {R}}_{+}\) to \({\mathbb {R}}_{+}\), endowed with Skorohod’s topology, under which the space \({\mathscr {D}}\) is a Polish space. If E is a topological space, then the Borel \(\sigma \)-algebra over E will be denoted by \({\mathscr {B}}(E)\). The characteristic function of a set A is written \({\mathbb {I}}_{A}\). The symmetric difference of two sets A and B is denoted by \(A\varDelta B\). Finally for any process \(Y=(Y_t,\, t\ge 0)\) on \((\varOmega ,{\mathscr {F}},{\mathbb {P}})\), we define by:
- (i)
\({\mathbb {F}}^{Y}=\bigg ({\mathscr {F}}^{Y}_t:=\sigma (Y_s, s\le t),~ t\ge 0\bigg )\) the natural filtration of the process Y.
- (ii)
\({\mathbb {F}}^{Y,c}=\bigg ({\mathscr {F}}^{Y,c}_t:={\mathscr {F}}^{Y}_t\vee \mathscr {N}_{P},\, t\ge 0\bigg )\) the completed natural filtration of the process Y.
- (iii)
\({\mathbb {F}}^{Y,c}_{+}=\bigg ({\mathscr {F}}^{Y,c}_{t+} :=\underset{{s>t}}{\bigcap }{\mathscr {F}}^{Y,c}_{s}={\mathscr {F}}^{Y}_{t^{+}}\vee \mathscr {N}_{P},\, t\ge 0\bigg )\) the smallest filtration containing \({\mathbb {F}}^{Y}\) and satisfying the usual hypotheses of right-continuity and completeness.
2 Gamma and Gamma Bridge Processes
The purpose of this section is to recall the definition and some properties of the standard gamma process and the gamma bridge with deterministic length.
2.1 Gamma Process
By a standard gamma process \((\gamma _{t},t\ge 0)\) on \((\varOmega ,{\mathscr {F}},{\mathbb {P}})\), we mean a subordinator without drift having the Lévy–Khintchine representation given by
where \(\nu (\hbox {d}x)=\dfrac{\exp (-x)}{x}\,{\mathbb {I}}_{\left( 0,\infty \right) }(x)\,\hbox {d}x\) is the so-called Lévy measure. We note that the formula (2) is obtained from (1) using the Frullani formula.
The following properties, inferred from (2) by means of standard arguments (see Theorems 21.1–21.9, pp. 135–140 in Chapter 4 of Sato [22]), describe the paths of the gamma process.
Proposition 1
The gamma process \((\gamma _{t},t\ge 0)\) has the following properties:
- (i)
\(\gamma \) is a purely jump process;
- (ii)
\(\gamma \) is not a compound Poisson process, and its jumping times are countable and dense in \([0,\infty )\) a.s.;
- (iii)
the map \(t\mapsto \gamma _{t}\) is strictly increasing and not continuous anywhere a.s.;
- (iv)
\(\gamma \) has sample paths of finite variation a.s.;
- (v)
\(\gamma _{t},t>0\), follows a gamma distribution with density
$$\begin{aligned} f_{\gamma _{t}}(x)=\dfrac{x^{t-1}\exp (-x)}{\varGamma (t)} {\mathbb {I}}_{\left( 0,\infty \right) }(x), \end{aligned}$$(3)where \(\varGamma \) is the gamma function.
The second property means that, for any \(t>0\), \(\gamma \) has infinite activity, that is, almost all paths have infinitely many jumps along any time interval of finite length. It is a direct consequence of \(\nu ({\mathbb {R}}_{+})=+\infty \), whereas the fourth property arises from \(\displaystyle \int _{0}^{1}x\,\nu (\hbox {d}x)<+\infty \).
Remark 1
-
1.
It is clear that the process gamma \((\gamma _{t},t\ge 0)\) is a process with paths in \({\mathscr {D}}\).
-
2.
The process \((\gamma _{t}-\gamma _{t^{-}}:=e_{t},t\ge 0)\) of jumps of the gamma process \((\gamma _{t},t\ge 0)\) is a Poisson point process whose intensity measure is the Lévy measure of \((\gamma _{t},t\ge 0)\), see Theorem 1, p. 13 of Bertoin [4]. For \(r>0\), let us denote by \(\left( J_{1}^{r}\ge J_{2}^{r}\ge \cdots \right) \) the sequel of the lengths of jumps of the process \((\gamma _{t},t\in [0,r])\) ranked in decreasing order. It is not difficult to see that since the intensity measure of the Poisson point process \(\left( (t,e_{t}),t\ge 0)\right) \) is \(\hbox {d}t\;\dfrac{\exp (-x)}{x}\,{\mathbb {I}}_{\left( 0,\infty \right) }(x)\,\hbox {d}x\), the jump times \(\left( U_{1}^{r},U_{2}^{r},\ldots \right) \) constitute a sequence of i.i.d r.v.’s with uniform law on [0, r] which is independent from the sequence \(\left( J_{k}^{r},k\ge 1\right) \). Thus, we have the following representation:
$$\begin{aligned} \gamma _{t}=\underset{k\ge 1}{\sum }\,J_{k}^{r}\,{\mathbb {I}}_{\{ U_{k}^{r}\le t\}},\quad t\in [0,r]. \end{aligned}$$(4)We note that: \(\gamma _{r}=\sum _{k\ge 1}\,J_{k}^{r}\).
The next proposition gives three other useful properties of the gamma process.
Proposition 2
-
(i)
For every \(r>0\), the \(\sigma \)-algebras, \(\sigma \big (\dfrac{\gamma _{u}}{\gamma _{r}},u\in [0,r]\big )\) and \(\sigma (\gamma _{u},u\in [r,\infty ))\) are independent.
-
(ii)
For any \(r>0\), \((\gamma _{t},0\le t\le r)\) satisfies the following equation
$$\begin{aligned} \gamma _{t}=M_{t}^{r}+\int _{0}^{t}\dfrac{\gamma _{r}-\gamma _{s}}{r-s}\hbox {d}s, \end{aligned}$$(5)where \((M_{t}^{r},t\in [0,r])\) is a \({\mathscr {G}}_{t}^{(r)}\)-martingale with \({\mathscr {G}}_{t}^{(r)}=\sigma (\gamma _{s},s\in [0,t]\cup \{r\})\).
-
(iii)
\((\gamma _{t},t\ge 0)\) has the Markov property with respect to its natural filtration.
Proof
For (i) and (ii) See, [12]. (iii) \((\gamma _{t},t\ge 0)\) has the Markov property since it is a Lévy process. \(\square \)
For a deeper investigation on the properties of the gamma process, we refer to Kyprianou [20], Sato [22] and Yor [25].
2.2 Gamma Bridge with Deterministic Length
A bridge is a stochastic process that is pinned to some fixed point at a fixed future time. In this section, we define the gamma bridge with deterministic length and we give some important properties of this process. For fixed \(r>0\), we define the gamma bridge of length r by setting
Definition 1
Let \(r\in (0,+\infty )\). The map \(\zeta ^{r}:\varOmega \longmapsto {\mathscr {D}}\) defined by
is the bridge associated with the standard gamma process \((\gamma _{t},t\ge 0)\). Then, clearly \(\zeta _{0}^{r}=0\) and \(\zeta _{r}^{r}=1\). We refer to \(\zeta ^{r}\) as the standard gamma bridge of length r associated with \(\gamma \). We note that \(\zeta ^{r}\) is also called the Dirichlet process with parameter r.
We note that the process \(\zeta ^{r}\) is really a function of the variables \((r,t,\omega )\), and for technical reasons, it is convenient to have certain joint measurability properties.
Lemma 1
The map \((r,t,\omega )\longmapsto \zeta _t^{r}(\omega )\) of \(\big ((0,+\infty )\times {\mathbb {R}}_{+} \times \varOmega ,{\mathscr {B}}\big ((0,+\infty )\big )\otimes {\mathscr {B}}({\mathbb {R}}_{+})\otimes {\mathscr {F}}\big )\) into \(({\mathbb {R}}_{+},{\mathscr {B}}({\mathbb {R}}_{+}))\) is measurable. In particular, the t-section of \((r,t,\omega )\longmapsto \zeta _t^{r}(\omega )\): \((r,\omega )\longmapsto \zeta _t^{r}(\omega )\) is measurable with respect to the \(\sigma \)-algebra \({\mathscr {B}}\big ((0,+\infty )\big )\otimes {\mathscr {F}}\), for all \(t \ge 0\).
Proof
Since the map \((r,t)\longmapsto t\wedge r\) is Lipschitz continuous and \(t\mapsto \gamma _{t}\) is càdlàg for almost all \(\omega \in \varOmega \), the map \((r,t,\omega )\longmapsto \zeta _{t}^{r}(\omega )\) can be obtained as the pointwise limit of sequences of measurable functions. So, it is sufficient to use standard results on the passage to the limit of sequences of measurable functions. \(\square \)
As a consequence, we have the following corollary.
Corollary 1
The map \((r,\omega )\longmapsto \zeta _t^{r}(\omega )\) of \(\big ((0,+\infty )\times \varOmega ,{\mathscr {B}}\big ((0,+\infty )\big )\otimes {\mathscr {F}}\big )\) into \(({\mathscr {D}}, {\mathscr {B}}\left( {\mathscr {D}}\right) )\) is measurable.
A number of properties of the gamma bridge \(\zeta ^{r}\) sample paths can be easily deduced from the corresponding properties of the gamma sample paths. Hence, we have
Proposition 3
The gamma bridge \(\zeta _t^{r},\, t\ge 0\), has the following properties:
- (i)
\(\zeta ^{r}\) is a purely jump process, and its jumping times are countable and dense in [0, r] a.s.;
- (ii)
the map \(t\mapsto \zeta _t^{r}\) is strictly increasing and not continuous anywhere in [0, r] a.s.;
- (iii)
\(\zeta ^{r}\) has sample paths of finite variation in \([0,+\infty )\) a.s.;
- (iv)
\(\zeta ^{r}\) has the following representation:
$$\begin{aligned} \zeta ^{r}_{t}=\underset{k\ge 1}{\sum }\,\,\dfrac{J_{k}^{r}}{\underset{{j\ge 1}}{\sum }J_{j}^{r}} \,{\mathbb {I}}_{\{ U_{k}^{r}\le t\}},\quad t\ge 0. \end{aligned}$$(7)
We now turn to distributional properties of the gamma bridge.
Proposition 4
-
(i)
For all \(0<t<r\), the random variable \(\zeta _t^{r}\) has a beta distribution \(\beta (t,r-t)\), i.e. its density function is given by
$$\begin{aligned} \varphi _{\zeta _{t}^{r}}(x)=\dfrac{\varGamma (r)}{\varGamma (t)\varGamma (r-t)} \,x^{t-1}(1-x)^{r-t-1}\,{\mathbb {I}}_{\left( 0,1\right) }(x). \end{aligned}$$(8) -
(ii)
For any \(0=t_{0}<t_{1}<\cdots <t_{n}=r\), the vector \(\left( \zeta _{t_{1}}^{r}-\zeta _{t_{0}}^{r},\ldots ,\zeta _{t_{n}}^{r}-\zeta _{t_{n-1}}^{r}\right) \) is independent from \(\gamma _{r}\), with density
$$\begin{aligned} \dfrac{\varGamma (r)}{{\prod \nolimits _{i=1}^{n}}\;\varGamma (t_{i}-t_{i-1})} \,{\prod \limits _{i=1}^{n}}\;x_{i}^{t_{i}-t_{i-1}-1} \end{aligned}$$with respect to the Lebesgue measure \(\hbox {d}x_{1}\ldots \hbox {d}x_{n-1}\) (or, as well, \(\hbox {d}x_{2}\ldots \hbox {d}x_{n}\)) on the simplex
$$\begin{aligned} \left\{ \left( x_{1},\ldots ,x_{n}\right) :\,x_{i}\ge 0,\,x_{1}+\cdots +x_{n}=1\right\} . \end{aligned}$$ -
(iii)
For all \(t<u<r\) and \(x\in (0,1)\), the regular conditional law of \(\zeta _u^{r}\) given \(\zeta _t^{r}=x\) is given by:
$$\begin{aligned}&{\mathbb {P}}(\zeta _{u}^{r}\in \hbox {d}y|\zeta _{t}^{r}=x)\nonumber \\&\quad =\dfrac{\varGamma (r-t)}{\varGamma (u-t)\varGamma (r-u)}\,\dfrac{(y-x)^{u-t-1}(1-y)^{r-u-1}}{(1-x)^{r-t-1}}\,{\mathbb {I}}_{\{x<y<1\}}\,\hbox {d}y. \end{aligned}$$(9)
In the same spirit as in Proposition 2, we have
Proposition 5
-
(i)
\(\zeta ^{r}\) is a Markov process with respect to its natural filtration.
-
(ii)
\(\zeta ^{r}\) satisfies the following equation
$$\begin{aligned} \zeta _{t}^{r}=N_{t}^{r}+\int _{0}^{t}\dfrac{1-\zeta _{s}^{r}}{r-s}\hbox {d}s, \quad t\in [0, r], \end{aligned}$$(10)where \((N^r_t, t\in [0, r])\) is a \({\mathbb {F}}^{\zeta ^{r}}\)-martingale.
Proof
(i) From Theorem 1.3 in Blumenthal and Getoor [6], it suffices to prove that for every bounded measurable function g we have:
for all \(0\le t_1< \ldots< t_n< u \le r\) and for all \(n\ge 1\).
Using Proposition 2 (i), we have
Hence, the formula (11) is proved; then, \(\zeta ^{r}\) is a Markov process with respect to its natural filtration.
(ii) We have from Proposition 2 (ii) that
where \(M^r\) is a martingale with respect to the filtration \({\mathscr {G}}_t^{(r)}=\sigma (\gamma _s, s\in [0, t]\cup \{r\})\). Then, it is easy to see that
where \(N_t^r=\dfrac{M_t^r}{\gamma _r}, t\in [0, r]\). Firstly, notice that \({\mathscr {F}}_t^{\zeta ^{r}}\subset {\mathscr {G}}_t^{(r)}\) and \(\gamma _r\) is \({\mathscr {G}}_t^{(r)}\)-measurable for all \(t\le r\). Moreover, Eq. (12) yields, that is the process \( N^r\) is \({\mathbb {F}}^{\zeta ^{r}}\)-adapted. In view of these considerations, as well as the fact that \(M_t^r\) is a \({\mathscr {G}}_t^{(r)}\)-martingale we obtain
for \(0\le s\le t\le r\). It follows that \((N^r_t, t\in [0, r])\) is a \({\mathbb {F}}^{\zeta ^{r}}\)-martingale. Hence, equation (10) is satisfied. \(\square \)
Remark 2
We can rewrite (5) in the form
Then, we obtain
For every \(t\ge 0\), we set \({{\widehat{N}}}_t^r=\dfrac{M_{t\wedge r}^r}{\gamma _r}\). We have thus
It follows from the above proposition that \(({\widehat{N}}_t^r, t\ge 0)\) is a \({\mathbb {F}}^{\zeta ^{r}}\)-martingale stopped at r.
3 Gamma Bridges with Random Length
In this section, we define and study a process \((\zeta _t, t\ge 0)\) which generalizes the gamma bridge in the sense that the time r at which the bridge is pinned is substituted by an independent random time \(\tau \). We call it gamma bridge with random length. We prove that the random time \(\tau \) is a stopping time with respect to the completed filtration \({\mathbb {F}}^{\zeta ,c}\), and we give the regular conditional distribution of \(\tau \) and \((\tau ,\zeta _.)\) given \(\zeta _.\). Moreover, we prove that the gamma bridge with random length \(\zeta \) is an in-homogeneous Markov process with respect to its completed natural filtration \({\mathbb {F}}^{\zeta ,c}\) as well as with respect to \({\mathbb {F}}^{\zeta ,c}_+\). The last property allows us to deduce an interesting consequence, that is the filtration \({\mathbb {F}}^{\zeta ,c}\) satisfies the usual conditions of completeness and right-continuity. Finally, we give the semi-martingale decomposition of \(\zeta \) with respect to \({\mathbb {F}}^{\zeta ,c}_+\).
Now, we give precise definition of the process \((\zeta _t, t\ge 0)\). Due to Corollary 1 we could substitute r by a random time \(\tau \) in (6). Thus, we obtain
Definition 2
Let \(\tau : (\varOmega ,{\mathscr {F}},{\mathbb {P}}) \longmapsto (0,+\infty )\) be a strictly positive random time, with distribution function \(F(t) := {\mathbb {P}}(\tau \le t)\), \(t \ge 0\). The map \(\zeta :(\varOmega ,{\mathscr {F}})\longrightarrow ({\mathscr {D}}, {\mathscr {B}}\left( {\mathscr {D}}\right) )\) is defined by
Then, \(\zeta \) takes the form
Since \(\zeta \) is obtained by composition of two maps \((r,t,\omega )\longmapsto \zeta ^{r}_t(\omega )\) and \((t,\omega )\longmapsto (\tau (\omega ), t, \omega )\), it is not hard to verify that the map \(\zeta :(\varOmega ,{\mathscr {F}})\longrightarrow ({\mathscr {D}}, {\mathscr {B}}\left( {\mathscr {D}}\right) )\) is measurable. The process \(\zeta \) will be called gamma bridge with random length\(\tau \).
As mentioned above, we work under the following standing assumption:
Assumption 1
The random time \(\tau \) and the gamma process \(\gamma \) are independent.
Using the fact that the process \(\zeta \) is obtained by the substitution of r in \(\zeta ^{r}\) by the random time \(\tau \) allows us to derive a lot of information about its path properties. Hence, we have
Proposition 6
The gamma bridge \((\zeta _t,\, t\ge 0)\) with random length \(\tau \) has the following properties:
- (i)
\(\zeta \) is a purely jump process, and its jumping times are countable and dense in \([0,\tau ]\) a.s.;
- (ii)
the map \(t\mapsto \zeta _t\) is increasing and not continuous anywhere on \([0,\tau ]\) a.s.;
- (iii)
\(\zeta \) has sample paths of finite variation a.s.
- (iv)
\(\zeta \) has the following representation:
$$\begin{aligned} \zeta _{t}=\underset{k\ge 1}{\sum }\,\,\dfrac{J_{k}^{\tau }}{{\sum _{j\ge 1}}J_{j}^{\tau }}\,{\mathbb {I}}_{\{U_{k}^{\tau }\le t\}},\quad t\ge 0, \end{aligned}$$where the jump times \(\left( U_{1}^{\tau },U_{2}^{\tau },\ldots \right) \) constitute a sequence of r.v.’s identically distributed with the law given by
$$\begin{aligned} \begin{array}{lll} {\mathbb {P}}\left[ U_{k}^{\tau }\le t\right] &{} = &{} {\mathbb {P}}\left[ \tau \le t\right] +\displaystyle \int _{(t,+\infty )}\,{\mathbb {P}}\left[ U_{k}^{r}\le t\right] \,{\mathbb {P}}_{\tau }(\hbox {d}r)\\ \\ &{} = &{} {\mathbb {P}}\left[ \tau \le t\right] +t\,{\mathbb {E}}\left[ \dfrac{1}{\tau }\,{\mathbb {I}}_{(\tau > t)}\right] , \quad t \ge 0, \,k\ge 1. \end{array} \end{aligned}$$
3.1 Stopping Time Property of \(\tau \)
The aim of this subsection is to prove that the random time \(\tau \) is a stopping time with respect to \({\mathbb {F}}^{\zeta ,c}\).
Proposition 7
For all \(t>0\), we have \({\mathbb {P}}\left( \{\zeta _t = 1\} \bigtriangleup \{\tau \le t\}\right) =0\). Then, \(\tau \) is a stopping time with respect to \({\mathbb {F}}^{\zeta ,c}\) and consequently it is a stopping time with respect to \({\mathbb {F}}^{\zeta ,c}_{+}\).
Proof
First, we have from the definition of \(\zeta \) that \(\zeta _t=1\) for \(\tau \le t\). Then, \(\{\tau \le t\}\subseteq \{\zeta _t=1\}\). On the other hand, using the formula of total probability we obtain
The latter equality uses the fact that \(\zeta _t^{r}\) is a random variable having a beta distribution for \(0< t < r\). Thus, \({\mathbb {P}}\left( \{\zeta _t=1\} \bigtriangleup \{\tau \le t\}\right) =0\). It follows that the event \(\{\tau \le t\}\) belongs to \({\mathscr {F}}_t^{\zeta } \vee \mathscr {N}_P,\) for all \(t \ge 0\). Hence, \(\tau \) is a stopping time with respect to \({\mathbb {F}}^{\zeta ,c}\) and consequently it is also a stopping time with respect to \({\mathbb {F}}^{\zeta ,c}_{+}\). \(\square \)
In order to determine the conditional law of the random time \(\tau \) given \(\zeta _{t}\), we will use the following
Proposition 8
Let \(t>0\) such that \(F(t)>0\). Let \(g:{\mathbb {R}}_{+}\longrightarrow {\mathbb {R}} \) be a Borel function satisfying \({\mathbb {E}}[|g(\tau )|]<+\infty \). Then, \({\mathbb {P}}\)-a.s., we have
where the function \(\phi _{\zeta _{t}^{r}}\) is defined on \({\mathbb {R}}\) by:
Proof
Let us consider the measure \(\mu \) defined on \({\mathscr {B}}({\mathbb {R}})\) by
where \(\delta _1(\hbox {d}x)\) and \(\hbox {d}x\) are the Dirac measure and the Lebesgue measure on \({\mathscr {B}}({\mathbb {R}})\), respectively. Then, for any \(B\in {\mathscr {B}}({\mathbb {R}})\) we have
where the function \(q_{t}\) is non-negative and measurable in the two variables jointly given by
It follows from Bayes formula (see [23], p. 272) that \({\mathbb {P}}\)-a.s.:
\(\square \)
Corollary 2
The conditional law of the random time \(\tau \) given \(\zeta _{t}\) is given by
The previous proposition can be expanded as follows:
Proposition 9
Let \(u>t>0\) such that \(F(t)>0\). Let \(\mathfrak {g}\) be a bounded measurable function defined on \((0,+\infty )\times {\mathbb {R}}\). Then, \({\mathbb {P}}\)-a.s., we have
and
Here, the function \(\mathfrak {G}_{t,u}(r,\cdot )\) is defined by
Proof
First of all, it is easy to see that (20) is an immediate consequence of Proposition 8. Now, to show (21) we begin with by splitting \({\mathbb {E}}[\mathfrak {g}(\tau ,\zeta _{u})\vert \zeta _{t}]\) as follows:
We obtain from Proposition 8 that
and
Next, we prove that
Indeed, for a bounded Borel function h we have
Using (22), for \(t<u<r\), we get
It follows from (20), that \({\mathbb {P}}\)-a.s.
This induces that
Hence, the formula (23) is proved and then the proof of the proposition is completed. \(\square \)
3.2 Markov Property of \(\zeta \) and Bayes Estimate of \(\tau \)
In this part, we prove that the gamma bridge \(\zeta \) with random length \(\tau \) is an in-homogeneous Markov process with respect to its completed natural filtration \({\mathbb {F}}^{\zeta ,c}\).
Theorem 1
The process \((\zeta _t, t\ge 0)\) is an \({\mathbb {F}}^{\zeta }\)-Markov process. That is, for any \(t\ge 0\), we have
for all \(t,h\ge 0\) and for every bounded measurable function f.
Proof
First, we would like to mention that since \(\zeta _0=0\) almost surely it is easy to see that
Let us assume \(t>0\). As \({\mathbb {I}}_{\{\zeta _t=0\}}={\mathbb {I}}_{\{\tau \le t\}}\)\({\mathbb {P}}\)-a.s, we rewrite \({\mathbb {E}}[f(\zeta _{t+h})\vert {\mathscr {F}}_t^{\zeta }]\) as follows:
So, it remains to show that
To do this, it is enough to verify that
for all \(A\in {\mathscr {F}}_t^{\zeta }\). We start by remarking that, for \(t>0\), \({\mathscr {F}}^{\zeta }_t\) is generated by
\(0<t_{0}<t_{1}<\cdots <t_{n}=t\) for n running through \({\mathbb {N}}\). Then, by the monotone class theorem it is sufficient to prove (26) for sets A of the form \(A=\{\zeta _t\in B,\alpha _1\in B_1,\ldots ,\alpha _n\in B_n \}\) with \(B, B_1, B_2,\ldots , B_n \in {\mathscr {B}}({\mathbb {R}})\), \(n \ge 1\). Moreover, on the set \(\{t<\tau \}\), we have
Using Proposition 2 (i), then for \(t<r\) the vectors \((\beta _1,\ldots ,\beta _n)\) and \((\zeta _t^{r},\zeta _{t+h}^{r})\) are independent. Now, taking into account all the above considerations, we have
Hence, (26) is proved and this ends the proof. \(\square \)
Corollary 3
The Markov property can be extended to the completed filtration \({\mathbb {F}}^{\zeta ,c}\).
The aim of this proposition is to provide, using the Markov property, that the observation of \(\zeta _{t}\) would be sufficient to give estimates of the time \(\tau \) based on the observation of the information process \(\zeta \) up to time t.
Proposition 10
Let \(0<t<u\).
- (i)
For each bounded measurable function g defined on \((0, \infty )\), we have \({\mathbb {P}}\)-a.s.
$$\begin{aligned} {\mathbb {E}}[g(\tau )\vert {\mathscr {F}}_{t}^{\zeta ,c}]=g(\tau \wedge t){\mathbb {I}}_{\{\zeta _{t}=1\}}+\displaystyle \int _{(t,+\infty )}g(r)\phi _{\zeta _{t}^{r}}(\zeta _{t})\,{\mathbb {P}}_{\tau }(\hbox {d}r)\,{\mathbb {I}}_{\{0<\zeta _{t}<1\}}. \end{aligned}$$(27) - (ii)
For each bounded measurable function defined on \((0,+\infty )\times {\mathbb {R}}\), we have \({\mathbb {P}}\)-a.s.
$$\begin{aligned} {\mathbb {E}}[g(\tau ,\zeta _{t})\vert {\mathscr {F}}_{t}^{\zeta ,c}]= & {} g(\tau \wedge t,1){\mathbb {I}}_{\{\zeta _{t}=1\}}\nonumber \\&+\displaystyle \int _{(t,+\infty )}g(r,\zeta _{t})\phi _{\zeta _{t}^{r}}(\zeta _{t}){\mathbb {P}}_{\tau }(\hbox {d}r){\mathbb {I}}_{\{0<\zeta _{t}<1\}}. \end{aligned}$$(28)$$\begin{aligned} {\mathbb {E}}[g(\tau ,\zeta _{u})\vert {\mathscr {F}}_{t}^{\zeta ,c}]= & {} g(\tau \wedge t,1){\mathbb {I}}_{\{\zeta _{t}=1\}} \nonumber \\&+\displaystyle \int _{(t,u]}g(r,1)\phi _{\zeta _{t}^{r}}(\zeta _{t}) {\mathbb {P}}_{\tau }(\hbox {d}r){\mathbb {I}}_{\{0<\zeta _{t}<1\}} \nonumber \\&+\displaystyle \int _{(u,+\infty )}\int _{{\mathbb {R}}}g(r,y){\mathbb {P}}_{\zeta _{u}^{r}\vert \zeta _{t}^{r}=x}(\hbox {d}y)\phi _{\zeta _{t}^{r}}(\zeta _{t}){\mathbb {P}}_{\tau }(\hbox {d}r){\mathbb {I}}_{\{0<\zeta _{t}<1\}}.\nonumber \\ \end{aligned}$$(29)
Proof
(i) Obviously, we have
Now, since \(g(\tau \wedge t){\mathbb {I}}_{\{\tau \leqslant t\}}\) is \( {\mathscr {F}}^{\zeta ,c}_{t}\)-measurable, \({\mathbb {P}}\)-a.s, one has
On the other hand, due to the facts that \(g(\tau \vee t){\mathbb {I}}_{\{t< \tau \}}\) is \(\sigma (\zeta _s, t \le s \le +\infty ) \vee \mathscr {N}_P\)-measurable and \(\zeta \) is a Markov process with respect to its completed natural filtration we obtain \({\mathbb {P}}\)-a.s.
The result is deduced from (17).
(ii) Equation (28) is an immediate consequence of (i). Concerning Eq. (29), we use the same method which we used to prove (i). \(\square \)
Remark 3
The process \(\zeta \) cannot be a homogeneous \({\mathbb {F}}^{\zeta }\)-Markov process. Indeed, Proposition 10 enables us to see that, for \(A \in {\mathscr {B}}({\mathbb {R}})\) and \(t<u\), we have \({\mathbb {P}}\)-a.s.,
which is clear that it does not depend only on \(u - t\).
3.3 Markov Property with Respect to \({\mathbb {F}}^{\zeta ,c}_+\)
We have established, in the previous section, the Markov property of \(\zeta \) with respect to its completed natural filtration \({\mathbb {F}}^{\zeta ,c}\). In this section, we are interested in the the Markov property of \(\zeta \) with respect to \({\mathbb {F}}^{\zeta ,c}_{+}\). It has an interesting consequence which is none other than the filtration \({\mathbb {F}}^{\zeta ,c}\) satisfies the usual conditions of completeness and right-continuity. However, we need the following condition of on the integrability of \(\tau \).
Assumption 2
There exists a sufficiently small \(\alpha >0 \) such that
The next theorem shows the Markov property of \(\zeta \) with respect to \({\mathbb {F}}^{\zeta ,c}_+\).
Theorem 2
The process \(\zeta \) is a Markov process with respect to \({\mathbb {F}}^{\zeta ,c}_{+}\).
Proof
It is sufficient to prove that for any \(0\le t<u\) and any function bounded continuous g, we have
Let \((t_{n})_{n\in {\mathbb {N}}}\) be a decreasing sequence of strictly positive real numbers converging to t: that is \(0 \le t< \cdots< t_{n+1}< t_{n}< \cdots<t_{1} < u \), \(t_{n} \searrow t\) as \(n \longrightarrow +\infty \). Since g is bounded and \({\mathscr {F}}_{t+}^{\zeta ,c}=\underset{n}{\cap }{\mathscr {F}}_{t_{n}}^{\zeta ,c}\), \({\mathbb {P}}\)-a.s., we have
It follows from the Markov property of \(\zeta \) with respect to \({\mathbb {F}}^{\zeta ,c}\) that
It remains to prove that
The proof is splitted into two parts. In the first one, we show statement (31) for \(t > 0\), while in the second part we consider the case \(t = 0\).
Let \(t>0\). We begin by noticing that from Proposition 10, \({\mathbb {P}}\)-a.s., we have
Where the function \(K_{t,u}(r,x)\) is defined on \({\mathbb {R}}\) by for \(0<t<u<r\)
Since \(\lim \nolimits _{n \longrightarrow +\infty }\, {\mathbb {I}}_{\{t_{n}<\tau \}}={\mathbb {I}}_{\{t<\tau \}} \), assertion (34) will be established if we show, \({\mathbb {P}}\)-a.s on \(\left\{ t<\tau \right\} \), that
and
We start by proving assertion (36). The integral on the left-hand side of (36) can be rewritten as
First, let us remark that the function
defined on \(\{(t,r)\in (0,+\infty )^2, t< r\}\times (0, 1)\) is continuous. Using the facts that \(\zeta _{t_{n}}\) is decreasing to \(\zeta _t\) and \({\mathbb {P}}\left[ \zeta _t=0\right] =0\), \({\mathbb {P}}\)-a.s on \(\left\{ t<\tau \right\} \), we have
On the other hand, since the function \(x\longmapsto \left( 1-x\right) ^{r}\) is decreasing on (0, 1) for all \(r>0\) and
for large enough r, see [1], p. 257, 6.1.46, then for any compact subset \({\mathscr {K}}\) of \((0,+\infty )\times (0, 1)\) it yields
Hence, \({\mathbb {P}}\)-a.s on \(\left\{ t<\tau \right\} \), we have
We conclude assertion (36) from the Lebesgue dominated convergence theorem.
Now, let us prove (37). Recall that the function \(K_{t_{n},u}(r,\zeta _{t_{n}})\) is given by
Since g is bounded, we deduce that \(K_{t_{n},u}(r,\zeta _{t_{n}})\) is bounded. Moreover, we obtain from the weak convergence that
\({\mathbb {P}}\)-a.s on \(\left\{ t<\tau \right\} \). Combining the fact that \(K_{t_{n},u}(r,\zeta _{t_{n}})\) is bounded, (38) and (40) assertion (37) is then derived from the Lebesgue dominated convergence theorem.
Next, we investigate the second part of the proof, that is the case \(t = 0\). It will be carried out in two steps. In the first one, we assume that there exists \(\varepsilon > 0\) such that
As in the first part, it is sufficient to verify that
Without loss of generality, we assume \(t_{n}< \alpha \wedge \varepsilon \) for all \(n\in {\mathbb {N}}\). It is easy to see that under condition (41), \({\mathbb {E}}[g(\zeta _{u})\vert \zeta _{t_{n}}]\) takes the form
On the other hand, we have
Then, in order to show (42) it is sufficient to prove, \({\mathbb {P}}\)-a.s, the following
and
First, for \(r>\varepsilon \), we have
Since the gamma function is increasing on \([2,\infty )\), for \(r\ge 2+t_{1}\), we obtain
It follows from (30) and (39) that the function \(r\longmapsto \dfrac{\varGamma (r)}{\varGamma (r-t_{1})}\) is \({\mathbb {P}}_{\tau }\)-integrable on \((\varepsilon ,+\infty )\). Hence, (43) follows from a simple application of the Lebesgue dominated convergence theorem. In the same way as in the first case (\(t>0\)), we obtain from the weak convergence that
then also (44) follows from a simple application of the Lebesgue dominated convergence theorem. Finally, we have to consider the general case, that is \({\mathbb {P}}(\tau >0)=1\). In order to prove the Markov property of \(\zeta \) with respect to \({\mathbb {F}}^{\zeta ,c}_{+}\) at \(t = 0\), it is sufficient to show that \({\mathscr {F}}_{0+}^{\zeta ,c}\) is \({\mathbb {P}}\)-trivial. This amounts to prove that \({\mathscr {F}}_{0+}^{\zeta }\) is \({\mathbb {P}}\)-trivial since \({\mathscr {F}}_{0+}^{\zeta ,c}={\mathscr {F}}_{0+}^{\zeta } \vee \mathscr {N}_{P}\). To do so, let \(\varepsilon > 0\) be fixed and consider the stopping time \(\tau _{\varepsilon }=\tau \vee \varepsilon \). We define the process \(\zeta _{t}^{\tau _{\varepsilon }}\) by
The first remark is that the sets \((\tau _{\varepsilon }>\varepsilon )=(\tau >\varepsilon )\) are equal and therefore the following equality of processes holds
Then, for each \(A\in {\mathscr {F}}_{0+}^{\zeta }\) there exists \(B\in {\mathscr {F}}_{0+}^{\zeta ^{\tau _{\varepsilon }}}\) such that
As \({\mathbb {P}}(\tau _{\varepsilon }>\varepsilon /2)=1\), according to the previous case we have that \({\mathscr {F}}_{0+}^{\zeta ^{\tau _{\varepsilon }}}\) is \({\mathbb {P}}\)-trivial. That is, \({\mathbb {P}}(B)=0\) or 1. Consequently, we obtain
Now if \({\mathbb {P}}(A)>0\), then there exists \(\varepsilon > 0\) such that \({\mathbb {P}}(A\cap \{\tau> \varepsilon \})>0\). Therefore, for all \(0<\varepsilon '\le \varepsilon \) we have
Passing to the limit as \(\varepsilon '\) goes to 0 yields \({\mathbb {P}}(A\cap (\tau>0))={\mathbb {P}}(\tau >0)=1\). It follows that \({\mathbb {P}}(A)=1\), which ends the proof. \(\square \)
Corollary 4
The filtration \({\mathbb {F}}^{\zeta ,c}\) satisfies the usual conditions of right-continuity and completeness.
Proof
See, e.g. [6], Ch. I, Proposition (8.12)] \(\square \)
3.4 Semi-martingale Decomposition of \(\zeta \)
Our purpose is to derive the semi-martingale property of \(\zeta \) with respect to its own filtration \({\mathbb {F}}^{\zeta ,c}\). Firstly, we obtain from representation (15) that
where the processes \({\widehat{N}}\) and Z are defined as follows:
and
for \((t,\omega ) \in {\mathbb {R}}_{+} \times \varOmega \). Now, let us consider the filtration
which is equal to the initial enlargement of the filtration \({\mathbb {F}}^{\zeta ,c}\) by the \(\sigma \)-algebra \(\sigma (\tau )\). Since the processes \(\zeta \) and Z are \(\mathbb {H}\)-adapted, it follows from equation (46) that \({\widehat{N}}\) is \(\mathbb {H}\)-adapted. Moreover, \(\tau \) is a stopping time with respect to \(\mathbb {H}\). The next proposition will play a very important role in forthcoming developments, since it shows the semi-martingale property of \(\zeta \) with respect to \(\mathbb {H}\).
Proposition 11
-
(i)
We have
$$\begin{aligned} {\mathbb {E}}\left[ \int _{0}^{t}\,|Z_{s}|\,\hbox {d}s\right] <+\infty , \forall t\ge 0. \end{aligned}$$ -
(ii)
The process \(\widehat{ N}=(\widehat{ N}_{t},t\ge 0)\) defined by
$$\begin{aligned} {\widehat{N}}_{t}=\zeta _{t}-\int _{0}^{t}\,Z_{s}\hbox {d}s,\quad t\ge 0, \end{aligned}$$(48)is a \(\mathbb {H}\)-martingale stopped at \(\tau \).
Proof
-
(i)
We first note that Z is a non-negative process. Since \(s\le r\), \(\zeta _s^{r}\) has a beta distribution \(\beta (s,r-s)\), \({\mathbb {E}}\left( \zeta _s^{r}\right) =s/r\). So, we can see, for any \(t\ge 0\), that
$$\begin{aligned} {\mathbb {E}}\left[ \int _{0}^{t} Z_{s}\, \hbox {d}s\right]&=\int _{0}^{+\infty }\int _{0}^{t\wedge r}\,\frac{1-{\mathbb {E}}[\zeta _s^{r}]}{r-s} \,\hbox {d}s \,{\mathbb {P}}_{\tau }(\hbox {d}r)\\&=\int _{0}^{+\infty } \,\int _{0}^{t\wedge r} \,\frac{1}{r} \,\hbox {d}s \,{\mathbb {P}}_{\tau }(\hbox {d}r)\le 1. \end{aligned}$$ -
(ii)
By assertion (i), the process \(\left( Z_{t},t\ge 0\right) \) is integrable with respect to the Lebesgue measure, hence \({\widehat{N}}\) is well defined. It is clear that the process \({\widehat{N}}\) is \(\mathbb {H}\)-adapted and \({\widehat{N}}_{t}={\widehat{N}}_{\tau }\), \({\mathbb {P}}\)-a.s, on the set \(\{t\ge \tau \}\). Now, since \(({\widehat{N}}_t^r, t\ge 0)\) is a \({\mathbb {F}}^{\zeta ^{r}}\)-martingale stopped at r we obtain, for any \(0<t_{1}<t_{2}<\cdots <t_{n}=t\), \(n\in {\mathbb {N}}^*\), \(h \ge 0\) and g a bounded Borel function, that
$$\begin{aligned}&{\mathbb {E}}\left[ ({\widehat{N}}_{t+h}-{\widehat{N}}_{t})g(\zeta _{t_{1}},\ldots ,\zeta _{t_{n}},\tau )\right] \\&\quad =\int _{(0,+\infty )}{\mathbb {E}}[({\widehat{N}}_{t+h}^{r}-{\widehat{N}}_{t}^{r})g(\zeta _{t_{1}}^{r},\ldots ,\zeta _{t_{n}}^{r},r)]{\mathbb {P}}_{\tau }(\hbox {d}r)\\&\quad =\int _{(0,t)}{\mathbb {E}}[({\widehat{N}}_{t+h}^{r}-{\widehat{N}}_{t}^{r})g(\zeta _{t_{1}}^{r},\ldots ,\zeta _{t_{n}}^{r},r)]{\mathbb {P}}_{\tau }(\hbox {d}r)\\&\qquad +\,\int _{[t,t+h)}{\mathbb {E}}[({\widehat{N}}_{t+h}^{r}-{\widehat{N}}_{t}^{r})g(\zeta _{t_{1}}^{r},\ldots ,\zeta _{t_{n}}^{r},r)]{\mathbb {P}}_{\tau }(\hbox {d}r)\\&\qquad +\,\int _{[t+h,+\infty )}{\mathbb {E}}[({\widehat{N}}_{t+h}^{r}-{\widehat{N}}_{t}^{r})g(\zeta _{t_{1}}^{r},\ldots ,\zeta _{t_{n}}^{r},r)]{\mathbb {P}}_{\tau }(\hbox {d}r)\\&\quad =\int _{(0,t)}{\mathbb {E}}[({\widehat{N}}_{r}^{r}-{\widehat{N}}_{r}^{r})g(\zeta _{t_{1}}^{r},\ldots ,\zeta _{t_{n}}^{r},r)]{\mathbb {P}}_{\tau }(\hbox {d}r)\\&\qquad +\,\int _{[t,t+h)}{\mathbb {E}}[({\widehat{N}}_{r}^{r}-{\widehat{N}}_{t}^{r})g(\zeta _{t_{1}}^{r},\ldots ,\zeta _{t_{n}}^{r},r)]{\mathbb {P}}_{\tau }(\hbox {d}r)\\&\qquad +\,\int _{[t+h,+\infty )}{\mathbb {E}}[({\widehat{N}}_{t+h}^{r}-{\widehat{N}}_{t}^{r})g(\zeta _{t_{1}}^{r},\ldots ,\zeta _{t_{n}}^{r},r)]{\mathbb {P}}_{\tau }(\hbox {d}r)=0. \end{aligned}$$The desired result follows by a standard monotone class argument. This completes the proof. \(\square \)
Therefore, it follows from Stricker’s Theorem [24] that \(\zeta \) is a semi-martingale relative to its natural filtration \({\mathbb {F}}^{\zeta ,c}\). A natural question is: What is the explicit form of its canonical decomposition? That is the problem we want to discuss. The method consists in applying the stochastic filtering theory.
Theorem 3
The canonical decomposition of \(\zeta \) in its natural filtration \({\mathbb {F}}^{\zeta ,c}\) is given by
where \(({\widetilde{N}}_t, t\ge 0)\) is an \({\mathbb {F}}^{\zeta ,c}\)-martingale stopped at \(\tau \).
Proof
Let us start by recalling that \(\tau \) is a stopping time with respect to \({\mathbb {F}}^{\zeta ,c}\). A well-known result of filtering theory [7] (T1, p. 87) (or Theorem 8.1.1 and Remark 8.1.1 [17] for more general setting) tells us that the decomposition of \(\zeta \) in its natural filtration \({\mathbb {F}}^{\zeta ,c}\) is given by
where \(({\widetilde{N}}_t, t\ge 0)\) is an \({\mathbb {F}}^{\zeta ,c}\)-martingale stopped at \(\tau \). Therefore, we have only to compute the conditional expectation of \(Z_s\) relative to \({\mathscr {F}}_s^{\zeta ,c}\). Indeed, using (27) we have
Hence, we derive the canonical decomposition (49) of \(\zeta \) as a semi-martingale in its own filtration \({\mathbb {F}}^{\zeta ,c}\). \(\square \)
Remark 4
The results of the paper can be straightforwardly extended to a large class of gamma subordinator \((\gamma _{t}^{(\eta ,\kappa )},\,t\ge 0)\), \(\eta ,\kappa >0\), with Lévy measure
and whose law at time t is the gamma distribution with density
The Lévy–Khintchine representation is given by
On the other hand, they can be also easily extended to the gamma bridges of length r, starting at 0, with an arbitrary ending point \(a>0\)
For the sake of simplicity, we have therefore considered only the case \(\eta =\kappa =a=1\) without loss of generality.
References
Abramowitz, M., Stegun, I.A. (eds.): Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. National Bureau of Standards, Applied Mathematics Series 55, 9th printing, Washington (1970)
Asmussen, S., Hobolth, A.: Markov bridges, bisection and variance reduction. In: Plaskota, L., Wozniakowski, H. (eds.) Monte Carlo and Quasi-Monte Carlo Methods 2010. Springer Proceedings in Mathematics and Statistics, vol. 23. Springer, Berlin (2012)
Bedini, M.L.: Information on a Default Time: Brownian Bridges on Stochastic Intervals and Enlargement of Filtrations. PhD Thesis, Friedrich Schiller University of Jena (Germany) (2012)
Bertoin, J.: Lévy Processes. Cambridge University Press, Cambridge (1996)
Bedini, M.L., Buckdahn, R., Engelbert, H.J.: Brownian bridges on random intervals. Theory Probab. Appl. 61(1), 15–39 (2017)
Blumenthal, R.M., Getoor, R.K.: Markov Processes and Potential Theory. Academic Press, New York (1968)
Brèmaud, P.: Point Processes and Queues. Springer Series in Statistics. Springer, New York (1981)
Brody, D.C., Hughston, L.P., Macrina, A.: Dam rain and cumulative gain. Proc. R. Soc. A 464, 1801–1822 (2008)
Dufresne, F., Gerber, H.U., Shiu, E.S.: Risk theory with the gamma process. ASTIN Bull. 21, 177–192 (1991)
Chan, Y., Talburt, J., Talley, T.: Data Engineering: Mining, Information and Intelligence. Springer, Norwell (2010)
Erraoui, M., Louriki, M.: Bridges with random length: Gaussian–Markovian case. Markov Process. Relat. Fields 4, 669–693 (2018)
Emery, M., Yor, M.: A parallel between Brownian bridges and gamma bridges. Publ. RIMS Kyoto Univ. 40(3), 669–688 (2004)
Gani, J.: Problems in the probability theory of storage systems. J. R. Stat. Soc. Ser. B. 19, 181–206 (1957)
Hammersley, J.M.: Storage problems. Math. Ann. 128, 475–478 (1955)
Hoyle, E., Hughston, L.P., Macrina, A.: Stable-\(\frac{1}{2}\) bridges and insurance. In: Palczewski, A., Stettner, L. (eds.) Advances in Mathematics of Finance. Banach Center Publications, vol. 104, pp. 95–120. Institute of Mathematics of the Polish Academy of Sciences, Warsaw (2015)
Hoyle, E., Mengütürk, L.A.: Archimedean survival processes. J. Multivar. Anal. 115, 1–15 (2013)
Kallianpur, G.: Stochastic Filtering Theory. Applications of Mathematics, vol. 13. Springer, New York (1980)
Kendall, D.G.: Some problems in the theory of dams. J. R. Stat. Soc. Ser. B 19, 207–212 (1957)
Kingman, J.F.C.: On continuous time models in the theory of dams. J. Aust. Math. Soc. 3, 480–487 (1963)
Kyprianou, A.E.: Introductory Lectures on Fluctuations of Lévy Processes with Applications. Springer, Berlin (2006)
Moran, P.A.P.: A probability theory of a dam with a continuous release. Q. J. Math. Oxf. Ser. 7(1), 130–137 (1956)
Sato, K.I.: Lévy Processes and Infinitely Divisible Distributions. Cambridge University Press, Cambridge (1999)
Shiryaev, A.N.: Probability. 1, 3rd edn. Springer, New York (2016)
Stricker, C.: Quasimartingales, martingales locales, semimartingales et filtration naturelle. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 39(1), 55–63 (1977)
Yor, M.: Some remarkable properties of gamma processes. In: Fu, M.C., Jarrow, R.A., Yen, J.Y.J., Elliott, R.J. (eds.) Advances in Mathematical Finance. Applied and Numerical Harmonic Analysis, pp. 37–47. Birkhäuser, Boston (2007)
Acknowledgements
Open access funding provided by Linnaeus University. The authors would like to express particular thanks to the anonymous referee for the constructive comments, and Youssef Ouknine for his guidance and encouragement. The third author gratefully acknowledges the financial support by an Erasmus+ International Credit Mobility exchange project coordinated by Linnaeus University.
Author information
Authors and Affiliations
Corresponding author
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 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.
About this article
Cite this article
Erraoui, M., Hilbert, A. & Louriki, M. Bridges with Random Length: Gamma Case. J Theor Probab 33, 931–953 (2020). https://doi.org/10.1007/s10959-019-00955-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10959-019-00955-4