Convergence of a threshold-type algorithm using the signed distance function (Q509095)

Summary: We consider a threshold-type algorithm for curvature-dependent motions of hypersurfaces. This algorithm was numerically studied by \textit{M. Kimura} and \textit{H. Notsu} [Japan J. Ind. Appl. Math. 19, No. 3, 415--446 (2002; Zbl 1016.65068)], \textit{S. Esedoglu} et al. [J. Comput. Phys. 229, No. 4, 1017--1042 (2010; Zbl 1181.65031)] and \textit{R. Z. Mohammad} and \textit{K. Švadlenka} [Discrete Contin. Dyn. Syst., Ser. S 8, No. 5, 969--988 (2015; Zbl 1321.53082)], where they used the signed distance function. It is also regarded as a variant of the Bence-Merriman-Osher algorithm for the mean curvature flow [\textit{B. Merriman} et al., ``Diffusion generated motion by mean curvature'', in: AMS Selected Lectures in Mathematics Series: Computational Crystal Growers Workshop. Providence, RI: American Mathematical Society. 73--83 (1992)]. In this paper we prove the convergence of our algorithm under the nonfattening condition, applying the method of \textit{F. Leoni} [SIAM J. Numer. Anal. 39, No. 4, 1115--1131 (2001; Zbl 1008.65067)] which is based on the notion of the generalized flow due to \textit{G. Barles} and \textit{P. E. Souganidis} [Arch. Ration. Mech. Anal. 141, No. 3, 237--296 (1998; Zbl 0904.35034)]. Then we derive the rate of convergence of our algorithm to the smooth and compact curvature-dependent motions and show its optimality to the special case of a circle evolving by its curvature. We also give a local estimate on the convergence to a regular portion of the generalized curvature-dependent motion.