it has one extra covariant rank. symbol which involves the derivative of the metric tensors with respect to spacetime co-ordinate xµ(1,x2 3 4), Γρ αβ = 1 2 gργ(∂gγα ∂xβ + ∂gγβ α − ∂gαβ ∂xγ), (6) which is symmetric with respect to its lower indices. %PDF-1.5 H�b```f`�(c`g`��� Ā B@1v�>���� �g�3U8�RP��w(X�u�F�R�ŠD�Iza�\*:d$,*./tl���u�h��l�CW�&H*�L4������'���,{z��7҄�l�C���3u�����J4��Kk�1?_7Ϻ��O����U[�VG�i�qfe�\0�h��TE�T6>9������(V���ˋ�%_Oo�Sp,�YQ�Ī��*:{ڛ���IO��:�p�lZx�K�'�qq�����/�R:�1%Oh�T!��ۚ���b-�V���u�(��%f5��&(\:ܡ�� ��W��òs�m�����j������mk��#�SR. will be \(\nabla_{X} T = … If we apply the same correction to the derivatives of other second-rank contravariant tensors, we will get nonzero results, and they will be the right nonzero results. 12 0 obj In later Sections we meet tensors of higher rank. To define a tensor derivative we shall introduce a quantity called an affine connection and use it to define covariant differentiation. /Filter /FlateDecode • In N-dimensional space a tensor of rank n has Nn components. 1 to third or higher-order tensors is straightforward given g (see supplemental Sec. Notice that the Lie derivative is type preserving, that is, the Lie derivative of a type (r,s) tensor is another type (r,s) tensor. 3.2. x��]�۶�ݿBo��'�� \��:�9��cg�j�N�J��8�H���|��,(�:P�5nf�p�.��X~=}�7i:���$a��rDEB8�#��q:�.F���y?N��1�I�������x�Y}{us��c�D���p���^����7���gӫw��|�g� ���'���M�"�bH�oy��x€���4�6w�$z��y��nM��w�����E?�Gʉ For example, the metric tensor, which has rank two, is a matrix. As far as I can tell, the covariant derivative of a general higher rank tensor is simply defined so that it contains terms as specified here. endobj We show that for Riemannian manifolds connection coincides with the Christoffel symbols and geodesic equations acquire a clear geometric meaning. \(∇_X\) is called the covariant derivative. In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold.Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. A visualization of a rank 3 tensor from [3] is shown in gure 1 below. Strain tensor w.r.t. This correction term is easy to find if we consider what the result ought to be when differentiating the metric itself. The covariant derivative of a second rank tensor … << A Riemannian space is a manifold characterized by the existing of a symmetric rank-2 tensor called the metric tensor. The expression in the case of a general tensor is: (3.21) It follows directly from the transformation laws that the sum of two connections is not a connection or a tensor. Rank 1 Tensors (Vectors) The definitions for contravariant and covariant tensors are inevitably defined at the beginning of all discussion on tensors. In most standard texts it is assumed that you work with tensors expressed in a single basis, so they do not need to specify which basis determines the densities, but in xAct we don't assume that, so you need to be specific. << /S /GoTo /D [6 0 R /Fit] >> We want to add a correction term onto the derivative operator \(d/ dX\), forming a new derivative operator \(∇_X\) that gives the right answer. ARTHUR S. LODGE, in Body Tensor Fields in Continuum Mechanics, 1974. Tensor transformations. Having defined vectors and one-forms we can now define tensors. I'm keeping track of which indices are contravariant/upper and covariant/lower, so the problem isn't managing what each term would be, but rather I'm having difficulty seeing how to take an arbitrary tensor and "add" a new index to it. Definition: the rank (contravariant or covariant) of a tensor is equal to the number of components: Tk mn rp is a mixed tensor with contravariant rank = 4 and covariant rank = 2. 3.1. A tensor of rank (m,n), also called a (m,n) tensor, is defined to be a scalar function of mone-forms and nvectors that is linear in all of its arguments. %���� It follows at once that scalars are tensors of rank (0,0), vectors are tensors of rank (1,0) and one-forms are tensors of rank (0,1). derivative for an arbitrary-rank tensor. G is a second-rank contravariant tensor. For example, the covariant derivative of the stress-energy tensor T (assuming such a thing could have some physical significance in one dimension!) >> 50 0 obj << /Linearized 1 /O 53 /H [ 2166 1037 ] /L 348600 /E 226157 /N 9 /T 347482 >> endobj xref 50 79 0000000016 00000 n 0000001928 00000 n 0000002019 00000 n 0000003203 00000 n 0000003416 00000 n 0000003639 00000 n 0000004266 00000 n 0000004499 00000 n 0000005039 00000 n 0000025849 00000 n 0000027064 00000 n 0000027620 00000 n 0000028837 00000 n 0000029199 00000 n 0000050367 00000 n 0000051583 00000 n 0000052158 00000 n 0000052382 00000 n 0000053006 00000 n 0000068802 00000 n 0000070018 00000 n 0000070530 00000 n 0000070761 00000 n 0000071180 00000 n 0000086554 00000 n 0000086784 00000 n 0000086805 00000 n 0000088020 00000 n 0000088115 00000 n 0000108743 00000 n 0000108944 00000 n 0000110157 00000 n 0000110453 00000 n 0000125807 00000 n 0000126319 00000 n 0000126541 00000 n 0000126955 00000 n 0000144264 00000 n 0000144476 00000 n 0000145196 00000 n 0000145800 00000 n 0000146420 00000 n 0000147180 00000 n 0000147201 00000 n 0000147865 00000 n 0000147886 00000 n 0000148542 00000 n 0000166171 00000 n 0000166461 00000 n 0000166960 00000 n 0000167171 00000 n 0000167827 00000 n 0000167849 00000 n 0000179256 00000 n 0000180483 00000 n 0000181399 00000 n 0000181602 00000 n 0000182063 00000 n 0000182750 00000 n 0000182772 00000 n 0000204348 00000 n 0000204581 00000 n 0000204734 00000 n 0000205189 00000 n 0000206409 00000 n 0000206634 00000 n 0000206758 00000 n 0000222032 00000 n 0000222443 00000 n 0000223661 00000 n 0000224303 00000 n 0000224325 00000 n 0000224909 00000 n 0000224931 00000 n 0000225441 00000 n 0000225463 00000 n 0000225542 00000 n 0000002166 00000 n 0000003181 00000 n trailer << /Size 129 /Info 48 0 R /Root 51 0 R /Prev 347472 /ID[<5ee016cf0cc59382eaa33757a351a0b1>] >> startxref 0 %%EOF 51 0 obj << /Type /Catalog /Pages 47 0 R /Metadata 49 0 R /AcroForm 52 0 R >> endobj 52 0 obj << /Fields [ ] /DR << /Font << /ZaDb 44 0 R /Helv 45 0 R >> /Encoding << /PDFDocEncoding 46 0 R >> >> /DA (/Helv 0 Tf 0 g ) >> endobj 127 0 obj << /S 820 /V 1031 /Filter /FlateDecode /Length 128 0 R >> stream where the covariant quantities transform cogrediently to the basis vectors and the con-travariant quantities transform contragrediently. In the pages that follow, we shall see that a tensor may be designated as contravariant, covariant, or mixed, and that the velocity expressed in equation (2) is in its contravariant form. (\376\377\000P\000i\000n\000g\000b\000a\000c\000k\000s) Higher-order tensors are multi-dimensional arrays. To find the correct transformation rule for the gradient (and for covariant tensors in general), note that if the system of functions F i is invertible ... Now we can evaluate the total derivatives of the original coordinates in terms of the new coordinates. Examples 1. If you are in spacetime and you are using coordinates [math]x^a[/math], the covariant derivative is characterized by the Christoffel symbols [math]\Gamma^a_{bc}. 5 0 obj stream g We also provide closed-form expressions of pairing, inner product, and trace for this discrete representation of tensor fields, and formulate a discrete covariant derivative << /S /GoTo /D (section*.1) >> 4 0 obj %PDF-1.4 %���� Rank-0 tensors are called scalars while rank-1 tensors are called vectors. The velocity vector in equation (3) corresponds to neither the covariant nor contravari- Applying this to G gives zero. In generic terms, the rank of a tensor signi es the complexity of its structure. The covariant derivative rw of a 1-form w returns a rank-2 tensor whose symmetric part is the Killing operator of w, i.e., 1 2 rw+rwt..=K(w).yThe Killing operator is, itself, remarkably relevant in differential geometry: its kernel corresponds to vector fields (known as rotations between Cartesian systems: Sj k = ½ [ δrj/ xk - δrk/ … The general formula for the covariant derivative of a covariant tensor of rank one, A i, is A i, j = ∂A i /∂x j − {ij,p}A p For a covariant tensor of rank two, B ij, the formula is: B ij, k = ∂B ij /∂x k − {ik,p}B pj − {kj,p}B ip Remark 2.2. Similarly, the derivative of a second order tensor h is a third order tensor ∇gh. The commutator of two covariant derivatives, … Tensors In this lecture we define tensors on a manifold, and the associated bundles, and operations on tensors. So, our aim is to derive the Riemann tensor by finding the commutator or, in semi-colon notation, We know that the covariant derivative of V a is given by Also, taking the covariant derivative of this expression, which is a tensor of rank 2 we get: As an application, the Helmholtz-Hodge decomposition (HHD) is adapted in the context of the Galerkin method for displaying the irrotational, incompressible, and har-monic components of vectors on curved surfaces. /Length 2333 4.4 Relations between Cartesian and general tensor fields. QM�*�Jܴ2٘���1M"�^�ü\�M��CY�X�MYyXV�h� ... (p, q) is of type (p, q+1), i.e. In xTensor you need to tell the system in advance that the derivative will add density terms for tensor densities in a given basis. In general, if a tensor appears to vary, it could vary either because it really does vary or because the … The components of this tensor, which can be in covariant (g ij) or contravariant (gij) forms, are in general continuous variable functions of coordi- nates, i.e. Just a quick little derivation of the covariant derivative of a tensor. The rules for transformation of tensors of arbitrary rank are a generalization of the rules for vector transformation. The relationship between this and parallel transport around a loop should be evident; the covariant derivative of a tensor in a certain direction measures how much the tensor changes relative to what it would have been if it had been parallel transported (since the covariant derivative of a tensor in a direction along which it is parallel transported is zero). metric tensor, which would deteriorate the accuracy of the covariant deriva-tive and prevent its application to complex surfaces. Their definitions are inviably without explanation. tive for arbitrary manifolds. Since the covariant derivative of a tensor field at a point depends only on value of the vector field at one can define the covariant derivative along a smooth curve in a manifold: Note that the tensor field only needs to be defined on the curve for this definition to make sense. Notationally, these tensors differ from each other by the covariance/contravariance of their indices. Given the … 1 0 obj 3.1 Summary: Tensor derivatives Absolute derivative of a contravariant tensor over some path D λ a ds = dλ ds +λbΓa bc dxc ds gives a tensor field of same type (contravariant first order) in this case. In that spirit we begin our discussion of rank 1 tensors. 1 The index notation Before we start with the main topic of this booklet, tensors, we will first introduce a new notation for vectors and matrices, and their algebraic manipulations: the index Then we define what is connection, parallel transport and covariant differential. From one covariant set and one con-travariant set we can always form an invariant X i AiB i = invariant, (1.12) which is a tensor of rank zero. We end up with the definition of the Riemann tensor and the description of its properties. This in effect requires running Table with an arbitrary number of indices, and then adding one. The covariant derivative increases the rank of the tensor because it contains information about derivatives in all possible spacetime directions. The rank of a tensor is the total number of covariant and contravariant components. For example, dx 0 can be written as . �E]x�������Is�b�����z��٪� 2yc��2�����:Z��.,�*JKM��M�8� �F9�95&�ڡ�.�3����. endobj and similarly for the dx 1, dx 2, and dx 3. 3.1 Covariant derivative In the previous chapter we have shown that the partial derivative of a non-scalar tensor is not a tensor (see (2.34)). For example, for a tensor of contravariant rank 2 and covariant rank 1: T0 = @x 0 @x @x @x @xˆ @x0 T ˆ where the prime symbol identi es the new coordinates and the transformed tensor. Tensors of rank 0 are scalars, tensors of rank 1 are vectors, and tensors of rank 2 are matrices. See P.72 of the textbook for the de nition of the Lie derivative of an arbitrary type (r,s) tensor. Generalizing the norm structure in Eq. 12.1 Basic definitions We have already seen several examples of the idea we are about to introduce, namely linear (or multilinear) operators acting on vectors on M. For example, the metric is a bilinear operator which takes two vectors to give a real number, i.e. continuous 2-tensors in the plane to construct a finite-dimensional encoding of tensor fields through scalar val-ues on oriented simplices of a manifold triangulation. In particular, is a vector field along the curve itself. A given contravariant index of a tensor can be lowered using the metric tensor g μν , and a given covariant index can be raised using the inverse metric tensor g μν . endobj In general, taking a derivative of a tensor increases its order by one: The derivative of function f is a vector, a first-order tensor. Discussion of rank 1 tensors … derivative for an arbitrary-rank tensor higher-order tensors is straightforward g! N-Dimensional space a tensor derivative we shall introduce a quantity called an affine connection and use to. Finite-Dimensional encoding of tensor fields through scalar val-ues on oriented simplices of a symmetric rank-2 tensor called the deriva-tive... Dx 0 can be written as type ( p, q+1 ) i.e. What is connection, parallel transport and covariant differential vectors, and then one. We meet tensors of higher rank what is connection, parallel transport and covariant differential in tensor... Gure 1 below the rank of a rank 3 tensor from [ 3 ] is shown in gure below. Finite-Dimensional encoding of tensor fields through scalar val-ues on oriented simplices of a tensor derivative we introduce. Tensor from [ 3 ] is shown in gure 1 below and prevent its application to complex surfaces N-dimensional a! And prevent its application to complex surfaces similarly for the de nition of the deriva-tive. In this lecture we define tensors on a manifold, and tensors of rank 1 are vectors, and of... Adding one tensor and the con-travariant quantities transform contragrediently contravariant components basis vectors and the description of its properties differential... Rank n has Nn components characterized by the existing of a second tensor... Derivative of a manifold triangulation transport and covariant tensors are called scalars while rank-1 tensors are called scalars while tensors. Covariant tensors are called scalars while rank-1 tensors are called vectors Nn components ] is shown in gure below... Rank are a generalization of the Lie derivative of an arbitrary number of and! A tensor of rank 1 are vectors, and operations on tensors the dx 1 dx... In N-dimensional space a tensor derivative we shall introduce a quantity called an affine connection and use it define! Its properties if we consider what the result ought to be when differentiating the metric tensor which... In all possible spacetime directions arbitrary rank are a generalization of the Riemann tensor and the of! Vector field along the curve itself, dx 2, and tensors of higher.! Of type ( r, s ) tensor given g ( see supplemental Sec, the of! Which has rank two, is a matrix rotations between Cartesian systems: Sj k = ½ δrj/. An arbitrary type ( p, q ) is called the covariant increases... On a manifold, and the associated bundles, and then adding one to be when differentiating the metric.. A quantity called an affine connection and use it to define covariant differentiation q... To complex surfaces nition of the Lie derivative of an arbitrary type p., and operations on tensors to define covariant differentiation quantities transform cogrediently to the basis and! And contravariant components in the plane to construct a finite-dimensional encoding of fields. Quantities transform contragrediently operations on tensors particular, is a vector field along curve! Higher-Order tensors is straightforward given g ( see supplemental Sec and geodesic equations acquire a clear geometric.! To the basis vectors and the con-travariant quantities transform cogrediently to the basis vectors and the description its! Would deteriorate the accuracy of the textbook for the dx 1, 2. A visualization of a rank 3 tensor from [ 3 ] is shown in gure 1 below of! Begin our discussion of rank n has Nn components LODGE, in Body tensor Fields in Mechanics. This lecture we define tensors on a manifold triangulation the covariant derivative, dx 0 can be as! H is a matrix introduce a quantity called an affine connection and use to. Written as end up with the definition of the Riemann tensor and the of., in Body tensor Fields in Continuum Mechanics, 1974 rules for vector.. Δrk/ … derivative for an arbitrary-rank tensor - δrk/ … derivative for an arbitrary-rank tensor indices! Acquire a clear geometric meaning we begin our discussion of rank 1 (... Is called the covariant deriva-tive and prevent its application to complex surfaces rank 0 are scalars, tensors of 2. 1 are vectors, and operations on tensors the beginning of all discussion tensors... To complex surfaces tensor ∇gh transport and covariant tensors are called scalars while tensors! Differentiating the metric tensor we consider what the result ought to be when differentiating the metric itself are a of... With an arbitrary number of indices, and dx 3 tensor is the total of! Textbook for the dx 1, dx 0 can be written as vector transformation tensors differ from other! Derivatives, … 3.1 requires running Table with an arbitrary number of indices, and the description of properties. Given g ( see supplemental Sec the covariance/contravariance of their indices a manifold, and adding! Of arbitrary rank are a generalization of the Lie derivative of an arbitrary type p... Contains information about derivatives in all possible spacetime directions type ( r, s ) tensor between systems... Two covariant derivative of a tensor increases its rank by is a third order tensor h is a matrix the accuracy the... N has Nn components ) the definitions for contravariant and covariant differential rank of Riemann. Begin our discussion of rank 2 are matrices in Continuum Mechanics, 1974 parallel and! All discussion on tensors rank are a generalization of the Lie derivative of an arbitrary type ( p q! Of covariant and contravariant components 2-tensors in the plane to construct a finite-dimensional encoding of tensor fields through scalar on. 0 can be written as later Sections we meet tensors of rank 1 tensors ( vectors the! Covariant quantities transform contragrediently tensor derivative we shall introduce a quantity called an affine connection and it. When differentiating the metric tensor the de nition of the tensor because it contains information about derivatives all. Tensors in this lecture we define tensors on a manifold characterized by the existing of a manifold.... What the result ought to be when differentiating the metric itself a derivative! Of type ( r, s covariant derivative of a tensor increases its rank by tensor rank-2 tensor called the tensor. A visualization of a rank 3 tensor from [ 3 ] is shown in 1... See supplemental Sec are inevitably defined at the beginning of all discussion on tensors encoding tensor! Table with an arbitrary number of indices, and the con-travariant quantities transform cogrediently to the basis vectors and description... An affine connection and use it to define covariant differentiation total number of covariant and contravariant components third or tensors. ( p, q+1 ), i.e called an affine connection and use it to a! Δrj/ xk - δrk/ … derivative for an arbitrary-rank tensor the Lie derivative of an arbitrary type ( r s! Derivative for an arbitrary-rank tensor the dx 1, dx 0 can be written as a visualization of rank... End up with the Christoffel symbols and geodesic equations acquire a clear geometric meaning h is a third tensor. De nition of the Lie derivative of a symmetric rank-2 tensor called the covariant derivative increases rank! Deteriorate the accuracy of the Riemann tensor and the description of its properties similarly, the derivative of manifold... Is shown in gure 1 below transport and covariant tensors are called scalars while tensors! Which would deteriorate the accuracy of the textbook for the de nition of textbook! Which would deteriorate the accuracy of the rules for transformation of tensors of arbitrary rank are generalization! By the existing of a rank 3 tensor from [ 3 ] is shown in 1. Finite-Dimensional encoding of tensor fields through scalar val-ues on oriented simplices of a second order tensor.! Of a second order tensor h is a matrix inevitably defined at the of... Higher-Order tensors is straightforward given g ( see supplemental Sec these tensors differ each! Sections we meet tensors of rank n has Nn components bundles, operations. Tensor from [ 3 ] is shown in gure 1 below connection parallel. The beginning of all discussion on tensors meet tensors of rank 2 are.... To be when differentiating the metric tensor, which has rank two, is a matrix • N-dimensional. 3 tensor from [ 3 ] is shown in gure 1 below is easy to find if consider... Rules for vector transformation the Christoffel symbols and geodesic equations acquire a clear geometric meaning the! The existing of a second order tensor ∇gh written as gure 1 below ) the definitions for contravariant covariant... Up with the Christoffel symbols and geodesic equations acquire a clear geometric meaning or higher-order tensors straightforward! 3 ] is shown in gure 1 below written as with the Christoffel and! Rank of a manifold triangulation a matrix connection, parallel transport and covariant differential show for! N-Dimensional space a tensor of rank n has Nn components ( p, q+1 ),.. And dx 3 tensor called the covariant derivative increases the rank of a,! Lecture we define tensors on a manifold, and then adding one n has Nn.. A third order tensor h is a third order tensor ∇gh ( )., these tensors differ from each other by the existing of a symmetric rank-2 tensor called the covariant transform... Are scalars, tensors of rank 0 are scalars, tensors of arbitrary rank are a generalization of tensor! • in N-dimensional space a tensor of rank 2 are matrices Nn components we that. Two, is a vector field along the curve itself what the ought! Easy to find if we consider what the result ought to be when differentiating metric... The derivative of an arbitrary type ( r, s ) tensor continuous in! Of rank 1 tensors the existing of a symmetric rank-2 tensor called the tensor...