 Research
 Open Access
 Published:
Stability for a class of semilinear fractional stochastic integral equations
Advances in Difference Equations volume 2016, Article number: 166 (2016)
Abstract
In this paper we study some stability criteria for some semilinear integral equations with a function as initial condition and with additive noise, which is a Young integral that could be a functional of fractional Brownian motion. Namely, we consider stability in the mean, asymptotic stability, stability, global stability, and MittagLeffler stability. To do so, we use comparison results for fractional equations and an equation (in terms of MittagLeffler functions) whose family of solutions includes those of the underlying equation.
1 Introduction
Currently fractional systems are of great interest because of the applications they have in several areas of science and technology, such as engineering, physics, chemistry, mechanics, etc. (see, e.g., [1–4] and the references therein). Particularly we can mention system identification [1], robotics [5], control [1, 4], electromagnetic theory [6], chaotic dynamics and synchronization [7–10], applications on viscoelasticity [11], analysis of electrode processes [12], Lorenz systems [7], systems with retards [13], quantic evolution of complex systems [14], numerical methods for fractional partial differential equations [15–17], among other. A nice survey of basic properties of deterministic fractional differential equations is in Lakshmikantham and Vatsala [18]. Also, many researchers have established stability criteria of mild solutions of stochastic fractional differential equations using different techniques.
For deterministic systems, the stability of fractional linear equations has been analyzed by Matignon [19] and Radwan et al. [20]. Besides, several authors have studied nonlinear cases using Lyapunov method (see, e.g., Li et al. [21] and references therein). In particular, nonlinear fractional systems with a function as initial condition using also the Lyapunov technique have been considered in the PhD thesis of MartínezMartínez [22]. Moreover, in the work of Junsheng et al. [23] the form of the solution for a linear fractional equation with a constant initial condition in terms of the MittagLeffler function is given by means of the Adomian decomposition method. Wen et al. [24] have established stability results for fractional nonlinear equations via the Gronwall inequality. Equality (3) below can be seen as an extension of the results in [10] and the Gronwall inequality stated in [24]. In [24], the stability is used to obtain synchronization of fractional systems.
On the other hand, a process used frequently in the literature is fractional Brownian motion \(B^{H}=\{ B_{t}^{H}, t\ge0\}\) due to the wide range of properties it has, such as long range memory (when the Hurst parameter H is greater than one half) and intermittency (when \(H<1/2\)). Unfortunately, in general, it is not a semimartingale (the exception is \(H=1/2\)). Thus, we cannot use classical Itô calculus in order to integrate processes with respect to \(B^{H}\) when \(H\neq1/2\), but we may use other approaches, such as Young integration (see Gubinelli [25], Young [26], Zähle [27], Dudley and Norvaiša [28], Lyons [29]). The reader may also refer to Nualart [30], and Russo and Vallois [31] for other types of integrals. As a consequence, an important application is the analysis of stochastic integral equations driven by fractional Brownian motion that has been considered by several authors these days for different interpretations of stochastic integrals (see, e.g., Lyons [29], QuerSardanyons and Tindel [32], León and Tindel [33], Nualart [30], Friz and Hairer [34], Lin [35] and Nualart and Răşcanu [36]).
The stability of stochastic systems driven by Brownian motion has also been studied. Some authors use a fundamental solution of this equations in order to investigate the stability of random systems. An example of this is the paper of Applebay and Freeman [37], who gave the solution in terms of the principal matrix of integrodifferential equations with an Itô integral noise and find the equivalence between almost sure exponential convergence and the pth mean exponential convergence to zero for these systems. Bao [38] used the Gronwall inequality to state the mean square stability for VolterraItô equations with a function as initial condition and bounded kernels. Several researchers have studied stability of stochastic systems via Lyapunov function techniques. An example of this is the paper of Li et al. [39], who prove stability in probability for ItôVolterra integral equation; also Zhang et al. [40] have stated a stochastic type stability criterion for stochastic integrodifferential equations with infinite retard, and Zhang and Zhang [41] have dealt with conditional stability of Skorohod Volterra type equations with anticipative kernel. Nguyen [42] presented the solution via the fundamental solution for linear stochastic differential equations with timevarying delays to obtain the exponential stability of these systems. The noise is an additive one and has the form \(\int_{0}^{\cdot}\sigma(s)\,dW^{H}_{s}\). Here
W is a Brownian motion and σ is a deterministic function such that
for some \(\lambda>0\). Also, Zeng et al. [43] utilize the Lyapunov function techniques to prove stability in probability and moment exponential stability for stochastic differential equation driven by fractional Brownian motion with parameter \(H>1/2\). Yan and Zhang [44] proved sufficient conditions for the asymptotical stability in the pth moment for the closed form of the solution to a fractional impulsive partial neutral stochastic integrodifferential equation with state dependent retard in Hilbert space. In the linear case, Fiel et al. [45] have used the Adomian decomposition method to find the mild solution of a stochastic fractional integral equation with a function as initial condition driven by a Hölder continuous process in terms of Young or Skorohod integrals. This closed form is given in terms of the MittagLeffler functions. The stability in the large and stability in the mean sense of these random systems is also analyzed. As an application, the stability of equations driven by a functional of fractional Brownian motion is derived.
In this paper we extend the results given in [45] and [24], that is, we study the stability of the solution to the equation
The initial condition \(\xi=\{\xi_{t}, t\ge0\}\) is a function, h is a \(O(x)\) as \(x\to0\) (i.e., we have \(C>0\) and \(\delta>0\) such that \(h(x)\le Cx\) for \(x<\delta\)), \(\beta\in (0,1)\), \(A<0\), and \(\mathcal{Z}\) is a Young integral of the form
Here, \(\theta=\{\theta_{s}, s\ge0\}\) is a γHölder continuous function that may represent the paths of a functional of fractional Brownian motion, where \(\gamma\in(0,1)\), \(\alpha\in(1,2)\), and \(\alpha+\gamma>2\). Unlike other papers where the involved kernels are bounded functions we consider the case that kernels are not bounded, and we use comparison results as a main tool.
We observe that equation (1) can be a useful model for applications in several areas of science. For example, (1) provides a fractional version of the VerhlustPearl equation (see Scudo [46], p.5), where \(h(x)=\lambda x^{2}\), for some \(\lambda\in \mathbb{R}\). So, now the stability of a single insolated species can be analyzed by means of fractional systems. Also, as pointed out in [24], for some fractional systems in engineering h is a \(O(x)\) as \(x\to0\).
This work is organized as follows. In Section 2 we introduce a fractional integral equation, whose family of solutions includes those of (1). Also, in Section 2, we state a comparison result for fractional systems that becomes the main tool for our results. In Section 3, we study some stability criteria for equation (1) in the case that \(\mathcal{Z}\equiv0\). These results can be seen as extensions of the results given in [45] and [24]. Finally, the stability of equation (1) in the case that θ is either a Hölder continuous process or a functional of fractional Brownian motion is considered in Section 4.
2 Preliminaries
In this section we introduce the framework and the definitions that we use to prove our results. Part of the main tool that we need is the stability of some fractional linear systems as presented by Fiel et al. [45] and a comparison result (see Lemma 1 below).
2.1 The Young integral
For \(T> 0\) and \(\gamma\in(0,1)\), let \(C^{\gamma}_{1}([0,T];\mathbb{R})\) be the set of γHölder continuous functions \(g:[0,T]\to\mathbb{R}\) of one variable such that the seminorm
is finite.
The Young integral was initially defined for functions with pvariation in the work of Young [26]. In particular, for \(f\in C_{1}^{\kappa}([0,T];\mathbb{R})\) and \(g\in C_{1}^{\gamma}([0,T];\mathbb{R})\), with \(\kappa+\gamma>1\) the Young integral is well defined, and for \(s\le t\le T\) it is given by
where the limit is over any partition \(\varPi _{st}= \{ t_{0}=s,\ldots,t_{n}=t \}\) of \([s,t]\), whose mesh tends to zero.
We observe that this integral has been extended by Zähle [27], Gubinelli [25], Lyons [29], among others. For a detailed exposition on the Young integral the reader is referred to the paper of Dudley and Norvais̆a [28] (see also Gubinelli [25], and León and Tindel [33]).
2.2 Semilinear Volterra integral equations with additive noise
Here we consider the Volterra integral equation
where the initial condition \(\xi=\{\xi_{t}, t\ge0\}\) is bounded on compact sets and measurable, \(\beta\in(0,1)\), \(A\in\mathbb{R}\), \(\alpha\in(1,2)\), \(\theta=\{\theta _{s}, s\ge0\}\) is a γHölder continuous function with \(\gamma\in(0,1)\) and Γ is the gamma function. The second integral in (2) is a Young one and it is well defined if \(\alpha1+ \gamma>1\), because \(s\mapsto(ts)^{\alpha1}\) is \((\alpha1)\)Hölder continuous on \([0,t]\).
Remember that, for \(z\in\mathbb{R}\), the MittagLeffler function is defined as
where Γ is the gamma function. In order to see a more detailed exposition of this function, the reader is referred to the book of Podlubny [4].
The closed form for the solution of equation (2) is
The reader can consult [45] for its proof.
In this work we use comparison methods in order to obtain the stability of some fractional systems. We can find comparison theorems in the literature for fractional evolution equations (see, e.g., Theorem 4.2 in [18]), but, unfortunately these results are not suitable for our purpose. Thus, we give the following lemma, which is a version of Theorem 2.2.5 in Pachpatte [47] and allows us to prove stability for the semilinear equations that we study. Hence, this result is a fundamental tool in the development of this paper.
Lemma 1
Let \(k: [0,T]\times\mathbb{R}\to\mathbb{R}\) be a function such that:

(i)
\(k(\cdot, x)\) is measurable on \([0,T]\) for each \(x\in\mathbb{R}\);

(ii)
There is a constant \(M>0\) such that \(k(s,x)k(s,y)\le Mxy\), for any \(s\in[0,T]\) and \(x,y\in\mathbb{R}\);

(iii)
k is bounded on bounded sets of \([0,T]\times\mathbb{R}\);

(iv)
\(k(s,\cdot)\) is nondecreasing for any \(s\in[0,T]\).
Also, let \(B\in\mathbb{R}\), \(\beta\in(0,1)\), and x and y two continuous functions on \([0,T]\) such that
Then \(x\le u\) on \([0,T]\), where u is the solution to the equation
Remark
The assumptions of k entail that equation (5) has a unique continuous solution.
Proof
Denote by \(C([0,T])\) the family of continuous functions on \([0,T]\). Let \(\mathcal{G}: C([0,T])\to C([0,T])\) be given by
It is not difficult to see that hypotheses (i) and (iii) imply that \(\mathcal{G}\) is well defined. It means that \(\mathcal{G}(z)\) is a continuous function for each \(z\in C([0,T])\). We denote \(\sup_{t\in[a,b]}z(t)\) by \(\z\_{\infty,[a,b]}\) for any function \(z\in C([a,b])\). Then, from the continuity of \(E_{\beta,\beta}\) and hypothesis (ii), there is a constant \(\bar{M}>0\) such that, for every \(z,\tilde{z}\in C([0,T])\), we have
Similarly, for \(\bar{T}\le T\), we are able to see that
Consequently, if \(\bar{T}^{\beta}\frac{M\bar{M}}{\beta}<1\), \(\mathcal{G}\) is a contraction on \(C([0,\bar{T}])\). Therefore the sequence \(v_{n+1}={\mathcal{G}} v_{n}\), with \(v_{0}=x\), is such that \(v_{n}(t)\to u(t)\) and \(v_{n}(t)\le v_{n+1}(t)\) for \(t\in[0,\bar{T}]\), due to hypothesis (iv), (4), and \(E_{\beta,\beta}\) being a completely monotonic function (see Miller et al. [48] or Schneider [49]). Thus the result is true if we write T̄ instead of T.
Now, suppose the lemma holds for the interval \([0,n\bar{T}]\), \(n\in \mathbb{N}\). Then, by (4) we can write
where
Finally, defining \(\mathcal{G}^{(n)}:C([n\bar{T},(n+1)\bar{T}])\to C([n\bar{T},(n+1)\bar{T}])\) by
and using the fact that equation (5) has a unique solution due to hypothesis (ii), we can proceed as in the first part of this proof to see that \(x\le u\) on \([0,(n+1)\bar{T}]\). Thus, the result follows using induction on n. □
3 A class of nonlinear fractionalorder systems
In this section we establish two sufficient conditions for the stability of a deterministic semilinear Volterra integral equation. Thus, we improve the results in [45] for this kind of systems when the noise is null (i.e., \(\mathcal{Z}\) in (1) is equal to zero).
3.1 A constant as initial condition
This part is devoted to a refinement of Theorem 1 of [24] in the onedimensional case. Toward this end, in this section, we suppose that the initial condition is a constant. That is, we first consider the fractional equation
with \(x_{0}\in\mathbb{R}\), \(\beta\in(0,1)\), \(A<0\), and \(h:\mathbb{R}\to \mathbb{R}\) a measurable function.
In the remaining of this paper we deal with the following hypotheses.

(H1)
There is a constant \(C>0\) such that \(A+C<0\) and \(h(x)\le Cx\), for all \(x\in\mathbb{R}\).

(H2)
There are \(\delta_{0}>0\) and \(C>0\) such that \(A+C<0\) and \(h(x)\le Cx\), for \(x<\delta_{0}\).
Now, we consider several definitions of stability.
Definition 1
Any solution X to equation (6) is said to be:

(i)
globally stable in the large if \(X(t)\) goes to zero as t tends to infinity, for all \(x_{0}\in\mathbb{R}\);

(ii)
MittagLeffler stable if there is \(\delta>0\) such that \(x_{0}<\delta\) implies
$$\bigl\vert X(t)\bigr\vert \le \bigl[ m(x_{0})E_{\beta,1} \bigl(Bt^{\beta}\bigr) \bigr]^{b}, \quad t\ge0, $$where \(\beta\in(0,1)\), \(B<0\), \(b>0\), and m is a positive and locally Lipschitz function with \(m(0)=0\);

(iii)
stable if for \(\varepsilon>0\), there is \(\delta>0\) such that \(x_{0}<\delta\) implies \(X(t)<\varepsilon \), for all \(t\ge0\);

(iv)
stable in the large if there is \(\delta>0\) such that \(x_{0}<\delta\) implies \(\lim_{t\to\infty}X(t)=0\);

(v)
asymptotically stable if it is stable and stable in the large.
Remark 1
Observe that, under the assumptions that h is continuous and satisfies (H1), equation (6) has at least one solution on \([0,\infty)\) because of [18] (Theorems 3.1 and 4.2). Indeed, in [18] (Theorem 4.2) we can consider
Similarly, for a continuous function h satisfying (H2), we introduce the function
Then, using [18] (Theorems 3.1 and 4.2) again, the equation
has at least one solution defined on \([0,\infty)\) due to \(Ax+h(\varphi (x))\leAx+C\varphi(x) \le(A+C)x\). Hence equation (6) has at least one continuous solution on \([0,\infty)\) if (7) is stable and \(x_{0}\) is small enough because, in this case, the solution of (7) is also a solution of equation (6) and \(h\circ\varphi\) is bounded. So, without loss of generality we can assume that (6) has at least one continuous solution because one of the main purposes of the paper is to deal with the stability of (1).
Our first stability result for any continuous solution of equation (6) is the following.
Proposition 1
Assume either (H2) or (H1) is satisfied. Then any continuous solution X to equation (6) is stable.
Proof
Let (H2) (resp. (H1)) be true and \(x_{0}\in(0,\delta_{0})\) (resp. \(x_{0}>0\)). Then the continuity of X implies that there is \(\tau>0\) such that \(X(t)\in(0,\delta_{0})\) (resp. \(X(t)>0\)) for all \(t\in[0,\tau]\). Consequently
In other words, (8) shows that X is less than \(x_{0}\) if \(X>0\) on \([0,\tau]\). Thus, we can proceed as in [50] (Lemma 2) using (H2) (resp. (H1)) to see that \(X(t)>0\) for all \(t\ge0\), which implies that X is stable.
Finally, for \(x_{0}<0\) and X a solution of (6), we see that −X is a solution of
with \(\hat{h}(x)=h(x)\). Therefore the proposition follows. □
Now we establish the main result of this subsection.
Proposition 2
Let h be a function satisfying (H2) (resp. (H1)). Then any continuous solution of equation (6) is MittagLeffler stable and therefore is also asymptotically stable (resp. globally stable in the large).
Proof
Let (H2) (resp. (H1)) be satisfied and \(0< x_{0}<\delta_{0}\) (resp. \(x_{0}>0\)). Then \(0< X(t)<\delta_{0}\) (resp. \(X(t)>0\)) by [22] (see (8)).
On the one hand, consider the solution Z of the following linear fractional equation:
Then by the continuity of the solutions X and Z, there exists \(\tau >0\) such that, for all \(t\in(0,\tau)\), we have \(0< X(t)< Z(t)\). If this inequality is satisfied for any \(t>0\), we can ensure that X is asymptotically stable (resp. and globally stable in the large), and that this solution is also MittagLeffler stable because the solution Z of last equation is given by (see [23] or (3))
We now suppose that there exists \(t_{0}>0\) such that \(X(t_{0})=Z(t_{0})\) and \(X(t)< Z(t)\), for \(t< t_{0}\). Set \(Y=XZ\), then
From (3) (see also [23]) we observe that Y also satisfies the equality
For \(s\in(0,t_{0})\), we have \(h(X(s))\le CX(s)< C Z(s)\). Thus \(h(X(s))C Z(s)<0\). Consequently, by the completely monotonic property of \(E_{\beta,\beta}\) (e.g., see Miller et al. [48] or Schneider [49]), we have \(Y(t_{0})<0\), and this is a contradiction because it is supposed that \(Y(t_{0})=0\). Now we can conclude that X is MittagLeffler stable.
Finally we consider the case that \(\delta_{0}< x_{0}<0\) (resp. \(x_{0}<0\)). Note that \(\hat{X}=X\) is such that
with \(\tilde{h}(x)=h(x)\). Hence, by the first part of this proof and the fact that h̃ satisfies (H2) (resp. (H1)), we see that the proof is complete. □
Remark
Let X be a solution to equation (6). Wen et al. [24] (Theorem 1) have proved that the solution to equation (6) is stable if \(\lim_{x\to0}\frac{h(x)}{x}\to0\). Also, Zhang and Li [51] have used an equality similar to (3) to prove that X is asymptotically stable for the case that \(\lim_{x\to0}\frac {h(x)}{x}=0\), \(\beta\in(1,2)\) and \(\beta+\frac{1}{A}<2\). Proposition 2 establishes that X is asymptotically stable under a weaker condition. Namely (H2). This is possible because we use a comparison type result and the fact that this solution does not change sign.
3.2 A function as initial condition
Here we treat the case that the initial condition is a function satisfying some suitable conditions.
Consider the following deterministic Volterra integral equation:
Here \(\beta\in(0,1)\), \(A<0\), and \(h:\mathbb{R}\longmapsto\mathbb{R}\) and \(\xi:\mathbb{R}^{+} \longmapsto\mathbb{R}\) are two measurable functions.
Concerning the existence of a continuous solution of equation (9) we remark the following. For a continuous function h as in (H1) and ξ continuous, we can consider the equation
where \(f(s,x)=A(x+\xi_{s})+h(x+\xi_{s})\), which has a solution Z due to Theorem 4.2 in [18] (with \(g(s,x)=(A+C)(x+\xi_{s})\)) and (3). Therefore \(Z+\xi\) is a solution of (9). Similarly if ξ is ‘small enough’ and h is either a continuous Lipschitz function on a neighborhood of zero, or as in (H2), then we can proceed as in Remark 1 to see that (9) has at least one solution in this case. Therefore, as in Remark 1, we can assume that (9) has at least one continuous solution.
On the other hand, in this paper we analyze several stability criteria for different classes \(\mathcal{E}\) of initial conditions. Sometimes \(\mathcal{E}\) is a subset of a normed linear space \(\mathcal{X}\) of continuous functions endowed with the norm \(\\cdot\_{\mathcal{X}}\). In other words we consider normed linear spaces \((\mathcal{X},\\cdot\_{\mathcal {X}})\). Mainly, in the remaining of this paper, we deal with the following classes of initial conditions.
Definition 2
We have the following assumptions on ξ:

1.
If the initial condition ξ is continuous on \([0,\infty)\) and we have \(\xi_{\infty}\in\mathbb{R}\) such that, given \(\varepsilon>0\), there exists \(t_{0}>0\) such that \(\xi _{s}\xi_{\infty}\le\varepsilon\) for any \(s\ge t_{0}\), we say that ξ belongs to the family \(\mathcal{E}^{1}\).

2.
\(\mathcal{E}^{2}\) is the set of all functions ξ of class \({C}^{1}(\mathbb{R}_{+})\) (i.e., ξ has a continuous derivative on \(\mathbb{R}_{+}\)) such that
$$ \lim_{t \rightarrow\infty} \vert \xi_{t}\vert /t^{\beta}=0\quad \mbox{and} \quad \bigl\vert \xi_{t}' \bigr\vert \le\frac{\tilde{C}}{t^{1\upsilon}},\quad \text{for some } \upsilon\in(0,\beta) \text{ and } \tilde{C}\in\mathbb{R}. $$ 
3.
\(\mathcal{E}^{3}\) is the space of continuous functions of the form
$$ \xi_{t}=\frac{1}{\varGamma (\eta)} \int_{0}^{t} (ts)^{\eta1} g(s) \,ds, $$(10)with \(g \in L^{1}([0,\infty)) \cap L^{p}([0,\infty))\), \(\eta\in(0,\beta +1)\), and \(p>\frac{1}{\eta}\vee1\).
The stability concepts that we develop in this section are the following.
Definition 3
Let \(\mathcal{E}\subset\mathcal{X}\). A solution X of (9) is said to be:

(i)
globally stable in the large for the class \(\mathcal{E}\) (or globally \(\mathcal{E}\)stable in the large) if \(X(t)\) tends to zero as \(t\to\infty\), for every \(\xi\in\mathcal{E}\);

(ii)
\(\mathcal{E}\)stable if for \(\varepsilon>0\), there is \(\delta>0\) such that \(\X\_{\infty,[0,\infty)} <\varepsilon\) for every \(\xi\in\mathcal{E}\) satisfying \(\\xi \_{\mathcal{X}}<\delta\);

(iii)
asymptotically \(\mathcal{E}\)stable if it is \(\mathcal {E}\)stable and there is \(\delta>0\) such that \(\lim_{t\to\infty}X(t)=0\) for any \(\xi\in\mathcal{E}\) such that \(\ \xi \_{\mathcal{X}}<\delta\).
In the following auxiliary result, \(\mathcal{E}^{4}\) is the family of functions ξ having the form (10) with \(\eta=\beta\) and g is a continuous function such that \(\lim_{t\to\infty} g(t)=0\). In this case, the involved norm is \(\\xi\_{\mathcal {X}}=\g\_{\infty,[0,\infty)}\).
Lemma 2
Let \(B<0\) and \(\xi\in\mathcal{E}^{4}\). Then the solution to the equation
is \(\mathcal{E}^{4}\)stable and globally \(\mathcal{E}^{4}\)stable in the large.
Proof
We observe that, by (3), we have
So, the completely monotone property of \(E_{\beta,\beta}\) (see Miller et al. [48] or Schneider [49]), and [4] (Theorem 1.6 and equality (1.99)) leads to
Thus, Y is \(\mathcal{E}^{4}\)stable.
Also, by using (1.99) in [4] again, we are able to write
Therefore, using Theorem 1.6 in [4] and the proof of Proposition 3.3.1 in [45] again, together with the facts that \(B<0\) and g is a continuous function such that \(\lim_{t\to\infty }g(t)=0\), we obtain \(Y(t)\to0\) as \(t\to\infty\). □
Now we give a general result.
Theorem 1
Let (H2) (resp. (H1)) be true, and \(\mathcal{E}\) a family of continuous functions of a normed linear space \(\mathcal{X}\) such that the solution of the equation
is asymptotically \(\mathcal{E}\)stable (resp. globally \(\mathcal{E}\)stable in the large). Then any continuous solution of equation (9) is also asymptotically \(\mathcal{E}\)stable (resp. globally \(\mathcal {E}\)stable in the large).
Proof
Suppose that (H1) (resp. (H2)) is true. Let X be a continuous solution to equation (9). Take \(Z=XY\), then we have
Thus, (3) allows us to write
Hence, for \(\xi\in\mathcal{E}\) we have (resp. for \(\xi\in\mathcal{E}\) such that \(\Y\_{\infty,[0,\infty)}< \delta_{0}\), which gives \(\xi_{0}=Y(0)<\delta_{0}\), the continuity of X implies that there is \(t_{0}>0\) such that \(\X\_{\infty,[0,t_{0})}<\delta_{0}\) and therefore (H2) leads to)
where we make use of the completely monotonic property of \(E_{\beta ,\beta}\). Invoking Lemma 1 and the uniqueness of the solutions for the involved equations, \(Z(t)\le u(t)\) for all \(t\ge0\) (resp. \(t\le t_{0}\)), where u is the solution to
Finally observe that \(X(t)\le u(t)+Y(t)\) for \(t\ge0\) (resp. for \(t\le t_{0}\) such that \(\X\_{\infty, [0,t_{0})} <\delta_{0}\)). Thus Lemma 2 implies that u is globally \(\mathcal{E}^{4}\)stable in the large (resp. u is \(\mathcal{E}^{4}\)stable and globally \(\mathcal {E}^{4}\)stable in the large), which shows that the proof is complete. □
Remark
For each \(i\in\{1,\ldots,n\}\) let \(\mathcal {X}^{i}\) be a normed linear space of functions. Note that if \(\xi=\sum_{i=1}^{n}\xi^{(i)}\), where \(\xi ^{(i)}\in\hat{\mathcal{E}}^{i} \subset\mathcal{X}^{i}\) and (11) is \(\hat{\mathcal {E}}^{(i)}\)stable for each \(i\in\{1,\ldots,n\}\). Then (11) is also \(\mathcal{E}\)stable, where \(\mathcal{E}\) is the family of functions of the form \(\sum_{i=1}^{n}\xi^{(i)}\) and the involved seminorm is \(\\xi\_{\mathcal {X}}=\sum_{i=1}^{n}\\xi^{(i)} \_{\mathcal{X}^{i}}\). Indeed, by (3) we see that the solution Y is given by
where, for each \(i\in\{1,\ldots, n\}\), \(Y^{(i)}\) is the unique solution to the linear equation
In the following result we see that the family \(\mathcal{E}:=\{ \xi\in C([0,\infty)): \xi=\sum_{i=1}^{3}\xi^{(i)},\xi^{(i)}\in \mathcal{E}^{i}\}\) is an example of a family of functions for which the assumptions of Theorem 1 is satisfied. Here, \(\\cdot\_{\mathcal{X}^{1}}= \\cdot\_{\infty,[0,\infty)}\), \(\\xi^{(2)}\_{\mathcal{X}^{2}}=\\xi _{\cdot}^{(2)}E_{\beta,1}(A\cdot^{\beta})\_{\infty,[0,\infty)} +\\cdot^{1\upsilon}{\xi_{\cdot}^{(2)}}'\_{\infty,[0,\infty)}\) and \(\\xi^{(3)}\_{\mathcal{X}^{3}}=\g\_{L^{1}([0,\infty))}+ \g\_{L^{p}([0,\infty))}\), where \(\cdot^{1\upsilon}{\xi_{\cdot }^{(2)}}'\) denotes \(s\mapsto s^{1\upsilon}{\xi^{(2)}_{s}}'\) and \(\xi^{(3)}\) is given by the righthand side of (10). Thus, in this case \(\\xi\_{\mathcal{X}}=\sum_{i=1}^{3} \\xi^{(i)}\_{\mathcal{X}^{i}}\).
Proposition 3
Let \(A<0\) and \(\beta\in(0,1)\). Then any solution to (11) is \(\mathcal{E}\)stable and \(\mathcal{E}\)stable in the large.
Proof
By the previous remark we only need that equation (11) is \(\mathcal{E}^{i}\)stable and \(\mathcal{E}^{i}\)stable in the large, for \(i=1,2,3\). To prove this, let Y be the solution to equation (11). The global \(\mathcal {E}^{i}\)stability in the large has already been considered in [45] (Theorem 3.3). Now we divide the proof in three steps.
Step 1. Here we consider the case \(i=1\). Then (3) and (1.99) in [4] give, for \(t\ge0\),
which implies that the solution of (11) is \(\xi^{(1)}\)stable.
Step 2. For \(i=2\), we get
Consequently, [45] (the proof of Theorem 3.2.2) yields
where \(C>0\) is a constant and we have utilized that \(\upsilon<\beta\).
Step 3. Finally we consider the case \(i=3\). In this scenario, from (3), we obtain
For \(I_{1}^{(3)}\) we can apply the Hölder inequality to write, for \(q^{1}=1p^{1}\) and \(C>0\),
and for \(I_{2}^{(3)}\) we use the fact that \(\eta1\beta<0\). Thus
□
Remark
Observe that \(\mathcal{E}^{1}\) contains the bounded variation functions on compact sets of \(\mathbb{R}_{+}\) of the form \(\xi=\xi^{(1)}\xi ^{(2)}\), where \(\xi^{(1)}\) and \(\xi^{(2)}\) are two nondecreasing and bounded functions on \(\mathbb{R}_{+}\).
The following result is an immediate consequence of Theorem 1 and Proposition 3.
Theorem 2
Suppose that (H2) (resp. (H1)) holds. Let ξ be as in Proposition 3. Then any continuous solution to (9) is asymptotically \(\mathcal{E}\)stable (resp. globally \(\mathcal{E}\)stable in the large).
4 Semilinear integral equations with additive noise
In this section we consider the equation
Here ξ, β, A, and h are as in equation (9). Henceforth we assume that \(\alpha\in(1,2)\), \(\theta=\{ \theta_{s}, s\ge0\}\) is a γHölder continuous function with \(\gamma\in(0,1)\) such that \(\theta_{0}=0\) and \(\gamma +\alpha>2\), and f is a τHölder continuous function in \(C^{1}(\mathbb{R}_{+})\), with \(\tau+\gamma>1\). Note that, in this case, the Young integral in the righthand side of (12) is equal to \(\frac{1}{\varGamma (\alpha)}\int_{0}^{t} (ts)^{\alpha1}\, d\tilde{\theta}_{s}\), where \(\tilde{\theta}_{s}=\int_{0}^{s}f(r)\,d\theta_{r}\) due to [45] (Lemma 2.4). Thus, (3) is still true for (12) and [45] (Lemma 2.7) implies
Hence, the existence of a continuous solution to (12) can be considered as in Section 3.2.
Definition 4
Let \(\mathcal{E}\subset\mathcal{X}\) be a family of continuous functions. We say that a solution X of (12) is:

(i)
(\(\mathcal{E},p\))stable if for \(\varepsilon>0\), there is \(\delta>0\) such that \(\X\_{\infty,[0,\infty)}<\varepsilon\) for any \((\xi,f,\theta)\) such that
$$ \\xi\_{\mathcal{X}}+\f\theta\_{L^{1}([0,\infty))}+\f\theta \_{L^{p}([0,\infty))}+ \\dot{f}\theta\_{L^{1}([0,\infty))}< \delta; $$(13) 
(ii)
asymptotically (\(\mathcal{E},p\))stable if it is (\(\mathcal{E},p\))stable and there is \(\delta>0\) such that \(\lim_{t\to\infty} X(t)=0\) for any (\(\xi,f,\theta \)) satisfying (13).
An extension of Theorem 1 is the following.
Theorem 3
Let (H2) (resp. (H1)) be satisfied and \(\mathcal{E}\) a class of continuous functions such that the solution of the equation
is asymptotically \((\mathcal{E},p)\)stable (resp. globally \(\mathcal {E}\)stable in the large). Then any continuous solution of (12) is also asymptotically \((\mathcal{E},p)\)stable (resp. globally \(\mathcal {E}\)stable in the large).
Proof
Observe \(X(0)=\xi_{0}\). Consequently the proof is similar to that of Theorem 1. □
Now we state a consequence of Theorem 3.
Theorem 4
Assume (H2) (resp. (H1)) holds. Let ξ be as in Proposition 3, \(f\in C^{1}((0,\infty))\) such that \(\dot{f}\theta\in L^{1}([0,\infty))\) and \(f\theta\in L^{1}([0,\infty))\cap L^{p}([0,\infty))\) for some \(p>\frac {1}{\alpha1}\), and \(\beta+1>\alpha\). Then any continuous solution to (12) is asymptotically \((\mathcal{E},p)\)stable (resp. globally \(\mathcal{E}\)stable in the large).
Proof
Suppose that (H2) (resp. (H1)) is satisfied. By Theorem 3 we only need to see that the solution Y of equation (14) is asymptotically \((\mathcal{E},p)\)stable (resp. globally \(\mathcal{E}\)stable in the large). Toward this end, we invoke (3) and [45] (Lemma 2.4) to establish
Thus, considering Proposition 3 and [45] (the proof of Proposition 4.1) we only need to show that, given \(\varepsilon>0\), \(\I_{3}\_{\infty,[0,\infty)} <\varepsilon\) if \(\\xi\_{\mathcal{X}}+\f\theta\_{L^{1}([0,\infty))}+\f\theta \_{L^{p}([0,\infty))}+ \\dot{f}\theta\_{L^{1}([0,\infty))}\) is small enough. For this purpose, we observe that (1.83) in [4] and [45] (Lemma 2.7) imply
For \(I_{3,1}\) we have, from [4] (Theorem 1.6) and \(q^{1}=1p^{1}\),
Finally, using [4] (Theorem 1.6) again and the fact that \(\beta +1>\alpha\),
Hence (15) and (16) show that the proof is complete. □
Observe that, in the previous proof, the inequality
is still true for \(\beta+1\ge\alpha\), which is used in the proof of Theorem 6 below.
4.1 Stochastic integral equations with additive noise
In the remaining of this paper we suppose that all the introduced random variables are defined on a complete probability space \((\varOmega ,\mathcal{F},P)\).
Remark 2
Note that, in equation (12), we can consider a random variable \(A:\varOmega \to(\infty,0)\), stochastic processes ξ, θ, and f, and a random field h such that for almost all ω, \(A(\omega)\), \(\xi_{\cdot}(\omega)\), \(\theta_{\cdot}(\omega)\), \(f(\omega,\cdot)\) and \(h(\omega,\cdot)\) satisfy the hypotheses of Theorem 4 (or Theorem 3), then we can analyze stability for equation (12) ω by ω (i.e., with probability one). An example for the process θ is a fractional Brownian motion \(B^{H}\) with Hurst parameter \(H\in (0,1)\). Fractional Brownian motion is a centered Gaussian process with covariance
It is well known that \(B^{H}\) has γHölder continuous paths on compact sets, for any exponent \(\gamma< H\), due to the Kolmogorov continuity theorem (see Decreusefond and Üstünel [52]).
The last remark motivates the following.
Definition 5
A continuous solution X to equation (12) is said to be globally \(\mathcal{E}\)stable in the mean if \(\mathbf{E} X(t)\to0\) as \(t\to\infty\) for any process \(\xi\in\mathcal{E}\).
An immediate consequence of the proof of Theorem 1, we can state the following extension of Theorem 3.
Theorem 5
Let h satisfy (H1), \(A<0\), \(\mathcal {E}\) a family of continuous processes and \(f,\theta\) as in Remark 2 such that the solution to equation (14) is stable in the mean. Then any continuous solution to equation (12) is also \(\mathcal{E}\)stable in the mean.
Remark
In [45] (Theorem 4.3) we can find examples of families of processes for which the solution of (14) is \(\mathcal{E}\)stable in the mean.
Another definition motivated by Remark 2 is the following.
Definition 6
Let \(\mathcal{E}\subset\mathcal{X}\) be a family of continuous functions. We say that a continuous process ξ belongs to \(\mathcal{E}\) in the mean (\(\xi\in \mathcal{E}_{m}\) for short) if \(\mathbf{E}(\xi)\in\mathcal{E}\).
Now we consider the stochastic integral equation
Here, in order to finish the paper, A, h, β, γ, and f are as in equation (12) such that \(\beta+\gamma>1\), and ξ is a continuous stochastic process. We remark that we interpret equation (17) path by path (i.e., ω by ω).
The following definition is also inspired by Remark 2.
Definition 7
Let \(\mathcal{E}\subset\mathcal{X}\) be a family of continuous functions. We say that a continuous solution to equation (17) is \((\mathcal{E},p)\)stable in the mean if for a given \(\varepsilon>0\) there is \(\delta>0\) such that \(\\mathbf{E}X\_{\infty,[0,\infty)}<\varepsilon\) for any \(\xi\in\mathcal{E}_{m}\) such that
Remark
In this definition, if \(\xi=\sum_{i=1}^{n}\xi ^{(i)}\), with \(\xi^{(i)}\in\mathcal{E}_{m}\), then we set \(\\xi\_{\mathcal{X}}=\sum_{i=1}^{n} \\xi^{(i)}\_{\mathcal{X}}\).
Theorem 6
Let (H2) be true, ξ as in Proposition 3, \(p>\frac {1}{\beta}\), and \(f \in C^{1} ((0,\infty))\) a positive function with negative derivative such that \((r\mapsto r^{\gamma}\dot{f}(r))\in L^{1} ([0,\infty))\) and \(( r\mapsto r^{\gamma}{f}(r) )\in L^{1} ([0,\infty))\cap L^{p}([0,\infty))\). Moreover, let h be a nondecreasing and locally Lipschitz function, which is concave on \(\mathbb{R}_{+}\) and convex on \(\mathbb{R}_{} \cup\{ 0\}\). Then the solution to equation (17) is \((\tilde {\mathcal{E}},p)\)stable in the mean, where \(\xi\in\tilde{\mathcal{E}}\) if and only if \(\xi=\xi^{(1)}\xi^{(2)}\) with \(\xi^{1}\), \(\xi^{2}\) two nonnegative, nondecreasing, and continuous processes in \(\mathcal{E}_{m}\).
Proof
Let X be the continuous solution to equation (17). Then (3) implies
where the last inequality follows from the facts that \(0\le\xi^{(1)}, \xi^{(2)}\) are two nondecreasing processes, \(f,(\dot{f})\ge0\) and from [45] (Lemma 2.7). Therefore, we can state, by Lemma 1, that \(X\le X^{(1)}\) where \(X^{(1)}\) is the solution to
Observe that we also have \(X^{(1)}(t)\ge0\) due to \(h(0)=0\), Lemma 1, and
with \(\hat{h}(x)=h(x)\), \(x\in\mathbb{R}\). Proceeding similarly we have \(X(t)\le X^{(2)}(t)\), with \(X^{(2)}(t)>0\) and
In other words, we have
Finally, observe that (18), (19), the fact that A is a negative number and the Jensen inequality give, for \(\theta_{s}=s^{\gamma}\),
and
Hence by (20), Lemma 1, hypothesis (H2), and the proofs of Proposition 3 and Theorem 4 we see that the result holds. Indeed, for \(i=1,2\),
where \(u^{(i)}\) is the unique solution to the equation
□
Example 1
A function h that satisfies the conditions of Theorem 6 is
where \(C>0\). Indeed, we have
Thus, given \(\varepsilon>0\) there is \(\delta>0\) such that
Example 2
Here we give a function that satisfies assumption 2 on Definition 2. Let \(\xi_{t}=g(t)\sin{\frac{1}{t}}\), \(t\ge0\). The function g is bounded and satisfies \(g(t)=\psi(t)c_{0}t^{3\upsilon }+\varphi(t)\frac{c_{1}}{1+t}\), where \(\psi,\varphi\in C^{\infty}(\mathbb{R}_{+})\) are such that
Thus
Now it is easy to verify our claim is true using straightforward calculations.
5 Conclusion
In this work we show that a useful tool to study several definitions of stability for some fractional equations is comparison results for fractional systems (see Lemma 1) and an equation in terms of the MittagLeffler functions (see representation (3)). Hence we can apply the properties of the MittagLeffler function to consider fractional systems with a function as initial condition and an additive noise, which is a Young integral that could be a functional of fractional Brownian motion.
References
Das, S: Functional Fractional Calculus for Systems Identification and Controls, 1st edn. Springer, Berlin (2008)
Hilfer, R: Applications of Fractional Calculus in Physics. World Scientific, River Edge (2000)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Podlubny, I: Fractional Differential Equations, 9th edn. Academic Press, San Diego (1999)
Machado, JAT, Azenha, A: Fractionalorder hybrid control of robot manipulators. In: IEEE International Conference on Systems, Man, and Cybernetics, vol. 1, pp. 788793 (1998)
Heaviside, O: Electromagnetic Theory. Chelsea, New York (1971)
Grigorenko, I, Grigorenko, E: Chaotic dynamics of the fractional Lorenz system. Phys. Rev. Lett. 91, 034101 (2003)
Hartley, TT, Lorenzo, CF, Qammer, HK: Chaos in a fractional order Chua’s system. IEEE Trans. Circuits Syst. I, Fundam. Theory Appl. 42, 485490 (1995)
Yan, J, Li, C: On chaos synchronization of fractional differential equations. Chaos Solitons Fractals 32, 725735 (2007)
Yu, Y, Li, HX, Su, Y: The synchronization of three chaotic fractionalorder Lorenz systems with bidirectional coupling. J. Phys. Conf. Ser. 96, 012113 (2008)
Bagley, RL, Calico, RA: Fractional order state equations for the control of viscoelastically damped structures. J. Guid. Control Dyn. 14, 304311 (1991)
Ichise, M, Nagayanagi, Y, Kojima, T: An analog simulation of noninteger order transfer functions for analysis of electrode processes. J. Electroanal. Chem. 33, 253265 (1971)
Deng, W, Li, C, Lü, J: Stability analysis of linear fractional differential system with multiple time delays. Nonlinear Dyn. 48, 409416 (2007)
Kusnezov, D, Bulgac, A, Dang, GD: Quantum Lévy processes and fractional kinetics. Phys. Rev. Lett. 82, 11361139 (1999)
Demir, A, Erman, S, Özgür, B, Korkmaz, E: Analysis of fractional partial differential equations by Taylor series expansion. Bound. Value Probl. 2013, 68 (2013)
Momani, S, Odibat, Z: A novel method for nonlinear fractional partial differential equations: combination of DTM and generalized Taylor’s formula. J. Comput. Appl. Math. 220, 8595 (2008)
Momani, S, Odibat, Z: Numerical methods for nonlinear partial differential equations of fractional order. Appl. Math. Model. 32, 2839 (2008)
Lakshmikantham, V, Vatsala, AS: Basic theory of fractional differential equations. Nonlinear Anal. 69, 26772682 (2008)
Matignon, D: Stability results for fractional differential equations with applications to control processing. In: Proc. IMACS, IEEESMC, pp. 963968 (1996)
Radwan, AG, Soliman, AM, Elwakil, AS, Sedeek, A: On the stability of linear systems with fractionalorder elements. Chaos Solitons Fractals 40, 23172328 (2009)
Li, Y, Chen, YQ, Podlubny, I: Stability of fractionalorder nonlinear dynamic systems: Lyapunov direct method and generalized MittagLeffler stability. Comput. Math. Appl. 59, 18101821 (2010)
MartínezMartínez, R, León, JA, FernándezAnaya, G: Asymptotic stability of fractional order nonlinear systems via Lyapunov like conditions. Preprint (2013)
Junsheng, D, Jianye, A, Mingyu, X: Solution of system of fractional differential equations by Adomian decomposition method. Appl. Math. J. Chin. Univ. Ser. B 22, 712 (2007)
Wen, XJ, Wu, ZM, Lu, JG: Stability analysis of a class of nonlinear fractionalorder systems. IEEE Trans. Circuits Syst. II, Express Briefs 55, 11781182 (2008)
Gubinelli, M: Controlling rough paths. J. Funct. Anal. 216, 86140 (2004)
Young, LC: An inequality of the Hölder type, connected with Stieltjes integration. Acta Math. 67, 251282 (1936)
Zähle, M: Integration with respect to fractal functions and stochastic calculus I. Probab. Theory Relat. Fields 111, 333374 (1998)
Dudley, RM, Norvaiša, R: An introduction to pvariation and Young integrals. Tech. Rep. 1, MaPhySto, University of Aarhus. Concentrated advanced course (1998)
Lyons, T: Differential equations driven by rough signals (I): an extension of an inequality of L.C. Young. Math. Res. Lett. 1, 451464 (1994)
Nualart, D: Stochastic integration with respect to fractional Brownian motion and applications. In: Stochastic Models. Contemporary Mathematics, vol. 336, pp. 339 (2003)
Russo, F, Vallois, P: Forward, backward and symmetric stochastic integration. Probab. Theory Relat. Fields 97, 403421 (1993)
QuerSardanyons, L, Tindel, S: Pathwise definition of secondorder SDEs. Stoch. Process. Appl. 122, 466497 (2012)
León, JA, Tindel, S: Malliavin calculus for fractional delay equations. J. Theor. Probab. 25, 854889 (2012)
Friz, PK, Hairer, M: A Course on Rough Paths: With an Introduction to Regularity Structures. Springer, Berlin (2014)
Lin, SJ: Stochastic analysis of fractional Brownian motions. Stoch. Stoch. Rep. 55, 121140 (1995)
Nualart, D, Răşcanu, A: Differential equations driven by fractional Brownian motion. Collect. Math. 53, 5581 (2002)
Appleby, JAD, Freeman, A: Exponential asymptotic stability of linear ItôVolterra equations with damped stochastic perturbations. Electron. J. Probab. 8, 22 (2003)
Bao, TQ: On the existence, uniqueness and stability of solutions of stochastic VolterraIto equation. Vietnam J. Math. 32, 389397 (2004)
Li, W, Liu, M, Wang, K: A generalization of Itô’s formula and the stability of stochastic Volterra integral equations. J. Appl. Math. 2012, Article ID 292740 (2012)
Zhang, C, Li, W, Wang, K: Stability and boundedness of stochastic Volterra integrodifferential equations with infinite delay. J. Appl. Math. 2013, Article ID 320832 (2013)
Zhang, B, Zhang, JX: Conditional stability of stochastic Volterra equations with anticipating kernel. J. Math. Res. Exposition 22, 167176 (2002)
Nguyen, D: Asymptotic behavior of linear fractional stochastic differential equations with timevarying delays. Commun. Nonlinear Sci. Numer. Simul. 19, 17 (2014)
Zeng, C, Yang, Q, Chen, YQ: Lyapunov techniques for stochastic differential equations driven by fractional Brownian motion. Abstr. Appl. Anal. 2014, Article ID 292653 (2014)
Yan, Z, Zhang, H: Asymptotic stability of fractional impulsive neutral stochastic integrodifferential equations with statedependent delay. Electron. J. Differ. Equ. 2013, 206 (2013)
Fiel, A, León, JA, MárquezCarreras, D: Stability for some linear stochastic fractional systems. Commun. Stoch. Anal. 8, 205225 (2014)
Scudo, FM: Vito Volterra and theoretical ecology. Theor. Popul. Biol. 2, 123 (1971)
Pachpatte, BG: Inequalities for Differential and Integral Equations. Mathematics in Science and Engineering, vol. 197. Academic Press, San Diego (1998)
Miller, KS, Samko, SG: Completely monotonic functions. Integral Transforms Spec. Funct. 12, 389402 (2001)
Schneider, WR: Completely monotone generalized MittagLeffler functions. Expo. Math. 14, 316 (1996)
León, JA, FernándezAnaya, G, MartínezMartínez, R: Fractional order systems: an approach to the initial value problem and its stability. In: 10th International Conference on Electrical Engineering, Computing Science and Automatic Control, pp. 98103 (2013)
Zhang, F, Li, C: Stability analysis of fractional differential systems with order lying in \((1,2)\). Adv. Differ. Equ. 2011, Article ID 213485 (2011)
Decreusefond, L, Üstünel, AS: Stochastic analysis of the fractional Brownian motion. Potential Anal. 10, 177214 (1999)
Acknowledgements
The authors thank the referees for their suggestions for improvements. Also we are thankful to CinvestavIPN and Universitat de Barcelona for their hospitality and economical support. The first author was partially supported by the CONACyT fellowship 259100. The second author was partially supported by the CONACyT grant 220303. The third author was partially supported by the MTM201231192 ‘Dinámicas Aleatorias’ del Ministerio de Economía y competitividad.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
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
Fiel, A., León, J.A. & MárquezCarreras, D. Stability for a class of semilinear fractional stochastic integral equations. Adv Differ Equ 2016, 166 (2016). https://doi.org/10.1186/s1366201608952
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201608952
MSC
 34A08
 60G22
 26A33
 93D99
Keywords
 comparison results for fractional differential equations
 fractional Brownian motion
 MittagLeffler function
 stability criteria
 Young integral for Hölder continuous functions