SearcharxivSearch

arXiv subjects

Enrico Zampa

Publications and source records attributed to Enrico Zampa.

10 recordsLinked to original sources

On structure-preserving and pointwise conservative continuous DG schemes for hyperbolic systems

We present a new class of structure-preserving semi-discrete continuous-discontinuous Galerkin (CG-DG) finite element schemes for linear and nonlinear hyperbolic systems of partial differential equations on unstructured simplex meshes that automatically satisfy the following properties: i) the new schemes are not only cellwise conservative, but also locally pointwise conservative everywhere, hence they satisfy the integral form of the conservation law on arbitrary control volumes that do not have to coincide with the mesh at all; ii) the new methods naturally satisfy the two basic vector calculus identities $\nabla \cdot \nabla \times \mathbf{A}$ and $\nabla \times \nabla Z$ exactly pointwise locally and globally everywhere on the discrete level; iii) for linear symmetric hyperbolic systems the schemes are naturally energy conservative for the square energy, i.e. nonlinearly stable in the $L^2$ norm. The key ingredient of the new CG-DG schemes is the use of two different but compatible approximation spaces: the classical DG space $\mathcal{U}_h^N$ of discontinuous piecewise polynomials of degree up to $N$ and a classical finite element space $\mathcal{W}_h^{N+1}$ of globally continuous piecewise polynomials of degree $N+1$. In the new CG-DG schemes, the discrete solution $\mathbf{u}_h$ is sought in $\mathcal{U}_h^N$, while a suitable discrete flux field $\tilde{\mathbf{f}}_h$ is computed in $\mathcal{W}_h^{N+1}$. For $N=0$ our new schemes are directly related to cell-centered finite volume schemes with suitable vertex-based fluxes. All claimed properties of the schemes are first mathematically proven and are then also verified via suitable numerical tests. We show applications of our approach to three linear and nonlinear hyperbolic systems.

math.NA

Robust H(curl)-based finite element methods for the incompressible MHD system

We propose and analyze a class of finite element methods for the time-dependent incompressible magnetohydrodynamics system based on $H(\mathrm{curl})$-conforming discretizations for both the velocity and the magnetic field. This choice is guided by the aim of developing methods that are also suitable for the types of solutions arising in problems posed on nonconvex domains. Within this framework, we introduce three stabilized formulations, and study how the stabilization mechanisms employed influence their structural properties. In particular, we focus on suitability for nonconvex polyhedral domains, the need for Lagrange multipliers for the magnetic field, pressure-robustness, and quasi-robustness with respect to both the fluid and magnetic Reynolds numbers. The proposed formulations are further assessed through numerical experiments, highlighting their practical performance.

math.NA

H(curl)-based approximation of the Stokes problem with slip boundary conditions

Reformulating the incompressible Stokes equations with the velocity sought in H(curl) has recently emerged as a promising approach for the design of helicity-preserving schemes in magnetohydrodynamics and pressure-robust finite element methods on polygonal meshes. A key challenge in this setting, however, is the treatment of Navier slip boundary conditions. In this paper, we overcome this difficulty by recasting the slip condition as a Robin boundary condition and proving well-posedness of the resulting continuous problem. We further identify the geometric and regularity assumptions on the domain and the exact solution under which the classical Stokes solution is recovered. Finally, we study a conforming finite element Galerkin discretization, establishing stability and a priori error estimates. Numerical experiments validate the optimal convergence rates predicted by the theory.

math.NA

Stability, convergence, and geometric properties of second-order-in-time space-time discretizations for linear and semilinear wave equations

We revisit second-order-in-time space-time discretizations of the linear and semilinear wave equations by establishing precise equivalences with first-order-in-time formulations. Focusing on schemes using continuous piecewise-polynomial trial functions in time, we analyze their stability, convergence, and geometric properties. We consider first a weak space-time formulation with test functions projected onto discontinuous polynomials of one degree lower in time, showing that it is equivalent to the scheme proposed in [French, Peterson 1996] in the linear case, and extended in [Karakashian, Makridakis 2005] to the semilinear case. In particular, this equivalence shows that this method conserves energy at mesh nodes but is not symplectic. We then introduce two symplectic variants, obtained through Gauss-Legendre and Gauss-Lobatto quadratures in time, and show that they correspond to specific Runge-Kutta time integrators. These connections clarify the geometric structure of the space-time methods considered.

math.NA

Finite element exterior calculus for time-dependent Hamiltonian partial differential equations

The success of symplectic integrators for Hamiltonian ODEs has led to a decades-long program of research seeking analogously structure-preserving numerical methods for Hamiltonian PDEs. In this paper, we construct a large class of such methods by combining finite element exterior calculus (FEEC) for spatial semidiscretization with symplectic integrators for time discretization. The resulting methods satisfy a local multisymplectic conservation law in space and time, which generalizes the symplectic conservation law of Hamiltonian ODEs, and which carries finer information about Hamiltonian structure than other approaches based on global function spaces. We give particular attention to conforming FEEC methods and hybridizable discontinuous Galerkin (HDG) methods. The theory and methods are illustrated by application to the semilinear Hodge wave equation.

math.NA

H(curl)-based approximation of the Stokes problem with weakly enforced no-slip boundary conditions

In this work, we show how to impose no-slip boundary conditions for an H(curl)-based formulation for incompressible Stokes flow, which is used in structure-preserving discretizations of Navier-Stokes and magnetohydrodynamics equations. At first glance, it seems straightforward to apply no-slip boundary conditions: the tangential part is an essential boundary condition on H(curl) and the normal component can be naturally enforced through integration-by-parts of the divergence term. However, we show that this can lead to an ill-posed discretization and propose a Nitsche-based finite element method instead. We analyze the discrete system, establishing stability and deriving a priori error estimates. Numerical experiments validate our analysis and demonstrate optimal convergence rates for the velocity field.

math.NA

Inf-sup stable space-time discretization of the wave equation based on a first-order-in-time variational formulation

In this paper, we present a conforming space-time discretization of the wave equation based on a first-order-in-time variational formulation with exponential weights in time. We analyze the method, showing its stability without imposing any restrictions on the mesh size or time step, and proving quasi-optimal convergence for any choice of space-time tensor product discrete spaces that satisfies standard approximation assumptions. Numerical examples are provided to support the theoretical findings.

math.NA

Multisymplecticity in finite element exterior calculus

We consider the application of finite element exterior calculus (FEEC) methods to a class of canonical Hamiltonian PDE systems involving differential forms. Solutions to these systems satisfy a local multisymplectic conservation law, which generalizes the more familiar symplectic conservation law for Hamiltonian systems of ODEs, and which is connected with physically-important reciprocity phenomena, such as Lorentz reciprocity in electromagnetics. We characterize hybrid FEEC methods whose numerical traces satisfy a version of the multisymplectic conservation law, and we apply this characterization to several specific classes of FEEC methods, including conforming Arnold-Falk-Winther-type methods and various hybridizable discontinuous Galerkin (HDG) methods. Interestingly, the HDG-type and other nonconforming methods are shown, in general, to be multisymplectic in a stronger sense than the conforming FEEC methods. This substantially generalizes previous work of McLachlan and Stern [Found. Comput. Math., 20 (2020), pp. 35-69] on the more restricted class of canonical Hamiltonian PDEs in the de Donder-Weyl "grad-div" form.

math.NA

An asymptotic-preserving and exactly mass-conservative semi-implicit scheme for weakly compressible flows based on compatible finite elements

We present a novel asymptotic-preserving semi-implicit finite element method for weakly compressible and incompressible flows based on compatible finite element spaces. The momentum is sought in an $H(\mathrm{div})$-conforming space, ensuring exact pointwise mass conservation at the discrete level. We use an explicit discontinuous Galerkin-based discretization for the convective terms, while treating the pressure and viscous terms implicitly, so that the CFL condition depends only on the fluid velocity. To handle shocks and damp spurious oscillations in the compressible regime, we incorporate an a posteriori limiter that employs artificial viscosity and is based on a discrete maximum principle. By using hybridization, the final algorithm requires solving only symmetric positive definite linear systems. As the Mach number approaches zero and the density remains constant, the method converges to an $H(\mathrm{div})$-based discretization of the incompressible Navier-Stokes equations in the vorticity-velocity-pressure formulation. Several numerical tests validate the proposed method.

math.NA

Unisolvent and minimal physical degrees of freedom for the second family of polynomial differential forms

The principal aim of this work is to provide a family of unisolvent and minimal physical degrees of freedom, called weights, for Nédélec second family of finite elements. Such elements are thought of as differential forms $ \mathcal{P}_r Λ^k (T)$ whose coefficients are polynomials of degree $ r $. We confine ourselves in the two dimensional case $ \mathbb{R}^2 $ since it is easy to visualise and offers a neat and elegant treatment; however, we present techniques that can be extended to $ n > 2 $ with some adjustments of technical details. In particular, we use techniques of homological algebra to obtain degrees of freedom for the whole diagram $$ \mathcal{P}_r Λ^0 (T) \rightarrow \mathcal{P}_r Λ^1 (T) \rightarrow \mathcal{P}_r Λ^2 (T), $$ being $ T $ a $2$-simplex of $ \mathbb{R}^2 $. This work pairs its companions recently appeared for Nédélec first family of finite elements.

math.NA