1. Introduction
The analytical mechanics gave, from the beginning, several equivalent formalisms useful in the analysis of mechanical systems with a large number of degrees of freedom (DOF). The advantage of these approaches lies in the fact that they are suitable for generalizations. However, in practice, despite a relatively large number of analysis possibilities, the Lagrange’s equation was used. The success of this method is based on the fact that it operates with classical and well-known notions of mechanics. However, due to the significant progress of the last five decades in the field of numerical computing methods and the use of computers in all domains, a reconsideration of these methods is required. Some of these formalisms can bring advantages in terms of modeling, writing algorithms, and computational time. The advantages and the drawbacks are summarized at the end of this section. By using a convenient method, it is possible to reduce the computing operations. For example, Hamilton’s method leads us to a system of first-order differential equations; therefore, there is no need to transform the second-order system of differential equations into a first-order system of differential equations.
The last decade shows us that we have begun to reconsider all the formalisms of analytical mechanics. This is a consequence of the desire to facilitate the representation of mathematical models and the need to reduce the amount of equations and steps that are required. Worldwide, there are different studies that have applied and analyzed alternative ways of obtaining the equations of motion. In the following, we show a summary of some of the most significant research studies on the subject.
Even if alternative methods were used in the analysis of multi body systems (MBSs), such as Gibbs–Appell equations, Hamilton equations, Maggi’s equations, Jacobi’s equations, Kane’s equations, etc., for problems that required the application of the finite element method (FEM) method, Lagrange’s equations were used almost exclusively. The disadvantage is the high level of calculus due to the large number of DOF. It is natural, therefore, to identify the most advantageous methods in terms of volume and calculus time. We mention that, even though different methods were used, the resulting system of differential equations was the same.
Using the results presented in [
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16], the following conclusions can be formulated regarding the advantages and the drawbacks of modeling an elastic mechanical system using the equivalent formalism of analytical mechanics.
As a method currently used, the Lagrange’s equations (LE) method, preferred in the case of mechanical systems with a high DOF, has proven that it can be successfully applied to a wide range of situations. The main advantage of the method is that basic and well-known notions are used. In the finite element analysis (FEA) of MBS systems with elastic elements, this method has been used by almost all researchers. Mechanical systems modeled with various types of finite elements have been studied using this method. In the first step, the equations of motion are computed. The next step is the assembly of these equations, which implies the writing of the constraint conditions between the finite elements, expressed generally by non-holonomic conditions. This step is actually the elimination of Lagrange’s multipliers from the obtained algebraic differential system (DAE). It has been proven that the method of LE is convenient for many applications [
1,
2,
3,
4,
5,
6,
7]. The use of other equivalent formulations in analytical mechanics has been only sporadically investigated in relation to these problems.
The most used method by researchers to study such systems is the Lagrange’s method. The main reason is the degree of generality and abstraction that this method allows (as opposed to the Euler method, where every liaison force must be introduced and determined), but also the fact that researchers are accustomed to it. A major disadvantage is the fact that one must determine the multipliers, which, for large systems, can become a difficult thing.
Gibbs–Appell (GA) equations, although rarely used in the study of mechanical systems, have obvious advantages in terms of the representation form to be used. Compared with LE, it has advantages regarding the required computation time [
8].
The disadvantage is that researchers are less familiar with some notions, such as energy of accelerations. The GA formalism is useful for non-holonomic systems. Advantages of the GA method have been presented in studies related to the calculus of MBSs with rigid elements [
9]. The final equations obtained by applying this method are identical to those obtained with LE, but the computational effort is lower [
10]. The major advantage of the method is that Lagrange’s multipliers do not appear in the written equations; the method eliminates them directly and, as a result, the number of unknowns is lower [
11]. These advantages have been observed by the researchers and, lately, the method tends to become a [
12] procedure. Gibbs–Appell equations have the advantage that the level of calculus involved in the modeling process is smaller. On the other hand, this method involves the introduction of a notion that researchers are less accustomed to operate with, namely the energy of accelerations.
Most analytical methods lead to a system of second-order differential equations. To solve this kind of system using commercial software, it is necessary to transform it by introducing additional variables to a system of first-order differential equations. Hamiltonian mechanics allows obtaining a system of first order and thus shorter time is needed to solve it. In this way, a time-consuming stage in the process of transforming from second-order differential equation systems to first-order differential systems is avoided. However, the method has a disadvantage in the need to perform numerous preliminary calculations [
16]. We do not know a concrete study of all the aspects involved in the use of this method.
The last years have revealed increasing interest from researchers for Maggi’s equations (ME), which were little applied and which are an alternative formalism to the other formalisms in analytical mechanics [
13,
14]. The interest is also generated by the development of modern mechanical manufacturing systems (robots and manipulators) [
15]. In the case of the study of non-linear systems, the feedback linearization technique involves the application of ME. However, this method is rarely used, despite all these advantages, and is less familiar to researchers. The use of Maggi’s and Kane’s equations (two equivalent formulations of the same principles) has advantages in the analysis of non-holonomic systems. The liaison conditions, expressed linearly, can be used immediately in the equations of motion. It also has the advantage that the obtained equations no longer contain Lagrange multipliers or the liaison forces from the Newton–Euler equations.
The paper aims to analyze the possibility of using Kane’s equations to derive the equations of motion for a finite element and also to identify the advantages of this approach for the researchers.
In order to test the possibility of applying the method and to find the potential problems that might appear during its use, we made an application based on a planar mechanism.
2. Finite Element Kinematics
In our application, we used a one-dimensional finite element to study a planar mechanism with two degrees of freedom. To apply Kane’s equation (KE), it is necessary to know the kinematic of the element. In such analysis, the velocity and the acceleration of a point are of significant importance and are expressed in terms of nodal coordinates. An analysis of this problem can be found in [
2,
3,
4,
5,
6]. The shape function that was used helped determine the displacements field in terms of independent nodal coordinates. (
Figure 1)
The new position vector
M’ of an arbitrary chosen point
M becomes [
7]:
where
is the displacement vector; the shape functions are in
, and
and
,
are the displacement vectors. The slope is [
6]:
With G index, we denote a vector or a matrix with components in the global coordinate system, and with L index, we denote a size with components in the local system.
From Equation (1), the velocity of a point results in:
Calculated in [
6,
7], where
is the velocity vector of the origin of the mobile coordinate system.
The transformation of a vector is performed by the matrix
:
In
Appendix A are presented more results used in the paper.
3. Kane’s Equations Used in Conjunction with FEA
Kane’s method and equations have represented, during the last decades, a method that was successfully applied in the study of MBS systems. The KE method can be used for both holonomic and non-holonomic systems and can eliminate some of the disadvantages of classical methods in analytical mechanics (Newton–Euler and Lagrange). From a theoretical point of view, Maggi and Kane equations are equivalent, representing the same method very well suited for systems with non-holonomic constraints [
17]. The application of Kane’s equations was determined by the need to study complex flexible structures such as robots and manipulators [
18]. It has been found that applying this method allows efficient calculation for these systems [
19,
20,
21,
22]. The advantage of these equations is that they do not contain constraints forces [
23]. The paper presents the necessary formalism to derive the motion equation for a finite element. A planar mechanism is studied, but the method can be applied for every type of an elastic MBS. Of course, the specific form of the equations must be calculated each time considering the shape functions required by the specific finite element chosen.
A short presentation of the Kane’s equations is presented in
Appendix B. For an elastic finite element, considered as a solid, the Kane’s equation can be written as:
where by
is meant
.
Differentiating the expression of velocity Equation (3), we obtain:
From Equation (1), we obtain:
The expression
, if
, is
. It is possible to write:
The following notations were made:
In Equation (14), Equation (7) was applied. Thus, in a nodal point,
k acts as generalized forces
composed by the external forces (concentrated and distributed), the liaison forces, and the forces deriving from a potential. The corresponding velocities of these points can be found inside the velocities vector
. We obtain:
is the generalized external nodal forces vector,
—is the vector of forces deriving from a potential,
—is the liaison vector [
6], and
is, in this representation, the velocity of the nodal point
k.
4. Study of a Planar Mechanism Used in a Wind Water Pump
The mechanism of the transmission of the wind water pump is presented in
Figure 2 [
24]. The elements of the mechanism are rigid despite the B C’ beam, which is considered linear elastic.
To determine the constraint forces in the connection point, we consider all the elements of the mechanism being rigid (it is a first approximation, and we consider that the deformability of the beam does not influence the rigid body motion of the mechanism) [
25,
26]. In this case, if we know the moment offered by the electric engine and the friction in the joint after the integration of the equations, we can compute the liaison forces in the hinges B and C’. These forces can be introduced now in the finite element model.
However, due to the many parameters that we have to take into account and which are difficult to determine or approximate, we used another method of determining the liaison forces. Recordings were made of the movement of some characteristic points of the mechanism, their trajectories were obtained, and, based on them, the speed and the acceleration fields of the mechanism were determined. Knowing the accelerations and the equations of motion, we could determine the forces that appeared in the two hinges (by solving a linear system) and use them in the finite element model.
In
Figure 3 are presented the points where the markers were glued. These forces are necessary for writing the equations of motion of the BC’ elastic beam. They were determined previously using Kane’s equations. After this step, we computed the free vibrations of the equation system that was obtained.
The markers placed on the bar were tracked using a video analysis and modeling program. Following the recording of the markers’ positions with the help of the analysis program, the speeds and the accelerations of the points were determined as well as the trajectories traveled by them.
In
Figure 4 are presented the trajectories of each chosen point on the bar using the data taken by the video analysis program. These are represented according to the positions given by the main coordinate axes of the chosen system, XOY, OX being the horizontal axis and OY the vertical axis.
For analysis and processing of the results as well as for the modeling with finite elements, simple codes written in MATLAB were used. This was done due to the simplicity and the versatility of this programming environment. Some of its advantages would be that it allows the easy implementation of algorithms, it is possible to develop codes easily, corrections can be made quickly, it allows the use of relatively large data sizes of the studied system, and it shows fast graphical results. The trajectories were presented in
Figure 5.
The velocity and the acceleration fields (
Figure 6) were determined using the aforementioned optical method. The acceleration fields are presented in the figures below for the five nodes studied.
The model of the beam divided in finite elements is presented in
Figure 7. In the hinge B and C, we could introduce the reactions previously determined using the optical measurement and solving the linear system of equation containing the reaction (liaison forces). Then, it was possible to perform a modal analysis of the beam. The results presented in the graphs below were taken for the same operating angular velocity, 140 rpm, this being the maximum speed at which experimental measurements were made (
Figure 8).
In the following, we try a comparison between the use of Kane’s and Lagrange’s equations based on reference books [
27,
28]. The procedure follows a series of similar steps. The differences occur when Lagrange’s formulas and Kane’s formulas are actually applied (
Figure 9 and
Figure 10). The number of distinctive operations in the two cases is studied. There are still elementary matrix operations, but we do not make the comparison there, considering that the number of terms in the case of Lagrange’s method is significantly higher than in the case of applying Kane’s method (
Table 1).
From the analysis of the presented calculus, it was found that there was an obvious difference between the numbers of differences implied by the two methods. Apparently, the difference was very large and should have led to significant time savings if the method of Kane’s equations was applied. In reality, this step represented only a fraction of the multitude of operations necessary to perform. Consequently, the economy achieved was much smaller. For example, in the case of writing a calculus program in MATLAB for the calculation of the beam studied in the paper, which was discretized in 30 finite elements, the comparison led to a decrease in calculation time of only 7%.
5. Conclusions and Discussions
The literature studied suggests that LE presents some advantages for the researchers. The main disadvantage is the need to determine the Lagrange multipliers from the DAE obtained, which is difficult to achieve in the case of large DOF systems. This involves numerous calculations and large computational times. By comparison, the GA method seems to eliminate this disadvantage but introduces a new notion, energy of the accelerations. An alternative is ME, very useful when the constraints are non-holonomic. The last years have indicated an interest in researchers towards this method in the context of the need to study complex systems such as robots and manipulators applied at the present time on a large scale in the manufacturing industry. Hamiltonian formalism has the advantage of obtaining a system of first-order differential equations, which can become a plus in the case of using numerical calculation. However, the complexity of the intermediate calculations makes the method inconvenient for the researchers. The KE method, which is equivalent to the ME method, has begun to be used more widely in the last decade, with studies also led by the automation industry and industrial robots. In the paper, the KE formalism was applied to determine the dynamic response of an elastic MBS. The application considered was that of the transmission of a water pump driven by the wind. The finite element chosen was a one-dimensional element where classical third and fifth degree interpolation polynomials were used. It can be seen that KE can be a successful alternative in determining the equations of motion with the advantage of being economical. The uses of these equations present a natural alternative for non-holonomic mechanical systems. A comparison between the two methods was made in the paper. For the example highlighted in the paper, which is of small size, this difference may seem minor, but for large systems with high DOF, the difference may become significant.
Kane’s equations can be an economical and a simple alternative to the problem. The mentioned methods and the other known ones from the analytical mechanics with their equivalents will be re-evaluated in the context of the development of the modern industry, characterized by working mechanisms with high speeds and high loads. This implies the fact that new technologies and software development on these new methods are needed.