-
Port-Hamiltonian formulations of the incompressible Euler equations with a free surface
Authors:
Xiaoyu Cheng,
J. J. W. Van der Vegt,
Yan Xu,
H. J. Zwart
Abstract:
In this paper, we present port-Hamiltonian formulations of the incompressible Euler equations with a free surface governed by surface tension and gravity forces, modelling e.g. capillary and gravity waves and the evolution of droplets in air. Three sets of variables are considered, namely $(v,Σ)$, $(η,φ_{\partial},Σ)$ and $(ω,φ_{\partial},Σ)$, with $v$ the velocity, $η$ the solenoidal velocity,…
▽ More
In this paper, we present port-Hamiltonian formulations of the incompressible Euler equations with a free surface governed by surface tension and gravity forces, modelling e.g. capillary and gravity waves and the evolution of droplets in air. Three sets of variables are considered, namely $(v,Σ)$, $(η,φ_{\partial},Σ)$ and $(ω,φ_{\partial},Σ)$, with $v$ the velocity, $η$ the solenoidal velocity, $φ_{\partial}$ a potential, $ω$ the vorticity, and $Σ$ the free surface, resulting in the incompressible Euler equations in primitive variables and the vorticity equation. First, the Hamiltonian formulation for the incompressible Euler equations in a domain with a free surface combined with a fixed boundary surface with a homogeneous boundary condition will be derived in the proper Sobolev spaces of differential forms. Next, these results will be extended to port-Hamiltonian formulations allowing inhomogeneous boundary conditions and a non-zero energy flow through the boundaries. Our main results are the construction and proof of Dirac structures in suitable Sobolev spaces of differential forms for each variable set, which provides the core of any port-Hamiltonian formulation. Finally, it is proven that the state dependent Dirac structures are related to Poisson brackets that are linear, skew-symmetric and satisfy the Jacobi identity.
△ Less
Submitted 29 April, 2023;
originally announced May 2023.
-
Entropy dissipative higher order accurate positivity preserving time-implicit discretizations for nonlinear degenerate parabolic equations
Authors:
F. Yan,
J. J . W. van der Vegt,
Y. Xia,
Y. Xu
Abstract:
We develop entropy dissipative higher order accurate local discontinuous Galerkin (LDG) discretizations coupled with Diagonally Implicit Runge-Kutta (DIRK) methods for nonlinear degenerate parabolic equations with a gradient flow structure. Using the simple alternating numerical flux, we construct DIRK-LDG discretizations that combine the advantages of higher order accuracy, entropy dissipation an…
▽ More
We develop entropy dissipative higher order accurate local discontinuous Galerkin (LDG) discretizations coupled with Diagonally Implicit Runge-Kutta (DIRK) methods for nonlinear degenerate parabolic equations with a gradient flow structure. Using the simple alternating numerical flux, we construct DIRK-LDG discretizations that combine the advantages of higher order accuracy, entropy dissipation and proper long-time behavior. The implicit time-discrete methods greatly alleviate the time-step restrictions needed for the stability of the numerical discretizations. Also, the larger time step significantly improves computational efficiency. We theoretically prove the unconditional entropy dissipation of the implicit Euler-LDG discretization. Next, in order to ensure the positivity of the numerical solution, we use the Karush-Kuhn-Tucker (KKT) limiter, which couples the positivity inequality constraint with higher order accurate DIRK-LDG discretizations using Lagrange multipliers. In addition, mass conservation of the positivity-limited solution is ensured by imposing a mass conservation equality constraint to the KKT equations. The unique solvability and unconditional entropy dissipation for an implicit first order accurate in time, but higher order accurate in space, KKT-LDG discretizations are proved, which provides a first theoretical analysis of the KKT limiter. Finally, numerical results demonstrate the higher order accuracy and entropy dissipation of the KKT-DIRK-LDG discretizations for problems requiring a positivity limiter.
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
Port-Hamiltonian Discontinuous Galerkin Finite Element Methods
Authors:
N. Kumar,
J. J. W. van der Vegt,
H. J. Zwart
Abstract:
A port-Hamiltonian (pH) system formulation is a geometrical notion used to formulate conservation laws for various physical systems. The distributed parameter port-Hamiltonian formulation models infinite dimensional Hamiltonian dynamical systems that have a non-zero energy flow through the boundaries. In this paper we propose a novel framework for discontinuous Galerkin (DG) discretizations of pH-…
▽ More
A port-Hamiltonian (pH) system formulation is a geometrical notion used to formulate conservation laws for various physical systems. The distributed parameter port-Hamiltonian formulation models infinite dimensional Hamiltonian dynamical systems that have a non-zero energy flow through the boundaries. In this paper we propose a novel framework for discontinuous Galerkin (DG) discretizations of pH-systems. Linking DG methods with pH-systems gives rise to compatible structure preserving finite element discretizations along with flexibility in terms of geometry and function spaces of the variables involved. Moreover, the port-Hamiltonian formulation makes boundary ports explicit, which makes the choice of structure and power preserving numerical fluxes easier. We state the Discontinuous Finite Element Stokes-Dirac structure with a power preserving coupling between elements, which provides the mathematical framework for a large class of pH discontinuous Galerkin discretizations. We also provide an a priori error analysis for the port-Hamiltonian discontinuous Galerkin Finite Element Method (pH-DGFEM). The port-Hamiltonian discontinuous Galerkin finite element method is demonstrated for the scalar wave equation showing optimal rates of convergence.
△ Less
Submitted 14 December, 2022;
originally announced December 2022.
-
Analysis of a mixed discontinuous Galerkin method for the time-harmonic Maxwell equations with minimal smoothness requirements
Authors:
Kaifang Liu,
Dietmar Gallistl,
Matthias Schlottbom,
J. J. W. van der Vegt
Abstract:
An error analysis of a mixed discontinuous Galerkin (DG) method with Brezzi numerical flux for the time-harmonic Maxwell equations with minimal smoothness requirements is presented. The key difficulty in the error analysis for the DG method is that the tangential or normal trace of the exact solution is not well-defined on the mesh faces of the computational mesh. We overcome this difficulty by tw…
▽ More
An error analysis of a mixed discontinuous Galerkin (DG) method with Brezzi numerical flux for the time-harmonic Maxwell equations with minimal smoothness requirements is presented. The key difficulty in the error analysis for the DG method is that the tangential or normal trace of the exact solution is not well-defined on the mesh faces of the computational mesh. We overcome this difficulty by two steps. First, we employ a lifting operator to replace the integrals of the tangential/normal traces on mesh faces by volume integrals. Second, optimal convergence rates are proven by using smoothed interpolations that are well-defined for merely integrable functions. As a byproduct of our analysis, an explicit and easily computable stabilization parameter is given.
△ Less
Submitted 14 September, 2020;
originally announced September 2020.
-
Efficient quadrature rules for computing the stiffness matrices of mass-lumped tetrahedral elements for linear wave problems
Authors:
S. Geevers,
W. A. Mulder,
J. J. W. van der Vegt
Abstract:
We present new and efficient quadrature rules for computing the stiffness matrices of mass-lumped tetrahedral elements for wave propagation modelling. These quadrature rules allow for a more efficient implementation of the mass-lumped finite element method and can handle materials that are heterogeneous within the element without loss of the convergence rate. The quadrature rules are designed for…
▽ More
We present new and efficient quadrature rules for computing the stiffness matrices of mass-lumped tetrahedral elements for wave propagation modelling. These quadrature rules allow for a more efficient implementation of the mass-lumped finite element method and can handle materials that are heterogeneous within the element without loss of the convergence rate. The quadrature rules are designed for the specific function spaces of recently developed mass-lumped tetrahedra, which consist of standard polynomial function spaces enriched with higher-degree bubble functions. For the degree-2 mass-lumped tetrahedron, the most efficient quadrature rule seems to be an existing 14-point quadrature rule, but for tetrahedra of degrees 3 and 4, we construct new quadrature rules that require less integration points than those currently available in the literature. Several numerical examples confirm that this approach is more efficient than computing the stiffness matrix exactly and that an optimal order of convergence is maintained, even when material properties vary within the element.
△ Less
Submitted 24 May, 2019;
originally announced May 2019.
-
Positivity Preserving Limiters for Time-Implicit Higher Order Accurate Discontinuous Galerkin Discretizations
Authors:
J. J. W. van der Vegt,
Yinhua Xia,
Yan Xu
Abstract:
Currently, nearly all positivity preserving discontinuous Galerkin (DG) discretizations of partial differential equations are coupled with explicit time integration methods. Unfortunately, for many problems this can result in severe time-step restrictions. The techniques used to develop explicit positivity preserving DG discretizations can, however, not easily be combined with implicit time integr…
▽ More
Currently, nearly all positivity preserving discontinuous Galerkin (DG) discretizations of partial differential equations are coupled with explicit time integration methods. Unfortunately, for many problems this can result in severe time-step restrictions. The techniques used to develop explicit positivity preserving DG discretizations can, however, not easily be combined with implicit time integration methods. In this paper we therefore present a new approach. Using Lagrange multipliers the conditions imposed by the positivity preserving limiters are directly coupled to a DG discretization combined with a Diagonally Implicit Runge-Kutta time integration method. The positivity preserving DG discretization is then reformulated as a Karush-Kuhn-Tucker (KKT) problem, which is frequently encountered in constrained optimization. Since the limiter is only active in areas where positivity must be enforced it does not affect the higher order DG discretization elsewhere. The resulting non-smooth nonlinear algebraic equations have, however, a different structure compared to most constrained optimization problems. We therefore develop an efficient active set semi-smooth Newton method that is suitable for the KKT formulation of time-implicit positivity preserving DG discretizations. Convergence of this semi-smooth Newton method is proven using a specially designed quasi-directional derivative of the time-implicit positivity preserving DG discretization. The time-implicit positivity preserving DG discretization is demonstrated for several nonlinear scalar conservation laws, which include the advection, Burgers, Allen-Cahn, Barenblatt, and Buckley-Leverett equations.
△ Less
Submitted 31 March, 2019; v1 submitted 21 November, 2018;
originally announced November 2018.
-
New Higher-Order Mass-Lumped Tetrahedral Elements for Wave Propagation Modelling
Authors:
S. Geevers,
W. A. Mulder,
J. J. W. van der Vegt
Abstract:
We present a new accuracy condition for the construction of continuous mass-lumped elements. This condition is less restrictive than the one currently used and enabled us to construct new mass-lumped tetrahedral elements of degrees 2 to 4. The new degree-2 and degree-3 tetrahedral elements require 15 and 32 nodes per element, respectively, while currently, these elements require 23 and 50 nodes, r…
▽ More
We present a new accuracy condition for the construction of continuous mass-lumped elements. This condition is less restrictive than the one currently used and enabled us to construct new mass-lumped tetrahedral elements of degrees 2 to 4. The new degree-2 and degree-3 tetrahedral elements require 15 and 32 nodes per element, respectively, while currently, these elements require 23 and 50 nodes, respectively. The new degree-4 elements require 60, 61 or 65 nodes per element. Tetrahedral elements of this degree had not been found yet. We prove that our accuracy condition results in a mass-lumped finite element method that converges with optimal order in the $L^2$-norm and energy-norm. A dispersion analysis and several numerical tests confirm that our elements maintain the optimal order of accuracy and show that the new mass-lumped tetrahedral elements are more efficient than the current ones.
△ Less
Submitted 6 July, 2018; v1 submitted 27 March, 2018;
originally announced March 2018.
-
Dispersion Properties of Explicit Finite Element Methods for Wave Propagation Modelling on Tetrahedral Meshes
Authors:
S. Geevers,
W. A. Mulder,
J. J. W. van der Vegt
Abstract:
We analyse the dispersion properties of two types of explicit finite element methods for modelling acoustic and elastic wave propagation on tetrahedral meshes, namely mass-lumped finite element methods and symmetric interior penalty discontinuous Galerkin methods, both combined with a suitable Lax--Wendroff time integration scheme. The dispersion properties are obtained semi-analytically using sta…
▽ More
We analyse the dispersion properties of two types of explicit finite element methods for modelling acoustic and elastic wave propagation on tetrahedral meshes, namely mass-lumped finite element methods and symmetric interior penalty discontinuous Galerkin methods, both combined with a suitable Lax--Wendroff time integration scheme. The dispersion properties are obtained semi-analytically using standard Fourier analysis. Based on the dispersion analysis, we give an indication of which method is the most efficient for a given accuracy, how many elements per wavelength are required for a given accuracy, and how sensitive the accuracy of the method is to poorly shaped elements.
△ Less
Submitted 6 July, 2018; v1 submitted 28 February, 2018;
originally announced February 2018.
-
Sharp Penalty Term and Time Step Bounds for the Interior Penalty Discontinuous Galerkin Method for Linear Hyperbolic Problems
Authors:
S. Geevers,
J. J. W. van der Vegt
Abstract:
We present sharp and sufficient bounds for the interior penalty term and time step size to ensure stability of the Symmetric Interior Penalty Discontinuous Galerkin (SIPDG) method combined with an explicit time-stepping scheme. These conditions hold for generic meshes, including unstructured non-conforming heterogeneous meshes of mixed element types, and apply to a large class of linear hyperbolic…
▽ More
We present sharp and sufficient bounds for the interior penalty term and time step size to ensure stability of the Symmetric Interior Penalty Discontinuous Galerkin (SIPDG) method combined with an explicit time-stepping scheme. These conditions hold for generic meshes, including unstructured non-conforming heterogeneous meshes of mixed element types, and apply to a large class of linear hyperbolic problems, including the acoustic wave equation, the (an)isotropic elastic wave equations and Maxwell's equations. The penalty term bounds are computed element-wise, while bounds for the time step size are computed at weighted submeshes requiring only a small number of elements and faces. Numerical results illustrate the sharpness of these bounds.
△ Less
Submitted 6 July, 2018; v1 submitted 9 June, 2017;
originally announced June 2017.
-
A space-time finite element method for neural field equations with transmission delays
Authors:
M. Polner,
J. J. W. van der Vegt,
S. A. van Gils
Abstract:
We present and analyze a new space-time finite element method for the solution of neural field equations with transmission delays. The numerical treatment of these systems is rare in the literature and currently has several restrictions on the spatial domain and the functions involved, such as connectivity and delay functions. The use of a space-time discretization, with basis functions that are d…
▽ More
We present and analyze a new space-time finite element method for the solution of neural field equations with transmission delays. The numerical treatment of these systems is rare in the literature and currently has several restrictions on the spatial domain and the functions involved, such as connectivity and delay functions. The use of a space-time discretization, with basis functions that are discontinuous in time and continuous in space (dGcG-FEM), is a natural way to deal with space-dependent delays, which is important for many neural field applications. In this article we provide a detailed description of a space-time dGcG-FEM algorithm for neural delay equations, including an a-priori error analysis. We demonstrate the application of the dGcG-FEM algorithm on several neural field models, including problems with an inhomogeneous kernel.
△ Less
Submitted 24 February, 2017;
originally announced February 2017.
