Analysis of gradient flow of a regularized Mumford-Shah functional for image segmentation and image inpainting

Feng, Xiaobing; Prohl, Andreas

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique, Tome 38 (2004), p. 291-320 / Harvested from Numdam

Access to full text
Full (PDF)
Full (DJVU)

Résumé

This paper studies the gradient flow of a regularized Mumford-Shah functional proposed by Ambrosio and Tortorelli (1990, 1992) for image segmentation, and adopted by Esedoglu and Shen (2002) for image inpainting. It is shown that the gradient flow with $L^{2} \times L^{\infty}$ initial data possesses a global weak solution, and it has a unique global in time strong solution, which has at most finite number of point singularities in the space-time, when the initial data are in $H^{1} \times H^{1} \cap L^{\infty}$ . A family of fully discrete approximation schemes using low order finite elements is proposed for the gradient flow. Convergence of a subsequence (resp. the whole sequence) of the numerical solutions to a weak solution (resp. the strong solution) of the gradient flow is established as the mesh sizes tend to zero, and optimal and suboptimal order error estimates, which depend on $\frac{1}{ε}$ and $\frac{1}{k_{ε}}$ only in low polynomial order, are derived for the proposed fully discrete schemes under the mesh relation $k = o (h^{\frac{1}{2}})$ . Numerical experiments are also presented to show effectiveness of the proposed numerical methods and to validate the theoretical analysis.

Publié le : 2004-01-01

MR 2069148 | Zbl 1074.65106 | 1 citation dans Numdam

DOI : https://doi.org/10.1051/m2an:2004014
Classification: 35K55, 65M12, 65M15, 68U10, 94A08

@article{M2AN_2004__38_2_291_0,
     author = {Feng, Xiaobing and Prohl, Andreas},
     title = {Analysis of gradient flow of a regularized Mumford-Shah functional for image segmentation and image inpainting},
     journal = {ESAIM: Mathematical Modelling and Numerical Analysis - Mod\'elisation Math\'ematique et Analyse Num\'erique},
     volume = {38},
     year = {2004},
     pages = {291-320},
     doi = {10.1051/m2an:2004014},
     mrnumber = {2069148},
     zbl = {1074.65106},
     language = {en},
     url = {http://dml.mathdoc.fr/item/M2AN_2004__38_2_291_0}
}

Feng, Xiaobing; Prohl, Andreas. Analysis of gradient flow of a regularized Mumford-Shah functional for image segmentation and image inpainting. ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique, Tome 38 (2004) pp. 291-320. doi : 10.1051/m2an:2004014. http://gdmltest.u-ga.fr/item/M2AN_2004__38_2_291_0/

Bibliographie

[1] R.A. Adams, Sobolev Spaces. Academic Press, New York (1975). | MR 450957 | Zbl 0314.46030

[2] L. Ambrosio and V.M. Tortorelli, Approximation of functionals depending on jumps by elliptic functionals via $Γ$ -convergence. Comm. Pure Appl. Math. 43 (1990) 999-1036. | MR 1075076 | Zbl 0722.49020

[3] L. Ambrosio and V.M. Tortorelli, On the approximation of functionals depending on jumps by quadratic, elliptic functionals. Boll. Un. Mat. Ital. 6-B (1992) 105-123. | MR 1164940 | Zbl 0776.49029

[4] L. Ambrosio, N. Fusco and D. Pallara, Functions of Bounded Variation and Free Discontinuity Problems. Oxford University Press (2000). | MR 1857292 | Zbl 0957.49001

[5] J.W. Barrett, X. Feng and A. Prohl, Convergence of a fully discrete finite element method for a degenerate parabolic system modeling nematic liquid crystals with variable degree of orientation, preprint. | Numdam | MR 2223509 | Zbl 1097.35082

[6] G. Bellettini and A. Coscia, Discrete approximation of a free discontinuity problem. Numer. Funct. Anal. Optimiz. 15 (1994) 201-224. | MR 1272202 | Zbl 0806.49002

[7] A. Blake and A. Zisserman, Visual reconstruction. MIT Press, Cambridge, MA (1987). | MR 919733

[8] B. Bourdin, Image segmentation with a finite element method. ESAIM: M2AN 33 (1999) 229-244. | Numdam | MR 1700033 | Zbl 0947.65075

[9] A. Braides, Approximation of free-discontinuity problems. Lect. Notes Math. 1694, Springer-Verlag (1998). | MR 1651773 | Zbl 0909.49001

[10] A. Braides and G. Dal Maso, Nonlocal approximation of the Mumford-Shah functional. Calc. Var. Partial Differential Equations 5 (1997) 293-322. | Zbl 0873.49009

[11] S.C. Brenner and L.R. Scott, The Mathematical Theory of Finite Element Methods, Second Edition, Springer-Verlag, New York (2001). | MR 1894376 | Zbl 0804.65101

[12] J.W. Cahn and J.E. Hilliard, Free energy of a nonuniform system I, Interfacial free energy. J. Chem. Phys. 28 (1958) 258-267.

[13] A. Chambolle, Image segmentation by variational methods: Mumford-Shah functional and the discrete approximation. SIAM J. Appl. Math. 55 (1995) 827-863. | Zbl 0830.49015

[14] A. Chambolle and G. Dal Maso, Discrete approximation of the Mumford-Shah functional in dimension two. ESAIM: M2AN 33 (1999) 651-672. | Numdam | Zbl 0943.49011

[15] P.G. Ciarlet, Basic error estimates for elliptic problems, in Handbook of Numer. Anal. II, Elsevier Sciences Publishers (1991). | MR 1115237 | Zbl 0875.65086

[16] G. Dal Maso, An introduction to $Γ$ -convergence, Birkhäuser Boston, Boston, MA (1993). | MR 1201152 | Zbl 0816.49001

[17] E. De Giorgi, M. Carriero and A. Leaci, Existence theorem for a minimum problem with discontinuity set. Arch. Rat. Mech. Anal. 108 (1989) 195-218. | Zbl 0682.49002

[18] E. De Giorgi and T. Franzoni, Su un tipo di convergenza variazionale. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. 58 (1975) 842-850. | Zbl 0339.49005

[19] F. Dibos and E. Séré, An approximation result for the minimizers of the Mumford-Shah functional. Boll. Un. Mat. Ital. A 11 (1997). | MR 1438364 | Zbl 0873.49008

[20] C.M. Elliott, D.A. French and F.A. Milner, A second order splitting method for the Cahn-Hilliard equation. Numer. Math. 54 (1989) 575-590. | Zbl 0668.65097

[21] S. Esedoglu and J. Shen, Digital inpainting based on the Mumford-Shah-Euler image model. European J. Appl. Math. 13 (2002) 353-370. | Zbl 1017.94505

[22] X. Feng and A. Prohl, Analysis of total variation flow and its finite element approximations. ESAIM: M2AN 37 (2003) 533-556. | Numdam | Zbl 1050.35004

[23] X. Feng and A. Prohl, On gradient flow of the Mumford-Shah functional. (in preparation).

[24] D. Geman and S. Geman, Stochastic relaxation, Gibbs distributions and the Bayesian restoration of images. IEEE Trans. Patten Anal. Mach. Intell. 6 (1984) 721-741. | Zbl 0573.62030

[25] R. Glowinski, J.L. Lions and R. Trémoliéres, Numerical analysis of variational inequalities. North-Holland, New York. Stud. Math. Appl. 8 (1981). | MR 635927 | Zbl 0463.65046

[26] M. Gobbino, Gradient flow for the one-dimensional Mumford-Shah strategies. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 27 (1998) 145-193. | Numdam | Zbl 0931.49010

[27] J.L. Lions, Quelques méthodes de résolution des problèmes aux limites non linéaires, Dunod (1969). | MR 259693 | Zbl 0189.40603

[28] R. March and M. Dozio, A variational method for the recovery of smooth boundaries. Im. Vis. Comp. 15 (1997) 705-712.

[29] L. Modica, The gradient theory of phase transitions and the minimal interface criterion. Arch. Rational Mech. Anal. 98 (1987) 123-142. | Zbl 0616.76004

[30] L. Modica and S. Mortola, Un esempio di $Γ$ -convergenza. Boll. Un. Mat. Ital. B 14 (1977) 285-299. | Zbl 0356.49008

[31] J.-M. Morel and S. Solimini, Variational Methods in Image Segmentation, Birkhäuser (1995). | MR 1321598

[32] D. Mumford and J. Shah, Optimal approximations by piecewise smooth functions and associated variational problems. Comm. Pure Appl. Math. 42 (1989) 577-685. | Zbl 0691.49036

[33] R.H. Nochetto and C. Verdi, Convergence past singularities for a fully discrete approximation of curvature-driven interfaces. SIAM J. Numer. Anal. 34 (1997) 490-512. | Zbl 0876.35053

[34] J. Simon, Compact sets in the space $L^{p} (0, T; B)$ . Ann. Mat. Pura Appl. 146 (1987) 65-96. | Zbl 0629.46031

[35] M. Struwe, Geometric evolution problems. IAS/Park City Math. Series 2 (1996) 259-339. | Zbl 0847.58012