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

Learn More →

Benchmark cases for robust explicit time integrators in non-smooth transient dynamics

Benchmark cases for robust explicit time integrators in non-smooth transient dynamics jean.di-stasio@insa-lyon.fr Univ Lyon, INSA Lyon, LaMCoS, This article introduces benchmark cases for time integrators devoted to non-smooth CNRS UMR 5259, Bât. Sophie impact dynamics. It focuses on numerical properties of explicit integrators. Each case Germain-27bis avenue Jean Capelle, 69621 Villeurbanne tests one necessary numerical property in computational impact dynamics: energy CEDEX, France behaviour at impact, angular momentum conservation, non-linear behaviour. The Full list of author information is cases are easy to implement and analyse, providing a benchmark well-suited to first available at the end of the article numerical studies. We rewrite explicit schemes for non-smooth impact dynamics with unified notations, and analyse them with the benchmark cases. Keywords: Structural transient dynamics, Non-smooth dynamics, Explicit time integrators, Symplectic schemes, Impact dynamics Mathematics Subject Classification: Primary 65P10, 37M15, 70F40; Secondary 58J45, 37M05, 70F25 Introduction Direct time-integration schemes are a main issue in structural transient dynamics. They have been developed and improved to meet some crucial numerical properties. The first ones are stability and accuracy in linear regime, where Newmark’s schemes are the most used [1]. They were improved by adding a controlled high frequency numerical dissipa- tion to get α-generalized schemes [2,3]. But these schemes do not keep their properties for non-linear problems. Symplectic (energy-momentum conserving) or variational time integrators have been then developed to meet non-linear issues: energy-decaying prop- erty, overshoot or numerical integration of internal forces. For variational integrators, a review can be found in [4]. For symplectic schemes, a pioneer work is provided by Simo and Tarnow in [5]. They present a symplectic scheme for non-linear dynamic, and show the Central Difference Method (CD method) is the only symplectic scheme of Newmark’s family. An other crucial issue in computational mechanic is to enforce contact constraints. The most common ways are penalty methods, augmented Lagrangian, Lagrange multipliers and Nitsche methods [6,7]. Penalty methods are widely used in finite element simulations. Relating the contact reaction to penetration, they brings stability problems especially for explicit schemes. On the contrary, Lagrange multiplier methods enforce exactly the con- © The Author(s) 2019. 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().,–: volV Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 2 of 31 tact constraints but induce an implicit contact problem. Contact problems are divided into smooth and non-smooth ones. A smooth contact problem, like persistent contact, keeps the regularity of velocities, forces and accelerations. For non-smooth contact problems, impacts imply velocity jumps which make forces and accelerations locally non-defined. In this paper, we focus only on impact dynamics. According to [8,9], two approaches coexist to deal with impact in a discrete time: ‘event-driven’ and ‘time-stepping’ schemes. Event- driven schemes precisely locate impact times. They are suited for small system with few impact times, but have no convergence proof in case of infinite number of impacts in a finite time. Time-stepping schemes do not require the location of non-smooth events, and have convergence proof even for infinite number of impacts. The reader will find more information about general computational contact dynamics in [6,7], and scheme reviews in [10,11]. We just evoke here some standard schemes in impact dynamics. The first one is Laursen, Chawla and Love’s algorithm [12,13]. It follows the pioneer work of Simo, Tarnow and Wong on symplectic schemes [5,14] by extending its symplectic properties to contact part. More recently, Moreau–Jean’s scheme [15,16] is also energy conservative for contact [17]. It moves the imposition of contact constraints from position to velocity level. This brings new numerical properties well-suited to non smooth impact dynamics. Based on a θ-method [16], Moreau–Jean’s scheme is only first order. Acary presents an higher order Moreau–Jean scheme in [8] by adjusting the time-step with impact time. And finally Chen et al. manage to adapt extended Newmark’s schemes (α- generalized) in Moreau’s framework in [18,19]. In [20,21] an other energy conservative approach is described. The authors redistribute the mass on the contact boundary in order to get a conservative contact. This approach stays valid whatever the scheme, provided it is implicit. In an explicit framework the available schemes are less numerous. Carpenter et al. in [22] adapt the Central Difference method for contact with Lagrange multipliers. The contact constraints are imposed at position level. Paoli and Schatzman present an other adaptation of CD method in [23,24] close to Carpenter’s one. They modify the writing of contact conditions in order to integrate an impact law. Then Cirak and West [9] develop an explicit integrator in a variational framework with Lagrange multiplier. And finally Fekak et al. [25] gather Moreau’s contact formulation and Cirak and West approach in the CD-Lagrange scheme, in order to make a bridge between variational integrators and Moreau’s formalism. Based on an asynchronous version of the central difference method, the CD-Lagrange scheme keeps the symplectic properties suitable to non-smooth impact dynamics. Recently, in [26], an other interesting explicit approach is provided using Nitsche’s forms for contact. We have to mention also the work of Casadei on implementations of explicit time integrators in finite elements problems, see e.g. [27]. The goal of this article is to present benchmark cases in impact dynamics mainly designed for explicit schemes. It is divided into two parts: the first one presents the theoretical framework and some schemes in unified notations, the second one presents the test cases intended to provide a benchmark. We try to focus on one main property in each test case: impact behavior, angular momentum conservation, spurious high frequen- cies in finite elements problems, treatment of a non-linear damping term, or mass-scaling ability. The presented test cases are suitable for implicit schemes, even if the benchmark is not designed for. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 3 of 31 Time and space discretizations of impact problems Discrete model and notations We present here a frictionless contact-impact formulation between a deformable body and a rigid obstacle. This framework is adequate to spotlight the main ideas of impact dynamics. Switching to frictional contact or deformable-deformable impact does not bring new algorithmic difficulties (related to the impact law), and will be detailed in specific remarks. The problem is depicted in Fig. 1. We consider a deformable body  impacting a rigid boundary  which represents the obstacle. The boundary of  is separated into three distinct regions:  for Dirichlet’s boundary conditions,  for Neumann’s, and  which u F c gathers all potential contact points. x(t), u(t)and u˙(t) correspond respectively to position, displacement and velocity.  is made with an elastic (potentially non-linear) material obeying a stress-strain law σ = f (u), with σ the Cauchy stress field. u is a prescribed displacement on  ,and F a prescribed d u d load on  . The external outer normal to  is n . As a starting point, the contact constraints are those of a unilateral contact law [28,29]: ∀x ∈  ,g = (x − x) · n 0(1) c N M λ =−n · σ(x) · n 0(2) g (x)λ =0(3) N N x is the closest point of x on  ,and n is the outer-pointing normal of  at x . M R R M When contact occurs, n =−n . We separate n and n in order to define g and λ even N N for free-of-contact case, and λ is defined along −n to use a complementary form (see below). By impenetrability condition (1), solids can not penetrate each others. The intensility condition (2) implies that the contact stress is only compressive (i.e. no adhesion occurs). The complementary condition (3) reduces contact states to only two cases: active contact (g = 0and λ > 0), or non-contact (g > 0and λ = 0). (3) implies also that λ does N N N N N not produce any mechanical work. Although usually referred as Signorini’s conditions, they were stated by Hertz, Signorini and Moreau as reported in [28]. We thus call them HSM conditions. Fig. 1 Problem configuration Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 4 of 31 HSM conditions (1), (2)and (3) can be rewritten in a single equation by a complementary formulation: 0  g ⊥ λ 0(4) N N Remark 1 The HSM conditions rule only the normal components on  .Incaseoffric- tional contact (4) stays valid, but a friction law is added for tangential components [6,7]. We consider e.g. a Coulomb law with a friction coefficient μ: 0  (μλ −λ ) ⊥v  0with λ =−αv , α ∈ R (5) N T T T T The tangential velocity is defined by v = u˙ − u˙ · n, in the orthogonal plane to n. As shown by Moreau in [15] the stress-displacement formulation (4) is equivalent to an impulse-velocity one: If g = 0, 0  r ⊥ v  0 N N N Else,r =0(6) With v = u˙ · n the normal part of velocity, and r the impulse associated to λ ( r = N N N N dλ ). The impulse-velocity formulation is a conditional complementary formulation. Such a formulation is well suited to an algorithmic framework. The previous formulation (6) corresponds to a ‘plastic’ impact. For other contact behaviours, we introduce Newton’s impact law: + − v˜ (t ) = v (t ) + e v (t ) =0(7) N i N c N i i t is an impact time, e ∈ [0, 1] the restitution coefficient, and v˜ the formal velocity. i c N This law (7) controls the given back energy at impact. With e = 1 no energy is absorbed (‘elastic’ impact), with e = 0 the impact is dissipative (and corresponds to ‘plastic’ case). The impulse-velocity formulation (6) is naturally gathered with Newton’s impact law (7). And the final formulation for HSM conditions and Newton’s impact law is, at each point of  : If g = 0, 0  r ⊥ v˜  0 N N N Else,r =0(8) Finally one summarizes the strong form as follows: d˙u div(σ) = ρ in dt σ · n = F on d F σ · n =−λ n on N  c u = u on d u u(0) = u , u˙(0) = u˙ in 0 0 σ = f (u)in  (Stress–strain law) HSM conditions + Impact law on  (Normal contact law) (9) c Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 5 of 31 This problem is discretized in space by the finite elements method based on a weak form of (9). Several approaches exist for formulating the HSM conditions under a weak form. The common methods are Lagrange multipliers, penalty method, augmented Lagrangian, or recently Nitsche methods. The reader will find more details in [6,7]. We focus only on Lagrange multipliers methods, because they enforce exactly the HSM conditions. After a space discretization, nodes are numbered by an index k ∈{1, ... ,N } nodes with N the number of nodes. We note the vector of nodal displacements U = nodes k k k u ,k ∈{1, ... ,N } ,with u the displacement of node k. More generally · denotes nodes ˙ ¨ theconsideredfieldatnode k. U and U are the time derivatives of U. X is the vector of nodal positions. It depends on displacement: X = X + U with X the vector of initial 0 0 int nodal positions. M is the mass matrix, F the vector corresponding to material response, ext and F the vector of external loads. k k The nodes of  are specified by indexes {1, ... ,p}. We note respectively n and g ,the outer-pointing normal of  and normal gap associated to node k. We build a projection k t k operator L on  : L = (n ) , ∀k ∈{1, ... ,p} , and we note g = g , ∀k ∈{1, ... ,p} . C N As L and g depending on the displacement, we note L(U)and g (U). We note respec- N N tively λ and r, the vectors of normal nodal contact forces and impulses. In the following in order to simplify notations, we omit the subscript being the contact frictionless. In [9] the authors start from the discrete Lagrangian of an impact dynamics problem. They obtain the following semi-discrete equations by a variationally consistent approach. Over the time interval [t ,t ] only one impact time t is considered for simplicity, but 0 i several nodes can impact  at t . And the generalisation at several impact times over C i [t ,t ]iseasy(see[8,9]). − + ext int MU(t) = F (t) − F (t) ∀t ∈ [t ,t [ ∪ ]t ,t](10) 0 f i i i t MU(t) = L (t )r(t ) (11) − i i t i −1 ˙ ˙ MU(t) M MU(t) = 0 (12) Equation (10) corresponds to the smooth dynamics equilibrium, completed by non- smooth dynamics Eq. (11). Equation (12) is linked to the kinetic energy balance during impact. Following Moreau, Eqs. (10)and (11) can be gathered in one Eq. [15,16,30]. This is developed and used in [8,18,19,25,31]. The following measures on velocity are defined: Udt, ∀t = t + − ˙ ˙ ˙ ˙ ˙ ˙ ˙ dU = dU + dU dU = dU = U(t ) − U(t ) s I s I 0,t = t ˙ ˙ dU deals with the smooth part of velocity, dU with velocity jumps. From (10), and (11): s I ext int + − t ¨ ˙ ˙ MUdt = F (t) − F (t) dt M U(t ) − U(t ) = L (t )dr(t ) i i i i dt is the standard Lebesgue measure for time, and: − + 0 ∀t ∈ [t ,t [ ∪ ]t ,t ] 0 f i i dr(t) = r(t ) i Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 6 of 31 The smooth equilibrium (10) and impact part (11) can be joined, and augmented with HSM conditions (8) to get the non-smooth contact dynamics equation (NSCD equation): ext int t MdU = F − F dt + L dr ∀k ∈{1, ... ,p}, k k k If g = 0, 0  r ⊥ v˜  0 (13) k k Else g > 0,r = 0 The NSCD Eq. (13) does not contain the Eq. (12) on kinetic energy conservation during impact. But this energy balance is satisfied thanks to HSM conditions with Newton’s impact law (8) for e = 1. Time integration schemes for impact In the following, we rewrite schemes used in the next benchmarks with unified nota- tions. We focus on Carpenter’s, Paoli–Schatzman’s and CD-Lagrange for explicit schemes with Lagrange multipliers. And we choose Moreau–Jean’s scheme, although implicit, as a reference to non-smooth dynamics. All are time-stepping schemes. As explained in Remark 2, only time-stepping schemes are robust in a finite elements framework with multiple impacts. Carpenter’s explicit scheme In [22] Carpenter presents an explicit scheme with contact treated by Lagrange multi- plier: the forward increment Lagrange multiplier method. The time integration scheme is a multi-step central difference method, the HSM conditions are considered in a dis- placement formulation, and contact loads added directly to equilibrium equation. Contact forces at t are computed in order to assure HSM conditions at t . This offset is necessary n n+1 to get an explicit scheme compatible with Lagrange multipliers. The discrete equations are: ext int t M U = F − F + L λ lump n n n n n+1 k k ∀k ∈{1, ... ,p}, 0  g (U ) ⊥ λ  0 n+1 N n + Multi-step central difference method: U = (U − U ) n n+1 n−1 2h U = (U − 2U + U ) n 2 n+1 n n−1 We note h the time-step. The mass matrix is lumped [29,32] to get an explicit scheme. L is defined below. n+1 The final scheme can be summarized as follows: ∗ 2 −1 ext int U = h M F − F + 2U − U (14) n n−1 n+1 n n lump ∗ ∗ L = L(U ), g = g (U ) n+1 N,n+1 N n+1 n+1 Compute λ solution of following LCP: (15) 2 −1 t h L M L λ =− g n+1 n N,n+1 n+1 lump (16) ⎩ k k ∀k ∈{1, ... ,p}, 0  g ⊥ λ  0 N,n+1 n Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 7 of 31 c 2 −1 t U = h M L λ (17) n+1 n+1 lump ∗ c U = U + U (18) n+1 n+1 n+1 The displacement at t is computed by an predictor-corrector approach. U is n+1 n+1 firstly updated without contact contribution. It is used to predict the gap at t and n+1 c ∗ construct L . Then U is computed to correct negative gap and added to U n+1 n+1 n+1 to get total displacement U . This one satisfies exactly the HSM conditions: ∀k ∈ n+1 {1, ... ,p},g (U ) = 0. n+1 Here it can be noticed that Eq. (16) stay implicit, and form a Linear Complemen- tary Problem (LCP). The Delassus or Steklov–Poincaré operator defined by H = −1 L M L is generally non-diagonal. In [22] an effective way is proposed to solve n+1 lump n+1 this LCP. If H is diagonal, the problem is then fully explicit. Paoli–Schatzman’s scheme Paoli and Schatzman in [23,24] present a scheme close from Carpenter’s but with modified HSM conditions in order to integrate Newton’s impact law. The following version of Paoli– Schatzman’s scheme is slightly modified for velocity calculation and proposed by Acary in [31]. We rewrite it in a form close from Carpenter’s scheme. The discrete HSM conditions is modified into: k k ∀k ∈{1, ... ,p}, 0  g (U + e U ) ⊥ λ  0 (19) n+1 c n−1 N n and finally we get the following scheme: ∗ 2 −1 ext int U = h M F − F + 2U − U (20) n n−1 n+1 n n lump ∗ ∗ L = L(U ), g = g (U + e U ) n+1 N,n+1 N c n−1 n+1 n+1 Compute λ solution of following LCP: (21) 2 −1 t h L M L λ =−g n+1 n N,n+1 n+1 lump (22) ⎩ k k ∀k ∈{1, ... ,p}, 0  g ⊥ λ  0 N,n+1 n c 2 −1 t U = h M L λ (23) n+1 n+1 lump ∗ c U = U + U (24) n+1 n+1 n+1 Carpenter’s and Paoli–Schatzman’s schemes differ only in the gap calculation. And Car- penter’s scheme is a particular case of Paoli–Schatzman’s with e = 0. The modified HSM conditions (19) impose Newton’s impact law over three time-steps. If the node k stays in contact during three time-steps meaning that g (U + e U ) = n+2 c n k k g (U + e U ) = g (U + e U ) = 0, we get: n+1 c n−1 n c n−2 N N k k g (U + e U ) − g (U + e U ) = 0 n c n−2 n+2 c n N N k k k k k k ⇔ (u − u ) · n + e (u − u ) · n = 0 n+2 n n n−2 k k ⇔ v + e v = 0 (25) n+1 n−1 With n the outer-pointing normal of  associated to node k over the three time-steps. A persistent contact over three time-steps is a strong assumption not always met in practice. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 8 of 31 CD-Lagrange scheme CD-Lagrange scheme [25] is the only explicit one built on the NSCD Eq. (13). This equa- tion is integrated between t 1 and t 3 to obtain the discrete equilibrium equation on n+ n+ 2 2 velocity. The estimation of time integrals is done by a midpoint rule, and treatment of impact done at the end of time-step. A CD method links velocities and displacements. The discrete equations are: ext int t ˙ ˙ M U − U = h F − F + L r (26) 3 1 3 lump n+1 n+1 n+1 n+ n+ n+ 2 2 2 ∀k ∈{1, ... ,p}, k k k If g (U )  0, 0  r ⊥ v˜  0 n+1 3 3 n+ n+ 2 2 ⎩ k Else r = 0 n+ With: U = U + hU 1 L = L(U ) n+1 n n+1 n+1 n+ (27) ˙ ˙ ˙ v = L U v˜ = L (U + e U ) 3 3 3 3 1 n+1 n+1 c n+ n+ n+ n+ n+ 2 2 2 2 2 −1 By multiplying the discrete equilibrium (26)by L M , we obtain the following n+1 lump equation for contact: −1 t −1 ext int L M L r = v − L U + hM F − F (28) 3 3 1 n+1 n+1 n+1 n+1 n+1 lump n+ n+ n+ lump 2 2 2 −1 with H = L M L , the Delassus operator. n+1 n+1 n+1 lump The final algorithm can be summarized as follows: U = U + hU 1 (29) n+1 n n+ L = L(U ), g = g (U)(30) n+1 n+1 N,n+1 N n+1 Compute r 3 solution of: n+ ∀k ∈{1, ... ,p}, k k If g  0, r = 0 N,n+1 n+ ⎨ H r 3 = v 3 ⎪ n+1 n+ n+ 2 2 (31) ⎪ k −1 ext int − L U 1 + hM (F − F ) Else g < 0, n+1 N,n+1 n+ lump n+1 n+1 ⎪ k k 0  r ⊥ v˜  0 3 3 n+ n+ 2 2 −1 ext int −1 t ˙ ˙ U 3 = U 1 + hM F − F + M L r 3 (32) n+1 n+1 n+1 n+ n+ lump lump n+ 2 2 2 A LCP solver is necessary to solve the contact problem (31)unless H is diagonal. This problem is similar to that of Carpenter’s scheme, and thus the solver of [22] can be used. The LCP theory and other resolution algorithms are presented in [33]. If H is diagonal, accordingto[25], the previous algorithm can be rewrite in a fully explicit form: see algorithm (1). In [25], Fekak et al. write this scheme differently in order to link it with Newmark’s CD method and the approach of Chen [18,19]. This other writing is also more suitable to Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 9 of 31 Algorithm 1 CD-Lagrange—Frictionless contact U ← U + hU n+1 n n+ L ← L (U ) n+1 N n+1 r 3 ← 0 N,n+ for k ∈{1, ... ,p} do if g (U )  0 then n+1 k k v ←−e v 3 1 n+ N,n+ 2 2 k k −1 k k −1 ext int r ← (H ) v − L U 1 + hM (F − F ) 3 3 n+1 n+1 n+1 n+1 n+ lump n+ n+ 2 2 k k r ← max(0,r ) 3 3 n+ n+ 2 2 end if end for −1 −1 ext int t ˙ ˙ U ← U + hM F − F + M L r 3 1 3 n+ n+ n+1 n+1 n+1 n+ lump lump 2 2 2 discrete energy balance. For the smooth part, it is equivalent to a CD method keeping its properties. The scheme is therefore conservative for a discrete modified energy [25], and symplectic. CD-Lagrange is a fully explicit scheme for the smooth part if the internal stresses do not depend on velocity. In this case, Belytschko [29] proposes velocities at t to compute n+ explicitly the internal stresses. However the contact problem stays generally implicit like in Carpenter’s and Paoli–Schatzman’s because of non-diagonal Delassus operator H. Moreau–Jean scheme From the NSCD framework we compare the explicit scheme CD-Lagrange to an implicit one, Moreau–Jean’s scheme. It is introduced in [15,16]. −1 ext int −1 t ⎪ ˙ ˙ ⎪ U = U + hM F − F + M L r n+1 n n+1 n+θ n+θ n+1 (33) With F = θF + (1 − θ)F n+θ n+1 n ˙ ˙ U = U + h θU + (1 − θ)U n+1 n n+1 n −1 t L M L r = ⎪ n+1 n+1 n+1 −1 ext int ⎪ v −L U + hM F − F n+1 n+1 n ⎪ n+1 n+1 ∀k ∈{1, ... ,p}, ⎪ ⎧ ⎪ k k k ⎪ ⎨ If g (U )  0, 0  r ⊥ v˜  0 N n+1 n+1 n+ ⎩ k Else r = 0 n+1 With: U = U + hU L = L(U ) 1 1 n n n+1 n+ n+ 2 2 (34) v˜ = L (v + e v ) v = L U n+1 n+1 n+1 c n n+1 n+1 n+1 This scheme is obtained by a time integration of NSCD Eq. (13) between t and t and n n+1 the θ-method [16]. The contact problem (34) is build with a explicit predicted position U . It ensures discrete energy balance for θ = 1/2[17]. And in this case, it is equivalent n+ to Newmark’s or Crank–Nicholson constant average acceleration method (CAA method) for smooth part. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 10 of 31 Remark 2 Time integration schemes for impact split up between event-driven and time- stepping schemes. Event driven schemes detect impact times and compute the solu- tion between them. They keep the computed solution smooth avoiding impact velocity jumps. Impact conditions become initial conditions when the computation restarts after an impact. Time-stepping schemes do not adapt their time-step dealing directly with impact velocity jumps. They consider impact contribution at the end of time-step allow- ing multiple impacts in one. According to [8], time-stepping schemes are more efficient than event-driven ones in non-smooth dynamics. In case of infinite number of impacts in a finite time, they have a convergence proof unlike event-driven ones. They do not require a detection of impact events, and stay efficient in case of multiple impacts in one time-step (no refinement of time-step). Moreover, in time-stepping schemes, a derivation of con- tact constraints is not required like in event-driven ones for initial conditions after impact. The discrete HSM conditions are written in term of the main unknowns: displacement for Carpenter’s and Paoli–Schatzman’s, velocity for Moreau–Jean’s and CD-Lagrange. This brings stability to the system, and allows to prove convergence. Remark 3 Only the velocity formulation of HSM conditions integrates a discrete Newton impact law. But, as highlighted above, this law is necessary for a energy consistent impact formulation. Therefore in presented schemes, only these using the velocity formulation of HSM conditions can ensure the discrete energy balance at impact. This form combined with a time-stepping approach requires to authorize a residual penetration. The displace- ment constraint has to be relaxed in order to impose the velocity form of HSM conditions only at the end of time-step. The residual penetration decreases with time-step and stays small for usual ones. −1 Remark 4 The above-mentioned explicit schemes are fully explicit only if H = LM L lump is diagonal. As the mass matrix is lumped, the diagonal feature depends only on L. This operator links global quantities to local contact ones. If the nodal contact condition depends only on its own quantities, H is diagonal. But if the nodal contact condition links several nodes, it is not. For example, in case of rigid-deformable contact, H is diag- onal when the contact boundary is analytically described. The contact condition is easily expressed for each node with its displacement. In case of deformable-deformable contact, both sides of contact have unknown displacement. H is then diagonal only for node-to- node contact, i.e. for conforming meshes. Non-conforming meshes lead to a non-diagonal Delassus operator (see [22]). Benchmark cases and comparison results Bouncing ball: one DOF—linear system with rigid impact This test case focuses on impact. A rigid ball falls and impacts the ground, an analytic boundary. This simple problem is quite common in literature about non-smooth impact dynamics [18,31]. Impact times are analytically known, which facilitates result analysis. When contact occurs, the energy conservation depends on restitution coefficient. If e = 1 the ball bounces without any dissipation to its initial height. If e < 1 the contact c c absorbs energy at each impact, and the time between two impacts decreases. The end of movement is thus an infinite accumulation of bounces in a finite time, sometimes called ‘Zeno’s paradox’. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 11 of 31 If event-driven schemes seem compelling by keeping a high regularity, the simple case of bouncing ball eliminates them. They are obviously not able to represent Zeno’s para- dox: an infinite accumulation of impacts in a finite time. On the contrary time-stepping schemes deal efficiently with this paradox. The same problem appears in a finite elements framework, when multiple nodes impact nearly at same time. An adaptive time-step leads to time-consuming simulations. The problem is depicted in Fig. 2, and corresponds to equation: mdz˙ =− mgdt + L dr We set problem parameters and initial values at: −2 −1 m = 1kg g =−9.81 m s z˙(0) = 0m s z(0) = z = 1m −2 All simulations use the same time-step: h = 10 s. We use a large time-step to spotlight the scheme defaults. Indeed there are no stability issues in this problem. The analytical resolution (with a null initial velocity) gives the following expression for impact times: ⎪ 2z 1 − e ⎪ i c ∀n  1and e = 1,t = 2 − 1 ⎪ c g 1 − e 2z ⎪ 0 ⎩ ∀n  1and e = 1,t = (2n − 1) n indicates the index of impact times, t is the first impact time. By tending n towards infinity for e < 1, the stopping time is: 2z 1 + e 0 c t = final g 1 − e We test firstly the schemes based on HSM conditions in displacement formulation. Figure 3 shows the results obtained with the explicit and implicit Carpenter’s schemes described in [22]. Being designed with HSM condition on position, the shock law is restricted to e = 0 for these schemes. The explicit scheme follows the analytic solu- tion, but the implicit one is unstable at impact. Chen in [18] finds similar results for others implicit Newmark’s schemes with a displacement formulation for HSM conditions. Fig- ure 4 focus on Paoli–Schatzman scheme results for e = 1. Sometimes the ball reaches a height higher than initial one, meaning that impact injects energy. Even if this behaviour decreases with time-step, Paoli–Schatzman is therefore not satisfying from an energy point of view like Carpenter’s scheme. We focus now on schemes based on HSM conditions in velocity formulation: Moreau– Jean’s and CD-Lagrange scheme. On Fig. 5 we plot position got for e = 1withthese two schemes. Despite penetration at impact the ball always reaches the same height: the energy at impact is conserved. Acary shows in [17] the energy conservation at impact for Moreau–Jean’s scheme with θ = 1/2. For CD-Lagrange, we demonstrate it by considering anode k which impacts in [t 1 ,t 3 ]. The contact is active only in this time interval. n+ n+ 2 2 k k k We have r = 0and r = r = 0. According to [25], the work of contact force at 3 1 5 n+ n+ n+ 2 2 2 node k is: Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 12 of 31 Fig. 2 Bouncing ball Fig. 3 Bouncing ball—position for Carpenter’s schemes—e = 0 k t [u − u ] n+1 n k k t k t k W + W = L r + L r 3 1 IC,n+1 IC,n+2 n+1 n+ n+ 2 h 2 2 k k t [u − u ] n+2 n+1 t k t k + L r + L r 5 3 n+2 n+1 n+ n+ 2 h 2 2 t t 1 1 k k k k = L u˙ r + L u˙ r n+1 1 3 n+1 3 3 n+ n+ n+ n+ 2 2 2 2 2 2 k k = (1 − e )v r c 1 3 n+ n+ 2 2 2 k k As v  0, r  0and 0  e  1, the contact work is always negative, and null for 1 3 c n+ n+ 2 2 e = 1. c Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 13 of 31 Fig. 4 Bouncing ball—position for Paoli–Schatzman scheme—e = 1 Fig. 5 Bouncing ball—position for Moreau–Jean and CD-Lagrange—e = 1 On Fig. 6, we plot position for e = 0.8. Moreau–Jean and CD-Lagrange schemes both pass Zeno’s paradox. On Fig. 7 the restitution coefficient is set to zero. The residual penetration is clearly visible, and with this time-step the residual penetration for CD- Lagrange is higher. But both schemes detect the impact at a different time: at t 1 for n+ 2 Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 14 of 31 Fig. 6 Bouncing ball—position for Moreau–Jean and CD-Lagrange—e = 0.8 Moreau–Jean’s scheme, at t for CD-Lagrange. The residual penetration for Moreau– n+1 Jean’s scheme is lower than that of CD-Lagrange only if the impact occurs before t . n+ The analytic solution eases convergence studies on this test case. We use the norm described in [8,25]. In [8] the author observed the same convergence order with this norm or Hausdorff norm. The norm is: f − f (t ) i i i=1 e = (35) f (t ) i=1 f (t ) is the analytic solution at time t and f the computed one. The times t are those of i i i i the solution computed with the largest time-step. We observe on Fig. 8 a numerical error of computer precision order for the phase before the first impact. For smooth part, both schemes are therefore second order. But they are only first order when an impact occurs, as visible on Fig. 9. Indeed these schemes keep the properties of the original one for smooth part (CD method for CD-Lagrange or CAA method for Moreau–Jean), but the contact part is only first order. In [8] these properties were demonstrated for Moreau–Jean’s scheme. This first problem evaluates the contact behaviour. Only schemes using a velocity for- mulation of HSM conditions have a energy consistent impact behaviour. This test case eliminates also directly event-driven schemes by its practical application of Zeno’s para- dox. In the following we only focus on CD-Lagrange and no more on Paoli–Schatzman’s scheme. Indeed it does not conserve exactly the discrete energy at impact. The CD- Lagrange scheme will be compared to Moreau–Jean’s scheme as a standard in non-smooth impact dynamics with HSM conditions in velocity formulation. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 15 of 31 Fig. 7 Bouncing ball—position for Moreau–Jean and CD-Lagrange—e = 0 Van der Pol oscillator: one DOF—Non-linear system with rigid impact The Van der Pol oscillator does not represent a mechanical situation. It is an zero degree of freedom oscillator with a non-linear damping term. This test case evaluates the non- linear behaviour of schemes, especially for long time simulations and explicit treatment of non-linear damping term. The Van der Pol oscillator tends to a limit cycle in phase space. Only energy conservative schemes can represent it especially for long time simulations. This problem requires also to treat explicitly a term which depends on velocity in internal stresses. A solution is to use the last known velocity, this modifies slightly the dynamic equilibrium but converges to the same solution [29]. The equation of Van der Pol oscillator is: 2 t d˙x − ξω 1 − x˙dt + w xdt + L dr = 0 (36) The two parameters ξ and ω set the behaviour of the system. ξ rules the non-linear term preponderance: for ξ ω the system tends to the linear oscillator. For following simulations we use as parameters: −1 −1 −3 ξ = 5 ω = 1s x = 1m x˙ = 1m s h = 10 s 0 0 0 The discretizations of non-smooth dynamic equilibrium (36) are respectively for CD- Lagrange and Moreau–Jean: n+1 2 t x˙ = x˙ + hξω 1 − x˙ − hω x + L r (37) 3 1 1 3 0 n+1 0 n+1 n+ n+ 2 n+ n+ 2 2 2 2 0 Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 16 of 31 Fig. 8 Bouncing ball—convergence order for position without impact Fig. 9 Bouncing ball—convergence order for position with impact n+θ 2 t x˙ − x˙ − hξω 1 − x˙ + hω x − L r = 0 (38) n+1 n 0 n+θ n+θ n+1 0 n+1 0 Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 17 of 31 Fig. 10 Van der Pol oscillator—position For CD-Lagrange equilibrium (37), the velocity in damping term is taken at t . This n+ modification makes the damping term explicit. The Moreau–Jean equilibrium (38)is solved by a Newton’s algorithm being non-linear. On Fig. 10, representing the position over 30 s, Moreau–Jean and CD-Lagrange schemes are close despite the non-linear damping term. It can be noticed that both schemes are robust at impact despite of high velocity jumps. Figure 11 shows the computed solutions in phase space at times t over 300 s (only a few points are drawn). The arrow represents the velocity jump at impact. The limit cycle is visible, and both schemes stay on it for more than forty cycles. For the Van der Pol oscillator, the CD-Lagrange scheme has results as good as Moreau–Jean with the same time-step with a smaller number of iterations (no Newton algorithm). −7 We compute a refined solution with a small time step h = 10 s for a convergence study. We use the norm (35) described previously. And we add a modified CD-Lagrange scheme for comparison purpose, with a damping term evaluate with x˙ : n+1 n+1 2 t x˙ 3 = x˙ 1 + hξω 1 − x˙ − hω x + L r 3 0 n+1 n+1 0 n+1 n+ n+ n+ 2 2 2 with x˙ = (˙x 3 + x˙ 1 ) n+1 n+ n+ 2 2 This scheme is implicit, we consider it just for comparison. In the following we call it ‘CD-Lagrange Implicit’. On Fig. 12 the convergence order is studied without impact. Moreau–Jean scheme (θ = 1/2) keeps the convergence order of Newmark’s CAA method. But the CD-Lagrange is only first order, whereas its implicit version finds back the second order. Taking velocity Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 18 of 31 Fig. 11 Van der Pol oscillator—phase space at t decreases therefore the convergence order. But if we consider a system with n+ impacts, this error does not matter because all schemes are first order as shown by Fig. 13. But the CD-Lagrange error stays larger than those of Moreau–Jean’s scheme or the implicit CD-Lagrange. This second test case evaluates the scheme in a non-linear framework with impact. It verifies the energy conservation for long time simulation by means of the limit cycle in phase space. And it investigates also the error induced by explicit treatment of damping term. Rotating spring: two DOF—angular momentum conservation with impact The rotating spring is a mass-spring system in rotation only subjected to the internal spring force. This system evaluates the scheme behaviour with large rotations. It tests particularly the conservation of angular momentum. This property is ensured by symplectic algorithms [5,14]asCDmethod. In order to add a frictional contact, we consider now the following discrete contact problem (written for CD-Lagrange scheme): −1 ext int H r = v − L U + hM F − F (39) 3 3 1 N,n+1 N,n+1 n+1 n+1 N,n+ N,n+ n+ lump 2 2 2 −1 ext int H r 3 = v 3 − L U 1 + hM F − F (40) T,n+1 T,n+1 T,n+ T,n+ n+ n+1 n+1 lump 2 2 2 ∀k ∈{1, ... ,p}, k k k If g (U )  0, 0  r ⊥ v˜  0 n+1 3 3 N,n+ N,n+ 2 2 (41) Else r = 0 N,n+ 2 Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 19 of 31 Fig. 12 Van der Pol oscillator—convergence order for position without impact Fig. 13 Van der Pol oscillator—convergence order for position with impact Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 20 of 31 k k + ⎪ r =−αv , α ∈ R 3 3 ⎪ T,n+ T,n+ ⎪ 2 2 k k k k If g (U )  0, 0  (μr −r ) ⊥v   0 n+1 3 3 3 (42) N,n+ T,n+ T,n+ ⎪ 2 2 2 Else r = 0 T,n+ With L a projection operator on the orthogonal plane to n, r and v the tangential T T T −1 components for impulse and velocity, and H = L M L the Delassus operator for T T T lump tangential contact problem. Equations (39)and (41) are the preceding ones for normal part, and (40)and (42)are those for tangential contact problem ruled by the Coulomb law. The algorithm below (2) describes the CD-Lagrange algorithm for a frictional contact, with a diagonal H. This algo- rithm is very close from the preceding one (1) with frictionless contact, which corresponds to the case μ = 0. It is fully explicit. Algorithm 2 CD-Lagrange—frictional contact U ← U + hU 1 n+1 n 2 n+ L ← L (U ) L ← L (U ) N,n+1 N n+1 T,n+1 T n+1 r 3 ← 0 r 3 ← 0 N,n+ T,n+ 2 2 for k ∈{1, ... ,p} do if g (U )  0 then n+1 k k v ←−e v v 3 ← 0 3 c 1 T,n+ N,n+ N,n+ 2 2 k k −1 k k −1 ext int r ← (H ) v − L U 1 + hM (F − F ) 3 3 N,n+1 N,n+1 n+ lump n+1 n+1 N,n+ N,n+ 2 2 2 k k k k −1 ext int −1 r ← (H ) v − L U 1 + hM (F − F ) 3 3 T,n+1 T,n+1 n+ lump n+1 n+1 T,n+ T,n+ 2 2 2 if r  0 then N,n+ k k r ← 0 r ← 0 3 3 N,n+ T,n+ 2 2 k k else if r  >μr then 3 3 T,n+ N,n+ 2 2 T,n+ k k r ←− r 3 3 T,n+ r  N,n+ 2 3 2 T,n+ end if end if end for −1 −1 ext int t t ˙ ˙ U 3 ← U 1 + hM F − F + M L r 3 + L r 3 n+ n+ lump n+1 n+1 lump N,n+1 N,n+ T,n+1 T,n+ 2 2 2 2 The system and notations are depicted in Fig. 14, and the equation is: md˙x =−k 1 − x · dt + L · dr with x = (x, y) (43) We use the following parameters: −2 −1 m = 1kg k = 10 kg s l = 1m x(0) = (0.8; 0) m x˙(0) = (1; 2) m s We add a concentric contact boundary. Its radius of 1.4 m is larger than relaxed spring −1 length. The time-step is taken to h = 10 s to be in order of the critical one. We present Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 21 of 31 Fig. 14 The rotating spring Fig. 15 Position-frictionless contact two cases: frictionless and then frictional contact. We consider a Newton impact law for normal part, and Coulomb friction for tangential part. For the frictionless case, we set e = 1and μ = 0 for an energy conservative contact. In the second one, we set e = 0 c c and μ = 0.2 for a dissipative contact. As no analytic solution exists, a reference solution −5 is computed by CD-Lagrange scheme with refined time step at h = 10 s. This test case is geometrically non-linear needing a Newton algorithm for implicit schemes. The case of frictionless contact is depicted in Figs. 15 and 16.OnFig. 15 we plot the mass position over the first 5 s. We denote a large penetration at each impact for both schemes due to the large time-step. In this frictionless case, the impact impulse should not change Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 22 of 31 Fig. 16 Angular momentum-frictionless contact Fig. 17 Position-frictional contact the angular momentum being parallel to position vector. But for Moreau–Jean’s scheme the angular momentum oscillates and decreases (more than 10% of its initial value over 100 s) as shown by Fig. 16. The conservation of angular momentum is achieved only at convergence. For CD-Lagrange the angular momentum is exactly conserved to its initial value illustrating the symplectic aspect. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 23 of 31 Fig. 18 Angular momentum-frictional contact On Figs. 17 and 18 is represented the case of frictional contact (e = 0and μ = 0.2). On Fig. 17 we plot the position over the first 5 s, and on Fig. 18 the angular momentum over 100 s. At each impact the angular momentum is decreased by the tangential contact force. The system reaches a state where it tangents the contact boundary but without contact. The final angular momentums for both Moreau–Jean and CD-lagrange are smaller than the refined one due to numerical errors especially at contact. These discrete solutions include more contact phase because of numerical errors at contact detection. It can be noticed when Moreau–Jean scheme reaches its tangential state, the angular momentum is still oscillating. This test case with frictionless contact focuses on angular momentum conservation, a crucial property of symplectic schemes. Moreau–Jean’s scheme e.g. does not conserve dis- crete angular momentum. The induced error can become large for long time simulations. On the contrary the discrete angular momentum is exactly conserved at its analytical value with symplectic CD-Lagrange scheme. For the frictional case, this test case shows also the ability of schemes to deal with frictional contact with no additional algorithmic complexity. Impacting bar: multiple DOF—FE discretization and impact The impacting bar problem is a frequent test case in literature [9,19,22,25,31](see[10] for a review of contact schemes on it). Indeed it is interesting from mathematical and numerical point of view. The analytical solution is known and unique, which is rare for elastodynamics with unilateral constraint. And from numerical point of view, the dis- cretization introduces spurious high frequency oscillations at contact node when impact occurs. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 24 of 31 Fig. 19 Impacting bar We consider a multiple degrees-of-freedom, linear and elastic bar, discretized in space by linear finite elements. One of its ends impacts a wall with a contact area reduced to one node. Figure 19 depicts this problem. For the bar, we consider a density ρ, cross section S, Young Modulus E,length L and initial velocity v . It is discretized by N linear finite elements of equal length l = L/N. The mass matrix is lumped by summing the terms of rows into the diagonal. We use the lumped mass matrix only for explicit scheme (CD-Lagrange). The elementary mass and stiffness matrices are: 1 21 1 10 1 1 − 1 e e e M = ρSl M = ρSl K = ES lump 6 12 2 01 l −11 The material parameters are those of [22,25]: −3 2 ρ = 7847 kg m S = 6.45 cm E = 2.1 · 11 Pa −1 L = 25.4cm v = 5ms The equation of discrete problem is then: MdU + KUdt − L dr =0(44) with M the global mass matrix (lumped or not), and K the global stiffness matrix. For discretization: −7 N = 50 h = 6.87 · 10 s −7 The time step is equal at 0.7 × h with h = 9.82 × 10 s the larger stable time-step crit crit for explicit schemes (based on CFL condition). We set e = 0tobeclosertoanalytical solution: for e = 1, oscillations on displacement appear at contact node after impact. The contact is therefore dissipative, and energy conservation is only achieved at space and time convergence. The lost energy corresponds to the kinetic energy of contact node, which is tiny with an accurate discretization. On Fig. 20 the position of contact node is represented for both schemes. The discrete solution is close from the analytical one with a persistent contact. But velocity oscillations appear after the contact release at contact node. They are visible in Fig. 21 for velocity, Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 25 of 31 Fig. 20 Impacting bar—position of contact node Fig. 21 Impacting bar—velocity of contact node Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 26 of 31 Fig. 22 Impacting bar—impulsion at contact node and also for impulsion in Fig. 22. Both schemes are quite equivalent with respect to these oscillations. As mentioned in [25] the amplitude of oscillations for CD-Lagrange decreases with a refinement in space and time, but their frequency increases. Dissipative schemes could damp these oscillations like EG-α scheme [34] or Noh and Bathe scheme [35]. But in non-smooth dynamic framework, no explicit ones are reported in literature. Chen and Acary present implicit dissipative schemes for non-smooth impact dynamic in [18,19] based on implicit α-generalized schemes. The Time Discontinuous Galerkin schemes are also particularly effective for damping spurious mode. In [36], a test case close from impacting bar is presented without spurious oscillations. These schemes are implicit too. The impacting bar tests the behaviour of schemes in a finite element framework with impact. It brings the difficulties linked to discretization, in particular spurious high fre- quencies. Discrete arch: multiple DOF—mass scaling feature with impact This test case shows the ability of an explicit scheme to be used in a ‘mass-scaling’ solving strategy. We are not interested in the dynamical behaviour of the structure, but only with the final equilibrium configuration. The dynamic simulation is therefore used to allow a cheap determination of the static configuration. This test corresponds to a limit point instability of a discrete shallow (circular) arch which ‘snaps’ into its buckled configuration. It is quite similar e.g. to those of [37,38], but with an impact. In this problem neither the load, the mass, nor the viscous dissipation have an influence on the final solution They are therefore only numerical artefacts allowing an explicit code to provide the static solution. The physical model is restricted to the computation of the internal nodal forces, due to large displacement elasticity problem in a given configuration (corresponding to the Cauchy internal force description). Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 27 of 31 Fig. 23 Problem discrete model (depicted with 4 bars) Fig. 24 Discrete arch—configurations for different times The test configuration is depicted in Fig. 23. To avoid using Lagrangian beam theory, the test is built on a discrete chain of elements that encounter traction-compression solicitations similar as springs, with concentrated rotational springs at internal nodes. The two end nodes are simply supported, without rotational springs. A temporary vertical nodal load F (t)isappliedonthisstructuretoallowittopassthe buckling limitpoint. After that instability point it snaps to a new equilibrium configuration with contact at distance d below horizontal line. The internal stresses are composed of spring-like forces − k(l − l ) and torsion springs torques − κθ. k is an equivalent stiffness, l the current length of element, and l the initial one. κ is an equivalent rotational stiffness, and θ is the difference between the initial angle between two contiguous bars and the current angle. Each node is submitted to actions of closest neighbours. We note the vector of int internal stresses F which only depends on current nodal displacements. The arch has a Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 28 of 31 Fig. 25 Discrete arch—impulse evolutions for mass scaling convergence criteria radius R and an angle sector θ. It is composed of 11 elements and defined by the following dimensionless parameters: d κ π −2 −3 = 6.50 × 10 = 4.16 × 10 θ = R kR 4 We consider a lumped mass matrix. We set the restitution coefficient to e = 0 for a dissipative contact. We add a viscous term to dissipate kinetic energy and reach the static final state. It is a low frequency dissipation term, proportional to lumped mass. For CD- Lagrange scheme its expression is −μM U 1 (the velocity is taken at t 1 to make lump n+ n+ 2 2 this contribution explicit). The discrete problem (with CD-Lagrange scheme) is summarized as follows: U = U + hU n+1 n n+ int t d ˙ ˙ ˙ M U 3 − U 1 = hF + L r 3 − μM U 1 + hF (t ) lump lump n+1 n+1 n+1 n+ n+ n+ n+ 2 2 2 2 ∀k ∈{1, ... ,p}, k k k ⎨ If g (U )  0, 0  r ⊥ v  0 n+1 3 3 n+ n+ 2 2 Else r = 0 n+ With L = L(U ) v 3 = L U 3 n+1 n+1 n+1 n+ n+ 2 2 On Fig. 24, we show the initial, final and an intermediate configurations. Remark 5 Multiple impacts can occur in the same time-step, and for several nodes. But the Delassus operator H is here diagonal as explained in Remark 4. In fact the nodal contact condition is simply expressed with the sign of nodal position. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 29 of 31 Termination criteria To end the simulation, i.e. when a static solution is obtained, a termination criteria is required. We do not rely on a sufficiently small nodal velocity since it could depend on the level of viscous damping. We therefore prefer to compare the vertical inertial impulse k k k −μhM U · y to the contact impulse r . When the ratio is sufficiently 1 3 lump n+ n+ 2 2 k k small, the simulation can be stopped and the static configuration is obtained. Figure 25 shows the evolution of these quantities over time. The discrete arch problem illustrates the mass scaling feature of explicit schemes in a non-linear problem with impact. And we propose a termination criteria based on impact reaction. Concluding remarks These five test cases form a benchmark for explicit schemes dedicated to impact dynam- ics. Each case focuses on one critical property: impact behaviour and Zeno’s paradox for bouncing ball, non-linear behaviour with a damping term for Van der Pol oscillator, con- servation of angular momentum for rotating spring, spurious high frequencies behaviour with finite elements discretization for impacting bar, and mass scaling ability for discrete arch. These test cases are light and easy to implement, forming a benchmark well suited to development phase. A missing issue is the solving of contact problem for non-diagonal Delassus operator. A problem with non-conforming meshes should be added in order to complete this benchmark. With this benchmark, we find that the discrete velocity formulation of HSM conditions is more suited to non-smooth impact dynamics than the displacement formulation. The CD-Lagrange scheme uses this formulation, being explicit and symplectic. It is therefore well-suited to non-linear impact dynamics. Contact in FE problems forces to consider a dissipative form of HSM conditions, and causes spurious oscillations on velocity for both Moreau–Jean and CD-Lagrange schemes. For spurious oscillations, a dissipative scheme could damp them. Efficient explicit dissi- pative schemes exist [34,35], but no one for non-smooth dynamic. Such a scheme would be an improvement in this framework. An other improvement would be an discrete for- mulation for impact FE problems, that would be energy conservative as the implicit ones [20,21] and suitable to explicit schemes. Abbreviations CD: central difference; FE: finite elements; CAA: constant average acceleration; NSCD: non-smooth contact dynamics; HSM: Hertz–Signorini–Moreau; LCP: linear complementary problem. Authors’ contributions JDS, DD and AG design the benchmark cases. All authors contribute to write the article. All authors read and approved the final manuscript. Author details Univ Lyon, INSA Lyon, LaMCoS, CNRS UMR 5259, Bât. Sophie Germain-27bis avenue Jean Capelle, 69621 Villeurbanne CEDEX, France, Centre de technologie de Ladoux-Manufacture française de pneumatiques Michelin, 23 place des Carmes Deschaux, 63040 Clermont-Ferrand, CEDEX 9, France. Acknowledgements Not applicable. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 30 of 31 Competing interests The authors declare that they have no competing interests. Availability of data and materials Not applicable. Funding We gratefully acknowledge the French National Association for Research and Technology (ANRT, CIFRE grant number 2017/1555). This work was supported by the Manufacture Française de Pneumatiques Michelin. Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Received: 26 October 2018 Accepted: 13 February 2019 References 1. Newmark NM. A method of computation for structural dynamics. J Eng Mech Div. 1959;85(7):67–94. 2. Hilber HM, Hughes TJ, Taylor RL. Improved numerical dissipation for time integration algorithms in structural dynamics. Earthq Eng Struct Dyn. 1977;5(3):283–92. 3. Chung J, Hulbert GM. A time integration algorithm for structural dynamics with improved numerical dissipation: the generalized-α method. J Appl Mech. 1993;60(2):371–5. 4. Marsden JE, West M. Discrete mechanics and variational integrators. Acta Num. 2001;2001(10):357–514. 5. Simo JC, Tarnow N, Wong KK. Exact energy-momentum conserving algorithms and symplectic schemes for nonlinear dynamics. Comput Methods Appl Mech Eng. 1992;100:63–116. 6. Wriggers P. Computational contact mechanics. 2nd ed. Berlin: Springer; 2006. 7. Laursen TA. Computational contact and impact mechanics: fundamentals of modeling interfacial phenomena in nonlinear finite element analysis. 1st ed. Berlin: Springer; 2002. 8. Acary V. Higher order event capturing time-stepping schemes for nonsmooth multibody systems with unilateral constraints and impacts. Appl Num Math. 2012;62(10):1259–75. 9. Cirak F, West M. Decomposition contact response (DCR) for explicit finite element dynamics. Int J Num Methods Eng. 2005;64(8):1078–110. 10. Doyen D, Ern A, Piperno S. Time-integration schemes for the finite element dynamic signorini problem. SIAM J Sci Comput. 2011;33:223–49. 11. Krause R, Walloth M. Presentation and comparison of selected algorithms for dynamic contact based on the Newmark scheme. Appl Num Math. 2012;62(10):1393–410. 12. Laursen TA, Chawla V. Design of energy conserving algorithms for frictionless dynamic contact problems. Int J Num Methods Eng. 1997;40(5):863–86. 13. Laursen TA, Love GR. Improved implicit integrators for transient impact problems–geometric admissibility within the conserving framework. Int J Num Methods Eng. 2001;53(2):245–74. 14. Simo JC, Tarnow N. The discrete energy-momentum method. Conserving algorithms for nonlinear elastodynamics. ZAMP. 1992;43(5):757–92. 15. Moreau JJ. Numerical aspects of the sweeping process. Comput Methods Appl Mech Eng. 1999;177(3–4):329–49. 16. Jean M. The non-smooth contact dynamics method. Comput Methods Appl Mech Eng. 1999;177(3–4):235–57. 17. Acary V. Energy conservation and dissipation properties of time-integration methods for nonsmooth elastodynamics with contact. ZAMM. 2016;96(5):585–603. 18. Chen Qz, Acary V, Virlez G, Brüls O. A Newmark-type integrator for flexible systems considering nonsmooth unilateral constraints. In: Eberhard P, eds. IMSD 2012—2nd joint international conference on multibody system dynamics. Stuttgart, Germany. 2012. https://hal.inria.fr/hal-00681252. 19. Chen QZ, Acary V, Virlez G, Brüls O. A nonsmooth generalized- α scheme for flexible multibody systems with unilateral constraints. Int J Num Methods Eng. 2013;96(8):487–511. 20. Khenous HB, Laborde P, Renard Y. Mass redistribution method for finite element contact problems in elastodynamics. Eur J Mech. 2008;27(5):918–32. 21. Hauret P. Mixed interpretation and extensions of the equivalent mass matrix approach for elastodynamics with contact. Comput Methods Appl Mech Eng. 2010;199(45–48):2941–57. 22. Carpenter NJ, Taylor RL, Katona MG. Lagrange constraints for transient finite element surface contact. Int J Num Methods Eng. 1991;32:103–28. 23. Paoli L, Schatzman M. A numerical scheme for impact problems I: the one-dimensional case. SIAM J Num Anal. 2002;40(2):702–33. 24. Paoli L, Schatzman M. A numerical scheme for impact problems II: the multidimensional case. SIAM J Num Anal. 2002;40(2):734–68. 25. Fekak FE, Brun M, Gravouil A, Depale B. A new heterogeneous asynchronous explicit–implicit time integrator for nonsmooth dynamics. Comput Mech. 2017;60:1–21. 26. Chouly F, Renard Y. Explicit Verlet time-integration for a Nitsche-based approximation of elastodynamic contact problems. 2018. https://hal.archives-ouvertes.fr/hal-01814774. 27. Casadei F, Larcher M, Valsamos G, Langrand B. Pinball-based contact-impact model with parabolic elements in EUROPLEXUS. Seville: Joint Research Center; 2014. 28. Curnier A. Unilateral contact. In: Wriggers P, Panagiotopoulos P, editors. New developments in contact problems. Vienna: Springer; 1999. p. 1–54. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 31 of 31 29. Belytschko T, Liu WK, Moran B, Elkhodary KI. Nonlinear finite elements for continua and structures. 2nd ed. Chichester: Wiley; 2014. 30. Moreau JJ. Unilateral contact and dry friction in finite freedom dynamics., Nonsmooth mechanics and applicationsVienna: Springer; 1988. p. 1–82. 31. Acary V. Projected event-capturing time-stepping schemes for nonsmooth mechanical systems with unilateral contact and Coulomb’s friction. Comput Methods Appl Mech Eng. 2013;256:224–50. 32. Wu SR. Lumped mass matrix in explicit finite element method for transient dynamics of elasticity. Comput Methods Appl Mech Eng. 2006;195(44–47):5983–94. 33. Cottle RW, Pang JS, Stone RE. The linear complementarity problem. Boston: Academic Press. Computer Science and Scientific Computing; 1992. 34. Hulbert GM, Chung J. Explicit time integration algorithms for structural dynamics with optimal numerical dissipation. Comput Methods Appl Mech Eng. 1996;137(2):175–88. 35. Noh G, Bathe KJ. An explicit time integration scheme for the analysis of wave propagations. Comput Struct. 2013;129:178–93. 36. Li X, Wiberg NE. Implementation and adaptivity of a space-time finite element method for structural dynamics. Comput Methods Appl Mech Eng. 1998;156(1–4):211–29. 37. Mamouri S, Mourid E, Ibrahimbegovic A. Study of geometric non-linear instability of 2D frame structures. Eur J Comput Mech. 2015;24(6):256–78. 38. Chhang S, Battini JM, Hjiaj M. Energy-momentum method for co-rotational plane beams: a comparative study of shear flexible formulations. Finite Elem Anal Design. 2017;134:41–54. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png "Advanced Modeling and Simulation in Engineering Sciences" Springer Journals

Benchmark cases for robust explicit time integrators in non-smooth transient dynamics

Download PDF
31 pages

Loading next page...
 
/lp/springer-journals/benchmark-cases-for-robust-explicit-time-integrators-in-non-smooth-tB46qkHFE0

References (0)

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Springer Journals
Copyright
Copyright © The Author(s) 2019
eISSN
2213-7467
DOI
10.1186/s40323-019-0126-y
Publisher site
See Article on Publisher Site

Abstract

jean.di-stasio@insa-lyon.fr Univ Lyon, INSA Lyon, LaMCoS, This article introduces benchmark cases for time integrators devoted to non-smooth CNRS UMR 5259, Bât. Sophie impact dynamics. It focuses on numerical properties of explicit integrators. Each case Germain-27bis avenue Jean Capelle, 69621 Villeurbanne tests one necessary numerical property in computational impact dynamics: energy CEDEX, France behaviour at impact, angular momentum conservation, non-linear behaviour. The Full list of author information is cases are easy to implement and analyse, providing a benchmark well-suited to first available at the end of the article numerical studies. We rewrite explicit schemes for non-smooth impact dynamics with unified notations, and analyse them with the benchmark cases. Keywords: Structural transient dynamics, Non-smooth dynamics, Explicit time integrators, Symplectic schemes, Impact dynamics Mathematics Subject Classification: Primary 65P10, 37M15, 70F40; Secondary 58J45, 37M05, 70F25 Introduction Direct time-integration schemes are a main issue in structural transient dynamics. They have been developed and improved to meet some crucial numerical properties. The first ones are stability and accuracy in linear regime, where Newmark’s schemes are the most used [1]. They were improved by adding a controlled high frequency numerical dissipa- tion to get α-generalized schemes [2,3]. But these schemes do not keep their properties for non-linear problems. Symplectic (energy-momentum conserving) or variational time integrators have been then developed to meet non-linear issues: energy-decaying prop- erty, overshoot or numerical integration of internal forces. For variational integrators, a review can be found in [4]. For symplectic schemes, a pioneer work is provided by Simo and Tarnow in [5]. They present a symplectic scheme for non-linear dynamic, and show the Central Difference Method (CD method) is the only symplectic scheme of Newmark’s family. An other crucial issue in computational mechanic is to enforce contact constraints. The most common ways are penalty methods, augmented Lagrangian, Lagrange multipliers and Nitsche methods [6,7]. Penalty methods are widely used in finite element simulations. Relating the contact reaction to penetration, they brings stability problems especially for explicit schemes. On the contrary, Lagrange multiplier methods enforce exactly the con- © The Author(s) 2019. 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().,–: volV Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 2 of 31 tact constraints but induce an implicit contact problem. Contact problems are divided into smooth and non-smooth ones. A smooth contact problem, like persistent contact, keeps the regularity of velocities, forces and accelerations. For non-smooth contact problems, impacts imply velocity jumps which make forces and accelerations locally non-defined. In this paper, we focus only on impact dynamics. According to [8,9], two approaches coexist to deal with impact in a discrete time: ‘event-driven’ and ‘time-stepping’ schemes. Event- driven schemes precisely locate impact times. They are suited for small system with few impact times, but have no convergence proof in case of infinite number of impacts in a finite time. Time-stepping schemes do not require the location of non-smooth events, and have convergence proof even for infinite number of impacts. The reader will find more information about general computational contact dynamics in [6,7], and scheme reviews in [10,11]. We just evoke here some standard schemes in impact dynamics. The first one is Laursen, Chawla and Love’s algorithm [12,13]. It follows the pioneer work of Simo, Tarnow and Wong on symplectic schemes [5,14] by extending its symplectic properties to contact part. More recently, Moreau–Jean’s scheme [15,16] is also energy conservative for contact [17]. It moves the imposition of contact constraints from position to velocity level. This brings new numerical properties well-suited to non smooth impact dynamics. Based on a θ-method [16], Moreau–Jean’s scheme is only first order. Acary presents an higher order Moreau–Jean scheme in [8] by adjusting the time-step with impact time. And finally Chen et al. manage to adapt extended Newmark’s schemes (α- generalized) in Moreau’s framework in [18,19]. In [20,21] an other energy conservative approach is described. The authors redistribute the mass on the contact boundary in order to get a conservative contact. This approach stays valid whatever the scheme, provided it is implicit. In an explicit framework the available schemes are less numerous. Carpenter et al. in [22] adapt the Central Difference method for contact with Lagrange multipliers. The contact constraints are imposed at position level. Paoli and Schatzman present an other adaptation of CD method in [23,24] close to Carpenter’s one. They modify the writing of contact conditions in order to integrate an impact law. Then Cirak and West [9] develop an explicit integrator in a variational framework with Lagrange multiplier. And finally Fekak et al. [25] gather Moreau’s contact formulation and Cirak and West approach in the CD-Lagrange scheme, in order to make a bridge between variational integrators and Moreau’s formalism. Based on an asynchronous version of the central difference method, the CD-Lagrange scheme keeps the symplectic properties suitable to non-smooth impact dynamics. Recently, in [26], an other interesting explicit approach is provided using Nitsche’s forms for contact. We have to mention also the work of Casadei on implementations of explicit time integrators in finite elements problems, see e.g. [27]. The goal of this article is to present benchmark cases in impact dynamics mainly designed for explicit schemes. It is divided into two parts: the first one presents the theoretical framework and some schemes in unified notations, the second one presents the test cases intended to provide a benchmark. We try to focus on one main property in each test case: impact behavior, angular momentum conservation, spurious high frequen- cies in finite elements problems, treatment of a non-linear damping term, or mass-scaling ability. The presented test cases are suitable for implicit schemes, even if the benchmark is not designed for. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 3 of 31 Time and space discretizations of impact problems Discrete model and notations We present here a frictionless contact-impact formulation between a deformable body and a rigid obstacle. This framework is adequate to spotlight the main ideas of impact dynamics. Switching to frictional contact or deformable-deformable impact does not bring new algorithmic difficulties (related to the impact law), and will be detailed in specific remarks. The problem is depicted in Fig. 1. We consider a deformable body  impacting a rigid boundary  which represents the obstacle. The boundary of  is separated into three distinct regions:  for Dirichlet’s boundary conditions,  for Neumann’s, and  which u F c gathers all potential contact points. x(t), u(t)and u˙(t) correspond respectively to position, displacement and velocity.  is made with an elastic (potentially non-linear) material obeying a stress-strain law σ = f (u), with σ the Cauchy stress field. u is a prescribed displacement on  ,and F a prescribed d u d load on  . The external outer normal to  is n . As a starting point, the contact constraints are those of a unilateral contact law [28,29]: ∀x ∈  ,g = (x − x) · n 0(1) c N M λ =−n · σ(x) · n 0(2) g (x)λ =0(3) N N x is the closest point of x on  ,and n is the outer-pointing normal of  at x . M R R M When contact occurs, n =−n . We separate n and n in order to define g and λ even N N for free-of-contact case, and λ is defined along −n to use a complementary form (see below). By impenetrability condition (1), solids can not penetrate each others. The intensility condition (2) implies that the contact stress is only compressive (i.e. no adhesion occurs). The complementary condition (3) reduces contact states to only two cases: active contact (g = 0and λ > 0), or non-contact (g > 0and λ = 0). (3) implies also that λ does N N N N N not produce any mechanical work. Although usually referred as Signorini’s conditions, they were stated by Hertz, Signorini and Moreau as reported in [28]. We thus call them HSM conditions. Fig. 1 Problem configuration Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 4 of 31 HSM conditions (1), (2)and (3) can be rewritten in a single equation by a complementary formulation: 0  g ⊥ λ 0(4) N N Remark 1 The HSM conditions rule only the normal components on  .Incaseoffric- tional contact (4) stays valid, but a friction law is added for tangential components [6,7]. We consider e.g. a Coulomb law with a friction coefficient μ: 0  (μλ −λ ) ⊥v  0with λ =−αv , α ∈ R (5) N T T T T The tangential velocity is defined by v = u˙ − u˙ · n, in the orthogonal plane to n. As shown by Moreau in [15] the stress-displacement formulation (4) is equivalent to an impulse-velocity one: If g = 0, 0  r ⊥ v  0 N N N Else,r =0(6) With v = u˙ · n the normal part of velocity, and r the impulse associated to λ ( r = N N N N dλ ). The impulse-velocity formulation is a conditional complementary formulation. Such a formulation is well suited to an algorithmic framework. The previous formulation (6) corresponds to a ‘plastic’ impact. For other contact behaviours, we introduce Newton’s impact law: + − v˜ (t ) = v (t ) + e v (t ) =0(7) N i N c N i i t is an impact time, e ∈ [0, 1] the restitution coefficient, and v˜ the formal velocity. i c N This law (7) controls the given back energy at impact. With e = 1 no energy is absorbed (‘elastic’ impact), with e = 0 the impact is dissipative (and corresponds to ‘plastic’ case). The impulse-velocity formulation (6) is naturally gathered with Newton’s impact law (7). And the final formulation for HSM conditions and Newton’s impact law is, at each point of  : If g = 0, 0  r ⊥ v˜  0 N N N Else,r =0(8) Finally one summarizes the strong form as follows: d˙u div(σ) = ρ in dt σ · n = F on d F σ · n =−λ n on N  c u = u on d u u(0) = u , u˙(0) = u˙ in 0 0 σ = f (u)in  (Stress–strain law) HSM conditions + Impact law on  (Normal contact law) (9) c Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 5 of 31 This problem is discretized in space by the finite elements method based on a weak form of (9). Several approaches exist for formulating the HSM conditions under a weak form. The common methods are Lagrange multipliers, penalty method, augmented Lagrangian, or recently Nitsche methods. The reader will find more details in [6,7]. We focus only on Lagrange multipliers methods, because they enforce exactly the HSM conditions. After a space discretization, nodes are numbered by an index k ∈{1, ... ,N } nodes with N the number of nodes. We note the vector of nodal displacements U = nodes k k k u ,k ∈{1, ... ,N } ,with u the displacement of node k. More generally · denotes nodes ˙ ¨ theconsideredfieldatnode k. U and U are the time derivatives of U. X is the vector of nodal positions. It depends on displacement: X = X + U with X the vector of initial 0 0 int nodal positions. M is the mass matrix, F the vector corresponding to material response, ext and F the vector of external loads. k k The nodes of  are specified by indexes {1, ... ,p}. We note respectively n and g ,the outer-pointing normal of  and normal gap associated to node k. We build a projection k t k operator L on  : L = (n ) , ∀k ∈{1, ... ,p} , and we note g = g , ∀k ∈{1, ... ,p} . C N As L and g depending on the displacement, we note L(U)and g (U). We note respec- N N tively λ and r, the vectors of normal nodal contact forces and impulses. In the following in order to simplify notations, we omit the subscript being the contact frictionless. In [9] the authors start from the discrete Lagrangian of an impact dynamics problem. They obtain the following semi-discrete equations by a variationally consistent approach. Over the time interval [t ,t ] only one impact time t is considered for simplicity, but 0 i several nodes can impact  at t . And the generalisation at several impact times over C i [t ,t ]iseasy(see[8,9]). − + ext int MU(t) = F (t) − F (t) ∀t ∈ [t ,t [ ∪ ]t ,t](10) 0 f i i i t MU(t) = L (t )r(t ) (11) − i i t i −1 ˙ ˙ MU(t) M MU(t) = 0 (12) Equation (10) corresponds to the smooth dynamics equilibrium, completed by non- smooth dynamics Eq. (11). Equation (12) is linked to the kinetic energy balance during impact. Following Moreau, Eqs. (10)and (11) can be gathered in one Eq. [15,16,30]. This is developed and used in [8,18,19,25,31]. The following measures on velocity are defined: Udt, ∀t = t + − ˙ ˙ ˙ ˙ ˙ ˙ ˙ dU = dU + dU dU = dU = U(t ) − U(t ) s I s I 0,t = t ˙ ˙ dU deals with the smooth part of velocity, dU with velocity jumps. From (10), and (11): s I ext int + − t ¨ ˙ ˙ MUdt = F (t) − F (t) dt M U(t ) − U(t ) = L (t )dr(t ) i i i i dt is the standard Lebesgue measure for time, and: − + 0 ∀t ∈ [t ,t [ ∪ ]t ,t ] 0 f i i dr(t) = r(t ) i Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 6 of 31 The smooth equilibrium (10) and impact part (11) can be joined, and augmented with HSM conditions (8) to get the non-smooth contact dynamics equation (NSCD equation): ext int t MdU = F − F dt + L dr ∀k ∈{1, ... ,p}, k k k If g = 0, 0  r ⊥ v˜  0 (13) k k Else g > 0,r = 0 The NSCD Eq. (13) does not contain the Eq. (12) on kinetic energy conservation during impact. But this energy balance is satisfied thanks to HSM conditions with Newton’s impact law (8) for e = 1. Time integration schemes for impact In the following, we rewrite schemes used in the next benchmarks with unified nota- tions. We focus on Carpenter’s, Paoli–Schatzman’s and CD-Lagrange for explicit schemes with Lagrange multipliers. And we choose Moreau–Jean’s scheme, although implicit, as a reference to non-smooth dynamics. All are time-stepping schemes. As explained in Remark 2, only time-stepping schemes are robust in a finite elements framework with multiple impacts. Carpenter’s explicit scheme In [22] Carpenter presents an explicit scheme with contact treated by Lagrange multi- plier: the forward increment Lagrange multiplier method. The time integration scheme is a multi-step central difference method, the HSM conditions are considered in a dis- placement formulation, and contact loads added directly to equilibrium equation. Contact forces at t are computed in order to assure HSM conditions at t . This offset is necessary n n+1 to get an explicit scheme compatible with Lagrange multipliers. The discrete equations are: ext int t M U = F − F + L λ lump n n n n n+1 k k ∀k ∈{1, ... ,p}, 0  g (U ) ⊥ λ  0 n+1 N n + Multi-step central difference method: U = (U − U ) n n+1 n−1 2h U = (U − 2U + U ) n 2 n+1 n n−1 We note h the time-step. The mass matrix is lumped [29,32] to get an explicit scheme. L is defined below. n+1 The final scheme can be summarized as follows: ∗ 2 −1 ext int U = h M F − F + 2U − U (14) n n−1 n+1 n n lump ∗ ∗ L = L(U ), g = g (U ) n+1 N,n+1 N n+1 n+1 Compute λ solution of following LCP: (15) 2 −1 t h L M L λ =− g n+1 n N,n+1 n+1 lump (16) ⎩ k k ∀k ∈{1, ... ,p}, 0  g ⊥ λ  0 N,n+1 n Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 7 of 31 c 2 −1 t U = h M L λ (17) n+1 n+1 lump ∗ c U = U + U (18) n+1 n+1 n+1 The displacement at t is computed by an predictor-corrector approach. U is n+1 n+1 firstly updated without contact contribution. It is used to predict the gap at t and n+1 c ∗ construct L . Then U is computed to correct negative gap and added to U n+1 n+1 n+1 to get total displacement U . This one satisfies exactly the HSM conditions: ∀k ∈ n+1 {1, ... ,p},g (U ) = 0. n+1 Here it can be noticed that Eq. (16) stay implicit, and form a Linear Complemen- tary Problem (LCP). The Delassus or Steklov–Poincaré operator defined by H = −1 L M L is generally non-diagonal. In [22] an effective way is proposed to solve n+1 lump n+1 this LCP. If H is diagonal, the problem is then fully explicit. Paoli–Schatzman’s scheme Paoli and Schatzman in [23,24] present a scheme close from Carpenter’s but with modified HSM conditions in order to integrate Newton’s impact law. The following version of Paoli– Schatzman’s scheme is slightly modified for velocity calculation and proposed by Acary in [31]. We rewrite it in a form close from Carpenter’s scheme. The discrete HSM conditions is modified into: k k ∀k ∈{1, ... ,p}, 0  g (U + e U ) ⊥ λ  0 (19) n+1 c n−1 N n and finally we get the following scheme: ∗ 2 −1 ext int U = h M F − F + 2U − U (20) n n−1 n+1 n n lump ∗ ∗ L = L(U ), g = g (U + e U ) n+1 N,n+1 N c n−1 n+1 n+1 Compute λ solution of following LCP: (21) 2 −1 t h L M L λ =−g n+1 n N,n+1 n+1 lump (22) ⎩ k k ∀k ∈{1, ... ,p}, 0  g ⊥ λ  0 N,n+1 n c 2 −1 t U = h M L λ (23) n+1 n+1 lump ∗ c U = U + U (24) n+1 n+1 n+1 Carpenter’s and Paoli–Schatzman’s schemes differ only in the gap calculation. And Car- penter’s scheme is a particular case of Paoli–Schatzman’s with e = 0. The modified HSM conditions (19) impose Newton’s impact law over three time-steps. If the node k stays in contact during three time-steps meaning that g (U + e U ) = n+2 c n k k g (U + e U ) = g (U + e U ) = 0, we get: n+1 c n−1 n c n−2 N N k k g (U + e U ) − g (U + e U ) = 0 n c n−2 n+2 c n N N k k k k k k ⇔ (u − u ) · n + e (u − u ) · n = 0 n+2 n n n−2 k k ⇔ v + e v = 0 (25) n+1 n−1 With n the outer-pointing normal of  associated to node k over the three time-steps. A persistent contact over three time-steps is a strong assumption not always met in practice. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 8 of 31 CD-Lagrange scheme CD-Lagrange scheme [25] is the only explicit one built on the NSCD Eq. (13). This equa- tion is integrated between t 1 and t 3 to obtain the discrete equilibrium equation on n+ n+ 2 2 velocity. The estimation of time integrals is done by a midpoint rule, and treatment of impact done at the end of time-step. A CD method links velocities and displacements. The discrete equations are: ext int t ˙ ˙ M U − U = h F − F + L r (26) 3 1 3 lump n+1 n+1 n+1 n+ n+ n+ 2 2 2 ∀k ∈{1, ... ,p}, k k k If g (U )  0, 0  r ⊥ v˜  0 n+1 3 3 n+ n+ 2 2 ⎩ k Else r = 0 n+ With: U = U + hU 1 L = L(U ) n+1 n n+1 n+1 n+ (27) ˙ ˙ ˙ v = L U v˜ = L (U + e U ) 3 3 3 3 1 n+1 n+1 c n+ n+ n+ n+ n+ 2 2 2 2 2 −1 By multiplying the discrete equilibrium (26)by L M , we obtain the following n+1 lump equation for contact: −1 t −1 ext int L M L r = v − L U + hM F − F (28) 3 3 1 n+1 n+1 n+1 n+1 n+1 lump n+ n+ n+ lump 2 2 2 −1 with H = L M L , the Delassus operator. n+1 n+1 n+1 lump The final algorithm can be summarized as follows: U = U + hU 1 (29) n+1 n n+ L = L(U ), g = g (U)(30) n+1 n+1 N,n+1 N n+1 Compute r 3 solution of: n+ ∀k ∈{1, ... ,p}, k k If g  0, r = 0 N,n+1 n+ ⎨ H r 3 = v 3 ⎪ n+1 n+ n+ 2 2 (31) ⎪ k −1 ext int − L U 1 + hM (F − F ) Else g < 0, n+1 N,n+1 n+ lump n+1 n+1 ⎪ k k 0  r ⊥ v˜  0 3 3 n+ n+ 2 2 −1 ext int −1 t ˙ ˙ U 3 = U 1 + hM F − F + M L r 3 (32) n+1 n+1 n+1 n+ n+ lump lump n+ 2 2 2 A LCP solver is necessary to solve the contact problem (31)unless H is diagonal. This problem is similar to that of Carpenter’s scheme, and thus the solver of [22] can be used. The LCP theory and other resolution algorithms are presented in [33]. If H is diagonal, accordingto[25], the previous algorithm can be rewrite in a fully explicit form: see algorithm (1). In [25], Fekak et al. write this scheme differently in order to link it with Newmark’s CD method and the approach of Chen [18,19]. This other writing is also more suitable to Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 9 of 31 Algorithm 1 CD-Lagrange—Frictionless contact U ← U + hU n+1 n n+ L ← L (U ) n+1 N n+1 r 3 ← 0 N,n+ for k ∈{1, ... ,p} do if g (U )  0 then n+1 k k v ←−e v 3 1 n+ N,n+ 2 2 k k −1 k k −1 ext int r ← (H ) v − L U 1 + hM (F − F ) 3 3 n+1 n+1 n+1 n+1 n+ lump n+ n+ 2 2 k k r ← max(0,r ) 3 3 n+ n+ 2 2 end if end for −1 −1 ext int t ˙ ˙ U ← U + hM F − F + M L r 3 1 3 n+ n+ n+1 n+1 n+1 n+ lump lump 2 2 2 discrete energy balance. For the smooth part, it is equivalent to a CD method keeping its properties. The scheme is therefore conservative for a discrete modified energy [25], and symplectic. CD-Lagrange is a fully explicit scheme for the smooth part if the internal stresses do not depend on velocity. In this case, Belytschko [29] proposes velocities at t to compute n+ explicitly the internal stresses. However the contact problem stays generally implicit like in Carpenter’s and Paoli–Schatzman’s because of non-diagonal Delassus operator H. Moreau–Jean scheme From the NSCD framework we compare the explicit scheme CD-Lagrange to an implicit one, Moreau–Jean’s scheme. It is introduced in [15,16]. −1 ext int −1 t ⎪ ˙ ˙ ⎪ U = U + hM F − F + M L r n+1 n n+1 n+θ n+θ n+1 (33) With F = θF + (1 − θ)F n+θ n+1 n ˙ ˙ U = U + h θU + (1 − θ)U n+1 n n+1 n −1 t L M L r = ⎪ n+1 n+1 n+1 −1 ext int ⎪ v −L U + hM F − F n+1 n+1 n ⎪ n+1 n+1 ∀k ∈{1, ... ,p}, ⎪ ⎧ ⎪ k k k ⎪ ⎨ If g (U )  0, 0  r ⊥ v˜  0 N n+1 n+1 n+ ⎩ k Else r = 0 n+1 With: U = U + hU L = L(U ) 1 1 n n n+1 n+ n+ 2 2 (34) v˜ = L (v + e v ) v = L U n+1 n+1 n+1 c n n+1 n+1 n+1 This scheme is obtained by a time integration of NSCD Eq. (13) between t and t and n n+1 the θ-method [16]. The contact problem (34) is build with a explicit predicted position U . It ensures discrete energy balance for θ = 1/2[17]. And in this case, it is equivalent n+ to Newmark’s or Crank–Nicholson constant average acceleration method (CAA method) for smooth part. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 10 of 31 Remark 2 Time integration schemes for impact split up between event-driven and time- stepping schemes. Event driven schemes detect impact times and compute the solu- tion between them. They keep the computed solution smooth avoiding impact velocity jumps. Impact conditions become initial conditions when the computation restarts after an impact. Time-stepping schemes do not adapt their time-step dealing directly with impact velocity jumps. They consider impact contribution at the end of time-step allow- ing multiple impacts in one. According to [8], time-stepping schemes are more efficient than event-driven ones in non-smooth dynamics. In case of infinite number of impacts in a finite time, they have a convergence proof unlike event-driven ones. They do not require a detection of impact events, and stay efficient in case of multiple impacts in one time-step (no refinement of time-step). Moreover, in time-stepping schemes, a derivation of con- tact constraints is not required like in event-driven ones for initial conditions after impact. The discrete HSM conditions are written in term of the main unknowns: displacement for Carpenter’s and Paoli–Schatzman’s, velocity for Moreau–Jean’s and CD-Lagrange. This brings stability to the system, and allows to prove convergence. Remark 3 Only the velocity formulation of HSM conditions integrates a discrete Newton impact law. But, as highlighted above, this law is necessary for a energy consistent impact formulation. Therefore in presented schemes, only these using the velocity formulation of HSM conditions can ensure the discrete energy balance at impact. This form combined with a time-stepping approach requires to authorize a residual penetration. The displace- ment constraint has to be relaxed in order to impose the velocity form of HSM conditions only at the end of time-step. The residual penetration decreases with time-step and stays small for usual ones. −1 Remark 4 The above-mentioned explicit schemes are fully explicit only if H = LM L lump is diagonal. As the mass matrix is lumped, the diagonal feature depends only on L. This operator links global quantities to local contact ones. If the nodal contact condition depends only on its own quantities, H is diagonal. But if the nodal contact condition links several nodes, it is not. For example, in case of rigid-deformable contact, H is diag- onal when the contact boundary is analytically described. The contact condition is easily expressed for each node with its displacement. In case of deformable-deformable contact, both sides of contact have unknown displacement. H is then diagonal only for node-to- node contact, i.e. for conforming meshes. Non-conforming meshes lead to a non-diagonal Delassus operator (see [22]). Benchmark cases and comparison results Bouncing ball: one DOF—linear system with rigid impact This test case focuses on impact. A rigid ball falls and impacts the ground, an analytic boundary. This simple problem is quite common in literature about non-smooth impact dynamics [18,31]. Impact times are analytically known, which facilitates result analysis. When contact occurs, the energy conservation depends on restitution coefficient. If e = 1 the ball bounces without any dissipation to its initial height. If e < 1 the contact c c absorbs energy at each impact, and the time between two impacts decreases. The end of movement is thus an infinite accumulation of bounces in a finite time, sometimes called ‘Zeno’s paradox’. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 11 of 31 If event-driven schemes seem compelling by keeping a high regularity, the simple case of bouncing ball eliminates them. They are obviously not able to represent Zeno’s para- dox: an infinite accumulation of impacts in a finite time. On the contrary time-stepping schemes deal efficiently with this paradox. The same problem appears in a finite elements framework, when multiple nodes impact nearly at same time. An adaptive time-step leads to time-consuming simulations. The problem is depicted in Fig. 2, and corresponds to equation: mdz˙ =− mgdt + L dr We set problem parameters and initial values at: −2 −1 m = 1kg g =−9.81 m s z˙(0) = 0m s z(0) = z = 1m −2 All simulations use the same time-step: h = 10 s. We use a large time-step to spotlight the scheme defaults. Indeed there are no stability issues in this problem. The analytical resolution (with a null initial velocity) gives the following expression for impact times: ⎪ 2z 1 − e ⎪ i c ∀n  1and e = 1,t = 2 − 1 ⎪ c g 1 − e 2z ⎪ 0 ⎩ ∀n  1and e = 1,t = (2n − 1) n indicates the index of impact times, t is the first impact time. By tending n towards infinity for e < 1, the stopping time is: 2z 1 + e 0 c t = final g 1 − e We test firstly the schemes based on HSM conditions in displacement formulation. Figure 3 shows the results obtained with the explicit and implicit Carpenter’s schemes described in [22]. Being designed with HSM condition on position, the shock law is restricted to e = 0 for these schemes. The explicit scheme follows the analytic solu- tion, but the implicit one is unstable at impact. Chen in [18] finds similar results for others implicit Newmark’s schemes with a displacement formulation for HSM conditions. Fig- ure 4 focus on Paoli–Schatzman scheme results for e = 1. Sometimes the ball reaches a height higher than initial one, meaning that impact injects energy. Even if this behaviour decreases with time-step, Paoli–Schatzman is therefore not satisfying from an energy point of view like Carpenter’s scheme. We focus now on schemes based on HSM conditions in velocity formulation: Moreau– Jean’s and CD-Lagrange scheme. On Fig. 5 we plot position got for e = 1withthese two schemes. Despite penetration at impact the ball always reaches the same height: the energy at impact is conserved. Acary shows in [17] the energy conservation at impact for Moreau–Jean’s scheme with θ = 1/2. For CD-Lagrange, we demonstrate it by considering anode k which impacts in [t 1 ,t 3 ]. The contact is active only in this time interval. n+ n+ 2 2 k k k We have r = 0and r = r = 0. According to [25], the work of contact force at 3 1 5 n+ n+ n+ 2 2 2 node k is: Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 12 of 31 Fig. 2 Bouncing ball Fig. 3 Bouncing ball—position for Carpenter’s schemes—e = 0 k t [u − u ] n+1 n k k t k t k W + W = L r + L r 3 1 IC,n+1 IC,n+2 n+1 n+ n+ 2 h 2 2 k k t [u − u ] n+2 n+1 t k t k + L r + L r 5 3 n+2 n+1 n+ n+ 2 h 2 2 t t 1 1 k k k k = L u˙ r + L u˙ r n+1 1 3 n+1 3 3 n+ n+ n+ n+ 2 2 2 2 2 2 k k = (1 − e )v r c 1 3 n+ n+ 2 2 2 k k As v  0, r  0and 0  e  1, the contact work is always negative, and null for 1 3 c n+ n+ 2 2 e = 1. c Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 13 of 31 Fig. 4 Bouncing ball—position for Paoli–Schatzman scheme—e = 1 Fig. 5 Bouncing ball—position for Moreau–Jean and CD-Lagrange—e = 1 On Fig. 6, we plot position for e = 0.8. Moreau–Jean and CD-Lagrange schemes both pass Zeno’s paradox. On Fig. 7 the restitution coefficient is set to zero. The residual penetration is clearly visible, and with this time-step the residual penetration for CD- Lagrange is higher. But both schemes detect the impact at a different time: at t 1 for n+ 2 Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 14 of 31 Fig. 6 Bouncing ball—position for Moreau–Jean and CD-Lagrange—e = 0.8 Moreau–Jean’s scheme, at t for CD-Lagrange. The residual penetration for Moreau– n+1 Jean’s scheme is lower than that of CD-Lagrange only if the impact occurs before t . n+ The analytic solution eases convergence studies on this test case. We use the norm described in [8,25]. In [8] the author observed the same convergence order with this norm or Hausdorff norm. The norm is: f − f (t ) i i i=1 e = (35) f (t ) i=1 f (t ) is the analytic solution at time t and f the computed one. The times t are those of i i i i the solution computed with the largest time-step. We observe on Fig. 8 a numerical error of computer precision order for the phase before the first impact. For smooth part, both schemes are therefore second order. But they are only first order when an impact occurs, as visible on Fig. 9. Indeed these schemes keep the properties of the original one for smooth part (CD method for CD-Lagrange or CAA method for Moreau–Jean), but the contact part is only first order. In [8] these properties were demonstrated for Moreau–Jean’s scheme. This first problem evaluates the contact behaviour. Only schemes using a velocity for- mulation of HSM conditions have a energy consistent impact behaviour. This test case eliminates also directly event-driven schemes by its practical application of Zeno’s para- dox. In the following we only focus on CD-Lagrange and no more on Paoli–Schatzman’s scheme. Indeed it does not conserve exactly the discrete energy at impact. The CD- Lagrange scheme will be compared to Moreau–Jean’s scheme as a standard in non-smooth impact dynamics with HSM conditions in velocity formulation. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 15 of 31 Fig. 7 Bouncing ball—position for Moreau–Jean and CD-Lagrange—e = 0 Van der Pol oscillator: one DOF—Non-linear system with rigid impact The Van der Pol oscillator does not represent a mechanical situation. It is an zero degree of freedom oscillator with a non-linear damping term. This test case evaluates the non- linear behaviour of schemes, especially for long time simulations and explicit treatment of non-linear damping term. The Van der Pol oscillator tends to a limit cycle in phase space. Only energy conservative schemes can represent it especially for long time simulations. This problem requires also to treat explicitly a term which depends on velocity in internal stresses. A solution is to use the last known velocity, this modifies slightly the dynamic equilibrium but converges to the same solution [29]. The equation of Van der Pol oscillator is: 2 t d˙x − ξω 1 − x˙dt + w xdt + L dr = 0 (36) The two parameters ξ and ω set the behaviour of the system. ξ rules the non-linear term preponderance: for ξ ω the system tends to the linear oscillator. For following simulations we use as parameters: −1 −1 −3 ξ = 5 ω = 1s x = 1m x˙ = 1m s h = 10 s 0 0 0 The discretizations of non-smooth dynamic equilibrium (36) are respectively for CD- Lagrange and Moreau–Jean: n+1 2 t x˙ = x˙ + hξω 1 − x˙ − hω x + L r (37) 3 1 1 3 0 n+1 0 n+1 n+ n+ 2 n+ n+ 2 2 2 2 0 Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 16 of 31 Fig. 8 Bouncing ball—convergence order for position without impact Fig. 9 Bouncing ball—convergence order for position with impact n+θ 2 t x˙ − x˙ − hξω 1 − x˙ + hω x − L r = 0 (38) n+1 n 0 n+θ n+θ n+1 0 n+1 0 Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 17 of 31 Fig. 10 Van der Pol oscillator—position For CD-Lagrange equilibrium (37), the velocity in damping term is taken at t . This n+ modification makes the damping term explicit. The Moreau–Jean equilibrium (38)is solved by a Newton’s algorithm being non-linear. On Fig. 10, representing the position over 30 s, Moreau–Jean and CD-Lagrange schemes are close despite the non-linear damping term. It can be noticed that both schemes are robust at impact despite of high velocity jumps. Figure 11 shows the computed solutions in phase space at times t over 300 s (only a few points are drawn). The arrow represents the velocity jump at impact. The limit cycle is visible, and both schemes stay on it for more than forty cycles. For the Van der Pol oscillator, the CD-Lagrange scheme has results as good as Moreau–Jean with the same time-step with a smaller number of iterations (no Newton algorithm). −7 We compute a refined solution with a small time step h = 10 s for a convergence study. We use the norm (35) described previously. And we add a modified CD-Lagrange scheme for comparison purpose, with a damping term evaluate with x˙ : n+1 n+1 2 t x˙ 3 = x˙ 1 + hξω 1 − x˙ − hω x + L r 3 0 n+1 n+1 0 n+1 n+ n+ n+ 2 2 2 with x˙ = (˙x 3 + x˙ 1 ) n+1 n+ n+ 2 2 This scheme is implicit, we consider it just for comparison. In the following we call it ‘CD-Lagrange Implicit’. On Fig. 12 the convergence order is studied without impact. Moreau–Jean scheme (θ = 1/2) keeps the convergence order of Newmark’s CAA method. But the CD-Lagrange is only first order, whereas its implicit version finds back the second order. Taking velocity Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 18 of 31 Fig. 11 Van der Pol oscillator—phase space at t decreases therefore the convergence order. But if we consider a system with n+ impacts, this error does not matter because all schemes are first order as shown by Fig. 13. But the CD-Lagrange error stays larger than those of Moreau–Jean’s scheme or the implicit CD-Lagrange. This second test case evaluates the scheme in a non-linear framework with impact. It verifies the energy conservation for long time simulation by means of the limit cycle in phase space. And it investigates also the error induced by explicit treatment of damping term. Rotating spring: two DOF—angular momentum conservation with impact The rotating spring is a mass-spring system in rotation only subjected to the internal spring force. This system evaluates the scheme behaviour with large rotations. It tests particularly the conservation of angular momentum. This property is ensured by symplectic algorithms [5,14]asCDmethod. In order to add a frictional contact, we consider now the following discrete contact problem (written for CD-Lagrange scheme): −1 ext int H r = v − L U + hM F − F (39) 3 3 1 N,n+1 N,n+1 n+1 n+1 N,n+ N,n+ n+ lump 2 2 2 −1 ext int H r 3 = v 3 − L U 1 + hM F − F (40) T,n+1 T,n+1 T,n+ T,n+ n+ n+1 n+1 lump 2 2 2 ∀k ∈{1, ... ,p}, k k k If g (U )  0, 0  r ⊥ v˜  0 n+1 3 3 N,n+ N,n+ 2 2 (41) Else r = 0 N,n+ 2 Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 19 of 31 Fig. 12 Van der Pol oscillator—convergence order for position without impact Fig. 13 Van der Pol oscillator—convergence order for position with impact Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 20 of 31 k k + ⎪ r =−αv , α ∈ R 3 3 ⎪ T,n+ T,n+ ⎪ 2 2 k k k k If g (U )  0, 0  (μr −r ) ⊥v   0 n+1 3 3 3 (42) N,n+ T,n+ T,n+ ⎪ 2 2 2 Else r = 0 T,n+ With L a projection operator on the orthogonal plane to n, r and v the tangential T T T −1 components for impulse and velocity, and H = L M L the Delassus operator for T T T lump tangential contact problem. Equations (39)and (41) are the preceding ones for normal part, and (40)and (42)are those for tangential contact problem ruled by the Coulomb law. The algorithm below (2) describes the CD-Lagrange algorithm for a frictional contact, with a diagonal H. This algo- rithm is very close from the preceding one (1) with frictionless contact, which corresponds to the case μ = 0. It is fully explicit. Algorithm 2 CD-Lagrange—frictional contact U ← U + hU 1 n+1 n 2 n+ L ← L (U ) L ← L (U ) N,n+1 N n+1 T,n+1 T n+1 r 3 ← 0 r 3 ← 0 N,n+ T,n+ 2 2 for k ∈{1, ... ,p} do if g (U )  0 then n+1 k k v ←−e v v 3 ← 0 3 c 1 T,n+ N,n+ N,n+ 2 2 k k −1 k k −1 ext int r ← (H ) v − L U 1 + hM (F − F ) 3 3 N,n+1 N,n+1 n+ lump n+1 n+1 N,n+ N,n+ 2 2 2 k k k k −1 ext int −1 r ← (H ) v − L U 1 + hM (F − F ) 3 3 T,n+1 T,n+1 n+ lump n+1 n+1 T,n+ T,n+ 2 2 2 if r  0 then N,n+ k k r ← 0 r ← 0 3 3 N,n+ T,n+ 2 2 k k else if r  >μr then 3 3 T,n+ N,n+ 2 2 T,n+ k k r ←− r 3 3 T,n+ r  N,n+ 2 3 2 T,n+ end if end if end for −1 −1 ext int t t ˙ ˙ U 3 ← U 1 + hM F − F + M L r 3 + L r 3 n+ n+ lump n+1 n+1 lump N,n+1 N,n+ T,n+1 T,n+ 2 2 2 2 The system and notations are depicted in Fig. 14, and the equation is: md˙x =−k 1 − x · dt + L · dr with x = (x, y) (43) We use the following parameters: −2 −1 m = 1kg k = 10 kg s l = 1m x(0) = (0.8; 0) m x˙(0) = (1; 2) m s We add a concentric contact boundary. Its radius of 1.4 m is larger than relaxed spring −1 length. The time-step is taken to h = 10 s to be in order of the critical one. We present Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 21 of 31 Fig. 14 The rotating spring Fig. 15 Position-frictionless contact two cases: frictionless and then frictional contact. We consider a Newton impact law for normal part, and Coulomb friction for tangential part. For the frictionless case, we set e = 1and μ = 0 for an energy conservative contact. In the second one, we set e = 0 c c and μ = 0.2 for a dissipative contact. As no analytic solution exists, a reference solution −5 is computed by CD-Lagrange scheme with refined time step at h = 10 s. This test case is geometrically non-linear needing a Newton algorithm for implicit schemes. The case of frictionless contact is depicted in Figs. 15 and 16.OnFig. 15 we plot the mass position over the first 5 s. We denote a large penetration at each impact for both schemes due to the large time-step. In this frictionless case, the impact impulse should not change Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 22 of 31 Fig. 16 Angular momentum-frictionless contact Fig. 17 Position-frictional contact the angular momentum being parallel to position vector. But for Moreau–Jean’s scheme the angular momentum oscillates and decreases (more than 10% of its initial value over 100 s) as shown by Fig. 16. The conservation of angular momentum is achieved only at convergence. For CD-Lagrange the angular momentum is exactly conserved to its initial value illustrating the symplectic aspect. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 23 of 31 Fig. 18 Angular momentum-frictional contact On Figs. 17 and 18 is represented the case of frictional contact (e = 0and μ = 0.2). On Fig. 17 we plot the position over the first 5 s, and on Fig. 18 the angular momentum over 100 s. At each impact the angular momentum is decreased by the tangential contact force. The system reaches a state where it tangents the contact boundary but without contact. The final angular momentums for both Moreau–Jean and CD-lagrange are smaller than the refined one due to numerical errors especially at contact. These discrete solutions include more contact phase because of numerical errors at contact detection. It can be noticed when Moreau–Jean scheme reaches its tangential state, the angular momentum is still oscillating. This test case with frictionless contact focuses on angular momentum conservation, a crucial property of symplectic schemes. Moreau–Jean’s scheme e.g. does not conserve dis- crete angular momentum. The induced error can become large for long time simulations. On the contrary the discrete angular momentum is exactly conserved at its analytical value with symplectic CD-Lagrange scheme. For the frictional case, this test case shows also the ability of schemes to deal with frictional contact with no additional algorithmic complexity. Impacting bar: multiple DOF—FE discretization and impact The impacting bar problem is a frequent test case in literature [9,19,22,25,31](see[10] for a review of contact schemes on it). Indeed it is interesting from mathematical and numerical point of view. The analytical solution is known and unique, which is rare for elastodynamics with unilateral constraint. And from numerical point of view, the dis- cretization introduces spurious high frequency oscillations at contact node when impact occurs. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 24 of 31 Fig. 19 Impacting bar We consider a multiple degrees-of-freedom, linear and elastic bar, discretized in space by linear finite elements. One of its ends impacts a wall with a contact area reduced to one node. Figure 19 depicts this problem. For the bar, we consider a density ρ, cross section S, Young Modulus E,length L and initial velocity v . It is discretized by N linear finite elements of equal length l = L/N. The mass matrix is lumped by summing the terms of rows into the diagonal. We use the lumped mass matrix only for explicit scheme (CD-Lagrange). The elementary mass and stiffness matrices are: 1 21 1 10 1 1 − 1 e e e M = ρSl M = ρSl K = ES lump 6 12 2 01 l −11 The material parameters are those of [22,25]: −3 2 ρ = 7847 kg m S = 6.45 cm E = 2.1 · 11 Pa −1 L = 25.4cm v = 5ms The equation of discrete problem is then: MdU + KUdt − L dr =0(44) with M the global mass matrix (lumped or not), and K the global stiffness matrix. For discretization: −7 N = 50 h = 6.87 · 10 s −7 The time step is equal at 0.7 × h with h = 9.82 × 10 s the larger stable time-step crit crit for explicit schemes (based on CFL condition). We set e = 0tobeclosertoanalytical solution: for e = 1, oscillations on displacement appear at contact node after impact. The contact is therefore dissipative, and energy conservation is only achieved at space and time convergence. The lost energy corresponds to the kinetic energy of contact node, which is tiny with an accurate discretization. On Fig. 20 the position of contact node is represented for both schemes. The discrete solution is close from the analytical one with a persistent contact. But velocity oscillations appear after the contact release at contact node. They are visible in Fig. 21 for velocity, Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 25 of 31 Fig. 20 Impacting bar—position of contact node Fig. 21 Impacting bar—velocity of contact node Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 26 of 31 Fig. 22 Impacting bar—impulsion at contact node and also for impulsion in Fig. 22. Both schemes are quite equivalent with respect to these oscillations. As mentioned in [25] the amplitude of oscillations for CD-Lagrange decreases with a refinement in space and time, but their frequency increases. Dissipative schemes could damp these oscillations like EG-α scheme [34] or Noh and Bathe scheme [35]. But in non-smooth dynamic framework, no explicit ones are reported in literature. Chen and Acary present implicit dissipative schemes for non-smooth impact dynamic in [18,19] based on implicit α-generalized schemes. The Time Discontinuous Galerkin schemes are also particularly effective for damping spurious mode. In [36], a test case close from impacting bar is presented without spurious oscillations. These schemes are implicit too. The impacting bar tests the behaviour of schemes in a finite element framework with impact. It brings the difficulties linked to discretization, in particular spurious high fre- quencies. Discrete arch: multiple DOF—mass scaling feature with impact This test case shows the ability of an explicit scheme to be used in a ‘mass-scaling’ solving strategy. We are not interested in the dynamical behaviour of the structure, but only with the final equilibrium configuration. The dynamic simulation is therefore used to allow a cheap determination of the static configuration. This test corresponds to a limit point instability of a discrete shallow (circular) arch which ‘snaps’ into its buckled configuration. It is quite similar e.g. to those of [37,38], but with an impact. In this problem neither the load, the mass, nor the viscous dissipation have an influence on the final solution They are therefore only numerical artefacts allowing an explicit code to provide the static solution. The physical model is restricted to the computation of the internal nodal forces, due to large displacement elasticity problem in a given configuration (corresponding to the Cauchy internal force description). Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 27 of 31 Fig. 23 Problem discrete model (depicted with 4 bars) Fig. 24 Discrete arch—configurations for different times The test configuration is depicted in Fig. 23. To avoid using Lagrangian beam theory, the test is built on a discrete chain of elements that encounter traction-compression solicitations similar as springs, with concentrated rotational springs at internal nodes. The two end nodes are simply supported, without rotational springs. A temporary vertical nodal load F (t)isappliedonthisstructuretoallowittopassthe buckling limitpoint. After that instability point it snaps to a new equilibrium configuration with contact at distance d below horizontal line. The internal stresses are composed of spring-like forces − k(l − l ) and torsion springs torques − κθ. k is an equivalent stiffness, l the current length of element, and l the initial one. κ is an equivalent rotational stiffness, and θ is the difference between the initial angle between two contiguous bars and the current angle. Each node is submitted to actions of closest neighbours. We note the vector of int internal stresses F which only depends on current nodal displacements. The arch has a Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 28 of 31 Fig. 25 Discrete arch—impulse evolutions for mass scaling convergence criteria radius R and an angle sector θ. It is composed of 11 elements and defined by the following dimensionless parameters: d κ π −2 −3 = 6.50 × 10 = 4.16 × 10 θ = R kR 4 We consider a lumped mass matrix. We set the restitution coefficient to e = 0 for a dissipative contact. We add a viscous term to dissipate kinetic energy and reach the static final state. It is a low frequency dissipation term, proportional to lumped mass. For CD- Lagrange scheme its expression is −μM U 1 (the velocity is taken at t 1 to make lump n+ n+ 2 2 this contribution explicit). The discrete problem (with CD-Lagrange scheme) is summarized as follows: U = U + hU n+1 n n+ int t d ˙ ˙ ˙ M U 3 − U 1 = hF + L r 3 − μM U 1 + hF (t ) lump lump n+1 n+1 n+1 n+ n+ n+ n+ 2 2 2 2 ∀k ∈{1, ... ,p}, k k k ⎨ If g (U )  0, 0  r ⊥ v  0 n+1 3 3 n+ n+ 2 2 Else r = 0 n+ With L = L(U ) v 3 = L U 3 n+1 n+1 n+1 n+ n+ 2 2 On Fig. 24, we show the initial, final and an intermediate configurations. Remark 5 Multiple impacts can occur in the same time-step, and for several nodes. But the Delassus operator H is here diagonal as explained in Remark 4. In fact the nodal contact condition is simply expressed with the sign of nodal position. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 29 of 31 Termination criteria To end the simulation, i.e. when a static solution is obtained, a termination criteria is required. We do not rely on a sufficiently small nodal velocity since it could depend on the level of viscous damping. We therefore prefer to compare the vertical inertial impulse k k k −μhM U · y to the contact impulse r . When the ratio is sufficiently 1 3 lump n+ n+ 2 2 k k small, the simulation can be stopped and the static configuration is obtained. Figure 25 shows the evolution of these quantities over time. The discrete arch problem illustrates the mass scaling feature of explicit schemes in a non-linear problem with impact. And we propose a termination criteria based on impact reaction. Concluding remarks These five test cases form a benchmark for explicit schemes dedicated to impact dynam- ics. Each case focuses on one critical property: impact behaviour and Zeno’s paradox for bouncing ball, non-linear behaviour with a damping term for Van der Pol oscillator, con- servation of angular momentum for rotating spring, spurious high frequencies behaviour with finite elements discretization for impacting bar, and mass scaling ability for discrete arch. These test cases are light and easy to implement, forming a benchmark well suited to development phase. A missing issue is the solving of contact problem for non-diagonal Delassus operator. A problem with non-conforming meshes should be added in order to complete this benchmark. With this benchmark, we find that the discrete velocity formulation of HSM conditions is more suited to non-smooth impact dynamics than the displacement formulation. The CD-Lagrange scheme uses this formulation, being explicit and symplectic. It is therefore well-suited to non-linear impact dynamics. Contact in FE problems forces to consider a dissipative form of HSM conditions, and causes spurious oscillations on velocity for both Moreau–Jean and CD-Lagrange schemes. For spurious oscillations, a dissipative scheme could damp them. Efficient explicit dissi- pative schemes exist [34,35], but no one for non-smooth dynamic. Such a scheme would be an improvement in this framework. An other improvement would be an discrete for- mulation for impact FE problems, that would be energy conservative as the implicit ones [20,21] and suitable to explicit schemes. Abbreviations CD: central difference; FE: finite elements; CAA: constant average acceleration; NSCD: non-smooth contact dynamics; HSM: Hertz–Signorini–Moreau; LCP: linear complementary problem. Authors’ contributions JDS, DD and AG design the benchmark cases. All authors contribute to write the article. All authors read and approved the final manuscript. Author details Univ Lyon, INSA Lyon, LaMCoS, CNRS UMR 5259, Bât. Sophie Germain-27bis avenue Jean Capelle, 69621 Villeurbanne CEDEX, France, Centre de technologie de Ladoux-Manufacture française de pneumatiques Michelin, 23 place des Carmes Deschaux, 63040 Clermont-Ferrand, CEDEX 9, France. Acknowledgements Not applicable. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 30 of 31 Competing interests The authors declare that they have no competing interests. Availability of data and materials Not applicable. Funding We gratefully acknowledge the French National Association for Research and Technology (ANRT, CIFRE grant number 2017/1555). This work was supported by the Manufacture Française de Pneumatiques Michelin. Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Received: 26 October 2018 Accepted: 13 February 2019 References 1. Newmark NM. A method of computation for structural dynamics. J Eng Mech Div. 1959;85(7):67–94. 2. Hilber HM, Hughes TJ, Taylor RL. Improved numerical dissipation for time integration algorithms in structural dynamics. Earthq Eng Struct Dyn. 1977;5(3):283–92. 3. Chung J, Hulbert GM. A time integration algorithm for structural dynamics with improved numerical dissipation: the generalized-α method. J Appl Mech. 1993;60(2):371–5. 4. Marsden JE, West M. Discrete mechanics and variational integrators. Acta Num. 2001;2001(10):357–514. 5. Simo JC, Tarnow N, Wong KK. Exact energy-momentum conserving algorithms and symplectic schemes for nonlinear dynamics. Comput Methods Appl Mech Eng. 1992;100:63–116. 6. Wriggers P. Computational contact mechanics. 2nd ed. Berlin: Springer; 2006. 7. Laursen TA. Computational contact and impact mechanics: fundamentals of modeling interfacial phenomena in nonlinear finite element analysis. 1st ed. Berlin: Springer; 2002. 8. Acary V. Higher order event capturing time-stepping schemes for nonsmooth multibody systems with unilateral constraints and impacts. Appl Num Math. 2012;62(10):1259–75. 9. Cirak F, West M. Decomposition contact response (DCR) for explicit finite element dynamics. Int J Num Methods Eng. 2005;64(8):1078–110. 10. Doyen D, Ern A, Piperno S. Time-integration schemes for the finite element dynamic signorini problem. SIAM J Sci Comput. 2011;33:223–49. 11. Krause R, Walloth M. Presentation and comparison of selected algorithms for dynamic contact based on the Newmark scheme. Appl Num Math. 2012;62(10):1393–410. 12. Laursen TA, Chawla V. Design of energy conserving algorithms for frictionless dynamic contact problems. Int J Num Methods Eng. 1997;40(5):863–86. 13. Laursen TA, Love GR. Improved implicit integrators for transient impact problems–geometric admissibility within the conserving framework. Int J Num Methods Eng. 2001;53(2):245–74. 14. Simo JC, Tarnow N. The discrete energy-momentum method. Conserving algorithms for nonlinear elastodynamics. ZAMP. 1992;43(5):757–92. 15. Moreau JJ. Numerical aspects of the sweeping process. Comput Methods Appl Mech Eng. 1999;177(3–4):329–49. 16. Jean M. The non-smooth contact dynamics method. Comput Methods Appl Mech Eng. 1999;177(3–4):235–57. 17. Acary V. Energy conservation and dissipation properties of time-integration methods for nonsmooth elastodynamics with contact. ZAMM. 2016;96(5):585–603. 18. Chen Qz, Acary V, Virlez G, Brüls O. A Newmark-type integrator for flexible systems considering nonsmooth unilateral constraints. In: Eberhard P, eds. IMSD 2012—2nd joint international conference on multibody system dynamics. Stuttgart, Germany. 2012. https://hal.inria.fr/hal-00681252. 19. Chen QZ, Acary V, Virlez G, Brüls O. A nonsmooth generalized- α scheme for flexible multibody systems with unilateral constraints. Int J Num Methods Eng. 2013;96(8):487–511. 20. Khenous HB, Laborde P, Renard Y. Mass redistribution method for finite element contact problems in elastodynamics. Eur J Mech. 2008;27(5):918–32. 21. Hauret P. Mixed interpretation and extensions of the equivalent mass matrix approach for elastodynamics with contact. Comput Methods Appl Mech Eng. 2010;199(45–48):2941–57. 22. Carpenter NJ, Taylor RL, Katona MG. Lagrange constraints for transient finite element surface contact. Int J Num Methods Eng. 1991;32:103–28. 23. Paoli L, Schatzman M. A numerical scheme for impact problems I: the one-dimensional case. SIAM J Num Anal. 2002;40(2):702–33. 24. Paoli L, Schatzman M. A numerical scheme for impact problems II: the multidimensional case. SIAM J Num Anal. 2002;40(2):734–68. 25. Fekak FE, Brun M, Gravouil A, Depale B. A new heterogeneous asynchronous explicit–implicit time integrator for nonsmooth dynamics. Comput Mech. 2017;60:1–21. 26. Chouly F, Renard Y. Explicit Verlet time-integration for a Nitsche-based approximation of elastodynamic contact problems. 2018. https://hal.archives-ouvertes.fr/hal-01814774. 27. Casadei F, Larcher M, Valsamos G, Langrand B. Pinball-based contact-impact model with parabolic elements in EUROPLEXUS. Seville: Joint Research Center; 2014. 28. Curnier A. Unilateral contact. In: Wriggers P, Panagiotopoulos P, editors. New developments in contact problems. Vienna: Springer; 1999. p. 1–54. Di Stasio et al. Adv. Model. and Simul. in Eng. Sci. (2019) 6:2 Page 31 of 31 29. Belytschko T, Liu WK, Moran B, Elkhodary KI. Nonlinear finite elements for continua and structures. 2nd ed. Chichester: Wiley; 2014. 30. Moreau JJ. Unilateral contact and dry friction in finite freedom dynamics., Nonsmooth mechanics and applicationsVienna: Springer; 1988. p. 1–82. 31. Acary V. Projected event-capturing time-stepping schemes for nonsmooth mechanical systems with unilateral contact and Coulomb’s friction. Comput Methods Appl Mech Eng. 2013;256:224–50. 32. Wu SR. Lumped mass matrix in explicit finite element method for transient dynamics of elasticity. Comput Methods Appl Mech Eng. 2006;195(44–47):5983–94. 33. Cottle RW, Pang JS, Stone RE. The linear complementarity problem. Boston: Academic Press. Computer Science and Scientific Computing; 1992. 34. Hulbert GM, Chung J. Explicit time integration algorithms for structural dynamics with optimal numerical dissipation. Comput Methods Appl Mech Eng. 1996;137(2):175–88. 35. Noh G, Bathe KJ. An explicit time integration scheme for the analysis of wave propagations. Comput Struct. 2013;129:178–93. 36. Li X, Wiberg NE. Implementation and adaptivity of a space-time finite element method for structural dynamics. Comput Methods Appl Mech Eng. 1998;156(1–4):211–29. 37. Mamouri S, Mourid E, Ibrahimbegovic A. Study of geometric non-linear instability of 2D frame structures. Eur J Comput Mech. 2015;24(6):256–78. 38. Chhang S, Battini JM, Hjiaj M. Energy-momentum method for co-rotational plane beams: a comparative study of shear flexible formulations. Finite Elem Anal Design. 2017;134:41–54.

Journal

"Advanced Modeling and Simulation in Engineering Sciences" – Springer Journals

Published: Mar 9, 2019

There are no references for this article.