arXiv subjects

L. Beirão da Veiga

Publications and source records attributed to L. Beirão da Veiga.

At least 19 recordsLinked to original sources

arXiv2026

Pressure-robust ALE space-time DG method for the Stokes equations on moving domains

We propose and analyze a space-time discontinuous Galerkin method for the incompressible Stokes equations on moving domains within the arbitrary Lagrangian-Eulerian setting. We use a contravariant Piola map in the definition of the discrete velocity space to preserve the pointwise divergence-free property on the discrete level. We show that the method is inf-sup stable, with no constraints on the spatial mesh or the time partition. We also establish a priori error estimates in the energy norm for arbitrary degrees of approximation in space and time. For piecewise-constant and piecewise-linear approximations in time, we show that the method is also robust at low viscosity regimes, and provide numerical evidence suggesting that this property extends to high-order cases as well. We present several numerical experiments to validate our theoretical findings.

math.NA↗

arXiv2026

A Virtual Element Method for elliptic problems on trimmed background meshes

We consider a two-dimensional piecewise $C^2$ domain that cuts through a quasi-uniform fixed polygonal background mesh, for instance made of quadrilaterals. A simple procedure based on convex hulls gives rise to a rather small number of polygonal boundary elements of various shapes, including elements with small edges and large aspect ratios; this is the computational mesh for a virtual element method (VEM), a trimmed background mesh. We classify all possible geometric configurations and study their stability and approximability properties. This entails deriving robust stabilization mechanisms and interpolation estimates for anisotropic elements and elements with small cuts, as well as a weak maximum principle for enhanced virtual elements; these contributions have intrinsic interest for VEM theory on geometric flexibility. We prove that the resulting VEM is uniformly stable in $H^1$, and also show optimal order-regularity error estimates in $H^1$ and $L^2$. Insightful numerical experiments corroborate and complement our theory. The proposed method is suitable for treating ALE formulations of problems in moving domains.

math.NA↗

arXiv2026

Conforming/Non-conforming Virtual Elements and application to elasticity problems in curved three-dimensional domains

The Virtual Element Method (VEM) is a well-established framework for solving partial differential equations on polygonal and polyhedral meshes. In this paper, we introduce a novel hybrid VEM that integrates both conforming and nonconforming virtual spaces. We apply this formulation to a three-dimensional linear elasticity problem, providing rigorous theoretical analysis to demonstrate optimal convergence rates. Furthermore, we explore the extension of this approach to domains with curved boundaries.

math.NA↗

arXiv2025

Pressure and convection robust Finite Elements for Magnetohydrodynamics

We propose and analyze two convection quasi-robust and pressure robust finite element methods for a fully nonlinear time-dependent magnetohydrodynamics problem. Both methods employ the $H_{\rm div}$ conforming BDM element coupled with an appropriate pressure space guaranteeing the exact diagram for the fluid part, and the $H^1$ conforming Lagrange element for the approximation of the magnetic fluxes, and make use of suitable DG upwind terms and CIP stabilizations to handle the fluid and magnetic convective terms. The main difference between the two approaches here proposed (labeled as three-field scheme and four field-scheme respectively) lies in the strategy adopted to enforce the divergence-free condition of the magnetic field. The three-filed scheme implements a grad-div stabilization, whereas the four-field scheme introduces a suitable Lagrange multiplier and additional stabilization terms in the formulation. The developed error estimates for the two schemes are uniform in both diffusion parameters and optimal with respect to the diffusive norm. Furthermore, in the convection dominated regime, being $k$ the degree of the method and $h$ the mesh size, we are able to prove $O(h^k)$ and $O(h^{k+1/2})$ pre-asymptotic error reduction rate for the three-field scheme and four-filed scheme respectively. A set of numerical tests support our theoretical findings.

math.NA↗

arXiv2025

$C^1$ virtual element methods on polygonal meshes with curved edges

In this work we design a novel $C^1$-conforming virtual element method of arbitrary order $k \geq 2$, to solve the biharmonic problem on a domain with curved boundary and internal curved interfaces in two dimensions. By introducing a suitable stabilizing form, we develop a rigorous interpolation, stability and convergence analysis obtaining optimal error estimates in the energy norm. Finally, we validate the theoretical findings through numerical experiments.

math.NA↗

arXiv2025

Fully and semi-implicit robust space-time DG methods for the incompressible Navier-Stokes equations

We carry out a stability and convergence analysis of a fully discrete scheme for the time-dependent Navier-Stokes equations resulting from combining an $H(\mathrm{div}, Ω)$-conforming discontinuous Galerkin spatial discretization, and a discontinuous Galerkin time stepping scheme. Such a scheme is proven to be pressure robust and Reynolds semi-robust. Standard techniques can be used to analyze only the case of lowest-order approximations in time. Therefore, we use some nonstandard test functions to prove existence of discrete solutions, unconditional stability, and quasi-optimal convergence rates for any degree of approximation in time. In particular, a continuous dependence of the discrete solution on the data of the problem, and quasi-optimal convergence rates for low and high Reynolds numbers are proven in an energy norm including the term $L^{\infty}(0, T; L^2(Ω)^d)$ for the velocity. In addition to the standard discontinuous Galerkin time stepping scheme, which is fully implicit, we propose and analyze a novel high-order semi-implicit version that avoids the need of solving nonlinear systems of equations after the first time slab, thus significantly improving the efficiency of the method. Some numerical experiments validating our theoretical results are presented.

math.NA↗

arXiv2024

Pressure robust SUPG-stabilized finite elements for the unsteady Navier-Stokes equation

In the present contribution we propose a novel conforming Finite Element scheme for the time-dependent Navier-Stokes equation, which is proven to be both convection quasi-robust and pressure robust. The method is built combining a "divergence-free" velocity/pressure couple (such as the Scott-Vogelius element), a Discontinuous Galerkin in time approximation, and a suitable SUPG-curl stabilization. A set of numerical tests, in accordance with the theoretical results, is included.

math.NA↗

arXiv2024

Robust Finite Elements for linearized Magnetohydrodynamics

We introduce a pressure robust Finite Element Method for the linearized Magnetohydrodynamics equations in three space dimensions, which is provably quasi-robust also in the presence of high fluid and magnetic Reynolds numbers. The proposed scheme uses a non-conforming BDM approach with suitable DG terms for the fluid part, combined with an $H^1$-conforming choice for the magnetic fluxes. The method introduces also a specific CIP-type stabilization associated to the coupling terms. Finally, the theoretical result are further validated by numerical experiments.

math.NA↗

arXiv2023

Adaptive VEM for variable data: convergence and optimality

We design an adaptive virtual element method (AVEM) of lowest order over triangular meshes with hanging nodes in 2d, which are treated as polygons. AVEM hinges on the stabilization-free a posteriori error estimators recently derived in [8]. The crucial property, that also plays a central role in this paper, is that the stabilization term can be made arbitrarily small relative to the a posteriori error estimators upon increasing the stabilization parameter. Our AVEM concatenates two modules, GALERKIN and DATA. The former deals with piecewise constant data and is shown in [8] to be a contraction between consecutive iterates. The latter approximates general data by piecewise constants to a desired accuracy. AVEM is shown to be convergent and quasi-optimal, in terms of error decay versus degrees of freedom, for solutions and data belonging to appropriate approximation classes. Numerical experiments illustrate the interplay between these two modules and provide computational evidence of optimality.

math.NA↗

arXiv2022

Stability and interpolation properties for Stokes-like virtual element spaces

We prove stability bounds for Stokes-like virtual element spaces in two and three dimensions. Such bounds are also instrumental in deriving optimal interpolation estimates. Furthermore, we develop some numerical tests in order to investigate the behaviour of the stability constants also from the practical side.

math.NA↗

arXiv2022

A fully-discrete virtual element method for the nonstationary Boussinesq equations

In the present work we propose and analyze a fully coupled virtual element method of high order for solving the two dimensional nonstationary Boussinesq system in terms of the stream-function and temperature fields. The discretization for the spatial variables is based on the coupling $C^1$- and $C^0$-conforming virtual element approaches, while a backward Euler scheme is employed for the temporal variable. Well-posedness and unconditional stability of the fully-discrete problem is provided. Moreover, error estimates in $H^2$- and $H^1$-norms are derived for the stream-function and temperature, respectively. Finally, a set of benchmark tests are reported to confirm the theoretical error bounds and illustrate the behavior of the fully-discrete scheme.

math.NA↗

arXiv2021

Virtual elements for Maxwell's equations

We present a low order virtual element discretization for time dependent Maxwell's equations, which allow for the use of general polyhedral meshes. Both the semi- and fully-discrete schemes are considered. We derive optimal a priori estimates and validate them on a set of numerical experiments. As pivot results, we discuss some novel inequalities for de Rahm sequences of nodal, edge, and face virtual element spaces.

math.NA↗

arXiv2020

SUPG-stabilized Virtual Elements for diffusion-convection problems: a robustness analysis

The objective of this contribution is to develop a convergence analysis for SUPG-stabilized Virtual Element Methods in diffusion-convection problems that is robust also in the convection dominated regime. For the original method introduced in [Benedetto et al, CMAME 2016] we are able to show an "almost uniform" error bound (in the sense that the unique term that depends in an unfavorable way on the parameters is damped by a higher order mesh-size multiplicative factor). We also introduce a novel discretization of the convection term that allows us to develop error estimates that are fully robust in the convection dominated cases. We finally present some numerical result.

math.NA↗

arXiv2020

Equilibrium analysis of an immersed rigid leaflet by the virtual element method

We study, both theoretically and numerically, the equilibrium of a hinged rigid leaflet with an attached rotational spring, immersed in a stationary incompressible fluid within a rigid channel. Through a careful investigation of the properties of the functional describing the angular momentum exerted by the fluid on the leaflet (which depends on both the leaflet angular position and its thickness), we identify sufficient conditions on the spring stiffness function for the existence (and uniqueness) of equilibrium positions. We propose a numerical technique that exploits the mesh flexibility of the Virtual Element Method (VEM). A (polygonal) computational mesh is generated by cutting a fixed background grid with the leaflet geometry, and the problem is then solved with stable VEM Stokes elements of degrees $1$ and $2$ combined with a bisection algorithm. We present a large array of numerical experiments to document the accuracy and robustness with respect to degenerate geometry of the proposed methodology.

math.NA↗

arXiv2019

Curvilinear Virtual Elements for 2D solid mechanics applications

In the present work we generalize the curvilinear Virtual Element technology, introduced for a simple linear scalar problem in a previous work, to generic 2D solid mechanic problems in small deformations. Such generalization also includes the development of a novel Virtual Element space for displacements that contains rigid body motions. Our approach can accept a generic black-box (elastic or inelastic) constitutive algorithm and, in addition, can make use of curved edges thus leading to an exact approximation of the geometry. Rigorous theoretical interpolation properties for the new space on curvilinear elements are derived. We undergo an extensive numerical test campaign, both on elastic and inelastic problems, to assess the behavior of the scheme. The results are very promising and underline the advantages of the curved VEM approach over the standard one in the presence of curved geometries.

math.NA↗

arXiv2019

A posteriori error estimation and adaptivity in $hp$ virtual elements

An explicit and computable error estimator for the $hp$ version of the virtual element method (VEM), together with lower and upper bounds with respect to the exact energy error, is presented. Such error estimator is employed to provide $hp$ adaptive mesh refinements for very general polygonal meshes. In addition, a novel VEM $hp$ Clément quasi-interpolant, instrumental for the a posteriori error analysis, is introduced. The performances of the adaptive method are validated by a number of numerical experiments.

math.NA↗

arXiv2018

The Virtual Element Method with curved edges

In this paper we initiate the investigation of Virtual Elements with curved faces. We consider the case of a fixed curved boundary in two dimensions, as it happens in the approximation of problems posed on a curved domain or with a curved interface. While an approximation of the domain with polygons leads, for degree of accuracy $k \geq 2$, to a sub-optimal rate of convergence, we show (both theoretically and numerically) that the proposed curved VEM lead to an optimal rate of convergence.

math.NA↗

arXiv2018

The Stokes complex for Virtual Elements with application to Navier--Stokes flows

In the present paper, we investigate the underlying Stokes complex structure of the Virtual Element Method for Stokes and Navier--Stokes introduced in previous papers by the same authors, restricting our attention to the two dimensional case. We introduce a Virtual Element space $Φ_h \subset H^2(Ω)$ and prove that the triad $\{Φ_h, V_h, Q_h\}$ (with $V_h$ and $Q_h$ denoting the discrete velocity and pressure spaces) is an exact Stokes complex. Furthermore, we show the computability of the associated differential operators in terms of the adopted degrees of freedom and explore also a different discretization of the convective trilinear form. The theoretical findings are supported by numerical tests.

math.NA↗