A canonical two-scale Sonine fractional calculus induced by the Tricomi function

Ivano Colombaro; Marc Tudela-Pi

A canonical two-scale Sonine fractional calculus induced by the Tricomi function

T0 review · 3 major / 2 minor · reviewed 2026-07-15 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Tricomi branch is the unique Stieltjes representative in the Kummer class and induces a two-scale Sonine fractional calculus.

desk verdict Abstract-only: Tricomi uniqueness under asymptotic normalization plus two-scale Sonine calculus looks like a clean subfield construction, but we cannot check the proofs. read the letter →

arxiv 2607.12534 v1 pith:3PU44DY4 submitted 2026-07-14 math-ph math.MP

Ivano Colombaro , Marc Tudela-Pi This is my paper · ORCID

classification math-phmath.MP MSC 26A3333C1544A1060G51

keywords TricomifunctionSoninekernelStieltjescompleteBernsteinfractionalcalculusKummerclasstwo-scaleoperatorsLévy–Khintchinerepresentation

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper constructs a generalized fractional calculus whose kernels come from the Tricomi confluent hypergeometric function. The authors show that, for admissible parameters, the Tricomi branch is a Stieltjes function, so its reciprocal is a complete Bernstein function and therefore generates a legitimate Sonine pair. That pair produces a canonical Tricomi integral operator together with the associated Riemann–Liouville-type and Caputo-type derivatives. Within the larger Kummer class the same Stieltjes property, once a natural asymptotic normalization is fixed, singles out the Tricomi branch uniquely. The resulting operators carry two independent asymptotic orders rather than a single fractional order, and the paper supplies the Lévy–Khintchine representation, the Volterra integral formulation, and the associated scalar Cauchy problem.

What carries the argument

The Stieltjes property of the Tricomi branch (and the uniqueness of that property inside the Kummer class under asymptotic normalization). This property guarantees that the reciprocal is a complete Bernstein function and therefore supplies a Sonine pair, from which the integral operator and both families of derivatives are constructed.

What would settle it

Exhibit another linearly independent Kummer solution that remains Stieltjes on the same parameter range after the same asymptotic normalization is imposed, or show that the Tricomi branch itself fails to be completely monotone of the required order for some admissible parameter values.

Watch

Extended reading notes

Core claim

Within the admissible parameter range the Tricomi branch of the confluent hypergeometric function is a Stieltjes function; once a natural asymptotic normalization is imposed it is the unique Stieltjes representative inside the Kummer class. Its reciprocal is therefore a complete Bernstein function, inducing a Sonine kernel pair that defines a canonical Tricomi integral and the corresponding Riemann–Liouville-type and Caputo-type fractional derivatives that possess two independent asymptotic orders.

Load-bearing premise

The uniqueness claim rests on the assertion that a single natural asymptotic normalization is enough to select one and only one Stieltjes representative from the whole Kummer class.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

We only have the abstract, so this is provisional. The punchline is a uniqueness claim: inside the Kummer class the Tricomi branch is the unique Stieltjes representative once a natural asymptotic normalization is fixed, and that fact is used to build a Sonine pair with two independent asymptotic orders, plus the usual RL/Caputo-type derivatives, Lévy–Khintchine form, Volterra form, and scalar Cauchy problem.

What looks new is the combination of the uniqueness statement with an explicit two-scale Sonine calculus rather than just another kernel plugged into existing Sonine theory. If the Stieltjes property and the uniqueness argument hold, that is real structure: reciprocal complete Bernstein, canonical integral, and operators that genuinely carry two free asymptotic orders. Circularity burden looks low from the abstract; the route is classical Stieltjes/complete-Bernstein plus a normalization-based selection, not self-fitting.

The soft spot is exactly the one the stress-test flags. “Natural asymptotic normalization” is not spelled out here—which regime, which leading coefficients, matching at 0 or ∞—so we cannot tell whether it is forced by the Stieltjes property or whether other normalizations could yield distinct Stieltjes Kummer representatives that still admit a Sonine pair. If that selection principle is incomplete, uniqueness and canonicity fail even if Tricomi itself is Stieltjes. Everything after a fixed Stieltjes Sonine kernel is standard, so the load-bearing step is that uniqueness claim. Parameter ranges and the actual proofs are invisible, so soundness cannot be certified.

This is for people who work on Sonine kernels, multi-scale memory, and nonlocal operators in mathematical physics. A serious referee should see the full text; the abstract is coherent enough and the claimed result is sharp enough that desk rejection would be premature. I would not cite it yet and would only bring it to reading group once the paper is available. Send it to peer review when the full manuscript arrives.

Referee Report

3 major / 2 minor

Summary. The manuscript claims to introduce a Tricomi-type generalized fractional calculus in the Sonine kernel framework. Its central analytic assertions are that the Tricomi branch of the Kummer class is a Stieltjes function on an admissible parameter range (hence its reciprocal is a complete Bernstein function), and that, once a 'natural asymptotic normalization' is fixed, this branch is the unique Stieltjes representative within the Kummer class. From these facts the authors induce a canonical Tricomi integral together with associated Riemann–Liouville-type and Caputo-type derivatives carrying two independent asymptotic orders, and they derive the corresponding Lévy–Khintchine representation, Volterra formulation, and scalar Cauchy problem.

Significance. If the Stieltjes property and the uniqueness claim under asymptotic normalization both hold, the work would supply a genuinely two-scale Sonine calculus with a canonical kernel drawn from classical special functions, together with the standard complete-Bernstein/Lévy–Khintchine and Volterra consequences. That would be a concrete addition to the Sonine-kernel literature and would give a parameter-rich family of RL/Caputo-type operators whose two asymptotic orders are independent. The abstract-level programme is therefore of clear interest to fractional calculus and special-function theory; its value, however, rests entirely on the two load-bearing analytic claims, which cannot be verified from the abstract alone.

major comments (3)

The uniqueness claim ('within the Kummer class, the Tricomi branch is the unique Stieltjes representative, once the natural asymptotic normalization is fixed') is load-bearing for canonicity of the Tricomi integral and of the two-scale RL/Caputo operators. The abstract does not define what the normalization consists of (which asymptotic regime, which leading coefficients, or which matching conditions at 0/∞), nor whether it is forced by the Stieltjes property itself. Without an explicit statement of the normalization and a proof that no other Stieltjes Kummer representative survives it, the uniqueness (and therefore canonicity) claim cannot be assessed and may fail even if the Tricomi branch is itself Stieltjes.
The assertion that the Tricomi branch is Stieltjes on the admissible parameter range is the other load-bearing analytic step; once it is granted, the complete-Bernstein reciprocal, Lévy–Khintchine representation, Volterra form and scalar Cauchy problem follow by standard arguments. The abstract supplies neither the precise admissible range nor any indication of the proof strategy (integral representation, continued-fraction criteria, complete monotonicity of the density, etc.). A full technical review therefore requires the detailed argument and the exact parameter domain.
The manuscript is available only as an abstract. No numbered sections, equations, theorems or proofs are accessible. Consequently the central claims cannot be checked for internal consistency, the Sonine pair cannot be verified, and the two independent asymptotic orders cannot be confirmed to arise as stated. A definitive recommendation is impossible until the full text is supplied.

minor comments (2)

The abstract uses the phrases 'Tricomi branch', 'Kummer class' and 'natural asymptotic normalization' without brief definitions; even in an abstract these terms should be anchored by a short parenthetical or a reference to the classical special-function conventions employed.
The claim of 'two independent asymptotic orders' is highlighted as distinctive but is not illustrated by a single explicit asymptotic formula or by the form of the kernel; a one-line display of the leading behaviours at 0 and ∞ would clarify the novelty.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity detectable from the abstract; claims rest on classical Stieltjes/complete-Bernstein theory plus a uniqueness statement under asymptotic normalization.

full rationale

Only the abstract is available. It asserts that the Tricomi branch is Stieltjes in an admissible range (hence its reciprocal is complete Bernstein), that this induces a Sonine pair with associated RL/Caputo-type operators, and that within the Kummer class the Tricomi branch is the unique Stieltjes representative once a natural asymptotic normalization is fixed. No equations, fitted parameters, self-citations, uniqueness theorems imported from the same authors, or ansatz-by-citation appear in the provided text. Nothing reduces by construction to its own inputs: the Stieltjes claim and the uniqueness-under-normalization claim are presented as theorems to be proved, not as renamings of fitted data or of definitions that already encode the target. The skeptic concern that the normalization is left unspecified is a completeness/correctness risk, not a circular reduction. Per the analyzer rules, absence of quotable equation-level or self-citation load-bearing circularity yields score 0 with empty steps. Full-text proofs could in principle introduce self-citation chains, but none are visible here.

Assumptions & free parameters 1 free parameters · 4 assumptions · 2 invented entities

Abstract-only pure-math construction. Free parameters are the admissible Tricomi/Kummer parameters that become the two asymptotic orders. Background axioms are standard special-function and Bernstein/Stieltjes theory plus the Sonine pair condition; the 'natural asymptotic normalization' is the paper-specific selection rule that makes uniqueness work. Invented entities are the named Tricomi integral and the associated RL/Caputo-type derivatives.

free parameters (1)

Tricomi/Kummer admissible parameters (two asymptotic orders)
The distinctive two independent asymptotic orders are parameters of the Tricomi branch; their admissible range is part of the construction and is not derived from a uniqueness theorem independent of the normalization choice.

assumptions (4)

domain assumption Sonine kernel pair condition (convolution inverse exists in the appropriate function class)
The entire calculus is built inside the Sonine framework; without the pair condition the integral and derivatives are not defined as claimed.
standard math Classical theory of Stieltjes functions and complete Bernstein functions (including Lévy–Khintchine representation)
The key step 'Stieltjes ⇒ reciprocal complete Bernstein ⇒ Sonine calculus' relies on this background theory.
ad hoc to paper Natural asymptotic normalization on the Kummer class selects a unique Stieltjes representative
Uniqueness is claimed only after this normalization is fixed; it is the paper-specific selection principle, not a standard uniqueness theorem of special-function theory alone.
standard math Properties of the Tricomi function as a branch of the Kummer confluent hypergeometric family
The kernel is taken from classical special-function theory; its analytic continuation and asymptotics are assumed known.

invented entities (2)

Canonical Tricomi integral operator
purpose: Sonine integral generated by the Tricomi Stieltjes kernel
Named operator induced by the kernel; independent evidence would be external applications or numerical checks, not present in the abstract.
Tricomi Riemann–Liouville-type and Caputo-type derivatives
purpose: Matching nonlocal derivatives for the Tricomi Sonine calculus and the scalar Cauchy problem
Defined as the dual operators to the Tricomi integral; no external falsifiable handle is given in the abstract.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A canonical two-scale Sonine fractional calculus induced by the Tricomi function." pith.science (2026). https://pith.science/paper/3PU44DY4

@misc{pith2026260712534,
  author       = {Pith},
  title        = {Pith review of: A canonical two-scale Sonine fractional calculus induced by the Tricomi function},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3PU44DY4}},
  note         = {Machine review of arXiv:2607.12534}
}

read the original abstract

We introduce a Tricomi-type generalized fractional calculus in the Sonine kernel framework. The key result is that the Tricomi branch is a Stieltjes function in the admissible parameter range, so its reciprocal is a complete Bernstein function. This fact induces a Sonine fractional calculus together with the canonical Tricomi integral and the associated Riemann--Liouville-type and Caputo-type derivatives. We also prove that, within the Kummer class, the Tricomi branch is the unique Stieltjes representative, once the natural asymptotic normalization is fixed, and we derive the corresponding L\'evy--Khintchine representation, Volterra formulation, and scalar Cauchy problem. A distinctive feature of the resulting operators is the emergence of two independent asymptotic orders.

Discussion (0). Continue with ORCID to comment.

Pith tools

Reviewed July 15, 2026 · model on record in the stance chip above.