1 Introduction and preliminaries
This paper is a continuation of the paper [7], and we adhere to the same basic notation and the same object. Namely, let $T>0$ and let $\{{W_{s}},\hspace{0.2778em}s\in [0,T]\}$ be a Wiener process. We consider the Gaussian process with Volterra kernel (Gaussian Volterra process) of the form
with
so that
According to [7], condition ${\textstyle\int _{0}^{t}}{K^{2}}(t,s)ds<\infty $ is satisfied whenever
Additionally, we proved in [7] that under condition (4) the process X is Hölder continuous on the interval $[0,T]$ up to order $\min \big(1,\hspace{0.2778em}\gamma +\frac{3}{2},\hspace{0.2778em}\alpha +\beta +\gamma +\frac{3}{2}\big)$.
(2)
\[ K(t,s)={s^{\alpha }}{\int _{s}^{t}}{u^{\beta }}\hspace{0.1667em}{(u-s)^{\gamma }}\hspace{0.1667em}du\hspace{0.1667em}{\mathbf{1}_{s\le t}},\](3)
\[ {X_{t}}={\int _{0}^{t}}{s^{\alpha }}{\int _{s}^{t}}{u^{\beta }}\hspace{0.1667em}{(u-s)^{\gamma }}\hspace{0.1667em}du\hspace{0.1667em}d{W_{s}}.\](4)
\[ \alpha >-\frac{1}{2},\hspace{2em}\gamma >-1,\hspace{1em}\text{and}\hspace{1em}\alpha +\beta +\gamma >-\frac{3}{2}.\]Note that in the case where $\alpha =1/2-H$, $\beta =H-1/2$, $\gamma =H-3/2$, $H\in (1/2,1)$, process X is a fractional Brownian motion. For integration of a deterministic function with respect to a fractional Brownian motion, we refer to [12]. Various approaches to stochastic integration with respect to a fractional Brownian motion are developed in [2, 3, 11]. Another approach to the integration of a nonrandom functions with respect to the Gaussian processes are considered in [6, Section 3.5]. The question of the inverse representation of the underlying Wiener process via fractional Brownian motion was obtained in [10] and clarified in [9].
Thus, the process X under consideration is a generalization of a fractional Brownian motion, moreover, its study requires rather subtle reasoning and estimates that depend on the values of the parameters α, β and γ. In [7] we proved that the process X satisfies the single-point Hölder condition up to order $\alpha +\beta +\gamma +\frac{3}{2}$ at point 0, the “interval” Hölder condition up to order $\min (\gamma +\frac{3}{2},\hspace{0.2222em}1)$ on the interval $[{t_{0}},T]$ (where $0<{t_{0}}<T$), and the Hölder condition up to order $\min (\alpha +\beta +\gamma +\frac{3}{2},\hspace{0.2778em}\gamma +\frac{3}{2},\hspace{0.2778em}1)$ on the entire interval $[0,T]$. In the present paper we are interested in the integration w.r.t. process X and the inverse representation of W via process X. Thus, quite traditional problems are considered, but their solution requires different analytical approaches depending on the values of the parameters, and this is the interest of this study.
For the factional Brownian motion ${B^{H}}$, the Volterra representation (1) is called the Molchan representation. The Wiener process W in this representation can be expressed with ${B^{H}}$ step-by-step, as it is shown in [10]. The inverse representation in the form ${W_{t}}={\textstyle\int _{0}^{t}}L(t,s)\hspace{0.1667em}d{B^{H}}$ is obtained in [5]. (More generally, [5] deals with representations of the form ${B_{t}^{{H_{1}}}}={\textstyle\int _{0}^{t}}L(t,s)\hspace{0.1667em}d{B_{s}^{{H_{2}}}}$, where ${B^{{H_{1}}}}$ and ${B^{{H_{2}}}}$ are two fractional Brownian motions with different Hurst indices which share the Wiener process in their Molchan representations.)
The inverse Volterra representation of the process of the form
\[ {X_{t}}={\int _{0}^{t}}a(s){\int _{s}^{t}}b(u)\hspace{0.1667em}c(u-s)\hspace{0.1667em}du\hspace{0.1667em}d{W_{s}}\]
is obtained in [8]. We reuse this representation for the process (3) whenever possible, i.e., when (4) holds true and $\gamma <0$. However, the conditions of [8, Proposition 2] are satisfied if $\alpha \le 0$ (in addition to (4) and $\gamma <0$), and are not satisfied if $\alpha >0$, while the inverse representation is valid anyway. Therefore, we have to justify the inverse representation for the case where the results of [8] are not applicable.In Section 2 we develop integration of deterministic functions with respect to the process X. We construct a Banach space ${\mathcal{E}_{p,k}}$ of functions such that the integration of functions in ${\mathcal{E}_{p,k}}$ can be obtained by continuous extension of integration of piecewise-constant functions. In reality, the space ${\mathcal{E}_{p,k}}$ is a weighted ${L^{p}}([0,T],\mu )$ space for some measure μ.
In Section 3 we find the set of parameters for which the process X is differentiable. For that end, we define a process ${\dot{X}_{t}}={t^{\beta }}{\textstyle\int _{0}^{t}}{s^{\alpha }}{(t-s)^{\gamma }}\hspace{0.1667em}d{W_{s}}$, and prove that $d{X_{t}}/dt={\dot{X}_{t}}$ (under some conditions for α, β and γ; see Corollary 2 for details). We also study under what conditions the process $\dot{X}$ is differentiable, and thus the process X is differentiable several times.
In Section 4 we find an expression for the Wiener process W in the Volterra representation (3). The form of the expression depends on whether $\gamma \in (-1,0)$ or $\gamma \ge 0$. If $\gamma \in (-1,0)$, then the inverse representation has the form ${W_{v}}={\textstyle\int _{0}^{v}}L(v,t)\hspace{0.1667em}d{X_{t}}$. If $\gamma \ge 0$, we use the process $\dot{X}$ to reconstruct W.
In the appendices we present auxiliary results. In Appendix A we restate the Hölder and Young inequalities in a nonstandard form, and propose a lemma that helps to apply the Young inequality. In Appendix B we present some basics of fractional calculus, which allows us to solve the Abel equation needed to invert the Volterra representation for $\gamma >0$.
2 Integration with respect to the Volterra process
2.1 Classes of integrable functions
Let $\{{X_{t}},\hspace{0.2778em}t\in [0,T]\}$ be a Volterra process defined in (1) with kernel $K(t,s)$ of the form (2), and let $\phi (t)$ be a nonrandom function. In [11], for linear operator ${K^{\ast }}$ defined as
the integral with respect to the process X is defined as
\[ {\int _{0}^{T}}\phi (t)\hspace{0.1667em}d{X_{t}}={\int _{0}^{T}}{K^{\ast }}\phi (s)\hspace{0.1667em}d{W_{s}}.\]
Since in the case under consideration the kernel $K(t,s)$ is absolutely continuous in t and $K(s,s)=0$, we can write
and so the obvious choice for operator ${K^{\ast }}$ is
\[ ({K^{\ast }}\phi )(s)={\int _{s}^{T}}\phi (t)\hspace{0.1667em}\frac{\partial K(t,s)}{\partial t}\hspace{0.1667em}dt.\]
If it will be necessary to distinguish, operator ${K^{\ast }}$ will be marked as ${K_{(\cdot ,\cdot ,\cdot )}^{\ast }}$, by the values of the powers in the kernel K. Now,
\[ {\int _{0}^{T}}\phi (t)\hspace{0.1667em}d{X_{t}}={\int _{0}^{T}}{\int _{s}^{T}}\phi (t)\hspace{0.1667em}\frac{\partial K(t,s)}{\partial t}\hspace{0.1667em}dt\hspace{0.1667em}d{W_{s}}.\]
So, the integral with respect to the Volterra process (3) is formally defined as
Now our goal is to define the class of functions ϕ for which the integral ${\textstyle\int _{0}^{T}}\hspace{-0.1667em}\hspace{-0.1667em}\phi (t)\hspace{0.1667em}d{X_{t}}$ is well-defined. To that end, for $k\in \mathbb{R}$ and $p\in [1,+\infty )$ we consider the Banach space
\[ {\mathcal{E}_{p,k}}=\bigg\{\phi :[0,T]\to \mathbf{R}\hspace{0.1667em}:\hspace{0.1667em}\phi \hspace{2.5pt}\text{is Borel measurable and}\hspace{2.5pt}{\int _{0}^{T}}|\phi (t){|^{p}}\hspace{0.1667em}{t^{pk}}\hspace{0.1667em}dt<\infty \bigg\}\]
of functions taken up to a.e. equivalence, with the norm
\[ \| \phi {\| _{{\mathcal{E}_{p,k}}}}={\left({\int _{0}^{T}}|\phi (t){|^{p}}\hspace{0.1667em}{t^{pk}}\hspace{0.1667em}dt\right)^{1/p}}.\]
Under additional condition $pk>-1$ the space ${\mathcal{E}_{p,k}}$ contains indicators of intervals ${\mathbf{1}_{[0,t]}}$, $0<t\le T$. Regardless whether or not $pk>-1$, the space ${\mathcal{E}_{p,k}}$ contains indicators of intervals ${\mathbf{1}_{[{t_{0}},t]}}$, $0<{t_{0}}<t\le T$, and the span of these indicators is a dense subset in ${\mathcal{E}_{p,k}}$.Proposition 1.
Let (4) hold true, let $p\ge 1$ and
Then the operator
is a bounded linear operator ${L^{p}}[0,T]\to {L^{2}}[0,T]$.
(7)
\[ p>\max \Big(\frac{2}{2\gamma +3},\hspace{0.2222em}\frac{2}{3+2\alpha +2\beta +2\gamma }\Big).\](8)
\[ ({K^{\ast }}\phi )(s)={s^{\alpha }}{\int _{s}^{T}}\phi (t)\hspace{0.1667em}{t^{\beta }}\hspace{0.1667em}{(t-s)^{\gamma }}\hspace{0.1667em}dt\]Proof.
For $p=\infty $ Proposition 1 follows from the proof of Theorem 1 [7]. So, let p is finite, and let us calculate the norms of functions on the interval $[0,T]$. In what follows, $\| f{\| _{p}}$ is a short-hand notation for $\| f{\| _{{L^{p}}[0,T]}}$. With this notation,
as long as $p>0$ and $\alpha p>-1$.
To prove the well-definedness and boundedness of the operator ${K^{\ast }}$, it suffices to show that
for all $\psi \in {L^{2}}[0,T]$ and for some constant $c(p;\alpha ,\beta ,\gamma )$ not depending on ψ. Consider six cases.
□
(9)
\[ {\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\alpha }}{\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{t^{\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\le c(p;\alpha ,\beta ,\gamma )\hspace{0.1667em}\| \psi {\| _{2}}\hspace{0.1667em}\| \phi {\| _{p}}\]Case 1.
Let $\gamma \ge 0$. Notice that under conditions of Proposition 1, inequalities $\frac{1}{2}+\alpha >0$ and $\frac{1}{p}-1-\beta -\gamma <\frac{1}{2}+\alpha $ hold true. Choose an arbitrary $\delta \ge 0$ such that $\frac{1}{p}-1-\beta -\gamma <\delta <\frac{1}{2}+\alpha $.
Obviously, in the left-hand integral in (9) we have that $s\le t$ and $t-s\le t$. Therefore
\[\begin{array}{c}\displaystyle {\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\alpha }}{\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{t^{\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\le {\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\alpha -\delta }}{\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{t^{\delta +\beta +\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\\ {} \displaystyle \le {\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\alpha -\delta }}\hspace{0.1667em}ds\hspace{0.1667em}{\int _{0}^{T}}|\phi (t)|\hspace{0.1667em}{t^{\delta +\beta +\gamma }}\hspace{0.1667em}dt.\end{array}\]
By the Hölder inequality,
\[ {\int _{0}^{T}}\hspace{-0.1667em}|\psi (s)|\hspace{0.1667em}{s^{\alpha -\delta }}\hspace{0.1667em}ds\le \| \psi {\| _{2}}\hspace{0.1667em}\| {s^{\alpha -\delta }}{\| _{2}},\hspace{0.2778em}{\int _{0}^{T}}\hspace{-0.1667em}|\phi (t)|\hspace{0.1667em}{t^{\delta +\beta +\gamma }}\hspace{0.1667em}dt\le \| \phi {\| _{p}}\| {t^{\delta +\beta +\gamma }}{\| _{p/(p-1)}}.\]
Thus, (9) holds true with
\[ c(p;\alpha ,\beta ,\gamma )=\| {s^{\alpha -\delta }}{\| _{2}}\| {t^{\delta +\beta +\gamma }}{\| _{p/(p-1)}},\]
and the finiteness of the norms $\| {s^{\alpha -\delta }}{\| _{2}}$ and $\| {t^{\delta +\beta +\gamma }}{\| _{p/(p-1)}}$ follows from the inequalities $p\ge 1$ and $\frac{1}{p}-1-\beta -\gamma <\delta <\frac{1}{2}+\alpha $.Case 2.
Let $-1<\gamma <0$ and $\frac{1}{p}<\gamma +1$. Let us find ϵ from the following equation:
It follows from assumption (7) that $\frac{1}{p}<\frac{3}{2}+\alpha +\beta +\gamma $. Together with assumption $\frac{1}{p}<\gamma +1$, this implies that the left-hand side of (10) is less than 1 for $\epsilon =0$. In addition, the left-hand side of (10) is obviously greater than 1 for $\epsilon =\frac{1}{2}$. Hence, there exists the unique $\epsilon \in (0,\frac{1}{2})$ that satisfies (10); take it for the rest of the proof.
(10)
\[ \frac{1}{p}+{\left(-{\left(\alpha +\frac{1}{2}-\epsilon \right)^{+}}-\beta \right)^{+}}-\gamma +2\epsilon =1.\]As before, $s\le t$, and thus
Since $\alpha -{\big(\alpha +\frac{1}{2}-\epsilon \big)^{+}}=\min \big(\alpha ,\hspace{0.1667em}\epsilon -\frac{1}{2}\big)$,
Multiplying (11) by (12), we get
(11)
\[ {s^{{\left(\alpha +\frac{1}{2}-\epsilon \right)^{+}}}}\le {t^{{\left(\alpha +\frac{1}{2}-\epsilon \right)^{+}}}}.\](12)
\[ {s^{\alpha -{\left(\alpha +\frac{1}{2}-\epsilon \right)^{+}}}}{t^{\beta }}={s^{\min \left(\alpha ,\hspace{0.1667em}\epsilon -\frac{1}{2}\right)}}{t^{\beta }}.\]
\[ {s^{\alpha }}{t^{\beta }}\le {s^{\min \left(\alpha ,\hspace{0.1667em}\epsilon -\frac{1}{2}\right)}}{t^{{\left(\alpha +\frac{1}{2}-\epsilon \right)^{+}}+\beta }}.\]
Hence,
\[\begin{aligned}{}{\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\alpha }}& {\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{t^{\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\le \\ {} & \le {\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\min \left(\alpha ,\hspace{0.1667em}\epsilon -\frac{1}{2}\right)}}{\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{t^{{\left(\alpha +\frac{1}{2}-\epsilon \right)^{+}}+\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds.\end{aligned}\]
Define q and r from the equations
\[\begin{aligned}{}\frac{1}{q}& ={\left(-{\left(\alpha +\frac{1}{2}-\epsilon \right)^{+}}-\beta \right)^{+}}+\epsilon ,\hspace{2em}\frac{1}{r}=\epsilon -\gamma ,\end{aligned}\]
respectively. Then $q>0$ and $r>0$ and, according to (10), $\frac{1}{p}+\frac{1}{q}+\frac{1}{r}=1$.Denote
\[ {h_{s}}(t)=\left\{\begin{array}{l@{\hskip10.0pt}l}0\hspace{1em}& \text{if}\hspace{2.5pt}t\in [0,s],\\ {} {(t-s)^{\gamma }}\hspace{1em}& \text{if}\hspace{2.5pt}t\in (s,T]\end{array}\right.\]
and apply the Hölder inequality:
\[\begin{array}{l}\displaystyle {\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{t^{{\left(\alpha +\frac{1}{2}-\epsilon \right)^{+}}+\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt={\int _{0}^{T}}|\phi (t)|\hspace{0.1667em}{t^{{\left(\alpha +\frac{1}{2}-\epsilon \right)^{+}}+\beta }}{h_{s}}(t)\hspace{0.1667em}dt\le \\ {} \displaystyle \le \| \phi {\| _{p}}{\left\| {t^{{\left(\alpha +\frac{1}{2}-\epsilon \right)^{+}}+\beta }}\right\| _{q}}\| {h_{s}}{\| _{r}}\le \| \phi {\| _{p}}{\left\| {t^{{\left(\alpha +\frac{1}{2}-\epsilon \right)^{+}}+\beta }}\right\| _{q}}\| {h_{0}}{\| _{r}}.\end{array}\]
Again, with the Hölder inequality
\[\begin{aligned}{}{\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\alpha }}& {\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{t^{\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\le \\ {} & \le {\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\min \left(\alpha ,\hspace{0.1667em}\epsilon -\frac{1}{2}\right)}}\hspace{0.1667em}dt\hspace{0.1667em}\| \phi {\| _{p}}{\left\| {t^{{\left(\alpha +\frac{1}{2}-\epsilon \right)^{+}}+\beta }}\right\| _{q}}\| {h_{0}}{\| _{r}}\le \\ {} & \le \| \psi {\| _{2}}{\left\| {s^{\min \left(\alpha ,\hspace{0.1667em}\epsilon -\frac{1}{2}\right)}}\right\| _{2}}\| \phi {\| _{p}}{\left\| {t^{{\left(\alpha +\frac{1}{2}-\epsilon \right)^{+}}+\beta }}\right\| _{q}}\| {h_{0}}{\| _{r}}.\end{aligned}\]
Inequality (9) holds true with
Case 3.
$-1<\gamma <0$, $\frac{1}{p}\ge \gamma +1$, $\alpha \le 0$ and $\beta \le 0$. Due to assumption (7), $\frac{1}{p}<\frac{3}{2}+\alpha +\beta +\gamma $, whence $\alpha +\beta >-\frac{1}{2}$. Apply Lemma 2 for ${a_{1}}=\frac{1}{2}-\alpha -\beta $, ${a_{2}}=\frac{1}{p}$, and ${a_{3}}=-\gamma $, and find ${\epsilon _{1}}$ and ${\epsilon _{3}}$ such that
\[\begin{array}{l}\displaystyle \frac{1}{2}-\alpha -\beta +{\epsilon _{1}}<1,\hspace{1em}-\gamma +{\epsilon _{3}}<1,\\ {} \displaystyle \frac{1}{2}-\alpha -\beta +{\epsilon _{1}}+\frac{1}{p}-\gamma +{\epsilon _{3}}=2.\end{array}\]
By the Hölder inequality for nonconjugate exponents
\[ \| \psi (s){s^{\alpha +\beta }}{\| _{1/(0.5+{\epsilon _{1}}-\alpha -\beta )}}\le \| \psi {\| _{2}}\| {s^{\alpha +\beta }}{\| _{1/({\epsilon _{1}}-\alpha -\beta )}}.\]
Since $\beta \le 0$ and $s\le t$ on the integration domain of (9), we have that ${t^{\beta }}\le {s^{\beta }}$.Then by the Young inequality
\[\begin{aligned}{}{\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}& {s^{\alpha }}{\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{t^{\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\le {\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\alpha +\beta }}{\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\\ {} & \le \| \psi (s){s^{\alpha +\beta }}{\| _{1/(0.5+{\epsilon _{1}}-\alpha -\beta )}}\| \phi {\| _{p}}\| {u^{\gamma }}{\| _{1/(-\gamma +{\epsilon _{3}})}}\\ {} & \le \| \psi {\| _{2}}\hspace{0.1667em}\| {s^{\alpha +\beta }}{\| _{1/({\epsilon _{1}}-\alpha -\beta )}}\hspace{0.1667em}\| \phi {\| _{p}}\hspace{0.1667em}\| {u^{\gamma }}{\| _{1/(-\gamma +{\epsilon _{3}})}},\end{aligned}\]
and (9) holds true with $c(p;\alpha ,\beta ,\gamma )=\| {s^{\alpha +\beta }}{\| _{1/({\epsilon _{1}}-\alpha -\beta )}}\hspace{0.1667em}\| {u^{\gamma }}{\| _{1/(-\gamma +{\epsilon _{3}})}}$.Case 4.
$-1<\gamma <0$, $\frac{1}{p}\ge \gamma +1$, $\alpha \le 0$, $\beta \ge 0$, and $\beta +\gamma <0$. These imply $\beta <1$. Hence
due to concavity of ${s^{\beta }}+{(t-s)^{\beta }}$ and the fact that for $s=0$ and $s=t$ (13) becomes an equality. Thus,
(13)
\[ {t^{\beta }}<{s^{\beta }}+{(t-s)^{\beta }}\hspace{1em}\text{for all}\hspace{2.5pt}s\in (0,t)\]
\[\begin{aligned}{}& {\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\alpha }}{\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{t^{\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\\ {} \le & {\int _{0}^{T}}\hspace{-0.1667em}|\psi (s)|\hspace{0.1667em}{s^{\alpha +\beta }}{\int _{s}^{T}}\hspace{-0.1667em}|\phi (t)|\hspace{0.1667em}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds+{\int _{0}^{T}}\hspace{-0.1667em}|\psi (s)|\hspace{0.1667em}{s^{\alpha }}{\int _{s}^{T}}\hspace{-0.1667em}|\phi (t)|\hspace{0.1667em}{(t-s)^{\beta +\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds.\end{aligned}\]
Apply Lemma 2 for ${a_{1}}=\frac{1}{2}+{(\alpha +\beta )^{-}}$, ${a_{2}}=\frac{1}{p}$ and ${a_{3}}=-\gamma $. Due to the same reason as in Case 3, $\alpha +\beta >-\frac{1}{2}$; hence, $0<\frac{1}{2}+{(\alpha +\beta )^{-}}<1$. Obviously, $0<\frac{1}{p}\le 1$ and $0<-\gamma <1$. Due to (7),
\[ \frac{1}{p}<\frac{3}{2}+\alpha +\beta +\gamma \hspace{1em}\text{and}\hspace{1em}\frac{1}{p}<\frac{3}{2}+\gamma ,\]
whence
By Lemma 2, there exist ${\epsilon _{1}}$ and ${\epsilon _{3}}$ such that
\[\begin{array}{l}\displaystyle \frac{1}{2}+{(\alpha +\beta )^{-}}+{\epsilon _{1}}<1,\hspace{1em}-\gamma +{\epsilon _{3}}<1,\\ {} \displaystyle \frac{1}{2}+{(\alpha +\beta )^{-}}+{\epsilon _{1}}+\frac{1}{p}-\gamma +{\epsilon _{3}}=2.\end{array}\]
By the Young inequality and the Hölder inequality for nonconjugate exponents,
\[\begin{aligned}{}{\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\alpha +\beta }}& {\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\\ {} & \le \| \psi (s){s^{\alpha +\beta }}{\| _{1/(0.5+{(\alpha +\beta )^{-}}+{\epsilon _{1}})}}\| \phi {\| _{p}}\| {u^{\gamma }}{\| _{1/(-\gamma +{\epsilon _{3}})}}\\ {} & \le \| \psi {\| _{2}}\hspace{0.1667em}\| {s^{\alpha +\beta }}{\| _{1/({(\alpha +\beta )^{-}}+{\epsilon _{1}})}}\hspace{0.1667em}\| \phi {\| _{p}}\hspace{0.1667em}\| {u^{\gamma }}{\| _{1/(-\gamma +{\epsilon _{3}})}}.\end{aligned}\]
Apply Lemma 2 again, this time for ${a_{1}}=\frac{1}{2}-\alpha $, ${a_{2}}=\frac{1}{p}$ and ${a_{3}}=-\beta -\gamma $. Here conditions of Lemma 2 are easier to check. By Lemma 2, there exist ${\delta _{1}}$ and ${\delta _{3}}$ such that
\[\begin{array}{l}\displaystyle \frac{1}{2}-\alpha +{\delta _{1}}<1,\hspace{1em}-\beta -\gamma +{\delta _{3}}<1,\\ {} \displaystyle \frac{1}{2}-\alpha +{\delta _{1}}+\frac{1}{p}-\beta -\gamma +{\delta _{3}}=2.\end{array}\]
By the Young inequality and the Hölder inequality for nonconjugate exponents,
\[\begin{aligned}{}{\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\alpha }}& {\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{(t-s)^{\beta +\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\\ {} & \le \| \psi (s){s^{\alpha }}{\| _{1/(0.5-\alpha +{\delta _{1}})}}\| \phi {\| _{p}}\hspace{0.1667em}\| {u^{\beta +\gamma }}{\| _{1/(-\gamma -\beta +{\delta _{3}})}}\\ {} & \le \| \psi {\| _{2}}\hspace{0.1667em}\| {s^{\alpha }}{\| _{1/({\delta _{1}}-\alpha )}}\hspace{0.1667em}\| \phi {\| _{p}}\hspace{0.1667em}\| {u^{\beta +\gamma }}{\| _{1/({\delta _{3}}-\beta -\gamma )}}.\end{aligned}\]
Thus, inequality (9) holds true with
\[\begin{aligned}{}c(p;\alpha ,\beta ,\gamma )& =\| {s^{\alpha +\beta }}{\| _{1/({(\alpha +\beta )^{-}}+{\epsilon _{1}})}}\hspace{0.1667em}\| {u^{\gamma }}{\| _{1/(-\gamma +{\epsilon _{3}})}}\\ {} & +\| {s^{\alpha }}{\| _{1/({\delta _{1}}-\alpha )}}\hspace{0.1667em}\| {u^{\beta +\gamma }}{\| _{1/({\delta _{3}}-\beta -\gamma )}}.\end{aligned}\]
Case 5.
$-1<\gamma <0$, $\frac{1}{p}\ge \gamma +1$, $\alpha \le 0$, $\beta \ge 0$, and $\beta +\gamma \ge 0$. Similarly to (13),
\[ {t^{-\gamma }}<{s^{-\gamma }}+{(t-s)^{-\gamma }}\hspace{1em}\text{for all}\hspace{2.5pt}s\in (0,t).\]
Thus,
\[\begin{aligned}{}& {\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\alpha }}{\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{t^{\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\\ {} \le & {\int _{0}^{T}}\hspace{-0.1667em}|\psi (s)|\hspace{0.1667em}{s^{\alpha -\gamma }}{\int _{s}^{T}}\hspace{-0.1667em}|\phi (t)|\hspace{0.1667em}{t^{\beta +\gamma }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds+{\int _{0}^{T}}\hspace{-0.1667em}|\psi (s)|\hspace{0.1667em}{s^{\alpha }}\hspace{0.1667em}{\int _{s}^{T}}\hspace{-0.1667em}|\phi (t)|\hspace{0.1667em}{t^{\beta +\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\\ {} \le & {\int _{0}^{T}}\hspace{-0.1667em}|\psi (s)|\hspace{0.1667em}{s^{\alpha -\gamma }}\hspace{-0.1667em}{\int _{s}^{T}}\hspace{-0.1667em}|\phi (t)|\hspace{0.1667em}{t^{\beta +\gamma }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds+{\int _{0}^{T}}\hspace{-0.1667em}|\psi (s)|\hspace{0.1667em}{s^{\alpha }}\hspace{0.1667em}ds{\int _{0}^{T}}\hspace{-0.1667em}|\phi (t)|\hspace{0.1667em}{t^{\beta +\gamma }}\hspace{0.1667em}dt.\end{aligned}\]
Apply Lemma 2 for ${a_{1}}=\frac{1}{2}+{(\alpha -\gamma )^{-}}$, ${a_{2}}=\frac{1}{p}$ and ${a_{3}}=-\gamma $. From (7) it follows that $\frac{1}{2}-\gamma +\frac{1}{p}<2$. Since $\alpha >-\frac{1}{2}$ and $p\ge 1$, $\frac{1}{2}-\alpha +\frac{1}{p}<2$. Hence,
\[ \frac{1}{2}+{(\alpha -\gamma )^{-}}+\frac{1}{p}-\gamma =\frac{1}{2}-\min (\alpha ,\gamma )+\frac{1}{p}<2.\]
By Lemma 2 there exist ${\epsilon _{1}}>0$ and ${\epsilon _{3}}>0$ such that
\[\begin{array}{l}\displaystyle \frac{1}{2}+{(\alpha -\gamma )^{-}}+{\epsilon _{1}}<1,\hspace{1em}{\epsilon _{3}}-\gamma <1,\\ {} \displaystyle \frac{1}{2}+{(\alpha -\gamma )^{-}}+{\epsilon _{1}}+\frac{1}{p}+{\epsilon _{3}}-\gamma =2.\end{array}\]
By the Young inequality and the Hölder inequality for nonconjugate exponents,
\[\begin{aligned}{}{\int _{0}^{T}}\hspace{-0.1667em}& |\psi (s)|\hspace{0.1667em}{s^{\alpha -\gamma }}{\int _{s}^{T}}\hspace{-0.1667em}|\phi (t)|\hspace{0.1667em}{t^{\beta +\gamma }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\\ {} & \le \| \psi (s){s^{\alpha -\gamma }}{\| _{1/(0.5+{(\alpha -\gamma )^{-}}+{\epsilon _{1}})}}\| \phi {\| _{p}}{T^{\beta +\gamma }}\hspace{0.1667em}\| {u^{\gamma }}{\| _{1/({\epsilon _{3}}-\gamma )}}\\ {} & \le \| \psi {\| _{2}}\| {s^{\alpha -\gamma }}{\| _{1/({(\alpha -\gamma )^{-}}+{\epsilon _{1}})}}\hspace{0.1667em}\| \phi {\| _{p}}{T^{\beta +\gamma }}\hspace{0.1667em}\| {u^{\gamma }}{\| _{1/({\epsilon _{3}}-\gamma )}}.\end{aligned}\]
By the Hölder inequality
\[ {\int _{0}^{T}}|\psi (s)|{s^{\alpha }}\hspace{0.1667em}ds\le \| \psi {\| _{2}}\| {s^{\alpha }}{\| _{2}},\hspace{2em}{\int _{0}^{T}}|\phi (t)|{t^{\beta +\gamma }}\hspace{0.1667em}dt\le \| \phi {\| _{p}}\| {t^{\beta +\gamma }}{\| _{p/(p-1)}}.\]
Thus, inequality (9) holds true with
Case 6.
$\alpha >0$. We have already proved Proposition 1 for $\alpha \le 0$. We are going to use it for $\alpha =0$.
On the integration domain of (9) $s\le t$, and so ${s^{\alpha }}\le {t^{\alpha }}$. We have
\[\begin{aligned}{}{\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{s^{\alpha }}{\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{t^{\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds& \le {\int _{0}^{T}}|\psi (s)|\hspace{0.1667em}{\int _{s}^{T}}|\phi (t)|\hspace{0.1667em}{t^{\alpha +\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}ds\\ {} & \le c(p;0,\alpha +\beta ,\gamma )\hspace{0.1667em}\| \psi {\| _{2}}\hspace{0.1667em}\| \phi {\| _{p}}.\end{aligned}\]
The inequality (9) holds true for $c(p;\alpha ,\beta ,\gamma )=c(p;0,\alpha +\beta ,\gamma )$.Corollary 1.
Let
\[ \alpha >-\frac{1}{2},\hspace{2em}\hspace{-0.1667em}\gamma >-1,\hspace{2em}\hspace{-0.1667em}p\ge 1,\hspace{2em}\hspace{-0.1667em}\frac{1}{p}<\frac{3}{2}+\gamma ,\hspace{2em}\hspace{-0.1667em}\frac{1}{p}+k<\frac{3}{2}+\alpha +\beta +\gamma .\]
Then the operator ${K^{\ast }}$ defined in (8) is a bounded linear operator ${\mathcal{E}_{p,k}}\to {L^{2}}[0,T]$.
Proof.
Recall that the operator ${K^{\ast }}$ for specific α, β and γ is denoted by ${K_{(\alpha ,\beta ,\gamma )}^{\ast }}$. From the definition of ${K_{(\alpha ,\beta ,\gamma )}^{\ast }}$, it follows that
for any function ϕ such that ${K_{(\alpha ,\beta -k,\gamma )}^{\ast }}(\phi (t){t^{k}})$ is well-defined. Under conditions of Corollary 1, the operator ${K_{(\alpha ,\beta -k,\gamma )}^{\ast }}:{L^{p}}[0,T]\to {L^{2}}[0,T]$ is bounded and $c(p;\alpha ,\beta -k,\gamma )$ can be chosen as a finite number. Thus, the boundedness of the operator ${K_{(\alpha ,\beta ,\gamma )}^{\ast }}:{\mathcal{E}_{p,k}}\to {L^{2}}[0,T]$ follows from (14). □
\[ ({K_{(\alpha ,\beta ,\gamma )}^{\ast }}(\phi (t){t^{k}}))(s)={s^{\alpha }}{\int _{s}^{T}}\hspace{-0.1667em}\phi (t)\hspace{0.1667em}{t^{k+\beta }}\hspace{0.1667em}{(t-s)^{\gamma }}\hspace{0.1667em}dt=({K_{(\alpha ,\beta +k,\gamma )}^{\ast }}\phi )(s).\]
Then
(14)
\[\begin{aligned}{}\| {K_{(\alpha ,\beta ,\gamma )}^{\ast }}\phi {\| _{2}}& =\| {K_{(\alpha ,\beta -k,\gamma )}^{\ast }}(\phi (t){t^{k}}){\| _{2}}\\ {} & \le c(p;\alpha ,\beta -k,\gamma )\hspace{0.1667em}\| \phi (t){t^{k}}{\| _{p}}=c(p;\alpha ,\beta -k,\gamma )\hspace{0.1667em}\| \phi {\| _{{\mathcal{E}_{p,k}}}}\end{aligned}\]Definition 1.
The integral of a nonrandom function $\phi \in {\mathcal{E}_{p,k}}$ with respect to the Gaussian process X is defined as
Particularly, Definition 1 can be applied for $1\le p<\infty $, $\gamma >-1$,
\[ \alpha >-\frac{1}{2},\hspace{1em}\frac{1}{p}<\frac{3}{2}+\gamma ,\hspace{1em}\frac{1}{p}<\frac{3}{2}+\alpha +\beta +\gamma ,\hspace{1em}\text{and}\hspace{1em}\phi \in {L^{p}}[0,T].\]
Remark 1.
Under conditions of Corollary 1, (16) provides linear continuous mapping ${\mathcal{E}_{p,k}}\to {L^{2}}(\Omega ,\mathcal{F},\mathsf{P})$, where ${L^{2}}(\Omega ,\mathcal{F},\mathcal{P})$ is a space of square-integrable random variables. Furthermore, if $pk>-1$, then (16) gives ${\textstyle\int _{0}^{T}}{\operatorname{\mathbf{1}}_{[a,b]}}d{X_{t}}={X_{b}}-{X_{a}}$, which is very natural. If $1\le p<\infty $, then the indicators of intervals span a dense subset in ${\mathcal{E}_{p,k}}$. Thus, in Definition 1, we construct a linear and continuous extension of the integral from the set of indicators of intervals to the entire space ${\mathcal{E}_{p,k}}$.
2.2 Traditional approach
The covariance function of the process X can be represented as
\[\begin{array}{l}\displaystyle \operatorname{\mathsf{E}}{X_{{t_{1}}}}{X_{{t_{2}}}}={\int _{0}^{{t_{1}}}}{\int _{0}^{{t_{2}}}}r(u,v)\hspace{0.1667em}dv\hspace{0.1667em}du,\\ {} \displaystyle r(u,v)={\int _{0}^{\min ({t_{1}},{t_{2}})}}{s^{\alpha }}{(u-s)^{\beta }}{(v-s)^{\gamma }}\hspace{0.1667em}ds;\end{array}\]
this representation follows from [7, Eq. (8)]. The integrand satisfies relations $r(u,v)>0$ and $r\in {L^{1}}({[0,T]^{2}})$, since ${\textstyle\int _{0}^{T}}{\textstyle\int _{0}^{T}}r(u,v)\hspace{0.1667em}du\hspace{0.1667em}dv=\operatorname{\mathsf{E}}{X_{T}^{2}}<\infty $.The Hilbert space $\mathcal{H}$ is defined as the space that contains piecewise-constant (staircase) functions, equipped with scalar product $\langle {\operatorname{\mathbf{1}}_{(0,{t_{1}}]}},{\operatorname{\mathbf{1}}_{(0,{t_{2}}]}}\rangle $, and then completed.
Let ${\mathcal{H}^{0}}$ be the set of functions $\phi :[0,T]\to \mathbb{R}$, for which
\[ {\int _{0}^{T}}{\int _{0}^{T}}|\phi (u)r(u,v)\phi (v)|\hspace{0.1667em}dv\hspace{0.1667em}du<\infty .\]
The space ${\mathcal{H}^{0}}$ contains all piecewise-constant functions.The space ${\mathcal{H}^{0}}$ in embedded into $\mathcal{H}$. The element ${f^{\prime }}\hspace{0.1667em}\in \hspace{0.1667em}\mathcal{H}$ corresponds to $f\hspace{0.1667em}\in \hspace{0.1667em}{\mathcal{H}^{0}}$ if
\[ {\langle {f^{\prime }},g\rangle _{\mathcal{H}}}={\int _{0}^{T}}{\int _{0}^{T}}f(u)r(u,v)g(v)\hspace{0.1667em}dv\hspace{0.1667em}du\]
for every piecewise-constant function g. Every element of $f\in {\mathcal{H}^{0}}$ has its counterpart in $\mathcal{H}$ according to [4, Theorem 1.1].The integration operator is an isometric linear operator $\mathcal{H}\to {L^{2}}(\Omega ,\mathcal{F},\mathsf{P})$ such that ${\textstyle\int _{0}^{T}}{\operatorname{\mathbf{1}}_{(0,t]}}(s)\hspace{0.1667em}d{X_{s}}={X_{t}}$. Here ${L^{2}}(\Omega ,\mathcal{F},\mathsf{P})$ is the space of square-integrable random variables.
Proof.
For kernel K defined in (2) and operator ${K^{\ast }}$ defined in (8), Eq. (5) holds true: ${K^{\ast }}{\operatorname{\mathbf{1}}_{(0,t]}}\hspace{0.1667em}(s)=K(t,s)$ for all $t,s\in (0,T]$.
For functions $f,g:[0,T]\to [0,+\infty )$
\[ {\int _{0}^{T}}{K^{\ast }}f\hspace{0.1667em}(s)\hspace{0.1667em}{K^{\ast }}g\hspace{0.1667em}(s)\hspace{0.1667em}ds={\int _{0}^{T}}{\int _{0}^{T}}f(u)r(u,v)g(v)\hspace{0.1667em}dv\hspace{0.1667em}du;\]
this is proved by changing the order of integration. If $\phi \in {\mathcal{E}_{p,k}}$, then $|\phi |\in {\mathcal{E}_{p,k}}$. By Corollary 1, ${K^{\ast }}|\phi |\in {L^{2}}[0,T]$, whence
\[ {\int _{0}^{T}}{\int _{0}^{T}}|\phi (u)r(u,v)\phi (v)|\hspace{0.1667em}dv\hspace{0.1667em}du={\int _{0}^{T}}{({K^{\ast }}|\phi |\hspace{0.1667em}(s))^{2}}\hspace{0.1667em}ds<\infty .\]
Thus, $\phi \in {\mathcal{H}^{0}}$.Remark 3.
In Proposition 2, ${\mathcal{E}_{p,k}}$ is a proper subset of ${\mathcal{H}^{0}}$, that is, ${\mathcal{E}_{p,k}}\ne {\mathcal{H}^{0}}$. Indeed, let (4) and (15) hold true. Then there exists ${k^{\prime }}$ such that $k<{k^{\prime }}<\alpha +\beta +\gamma +\frac{3}{2}-\frac{1}{p}$. Due to Proposition 2, ${\mathcal{E}_{p,{k^{\prime }}}}\subset {\mathcal{H}^{0}}$. Since $k<{k^{\prime }}$, ${\mathcal{E}_{p,k}}\subset {\mathcal{E}_{p,{k^{\prime }}}}$ and ${\mathcal{E}_{p,k}}\ne {\mathcal{E}_{p,{k^{\prime }}}}$. Hence, ${\mathcal{E}_{p,k}}\ne {\mathcal{H}^{0}}$.
3 Differentiability of Volterra process
Consider the stochastic process
It is well-defined if
and is self-similar with exponent $\alpha +\beta +\gamma +\frac{1}{2}$. Let $\lceil x\rceil $ stand for the least integer that is greater or equal to x.
(17)
\[ {\dot{X}_{t}}={t^{\beta }}{\int _{0}^{t}}{s^{\alpha }}{(t-s)^{\gamma }}\hspace{0.1667em}d{W_{s}}.\]Proposition 3.
If $\alpha >-\frac{1}{2}$, $\beta \in \mathbb{R}$ and $\gamma \in \big(-\frac{1}{2},\frac{1}{2}\big]$, then the process $\dot{X}$ has a modification which is Hölder continuous up to order $\gamma +\frac{1}{2}$ on any interval $[{t_{0}},T]$, $0<{t_{0}}<T$.
If $\alpha >-\frac{1}{2}$, $\beta \in \mathbb{R}$ and $\gamma >\frac{1}{2}$, then the process $\dot{X}$ has a modification which is continuously differentiable on $(0,T]$, and, as a result, is Lipschitz continuous on any interval $[{t_{0}},T]$. Moreover, the process $\dot{X}$ is $\lceil \gamma -\frac{1}{2}\rceil $ times continuously differentiable.
Proof.
The process ${M_{t}}={\textstyle\int _{0}^{t}}{s^{\gamma }}\hspace{0.1667em}d{W_{s}}$ has a modification that satisfies the Hölder condition up to order $\frac{1}{2}$ on any interval $[{t_{0}},T]$, ${t_{0}}\in (0,T)$.
First, consider the case $\gamma \in \big(-\frac{1}{2},\frac{1}{2}\big]$. Let $\lambda \in \big(0\vee \gamma ,\hspace{0.1667em}\gamma +\frac{1}{2}\big)$. The process M satisfies the Hölder condition of order $\lambda -\gamma \in \big(0,\frac{1}{2})$ on the interval $[{t_{0}},T]$. Then ${\textstyle\int _{0}^{t}}{s^{\alpha }}{(t-s)^{\gamma }}\hspace{0.1667em}d{W_{s}}={\textstyle\int _{0}^{t}}{(t-s)^{\gamma }}\hspace{0.1667em}d{M_{s}}$ satisfies the Hölder condition of order λ due to [10, Lemma 2.1]. Thus, the process $\dot{X}$ also satisfies the Hölder condition of order λ on $[{t_{0}},T]$.
Second, consider the case $\gamma >\frac{1}{2}$. We can choose a positive integer $k\in \mathbb{N}$ and a real number ${\lambda _{0}}\in \big(0,\frac{1}{2}\big)$ such that $0<\gamma -k+{\lambda _{0}}<1$. (We can choose $k=\lceil \gamma -\frac{1}{2}\rceil $, and $\lceil \gamma -\frac{1}{2}\rceil \vee 0<{\lambda _{0}}<\frac{1}{2}$, as $\lceil \gamma -\frac{1}{2}\rceil <\gamma +\frac{1}{2}$.) The process M is Hölder continuous of order ${\lambda _{0}}$ on any interval $[{t_{0}},T]$. Then the process ${\textstyle\int _{0}^{t}}{s^{\alpha }}{(t-s)^{\gamma -k}}\hspace{0.1667em}d{W_{s}}={\textstyle\int _{0}^{t}}{(t-s)^{\gamma -k}}\hspace{0.1667em}d{M_{s}}$ is Hölder continuous of order $\gamma -k+{\lambda _{0}}$ on any interval $[{t_{0}},T]$, and thus continuous on $(0,\hspace{0.1667em}T]$. The process
\[ {\int _{0}^{t}}{s^{\alpha }}{(t-s)^{\gamma }}\hspace{0.1667em}d{W_{s}}=\frac{\Gamma (\gamma +1)\hspace{0.1667em}}{(k-1)!\hspace{0.1667em}\Gamma (\gamma -k+1)}{\int _{0}^{t}}{(t-u)^{k-1}}{\int _{0}^{u}}{s^{\alpha }}{(u-s)^{\gamma -k}}\hspace{0.1667em}d{W_{s}}\hspace{0.1667em}du\]
is the kth antiderivative of the process $\frac{\Gamma (\gamma +1)\hspace{0.1667em}}{\Gamma (\gamma -k+1)}{\textstyle\int _{0}^{t}}{s^{\alpha }}{(t-s)^{\gamma -k}}\hspace{0.1667em}d{W_{s}}$, and thus is k times continuously differentiable on $(0,\hspace{0.1667em}T]$. Here and hereafter $\Gamma (x)$ is the gamma function. As the result, the process $\dot{X}$ is k times continuously differentiable on $(0,\hspace{0.1667em}T]$. It satisfies the Lipschitz condition on any interval $[{t_{0}},T]$. □The next general result is in fact the part of Lemma 2 from [7], and it will be applied in the proof of Proposition 4.
Lemma 1.
Let the process Y be self-similar with exponent $H>0$ and be mean-square continuous on $[0,T]$. Additionally, let the process Y satisfy the inequality
\[ \operatorname{\mathsf{E}}{({Y_{T}}-{Y_{t}})^{2}}\le C\hspace{0.1667em}{T^{2H-2\lambda }}{(T-t)^{2\lambda }},\hspace{2em}{t_{0}}<t<T,\]
for some $C>0$, $\lambda >0$, and $0<{t_{0}}<T$. Then there exists $c>0$ such that
Now let us return to our process X.
Proposition 4.
If $\alpha >-\frac{1}{2}$ and $\gamma >-\frac{1}{2}$, then the process $\dot{X}$ is mean-square continuous and has continuous modification on $(0,T]$. If, in addition, $\alpha +\beta +\gamma >-\frac{1}{2}$, then the process $\dot{X}$ is mean-square continuous and has continuous modification on $[0,T]$.
Proof.
Path continuity of the process $\dot{X}$ on $(0,T)$ follows from the local Hölder or Lipschitz condition. The process $\dot{X}$ satisfies the Hölder condition up to order $(\gamma +\frac{1}{2})\vee 1$ on any finite interval $[{t_{0}},T]$, $0<{t_{0}}<T$. According to [1, Theorem 1], for any ${\lambda _{0}}$, $0<{\lambda _{0}}<(\gamma +\frac{1}{2})\vee 1$ the incremental variance satisfies
\[ \operatorname{\mathsf{E}}{({\dot{X}_{t}}-{\dot{X}_{s}})^{2}}\le C({t_{0}},T,{\lambda _{0}})\hspace{0.1667em}|t-s{|^{2{\lambda _{0}}}},\]
whence the mean-square continuity on $(0,T]$ follows. Furthermore,
\[ \operatorname{\mathsf{E}}{\dot{X}_{t}^{2}}=\operatorname{\mathsf{E}}{({\dot{X}_{t}}-{\dot{X}_{0}})^{2}}={t^{2\alpha +2\beta +2\gamma +1}}\hspace{0.1667em}\mathrm{B}(2\alpha +1,\hspace{0.1667em}2\gamma +1),\]
where $\mathrm{B}(x,y)$ is the beta function. Under additional condition $\alpha +\beta +\gamma >-\frac{1}{2}$ the process $\dot{X}$ is mean-square continuous at point 0. Due to Lemma 1, the process $\dot{X}$ satisfies the inequality
\[ \operatorname{\mathsf{E}}{({\dot{X}_{t}}-{\dot{X}_{s}})^{2}}\le {C_{1}}\hspace{0.1667em}{(t-s)^{(2{\lambda _{0}})\wedge (2\alpha +2\beta +2\gamma +1)}},\hspace{2em}0\le s<t\le T.\]
Hence, the process $\dot{X}$ has a modification that is Hölder continuous up to order ${\lambda _{0}}\wedge \big(\alpha +\beta +\gamma +\frac{1}{2}\big)$ on the interval $[0,T]$ and thus is continuous at point 0. □The continuity of $\dot{X}$ allows to change the order of integration. For the process X defined in (3),
\[\begin{aligned}{}{X_{{t_{2}}}}-{X_{{t_{1}}}}& ={\int _{0}^{{t_{2}}}}{s^{\alpha }}{\int _{s\vee {t_{1}}}^{{t_{2}}}}{u^{\beta }}\hspace{0.1667em}{(u-s)^{\gamma }}\hspace{0.1667em}du\hspace{0.1667em}d{W_{s}}\\ {} & ={\int _{{t_{1}}}^{{t_{2}}}}{u^{\beta }}{\int _{0}^{u}}{s^{\alpha }}\hspace{0.1667em}{(u-s)^{\gamma }}\hspace{0.1667em}d{W_{s}}\hspace{0.1667em}du={\int _{{t_{1}}}^{{t_{2}}}}{\dot{X}_{u}}\hspace{0.1667em}du.\end{aligned}\]
Corollary 2.
If $\alpha >-\frac{1}{2}$, $\gamma >-\frac{1}{2}$ and $\alpha +\beta +\gamma >-\frac{3}{2}$, then some modifications of the processes X and $\dot{X}$ defined in (3) and (17) satisfy the relation
The process ${X_{t}}$ is $\lceil \gamma +\frac{1}{2}\rceil $ times continuously differentiable on $(0,T]$, and $d{X_{t}}/dt={\dot{X}_{t}}$ for $0<t\le T$.
If, in addition, $\alpha +\beta +\gamma >-\frac{1}{2}$, then the processes X and $\dot{X}$ satisfy the relation
Then the process ${X_{t}}$ is continuously differentiable on $[0,\hspace{0.1667em}T]$.
Representation (18) is also valid for $\alpha +\beta +\gamma \in \big(-\frac{3}{2},-\frac{1}{2}\big]$. However, in this case, the integrand $\dot{X}$ may be unbounded in the neighborhood of 0. Thus, the integral here should be understood in improper sense:
4 Inverse representation
In Volterra representation (1) (or, specifically, (3)) the process X is represented as the integral with respect to the Wiener process W. We construct the representation of the Wiener process W in (3) using the process X. However, the form of the representation depends on whether $\gamma \in (-1,0)$ or $\gamma \ge 0$, and on whether γ is integer or not.
4.1 Case $\gamma <0$
Reduction to the integral equation
We are going to find the inverse representation to (1):
Assume that integration with respect to X is performed according to (6). Then the left-hand side and the right-hand side of (19) admit the representations
\[\begin{aligned}{}{W_{v}}& ={\int _{0}^{v}}d{W_{v}},\\ {} {\int _{0}^{v}}L(v,t)\hspace{0.1667em}d{X_{t}}& ={\int _{0}^{v}}{\int _{s}^{v}}L(v,t)\hspace{0.1667em}\frac{\partial K(t,s)}{\partial t}\hspace{0.1667em}dt\hspace{0.1667em}d{W_{s}}.\end{aligned}\]
Thus, the sufficient and necessary condition for (19) is
for all $v\in (0,T]$ and for almost all $s\in (0,v)$. For the kernel defined by (2), the integral equation (20) turns into
The explicit solution
The solution to equation
is found in Mishura et al. [8, Proposition 3]. In that solution, they use the “Sonine pair” with the function $c(s)$, which is a function $p(s)$ that satisfies the integral equation
The “Sonine pair” with the power function ${s^{\gamma }}$ exists for all $\gamma \in (-1,0)$; it is equal to ${s^{-\gamma -1}}/\hspace{0.1667em}\mathrm{B}(-\gamma ,\gamma +1)$.
Now we construct a solution to equation (21) within a class of functions $L(v,t)$, $0<t<v<T$, that satisfy the following absolute integrability condition
Theorem 1.
Let $\alpha >-\frac{1}{2}$, $\beta \in \mathbb{R}$, and $-1<\gamma <0$. Then the solution to the integral equation (21) for all s and v such that $0<s<v\le T$ is
(23)
\[\begin{aligned}{}L(v,t)& =-\frac{{t^{-\beta }}}{\mathrm{B}(\gamma +1,-\gamma )}\hspace{0.1667em}\frac{\partial }{\partial t}\hspace{-0.1667em}\left({\int _{t}^{v}}{s^{-\alpha }}{(s-t)^{-\gamma -1}}\hspace{0.1667em}ds\right)\\ {} & =\frac{1}{\mathrm{B}(-\gamma ,\gamma +1)\hspace{0.1667em}{t^{\beta }}}\left({v^{-\alpha }}{(v-t)^{-\gamma -1}}+\alpha {\int _{t}^{v}}{u^{-\alpha -1}}{(u-t)^{-\gamma -1}}\hspace{0.1667em}du\right).\end{aligned}\]
The solution is unique up to equality for all $v\in (0,T]$ and for almost all $t\in (0,v)$.
Proof.
Necessity (if the function $L(v,t)$ is a solution to (21) under conditions (22), then it must be defined by (23) for almost all $t\in (0,v)$). Let $L(t,s)$ satisfy both (21) and (22). Let us find the expression for $L(t,s)$.
Let $0<r<v\le T$. Calculate the double integral
First, proof the existence.
(24)
\[ \underset{r<s<t<v}{\iint }L(v,t){t^{\beta }}\hspace{0.1667em}{(t-s)^{\gamma }}{(s-r)^{-\gamma -1}}\hspace{0.1667em}dt\hspace{0.1667em}ds.\]
\[\begin{aligned}{}\underset{r<s<t<v}{\iint }|L(v,t){t^{\beta }}\hspace{0.1667em}{(t-s)^{\gamma }}& {(s-r)^{-\gamma -1}}|\hspace{0.1667em}dt\hspace{0.1667em}ds=\\ {} & ={\int _{r}^{v}}{t^{\beta }}\hspace{0.1667em}|L(v,t)|{\int _{r}^{t}}{(t-s)^{\gamma }}{(s-r)^{-\gamma -1}}\hspace{0.1667em}ds\hspace{0.1667em}dt=\\ {} & =\mathrm{B}(\gamma +1,-\gamma ){\int _{r}^{v}}{t^{\beta }}\hspace{0.1667em}|L(v,t)|\hspace{0.1667em}dt\le \\ {} & \le \mathrm{B}(\gamma +1,-\gamma )\hspace{0.1667em}\max ({r^{\beta }},\hspace{0.1667em}{v^{\beta }}){\int _{r}^{v}}|L(v,t)|\hspace{0.1667em}dt<\infty .\end{aligned}\]
Thus, the integral in (24) exists absolutely. Calculate it in two ways. On the one hand,
\[\begin{aligned}{}\underset{r<s<t<v}{\iint }L(v,t){t^{\beta }}\hspace{0.1667em}{(t-s)^{\gamma }}(s-& r{)^{-\gamma -1}}\hspace{0.1667em}dt\hspace{0.1667em}ds=\\ {} & ={\int _{r}^{v}}{t^{\beta }}\hspace{0.1667em}L(v,t){\int _{r}^{t}}{(t-s)^{\gamma }}{(s-r)^{-\gamma -1}}\hspace{0.1667em}ds\hspace{0.1667em}dt=\\ {} & =\mathrm{B}(\gamma +1,-\gamma ){\int _{r}^{v}}{t^{\beta }}\hspace{0.1667em}L(v,t)\hspace{0.1667em}dt.\end{aligned}\]
On the other hand, with (21),
\[\begin{aligned}{}\underset{r<s<t<v}{\iint }L(v,t){t^{\beta }}\hspace{0.1667em}(t-& s{)^{\gamma }}{(s-r)^{-\gamma -1}}\hspace{0.1667em}dt\hspace{0.1667em}ds=\\ {} & ={\int _{r}^{v}}{s^{-\alpha }}{\int _{s}^{v}}L(v,t)\hspace{0.1667em}{s^{\alpha }}{t^{\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}{(s-r)^{-\gamma -1}}\hspace{0.1667em}ds=\\ {} & ={\int _{r}^{v}}{s^{-\alpha }}{(s-r)^{-\gamma -1}}\hspace{0.1667em}ds.\end{aligned}\]
Thus, $L(v,t)$ satisfies the equation
\[ \mathrm{B}(\gamma +1,-\gamma ){\int _{r}^{v}}{t^{\beta }}\hspace{0.1667em}L(v,t)\hspace{0.1667em}dt={\int _{r}^{v}}{s^{-\alpha }}{(s-r)^{-\gamma -1}}\hspace{0.1667em}ds.\]
Hence $L(v,t)$ can be expressed explicitly:
\[ L(v,t)=-\frac{{t^{-\beta }}}{\mathrm{B}(\gamma +1,-\gamma )}\hspace{0.1667em}\frac{\partial }{\partial t}\hspace{-0.1667em}\left({\int _{t}^{v}}{s^{-\alpha }}{(s-t)^{-\gamma -1}}\hspace{0.1667em}ds\right)\]
for almost all $t\in (0,v)$.
Sufficiency (the function $L(v,t)$ defined by (23) satisfies (21) and (22)). First, consider the generic case $\alpha \ne 0$, that is, either $\alpha \in \big(-\frac{1}{2},0\big)$ or $\alpha >0$. Let $0<s<v\le T$. Then
\[\begin{array}{l}\displaystyle {\int _{s}^{v}}\frac{{v^{-\alpha }}}{{(v-t)^{\gamma +1}}}\hspace{0.1667em}{(t-s)^{\gamma }}\hspace{0.1667em}dt=\frac{B(-\gamma ,\gamma +1)}{{v^{\alpha }}},\\ {} \displaystyle \begin{aligned}{}{\int _{s}^{v}}{\int _{t}^{v}}\frac{{u^{-\alpha -1}}\hspace{0.1667em}du}{{(u-t)^{\gamma +1}}}\hspace{0.1667em}{(t-s)^{\gamma }}\hspace{0.1667em}dt& ={\int _{s}^{v}}{u^{-\alpha -1}}{\int _{s}^{u}}\frac{{(t-s)^{\gamma }}\hspace{0.1667em}dt}{{(u-t)^{\gamma +1}}}\hspace{0.1667em}du=\\ {} & ={\int _{s}^{v}}{u^{-\alpha -1}}\mathrm{B}(\gamma +1,-\gamma )\hspace{0.1667em}du=\\ {} & =\frac{1}{\alpha }\hspace{0.1667em}B(-\gamma ,\gamma +1)\hspace{0.1667em}({s^{-\alpha }}-{v^{-\alpha }}).\end{aligned}\end{array}\]
Hence
\[\begin{aligned}{}{\int _{s}^{v}}L(v,& t)\hspace{0.1667em}{s^{\alpha }}{t^{\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt=\\ {} & =\frac{{s^{\alpha }}}{B(-\gamma ,\gamma +1)}{\int _{s}^{v}}\left(\frac{{v^{-\alpha }}}{{(v-t)^{\gamma +1}}}+\alpha {\int _{t}^{v}}\frac{{u^{-\alpha -1}}\hspace{0.1667em}du}{{(u-t)^{\gamma +1}}}\right){(t-s)^{\gamma }}\hspace{0.1667em}dt=\\ {} & =\frac{{s^{\alpha }}}{B(-\gamma ,\gamma +1)}\left(\frac{B(-\gamma ,\gamma +1)}{{v^{\alpha }}}+B(-\gamma ,\gamma +1)\hspace{0.1667em}({s^{-\alpha }}-{v^{-\alpha }})\right)=1.\end{aligned}\]
For $\alpha \ne 0$, (21) is proved.Now, consider the case $\alpha =0$. Then
Then, for all s and v such that $0<s<v\le T$
It remains to verify that the function $L(v,t)$ satisfies condition (22). The factor ${t^{-\beta }}/\mathrm{B}(-\gamma ,\gamma +1)$ is bounded for $t\in (s,v)$. As to the other factor,
\[\begin{aligned}{}{\int _{s}^{v}}& \left|{v^{-\alpha }}{(v-t)^{-\gamma -1}}+\alpha {\int _{t}^{v}}{u^{-\alpha -1}}{(u-t)^{-\gamma -1}}\hspace{0.1667em}du\right|dt\\ {} & \hspace{2em}\hspace{1em}\le {\int _{s}^{v}}{v^{-\alpha }}{(v-t)^{-\gamma -1}}\hspace{0.1667em}dt+|\alpha |\hspace{0.1667em}{\int _{s}^{v}}{u^{-\alpha -1}}{\int _{s}^{u}}{(u-t)^{-\gamma -1}}\hspace{0.1667em}dt\hspace{0.1667em}du\\ {} & \hspace{2em}\hspace{1em}=\frac{{v^{-\alpha }}{(v-s)^{-\gamma }}}{-\gamma }+\frac{|\alpha |}{-\gamma }{\int _{s}^{v}}{u^{-\alpha -1}}{(u-s)^{-\gamma }}\hspace{0.1667em}du<\infty .\end{aligned}\]
The product of bounded continuous function and integrable function is integrable. Thus, $L(v,t)$ satisfies (22). The theorem is proved. □Theorem 2.
Let $\alpha >-\frac{1}{2}$, $-1<\gamma <0$ and $\alpha +\beta +\gamma >-\frac{3}{2}$. Then
-
1. The process X that is well-defined by (3), according to [7, Theorem 1], admits the inverse representation of the form
(25)
\[\begin{aligned}{}\hspace{-20.5pt}{W_{v}}& ={\int _{0}^{v}}L(v,t)\hspace{0.1667em}d{X_{t}}\\ {} \hspace{-6.3pt}& =\frac{1}{\mathrm{B}(-\gamma ,\gamma +1)}{\int _{0}^{v}}\hspace{-0.1667em}{t^{-\beta }}\left(\hspace{-0.1667em}{v^{-\alpha }}{(v-t)^{-\gamma -1}}+\alpha {\int _{t}^{v}}\hspace{-0.1667em}{u^{-\alpha -1}}{(u-t)^{-\gamma -1}}\hspace{0.1667em}du\hspace{-0.1667em}\right)d{X_{t}}.\end{aligned}\]
Proof.
For fixed $v>0$, the kernel function $L(v,t)$ defined in Theorem 1 is continuous in t in the interval $(0,v)$. With [7, Lemma 4], the asymptotics of $L(v,t)$ as $t\to 0$ can be established:
\[\begin{array}{l}\displaystyle L(v,t)=O({t^{-\beta }}{v^{-\alpha -\gamma -1}})\hspace{1em}\text{if}\hspace{2.5pt}\alpha +\gamma <-1,\\ {} \displaystyle L(v,t)\sim \frac{\alpha }{\mathrm{B}(-\gamma ,\gamma +1)}\hspace{0.1667em}{t^{-\beta }}\log (v/t)\hspace{1em}\text{if}\hspace{2.5pt}\alpha +\gamma =-1,\\ {} \displaystyle L(v,t)\sim \frac{\alpha \hspace{0.1667em}\mathrm{B}(-\gamma ,\alpha +\gamma +1)}{\mathrm{B}(-\gamma ,\gamma +1)}\hspace{0.1667em}{t^{-\alpha -\beta -\gamma -1}}\hspace{1em}\text{if}\hspace{2.5pt}\alpha +\gamma >-1.\end{array}\]
The asymptotics in the other endpoint is
\[ L(v,t)\sim \frac{{v^{-\beta -\alpha }}{(v-t)^{-\gamma -1}}}{\mathrm{B}(-\gamma ,\gamma +1)}\hspace{1em}\text{as}\hspace{1em}t\to v-\hspace{0.1667em}.\]
In order for $L(t,v)$ to be defined for all $t\in (0,T]$ and thus the relation “$L(v,\cdot )\in {\mathcal{E}_{p,k}}$” make sense, assume $L(v,t)=0$ for $0<v\le t$. The relation $L(v,\cdot )\in {\mathcal{E}_{p,k}}$ holds true if and only if
The conditions of Theorem 2 imply that
For these p and k, inequalities (15) and (26) hold true. Then $L(v,\cdot )\in {\mathcal{E}_{p,k}}$ for all $v\in (0,T]$, and the second part of Theorem 2 is proved.
\[\begin{array}{l}\displaystyle \max (0,\hspace{0.2222em}\gamma +1)<\min \hspace{-0.1667em}\left(1,\hspace{0.2222em}\gamma +\frac{3}{2}\right),\\ {} \displaystyle \max (0,\hspace{0.2222em}\beta ,\hspace{0.2222em}\alpha +\beta +\gamma +1)<\alpha +\beta +\gamma +\frac{3}{2}.\end{array}\]
Therefore, there exist p and k such that
(27)
\[ \begin{array}{c}\displaystyle \max (0,\hspace{0.2222em}\gamma +1)<\frac{1}{p}<\min \hspace{-0.1667em}\left(1,\hspace{0.2222em}\gamma +\frac{3}{2}\right),\\ {} \displaystyle \max (0,\hspace{0.2222em}\beta ,\hspace{0.2222em}\alpha +\beta +\gamma +1)<\frac{1}{p}+k<\alpha +\beta +\gamma +\frac{3}{2}.\end{array}\]All functions within ${\mathcal{E}_{p,k}}$ are integrable with respect to ${X_{t}}$ according to Definition 1. Then, with (21),
\[ {\int _{0}^{v}}L(v,t)\hspace{0.1667em}d{X_{t}}={\int _{0}^{v}}{s^{\alpha }}{\int _{s}^{v}}L(v,t){t^{\beta }}{(t-s)^{\gamma }}\hspace{0.1667em}dt\hspace{0.1667em}d{W_{s}}={\int _{0}^{v}}d{W_{s}}={W_{v}}.\]
Eq. (25) is proved. □4.2 Case $\gamma \ge 0$
Theorem 3.
Let $\alpha >-\frac{1}{2}$, $\gamma \ge 0$ and $\alpha +\beta +\gamma >-\frac{3}{2}$. The process X admits a modification which is differentiable on $(0,T]$, and for which, for ${\dot{X}_{t}}=d{X_{t}}/dt$, the following expression for the inverse representation holds true:
\[ {W_{v}}=\frac{1}{\Gamma (\gamma +1)}{\int _{0}^{v}}{t^{-\alpha }}\hspace{0.1667em}d\hspace{-0.1667em}\left({\mathcal{D}_{0+}^{\gamma }}({t^{-\beta }}\hspace{0.1667em}{\dot{X}_{t}})\right),\]
that is, the process W can be obtained from X with four steps:
\[ {\dot{X}_{t}}=\frac{d{X_{t}}}{dt},\hspace{1em}{Y_{t}}={t^{-\beta }}{\dot{X}_{t}},\hspace{1em}{M_{t}}=\frac{1}{\Gamma (\gamma +1)}\hspace{0.1667em}{\mathcal{D}_{0+}^{\gamma }}{Y_{t}},\hspace{1em}{W_{v}}={\int _{0}^{v}}{t^{-\alpha }}\hspace{0.1667em}d{M_{t}}.\]
Here ${\mathcal{D}_{0+}^{\gamma }}$ is the identity operator if $\gamma =0$. Otherwise, if $\gamma >0$, then ${\mathcal{D}_{0+}^{\gamma }}$ is the fractional differentiation operator defined in (29) or (30).
Proof.
Due to Corollary 2, the process X has a modification that is continuously differentiable on $(0,T]$, for which ${\dot{X}_{t}}=d{X_{t}}/dt$ with the process $\dot{X}$ defined in (17). Denote
\[ {Y_{t}}={t^{-\beta }}{\dot{X}_{t}}={\int _{0}^{t}}{s^{\alpha }}{(t-s)^{\gamma }}\hspace{0.1667em}d{W_{s}},\hspace{2em}{M_{t}}={\int _{0}^{t}}{s^{\alpha }}\hspace{0.1667em}d{W_{s}}.\]
Now assume that $\gamma >0$ and use notation from Appendix B. The process Y is continuous on $[0,T]$ by Proposition 4. With changing the order of integration,
\[\begin{aligned}{}& {\mathcal{I}_{0+}^{\gamma }}{M_{t}}=\frac{1}{\Gamma (\gamma )}{\int _{0}^{t}}{u^{\gamma -1}}{\int _{0}^{u}}{s^{\alpha }}\hspace{0.1667em}d{W_{s}}\hspace{0.1667em}du\\ {} & =\frac{1}{\Gamma (\gamma )}{\int _{0}^{t}}{s^{\alpha }}{\int _{s}^{t}}{u^{\gamma -1}}\hspace{0.1667em}du\hspace{0.1667em}d{W_{s}}=\frac{1}{\Gamma (\gamma +1)}{\int _{0}^{t}}{s^{\alpha }}{(t-s)^{\gamma }}\hspace{0.1667em}d{W_{s}}=\frac{1}{\Gamma (\gamma +1)}{Y_{t}}.\end{aligned}\]
Hence, according to the definition of the fractional differentiation in Appendix B,
Notice that if $\gamma =0$, then ${M_{t}}={Y_{t}}$ and (28) holds true as well, provided that ${\mathcal{D}_{0+}^{0}}$ is the identity operator.
Now consider specific cases. Let the conditions of Theorem 3 hold true. If $\gamma =0$, then
\[ {W_{v}}=\frac{1}{\Gamma (\gamma +1)}{\int _{0}^{v}}{t^{-\alpha }}\hspace{0.1667em}d\big({t^{-\beta }}\hspace{0.1667em}{\dot{X}_{t}}\big).\]
If γ is a positive integer, then
\[ {W_{v}}=\frac{1}{\gamma !}{\int _{0}^{v}}{t^{-\alpha }}\hspace{0.1667em}d\hspace{-0.1667em}\left(\frac{{d^{\gamma }}}{d{t^{\gamma }}}\big({t^{-\beta }}\hspace{0.1667em}{\dot{X}_{t}}\big)\right),\]
where $\gamma !=1\cdot 2\cdots \gamma $ is the factorial. Here formula (29) is used.Consider the general case. Let $\gamma \ge 0$, and let $n>\gamma $ be a positive integer. Then, according to (30),
\[ {W_{v}}=\frac{1}{\Gamma (\gamma +1)\Gamma (n-\gamma )}{\int _{0}^{v}}{t^{-\alpha }}\hspace{0.1667em}d\hspace{-0.1667em}\left(\frac{{d^{n}}}{d{t^{n}}}\hspace{-0.1667em}\left({\int _{0}^{t}}{(t-s)^{n-\gamma -1}}{s^{-\beta }}{\dot{X}_{s}}\hspace{0.1667em}ds\right)\right).\]
In particular, one can take $n=\lfloor \gamma \rfloor +1$, where $\lfloor \gamma \rfloor $ is the unique integer of the interval $(\gamma -1,\hspace{0.1667em}\gamma ]$. Any $\gamma \ge 0$ can be represented as $\gamma =\lfloor \gamma \rfloor +\{\gamma \}$, with $\lfloor \gamma \rfloor $ nonnegative integer and $0\le \{\gamma \}<1$. Then
\[ {W_{v}}=\frac{1}{\Gamma (\gamma +1)\Gamma (1-\{\gamma \})}{\int _{0}^{v}}{t^{-\alpha }}\hspace{0.1667em}d\hspace{-0.1667em}\left(\frac{{d^{\lfloor \gamma \rfloor +1}}}{d{t^{\lfloor \gamma \rfloor +1}}}\hspace{-0.1667em}\left({\int _{0}^{t}}{(t-s)^{-\{\gamma \}}}{s^{-\beta }}{\dot{X}_{s}}\hspace{0.1667em}ds\right)\right).\]
