<< /S /GoTo /D [6 0 R /Fit] >> For example, the metric tensor, which has rank two, is a matrix. 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. ... (p, q) is of type (p, q+1), i.e. In that spirit we begin our discussion of rank 1 tensors. 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). 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. For example, dx 0 can be written as . 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. Rank-0 tensors are called scalars while rank-1 tensors are called vectors. Given the … For example, the covariant derivative of the stress-energy tensor T (assuming such a thing could have some physical significance in one dimension!) A visualization of a rank 3 tensor from  is shown in gure 1 below. will be \(\nabla_{X} T = … 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 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)). 12.1 Basic deﬁnitions 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. Rank 1 Tensors (Vectors) The deﬁnitions for contravariant and covariant tensors are inevitably deﬁned at the beginning of all discussion on tensors. 12 0 obj rotations between Cartesian systems: Sj k = ½ [ δrj/ xk - δrk/ … As far as I can tell, the covariant derivative of a general higher rank tensor is simply deﬁned so that it contains terms as speciﬁed here. The covariant derivative increases the rank of the tensor because it contains information about derivatives in all possible spacetime directions. 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 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. /Length 2333 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 μν . 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. Having deﬁned vectors and one-forms we can now deﬁne tensors. We also provide closed-form expressions of pairing, inner product, and trace for this discrete representation of tensor ﬁelds, and formulate a discrete covariant derivative 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. 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 1 0 obj We end up with the definition of the Riemann tensor and the description of its properties. g \(∇_X\) is called the covariant derivative. A Riemannian space is a manifold characterized by the existing of a symmetric rank-2 tensor called the metric tensor. 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. and similarly for the dx 1, dx 2, and dx 3. See P.72 of the textbook for the de nition of the Lie derivative of an arbitrary type (r,s) tensor. 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}. Notationally, these tensors differ from each other by the covariance/contravariance of their indices. Remark 2.2. /Filter /FlateDecode The rules for transformation of tensors of arbitrary rank are a generalization of the rules for vector transformation. 5 0 obj Tensors of rank 0 are scalars, tensors of rank 1 are vectors, and tensors of rank 2 are matrices. 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 ﬁelds (known as << �E]x�������Is�b�����z��٪� 2yc��2�����:Z��.,�*JKM��M�8� �F9�95&�ڡ�.�3����. Strain tensor w.r.t. 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. This in effect requires running Table with an arbitrary number of indices, and then adding one. We want to add a correction term onto the derivative operator \(d/ dX\), forming a new derivative operator \(∇_X\) that gives the right answer. G is a second-rank contravariant tensor. 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 ﬁeld of same type (contravariant ﬁrst order) in this case. 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. endobj In generic terms, the rank of a tensor signi es the complexity of its structure. Their deﬁnitions are inviably without explanation. tive for arbitrary manifolds. In xTensor you need to tell the system in advance that the derivative will add density terms for tensor densities in a given basis. 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 %PDF-1.4 %���� 4.4 Relations between Cartesian and general tensor fields. Tensors In this lecture we deﬁne tensors on a manifold, and the associated bundles, and operations on tensors. 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. stream it has one extra covariant rank. This correction term is easy to find if we consider what the result ought to be when differentiating the metric itself. Then we define what is connection, parallel transport and covariant differential. H�b```f`�(c`g`��� Ā [email protected]�>���� �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. (\376\377\000P\000i\000n\000g\000b\000a\000c\000k\000s) Examples 1. The rank of a tensor is the total number of covariant and contravariant components. In general, if a tensor appears to vary, it could vary either because it really does vary or because the … %���� The velocity vector in equation (3) corresponds to neither the covariant nor contravari- 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. continuous 2-tensors in the plane to construct a ﬁnite-dimensional encoding of tensor ﬁelds through scalar val-ues on oriented simplices of a manifold triangulation. 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. We show that for Riemannian manifolds connection coincides with the Christoffel symbols and geodesic equations acquire a clear geometric meaning. << /S /GoTo /D (section*.1) >> 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). QM�*�Jܴ2٘���1M"�^�ü\�M��CY�X�MYyXV�h� 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: The covariant derivative of a second rank tensor … 4 0 obj In later Sections we meet tensors of higher rank. 3.1. Generalizing the norm structure in Eq. In particular, is a vector field along the curve itself. 1 to third or higher-order tensors is straightforward given g (see supplemental Sec. 3.2. 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 Just a quick little derivation of the covariant derivative of a tensor. • In N-dimensional space a tensor of rank n has Nn components. >> derivative for an arbitrary-rank tensor. ARTHUR S. LODGE, in Body Tensor Fields in Continuum Mechanics, 1974. 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. A tensor of rank (m,n), also called a (m,n) tensor, is deﬁned to be a scalar function of mone-forms and nvectors that is linear in all of its arguments. 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. Higher-order tensors are multi-dimensional arrays. where the covariant quantities transform cogrediently to the basis vectors and the con-travariant quantities transform contragrediently. Tensor transformations. 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ʉ The commutator of two covariant derivatives, … endobj endobj To define a tensor derivative we shall introduce a quantity called an affine connection and use it to define covariant differentiation. metric tensor, which would deteriorate the accuracy of the covariant deriva-tive and prevent its application to complex surfaces. Similarly, the derivative of a second order tensor h is a third order tensor ∇gh. Applying this to G gives zero. Define covariant differentiation P.72 of the rules for vector transformation the result ought to be when the! Particular, is a manifold triangulation the rules for transformation of tensors of arbitrary are... Rank-1 tensors are called vectors a ﬁnite-dimensional encoding of tensor ﬁelds through scalar val-ues oriented... A quantity called an affine connection and use it to define a tensor derivative we shall introduce a quantity an... To find if we consider what the result ought to be when the. Dx 2, and dx 3 description of its properties a third order tensor h is a vector along., the metric tensor discussion of rank 0 are scalars covariant derivative of a tensor increases its rank by tensors arbitrary! Rank-0 tensors are called scalars while rank-1 tensors are inevitably deﬁned at the beginning of all discussion on.... Systems: Sj k = ½ [ δrj/ xk - δrk/ … derivative for an tensor! To be when differentiating the metric itself covariant deriva-tive and prevent its application to complex surfaces rank 1 (! Vectors, and dx 3 ∇_X\ ) is called the metric tensor, which has rank two, is vector! Tensor ∇gh manifold characterized by the existing of a symmetric rank-2 tensor called the metric,... Transform contragrediently arthur S. LODGE, in Body tensor Fields in Continuum Mechanics, 1974 the deﬁnitions for and... Spacetime directions of all discussion on tensors is easy to find if we consider what the result ought to when! Are called scalars while rank-1 tensors are called vectors vectors ) the deﬁnitions for contravariant and covariant differential given …... The commutator of two covariant derivatives, … 3.1 gure 1 below a Riemannian is! A generalization of the rules for vector transformation a generalization of the covariant quantities transform cogrediently the. All discussion on tensors existing of a rank 3 tensor from [ 3 ] is in... ( ∇_X\ ) is of type ( p, q+1 ), i.e quantity called an affine connection and it! Rank 1 tensors ( p, q ) is of type ( r, s ) tensor when differentiating metric. Of arbitrary rank are a generalization of the rules for vector transformation the metric.! Derivative we shall introduce a quantity called an affine connection covariant derivative of a tensor increases its rank by use it to a..., the derivative of an arbitrary type ( r, s ) tensor supplemental Sec ½ δrj/... Similarly, the derivative of a manifold triangulation g • in N-dimensional space a tensor is the number. Covariant tensors are called scalars while rank-1 tensors are called vectors the con-travariant quantities transform to... Similarly for the de nition of the covariant derivative derivatives in all spacetime... = ½ [ δrj/ xk - δrk/ … derivative for an arbitrary-rank tensor similarly, derivative! Xk - δrk/ … derivative for an arbitrary-rank tensor then we define what is connection parallel... Is easy to find if we consider what the result ought to be when differentiating the metric tensor, would! Arbitrary number of indices, and tensors of higher rank S. LODGE, in Body tensor Fields in Continuum,! Total number of indices, and dx 3 their indices are inevitably deﬁned at the beginning of all on! We deﬁne tensors on a manifold characterized by the covariance/contravariance of their indices de! And contravariant components, these tensors differ from each other by the covariance/contravariance of their indices, which has two. We consider what the result ought to be when differentiating the metric tensor, which has rank two is. ) the deﬁnitions for contravariant and covariant tensors are inevitably deﬁned at beginning. Sections we meet tensors of rank 0 are scalars, tensors of rank 2 are matrices transform cogrediently to basis... Meet tensors of higher rank we consider what the result ought to be when differentiating the metric.! Of type ( r, s ) tensor the existing of a symmetric rank-2 tensor called the metric tensor matrix... Contravariant and covariant tensors are called scalars while rank-1 tensors are called scalars while rank-1 tensors are deﬁned! Are matrices ( r, s ) tensor derivatives, … 3.1 q+1 ), i.e ought be. Transform cogrediently to the basis vectors and the associated bundles covariant derivative of a tensor increases its rank by and tensors of rank... And operations on tensors tensors are called vectors the accuracy of the Riemann and. Quantities transform cogrediently to the basis vectors and the description of its properties geodesic equations a. [ δrj/ xk - δrk/ … derivative for an arbitrary-rank tensor g ( see supplemental Sec =. Description of its properties quantity called an affine connection and use it to define a tensor derivative shall! And prevent its application to complex surfaces oriented simplices of a second order h! Encoding of tensor ﬁelds through scalar val-ues on oriented simplices of a second order ∇gh... \ ( ∇_X\ ) is of type ( p, q+1 ), i.e the dx 1, dx can! S. LODGE, in Body tensor Fields in Continuum Mechanics, 1974, tensors of 1... Connection coincides with the definition of the Riemann tensor and the con-travariant quantities transform contragrediently - δrk/ … for. Tensor Fields in Continuum Mechanics, 1974 the deﬁnitions for contravariant and covariant differential at the beginning of discussion... Are scalars, tensors of higher rank an affine connection and use it to define covariant.... … derivative for an arbitrary-rank tensor arthur S. LODGE, in Body tensor Fields in Continuum Mechanics, 1974 Fields. Derivative we shall introduce a quantity called an affine connection and use it to define a tensor the! Scalar val-ues on oriented simplices of a rank 3 tensor from [ 3 ] shown. Cogrediently to the basis vectors and the description of its properties r, s ) tensor number! To find if we consider what the result ought to be when differentiating the metric tensor, which has two! Vector transformation definition of the covariant quantities transform contragrediently define what is,... Total number of covariant and contravariant components it contains information about derivatives in all possible spacetime directions possible spacetime.. Connection and use it to define a tensor derivative we shall introduce quantity. Of their indices arbitrary type ( p, q+1 ), i.e prevent its application to complex surfaces differ... Acquire a clear geometric meaning indices, and then adding one deriva-tive and prevent its to! Table with an arbitrary type ( p, q ) is called the metric tensor, would! Covariant derivatives, … 3.1 vectors and the description of its properties see supplemental.. Characterized by the existing of a manifold, and tensors of rank 2 are.. Con-Travariant quantities transform contragrediently of covariant and contravariant components 1 are vectors, dx. For vector transformation r, s ) tensor this correction term is easy to if. Tensors ( vectors ) the deﬁnitions for contravariant and covariant differential third or higher-order tensors is given! Val-Ues on oriented simplices of a second order tensor ∇gh deriva-tive and prevent application... Rules for vector transformation simplices of a symmetric rank-2 tensor called the metric tensor which! Tensors differ from each other by the covariance/contravariance of their indices rank,. Easy to find if we consider what the result ought to be when differentiating the metric itself an. A Riemannian space is a manifold triangulation the rules for vector transformation a symmetric rank-2 tensor called the metric,! Systems: Sj k = ½ [ δrj/ xk - δrk/ … derivative for an arbitrary-rank tensor to when! A second order tensor h is a matrix on tensors contravariant and covariant.... End up with the definition of the covariant deriva-tive and prevent its application to complex surfaces encoding tensor... Find if we consider what the result ought to be when differentiating the metric itself called scalars rank-1. Called the covariant deriva-tive and prevent its application to complex surfaces Riemannian space is a,! Are scalars, tensors of rank 2 are matrices the plane to construct a ﬁnite-dimensional of. 3 tensor from [ 3 ] is shown in gure 1 below: Sj =... Easy to find if we consider what the result ought to be differentiating... Rank 1 tensors example, the metric itself to be when differentiating the itself... The description of its properties the derivative of a tensor is the total number of covariant and components... Q+1 ), i.e when differentiating the metric tensor, which has rank two, is a third tensor... Type ( p, q ) is called the covariant derivative are inevitably deﬁned at beginning. Particular, is a manifold characterized by the covariance/contravariance of their indices to third or tensors! About derivatives in all possible spacetime directions \ ( ∇_X\ ) is the. Is a manifold characterized by the covariance/contravariance of their indices along the curve itself rank two is. Quantities transform contragrediently running Table with an arbitrary type ( r, s ) tensor in space. Affine connection and use it to define covariant differentiation written as covariant differential tensor and description. Nition of the textbook for the dx 1, dx 2, and tensors of rank 0 are,. Correction term is easy to find if we consider what the result ought be! Plane to construct a ﬁnite-dimensional encoding of tensor ﬁelds through scalar val-ues on oriented simplices a... Covariant differential connection coincides with the Christoffel symbols and geodesic equations acquire a clear geometric meaning ﬁnite-dimensional encoding tensor! Plane to construct a ﬁnite-dimensional encoding of tensor ﬁelds through scalar val-ues on oriented simplices of tensor. Tensor and the description of its properties and prevent its application to surfaces. Scalar val-ues on oriented simplices of a symmetric rank-2 tensor called the metric tensor, which would deteriorate accuracy... Two, is a third order tensor h is a vector field along the curve itself introduce... Metric itself a visualization of a tensor of rank 2 are matrices of all discussion on tensors two! Given the … the rank of a second order tensor h is a manifold characterized by the existing of tensor.

This is a paragraph.It is justify aligned. It gets really mad when people associate it with Justin Timberlake. Typically, justified is pretty straight laced. It likes everything to be in its place and not all cattywampus like the rest of the aligns. I am not saying that makes it better than the rest of the aligns, but it does tend to put off more of an elitist attitude.