Discrete differential geometry : An applied introduction

We describe a discrete model for the dynamics of thin flexible structures, such as hats, leaves, and aluminum cans, which are characterized by a curved undeformed configuration. Previously such thin shell models required complex continuum mechanics formulations and correspondingly complex algorithms. We show that a simple shell model can be derived geometrically for triangle meshes and implemented quickly by modifying a standard cloth simulator. Our technique convincingly simulates a variety of curved objects with materials ranging from paper to metal, as we demonstrate with several examples including a comparison of a real and simulated falling hat. This chapter is based on the publication by Eitan Grinspun, Anil Hirani, Mathieu Desbrun, and Peter Schröder which appeared in the Proceedings of the Symposium for Computer Animation 2003, and on subsequent collaborations with the group of Denis Zorin at New York University and Zoë Wood at Cal Poly San Luis Obispo.

[1]  K. N. Dollman,et al.  - 1 , 1743 .

[2]  K. Brauner Vorlesungen über Differentialgeometrie III , 1930 .

[3]  E. Cartan,et al.  Les systèmes différentiels extérieurs et leurs applications géométriques , 1945 .

[4]  H. Piaggio Differential Geometry of Curves and Surfaces , 1952, Nature.

[5]  R. Pigott WHERE DID IT COME FROM , 1955 .

[6]  H. Whitney Geometric Integration Theory , 1957 .

[7]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[8]  Nathan M. Newmark,et al.  A Method of Computation for Structural Dynamics , 1959 .

[9]  P. Canham The minimum energy of bending as a possible explanation of the biconcave shape of the human red blood cell. , 1970, Journal of theoretical biology.

[10]  W. Helfrich Elastic Properties of Lipid Bilayers: Theory and Possible Experiments , 1973, Zeitschrift fur Naturforschung. Teil C: Biochemie, Biophysik, Biologie, Virologie.

[11]  J. Craggs Applied Mathematical Sciences , 1973 .

[12]  James H. White A global invariant of conformal mappings in space , 1973 .

[13]  John Fitch,et al.  Course notes , 1975, SIGS.

[14]  David Lovelock,et al.  Tensors, differential forms, and variational principles , 1975 .

[15]  Manfredo P. do Carmo,et al.  Differential geometry of curves and surfaces , 1976 .

[16]  J. Marsden,et al.  A mathematical introduction to fluid mechanics , 1979 .

[17]  Nelson Max,et al.  Turning a sphere inside out , 1979 .

[18]  J. Marsden,et al.  Coadjoint orbits, vortices, and Clebsch variables for incompressible fluids , 1983 .

[19]  R. Abraham,et al.  Manifolds, Tensor Analysis, and Applications , 1983 .

[20]  Micha Sharir,et al.  On shortest paths in polyhedral spaces , 1986, STOC '84.

[21]  James R. Munkres,et al.  Elements of algebraic topology , 1984 .

[22]  W. L. Burke Applied Differential Geometry , 1985 .

[23]  Craig Upson,et al.  Combining physical and visual simulation—creation of the planet Jupiter for the film “2010” , 1986, SIGGRAPH.

[24]  Carl Richard Feynman,et al.  Modeling the appearance of cloth , 1986 .

[25]  John C. Platt,et al.  Elastically deformable models , 1987, SIGGRAPH.

[26]  Joseph S. B. Mitchell,et al.  The Discrete Geodesic Problem , 1987, SIAM J. Comput..

[27]  F. A. Seiler,et al.  Numerical Recipes in C: The Art of Scientific Computing , 1989 .

[28]  Samuel Rippa,et al.  Minimal roughness property of the Delaunay triangulation , 1990, Comput. Aided Geom. Des..

[29]  William H. Press,et al.  The Art of Scientific Computing Second Edition , 1998 .

[30]  John Sullivan,et al.  Minimizing the Squared Mean Curvature Integral for Surfaces in Space Forms , 1992, Exp. Math..

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

[32]  A. Gray Modern Differential Geometry of Curves and Surfaces , 1993 .

[33]  A. Dimakis,et al.  Discrete differential calculus graphs, topologies and gauge theory , 1994 .

[34]  J. Steinhoff,et al.  Modification of the Euler equations for ‘‘vorticity confinement’’: Application to the computation of interacting vortex rings , 1994 .

[35]  Hong Qin,et al.  Dynamic NURBS with geometric constraints for interactive sculpting , 1994, TOGS.

[36]  Volkmar Welker,et al.  The Homology of "k-Equal" Manifolds and Related Partition Lattices , 1995 .

[37]  Hong Qin,et al.  D-NURBS: A Physics-Based Framework for Geometric Design , 1996, IEEE Trans. Vis. Comput. Graph..

[38]  Stephanie B. Alexander,et al.  Comparison theorems for curves of bounded geodesic curvature in metric spaces of curvature bounded above , 1996 .

[39]  John F. Hughes,et al.  Plausible motion simulation for computer graphics animation , 1996 .

[40]  Richard L. Grimsdale,et al.  Computer graphics techniques for modeling cloth , 1996, IEEE Computer Graphics and Applications.

[41]  Roman R. Zapatrin Polyhedral representations of discrete differential manifolds , 1996 .

[42]  J. Marsden,et al.  The limits of hamiltonian structures in three-dimensional elasticity, shells, and rods , 1996 .

[43]  S. Chern,et al.  Differential Geometry: Cartan's Generalization of Klein's Erlangen Program , 2000 .

[44]  Dimitris N. Metaxas,et al.  Modeling the motion of a hot, turbulent gas , 1997, SIGGRAPH.

[45]  K. Polthier Geodesics and waves , 1997, SIGGRAPH '97.

[46]  Karl F. Warnick,et al.  Teaching Electromagnetic Field Theory Using Differential Forms , 1997, Teaching Electromagnetics.

[47]  Daniel A. Klain,et al.  Introduction to Geometric Probability , 1997 .

[48]  M. Shashkov,et al.  Natural discretizations for the divergence, gradient, and curl on logically rectangular grids☆ , 1997 .

[49]  Joseph S. B. Mitchell,et al.  Efficient Collision Detection Using Bounding Volume Hierarchies of k-DOPs , 1998, IEEE Trans. Vis. Comput. Graph..

[50]  Jos Stam,et al.  Stable fluids , 1999, SIGGRAPH.

[51]  Anne Verroust-Blondet,et al.  Level set diagrams of polyhedral objects , 1999, SMA '99.

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

[53]  Ruedi Seiler,et al.  Discrete integrable geometry and physics , 1999 .

[54]  L. Kettunen,et al.  Yee‐like schemes on a tetrahedral mesh, with diagonal lumping , 1999 .

[55]  David E. Breen,et al.  Cloth modeling and animation , 2000 .

[56]  Jerrold E. Marsden,et al.  Variational integrators, the Newmark scheme, and dissipative systems , 2000 .

[57]  T. J. Willmore,et al.  Surfaces in Conformal Geometry , 2000 .

[58]  M. Ortiz,et al.  Subdivision surfaces: a new paradigm for thin‐shell finite‐element analysis , 2000 .

[59]  J. Marsden,et al.  Variational Integrators and the Newmark Algorithm for Conservative and Dissipative Mechanical Systems , 2000 .

[60]  Bernd Eberhardt,et al.  Implicit-Explicit Schemes for Fast Animation with Particle Systems , 2000, Computer Animation and Simulation.

[61]  Thomas M. Liebling,et al.  Voronoi diagrams on piecewise flat surfaces and an application to biological growth , 2001, Theor. Comput. Sci..

[62]  Ronald Fedkiw,et al.  Visual simulation of smoke , 2001, SIGGRAPH.

[63]  森田 茂之,et al.  Geometry of differential forms , 2001 .

[64]  C. Mercat Discrete Riemann Surfaces and the Ising Model , 2001, 0909.3600.

[65]  J. Marsden,et al.  Discrete mechanics and variational integrators , 2001, Acta Numerica.

[66]  Jos Starn A Simple Fluid Solver Based on the FFT , 2001, J. Graphics, GPU, & Game Tools.

[67]  Ronald Fedkiw,et al.  Practical animation of liquids , 2001, SIGGRAPH.

[68]  R. Winther,et al.  Numerical methods for incompressible viscous flow , 2002 .

[69]  Jonathan Richard Shewchuk,et al.  What is a Good Linear Element? Interpolation, Conditioning, and Quality Measures , 2002, IMR.

[70]  Bruno Lévy,et al.  Least squares conformal maps for automatic texture atlas generation , 2002, ACM Trans. Graph..

[71]  F. Giraldo,et al.  Analysis of an Exact Fractional Step Method , 2002 .

[72]  Eitan Grinspun,et al.  CHARMS: a simple framework for adaptive simulation , 2002, ACM Trans. Graph..

[73]  Mark Meyer,et al.  Intrinsic Parameterizations of Surface Meshes , 2002, Comput. Graph. Forum.

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

[75]  Herbert Edelsbrunner,et al.  Topological Persistence and Simplification , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[76]  Richard E. Parent,et al.  Computer animation - algorithms and techniques , 2012 .

[77]  Shin Yoshizawa,et al.  Fair triangle mesh generation with discrete elastica , 2002, Geometric Modeling and Processing. Theory and Applications. GMP 2002. Proceedings.

[78]  S. Yau,et al.  Global conformal surface parameterization , 2003 .

[79]  C. Doran,et al.  Geometric Algebra for Physicists , 2003 .

[80]  Mathieu Desbrun,et al.  Discrete shells , 2003, SCA '03.

[81]  Robin Forman,et al.  Bochner's Method for Cell Complexes and Combinatorial Ricci Curvature , 2003, Discret. Comput. Geom..

[82]  Andrew P. Witkin,et al.  Untangling cloth , 2003, ACM Trans. Graph..

[83]  Wolfgang Straßer,et al.  Analysis of numerical methods for the simulation of deformable models , 2003, The Visual Computer.

[84]  Anil N. Hirani,et al.  Discrete exterior calculus , 2005, math/0508341.

[85]  David Cohen-Steiner,et al.  Restricted delaunay triangulations and normal cycle , 2003, SCG '03.

[86]  Uri M. Ascher,et al.  On the modified conjugate gradient method in cloth simulation , 2003, The Visual Computer.

[87]  Jos Stam,et al.  Flows on surfaces of arbitrary topology , 2003, ACM Trans. Graph..

[88]  Adrien Treuille,et al.  Keyframe control of smoke simulations , 2003, ACM Trans. Graph..

[89]  Santiago V. Lombeyda,et al.  Discrete multiscale vector field decomposition , 2003, ACM Trans. Graph..

[90]  Sean M. Carroll,et al.  Spacetime and Geometry: An Introduction to General Relativity , 2003 .

[91]  A. Lew Variational time integrators in computational solid mechanics , 2003 .

[92]  Ronald Fedkiw,et al.  Simulation of clothing with folds and wrinkles , 2003, SCA '03.

[93]  W. Press,et al.  Numerical Recipes in C++: The Art of Scientific Computing (2nd edn)1 Numerical Recipes Example Book (C++) (2nd edn)2 Numerical Recipes Multi-Language Code CD ROM with LINUX or UNIX Single-Screen License Revised Version3 , 2003 .

[94]  Frédéric H. Pighin,et al.  Modeling and editing flows using advected radial basis functions , 2004, SCA '04.

[95]  Bernhard Thomaszewski,et al.  Modelling Effects of Wind Fields in Cloth Animation , 2004, WSCG.

[96]  E. Hairer,et al.  Geometric Numerical Integration: Structure Preserving Algorithms for Ordinary Differential Equations , 2004 .

[97]  Leif Kobbelt,et al.  A remeshing approach to multiresolution modeling , 2004, SGP '04.

[98]  Konrad Polthier,et al.  Anisotropic Filtering of Non‐Linear Surface Features , 2004, Comput. Graph. Forum.

[99]  James F. O'Brien,et al.  A method for animating viscoelastic fluids , 2004, ACM Trans. Graph..

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

[101]  Adrien Treuille,et al.  Fluid control using the adjoint method , 2004, ACM Trans. Graph..

[102]  Vadim Shapiro,et al.  Combinatorial Laws for Physically Meaningful Design , 2004, J. Comput. Inf. Sci. Eng..

[103]  Yizhou Yu,et al.  Inviscid and incompressible fluid simulation on triangle meshes , 2004, Comput. Animat. Virtual Worlds.

[104]  Ronald Fedkiw,et al.  Simulating water and smoke with an octree data structure , 2004, ACM Trans. Graph..

[105]  Alexander I. Bobenko A Conformal Energy for Simplicial Surfaces , 2004 .

[106]  Paul W. Gross,et al.  Electromagnetic Theory and Computation: A Topological Approach , 2004 .

[107]  Olaf Schenk,et al.  Solving unsymmetric sparse systems of linear equations with PARDISO , 2004, Future Gener. Comput. Syst..

[108]  Michael Hauth,et al.  Visual simulation of deformable models , 2004 .

[109]  Dinesh Manocha,et al.  Interactive collision detection between deformable models using chromatic decomposition , 2005, SIGGRAPH 2005.

[110]  Jenny Harrison,et al.  Ravello Lectures on Geometric Calculus - Part I , 2005 .

[111]  Olga Sorkine,et al.  Laplacian Mesh Processing , 2005 .

[112]  Mariette Yvinec,et al.  Variational tetrahedral meshing , 2005, ACM Trans. Graph..

[113]  Jerrold E. Marsden,et al.  Discrete Poincaré lemma , 2005 .

[114]  Kwang-Jin Choi,et al.  Stable but responsive cloth , 2002, SIGGRAPH Courses.

[115]  James F. O'Brien,et al.  Animating gases with hybrid meshes , 2005, ACM Trans. Graph..

[116]  Lin Shi,et al.  Controllable smoke animation with guiding objects , 2005, TOGS.

[117]  Yiying Tong,et al.  Discrete, vorticity-preserving, and stable simplicial fluids , 2005, SIGGRAPH Courses.

[118]  Nadia Magnenat-Thalmann,et al.  From early draping to haute couture models: 20 years of research , 2005, The Visual Computer.

[119]  Ronald Fedkiw,et al.  Coupling water and smoke to thin deformable and rigid shells , 2005, SIGGRAPH '05.

[120]  E. Guendelman,et al.  Coupling water and smoke to thin deformable and rigid shells , 2005, SIGGRAPH 2005.

[121]  Ronald Fedkiw,et al.  Robust treatment of collisions, contact and friction for cloth animation , 2002, SIGGRAPH Courses.

[122]  Jenny Harrison Ravello lecture notes on geometric calculus -- Part I , 2005 .

[123]  Peter Schröder,et al.  Building your own DEC at home , 2005, SIGGRAPH Courses.

[124]  Eitan Grinspun,et al.  Discrete Shells Origami , 2006, CATA.

[125]  Craig Gotsman,et al.  Discrete one-forms on meshes and applications to 3D mesh parameterization , 2006, Comput. Aided Geom. Des..

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

[127]  Peter Schröder,et al.  Discrete conformal mappings via circle patterns , 2005, TOGS.

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

[129]  Mathieu Desbrun,et al.  Barycentric coordinates for convex sets , 2007, Adv. Comput. Math..

[130]  Mathieu Desbrun,et al.  Discrete Differential Geometry , 2008 .

[131]  Yong Jung Kim A MATHEMATICAL INTRODUCTION TO FLUID MECHANICS , 2008 .

[132]  M. T. Vaughn Geometry in Physics , 2008 .

[133]  Ang Yan Sheng,et al.  Discrete Differential Geometry , 2017 .

[134]  R. Ho Algebraic Topology , 2022 .