The Mumford-Shah functional for image segmentation is an original approach of the image segmentation problem, based on a minimal energy criterion. Its minimization can be seen as a free discontinuity problem and is based on Γ-convergence and bounded variation functions theories. Some new regularization results, make possible to imagine a finite element resolution method. In a first time, the Mumford-Shah functional is introduced and some existing results are quoted. Then, a discrete formulation...

Given a separable metric locally compact space $\mathrm{\Omega }$, and a positive finite non-atomic measure $\lambda$ on $\mathrm{\Omega }$, we study the integral representation on the space of measures with bounded variation $\mathrm{\Omega }$ of the lower semicontinuous envelope of the functional $$F(u)={\int }_{\mathrm{\Omega }}f(x,y)d\lambda \mathit{\hspace{1em}\hspace{1em}}u\in L^1(\mathrm{\Omega },\lambda ,{ℝ}^n)$$ with respect to the weak convergence of measures.

We study the integral representation properties of limits of sequences of integral functionals like $\int f(x,Du)\mathrm{d}x$ under nonstandard growth conditions of $(p,q)$-type: namely, we assume that$${\left|z\right|}^{p\left(x\right)}\le f(x,z)\le {L(1+|z|}^{p\left(x\right)}).$$Under weak assumptions on the continuous function $p\left(x\right)$, we prove $\Gamma$-convergence to integral functionals of the same type. We also analyse the case of integrands $f(x,u,Du)$ depending explicitly on $u$; finally we weaken the assumption allowing $p\left(x\right)$ to be discontinuous on nice sets.

We study the integral representation properties of limits of sequences of integral functionals like  $\int f(x,Du)\mathrm{d}x$  under nonstandard growth conditions of (p,q)-type: namely, we assume that $${\left|z\right|}^{p\left(x\right)}\le f(x,z)\le {L(1+|z|}^{p\left(x\right)}).$$ Under weak assumptions on the continuous function p(x), we prove Γ-convergence to integral functionals of the same type. We also analyse the case of integrands f(x,u,Du) depending explicitly on u; finally we weaken the assumption allowing p(x) to be discontinuous on nice sets.

Diamo condizioni sulle funzioni $f$, $g$ e sulla misura $\mu$ affinché il funzionale $$F(u)={\int }_{\mathrm{\Omega }}f(x,u,Du)dx+{\int }_{\overline{\mathrm{\Omega }}}g(x,u)d\mu$$ sia $L^1(\mathrm{\Omega })$-semicontinuo inferiormente su $W^{1,1}(\mathrm{\Omega })\cap C^0(\overline{\mathrm{\Omega }})$. Affrontiamo successivamente il problema del rilassamento.