We extend earlier international efforts to optimise hexahedral-based spectral element methods on GPUs and vectorised CPUs to mixed element meshes additionally involving prismatic, pyramidic, and tetrahedral shapes using tensorial expansions. We demonstrate that common finite element operators (such as the mass and Helmholtz matrices) benefit from alternative implementation strategies depending on the element shape, choice of polynomial order, and system architecture in order to achieve optimal performance. In addition, we introduce a new approach/interpretation to efficiently evaluate more complex operations involving inner products with the derivative of the expansions as part of the integrand such as the stiffness matrix. This approach seeks to maximise operations using the collocation properties of the nodal tensorial expansion associated with classical quadrature rules. Our GPU performance tests demonstrate that the throughput of the Helmholtz operator on tetrahedral elements is at most 2.5 times slower than on hexahedral elements, despite tetrahedra having a factor of six greater floating-point operations.
This paper presents a lowest-order immersed Raviart-Thomas mixed triangular finite element method for solving elliptic interface problems on unfitted meshes independent of the interface. In order to achieve the optimal convergence rates on unfitted meshes, an immersed finite element finite (IFE) is constructed by modifying the traditional Raviart-Thomas element. Some important properties are derived including the unisolvence of IFE basis functions, the optimal approximation capabilities of the IFE space and the corresponding commuting digram. Optimal error estimates are rigorously proved for t…
In this paper we study the dimension of splines of mixed smoothness on axis-aligned T-meshes. This is the setting when different orders of smoothness are required across the edges of the mesh. Given a spline space whose dimension is independent of its T-mesh's geometric embedding, we present constructive and sufficient conditions that ensure that the smoothness across a subset of the mesh edges can be reduced while maintaining stability of the dimension. The conditions have a simple geometric interpretation. Examples are presented to show the applicability of the results on both hierarchical a…
We consider spectral mixed discontinuous Galerkin finite element discretizations of the Lamé system of linear elasticity in polyhedral domains in $\mathbb{R}^3$. In order to resolve possible corner, edge, and corner-edge singularities, anisotropic geometric edge meshes consisting of hexahedral elements are applied. We perform a computational study on the discrete inf-sup stability of these methods, and especially focus on the robustness with respect to the Poisson ratio close to the incompressible limit (i.e. the Stokes system). Furthermore, under certain realistic assumptions (for analytic da…
A mixed finite element method for nearly incompressible elasticity and Stokes equations using primal and dual meshes with quadrilateral and hexahedral grids
A simple and efficient interface-fitted mesh generation algorithm is developed in this paper. This algorithm can produce a local anisotropic fitting mixed mesh which consists of both triangles and quadrilaterals near the interface. A new finite element method is proposed for second order elliptic interface problems based on the resulting mesh. Optimal approximation capabilities on anisotropic elements are proved in both the $H^1$ and $L^2$ norms. The discrete system is usually ill-conditioned due to anisotropic and small elements near the interface. Thereupon, a multigrid method is presented t…
In mixed finite element approximations of Hodge Laplace problems associated with the de Rham complex, the exterior derivative operators are computed exactly, so the spatial locality is preserved. However, the numerical approximations of the associated coderivatives are nonlocal and it can be regarded as an undesired effect of standard mixed methods. For numerical methods with local coderivatives a perturbation of low order mixed methods in the sense of variational crimes has been developed for simplicial and cubical meshes. In this paper we extend the low order method to all high orders on cub…
In this paper we study the dimension of bivariate polynomial splines of mixed smoothness on polygonal meshes. Here, "mixed smoothness" refers to the choice of different orders of smoothness across different edges of the mesh. To study the dimension of spaces of such splines, we use tools from Homological Algebra. These tools were first applied to the study of splines by Billera (1988). Using them, estimation of the spline space dimension amounts to the study of the generalized Billera-Schenck-Stillman complex for the spline space. In particular, when the homology in positions one and zero of t…
Easy to construct and optimally convergent generalisations of B-splines to unstructured meshes are essential for the application of isogeometric analysis to domains with non-trivial topologies. Nonetheless, especially for hexahedral meshes, the construction of smooth and optimally convergent isogeometric analysis basis functions is still an open question. We introduce a simple partition of unity construction that yields smooth blended B-splines, referred to as SB-splines, on semi-structured quadrilateral and hexahedral meshes, namely on mostly structured meshes with a few sufficiently separate…
Mixed finite element methods solve a PDE using two or more variables. The theory of Discrete Exterior Calculus explains why the degrees of freedom associated to the different variables should be stored on both primal and dual domain meshes with a discrete Hodge star used to transfer information between the meshes. We show through analysis and examples that the choice of discrete Hodge star is essential to the numerical stability of the method. Additionally, we define interpolation functions and discrete Hodge stars on dual meshes which can be used to create previously unconsidered mixed method…
For the second lowest-order Raviart--Thomas mixed method, we prove that the canonical interpolant and finite element solution for the vector variable in elliptic problems are superclose in the $H(\text{div})$-norm on mildly structured meshes, where most pairs of adjacent triangles form approximate parallelograms. We then develop a family of postprocessing operators for Raviart--Thomas mixed elements on triangular grids by using the idea of local least squares fittings. Super-approximation property of the postprocessing operators for the lowest and second lowest order Raviart--Thomas elements i…
In this paper we introduce a $C^1$ spline space over mixed meshes composed of triangles and quadrilaterals, suitable for FEM-based or isogeometric analysis. In this context, a mesh is considered to be a partition of a planar polygonal domain into triangles and/or quadrilaterals. The proposed space combines the Argyris triangle, cf. (Argyris, Fried, Scharpf; 1968), with the $C^1$ quadrilateral element introduced in (Brenner, Sung; 2005) and (Kapl, Sangalli, Takacs; 2019) for polynomial degrees $p\geq 5$. The space is assumed to be $C^2$ at all vertices and $C^1$ across edges, and the splines ar…
We introduce interpolation operators with approximation and stability properties suited for parabolic problems in primal and mixed formulations. We derive localized error estimates for tensor product meshes (occurring in classical time-marching schemes) as well as locally in space-time refined meshes.
We apply high-order mixed finite element discretization techniques and their associated preconditioned iterative solvers to the Variable Eddington Factor (VEF) equations in two spatial dimensions. The mixed finite element VEF discretizations are coupled to a high-order Discontinuous Galerkin (DG) discretization of the Discrete Ordinates transport equation to form effective linear transport algorithms that are compatible with high-order (curved) meshes. This combination of VEF and transport discretizations is motivated by the use of high-order mixed finite element methods in hydrodynamics calcu…
A posteriori error estimates for mixed finite element discretization of the multigroup Neutron Simplified Transport equations with Robin boundary condition
A conforming triangular mixed element recently proposed by Hu and Zhang for linear elasticity is extended by rearranging the global degrees of freedom. More precisely, adaptive meshes $\mathcal{T}_1$, $\cdots$, $\mathcal{T}_N$ which are successively refined from an initial mesh $\mathcal{T}_0$ through a newest vertex bisection strategy, admit a crucial hierarchical structure, namely, a newly added vertex $\boldsymbol{x}$ of the mesh $\mathcal{T}_\ell$ is the midpoint of an edge $e$ of the coarse mesh $\mathcal{T}_{\ell-1}$. Such a hierarchical structure is explored to partially relax the $C^0$…
In this paper we develop a new a posteriori error analysis for the Monge-Ampère equation approximated by conforming finite element method on isotropic meshes in 2D. The approach utilizes a slight variant of the mixed discretization proposed by Gerard Awanou and Hengguang Li in International Journal of Numerical Analysis and Modeling, 11(4):745-761, 2014. The a posteriori error estimate is based on a suitable evaluation on the residual of the finite element solution. It is proven that the a posteriori error estimate provided in this paper is both reliable and efficient.
In this paper we develop an a posteriori error analysis for the stationary Stokes-Darcy coupled problem approximated by conforming finite element method on isotropic meshes in $\mathbb{R}^d$, $d\in\{2,3\}$. The approach utilizes a new robust stabilized fully mixed discretization developed by Jiaping Yu et al. (Advances in Difference Equations, SpringerOpen Journal, 2018). The a posteriori error estimate is based on a suitable evaluation on the residual of the finite element solution plus the stabilization terms. It is proven that the a posteriori error estimate provided in this paper is both r…
