Weighted Bounded Variation Revisited

Joseph Kasel; Kabe Moen; Matthew Gossett; Simon Bortz

arxiv: 2510.14105 · v2 · pith:AQ5AEBBXnew · submitted 2025-10-15 · 🧮 math.CA · math.FA

Weighted Bounded Variation Revisited

Simon Bortz , Matthew Gossett , Joseph Kasel , Kabe Moen This is my paper

Pith reviewed 2026-05-21 20:15 UTC · model grok-4.3

classification 🧮 math.CA math.FA

keywords weighted BVlower semicontinuityGNS inequalityisoperimetric inequalitystructure theoremA1 conditionapproximationembedding

0 comments

The pith

Lower semicontinuity of the weight allows a structure theorem for weighted BV functions along with approximation and inequality results.

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

This paper revisits the theory of weighted functions of bounded variation. It proves that lower semicontinuity of the weight is enough to obtain a structure theorem for these functions. With a pointwise A1 condition on the weight, the authors establish smooth approximation, an embedding theorem, a weighted GNS inequality, and a weighted isoperimetric inequality. These findings extend earlier results and are motivated by the need for such inequalities in analysis.

Core claim

The authors establish a structure theorem for weighted BV functions under the assumption of lower semicontinuity of the weight. They further show that a pointwise A1 condition on the weight implies a smooth approximation result, an embedding theorem, a weighted Gagliardo-Nirenberg-Sobolev inequality for BV functions, and a corresponding weighted isoperimetric inequality.

What carries the argument

The weighted variation measure associated to a lower semicontinuous weight, which supports the decomposition into absolutely continuous and jump parts.

If this is right

The weighted GNS inequality bounds the L^p norm of a function in terms of its weighted BV norm.
The weighted isoperimetric inequality relates the weighted perimeter to the measure of sets.
Smooth functions are dense in the weighted BV space under the A1 condition.
Embedding theorems provide integrability or continuity properties for weighted BV functions.

Where Pith is reading between the lines

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

These inequalities may be applied to prove existence results for minimizers in weighted variational problems.
The structure theorem could facilitate the study of rectifiable sets in weighted measures.
Further work might connect these to weighted Sobolev spaces for regularity questions.

Load-bearing premise

The weight must be lower semicontinuous to guarantee the structure theorem, or satisfy a pointwise A1 condition to guarantee the inequalities and approximations.

What would settle it

An explicit weight that fails to be lower semicontinuous, together with a weighted BV function whose variation measure does not admit the expected decomposition, would show the assumption is necessary.

read the original abstract

In this article, we investigate the theory of weighted functions of bounded variation (BV), as introduced by Baldi [Ba01]. Depending on the theorem, we impose lower semicontinuity and/or a pointwise A1 condition on the weight. Our motivation is twofold: to establish weighted Gagliardo-Nirenberg-Sobolev (GNS) inequalities for BV functions, and to clarify and extend earlier results on weighted BV spaces. Our main contributions include a structure theorem under minimal assumptions (lower semicontinuity), a smooth approximation result, an embedding theorem, a weighted GNS inequality for BV functions, and a corresponding weighted isoperimetric inequality.

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.

Desk Editor's Note private letter to a colleague

Extends Baldi's weighted BV with structure theorem under lower semicontinuity and GNS/isoperimetric under A1, with consistent proofs.

read the letter

The main thing to know is that they prove a structure theorem for weighted BV functions when the weight is lower semicontinuous, which is a weaker condition than in some earlier work. They follow this with a smooth approximation result and an embedding theorem. For the weighted GNS inequality and the weighted isoperimetric inequality, they impose a pointwise A1 condition on the weight. This extends and clarifies Baldi's results in a useful way. The paper does well in stating the hypotheses for each theorem separately and in using approximation arguments that seem to work without extra regularity. The stress-test note supports that the central claims hold up internally. A minor soft spot is the jump in assumptions for the inequalities; the A1 condition is more restrictive, so those results don't apply as broadly as the structure theorem. This is not hidden, but it is worth noting if you're hoping for everything under minimal conditions. The work is careful and the citation to prior results looks appropriate. This is the kind of paper that specialists in weighted Sobolev and BV spaces will appreciate for the specific theorems. Someone working on applications in geometric measure theory or PDEs with weights might cite the inequalities or the structure result. It is grounded enough and has enough new content to deserve a serious referee. I recommend sending this to peer review.

Referee Report

0 major / 2 minor

Summary. The paper revisits the theory of weighted BV functions as introduced by Baldi [Ba01]. Under lower semicontinuity of the weight (for the structure theorem in §3) and/or a pointwise A1 condition (for inequalities in §5), it establishes a structure theorem for the weighted variation measure, a smooth approximation result, an embedding theorem, a weighted GNS inequality for BV functions, and a corresponding weighted isoperimetric inequality. The proofs rely on standard approximation and measure-theoretic arguments.

Significance. If the results hold under the stated minimal assumptions, the work clarifies and extends prior results on weighted BV spaces while providing new tools such as the weighted GNS and isoperimetric inequalities. These could support further developments in weighted Sobolev embeddings and related inequalities in analysis. The internal consistency of the arguments, with no identified gaps in the decomposition of the weighted variation measure, is a positive feature.

minor comments (2)

[§2] §2: The definition of the weighted total variation could benefit from an explicit comparison to the unweighted case to highlight the role of the lower semicontinuity assumption.
[§5] §5: In the statement of the weighted GNS inequality, clarify whether the constant depends on the A1 constant of the weight or is independent of it.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of our manuscript. We appreciate the recommendation for minor revision and will incorporate any necessary clarifications or corrections in the revised version.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes a structure theorem for weighted BV functions under lower semicontinuity of the weight, along with smooth approximation, embedding, weighted GNS, and isoperimetric inequalities under a pointwise A1 condition. These results are derived via standard approximation and measure-theoretic arguments from the explicitly stated hypotheses in the abstract and sections 3 and 5. No steps reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; prior work such as Baldi [Ba01] supplies independent foundational context rather than closing the derivation loop. The central claims therefore retain independent content and are self-contained against the given assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The results rest on standard domain assumptions from weighted analysis rather than new free parameters or invented entities.

axioms (2)

domain assumption Weight is lower semicontinuous
Invoked for the structure theorem as per abstract.
domain assumption Pointwise A1 condition on the weight
Used depending on the theorem, per abstract.

pith-pipeline@v0.9.0 · 5632 in / 1141 out tokens · 29657 ms · 2026-05-21T20:15:16.593866+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.1 (Structure Theorem for BV_loc(Ω;w)). Let w:ℝ^n→(0,∞] be lower semicontinuous... d∥Df∥_w = w d∥Df∥.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.3 (Gagliardo-Nirenberg-Sobolev Inequality for BV(ℝ^n;w))... ∥f∥_{L^{1*}(ℝ^n;w)} ≤ C_1 [w]_{A1}^{2/1*} ∥Df∥_w^{1/1*}(ℝ^n)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.