Multiphase free discontinuity problems: Monotonicity formula and regularity results

Bucur, Dorin; Fragalà, Ilaria; Giacomini, Alessandro

Annales de l'I.H.P. Analyse non linéaire, septembre – octobre 2021, Tome 38 (2021) no. 5, pp. 1553-1582.

The purpose of this paper is to analyze regularity properties of local solutions to free discontinuity problems characterized by the presence of multiple phases. The key feature of the problem is related to the way in which two neighboring phases interact: the contact is penalized at jump points, while no cost is assigned to no-jump interfaces which may occur at the zero level of the corresponding state functions. Our main results state that the phases are open and the jump set (globally considered for all the phases) is essentially closed and Ahlfors regular. The proof relies on a multiphase monotonicity formula and on a sharp collective Sobolev extension result for functions with disjoint supports on a sphere, which may be of independent interest.

[1] Ambrosio, N.; Fusco, L.; Pallara, D. Functions of Bounded Variation and Free Discontinuity Problems, Oxford Mathematical Monographs, The Clarendon Press Oxford University Press, New York, 2000 | DOI | MR | Zbl

[2] Bucur, D.; Buttazzo, G. Variational Methods in Shape Optimization Problems, Progress in Nonlinear Differential Equations and Their Applications, vol. 65, Birkhäuser Boston, Inc., Boston, MA, 2005 | MR | Zbl

[3] Bucur, D.; Fragalà, I.; Giacomini, A. Optimal partitions for Robin Laplacian eigenvalues, Calc. Var. Partial Differ. Equ., Volume 57 (2018) no. 5 | DOI | MR | Zbl

[4] Bucur, D.; Fragalà, I.; Giacomini, A. The multiphase Mumford-Shah problem, SIAM J. Imaging Sci., Volume 12 (2019) no. 3, pp. 1561-1583 (MR 4011681) | DOI | MR | Zbl

[5] Bucur, D.; Luckhaus, S. Monotonicity formula and regularity for general free discontinuity problems, Arch. Ration. Mech. Anal., Volume 211 (2014) no. 2, pp. 489-511 | DOI | MR | Zbl

[6] Bucur, D.; Velichkov, B. Multiphase shape optimization problems, SIAM J. Control Optim., Volume 52 (2014) no. 6, pp. 3556-3591 | DOI | MR | Zbl

[7] Caffarelli, L.A.; Lin, F.H. Analysis on the junctions of domain walls, Discrete Contin. Dyn. Syst., Volume 28 (2010) no. 3, pp. 915-929 | DOI | MR | Zbl

[8] Caffarelli, L.A.; Lin, F.H. An optimal partition problem for eigenvalues, J. Sci. Comput., Volume 31 (2007) no. 1–2, pp. 5-18 | DOI | MR | Zbl

[9] Caffarelli, L.A.; Kriventsov, D. A free boundary problem related to thermal insulation, Commun. Partial Differ. Equ., Volume 41 (2016) no. 7, pp. 1149-1182 | DOI | MR | Zbl

[10] Caroccia, M. Cheeger $N$-clusters, Calc. Var. Partial Differ. Equ., Volume 56 (2017) no. 2 (MR 3610172) | DOI | MR | Zbl

[11] Chan, T.; Esedoglu, S.; Ni, K. Histogram based segmentation using Wasserstein distances, Berlin, Heidelberg (Sgallari, Fiorella; Murli, Almerico; Paragios, Nikos, eds.), Springer Berlin Heidelberg (2007), pp. 697-708 | DOI

[12] Chen, C.; Leng, J.; Xu, G. A general framework of piecewise-polynomial Mumford-Shah model for image segmentation, Int. J. Comput. Math., Volume 94 (2017) no. 10, pp. 1981-1997 (MR 3679406) | DOI | MR | Zbl

[13] Colding, T.H.; Minicozzi, W.P. II Harmonic functions with polynomial growth, J. Differ. Geom., Volume 46 (1997) no. 1, pp. 1-77 | DOI | MR | Zbl

[14] Conti, M.; Terracini, S.; Verzini, G. A variational problem for the spatial segregation of reaction-diffusion systems, Indiana Univ. Math. J., Volume 54 (2005) no. 3, pp. 779-815 | DOI | MR | Zbl

[15] Dal Maso, G.; Morel, J.-M.; Solimini, S. A variational method in image segmentation: existence and approximation results, Acta Math., Volume 168 (1992) no. 1–2, pp. 89-151 (MR 1149865) | MR | Zbl

[16] De Giorgi, E.; Ambrosio, L. New functionals in the calculus of variations, Atti Accad. Naz. Lincei, Rend. Cl. Sci. Fis. Mat. Nat. (8), Volume 82 (1988) no. 2, pp. 199-210 (1989) | MR

[17] De Giorgi, E.; Carriero, M.; Leaci, A. Existence theorem for a minimum problem with free discontinuity set, Arch. Ration. Mech. Anal., Volume 108 (1989) no. 3, pp. 195-218 | DOI | MR | Zbl

[18] Focardi, M. (CRM Series), Volume vol. 19, Ed. Norm, Pisa (2016), pp. 1-68 | MR | Zbl

[19] Focardi, M.; Gelli, M.S. Relaxation of free-discontinuity energies with obstacles, ESAIM Control Optim. Calc. Var., Volume 14 (2008) no. 4, pp. 879-896 (MR 2451801) | DOI | Numdam | MR | Zbl

[20] Francfort, G.A.; Marigo, J.-J. Revisiting brittle fracture as an energy minimization problem, J. Mech. Phys. Solids, Volume 46 (1998) no. 8, pp. 1319-1342 (MR 1633984) | DOI | MR | Zbl

[21] Fusco, N. An overview of the Mumford-Shah problem, Milan J. Math., Volume 71 (2003), pp. 95-119 (MR 2120917) | DOI | MR | Zbl

[22] Gu, Y.; Xiong, W.; Wang, L.-L.; Cheng, J. Generalizing Mumford-Shah model for multiphase piecewise smooth image segmentation, IEEE Trans. Image Process., Volume 26 (2017) no. 2, pp. 942-952 (MR 3604835) | DOI | MR | Zbl

[23] Jungen, M. A model of columnar jointing, Math. Models Methods Appl. Sci., Volume 22 (2012) no. 02 | DOI | MR | Zbl

[24] Kang, S.H.; March, R. Existence and regularity of minimizers of a functional for unsupervised multiphase segmentation, Nonlinear Anal., Volume 76 (2013), pp. 181-201 (MR 2974259) | DOI | MR | Zbl

[25] Mumford, D.; Shah, J. Optimal approximations by piecewise smooth functions and associated variational problems, Commun. Pure Appl. Math., Volume 42 (1989) no. 5, pp. 577-685 (MR 997568) | DOI | MR | Zbl

[26] Ni, K.; Bresson, X.; Chan, T.; Esedoglu, S. Local histogram based segmentation using the Wasserstein distance, Int. J. Comput. Vis., Volume 84 (2009) no. 1, pp. 97-111 | DOI

[27] Sandberg, B.; Kang, S.H.; Chan, T.F. Unsupervised multiphase segmentation: a phase balancing model, IEEE Trans. Image Process., Volume 19 (2010) no. 1, pp. 119-130 (MR 2729960) | DOI | MR | Zbl

[28] Vese, L.A.; Chan, T.F. A multiphase level set framework for image segmentation using the Mumford and Shah model, Int. J. Comput. Vis., Volume 50 (2002) no. 3, pp. 271-293 (MR 1012174) | DOI | Zbl