Mixed Finite Elements for Variational Surface Modeling

Many problems in geometric modeling can be described using variational formulations that define the smoothness of the shape and its behavior w.r.t. the posed modeling constraints. For example, high‐quality C2 surfaces that obey boundary conditions on positions, tangents and curvatures can be conveniently defined as solutions of high‐order geometric PDEs; the advantage of such a formulation is its conceptual representation‐independence. In practice, solving high‐order problems efficiently and accurately for surfaces approximated by meshes is notoriously difficult. For modeling applications, the preferred approach is to use discrete geometric schemes which are efficient and robust, but their convergence properties are less well understood compared to higher‐order FEM. In this paper, we explore discretizations of common geometric PDEs on meshes using mixed finite elements, where additional variables for the derivatives in the problem are introduced. Such formulations use first‐order derivatives only, allowing a discretization with simple linear elements. Various boundary conditions can be naturally discretized in this setting. We formalize continuous region constraints commonly used in modeling applications, and show that these seamlessly fit into the mixed framework. We demonstrate that some of the commonly used discrete geometric discretizations can be regarded as a particular case of mixed finite elements. We study the convergence behavior of our discretizations, and how they can be applied to implement common modeling tasks.

[1]  D. Braess Finite Elements: Theory, Fast Solvers, and Applications in Solid Mechanics , 1995 .

[2]  Gerhard Dziuk,et al.  Error analysis of a finite element method for the Willmore flow of graphs , 2006 .

[3]  Jean E. Roberts,et al.  Mixed and hybrid finite element methods , 1987 .

[4]  Gabriel Taubin,et al.  A signal processing approach to fair surface design , 1995, SIGGRAPH.

[5]  C. Bajaj,et al.  Discrete surface modelling using partial differential equations , 2006, Comput. Aided Geom. Des..

[6]  Philippe G. Ciarlet,et al.  The finite element method for elliptic problems , 2002, Classics in applied mathematics.

[7]  Mark Meyer,et al.  Discrete Differential-Geometry Operators for Triangulated 2-Manifolds , 2002, VisMath.

[8]  Richard S. Falk Approximation of the Biharmonic Equation by a Mixed Finite Element Method , 1978 .

[9]  Mohamed Amara,et al.  An optimal C $^0$ finite element algorithm for the 2D biharmonic problem: theoretical analysis and numerical results , 2001, Numerische Mathematik.

[10]  Martin Rumpf,et al.  A finite element method for surface restoration with smooth boundary conditions , 2004, Comput. Aided Geom. Des..

[11]  Olga Sorkine-Hornung,et al.  On Linear Variational Surface Deformation Methods , 2008, IEEE Transactions on Visualization and Computer Graphics.

[12]  Philippe G. Ciarlet,et al.  A Mixed Finite Element Method for the Biharmonic Equation , 1974 .

[13]  Eitan Grinspun,et al.  Discrete quadratic curvature energies , 2006, Comput. Aided Geom. Des..

[14]  George Celniker,et al.  Deformable curve and surface finite-elements for free-form shape design , 1991, SIGGRAPH.

[15]  Qing Pan,et al.  Discrete surface modelling using partial differential equations , 2006, Comput. Aided Geom. Des..

[16]  Reinhard Scholz A mixed method for 4th order problems using linear finite elements , 1978 .

[17]  Leif Kobbelt,et al.  Generating fair meshes with G/sup 1/ boundary conditions , 2000, Proceedings Geometric Modeling and Processing 2000. Theory and Applications.

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

[19]  D. Braess BOOK REVIEW: Finite Elements: Theory, fast solvers and applications in solid mechanics, 2nd edn , 2002 .

[20]  Richard S. Falk,et al.  A mixed-Lagrange multiplier finite element method for the polyharmonic equation , 1985 .

[21]  Eitan Grinspun,et al.  Computing discrete shape operators on general meshes , 2006, Comput. Graph. Forum.

[22]  Daniela Giorgi,et al.  Discrete Laplace-Beltrami operators for shape analysis and segmentation , 2009, Comput. Graph..

[23]  L. Kobbelt,et al.  Generating Fair Meshes with $G^1$ Boundary Conditions , 2000 .

[24]  Leif Kobbelt,et al.  An intuitive framework for real-time freeform modeling , 2004, ACM Trans. Graph..

[25]  Leif Kobbelt,et al.  Geometric fairing of irregular meshes for free-form surface design , 2001, Comput. Aided Geom. Des..

[26]  Marc Alexa,et al.  To appear in the ACM SIGGRAPH conference proceedings FiberMesh : Designing Freeform Surfaces with 3 D Curves , 2007 .

[27]  G. Dziuk,et al.  An algorithm for evolutionary surfaces , 1990 .

[28]  Andrew P. Witkin,et al.  Free-form shape design using triangulated surfaces , 1994, SIGGRAPH.

[29]  Malcolm I. G. Bloor,et al.  Using partial differential equations to generate free-form surfaces , 1990, Comput. Aided Des..

[30]  Peter Monk,et al.  A mixed finite element method for the biharmonic equation , 1987 .

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

[32]  Carlo H. Séquin,et al.  Functional optimization for fair surface design , 1992, SIGGRAPH.