To improve the reliability and accuracy of dynamic machine in design process, high precision and efficiency of numerical computation is essential means to identify dynamic characteristics of mechanical system. In this paper, a new computation approach is introduced to improve accuracy and efficiency of computation for coupling vibrating system. The proposed method is a combination of piecewise constant method and Laplace transformation, which is simply called as Piecewise-Laplace method. In the solving process of the proposed method, the dynamic system is first sliced by a series of continuous segments to reserve physical attribute of the original system; Laplace transformation is employed to separate coupling variables in segment system, and solutions of system in complex domain can be determined; then, considering reverse Laplace transformation and residues theorem, solution in time domain can be obtained; finally, semi-analytical solution of system is given based on continuity condition. Through comparison of numerical computation, it can be found that precision and efficiency of numerical results with the Piecewise-Laplace method is better than Runge-Kutta method within same time step. If a high-accuracy solution is required, the Piecewise-Laplace method is more suitable than Runge-Kutta method.
Any complex vibration systems can be described with differential dynamic equations. For exploring the dynamic characteristics of the vibrating system, obtaining accurate solution of the dynamic equations is crucial in engineering design. Of course, Euler’s method, Taylor-series method and Runge-Kutta method, and so on, are relatively mature methods existed in numerical analysis for vibration systems.1,2 We can choose these computing methods to solve the problems occurred in our practical engineering.3 Such as Euler’s method, which is the most traditional method to solve differential equations, however, numerical accuracy should be decreased as integral curve is replaced with approximated polyline in the calculation process. To perfect numerical accuracy in computing principle, trapezoidal method employ trapezoid to match integral curve in calculation process, and so the solution precision of this method is much higher than Euler’s method, but the computational efficiency is restricted on account of its own algorithm complexity and large calculating quantity. In order to improve the computation efficiency, Carl Runge and Martin Kutta proposed Runge-Kutta method, and the theoretical basis of this method is derived from the Taylor’s expansion and slope approximation;2–4 in the solving process, the weighted average of the slope of multiple points in an integrating interval is calculated; the accuracy of the Runge-Kutta method is depended on the number of points in the integrating interval, the more points, the more accurate the calculation, and the more time needed to be taken in calculation. Since almost all terms are linearized and discontinuous when solving equations with Runge-Kutta method, calculative deviation is inevitable,4 which has attracted much more attention of numerous researchers. Shampine and Watts proposed a way of local error estimators, which seems to be of broad applicability;4 according to this way, an efficient computational code (ode45) is compiled, and comparing the results of traditional Runge-Kutta to ode45, solution accuracy of Runge-Kutta is defective as the obtained results are not continuous. The inherent characteristics of the system are lost in the second step of the calculation by using the Runge-Kutta method.5
Considering discontinuity and inefficiency of the Runge-Kutta method, Dai and Singh proposed piecewise constant arguments to maintain solution continuity in computation process of linear system, and better reliability and accuracy of the method was demonstrated by comparing with the traditional Runge-Kutta method;6 uniting the piecewise constant arguments with Taylor expansion (P–T), solution continuity and accuracy of the nonlinear system is also ensured as the piecewise constant arguments can remain the characteristics of the system in calculation process. Therefore, the P–T method is a new approach for finding approximated solution of linear and nonlinear vibration systems.7 However, the study object of the P–T method is useful for multiple degree of freedom (MDOF) system with without coupled terms, but MDOF dynamic systems are commonly coupled with multiple variables in engineering practices.8 Such as vibration isolation system, Chen and Zhang explored the characteristics of vibration isolation with a nonlinear energy sink moving vertically.9–11 Fang proposed a vibrating system coupled with inertial terms to obtain ideal dynamic characteristics, but the accuracy of displacement response of the system is decreased as the original model is excessively simplified.12,13 For a robot system with flexible components, vibration errors can be easily occurred in traditional computation methods, and the responses of the system is mainly obtained with experimental results, which should spend high design cost owing to low accuracy of analytical solution.14 Therefore, it is necessary to develop a high-precision algorithm to solve the problem of coupled systems.
Piecewise-Laplace principle
Piecewise constant argument
Definition 1
A function is said to satisfy a Lipschitz condition in the neighborhood of if there exists a constant L such that7
For any point in the neighborhood of , where .
Lemma 1
If h is a continuous function and satisfies a Lipschitz condition for all variables except t in the neighborhood of , then, there is a unique function such that7
Theorem 1
Suppose argument [Nt] is the integer-valued function of product of time t and parameter N, where N as a positive integer.7 When N is approached to infinity, the value of the argument [Nt]/N tends to t, that is
Proof
For any given , there exists a such that . Since and , hence, . Accordingly for any , take , when . It follows that
By the arbitrariness of , a result of limiting case can be given as follows
Remark
Theorem 1 is extremely essential for studying the relationship between piecewise constant systems and corresponding continuous systems, and most of the later derivations in this paper will depend on them.
Theorem 2
Considering a vibrating system
with initial conditions
Then, in time interval , equations (7) and (8) are converted to
and
where i = 0, 1, 2, . . ., [Nt].
Proof
According to Definition 1 and Lemma 1, the function satisfies a Lipchitz condition for and . Therefore, there must exist a unique solution for equation (9). In addition, because of the existence and uniqueness of the continuous differential equations, equation (10) can be derived.
Remark
Theorem 2 plays an important role in determining the local initial conditions of a piecewise constant system.
Laplace transformation and residues principle
The coupling system can be decoupled with the Laplace transformation.15 And some significant theorems should be stressed.
Theorem 3
Supposing functions , and can be rewritten as Laplace style,16,17 that is
where
Proof
According to the definition of Laplace transformation,
Remark
The main object of Theorem 3 is the continuous coupling system. With Theorem 3, the coupling system is decoupled to facilitate the next calculation.
Theorem 4
F(s) is assumed to the Laplace style in complex field. F(s) corresponding to time domain solution can be determined with reverse Laplace transformation, that is
Proof
Define the real variable function on interval , and assume . The following formula is obtained by the Fourier transform
Then, according to the inverse Fourier transform, the following formula is obtained
With Theorem 4, the solution of the system in the complex domain is converted to the time domain solution, and the response of the system is obtained.
When encountering some complicated style of F(s), equation (14) will be failure for obtaining the time domain solution. However, residues method should be introduced to perfect the application of reverse Laplace transformation.
Theorem 5
Through the definition of residues, the integral in equation (21) can be expressed by the summing of all the residuals in the definition domain, that is
where, represents value of the k-th pole point of F(s). Here, considering F(s) to be a rational function, the fraction style of F(s) can be given by where, A(s) and B(s) are mutually irreducible,18 and the order of A(s) is lower than B(s). According to the exponent number of zero point in B(s), can be calculated with following rules, that is,
If is the first-order zero point of B(s), then, ;
If is the n-order zero point of B(s), then, .
Remark
Theorem 5 is applicable to solving time-domain solutions of complex structures. With Theorem 5, solving for the inverse Laplace transform is transformed into solving for the sum of the residues. This greatly reduces the difficulty of calculation.
According to the theoretical descriptions above, pseudocode and flowchart of the Piecewise-Laplace method are shown in Figures 1 and 2.
Pseudocode of the Piecewise-Laplace method.
Flowchart of the Piecewise-Laplace method.
To demonstrate accuracy and reliability of the Piecewise-Laplace method for solving coupling oscillation system, three kinds of two-degree freedom systems are considered.
Solution of SCS
To explore the Piecewise-Laplace (PL) method for solving the coupling dynamics system, only a simple stiffness coupling system (SCS) is first shown in Figure 3, where is the mass of the vibrator, represents the stiffness coefficient of the spring and denotes the displacement response of the vibrator. By applying an initial velocity and initial displacement to the vibrator, the response of the vibrator changes with time.
The physical model of SCS.
According to the physical model, the following differential equation can be established
The simplified form of equation (23) can be expressed as
where . The initial value of the system can be assumed by
Subsequently, the piecewise constant method should be employed to rearrange the continuous equation (24) as piecewise constant system. Replace terms and with piecewise constant functions and at arbitrary intervals of (i = [Nt]), and so equation (24) can expressed as
In this case, the local initial conditions in equation (25) can be transformed into the following form
It can be found from equation (26), the piecewise style is coupled with respect to and . Therefore, the Laplace transformation can be used to separate the coupling variables, and the plural form of equation (26) in the interval is calculated as
Then, and can be expressed as
In this situation, and are the plural form of and in interval , respectively. Through using the reverse Laplace transformation, the expressions of and can be obtained by the replacement of i with [Nt]
where
Therefore, the velocities and should be rewritten as follows
As mentioned previously, the displacements and the velocities are continuous in , which is physically implied that there is no jump (break) or discontinuity in the displacement and velocity over . Thus, the displacement and velocity in two adjacent points must satisfy the following continuity conditions
According to the continuity conditions in equation (32), the relation of displacement and velocity between the two adjacent truncation points can be represented as
where the elements of the matrix are shown as follows
In light of equation (33), can be expressed via initial condition with iterative computations of i times, that is
where .
When the initial condition is determined, the displacement and velocity of the system at any time can be calculated by utilizing equation (35). The semi-analytical solution of the system in i-th interval can be rewritten as the style of piecewise constant, that is
Solution of SDCS
In actual engineering, damping is usually existed in coupling dynamics system. Therefore, a dynamic system coupled with the terms of stiffness and damping (SDCS) is considered, as shown in Figure 4, where is the mass of the vibrator, represents the stiffness coefficient of the spring, is the damping coefficient of the damper and denotes the displacement response of the vibrator. Likewise, give the vibrator an initial velocity and initial displacement, and the analytical expression of the response of the vibrator can be obtained by the PL method.
Through this model, the following equation can be obtained
The physical model of SDCS.
The simplified form of equation (37) can be expressed as
where
In arbitrary interval , equation (38) can be rearranged as a style of piecewise constant. Replace terms , , and with piecewise constant functions , , and , and so equation (38) can expressed as
The Laplace transformation can be used to separate the coupling variables, and the transformed plural form of equation (39) in the interval is calculated as
Then, and can be expressed as
Through using the reverse Laplace transformation, the expressions of and can be obtained by the replacement of i with [Nt]
where
Therefore, the velocities and should be rewritten as follows
In the light of the continuity conditions in equation (32), the relation of displacement and velocity between the two adjacent truncation points can be represented as
where the elements in matrix are given by
According to the equation (44), can be expressed via initial condition with iterative computations of i times, that is
where
When initial condition is determined, the displacement and velocity of the system at any time can be calculated by utilizing equation (46). The semi-analytical solution of the system in i-th interval can be rewritten as the style of piecewise constant, that is
Solution of SDCSF
In practical engineering, the stiffness and damping coupling system is encountered external excitation. Consider a cosine force related to time t acted in the system (SDCSF) as shown in Figure 5, where is the mass of the vibrator, represents the stiffness coefficient of the spring, is the damping coefficient of the damper, is the magnitude of the cosine force, represents the frequency of the cosine force and denotes the displacement response of the vibrator. When the external excitation acting on the vibrator changes periodically with time, the vibrator will respond accordingly.
The physical model of SDCSF.
According to the physical model, the following equation is established
The simplified form of equation (48) can be expressed as
where .
At time interval , the piecewise constant method is employed to rearrange equation (49) as the style of piecewise constant. Replace terms , and with the piecewise constant functions , and , respectively. Equation (49) can expressed as
The Laplace transformation can be used to separate the coupling variables, and the plural form of equation (50) in the interval is calculated as
Then, and can be decoupled and expressed as
where .
It is difficult to transform plural solution above into time-domain solution with the general reverse Laplace-transform. However, Through Theorem 5 in equation (22), the expressions of and can be obtained by the replacement of i with [Nt]
where
Therefore, the velocities and should be rewritten as follows
The first order zero points in equation (54) are shown below
where .
According to the continuity conditions in equation (32), the relation of displacement and velocity between the two adjacent truncation points can be represented as
where The elements of matrix are shown as follows
According to equation (56), can be expressed via initial condition with iterative computations of i times, that is
When the initial condition is determined, the displacement and velocity of the system at any time can be calculated by using equation (58). The approximate solution of the system in i-th interval can be rewritten as the style of piecewise constant, that is
Numerical computation of the Piecewise-Laplace method
Numerical computation of SCS
In order to compare the accuracy of the PL method and the previously established method, the results of solving SCS for each method are obtained, as shown in Table 1.
With Table 1, take the results from RK4 with step 0.001 s as accurate values. By comparing the calculation results of each method with same step (0.01 s), it can be seen that the maximum relative errors of each method: Euler method: 15.28%; Trapezoidal method: 9.54%; Ode45: 4.21%; RK4: 6.15%; and PL: 1.54%. Therefore, the most accurate method is the PL method, the second is ode45, the third is RK4, the fourth is the trapezoidal method and the last is the Euler method. Figure 6 is the displacement responses of SCS. It also follows that the accuracy of numerical results calculated by the RK4 method is rougher than PL within time step 0.01 s; however, the PL solutions within time step 0.01 s are consistent with RK4 within time step 0.001 s. To evaluate the computational efficiency of the PL method, the CPU time for solving SCS with PL and RK4 methods in this same time domain is considered. As shown in Table 2, the CPU time spend by the PL method is approximately half of the RK4 method in time step 0.01 s, which reveals that the PL method is more efficient than RK4 in numerical calculation of SCS. Obviously, the same kind of computation method with short time step will take more time than long time step, but reliability result can be obtained with short time step.
Displacement response of SCS .
SCS computation time in time history 30 s.
Numerical method
Time step(s)
Iterations
CPU time
RK4
0.001
30,000
4.100625
RK4
0.01
3000
0.431250
PL
0.001
30,000
2.093750
PL
0.01
3000
0.228125
SCS: stiffness coupling system; CPU: central processing unit; PL: Piecewise-Laplace.
Numerical computation for SDCS
The results of solving SDCS for each method as shown in Table 3. Similarly, it can be seen that the maximum relative errors of each method: Euler method: 23.12%; Trapezoidal method: 11.97%; Ode45: 6.78%; RK4: 10.18%; PL: 1.52%. Likewise, the most accurate method is the PL method. As can be seen from the maximum relative error, compared to solving SCS, the relative error of each method has increased. This is due to the added damping term of the SDCS, which makes the calculation more complicated.
Numerical results in solving SDCS.
Times(s)
RK4 (step: 0.01 s)
PL (step: 0.01 s)
Euler method (step: 0.01 s)
Trapezoidal method (step: 0.01 s)
Ode45 (step: 0.01 s)
RK4 (step:0.001 s)
0.2
−0.00639401932
−0.00617951731
−0.00567427061
−0.00633640952
−0.00605843095
−0.00617905128
0.4
−0.00051551486
−0.00064252979
−0.00050319658
−0.00060136485
−0.00059791509
−0.00064272665
0.6
0.00334637075
0.00372683985
0.00286306634
0.00327953860
0.00320153875
0.00372569651
RK: Runge-Kutta; PL: Piecewise-Laplace; SDCS: stiffness and damping coupled system.
The displacement responses of SDCS as shown in Figure 7, it can be seen that the accuracy of numerical results calculated by RK4 is rougher than PL within time step 0.01 s; however, on account of continuity of the PL method, the numerical results within time step 0.01 s is coincident with the RK4 method within time step 0.001 s. The value of amplitude of the SDCS is gradually damped with the increase of time t. In order to evaluate the computational efficiency of the PL method, the CPU time for solving SDCS with PL and RK4 methods is considered. As shown in Table 4, the CPU time taken by the PL method is less than RK within the same time steps, which illustrates that PL calculating SDCS is faster than RK4 method. Comparing with Table 2, because of the existence of damping term, the CPU time taken by SDCS is longer than SCS.
Displacement response of SDCS.
SDCS computation time in time history 30 s.
Numerical method
Time step(s)
Iterations
CPU times
RK4
0.001
30,000
4.533125
RK4
0.01
3000
0.412515
PL
0.001
30,000
2.572750
PL
0.01
3000
0.296875
CPU: central processing unit; RK: Runge-Kutta; PL: Piecewise-Laplace.
Numerical computation for SDCSF
The results of solving SDCSF for each method as shown in Table 3. The maximum relative errors of each method can be found: Euler method: 38.47%; Trapezoidal method: 18.21%; Ode45: 8.75%; RK4: 16.44%; and PL: 3.41%. The PL method still has the highest accuracy. Compared to solving SDCS, the relative error of each method is increasing. This is due to the added external excitation related to time in SDCSF, which makes the calculation process more complicated and leads to a reduction in accuracy (Table 5).
Numerical results in solving SDCSF.
Times (s)
RK4 (step: 0.01 s)
PL (step: 0.01 s)
Euler method (step: 0.01 s)
Trapezoidal method (step: 0.01 s)
Ode45 (step: 0.01 s)
RK4 (step:0.001 s)
1.2
0.00020859293
0.00013342414
0.00008574526
0.00011408736
0.00013016784
0.00013948698
1.4
0.00040135417
0.00037231668
0.00028704714
0.00034702754
0.00037051934
0.00037181098
1.6
0.00030952914
0.00033551885
0.00025139344
0.00030593157
0.00031803561
0.00032923365
RK: Runge-Kutta; PL: Piecewise-Laplace; SDCSF: stiffness and damping coupled system acted by force.
Figure 8 shows the displacement responses of the SDCSF. It follows that the accuracy of PL results is more accurate than RK within same time step; but PL solutions with time step 0.01 s are more approximately approached to RK4 with time step 0.001 s. As shown in Table 6, computational speed of the PL method is faster than RK when calculating SDCSF, and the CPU time required in solving the SDCSF is longer than that of SCS and SDCS in time step 0.01 s because of the presence of damping and external excitation.
Displacement response of SDCSF .
SDCSF computation time in time history 30 s.
Numerical method
Time step(s)
Iterations
CPU times
RK4
0.001
30000
4.943750
RK4
0.01
3000
0.457751
PL
0.001
30000
3.062512
PL
0.01
3000
0.371920
CPU: central processing unit; RK: Runge-Kutta; PL: Piecewise-Laplace.
Convergence analysis of the PL method
The convergence of the PL method in calculating above three systems is discussed, as illustrated in Figures 9–11.
Convergence of the solution of SCS by the PL method .
Convergence of the solution of SCDS by the PL method .
Convergence of the solution of SCDSF by the PL method .
It can be seen that when N = 1000, the numerical results obtained by the PL method are deviated from the accurate value (AV). When N = 2000, the deviation of the numerical solution is reduced. Finally, when N = 20,000, the curve obtained by the PL method is coincident with that of AV. It is indicated that the numerical value obtained by the PL method is approached to the AV as the value of N is gradually increased. Obviously, parameter N is an important factor to control the precision of numerical results and speed of convergence. Therefore, when the value of N is increased, the calculation can converge faster and the precision of the PL method is improved. In order to obtain the high-precision results and faster convergence for solving the coupling dynamics systems, it is better to select a sufficiently large value of N.
Conclusion
In this paper, a new numerical computation method is introduced, and some important conclusion should be stressed as the following.
When solving the coupling system by using the traditional RK method, high order differential equations of dynamic system are usually descended into multiple first-order differential equations. In this way, crucial dynamic property of the original system may be neglected or simplified, which leads to the computational error when searching solution for dynamic model encountered in actual engineering. However, solving differential equations above with the PL method, the semi-analytical solution of systems is obtained directly through the derivation of equation. Therefore, the physical properties of systems are well preserved. In addition, the whole-time interval is divided into many tiny intervals by the PL method, and the solution is continuous on each interval. In this case, the accuracy of numerical solution of the PL method is better than the RK method, which is demonstrated by numerical analysis.
The computed efficiency of the PL and RK methods are compared through statistics of operation time of CPU during computing process. The CPU time taken by the PL method is less than the RK method in the same time steps, which indicates that the PL method is more efficient than the RK4 method. The main reason is that value continuity of two adjacent truncation points is maintained by using the PL method, which simplifies the solving process and saves the calculated time, while the RK4 method combining iterative and averaged slope to search solutions, which makes the solution process more complicated.
The numerical results of the PL method reflect the essence of dynamic system, since the PL method keep the physical characteristics of dynamic system. The precision of the solution obtained by the PL method is related to the value of N. This article is an exploratory study for implementation of the PL method in coupling systems. Therefore, the classic two-degree freedom systems are considered, whether the PL method is suitable to solve problems of multi-degree freedom system should be further verified in our next work.
Footnotes
Declaration of conflicting interests
The author(s) declared no potential conflicts of interest with respect to the research, authorship, and/or publication of this article.
Funding
The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This work was supported by the National Natural Science Foundation of China (NO. 51705437), the Chinese Postdoctoral Fund (NO. 2019M653482), the Chengdu International Science and Technology Cooperation Project (NO. 2019-GH02-00035-HZ), the Sichuan Science and Technology Program (NO. 2020YFG0181).
ORCID iD
Kexin Wang
References
1.
NakamuraS. Initial value problems of ordinary differential equations. Appl Numer Methods Softw1991; 25(2): 264–285.
2.
ZinggDWChisolemTT. Runge–Kutta methods for linear ordinary differential equations. Appl Numer Math1999; 31(2): 227–238.
3.
AbukhaledMIAllenEJ. A class of second-order Runge-Kutta methods for numerical solution of stochastic differential equations. Stoch Anal Appl1998; 16(6): 977–991.
4.
IserlesARamaswamiGSofroniouM. Runge-Kutta methods for quadratic ordinary differential equations. Bit Numer Math1998; 38(2): 315–346.
5.
EnrightWHHayesWB. Robust and reliable defect control for Runge-Kutta methods. ACM Trans Math Softw2007; 33(1): 1.
6.
DaiLSinghMC. Periodic, quasiperiodic and chaotic behavior of a driven Froude pendulum. Int J Nonlinear Mech1998; 33(6): 947–965.
7.
DaiL. Nonlinear dynamics of piecewise constant systems and implementation of piecewise constant arguments. Singapore: World Scientific, 2008.
8.
DaiLXuLHanQ. Semi-analytical and numerical solutions of multi-degree-of-freedom nonlinear oscillation systems with linear coupling. Commun Nonlinear Sci Numer Simul2006; 11(7): 831–844.
9.
CheungYChenSLauS. Application of the incremental harmonic balance method to cubic non-linearity systems. J Sound Vib1990; 140(2): 273–286.
10.
ChenLQLiXLuZQ, et al. Dynamic effects of weights on vibration reduction by a nonlinear energy sink moving vertically. J Sound Vib2019; 451: 99–119.
11.
ZhangYWLuYNZhangW, et al. Nonlinear energy sink with inerter. Mech Syst Signal Process2019; 125: 52–64.
12.
PanFHouYNanY, et al. Study of synchronization for a rotor pendulum system with Poincare method. J Vibroeng2015; 17(5): 2681–2695.
13.
FangPHouYJZhangLP, et al. Synchronous behavior of a rotor-pendulum system. Acta Phys Sin2016; 65(1): 014501.
14.
ZhengKMHuYMWuB. Trajectory planning of multi-degree-of-freedom robot with coupling effect. J Mech Sci Technol2019; 33(1): 413–421.
15.
SotoodehMFriborzi AraghiMA. A coupling method of improved homotopy perturbation technique and Laplace transform for solving second-order Fredholm integro-differential equations. Far East J Appl Math2011; 60(60): 117–130.
16.
CaiZFKouKI. Laplace transform: a new approach in solving linear quaternion differential equations. Math Methods Appl Sci2018; 41(11): 4033–4048.
17.
OzkanOKurtA. The analytical solutions for conformable integral equations and integro-differential equations by conformable Laplace transform. Opt Quantum Electron2018; 50(2): 81.
18.
ForcrandPDJägerB. Taylor expansion and the Cauchy Residue Theorem for finite-density QCD. High Energy Phys Lattice2018, https://arxiv.org/pdf/1812.00869.pdf