Professional Documents
Culture Documents
Patch Test and Convergence PDF
Patch Test and Convergence PDF
cn
Wan X. Zhong
Dalian University of Technology, Dalian 116023, P.R. China
e-mail: wxzhong@gingko.dlut.edu.cn
Abstract
the present criterion can also be proved to be the necessary and sufficient condition for FEM
convergence, i.e.
Engineering patch test Proposed criterion Eqs.(15,16) FEM convergence. (1)
Selecting appropriate interpolation functions to generate the element stiffness matrix is the main task of
element computation. Such that the solution of the assembled structure under arbitrary mesh
subdivision converges to the exact solution of the original problem when the mesh becomes denser.
The engineering patch test was proposed under that background.
The computation of FEM naturally subdivided into two phases, namely the element computation phase
and the structural computation phase. Patch test is the criterion to the element stiffness matrices, which
is a crux to the convergence of FEM solution. For a plane elasticity element with n e 3 connecting
points, there are m = 2n e external displacements and m interpolation functions, which are
certainly analytic (such as polynomials) within the element domain and continuous up to the nodal
points, so that the incompatibility can happen only at element edges where the displacement
2
discontinuity can be only of the order of O( h ) , h is the maximum diameter of the mesh. From
FEM convergence consideration, the interpolation functions must can compose the constant and linear
terms of displacements, i.e. the three rigid body motion and three simple stress states. However there
are another ( m 6) linearly independent combinations, under proper selection these (m 6)
combinations will be second order or higher functions, i.e.
u j = O( h 2 ), v j = O(h 2 ) ( m j 7) (4)
-2-
http://www.paper.edu.cn
0 0 0 3 EA EA 0
Ra = 0 Rl Rcl = 0 3 ; Rl = EA EA 0 (8)
0 Rcl = 0
Rc m 6 0 0 GA
where Rc is a positive definite symmetric ( m 6) ( m 6) matrix.
Ra = T T RT , R = T -T RaT 1 (9)
Usually, only R is computed but not Ra . The structure of Ra determines if the element can pass
the patch test and also if the FEM solution converges to the exact solution. The computation of R is
extremely versatile in FEM, such as isoparametric technique, Gauss integration, the integration points,
reduced integration or constant Jacobi matrix, etc. Therefore the analysis of general element behaviour
such as convergence, patch test, etc. should be independent to these details, but only depends on the
characteristics of R or the characteristics of matrices Ra and T .
2. 1 T h e c o n d i t i o n o f p a t c h t e s t
f 6 = {x c x b , y b y c , x a x c , y c y a , x b x a , y a y b } T / 2, for a 6 = 1 / G
Then for arbitrary polygonal element the nodal force of simple stress state can be derived such as for
5-node element in Fig.2b, by adding two assistant lines to subdivide it into three CST elements
125, 245, 234 , and compute their nodal force vectors respectively, then assemble them
together. It gives a m = 10 dimension nodal force vector as
f 4e = { y 2 y5 ,0, y 3 y1 ,0, y 4 y 2 ,0, y5 y 3 ,0, y1 y 4 ,0} T / 2, a4 = 1 / E (12a)
f 5e = {0, x5 x 2 ,0, x1 x 3 ,0, x 2 x 4 ,0, x 3 x5 ,0, x 4 x1 } T / 2, a5 = 1 / E (12b)
f = {x5 x 2 , y 2 y5 , x1 x 3 , y 3 y1 , x 2 x 4 , y 4 y 2 ,
e
6
a6 = 1 / G (12c)
x 3 x5 , y5 y 3 , x 4 x1 , y1 y 4 } T / 2,
e
The above method for generation of element nodal force f under simple stress state is independent
(a) CST element ABC (b) 5-node element is subdivided into three CST
elements
Figure 2:
-3-
http://www.paper.edu.cn
-4-
http://www.paper.edu.cn
It is to prove the following statement: A polygonal element e with minimum supports realizes a
simple stress state with the external nodal force vector, i.e. Eq.(12) is satisfied; if further subdivide the
element e , Fig.3, into a number of elements (can be of different types), which individually satisfy the
corresponding Eqs. (15,16), then all the subdivided element must have the same simple stress solution.
In treating the convergence of FEM, the interpolation function and element strain energy should be
considered. The generation of element stiffness matrix is highly versatile, that its integration,
differentiation, interpolation etc. all induce approximations, which imply some kind of incompatibility.
The displacement incompatibility along the element boundary is also such kind of error. All these
intricate approximations are different for different elements. The convergence should only relate to the
general characteristics of elements, such as passing the patch test, but not to the formulation details of
individual element. The criterion Eqs. (15,16) is such general characteristics. Some general factors for
the element convergence should be mentioned.
The interpolation functions in the element formulation are always the analytical functions such as
polynomials. The criterion (15,16) implies that the rigid body motion and simple stress solutions are
precisely satisfied, which are the complete set of solutions of the order of O( h) with no
incompatibility. Hence the displacement incompatibility along the element boundary must be of the
2
order of O( h ) or even higher. The displacement incompatibility with that limitation is considered
-5-
http://www.paper.edu.cn
weak variational crime. Only weak variational crime element can fulfill the criterion (15,16), and
converge to the exact solution when h 0.
Analytical interpolation functions has the following characteristics: If the stress is known as O( h)
2
then the nodal displacement, except rigid body motion, must be O( h ) ; on the contrary, if the nodal
2
displacements are known as O( h ) , then the element stress must be O( h) . On the other hand, if the
2
element nodal forces are known as O( h ) , then its stress is O( h) ; and if the element stress is
2
known as O( h) , then the nodal forces must be O( h ) .
The convergence proof below requires only the patch test criterion (15,16), and that the interpolation
functions are all analytical functions. The weak variational crime requirement can be considered
involved in the criterion (15,16).
3. Patch test criterion is the necessary and sufficient condition for element
convergence
The solution of the original problem is assumed analytical and has no singularity. Patch test is
represented by the Eqs. (15,16). Convergence means that the difference between FEM solution and the
exact one must tend to zero as the mesh size very dense, h 0 .
For compatible element, the convergence proof becomes the problem of minimization in a Sobolev
space and was solved before. The CST element is compatible, so its solution converges to the exact
solution, Fig.4.
-6-
http://www.paper.edu.cn
condition beforehand, and the other satisfies the equilibrium conditions beforehand, and the negative
potential energy and complementary energy of these approximate solutions respectively will converge
to the corresponding CST mesh real energy when h 0 . These two approximate solutions are given
in the next two sections.
Before finding the two solutions one statement should be mentioned, that if the element displacement
2
interpolation has only O( h ) discontinuity to the structural system nodal displacement, then the
2
displacement incompatibility between adjacent element has only O( h ) discontinuity too.
For the FEM solution of the corresponding CST mesh, its nodal displacement is the continuity as well
as equilibrium solution (real solution) in sense of the corresponding CST mesh, however it is also the
continuity approximate solution of the original polygonal mesh. In fact, structural mechanics concerns
only the finite structural nodal points, and the element stiffness matrices connecting to these structural
nodes. Generation of element stiffness matrices is the matter of element analysis, which will relates to
the convergence of polygonal mesh FEM solution.
The stresses of CSTs obtained from a polygonal element e by additional lines, such as Fig.2b,
computed with the nodal displacements should be close each other, i.e.
max( x , y , xy ) Mh , or = O (h ) (18)
where means the difference, and M is a constant unrelated to mesh size h . The stresses of
polygonal element can be computed from the composite displacement a
a = T 1 d (19)
where d is the nodal displacement of polygonal element extracted from the solution of
corresponding CST mesh, and T is a revised transformation matrix. If the nodal displacement d
makes the polygonal e subdivided CSTs having same stresses, then the composite displacement a
from eq.(19) will have a j = 0( j = 7 to m ) , and a 4 ~ a 6 corresponding to the same stresses
as the CSTs.
The case of d makes the element e subdivided CSTs having different stresses should be
considered. Based on estimation (18), the summation of strain energy of the subdivided CSTs is
1
e
U CST = [ E ( a 42 + a52 2a 4 a5 ) + Ga62 + O ( h )] ACST , A CST = Ae (20)
2 e e
where ACST are the area of CST elements, the sum of which is the polygonal element area Ae , and
a 4 ~ a 6 are the average value of the corresponding CSTs.
The strain energy of polygonal element e should be computed again directly from the interpolation
function of e directly. Because of estimation (18), the stresses of e can be written as 0 + ,
where 0 is the average stress of subdivided CSTs corresponding to a 4 ~ a 6 ; and varies in
the polygonal e . The nodal displacement of e can be written as d = d 0 + d , where d 0
corresponding to rigid body motion and simple stress, therefore d must be of the order of O( h )
2
varied stress related components. From the above order analysis, all the components of vector a are
of the order O(1) . The polygonal element strain energy can be computed as
1 T 1 1
Ue = a R a a = [a lT R l a l + a cT R c a c ] = [ EAe (a 42 + a52 2a 4 a5 ) + GAe a 62 + a cT R c a c ] (21)
2 2 2
-7-
http://www.paper.edu.cn
4
Now note that Rc is of the order of O(h ) , so that
U e U CST
e
= Ae O (h ) (22)
This estimation hold for all the elements in the mesh, therefore for whole the mesh, the difference
between the strain energy of the continuity approximate solution of the polygonal mesh and the strain
energy of the real solution of corresponding CST mesh tends to zero with h 0 .
Further, because of the same nodal displacements are used for both polygonal mesh and its
corresponding CST mesh, the external force potential energies are the same for both meshes. It is
asserted that the difference between the negative potential energies of both meshes equals the
difference between the strain energies of both meshes, and thus tends to zero with h 0 .
The polygonal element mesh is still further subdivided into corresponding CST mesh with the same
nodal points as the original mesh. The solution of corresponding CST mesh satisfies equilibrium
condition, so that for every polygonal element e assembling the nodal forces of its respective CSTs
e
together give its nodal force vector f . Evidently, such force system satisfies the equilibrium
condition for the polygonal mesh, so that the minimum complementary energy variational principle
applies.
Note f
e
= f AV
e
+ f e , where f AV
e
is the average stress induced nodal force and is of the order of
O( h) ; f e comes from nonuniform stress distribution being of the order of O(h 2 ) .
e
The strain energy is required to compute under the nodal force f . Firstly, the case of corresponding
CSTs having same stresses is considered, such as a 4 = 1 / E , a 5 = a 6 = 0 . Assembling the nodal
forces of these CSTs together gives the nodal force f AV = f 4 of the polygonal element
e e
e , its
equation has been given in Eq.(12a). The strain energy can be computed via the composite force
fa = T T f e , or f e = T T fa (23)
substituting f ( = f
e e
4 AV ) into the above equation gives
f a 4 = {0,0,0; Ae ,Ae ,0; d 7T f 4e ,...., d mT f 4e }T = {03T ; f alT ; f acT }T (24)
where f al ,
f ac correspond to the linear displacement as well as quadratic or higher order
displacements respectively. The orthogonality condition (17) of patch test zeros the vector f ac .
1 T 1 1 1
Ue = f a Ra f a = [ f alT Rl1 f al + f acT Rc1 f ac ] = Ae [ E ( a 24 + a52 2a 4 a5 ) + Ga 62 ] + O ( h 4 )
2 2 2
-8-
http://www.paper.edu.cn
(27)
where a 4 , a 5 , a 6 are from f al , the average stress parameters. On the other hand, the strain energy
computed from the corresponding CSTs gives
1
e
U CST = ACST {E[(a4 + a4 ) 2 + (a5 + a5 ) 2 2 (a4 + a4 )(a5 + a5 )] + G(a6 + a6 ) 2 }
2 e
1
= ACST [ E ( a 42 + a52 2a 4 a5 ) + Ga62 + O ( h )]
2 e
(28)
Therefore U U CST = Ae O( h), it follows that for whole the mesh its strain energy (i.e. the
e e
complementary strain energy) difference between the equilibrium approximate solution of polygonal
mesh and the real solution of corresponding CST mesh tends to zero with h 0 .
The equilibrium approximate solution of the polygonal mesh has the same nodal force to the real
solution of the corresponding CST mesh, thus the support given displacement complementary energy is
the same to both meshes, therefore it is asserted that the total complementary energies for both the
meshes tend to be the same with h 0 .
The upper and lower bounds of the polygonal mesh real energy converge to the corresponding CST
mesh real energy with h 0 ; however the CST solution was proved converging to the exact
solution, therefore the convergence of polygonal mesh solution is proved. Note that the above proof is
based on that patch test criterion is fulfilled for all the polygonal elements, thus the sufficiency of patch
test criterion to convergence is proved.
3
The present patch test criterion is different from the mathematical definition , which was shown not
4 , 5, 6
being the sufficient condition for FEM convergence .
To prove the convergence of FEM under arbitrary mesh subdivision requires all the elements fulfill the
patch test criterion. With the mesh size h 0 , given an arbitrary polygonal element e with a
simple stress, changing the e with corresponding CSTs, which must have the same simple stress as
e . The nodal forces of these CSTs must be assembled to be the froce of the simple stress of e , which
implies that the equations (16) satisfied. The equation (15) is also easily shown. The necessity of patch
test criterion is thus proved.
4 ONCLUDING REMARKS
Patch test is of primary importance to FEM, but the engineering version is quite different to the
3
mathematical definition , which failed to give the limitation of displacement discontinuity along the
2
boundary of incompatible element. For the mathematical definition , mathematicians proposed
counter examples to show that passing the patch test is neither the necessary nor the sufficient
4 , 5, 6
conditions for convergence , which is quite contrary to FEM practice. This paper gives the patch
test criterion, which is proven to be equivalent to the engineering version of patch test, and is also
necessary and sufficient for convergence. It clarifies the contradiction from the mathematical definition
of patch test.
The patch test criterion (15,16) has strong physical background, so it can be extended to other
problems.
References
[1] B.M. Irons. Numerical integration applied to finite element methods, Conf. on use of digital computers in
-9-
http://www.paper.edu.cn
- 10 -