Virtual Enriching Operators

Susanne C. Brenner,Li-yeng Sung
DOI: https://doi.org/10.48550/arXiv.1903.08476
2019-03-20
Abstract:We construct bounded linear operators that map $H^1$ conforming Lagrange finite element spaces to $H^2$ conforming virtual element spaces in two and three dimensions. These operators are useful for the analysis of nonstandard finite element methods.
Numerical Analysis
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct a bounded linear operator \(E_h\), which can map the Lagrange finite - element space conforming to the \(H^1\) space to the virtual element space conforming to the \(H^2\) space, applicable to two - dimensional and three - dimensional cases. Specifically, the author hopes to find a linear operator \(E_h: V_h\rightarrow H^2(\Omega)\) such that the following inequalities hold: \[ \|v - E_h v\|_h\leq C_\sharp\sqrt{J(v, v)}\quad\forall v\in V_h, \] \[ \sum_{\ell = 0}^{2}h^\ell|\zeta - E_h\Pi_h\zeta|_{H^\ell(\Omega)}\leq C_\flat h^{k + 1}|\zeta|_{H^{k+1}(\Omega)}\quad\forall\zeta\in H^{k + 1}(\Omega), \] where \(\Pi_h\) is the Lagrange nodal interpolation operator, and \(C_\sharp\) and \(C_\flat\) depend only on the shape - regularity of the mesh and \(k\). These operators are very important for the analysis of non - standard finite - element methods, especially in the a priori and a posteriori error analysis of fourth - order elliptic problems. In addition, they also play a crucial role in the fast solvers for fourth - order problems and have also been involved in the applications of Hamilton - Jacobi - Bellman equations recently. By constructing such an operator, the author aims to provide an effective method for high - order Lagrange finite - element spaces to ensure their stability and accuracy in more complex mathematical models.