1. Introduction
1.1. Short Historic and Bibliographic Overview
The basic goal of fractional calculus is to derive a formula that, for a given operator L and a range of parameters , will produce a set of operators endowed with characteristics typical of powers. Specifically, should align with the conventional iterated power (n times) when is a positive integer n, and the law of indices should be applicable whenever , , and exist.
It is widely recognized that there are several methods available for defining fractional powers of
, which correspond to fractional derivatives and integrals (see, for example, [
1,
2,
3]). Besides, there are multiple techniques available for the creation of operator families
, with each technique being suitable for a distinct category of operators. For instance, several researchers such as Balakrishnan [
7], Krasnoselski [
8], Komatsu [
9], Westphal [
10], and Yosida [
11] have explored the challenge of formulating an expression for
in scenarios where
L represents a closed operator within a Banach space.
The Riemann-Stieltjes integral
extends the concept of the Riemann integral by allowing integration with respect to a more general class of functions called Stieltjes integrators
F. The simplest existence theorem states that if
f is continuous and
F is of bounded variation on
, then the Riemann-Stieltjes integral exists. The corresponding to (
1) differential operator is
. The Riemann-Stieltjes integral has various applications in Probability Theory, Control Theory, Finance and Economics, Signal Processing, Function Approximation, etc.
Let us consider the approach to the conception of fractional integrals and derivatives of a function f with respect to another function F.
In [
4,
5,
6] for the space
of continuous functions on
with the topology of the uniform convergence and for a positive and continuous function
in
,
the operator
where
,
,
was studied. This operator is realised as a negative fractional power of
on
:
Let
F be a strictly increasing function having a continuous derivative. Practically the same definition as (
2) was given in [
1], p. 326, formula 18.25 in the form
The fractional derivative of a function
f with respect to another function
F is defined for
as
When
we can also consider the Marchaud fractional derivative of order
Formulas (
3)-(
4) are valid only when
is a strictly increasing function. But in applications function
F can be not monotone and even discrete. Applications of a signed measure in differential equations were considered in [
12]. Probabilistic interpretation of a signed measure can be found in [
13]. Integrals of a function with respect to a signed measure are used in stochastics to model and analyze complex systems, such as financial markets where both positive and negative quantities exist (see [
14]).
In this study, we will concentrate on constructing the fractional power of the Riemann–Stieltjes integral, expressed as (
1), where function
is continuous and has a bounded variation on
. We will use formulas of U. Westphal and semi-group theory.
It is worth mentioning that there exist different concepts of the general fractional calculus operators defined in a completely different form compared to those mentioned above. In particular, we refer to [
2], where general fractional calculus considered with probabilistic applications and to [
15,
16,
17,
18,
19,
20].
1.2. Preliminaries: Powers Based on Semigroups
In this article we explore a convenient method for constructing the fractional power of an operator using semigroups. Such approach was carried out by U. Westphal in [
10], see also [
3].
Let , be a contraction semi-group in a real or complex Banach space X, and A be its infinitesimal generator.
In [
10] the fractional power
,
was defined by the formula
In the case
,
this formula can be written with the usage of "finite differences"
:
where
,
The negative power of the operator
for
can be defined by the equation
In order to get fractional integral of the order
greater than 1 one can just apply iterated integral to (
8).
Example 1. If the operator , then A is the generating operator of the strongly continuous semigroup on .
Easy calculations confirm that
is a finite difference. So for
,
not an integer,
, we can write
Therefore,
represents the Marchaud fractional derivatives (see [
1], p. 111).
For
, the negative power of the operator
can be defined by equality (
8)
So we obtain fractional Riemann–Liouville integral on the whole real axis (see formula (5.2) from [
1], p. 94).
If we want to get fractional Riemann–Liouville integral on half-axis (see formula (5.1) from [
1], p. 94)
we should take
for such functions that
.
1.3. Detailed Content
The rest of the article is organised as follows. In the second section, the focus is on integral operators of the form and their inverse operators (derivatives) . We provide examples of semigroups based on integral operators with power measure and with cosine measure.
The third section describes a mathematical result related to the construction of an operator semigroup based on , where is continuous of locally finite variation and such that for a discrete set , , with or , F is strictly increasing on and strictly decreasing on for all k. In this section we also present examples and corollaries related to fractional powers of operators, including their probabilistic representations.
The fourth section presents new fractional operators, focusing on examples of fractional powers of integral operators with signed measures. It presents calculations for fractional powers of specific integral operators, such as and , and their corresponding Feller processes. The text also explores fractional powers of differential operators with partial derivatives and discusses applications in defining fractional Poisson and Heisenberg brackets in classical and quantum mechanics.
2. Simple Examples of Semigroups Based on Integral Operators with Signed Measures
Let us consider an integral operator
ans its inverse operator (derivative)
In order to define fractional powers of
and
using formulas (
6)–(
8) we need to build the semigroup
generated by
, and it must be a contraction semigroup.
If
g is strictly positive, then
is as well. The group (even group, not just semigroup)
generated by
G has explicit representation (solution of first order linear pde via characteristics):
where
is the solution of the ode
with initial condition
x at
a.
Now, interesting thing occurs when
g changes sign and
G gets infinite values. On the first sight one may think that everything breaks down, but remarkably it is not. The group may be still well defined. Assume that zeros of
g are discrete and degenerate in the sense that
does not vanish there. Then the dynamics
moves from any
monotonically to the nearest zero of
g, where
is negative (by assumed nondegeneracy it always takes finite time to reach this point) and then stays there for ever after. Well defined contraction semigroup and formulas (
6)–(
8) applies.
Consider some examples.
Example 2. Integral operator
with an odd integer
k has an inverse operator (derivative)
To calculate the semigroup via characteristics one has to solve the ODE
where
is an initial point. We obtain that the semigroup
is given by
This semigroup is Feller (strongly continuous) in
with the domain of the generator consisting of continuously differentiable functions from
s.t.
for
and a finite limit
exists.
Example 3. Integral operator
has an inverse operator (derivative)
In order to calculate the semigroup via characteristics one has to solve the ODE
Due to the periodicity of the sine, solutions preserve the intervals
,
. The solution starting at
is
The semigroup
is Feller on each interval
given by
3. Main Result. General Semigroup Operator
Let us consider the integral
with some
. Assume that
F is continuous of locally finite variation and such that for a discrete set
,
,
with
or
,
F is strictly increasing on
and strictly decreasing on
for all
k. Let
S is some appropriate function. Then the inverse differential operator solving equation
is given by the formula
which holds for any continuous
G and all points
x. By our assumptions on
F, the derivative
exists and does not vanish for almost all points
x. For these points,
Theorem 1.
Under the assumptions on F given above, the operator L generates a strongly continuous semigroup on the set of functions that are continuous away from the set with left and right limits at these points. The semigroup has invariant spaces , where it acts by the formula
Remark. Let us stress for clarity that denote the inverse functions to , which are well defined and continuous on , due to the assumed continuity and strong monotonicity of F on these intervals.
Proof. In order to see, where formula (
10) comes from, let us look at
and assume that
is well defined and positive for all
. To shorten formulas, let us assume
. Observe then that the action of the semigroup
, generated by
L, on a function
is given by the solution of the linear first order partial differential equation
Solution to this Cauchy problem can be defined via characteristics, which solve the equation
Namely, denoting
the solution to this equation starting from a point
x, we will have
Solving the equation
yields
, or
. Thus
yielding for
the first line of (
10). The specific feature of our problem is that this holds only for finite times
. For
and thus
, the equation
is not defined at all, since
either does not exist or equals to zero. It is then natural to define
for
, because the point
is stable in the sense that the vector field
points towards this point both from the right and from the left. For
, where the equation is also not defined, the formula for
is obtained by continuity having in mind that this point is repulsive for characteristic equation. And (
10) follows.
Now, once formula (
10) is obtained (by whatever heuristical reasons and with whatever simplifying assumptions), it is straightforward to see that it does specify a strongly continuous semigroup under the assumptions of the theorem. One just has to show that whenever the generator is defined, it is given by (
9). And this is mostly straightforward. In fact, from (
9),
Let us denote
. By the continuity of
F,
as
. Moreover,
. Hence
which is the defining formula for the generator of
. The proof is complete. □
Example 4. Let
and
such that
. Then
,
,
and the semi-group constructed by (
10) is
Corollary 1. Under the assumptions of the theorem
is well defined with
given by (
10). The corresponding fractional integrals
are well defined for functions
that vanish at the points
for all
k.
Corollary 2. The fractional powers
are seen to be given in the Lévy-Khintchine form, so that they generate Feller semigroups and Feller processes, say
. Therefore the potential operators
can be expressed in probabilistic representation as path integrals
where
is the time the process
reaches one of the points
.
4. New Fractional Operators
In this section we consider some examples of fractional powers.
4.1. Examples of Fractional Powers of Integral Operators with Signed Measures
Example 6. Using semi-group from Example 2 and formula (
6) we get that the fractional power
of
with an odd integer
k and with inverse sign is
This is clearly the generator of a Feller process, say
, whose potential operator
is calculated via the semigroup and represents the fractional integral. Namely,
, the analog of Riemann-Liouville fractional integral is defined for continuous functions vanishing at zero as
where
is the time the process
reaches zero.
Formula (
8) we can use only if
, then applying (
8) we get for
Remark. If
putting
in (
11) and (
12) we get
and
that are the Erdélyi–Kober derivative in the Marchaud form and (
3) for
,
, respectivy.
Example 7. Using semi-group from Example 3 and formula (
6) the fractional power of
with inverse sign is given for
by
for
and symmetrically for
.
This is clearly the generator of a Feller process, say
, whose potential operator
is calculated via the semigroup and represents the fractional integral. Namely,
, the analog of Riemann-Liouville fractional integral is defined for functions
vanishing at
as
where
is the time the process
reaches
.
Example 8. Let us consider an integral operator
and its inverse operator (derivative)
where
is from Example 4. Let
, then by (
6) we get
For
,
plots of
are presented in
Figure 1.
4.2. Fractional Powers of Differential Operators with Partial Derivatives
In the remaining brief comments of the paper we like to demonstrate that the semigroup method used above for integrals with signed can be effectively and easily applied in many other situations.
For instance, let us look at differential operators of first order with partial derivatives:
with
g Lipschitz. Let
denote the solution of the equation
starting from
x at time zero. Then
L generates a conservative Feller semigroup in
:
The power of this operator can be written in the form
for Lipschitz (sufficiently Holder)
f. This operator (with inverse sign) also generates a Feller semigroup in
. The corresponding fractional integral (potential operator of the semigroup) is
Operator
can be define for functions
f supported on some domain
such that
exits
in finite time.
4.3. Fractional Poisson and Heisenberg Brackets
As an insightful example, we can use the construction of the previous section to define the fractional power of the Poisson bracket
for a Hamiltonian function
as the operator
where
solves the corresponding Hamiltonian system.
Similarly, one can define fractional Heisenberg operators of quantum mechanics. The standard Heisenberg equation has the form
where
are self-adjoint operators in a Hilbert space,
H called a Hamiltonian.
An operator
is known to generate a semigroup
acting on the space of operators as
Thus one obtains the fractional power
This operator was constructed in a slightly different way (via resolvents) in paper [
21]. Different approaches to classical and quantum fractional brackets ware developed in [
22] and [
23]. Fractional Heisenberg equations represent one approach to building fractional quantum mechanics. Another approach develops the theory of fractional Schrödinger equation, see e.g. [
24] for closed quantum systems and [
25] for open quantum systems.
5. Conclusion
In this article, for the first time, fractional integrals and derivatives were constructed with respect to a signed measure. An approach based on semigroup theory was used. The suggested fractional powers have stochastic and quantum mechanic applications.
Author Contributions
Conceptualization, V. N. Kolokoltsov; methodology, V. N. Kolokoltsov and E. L. Shishkiha; validation, V. N. Kolokoltsov and E. L. Shishkiha; formal analysis, V. N. Kolokoltsov and E. L. Shishkiha; investigation, V. N. Kolokoltsov; resources, V. N. Kolokoltsov and E. L. Shishkiha; data curation, E. L. Shishkiha; writing—original draft preparation, V. N. Kolokoltsov and E. L. Shishkiha; writing—review and editing, V. N. Kolokoltsov and E. L. Shishkiha; visualization, V. N. Kolokoltsov and E. L. Shishkiha; supervision, V. N. Kolokoltsov; project administration, V. N. Kolokoltsov and E. L. Shishkiha. All authors have read and agreed to the published version of the manuscript.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Acknowledgments
The authors would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme "Fractional differential equations" where work on this paper was initiated.
Conflicts of Interest
The authors declare no conflicts of interest.
References
- Samko, S. G.; Kilbas, A. A.; Marichev, O. I. Fractional integrals and derivatives, Gordon and Breach Science Publishers: Amsterdam, Netherlands, 1993; 976 p.
- Kolokoltsov, V. N. The Probabilistic Point of View on the Generalized Fractional Partial Differential Equations. FCAA 2019, 22, 543–600. [Google Scholar] [CrossRef]
- Hilfer, R. Anomalous Transport: Foundations and Applications, Editors: R. Klages, G. Radons, I. M. Sokolov, Eds.; Wiley-VCH Verlag GmbH & Co. KGaA: Weinheim an der Bergstrasse, Germany, 2008; pp. 17–73. [Google Scholar]
- Talenti, G. Sul Problema di Cauchy per le Equazioni a Derivate Parziali. Ann. Mat. Pura Appl. 1965, LXVII, 365–394. [Google Scholar] [CrossRef]
- Chrysovergis, A. Some Remarks on Talenti’s Semigroup. Canad. Math. Bull. 1971, 14, 147–150. [Google Scholar] [CrossRef]
- Seidman, T. I. A Remark on Talenti’s Semigroup. Canad. Math. Bull. 1975, 18(4), 591–592. [Google Scholar] [CrossRef]
- Balakrishnan, A. V. An operational calculus for infinitesimal generators of semigroups. Trans. Amer. Math. Soc. 1959, 91, 330–353. [Google Scholar]
- Krasnoselski, M. A.; Zabreyko, P. P.; Pustilnik, E. I.; Sobolevski, P.S. Integral Operators in the Spaces of Summable Functions, Nauka: Moscow, Russia, 1966; 500 p.
- Komatsu, H. Fractional powers of operators. Pacific J. Math. 1966, 19, 285–346. [Google Scholar] [CrossRef]
- Westphal, U. Ein Kalkül für gebrochene Potenzen infinitesimaler Erzeuger von Halbgruppen und Gruppen von Operatoren, Teil I: Halbgruppenerzeuger, Teil II : Gruppenerzeuger’. Gompositio Math. 1970, 22, 67–103. [Google Scholar]
- Yosida, K. Functional Analysis, 6 th ed., Springer-Verlag: Berlin, Germany, 1980; 504 p.
- Bonicatto, P.; Gusev, N. A. Non-uniqueness of signed measure-valued solutions to the continuity equation in presence of a unique flow. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. 30 2019, 3, 511–531. [Google Scholar] [CrossRef]
- Hochberg, K. J. A Signed Measure on Path Space Related to Wiener Measure. Ann. Probab. 1978, 6(3), 433–458. [Google Scholar] [CrossRef]
- Cohen, S. N.; Elliott, R. J. Stochastic Calculus and Applications, Birkhäuser, New York (2015).
- Kiryakova, V. Generalized Fractional Calculus and Applications, Pitman Res. Notes Math., Longman Scientific & Technical, Harlow, Co-publ. John Wiley, New York, 301 (1994).
- Kochubei, A.; Luchko, Yu. Handbook of Fractional Calculus with Applications. Vol.1: Basic Theory, Vol.2: Fractional Differential Equations, Walter de Gruyter: Berlin/Boston, 2019.
- Podlubny, I. Fractional differential equations. An introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications. Mathematics in Science and Engineering, 198, Academic Press, SanDiego, 1999.
- Luchko, Y. General fractional integrals and derivatives and their applications. Physica D: Nonlinear Phenomena 2023, 455, 133906. [Google Scholar] [CrossRef]
- Al-Refai, M.; Luchko, Y. The General Fractional Integrals and Derivatives on a Finite Interval. Mathematics 2023, 11, 1031. [Google Scholar] [CrossRef]
- Fernandez, A.; Fahad, H.M. Weighted fractional calculus: A general class of operators. Fractal Fract. 2022, 6. [Google Scholar] [CrossRef]
- Tarasov, V. E. Fractional Heisenberg Equation. Physics Letters A 2006, 372, 2984–2988. [Google Scholar] [CrossRef]
- Golmankhaneh, A. Kh. Fractional Poisson Bracket. Turk. J. Phys. 2008, 32, 241–250. [Google Scholar]
- Rabei, E.M.; Tarawneh, D.M.; Muslih, S.I.; Baleanu, D. Heisenberg’s Equations of Motion with Fractional Derivatives. Journal of Vibration and Control 2007, 13, 1239–1247. [Google Scholar] [CrossRef]
- Laskin, N. Fractional Schrödinger equation. Phys. Rev. 2002, E 66, Art. 056108. [Google Scholar] [CrossRef]
- Kolokoltsov, V. N. Continuous time random walks modeling of quantum measurement and fractional equations of quantum stochastic filtering and control. FCAA 2022, 25, 128–165. [Google Scholar] [CrossRef]
|
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).