A Time Finite Element Method Based on the

applied sciences Article

A Time Finite Element Method Based on the Differential Quadrature Rule and Hamilton’s Variational Principle Yufeng Xing 1, *, Mingbo Qin 1 and Jing Guo 2 1 2

*

Institute of Solid Mechanics, Beihang University, No. 37, Xueyuan Road, Haidian District, Beijing 100191, China; [email protected] Science and Technology on Reliability and Environment Engineering Laboratory, Beijng Institute of Structure and Environment Engineering, No. 1, Dahongmen Road, Fengtai District, Beijing 100076, China; [email protected] Correspondence: [email protected]; Tel.: +86-10-8233-9964

Academic Editor: Francesco Tornabene Received: 22 November 2016; Accepted: 23 January 2017; Published: 4 February 2017

Abstract: An accurate and efficient Differential Quadrature Time Finite Element Method (DQTFEM) was proposed in this paper to solve structural dynamic ordinary differential equations. This DQTFEM was developed based on the differential quadrature rule, the Gauss–Lobatto quadrature rule, and the Hamilton variational principle. The proposed DQTFEM has significant benefits including the high accuracy of differential quadrature method and the generality of standard finite element formulation, and it is also a highly accurate symplectic method. Theoretical studies demonstrate the DQTFEM has higher-order accuracy, adequate stability, and symplectic characteristics. Moreover, the initial conditions in DQTFEM can be readily imposed by a method similar to the standard finite element method. Numerical comparisons for accuracy and efficiency among the explicit Runge–Kutta method, the Newmark method, and the proposed DQTFEM show that the results from DQTFEM, even with a small number of sampling points, agree better with the exact solutions and validate the theoretical conclusions. Keywords: differential quadrature rule; time finite element method; Gauss–Lobatto quadrature rule

1. Introduction Various algorithms are available for numerical integration of Ordinary Differential Equations (ODEs). The most commonly used algorithms, derived from Finite Difference Method (FDM), are the Direct Integration Methods (DIMs), such as the Central Difference Method (CDM), the Newmark method, and the Runge–Kutta Method (RKM). Feng presented structure-preserving symplectic schemes for the Hamilton system and illustrated the fundamental cause of energy dissipation of classical DIM [1]. As is widely accepted, Finite Element Method (FEM) is superior to FDM and has advantages in space, thus it should also exhibit advantages in time in the mathematical sense. However, Zienkiewicz doubted if it is possible to use Finite Elements (FEs) in the time domain [2]. Indeed, when the involved functions are smooth enough, it is not essential to define massive time steps to integrate ODEs, and the time steps should be as many as the FEs to produce a solution of comparable accuracy. In view of the increased storage required, the use of Time Finite Elements (TFEs) to solve ODEs is questionable. However, this problem can be gradually solved due to the rapid development of computer capacity and advanced solution methods. In many cases, conventional step-by-step algorithms like CDM may call for a very large number of time steps. This is especially true when dealing with excitation and material properties changing Appl. Sci. 2017, 7, 138; doi:10.3390/app7020138

www.mdpi.com/journal/applsci

Appl. Sci. 2017, 7, 138

2 of 16

rapidly in time. Comparing with the Finite Difference (FD) based method, a variation-based method, with its inherent stability and physical origin, may lower the computational effort considerably. Thus, despite some reservations [2], the extension of FE concept to the time domain is logical. Many researchers have attempted to employ Time Finite Elements Methods (TFEMs) to discretize ODEs. Similar to FEMs in spatial domain, one can formulate TFEM based on Hamilton’s variational principles [3–5], Hamilton’s law of varying action [6,7], Gurtin’s variational principle [8], and weighted residual methods [9,10]. Almost all of the reported works dealt with one FE interval and repeated the calculations for subsequent time intervals with new initial conditions. Hence, these TFEMs lead to a step-by-step or recurrence calculation and are conditionally stable, unlike standard FEMs, which produce simultaneous solutions of the whole range of interest. The present work introduces a high-order method, and, generally, the dynamic responses of the whole time domain can be solved in one shot rather than step by step. The commonly used trial functions in TFEMs based on variational principles are Hermite interpolations [3,4,6,11], rarely used linear functions [12], and cubic spline functions [13–15]. The advantage of using Hermite interpolations is that the initial conditions can be imposed in the same manner as the boundary conditions in standard FEMs, and the resulting time element is C1 continuous [16,17]. Moreover, the solution accuracy increases as the number of elements increases or the order of trial functions increases. The present TFEM is also based on a variational principle, but usually the nodes or sampling points in an element are not uniformly located, and nodal velocities are only for two end nodes rather than for the interior nodes. As an alternative to variational principles, weighted residual approaches are also widely used to construct TFEs. The commonly used trial functions in weighted residual approaches are Lagrange interpolations [18,19], linear/quadratic polynomials [20,21], Taylor series [22,23], and Taylor formula [9,24]. Zienkiewicz proposed a TFEM based on a weighted residual approach, and gave recurrence schemes of a single step or multiple steps [2]. Remarkably, as they reported, the mainly used DIMs can also be derived using weighted residual approaches. Later on, they employed Taylor’s expansion to form a unified set of single-step algorithms [9], discussed the accuracy and the stability, and applied the method of backward error analysis to obtain a few general rules to choose parameters. By separately approximating acceleration, velocity and displacement as linear, quadratic, and cubic Taylor series, Hoff and Pahl developed a single-step TFEM based on a weighted residual method, and applied it to linear [25] and nonlinear [22] structural dynamics. Numerical results showed that the method presents some advantages, especially in accuracy and overshooting behavior. Additionally, Krishna and Manjeet presented three and four steps of TFEM using the least squares method as well as Lagrange interpolations for first-order initial-value problems [18]. The drawback of the weighted residual approaches based on TFEM is the determination of the optimum weighting functions. TFEMs were based on the assumption that state variables are continuous in the time domain. However, in the Time-Discontinuous Galerkin Method (TDGM) which was originated by Reed and Hill [26] and Lesaint and Raviart [27] based on Galerkin weighted residual approach, and in the TDGM, the unknown variables are continuous within the time element but discontinuous at time nodes. The TDGM has been employed to solve periodic differential equations and Davey–Stewartson equations [28,29]. It was first shown by Lesaint and Raviart [27] and Delfour et al. [30] that TDGM leads to A-stable, higher-order accurate TFEMs. Subsequently, Hughes and Hulbert first applied TDGM to elastodynamics and structural dynamics to develop space–time finite element methods [31–34] and TFEMs [5,35], respectively. According to their results, TDGM stability is easily proved, but the convergence had been proved only for linear elements, therefore the Time-Discontinuous Galerkin/Least Squares Method (TDGLSM) [36] was developed to solve this problem [31,32,35]. Compared with the continuous Galerkin FEM, the drawback of TDGMs is the usage of a higher number of degrees, which has been overcome by designing an improved predictor/multi-corrector algorithm [37] or a suitable adaptive strategy for iterative mesh refinement [38,39].

Appl. Sci. 2017, 7, 138

3 of 16

According to the above review, the TFEMs in existence certainly have limitations. As is well known, researchers are always seeking new numerical methods with higher accuracy, efficiency, and flexibility to promote modeling capabilities. Bellman and Casti proposed the Differential Quadrature Method (DQM) as a simply and highly efficient numerical technique for initial-value problems [40], which was regarded as a global and higher-order FD scheme [17,41–43] and could yield accurate results using a considerably smaller number of sampling points. The general versatility of DQM has been established in a variety of physical problems. A recent survey refers to publications [44,45], and an exhaustive list of the literature on DQM up to 1996 may be found in the survey paper [46]. Although DQM’s numerical accuracy and computational efficiency has been well demonstrated, its limitations are also significant [46]. In 2009, based on the Differential Quadrature (DQ) rule, the Gauss–Lobatto quadrature rule, and the total potential energy variational principle, a DQ Finite Element Method (DQFEM) was proposed by the author and co-workers for free vibration analysis of thin plates [47], and the authors formulated explicit one- to three-dimensional (1-D to 3-D) element matrices [48]. The DQFEM uses Lagrange trial functions for C0 and C1 FEs and possesses high accuracy of DQM and the generality of standard FEM. In this context, similar to DQFEM for spatial domain [47,48], Hamilton’s variational principle together with the DQ rule and the Gauss–Lobatto quadrature rule are used to develop a TFEM in the present work, where the initial conditions can be readily imposed as in standard FEM. This novel method is called the DQ Time Finite Element Method (DQTFEM). The novelties of the present work compared with the existing TFEMs can be briefly summarized as follows: (1) (2) (3)

(4)

The general form of Hamilton’s variational principle, the DQ rule, and the Gauss–Lobatto quadrature rule are used to formulate a TFEM for structural dynamic analysis. The Gauss–Lobatto quadrature points are used as time sampling points or nodes of the time element, which results in more accurate results with the same number of nodes. The nodal velocities are only involved at two end nodes of the time element, implying that the number of Degrees of Freedom (DOFs) is less than that of the existing TFEMs based on the variational principle and Hermite interpolations. Lagrange interpolations are employed instead of Hermite interpolations in the construction of the C1 time element, and the stability and accuracy of DQTFEM are studied in detail.

The outline of the present paper is as follows. In Section 2, the formulation of DQTFEM is presented for structural dynamic ODEs. In Section 3, the stability and accuracy are studied. Obtained solutions are compared with analytical solutions, the results of four-order explicit RKM, and the Newmark Average acceleration Method (NMA) in Section 4. Finally, conclusions are drawn in Section 5. 2. Basic Formulations For structural dynamic systems with damping and subjected to external loads, the ODE in a discrete form can be derived by using the general form of Hamilton’s variational principle [49]: Z t2 t1

δ( T − V )dt +

T=

1 .T . u Mu, 2 .T

Z t2 t1

V=

δWdt = 0 1 T u Ku 2

δW = u Cδu + fT δu,

(1)

(2) (3)

where T, V, and δW stand for the kinetic energy, strain energy, and virtual work of damping forces and external forces, respectively; M = [M ij ]n×n , K = [Kij ]n×n , and C = [Cij ]n×n are the mass, stiffness, and damping symmetrical matrices, respectively; n is the number of spatial DOFs of the system; u(t)

Appl. Sci. 2017, 7, 138

4 of 16

and f (t) are the displacement vector and the prescribed load vector corresponding to spatial nodes, respectively; and a time derivative is denoted by a dot over the letter. uT = [u1

u2

u n ] , fT = [ f 1

···

u3

f2

f3

···

fn ]

(4)

Using the variational principle, Equation (1) yields the ODE of discretized system as ..

.

Mu + Cu + Ku = f.

(5)

For the clarity of derivations, the time evolutions of a spatial node “i” are written as uTi = [ ui1 ui2 ui3 · · · ui( N −1) fTi = [ f i1 f i2 · · · f iN ]

uiN ]

(6)

for the time sampling points 1 to N, and N is the number of time sampling points. Note that uij and fij are the values of ui and fi at time sampling point tj . For a Multiple DOF dynamic system (Equation (5)), each spatial DOF is the function of time; its derivative with respect to time can be given through DQ rule as . ui = Aui , (7) where A = [Ajk ]N×N is the explicit weighting coefficients matrix [46]. It is noteworthy that the weighting coefficients are independent of variables, and dependent only on coordinates of time sampling points. Fung [50] solved Equation (5) by using DQM. However, Equation (1) is discretized using the DQ and Gauss–Lobatto quadrature rules in this work. For the development of the present TFEM, all terms of Equation (1) should be dealt with by the . DQ and Gauss–Lobatto quadrature rules, that is, u is expressed in terms of u based on the DQ rule and the integrals are fulfilled by using the Gauss–Lobatto quadrature rule; then we have Z t2

Z t2 .T

δTdt =

t1

t1

Z t2

δVdt =

Z t2

t1

R t2 t1

t1

δWdt

.

T

u Mδudt = U MδU

(8)

T

uT Kδudt = U KδU

(9)

R t2 . T (u Cδu + fT δu)dt t1  , T T = U C + F E δU =

(10)

where

UT =

h

U = cs(U), F = cs(F) i h u2 · · · un , FT = f1

(11) i

· · · fn

M = AT CG A ⊗ M, K = CG ⊗ K, C = AT CG ⊗ C
CG = diag Cj , E = CG ⊗ E, u1

f2

(12) (13) (14)

where ‘cs’ indicates column expansion of a matrix, ‘⊗’ is the Kronecker product, E is a n × n identity matrix, and Cj is the coefficient of Gauss–Lobatto quadrature. Diagonal matrix CG = diag(Cj ). Appendix A presents the derivations of Equations (8) to (10). Equation (13) shows that the expanded mass matrix M and stiffness K are symmetrical, but C is not, even though C is symmetrical. Substituting Equations (8) to (10) into Equation (1), and noting that δU is arbitrary, we have the dynamic equilibrium equation in algebraic form as  T T U K − M − C = F E,

(15)

Appl. Sci. 2017, 7, 138

5 of 16

or in a compact and standard form as GU = Q,

(16)

where T

G = K − M − (C) ,

(17)

Q = EF.

Equation (16) can also be written in a different form as KUCG − MUAT CG A − CUCG A = FCG

(18)

which can be reduced to a Sylvester equation whose solutions can be found by the method of Bartels and Stewart [51] if we neglect damping. Then it has no row or column expansion of matrix in Equation (18), or it has no additional storage needed except for A and the diagonal matrix CG when compared with a step-by-step method. After deriving Equation (15), a DQTFEM has been formulated, which is different from classical TFEMs where Hermite interpolations are used and displacement and velocity are involved for all nodes. From the above derivation, one can see that, in DQTFEM, displacements are the only nodal parameter at all time sampling points since Lagrange interpolations are used; refer to Equations (11) and (12). In order to impose initial conditions and satisfy C1 -compatible conditions in the present method, the nodal parameter vector U should be modified to include velocities for all spatial DOFs at the first time sampling point. To achieve this, an accurate and convenient method is to modify U as eT = U

h

u11

· · · un1 ,

u12

· · · un2 ,

···

, u 1( N −1)

· · · u n ( N −1) ,

.

u11

.

· · · un1

i

, (19)

which is formulated by substituting the displacements u1N , · · · , unN of the Nth time sampling . . e and point by the velocities u11 , · · · , un1 of the first time sampling point. The relation between U U can be readily obtained by DQ rule as e = HU U (20) H = T⊗E

(21)

where T is formed by substituting the first row of A for the Nth row of an unit matrix, that is        T=     

1 0 0 .. . 0 0 A11

0 1 0 .. . 0 0 A12

0 0 1 .. . 0 0 A13

··· ··· ··· .. . ··· ··· ···

0 0 0 .. . 1 0

0 0 0 .. . 0 1

A 1( N −2)

A 1( N −1)

0 0 0 .. . 0 0 A1N

       .     

(22)

From Equations (16) and (20) one can obtain eU e =Q G

(23)

e = GH−1 . G

(24)

e of Equation (23) does not include displacements and It should be noted that the solution U velocities of the Nth sampling point, referred to in Equation (19), but these can be easily obtained through Equation (20) and the DQ rule, respectively. Rearranging the terms of Equation (23), it is rewritten as " #" # " # e ii G e id ei U Qi G (25) e di G e dd e d = Qd , U G

Appl. Sci. 2017, 7, 138

6 of 16

where subscript ‘i’ indicates the initial conditions, and ‘d’ indicates unknowns. From Equation (25) we have −1 e dd e di U ed = G e i ), U ( Qd − G (26) e i is formulated by initial displacements and velocities, thus the initial conditions are dealt with where U in a general and convenient way. It is worth noting that here u1 , u2 , · · · , un , corresponding to all time sampling points, are solved concurrently by using the exact initial conditions; this is different from classical step-by-step DIMs, in which the results of the present time step are the initial conditions of the next time step. That is, only the initial conditions of the first time step are exact; all others are approximate. However, DQTFEM can also serve as a step-by-step method; in this situation, a time element is a time step in which there are N time sampling points. Therefore, the initial conditions except for the first time step are also approximate, but the approximate initial conditions are highly accurate since the present method is a high-order method. Remarks: (1)

(2) (3)

Usually for conservative systems, the actual path will be the one for which the integral of Lagrangian function (T − V) is an extremum, and for the non-conservative system considered here, the general form of Hamilton’s variational principle is used and the integral still exists; however, there exists no functional that must be an extremum [49]. The method of imposing initial conditions in the present method is standard and similar to the one used in the FEM; see Equation (25). DQTFEM is a new TFEM, since Gauss–Lobatto quadrature and DQ rules are used for the first time in the construction of a TFEM. The high accuracy and efficiency due to the employment of Gauss–Lobatto quadrature and DQ rules are validated in the following numerical comparisons; see Section 4.

3. Stability Analysis Stability analysis is significant for a new TFEM, and for this analysis a spectral approach is generally employed because a linear dynamic system can be decoupled into a set of single DOF systems based on the orthogonality of mode functions or mode vectors. Therefore, in the stability analysis of the present method, consider a single DOF system as ..

u + (ωh)2 u = 0,

(27)

where ω denotes the angular frequency. Here, the two dots over u denote the second derivative with respect to time τ, not to t, where τ = t/h, and h and t stand for time step size and the real time, respectively. For Equation (27), the displacement vector u in Equation (6) becomes uT = [ u 1

u2

u3

· · · u N ],

(28)

where uj (j = 1, 2, . . . N) denotes the displacements at time sampling points, the subscript ‘i’ in Equation (6) denotes the spatial DOF number and is omitted here since i = 1, and G = AT CG A − (ωh)2 CG , U = u, Q = 0

(29)

The nodal parameter vector in Equation (19) has the form of eT = U

h

u1

u2

u3

· · · u N −2

u N −1

.

u1

i

.

(30)

Appl. Sci. 2017, 7, 138

7 of 16

According to Equation (26), one can obtain    e Ud =   

u2 u3 .. .

  h  =− α  

i β

"

u0 . u0

# ,

(31)

u N −1 .

e and u0 and u0 are the initial displacement and where column vectors α and β are extracted from G, velocity, respectively. Moreover, using DQ rule yields h i . . e d + A1N u N u1 = u0 = A11 u0 + A12 · · · A1( N −1) U h i . . e d + A NN u N u N = A N1 u0 + A N2 · · · A N ( N −1) U

(32)

From Equations (31) and (32), we have "

uN . uN

#

"

=J .

u0 . u0

# ,

(33)

.

which is the recurrence relation between (u N , u N ) and (u0 , u0 ), and the elements of the Jacobi matrix J are  h i  −1  J11 = A1N A12 · · · A1( N −1) α − A11    h i     J12 = A−1 β + 1 A · · · A 12 1( N −1) 1N h i . (34)  J21 = A N1 − A N2 · · · A N ( N −1) α + A NN J11    h i    J22 = A NN J12 − A N2 · · · A N ( N −1) β According to the relationship between ωh and spectral radius ρ(J), see Figure 1, the first stable intervals for different N can be obtained as given in Table 1. From Table 1 and Figure 1 we can make the following observations: (1)

(2)

(3)

ρ(J) ≥ 1 for any N, and when N becomes larger, the first stable interval also becomes larger. Although there are several stable intervals with ρ(J) = 1 except for N = 3, the first stable interval is significant and practical; therefore, only the first intervals are listed in Table 1 whose elements are obtained by using the criterion (ρ − 1) < 10−6 . ρ(J) < 1 in the TFEM by Hulbert [35], but ρ(J) = 1 in DQTFEM for all stable intervals, hence DQTFEM is more accurate than that of Hulbert [35] since DQTFEM is a high-order method that has a smaller √ phase error than lower order methods. Note that the stability of CDM is ωh ≤ √2, and ωh ≤ 2 2 for four-order explicit RKM, and the stability of the present method is ωh ≤ 2 2. DQTFEM is highly symplectic. If the Jacobi matrix J of a method satisfies Equation (35) as follows     

J1 = J11 JT22 − J12 JT21 = I , J2 = JT11 J22 − JT21 J12 = I J3 = JT11 J21 − JT21 J11 = 0 , J4 = JT12 J22 − JT22 J12 = 0 J5 = J11 JT12 − J12 JT11 = 0 , J6 = J21 JT22 − J22 JT21 = 0

,

(35)

then the method is symplectic. For the present single DOF system, all variables in Equation (35) are numbers and Table 2 shows that the precision of Equation (35) (especially J3 ~J6 ) is satisfactory, which indicates that DQTFEM is a symplectic method. In fact, we have numerically verified that DQTFEM is symplectic even if it is not stable. For a stable symplectic method, the magnitudes of all eigenvalues of J are equal to 1, therefore all eigenvalues of J of the present method are equal to 1 when it is stable.

Appl. Sci. 2017, 7, 138

8 of 17

DQTFEM is symplectic even if it is not stable. For a stable symplectic method, the magnitudes of all eigenvalues of J are equal to 1, therefore all eigenvalues of J of the present method are equal to 1 when it is stable. Appl. Sci. 2017, 7, 138

8 of 16

Figure 1. Spectral radii for different N. Figure 1. Spectral radii for different N. Table 1. The first stable intervals with ρ(J) = 1 for different N. Table 1. The first stable intervals with ρ(J) = 1 for different N. N

3

4

5

10

15

3 4 5 10 15 N 0 < ωh 0≤< ωh2.828 ≤ 2.8282.927 2.9273.055 3.055 9.404 9.404 15.71 15.71

20

25

20 25.11 25.11

30

36

25 30 36 34.55 37.69 37.69 50.25 50.25 34.55

Table 2. Precision of Jof , |J| and Table 2. Precision J16~J 6, |J| andρ(J). ρ(J). 1 ~J

max(ωh))abs(J abs(J 1 − 1) abs(J 2 − 1) = 3, 4, 65, 6 abs(|J| abs(|J| − 1) abs(ρ(J) abs(ρ(J) (N,(N, max(ωh)) abs(J Ji ,Jii,=i 3, 4, 5, − 1) − −1)1) 1 − 1) 2 − 1) (3, 2.828)

2.459 × 10−7

2.459 × 10−7

−9 0 2.812 × 10−7 1.486 × 10 2.812 × 10−7 1.486 × 10−9 0 7.002 ×−10 4.289 × 10 8 −8 4.289 −9−9 7.002 × 10 × 10 −8 8 −9−9 0 3.018 ×−10 1.087 × 10 3.018 × 10 1.087 × 10 − 10 − 3.821 × 10 × 10 0 3.821 × 10−10 1.821 1.821 × 1012−12 − 10 −12 1.663 × 10 × 10 0 1.663 × 10−10 7.223 7.223 × 10−12 − 10 − 11 3.598 × 10 × 10 −11 0 3.598 ×− 108 −10 4.538 4.538 × 10 − 10 1.999 × 10 −8 6.046 × 10 −10 0 1.999 × 10 7.919 6.046 × 10 4.939 × 10−6 × 10−8 −6 6 −8−8 0 4.939 ×−10 7.919 × 10 4.051 × 10 6.124 × 10 −6 −6 −6 −8 (35, 50.25) 3.882 × 10 the 3.882 × 10of ωh for the 0first stable interval 4.051 in × 10 Note: max(ωh) indicates upper limit Table 1. 6.124 × 10

(3, 2.828) 2.459 × 10−7 2.459 × 10−7 −8 (4, 2.927) 6.7586.758× 6.758 ×−10 8 −8 (4, 2.927) × 10−810 6.758 × 10 −8 −810 2.817 8 −8 (5, 3.055) 2.8172.817 2.817 ×−10 (5, 3.055) × 10× × 10 − 10 − 10 (10,(10, 9.404) × 10× 10−103.648 × 10× 10−10 9.404) 3.6483.648 3.648 −10 −101.085 × 10−10−10 (15,(15, 15.70) 1.085 × 10 15.70) 1.085 × 10 1.085 × 10 −10 10 (20, 25.11) × 10× × 10×−10 −103.345 −10 (20, 25.11) 3.3453.345 10 3.345 − 8 − 8 (25, 34.55) 1.784 × 10 1.784 × 10 (25, 34.55) 4.5861.784 × 10−8 4.586 1.784 × 10−8 (30, 37.69) × 10−6 × 10−6 −6 −610 3.882 6 −6 37.69) 3.8824.586 4.586 ×−10 (35,(30, 50.25) × 10× × 10

0 0 0 0 0 0 0 0 0

Note: max(ωh) indicates the upper limit of ωh for the first stable interval in Table 1.

4. Numerical Results and Discussion 4. Numerical Results and Discussion This section aims at demonstrating the high accuracy and efficiency of DQTFEM by comparing ThisRKM section aims at demonstrating accuracy andEuler efficiency of DQTFEM by comparing them with and NMA; note that NMAthe is high equivalent to the mid-point symplectic method. them with RKM and NMA; note that NMA is equivalent to the Euler mid-point symplectic method. To evaluate the relative computational accuracy of the present method, the relative error for all methods To evaluate the relative computational accuracy of the present method, the relative error for all is defined as |Exact − Approximate| methods is defined as RelErr = , (36) kExactk∞

Exact - Approximate

, the infinity norm of which RelErrat= each time sampling point, where ‘Exact’ denotes the exact solution (36) Exact ¥ denotes the maximum absolute value of a vector, and the elements of this vector are the exact values at allwhere time sampling points; ‘Approximate’ is the of DQTFEM at each point.of which ‘Exact’ denotes the exact solution atresult each time sampling point,time thesampling infinity norm denotes the maximum absolute value of a vector, and the elements of this vector are the exact values 4.1. Free Vibration of a Two-DOF System at all time sampling points; ‘Approximate’ is the result of DQTFEM at each time sampling point. Consider the following two-DOF system, its governing equilibrium equation is "

2 0

0 1

#"

..

u1 .. u2

#

"

+

6 −2

−2 4

#"

u1 u2

#

"

=

0 0

# ,

(37)

 1 ω = 5 . The   given initial  1 conditions are u0T = [1 1] 2 and  0 1 u  2 2 4  u   0 , (37)   2    2  

 whose angular frequencies ω1 = and 𝑢̇ 0T = [0 0].

whose angular frequencies ω1 = 2 and ω2 = 5 . The given initial conditions are u0T = [1 1] 4.1.1. Accuracy Comparison Appl. Sci. 2017, 7, 138 9 of 16 and 𝑢̇ 0T = [0 0]. Let time domain be [0, 19], which is taken as an element with N = 33 non-uniform points in √ √ DQTFEM, and 32 uniform time are ωused both RKM and NMA.are The interval for whose angular frequencies ω1 steps = 2 and 5. The given initial conditions uT0 first = [ 1stable 1 ] and 2 = for 4.1.1. Accuracy Comparison .T N = 33 is hence the stability is satisfied since 19ω2 = 42.49 < 43.97, and the stability 2√2 of u0 [0, = [43.97], 0 0]. Let time domain be [0, 19], which is taken as an element with N = 33 non-uniform points in RKM is also satisfied by h = 19/32 = 0.59375 since ω2h = 1.3277 < 2√2. Additionally, N = 33 and 4.1.1.and Accuracy Comparison DQTFEM, 32 uniform time steps are used for both RKM and NMA. The first stable interval for h = 0.59375 implies that the three methods have the same number of interpolation points in the domain N 33 The is [0,exact 43.97], hence used the stability is satisfied 19ω2by =with 42.49 < 33 43.97, and thepoints stability Let time domain be [0, 19], which is taken assince an element = non-uniform in 2√2 of [0,=19]. solutions for comparisons are obtained theNmode superposition method. DQTFEM, and 32 uniform time steps are used for both RKM and NMA. The first stable interval for RKMItisfollows also satisfied by h =219/32 0.59375 since ωis2hmuch = 1.3277 < accurate 2√2. Additionally, Nand = 33 and from Figures and 3= that DQTFEM more than RKM√ NMA, N = 33 is [0, 43.97], hence the stability is satisfied since 19ω 2 = 42.49 3, the accuracy of DQTFEM is more than 10−6. For example, if N = 20 in an element of size h = 11 ≈ 25.11/ω2, the accuracy will be 10−9. In other words, the lowest accuracy of DQTFEM is 10−6. This is the reason why the data corresponding Appl. Sci. 2017, 7, 138 10 of 16 to RelErr = 10−2 are not provided in Table 3, which indicates that DQTFEM is much more efficient than the other two methods, especially if high accuracy is required.5Another observation is that RKM must be used for RKM and NMA, respectively; that is, RKM needs 4 × 10 time steps and NMA needs is more efficient than NMA. 2 × 106 time steps. However, we can achieve the same accuracy by using 1588 elements and each NMA is aofsymplectic of only second in which thesampling amplitude element size h = 1.26 ≈method 2.828/ω 2 has three order, Gauss–Lobatto–Legendre pointscan (N = be 3 is rigorously thefor leastlinear numbersystems, of time sampling in anerror element; see Tablethan 2). If N > 3, of the RKM. accuracyItofis DQTFEM preserved but itspoints phase is larger that well known that −6 . For example, if N = 20 in an element of size h = 11 ≈ 25.11/ω , the accuracy will is more than 10 2 dynamic responses must be represented by amplitude and phase together; therefore, RKM is more be 10−9 . In other words, the lowest accuracy of DQTFEM is 10−6 . This is the reason why the data efficient than NMA for achieving the same accuracy. However, the weakness of RKM is its numerical corresponding to RelErr = 10−2 are not provided in Table 3, which indicates that DQTFEM is much dissipation and the weakness oftwo NMA is itsespecially larger phase error. For long-time kinematics more efficient than the other methods, if high accuracy is required. Another observationsimulations that RKM is more efficient NMA. in whichisonly amplitude is takenthan into account, NMA is a better choice. NMA is a symplectic method of second order, in which the amplitude can be rigorously preserved for linear systems, but its phase error is larger than that of RKM. It is well known that dynamic Table 3. CPU time comparison. responses must be represented by amplitude and phase together; therefore, RKM is more efficient than NMA for achieving the sameRelErr accuracy.= However, the weakness of RKM RelErr is its numerical 10−6 = 10−2 dissipation and the weakness of NMA is its larger phase error. For long-time kinematics simulations in which Method Time Steps CPU (s) Time Steps CPU (s) h h only amplitude is taken into account, NMA is a better choice.

DQTFEM RKM NMA Method

1.26 5 × 10−2 1 × 10−3 h

4.1.3. Damping Vibration 1.26 DQTFEM RKM 5 × 10−2 3 furtherNMA validation 1 × of 10−the

For to the system as Equation (37).

1588 0.4932 Table 3. CPU time comparison. 4 × 105 4.743 0.32 6.25 × 103 6 4 2 × 10 249.4 4.5 × 10−2RelErr 4.445 2 10 RelErr = 10−6 = 10−× Time Steps 1588 4 × 105 present 2 × 106

CPU (s)

h

Time Steps

0.4932 4.743 0.32 6.25 × 103 −2 method, damping 249.4Rayleigh 4.5 × 10 4.445given × 104

4.1.3. Damping Vibration

0.7843 1.184

CPU (s) 0.7843

in Equation (38) is added 1.184

0.1

  given in Equation (38) is added For further validation of the present method, C   Rayleigh damping  to the system as Equation (37). 0.2 "  0.1 #  0.3 −0.1 C= (38) − 0.1 displacement 0.2 = 33 and h = 0.59375 are also used here. The x1 and RelErr are given in 0.3

(38)

N Figures 4 and 5, respectively, from whichare one can seehere. thatThe DQTFEM is also the most its RelErr reaches N = 33 and h = 0.59375 also used displacement x1 and RelErr areaccurate: given in Figures 4 −6 and 5, respectively, from which one can see that DQTFEM is also the most accurate: its RelErr reaches 10 . Therefore, the present method is also applicable to the analysis of damped problems. 10−6 . Therefore, the present method is also applicable to the analysis of damped problems.

Figure 4. Displacement comparison for damping case (N = 33, h = 0.59375).

Figure 4. Displacement comparison for damping case (N = 33, h = 0.59375).

Appl. Sci. 2017, 7, 138

11 of 1

Appl. Sci. 2017, 7, 138

11 of 16

Figure 5. RelErr for damping case (N = 33, h = 0.59375).

Figure 5. RelErr for damping case (N = 33, h = 0.59375). 4.2. Free Vibration of a Simply Supported Euler Beam In order to furtherSupported explore the accuracy and efficiency of DQTFEM, the free vibration of a simply 4.2. Free Vibration of a Simply Euler Beam

supported Euler beam of length L = 3 m is studied in this section; flexural rigidity EI = 1 × 106 N/m density per unit the length ρA = 420 kg/m. beam is meshed into 16 uniform cubic vibration elements. In orderand tomass further explore accuracy and The efficiency of DQTFEM, the free of a simply All initial velocities and displacements are equal to zero except the initial velocity at mid-span is 1 m/s; supported Euler beam of length L = 3 m is studied in this section; flexural rigidity EI = 1 × 106 N/m apparently the problem is analogous to the impact problem. and mass density per unit ρA The beaminto is meshed 16 uniform elements Consider time length domain [0, 3.6=×420 10−3kg/m. ] s, which is meshed 10 uniforminto time elements, that iscubic h − 4 = 3.6 × 10 and s, anddisplacements 20 Gauss–Lobatto–Legendre sampling points are involved in each element. Note All initial velocities are equal to zero except the initial velocity at mid-span i that, if the highest frequency is ω 33 = 6.967 × 104 rad/s, then ω 33 h = 25.08 falls into the first stable 1 m/s; apparently the problem is analogous to the impact problem. interval 0 < ωh ≤ 25.11 for N = 20; see Table 1. Consider time 3.6 × agreement 10−3] s, which is meshed intomethod. 10 uniform time that is h Figuredomain 6 shows an[0, excellent of DQTFEM with the exact For reaching theelements, same 5 Appl. Sci. 2017, 7, 138 12 of 17 −4 accuracy, NMA needs 2.110 × 10 time sampling steps and much more CPU than DQTFEM; seeelement. Note = 3.6 × 10 s,order andof 20 Gauss–Lobatto–Legendre points are time involved in each Table 4. Figure 7 presents the RelErr comparisons between DQTFEM and NMA; it follows that the that, if the highest frequency is ω33 = 6.967 × 104 rad/s, then ω33h = 25.08 falls into the first stable interva error of NMA accumulates while the error of DQTFEM does not.

0 < ωh ≤ 25.11 for N = 20; see Table 1. Figure 6 shows an excellent agreement of DQTFEM with the exact method. For reaching the same order of accuracy, NMA needs 2.110 × 105 time steps and much more CPU time than DQTFEM see Table 4. Figure 7 presents the RelErr comparisons between DQTFEM and NMA; it follows tha the error of NMA accumulates while the error of DQTFEM does not. For validating the effectiveness of DQTFEM for long-term simulation, the computational time changes from 3.6 × 10−3 s to three times the maximum period Tmax = 2π/ω1 = 0.1174 s, where ω1 = 53.51 rad/s, the number of elements is 3Tmax/h ≈ 978. Figure 8 gives a comparison of displacements by DQTFEM with the exact solution, which shows that DQTFEM is also highly accurate for this case and the needed CPU time is only 75.53 s. Nevertheless, the NMA results are not presented since NMA requires a prohibitively long CPU time. Table 4. CPU time comparison between DQTFEM and NMA (RelErr = 10−7). Figure 6. Displacement comparison of beam. CPU (s) h (s) Time Steps Method

DQTFEM Figure3.6 × 10−4 10 of beam. 0.9376 6. Displacement comparison NMA 1.706 × 10−8 2.110 × 105 294.8

Appl. Sci. 2017, 7, 138

12 of 16

Table 4. CPU time comparison between DQTFEM and NMA (RelErr = 10−7 ). h (s) Time Steps CPU (s) Figure 6. Displacement comparison of beam. − 4 DQTFEM 10 0.9376 3.6 × 10 NMA 294.8 1.706 × 10−8 2.110 × 105 Method

Figure 7. RelErr comparison between DQTFEM and NMA for xmid-span .

Figure 7. RelErr comparison between DQTFEM and NMA for xmid-span.

For validating the effectiveness of DQTFEM for long-term simulation, the computational time changes from 3.6 × 10−3 s to three times the maximum period Tmax = 2π/ω 1 = 0.1174 s, where ω 1 = 53.51 rad/s, the number of elements is 3Tmax /h ≈ 978. Figure 8 gives a comparison of displacements by DQTFEM with the exact solution, which shows that DQTFEM is also highly accurate 13 of 17 Appl. Sci. 2017, 7, 138 for this case and the needed CPU time is only 75.53 s. Nevertheless, the NMA results are not presented since NMA requires a prohibitively long CPU time.

Figure 8. Displacement comparison for long-term simulation.

Figure 8. Displacement comparison for long-term simulation.

5. Conclusions A highly accurate and highly efficient DQTFEM was developed in the present study by using

Appl. Sci. 2017, 7, 138

13 of 16

5. Conclusions A highly accurate and highly efficient DQTFEM was developed in the present study by using the DQ rule, the Gauss–Lobatto integration rule, and the general form of Hamilton’s variational principle for solving structural dynamic problems involving damping and external forces. DQTFEM incorporates the high accuracy and efficiency of DQM into the development of high-order time elements, in which initial conditions can be introduced in the same simple and general form as in standard FEM. Furthermore, DQTFEM can serve as a step-by-step approach; one time element of DQTFEM can be seen as one time step of the conventional step-by-step method. Moreover, it has been shown that DQTFEM is a highly accurate symplectic method. Extensive numerical comparisons validated the present method, whose solutions can be seen as benchmarks to validate lower-order DIMs and TFEMs. It is expected that DQTFEM will be practical in the future. Acknowledgments: This work was supported by the National Natural Science Foundation of China (11172028, 11372021, 11672019 and 37686003) and the Research Fund for the Doctoral Program of Higher Education of China (20131102110039). Author Contributions: Yufeng Xing conceived of this study and finalized the manuscript. Mingbo Qin derived some of the equations, performed the calculations, and prepared the draft of the manuscript. Jing Guo also prepared part of the manuscript. Conflicts of Interest: The authors declare no conflict of interest.

Appendix A The derivation procedure of Equations (8)–(10) is as follows:

R t2 t1

δTdt

=

=

R t2 t1

h

.T

N

.

u Mδudt = ∑ Cj (D j )T MδD j j =1 

( D1 )

T

( D2 )

T

· · · (D N )

T

C1 M C2 M

i   

C3 M

  D1   D2   δ .    .. C4 M DN



  D1   D2   δ .    .. C4 M DN



    

(A1)

T

= U AT ⊗ E)(CG ⊗ M) A ⊗ E)δU T =U AT CG A) ⊗ (EME) δU T =U AT CG A) ⊗ M δU R t2 t1

δTdt

=

=

R t2 t1

h

.T

( D1 ) T

N

.

u Mδudt = ∑ Cj (D j )T MδD j j =1  T

( D2 )

T

· · · (D N )

T

i   

= U AT ⊗ E)(CG ⊗ M) A ⊗ E)δU T =U AT CG A) ⊗ (EME) δU T =U AT CG A) ⊗ M δU

C1 M C2 M C3 M

    

(A2)

Appl. Sci. 2017, 7, 138

R t2 t1

δVdt

14 of 16

=

=

R t2 t1

h

N

uT Kδudt = ∑ Cj (U j )T Kδ(U j ) j =1 

( U1 )

T

(U2 )

T

· · · (U N )

T

C1 K C2 K

i   

C3 K

  U1      U2 δ .   .. C4 K UN

     

(A3)

T

= U (CG ⊗ K)δU R t2 . T R t2 T t1 δWdt = t1 (u Cδu + f δu)dt o n N = ∑ C j (D j )T C + (F j )T δ(U j ) j =1



=

h

( D1 )

T

( D2 )

T

· · · (D N )

T

C1 C C2 C

i   

C3 C 

h

C1 (F1 )T T

C2 (F2 )T

· · · C N (F N )T

i   δ  

U1 U2 .. . UN

  U1   U2   δ .    .. C4 C UN



   +   ,

(A4)

    



AT ⊗ E)(CG ⊗ C)δU + (cs(F))T (CG ⊗ E)δU T =U AT CG ) ⊗ (EC) δU + (cs(F))T (CG ⊗ E)δU T =U AT CG ) ⊗ C) δU + (cs(F))T (CG ⊗ E)δU

=U

where T

(D j ) =



N

∑ A jk u1k

k =1

N

∑ A jk u2k

···

k =1



N

∑ A jk unk

( j = 1, 2, · · · , N )

(A5)

k =1

(U j )T =

h

u1j

u2j

· · · unj

i

(A6)

(F j )T =

h

f 1j

f 2j

···

i

(A7)

f nj

References 1. 2. 3. 4. 5. 6. 7. 8. 9. 10.

Feng, K. Difference schemes for hamiltonian formalism and symplectic geometry. J. Comput. Math. 1986, 4, 279–289. Zienkiewicz, O.C. A new look at the newmark, houbolt and other time stepping formulas. A weighted residual approach. Earthq. Eng. Struct. Dyn. 1977, 5, 413–419. [CrossRef] Argyris, J.H.; Scharpf, D.W. Finite elements in time and space. Nucl. Eng. Des. 1969, 10, 456–464. [CrossRef] Fried, I. Finite element analysis of time dependent phenomena. AIAA J. 1969, 7, 1170–1173. [CrossRef] Tang, W.S.; Sun, Y.J. Time finite element methods: A unified framework for numerical discretizations of odes. Appl. Math. Comput. 2012, 219, 2158–2180. [CrossRef] Simkins, T.E. Finite elements for initial value problems in dynamics. AIAA J. 1981, 19, 1357–1362. [CrossRef] Brugnano, L.; Iavernaro, F.; Trigiante, D. A simple framework for the derivation and analysis of effective one-step methods for odes. Appl. Math. Comput. 2012, 218, 8475–8486. [CrossRef] Wilson, E.L.; Nickell, R.E. Application of the finite element method to heat conduction analysis. Nucl. Eng. Des. 1966, 4, 276–287. [CrossRef] Zienkiewicz, O.C.; Wood, W.L.; Hine, N.W.; Taylor, R.L. A unified set of single step algorithms. Part 1: General formulation and applications. Int. J. Numer. Methods Eng. 1984, 20, 1529–1553. [CrossRef] Richter, T.; Wick, T. Variational localizations of the dual weighted residual estimator. J. Comput. Appl. Math. 2015, 279, 192–209. [CrossRef]

Appl. Sci. 2017, 7, 138

11. 12. 13. 14. 15. 16. 17. 18. 19.

20. 21. 22. 23. 24. 25. 26. 27.

28. 29. 30. 31. 32. 33. 34. 35.

15 of 16

Ma, L.M.; He, Y.A. A single-step time element method for dynamic response by gurtin variational principle. Eng. Mech. 1995, 12, 24–29. Zhong, W.; Yao, Z. Time domain fem and symplectic conservation. J. Mech. Strength 2005, 27, 178–183. Ding, X.C.; Chen, Q.W. Subinterval method for direct calculation of response of dynamic system by using hamilton’s principle. Earthq. Eng. Eng. Vib. 1987, 7, 9–19. Tung, M.M.; Defez, E.; Sastre, J. Numerical solutions of second-order matrix models using cubic-matrix splines. Comput. Math. Appl. 2008, 56, 2561–2571. [CrossRef] Bellour, A.; Sbibih, D.; Zidna, A. Two cubic spline methods for solving fredholm integral equations. Appl. Math. Comput. 2016, 276, 1–12. [CrossRef] Givoli, D.; Hagstrom, T.; Patlashenko, I. Finite element formulation with high-order absorbing boundary conditions for time-dependent waves. Comput. Methods Appl. Mech. Eng. 2006, 195, 3666–3691. [CrossRef] Jiang, Y.J.; Ma, J.T. High-order finite element methods for time-fractional partial differential equations. J. Comput. Appl. Math. 2011, 235, 3285–3291. [CrossRef] Krishna, M.S.; Manjeet, S.K. Three and four step least square finite element schemes in the time domain. Commun. Numer. Methods Eng. 1996, 12, 425–432. Jiwari, R. Lagrange interpolation and modified cubic b-spline differential quadrature methods for solving hyperbolic partial differential equations with dirichlet and neumann boundary conditions. Comput. Phys. Commun. 2015, 193, 55–66. [CrossRef] Kawahara, M.; Hasegawa, K. Periodic galerkin finite element method of tidal flow. Int. J. Numer. Methods Eng. 1978, 12, 115–128. [CrossRef] Jia, Z.; Cheng, X.; Zhao, M. A new method for roots of monic quaternionic quadratic polynomial. Comput. Math. Appl. 2009, 9, 1852–1859. [CrossRef] Hoff, C.; Hughes, T.J.R.; Hulbert, G.; Pahl, P.J. Extended comparison of the hilber-hughes-taylor α-method and the θ1-method. Comput. Methods Appl. Mech. Eng. 1989, 76, 87–94. [CrossRef] Chang, J.C. Combining genetic algorithm and taylor series expansion approach for doa estimation in space-time cdma systems. Appl. Soft Comput. J. 2015, 28, 208–217. [CrossRef] Khan, I.R.; Ohba, R.; Hozumi, N. Mathematical proof of closed form expressions for finite difference approximations based on taylor series. J. Comput. Appl. Math. 2003, 150, 303–310. [CrossRef] Hoff, C.; Pahl, P.J. Practical performance of the θ1-method and comparison with other dissipative algorithms in structural dynamics. Comput. Methods Appl. Mech. Eng. 1988, 67, 87–111. [CrossRef] Reed, W.H.; Hill, T.R. Triangular Mesh Methods for the Neutron Transport Equation; Los Alamos Scientific Laboratory: Los Alamos, NM, USA, 1973. Lasaint, P.; Raviart, P.A. On a finite element method for solving the neutron transport equation. In Mathematical Aspects of Finite Elements in Partial Differential Equations, Proceedings of a Symposium Conducted by the Mathematics Research Center, the University of Wisconsin-Madison, Madison, WI, USA, 1–3 April, 1974; Elsevier: Amsterdam, The Netherlands, 1974; Volume 56, pp. 89–124. Gudla, P.K.; Ganguli, R. Discontinuous galerkin finite element in time for solving periodic differential equations. Comput. Methods Appl. Mech. Eng. 2006, 196, 682–697. [CrossRef] Gao, Y.L.; Mei, L.Q.; Li, R. A time-splitting galerkin finite element method for the davey-stewartson equations. Comput. Phys. Commun. 2015, 197, 35–43. [CrossRef] Delfour, M.; Hager, W.; Trochu, F. Discontinuous galerkin methods for ordinary differential equations. Math. Comput. 1981, 36, 455–474. [CrossRef] Hughes, T.J.R.; Hulbert, G.M. Space-time finite element methods for elastodynamics: Formulations and error estimates. Comput. Methods Appl. Mech. Eng. 1988, 66, 339–364. [CrossRef] Hulbert, G.M.; Hughes, T.J.R. Space-time finite element methods for second-order hyperbolic equations. Comput. Methods Appl. Mech. Eng. 1990, 84, 327–349. [CrossRef] Chessa, J.; Belytschko, T. A local space–time discontinuous finite element method. Comput. Methods Appl. Mech. Eng. 2006, 195, 1325–1344. [CrossRef] Dyniewicz, B. Space-time finite element approach to general description of a moving inertial load. Finite Elem. Anal. Des. 2012, 62, 8–18. [CrossRef] Hulbert, G.M. Time finite element methods for structural dynamics. Int. J. Numer. Methods Eng. 1992, 33, 307–331. [CrossRef]

Appl. Sci. 2017, 7, 138

36.

37. 38. 39. 40. 41. 42. 43. 44. 45. 46. 47. 48. 49. 50. 51.

16 of 16

Nam, J.; Behr, M.; Pasquali, M. Space-time least-squares finite element method for convection-reaction system with transformed variables. Comput. Methods Appl. Mech. Eng. 2011, 200, 2562–2577. [CrossRef] [PubMed] Chien, C.C.; Wu, T.Y. An improved predictor/multi-corrector algorithm for a time-discontinuous galerkin finite element method in structural dynamics. Comput. Mech. 2000, 25, 430–438. [CrossRef] Aubry, D.; Lucas, D.; Tie, B. Adaptive strategy for transient/coupled problems applications to thermoelasticity and elastodynamics. Comput. Methods Appl. Mech. Eng. 1999, 1, 41–51. [CrossRef] Larsson, F.; Hansbo, P.; Runesson, K. Space-time finite elements and an adaptive strategy for the coupled thermoelasticity problem. Int. J. Numer. Methods Eng. 2003, 56, 261–294. [CrossRef] Bellman, R.; Casti, J. Differential quadrature and long-term integration. J. Math. Anal. Appl. 1971, 34, 235–239. [CrossRef] Shu, C. Differential Quadrature and Its Application in Engineering; Springer: London, UK, 2000. Eftekhari, S.A.; Khani, M. A coupled finite element-differential quadrature element method and its accuracy for moving load problem. Appl. Math. Model. 2010, 34, 228–238. [CrossRef] Eftekhari, S.A.; Jafari, A.A. Mixed finite element and differential quadrature method for free and forced vibration and buckling analysis of rectangular plates. Appl. Math. Mech. 2012, 33, 81–98. [CrossRef] Wang, X.; Yuan, Z. Harmonic differential quadrature analysis of soft-core sandwich panels under locally distributed loads. Appl. Sci. 2016, 6, 361. [CrossRef] Tornabene, F.; Fantuzzi, N.; Ubertini, F.; Viola, E. Strong formulation finite element method based on differential quadrature: A survey. Appl. Mech. Rev. 2015, 1, 145–175. [CrossRef] Bert, C.W.; Malik, M. Differential quadrature method in computational mechanics: A review. Appl. Mech. Rev. 1996, 49, 1–29. [CrossRef] Xing, Y.; Liu, B. High-accuracy differential quadrature finite element method and its application to free vibrations of thin plate with curvilinear domain. Int. J. Numer. Methods Eng. 2009, 80, 1718–1743. [CrossRef] Xing, Y.F.; Liu, B.; Liu, G. A differential quadrature finite element method. Int. J. Appl. Mech. 2012, 2, 207–227. [CrossRef] Reddy, J.N. Energy and Variational Methods in Applied Mechanics; John Wiley & Sons: New York, NY, USA, 1984. Fung, T.C. Solving initial value problems by differential quadrature method-part 1: First-order equations. Int. J. Numer. Methods Eng. 2001, 50, 1411–1428. [CrossRef] Bartels, R.H.; Stewart, G.W. Solution of the matrix equation ax + xb = c. Commun. ACM 1972, 15, 820–826. [CrossRef] © 2017 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).