Passive two-plateau relaxation from Tricomi confluent hypergeometric kernels
Pith reviewed 2026-05-10 14:58 UTC · model grok-4.3
The pith
Tricomi confluent hypergeometric kernels with Moebius normalisation produce passive two-plateau relaxation responses that admit nonnegative Stieltjes spectral measures.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For an admissible parameter range, the bounded Tricomi-Moebius relaxation block admits a Stieltjes representation whose spectral density is nonnegative; this representation guarantees complete monotonicity, passivity, causality, and direct compatibility with standard passive circuit and state-space realisations.
What carries the argument
The bounded Tricomi-Moebius kernel, a normalised confluent hypergeometric function that satisfies prescribed low- and high-frequency plateaux and carries a nonnegative Stieltjes spectral measure.
If this is right
- The model supplies first-order state-space realisations with positive poles and residues via Gauss-Stieltjes discretisation.
- Rational Foster-type approximations converge for both moderate-memory and long-tail regimes.
- Multi-block mixtures improve complex-domain fitting accuracy on broadband dielectric spectra and battery impedance data relative to classical Cole-Cole baselines.
- The framework remains fully compatible with standard passive network synthesis and finite-dimensional simulation tools.
Where Pith is reading between the lines
- The same kernel structure may be reusable for other memory kernels that require two distinct asymptotic exponents.
- Because the realisations are passive by construction, they can be embedded directly into larger circuit models without introducing artificial energy sources.
- The explicit Stieltjes measure opens a route to stochastic interpretations of the underlying relaxation processes.
Load-bearing premise
There exists a nonempty set of parameters for which the Tricomi kernel plus Moebius normalisation simultaneously meets the two-plateau boundary conditions and produces a nonnegative spectral density.
What would settle it
A numerical or analytic counter-example inside the claimed admissible range in which the Stieltjes density takes a negative value at some frequency.
read the original abstract
Anomalous relaxation with memory spectra arises in disordered solids, soft matter, biological tissues and electrochemical interfaces. Fractional-order models capture broad power-law behaviour efficiently, but they can obscure spectral structure and are not always convenient for passive realisation or finite-dimensional simulation. We introduce a non-fractional passive framework based on the Tricomi confluent hypergeometric function, combined with a bounded Moebius normalisation that enforces prescribed low-frequency and high-frequency plateaux while preserving a broad dispersive transition. The resulting family contains the Debye and Cole-Cole responses as exact subcases, while extending them to asymmetric two-plateau dispersive laws with independently tunable low- and high-frequency exponents. For an admissible parameter range, we prove that the bounded block admits a Stieltjes representation with nonnegative spectral density, implying complete monotonicity, passivity, causality and compatibility with standard circuit and state-space descriptions. Building on this structure, we derive a passive Gauss-Stieltjes discretisation leading to Foster-type rational approximations and first-order state-space realisations with positive poles and residues. Numerical experiments show convergence of these finite-dimensional approximations across moderate-memory and long-tail regimes, enabling passive reduced-order representations of broad-memory responses. The framework is then validated on broadband dielectric data and battery electrochemical impedance spectra. In tissues, multi-block Tricomi mixtures improve complex-domain fitting accuracy relative to classical Cole-Cole baselines while preserving interpretable modal structure.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a family of relaxation kernels based on the Tricomi confluent hypergeometric function subject to a bounded Möbius normalisation chosen to enforce independent low- and high-frequency plateaux. It asserts that, inside an admissible parameter range, the resulting response admits a Stieltjes representation with nonnegative spectral density (hence complete monotonicity and passivity), contains the Debye and Cole-Cole models as exact subcases, and yields passive rational approximations via a Gauss-Stieltjes discretisation. The claims are supported by an analytical argument, numerical convergence studies, and fits to dielectric and battery impedance data.
Significance. If the central nonnegativity result holds for a nonempty admissible set, the construction supplies a tunable, non-fractional, passive alternative to fractional-order models that is directly compatible with circuit synthesis and state-space simulation. The explicit recovery of classical models and the provision of first-order realisations with positive poles/residues are concrete strengths that could facilitate reduced-order modelling in soft-matter and electrochemical applications.
major comments (2)
- [main theorem / admissible-range statement] The main theorem (the statement that begins 'For an admissible parameter range, we prove...') invokes an admissible set of parameters (α,β,γ,…) that must simultaneously satisfy the two-plateau boundary conditions and guarantee a nonnegative Stieltjes measure. No explicit system of inequalities or interval is supplied, nor is a proof given that this set is nonempty. This is load-bearing for the strongest claim.
- [Stieltjes-representation derivation] The Möbius normalisation is constructed to enforce the prescribed plateaux; the subsequent claim that the Stieltjes density remains nonnegative therefore depends on showing that the normalisation does not violate the sign condition inside the same parameter set. The manuscript does not isolate this compatibility step or provide an independent verification (e.g., via the inverse Stieltjes transform or an integral representation) that survives the plateau constraints.
minor comments (2)
- [§2 / parameter definitions] Notation for the low- and high-frequency exponents is introduced without a compact table relating them to the Tricomi parameters; a small summary table would improve readability.
- [numerical-experiments section] Several figures display fitted spectra but omit the numerical values of the admissible-range parameters used; adding these values (or the interval bounds) would allow readers to reproduce the examples.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. The points raised concern the explicitness of the admissible parameter range and the compatibility verification for the Stieltjes representation. We address each below and will revise the manuscript accordingly to strengthen the presentation.
read point-by-point responses
-
Referee: [main theorem / admissible-range statement] The main theorem (the statement that begins 'For an admissible parameter range, we prove...') invokes an admissible set of parameters (α,β,γ,…) that must simultaneously satisfy the two-plateau boundary conditions and guarantee a nonnegative Stieltjes measure. No explicit system of inequalities or interval is supplied, nor is a proof given that this set is nonempty. This is load-bearing for the strongest claim.
Authors: We agree that the admissible parameter range requires an explicit definition to make the main theorem fully rigorous. In the revised manuscript we will supply the complete system of inequalities on the parameters (α, β, γ, …) that simultaneously enforce the two-plateau boundary conditions and guarantee nonnegativity of the Stieltjes measure. We will also add an explicit demonstration that the set is nonempty, either by exhibiting concrete admissible parameter values or by deriving the relevant bounds from the existing analytical arguments. revision: yes
-
Referee: [Stieltjes-representation derivation] The Möbius normalisation is constructed to enforce the prescribed plateaux; the subsequent claim that the Stieltjes density remains nonnegative therefore depends on showing that the normalisation does not violate the sign condition inside the same parameter set. The manuscript does not isolate this compatibility step or provide an independent verification (e.g., via the inverse Stieltjes transform or an integral representation) that survives the plateau constraints.
Authors: We acknowledge that the compatibility between the Möbius normalisation and the nonnegativity of the spectral density must be isolated and verified explicitly. The revised manuscript will contain a dedicated step that demonstrates this compatibility inside the admissible parameter range. The verification will use an independent method, such as the inverse Stieltjes transform or a suitable integral representation, that explicitly accounts for and survives the plateau constraints imposed by the normalisation. revision: yes
Circularity Check
No circularity: derivation proceeds from known special function via explicit normalisation and asserted analytic proof
full rationale
The central claim rests on starting with the Tricomi confluent hypergeometric kernel, applying a Möbius transformation chosen to enforce the two prescribed plateaux, and then proving (rather than assuming or fitting) that the resulting kernel admits a Stieltjes representation with nonnegative measure inside a nonempty admissible parameter set. No equation reduces by construction to its own inputs, no parameter is fitted to data and then relabeled as a prediction, and no load-bearing step is justified solely by self-citation. The construction is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
free parameters (2)
- low- and high-frequency exponents
- Tricomi kernel parameters
axioms (2)
- standard math The Tricomi confluent hypergeometric function satisfies the required analytic continuation and asymptotic properties for the chosen parameter range.
- domain assumption A bounded Moebius transformation can be chosen that simultaneously enforces the low- and high-frequency plateaux without destroying nonnegativity of the spectral measure.
Reference graph
Works this paper leans on
-
[1]
World Scientific, Hackensack, NJ (2022)
Mainardi, F.: Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models, 2nd edn. World Scientific, Hackensack, NJ (2022)
work page 2022
-
[2]
alternating current characteristics
Cole, K.S., Cole, R.H.: Dispersion and absorption in dielectrics i. alternating current characteristics. J. Chem. Phys.9(4), 341–351 (1941)
work page 1941
-
[3]
Havriliak, S., Negami, S.: A complex plane representation of dielectric and mechanical relaxation processes in some polymers. Polymer8, 161–210 (1967)
work page 1967
-
[4]
The European Physical Journal Special Topics193, 161–171 (2011)
Oliveira, E.C., Mainardi, F., Jr., J.V.: Models based on mittag-leffler functions for anomalous relaxation in dielectrics. The European Physical Journal Special Topics193, 161–171 (2011)
work page 2011
-
[5]
Tarasov, V.E.: No nonlocality. no fractional derivative. Communications in Nonlinear Science and Numerical Simulation62, 157–163 (2018)
work page 2018
-
[6]
Mainardi, F., Garrappa, R.: On complete monotonicity of the Prabhakar function and non-Debye relaxation in dielectrics. Jour. Comput. Phys.293, 70–80 (2015)
work page 2015
-
[7]
Giusti, A., Colombaro, I.: Prabhakar-like fractional viscoelasticity. Commun. Nonlinear Sci. Numer. Simul.56, 138–143 (2018)
work page 2018
-
[8]
Giusti, A., Colombaro, I., Garra, R., Garrappa, R., Polito, F., Popolizio, M., Mainardi, F.: A practical guide to Prabhakar fractional calculus. Fract. Calc. Appl. Anal.23(1), 9–54 (2020) 26
work page 2020
-
[9]
Tricomi, F.G.: Sulle funzioni ipergeometriche confluenti. Ann. Mat. Pura Appl.26, 141–175 (1947)
work page 1947
-
[10]
Cambridge University Press, Cambridge, UK (1960)
Slater, L.J.: Confluent Hypergeometric Functions. Cambridge University Press, Cambridge, UK (1960)
work page 1960
-
[11]
Buchholz, H.: The Confluent Hypergeometric Function. Springer, New York (1969)
work page 1969
-
[12]
Erdélyi, A., Magnus, W., Oberhettinger, F., Tricomi, F.G.: Higher Transcendental Functions vol. I. McGraw–Hill, New York (1953). Bateman Manuscript Project
work page 1953
-
[13]
Erdélyi, A., Magnus, W., Oberhettinger, F., Tricomi, F.G.: Higher Transcendental Functions vol. II. McGraw–Hill, New York (1953). Bateman Manuscript Project
work page 1953
-
[14]
Condensed Matter Physics25(3), 33203–123 (2022)
Mathews, W.N.J., Esrick, M.A., Teoh, Z.Y., Freericks, J.K.: A physicist’s guide to the solution of kummer’s equation and confluent hypergeometric functions. Condensed Matter Physics25(3), 33203–123 (2022)
work page 2022
-
[15]
Princeton University Press, Princeton (1946)
Widder, D.V.: The Laplace Transform. Princeton University Press, Princeton (1946)
work page 1946
-
[16]
Prentice Hall, Upper Saddle River, NJ (1997)
Oppenheim, A.V., Willsky, A.S., Nawab, S.H.: Signals and Systems, 2nd edn. Prentice Hall, Upper Saddle River, NJ (1997)
work page 1997
-
[17]
Princeton University Press, Princeton, NJ (2008)
Åström, K.J., Murray, R.M.: Feedback Systems: An Introduction for Scientists and Engineers. Princeton University Press, Princeton, NJ (2008)
work page 2008
-
[18]
Prentice Hall, Upper Saddle River, NJ (2002)
Khalil, H.K.: Nonlinear Systems, 3rd edn. Prentice Hall, Upper Saddle River, NJ (2002)
work page 2002
-
[19]
Prentice Hall, Upper Saddle River, NJ (2010)
Ogata, K.: Modern Control Engineering, 5th edn. Prentice Hall, Upper Saddle River, NJ (2010)
work page 2010
-
[20]
Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions. Dover, New York (1965)
work page 1965
-
[21]
Oldham, K.B., Myland, J., Spanier, J.: An Atlas of Functions, 2nd edn. Springer, New York (2009)
work page 2009
-
[22]
Prentice-Hall, Englewood Cliffs, NJ (1964)
Van Valkenburg, M.E.: Network Analysis. Prentice-Hall, Englewood Cliffs, NJ (1964)
work page 1964
-
[23]
(eds.): NIST Handbook of Mathematical Functions
Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W. (eds.): NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010)
work page 2010
-
[24]
De Gruyter Studies in Mathematics, vol
Schilling, R.L., Song, R., Vondraček, Z.: Bernstein Functions: Theory and Applications. De Gruyter Studies in Mathematics, vol. 37. De Gruyter, Berlin (2010)
work page 2010
-
[25]
Colombaro, I., Tudela-Pi, M.: On mathematical characterization of a bessel functions-based passive element in electronic circuits. Appl. Math. Model154, 116683 (2026)
work page 2026
-
[26]
Holm, S., Holm, T., Martinsen, O.G.: Simple circuit equivalents for the constant phase element. Plos One16(2021)
work page 2021
-
[27]
Oxford University Press, Oxford (2004)
Gautschi, W.: Orthogonal Polynomials: Computation and Approximation. Oxford University Press, Oxford (2004)
work page 2004
-
[28]
measurements in the frequency range 10 hz to 20 ghz
Gabriel, S., Lau, R.W., Gabriel, C.: The dielectric properties of biological tissues: Ii. measurements in the frequency range 10 hz to 20 ghz. Physics in Medicine & Biology41(11), 2251–2269 (1996)
work page 1996
-
[29]
Italian National Research Council, Institute for Applied Physics (2012)
Andreuccetti, D.: An internet resource for the calculation of the dielectric properties of body tissues in the frequency range 10 hz-100 ghz. Italian National Research Council, Institute for Applied Physics (2012)
work page 2012
-
[30]
Zhang, Y., Tang, Q., Zhang, Y., Wang, J., Stimming, U., Lee, A.A.: Identifying degradation patterns of lithium ion batteries from impedance spectroscopy using machine learning. Nature 27 Communications11, 1706 (2020) Statements and Declarations Competing Interests The authors have no relevant financial or non-financial interests to disclose. Availability ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.