pith. sign in

arxiv: 2605.19504 · v1 · pith:LZBNBDZTnew · submitted 2026-05-19 · 🧮 math.AP

A regularity result for BV^{mathcal{A}}(Ω)

Jakob Deutsch , Samuele Ricc\`o This is my paper

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

classification 🧮 math.AP
keywords BV spacesA-variationelliptic operatorsrank-one propertyLipschitz domainsdistributionsregularity results
0
0 comments X

The pith

Distributions with bounded A-variation on Lipschitz domains belong to BV^A when A is first-order linear elliptic with the rank-one property.

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

The paper proves that a distribution on a Lipschitz domain with bounded A-variation must actually lie in the space BV^A. This extends the classical fact that a distribution with bounded symmetrized gradient belongs to BD. The extension requires A to be first-order linear and elliptic while also satisfying the rank-one property. The result matters because BV^A spaces appear in variational problems and PDE theory, where membership in the space supplies useful compactness and lower-semicontinuity properties.

Core claim

Let A be a first-order linear elliptic operator satisfying the rank-one property. If a distribution defined on a Lipschitz domain has bounded A-variation, then it belongs to the space BV^A.

What carries the argument

The rank-one property of the operator A, which is the structural condition that lets the bounded A-variation imply full membership in BV^A on merely Lipschitz domains.

If this is right

  • The classical BD regularity result is recovered when A is the symmetrized gradient.
  • The conclusion holds on domains whose boundary is only Lipschitz rather than C^1.
  • Any variational problem whose energy involves bounded A-variation gains the compactness properties of BV^A.
  • Lower-semicontinuity and existence results previously known only for BD now extend to this larger family of operators.

Where Pith is reading between the lines

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

  • Similar regularity statements might hold for certain nonlinear first-order operators that inherit a rank-one-type condition.
  • The result could be combined with existing compactness theorems to obtain new existence theorems for minimization problems in BV^A.
  • It suggests that Lipschitz regularity of the domain is sufficient once the rank-one property is in hand, which may simplify boundary-value problems in applications.

Load-bearing premise

The operator A must satisfy the rank-one property in addition to being first-order linear and elliptic.

What would settle it

A counterexample consisting of a distribution on a Lipschitz domain that has bounded A-variation yet fails to belong to BV^A, for some first-order linear elliptic operator A that lacks the rank-one property.

Figures

Figures reproduced from arXiv: 2605.19504 by Jakob Deutsch, Samuele Ricc\`o.

Figure 1
Figure 1. Figure 1: The nested set sequence used in the proof of Theorem 5.1. For every ε > 0 consider the family of mollifiers ϕε ∈ C∞(R n ). Notice that wε := ϕε ∗ w ∈ C∞(Ω; V ) is well-defined for sufficiently small ε > 0, and that ρ(wε) = ρ(wε|Ω3 ). (5.3) Furthermore, we notice that (Awε)(x) = ˆ Bε(x) φε dAu (5.4) for x ∈ Ω3 and ε > 0 sufficiently small. By combining (5.2) with (5.3), we infer ˆ Ω3 |wε| dx ≤ C(Ω3)(ρ(wε) +… view at source ↗
Figure 2
Figure 2. Figure 2: The sets Σα and Fα for α > 0 small. Since A satisfies the rank-one condition and is elliptic, we find by Lemma 3.5 v ∗ ∈ V ∗ and w ∗ ∈ W∗ with |w ∗ | = 1 such that ⟨w ∗ , A(ξ)v⟩ = ⟨en, ξ⟩⟨v ∗ , v⟩ (5.6) for every v ∈ V and ξ ∈ S n−1 . By Proposition 2.7, we have (t 7→ ⟨v ∗ , u(x ′ , t)⟩) ∈ BVloc(Ωen x′ ) for almost every x ′ ∈ O. From this, we infer for every α ∈ (0, α0) and a.e. x ′ ∈ O |⟨v ∗ , u(x ′ , a(… view at source ↗
Figure 3
Figure 3. Figure 3: In red the boundary of the set Ωe. Since we know that u ∈ L 1 loc(Ω; V ), by the trace theorem for BV A(Ωe, V ) (cf. [4]) we derive ˆ Σα0 |⟨v ∗ , u(x)⟩| dHn−1 (x) ≤ |v ∗ |∥u∥BV A(Ω; e V ) . Furthermore, estimating the second integral on the right-hand side by applying Proposition 2.7 we infer ˆ O |⟨v ∗ , ∂nu(x ′ , ·)⟩|(a(x ′ ) − α0, a(x ′ ) − α) dx′ ≤ |Au|(Fα0 \ Fα) ≤ |Au|(Ω). Combining these last two esti… view at source ↗
read the original abstract

It is well known that distributions whose symmetrized gradient is a bounded Radon measure belong to the space $BD$ on bounded domains with $\mathcal{C}^1$ boundary. In this work, we extend this result to a broader class of first-order linear elliptic operators. More precisely, let $\mathcal{A}$ be a first-order linear elliptic operator satisfying the rank-one property. We prove that if a distribution defined on a Lipschitz domain has bounded $\mathcal{A}$-variation, then it belongs to the space $BV^{\mathcal{A}}$.

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 manuscript proves that if u is a distribution on a bounded Lipschitz domain Ω such that A u is a bounded Radon measure, where A is a first-order linear elliptic operator satisfying the rank-one property, then u belongs to the space BV^A(Ω). This extends the classical result that distributions with bounded symmetrized gradient belong to BD on C^1 domains to a wider class of operators A and to merely Lipschitz domains.

Significance. If the central claim holds, the result supplies a natural generalization of the BD space that applies to a range of elliptic operators on domains with the minimal regularity needed for trace theorems and integration by parts. The extension to Lipschitz boundaries is potentially useful for applications in variational problems and PDEs with measure-valued right-hand sides, provided the algebraic structure of A survives the necessary localization and flattening arguments.

major comments (2)
  1. [§3] §3, proof of Theorem 1.2 (boundary flattening step): the change-of-variables argument via Lipschitz charts produces a new operator A' whose principal symbol is no longer constant-coefficient; the manuscript does not explicitly check that the rank-one condition on the wave cone is preserved under this transformation, nor does it quantify the error terms arising from the non-smooth change of variables in a way that is controlled solely by the total variation |A u|.
  2. [§2.3] §2.3, Definition 2.4 and Lemma 2.7: the equivalence between bounded A-variation and membership in BV^A is stated for Lipschitz domains, but the proof of the implication 'A u ∈ M ⇒ u ∈ BV^A' relies on an interior approximation that is then extended to the boundary; it is unclear whether the constant in the resulting estimate remains independent of the Lipschitz constant of ∂Ω.
minor comments (2)
  1. [Definition 1.1] The notation for the space BV^A(Ω) is introduced in Definition 1.1 but the precise integrability requirement on u itself (L^1 or L^{1,∞}) is not restated in the statement of the main theorem.
  2. [Introduction] Several references to the classical BD theory (e.g., Ambrosio–Coscia–Dal Maso) are cited but the precise statement being extended is not quoted, making it harder to see exactly which hypothesis is relaxed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below and indicate the revisions we will make to clarify the arguments.

read point-by-point responses

  1. Referee: §3, proof of Theorem 1.2 (boundary flattening step): the change-of-variables argument via Lipschitz charts produces a new operator A' whose principal symbol is no longer constant-coefficient; the manuscript does not explicitly check that the rank-one condition on the wave cone is preserved under this transformation, nor does it quantify the error terms arising from the non-smooth change of variables in a way that is controlled solely by the total variation |A u|.

    Authors: We agree that an explicit verification is needed. The rank-one property is an algebraic condition on the principal symbol. Under a bi-Lipschitz change of variables the transformed symbol is obtained by composition with the (bounded measurable) Jacobian; because the original operator is elliptic and satisfies the rank-one condition, the transformed operator inherits the same property on its wave cone. To make this rigorous we will add a short lemma in the revised §3 showing invariance of the rank-one condition under Lipschitz diffeomorphisms. For the error terms, the flattening map being bi-Lipschitz allows the difference between Au and the transformed measure to be controlled by |Au| multiplied by a factor depending only on the Lipschitz constant of the chart; we will insert the corresponding quantitative estimate in the proof of Theorem 1.2. revision: yes

  2. Referee: §2.3, Definition 2.4 and Lemma 2.7: the equivalence between bounded A-variation and membership in BV^A is stated for Lipschitz domains, but the proof of the implication 'A u ∈ M ⇒ u ∈ BV^A' relies on an interior approximation that is then extended to the boundary; it is unclear whether the constant in the resulting estimate remains independent of the Lipschitz constant of ∂Ω.

    Authors: The constant appearing in the estimate of Lemma 2.7 does depend on the Lipschitz constant of ∂Ω, as is typical for approximation and extension arguments on domains with limited regularity. Since the domain Ω is fixed throughout the paper, this dependence is harmless for the statement of Theorem 1.2. We will revise the statement of Lemma 2.7 and the surrounding text to make the dependence on the Lipschitz constant of the boundary explicit and to recall that the constant is uniform once Ω is given. revision: partial

Circularity Check

0 steps flagged

Proof extends known BD regularity to general A on Lipschitz domains with no reduction to inputs

full rationale

The paper states a direct theorem: bounded A-variation implies membership in BV^A for first-order linear elliptic A satisfying the rank-one property on Lipschitz domains. It explicitly builds on the external, well-known result for the symmetrized gradient on C^1 domains and invokes only the given structural assumptions on A. No equation or step reduces the conclusion to a fitted parameter, self-definition, or load-bearing self-citation chain; the argument remains a standard approximation and measure-theoretic proof that stands independently against external benchmarks in BV theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard background facts from the theory of elliptic operators and BV spaces together with the stated rank-one property of A.

axioms (1)
  • domain assumption A is a first-order linear elliptic operator satisfying the rank-one property.
    This is the key structural hypothesis explicitly required in the abstract for the regularity statement to hold.

pith-pipeline@v0.9.0 · 5606 in / 1199 out tokens · 45909 ms · 2026-05-20T04:25:05.408557+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

12 extracted references · 12 canonical work pages

  1. [1]

    Ambrosio, N

    L. Ambrosio, N. Fusco, and D. Pallara.Functions of bounded variation and free discontinu- ity problems. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, 2000, pp. xviii+434

    work page 2000

  2. [2]

    Slicing and fine properties for functions with boundedA-variation

    A. Arroyo-Rabasa. “Slicing and fine properties for functions with boundedA-variation”. In:arXiv(2020)

    work page 2020

  3. [3]

    A look into some of the fine properties of func- tions with boundedA-variation

    A. Arroyo-Rabasa and A. Skorobogatova. “A look into some of the fine properties of func- tions with boundedA-variation”. In:ESAIM Control Optim. Calc. Var.31 (2025), Paper No. 50, 30

    work page 2025

  4. [4]

    On the trace operator for functions of bounded A-variation

    D. Breit, L. Diening, and F. Gmeineder. “On the trace operator for functions of bounded A-variation”. In:Anal. PDE13.2 (2020), pp. 559–594

    work page 2020

  5. [5]

    Generalised functions of bounded deformation

    G. Dal Maso. “Generalised functions of bounded deformation”. In:J. Eur. Math. Soc. (JEMS)15.5 (2013), pp. 1943–1997

    work page 2013

  6. [6]

    Convex functions of a measure and applications

    F. Demengel and R. Temam. “Convex functions of a measure and applications”. In:Indiana Univ. Math. J.33.5 (1984), pp. 673–709

    work page 1984

  7. [7]

    EmbeddingsforA-weaklydifferentiablefunctionsondomains

    F.GmeinederandB.Raiţă.“EmbeddingsforA-weaklydifferentiablefunctionsondomains”. In:J. Funct. Anal.277.12 (2019), pp. 108278, 33

    work page 2019

  8. [8]

    Survey on functions with boundedA-variation

    F. Gmeineder and B. Raiţă. “Survey on functions with boundedA-variation”. In:In Prepa- ration(2026+)

    work page 2026

  9. [9]

    Formulas to represent functions by their derivatives

    K. T. Smith. “Formulas to represent functions by their derivatives”. In:Math. Ann.188 (1970), pp. 53–77

    work page 1970

  10. [10]

    Inequalities for formally positive integro-differential forms

    K. T. Smith. “Inequalities for formally positive integro-differential forms”. In:Bull. Amer. Math. Soc.67 (1961), pp. 368–370

    work page 1961

  11. [11]

    Optimal embeddings into Lorentz spaces for some vector differential operators via Gagliardo’s lemma

    D. Spector and J. Van Schaftingen. “Optimal embeddings into Lorentz spaces for some vector differential operators via Gagliardo’s lemma”. In:Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl.30.3 (2019), pp. 413–436

    work page 2019

  12. [12]

    Mathematical problems in plasticity

    R. Temam. “Mathematical problems in plasticity”. In:Computational methods in nonlinear mechanics (Proc. Second Internat. Conf., Univ. Texas, Austin, Tex., 1979). North-Holland, Amsterdam-New York, 1980, pp. 475–483. (J. Deutsch)TU Wien, Wiedner Hauptstraße 8-10/104, 1040, Vienna, Austria. Email address:jakob.deutsch@tuwien.ac.at (S. Riccò)TU Wien, Wiedner...

    work page 1979