Piecewise affine approximations for functions of bounded variation

BV functions cannot be approximated well by piecewise constant functions, but this work will show that a good approximation is still possible with (countably) piecewise affine functions. In particular, this approximation is area-strictly close to the original function and the $$\mathrm {L}^1$$L1-difference between the traces of the original and approximating functions on a substantial part of the mesh can be made arbitrarily small. Necessarily, the mesh needs to be adapted to the singularities of the BV function to be approximated, and consequently, the proof is based on a blow-up argument together with explicit constructions of the mesh. In the case of $$\mathrm {W}^{1,1}$$W1,1-Sobolev functions we establish an optimal $${\mathrm {W}}^{1,1}$$W1,1-error estimate for approximation by piecewise affine functions on uniform regular triangulations. The piecewise affine functions are standard quasi-interpolants obtained by mollification and Lagrange interpolation on the nodes of triangulations, and the main new contribution here compared to for instance Clément (RAIRO Anal Numér 9(R-2):77–84, 1975) and Verfürth (M2AN Math. Model Numer Anal 33(4):1766–1782, 1999) is that our error estimates are in the $${\mathrm {W}}^{1,1}$$W1,1-norm rather than merely the $${\mathrm {L}}^1$$L1-norm.

[1]  Yu. G. Reshetnyak Weak convergence of completely additive vector functions on a set , 1968 .

[2]  E. Giusti Minimal surfaces and functions of bounded variation , 1977 .

[3]  F. Rindler,et al.  Characterization of Generalized Gradient Young Measures Generated by Sequences in W1,1 and BV , 2010 .

[4]  P. Clément Approximation by finite element functions using local regularization , 1975 .

[5]  G. Alberti Rank one property for derivatives of functions with bounded variation , 1993, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[6]  Shayne Waldron,et al.  Multipoint Taylor formulæ , 1998, Numerische Mathematik.

[7]  S. Müller On quasiconvex functions which are homogeneous of degree , 1992 .

[8]  C. M. Dafermos,et al.  Hyberbolic [i.e. Hyperbolic] conservation laws in continuum physics , 2005 .

[9]  Philippe G. Ciarlet,et al.  Multipoint Taylor formulas and applications to the finite element method , 1971 .

[10]  Strong approximation of sets in BV(Ω) , 2008, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[11]  Przemysław Wojtaszczyk Projections and Non-Linear Approximation in the Space BV(Rd) , 2003 .

[12]  Sören Bartels,et al.  Total Variation Minimization with Finite Elements: Convergence and Iterative Solution , 2012, SIAM J. Numer. Anal..

[13]  L. Ambrosio,et al.  Functions of Bounded Variation and Free Discontinuity Problems , 2000 .

[14]  A new approximation result for BV-functions , 2005 .

[15]  Helge Holden,et al.  The Kolmogorov–Riesz compactness theorem , 2009, 0906.4883.

[16]  Vladimir Maz’ya,et al.  Sobolev Spaces: with Applications to Elliptic Partial Differential Equations , 2011 .

[17]  S. Delladio,et al.  Lower semicontinuity and continuity of functions of measures with respect to the strict convergence , 1991, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[18]  F. Rindler Lower semicontinuity and Young measures in BV without Alberti's Rank-One Theorem , 2010, 1010.0242.

[19]  Antonin Chambolle,et al.  Implementation of an adaptive finite-element approximation of the Mumford-Shah functional , 2000, Numerische Mathematik.

[20]  Jan Kristensen,et al.  Compactness versus regularity in the calculus of variations , 2011 .

[21]  Ronald F. Gariepy FUNCTIONS OF BOUNDED VARIATION AND FREE DISCONTINUITY PROBLEMS (Oxford Mathematical Monographs) , 2001 .

[22]  Andrea Braides,et al.  The interaction between bulk energy and surface energy in multiple integrals , 1994, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[23]  W. Ziemer Weakly differentiable functions , 1989 .

[24]  Thomas Schmidt,et al.  Strict interior approximation of sets of finite perimeter and functions of bounded variation , 2014 .

[25]  Daniel Spector SIMPLE PROOFS OF SOME RESULTS OF RESHETNYAK , 2011 .

[26]  M. Bildhauer Convex variational problems , 2003 .

[27]  J. Serrin,et al.  Sublinear functions of measures and variational integrals , 1964 .

[28]  F. Rindler,et al.  Relaxation of signed integral functionals in BV , 2009 .

[29]  E. Moise Geometric Topology in Dimensions 2 and 3 , 1977 .

[30]  Antje Baer,et al.  Direct Methods In The Calculus Of Variations , 2016 .

[31]  Giorgio C. Buttazzo,et al.  Variational Analysis in Sobolev and BV Spaces - Applications to PDEs and Optimization, Second Edition , 2014, MPS-SIAM series on optimization.

[32]  Ronald A. DeVore,et al.  Greedy wavelet projections are bounded on BV , 2006 .