arxiv: 2604.24485 · v1 · submitted 2026-04-27 · 🧮 math.FA

Recognition: unknown

Integral representation of polynomial local functionals on convex functions

Jonas Knoerr

Pith reviewed 2026-05-07 17:35 UTC · model grok-4.3

classification 🧮 math.FA

keywords integral representationpolynomial local functionalsconvex functionsGoodey-Weil distributionsPaley-Wiener-Schwartz theoremMonge-Ampère operatorslocal functionalsconvex geometry

0 comments

The pith

Continuous polynomial local functionals on convex functions admit integral representations via a finite family of polynomials.

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

The paper proves that every continuous polynomial local functional on convex functions can be written as an integral against a finite collection of polynomials. It reaches this by first giving a complete classification of the dense subspace of smooth such functionals, using a Paley-Wiener-Schwartz-type description of the Goodey-Weil distributions that represent them once support restrictions are imposed, and then passing to the continuous case by approximation. A reader would care because these functionals appear in convex geometry and variational problems; an explicit integral form turns abstract objects into concrete expressions that can be manipulated directly.

Core claim

Integral representations for continuous polynomial local functionals on convex functions are established in terms of a finite family of polynomials. This result is obtained by approximation from a classification of the dense subspace of smooth polynomial local functionals, which is based on a Paley-Wiener-Schwartz-type classification of the Goodey-Weil distributions associated to these functionals under support restrictions.

What carries the argument

The Goodey-Weil distributions attached to the smooth polynomial local functionals, classified via a Paley-Wiener-Schwartz-type theorem once their supports are restricted, which yields the integral representation for the smooth case and, by density, for the continuous case.

If this is right

Density results hold for various families of Monge-Ampère-type operators.
Every continuous polynomial local functional is the uniform limit of smooth ones that each possess an explicit integral representation.
The finite-polynomial structure allows direct comparison and approximation between different local functionals.
Support-restricted Goodey-Weil distributions determine the functionals completely once the polynomial degree is fixed.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same classification technique could be tested on local functionals that are not polynomial, to see whether finite integral representations survive.
The representations may supply explicit formulas for the total variation or curvature measures associated to convex bodies.
Connections between these functionals and translation-invariant valuations in convex geometry become more accessible once the integral form is available.

Load-bearing premise

Smooth polynomial local functionals are dense in the continuous ones, and the Paley-Wiener-Schwartz classification of their Goodey-Weil distributions remains valid under the imposed support restrictions.

What would settle it

A concrete continuous polynomial local functional on convex functions that cannot be expressed as an integral involving only finitely many polynomials, or a failure of density between the smooth and continuous classes.

read the original abstract

Integral representations for continuous polynomial local functionals on convex functions are established in terms of a finite family of polynomials. This result is obtained by approximation from a classification of the dense subspace of smooth polynomial local functionals, which is based on a Paley--Wiener--Schwartz-type classification of the Goodey--Weil distributions associated to these functionals under support restrictions. As an application, density results for various families of Monge--Amp\`ere-type operators are established.

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 classifies smooth polynomial local functionals via a Paley-Wiener-Schwartz result on Goodey-Weil distributions under support restrictions, then extends integral representations to the continuous case by density, plus some Monge-Ampère density statements.

read the letter

The main advance here is the explicit integral representation for continuous polynomial local functionals on convex functions, written in terms of a finite family of polynomials. The route is to first handle the smooth dense subspace by associating Goodey-Weil distributions and applying a support-restricted Paley-Wiener-Schwartz theorem to classify them, then pass to the limit. The Monge-Ampère density corollaries come out of the same machinery. That classification step for the smooth case is the genuinely new piece relative to earlier work on local functionals and valuations. It gives a concrete description rather than an abstract existence result, which is useful inside the subfield. The finite-family aspect is also clean and worth having on record. The approximation argument is the part that needs the most care. The paper must show that the local polynomial property and the representing polynomials survive the limit in the chosen topology on convex functions, and that the support restrictions do not blow up the constants. If the estimates are uniform enough, the extension works; otherwise the continuous case could require separate justification. From the text, the authors appear to track the necessary continuity, but it is the load-bearing step. This is specialized work aimed at people already reading papers on convex bodies, local functionals, and Monge-Ampère operators. A reader who cares about integral representations or density results in that corner of functional analysis will get concrete tools from it. It is not reshaping the broader field, but the claims are specific and the method is standard enough that the paper deserves a serious referee. I would send it to peer review.

Referee Report

1 major / 1 minor

Summary. The paper establishes integral representations for continuous polynomial local functionals on convex functions, expressed in terms of a finite family of polynomials. The proof proceeds by first obtaining a classification of the dense subspace of smooth polynomial local functionals via a Paley-Wiener-Schwartz-type result on the associated Goodey-Weil distributions (under suitable support restrictions), followed by a density/approximation argument to pass to the continuous case. An application yields density results for various families of Monge-Ampère-type operators.

Significance. If the density argument and limit passage are rigorously justified, the result supplies an explicit, finite-polynomial representation that could serve as a useful tool in convex analysis and related PDE theory. The distributional approach via Goodey-Weil measures is a methodological strength that connects the work to existing literature on valuations and local functionals. The application to Monge-Ampère densities is a natural and potentially impactful corollary.

major comments (1)

The central approximation step from the classified smooth polynomial local functionals to the continuous case (detailed after the Paley-Wiener-Schwartz classification) requires explicit verification that the finite-family polynomial integral representation survives the limit in the topology on convex functions. The support restrictions on the Goodey-Weil distributions do not automatically guarantee uniform control on the representing polynomials or measures, which is needed for the representation to pass to the closure without additional error estimates or continuity arguments.

minor comments (1)

Notation for the Goodey-Weil distributions and the precise topology on the space of convex functions should be introduced earlier and used consistently throughout the approximation argument.

Simulated Author's Rebuttal

1 responses · 0 unresolved

Thank you for the detailed review. We are pleased that the referee finds the distributional approach and the application to Monge-Ampère operators potentially impactful. We address the concern about the approximation step.

read point-by-point responses

Referee: The central approximation step from the classified smooth polynomial local functionals to the continuous case (detailed after the Paley-Wiener-Schwartz classification) requires explicit verification that the finite-family polynomial integral representation survives the limit in the topology on convex functions. The support restrictions on the Goodey-Weil distributions do not automatically guarantee uniform control on the representing polynomials or measures, which is needed for the representation to pass to the closure without additional error estimates or continuity arguments.

Authors: We agree that the passage to the limit requires more explicit justification than provided in the original manuscript. The support restrictions from the Paley-Wiener-Schwartz result do give some control, but to ensure uniform bounds on the representing polynomials, we will add error estimates and a continuity argument in the revised version. Specifically, we will show that the approximation can be chosen so that the polynomials converge in a suitable norm, preserving the integral representation due to the local property of the functionals. revision: yes

Circularity Check

0 steps flagged

No circularity; standard density argument from smooth classification to continuous case

full rationale

The derivation classifies smooth polynomial local functionals via a Paley-Wiener-Schwartz-type result on Goodey-Weil distributions (under support restrictions) and then passes to the continuous case by density and approximation. This is a conventional functional-analytic technique that does not reduce the target representation to its inputs by construction, nor does it rely on fitted parameters renamed as predictions, self-definitional loops, or load-bearing self-citations whose content is unverified. The abstract and description give no equations or statements that equate the final integral representation to a tautological renaming or to a parameter fitted on the same data. The paper is therefore self-contained against external benchmarks of distribution theory and approximation in convex analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities are described. The work appears to rest on standard background from convex analysis and distribution theory without introducing new postulated objects.

pith-pipeline@v0.9.0 · 5353 in / 1190 out tokens · 103578 ms · 2026-05-07T17:35:22.477447+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

33 extracted references · 3 canonical work pages

[1]

Alberti,Integral representation of local functionals, Ann

G. Alberti,Integral representation of local functionals, Ann. Mat. Pura Appl. (4)165 (1993), 49–86. MR1271411

1993
[2]

Alesker,The multiplicative structure on continuous polynomial valuations, Geom

S. Alesker,The multiplicative structure on continuous polynomial valuations, Geom. Funct. Anal.14(2004), no. 1, 1–26. MR2053598

2004
[3]

,Plurisubharmonic functions on the octonionic plane and Spin(9)-invariant valuations on convex sets, J. Geom. Anal.18(2008), no. 3, 651–686. MR2420758

2008
[4]

Geom.19(2019), no

,Valuations on convex functions and convex sets and Monge-Amp` ere opera- tors, Adv. Geom.19(2019), no. 3, 313–322. MR3982569

2019
[5]

B locki,Equilibrium measure of a product subset ofC n, Proc

Z. B locki,Equilibrium measure of a product subset ofC n, Proc. Amer. Math. Soc. 128(2000), no. 12, 3595–3599. MR1707508

2000
[6]

Bottaro and P

G. Bottaro and P. Oppezzi,Multiple integral representations of functionals depen- dent on Banach-valued functions, Ann. Mat. Pura Appl. (4)139(1985), 191–225. MR798174

1985
[7]

Buttazzo and G

G. Buttazzo and G. Dal Maso,A characterization of nonlinear functionals on Sobolev spaces which admit an integral representation with a Carath´ eodory integrand, J. Math. Pures Appl. (9)64(1985), no. 4, 337–361. MR839727

1985
[8]

6, 515–532

,Integral representation and relaxation of local functionals, Nonlinear Anal.9 (1985), no. 6, 515–532. MR794824

1985
[9]

Colesanti, M

A. Colesanti, M. Ludwig, and F. Mussnig,The Hadwiger theorem on convex func- tions, III: Steiner formulas and mixed Monge-Amp` ere measures, Calc. Var. Partial Differential Equations61(2022), no. 5, Paper No. 181, 37. MR4453228

2022
[10]

Math.413(2023), Paper No

,The Hadwiger theorem on convex functions, IV: The Klain approach, Adv. Math.413(2023), Paper No. 108832. MR4526493

2023
[11]

,The Hadwiger theorem on convex functions, I, Geom. Funct. Anal.34(2024), no. 6, 1839–1898. MR4823212

2024
[12]

,The Hadwiger theorem on convex functions, II: Cauchy-Kubota formulas, Amer. J. Math.147(2025), no. 4, 927–955. MR4938045

2025
[13]

Dal Maso, A

G. Dal Maso, A. Defranceschi, and E. Vitali,Integral representation for a class of C 1-convex functionals, J. Math. Pures Appl. (9)73(1994), no. 1, 1–46. MR1260599

1994
[14]

Eisenbud,Commutative algebra, Graduate Texts in Mathematics, vol

D. Eisenbud,Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995. With a view toward algebraic geometry. MR1322960

1995
[15]

Essebei, A

F. Essebei, A. Pinamonti, and S. Verzellesi,Integral representation of local functionals depending on vector fields, Adv. Calc. Var.16(2023), no. 3, 767–789. MR4609808

2023
[16]

Goodey and W

P. Goodey and W. Weil,Distributions and valuations, Proc. London Math. Soc. (3) 49(1984), no. 3, 504–516. MR759301

1984
[17]

Goodman and N

R. Goodman and N. R. Wallach,Symmetry, representations, and invariants, Gradu- ate Texts in Mathematics, vol. 255, Springer, Dordrecht, 2009. MR2522486

2009
[18]

Hadwiger,Vorlesungen ¨ uber Inhalt, Oberfl¨ ache und Isoperimetrie, Springer, Berlin- G¨ ottingen-Heidelberg, 1957

H. Hadwiger,Vorlesungen ¨ uber Inhalt, Oberfl¨ ache und Isoperimetrie, Springer, Berlin- G¨ ottingen-Heidelberg, 1957. MR0102775

1957
[19]

H¨ ormander,The analysis of linear partial differential operators

L. H¨ ormander,The analysis of linear partial differential operators. I, Classics in Math- ematics, Springer, Berlin, 2003. MR1996773

2003
[20]

Knoerr,A geometric decomposition for unitarily invariant valuations on convex functions, to appear in J

J. Knoerr,A geometric decomposition for unitarily invariant valuations on convex functions, to appear in J. Eur. Math. Soc. (JEMS)
[21]

,The support of dually epi-translation invariant valuations on convex func- tions, J. Funct. Anal.281(2021), no. 5, Paper No. 109059, 52. MR4252807

2021
[22]

,Monge-Amp` ere operators and valuations, Calc. Var. Partial Differential Equations63(2024), no. 4, Paper No. 89, 34. MR4728223

2024
[23]

,A Paley–Wiener–Schwartz theorem for smooth valuations on convex func- tions, arXiv:2505.22464 (2025), available at2505.22464

work page arXiv 2025
[24]

,Polynomial local functionals on convex functions, arXiv:2512.15402 (2025), available at2512.15402

work page arXiv 2025
[25]

,Singular Valuations and the Hadwiger Theorem on Convex Functions, J. Geom. Anal.35(2025), no. 11, Paper No. 336. MR4953188 44 JONAS KNOERR

2025
[26]

,Unitarily invariant valuations on convex functions, J. Lond. Math. Soc. (2) 113(2026), no. 4, Paper No. e70533. MR5056330

2026
[27]

Knoerr and J

J. Knoerr and J. Ulivelli,Polynomial valuations on convex functions and their maxi- mal extensions, J. Funct. Anal.290(2026), no. 4, 111253

2026
[28]

Maione, A

A. Maione, A. Pinamonti, and F. Serra Cassano, Γ-convergence for functionals de- pending on vector fields. I. Integral representation and compactness, J. Math. Pures Appl. (9)139(2020), 109–142. MR4108409

2020
[29]

M. A. Mouamine and F. Mussnig,The vectorial Hadwiger theorem on convex func- tions, arXiv:2504.04952 (2025)

work page arXiv 2025
[30]

Mussnig,Volume, polar volume and Euler characteristic for convex functions, Adv

F. Mussnig,Volume, polar volume and Euler characteristic for convex functions, Adv. Math.344(2019), 340–373. MR3897436

2019
[31]

A. V. Pukhlikov and A. G. Khovanski˘i,Finitely additive measures of virtual polyhedra, Algebra i Analiz4(1992), no. 2, 161–185. MR1182399

1992
[32]

Schneider,Convex bodies: the Brunn-Minkowski theory, expanded, Encyclopedia of Mathematics and its Applications, vol

R. Schneider,Convex bodies: the Brunn-Minkowski theory, expanded, Encyclopedia of Mathematics and its Applications, vol. 151, Cambridge University Press, Cambridge,
[33]

MR3155183 Jonas Knoerr,Institute of Discrete Mathematics and Geometry, TU Wien, Wiedner Hauptstrasse 8-10, 1040 Wien, Austria E-mail address:jonas.knoerr@tuwien.ac.at