Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A non-intrusive global/local approach applied to phase-field modeling of brittle fracture

A non-intrusive global/local approach applied to phase-field modeling of brittle fracture t.gerasimov@tu- braunschweig.de This paper aims at investigating the adoption of non-intrusive global/local approaches Institute of Applied Mechanics, while modeling fracture by means of the phase-field framework. A successful extension Technische Universität Braunschweig, Pockelsstraße 3, of the non-intrusive global/local approach to this setting would pave the way for a wide 38106 Braunschweig, Germany adoption of phase-field modeling of fracture, already well established in the research Full list of author information is community, within legacy codes for industrial applications. Due to the extreme available at the end of the article difference in stiffness between the global counterpart of the zone to be analized locally and its actual response when undergoing extensive cracking, the main foreseen issues are robustness, accuracy and efficiency of the fixed point iterative algorithm which is at the core of the method. These issues are tackled in this paper. We investigate the convergence performance when using the native global/local algorithm and show that the obtained results are identical to the reference phase-field solution. We also equip the global/local solution update procedure with relaxation/acceleration techniques such as Aitken’s  -method, the Symmetric Rank One and Broyden’s methods and show that the iterative convergence can be improved significantly. Results indicate that Aitken’s  -method is probably the most convenient choice for the implementation of the approach within legacy codes, as this method needs only tools already available for the so-called sub-modeling approach, a strategy routinely used in industrial contexts. Keywords: Brittle fracture, Phase-field approach, Global/local formulation, Non-intrusive computations, Relaxation techniques, Convergence acceleration Introduction The variational approach to fracture by Francfort and Marigo [1] and the related regu- larized formulation of Bourdin et al. [2–5], commonly referred to as phase-field model of (brittle) fracture, is a widely accepted framework for modeling and computing frac- ture phenomena in elastic solids. The phase-field framework for modeling systems with sharp interfaces consists in incorporating a continuous field variable—the so-called order parameter—which differentiates between multiple physical phases within a given system through a smooth transition. In the context of fracture, such an order parameter (termed the crack phase-field) describes the smooth transition between the fully broken and intact material phases, thus approximating the sharp crack discontinuity, as sketched in Fig. 1. © The Author(s) 2018. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. 0123456789().,–: vol Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 2 of 30 Fig. 1 Phase-field description of fracture (sketchy): d ∈ C(, [0, 1]) is the crack phase-field The evolution of this field as a result of the external loading conditions models the fracture process. The formulation is strongly non-linear and calls for the resolution of small length scales. The use of phase-field approaches in the case of structures of industrial complexity has been the subject of limited investigations thus far and poses a number of challenges. In this paper, in order to move forward in this direction we advocate the use of non-intrusive global/local strategies initially proposed in [6]. When dealing with large structures, frac- ture phenomena most often occur in regions of limited extent only. Moreover, in the case of brittle fracture most of the structure behaves elastically. These features are particu- larly appealing for global/local approaches as they make it possible to first compute the global model elastically, and then determine the critical areas to be re-analyzed, while storing the factorization of the decomposition of the structural stiffness. The local models are then iteratively substituted within the unchanged global one, which has the advan- tage of avoiding the reconstruction of the mesh of the whole structure. In fact, this is the main motivation of non-intrusive global/local approaches: to avoid the modification of the finite element model used by engineers, the creation of a complex global model being by far the most time-consuming task, a task which is more and more external- ized. In the past decade, both phase-field and non-intrusive global/local approaches have been extended to deal with a growing number of situations of interest for engineers. The currently available phase-field formulations of brittle fracture encompass static and dynamic models. We mention the papers by Amor et al. [7], Miehe et al. [8,9], Kuhn and Müller [10], Pham et al. [11], Borden et al. [12], Mesgarnejad et al. [13], Kuhn et al. [14], Ambati et al. [15], Wu et al. [16], where various formulations are developed and validated. Recently, the framework has been also extended to ductile (elasto-plastic) fracture [17–22], pressurized fracture in elastic and porous media [23,24], fracture in films [25] and shells [26–28], and multi-field fracture [29–36]. Non-intrusive global/local approaches have also been applied to a quite large number of situations: the computation of the propagation of cracks in a sound model using the extended finite element method (XFEM) [37], the computation of assembly of plates introducing realistic non-linear 3D modeling of connectors [38], the extension to non-linear domain decomposition methods [39] and to explicit dynamics [40,41] with an application to the prediction of delamination Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 3 of 30 under impact using Abaqus [42]. Alternative strategies can be derived from the Partition of Unity Method [43,44]. The phase-field simulation of fracture processes with legacy codes bears a number of advantages which fit perfectly within the framework of non-intrusive coupling approaches using pre-defined ‘fixed’ meshes. The most obvious advantage is the ability to track auto- matically a cracking process by the evolution of the smooth crack field on a ‘fixed’ mesh which, in the proposed procedure, is the mesh of the local model. This is a signifi- cant advantage over the discrete fracture description, whose numerical implementation requires explicit (in the classical finite element method, FEM) or implicit (within XFEM) handling of the discontinuities. The possibility to avoid the tedious task of tracking com- plicated crack surfaces in 3D significantly simplifies the implementation. The second advantage is the ability to simulate complicated processes, including crack initiation (also in the absence of a crack tip singularity), propagation, coalescence and branching without the need for additional ad-hoc criteria and with very few parameters to be identified. This feature is particularly attractive for industrial applications, as it minimizes the need for time-consuming and expensive calibration tests. Due to the extreme difference in stiffness between the global counterpart of the zone to be re-analyzed locally and its actual response when undergoing extensive cracking, the foreseen fundamental issues associated with the use of the global/local strategy in combination with phase-field fracture modeling are robustness, accuracy and efficiency of the fixed point iterative algorithm which is at the core of the method. Also, the finite element treatment of the phase-field formulation of brittle fracture is known to be com- putationally demanding, mainly due to the non-convexity of the energy functional to be minimized with respect to both arguments (the displacement and the phase field) simul- taneously [45–47]. As a result, the so-called monolithic approach manifests major iter- ative convergence issues of the Newton–Raphson procedure. A new line-search scheme [46] and modified Newton methods [47] have been recently proposed to tackle this prob- lem. Alternatively, staggered (also termed partitioned, or alternate minimization) solution scheme is widely used. This is based on decoupling of the strongly non-linear weak for- mulation into a system and then iterating between the equations [2–5,7–9,11–13,15,16]. The staggered scheme is proved to be robust, but typically has a very slow convergence behavior of the iterative solution process, see e.g. [15,46,48]. In view of the above, a central question that arises when combining non-intrusive global/local approaches with phase-field modeling of fracture is how additional global/local iterations affect and pos- sibly deteriorate the highly sensitive iterative behavior of the staggered scheme used to solve the phase-field equations. In this paper, we make a first attempt to address these questions. The paper is organized as follows. In “The phase-field approach to brittle fracture” section, we outline the main concepts of phase-field modeling of brittle fracture and illustrate the specific formulation used in the present paper. “Global/local approach in a non-intrusive setting” section introduces the non-intrusive global/local approach for the solution of the reference phase-field model considered in “The phase-field approach to brittle fracture” section. This is done in several steps. We start by illustrating an intrusive global/local scheme through a domain decomposition formulation in a variational setting well adapted to the phase field formulation. Several options are considered, including the so-called primal, dual and localized Lagrange multipliers based versions. This domain Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 4 of 30 decomposition framework is used afterwards to define some convergence indicators in terms both of incompatibility of the reaction forces and of displacement jumps at the interface between the unchanged global model and the re-analyzed local one. The moti- vation here is to see which indicator or combination of indicators are the most suited to an appropriate estimation of the quality of the global/local iteration results with respect to the phase-field determination. The third version is then extended to the global/local setting, for which a non-intrusive computational procedure is devised. The numerical results which illustrate the performance of the proposed non-intrusive global/local approach as well as their qualitative and quantitative comparison with the reference solution are reported in “Results and discussion” section. Therein, we also outline and apply three relaxation/acceleration techniques, which are incorporated into the global/local iterative procedure and aim at improving its efficiency. Conclusions and outlook finalize the paper. The phase-field approach to brittle fracture In this section, we consider a mechanical system undergoing a brittle fracture process modeled with the phase-field formulation, and term this the reference problem. For this problem, we develop in “Global/local approach in a non-intrusive setting” section a global/local formulation, which is dissected numerically in “Results and discussion” section. Let  ⊂ R , m = 2 or 3 be an open and bounded domain representing the configuration of a m-dimensional linear elastic body, and let  ,  and  be the (non-overlapping) D,0 D,1 N,1 portions of the boundary ∂ of  on which homogeneous Dirichlet, non-homogeneous Dirichlet and Neumann boundary conditions are prescribed, respectively. In the following, we consider a quasi-static loading process with the discrete pseudo-time step parameter l = 0, 1, ..., such that the displacement u¯ and traction t loading data are prescribed on l l the corresponding parts of the boundary, see Fig. 2a. For the mechanical system at hand, the phase-field formulation of brittle fracture [5]in an incremental variational setting relies on the following energy functional E(u,d) = W (ε(u),d)dx − t · u ds. (1) N,1 with G d 2 + − 2 W (ε(u),d):= (1 − d)  (ε(u)) +  (ε(u)) + + |∇d| , (2) Fig. 2 a Sketch of geometry and loading setup; b the computed crack phase-field evolution Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 5 of 30 and the related minimization problem at each l ≥ 0. In the above, the displacement field u :  → R and the crack phase-field d :  → [0, 1] are the arguments of E.Asalready mentioned, the limiting values of d,namely, d = 0and d = 1 represent the undamaged + − and fully broken material phases. Furthermore,  and  are the so-called ‘tensile’ and ‘compressive’ parts of an additive decomposition of the elastic strain energy density 1 1 2 function (ε):= ε : C : ε = λtr (ε) + μtr(ε · ε), where, in turn, ε is the second-order 2 2 infinitesimal strain tensor, C is the fourth-order elasticity tensor, and λ and μ are the Lamé + − constants. The decomposition of  into  and  is required in order to distinguish between fracture behavior in tension and compression, more precisely, to avoid crack growth and crack faces interpenetration in compression. Here we use the spectral-based split, proposed in [8,9]: ± 2 (ε):= λtr(ε) + μtr(ε · ε ), (3) ± ± 1 3 3 where a := (a ±|a|)and ε := ε  n ⊗ n with {ε } and {n } as the ± ± I ± I I I I I =1 2 I =1 I =1 principal strains and principal strain directions, respectively. Finally, G is the material fracture toughness, and 0 < diam() is the regularization parameter that controls the width of the transition zone of d between the two material states. With E defined by (1), the state of the system at a given loading step l ≥ 0 is then represented by the solution of arg min{E(u,d): u ∈ V ,d ∈ D }, (4) u¯ d l−1 where V :={u ∈ H (): u = 0 on  , u = u¯ on  } u¯ D,0 D,1 1 1 m 1 is the kinematically admissible displacement space with H ():= [H ()] and H denoting the usual Sobolev space, and D :={d ∈ H (, [0, 1]) : d ≤ d} d l−1 l−1 is the admissible space for d with d being known from the previous step. The condition l−1 d ≤ d is used to enforce the irreversibility of the crack phase-field evolution. Figure 2b l−1 depicts an example of phase-field pattern resulting from (4). Note that due to the d ≤ d requirement, problem (4) is a constrained minimization l−1 problem and its necessary optimality condition which enables computing the solution (u,d) ∈ V × D is a variational inequality. Its partitioned form reads as u¯ d l−1 E (u,d; v) = 0, ∀ v ∈ V , u 0 (5) E (u,d; w − d) ≥ 0, ∀ w ∈ D , d d l−1 see e.g. [11,48], where E and E are the directional derivatives of the energy functional u d with respect to u and d, respectively. It is + − ∂ ∂ E (u,d; v):= (1 − d) (ε(u)) + (ε(u)) : ε(v)dx − t · v ds, (6) ∂ε ∂ε N,1 Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 6 of 30 E (u,d; w):= − 2(1 − d) (ε(u))w + G dw + ∇d ·∇w dx. (7) The displacement test space in (5)isdefinedas V :={v ∈ H (): v = 0 on  ∪  }. 0 D,0 D,1 In (6), the components are the corresponding ‘tensile’ and ‘compressive’ stresses, ∂ε which are strongly non-linear in ε. In the case of the spectral-based split in (3), we obtain σ (ε):= (ε) = λtr(ε) I + 2με . (8) ± ± ∂ε The related counterparts of the standard fourth-order elasticity tensor C read in this case ∂σ ± ± ± C (ε):= (ε) = λH (tr(ε))J + 2μP (ε), (9) ∂ε + − + where H is the standard Heaviside function and H := 1 − H , J is the fourth-order symmetric identity tensor, whereas P are the fourth-order tensors obtained by differen- tiation of ε with respect to ε. Stemming from the irreversibility constraint d ≤ d the variational inequality E ≥ 0 l−1 d in (5) requires special solution algorithms, see e.g. [49,50]. Here, the irreversibility of d is enforced ‘indirectly’ via the notion of a history variable, as proposed in Miehe et al. [9]. The idea is that the tensile energy  can be viewed as the driving force of the phase-field evolution. Hence, the maximal  accumulated within the loading history and denoted as H (x):= max  (ε(u)) can be used to prevent a decrease of the phase-field. H l ∀l l substitutes the corresponding  term in the original E , thus yielding E (u,d; w):= −2(1 − d)H w + G dw + ∇d ·∇w dx (10) and the system for computing the solution (u,d) ∈ V × H ()is u¯ E (u,d; v) = 0, ∀ v ∈ V , u 0 (11) ∗ 1 E (u,d; w) = 0, ∀ w ∈ H (), where E is given by (6). We obtain in (11) an equality and unconstrained spaces for d and w. The staggered solution algorithm for the system in (11) implies alternately fixing u and d, and solving the corresponding equations until convergence. The algorithm is sketched in Table 1. Note that the equation E = 0inTable 1 is strongly non-linear due to the non-linearity + − ∂ ∂ of σ(u,d):= (1−d) (ε(u))+ (ε(u)), see equation (8). Therefore, at every staggered ∂ε ∂ε k−1 k iteration k ≥ 1 with given d , a Newton–Raphson procedure is needed to compute u , k−1 with e.g. u being taken as the initial guess, and TOL as a user-defined tolerance. NR Owing to the ‘nested in’ nature of the Newton–Raphson process, it has to be TOL < NR −8 TOL . In the presented numerical examples we take TOL := 10 < TOL := Stag NR Stag −5 10 . Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 7 of 30 Table 1 Staggered iterative solution process for (11) at a fixed loading step l Input: loading data (u ¯ , t ) on Γ , Γ ⊂ ∂Ω; l l D,1 N,1 solution (u ,d ) from step l − 1. l−1 l−1 Initialization, k =0: 0 0 • set (u ,d ):= (u ,d ). l−1 l−1 Staggered iteration k ≥ 1: k−1 k−1 k • given d ,solve Eu(u,d ; v)= 0 for u,set u =: u , k ∗ k k • given u ,solve E (u ,d; w)= 0 for d,set d =: d , k k k k k • for the obtained pair (u ,d ), check Res := |E (u ,d ; v)|≤ TOL , ∀ v ∈ V , u 0 Stag Stag k k • if fulfilled, set (u ,d )=:(u ,d ) and stop; l l • else k +1 → k. Output: solution (u ,d ). l l Global/local approach in a non-intrusive setting The starting point towards a non-intrusive global/local approach to the phase-field prob- lem (4)with E defined by (1) is a standard non-overlapping domain decomposition pro- cedure applied to E. The resulting formulation is then extended to a global/local one in the spirit of [39,51], for which the non-intrusive computational scheme is devised. Domain decomposition formulation Let  be an open sub-domain of , where cracking (in a general setting: a strong local- ization effect due to non-linearity) is expected to take place, and let  ⊂  be its open complement ( := / ), where the material remains intact and elastic (in a general C L setting: non-linearity is negligible). In the following, the subscripts L and C always stand for local and complementary, respectively. It is typical to assume that  represents a reasonably small ‘fraction’ of  such that | | | |.Let also  ⊂  be the interface L C between  and  , a set with one dimension less than the dimension of , such that L C ∪  ∪  ≡ . With an application to the problem sketched in Fig. 2, this domain L C decomposition idea is presented in Fig. 3a. Fig. 3 Domain decomposition procedure: a the classic one, when  is decomposed into local and complementary sub-domains  and  , respectively, which do not overlap and are coupled by the L C interface ; b its extension to the global/local setting, where a fictitious domain  is introduced to form the so-called global domain  :=  ∪  ∪ G C F Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 8 of 30 We now introduce two functions on  and  ,namely, u ∈ H ( )and u ∈ L C L L C {H ( ): u = 0 on  , u = u¯ on  } such that C C D,0 C l D,1 u = u for x ∈ , (12) L C and assume that the displacement u ∈ V stemming from the solution of problem (4), u¯ can be represented as u , for x ∈  , L L u = (13) u , for x ∈  . C C We furthermore introduce a function d :  → [0, 1] such that the phase-field d ∈ D L L d l−1 stemming from the solution of (4) has the representation d , for x ∈  , L L d = (14) 0, for x ∈  . Using (13)and (14) in the function W in (2), we arrive at the energy functionals in the corresponding sub-domains, namely, E (u ):= W (ε(u ), 0) dx − t · u ds, (15) 1 C C C C N,1 and E (u ,d ):= W (ε(u ),d )dx, (16) 2 L L L L such that, also owing to (12), it holds E(u,d) ≡ E(u , u ,d ):= E (u ) + E (u ,d ), (17) C L L 1 C 2 L L where, to recall, E is the original reference functional (1). As a result, the domain decom- position variational formulation, which is equivalent to reference formulation (4), reads arg min E(u , u ,d ). (18) C L L u ,u ,d C L L The advantage of ‘replacing’ (4)with(23) is that one of the two sub-problems stemming from (18), more precisely, the complementary one, will be linear: indeed, W (ε(u), 0) = ∂W (ε(u)), thus yielding the standard linear stress-strain relation σ(u):= (ε(u), 0) = C : ∂ε ε(u). And this, moreover, will take place in a ‘large portion’ of , since by assumption | | | |. L C Due to the strong displacement continuity requirement (12), formulation (18) is called primal in the literature, see e.g. [52]. This requirement may be too restrictive from the computational standpoint [53]. Relaxing, or rather neglecting (12), results in the appear- ance of the traction-like terms in the corresponding sub-domain energy functionals (15) and (16): E (u , λ ):= W (ε(u ), 0) dx − λ · u ds − t · u ds, (19) 1 C C C C C C C N,1 Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 9 of 30 and E (u ,d , λ ):= W (ε(u ),d )dx − λ · u ds, (20) 2 L L L L L L L with λ , λ ∈ L () being the (unknown) Lagrange multipliers, which represent tractions. C L In this case, however, the ‘argmin max’-problem being posed for E(u , u ,d , λ , λ ):= E (u , λ ) + E (u ,d , λ ), C L L L C 1 C C 2 L L L is under-determined, since no relation is yet specified between u and u , nor between L C λ and λ . L C Two standard ways to proceed with (19)and(20), and obtaining a variational formulation equivalent to the original one in (4) are as follows. Option 1 One imposes a strong continuity between λ and λ on , by setting in E and C L 1 λ =−λ =: λ. (21) C L Summing the obtained functionals leads to E(u , u ,d , λ):= W (ε(u ), 0) dx + W (ε(u ),d )dx C L L C L L C L + λ · (u − u )ds − t · u ds. (22) L C C N,1 Note that, in this case, E(u,d) ≈ E(u , u ,d , λ), since the surface integral over the inter- C L L face  provides the weak continuity between the local and complementary displacement fields. λ is the (unknown) Lagrange multiplier. The corresponding variational problem for E which approximates the reference problem (4)thenreads argmin max E(u , u ,d , λ). (23) C L L u ,u ,d C L L Owing to condition (21), formulation (23) is called dual in the literature, see e.g. [54]. The relation between the solution (u,d) of the reference problem (4) and the solution triple (u , u ,d ) is given by (13)and (14). C L L Option 2 One preserves the representations (19)and (20), and, in contrast to (21), imposes only a weak continuity between λ and λ on . The latter is achieved by intro- C L ducing the functional E (u , λ , λ ):= u · (λ + λ )ds, (24) 3  C L  L C with u ∈ H () representing the (unknown) Lagrange multiplier, which has the dimen- sion of a displacement. Summing E and E with E , and also regrouping the terms, we 1 2 3 finally obtain E(u , u ,d , u , λ , λ ):= W (ε(u ), 0) dx + W (ε(u ),d )dx C L L  C L C L L C L + λ · (u − u ) + λ · (u − u ) ds C  C L  L − t · u ds. (25) N,1 Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 10 of 30 From (25), it can be grasped that the introduction of u enables also to implicitly provide a weak continuity between u and u across  via an intermediate function u (this is L C in addition to the already incorporated weak continuity between λ and λ ). Conclud- L C ing that E(u,d) ≈ E(u , u ,d , u , λ , λ ), the variational problem for E in (25) which C L L  C L approximates the reference problem (4) will be as follows: argmin max E(u , u ,d , u , λ , λ ). (26) C L L  C L λ ,λ C L u ,u ,d ,u L L In this case, the representation of u stemming from the solution of problem (4)interms of the solution triple (u , u , u ) stemming from (26)reads as C L u , for x ∈  , L L u = u , for x ∈  , (27) C C u , for x ∈ , whereas the representation for d in terms of d defined by (14) remains unaltered. In the literature, formulation (26) is sometimes called the localized Lagrange multipliers based formulation (we abbreviate this as LLM), where the term ‘localized’ is used to associate the multipliers λ , λ and u with the corresponding sub-domains, see e.g. [55–57]. C L Table 2 briefly summarizes the considered formulations. Formulation (23) is seemingly less computationally demanding than (26), since there is only one extra field λ to be solved for in the former case, versus the triple (u , λ , λ ) C L of unknown fields in the latter one. The potential advantage of (26) over (23)isagreater flexibility, at the finite element discretization stage, of handling the interface between complementary and local domains. As follows, we move on with the LLM formulation (26) and extend it to the global/local setting, for which, in turn, a non-intrusive solution procedure is devised. This will lead to a non-intrusive global/local approach to the phase-field formulation (4). Global/local formulation As a first step, a so-called fictitious domain  is introduced to ‘fill the gap’ obtained in  by removing  from it, see Fig. 3b. It is assumed that  is constituted by a L F material with the same linear elastic behaviour as in  .Itisalsoassumedthat  is C F open (i.e.  ⊂  ). Unification of  with  and  forms the global domain  ,thatis, F F C G :=  ∪  ∪  . The fictitious domain  is furthermore assumed free of geometrical G F C F ‘imperfections’ which may be present in  ,see Fig. 3b. Therefore, it is in general  = , L G and the constructed global domain  should not be confused with the original reference domain . Summing up the above, the role of the fictitious domain  is twofold: it replaces the “sub-regions” of a structure (reference domain) containing geometric details (e.g. holes, Table 2 Domain decomposition formulations of the reference problem (4) Formulation Imposed continuity between Unknowns u & u λ & λ C L C L Primal, (18)Strong – (u , u ,d ) C L L Dual, (23)Weak Strong (u , u ,d , λ) C L L LLM, (26) Weak Weak (u , u ,d , u , λ , λ ) C L L  C L Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 11 of 30 inclusions etc.) and/or constitutive non-linearity by there details-free and linearly elastic “counterparts”. The obtained global domain  is then straightforwardly suitable for meshing and solving procedures within legacy codes. As it will be also seen below, the use of  is essential to realize the concept of non-intrusiveness of the computational scheme for solving the coupled global/local formulation. Next to this, it is assumed that there exists a continuous prolongation of u into  . C F That is, we introduce a function u ∈ H ( ) such that u | ≡ u and u = u on G G G  C G C in the sense of trace. The former also implies that u = 0 on  and u = u¯ on  . G D,0 G D,1 Owing to the definitions of  and u , the first term in (25) is recast as follows G G W (ε(u ), 0) dx = W (ε(u ), 0) dx C G C C = W (ε(u ), 0) dx − W (ε(u ), 0) dx, G G G F and we also substitute u for u in the third and fourth integrals in (25). This yields the G C desired global/local representation (approximation) of the reference energy functional E in (1), namely, E(u , u ,d , u , λ , λ ):= W (ε(u ), 0) dx − W (ε(u ), 0) dx G L L  C L G G G F + W (ε(u ),d )dx L L + λ · (u − u ) + λ · (u − u ) ds C  G L  L − t · u ds. (28) N,1 (We used the  a to distinguish between the previously considered E and the constructed E.) The resulting global/local variational problem, which approximates the reference for- mulation (4)reads argmin max E(u , u ,d , u , λ , λ ), (29) G L L  C L λ ,λ C L u ,u ,d ,u G L L and the relation between the solution u of (4) and the solution triple (u , u , u )of(29) G L is given by ⎪ u ,for x ∈  , L L u = u ,for x ∈  , G C u ,for x ∈ . In what follows, for the sake of compactness we set (u , u ,d , u , λ , λ ) =: z. G L L  C L Coupled system in weak form To present the weak formulation of (29), we introduce the directional derivatives of E with respect to the various components of z. Recalling the function W defined by (2), the ‘main’ three derivatives read E (z; v ):= σ(u ): ε(v )dx − σ(u ): ε(v )dx u G G G G G G F − λ · v ds − t · v ds, (30) C G G N,1 Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 12 of 30 ∂W ∂ 1 where σ(u ) = (ε(u ), 0) = (ε(u )) = C : ε(u ), and v ∈{H ( ): v = G G G G G G G ∂ε ∂ε 0 on  ∪  } is the test function; D,0 D,1 E (z; v ):= σ(u ,d ): ε(v )dx − λ · v ds, (31) u L L L L L L + − ∂W 2 ∂ ∂ 1 where σ(u ,d ) = (ε(u ),d ) = (1 − d ) (ε(u )) + (ε(u )), and v ∈ H ( ) L L L L L L L L L ∂ε ∂ε ∂ε is the test function; E (z; w ):= − 2(1 − d ) (ε(u ))w + G d w + ∇d ·∇w dx, d L L L L c L L L L where w ∈ H ( ) is the test function. The following ‘modified’ version of E ,adjusted L L to account for the irreversibility of the phase-field evolution, will be used in our compu- tations: E (z; w ):= − 2(1 − d )H (ε(u ))w + G d w + ∇d ·∇w dx. L L L L c L L L L (32) This is similar to the modification discussed for equation (10). The remaining three variational derivatives of E are E (z; v ):= (λ + λ ) · v ds, (33) u  C L E (z; β ):= (u − u ) · β ds, (34) λ  G C C C E (z; β ):= (u − u ) · β ds, (35) λ  L L L L 1 2 where v ∈ H ()and β , β ∈ L () are the corresponding test functions. C L Using equations (30)and (31), (32), the global and local weak problems are, respectively, formed: σ(u ): ε(v )dx − σ(u ): ε(v )dx − λ · v ds (G) G G G G C G G F − t · v ds = 0, l G N,1 and σ(u ,d ): ε(v )dx − λ · v ds = 0, ⎨ L L L L L (L) −2(1 − d )H (ε(u ))w + G d w + ∇d ·∇w dx = 0, ⎩ L L L c L L L L whereas equations (33), (34)and(35) are used for establishing the (weak) coupling between them: (λ + λ ) · v ds = 0, (C ) C L  1 Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 13 of 30 (u − u ) · β ds = 0, (C ) G 2 (u − u ) · β ds = 0. (C ) L 3 Here, (u , u ,d , u , λ , λ ) is the vector of the unknowns to be solved for, and (v , v ,w , G L L  C L G L L v , β , β ) is the vector of the corresponding test functions. C L For the presented system of equations, a computational scheme can already be devised. We should notice, however, that equation (G) in the current form does not fit in the notion of non-intrusiveness yet. Indeed, being a linear one, it can naturally be solved for u ‘straightforwardly’. But the presence of the two domain integrals, namely, over  and G G ⊂  would imply in this case the need to simultaneously access the corresponding F G stiffness matrices (in the following, K and K ), or, in other words, a necessity of modifying G F K —a situation that contradicts the concept of non-intrusiveness. Avoiding this can be done in two steps: first, by introducing a partitioning of equation (G), and then, devising the appropriate iterative solution procedure. The former will be presented here, and the latter is addressed in “Non-intrusive computational scheme” section. We focus on the domain integral over  in (G). The divergence theorem leads to σ(u ): ε(v )dx =− div(σ(u )) · v dx + σ(u ) · n · v ds, (36) G G G G G ∂ G F F F where n is the unit outward normal vector to ∂ . The first term in the right-hand ∂ F side of (36) can be canceled using the divergence-free assumption for the stress (no body forces in  ). The second term can be simplified as follows. In the most general case, ∂ F F is composed of five non-overlapping parts, including . More precisely, ∂ =  ∪ (∂ ∩  ) ∪ (∂ ∩  ) ∪ (∂ ∩  ) ∪ (∂ ∩  ), (37) F F N,0 F D,0 F N,1 F D,1 as sketched in Fig. 4a, and hence R = R + R + R + R + R, (38) ∂  ∂ ∩ ∂ ∩ ∂ ∩ ∂ ∩ F F N,0 F D,0 F N,1 F D,1 Fig. 4 a The possible complex nature of ∂ illustrating equation (37); b choice of  that results in F L ∂ ∩  =∅ for F N,1 F Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 14 of 30 with R := σ(u ) · n · v . In this case, due to the following basic properties G ∂ G • σ(u ) · n = 0on  , G  N,0 N,0 • v = 0on  and on  , G D,0 D,1 • σ(u ) · n = t on  , G  N,1 N,1 l the corresponding integrals in the right-hand side of (38) are simplified, thus yielding σ(u ) · n · v ds = σ(u ) · n · v ds + t · v ds. G ∂ G G  G l G ∂  ∂ ∩ F F N,1 Here, n is the unit normal vector on , outward with respect to  . To further simplify the last expression, we note that it is always possible to pick  (and, hence, the resulting ) such that ∂ ∩  =∅,see Fig. 4b, and, as a result, the last surface integral cancels. F F N,1 For (36), this eventually yields: σ(u ): ε(v )dx = σ(u ) · n · v ds. (39) G G G  G It can now be assumed that, given u ,there exists λ ∈ L () such that G F λ · v ds = σ(u ) · n · v ds, (40) F G G  G holds. In the above, we use the subscript F to indicate, according to (39), the relation of the corresponding quantity to  (more precisely, to the restriction of u to  ). F G F Owing to (39)and (40), we finally arrive at the following partitioned representation of equation (G): σ(u ): ε(v )dx − λ · v ds − λ · v ds − t · v ds = 0, (G ) G G F G C G l G 1 G N,1 with λ satisfying λ · v ds = σ(u ): ε(v )dx. (G ) F G G G 2 Equations (G ), (G ), system (L) and coupling equations (C ), (C ), (C )consti- 1 2 1 2 3 tute what we term global/local coupled system, which is to be solved for the vector (u , u ,d , u , λ , λ ). G L L  C L Non-intrusive computational scheme Let n ≥ 0 be the iteration index. For designing at a fixed loading step l the iterative solution procedure for the global/local system defined by (G ), (G ), (L), and (C ), (C ), (C ), the 1 2 1 2 3 following prerequisites are taken into account: (a) Since the data (u¯ , t ) are posed on  ,  ⊂ ∂ , the process initialization (i.e. l l D,1 N,1 G iteration n = 0) is started with the solution of global problem (G ), (G ). 1 2 Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 15 of 30 (b) In order to fit equation (G )with λ = λ (u ) in the concept of non-intrusiveness, 1 F F G λ must be treated as a known quantity. This defines the order in which equations (G )and (G ) are solved at any iteration n ≥ 0: the solution of (G ) precedes the 1 2 2 solution of (G ). In this case, as desired, the stiffness matrix K remains unaltered; 1 G the access to K is still required, but only at the stage of solving (G ), not (G ). F 2 1 (c) For solving (G ), λ must be also known. At n = 0, λ can simply be taken from the 1 C C previous loading step. At n ≥ 1, we use coupling equation (C ) for the extraction of λ , assuming λ is already known. This defines the order in which the global and C L local problems are solved: at any iteration starting from n = 1, the solution of (L) precedes the solution of (G ). We also notice that: (d) Coupling equation (C ) provides the boundary condition for u of the local problem 3 L (L). (e) Coupling equation (C ) is used for the recovery of u . As follows from (c) and (e), elimination of λ and u from the set of unknowns to be originally solved for is achieved. These two quantities, as well as λ , are the recovered ones. The summary of the solution operations to be performed at any iteration n of the procedure, excluding the initialization step (n = 0), is as follows: • solution of local problem (L) coupled with (C ), • recovery phase using (C )and (G ), 1 2 • solution of global problem (G ), • recovery phase using (C ). The detailed scheme, including the iteration n = 0, is depicted in Table 3.Notethatinall equations in the table we omit dx and ds. Staggered process for the local problem Solution of the local system in Table 3 at the given global/local iteration n ≥ 1 requires an additional nested iterative solution process. In our case, this is the staggered procedure from Table 1, which is adjusted to handle an extra variable λ , and is also equipped with the appropriate definition of the input (initial guess) data and of the stopping criterion. The initial guess for the staggered loop (with the iteration index k ≥ 0) is chosen as follows. At iteration n = 1 (and staggered iteration k = 0) the values (u ,d , λ ) L,l−1 L,l−1 L,l−1 known from the previous loading step are used as the initial guess. At n ≥ 2 (and staggered n−1 n−1 n−1 iteration k = 0), we naturally take (u ,d , λ ). L L L (k) (k) (k) At any fixed iteration n ≥ 1, the accuracy check for the solution triple (u ,d , λ ) L L L obtained at the staggered iteration k ≥ 0 is performed as follows: (k) (k) (k) k 1 Res :=|E (u ,d , λ ; v )|≤ TOL , ∀ v ∈ H ( ), (41) u L Stag L L Stag L L L where, to recall, E is given by (31). If (41)isfulfilled—note againthatinthe fol- −5 lowing numerical test, TOL := 10 – the staggered process is stopped, we set Stag (k) (k) (k) n n n (u ,d , λ ) =:(u ,d , λ ) and perform n + 1 → n. L L L L L L Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 16 of 30 Table 3 Non-intrusive iterative solution process for (G ), (G ), (L), and (C ), (C ), (C )ata 1 2 1 2 3 fixed loading step l Input: loading data (u ¯ , t ) on Γ , Γ ⊂ ∂Ω ; l l D,1 N,1 G solution (u , u ,d , u , λ , λ ) from step l − 1. G,l−1 L,l−1 L,l−1 Γ,l−1 C,l−1 L,l−1 Initialization, n =0: • given λ ,set λ =: λ , C,l−1 C,l−1 • given u ,solve G,l−1 λ · v = σ(u ): ε(v ), F G G,l−1 G Γ Ω • for λ ,set λ =: λ , F F 0 0 • given λ and λ ,solve F C 0 0 σ(u ): ε(v ) − λ · v − λ · v − t · v =0, G G G G l G F C Ω Γ Γ Γ G N,1 • for u ,set u =: u , G G • given u ,solve (u − u ) · β =0 Γ C • for u ,set u =: u . Γ Γ Global/local iteration n ≥ 1: n−1 • given u ,solve σ(u ,d ): ε(v ) − λ · v =0, ⎪ L L L L L Ω Γ ⎪ L −2(1 − d )H (ε(u ))w + G d w + ∇d ·∇w =0, L l L L c L L L L ⎪ Ω n−1 ⎩ (u − u ) · β =0, L L n n n • for (u ,d , λ ),set (u ,d , λ )=:(u ,d , λ ), L L L L L L L L L • given λ ,solve (λ + λ ) · v =0 C Γ • for λ ,set λ =: λ , C C n−1 • given u ,solve n−1 λ · v = σ(u ): ε(v ), F G G Γ Ω • for λ ,set λ =: λ , F F n n • given λ and λ ,solve F C n n σ(u ): ε(v ) − λ · v − λ · v − t · v =0, G G G G l G F C Ω Γ Γ Γ G N,1 • for u ,set u =: u , G G • given u ,solve (u − u ) · β =0 Γ C • for u ,set u =: u . Γ Γ • Accuracy/convergence check : η ≤ TOL , GL • if fulfilled, set n n n n n n (u , u ,d , u , λ , λ )=: (u , u ,d , u , λ , λ ), G,l L,l L,l Γ,l C,l L,l G L L Γ C L • and stop; else n +1 → n. Output: solution (u , u ,d , u , λ , λ ). G,l L,l L,l Γ,l C,l L,l * See “Staggered process for the local problem” section, ** see “Accuracy/convergence check” section Accuracy/convergence check Derivation of the convergence and stopping criteria for the global/local iterative solution processinTable 3 is rather straightforward. Indeed, at any iteration n ≥ 1, the solution n n n n n n outcome is denoted as (u , u ,d , u , λ , λ ). Plugging this in equations (G ), (G ), (L), 1 2 G L L  C L (C ), (C ), (C ) and comparing the obtained outcome with the corresponding equations 1 2 3 in Table 3, it is straightforward to locate the imbalanced quantities: n n (u − u ) · β = 0, (42) L L Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 17 of 30 and n n λ · v = σ(u ): ε(v ). (43) G G F G Therefore, the solution accuracy at n is measured by the quantity n+1 n last k n n n Res := Res +| (u − u ) · β |+| (λ − λ ) · v |, ∀ β , v , (44) G G L L L GL Stag F F where Res is the staggered residual of the local problem with ‘last k’ denoting the index Stag of the converged staggered solution (see “Staggered process for the local problem” section n+1 for details), and λ is recovered (post-processed) from the right-hand side of (43). The stopping criterion for the global/local loop can then be defined as Res ≤ TOL , (45) GL GL with TOL to be prescribed. Owing to the ‘nested in’ nature of the staggered process, it GL −5 −4 has to be TOL < TOL . Recalling that TOL = 10 ,weset TOL := 10 . Stag GL Stag GL In our computations (see Table 3), we use a more convenient form of the stopping criterion. Setting n+1 n n n n n η := u − u , η := λ − λ  , u  L λ L () F F L () n n n 2 2 we define η := (η ) + (η ) , and use this quantity to now check n −6 η ≤ TOL := 10 . GL This choice of TOL fulfills the requirement η < TOL − TOL , which is stipulated GL GL Stag by (44), (45), and the already prescribed above magnitudes of TOL and TOL . GL Stag Since the quantity η naturally stems from the global/local solution accuracy check E (z ; y) = 0, it represents not only the iterative convergence indicator, but also the solution accuracy indicator—a very desired property, since the former is only suitable for tracing the convergence of the corresponding iterative solution process, but, clearly, is not adequate for stopping criterion. The corresponding ingredients η and η are only u λ iterative convergence indicators, but none of them provides an adequate check of the solution accuracy. In particular, since η measures, though implicitly, the displacement continuity—a match between u and u across  (recall that the traction continuity—a G L match between λ and λ on —is, in our case, fulfilled automatically), it is also the C L indicator of a good “gluing” between the two models. Incremental setting For later developments (“Results and discussion” section), it proves convenient to refor- mulate the global equation in incremental form. It is straightforward to see that for a given n−1 n−1 n−1 global/local iteration n ≥ 1, this reads: given the triple (u , λ , λ ) known from the G F C n n iteration n − 1, as well as (λ , λ ) ‘recovered’ at the iteration n,wesolve F C n n−1 n n−1 σ(u ): ε(v ) − (λ − λ ) · v − (λ − λ ) · v = 0, (G ) G G G G incr F C F C G Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 18 of 30 for u =:(u ) and set G G n n−1 n u := u + (u ) . (46) G G We term equation (46) a ‘direct update’ within the global/local iterative procedure. This is in contrast to the notion of a ‘relaxed/accelerated update’ to be considered in Section . Finite element discretization In the following, for the sake of simplicity, we assume the dimension of the reference problem is 2. Let P be a finite element partition of  into triangles or quadrilaterals, I be the number of nodes in P,and N , i = 1, ... ,I be the nodal shape function associated with the node i and supported on the collection of elements in P that share i.Finally,let a scalar-valued quantity ˆ· represent the nodal value. The standard discretization of the solution of the reference problem (using Voigt’s notation) is as follows: u N 0 uˆ x i x,i u = = =: N uˆ, u 0 N uˆ y i y,i i=1 where N is the 2 × 2I interpolation/basis matrix and u is the 2I × 1 displacement nodal- vector, and ˆ ˆ d = N d =: N d. i i i=1 where N is the 1 × I interpolation/basis matrix and d is the I × 1 phase-field nodal- vector. N constitutes both matrices N and N . The corresponding representation of the i u gradients reads: ⎡ ⎤ ⎡ ⎤ ∂N ε 0 xx ∂x ⎢ ⎥ ⎢ ⎥ uˆ x,i ∂N ⎢ ⎥ ⎢ ⎥ ε(u) = ε = 0 =: B uˆ, yy u ∂y ⎣ ⎦ ⎣ ⎦ uˆ y,i i=1 1 ∂N 1 ∂N i i xy 2 ∂y 2 ∂x where B is a 3 × 2I matrix, and ∂d I ∂N ∂x ∂x ˆ ˆ ∇d = = d =: B d, i d ∂N ∂d ∂y ∂y i=1 where B isa2 × I matrix. The problem test functions v and w,aswellastheir gradients are discretized accordingly. For the global/local formulation, we assume the existence of the partitions P and P G L of  and  , respectively. Using this and adopting the above notations, the solution G L discretizations are given by G L L u = N uˆ , u = N uˆ ,d = N d , (47) G G L L L L u u such that G L L ε(u ) = B uˆ , ε(u ) = B uˆ , ∇d = B d . (48) G G L L L L u u d Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 19 of 30 Note that the superscripts G and L are introduced in the corresponding definitions of N , N and B , B . d u d To construct the discretization of the Lagrange multipliers λ , λ , u and the supple- C L mentary quantity λ on  we account for the following. In the most general situation, three distinct partitions of  may be assumed: the restrictions of P and P —denoted G L as T and T , respectively—which serve to create the corresponding bases for λ (also G L C λ )and λ , and the ‘independent’ partition T to be used for creating the basis for u . F L G L Introducing the three related basis matrices N , N and N ,wewrite λ λ u G L  G ˆ ˆ ˆ λ = N λ , λ = N λ , u = N uˆ , λ = N λ . (49) C C L L   F F λ λ u λ In the following, for our numerical example, we assume that: • the partitions T , T and T match (this is usually termed a ‘matching case’); G L G L • the basis in the global and local domains is identical, that is, N = N =: N ; u u • the basis on the interface is obtained from N by the corresponding restriction, that G L is, N = N = N = N | ; λ λ u • the nodal shape functions N composing bases N and N are piecewise linear. i u d Because of the matching interface situation, no intricate data transfer methods (the con- struction of prolongation and restriction operators, generalized inverse matrices etc.) are required. Also, with the above choice of the discretization basis for the Lagrange multi- pliers, the related inf-sup condition is fulfilled, see e.g. [58,59]. Using expressions (47), (48)and (49) along with the above assumptions, the matrix representation of all equations in Table 3 is straightforward. Results and discussion To illustrate the proposed approach, we consider the following benchmark problem. A square specimen with two holes of different diameters is subjected to tension loading, see Fig. 5a. The holes are introduced to weaken the structure and to facilitate the specimen cracking in absence of a stronger singularity such as a pre-existing crack. The holes loca- tion is chosen such that prediction of the sub-region where cracking occurs (hence, the Fig. 5 a Specimen geometry and loading conditions; sketches of (b) the fracture pattern and c the load-displacement curve with the points of interest Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 20 of 30 local domain for the forthcoming global/local analysis) is feasible. Taking a different size of the holes is intended to obtain a geometrically non-trivial crack pattern, as depicted in Fig. 5b. This, moreover, results in a multi-stage crack propagation process to be man- ifested by a load-displacement response with two peak points, see Fig. 5c for a sketch, and Figs. 7 and 12 for the actually obtained results. We believe that the present setup, being neither extremely complex, nor trivial, is suitable for the purpose of a qualitative and quantitative comparison between the reference results and results obtained with the proposed global/local approach. The geometric data are as follows (all given in mm): a = 1, b = 0.197, b = 0.210, 1 2 b = 0.490 with the hole diameters c = 0.247 and c = 0.0806. The material data are: 3 1 2 Young’s modulus E = 210 GPa, Poisson’s ratio ν = 0.3 and the critical energy release −3 rate G = 2.7 · 10 kN/mm. The characteristic length in the phase-field formulation is −2 = 1.5 · 10 mm. We consider the plane-strain situation. The algorithmic parameters are: the loading u¯ = lu with l ∈ [1, 110) and the −3 −8 increment size u := 0.06 · 10 mm, the tolerance magnitudes are TOL := 10 , NR −5 −6 TOL := 10 ,and TOL := 10 . Stag GL We recall that we use P -triangles for approximating all unknown variables both in the reference and global/local formulations. The minimum finite element size in the reference and local domains is 0.004 mm, the maximum element size in the reference and global domains is 0.1 2 mm. The former fulfills the heuristic requirement h </2 for the element size inside the localization zone (i.e. the support) of d. The reference domain partition contains 18,672 elements. The discretizations of the global and local domains contain 200 and 18,552 elements, respectively. That is, in our case, the reference and global/local problems have a comparable discretization size, as can be grasped from Fig. 6. Reference and global/local results We start here with the presentation of the quantitative and qualitative reference and global/local results and their comparison. As desired, the two load-displacement curves in Fig. 7 are identical in the entire range of loading, including the pre- and post-peak behavior. The computed phase-field profiles in Fig. 8 are also in a very good agreement. This is already a good indicator of the potential of the global/local approach with application to systems with strong non-linearity and localization. Fig. 6 Finite element mesh used for the discretization a of the reference domain , b of the global and local domains  and  , respectively G L Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 21 of 30 Fig. 7 Comparison of the load-displacement curves Fig. 8 Comparison of the computed phase-field profiles For a better insight into the the iterative convergence behavior of the global/local solu- tion process, in Fig. 9 we depict the convergence indicators from “Accuracy/convergence check” section for four given loading steps corresponding to the points 1–4 of our interest 2 2 sketched in Fig. 5c. Thus, we plot the quantities η , η and η = η + η such that the u λ u λ amount of global/local iterations required for the solution convergence at the step (also in comparison with other steps) can be detected. The first important observation is that η , which implicitly measures the displacement discontinuity between the solutions of the global and local problem across the inter- face, is two orders of magnitude less than η . Thus, its contribution to η, which is used not only for tracing the convergence of the iterative solution process, but also for the solution accuracy check, is negligible. This means that a stopping criterion based solely on the use of η (what seems typical for the global/local approaches in e.g. plasticity) will yield, in our case, erroneous results. Secondly, it can be noted that a quite large amount of global/local iterations is needed, especially at loading steps corresponding to the peak loads of the load-displacement curves in Fig. 7 (the points of interest 2 and 4 from Fig. 5c). Resulting from the slow convergence of the global/local procedure, the corresponding cumulative computational time turns out to be high, see Fig. 10, where also the time for solving the reference formulation by the staggered scheme is depicted. For the given setup, with a standard machine (Intel(R) Core(TM) i7-3770 OK, CPU 3.5 GHz, RAM 16.0 GB) it takes about one hour of staggered computations vs. approximately four hours required for the global/local approach. (We should note however that our goal was not to gain computational efficiency, but rather to enable computations with legacy codes.) Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 22 of 30 Fig. 9 Convergence behavior of the global/local iterative solution process at four different loading steps (the points 1–4 from Fig. 5c), illustrated in terms of the indicator η,aswellasits ingredients η and η u λ High efforts are not surprising, as the global/local problem has a larger discretization size than the reference problem, and three nested iterative processes vs. two for the reference problem. The latter results in a larger time per loading step, as can be seen in Fig. 11. It can be grasped that the rapid increase of cumulative time in Fig. 10 for both for- mulation appears at loading steps related to the peak points 2 and 4. Also, regardless of the formulation, the computational time per step in Fig. 11 at these points is sig- Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 23 of 30 nificantly higher (by almost two orders of magnitude, to be more precise) than at the pre-peak loading steps. These observations correlate with the convergence results from Fig. 9. Non-convexity and non-linearity of the global/local formulation, as well as the com- plicated multi-level iterative nature of the related iterative solution procedure result in a generically slow convergence of the approach. Another impacting factor that should be noted is that the stiffness matrix of the global problem K is never updated within the global/local computation process. Incorporation of an incremental update relaxation in this process is thus our next goal, with the objective to obtain an acceleration of the convergence process. Relaxation/acceleration techniques: Aitken’s, SR1, Broyden et al. Following [39]and[51], we will consider and incorporate two types of relaxation/acceleration techniques into our approach: Aitken’s  -method (also known as dynamic relaxation, whose efficient implementation in fluid-structure interaction computations has already been reported [60,61]) and Quasi-Newton correction. Within the family of Quasi-Newton correction formulae, we restrict ourselves to the Symmetric Rank One (SR1) and the Broy- den update versions. Technically, both types deal with the global solution update equation (46) and modify it specifically. Let us consider (46) written in terms of the nodal displacements n n−1 n n −1 n uˆ := uˆ + (uˆ ) s.t. (uˆ ) = K r , (50) G G G G G Fig. 10 Time-displacement curves in terms of ‘accumulated time’ Fig. 11 Time-displacement curves in terms of ‘time per loading step’ Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 24 of 30 where, owing to (G ), one has incr G T G K := (B ) C B , u u with C as a 3 × 3-matrix representation of C,and n G T n n−1 G T n n−1 r := (N ) (λ − λ ) + (N ) (λ − λ ). u u F F C C Aitken’s method modifies (50) at any iteration n ≥ 2 introducing the damping factor n−1 n ω = f (ω , (uˆ ) , (uˆ ) )s.t. ω = 1 as follows: n−1 n−2 G G 0 n n−1 n uˆ := uˆ + ω (uˆ ) , (51) n−1 G G G whereas the Quasi-Newton correction modifies (50) at any iteration n ≥ 2 by replacing n n−1 n n−1 1 the matrix K with K = f (K , r , (uˆ ) )s.t. K = K , thus resulting in G G G n n−1 n −1 n uˆ := uˆ + (K ) r . (52) G G In (51), we explicitly have n−1 T n−1 n ((uˆ ) ) (uˆ ) − (uˆ ) G G G ω := ω ,n ≥ 2, (53) n−1 n−2 n−1 n 2 |(uˆ ) − (uˆ ) | G G with ω = 1. In (52), the SR1 update formula implies n n T r (r ) n n−1 K := K − ,n ≥ 2, (54) T n−1 (r ) (uˆ ) whereas the Broyden update reads as n n−1 T r ((uˆ ) ) n n−1 K := K − ,n ≥ 2. (55) n−1 T n−1 ((uˆ ) ) (uˆ ) G G In both cases K = K . Further details about computing the inverse matrices, efficient data storage etc. can be found e.g. in [6,39]. Also, following Conn et al. [62], the SR1 update formula (54)isusedonlyif n T n−1 n n−1 |(r ) (uˆ ) |≥ c |r ||(uˆ ) |, G 1 G n n−1 with a constant c ∈ (0,1).Otherwise,wesimplyset K := K . This helps preventing the convergence issue of the global/local procedure using the SR1 based relaxation. The results obtained with the relaxation/acceleration techniques are depicted in Figs. 12–15. As can be seen from Fig. 12, all three considered techniques yield identi- cal load-displacement curves, also identical to the curve obtained from the global/local procedure with no relaxation/acceleration. Similarly to Figs. 9 and 13 presents and compares the convergence of the global/local iterative procedure and its acceleration/relaxation versions at the four loading steps of interest. Here, we only plot the indicator η and not its ingredients. For a given point, the Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 25 of 30 Fig. 12 Comparison of the load-displacement curves amount of iterations required for the convergence of the solution process in all accelera- tion/relaxation techniques is similar, but is less (in some cases, significantly) than in the original unaccelerated case. Figure 14 compares the phase-field solutions of the global/local formulations com- puted using the corresponding acceleration/relaxation techniques. It can be observed that even though the load-displacement curves are identical in all cases, the correspond- ing phase-field profiles are not. This can be explained, first of all, by the solution non- uniqueness of the original reference phase-field formulation, and, secondly, by the fact that the global/local formulation is only the approximation of the reference one. From the time-displacement curves comparison in terms of both ‘cumulative time’ and ‘time per loading step’, Fig. 15, it can be concluded that the desired improvement of efficiency of the original procedure has indeed been achieved. However, in the global time scale, all three techniques have a very similar effect, at least for the considered example. Conclusions We combined the adoption of non-intrusive global/local approaches with phase-field modeling of brittle fracture, with the main objective to pave the way for a wide adoption of this framework for industrial applications within legacy codes. We investigate the convergence performance of the fixed-point scheme used for the global/local iterations and showed that the obtained results are identical to the reference phase-field solution. In order to accelerate the observably quite slow convergence behavior, especially close to and beyond the peak point(s) of the load-displacement response, we also equipped the global/local solution update procedure with relaxation/acceleration techniques such as Aitken’s  -method, the Symmetric Rank One and Broyden’s methods. Findings showed that the iterative convergence can be improved significantly, to a similar extent for all investigated methods. Aitken’s  -method is probably the most convenient choice for the implementation of the approach within legacy codes, as this method needs only tools which are often used for the so-called sub-modeling strategy, which is well known and widely used in industrial contexts. Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 26 of 30 Fig. 13 Convergence behavior of the different versions of the global/local iterative solution process at four different loading steps (the points 1–4 from Fig. 5c), illustrated in terms of the indicator η Several extensions and improvements of the proposed framework are foreseen, such as the study of the effect of global modeling choices on the iterative convergence behavior, the investigation of alternative boundary conditions for the coupling, the implementation of mortar-type approaches to enable non-matching meshes at the boundary between local and complementary domains. Moreover, in practical applications when i.e. the evolving localization areas are not known á priori, the global/local approach must be supplied with Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 27 of 30 Fig. 14 Comparison of the phase-field profiles computed with the various acceleration/relaxation versions of the global/local approach Fig. 15 Comparison of the time-displacement curves presented in different formats the possibility of the adaptive choice of the local domain  . The representation result for d,namely, 2 + (x + ξ) d(x) = g(ξ) dξ, (56) |V | V 1 +  (x + ξ) obtained in Ambati et al. [15], p. 392, equation (34) suggests that  , or rather the history field H , may serve as an “indicator” for the adaptive choice of  .In(56), V ⊂  is an averaging volume, ξ ∈ V,and g(ξ) is a bell-shaped function, typically a Gaussian, such that g(ξ)dξ = 1 holds. These issues are all open for further research. |V | V Authors’ contributions TG elaborated the concepts proposed and discussed in the manuscript, contributed to the numerical studies and wrote the draft of this paper, NN performed the numerical implementation and experiments, OA contributed to writing the part of the introductory section, and LDL contributed to the numerical experiments and paper revisions. All authors read and approved the final manuscript. Author details Institute of Applied Mechanics, Technische Universität Braunschweig, Pockelsstraße 3, 38106 Braunschweig, Germany, LMT-Cachan, ENS Cachan, 61 Avenue du Président Wilson, 94235 Cachan Cedex, France. Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 28 of 30 Acknowledgements Not applicable. Competing interests The authors declare that they have no competing interests. Ethics approval and consent to participate Not applicable. Funding TG was partially funded by the ERC through the Starting Researcher Grant INTERFACES, GA 279439. NN was partially funded by the DFG through the IRTG 1627 “Virtual materials and their validation”. Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Received: 22 December 2017 Accepted: 21 April 2018 References 1. Francfort GA, Marigo JJ. Revisiting brittle fractures as an energy minimization problem. J Mech Phys Solids. 1998;46:1319–42. 2. Bourdin B, Francfort GA, Marigo JJ. Numerical experiments in revisited brittle fracture. J Mech Phys Solids. 2000;48(4):797–826. 3. Bourdin B. Numerical implementation of the variational formulation for quasi-static brittle fracture. Interfaces Free Bound. 2007;9:411–30. 4. Bourdin B. The variational formulation of brittle fracture: numerical implementation and extensions. In: Combescure R, Belytschko T, editors. Proceedings of the IUTAM symposium on discretization methods for evolving discontinuities. Berlin: Springer; 2007. 5. Bourdin B, Francfort GA, Marigo JJ. The variational approach to fracture. J Elast. 2008;91(1–3):5–148. 6. Gendre L, Allix O, Gosselet P, Comte F. Non-intrusive and exact global/local techniques for structural problems with local plasticity. Comput Mech. 2009;44(2):233–45. 7. Amor H, Marigo JJ, Maurini C. Regularized formulation of the variational brittle fracture with unilateral contact: numerical experiments. J Mech Phys Solids. 2009;57:1209–29. 8. Miehe C, Welschinger F, Hofacker M. Thermodynamically consistent phase-field models of fracture: variational principles and multi-field FE implementations. Intat J Numer Methods Eng. 2010;83:1273–311. 9. Miehe C, Hofacker M, Welschinger F. A phase field model for rate-independent crack propagation: robust algorithmic implementation based on operator splits. Comput Methods Appl Mech Eng. 2010;199:2765–78. 10. Kuhn C, Müller R. A continuum phase field model for fracture. Eng Fract Mech. 2010;77:3625–34. 11. Pham K, Amor H, Marigo JJ, Maurini C. Gradient damage models and their use to approximate brittle fracture. Int J Damage Mech. 2011;20(4):618–52. 12. Borden MJ, Hughes TJR, Landis CM, Verhoosel CV. A higher-order phase-field model for brittle fracture: formulation and analysis within the isogeometric analysis framework. Comput Methods Appl Mech Eng. 2014;273:100–18. 13. Mesgarnejad A, Bourdin B, Khonsari MM. Validation simulations for the variational approach to fracture. Comput Methods Appl Mech Eng. 2015;290:420–37. 14. Kuhn C, Schlüter A, Müller R. On degradation functions in phase field fracture models. Comput Mater Sci. 2015;108:374–84. 15. Ambati M, Gerasimov T, De Lorenzis L. A review on phase-field models of brittle fracture and a new fast hybrid formulation. Comput Mech. 2015;55(2):383–405. 16. Wu T, Carpiuc-Prisacari A, Poncelet M, De Lorenzis L. Phase-field simulation of interactive mixed-mode fracture tests on cement mortar with full-field displacement boundary conditions. Eng Fract Mech. 2017;182:658–88. 17. Duda FP, Ciarbonetti A, Sanchez PJ, Huespe AE. A phase-field/gradient damage model for brittle fracture in elastic-plastic solids. Int J Plast. 2015;65:269–96. 18. Ambati M, Gerasimov T, De Lorenzis L. Phase-field modeling of ductile fracture. Comput Mech. 2015;55(5):1017–40. 19. Alessi R, Marigo JJ, Vidoli S. Gradient damage models coupled with plasticity: variational formulation and main properties. Mech Mater. 2015;80(Part B):351–67. 20. Borden MJ, Hughes TJR, Landis CM, Anvari A, Lee IJ. A phase-field formulation for fracture in ductile materials: finite deformation balance law derivation, plastic degradation, and stress triaxiality effects. Comput Methods Appl Mech Eng. 2016;312:130–66. 21. Miehe C, Aldakheel F, Raina A. Phase field modeling of ductile fracture at finite strains: a variational gradient-extended plasticity-damage theory. Int J Plast. 2016;84:1–32. 22. Alessi R, Ambati M, Gerasimov T, Vidoli S, De Lorenzis L. Comparison of phase-field models of fracture coupled with plasticity. In: Oñate E, et al., editors. Advances in computational plasticity, computational methods in applied sciences, vol. 46. Berlin: Springer; 2018. p. 1–21. https://doi.org/10.1007/978-3-319-60885-3-1. 23. Wheeler MF, Wick T, Wollner W. An augmented-Lagangrian method for the phase-field approach for pressurized fractures. Comput Methods Appl Mech Eng. 2014;271:69–85. 24. Mikelic´ A, Wheeler MF, Wick T. A quasi-static phase-field approach to pressurized fractures. Nonlinearity. 2015;28:1371–99. Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 29 of 30 25. León-Baldelli AA, Babadjian JF, Bourdin B, Henao D, Maurini C. A variational model for fracture and debonding of thin films under in-plane loadings. J Mech Phys Solids. 2014;70:320–48. 26. Amiria F, Millán D, Shen Y, Rabczuk T, Arroyo M. Phase-field modeling of fracture in linear thin shells. Theor Appl Fract Mech. 2014;69:102–9. 27. Ambati M, De Lorenzis L. Phase-field modeling of brittle and ductile fracture in shells with isogeometric NURBS-based solid-shell elements. Comput Methods Appl Mech Eng. 2016;312:351–73. 28. Kiendl J, Ambati M, De Lorenzis L, Gomez H, Reali A. Phase-field description of brittle fracture in plates and shells. Comput Methods Appl Mech Eng. 2016;312:374–94. 29. Bourdin B, Marigo JJ, Maurini C, Sicsic P. Morphogenesis and propagation of complex cracks induced by thermal shocks. Phys Rev Lett. 2014;112:014301. 30. Miehe C, Schänzel L, Ulmer H. Phase field modeling of fracture in multi-physics problems. Part I. Balance of crack surface and failure criteria for brittle crack propagation in thermo-elastic solids. Comput Methods Appl Mech Eng. 2015;294:449–85. 31. Miehe C, Hofacker M, Schänzel L. Phase field modeling of fracture in multi-physics problems. Part II. Coupled brittle-to-ductile failure criteria and crack propagation in thermo-elastic-plastic solids. Comput Methods Appl Mech Eng. 2015;294:486–522. 32. Miehe C, Mauthe S. Phase field modeling of fracture in multi-physics problems. Part III. Crack driving forces in hydro-poro-elasticity and hydraulic fracturing of fluid-saturated porous media. Comput Methods Appl Mech Eng. 2016;304:619–55. 33. Mikelic´ A, Wheeler MF, Wick T. A phase-field method for propagating fluid-filled fractures coupled to a surrounding porous medium. SIAM Multiscale Model Simul. 2015;13:367–98. 34. Mikelic´ A, Wheeler MF, Wick T. Phase-field modeling of a fluid-driven fracture in a poroelastic medium. Comput Geosci. 2015;19:1171–95. 35. Wu T, De Lorenzis L. A phase-field approach to fracture coupled with diffusion. Comput Methods Appl Mech Eng. 2016;312:196–223. 36. Cajuhi T, Sanavia L, De Lorenzis L. Phase-field modeling of fracture in variably saturated porous media. Comput Mech. 2017;61:299–318. https://doi.org/10.1007/s00466-017-1459-3. 37. Passieux JC, Rethore J, Gravouil A, Baietto MC. Local/global non-intrusive crack propagation simulation using a multigrid X-FEM solver. Comput Mech. 2013;52(6):1381–93. 38. Guguin G, Allix O, Gosselet P, Guinard S. On the computation of plate assemblies using realistic 3D joint model: a non-intrusive approach. Adv Model Simul Eng Sci. 2016;3:16. 39. Duval M, Passieux JC, Salaun M, Guinard S. Non-intrusive coupling: recent advances and scalable nonlinear domain decomposition. Arch Comput Methods Eng. 2014;23:17–38. 40. Bettinotti O, Allix O, Malherbe B. A coupling strategy for adaptive local refinement in space and time with a fixed global model in explicit dynamics. Comput Mech. 2014;53(4):561–74. 41. Bettinotti O, Allix O, Perego U, Oancea V, Malherbe B. A fast weakly intrusive multiscale method in explicit dynamics. Int J Numer Methods Eng. 2014;100(8):577–95. 42. Bettinotti O, Allix O, Perego U, Oancea V, Malherbe B. Simulation of delamination under impact using a global local method in explicit dynamics. Finite Elem Anal Des. 2017;125(8):1–13. 43. Plews J, Duarte CA, Eason T. An improved non-intrusive global-local approach for sharp thermal gradients in a standard FEA platform. Int J Numer Methods Eng. 2011;91(4):426–49. 44. Kim J, Duarte CA. A new generalized finite element method for two-scale simulations of propagating cohesive fractures in 3-D. Int J Numer Methods Eng. 2015;103(13):113–1172. 45. Heister T, Wheeler MF, Wick T. A primal-dual active active set method and predictor-corrector mesh adaptivity for computing fracture propagation using a phase-field approach. Comput Methods Appl Mech Eng. 2015;290:466–95. 46. Gerasimov T, De Lorenzis L. A line search assisted monolithic approach for phase-field computing of brittle fracture. Comput Methods Appl Mech Eng. 2016;312:276–303. 47. Wick T. Modified Newton methods for solving fully monolithic phase-field quasi-static brittle fracture propagation. Comput Methods Appl Mech Eng. 2017;325:577–611. 48. Farrell PE, Maurini C. Linear and nonlinear solvers for variational phase-field models of brittle fracture. Int J Numer Methods Eng. 2017;109:648–67. 49. Kinderlehrer D, Stampacchia G. An introduction to variational inequalities and their applications. New York: Academic Press; 1980. 50. Glowinski R, Lions JL, Trémolières R. Numerical analysis of variational inequalities. Amsterdam: Elsevier; 1981. 51. Liu YJ, Sun Q, Fan XL. A non-intrusive global/local algorithm with non-matching interface: derivation and numerical validation. Comput Methods Appl Mech Eng. 2014;277:81–103. 52. Mandel J. Balancing domain decomposition. Commun Appl Numer Methods. 1993;9:233–41. 53. Jara-Almonte CC, Knight CE. The specified boundary stiffness and force (SBSF) method for finite element subregion analysis. Int J Numer Methods Eng. 1988;26:1567–78. 54. Farhat C, Roux FX. A method of finite element tearing and interconnecting and its parallel solution algorithm. Int J Numer Methods Eng. 1991;32:1205–27. 55. Park KC, Felippa CA. A variational principle for the formulation of partitioned structural systems. Int J Numer Methods Eng. 2000;47:395–418. 56. Park KC, Felippa CA, Rebel G. A simple algorithm for localized construction of non-matching structural interfaces. Int J Numer Methods Eng. 2002;53:2117–42. 57. Song YU, Youn SK, Park KC. A gap element for treating non-matching discrete interfaces. Comput Mech. 2015;56:551–63. 58. Wohlmuth BI. A mortar finite element method using dual spaces for the Lagrange multiplier. SIAM J Numer Anal. 2000;38:989–1012. 59. Wohlmuth BI. A comparison of dual Lagrange multiplier spaces for mortar finite element discretizations. ESAIM Math Model Numer Anal. 2003;36:995–1012. Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 30 of 30 60. Küttler U, Wall WA. Fixed-point fluid-structure interaction solvers with dynamic relaxation. Comput Mech. 2008;43:61–72. 61. Erbts P, Düster A. Accelerated staggered coupling schemes for problems of thermoelasticity at finite strains. Comput Math Appl. 2012;64:2408–30. 62. Conn AR, Gould NIM, Toint PL. Convergence of quasi-Newton matrices generated by the symmetric rank one update. Math Progr. 1991;50:177–95. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png "Advanced Modeling and Simulation in Engineering Sciences" Springer Journals

A non-intrusive global/local approach applied to phase-field modeling of brittle fracture

Loading next page...
 
/lp/springer-journals/a-non-intrusive-global-local-approach-applied-to-phase-field-modeling-B7iD9MIPU3

References (66)

Publisher
Springer Journals
Copyright
2018 The Author(s)
eISSN
2213-7467
DOI
10.1186/s40323-018-0105-8
Publisher site
See Article on Publisher Site

Abstract

t.gerasimov@tu- braunschweig.de This paper aims at investigating the adoption of non-intrusive global/local approaches Institute of Applied Mechanics, while modeling fracture by means of the phase-field framework. A successful extension Technische Universität Braunschweig, Pockelsstraße 3, of the non-intrusive global/local approach to this setting would pave the way for a wide 38106 Braunschweig, Germany adoption of phase-field modeling of fracture, already well established in the research Full list of author information is community, within legacy codes for industrial applications. Due to the extreme available at the end of the article difference in stiffness between the global counterpart of the zone to be analized locally and its actual response when undergoing extensive cracking, the main foreseen issues are robustness, accuracy and efficiency of the fixed point iterative algorithm which is at the core of the method. These issues are tackled in this paper. We investigate the convergence performance when using the native global/local algorithm and show that the obtained results are identical to the reference phase-field solution. We also equip the global/local solution update procedure with relaxation/acceleration techniques such as Aitken’s  -method, the Symmetric Rank One and Broyden’s methods and show that the iterative convergence can be improved significantly. Results indicate that Aitken’s  -method is probably the most convenient choice for the implementation of the approach within legacy codes, as this method needs only tools already available for the so-called sub-modeling approach, a strategy routinely used in industrial contexts. Keywords: Brittle fracture, Phase-field approach, Global/local formulation, Non-intrusive computations, Relaxation techniques, Convergence acceleration Introduction The variational approach to fracture by Francfort and Marigo [1] and the related regu- larized formulation of Bourdin et al. [2–5], commonly referred to as phase-field model of (brittle) fracture, is a widely accepted framework for modeling and computing frac- ture phenomena in elastic solids. The phase-field framework for modeling systems with sharp interfaces consists in incorporating a continuous field variable—the so-called order parameter—which differentiates between multiple physical phases within a given system through a smooth transition. In the context of fracture, such an order parameter (termed the crack phase-field) describes the smooth transition between the fully broken and intact material phases, thus approximating the sharp crack discontinuity, as sketched in Fig. 1. © The Author(s) 2018. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. 0123456789().,–: vol Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 2 of 30 Fig. 1 Phase-field description of fracture (sketchy): d ∈ C(, [0, 1]) is the crack phase-field The evolution of this field as a result of the external loading conditions models the fracture process. The formulation is strongly non-linear and calls for the resolution of small length scales. The use of phase-field approaches in the case of structures of industrial complexity has been the subject of limited investigations thus far and poses a number of challenges. In this paper, in order to move forward in this direction we advocate the use of non-intrusive global/local strategies initially proposed in [6]. When dealing with large structures, frac- ture phenomena most often occur in regions of limited extent only. Moreover, in the case of brittle fracture most of the structure behaves elastically. These features are particu- larly appealing for global/local approaches as they make it possible to first compute the global model elastically, and then determine the critical areas to be re-analyzed, while storing the factorization of the decomposition of the structural stiffness. The local models are then iteratively substituted within the unchanged global one, which has the advan- tage of avoiding the reconstruction of the mesh of the whole structure. In fact, this is the main motivation of non-intrusive global/local approaches: to avoid the modification of the finite element model used by engineers, the creation of a complex global model being by far the most time-consuming task, a task which is more and more external- ized. In the past decade, both phase-field and non-intrusive global/local approaches have been extended to deal with a growing number of situations of interest for engineers. The currently available phase-field formulations of brittle fracture encompass static and dynamic models. We mention the papers by Amor et al. [7], Miehe et al. [8,9], Kuhn and Müller [10], Pham et al. [11], Borden et al. [12], Mesgarnejad et al. [13], Kuhn et al. [14], Ambati et al. [15], Wu et al. [16], where various formulations are developed and validated. Recently, the framework has been also extended to ductile (elasto-plastic) fracture [17–22], pressurized fracture in elastic and porous media [23,24], fracture in films [25] and shells [26–28], and multi-field fracture [29–36]. Non-intrusive global/local approaches have also been applied to a quite large number of situations: the computation of the propagation of cracks in a sound model using the extended finite element method (XFEM) [37], the computation of assembly of plates introducing realistic non-linear 3D modeling of connectors [38], the extension to non-linear domain decomposition methods [39] and to explicit dynamics [40,41] with an application to the prediction of delamination Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 3 of 30 under impact using Abaqus [42]. Alternative strategies can be derived from the Partition of Unity Method [43,44]. The phase-field simulation of fracture processes with legacy codes bears a number of advantages which fit perfectly within the framework of non-intrusive coupling approaches using pre-defined ‘fixed’ meshes. The most obvious advantage is the ability to track auto- matically a cracking process by the evolution of the smooth crack field on a ‘fixed’ mesh which, in the proposed procedure, is the mesh of the local model. This is a signifi- cant advantage over the discrete fracture description, whose numerical implementation requires explicit (in the classical finite element method, FEM) or implicit (within XFEM) handling of the discontinuities. The possibility to avoid the tedious task of tracking com- plicated crack surfaces in 3D significantly simplifies the implementation. The second advantage is the ability to simulate complicated processes, including crack initiation (also in the absence of a crack tip singularity), propagation, coalescence and branching without the need for additional ad-hoc criteria and with very few parameters to be identified. This feature is particularly attractive for industrial applications, as it minimizes the need for time-consuming and expensive calibration tests. Due to the extreme difference in stiffness between the global counterpart of the zone to be re-analyzed locally and its actual response when undergoing extensive cracking, the foreseen fundamental issues associated with the use of the global/local strategy in combination with phase-field fracture modeling are robustness, accuracy and efficiency of the fixed point iterative algorithm which is at the core of the method. Also, the finite element treatment of the phase-field formulation of brittle fracture is known to be com- putationally demanding, mainly due to the non-convexity of the energy functional to be minimized with respect to both arguments (the displacement and the phase field) simul- taneously [45–47]. As a result, the so-called monolithic approach manifests major iter- ative convergence issues of the Newton–Raphson procedure. A new line-search scheme [46] and modified Newton methods [47] have been recently proposed to tackle this prob- lem. Alternatively, staggered (also termed partitioned, or alternate minimization) solution scheme is widely used. This is based on decoupling of the strongly non-linear weak for- mulation into a system and then iterating between the equations [2–5,7–9,11–13,15,16]. The staggered scheme is proved to be robust, but typically has a very slow convergence behavior of the iterative solution process, see e.g. [15,46,48]. In view of the above, a central question that arises when combining non-intrusive global/local approaches with phase-field modeling of fracture is how additional global/local iterations affect and pos- sibly deteriorate the highly sensitive iterative behavior of the staggered scheme used to solve the phase-field equations. In this paper, we make a first attempt to address these questions. The paper is organized as follows. In “The phase-field approach to brittle fracture” section, we outline the main concepts of phase-field modeling of brittle fracture and illustrate the specific formulation used in the present paper. “Global/local approach in a non-intrusive setting” section introduces the non-intrusive global/local approach for the solution of the reference phase-field model considered in “The phase-field approach to brittle fracture” section. This is done in several steps. We start by illustrating an intrusive global/local scheme through a domain decomposition formulation in a variational setting well adapted to the phase field formulation. Several options are considered, including the so-called primal, dual and localized Lagrange multipliers based versions. This domain Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 4 of 30 decomposition framework is used afterwards to define some convergence indicators in terms both of incompatibility of the reaction forces and of displacement jumps at the interface between the unchanged global model and the re-analyzed local one. The moti- vation here is to see which indicator or combination of indicators are the most suited to an appropriate estimation of the quality of the global/local iteration results with respect to the phase-field determination. The third version is then extended to the global/local setting, for which a non-intrusive computational procedure is devised. The numerical results which illustrate the performance of the proposed non-intrusive global/local approach as well as their qualitative and quantitative comparison with the reference solution are reported in “Results and discussion” section. Therein, we also outline and apply three relaxation/acceleration techniques, which are incorporated into the global/local iterative procedure and aim at improving its efficiency. Conclusions and outlook finalize the paper. The phase-field approach to brittle fracture In this section, we consider a mechanical system undergoing a brittle fracture process modeled with the phase-field formulation, and term this the reference problem. For this problem, we develop in “Global/local approach in a non-intrusive setting” section a global/local formulation, which is dissected numerically in “Results and discussion” section. Let  ⊂ R , m = 2 or 3 be an open and bounded domain representing the configuration of a m-dimensional linear elastic body, and let  ,  and  be the (non-overlapping) D,0 D,1 N,1 portions of the boundary ∂ of  on which homogeneous Dirichlet, non-homogeneous Dirichlet and Neumann boundary conditions are prescribed, respectively. In the following, we consider a quasi-static loading process with the discrete pseudo-time step parameter l = 0, 1, ..., such that the displacement u¯ and traction t loading data are prescribed on l l the corresponding parts of the boundary, see Fig. 2a. For the mechanical system at hand, the phase-field formulation of brittle fracture [5]in an incremental variational setting relies on the following energy functional E(u,d) = W (ε(u),d)dx − t · u ds. (1) N,1 with G d 2 + − 2 W (ε(u),d):= (1 − d)  (ε(u)) +  (ε(u)) + + |∇d| , (2) Fig. 2 a Sketch of geometry and loading setup; b the computed crack phase-field evolution Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 5 of 30 and the related minimization problem at each l ≥ 0. In the above, the displacement field u :  → R and the crack phase-field d :  → [0, 1] are the arguments of E.Asalready mentioned, the limiting values of d,namely, d = 0and d = 1 represent the undamaged + − and fully broken material phases. Furthermore,  and  are the so-called ‘tensile’ and ‘compressive’ parts of an additive decomposition of the elastic strain energy density 1 1 2 function (ε):= ε : C : ε = λtr (ε) + μtr(ε · ε), where, in turn, ε is the second-order 2 2 infinitesimal strain tensor, C is the fourth-order elasticity tensor, and λ and μ are the Lamé + − constants. The decomposition of  into  and  is required in order to distinguish between fracture behavior in tension and compression, more precisely, to avoid crack growth and crack faces interpenetration in compression. Here we use the spectral-based split, proposed in [8,9]: ± 2 (ε):= λtr(ε) + μtr(ε · ε ), (3) ± ± 1 3 3 where a := (a ±|a|)and ε := ε  n ⊗ n with {ε } and {n } as the ± ± I ± I I I I I =1 2 I =1 I =1 principal strains and principal strain directions, respectively. Finally, G is the material fracture toughness, and 0 < diam() is the regularization parameter that controls the width of the transition zone of d between the two material states. With E defined by (1), the state of the system at a given loading step l ≥ 0 is then represented by the solution of arg min{E(u,d): u ∈ V ,d ∈ D }, (4) u¯ d l−1 where V :={u ∈ H (): u = 0 on  , u = u¯ on  } u¯ D,0 D,1 1 1 m 1 is the kinematically admissible displacement space with H ():= [H ()] and H denoting the usual Sobolev space, and D :={d ∈ H (, [0, 1]) : d ≤ d} d l−1 l−1 is the admissible space for d with d being known from the previous step. The condition l−1 d ≤ d is used to enforce the irreversibility of the crack phase-field evolution. Figure 2b l−1 depicts an example of phase-field pattern resulting from (4). Note that due to the d ≤ d requirement, problem (4) is a constrained minimization l−1 problem and its necessary optimality condition which enables computing the solution (u,d) ∈ V × D is a variational inequality. Its partitioned form reads as u¯ d l−1 E (u,d; v) = 0, ∀ v ∈ V , u 0 (5) E (u,d; w − d) ≥ 0, ∀ w ∈ D , d d l−1 see e.g. [11,48], where E and E are the directional derivatives of the energy functional u d with respect to u and d, respectively. It is + − ∂ ∂ E (u,d; v):= (1 − d) (ε(u)) + (ε(u)) : ε(v)dx − t · v ds, (6) ∂ε ∂ε N,1 Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 6 of 30 E (u,d; w):= − 2(1 − d) (ε(u))w + G dw + ∇d ·∇w dx. (7) The displacement test space in (5)isdefinedas V :={v ∈ H (): v = 0 on  ∪  }. 0 D,0 D,1 In (6), the components are the corresponding ‘tensile’ and ‘compressive’ stresses, ∂ε which are strongly non-linear in ε. In the case of the spectral-based split in (3), we obtain σ (ε):= (ε) = λtr(ε) I + 2με . (8) ± ± ∂ε The related counterparts of the standard fourth-order elasticity tensor C read in this case ∂σ ± ± ± C (ε):= (ε) = λH (tr(ε))J + 2μP (ε), (9) ∂ε + − + where H is the standard Heaviside function and H := 1 − H , J is the fourth-order symmetric identity tensor, whereas P are the fourth-order tensors obtained by differen- tiation of ε with respect to ε. Stemming from the irreversibility constraint d ≤ d the variational inequality E ≥ 0 l−1 d in (5) requires special solution algorithms, see e.g. [49,50]. Here, the irreversibility of d is enforced ‘indirectly’ via the notion of a history variable, as proposed in Miehe et al. [9]. The idea is that the tensile energy  can be viewed as the driving force of the phase-field evolution. Hence, the maximal  accumulated within the loading history and denoted as H (x):= max  (ε(u)) can be used to prevent a decrease of the phase-field. H l ∀l l substitutes the corresponding  term in the original E , thus yielding E (u,d; w):= −2(1 − d)H w + G dw + ∇d ·∇w dx (10) and the system for computing the solution (u,d) ∈ V × H ()is u¯ E (u,d; v) = 0, ∀ v ∈ V , u 0 (11) ∗ 1 E (u,d; w) = 0, ∀ w ∈ H (), where E is given by (6). We obtain in (11) an equality and unconstrained spaces for d and w. The staggered solution algorithm for the system in (11) implies alternately fixing u and d, and solving the corresponding equations until convergence. The algorithm is sketched in Table 1. Note that the equation E = 0inTable 1 is strongly non-linear due to the non-linearity + − ∂ ∂ of σ(u,d):= (1−d) (ε(u))+ (ε(u)), see equation (8). Therefore, at every staggered ∂ε ∂ε k−1 k iteration k ≥ 1 with given d , a Newton–Raphson procedure is needed to compute u , k−1 with e.g. u being taken as the initial guess, and TOL as a user-defined tolerance. NR Owing to the ‘nested in’ nature of the Newton–Raphson process, it has to be TOL < NR −8 TOL . In the presented numerical examples we take TOL := 10 < TOL := Stag NR Stag −5 10 . Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 7 of 30 Table 1 Staggered iterative solution process for (11) at a fixed loading step l Input: loading data (u ¯ , t ) on Γ , Γ ⊂ ∂Ω; l l D,1 N,1 solution (u ,d ) from step l − 1. l−1 l−1 Initialization, k =0: 0 0 • set (u ,d ):= (u ,d ). l−1 l−1 Staggered iteration k ≥ 1: k−1 k−1 k • given d ,solve Eu(u,d ; v)= 0 for u,set u =: u , k ∗ k k • given u ,solve E (u ,d; w)= 0 for d,set d =: d , k k k k k • for the obtained pair (u ,d ), check Res := |E (u ,d ; v)|≤ TOL , ∀ v ∈ V , u 0 Stag Stag k k • if fulfilled, set (u ,d )=:(u ,d ) and stop; l l • else k +1 → k. Output: solution (u ,d ). l l Global/local approach in a non-intrusive setting The starting point towards a non-intrusive global/local approach to the phase-field prob- lem (4)with E defined by (1) is a standard non-overlapping domain decomposition pro- cedure applied to E. The resulting formulation is then extended to a global/local one in the spirit of [39,51], for which the non-intrusive computational scheme is devised. Domain decomposition formulation Let  be an open sub-domain of , where cracking (in a general setting: a strong local- ization effect due to non-linearity) is expected to take place, and let  ⊂  be its open complement ( := / ), where the material remains intact and elastic (in a general C L setting: non-linearity is negligible). In the following, the subscripts L and C always stand for local and complementary, respectively. It is typical to assume that  represents a reasonably small ‘fraction’ of  such that | | | |.Let also  ⊂  be the interface L C between  and  , a set with one dimension less than the dimension of , such that L C ∪  ∪  ≡ . With an application to the problem sketched in Fig. 2, this domain L C decomposition idea is presented in Fig. 3a. Fig. 3 Domain decomposition procedure: a the classic one, when  is decomposed into local and complementary sub-domains  and  , respectively, which do not overlap and are coupled by the L C interface ; b its extension to the global/local setting, where a fictitious domain  is introduced to form the so-called global domain  :=  ∪  ∪ G C F Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 8 of 30 We now introduce two functions on  and  ,namely, u ∈ H ( )and u ∈ L C L L C {H ( ): u = 0 on  , u = u¯ on  } such that C C D,0 C l D,1 u = u for x ∈ , (12) L C and assume that the displacement u ∈ V stemming from the solution of problem (4), u¯ can be represented as u , for x ∈  , L L u = (13) u , for x ∈  . C C We furthermore introduce a function d :  → [0, 1] such that the phase-field d ∈ D L L d l−1 stemming from the solution of (4) has the representation d , for x ∈  , L L d = (14) 0, for x ∈  . Using (13)and (14) in the function W in (2), we arrive at the energy functionals in the corresponding sub-domains, namely, E (u ):= W (ε(u ), 0) dx − t · u ds, (15) 1 C C C C N,1 and E (u ,d ):= W (ε(u ),d )dx, (16) 2 L L L L such that, also owing to (12), it holds E(u,d) ≡ E(u , u ,d ):= E (u ) + E (u ,d ), (17) C L L 1 C 2 L L where, to recall, E is the original reference functional (1). As a result, the domain decom- position variational formulation, which is equivalent to reference formulation (4), reads arg min E(u , u ,d ). (18) C L L u ,u ,d C L L The advantage of ‘replacing’ (4)with(23) is that one of the two sub-problems stemming from (18), more precisely, the complementary one, will be linear: indeed, W (ε(u), 0) = ∂W (ε(u)), thus yielding the standard linear stress-strain relation σ(u):= (ε(u), 0) = C : ∂ε ε(u). And this, moreover, will take place in a ‘large portion’ of , since by assumption | | | |. L C Due to the strong displacement continuity requirement (12), formulation (18) is called primal in the literature, see e.g. [52]. This requirement may be too restrictive from the computational standpoint [53]. Relaxing, or rather neglecting (12), results in the appear- ance of the traction-like terms in the corresponding sub-domain energy functionals (15) and (16): E (u , λ ):= W (ε(u ), 0) dx − λ · u ds − t · u ds, (19) 1 C C C C C C C N,1 Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 9 of 30 and E (u ,d , λ ):= W (ε(u ),d )dx − λ · u ds, (20) 2 L L L L L L L with λ , λ ∈ L () being the (unknown) Lagrange multipliers, which represent tractions. C L In this case, however, the ‘argmin max’-problem being posed for E(u , u ,d , λ , λ ):= E (u , λ ) + E (u ,d , λ ), C L L L C 1 C C 2 L L L is under-determined, since no relation is yet specified between u and u , nor between L C λ and λ . L C Two standard ways to proceed with (19)and(20), and obtaining a variational formulation equivalent to the original one in (4) are as follows. Option 1 One imposes a strong continuity between λ and λ on , by setting in E and C L 1 λ =−λ =: λ. (21) C L Summing the obtained functionals leads to E(u , u ,d , λ):= W (ε(u ), 0) dx + W (ε(u ),d )dx C L L C L L C L + λ · (u − u )ds − t · u ds. (22) L C C N,1 Note that, in this case, E(u,d) ≈ E(u , u ,d , λ), since the surface integral over the inter- C L L face  provides the weak continuity between the local and complementary displacement fields. λ is the (unknown) Lagrange multiplier. The corresponding variational problem for E which approximates the reference problem (4)thenreads argmin max E(u , u ,d , λ). (23) C L L u ,u ,d C L L Owing to condition (21), formulation (23) is called dual in the literature, see e.g. [54]. The relation between the solution (u,d) of the reference problem (4) and the solution triple (u , u ,d ) is given by (13)and (14). C L L Option 2 One preserves the representations (19)and (20), and, in contrast to (21), imposes only a weak continuity between λ and λ on . The latter is achieved by intro- C L ducing the functional E (u , λ , λ ):= u · (λ + λ )ds, (24) 3  C L  L C with u ∈ H () representing the (unknown) Lagrange multiplier, which has the dimen- sion of a displacement. Summing E and E with E , and also regrouping the terms, we 1 2 3 finally obtain E(u , u ,d , u , λ , λ ):= W (ε(u ), 0) dx + W (ε(u ),d )dx C L L  C L C L L C L + λ · (u − u ) + λ · (u − u ) ds C  C L  L − t · u ds. (25) N,1 Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 10 of 30 From (25), it can be grasped that the introduction of u enables also to implicitly provide a weak continuity between u and u across  via an intermediate function u (this is L C in addition to the already incorporated weak continuity between λ and λ ). Conclud- L C ing that E(u,d) ≈ E(u , u ,d , u , λ , λ ), the variational problem for E in (25) which C L L  C L approximates the reference problem (4) will be as follows: argmin max E(u , u ,d , u , λ , λ ). (26) C L L  C L λ ,λ C L u ,u ,d ,u L L In this case, the representation of u stemming from the solution of problem (4)interms of the solution triple (u , u , u ) stemming from (26)reads as C L u , for x ∈  , L L u = u , for x ∈  , (27) C C u , for x ∈ , whereas the representation for d in terms of d defined by (14) remains unaltered. In the literature, formulation (26) is sometimes called the localized Lagrange multipliers based formulation (we abbreviate this as LLM), where the term ‘localized’ is used to associate the multipliers λ , λ and u with the corresponding sub-domains, see e.g. [55–57]. C L Table 2 briefly summarizes the considered formulations. Formulation (23) is seemingly less computationally demanding than (26), since there is only one extra field λ to be solved for in the former case, versus the triple (u , λ , λ ) C L of unknown fields in the latter one. The potential advantage of (26) over (23)isagreater flexibility, at the finite element discretization stage, of handling the interface between complementary and local domains. As follows, we move on with the LLM formulation (26) and extend it to the global/local setting, for which, in turn, a non-intrusive solution procedure is devised. This will lead to a non-intrusive global/local approach to the phase-field formulation (4). Global/local formulation As a first step, a so-called fictitious domain  is introduced to ‘fill the gap’ obtained in  by removing  from it, see Fig. 3b. It is assumed that  is constituted by a L F material with the same linear elastic behaviour as in  .Itisalsoassumedthat  is C F open (i.e.  ⊂  ). Unification of  with  and  forms the global domain  ,thatis, F F C G :=  ∪  ∪  . The fictitious domain  is furthermore assumed free of geometrical G F C F ‘imperfections’ which may be present in  ,see Fig. 3b. Therefore, it is in general  = , L G and the constructed global domain  should not be confused with the original reference domain . Summing up the above, the role of the fictitious domain  is twofold: it replaces the “sub-regions” of a structure (reference domain) containing geometric details (e.g. holes, Table 2 Domain decomposition formulations of the reference problem (4) Formulation Imposed continuity between Unknowns u & u λ & λ C L C L Primal, (18)Strong – (u , u ,d ) C L L Dual, (23)Weak Strong (u , u ,d , λ) C L L LLM, (26) Weak Weak (u , u ,d , u , λ , λ ) C L L  C L Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 11 of 30 inclusions etc.) and/or constitutive non-linearity by there details-free and linearly elastic “counterparts”. The obtained global domain  is then straightforwardly suitable for meshing and solving procedures within legacy codes. As it will be also seen below, the use of  is essential to realize the concept of non-intrusiveness of the computational scheme for solving the coupled global/local formulation. Next to this, it is assumed that there exists a continuous prolongation of u into  . C F That is, we introduce a function u ∈ H ( ) such that u | ≡ u and u = u on G G G  C G C in the sense of trace. The former also implies that u = 0 on  and u = u¯ on  . G D,0 G D,1 Owing to the definitions of  and u , the first term in (25) is recast as follows G G W (ε(u ), 0) dx = W (ε(u ), 0) dx C G C C = W (ε(u ), 0) dx − W (ε(u ), 0) dx, G G G F and we also substitute u for u in the third and fourth integrals in (25). This yields the G C desired global/local representation (approximation) of the reference energy functional E in (1), namely, E(u , u ,d , u , λ , λ ):= W (ε(u ), 0) dx − W (ε(u ), 0) dx G L L  C L G G G F + W (ε(u ),d )dx L L + λ · (u − u ) + λ · (u − u ) ds C  G L  L − t · u ds. (28) N,1 (We used the  a to distinguish between the previously considered E and the constructed E.) The resulting global/local variational problem, which approximates the reference for- mulation (4)reads argmin max E(u , u ,d , u , λ , λ ), (29) G L L  C L λ ,λ C L u ,u ,d ,u G L L and the relation between the solution u of (4) and the solution triple (u , u , u )of(29) G L is given by ⎪ u ,for x ∈  , L L u = u ,for x ∈  , G C u ,for x ∈ . In what follows, for the sake of compactness we set (u , u ,d , u , λ , λ ) =: z. G L L  C L Coupled system in weak form To present the weak formulation of (29), we introduce the directional derivatives of E with respect to the various components of z. Recalling the function W defined by (2), the ‘main’ three derivatives read E (z; v ):= σ(u ): ε(v )dx − σ(u ): ε(v )dx u G G G G G G F − λ · v ds − t · v ds, (30) C G G N,1 Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 12 of 30 ∂W ∂ 1 where σ(u ) = (ε(u ), 0) = (ε(u )) = C : ε(u ), and v ∈{H ( ): v = G G G G G G G ∂ε ∂ε 0 on  ∪  } is the test function; D,0 D,1 E (z; v ):= σ(u ,d ): ε(v )dx − λ · v ds, (31) u L L L L L L + − ∂W 2 ∂ ∂ 1 where σ(u ,d ) = (ε(u ),d ) = (1 − d ) (ε(u )) + (ε(u )), and v ∈ H ( ) L L L L L L L L L ∂ε ∂ε ∂ε is the test function; E (z; w ):= − 2(1 − d ) (ε(u ))w + G d w + ∇d ·∇w dx, d L L L L c L L L L where w ∈ H ( ) is the test function. The following ‘modified’ version of E ,adjusted L L to account for the irreversibility of the phase-field evolution, will be used in our compu- tations: E (z; w ):= − 2(1 − d )H (ε(u ))w + G d w + ∇d ·∇w dx. L L L L c L L L L (32) This is similar to the modification discussed for equation (10). The remaining three variational derivatives of E are E (z; v ):= (λ + λ ) · v ds, (33) u  C L E (z; β ):= (u − u ) · β ds, (34) λ  G C C C E (z; β ):= (u − u ) · β ds, (35) λ  L L L L 1 2 where v ∈ H ()and β , β ∈ L () are the corresponding test functions. C L Using equations (30)and (31), (32), the global and local weak problems are, respectively, formed: σ(u ): ε(v )dx − σ(u ): ε(v )dx − λ · v ds (G) G G G G C G G F − t · v ds = 0, l G N,1 and σ(u ,d ): ε(v )dx − λ · v ds = 0, ⎨ L L L L L (L) −2(1 − d )H (ε(u ))w + G d w + ∇d ·∇w dx = 0, ⎩ L L L c L L L L whereas equations (33), (34)and(35) are used for establishing the (weak) coupling between them: (λ + λ ) · v ds = 0, (C ) C L  1 Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 13 of 30 (u − u ) · β ds = 0, (C ) G 2 (u − u ) · β ds = 0. (C ) L 3 Here, (u , u ,d , u , λ , λ ) is the vector of the unknowns to be solved for, and (v , v ,w , G L L  C L G L L v , β , β ) is the vector of the corresponding test functions. C L For the presented system of equations, a computational scheme can already be devised. We should notice, however, that equation (G) in the current form does not fit in the notion of non-intrusiveness yet. Indeed, being a linear one, it can naturally be solved for u ‘straightforwardly’. But the presence of the two domain integrals, namely, over  and G G ⊂  would imply in this case the need to simultaneously access the corresponding F G stiffness matrices (in the following, K and K ), or, in other words, a necessity of modifying G F K —a situation that contradicts the concept of non-intrusiveness. Avoiding this can be done in two steps: first, by introducing a partitioning of equation (G), and then, devising the appropriate iterative solution procedure. The former will be presented here, and the latter is addressed in “Non-intrusive computational scheme” section. We focus on the domain integral over  in (G). The divergence theorem leads to σ(u ): ε(v )dx =− div(σ(u )) · v dx + σ(u ) · n · v ds, (36) G G G G G ∂ G F F F where n is the unit outward normal vector to ∂ . The first term in the right-hand ∂ F side of (36) can be canceled using the divergence-free assumption for the stress (no body forces in  ). The second term can be simplified as follows. In the most general case, ∂ F F is composed of five non-overlapping parts, including . More precisely, ∂ =  ∪ (∂ ∩  ) ∪ (∂ ∩  ) ∪ (∂ ∩  ) ∪ (∂ ∩  ), (37) F F N,0 F D,0 F N,1 F D,1 as sketched in Fig. 4a, and hence R = R + R + R + R + R, (38) ∂  ∂ ∩ ∂ ∩ ∂ ∩ ∂ ∩ F F N,0 F D,0 F N,1 F D,1 Fig. 4 a The possible complex nature of ∂ illustrating equation (37); b choice of  that results in F L ∂ ∩  =∅ for F N,1 F Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 14 of 30 with R := σ(u ) · n · v . In this case, due to the following basic properties G ∂ G • σ(u ) · n = 0on  , G  N,0 N,0 • v = 0on  and on  , G D,0 D,1 • σ(u ) · n = t on  , G  N,1 N,1 l the corresponding integrals in the right-hand side of (38) are simplified, thus yielding σ(u ) · n · v ds = σ(u ) · n · v ds + t · v ds. G ∂ G G  G l G ∂  ∂ ∩ F F N,1 Here, n is the unit normal vector on , outward with respect to  . To further simplify the last expression, we note that it is always possible to pick  (and, hence, the resulting ) such that ∂ ∩  =∅,see Fig. 4b, and, as a result, the last surface integral cancels. F F N,1 For (36), this eventually yields: σ(u ): ε(v )dx = σ(u ) · n · v ds. (39) G G G  G It can now be assumed that, given u ,there exists λ ∈ L () such that G F λ · v ds = σ(u ) · n · v ds, (40) F G G  G holds. In the above, we use the subscript F to indicate, according to (39), the relation of the corresponding quantity to  (more precisely, to the restriction of u to  ). F G F Owing to (39)and (40), we finally arrive at the following partitioned representation of equation (G): σ(u ): ε(v )dx − λ · v ds − λ · v ds − t · v ds = 0, (G ) G G F G C G l G 1 G N,1 with λ satisfying λ · v ds = σ(u ): ε(v )dx. (G ) F G G G 2 Equations (G ), (G ), system (L) and coupling equations (C ), (C ), (C )consti- 1 2 1 2 3 tute what we term global/local coupled system, which is to be solved for the vector (u , u ,d , u , λ , λ ). G L L  C L Non-intrusive computational scheme Let n ≥ 0 be the iteration index. For designing at a fixed loading step l the iterative solution procedure for the global/local system defined by (G ), (G ), (L), and (C ), (C ), (C ), the 1 2 1 2 3 following prerequisites are taken into account: (a) Since the data (u¯ , t ) are posed on  ,  ⊂ ∂ , the process initialization (i.e. l l D,1 N,1 G iteration n = 0) is started with the solution of global problem (G ), (G ). 1 2 Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 15 of 30 (b) In order to fit equation (G )with λ = λ (u ) in the concept of non-intrusiveness, 1 F F G λ must be treated as a known quantity. This defines the order in which equations (G )and (G ) are solved at any iteration n ≥ 0: the solution of (G ) precedes the 1 2 2 solution of (G ). In this case, as desired, the stiffness matrix K remains unaltered; 1 G the access to K is still required, but only at the stage of solving (G ), not (G ). F 2 1 (c) For solving (G ), λ must be also known. At n = 0, λ can simply be taken from the 1 C C previous loading step. At n ≥ 1, we use coupling equation (C ) for the extraction of λ , assuming λ is already known. This defines the order in which the global and C L local problems are solved: at any iteration starting from n = 1, the solution of (L) precedes the solution of (G ). We also notice that: (d) Coupling equation (C ) provides the boundary condition for u of the local problem 3 L (L). (e) Coupling equation (C ) is used for the recovery of u . As follows from (c) and (e), elimination of λ and u from the set of unknowns to be originally solved for is achieved. These two quantities, as well as λ , are the recovered ones. The summary of the solution operations to be performed at any iteration n of the procedure, excluding the initialization step (n = 0), is as follows: • solution of local problem (L) coupled with (C ), • recovery phase using (C )and (G ), 1 2 • solution of global problem (G ), • recovery phase using (C ). The detailed scheme, including the iteration n = 0, is depicted in Table 3.Notethatinall equations in the table we omit dx and ds. Staggered process for the local problem Solution of the local system in Table 3 at the given global/local iteration n ≥ 1 requires an additional nested iterative solution process. In our case, this is the staggered procedure from Table 1, which is adjusted to handle an extra variable λ , and is also equipped with the appropriate definition of the input (initial guess) data and of the stopping criterion. The initial guess for the staggered loop (with the iteration index k ≥ 0) is chosen as follows. At iteration n = 1 (and staggered iteration k = 0) the values (u ,d , λ ) L,l−1 L,l−1 L,l−1 known from the previous loading step are used as the initial guess. At n ≥ 2 (and staggered n−1 n−1 n−1 iteration k = 0), we naturally take (u ,d , λ ). L L L (k) (k) (k) At any fixed iteration n ≥ 1, the accuracy check for the solution triple (u ,d , λ ) L L L obtained at the staggered iteration k ≥ 0 is performed as follows: (k) (k) (k) k 1 Res :=|E (u ,d , λ ; v )|≤ TOL , ∀ v ∈ H ( ), (41) u L Stag L L Stag L L L where, to recall, E is given by (31). If (41)isfulfilled—note againthatinthe fol- −5 lowing numerical test, TOL := 10 – the staggered process is stopped, we set Stag (k) (k) (k) n n n (u ,d , λ ) =:(u ,d , λ ) and perform n + 1 → n. L L L L L L Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 16 of 30 Table 3 Non-intrusive iterative solution process for (G ), (G ), (L), and (C ), (C ), (C )ata 1 2 1 2 3 fixed loading step l Input: loading data (u ¯ , t ) on Γ , Γ ⊂ ∂Ω ; l l D,1 N,1 G solution (u , u ,d , u , λ , λ ) from step l − 1. G,l−1 L,l−1 L,l−1 Γ,l−1 C,l−1 L,l−1 Initialization, n =0: • given λ ,set λ =: λ , C,l−1 C,l−1 • given u ,solve G,l−1 λ · v = σ(u ): ε(v ), F G G,l−1 G Γ Ω • for λ ,set λ =: λ , F F 0 0 • given λ and λ ,solve F C 0 0 σ(u ): ε(v ) − λ · v − λ · v − t · v =0, G G G G l G F C Ω Γ Γ Γ G N,1 • for u ,set u =: u , G G • given u ,solve (u − u ) · β =0 Γ C • for u ,set u =: u . Γ Γ Global/local iteration n ≥ 1: n−1 • given u ,solve σ(u ,d ): ε(v ) − λ · v =0, ⎪ L L L L L Ω Γ ⎪ L −2(1 − d )H (ε(u ))w + G d w + ∇d ·∇w =0, L l L L c L L L L ⎪ Ω n−1 ⎩ (u − u ) · β =0, L L n n n • for (u ,d , λ ),set (u ,d , λ )=:(u ,d , λ ), L L L L L L L L L • given λ ,solve (λ + λ ) · v =0 C Γ • for λ ,set λ =: λ , C C n−1 • given u ,solve n−1 λ · v = σ(u ): ε(v ), F G G Γ Ω • for λ ,set λ =: λ , F F n n • given λ and λ ,solve F C n n σ(u ): ε(v ) − λ · v − λ · v − t · v =0, G G G G l G F C Ω Γ Γ Γ G N,1 • for u ,set u =: u , G G • given u ,solve (u − u ) · β =0 Γ C • for u ,set u =: u . Γ Γ • Accuracy/convergence check : η ≤ TOL , GL • if fulfilled, set n n n n n n (u , u ,d , u , λ , λ )=: (u , u ,d , u , λ , λ ), G,l L,l L,l Γ,l C,l L,l G L L Γ C L • and stop; else n +1 → n. Output: solution (u , u ,d , u , λ , λ ). G,l L,l L,l Γ,l C,l L,l * See “Staggered process for the local problem” section, ** see “Accuracy/convergence check” section Accuracy/convergence check Derivation of the convergence and stopping criteria for the global/local iterative solution processinTable 3 is rather straightforward. Indeed, at any iteration n ≥ 1, the solution n n n n n n outcome is denoted as (u , u ,d , u , λ , λ ). Plugging this in equations (G ), (G ), (L), 1 2 G L L  C L (C ), (C ), (C ) and comparing the obtained outcome with the corresponding equations 1 2 3 in Table 3, it is straightforward to locate the imbalanced quantities: n n (u − u ) · β = 0, (42) L L Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 17 of 30 and n n λ · v = σ(u ): ε(v ). (43) G G F G Therefore, the solution accuracy at n is measured by the quantity n+1 n last k n n n Res := Res +| (u − u ) · β |+| (λ − λ ) · v |, ∀ β , v , (44) G G L L L GL Stag F F where Res is the staggered residual of the local problem with ‘last k’ denoting the index Stag of the converged staggered solution (see “Staggered process for the local problem” section n+1 for details), and λ is recovered (post-processed) from the right-hand side of (43). The stopping criterion for the global/local loop can then be defined as Res ≤ TOL , (45) GL GL with TOL to be prescribed. Owing to the ‘nested in’ nature of the staggered process, it GL −5 −4 has to be TOL < TOL . Recalling that TOL = 10 ,weset TOL := 10 . Stag GL Stag GL In our computations (see Table 3), we use a more convenient form of the stopping criterion. Setting n+1 n n n n n η := u − u , η := λ − λ  , u  L λ L () F F L () n n n 2 2 we define η := (η ) + (η ) , and use this quantity to now check n −6 η ≤ TOL := 10 . GL This choice of TOL fulfills the requirement η < TOL − TOL , which is stipulated GL GL Stag by (44), (45), and the already prescribed above magnitudes of TOL and TOL . GL Stag Since the quantity η naturally stems from the global/local solution accuracy check E (z ; y) = 0, it represents not only the iterative convergence indicator, but also the solution accuracy indicator—a very desired property, since the former is only suitable for tracing the convergence of the corresponding iterative solution process, but, clearly, is not adequate for stopping criterion. The corresponding ingredients η and η are only u λ iterative convergence indicators, but none of them provides an adequate check of the solution accuracy. In particular, since η measures, though implicitly, the displacement continuity—a match between u and u across  (recall that the traction continuity—a G L match between λ and λ on —is, in our case, fulfilled automatically), it is also the C L indicator of a good “gluing” between the two models. Incremental setting For later developments (“Results and discussion” section), it proves convenient to refor- mulate the global equation in incremental form. It is straightforward to see that for a given n−1 n−1 n−1 global/local iteration n ≥ 1, this reads: given the triple (u , λ , λ ) known from the G F C n n iteration n − 1, as well as (λ , λ ) ‘recovered’ at the iteration n,wesolve F C n n−1 n n−1 σ(u ): ε(v ) − (λ − λ ) · v − (λ − λ ) · v = 0, (G ) G G G G incr F C F C G Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 18 of 30 for u =:(u ) and set G G n n−1 n u := u + (u ) . (46) G G We term equation (46) a ‘direct update’ within the global/local iterative procedure. This is in contrast to the notion of a ‘relaxed/accelerated update’ to be considered in Section . Finite element discretization In the following, for the sake of simplicity, we assume the dimension of the reference problem is 2. Let P be a finite element partition of  into triangles or quadrilaterals, I be the number of nodes in P,and N , i = 1, ... ,I be the nodal shape function associated with the node i and supported on the collection of elements in P that share i.Finally,let a scalar-valued quantity ˆ· represent the nodal value. The standard discretization of the solution of the reference problem (using Voigt’s notation) is as follows: u N 0 uˆ x i x,i u = = =: N uˆ, u 0 N uˆ y i y,i i=1 where N is the 2 × 2I interpolation/basis matrix and u is the 2I × 1 displacement nodal- vector, and ˆ ˆ d = N d =: N d. i i i=1 where N is the 1 × I interpolation/basis matrix and d is the I × 1 phase-field nodal- vector. N constitutes both matrices N and N . The corresponding representation of the i u gradients reads: ⎡ ⎤ ⎡ ⎤ ∂N ε 0 xx ∂x ⎢ ⎥ ⎢ ⎥ uˆ x,i ∂N ⎢ ⎥ ⎢ ⎥ ε(u) = ε = 0 =: B uˆ, yy u ∂y ⎣ ⎦ ⎣ ⎦ uˆ y,i i=1 1 ∂N 1 ∂N i i xy 2 ∂y 2 ∂x where B is a 3 × 2I matrix, and ∂d I ∂N ∂x ∂x ˆ ˆ ∇d = = d =: B d, i d ∂N ∂d ∂y ∂y i=1 where B isa2 × I matrix. The problem test functions v and w,aswellastheir gradients are discretized accordingly. For the global/local formulation, we assume the existence of the partitions P and P G L of  and  , respectively. Using this and adopting the above notations, the solution G L discretizations are given by G L L u = N uˆ , u = N uˆ ,d = N d , (47) G G L L L L u u such that G L L ε(u ) = B uˆ , ε(u ) = B uˆ , ∇d = B d . (48) G G L L L L u u d Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 19 of 30 Note that the superscripts G and L are introduced in the corresponding definitions of N , N and B , B . d u d To construct the discretization of the Lagrange multipliers λ , λ , u and the supple- C L mentary quantity λ on  we account for the following. In the most general situation, three distinct partitions of  may be assumed: the restrictions of P and P —denoted G L as T and T , respectively—which serve to create the corresponding bases for λ (also G L C λ )and λ , and the ‘independent’ partition T to be used for creating the basis for u . F L G L Introducing the three related basis matrices N , N and N ,wewrite λ λ u G L  G ˆ ˆ ˆ λ = N λ , λ = N λ , u = N uˆ , λ = N λ . (49) C C L L   F F λ λ u λ In the following, for our numerical example, we assume that: • the partitions T , T and T match (this is usually termed a ‘matching case’); G L G L • the basis in the global and local domains is identical, that is, N = N =: N ; u u • the basis on the interface is obtained from N by the corresponding restriction, that G L is, N = N = N = N | ; λ λ u • the nodal shape functions N composing bases N and N are piecewise linear. i u d Because of the matching interface situation, no intricate data transfer methods (the con- struction of prolongation and restriction operators, generalized inverse matrices etc.) are required. Also, with the above choice of the discretization basis for the Lagrange multi- pliers, the related inf-sup condition is fulfilled, see e.g. [58,59]. Using expressions (47), (48)and (49) along with the above assumptions, the matrix representation of all equations in Table 3 is straightforward. Results and discussion To illustrate the proposed approach, we consider the following benchmark problem. A square specimen with two holes of different diameters is subjected to tension loading, see Fig. 5a. The holes are introduced to weaken the structure and to facilitate the specimen cracking in absence of a stronger singularity such as a pre-existing crack. The holes loca- tion is chosen such that prediction of the sub-region where cracking occurs (hence, the Fig. 5 a Specimen geometry and loading conditions; sketches of (b) the fracture pattern and c the load-displacement curve with the points of interest Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 20 of 30 local domain for the forthcoming global/local analysis) is feasible. Taking a different size of the holes is intended to obtain a geometrically non-trivial crack pattern, as depicted in Fig. 5b. This, moreover, results in a multi-stage crack propagation process to be man- ifested by a load-displacement response with two peak points, see Fig. 5c for a sketch, and Figs. 7 and 12 for the actually obtained results. We believe that the present setup, being neither extremely complex, nor trivial, is suitable for the purpose of a qualitative and quantitative comparison between the reference results and results obtained with the proposed global/local approach. The geometric data are as follows (all given in mm): a = 1, b = 0.197, b = 0.210, 1 2 b = 0.490 with the hole diameters c = 0.247 and c = 0.0806. The material data are: 3 1 2 Young’s modulus E = 210 GPa, Poisson’s ratio ν = 0.3 and the critical energy release −3 rate G = 2.7 · 10 kN/mm. The characteristic length in the phase-field formulation is −2 = 1.5 · 10 mm. We consider the plane-strain situation. The algorithmic parameters are: the loading u¯ = lu with l ∈ [1, 110) and the −3 −8 increment size u := 0.06 · 10 mm, the tolerance magnitudes are TOL := 10 , NR −5 −6 TOL := 10 ,and TOL := 10 . Stag GL We recall that we use P -triangles for approximating all unknown variables both in the reference and global/local formulations. The minimum finite element size in the reference and local domains is 0.004 mm, the maximum element size in the reference and global domains is 0.1 2 mm. The former fulfills the heuristic requirement h </2 for the element size inside the localization zone (i.e. the support) of d. The reference domain partition contains 18,672 elements. The discretizations of the global and local domains contain 200 and 18,552 elements, respectively. That is, in our case, the reference and global/local problems have a comparable discretization size, as can be grasped from Fig. 6. Reference and global/local results We start here with the presentation of the quantitative and qualitative reference and global/local results and their comparison. As desired, the two load-displacement curves in Fig. 7 are identical in the entire range of loading, including the pre- and post-peak behavior. The computed phase-field profiles in Fig. 8 are also in a very good agreement. This is already a good indicator of the potential of the global/local approach with application to systems with strong non-linearity and localization. Fig. 6 Finite element mesh used for the discretization a of the reference domain , b of the global and local domains  and  , respectively G L Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 21 of 30 Fig. 7 Comparison of the load-displacement curves Fig. 8 Comparison of the computed phase-field profiles For a better insight into the the iterative convergence behavior of the global/local solu- tion process, in Fig. 9 we depict the convergence indicators from “Accuracy/convergence check” section for four given loading steps corresponding to the points 1–4 of our interest 2 2 sketched in Fig. 5c. Thus, we plot the quantities η , η and η = η + η such that the u λ u λ amount of global/local iterations required for the solution convergence at the step (also in comparison with other steps) can be detected. The first important observation is that η , which implicitly measures the displacement discontinuity between the solutions of the global and local problem across the inter- face, is two orders of magnitude less than η . Thus, its contribution to η, which is used not only for tracing the convergence of the iterative solution process, but also for the solution accuracy check, is negligible. This means that a stopping criterion based solely on the use of η (what seems typical for the global/local approaches in e.g. plasticity) will yield, in our case, erroneous results. Secondly, it can be noted that a quite large amount of global/local iterations is needed, especially at loading steps corresponding to the peak loads of the load-displacement curves in Fig. 7 (the points of interest 2 and 4 from Fig. 5c). Resulting from the slow convergence of the global/local procedure, the corresponding cumulative computational time turns out to be high, see Fig. 10, where also the time for solving the reference formulation by the staggered scheme is depicted. For the given setup, with a standard machine (Intel(R) Core(TM) i7-3770 OK, CPU 3.5 GHz, RAM 16.0 GB) it takes about one hour of staggered computations vs. approximately four hours required for the global/local approach. (We should note however that our goal was not to gain computational efficiency, but rather to enable computations with legacy codes.) Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 22 of 30 Fig. 9 Convergence behavior of the global/local iterative solution process at four different loading steps (the points 1–4 from Fig. 5c), illustrated in terms of the indicator η,aswellasits ingredients η and η u λ High efforts are not surprising, as the global/local problem has a larger discretization size than the reference problem, and three nested iterative processes vs. two for the reference problem. The latter results in a larger time per loading step, as can be seen in Fig. 11. It can be grasped that the rapid increase of cumulative time in Fig. 10 for both for- mulation appears at loading steps related to the peak points 2 and 4. Also, regardless of the formulation, the computational time per step in Fig. 11 at these points is sig- Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 23 of 30 nificantly higher (by almost two orders of magnitude, to be more precise) than at the pre-peak loading steps. These observations correlate with the convergence results from Fig. 9. Non-convexity and non-linearity of the global/local formulation, as well as the com- plicated multi-level iterative nature of the related iterative solution procedure result in a generically slow convergence of the approach. Another impacting factor that should be noted is that the stiffness matrix of the global problem K is never updated within the global/local computation process. Incorporation of an incremental update relaxation in this process is thus our next goal, with the objective to obtain an acceleration of the convergence process. Relaxation/acceleration techniques: Aitken’s, SR1, Broyden et al. Following [39]and[51], we will consider and incorporate two types of relaxation/acceleration techniques into our approach: Aitken’s  -method (also known as dynamic relaxation, whose efficient implementation in fluid-structure interaction computations has already been reported [60,61]) and Quasi-Newton correction. Within the family of Quasi-Newton correction formulae, we restrict ourselves to the Symmetric Rank One (SR1) and the Broy- den update versions. Technically, both types deal with the global solution update equation (46) and modify it specifically. Let us consider (46) written in terms of the nodal displacements n n−1 n n −1 n uˆ := uˆ + (uˆ ) s.t. (uˆ ) = K r , (50) G G G G G Fig. 10 Time-displacement curves in terms of ‘accumulated time’ Fig. 11 Time-displacement curves in terms of ‘time per loading step’ Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 24 of 30 where, owing to (G ), one has incr G T G K := (B ) C B , u u with C as a 3 × 3-matrix representation of C,and n G T n n−1 G T n n−1 r := (N ) (λ − λ ) + (N ) (λ − λ ). u u F F C C Aitken’s method modifies (50) at any iteration n ≥ 2 introducing the damping factor n−1 n ω = f (ω , (uˆ ) , (uˆ ) )s.t. ω = 1 as follows: n−1 n−2 G G 0 n n−1 n uˆ := uˆ + ω (uˆ ) , (51) n−1 G G G whereas the Quasi-Newton correction modifies (50) at any iteration n ≥ 2 by replacing n n−1 n n−1 1 the matrix K with K = f (K , r , (uˆ ) )s.t. K = K , thus resulting in G G G n n−1 n −1 n uˆ := uˆ + (K ) r . (52) G G In (51), we explicitly have n−1 T n−1 n ((uˆ ) ) (uˆ ) − (uˆ ) G G G ω := ω ,n ≥ 2, (53) n−1 n−2 n−1 n 2 |(uˆ ) − (uˆ ) | G G with ω = 1. In (52), the SR1 update formula implies n n T r (r ) n n−1 K := K − ,n ≥ 2, (54) T n−1 (r ) (uˆ ) whereas the Broyden update reads as n n−1 T r ((uˆ ) ) n n−1 K := K − ,n ≥ 2. (55) n−1 T n−1 ((uˆ ) ) (uˆ ) G G In both cases K = K . Further details about computing the inverse matrices, efficient data storage etc. can be found e.g. in [6,39]. Also, following Conn et al. [62], the SR1 update formula (54)isusedonlyif n T n−1 n n−1 |(r ) (uˆ ) |≥ c |r ||(uˆ ) |, G 1 G n n−1 with a constant c ∈ (0,1).Otherwise,wesimplyset K := K . This helps preventing the convergence issue of the global/local procedure using the SR1 based relaxation. The results obtained with the relaxation/acceleration techniques are depicted in Figs. 12–15. As can be seen from Fig. 12, all three considered techniques yield identi- cal load-displacement curves, also identical to the curve obtained from the global/local procedure with no relaxation/acceleration. Similarly to Figs. 9 and 13 presents and compares the convergence of the global/local iterative procedure and its acceleration/relaxation versions at the four loading steps of interest. Here, we only plot the indicator η and not its ingredients. For a given point, the Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 25 of 30 Fig. 12 Comparison of the load-displacement curves amount of iterations required for the convergence of the solution process in all accelera- tion/relaxation techniques is similar, but is less (in some cases, significantly) than in the original unaccelerated case. Figure 14 compares the phase-field solutions of the global/local formulations com- puted using the corresponding acceleration/relaxation techniques. It can be observed that even though the load-displacement curves are identical in all cases, the correspond- ing phase-field profiles are not. This can be explained, first of all, by the solution non- uniqueness of the original reference phase-field formulation, and, secondly, by the fact that the global/local formulation is only the approximation of the reference one. From the time-displacement curves comparison in terms of both ‘cumulative time’ and ‘time per loading step’, Fig. 15, it can be concluded that the desired improvement of efficiency of the original procedure has indeed been achieved. However, in the global time scale, all three techniques have a very similar effect, at least for the considered example. Conclusions We combined the adoption of non-intrusive global/local approaches with phase-field modeling of brittle fracture, with the main objective to pave the way for a wide adoption of this framework for industrial applications within legacy codes. We investigate the convergence performance of the fixed-point scheme used for the global/local iterations and showed that the obtained results are identical to the reference phase-field solution. In order to accelerate the observably quite slow convergence behavior, especially close to and beyond the peak point(s) of the load-displacement response, we also equipped the global/local solution update procedure with relaxation/acceleration techniques such as Aitken’s  -method, the Symmetric Rank One and Broyden’s methods. Findings showed that the iterative convergence can be improved significantly, to a similar extent for all investigated methods. Aitken’s  -method is probably the most convenient choice for the implementation of the approach within legacy codes, as this method needs only tools which are often used for the so-called sub-modeling strategy, which is well known and widely used in industrial contexts. Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 26 of 30 Fig. 13 Convergence behavior of the different versions of the global/local iterative solution process at four different loading steps (the points 1–4 from Fig. 5c), illustrated in terms of the indicator η Several extensions and improvements of the proposed framework are foreseen, such as the study of the effect of global modeling choices on the iterative convergence behavior, the investigation of alternative boundary conditions for the coupling, the implementation of mortar-type approaches to enable non-matching meshes at the boundary between local and complementary domains. Moreover, in practical applications when i.e. the evolving localization areas are not known á priori, the global/local approach must be supplied with Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 27 of 30 Fig. 14 Comparison of the phase-field profiles computed with the various acceleration/relaxation versions of the global/local approach Fig. 15 Comparison of the time-displacement curves presented in different formats the possibility of the adaptive choice of the local domain  . The representation result for d,namely, 2 + (x + ξ) d(x) = g(ξ) dξ, (56) |V | V 1 +  (x + ξ) obtained in Ambati et al. [15], p. 392, equation (34) suggests that  , or rather the history field H , may serve as an “indicator” for the adaptive choice of  .In(56), V ⊂  is an averaging volume, ξ ∈ V,and g(ξ) is a bell-shaped function, typically a Gaussian, such that g(ξ)dξ = 1 holds. These issues are all open for further research. |V | V Authors’ contributions TG elaborated the concepts proposed and discussed in the manuscript, contributed to the numerical studies and wrote the draft of this paper, NN performed the numerical implementation and experiments, OA contributed to writing the part of the introductory section, and LDL contributed to the numerical experiments and paper revisions. All authors read and approved the final manuscript. Author details Institute of Applied Mechanics, Technische Universität Braunschweig, Pockelsstraße 3, 38106 Braunschweig, Germany, LMT-Cachan, ENS Cachan, 61 Avenue du Président Wilson, 94235 Cachan Cedex, France. Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 28 of 30 Acknowledgements Not applicable. Competing interests The authors declare that they have no competing interests. Ethics approval and consent to participate Not applicable. Funding TG was partially funded by the ERC through the Starting Researcher Grant INTERFACES, GA 279439. NN was partially funded by the DFG through the IRTG 1627 “Virtual materials and their validation”. Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Received: 22 December 2017 Accepted: 21 April 2018 References 1. Francfort GA, Marigo JJ. Revisiting brittle fractures as an energy minimization problem. J Mech Phys Solids. 1998;46:1319–42. 2. Bourdin B, Francfort GA, Marigo JJ. Numerical experiments in revisited brittle fracture. J Mech Phys Solids. 2000;48(4):797–826. 3. Bourdin B. Numerical implementation of the variational formulation for quasi-static brittle fracture. Interfaces Free Bound. 2007;9:411–30. 4. Bourdin B. The variational formulation of brittle fracture: numerical implementation and extensions. In: Combescure R, Belytschko T, editors. Proceedings of the IUTAM symposium on discretization methods for evolving discontinuities. Berlin: Springer; 2007. 5. Bourdin B, Francfort GA, Marigo JJ. The variational approach to fracture. J Elast. 2008;91(1–3):5–148. 6. Gendre L, Allix O, Gosselet P, Comte F. Non-intrusive and exact global/local techniques for structural problems with local plasticity. Comput Mech. 2009;44(2):233–45. 7. Amor H, Marigo JJ, Maurini C. Regularized formulation of the variational brittle fracture with unilateral contact: numerical experiments. J Mech Phys Solids. 2009;57:1209–29. 8. Miehe C, Welschinger F, Hofacker M. Thermodynamically consistent phase-field models of fracture: variational principles and multi-field FE implementations. Intat J Numer Methods Eng. 2010;83:1273–311. 9. Miehe C, Hofacker M, Welschinger F. A phase field model for rate-independent crack propagation: robust algorithmic implementation based on operator splits. Comput Methods Appl Mech Eng. 2010;199:2765–78. 10. Kuhn C, Müller R. A continuum phase field model for fracture. Eng Fract Mech. 2010;77:3625–34. 11. Pham K, Amor H, Marigo JJ, Maurini C. Gradient damage models and their use to approximate brittle fracture. Int J Damage Mech. 2011;20(4):618–52. 12. Borden MJ, Hughes TJR, Landis CM, Verhoosel CV. A higher-order phase-field model for brittle fracture: formulation and analysis within the isogeometric analysis framework. Comput Methods Appl Mech Eng. 2014;273:100–18. 13. Mesgarnejad A, Bourdin B, Khonsari MM. Validation simulations for the variational approach to fracture. Comput Methods Appl Mech Eng. 2015;290:420–37. 14. Kuhn C, Schlüter A, Müller R. On degradation functions in phase field fracture models. Comput Mater Sci. 2015;108:374–84. 15. Ambati M, Gerasimov T, De Lorenzis L. A review on phase-field models of brittle fracture and a new fast hybrid formulation. Comput Mech. 2015;55(2):383–405. 16. Wu T, Carpiuc-Prisacari A, Poncelet M, De Lorenzis L. Phase-field simulation of interactive mixed-mode fracture tests on cement mortar with full-field displacement boundary conditions. Eng Fract Mech. 2017;182:658–88. 17. Duda FP, Ciarbonetti A, Sanchez PJ, Huespe AE. A phase-field/gradient damage model for brittle fracture in elastic-plastic solids. Int J Plast. 2015;65:269–96. 18. Ambati M, Gerasimov T, De Lorenzis L. Phase-field modeling of ductile fracture. Comput Mech. 2015;55(5):1017–40. 19. Alessi R, Marigo JJ, Vidoli S. Gradient damage models coupled with plasticity: variational formulation and main properties. Mech Mater. 2015;80(Part B):351–67. 20. Borden MJ, Hughes TJR, Landis CM, Anvari A, Lee IJ. A phase-field formulation for fracture in ductile materials: finite deformation balance law derivation, plastic degradation, and stress triaxiality effects. Comput Methods Appl Mech Eng. 2016;312:130–66. 21. Miehe C, Aldakheel F, Raina A. Phase field modeling of ductile fracture at finite strains: a variational gradient-extended plasticity-damage theory. Int J Plast. 2016;84:1–32. 22. Alessi R, Ambati M, Gerasimov T, Vidoli S, De Lorenzis L. Comparison of phase-field models of fracture coupled with plasticity. In: Oñate E, et al., editors. Advances in computational plasticity, computational methods in applied sciences, vol. 46. Berlin: Springer; 2018. p. 1–21. https://doi.org/10.1007/978-3-319-60885-3-1. 23. Wheeler MF, Wick T, Wollner W. An augmented-Lagangrian method for the phase-field approach for pressurized fractures. Comput Methods Appl Mech Eng. 2014;271:69–85. 24. Mikelic´ A, Wheeler MF, Wick T. A quasi-static phase-field approach to pressurized fractures. Nonlinearity. 2015;28:1371–99. Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 29 of 30 25. León-Baldelli AA, Babadjian JF, Bourdin B, Henao D, Maurini C. A variational model for fracture and debonding of thin films under in-plane loadings. J Mech Phys Solids. 2014;70:320–48. 26. Amiria F, Millán D, Shen Y, Rabczuk T, Arroyo M. Phase-field modeling of fracture in linear thin shells. Theor Appl Fract Mech. 2014;69:102–9. 27. Ambati M, De Lorenzis L. Phase-field modeling of brittle and ductile fracture in shells with isogeometric NURBS-based solid-shell elements. Comput Methods Appl Mech Eng. 2016;312:351–73. 28. Kiendl J, Ambati M, De Lorenzis L, Gomez H, Reali A. Phase-field description of brittle fracture in plates and shells. Comput Methods Appl Mech Eng. 2016;312:374–94. 29. Bourdin B, Marigo JJ, Maurini C, Sicsic P. Morphogenesis and propagation of complex cracks induced by thermal shocks. Phys Rev Lett. 2014;112:014301. 30. Miehe C, Schänzel L, Ulmer H. Phase field modeling of fracture in multi-physics problems. Part I. Balance of crack surface and failure criteria for brittle crack propagation in thermo-elastic solids. Comput Methods Appl Mech Eng. 2015;294:449–85. 31. Miehe C, Hofacker M, Schänzel L. Phase field modeling of fracture in multi-physics problems. Part II. Coupled brittle-to-ductile failure criteria and crack propagation in thermo-elastic-plastic solids. Comput Methods Appl Mech Eng. 2015;294:486–522. 32. Miehe C, Mauthe S. Phase field modeling of fracture in multi-physics problems. Part III. Crack driving forces in hydro-poro-elasticity and hydraulic fracturing of fluid-saturated porous media. Comput Methods Appl Mech Eng. 2016;304:619–55. 33. Mikelic´ A, Wheeler MF, Wick T. A phase-field method for propagating fluid-filled fractures coupled to a surrounding porous medium. SIAM Multiscale Model Simul. 2015;13:367–98. 34. Mikelic´ A, Wheeler MF, Wick T. Phase-field modeling of a fluid-driven fracture in a poroelastic medium. Comput Geosci. 2015;19:1171–95. 35. Wu T, De Lorenzis L. A phase-field approach to fracture coupled with diffusion. Comput Methods Appl Mech Eng. 2016;312:196–223. 36. Cajuhi T, Sanavia L, De Lorenzis L. Phase-field modeling of fracture in variably saturated porous media. Comput Mech. 2017;61:299–318. https://doi.org/10.1007/s00466-017-1459-3. 37. Passieux JC, Rethore J, Gravouil A, Baietto MC. Local/global non-intrusive crack propagation simulation using a multigrid X-FEM solver. Comput Mech. 2013;52(6):1381–93. 38. Guguin G, Allix O, Gosselet P, Guinard S. On the computation of plate assemblies using realistic 3D joint model: a non-intrusive approach. Adv Model Simul Eng Sci. 2016;3:16. 39. Duval M, Passieux JC, Salaun M, Guinard S. Non-intrusive coupling: recent advances and scalable nonlinear domain decomposition. Arch Comput Methods Eng. 2014;23:17–38. 40. Bettinotti O, Allix O, Malherbe B. A coupling strategy for adaptive local refinement in space and time with a fixed global model in explicit dynamics. Comput Mech. 2014;53(4):561–74. 41. Bettinotti O, Allix O, Perego U, Oancea V, Malherbe B. A fast weakly intrusive multiscale method in explicit dynamics. Int J Numer Methods Eng. 2014;100(8):577–95. 42. Bettinotti O, Allix O, Perego U, Oancea V, Malherbe B. Simulation of delamination under impact using a global local method in explicit dynamics. Finite Elem Anal Des. 2017;125(8):1–13. 43. Plews J, Duarte CA, Eason T. An improved non-intrusive global-local approach for sharp thermal gradients in a standard FEA platform. Int J Numer Methods Eng. 2011;91(4):426–49. 44. Kim J, Duarte CA. A new generalized finite element method for two-scale simulations of propagating cohesive fractures in 3-D. Int J Numer Methods Eng. 2015;103(13):113–1172. 45. Heister T, Wheeler MF, Wick T. A primal-dual active active set method and predictor-corrector mesh adaptivity for computing fracture propagation using a phase-field approach. Comput Methods Appl Mech Eng. 2015;290:466–95. 46. Gerasimov T, De Lorenzis L. A line search assisted monolithic approach for phase-field computing of brittle fracture. Comput Methods Appl Mech Eng. 2016;312:276–303. 47. Wick T. Modified Newton methods for solving fully monolithic phase-field quasi-static brittle fracture propagation. Comput Methods Appl Mech Eng. 2017;325:577–611. 48. Farrell PE, Maurini C. Linear and nonlinear solvers for variational phase-field models of brittle fracture. Int J Numer Methods Eng. 2017;109:648–67. 49. Kinderlehrer D, Stampacchia G. An introduction to variational inequalities and their applications. New York: Academic Press; 1980. 50. Glowinski R, Lions JL, Trémolières R. Numerical analysis of variational inequalities. Amsterdam: Elsevier; 1981. 51. Liu YJ, Sun Q, Fan XL. A non-intrusive global/local algorithm with non-matching interface: derivation and numerical validation. Comput Methods Appl Mech Eng. 2014;277:81–103. 52. Mandel J. Balancing domain decomposition. Commun Appl Numer Methods. 1993;9:233–41. 53. Jara-Almonte CC, Knight CE. The specified boundary stiffness and force (SBSF) method for finite element subregion analysis. Int J Numer Methods Eng. 1988;26:1567–78. 54. Farhat C, Roux FX. A method of finite element tearing and interconnecting and its parallel solution algorithm. Int J Numer Methods Eng. 1991;32:1205–27. 55. Park KC, Felippa CA. A variational principle for the formulation of partitioned structural systems. Int J Numer Methods Eng. 2000;47:395–418. 56. Park KC, Felippa CA, Rebel G. A simple algorithm for localized construction of non-matching structural interfaces. Int J Numer Methods Eng. 2002;53:2117–42. 57. Song YU, Youn SK, Park KC. A gap element for treating non-matching discrete interfaces. Comput Mech. 2015;56:551–63. 58. Wohlmuth BI. A mortar finite element method using dual spaces for the Lagrange multiplier. SIAM J Numer Anal. 2000;38:989–1012. 59. Wohlmuth BI. A comparison of dual Lagrange multiplier spaces for mortar finite element discretizations. ESAIM Math Model Numer Anal. 2003;36:995–1012. Gerasimov et al. Adv. Model. and Simul. in Eng. Sci. (2018) 5:14 Page 30 of 30 60. Küttler U, Wall WA. Fixed-point fluid-structure interaction solvers with dynamic relaxation. Comput Mech. 2008;43:61–72. 61. Erbts P, Düster A. Accelerated staggered coupling schemes for problems of thermoelasticity at finite strains. Comput Math Appl. 2012;64:2408–30. 62. Conn AR, Gould NIM, Toint PL. Convergence of quasi-Newton matrices generated by the symmetric rank one update. Math Progr. 1991;50:177–95.

Journal

"Advanced Modeling and Simulation in Engineering Sciences"Springer Journals

Published: Dec 1, 2018

There are no references for this article.