Abstract:We prove three-dimensional Worsey-Farin refinements inherit their parent triangulations' shape-regularity.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that the three - dimensional Worsey - Farin refinement inherits the shape regularity of its parent triangulation. Specifically, the authors are concerned with whether the new refined mesh still maintains the original shape regularity after the Worsey - Farin refinement. This property is crucial for ensuring optimal - order and uniform interpolation estimates, and is also necessary for the stability analysis of the finite element method.
### Background and Motivation
1. **Low - order C1 Spline Construction**: The Worsey - Farin refinement was initially introduced to construct low - order C1 splines on simplex triangulations.
2. **Discrete de Rham Complex**: Recent research has shown that smooth piecewise polynomial spaces can be embedded into the discrete de Rham complex on Worsey - Farin refinements.
3. **Applications in Numerical Methods**: These results are further applied to analyze the convergence, stability, and accuracy of numerical methods for incompressible fluid models.
4. **Importance of Shape Regularity**: Shape regularity is a key geometric property in approximation theory, which ensures optimal - order and uniform interpolation estimates.
### Main Problem
There is an unproven conjecture in the literature, that is, the shape regularity of Worsey - Farin refinement is inherited from its parent triangulation. Specifically, this conjecture is explicitly proposed in [12, Page 515], [1, Remark 14], and [2, Page 54], but there has not been a formal proof yet. Therefore, this paper aims to fill this gap.
### Research Methods
1. **Bounds on Dihedral Angles**: The authors first prove that the dihedral angles are bounded by quantities that only depend on the shape regularity of the original mesh (see Lemma 2.6).
2. **Boundary Distances of Division Points**: Using the above results, the authors prove that the distance from the division point \(m_F\) on each face \(F\) to \(\partial F\) is bounded below (see Lemma 3.3).
3. **Proof of Shape Regularity**: Through the above lemmas, it is finally proved that the shape regularity of Worsey - Farin refinement is only determined by the shape regularity of the parent mesh.
### Main Conclusion
Theorem 3.1 shows that there exists a constant \(c_1\) that only depends on the shape regularity constant \(c_0\) of the parent triangulation, such that:
\[
\max_{K \in T_{wf}^h} \frac{h_K}{\rho_K} \leq c_1
\]
where \(h_K\) is the diameter of the sub - tetrahedron \(K\), and \(\rho_K\) is the radius of the inscribed sphere of the sub - tetrahedron \(K\).
### Conclusion
This paper solves the conjecture regarding the shape regularity of Worsey - Farin refinement, providing a theoretical basis for subsequent research. Nevertheless, the authors also point out that the current estimates may not be optimal, and future work may further improve these estimates.
The reference section lists other important research in related fields, showing the broad background and applications of this problem in scientific computing and numerical analysis.