1 Introduction
It is well known that the two-sided fractional Brownian motion (tsfBm) with Hurst parameter $H\in (0,1)$ is a centered Gaussian process ${B}^{H}=\{{B_{t}^{H}},t\in \mathbb{R}\}$, defined on a probability space $(\varOmega ,F,\mathbb{P})$, with the covariance function
When $H=\frac{1}{2}$, ${B}^{H}$ is a two-sided Brownian motion (tsBm). The self-similarity and stationarity of the increments are two main properties because of which fBm enjoyed success as a modeling tool in many areas, such as finance, hydrology, biology, and telecommunications.
In [3], the authors suggested another kind of extension of the Bm, called the subfractional Brownian motion (sfBm), which preserves most of the properties of the fBm, but not the stationarity of the increments. It is a centered Gaussian process ${\xi }^{H}=\{{\xi _{t}^{H}},t\in [0,\infty )\}$ with the covariance function
with $H\in (0,1)$. The case $H=\frac{1}{2}$ corresponds to the Bm.
The sfBm is intermediate between Brownian motion and fractional Brownian motion in the sense that it has properties analogous to those of fBm, but the increments on nonoverlapping intervals are more weakly correlated, and their covariance decays polynomially at a higher rate. So the sfBm does not generalize the fBm.
One extension of the sfBm was introduced in [9] and called the generalized subfractional Brownian motion (GsfBm). It is a centered Gaussian process starting from zero with covariance function
with $H\in (0,1)$ and $K\in [1,2)$. The case $K=1$ corresponds to the sfBm.
Another type of a generalized form of the sfBm was introduced in [11] and [4] as a linear combination of a finite number of independent subfractional Brownian motions. It was called the mixed subfractional Brownian motion (msfBm). The msfBm is a centered mixed self-similar1 Gaussian process and does not have stationary increments. Both GsfBm and msfBm do not generalize the fBm.
On the other hand, in the literature, we find many different kinds of extensions of the fBm, such as the multifractional Brownian motion [7], the mixed fractional Brownian motion [10], and the bifractional Brownian motion [5]. But none of them generalizes the sfBm.
In this paper, we introduce a new stochastic process, which is an extension of both subfractional Brownian motion and fractional Brownian motion. This process is completely different from all the other extensions existing in the literature; we call it the generalized fractional Brownian motion. More precisely, let us take two real constants a and b such that $(a,b)\ne (0,0)$ and $H\in (0,1)$.
Definition 1.
A generalized fractional Brownian motion (gfBm) with parameters $a,b$, and H, is a process ${Z}^{H}=\{{Z_{t}^{H}}(a,b);t\ge 0\}=\{{Z_{t}^{H}};t\ge 0\}$ defined on the probability space $(\varOmega ,F,\mathbb{P})$ by
where $({B_{t}^{H}})_{t\in \mathbb{R}}$ is a two-sided fractional Brownian motion with parameter H.
(3)
\[\forall t\in \mathbb{R}_{+},\hspace{14.22636pt}{Z_{t}^{H}}={Z_{t}^{H}}(a,b)=a{B_{t}^{H}}+b{B_{-t}^{H}},\]If $a=1$, $b=0$, then ${Z}^{H}=\{{B_{t}^{H}};t\ge 0\}$, that is, ${Z}^{H}$ is a fractional Brownian motion. If $a=b=\frac{1}{\sqrt{2}}$, then it is easy to see, either by a direct calculation using (1) or by Lemma 1, that the covariance of process ${Z}^{H}$ is precisely $S(t,s)$ given by (2). So, in this case, ${Z}^{H}$ is a subfractional Brownian motion. If $a=b=\frac{1}{\sqrt{2}}$ and $H=\frac{1}{2}$ or if $a=1$, $b=0$, and $H=\frac{1}{2}$, ${G}^{H}$ is clearly a standard Brownian motion.
So the gfBm is, at the same time, a generalization of the fractional Brownian motion, of the subfractional Brownian motion, and of course of the standard Brownian motion. This is an important motivation for the introduction of such a process since it allows to deal with a larger class of modeled natural phenomena, including those with stationary or nonstationary increments.
This paper contains two sections. In the first one, we investigate the main stochastic properties of the gfBm. We show in particular that the gfBm is a Gaussian, self-similar, and non-Markov process (except in the case where $H=1/2$). The second section is devoted to the investigation of some characteristics of increments of gfBms. As an application, we deduce the properties of nonsemimartingality, Hölder continuity, nondifferentiablity, and existence of a local time.
2 The main properties
By the Gaussianity of ${B}^{H}$and by Eq. (1) we easily get the following lemma.
The following lemma deals with the self-similarity property.
Proof.
This follows from the fact that, for fixed $h>0$, the processes $\{{Z_{ht}^{H}}(a,b);t\ge 0\}$ and $\{{h}^{H}{Z_{t}^{H}}(a,b);t\ge 0\}$ are Gaussian, centered, and have the same covariance function. □
Let us now study the non-Markov property of the gfBm.
Proposition 1.
For all $H\in (0;1)\setminus \{\frac{1}{2}\}$ and $(a,b)\in {\mathbb{R}}^{2}\setminus \{(0,0)\}$, $({Z_{t}^{H}}(a,b))_{t\in \mathbb{R}_{+}}$ is not a Markov process.
Proof.
We will only prove the proposition in the case where $b\ne 0$; the result with $b=0$ is known (see [10] and the references therein). The process ${Z}^{H}$ is a centered Gaussian, and for all $t>0$,
\[\operatorname{Cov}\big({Z_{t}^{H}},{Z_{t}^{H}}\big)=\big({a}^{2}+{b}^{2}-\big({2}^{2H}-2\big)ab\big){t}^{2H}>0.\]
Then, if ${Z}^{H}$ were a Markov process, according to [8], for all $s<t<u$, we would have
In the particular case where $1<s=\sqrt{t}<t<u={t}^{2}$, we have
\[\begin{array}{r@{\hskip0pt}l}& \displaystyle \bigg[\frac{1}{2}{(a+b)}^{2}\big(1+{t}^{-3H}\big)-ab{\big(1+{t}^{-3/2}\big)}^{2H}-\frac{{a}^{2}+{b}^{2}}{2}{\big(1-{t}^{-3/2}\big)}^{2H}\bigg]\\{} & \displaystyle \hspace{2em}\times \big[{a}^{2}+{b}^{2})-\big({2}^{2H}-2\big)ab\big]\\{} & \displaystyle \hspace{1em}=\bigg[\frac{1}{2}{(a+b)}^{2}\big(1+{t}^{-H}\big)-ab{\big(1+{t}^{-1/2}\big)}^{2H}-\frac{{a}^{2}+{b}^{2}}{2}{\big(1-{t}^{-1/2}\big)}^{2H}\bigg]\\{} & \displaystyle \hspace{2em}\times \bigg[\frac{1}{2}{(a+b)}^{2}\big(1+{t}^{-2H}\big)-ab{\big(1+{t}^{-1}\big)}^{2H}-\frac{{a}^{2}+{b}^{2}}{2}{\big(1-{t}^{-1}\big)}^{2H}\bigg].\end{array}\]
So
\[\begin{array}{r@{\hskip0pt}l}& \displaystyle \bigg[\frac{1}{2}{(a+b)}^{2}\big(1+{t}^{-3H}\big)-ab\big(1+2H{t}^{-3/2}+H(2H-1){t}^{-3}+o\big({t}^{-3}\big)\big)\\{} & \displaystyle \hspace{2em}-\frac{{a}^{2}+{b}^{2}}{2}\big(1-2H{t}^{-3/2}+H(2H-1){t}^{-3}+o\big({t}^{-3}\big)\big)\bigg]\\{} & \displaystyle \hspace{2em}\times \big[{a}^{2}+{b}^{2}-\big({2}^{2H}-2\big)ab\big]\\{} & \displaystyle \hspace{1em}=\bigg[\frac{1}{2}{(a+b)}^{2}\big(1+{t}^{-H}\big)-ab\big(1+2H{t}^{-1/2}+H(2H-1){t}^{-1}+o\big({t}^{-1}\big)\big)\\{} & \displaystyle \hspace{2em}-\frac{{a}^{2}+{b}^{2}}{2}\big(1-2H{t}^{-1/2}+H(2H-1){t}^{-1}+o\big({t}^{-1}\big)\big)\bigg]\\{} & \displaystyle \hspace{2em}\times \bigg[\frac{1}{2}{(a+b)}^{2}\big(1+{t}^{-2H}\big)-ab\big(1+2H{t}^{-1}+H(2H-1){t}^{-2}+o\big({t}^{-2}\big)\big)\\{} & \displaystyle \hspace{2em}-\frac{{a}^{2}+{b}^{2}}{2}\big(1-2H{t}^{-1}+H(2H-1){t}^{-2}+o\big({t}^{-2}\big)\big)\bigg].\end{array}\]
First case: $0<H<\frac{1}{2}$, $a+b\ne 0$. By Taylor’s expansion we get, as $t\to \infty $,
\[\frac{1}{2}{(a+b)}^{2}\big[{a}^{2}+{b}^{2}-\big({2}^{2H}-2\big)ab\big]{t}^{-3H}\approx \frac{1}{4}{(a+b)}^{4}{t}^{-3H},\]
which is true if and only if
However, it is easy to check that $\frac{{(a-b)}^{2}}{2}-({2}^{2H}-2)ab>0$ for fixed b and every real a.
Second case: $0<H<\frac{1}{2}$ and $a+b=0$. By Taylor’s expansion we get, as $t\to \infty $,
\[\big[{a}^{2}+{b}^{2}-\big({2}^{2H}-2\big)ab\big]{t}^{-3/2}\approx \big(-2Hab+\big({a}^{2}+{b}^{2}\big)H\big){t}^{-3/2},\]
which is true if and only if $a=b=0$, which is false.
Third case: $\frac{1}{2}<H<1$, $a-b\ne 0$. By Taylor’s expansion we get, as $t\to \infty $,
\[H{(a-b)}^{2}\big[{a}^{2}+{b}^{2}-\big({2}^{2H}-2\big)ab\big]{t}^{-3/2}\approx {H}^{2}{(a-b)}^{4}{t}^{-3/2},\]
which is true if and only if
However, it is easy to check that ${a}^{2}(1-H)+{b}^{2}(1-H)+ab(2-{2}^{2H}+2H)>0$ for fixed b and every real a.
Fourth case: $\frac{1}{2}<H<1$ and $a-b=0$. By Taylor’s expansion we get, as $t\to \infty $,
\[\frac{1}{2}{(a+b)}^{2}\big[{a}^{2}+{b}^{2}-\big({2}^{2H}-2\big)ab\big]{t}^{-3H}\approx \frac{1}{4}{(a+b)}^{4}{t}^{-3H},\]
which is true if and only if $2-{2}^{2H}=0$, which is false since $H\ne \frac{1}{2}$. The proof of Lemma 1 is complete. □3 Study of increments and some applications
Let us start by the following lemma, in which we characterize the second moment increments of the gfBm.
Lemma 3.
For all $(s,t)\in {\mathbb{R}_{+}^{2}}$ such that $s\le t$:
where
\[\gamma (a,b,H)=\big({a}^{2}+{b}^{2}-2ab\big({2}^{2H-1}-1\big)\big)\mathbf{1}_{\mathcal{C}}(a,b,H)+\big({a}^{2}+{b}^{2}\big)\mathbf{1}_{\mathcal{D}}(a,b,H),\]
and
\[\nu (a,b,H)=\big({a}^{2}+{b}^{2}\big)\mathbf{1}_{\mathcal{C}}(a,b,H)+\big({a}^{2}+{b}^{2}-2ab\big({2}^{2H-1}-1\big)\big)\mathbf{1}_{\mathcal{D}}(a,b,H),\]
Moreover, the constants in the inequalities of statement 2 are the best possible.
Proof.
The first statement is a direct consequence of Eqs. (1) and (3). So we will just check the second one. We will do that in the case where $H>\frac{1}{2}$ and $ab\ge 0$; the proof in the remaining cases is similar.
Since the function $x\longmapsto {x}^{2H}$ is convex on $\mathbb{R}_{+}$, we have
which yields that
To get the lower bound, we consider the function
\[f_{\lambda }:x\longmapsto {2}^{2H-1}\big({(s+x)}^{2H}+{s}^{2H}\big)-{(2s+x)}^{2H}-\lambda {x}^{2H},\]
with $\lambda >0$. We have $f_{\lambda }(0)=0$. So to get the stated lower bound, it suffices to check that, for $\lambda ={2}^{2H-1}-1$, $f_{\lambda }$ is a decreasing function. But here we show more; we look for the lower bound ν (resp. the upper bound γ) of the set of reals $\lambda >0$ such that $f_{\lambda }$ decreases (resp. $f_{\lambda }$ increases) for $x>0$, which will give us the maximum $\gamma \ge 0$ and the minimum $\nu >0$ such that
The function $f_{\lambda }$ is differentiable in ${\mathbb{R}_{+}^{\star }}$, and for all $x>0$,
\[{f^{\prime }_{\lambda }}(x)=2H\big[{2}^{2H-1}{(s+x)}^{2H-1}-{(2s+x)}^{2H-1}-\lambda {x}^{2H-1}\big].\]
So
\[\begin{array}{r@{\hskip0pt}l}\displaystyle {f^{\prime }_{\lambda }}(x)<0\hspace{1em}& \displaystyle \Longleftrightarrow \hspace{1em}{2}^{2H-1}{(s+x)}^{2H-1}-{(2s+x)}^{2H-1}<\lambda {x}^{2H-1}\\{} & \displaystyle \Longleftrightarrow \hspace{1em}\frac{{2}^{2H-1}{(s+x)}^{2H-1}-{(2s+x)}^{2H-1}}{{x}^{2H-1}}<\lambda .\end{array}\]
Denote $g(x)=\frac{{2}^{2H-1}{(s+x)}^{2H-1}-{(2s+x)}^{2H-1}}{{x}^{2H-1}}$, that is,
Putting $X=\frac{s}{x}$, we can write $g(x)=h(X)$ where
The function h is continuous and strictly decreasing. Consequently,
\[h\big(]0,+\infty [\big)=\hspace{0.1667em}\Big]\underset{X\to +\infty }{\lim }h;\underset{X\to 0}{\lim }h\Big[\hspace{0.1667em}=\hspace{0.1667em}\big]0;{2}^{2H-1}-1\big[.\]
So, $\sup _{x>0}g={2}^{2H-1}-1$ and $\inf _{x>0}g=0$. We deduce that the lower bound $\nu >0$ and the upper bound $\gamma >0$ such that
are $\nu ={2}^{2H-1}-1$ and $\gamma =0$. □The first main application of Lemma 3 is the following result.
Lemma 4.
For every $H\in \hspace{0.1667em}]0,1[\hspace{0.1667em}\setminus \{\frac{1}{2}\}$, the gfBm is not a semimartingale.
The following result is the second important consequence of Lemma 3. It deals with the continuity and nondifferentiablity of the gfBm sample paths.
As the third consequence of Lemma 3, we see that if $b\ne 0$, then the gfBm does not have stationary increments, but this property is replaced by the inequalities appeared in statement 2 of Lemma 3. In order to understand how far is the gfBm from a process with stationary increments, we will compare the gfBm increments and the fBm increments. To reach this goal, let us first recall that, in the fractional Brownian motion case $(a=1,b=0)$, we have, for all $p\in \mathbb{N}$ and $n\ge 0$,
In the following proposition, we compute the term $R_{Z}(p,p+n)$, showing how different it is from $R_{B}(0,n)$.
\[\begin{array}{r@{\hskip0pt}l}\displaystyle \mathbb{E}\big(\big({B_{p+1}^{H}}-{B_{p}^{H}}\big)\big({B_{p+n+1}^{H}}-{B_{p+n}^{H}}\big)\big)& \displaystyle =\mathbb{E}\big({B_{1}^{H}}\big({B_{n+1}^{H}}-{B_{n}^{H}}\big)\big)\\{} & \displaystyle =\frac{1}{2}\big[{(n+1)}^{2H}-2{n}^{2H}+{(n-1)}^{2H}\big]\\{} & \displaystyle =R_{B}(0,n).\end{array}\]
Denote
(6)
\[R_{Z}(p,p+n)=\mathbb{E}\big(\big({Z_{p+1}^{H}}-{Z_{p}^{H}}\big)\big({Z_{p+n+1}^{H}}-{Z_{p+n}^{H}}\big)\big),\hspace{1em}p\ge 1.\]Proof.
An easy calculus allows us to get
for every $n\ge 1$, where $f_{p}(n)={(2p+n+2)}^{2H}-2{(2p+n+1)}^{2H}+{(2p+n)}^{2H}$.
(8)
\[\begin{array}{r@{\hskip0pt}l}\displaystyle R_{Z}(p,p+n)& \displaystyle =\frac{{a}^{2}+{b}^{2}}{2}\big[{(n+1)}^{2H}-2{n}^{2H}+{(n-1)}^{2H}\big]\\{} & \displaystyle \hspace{1em}-ab\big[{(2p+n+2)}^{2H}-2{(2p+n+1)}^{2H}+{(2p+n)}^{2H}\big]\\{} & \displaystyle =\big({a}^{2}+{b}^{2}\big)R_{B}(0,n)-abf_{p}(n),\end{array}\]By Taylor’s expansion we have, as $p\to \infty $,
\[\begin{array}{r@{\hskip0pt}l}\displaystyle f_{p}(n)& \displaystyle ={(2p)}^{2H}\bigg[{\bigg(1+\frac{n+2}{2p}\bigg)}^{2H}-2{\bigg(1+\frac{n+1}{2p}\bigg)}^{2H}+{\bigg(1+\frac{n}{2p}\bigg)}^{2H}\bigg]\\{} & \displaystyle =\big({2}^{2H-1}H(2H-1)\big){p}^{2(H-1)}\big(1+o(1)\big).\end{array}\]
Since $H<1$, the last term tends to 0 as p goes to infinity. □Remark 1.
If $a\ne 0$ and $b\ne 0$, then the gfBm increments are not stationary. The meaning of the proposition is that they converge to a stationary sequence.
Now, we are interested in the behavior of the gfBm increments with respect to n (as $n\to \infty $) and, in particular, in the long-range dependence of the process ${Z}^{H}$.
Theorem 1.
For every $(a,b)\in {\mathbb{R}}^{2}\setminus \{(0,0)\}$, the increments of ${Z}^{H}(a,b)$ are long-range dependent if and only if $H>\frac{1}{2}$ and $a\ne b$.
Proof.
For every integer $p\ge 1$, by Taylor’s expansion, as $n\to \infty $, we have
\[\begin{array}{r@{\hskip0pt}l}\displaystyle R_{Z}(p,p+n)& \displaystyle =\frac{{a}^{2}+{b}^{2}}{2}{n}^{2H}\bigg[{\bigg(1+\frac{1}{n}\bigg)}^{2H}-2+{\bigg(1-\frac{1}{n}\bigg)}^{2H}\bigg]\\{} & \displaystyle \hspace{1em}-ab{n}^{2H}\bigg[{\bigg(1+\frac{2p+2}{n}\bigg)}^{2H}\hspace{-0.1667em}\hspace{-0.1667em}-2{\bigg(1+\frac{2p+1}{n}\bigg)}^{2H}\hspace{-0.1667em}\hspace{-0.1667em}+{\bigg(1+\frac{2p}{n}\bigg)}^{2H}\bigg]\\{} & \displaystyle =H(2H-1){n}^{2H-2}{(a-b)}^{2}\\{} & \displaystyle \hspace{1em}-4H(2H-1)(H-1)ab(2p+1){n}^{2H-3}\big(1+o(1)\big).\end{array}\]
If $a\ne b$, we see that as $n\to \infty $, $R_{Z}(p,p+n)\approx H(2H-1){n}^{2H-2}{(a-b)}^{2}$. Then
Remark 2.
We know that the subfractional Brownian motion increments ${Z}^{H}(\frac{1}{\sqrt{2}},\frac{1}{\sqrt{2}})$ are short-range dependent for every $H\in ]0,1[$. From the theorem we see another important motivation of the investigation of the general process ${Z}^{H}(a,b)$ with a and b not necessary equal; it allows us to exhibit models taking into account not only short-range dependence of the increments, but also phenomena of long-range dependence if it exists.
Lemma 3 has also an immediate application to local time of the gfBm.
Proof.
First, denote, for $s,t\in \mathbb{R}_{+}$ and $s\ne t$, by $\varphi _{{Z_{t}^{H}}-{Z_{s}^{H}}}$ the characteristic function of the random variable ${Z_{t}^{H}}-{Z_{s}^{H}}$ and by ${p}^{H}(x;t,s)$ its probability density function. They are expressed by
and
It is clear that
(9)
\[\varphi _{{Z_{t}^{H}}-{Z_{s}^{H}}}(u)=\mathbb{E}\big[\exp \big(iu\big({Z_{t}^{H}}-{Z_{s}^{H}}\big)\big)\big]=\exp \bigg(-\frac{{u}^{2}}{2}\mathbb{E}{\big({Z_{t}^{H}}-{Z_{s}^{H}}\big)}^{2}\bigg),\](10)
\[{p}^{H}(x;s,t)=1/\sqrt{2\pi \mathbb{E}{\big({Z_{t}^{H}}-{Z_{s}^{H}}\big)}^{2}}\exp \big(-{x}^{2}/2\mathbb{E}{\big({Z_{t}^{H}}-{Z_{s}^{H}}\big)}^{2}\big).\]
\[{\int _{-\infty }^{\infty }}\big|\varphi _{{Z_{t}^{H}}-{Z_{s}^{H}}}(u)\big|\hspace{0.1667em}du<\infty ,\]
and by Lemma 3 and the fact that $0<H<1$, for every $T>0$,
where c is positive constant.So, by Lemma 3.2 of [1] the local time of $({Z_{t}^{H}})_{0\le t\le T}$ exists almost surely, and it is square integrable as a function of u. □