Abstract
This paper proposes and analyzes a finite element method for a nonlinear singular elliptic equation arising from the black hole theory in the general relativity. The nonlinear equation, which was derived and analyzed by Huisken and Ilmanen in (J Diff Geom 59:353–437), represents a level set formulation for the inverse mean curvature flow describing the evolution of a hypersurface whose normal velocity equals the reciprocal of its mean curvature. We first propose a finite element method for a regularized flow which involves a small parameter ɛ; a rigorous analysis is presented to study well-posedness and convergence of the scheme under certain mesh-constraints, and optimal rates of convergence are verified. We then prove uniform convergence of the finite element solution to the unique weak solution of the nonlinear singular elliptic equation as the mesh size h and the regularization parameter ɛ both tend to zero. Computational results are provided to show the efficiency of the proposed finite element method and to numerically validate the “jumping out” phenomenon of the weak solution of the inverse mean curvature flow. Numerical studies are presented to evidence the existence of a polynomial scaling law between the mesh size h and the regularization parameter ɛ for optimal convergence of the proposed scheme. Finally, a numerical convergence study for another approach recently proposed by R. Moser (The inverse mean curvature flow and p-harmonic functions. preprint U Bath, 2005) for approximating the inverse mean curvature flow via p-harmonic functions is also included.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Adams R.A. (1975). Sobolev Spaces. Academic, New York
Bray H. (2001). Proof of the Riemannian Penrose inequality using the positive mass theorem. J. Diff. Geom. 59: 177–267
Brenner S.C. and Scott L.R. (1994). The Mathematical Theory of Finite Element Methods. Springer, Heidelberg
Carroll S.M. (2003). Spacetime and Geometry—An Introduction to General Relativity. Addison Wesley, Reading
Crandall M.G., Ishii H. and Lions P.L. (1992). User’s guide to viscosity solutions of second order partial differential equations. Bull. Am. Math. Soc. (N.S.) 27: 1–67
Chen Y.-G., Giga Y. and Goto S. (1991). Uniqueness and existence of viscosity solutions of generalized mean curvature flow equations. J. Diff. Geom. 33: 749–786
Ciarlet, P.G.: Basic error estimates for elliptic problems, in Handbook of Numerical Analysis, I, pp 17–351. North-Holland, Amsterdam (1991)
Crouzeix M. and Thomee V. (1987). The stability in L p and \(W^{1}_p\) of the L2-projection onto Finite element Function Spaces. Math. Comp. 48: 521–532
Dobrowolski M. and Rannacher R. (1980). Finite element methods for nonlinear elliptic systems of second order. Math. Nachr. 94: 155–172
Douglas J. Jr, Santos E., Sheen D. and Schreyer L. (1993). Frequency domain treatment of one-dimensional scalar waves. Math. Models Methods Appl.-Sci. 3: 171–194
Evans L.C. and Spruck J. (1991). Motion of level sets by mean curvature. I. J. Diff. Geom. 33: 635–681
Geroch R. (1973). Energy extraction. Ann. New York Acad. Sci. 224: 108–117
Feng X. and Prohl A. (2003). Analysis of total variation flow and its finite element approximations. Math. Model. Numer. Anal. 37: 533–556
Feng X., Prohl A. and von Oehsen M. (2005). Rate of convergence of regularization procedures and finite element approximations for the total variation flow. Numer. Math. 100: 441–456
Gilbarg D. and Trudinger N. (2001). Elliptic Partial Differential Equations of Second Order, 3rd edn. Springer, Heidelberg
Girault V. and Raviart P.A. (1986). Finite element methods for Navier–Stokes equations. Springer, Heidelberg
Huisken G. and Ilmanen T. (2001). The inverse mean curvature flow and the Riemannian Penrose Inequality. J. Diff. Geom. 59: 353–437
Huisken, G., Ilmanen, T.: A note on the inverse mean curvature flow. In: Proceedings of Workshop at Saitama University (September 1997), March 1998
Holder M. (2000). Contracting spacelike hypersurfaces by their inverse mean curvature. J. Austral. Math. Soc. Ser. A. 68: 121–133
Jang P.S. (1976). On positive energy conjecture. J. Math. Phys. 17: 141–145
Jang P.S. (1979). On the positivity of the mass for black hole space-times. Commun. Math. Phys. 69: 257–266
Jang P.S. and Wald R.M. (1977). The positive energy conjecture and the cosmic censorship hypothesis. J. Math. Phys. 18: 41–44
Ladyženskaja O.A. and Uarlceva N.N. (1967). Linear and Quasilinear Elliptic Equations. Academic, New York
Osher S. and Fedkiw R. (2003). Level Set Methods and Dynamic Implicit Surfaces. Springer, New York
Osher S. and Sethian J.A. (1988). Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations. J. Comput. Phys. 79: 12–49
Pasch, E.: Numerische Verfahren zur Berechnung von Krümmungsflüssen. PhD Dissertation, Universität Tübingen (1998)
Pousin J. and Rappaz J. (1994). Consistency, stability, a priori and a posteriori errors for Petrov-Galerkin methods applied to nonlinear problems. Numer. Math. 69: 213–231
Simader C.G. (1972). On Dirichlet’s Boundary Value Problem. Lecture Notes in Mathematics, No. 268. Springer, Heidelberg
Schoen R. and Yau S.-T. (1979). On the proof of the positive mass conjecture in general relativity. Comm. Math. Phys. 65: 45–76
Schoen R. and Yau S.-T. (1981). Proof of the positive mass theorem II. Commun. Math. Phys. 79: 231–260
Schatz A. (1974). An observation concerning Ritz–Galerkin methods with indefinite bilinear forms. Math. Comp. 28: 959–962
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Feng, X., Neilan, M. & Prohl, A. Error analysis of finite element approximations of the inverse mean curvature flow arising from the general relativity. Numer. Math. 108, 93–119 (2007). https://doi.org/10.1007/s00211-007-0111-0
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00211-007-0111-0