Documente Academic
Documente Profesional
Documente Cultură
Chapter 2
2.1 Introduction
The element free Galerkin (EFG) method is a meshless method developed by Belytschko,
Lu and Gu (1994). This method only requires a set of nodes and a description of the
boundaries to construct an approximation solution. The connectivity between the data points
and the shape functions are constructed by the method without recourse to elements.
The EFG method employs the moving least square (MLS) approximations, which are
composed of three components: a weight function of compact support associated with each
node, a polynomial basis and a set of coefficients that depend on position. The support of the
weight function defines a node the domain of influence, which is the sub-domain over which
a particular node contributes to the approximation. The overlap of the nodal influence domain
defines the nodal connectivity.
One useful property of MLS approximations is that their continuity is equal to the
continuity of the weight function; highly continuous approximations can be generated by an
appropriate choice of the weight function. Although the EFG can be considered meshless with
respect to shape function construction or function approximation, a mesh will be required for
solving partial differential equations by the Galerkin approximation procedure. This is
because evaluation of the integrals in the weak form requires a subdivision of the domain
unless nodal quadrature is used.
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 5
This chapter describes the construction of MLS approximations and the resulting EFG
shape functions in two types of support domains either circle or rectangle. In my work, the
second-derivatives of the shape function are required for equilibrium model in Chapter 3. So,
there are two cases to compute the second-order derivatives of the shape functions also
presented here. The first case is referred in the PhD thesis of Duflot (2004), Duflot (2005) and
Duflot and Nguyen-Dang (2001), (2004). And the other is in Belytschko, Lu and Gu (1994),
Dolbow and Belytschko (1998) and Liu (2003). In the course of this description, the effect of
different weight functions is illustrated.
Finally, the choice of the basic functions, the support and influence domain concepts are
defined on that. The determination of the dimension of a support domain and the detail
algorithm to compute the shape function and their derivatives are also presents in this chapter
as follows.
In this section, I would like to present the MLS approximation, which was introduced by
Lancaster and Salkauskas (1981) for smoothing and interpolating data. Currently the MLS
method is a widely used alternative for constructing meshless shape functions for
approximation. The first, Nayroles et al (1992) were used MLS approximation to construct
shape functions for their diffuse element method (DEM), after Belytschko, Lu and Gu (1994),
who named it the EFG method, where the MLS approximation is also employed.
This method employs MLS approximants to approximate the function u (x) with u h (x) as
in Liu (2003), Fries and Matthies (2004), and Belytschko, Lu and Gu (1994). We consider a
sub-domain Ω x , the neighbourhood of a point x and denoted as the domain of definition of
the MLS approximation for the trial function x , which is located in the problem domain Ω .
Let u (x) be the function of the field variable defined in the domain Ω x . The approximation of
u (x) at point x is denoted u h (x) . The MLS approximation first writes the field function in
the form
m
u h (x) = ∑ pi (x)ai (x) = p Τ (x)a(x) (2.1)
i
where m is the number of terms of monomials, p(x) is a vector of basis functions that
consists most often of monomials of the lowest orders to ensure minimum completeness.
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 6
The coefficient ai (x) are also functions of x , ai (x) in the equation (2.1) is obtained at
any point x by performing a weighted least square fit for the local approximation, which is
obtained by minimizing the difference between the local approximation and the function. The
discrete L2 norm as follows:
n
J = ∑ w( x − x I )(u h (x) − u ( x I )) 2
I =1
n
= ∑ w( x − x I )[p Τ ( x I )a(x) − u I ]2 (2.2)
I =1
where w( x − x I ) is a weight function with compact support and n is the number of points in
the neighbourhood of x , Ω x for which the weight function w( x − x I ) ≠ 0 , and u I is the
nodal value of u at x = x I .
u u h (x)
•
• • •
•
•
ui u h ( xi )
0 xi x
h
Figure 2.1: The approximation function u (x) and the nodal parameters u i in the MLS approximation
⎡ p1 ( x1 ) p 2 ( x1 ) L p m ( x1 ) ⎤
⎢ p (x ) p 2 ( x2 ) L p m ( x2 ) ⎥⎥
P=⎢ 1 2 (2.5)
⎢ M M O M ⎥
⎢ ⎥
⎣ p1 ( x n ) p 2 ( xn ) L p m ( xn )⎦
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 7
and
⎡ w( x − x1 ) 0 L 0 ⎤
⎢ 0 w( x − x 2 ) L 0 ⎥
W ( x) = ⎢ ⎥ (2.6)
⎢ M O M ⎥
⎢ ⎥
⎣ 0 0 L w( x − x n )⎦
The functional J can be minimized by setting the derivative of J with respect to a equal
to zero i.e., ∂J
∂a = 0 . The following system of m equation results:
∂J n
∂a1
=0⇔ ∑ w( x − x )2 p ( x )[p
I =1
I 1 I
Τ
( x I )a( x) − u I ] = 0
∂J n
∂a 2
=0⇔ ∑ w( x − x )2 p
I =1
I 2 ( x I )[p Τ ( x I )a( x) − u I ] = 0
(2.7)
M M M
∂J n
∂a m
=0⇔ ∑ w( x − x )2 p
I =1
I m ( x I )[p Τ ( x I )a( x) − u I ] = 0
∑ w( x − x )2p( x )[p
I =1
I I
Τ
( x I )a( x) − u I ] = 0 (2.8)
n
2∑ w( x − x I )p( x I )p Τ ( x I )a( x) − w( x − x I )p( x I )u I = 0 (2.9)
I =1
Eliminating the constant factor and separating the right hand side given
n n
or
So, we have
n
with A(x) = W (x)PP Τ = ∑ w( x − x I )p( x I )p Τ ( x I ) (2.13a)
I =1
Finally, we substitute the equations (2.12), (2.13a) and (2.13b) into (2.1) and obtaining an
approximation of the form
or more detail
−1 n
⎡n ⎤
u (x) = p ( x) ⎢∑ w( x − x I )p( x I )p Τ ( x I )⎥
h Τ
∑ w( x − x )p( x )u
I I I (2.15)
⎣ I =1 ⎦ I =1
To compute the shape functions from (2.17) it is necessary to invert the A matrix. In one
dimension, this operation is not computationally expensive, but here we need to compute in
two or three dimensions it becomes burdensome. In this section, we present two cases to
compute the shape functions and their derivatives as following.
Case one: According to the PhD thesis of Duflot (2004), Duflot (2005), and Duflot
and Nguyen-Dang (2001), (2004). We have the first-order derivatives of the MLS shape
functions
with
= A −1 (x)[b k ] (2.22)
and
n
A ,k (x) = ∑ wI ,k (x)p( x I )p Τ ( x I ) (2.23)
I =1
with
c ,kl (x) = A −1 (x)[p ,kl (x) − A ,k (x)c ,l (x) − A ,l (x)c ,k (x) − A ,kl (x)c(x)]
= A −1 (x)[b kl ] (2.25)
and
n
A ,kl (x) = ∑ wI ,kl (x)p( x I )p Τ ( x I ) (2.26)
I =1
the vector γ (x) can be determined using an LU decomposition of the A matrix and followed
by back substitution. The derivatives of γ (x) can be compute similarly, which leads to a
Aγ ,k = p ,k − A ,k γ (2.29)
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 10
This leads to a simple relationship for the first derivatives of the shape function in (2.27)
given by
Φ ,k = γ ,k B + γB ,k (2.31)
and second-derivative is
As an example, to illustrate, figures below show the MLS shape function and first
derivative in a one-dimensional domain Ω = [0,1] with 11 equally distributed nodes.
Figure 2.2: The MLS shape function and its first derivative
1D 2D
Constant [1] [1]
Linear [1, x] [1, x, y ]
Quadratic [1, x, x 2 ] [1, x, y, x 2 , y 2 , xy ]
A, A ,k and A ,kl matrices and vector p( x I ) in the equation (2.1), (2.20) and (2.23) do not
depend on the evaluation point. So, if the size of the problem permits it, it is efficient to store
once for all these values at each node, together with the coordinates of the node and a pointer
to the weight function. Furthermore, we can benefit from the fact that the first basis function
is always the unit function and that the next basis functions are the coordinates if the basis is
at least linear. So, we can cleverly store only p( x I )p Τ ( x I ) and find inside it the basis p( x I )
and the coordinates x I . For example, for linear and quadratic functions, the dyadic products
of linear function are
⎛1 xI yI ⎞
Τ
⎜ ⎟
p( x I )p ( x I ) = ⎜ x I x 2
I xI yI ⎟ (2.33)
⎜y
⎝ I xI y I y I2 ⎟⎠
In the solid body of the structure, we use the sets of nodes scattered in the problem
domain and its boundary. The density of the nodes depends on the accuracy requirement of
the analysis and the resources available.
The nodal distribution is usually not uniform and a denser distribution of nodes is often
used in the area where the displacement gradient is larger. To interpolate the value at a point
within the problem domain, we used the concept of the support domain at that points, this
domain included the number of nodes in a “small local domain”. This small local domain is
often called the support domain. A support domain of a point x determines the number of
nodes to be used to support or approximate the function value at x . It can have different
shapes and its dimension and shape can be different for different points of interest x , as
shown in figure 2.3 below.
The shapes most often used are circular or rectangular. We always use the concept of
support domain to select the nodes for constructing shape functions. These choices relate to
determine the dimension of the support domain. We can see in Liu (2003), Fleming (1997)
and Krongauz (1996).
We should understand and distinguish clearly between support and influence domains in
meshless methods. According to Liu (2003), and the PhD thesis of Fleming (1997) the
influence domain is defined as a domain that a node exerts an influence upon. It goes with a
node, in contrast to the support domain, which goes with a point of interest x that can be, but
does not necessarily have to be, at the node.
Use of an influence domain is an alternative way to select nodes for interpolation, and it
works well for domains with highly non-regularly distributed nodes. The influence domain is
defined for each node in the problem domain, and it can be different from node to node
represent the area of influence of the node, as shown in figure 3.5 below. Node 1 has an
influence radius of r1 , node 2 has r2 and node 3 has r3 , etc.
t
Γ
r3
r1
ο3
ο
Ω 1 *
xQ ο2 Γt
r2
Γu
The node will be involved in the shape function construction for any point that is within
its influence domain. As above figure, in constructing the shape functions for the point xQ ,
nodes 1 and 2 will be used, but node 3 will not be used. The fact that the dimension of the
influence domain can be different from node to node allows some nodes to have further
influence than others and prevents unbalanced nodal distribution for constructing shape
functions. Also in above figure, nodes 1, 2 are included for constructing shape functions for
the point xQ , but node 3 is not included, even though node 3 is closer to xQ compared with
node 1.
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 14
In meshless methods, currently there are many methods to determine the dimension of a
support domain dm in problems depending on each of type difference problems. In fact, none
of methods can be totally suitable to all types of nodal distributions. In this thesis, we present
some relative methods to determine the dimension of a support domain.
The accuracy of interpolation depends on the nodes in the support domain of the point of
interest, which is often a quadrature point or the center of integration cells. Therefore, a
suitable support domain should be chosen to ensure a proper area of coverage for
interpolation.
dm = α s d c (2.35)
with d c is a characteristic length that relates to the nodal spacing near the point of interest. If
the nodes are uniformly distributed, d c is simply the distance between two neighbouring
nodes. In the opposite case non-uniformly distributed, d c can be defined as a value average
nodal spacing in the support domain by computational the minimum, the maximum nodal
spacing for a given node. And α s is a coefficient that according to computed experience,
generally, a α s = 1.4 to 4.0 lead to good results. We can see this problem clearly in Liu
(2003), Liu and Gu (2003).
Moreover, we can use the method fixed minimum number of supporting points in the
domain of interpolation. This method may be suitable to cases the domain of problem such as
crack, plasticity or complex problem domain and currently, this method is used almost.
In my opinion, there are some remarks for this determination: we note that the accuracy
of interpolation depends on the nodes in the support domain of the point of interest. The first
it ensures that there are enough particles inside the support. The second, it makes sure that
there should not have too many particles inside a support. Because, if there are not enough
particles inside the support, when we calculate meshless shape function, we will encounter
singularity problem. If it has too many particles in a support, the bandwidth of stiffness matrix
will be large, so computationally it is not efficient. The third, with respect to above average
computation, we should take care the difference between the minimum and maximum support
size is not too large.
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 15
The weight functions play an important role in meshless methods. The weight function
should be non-zero only over a small neighbourhood of x I , called the domain of influence of
node I th . This domain of influence will be defined latter. The various weight functions that
greatly affect the accuracy of the numerical results need to satisfy the following conditions
According to the PhD thesis of Organ (1996), the choice of the weight function
w( x − x I ) affects the resulting approximate function u h (x) . As the illustration, consider the
three cases be shown in figure 2.5, figure 2.6 and figure 2.7 where the function u (x) is
approximated by u h (x) using the nodal values at eleven spaced nodes, and using together a
If we use the weight function unsuitable, it won’t get well for approximate solution. As a
result, we can scan to the plots below. For example, we consider the domain scattered by 11
nodes. The constant and cubic spline weight functions and resulting MLS approximations,
together with FEM approximation also shows follows
In figure 2.5, we used the constant weight function and the solution of MLS
approximation is linear. So in this case, the result is not good because of error between exact
and approximate solution is too large. Let’s look at in figure 2.6, when we used the cubic
spline weight function, it had given a better result. Together the FEM approximation is given
good result as figure 2.7.
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 16
Figure 2.6: Cubic spline weight function and corresponding approximation result
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 17
For more details, the size of support dmI of weight function wi associated with node i
should be chosen such that dmI should be large enough to have a sufficiently large number of
nodes to cover the domain of definition of the MLS approximation for the trial function at
every sample point to ensure the regularity of A. A very small dmI may result in a relatively
large numerical error in using Gauss numerical quadrature to calculate the elements in the
system matrix.
On the other hand, dmI should be also small enough to maintain the local character for
the MLS approximation. As above mentioned, we can see that the weight function affects the
resulting approximation, if the weight function is continuous then the shape functions are also
continuous.
In this thesis, we used the weight functions according to the thesis PhD of Dufot (2004),
Duflot (2005), Duflot and Nguyen-Dang (2001), (2004), Dolbow and Belytschko (1998) and
Liu (2003) as follows
⎧ 23 − 4 s 2 + 4 s 3 if | s |≤ 1
2
⎪
w1 ( s ) = ⎨ 43 − 4s + 4s 2 − 43 s 3 if 1
2 <| s |≤ 1 (2.36)
⎪ 0 if | s |> 1
⎩
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 18
⎧1 − 6s 2 + 8s 3 − 3s 4 if | s |≤ 1
w2 ( s ) = ⎨ (2.37)
⎩ 0 if | s |> 1
x − xI
with s = is a radius of influence; and dmI is a size of the domain of influence of the
dmI
I th node. The size of the domain of influence at a node and dmI is computed as section 2.6
above. Now, we consider two case of the support domain in two-dimension
Ωx error
.
Figure 2.8: This case is error because the compact support do not cover the entire domain
Ωx
Figure 2.9: This case is good because the compact support cover the entire domain
In figure 2.8, the domain of problem did not cover entire domain, because the radius of
support domain does not enough large to overlap the area of problem domain. The solution in
this case is singular and we can see the support enough large to overlap entire domain of
problem, the result is good in figure 2.9.
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 19
Figure 2.10: Cubic spline weight functions and first derivative in one-dimension
⎛ x − xi ⎞
wi (x) = wa ⎜⎜ ⎟
⎟ (2.39)
⎝ dmi ⎠
⎛ | x − xi | ⎞ ⎛ | y − yi |⎞
wi (x) = wa ⎜⎜ x
⎟⎟ wa ⎜⎜ y
⎟⎟ (2.40)
⎝ dmi ⎠ ⎝ dmi ⎠
Referring to the equations of derivative of the shape functions, it can be seen that the
spatial derivative of the weight function is necessary to compute the spatial derivative of the
x − xi
A and B matrices. For circle domains in two-dimension is s = dmi , for example with the
xk − xik
wi ,k (x) = w2,k (2.41)
sdmi2
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 20
⎛ w ⎞ ( x − xik )( xl − xil ) δ
wi ,kl (x) = ⎜⎜ w2,kl − 2,k ⎟⎟ k 2 4
+ w2,k kl 2 (2.42)
⎝ s ⎠ s dmi sdmi
with
⎧− 12 s + 24 s 2 − 12 s 3 if | s |≤ 1
w2 , k ( s ) = ⎨ (2.43)
⎩ 0 if | s |> 1
⎧− 12 + 48s − 36 s 2 if | s |≤ 1
w2,kl ( s ) = ⎨ (2.44)
⎩ 0 if | s |> 1
− 12δ kl
if x = xi we have w( xi ) = 1 ; wi ,k ( xi ) = 0 and wi ,kl ( xi ) =
dmi
Similarly, for rectangular domain we used the tensor product weights follows
w( x − xi ) = w( s x ).w( s y ) = wx .w y (2.45)
respectively
x − xi
sx = (2.46)
dm x
y − yi
sy = (2.47)
dm y
with dm x = αc xI ; dm y = αc yI (2.48)
dwx
w, x = .w y (2.49)
dx
dw y
w, y = .wx (2.50)
dy
d 2 wx
w, xx = .w y (2.51)
dx 2
d 2 wy
w, yy = .wx (2.52)
dy 2
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 21
dwx dw y
w, xy = . (2.53)
dx dy
In my thesis, to illustrate we consider not only for the shape function and their derivative
but also for the weight function and derivatives in two-dimension. Using the quartic spline
weight function considered into a square domain.
⎧1 − 6s 2 + 8s 3 − 3s 4 if | s |≤ 1
w2 ( s ) = ⎨ (2.37)
⎩ 0 if | s |> 1
Here the first we consider the support domain is circle domain for weight function
In the derivatives of the shape and weight functions, the first- and second-derivatives are
must be symmetric.
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 24
The second we consider the support domain is rectangular domain for weight function
Loop on all the candidate nodes and compute the weight function
wI (x) and their derivatives wI ,k (x) and wI ,kl (x) . If the weight
function of the candidates is non-zero, it is an influencing node
Compute p
1
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 26
End
Figure 2.21: Flowchart of algorithm to compute the shape function and their derivatives
This algorithm based on the PhD thesis of Duflot (2004) and Duflot (2005). Currently
there are many other methods to compute the MLS shape functions and their derivatives.
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 27
The EFG method employed the Galerkin weak form to derive the discretize system
equations from strong form system equations. We will present in detail the Galerkin
variational principle or weak form of equilibrium equations are posed in the chapter three for
both models. Besides we will use the Lagrange multipliers to impose the essential boundary
conditions.
2.10 Conclusions
In the EFG method, the shape function does not satisfy the Kronecker delta criterion, i.e.,
φ I ( x J ) ≠ δ IJ . Consequently, the imposition of essential boundary conditions is more
complicated than for the standard EFM. Currently, there are several methods have been
developed, including Lagrange multipliers Belytschko, Lu and Gu (1994), modified
variational principles Lu, Belytschko, and Gu (1994), and in the FE-EFG coupled method as
in Belytschko, Organ and Krongauz (1995), etc. These issues can be avoided if the essential
boundaries are along finite element domains, where the essential boundary conditions can be
prescribed directly as nodal values.
Figure 2.22: The example for the integration of 6 × 6 Gauss quadrature point
CHAPTER 2: ELEMENT FREE GALERKIN METHOD 29
In Chapter 3, to compute the stiffness and flexibility matrices, force vectors, etc requires
integration over the domain Ω or a part Γ . Which in two-dimensions corresponds to an area
integration. Currently there are many techniques to compute the numerical integration such as
cell quadrature, element quadrature or the technique of nodal integration was proposed by
Beissel and Belytschko (1996), Dolbow (1998), Dolbow and Belytschko (1999), etc. But in
this thesis, element quadrature is used with Gauss quadrature points in each cell by numerical
integration, for example as in figure 2.22.