 Research article
 Open Access
 Published:
A multipoint constraint unfitted finite element method
Advanced Modeling and Simulation in Engineering Sciences volume 9, Article number: 19 (2022)
Abstract
In this work a multipoint constraint unfitted finite element method for the solution of the Poisson equation is presented. Key features of the approach are the strong enforcement of essential boundary, and interface conditions. This, along with the stability of the method, is achieved through the use of multipoint constraints that are applied to the socalled ghost nodes that lie outside of the physical domain. Another key benefit of the approach lies in the fact that, as the degrees of freedom associated with ghost nodes are constrained, they can be removed from the system of equations. This enables the method to capture both strong and weak discontinuities with no additional degrees of freedom. In addition, the method does not require penalty parameters and can capture discontinuities using only the standard finite element basis functions. Finally, numerical results show that the method converges optimally with mesh refinement and remains well conditioned.
Introduction
Over the last two decades unfitted finite element methods (UFEM), that allow the use of relatively simple background meshes, have proved to be useful tools for solving partial differential equations (PDE) on domains that may be highly complex and may evolve with time. Under the umbrella of unfitted finite element methods, a range of approaches and techniques have been developed including the generalised finite element method (GFEM) [1,2,3,4,5,6,7,8,9,10,11], extended finite element method (XFEM) [12,13,14,15,16,17,18] and cut finite element method (CutFEM) [19,20,21,22,23,24,25].
The generalised and extended finite element methods (GFEM and XFEM) are partition of unity methods [26, 27] that employ additional functions, or enrichments, to capture solution features, such as strong and weak discontinuities, internal to the elements. The enrichment functions are often chosen a priori based on the physics being simulated, though they may be calculated on the fly numerically, as seen in the global local GFEM [5]. In the work of Hansbo and Hansbo [19, 20], referred to as the phantom node method [28] or as the cut finite element method (CutFEM) [21], a different approach was taken. Instead of employing enrichment functions to capture discontinuities, their approach can be described as replacing any element crossed by a discontinuity that splits the element into two parts, \(\Omega_{1}\) and \(\Omega_{2}\) with two overlapping elements \(T_{1}\) and \(T_{2}\). The new elements are each assigned to a part of the divided element and introduce additional nodes (termed phantom or ghost nodes), allowing the use of standard basis functions. This leads to a continuous solution in each element, \(u_{1}\) and \(u_{2}\), whilst their supposition allows for a discontinuous solution in the physical domain (defined as \(u = u_{1} \forall x \in \Omega_{1} \wedge u = u_{2} \forall x \in \Omega_{2}\)). In each of these methods (GFEM, XFEM and CutFEM), the enrichments are associated with element nodes. An alternative approach is to associate the enrichments directly with the discontinuity itself, as seen in the discontinuity enriched (DEFEM) [29, 30] (see also the interface enriched method [31, 32]) and the element enriched finite element method (EFEM) [33,34,35,36,37,38,39].
Whilst UFEMs generally introduce additional degrees of freedom (dof) in order to capture solution features, approaches have been developed for UFEMs with the same number of unknowns as the standard finite element method (FEM). In EFEM models, a number of authors eliminate enriched degrees of freedom at the element level, often employing static condensation that increases the computational efficiency [33], at the cost of interelement continuity. In addition, GFEM and XFEM models have been proposed that capture discontinuities with no additional degrees of freedom, namely condensed GFEM [8, 11], dofgathering GFEM [7] and intrinsic and improved XFEMs [10, 14, 15, 40]. In these approaches, special enriched shape functions are employed that are constructed using least squares [8] or moving least squares [14, 15] over local patches of nodes. Bybordiani et al. [17] presented a multilayered XFEM model for fracture propagation. In their approach, the discontinuities are enriched using independent layers, where each layer enriches a certain neighbourhood of cracked elements, defined using an active length scale parameter, \(\lambda h\). The size of the layers is bounded by limit cases of infinite and zero active lengths, recovering the XFEM and EFEM approaches respectively. Enriched degrees of freedom are eliminated using a condensation at the layer level.
A key challenge associated with UFEMs is the enforcement of essential boundary conditions on boundaries that are internal to the elements [41]. The most commonly used approaches employ a weak imposition of such conditions using the penalty method [42], Nitsche’s method [19,20,21, 43, 44] and the Lagrange multiplier method [21, 45, 46]. The penalty method is easy to implement but is known for its propensity to degrade the condition number of the system; whilst the Lagrange multiplier method introduces additional unknowns that need to be defined in a suitable space to fulfil the inf–sup condition [45, 46]. Nitsche’s method is a consistent penalty method, and as such does not degrade the condition number in the same manner as the penalty method [43]. An alternative approach to such methods, is to modify the element basis such that the boundary conditions are imposed exactly, as seen in the implicit boundary method [47]. In their model, van den Boom et al. [30] strongly enforced essential boundary conditions by constraining enriched nodes using multipoint constraints that are applied at the element level. In the cutcell model presented by Pande et al. [48], exterior (ghost) nodes were constrained in a similar manner. The key difference being that in their work, these constraints replaced the governing equations for ghost nodes in the global system of equations.
An additional challenge for UFEMs lies in the fact that interfaces/boundaries may cross the underlying mesh arbitrarily. Whilst this is the key strength of such methods, the presence of degrees of freedom with small support in the physical domain can lead to stability issues. To counteract such issues, and to ensure socalled ‘cut element stability’, a number of approaches have been employed such as cell aggregation [49, 50], ghost penalties [21, 24, 51] and coupling constraints [44, 52]. The cell aggregation technique merges elements with small support to adjacent elements within the domain and is particularly suited to nonconforming finite element methods. The ghost penalty approach introduces a penalty on the jump in the normal derivative of the solution across element faces, weakly enforcing greater solution continuity. In the coupling constraints approach, degrees of freedom with small support are coupled to degrees of freedom in the interior using constraint equations derived from the finite element basis functions. An alternative to stabilising ‘cut’ elements is to avoid cutting the elements, as seen in the CutFEM model of Lozinski [23]. The shifted boundary method (SBM) introduced by Main and Scovazzi [53] (see also the shifted interface method (SIM) [54], and shifted fracture method (SFM) [55]), was introduced to avoid ‘cut’ elements whilst maintaining optimal convergence rates. In this approach, the boundary conditions are modified and shifted to a surrogate boundary that is formed from the nearest element edges/faces to the true boundary, before being imposed with Nitsche’s method.
In the present work, the method proposed by Hansbo and Hansbo [19] is adopted for the unfitted finite element approximation. For the enforcement of essential boundary, and interface conditions, as well as cut element stability, multipoint constraints are employed. Constrained degrees of freedom are then removed, which leads to a global system of equations capable of capturing strong and weak discontinuities with no additional degrees of freedom.
The innovations of this work are (i) a new unfitted finite element model that, for the first time, strongly enforces essential boundary conditions, interface conditions and cut element stability using multipoint constraints, (ii) an approach to capturing strong and weak discontinuities in the solution with no additional degrees of freedom, avoiding the need for penalty parameters and using only the standard finite element basis functions and (iii) a numerical investigation of the performance of the model including mesh convergence and conditioning and its comparison to the model of Hansbo and Hansbo [19] and a standard FEM.
The remainder of this paper is organised as follows,

“Problem formulation” presents the Poisson problem, including the case of a bimaterial problem,

“Unfitted finite element formulation” presents the unfitted finite element approximation and the multipoint constraint approach to enforcing essential boundary conditions, interface conditions and cut element stability,

“Numerical examples” presents the application of the method to four example problems and its comparison to known analytical solutions,

“Concluding remarks” presents some conclusions of the work.
Problem formulation
The present work is concerned with the solution of the Poisson problem that reads:
where \(\Omega \in {\mathbb{R}}^{2}\) is the problem domain with boundary \(\partial \Omega\), \(\Gamma_{D}\) and \(\Gamma_{N}\) are the parts of the boundary to which essential (Dirichlet) and Neumann boundary conditions are applied respectively and \(n\) is the outward facing unit normal to the boundary.
Equivalently, in the case of a bimaterial problem, the problem reads:
where \(\left[\kern0.15em\left[ x \right]\kern0.15em\right] = \left. {x_{2} } \right_{{\Gamma_{i} }}  \left. {x_{1} } \right_{{\Gamma_{i} }}\) is the jump operator, where \(x_{i} = \left. x \right_{{\Omega_{i} }}\) is the restriction of \(x\) to \(\Omega_{i}\), and \(\Gamma_{i}\) is the material interface.
Unfitted finite element formulation
Unfitted finite element approximation
In the present work, the unfitted finite element method proposed by Hansbo and Hansbo [19] is employed. An example of this approach for a 1D problem with an interface is illustrated in Fig. 1. The coupling of the solutions in each overlapping element is determined by the interface conditions that are typically weakly enforced using Nitsche’s method [21].
The finite element mesh is given by first defining a uniform background mesh, to which the physical domain is embedded. Following this, any elements that have zero intersection with the physical domain are removed, such that the computational mesh, \(T_{h}\), is given as:
where \(T\) denotes an element in the mesh and \(T_{h}^{0}\) is the background mesh.
This process is illustrated in Fig. 2, where it can be seen that the computational domain, \(\Omega_{h}\), extends beyond the physical domain.
In the present work, the level set method is used to describe the domain boundary and material interfaces, and Q4 elements are used throughout. The boundary and interfaces are discretised using piecewise linear segments within each element.
Applying this approach to the Poisson problem, and integrating by parts over the computational domain, the weak form is given as:
Find \(u \in H^{1} \left( \Omega \right)\), such that:
where \(u\) is the solution vector and \(v\) are the test functions.
Employing the Galerkin weighted residual method for spatial discretisation gives:
where the primary variables are interpolated from the nodal value, i.e. \(u = N\overline{u}\), where \(N\) is the vector of shape functions.
The global system matrix and right hand side vector are given as:
where \({\rm A}_{e}\) is the element assembly operator.
An important aspect of Eq. (4) is that the divergence theorem is applied over the computational domain. This leads to a flux term associated with the boundary of the computational domain, \(\partial \Omega_{h}\). This term does not appear in (4) as the degrees of freedom to which it applies, i.e. those that lie on \(\partial \Omega_{h}\) are constrained and therefore are removed from the global system of equations. In addition, the integrals found in (4) are carried out over the physical domain that does not conform to the computational mesh. This implies that special integration rules are required for integrals over elements intersected by the problem boundary and/or interfaces (socalled cut elements). In the present work, volume integrals are carried out through the subdivision of cut elements into integration elements, to which the standard Gauss rule is applied; whilst surface integrals are taken over the piecewise linear approximation of the boundary and/or interfaces. A depiction of the subdivision can be seen in Fig. 3, where the shaded area indicates the physical domain.
Before describing the approach to enforcing constraints, the sets of nodes to which they are applied are first defined. Let \(I_{gh} = \left\{ {i \in \left. I \rightx_{i} \in \Omega_{h} \backslash \Omega } \right\}\) be the set of global ghost nodes, where \(I\) is the global set of nodes and \(x_{i}\) are the coordinates of node \(i\). The set of ghost nodes to which essential boundary conditions are applied is \(I_{gh}^{D} \subset I_{gh} = \left\{ {i \in \left. {I_{gh} } \rightx_{i} \in T_{h}^{D} \wedge \left {x_{i}  x_{i}^{P} } \right < \left( {1  \lambda } \right)h} \right\}\), in which, \(T_{h}^{D}\) is the set of elements that contains a part of the boundary to which essential boundary conditions are applied, \(x_{i}^{P}\) are the coordinates of the projection point for node \(i\) (to be introduced in following Section), \(h\) is the element size, \(\lambda\) is a user defined parameter and  denotes the Euclidean distance. The last condition given in the set arises as the result of an assumption introduced to ensure boundedness of the solution, following the approach of Pande et al. [48]. The assumption is that any node at a distance \(d \le \lambda h\) from the boundary in fact lies on the boundary. As a result, the essential boundary condition is applied directly to such nodes, and multipoint constraints are not utilised for those points on the boundary. The set of ghost nodes to which interface conditions are applied can be defined similarly as \(I_{gh}^{I} \subset I_{gh} = \left\{ {i \in \left. {I_{gh} } \rightx_{i} \in T_{h}^{i} \wedge \left {x_{i}  x_{i}^{P} } \right < \left( {1  \lambda } \right)h} \right\}\), where \(T_{h}^{i}\) is the set of elements that contain a material interface. Finally, the set of nodes that are constrained to ensure cut element stability can be defined as \(I_{gh}^{CE} = \left\{ {i \in \left. {I_{gh} } \righti \notin I_{gh}^{D} \wedge i \notin I_{gh}^{I} } \right\}\). In the present work, the parameter \(\lambda\) was set to 0.001 throughout.
Essential boundary conditions
The approach for enforcing essential boundary conditions follows the approach van den Boom et al. [30], and employs the interpolation of Pande et al. [48]. Following the approach of Pande et al. [48], a projection of the ghost nodes onto unique points on the physical boundary is employed. Fournoded bilinear elements (Q4 elements) are used for the present work, which implies that there may be either one, two or three ghost nodes. For a single ghost node, the projection is onto the centre of the boundary segment within that element, whereas for two ghost nodes the projection is onto the points of intersection of the boundary segment with the element edges. Finally, for three ghost nodes, a combination of the projections for a single and two ghost nodes is used. A depiction of the problem can be seen in Fig. 4, where \(\Omega\) indicates the physical domain and the projection points are indicated by the crosses. Once the projection is established, the essential boundary condition is given as:
where \(u_{e}\) is the vector of element nodal values.
In the work of Pande et al. [48], this condition replaces the equations for the ghost nodes in the system of equations. In the present work, the approach of van den Boom et al. [30] is followed and (7) is employed in the form of a multipoint constraint:
where \(u_{e}^{gh}\) and \(u_{e}^{r}\) are the vectors of degrees of freedom associated with ghost and regular nodes respectively, \(G\) is the vector of prescribed values and \(A\) and \(B\) are the matrices of shape functions of ghost and regular degrees of freedom respectively, evaluated at the projection points. Using (8), the element matrix and righthand side vector are modified as follows:
where \(T_{D}\) is the transformation matrix that contains the contributions of the regular degrees of freedom to the ghost nodes, and \(G_{T}\) is comprises the prescribed values.
Finally, \(T_{I} = \delta_{ij} \forall i \in n_{r} \wedge T_{I} = 0\forall i \in n_{gh}\), where \(n_{r}\) is the set of local regular nodes and \(n_{gh}\) is the set of local ghost nodes, is used to eliminate the ghost nodes from the system of equations.
In the reduced matrices described in (9), the boundary conditions are strongly enforced.
To illustrate the procedure, consider a Q4 element crossed by a boundary such that there are three ghost nodes (see Fig. 4), subject to essential boundary conditions. In this case Eq. (8) becomes:
where the coordinates correspond to the projection points. The nonzero terms of the transformation matrix become:
whilst the terms of the vector of prescribed values read:
Interface conditions
The approach to enforcing interface conditions follows the same procedure as that for enforcing essential boundary conditions. The key difference is that now jump conditions are enforced, in both the solution itself and in the solution gradient. In addition, in this case the number of ghost nodes is always equal to the number of nodes of the element, irrespective of how the discontinuity crosses the element. In the present case as Q4 elements are employed, there are four ghost nodes. As before, the approach begins with a projection of the ghost nodes onto the physical interface. The projection points are at the points of intersection between the boundary segment and the element edges. A depiction of this can be seen in Fig. 5, where \(\Omega_{1}\) and \(\Omega_{2}\) indicate the physical domain on the positive and negative sides of the interface respectively and where it is noted that at each projection point, both interface conditions are evaluated. Once the projection is established, the interface conditions that depend upon the problem considered are given as:
The first equation in (13) enforces the condition on the jump in the solution, whilst the second enforces the condition on the jump in the solution gradient. Using (13), the same procedure as before is followed that leads to reduced matrices, in which the interface conditions are strongly enforced. In this case, the matrices \(A\) and \(B\) (see Eq. (8)) are of shape functions and shape function derivatives of the ghost and regular nodes respectively, evaluated at the projection points, and \(G\) (Eq. (8)) is the vector of the prescribed jumps in both the solution and in the solution gradient.
To illustrate the difference to enforcing essential boundary conditions, consider a Q4 element crossed by a boundary such that there are three ghost nodes associated with \(\Omega_{1}\), and one ghost node associated with \(\Omega_{2}\) (see Fig. 5), subject to the interface conditions described in (13). In this case, Eq. (8) becomes:
where the superscript denotes the domain (i.e. \(u_{1}^{i} \in \Omega_{i}\)) and the matrices are given as:
The terms of (14) can then be used to define the transformation matrix and vector of prescribed values as before. The only difference being their dimension is now doubled as the transformation is now applied to the two overlapping elements. The resulting reduced matrices have the same dimension as a standard element.
Cut element stability
Stability issues associated with cut elements arise from the fact that some of the degrees of freedom have very small support in the physical domain. This can lead to severe illconditioning of the system of equations and can have a detrimental affect on convergence [50]. In Rüberg et al. [44] (see also Höllig et al. [51]); stability was ensured through coupling degrees of freedom with small support to degrees of freedom within the interior of the domain using constraints.
In the present work, all degrees of freedom that lie outside of the physical domain (ghost degrees of freedom) are constrained. The ghost degrees of freedom are then removed from the system of equations. Before describing the approach, it is emphasised that this type of constraint is only applied to ghost nodes that are not already constrained by either essential boundary, or interface conditions.
The first step in the approach is, for all eligible ghost nodes, the nearest element, \(T_{nr}\), that lies entirely within the physical domain is found. Following this, the constraint equation is evaluated as:
where the vector of shape functions and nodal values are those associated with \(T_{nr}\) and \(d\) is the distance to the centre of \(T_{nr}\), from the centre of the nearest element to which \(u^{gh}\) belongs. A key thing to note about (17) is the fact that the shape functions are evaluated at the ghost node location that lies outside of the reference element. In the present work, the shape functions that are used in (17) use global coordinates, and as such their evaluation outside of the reference element is straightforward. The last term in (17) is included in order to account for the effect of the source term on the extrapolation.
Using (17), we can follow a similar procedure to before that leads to reduced matrices within which, the constraints are strongly enforced. A key difference is the fact that constraints of the type described in (17) lead to a larger support size and as such, the constraints are applied in the system assembly rather than at the element level.
To illustrate the procedure consider the two elements in Fig. 6, the first of which lies completely inside the physical domain, whilst the second is crossed by the domain boundary. In this case the nearest element interior to the domain has been identified and will be used to constrain the degree of freedom associated with the ghost node,\(gh\).
Numerical examples
In this section, example problems are presented in order to demonstrate the performance of the model. The example problems concern the three cases of unfitted elements, namely, an unfitted Neumann boundary condition, an unfitted interface (considered with both a weak and a strong discontinuity) and two cases with unfitted essential boundary conditions on a curved boundary. In each case, the numerical solutions are compared to known analytical solutions and the mesh convergence and conditioning of the system are investigated. In addition, in the second example the predictions of the proposed model are compared to those of Hansbo and Hansbo [19], as well as those of a standard FEM.
Heat conduction with unfitted Neumann boundary condition
The first example concerns heat conduction in a rod with a source term subject to fixed temperature on the left hand side of the specimen and an unfitted Neumann boundary condition on the right hand side of the specimen. The equation describing this example reads:
where the physical domain is \(\Omega = \left( {0,0.95} \right)\) and the background mesh domain is \(\Omega_{m} = \left( {0,1.1} \right)\). The analytical solution is given by:
An example of one of the meshes used in the analysis that shows the boundary marked with a black line, can be seen in Fig. 7.
The performance of the model with mesh refinement can be seen in Fig. 8, that shows the L_{2}norm of the error, \(e = \left\ {u  u_{ex} } \right\_{{L_{2} }}\) [48], where \(u_{ex}\) is the exact solution, along with the 2norm condition number. From the figure, it can be seen that the method converges optimally (i.e. of the order h^{2}) and that the system is well conditioned (i.e. of the order h^{−2}).
The solution for the finest mesh can be seen in Fig. 9.
In addition to investigating the error and condition number under mesh refinement, this example was also used to investigate the effect of the boundary location with respect to the element edges (see Fig. 10). To this end, the mesh with \(h = 0.061\) was employed and the condition number calculated for a range of boundary locations. The results of this investigation can be seen in Fig. 10, which shows that the system remains well conditioned when cut element stabilisation is employed. By contrast, when stabilisation is not employed the condition number deteriorates at a rate of the order d^{−1}, as reported in [44].
This example indicates that the method performs well for unfitted Neumann boundary conditions, and for arbitrary intersections between the boundary and underlying mesh.
Poisson interface problem with unfitted weak and strong discontinuity
The second example considers the solution to the Poisson interface problem as presented in Hansbo and Hansbo [19], subject to essential boundary conditions:
where the physical and background mesh domains are \(\Omega = \Omega_{m} = \left( {0,1} \right)\). The interface is unfitted and located at \(x = {1/2}\), and \(a_{1} = {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern\nulldelimiterspace} 2}\) and \(a_{2} = 3\). The analytical solution if given by:
An example of one of the meshes used in the analysis that shows the interface marked with a black line can be seen in Fig. 11.
The results of the convergence test can be seen in Fig. 12, whilst the solution for the finest mesh can be seen in Fig. 13. From the figure, we can again see that the method converges optimally and remains well conditioned.
A comparison between the results of the present method, the method of Hansbo and Hansbo [19] and the standard FEM (taken from [19]), both with a fitted and unfitted mesh, can be seen in Fig. 14. It can be seen from the figure that the performance of the proposed approach is comparable to both that of Hansbo and Hansbo [19] and that of a standard FEM when an interface fitted mesh is employed. The results show that the standard FEM with an unfitted interface does not show optimal convergence, and as such finer meshes would be required to achieve the same level of accuracy.
In addition to simulating the problem as presented in Hansbo and Hansbo [19], a modified form with a strong discontinuity is also considered. In this case the interface and boundary conditions become:
Whilst the analytical solution reads:
The results of the convergence test can be seen in Fig. 15, whilst the solution for the finest mesh can be seen in Fig. 16. From the figure, it can again be seen that the method converges optimally and remains well conditioned.
A comparison of the convergence of the approach as compared to the standard FEM with an unfitted mesh can be seen in Fig. 17. It can be seen from the figure that the standard FEM does not converge optimally, and that the error actually increases with further mesh refinement. A comparison between the predicted solutions and the analytical solution can be seen in Fig. 18. From the figure it can be seen that the proposed model predictions are coincident with the analytical solution, whilst the standard FEM is unable to capture the jump in the solution. It is noted that in this case the standard FEM with an interface fitted mesh would also suffer from suboptimal convergence due to jump in the solution that would require the use of interface elements to be captured.
This example indicates that the method performs well for unfitted interface problems with both weak and strong discontinuities and is comparable with the performance of the model of Hansbo and Hansbo [19].
Poisson problem on circular domain with unfitted essential boundary
The third example considers the solution of the Poisson equation in circular domain subject to unfitted essential boundary conditions [48]:
where the physical domain is defined \(\Omega = \left( {0,0.95} \right) \times \left( {0,2\pi } \right)\) and the background mesh domain is \(\Omega_{m} = \left( {  1.05,1.05} \right) \times \left( {  1.05,1.05} \right)\). The analytical solution is given by:
It can be noted that whilst this is a radial problem, the numerical solution was carried out using Cartesian coordinates. In addition, the circular boundary of the physical domain is approximated using piecewise linear segments within each element.
An example of one of the meshes used in the analysis that shows the boundary marked with a black line, can be seen in Fig. 19.
The results of the convergence test can be seen in Fig. 20, whilst the elevation of the solution for the finest mesh can be seen in Fig. 21. From the figures, it is clear that the method converges optimally and remains well conditioned.
This example indicates that the method performs well for unfitted problems on curved domains, with essential boundary conditions.
Poisson problem on annulus domain with unfitted essential boundary
The final example considers the solution of the Poisson equation on an annulus, subject to unfitted essential boundary conditions:
where \(a = 0.72\), \(b = 0.37\), the physical domain is defined \(\Omega = \left( {0.37,0.72} \right) \times \left( {0,2\pi } \right)\) and the background mesh domain is \(\Omega_{m} = \left( {  1.05,1.05} \right) \times \left( {  1.05,1.05} \right)\). The analytical solution is given by:
As with the previous example, it is noted that whilst this is a radial problem, the numerical solution was carried out using Cartesian coordinates. In addition, the circular boundary of the physical domain is approximated using piecewise linear segments within each element.
An example of one of the meshes used in the analysis that shows the boundaries marked with a black line, can be seen in Fig. 22.
The results of the convergence test can be seen in Fig. 23, whilst the elevation of the solution for the finest mesh can be seen in Fig. 24. From the figures, it is clear that the method converges optimally and remains well conditioned.
This example again indicates that the method performs well for unfitted problems on curved domains, with essential boundary conditions.
Concluding remarks
A novel unfitted finite element method has been presented that allows for strong enforcement of boundary and interface conditions, as well as cut element stability. This is achieved through the use of multipoint constraints that have the additional benefits of avoiding the need for penalty parameters, and allowing the constrained degrees of freedom to be eliminated from the system of equations. This allows for the simulation of problems with both strong and weak discontinuities without introducing additional degrees of freedom that could significantly improve computational efficiency. In addition to this, the method does not require special enrichment functions and can capture strong and weak discontinuities using only the standard finite element basis functions. The numerical examples presented have shown that the method converges optimally under mesh refinement and remains well conditioned. Whilst the present work focuses on the Poisson problem, the approach could be employed for range of other problems.
Availability of data and materials
Information on the data underpinning the results presented here, including how to access them, can be found in the Cardiff University data catalogue at (https://doi.org/10.17035/d.2022.0217821122).
References
Strouboulis T, Babuška I, Copps K. The design and analysis of the generalized finite element method. Comput Methods Appl Mech Eng. 2000;181:43–69.
Strouboulis T, Copps K, Babuška I. The generalized finite element method. Comput Methods Appl Mech Eng. 2001;190:4081–193.
Strouboulis T, Copps K, Babuška I. The generalized finite element method: an example of its implementation and illustration of its performance. Int J Numer Meth Eng. 2000;47:1401–17.
Duarte CAM, Babuška I, Oden JT. Generalized finite element methods for threedimensional structural mechanics problems. Comput Struct. 2000;77:215–32.
Gupta V, Kim DJ, Duarte CA. Analysis and improvements of globallocal enrichments for the generalized finite element method. Comput Methods Appl Mech Eng. 2012;245–246:47–62.
O’Hara P, Duarte CA, Eason T. A twoscale generalized finite element method for interaction and coalescence of multiple crack surfaces. Eng Fract Mech. 2016;163:274–302.
Zhang Q. DOFgathering stable generalized finite element methods for crack problems. Numer Methods Partial Differ Equ. 2020;36:1209–33.
Zhang Q, Cui C. Condensed generalized finite element method. Numer Methods Partial Differ Equ. 2021;37:1847–68.
Iqbal M, Alam K, Ahmad A, Maqsood S, Ullah H, Ullah B. An enriched finite element method for efficient solutions of transient heat diffusion problems with multiple heat sources. Eng Comput. 2022;38:3381–97.
Ma J, Duan Q, Tian R. A generalized finite element method without extra degrees of freedom for large deformation analysis of threedimensional elastic and elastoplastic solids. Comput Methods Appl Mech Eng. 2022;392: 114639.
Zhang Q, Cui C, Banerjee U, Babuška I. A condensed generalized finite element method (CGFEM) for interface problems. Comput Methods Appl Mech Eng. 2022;391: 114527.
Belytschko T, Black T. Elastic crack growth in finite elements with minimal remeshing. Int J Numer Meth Eng. 1999;45:601–20.
Moës N, Dolbow J, Belytschko T. A finite element method for crack growth without remeshing. Int J Numer Meth Eng. 1999;46:131–50.
Fries TP, Belytschko T. The intrinsic xfem: a method for arbitrary discontinuities without additional unknowns. Int J Numer Meth Eng. 2006;68:1358–85.
Tian R, Wen L. Improved xfem—an extradof free, wellconditioning, and interpolating xfem. Comput Methods Appl Mech Eng. 2015;285:639–58.
Yu T, Bui TQ. Numerical simulation of 2d weak and strong discontinuities by a novel approach based on XFEM with local mesh refinement. Comput Struct. 2018;196:112–33.
Bybordiani M, Latifaghili A, Soares D Jr, Godinho L, DiasdaCosta D. An xfem multilayered Heaviside enrichment for fracture propogation with reduced enhanced degrees of freedom. Int J Numer Meth Eng. 2021;122:3425–47.
Tian W, Huang J, Jiang Y, Chen R. A parallel scalable domain decomposition preconditioner for elastic crack simulation using XFEM. Int J Numer Meth Eng. 2022;123:3393–417.
Hansbo A, Hansbo P. An unfitted finite element method, based on Nitche’s method, for elliptic interface problems. Comput Methods Appl Mech Eng. 2002;191:5537–52.
Hansbo A, Hansbo P. A finite element method for the simulation of strong and weak discontinuities in solid mechanics. Comput Methods Appl Mech Eng. 2004;193:3523–40.
Burman E, Claus S, Hansbo P, Larson MG, Massing A. CutFEM: discretizing geometry and partial differential equations. Int J Numer Meth Eng. 2015;104:472–501.
Claus S, Kerfriden P. A CutFEM method for twophase flow problems. Comput Methods Appl Mech Eng. 2019;348:185–206.
Lozinski A. CutFEM without cutting the mesh cells: a new way to impose Dirichlet and Neumann boundary conditions on unfitted meshes. Comput Methods Appl Mech Eng. 2019;356:75–100.
Kerfriden P, Claus S, Mihai IC. A mixeddimensional cutfem methodology for the simulation of fibrereinforced composites. Adv Model Simul Eng Sci. 2020;7:18.
Mikaeili E, Claus S, Kerfriden P. Concurrent multiscale analysis without meshing: microscale representation with CutFEM and micro/macro model blending. Comput Methods Appl Mech Eng. 2022;393: 114807.
Melenk JM, Babuška I. The partition of unity finite element method: basic theory and applications. Comput Methods Appl Mech Eng. 1996;139:289–314.
Babuška I, Melenk JM. The partition of unity method. Int J Numer Meth Eng. 1997;40:727–58.
Song JH, Areias PMA, Belytschko T. A method for dynamic crack and shear band propagation with phantom nodes. Int J Numer Meth Eng. 2006;67:868–93.
Aragón AM, Simone A. The discontinuityenriched finite element method. Int J Numer Meth Eng. 2017;112:1589–613.
van den Boom SJ, Zhang J, van Keulen F, Aragón AM. A stable interfaceenriched formulation for immersed domains with strong enforcement of essential boundary conditions. Int J Numer Meth Eng. 2019;120:1163–83.
Soghrati S, Aragón AM, Duarte CA, Geubelle PH. An interfaceenriched generalized fem for problems with discontinuous gradient fields. Int J Numer Meth Eng. 2012;89:991–1008.
Liu D, van den Boom SJ, Simone A, Aragón AM. An interfaceenriched generalized finite element formulation for lockingfree coupling of nonconforming discretizations and contact. Comput Mech. 2022. https://doi.org/10.1007/s0046602202159w.
Oliver J, Huespe AE, Sanchez PJ. A comparative study on finite elements for capturing strong discontinuities: EFEM vs XFEM. Comput Methods Appl Mech Eng. 2006;195:4732–52.
DiasdaCosta D, Alfaiate J, Sluys LJ, Areias P, Julio E. An embedded formulation with conforming finite elements to capture strong discontinuities. Int J Numer Meth Eng. 2013;93:224–44.
Nikolić M, Do XN, Ibrahimbegovic A, Nikolić Ž. Crack propagation in dynamics by embedded strong discontinuity approach: enhanced solid versus discrete lattice model. Comput Methods Appl Mech Eng. 2018;340:480–99.
Freeman BL, BonillaVillalba P, Mihai IC, Alnaas WF, Jefferson AD. A specialised finite element for simulating selfhealing quasibrittle materials. Adv Model Simul Eng Sci. 2020;7:32.
Liu F. Modeling hydraulic fracture propagation in permeable media with an embedded strong discontinuity approach. Int J Numer Anal Meth Geomech. 2020;44:1634–55.
Stanić A, Brank B, Ibrahimbegovic A, Matthies HG. Crack propagation simulation without crack tracking algorithm: embedded discontinuity formulation with incompatible modes. Comput Methods Appl Mech Eng. 2021;386: 114090.
Saksala T. Effect of inherent microcrack populations on rock tensile fracture behaviour: numerical study based on embedded discontinuity finite elements. Acta Geotech. 2022;17:2079–99.
Tian R. An extradoffree and linearly independent enrichments in GFEM. Comput Methods Appl Mech Eng. 2013;266:1–22.
Hou W, Jiang K, Zhu X, Shen Y, Li Y, Zhang X, Hu P. Extended isogeometric analysis with strong imposing essential boundary conditions for weak discontinuous problems using B++ splines. Comput Methods Appl Mech Eng. 2020;370: 113135.
Babuška I. The finite element method with penalty. Math Comp. 1973;27:221–8.
Hansbo P. Nitsche’s method for interface problems in computational mechanics. GAMMMitteilungen. 2005;28:183–206.
Rüberg T, Cirak F, García Aznar JM. An unstructured immersed finite element method for nonlinear solid mechanics. Adv Model Simul Eng Sci. 2016;3:22.
Babuška I. The finite element method with lagrangian multipliers. Numerische Math. 1973;20:179–92.
Moës N, Béchet E, Tourbier M. Imposing Dirichlet boundary conditions in the extended finite element method. Int J Numer Meth Eng. 2006;67:1641–69.
Kumar AV, Padmanabhan S, Burla R. Implicit boundary method for finite element analysis using nonconforming mesh or grid. Int J Numer Meth Eng. 2008;74:1421–47.
Pande S, Papadopoulos P, Babuška I. A cutcell finite element method for Poisson’s equation on arbitrary planar domains. Comput Methods Appl Mech Eng. 2021;383: 113875.
Badia S, Verdugo F, Martín AF. The aggregated unfitted finite element method for elliptic problems. Comput Methods Appl Mech Eng. 2018;336:533–53.
Burman E, Cicuttin M, Delay G, Ern A. An unfitted hybrid highorder method with cell agglomeration for elliptic interface problems. SIAM J Sci Comput. 2021;43:A859–82.
Hansbo P, Larson MG, Zahedi S. A cut finite element method for a Stokes interface problem. Appl Numer Math. 2014;85:90–114.
Höllig K, Reif U, Wipper J. Weighted extended bspline approximation of Dirichlet problems. SIAM J Numer Anal. 2001;39:442–62.
Main A, Scovazzi G. The shifted boundary method for embedded domain computations. Part 1: Poisson and Stokes problems. J Comput Phys. 2018;372:972–95.
Li K, Atallah NM, Main A, Scovazzi G. The shifted interface method: a flexible approach to embedded interface computations. Int J Numer Meth Eng. 2020;121:492–518.
Li K, Atallah NM, RodriguezFerran A, Valiveti DM, Scovazzi G. The shifted fracture method. Int J Numer Meth Eng. 2021;122(6641–66791): 114527.
Acknowledgements
I would like to thank the Resilient Structures and Construction Materials (RESCOM) group at Cardiff University for their support throughout and in particular Tony Jefferson for the numerous inspiring, helpful discussions and advice.
Funding
Financial support from the UKRIEPSRC Grant EP/P02081X/1 “Resilient Materials for Life (RM4L)” is gratefully acknowledged.
Author information
Authors and Affiliations
Contributions
The author read and approved the final mansucript.
Corresponding author
Ethics declarations
Competing interests
The author declares that they have no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Freeman, B.L. A multipoint constraint unfitted finite element method. Adv. Model. and Simul. in Eng. Sci. 9, 19 (2022). https://doi.org/10.1186/s4032302200232w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s4032302200232w
Keywords
 Unfitted finite element method
 Cut element stability
 Unfitted boundary conditions
 Multipoint constraints
 Unfitted interface
 Extra dof free