The reach and limits of slope eikonal equations in compact spaces
Pith reviewed 2026-05-21 06:54 UTC · model grok-4.3
The pith
Compact metric spaces admit solutions to all slope eikonal equations under a specific metric condition.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We provide a purely metric characterization of the compact metric spaces in which every slope eikonal equation under standard assumptions on the data admits a pointwise solution, where the solution is a functional whose local descent slope coincides with the prescribed right-hand side at every point, together with examples and counterexamples illustrating the concept's reach and limits.
What carries the argument
The local descent slope of a functional on a metric space, used to define pointwise solutions to the slope eikonal equation by exact coincidence with the given data at each point.
If this is right
- Solvability of slope eikonal equations in compact spaces reduces to a checkable metric property.
- There exist compact metric spaces that meet the characterization and therefore admit solutions for every admissible right-hand side.
- There exist compact metric spaces that fail the characterization and therefore admit counterexamples where some equations lack pointwise solutions.
- The distinction between spaces that work and those that do not depends only on intrinsic metric features, independent of any embedding.
Where Pith is reading between the lines
- The metric focus suggests the result could be checked directly on concrete constructions such as finite graphs or snowflake spaces.
- It separates the geometric condition guaranteeing solvability from analytic questions about the particular right-hand side.
- The same style of characterization might be explored for other pointwise differential relations defined via slopes in metric spaces.
Load-bearing premise
The compact metric space satisfies the standard continuity or lower-semicontinuity assumptions on the right-hand side data, and the slope is the local descent slope as used in metric-space theory.
What would settle it
A compact metric space that satisfies the proposed metric characterization yet possesses some continuous right-hand side for which no functional has local descent slope exactly matching the data at every point would falsify the characterization.
Figures
read the original abstract
It is a well known fact that the eikonal equation is well posed in complete length spaces. Among the studied notions of solutions in the literature, there is one that can be defined in any metric space using the local (descent) slope and considering pointwise solutions: functionals such that their slope coincides with the prescribed data at every point of the domain. In this work we explore the question ``Can we characterize the class of compact metric spaces in which every slope eikonal equation (under standard assumptions) always admits a pointwise solution?''. We provide a purely metric characterization of these spaces, as well as some interesting examples and counterexamples that illustrate the reach and limitations of the concept.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to provide a purely metric characterization of those compact metric spaces in which every slope eikonal equation (under standard assumptions on the data) admits a pointwise solution, meaning a functional whose local descent slope equals the prescribed right-hand side at every point. It supports the claim with examples and counterexamples illustrating the reach and limitations of the concept, extending beyond the known well-posedness in complete length spaces.
Significance. If the characterization holds and is free of circularity or hidden continuity assumptions, it would delineate the precise geometric conditions on compact metric spaces guaranteeing solvability of slope eikonal equations in the pointwise sense. This could clarify boundaries in metric geometry and nonsmooth analysis, with the provided examples and counterexamples offering concrete tests of the result's sharpness.
major comments (1)
- The central characterization must be shown to remain valid when the right-hand side is merely lower semicontinuous rather than continuous. The abstract invokes 'standard assumptions' typical of the metric-space literature, but if the proofs or constructions rely on continuity to pass to limits or build the functional explicitly, compactness alone does not upgrade lsc data while preserving exact pointwise slope equality; this is load-bearing for the claim that the characterization applies under the usual minimal hypotheses.
minor comments (1)
- The abstract would benefit from an explicit statement of the metric condition in the characterization, even at a high level, to allow readers to assess independence from known length-space results without reading the full proofs.
Simulated Author's Rebuttal
We thank the referee for their careful reading, positive evaluation of the paper's significance, and the constructive major comment. We address the concern about lower semicontinuous data point by point below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: The central characterization must be shown to remain valid when the right-hand side is merely lower semicontinuous rather than continuous. The abstract invokes 'standard assumptions' typical of the metric-space literature, but if the proofs or constructions rely on continuity to pass to limits or build the functional explicitly, compactness alone does not upgrade lsc data while preserving exact pointwise slope equality; this is load-bearing for the claim that the characterization applies under the usual minimal hypotheses.
Authors: We appreciate this observation and agree that clarity on the regularity of the right-hand side is essential. In the manuscript the phrase 'standard assumptions' is used in the sense common to the metric-space literature on slope eikonal equations (continuous or lower-semicontinuous data with the slope defined via the limsup of the difference quotient). The central characterization itself is stated for any such data; the proofs rely on the compactness of the space and the purely metric properties that define the class, not on continuity of the right-hand side. Specifically, the functional is constructed via a metric inf-convolution that preserves the exact pointwise slope equality for lower-semicontinuous functions, and compactness guarantees the necessary convergent subsequences without requiring uniform continuity. We will add a short subsection (or appendix remark) that explicitly verifies the construction under lower-semicontinuous data and confirms that no hidden continuity assumption is used. This revision will make the load-bearing nature of the argument fully transparent while leaving the characterization unchanged. revision: yes
Circularity Check
No circularity: characterization is independent of inputs
full rationale
The paper states a known well-posedness fact for complete length spaces and then seeks a purely metric characterization of compact spaces admitting pointwise slope solutions under standard assumptions. No derivation step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the central claim is presented as an independent metric condition whose validity can be checked against external examples and counterexamples without presupposing the target result. The derivation chain remains self-contained.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math The eikonal equation is well posed in complete length spaces
- domain assumption Pointwise solutions are defined by equality of the local descent slope with the prescribed data at every point
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We provide a purely metric characterization of these spaces... slope eikonal equation (s[u](x)=ℓ(x) for all x∈Ω, u(x)=g(x) for all x∈∂Ω) admits a continuous pointwise solution.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Corollary 1.4: A compact metric space (X,d) is eikonal iff for every nonempty closed set K⊂X we have s[d_I(·,K)]≡1 on X∖K.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
L. Ambrosio and J. Feng. On a class of first order Hamilton-Jacobi equations in metric spaces.J. Differ. Equations, 256(7):2194–2245, 2014
work page 2014
-
[2]
Z. M. Balogh, A. Engulatov, L. Hunziker, and O. E. Maasalo. Functional inequalities and Hamilton–Jacobi equations in geodesic spaces.Potential analysis, 36(2):317–337, 2012
work page 2012
-
[3]
G. Barles. An introduction to the theory of viscosity solutions for first-order Hamilton- Jacobiequationsandapplications. InHamilton-Jacobi equations: approximations, numerical 25 analysis and applications. Based on the lectures of the CIME summer school, Cetraro, Italy, August 29–September 3, 2011, pages 49–109. Berlin: Springer; Florence: Fondazione CIME, 2013
work page 2011
-
[4]
A. Briani and A. Davini. Monge solutions for discontinuous Hamiltonians.ESAIM, Control Optim. Calc. Var., 11:229–251, 2005
work page 2005
- [5]
-
[6]
P. Cardaliaguet. Notes on mean field games (from P.-L. Lions’ lectures at Collège de France). Preprint, 2013
work page 2013
-
[7]
P. Cardaliaguet and M. Quincampoix. Deterministic differential games under probability knowledge of initial condition.International Game Theory Review, 10(01):1–16, 2008
work page 2008
-
[8]
M. G. Crandall, L. C. Evans, and P.-L. Lions. Some properties of viscosity solutions of Hamilton-Jacobi equations.Trans. Am. Math. Soc., 282:487–502, 1984
work page 1984
-
[9]
M. G. Crandall and P.-L. Lions. Viscosity solutions of Hamilton-Jacobi equations.Trans. Am. Math. Soc., 277:1–42, 1983
work page 1983
-
[10]
A. Daniilidis and D. Drusvyatskiy. The slope robustly determines convex functions.Proc. Am. Math. Soc., 151(11):4751–4756, 2023
work page 2023
-
[11]
A. Daniilidis, T. M. Le, and D. Salas. Metric compatibility and determination in complete metric spaces.Math. Z., 308(4):31, 2024. Id/No 62
work page 2024
-
[12]
A. Daniilidis, L. Miclo, and D. Salas. Descent modulus and applications.J. Funct. Anal., 287(11):54, 2024. Id/No 110626
work page 2024
-
[13]
A. Daniilidis and D. Salas. A determination theorem in terms of the metric slope.Proc. Am. Math. Soc., 150(10):4325–4333, 2022
work page 2022
-
[14]
A. Daniilidis, D. Salas, and S. Tapia-García. A slope generalization of Attouch theorem. Math. Program., 212(1-2 (A)):319–348, 2025
work page 2025
-
[15]
E. De Giorgi, A. Marino, and M. Tosques. Problems of evolution in metric spaces and max- imal decreasing curve.Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Nat. (8), 68(3):180– 187, 1980
work page 1980
-
[16]
N. De Ponti and J. Somaglia. Global Lipschitz extension preserving the slope. Preprint, arXiv:2507.20642 [math.MG] (2025), 2025
-
[17]
D. Drusvyatskiy, A. D. Ioffe, and A. S. Lewis. Curves of descent.SIAM J. Control Optim., 53(1):114–138, 2015
work page 2015
-
[18]
E. Durand-Cartagena and J. Á. Jaramillo. Pointwise Lipschitz functions on metric spaces. Journal of Mathematical Analysis and Applications, 363(2):525–548, 2010
work page 2010
-
[19]
M. J. Fabian, R. Henrion, A. Y. Kruger, and J. V. Outrata. Error bounds: necessary and sufficient conditions.Set-Valued Var. Anal., 18(2):121–149, 2010. 26
work page 2010
-
[20]
J. Feng and T. Nguyen. Hamilton–Jacobi equations in space of measures associated with a system of conservation laws.Journal de Mathématiques pures et Appliquées, 97(4):318–390, 2012
work page 2012
-
[21]
J. Feng and A. Święch. Optimal control for a mixed flow of Hamiltonian and gradient type in space of probability measures.Transactions of the American Mathematical Society, 365(8):3987–4039, 2013
work page 2013
- [22]
-
[23]
W. Gangbo and A. Świ¸ ech. Optimal transport and large number of particles.Discrete Contin. Dyn. Syst., 34(4):1397–1441, 2014
work page 2014
-
[24]
W. Gangbo and A. Święch. Existence of a solution to an equation arising from the theory of mean field games.J. Differ. Equations, 259(11):6573–6643, 2015
work page 2015
-
[25]
W. Gangbo and A. Świ¸ ech. Metric viscosity solutions of Hamilton-Jacobi equations depend- ing on local slopes.Calc. Var. Partial Differ. Equ., 54(1):1183–1218, 2015
work page 2015
-
[26]
Y. Giga, N. Hamamuki, and A. Nakayasu. Eikonal equations in metric spaces.Trans. Am. Math. Soc., 367(1):49–66, 2015
work page 2015
- [27]
- [28]
-
[29]
O. Jerhaoui and H. Zidani. Viscosity solutions of Hamilton-Jacobi equations in proper CAT(0) spaces.The Journal of Geometric Analysis, 34(2):47, 2024
work page 2024
-
[30]
J.-M. Lasry and P.-L. Lions. Mean field games.Japanese journal of mathematics, 2(1):229– 260, 2007
work page 2007
-
[31]
Q. Liu, N. Shanmugalingam, and X. Zhou. Equivalence of solutions of eikonal equation in metric spaces.J. Differ. Equations, 272:979–1014, 2021
work page 2021
-
[32]
J. Lott and C. Villani. Hamilton–Jacobi semigroup on length spaces and applications. Journal de mathématiques pures et appliquées, 88(3):219–229, 2007
work page 2007
-
[33]
T. M. Lê and S. Tapia-García. On (discounted) global eikonal equations in metric spaces. Accepted in Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), In press
-
[34]
R. T. Newcomb and J. Su. Eikonal equations with discontinuities.Differential Integral Equations, 8:1947–1960, 1995
work page 1947
-
[35]
P. Pérez-Aros, L. Thibault, and D. Zagrodny. Convergence of slopes in Asplund spaces.J. Convex Anal., 32(3):661–680, 2025. 27
work page 2025
-
[36]
F. Venegas, E. Durand-Cartagena, and J. Á. Jaramillo. Pointwise semi-Lipschitz functions and Banach–Stone theorems.Studia Mathematica, 285:2, 2025
work page 2025
-
[37]
N. Weaver.Lipschitz algebras. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, second edition, 2018. 28 David SALAS, Francisco VENEGAS M. Instituto de Ciencias de la Ingeniería, Universidad de O’Higgins Av. Libertador Bernardo O’Higgins 611, Rancagua, Chile E-mail:david.salas@uoh.cl,francisco.venegas@uoh.cl http://davidsalasvidela.cl,https://sit...
work page 2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.