1. Introduction
Finite element method (FEM) [
1,
2,
3] is a mature and powerful numerical method, which has become one of the most widely used numerical approaches in practical engineering applications because of its effectiveness and stability. However, the classical FEM also possesses several distinct disadvantages, for example, the computation accuracy of the classical FEM is relatively low when the low order linear elements are employed and the adaptability of FEM to mesh distortion is also relatively weak in the analysis of large deformation problems [
4,
5].
Note that the accuracy of the FEM solutions are seriously dependent on the quality of the used meshes, various the meshfree numerical techniques have also received lots of research interests in the past years [
6,
7,
8,
9,
10,
11,
12,
13,
14,
15]. The main difference between the standard FEM and the meshless numerical techniques is that the used shape functions are constructed using the scattered field nodes in the problem domain rather than relying on the pre-defined element. As a result, the approximation of the considered field variables is also independent on the mesh. Actually, many meshless methods have been developed to solve various engineering problems. In contrast with the classical boundary element method [
16,
17] and several boundary-based discretization techniques [
18,
19,
20,
21,
22,
23,
24,
25], most of the meshless numerical techniques are the domain-based numerical techniques and can be formulated using the weak form or strong form of the governing partial differential equations (PDE). Several well-developed weak form meshfree techniques consist of the reproducing kernel particle method (RKPM) [
26], the diffuse element method [
27], the element-free Galerkin method [
7,
28,
29], Galerkin/least squares FEM [
30], the radial point interpolation method (RPIM) [
6,
31] and so on. In addition, the strong form based meshfree techniques have also been developed, such as the generalized finite difference method (GFDM) [
32,
33,
34], the finite point method (FPM) [
35,
36] and various collocation techniques [
37,
38,
39,
40]. All of these different meshless techniques have their own associated merits, demerits and conditions of applicability. Very nice and detailed reviews on the developments of the meshless techniques can be found in the monographs [
6]. Nevertheless, it should be pointed out that the meshless methods still can not match the classical FEM in terms versatility and flexibility in engineering applications and many challenging problems still remain unsolved so far.
In order to enhance the performance of the standard FEM in engineering computation, Liu et al. proposed the smoothed FEM (S-FEM) [
41,
42,
43,
44,
45,
46] which combines traditional FEM with the generalized strain smoothing techniques with a mathematic base on the novel G space theory. By invoking the novel G space theory and strain smoothing operations, the “overly-stiff” stiffness matrices of the standard FEM can be properly softened and then a softened numerical model with appropriate system stiffness can be obtained. A substantial numerical examples have demonstrated that the S-FEM possesses many excellent and attractive properties compared to traditional FEM, such as higher computation accuracy and efficiency, faster convergence rates and better adaptability to mesh distortion. According to the different ways in performing the strain smoothing operations, a series of different S-FEMs have been proposed including the cell-based smoothed FEM (CS-FEM) [
47,
48,
49], edge-based smoothed FEM (ES-FEM) [
50,
51] and the node-based smoothed FEM (NS-FEM) [
52,
53]. All of these different S-FEMs possesses their own associated strengths and specific properties, and these different S-FEMs can be used in various engineering applications.
Different from the smoothed FEM, the present work offers another approach to enhance the behaviors of the linear element of standard FEM in solving the two-dimensional dynamic problems. In this work, the extra interpolation cover functions, which are constructed by suitable polynomial bases, are employed to enhance the original linear nodal shape functions. As a result, the original linear approximation space of the classical FEM can be markedly enriched and the gradient field of the considered problem can be described more accurately. The present numerical method, which is named as enriched finite element method (EFEM), has been introduced by Bathe and his co-workers in solving the wave propagation problems and static analysis of linear elastic solid mechanics [
54,
55,
56,
57]. The numerical experiments have shown that much more accurate numerical results can be produced with the present EFEM and the extra nodes are not required. In addition, it should be pointed out that it is quite flexible in constructing the enrichment cover functions according to the special problem considered. By using the polynomial bases and the harmonic trigonometric functions as the enrichment cover functions, Chai et al. have employed the EFEM to solve the transient wave propagations and acoustic problems [
58,
59,
60]. The related numerical results shown that the numerical dispersion error can be markedly suppressed by the EFEM in wave analysis and much more stable and accurate numerical solutions can be obtained. Furthermore, the present approach has also been extended to shell analysis and adaptive analysis [
61,
62].
In this work, we mainly focus on using the EFEM with simple linear interpolation cover functions, which has relatively high computation efficiency and is also easy for numerical integration, to analyze the free and forced vibration problem of the two-dimensional solids. The abilities of the EFEM for two-dimensional dynamics analysis are carefully examined through several typical numerical experiments.
2. Formulation of the FEM Enriched by Interpolation Cover Functions
Consider a two-dimensional bounded problem domain. The standard
N triangular elements are used to discretize the involved problem domain. Using the standard FE approximation, the interpolation for a scalar field function
u has the following form
where
ui denotes the node coefficients of the field variable and
Ni denotes the simple linear interpolation function for node
i (see
Figure 1a).
In the present enriched FE approximation, the standard triangular mesh is still used. As shown in
Figure 1b, the union of all the elements attached to node
i is defined as the cover region
[
56,
58], it is actually the support domain of the usual linear nodal interpolation function for node
i in the standard FE interpolation. Therefore, the element
εm is also can be regarded as the overlapping region of the three surrounding cover region
,
and
(see
Figure 1c). For the considered field variable
u at node
i, and the standard FE interpolation is enriched by the following expression [
56,
58],
in which
ui is the usual nodal unknowns and
denotes the additional unknowns which are associated with interpolation cover functions,
L contains the polynomial bases of degree
q.
in which the used relative coordinate values
are defined in
Figure 2, namely
and
.
For the convenience of the comparison with the standard FE formulation, Equation (2) can also be expressed as [
56,
58],
From Equation (4), it is seen that the present EFEM formulation can be regarded as the standard FE approximation plus the additional enriched approximation.
Then the global approximation for the considered scalar field function
has the following form [
56,
58],
where
m stands for the number of all nodes in the problem domain,
Ni denotes the original linear interpolation functions,
j represents the added degree of freedoms (DOFs) for each node,
is the obtained hybrid interpolation function matrix.
From above formulation, it can be found that the present EFEM will become the standard FEM if the employed polynomial bases only contains the constant term 1. With this operation, the higher order approximation space can be constructed and then leads to much higher computation accuracy. Since the original linear nodal shape functions and the constructed hybrid nodal shape functions have the totally identical supports, the proposed EFEM is also able to lead to the sparse system matrices as in the standard FEM.
Actually we can employ any order of polynomial bases as the interpolation cover functions. More accurate numerical results can also be generated if the high order polynomial interpolation cover functions are employed. However, the high order interpolation cover functions will result in more nodal unknowns and more computational cost. In this work, we only use the first order polynomial bases [1 x y] (q = 1) as the interpolation cover functions. Note that three additional DOFs will be introduced for each node when the first order polynomial bases are used, hence in this work the abbreviation EFEM-N3 is used to represent the EFEM with linear interpolation cover functions.
For the plane stress problem considered in this work, the displacement field variables
u and
v in element
εm (see
Figure 1) can be obtained as following based on the above EFEM-N3 formulation [
56],
in which
and
are the usual nodal unknowns as in the standard FEM,
and
are the vectors which contain additional unknowns.
Actually Equation (7) can also be expressed in the following matrix form when the first order polynomial bases [1
x y] are used as the interpolation cover functions,
in which
is the usual linear interpolation function matrix for the standard FEM
is the constructed hybrid interpolation function matrix for the present EFEM-N3. To improve the conditioning of the present EFEM-N3 and obtain more stable numerical solutions, the additional unknowns coefficients are normalized by
a/
h in this work (in which
h denotes the average mesh size of the used mesh pattern).
Similar as in the standard FE scheme, the related derivatives of the displacement variable can be obtained using the following usual differentiation rules,
in which,
in which
is the Jacobian matrix and the required coordinate transformation can be achieved as similarly as in the standard FE scheme (see
Figure 2b).
3. Governing Equations of Dynamics for Linear Elastic Solids
For the two-dimensional linear elastic solid mechanic problems defined in a bounded domain
. The standard Galerkin weak form is as follows [
2],
in which
is the differential operator,
is the arbitrary virtual displacement vector,
is the material constant matrix,
denotes the body force vector,
and
are the acceleration and velocity vectors,
and
c are the density and damping coefficients of the considered solids,
is the natural boundary condition and
t is the prescribed traction vector on
.
Using the EFEM interpolation shown in Equation (7), the matrix form of Equation (12) can be obtained by,
in which
is the global mass matrix,
ne is the total number of elements in the global mesh and
denotes element
i,
nb is the number of elements on the Neumann boundary,
is the involved shape function matrix for element
i,
is the matrix containing the damping effects,
is the global stiffness matrix,
E is Young’s modulus and
v is Poisson’s ratio,
is a matrix containing the material parameters,
Bi is the strain gradient matrix for element
i,
is the related nodal force vector.
From the formulation in
Section 2, the shape function matrix
and strain gradient matrix
B for two-dimensional solid mechanics can be obtained by,
For the convenience of discussion, the Rayleigh damping is employed here and the damping matrix
C is obtained directly from the mass matrix
M and stiffness matrix
K by,
in which
and
stand for the Rayleigh damping coefficients.
If the damping effects are not considered, for free vibration analysis Equation (13) can be re-written by,
It is easy to find that Equation (19) has the following fundamental solution,
in which
is the amplitude of displacement distributions in two dimensions,
and
is the angular frequency.
Taking Equation (20) into Equation (19), we can arrive at,
It is indicated in Equation (21) that the essence of analyzing the free vibration problems is to solve the typical eigenvalue problem.
For forced vibration analysis, we actually should solve the second-order time-dependent dynamic problems which is governed by the matrix equation shown Equation (13). In practice, many different types of direct time integration schemes have been developed for solving the structural dynamic problems, here the widely used Newmark method, which is an unconditionally stable direct time integration technique, is used for the analysis of dynamic problems, the following assumptions are used in the Newmark method,
in which
stands for the time step for time integration,
and
are the undetermined coefficients which are related to the integration accuracy.
In addition, the following equilibrium equation at time
should also be used,
Since no numerical damping effects will be introduced to the numerical solution when
and
, so these two parameters are used in this work. Combining Equations (22) and (13), at time
we can obtain [
2],
Then the complete numerical solution can be finally obtained by recursively using Equations (22)–(24).
4. The Linear Dependence Issue
We have known that one major issue in the EFEM formulation is the linear dependence (LD) issue of the obtained system discretized equations [
56,
58]. To obtain stable numerical solution, this linear dependence issue should be addressed carefully. Actually, the origin of the involved linear dependence issue in EFEM is that the approximation of the considered field variable is constructed by employing the linear dependent shape functions, hence the obtained system matrices are usually singular. To address the LD problem of the EFEM and make the obtained system matrices to be positive definite, Kim and Bathe directly remove all the cover DOFs on the Dirichlet boundary and it is shown that the linear dependence issue indeed can be completely removed [
56]. However, the overly-constrained global discretized equations are actually obtained with this operation and in essence we do not need to remove all the cover DOFs on the Dirichlet boundary. In consequence, this operation always lead to the unnecessary loss of computation accuracy. In this work, we use a new scheme to address the LD of the EFEM. In this scheme, the minimum superfluous cover DOFs are eliminated to ensure that the resultant global system matrices are completely positive definite, hence the computation accuracy can be largely maintained. Furthermore, due to the linear dependence issue the imposition of the Dirichlet boundary condition in the EFEM is quite different from that in the standard FEM, hence the accurate imposition of the Dirichlet boundary condition in the EFEM framework is also discussed in detail within this work.
If the first order complete polynomials are employed as the cover functions, in the EFEM formulation we can obtain nine nodal shape functions for each triangular element. (see
Figure 3).
Here
(
l =
i,
j,
k) represent the conventional linear interpolation functions in a standard linear triangular element.
From Ref. [
58], we can obtain the following theorem.
Theorem 1. For the approximation space spanned by the nine shape functions in Figure 3,.
The related proofs for the above theorem are not given here, more details can be found in Ref. [
58]. Based on Theorem 1 and the related analysis in Ref. [
58], it is known that the five nodal shape functions
are definitely linear independent and
, hence another term in
in which the
term is contained should be found out, then the completely quadratic approximation space can be obtained. From Equation (25), it is clear that any one in
will contain the
term and can be used when
. However,
or
can be used when
,
or
can be used when
.
From Ref. [
58], we also can obtain the following theorem.
Theorem 2. For the normal mesh without singular node, once the six linearly independent shape functions are used for any single element, the LD of the obtained system discretized equations based on the global mesh will be completely removed.
Using Theorems 1 and 2, the linear dependence problem of the EFEM can be can be completely removed without any loss in computation accuracy.
5. Imposition of the Dirichlet Boundary Condition
We have known that the natural boundary condition (BC) can be directly imposed in the EFEM which is quite similar as in the conventional FEM [
56,
58]. However, the Dirichlet BC cannot be imposed directly in the EFEM and should be carefully discussed.
Taking the mesh pattern in
Figure 4 for example, the Dirichlet BC
u = 0 for a considered scalar field is prescribed on
x = 0. To accurately apply this Dirichlet BC, all the
y cover DOFs should be firstly eliminated. Furthermore, to address the linear dependence issue, in the global mesh six linear independent shape functions which can exactly construct the complete quadratic approximation space should be employed for at least one triangular element. This kind of element should be determined very carefully based on Theorem 1.
For instance, when we choose the element 1-5-2 as the initial element. Due to the Dirichlet BC u = 0 on x = 0, two y cover DOFs and should be firstly eliminated, then the remaining nodal shape functions for element 1-5-2 are . Note that here, so the shape function will not contain term, hence , namely the element 1-5-2 is not appropriate as the initial element which should have six linearly independent shape functions to eliminate the linear dependence issue.
However, the element 1-4-5 is appropriate as the initial element. Due to the Dirichlet BC
u = 0 on
x = 0, the
y cover DOF
should be firstly eliminated. Based on the analysis in
Section 3, it is clear that the following six nodal shape functions
are linearly independent and
=
.
Finally, the linear dependence problem of the EFEM can be completely removed using above analysis and discussion, and the Dirichlet BC can also be accurately imposed.