pith. sign in

arxiv: 2605.23185 · v1 · pith:KMZ23WXDnew · submitted 2026-05-22 · 🧮 math.AP

On the Tangential Traces of Curl-Measure Fields

Cian Nolan , Monica Torres This is my paper

Pith reviewed 2026-05-25 04:15 UTC · model grok-4.3

classification 🧮 math.AP
keywords curl-measure fieldstangential tracessets of finite perimeterdistributional curlRadon measuresvector fieldsLipschitz domains
0
0 comments X

The pith

The tangential property of traces for curl-measure fields holds on domains of finite perimeter.

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

Curl-measure fields are vector fields that are p-integrable with distributional curl given by a finite Radon measure. Earlier work established tangential traces and their tangential property on bounded Lipschitz domains when p equals infinity. This paper proves the same tangential property continues to hold when the domain is only assumed to be a set of finite perimeter. A reader cares because sets of finite perimeter form a much larger class that includes domains with corners, cracks, or other irregularities commonly arising in applications.

Core claim

The tangential property of the trace for curl-measure fields holds for domains that are sets of finite perimeter.

What carries the argument

The curl-measure definition of the vector field combined with the reduced boundary of a set of finite perimeter, which allows the tangential trace construction to transfer directly.

If this is right

  • Tangential traces exist and satisfy the property under strictly weaker boundary regularity than Lipschitz.
  • The curl-measure theory applies directly to domains whose boundaries may have jumps or lower-dimensional singularities.
  • No extra boundary smoothness is required to obtain the tangential identity.
  • The trace operator remains well-defined and tangential on the reduced boundary.

Where Pith is reading between the lines

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

  • The result may enable analysis of Maxwell-type equations or fluid models on domains with fractal or cracked boundaries.
  • It opens the possibility of combining curl-measure fields with other BV-type trace theorems that already work on finite-perimeter sets.
  • One could test whether the same extension holds when p is finite rather than infinity.

Load-bearing premise

The domain must be a set of finite perimeter and the vector field must satisfy the curl-measure condition with distributional curl a finite Radon measure.

What would settle it

An explicit set of finite perimeter together with a curl-measure field on it for which the constructed trace fails to be tangential.

read the original abstract

Curl-measure fields are $p$-integrable vector fields whose distributional curl is a vector-valued Radon measure with finite total variation. They were introduced in arXiv:2509.26465, where, for $p= \infty$, the existence of tangential traces for bounded Lipschitz domains was established, together with the tangential property of the trace. In this paper, we show that the same tangential property holds for domains that are sets of finite perimeter.

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 manuscript claims that curl-measure fields—p-integrable vector fields whose distributional curl is a vector-valued Radon measure with finite total variation—possess tangential traces satisfying the tangential property on domains that are sets of finite perimeter. This extends the existence and tangential property result previously obtained for bounded Lipschitz domains (at p=∞) in the cited prior work arXiv:2509.26465, with the transfer relying on the same curl-measure definition and the geometric properties of finite-perimeter sets.

Significance. If the extension holds, the result is significant because sets of finite perimeter form a standard class in geometric measure theory that properly contains Lipschitz domains while allowing jumps and lower regularity; this broadens the applicability of tangential-trace theory for curl-measure fields to a wider range of domains arising in BV-based PDEs, electromagnetism, and geometric flows. The paper is credited for attempting a direct transfer without imposing extra regularity.

minor comments (2)
  1. The abstract states the result for the p=∞ case from the prior work but does not explicitly confirm whether the extension applies only at p=∞ or for general p; a clarifying sentence would help.
  2. The dependence on the tangential-trace construction from arXiv:2509.26465 is central; the manuscript should include a brief self-contained recap of the key properties used in the transfer (e.g., the precise definition of the trace operator) to improve readability for readers who have not consulted the prior paper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for acknowledging the significance of extending the tangential trace result from Lipschitz domains to sets of finite perimeter via a direct transfer. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper extends the tangential trace property (previously shown for Lipschitz domains under the curl-measure definition from arXiv:2509.26465) to sets of finite perimeter. The central claim is this extension result. No quoted step reduces by construction to fitted inputs, self-definition, or a self-citation chain; the prior work supplies an external benchmark (the definition and Lipschitz case) against which the new proof operates. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the definition of curl-measure fields and the tangential-trace result from the cited arXiv preprint, plus standard properties of sets of finite perimeter and Radon measures. No free parameters, invented entities, or ad-hoc axioms are visible in the abstract.

axioms (2)
  • domain assumption Sets of finite perimeter admit a reduced boundary and a measure-theoretic normal in the sense of geometric measure theory.
    Invoked implicitly when extending the trace result beyond Lipschitz domains.
  • domain assumption The distributional curl being a finite Radon measure implies the existence of a trace operator with the stated tangential property.
    Core definition carried over from the cited prior work.

pith-pipeline@v0.9.0 · 5587 in / 1279 out tokens · 36198 ms · 2026-05-25T04:15:18.549391+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

47 extracted references · 47 canonical work pages

  1. [1]

    Traces and fine properties of aBDclass of vector fields and applications.Ann

    Luigi Ambrosio, Gianluca Crippa, and Stefania Maniglia. Traces and fine properties of aBDclass of vector fields and applications.Ann. Fac. Sci. Toulouse Math. (6), 14(4):527–561, 2005

    work page 2005

  2. [2]

    Oxford Mathematical Monographs

    Luigi Ambrosio, Nicola Fusco, and Diego Pallara.Functions of bounded variation and free discontinuity problems. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, 2000

    work page 2000

  3. [3]

    Anzellotti

    G. Anzellotti. Traces of bounded vector-fields and the divergence theorem. Preprint, 1983

    work page 1983

  4. [4]

    Caflisch and Xiao-Fan Li

    Russel E. Caflisch and Xiao-Fan Li. Lagrangian theory for 3d vortex sheets with axial or helical sym- metry.Transport Theory and Statistical Physics, 21(4-6):559–578, 1992. ON THE TANGENTIAL TRACES OF CURL-MEASURE FIELDS 29

    work page 1992

  5. [5]

    Divergence-measure fields and hyperbolic conservation laws.Arch

    Gui-Qiang Chen and Hermano Frid. Divergence-measure fields and hyperbolic conservation laws.Arch. Ration. Mech. Anal., 147(2):89–118, 1999

    work page 1999

  6. [6]

    Weak traces for functions of boundedA-variation

    Gui-Qiang Chen, Franz Gmeineder, Paul Stephan, Monica Torres, and Kuan-Ting Yeh. Weak traces for functions of boundedA-variation. In preparation, 2026

    work page 2026

  7. [7]

    Traces and extensions of bounded divergence-measure fields on rough open sets.Indiana Univ

    Gui-Qiang Chen, Qinfeng Li, and Monica Torres. Traces and extensions of bounded divergence-measure fields on rough open sets.Indiana Univ. Math. J., 69(1):229–264, 2020

    work page 2020

  8. [8]

    Initial layers and uniqueness of weak entropy solutions to hyperbolic conservation laws.Arch

    Gui-Qiang Chen and Michel Rascle. Initial layers and uniqueness of weak entropy solutions to hyperbolic conservation laws.Arch. Ration. Mech. Anal., 153(3):205–220, 2000

    work page 2000

  9. [9]

    Gui-QiangChenandMonicaTorres.Divergence-measurefields, setsoffiniteperimeter, andconservation laws.Arch. Ration. Mech. Anal., 175(2):245–267, 2005

    work page 2005

  10. [10]

    On the structure of solutions of nonlinear hyperbolic systems of conservation laws.Commun

    Gui-Qiang Chen and Monica Torres. On the structure of solutions of nonlinear hyperbolic systems of conservation laws.Commun. Pure Appl. Anal., 10(4):1011–1036, 2011

    work page 2011

  11. [11]

    Gui-Qiang Chen, Monica Torres, and William P. Ziemer. Gauss-Green theorem for weakly differentiable vector fields, sets of finite perimeter, and balance laws.Comm. Pure Appl. Math., 62(2):242–304, 2009

    work page 2009

  12. [12]

    Chen, Giovanni E

    Gui-Qiang G. Chen, Giovanni E. Comi, and Monica Torres. Cauchy fluxes and Gauss-Green formulas for divergence-measure fields over general open sets.Arch. Ration. Mech. Anal., 233(1):87–166, 2019

    work page 2019

  13. [13]

    Chen, Franz Gmeineder, and Monica Torres

    Gui-Qiang G. Chen, Franz Gmeineder, and Monica Torres. Curl measure fields, the generalized stokes theorem and vorticity fluxes. ArXiv Preprint, 2025,https://arxiv.org/abs/2509.26465

    work page arXiv 2025

  14. [14]

    Chen, Christopher Irving, and Monica Torres

    Gui-Qiang G. Chen, Christopher Irving, and Monica Torres. Extended divergence-measure fields, the Gauss-Green formula and Cauchy fluxes.Arch. Ration. Mech. Anal., 249(6):Paper No. 79, 82, 2025

    work page 2025

  15. [15]

    Chen and Monica Torres

    Gui-Qiang G. Chen and Monica Torres. Divergence-measure fields: Gauss-Green formulas and normal traces.Notices Amer. Math. Soc., 68(8):1282–1290, 2021

    work page 2021

  16. [16]

    Comi.Refined Gauss–Green formulas and evolution problems for Radon measures

    G.E. Comi.Refined Gauss–Green formulas and evolution problems for Radon measures. PhD thesis, Scuola Normale Superiore, Pisa, 2020

    work page 2020

  17. [17]

    Comi and Gian Paolo Leonardi

    Giovanni E. Comi and Gian Paolo Leonardi. Measures in the dual ofBV: perimeter bounds and relations with divergence-measure fields.Nonlinear Anal., 251:Paper No. 113686, 28, 2025

    work page 2025

  18. [18]

    Comi and Valentino Magnani

    Giovanni E. Comi and Valentino Magnani. The Gauss-Green theorem in stratified groups.Adv. Math., 360:106916, 85, 2020

    work page 2020

  19. [19]

    Comi and Kevin R

    Giovanni E. Comi and Kevin R. Payne. On locally essentially bounded divergence measure fields and sets of locally finite perimeter.Adv. Calc. Var., 13(2):179–217, 2020

    work page 2020

  20. [20]

    Comi and Monica Torres

    Giovanni E. Comi and Monica Torres. One-sided approximation of sets of finite perimeter.Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl., 28(1):181–190, 2017

    work page 2017

  21. [21]

    Anzellotti’s pairing theory and the Gauss-Green theorem.Adv

    Graziano Crasta and Virginia De Cicco. Anzellotti’s pairing theory and the Gauss-Green theorem.Adv. Math., 343:935–970, 2019

    work page 2019

  22. [22]

    An extension of the pairing theory between divergence-measure fields and BV functions.J

    Graziano Crasta and Virginia De Cicco. An extension of the pairing theory between divergence-measure fields and BV functions.J. Funct. Anal., 276(8):2605–2635, 2019

    work page 2019

  23. [23]

    Normal traces and applications to continuity equations on bounded domains, 2024

    Gianluca Crippa, Luigi De Rosa, Marco Inversi, and Matteo Nesi. Normal traces and applications to continuity equations on bounded domains, 2024

    work page 2024

  24. [24]

    Editrice Tecnico Scientifica, Pisa, 1961

    Ennio De Giorgi.Complementi alla teoria della misura(n−1)-dimensionale in uno spazion- dimensionale. Editrice Tecnico Scientifica, Pisa, 1961. Seminario di Matematica della Scuola Normale Superiore di Pisa, 1960-61

    work page 1961

  25. [25]

    Editrice Tecnico Scientifica, Pisa, 1961

    Ennio De Giorgi.Frontiere orientate di misura minima. Editrice Tecnico Scientifica, Pisa, 1961. Semi- nario di Matematica della Scuola Normale Superiore di Pisa, 1960-61

    work page 1961

  26. [26]

    The Gauss-Green theorem.Trans

    Herbert Federer. The Gauss-Green theorem.Trans. Amer. Math. Soc., 58:44–76, 1945

    work page 1945

  27. [27]

    A note on the Gauss-Green theorem.Proc

    Herbert Federer. A note on the Gauss-Green theorem.Proc. Amer. Math. Soc., 9:447–451, 1958

    work page 1958

  28. [28]

    Folland.Real analysis

    Gerald B. Folland.Real analysis. Pure and Applied Mathematics (New York). John Wiley & Sons, Inc., New York, second edition, 1999. Modern techniques and their applications, A Wiley-Interscience Publication

    work page 1999

  29. [29]

    Dirichlet problems for the 1-Laplace operator, including the eigenvalue problem.Commun

    Bernd Kawohl and Friedemann Schuricht. Dirichlet problems for the 1-Laplace operator, including the eigenvalue problem.Commun. Contemp. Math., 9(4):515–543, 2007

    work page 2007

  30. [30]

    The prescribed mean curvature measure equation in non-parametric form, 2024

    Gian Paolo Leonardi and Giovanni Eugenio Comi. The prescribed mean curvature measure equation in non-parametric form, 2024

    work page 2024

  31. [31]

    The prescribed mean curvature equation in weakly regular domains.NoDEA Nonlinear Differential Equations Appl., 25(2):Paper No

    Gian Paolo Leonardi and Giorgio Saracco. The prescribed mean curvature equation in weakly regular domains.NoDEA Nonlinear Differential Equations Appl., 25(2):Paper No. 9, 29, 2018. 30 CIAN NOLAN AND MONICA TORRES

    work page 2018

  32. [32]

    Rigidity and trace properties of divergence-measure vector fields.Adv

    Gian Paolo Leonardi and Giorgio Saracco. Rigidity and trace properties of divergence-measure vector fields.Adv. Calc. Var., 15(1):133–149, 2022

    work page 2022

  33. [33]

    Cambridge University Press, Cambridge, 2012

    Francesco Maggi.Sets of Finite Perimeter and Geometric Variational Problems: an Introduction to Geometric Measure Theory. Cambridge University Press, Cambridge, 2012

    work page 2012

  34. [34]

    Characterizations of signed measures in the dual ofBVand related isometric isomorphisms.Ann

    Nguyen Cong Phuc and Monica Torres. Characterizations of signed measures in the dual ofBVand related isometric isomorphisms.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 17(1):385–417, 2017

    work page 2017

  35. [35]

    BV supersolutions to equations of 1-Laplace and minimal surface type.J

    Christoph Scheven and Thomas Schmidt. BV supersolutions to equations of 1-Laplace and minimal surface type.J. Differential Equations, 261(3):1904–1932, 2016

    work page 1904

  36. [36]

    An anzellotti type pairing for divergence-measure fields and a notion of weakly super-1-harmonic functions, 2017

    Christoph Scheven and Thomas Schmidt. An anzellotti type pairing for divergence-measure fields and a notion of weakly super-1-harmonic functions, 2017

    work page 2017

  37. [37]

    On the dual formulation of obstacle problems for the total variation and the area functional.Ann

    Christoph Scheven and Thomas Schmidt. On the dual formulation of obstacle problems for the total variation and the area functional.Ann. Inst. H. Poincaré C Anal. Non Linéaire, 35(5):1175–1207, 2018

    work page 2018

  38. [38]

    A new mathematical foundation for contact interactions in continuum physics

    Friedemann Schuricht. A new mathematical foundation for contact interactions in continuum physics. Arch. Ration. Mech. Anal., 184(3):495–551, 2007

    work page 2007

  39. [39]

    Springer, Cham, 2025

    Friedemann Schuricht and Moritz Schönherr.A theory of traces and the divergence theorem, volume 2372 ofLecture Notes in Mathematics. Springer, Cham, 2025

    work page 2025

  40. [40]

    M. Šilhavý. Divergence measure fields and Cauchy’s stress theorem.Rend. Sem. Mat. Univ. Padova, 113:15–45, 2005

    work page 2005

  41. [41]

    M. Šilhavý. Cauchy’s stress theorem for stresses represented by measures.Contin. Mech. Thermodyn., 20(2):75–96, 2008

    work page 2008

  42. [42]

    M. Šilhavý. The divergence theorem for divergence measure vectorfields on sets with fractal boundaries. Math. Mech. Solids, 14(5):445–455, 2009

    work page 2009

  43. [43]

    M. Šilhavý. The Gauss-Green theorem for bounded vector fields with divergence measure on sets of finite perimeter.Indiana Univ. Math. J., 72(1):29–42, 2023

    work page 2023

  44. [44]

    Australian National University, Centre for Mathematical Analysis, Canberra, 1983

    Leon Simon.Lectures on geometric measure theory, volume 3 ofProceedings of the Centre for Mathemat- ical Analysis, Australian National University. Australian National University, Centre for Mathematical Analysis, Canberra, 1983

    work page 1983

  45. [45]

    Strong traces for solutions of multidimensional scalar conservation laws.Arch

    Alexis Vasseur. Strong traces for solutions of multidimensional scalar conservation laws.Arch. Ration. Mech. Anal., 160(3):181–193, 2001

    work page 2001

  46. [46]

    Ziemer.Weakly differentiable functions, volume 120 ofGraduate Texts in Mathematics

    William P. Ziemer.Weakly differentiable functions, volume 120 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 1989. Sobolev spaces and functions of bounded variation

    work page 1989

  47. [47]

    Ziemer.Modern real analysis, volume 278 ofGraduate Texts in Mathematics

    William P. Ziemer.Modern real analysis, volume 278 ofGraduate Texts in Mathematics. Springer, Cham, second edition, 2017. With contributions by Monica Torres. Cian Nolan, Department of Mathematics, Purdue University, West Laf ayette, IN 47907- 2067, USA Email address:nolan70@purdue.edu Monica Torres, Department of Mathematics, Purdue University, West Laf ...

    work page 2017