Divergence-free measures in the plane and inverse potential problems in divergence form

L. Baratchart; D. Hardin; C. Villalobos-Guillén

Home/Archive/arXiv

arXiv · 2006.09072

Divergence-free measures in the plane and inverse potential problems in divergence form

L. Baratchart·D. Hardin·C. Villalobos-Guillén

View original source ↗Read source document ↗Export metadata ↓

Abstract

We show that a divergence-free measure on the plane is a continuous sum of unit tangent vector fields on rectifiable Jordan curves. This loop decomposition is more precise than the general decomposition in elementary solenoids given by S.K. Smirnov, when applied to the planar case. The proof involves extending the Fleming-Rishel formula to homogeneous BV functions (in any dimension), and establishing for such functions approximate continuity of measure theoretic connected components of suplevel sets as functions of the level. We apply these results to inverse potential problems whose source term is the divergence of some unknown (vector-valued) measure. A prototypical case is that of inverse magnetization problems when magnetizations are modeled by R3-valued Borel measures. We investigate methods for recovering a magnetization {\mu} by penalizing its measure theoretic total variation norm (TV). In particular, we prove that if a magnetization is supported in a plane, then TV-regularization schemes always have a unique minimizer, even in the presence of noise. It is further shown thatTV-norm minimization (among magnetizations generating the same field) uniquely recovers planar magnetizations in the following cases: when the magnetization is carried by a collection of sufficiently separated line segments and a set that is purely 1-unrectifiable, or when a superset of the support is tree-like. We note that such magnetizations can be recovered via TV-regularization schemes in the zero noise limit, by taking the regularization parameter to zero. This suggests definitions of sparsity in the present infinite dimensional context, that generate results akin to compressed sensing

Explore related subjects

math.FA

Keep this discovery

BibTeX RIS

L. Baratchart, D. Hardin, C. Villalobos-Guillén. 2020-06-16. Divergence-free measures in the plane and inverse potential problems in divergence form. https://arxiv.org/abs/2006.09072

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Typical dynamical properties of operators on $\ell_p$

We investigate the typical dynamical properties of hypercyclic operators in $\mathcal{L}_M(X)$, the set of all bounded linear operators on $X$ whose norms are at most $M$, when $X=\ell_p$, $1< p<\infty$. We show that, with respect to SOT$^*$, a typical operator $T\in \mathcal{L}_M(X)$ is weakly mixing, is weakly disjoint from a given hypercyclic operator $S$, is not topologically ergodic, and satisfies $(T,T^2,\dotsc,T^k)$ is disjoint hypercyclic for any $k\geq 2$. We also study the typical dynamical properties for the concrete family $\mathcal{M}=\{I+B_w\in \mathcal{L}(X)\colon w\in c_0(\mathbb{Z})\}$, endowed with the norm topology, where $B_w$ is a bilateral weighted backward shift.

math.FA↗

arXiv2026

A bi-Lipschitz characterization of strong minimum-attainment for Lipschitz maps

We completely characterize the denseness of strongly minimum-attaining Lipschitz functions, a minimum analogue for strongly norm-attaining Lipschitz functions, in terms of bi-Lipschitz embeddings. More precisely, our main result shows that the set of strongly minimum-attaining Lipschitz functions defined on a complete metric space $M$ fails the denseness if and only if $M$ is bi-Lipschitz equivalent to a subset of $\mathbb{R}$ with positive Lebesgue measure, or equivalently, if $M$ admits a bi-Lipschitz embedding into $\mathbb{R}$ and $M$ has positive 1-dimensional Hausdorff measure. As a consequence, we provide an isometric characterization of the pure 1-unrectifiability of $M$ in terms of strongly minimum-attaining Lipschitz maps defined on bi-Lipschitz copies of closed subsets of $M$. Several counterexamples showing that the main result cannot be naturally extended to the vector-valued setting are also presented.

math.FA↗

arXiv2026

On weak dominance of t-conorms over t-norms

The weak dominance of aggregation operators, particularly between triangular norms (t-norms) and triangular conorms (t-conorms), has attracted considerable attention in aggregation operator theory. While several characterizations have been obtained for Archimedean and continuous cases, a general criterion for continuous t-conorms over continuous t-norms remains to be fully clarified. In this paper, we provide a complete characterization of a continuous t-conorm weakly dominating a continuous t-norm. We first reduce the problem for ordinal sum operators to that for their single Archimedean components, and then express the weak dominance condition entirely in terms of the additive generators of these components. Our approach covers both strict and nilpotent cases uniformly, and recovers the known results for Archimedean operators as a special case.

math.FA↗