1. Introduction
Starting from the paper [
1], a considerable interest in Fractional Calculus (FC) research has been devoted to the general fractional derivatives (GFD) of convolution type (see also [
2,
3]) defined in the Riemann–Liouville sense
and in the Caputo sense
The Riemann–Liouville and the Caputo fractional derivatives of order
are particular cases of the GFDs (
1) and (
2) with the kernel
They are defined as follows:
being the Riemann–Liouville fractional integral of order
:
Other particular cases of the GFDs (
1) and (
2) are the multi-term fractional derivatives and the fractional derivatives of the distributed order. They are generated by (
1) and (
2) with the kernels
respectively, where
is a Borel measure defined on the interval
.
One of the main issues addressed in [
1] is to clarify the conditions which allow an interpretation of the integro-differential operators (
2) as a kind of the fractional derivatives. In particular, these derivatives and the appropriate defined fractional integrals have to satisfy the fundamental theorem of FC (see [
4] for a discussion of this theorem). Moreover, the solutions to the time-fractional differential equations of certain types with the GFDs are expected to behave as the ones to the evolution equations. This includes the property of complete monotonicity of solutions to the relaxation equation and the positivity of the fundamental solution to the Cauchy problem for the fractional diffusion equation with the time-derivatives of this type. In [
1], a class of kernels of the GFD (
2) that satisfy the requirements formulated above is described in terms of their Laplace transforms.
In the meantime, some other results regarding the ordinary and partial time-fractional differential equations with the GFDs of Caputo type have been already derived. The ordinary fractional differential equations with the Caputo type GFDs are addressed in [
1,
5,
6,
7] and the time-fractional diffusion equations with these derivatives are considered in [
1,
3,
5,
8,
9,
10]. The publications in [
11,
12,
13] are devoted to the inverse problems for the GFDs and for the partial differential equations containing the general fractional integrals and derivatives.
In this paper, we address the general fractional integrals and derivatives with the Sonine kernels that possess an integrable singularity of power function type at the point zero. In particular, the
n-fold general fractional integrals and derivatives are constructed and studied for the first time. Even if we restrict ourselves to the mathematical notions, results, and proofs, the constructions presented in this paper are potentially useful for applications. They provide a wider scope for fitting the kernels of the fractional derivatives to the data available from the measurements. The optimal fitting of the GFDs kernels to the data at hand can be realised by solving the inverse problems for the models in form of the fractional differential equations with the GFDs (see, e.g., [
11,
12,
13] for some results of this kind). Moreover, nowadays, the multi-term fractional differential equations with the Caputo, Riemann–Liouville, or Hilfer fractional derivatives are actively employed for modelling of complex systems and processes with memory that possess different time scales. The multi-term fractional differential equations with the
n-fold GFDs is a far reaching generalisation of these models. These equations and their potential applications will be considered elsewhere.
The rest of the paper is organised as follows. In
Section 2, the basic spaces of functions that are employed for derivation of our main results are shortly discussed.
Section 3 addresses the Sonine condition and the Sonine kernels. We provide both some examples of the Sonine kernels and descriptions of several important classes of the Sonine kernels. In particular, we introduce a class of the Sonine kernels that possess an integrable singularity of power function type at the point zero. In
Section 4, the general fractional integrals (GFI) and derivatives with the Sonine kernels from this class are introduced and studied on the spaces of functions that can have an integrable singularity at the point zero. The first and second fundamental theorems of FC for the GFDs are proved on the appropriate spaces of functions. Moreover, the
n-fold general fractional integrals and derivatives that correspond to the Riemann–Liouville and Caputo derivatives of an arbitrary order are constructed and their basic properties are studied.
2. Preliminaries
In this section, we introduce the spaces of functions that are used in the further discussions and present their main properties.
Definition 1. By , we denote the space of functions continuous on the positive real semi-axis that can have an integrable singularity of a power function type at the point zero: A family of the spaces
was first introduced by [
14] for construction of an operational calculus for the hyper-Bessel differential operator and then employed for the operational calculi for the fractional derivatives in [
15,
16,
17,
18,
19] and other related publications.
Using the well-known properties of the Laplace convolution
the following theorem can be easily proved:
Theorem 1 ([
20])
. The triple with the usual addition + and multiplication ∗ in the form of the Laplace convolution (10) is a commutative ring without divisors of zero. In particular, let us mention that the integration operator
can be interpreted as a multiplication in the ring
. In the representation (
11), by
, we denote the function that is identically equal to 1 on
.
Because of the inclusion
and because a sum and a convolution of any two continuous functions are again continuous functions, we have the inclusion
In the next sections, the sub-spaces of the space are also used. They are defined as follows: A function , is said to belong to the space if and only if .
The spaces
were first introduced and studied by [
20]. Here, we only present some relevant properties of these spaces (for the proofs, see [
20]).
Theorem 2 ([
20])
. For the family of the spaces , the following statements hold true:- (1)
.
- (2)
is a vector space over the field (or ).
- (3)
If with , then , and the functionbelongs to the space . - (4)
If with , then .
- (5)
For , the following representation holds true: - (6)
Let , and . Then, the Laplace convolution belongs to the space and .
Theorem 2 ensures that the triples are sub-rings of the basic ring .
In the rest of this section, we list some examples of the functions from the space and the formulas for their multiplication in the ring (Laplace convolution).
We start with the important power functions (see (
3) for their definition):
For
, the functions
, and
all belong to the space
. Formula (
13) is an easy consequence from the well-known representation of the Euler Beta-function in terms of the Gamma-function:
The same formula can be applied to verify a more general relation
where the function
is given by the expression
Because
is a ring, we can define the integer order convolution powers of a function
as follows:
For example, by repeatedly applying Formula (
13), we get the representation
In particular, we mention the well-known formula
3. The Sonine Kernels
In the short notices [
21] published in 1884, Sonine addressed a generalisation of the Abel integral equation and applied Abel’s method for its analytical solution. He recognised that the most essential ingredient of Abel’s solution is the formula
that is a particular case of (
13). Note that, for
, the inclusions
and
are valid.
As a generalisation of (
19), Sonine suggested to consider the functions
and
k that satisfy the relation
Nowadays, such functions are called the Sonine kernels and the relation (
20) is called the Sonine condition. For a Sonine kernel
, the kernel
k that satisfies the Sonine condition (
20) is called a dual or associate kernel to
. Of course,
is then an associated kernel to
k. In what follows, we denote the set of the Sonine kernels by
.
Evidently, not all functions defined on are a Sonine kernel. For example, the constant function does not possess any associate kernel. The problem of analytical description of the set of the Sonine kernels is still not completely solved. However, several important classes of the Sonine kernels have been introduced in the literature and in this section some relevant results are shortly presented.
In [
21], Sonine addressed the case of the kernels that can be represented in the form
where the function
is analytical on
. He showed that such functions are always the Sonine kernels and their (unique) associate kernels can be represented as follows:
The coefficients
are uniquely determined by the coefficients
as solutions to the following triangular system of linear equations:
In [
21], some examples of the kernels from
in the form (
21) and (
22) were derived including the prominent pair
where
are the Bessel and modified Bessel functions, respectively.
Another example of this type is the following pair of the Sonine kernels [
22]:
where the function
is defined by the formula (
15).
In [
23], the condition of analyticity of the function
from (
21) is replaced by a weaker condition that the series for
has a finite convergence radius
. Then, the function
defined by (
21) is still a Sonine kernel and its unique associate kernel is given by (
22), where the series for
has the same convergence radius
r.
Of course, the class
of the Sonine kernels is not restricted to the functions in form (
21) and includes, for instance, some functions with the power-logarithmic singularities at the origin [
24,
25].
A completely different approach for description of the Sonine kernels was suggested by [
1], who established a connection between the complete Bernstein functions and the Sonine kernels. More precisely, they showed that any function
that satisfies Conditions (K1)–(K4) listed below is a Sonine kernel.
- (K1)
The Laplace transform
of
k,
exists for all
.
- (K2)
is a Stieltjes function (see, e.g., [
26] for definition and properties of the Stieltjes functions).
- (K3)
and as .
- (K4)
and as .
In what follows, we denote the set of the kernels that satisfy Conditions (K1)–(K4) by
. As mentioned above,
. Moreover, the solutions to the fractional differential equations with the GFDs of type (
2) with the kernels
behave as the ones to the evolution equations [
1]. In particular, the unique solution to the Cauchy problem for the fractional relaxation equation with a positive initial condition is complete monotone and the fundamental solution to the Cauchy problem for the fractional diffusion equation with the time-derivative of this type can be interpreted as a probability density function.
The Sonine kernels from
are introduced in terms of their Laplace transforms and using the Sonine condition (
20) in the Laplace domain. Providing the Laplace transforms
of the functions
and
k exist, the convolution theorem for the Laplace transform leads to the equation
for the Laplace transforms of the Sonine kernels
and
k. However, the Laplace transforms of the Sonine kernels do not always exist. One can easily construct such kernels based on the Sonine Formula (
21) with the analytical functions
that grow more quickly than any exponential function
as
. One of the examples of this sort is the Sonine kernel
In [
2], an important class of the Sonine kernels is introduced in terms of the completely monotone functions. Namely, it is shown there that any singular (unbounded in a neighborhood of the point zero) locally integrable completely monotone function is a Sonine kernel. We denote this class of the Sonine kernels by
(
). Moreover, if
, then its associate kernel
k also does belong to
. A typical example of a pair of the Sonine kernels from
is as follows [
2]:
where
stands for the two-parameters Mittag–Leffler function that is defined by the following convergent series:
To prove this, the well-known Laplace transform formula
for the two-parameters Mittag–Leffler function is applied along with Formula (
28) and the known fact that the function (
30) is a singular locally integrable completely monotone function [
26].
As mentioned in [
25] (see also [
2]), any Sonine kernel possesses an integrable singularity at the point zero. On the other hand, the kernels of the fractional integrals and derivatives should be singular [
27]. Thus, the fractional integrals and derivatives with the Sonine kernels are worth being investigated.
In the next section, we deal with the general fractional integrals and derivatives with the Sonine kernels that belong to the space
. Because the Sonine kernels have an integrable singularity at the point zero, we restrict ourselves to the corresponding sub-space of
:
Definition 2. Let be a pair of the Sonine kernels, i.e., the Sonine condition (20) be fulfilled. The set of such Sonine kernels is denoted by : Because the ring
is divisors free (Theorem 1), for any Sonine kernel from
, its associate kernel is unique. It is also worth mentioning that the kernels of the conventional time-fractional derivatives and integrals introduced so far do belong to the set
and thus the constructions presented in the next section are applicable for both the known and many new FC operators. In particular, all examples of the Sonine kernels provided in this section including the general kernels (
21) and (
22) introduced by Sonine in his original publication [
21] are from the set
.
4. Fractional Integrals and Derivatives with the Sonine Kernels
In this section, we address the GFIs and the GFDs with the Sonine kernels from
on the spaces of functions
discussed in
Section 2 and on their sub-spaces.
Definition 3. Let . The GFI with the kernel κ is defined by the formula The GFI (
35) with the kernel
is the Riemann–Liouville fractional integral (
6):
For the Riemann–Liouville fractional integral, the relations
hold true. Combining the Formulas (
36) and (
37), it is natural to define the GFIs with the kernels
and
(that do not belong to the set
) as follows:
In the definition (
38), the function
is interpreted as a kind of the
-function that plays the role of a unity with respect to multiplication in form of the Laplace convolution. In particular, one could extend Formula (
19) valid for
in the usual sense to the case
that has to be understand in the sense of generalised functions:
Using the known Sonine kernels, many other particular cases of the GFI (
35) can be constructed. Here, we mention just a few of them:
with the Sonine kernel
defined by (
30),
with the Sonine kernel
defined by (
25), and
with the Sonine kernel
defined by (
24).
Regarding the properties of the GFI (
35) on the space
, they can be easily derived from the known properties of the Laplace convolution and Theorem 2. In particular, in what follows, we need the mapping property
the commutativity law
and the index law
that are valid on the space
.
Definition 4. Let and k be its associate Sonine kernel.
The GFDs of the Riemann–Liouville and the Caputo types associate to the GFI (35) are defined as follows (see (1) and (2)): It is easy to see that the GFD (
47) in the Caputo sense can be represented as a regularised GFD (
46) in the Riemann–Liouville sense:
In this paper, we mainly deal with the GFDs in form (
47) on the spaces
and their sub-spaces. For the functions from
, Theorem 2 and the known formula for differentiation of the integrals depending on parameters lead to an important representation of the GDF (
46):
Thus, for
, the GFD (
47) can be rewritten in the form
It was known already to Sonine that the operators of type (
46) are left inverse to the GFI (
35). However, he provided just a formal derivation that needs a justification for the given sets of the kernels and the spaces of functions. In our case, we do this in the following theorem (see [
1] for the case of the GFDs with the kernels
and [
2] for the case
).
Theorem 3 (First Fundamental Theorem for the GFD). Let and k be its associate Sonine kernel.
Then, the GFD (46) is a left inverse operator to the GFI (35) on the space :and the GFD (47) is a left inverse operator to the GFI (35) on the space :where . Proof. The proof of Formula (
51) follows the lines of the Sonine derivations:
Because and , the validity of the formulas in the chain of the equations above is justified by Theorem 2.
To prove Formula (
52), we first show that any function
f from the space
satisfies the properties
Indeed, the following chain of implications holds true (
):
To prove that
, we use the representation from the previous formula and estimate the function
on the interval
(
):
Because the function
is continuous on
(Theorem 2), this estimate immediately leads to the desired result:
Now, we employ Formula (
51) that is already proved above (evidently,
) and finalise the proof:
□
Remark 1. In the proof of Theorem 3, we show the implication The inverse implication holds true, too: Indeed, implicates the inclusion . Integrating this formula, we arrive at the representationbecause . Then, we multiply the last relation by k: Differentiation of the relation leads to the representation , .
It is worth mentioning that this characterisation of the space is a generalisation of the known property of the spaces of functions employed while treating the Abel integral equation (Theorem 2.3 in [28])to the case of the GFI with the Sonine kernel . Now, we provide the explicit formulas for the GFDs
that correspond to the particular cases (
36) and (
40)–(
42) of the GFI (
35). To make the formulas more compact, we employ the representation (
50). However, these formulas with the evident modifications are also valid for the GFDs in form (
47).
The Sonine kernel associate to the kernel
is
, and thus the GFD in form (
50) associate to the Riemann–Liouville integral (
6) is the Caputo derivative
In Formula (
38), the Riemann–Liouville fractional integral is defined for
and
that corresponds to the kernels
and
. The convolution Formula (
39) suggests the following natural definition of the GFD with the kernels
and
, respectively:
Of course, to justify the definitions (
55), the suitable subsets of the GFD domain should be introduced, where the formulas
are valid in some sense (see [
29] for a description of these and other properties that the fractional derivatives and integrals should possess). This will be done elsewhere.
The GFD that corresponds to the GFI (
40) has the Mittag–Leffler function (
31) in the kernel:
The Sonine kernel associate to the kernel
is given by Formula (
26) and thus the GFD associate to the GFI (
41) has the form
Finally, the GFD that corresponds to the GFI (
42) takes the form (see the Sonine pair (
24)):
Now, we proceed with the 2nd fundamental theorem of FC for the GFDs in the Riemann–Liouville and Caputo senses (see [
1] for the case of the GFDs with the kernels
and [
2] for the case
).
Theorem 4 (Second Fundamental Theorem for the GFD). Let and k be its associate Sonine kernel.
Then, the relationshold valid for the functions . Proof. As shown at the beginning of this section, for the functions
, the GFD
can be represented in form (
50). Moreover, the functions from
are continuous on
(Theorem 2) and
. Then, we have the following chain of equations:
For the GFD in the Riemann–Liouville sense, we first employ Formula (
49) and then proceed as follows:
□
In the rest of this section, we consider the compositions of the GFIs and construct the suitable fractional derivatives in the sense of the 1st Fundamental Theorem of FC.
Definition 5. Let . The n-fold GFI () is defined as a composition of n GFIs with the kernel κ: It is worth mentioning that the kernel
is from the space
, but it is not always a Sonine kernel. For example, in the case of the Riemann–Liouville fractional integral
, the operator (
62) is the Riemann–Liouville fractional integral of the order
. Its kernel is
that is a Sonine kernel only in the case
. However, the operator
is considered to be a fractional integral for any
, i.e., also in the case when its kernel
is not a Sonine kernel and not singular at the point zero. The common justification for this actual situation is that one can define an appropriate fractional derivative, the Riemann–Liouville fractional derivative, that is connected to the Riemann–Liouville fractional integral through the first and second fundamental theorems of FC. In the rest of this section, we introduce an analogous construction for the GFI (
35).
Definition 6. Let and k be its associate Sonine kernel. The n-fold GFD () in the Riemann–Liouville sense is defined as follows: The
n-fold GFD is a generalisation of the Riemann–Liouville fractional derivative of an arbitrary order
to the case of the general Sonine kernels. For example, for the Sonine kernels pair
, the two-fold GFD (
63) has the kernel
and thus it can be represented in terms of the Riemann–Liouville fractional derivative:
Definition 6 of the the
n-fold GFD immediately implicates the following recurrent formula:
This formula connects the
n-fold GFD with the
-fold GFD and is useful for extension of some results derived for the GFD (
46) to the case of the
n-fold GFD (
63). As an example, we generalise the representation (
49) of the GFD (
46) to the case of the
n-fold GFD (
63).
Theorem 5. Let and k be its associate Sonine kernel.
Then, the representationholds true for any function . Proof. We start with a proof of Formula (
66) in the case
. The inclusion
implies that
(Theorem 2) and
. For
, we immediately get the relations (see the proof of Theorem 3 for derivation of a similar formula)
Then, we employ the recurrent Formula (
65) and the representation (
49) for the GFD (
46) and arrive at the following chain of equations:
The proof of Formula (
66) for
is curried out by employing the method of the mathematical induction and using the recurrent Formula (
65) and the same technique we employed for the proof in the case
based on the formula for
. □
As in the case of the GFD (
46), the representation (
66) is used to define a Caputo type
n-fold GFD.
Definition 7. Let and k be its associate Sonine kernel. The n-fold GFD () in the Caputo sense is defined as follows: Simple calculations show that the
n-fold Caputo type GFD (
67) can be also represented as a regularised
n-fold GFD in the Riemann–Liouville sense:
According to Theorem 5, on the space
, the
n-fold GFD
takes the following simple form:
As in the case of the Caputo fractional derivative (
5), the
n-fold GFD in the form (
67) makes sense also for the functions that are not
n-times differentiable (e.g., for the functions from the space
). However, the representation of type (
69) for the Caputo fractional derivative is very convenient and thus widely used.
The denotation “
n-fold GFD” is justified by the fact that the
n-fold GFDs both in the Riemann–Liouville and in the Caputo senses are left inverse operators to the
n-fold GFI (
62).
Theorem 6 (First Fundamental Theorem for the n-fold GFD). Let and k be its associate Sonine kernel.
Then, the n-fold GFD (63) is a left inverse operator to the n-fold GFI (62) on the space :and the GFD (67) is a left inverse operator to the n-fold GFI (62) on the space : Proof. The proof of Formula (
70) repeats the arguments employed for the proof of Theorem 3 (the case
):
For a function
, we show that
Indeed, these properties immediately follow from the representation
:
Then, we employ Formula (
70) and arrive at the final result:
□
Remark 2. The same arguments and derivations that we employ in Remark 1 for the space are applicable for the space As a result, this space can be also characterised as follows: Finally, we formulate and prove the second fundamental theorem for the n-fold GFDs in the Caputo sense.
Theorem 7 (Second Fundamental Theorem for the n-fold GFD). Let and k be its associate Sonine kernel.
Then, the relationholds true for any function . Proof. For the functions
, the GFD
can be represented in the form (
69). Moreover, according to Theorem 2, the inclusion
implies the inclusion
. Then, we have the following chain of equations:
□
For the
n-fold GFD in the Riemann–Liouville sense, under appropriate conditions on its kernel
k, we get the formula
In particular, if the conditions
are satisfied, then Formula (
74) holds true:
Evidently, the conditions (
75) are fulfilled, for instance, in the case
(Theorem 4) and for the kernel
of the Riemann–Liouville fractional derivative (
4) and then Formula (
74) is valid for
.
5. Conclusions
Starting from the publication [
1], a considerable interest in FC has been devoted to the fractional integrals and derivatives with the general kernels. Because the GFDs are the left-inverse operators to the corresponding GFIs (they have to satisfy the first fundamental theorem of FC), their kernels cannot be arbitrary. As shown in [
27], a necessary condition that these kernels have to fulfil is their singularity at the point zero. In [
2], the Sonine condition was introduced as a sufficient condition for the kernels of the GFIs and GFDs that satisfy the first fundamental theorem of FC. Because the Sonine kernels are singular at the point zero, they satisfy the necessary condition formulated in [
27]. Thus, the operators with the Sonine kernels are of particular interest in the framework of FC. In [
1,
2], the GFIs and GFDs with the Sonine kernels from the sets
and
(see
Section 3), respectively, are considered.
In this paper, we introduce and study the GFIs and GFDs with the Sonine kernels from an essentially larger set compared to
and
, namely from the set
(see
Section 3 for its definition). The kernels from
are continuous functions that possess integrable singularities of the power function type at the point zero. Some basic properties of the GFIs and GFDs including the first and second fundamental theorems of FC are deduced on the spaces of functions with an integrable singularity at the point zero. These spaces are very natural while studying the GFIs and GFDs with the Sonine kernels from
.
The GFDs treated so far are generalisations of the Riemann–Liouville and the Caputo fractional derivatives of the order restricted to the interval . In this paper, we introduce the n-fold GFDs that can be considered as generalisations of the Riemann–Liouville and the Caputo fractional derivatives of an arbitrary positive order . For these operators, the first and second fundamental theorems of FC as well as some other properties are formulated and proved.
In this paper, we focus on the mathematical properties of the GFIs and GFDs with the Sonine kernels from . However, these operators are also potentially useful for applications. One of the main problems in applications of the FC operators and the fractional differential equations is to decide which kind of the fractional derivatives should be chosen by “fractionalisation” of the conventional models containing the differential operators. The models with the GFDs with the Sonine kernels from provide a wider scope for fitting the data available from the measurements compared to the models with the conventional fractional derivatives. Moreover, up to now, the fractional differential equations with a single GFD have been considered in the literature. The n-fold GFDs introduced in this paper open a way for formulation of the models in form of the multi-term fractional differential equations with several GFDs. These equations are a far reaching generalisation of the multi-term fractional differential equations with the Riemann–Liouville or Caputo fractional derivatives that are actively employed for modelling of the multi-scale processes. These equations and their potential applications will be considered elsewhere.