Finite-difference approximation of free-discontinuity problems

DOI10.1017/S0308210500001001MaRDI QIDQ2731103zbMATH OpenOpenAlexFDO

Authors Massimo Gobbino, Maria Giovanna Mora

Publication date 15 December 2002

Published in Proceedings of the Royal Society of Edinburgh. Section A. Mathematics (Search for Journal in Brave)

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

\(\Gamma\)-convergence compactness result free-discontinuity problems functions of bounded variation SBV special functions of bounded variation

Mathematics Subject Classification ID

Existence theories for free problems in two or more independent variables (49J10) Methods involving semicontinuity and convergence; relaxation (49J45) Discrete approximations in optimal control (49M25) Variational problems in a geometric measure-theoretic setting (49Q20)

Abstract: We approximate functionals depending on the gradient of

u

and on the behaviour of

u

near the discontinuity points, by families of non-local functionals where the gradient is replaced by finite differences. We prove pointwise convergence,

G a m m a

-convergence, and a compactness result which implies, in particular, the convergence of minima and minimizers.

Review text

Let \(\phi\), \(\psi:[0,+\infty[\to[0,+\infty[\) be given functions, and let \(\Omega\) be an open subset of \({\mathbf R}^n\). For every special function with bounded variation \(u\) (\(u\in \text{SBV}(\Omega)\)) let \(\mathcal F\) be defined by NEWLINE\[NEWLINE{\mathcal F}(u)=\int_\Omega\phi(|\nabla u(x)|) dx+\int_{S_u}\psi(|u^+(x)-u^-(x)|) d{\mathcal H}^{n-1}(x),NEWLINE\]NEWLINE where \(\nabla u\) is the approximate gradient of \(u\), \(S_u\) is the set of essential discontinuity points of \(u\), \(u^+(x)\) and \(u^-(x)\) are the approximate (in the measure theoretic sense) \(\limsup\) and \(\liminf\) of \(u\) at the point \(x\).NEWLINENEWLINENEWLINEStarting from the De Giorgi's approximation of the Mumford-Shah functional, the paper is devoted to the study of the approximability of \(\mathcal F\) by families of non-local functionals where the gradient is replaced by finite differences. The approximability is intended in the pointwise sense, and in the sense of \(\Gamma\)-convergence.NEWLINENEWLINENEWLINEMore precisely, if for every \(\varepsilon>0\) NEWLINE\[NEWLINE{\mathcal F}_\varepsilon(u)=\int_{{\mathbf R}^n\times{\mathbf R}^n}\phi_{\varepsilon|\xi|}\left({|u(x+\varepsilon\xi)-u(x)|\over\varepsilon|\xi|}\right)\eta(\xi) d\xi dx,NEWLINE\]NEWLINE where \(\{\phi_\rho\}_{\rho>0}\) is a family of Borel functions and \(\eta\in L^1({\mathbf R}^n)\), the paper is aimed to the study of the following problems:NEWLINENEWLINENEWLINE(i) given \(\{\phi_\rho\}_{\rho>0}\), provide estimates for the \(\Gamma\)-limit of \(\{{\mathcal F}_\varepsilon\}_{\varepsilon>0}\) in terms of \(\{\phi_\rho\}_{\rho>0}\),NEWLINENEWLINENEWLINE(ii) find \(\{\phi_\rho\}_{\rho>0}\) such that the family \(\{{\mathcal F}_\varepsilon\}_{\varepsilon>0}\) converges to \(\mathcal F\) pointwise, or in the sense of \(\Gamma\)-convergence.NEWLINENEWLINENEWLINEA compactness result is also established which implies the convergence of minima and of minimizers of \({\mathcal F}_\varepsilon\) to those of \(\mathcal F\).NEWLINENEWLINENEWLINESome examples are also discussed.

Recommendations

Cited in

(30)

This page was built for publication: Finite-difference approximation of free-discontinuity problems

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