Abstract:The present paper extends the theory of Adaptive Virtual Element Methods (AVEMs) to the three-dimensional meshes showing the possibility to bound the stabilization term by the residual-type error estimator. This new bound enables a stabilization-free a posteriori control for the energy error. Following the recent studies for the bi-dimensional case, we investigate the case of tetrahedral elements with aligned edges and faces. We believe that the AVEMs can be an efficient strategy to address the mesh conforming requirements of standard three-dimensional Adaptive Finite Element Methods (AFEMs), which typically extend the refinement procedure to non-marked mesh cells. Indeed, numerical tests on the Fichera corner shape domain show that this method can reduce the number of three-dimensional cells generated in the refinement process by about 30% with compared to standard AFEMs, for a given error threshold.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: in three - dimensional Adaptive Virtual Element Methods (AVEMs), how to achieve a posteriori error estimation without a stabilization term. Specifically, the goal of the paper is to extend the two - dimensional AVEM theory to three - dimensional meshes and show how to limit the stabilization term through a residual - type error estimator, thereby achieving a posteriori control of the energy error without a stabilization term. This result is of great significance for improving the efficiency of three - dimensional Adaptive Finite Element Methods (AFEMs), especially when dealing with complex geometric structures that require high precision.
### Background and Motivation
When traditional Adaptive Finite Element Methods (AFEMs) perform mesh refinement, in order to maintain mesh consistency, non - marked elements often need to be refined as well. This not only increases the computational cost but may also lead to an unnecessary increase in mesh complexity. In contrast, Virtual Element Methods (VEMs) allow for aligned edges and faces and can more flexibly refine only marked elements, thereby reducing unnecessary consumption of computational resources.
### Main Contributions
1. **A Posteriori Error Estimation without a Stabilization Term**:
- The paper proposes an a posteriori error estimation method without a stabilization term in three - dimensional cases. This is achieved by proving a new scaled Poincaré inequality, and the proof of this inequality in three - dimensional cases is different from that in two - dimensional cases.
- Specifically, the paper shows how to limit the stabilization term \( S_T(u_T) \) through a residual - type error estimator, thereby obtaining an a posteriori error bound without a stabilization term:
\[
\| u - u_T \|_{\text{energy}} \lesssim \eta_T(u_T)
\]
where \( \| u - u_T \|_{\text{energy}} \) is the energy norm error between the continuous problem solution \( u \) and the discrete solution \( u_T \), and \( \eta_T(u_T) \) is the residual - type error estimator.
2. **Verification by Numerical Experiments**:
- The paper verifies the effectiveness of this method through numerical experiments. The experimental results show that, under a given error threshold, this method can reduce the number of generated three - dimensional elements by about 30% compared to standard AFEMs.
### Key Technologies
1. **Scaled Poincaré Inequality**:
- The paper introduces a new scaled Poincaré inequality, which is the key to proving a posteriori error estimation without a stabilization term. The form of this inequality is:
\[
\sum_{E \in T} h_E^{-2} \| v \|^2_{0,E} \leq C_P |v|^2_{1,\Omega}
\]
where \( C_P \) is a constant depending on the maximum global index \( \Lambda \), \( h_E \) is the diameter of element \( E \), \( \| v \|^2_{0,E} \) is the square of the \( L^2 \) norm of \( v \) on element \( E \), and \( |v|^2_{1,\Omega} \) is the square of the \( H^1 \) semi - norm of \( v \) on the entire domain \( \Omega \).
2. **Interpolation Error Estimation**:
- The paper also studies the relationship between the interpolation errors \( v - I_T v \) and \( v - I_0^T v \), where \( I_T \) and \( I_0^T \) are the global interpolation operator and the modified interpolation operator respectively. These results are used to prove the effectiveness of a posteriori error estimation without a stabilization term.
### Conclusion
Through the above techniques and methods, the paper successfully extends the two - dimensional AVEM theory to three - dimensional cases and achieves a posteriori error estimation without a stabilization term. This result not only improves the efficiency of three - dimensional Adaptive Finite Element Methods but also shows better performance when dealing with complex geometric structures.