In differential geometry, the Lie derivative // , named after Sophus Lie by Władysław Ślebodziński, evaluates the change of a tensor field (including scalar functions, vector fields and one-forms), along the flow defined by another vector field. This change is coordinate invariant and therefore the Lie derivative is defined on any differentiable manifold.
Functions, tensor fields and forms can be differentiated with respect to a vector field. If T is a tensor field and X is a vector field, then the Lie derivative of T with respect to X is denoted . The differential operator is a derivation of the algebra of tensor fields of the underlying manifold.
The Lie derivative commutes with contraction and the exterior derivative on differential forms.
Although there are many concepts of taking a derivative in differential geometry, they all agree when the expression being differentiated is a function or scalar field. Thus in this case the word "Lie" is dropped, and one simply speaks of the derivative of a function.
The Lie derivative of a vector field Y with respect to another vector field X is known as the "Lie bracket" of X and Y, and is often denoted [X,Y] instead of . The space of vector fields forms a Lie algebra with respect to this Lie bracket. The Lie derivative constitutes an infinite-dimensional Lie algebra representation of this Lie algebra, due to the identity
valid for any vector fields X and Y and any tensor field T.
Considering vector fields as infinitesimal generators of flows (i.e. one-dimensional groups of diffeomorphisms) on M, the Lie derivative is the differential of the representation of the diffeomorphism group on tensor fields, analogous to Lie algebra representations as infinitesimal representations associated to group representation in Lie group theory.
Generalisations exist for spinor fields, fibre bundles with connection and vector-valued differential forms.
A 'naïve' attempt to define the derivative of a tensor field with respect to a vector field would be to take the components of the tensor field and take the directional derivative of each component with respect to the vector field. However, this definition is undesirable because it is not invariant under changes of coordinate system, e.g. the naive derivative expressed in polar or spherical coordinates differs from the naive derivative of the components in Cartesian coordinates. On an abstract manifold such a definition is meaningless and ill defined. In differential geometry, there are three main coordinate independent notions of differentiation of tensor fields: Lie derivatives, derivatives with respect to connections, and the exterior derivative of completely anti symmetric (covariant) tensors or differential forms. The main difference between the Lie derivative and a derivative with respect to a connection is that the latter derivative of a tensor field with respect to a tangent vector is well-defined even if it is not specified how to extend that tangent vector to a vector field. However a connection requires the choice of an additional geometric structure (e.g. a Riemannian metric or just an abstract connection) on the manifold. In contrast, when taking a Lie derivative, no additional structure on the manifold is needed, but it is impossible to talk about the Lie derivative of a tensor field with respect to a single tangent vector, since the value of the Lie derivative of a tensor field with respect to a vector field X at a point p depends on the value of X in a neighborhood of p, not just at p itself. Finally, the exterior derivative of differential forms does not require any additional choices, but is only a well defined derivative of differential forms (including functions).
The Lie derivative may be defined in several equivalent ways. To keep things simple, we begin by defining the Lie derivative acting on scalar functions and vector fields, before moving on to the definition for general tensors.
Defining the derivative of a function on a manifold is problematic because the difference quotient cannot be determined while the displacement is undefined.
The Lie derivative of a function with respect to a vector field at a point is the function
where is the point to which the flow defined by the vector field maps the point at time instant In the vicinity of is the unique solution of the system
of first-order autonomous (i.e. time-independent) differential equations in the tangent space , with
For a coordinate chart on the manifold and let be the tangent linear map. The above system of differential equations is more explicitly written as a system
in with the initial condition being It is easily verifiable that the solution is independent from the choice of coordinate chart.
Setting identifies the Lie derivative of a function with the directional derivative.
If X and Y are both vector fields, then the Lie derivative of Y with respect to X is also known as the Lie bracket of X and Y, and is sometimes denoted . There are several approaches to defining the Lie bracket, all of which are equivalent. We list two definitions here, corresponding to the two definitions of a vector field given above:
The Lie derivative is the speed with which the tensor field changes under the space deformation caused by the flow.
Formally, given a differentiable (time-independent) vector field on a smooth manifold let be the corresponding local flow and the identity map. Since is a local diffeomorphism, for each and the inverse
of the differential extends uniquely to the homomorphism
between the tensor algebras of the tangent spaces and Likewise, the pullback map
lifts to a unique tensor algebra homomorphism
For every there is, consequently, a tensor field of the same valence as 's.
If is an - or -type tensor field, then the Lie derivative of along a vector field is defined at point to be
The resulting tensor field has the same valence as 's.
We now give an algebraic definition. The algebraic definition for the Lie derivative of a tensor field follows from the following four axioms:
If these axioms hold, then applying the Lie derivative to the relation shows that
which is one of the standard definitions for the Lie bracket.
The Lie derivative acting on a differential form is the anticommutator of the interior product with the exterior derivative. So if α is a differential form,
This follows easily by checking that the expression commutes with exterior derivative, is a derivation (being an anticommutator of graded derivations) and does the right thing on functions.
Explicitly, let T be a tensor field of type (p, q). Consider T to be a differentiable multilinear map of smooth sections α1, α2, ..., αp of the cotangent bundle T∗M and of sections X1, X2, ..., Xq of the tangent bundle TM, written T(α1, α2, ..., X1, X2, ...) into R. Define the Lie derivative of T along Y by the formula
The analytic and algebraic definitions can be proven to be equivalent using the properties of the pushforward and the Leibniz rule for differentiation. The Lie derivative commutes with the contraction.
A particularly important class of tensor fields is the class of differential forms. The restriction of the Lie derivative to the space of differential forms is closely related to the exterior derivative. Both the Lie derivative and the exterior derivative attempt to capture the idea of a derivative in different ways. These differences can be bridged by introducing the idea of an interior product, after which the relationships falls out as an identity known as Cartan's formula. Cartan's formula can also be used as a definition of the Lie derivative on the space of differential forms.
Let M be a manifold and X a vector field on M. Let be a (k + 1)-form, i.e. for each , is an alternating multilinear map from to the real numbers. The interior product of X and ω is the k-form defined as
The differential form is also called the contraction of ω with X, and
and is a (wedge product on differential forms)-antiderivation. That is, is R-linear, and
for and η another differential form. Also, for a function , that is, a real- or complex-valued function on M, one has
where denotes the product of f and X. The relationship between exterior derivatives and Lie derivatives can then be summarized as follows. First, since the Lie derivative of a function f with respect to a vector field X is the same as the directional derivative X(f), it is also the same as the contraction of the exterior derivative of f with X:
For a general differential form, the Lie derivative is likewise a contraction, taking into account the variation in X:
This identity is known variously as Cartan formula, Cartan homotopy formula or Cartan's magic formula. See interior product for details. The Cartan formula can be used as a definition of the Lie derivative of a differential form. Cartan's formula shows in particular that
The Lie derivative also satisfies the relation
In local coordinate notation, for a type (r, s) tensor field , the Lie derivative along is
here, the notation means taking the partial derivative with respect to the coordinate . Alternatively, if we are using a torsion-free connection (e.g., the Levi Civita connection), then the partial derivative can be replaced with the covariant derivative which means replacing with (by abuse of notation) where the are the Christoffel coefficients.
The Lie derivative of a tensor is another tensor of the same type, i.e., even though the individual terms in the expression depend on the choice of coordinate system, the expression as a whole results in a tensor
which is independent of any coordinate system and of the same type as .
The definition can be extended further to tensor densities. If T is a tensor density of some real number valued weight w (e.g. the volume density of weight 1), then its Lie derivative is a tensor density of the same type and weight.
Notice the new term at the end of the expression.
For a linear connection , the Lie derivative along is
For clarity we now show the following examples in local coordinate notation.
For a scalar field we have:
Hence for the scalar field and the vector field the corresponding Lie derivative becomes
For an example of higher rank differential form, consider the 2-form and the vector field from the previous example. Then,
Some more abstract examples.
Hence for a covector field, i.e., a differential form, we have:
The coefficient of the last expression is the local coordinate expression of the Lie derivative.
For a covariant rank 2 tensor field we have:
If is the symmetric metric tensor, it is parallel with respect to the Levi Civita connection (aka covariant derivative), and it becomes fruitful to use the connection. This has the effect of replacing all derivatives with covariant derivatives, giving
The Lie derivative has a number of properties. Let be the algebra of functions defined on the manifold M. Then
is a derivation on the algebra . That is, is R-linear and
Similarly, it is a derivation on where is the set of vector fields on M (cf. Theorem 6 from the article: Nichita, F.F. Unification Theories: New Results and Examples. Axioms 2019, 8, 60):
which may also be written in the equivalent notation
where the tensor product symbol is used to emphasize the fact that the product of a function times a vector field is being taken over the entire manifold.
Additional properties are consistent with that of the Lie bracket. Thus, for example, considered as a derivation on a vector field,
one finds the above to be just the Jacobi identity. Thus, one has the important result that the space of vector fields over M, equipped with the Lie bracket, forms a Lie algebra.
The Lie derivative also has important properties when acting on differential forms. Let α and β be two differential forms on M, and let X and Y be two vector fields. Then
Various generalizations of the Lie derivative play an important role in differential geometry.
A definition for Lie derivatives of spinors along generic spacetime vector fields, not necessarily Killing ones, on a general (pseudo) Riemannian manifold was already proposed in 1971 by Yvette Kosmann.Later, it was provided a geometric framework which justifies her ad hoc prescription within the general framework of Lie derivatives on fiber bundles in the explicit context of gauge natural bundles which turn out to be the most appropriate arena for (gauge-covariant) field theories.
In a given spin manifold, that is in a Riemannian manifold admitting a spin structure, the Lie derivative of a spinor field can be defined by first defining it with respect to infinitesimal isometries (Killing vector fields) via the André Lichnerowicz's local expression given in 1963:
where , as is assumed to be a Killing vector field, and are Dirac matrices.
It is then possible to extend Lichnerowicz's definition to all vector fields (generic infinitesimal transformations) by retaining Lichnerowicz's local expression for a generic vector field , but explicitly taking the antisymmetric part of only. More explicitly, Kosmann's local expression given in 1972 is:
where is the commutator, is exterior derivative, is the dual 1 form corresponding to under the metric (i.e. with lowered indices) and is Clifford multiplication.
It is worth noting that the spinor Lie derivative is independent of the metric, and hence also of the connection. This is not obvious from the right-hand side of Kosmann's local expression, as the right-hand side seems to depend on the metric through the spin connection (covariant derivative), the dualisation of vector fields (lowering of the indices) and the Clifford multiplication on the spinor bundle. Such is not the case: the quantities on the right-hand side of Kosmann's local expression combine so as to make all metric and connection dependent terms cancel.
To gain a better understanding of the long-debated concept of Lie derivative of spinor fields one may refer to the original article,where the definition of a Lie derivative of spinor fields is placed in the more general framework of the theory of Lie derivatives of sections of fiber bundles and the direct approach by Y. Kosmann to the spinor case is generalized to gauge natural bundles in the form of a new geometric concept called the Kosmann lift.
If we have a principal bundle over the manifold M with G as the structure group, and we pick X to be a covariant vector field as section of the tangent space of the principal bundle (i.e. it has horizontal and vertical components), then the covariant Lie derivative is just the Lie derivative with respect to X over the principal bundle.
Now, if we're given a vector field Y over M (but not the principal bundle) but we also have a connection over the principal bundle, we can define a vector field X over the principal bundle such that its horizontal component matches Y and its vertical component agrees with the connection. This is the covariant Lie derivative.
See connection form for more details.
Another generalization, due to Albert Nijenhuis, allows one to define the Lie derivative of a differential form along any section of the bundle Ωk(M, TM) of differential forms with values in the tangent bundle. If K ∈ Ωk(M, TM) and α is a differential p-form, then it is possible to define the interior product iKα of K and α. The Nijenhuis–Lie derivative is then the anticommutator of the interior product and the exterior derivative:
In 1931, Władysław Ślebodziński introduced a new differential operator, later called by David van Dantzig that of Lie derivation, which can be applied to scalars, vectors, tensors and affine connections and which proved to be a powerful instrument in the study of groups of automorphisms.
The Lie derivatives of general geometric objects (i.e., sections of natural fiber bundles) were studied by A. Nijenhuis, Y. Tashiro and K. Yano.
For a quite long time, physicists had been using Lie derivatives, without reference to the work of mathematicians. In 1940, Léon Rosenfeld of a geometric object induced by an infinitesimal transformation of coordinates generated by a vector field . One can easily prove that his is .—and before him (in 1921 ) Wolfgang Pauli —introduced what he called a ‘local variation’
In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor is the most common way used to express the curvature of Riemannian manifolds. It assigns a tensor to each point of a Riemannian manifold, that measures the extent to which the metric tensor is not locally isometric to that of Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold, or indeed any manifold equipped with an affine connection.
In the mathematical fields of differential geometry and tensor calculus, differential forms are an approach to multivariable calculus that is independent of coordinates. Differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics.
In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation that accepts a function and returns another function.
In mathematics, and especially differential geometry and gauge theory, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. The most common case is that of a linear connection on a vector bundle, for which the notion of parallel transport must be linear. A linear connection is equivalently specified by a covariant derivative, an operator that differentiates sections of the bundle along tangent directions in the base manifold, in such a way that parallel sections have derivative zero. Linear connections generalize, to arbitrary vector bundles, the Levi-Civita connection on the tangent bundle of a Riemannian manifold, which gives a standard way to differentiate vector fields. Nonlinear connections generalize this concept to bundles whose fibers are not necessarily linear.
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. 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 directional derivative 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.
In abstract algebra and multilinear algebra, a multilinear form on a vector space over a field is a map
In differential geometry, a spray is a vector field H on the tangent bundle TM that encodes a quasilinear second order system of ordinary differential equations on the base manifold M. Usually a spray is required to be homogeneous in the sense that its integral curves t→ΦHt(ξ)∈TM obey the rule ΦHt(λξ)=ΦHλt(ξ) in positive reparameterizations. If this requirement is dropped, H is called a semispray.
The mathematics of general relativity refers to various mathematical structures and techniques that are used in studying and formulating Albert Einstein's theory of general relativity. The main tools used in this geometrical theory of gravitation are tensor fields defined on a Lorentzian manifold representing spacetime. This article is a general description of the mathematics of general relativity.
In electromagnetism, the electromagnetic tensor or electromagnetic field tensor is a mathematical object that describes the electromagnetic field in spacetime. The field tensor was first used after the four-dimensional tensor formulation of special relativity was introduced by Hermann Minkowski. The tensor allows related physical laws to be written very concisely.
In mathematics, the interior product is a degree −1 (anti)derivation on the exterior algebra of differential forms on a smooth manifold. The interior product, named in opposition to the exterior product, should not be confused with an inner product. The interior product ιXω is sometimes written as X ⨼ ω.
A theoretical motivation for general relativity, including the motivation for the geodesic equation and the Einstein field equation, can be obtained from special relativity by examining the dynamics of particles in circular orbits about the earth. A key advantage in examining circular orbits is that it is possible to know the solution of the Einstein Field Equation a priori. This provides a means to inform and verify the formalism.
The covariant formulation of classical electromagnetism refers to ways of writing the laws of classical electromagnetism in a form that is manifestly invariant under Lorentz transformations, in the formalism of special relativity using rectilinear inertial coordinate systems. These expressions both make it simple to prove that the laws of classical electromagnetism take the same form in any inertial coordinate system, and also provide a way to translate the fields and forces from one frame to another. However, this is not as general as Maxwell's equations in curved spacetime or non-rectilinear coordinate systems.
In physics, Maxwell's equations in curved spacetime govern the dynamics of the electromagnetic field in curved spacetime or where one uses an arbitrary coordinate system. These equations can be viewed as a generalization of the vacuum Maxwell's equations which are normally formulated in the local coordinates of flat spacetime. But because general relativity dictates that the presence of electromagnetic fields induce curvature in spacetime, Maxwell's equations in flat spacetime should be viewed as a convenient approximation.
In mathematics, a metric connection is a connection in a vector bundle E equipped with a bundle metric; that is, a metric for which the inner product of any two vectors will remain the same when those vectors are parallel transported along any curve. This is equivalent to:
There are various mathematical descriptions of the electromagnetic field that are used in the study of electromagnetism, one of the four fundamental interactions of nature. In this article, several approaches are discussed, although the equations are in terms of electric and magnetic fields, potentials, and charges with currents, generally speaking.
In mathematics, particularly differential topology, the double tangent bundle or the second tangent bundle refers to the tangent bundle (TTM,πTTM,TM) of the total space TM of the tangent bundle (TM,πTM,M) of a smooth manifold M . A note on notation: in this article, we denote projection maps by their domains, e.g., πTTM : TTM → TM. Some authors index these maps by their ranges instead, so for them, that map would be written πTM.
In mathematics, the Kodaira–Spencer map, introduced by Kunihiko Kodaira and Donald C. Spencer, is a map associated to a deformation of a scheme or complex manifold X, taking a tangent space of a point of the deformation space to the first cohomology group of the sheaf of vector fields on X.
In mathematics, Ricci calculus constitutes the rules of index notation and manipulation for tensors and tensor fields in a Riemannian manifold. It is also the modern name for what used to be called the absolute differential calculus, developed by Gregorio Ricci-Curbastro in 1887–1896, and subsequently popularized in a paper written with his pupil Tullio Levi-Civita in 1900. Jan Arnoldus Schouten developed the modern notation and formalism for this mathematical framework, and made contributions to the theory, during its applications to general relativity and differential geometry in the early twentieth century.
Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.
This article summarizes several identities in exterior calculus.