arxiv: 2605.04351 · v1 · submitted 2026-05-05 · 🧮 math.CA · math.FA

Recognition: unknown

Radial Integration in Continuous Dimension: A Mellin-Gamma Classification of Euclidean Ball Volume

Andreu Ballus Santacana

Pith reviewed 2026-05-08 16:40 UTC · model grok-4.3

classification 🧮 math.CA math.FA

keywords Mellin-Gamma measuresscaling covarianceGaussian normalizationEuclidean ball volumeHaar measure uniquenessBohr-Mollerup theoremcontinuous dimensionlinear functionals

0 comments

The pith

Positive linear functionals with scaling covariance of degree x/2 and Gaussian normalization are uniquely the Mellin-Gamma measures.

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

The paper classifies positive linear functionals on compactly supported continuous functions on the positive reals that obey scaling covariance and a Gaussian normalization condition. It proves these functionals must be given by the Mellin-Gamma measures involving the Gamma function in the density. This leads to a derivation of the volume of Euclidean balls in any dimension as the mass of the unit interval under the measure, without assuming special function formulas in advance. The proof reduces the scaling condition via a logarithmic change of variables to translation invariance on the reals, where uniqueness of Haar measure determines the form up to normalization fixed by the Gaussian integral. A sympathetic reader would care because the result shows the volume formula is forced by the axioms alone.

Core claim

We prove that the unique positive linear functionals on C_c(R_{>0}) satisfying scaling covariance of degree x/2 and Gaussian normalization to π^{x/2} are represented by the Mellin-Gamma measures dμ_x(u) = π^{x/2}/Γ(x/2) u^{x/2-1} du for x>0. The result is a rigidity statement: the Mellin-Gamma structure is forced by the axioms without assuming analytic continuation, special functions, or a priori formulas. The proof reduces the scaling condition, via a logarithmic change of variables, to translation invariance on R, where Haar measure uniqueness determines the measure up to normalization, which is fixed by the Gaussian integral. As a consequence, the Euclidean ball volume formula V(x) = π^{x

What carries the argument

The Mellin-Gamma measure dμ_x(u) = π^{x/2}/Γ(x/2) u^{x/2-1} du, which is the unique measure satisfying scaling covariance after logarithmic substitution to translation invariance and fixed by Gaussian normalization.

Load-bearing premise

The Gaussian normalization condition that the functional equals π^{x/2} on the appropriate Gaussian test function for non-integer x.

What would settle it

Exhibiting a different positive linear functional on C_c(R>0) that satisfies scaling covariance of degree x/2 and evaluates to π^{x/2} on the Gaussian but is not equal to the Mellin-Gamma measure.

read the original abstract

We classify positive linear functionals on $C_c(\mathbb{R}_{>0})$ satisfying scaling covariance of degree $x/2$ and Gaussian normalization to $\pi^{x/2}$. We prove that the unique such functionals are represented by the Mellin--Gamma measures \[ d\mu_x(u) = \frac{\pi^{x/2}}{\Gamma(x/2)}\, u^{x/2 - 1}\, du, \quad x > 0. \] The result is a rigidity statement: the Mellin--Gamma structure is forced by the axioms, without assuming analytic continuation, special functions, or a priori formulas. The proof reduces the scaling condition, via a logarithmic change of variables, to translation invariance on $\mathbb{R}$, where Haar measure uniqueness determines the measure up to normalization, which is fixed by the Gaussian integral. As a consequence, the Euclidean ball volume formula \[ V(x) = \frac{\pi^{x/2}}{\Gamma(x/2 + 1)} \] is recovered as the mass of the unit interval. We further analyze the induced dimension-shift structure, identifying two multiplicative cocycles whose ratio is a coboundary given by the dimension function $x$, and give an independent characterization via a shifted Bohr--Mollerup theorem.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper derives the Mellin-Gamma measure as the unique functional satisfying scaling covariance of degree x/2 plus Gaussian normalization, via a direct reduction to Haar uniqueness on the line.

read the letter

The main takeaway is that this work classifies positive linear functionals on C_c(R>0) by scaling covariance and a Gaussian normalization condition, showing they must be the Mellin-Gamma measures without presupposing special-function identities. The log substitution that converts scaling to translation invariance, followed by the standard Haar uniqueness theorem, is a clean step that keeps the argument elementary. Recovering the Euclidean ball volume as the mass on the unit interval follows immediately as a corollary, and the cocycle discussion plus shifted Bohr-Mollerup characterization add some structure around the main result. That part is done well and stays within the stated axioms. The soft spot is the normalization step itself. The functionals are defined only on compactly supported continuous functions, yet the Gaussian exp(-π u) has full support, so setting the constant to π^{x/2} requires either a continuous extension or an approximation argument that uses positivity and scaling to justify the limit. The abstract does not detail such an approximation, and if the full text relies on the target formula to justify the value, the uniqueness claim would weaken. This is a moderate rather than fatal gap, but it needs explicit handling. The paper is for analysts interested in radial integrals or continuous-dimensional geometry. A reader who already knows Haar measure and wants an axiomatic route to the Gamma measure will get value from the reduction. It deserves a serious referee to check the extension details and the cocycle claims, even if the core reduction is standard. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper classifies positive linear functionals on C_c(R_{>0}) satisfying scaling covariance of degree x/2 together with Gaussian normalization to π^{x/2}. It proves that the unique such functionals are the Mellin-Gamma measures dμ_x(u) = π^{x/2}/Γ(x/2) u^{x/2-1} du for x>0. The result is presented as a rigidity theorem obtained by logarithmic substitution reducing the problem to translation invariance on R, where Haar-measure uniqueness fixes the form up to the constant determined by the Gaussian condition. As a corollary the Euclidean ball volume V(x) = π^{x/2}/Γ(x/2+1) is recovered as the mass of the unit interval; the paper also identifies two multiplicative cocycles for dimension shifts whose ratio is a coboundary and supplies an independent characterization via a shifted Bohr-Mollerup theorem.

Significance. If the uniqueness statement is fully justified, the work supplies a clean axiomatic derivation of the continuous-dimensional volume formula directly from scaling covariance and a single normalization datum, without presupposing analytic continuation or special-function identities. The reduction to Haar uniqueness on the line is a standard and economical step that strengthens the rigidity claim. The cocycle analysis and Bohr-Mollerup variant add structural insight into dimension shifts. The result would be of interest to analysts working on radial integrals and fractional-dimensional geometry, provided the extension of the functional beyond compact support is rigorously established.

major comments (2)

[Proof of the main classification theorem (logarithmic substitution and normalization step)] The axioms are stated for positive linear functionals on C_c(R_{>0}), yet the Gaussian normalization requires the functional (or its extension) to evaluate exp(-π u) and return π^{x/2}. Because exp(-π u) lacks compact support, an explicit approximation argument—e.g., a sequence of compactly supported cutoffs whose integrals converge to the Gaussian value by positivity and scaling covariance alone—must be supplied before the constant can be fixed independently of the Mellin-Gamma expression. The manuscript does not appear to contain such an argument in the proof of the main classification theorem.
[Consequence for Euclidean ball volume] The recovery of the ball-volume formula V(x) = π^{x/2}/Γ(x/2+1) is asserted to follow from the mass of the unit interval under dμ_x. The precise identification between the radial integral of the unit ball and the measure of [0,1] under the Mellin-Gamma density should be written out explicitly, including the change-of-variables factor that converts the functional into the volume expression.

minor comments (2)

The abstract refers to 'two multiplicative cocycles whose ratio is a coboundary given by the dimension function x'; explicit formulas or equations for these cocycles should be displayed in the main text rather than left to the reader to reconstruct.
The uniqueness theorem for Haar measure on R is invoked without a specific reference; a standard citation (e.g., to the locally compact abelian group case) would improve traceability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The comments highlight important points of rigor that strengthen the manuscript. We address each major comment below and will revise the paper accordingly to incorporate the requested clarifications.

read point-by-point responses

Referee: [Proof of the main classification theorem (logarithmic substitution and normalization step)] The axioms are stated for positive linear functionals on C_c(R_{>0}), yet the Gaussian normalization requires the functional (or its extension) to evaluate exp(-π u) and return π^{x/2}. Because exp(-π u) lacks compact support, an explicit approximation argument—e.g., a sequence of compactly supported cutoffs whose integrals converge to the Gaussian value by positivity and scaling covariance alone—must be supplied before the constant can be fixed independently of the Mellin-Gamma expression. The manuscript does not appear to contain such an argument in the proof of the main classification theorem.

Authors: We agree that the normalization step requires an explicit justification for extending the functional beyond C_c. In the revised manuscript we will add a dedicated lemma (placed immediately before the main classification theorem) that constructs a monotone sequence of compactly supported test functions φ_n ↑ exp(-π u) with 0 ≤ φ_n ≤ exp(-π u). Using the scaling covariance of degree x/2 together with positivity, we show that the difference |Λ(φ_n) - π^{x/2}| can be controlled uniformly in n by rescaling the tails; the limit then exists and equals π^{x/2} independently of any a-priori expression for Λ. This fixes the constant without circularity and completes the proof. revision: yes
Referee: [Consequence for Euclidean ball volume] The recovery of the ball-volume formula V(x) = π^{x/2}/Γ(x/2+1) is asserted to follow from the mass of the unit interval under dμ_x. The precise identification between the radial integral of the unit ball and the measure of [0,1] under the Mellin-Gamma density should be written out explicitly, including the change-of-variables factor that converts the functional into the volume expression.

Authors: We accept the request for an explicit derivation. In the revised corollary we will insert a short computation: the Euclidean volume of the unit ball in dimension x is given by the radial integral ∫_{r=0}^1 S_{x-1}(r) dr where S_{x-1}(r) is the surface measure. The substitution u = r^2 together with the standard relation between surface and volume measures yields a factor of (1/2) u^{-1/2} du; applying the Mellin-Gamma functional Λ_x to the resulting integrand over [0,1] then produces exactly π^{x/2}/Γ(x/2+1). The change-of-variables Jacobian is written out in full so that the identification is transparent. revision: yes

Circularity Check

0 steps flagged

Derivation reduces scaling to Haar uniqueness via log substitution; Gaussian normalization is independent axiom

full rationale

The paper's central argument starts from positive linear functionals on C_c(R>0) obeying scaling covariance of degree x/2 together with the separate Gaussian normalization axiom. It applies a logarithmic change of variables to convert the scaling condition into translation invariance on C_c(R), then invokes the standard external uniqueness theorem for Haar measure on R to conclude that any such functional must be of the form c u^{x/2-1} du. The constant c is fixed by imposing the Gaussian normalization value π^{x/2}, which is stated as an independent input rather than derived from the target Mellin-Gamma expression. No self-definitional loop, fitted-input prediction, or load-bearing self-citation appears in the chain. The result therefore remains self-contained once the two axioms and the external Haar fact are granted. The noted technical point that the Gaussian lies outside C_c(R>0) raises a question of continuous extension but does not create a circular reduction of the claimed uniqueness to its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The result rests on three domain assumptions that define the class of functionals; no free parameters are introduced and no new entities are postulated.

axioms (3)

domain assumption Positive linear functionals on C_c(R>0)
Standard setting for representing Radon measures.
domain assumption Scaling covariance of degree x/2
Central functional equation assumed for all positive scaling factors.
domain assumption Gaussian normalization to π^{x/2}
Fixes the overall scale of each functional.

pith-pipeline@v0.9.0 · 5528 in / 1415 out tokens · 73729 ms · 2026-05-08T16:40:08.811157+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

9 extracted references · 5 canonical work pages

[1]

Artin,The Gamma Function, translated by M

E. Artin,The Gamma Function, translated by M. Butler, Athena Series, Holt, Rinehart and Winston, New York, 1964 (German original:Einführung in die Theorie der Gamma- funktion, Teubner, Leipzig, 1931)

1964
[2]

H. Q. Bui and E. Randles, A generalized polar-coordinate integration formula with applications to the study of convolution powers of complex-valued functions onZ d, Journal of Fourier Analysis and Applications28(2022), no. 2, Paper No. 19, 56 pp. doi:10.1007/s00041-022-09905-x

work page doi:10.1007/s00041-022-09905-x 2022
[3]

Comes and T

J. Comes and T. Heidersdorf, Thick ideals in Deligne’s categoryRep(Oδ),Journal of Algebra480(2017), 237–265. doi:10.1016/j.jalgebra.2017.02.018

work page doi:10.1016/j.jalgebra.2017.02.018 2017
[4]

Deligne, La catégorie des représentations du groupe symétriqueSt, lorsquetn’est pas un entier naturel, inAlgebraic Groups and Homogeneous Spaces, Tata Inst

P. Deligne, La catégorie des représentations du groupe symétriqueSt, lorsquetn’est pas un entier naturel, inAlgebraic Groups and Homogeneous Spaces, Tata Inst. Fund. Res. Stud. Math.19, Mumbai, 2007, pp. 209–273

2007
[5]

G. B. Folland,Real Analysis: Modern Techniques and Their Applications, 2nd ed., Pure and Applied Mathematics, Wiley-Interscience, New York, 1999. (Riesz–Markov–Kakutani: Theorem 7.2; uniqueness of Haar measure on locally compact groups: Theorem 11.9.)

1999
[6]

Intertemporal asset pricing,

P. Flajolet, X. Gourdon, and P. Dumas, Mellin transforms and asymptotics: har- monic sums,Theoretical Computer Science144(1995), no. 1–2, 3–58. doi:10.1016/0304- 3975(95)00002-E

work page doi:10.1016/0304- 1995
[7]

Hadamard, Sur l’expression du produit1·2·3· · ·(n−1)par une fonction entière,Œuvres de Jacques Hadamard, Tome I, CNRS, Paris, 1968, pp

J. Hadamard, Sur l’expression du produit1·2·3· · ·(n−1)par une fonction entière,Œuvres de Jacques Hadamard, Tome I, CNRS, Paris, 1968, pp. 167–170; originally published in Bull. Soc. Math. France19(1894)

1968
[8]

Marichal and N

J.-L. Marichal and N. Zenaïdi,A Generalization of Bohr–Mollerup’s Theorem for Higher Order Convex Functions, Developments in Mathematics, vol. 70, Springer, Cham, 2022. doi:10.1007/978-3-030-95088-0

work page doi:10.1007/978-3-030-95088-0 2022
[9]

Marichal and N

J.-L. Marichal and N. Zenaïdi, A generalization of Bohr–Mollerup’s theorem for higher order convex functions: a tutorial,Aequationes Mathematicae98(2024), no. 2, 455–481. doi:10.1007/s00010-023-00968-9. 15

work page doi:10.1007/s00010-023-00968-9 2024