(the 4-vector inhomogeneous electromagnetic wave equation constructed from the 4-scalar D'Lambertian wave operator - the set of four wave equations for and the components of above). Covariant Derivative. Morally speaking, the covariate derivative of an inner product of vector fields should obey some kind of product rule relating it to the covariate derivatives of the vector fields. The Lie Derivative of a scalar eld, \$ x˚= Xa@ a˚. The Covariant Derivative of a Vector In curved space, the covariant derivative is the "coordinate derivative" of the vector, plus the change in the vector caused by the changes in the basis vectors. COVARIANT DERIVATIVES Given a scalar eld f, i.e. A strict rule is that contravariant vector 1. There is a nice geometric interpretation of this covariant derivative, which we shall discuss later. For this reason D is sometimes called the gauge covariant derivative. As one more example we consider the Lie derivative of a type (1,1) tensor Example 2.1. called the covariant vector or dual vector or one-vector. (4), we can now compute the covariant derivative of a dual vector eld W . The Lie Derivative of a covariant vector eld, \$ XY a= Xb@ bY a+ Y b@ aXb. a smooth function f{ which is a tensor of rank (0, 0), we have already de ned the dual vector r f. We saw that, in a coordinate basis, V r f= V @f @x r Vf gives the directional derivative of f along V. Covariant and Lie Derivatives Notation. Now we can construct the components of E and B from the covariant 4-vector potential. To do so, pick an arbitrary vector eld V , consider the covariant derivative of the scalar function f V W . The covariant derivative is a differential operator which plays an important role in differential geometry and gives the rate of change or total derivative of a scalar field, vector field or general tensor field along some path through curved space. This is the contraction of the tensor eld T V W . ... and the scalar product of the dual basis vector with the basis vector of the ... the derivative represents a four-by-four matrix of partial derivatives. For example, we know that: The covariate derivative of a scalar along a vector field is simply its derivative along that vector field. The covariant derivative of a contravariant tensor (also called the "semicolon derivative" since its symbol is a semicolon) is given by (1) (2) (Weinberg 1972, p. 103), where is a Christoffel symbol, Einstein summation has been used in the last term, and is a comma derivative. In particular, common notation for the covariant derivative is to use a semi-colon (;) in front of the index with respect to which the covariant derivative is being taken (β in this case) Covariant differentiation for a covariant vector. For now, because of this \covariance" property of Dwe have that the Lagrangian and current are gauge invariant. 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. The Lagrangian for scalar electrodynamics is now LSED= 1 4 F F D A velocity V in Given some one-form field and vector field V, we can take the covariant derivative of the scalar defined by V to get (3.8) But since V is a scalar, this must also be given by the partial derivative: (3.9) Covariant derivative of a dual vector eld { Given Eq. 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.