-
Mesh Optimization for the Virtual Element Method: How Small Can an Agglomerated Mesh Become?
Authors:
Tommaso Sorgente,
Stefano Berrone,
Silvia Biasotti,
Gianmarco Manzini,
Michela Spagnuolo,
Fabio Vicini
Abstract:
We present an optimization procedure for generic polygonal or polyhedral meshes, tailored for the Virtual Element Method (VEM).
Once the local quality of the mesh elements is analyzed through a quality indicator specific to the VEM, groups of elements are agglomerated to optimize the global mesh quality.
The resulting discretization is significantly lighter: we can remove up to 80$\%$ of the m…
▽ More
We present an optimization procedure for generic polygonal or polyhedral meshes, tailored for the Virtual Element Method (VEM).
Once the local quality of the mesh elements is analyzed through a quality indicator specific to the VEM, groups of elements are agglomerated to optimize the global mesh quality.
The resulting discretization is significantly lighter: we can remove up to 80$\%$ of the mesh elements, based on a user-set parameter, thus reducing the number of faces, edges, and vertices.
This results in a drastic reduction of the total number of degrees of freedom associated with a discrete problem defined over the mesh with the VEM, in particular, for high-order formulations.
We show how the VEM convergence rate is preserved in the optimized meshes, and the approximation errors are comparable with those obtained with the original ones.
We observe that the optimization has a regularization effect over low-quality meshes, removing the most pathological elements.
This regularization effect is evident in cases where the original meshes cause the VEM to diverge, while the optimized meshes lead to convergence.
We conclude by showing how the optimization of a real CAD model can be used effectively in the simulation of a time-dependent problem.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
The Tensor-Train Stochastic Finite Volume Method for Uncertainty Quantification
Authors:
Steven Walton,
Svetlana Tokareva,
Gianmarco Manzini
Abstract:
The stochastic finite volume method offers an efficient one-pass approach for assessing uncertainty in hyperbolic conservation laws. Still, it struggles with the curse of dimensionality when dealing with multiple stochastic variables. We introduce the stochastic finite volume method within the tensor-train framework to counteract this limitation. This integration, however, comes with its own set o…
▽ More
The stochastic finite volume method offers an efficient one-pass approach for assessing uncertainty in hyperbolic conservation laws. Still, it struggles with the curse of dimensionality when dealing with multiple stochastic variables. We introduce the stochastic finite volume method within the tensor-train framework to counteract this limitation. This integration, however, comes with its own set of difficulties, mainly due to the propensity for shock formation in hyperbolic systems. To overcome these issues, we have developed a tensor-train-adapted stochastic finite volume method that employs a global WENO reconstruction, making it suitable for such complex systems. This approach represents the first step in designing tensor-train techniques for hyperbolic systems and conservation laws involving shocks.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Tensor Network Space-Time Spectral Collocation Method for Time Dependent Convection-Diffusion-Reaction Equations
Authors:
Dibyendu Adak,
Duc P. Truong,
Gianmarco Manzini,
Kim Ø. Rasmussen,
Boian S. Alexandrov
Abstract:
Emerging tensor network techniques for solutions of Partial Differential Equations (PDEs), known for their ability to break the curse of dimensionality, deliver new mathematical methods for ultrafast numerical solutions of high-dimensional problems. Here, we introduce a Tensor Train (TT) Chebyshev spectral collocation method, in both space and time, for solution of the time dependent convection-di…
▽ More
Emerging tensor network techniques for solutions of Partial Differential Equations (PDEs), known for their ability to break the curse of dimensionality, deliver new mathematical methods for ultrafast numerical solutions of high-dimensional problems. Here, we introduce a Tensor Train (TT) Chebyshev spectral collocation method, in both space and time, for solution of the time dependent convection-diffusion-reaction (CDR) equation with inhomogeneous boundary conditions, in Cartesian geometry. Previous methods for numerical solution of time dependent PDEs often use finite difference for time, and a spectral scheme for the spatial dimensions, which leads to slow linear convergence. Spectral collocation space-time methods show exponential convergence, however, for realistic problems they need to solve large four-dimensional systems. We overcome this difficulty by using a TT approach as its complexity only grows linearly with the number of dimensions. We show that our TT space-time Chebyshev spectral collocation method converges exponentially, when the solution of the CDR is smooth, and demonstrate that it leads to very high compression of linear operators from terabytes to kilobytes in TT-format, and tens of thousands times speedup when compared to full grid space-time spectral method. These advantages allow us to obtain the solutions at much higher resolutions.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
The eXtended Virtual Element Method for elliptic problems with weakly singular solutions
Authors:
Jerome Droniou,
Gianmarco Manzini,
Liam Yemm
Abstract:
This paper introduces a novel eXtended virtual element method, an extension of the conforming virtual element method. The XVEM is formulated by incorporating appropriate enrichment functions in the local spaces. The method is designed to handle highly generic enrichment functions, including singularities arising from fractured domains. By achieving consistency on the enrichment space, the method i…
▽ More
This paper introduces a novel eXtended virtual element method, an extension of the conforming virtual element method. The XVEM is formulated by incorporating appropriate enrichment functions in the local spaces. The method is designed to handle highly generic enrichment functions, including singularities arising from fractured domains. By achieving consistency on the enrichment space, the method is proven to achieve arbitrary approximation orders even in the presence of singular solutions. The paper includes a complete convergence analysis under general assumptions on mesh regularity, and numerical experiments validating the method's accuracy on various mesh families, demonstrating optimal convergence rates in the $L^2$- and $H^1$-norms on fractured or L-shaped domains.
△ Less
Submitted 17 June, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
Tensor Networks for Solving Realistic Time-independent Boltzmann Neutron Transport Equation
Authors:
Duc P. Truong,
Mario I. Ortega,
Ismael Boureima,
Gianmarco Manzini,
Kim Ø. Rasmussen,
Boian S. Alexandrov
Abstract:
Tensor network techniques, known for their low-rank approximation ability that breaks the curse of dimensionality, are emerging as a foundation of new mathematical methods for ultra-fast numerical solutions of high-dimensional Partial Differential Equations (PDEs). Here, we present a mixed Tensor Train (TT)/Quantized Tensor Train (QTT) approach for the numerical solution of time-independent Boltzm…
▽ More
Tensor network techniques, known for their low-rank approximation ability that breaks the curse of dimensionality, are emerging as a foundation of new mathematical methods for ultra-fast numerical solutions of high-dimensional Partial Differential Equations (PDEs). Here, we present a mixed Tensor Train (TT)/Quantized Tensor Train (QTT) approach for the numerical solution of time-independent Boltzmann Neutron Transport equations (BNTEs) in Cartesian geometry. Discretizing a realistic three-dimensional (3D) BNTE by (i) diamond differencing, (ii) multigroup-in-energy, and (iii) discrete ordinate collocation leads to huge generalized eigenvalue problems that generally require a matrix-free approach and large computer clusters. Starting from this discretization, we construct a TT representation of the PDE fields and discrete operators, followed by a QTT representation of the TT cores and solving the tensorized generalized eigenvalue problem in a fixed-point scheme with tensor network optimization techniques. We validate our approach by applying it to two realistic examples of 3D neutron transport problems, currently solved by the PARallel TIme-dependent SN (PARTISN) solver. We demonstrate that our TT/QTT method, executed on a standard desktop computer, leads to a yottabyte compression of the memory storage, and more than 7500 times speedup with a discrepancy of less than 1e-5 when compared to the PARTISN solution.
△ Less
Submitted 13 September, 2023; v1 submitted 6 September, 2023;
originally announced September 2023.
-
A $C^1$-conforming arbitrary-order two-dimensional virtual element method for the fourth-order phase-field equation
Authors:
Dibyendu Adak,
Gianmarco Manzini,
Hashem M. Mourad,
JeeYeon N. Plohr,
Lampros Svolos
Abstract:
We present a two-dimensional conforming virtual element method for the fourth-order phase-field equation. Our proposed numerical approach to the solution of this high-order phase-field (HOPF) equation relies on the design of an arbitrary-order accurate, virtual element space with $C^1$ global regularity. Such regularity is guaranteed by taking the values of the virtual element functions and their…
▽ More
We present a two-dimensional conforming virtual element method for the fourth-order phase-field equation. Our proposed numerical approach to the solution of this high-order phase-field (HOPF) equation relies on the design of an arbitrary-order accurate, virtual element space with $C^1$ global regularity. Such regularity is guaranteed by taking the values of the virtual element functions and their full gradient at the mesh vertices as degrees of freedom. Attaining high-order accuracy requires also edge polynomial moments of the trace of the virtual element functions and their normal derivatives. In this work, we detail the scheme construction, and prove its convergence by deriving error estimates in different norms. A set of representative test cases allows us to assess the behavior of the method.
△ Less
Submitted 29 July, 2023;
originally announced July 2023.
-
The landscape of compressibility measures for two-dimensional data
Authors:
Lorenzo Carfagna,
Giovanni Manzini
Abstract:
In this paper we extend to two-dimensional data two recently introduced one-dimensional compressibility measures: the $γ$ measure defined in terms of the smallest string attractor, and the $δ$ measure defined in terms of the number of distinct substrings of the input string. Concretely, we introduce the two-dimensional measures $γ_{2D}$ and $δ_{2D}$, as natural generalizations of $γ$ and $δ$, and…
▽ More
In this paper we extend to two-dimensional data two recently introduced one-dimensional compressibility measures: the $γ$ measure defined in terms of the smallest string attractor, and the $δ$ measure defined in terms of the number of distinct substrings of the input string. Concretely, we introduce the two-dimensional measures $γ_{2D}$ and $δ_{2D}$, as natural generalizations of $γ$ and $δ$, and we initiate the study of their properties. Among other things, we prove that $δ_{2D}$ is monotone and can be computed in linear time, and we show that, although it is still true that $δ_{2D} \leq γ_{2D}$, the gap between the two measures can be $Ω(\sqrt{n})$ and therefore asymptotically larger than the gap between $γ$ and $δ$. To complete the scenario of two-dimensional compressibility measures, we introduce the measure $b_{2D}$ which generalizes to two dimensions the notion of optimal parsing. We prove that, somewhat surprisingly, the relationship between $b_{2D}$ and $γ_{2D}$ is significantly different than in the one-dimensional case. As an application of our results we provide the first analysis of the space usage of the two-dimensional block tree introduced in [Brisaboa et al., Two-dimensional block trees, The computer Journal, 2024]. Our analysis shows that the space usage can be bounded in terms of both $γ_{2D}$ and $δ_{2D}$. Finally, using insights from our analysis, we design the first linear time and space algorithm for constructing the two-dimensional block tree for arbitrary matrices.
△ Less
Submitted 20 May, 2024; v1 submitted 5 July, 2023;
originally announced July 2023.
-
Mesh Quality Agglomeration algorithm for the Virtual Element Method applied to Discrete Fracture Networks
Authors:
Tommaso Sorgente,
Fabio Vicini,
Stefano Berrone,
Silvia Biasotti,
Gianmarco Manzini,
Michela Spagnuolo
Abstract:
We propose a quality-based optimization strategy to reduce the total number of degrees of freedom associated to a discrete problem defined over a polygonal tessellation with the Virtual Element Method. The presented Quality Agglomeration algorithm relies only on the geometrical properties of the problem polygonal mesh, agglomerating groups of neighboring elements. We test this approach in the cont…
▽ More
We propose a quality-based optimization strategy to reduce the total number of degrees of freedom associated to a discrete problem defined over a polygonal tessellation with the Virtual Element Method. The presented Quality Agglomeration algorithm relies only on the geometrical properties of the problem polygonal mesh, agglomerating groups of neighboring elements. We test this approach in the context of fractured porous media, in which the generation of a global conforming mesh on a Discrete Fracture Network leads to a considerable number of unknowns, due to the presence of highly complex geometries and the significant size of the computational domains. We show the efficiency and the robustness of our approach, applied independently on each fracture for different network configurations, exploiting the flexibility of the Virtual Element Method in handling general polygonal elements.
△ Less
Submitted 20 August, 2022;
originally announced August 2022.
-
A fourth-order phase-field fracture model: Formulation and numerical solution using a continuous/discontinuous Galerkin method
Authors:
Lampros Svolos,
Hashem M. Mourad,
Gianmarco Manzini,
Krishna Garikipati
Abstract:
Modeling crack initiation and propagation in brittle materials is of great importance to be able to predict sudden loss of load-carrying capacity and prevent catastrophic failure under severe dynamic loading conditions. Second-order phase-field fracture models have gained wide adoption given their ability to capture the formation of complex fracture patterns, e.g. via crack merging and branching,…
▽ More
Modeling crack initiation and propagation in brittle materials is of great importance to be able to predict sudden loss of load-carrying capacity and prevent catastrophic failure under severe dynamic loading conditions. Second-order phase-field fracture models have gained wide adoption given their ability to capture the formation of complex fracture patterns, e.g. via crack merging and branching, and their suitability for implementation within the context of the conventional finite element method. Higher-order phase-field models have also been proposed to increase the regularity of the exact solution and thus increase the spatial convergence rate of its numerical approximation. However, they require special numerical techniques to enforce the necessary continuity of the phase field solution. In this paper, we derive a fourth-order phase-field model of fracture in two independent ways; namely, from Hamilton's principle and from a higher-order micromechanics-based approach. The latter approach is novel, and provides a physical interpretation of the higher-order terms in the model. In addition, we propose a continuous/discontinuous Galerkin (C/DG) method for use in computing the approximate phase-field solution. This method employs Lagrange polynomial shape functions to guarantee $C^0$-continuity of the solution at inter-element boundaries, and enforces the required $C^1$ regularity with the aid of additional variational and interior penalty terms in the weak form. The phase-field equation is coupled with the momentum balance equation to model dynamic fracture problems in hyper-elastic materials. Two benchmark problems are presented to compare the numerical behavior of the C/DG method with mixed finite element methods.
△ Less
Submitted 13 May, 2022;
originally announced May 2022.
-
The Virtual Element Method for the 3D Resistive Magnetohydrodynamic model
Authors:
Lourenço Beirão da Veiga,
Franco Dassi,
Gianmarco Manzini,
Lorenzo Mascotto
Abstract:
We present a four-field Virtual Element discretization for the time-dependent resistive Magnetohydrodynamics equations in three space dimensions, focusing on the semi-discrete formulation. The proposed method employs general polyhedral meshes and guarantees velocity and magnetic fields that are divergence free up to machine precision. We provide a full convergence analysis under suitable regularit…
▽ More
We present a four-field Virtual Element discretization for the time-dependent resistive Magnetohydrodynamics equations in three space dimensions, focusing on the semi-discrete formulation. The proposed method employs general polyhedral meshes and guarantees velocity and magnetic fields that are divergence free up to machine precision. We provide a full convergence analysis under suitable regularity assumptions, which is validated by some numerical tests.
△ Less
Submitted 28 December, 2022; v1 submitted 12 January, 2022;
originally announced January 2022.
-
Conforming virtual element approximations of the two-dimensional Stokes problem
Authors:
Gianmarco Manzini,
Annamaria Mazzia
Abstract:
The virtual element method (VEM) is a Galerkin approximation method that extends the finite element method to polytopal meshes. In this paper, we present two different conforming virtual element formulations for the numerical approximation of the Stokes problem that work on polygonal meshes.The velocity vector field is approximated in the virtual element spaces of the two formulations, while the p…
▽ More
The virtual element method (VEM) is a Galerkin approximation method that extends the finite element method to polytopal meshes. In this paper, we present two different conforming virtual element formulations for the numerical approximation of the Stokes problem that work on polygonal meshes.The velocity vector field is approximated in the virtual element spaces of the two formulations, while the pressure variable is approximated through discontinuous polynomials. Both formulations are inf-sup stable and convergent with optimal convergence rates in the $L^2$ and energy norm. We assess the effectiveness of these numerical approximations by investigating their behavior on a representative benchmark problem. The observed convergence rates are in accordance with the theoretical expectations and a weak form of the zero-divergence constraint is satisfied at the machine precision level.
△ Less
Submitted 28 December, 2021;
originally announced December 2021.
-
On arbitrarily regular conforming virtual element methods for elliptic partial differential equations
Authors:
Paola Francesca Antonietti,
Gianmarco Manzini,
Simone Scacchi,
Marco Verani
Abstract:
The Virtual Element Method (VEM) is a very effective framework to design numerical approximations with high global regularity to the solutions of elliptic partial differential equations. In this paper, we review the construction of such approximations for an elliptic problem of order $p_1$ using conforming, finite dimensional subspaces of $ H^{p_2}(Ω)$, where $p_1$ and $p_2$ are two integer number…
▽ More
The Virtual Element Method (VEM) is a very effective framework to design numerical approximations with high global regularity to the solutions of elliptic partial differential equations. In this paper, we review the construction of such approximations for an elliptic problem of order $p_1$ using conforming, finite dimensional subspaces of $ H^{p_2}(Ω)$, where $p_1$ and $p_2$ are two integer numbers such that $p_2 \geq p_1 \geq 1$ and $Ω\in R^2$ is the computational domain. An abstract convergence result is presented in a suitably defined energy norm. The space formulation and major aspects such as the choice and unisolvence of the degrees of freedom are discussed, also providing specific examples corresponding to various practical cases of high global regularity. Finally, the construction of the "enhanced" formulation of the virtual element spaces is also discussed in details with a proof that the dimension of the "regular" and "enhanced" spaces is the same and that the virtual element functions in both spaces can be described by the same choice of the degrees of freedom.
△ Less
Submitted 25 December, 2021;
originally announced December 2021.
-
A virtual element generalization on polygonal meshes of the Scott-Vogelius finite element method for the 2-D Stokes problem
Authors:
Gianmarco Manzini,
Annamaria Mazzia
Abstract:
The Virtual Element Method (VEM) is a Galerkin approximation method that extends the Finite Element Method (FEM) to polytopal meshes. In this paper, we present a conforming formulation that generalizes the Scott-Vogelius finite element method for the numerical approximation of the Stokes problem to polygonal meshes in the framework of the virtual element method. In particular, we consider a straig…
▽ More
The Virtual Element Method (VEM) is a Galerkin approximation method that extends the Finite Element Method (FEM) to polytopal meshes. In this paper, we present a conforming formulation that generalizes the Scott-Vogelius finite element method for the numerical approximation of the Stokes problem to polygonal meshes in the framework of the virtual element method. In particular, we consider a straightforward application of the virtual element approximation space for scalar elliptic problems to the vector case and approximate the pressure variable through discontinuous polynomials. We assess the effectiveness of the numerical approximation by investigating the convergence on a manufactured solution problem and a set of representative polygonal meshes. We numerically show that this formulation is convergent with optimal convergence rates except for the lowest-order case on triangular meshes, where the method coincides with the $P_1-P_0$ Scott-Vogelius scheme, and on square meshes, which are situations that are well-known to be unstable.
△ Less
Submitted 25 December, 2021;
originally announced December 2021.
-
Polyhedral Mesh Quality Indicator for the Virtual Element Method
Authors:
Tommaso Sorgente,
Silvia Biasotti,
Gianmarco Manzini,
Michela Spagnuolo
Abstract:
We present the design of a mesh quality indicator that can predict the behavior of the Virtual Element Method (VEM) on a given mesh family or finite sequence of polyhedral meshes (dataset). The mesh quality indicator is designed to measure the violation of the mesh regularity assumptions that are normally considered in the convergence analysis. We investigate the behavior of this new mathematical…
▽ More
We present the design of a mesh quality indicator that can predict the behavior of the Virtual Element Method (VEM) on a given mesh family or finite sequence of polyhedral meshes (dataset). The mesh quality indicator is designed to measure the violation of the mesh regularity assumptions that are normally considered in the convergence analysis. We investigate the behavior of this new mathematical tool on the lowest-order conforming approximation of the three-dimensional Poisson equation. This work also assesses the convergence rate of the VEM when applied to very general polyhedral meshes, including non-convex and skewed three-dimensional elements. Such meshes are created within an original mesh generation framework, which is designed to allow the generation of meshes with very different sizes, connectivity and geometrical properties. The obtained results show a significant correlation between the quality measured a priori by the indicator and the effective performance of the VEM.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
Extended virtual element method for two-dimensional linear elastic fracture
Authors:
Elena Benvenuti,
Andrea Chiozzi,
Gianmarco Manzini,
N. Sukumar
Abstract:
In this paper, we propose an eXtended Virtual Element Method (X-VEM) for two-dimensional linear elastic fracture. This approach, which is an extension of the standard Virtual Element Method (VEM), facilitates mesh-independent modeling of crack discontinuities and elastic crack-tip singularities on general polygonal meshes. For elastic fracture in the X-VEM, the standard virtual element space is au…
▽ More
In this paper, we propose an eXtended Virtual Element Method (X-VEM) for two-dimensional linear elastic fracture. This approach, which is an extension of the standard Virtual Element Method (VEM), facilitates mesh-independent modeling of crack discontinuities and elastic crack-tip singularities on general polygonal meshes. For elastic fracture in the X-VEM, the standard virtual element space is augmented by additional basis functions that are constructed by multiplying standard virtual basis functions by suitable enrichment fields, such as asymptotic mixed-mode crack-tip solutions. The design of the X-VEM requires an extended projector that maps functions lying in the extended virtual element space onto a set spanned by linear polynomials and the enrichment fields. An efficient scheme to compute the mixed-mode stress intensity factors using the domain form of the interaction integral is described. The formulation permits integration of weakly singular functions to be performed over the boundary edges of the element. Numerical experiments are conducted on benchmark mixed-mode linear elastic fracture problems that demonstrate the sound accuracy and optimal convergence in energy of the proposed formulation.
△ Less
Submitted 7 November, 2021;
originally announced November 2021.
-
Energy-conserving explicit and implicit time integration methods for the multi-dimensional Hermite-DG discretization of the Vlasov-Maxwell equations
Authors:
Cecilia Pagliantini,
Gianmarco Manzini,
Oleksandr Koshkarov,
Gian Luca Delzanno,
Vadim Roytershteyn
Abstract:
We study the conservation properties of the Hermite-discontinuous Galerkin (Hermite-DG) approximation of the Vlasov-Maxwell equations. In this semi-discrete formulation, the total mass is preserved independently for every plasma species. Further, an energy invariant exists if central numerical fluxes are used in the DG approximation of Maxwell's equations, while a dissipative term is present when…
▽ More
We study the conservation properties of the Hermite-discontinuous Galerkin (Hermite-DG) approximation of the Vlasov-Maxwell equations. In this semi-discrete formulation, the total mass is preserved independently for every plasma species. Further, an energy invariant exists if central numerical fluxes are used in the DG approximation of Maxwell's equations, while a dissipative term is present when upwind fluxes are employed. In general, traditional temporal integrators might fail to preserve invariants associated with conservation laws during the time evolution. Hence, we analyze the capability of explicit and implicit Runge-Kutta (RK) temporal integrators to preserve such invariants. Since explicit RK methods can only ensure preservation of linear invariants but do not provide any control on the system energy, we consider modified explicit RK methods in the family of relaxation Runge-Kutta methods (RRK). These methods can be tuned to preserve the energy invariant at the continuous or semi-discrete level, a distinction that is important when upwind fluxes are used in the discretization of Maxwell's equations since upwind provides a numerical source of energy dissipation that is not present when central fluxes are used. We prove that the proposed methods are able to preserve the energy invariant and to maintain the semi-discrete energy dissipation (if present) according to the discretization of Maxwell's equations. An extensive set of numerical experiments corroborates the theoretical findings. It also suggests that maintaining the semi-discrete energy dissipation when upwind fluxes are used leads to an overall better accuracy of the method relative to using upwind fluxes while forcing exact energy conservation.
△ Less
Submitted 16 November, 2022; v1 submitted 21 October, 2021;
originally announced October 2021.
-
Virtual element approximation of two-dimensional parabolic variational inequalities
Authors:
Dibyendu Adak,
Gianmarco Manzini,
Sundararajan Natarajan
Abstract:
We design a virtual element method for the numerical treatment of the two-dimensional parabolic variational inequality problem on unstructured polygonal meshes. Due to the expected low regularity of the exact solution, the virtual element method is based on the lowest-order virtual element space that contains the subspace of the linear polynomials defined on each element. The connection between th…
▽ More
We design a virtual element method for the numerical treatment of the two-dimensional parabolic variational inequality problem on unstructured polygonal meshes. Due to the expected low regularity of the exact solution, the virtual element method is based on the lowest-order virtual element space that contains the subspace of the linear polynomials defined on each element. The connection between the nonnegativity of the virtual element functions and the nonnegativity of the degrees of freedom, i.e., the values at the mesh vertices, is established by applying the Maximum and Minimum Principle Theorem. The mass matrix is computed through an approximate L 2 polynomial projection, whose properties are carefully investigated in the paper. We prove the well-posedness of the resulting scheme in two different ways that reveal the contractive nature of the VEM and its connection with the minimization of quadratic functionals. The convergence analysis requires the existence of a nonnegative quasi-interpolation operator, whose construction is also discussed in the paper. The variational crime introduced by the virtual element setting produces five error terms that we control by estimating a suitable upper bound. Numerical experiments confirm the theoretical convergence rate for the refinement in space and time on three different mesh families including distorted squares, nonconvex elements, and Voronoi tesselations.
△ Less
Submitted 29 May, 2021;
originally announced May 2021.
-
Arbitrary-order intrinsic virtual element method for elliptic equations on surfaces
Authors:
Elena Bachini,
Gianmarco Manzini,
Mario Putti
Abstract:
We develop a geometrically intrinsic formulation of the arbitrary-order Virtual Element Method (VEM) on polygonal cells for the numerical solution of elliptic surface partial differential equations (PDEs). The PDE is first written in covariant form using an appropriate local reference system. The knowledge of the local parametrization allows us to consider the two-dimensional VEM scheme, without a…
▽ More
We develop a geometrically intrinsic formulation of the arbitrary-order Virtual Element Method (VEM) on polygonal cells for the numerical solution of elliptic surface partial differential equations (PDEs). The PDE is first written in covariant form using an appropriate local reference system. The knowledge of the local parametrization allows us to consider the two-dimensional VEM scheme, without any explicit approximation of the surface geometry. The theoretical properties of the classical VEM are extended to our framework by taking into consideration the highly anisotropic character of the final discretization. These properties are extensively tested on triangular and polygonal meshes using a manufactured solution. The limitations of the scheme are verified as functions of the regularity of the surface and its approximation.
△ Less
Submitted 5 May, 2021;
originally announced May 2021.
-
The virtual element method for the coupled system of magneto-hydrodynamics
Authors:
Sebastian Naranjo-Alvarez,
Vrushali Bokil,
Vitaliy Gyrya,
Gianmarco Manzini
Abstract:
In this work, we review the framework of the Virtual Element Method (VEM) for a model in magneto-hydrodynamics (MHD), that incorporates a coupling between electromagnetics and fluid flow, and allows us to construct novel discretizations for simulating realistic phenomenon in MHD. First, we study two chains of spaces approximating the electromagnetic and fluid flow components of the model. Then, we…
▽ More
In this work, we review the framework of the Virtual Element Method (VEM) for a model in magneto-hydrodynamics (MHD), that incorporates a coupling between electromagnetics and fluid flow, and allows us to construct novel discretizations for simulating realistic phenomenon in MHD. First, we study two chains of spaces approximating the electromagnetic and fluid flow components of the model. Then, we show that this VEM approximation will yield divergence free discrete magnetic fields, an important property in any simulation in MHD. We present a linearization strategy to solve the VEM approximation which respects the divergence free condition on the magnetic field. This linearization will require that, at each non-linear iteration, a linear system be solved. We study these linear systems and show that they represent well-posed saddle point problems. We conclude by presenting numerical experiments exploring the performance of the VEM applied to the subsystem describing the electromagnetics. The first set of experiments provide evidence regarding the speed of convergence of the method as well as the divergence-free condition on the magnetic field. In the second set we present a model for magnetic reconnection in a mesh that includes a series of hanging nodes, which we use to calibrate the resolution of the method. The magnetic reconnection phenomenon happens near the center of the domain where the mesh resolution is finer and high resolution is achieved.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
A review on arbitrarily regular conforming virtual element methods for elliptic partial differential equations
Authors:
Paola Francesca Antonietti,
Gianmarco Manzini,
Simone Scacchi,
Marco Verani
Abstract:
The Virtual Element Method is well suited to the formulation of arbitrarily regular Galerkin approximations of elliptic partial differential equations of order $2p_1$, for any integer $p_1\geq 1$. In fact, the virtual element paradigm provides a very effective design framework for conforming, finite dimensional subspaces of $H^{p_2}(Ω)$, $Ω$ being the computational domain and $p_2\geq p_1$ another…
▽ More
The Virtual Element Method is well suited to the formulation of arbitrarily regular Galerkin approximations of elliptic partial differential equations of order $2p_1$, for any integer $p_1\geq 1$. In fact, the virtual element paradigm provides a very effective design framework for conforming, finite dimensional subspaces of $H^{p_2}(Ω)$, $Ω$ being the computational domain and $p_2\geq p_1$ another suitable integer number. In this study, we first present an abstract setting for such highly regular approximations and discuss the mathematical details of how we can build conforming approximation spaces with a global high-order continuity on $Ω$. Then, we illustrate specific examples in the case of second- and fourth-order partial differential equations, that correspond to the cases $p_1=1$ and $2$, respectively. Finally, we investigate numerically the effect on the approximation properties of the conforming highly-regular method that results from different choices of the degree of continuity of the underlying virtual element spaces and how different stabilization strategies may impact on convergence.
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
A decision-making machine learning approach in Hermite spectral approximations of partial differential equations
Authors:
Lorella Fatone,
Daniele Funaro,
Gianmarco Manzini
Abstract:
The accuracy and effectiveness of Hermite spectral methods for the numerical discretization of partial differential equations on unbounded domains, are strongly affected by the amplitude of the Gaussian weight function employed to describe the approximation space. This is particularly true if the problem is under-resolved, i.e., there are no enough degrees of freedom. The issue becomes even more c…
▽ More
The accuracy and effectiveness of Hermite spectral methods for the numerical discretization of partial differential equations on unbounded domains, are strongly affected by the amplitude of the Gaussian weight function employed to describe the approximation space. This is particularly true if the problem is under-resolved, i.e., there are no enough degrees of freedom. The issue becomes even more crucial when the equation under study is time-dependent, forcing in this way the choice of Hermite functions where the corresponding weight depends on time. In order to adapt dynamically the approximation space, it is here proposed an automatic decision-making process that relies on machine learning techniques, such as deep neural networks and support vector machines. The algorithm is numerically tested with success on a simple 1D problem, but the main goal is its exportability in the context of more serious applications.
△ Less
Submitted 5 April, 2021;
originally announced April 2021.
-
Stabilization of the nonconforming virtual element method
Authors:
Silvia Bertoluzza,
Gianmarco Manzini,
Micol Pennacchio,
Daniele Prada
Abstract:
We address the issue of designing robust stabilization terms for the nonconforming virtual element method. To this end, we transfer the problem of defining the stabilizing bilinear form from the elemental nonconforming virtual element space, whose functions are not known in closed form, to the dual space spanned by the known functionals providing the degrees of freedom. By this approach, we manage…
▽ More
We address the issue of designing robust stabilization terms for the nonconforming virtual element method. To this end, we transfer the problem of defining the stabilizing bilinear form from the elemental nonconforming virtual element space, whose functions are not known in closed form, to the dual space spanned by the known functionals providing the degrees of freedom. By this approach, we manage to construct different bilinear forms yielding optimal or quasi-optimal stability bounds and error estimates, under weaker assumptions on the tessellation than the ones usually considered in this framework. In particular, we prove optimality under geometrical assumptions allowing a mesh to have a very large number of arbitrarily small edges per element. Finally, we numerically assess the performance of the VEM for several different stabilizations fitting with our new framework on a set of representative test cases.
△ Less
Submitted 5 March, 2021;
originally announced March 2021.
-
VEM and the Mesh
Authors:
Tommaso Sorgente,
Daniele Prada,
Daniela Cabiddu,
Silvia Biasotti,
Giuseppe Patane,
Micol Pennacchio,
Silvia Bertoluzza,
Gianmarco Manzini,
Michela Spagnuolo
Abstract:
In this work we report some results, obtained within the framework of the ERC Project CHANGE, on the impact on the performance of the virtual element method of the shape of the polygonal elements of the underlying mesh. More in detail, after reviewing the state of the art, we present a) an experimental analysis of the convergence of the VEM under condition violating the standard shape regularity a…
▽ More
In this work we report some results, obtained within the framework of the ERC Project CHANGE, on the impact on the performance of the virtual element method of the shape of the polygonal elements of the underlying mesh. More in detail, after reviewing the state of the art, we present a) an experimental analysis of the convergence of the VEM under condition violating the standard shape regularity assumptions, b) an analysis of the correlation between some mesh quality metrics and a set of different performance indexes, and c) a suitably designed mesh quality indicator, aimed at predicting the quality of the performance of the VEM on a given mesh.
△ Less
Submitted 4 March, 2021; v1 submitted 2 March, 2021;
originally announced March 2021.
-
Stability and conservation properties of Hermite-based approximations of the Vlasov-Poisson system
Authors:
Daniele Funaro,
Gianmarco Manzini
Abstract:
Spectral approximation based on Hermite-Fourier expansion of the Vlasov-Poisson model for a collisionless plasma in the electro-static limit is provided, by including high-order artificial collision operators of Lenard-Bernstein type. These differential operators are suitably designed in order to preserve the physically-meaningful invariants (number of particles, momentum, energy). In view of time…
▽ More
Spectral approximation based on Hermite-Fourier expansion of the Vlasov-Poisson model for a collisionless plasma in the electro-static limit is provided, by including high-order artificial collision operators of Lenard-Bernstein type. These differential operators are suitably designed in order to preserve the physically-meaningful invariants (number of particles, momentum, energy). In view of time-discretization, stability results in appropriate norms are presented. In this study, necessary conditions link the magnitude of the artificial collision term, the number of spectral modes of the discretization, as well as the time-step. The analysis, carried out in full for the Hermite discretization of a simple linear problem in one-dimension, is then partly extended to cover the complete nonlinear Vlasov-Poisson model.
△ Less
Submitted 28 February, 2021;
originally announced March 2021.
-
The role of mesh quality and mesh quality indicators in the Virtual Element Method
Authors:
Tommaso Sorgente,
Silvia Biasotti,
Gianmarco Manzini,
Michela Spagnuolo
Abstract:
Since its introduction, the Virtual Element Method (VEM) was shown to be able to deal with a large variety of polygons, while achieving good convergence rates. The regularity assumptions proposed in the VEM literature to guarantee the convergence on a theoretical basis are therefore quite general. They have been deduced in analogy to the similar conditions developed in the Finite Element Methods (…
▽ More
Since its introduction, the Virtual Element Method (VEM) was shown to be able to deal with a large variety of polygons, while achieving good convergence rates. The regularity assumptions proposed in the VEM literature to guarantee the convergence on a theoretical basis are therefore quite general. They have been deduced in analogy to the similar conditions developed in the Finite Element Methods (FEMs) analysis. In this work, we experimentally show that the VEM still converges with almost optimal rates and low errors in the L2 and H1 norms even if we significantly break the regularity assumptions that are used in the literature. These results suggest that the regularity assumptions proposed so far might be overestimated. We also exhibit examples on which the VEM sub-optimally converges or diverges. Finally, we introduce a mesh quality indicator that experimentally correlates the entity of the violation of the regularity assumptions and the performance of the VEM solution, thus predicting if a dataset is potentially critical for VEM.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
The conforming virtual element method for polyharmonic and elastodynamics problems: a review
Authors:
Paola Francesca Antonietti,
Gianmarco Manzini,
Ilario Mazzieri,
Simone Scacchi,
Marco Verani
Abstract:
In this paper, we review recent results on the conforming virtual element approximation of polyharmonic and elastodynamics problems. The structure and the content of this review is motivated by three paradigmatic examples of applications: classical and anisotropic Cahn-Hilliard equation and phase field models for brittle fracture, that are briefly discussed in the first part of the paper. We prese…
▽ More
In this paper, we review recent results on the conforming virtual element approximation of polyharmonic and elastodynamics problems. The structure and the content of this review is motivated by three paradigmatic examples of applications: classical and anisotropic Cahn-Hilliard equation and phase field models for brittle fracture, that are briefly discussed in the first part of the paper. We present and discuss the mathematical details of the conforming virtual element approximation of linear polyharmonic problems, the classical Cahn-Hilliard equation and linear elastodynamics problems.
△ Less
Submitted 2 February, 2021;
originally announced February 2021.
-
Virtual elements for Maxwell's equations
Authors:
L. Beirão da Veiga,
F. Dassi,
G. Manzini,
L. Mascotto
Abstract:
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 virt…
▽ More
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.
△ Less
Submitted 25 May, 2021; v1 submitted 1 February, 2021;
originally announced February 2021.
-
The virtual element method for resistive magnetohydrodynamics
Authors:
S. Naranjo Alvarez,
V. A. Bokil,
V. Gyrya,
G. Manzini
Abstract:
We present a virtual element method (VEM) for the numerical approximation of the electromagnetics subsystem of the resistive magnetohydrodynamics (MHD) model in two spatial dimensions. The major advantages of the virtual element method include great flexibility of polygonal meshes and automatic divergence-free constraint on the magnetic flux field. In this work, we rigorously prove the well-posedn…
▽ More
We present a virtual element method (VEM) for the numerical approximation of the electromagnetics subsystem of the resistive magnetohydrodynamics (MHD) model in two spatial dimensions. The major advantages of the virtual element method include great flexibility of polygonal meshes and automatic divergence-free constraint on the magnetic flux field. In this work, we rigorously prove the well-posedness of the method and the solenoidal nature of the discrete magnetic flux field. We also derive stability energy estimates. The design of the method includes three choices for the construction of the nodal mass matrix and criteria to more alternative. We present a set of numerical experiments that independently validate theoretical results. The numerical experiments include the convergence rate study, energy estimates and verification of the divergence-free condition on the magnetic flux field. All these numerical experiments have been performed on triangular, perturbed quadrilateral and Voronoi meshes. Finally, We demonstrate the development of the VEM method on a numerical model for the Hartmann flow.
△ Less
Submitted 23 April, 2020;
originally announced April 2020.
-
The virtual element method for linear elastodynamics models. Convergence, stability and dissipation-dispersion analysis
Authors:
P. F. Antonietti,
G. Manzini,
I. Mazzieri,
H. Mourad,
M. Verani
Abstract:
We design the conforming virtual element method for the numerical approximation of the two dimensional elastodynamics problem. We prove stability and convergence of the semi-discrete approximation and derive optimal error estimates under $h$- and $p$-refinement in both the energy and the $L^2$ norms. The performance of the proposed virtual element method is assessed on a set of different computati…
▽ More
We design the conforming virtual element method for the numerical approximation of the two dimensional elastodynamics problem. We prove stability and convergence of the semi-discrete approximation and derive optimal error estimates under $h$- and $p$-refinement in both the energy and the $L^2$ norms. The performance of the proposed virtual element method is assessed on a set of different computational meshes, including non-convex cells up to order four in the $h$-refinement setting. Exponential convergence is also experimentally observed under p-refinement. Finally, we present a dispersion-dissipation analysis for both the semi-discrete and fully-discrete schemes, showing that polygonal meshes behave as classical simplicial/quadrilateral grids in terms of dispersion-dissipation properties.
△ Less
Submitted 15 October, 2020; v1 submitted 15 December, 2019;
originally announced December 2019.
-
Nonnegative Canonical Tensor Decomposition with Linear Constraints: nnCANDELINC
Authors:
Boian Alexandrov,
Derek DeSantis,
Gianmarco Manzini,
Erik Skau
Abstract:
There is an emerging interest in tensor factorization applications in big-data analytics and machine learning. To speed up the factorization of extra-large datasets, organized in multidimensional arrays (aka tensors), easy to compute compression-based tensor representations, such as Tucker and Tensor Train formats, are used to approximate the initial large-tensor. Further, tensor factorization is…
▽ More
There is an emerging interest in tensor factorization applications in big-data analytics and machine learning. To speed up the factorization of extra-large datasets, organized in multidimensional arrays (aka tensors), easy to compute compression-based tensor representations, such as Tucker and Tensor Train formats, are used to approximate the initial large-tensor. Further, tensor factorization is used to extract latent features that can facilitate discoveries of new mechanisms and signatures hidden in the data, where the explainability of the latent features is of principal importance. Nonnegative tensor factorization extracts latent features that are naturally sparse and parts of the data, which makes them easily interpretable. However, to take into account available domain knowledge and subject matter expertise, additional constraints often need to be imposed, which lead us to Canonical decomposition with linear constraints (CANDELINC), a Canonical Polyadic Decomposition with rank deficient factors. In CANDELINC, Tucker compression is used as a pre-processing step, which leads to a larger residual error but to more explainable latent features. Here, we propose a nonnegative CANDELINC (nnCANDELINC) accomplished via a specific nonnegative Tucker decomposition; we refer to as minimal or canonical nonnegative Tucker. We derive several results required to understand the specificity of nnCANDELINC, focusing on the difficulties of preserving the nonnegative rank to its Tucker core and comparing the real-valued to the nonnegative case. Finally, we demonstrate nnCANDELINC performance on synthetic and real-world examples.
△ Less
Submitted 21 March, 2022; v1 submitted 16 September, 2019;
originally announced September 2019.
-
The $p$- and $hp$-versions of the virtual element method for elliptic eigenvalue problems
Authors:
O. Certik,
F. Gardini,
G. Manzini,
L. Mascotto,
G. Vacca
Abstract:
We discuss the $p$- and the $hp$-versions of the virtual element method for the approximation of eigenpairs of elliptic operators with a potential term on polygonal meshes. An application of this model is provided by the Schrödinger equation with a pseudo-potential term. We present in details the analysis of the p-version of the method, proving exponential convergence in the case of analytic eigen…
▽ More
We discuss the $p$- and the $hp$-versions of the virtual element method for the approximation of eigenpairs of elliptic operators with a potential term on polygonal meshes. An application of this model is provided by the Schrödinger equation with a pseudo-potential term. We present in details the analysis of the p-version of the method, proving exponential convergence in the case of analytic eigenfunctions. The theoretical results are supplied with a wide set of experiments. We also show numerically that, in the case of eigenfunctions with finite Sobolev regularity, an exponential approximation of the eigenvalues in terms of the cubic root of the number of degrees of freedom can be obtained by employing $hp$-refinements. Importantly, the geometric flexibility of polygonal meshes is exploited in the construction of the $hp$-spaces.
△ Less
Submitted 21 December, 2018;
originally announced December 2018.
-
The conforming virtual element method for polyharmonic problems
Authors:
P. F. Antonietti,
G. Manzini,
M. Verani
Abstract:
In this work, we exploit the capability of virtual element methods in accommodating approximation spaces featuring high-order continuity to numerically approximate differential problems of the form $Δ^p u =f$, $p\ge1$. More specifically, we develop and analyze the conforming virtual element method for the numerical approximation of polyharmonic boundary value problems, and prove an abstract result…
▽ More
In this work, we exploit the capability of virtual element methods in accommodating approximation spaces featuring high-order continuity to numerically approximate differential problems of the form $Δ^p u =f$, $p\ge1$. More specifically, we develop and analyze the conforming virtual element method for the numerical approximation of polyharmonic boundary value problems, and prove an abstract result that states the convergence of the method in the energy norm.
△ Less
Submitted 10 November, 2018;
originally announced November 2018.
-
A Semi-Lagrangian Spectral Method for the Vlasov-Poisson System based on Fourier, Legendre and Hermite Polynomials
Authors:
Lorella Fatone,
Daniele Funaro,
Gianmarco Manzini
Abstract:
In this work, we apply a semi-Lagrangian spectral method for the Vlasov-Poisson system, previously designed for periodic Fourier discretizations, by implementing Legendre polynomials and Hermite functions in the approximation of the distribution function with respect to the velocity variable. We discuss second-order accurate-in-time schemes, obtained by coupling spectral techniques in the space-ve…
▽ More
In this work, we apply a semi-Lagrangian spectral method for the Vlasov-Poisson system, previously designed for periodic Fourier discretizations, by implementing Legendre polynomials and Hermite functions in the approximation of the distribution function with respect to the velocity variable. We discuss second-order accurate-in-time schemes, obtained by coupling spectral techniques in the space-velocity domain with a BDF time-step** scheme. The resulting method possesses good conservation properties, which have been assessed by a series of numerical tests conducted on the standard two-stream instability benchmark problem. In the Hermite case, we also investigate the numerical behavior in dependence of a scaling parameter in the Gaussian weight. Confirming previous results from the literature, our experiments for different representative values of this parameter, indicate that a proper choice may significantly impact on accuracy, thus suggesting that suitable strategies should be developed to automatically update the parameter during the time-advancing procedure.
△ Less
Submitted 5 July, 2018;
originally announced July 2018.
-
SUPG stabilization for the nonconforming virtual element method for advection-diffusion-reaction equations
Authors:
Stefano Berrone,
Andrea Borio,
Gianmarco Manzini
Abstract:
We present the design, convergence analysis and numerical investigations of the nonconforming virtual element method with Streamline Upwind/Petrov-Galerkin (VEM-SUPG) stabilization for the numerical resolution of convection-diffusion-reaction problems in the convective-dominated regime. According to the virtual discretization approach, the bilinear form is split as the sum of a consistency and a s…
▽ More
We present the design, convergence analysis and numerical investigations of the nonconforming virtual element method with Streamline Upwind/Petrov-Galerkin (VEM-SUPG) stabilization for the numerical resolution of convection-diffusion-reaction problems in the convective-dominated regime. According to the virtual discretization approach, the bilinear form is split as the sum of a consistency and a stability term. The consistency term is given by substituting the functions of the virtual space and their gradients with their polynomial projection in each term of the bilinear form (including the SUPG stabilization term). Polynomial projections can be computed exactly from the degrees of freedom. The stability term is also built from the degrees of freedom by ensuring the correct scalability properties with respect to the mesh size and the equation coefficients. The nonconforming formulation relaxes the continuity conditions at cell interfaces and a weaker regularity condition is considered involving polynomial moments of the solution jumps at cell interface. Optimal convergence properties of the method are proved in a suitable norm, which includes a contribution from the advective stabilization terms. Experimental results confirm the theoretical convergence rates.
△ Less
Submitted 3 June, 2018;
originally announced June 2018.
-
A posteriori error estimation and adaptivity in $hp$ virtual elements
Authors:
L. Beirão da Veiga,
G. Manzini,
L. Mascotto
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 20 June, 2019; v1 submitted 21 April, 2018;
originally announced April 2018.
-
The virtual element method for eigenvalue problems with potential terms on polytopal meshes
Authors:
Ondrej Certik,
Francesca Gardini,
Gianmarco Manzini,
Giuseppe Vacca
Abstract:
We extend the conforming virtual element method to the numerical resolution of eigenvalue problems with potential terms on a polytopal mesh. An important application is that of the Schrodinger equation with a pseudopotential term. This model is a fundamental element in the numerical resolution of more complex problems from the Density Functional Theory. The VEM is based on the construction of the…
▽ More
We extend the conforming virtual element method to the numerical resolution of eigenvalue problems with potential terms on a polytopal mesh. An important application is that of the Schrodinger equation with a pseudopotential term. This model is a fundamental element in the numerical resolution of more complex problems from the Density Functional Theory. The VEM is based on the construction of the discrete bilinear forms of the variational formulation through certain polynomial projection operators that are directly computable from the degrees of freedom. The method shows a great flexibility with respect to the meshes and provide a correct spectral approximation with optimal convergence rates. This point is discussed from both the theoretical and the numerical viewpoint. The performance of the method is numerically investigated by solving the Quantum Harmonic Oscillator problem with the harmonic potential and a singular eigenvalue problem with zero potential for the first eigenvalues.
△ Less
Submitted 31 March, 2018;
originally announced April 2018.
-
Arbitrary-order time-accurate semi-Lagrangian spectral approximations of the Vlasov-Poisson system
Authors:
Lorella Fatone,
Daniele Funaro,
Gianmarco Manzini
Abstract:
The Vlasov-Poisson system, modeling the evolution of non-collisional plasmas in the electrostatic limit, is approx- imated by a Semi-Lagrangian technique. Spectral methods of periodic type are implemented through a collocation approach. Groups of particles are represented by the Fourier Lagrangian basis and evolve, for a single timestep, along an high-order accurate representation of the local cha…
▽ More
The Vlasov-Poisson system, modeling the evolution of non-collisional plasmas in the electrostatic limit, is approx- imated by a Semi-Lagrangian technique. Spectral methods of periodic type are implemented through a collocation approach. Groups of particles are represented by the Fourier Lagrangian basis and evolve, for a single timestep, along an high-order accurate representation of the local characteristic lines. The time-advancing technique is based on Taylor developments that can be, in principle, of any order of accuracy, or by coupling the phase space discretiza- tion with high-order accurate Backward Differentiation Formulas (BDF) as in the method-of-lines framework. At each timestep, particle displacements are reinterpolated and expressed in the original basis to guarantee the order of accuracy in all the variables at relatively low costs. Thus, these techniques combine excellent features of spectral approximations with high-order time integration. Series of numerical experiments are performed in order to assess the real performance. In particular, comparisons with standard benchmarks are examined.
△ Less
Submitted 5 April, 2018; v1 submitted 25 March, 2018;
originally announced March 2018.
-
The nonconforming virtual element method for eigenvalue problems
Authors:
Francesca Gardini,
Gianmarco Manzini,
Giuseppe Vacca
Abstract:
We analyse the nonconforming Virtual Element Method (VEM) for the approximation of elliptic eigenvalue problems. The nonconforming VEM allow to treat in the same formulation the two- and three-dimensional case.We present two possible formulations of the discrete problem, derived respectively by the nonstabilized and stabilized approximation of the L^2-inner product, and we study the convergence pr…
▽ More
We analyse the nonconforming Virtual Element Method (VEM) for the approximation of elliptic eigenvalue problems. The nonconforming VEM allow to treat in the same formulation the two- and three-dimensional case.We present two possible formulations of the discrete problem, derived respectively by the nonstabilized and stabilized approximation of the L^2-inner product, and we study the convergence properties of the corresponding discrete eigenvalue problem. The proposed schemes provide a correct approximation of the spectrum, in particular we prove optimal-order error estimates for the eigenfunctions and the usual double order of convergence of the eigenvalues. Finally we show a large set of numerical tests supporting the theoretical results, including a comparison with the conforming Virtual Element choice.
△ Less
Submitted 8 February, 2018;
originally announced February 2018.
-
Discontinuous Skeletal Gradient Discretisation Methods on polytopal meshes
Authors:
Daniele A. Di Pietro,
Jérôme Droniou,
Gianmarco Manzini
Abstract:
In this work we develop arbitrary-order Discontinuous Skeletal Gradient Discretisations (DSGD) on general polytopal meshes. Discontinuous Skeletal refers to the fact that the globally coupled unknowns are broken polynomial on the mesh skeleton. The key ingredient is a high-order gradient reconstruction composed of two terms: (i) a consistent contribution obtained mimicking an integration by parts…
▽ More
In this work we develop arbitrary-order Discontinuous Skeletal Gradient Discretisations (DSGD) on general polytopal meshes. Discontinuous Skeletal refers to the fact that the globally coupled unknowns are broken polynomial on the mesh skeleton. The key ingredient is a high-order gradient reconstruction composed of two terms: (i) a consistent contribution obtained mimicking an integration by parts formula inside each element and (ii) a stabilising term for which sufficient design conditions are provided. An example of stabilisation that satisfies the design conditions is proposed based on a local lifting of high-order residuals on a Raviart-Thomas-Nédélec subspace. We prove that the novel DSGDs satisfy coercivity, consistency, limit-conformity, and compactness requirements that ensure convergence for a variety of elliptic and parabolic problems. Links with Hybrid High-Order, non-conforming Mimetic Finite Difference and non-conforming Virtual Element methods are also studied. Numerical examples complete the exposition.
△ Less
Submitted 6 December, 2017; v1 submitted 29 June, 2017;
originally announced June 2017.
-
Annotations on the virtual element method for second-order elliptic problems
Authors:
Gianmarco Manzini
Abstract:
This document contains working annotations on the Virtual Element Method (VEM) for the approximate solution of diffusion problems with variable coefficients. To read this document you are assumed to have familiarity with concepts from the numerical discretization of Partial Differential Equations (PDEs) and, in particular, the Finite Element Method (FEM). This document is not an introduction to th…
▽ More
This document contains working annotations on the Virtual Element Method (VEM) for the approximate solution of diffusion problems with variable coefficients. To read this document you are assumed to have familiarity with concepts from the numerical discretization of Partial Differential Equations (PDEs) and, in particular, the Finite Element Method (FEM). This document is not an introduction to the FEM, for which many textbooks are available. Eventually, this document will evolve into a tutorial introduction to the VEM (but this is really a long-term goal).
△ Less
Submitted 29 December, 2016;
originally announced December 2016.
-
Convergence of spectral discretizations of the Vlasov-Poisson system
Authors:
Gianmarco Manzini,
Daniele Funaro,
Gian Luca Delzanno
Abstract:
We prove the convergence of a spectral discretization of the Vlasov-Poisson system. The velocity term of the Vlasov equation is discretized using either Hermite functions on the infinite domain or Legendre polynomials on a bounded domain. The spatial term of the Vlasov and Poisson equations is discretized using periodic Fourier expansions. Boundary conditions are treated in weak form through a pen…
▽ More
We prove the convergence of a spectral discretization of the Vlasov-Poisson system. The velocity term of the Vlasov equation is discretized using either Hermite functions on the infinite domain or Legendre polynomials on a bounded domain. The spatial term of the Vlasov and Poisson equations is discretized using periodic Fourier expansions. Boundary conditions are treated in weak form through a penalty type term, that can be applied also in the Hermite case. As a matter of fact, stability properties of the approximated scheme descend from this added term. The convergence analysis is carried out in details for the 1D-1V case, but results can be generalized to multidimensional domains, obtained as Cartesian product, in both space and velocity. The error estimates show the spectral convergence, under suitable regularity assumptions on the exact solution.
△ Less
Submitted 2 May, 2017; v1 submitted 23 December, 2016;
originally announced December 2016.
-
Convergence analysis of the mimetic finite difference method for elliptic problems with staggered discretization of the diffusion coefficients
Authors:
G. Manzini,
K. Lipnikov,
J. D. Moulton,
M. Shashkov
Abstract:
We study the convergence of the new family of mimetic finite difference schemes for linear diffusion problems recently proposed in [38]. In contrast to the conventional approach, the diffusion coefficient enters both the primary mimetic operator, i.e., the discrete divergence, and the inner product in the space of gradients. The diffusion coefficient is therefore evaluated on different mesh locati…
▽ More
We study the convergence of the new family of mimetic finite difference schemes for linear diffusion problems recently proposed in [38]. In contrast to the conventional approach, the diffusion coefficient enters both the primary mimetic operator, i.e., the discrete divergence, and the inner product in the space of gradients. The diffusion coefficient is therefore evaluated on different mesh locations, i.e., inside mesh cells and on mesh faces. Such a staggered discretization may provide the exibility necessary for future development of efficient numerical schemes for nonlinear problems, especially for problems with degenerate coefficients. These new mimetic schemes preserve symmetry and positive-definiteness of the continuum problem, which allow us to use efficient algebraic solvers such as the preconditioned Conjugate Gradient method. We show that these schemes are inf-sup stable and establish a priori error estimates for the approximation of the scalar and vector solution fields. Numerical examples confirm the convergence analysis and the effectiveness of the method in providing accurate approximations.
△ Less
Submitted 6 December, 2016;
originally announced December 2016.
-
The fully nonconforming virtual element method for biharmonic problems
Authors:
P. F. Antonietti,
G. Manzini,
M. Verani
Abstract:
In this paper we address the numerical approximation of linear fourth-order elliptic problems on polygonal meshes. In particular, we present a novel nonconforming virtual element discretization of arbitrary order of accuracy for biharmonic problems. The approximation space is made of possibly discontinuous functions, thus giving rise to the fully nonconforming virtual element method. We derive opt…
▽ More
In this paper we address the numerical approximation of linear fourth-order elliptic problems on polygonal meshes. In particular, we present a novel nonconforming virtual element discretization of arbitrary order of accuracy for biharmonic problems. The approximation space is made of possibly discontinuous functions, thus giving rise to the fully nonconforming virtual element method. We derive optimal error estimates in a suitable (broken) energy norm and present numerical results to assess the validity of the theoretical estimates.
△ Less
Submitted 26 November, 2016;
originally announced November 2016.
-
Discretization of mixed formulations of elliptic problems on polyhedral meshes
Authors:
Konstantin Lipnikov,
Gianmarco Manzini
Abstract:
We review basic design principles underpinning the construction of mimetic finite difference and a few finite volume and finite element schemes for mixed formulations of elliptic problems. For a class of low-order mixed-hybrid schemes, we show connections between these principles and prove that the consistency and stability conditions must lead to a member of the mimetic family of schemes regardle…
▽ More
We review basic design principles underpinning the construction of mimetic finite difference and a few finite volume and finite element schemes for mixed formulations of elliptic problems. For a class of low-order mixed-hybrid schemes, we show connections between these principles and prove that the consistency and stability conditions must lead to a member of the mimetic family of schemes regardless of the selected discretization framework. Finally, we give two examples of using flexibility of the mimetic framework: derivation of higher-order schemes and convergent schemes for nonlinear problems with small diffusion coefficients.
△ Less
Submitted 18 October, 2016;
originally announced October 2016.
-
A Legendre-Fourier spectral method with exact conservation laws for the Vlasov-Poisson system
Authors:
G. Manzini,
G. L. Delzanno,
J. Vencels,
S. Markidis
Abstract:
We present the design and implementation of an L2-stable spectral method for the discretization of the Vlasov- Poisson model of a collisionless plasma in one space and velocity dimension. The velocity and space dependence of the Vlasov equation are resolved through a truncated spectral expansion based on Legendre and Fourier basis functions, respectively. The Poisson equation, which is coupled to…
▽ More
We present the design and implementation of an L2-stable spectral method for the discretization of the Vlasov- Poisson model of a collisionless plasma in one space and velocity dimension. The velocity and space dependence of the Vlasov equation are resolved through a truncated spectral expansion based on Legendre and Fourier basis functions, respectively. The Poisson equation, which is coupled to the Vlasov equation, is also resolved through a Fourier expansion. The resulting system of ordinary differential equation is discretized by the implicit second-order accurate Crank-Nicolson time discretization. The non-linear dependence between the Vlasov and Poisson equations is iteratively solved at any time cycle by a Jacobian-Free Newton-Krylov method. In this work we analyze the structure of the main conservation laws of the resulting Legendre-Fourier model, e.g., mass, momentum, and energy, and prove that they are exactly satisfied in the semi-discrete and discrete setting. The L2-stability of the method is ensured by discretizing the boundary conditions of the distribution function at the boundaries of the velocity domain by a suitable penalty term. The impact of the penalty term on the conservation properties is investigated theoretically and numerically. An implementation of the penalty term that does not affect the conservation of mass, momentum and energy, is also proposed and studied. A collisional term is introduced in the discrete model to control the filamentation effect, but does not affect the conservation properties of the system. Numerical results on a set of standard test problems illustrate the performance of the method.
△ Less
Submitted 30 September, 2016;
originally announced September 2016.
-
The non-conforming virtual element method for the Stokes equations
Authors:
Andrea Cangiani,
Vitaliy Gyrya,
Gianmarco Manzini
Abstract:
We present the non-conforming Virtual Element Method (VEM) for the numerical approximation of velocity and pressure in the steady Stokes problem. The pressure is approximated using discontinuous piecewise polynomials, while each component of the velocity is approximated using the nonconforming virtual element space. On each mesh element the local virtual space contains the space of polynomials of…
▽ More
We present the non-conforming Virtual Element Method (VEM) for the numerical approximation of velocity and pressure in the steady Stokes problem. The pressure is approximated using discontinuous piecewise polynomials, while each component of the velocity is approximated using the nonconforming virtual element space. On each mesh element the local virtual space contains the space of polynomials of up to a given degree, plus suitable non-polynomial functions. The virtual element functions are implicitly defined as the solution of local Poisson problems with polynomial Neumann boundary conditions. As typical in VEM approaches, the explicit evaluation of the non-polynomial functions is not required. This approach makes it possible to construct nonconforming (virtual) spaces for any polynomial degree regardless of the parity, for two-and three-dimensional problems, and for meshes with very general polygonal and polyhedral elements. We show that the non-conforming VEM is inf-sup stable and establish optimal a priori error estimates for the velocity and pressure approximations. Numerical examples confirm the convergence analysis and the effectiveness of the method in providing high-order accurate approximations.
△ Less
Submitted 6 September, 2016; v1 submitted 3 August, 2016;
originally announced August 2016.
-
Conforming and nonconforming virtual element methods for elliptic problems
Authors:
Andrea Cangiani,
Gianmarco Manzini,
Oliver J. Sutton
Abstract:
We present in a unified framework new conforming and nonconforming Virtual Element Methods (VEM) for general second order elliptic problems in two and three dimensions. The differential operator is split into its symmetric and non-symmetric parts and conditions for stability and accuracy on their discrete counterparts are established. These conditions are shown to lead to optimal $H^1$- and $L^2$-…
▽ More
We present in a unified framework new conforming and nonconforming Virtual Element Methods (VEM) for general second order elliptic problems in two and three dimensions. The differential operator is split into its symmetric and non-symmetric parts and conditions for stability and accuracy on their discrete counterparts are established. These conditions are shown to lead to optimal $H^1$- and $L^2$-error estimates, confirmed by numerical experiments on a set of polygonal meshes. The accuracy of the numerical approximation provided by the two methods is shown to be comparable.
△ Less
Submitted 13 July, 2015;
originally announced July 2015.
-
The nonconforming virtual element method
Authors:
B. Ayuso de Dios,
K. Lipnikov,
G. Manzini
Abstract:
We introduce the nonconforming Virtual Element Method (VEM) for the approximation of second order elliptic problems.
We present the construction of the new element in two and three dimensions, highlighting the main differences with the conforming VEM and the classical nonconforming finite element methods.
We provide the error analysis and establish the equivalence with a family of mimetic fini…
▽ More
We introduce the nonconforming Virtual Element Method (VEM) for the approximation of second order elliptic problems.
We present the construction of the new element in two and three dimensions, highlighting the main differences with the conforming VEM and the classical nonconforming finite element methods.
We provide the error analysis and establish the equivalence with a family of mimetic finite difference methods.
△ Less
Submitted 16 May, 2014; v1 submitted 15 May, 2014;
originally announced May 2014.