Skip to main content

Measure-Theoretic Properties of Level Sets of Distance Functions

Abstract

We consider the level sets of distance functions from the point of view of geometric measure theory. This lays the foundation for further research that can be applied, among other uses, to the derivation of a shape calculus based on the level-set method. Particular focus is put on the \((n-1)\)-dimensional Hausdorff measure of these level sets. We show that, starting from a bounded set, all sub-level sets of its distance function have finite perimeter. Furthermore, if a uniform-density condition is satisfied for the initial set, one can even show an upper bound for the perimeter that is uniform for all level sets. Our results are similar to existing results in the literature, with the important distinction that they hold for all level sets and not just almost all. We also present an example demonstrating that our results are sharp in the sense that no uniform upper bound can exist if our uniform-density condition is not satisfied. This is even true if the initial set is otherwise very regular (i.e., a bounded Caccioppoli set with smooth boundary).

This is a preview of subscription content, access via your institution.

Fig. 1
Fig. 2
Fig. 3
Fig. 4

References

  1. Alberti, G., Bianchini, S., Crippa, G.: Structure of level sets and Sard-type properties of Lipschitz maps. Ann. della Scuola Normale Superiore di Pisa—Classe Sci. 12(4), 863–902 (2013)

    MathSciNet  MATH  Google Scholar 

  2. Almgren, F., Taylor, J.E., Wang, L.: Curvature-driven flows: a variational approach. SIAM J. Control Optim. 31(2), 387–437 (1993)

    MathSciNet  Article  MATH  Google Scholar 

  3. Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs, 1st edn. Oxford Science, Oxford (2000)

    MATH  Google Scholar 

  4. Bucur, D., Zolésio, J.-P.: Free boundary problems and density perimeter. J. Differ. Equ. 126, 224–243 (1996)

    MathSciNet  Article  MATH  Google Scholar 

  5. Burger, M.: A framework for the construction of level set methods for shape optimization and reconstruction. Interfaces Free Bound. 5, 301–329 (2003)

    MathSciNet  Article  MATH  Google Scholar 

  6. Burger, M., Matevosyan, N., Wolfram, M.-T.: A level set based shape optimization method for an elliptic obstacle problem. Math. Models Method Appl. Sci. 21(4), 619–649 (2011)

    MathSciNet  Article  MATH  Google Scholar 

  7. Caraballo, D.G.: Areas of level sets of distance functions induced by asymmetric norms. Pac. J. Math. 218(1), 37–52 (2005)

    MathSciNet  Article  MATH  Google Scholar 

  8. Delfour, M.C., Zolésio, J.-P.: Shapes and Geometries. Advances in Design and Control, 2nd edn. SIAM, Philadelphia (2011)

    Book  MATH  Google Scholar 

  9. Delfour, M.C., Zolésio, J.-P.: The new family of cracked sets and the image segmentation problem revisited. Commun. Inf. Syst. 4(1), 29–52 (2004)

    MathSciNet  MATH  Google Scholar 

  10. Droske, M., Ring, W.: A Mumford-Shah level-set approach for geometric image registration. SIAM J. Appl. Math. 66(6), 2127–2148 (2006)

    MathSciNet  Article  MATH  Google Scholar 

  11. Evans, L.C., Gariepy, R.F.: Measure Theory and Fine Properties of Functions. Studies in Advanced Mathematics. CRC Press, Boca Raton (1992)

    MATH  Google Scholar 

  12. Federer, H.: Geometric Measure Theory. Springer, Berlin (1969)

    MATH  Google Scholar 

  13. Kraft, D.: A Hopf–Lax formula for the time evolution of the level-set equation and a new approach to shape sensitivity analysis. Interfaces Free Bound. Preprint IGDK-2015-18. https://igdk1754.ma.tum.de/foswiki/pub/IGDK1754/Preprints/Kraft_2015A.pdf

  14. Kraft, D.: A Hopf–Lax formula for the level-set equation and applications to PDE-constrained shape optimisation. In: Proceedings of the 19th International Conference on Methods and Models in Automation and Robotics, pp. 498–503. IEEE Xplore (2014)

  15. Osher, S., Sethian, J.A.: Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations. J. Comput. Phys. 79, 12–49 (1988)

    MathSciNet  Article  MATH  Google Scholar 

  16. Yeh, J.: Real Analysis: Theory of Measure and Integration, 2nd edn. World Scientific, Singapore (2006)

    Book  MATH  Google Scholar 

Download references

Acknowledgments

The author would like to thank Wolfgang Ring of the University of Graz for thorough proofreading of the manuscript. This work is supported by the Austrian Science Fund (FWF) and the International Research Training Group IGDK 1754.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Daniel Kraft.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Kraft, D. Measure-Theoretic Properties of Level Sets of Distance Functions. J Geom Anal 26, 2777–2796 (2016). https://doi.org/10.1007/s12220-015-9648-9

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12220-015-9648-9

Keywords

  • Geometric measure theory
  • Level set
  • Distance function
  • Hausdorff measure
  • Perimeter
  • Caccioppoli set

Mathematics Subject Classification

  • 28A75
  • 49Q10
  • 49Q12