pith. sign in

arxiv: 2606.28211 · v1 · pith:6U32MXYNnew · submitted 2026-06-26 · 🧮 math.AP

A regularity theorem for stationary measures

Luigi Ambrosio , Giovanni Siclari This is my paper

Pith reviewed 2026-06-29 03:10 UTC · model grok-4.3

classification 🧮 math.AP
keywords stationary measuresLaplace-Beltrami eigenvaluesharmonic mapsabsolute continuityouter variationsSteklov eigenvaluesRadon measuresregularity theorem
0
0 comments X

The pith

Any sufficiently regular stationary measure for the Laplace-Beltrami eigenvalue problem is absolutely continuous with a density given by a harmonic map.

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

The paper studies a variational problem for eigenvalues of the Laplace-Beltrami operator on smooth manifolds, where the measures are Radon measures from a suitable class rather than the standard volume form. The work is motivated by questions about conformal eigenvalues in two dimensions. It establishes a regularity theorem for measures that are stationary under outer variations: such measures must be absolutely continuous with respect to the manifold volume, and the density must arise from a harmonic map. This yields applications to Steklov eigenvalues on subdomains. A reader would care because the result converts a measure-theoretic stationarity condition into classical regularity and harmonic map structure.

Core claim

The central result is a regularity theorem for stationary measures with respect to outer variations in the variational problem for Laplace-Beltrami eigenvalues. Any sufficiently regular stationary measure is absolutely continuous with respect to the classical volume measure, and its density is induced by a harmonic map.

What carries the argument

The outer-variation stationarity condition in the variational formulation of Laplace-Beltrami eigenvalues on manifolds, which is used to derive absolute continuity and the harmonic-map density.

If this is right

  • Stationary measures in this class admit densities that solve the harmonic map equation.
  • The regularity result applies directly to Steklov eigenvalue problems on subdomains.
  • Conformal eigenvalue problems in dimension two can be treated by passing through these stationary measures.
  • Any measure that is stationary must coincide with the classical volume measure up to a harmonic density factor.

Where Pith is reading between the lines

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

  • The same outer-variation technique may produce regularity statements for other geometric eigenvalue problems once the stationarity condition is formulated.
  • Minimizers of conformal eigenvalue functionals are expected to be realized by measures whose densities are harmonic maps.
  • The result suggests a route from geometric measure theory to classical harmonic maps that could be tested on explicit manifolds such as the sphere.
  • If the outer-variation framework extends to singular or stratified spaces, the absolute-continuity conclusion may hold in those settings as well.

Load-bearing premise

The stationary measure belongs to a suitable class of Radon measures and satisfies the regularity needed to apply the outer variation analysis.

What would settle it

Exhibiting a Radon measure that is stationary under outer variations yet singular with respect to volume measure, or whose density fails to satisfy the harmonic map equation, would falsify the claim.

read the original abstract

We investigate a variational problem for eigenvalues of the Laplace-Beltrami operator on smooth manifolds with respect to Radon measures belonging to a suitable class; we are motivated by conformal eigenvalues in dimension two. Our main result is a regularity result for stationary measures with respect to outer variations. More precisely, we prove that any sufficiently regular stationary measure is absolutely continuous with respect to the classical volume measure and that its density is induced by an harmonic map. Our result has some interesting applications to Steklov eigenvalues on subdomains.

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.

Referee Report

0 major / 0 minor

Summary. The manuscript investigates a variational problem for eigenvalues of the Laplace-Beltrami operator on smooth manifolds with respect to a suitable class of Radon measures, motivated by conformal eigenvalues in dimension two. The central result is a regularity theorem for stationary measures under outer variations: any sufficiently regular stationary measure is absolutely continuous with respect to the classical volume measure, with its density induced by a harmonic map. Applications to Steklov eigenvalues on subdomains are indicated.

Significance. If the result holds, the theorem supplies a regularity statement that connects stationarity conditions in eigenvalue variational problems to absolute continuity and harmonic-map densities. This could be useful for analyzing conformal and Steklov eigenvalue problems via geometric measure theory techniques. The approach appears internally consistent with standard outer-variation methods, though verification of the derivation steps is not possible from the supplied abstract alone.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for noting the potential utility of the regularity result connecting stationarity to absolute continuity via harmonic maps. No explicit major comments were provided in the report beyond the general assessment and the observation that verification of derivations is not possible from the abstract alone.

read point-by-point responses

  1. Referee: The approach appears internally consistent with standard outer-variation methods, though verification of the derivation steps is not possible from the supplied abstract alone.

    Authors: We agree that the abstract alone does not permit full verification. The complete manuscript contains the detailed proofs of the regularity theorem for stationary measures under outer variations, including the steps establishing absolute continuity and the harmonic-map density. We are prepared to expand on any specific derivation if the referee identifies particular steps after reviewing the full text. revision: no

Circularity Check

0 steps flagged

No significant circularity; theorem is self-contained

full rationale

The paper states a regularity theorem for stationary measures arising from a variational problem on Laplace-Beltrami eigenvalues. The claimed result (absolute continuity of sufficiently regular stationary measures and density induced by a harmonic map) is presented as a consequence of outer-variation stationarity analysis applied to Radon measures in a suitable class. No equations, definitions, or steps in the abstract reduce a prediction or central claim to a fitted input, self-citation chain, or renaming of known results by construction. The derivation is a standard mathematical proof in geometric measure theory and does not rely on load-bearing self-citations or ansatzes smuggled from prior author work. This is the normal case of an independent theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger records the minimal background assumptions visible in the problem statement; no free parameters, invented entities, or ad-hoc axioms are detectable from the given text.

axioms (1)
  • domain assumption The variational problem for Laplace-Beltrami eigenvalues is well-posed when the measures belong to a suitable class of Radon measures.
    The abstract explicitly invokes this class to set up the variational problem and the notion of stationarity.

pith-pipeline@v0.9.1-grok · 5596 in / 1114 out tokens · 47131 ms · 2026-06-29T03:10:37.784523+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

26 extracted references · 17 canonical work pages

  1. [1]

    2011 , PAGES =

    Fukushima, Masatoshi and Oshima, Yoichi and Takeda, Masayoshi , TITLE =. 2011 , PAGES =

    2011

  2. [2]

    In preparation , FJOURNAL =

    Bisterzo, Andrea and Ognibene, Roberto and Roychowdhury, Prasun and Siclari, Giovanni , TITLE =. In preparation , FJOURNAL =

  3. [3]

    Girouard, Alexandre and Karpukhin, Mikhail and Lagac\'e, Jean , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00039-021-00573-5 , URL =

    work page doi:10.1007/s00039-021-00573-5 2021

  4. [4]

    and Yau, Shing Tung , TITLE =

    Yang, Paul C. and Yau, Shing Tung , TITLE =. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , FJOURNAL =. 1980 , NUMBER =

    1980

  5. [5]

    , TITLE =

    Nadirashvili, N. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/BF02246788 , URL =

    work page doi:10.1007/bf02246788 1996

  6. [6]

    Geometric analysis, mathematical relativity, and nonlinear partial differential equations , SERIES =

    Fraser, Ailana and Schoen, Richard , TITLE =. Geometric analysis, mathematical relativity, and nonlinear partial differential equations , SERIES =. 2013 , ISBN =. doi:10.1090/conm/599/11927 , URL =

    work page doi:10.1090/conm/599/11927 2013

  7. [7]

    2002 , PAGES =

    H\'elein, Fr\'ed\'eric , TITLE =. 2002 , PAGES =. doi:10.1017/CBO9780511543036 , URL =

    work page doi:10.1017/cbo9780511543036 2002

  8. [8]

    El Soufi, Ahmad and Ilias, Sa\"id , TITLE =. J. Geom. Phys. , FJOURNAL =. 2008 , NUMBER =. doi:10.1016/j.geomphys.2007.09.008 , URL =

    work page doi:10.1016/j.geomphys.2007.09.008 2008

  9. [9]

    Karpukhin, Mikhail and Stern, Daniel , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2024 , NUMBER =. doi:10.4171/jems/1401 , URL =

    work page doi:10.4171/jems/1401 2024

  10. [10]

    and LEDOUX, M

    Bakry, Dominique and Gentil, Ivan and Ledoux, Michel , TITLE =. 2014 , PAGES =. doi:10.1007/978-3-319-00227-9 , URL =

    work page doi:10.1007/978-3-319-00227-9 2014

  11. [11]

    Kokarev, Gerasim , TITLE =. Adv. Math. , FJOURNAL =. 2014 , PAGES =. doi:10.1016/j.aim.2014.03.006 , URL =

    work page doi:10.1016/j.aim.2014.03.006 2014

  12. [12]

    Korevaar, Nicholas , TITLE =. J. Differential Geom. , FJOURNAL =. 1993 , NUMBER =

    1993

  13. [13]

    , TITLE =

    Dunford, Nelson and Schwartz, Jacob T. , TITLE =. 1988 , PAGES =

    1988

  14. [14]

    , TITLE =

    Bakry, D. , TITLE =. New trends in stochastic analysis (. 1997 , ISBN =

    1997

  15. [15]

    Hersch, Joseph , TITLE =. C. R. Acad. Sci. Paris S\'er. A-B , FJOURNAL =. 1970 , PAGES =

    1970

  16. [16]

    Petrides, Romain , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2014 , NUMBER =. doi:10.1090/S0002-9939-2014-12095-8 , URL =

    work page doi:10.1090/s0002-9939-2014-12095-8 2014

  17. [17]

    Petrides, Romain , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2018 , NUMBER =. doi:10.1093/imrn/rnx004 , URL =

    work page doi:10.1093/imrn/rnx004 2018

  18. [18]

    Petrides, Romain , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2014 , NUMBER =. doi:10.1007/s00039-014-0292-5 , URL =

    work page doi:10.1007/s00039-014-0292-5 2014

  19. [19]

    and Ilias, S

    El Soufi, A. and Ilias, S. , TITLE =. Math. Ann. , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF01458460 , URL =

    work page doi:10.1007/bf01458460 1986

  20. [20]

    Colbois, Bruno and El Soufi, Ahmad , TITLE =. Ann. Global Anal. Geom. , FJOURNAL =. 2003 , NUMBER =. doi:10.1023/A:1026257431539 , URL =

    work page doi:10.1023/a:1026257431539 2003

  21. [21]

    Internat

    Friedlander, Leonid and Nadirashvili, Nikolai , TITLE =. Internat. Math. Res. Notices , FJOURNAL =. 1999 , NUMBER =. doi:10.1155/S1073792899000495 , URL =

    work page doi:10.1155/s1073792899000495 1999

  22. [22]

    Longa, Eduardo , TITLE =. J. Geom. Anal. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s12220-024-01888-z , URL =

    work page doi:10.1007/s12220-024-01888-z 2025

  23. [23]

    and Polterovich, Iosif , TITLE =

    Karpukhin, Mikhail and Nadirashvili, Nikolai and Penskoi, Alexei V. and Polterovich, Iosif , TITLE =. Surveys in differential geometry 2019. [2022] 2022 , ISBN =

    2019

  24. [24]

    Nadirashvili, Nikolai and Sire, Yannick , TITLE =. Mosc. Math. J. , FJOURNAL =. 2015 , NUMBER =. doi:10.17323/1609-4514-2015-15-4-767-775 , URL =

    work page doi:10.17323/1609-4514-2015-15-4-767-775 2015

  25. [25]

    Nadirashvili, Nikolai and Sire, Yannick , TITLE =. Mosc. Math. J. , FJOURNAL =. 2015 , NUMBER =. doi:10.17323/1609-4514-2015-15-1-123-140 , URL =

    work page doi:10.17323/1609-4514-2015-15-1-123-140 2015

  26. [26]

    Nadirashvili, Nikolai , TITLE =. J. Differential Geom. , FJOURNAL =. 2002 , NUMBER =

    2002