Abstract
The approximation of steadystate vibrations within nonlinear dynamical systems is wellestablished in academics and is becoming increasingly important in industry. However, the complexity and the number of degrees of freedom of applicationoriented industrial models demand efficient approximation methods for steadystate solutions. One possible approach to that problem are hybrid approximation schemes, which combine advantages of standard methods from the literature. The common ground of these methods is their description of the steadystate dynamics of a system solely based on the degrees of freedom affected directly by nonlinearity—the socalled nonlinear degrees of freedom. This contribution proposes a new hybrid method for approximating periodic solutions of systems with localised nonlinearities. The motion of the nonlinear degrees of freedom is approximated using the Finite Difference method, whilst the motion of the linear degrees of freedom is treated with the Harmonic Balance method. An application to a chain of oscillators showing stickslip oscillations is used to demonstrate the performance of the proposed hybrid framework. A comparison with both pure Finite Difference and Harmonic Balance method reveals a noticeable increase in efficiency for larger systems, whilst keeping an excellent approximation quality for the strongly nonlinear solution parts.
Introduction and literature review
The literature provides a variety of methods for the direct numerical approximation of steadystate solutions of nonlinear systems. These methods typically form an algebraic equation system (AES) of the form \(\varvec{F}(\varvec{X})=\varvec{0}\) that can be solved e.g. by Newtonlike schemes. To name some representatives, the Harmonic Balance (HB), Finite Difference (FD) and Shooting (SH) method [5, 15, 18] are capable of approximating periodic motions and can also be extended to quasiperiodic solutions [1, 6, 16]. These approaches based on an AES are suitable for both stable and unstable solutions, but can differ significantly in their numerical convergence speed depending on the problem.
The analysis of steadystate motions is also of particular interest for practitioners and engineers. With this use and application case in mind, the present publication focusses on a class of mechanical structures, where nonlinearities are limited to smaller (local) areas, e.g. contacts or joints causing frictional forces. Here, this leads to a few degrees of freedom (DoF) whose equations of motion involve strong nonlinear terms—the socalled nonlinear degrees of freedom. These potentially exhibit locally strong nonlinear behaviour. In such cases, it is necessary to obtain a detailed picture of the steadystate dynamics and it is consequently essential to resolve the DoF with nonlinear behaviour more finely.
There are two ways to locally improve the accuracy of a corresponding method: On the one hand, this can be handled within the computational method itself, as it was realized in [9] for the HB method. Here, a harmonic selection technique is utilized to enhance accuracy by increasing the number of higher harmonics of the Fourier series for DoFs showing a strong nonlinear dynamic behaviour. For an FD scheme, it is possible to increase the discrete resolution in time for certain degrees of freedom, as proposed in [13] for timedomain methods.
On the other hand, approximation methods typically have different strengths making them more suitable for certain problems. As an example, the HB is very efficient if only a few harmonics are needed to approximate a solution. This is typically the case for weakly nonlinear problems [19, p. 131]. The FD may be better suited for strongly nonlinear problems [1]. The SH method on the other hand becomes problematic when dealing with highly repulsive solutions.^{Footnote 1}
For the case of systems with strong local nonlinearities discussed here, the combination of two different computation methods into a hybrid approximation framework is a promising approach. Strengths can be combined and weaknesses mitigated thereby increasing computational efficiency. The basic idea is a partitioning of the DoF of the system into a nonlinear and a linear node set [6, 17, 21], where different approximation methods will be chosen for each set. The nodes coupling the linear and nonlinear set need to be addressed by both methods. The resulting AES is then solved by Newtonlike methods.
This approach of partitioning the system into a linear and a nonlinear part, and combining individual methods to hybrid approximations schemes is common in literature [4, 6, 21, 22, 24]. Surveying different approaches reveals that vibrations of the linear subsystem are almost always approximated using HB (cf. Table 1). For the linear part, the HBmethod yields the frequency response matrix for a defined frequency range and thus allows for an efficiently determination of the steadystate response to an excitation. In particular, this frequency response matrix can be explicitly stated in analytical form. In this context, the excitation of the linear subsystems may either stem from external forces or from the adjacent nonlinear subsystem, which is coupled in the sense of a MasterSlave reduction. In a way, this reduction^{Footnote 2} is similar to dynamic condensation, which is often employed in the context of model order reduction [14, 24].
Although the linear and nonlinear equations of motion are coupled, there are no general restrictions on the selection of the approximation method for the nonlinear subsystem. Common choices are Shooting (i.e. time domain) or Harmonic Balance (i.e. frequency domain), which yield the following hybrid approximation schemes (cf. Table 1):

Scheme 1 [21, 22], which is based on combining a SH method for the nonlinear node set with a HB method for the linear set. The main advantage of this hybrid method is the ability of selecting a specific numerical time integration (NTI) scheme. This is beneficial when dealing with nonsmooth dynamical systems involving e.g. nonsmooth friction or impacts. However, the Jacobian matrix is evaluated numerically, which increases the computational effort for systems with a high numbers of nonlinear nodes [22].

Scheme 2 [4, 6, 24] is based on combining two HB schemes for the linear as well as for the nonlinear subsystem. The resulting AES depends only on the Fourier coefficients of the nonlinear nodes which are chosen as masternodes while the linear nodes are treated as dependent slave nodes. Thus, no costly transformations from time to frequency domain of the adjacent nonlinear nodes are needed. Nevertheless, the resulting AES for the Fourier coefficients of the nonlinear subsystem may show poor conditioning regarding numerical convergence for strong nonlinear behaviour. One reason can be seen in the global ansatz functions of the HB scheme, resulting in extensive coupling of the algebraic equations and thus a fully populated Jacobian matrix. Here, changing of one single entry of the solution vector causes various shifts in the residual equations which may lead to poor convergence.

Scheme 3 In this paper, a new hybrid approximation scheme for steadystate vibrations is presented which combines the HB and the FD method (cf. also [12]). Here, the FD method is used to solve the nonlinear node set, yielding a band structured Jacobian matrix that can be specified with adequate knowledge of the nonlinear forces analytically. In contrast to the SH method—that follows the flow of the ODE within the NTI scheme, with periodicity explicitly enforced by the associated AES—the periodicity and thus the corresponding boundary value problem is fulfilled a priori by the FD approximation. Hence, FD is less sensitive to initial conditions of a Newtonlike method when approximating highly repulsive solutions [19, p. 129]. Furthermore, both FD and HB can handle differentialalgebraic equations.^{Footnote 3} without much effort [15, p. 27]. In conjunction with the analytical evaluation of the linear nodes’ motion, these properties are promising prerequisites for an efficient and fast converging computational method.
This contribution is divided into three parts. The first part deals with the identification and separation of the linear and nonlinear node sets. In addition, the local nonlinearities considered within this contribution are defined. The second part is dedicated to the proposed Finite Difference/Harmonic Balance (FD/HB) method itself with a more detailed view on how the steadystate dynamics of a mechanical system^{Footnote 4} can be condensed to the nonlinear node set. Therefore, a general treatment of the linear domain is suggested with a transformation in frequency domain by employing the Fourier transform. This section proceeds with the application to periodic solutions and finally the derivation of the algebraic equation system of the proposed method. The third part gives an application to a selfexcited system showing periodic stickslip vibrations. A reference solution is defined and followed by demonstrating the performance of the proposed method compared to both FD and HB approximation applied to the whole system. Finally, the results are discussed and a conclusion and outlook are given.
Mechanical systems with localised nonlinearities
The basic idea of the proposed framework is to increase efficiency and accuracy by applying different numerical approximation schemes to the nonlinear and linear parts of the equations of motion (EOM) of a mechanical system. In a first step, the DoF subjected to only linear terms are grouped into a set \(\Gamma _{\text {(L)}}\) denoted as the linear nodes. The remaining DoF are collected in the set \(\Gamma _{\text {(N)}}\) and referred to as nonlinear nodes.^{Footnote 5}
Now the vector \(\varvec{u}(t)\) containing all DoF of the system can be split into two coordinate vectors \(\varvec{u}_\text {N}(t) \in \Gamma _{\text {(N)}}\) and \(\varvec{u}_\text {L}(t)\in \Gamma _{\text {(L)}}\) in which all \(N_{\text {N}}\) nonlinear and \(N_{\text {L}}\) linear DoF are collected separately. This subdivision is illustrated in Fig. 1 and can efficiently be introduced by means of a permutation of coordinates in \(\varvec{u}(t)\)^{Footnote 6}. Inserting this permutation into the EOM and partitioning the matrices results in
Here, all linear forces are expressed by corresponding matrices while \(\varvec{f}_\text {N}\left( \varvec{u}_\text {N},\dot{\varvec{u}}_\text {N}\right) \) collects all remaining nonlinear forces. Please note that there are no nonlinear couplings between the subsystems by definition: all coupling terms are linear and are completely described by the offdiagonal block matrices indexed with NL and LN.
Before embedding Eq. (1) into the proposed framework, some further comments on the notation of the localised nonlinear forces shall be given. In general, there is no generic mathematical structure for the nonlinear forces \(\varvec{f}_\text {N}(\varvec{u}_\text {N},\dot{\varvec{u}}_\text {N})\). However, since this contribution is focussed on localised nonlinearities, a closed analytical form for this class of nonlinear forces can be found, which was adopted from Krack and Gross [15, p. 141]. For example, if the relative motion of an ith and jth DoF causes a cubic restoring force \(\varvec{f}_{\text {cubic}}(\varvec{u}_\text {N})\) between each other, this force has to be considered only within the ith and jth equation of the momentum balance. Since no other DoF is (directly) affected by this cubic restoring force, the force vector may be written
where \(\gamma \) is some parameter and \(\varvec{a}\in \mathbb {R}^{N_{\text {N}}\times 1}\) only contains zeros except \(a_i=1\) and \(a_j=1\). Here, the actual values of \(\varvec{u}_\text {N}\) are projected onto the vector \(\varvec{a}\), so that only the relative deflection of the ith and jth entry is used to calculate the local cubic restoring force \(f(u) = \gamma u^3\). The evaluated force law is then multiplied by \(\varvec{a}\) to get the nonlinear force vector that can be added within the global momentum balance Eq. (1).
Hence, local nonlinear effects influence only the DoF located in the same (small) area. As a popular example, friction in joints or contacts act locally since in general the friction force is not directly affected by state variables outside the contact zone. Since e.g. friction is (mostly modelled as) velocity dependent, the example shown in Eq. (2) has to be extended. A more general notation of \(N_{\text {nl}}\) local nonlinear forces summing up to \(\varvec{f}_\text {N}\) is given by
where \(\varvec{a}_{k},\varvec{b}_{k},\varvec{c}_{k}\in \mathbb {R}^{N_{\text {N}}\times 1}\) are vectors containing integers. Here, \(\varvec{a}_{k}\) selects the affected rows of the momentum balance in Eq. (1) and the \(\varvec{b}_{k}\) and \(\varvec{c}_{k}\) the affected DoF. The local nonlinear behaviour is described by a scalar function
This mathematical structure of \(\varvec{f}_\text {N}(\varvec{u}_\text {N},\dot{\varvec{u}}_\text {N})\) is not mandatory for the hybrid approximation method discussed below. However, it offers significant advantages since it allows for an analytical derivation of the Jacobian matrix and, thus, an efficient numerical solution of the nonlinear AES.
Hybrid approximation method
The proposed hybrid approximation method intends to combine the advantages of HB and FD. To this end, the HB is applied to the linear subsystem in order to transform the problem to the frequency domain: this yields an algebraic relation between the amplitudes of the excitation and the stationary frequency response of linear part. Using this relation allows for expressing the linear DoFs (slave coordinates) as functions of the nonlinear master DoFs and thus reduce the dimension of the problem. In a second step, the FD method is used for approximating the periodic motion of the entire system described by the nonlinear master DoFs \(\varvec{u}_\text {N}(t)\). Since both approaches apply to different domains, spectraltemporal transformations will be necessary.
System dynamics expressed by the nonlinear node set
Introducing the abbreviations \( \varvec{f}_\text {C}^{\text {(N)}}\) and \( \varvec{f}_\text {C}^{\text {(L)}}\) into equation (1) yields
These forces \(\varvec{f}_\text {C}^{\text {(N)}}(\varvec{u}_\text {L},\dot{\varvec{u}}_\text {L},\ddot{\varvec{u}}_\text {L})\) and \(\varvec{f}_\text {C}^{\text {(L)}}(\varvec{u}_\text {N},\dot{\varvec{u}}_\text {N},\ddot{\varvec{u}}_\text {N})\) stem from the interaction of the nonlinear and linear subsystems and are denoted as coupling forces. Equations (5b) is fully linear within both nonlinear and linear DoF and thus an evaluation within frequency domain is reasonable. First, applying the Fourier transformation (FT) \(\mathcal {F}\left\{ \cdot \right\} \) gives
of both the nonlinear and linear set \(\varvec{u}_\text {N}(t)\) and \(\varvec{u}_\text {L}(t)\) and of the external forces \(\varvec{f}^{\text {(L)}}_\text {EX}(t)\). By inserting into Eq. (5b), a linear dependence from \({\varvec{U}}_\text {N}(\text {j}\tilde{\omega })\) to \({\varvec{U}}_\text {L}(\text {j}\tilde{\omega })\) is given by
with \(\varvec{G}_{{ij}}(\text {j}\tilde{\omega })=(\text {j}\tilde{\omega })^2 {\varvec{M}} _ {{ij}} + (\text {j}\tilde{\omega }) {\varvec{P}} _ {{ij}} + {\varvec{C}} _ {{ij}} \,\), \(i,j\in \{N,L\}\) being the dynamical stiffness matrix that describes the influence from the jth on the ith domain. The continuous frequency axis of the frequency domain is denoted by \(\tilde{\omega }\). Multiplication with the inverse of \(\varvec{G}_{\text {LL}}(\text {j}\tilde{\omega })\) gives the Fourier transform
of the linear subset \(\varvec{u}_\text {L}(t)\) that is directly dependent on the FT of the nonlinear subset \(\varvec{u}_\text {N}(t)\) and the forcing \(\varvec{f}^{\text {(L)}}_\text {EX}(t)\), see Eq. (6). Retransforming into time domain by the inverse Fourier transformation (iFT) gives the deflection \(\varvec{u}_\text {L}(t)\) of the linear subsystem.
Now that the interaction between the nonlinear and linear subsystems has been identified, the feedback \(\varvec{f}_\text {C}^{\text {(N)}}\) of the linear to the nonlinear subset is sought. Therefore, the deflection, velocity and acceleration of the linear subset \(\varvec{u}_\text {L}(t)\) are given by
Inserting them into the linear feedback forces \(\varvec{f}_\text {C}^{\text {(N)}}(\varvec{u}_\text {L},\dot{\varvec{u}}_\text {L},\ddot{\varvec{u}}_\text {L})\) within Eq. (5a), results in the closed form representation
With Eq. (8), the coupling force \(\varvec{f}_\text {C}^{\text {(N)}}\) is given by
showing a superposition of the feedback of the linear structure \(\varvec{f}_\text {C}^{\text {(N,L)}}(\varvec{u}_\text {N}^{\text {(C)}})\) purely depending on \(\varvec{u}_\text {N}^{\text {(C)}}(t)\) and the external forcing part \(\varvec{f}_\text {C}^{\text {(N,EX)}}(t)\), where
holds. Please note, that only those nonlinear DoF \(\varvec{u}_\text {N}^{\text {(C)}}(t)\in \partial \Gamma _{\text {(N)}}\) which actually couple with the linear domain are transformed into frequency domain [cf. Eq. (5b), where \( {\varvec{M}} _ {\text {LN}} \), \( {\varvec{P}} _ {\text {LN}} \), \( {\varvec{C}} _ {\text {LN}} \) are typically sparse]. This is illustrated in Fig. 2.
Hence, the equations of motion cf. Eq. (1) can be condensed to the reduced order motion equations (ROME)
This procedure corresponds to a MasterSlave reduction approach, where the linear node set corresponds to the slave coordinates that are only related to the nonlinear master nodes and a given external excitation. Note that so far neither the type of the solution, e.g. periodic or quasiperiodic motion, nor the approximation method for \(\varvec{u}_\text {N}(t)\) and thus \(\varvec{u}(t)\) are restricted. Consequently, these considerations apply in general, provided that the solution to be approximated is steadystate.
Application to periodic oscillations
The approach from the previous section may be applied to general stationary solutions with discrete frequency spectra (equilibria, quasi/periodic solutions), whereas this publication focusses on periodic motions. Such a steadystate, periodic solution \(\varvec{u}(t)\) of Eq. (1) fulfils a boundary value problem (BVP) in time. The boundary condition is given by
where \(T\) denotes the period of the oscillation with \(\omega =\frac{2\pi }{T}\) being the base frequency. In order to apply the approach from the previous section to periodic solutions, the Fourier transforms must be specified for this BVP. Assuming \(\varvec{u}_\text {N}(t)\), \(\varvec{u}_\text {L}(t)\) and \(\varvec{f}^{\text {(L)}}_\text {EX}(t)\) are periodic functions in time, their Fourier transforms can be expressed by
where \(\delta (\cdot )\) denotes the Dirac delta function and \(\omega \,\hat{\varvec{U}}_\text {N}(\text {j}\tilde{\omega })\), \(\omega \,\hat{\varvec{U}}_\text {L}(\text {j}\tilde{\omega })\) and \(\omega \,\hat{\varvec{F}}^{\text {(L)}}_\text {EX}(\text {j}\tilde{\omega })\) are the weights of \(\delta (\cdot )\).^{Footnote 7} This Fourier transform notation is taken from Puthusserypady [20, p. 66]. Substituting Eq. (15) into Eq. (8) and collecting the coefficients of the Dirac delta function gives an implicit relation
where the coefficients of \(\delta (\text {j}\tilde{\omega } \text {j}k\omega )\) must be zero to fulfil the equation. For \(k\in \mathbb {Z}\), this leads to
which means that steadystate dynamics of the linear DoF \(\varvec{u}_\text {L}(t)\) are determined in frequency domain. In accordance to Eq. (12), the coupling forces
can be calculated in time domain. Here, the convolution properties of the Dirac delta function are considered and the individual weights of the Fourier transforms are given by
with \(k\in \mathbb {Z}\). Finally, the steadystate solution for the linear subsystem related to t and \(\varvec{u}_\text {N}^{\text {(C)}}(t)\) is given by
with the Fourier transform given in Eq. (17). Henceforth, the relations for the linear node set given in Eqs. (18) and (20) are understood as complex Fourier series with complex Fourier coefficients \( \hat{\varvec{U}}_{\text {L},k} =\frac{1}{T}\hat{\varvec{U}}_\text {L}(\text {j}k\omega )\), \(\hat{\varvec{F}}_{\text {C},k}^{\text {(N,L)}}=\frac{1}{T}\hat{\varvec{F}}_{\text {C}}^{\text {(N,L)}}(\text {j}k\omega )\) and \(\hat{\varvec{F}}_{\text {C},k}^{\text {(N,EX)}}=\frac{1}{T}\hat{\varvec{F}}_{\text {C}}^{\text {(N,EX)}}(\text {j}k\omega )\). Truncating the Fourier series gives the approximation
with the harmonic truncation order \(H\). This corresponds to the classical HB approach.
As was shown above, the solution of the linear subsystem is derived analytically and hence, an approximation of the solution of the linear subsystem is given by Eq. (21a). Note that the approximation consists of \((2\,H+1)\) global ansatz functions in time domain and that the maximal accessible truncation order \(H\) depends on the time respective frequency resolution of the nonlinear DoF and the external forces. A detailed discussion of the selection of \(H\) is given in the following subsection.
Approximation of the nonlinear subsystem
This section proceeds with a brief discussion of the FD method that is chosen for the approximation of \(\varvec{u}_\text {N}(t)\) in time domain. In order to do so, the time derivatives of \(\varvec{u}_\text {N}(t)\) occurring in the ROME, cf. Eq. (13), are approximated by the corresponding finite difference quotients on discrete time values on a prescribed grid \(t_i \in \mathcal {T}\). General forms of these difference quotients are given by cf. [5, 10]
Within this contribution it is assumed that \(\mathcal {T}=\{t_0+i\,\Delta t\}_{i\in \mathbb {Z}}\) is a set of equidistant grid points and \(\Delta t\) is the time step. Here, \(\alpha ^{\text {(1)}}_{{k_{m}}}\), \(\alpha ^{\text {(2)}}_{{k_{m}}}\) are the weights of the finite difference with index^{Footnote 8}\({k_{m}}\in \mathcal {M}\subset \mathbb {Z}\). Further on, the approximations for the time derivations in Eq. (22) are substituted into the BVP solution framework given in Eq. (14). The periodicity of \(\varvec{u}_\text {N}(t)\) is set with \(\varvec{u}_\text {N}\left( t_{N_\text {FD}}\right) = \varvec{u}_\text {N}\left( t_{1}\right) \). For the approximation method, only one period \(T\) of the steadystate solution is considered. With time \(t\) nondimensionalised by \(\theta =\omega t\), the relation \(\bar{\varvec{u}}_\text {N}(\theta )=\varvec{u}_\text {N}(\omega t)\) is substituted into the difference quotients, which gives
where \( 1 \le i \le N_\text {FD}\), \(\Delta \theta =\omega \Delta t\) is the step size and \({k_{m}}\in \mathcal {M}\). One advantage of this nondimensionalization is that the angle grid \(\mathcal {T}_{\theta }\) is independent of the period \(T\) and hence, is a fixed grid bounded by 0 and \(2\pi \). The approximations of \(\dot{\varvec{u}}_\text {N}(t_i)\) and \(\ddot{\varvec{u}}_\text {N}(t_i)\) are now substituted into Eq. (13). Due to the approximation of the derivatives and neglect of higher harmonics \(k>H\) for \(\varvec{f}_\text {C}^{\text {(N,L)}}(\varvec{u}_\text {N})\) and \(\varvec{f}_\text {C}^{\text {(N,EX)}}(t)\), evaluating the modified ROME at all values on the grid \(\mathcal {T}_{\theta }\) gives a residual function
where \(\bar{\varvec{f}}^{\text {(N,L)}}_\text {EX}(\theta _i)=\bar{\varvec{f}}^{\text {(N)}}_\text {EX}(\theta _i) + \bar{\varvec{f}}_\text {C}^{\text {(N,EX)}}(\theta _i)\) are the external forces and \(\theta _i=\omega t_i\) are the discrete values on the angle grid \(\mathcal {T}_{\theta }\). The values of the forces \( \varvec{f}_\text {N}\) and \( \bar{\varvec{f}}^{\text {(N)}}_\text {EX}\) at \(\theta _i\) related to the nonlinear subset are known. However, for the coupling forces \(\left. \varvec{f}_\text {C}^{\text {(N,L)}}\left( \bar{\varvec{u}}_\text {N}^{\text {(C)}}\right) \right _{\theta _i}\) and \(\bar{\varvec{f}}_\text {C}^{\text {(N,EX)}}\left( \theta _i\right) \) their Fourier series tied to the analytical solution of Eq. (5b) has to be evaluated at the specified time points \( \theta _i \).
Residual equations of the Finite Difference/Harmonic Balance method
The approximation of the linear subset’s motion via HB offers timecontinuous expressions for feedback forces \(\varvec{f}_\text {C}^{\text {(N,L)}}(\bar{\varvec{u}}_\text {N})\) and \(\varvec{f}_\text {C}^{\text {(N,EX)}}(t)\) in form of their Fourier series, cf. Eq. (21). The representation in time domain is required for the evaluation on the FD time grid \(\mathcal {T}_{\theta }\). This means that the expressions for the Fourier coefficients \(\hat{\varvec{F}}_{\text {C},k}^{\text {(N,L)}}\) and \(\hat{\varvec{F}}_{\text {C},k}^{\text {(N,EX)}}\) [cf. Eq. (19)] are needed, which are related to the discrete values \(\bar{\varvec{u}}_\text {N}\left( \theta _i\right) \) and \(\bar{\varvec{f}}^{\text {(L)}}_\text {EX}\left( \theta _i\right) \) via
with \(k=0,\dots ,H\), cf. [20, p. 66]. However, since the residual (24) is only evaluated at \(N_\text {FD}\) discrete points, the two integrals in Eq. (25) can be approximated by Riemann sums. With the relations \( \hat{\varvec{U}}_{\text {N},k} =\frac{1}{T}\,\hat{\varvec{U}}_\text {N}(\text {j}k\omega )\), \(\hat{\varvec{F}}^{\text {(L)}}_{\text {EX},k}=\frac{1}{T}\,\hat{\varvec{F}}^{\text {(L)}}_\text {EX}(\text {j}k\omega )\) and \(N_\text {FD}\,\Delta \theta = 2\pi \), the two integrals reduce to
with \(N_\text {FD}\) being a prescribed number of steps. In accordance to the Nyquist Shannon sampling theorem, the number \(N_\text {FD}\) has to be sufficiently high to ensure a correct depiction of the frequency domain [20, p. 124]. The sampling frequency \(f_{\text {S}}=\frac{N_\text {FD}}{T}\) must at least be higher than two times the maximum occurring frequency in the solution, so that no aliasing effects will occur. Here, spectral leakage does not occur, since the evaluation domain is a multiple of the period duration of the lowest frequency.
Next, by inserting Eq. (26) into Eq. (19) the Fourier coefficients \(\hat{\varvec{F}}_{\text {C},k}^{\text {(N,L)}}\) and \(\hat{\varvec{F}}_{\text {C},k}^{\text {(N,EX)}}\) can be directly expressed as
for \(k=0,\dots ,H\). This is an analytical evaluation of Eq. (12) for the coupling forces in frequency domain.
In a next step, the Fourier coefficients are transformed into (nondimensionalised) time domain by utilizing the inverse Discrete Fourier Transformation (iDFT) respectively substituting Eq. (27b) into Eq. (21) and evaluating at all grid points of \(\mathcal {T}_{\theta }\). Utilizing a complex Fourier series expression, the previously unknown values for the coupling forces
and the external excitation
are given at \(i=1,\dots ,N_\text {FD}\) grid points. This notation in terms of real parts is more efficient, since on the one hand the summation is only done for positive \(H\). On the other hand, information of the complex conjugated Fourier coefficients is already included [15, p. 45].
At this point, all terms of the residual \(\varvec{\mathcal {R}}_\text {res}(\theta _i)\) are determined and will be gathered within one global residual equation. Now, the approximation to the solution \( \varvec{x}_{\text {N},i} \approx \bar{\varvec{u}}_\text {N}(\theta _i)\) is introduced, which can be determined by numerically solving \( \varvec{\mathcal {R}}_\text {res}(\theta _i) = \varvec{0} \) for all values of \(\theta _i\in \mathcal {T}_{\theta }\).
The global residual equation is build up by utilizing the Kronecker product^{Footnote 9}\(\otimes \), by which the sums of both the DFT and iDFT can be written as a global matrix multiplication
where \(\varvec{S}= \text {diag}\left( 1,2,\dots ,2\right) \in \mathbb {R}^{N_\text {FD}\times N_\text {FD}}\) is a diagonal matrix and \(\varvec{I}_{N}\in \mathbb {R}^{N_{\text {N}}\times N_{\text {N}}}\) is the identity matrix. Hence, matrix \(\varvec{\Theta }\in \mathbb {R}^{N_\text {FD}\times (H+1)}\) defined by the entries \({\Theta }_{ik}= \frac{2\pi }{N_\text {FD}}\, i\, (k1)\) with \(i=1,\ldots ,N_\text {FD}\), \(k=1,\ldots ,(H+1)\), contains all exponents of the exponential function within the DFT and iDFT. The application to Eq. (26) gives the relations \(\underline{\hat{\varvec{U}}}_\text {N}={\varvec{W}}^{\text {(DFT)}}\,\underline{\varvec{X}}\) and \(\hat{\underline{\varvec{F}}}^{\text {(L)}}_{\text {EX}}={\varvec{W}}^{\text {(DFT)}}\,\underline{\varvec{F}}^{\text {(L)}}_{\text {EX}}\). The global solution vector of the BVP problem is
that contains all values at the FD time grid points and the global vectors \(\underline{\hat{\varvec{U}}}_\text {N},\hat{\underline{\varvec{F}}}^{\text {(L)}}_{\text {EX}}\in \mathbb {R}^{(H+1)\,N\times 1}\) contain all Fourier coefficients \( \hat{\varvec{U}}_{\text {N},k} \) and \(\hat{\varvec{F}}^{\text {(L)}}_{\text {EX},k}\). Analogously, the iDFT is performed in Eqs. (28) and (29). For a detailed derivation of the relations see Appendix B.
For a global notation of the residual function, the Kronecker product provides again a notation for both the dynamical stiffness matrices \(\varvec{G}_{{ij}}(\text {j}k\omega )\) and the difference quotients. The global dynamical stiffness matrices read
with \(i,j\in \{N,L\}\) and \( \varvec{k}^{\text {(1)}},\varvec{k}^{\text {(2)}}\in \mathbb {R}^{(H+1)\times (H+1)}\) given by \(\varvec{k}^{\text {(1)}}=\text {diag}\left( 0,1,2,\ldots ,H\right) \) and \(\varvec{k}^{\text {(2)}}=\text {diag}\left( 0,1,4,\ldots ,H^2\right) \). Here, the Kronecker product allocates the equations for the coefficients for the corresponding \(k\)th Fourier order in a global manner. Introducing the matrices \(\varvec{\alpha ^{\text {(1)}}}\), \(\varvec{\alpha ^{\text {(2)}}}\) containing the difference weight factors, a global notation is analogously found for the difference quotients
where \(\varvec{I}_{N}\in \mathbb {R}^{N_{\text {N}}\times N_{\text {N}}}\) and \(\underline{\varvec{X}}'\) corresponds to the globally stored approximated velocities and \(\underline{\varvec{X}}''\) are the approximated accelerations, see Appendix C. Finally, the closed form algebraic equation system for the suggested FD/HB method reads
where \(\omega \) is the base frequency of the periodic solution and with
being the external forces acting on both the linear and nonlinear structure. The nonlinear forces are given by
Hence, with Eq. (33) an algebraic equation system was derived that is nonlinear within the solution vector \(\underline{\varvec{X}}\), since \(\underline{\varvec{F}}_\text {N}\left( \underline{\varvec{X}}\right) \) is nonlinear in general.
Finding \(\underline{\varvec{X}}_0\), being a root of the given global residual function \(\underline{\varvec{R}}\left( \underline{\varvec{X}}\right) \), is a common problem in numerical calculation and is achieved, for example, by utilizing the Newton–Raphson algorithm. This scheme needs the Jacobian matrix \(\varvec{\varvec{J}}^{(n)}=\left. \frac{\partial \underline{\varvec{R}}}{\partial \underline{\varvec{X}}}\right _{n}\) that is ideally sought in an analytical form to avoid costly approximations of \(\varvec{\varvec{J}}^{(n)}\). For the suggested FD/HB method the Jacobian matrix can directly be derived from Eq. (33) with
The crucial point is the evaluation of the derivatives of the nonlinear forces \(\left. \frac{\partial \underline{\varvec{F}}_\text {N}}{\partial \underline{\varvec{X}}}\right _{n}\). If no information of these derivatives is available, it is calculated numerically by finite difference approximations, which become costly for larger dimensions of \(\underline{\varvec{X}}\). To circumvent the numerical approximation, a detailed prescription of the nonlinearities is reasonable. Provided that the local formulation for the nonlinear forces in Eq. (3) can be used, the derivation of the nonlinear forces w.r.t. \(\underline{\varvec{X}}^{(n)}\) is
Here, \(\varvec{A}_k= \varvec{I}_{N_\text {FD}}\otimes \varvec{a}_k\), \(\varvec{B}_k= \varvec{I}_{N_\text {FD}}\otimes \varvec{b}_k\), \(\varvec{C}_k= \varvec{I}_{N_\text {FD}}\otimes \varvec{c}_k\in \mathbb {R}^{(N_\text {FD}\,N_{\text {N}})\times N_\text {FD}}\) store the local derivations \(\left. \frac{\partial {f}_{\text {nl},k}}{\partial {u}}\right _{n},\left. \frac{\partial {f}_{\text {nl},k}}{\partial \dot{u}}\right _{n}\in \mathbb {R}^{N_\text {FD}\times 1}\) for the actual solution vector \(\underline{\varvec{X}}^{(n)}\) into the global equations and \(\mathcal {D}_{\theta }=\frac{\omega }{\Delta \theta }\left( \varvec{\alpha ^{\text {(1)}}}\otimes \varvec{I}_{N}\right) \) is the operator for the first order derivation of \(\varvec{u}_\text {N}(t)\), cf. Eq. (32a).
Concluding this section, a hybrid approximation method was presented, combining the benefits of FD and HB. The scheme is valid for systems showing steadystate vibrations. Under this assumption, it was shown that the dynamics are purely representable by the nonlinear node set in terms of a MasterSlave reduction, cf. Eq. (13). By applying this approach to periodic oscillations, it was shown that the deflection of the linear DoF is analytically derived with
related to both, the nonlinear node set within \(\underline{\varvec{X}}\) and the Fourier coefficients of the excitation \(\hat{\underline{\varvec{F}}}^{\text {(L)}}_{\text {EX}}\). When analysing selfexcited vibrations, the angular frequency \(\omega \) is in general unknown. Hence, an additional equation has to be added that is denoted as phase condition. Some common variants are listed in [23, p. 304].
Numerical investigation
This section focusses on the application of the proposed hybrid method. Here, an important aspect is the inclusion of the analytical solution of the linear DoF. Thus, the system dynamics can be described solely in terms of the nonlinear DoF, which can significantly reduce the system size. Hence, this section aims to determine the scalability of accuracy in conjunction with relative computational effort for an increasing number \(N_{\text {L}}\) of linear DoF. This is done by investigating a chain of oscillators with a single nonlinearity allowing a straight forward increase of the linear DoF. On this Basis, FD/HB is compared with both the classical HB^{Footnote 10} and pure FD method. As reference solution the Shooting method is selected and a nominal error metric is defined.
Stickslip vibrations of a chain of oscillators
As a numerical example, selfexcited (periodic) vibrations of a chain of oscillators with local nonlinearity (cf. Sect. 2) are studied, see Fig. 3. Although this is a strongly abstracted example, it exhibits essential properties that also occur in large FE systems.
Here, the corresponding system matrices are band structured, since the state variables are often not coupled over larger spatial distances. Depending on the FEshape functions, only the neighbouring nodes affect each other.
Within the current minimal example, the nonlinearity is located at the right end of the chain of oscillators being a frictional contact between the corresponding DoF and a belt moving with velocity \(v_\text {B}\). The friction force \({f}_{\mu }\) is modelled by an exponentially decaying Stribeck friction characteristic that causes selfexcited oscillations [11]. Since the discussed FD approach is applicable for smooth differential equations,^{Footnote 11} the sticking domain of the friction law is softened by a regularization
where \(\Delta \mu =\mu _\text {ST}  \mu _\text {SL}\) and k and \(\epsilon \) are the regularization parameters, \(\mu _\text {SL}\) is the sliding friction coefficient for \(v_{rel}\rightarrow \infty \) and \(\mu _\text {ST}N\) is the maximal sticking force corresponding to Coulombs law. In accordance to the local force representation in Eq. (3), the corresponding vectors are \(\varvec{a}=\varvec{c}=1\) and relative velocity is \(v_{rel}= v_\text {B}+ \varvec{c}^\top \dot{\varvec{u}}_\text {N} \). The parameters of the friction curve are given in Table 2.
For a variable number of linear DoF, the dimensionless mass and stiffness parameter m and k of each oscillator are selected in accordance to the discretization of an elastic rod from which follows that
to ensure comparable dynamics when adding linear DoF. The given dependence of mass and stiffness properties can be interpreted as a finer discretization of the linear domain of the underlying continuous system. In the following, viscous modal damping is assumed with a damping ratio \(\delta = \frac{N_{\text {N}}+N_{\text {L}}}{100}\) and global damping matrix \(\varvec{P}= \frac{\delta }{k}\varvec{C}\). Since the resulting equations of motion [cf. Eq. (1)] are autonomous, the base frequency of the limit cycle is a variable and thus, an additional unknown in the AES. Consequently, the integral phase condition from Doedel et al. [7] is used to close the equation system.
In summary, due to the (regularised) decaying Stribeck friction characteristic, the rest position of the system becomes unstable for low belt velocities \(v_\text {B}\).^{Footnote 12}
However, the amplitudes of the oscillations occurring are limited by the nonlinearity of the system. This results in an asymptotically stable limit cycle in the sense of Ljapunow, which is approximated in the following for different numbers of linear DoF.
Quantitative comparison in accuracy and computation time
To highlight the abilities of the proposed hybrid framework, a quantitative comparison between the FD/HB method, pure FD and pure HB method is carried out under the following assumptions:

the comparison is exemplarily shown for \(N_\text {FD}=60\) time samples

for FD/HB, the Fourier series approximation in frequency domain is done for four truncation orders \(H\in \{3,5,10,H_\text {max}\}\), where \(H_\text {max}\) is the maximum number of harmonics in accordance to the Nyquist–Shannon theorem

for FD and FD/HB, the same difference quotients were used (see below)

for the HB method, the maximum number of harmonics is \(H_\text {max}\).
For all three methods, the error to reference \(\varepsilon _{M}\) and computation time are compared.
A sufficiently accurate approximation of the limit cycles of the system shown in Fig. 3, computed via the Shooting method, is used as a reference for the comparison.^{Footnote 13}
For the FD based schemes, the time derivatives of first and second order are approximated using the difference quotients
Since the approximation of the first derivative \(\dot{\varvec{u}}_i\) corresponds to an extended formulation for a second order upwind scheme, the second derivative \(\ddot{\varvec{u}}_i\) is discretized by a second order central difference scheme.^{Footnote 14}
First, the occurring stickslip limit cycle is analysed for FD/HB, HB and FD at \(v_\text {B}=0.3\).
For the mechanical benchmark system consisting of one nonlinear and one linear DoF, the results are shown in Figs. 4 and 5. Please note that the motion of the linear subset within both the HB and FD/HB is continuous in time due to its approximation via Fourier series, which is indicated by solid lines, see Fig. 5. In addition, the SH reference solution is plotted in solid black into the corresponding phase planes.
This comparison shows that all three methods meet the reference with no large deviations. In addition, no significant differences can be seen for different approximation orders \(H\) for the linear part of the FD/HB method.
This statement does not hold for an increasing number of DoF. This is exemplary shown for the the limit cycles of a chain of oscillators with 19 linear DoF, see Figs. 6 and 7. Here, the motion of the nonlinear DoF is shown in fig. 6 and the motion of the first linear DoF \( u_{\text {L},1} \) being most distant from the nonlinear subset in Fig. 7.
As indicated by these plots, the truncation order of the Fourier series for the FD/HB has a significant impact on the approximation results. Especially for the linear DoF, the velocity is much smaller than the reference predicts, if an insufficient number of harmonics is considered, see \(H\in \{3,5\}\). In addition, oscillations for the nonlinear DoF occur within the velocity near \(\dot{\varvec{u}}_\text {N}(t_i)\approx v_\text {B}\), cf. Fig. 6. Here, the frequency resolution of the linear node set and, thus, the coupling forces is too low. That causes the additional oscillations within the nonlinear DoF.
To further examine the capabilities of the proposed method, two aspects are examined, comparing FD/HB to classical FD and HB: the first aspect, is a quantitative comparison via a nominal error to reference. Here, the error in the nonlinear state \(\varvec{z}_\text {N}(t)=\left( \varvec{u}_\text {N}(t),\dot{\varvec{u}}_\text {N}(t)\right) ^\top \) is compared over one period \(T\). The corresponding error norm is defined by
where \(\varvec{z}_\text {N}^\text {(SH)}\) is the SH solution^{Footnote 15} and \(\varvec{z}_\text {N}^{(\diamond )}\) the approximation of the corresponding method. The HB solution is evaluated in time domain on an equidistant time grid with \(N_{{} fft}=2^{10}\) time samples, cf. footnote 10.
The second aspect to be investigated is the computational time for an increasing number of linear DoF. In order to create almost comparable starting conditions in the sense of computation time for FD, HB and FD/HB, for the initialization of the NewtonRaphson iteration, a prediction step^{Footnote 16} from a previous known solution point at \(v_\text {B}^0=0.3\) is used. The new solution \(\underline{\varvec{X}}_\text { ext}\) at \(v_\text {B}^1=0.31\) is calculated for the corresponding method and the mean time of ten calculation runs \(T_c^{{{}(\diamond )}}\) is tracked.
These quantities are investigated for an increasing number of (linear) DoF of the chain of oscillators. The results for the error to reference w.r.t. the number of linear DoF are shown in Fig. 8 and the corresponding results for the computational time in Fig. 9. For both figures, a FDtime resolution per DoF of \(N_\text {FD}=60\) is used.
As expected, the comparison shows that the FD/HB becomes more accurate for higher truncation orders \(H\) within the coupling forces, which on the other hand leads to an increase in computation time. However, the FD/HB is computationally more efficient than pure FD for all \(H\) for systems with more than 10 linear DoF.
Interestingly, for the maximum harmonic order \(H_\text {max}\), the computation time becomes lower than the time needed for pure FD (at about \(N_{\text {L}}= 10\)), whilst the relative approximation errors \(\varepsilon _{M}\) of FD/HB and FD are almost identical, see Fig. 8. One possible explanation is that the information content of the motion of the linear DoF is the same for both methods. The only difference is that this information is treated in time domain for the pure FD and in frequency domain for the proposed method with harmonic order \(H_\text {max}\).
And since the approximation for the linear DoF is solved analytically within the hybrid approach, the AES is significantly smaller for a larger number of linear DoF than for pure FD and therefore more efficient. This effect also scales with the number of time grid points \(N_\text {FD}\). For higher values of \(N_{\text {L}}\), the FD/HB is more efficient than the pure FD is at lower numbers of \(N_\text {FD}\) and vice versa.
As expected, the HB provides sufficiently accurate results. For all investigated numbers of linear DoF the nominal error is on a par with that of FD and FD/HB with \(H_\text {max}\), see Fig. 8. However, the HB method requires more computing time compared to the other methods. This may be caused by the AFT algorithm itself, where two discrete Fourier transformations^{Footnote 17} are carried out.
A closer look at the error diagram in Fig. 8 shows that the approximation error for truncation orders \(H< H_\text {max}\) seems to saturate, when increasing the number of linear DoF. In order to be able to explain this observation, the Fourier coefficients of the nonlinear deflection \(\varvec{u}_\text {N}(t)\) of the SH solution are shown in Fig. 10. The absolute value of the \(k\)th Fourier coefficient \( \hat{\varvec{U}}_{\text {N},k} \) of the nonlinear DoF is plotted against the corresponding harmonic number \(k\) and the number of linear DoF \(N_{\text {L}}\). As expected, it can be seen that the absolute values of the Fourier coefficients decrease with the harmonic order, but increase for higher numbers of \(N_{\text {L}}\) within the considered range. Therefore, the nominal error \(\varepsilon _{M}\) will increase for low \(H\) since essential frequency content of the nonlinear DoF is not considered in the calculation of the linear DoF and the coupling forces \(\varvec{f}_\text {C}^{\text {(N)}}(\varvec{u}_\text {L},\dot{\varvec{u}}_\text {L},\ddot{\varvec{u}}_\text {L})\). Following fig. 10, the next higher Fourier orders of \(H\in \{3,5,10\}\) form a plateau for increasing \(N_{\text {L}}\) that may cause the saturation of the nominal approximation error in Fig. 8.
As a summary for this section, one can state that the proposed FD/HB scheme can be more efficient than FD and HB, if a certain number of linear DoF is surpassed. Compared to both methods, the error of the proposed method is in the same order of magnitude if a sufficient number of harmonics is used. The decisive factor is that this method requires less computing time as the number of linear degrees of freedom increases. For the HB, a high sensitivity regarding initial conditions of the Newton iteration was observed here – especially for small deviations regarding the autonomous base frequency. Furthermore, the results show that the harmonic order \(H\) has a high impact on the accuracy of the approximation and has to be selected in accordance to the NyquistShannon theorem to gain maximum accuracy. When taking the maximum number \(H_\text {max}\) of harmonics, there is a characteristic point depending on \(N_\text {FD}\) and \(N_{\text {L}}\), where it is more efficient to use the proposed framework than pure FD.
Conclusion
This contribution presents a hybrid approximation method, which combines the Finite Difference (FD) and Harmonic Balance (HB) method, for investigating steadystate solutions of nonlinear dynamical systems. The method is derived for, but not limited to mechanical systems. The basic idea starts by separating the equations of motion into two sets containing nonlinear and solely linear equations. The nonlinearities are assumed to act only locally and the two sets are bidirectionally connected, by the socalled coupling forces. The goal is now to describe the steadystate dynamics of the entire dynamical system just in terms of the degrees of freedom (DoF) that occur in the nonlinearities – the socalled nonlinear DoF. This is possible since the linear equations of motion can be solved analytically by applying a Fourier transform. Consequently, a closed form expression for the linear DoF solely depending on the – yet unknown – nonlinear DoF and the corresponding excitation forces can be provided. For the special case of periodic motions, the Fourier transform leads to a periodic Fourier series in time domain for the linear DoF.
Now, the motion of nonlinear DoF is approximated by Finite Difference. The coupling forces in the nonlinear set of equations solely depend on the linear DoF that are expressed by the closed form expression found earlier. A sole dependence of the nonlinear equation set on the nonlinear DoF is now achieved. However, since FD is a time domain method, the closed form expression in frequency domain is mapped by a Discrete Fourier Transformation into time domain. Finally, the corresponding algebraic equation system for the FD/HB method is given and the Jacobian matrix is analytically derived. Compared to the HB method, the Jacobian matrix is band structured for FD/HB method, which improves convergence. In addition, this method can deal with highly repulsive steadystate solutions in contrast to hybrid shooting (SH) methods.
In order to study the performance of the proposed method, periodic stickslip limit cycles of a chain of oscillators with varying numbers of DoF are approximated. The results are compared to solutions calculated by the FD method and the HB method each applied to both the nonlinear and linear DoF. For all methods, the computational time is compared and the limit cycles are validated against a SH reference solution. The results of the comparison show that for systems with a small number of nonlinear DoF, the hybrid approximation method can improve computational efficiency for larger systems. The level of accuracy is directly depending on the number of considered harmonics \(H\) of the closed form expression for the linear DoF and the number of FD time grid points \(N_\text {FD}\). The maximum accuracy possible is limited to the truncation order \(H_\text {max}\) according to the NyquistShannon theorem, which depends on the number \(N_\text {FD}\). As a major advantage of the hybrid framework, the accuracy of that approximation with \(H_\text {max}\) is on an equal level with the approximation gained by pure FD and pure HB. However, it takes significantly less time for systems with a higher number of linear DoF due to the efficient approximation of the linear DoF via HB within the proposed framework.
For future research, a harmonic selection technique will be integrated into the hybrid framework. Here, an individual truncation order for the Fourier series within every linear DoF can be selected. On the basis of the general approach via Fourier transformation, the method will be extended to quasiperiodic oscillations.
Availability of data, code and materials
Not applicable for this contribution.
Notes
Introducing multiple shooting points can resolve this issue, but lead to higher numerical cost [23, p. 48].
The separation of nonlinear and linear DoF can be seen as a second level decomposition, where the dynamics of the linear part are characterised by a transfer function, cf. [14]. This transfer function is then approximated by a Fourier series with adjustable truncation order. The procedure thus corresponds to an approximation by means of HB [24].
An example would be massless DoF such as Jenkins elements or other hysteresis friction models that are considered in the modelling process [2].
Please note, that although the proposed framework is illustrated in a mechanical context, it is not restricted to such problems.
In this context, this affects all DoF with a momentum balance containing a nonlinear function as well as those DoF, that are input parameters for the nonlinear forces.
This means a reassembling of the degrees of freedom with \( \begin{pmatrix} \varvec{u}_\text {N}^\top&\varvec{u}_\text {L}^\top \end{pmatrix}^\top = \varvec{B}\varvec{u}=\tilde{\varvec{u}}\). The Matrix \(\varvec{B}\) denotes a boolean permutation matrix containing exactly one unit entry in each row and each column. The remaining entries are zero and since \(\Vert \tilde{\varvec{u}}\Vert =\Vert {\varvec{u}}\Vert \) the relation \(\varvec{B}^{1}=\varvec{B}^\top \) holds. Note that applying this permutation only the sequence of the DoF within \(\varvec{u}(t)\) is changed that has no impact on the system dynamics.
This procedure for approximating periodic solutions corresponds to the application of the classical HB scheme with a complex Fourier series notation.
\(\Vert \mathcal {M}\Vert \) is the cardinality of \(\mathcal {M}\), where \(\mathcal {M}\) is a set of integers indicating the position of a grid point \({k_{m}}\) related to the current grid point i. A detailed discussion on this notation and a straight forward computation of the weights can be found in [5, p. 161].
The definition of the Kronecker product relevant in the present context can be found in Appendix A.
In the present context, for numerically performing the HB method the AFT (alternating frequencytime) scheme of Cameron and Griffin is used, cf. [3, 15]. In contrast to the implementation suggested in [15], the discrete Fourier transformations in the AFT scheme are performed by the matrices \({\varvec{W}}^{\text {(DFT)}}\) and \({\varvec{W}}^{\text {(iDFT)}}\) and not by means of the FFT (Fast Fourier Transformation) in order to achieve comparability of results. Here, \(N_\text {fft}=2^{10}\) time samples are considered.
If a fine resolution of the transition from sliding to sticking is desired, this can be achieved as follows: On the one hand, the regularisation can be stiffened and the local resolution in the transition region from sticking to sliding can be increased. On the other hand, the hybrid SH/HB method can be used [21]. Here, a suitable numerical time integrator like Moreau time stepping can handle nonsmooth ODE’s.
However, the viscous damping must be sufficiently low so that the eigenvalues of the system linearised around the rest position have a positive real part.
For the SH method as reference, the trapezoid rule in its implementation as ode23t in Matlab©is chosen for the numerical time integration that has no numerical damping. For finding a root of the corresponding SH residual function, a trustregion dogleg algorithm within the fsolve implementation is utilized. For the technical realization of the SH method, the implementation proposed in [16, p. 301] was used.
The individual treatment of the first and second derivative prevents oscillations within the values at the grid points due to high local Péclet numbers. This may occur for problems with strong convective character, if the first derivative is approximated using central differences at a coarse time grid [25].
More precisely, \(\varvec{u}_\text {N}^\text {(SH)}\) is a numerically via NTI calculated solution to an initial value problem in the time interval from 0 to \(T\) with the SH solution as initial condition. The NTI is performed with the trapezoid rule in its implementation as ode23t in Matlab©.
Initial conditions are estimated using the tangent \(\left. \partial \underline{\varvec{X}}_\text { ext}\right _{0}\) at the current solution point at \(v_\text {B}^0=0.3\). The corresponding initial guess for the Newton–Raphson iteration at \(v_\text {B}^1=0.31\) is given with
$$\begin{aligned} \underline{\varvec{X}}_\text { ext}^{\text {(pre)}}\left( v_\text {B}^1\right) = \underline{\varvec{X}}_\text { ext}\left( v_\text {B}^0\right) + \left. \partial \underline{\varvec{X}}_\text { ext}\right _{0}\left( v_\text {B}^1v_\text {B}^0\right) , \end{aligned}$$where s denotes the arclength of the implicit curve defined by the residual function \(\underline{\varvec{R}}_{ext}(v_\text {B},\underline{\varvec{X}}_\text { ext})=\varvec{0}\). For a more detailed discussion on prediction and continuation of implicitly defined curves, the interested reader is referred to Allgower and Georg [8] and Marx and Vogt [16].
The implementation of the DFT and iDFT via the Fast Fourier Transformation promises a more efficient calculation [15], but was not used for reasons of comparability between the methods.
References
Bäuerle S, Fiedler R, Hetzler H (2022) An engineering perspective on the numerics of quasiperiodic oscillation. Nonlinear Dyn 108:3927–3950
Bograd S, Reuss P, Schmidt A, Gaul L, Mayer M (2011) Modeling the dynamics of mechanical joints. Mech Syst Signal Process 25(8):2801–2826
Cameron TM, Griffin JH (1989) An alternating frequency/time domain method for calculating the steadystate response of nonlinear dynamic systems. J Appl Mech 56(1):149–154
Chen PYP, Hahn EJ (1994) Harmonic balance analysis of general squeeze film damped multidegreeoffreedom rotor bearing systems. J Tribol 116(3):499–507
Collatz L (1960) The numerical treatment of differential equations, 3rd edn. Springer, Berlin, Heidelberg
Coudeyras N, Sinou JJ, Nacivet S (2009) A new treatment for predicting the selfexcited vibrations of nonlinear systems with frictional interfaces: the constrained harmonic balance method, with application to disc brake squeal. J Sound Vib 319(3–5):1175–1199
Doedel EJ, Govaerts W, Kuznetsov YuA (2003) Computation of periodic solution bifurcations in odes using bordered systems. SIAM J Numer Anal 41(2):401–435
Allgower EL, Georg K (1990) Introduction to numerical continuation methods, 1st edn. Springer, Berlin, Heidelberg
Grolet A, Thouverez F (2012) On a new harmonic selection technique for harmonic balance method. Mech Syst Signal Process 30(1):43–60
Hassan HZ, Mohamad AA, Atteia GE (2012) An algorithm for the finite difference approximation of derivatives with arbitrary degree and order of accuracy. J Comput Appl Math 236(10):2622–2631
Ibrahim RA (1994) Frictioninduced vibration, chatter, squeal, and chaos—part II: dynamics and modeling. Appl Mech Rev 47(7):227–253
Kappauf J, Hetzler H (2021) On a hybrid concept for approximating selfexcited periodic oscillations of largescaled dynamical systems. Proc Appl Math Mech 20(1):e202000329
Karkar S, Cochelin B, Vergez C (2014) A comparative study of the harmonic balance method and the orthogonal collocation method on stiff nonlinear systems. J Sound Vib 333(12):2554–2567
de Klerk D, Rixen DJ, Voormeeren SN (2008) General framework for dynamic substructuring: history, review and classification of techniques. AIAA J 46(5):1169–1181
Krack M, Gross J (2019) Harmonic balance for nonlinear vibration problems, 1st edn. Springer, Berlin, Heidelberg
Marx B, Vogt W (2011) Dynamische systeme: theorie und numerik, 1st edn. Spektrum Akademischer Verlag, Heidelberg
Nacivet S, Pierre C, Thouverez F, Jezequel L (2003) A dynamic Lagrangian frequencytime method for the vibration of dryfrictiondamped systems. J Sound Vib 265(1):201–219
Nayfeh AH, Balachandran B (1995) Applied nonlinear dynamics: analytical, computational and experimental methods, 1st edn. Wiley, Weinheim
Parker TS, Chua L (1989) Practical numerical algorithms for chaotic systems, 1st edn. Springer, New York
Puthusserypady S (2021) Applied signal processing, 1st edn. Now Publishers, Norwell
Schreyer F, Leine RI (2016) A mixed shootingharmonic balance method for unilaterally constrained mechanical systems. Arch Mech Eng 63(2):297–314
Schreyer F, Leine RI (2016) Mixed shootingHBM: a periodic solution solver for unilaterally constrained systems. In: 4th joint int. conf. multibody syst. dyn., Montreal, Canada
Seydel R (2010) Practical bifurcation and stability analysis, 3rd edn. Springer, Heidelberg
Shiau TN, Jean AN (1990) Prediction of periodic response of flexible mechanical systems with nonlinear characteristics. J Vib Acoust 112(4):501–507
Spalding DB (1972) A novel finite difference formulation for differential expressions involving both first and second derivatives. Int J Numer Methods Eng 4(4):551–559
Funding
Open Access funding enabled and organized by Projekt DEAL. No funding was received to assist with the preparation of this manuscript. The authors have no competing interests to declare that are relevant to the content of this article.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Consent to participate
Not applicable for this contribution.
Consent for publication
Not applicable for this contribution.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: The Kronecker product
For matrices \(\varvec{A}\in U \subset \mathbb {R}^{m\times n}\) and \(\varvec{B}\in V \subset \mathbb {R}^{r\times s}\) the Kroneckerproduct or matrix direct product is defined by the operator
Employing the Kroneckerproduct gives a matrix \(\varvec{C}=\varvec{A}\otimes \varvec{B}\in W \subset \mathbb {R}^{(m\, r)\times (n\, s)}\). The product is bilinear, associative and noncommutative. Concerning computational aspects, it simplifies implementation into mathematical software such as Matlab©and additionally, matrix multiplications are meant to be more efficient then loops.
Appendix B: Global discreteFouriertransformation
The sums occurring during the transformation from time to frequency domain and reverse are rewritten as matrix multiplications. Here, the entries of the matrix \(\varvec{\Theta }\in \mathbb {R}^{N_\text {FD}\times (H+1)}\) are defined as \({\Theta }_{ik}= \frac{2\pi }{N_\text {FD}}\, i\, (k1)\) with \(i=1,\ldots ,N_\text {FD}\), \(k=1,\ldots ,(H+1)\) and contain all exponents of the exponential functions within the DFT and iDFT. Starting with the Discrete Fourier Transformation (DFT) in Eq. (26), the DFT of a set of discrete values \(\{\varvec{x}_{i}\}_{i=1,\ldots ,N_\text {FD}}\), representing the signal of interest in time, can be written as depicted in Eq. B1 defining \({\varvec{W}}^{\text {(DFT)}}=\frac{1}{N_\text {FD}}\left( \text {e}^{\text {j}\varvec{\Theta }^\top }\otimes \varvec{I}_{N}\right) \) as the DFT matrix and \(\underline{\varvec{X}}\) denotes the stored set of discrete values \(\varvec{x}_{i}\). Same is done for the inverse Discrete Fourier Transformation (iDFT) for a set \(\{\varvec{X}_{k}\}_{k=0,\ldots ,H}\) of Fourier coefficients transformed back into time domain given by eqn. B2. Here, the matrix \({\varvec{W}}^{\text {(iDFT)}}=\left( \left( \varvec{S}\,\text {e}^{\text {j}\varvec{\Theta }}\right) \otimes \varvec{I}_{N}\right) \) is defined as the iDFT matrix and \(\overline{\underline{\varvec{X}}}\) denotes the stored set of Fourier coefficients \(\varvec{X}_{k}\). As indicated above, only the real part of Eq. (B2) is considered and the Fourier coefficients are scaled by the diagonal matrix \(\varvec{S}= \text {diag}\left( 1,2,\dots ,2\right) \). In both cases, the matrices \(\text {e}^{\text {j}\varvec{\Theta }}\) and \(\text {e}^{\text {j}\varvec{\Theta }^\top }\) are matrix exponential functions.
Appendix C: Global finite difference formulation
In the following, the derivation operators of the FD based methods are expressed utilizing the Kroneckerproduct. The corresponding expressions occur in Eq. (24) and read
where \(i=1,\ldots ,N_\text {FD}\) and \(\Vert \mathcal {M}\Vert <N_\text {FD}\) is the cardinality of \(\mathcal {M}\subset \mathbb {Z}\). This array \(\mathcal {M}\) contains integers \({k_{m}}\in \mathcal {M}\) denoting the grid points that are accounted for the difference quotient. In accordance to the BVP in Eq. (14) \(\varvec{x}_{N_\text {FD}+1}=\varvec{x}_{1}\) and \(\varvec{x}_{1}=\varvec{x}_{N_\text {FD}}\) hold, since periodic solutions are approximated. Assuming \(\{2,1,0,1\}\subset \mathcal {M}\) and with \(\varvec{I}_{N}\in \mathbb {R}^{N_{\text {N}}\times N_{\text {N}}}\) being the identity, Eqs. (C3)–(C5) follow. Here, \(\underline{\varvec{X}}\) is the column vector of all states \(\{\varvec{x}_i\}_{i=1,\ldots ,N_\text {FD}}\) and \(\varvec{\alpha ^{\text {(1)}}}\), \(\varvec{\alpha ^{\text {(2)}}}\) denote matrices containing the weight factors \(\alpha ^{\text {(1)}}_{{k_{m}}}\) resp. \(\alpha ^{\text {(2)}}_{{k_{m}}}\). The components of the matrices \(\varvec{\alpha ^{\text {(1)}}}\), \(\varvec{\alpha ^{\text {(2)}}}\) are given by
where \(ij\in \mathcal {M}.\) holds.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kappauf, J., Bäuerle, S. & Hetzler, H. A combined FDHB approximation method for steadystate vibrations in large dynamical systems with localised nonlinearities. Comput Mech 70, 1241–1256 (2022). https://doi.org/10.1007/s00466022022253
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00466022022253
Keywords
 Harmonic Balance method
 Finite Difference method
 Steadystate solution
 Nonlinear oscillations
 Dynamic condensation