Sufficient Condition on the Fractional Integral for the Convergence of a Function

A sufficient condition on the fractional integral of the absolute value of a function is given in this paper, which allows to assure the convergence of the function to zero. This result can be useful to assure the convergence of a function when it is hard to know its exact evolution, but conditions on its fractional integral can be stated.


Introduction
Fractional calculus relates to the calculus of integrals and derivatives of orders that may be real or complex and has become very popular in recent years due to its demonstrated applications in many fields of science and engineering [1].
The nature of many systems makes them more precisely modeled using fractional differential equations. For instance, it can be mentioned the diffusion process founded in batteries [2], some heat transfer process [3], the effect of the frequency in induction machines [4], and the prediction of the groundwater flow [5], amongst others. In that sense, the stability of these systems have to be proved using techniques developed for fractional order systems.
The stability of fractional order nonlinear and time varying systems can be proved using the fractional order extension of Lyapunov's direct method [6]. Using this technique, however, is often a really hard task, since finding a Lyapunov candidate function is more complex in the fractional order case. Moreover, when a Lyapunov candidate function is found, most of the times its fractional derivative is only negative semidefinite, which assures the stability of the system but not the convergence of the states of the system.
For the integer order systems, Barbalat's Lemma [7] and some of its corollaries [8,9] are used to prove the convergence of a function to zero based on some conditions on the integer integral of the function. However, in fractional order systems, it is usually more difficult to establish conditions on the integer integral of a function and consequently it can be tough to use the tools already mentioned.
Conditions on the fractional integral of a function can be more easily established in fractional order systems, and that is why it could be useful having a method to prove the convergence of a function to zero, based on some conditions on its fractional integral. This paper presents a lemma, which states a sufficient condition on a function and its fractional integral under which it can be assured that the function converges to zero.
The paper is organized as follows. Section 2 presents some basic concepts about fractional calculus, facilitating the understanding of the ideas presented in this work. Section 3 introduces Lemma 3, for assuring the convergence of a function to zero, some examples to support the result, and a potential application for Lemma 3. Finally, Section 4 presents the conclusions of the work.

Preliminaries
In what follows, some basic definitions related to fractional calculus are presented.

2
The Scientific World Journal Definition 1 (Riemann-Liouville fractional integral [1]). The Riemann-Liouville fractional integral defined on a finite interval of the half-axis R + has the following form: There exist some different definitions for fractional derivatives. Equation (2) corresponds to the Caputo fractional derivative. To see other definitions and tables of fractional derivatives, see [1,10].
Definition 2 (Caputo fractional derivative [1]). The Caputo fractional derivative of order ∈ R + on the half-axis R + is defined as follows:

Sufficient Condition on the Fractional Integral for the Convergence of a Function to Zero
This section presents a new lemma, which allows to assure that a function converges to zero under some conditions on the function and its fractional integral.
The following corollary can be useful when the existence of the limit of the fractional integral cannot be directly proved.
The Scientific World Journal It can be seen from (14) that using some < results in lim → ∞ 0 − = 0, which is consistent with the result in Lemma 3.
Based on (15) and according to [12] it can be concluded that From Example 1 it is known that using some < results in lim → ∞ 0 − = 0. Consequently, from (16) it can be concluded that lim → ∞ 0 − = 0, which is consistent with the result in Lemma 3.

Potential Application.
In what follows, a framework for a possible application of Lemma 3 to the convergence analysis of fractional adaptive systems is presented. One of the parameterizations used for the representation of a plant for identification or adaptive control purposes is the one which has the form where ( ) ∈ R , ( ) ∈ R and can be measured for all ≥ 0 , and is a constant vector in R [8]. In identification problems, corresponds to the unknown parameters of the plant, while in control problems it represents the desired control parameter vector.
In both cases, an estimatê( ) ∈ R of is used to generate an estimated output signal̂( ) ∈ R. Defining ( ) = ( ) − ( ) and ( ) =̂( ) − ( ), the error equation obtained is The purpose here is determining a rule for adjusting ( ) (or equivalentlŷ( )) from the knowledge of ( ) and the error ( ), so that ( ) and in some cases ( ) tend to zero asymptotically. It is well known [8] that the adaptive law for is given bẏ( Equation (19) together with (18) constitutes Error Model 1 [8].
However, the use of a fractional adaptive law instead of (19) has proved to be useful for reducing the effect of noise in the adaptive systems [13], and it can improve the convergence of the error to zero [14], so Fractional Error Model 1 has arisen, which is given by the following equations: where 0 < < 1.
Many efforts are being made to demonstrate analytically the stability and convergence of the error ( ) in Fractional Error Model 1.
The Barbalat Lemma is used in the classic Error Model 1 to prove the convergence of the error ( ) to zero. However, the application of the Barbalat Lemma to the case of Fractional Error Model 1 (20) has been attempted without too much success, due to the difficulty in establishing conditions on the integer integral of the squared error ∫

Conclusions
A sufficient condition on the fractional integral of a uniformly continuous function 0 | ( )| so that ( ) converges to zero has been presented in this paper. The result presented is valid for ∈ (0, 1]. It is expected that this result could be particularly useful in the analysis of adaptive systems with fractional order adaptive laws in order to prove the convergence of the control and/or identification errors to zero.