FEM Taylor
FEM Taylor
Notes for CE231: Version 1.0 Robert L. Taylor Department of Civil and Environmental Engineering University of California at Berkeley Berkeley, California 94720-1710 E-Mail: [email protected] October 1999
Contents
1 Introduction 2 Introduction to Strong and Weak Forms
2.1 2.2 2.3 2.4 Strong form for problems in engineering Construction of a weak form . . . . . . . Heat conduction problem: Strong form . Heat conduction problem: Weak form . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 2
2 3 3 5
Derivatives of functionals: The variation . . . . . . . . . Symmetry of inner products . . . . . . . . . . . . . . . . Vainberg's method: Construction of variational theorems Variational notation . . . . . . . . . . . . . . . . . . . .
. 8 . 9 . 10 . 12
4.1 Constitutive Equations for Linear Elasticity . . . . . . . . . . . . . . . . . . 15 5.1 Hu-Washizu Variational Theorem . . . . . . . . . . . . . . . . . . . . . . . . 17 5.2 Hellinger-Reissner Variational Theorem . . . . . . . . . . . . . . . . . . . . . 19 5.3 Minimum Potential Energy Theorem . . . . . . . . . . . . . . . . . . . . . . 20
13
17
Chapter 1 Introduction
In these notes, Chapters 2 and 3 provide an introduction to formulation of problems in both a strong and a weak form. The strong form of a problem is given as a set of partial di erential equations whereas, the weak form of a problem is associated with either a variational equation or a variational theorem. Vainberg's theorem is introduced to indicate when a variational theorem exists for a given variational equation. A variational statement provides a convenient basis for constructing approximate solutions (e.g., nite element methods). Initially, the linear heat equation is used as an example problem to describe some of the details concerning use of strong and weak forms. Chapter 4 provides a summary of the strong form for a linear elasticity problem. In Chapter 5 variational theorems are presented in three forms. The rst form, known as the Hu-Washizu form, presents a variational theorem which includes all the equations for elastostatics: Balance of linear momentum, strain-displacement equations, constitutive equations, and boundary conditions for both traction and displacement. The second form, known as the Hellinger-Reissner form, includes all the equations except the strain-displacement equations which must therefore be provided in a strong form. Finally, the last form discussed is the principle of minimum potential energy which includes only the momentum equations (in terms of displacement) and the traction boundary conditions. All other equations must be provided in strong form.
@ 2 u + @ 2 u = q(x y) (2.1) @x2 @y2 de ned on the region 0 x a, 0 y b with the boundary condition u = 0 on all edges. This di erential equation may be solved by writing u as a product form u=
XX
(2.2)
m a
+ nb
(2.3)
The solution may now be completed by expanding the right hand side as a double sine series (i.e., Fourier series) and matching terms between the left and right sides. Evaluation of the 2
solution requires the summation of the series for each point (x y) of interest. Consequently, it is not possible to get an exact solution in closed form. Indeed, use of a nite set of terms leads to an approximate solution with the accuracy depending on the number of terms used. More general solutions may be constructed using separable solution however, again, the solutions are obtained only in series form. In the sequel, we will be concerned with the construction of approximate solutions to problems in elasticity { one such approximation being a reduced theory for beams, plates, or shells. Accordingly, we now direct our attention to rewriting the set of equations in a form we call the weak form of the problem. The weak form will be the basis for constructing our approximate solutions.
d X
(2.4)
where: d is the spatial dimension of the problem qi is the component of the heat ux in the xi direction Q is the volumetric heat generation per unit volume per unit time, T is temperature is density c is speci c heat and t is time. The equations hold for all points xi in the domain of interest, . The following notation is introduced for use throughout this report. Partial derivatives in space will be denoted by ( and in time by ) i = @( ) @xi (2.5)
(2.6)
aibi
(2.7)
qi i =
Boundary conditions are given by
(2.8)
(2.9)
qn = qi ni = qn (2.10) where qnn is a speci ed ux for points xj on the ux boundary, ;q , and ni are direction cosines of the unit outward pointing normal to the boundary. Initial conditions are given by T (xi 0) = T0 (xi ) (2.11) for points in the domain, , at time zero. The equations are completed by giving a relationship between the gradient of temperature and the heat ux (called the thermal constitutive equation). The Fourier law is a linear relationship given as qi = ; kij T j (2.12) where kij is a symmetric, second rank thermal conductivity tensor. For an isotropic material kij = k ij (2.13) in which ij is the Kronecker delta function ( ij = 1 for i = j = 0 for i 6= j). Hence for an isotropic material the Fourier law becomes qi = ; kT i
(2.14)
The di erential equation may be expressed in terms of temperature by substituting Eq. 2.14 into Eq. 2.4. The result is (kT i) i + Q = cT_ (2.15)
The equation is a second order di erential equation and for isotropic materials with constant k is expanded for two dimensional plane bodies as 2 2 k @ T + @ T + Q = c @T (2.16) @x2 @x2 @t 1 2 We note that it is necessary to compute second derivatives of the temperature to compute a solution to the di erential equation. In the following, we show that, expressed as a weak form, it is only necessary to approximate rst derivatives of functions to obtain a solution. Thus, the solution process is simpli ed by considering weak (variational) forms. The partial di erential equation together with the boundary and initial conditions is called the strong form of the problem.
g(W qi T ) = W (xi)
Z
cT_ ; Q + qi i = 0
(2.17)
G(W qi T ) =
W (xi)
cT_ ; Q + qi i d = 0
(2.18)
In step 3 we integrate by parts the terms involving the spatial derivatives (i.e., the thermal ux vector in our case). Green's theorem is given by
Z
id
nid ;
(2.19)
(U V ) i d =
(U V )nid;
Z
(2.21)
U Vi + UiV ]d =
Z
(U V )nid;
Z
(2.22) (2.23)
U V id = ;
UiVd +
(U V )ni d;
which we observe is an integration by parts. Applying the integration by parts to the heat equation gives
G(W qi T ) =
+
Z Z
W (xi)
;
cT_ ; Q d ;
W i qi d
(2.24)
Wqini d; = 0
Z Z
Introducing qn , the boundary term may be split into two parts and expressed as
Z
Wqnd; =
;T
Wqnd; +
;q
Wqnd;
(2.25)
Now the boundary condition Eq. 2.10 may be used for the part on ;q and (without any loss in what we need to do) we can set W to zero on ;u (Note that W is arbitrary, hence our equation must be valid even if W is zero for some parts of the domain). Substituting all the above into Eq. 2.24 completes step 4 and we obtain the nal expression
G(W qi T ) =
+
Z Z
W (xi)
;q
cT_ ; Q d ;
W i qi d
(2.26)
W qnd; = 0
If in addition to the use of the boundary condition we assume that the Fourier law is satis ed at each point in the above integral becomes
G =
+
Z Z
W
;q
c T_ ; Q d +
WikTid
(2.27)
W qn d; = 0
We note that the above form only involves rst derivatives of quantities instead of the second derivatives in the original di erential equation. This leads to weaker conditions to de ne solutions of the problem and thus the notion of a weak form is established. Furthermore, there are no additional equations that can be used to give any additional reductions thus, Eq. 2.27 is sometimes said to be irreducible 4, Chapter 9].
T (x) = T (x) +
(x)
(3.1)
The function is an arbitrary function and is related to the arbitrary function W introduced in the construction of the weak form. The function is called the variation of the function T and often written as T ( (x) alone also may be called the variation of the function) 1]. Introducing the family of functions T into the functional we obtain, using the steady state heat equation as an example, the result
G = G(W T ) =
+
Z
WikTi d ;
W Qd
(3.2)
;q
W qn d;
The derivative of the functional with respect to now may be constructed using conventional methods of calculus. Thus, dG = lim G ; G0 (3.3) !0 d where G0 is the value of G for equal to 0. The construction of the derivative of the functional requires the computation of variations of derivatives of T . Using the above de nition we obtain d(T ) i = d (T + ) = (3.4) i i d d i 8
With this result in hand, the derivative of the functional with respect to is given by dG = Z W k d (3.5) i i d The limit of the derivative as goes to zero is called the variation of the functional. For the linear steady state heat equation the derivative with respect to is constant, hence the derivative is a variation of G. We shall de ne the derivative of the functional representing the weak form of a di erential equation as dG = A(W ) (3.6) d This is a notation commonly used to de ne inner products.
A(W ) = A( W )
(3.7)
Symmetry of the inner product resulting from the variation of a weak form is a su cient condition for the existence of a variational theorem which may also be used to generate a weak form. Symmetry of the functional A also implies that the tangent matrix (computed from the second variation of the theorem or the rst variation of the weak form) of a Galerkin method will be symmetric. A variational theorem, given by a functional I (T ), has a rst variation which is identical to the weak form. Thus, given a functional I (T ) we can construct G(W T ) as lim dI (T ) = G( T ) (3.8) !0 d Note that use of Eq. 3.1 leads to a result where replaces W in the weak form. Thus, for the variational equation to be equivalent to the weak form must be an arbitrary function with the same restrictions as we established in de ning W . Variational theorems are quite common for several problem classes however, often we may only have a functional G and desire to know if a variational theorem exists. In practice we seldom need to have the variational theorem, but knowledge that it exists is helpful since it implies properties of the discrete problem which are bene cial (e.g., symmetry of the tangent matrices, minimum or stationary value, etc.). Also, existence of a variational theorem yields a weak form directly by using Eq. 3.8.
10
W (x) ! T (x t) T (x t) ! T (x t)
(3.9) (3.10)
to de ne G(T T ) 3. Integrate the functional result from (b) with respect to over the interval 0 to 1. The result of the above process gives
I (T ) =
Z 1
G(T T )d
(3.11)
Performing the variation of I and setting to zero gives ( (3.12) lim dIdT ) = G( T ) = 0 !0 and a problem commonly referred to as a variational theorem. A variational theorem is a functional whose rst variation, when set to zero, yields the governing di erential equations and boundary conditions associated with some problem. For the steady state heat equation we have
G(T T ) =
Tik Tid ;
Z
T Qd +
Z
;q
T qn d;
(3.13)
TQd +
;q
T qnd;
(3.14)
Reversing the process, the rst variation of the variational theorem generates a variational equation which is the weak form of the partial di erential equation. The rst variation is de ned by replacing T by
T = T +
(3.15)
11
and performing the derivative de ned by Eq. 3.12. The second variation of the theorem generates the inner product
A( ) (3.16) If the second variation is strictly positive (i.e., A is positive for all ), the variational theorem is called a minimum principle and the discrete tangent matrix is positive de nite. If the second variation can have either positive or negative values the variational theorem is a stationary principle and the discrete tangent matrix is inde nite. The transient heat equation with weak form given by G =
+
Z Z
W
;q
c T_ ; Q d +
WikTid
(3.17)
W qn d; = 0
does not lead to a variational theorem due to the lack of the symmetry condition for the transient term
A = T_
6= ( _ T )
(3.18)
If however, we rst discretize the transient term using some time integration method, we can often restore symmetry to the functional and then deduce a variational theorem for the discrete problem. For example if at each time tn we have
T (tn) Tn then we can approximate the time derivative by the nite di erence T_ (tn)
(3.19)
Tn+1 ; Tn (3.20) tn+1 ; tn Letting tn+1 ; tn = t and omitting the subscripts for quantities evaluated at tn+1, the rate term which includes both T and becomes
= (3.21) A = Tt tT since scalars can be moved from either term without a ecting the value of the term. That is,
A = (T
)=( T )
(3.22)
12
I =
TikTid ;
Q Td +
;q
qn T d;
(3.27)
which is identical to Eq. 3.2 with T replacing W , etc. This formal construction is easy to apply but masks the meaning of a variation. We may also use the above process to perform a linearization of variational equations in order to construct solution processes based on Newton's method.
+ bm = u
(4.1)
where is the mass density, bm is the body force per unit mass, r is the gradient operator, and u is the acceleration. 2. Balance of angular momentum, which leads to symmetry of the stress tensor =
T
(4.2)
3. Deformation measures based upon the gradient of the displacement vector, ru, which may be split as follows
ru = r(s)u + r(a) u
where the symmetric part is and the skew symmetric part is 1 r(s)u = 2 ru + (ru)T
Based upon this split, the symmetric part de nes the strain = r(s)u 13
1 r(a) u = 2 ru ; (ru)T
14
and the skew symmetric part de nes the spin, or small rotation, ! = r(a) u (4.7) In a three dimensional setting the above tensors have 9 components. However, if the tensor is symmetric only 6 are independent and if the tensor is skew symmetric only 3 are independent. The component ordering for each of the tensors is given by
2
11 4 21 31
12 22 32
3 13 23 5 33
(4.8)
which from the balance of angular momentum must be symmetric, hence (4.9) ij = ji The gradient of the displacement has the components ordered as (with no symmetries) 2 3 u1 1 u1 2 u1 3 ru ! 4u2 1 u2 2 u2 35 (4.10) u3 1 u3 2 u3 3 The strain tensor is the symmetric part with components
2
!
and the symmetry condition
11 4 21 31
12 22 32
3 13 23 5 33
ij
ji
The spin tensor is skew symmetric,thus, !ij = !ji which implies !11 = !22 = !33 = 0. Accordingly, 2 3 2 3 !11 !12 !13 0 !12 !13 ! ! 4!21 !22 !23 5 = 4;!12 0 !23 5 !31 !32 !33 ;!13 ;!23 0
The basic equations which are independent of material constitution are completed by specifying the boundary conditions. For this purpose the boundary, ;, is split into two parts: Speci ed displacements on the part ;u, given as: u=u (4.15) where u is a speci ed quantity and
15
speci ed tractions on the part ;t , given as: t= n =t (4.16) where t is a speci ed quantity. In the balance of momentum, the body force was speci ed per unit of mass. This may be converted to a body force per unit volume (i.e., unit weight/volume) using bm = bv (4.17) Static or quasi-static problems are considered by omitting the acceleration term from the momentum equation (Eq. 4.1). Inclusion of inertial forces requires the speci cation of the initial conditions u(x 0) = d0(x) (4.18) _ u(x 0) = v0 (x) where d0 is the initial displacement eld, and v0 is the initial velocity eld. (4.19)
12
23
31
(4.24)
16
(4.25)
Assuming the existence of a strain energy density, W ( m ), from which stresses are computed as @W (4.26) ab = @m ab the elastic modulus matrix is symmetric and satis es
Dij = Dji
(4.27)
Using tensor quantities, the constitutive equation for linear elasticity is written in indicial notation as:
ab
= Cabcd( cd ;
cd )
0
(4.28)
The transformation from the tensor to the matrix (Voigt) form is accomplished by the index transformations shown in Table 4.1 Thus, using this table, we have
C1111 ! D11
C1233 ! D43
etc:
(4.29)
The above set of equations de nes the governing equations for use in solving linear elastic boundary value problems in which the inertial forces may be ignored. We next discuss some variational theorems which include the elasticity equations in a form amenable for development of approximate solutions. The inclusion of inertial forces precludes the development of variational theorems in a simple form as noted in the previous chapter. We can add the inertial e ects to the variational equations which result from any variational theorem using d'Alemberts principle.
;
Z
;t
BuT t d;
;
Z
;u
tT (u ; u)d; = Stationary
Z
(5.1)
Note that the integral de ning the variational theorem is a scalar hence, a transpose may be introduced into each term without changing the meaning. For example,
I =
aT
bd =
(aT
b)T d
bT a d
(5.2)
A variational theorem is stationary when the arguments (e.g., u, , ) satisfy the conditions where the rst variation vanishes. To construct the rst variation, we proceed as in the previous chapter. Accordingly, we introduce the variations to the displacement, U, the stress, S, and the strain, E, as
u =u+ U
= 17 + S
(5.3) (5.4)
18
= + E (5.5) and de ne the single parameter functional I = I (u ) (5.6) The rst variation is then de ned as the derivative of I with respect to and evaluated at = 0. For the Hu-Washizu theorem the rst variation de ning the stationary condition is given by Z Z dI TD d ; = E ET D 0 d d =0 +
Z Z Z
ST (r(s)u UT b
;u
; )d + ;
Z
T (r(s) U
; E)d
(5.7)
; ;
Z Z Z Z
vd
nT S(u
d ;
; u)d; ;
Z
;t
UT td;
Z
The rst variation may also be constructed using 3.23 for each of the variables. The result is
;u
tT Ud; = 0
I =
+
TD
T D 0d
Z
T (r(s) u
; )d +
Z
T (r(s)
u ; )d
(5.8)
; ;
uT b
;u
vd
nT
(u ; u)d; ;
;t
uT td;
Z
and the two forms lead to identical results. In order to show that the theorem in form 5.7 is equivalent to the equations for linear elasticity, we need to group all the terms together which multiply each variation function (e.g., the U, S, E). To accomplish the grouping it is necessary to integrate by parts the term involving r(s) U. Accordingly,
Z
;u
tT ud; = 0
T r(s) Ud
= ;
UT r
0)
d +
;t
tT Ud;
;u
tT Ud;
(5.9)
; ]d
Z Z
ST (r(s) u UT (t
; )d ;
;u
UT (r
+ bv )d (5.10)
;t
; t)d; ;
nT S(u ; u)d; = 0
19
The fundamental lemma of the calculus of variations states that each expression multiplying an arbitrary function in each integral type must vanish at each point in the domain of the integral. The lemma is easy to prove. Suppose that an expression does not vanish at a point, then, since the variation is arbitrary, we can assume that it is equal to the value of the non-vanishing expression. This results in the integral of the square of a function, which must then be positive, and hence the integral will not be zero. This leads to a contradiction, and thus the only possibility is that the assumption of a non-vanishing expression is false. The expression which multiplies each variation function is called an Euler equation of the variational theorem. For the Hu-Washizu theorem, the variations multiply the constitutive equation, the strain-displacement equation, the balance of linear momentum, the traction boundary condition, and the displacement boundary condition. Indeed, the only equation not contained is the balance of angular momentum. The Hu-Washizu variational principle serves as a convenient basis for constructing approximate solutions to problems in linear elasticity. There are other variational principles which can be deduced directly from the principle. Two of these, the Hellinger-Reissner principle and the principle of minimum potential energy are presented below since they are also often used in constructing approximate solutions in linear elasticity.
;t
uT td;
;u 0
tT (u ; u)d;
+ D;1
(5.12) (5.13)
r(s) u =
20
together with 4.1, 4.15 and 4.16. The strain-displacement equations are deduced by either directly stating 4.6 or comparing 5.11 to 5.13. The rst term in 5.12 may be omitted since its rst variation is zero.
u=u
are satis ed at each point of and ;, respectively. Thus, the variational theorem is given by the integral functional 1 Z (r(s) u)T D(r(s) u)d ; Z (r(s) u)T D 0d I (u) = 2 Z Z Tb d ; ; u v uT td; (5.16)
;t
Since stress does not appear explicitly in the theorem, the constitutive equation must be given. Accordingly, in addition to 5.14 and 5.15 the relation = D( ;
0)
(5.17)
is given. The principle of minimum potential energy is often used as the basis for developing approximate solutions in which only displacement approximations are needed.
Bibliography
1] F.B. Hildebrand. Methods of Applied Mathematics. Prentice-Hall, Englewood Cli s NJ, 2 edition, 1965 (also Dover Press, 1992). 2] M.M. Vainberg. Variational Methods for the Study of Nonlinear Operators. Holden-Day Inc., San Francisco, CA, 1964. 3] K. Washizu. Variational Methods in Elasticity and Plasticity. Pergamon Press, New York, 3 edition, 1982. 4] O.C. Zienkiewicz and R.L. Taylor. The Finite Element Method, volume 1. McGraw-Hill, London, 4 edition, 1989.
21