A Laplace Operator on Semi-Discrete Surfaces

This paper studies a Laplace operator on semi-discrete surfaces. A semi-discrete surface is represented by a mapping into three-dimensional Euclidean space possessing one discrete variable and one continuous variable. It can be seen as a limit case of a quadrilateral mesh, or as a semi-discretization of a smooth surface. Laplace operators on both smooth and discrete surfaces have been an object of interest for a long time, also from the viewpoint of applications. There are a wealth of geometric objects available immediately once a Laplacian is defined, e.g., the mean curvature normal. We define our semi-discrete Laplace operator to be the limit of a discrete Laplacian on a quadrilateral mesh, which converges to the semi-discrete surface. The main result of this paper is that this limit exists under very mild regularity assumptions. Moreover, we show that the semi-discrete Laplace operator inherits several important properties from its discrete counterpart, like symmetry, positive semi-definiteness, and linear precision. We also prove consistency of the semi-discrete Laplacian, meaning that it converges pointwise to the Laplace–Beltrami operator, when the semi-discrete surface converges to a smooth one. This result particularly implies consistency of the corresponding discrete scheme.

[1]  H. Seidel,et al.  Pattern-aware Deformation Using Sliding Dockers , 2011, SIGGRAPH 2011.

[2]  Marc Alexa,et al.  Discrete Laplacians on general polygonal meshes , 2011, ACM Trans. Graph..

[3]  Eitan Grinspun,et al.  Discrete laplace operators: no free lunch , 2007, Symposium on Geometry Processing.

[4]  Ulrich Pinkall,et al.  Computing Discrete Minimal Surfaces and Their Conjugates , 1993, Exp. Math..

[5]  Johannes Wallner,et al.  Semi-Discrete Isothermic Surfaces , 2013 .

[6]  Giuseppe Tinaglia,et al.  A course in minimal surfaces (Graduate Studies in Mathematics 121) , 2012 .

[7]  Johannes Wallner,et al.  On offsets and curvatures for discrete and semidiscrete surfaces , 2014 .

[8]  William P. Minicozzi,et al.  A Course in Minimal Surfaces , 2011 .

[9]  R. Duffin Distributed and Lumped Networks , 1959 .

[10]  A. Bobenko,et al.  Discrete Differential Geometry: Integrable Structure , 2008 .

[11]  S. Rosenberg The Laplacian on a Riemannian Manifold: The Construction of the Heat Kernel , 1997 .

[12]  R. Macneal The solution of partial differential equations by means of electrical networks , 1949 .

[13]  Alexander I. Bobenko,et al.  A Discrete Laplace–Beltrami Operator for Simplicial Surfaces , 2005, Discret. Comput. Geom..

[14]  Dan Liu,et al.  A discrete scheme of Laplace-Beltrami operator and its convergence over quadrilateral meshes , 2008, Comput. Math. Appl..

[15]  Mark Meyer,et al.  Implicit fairing of irregular meshes using diffusion and curvature flow , 1999, SIGGRAPH.

[16]  M. Wardetzky Convergence of the Cotangent Formula: An Overview , 2008 .

[17]  G. Dziuk Finite Elements for the Beltrami operator on arbitrary surfaces , 1988 .

[18]  Guoliang Xu Discrete Laplace-Beltrami operators and their convergence , 2004, Comput. Aided Geom. Des..

[19]  Mikhail Belkin,et al.  Discrete laplace operator on meshed surfaces , 2008, SCG '08.

[20]  Guoqiang Han,et al.  Mean Laplace-Beltrami Operator for Quadrilateral Meshes , 2011, Trans. Edutainment.