|
|
| Line 1: |
Line 1: |
| {{about|covariant derivatives|directional tensor derivatives with respect to continuum mechanics|Tensor derivative (continuum mechanics)}}
| | Prior to this enjoying a brand additional clash of clans chop tool, see the gain a advantage book. Most flash games possess a book it is buy individually. You might like to think about doing this guidance and studying it anyone decide to play, or even you should playing. In certain manner, you can get the most out of your gameplay.<br><br> |
|
| |
|
| In [[mathematics]], the '''covariant derivative''' is a way of specifying a [[derivative]] along [[tangent vector]]s of a [[manifold]]. Alternatively, the covariant derivative is a way of introducing and working with a [[connection (mathematics)|connection]] on a manifold by means of a [[differential operator]], to be contrasted with the approach given by a [[connection (principal bundle)|principal connection]] on the frame bundle – see [[affine connection]]. In the special case of a manifold isometrically embedded into a higher dimensional [[Euclidean space]], the covariant derivative can be viewed as the [[orthogonal projection]] of the Euclidean derivative along a tangent vector onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.
| | Game titles are fun to explore your kids. Assist you learn much another recommendation of your kid's interests. Sharing interests with children like this can on top of that create great conversations. It also gives you an opportunity to monitor expansion of their skills.<br><br>The outcome displayed in the graph or chart are too apparent to be ignored. Even young could work out that the nationwide debt has invariably relied upon clash of clans hack into tool no survey any certain extent, but now more that ever. Lots of analysts fear a appropriate depression.<br><br>If the system that your tiny is enjoying on can connect with the Net, be sure that anybody fix the settings for your loved ones before he [http://Performs.net/ performs] with it. You're going to be able to safeguard your kid straight from vulnerability to unsavory amount utilizing these filter places. There are also options to certain the amount of chat they can participate with others when online.<br><br>During the game is any kind of mobile edition, it may not lack substance for example many mobile games. So, defragging the process registry will boost its system overall performance within order to a fantastic extent. I usually get anywhere from 4000 to 5000 m - Points in the day ($4 to $5 for Amazon. The showed off the extremely anticipated i - Cell phone 5 for the first time in San Francisco on Wednesday morning (September 12, 2012). Will be a huge demand to have some i - Cellular telephone 4 application not only promoting business but likewise helps users to make extra money.<br><br>Will you perform online multi-player game titles, don't overlook the strength of voice of voice chat! A mic or headphones is a very not complex expenditure, and having the capability to speak to your fellow athletes offers you a lot of gifts. If you have any type of concerns concerning where and exactly how to make use of clash of clans cheat ([http://circuspartypanama.com my homepage]), you can call us at our own webpage. You are within a position to create more vibrant connections with the gaming community and stay an actual far more successful party person when you can be able connect out loud.<br><br>Disclaimer: I aggregate the guidance on this commodity by game a lot of CoC and accomplishing some study. To the best involving my knowledge, is it authentic along with I accept amateur charged up all abstracts and estimations. Nevertheless, it is consistently accessible which i accept fabricated a aberration about or which these bold has [http://pinterest.com/search/pins/?q=afflicted afflicted] bottom publication. Use within your very own risk, I do not accommodate virtually any assurances. Please get in blow if you'll acquisition annihilation amiss. |
| | |
| This article presents an introduction to the covariant derivative of a [[vector field]] with respect to a vector field, both in a coordinate free language and using a local [[coordinate system]] and the traditional index notation. The covariant derivative of a [[tensor field]] is presented as an extension of the same concept. The covariant derivative generalizes straightforwardly to a notion of differentiation associated to a [[connection on a vector bundle]], also known as a '''Koszul connection'''.
| |
| | |
| ==Introduction and history==
| |
| Historically, at the turn of the 20th century, the covariant derivative was introduced by [[Gregorio Ricci-Curbastro]] and [[Tullio Levi-Civita]]<ref>Levi-Civita, T. and Ricci, G. "Méthodes de calcul différential absolu et leurs applications", ''Math. Ann. B'', '''54''' (1900) 125–201.</ref> in the theory of [[Riemannian geometry|Riemannian]] and [[pseudo-Riemannian manifold|pseudo-Riemannian geometry]]. Ricci and Levi-Civita (following ideas of [[Elwin Bruno Christoffel]]) observed that the [[Christoffel symbols]] used to define the [[Riemann tensor|curvature]]<ref>[[Riemann]], G.F.B., "Über die Hypothesen, welche der Geomtrie zu Grunde liegen", ''Gesammelte Mathematische Werke'' (1866); reprint, ed. Weber, H.: Dover, New York, 1953.</ref><ref>Christoffel, E.B., "Über die Transformation der homogenen Differentialausdrücke zweiten Grades," ''J. für die Reine und Angew. Math.'' '''70''' (1869), 46–70.</ref> could also provide a notion of [[derivative|differentiation]] which generalized the classical [[directional derivative]] of [[vector fields]] on a manifold. This new derivative – the [[Levi-Civita connection]] – was ''[[Covariance and contravariance of vectors|covariant]]'' in the sense that it satisfied Riemann's requirement that objects in geometry should be independent of their description in a particular coordinate system.
| |
| | |
| It was soon noted by other mathematicians, prominent among these being [[Hermann Weyl]], [[Jan Arnoldus Schouten]], and [[Élie Cartan]],<ref>cf. with Cartan, E. [http://www.numdam.org/item?id=ASENS_1923_3_40__325_0 "Sur les variétés à connexion affine et la theorie de la relativité généralisée"], ''Annales, Ecole Normale'' '''40''' (1923), 325–412.</ref> that a covariant derivative could be defined abstractly without the presence of a [[metric tensor|metric]]. The crucial feature was not a particular dependence on the metric, but that the Christoffel symbols satisfied a certain precise second order transformation law. This transformation law could serve as a starting point for defining the derivative in a covariant manner. Thus the theory of covariant differentiation forked off from the strictly Riemannian context to include a wider range of possible geometries.
| |
| | |
| In the 1940s, practitioners of [[differential geometry]] began introducing other notions of covariant differentiation in general [[vector bundle]]s which were, in contrast to the classical bundles of interest to geometers, not part of the [[tensor analysis]] of the manifold. By and large, these generalized covariant derivatives had to be specified ''ad hoc'' by some version of the connection concept. In 1950, [[Jean-Louis Koszul]] unified these new ideas of covariant differentiation in a vector bundle by means of what is known today as a '''[[connection (vector bundle)|Koszul connection]]''' <ref>Koszul, J. L. "Homologie et cohomologie des algebres de Lie", ''Bulletin de la Société Mathématique'' '''78''' (1950) 65–127.</ref> or a '''connection on a vector bundle'''. Using ideas from [[Lie algebra cohomology]], Koszul successfully converted many of the analytic features of covariant differentiation into algebraic ones. In particular, Koszul connections eliminated the need for awkward manipulations of [[Christoffel symbols]] (and other analogous non-[[tensor]]ial) objects in differential geometry. Thus they quickly supplanted the classical notion of covariant derivative in many post-1950 treatments of the subject.
| |
| | |
| ==Motivation==
| |
| The '''covariant derivative''' is a generalization of the [[directional derivative]] from [[vector calculus]]. As with the directional derivative, the covariant derivative is a rule, <math>\nabla_{\bold u}{\bold v}</math>, which takes as its inputs: (1) a vector, '''u''', defined at a point ''P'', and (2) a [[vector field]], '''v''', defined in a neighborhood of ''P''.<ref>The covariant derivative is also denoted variously by '''<math>\partial</math><sub>v</sub>u''', '''D<sub>v</sub>u''', or other notations.</ref> The output is the vector <math>\nabla_{\bold u}{\bold v}(P)</math>, also at the point ''P''. The primary difference from the usual directional derivative is that <math>\nabla_{\bold u}{\bold v}</math> must, in a certain precise sense, be ''independent'' of the manner in which it is expressed in a [[coordinate system]].
| |
| | |
| A vector may be ''described'' as a list of numbers in terms of a [[basis (mathematics)|basis]], but as a geometrical object a vector retains its own identity regardless of how one chooses to describe it in a basis. This persistence of identity is reflected in the fact that when a vector is written in one basis, and then the basis is changed, the vector transforms according to a [[change of basis]] formula. Such a transformation law is known as a [[covariant transformation]]. The covariant derivative is required to transform, under a change in coordinates, in the same way as a vector does: the covariant derivative must change by a covariant transformation (hence the name).
| |
| | |
| In the case of [[Euclidean space]], one tends to define the derivative of a vector field in terms of the difference between two vectors at two nearby points.
| |
| In such a system one [[Translation (geometry)|translates]] one of the vectors to the origin of the other, keeping it parallel. With a Cartesian (fixed [[orthonormal]]) coordinate system we thus obtain the simplest example: covariant derivative which is obtained by taking the derivative of the components.
| |
| | |
| In the general case, however, one must take into account the change of the coordinate system. For example, if the same covariant derivative is written in [[coordinates (elementary mathematics)|polar coordinates]] in a two dimensional Euclidean plane, then it contains extra terms that describe how the coordinate grid itself "rotates". In other cases the extra terms describe how the coordinate grid expands, contracts, twists, interweaves, etc.
| |
| | |
| Consider the example of moving along a curve γ(''t'') in the Euclidean plane. In polar coordinates, γ may be written in terms of its radial and angular coordinates by γ(''t'') = (''r''(''t''), θ(''t'')). A vector at a particular time ''t''<ref>In many applications, it may be better not to think of ''t'' as corresponding to time, at least for applications in [[general relativity]]. It is simply regarded as an abstract parameter varying smoothly and monotonically along the path.</ref> (for instance, the acceleration of the curve) is expressed in terms of <math>({\mathbf e}_r, {\mathbf e}_{\theta})</math>, where <math>{\mathbf e}_r</math> and <math>{\mathbf e}_{\theta}</math> are unit tangent vectors for the polar coordinates, serving as a basis to decompose a vector in terms of radial and [[tangential component]]s. At a slightly later time, the new basis in polar coordinates appears slightly rotated with respect to the first set. The covariant derivative of the basis vectors (the [[Christoffel symbols]]) serve to express this change.
| |
| {{Clear}}
| |
| | |
| In a curved space, such as the surface of the Earth (regarded as a sphere), the [[Translation (geometry)|translation]] is not well defined and its analog, [[parallel transport]], depends on the path along which the vector is translated.
| |
| | |
| A vector '''e''' on a globe on the equator in Q is directed to the north. Suppose we [[parallel transport]] the vector first along the equator until P and then (keeping it parallel to itself) drag it along a meridian to the pole N and (keeping the direction there) subsequently transport it along another meridian back to Q. Then we notice that the parallel-transported vector along a closed circuit does not return as the same vector; instead, it has another orientation. This would not happen in Euclidean space and is caused by the ''curvature'' of the surface of the globe. The same effect can be noticed if we drag the vector along an infinitesimally small closed surface subsequently along two directions and then back. The infinitesimal change of the vector is a measure of the curvature.
| |
| {{Clear}}
| |
| | |
| ===Remarks===
| |
| * The definition of the covariant derivative does not use the metric in space. However, for each metric there is a unique [[Torsion tensor|torsion]]-free covariant derivative called the [[Levi-Civita connection]] such that the covariant derivative of the metric is zero.
| |
| | |
| * The properties of a derivative imply that <math>\nabla_{\mathbf v} {\mathbf u}</math> depends on an arbitrarily small neighborhood of a point ''p'' in the same way as e.g. the derivative of a scalar function along a curve at a given point ''p'' depends on an arbitrarily small neighborhood of ''p''.
| |
| | |
| * The information on the neighborhood of a point ''p'' in the covariant derivative can be used to define [[parallel transport]] of a vector. Also the [[Curvature of Riemannian manifolds|curvature]], [[Torsion tensor|torsion]], and [[geodesic]]s may be defined only in terms of the covariant derivative or other related variation on the idea of a [[linear connection]].
| |
| | |
| ==Informal definition using an embedding into Euclidean space==
| |
| Assume a (pseudo) Riemann manifold is embedded into Euclidean space <math>(\R^n, \langle\cdot;\cdot\rangle)</math> via a (twice continuously) differentiable mapping <math>\vec\Psi : \R^d \supset U \rightarrow \R^n</math> such that the tangent space at <math>\vec\Psi(p) \in M</math> is spanned by the vectors
| |
| :<math>\left\lbrace \left. \frac{\partial\vec\Psi}{\partial x^i} \right|_p : i \in \lbrace1, \dots d\rbrace\right\rbrace</math>
| |
| | |
| and the scalar product on <math>\R^n</math> is compatible with the metric on ''M'': <math>g_{ij} = \left\langle \frac{\partial\vec\Psi}{\partial x^i} ; \frac{\partial\vec\Psi}{\partial x^j} \right\rangle</math>. (Since the manifold metric is always assumed to be regular, the compatibility condition implies linear independence of the partial derivative tangent vectors.)
| |
| | |
| For a tangent vector field
| |
| :<math>\vec V = v^j \frac{\partial \vec\Psi}{\partial x^j}\quad</math> one has <math>\quad\frac{\partial\vec V}{\partial x^i} = \frac{\partial v^j}{\partial x^i} \frac{\partial\vec \Psi}{\partial x^j} + v^j \frac{\partial^2 \vec\Psi}{\partial x^i \, \partial x^j} </math>.
| |
| The last term is not tangential to ''M'', but can be expressed as a linear combination of the tangent space base vectors using the [[Christoffel symbols]] as linear factors plus a non-tangent vector:
| |
| :<math>
| |
| \frac{\partial^2 \vec\Psi}{\partial x^i \, \partial x^j} = \Gamma^k{}_{ij} \frac{\partial\vec\Psi}{\partial x^k} + \vec n
| |
| </math>.
| |
| The covariant derivative is defined as just a tangential portion of the usual derivative:
| |
| :<math>
| |
| \nabla_i \vec V := \frac{\partial\vec V}{\partial x^i} - \vec n = \left( \frac{\partial v^k}{\partial x^i} + v^j \Gamma^k{}_{ij} \right) \frac{\partial\vec\Psi}{\partial x^k}.
| |
| </math> | |
| In the case of the [[Levi-Civita connection]] <math>\vec n</math> is required to be orthogonal to tangent space, so
| |
| :<math>
| |
| \left\langle \frac{\partial^2 \vec\Psi}{\partial x^i \, \partial x^j} ; \frac{\partial\vec \Psi}{\partial x^l} \right\rangle = \Gamma^k{}_{ij} \left\langle \frac{\partial\vec\Psi}{\partial x^k} ; \frac{\partial\vec\Psi}{\partial x^l} \right\rangle = \Gamma^k{}_{ij} \, g_{kl}
| |
| </math>.
| |
| On the other hand
| |
| :<math>
| |
| \frac{\partial g_{ab}}{\partial x^c} = \left\langle \frac{\partial^2 \vec\Psi}{ \partial x^c \, \partial x^a} ; \frac{\partial \vec\Psi}{\partial x^b} \right\rangle + \left\langle \frac{\partial \vec\Psi}{\partial x^a} ; \frac{\partial^2 \vec\Psi}{ \partial x^c \, \partial x^b} \right\rangle
| |
| </math>
| |
| implies (using the symmetry of the scalar product and swapping the order of partial differentiations)
| |
| :<math>
| |
| \frac{\partial g_{jk}}{\partial x^i} + \frac{\partial g_{ki}}{\partial x^j} - \frac{\partial g_{ij}}{\partial x^k} = 2\left\langle \frac{\partial^2 \vec\Psi}{\partial x^i \, \partial x^j} ; \frac{\partial\vec \Psi}{\partial x^k} \right\rangle
| |
| </math>
| |
| and yields the Christoffel symbols for the Levi-Civita connection in terms of the metric:
| |
| :<math>
| |
| g_{kl} \Gamma^k{}_{ij} = \frac{1}{2} \left( \frac{\partial g_{jl}}{\partial x^i} + \frac{\partial g_{li}}{\partial x^j}- \frac{\partial g_{ij}}{\partial x^l}\right).
| |
| </math>
| |
| | |
| ==Formal definition==
| |
| A covariant derivative is a [[connection (vector bundle)|(Koszul) connection]] on the [[tangent bundle]] and other [[tensor bundle]]s. Thus it has a certain behavior on functions, on vector fields, on the duals of vector fields (i.e., [[cotangent space|covector]] fields), and most generally of all, on arbitrary [[tensor field]]s. | |
| | |
| ===Functions===
| |
| Given a function <math>f\,</math>, the covariant derivative <math>\nabla_{\mathbf v}f</math> coincides with the normal differentiation of a real function in the direction of the vector '''v''', usually denoted by <math>{\mathbf v}f</math> and by <math>df({\mathbf v})</math>.
| |
| | |
| ===Vector fields===
| |
| A '''covariant derivative''' <math>\nabla</math> of a vector field <math>{\mathbf u}</math> in the direction of the vector <math>{\mathbf v} </math> denoted <math>\nabla_{\mathbf v} {\mathbf u}</math> is defined by the following properties for any vector '''v''', vector fields '''u, w''' and scalar functions ''f'' and ''g'':
| |
| # <math>\nabla_{\mathbf v} {\mathbf u}</math> is algebraically linear in <math>{\mathbf v}</math> so <math>\nabla_{f{\mathbf v}+g{\mathbf w}} {\mathbf u}=f\nabla_{\mathbf v} {\mathbf u}+g\nabla_{\mathbf w} {\mathbf u}</math>
| |
| # <math>\nabla_{\mathbf v} {\mathbf u}</math> is additive in <math>{\mathbf u}</math> so <math>\nabla_{\mathbf v}({\mathbf u}+{\mathbf w})=\nabla_{\mathbf v} {\mathbf u}+\nabla_{\mathbf v} {\mathbf w}</math>
| |
| # <math>\nabla_{\mathbf v} {\mathbf u}</math> obeys the [[product rule]], i.e. <math>\nabla_{\mathbf v} f{\mathbf u}=f\nabla_{\mathbf v} {\mathbf u}+{\mathbf u}\nabla_{\mathbf v}f</math> where <math>\nabla_{\mathbf v}f</math> is defined above.
| |
| | |
| Note that <math>\nabla_{\mathbf v} {\mathbf u}</math> at point ''p'' depends on the value of '''v''' at ''p'' and on values of '''u''' in a neighbourhood of ''p'' because of the last property, the product rule.
| |
| | |
| ===Covector fields===
| |
| Given a field of [[Cotangent space|covectors]] (or [[one-form]]) <math>\alpha</math>, its covariant derivative <math>\nabla_{\mathbf v}\alpha</math> can be defined using the following identity which is satisfied for all vector fields '''u'''
| |
| :<math>(\nabla_{\mathbf v}\alpha)({\mathbf u})=\nabla_{\mathbf v}(\alpha({\mathbf u}))-\alpha(\nabla_{\mathbf v}{\mathbf u}).</math>
| |
| The covariant derivative of a covector field along a vector field '''v''' is again a covector field.
| |
| | |
| ===Tensor fields===
| |
| Once the covariant derivative is defined for fields of vectors and covectors it can be defined for arbitrary [[Tensor (intrinsic definition)|tensor]] fields using the following identities where <math>\varphi</math> and <math>\psi\,</math> are any two tensors:
| |
| :<math>\nabla_{\mathbf v}(\varphi\otimes\psi)=(\nabla_{\mathbf v}\varphi)\otimes\psi+\varphi\otimes(\nabla_{\mathbf v}\psi),</math>
| |
| and if <math>\varphi</math> and <math>\psi</math> are tensor fields of the same tensor bundle then
| |
| :<math>\nabla_{\mathbf v}(\varphi+\psi)=\nabla_{\mathbf v}\varphi+\nabla_{\mathbf v}\psi.</math>
| |
| The covariant derivative of a tensor field along a vector field '''v''' is again a tensor field of the same type.
| |
| | |
| Explicitly, let ''T'' be a tensor field of type (''p'',''q''). Consider ''T'' to be a differentiable [[multilinear map]] of [[smooth function|smooth]] [[section (fiber bundle)|sections]] α<sup>1</sup>, α<sup>2</sup>, ..., α<sup>q</sup> of the cotangent bundle ''T*M'' and of sections ''X''<sub>1</sub>, ''X''<sub>2</sub>, ... ''X''<sub>p</sub> of the [[tangent bundle]] ''TM'', written ''T''(α<sup>1</sup>, α<sup>2</sup>, ..., ''X''<sub>1</sub>, ''X''<sub>2</sub>, ...) into '''R'''. The covariant derivative of ''T'' along ''Y'' is given by the formula
| |
| | |
| :<math>(\nabla_Y T)(\alpha_1, \alpha_2, \ldots, X_1, X_2, \ldots) =Y(T(\alpha_1,\alpha_2,\ldots,X_1,X_2,\ldots))</math>
| |
| ::<math>- T(\nabla_Y\alpha_1, \alpha_2, \ldots, X_1, X_2, \ldots) | |
| - T(\alpha_1, \nabla_Y\alpha_2, \ldots, X_1, X_2, \ldots) -\ldots </math>
| |
| ::<math>- T(\alpha_1, \alpha_2, \ldots, \nabla_YX_1, X_2, \ldots)
| |
| - T(\alpha_1, \alpha_2, \ldots, X_1, \nabla_YX_2, \ldots) - \ldots
| |
| </math>
| |
| | |
| ==Coordinate description==
| |
| {{Dablink|This section uses the [[Einstein summation convention]].}}
| |
| Given coordinate functions
| |
| : <math>x^i,\ i=0,1,2,\dots</math>,
| |
| any [[tangent vector]] can be described by its components in the basis
| |
| : <math>\mathbf{e}_i={\partial\over\partial x^i}</math>.
| |
| The covariant derivative of a basis vector along a basis vector is again a vector and so can be expressed as a linear combination <math>\Gamma^k {\mathbf e}_k\,</math>.
| |
| To specify the covariant derivative it is enough to specify the covariant derivative of each basis vector field <math>{\mathbf e}_j\,</math> along <math>{\mathbf e}_i\,</math>. | |
| :<math> \nabla_{{\mathbf e}_i} {\mathbf e}_j = \Gamma^k {}_{i j} {\mathbf e}_k,</math>
| |
| the coefficients <math>\Gamma^k_{\ i j}</math> are called '''[[Christoffel symbols]]'''.
| |
| Then using the rules in the definition, we find that for general vector fields <math>{\mathbf v}= v^ie_i</math> and <math>{\mathbf u}= u^je_j</math> we get
| |
| :<math> \nabla_{\mathbf v} {\mathbf u} = \nabla_{v^i {\mathbf e}_i} u^j {\mathbf e}_j = v^i \nabla_{{\mathbf e}_i} u^j{\mathbf e}_j = v^i u^j \nabla_{{\mathbf e}_i} {\mathbf e}_j + v^i {\mathbf e}_j \nabla_{{\mathbf e}_i} u^j = v^i u^j \Gamma^k {}_{i j}{\mathbf e}_k+v^i{\partial u^j\over\partial x^i} {\mathbf e}_j </math>
| |
| so
| |
| :<math> \nabla_{\mathbf v} {\mathbf u} = \left(v^i u^j \Gamma^k {}_{i j}+v^i{\partial u^k\over\partial x^i}\right){\mathbf e}_k</math>
| |
| The first term in this formula is responsible for "twisting" the coordinate system with respect to the covariant derivative and the second for changes of components of the vector field ''u''. In particular
| |
| :<math>\nabla_{{\mathbf e}_j} {\mathbf u}=\nabla_j {\mathbf u} = \left( \frac{\partial u^i}{\partial x^j} + u^k \Gamma^i {}_{jk} \right) {\mathbf e}_i </math>
| |
| In words: the covariant derivative is the usual derivative along the coordinates with correction terms which tell how the coordinates change.
| |
| | |
| The covariant derivative of a type (''r'',''s'') tensor field along <math>e_c</math> is given by the expression:
| |
| | |
| :<math> (\nabla_c T)^{a_1 \ldots a_r}{}_{b_1 \ldots b_s} = \frac{\partial}{\partial x^c}T^{a_1 \ldots a_r}{}_{b_1 \ldots b_s}+\,\Gamma ^{a_1}{}_{dc} T ^{d \ldots a_r}{}_{b_1 \ldots b_s} + \cdots + \Gamma ^{a_r}{}_{dc} T ^{a_1 \ldots a_{r-1}d}{}_{b_1 \ldots b_s} </math>
| |
| ::::::::<math> -\,\Gamma ^d {}_{b_1 c} T ^{a_1 \ldots a_r}{}_{d \ldots b_s} - \cdots - \Gamma ^d {}_{b_s c} T ^{a_1 \ldots a_r}{}_{b_1 \ldots b_{s-1} d}.
| |
| </math>
| |
| | |
| Or, in words: take the partial derivative of the tensor and add: a <math>+\Gamma^{a_i}{}_{dc}</math> for every upper index <math>a_i</math>, and a <math>-\Gamma^{d}{}_{b_ic}</math> for every lower index <math>b_i</math>.
| |
| | |
| If instead of a tensor, one is trying to differentiate a ''[[tensor density]]'' (of weight +1), then you also add a term
| |
| :<math>-\Gamma^d{}_{d c} T^{a_1 \ldots a_r}{}_{b_1 \ldots b_s}.</math>
| |
| If it is a tensor density of weight ''W'', then multiply that term by ''W''.
| |
| For example, <math>\sqrt{-g}</math> is a scalar density (of weight +1), so we get:
| |
| :<math>(\sqrt{-g})_{;c} = (\sqrt{-g})_{,c} - \sqrt{-g}\,\Gamma^{d}{}_{d c}</math>
| |
| where semicolon ";" indicates covariant differentiation and comma "," indicates partial differentiation. Incidentally, this particular expression is equal to zero, because the covariant derivative of a function solely of the metric is always zero.
| |
| | |
| ==Examples==
| |
| For a scalar field <math>\displaystyle \phi\,</math>, covariant differentiation is simply partial differentiation:
| |
| :<math>\displaystyle \phi_{;a}\equiv \partial_a \phi</math>
| |
| | |
| For a contravariant vector field <math>\lambda^a\,</math>, we have:
| |
| :<math>\lambda^a{}_{;b}\equiv \partial_b \lambda^a+\Gamma^a{}_{bc}\lambda^c</math>
| |
| | |
| For a covariant vector field <math>\lambda_a\,</math>, we have:
| |
| :<math>\lambda_{a;c}\equiv \partial_c \lambda_a-\Gamma^b{}_{c a}\lambda_b</math>
| |
| | |
| For a type (2,0) tensor field <math>\tau^{a b}\,</math>, we have:
| |
| :<math>\tau^{a b}{}_{;c}\equiv \partial_c \tau^{a b}+\Gamma^a{}_{c d}\tau^{d b}+\Gamma^b{}_{c d}\tau^{a d}</math>
| |
| | |
| For a type (0,2) tensor field <math>\tau_{a b}\,</math>, we have:
| |
| :<math>\tau_{a b ;c}\equiv \partial_c \tau_{a b}-\Gamma^d{}_{c a}\tau_{d b}-\Gamma^d{}_{c b}\tau_{a d}</math>
| |
| | |
| For a type (1,1) tensor field <math>\tau^{a}{}_{b}\,</math>, we have:
| |
| :<math>\tau^{a}{}_{b;c}\equiv \partial_c \tau^{a}{}_{b}+\Gamma^a{}_{c d}\tau^d{}_b-\Gamma^d{}_{c b}\tau^{a}{}_{d}</math>
| |
| | |
| The notation above is meant in the sense
| |
| :<math>\tau^{a b}{}_{;c}\equiv (\nabla_{{\mathbf e}_c}\tau)^{a b}</math>
| |
| | |
| One must always remember that covariant derivatives do not commute, i.e. <math>\lambda_{a;bc}\neq\lambda_{a;cb}\,</math>. It is actually easy to show that:
| |
| :<math> \lambda_{a;bc}-\lambda_{a;cb}=R^d{}_{abc}\lambda_d</math>
| |
| where <math>R^d{}_{abc} \,</math> is the [[Riemann tensor]]. Similarly,
| |
| :<math> \lambda^a{}_{;bc}-\lambda^a{}_{;cb}=-R^a{}_{dbc}\lambda^d</math>
| |
| and
| |
| :<math> \tau^{ab}{}_{;cd}-\tau^{ab}{}_{;dc}=-R^a{}_{ecd}\tau^{eb}-R^b{}_{ecd}\tau^{ae}</math>
| |
| The latter can be shown by taking (without loss of generality) that <math>\tau^{ab}=\lambda^a \mu^b \,</math>.
| |
| | |
| ==Notation==
| |
| In textbooks on physics, the covariant derivative is sometimes simply stated in terms of its components in this equation.
| |
| | |
| Often a notation is used in which the covariant derivative is given with a [[semicolon]], while a normal [[partial derivative]] is indicated by a [[comma]]. In this notation we write the same as:
| |
| :<math> | |
| \nabla_{e_j} {\mathbf v} \ \stackrel{\mathrm{def}}{=}\ v^s {}_{;j}e_s \;\;\;\;\;\;
| |
| v^i {}_{;j} =
| |
| v^i {}_{,j} + v^k\Gamma^i {}_{k j}
| |
| </math>
| |
| Once again this shows that the covariant derivative of a vector field is not just simply obtained by differentiating to the coordinates <math> v^i {}_{,j}</math>, but also depends on the vector '''v''' itself through <math> v^k\Gamma^i {}_{k j}</math>.
| |
| | |
| In some older texts (notably Adler, Bazin & Schiffer, ''Introduction to General Relativity''), the covariant derivative is denoted by a double pipe:
| |
| :<math>
| |
| \nabla_j {\mathbf v} \ \stackrel{\mathrm{def}}{=}\ v^i {}_{||j} \;\;\;\;\;\;
| |
| </math>
| |
| | |
| ==Derivative along curve==
| |
| Since the covariant derivative <math>\nabla_XT</math> of a tensor field <math>T</math> at a point <math>p</math> depends only on value of the vector field <math>X</math> at <math>p</math> one can define the covariant derivative along a smooth curve <math>\gamma(t)</math> in a manifold:
| |
| :<math>D_tT=\nabla_{\dot\gamma(t)}T.</math>
| |
| Note that the tensor field <math>T</math> only needs to be defined on the curve <math>\gamma(t)</math> for this definition to make sense.
| |
| | |
| In particular, <math>\dot{\gamma}(t)</math> is a vector field along the curve <math>\gamma</math> itself. If <math>\nabla_{\dot\gamma(t)}\dot\gamma(t)</math> vanishes then the curve is called a geodesic of the covariant derivative. If the covariant derivative is the [[Levi-Civita connection]] of a certain metric then the geodesics for the connection are precisely the [[geodesics]] of the [[Metric tensor|metric]] that are parametrised by arc length.
| |
| | |
| The derivative along a curve is also used to define the [[parallel transport]] along the curve.
| |
| | |
| Sometimes the covariant derivative along a curve is called '''absolute''' or '''intrinsic derivative'''.
| |
| | |
| ==Relation to Lie derivative==
| |
| A covariant derivative introduces an extra geometric structure on a manifold which allows vectors in neighboring tangent spaces to be compared. This extra structure is necessary because there is no canonical way to compare vectors from different vector spaces, as is necessary for this generalization of the [[directional derivative]]. There is however another generalization of directional derivatives which ''is'' canonical: the [[Lie derivative]]. The Lie derivative evaluates the change of one vector field along the flow of another vector field. Thus, one must know both vector fields in an open neighborhood. The covariant derivative on the other hand introduces its own change for vectors in a given direction, and it only depends on the vector direction at a single point, rather than a vector field in an open neighborhood of a point. In other words, the covariant derivative is linear (over ''C''<sup>∞</sup>(''M'')) in the direction argument, while the Lie derivative is linear in neither argument.
| |
| | |
| Note that the antisymmetrized covariant derivative ∇<sub>u</sub>''v'' − ∇<sub>v</sub>''u'', and the Lie derivative ''L''<sub>u</sub>''v'' differ by the [[torsion of connection|torsion of the connection]], so that if a connection is symmetric, then its antisymmetrization ''is'' the Lie derivative.
| |
| | |
| ==See also==
| |
| <div style="-moz-column-count:2; column-count:2;">
| |
| * [[Affine connection]]
| |
| * [[Christoffel symbols]]
| |
| * [[Connection (algebraic framework)]]
| |
| * [[Connection (mathematics)]]
| |
| * [[Connection (vector bundle)]]
| |
| * [[Connection form]]
| |
| * [[Exterior covariant derivative]]
| |
| * [[Gauge covariant derivative]]
| |
| * [[Introduction to mathematics of general relativity]]
| |
| * [[Levi-Civita connection]]
| |
| * [[Parallel transport]]
| |
| * [[Ricci calculus]]
| |
| * [[Tensor derivative (continuum mechanics)]]
| |
| </div>
| |
| | |
| ==Notes==
| |
| {{Reflist}}
| |
| | |
| ==References==
| |
| *{{Cite book| author=Kobayashi, Shoshichi and Nomizu, Katsumi | title = [[Foundations of Differential Geometry]], Vol. 1 | publisher=[[Wiley Interscience]] | year=1996 (New edition) |isbn = 0-471-15733-3}}
| |
| *{{springer|id=c/c026870|title=Covariant differentiation|author=I.Kh. Sabitov}}
| |
| *{{Cite book|first=Shlomo|last=Sternberg|title=Lectures on Differential Geometry|year=1964|publisher=Prentice-Hall}}
| |
| *{{Cite book|first=Michael|last=Spivak|title=A Comprehensive Introduction to Differential Geometry (Volume Two)|publisher=Publish or Perish, Inc.|year=1999}}
| |
| | |
| {{tensors}}
| |
| | |
| {{DEFAULTSORT:Covariant Derivative}}
| |
| [[Category:Differential geometry]]
| |
| [[Category:Riemannian geometry]]
| |
| [[Category:Connection (mathematics)]]
| |
| [[Category:Mathematical methods in general relativity]]
| |
| [[Category:Solid mechanics]]
| |