Functionals depending on curvatures with constraints

Authors Maria Giovanna Mora, Massimiliano Morini

Publication date 22 April 2003

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0006031, http://www.numdam.org/item?id=RSMUP_2000__104__173_0, https://eudml.org/doc/108533

zbMATH Keywords

compactness curvature Hausdorff distance Hausdorff measure image segmentation integral functional semicontinuity

Mathematics Subject Classification ID

Methods involving semicontinuity and convergence; relaxation (49J45) Variational problems in a geometric measure-theoretic setting (49Q20) Image processing (compression, reconstruction, etc.) in information and communication theory (94A08)

Abstract: We deal with a family of functionals depending on curvatures and we prove for them compactness and semicontinuity properties in the class of closed and bounded sets which satisfy a uniform exterior and interior sphere condition. We apply the results to state an existence theorem for the Nitzberg and Mumford problem under this additional constraint.

Review text

In this paper, the authors consider functionals of the form \[ F(E)=\int_{\partial E} \varphi(K_1, \ldots, K_{n-1}) d{\mathcal H}^{n-1}, \] where \(\varphi\) is a convex function on \({\mathbf R}^{n-1}\), \({\mathcal H}^{n-1}\) is the \((n-1)\)-dimensional Hausdorff measure, and \(K_i\) are the elementary symmetric functions of the principal curvatures of the boundary \(\partial E\) of a sufficiently regular closed set \(E\subset\mathbf R^n\). For \(R>0\) they define the set \(\mathcal U_R\) of closed bounded sets in \(\mathbf R^n\) such that, for any boundary point \(p\in\partial E\) there are two open balls of radius \(R\) tangent at \(p\), one of them contained in \(E\) and the other one in the exterior of \(E\). The authors show that the sets in class \(\mathcal U_R\) are sufficiently regular to allow the functional \(F\) to be defined on them. Next, they show compactness and semicontinuity results for \(F\) in \(\mathcal U_R\). For the compactness result the topology on \(\mathcal U_R\) is the one determined by the convergence in the sense of Kuratowski, which is induced on the space of equibounded sets by the Hausdorff distance. For the semicontinuity result the convergence on \(\mathcal U_R\) is the \(L^1\)-convergence of characteristic functions. They apply their results in \(\mathbf R^2\) to show existence of solutions in \(\mathcal U_R\) to a variational problem, proposed by M. Nitzberg and D. Mumford, related to image segmentation models.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Functionals depending on curvatures with constraints

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