pith. sign in

arxiv: 2406.06906 · v3 · submitted 2024-06-11 · 🧮 math.OC

Sobolev trace inequalities on John domains and its applications

Weicong Su , Yi Ru-Ya Zhang This is my paper

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

classification 🧮 math.OC
keywords Sobolev trace inequalityJohn domainsmeasure-theoretic boundaryWulff perimeterperimeter minimizersquantitative Wulff inequalityAhlfors regularity
0
0 comments X

The pith

A Sobolev trace inequality holds on John domains with a measure-theoretic boundary condition and upper density bound, without Ahlfors regularity.

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

The paper shows that the Sobolev trace inequality extends to John domains whose boundaries satisfy vanishing Hausdorff measure outside the measure-theoretic boundary together with an upper density bound. This class covers certain perimeter minimizers for the Wulff perimeter that lie close to a convex body. The proof deliberately avoids the Ahlfors regularity assumption that is common in such results. The inequality then supplies an alternative route to a key step in the quantitative Wulff inequality.

Core claim

A trace inequality holds for John domains Ω satisfying H^{n-1}(∂Ω ∖ ∂_*Ω)=0 together with an upper density bound on ∂Ω. This class of domains includes (ε,r)-perimeter minimizers of Wulff perimeter P_K which are close to the associated convex body K. The result is established without requiring ∂Ω to be Ahlfors regular and yields an alternative proof for a crucial step in the quantitative Wulff inequality.

What carries the argument

The Sobolev trace inequality on John domains equipped with the measure-theoretic boundary condition and upper density bound.

If this is right

  • The inequality applies to (ε,r)-perimeter minimizers of the Wulff perimeter that are sufficiently close to the convex body K.
  • It supplies an alternative proof of one key step in the quantitative Wulff inequality.
  • Trace inequalities become available for domains that are not Ahlfors regular but meet the stated boundary conditions.
  • The result broadens the setting in which trace inequalities can be used inside calculus-of-variations arguments.

Where Pith is reading between the lines

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

  • The same boundary conditions might be checkable on other families of irregular domains, extending the inequality beyond the Wulff case.
  • Prior proofs that relied on Ahlfors regularity could be revisited to see whether the weaker conditions suffice.
  • Numerical checks on explicit John domains near the boundary of the allowed class would test how sharp the density bound is.

Load-bearing premise

The domain must be a John domain whose boundary has zero measure outside its measure-theoretic part and obeys an upper density bound.

What would settle it

A concrete John domain obeying the boundary conditions for which the trace inequality fails to hold would disprove the claim.

read the original abstract

We prove that a trace inequality holds for John domains $\Omega$ satisfying $$ \mathcal H^{n-1}(\partial \Omega\setminus \partial_*\Omega)=0,$$ where $\partial_*\Omega$ denotes the measure-theoretic boundary, together with an upper density bound on $\partial \Omega$. This class of domains includes $(\epsilon,\,r)$-perimeter minimizers of Wulff perimeter $P_K$ which are close to the associated convex body $K$. Particularly, this result is established without requiring $\partial \Omega$ to be Ahlfors regular. As a consequence, we give an alternative proof for a crucial step in the quantitative Wulff inequality, thereby providing a meaningful commentary on the seminal work of Figalli, Maggi, and Pratelli \cite{FMP2010}.

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

Summary. The manuscript proves a Sobolev trace inequality for John domains Ω satisfying H^{n-1}(∂Ω ∖ ∂_*Ω)=0 together with an upper density bound on ∂Ω, without assuming Ahlfors regularity of the boundary. The result is applied to show that this class contains (ε,r)-perimeter minimizers of the Wulff perimeter P_K that are sufficiently close to the convex body K, and it supplies an alternative proof of a key step in the quantitative Wulff inequality of Figalli-Maggi-Pratelli (2010).

Significance. If the central claim holds, the work is significant because it relaxes the regularity hypotheses under which trace inequalities are known for John domains and directly supplies a new route to an estimate used in quantitative isoperimetric theory. The explicit inclusion of a natural class of perimeter minimizers and the alternative derivation constitute concrete strengths.

minor comments (4)
  1. [§1] §1 (Introduction): the statement that the new proof is 'independent' of the 2010 FMP argument should be clarified by indicating precisely which estimate is being reproved and where the new argument diverges from the original.
  2. [Theorem 1.1] Theorem 1.1: the upper density bound is invoked without an explicit constant; state the precise form of the bound (e.g., the value of the constant C) that is assumed and verify that it is satisfied by the (ε,r)-minimizers under consideration.
  3. [§2] The notation ∂_*Ω for the measure-theoretic boundary is standard, but the paper should recall its definition in §2 to make the manuscript self-contained for readers outside geometric measure theory.
  4. Figure 1 (if present) or the illustrative diagram of a John domain: ensure the caption explicitly labels the set ∂Ω ∖ ∂_*Ω whose (n-1)-Hausdorff measure is assumed zero.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of its contributions, and the recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes a trace inequality for John domains under the measure-theoretic boundary condition H^{n-1}(∂Ω ∖ ∂_*Ω)=0 plus an upper density bound, without Ahlfors regularity. This is presented as a new result whose proof does not reduce to fitted parameters, self-definitions, or load-bearing self-citations. The citation to FMP2010 is used only for the downstream application to quantitative Wulff inequality and is not invoked to justify the core inequality itself. No equations or steps in the supplied material equate a claimed prediction or uniqueness result to its own inputs by construction. The derivation is therefore independent of the patterns that would trigger a positive circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard definitions and properties from geometric measure theory and Sobolev space theory; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract statement.

axioms (1)
  • standard math Standard properties of John domains, measure-theoretic boundaries, and Sobolev trace operators in R^n
    Invoked directly in the theorem statement to define the class of domains and the inequality.

pith-pipeline@v0.9.0 · 5658 in / 1415 out tokens · 23904 ms · 2026-05-24T00:22:11.339354+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Geometric properties of Euclidean domains supporting trace inequalities

    math.FA 2026-04 unverdicted novelty 6.0

    Trace constants for sets near the ball can approach the ball's value despite infinitely disconnected complements, enabling a John-type characterization of domains supporting trace inequalities under ball separation.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [1]

    Ambrosio, M

    L. Ambrosio, M. Novaga, E. Paolini, Some regularity results for minimal crystals . A tribute to J. L. Lions. ESAIM Control Optim. Calc. Var. 8 (2002), 69–103

    work page 2002

  2. [2]

    Bojarski, Remarks on Sobolev imbedding inequalities

    B. Bojarski, Remarks on Sobolev imbedding inequalities . Complex analysis, Joensuu 1987, 52–68, Lecture Notes in Math., 1351, Springer, Berlin, 1988

    work page 1987

  3. [3]

    Bonnet and G

    A. Bonnet and G. David. Cracktip is a global Mumford-Shah minimizer . Ast´ erisque, 274:vi+259, 2001

    work page 2001

  4. [4]

    Brasco, G

    L. Brasco, G. De Philippis, B. Velichkov, Faber-Krahn inequalities in sharp quantitative form , Duke Math.J. 164 (2015),1777–1831

    work page 2015

  5. [5]

    Buckley, P

    S. Buckley, P. Koskela, Sobolev-Poincar´ e implies John. Math. Res. Lett. 2 (1995), no. 5, 577–593

    work page 1995

  6. [6]

    Cicalese, G.P

    M. Cicalese, G.P. Leonardi, A selection principle for the sharp quantitative isoperime tric inequality. Arch. Ration. Mech. Anal. 206, 617-643 (2012)

    work page 2012

  7. [7]

    David Singular sets of minimizers for the Mumford-Shah functiona l

    G. David Singular sets of minimizers for the Mumford-Shah functiona l. Springer Science & Business Media, 2006

    work page 2006

  8. [8]

    David , S

    G. David , S. Semmes Quasiminimal surfaces of codimension 1 and John domains . Pacific Journal of Mathematics, 1998, 183(2): 213–277

    work page 1998

  9. [9]

    Evans, R.F.Gariepy, Measure theory and fine properties of functions , Studies in advanced mathe- matics

    L.C. Evans, R.F.Gariepy, Measure theory and fine properties of functions , Studies in advanced mathe- matics. CRC Press, Boca Raton, FL, 1992

    work page 1992

  10. [10]

    Fusco, F

    N. Fusco, F. Maggi, A. Pratelli, The sharp quantitative isoperimetric inequality. Ann. Math. 168, 941-980 (2008)

    work page 2008

  11. [11]

    Figalli, F

    A. Figalli, F. Maggi, A. Pratelli, A mass transportation approach to quantitative isoperimet ric inequalities. Invent. Math. 182 (2010), no. 1, 167–211

    work page 2010

  12. [12]

    Figalli, Y

    A. Figalli, Y. Zhang, Strong stability for the Wulff inequality with a crystalline norm, Comm. Pure Appl. Math., 75 (2022), no. 2, 422–446

    work page 2022

  13. [13]

    Fusco, The quantitative isoperimetric inequality and related top ics

    N. Fusco, The quantitative isoperimetric inequality and related top ics. Bull. Math. Sci. 5 (2015), no. 3, 517–607. 24 WEICONG SU AND YI RU-YA ZHANG

    work page 2015

  14. [14]

    Fusco, Y

    N. Fusco, Y. Zhang, A quantitative form of the Faber-Krahn inequality , Calc. Var. Partial Differential Equations 56 (2017), no. 5, 56:138

    work page 2017

  15. [15]

    V. M. Goldshtein, Yu. G. Reshetnyak, Introduction to the theory of functions with generalized de rivatives, and quasiconformal mappings ”Nauka”, Moscow, 1983. 285 pp

    work page 1983

  16. [16]

    Hajlasz and P

    P. Hajlasz and P. Koskela. Sobolev met Poincar´ e, Mem. Amer. Math. Soc. 145, (2000)

    work page 2000

  17. [17]

    Hurri-Syrj¨ anen.Unbounded Poincar´ e domains

    R. Hurri-Syrj¨ anen.Unbounded Poincar´ e domains. Ann. Fenn. Math., 1992, 17(2): 409-423

    work page 1992

  18. [18]

    John, Extremum Problems with Inequalities as Subsidiary Conditi ons

    F. John, Extremum Problems with Inequalities as Subsidiary Conditi ons. Studies and Essays Presented to R. Courant on his 60th Birthday, January 8, 1948, pp. 187–2 04. Interscience, New York (1948)

    work page 1948

  19. [19]

    Maggi, Sets of finite perimeter and geometric variational problems

    F. Maggi, Sets of finite perimeter and geometric variational problems . An introduction to geometric mea- sure theory. Cambridge Studies in Advanced Mathematics, 13 5. Cambridge University Press, Cambridge, 2012

    work page 2012

  20. [20]

    N¨ akki, J

    R. N¨ akki, J. V¨ ais¨ al¨ a,John disks . Exposition. Math. 9 (1991), no. 1, 3–43. 30C65

    work page 1991

  21. [21]

    Neumayer, A strong form of the quantitative Wulff inequality

    R. Neumayer, A strong form of the quantitative Wulff inequality . SIAM J. Math. Anal. 48 (2016), no. 3, 1727–1772

    work page 2016

  22. [22]

    E. M. Stein, Singular integrals and differentiability properties of func tions. Princeton University Press, Princeton, New Jersey, 1970

    work page 1970

  23. [23]

    W. Su, Y. R.-Y. Zhang, Carrot John domains in variational problems . https://arxiv.org/abs/2401.08133

    work page arXiv

  24. [24]

    V¨ ais¨ al¨ a,Uniform domains

    J. V¨ ais¨ al¨ a,Uniform domains . Tˆ ohoku Math. J. 40 (1988), 101-118

    work page 1988

  25. [25]

    V¨ ais¨ al¨ a,Exhaustions of John domains

    J. V¨ ais¨ al¨ a,Exhaustions of John domains . Annales Fennici Mathematici, 1994, 19(1): 47-57

    work page 1994

  26. [26]

    V¨ ais¨ al¨ a,Unions of John domains

    J. V¨ ais¨ al¨ a,Unions of John domains . Proc. Amer. Math. Soc. 128 (2000), no. 4, 1135–1140

    work page 2000

  27. [27]

    W. P. Ziemer, Weakly differentiable functions. Sobolev spaces and functio ns of bounded variation . Grad- uate Texts in Mathematics 120, Springer-Verlag, New York, 1 989. Academy of Mathematics and Systems Science, the Chinese Aca demy of Sciences, Beijing 100190, P. R. China Email address : suweicong@amss.ac.cn Email address : yzhang@amss.ac.cn

    work page