Short communicationCommutative and associative properties of the Caputo fractional derivative and its generalizing convolution operator
Introduction
Fractional integrals and derivatives, which generalize the classical integer-order counterparts, have been introduced and widely used, over the last decades, in order to take into account memory effects in many real phenomena. The applications of fractional differential equations range over many areas of science including physics, engineering, hydrology and finance, among others. One of the most widely used fractional derivatives was introduced by Caputo in 1967 and defined as follows (see [3]). Let for and such that a < b, be a function with continuous derivatives up to order m on [a, b] and such that (where AC[ · ] is the space of absolutely continuous functions). We will denote, for for Then, we define, for f ∈ ACm[a, b] and where ⌊ · ⌋ denotes the integer part (or floor function). For general reference on the Caputo derivative and its properties, see [11], [22] and [1].
Since its introduction, the Caputo derivative has been studied and applied by many authors: see, among others, [5], [15] for the first rheological applications [4], [17], [18]; for the main physical applications; [2], [16], [19], [20], [21] for some stochastic applications.
It is well-known that its success is mainly due to the fact that initial value problems with Caputo fractional derivatives involves initial conditions with standard derivatives, instead of fractional ones, as happens when using the Riemann-Liouville definition. These conditions have clear physical interpretation, when modelling viscoelastic materials in mechanics, in terms of initial position, velocity, acceleration and so on (see e.g. [10]).
While for the integer-order derivatives, the commutative and associative (or semigroup) properties hold, the same is not true, in general, for the fractional derivatives. For details on the Riemann-Liouville case, see, for example, [11], p.83. In the Caputo case, we show here that when f(t) is a polynomial or, in general, an analytic function, the operator defined in Eq. (1) has both the commutative and the semigroup properties, at least when the fractional indices are less than one. For the sake of simplicity, we will consider the case and denote We will prove that the following equalities holdfor α, β ∈ (0, 1], even when The previous results are proved under the additional assumption that the derivatives of order of the function f, evaluated in zero, increase at most as a power, for increasing n, i.e. |f(n)(0)| < Kn, for some constant K > 0. Clearly, this condition is much less restrictive than the usual hypothesis of being null (see Eq. (3) below).
Examples of analytic functions satisfying this assumption are the polynomials, as well as for any and . On the other hand, does not fulfill the hypothesis. For the trigonometric functions sine, cosine and tangent the assumption is satisfied, while it is not true for the cotangent (since the first derivative in zero diverges).
We start by recalling the following well-known results on the concatenation properties of two Caputo derivatives of different orders. It has been proved that, for and where given a function f ∈ ACm[0, T], thenunder the following assumption on the derivatives of f(see, e.g. [22], p.81). Moreover, the following useful result was presented in [6]: let f ∈ Ck[0, T], for some and let α, β > 0 be such that there exists some with l ≤ k; thenThe proof is based on the expression of the Caputo fractional derivative as where Jα is the Riemann-Liouville fractional integral (see [6], p. 56 for more details). Note that Eq. (4) does not require the condition Eq. (3) and holds for two fractional indices (instead of one integer and one fractional, as in Eq. (2)). On the contrary it holds under the restriction that β ∈ (0, 1) and that both α and are included between two successive integers. Thus, the commutative property does not follow from Eq. (4) when the last condition is not satisfied.
We propose here a different way of proving the commutative and semigroup properties, which does not require the existence of the Laplace transform and thus holds also for functions that are not of exponential order, i.e. such that |f(x)| < Cekx for some C, k > 0 and for any . Thus, for example, also the case for any and is included in our results.
Finally, we study the same properties for a generalization of the above fractional derivative, i.e. the Caputo-type convolution operator defined in [12] and [25]. For interesting analysis and applications of the general fractional calculus, see also [8] and [14]. Convolution-type operators, defined as integrals with memory kernels, have been treated recently by many authors: see, among the others, [24] and [7] for physical and stochastic applications. In this case, the existence of the Laplace transform is necessary and thus we restrict to the case of an exponential order function , for which we denote by the Laplace transform. In this more general setting (which includes the fractional, as particular case), we prove that the commutative property holds, while the associative property must be formulated accordingly.
Let us recall the definition of Bernstein function (see, for example, [23], p.21): a function is a Bernstein function if it is of class C∞, g(x) ≥ 0, for any x > 0, and such that for any and x > 0. It is well-known also that any Bernstein function g admits the following representationfor a, b ≥ 0 and where denotes a non-negative measure on such thatThe triplet is called the Lévy triplet of the Bernstein function g. Finally, we recall that, for any Bernstein function g, the ratio g(x)/x is completely monotone (i.e. it is positive, of class C∞ and such that and the following representation holds: where is the tail Lévy measure, under the assumption that it is absolutely continuous (see [23], p.24). We will consider here the case so that
We now define the Caputo-type convolution operator on the positive half-axes as followsfor in AC1[0, T] and such that |f(t)| < Cekt for some C, k > 0 and for any t (see [25], Def.2.4, for ). The definition given in Eq. (7) can easily be seen to coincide with that used in [13] (see Eq. (1), p.111), by applying the result of Prop.2.7 in [25]. Thus, we can conclude that the operator is the left inverse of the following generalized fractional integral operatorwhere ϰ( · ) is a completely monotone function linked to the Bernstein function g and to the tail Lévy measure ν by the following relationships, respectively:We have that if f is a locally bounded measurable function on (0, ∞), while if f is an absolutely continuous function on [0, ∞) (see Theorem 1 in [13], for details).
The Laplace transform of Dν is given by(see [25], Lemma 2.5). It is easy to check that, in the trivial case where the convolution-type derivative coincides with the standard first-order derivative. When for α ∈ (0, 1), this Bernstein function coincides with the Laplace exponent of an α -stable subordinator (i.e. of a non-decreasing Lévy process). In this case, the tail Lévy measure reduces to and thus Eq. (7) coincides with the fractional Caputo derivative of order α.
Section snippets
Properties of the Caputo derivative of analytic functions
Now we restrict ourselves to the case where is an analytic function; under this assumption, we prove the following preliminary result. Lemma 1 Let be an analytic function in AC[0, T] with power series expansion (i.e. an ≔ f(n)(0)/n!, for If f is such that, for any |f(n)(0)| < Kn, for some constant K > 0, then we have that Proof For α ∈ (0, 1], we can write
Properties of the Caputo-type convolution operator
We now analyze the commutative and associative properties of the Caputo-type convolution operator defined in (7). We remark that the proofs of the following results rely on the existence of the Laplace transform for the function f and thus we must add the condition that f is of exponential order. On the other hand, the hypothesis of being analytic is not necessary, in this general setting. Theorem 4 Let Dν be the operator defined in Eq.(7) and let be in AC1[0, T] and such that |f(t)| < Cekt for
CRediT authorship contribution statement
Luisa Beghin: Conceptualization, Methodology, Writing - original draft, Writing - review & editing. Michele Caputo: Conceptualization, Methodology, Writing - original draft, Writing - review & editing.
Declaration of Competing Interest
The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
References (25)
Linear and nonlinear inverse rheologies of rocks
Tectonophysics
(1986)General fractional calculus and Prabhakar’s theory
Commun Nonlinear Sci Numer Simul
(2020)- et al.
Correlation structure of fractional Pearson diffusions
Comp Math Appl
(2013) - et al.
Fractional calculus: models and numerical methods
(2012) Fractional poisson processes and related planar random motions
Electronic J Probab
(2009)Linear models of dissipation whose Q is almost frequency independent II
Geoph J R Astr Soc
(1967)Elasticità e dissipazione
(1969)The analysis of fractional differential equations: an application-Oriented exposition using differential operators of caputo type
(2010)- et al.
Time-changed ornstein–uhlenbeck process
J Phys A: Math Theor
(2015) - et al.
Mittag-Leffler functions, related topics and applications
(2014)
Fractional calculus: integral and differential equations of fractional order
Fractals and fractional calculus in continuum mechanics
Theory and applications of fractional differential equations
Proceedings of the North-Holland mathematics studies
Cited by (18)
On fractional spherically restricted hyperbolic diffusion random field
2024, Communications in Nonlinear Science and Numerical SimulationAnalysis of nonlinear compartmental model using a reliable method
2023, Mathematics and Computers in SimulationAll linear fractional derivatives with power functions’ convolution kernel and interpolation properties
2023, Chaos, Solitons and FractalsThe efficient fractional order based approach to analyze chemical reaction associated with pattern formation
2022, Chaos, Solitons and FractalsCitation Excerpt :Also, many researchers examine diverse models within the frame of this operator [26–28]. Due to evaluation of new fractional operators [29,30] and the existed theory [31,32], many young researchers started to apply the theory to diverse models to illustrate the impact [33–35]. Here, we recalled some essential basics.
Certain error bounds on the parameterized integral inequalities in the sense of fractal sets
2022, Chaos, Solitons and FractalsCitation Excerpt :The outcomes received here extend and develop previous inequalities in the literature. What we want to emphasize here is that the axioms of the local fractional calculus and the fractional calculus are widely utilized in applied mathematics, see the published literatures [4,5,48,49,52]. We hope that the methods and ideas provided in the article may inspire thoughtful readers to further explore new fractional integral inequalities and related applications.