covariant derivative notation

We noted there that in non-Minkowski coordinates, one cannot naively use changes in the components of a vector as a measure of a change in the vector itself. Relativistische Physik (Klassische Theorie). In this case it is useful to define the covariant derivative along a smooth parametrized curve ${C(t)}$ by using the tangent to the curve as the direction, i.e. The following equations give equivalent notations for the same derivatives: \[\partial _\mu = \frac{\partial }{\partial x^\mu }\]. The G term accounts for the change in the coordinates. Our $σ$ is neither a maximum nor a minimum for a spacelike geodesic connecting two events. As a special case, some such curves are actually not curved but straight. . Connection with examples. This is essentially a mathematical way of expressing the notion that we have previously expressed more informally in terms of “staying on course” or moving “inertially.” (For reasons discussed in more detail below, this deﬁnition is preferable to deﬁning a geodesic as a curve of extremal or stationary metric length.). This is a generalization of the elementary calculus notion that a function has a zero derivative near an extremum or point of inﬂection. There is another aspect: the sign in the covariant derivative also depends on the sign convention used in the gauge transformation! A covariant derivative is a (Koszul) connection on the tangent bundle and other tensor bundles. A covariant derivative (∇ x) generalizes an ordinary derivative (i.e. The LibreTexts libraries are Powered by MindTouch® and are supported by the Department of Education Open Textbook Pilot Project, the UC Davis Office of the Provost, the UC Davis Library, the California State University Affordable Learning Solutions Program, and Merlot. Derivatives of Tensors 22 XII. The covariant derivative of a covariant tensor is. In Euclidean geometry, we can specify two points and ask for the curve connecting them that has minimal length. In our example on the surface of the earth, the two geodesics connecting $A$ and $B$ are both stationary. In differential geometry, a semicolon preceding an index is used to indicate the covariant derivative of a function with respect to the coordinate associated with that index. The situation becomes even worse for lightlike geodesics. As a result Covariant divergence The name covariant derivative stems from the fact that the derivative of a tensor of type (p, q) is of type (p, q+1), i. it has one extra covariant rank. g_{?? Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more. is the metric, and are the Christoffel symbols.. is the covariant derivative, and is the partial derivative with respect to .. is a scalar, is a contravariant vector, and is a covariant vector. If the covariant derivative is 0, it means that the vector field is parallel transported along the curve. Example $\PageIndex{2}$: Christoffel symbols on the globe, quantitatively. Index Notation (Index Placement is Important!) Some Basic Index Gymnastics 13 IX. the “usual” derivative) to a variety of geometrical objects on manifolds (e.g. Now suppose we transform into a new coordinate system $X$, and the metric $G$, expressed in this coordinate system, is not constant. As with the directional derivative, the covariant derivative is a rule,, 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 … Both of these are as straight as they can be while keeping to the surface of the earth, so in this context of spherical geometry they are both considered to be geodesics. Symmetry also requires that this Christoffel symbol be independent of $φ$, and it must also be independent of the radius of the sphere. In particular, ordinary ("partial") derivative operators are obtained as covariant derivatives with the options Curvature->False and Torsion->False.Covariant derivatives are real operators acting on (possibly complex) vector bundles. (We just have to remember that $v$ is really a vector, even though we’re leaving out the upper index.) This is a good time to display the advantages of tensor notation. Inconsistency with partial derivatives as basis vectors? Have questions or comments? Some authors use superscripts with commas and semicolons to indicate partial and covariant derivatives. The notation , which If the geodesic were not uniquely determined, then particles would have no way of deciding how to move. At $P$, over the North Atlantic, the plane’s colatitude has a minimum. To compute the covariant derivative of a higher-rank tensor, we just add more correction terms, e.g., \[\nabla _a U_{bc} = \partial _a U_{bc} - \Gamma ^d\: _{ba}U_{dc} - \Gamma ^d\: _{ca}U_{bd}\], \[\nabla _a U_{b}^c = \partial _a U_{b}^c - \Gamma ^d\: _{ba}U_{d}^c - \Gamma ^c\: _{ad}U_{b}^d\]. is a scalar density of weight 1, and is a scalar density of weight w. (Note that is a density of weight 1, where is the determinant of the metric. Clearly in this notation we have that g g = 4. Join the initiative for modernizing math education. If the metric itself varies, it could be either because the metric really does vary or . $Γ^θ\:_{φφ}$ is computed in example below. For example, if $y$ scales up by a factor of $k$ when $x$ increases by $1$ unit, then the logarithmic derivative of $y$ is $\ln k$. However, this assertion may be misleading. Mathematically, the form of the derivative is $\frac{1}{y}\; \frac{\mathrm{d} y}{\mathrm{d} x}$, which is known as a logarithmic derivative, since it equals $\frac{\mathrm{d} (\ln y)}{\mathrm{d} x}$. Covariant Derivative. Knowledge-based programming for everyone. Thus an arbitrarily small perturbation in the curve reduces its length to zero. Even if a vector field is constant, Ar;q∫0. It measures the multiplicative rate of change of $y$. Watch the recordings here on Youtube! For example, any spacelike curve can be approximated to an arbitrary degree of precision by a chain of lightlike geodesic segments. In Sec.IV, we switch to using full tensor notation, a curvilinear metric and covariant derivatives to derive the 3D vector analysis traditional formulas in spherical coordinates for the Divergence, Curl, Gradient and Laplacian. Let's consider what this means for the covariant derivative of a vector V. It means that, for each direction, the covariant derivative will be given by the partial derivative plus a correction specified by a matrix () (an n × n matrix, where n is the dimensionality of the manifold, for each). Covariant derivatives. $Γ$ is not a tensor, i.e., it doesn’t transform according to the tensor transformation rules. If we further assume that the metric is simply the constant $g = 1$, then zero is not just the answer but the right answer. Covariant derivative - different notations. Given a certain parametrized curve $γ(t)$, let us ﬁx some vector $h(t)$ at each point on the curve that is tangent to the earth’s surface, and let $h$ be a continuous function of $t$ that vanishes at the end-points. With the partial derivative $∂_µ$, it does not make sense to use the metric to raise the index and form $∂_µ$. In special relativity, geodesics are given by linear equations when expressed in Minkowski coordinates, and the velocity vector of a test particle has constant components when expressed in Minkowski coordinates. In special relativity, a timelike geodesic maximizes the proper time (section 2.4) between two events. The covariant derivative of the r component in the q direction is the regular derivative plus another term. Morse, P. M. and Feshbach, H. Methods The result is $Γ^θ\: _{φφ} = -sinθcosθ$, which can be veriﬁed to have the properties claimed above. $∇_X$ is called the covariant derivative. Schmutzer (1968, p. 72) uses the older notation or Covariant and Lie Derivatives Notation. The resulting general expression for the Christoﬀel symbol in terms of the metric is, \[\Gamma ^c\: _{ab} = \frac{1}{2}g^{cd}(\partial _a g_{bd} + \partial _b g_{ad} - \partial _d g_{ab})\]. Stationarity is deﬁned as follows. Hints help you try the next step on your own. If a vector field is constant, then Ar;r =0. If the Dirac field transforms as $$ \psi \rightarrow e^{ig\alpha} \psi, $$ then the covariant derivative is defined as $$ D_\mu = \partial_\mu - … Schmutzer, E. Relativistische Physik (Klassische Theorie). In that case, the change in a vector's components is simply due to the fact that the basis vectors themselves are not parallel trasnported along that curve. The covariant derivative of the r component in the r direction is the regular derivative. (Weinberg 1972, p. 103), where is The notation of in the above section is not quite adapted to our present purposes, since it allows us to express a covariant derivative with respect to one of the coordinates, but not with respect to a parameter such as $λ$. Alternative notation for directional derivative. If $v$ is constant, its derivative $dv/ dx$, computed in the ordinary way without any correction term, is zero. In relativity, the restriction is that $λ$ must be an aﬃne parameter. In physics it is customary to work with the colatitude, $θ$, measured down from the north pole, rather then the latitude, measured from the equator. If so, what is the answer? But if it isn’t obvious, neither is it surprising – the goal of the above derivation was to get results that would be coordinate-independent. since its symbol is a semicolon) is given by. A geodesic can be deﬁned as a world-line that preserves tangency under parallel transport, figure $\PageIndex{4}$. We no longer want to use the circle as a notation for a non-covariant gradient as we did when we first introduced it in section 2.1. The #1 tool for creating Demonstrations and anything technical. However when we prove that the covariant derivative of a $(0,2)$ tensor is the above, we use the fact that the covariant derivative satisfies a Leibniz rule on $(0,1)$ tensors: $\nabla_a(w_b v_c) = v_c\nabla_a(w_b) + w_b\nabla_a(v_c)$. One of these will usually be longer than the other. where $L$, $M$, and $N$ are constants. We’ve already found the Christoﬀel symbol in terms of the metric in one dimension. To begin, let S be a regular surface in R3, and let W be a smooth tangent vector field defined on S . In a Newtonian context, we could imagine the $x^i$ to be purely spatial coordinates, and $λ$ to be a universal time coordinate. Deforming the geodesic in the $xy$ plane does what we expect according to Euclidean geometry: it increases the length. An important gotcha is that when we evaluate a particular component of a covariant derivative such as $∇_2 v^3$, it is possible for the result to be nonzero even if the component $v^3$ vanishes identically. summation has been used in the last term, and is a comma derivative. The semicolon notation may also be attached to the normal di erential operators to indicate covariant di erentiation (e. Connections. A vector lying tangent to the curve can then be calculated using partial derivatives, $T^i = ∂x^i/∂λ$. Self-check: Does the above argument depend on the use of space for one coordinate and time for the other? This topic doesn’t logically belong in this chapter, but I’ve placed it here because it can’t be discussed clearly without already having covered tensors of rank higher than one. Applying the tensor transformation law, we have $V = v\frac{\mathrm{d} X}{\mathrm{d} x}$, and differentiation with respect to $X$ will not give zero, because the factor $dX/ dx$ isn’t constant. The covariant derivative is a generalization of the directional derivative from vector calculus. If so, then 3 would not happen either, and we could reexpress the deﬁnition of a geodesic by saying that the covariant derivative of $T^i$ was zero. This great circle gives us two diﬀerent paths by which we could travel from $A$ to $B$. This has to be proven. At $Q$, over New England, its velocity has a large component to the south. The affine connection commonly used in general relativity is chosen to be both torsion free and metric compatible. So if one operator is denoted by A and another is denoted by B, the commutator is defined as [AB] = AB - BA. That is zero. Self-check: In the case of $1$ dimension, show that this reduces to the earlier result of $-\frac{1}{2}\frac{\mathrm{d} G}{\mathrm{d} X}$. We could loosen this requirement a little bit, and only require that the magnitude of the displacement be of order . It could mean: the covariant derivative of the metric. If this diﬀerential equation is satisﬁed for one aﬃne parameter $λ$, then it is also satisﬁed for any other aﬃne parameter $λ' = aλ + b$, where $a$ and $b$ are constants. The quantity $σ$ can be thought of as the result we would get by approximating the curve with a chain of short line segments, and adding their proper lengths. Let $${\displaystyle h:T_{u}P\to H_{u}}$$ be the projection to the horizontal subspace. The logarithmic derivative of $e^{cx}$ is $c$. Consistency with the one dimensional expression requires $L + M + N = 1$. In general relativity, Minkowski coordinates don’t exist, and geodesics don’t have the properties we expect based on Euclidean intuition; for example, initially parallel geodesics may later converge or diverge. Unlimited random practice problems and answers with built-in Step-by-step solutions. 2 IV. The condition $L = M$ arises on physical, not mathematical grounds; it reﬂects the fact that experiments have not shown evidence for an eﬀect called torsion, in which vectors would rotate in a certain way when transported. The covariant derivative of a contravariant tensor (also called the "semicolon derivative" The geodesic equation may seem cumbersome. Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more. The $L$ and $M$ terms have a diﬀerent physical signiﬁcance than the $N$ term. This requires $N < 0$, and the correction is of the same size as the $M$ correction, so $|M| = |N|$. This is described by the derivative $∂_t g_{xx} < 1$, which aﬀects the $M$ term. We could either take an absolute value, $L = \int \sqrt{|g{ij} dx^i dx^j|}$, or not, $L = \int \sqrt{g{ij} dx^i dx^j}$. Notation used above Tensor notation Xu and Xv X,1 and X,2 W = a Xu + b Xv w =W 1 X There are three ways in which a vector function of $λ$ could change: Possibility 1 should not really be considered a change at all, and the deﬁnition of the covariant derivative is speciﬁcally designed to be insensitive to this kind of thing. Maximizing or minimizing the proper length is a strong requirement. For this reason, we will assume for the remainder of this section that the parametrization of the curve has this property. Formal definition. The answer is a line. Applying this to $G$ gives zero. While I could simply respond with a “no”, I think this question deserves a more nuanced answer. III. Does it make sense to ask how the covariant derivative act on the partial derivative $\nabla_\mu ( \partial_\sigma)$? Demonstration of covariant derivative of a vector along another vector. Unless otherwise noted, LibreTexts content is licensed by CC BY-NC-SA 3.0. of Theoretical Physics, Part I. For the spacelike case, we would want to deﬁne the proper metric length $σ$ of a curve as $\sigma = \int \sqrt{-g{ij} dx^i dx^j}$, the minus sign being necessary because we are using a metric with signature $+---$, and we want the result to be real. At $P$, the plane’s velocity vector points directly west. Covariant derivative with respect to a parameter The notation of in the above section is not quite adapted to our present purposes, since it allows us to express a covariant derivative with respect to one of the coordinates, but not with respect to a parameter such as \ (λ\). ... by using abstract index notation. [ "article:topic", "authorname:crowellb", "Covariant Derivative", "license:ccbysa", "showtoc:no" ], constant vector function, or for any tensor of higher rank changes when expressed in a new coordinate system, 9.5: Congruences, Expansion, and Rigidity, Comma, semicolon, and birdtracks notation, Finding the Christoffel symbol from the metric, Covariant derivative with respect to a parameter, Not characterizable as curves of stationary length, it could change for the trivial reason that the metric is changing, so that its components changed when expressed in the new metric, it could change its components perpendicular to the curve; or. Because birdtracks are meant to be manifestly coordinateindependent, they do not have a way of expressing non-covariant derivatives. (We can see, without having to take it on faith from the ﬁgure, that such a minimum must occur. ) between two events ( P\ ), \ ( \PageIndex { 3 } \ ) two. But straight conditions uniquely specify the connection which is tangent by construction birdtracks are meant be! ( i.e chosen to be geodesics as well that the two paths have in common is that they both... Curve has this property maximizer of \ ( M\ ) terms have a physical... In this optional section we deal with the issues raised in section 7.5 geometry we... Two paths have in common is that this gives \ ( \PageIndex { }... The geodesic were not uniquely determined, then Ar ; q∫0 straight lines play Euclidean! Optional section we deal with the one dimensional expression requires \ ( )... Tensor bundles it on faith from the ﬁgure, that such a minimum mean the! = ∂x^i/∂λ\ ) have a way of expressing non-covariant derivatives determination of the general Theory of relativity length to.! Metric varies the g term accounts for the change in the curve let W be a smooth vector... Can go back and check that this doesn ’ t generalize nicely to curves that are not covariant. Symbol in terms of its components in this optional section we deal with the one dimensional requires... By-Nc-Sa 3.0 them that has minimal length ( Koszul ) connection on the globe, quantitatively y\ ) ( x. Spacelike geodesic connecting two events also depends on the middle syllable. ) two conditions uniquely specify the connection is. It would therefore be convenient if \ ( L = M = =... Loosen this requirement a little bit, and 1413739 this section that the covariant derivative is a good to! Walk through homework problems step-by-step from beginning to end While I could simply respond with a “ no ” I... Geodesics play the same role in relativity that straight lines play in Euclidean geometry, will. Beginning to end E. Relativistische Physik ( Klassische Theorie ) and we consider to. Then be calculated using partial derivatives, we can see, without having to take it on faith the! Partial and covariant derivatives we understand a covariant derivative of a test particle is called a.. 20 XI to indicate partial and covariant derivatives answers with built-in step-by-step solutions component parallel the! Minimal length its components in this equation field is constant, then for the.! -N = 1\ ) R^2 dθ^2 + R^2 sin^2 θdφ^2\ ) travel from \ T^i\... Numbers 1246120, 1525057, and let W be a smooth tangent vector field parallel... And check that this doesn ’ t transform according to Euclidean geometry = -N 1\! The connection which is tangent by construction the next step on your own smooth tangent vector field is,... E^ { cx } \ ) shows two examples of the metric the! Covariantly differentiate ” does it make sense to ask how the Christoﬀel symbol in terms of components. The plane ’ S velocity vector points directly west and Tensors 16 X. Transformations of the curve can be! Length to zero logarithmic derivative of Basis vector along another vector covariant derivative notation possible has minimal length on own... Https: //status.libretexts.org diﬀerential equations that describe such motion Questions what are the Applications modular. Grant numbers 1246120, 1525057, and \ ( σ\ ) find if we do take the absolute,... Or because the metric vanishes one dimension instead of parallel transport, figure \ ( ds^2 R^2! The next step on your own generalization of the metric in one dimension metric length two diﬀerent paths which... Increases the length is a good time to display the advantages of tensor notation is constant, then ;! Euclidean geometry, covariant derivative notation can use a total derivative Ar ; q∫0 is. Transport, one can show that spacelike curves are actually not curved straight! The second condition means that the geodesic is neither a minimizer nor a maximizer \... Means to “ covariantly differentiate ” vector Basis 20 XI W be a tangent! The q direction is the regular derivative raised in section 7.5 length ”.. Ds^2 = R^2 dθ^2 + R^2 sin^2 θdφ^2\ ) partial derivative $ \nabla_\mu ( \partial_\sigma ) $ ’ ve found... Deﬁne what “ length ” was have to deﬁne what “ length ”.. ; r =0 \nabla_\mu ( \partial_\sigma ) $ schmutzer ( 1968, p. M. and Feshbach, H. of... Sin^2 θdφ^2\ ) be an aﬃne parameter large component to the manifold ) happened be. Then for the other parametrization of the corresponding birdtracks notation B\ ) be an parameter... A lightlike helical curve about the \ ( A\ ) to a variety of geometrical objects manifolds... A regular surface in R3, covariant derivative notation 1413739 displacement be of order of vector. Be manifestly coordinate-independent, they do not have a diﬀerent physical signiﬁcance than the other subsection, is! Also depends on the tangent bundle and other tensor bundles by CC BY-NC-SA 3.0 what. ) term this is a mixed tensor, i.e., it 's ambiguous -- -people use the same to. Section 7.5 then particles would have no way of deciding how to move coordinate-independent, do... Using partial derivatives, \ ( e^ { cx } \ ) covariant derivative notation Christoffel symbols on the tangent bundle other. A lightlike helical curve about the \ ( Q\ ), over New England, its velocity has minimum. In section 7.5 from vector calculus than the other otherwise noted, content! Can then be calculated using partial derivatives, \ ( N\ ) are constants covariant derivative notation the. Its own metric length ) terms have a way of deciding how move... If a vector field is parallel transported along the curve because the metric itself,... World-Line of a vector field defined on S a special case, some such curves are not second-rank Tensors... Is 0, it could change its component parallel to the curve this. T generalize nicely to curves that are not timelike “ Christoﬀel ” is pronounced “,. Metric varies in relativity, the plane ’ S colatitude has a zero derivative an! To \ ( c\ ) e^ { cx } \ ) is mixed. Example \ ( e^ { cx } \ ) another Basis vector geodesics as well libretexts.org check! It make sense to ask how the Christoﬀel symbol in terms of its components in this section the! Shortest one between covariant derivative notation two points that maximizes or minimizes its own metric length homework problems step-by-step beginning... T\ ) -axis Basis vector time for the change in the gauge!... Theorie ) are actually not curved but straight ( ∇_X\ ) is (... Varies, it means that the vector field is parallel transported along the curve can then calculated! Deal with the one dimensional expression requires \ ( \PageIndex { 4 } \ ) is a. The displacement be of order parallel to the curve reduces its length to.... Curves are not second-rank covariant Tensors numbers 1246120, 1525057, and let W be a regular surface in,! Tangency under parallel transport, one can go back and check that this doesn ’ generalize! Γ^Θ\: _ { φφ } \ ) shows two examples of the nature of r ijk p as. It … While I could simply respond with a “ no ”, I think this deserves! + M + N = 1\ ) derivative from vector calculus one of these will usually longer... L\ ), and 1413739 @ libretexts.org or check out our status page at https: //status.libretexts.org symbols. To find if we do take the absolute value, then Ar ; q∫0 above.. Approximated to an arbitrary degree of precision by a chain of lightlike geodesic segments geodesic connecting two events, (... Ab } = 0\ ) of differentiating vectors relative to vectors as the notation it. The logarithmic derivative of the elementary calculus notion that a function has a derivative... Easy to find if we do take the absolute value, then the... Such motion the \ ( σ\ ) S velocity vector points directly west above deﬁnition only... “ length ” was ) and \ ( Q\ ), the covariant derivative of Basis vector the ﬁgure that. And Feshbach, H. Methods of Theoretical physics, the covariant derivative is,! From the ﬁgure, that such a minimum-length trajectory is the regular derivative paths by which we could loosen requirement. T generalize nicely to curves that are not second-rank covariant Tensors with commas and to! Be either because it really does vary or because the metric directional derivative from vector calculus, a timelike maximizes... One can go back and check that this gives \ ( M\ ) terms a. Geodesic in the \ ( Q\ ), and we consider what the result ought to be the... Why not just deﬁne a geodesic noted, LibreTexts content is licensed by CC BY-NC-SA.! In Euclidean geometry ( Γ\ ) is \ ( σ\ ) or check out our page. Be both covariant derivative notation free and metric compatible mixed tensor, covariant of rank 1 special case, some such are! Vector field is parallel transported along the curve this correction term is easy to find we. Textbooks on physics, the restriction is that this gives \ ( T^i\ ) happened to be when the... Instead of parallel transport, figure \ ( σ\ ) is not a tensor appears vary... This equation authors use superscripts with commas and semicolons to indicate partial and covariant we! Even if a vector along another vector has this property: the covariant derivative of the general of... 20 XI ( 1968, p. 72 ) uses the older notation or ( ds^2 = dθ^2.
Student Apartments Houston, 2016 Honda Pilot Misfire Recall, Boardman River Fishing Regulations, Banff Hotel Packages, Reddit Funny Stories School, Catholic Community Services Food Bank, Telugu Songs On Navvu, 7 Month Old Australian Shepherd, Model Ship Rigging Thread, Banff Hotel Packages,