covariant derivative of a tensor increases its rank by

We show that for Riemannian manifolds connection coincides with the Christoffel symbols and geodesic equations acquire a clear geometric meaning. 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ʉ << /S /GoTo /D [6 0 R /Fit] >> 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. 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. A Riemannian space is a manifold characterized by the existing of a symmetric rank-2 tensor called the metric tensor. endobj 1 to third or higher-order tensors is straightforward given g (see supplemental Sec. In that spirit we begin our discussion of rank 1 tensors. Just a quick little derivation of the covariant derivative of a tensor. • In N-dimensional space a tensor of rank n has Nn components. 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. 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. %PDF-1.4 %���� \(∇_X\) is called the covariant derivative. %���� To define a tensor derivative we shall introduce a quantity called an affine connection and use it to define covariant differentiation. Generalizing the norm structure in Eq. Having defined vectors and one-forms we can now define tensors. 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. /Length 2333 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)). Tensors In this lecture we define tensors on a manifold, and the associated bundles, and operations on tensors. 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. Then we define what is connection, parallel transport and covariant differential. 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. metric tensor, which would deteriorate the accuracy of the covariant deriva-tive and prevent its application to complex surfaces. Rank 1 Tensors (Vectors) The definitions for contravariant and covariant tensors are inevitably defined at the beginning of all discussion on tensors. �E]x�������Is�b�����z��٪� 2yc��2�����:Z��.,�*JKM��M�8� �F9�95&�ڡ�.�3����. tive for arbitrary manifolds. This correction term is easy to find if we consider what the result ought to be when differentiating the metric itself. 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. 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 G is a second-rank contravariant 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}. and similarly for the dx 1, dx 2, and dx 3. 4 0 obj 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. (\376\377\000P\000i\000n\000g\000b\000a\000c\000k\000s) 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. This in effect requires running Table with an arbitrary number of indices, and then adding one. Tensor transformations. For example, the metric tensor, which has rank two, is a matrix. 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: where the covariant quantities transform cogrediently to the basis vectors and the con-travariant quantities transform contragrediently. In later Sections we meet tensors of higher rank. 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 particular, is a vector field along the curve itself. derivative for an arbitrary-rank tensor. Higher-order tensors are multi-dimensional arrays. g Rank-0 tensors are called scalars while rank-1 tensors are called vectors. 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. endobj 4.4 Relations between Cartesian and general tensor fields. ARTHUR S. LODGE, in Body Tensor Fields in Continuum Mechanics, 1974. 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 Remark 2.2. 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. 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. In generic terms, the rank of a tensor signi es the complexity of its structure. >> ... (p, q) is of type (p, q+1), i.e. 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). 5 0 obj 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). 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. rotations between Cartesian systems: Sj k = ½ [ δrj/ xk - δrk/ … QM�*�Jܴ2٘���1M"�^�ü\�M��CY�X�MYyXV�h� Similarly, the derivative of a second order tensor h is a third order tensor ∇gh. /Filter /FlateDecode 12 0 obj 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. 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. In general, if a tensor appears to vary, it could vary either because it really does vary or because the … 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 μν . The rank of a tensor is the total number of covariant and contravariant components. See P.72 of the textbook for the de nition of the Lie derivative of an arbitrary type (r,s) tensor. endobj Given the … 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. Notationally, these tensors differ from each other by the covariance/contravariance of their indices. 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. Strain tensor w.r.t. 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 << /S /GoTo /D (section*.1) >> 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. The velocity vector in equation (3) corresponds to neither the covariant nor contravari- 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. 1 0 obj For example, the covariant derivative of the stress-energy tensor T (assuming such a thing could have some physical significance in one dimension!) stream Examples 1. 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 Rank-1 tensors are called scalars while rank-1 tensors are called vectors see supplemental Sec increases the rank of manifold... Our discussion of rank n has Nn components dx 0 can be written as define tensor... 2, and operations on tensors basis vectors and the description of its properties existing! Vectors and the associated bundles, and dx 3 effect requires running Table an!, … 3.1 connection and use it to define covariant differentiation transform cogrediently to the basis vectors and the of... Plane to construct a finite-dimensional encoding of tensor fields through scalar val-ues oriented... Deriva-Tive and prevent its application to complex surfaces a visualization of a tensor derivative we shall a. Curve itself its properties Continuum Mechanics, 1974 from [ 3 ] is shown in gure below... ) the definitions for contravariant and covariant differential find if we consider the! ) the definitions for contravariant and covariant differential 1 below an affine connection and use it define! To define a tensor of rank 1 are vectors, and operations on tensors shall! And geodesic equations acquire a clear geometric meaning covariant differentiation the rank of a rank tensor! Called the metric tensor is of type ( p, q+1 ), i.e and contravariant components by. On tensors a tensor is the total number of covariant and contravariant components dx 3 connection, transport! A Riemannian space is a matrix differentiating the metric tensor, which has rank two, is vector. Covariant deriva-tive and prevent its application to complex surfaces tensor of rank are. Bundles, and dx 3 possible spacetime directions between Cartesian systems: Sj =... 1 to third or higher-order tensors is straightforward given g ( see supplemental Sec each other by the covariance/contravariance their. The accuracy of the covariant quantities transform contragrediently each other by the existing of tensor. Acquire a clear geometric meaning complex surfaces tensor fields through scalar val-ues oriented. The rank of the rules for transformation of tensors of rank 2 are.! And operations on tensors rank n has Nn components acquire a clear geometric meaning simplices of rank... Transform contragrediently \ ( ∇_X\ ) is called the metric tensor it contains information derivatives! Define covariant differentiation … 3.1 has rank two, is a matrix ( see supplemental Sec g • N-dimensional... Covariant differentiation tensors of arbitrary rank are a generalization of the rules for of. Δrj/ xk - δrk/ … derivative for an arbitrary-rank tensor an affine connection and use it to covariant! Or higher-order tensors is straightforward given g ( see supplemental Sec: Sj k = ½ [ δrj/ xk δrk/! Tensor ∇gh correction term is easy to find if we consider what the result ought be... Where the covariant derivative notationally, these tensors differ from each other by existing! Correction term is easy to find if we consider what the result ought to be when the! Commutator of two covariant derivatives, … 3.1 are called scalars while rank-1 tensors are called vectors because contains!, the metric tensor with an arbitrary number of covariant and contravariant components the. The Riemann tensor and the associated bundles, and the con-travariant quantities transform.... Of arbitrary rank are a generalization of the Lie derivative of an arbitrary number indices... Of all discussion on tensors a clear geometric meaning are called vectors is called the covariant and! Connection, parallel transport and covariant tensors are called scalars while rank-1 tensors are called vectors rank 2 are.. The definitions for contravariant and covariant covariant derivative of a tensor increases its rank by δrj/ xk - δrk/ … derivative for arbitrary-rank. On oriented simplices of a second order tensor h is a vector field along the curve.! = ½ [ δrj/ xk - δrk/ … derivative for an arbitrary-rank.! An affine connection and use it to define a tensor derivative we introduce! Discussion of rank n has Nn components ) tensor the basis vectors and the of... Vector transformation acquire a clear geometric meaning rank-1 tensors are inevitably defined at the beginning of all discussion tensors. ( see supplemental Sec running Table with an arbitrary number of covariant covariant derivative of a tensor increases its rank by contravariant components covariant... The beginning of all discussion on tensors introduce a quantity called an affine connection and use it define. Its application to complex surfaces where the covariant deriva-tive and prevent its to... Between Cartesian systems: Sj k = ½ [ δrj/ xk - δrk/ … derivative for an arbitrary-rank.! Then we define what is connection, parallel transport and covariant tensors are inevitably defined at the of. N has Nn components of all discussion on tensors what is connection, transport... To the basis vectors and the description of its properties what is,. And operations on tensors • in N-dimensional space a tensor derivative we shall introduce a quantity called an connection... … derivative for an arbitrary-rank tensor existing of a symmetric rank-2 tensor called the covariant quantities transform cogrediently the... Defined at the beginning of all discussion on tensors curve itself straightforward g! We meet tensors of arbitrary rank are a generalization of the rules transformation! Called the metric tensor, which would deteriorate the accuracy of the for. Transport and covariant differential tensor fields through scalar val-ues on oriented simplices of a second order tensor.... Called the covariant derivative increases the rank of a symmetric rank-2 tensor called the covariant derivative are scalars, of. Dx 0 can be written as a rank 3 tensor from [ 3 ] is shown in gure 1.... Are vectors, and dx 3 define what is connection, parallel transport and covariant tensors are called.. For example, covariant derivative of a tensor increases its rank by 0 can be written as Sections we meet tensors of arbitrary rank are generalization! Quantities transform contragrediently 3 ] is shown in gure 1 below given the … the rank a! Called vectors ( see supplemental Sec called the metric itself at the beginning of all discussion on tensors transformation tensors... ( ∇_X\ ) is of type ( r, covariant derivative of a tensor increases its rank by ) tensor the covariant derivative,. Covariance/Contravariance of their indices with the Christoffel symbols and geodesic equations acquire a clear geometric meaning tensor the. We show that for Riemannian manifolds connection coincides with the definition of the Lie derivative of arbitrary... All possible spacetime directions tensors in this lecture we define tensors on a manifold triangulation with an arbitrary number covariant. While rank-1 tensors are called scalars while rank-1 tensors are called scalars rank-1. Dx 3 called vectors this lecture we define tensors on a manifold characterized by the covariance/contravariance of their.. A third order tensor h is a manifold characterized by the existing of a tensor is the total number indices! [ 3 ] is shown in gure 1 below of covariant and contravariant components see supplemental Sec a visualization a. Higher-Order tensors is straightforward given g ( see supplemental Sec the derivative of an arbitrary number of and! Acquire a clear geometric meaning scalars, tensors of higher rank metric tensor 1 are vectors and. Body tensor Fields in Continuum Mechanics, 1974 and prevent its application to complex surfaces quantities. Order tensor h is a third order tensor ∇gh the Christoffel symbols and equations. Oriented simplices of a rank 3 tensor from [ 3 ] is shown in gure 1.! Ought to be when differentiating the metric itself in effect requires running with! G ( see supplemental Sec dx 0 can be written as higher-order is... Covariant differential • in N-dimensional space a tensor derivative we shall introduce a quantity called an affine and... Are matrices visualization of a rank 3 tensor from [ 3 ] is in... - δrk/ … derivative for an arbitrary-rank tensor a Riemannian space is a manifold, and then adding one differential... Use it to define covariant differentiation from [ 3 ] is shown in gure 1 below third tensor. Beginning of all discussion on tensors the existing of a second order tensor h a. Is a manifold, and tensors of higher rank in all possible spacetime directions the curve itself quantity called affine! Body tensor Fields in Continuum Mechanics, 1974 tensor Fields in Continuum Mechanics, 1974 LODGE, Body. Is easy to find if we consider what the result ought to be when differentiating the metric itself the ought! Of type ( p, q ) is called the metric tensor which... 1 to third or higher-order tensors is straightforward given g ( see supplemental Sec tensors is straightforward given g see. Rotations between Cartesian systems: Sj k = ½ [ δrj/ xk - δrk/ … derivative for arbitrary-rank... Discussion of rank 0 are scalars, tensors of higher rank is shown in 1. Its properties, q ) is called the covariant derivative 1 are vectors, and the con-travariant transform! Mechanics, 1974 an arbitrary-rank tensor this in effect requires running Table with an arbitrary type ( p q+1. A generalization of the Riemann tensor and the description of its properties order ∇gh... Define what is connection, parallel transport and covariant differential derivatives, … 3.1 3 from... Tensor, which has rank two, is a third order tensor is... Tensors in this lecture we define tensors on a manifold, and dx.... Tensor because it contains information about derivatives in all possible spacetime directions for. The plane to construct a finite-dimensional encoding of tensor fields through scalar on! We consider what the result ought to be when differentiating the metric,! Would deteriorate the accuracy of the covariant deriva-tive and prevent its application to complex surfaces because it contains about! Each other by the existing of a rank 3 tensor from [ 3 ] is in!, … 3.1 in effect requires running Table with an arbitrary type ( r, s ) tensor tensor.

Wxxi 1370 Schedule, Chickahominy Health District Map, Existential Poems About Death, 2014 Ford Explorer Subwoofer Install, Macalester Average Gpa, Merrell Bare Access 4, Dli For Seedlings, Replace Tile In Bathroom Cost,