pith. sign in

arxiv: 2604.16103 · v1 · submitted 2026-04-17 · 🧮 math.AP

A fractional De Giorgi isoperimetric type inequality

Matteo Cozzi , Tom\'as Sanz-Perela This is my paper

Pith reviewed 2026-05-10 08:08 UTC · model grok-4.3

classification 🧮 math.AP
keywords fractional Sobolev spacesisoperimetric inequalitylevel setsDe Giorgi classesHölder continuitynonlocal interaction functionals
0
0 comments X

The pith

An isoperimetric inequality holds for the level sets of functions in fractional Sobolev spaces.

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

The paper establishes an isoperimetric-type inequality that relates the fractional perimeter of level sets to their measure for functions belonging to fractional Sobolev spaces. This directly resolves an open question left by the first author in earlier work. The argument proceeds by adapting estimates originally developed for nonlocal interaction functionals. Once the inequality is in hand, it yields Hölder continuity for functions that lie in weak fractional De Giorgi classes. The result therefore links isoperimetric control in the fractional setting to classical regularity conclusions.

Core claim

We establish an isoperimetric type inequality for the level sets of functions in fractional Sobolev spaces. This answers a question posed by the first author in a previous paper. To obtain it, we work out a slight modification of some estimates for nonlocal interaction functionals established by Savin and Valdinoci. We also show how said isoperimetric inequality leads to the Hölder continuity of functions in (weak) fractional De Giorgi classes.

What carries the argument

A slight modification of the Savin-Valdinoci estimates for nonlocal interaction functionals, used to control the perimeter of level sets in the fractional Sobolev setting.

If this is right

  • Level sets of fractional Sobolev functions satisfy the stated isoperimetric inequality.
  • Hölder continuity holds for all functions in weak fractional De Giorgi classes.
  • The inequality resolves the open question from the first author's earlier paper.
  • The same adaptation of Savin-Valdinoci estimates yields the regularity conclusion.

Where Pith is reading between the lines

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

  • The inequality could serve as a starting point for regularity theory of a wider class of nonlocal equations.
  • Similar control on level sets might apply to fractional minimal surfaces or other nonlocal perimeter problems.
  • Numerical checks on explicit radial or characteristic functions could quickly test the inequality's sharpness.

Load-bearing premise

The modified Savin-Valdinoci estimates for nonlocal interaction functionals extend directly to the fractional Sobolev setting and control the level sets appropriately.

What would settle it

A concrete function in a fractional Sobolev space for which the isoperimetric inequality fails on some level set, or a weak solution belonging to a fractional De Giorgi class that fails to be Hölder continuous.

read the original abstract

We establish an isoperimetric type inequality for the level sets of functions in fractional Sobolev spaces. This answers a question posed by the first author in a previous paper. To obtain it, we work out a slight modification of some estimates for nonlocal interaction functionals established by Savin and Valdinoci. We also show how said isoperimetric inequality leads to the H\"older continuity of functions in (weak) fractional De Giorgi classes.

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

Summary. The paper establishes an isoperimetric-type inequality for the level sets of functions in fractional Sobolev spaces. This is obtained via a slight modification of estimates for nonlocal interaction functionals due to Savin and Valdinoci. The inequality is then applied to prove Hölder continuity of functions belonging to weak fractional De Giorgi classes, answering a question posed by the first author in an earlier work.

Significance. If the central modification of the Savin-Valdinoci estimates holds and controls the level sets as claimed, the result supplies a new tool for regularity theory in the nonlocal setting. It directly links an isoperimetric inequality to Hölder continuity in fractional De Giorgi classes, which may prove useful for studying minimizers of nonlocal energies and related variational problems.

minor comments (2)
  1. In the introduction, explicitly state the precise changes made to the Savin-Valdinoci estimates (e.g., which terms are altered and why the error remains controlled) rather than describing them only as 'slight'.
  2. Ensure uniform notation for the fractional Sobolev space W^{s,p} and the associated level-set measures throughout; a short table or remark comparing the classical and fractional quantities would aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of the manuscript, the recognition of its contribution linking the isoperimetric inequality to Hölder continuity in fractional De Giorgi classes, and the recommendation for minor revision.

Circularity Check

0 steps flagged

Minor self-citation for motivation only; derivation independent via external estimates

full rationale

The manuscript derives the fractional isoperimetric inequality by explicitly modifying Savin-Valdinoci estimates on nonlocal interaction functionals (external, non-self-cited source) and applies the result to level-set control and Hölder continuity in weak fractional De Giorgi classes. The sole self-reference is the statement that the inequality answers a question posed in a prior paper by the first author; this is motivational context and does not enter the proof chain or supply any load-bearing step. No fitted parameters are renamed as predictions, no ansatz is smuggled, and no uniqueness theorem or self-citation chain is invoked to force the result. The derivation therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard properties of fractional Sobolev spaces and the validity of the modified Savin-Valdinoci estimates; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math Standard embedding and trace properties of fractional Sobolev spaces hold.
    Invoked implicitly when working with level sets and fractional perimeters.
  • domain assumption The Savin-Valdinoci estimates for nonlocal interactions admit a slight modification that preserves the required bounds.
    This is the key technical step stated in the abstract.

pith-pipeline@v0.9.0 · 5356 in / 1199 out tokens · 21957 ms · 2026-05-10T08:08:08.516716+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

18 extracted references · 18 canonical work pages

  1. [1]

    Brezis,How to recognize constant functions

    H. Brezis,How to recognize constant functions. Connections with Sobolev spaces, Russian Mathematical Surveys57(2002), no. 4, 693–708

    work page 2002

  2. [2]

    Bucur and E

    C. Bucur and E. Valdinoci,Nonlocal Diffusion and Applications, Springer, 2016

    work page 2016

  3. [3]

    Caffarelli, C

    L. Caffarelli, C. H. Chan, and A. Vasseur,Regularity theory for parabolic nonlinear integral operators, J. Amer. Math. Soc.24(2011), no. 3, 849–869

    work page 2011

  4. [4]

    Caffarelli and L

    L. Caffarelli and L. Silvestre,An extension problem related to the fractional Laplacian, Comm. Partial Differential Equations32(2007), no. 7-9, 1245–1260

    work page 2007

  5. [5]

    Caffarelli and A

    L. Caffarelli and A. Vasseur,The De Giorgi method for regularity of solutions of elliptic equations and its applications to fluid dynamics, Discrete Contin. Dyn. Syst. Ser. S3(2010), no. 3, 409–427

    work page 2010

  6. [6]

    Cozzi,Regularity results and Harnack inequalities for minimizers and solutions of nonlocal problems: a unified approach via fractional De Giorgi classes, J

    M. Cozzi,Regularity results and Harnack inequalities for minimizers and solutions of nonlocal problems: a unified approach via fractional De Giorgi classes, J. Funct. Anal.272(2017), no. 11, 4762–4837

    work page 2017

  7. [7]

    Cozzi,Fractional De Giorgi classes and applications to nonlocal regularity theory, Contemporary research in elliptic PDEs and related topics, 2019, pp

    M. Cozzi,Fractional De Giorgi classes and applications to nonlocal regularity theory, Contemporary research in elliptic PDEs and related topics, 2019, pp. 277–299

    work page 2019

  8. [8]

    De Giorgi,Sulla differenziabilitae l’analiticita delle estremali degli integrali multipli regolari, Mem

    E. De Giorgi,Sulla differenziabilitae l’analiticita delle estremali degli integrali multipli regolari, Mem. Accad. Sci. Torino. Cl. Sci. Fis. Mat. Nat.3(1957), no. 3, 25–43

    work page 1957

  9. [9]

    Di Nezza, G

    E. Di Nezza, G. Palatucci, and E. Valdinoci,Hitchhiker’s guide to the fractional Sobolev spaces, Bull. Sci. Math.136(2012), no. 5, 521–573

    work page 2012

  10. [10]

    Fern´ andez-Real and X

    X. Fern´ andez-Real and X. Ros-Oton,Regularity theory for elliptic PDE, EMS Press Berlin, 2022

    work page 2022

  11. [11]

    Giusti,Direct methods in the calculus of variations, World Scientific Publishing Co., Inc., River Edge, NJ, 2003

    E. Giusti,Direct methods in the calculus of variations, World Scientific Publishing Co., Inc., River Edge, NJ, 2003

    work page 2003

  12. [12]

    Giusti,Minimal surfaces and functions of bounded variation, Monographs in Mathematics, vol

    E. Giusti,Minimal surfaces and functions of bounded variation, Monographs in Mathematics, vol. 80, Birkh¨ auser Verlag, Basel, 1984

    work page 1984

  13. [13]

    Imbert,De Giorgi’s regularity theory for elliptic, parabolic and kinetic equations(2026), available at arXiv:2601.15238

    C. Imbert,De Giorgi’s regularity theory for elliptic, parabolic and kinetic equations(2026), available at arXiv:2601.15238

    work page arXiv 2026

  14. [14]

    Maggi,Sets of finite perimeter and geometric variational problems, Cambridge Studies in Advanced Mathematics, vol

    F. Maggi,Sets of finite perimeter and geometric variational problems, Cambridge Studies in Advanced Mathematics, vol. 135, Cambridge University Press, Cambridge, 2012

    work page 2012

  15. [15]

    Mingione,Gradient potential estimates, J

    G. Mingione,Gradient potential estimates, J. Eur. Math. Soc. (JEMS)13(2011), no. 2, 459–486

    work page 2011

  16. [16]

    Palatucci and T

    G. Palatucci and T. Kuusi,Recent Developments in Nonlocal Theory, De Gruyter Open Poland, 2017

    work page 2017

  17. [17]

    Savin and E

    O. Savin and E. Valdinoci,Density estimates for a variational model driven by the Gagliardo norm, J. Math. Pures Appl.101(2014), no. 1, 1–26

    work page 2014

  18. [18]

    Federigo Enriques

    A. F. Vasseur,The De Giorgi method for elliptic and parabolic equations and some applications, Lectures on the analysis of nonlinear partial differential equations. Part 4, 2016, pp. 195–222. M. Cozzi: Dipartimento di Matematica “Federigo Enriques”, Universit `a degli Studi di Milano, Via Saldini 50, 20133 Milano, Italy Email address:matteo.cozzi@unimi.it...

    work page 2016