DOCSLIB.ORG

Appendix I Elements of Tensor Calculus

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Appendix I Elements of Tensor Calculus Key Word Appendix 1. Elements of Tensor Calculus 695 In Brief Given a veetor spaee E and its dual spaee E*, t4e not ion of tensor arises when we study the multilinear forms on the spaee F defined as the order n Cartesian produet of E and E* (Seet. 1). One obvious way of produeing sueh forms eonsists in eonsidering those forms whose values are given by the produet of the values taken by n linear forms on E or E*. An n-linear form on F obtained in this way is ealled a product tensor of rank n, and it is written by inserting the symbol @ between eaeh of the forms on E or E* that make it up, these being themselves elements of E* or E, respeetively (Seet. 2). This eonstruetion does not generate the whole spaee of n-linear forms on F. However, it ean be used to produee a basis for the veetor spaee of n-linear forms on F, for example, given a basis of E and the dual basis for E*. All the forms we seek, known as tensors (of rank n) on F, are generated by linear eombination from sueh a basis (Seet. 3). The eorresponding veetor spaee is identified with a tensor produet of order n of E and E* . Two fundamental operations are defined on the tensors. The first is the tensor product, denoted by @. For two tensors of rank p and q, defined on spaees Fp and Fq , their tensor produet is a tensor of rank (p + q) on the product spaee F of Fp and Fq (or the other way round). This generalises the method for eonstrueting produet tensors from elements of E* and E (Seet. 2). The seeond is the contraction. This allows us, in eertain eireumstanees, to obtain tensors of rank (n - 2), (n - 4), and so forth, on spaees Fn - 2 , ... , from a tensor of rank n on F (Seet. 3). These operations ean be eombined. We obtain then the contracted product of two tensors, of great importanee in meehanics (Seet. 4). We know that for a spaee E with Euelidean strueture, there is a eanon­ ieal (natural) isomorphism whieh allows us to identify E with its dual E*, defined by substituting the sealar produet in E for the duality produet. This isomorphism ean also be used to show that the Cartesian produet spaees of E and E* of arbitrary order n are themselves isomorphie. It follows that the tensor spaees defined on these produets are also isomorphie. Henee, we identify a linear form on E, element of E*, with its assoeiated veetor, ele­ ment of E, using the eanonieal isomorphism, thereby introdueing the not ion of Euelidean veetor. In the same way, we shall identify the 2n tensors of rank 696 Appendix I. Elements of Tensor Calculus n which correspond to one another by the isomorphism with that tensor amongst them which is an element of the tensor product of rank n of E with itself: this gives us the corresponding Euclidean tensor. The two fundamental operations introduced earlier can be carried over in a consistent way to the Euclidean tensors. Contraction is always possible in this case; the associated rules are simplified and can all be expressed in terms of the scalar product on E (Sect. 5). One important application of tensor calculus is associated with the fact that we can generalise the ideas of gradient and divergence to higher orders. For a field of rank n tensors, defined on an affine space for which E is the associated vector space, the gradient at a point is the tensor of rank (n + 1) whose contracted product with an infinitesimal vector (differential element) in E gives the corresponding differential increment in the tensor field at this point. The divergence is obtained by contracting the gradient tensor. It is therefore a tensor of rank (n - 1). The divergence theorem transforming a fiux type surface integral into a volume integral is then extended to tensors of any rank (Sect. 6). Appendix I. Elements of Tensor Calculus 697 Main Notation Notation Meaning First cited (, ) Duality product (1.2) 0 Tensor product (2.1) sj, Kronecker symbol (2.6) T == Ti/§.i0e*j 0§.k Tensor (3.3) det Determinant (3.16) tr Trace (3.17) Transposition symbol (3.18) 8 Contracted product on the last index of (4.3) the tensor before 8 and the first index of the tensor coming after it 0 Doubly contracted product on the (4.14) two indices next to 0, and on the two indices next to those G Metrie tensor (5.1) Scalar product (5.2) Contraeted produet for Euelidean (5.32) tensors: the same rule as for 8 coneerning indices Doubly contracted product for (5.36) Euclidean tensors: same rule as for o eoneerning indices T.. Euelidean tensor Seet. 5.8 t. Matrix for T.. in an orlhonormal basis Seet. 5.9 DllC Derivative along veetor Y1. (6.3) \7 Gradient (6.4) div Divergenee (6.8) 698 Appendix 1. Elements of Tensor Calculus 1 Tensors on a Veetor Spaee ..................................... 699 1.1 Definition ............................................. 699 1.2 First Rank Tensors ..................................... 700 1.3 Seeond Rank Tensors ................................... 700 2 Tensor Produet of Tensors ..................................... 701 2.1 Definition ............................................. 701 2.2 Examples ............................................. 701 2.3 Produet Tensors ....................................... 702 3 Tensor Components ........................................... 703 3.1 Definition ............................................. 703 3.2 Change of Basis ........................................ 704 3.3 Mixed Seeond Rank Tensors ............................. 705 3.4 Twiee Contravariant or Twiee Covariant Seeond Rank Tensors 707 3.5 Components of a Tensor Product ......................... 708 4 Contraction .................................................. 708 4.1 Definition of the Contraction of a Tensor .................. 708 4.2 Contraeted Multiplieation ............................... 709 4.3 Doubly Contraeted Produet of Two Tensors ............... 711 4.4 Total Contraction of a Tensor Produet .................... 713 4.5 Defining Tensors by Duality ............................. 713 4.6 Invariants of a Mixed Seeond Rank Tensor ................ 714 5 Tensors on a Euclidean Vector Spaee ............................ 714 5.1 Definition of a Euelidean Spaee .......................... 714 5.2 Applieation: Deformation in a Linear Mapping ............. 715 5.3 Isomorphism Between E and E* ......................... 715 5.4 Covariant Form of Veetors in E .......................... 717 5.5 First Rank Euelidean Tensors and the Contracted Product .. 718 5.6 Seeond Rank Euclidean Tensors of Simple Produet Form and their Contraeted Produets ..... 719 5.7 Second Rank Euelidean Tensors .......................... 721 5.8 Rank n Euelidean Tensors ............................... 726 5.9 Choice of Orthonormal Basis in E . ....................... 726 5.10 Prineipal Axes and Principal Values of a Real Symmetrie Seeond Rank Euclidean Tensor ........ 727 6 Tensor Fields ................................................. 729 6.1 Definition ............................................. 729 6.2 Derivative and Gradient of a Tensor Field ................. 729 6.3 Divergenee of a Tensor Field ............................. 731 6.4 Curvilinear Coordinates ................................. 732 Summary of Main Formulas ........................................ 737 1. Tensors on a Vector Space 699 Elements of Tensor Calculus Without being too concerned with the mathematical formalism, which is available in many other works, the aim here is to provide the reader with sufficient basic knowledge to be able to use the tensor calculus in the context of 3-dimensional continuum mechanics as presented earlier in the book. This introduction to tensor calculus is organised into three parts. The first is de­ voted to the definition of tensors on a vector space, presentation of their basic properties and discussion of the main operations of tensor calculus (Sects. 1 to 4). The second part deals with Euclidean tensors (Sect. 5), and the third tackles the quest ion of tensor fields and their derivatives. Concerning immediate applications to the subject of the present book, the second and third parts (for Euclidean tensors) will be the most relevant. For this reason, the summary of the main formulas given at the end of this appendix only presents results referring to Euclidean tensors. However, it seems preferable to provide an initial discussion that brings out the role of duality, before introducing a Euclidean structure. 1. Tensors on a Vector Space 1.1 Definition Let E denote a vector space of finite dimension n (over ~ or C) and let E* be the dual of E. Then a p times contravariant and q times covariant tensor is any multilinear form T defined on (E*)P x (E)q. Denote by u*(i) p arbitrary vectors in E* i = 1, ... ,p , 12.(j) q arbitrary vectors in E j = 1, ... ,q . Such a multilinear form associates the following scalar with the vector argu­ ments u*(i) and 1I.(j)' taken in this order: T(u*(l), ... ,u*(p) ,12.(1)' ... ,12.(q)) . (1.1) The sum (p + q) is called the rank of the tensor. The pair of numbers (p, q) is called its type. The order in which the vector arguments occur in T must be specified in the definition of the form. In this presentation, we have chosen to order the arguments by first taking the vectors in E* and then taking those in E. It is clear that the set of all tensors of given type (p, q), and corresponding to the same order of vector arguments, can be supplied with a vector space structure. 700 Appendix I. Elements of Tensor Calculus As an example, let us examine the first and second rank tensors, these being widely used in continuum mechanics. Notation: To begin with, let (u*, '1)) = ÜL, u*) (1.2) denote the duality product between a vector u* in E* and a vector :l!. in E. 1.2 First Rank Tensors First Rank Contravariant Tensor From the definition, this is a linear form T on E*, identified classically with a vector 'L of E by means of the duality product.
Recommended publications
  • Tensors and Differential Forms on Vector Spaces

    Tensors and Differential Forms on Vector Spaces

    APPENDIX A TENSORS AND DIFFERENTIAL FORMS ON VECTOR SPACES Since only so much of the vast and growing field of differential forms and differentiable manifolds will be actually used in this survey, we shall attempt to briefly review how the calculus of exterior differential forms on vector spaces can serve as a replacement for the more conventional vector calculus and then introduce only the most elementary notions regarding more topologically general differentiable manifolds, which will mostly be used as the basis for the discussion of Lie groups, in the following appendix. Since exterior differential forms are special kinds of tensor fields – namely, completely-antisymmetric covariant ones – and tensors are important to physics, in their own right, we shall first review the basic notions concerning tensors and multilinear algebra. Presumably, the reader is familiar with linear algebra as it is usually taught to physicists, but for the “basis-free” approach to linear and multilinear algebra (which we shall not always adhere to fanatically), it would also help to have some familiarity with the more “abstract-algebraic” approach to linear algebra, such as one might learn from Hoffman and Kunze [ 1], for instance. 1. Tensor algebra. – A tensor algebra is a type of algebra in which multiplication takes the form of the tensor product. a. Tensor product. – Although the tensor product of vector spaces can be given a rigorous definition in a more abstract-algebraic context (See Greub [ 2], for instance), for the purposes of actual calculations with tensors and tensor fields, it is usually sufficient to say that if V and W are vector spaces of dimensions n and m, respectively, then the tensor product V ⊗ W will be a vector space of dimension nm whose elements are finite linear combinations of elements of the form v ⊗ w, where v is a vector in V and w is a vector in W.
  • Tensors Notation • Contravariant Denoted by Superscript Ai Took a Vector and Gave for Vector Calculus Us a Vector

    Tensors Notation • Contravariant Denoted by Superscript Ai Took a Vector and Gave for Vector Calculus Us a Vector

    Tensors Notation • contravariant denoted by superscript Ai took a vector and gave For vector calculus us a vector • covariant denoted by subscript Ai took a scaler and gave us a vector Review To avoid confusion in cartesian coordinates both types are the same so • Vectors we just opt for the subscript. Thus a vector x would be x1,x2,x3 R3 • Summation representation of an n by n array As it turns out in an cartesian space and other rectilinear coordi- nate systems there is no difference between contravariant and covariant • Gradient, Divergence and Curl vectors. This will not be the case for other coordinate systems such a • Spherical Harmonics (maybe) curvilinear coordinate systems or in 4 dimensions. These definitions are closely related to the Jacobian. Motivation If you tape a book shut and try to spin it in the air on each indepen- Definitions for Tensors of Rank 2 dent axis you will notice that it spins fine on two axes but not on the Rank 2 tensors can be written as a square array. They have con- third. That’s the inertia tensor in your hands. Similar are the polar- travariant, mixed, and covariant forms. As we might expect in cartesian izations tensor, index of refraction tensor and stress tensor. But tensors coordinates these are the same. also show up in all sorts of places that don’t connect to an anisotropic material property, in fact even spherical harmonics are tensors. What are the similarities and differences between such a plethora of tensors? Vector Calculus and Identifers The mathematics of tensors is particularly useful for de- Tensor analysis extends deep into coordinate transformations of all scribing properties of substances which vary in direction– kinds of spaces and coordinate systems.
  • 21. Orthonormal Bases

    21. Orthonormal Bases

    21. Orthonormal Bases The canonical/standard basis 011 001 001 B C B C B C B0C B1C B0C e1 = B.C ; e2 = B.C ; : : : ; en = B.C B.C B.C B.C @.A @.A @.A 0 0 1 has many useful properties. • Each of the standard basis vectors has unit length: q p T jjeijj = ei ei = ei ei = 1: • The standard basis vectors are orthogonal (in other words, at right angles or perpendicular). T ei ej = ei ej = 0 when i 6= j This is summarized by ( 1 i = j eT e = δ = ; i j ij 0 i 6= j where δij is the Kronecker delta. Notice that the Kronecker delta gives the entries of the identity matrix. Given column vectors v and w, we have seen that the dot product v w is the same as the matrix multiplication vT w. This is the inner product on n T R . We can also form the outer product vw , which gives a square matrix. 1 The outer product on the standard basis vectors is interesting. Set T Π1 = e1e1 011 B C B0C = B.C 1 0 ::: 0 B.C @.A 0 01 0 ::: 01 B C B0 0 ::: 0C = B. .C B. .C @. .A 0 0 ::: 0 . T Πn = enen 001 B C B0C = B.C 0 0 ::: 1 B.C @.A 1 00 0 ::: 01 B C B0 0 ::: 0C = B. .C B. .C @. .A 0 0 ::: 1 In short, Πi is the diagonal square matrix with a 1 in the ith diagonal position and zeros everywhere else.
  • Multivector Differentiation and Linear Algebra 0.5Cm 17Th Santaló

    Multivector Differentiation and Linear Algebra 0.5Cm 17Th Santaló

    Multivector differentiation and Linear Algebra 17th Santalo´ Summer School 2016, Santander Joan Lasenby Signal Processing Group, Engineering Department, Cambridge, UK and Trinity College Cambridge [email protected], www-sigproc.eng.cam.ac.uk/ s jl 23 August 2016 1 / 78 Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... Summary Overview The Multivector Derivative. 2 / 78 Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... Summary Overview The Multivector Derivative. Examples of differentiation wrt multivectors. 3 / 78 Functional Differentiation: very briefly... Summary Overview The Multivector Derivative. Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. 4 / 78 Summary Overview The Multivector Derivative. Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... 5 / 78 Overview The Multivector Derivative. Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... Summary 6 / 78 We now want to generalise this idea to enable us to find the derivative of F(X), in the A ‘direction’ – where X is a general mixed grade multivector (so F(X) is a general multivector valued function of X). Let us use ∗ to denote taking the scalar part, ie P ∗ Q ≡ hPQi. Then, provided A has same grades as X, it makes sense to define: F(X + tA) − F(X) A ∗ ¶XF(X) = lim t!0 t The Multivector Derivative Recall our definition of the directional derivative in the a direction F(x + ea) − F(x) a·r F(x) = lim e!0 e 7 / 78 Let us use ∗ to denote taking the scalar part, ie P ∗ Q ≡ hPQi.
  • On Manifolds of Tensors of Fixed Tt-Rank

    On Manifolds of Tensors of Fixed Tt-Rank

    ON MANIFOLDS OF TENSORS OF FIXED TT-RANK SEBASTIAN HOLTZ, THORSTEN ROHWEDDER, AND REINHOLD SCHNEIDER Abstract. Recently, the format of TT tensors [19, 38, 34, 39] has turned out to be a promising new format for the approximation of solutions of high dimensional problems. In this paper, we prove some new results for the TT representation of a tensor U ∈ Rn1×...×nd and for the manifold of tensors of TT-rank r. As a first result, we prove that the TT (or compression) ranks ri of a tensor U are unique and equal to the respective seperation ranks of U if the components of the TT decomposition are required to fulfil a certain maximal rank condition. We then show that d the set T of TT tensors of fixed rank r forms an embedded manifold in Rn , therefore preserving the essential theoretical properties of the Tucker format, but often showing an improved scaling behaviour. Extending a similar approach for matrices [7], we introduce certain gauge conditions to obtain a unique representation of the tangent space TU T of T and deduce a local parametrization of the TT manifold. The parametrisation of TU T is often crucial for an algorithmic treatment of high-dimensional time-dependent PDEs and minimisation problems [33]. We conclude with remarks on those applications and present some numerical examples. 1. Introduction The treatment of high-dimensional problems, typically of problems involving quantities from Rd for larger dimensions d, is still a challenging task for numerical approxima- tion. This is owed to the principal problem that classical approaches for their treatment normally scale exponentially in the dimension d in both needed storage and computa- tional time and thus quickly become computationally infeasable for sensible discretiza- tions of problems of interest.
  • Matrices and Tensors

    Matrices and Tensors

    APPENDIX MATRICES AND TENSORS A.1. INTRODUCTION AND RATIONALE The purpose of this appendix is to present the notation and most of the mathematical tech- niques that are used in the body of the text. The audience is assumed to have been through sev- eral years of college-level mathematics, which included the differential and integral calculus, differential equations, functions of several variables, partial derivatives, and an introduction to linear algebra. Matrices are reviewed briefly, and determinants, vectors, and tensors of order two are described. The application of this linear algebra to material that appears in under- graduate engineering courses on mechanics is illustrated by discussions of concepts like the area and mass moments of inertia, Mohr’s circles, and the vector cross and triple scalar prod- ucts. The notation, as far as possible, will be a matrix notation that is easily entered into exist- ing symbolic computational programs like Maple, Mathematica, Matlab, and Mathcad. The desire to represent the components of three-dimensional fourth-order tensors that appear in anisotropic elasticity as the components of six-dimensional second-order tensors and thus rep- resent these components in matrices of tensor components in six dimensions leads to the non- traditional part of this appendix. This is also one of the nontraditional aspects in the text of the book, but a minor one. This is described in §A.11, along with the rationale for this approach. A.2. DEFINITION OF SQUARE, COLUMN, AND ROW MATRICES An r-by-c matrix, M, is a rectangular array of numbers consisting of r rows and c columns: ¯MM..
  • 28. Exterior Powers

    28. Exterior Powers

    28. Exterior powers 28.1 Desiderata 28.2 Definitions, uniqueness, existence 28.3 Some elementary facts 28.4 Exterior powers Vif of maps 28.5 Exterior powers of free modules 28.6 Determinants revisited 28.7 Minors of matrices 28.8 Uniqueness in the structure theorem 28.9 Cartan's lemma 28.10 Cayley-Hamilton Theorem 28.11 Worked examples While many of the arguments here have analogues for tensor products, it is worthwhile to repeat these arguments with the relevant variations, both for practice, and to be sensitive to the differences. 1. Desiderata Again, we review missing items in our development of linear algebra. We are missing a development of determinants of matrices whose entries may be in commutative rings, rather than fields. We would like an intrinsic definition of determinants of endomorphisms, rather than one that depends upon a choice of coordinates, even if we eventually prove that the determinant is independent of the coordinates. We anticipate that Artin's axiomatization of determinants of matrices should be mirrored in much of what we do here. We want a direct and natural proof of the Cayley-Hamilton theorem. Linear algebra over fields is insufficient, since the introduction of the indeterminate x in the definition of the characteristic polynomial takes us outside the class of vector spaces over fields. We want to give a conceptual proof for the uniqueness part of the structure theorem for finitely-generated modules over principal ideal domains. Multi-linear algebra over fields is surely insufficient for this. 417 418 Exterior powers 2. Definitions, uniqueness, existence Let R be a commutative ring with 1.
  • A Some Basic Rules of Tensor Calculus

    A Some Basic Rules of Tensor Calculus

    A Some Basic Rules of Tensor Calculus 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 applied prob- lems. In general, there are two possibilities for the representation of the tensors and the tensorial equations: – the direct (symbolic) notation and – the index (component) notation The direct notation operates with scalars, vectors and tensors as physical objects defined in the three dimensional space. A vector (first rank tensor) a is considered as a directed line segment rather than a triple of numbers (coordinates). A second rank tensor A is any finite sum of ordered vector pairs A = a b + ... +c d. The scalars, vectors and tensors are handled as invariant (independent⊗ from the choice⊗ of the coordinate system) objects. This is the reason for the use of the direct notation in the modern literature of mechanics and rheology, e.g. [29, 32, 49, 123, 131, 199, 246, 313, 334] among others. The index notation deals with components or coordinates of vectors and tensors. For a selected basis, e.g. gi, i = 1, 2, 3 one can write a = aig , A = aibj + ... + cidj g g i i ⊗ j Here the Einstein’s summation convention is used: in one expression the twice re- peated indices are summed up from 1 to 3, e.g. 3 3 k k ik ik a gk ∑ a gk, A bk ∑ A bk ≡ k=1 ≡ k=1 In the above examples k is a so-called dummy index. Within the index notation the basic operations with tensors are defined with respect to their coordinates, e.
  • Multilinear Algebra

    Multilinear Algebra

    Appendix A Multilinear Algebra This chapter presents concepts from multilinear algebra based on the basic properties of finite dimensional vector spaces and linear maps. The primary aim of the chapter is to give a concise introduction to alternating tensors which are necessary to define differential forms on manifolds. Many of the stated definitions and propositions can be found in Lee [1], Chaps. 11, 12 and 14. Some definitions and propositions are complemented by short and simple examples. First, in Sect. A.1 dual and bidual vector spaces are discussed. Subsequently, in Sects. A.2–A.4, tensors and alternating tensors together with operations such as the tensor and wedge product are introduced. Lastly, in Sect. A.5, the concepts which are necessary to introduce the wedge product are summarized in eight steps. A.1 The Dual Space Let V be a real vector space of finite dimension dim V = n.Let(e1,...,en) be a basis of V . Then every v ∈ V can be uniquely represented as a linear combination i v = v ei , (A.1) where summation convention over repeated indices is applied. The coefficients vi ∈ R arereferredtoascomponents of the vector v. Throughout the whole chapter, only finite dimensional real vector spaces, typically denoted by V , are treated. When not stated differently, summation convention is applied. Definition A.1 (Dual Space)Thedual space of V is the set of real-valued linear functionals ∗ V := {ω : V → R : ω linear} . (A.2) The elements of the dual space V ∗ are called linear forms on V . © Springer International Publishing Switzerland 2015 123 S.R.
  • Tensor Calculus and Differential Geometry

    Tensor Calculus and Differential Geometry

    Course Notes Tensor Calculus and Differential Geometry 2WAH0 Luc Florack March 10, 2021 Cover illustration: papyrus fragment from Euclid’s Elements of Geometry, Book II [8]. Contents Preface iii Notation 1 1 Prerequisites from Linear Algebra 3 2 Tensor Calculus 7 2.1 Vector Spaces and Bases . .7 2.2 Dual Vector Spaces and Dual Bases . .8 2.3 The Kronecker Tensor . 10 2.4 Inner Products . 11 2.5 Reciprocal Bases . 14 2.6 Bases, Dual Bases, Reciprocal Bases: Mutual Relations . 16 2.7 Examples of Vectors and Covectors . 17 2.8 Tensors . 18 2.8.1 Tensors in all Generality . 18 2.8.2 Tensors Subject to Symmetries . 22 2.8.3 Symmetry and Antisymmetry Preserving Product Operators . 24 2.8.4 Vector Spaces with an Oriented Volume . 31 2.8.5 Tensors on an Inner Product Space . 34 2.8.6 Tensor Transformations . 36 2.8.6.1 “Absolute Tensors” . 37 CONTENTS i 2.8.6.2 “Relative Tensors” . 38 2.8.6.3 “Pseudo Tensors” . 41 2.8.7 Contractions . 43 2.9 The Hodge Star Operator . 43 3 Differential Geometry 47 3.1 Euclidean Space: Cartesian and Curvilinear Coordinates . 47 3.2 Differentiable Manifolds . 48 3.3 Tangent Vectors . 49 3.4 Tangent and Cotangent Bundle . 50 3.5 Exterior Derivative . 51 3.6 Affine Connection . 52 3.7 Lie Derivative . 55 3.8 Torsion . 55 3.9 Levi-Civita Connection . 56 3.10 Geodesics . 57 3.11 Curvature . 58 3.12 Push-Forward and Pull-Back . 59 3.13 Examples . 60 3.13.1 Polar Coordinates in the Euclidean Plane .
  • 1.3 Cartesian Tensors a Second-Order Cartesian Tensor Is Defined As A

    1.3 Cartesian Tensors a Second-Order Cartesian Tensor Is Defined As A

    1.3 Cartesian tensors A second-order Cartesian tensor is defined as a linear combination of dyadic products as, T Tijee i j . (1.3.1) The coefficients Tij are the components of T . A tensor exists independent of any coordinate system. The tensor will have different components in different coordinate systems. The tensor T has components Tij with respect to basis {ei} and components Tij with respect to basis {e i}, i.e., T T e e T e e . (1.3.2) pq p q ij i j From (1.3.2) and (1.2.4.6), Tpq ep eq TpqQipQjqei e j Tij e i e j . (1.3.3) Tij QipQjqTpq . (1.3.4) Similarly from (1.3.2) and (1.2.4.6) Tij e i e j Tij QipQjqep eq Tpqe p eq , (1.3.5) Tpq QipQjqTij . (1.3.6) Equations (1.3.4) and (1.3.6) are the transformation rules for changing second order tensor components under change of basis. In general Cartesian tensors of higher order can be expressed as T T e e ... e , (1.3.7) ij ...n i j n and the components transform according to Tijk ... QipQjqQkr ...Tpqr... , Tpqr ... QipQjqQkr ...Tijk ... (1.3.8) The tensor product S T of a CT(m) S and a CT(n) T is a CT(m+n) such that S T S T e e e e e e . i1i2 im j1j 2 jn i1 i2 im j1 j2 j n 1.3.1 Contraction T Consider the components i1i2 ip iq in of a CT(n).
  • Tensor-Spinor Theory of Gravitation in General Even Space-Time Dimensions

    Tensor-Spinor Theory of Gravitation in General Even Space-Time Dimensions

    Physics Letters B 817 (2021) 136288 Contents lists available at ScienceDirect Physics Letters B www.elsevier.com/locate/physletb Tensor-spinor theory of gravitation in general even space-time dimensions ∗ Hitoshi Nishino a, ,1, Subhash Rajpoot b a Department of Physics, College of Natural Sciences and Mathematics, California State University, 2345 E. San Ramon Avenue, M/S ST90, Fresno, CA 93740, United States of America b Department of Physics & Astronomy, California State University, 1250 Bellflower Boulevard, Long Beach, CA 90840, United States of America a r t i c l e i n f o a b s t r a c t Article history: We present a purely tensor-spinor theory of gravity in arbitrary even D = 2n space-time dimensions. Received 18 March 2021 This is a generalization of the purely vector-spinor theory of gravitation by Bars and MacDowell (BM) in Accepted 9 April 2021 4D to general even dimensions with the signature (2n − 1, 1). In the original BM-theory in D = (3, 1), Available online 21 April 2021 the conventional Einstein equation emerges from a theory based on the vector-spinor field ψμ from a Editor: N. Lambert m lagrangian free of both the fundamental metric gμν and the vierbein eμ . We first improve the original Keywords: BM-formulation by introducing a compensator χ, so that the resulting theory has manifest invariance = =− = Bars-MacDowell theory under the nilpotent local fermionic symmetry: δψ Dμ and δ χ . We next generalize it to D Vector-spinor (2n − 1, 1), following the same principle based on a lagrangian free of fundamental metric or vielbein Tensors-spinors rs − now with the field content (ψμ1···μn−1 , ωμ , χμ1···μn−2 ), where ψμ1···μn−1 (or χμ1···μn−2 ) is a (n 1) (or Metric-less formulation (n − 2)) rank tensor-spinor.