pith. sign in

arxiv: 2411.01655 · v2 · submitted 2024-11-03 · 🧮 math.AP · math.SP

On the geometry of star domains and the spectra of Hodge-Laplace operators

Martin Werner Licht This is my paper

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

classification 🧮 math.AP math.SP
keywords Poincaré–Friedrichs–Weber constantsde Rham complexconvex domainsstar-shaped domainsgauge functionexpansion functionSobolev differential formsHodge-Laplace operators
0
0 comments X

The pith

Poincaré–Friedrichs–Weber constants for differential forms on bounded convex domains are nonincreasing in form degree.

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

The paper proves that these constants, which measure how well the exterior derivative controls the L2 norm of a form, get smaller or remain the same as the degree of the form rises on convex domains. As a direct consequence the usual Poincaré constant for scalar functions supplies an upper bound that works for every degree in the de Rham complex. The comparison rests on new and improved Lipschitz estimates for the gauge function and the expansion function that describe the geometry of convex and star-shaped sets. The same geometric estimates also yield explicit bounds when the domain is only star-shaped with respect to a ball. The work therefore links the shape of the domain to the size of the constants that govern the spectra of the associated Hodge-Laplace operators.

Core claim

The main result shows that the Poincaré–Friedrichs–Weber constants in the Sobolev de Rham complexes on bounded convex domains are nonincreasing in the degree of the differential forms. In particular, the Poincaré constant is an upper bound for the Poincaré–Friedrichs–Weber constants. The result is obtained by comparing the constants across degrees using Lipschitz continuity properties of the gauge and expansion functions of the domain. Parallel estimates are derived for domains star-shaped with respect to a ball, again from the same geometric controls.

What carries the argument

The gauge function and expansion function of bounded convex and star-shaped domains, whose Lipschitz estimates permit direct comparison of the Poincaré–Friedrichs–Weber constants between consecutive degrees in the de Rham complex.

If this is right

  • The Poincaré constant for functions supplies a uniform upper bound for every Poincaré–Friedrichs–Weber constant on a given convex domain.
  • The constants on star-shaped domains with respect to a ball are controlled by explicit geometric quantities derived from the gauge and expansion functions.
  • The eigenvalues of the Hodge-Laplace operators on these domains inherit the same monotonicity in form degree.
  • New proofs are supplied for the Lipschitz continuity of the expansion function on convex sets, together with an improved Lipschitz bound for the gauge function.

Where Pith is reading between the lines

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

  • The monotonicity may simplify the task of locating the smallest positive eigenvalue of the Hodge-Laplace operator on convex domains by reducing it to the scalar Poincaré constant.
  • The geometric estimates on gauge and expansion functions could be tested numerically on polyhedral convex sets to produce concrete numerical bounds.
  • If the same geometric comparison extends to domains with weaker regularity, the result would give bounds on non-convex sets that can be approximated by convex ones.

Load-bearing premise

The Lipschitz estimates on the gauge and expansion functions of convex and star-shaped domains are valid and sufficient to compare the constants across form degrees.

What would settle it

Any bounded convex domain for which the Poincaré–Friedrichs–Weber constant for one-forms strictly exceeds the constant for zero-forms would contradict the claimed nonincreasing property.

Figures

Figures reproduced from arXiv: 2411.01655 by Martin Werner Licht.

Figure 1
Figure 1. Figure 1: An example for domain that is star-shaped with respect to an interior ball, centered at x0 and of radius ρ, and which is contained within some ball of radius R. Note that these two balls are not necessarily concentric. Let x ∈ ∂Ω. Without loss of generality, assume that x lies on the first coordinate axis. We let H ⊆ R n be the coordinate hyperplane that is orthogonal to the first coordinate axis. We write… view at source ↗
Figure 2
Figure 2. Figure 2: Illustration of the geometric situation in the proof of Lemma 2.2. The angle γ is the angle of convex cone spanned by x and the interior ball Bρ(0). is the angle between x and y, then r 2 π α ≤ kx − yk ≤ R2 ρ (2) α. Proof. Let x, y ∈ Ω be distinct. If x and y lie on the same line through the origin, then α = π 2 ≤ π 2 1 r kx − yk. If x and y have an angle α ∈ (0, π), then the distance between the radial pr… view at source ↗
Figure 3
Figure 3. Figure 3: Illustration of the geometric situation in the proof of Lemma 2.3 Lemma 2.3. Let Ω ⊆ R n that is contained in the ball BR(0) and is star-shaped with respect to a ball Bρ(0). Then for all x, y ∈ ∂Ω with angle α ∈ [0, π] we have [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
read the original abstract

We study Poincar\'e--Friedrichs--Weber constants for Sobolev differential forms on bounded convex domains and on domains star-shaped with respect to a ball. Generalizing work by Guerini and Savo, our main result shows that the Poincar\'e--Friedrichs--Weber constants in the Sobolev de~Rham complexes on bounded convex domains are nonincreasing in the degree of the differential forms. In particular, the Poincar\'e constant is an upper bound for the Poincar\'e--Friedrichs--Weber constants. We also obtain estimates for the Poincar\'e--Friedrichs--Weber constants on domains star-shaped with respect to a ball. As preparatory work, which may be of independent interest, we study the gauge function and the expansion function of bounded convex sets and star domains, providing new proofs of Lipschitz estimates by Vre\'{c}ica and Toranzos for the expansion function and improving a Lipschitz estimate for the gauge function due to Beer.

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 / 3 minor

Summary. The manuscript studies Poincaré–Friedrichs–Weber constants for Sobolev differential forms on bounded convex domains and domains star-shaped with respect to a ball. Generalizing Guerini–Savo, the central claim is that these constants on bounded convex domains are nonincreasing in the degree of the forms, so that the classical Poincaré constant is an upper bound for all of them. The argument rests on new proofs of Lipschitz estimates for the gauge and expansion functions (improving Beer and reproving Vrećica–Toranzos) together with their application to the de Rham complex; separate estimates are derived for the star-shaped case.

Significance. If the monotonicity result holds, it supplies a clean geometric comparison of the constants across the de Rham complex that is likely to be useful in spectral geometry and the analysis of Hodge–Laplace operators. The preparatory Lipschitz estimates for gauge and expansion functions are presented as potentially of independent interest and receive explicit credit for improving existing bounds.

minor comments (3)
  1. [Introduction] The abstract states that the new proofs 'may be of independent interest,' but the introduction should explicitly list which prior results are recovered and which are strengthened, with precise citations to Vrećica–Toranzos and Beer.
  2. [Section 2] Notation for the Poincaré–Friedrichs–Weber constants (e.g., the dependence on form degree k) should be introduced once in a dedicated subsection and used consistently thereafter to avoid ambiguity when comparing across degrees.
  3. [Section 3] Figure captions for the gauge-function illustrations should state the precise domain and the Lipschitz constant obtained, rather than leaving the comparison to the text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments appear in the report, so there are no specific points requiring point-by-point rebuttal or revision.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation relies on new proofs of Lipschitz estimates for gauge and expansion functions (reproving Vrećica–Toranzos and improving Beer) together with their application to monotonicity of Poincaré–Friedrichs–Weber constants across form degrees on convex domains, generalizing Guerini–Savo. These steps are presented as independent geometric results feeding into the comparison of constants; no equation reduces to a fitted parameter renamed as prediction, no load-bearing premise collapses to a self-citation chain, and the central monotonicity claim is not shown to be definitionally equivalent to its inputs. The argument structure remains self-contained once the preparatory estimates are granted.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on standard properties of convex and star-shaped domains together with the definition of Sobolev de Rham complexes; no free parameters or invented entities are indicated in the abstract.

axioms (1)
  • domain assumption Bounded convex sets and sets star-shaped with respect to a ball admit well-defined Sobolev de Rham complexes on which the Poincaré–Friedrichs–Weber constants are comparable across degrees.
    Invoked to state the main monotonicity result and the star-domain estimates.

pith-pipeline@v0.9.0 · 5697 in / 1263 out tokens · 31599 ms · 2026-05-23T17:46:53.055520+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

41 extracted references · 41 canonical work pages

  1. [1]

    D. N. Arnold, R. S. F alk, and R. Winther , Finite element exterior calculus, homological tech- niques, and applications , Acta Numer., 15 (2006), pp. 1–155

    work page 2006

  2. [2]

    , Finite element exterior calculus: from Hodge theory to nume rical stability , Bull. Amer. Math. Soc. (N.S.), 47 (2010), pp. 281–354

    work page 2010

  3. [3]

    D. N. Arnold and S. W. W alker , The Hellan-Herrmann-Johnson method with curved elements , SIAM J. Numer. Anal., 58 (2020), pp. 2829–2855

    work page 2020

  4. [4]

    G. A. Baker and J. Dodziuk , Stability of spectra of Hodge-de Rham Laplacians , Mathematische Zeitschrift, 224 (1997), pp. 327–345

    work page 1997

  5. [5]

    Bao and Z

    G. Bao and Z. Zhou , An inverse problem for scattering by a doubly periodic struc ture, Trans. Am. Math. Soc., 350 (1998), pp. 4089–4103

    work page 1998

  6. [6]

    Bebendorf , A note on the Poincar´ e inequality for convex domains , Z

    M. Bebendorf , A note on the Poincar´ e inequality for convex domains , Z. Anal. Anwendungen, 22 (2003), pp. 751–756

    work page 2003

  7. [7]

    G. A. Beer , Starshaped sets and the Hausdorff metric , Pac. J. Math., 61 (1975), pp. 21–27

    work page 1975

  8. [8]

    Bernardi, M

    C. Bernardi, M. Costabel, M. Dauge, and V. Girault , Continuity properties of the inf-sup constant for the divergence , SIAM Journal on Mathematical Analysis, 48 (2016), pp. 1250–12 71

    work page 2016

  9. [9]

    F. J. Beutler , The operator theory of the pseudo-inverse. I: Bounded opera tors, II: Unbounded oper- ators with arbitrary range , J. Math. Anal. Appl., 10 (1965), pp. 451–470, 471–493

    work page 1965

  10. [10]

    B/suppress locki, Smooth exhaustion functions in convex domains , Proceedings of the American Mathematical Society, 125 (1997), pp

    Z. B/suppress locki, Smooth exhaustion functions in convex domains , Proceedings of the American Mathematical Society, 125 (1997), pp. 477–484

    work page 1997

  11. [11]

    Bonito, A

    A. Bonito, A. Demlow, and J. Owen , A priori error estimates for finite element approximations t o eigenvalues and eigenfunctions of the Laplace–Beltrami op erator, SIAM Journal on Numerical Analysis, 56 (2018), pp. 2963–2988

    work page 2018

  12. [12]

    S. C. Brenner and L. R. Scott , The mathematical theory of finite element methods , vol. 15 of Texts in Applied Mathematics, Springer, New York, third ed., 2008

    work page 2008

  13. [13]

    Charalambous and Z

    N. Charalambous and Z. Lu , The spectrum of continuously perturbed operators and the La placian on forms , Differential Geometry and its Applications, 65 (2019), pp. 227–24 0

    work page 2019

  14. [14]

    Chaumont-Frelet, S

    T. Chaumont-Frelet, S. Nicaise, and J. Tomezyk , Uniform a priori estimates for elliptic prob- lems with impedance boundary conditions , Commun. Pure Appl. Anal., 19 (2020), pp. 2445–2471

    work page 2020

  15. [15]

    S. H. Christiansen , R´ esolution des ´ equations int´ egrales pour la diffractiond’ondes acoustiques et ´ electromagn´ etiques - Stabilisation d’algorithmes it´ eratifs et aspects de l’analyse num´ erique, theses, Ecole Polytechnique X, Jan. 2002

    work page 2002

  16. [16]

    Chua and R

    S.-K. Chua and R. L. Wheeden , Weighted Poincar´ e inequalities on convex domains , Math. Res. Lett., 17 (2010), pp. 993–1011

    work page 2010

  17. [17]

    Costabel , A remark on the regularity of solutions of Maxwell’s equatio ns on Lipschitz domains , Math

    M. Costabel , A remark on the regularity of solutions of Maxwell’s equatio ns on Lipschitz domains , Math. Methods Appl. Sci., 12 (1990), pp. 365–368

    work page 1990

  18. [18]

    Csato, B

    G. Csato, B. Dacorogna, and S. Sil , On the best constant in Gaffney inequality , J. Funct. Anal., 274 (2018), pp. 461–503

    work page 2018

  19. [19]

    M. C. Delfour and J.-P. Zol ´ esio, Shape analysis via oriented distance functions , J. Funct. Anal., 123 (1994), pp. 129–201

    work page 1994

  20. [20]

    Grisvard, Elliptic problems in nonsmooth domains , vol

    P. Grisvard, Elliptic problems in nonsmooth domains , vol. 69 of Class. Appl. Math., Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM), reprint of the 1985 hardback ed. ed., 2011

    work page 1985

  21. [21]

    Guerini , Spectre du Laplacien de Hodge–de Rham: estim´ ees sur les var i´ et´ es convexes, Bulletin of the London Mathematical Society, 36 (2004), pp

    P. Guerini , Spectre du Laplacien de Hodge–de Rham: estim´ ees sur les var i´ et´ es convexes, Bulletin of the London Mathematical Society, 36 (2004), pp. 88–94

    work page 2004

  22. [22]

    Guerini and A

    P. Guerini and A. Savo , Eigenvalue and gap estimates for the Laplacian acting on p-forms, Trans. Amer. Math. Soc., 356 (2004), pp. 319–344

    work page 2004

  23. [23]

    Hiptmair, Finite elements in computational electromagnetism , Acta Numer., 11 (2002), pp

    R. Hiptmair, Finite elements in computational electromagnetism , Acta Numer., 11 (2002), pp. 237–339

    work page 2002

  24. [24]

    Hiptmair , Maxwell’s equations: continuous and discrete , in Computational electromagnetism

    R. Hiptmair , Maxwell’s equations: continuous and discrete , in Computational electromagnetism. Lec- tures from the CIME school, Cetraro, Italy, June 9–14, 2014, Ch am: Springer; Florence: Fondazione CIME, 2015, pp. 1–58

    work page 2014

  25. [25]

    Holst and M

    M. Holst and M. Licht , Geometric transformation of finite element methods: theory and applications, Appl. Numer. Math., 192 (2023), pp. 389–413. STAR DOMAINS POINCAR ´E–FRIEDRICHS INEQUALITIES 35

    work page 2023

  26. [26]

    Holst and A

    M. Holst and A. Stern , Geometric variational crimes: Hilbert complexes, finite el ement exterior calculus, and problems on hypersurfaces , Found. Comput. Math., 12 (2012), pp. 263–293

    work page 2012

  27. [27]

    W. G. Kouassy and M. Kourouma , Estimates for the first non-zero eigenvalue of the Hodge Lapl a- cian acting on differential forms defined on a Riemannian mani fold, Afrika Matematika, 31 (2019), p. 333–366

    work page 2019

  28. [28]

    J. M. Lee , Introduction to Smooth Manifolds , vol. 218 of Graduate Texts in Mathematics, Springer, New York, second ed., 2013

    work page 2013

  29. [29]

    Lin and Y

    Y. Lin and Y. Wu , Lipschitz star bodies , Acta Math. Sci., Ser. B, Engl. Ed., 43 (2023), pp. 597–607

    work page 2023

  30. [30]

    Mitrea , Dirichlet integrals and Gaffney-Friedrichs inequalities i n convex domains , Forum Math., 13 (2001), pp

    M. Mitrea , Dirichlet integrals and Gaffney-Friedrichs inequalities i n convex domains , Forum Math., 13 (2001), pp. 531–567

    work page 2001

  31. [31]

    L. E. Payne and H. F. Weinberger , An optimal Poincar´ e inequality for convex domains , Arch. Rational Mech. Anal., 5 (1960), pp. 286–292

    work page 1960

  32. [32]

    Picard , An elementary proof for a compact imbedding result in genera lized electromagnetic theory , Math

    R. Picard , An elementary proof for a compact imbedding result in genera lized electromagnetic theory , Math. Z., 187 (1984), pp. 151–164

    work page 1984

  33. [33]

    P ´olya, Remarks on the foregoing paper , Journal of Mathematics and Physics, 31 (1952), pp

    G. P ´olya, Remarks on the foregoing paper , Journal of Mathematics and Physics, 31 (1952), pp. 55–57

    work page 1952

  34. [34]

    Reed and B

    M. Reed and B. Simon , Methods of Modern Mathematical Physics , vol. 1, Academic press New York, 1972

    work page 1972

  35. [35]

    Savo , Hodge-Laplace eigenvalues of convex bodies , Trans

    A. Savo , Hodge-Laplace eigenvalues of convex bodies , Trans. Am. Math. Soc., 363 (2011), pp. 1789– 1804

    work page 2011

  36. [36]

    F. A. Toranzos , Radial functions of convex and star-shaped bodies , Am. Math. Mon., 74 (1967), pp. 278–280

    work page 1967

  37. [37]

    Vre ´cica, A note on starshaped sets , Publ

    S. Vre ´cica, A note on starshaped sets , Publ. Inst. Math., Nouv. S´ er., 29 (1981), pp. 283–288

    work page 1981

  38. [38]

    Weber , A local compactness theorem for Maxwell’s equations , Math

    C. Weber , A local compactness theorem for Maxwell’s equations , Math. Methods Appl. Sci., 2 (1980), pp. 12–25

    work page 1980

  39. [39]

    H. F. Weinberger , An isoperimetric inequality for the n-dimensional free membrane problem, Journal of Rational Mechanics and Analysis, 5 (1956), pp. 633–636

    work page 1956

  40. [40]

    Werner , Funktionalanalysis, Springer-Lehrb., Berlin: Springer Spektrum, 8th revised edition e d., 2018

    D. Werner , Funktionalanalysis, Springer-Lehrb., Berlin: Springer Spektrum, 8th revised edition e d., 2018

    work page 2018

  41. [41]

    K. J. Witsch , A remark on a compactness result in electromagnetic theory , Math. Methods Appl. Sci., 16 (1993), pp. 123–129. ´Ecole Polytechnique F ´ ed´ erale de Lausanne, CH-1015 Lausanne, Switzerland Email address : martin.licht@epfl.ch

    work page 1993