Exact sequences on Worsey–Farin splits

Guzmán, Johnny; Lischke, Anna; Neilan, Michael

doi:10.1090/mcom/3746

Exact sequences on Worsey–Farin splits
HTML articles powered by AMS MathViewer

by Johnny Guzmán, Anna Lischke and Michael Neilan HTML | PDF

Math. Comp. 91 (2022), 2571-2608 Request permission

Abstract:

We construct several smooth finite element spaces defined on three-dimensional Worsey–Farin splits. In particular, we construct $C^1$, $H^1(\operatorname {curl})$, and $H^1$-conforming finite element spaces and show the discrete spaces satisfy local exactness properties. A feature of the spaces is their low polynomial degree and lack of extrinsic supersmoothness at subsimplices of the mesh. In the lowest order case, the last two spaces in the sequence consist of piecewise linear and piecewise constant spaces, and are suitable for the discretization of the (Navier-)Stokes equation.

References

D. N. Arnold and J. Qin, Quadratic velocity/linear pressure Stokes elements, Advances in computer methods for partial differential equations, 7:28–34, 1992.
Snorre H. Christiansen and Kaibo Hu, Generalized finite element systems for smooth differential forms and Stokes’ problem, Numer. Math. 140 (2018), no. 2, 327–371. MR 3851060, DOI 10.1007/s00211-018-0970-6
Philippe G. Ciarlet, The finite element method for elliptic problems, Classics in Applied Mathematics, vol. 40, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2002. Reprint of the 1978 original [North-Holland, Amsterdam; MR0520174 (58 #25001)]. MR 1930132, DOI 10.1137/1.9780898719208
Jim Douglas Jr., Todd Dupont, Peter Percell, and Ridgway Scott, A family of $C^{1}$ finite elements with optimal approximation properties for various Galerkin methods for 2nd and 4th order problems, RAIRO Anal. Numér. 13 (1979), no. 3, 227–255 (English, with French summary). MR 543934, DOI 10.1051/m2an/1979130302271
Richard S. Falk and Michael Neilan, Stokes complexes and the construction of stable finite elements with pointwise mass conservation, SIAM J. Numer. Anal. 51 (2013), no. 2, 1308–1326. MR 3045658, DOI 10.1137/120888132
Michael S. Floater and Kaibo Hu, A characterization of supersmoothness of multivariate splines, Adv. Comput. Math. 46 (2020), no. 5, Paper No. 70, 15. MR 4141530, DOI 10.1007/s10444-020-09813-y
Guosheng Fu, Johnny Guzmán, and Michael Neilan, Exact smooth piecewise polynomial sequences on Alfeld splits, Math. Comp. 89 (2020), no. 323, 1059–1091. MR 4063312, DOI 10.1090/mcom/3520
J. Guzmán, A. Lischke, and M. Neilan, Exact sequences on Powell-Sabin splits, Calcolo 57 (2020), no. 2, Paper No. 13, 25. MR 4076672, DOI 10.1007/s10092-020-00361-x
Johnny Guzmán and Michael Neilan, Conforming and divergence-free Stokes elements on general triangular meshes, Math. Comp. 83 (2014), no. 285, 15–36. MR 3120580, DOI 10.1090/S0025-5718-2013-02753-6
Johnny Guzmán and Michael Neilan, inf-sup stable finite elements on barycentric refinements producing divergence-free approximations in arbitrary dimensions, SIAM J. Numer. Anal. 56 (2018), no. 5, 2826–2844. MR 3853609, DOI 10.1137/17M1153467
Volker John, Alexander Linke, Christian Merdon, Michael Neilan, and Leo G. Rebholz, On the divergence constraint in mixed finite element methods for incompressible flows, SIAM Rev. 59 (2017), no. 3, 492–544. MR 3683678, DOI 10.1137/15M1047696
Ming-Jun Lai and Larry L. Schumaker, Spline functions on triangulations, Encyclopedia of Mathematics and its Applications, vol. 110, Cambridge University Press, Cambridge, 2007. MR 2355272, DOI 10.1017/CBO9780511721588
A. Lischke, Exact smooth piecewise polynomials on Powell–Sabin and Worsey–Farin splits, PhD thesis, Division of Applied Mathematics, Brown University, 2020.
J.-C. Nédélec, A new family of mixed finite elements in $\textbf {R}^3$, Numer. Math. 50 (1986), no. 1, 57–81. MR 864305, DOI 10.1007/BF01389668
Michael Neilan, Discrete and conforming smooth de Rham complexes in three dimensions, Math. Comp. 84 (2015), no. 295, 2059–2081. MR 3356019, DOI 10.1090/S0025-5718-2015-02958-5
L. R. Scott and M. Vogelius, Norm estimates for a maximal right inverse of the divergence operator in spaces of piecewise polynomials, RAIRO Modél. Math. Anal. Numér. 19 (1985), no. 1, 111–143 (English, with French summary). MR 813691, DOI 10.1051/m2an/1985190101111
Michael Vogelius, A right-inverse for the divergence operator in spaces of piecewise polynomials. Application to the $p$-version of the finite element method, Numer. Math. 41 (1983), no. 1, 19–37. MR 696548, DOI 10.1007/BF01396303
Alexander Ženíšek, Polynomial approximation on tetrahedrons in the finite element method, J. Approximation Theory 7 (1973), 334–351. MR 350260, DOI 10.1016/0021-9045(73)90036-1
A. J. Worsey and B. Piper, A trivariate Powell-Sabin interpolant, Comput. Aided Geom. Design 5 (1988), no. 3, 177–186. MR 959603, DOI 10.1016/0167-8396(88)90001-5
Shangyou Zhang, A new family of stable mixed finite elements for the 3D Stokes equations, Math. Comp. 74 (2005), no. 250, 543–554. MR 2114637, DOI 10.1090/S0025-5718-04-01711-9
Shangyou Zhang, A family of 3D continuously differentiable finite elements on tetrahedral grids, Appl. Numer. Math. 59 (2009), no. 1, 219–233. MR 2474112, DOI 10.1016/j.apnum.2008.02.002
Shangyou Zhang, Quadratic divergence-free finite elements on Powell-Sabin tetrahedral grids, Calcolo 48 (2011), no. 3, 211–244. MR 2827006, DOI 10.1007/s10092-010-0035-4