1: \begin{abstract} 

2: We propose a finite element discretisation approach for the

3: incompressible Euler equations which mimics their geometric structure

4: and their variational derivation. In particular, we derive a finite

5: element method that arises from a nonholonomic variational principle

6: and an appropriately defined Lagrangian, where finite element

7: ${\bm H}(\ddiv)$ vector fields are identified with advection operators; %this extends

8: this is the first successful extension of the structure-preserving discretisation of Pavlov et al.\ (2009) to the finite element setting.

9: % The advection operators are built from Lie derivative operators proposed for discrete differential forms by Heumann and Hiptmair (2011). 

10: The resulting algorithm coincides with the energy-conserving scheme presented in Guzm\'an et al.\ (2016). Through the variational derivation, we discover that it also satisfies a discrete analogous of Kelvin's circulation theorem. 

11: %Further, we are able to obtain a convergence proof for our scheme with the same $k-1$ sub-optimal convergence rate that is reported for centred discontinuous Galerkin discretisations; this rate is demonstrated in numerical tests.

12: %Due to the introduction of a

13: %nonholonomic constraints in the discrete system, we are not able to

14: %preserve other invariants of the system; optimal convergence is

15: %achieved only at the lowest order. 

16: Further, we propose an upwind-stabilised version of the scheme which

17: dissipates enstrophy whilst preserving energy

18: conservation and the discrete Kelvin's theorem. We prove error estimates for this version of the scheme, and we study its behaviour through numerical tests. %For higher order finite element spaces, this version of the scheme demonstrates optimal convergence in numerical tests. 

19: \end{abstract}

20: