Skip to main content
  • Research article
  • Open access
  • Published:

A mixed-dimensional CutFEM methodology for the simulation of fibre-reinforced composites

Abstract

We develop a novel unfitted finite element solver for composite materials with quasi-1D fibrous reinforcements. The method belongs to the class of mixed-dimensional non-conforming finite element solvers. The fibres are treated as 1D structural elements that may intersect the mesh of the embedding structure in an arbitrary manner. No meshing of the unidimensional elements is required. Instead, fibre solution fields are described using the trace of the background mesh. A regularised “cut” finite element formulation is carefully designed to ensure that analyses using such non-conforming finite element descriptions are stable. We also design a dedicated primal/dual operator splitting scheme to resolve the coupling between structure and fibrous reinforcements efficiently. The novel computational strategy is applied to the solution of stiff computational models whereby fibrous reinforcements may lose their bond to the embedding material above a certain level of stress. It is shown that the primal-dual 1D/3D CutFEM scheme is convergent and well-behaved in variety of scenarios involving such highly nonlinear structural computations.

Introduction

In this paper, we develop an efficient unfitted finite element solver for composite materials and structures featuring fibrous reinforcements. Such composites are commonly used in industry. In civil engineering, standard concrete structures are reinforced with steel lattices to circumvent the poor ability of concrete to keep its integrity under tensile loading. Short fibres may be also be added to concrete mixes to increase their strength and ductility. To characterise and certify engineering structures employing such reinforced composites, it is important to devise efficient and reliable finite element solvers to simulate the associated micro-mechanics.

Simulations involving “quasi-1D” embedded structural elements are difficult to carry in a standard finite element context. Indeed, representing such slender elements using finite elements that are dimensionality consistent with the embedding space leads to prohibitively large computational models. The 3D analysis of large-scale slender elements may at best be performed locally [23]. Away from regions of interest, asymptotic or numerical cross-sectional approximations of the mechanics of these structures need to be derived for numerical models to be tractable. In the context of quasi-1D embedded fibres, slender elements are typically represented as unidimensional structures with the properties of bars or beams. The mechanical coupling between these lower-dimensional elements and the surrounding domain needs to be handled with care when developing finite element solvers.

Following the taxonomy preposed in [23], three traditional finite element methodologies may be distinguished. In the diffuse approach (see e.g. [28]), stiffness is added to the element of the embedded domain that are intersected by reinforcements, leading to the desired local anisotropy. Such formulations are restricted to the analysis of arrays of slender elements that are geometrically regular and mechanically perfectly bonded to the surrounding material. In the discrete, conforming approach (see e.g. [28]), reinforcements are geometrically represented by edges of the embedding finite element mesh. The advantage is that slender elements may now possess their own kinematics, allowing to simulate sliding for example. However, elements of the embedding domain need to conform to the geometry of the fibrous reinforcement, leading to additional cost, and potentially to meshing difficulties. Finally, modern computational approach may use an embedded representation of fibres, whereby fibres are explicitly represented but may cross elements of the surrounding material in an arbitrary manner [5, 17, 23, 27]. The present methodology belongs to the latter class of methods.

We focus in this paper on the simulation of 2D and 3D structures reinforced by 1D unidimensional structural elements. The reinforcements will be straight and we will assume that they have no bending energy (i.e. bars in tension and compression). In this specific but important engineering context, we propose to develop a novel primal/dual CutFEM approach to model the assembly of composite components. The fibres will possess their own degrees of freedom, as in [10, 15]. This fundamental feature will be leveraged to represent sliding behaviours between the fibres and the surrounding material. Consistently with the CutFEM framework [6, 18], no specific computational mesh will be created to represent the 1D reinforcements. Instead unidimensional mechanical fields will be described as the trace of intersected embedded elements. Such formulations have already been explored to solve Laplace–Beltrami equations over embedded manifolds [9, 10], and to solve fluid flow problems in networks of cracks [10, 14, 16].

The novelty of the CutFEM approach proposed in the present paper is threefold. Firstly, we extend the “CutFEM on embedded manifolds” premise to the solution of advanced nonlinear solid mechanics problems involving unidimensional reinforcements. Secondly, we propose an efficient primal-dual numerical algorithm based on the LaTIn algorithm [3, 21, 22] to solve the 1D/3D coupled problem iteratively. This primal-dual formulation is a natural extension of our previous work on primal-dual CutFEM technologies for unilateral contact problems [12] (see [1, 8, 19, 26] for closely related pieces of work from other research groups), and is relatively new in the context of CutFEM approaches, where consistent penalty formulations are usually chosen as a first step to the development of a coupling strategy [7, 11, 13]. Finally, CutFEM formulations need to be carefully regularised for system matrices to be well conditioned and, in the context of primal-dual algorithms, for inf-sup stability conditions to be satisfied. The regularisation technique proposed in this paper departs from earlier work [10] in that it is devised specifically for primal-dual coupling conditions and that it relies on a consistent combination of ghost penalty regularisation [6] and added diffusion in the band of intersected embedding elements [10].

The proposed CutFEM methodology is to be applied to a family of nonlinear problems that are relevant to civil engineering design. We have two application targets in mind. Firstly, we wish to develop a solver for fracture in short-fibre reinforced concrete structures. Inclusions and inclusion/matrix nonlinear interface conditions will be handled efficiently using the primal-dual CutFEM algorithm presented in [11]. The proposed primal-dual algorithm will allow us to represent stiff slender reinforcements using a very similar algorithm, ensuring that the new developments proposed here are fully compatible with our existing computational library. Matrix failure will be represented by using the phase-field model and staggered solution algorithm presented in [25], without modification. Secondly, we wish to develop a methodology to simulate fibre pull-out. To this end, another novel element of the paper is the development of a new formulation for imperfectly bonded 1D fibres in 3D materials. More precisely, sliding will be allowed above a certain threshold, following a thermodynamically consistent approach, yielding a primal-dual stiff friction model (or a model of perfect plasticity with infinite stiffness for the 1D/3D interface) whose solution will be naturally handled by the LaTIn algorithm.

The article is organised as follows. In “Embedded fibre problem” section, we present the problem setting. Straight elastic unidimensional fibres are embedded in a background elastic (potentially damageable) material. The new imperfect bonding formulation is presented next. In “Stabilised enriched finite element formulation” section, we present the primal-dual cut finite element formulation that will be dedicated to the solution of composite materials with fibrous reinforcements. Stabilisation aspects are carefully detailed in this section. The LaTIn iterative scheme is detailed in “Operator-splitting LaTIn algorithm” section. Finally, numerical results to demonstrate the efficiency and versatility of the proposed solver are reported and discussed in “Numerical examples” section (Fig. 1).

Embedded fibre problem

Fig. 1
figure 1

Computational domain with two embedded 1D fibres. The fibres have no bending energy

We consider the problem of an elastic body occupying domain \(\Omega \subset {\mathbb {R}}^d\) in dimension \(d \in \{ 2 , \, 3\}\) (see Fig. 1). The material is reinforced by \(N_f\) straight unidimensional fibres. The ith fibre occupies domain

$$\begin{aligned} \Gamma _f^i = \left\{ x \in \Omega \, \left| \, x = P_1^i + \alpha (P^i_2-P^i_1), \quad \alpha \in [0 \, 1] \right. \right\} \, , \end{aligned}$$
(1)

where \(P_1^i\) and \(P_2^i\) are two elements of \({\mathbb {R}}^d\). As a particular case, \(P_1^i\) and \(P_2^i\) are the extremities of fibre i if both points belong to domain \(\Omega \). We define \(\Gamma _f = \bigcup _{i=1}^{n_f} \Gamma _f^i\) and we further assume that \( \Gamma _f^i \cap \Gamma ^j_f = \emptyset \) if \(i \ne j\) (i.e. the fibres do not intersect). We define the director vector \(t_f^i\) of the ith fibre as \(t_f^i = \frac{(P^i_2-P^i_1)}{ \Vert P^i_2-P^i_1 \Vert _2}\). The norm used is the euclidean norm. Here, \(t_f\) will denote the field defined over \(\Gamma _f\) whose value is \(t_f^i\) in \(\Gamma _f^i\). We also introduce basis \(n_f\) (respectively \((n_f^1, \, n_f^2)\)) for the line (respectively the plane) normal to \(t_f\), in the case \(d=2\) (respectively \(d=3\)). The boundary of domain \(\Omega \) is denoted by \(\partial \Omega \) and is additively split into a Dirichlet part \(\partial \Omega _d\) and a Neumann part \(\partial \Omega _n\).

We denote by \(u_m : \Omega \rightarrow {\mathbb {R}}^d\) the displacement field of the matrix of the composite material. Here, \(u_m\) will be searched in Sobolov space \({\mathcal {U}}_m = {\mathcal {H}}^1(\Omega )\) of functions whose derivatives up to order one are square integrable. The displacement of the \(i^\text {th}\) fibre is denoted by \(u_f^i : \Gamma _f^i \rightarrow {\mathbb {R}}^d\), and we additionally introduce notation \(u_f : \Gamma _f \rightarrow {\mathbb {R}}^d\) to denote the field of \(\Gamma _f \) whose restriction to subdomain \(\Gamma ^i_f \subset \Gamma _f\) is \(u_f^i\). We seek field \(u_f\) in product space \( {\mathcal {U}}_f = \prod _{i=1}^{n_f} {\mathcal {H}}^1(\Gamma ^i_f)\).

Elastic composite with perfectly bonded embedded fibres

To ease the reader into the proposed numerical scheme, we first introduce a simple solid mechanics problem whereby the matrix and fibres are linear elastic, and where the bonding between these two phases is perfect (i.e. there is no displacement jump). We therefore seek a solution \(u :=(u_m,u_f) \in {\mathcal {U}}_m \times {\mathcal {U}}_f\) minimising the energy functional

$$\begin{aligned} J(u_m,u_f) = E_m(u_m) + E_f(u_f) \, , \end{aligned}$$
(2)

where the potential energy functionals \(E_m\) and \(E_f\) are defined by

$$\begin{aligned} E_m(u_m) = \frac{1}{2} \int _\Omega \nabla _s u_m : C : \nabla _s u_m \, dx- \int _\Omega f_d \cdot u_m \, dx - \int _{\partial \Omega _n} t_d \cdot u_m \, dx \end{aligned}$$
(3)

and

$$\begin{aligned} E_f(u_f) = \frac{1}{2} \sum _ {i=1}^{n_f}\int _{\Gamma ^i_f} k_f \nabla _f u_f : \nabla _f u_f \, dx \, , \end{aligned}$$
(4)

respectively. In the previous expressions, \(\nabla _s \, . \, = \frac{1}{2} \left( \nabla \, . \, + (\nabla \, . \, )^T \right) \) is the symmetric part of the displacement gradient. \(\nabla _f\) is the projected gradient operator defined as

$$\begin{aligned} \nabla _f \, . \, = ( t_f \otimes t_f ) : \nabla \, . \, \, . \end{aligned}$$
(5)

Field \(f_d : \Omega \rightarrow {\mathbb {R}}^d \) is a volume source term, and \(t_d : \partial \Omega _n \rightarrow {\mathbb {R}}^d \) is a field of Neumann conditions. Finally, \(k_f \in {{\mathbb {R}}}\) is a fibre stiffness parameter, and \(C \in ({\mathbb {R}}^d)^4\) is the fourth-order Hooke tensor defined by its action, which in the case of isotropic materials is

$$\begin{aligned} C : \nabla _s \, . \, = \lambda \, \text {Trace}( \nabla _s \, . \, ) I_d + 2 \mu \, \nabla _s \, . \, \, . \end{aligned}$$
(6)

In the previous expression \(I_d \) is the identity tensor, and \(\lambda \) and \(\mu \) are the Lamé constants. Importantly, due to the action of the projector gradient operator, the fibres have no bending energy.

The minimisation of J must be performed under constraints

$$\begin{aligned} u_m = u_d \qquad \text {in} \quad \partial \Omega _d \end{aligned}$$
(7)

and

$$\begin{aligned} u_m - u_f = 0 \qquad \text {in} \quad \partial \Gamma _f \, . \end{aligned}$$
(8)

The last equality enforces perfect bonding between matrix and elastic fibres.

The problem of minimisation under constraint can be recast as the unconstrained extremisation of a Lagrangian. The corresponding variational principle is the following Euler-Lagrange system of coupled equations: Find \( (u_m,u_f,\lambda ) \in {\mathcal {U}}_m \times {\mathcal {U}}_f \times {\mathcal {Z}}\) such that for all \((\delta u_m, \delta u_f, \delta \lambda ) \in {\mathcal {U}}_m \times {\mathcal {U}}_f \times {\mathcal {Z}}\)

$$\begin{aligned}&\int _\Omega \nabla _s u_m : C : \nabla _s \delta u_m \, dx + \int _{\Gamma _f} k_f \nabla _f u_f : \nabla _f \delta u_f \, dx - \int _{\Gamma _f} \lambda \, \cdot (\delta u_m- \delta u_f) \, dx \nonumber \\&\quad = \displaystyle \int _\Omega f_d \cdot \delta u_m \, dx + \int _{\partial \Omega _n} t_d \cdot \delta u_m \, dx \, , \end{aligned}$$
(9)

and

$$\begin{aligned} \int _{\Gamma _f} \delta \lambda \, \cdot (u_m - u_f) \, dx = 0 \, \end{aligned}$$
(10)

with the additional condition that Dirichlet condition (7) must be satisfied. We have used notation \( {\mathcal {Z}} = {\mathcal {L}}^2(\Gamma _f)\). Here, the Lagrange multiplier field \(\lambda \in {\mathcal {Z}} \) can be interpreted as the opposite of a density of forces applied by the embedding material to the 1D fibres (choose \(\delta u_m = 0\) in (9) to see this).

For later use we define the jump operator by \([u] := u_m - u_f\), where we implicitly assume the existence of the cartesian product u between \(u_m\) and \(u_f\).

Embedded elastic fibres with perfectly plastic bonding

We now relax perfect bonding condition (8) and only impose it in directions that are normal to the fibre directors, i.e.

$$\begin{aligned} \forall i \in \llbracket 1 , d-1 \rrbracket , \qquad [u] \cdot n_f^i = 0 \qquad \text {in} \, \Gamma ^i_f \, , \end{aligned}$$
(11)

which may also be compactly written as

$$\begin{aligned} \displaystyle \Pi _f^\perp [u] = 0 \qquad \text {in} \, \Gamma _f \, , \end{aligned}$$
(12)

where \( \displaystyle \Pi _f^\perp \, . \, = \left( I_d - t_f \otimes t_f \right) \, . \, \). For later use, we split \(\lambda \) as follows:

$$\begin{aligned} \lambda = \Pi _f \lambda + \Pi _f^\perp \lambda := (I_d - \Pi ^\perp _f) \lambda + \Pi _f^\perp \lambda = (t_f \otimes t_f) \lambda + \Pi _f^\perp \lambda =: \lambda ^{\Pi }_f \, t_f + \Pi _f^\perp \lambda \, , \end{aligned}$$
(13)

We assume that equilibrium Eq. (9) is satisfied. Due to the relaxation of the bonding conditions, \(\lambda ^{\Pi }_f\) is now undetermined. In the following, we introduce a rate-independent plasticity-like evolution law for this quantity, following the classical framework of thermodynamically consistent materials.

The nonlinear time analysis will be conducted over pseudo-time interval \({\mathcal {T}} = [0 \ T]\). Field \(u_m\), \(u_f\) and \(\lambda \) are now defined over product spaces \({\mathcal {U}}_m \times {\mathcal {T}}\), \({\mathcal {U}}_f \times {\mathcal {T}}\) and \({\mathcal {Z}} \times {\mathcal {T}}\), respectively. For the sake of simplicity, the initial conditions \(u_m( \, . \, , 0)\) and \(u_f( \, . \, , 0)\) will be set to zero.

At any time \(t \in {\mathcal {T}} \backslash \{0\}\), the energy dissipation is defined by

$$\begin{aligned} {\mathcal {D}}(u_m,u_f,\lambda ) = {\mathcal {P}}_e( u_m ,u_f ) - \frac{d}{dt} \left( \psi (u_m, u_f) \right) \, , \end{aligned}$$
(14)

where the power of the external forces is

$$\begin{aligned} {\mathcal {P}}_e( u_m,u_f ) =\left( \int _\Omega f_d \cdot {\dot{u}}_m \, dx + \int _{\partial \Omega _n} t_d \cdot {\dot{u}}_m \, dx \right) \end{aligned}$$
(15)

and the elastic energy of the composite is defined as

$$\begin{aligned} \psi (u_m, u_f) = \frac{1}{2} \left( \int _\Omega \nabla _s u_m : C : \nabla _s u_m \, dx + \int _{\Gamma _f} k_f \nabla _f u_f : \nabla _f u_f \, dx \right) \, . \end{aligned}$$
(16)

Replacing the test functions by velocities in (9), the energy dissipation takes the following expression:

$$\begin{aligned} {\mathcal {D}}(u_m,u_f,\lambda ) = \int _{\Gamma _f} \lambda ^\Pi \, \cdot [ {\dot{u}} ]^\Pi \, dx \, \end{aligned}$$
(17)

where \( \lambda ^\Pi := t_f \cdot \lambda \).

We now postulate that solution \((u_m,u_f,\lambda )\) satisfies the principle of maximum energy dissipation at all times, subject to the following inequality constraint:

$$\begin{aligned} \quad f_f( \lambda ^\Pi ) := | \lambda ^\Pi | - Y \le 0 \, \qquad \text {in } \Gamma _f \, , \end{aligned}$$
(18)

where Y is the unique positive scalar parameter of the friction model. The constrained maximisation principle will yield an expression for the evolution of \( \lambda ^\Pi \), which is ensured by the convexity of \(f_f\). Introducing and extremising Lagrangian

$$\begin{aligned} {\mathcal {L}}^\Pi _f(\lambda ^\Pi ,\gamma _f) := {\mathcal {D}}( u_m , u_f , \lambda ^\Pi ) +\int _{\Gamma _f} \gamma _f f_f( \lambda ^\Pi ) \, dx \, \end{aligned}$$
(19)

with respect to \(\lambda ^\Pi \) and Lagrange multiplier \(\gamma _f\), we obtain the usual Karush–Kuhn–Tucker conditions, which are composed of the three relations

$$\begin{aligned} f_f( \lambda ^\Pi ) \le 0 \qquad \gamma _f f_f( \lambda ^\Pi ) = 0 \qquad \gamma _f \ge 0 \, \end{aligned}$$
(20)

and of variational equality

$$\begin{aligned} \forall \delta \lambda ^\Pi \in {\mathcal {L}}^2(\Gamma _f), \quad {\mathcal {D}}(u_m,u_f, \delta \lambda ) + \int _{\Gamma _f} \gamma _f f'_f( \lambda ^\Pi ) ( \delta \lambda \cdot t_f ) \, dx \, = 0, \end{aligned}$$
(21)

where \(f'_f( \, . \, ) = \text {sign}( \, . \, )\). The last equation yields the following expression for the Lagrange multiplier:

$$\begin{aligned} \gamma _f = - \text {sign}( \lambda ^\Pi ) \, [ {\dot{u}} ]^\Pi \, . \end{aligned}$$
(22)

We can finally state the system of equations that governs the evolution of the composite with imperfectly bonded fibres. The system is composed of equilibrium Eq. (9) perfect normal bonding Eq. (11) and the system of equations for the plastic flow of the fibre/matrix bond in the direction of the fibre director vectors

$$\begin{aligned} f_f( \lambda ^\Pi ) \le 0 \qquad f_f( \lambda ^\Pi ) \, [ {\dot{u}} ]^\Pi = 0 \qquad \text {sign}( \lambda ^\Pi ) \, [ {\dot{u}} ]^\Pi \le 0 \, . \end{aligned}$$
(23)

The last inequality implies, in particular, that the dissipation is always positive, which means that the proposed model satisfies the second principle of thermodynamics. Whilst the two first equations allow us to calculate the amplitude of \(\lambda ^\Pi \), the last one yields its sign. It is clear that \(\lambda ^\Pi \) acts in opposition to the motion of the matrix relative to the fibres.

Stabilised enriched finite element formulation

Time discretisation

We use the implicit Euler scheme to discretise the time derivatives that appear in the plasticity model. \({\mathcal {T}}\) is split into \(n_t\) time slabs of equal length \(\Delta T\). The resulting discrete time grid is denoted by \({\mathcal {T}}_{\Delta t} = \{ t_0, t_1 , \, ... \, , t_{n_t} \} \). At time \(t_{n}\), \(n>0\), system (23) becomes:

$$\begin{aligned} \left\{ \begin{array}{l} \displaystyle f_f \left( \lambda ^\Pi (t_{n}) \right) \le 0 \\ \displaystyle f_f \left( \lambda ^\Pi (t_{n}) \right) \, \left( [ u(t_{n}) ]^\Pi - [ u(t_{n-1}) ]^\Pi \right) = 0 \\ \displaystyle \text {sign} \left( \lambda ^\Pi (t_{n}) \right) \, \left( [ u(t_{n}) ]^\Pi - [ u(t_{n-1}) ]^\Pi \right) \le 0 \, . \end{array} \right. \end{aligned}$$
(24)

Notice that step length \(\Delta T\) does not appear in this set of rate-independent equations (i.e. pseudo-time dependency).

Cut finite element formulation

Finite element spaces

We will solve the composite problem using an enriched finite element formulation. In particular, the embedded fibres will possess their own degrees of freedom defined via the finite element space of the embedding material restricted to the band of intersected elements.

Let us introduce a triangulation \({\mathcal {T}}_h\) of domain \(\Omega \). Here, h is the diameter of the smallest sphere containing the elements of \({\mathcal {T}}_h\). We now define the finite element space \({\mathcal {U}}_h \subset {\mathcal {U}}_{m}\) by

$$\begin{aligned} {\mathcal {U}}_h: = \{ u \in {\mathcal {C}}^0(\Omega ) \, | \, u_{|K} \in {\mathcal {P}}^1(K) \, \forall K \in {\mathcal {T}}_h \} \, . \end{aligned}$$
(25)

Next, we define the set of all elements of \({\mathcal {T}}_h\) that have a non-zero intersection with \(\Gamma _f\) (i.e. grey elements in Fig. 2) by

$$\begin{aligned} {\mathcal {G}}_h := \{ K \in {\mathcal {T}}_h \, | \, K \cap \Gamma _f \ne \emptyset \} \, . \end{aligned}$$
(26)

The domain corresponding to this set is denoted by \(G_h := \bigcup _{K \in {\mathcal {G}}_h } K \). Importantly, all fields defined over the embedded fibres will be represented by the restriction of finite element fields defined over \(G_h\). We define the extended (in the sense extended from 1D embedded domain to the surrounding surface or volume) fibre finite element space \({\mathcal {W}}_h\) by

$$\begin{aligned} {\mathcal {W}}_h := \{ u \in {\mathcal {C}}^0(G_h) \, | \, u_{|K} \in {\mathcal {P}}^1(K) \, \forall K \in {\mathcal {G}}_h \} \, . \end{aligned}$$
(27)

Of key importance to CutFEM methods [7, 12, 18] is the introduction of regularisation terms to ensure that system matrices remain well-conditioned, notably by applying some form of ghost-penalty [6] stabilisation. To this end, we define the set of intersected element edges by

$$\begin{aligned} {\mathcal {F}}_I:= \{ F = K \cap K' \, | \, K \in {\mathcal {G}}_h \text{ and } K' \in {\mathcal {G}}_h \} \, . \end{aligned}$$
(28)
Fig. 2
figure 2

Primal and dual fibre fields are represented by the trace of bulk finite element spaces

Finite element formulation At time \(t_{n}\), \(n>0\), we look for a solution composed of fields \(u_h := (u_{m,h},u_{f,h},\lambda _h,{\tilde{w}}_h,{\tilde{\lambda }}_{h}) \in {\mathcal {U}}_h \times {\mathcal {W}}_h \times {\mathcal {W}}_h \times {\mathcal {Z}} \times {\mathcal {Z}}\). Here, \(u_{m,h}\) is the finite element displacement in the matrix phase. \(u_{f,h}\) is a finite element field defined over the band of elements intersected by the fibers, and whose restriction to the 1D fiber domains will be our finite element approximation of the fiber displacements. \(\lambda _{h}\) is the extended approximation of the Lagrange multiplier field, which will be sought for in the same space as \(u_{f,h}\). Fields \({\tilde{w}}_h\) and \({\tilde{\lambda }}_{h}\) are additional variables that need to be introduced to stabilise the CutFEM formulation. \({\tilde{\lambda }}_{h}\) is a fiber Lagrange multiplier field that belongs in \({\mathcal {L}}^2(\Gamma _f)\). Finally, \({\tilde{w}}_h\) is a field that represents the jump of displacement between the fibers and the surrounding matrix material. This field will also be looked for in \({\mathcal {L}}^2(\Gamma _f)\). Fields \({\tilde{w}}_h\) and \({\tilde{\lambda }}_{h}\) are not discretised a priori. Their numerical values will only be required at quadrature points defined over interface \(\Gamma _f\) (through the discrete evaluation of integrals). The 5 fields introduced here are fully defined by the set of equations provided below.

To avoid cluttered symbolic expressions, we will omit the dependency of solution fields to time. The only exception is for quantities at time \(t_{n-1}\), which will be indicated via the \(^\star \) superscript. Other notations, notably the use of superscript \(^\Pi \) and jump symbol \([ \, ]\) are meant to be consistent with the developments of the previous sections, and should be self-explanatory.

The enriched finite element formulation of the embedded fibre problem employs a two-scale formalism that requires splitting \({\mathcal {Z}}\) additively into the restriction of \({\mathcal {W}}_h\) onto \(\Gamma _f\) and its supplementary space. Accordingly, the stabilised and extended \({\mathcal {L}}^2\)-projection \(\lambda _h \in {\mathcal {W}}_h\) of field \({\tilde{\lambda }}_h \in {\mathcal {Z}}\) is defined by

$$\begin{aligned} \forall \delta \lambda _h \in \, {\mathcal {W}}_h , \qquad ( \lambda _h - {\tilde{\lambda }}_h , \delta \lambda _h)_{{\mathcal {L}}^2(\Gamma _f)} + s_{\heartsuit ,h}(\lambda _h , \delta \lambda _h) = 0. \end{aligned}$$
(29)

Here, term \(s_{\heartsuit ,h}\) is a regularisation term that will be discussed in the next section.

Now, solution \((u_{m,h},u_{f,h},\lambda _h,{\tilde{w}}_h,{\tilde{\lambda }}_{h})\) must satisfy the previous identity, the Dirichlet conditions for \(u_{m,h}\) and the following variational statement For all \((\delta u_{m,h}, \delta u_{f,h}) \in {\mathcal {U}}_h \times {\mathcal {W}}_h \), and providing that \(\delta u_{m,h}\) satisfies the homogeneous Dirichlet boundary conditions,

$$\begin{aligned} a_h \left( (u_{m,h},u_{f,h}),(\delta u_{m,h}, \delta u_{f,h}) \right) - \left( \lambda _h, [ \delta u_h] \right) _{{\mathcal {L}}^2(\Gamma _f)} = l_h \left( (\delta u_{m,h}, \delta u_{f,h}) \right) \, . \end{aligned}$$
(30)

This variational equality is complemented by the Signorini-type law for the \(\tilde{ \, . \, }\) quantities

$$\begin{aligned} \text {locally in } \Gamma _f , \qquad \left\{ \begin{array}{l} \displaystyle f_f \left( {\tilde{\lambda }}_h^\Pi \right) \le 0 \\ \displaystyle f_f \left( {\tilde{\lambda }}_h^\Pi \right) . \left( {\tilde{w}}_h ^\Pi - {{\tilde{w}}_h^{\star \Pi }} \right) = 0 \\ \displaystyle \text {sign} \left( {\tilde{\lambda }}_h^\Pi \right) \, \left( {\tilde{w}}_h ^\Pi - {{\tilde{w}}_h^{\star \Pi }} \right) \le 0 \, , \end{array} \right. \end{aligned}$$
(31)

and by \(d-1\) scalar equality constraints

$$\begin{aligned} \text {locally in }\Gamma _f , \qquad \Pi _f^\perp {\tilde{w}}_h = 0 \, . \end{aligned}$$
(32)

Last, the following closure equation is introduced, following [12]

$$\begin{aligned} (\lambda _h - {\tilde{\lambda }}_h) -\gamma \left( [ u_h]- {\tilde{w}}_h \right) =0 \, . \end{aligned}$$
(33)

The last equation regularises the \(\tilde{ \, . \, }\) interface quantities by penalising the distance to their \(._h\) bulk counterpart. Parameter \(\gamma \) must be strictly positive. The bilinear and linear forms used in (30) are respectively defined by

$$\begin{aligned} \displaystyle a_h \left( (u_{m,h},u_{f,h}),(\delta u_{m,h}, \delta u_{f,h}) \right)= & {} \displaystyle \int _\Omega \nabla _s u_{m,h} : C : \nabla _s \delta u_{m,h} \, dx \nonumber \\&+\, \displaystyle \int _{\Gamma _f} k_f \nabla _f u_{f,h} : \nabla _f \delta u_{f,h} \, dx \nonumber \\&+\, \displaystyle s_{\sharp ,h}(u_{f,h},\delta u_{f,h}) \end{aligned}$$
(34)

and

$$\begin{aligned} l_h \left( (\delta u_{m,h}, \delta u_{f,h}) \right) = \int _\Omega f_d \cdot \delta u_{m,h} \, dx + \int _{\partial \Omega _n} t_d \cdot \delta u_{m,h} \, . \end{aligned}$$
(35)

Here, term \(s_{\sharp ,h}\) is the second regularisation term of the formulation. It is discussed next.

Stabilisation

Without stabilisation (i.e. definition of \(s_{\sharp ,h}\), \(s_{\heartsuit ,h}\) and mixed condition (33)), the 1D-3D CutFEM formulation suffers from several sources of numerical instability.

  1. 1.

    Elements may have a small intersection with a particular fibre, leading to a loss of control of finite element field \(u_{f,h}\) (fibre displacement, which is extended to the band of intersected elements) and finite element field \(\lambda _{f,h}\).

  2. 2.

    The extended fibre kinematics (displacements and Lagrange multiplers) allows zero energy modes to be represented, leading to singular systems of equations.

  3. 3.

    Uncontrolled oscillatory modes may appear in the Lagrange multiplier fields due to the non-satisfaction of the LBB condition.

These problems will be circumvented via the introduction of the following regularisation term:

$$\begin{aligned} \displaystyle s_{\sharp ,h}(u_{f,h},\delta u_{f,h})= & {} \displaystyle \beta k_f h^{2-d} \sum _{F \in {\mathcal {F}}_I} \int _F \left( [\nabla _f u_{f,h} ] \cdot n_F \right) \left( [ \nabla _f \delta u_{f,h} ] \cdot n_F \right) \, dx \nonumber \\&+\, \displaystyle \zeta k_f h^{1-d} \int _{G_h} \nabla _f^\perp u_{f,h} : \nabla _f^\perp \delta u_{f,h} \, dx \, , \end{aligned}$$
(36)

where \(n_F\) denotes the facet normal and the orthogonal gradient operator is defined by

$$\begin{aligned} \displaystyle \nabla ^\perp _f u_{f,h} = \nabla u_{f,h} - \sum _{i=1}^d \left( \nabla ( u_{f,h} \cdot e_i) \cdot t_f \right) e_i \otimes t_f \, . \end{aligned}$$
(37)

Ghost penalty parameter \(\beta \) is typically set to 0.1. The corresponding term extends the ellipticity provided by the fibres’ elasticity operator to the entire band of intersected elements, thereby alleviating the ill-conditioning due to uncontrolled modes of \(u_{f,h} \cdot t_f\). Let us emphasise that only the tangential part of \(u_{f,h}\) is controlled by the ghost-penalty stabilisation. This is consistent with the formulation of the deformation energy of the fibres, which develops in reaction to the projected displacement gradient. The normal part of the fibre displacement does not need to be regularised. It will simply follow the bulk displacement, which is trivially enforceable, the fibre having no bending energy to act against the corresponding constraint. This addresses point 1 above.

The second regularisation term eliminates zero energy modes from the system, which addresses point 2 above. It is a diffusion term which is integrated over the entire band of element, although a facet penalisation could have been used as well [10]. This term does not introduce any inconsistency (an extension of the exact solution in the normal direction may be constructed, which has vanishing orthogonal gradient). Typically, a small parameter value \(\zeta = 10^{-5}\) is sufficient to stabilise the formulation.

A similar term is proposed to stabilise the Lagrange multiplier field (see Points 1 and 3 above):

$$\begin{aligned} \displaystyle s_{\heartsuit ,h}(\lambda _h, \delta \lambda _h)= & {} \displaystyle \beta _\lambda \frac{1}{\kappa } h^{6-d} \sum _{F \in {\mathcal {F}}_I} \int _F \left( [\nabla _f \lambda _{h} ] \cdot n_F \right) \left( [ \nabla _f \lambda _{h} ] \cdot n_F \right) \, dx \nonumber \\&+\, \displaystyle \zeta _\lambda \frac{1}{\kappa } h^{5-d} \int _{G_h} \nabla ^\perp _f \lambda _{h} : \nabla ^\perp _f \delta \lambda _{h} \, dx \, , \end{aligned}$$
(38)

where \(\kappa = \frac{E L^{d-1} \, k_f}{E L^{d-1}+k_f}\) is the harmonic mean of the fibre stiffness and the equivalent axial stiffness provided by the matrix. L is a non-dimensionalising parameter that represents the width of the matrix region that reacts to the deformations of a particular fibre. As shown in [12], the first term helps control the spurious oscillations that may appear in the Lagrange multiplier field. The second term eliminates zero energy modes.

We showed in [12] that this type of stabilised primal/dual formulation could be interpreted as an alternative formulation for the stabilised augmented Lagrangian proposed in [8], in the spirit of the classical approach for unilateral contact problems first introduced in [2].

Operator-splitting LaTIn algorithm

Overview

We will develop a LaTIn solver that algorithmically decouples the matrix and fibre finite element problems. LaTIn solvers have proved to be particularly efficient when solving stiff Signorini-type problems without the need to further smoothen or regularise the discrete system of governing equations.

The primal/dual variables of interest are \(F_h = (F_{m,h},F_{f,h}) \in {\mathcal {W}}_h \times {\mathcal {W}}_h\), which represents \(F_{m,h} \equiv \lambda _{h}\) and \(F_{f,h} \equiv - \lambda _{h}\), and \(W_h = (W_{m,h},W_{f,h}) \in {\mathcal {W}}_h \times {\mathcal {W}}_h\) that represents the restriction of \(u_{m,h}\) to the band of intersected elements \(G_h\). One iteration of the LaTIn solver is as follows.

Linear stage Knowing half-iterate \(S^{k-\frac{1}{2}} := \left( W_{h}^{k-\frac{1}{2}},F^{k-\frac{1}{2}}_{h} \right) \), we look for \(S^{k} := \ \left( W_{h}^k,F_h^k \right) \) satisfying differential Eq. (30), where

$$\begin{aligned} \text {in } \, G_h , \qquad W_{h}^k = u_{m,h}^k \, . \end{aligned}$$
(39)

To close the system of equations, we require the iterate to satisfy the descent search direction given by

$$\begin{aligned} \left\{ \begin{array}{l} \displaystyle \left( F_{m,h}^k - F_{m,h}^{k-\frac{1}{2}} \right) + \gamma \left( W_{m,h}^k - W_{m,h}^{k-\frac{1}{2}} \right) =0 \\ \displaystyle \left( F_{f,h}^k - F_{f,h}^{k-\frac{1}{2}} \right) + \gamma \left( W_{f,h}^k - W_{f,h}^{k-\frac{1}{2}} \right) =0 \, . \end{array} \right. \end{aligned}$$
(40)

The differential equations of the matrix and fibres are decoupled by this algorithmic construction. Positive scalar \(\gamma \) was first introduced in Eq. (33). It is such that \(\gamma = {\bar{\gamma }} \kappa L^{-1}\), where \({\bar{\gamma }}\) is a non-dimensional parameter.

Relaxation stage

$$\begin{aligned} S^{k} \leftarrow \mu \, S^{k} + (1-\mu ) \, S^{k-1} \end{aligned}$$
(41)

Relaxation parameter \(\mu \) is typically set to 0.85 (see e.g. [3]).

Local stage Knowing \(S^{k} := \left( W_{h}^{k},F^{k}_h \right) \), we look for \(S^{k+\frac{1}{2}} :=\left( W_{h}^{k+\frac{1}{2}},F_h^{k+\frac{1}{2}} \right) \) satisfying the set of requirements (29), (31), (32), (33) , where we will introduce variables \({\tilde{W}}_{h}^{k+\frac{1}{2}} = \left( {\tilde{W}}_{m,h}^{k+\frac{1}{2}} , {\tilde{W}}_{f,h}^{k+\frac{1}{2}} \right) \in {\mathcal {Z}}^2\) and \({\tilde{F}}^{k+\frac{1}{2}}_{h} = \left( {\tilde{F}}_{m,h}^{k+\frac{1}{2}} , {\tilde{F}}_{f,h}^{k+\frac{1}{2}} \right) \in {\mathcal {Z}}^2 \) and replace all occurrences of symbol \(u_{h}\) by symbol \(W_h\), and \(\lambda _h\) by \(F_{m,h}\). We further require that

$$\begin{aligned} \text {in } \, G_h , \qquad F_{m,h}^{k+\frac{1}{2}} + F_{f,h}^{k+\frac{1}{2}} =0 \, \end{aligned}$$
(42)

and that (29) applies to both \(F_{m,h}^{k+\frac{1}{2}}\) and \(F_{f,h}^{k+\frac{1}{2}}\). To close the system of equations, we require the half-iterate iterate to satisfy the ascent direction

$$\begin{aligned} \left\{ \begin{array}{l} \displaystyle \left( F_{m,h}^{k+\frac{1}{2}} - F_{m,h}^{k} \right) - \gamma \left( W_{m,h}^{k+\frac{1}{2}} - W_{m,h}^{k} \right) =0 \\ \displaystyle \left( F_{f,h}^{k+\frac{1}{2}} - F_{f,h}^{k} \right) - \gamma \left( W_{f,h}^{k+\frac{1}{2}} - W_{f,h}^{k} \right) =0 \, . \end{array} \right. \end{aligned}$$
(43)

Notice that because of closure Eq. (33) and extended projection property (29), the ascent search direction and Eq. (42) are also satisfied by the \(\tilde{ \, . \, }^{k+\frac{1}{2}}\) quantities.

Linear stage: uncoupled systems of equations

The linear stage defined above consists in solving the following set of linear equations, which are independent for each phase of the composite:

$$\begin{aligned}&\displaystyle \forall \, \delta u_{m,h} \in {\mathcal {U}}_{h} , \qquad \int _\Omega \nabla _s u_{m,h}^k : C : \nabla _s \delta u_{m,h} \, dx + \int _{\Gamma _f} \gamma \, u^k_{m,h} \cdot \delta u_{m,h} \, dx \nonumber \\&\qquad \qquad \displaystyle \quad = l(\delta u_{m,h} ) + \int _{\Gamma _f} \left( F^{k-\frac{1}{2}}_{m,h} + \gamma \, W^{k-\frac{1}{2}}_{m,h} \right) \cdot \delta u_{m,h} \, dx \end{aligned}$$
(44)
$$\begin{aligned}&\displaystyle \forall \, \delta u_{f,h} \in {\mathcal {W}}_{h} , \qquad \int _{\Gamma _f} k_f \nabla _f u^k_{f,h} : \nabla _f \delta u_{f,h} \, dx + \int _{\Gamma _f} \gamma \, u^k_{f,h} \cdot \delta u_{f,h} \, dx + s_{\sharp ,h}(u^k_{f,h},\delta u_{f,h}) \nonumber \\&\qquad \qquad \displaystyle \qquad = \int _{\Gamma _f} \left( F^{k-\frac{1}{2}}_{f,h} + \gamma \, W^{k-\frac{1}{2}}_{f,h} \right) \cdot \delta u_{f,h} \, dx \, . \end{aligned}$$
(45)

As detailed previously, the set of equations corresponding to the fibres are regularised by term \(s_{\sharp ,h}\).

“Inf-Sup-regularised” local stage: algorithmic solution

The regularised local stage defined previously can be solved by applying the following algorithmic procedure.

  • Choose an appropriate quadrature strategy for \( \left( {\tilde{F}}_{m,h} , \delta F_{m,h} \right) _{{\mathcal {L}}^2(\Gamma _f)} \), where \( {\tilde{F}}_{m,h} \in {\mathcal {Z}}\) and \(\delta F_{m,h} \in {\mathcal {W}}_h\). At every integration point of set \(\tilde{{\mathcal {I}}}_{f,h}\), solve nonlinear but local Eqs. (31), (32), (42), (43) for \({\tilde{F}}^{k+\frac{1}{2}}_{m,h}\), knowing \( \left( W_{h}^{k},F^{k}_h \right) \). These calculations are classical when applying LaTIn solvers, and are fully detailed for the friction model introduced in this paper in appendix A.

  • Solve extended and stabilised projection problem

    $$\begin{aligned}&\forall \delta F_{m,h} \in \, {\mathcal {W}}_h , \qquad \left( F^{k+\frac{1}{2}}_{m,h} , \delta F_{m,h} \right) _{{\mathcal {L}}^2(\Gamma _f)} + s_\heartsuit \left( F^{k+\frac{1}{2}}_{m,h} , \delta F_{m,h} \right) \nonumber \\&\qquad \qquad \qquad = \left( {\tilde{F}}^{k+\frac{1}{2}}_{m,h} , \delta F_{m,h} \right) _{{\mathcal {L}}^2(\Gamma _f)} . \end{aligned}$$
    (46)
  • Set \(F^{k+\frac{1}{2}}_{f,h} = - F^{k+\frac{1}{2}}_{m,h} \) and recover \(W^{k+\frac{1}{2}}_h\) by using ascent search direction (43).

In our example, we use the quadrature point corresponding to the integral of the product of two piecewise linear fields over \(\Gamma _f\). This introduces a quadrature error, whose effect was studied and discussed in [12].

Numerical examples

All the numerical simulations presented in this section are performed using the LaTIn-CutFEM library [12] developed in finite element package FEniCS [4].

2D structure with a hole and two embedded 1D reinforcements

Fig. 3
figure 3

2D example with an unfitted stiff circular inclusion and two 1D reinforcements

The first numerical example that we wish to discuss is represented in Fig. 3. The structure is two-dimensional, and undergoes plane strain deformations. The computational domain is the unit square \( \Omega = [0 \, 1] \times [0 \, 1] \). A vertical load is applied in the form of a Dirichlet field \(u_d\) at the top of the structure, i.e. \(\partial \Omega _d = \{x \in \Omega | \, x \, \cdot e_2 = 1\}\). The Young’s modulus E in the circle of diameter \(r=0.15\) with centre \((0.5 \ 0.5)\) is set to 1.0. Outside the circle, the Young’s modulus is set to 0.1. Hence, the circular inclusion is made of a comparatively hard material. Poisson’s ratio for both materials are set to 0.3. Two straight reinforcements are introduced, as represented in Fig.  3. The reinforcements are stiff compared to the matrix, with \(k_f = 1.0\). The friction coefficient Y is relatively low at \(Y = 0.2\), which will result in early yielding.

The prescribed displacement field is uniform over \(\partial \Omega _d\), and of amplitude A(t) as reported in Fig. 5 (top subfigure). The structure is loaded in traction, then unloaded and forced into a compressive state, before being reloaded in traction. Figure 5 also shows the 26 time steps that will be used by the implicit time integrator. There is no source term, i.e. \(f_d = 0\) and no imposed tractions, i.e. \(t_d = 0\).

A coarse computational mesh is represented in Fig. 3. The set of intersected cells \({\mathcal {G}}_h\) over which the finite element fibre displacements and Lagrange multipliers are defined are also represented. The fibres do not conform with the regular background mesh. The circle does not conform to mesh edges either. In order to handle the mismatch in material properties, kinematic enrichment is performed using the CutFEM technology, including ghost penalty stabilisation and the primal/dual coupling introduced in [12].

Fig. 4
figure 4

Forces applied by the fibers to the embedding material in reaction to an overall prescribed extension of the structure

We now examine Fig. 4. The figure presents the field of Lagrange multipliers after the third time step (framed in the top subfigure of Fig. 5). The colour scale indicates the magnitude of the Lagrange multipliers, which are piecewise linear in the band of intersected elements. We emphasise the fact the all our fibre fields are traces of d-dimensional standard finite element fields defined over these bands of intersected elements. Fibres do not possess their own meshes. We see that the multipliers are aligned with the director vectors. This is normal, but not enforced directly in our approach. Fibres do not have bending energy. Therefore, they can only generate forces in the direction of their respective director vector, thereby resisting to deformations of the matrix phase in these directions only. In our experience, erroneous stabilisation of the fibre fields generate tangential forces that pollute the overall finite element results.

Fig. 5
figure 5

History of fiber reaction forces. Nonlinear effects are due to the friction law that governs possible sliding between the fibres and the embedding material. The amplitude of the forces is bounded by parameter Y of the adhesion/friction model

In Fig. 5, we report the evolution of these forces with time. Towards the end of the increasing phase of the loading amplitude A(t), these forces saturate. Indeed, they are constrained not to exceed friction coefficient Y. Instead, plastic slip develops to accommodate the boundary conditions. At the end of the compression phase, the forces are also fully saturated, but take the opposite signs, as they now react to compressive loading. The last picture is interesting. It is representative of transition phases that appear when the direction of the load changes. In that case, forces at the extremities of the fibres immediately change directions, while due to adhesion, the forces in the middle of the fibres carry residual forces in the opposite direction, creating a mixed traction/compression stress state in the matrix as well. Notice that the degrees of freedom corresponding to the Lagrange multipliers are well-behaved throughout this analysis.

Fig. 6
figure 6

Normal component of the stress field in the vertical direction. The finite element solution is computed using 4 computational meshes

A sequence of computational meshes is represented in Fig. 6. The solution is for the 20th of the computational times shown in Fig. 5. The structure is globally in tension, but residual compressive stresses exist in the matrix due to the past global compression states. Looking at the finest of the finite element solutions, we see that stress concentrations develop at the extremities of the fibers. Away from these extremities, the stiff fibres restrict the value of the tensile stress that develops in the embedding material. It is clear that the stress field shown in Fig. 6 converges with mesh refinement.

Fig. 7
figure 7

Warping of the computational domain and both 1D fibre domains by the corresponding displacement fields

In Fig. 7, the four meshes are warped using the displacement of the matrix phase, and both fibres are warped with their own displacement fields. The solution inside the circle is not represented. The absence of noticeable difference between the 4 displacement fields indicates that the method converges with mesh refinement. The symmetries observed in the displacement of the fibres are also qualitative indicators that the proposed strategy and its numerical implementation are correct. Notice that meshes now appear to conform to the geometry of the circular inclusion. These are not computational meshes but auxiliary meshes obtained by subdividing elements that are cut by the inner circle, which is done for integration and visualisation purposes only. The finite element meshes used to describe the displacement field in the matrix are the regular grids displayed in Fig. 6.

In Fig. 8, we present quantitative mesh convergence results for the example described above. We report the evolution of the reaction force at the Dirichlet boundary

$$\begin{aligned} R_h(t) = \int _{\partial \Omega _d} e_2 \cdot (C : \nabla _s u_{m,h}(t)) \cdot n \, dx \end{aligned}$$
(47)

as a function of the loading amplitude. In the previous expression, \(n = e_2 \) is the outer normal to the Dirichlet domain boundary, and \(e_2\) is the second canonical vector of \({\mathbb {R}}^2\). Time response \(R_h(t)\) is computed four times using the sequence of meshes represented in Fig. 7. Clearly, the nonlinear behaviour of the interface between fibres and matrix creates an hysteresis that is akin to that of plastic materials undergoing cycling deformations. The area bounded by the upper and lower part of the cycle is the energy that has been dissipated during the cycle by friction. The response curve converges with mesh refinement.

Fig. 8
figure 8

Global reaction force of the structure as a function of the prescribed extension. The hysteretic behaviour is due to the friction law. Convergence of this response curve can be seen when the mesh is progressively refined. The meshes used to produce these four curves are represented in Fig. 7

Self-healing concrete block with temperature-activated elastic fibres

Fig. 9
figure 9

Notched concrete beam with embedded SMP fibres tested in flexure

Fig. 10
figure 10

Beam structure undergoing four-point bending deformations. The two feet are fixed vertically, but their rotations in the plane of figure (a) are freely allowed. The two top parallelepipeds are vertically constrained to follow prescribed displacement \(-A(t)\). They are also free to rotate. The embedded interface between the four smaller parallelepipeds and the large beam is unilateral frictionless contact. When A(t) is negative, the top two smaller parallelepipeds loose contact with the beam, and the structure is at rest

Description of the computational model One of the motivating elements for the present work is the simulation of advanced concrete structures. In recent years, considerable work has been carried out in the development of self-healing cementitious materials. A particular application, currently investigated at Cardiff University, is the use of shrinkable fibres in the development of a crack closure system (see Fig. 9). The fibres are made of polyethylene terephthalate (PET), a shape memory polymer (SMP) that shrinks when heated at temperatures above 60 Celsius [20]. Under restrained conditions and upon thermal activation these SMP fibres can develop significant shrinkage stresses [20, 24]. Preliminary results from an experimental study showed that SMP fibres with end-anchorages and embedded in a cementitious matrix were effective in closing macro-cracks [24]. Nevertheless, to achieve an optimum mix design for these advanced cement based composites, further work focused on the optimisation of key parameters (e.g. fibre geometry, fibre content) is required. To this end, virtual experiments carried out with numerical models that are able to capture the underlying mechanisms would be very advantageous.

We now propose to show how experimental devices such as the one represent in Fig. 9 may be simulated using the proposed embedded FE technology, which we hope will eventually enable experimentalists to explore material design spaces virtually. The computational model is represented in Fig. 10. It is composed of one main square parallelepiped (the beam), and four additional smaller square parallelepiped designed to replicate the loading conditions of typical testing devices used in civil engineering. We apply zero Dirichlet conditions along a line of each of the two smaller parallelepipeds located underneath the structure. This allows these two support to rotate freely (the mesh conforms with those lines). The two smaller parallelepipeds at the top of the structure are loaded in a similar fashion, but with a downward prescribed motion of the action lines, with an amplitude that is proportional to A(t), i.e. we reuse the loading function introduced in the previous example to simplify the presentation. The interface between the large beam and the four smaller parallelepipeds is represented by a unilateral frictionless contact model. We finally introduce two fibres as represented in Fig. 10, the interface between the fibres and the matrix being modelled by the friction-type model derived previously.

The object composed of the 5 parallelepipeds is meshed conformingly to its boundary. The fibres are not meshed by the meshing software. Instead, they are introduced in a non-conforming manner using the technique proposed in this paper. In a similar fashion, we handle the four unilateral contact conditions described above nonconformingly using the primal/dual LaTIn-CutFEM algorithm [12], i.e. the four contact interfaces do not conform with the facets of the mesh and are represented by the zero isoline of a finite element level-set function.

Numerical results The displacement of the system at the end of the first loading phase is represented in Fig. 10. The set of elements that are intersected by the fibres is also displayed. We see that the fibres and the band of elements they are embedded in follow the global deformation of the structure, as expected.

Fig. 11
figure 11

Lagrange multipliers of the fibre friction model: a development of fibre forces in reaction to bending deformations, limited in amplitude by plastic slip and b residual stresses at rest, once the two top paralellepipeds have lost contact with the beam struture. Stress \(\sigma _{11}\) is the longitudinal stress measured along the horizontal axis of the figure

The system presented here will not behave like the 2D system presented in the previous section. When A(t) becomes negative at time \(t=1.5\), the two parallelepipeds onto which the prescribed motion is applied move upward without adhering to the remainder of the structure (traction forces cannot be transmitted by the unilateral contact interfaces). The beam will stay at rest until \(t=2.7\), after which it will undergo bending deformations again as induced by the downward motion of the two parallelepipeds. This resting time will allow us to study residual stresses, i.e stresses that have developed due to inelastic phenomena (i.e. friction), and do not go back to zero once the structure is fully unloaded.

These residual stresses are shown in Fig. 11. We see that when the structure is undergoing progressively increasing bending conditions, the bottom fibre is acting against the extension of the beam, while the top fibre acts against compression. During rest (subplot (b) in Fig. 11), due to friction, these stress states do not subside completely, and a small amount of permanent bending deformations remains without external action.

Fig. 12
figure 12

Effect of stabilisation terms on extended fibre fields: a uncontrolled extended displacement mode, b uncontrolled extended Lagrange multiplier modes, c regularised extended Lagrange multiplier and d restriction of the regularised extended Lagrange multiplier field to the 1D fibre domain

Effect of the numerical stabilisers In Fig. 12, we show the effect of the stabilisers introduced to make sure that the solution of finite element problems with nonconforming 1D embedded elastic elements is well-posed. The top picture is the representation of an uncontrolled deformation mode that appeared when setting \(\zeta \) to a value that is very close to zero. The zero energy modes explode in amplitude. The restriction of the solution to the fibre is still correct, but carrying such large values of the degrees of freedom through long time analyses is of course not advisable. Setting \(\zeta \) to a small but non-vanishing value, as suggested previously, ensures that such uncontrolled sets of degrees of freedom are eliminated from the system. This results in fully controlled deformations of bands of intersected elements, as shown in Fig. 10 (last two subplots).

The same remarks can be made regarding Lagrange multiplier fields. When setting \(\zeta _\lambda \) to a vanishingly small value, uncontrolled modes develop, as seen in Fig. 12a, b. A small regularisation parameter ensures that the problem is well-posed, which is exemplified by the beautiful purely axial distribution of the extended Lagrange multiplier field shown Fig. 12c, d.

Fracture of quasi-brittle composites with randomly distributed short fibres

Fig. 13
figure 13

Geometry of the fracture mechanics model (left) and points of interest in the time analysis (right)

To further illustrate the capabilities of the proposed approach, we extend it to the simulation of damage in cement-based composite materials reinforced with randomly distributed short fibres. The overall mechanical behaviour as well as the crack propagation in these composites are largely gouverned by the crack-bridging action of fibres.

The problem setting is graphically described in Fig. 13. The interface between fibres and matrix is now rigid (i.e. infinite friction coefficient Y). Uniform linear Dirichlet boundary conditions in the \(e_2\) direction are now applied on the entire boundary \(\partial \Omega \). We continue using function A(t) to described the overall evolution of the load with time. The perfect kinematic coupling between hard elastic inclusions and matrix is handled via the primal/dual LaTin-CutFEM algorithm. The new element in this example is the fact that the matrix can undergo elastic damage.

Fig. 14
figure 14

Results obtained with the fracture mechanics model (phase-field) at two different analysis times: a crack initiation and b fully cracked computational model

To represent damage, we use the staggered phase-field formulation presented in [25]. Bilinear form \(a_h\) is therefore modified as follows:

$$\begin{aligned} \displaystyle a_h \left( (u_{m,h},u_{f,h}),(\delta u_{m,h}, \delta u_{f,h}) \right)= & {} \displaystyle \int _\Omega \left( (1-d_h)^2 + \epsilon _d \right) \nabla _s u_{m,h} : C : \nabla _s \delta u_{m,h} \, dx \nonumber \\&+\, \displaystyle \int _{\Gamma _f} k_f \nabla _f u_{f,h} : \nabla _f \delta u_{f,h} \, dx \nonumber \\&+ \, \displaystyle s_{\sharp ,h}(u_{f,h},\delta u_{f,h}) \, . \end{aligned}$$
(48)

Field \(\sigma _{m,h} := \left( (1-d_h)^2 + \epsilon _d \right) C : \nabla _s \delta u_{m,h}\) is the Cauchy stress tensor and \(d_h \in {\mathcal {U}}_h\) is a finite element field that represents damage. At the end of time step \(t_n \in {\mathcal {T}}_{\Delta t}\), damage field \(d_h\) is updated by solving the following linear elliptic variational problem:

$$\begin{aligned}&\forall \delta d_h \in {\mathcal {U}}_h , \qquad \int _\Omega \left( 1 + \frac{2 l}{g_c} {\mathcal {H}}_h(x) \right) d_h \, \delta d_h \, dx + l^2 \int _\Omega \nabla d_h \cdot \nabla \delta d_h \, dx \nonumber \\&\qquad \qquad \qquad \quad = \int _\Omega \frac{2 l}{g_c} {\mathcal {H}}_h(x) \, \delta d_h \, dx \, . \end{aligned}$$
(49)

In the above damage model, \(\epsilon _d \ll 1\) is a small regularisation parameter, l is the length-scale of the phase-field model, which is set to 0.05 times the width of the computational domain, \(g_c\) is the energy release rate, and field \( {\mathcal {H}}_h\) is computed locally as follows, using the displacement obtained iteratively using the iterative LaTIn solver described in this paper,

$$\begin{aligned} \forall \, x \in \Omega , \qquad {\mathcal {H}}_h(x) = \max _{t \in {\mathcal {T}}_{\Delta t} | t \le t_n} \left( \frac{1}{2} \nabla _s u_{m,h | x }(t) : C : \nabla _s u_{m,h | x }(t) \right) \, . \end{aligned}$$
(50)

Our first results using the phase-field model together with the embedded fibre formulation are reported in Fig. 14. The circular inclusions cannot be damaged, which can be formulated by setting \(g_c\) to a large value in the corresponding subdomain. In the left-hand-side plots of Fig. 14, we do not represent elements that exhibit damage values exceeding 0.95, for visual purposes. The proposed algorithm remained stable throughout the analysis, yielding qualitatively sensible results. In particular, the stiff fibres prevent the crack from developing along directions that are orthogonal to their respective director vector. The Lagrange multipliers are well aligned with the fibres.

Further stability and convergence tests would be required to study the effect of the damage field on the overall stability of the unfitted finite element formulation. This is left to future investigations.

We note that a particular drawback of the proposed unfitted finite element approach is that fictitious domains corresponding to disconnected physical elements (i.e. two separate inclusions, two different fibres, a fibre and an inclusion), should not overlap for the numerical results to be sensible. This sets a lower bound on the element size, which may preclude their use in preliminary engineering studies where very coarse meshes are used to inexpensively study the overall behaviour of a complex system.

Conclusion

We have presented a stabilised cut finite element solver to simulate the micro-mechanics of fibre-reinforced composites. The fibre elements have their own degrees of freedom, allowing complex interface conditions and efficient iterative solvers to be devised. No specific mesh is required for the slender structural elements. The unidimensional mechanical fields are represented as 1D traces of background 2D or 3D finite element fields.

Starting from this elegant numerical strategy, we developed a primal-dual finite element formulation to simulate friction-restricted sliding between the fibres and the embedding material. We also designed an efficient LaTIn algorithm to solve the resulting stiff nonlinear system of equations.

Just like any CutFEM solver, ours needs to be stabilised to fully eliminate numerical instabilities resulting from arbitrary cutting and embedding of finite element meshes. To this end, we have proposed a natural combination of ghost-penalty regularisation to stabilise the projected gradient, and background mesh penalisation to eliminate uncontrolled gradients in the normal direction. This approach has also been used to stabilise the dual fields. We have shown that the method is stable, convergent, and versatile. It handles high levels of nonlinearities very well, which was shown in examples of featuring 1D/3D imperfect bonding and nonlinear damage mechanics.

This work is an important stepping stone towards the development of flexible virtual testing platforms, in particular for cement-based composite materials. Avenues for further research and developments are manifold. For instance, we would like to investigate how the proposed method can handle structural elements with bending energy, where locking is very likely to cause numerical issue. Similarly, the present investigations are limited to straight fibres, and an obvious extension would be to allow for curved fibres to be represented. Finally, we would like to be able to simulate pull-out, i.e. the reduction of added stiffness as fibres are progressively loosing contact areas with embedding materials when cracks progressively open. This requires to move away from the assumption of small perturbation, and to continuously update the geometrical configuration of the embedded elements in the evolving embedding structure.

Availability of data and materials

Not applicable

References

  1. Akula BR, Vignollet J, Yastrebov VA. MorteX method for contact along real and embedded surfaces: coupling X-FEM with the Mortar method. 2019. arXiv preprint arXiv:1902.04000.

  2. Alart P, Curnier A. A mixed formulation for frictional contact problems prone to Newton like solution methods. Comput Methods Appl Mech Eng. 1991;92(3):353–75.

    Article  MathSciNet  Google Scholar 

  3. Allix O, Kerfriden P, Gosselet P. On the control of the load increments for a proper description of multiple delamination in a domain decomposition framework. Int J Numer Methods Eng. 2010;83:1518–40.

    Article  Google Scholar 

  4. Alnæs MS, Blechta J, Hake J, Johansson A, Kehlet B, Logg A, Richardson C, Ring J, Rognes ME, Wells GN. The FEniCS project version 1.5. Arch Numer Softw. 2015;3(100):9–23.

    Google Scholar 

  5. Bui HP, Tomar S, Bordas SPA. Corotational cut finite element method for real-time surgical simulation: application to needle insertion simulation. Comput Methods Appl Mech Eng. 2019;345:183–211.

    Article  MathSciNet  Google Scholar 

  6. Burman E. Ghost penalty. Compt Rend Math. 2010;348(21–22):1217–20.

    Article  MathSciNet  Google Scholar 

  7. Burman E, Claus S, Hansbo P, Larson MG, Massing A. CutFEM: Discretizing geometry and partial differential equations. Int J Numer Methods Eng. 2015;104(7):472–501.

    Article  MathSciNet  Google Scholar 

  8. Burman E, Hansbo P, Larson MG. Augmented Lagrangian finite element methods for contact problems. ESAIM Math Model Numer Anal. 2019;53(1):173–95.

    Article  MathSciNet  Google Scholar 

  9. Burman E, Hansbo P, Larson MG. A simple finite element method for elliptic bulk problems with embedded surfaces. Comput Geosci. 2019;23(1):189–99.

    Article  MathSciNet  Google Scholar 

  10. Bürman E, Hansbo P, Larson MG, Massing Ae. Cut finite element methods for partial differential equations on embedded manifolds of arbitrary codimensions. ESAIM Math Model Numer Anal. 2018;52(6):2247–82.

    Article  MathSciNet  Google Scholar 

  11. Claus S, Bigot S, Kerfriden P. CutFEM method for Stefan–Signorini problems with application in pulsed laser ablation. SIAM J Sci Comput. 2018;40(5):B1444–69.

    Article  MathSciNet  Google Scholar 

  12. Claus S, Kerfriden P. A stable and optimally convergent LaTIn-CutFEM algorithm for multiple unilateral contact problems. Int J Numer Methods Eng. 2018;113(6):938–66.

    Article  MathSciNet  Google Scholar 

  13. Claus S, Kerfriden P. A CutFEM method for two-phase flow problems. Comput Methods Appl Mech Eng. 2019;348:185–206.

    Article  MathSciNet  Google Scholar 

  14. D’Angelo C, Scotti A. A mixed finite element method for Darcy flow in fractured porous media with non-matching grids\({_\ast }\). ESAIM: Math Model Numer Anal. 2012;46(2):465–89.

    Article  Google Scholar 

  15. Duboeuf F, Béchet E. Embedded solids of any dimension in the X-FEM. Part I—building a dedicated P1 function space. Finite Elem Anal Design. 2017;130:80–101.

    Article  MathSciNet  Google Scholar 

  16. Formaggia L, Fumagalli A, Scotti A, Ruffo P. A reduced model for Darcy’s problem in networks of fractures\({_\ast }\). ESAIM Math Model Numer Anal. 2014;48(4):1089–116.

    Article  MathSciNet  Google Scholar 

  17. Gomes HM, Awruch AM. Some aspects on three-dimensional numerical modelling of reinforced concrete structures using the finite element method. Adv Eng Softw. 2001;32(4):257–77.

    Article  Google Scholar 

  18. 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(33–35):3523–40.

    Article  MathSciNet  Google Scholar 

  19. Hirmand M, Vahab M, Khoei AR. An augmented Lagrangian contact formulation for frictional discontinuities with the extended finite element method. Finite Elem Anal Design. 2015;107:28–43.

    Article  Google Scholar 

  20. Jefferson A, Joseph C, Lark R, Isaacs B, Dunn S, Weager B. A new system for crack closure of cementitious materials using shrinkable polymers. Cem Concr Res. 2010;40(5):795–801.

    Article  Google Scholar 

  21. Kerfriden P, Allix O, Gosselet P. A three-scale domain decomposition method for the 3D analysis of debonding in laminates. Comput Mech. 2009;44(3):343–62.

    Article  Google Scholar 

  22. Ladevèze P, Nouy A, Loiseau O. A multiscale computational approach for contact problems. Comput Methods Appl Mech Eng. 2002;191:4869–91.

    Article  MathSciNet  Google Scholar 

  23. Lé B, Legrain G, Moës N. Mixed dimensional modeling of reinforced structures. Finite Elem Anal Design. 2017;128:1–18.

    Article  Google Scholar 

  24. Maddalena R, Bonanno L, Balzano B, Sweeney J, Mihai I. A crack closure system for cementitious composite materials using knotted shape memory polymer (k-SMP) fibres. Cement Concr Composi. 2019. https://doi.org/10.17035/d.2019.0078702279

  25. Miehe C, Welschinger F, Hofacker M. Thermodynamically consistent phase-field models of fracture: Variational principles and multi-field FE implementations. Int J Numer Methods Eng. 2010;83(10):1273–311.

    Article  MathSciNet  Google Scholar 

  26. Navarro-Jiménez JM, Tur M, Albelda J, Ródenas JJ. Large deformation frictional contact analysis with immersed boundary method. Comput Mech. 2018;2018:1–18.

    MathSciNet  MATH  Google Scholar 

  27. Sadek M, Shahrour I. A three dimensional embedded beam element for reinforced geomaterials. Int J Numer Anal Methods Geomech. 2004;28(9):931–46.

    Article  Google Scholar 

  28. Suidan M, Schnobrich WC. Finite element analysis of reinforced concrete. J Struct Div. 1973;99:1.

    Google Scholar 

Download references

Acknowledgements

Not applicable

Funding

The authors gratefully acknowledge the financial support provided by the Welsh Government and Higher Education Funding Council for Wales through the Ser Cymru National Research Network in Advanced Engineering and Materials for Susanne Claus’ personal fellowship under grant NRNG06. All three authors have shared responsibility for maintaining the levels of enthusiasm and motivation that were required for this piece of work to be produced. The publishing fees of this article have been graciously covered by the French Association for Computational Mechanics (CSMA).

Author information

Authors and Affiliations

Authors

Contributions

The authors have jointly developed the proposed LaTIn-CutFEM framework for 1D-3D coupling. The authors have jointly designed and implemented the test cases. PK has written the manuscript. All authors read and approve the final manuscript.

Corresponding author

Correspondence to P. Kerfriden.

Ethics declarations

Competing interests

Not applicable

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

A Unregularised LaTIn local stage

A Unregularised LaTIn local stage

By manipulating the ascent search direction, we can easily show that

$$\begin{aligned} 2\, {\tilde{F}}^{k+\frac{1}{2}}_{m,h} - \left( F_{m,h}^k - F_{f,h}^k \right) - \gamma \left( ( {\tilde{W}}^{k+\frac{1}{2}} _{m,h} - \Delta {\tilde{W}}^{k+\frac{1}{2}} _{f,h} ) - ( \Delta W^{k} _{m,h} - \Delta W^{k} _{f,h} )\right) = 0 \, , \end{aligned}$$
(51)

where the \(\Delta \) symbol denotes a time increment, e.g. \(\Delta {\tilde{W}}^{k+\frac{1}{2}} _{m,h} := {\tilde{W}}^{k+\frac{1}{2}} _{m,h} - {\tilde{W}}^{\star } _{m,h}\). The previous expression implicitly assumes that the LaTIn solver used to solve the incremental problem arising at time \(t_n\) has converged.

Normal problem The previous equation can projected orthogonally to the fibres director vector. Using the fact that \(\Pi _f^\perp \left( \Delta {\tilde{W}}^{k+\frac{1}{2}} _{m,h} - \Delta {\tilde{W}}^{k+\frac{1}{2}} _{f,h} \right) = 0 \), which is a direct contextualisation of (32), we obtain the expression of \( \Pi _f^\perp {\tilde{F}}^{k+\frac{1}{2}} _{m,h}\) by solving

$$\begin{aligned} \Pi _f^\perp \left( 2 \, {\tilde{F}}^{k+\frac{1}{2}} _{m,h}- \left( F_{m,h}^k - F_{f,h}^k \right) - \gamma \left( - ( \Delta W^{k} _{m,h} - \Delta W^{k} _{f,h} )\right) \right) = 0 \, . \end{aligned}$$
(52)

Tangential problem We now solve the equations of plasticity in the direction of the fibres director vector. We proceed by trial and testing, hypothesising that \( \left( \Delta {\tilde{W}}^{k+\frac{1}{2}} _{m,h} - \Delta {\tilde{W}}^{k+\frac{1}{2}} _{f,h} \right) \cdot t_f = 0 \), which means that there is no sliding between matrix and fibre phases. If this assumption was true, we would have that

$$\begin{aligned} \left( 2 \, {\tilde{F}}^{k+\frac{1}{2}}_{m,h} - \left( F_{m,h}^k - F_{f,h}^k \right) - \gamma \left( - ( \Delta W^{k} _{m,h} - \Delta W^{k} _{f,h} )\right) \right) \cdot t_f = 0 \, , \end{aligned}$$
(53)

We can now check whether the previously made hypothesis is consistent with equation \(f_f \left( {\tilde{F}}^{k+\frac{1}{2}} _{m,h} \right) \le 0\). If it is the case, we can safely return

$$\begin{aligned} {\tilde{F}}^{k+\frac{1}{2}} _{m,h} = \left( {\tilde{F}}^{k+\frac{1}{2}}_{m,h} \cdot t_f \right) t_f + \Pi _f^\perp {\tilde{F}}^{k+\frac{1}{2}} _{m,h} \end{aligned}$$
(54)

and proceed to the smoothing step of the local stage. Otherwise, our hypothesis is not true: there is sliding, which means that necessarily,

$$\begin{aligned} {\tilde{F}}^{k+\frac{1}{2}} _{m,h} \cdot t_f = - Y \, \text {sign} \left( ( \Delta {\tilde{W}}^{k} _{m,h} - \Delta {\tilde{W}}^{k} _{f,h} ) \cdot t_f \right) \, . \end{aligned}$$
(55)

We now make the hypothesis that the sign of the relative velocity between fibre and matrix is positive. In this case, we have that

$$\begin{aligned} t_f \cdot \left( - 2 Y - \left( F_{m,h}^k - F_{f,h}^k \right) - \gamma \left( ( \Delta {\tilde{W}}^{k+\frac{1}{2}} _{m,h} {-} \Delta {\tilde{W}}^{k+\frac{1}{2}} _{f,h} ) {-} ( \Delta W^{k} _{m,h} {-} \Delta W^{k} _{f,h} )\right) \right) {=} 0 \, ,\nonumber \\ \end{aligned}$$
(56)

from which we can compute \( \left[ t_f \cdot \Delta {\tilde{W}}^{k+\frac{1}{2}} _{h} \right] = t_f \cdot \left( \Delta {\tilde{W}}^{k+\frac{1}{2}} _{m,h} - \Delta {\tilde{W}}^{k+\frac{1}{2}} _{f,h} \right) \). If the sign of this quantity is positive, we return

$$\begin{aligned} {\tilde{F}}^{k+\frac{1}{2}} _{m,h} = - Y t_f + \Pi ^\perp _f {\tilde{F}}^{k+\frac{1}{2}} _{m,h} \, . \end{aligned}$$
(57)

Otherwise, we return

$$\begin{aligned} {\tilde{F}}^{k+\frac{1}{2}} _{m,h} = Y t_f + \Pi ^\perp _f {\tilde{F}}^{k+\frac{1}{2}} _{m,h} \, . \end{aligned}$$
(58)

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/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kerfriden, P., Claus, S. & Mihai, I. A mixed-dimensional CutFEM methodology for the simulation of fibre-reinforced composites. Adv. Model. and Simul. in Eng. Sci. 7, 18 (2020). https://doi.org/10.1186/s40323-020-00154-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s40323-020-00154-5

Keywords