+ All Categories
Home > Documents > A Sets and Functions - Springer978-1-4020-4835-7/1.pdf · A Sets and Functions The colon should be...

A Sets and Functions - Springer978-1-4020-4835-7/1.pdf · A Sets and Functions The colon should be...

Date post: 01-Nov-2019
Category:
Upload: others
View: 20 times
Download: 0 times
Share this document with a friend
35
A Every student of engineeringfrequently comes across the word function and as well as the words mapping and operator. Most likely he/she has seen the mathematical definition of a function in an introductory mathematics course and perhaps also been told that mapping and operator are basically syn- onymous terms. Nevertheless, since in applied mathematics, mechanics and engineering, the term function is mostly (or at least frequently) used in a slightly vague sense, connected to a traditional style of notation that may be confusing (see below), it seems as if the more precise concept of a mathemat- ical function becomes diffuse to many students. While I do not object to this common use of the notion of a function – it may be economical – I do believe that it is very useful to constantly have the exact mathematical definition in the background. Therefore, we will give such a denition together with the prerequisite notion of a set. A set is a collection of ob jects. In mathematics, an ob ject is frequently a natural or real number, a vector or point (see Appendix B), or a function (yet to be defined). When used in a physical model these objects will usually have referents in the real world. The objects are said to be members or elements of the set. In general, a set is denoted by a letter, say A, and if an object x is a member of A we write x A and the symbol should be read as “is an element of ” or “belongs to”. We can dene a particular set by simply listing all of its elements. Usually curly brackets are used for this. Say that A is the set of all naturalnumbers from 1 to 4, then A = {1, 2, 3, 4}. (A.1) A.1 The Notion of a Set Sets and Functions 175
Transcript

A

Every student of engineering frequently comes across the word function andas well as the words mapping and operator. Most likely he/she has seen themathematical definition of a function in an introductory mathematics courseand perhaps also been told that mapping and operator are basically syn-onymous terms. Nevertheless, since in applied mathematics, mechanics andengineering, the term function is mostly (or at least frequently) used in aslightly vague sense, connected to a traditional style of notation that may beconfusing (see below), it seems as if the more precise concept of a mathemat-ical function becomes diffuse to many students. While I do not object to thiscommon use of the notion of a function – it may be economical – I do believethat it is very useful to constantly have the exact mathematical definition inthe background. Therefore, we will give such a definition together with theprerequisite notion of a set.

A set is a collection of objects. In mathematics, an object is frequently anatural or real number, a vector or point (see Appendix B), or a function (yetto be defined). When used in a physical model these objects will usually havereferents in the real world. The objects are said to be members or elementsof the set. In general, a set is denoted by a letter, say A, and if an object x isa member of A we write

x ∈ A

and the symbol ∈ should be read as “is an element of” or “belongs to”.We can define a particular set by simply listing all of its elements. Usually

curly brackets are used for this. Say that A is the set of all natural numbersfrom 1 to 4, then

A = 1, 2, 3, 4. (A.1)

A.1 The Notion of a Set

Sets and Functions

175

176

Another way of defining a set is by giving rules that identify its elements. Forinstance, the set (A.1) could be written

A = x : x is an integer, 1 ≤ x ≤ 4.

in this text we never use this type of definition for a set. Furthermore, thereare some symbols that can be taken as predefined definitions of sets. Forinstance, the symbol R is the set of real numbers, and R

2 is the set of pairsof real numbers. Similarly, R

n is the set of n-tuples of real numbers.If A and B are two sets, we say that A is a subset of B if each element

of A is also in B. This is denoted by the symbol ⊂ and we write

A ⊂ B.

The explicitly defined sets that we are using in this text are

(i) the physical Euclidean space E and subsets of this space, and(ii) bodies, denoted B, whose elements are material points; depending on what

body model is considered, the material points are natural numbers, realnumbers, pairs of real numbers or points in a subset of E .

functions, are alluded to in this text, but I have not felt a necessity to introduceparticular notations for these sets.

A function is a rule that associates each element in a set A to an element ina set B. We write

f : A → B

and think of f as the rule. If y ∈ B is the element that is associated to x ∈ Awe also write

y = f(x)

and y is called the image of x under f or the value of f at x. The set A is thedomain and B the co-domain of the function. The subset of B consistingof all the images under f is called the range of the function, denoted f(A).Figure A.1 gives an illustration of the concept of a function.

Note that a function consists of three objects: the rule f , the domain Aand the co-domain B. However, a common practice is to talk about f asthe function and let A and B be understood from the context. It is also fairlycommon to call f(x) the function, which following the scheme introduced hereis far from correct since f(x) is not even a rule but rather an element of theco-domain. A reason for this usage is that it gives a shorthand for indicatingwhich symbol is used for elements of the domain. A further common usage,

A Sets and Functions

The colon should be read as “such that” and the comma “and”. However,

Clearly, other sets, for instance, sets (sometimes called classes) of continuous

A.2 The Notion of a Function

177

Fig. A.1. The concept of a function

which may be confusing, but is sometimes useful, is to use the same symbolfor both the rule and the image, i.e., one writes

y = y(x).

The Notion of a Function

B

Many facts of mechanics are formulated by means of three-dimensional vec-tors. Examples of such vectors are position vectors, velocity vectors, accelera-tion vectors and force vectors. We call these vectors geometric vectors andnotationally they are distinguished from other mathematical objects, such asscalars and points, by use of bold face letters. In the overwhelming majorityof textbooks in mechanics and algebra, geometric vectors are conceived (oreven defined) as directed line segments. This is a very useful mental image ofa vector that gives considerable insight and intuitive feeling to problems ofmechanics and other scientific fields. However, it should be realized that suchan image is just but one possible interpretation of the mathematical structurerepresented by vectors and the operations related to vectors. In terms of theview of physical theories presented in Chapter 1, the directed line segment (inthe physical sense of the word) is a real world referent of the mathematicallystructure defined within the conceptual world. In the following we define anaxiomatic structure that can stand by itself, irrespective of the interpretationor which physical referent is chosen. The presentation can be seen as a com-plement to the treatment of most beginners’ textbooks. In fact, the commonintuitive definitions of geometric vectors and the space in which mechanicstakes place, should be sufficient for the understanding most of this text. Onthe other hand, the insight on how models of mechanics (and in this casegeometry) interplay with the real world should be strengthened by the follow-ing sections. Besides, it ties up some loose ends usually identified by seriousstudent of mechanics.

The presentation starts by defining Euclidean vector space and then usingthis structure to define Euclidean point space. Thus, vectors comes beforepoints, which is in contrast to the elementary treatment where points andspace are assumed at the outset.

The presentation is inspired by Chadwick [6] and the appendix in Trusdell[17]. Other useful references are Bowen and Wang [3, 4] and Uhlhorn [20].

Euclidean Point and Vector Spaces

179

180 B

From a mathematical point of view geometric vectors are elements of an ori-ented three-dimensional Euclidean vector space. We will introduce thismathematical structure in a step-wise fashion starting with axioms for addi-tion, and scalar multiples, then adding the scalar product axioms and finally,introducing the vector or cross product which leads to the idea of orientation.

A vector space V over the real numbers R (real numbers are typicallydenoted α and β) is a set of vectors (vectors are typically denoted u, v andw) and the following rules or axioms:

Addition axioms To every pair of vectors u and v there corresponds avector u + v, called the sum, with the properties:1. u + v = v + u (commutative property).2. u + (v + w) = (u + v) + w (associative property).3. There exists a vector 0 such that u + 0 = u for all u ∈ V .4. For every u ∈ V there exists −u ∈ V such that u + (−u) = 0.

Scalar multiple axioms To every vector u and real number α there corre-sponds a vector αu, called the product of u and α, with the properties:5. 1u = u.6. α(βu) = (αβ)u (associative property).7. (α + β)u = αu + βu (distributive property).8. α(u + v) = αu + αv (distributive property).

for u + (−v) and it holds that −u = (−1)u.A set of n vectors v1, v2, . . . ,vn is linearly independent if there is no

linear combination which equals to zero except the trivial one, i.e.,

α1v1 + α2v2 + . . . + αnvn = 0

is true only for α1 = α2 = . . . = αn = 0. A set of vectors which is not linearlyindependent is called linearly dependent. If there exists at least one set ofn linearly independent vectors in V , but no such set with n + 1 vectors, thenV is said to be n-dimensional.

In an n-dimensional vector space V , a set of n linearly independent vectorsis called a basis. Let b1, b2, . . . , bn be such a basis. It can then be shownthat any vector u ∈ V can be uniquely represented in the basis, i.e., there areunique real numbers α1, α2, . . . , αn such that

u = α1b1 + α2b2 + . . . + αnbn =n∑

i=1

αibi.

There are many referents of the mathematical structure of a vector spacein the real world. The reader may verify that straight directed line segments1

1 To be more precise, equivalence classes of directed line segments form a vectorspace.

Euclidean Point and Vector Spaces

B.1 Euclidean Vector Space

Note that the +’s in 7 represent different operations. Usually we write u−v

B.1 181

drawn on a paper are physical referents of two-dimensional vectors, given thatthe parallelogram law represents addition and the product operation is takenas a scaling (with direction) of the directed line segments. This interpretationis carried over to the three-dimensional case in an obvious way, perhaps bythinking of vectors as rigid thin rods.

A vector space becomes an Euclidean vector space if, in addition tothe operations of addition and scalar multiple introduced above, there existsa scalar product as follows:

Scalar product axioms To every pair of vectors u and v there correspondsa real number u · v, called the scalar product of u and v, with the prop-erties:9. u · v = v · u (commutative property).10. (αu + βv) · w = α(u · w) + β(v · w) (linearity).11. u ·u ≥ 0, and u ·u = 0 if and only if u = 0 (positive-definiteness).

(or absolute value) of a vector u, denoted |u|, is defined by

|u| =√

u · u.

A consequence of the scalar product axioms is Cauchy’s inequality

|u|2|v|2 ≥ (u · v)2,

where equality holds if and only if u and v are linearly dependent. Thisinequality allows us to introduce the notion of angle between vectors, denotedby φ, which is defined by the equation

u · v = |u||v| cosφ, 0 ≤ φ ≤ π. (B.1)

In a Euclidean vector space we distinguish a particular class of bases,namely the orthonormal bases. A basis e1, e2, . . . ,en is orthonormal if

ei · ej = δij , i, j = 1, . . . , n, (B.2)

where δij is Kronecker’s delta, which takes the value 1 when i = j, and 0when i = j. In the following we will deal with three-dimensional spaces only;a vector u can be written as

u = u1e1 + u2e2 + u3e3 =3∑

i=1

uiei, (B.3)

where (u1, u2, u3) are the components of u relative to the orthonormal basise1, e2, e3. These components can be expressed as

ui = u · ei, i = 1, 2, 3,

Euclidean Vector Space

Two vectors u and v are said to be orthogonal if u ·v = 0; the magnitude

182 B

which is found from (B.3) by using (B.2). Thus, we can write equation (B.3)as

u =

3∑i=1

(u · ei)ei. (B.4)

The representation (B.3) can be used to calculate the scalar productbetween two vectors. Let u and v have the components (u1, u2, u3) and(v1, v2, v3), respectively. Then, by using (B.2) and Axiom 10, one finds that

u · v =

(3∑

i=1

uiei

)·⎛⎝⎛⎛

3∑j=1

vjej

⎞⎠⎞⎞

=

3∑i=1

3∑j=1

uivjei · ej =

3∑i=1

3∑j=1

uivjδij =

3∑i=1

uivi. (B.5)

introduced thus far.We will now add the vector or cross product operation to our Euclidean

vector space.

vector u × v, called the vector product of u and v, with the properties:12. u × v = −v × u (anti-commutative property).13. (αu + βv) × w = α(u × w) + β(v × w) (linearity).14. u · (u × v) = 0.15. (u × v) · (u × v) = (u · u)(v · v) − (u · v)2.

Axiom 14 expresses that the vector u × v is orthogonal to both u and v.By using (B.1) one finds that Axiom 15 can be rewritten as

|u × v| = |u||v| sinφ.

absolute value of the vector product u×v represents the area of the parallel-ogram spanned by u and v.

The triple scalar product of three vectors u, v and w is defined asu · (v ×w). A consequence of the vector product axioms is that the followingholds:

u · (v × w) = v · (w × u) = w · (u × v)

= −u · (w × v) = −w · (v × u) = −v · (u × w), (B.6)

which will be used to show the following important results concerning therelations between vectors in an orthonormal base e1, e2, e3:

e1 × e2 = ±e3, e3 × e1 = ±e2, e2 × e3 = ±e1. (B.7)

Euclidean Point and Vector Spaces

This formula shows that the scalar product is uniquely defined by the axioms

Thus, when thinking of vectors as oriented line segments, we see that the

ector product axioms To every pair of vectors u and v there corresponds aV

B.1 183

As will be commented on below, the ± sign indicates an indeterminancy inthe vector product as defined by the axioms. To prove (B.7) we first concludefrom Axiom 15 that

|e1 × e2|2 = 1, |e3 × e1|2 = 1, |e2 × e3|2 = 1. (B.8)

Furthermore, from equation (B.4), Axiom 14 and (B.6) one finds

e2 ×e3 =3∑

i=1

((e2 ×e3) ·ei)ei = ((e2 ×e3) ·e1)e1 = ((e1 ×e2) ·e3)e1, (B.9)

and, similarly,

e1 × e2 = ((e1 × e2) · e3)e3, e1 × e2 = ((e1 × e2) · e3)e3. (B.10)

Thus, comparing (B.9) and (B.10) with (B.8) one finds

(e1 × e2) · e3 = ±1

and equations (B.7), which we attempted to prove, follow from (B.9) and(B.10).

Using Axiom 12 and equations (B.7) one finds that the following holdstrue:

ei × ej = ±3∑

k=1

εijkek, i, j = 1, 2, 3, (B.11)

where εijk is the permutation symbol, which takes the value 1 when i, jand k is a cyclic permutation of 1, 2 and 3; the value -1 when i, j and k is anon-cyclic permutation of 1, 2 and 3; and zero otherwise.

The representation (B.3) was used above in (B.5) to calculate the scalarproduct. It will be used also to calculate the vector product: from (B.3), (B.11)and Axioms 13 and 14 one finds

u × v =

(3∑

i=1

uiei

⎛⎝⎛⎛

3∑j=1

vjej

⎞⎠⎞⎞

=

3∑i=1

3∑j=1

uivjei × ej = ±3∑

i=1

3∑j=1

3∑k=1

εijkuivjek. (B.12)

It also follows from this result and (B.5) that the triple scalar product can bewritten as

u · (v × w) = ±3∑

i=1

3∑j=1

3∑k=1

εijkuivjwk = ± det

∣∣∣∣∣∣∣∣∣∣∣∣∣∣u1 u2 u3

v1 v2 v3

w1 w2 w3

∣∣∣∣∣∣∣∣∣∣∣∣∣∣ . (B.13)

Euclidean Vector Space

The ± sign in the last two equations indicates that the axioms do not uniq-determine the vector product, contrary to the case with the scalar product.uely

184 B

However, the indeterminacy is not dramatic: there are, in a sense, two vectorproducts obeying the axioms, one being the negative of the other. We resolvethe indeterminacy by dividing the set of orthonormal bases into two classes,the right-handed and the left-handed bases. We take a particular base,say e1, e2, e3, and require that for this base it holds that

ei × ej =

3∑k=1

εijkek, i, j = 1, 2, 3, (B.14)

i.e., we take the plus sign in (B.11). All other bases can now be compared tothis base by calculating its triple product. From (B.4) we have for any basee1, e2, e3:

ei =

3∑i=1

(ei · ej)ej , i = 1, 2, 3.

i.e., Axioms 10 and 13, one finds that

(e1 × e2) · e3 =

3∑i=1

3∑j=1

3∑k=1

εijk(e1 · ei)(e2 · ej)(e3 · ek).

take e1, e2, e3 to belong to the same class of bases as e1, e2, e3, the right-handed bases, and we use the + sign in (B.12) when calculating the vectorproduct. If the product is 1 2 3

bases and we use the − sign in (B.12). The definitions of right-handedness andleft-handedness are extended to all linearly independent sets of three vectorsby looking at the sign of its triple scalar product.

The referents of left-handed and right-handed bases in the real world, whenthe directed line segment interpretation is chosen, should be well known fromelementary courses: for a right-handed base e1, e2 and e3 correspond to thethumb, the index finger and the middle finger of the right hand, respectively.

A three-dimensional Euclidean vector space with the operation of vectorproduct and definitions of right-handedness and left-handedness is an ori-ented three-dimensional Euclidean vector space.

A further useful connection between the operations of scalar and vectorproducts can be established. We may arrive at this by recalling the so-calledε-δ identity

3∑i=1

εijkεist = δjsδ δkt − δjtδ δks,

which can be verified by direct trial. By using (B.5) and (B.12) we find throughthis identity that any vectors u, v and w satisfy

u × (v × w) = (u · w)v − (u · v)w. (B.15)

Euclidean Point and Vector Spaces

ducts,

As has been found above, this triple scalar product equals 1 or -1. If it is 1, we

−1, e ,e ,e belongs to the class of left-handed

By using this equation, (B.14) and linearity in both scalar and vector pro-

B.2 185

Note that this identity does not need the definition of right-handedness sinceminus signs cancel out on the left hand side.

Geometric vectors viewed as directed line segments are conceived as connect-ing points in space. Thus, we seem to think that it is obvious that there is aspace of points in which mechanics goes on and this space is frequently calledphysical space. In the following we will define this space mathematically. Wewill then use the structure of Euclidean vector space defined in the previoussubsection and the result will be a Euclidean point space.

A Euclidean point space E is a set of points (points are typically denotedx, y and z) which is related to a Euclidean vector space V in the followingway:

(i)from x to y, which is denoted y − x, i.e. v = y − x.

(ii) y − x = (y − z) + (z − x).(iii) Given an arbitrary point o ∈ E and vector r ∈ V there exists a unique

point x ∈ E such that r = x − o.

the position vector, respectively. The space V is known as the translationspace of E .

Axiom (ii) is the parallelogram law for addition of vectors. Axiom (iii) saysthat given an origin o there is a one-to-one correspondence between positionvectors and points. Therefore, we may say that the dimension of the pointspace equals that of the corresponding vector space. The distance betweenpoints x and y is the magnitude of the corresponding vector, i.e. |x − y|.Furthermore, Axiom (iii) indicates that points and vectors may be added togive a point, i.e. we may write x = u + y. Note, however, that the addition oftwo points is not a meaningful concept.

The following results are proved from the axioms:

x − x = o, x − y = −(y − x).

B.2 Euclidean Point Space

Every pair of points (x, y) in E defines a vector v ∈ V, called the vector

andThe point o and the vector r in Axiom (iii) may be called the origin

Euclidean Point Space

C

In the following we will introduce the concept of a tensor, and present thoseresults from algebra and analysis that are used in this book. The aim is to makethe presentation reasonably self-contained, but readers are recommended toconsult a more complete mathematical textbook if they are encountering thesenotions for the first time. Note, however, that the mathematics presentedhere is mostly needed for the derivation and analysis of the three-dimensionalmodel. The presentations of the discrete and the one-dimensional models canbe followed by using elementary mathematics of geometric vectors.

C.1 Algebra

In this text a tensor will be a linear mapping from a three-dimensional Euclid-ean vector space to the same space, i.e., a mapping that linearly assigns avector v to any vector u.

That a mapping f is linear means that

f(α1u1 + α2u2) = α1f(u1) + α2f(u2) (C.1)

for all vectors u1 and u2, and all real numbers α1 and α2.We frequently write the action of a tensor T on a vector u without the

bracket notation that is used for general functions, i.e., T assigns to eachvector u a vector

v = Tu. (C.2)

Note that since vectors are geometric objects that are independent of anyparticular coordinate system or base, it is clear from (C.2) that tensors alsohave this property. This is the reason why it is logical to represent tensors bybold face notation. However, given an orthonormal base e1, e2, e3, tensorcomponents can be derived and used to represent tensors. To show this, westart by representing the two vectors u and v in (C.2) in components:

Tensors and Some Mathematical Background

187

188 C

v = v1e1 + v2e2 + v3e3, u = u1e1 + u2e2 + u3e3,

and we find from (C.2) that

v1e1 + v2e2 + v3e3 = T (u1e1 + u2e2 + u3e3).

By using (B.2) and the linearity of T we find

vi =3∑

j=1

(ei · Tej)uj , i = 1, 2, 3.

Thus, by introducing

TijTT = ei · Tej , i, j = 1, 2, 3, (C.3)

we may write

vi =

3∑j=1

TijTT uj, i = 1, 2, 3,

which in matrix form reads⎡⎣ v1

v2

v3

⎤⎦ =

⎡⎣T11TT T12TT T13TT

T21TT T22TT T23TTT31TT T32TT T33TT

⎤⎦⎡⎣u1

u2

u3

⎤⎦. (C.4)

(C.2)is a representation of T and write

T ∼⎡⎣⎡⎡

T11TT T12TT T13TTT21TT T22TT T23TTT31TT T32TT T33TT

⎤⎦⎤⎤.

A similar notation for vectors would be

u ∼⎡⎣⎡⎡

u1

u2

u3

⎤⎦⎤⎤.

representations depend on the basis while the left hand sides of these relationsdo not.

Since an orthonormal base is related to a cartesian coordinate system, thecomponents TijTT and ui are frequently called cartesian components.

There are many definitions of tensors in the literature. The definition usedhere actually defines what is sometimes called a second-order tensor. In thisterminology a vector would be a first-order tensor. A very common definitionis based on satisfaction of rules for how tensor components transform under

Tensors and Some Mathematical Background

Equation (C.3) defines the components of T , and given this definition,and (C.4) are equivalent equations. We may say that the matrix in (C.4)

Obviously, it is not strictly correct to use = instead of ∼ here, since matrix

C.1 Algebra 189

change of coordinate system. If these rules are satisfied, equations based ontensor components become form invariant to coordinate change. The presentdefinition is automatically insensitive to coordinate change since vectors arecoordinate independent.

A member of a special class of tensors is formed from two vectors: thetensor (open or vector) product, u ⊗ v, of the two vectors u and v, is atensor defined by the property that

(u ⊗ v)w = (u · w)v

for any vector w. From (C.3) it follows that the components of the tensorproduct u⊗v are uivj (i, j = 1, 2, 3). It may be shown that any tensor T canbe written as

T =3∑

i=1

3∑j=1

TijTT ei ⊗ ej . (C.5)

i j

aI, defined by the property Iv = v for all vectors v, can be represented as

I =

3∑i=1

ei ⊗ ei. (C.6)

The product ST of two tensors S and T is defined by

(ST )v = S(T v)

for all vectors v. In particular, for tensors a ⊗ b, c ⊗ d and T it holds that

(a ⊗ b)(c ⊗ d) = (b · c)a ⊗ d, (C.7)

T (a ⊗ b) = (Ta) ⊗ b. (C.8)

The trace of a tensor is denoted tr T and is a linear operator on tensorswith the property

tr (u ⊗ v) = u · vfor all vectors u and v. By (C.5) and the linearity of tr we find

tr T =

3∑i=1

TiiTT .

orthonormal base.The transpose of a tensor T is denoted T T and is defined by

Tu · v = u · T T v (C.9)

space of tensors. As a particular case of (C.5) we have that the identity tensor(i, j = 1, 2, 3) may be seen as a basis for

That is, the trace of a tensor is the sum of its diagonal components in an

This equation indicates that e ⊗e

190 C

for all vectors u and v. In terms of components we may write

T T =3∑

i=1

3∑j=1

TjiTT ei ⊗ ej ,

and for the tensor product and arbitrary tensors S and T it holds that

(u ⊗ v)T = v ⊗ u, (C.10)

(ST )T = T T ST . (C.11)

By using (C.8), (C.10) and (C.11) we find

(u ⊗ c)T = u ⊗ (T T v). (C.12)

A tensor Q is orthogonal if

QQT = QT Q = I. (C.13)

Thus, for an orthogonal tensor we get the inverse by forming the transpose.The determinant of a tensor is the determinant of any of its matrix

representations, see Section 3.4. From (C.13) and standard properties of the1.

The orthogonal tensors that have a determinant valued 1 are called properorthogonal tensors. In Section 12.3 it was shown that proper orthogonaltensors represent rotations in the physical space.

C.2 Analysis

In this section we consider fields over the Euclidean point space E . By a fieldwe mean a mapping from (a subset of) E to a set of either scalars, points,vectors or tensors. Mechanics and thermomechanics contains many examplesof such fields:

(i) The temperature inside a solid or fluid body (which represents a subsetof E) varies from point to point and is a scalar field.

(ii) t

a region B ⊂ E into E and is thus a point field.(iii) The velocity of a fluid or solid contained in a region of E is a typical

vector field.(iv) Prime examples of tensor fields are stresses and strains inside a three-

dimensional body.

We are generally interested in how fields vary over E . To measure this, theconcept of a gradient is introduced. We are interested in gradients of scalar,point and vector fields. Let ϕ be a scalar field. The gradient of ϕ at x ∈ E isa vector field ∇ϕ(x) which satisfies

Tensors and Some Mathematical Background

−determinant it follows that an orthogonal tensor has the determinant 1 or

The placement map φ for a three-dimensional body (see Chapter 3) maps

C.2 Analysis 191

ϕ(x + u) = ϕ(x) + ∇ϕ(x) · u + o(u),

where o(u) is “small o of u” and is any function which approaches zero fasterthan its argument. The cartesian component representation of the gradient ofa scalar field is

∇ϕ(x) ∼

⎡⎢⎡⎡⎢⎢⎢⎢⎢⎢⎢⎢⎢⎣⎢⎢

∂ϕ

∂x1

∂ϕ

∂x2

∂ϕ

∂x3

⎤⎥⎤⎤⎥⎥⎥⎥⎥⎥⎥⎥⎥⎦⎥⎥.

Next, let v be a vector field. The gradient of v at x ∈ E is a tensor field∇v(x) which satisfies

v(x + u) = v(x) + ∇v(x)u + o(u).

∇u(x) ∼

⎡⎢⎡⎡⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎣⎢⎢

∂u1

∂x1

∂u1

∂x2

∂u1

∂x3

∂u2

∂x1

∂u2

∂x2

∂u2

∂x3

∂u3

∂x1

∂u3

∂x2

∂u3

∂x3

⎤⎥⎤⎤⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎦⎥⎥.

example is the deformation gradient F , see Chapter 3.Having defined the gradient of a vector field v, we can define the diver-

gence of the same field. It is denoted div v, and is a scalar field definedby

div v = tr ∇v.

In cartesian components div v has a simple representation:

div v =∂v1

∂x1+

∂v2

∂x2+

∂v3

∂x3.

We can also define the divergence of a tensor field T : divT is a vector fielddefined by

(div T ) · v = div(T T v)

for every constant vector v. In cartesian components it holds that

div T ∼

⎡⎢⎡⎡⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎣⎢⎢

∂T11TT

∂x1+

∂T12TT

∂x2+

∂T13TT

∂x3

∂T21TT

∂x1+

∂T22TT

∂x2+

∂T23TT

∂x3

∂T31TT

∂x1+

∂T32TT

∂x2+

∂T33TT

∂x3

⎤⎥⎤⎤⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎦⎥⎥.

The cartesian component representation of the gradient of a vector field is

The gradient of a point field is defined as that of a vector field. A prime

192 C

The curl of a vector field v is denoted by curlv, and is a vector field withthe property (∇v − (∇v)T

)a = (curl v) × a (C.14)

for every vector a. In cartesian components it holds that

curl v ∼

⎡⎢⎡⎡⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎣

∂a3

∂x2− ∂a2

∂x3

∂a1

∂x3− ∂a3

∂x1

∂a2

∂x1− ∂a1

∂x2

⎤⎥⎤⎤⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎦.

We also have the following useful expression for curl v in the orthonormalbasis e1, e2, e3:

curl v =3∑

i=1

3∑j=1

3∑k=1

εijkei

∂vk

∂xj

. (C.15)

In the development of three-dimensional continuum models we sometimesneed to take gradients, divergences and curls of products of scalar and vectorfields. Therefore, we state some of the rules for such operations. Let ϕ be ascalar valued field and let u and v be two vector valued fields. Then

div (ϕv) = ϕ div v + v · ∇ϕ, (C.16)

∇(v · u) = (∇v)T u + (∇u)T v, (C.17)

curl (ϕv) = ϕ curl v + ∇ϕ × v. (C.18)

We will also need thatdiv (∇v)T = ∇div v, (C.19)

and that for any constant tensor A,

∇(Av) = A∇v. (C.20)

The formulas (C.17) through (C.20) are easily established by writing themin equivalent cartesian component forms. For instance, in such components(C.17) reads

3∑i=1

∂(viui)

∂xj

=

3∑i=1

∂vi

∂xj

ui +

3∑i=1

∂ui

∂xj

vi, j = 1, 2, 3,

which is obviously true from the elementary product rule for differentiation.

Tensors and Some Mathematical Background

C.2 Analysis 193

C.2.1 Divergence theorems

The physical meaning of the divergence operation is best understood fromintegral theorems (divergence theorems). Such theorems are given with refer-ence to a region R ⊂ E with boundary ∂R. This region has to satisfy someregularity properties which are too technical to be stated here. There are dif-ferent divergence theorems depending on whether we are considering scalar,vector or tensor fields and whether we are, e.g., considering scalar or vectorproducts. We give four different versions in the following theorem.

Theorem 1 Let ϕ, v and T be smooth scalar, vector and tensor fields on R,

respectively. Then ∫∂

∫∫R

ϕn dA =

∫R

∫∫∇ϕ dV, (C.21)

∫∂

∫∫R

v · n dA =

∫R

∫∫div v dV, (C.22)

∫∂

∫∫R

n × v dA =

∫R

∫∫curl v dV, (C.23)

∫∂

∫∫R

Tn dA =

∫R

∫∫div T dV, (C.24)

where n is the outward unit normal vector of ∂R.

For the physical interpretation of (C.22) we may think of v as a velocityfield. The scalar v ·ndA is then the rate of volume of material entering R at aparticular surface point, and the right hand side of (C.22) is the total rate ofchange of volume. Thus, the equality in (C.22) means that div v is a measureof this volume change, and since the region R can be made arbitrarily small,it is a local such measure. This fact can be appreciated by writing (C.22) (ina somewhat lose mathematical style) as∫

v · n dA = div v dV,

for an infinitesimal volume element dV . A more precise indication of thesefacts are given in relation to the issue of isochoric (volume preserving) motionsin Chapter 7.

The divergence theorem (C.24) can be given a similar physical interpre-tation. As is clear in Chapter 7, if T is taken as the stress tensor, then Tn

represents the force per area on the surface element with unit outward normaln. By writing (C.24) for an infinitesimal element dV as∫

Tn dA = div T dV,

one concludes that divT is a local measure of the surface force on the element.

194 C

C.2.2 Localization theorems

The universal principles of mechanics are global principles relating to a con-glomerate of material points. However, complete models that we solve, ana-lytically or numerically, are mostly of local character relating to each point.In the discrete model of mechanics, this transfer from global to local is triv-ial, but for continuum models more subtle mathematics is needed. Here wepresent two mathematical theorems that have the required function. The firstis useful for the one-dimensional model while the second relates to the three-dimensional one.

Theorem 2 Let f(x) be a continuous function on an interval [c, d] of the real

line. If ∫ b

a

∫∫f(x) dx = 0

for all a and b such that c ≤ a < b ≤ d, then, for all x in the interval [c, d],then

f(x) = 0.

Theorem 3 Let f(x) be a continuous function on a subset R of E. If∫Ω

∫∫f(x) dV = 0

for every Ω ⊂ R, then

f(x) = 0.

The term continuous function should here be understood as a scalar, vectoror tensor field.

C.2.3 Fundamental theorems of variational calculus

This text does not in general concern variational formulations of the problemsencountered. Such formulations are seen as steps in the numerical modelingthat naturally comes after the initial formulation of a complete problem andwhich we do not treat. However, an exception is Chapter 9 on small dis-placement theories, where work principles, of variational nature, are used anddiscussed. To derive consequences of work principles one generally needs thenotion of separating duality which is classically related to the so-called funda-mental theorem of variational calculus. Below we give two special versions ofthis theorem: the first one is useful for one-dimensional models and the secondfor three-dimensional ones.

Theorem 4 Let f(x) be a continuous function on an interval [a, b] of the real

line. If ∫ b

a

∫∫f(x)g(x) dx = 0

Tensors and Some Mathematical Background

C.2 Analysis 195

for all continuous functions g(x), then,

f(x) = 0.

Theorem 5 Let S(x) be a continuous field of symmetric tensors on a subset

R of E. If ∫R

∫∫S(x) : T (x) dV = 0

for all continuous fields of symmetric tensors T (x), then

S(x) = 0.

Exercises

that

S : T = S :1

2(T + T T ).

definition of curl, i.e., (C.14), and (C.17). Identity (11.11) follows directly from(C.19).

C.1. Let S and T be tensors, where S is symmetric and T is arbitrary. Show

C.2. Prove the identities (C.16) through (C.20).

C.3. Prove the identities (11.9) and (11.11). Identity (11.9) follows from the

D

In Appendix B we defined the vector space V as a vector space over the real

numbers. This means that distances in E are real numbers, which may seemsomewhat in contrast to the convention that distance, as an experimentallymeasured quantity, has a physical dimension ([length]) and is not purely anumerical value (real number). However, if one regards the unit of lengthas fixed, it is clearly sufficient to give the numerical value of a distance tocharacterize it, and this is a motivation for the choice of structure of AppendixB.

Similar arguments hold for other concepts such as force, velocity, acceler-ation and mass: it is assumed that units of length, time, mass and force arefixed, allowing velocity, acceleration and force to be considered as belongingto the same oriented three-dimensional Euclidean vector space, denoted by Vin this text. This is also the reason that vector and scalar products betweenvelocity vectors and force vectors are valid operations.

Note also in this context that units of length, time, mass and force mustbe connected so as to make Euler’s laws dimensionally correct, i.e.,

[force] = [mass][acceleration] = [mass][length][time]−2,

where the square brackets indicate physical dimension.

Note on Physical Dimensions

197

E

Notation

General conventions are that

• vectors and tensors are shown in bold face italic letters – examples: v, T ;• points and scalars are shown in light face letters – examples: x, y;• vector spaces, point spaces, bodies and parts of bodies are shown in script

letters – examples: E , B, P , V .

A material accelerationa spatial accelerationα pipe cross section areaB bodyBt subset of E occupied by body at time tb force per unit volumeC subset of E representing a pipec torquec speed of soundcurl curlD rate of deformationdet determinantdiv divergencedVXVV material integration elementdVxVV spatial integration elementE physical space or space of generalized strainsE strain tensor or unit vectorE Young’s moduluse unit vectorε strain componentsF deformation gradient

Meaning of Main Symbols

199

200 E Notation

f forceφt placementϕ rotation of beam cross-sectionh angular momentumJ inertia tensorκ curvature and compression modulusL velocity gradientM massmX mass of discrete material point Xm couplen normal vectoro originω angular velocityΩ body angular velocityP part of bodyp linear momentump pressureψ naturally parametrized curveQ orthogonal tensorq force per unit lengthR the real lineR control domainr position vectorρ mass per unit length or volume (density)s traction vectors natural coordinateσ stress componentT stress tensort timetr traceu displacement vectorU force potentialV material velocityv spatial velocityV material speedv spatial speedVol volumeX material point belonging to Bx spatial point belonging to Exc center of mass∇ gradient⊗ tensor product× vector product· scalar product

φ material time derivative of φφ′ spatial time derivative of φ

References

1. Antman, S.S. (1995) Nonlinear Problems of Elasticity, Springer, New York.2. M.P. and Sigmund, O. (2003) Topology Optimization: Theory,

Methods and Applications, Springer, Berlin.3. Bowen, R.M. and Wang, C.-C. (1976) Introduction to Vectors and Tensors,

Volume 1: Linear and Multilinear Algebra, Plenum Press, New York.4. Bowen, R.M. and Wang, C.-C. (1976) Introduction to Vectors and Tensors,

Volume 2: Vector and Tensor Analysis, Plenum Press, New York.5. Gurtin, M.E. (1981) An Introduction to Continuum Mechanics, Academic

Press, Orlando.6. Chadwick, P. (1976) Continuum Mechanics. Concise Theory and Problems,

George Allen & Unwin Ltd, London.7. Curnier, A. (2004) Mecanique des solides d´M´M eformables´ , Presses polytechniques

et universitaires romandes, Lausanne.8. Fefferman, C.L. (2000) Existence and smoothness of Navier-Stokes equation,

http://www.claymath.org/millennium/.9. Fox, E.A. (1967) Mechanics, Harper & Row, New York.

10. Hestenes, D. (1992) Modeling games in the newtonian world,Am. J. Phys. 60(8), pp. 732–748.

11. Jose, J.V.´ and Saletan, E.J. (1998) Classical Dynamics, Canbridge Univer-sity Press.

12. Lembo, M. and Podio-Guidugli, P. (2001) Internal constraints, reactivestresses, and the Timoshenko beam theory, of Elasticity pp.131–148.

13. Ljung, L. and Glad, T. (1994) Modeling of Dynamic Systems, Prentice Hall,Engelwood Cliffs, NJ.

14. Podio-Guidugli, P. (2000) A Primer in Elasticity, Kluwer Academic,Dortrecht. Also in (2000) Journal of Elasticity 58, pp. 1–104.

15. Pironneau, O. (1989) Finite Element Methods for Fluids, John Wiley & Sons,Chichester.

16. Tonti, E. (1972) A mathematical model for physical theories, Atti della Acad-

emia nazionale dei Lincei. Classe di scienze fisiche, mat. e nat. Ser. 8. 52,pp. 175–181.

17. Truesdell, C. (1991) A First Course in Rational Continuum Mechanics, Aca-demic Press, Boston.

Bendsœ,

Journal 65,

201

202 References

18. Truesdell, C. and Noll, W. (1965) The Non-Linear Field Theories of Me-

chanics, Springer, Berlin.19. Truesdell, C. and Toupin, R.A. (1960) The Classical Field Theories. Han-

buch der Physik (ed. S. Flugge), Springer, Berlin. Vol. III/1, pp. 226–858.¨20. Uhlhorn, U. (1988) Teknisk mekanik 1F, Lunds Tekniska Hogskola. (in¨

Swedish)

Index

acceleration, 23in pipe flow, 64

action and reaction, 37, 85angular momentum, 15, 32, 46, 52, 81Archimedes’ principle, 143–146

bending of a beam, 111bending stiffness, 112Bernoulli’s equation, 75Bernoulli’s theorem, 139–140body, 15, 21–23, 27

part of, 15, 22, 23, 27body angular momentum, 169body angular velocity, 169body fixed frame, 166body inertia tensor, 169boundary conditions

Dirichlet, 113essential, 113natural, 113Neumann, 113

bulk modulus, 122

cantilever beam, 115catenary cable, 61Cauch’s inequality, 181complete mathematical model, see

mathematical model, completecompression modulus, 122conservation of mass, see universal laws,

conservation of massconstitutive laws, see particular laws,

constitutive lawscontinuity equation, 68, 80

continuum model, 21control domain, 68, 137Cosserat theory, 94couples, 47

in pipe bend, 66on beam, 109

cross section area, 69curl, 192curvature, 53

circle, 53radius, 53

curve, 24, 49cut principle, 15, 35, 46, 81

deformation gradient, 28derivative of, 78

densityof the atmosphere, 146one-dimensional, 70three-dimensional, 80

determinant, 28dilatation, 123directors, 29, 94, 111divergence, 191divergence theorems, 193

elasticity, 94elasticity coefficients, 102, 120–123ellipsoid of inertia, 173elongation stiffness, 112equations of motion

in terms of pressure, 71one-dimensional, 48–55

203

elastic fluid, 96, 130, 138

204 Index

three-dimensional, 84equilibrium equation, 100, 117, 155Euclidean point space, 185

dimension, 185translation space, 185

Euclidean vector space, 180–185axioms, 180–181base, 180

orthonormal, 181right- and left-handed, 184

cross product, 182dimension, 180oriented, 184

Euler’s equation of inviscid fluid, 138Euler’s laws, see universal laws, Euler’s

lawsEuler-Bernoulli’s displacement field,

158–161

fields, 190flexible cable, 57flexible tube, 134force laws, see particular laws, force

lawsforces

central, 40central axis, 41conservative, 74, 139, 143cut, 47external, 33, 46in pipe bend, 66internal, 33reaction, 151resultant, 15, 33, 47, 52, 84system of, 33–35, 46–47, 81–84

function, 176linear, 187

geometric vector, see vectorgradient, 190gravitation, 93, 98

Hagen-Poiseuille’s equation, 147homogeneous motion, 74, 128

ideal fluid, 96implicitly defined concept, 6incompressible material, 74, 96, 127,

139, 151–153

inertia tensor, 169inertial space, 16inextensibility, 152inextensible cable, 58inviscid fluid, 129, 138–140irrotational flow, 140isochoric motion, 70, 79, 127isotropic material, 92, 118

Kepler’s problem, 39kinematic admissibility, 105kinematic constraints, see particular

laws, kinematic constraintskinetic energy, 171Kronecker’s delta, 181

laminar flow, 141linear momentum, 15, 32, 46, 52, 81local action, 92, 94, 95localization theorems, 194

mass, 31, 45, 80center of, 32distribution, 51flux, 69referential distribution, 45

material point, 21material representation, 64–66, 77–79material time derivative, 65, 78mathematical model, 3

beam, 109–117, 153–163complete, 4

bar problem, 113compressible pipe , 130elastic inviscidEuler-Bernoulli beam problem, 114force problem of particle mechanics,

39incompressible inviscid fluid ,

139incompressible pipe , 128incompressible pipe in flexible

pipe, 134inextensible cable problem, 58linear elasticity, 119Navier-Stokes , 141one-dimensional force problem, 55rigid body motion, 170shear beam problem, 115

fluid flow, 138

fl

Index 205

Timoshenko beam problem, 113truss problem, 105

dimensionless form, 135, 142discrete, 21, 31–43, 99, 150–151existence of solutions, 5fluid mechanics, 137–147hyperbolic, 131idealization, 7interpretation, 7linear elasticity, 97, 117–124, 151–152one-dimensional, 23, 45–61pipe flow, 25, 63–76, 95, 127–136referent, 7refined geometry, 29, 111refinement, 8rigid body, 93, 152, 163–173small displacements, 99–125three-dimensional, 27, 77–86truss, 103–105two-dimensional, 25uniquness of solutions, 5, 93validation, 8well-posed, 5

Moens-Korteweg’s equation, 135motion, 22

natural base, 53–55natural parameterization, 49–52Navier’s equation, 125Navier-Stokes’ equation, 140

plane steady laminar flow, 141Newton’s law, 38Newtonian , 97, 129

observer invariance, 91open scheme, 9, 11–17origin, 13, 185orthogonal tensor, 91, 164, 190

proper, 190

particular laws, 9, 17, 89–98constitutive equations, 90constitutive laws, 9, 17force laws, 9, 17, 90general principles, 90–93

coordinate invariance, 91dimensional invariance, 91observer invariance, 91

kinematic constraints, 9, 17, 89,149–174

simple, 39, 55

physical space, 11pipe, 25placement, 22

plane deformation, 157plane flow, 141Poisson’s ratio, 120position vector, 13, 185pressure, 71, 128

of the atmosphere, 146principle axes, 170principle moments of inertia, 170principle of virtual displacements, 106

principle of virtual forces, 106

quasi-equilibrium, 42

rate of deformation tensor, 97reference configuration, 27referent, see mathematical model,

referentReynolds number, 143

rotation, 166

separating duality, 107set, 175shallow water flow, 76, 136shape preserving material, 152shear coefficient, 112

shear modulus, 121shearing of a beam, 111simple material, 92space fixed frame, 166

spatial representation, 64–66, 77–79speed, 64

of sound, 130, 135spin equation of motion, 42stability, 92, 124static admissibility, 106

statically determinate, 57, 124steady state, 75, 140, 141stiffness matrix, 103, 105strain

generalized, 102, 107, 110tensor, 117

permutation symbol, 183

f

206 Index

generalized, 102, 107mean, 85normal, 82shear, 82tensor, 83

subset, 176suspension bridge, 58

tangent vector, 24, 50tensor, 13, 187

components, 14, 188deviatoric part, 122trace, 189transpose, 189

tensor product, 189Timoshenko’s displacement field,

161–163torque

body, 170change of base point, 35resultant, 15, 33, 47, 52, 84

traction vector, 81translation, 166transmission line equations, 133transversely isotropic material, 159

uniqueness theorem, 124universal laws, 8, 14–17

conservation of mass, 8, 15, 31, 45Euler’s laws, 8, 15, 36, 47, 84

angular momentum law, 15, 36, 47,84

change of base point, 36

linear momentum law, 15, 36, 47, 84

variational calculus, 194vector, 12, 179

angle, 181angular velocity, 166components, 181displacement, 100linearly dependent, 180linearly independent, 180magnitude, 181orthogonal, 181scalar components, 13triple scalar product, 182

velocity, 23in pipe flow, 63

velocity gradient, 78viscous fluid, 140–143, 152–153volume

of a pipe, 69of body part, 79

vorticity equation, 153

wave equation, 131wave propagation, 129–135work

conjugate, 107external, 106, 110, 117internal, 106, 110, 117virtual, 107

work equations, 105–109workless constraints, 151

Young’s modulus, 120

stress control domain versions, 76

MechanicsSOLID MECHANICS AND ITS APPLICATIONS

Series Editor: G.M.L. Gladwell

Aims and Scope of the Series

The fundamental questions arising in mechanics are: Why?, How?, and How much? The aim ofthis series is to provide lucid accounts written by authoritative researchers giving vision and insightin answering these questions on the subject of mechanics as it relates to solids. The scope of theseries covers the entire spectrum of solid mechanics. Thus it includes the foundation of mechanics;variational formulations; computational mechanics; statics, kinematics and dynamics of rigid andelastic bodies; vibrations of solids and structures; dynamical systems and chaos; the theories ofelasticity, plasticity and viscoelasticity; composite materials; rods, beams, shells and membranes;structural control and stability; soils, rocks and geomechanics; fracture; tribology; experimentalmechanics; biomechanics and machine design.

1. R.T. Haftka, Z. Gurdal and M.P. Kamat:¨ Elements of Structural Optimization. 2nd rev.ed., 1990ISBN 0-7923-0608-2

2. J.J. Kalker: Three-Dimensional Elastic Bodies in Rolling Contact. 1990 ISBN 0-7923-0712-73. P. Karasudhi: Foundations of Solid Mechanics. 1991 ISBN 0-7923-0772-04. Not published5. Not published.6. J.F. Doyle: Static and Dynamic Analysis of Structures. With an Emphasis on Mechanics and

Computer Matrix Methods. 1991 ISBN 0-7923-1124-8; Pb 0-7923-1208-27. O.O. Ochoa and J.N. Reddy: Finite Element Analysis of Composite Laminates.

ISBN 0-7923-1125-68. M.H. Aliabadi and D.P. Rooke: Numerical Fracture Mechanics. ISBN 0-7923-1175-29. J. Angeles and C.S. Lopez-Caj´ un: Optimization of Cam Mechanisms. 1991

ISBN 0-7923-1355-010. D.E. Grierson, A. Franchi and P. Riva (eds.): Progress in Structural Engineering. 1991

ISBN 0-7923-1396-811. R.T. Haftka and Z. Gurdal:¨ Elements of Structural Optimization. 3rd rev. and exp. ed. 1992

ISBN 0-7923-1504-9; Pb 0-7923-1505-712. J.R. Barber: Elasticity. 1992 ISBN 0-7923-1609-6; Pb 0-7923-1610-X13. H.S. Tzou and G.L. Anderson (eds.): Intelligent Structural Systems. 1992

ISBN 0-7923-1920-614. E.E. Gdoutos: Fracture Mechanics. An Introduction. 1993 ISBN 0-7923-1932-X15. J.P. Ward: Solid Mechanics. An Introduction. 1992 ISBN 0-7923-1949-416. M. Farshad: Design and Analysis of Shell Structures. 1992 ISBN 0-7923-1950-817. H.S. Tzou and T. Fukuda (eds.): Precision Sensors, Actuators and Systems. 1992

ISBN 0-7923-2015-818. J.R. Vinson: The Behavior of Shells Composed of Isotropic and Composite Materials. 1993

ISBN 0-7923-2113-819. H.S. Tzou: Piezoelectric Shells. Distributed Sensing and Control of Continua. 1993

ISBN 0-7923-2186-320. W. Schiehlen (ed.): Advanced Multibody System Dynamics. Simulation and Software Tools.

1993 ISBN 0-7923-2192-821. C.-W. Lee: Vibration Analysis of Rotors. 1993 ISBN 0-7923-2300-922. D.R. Smith: An Introduction to Continuum Mechanics. 1993 ISBN 0-7923-2454-423. G.M.L. Gladwell: Inverse Problems in Scattering. An Introduction. 1993 ISBN 0-7923-2478-1

MechanicsSOLID MECHANICS AND ITS APPLICATIONS

Series Editor: G.M.L. Gladwell

24. G. Prathap: The Finite Element Method in Structural Mechanics. 1993 ISBN 0-7923-2492-725. J. Herskovits (ed.): Advances in Structural Optimization. 1995 ISBN 0-7923-2510-926. M.A. Gonzalez-Palacios and J. Angeles:´ Cam Synthesis. 1993 ISBN 0-7923-2536-227. W.S. Hall: The Boundary Element Method. 1993 ISBN 0-7923-2580-X28. J. Angeles, G. Hommel and P. Kovacs (eds.):´ Computational Kinematics. 1993

ISBN 0-7923-2585-029. A. Curnier: Computational Methods in Solid Mechanics. 1994 ISBN 0-7923-2761-630. D.A. Hills and D. Nowell: Mechanics of Fretting Fatigue. 1994 ISBN 0-7923-2866-331. B. Tabarrok and F.P.J. Rimrott: Variational Methods and Complementary Formulations in

Dynamics. 1994 ISBN 0-7923-2923-632. E.H. Dowell (ed.), E.F. Crawley, H.C. Curtiss Jr., D.A. Peters, R. H. Scanlan and F. Sisto: A

Modern Course in Aeroelasticity. Third Revised and Enlarged Edition. 1995ISBN 0-7923-2788-8; Pb: 0-7923-2789-6

33. A. Preumont: Random Vibration and Spectral Analysis. 1994 ISBN 0-7923-3036-634. J.N. Reddy (ed.): Mechanics of Composite Materials. Selected works of Nicholas J. Pagano.

1994 ISBN 0-7923-3041-235. A.P.S. Selvadurai (ed.): Mechanics of Poroelastic Media. 1996 ISBN 0-7923-3329-236. Z. Mroz, D. Weichert, S. Dorosz (eds.):´ Inelastic Behaviour of Structures under Variable

Loads. 1995 ISBN 0-7923-3397-737. R. Pyrz (ed.): IUTAM Symposium on Microstructure-Property Interactions in Composite Mate-

rials. Proceedings of the IUTAM Symposium held in Aalborg, Denmark. 1995ISBN 0-7923-3427-2

38. M.I. Friswell and J.E. Mottershead: Finite Element Model Updating in Structural Dynamics.1995 ISBN 0-7923-3431-0

39. D.F. Parker and A.H. England (eds.): IUTAM Symposium on Anisotropy, Inhomogeneity andNonlinearity in Solid Mechanics. Proceedings of the IUTAM Symposium held in Nottingham,U.K. 1995 ISBN 0-7923-3594-5

40. J.-P. Merlet and B. Ravani (eds.): Computational Kinematics ’95. 1995 ISBN 0-7923-3673-941. L.P. Lebedev, I.I. Vorovich and G.M.L. Gladwell: Functional Analysis. Applications in Mechan-

ics and Inverse Problems. 1996 ISBN 0-7923-3849-942. J. Mencik:ˇ Mechanics of Components with Treated or Coated Surfaces. 1996

ISBN 0-7923-3700-X43. D. Bestle and W. Schiehlen (eds.): IUTAM Symposium on Optimization of Mechanical Systems.

Proceedings of the IUTAM Symposium held in Stuttgart, Germany. 1996ISBN 0-7923-3830-8

44. D.A. Hills, P.A. Kelly, D.N. Dai and A.M. Korsunsky: Solution of Crack Problems. TheDistributed Dislocation Technique. 1996 ISBN 0-7923-3848-0

45. V.A. Squire, R.J. Hosking, A.D. Kerr and P.J. Langhorne: Moving Loads on Ice Plates. 1996ISBN 0-7923-3953-3

46. A. Pineau and A. Zaoui (eds.): IUTAM Symposium on Micromechanics of Plasticity andDamage of Multiphase Materials. Proceedings of the IUTAM Symposium held in Sevres,Paris, France. 1996 ISBN 0-7923-4188-0

47. A. Naess and S. Krenk (eds.): IUTAM Symposium on Advances in Nonlinear StochasticMechanics. Proceedings of the IUTAM Symposium held in Trondheim, Norway. 1996

ISBN 0-7923-4193-748. D. Iesan and A. Scalia:¸ Thermoelastic Deformations. 1996 ISBN 0-7923-4230-5

MechanicsSOLID MECHANICS AND ITS APPLICATIONS

Series Editor: G.M.L. Gladwell

49. J.R. Willis (ed.): IUTAM Symposium on Nonlinear Analysis of Fracture. Proceedings of theIUTAM Symposium held in Cambridge, U.K. 1997 ISBN 0-7923-4378-6

50. A. Preumont: Vibration Control of Active Structures. An Introduction. 1997ISBN 0-7923-4392-1

51. G.P. Cherepanov: Methods of Fracture Mechanics: Solid Matter Physics. 1997ISBN 0-7923-4408-1

52. D.H. van Campen (ed.): IUTAM Symposium on Interaction between Dynamics and Control inAdvanced Mechanical Systems. Proceedings of the IUTAM Symposium held in Eindhoven,The Netherlands. 1997 ISBN 0-7923-4429-4

53. N.A. Fleck and A.C.F. Cocks (eds.): IUTAM Symposium on Mechanics of Granular and PorousMaterials. Proceedings of the IUTAM Symposium held in Cambridge, U.K. 1997

ISBN 0-7923-4553-354. J. Roorda and N.K. Srivastava (eds.): Trends in Structural Mechanics. Theory, Practice, Edu-

cation. 1997 ISBN 0-7923-4603-355. Yu.A. Mitropolskii and N. Van Dao: Applied Asymptotic Methods in Nonlinear Oscillations.

1997 ISBN 0-7923-4605-X56. C. Guedes Soares (ed.): Probabilistic Methods for Structural Design. 1997

ISBN 0-7923-4670-X57. D. Francois, A. Pineau and A. Zaoui:¸ Mechanical Behaviour of Materials. Volume I: Elasticity

and Plasticity. 1998 ISBN 0-7923-4894-X58. D. Francois, A. Pineau and A. Zaoui:¸ Mechanical Behaviour of Materials. Volume II: Vis-

coplasticity, Damage, Fracture and Contact Mechanics. 1998 ISBN 0-7923-4895-859. L.T. Tenek and J. Argyris: Finite Element Analysis for Composite Structures. 1998

ISBN 0-7923-4899-060. Y.A. Bahei-El-Din and G.J. Dvorak (eds.): IUTAM Symposium on Transformation Problems

in Composite and Active Materials. Proceedings of the IUTAM Symposium held in Cairo,Egypt. 1998 ISBN 0-7923-5122-3

61. I.G. Goryacheva: Contact Mechanics in Tribology. 1998 ISBN 0-7923-5257-262. O.T. Bruhns and E. Stein (eds.): IUTAM Symposium on Micro- and Macrostructural Aspects

of Thermoplasticity. Proceedings of the IUTAM Symposium held in Bochum, Germany. 1999ISBN 0-7923-5265-3

63. F.C. Moon: IUTAM Symposium on New Applications of Nonlinear and Chaotic Dynamics inMechanics. Proceedings of the IUTAM Symposium held in Ithaca, NY, USA. 1998

ISBN 0-7923-5276-964. R. Wang: IUTAM Symposium on Rheology of Bodies with Defects. Proceedings of the IUTAM

Symposium held in Beijing, China. 1999 ISBN 0-7923-5297-165. Yu.I. Dimitrienko: Thermomechanics of Composites under High Temperatures. 1999

ISBN 0-7923-4899-066. P. Argoul, M. Fremond and Q.S. Nguyen (eds.):´ IUTAM Symposium on Variations of Domains

and Free-Boundary Problems in Solid Mechanics. Proceedings of the IUTAM Symposiumheld in Paris, France. 1999 ISBN 0-7923-5450-8

67. F.J. Fahy and W.G. Price (eds.): IUTAM Symposium on Statistical Energy Analysis. Proceedingsof the IUTAM Symposium held in Southampton, U.K. 1999 ISBN 0-7923-5457-5

68. H.A. Mang and F.G. Rammerstorfer (eds.): IUTAM Symposium on Discretization Methods inStructural Mechanics. Proceedings of the IUTAM Symposium held in Vienna, Austria. 1999

ISBN 0-7923-5591-1

MechanicsSOLID MECHANICS AND ITS APPLICATIONS

Series Editor: G.M.L. Gladwell

69. P. Pedersen and M.P. Bendsøe (eds.): IUTAM Symposium on Synthesis in Bio Solid Mechanics.Proceedings of the IUTAM Symposium held in Copenhagen, Denmark. 1999

ISBN 0-7923-5615-270. S.K. Agrawal and B.C. Fabien: Optimization of Dynamic Systems. 1999

ISBN 0-7923-5681-071. A. Carpinteri: Nonlinear Crack Models for Nonmetallic Materials. 1999

ISBN 0-7923-5750-772. F. Pfeifer (ed.): IUTAM Symposium on Unilateral Multibody Contacts. Proceedings of the

IUTAM Symposium held in Munich, Germany. 1999 ISBN 0-7923-6030-373. E. Lavendelis and M. Zakrzhevsky (eds.): IUTAM/IFToMM Symposium on Synthesis of Non-

linear Dynamical Systems. Proceedings of the IUTAM/IFToMM Symposium held in Riga,Latvia. 2000 ISBN 0-7923-6106-7

74. J.-P. Merlet: Parallel Robots. 2000 ISBN 0-7923-6308-675. J.T. Pindera: Techniques of Tomographic Isodyne Stress Analysis. 2000 ISBN 0-7923-6388-476. G.A. Maugin, R. Drouot and F. Sidoroff (eds.): Continuum Thermomechanics. The Art and

Science of Modelling Material Behaviour. 2000 ISBN 0-7923-6407-477. N. Van Dao and E.J. Kreuzer (eds.): IUTAM Symposium on Recent Developments in Non-linear

Oscillations of Mechanical Systems. 2000 ISBN 0-7923-6470-878. S.D. Akbarov and A.N. Guz: Mechanics of Curved Composites. 2000 ISBN 0-7923-6477-579. M.B. Rubin: Cosserat Theories: Shells, Rods and Points. 2000 ISBN 0-7923-6489-980. S. Pellegrino and S.D. Guest (eds.): IUTAM-IASS Symposium on Deployable Structures: Theory

and Applications. Proceedings of the IUTAM-IASS Symposium held in Cambridge, U.K., 6–9September 1998. 2000 ISBN 0-7923-6516-X

81. A.D. Rosato and D.L. Blackmore (eds.): IUTAM Symposium on Segregation in GranularFlows. Proceedings of the IUTAM Symposium held in Cape May, NJ, U.S.A., June 5–10,1999. 2000 ISBN 0-7923-6547-X

82. A. Lagarde (ed.): IUTAM Symposium on Advanced Optical Methods and Applications in SolidMechanics. Proceedings of the IUTAM Symposium held in Futuroscope, Poitiers, France,August 31–September 4, 1998. 2000 ISBN 0-7923-6604-2

83. D. Weichert and G. Maier (eds.): Inelastic Analysis of Structures under Variable Loads. Theoryand Engineering Applications. 2000 ISBN 0-7923-6645-X

84. T.-J. Chuang and J.W. Rudnicki (eds.): Multiscale Deformation and Fracture in Materials andStructures. The James R. Rice 60th Anniversary Volume. 2001 ISBN 0-7923-6718-9

85. S. Narayanan and R.N. Iyengar (eds.): IUTAM Symposium on Nonlinearity and StochasticStructural Dynamics. Proceedings of the IUTAM Symposium held in Madras, Chennai, India,4–8 January 1999 ISBN 0-7923-6733-2

86. S. Murakami and N. Ohno (eds.): IUTAM Symposium on Creep in Structures. Proceedings ofthe IUTAM Symposium held in Nagoya, Japan, 3-7 April 2000. 2001 ISBN 0-7923-6737-5

87. W. Ehlers (ed.): IUTAM Symposium on Theoretical and Numerical Methods in ContinuumMechanics of Porous Materials. Proceedings of the IUTAM Symposium held at the Universityof Stuttgart, Germany, September 5-10, 1999. 2001 ISBN 0-7923-6766-9

88. D. Durban, D. Givoli and J.G. Simmonds (eds.): Advances in the Mechanis of Plates and ShellsThe Avinoam Libai Anniversary Volume. 2001 ISBN 0-7923-6785-5

89. U. Gabbert and H.-S. Tzou (eds.): IUTAM Symposium on Smart Structures and Structonic Sys-tems. Proceedings of the IUTAM Symposium held in Magdeburg, Germany, 26–29 September2000. 2001 ISBN 0-7923-6968-8

MechanicsSOLID MECHANICS AND ITS APPLICATIONS

Series Editor: G.M.L. Gladwell

90. Y. Ivanov, V. Cheshkov and M. Natova: Polymer Composite Materials – Interface Phenomena& Processes. 2001 ISBN 0-7923-7008-2

91. R.C. McPhedran, L.C. Botten and N.A. Nicorovici (eds.): IUTAM Symposium on Mechanicaland Electromagnetic Waves in Structured Media. Proceedings of the IUTAM Symposium heldin Sydney, NSW, Australia, 18-22 Januari 1999. 2001 ISBN 0-7923-7038-4

92. D.A. Sotiropoulos (ed.): IUTAM Symposium on Mechanical Waves for Composite StructuresCharacterization. Proceedings of the IUTAM Symposium held in Chania, Crete, Greece, June14-17, 2000. 2001 ISBN 0-7923-7164-X

93. V.M. Alexandrov and D.A. Pozharskii: Three-Dimensional Contact Problems. 2001ISBN 0-7923-7165-8

94. J.P. Dempsey and H.H. Shen (eds.): IUTAM Symposium on Scaling Laws in Ice Mechanicsand Ice Dynamics. Proceedings of the IUTAM Symposium held in Fairbanks, Alaska, U.S.A.,13-16 June 2000. 2001 ISBN 1-4020-0171-1

95. U. Kirsch: Design-Oriented Analysis of Structures. A Unified Approach. 2002ISBN 1-4020-0443-5

96. A. Preumont: Vibration Control of Active Structures. An Introduction (2nd Edition). 2002ISBN 1-4020-0496-6

97. B.L. Karihaloo (ed.): IUTAM Symposium on Analytical and Computational Fracture Mechan-ics of Non-Homogeneous Materials. Proceedings of the IUTAM Symposium held in Cardiff,U.K., 18-22 June 2001. 2002 ISBN 1-4020-0510-5

98. S.M. Han and H. Benaroya: Nonlinear and Stochastic Dynamics of Compliant Offshore Struc-tures. 2002 ISBN 1-4020-0573-3

99. A.M. Linkov: Boundary Integral Equations in Elasticity Theory. 2002ISBN 1-4020-0574-1

100. L.P. Lebedev, I.I. Vorovich and G.M.L. Gladwell: Functional Analysis. Applications in Me-chanics and Inverse Problems (2nd Edition). 2002

ISBN 1-4020-0667-5; Pb: 1-4020-0756-6101. Q.P. Sun (ed.): IUTAM Symposium on Mechanics of Martensitic Phase Transformation in

Solids. Proceedings of the IUTAM Symposium held in Hong Kong, China, 11-15 June 2001.2002 ISBN 1-4020-0741-8

102. M.L. Munjal (ed.): IUTAM Symposium on Designing for Quietness. Proceedings of the IUTAMSymposium held in Bangkok, India, 12-14 December 2000. 2002 ISBN 1-4020-0765-5

103. J.A.C. Martins and M.D.P. Monteiro Marques (eds.): Contact Mechanics. Proceedings of the3rd Contact Mechanics International Symposium, Praia da Consolacao, Peniche, Portugal,˜17-21 June 2001. 2002 ISBN 1-4020-0811-2

104. H.R. Drew and S. Pellegrino (eds.): New Approaches to Structural Mechanics, Shells andBiological Structures. 2002 ISBN 1-4020-0862-7

105. J.R. Vinson and R.L. Sierakowski: The Behavior of Structures Composed of Composite Ma-terials. Second Edition. 2002 ISBN 1-4020-0904-6

106. Not yet published.107. J.R. Barber: Elasticity. Second Edition. 2002 ISBN Hb 1-4020-0964-X; Pb 1-4020-0966-6108. C. Miehe (ed.): IUTAM Symposium on Computational Mechanics of Solid Materials at Large

Strains. Proceedings of the IUTAM Symposium held in Stuttgart, Germany, 20-24 August2001. 2003 ISBN 1-4020-1170-9

MechanicsSOLID MECHANICS AND ITS APPLICATIONS

Series Editor: G.M.L. Gladwell

109. P. Stahle and K.G. Sundin (eds.):˚ IUTAM Symposium on Field Analyses for Determinationof Material Parameters – Experimental and Numerical Aspects. Proceedings of the IUTAMSymposium held in Abisko National Park, Kiruna, Sweden, July 31 – August 4, 2000. 2003

ISBN 1-4020-1283-7110. N. Sri Namachchivaya and Y.K. Lin (eds.): IUTAM Symposium on Nonlinear Stochastic

Dynamics. Proceedings of the IUTAM Symposium held in Monticello, IL, USA, 26 – 30August, 2000. 2003 ISBN 1-4020-1471-6

111. H. Sobieckzky (ed.): IUTAM Symposium Transsonicum IV. Proceedings of the IUTAM Sym-VVposium held in Gottingen, Germany, 2–6 September 2002, 2003 ISBN 1-4020-1608-5¨

112. J.-C. Samin and P. Fisette: Symbolic Modeling of Multibody Systems. 2003ISBN 1-4020-1629-8

113. A.B. Movchan (ed.): IUTAM Symposium on Asymptotics, Singularities and Homogenisationin Problems of Mechanics. Proceedings of the IUTAM Symposium held in Liverpool, UnitedKingdom, 8-11 July 2002. 2003 ISBN 1-4020-1780-4

114. S. Ahzi, M. Cherkaoui, M.A. Khaleel, H.M. Zbib, M.A. Zikry and B. LaMatina (eds.): IUTAMSymposium on Multiscale Modeling and Characterization of Elastic-Inelastic Behavior ofEngineering Materials. Proceedings of the IUTAM Symposium held in Marrakech, Morocco,20-25 October 2002. 2004 ISBN 1-4020-1861-4

115. H. Kitagawa and Y. Shibutani (eds.): IUTAM Symposium on Mesoscopic Dynamics of FractureProcess and Materials Strength. Proceedings of the IUTAM Symposium held in Osaka, Japan,6-11 July 2003. Volume in celebration of Professor Kitagawa’s retirement. 2004

ISBN 1-4020-2037-6116. E.H. Dowell, R.L. Clark, D. Cox, H.C. Curtiss, Jr., K.C. Hall, D.A. Peters, R.H. Scanlan, E.

Simiu, F. Sisto and D. Tang: A Modern Course in Aeroelasticity. 4th Edition, 2004ISBN 1-4020-2039-2

117. T. Burczynski and A. Osyczka (eds.):´ IUTAM Symposium on Evolutionary Methods in Mechan-ics. Proceedings of the IUTAM Symposium held in Cracow, Poland, 24-27 September 2002.2004 ISBN 1-4020-2266-2

118. D. Iesan:¸ Thermoelastic Models of Continua. 2004 ISBN 1-4020-2309-X119. G.M.L. Gladwell: Inverse Problems in Vibration. Second Edition. 2004 ISBN 1-4020-2670-6120. J.R. Vinson: Plate and Panel Structures of Isotropic, Composite and Piezoelectric Materials,

Including Sandwich Construction. 2005 ISBN 1-4020-3110-6121. Forthcoming122. G. Rega and F. Vestroni (eds.): IUTAM Symposium on Chaotic Dynamics and Control of

Systems and Processes in Mechanics. Proceedings of the IUTAM Symposium held in Rome,Italy, 8–13 June 2003. 2005 ISBN 1-4020-3267-6

123. E.E. Gdoutos: Fracture Mechanics. An Introduction. 2nd edition. 2005 ISBN 1-4020-3267-6124. M.D. Gilchrist (ed.): IUTAM Symposium on Impact Biomechanics from Fundamental Insights

to Applications. 2005 ISBN 1-4020-3795-3125. J.M. Huyghe, P.A.C. Raats and S. C. Cowin (eds.): IUTAM Symposium on Physicochemical

and Electromechanical Interactions in Porous Media. 2005 ISBN 1-4020-3864-X126.

ISBN 1-4020-4033-4127. W. Yang (ed): IUTAM Symposium on Mechanics and Reliability of Actuating Materials.

Proceedings of the IUTAM Symposium held in Beijing, China, 1–3 September 2004. 2005ISBN 1-4020-4131-6

H. Ding, W. Chen and L. Zhang: Elasticity of Transversely Isotropic Materials. 2005

MechanicsSOLID MECHANICS AND ITS APPLICATIONS

Series Editor: G.M.L. Gladwell

128. J.-P. Merlet: Parallel Robots. 2006 ISBN 1-4020-4132-2129. G.E.A. Meier and K.R. Sreenivasan (eds.): IUTAM Symposium on One Hundred Years of

Boundary Layer Research. Proceedings of the IUTAM Symposium held at DLR-Gottingen,¨Germany, August 12–14, 2004. 2006 ISBN 1-4020-4149-7

130. H. Ulbrich and W. Gunthner (eds.):¨ IUTAM Symposium on Vibration Control of NonlinearMechanisms and Structures. 2006 ISBN 1-4020-4160-8

131. L. Librescu and O. Song: Thin-Walled Composite Beams. Theory and Application. 2006ISBN 1-4020-3457-1

132. G. Ben-Dor, A. Dubinsky and T. Elperin: Applied High-Speed Plate PenetrationDynamics. 2006 ISBN 1-4020-3452-0

133. X. Markenscoff and A. Gupta (eds.): Collected Works of J. D. Eshelby. Mechanics and Defectsand Heterogeneities. 2006 ISBN 1-4020-4416-X

134. R.W. Snidle and H.P. Evans (eds.): IUTAM Symposium on Elastohydrodynamics and Microelas-tohydrodynamics. Proceedings of the IUTAM Symposium held in Cardiff, UK, 1–3 September,2004. 2006 ISBN 1-4020-4532-8

135. T. Sadowski (ed.): IUTAM Symposium on Multiscale Modelling of Damage and FractureProcesses in Composite Materials. Proceedings of the IUTAM Symposium held in KazimierzDolny, Poland, 23–27 May 2005. 2006 ISBN 1-4020-4565-4

136. A. Preumont: Mechatronics. Dynamics of Electromechanical and Piezoelectric Systems. 2006ISBN 1-4020-4695-2

137. M.P. Bendsøe, N. Olhoff and O. Sigmund (eds.): IUTAM Symposium on Topological DesignOptimization of Structures, Machines and Materials. Status and Perspectives. 2006

ISBN 1-4020-4729-0138. A. Klarbring: Models of Mechanics. 2006 ISBN 1-4020-4834-3

springer.com


Recommended