Strict and pointwise convergence of BV functions in metric spaces

DOI10.1016/J.JMAA.2017.06.010MaRDI QIDQ2014076zbMATH OpenOpenAlexFDO

Authors Panu Lahti

Publication date 10 August 2017

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1612.06447

zbMATH Keywords

bounded variationcodimension one Hausdorff measuredoubling measuremetric measure spacePoincaré inequalitypointwise convergencestrict convergenceuniform convergence

Mathematics Subject Classification ID

Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Real-valued functions in general topology (54C30)

Abstract: In the setting of a metric space $X$ equipped with a doubling measure that supports a Poincar'e inequality, we show that if $u_{i}ou$ strictly in $BV(X)$, i.e. if $u_{i}ou$ in $L^1(X)$ and $VertD{u}_{i}Vert(X)oVertDuVert(X)$, then for a subsequence (not relabeled) we have $widetilde{u}_i(x)owidetildeu(x)$ for $mathcalH$-almost every $xinXsetminus{S}_u$.

Review text

Let \((X,d,\mu)\) be a metric space equipped with a doubling measure \(\mu\) that supports a \((1,1)\)-Poincaré inequality and let \(\mathcal{H}\) denote the codimension one Hausdorff measure in \(\mathcal{P}(X)\). Assume that \(\Omega\subset X\) is an open set, \((u_i)_i\subset \mathrm{BV}(\Omega)\) is a sequence which converges strictly in \(\mathrm{BV}(\Omega)\) to a function \(u\), i.e., \(u_i\to u\) in \(L^1(\Omega)\) and \(||Du_i||(\Omega)\to ||Du||(\Omega)\). Then there exists a subsequence (not relabeled) such that \(\tilde{u}_i(x)\to\tilde{u}(x)\) for \(\mathcal{H}\)-almost every \(x\in \Omega\setminus S_u\), where \(S_u\) is the jump set of \(u\). Moreover, for any compact set \(K\subset\Omega\setminus S_u\) and \(\varepsilon>0\) there exists an open set \(U\subset X\) with \(\mathrm{Cap}_1(U)<\varepsilon\) such that \(\tilde{u}_i\to\tilde{u}\) uniformly in \(K\setminus U\). The results are new even in the Euclidean setting. The main tool used in the proofs is a boxing-type argument, see [\textit{J. Kinnunen} et al., Indiana Univ. Math. J. 57, No. 1, 401--430 (2008; Zbl 1146.46018)]. Examples showing that the obtained results are optimal are given at the end of the paper.

Recommendations

• A notion of fine continuity for BV functions on metric spaces
• Fine properties and a notion of quasicontinuity for BV functions on metric spaces
• Quasiopen sets, bounded variation and lower semicontinuity in metric spaces
• scientific article; zbMATH DE number 4184382
• Lebesgue points and capacities via boxing inequality in metric spaces
• Asymptotic behavior of BV functions and sets of finite perimeter in metric measure spaces
• Approximation of BV by SBV functions in metric spaces
• A note on the Poincaré inequality
• A note on metric-measure spaces supporting Poincaré inequalities
• Upper conical density results for general measures on \(\mathbb R^{n}\)

Cites work

• A Federer-style characterization of sets of finite perimeter on metric spaces
• Fine properties and a notion of quasicontinuity for BV functions on metric spaces
• Fine properties of sets of finite perimeter in doubling metric measure spaces
• Functions of bounded variation on ``good metric spaces
• scientific article; zbMATH DE number 4017727 (Why is no real title available?)
• scientific article; zbMATH DE number 3868094 (Why is no real title available?)
• scientific article; zbMATH DE number 2159261 (Why is no real title available?)
• scientific article; zbMATH DE number 1448982 (Why is no real title available?)
• scientific article; zbMATH DE number 3280855 (Why is no real title available?)
• Lebesgue points and capacities via boxing inequality in metric spaces
• Newtonian spaces: An extension of Sobolev spaces to metric measure spaces
• Nonlinear potential theory on metric spaces
• Pointwise properties of functions of bounded variation in metric spaces
• Quasiconformal maps in metric spaces with controlled geometry
• Sobolev Spaces on Metric Measure Spaces
• Stability and continuity of functions of least gradient
• Tensorization of Cheeger energies, the space \(H^{1, 1}\) and the area formula for graphs
• Weakly Differentiable Functions

Cited in

(15)

• Convergence of metric space-valued BV functions.
• A note on the weak\(^\ast\) and pointwise convergence of \(\operatorname{BV}\) functions
• Pairings between bounded divergence-measure vector fields and BV functions
• On the blow-up of GSBV functions under suitable geometric properties of the jump set
• Approximation of BV by SBV functions in metric spaces
• A sharp Leibniz rule for BV functions in metric spaces
• Discrete convolutions of \(\text{BV}\) functions in quasiopen sets in metric spaces
• Quasiopen sets, bounded variation and lower semicontinuity in metric spaces
• Fine properties and a notion of quasicontinuity for BV functions on metric spaces
• A notion of fine continuity for BV functions on metric spaces
• Asymptotic behavior of BV functions and sets of finite perimeter in metric measure spaces
• Alberti's rank one theorem and quasiconformal mappings in metric measure spaces
• Lower semicontinuity and existence results for anisotropic TV functionals with signed measure data
• Existence theory for linear-growth variational integrals with signed measure data
• Equivalence of two BV classes of functions in metric spaces, and existence of a Semmes family of curves under a 1-Poincaré inequality

This page was built for publication: Strict and pointwise convergence of BV functions in metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2014076)