arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2608.00021

Unique axiomatisation of fractional integral operators on the real line

Ceren Özden·Arran Fernandez
View original source ↗Read source document ↗Export metadata ↓

Abstract

The Cartwright--McMullen theorem (1978) establishes the uniqueness of the Riemann--Liouville family of fractional integral operators on a compact interval $[0,1]$ under a natural set of axioms: inclusion of the classical integral, a semigroup property, positivity, and continuity. By unpacking the proof into its constituent steps and understanding its structure clearly, we provide improvements and extensions of the original result. Firstly, by using some properties of topological groups, we demonstrate that the positivity axiom can be removed with almost no effect on the result. Secondly, we consider a version of the theorem on the whole real line $\mathbb{R}$, with constant of integration $-\infty$ instead of $0$, which was mentioned without proof in the 1978 paper. The theorem can be extended to this setting, but it is not trivial to do so: the theory of Fréchet spaces must be used, and we introduced a new shift-commutativity axiom to get the density result that we need to extend the proof to spaces of functions and distributions on $\mathbb{R}$ with left-bounded support.

Explore related subjects

math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ceren Özden, Arran Fernandez. 2026-07-03. Unique axiomatisation of fractional integral operators on the real line. https://arxiv.org/abs/2608.00021

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Sharp Operator Khintchine inequality and $Z_2$ Property

We study the $p=1$ operator Khintchine inequality associated with orthonormal systems and establish two quantitative implications relating its optimal constant $A_1$ to the $Z_2$ property. For an orthonormal system $W$ with finite $Z_2(W)$, we prove $A_1(W)\leq\sqrt{1+Z_2(W)}$. Conversely, there exists an absolute constant $δ>0$ such that, for canonical group unitaries indexed by any subset $V$ of a discrete group, $A_1(V)<\sqrt2+δ$ implies $Z_2(V)\leq2$. The converse is detected by $2\times2$ matrix coefficients supported on at most six group elements. For the classical Rademacher sequence, we determine the sharp operator Khintchine constant $A_1=\sqrt2$, answering the question left open by Haagerup and Musat~\cite{Haagerup2007}. Since this sequence has $Z_2=2$, the conclusion $Z_2(V)\leq2$ is optimal.

math.FA↗
arXiv2026

Metric convex extensions and optimal transport on classical and quantum structures

Convex roofs are natural ways to extend a scalar function defined on the extreme points of a convex set $K$ to the whole set. In this work we focus on the case $K = C \times C$ for some convex set $C$, and the extension of a distance $d$ defined on the extreme points of $C$. In general, the triangle inequality may not survive the extension process. We therefore consider the metric envelope of such extensions and study the metric properties they endow $C$ with. More generally, we also consider products of different convex sets $C_1 \times C_2$ and costs defined on their extreme points, in which case no metric envelope is involved. We then show a two-way correspondence between convex extensions and Kantorovich optimal transport formulations. On the one hand, these extensions can be recovered as quotients of standard, classical Kantorovich costs or Wasserstein distances by the barycenter map. On the other hand, various Kantorovich formulations re-write as such convex extensions. Classical optimal transport is recovered as the case of the simplex, and both the semiclassical optimal transport cost of Golse and Paul and the entanglement-free quantum Wasserstein objects of Beatty and Stilck França are recovered by considering the non-simplex convex set of quantum states. This work provides a clear bridge between the theory of convex extensions and that of optimal transport, with a unifying framework for classical, semiclassical and entanglement-free quantum instances of Kantorovich formulations.

math.FA↗
arXiv2026

Nonlinear Lebesgue spaces: Dense subspaces, completeness and separability

L^p spaces of mappings taking values in arbitrary metric spaces, which we call nonlinear Lebesgue spaces, play an important role in several fields of mathematics. For instance, membership in these spaces is typically required for transport maps in optimal transport theory and for stochastic processes in probability theory. Nonlinear Lebesgue spaces also arise naturally in applications such as medical imaging, where the physical signals at play often exhibit little regularity and take their values in nonlinear spaces. Yet, these spaces remain little studied in the literature, likely due to their lack of differential structure outside the case where mappings are valued in a linear space. This paper is the first in a series devoted to the study of geometric and analytic properties of nonlinear Lebesgue spaces. The present article exposes a systematic treatment of their measure-theoretic properties, unifying and refining scattered results from the literature while also extending classical results from the linear setting to this broader nonlinear framework---including the characterizations of their completeness and their separability as well as the density of some of their subspaces: the spaces of simple, continuous and smooth mappings.

math.FA↗