The Scientific World Journal

Volume 2013 (2013), Article ID 428428, 4 pages

http://dx.doi.org/10.1155/2013/428428

Research Article

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

Manuel A. Duarte-Mermoud,1,2 Norelys Aguila-Camacho,1,2 and Javier A. Gallegos¹

¹Department of Electrical Engineering, University of Chile, Avenue Tupper 2007, Santiago de Chile 8370451, Chile

²Advanced Mining Technology Center, Avenue Tupper 2007, Santiago de Chile 8370451, Chile

Received 26 September 2013; Accepted 2 December 2013

Academic Editors: A. Atangana, S. C. O. Noutchie, and S. S. Ray

Copyright © 2013 Manuel A. Duarte-Mermoud et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

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.

1. 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.

2. Preliminaries

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

Definition 1 (Riemann-Liouville fractional integral [1]). The Riemann-Liouville fractional integral defined on a finite interval of the half-axis 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 on the half-axis is defined as follows:

with , .

3. 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.

3.1. The Main Lemma

Lemma 3. Let be a uniformly continuous function, . If there exists some such that

then

Proof. Let . Then there exists an infinite unbounded sequence and such that

Since is a uniformly continuous function, then for all an associated interval , , exists such that

And using properties of the absolute value results, one has

Using (5) and (6) in (7) yields

The fractional integral of the absolute value of (Definition 1) over the interval can be decomposed as

Given that for all results in

Then using (8) in (10) yields

Given that the sequence is infinite, expression (11) contradicts the assumption that .

The following corollary can be useful when the existence of the limit of the fractional integral cannot be directly proved.

Corollary 4. Let be a uniformly continuous function, . If there exists some such that

where and according to [11], then

Proof. Given that and the fact that imply that . Then using Lemma 3 the conclusion is straightforward.

3.2. Some Examples

There are many functions which converge to zero and their fractional integral for some converges to zero. Some examples are presented below.

Example 1. Let , . In this case, , and according to Kilbas et al. [1], the fractional integral results in

It can be seen from (14) that using some results in , which is consistent with the result in Lemma 3.

Example 2. Let . In this case, . There is no property which directly states the fractional integral of the function , but it can be stated that

Based on (15) and according to [12] it can be concluded that

From Example 1 it is known that using some results in . Consequently, from (16) it can be concluded that , which is consistent with the result in Lemma 3.

3.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 , and can be measured for all , and is a constant vector in [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 estimate of is used to generate an estimated output signal . Defining and , the error equation obtained is

The purpose here is determining a rule for adjusting (or equivalently ) 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 by

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 .

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 .

Simulation studies suggest that, for the Fractional Error Model 1 (20), it holds that . In that sense, Lemma 3 can be considered as a potential tool for proving the convergence of the error to zero in Fractional Error Model 1 (20), if it could be analytically proved that .

4. Conclusions

A sufficient condition on the fractional integral of a uniformly continuous function so that converges to zero has been presented in this paper. The result presented is valid for . 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.

Acknowledgments

This work has been supported by CONICYT-Chile, under the grants FB009 “Advanced Mining Technology Center” and FONDECYT 1120453, “Improvements of Adaptive Systems Performance by using Fractional Order Observers and Particle Swarm Optimization”.

References

A. Kilbas, H. Srivastava, and J. Trujillo, Theory and Applications of Fractional Differential Equations, Elsevier, 2006.

J. Sabatier, M. Aoun, A. Oustaloup, G. Grégoire, F. Ragot, and P. Roy, “Fractional system identification for lead acid battery state of charge estimation,” Signal Processing, vol. 86, no. 10, pp. 2645–2657, 2006.

J.-D. Gabano and T. Poinot, “Fractional modelling and identification of thermal systems,” Signal Processing, vol. 91, no. 3, pp. 531–541, 2011.

J. Lin, T. Poinot, J. C. Trigeassou, H. Kabbaj, and J. Faucher, “Modélisation et identification d'ordre non entier d'une machine asynchrone,” in Conférence Internationale Francophone d'Automatique, 2000.

A. Atangana and N. Bildik, “The use of fractional order derivative to predict the groundwater flow,” Mathematical Problems in Engineering, vol. 2013, Article ID 543026, 9 pages, 2013.

Y. Li, Y. Chen, and I. Podlubny, “Stability of fractional-order nonlinear dynamic systems: Lyapunov direct method and generalized Mittag-Leffler stability,” Computers & Mathematics with Applications, vol. 59, no. 5, pp. 1810–1821, 2010.

V. M. Popov, Hyperstability of Control Systems, Springer, 1973.

K. S. Narendra and A. M. Annaswamy, Stable Adaptive Systems, Dover, 2005.

P. Ioannou and B. Fidan, Adaptive Control Tutorial, SIAM, 2006.

A. Atangana and A. Secer, “A note on fractional order derivatives and table of fractional derivatives of some special functions,” Abstract and Applied Analysis, vol. 2013, Article ID 279681, 8 pages, 2013.

K. S. Narendra, A. M. Annaswamy, and R. P. Singh, “A general approach to the stability analysis of adaptive systems,” International Journal of Control, vol. 41, no. 1, pp. 193–216, 1985.

G.-S. Chen, “Mean value theorems for local fractional integrals on fractal space,” Advances in Mechanical Engineering and Its Applications, vol. 1, pp. 5–8, 2012.

M. A. Duarte-Mermoud and N. Aguila-Camacho, “Some useful results in fractional adaptive control,” in Proceedings of the 16th Yale Workshop on Adaptive and Learning Systems, K. Narendra, Ed., pp. 51–56, 2013.

M. A. Duarte-Mermoud and N. Aguila-Camacho, “Fractional order adaptive control of simple systems,” in Proceedings of the 15th Yale Workshop on Adaptive and Learning Systems, K. Narendra, Ed., pp. 57–62, 2011.