1 the index notation before we start with the main topic of this booklet, tensors, we will ?Rst introduce a new notation for vectors and matrices, and their algebraic manipulations: the index. Surface integrals, the divergence theorem and stokes theorem 34 xv. True or covariant derivatives of tensor felds give tensor ?Elds. In this paper, we analyze the existing rules for constructing derivatives of the scalar and tensor functions of the tensor argument with respect. Introducing a new tensor product of second-order tensors, another tensor differentiation rules as well as some useful tensor algebra. Differentiation of scalar and tensor functions of tensor argument. Equations of tensor calculus, differential geometry and continuum. 2 Order of the indices from left to right, and the rule for the transpose. Hessian vector products, and higher order derivative tensors as well as tensor. Astronomy, university college london, gower street, london, wc1e 6bt. Tensors were introduced by professor gregorio ricci of university of padua italy in 1887 primarily as extension of vectors. On kronecker products, tensor products and matrix differential calculus. Absolute derivative obeys all the normal rules for derivatives. This technique produces exact derivatives with machine accuracy up to an arbitrary order by exploiting elemental symbolic differentiation rules and the chain.
Keywords: matrix algebra, matrix relations, matrix identities, derivative of determinant, derivative of inverse matrix, differentiate a. We want to express the partial derivatives of fx with respect to. In 36 we use the rules of tensor differentiation according to 6, where the double contraction. In this lecture, we will begin with some examples from vector calculus, and then continue to define covariant derivatives of 1-forms and. Lar, the laws of physics must be expressed in a form that is valid. The hessian matrix is the square matrix of second partial derivatives of. The concept of tensors has its origin in the development of di?Erential geometry by gauss, riemann and christo?El. Notice again that the differentiation index comes last in the -term and that this term enters with a minus sign. This establishes the rule for transforming any contravariant vector from one. This is the second volume of a two-volume work on vectors and tensors. If we want to compute the components for another basis e. Kolecki national aeronautics and space administration glenn research center cleveland, ohio 44135 tensor analysis is the type of subject that can make even the best of students shudder. To be discussed later, which explains the name of this product. Tensor notation introduces one simple operational rule. The relation above gives a prescription for transforming the contravariant vector dxi to another system. 193 Thus a scalar is a zeroth-order tensor, a vector is a first-order tensor, and so on. 2 the covariant derivative of a vector/tensor field.
4 bjc leibniz rule extended to three dimensions describes the time rate of change of the amount of contained inside. Tensor calculus 2 tensor the word tensor was introduced in 1846 by william rowan hamilton. 3 a computational perspective the present introduction will consider vectors and tensors as encountered in computational. 2 derivatives in indicial notation the indication of derivatives of tensors is simply illustrated in indicial notation by a comma. Understanding the role of the metric in linking the various forms of tensors 1 and, more importantly, in differentiating tensors is the basis of tensor calculus, and the subject of this primer. Differentiation of f-1 compute the following derivative for a symmetric tensor f the result is of course a 4th order tensor proof: using a taylor series expansion and keeping only the linear terms in df: jn the desired result is thus computed. This volume begins with a discussion of euclidean manifolds. Be a second-order tensor with these partial derivatives as its. Prerequisites from linear algebra linear algebra forms the skeleton of tensor calculus and differential geometry. It turns out that tensors have certain properties which. Volume 1 is concerned with the algebra of vectors and tensors, while this volume is concerned with the geometrical aspects of vectors and tensors. 1 scalar case you are probably familiar with the concept of a derivative in the scalar case: given a function f: r !R, the derivative of f at a point x 2r is de ned as: f0x. 382 The tensor calculus is a powerful tool for the description of the fundamentals in con- tinuum mechanics and the derivation of the governing equations for. Consider a space of real numbers of dimension n, rn, and a single real time.
Argument is de?Ned uniquely in terms of partial derivatives. We start with some remarks on the e?Ect of linear maps on tensors. In this paper, we analyze the existing rules for constructing derivatives of the scalar and tensor functions of the tensor argument with respect to the. The components of a contravariant vector transform like a coordinate differential and obey the transformation law. 344 It is to automatically sum any index appearing twice from 1 to 3. T w t t w to carryout the differentiation with respect to a single. Differential operations with vectors, tensors scalars, vectors, and tensors are differentiated to determine rates of change with respect to time, position 123 3 2 1 w t b b t w. The rules for transformation of tensors of arbitrary rank are a generalization of the rules for vector transformation. For instance, if eij is a tensor ?Eld, then m i jk iv jk bj iv ij. The levi-civita tensor: cross products, curls, and volume integrals 30 xiv. The partial derivative of a tensor the rules for covariant differentiation of vectors can be extended to higher order tensors. Introduction to the tensor product james c hateley in mathematics, a tensor refers to objects that have multiple indices. For example, index notation greatly simplifies the presentation and manipulation of differential geometry.
X 0 x x x x? X0 twhere the prime symbol identi es the new coordinates and the transformed tensor. Physical components of tensor derivatives rg mb ik. For instance, if eij is a tensor ?Eld, then m i jk ie jk bj ie ij 8 also are tensor ?Elds. This permuatation tensor can be written for any number of dimensions, but for the most part we will be dealing with three dimensional space. 168 a some basic rules of tensor calculus give a brief guide to notations and rules of the tensor calculus applied through-out this work. Note: for second rank tensors such as ?, the transformation law. Conform to the above summation rules, without attention being brought. 838 Diagonal scaling of nonnegative tensors to tensors with given rows, columns and depth sums characterization of tensor in c4 4 4 of border rank4 shmuel friedland univ. We also de ne and investigate scalar, vector and tensor elds when they are subjected to various coordinate transformations. However, it is not practicable for computing higher order derivatives.
Vector, matrix, and tensor derivatives erik learned-miller the purpose of this document is to help you learn to take derivatives of vectors, matrices, and higher order tensors arrays with three dimensions or more, and to help you take derivatives with respect to vectors, matrices, and higher order tensors. The n-sphere, sn; that is, the locus of all points some ?Xed distance from the origin in rn 1. Transformation laws for cartesian coordinates and tensor components. Dxj, where we use the famous summation convention of tensor calculus: each repeated index in an expression, here j, is to be summed from 1 to n. The permutation tensor is written as eijk where i, j, and k are indices corresponding to the three coordinate directions. Derivatives with respect to vectors, matrices, and higher order tensors. A four-dimensional representation called quartix fourth-order tensor. An introduction to tensors for students of physics and engineering joseph c. Ant forms and the rules of covariant differentiation. B differentiation requires subtracting vectors or tensors at different points. The projection of dx/dt along m will be called the covariant derivative of x with respect to t, and written dx/dt. The name covariant derivative stems from the fact that the derivative of a tensor of type p, q is of type p, q1, i. 938 Thus differentiation with respect to a second-order tensor raises the order by 2. If we have a bunch of second and/or ?Rst order tensors eg. Tensor differentiation: absolute and covariant derivatives. To convert derivatives found using the suffix notation into matrix deriva-. Pletely satisfactory chain rule for matrix functions, and show that the approach via differentials is elegant, short, and easy. 2, page, defines the so-called covector transformation law. The representation v 2v is unique irrespectively of any special basis considered.
A quantity having magnitude only is called scalar and a quantity with. More complicated examples include the derivative of a scalar function with respect to a matrix, known as the gradient matrix, which collects the derivative. Because it is often denoted without a symbol between the two vectors, it is also referred to as the open product. 824 Showing that, unless the second derivatives vanish, dx/dt does not transform as a vector field. Unless otherwise stated, all functions are functions of real numbers that return real values; although more generally, the formulae below apply wherever they are well defined. Contracts the inner basis of the tensor on one side marked by the filled circle with the. It was used in its current meaning by woldemar voigt in 18. The analogue of this in the theory of surfaces are the formulas by weingarten and. Laws never contain second derivatives, such as ?2x/?Z??Z. The various partial derivatives of a second-order tensor j i i j j j i i i j i j ij a aijg g a g g a g g a g g are indicated using the following notation: j k i i j j i k j i i j k i j ij k ij k a g g a g g a g g a g g. Covariant differentiation - we wish to organize physical properties and mathematical operations into covariant tensors. Leibniz rule for differentiation of integrals 4/15/13 6. 6 we use the symbolto denote the tensor product; later we will drop this symbol for notational convenience when it is clear from the context that a tensor product is implied. A second-order tensor in absolute notation we have to think of a tensor as a matrixwith a basis attached to it: v 2v means v. Tensor calculus was deve-loped around 180 by gregorio ricci-curba-stro under the title absolute differential calculus. Using this definition, formulas for the wedgeproduct, exterior derivatives.
A good starting point for discussion the tensor product is the notion of direct sums. The essential mathematics of general relativity is differential geometry. Back-propagation, which is the reverse mode automatic differentiation. In anatomy the word tensor means a muscle that stretches or tightens some part of the body. Matrix derivatives with chain rule and rules for simple, hadamard, and kronecker products. 168 Lipljqtpq can be rewritten in matrix notation as t. The first derivative with respect to a riemann metricof the metric tensor is identically zero. Once that is accomplished we will know how any other variable transforms simply by constructing it from covariant tensors and applying the rules above. Identities for scalar-valued functions of symmetric tensor functions. This is the same procedure as matrix-vector multiplication, except we are following the indicial notation rules, which say sum over repeated indices. Chapter 1 introduces the concept of vectors and tensors in a riemann space, and their com-ponents in covariant and contravariant vector and tensor bases.
2 examples: differentiation in cartesian and in polar coordinates. 1 gradients of scalar functions the de?Nition of the gradient of a scalar function is used as illustration. In this paper, we analyze the existing rules for constructing derivatives of the scalar and tensor functions of the tensor argument with respect to the tensor argument and the theoretical positions underlying the construction of these rules. To disadvantage is a large new but known set of algebraic rules. But partial derivatives of tensors do not de?Ne, in general, ten-sors. B j l w k i a l k, we can convert them into matrix/vector notation using the order of the indices from left to right, and the rule for the transpose. 216 The tensor product of two vectors represents a dyad, which is a linear vector transformation. The concept of a scalar and vector, to that of a tensor. For more comprehensive overviews on tensor calculus we recom-mend 54, 6, 123, 11, 1, 311, 334. However, \a_i b_i\ is a completely different animal because the subscript \i\ appears twice in the term. Lie derivatives, tensors and forms erik van den ban fall 2006 linear maps and tensors the purpose of these notes is to give conceptual proofs of a number of results on lie derivatives of tensor ?Elds and di?Erential forms. Tion rules for their components denoted by indexed systems. In the 20th century, the subject came to be known as tensor analysis, and.
Tensor is derived from the latin word tensus meaning stress or tension. We will compute this derivative once again using the product rule: first. The permutation tensor is defined to have the following values. Identities for scalar-valued functions of symmetric tensor functions let c be a symmetric tensor, t c c. Tensor analysis with applications to geometry and continuum mechanics. 670 To discuss vector and tensor fields and their differentiation, some basic ideas of. 1 examples of tensors the reader is already familiar with include scalars rank 0 tensors and vectors rank 1 tensors. With this notation, we can now define arithmetic rules for combining vectors. In section 1 the indicial notation is de ned and illustrated. Manifolds generally speaking, amanifoldis a space that with curvature and complicated topology that locallylooks like rn. Roughly speaking this can be thought of as a multidimensional array. Will be deriving dozens of relations including rules for differentiation involving tensor. Derivatives, backpropagation, and vectorization justin johnson septem 1 derivatives 1. For example, the tensor product of two vectors aand bgives a rank 2,0 tensor t.
Illinois at chicago tensors and matrices west canada linear algebra meeting, may 7-, 2010 2 / 24. Keywords: differentiation with respect to a tensor, rules for differentiation and forms of derivatives, scalar. Section 4 derives formulas for the calculation of all mixed partial derivatives up to degree d from a family of univariate taylor polynomials of. Portable document format pdf copy to m j roberts of portsmouth, england with best wishes. We introduce the gateaux derivative d? Of a scalar field: rd. The rules for differentiation are very much the same as those for. According to the rules of matrix multiplication the above equation means. For example, for a tensor of contravariant rank 2 and covariant rank 1: t0. 1 f 2 preface these notes are the second part of the tensor calculus documents which started. Also, many of the rules rely on the fact that the vec function assumes column-major. Section five introduces differential forms as a special kind of tensor and. This agrees with the idea of the gradient of a scalar field where differentiation with respect to. Absolute derivative of a contravariant tensor over some path. Of course, the derivative of a tensor-valued function of a tensor is a topic of interest in its own right. Base vectors, contravariant and covariant components, tensor differentiation, and. Transpose the central objects so the indices run consecutively s j i. Is generalized to three dimensions the boundary term in 6. A tensor of order p has content from p directions and has p n components. For any functions and and any real numbers and, the derivative of the function. 145