This thesis presents the beginnings of a theory of discrete exterior calculus (DEC). Our approach is to develop DEC using only discrete combinatorial and geometric operations on a simplicial complex and its geometric dual. The derivation of these may require that the objects on the discrete mesh, but not the mesh itself, are interpolated.
Our theory includes not only discrete equivalents of differential forms, but also discrete vector fields and the operators acting on these objects. Definitions are given for discrete versions of all the usual operators of exterior calculus. The presence of forms and vector fields allows us to address their various interactions, which are important in applications. In many examples we find that the formulas derived from DEC are identical to the existing formulas in the literature. We also show that the circumcentric dual of a simplicial complex plays a useful role in the metric dependent part of this theory. The appearance of dual complexes leads to a proliferation of the operators in the discrete theory.
One potential application of DEC is to variational problems which come equipped with a rich exterior calculus structure. On the discrete level, such structures will be enhanced by the availability of DEC. One of the objectives of this thesis is to fill this gap. There are many constraints in numerical algorithms that naturally involve differential forms. Preserving such features directly on the discrete level is another goal, overlapping with our goals for variational problems.
In this thesis we have tried to push a purely discrete point of view as far as possible. We argue that this can only be pushed so far, and that interpolation is a useful device. For example, we found that interpolation of functions and vector fields is a very convenient. In future work we intend to continue this interpolation point of view, extending it to higher degree forms, especially in the context of the sharp, Lie derivative and interior product operators. Some preliminary ideas on this point of view are presented in the thesis. We also present some preliminary calculations of formulas on regular nonsimplicial complexes.
Cited By
- Dassios I, Tzounas G, Milano F and Jivkov A (2024). A discrete model for force-based elasticity and plasticity, Journal of Computational and Applied Mathematics, 444:C, Online publication date: 1-Jul-2024.
- Li Y, Holderied F, Possanner S and Sonnendrücker E (2024). Canonical variables based numerical schemes for hybrid plasma models with kinetic ions and massless electrons, Journal of Computational Physics, 505:C, Online publication date: 15-May-2024.
- Glickenstein D (2024). Geometric triangulations and discrete Laplacians on manifolds, Computational Geometry: Theory and Applications, 118:C, Online publication date: 1-Mar-2024.
- Jacobson A and Hu X (2024). Structure-preserving discretization of fractional vector calculus using discrete exterior calculus▪, Computers & Mathematics with Applications, 153:C, (186-196), Online publication date: 1-Jan-2024.
- Li M, Owens M, Wu J, Yang G and Chern A Closest Point Exterior Calculus SIGGRAPH Asia 2023 Posters, (1-2)
- Kapidani B and Vázquez R (2023). High order geometric methods with splines, Journal of Computational Physics, 493:C, Online publication date: 15-Nov-2023.
- Coiffier G and Corman E (2023). The Method of Moving Frames for Surface Global Parametrization, ACM Transactions on Graphics, 42:5, (1-18), Online publication date: 31-Oct-2023.
- Mantravadi B, Jagad P and Samtaney R (2023). A hybrid discrete exterior calculus and finite difference method for Boussinesq convection in spherical shells, Journal of Computational Physics, 491:C, Online publication date: 15-Oct-2023.
- Wang M, Jagad P, Hirani A and Samtaney R (2023). Discrete exterior calculus discretization of two-phase incompressible Navier-Stokes equations with a conservative phase field method, Journal of Computational Physics, 488:C, Online publication date: 1-Sep-2023.
- Yin H, Nabizadeh M, Wu B, Wang S and Chern A (2023). Fluid Cohomology, ACM Transactions on Graphics, 42:4, (1-25), Online publication date: 1-Aug-2023.
- Schier A and Klein R (2023). Discrete exterior calculus for meshes with concyclic polygons, Computer Aided Geometric Design, 101:C, Online publication date: 1-Apr-2023.
- Hirani A, Kalyanaraman K, Wang H and Watts S (2023). Computing discrete harmonic differential forms in a given cohomology class using finite element exterior calculus, Computational Geometry: Theory and Applications, 109:C, Online publication date: 1-Feb-2023.
- Li Y (2023). Energy conserving particle-in-cell methods for relativistic Vlasov–Maxwell equations of laser-plasma interaction, Journal of Computational Physics, 473:C, Online publication date: 15-Jan-2023.
- Brugnoli A, Rashad R and Stramigioli S (2022). Dual field structure-preserving discretization of port-Hamiltonian systems using finite element exterior calculus, Journal of Computational Physics, 471:C, Online publication date: 15-Dec-2022.
- Tao M, Batty C, Ben-Chen M, Fiume E and Levin D (2022). VEMPIC, ACM Transactions on Graphics, 41:4, (1-22), Online publication date: 1-Jul-2022.
- Nabizadeh M, Wang S, Ramamoorthi R and Chern A (2022). Covector fluids, ACM Transactions on Graphics, 41:4, (1-16), Online publication date: 1-Jul-2022.
- Wang S and Chern A (2021). Computing minimal surfaces with differential forms, ACM Transactions on Graphics, 40:4, (1-14), Online publication date: 31-Aug-2021.
- Fellegara R, Weiss K and De Floriani L (2021). The Stellar decomposition, Computers and Graphics, 98:C, (322-343), Online publication date: 1-Aug-2021.
- Ptáčková L and Velho L (2021). A simple and complete discrete exterior calculus on general polygonal meshes, Computer Aided Geometric Design, 88:C, Online publication date: 1-Jun-2021.
- Paoluzzi A, Shapiro V, Dicarlo A, Furiani F, Martella G and Scorzelli G (2020). Topological Computing of Arrangements with (Co)Chains, ACM Transactions on Spatial Algorithms and Systems, 7:1, (1-29), Online publication date: 31-Mar-2021.
- Alexa M (2020). Conforming weighted delaunay triangulations, ACM Transactions on Graphics, 39:6, (1-16), Online publication date: 31-Dec-2021.
- De Goes F, Butts A and Desbrun M (2020). Discrete differential operators on polygonal meshes, ACM Transactions on Graphics, 39:4, (110:1-110:14), Online publication date: 31-Aug-2020.
- Torres-Sánchez A, Santos-Oliván D and Arroyo M (2022). Approximation of tensor fields on surfaces of arbitrary topology based on local Monge parametrizations, Journal of Computational Physics, 405:C, Online publication date: 15-Mar-2020.
- Tao M, Batty C, Fiume E and Levin D (2019). Mandoline, ACM Transactions on Graphics, 38:6, (1-17), Online publication date: 31-Dec-2020.
- Crum J, Levine J and Gillette A (2022). Extending Discrete Exterior Calculus to a Fractional Derivative, Computer-Aided Design, 114:C, (64-72), Online publication date: 1-Sep-2019.
- Corman E and Crane K (2019). Symmetric moving frames, ACM Transactions on Graphics, 38:4, (1-16), Online publication date: 31-Aug-2019.
- Nestler M, Nitschke I and Voigt A (2019). A finite element approach for vector- and tensor-valued surface PDEs, Journal of Computational Physics, 389:C, (48-61), Online publication date: 15-Jul-2019.
- Budninskiy M, Owhadi H and Desbrun M (2022). Operator-adapted wavelets for finite-element differential forms, Journal of Computational Physics, 388:C, (144-177), Online publication date: 1-Jul-2019.
- Bauer W and Cotter C (2018). Energy–enstrophy conserving compatible finite element schemes for the rotating shallow water equations with slip boundary conditions, Journal of Computational Physics, 373:C, (171-187), Online publication date: 15-Nov-2018.
- Hersonsky S (2018). Approximation of conformal mappings and novel applications to shape recognition of planar domains, The Journal of Supercomputing, 74:11, (6333-6368), Online publication date: 1-Nov-2018.
- Gross B and Atzberger P (2018). Hydrodynamic flows on curved surfaces, Journal of Computational Physics, 371:C, (663-689), Online publication date: 15-Oct-2018.
- Salmasi M and Potter M (2018). Discrete exterior calculus approach for discretizing Maxwell's equations on face-centered cubic grids for FDTD, Journal of Computational Physics, 364:C, (298-313), Online publication date: 1-Jul-2018.
- Gross B and Atzberger P (2018). Spectral Numerical Exterior Calculus Methods for Differential Equations on Radial Manifolds, Journal of Scientific Computing, 76:1, (145-165), Online publication date: 1-Jul-2018.
- Khan D, Yan D, Wang Y, Hu K, Ye J and Zhang X (2018). High-quality 2D mesh generation without obtuse and small angles, Computers & Mathematics with Applications, 75:2, (582-595), Online publication date: 15-Jan-2018.
- Ptackova L and Velho L A primal-to-primal discretization of exterior calculus on polygonal meshes Proceedings of the Symposium on Geometry Processing: Posters, (7-8)
- Vantzos O, Azencot O, Wardeztky M, Rumpf M and Ben-Chen M (2017). Functional Thin Films on Surfaces, IEEE Transactions on Visualization and Computer Graphics, 23:3, (1179-1192), Online publication date: 1-Mar-2017.
- Vaxman A, Campen M, Diamanti O, Bommes D, Hildebrandt K, Ben-Chen M and Panozzo D Directional field synthesis, design, and processing SIGGRAPH ASIA 2016 Courses, (1-30)
- Mohamed M, Hirani A and Samtaney R (2016). Comparison of discrete Hodge star operators for surfaces, Computer-Aided Design, 78:C, (118-125), Online publication date: 1-Sep-2016.
- Fernández Abrevaya V, Manandhar S, Hétroy-Wheeler F and Wuhrer S (2016). A 3D+t Laplace operator for temporal mesh sequences, Computers and Graphics, 58:C, (12-22), Online publication date: 1-Aug-2016.
- de Goes F, Desbrun M and Tong Y Vector field processing on triangle meshes ACM SIGGRAPH 2016 Courses, (1-49)
- de Goes F, Desbrun M, Meyer M and DeRose T (2016). Subdivision exterior calculus for geometry processing, ACM Transactions on Graphics, 35:4, (1-11), Online publication date: 11-Jul-2016.
- Vaxman A, Campen M, Diamanti O, Panozzo D, Bommes D, Hildebrandt K and Ben-Chen M Directional field synthesis, design, and processing Proceedings of the 37th Annual Conference of the European Association for Computer Graphics: State of the Art Reports, (545-572)
- do Goes F, Desbrun M and Tong Y Vector field processing on triangle meshes SIGGRAPH Asia 2015 Courses, (1-48)
- Azencot O, Vantzos O, Wardetzky M, Rumpf M and Ben-Chen M Functional thin films on surfaces Proceedings of the 14th ACM SIGGRAPH / Eurographics Symposium on Computer Animation, (137-146)
- Hanika J, Droske M and Fascione L (2015). Manifold Next Event Estimation, Computer Graphics Forum, 34:4, (87-97), Online publication date: 1-Jul-2015.
- Azencot O, Ovsjanikov M, Chazal F and Ben-Chen M (2015). Discrete Derivatives of Vector Fields on Surfaces -- An Operator Approach, ACM Transactions on Graphics, 34:3, (1-13), Online publication date: 8-May-2015.
- Herholz P, Matusik W and Alexa M (2015). Approximating Free-form Geometry with Height Fields for Manufacturing, Computer Graphics Forum, 34:2, (239-251), Online publication date: 1-May-2015.
- Vanderzee E, Hirani A, Guoy D, Zharnitsky V and Ramos E (2013). Geometric and combinatorial properties of well-centered triangulations in three and higher dimensions, Computational Geometry: Theory and Applications, 46:6, (700-724), Online publication date: 1-Aug-2013.
- Solomon J, Guibas L and Butscher A Dirichlet energy for analysis and synthesis of soft maps Proceedings of the Eleventh Eurographics/ACMSIGGRAPH Symposium on Geometry Processing, (197-206)
- Azencot O, Ben-Chen M, Chazal F and Ovsjanikov M An operator approach to tangent vector field processing Proceedings of the Eleventh Eurographics/ACMSIGGRAPH Symposium on Geometry Processing, (73-82)
- Bell N and Hirani A (2012). PyDEC, ACM Transactions on Mathematical Software, 39:1, (1-41), Online publication date: 1-Nov-2012.
- Wu C, Zhang J, Duan Y and Tai X (2012). Augmented Lagrangian Method for Total Variation Based Image Restoration and Segmentation Over Triangulated Surfaces, Journal of Scientific Computing, 50:1, (145-166), Online publication date: 1-Jan-2012.
- Lévy B and Zhang H Elements of geometry processing SIGGRAPH Asia 2011 Courses, (1-48)
- Mullen P, Memari P, de Goes F and Desbrun M HOT ACM SIGGRAPH 2011 papers, (1-12)
- Gillette A and Bajaj C A generalization for stable mixed finite elements Proceedings of the 14th ACM Symposium on Solid and Physical Modeling, (41-50)
- Lévy B and Zhang H Spectral mesh processing ACM SIGGRAPH ASIA 2009 Courses, (1-47)
- Bajaj C, Gillette A and Zhang Q Stable mesh decimation 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling, (277-282)
- Zeng W, Yin X, Zhang M, Luo F and Gu X Generalized Koebe's method for conformal mapping multiply connected domains 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling, (89-100)
- Hormann K, Polthier K and Sheffer A Mesh parameterization ACM SIGGRAPH ASIA 2008 courses, (1-87)
- Biasotti S, De Floriani L, Falcidieno B, Frosini P, Giorgi D, Landi C, Papaleo L and Spagnuolo M (2008). Describing shapes by geometrical-topological properties of real functions, ACM Computing Surveys, 40:4, (1-87), Online publication date: 1-Oct-2008.
- Jin M, Kim J and Gu X Discrete surface Ricci flow Proceedings of the 12th IMA international conference on Mathematics of surfaces XII, (209-232)
- Hormann K, Lévy B and Sheffer A Mesh parameterization ACM SIGGRAPH 2007 courses, (1-es)
- Fisher M, Schröder P, Desbrun M and Hoppe H Design of tangent vector fields ACM SIGGRAPH 2007 papers, (56-es)
- Fisher M, Schröder P, Desbrun M and Hoppe H (2007). Design of tangent vector fields, ACM Transactions on Graphics, 26:3, (56-es), Online publication date: 29-Jul-2007.
- Elcott S, Tong Y, Kanso E, Schröder P and Desbrun M (2007). Stable, circulation-preserving, simplicial fluids, ACM Transactions on Graphics, 26:1, (4-es), Online publication date: 1-Jan-2007.
- Tewari G, Gotsman C and Gortler S (2006). Meshing genus-1 point clouds using discrete one-forms, Computers and Graphics, 30:6, (917-926), Online publication date: 1-Dec-2006.
- Elcott S, Tong Y, Kanso E, Schroder P and Desbrun M Stable, circulation-preserving, simplicial fluids ACM SIGGRAPH 2006 Courses, (60-68)
- Desbrun M, Kanso E and Tong Y Discrete differential forms for computational modeling ACM SIGGRAPH 2006 Courses, (39-54)
- Kharevych L, Springborn B and Schröder P (2006). Discrete conformal mappings via circle patterns, ACM Transactions on Graphics, 25:2, (412-438), Online publication date: 1-Apr-2006.
- Elcott S, Tong Y, Kanso E, Schröder P and Desbrun M Discrete, vorticity-preserving, and stable simplicial fluids ACM SIGGRAPH 2005 Courses, (9-es)
- Desbrun M, Kanso E and Tong Y Discrete differential forms for computational modeling ACM SIGGRAPH 2005 Courses, (7-es)
- Kharevych L, Springborn B and Schröder P Discrete conformal mappings via circle patterns ACM SIGGRAPH 2005 Courses, (6-es)
- Vaillant M and Glaunès J Surface matching via currents Proceedings of the 19th international conference on Information Processing in Medical Imaging, (381-392)
- Tong Y, Lombeyda S, Hirani A and Desbrun M Discrete multiscale vector field decomposition ACM SIGGRAPH 2003 Papers, (445-452)
- Tong Y, Lombeyda S, Hirani A and Desbrun M (2003). Discrete multiscale vector field decomposition, ACM Transactions on Graphics, 22:3, (445-452), Online publication date: 1-Jul-2003.
Index Terms
- Discrete exterior calculus
Recommendations
A simple and complete discrete exterior calculus on general polygonal meshes
Graphical abstractHighlights- Discrete operators acting directly on meshes made of arbitrary polygons are proposed.
AbstractDiscrete exterior calculus (DEC) offers a coordinate–free discretization of exterior calculus especially suited for computations on curved spaces. In this work, we present an extended version of DEC on surface meshes formed by general ...
Discrete exterior calculus for meshes with concyclic polygons
AbstractDiscrete exterior calculus (DEC) is a numerical method for solving partial differential equations on meshes with applications in computer graphics, numerics, and physical simulations. It discretizes PDEs in a way such that important ...
Graphical abstractHighlights- Lifting one of the last mesh requirements for using DEC.
- Allows for using ...
The Laplace transform in discrete fractional calculus
We develop properties of the Laplace Transform in a discrete, fractional calculus setting, giving a precise treatment to convergence along the way. The end goal is to apply the Laplace Transform Method to solve a fractional initial value problem.