“…(Desbrun, Hirani, Leok, and Marsden 2005;Hirani 2003). Since its conception, DEC has found many applications and has been extended in various directions, including general relativity (Frauendiener 2006), electrodynamics (Stern, Tong, Desbrun, and Marsden 2007), linear elasticity (Yavari 2008), computational modeling (Desbrun, Kanso, and Tong 2008), port-Hamiltonian systems (Seslija, Schaft, and Scherpen 2012), digital geometry processing (Crane, de Goes, Desbrun, and Schroder 2013), Darcy flow (Hirani, Nakshatrala, and Chaudhry 2015), and the Navier-Stokes equations (Mohamed, Hirani, and Samtaney 2016). However, a rigorous convergence analysis of DEC has always been lacking; As far as we are aware, the only convergence proof of DEC so far appeared is for the scalar Poisson problem in two dimensions, and it Date: June 5, 2018. is based on reinterpreting the discretization as a finite element method, cf.…”