- The paper provides an axiomatic characterization of fractional integration operators by rigorously proving the necessity of the classical continuity, interpolation, and semigroup axioms.
- It employs Laplace and Fourier transform frameworks to uniquely identify the Riemann-Liouville and Riesz fractional integrals, highlighting their power-law structures.
- The study extends these characterizations to multivariate and weighted settings, paving the way for applications in non-smooth and generalized fractional calculus.
Introduction and Context
This paper, "Characterizations of fractional operators via integral transforms" (2604.00714), provides an in-depth study of rigorous characterizations of fractional integration operators, most notably the Riemann-Liouville integral and the Riesz potential, through the axiomatic method and the analysis of integral transforms. It extends the celebrated Cartwright-McMullen uniqueness theorem for the Riemann-Liouville integral by systematically investigating the necessity of its axioms and offering new characterizations using modern functional-analytic and measure-theoretic tools. The results are established for both one and several variables, for both classical and weighted settings, and with a particular emphasis on operators defined via Laplace and Fourier transforms.
Axiomatic Characterization and Necessity
The Cartwright-McMullen theorem establishes that the Riemann-Liouville fractional integral is uniquely determined (modulo some natural constraints) by three key axioms: (1) interpolation of the ordinary integral, (2) the index law (semigroup property with respect to order), and (3) continuity of the operator family in the order parameter. The paper offers a comprehensive necessity proof of these axioms. Using the Cauchy functional equation, Hamel bases, and Zorn's Lemma, it demonstrates that omitting the continuity axiom permits pathological, non-continuous solutions (arising from non-measurable additive functions, e.g., via Hamel bases) that are not the classical fractional integrals. This analysis rigorously justifies that no axiom in the Cartwright-McMullen theorem is superfluous when the class of candidate operators is unlimited and not restricted to specific function spaces or regularity assumptions.
Moreover, the paper examines combinations and relaxations of these axioms, showing by explicit operator construction how dropping or weakening a single assumption leads to either failure of uniqueness or exclusion of the Riemann-Liouville operator. It is also proved that, within the class of order-homogeneous fractional integrals, just the index law and normalization condition suffice to force the classical operator, establishing a sharp border between operator classes where continuity is essential and where it can be dispensed with.
Extensions to Multivariate and Weighted Settings
A significant component of the paper is the extension of characterization theorems to the multidimensional case, including the corresponding Riemann-Liouville and Riesz potentials. The authors provide an explicit, constructive proof for the characterization in dimensions n>1, relying on the algebraic structure of multi-indices and the use of the Titchmarsh convolution theorem in several variables. The proof leverages polynomial density in convolution kernels and shows that the semigroup property and interpolation suffice (under weak continuity) to fix the operators. The approach covers broader classes than prior literature by considering multiorder families and identifying minimal hypotheses for uniqueness.
For more general settings, including those with non-smooth integrators and measure-theoretic fractional calculus (e.g., with respect to weights or strictly increasing but not necessarily continuous integrators), the paper introduces a measure-theoretic formalism using pushforward measures. This perspective allows it to define and characterize fractional integration in general spaces, encompassing classical and new cases under a unifying transmutation principle: the operator with respect to a non-smooth change of variables is obtained by conjugation with the composition operator.
A main technical advance is the use of Laplace and Fourier transforms in the characterization of convolution-type fractional operators. The authors show that the index law for convolution operators directly yields an exponential Cauchy functional equation for the Laplace transform of the kernel, whose only continuous solutions are precisely of the power-law form underlying the Riemann-Liouville fractional integral. In particular, the Laplace transform representation allows the authors to derive uniqueness theorems for convolution-defined fractional integrals without recourse to more sophisticated means like the Titchmarsh theorem. Similar logic is applied to the Riesz potential using the Fourier transform framework, fixing the operator as the only one whose frequency response has the prescribed scaling property.
Extensions to General Operators and Weaker Continuity
For operator families not directly defined by convolution, the authors show that if the action on indicator functions (or the Laplace transform of the operator kernel) is only continuous at a single point, then the index law still forces the fractional structure via density and injectivity. This offers an alternative to the strong operator-topology or norm-continuity assumptions in earlier results, thus broadening the range of admissible fractional operators and opening up the possibility for new extensions in analysis and PDE theory. In the rational parameter case, the result holds even without any continuity, highlighting the crucial role of the order parameter domain.
Implications and Further Developments
The results codify the uniqueness of the Riemann-Liouville and Riesz fractional integrals as operators satisfying natural semigroup and continuity properties. Practically, these results clarify which axiomatic frameworks are permissible in the construction of fractional calculus and which extensions (e.g., "exotic" derivatives) are excluded under reasonable assumptions. The explicit role of non-measurable additive functions highlights both the mathematical rigidity and potential for wild behavior when continuity is not imposed.
The measure-theoretic and transmutation-based formulation is essential for further generalizations, such as stochastic or geometric fractional integrals, fractional integration on manifolds, or in non-Euclidean spaces. The connections with functional equations suggest that analogous uniqueness theorems could be derived in operator-valued or Banach space settings, with implications for evolution equations, harmonic analysis, and other areas.
Conclusion
This work provides a definitive and technically detailed analysis of fractional integration operator characterizations, bridging classical axiomatic approaches and modern functional-analytic methods. By revealing the necessity of the classical axioms and introducing powerful new tools for the analysis and generalization of fractional operators, it establishes a foundational framework for fractional calculus, integral operators, and their applications in analysis and PDEs. The results set precise boundaries for operator uniqueness and illustrate robust techniques for further exploration in both the theory and mathematical foundations of non-integer order analysis.
