pith. sign in

arxiv: 1907.09826 · v1 · pith:TSW7YHLUnew · submitted 2019-07-23 · 🧮 math.DG · math.AP

Harmonic Coordinates for the Nonlinear Finsler Laplacian and Some Regularity Results for Berwald Metrics

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

classification 🧮 math.DG math.AP
keywords Finsler manifoldnonlinear Laplacianharmonic coordinatesMyers-Steenrod theoremBerwald metricsisometry groupregularity
0
0 comments X

The pith

Finsler manifolds admit harmonic coordinates for the nonlinear Laplacian, proving their isometry groups are Lie groups.

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

The paper proves existence of local harmonic coordinates for the nonlinear Laplacian on any Finsler manifold. These coordinates simplify the operator and are used to establish that the isometry group of a Finsler manifold is a Lie group, extending the classical Myers-Steenrod theorem. The construction does not yield optimal regularity for the fundamental tensor as in the Riemannian setting, but produces partial regularity results when the metric is Berwald.

Core claim

Existence of harmonic coordinates is established for the nonlinear Laplacian of a Finsler manifold. These coordinates are applied to prove the Myers-Steenrod theorem for Finsler manifolds. When the Finsler metric is Berwald, some partial regularity results for the fundamental tensor follow.

What carries the argument

Harmonic coordinates for the nonlinear Finsler Laplacian, which locally simplify the nonlinear elliptic operator defined by the Finsler metric.

If this is right

  • The isometry group of every Finsler manifold is a Lie group.
  • Local coordinates exist in which the nonlinear Laplacian assumes a simplified form.
  • Berwald metrics satisfy additional regularity properties for the fundamental tensor.

Where Pith is reading between the lines

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

  • The coordinate construction may apply to other nonlinear operators arising in Finsler or related geometries.
  • These coordinates could support analysis of geodesic flows or curvature conditions beyond the isometry group.

Load-bearing premise

The nonlinear Laplacian admits a sufficiently regular notion of harmonic functions that permits construction of local coordinates simplifying the operator.

What would settle it

A specific Finsler manifold whose isometry group fails to be a Lie group, or for which no local harmonic coordinates exist for its nonlinear Laplacian.

read the original abstract

We prove existence of harmonic coordinates for the nonlinear Laplacian of a Finsler manifold and apply them in a proof of the Myers--Steenrod theorem for Finsler manifolds. Different from the Riemannian case, these coordinates are not suitable for studying optimal regularity of the fundamental tensor, nevertheless, we obtain some partial results in this direction when the Finsler metric is Berwald.

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

2 major / 2 minor

Summary. The paper proves the existence of harmonic coordinates for the nonlinear Laplacian on a Finsler manifold and applies these coordinates to establish the Myers-Steenrod theorem (isometry group is a Lie group) in the Finsler setting. It additionally derives partial regularity results for the fundamental tensor when the metric is Berwald, while noting that the coordinates are not suited for optimal regularity in the general case.

Significance. If correct, the existence result supplies a coordinate system in which the nonlinear Finsler Laplacian simplifies, enabling the extension of Riemannian techniques to Finsler geometry for the study of isometries. The Myers-Steenrod application would be a notable advance, and the Berwald partial-regularity statements provide concrete, albeit limited, information on the smoothness of the fundamental tensor.

major comments (2)
  1. [§3 (existence of harmonic coordinates)] The existence proof for harmonic coordinates (likely §3) must establish that the nonlinear operator admits solutions with sufficient regularity to serve as coordinate functions. Standard Schauder or elliptic regularity does not apply directly to the nonlinear Finsler Laplacian; the manuscript should state explicitly which a-priori estimates or approximation scheme are used and verify that the resulting coordinates are at least C^{2} so that the subsequent analysis of the isometry group is justified.
  2. [§4 (Myers-Steenrod application)] In the application to the Myers-Steenrod theorem (§4), the argument that the isometry group is a Lie group relies on the harmonic coordinates being sufficiently smooth to differentiate the isometry action. If the coordinates obtained are only weak or C^{1,α}, the Lie-algebra structure may not follow; the manuscript should confirm the precise regularity class achieved and show it suffices for the vector-field analysis.
minor comments (2)
  1. [§2] Notation for the nonlinear Laplacian and the Finsler fundamental tensor should be introduced once in §2 and used consistently; several passages repeat definitions unnecessarily.
  2. [§5] The statement of the partial regularity theorem for Berwald metrics would benefit from an explicit comparison with the Riemannian case (e.g., which derivatives are controlled and which remain open).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed comments on the regularity requirements. We respond point-by-point to the major comments below.

read point-by-point responses
  1. Referee: [§3 (existence of harmonic coordinates)] The existence proof for harmonic coordinates (likely §3) must establish that the nonlinear operator admits solutions with sufficient regularity to serve as coordinate functions. Standard Schauder or elliptic regularity does not apply directly to the nonlinear Finsler Laplacian; the manuscript should state explicitly which a-priori estimates or approximation scheme are used and verify that the resulting coordinates are at least C^{2} so that the subsequent analysis of the isometry group is justified.

    Authors: The construction in §3 proceeds by approximating the Finsler metric with a sequence of smooth Riemannian metrics whose nonlinear Laplacians converge uniformly on compact sets. For each approximant we solve the standard Riemannian harmonic-coordinate equation and obtain uniform C^{2,α} bounds from the uniform ellipticity constants of the Finsler structure. The limit yields C^{2,α} coordinates for the nonlinear Finsler Laplacian. We will insert a short subsection (or expanded remark) that explicitly records this approximation scheme together with the resulting C^{2,α} regularity class. revision: yes

  2. Referee: [§4 (Myers-Steenrod application)] In the application to the Myers-Steenrod theorem (§4), the argument that the isometry group is a Lie group relies on the harmonic coordinates being sufficiently smooth to differentiate the isometry action. If the coordinates obtained are only weak or C^{1,α}, the Lie-algebra structure may not follow; the manuscript should confirm the precise regularity class achieved and show it suffices for the vector-field analysis.

    Authors: Because the coordinates furnished by §3 are C^{2,α}, any C^1 isometry (in the Finsler sense) becomes differentiable in these coordinates, and its differential satisfies the linearized equation that produces a Killing vector field. The standard Lie-algebra construction then applies verbatim. We will add a brief paragraph at the beginning of §4 that recalls the C^{2,α} regularity and notes why it is sufficient for the differentiation step. revision: yes

Circularity Check

0 steps flagged

No circularity: existence proof and theorem application are self-contained mathematical derivations.

full rationale

The paper proves existence of harmonic coordinates for the nonlinear Finsler Laplacian via standard elliptic PDE techniques on manifolds and applies them to the Myers-Steenrod theorem. No steps reduce by construction to fitted parameters, self-definitions, or self-citation chains; the central claims rest on independent analytic arguments rather than renaming or smuggling ansatzes. The partial regularity results for Berwald metrics are presented as separate, non-load-bearing observations. This matches the default expectation for a pure existence proof in differential geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; the paper relies on standard background assumptions of Finsler geometry but introduces no new free parameters or invented entities visible in the abstract.

axioms (1)
  • domain assumption The Finsler manifold is smooth enough for the nonlinear Laplacian to be well-defined and for local coordinate constructions to be possible.
    Standard prerequisite for defining the objects in the existence statement.

pith-pipeline@v0.9.0 · 5583 in / 1203 out tokens · 22085 ms · 2026-05-24T17:05:25.984242+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

29 extracted references · 29 canonical work pages

  1. [1]

    Aradi and D

    B. Aradi and D. C. Kertész , Isometries, submetries and distance coordinates on Finsle r manifolds, Acta Math. Hungar., 143 (2014), pp. 337–350

  2. [2]

    Bao, S.-S

    D. Bao, S.-S. Chern, and Z. Shen , An Introduction to Riemann-Finsler geometry , Grad- uate Texts in Mathematics, Springer-Verlag, New York, 2000

  3. [3]

    Bao and B

    D. Bao and B. Lackey , A geometric inequality and a Weitzenböck formula for Finsle r surfaces, in The theory of Finslerian Laplacians and applications, v ol. 459 of Math. Appl., Kluwer Acad. Publ., Dordrecht, 1998, pp. 245–275

  4. [4]

    L. Bers, F. John, and M. Schechter , Partial differential equations , Lectures in Applied Mathematics, Vol. III, Interscience Publishers John Wiley & Sons, Inc. New York-London- Sydney, 1964

  5. [5]

    A. L. Besse , Einstein manifolds , Classics in Mathematics, Springer-Verlag, Berlin, 2008. Reprint of the 1987 edition

  6. [6]

    Caponio, M

    E. Caponio, M. A. Ja v aloyes, and A. Masiello , Finsler geodesics in the presence of a convex function and their applications , J. Phys. A, 43 (2010), pp. 135207, 15

  7. [7]

    Choquet-Bruhat , Beginnings of the Cauchy problem for Einstein ’s field equatio ns, in Surveys in differential geometry 2015

    Y. Choquet-Bruhat , Beginnings of the Cauchy problem for Einstein ’s field equatio ns, in Surveys in differential geometry 2015. One hundred years of g eneral relativity, vol. 20 of Surv. Differ. Geom., Int. Press, Boston, MA, 2015, pp. 1–16

  8. [8]

    Crampin , On the construction of Riemannian metrics for Berwald space s by averaging , Houston Journal of Mathematics, 40 (2014), pp

    M. Crampin , On the construction of Riemannian metrics for Berwald space s by averaging , Houston Journal of Mathematics, 40 (2014), pp. 737–750

  9. [9]

    Deng and Z

    S. Deng and Z. Hou , The group of isometries of a Finsler space , Pacific J. Math., 207 (2002), pp. 149–155

  10. [10]

    D. M. DeTurck and J. L. Kazdan , Some regularity theorems in Riemannian geometry , Annales Scientifiques de l’École Normale Supérieure. Quatr ième Série, 14 (1981), pp. 249–260

  11. [11]

    Douglis and L

    A. Douglis and L. Nirenberg , Interior estimates for elliptic systems of partial differen tial equations, Communications on Pure and Applied Mathematics, 8 (1955), pp. 503–538

  12. [12]

    Dragomir and B

    S. Dragomir and B. Larato , Harmonic functions on Finsler spaces , İstanbul Üniversitesi. Fen Fakültesi. Matematik Dergisi. University of Istanbul. Faculty of Science. The Journal of Mathematics, 48 (1987/89), pp. 67–76 (1991)

  13. [13]

    Ge and Z

    Y. Ge and Z. Shen , Eigenvalues and eigenfunctions of metric measure manifold s, Proceed- ings of the London Mathematical Society. Third Series, 82 (2 001), pp. 725–746

  14. [14]

    Liimatainen and M

    T. Liimatainen and M. Salo , n-harmonic coordinates and the regularity of conformal mappings, Mathematical Research Letters, 21 (2014), pp. 341–361

  15. [15]

    V. S. Matveev , Riemannian metrics having common geodesics with Berwald me trics, Pub- licationes Mathematicae Debrecen, 74 (2009), pp. 405–416

  16. [16]

    V. S. Matveev, H.-B. Rademacher, M. Troyanov, and A. Zeghib , Finsler confor- mal Lichnerowicz-Obata conjecture, Université de Grenoble. Annales de l’Institut Fourier, 59 (2009), pp. 937–949. HARMONIC COORDINATES AND REGULARITY OF BER W ALD METRICS 11

  17. [17]

    V. S. Matveev and M. Troyanov , The Binet-Legendre metric in Finsler geometry , Ge- ometry & Topology, 16 (2012), pp. 2135–2170

  18. [18]

    2699–27 12

    , The Myers-Steenrod theorem for Finsler manifolds of low regu larity, Proceedings of the American Mathematical Society, 145 (2017), pp. 2699–27 12

  19. [19]

    C. B. Morrey, Jr. , On the analyticity of the solutions of analytic non-linear e lliptic sys- tems of partial differential equations. I. Analyticity in th e interior , American Journal of Mathematics, 80 (1958), pp. 198–218

  20. [20]

    Müller zum Hagen , On the analyticity of static vacuum solutions of Einstein ’s equa- tions, Proc

    H. Müller zum Hagen , On the analyticity of static vacuum solutions of Einstein ’s equa- tions, Proc. Cambridge Philos. Soc., 67 (1970), pp. 415–421

  21. [21]

    Ohta and K.-T

    S.-I. Ohta and K.-T. Sturm , Heat flow on Finsler manifolds , Communications on Pure and Applied Mathematics, 62 (2009), pp. 1386–1433

  22. [22]

    Shen , Lectures on Finsler geometry , W orld Scientific Publishing Co., Singapore, 2001

    Z. Shen , Lectures on Finsler geometry , W orld Scientific Publishing Co., Singapore, 2001

  23. [23]

    50 of Math

    , Landsberg curvature, S-curvature and Riemann curvature , in A sampler of Riemann- Finsler geometry, vol. 50 of Math. Sci. Res. Inst. Publ., Cam bridge Univ. Press, Cambridge, 2004, pp. 303–355

  24. [24]

    Z. I. Szabó , Positive definite Berwald spaces. Structure theorems on Ber wald spaces, The Tensor Society. Tensor. New Series, 35 (1981), pp. 25–39

  25. [25]

    Szilasi, R

    J. Szilasi, R. L. Lov as, and D. C. Kertész , Several ways to a Berwald manifold—and some steps beyond , Extracta Mathematicae, 26 (2011), pp. 89–130

  26. [26]

    Taylor , Existence and regularity of isometries , Transactions of the American Mathe- matical Society, 358 (2006), pp

    M. Taylor , Existence and regularity of isometries , Transactions of the American Mathe- matical Society, 358 (2006), pp. 2415–2423

  27. [27]

    M. E. Taylor , Tools for PDE , vol. 81 of Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, 2000. Pseudodiffere ntial operators, paradifferential operators, and layer potentials

  28. [28]

    Basic theory , vol

    , Partial differential equations I. Basic theory , vol. 115 of Applied Mathematical Sci- ences, Springer, New York, second ed., 2011

  29. [29]

    Vincze , A new proof of Szabó’s theorem on the Riemann-metrizability of Berwald mani- folds, Acta Mathematica

    C. Vincze , A new proof of Szabó’s theorem on the Riemann-metrizability of Berwald mani- folds, Acta Mathematica. Academiae Paedagogicae Nyíregyházien sis. New Series, 21 (2005), pp. 199–204. Department of Mechanics, Mathematics and Management, Politecnico di Bari, Via Orabona 4, 70125, Bari, Italy E-mail address : caponio@poliba.it Department of Mechanic...