1 Introduction

The response of real civil structures subjected to a large dynamic excitation (i.e., blast or seismic loading) often involves significant nonlinear behavior which generally includes the effects of large displacements and/or nonlinear material properties [34].

Direct time integration methods used to solve the nonlinear dynamic equilibrium equations of structures subjected to external excitation (i.e., time-dependent applied forces and/or earthquake excitation) are basically categorized into two groups: explicit and implicit methods. A time integration method is explicit if the solution at time \(t+\Delta t\) is obtained by considering the equilibrium conditions at time \(t\) and the integration algorithm does not require factorization of the effective stiffness matrix [10]. The method is implicit if the solution at time \(t+\Delta t\) is evaluated by considering the equilibrium conditions at time \(t+\Delta t\) and a set of simultaneous equations has to be solved at each time step wherein the effective stiffness matrix is a combination of the mass, damping and stiffness matrices [11]. In general, each type of time integration method has its own advantages and disadvantages. Explicit algorithms require a much lower computational effort per time step when compared with implicit methods but are conditionally stable. On the other hand, implicit algorithms can be designed to have unconditional stability, in linear analysis, so that the choice of time step size is limited by accuracy requirements only [2].

In most practical civil engineering problems, the increasing complexity of structural models (i.e., finer finite element mesh, accurate material models) requires the use of a partitioned solution approach in which a discrete structural model is spatially decomposed into interacting components generically called partitions. The mathematical foundations of Domain Decomposition Methods (DDMs), which can be used in the framework of any discretization method for partial differential equations (i.e., finite elements, finite differences) to make their algebraic solution more efficient on parallel computer platforms, can be found in recent numerical analysis texts [29, 30]. The decomposition may be driven by physical or computational considerations [14]. For instance, in the nonlinear soil–structure interaction analysis, being the soil more flexible than the structure, the partitioning of the problem may be a natural choice. In the nonlinear dynamic analysis of a structure subjected to a localized impact, because a small part of the structure is expected to experience strong nonlinear behavior whereas the remaining part would deform into the elastic range, the decomposition of the structural model into two subdomains is driven by computational considerations [5]: in this case, the use of different time steps and time integration methods (i.e., explicit or implicit methods) depending on parts of the analyzed structure instead of adopting a monolithic solution approach (i.e., conventional procedure adopting a single time integration method with a unique time step) can reduce the computational effort significantly.

To overcome the limitations of conventional single-time step integration, partitioned time integration methods have been developed by several authors in the last 30 years to allow different time steps (i.e., multi-time step integration) or time integration algorithms (i.e., mixed time integration) or both to be used in different spatial subdomains of the mesh. Mixed time integration procedures using explicit and implicit time integration methods have been proposed by Hughes and Liu [17], assuming the same time step for all the parts of the mesh. Early works of Belytschko et al. [3] investigated the use of explicit time integration methods with different time steps according to the mesh subdivision and the finite elements size. Wu and Smolinski [35] proposed a new explicit multi-time step integration method for solving structural dynamics problems derived from the modified trapezoidal rule method developed by Pezeshk and Camp [28]. All the previous multi-time step integration methods are essentially based on a nodal partition and prescribe the continuity of displacements, velocities or accelerations at the interface in a strong way, by imposing the equality of subdomain kinematic quantities at the interface. Recently, new methods have been proposed allowing one to prescribe the continuity of those quantities in a weak way by means of Lagrange multipliers [7, 12, 13, 15, 16].

The purpose of this work is to investigate the accuracy, the stability and the computational efficiency of a mixed explicit–implicit time integration method here proposed for predicting the nonlinear response of base-isolated structures subjected to earthquake excitation. Indeed, in the case of seismically isolated structures (i.e., buildings and bridges) the above-mentioned partitioned solution approach can be easily applied being the decomposition of the discrete structural model of such structures driven by physical considerations: the base isolation system is much more flexible than the superstructure to decouple the latter from the earthquake ground motion. Thus, an explicit conditionally stable time integration method can be used to evaluate the base isolation system response and an implicit unconditionally stable time integration method can be adopted to predict the superstructure response with the remarkable benefit in avoiding the iterative procedure within each time step of a nonlinear time history analysis required by conventional implicit time integration methods [32, 33].

The present paper is organized in two parts devoted respectively to the theoretical formulation of the proposed approach and to its numerical applications. In the first part, the dynamic equilibrium equations of the 3D discrete structural model of an actual base-isolated structure are determined (Sect. 2) and the proposed mixed explicit–implicit time integration method is presented (Sect. 3). The explicit method employed is the second order Central Difference Method while the implicit method used is the second order Newmark’s Constant Average Acceleration Method. Recently developed time integration algorithms, such as those introduced by Noh and Bathe [25] and Noh et al. [26] for the analysis of wave propagation problems, are not adopted in this work because the main idea is reducing the computational effort required for the solution of nonlinear dynamic equilibrium equations of base-isolated structures, by coupling two of the most widely used time integration methods in the seismic analysis of civil structures. The proposed partitioned solution approach requires firstly the solution of the nonlinear base isolation system response (Explicit Integration Substep), then these results (i.e., base isolation system displacements) are used for the integration of the coupled linear dynamic equilibrium equations of the superstructure (Implicit Integration Substep). In order to evaluate the unknown base isolation system velocity vector in both the Explicit and Implicit Integration Substeps, the three-point backward difference approximation formula is used. The adopted mixed explicit–implicit time integration method is stable as long as stability requirements are fulfilled in the Explicit Integration Substep. Consequently a procedure to evaluate the critical time step is firstly developed for two-dimensional (2D) base-isolated structures and then extended to the three-dimensional (3D) case.

In the second part of the paper (Sect. 4), the proposed theoretical approach is applied to determine the dynamic response of a 3D base-isolated structure subjected to a bidirectional earthquake excitation. Two types of base isolation systems are considered, namely, base isolation system with lead rubber bearings (LRBS) and base isolation system with friction pendulum bearings (FPBS). The latter kind of base isolation system allows one to investigate the use of the mixed time integration procedure also in the presence of isolators with very high initial stiffness. A mathematical model capable of modeling the biaxial behavior of elastomeric and sliding bearings is adopted and the unconditionally stable semi-implicit Runge–Kutta method [31] is employed to solve the differential equations governing the behavior of each nonlinear isolation element. The accuracy and the computational efficiency of the proposed mixed explicit–implicit method is assessed by comparing the results with those obtained by using the two-step solution algorithm developed specifically for the analysis of base-isolated structures by Nagarajaiah et al. [24]. In this monolithic solution approach, the equations of motion are solved using the implicit unconditionally stable Newmark’s constant average acceleration method with the nonlinear forces being represented as pseudo-forces while the differential equations governing the nonlinear behavior of the isolation elements are solved using the Runge–Kutta method. An iterative procedure consisting of corrective pseudo-forces is employed within each time step until equilibrium is achieved. For brevity, in this paper, the above-described implicit time integration method adopted in conjunction with the pseudo-force approach is referred to as the Pseudo-Force Method.

Finally, the main features of the proposed method in terms of accuracy, stability and computational efficiency are summarized in the last section, according to the numerical results obtained in the second part of the paper. As shown, the computational time required by the mixed explicit–implicit time integration method is clearly reduced in comparison to the classical monolithic solution approach (i.e., pseudo-force method). Furthermore, even in the case of base isolation systems having isolators with very high initial stiffness (i.e., sliding bearings) or very high stiffness at large displacements (i.e., high damping rubber bearings) for which the critical time step size could become smaller than the one used to define the ground acceleration accurately, the proposed partitioned solution approach preserves its computational efficiency.

2 Modeling of base-isolated structures

The three-dimensional (3D) discrete structural model of an actual base-isolated structure can be decomposed into two substructures: the superstructure and the base isolation system. The base isolation system consists of seismic isolation bearings called seismic isolators and a full diaphragm above the seismic isolation devices which is generally introduced to distribute the lateral loads uniformly to each bearing [22]. Introducing a flexible base isolation system between the foundation and the superstructure leads to decouple the latter from the earthquake ground motion. In this section, the superstructure and the base isolation system modeling are presented.

2.1 Modeling of the superstructure

The geometry of the 3D discrete structural model of a base-isolated structure is defined in a global, right-handed Cartesian coordinate system, denoted with upper case letters \(X\), \(Y\), and \(Z\), and attached to the center of mass of the base isolation system. The superstructure is considered to remain elastic during the earthquake excitation because it is assumed that the introduction of a flexible base isolation system allows one to reduce the earthquake response in such a way that the superstructure deforms within the elastic range. Each superstructure floor diaphragm (or floor slab) is assumed to be infinitely rigid in its own plane, the columns are assumed to be axially inextensible and the beams are considered to be axially inextensible and flexurally rigid. These kinematics constraints, generally adopted in the literature [6] for beams and columns, are here assumed for simplicity and can be removed straightforwardly without any influence on the generality of the subsequent results. Because of this structural idealization, the total number of a \(n\)-story superstructure degrees of freedom (dofs), denoted with \(nts\), is equal to 3\(n\) and three dofs are referred to the \(i\)-th superstructure diaphragm reference point \({o_i}\) belonging to the horizontal plane of the \(i\)-th floor diaphragm and vertically aligned to the global coordinate system origin \(O\). The three dofs of the i-th superstructure diaphragm are the two horizontal translations \(u_{x}^{{\left( i \right)}}\) and \(u_{y}^{{\left( i \right)}}\) in the \(X\) and \(Y\) directions and the torsional rotation \(u_{r}^{{\left( i \right)}}\) about the vertical axis \(Z\). These three floor diaphragm displacements can be defined relative to the ground or relative to the base isolation system [21]. In this study, the former approach is selected so that the dynamic equilibrium equations of the 3D discrete structural model of an actual base-isolated structure are coupled in terms of elastic and viscous forces and decoupled in terms of inertial forces. The superstructure displacement vector \({{\varvec{u}}_s}\), having size \(nts~x~1\), is defined by:

$${{\varvec{u}}_s}=~{\left\{ {\begin{array}{*{20}{c}} {{{\varvec{u}}_1}}& \cdots &{{{\varvec{u}}_i}}& \cdots &{{{\varvec{u}}_n}} \end{array}} \right\}^T},~$$
(1)

where:

$${{\varvec{u}}_1}=~{\left\{ {\begin{array}{*{20}{c}} {u_{x}^{{\left( 1 \right)}}}&{u_{y}^{{\left( 1 \right)}}}&{u_{r}^{{\left( 1 \right)}}} \end{array}} \right\}^T}\quad {{\varvec{u}}_i}=~{\left\{ {\begin{array}{*{20}{c}} {u_{x}^{{\left( i \right)}}}&{u_{y}^{{\left( i \right)}}}&{u_{r}^{{\left( i \right)}}} \end{array}} \right\}^T}\quad {{\varvec{u}}_n}=~{\left\{ {\begin{array}{*{20}{c}} {u_{x}^{{\left( n \right)}}}&{u_{y}^{{\left( n \right)}}}&{u_{r}^{{\left( n \right)}}} \end{array}} \right\}^T},$$

are the displacement vectors of the first, \(i\)-th and \(n\)-th superstructure floor diaphragm, respectively.

The superstructure diaphragm mass should include the contributions of the dead load and live load on the floor diaphragm and the contributions of the structural elements (i.e., columns, walls) and of the nonstructural elements (i.e., partition walls, architectural finishes) between floors [6]. The superstructure mass matrix \({{\varvec{M}}_s}\) and the \(i\)-th superstructure diaphragm mass matrix \({{\varvec{m}}_i}\) are:

$${{\varvec{M}}_s}=\left[ {\begin{array}{*{20}{c}} {{{\varvec{m}}_1}}&0&{}&0 \\ 0&{{{\varvec{m}}_2}}&{}&0 \\ {}&{}& \ddots &{} \\ 0&0&{}&{{{\varvec{m}}_n}} \end{array}} \right]~,~\quad {{\varvec{m}}_i}=\left[ {\begin{array}{*{20}{c}} {~~~{m^{\left( i \right)}}}&0&{ - S_{{~x}}^{{\left( i \right)}}~~~} \\ 0&{{m^{\left( i \right)}}}&{S_{{~y}}^{{\left( i \right)}}} \\ { - S_{{~x}}^{{\left( i \right)}}}&{S_{{~y}}^{{\left( i \right)}}}&{I_{{~o}}^{{\left( i \right)}}} \end{array}} \right]~,~$$
(2)

where \({m^{\left( i \right)}}\) is the \(i\)-th diaphragm mass, \(S_{{~x}}^{{\left( i \right)}}\) and \(S_{{~y}}^{{\left( i \right)}}\) are the first moments of the \(i\)-th diaphragm mass about the global horizontal axes \(X\) and \(Y\), respectively, and \(I_{{~o}}^{{\left( i \right)}}\) is the moment of inertia of the \(i\)-th diaphragm about the global vertical axis \(Z\). If the mass center of the \(i\)-th floor diaphragm and the origin of the global coordinate system \(O\) are aligned vertically the superstructure diaphragm mass matrix is diagonal.

The superstructure stiffness matrix \({{\varvec{K}}_s}\) and the \(i\)-th superstructure story stiffness matrix \({{\varvec{k}}_i}\) are:

$${{\varvec{K}}_s}=\left[ {\begin{array}{*{20}{c}} {{{\varvec{k}}_1}+{{\varvec{k}}_2}}&{ - {{\varvec{k}}_2}~~~}&{}&0 \\ { - {{\varvec{k}}_2}}&{{{\varvec{k}}_2}+{{\varvec{k}}_3}}& \ddots &{} \\ {}& \ddots & \ddots &{ - {{\varvec{k}}_n}} \\ 0&{}&{ - {{\varvec{k}}_n}}&{~~~{{\varvec{k}}_n}} \end{array}} \right],\quad {{\varvec{k}}_i}=\left[ {\begin{array}{*{20}{c}} {{k^{\left( i \right)}}_{{xx}}}&{{k^{\left( i \right)}}_{{xy}}}&{ - {k^{\left( i \right)}}_{{xr}}~~~} \\ {{k^{\left( i \right)}}_{{yx}}}&{{k^{\left( i \right)}}_{{yy}}}&{{k^{\left( i \right)}}_{{yr}}} \\ { - {k^{\left( i \right)}}_{{xr}}~~~}&{{k^{\left( i \right)}}_{{yr}}}&{{k^{\left( i \right)}}_{{rr}}} \end{array}} \right],$$
(3)

where \({k^{\left( i \right)}}_{{xx}}\), \({k^{\left( i \right)}}_{{xy}}\) and \({k^{\left( i \right)}}_{{xr}}\) are the resulting elastic forces in \(X\) direction of the \(i\)-th superstructure story due to unit translation in \(X\) and \(Y\) directions and unit torsional rotation of the \(i\)-th superstructure diaphragm about the vertical axis \(Z\), respectively; \({k^{\left( i \right)}}_{{yy}}\), \({k^{\left( i \right)}}_{{yx}}\) and \({k^{\left( i \right)}}_{{yr}}\) are the resultants of the elastic forces in \(Y\) direction of the \(i\)-th superstructure story due to unit translation in \(Y\) and \(X\) directions and unit torsional rotation of the \(i\)-th superstructure diaphragm about the vertical axis \(Z\), respectively; and \({k^{\left( i \right)}}_{{rr}}\) is the resultant of the elastic torsional moment of the \(i\)-th superstructure story due to unit torsional rotation of the \(i\)-th superstructure diaphragm about the vertical axis \(Z\). The torsional stiffness of each individual resisting vertical element (i.e., column or wall) is considered negligible [18].

Classical damping is an appropriate idealization if similar damping mechanisms are distributed throughout the superstructure. In order to construct a classical damping matrix from modal damping ratios the Rayleigh damping can be assumed allowing one to express the damping matrix in terms of the superstructure mass and stiffness matrices:

$${{\varvec{C}}_s}={\alpha _0}{{\varvec{M}}_s}+{\alpha _1}{{\varvec{K}}_s}~.$$
(4)

The Rayleigh damping coefficients \({\alpha _0}\) and \({\alpha _1}\) can be selected to match the desired damping ratio for two modes, oftentimes the two lowest, but not always [4]. Denoting these modes as the \(f\)-th and the \(s\)-th, it is possible to write:

$$\begin{array}{*{20}{c}} {{\alpha _0}+{\alpha _1}~\omega _{f}^{2}=2~{\zeta _f}~{\omega _f}} \\ {{\alpha _0}+{\alpha _1}~\omega _{s}^{2}=2~{\zeta _s}~{\omega _s}} \end{array}~.$$

With given damping ratios \({\zeta _f}\) and \({\zeta _s}\) these two equations can be solved for \({\alpha _0}\) and \({\alpha _1}\).

2.2 Modeling of the base isolation system

The base isolation system diaphragm is assumed to be infinitely rigid in its own plane, the beams are considered to be axially inextensible and flexurally rigid and the seismic isolators are assumed to be infinitely rigid in the vertical direction. As a result of these kinematic constraints, the total number of the base isolation system dofs, denoted with \(ntb\), is equal to 3. These three dofs, which are attached to the mass center of the base diaphragm and are defined relative to the ground, are the two horizontal translations \(u_{x}^{{\left( b \right)}}\) and \(u_{y}^{{\left( b \right)}}\) in the \(X\) and \(Y\) directions and the torsional rotation \(u_{r}^{{\left( b \right)}}\) about the vertical axis \(Z\). The isolation system displacement vector \({{\varvec{u}}_b}\), having size \(ntb~x~1\), is:

$${{\varvec{u}}_b}=~{\left\{ {\begin{array}{*{20}{c}} {u_{x}^{{\left( b \right)}}}&{u_{y}^{{\left( b \right)}}}&{u_{r}^{{\left( b \right)}}} \end{array}} \right\}^T}.$$
(5)

The base isolation system mass matrix \({{\varvec{m}}_b}\) is defined by:

$${{\varvec{m}}_b}=\left[ {\begin{array}{*{20}{c}} {~{m^{\left( b \right)}}}&0&{0~} \\ {0~~}&{{m^{\left( b \right)}}}&{0~} \\ {0~~}&0&{~I_{{~o}}^{{\left( b \right)}}} \end{array}} \right]~,$$
(6)

where \({m^{\left( b \right)}}\) is the diaphragm mass and \(I_{{~o}}^{{\left( b \right)}}\) is the moment of inertia of the diaphragm about the global vertical axis \(Z\). The two first moments \(S_{{~x}}^{{\left( b \right)}}\) and \(S_{{~y}}^{{\left( b \right)}}\) of the base diaphragm mass about the global horizontal axes \(X\) and \(Y\) are equal to zero because the diaphragm mass center and the origin of the global coordinate system \(O\) are coincident.

The base isolation system can include linear isolation elements and nonlinear isolation elements. Considering the linear elements (i.e., seismic isolators whose behavior can be modeled by a linear spring and a linear viscous damper in parallel), the base isolation system stiffness matrix \({{\varvec{k}}_b}\) is:

$${{\varvec{k}}_b}=\left[ {\begin{array}{*{20}{c}} {{k^{\left( b \right)}}_{{xx}}}&{{k^{\left( b \right)}}_{{xy}}}&{ - {k^{\left( b \right)}}_{{xr}}~~~} \\ {{k^{\left( b \right)}}_{{yx}}}&{{k^{\left( b \right)}}_{{yy}}}&{{k^{\left( b \right)}}_{{yr}}} \\ { - {k^{\left( b \right)}}_{{xr}}~~~}&{{k^{\left( b \right)}}_{{yr}}}&{{k^{\left( b \right)}}_{{rr}}} \end{array}} \right],$$
(7)

where \({k^{\left( b \right)}}_{{xx}}\), \({k^{\left( b \right)}}_{{xy}}\) and \({k^{\left( b \right)}}_{{xr}}\) are the resultants of the elastic forces in \(X\) direction of the linear elements due to unit translation in \(X\) and \(Y\) directions and unit torsional rotation of the base diaphragm about the vertical axis \(Z\), respectively; \({k^{\left( b \right)}}_{{yy}}\), \({k^{\left( b \right)}}_{{yx}}\) and \({k^{\left( b \right)}}_{{yr}}\) are the resultants of the elastic forces in \(Y\) direction of the linear elements due to unit translation in \(Y\) and \(X\) directions and unit torsional rotation of the base diaphragm about the vertical axis \(Z\), respectively; and \({k^{\left( b \right)}}_{{rr}}\) is the resultant elastic torsional moment of the linear elements due to unit torsional rotation of the base diaphragm about the vertical axis \(Z\). The torsional stiffness of the seismic isolators is negligible and is not included [19].

The base isolation system viscous damping matrix \({{\varvec{c}}_b}\) is:

$${{\varvec{c}}_b}=\left[ {\begin{array}{*{20}{c}} {{c^{\left( b \right)}}_{{xx}}}&0&0 \\ 0&{{c^{\left( b \right)}}_{{yy}}}&0 \\ 0&0&{{c^{\left( b \right)}}_{{rr}}} \end{array}} \right]~,~$$
(8)

where \({c^{\left( b \right)}}_{{xx}}\) and \({c^{\left( b \right)}}_{{yy}}\) are the resultants of the viscous damping forces in \(X\) and \(Y\) directions, respectively, of the linear elements due to unit velocity of the base diaphragm in \(X\) and \(Y\) directions and \({c^{\left( b \right)}}_{{rr}}\) is the resultant of the viscous damping torsional moment of the linear elements due to unit rotational velocity of the base diaphragm about the vertical axis \(Z\). The off-diagonal terms of the base isolation system viscous damping matrix are neglected [1].

As far as the nonlinear elements is concerned, the resultant nonlinear forces vector of the base isolation system \({{\varvec{f}}_n}\) is:

$${{\varvec{f}}_n}=\left\{ {\begin{array}{*{20}{c}} {{f_{nx}}} \\ {{f_{ny}}} \\ {{f_{nr}}} \end{array}} \right\}~,~$$
(9)

where \({f_{nx}}\), \({f_{ny}}\) and \({f_{nr}}\) are the resultant nonlinear forces in \(X\) and \(Y\) directions and the resultant nonlinear torsional moment about the vertical axis \(Z\) of the nonlinear elements. The nonlinear behavior of each seismic isolator can be modeled using an explicit nonlinear force–displacement relation [24].

2.3 Dynamic equilibrium equations

The equations of motion of the 3D discrete structural model of an actual base-isolated structure are:

$$\left[ {~~\begin{array}{*{20}{c}} {{{\varvec{m}}_b}~}&{{0^T}} \\ {0~~~}&{{{\varvec{M}}_s}} \end{array}~} \right]\left\{ {~\begin{array}{*{20}{c}} {\ddot {{\varvec{u}}}_{b}^{{}}} \\ {\ddot {{\varvec{u}}}_{s}^{{}}} \end{array}} \right\}~+\left[ {~~\begin{array}{*{20}{c}} {{{\varvec{c}}_b}+{{\varvec{c}}_1}}&{{{\varvec{c}}^T}} \\ {{\varvec{c}}~~~~~~~~~~~}&{{{\varvec{C}}_s}~} \end{array}~} \right]\left\{ {~\begin{array}{*{20}{c}} {\dot {{\varvec{u}}}_{b}^{{}}} \\ {\dot {{\varvec{u}}}_{s}^{{}}} \end{array}} \right\}+\left[ {~~\begin{array}{*{20}{c}} {{{\varvec{k}}_b}+{{\varvec{k}}_1}}&{{\varvec{k}}_{{}}^{{\varvec{T}}}} \\ {{\varvec{k}}~~~~~~~~~~~~}&{{{\varvec{K}}_s}~} \end{array}~} \right]\left\{ {~\begin{array}{*{20}{c}} {{\varvec{u}}_{b}^{{}}} \\ {{\varvec{u}}_{s}^{{}}} \end{array}} \right\}+\left\{ {~\begin{array}{*{20}{c}} {{\varvec{f}}_{n}^{{}}} \\ {0_{{}}^{{}}} \end{array}} \right\}= - \left[ {~~\begin{array}{*{20}{c}} {{{\varvec{m}}_b}~}&{{0^T}} \\ {0~~~}&{{{\varvec{M}}_s}} \end{array}~} \right]\left[ {\begin{array}{*{20}{c}} {{{\varvec{R}}_b}} \\ {{{\varvec{R}}_s}} \end{array}} \right]{\ddot {{\varvec{u}}}_g},$$
(10)

with

$${\varvec{c}}={\left[ { - {{\varvec{c}}_1}~~~~0} \right]^T}~,~~~~~~~~~~~~~~~~~~~~{\varvec{k}}={\left[ { - {{\varvec{k}}_1}~~~~0} \right]^T}~,~~~~~~~~~~~~~~~{\ddot {{\varvec{u}}}_g}={\left\{ {\begin{array}{*{20}{c}} {{{\ddot {u}}_{gx}}}&{{{\ddot {u}}_{gy}}}&0 \end{array}} \right\}^T}~,$$

where \({{\varvec{c}}_1}\) and \({{\varvec{k}}_1}\) are the first superstructure story viscous damping and stiffness matrices, \({{\varvec{R}}_b}\) and \({{\varvec{R}}_s}\) are the base isolation system and superstructure influence matrices, and \({\ddot {{\varvec{u}}}_g}\) is the ground (or support) acceleration vector in which \({\ddot {u}_{gx}}\) and \({\ddot {u}_{gy}}\) are the \(X\) and \(Y\) ground acceleration components while the rotational component is neglected.

The system of \(3n+3\) coupled Ordinary Differential Equations (ODEs) of the second order in time is nonlinear because of the presence of the resultant nonlinear forces vector of the base isolation system \({{\varvec{f}}_n}\). In the monolithic solution approach proposed by [24], developed specifically for base-isolated structures and referred to as the Pseudo-Force Method in this paper, the equations of motion are discretized using the implicit unconditionally stable Newmark’s Constant Average Acceleration Method. As the nonlinear forces vector \({{\varvec{f}}_n}\) could be function of both displacement and velocity vectors at time \(t+\Delta t\), according to the model adopted for each seismic isolator (i.e., Bouc–Wen Model), it is transferred to the right hand side of Eq. (10) and treated as pseudo-forces vector. Thus, an iterative procedure consisting of corrective pseudo-forces has to be adopted within each time step until equilibrium is achieved.

3 Mixed explicit–implicit time integration method

In this section, a mixed explicit–implicit time integration method is proposed for analyzing base-isolated structures subjected to earthquake excitation. The solution algorithm is characterized by two substeps called Explicit Integration Substep and Implicit Integration Substep, respectively. In each time step of a nonlinear time history analysis, the nonlinear response of the base isolation system is computed first using the explicit time integration method, then the implicit method is adopted to evaluate the superstructure linear response. The solution algorithm is summarized in the Appendix for use in a computer program.

3.1 Explicit integration substep

The explicit time integration method adopted to predict the response of the base isolation system is the second order central difference method which is one of the most used among explicit methods in structural dynamics programs and is said to have the highest accuracy and maximum stability limit for any explicit method of order two [20].

In the explicit integration substep, the equations of motion at time \(t\) are used to evaluate the base isolation system displacement vector \({{\varvec{u}}_b}\) for time \(t+\Delta t\). Hence, writing the first set of \(ntb\) dynamic equilibrium equations of the 3D discrete structural model at time \(t\) gives:

$${{\varvec{m}}_b}{\ddot {{\varvec{u}}}_b}\left( t \right)+\left( {{{\varvec{c}}_b}+{{\varvec{c}}_1}} \right)~{\dot {{\varvec{u}}}_b}\left( t \right)+{{\varvec{c}}^T}{\dot {{\varvec{u}}}_s}\left( t \right)+\left( {{{\varvec{k}}_b}+{{\varvec{k}}_1}} \right)~{{\varvec{u}}_b}\left( t \right)+{{\varvec{k}}^T}{{\varvec{u}}_s}\left( t \right)+{{\varvec{f}}_n}\left( {{{\varvec{u}}_b}\left( t \right),{{\dot {{\varvec{u}}}}_b}\left( t \right)} \right)= - {{\varvec{m}}_b}{{\varvec{R}}_b}{\ddot {{\varvec{u}}}_g}\left( t \right).~$$
(11)

This method is based on a finite difference approximation of the time derivatives of displacement (i.e., velocity and acceleration). Taking constant time steps, the central difference expressions for velocity and acceleration vectors at time \(t\) are:

$${\dot {{\varvec{u}}}_b}\left( t \right)=\frac{1}{{2\Delta t}}\left[ {{{\varvec{u}}_b}\left( {t+\Delta t} \right) - {{\varvec{u}}_b}\left( {t - \Delta t} \right)} \right]~,~$$
(12)
$$~~~{\ddot {{\varvec{u}}}_b}\left( t \right)=\frac{1}{{{{\left( {\Delta t} \right)}^2}}}\left[ {{{\varvec{u}}_b}\left( {t+\Delta t} \right) - 2{{\varvec{u}}_b}\left( t \right)+{{\varvec{u}}_b}\left( {t - \Delta t} \right)} \right].$$
(13)

The error in the expressions (12) and (13) is of order \({\left( {\Delta t} \right)^2}\), so the error in \({{\varvec{u}}_b}\) is quartered when \(\Delta t\) is halved.

Substituting the relations for \({\dot {{\varvec{u}}}_b}\left( t \right)\) and \({\ddot {{\varvec{u}}}_b}\left( t \right)\), from (12) and (13), respectively, into Eq. (11), and rearranging terms, gives:

$$\begin{aligned} \left[ {\frac{1}{{{{\left( {\Delta t} \right)}^2}}}{{\varvec{m}}_b}+\frac{1}{{2\Delta t}}\left( {{{\varvec{c}}_b}+{{\varvec{c}}_1}} \right)} \right]{{\varvec{u}}_b}\left( {t+\Delta t} \right)= & - {{\varvec{m}}_b}{{\varvec{R}}_b}{{\ddot {{\varvec{u}}}}_g}\left( t \right) - {{\varvec{c}}^T}{{\dot {{\varvec{u}}}}_s}\left( t \right) - {{\varvec{k}}^T}{{\varvec{u}}_s}\left( t \right) - {{\varvec{f}}_n}\left( {{{\varvec{u}}_b}\left( t \right),{{\dot {{\varvec{u}}}}_b}\left( t \right)} \right) \\ & \;+\left[ {\frac{2}{{{{\left( {\Delta t} \right)}^2}}}{{\varvec{m}}_b} - {{\varvec{k}}_b} - {{\varvec{k}}_1}} \right]{{\varvec{u}}_b}\left( t \right)+\left[ { - \frac{1}{{{{\left( {\Delta t} \right)}^2}}}{{\varvec{m}}_b}+\frac{1}{{2\Delta t}}\left( {{{\varvec{c}}_b}+{{\varvec{c}}_1}} \right)} \right]{{\varvec{u}}_b}\left( {t - \Delta t} \right)~,~ \\ \end{aligned}$$
(14)

from which \({{\varvec{u}}_b}\left( {t+\Delta t} \right)\) can be evaluated.

In Eq. (14), \({{\varvec{u}}_b}\left( {t - \Delta t} \right)\), \({{\varvec{u}}_b}\left( t \right)\), \({{\varvec{u}}_s}\left( t \right)\) and \({\dot {{\varvec{u}}}_s}\left( t \right)\) are assumed known from implementation of the procedure for the preceding time steps. In order to calculate the solution at time \(\Delta t\), a special starting procedure must be used. Since \({{\varvec{u}}_b}\left( 0 \right)\), \({\dot {{\varvec{u}}}_b}\left( 0 \right)\) and \({\ddot {{\varvec{u}}}_b}\left( 0 \right)\) are known at time \(t=0\), \({{\varvec{u}}_b}\left( { - \Delta t} \right)\) can be obtained using the following relation [2]:

$${{\varvec{u}}_b}\left( { - \Delta t} \right)={{\varvec{u}}_b}\left( 0 \right) - \Delta t~{\dot {{\varvec{u}}}_b}\left( 0 \right)+\frac{{{{\left( {\Delta t} \right)}^2}}}{2}{\ddot {{\varvec{u}}}_b}\left( 0 \right)~.$$
(15)

The resultant nonlinear forces vector of the base isolation system \({{\varvec{f}}_n}\) depends on the response at time \(t\) and could be function of both displacement and velocity, according to the explicit nonlinear force–displacement relation used to model each seismic isolator. The base isolation system velocity vector at time \(t\) can be evaluated in terms of displacement vectors using the three-point backward difference approximation [9]:

$${\dot {{\varvec{u}}}_b}\left( t \right)=\frac{1}{{2~\Delta t}}\left[ { - 4~{{\varvec{u}}_b}\left( {t - \Delta t} \right)+3{{\varvec{u}}_b}\left( t \right)+{{\varvec{u}}_b}\left( {t - 2\Delta t} \right)} \right]~.$$
(16)

The error in the expression (16) is of order \({\left( {\Delta t} \right)^2}\). It is worth noting that the base isolation system velocity vector at time \(t\) can not be determined by using Eq. (12) because \({{\varvec{u}}_b}\left( {t+\Delta t} \right)\) is unknown.

3.2 Implicit integration substep

The implicit time integration method adopted to compute the linear response of the superstructure is the second order Newmark’s constant average acceleration method which is one of the most effective and popular implicit methods, especially for the linear and nonlinear time history analysis of civil structures.

In the implicit integration substep, the equations of motion at time \(t+\Delta t\) are used to evaluate the superstructure displacement vector \({{\varvec{u}}_s}\) for time \(t+\Delta t\). Hence, writing the second set of \(nts\) dynamic equilibrium equations of the 3D discrete structural model at time \(t+\Delta t\) gives:

$${{\varvec{M}}_s}{\ddot {{\varvec{u}}}_s}\left( {t+\Delta t} \right)+{{\varvec{C}}_s}{\dot {{\varvec{u}}}_s}\left( {t+\Delta t} \right)+{{\varvec{K}}_s}{{\varvec{u}}_s}\left( {t+\Delta t} \right)+{\varvec{c}}{\dot {{\varvec{u}}}_b}\left( {t+\Delta t} \right)+{\varvec{k}}{{\varvec{u}}_b}\left( {t+\Delta t} \right)= - {{\varvec{M}}_s}{{\varvec{R}}_s}{\ddot {{\varvec{u}}}_g}\left( {t+\Delta t} \right)~.~$$
(17)

This method is based on the assumption that the variation of acceleration over a time step is constant, equal to the average acceleration. Taking constant time steps, the expressions for the superstructure velocity and acceleration vectors at time \(t+\Delta t\) are:

$${\dot {{\varvec{u}}}_s}\left( {t+\Delta t} \right)=\frac{2}{{\Delta t}}\left[ {{{\varvec{u}}_s}\left( {t+\Delta t} \right) - {{\varvec{u}}_s}\left( t \right)} \right] - {\dot {{\varvec{u}}}_s}\left( t \right),$$
(18)
$${\ddot {{\varvec{u}}}_s}\left( {t+\Delta t} \right)=\frac{4}{{{{\left( {\Delta t} \right)}^2}}}\left[ {{{\varvec{u}}_s}\left( {t+\Delta t} \right) - {{\varvec{u}}_s}\left( t \right)} \right] - \frac{4}{{\Delta t}}{\dot {{\varvec{u}}}_s}\left( t \right) - {\ddot {{\varvec{u}}}_s}\left( t \right).$$
(19)

Substitution of these two expressions for \({\dot {{\varvec{u}}}_s}\left( {t+\Delta t} \right)\) and \({\ddot {{\varvec{u}}}_s}\left( {t+\Delta t} \right)\) into Eq. (17) gives:

$$\begin{aligned} \left[ {\frac{4}{{{{\left( {\Delta t} \right)}^2}}}{{\varvec{M}}_s}+\frac{2}{{\Delta t}}{{\varvec{C}}_s}+{{\varvec{K}}_s}} \right]{{\varvec{u}}_s}\left( {t+\Delta t} \right)= & - {{\varvec{M}}_s}{{\varvec{R}}_s}{{\ddot {{\varvec{u}}}}_g}\left( {t+\Delta t} \right) - {\varvec{c}}~{{\dot {{\varvec{u}}}}_b}\left( {t+\Delta t} \right) - {\varvec{k}}~{{\varvec{u}}_b}\left( {t+\Delta t} \right) \\ & \;+\left[ {\frac{4}{{{{\left( {\Delta t} \right)}^2}}}{{\varvec{M}}_s}+\frac{2}{{\Delta t}}{{\varvec{C}}_s}} \right]{{\varvec{u}}_s}\left( t \right)+\left[ {\frac{4}{{\Delta t}}{{\varvec{M}}_s}+{{\varvec{C}}_s}} \right]{{\dot {{\varvec{u}}}}_s}\left( t \right)+{{\varvec{M}}_s}{{\ddot {{\varvec{u}}}}_s}\left( t \right)~.~ \\ \end{aligned}$$
(20)

In order to solve for \({{\varvec{u}}_s}\left( {t+\Delta t} \right)\), first the base isolation system velocity vector at time \(t+\Delta t\) has to be predicted. This vector can be computed in terms of displacement vectors using the three-point backward difference approximation [9]:

$${\dot {{\varvec{u}}}_b}\left( {t+\Delta t} \right)=\frac{1}{{2~\Delta t}}\left[ { - 4~{{\varvec{u}}_b}\left( t \right)+3{{\varvec{u}}_b}\left( {t+\Delta t} \right)+{{\varvec{u}}_b}\left( {t - \Delta t} \right)} \right]~.~$$
(21)

The error in the expression (21) is of order \({\left( {\Delta t} \right)^2}\).

The use of a modal representation for the superstructure, assumed to remain elastic, can reduce the computational cost of the nonlinear time history analysis.

3.3 Stability aspects

The proposed mixed explicit–implicit time integration method is conditionally stable because the second order central difference method is employed in the Explicit Integration Substep to compute the nonlinear response of the base isolation system. As will be shown in Sect. 4, in seismically isolated structures the typical low stiffness value of the base isolation system generally allows one to have a critical time step \(\Delta {t_{cr}}\) larger than the short time step used to define the ground acceleration accurately.

Considering the 2D discrete structural model of a base-isolated structure with only linear isolation elements and neglecting the superstructure and base isolation system viscous damping, the dynamic equilibrium Eq. (11) at time \(t\) becomes:

$${m_b}{\ddot {u}_b}\left( t \right)+\left( {{k_b}+{k_1}} \right)~{u_b}\left( t \right) - {k_1}{u_1}\left( t \right)= - {m_b}{\ddot {u}_g}\left( t \right)~.$$
(22)

The superstructure first floor displacement \({u_1}\) can be expressed in terms of \({u_b}\) as follows:

$${u_1}={u_b}+\alpha ~{u_b}~,~$$
(23)

where the first term is the base isolation system displacement relative to the ground while the last term is the superstructure first floor displacement relative to the base isolation system; generally, the latter is very small compared to the former (i.e., \(\alpha <<1\)).

Dividing Eq. (22) by \({m_b}\), the dynamic equilibrium equation becomes:

$${\ddot {u}_b}\left( t \right)+\frac{{\left( {{k_b} - \alpha ~{k_1}} \right)}}{{{m_b}}}~{u_b}\left( t \right)= - {\ddot {u}_g}\left( t \right)~.~$$
(24)

Substituting the central difference expression for the acceleration at time \(t\) into Eq. (24) and solving for \({u_b}\left( {t+\Delta t} \right)\) gives:

$${u_b}\left( {t+\Delta t} \right)=\left[ {2 - ~\frac{{\Delta {t^2}}}{{{m_b}}}~\left( {{k_b} - \alpha ~{k_1}} \right)} \right]{u_b}\left( t \right) - {u_b}\left( {t - \Delta t} \right) - \Delta {t^2}~{\ddot {u}_g}\left( t \right)~.$$
(25)

Equation (25) can be written as:

$$\left\{ {\begin{array}{*{20}{c}} {{u_b}\left( {t+\Delta t} \right)} \\ {{u_b}\left( t \right)~~~~~~~~~~} \end{array}} \right\}={\varvec{A}}~\left\{ {\begin{array}{*{20}{c}} {{u_b}\left( t \right)~~~~~~~~~~} \\ {{u_b}\left( {t - \Delta t} \right)} \end{array}} \right\} - {\varvec{L}}~{\ddot {u}_g}\left( t \right)~,~$$
(26)

with:

$${\varvec{A}}=\left[ {\begin{array}{ll} {2 - ~\frac{{\Delta {t^2}}}{{{m_b}}}~\left( {{k_b} - \alpha ~{k_1}} \right)} &{ - 1} \\ 1&{~~~0} \end{array}} \right],\quad {\varvec{L}}=\left\{ {\begin{array}{c} {\Delta {t^2}} \\ 0 \end{array}} \right\}~,~~$$

where \({\varvec{A}}\) and \({\varvec{L}}\) are the integration approximation and load operators, respectively [2].

Since the stability of an integration method is determined by examining the behavior of the numerical solution for arbitrary initial conditions, it is possible to consider the integration of Eq. (22) when load is absent (i.e., \({\ddot {u}_g}=0\)).

In order to ca1culate the spectral radius of the approximation operator \({\varvec{A}}\), the following eigenvalue problem has to be solved:

$$\left[ {\begin{array}{ll} {2 - ~\frac{{\Delta {t^2}}}{{{m_b}}}~\left( {{k_b} - \alpha ~{k_1}} \right)}&{ - 1} \\ {1}&{~~~0} \end{array}} \right]{\varvec{u}}~=~\lambda {\varvec{u}}~.$$
(27)

The eigenvalues are the roots of the characteristic polynomial \(\rho \left( \lambda \right)\), defined as:

$$\rho \left( \lambda \right)=\left[ {2 - ~\frac{{\Delta {t^2}}}{{{m_b}}}~\left( {{k_b} - \alpha ~{k_1}} \right) - \lambda } \right]\left( { - \lambda } \right)+1~.$$
(28)

Hence:

$${\lambda _{1,2}}=\frac{1}{2}\left[ {2 - ~\frac{{\Delta {t^2}}}{{{m_b}}}~\left( {{k_b} - \alpha ~{k_1}} \right)} \right] \pm \sqrt {~\frac{1}{4}~{{\left[ {2 - ~\frac{{\Delta {t^2}}}{{{m_b}}}~\left( {{k_b} - \alpha ~{k_1}} \right)} \right]}^2} - 1} ~.~$$
(29)

For stability the absolute values of \({\lambda _1}\) and \({\lambda _2}\) have to be smaller than or equal to 1 and this allows one to evaluate the critical time step \(\Delta {t_{cr}}\) of the Explicit Integration Substep:

$$\Delta {t_{cr}}=\frac{T}{\pi }=2\sqrt {\frac{{{m_b}}}{{{k_b} - \alpha ~{k_1}}}} ~.$$
(30)

The same time step stability limit is also applicable when the viscous damping is not neglected [2].

It is important to note that the highest horizontal stiffness of each seismic isolator has to be used in order to evaluate \(\Delta {t_{cr}}\) and that \(\alpha\) can be assumed equal to zero. In practice, since all isolation bearings are modeled by a bilinear model in which the post-yield stiffness is generally smaller than the initial elastic stiffness [23], the pre-yield stiffness of each isolator has to be chosen to determine \(\Delta {t_{cr}}\).

Considering the 3D discrete structural model of a base-isolated structure, the critical time step \(\Delta {t_{cr}}\) can be evaluated considering the lower natural period given by the following eigenvalue problem:

$${\varvec{k}}_{b}^{h}\phi ={{\varvec{m}}_b}\phi ~{\varvec{\varOmega}^2}~,~$$
(31)

where \({\varvec{k}}_{b}^{h}\) is the stiffness matrix of the base isolation system assembled using the highest horizontal stiffness of each nonlinear element.

4 Analysis of a 3D base-isolated structure

In the following, the nonlinear dynamic response of a 3D base-isolated structure subjected to bidirectional earthquake excitation is predicted using the proposed mixed explicit–implicit time integration method. The plane and the elevation of the analyzed structure are shown in Fig. 1.

Fig. 1
figure 1

Two-story reinforced concrete base-isolated structure: a elevation; b plan

The superstructure is a two-story reinforced concrete structure with vertical geometric irregularity, plan dimensions \(2{l_1}~x~2{l_2}\), where \({l_1}=5~\;{\text{m}}\) and \({l_2}=4~\;{\text{m}}\), and story height \(h=3.5\;~{\text{m}}\). The weight of the superstructure is 1802.9 \({\text{kN}}\) and the first three natural periods are \({T_{s1}}=0.15\;~{\text{s}},\) \({T_{s2}}=0.14\;~{\text{s}}\) and \({T_{s3}}=0.10~\;{\text{s}}\), respectively. Each superstructure diaphragm mass includes the contributions of the dead load and live load on the floor diaphragm and the contributions of the structural elements and of the nonstructural elements between floors. As a result of the kinematic constraints assumed in Sect. 2.1 for the superstructure, the total number of the superstructure dofs, defined relative to the ground, is equal to 6.

The base isolation system, having a total weight of 914.9 kN, consists of seismic isolation bearings and a full diaphragm above the isolation devices. Because of the kinematic constraints adopted in Sect. 2.1 for the base isolation system, the total number of the isolation system dofs, defined relative to the ground, is equal to 3. Two types of base isolation systems are considered: base isolation system with lead rubber bearings (LRBS) and base isolation system with friction pendulum bearings (FPBS).

Bidirectional earthquake excitation is imposed with component SN and SP of the 1994 Northridge motion applied along directions \(X\) and \(Y\) of the global coordinate system, respectively. The ground acceleration record time step is 0.005 s. It is important to note that normally 200 points per second are used to define accurately an acceleration record, and that the time step of the ground motion can be reduced through linear interpolation because it is generally assumed that the acceleration function is linear within each time increment [34].

4.1 Dynamic response of the 3D base-isolated structure with lead rubber bearings

The base isolation system consists of 9 lead rubber bearings placed under the superstructure columns and modeled using a mathematical model capable of modeling both uniaxial and biaxial behavior of elastomeric and sliding bearings [24]. For the \(j\)-th elastomeric bearing, the nonlinear restoring forces along the orthogonal directions \(X\) and \(Y\) are described by the following equations:

$$f_{{nx}}^{{~\left( {bj} \right)}}=~\alpha ~\frac{{{F_y}}}{y}u_{x}^{{\left( {bj} \right)}}~+~\left( {1 - \alpha } \right)~{F_y}~z_{x}^{{\left( {bj} \right)}}\quad f_{{ny}}^{{~\left( {bj} \right)}}=~\alpha ~\frac{{{F_y}}}{y}u_{y}^{{\left( {bj} \right)}}~+~\left( {1 - \alpha } \right)~{F_y}~z_{y}^{{\left( {bj} \right)}}$$
(32)

where \(\alpha\) is the post-yield to the pre-yield stiffness ratio, \({F_y}\) is the yield force and \(y\) is the yield displacement. The dimensionless variables \(z_{x}^{{\left( {bj} \right)}}\) and \(z_{y}^{{\left( {bj} \right)}}\) are governed by the following system of two differential equations proposed by Park et al. [27]:

$$\left\{ {\begin{array}{*{20}{c}} {\dot {z}_{x}^{{\left( {bj} \right)}}y} \\ {} \\ {\dot {z}_{y}^{{\left( {bj} \right)}}y} \end{array}} \right\}=\left\{ {\begin{array}{*{20}{c}} {A\dot {u}_{x}^{{\left( {bj} \right)}}} \\ {} \\ {A\dot {u}_{y}^{{\left( {bj} \right)}}} \end{array}} \right\} - \left[ {\begin{array}{*{20}{c}} {{{\left( {z_{x}^{{\left( {bj} \right)}}} \right)}^2}\left[ {\gamma ~sign~\left( {\dot {u}_{x}^{{\left( {bj} \right)}}z_{x}^{{\left( {bj} \right)}}} \right)+\beta } \right]} \\ {} \\ {z_{x}^{{\left( {bj} \right)}}z_{y}^{{\left( {bj} \right)}}~\left[ {\gamma ~sign~\left( {\dot {u}_{x}^{{\left( {bj} \right)}}z_{x}^{{\left( {bj} \right)}}} \right)+\beta } \right]} \end{array}\begin{array}{*{20}{c}} {z_{x}^{{\left( {bj} \right)}}z_{y}^{{\left( {bj} \right)}}~\left[ {\gamma ~sign~\left( {\dot {u}_{y}^{{\left( {bj} \right)}}z_{y}^{{\left( {bj} \right)}}} \right)+\beta } \right]} \\ {} \\ {{{\left( {z_{y}^{{\left( {bj} \right)}}} \right)}^2}~\left[ {\gamma ~sign~\left( {\dot {u}_{y}^{{\left( {bj} \right)}}z_{y}^{{\left( {bj} \right)}}} \right)+\beta } \right]} \end{array}} \right]\left\{ {\begin{array}{*{20}{c}} {\dot {u}_{x}^{{\left( {bj} \right)}}} \\ {} \\ {\dot {u}_{y}^{{\left( {bj} \right)}}} \end{array}} \right\},$$
(33)

in which \(A\), \(\gamma\) and \(\beta\) are dimensionless quantities that control the shape of the hysteresis loop. Furthermore, \(u_{x}^{{\left( {bj} \right)}}\), \(u_{y}^{{\left( {bj} \right)}}\) and \(\dot {u}_{x}^{{\left( {bj} \right)}}\), \(\dot {u}_{y}^{{\left( {bj} \right)}}\) are the displacements and velocities that occur at the \(j\)-th isolation device, respectively. Constantinou et al. [8] have shown that the interaction curve between the nonlinear restoring forces in the two directions is circular only when the condition \(A/\left( {\gamma +\beta } \right)=1\) is satisfied; accordingly, in the present study, \(A=1\), \(\gamma =0.5\) and \(\beta =0.5\). The unconditionally stable semi-implicit Runge–Kutta method [31] is employed to solve the differential equations governing the behavior of each nonlinear isolation element with a number of steps equal to 50.

The base isolation system has been designed in order to provide an effective isolation period \({T_{eff}}=2.25\;{\text{s}}\) and an effective viscous damping \({\upsilon _{eff}}=0.15\) at the design displacement \({D_d}=0.50\;{\text{m}}\). Each elastomeric bearing has a yield force \({F_y}=31422\;~{\text{N}}\), a yield displacement \(y=0.017~\;{\text{m}}\) and a post-yield to pre-yield stiffness ratio \(\alpha =0.10.\)

Tables 1 and 2 compare the maximum and minimum displacements of the base isolation system mass center \(M{C_b}\) and the maximum and minimum accelerations, relative to the ground, of the second story mass center \(M{C_2}\) in \(X\) and \(Y\) directions, obtained for two different values of time step using the proposed Mixed Explicit–Implicit time integration Method (MEIM) and the Pseudo-Force Method (PFM), both implemented on the same computer (Intel® Core™ i7-4700MQ processor, CPU at 2.40 GHz with 16 GB of RAM) by using the computer program Matlab and verified using SAP2000. In the pseudo-force method the adopted convergence tolerance value is equal to \({10^{ - 8}}\).

Table 1 NLTHAs results with \(\Delta t=0.005~\;{\text{s}}\) (LRBS)
Table 2 NLTHAs results with \(\Delta t=0.001\;~{\text{s}}\) (LRBS)

The two values of time step used in the Nonlinear Time History Analyses (NLTHAs) are 0.005 and 0.001 s. Since the critical time step \(\Delta {t_{cr}}\), evaluated using Eq. (30) and considering the lower natural period given by the eigenvalue problem in Eq. (31), is equal to 0.32 s, it is clear that there are no stability problems. Note that the mixed explicit–implicit time integration method continues to reduce the computational effort even when a smaller time step, which allows one to minimize the error in Eqs. (16) and (21), is used (i.e. \(\Delta t=0.001~~\;{\text{s}}\)). It must be emphasized that the comparisons using the total computational time \(tct\) are meaningful only qualitatively because it depends on the CPU speed, memory capability and background processes of the computer used to obtain the previous results. To this end, in order to normalize the computational time results, Tables 1 and 2 also show the percentage of the MEIM total computational time evaluated with respect to the PFM \(tct\) as follows: \(tctp~\left[ \% \right]=~\left( {{\text{MEIM}}~tct~/~{\text{PFM}}~tct} \right) \cdot 100~.\)

The two plots in Fig. 2 show the nonlinear restoring force–displacement hysteresis loop of Isolator 1, illustrated in Fig. 1b, in the \(X\) and \(Y\) directions, respectively.

Fig. 2
figure 2

Nonlinear restoring force–displacement hysteresis loop of isolator 1: a \(X\); b \(Y\) directions

4.2 Dynamic response of the 3D base-isolated structure with friction pendulum bearings

The base isolation system consists of 9 friction pendulum bearings placed under the superstructure columns and modeled using the previous mathematical model [24]. For a friction pendulum bearing, the nonlinear restoring forces along the orthogonal directions \(X\) and \(Y\) are described by the following equations:

$$f_{{nx}}^{{~\left( {bj} \right)}}=~\frac{{{N^{\left( {bj} \right)}}}}{R}~u_{x}^{{\left( {bj} \right)}}+~\mu ~{N^{\left( {bj} \right)}}~z_{x}^{{\left( {bj} \right)}}\quad f_{{ny}}^{{~\left( {bj} \right)}}=~\frac{{{N^{\left( {bj} \right)}}}}{R}~u_{y}^{{\left( {bj} \right)}}+~\mu ~{N^{\left( {bj} \right)}}~z_{y}^{{\left( {bj} \right)}},$$
(34)

in which \({N^{\left( {bj} \right)}}\) is the vertical load carried by the \(j\)-th bearing, \(\mu\) is the coefficient of sliding friction which depends on the bearing pressure and the instantaneous velocity of sliding, \(z_{x}^{{\left( {bj} \right)}}\) and \(z_{y}^{{\left( {bj} \right)}}\) are dimensionless variables governed by the system of two differential equations given in Eq. (33).

The base isolation system has been designed in order to provide an effective isolation period \({T_{eff}}=2.25~\;{\text{s}}\) and an effective viscous damping \({\upsilon _{eff}}=0.10\) at the design displacement \({D_d}=0.50~\;~{\text{m}}\). Each bearing has a radius of curvature of the spherical concave surface \(R=1.25~\;~{\text{m}}\), a sliding friction coefficient \(\mu =0.07\) and a yield displacement \(y=0.0002\;~{\text{m}}\). In this work, the vertical load \({N^{\left( {bj} \right)}}\) is assumed equal to the weight \({W^{\left( {bj} \right)}}\) acting on the \(j\)-th isolator and the dependency of the sliding friction coefficient on bearing pressure and sliding velocity is neglected.

Tables 3 and 4 compare the maximum and minimum displacements of the base isolation system mass center \(M{C_b}\) and the maximum and minimum accelerations, relative to the ground, of the second story mass center \(M{C_2}\) in \(X\) and \(Y\) directions, obtained for two different values of the time step using the proposed mixed explicit–implicit time integration method (MEIM) and the pseudo-force method (PFM).

Table 3 NLTHAs results with \(\Delta t=0.005~\;{\text{s}}\) (FPBS)
Table 4 NLTHAs results with \(\Delta t=0.001~~\;{\text{s}}\) (FPBS)

The two values of time step used in the nonlinear time history analyses are 0.005 and 0.001 s. Since the critical time step \(\Delta {t_{cr}}\), evaluated using Eq. (30) and considering the lower natural period given by the eigenvalue problem in Eq. (31), is equal to 0.015 s, it is evident that in this case, even if friction pendulum bearings have a very high initial stiffness value, there are no stability problems. It is important to note that the mixed explicit–implicit time integration method continues to reduce significantly the total computational effort even when a smaller time step is used (i.e. \(\Delta t=0.001\;{\text{s}}\)). Specifically, according to Tables 3 and 4, the mixed explicit–implicit method, performed with the smallest time step (\(\Delta t=0.001\;{\text{s}}\)), requires less computational effort than the pseudo-force method even if the latter is performed using the largest time step (\(\Delta t=0.005\;{\text{s}}\)): indeed, the MEIM total computational time percentage, referred to the PFM \(tct\) evaluated adopting \(\Delta t=0.005\;{\text{s}}\), is equal to 38.46%. It transpires that even when the time step size arising from stability requirements becomes smaller than the one used to define the ground acceleration accurately, as in the case of base isolation systems having isolators with very high initial stiffness (i.e., sliding bearings) or very high stiffness at large displacements (i.e., high damping rubber bearings), the proposed method preserves its computational efficiency with respect to conventional implicit time integration methods.

The two plots in Fig. 3 show the nonlinear restoring force–displacement hysteresis loop of the Isolator 1, illustrated in Fig. 1b, in the \(X\) and \(Y\) directions, respectively.

Fig. 3
figure 3

Nonlinear restoring force–displacement hysteresis loop of isolator 1: a \(X\); b \(Y\) directions

5 Conclusions

In this paper, the accuracy, the stability and the computational efficiency of a mixed explicit–implicit time integration method (MEIM) proposed for predicting the nonlinear response of base-isolated structures subjected to earthquake excitation have been investigated. Adopting the partitioned solution approach, currently used in most practical civil engineering problems due to the increasing complexity of structural models, the discrete structural model of a typical 3D base-isolated structure has been decomposed into two substructures, namely superstructure and base isolation system. Being the base isolation system much more flexible than the superstructure to decouple the latter from the earthquake ground motion, an explicit conditionally stable time integration method (i.e., central difference method) has been employed to evaluate the nonlinear base isolation system response and an implicit unconditionally stable time integration method (i.e., Newmark’s constant average acceleration method) has been adopted to predict the linear superstructure response with the remarkable benefit in avoiding the iterative procedure within each time step of a nonlinear time history analysis required by conventional implicit time integration methods.

The dynamic response of a 3D base-isolated structure subjected to bidirectional earthquake excitation has been analyzed using the proposed mixed explicit–implicit method. Two types of base isolation systems have been considered, namely, base isolation system with lead rubber bearings (LRBS) and base isolation system with friction pendulum bearings (FPBS), in order to investigate the use of the mixed time integration procedure also in the presence of isolators with very high initial stiffness such as the latter ones. The accuracy and the computational efficiency of the proposed mixed explicit–implicit method have been assessed by comparing the results with those obtained by using the two-step solution algorithm developed specifically for the analysis of base-isolated structures by Nagarajaiah et al. [24]. For brevity, in this paper, this implicit time integration method adopted in conjunction with the pseudo-force approach has been referred to as the Pseudo-Force Method (PFM).

From the numerical results presented in the paper, the following conclusions can be drawn:

  • As regards the accuracy, the proposed mixed explicit–implicit time integration method provides results that are close enough to those obtained adopting the pseudo-force method, for both two values of time step adopted in the nonlinear time history analyses of the 3D base-isolated structure with LRBS and FPBS. Both numerical methods, implemented on the same computer by using the computer program Matlab, have been verified using SAP2000.

  • As far as the stability is concerned, the proposed mixed explicit–implicit time integration method is conditionally stable because the central difference method is employed to predict the nonlinear response of the base isolation system. The low stiffness value of the base isolation system with lead rubber bearings (LRBS) allows one to have a critical time step considerably larger than the imposed ground acceleration record time step. Furthermore, the critical time step continues to be larger than the ground acceleration time step also in the case of base isolation system with friction pendulum bearings (FPBS) in spite of their very high initial stiffness.

  • Regarding the computational efficiency, the total computational time, \(tct\), required by the mixed explicit–implicit time integration method is significantly reduced in comparison to the pseudo-force method: the MEIM \(tct\) evaluated with respect to the PFM \(tct\) for a \(\Delta t=0.005\;{\text{s}}\) is equal to \(18.44~\%\) in the LRBS case and equal to \(7.86~\%\) in the FPBS case. In addition, the mixed explicit–implicit time integration method, performed with the smallest time step (\(\Delta t=0.001\;{\text{s}}\)), requires less computational effort than the pseudo-force method even if the latter is performed using the largest time step (\(\Delta t=0.005\;{\text{s}}\)): indeed, the MEIM total computational time percentage, referred to the PFM \(tct\) evaluated adopting \(\Delta t=0.005\;{\text{s}}\), is equal to 90.20% in the LRBS case and equal to 38.46% in the FPBS case. It transpires that even when the critical time step size arising from stability requirements becomes smaller than the one used to define the ground acceleration accurately, as in the case of base isolation systems having isolators with very high initial stiffness (i.e., sliding bearings) or very high stiffness at large displacements (i.e., high damping rubber bearings), the proposed method preserves its computational efficiency with respect to conventional implicit time integration methods.

It follows that the proposed mixed explicit–implicit time integration method can be effectively adopted in the context of earthquake engineering structural applications being a very efficient solution approach for the nonlinear time history analysis of base-isolated structures under seismic loads.