Free discontinuity problems with unbounded data: The two dimensional case

DOI10.1007/BF02567096MaRDI QIDQ1197383zbMATH OpenFDO

Publication date 16 January 1993

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/155735

existence of a minimizing pair free discontinuity problems image segmentation

Methods involving semicontinuity and convergence; relaxation (49J45) Computing methodologies for image processing (68U10)

Review text

We prove the existence of a minimizing pair for the functional \(\mathcal G\) defined for every closed set \(K\subset{\mathbf R}^ 2\) and for every function \(u\in C^ 1(\Omega\backslash K)\) by \[ {\mathcal G}(K,u)=\int_{\Omega\backslash K} |\nabla u|^ 2 d{\mathcal L}^ 2+\mu \int_{\Omega\backslash K} | u-g|^ q d{\mathcal L}^ 2+\lambda{\mathcal H}^ 1(K\cap \Omega), \] where \(\Omega\) is an open set in \({\mathbf R}^ 2\), \(\lambda,\mu>0\), \(q\geq 1\), \(g\in L^ q(\Omega)\cap L^ p(\Omega)\) with \(p>2q\), \({\mathcal L}^ 2\) is the Lebesgue measure and \({\mathcal H}^ 1\) is the 1-dimensional Hausdorff measure. We show that a minimizing pair for \(\mathcal G\) does not exist for a suitable \(g\in L^ p(\Omega)\cap L^ q(\Omega)\) for every \(p<2q\). The existence result has been improved with \(p=2q\) and extended to the \(n\)-dimensional case with \(p\geq nq\) in a subsequent paper. The functional \(\mathcal G\) has been considered (with \(q=2\) and \(g\in L^ \infty(\Omega))\) by \textit{D. Mumford} and \textit{J. Shah} in the framework of image segmentation in Computer Vision Theory. For further applications see \textit{E. De Giorgi} [in: Frontiers in Pure and Applied Mathematics, 55-62 (1991; Zbl 0758.49002)].

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Free discontinuity problems with unbounded data: The two dimensional case

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