List of formulas in Riemannian geometry

Last updated

This is a list of formulas encountered in Riemannian geometry. Einstein notation is used throughout this article. This article uses the "analyst's" sign convention for Laplacians, except when noted otherwise.

Contents

Christoffel symbols, covariant derivative

In a smooth coordinate chart, the Christoffel symbols of the first kind are given by

and the Christoffel symbols of the second kind by

Here Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle g^{ij}} is the inverse matrix to the metric tensor . In other words,

and thus

is the dimension of the manifold.

Christoffel symbols satisfy the symmetry relations

or, respectively,

the second of which is equivalent to the torsion-freeness of the Levi-Civita connection.

The contracting relations on the Christoffel symbols are given by

and

where |g| is the absolute value of the determinant of the matrix of scalar coefficients of the metric tensor . These are useful when dealing with divergences and Laplacians (see below).

The covariant derivative of a vector field with components is given by:

and similarly the covariant derivative of a -tensor field with components is given by:

For a -tensor field with components this becomes

and likewise for tensors with more indices.

The covariant derivative of a function (scalar) is just its usual differential:

Because the Levi-Civita connection is metric-compatible, the covariant derivative of the metric vanishes,

as well as the covariant derivatives of the metric's determinant (and volume element)

The geodesic starting at the origin with initial speed has Taylor expansion in the chart:

Curvature tensors

Definitions

(3,1) Riemann curvature tensor

(3,1) Riemann curvature tensor

Ricci curvature

Scalar curvature

Traceless Ricci tensor

(4,0) Riemann curvature tensor

(4,0) Weyl tensor

Einstein tensor

Identities

Basic symmetries

The Weyl tensor has the same basic symmetries as the Riemann tensor, but its 'analogue' of the Ricci tensor is zero:

The Ricci tensor, the Einstein tensor, and the traceless Ricci tensor are symmetric 2-tensors:

First Bianchi identity

Second Bianchi identity

Contracted second Bianchi identity

Twice-contracted second Bianchi identity

Equivalently:

Ricci identity

If is a vector field then

which is just the definition of the Riemann tensor. If is a one-form then

More generally, if is a (0,k)-tensor field then

Remarks

A classical result says that if and only if is locally conformally flat, i.e. if and only if can be covered by smooth coordinate charts relative to which the metric tensor is of the form for some function on the chart.

Gradient, divergence, Laplace–Beltrami operator

The gradient of a function is obtained by raising the index of the differential , whose components are given by:

The divergence of a vector field with components is

The Laplace–Beltrami operator acting on a function is given by the divergence of the gradient:

The divergence of an antisymmetric tensor field of type simplifies to

The Hessian of a map is given by

Kulkarni–Nomizu product

The Kulkarni–Nomizu product is an important tool for constructing new tensors from existing tensors on a Riemannian manifold. Let and be symmetric covariant 2-tensors. In coordinates,

Then we can multiply these in a sense to get a new covariant 4-tensor, which is often denoted . The defining formula is

Clearly, the product satisfies

In an inertial frame

An orthonormal inertial frame is a coordinate chart such that, at the origin, one has the relations and (but these may not hold at other points in the frame). These coordinates are also called normal coordinates. In such a frame, the expression for several operators is simpler. Note that the formulae given below are valid at the origin of the frame only.

Conformal change

Let be a Riemannian or pseudo-Riemanniann metric on a smooth manifold , and a smooth real-valued function on . Then

is also a Riemannian metric on . We say that is (pointwise) conformal to . Evidently, conformality of metrics is an equivalence relation. Here are some formulas for conformal changes in tensors associated with the metric. (Quantities marked with a tilde will be associated with , while those unmarked with such will be associated with .)

Levi-Civita connection

(4,0) Riemann curvature tensor

Using the Kulkarni–Nomizu product:

Ricci tensor

Scalar curvature

Traceless Ricci tensor

(3,1) Weyl curvature

Volume form

Hodge operator on p-forms

Codifferential on p-forms

Laplacian on functions

Hodge Laplacian on p-forms

The "geometer's" sign convention is used for the Hodge Laplacian here. In particular it has the opposite sign on functions as the usual Laplacian.

Second fundamental form of an immersion

Suppose is Riemannian and is a twice-differentiable immersion. Recall that the second fundamental form is, for each a symmetric bilinear map which is valued in the -orthogonal linear subspace to Then

Here denotes the -orthogonal projection of onto the -orthogonal linear subspace to

Mean curvature of an immersion

In the same setting as above (and suppose has dimension ), recall that the mean curvature vector is for each an element defined as the -trace of the second fundamental form. Then

Note that this transformation formula is for the mean curvature vector, and the formula for the mean curvature in the hypersurface case is

where is a (local) normal vector field.

Variation formulas

Let be a smooth manifold and let be a one-parameter family of Riemannian or pseudo-Riemannian metrics. Suppose that it is a differentiable family in the sense that for any smooth coordinate chart, the derivatives exist and are themselves as differentiable as necessary for the following expressions to make sense. is a one-parameter family of symmetric 2-tensor fields.

Principal symbol

The variation formula computations above define the principal symbol of the mapping which sends a pseudo-Riemannian metric to its Riemann tensor, Ricci tensor, or scalar curvature.

See also

Notes

    Related Research Articles

    <span class="mw-page-title-main">Kaluza–Klein theory</span> Unified field theory

    In physics, Kaluza–Klein theory is a classical unified field theory of gravitation and electromagnetism built around the idea of a fifth dimension beyond the common 4D of space and time and considered an important precursor to string theory. In their setup, the vacuum has the usual 3 dimensions of space and one dimension of time but with another microscopic extra spatial dimension in the shape of a tiny circle. Gunnar Nordström had an earlier, similar idea. But in that case, a fifth component was added to the electromagnetic vector potential, representing the Newtonian gravitational potential, and writing the Maxwell equations in five dimensions.

    <span class="mw-page-title-main">Laplace's equation</span> Second-order partial differential equation

    In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace, who first studied its properties. This is often written as or where is the Laplace operator, is the divergence operator, is the gradient operator, and is a twice-differentiable real-valued function. The Laplace operator therefore maps a scalar function to another scalar function.

    <span class="mw-page-title-main">Navier–Stokes equations</span> Equations describing the motion of viscous fluid substances

    The Navier–Stokes equations are partial differential equations which describe the motion of viscous fluid substances. They were named after French engineer and physicist Claude-Louis Navier and the Irish physicist and mathematician George Gabriel Stokes. They were developed over several decades of progressively building the theories, from 1822 (Navier) to 1842–1850 (Stokes).

    <span class="mw-page-title-main">Riemannian manifold</span> Smooth manifold with an inner product on each tangent space

    In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the -sphere, hyperbolic space, and smooth surfaces in three-dimensional space, such as ellipsoids and paraboloids, are all examples of Riemannian manifolds. Riemannian manifolds are named after German mathematician Bernhard Riemann, who first conceptualized them.

    In continuum mechanics, the infinitesimal strain theory is a mathematical approach to the description of the deformation of a solid body in which the displacements of the material particles are assumed to be much smaller than any relevant dimension of the body; so that its geometry and the constitutive properties of the material at each point of space can be assumed to be unchanged by the deformation.

    On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. The exterior derivative was first described in its current form by Élie Cartan in 1899. The resulting calculus, known as exterior calculus, allows for a natural, metric-independent generalization of Stokes' theorem, Gauss's theorem, and Green's theorem from vector calculus.

    In vector calculus, Green's theorem relates a line integral around a simple closed curve C to a double integral over the plane region D bounded by C. It is the two-dimensional special case of Stokes' theorem. In one dimension, it is equivalent to the fundamental theorem of calculus. In three dimensions, it is equivalent to the divergence theorem.

    In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure of the degree to which the geometry of a given metric tensor differs locally from that of ordinary Euclidean space or pseudo-Euclidean space.

    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 differential geometry, the Cotton tensor on a (pseudo)-Riemannian manifold of dimension n is a third-order tensor concomitant of the metric. The vanishing of the Cotton tensor for n = 3 is necessary and sufficient condition for the manifold to be locally conformally flat. By contrast, in dimensions n ≥ 4, the vanishing of the Cotton tensor is necessary but not sufficient for the metric to be conformally flat; instead, the corresponding necessary and sufficient condition in these higher dimensions is the vanishing of the Weyl tensor, while the Cotton tensor just becomes a constant times the divergence of the Weyl tensor. For n < 3 the Cotton tensor is identically zero. The concept is named after Émile Cotton.

    In mathematics and physics, the Christoffel symbols are an array of numbers describing a metric connection. The metric connection is a specialization of the affine connection to surfaces or other manifolds endowed with a metric, allowing distances to be measured on that surface. In differential geometry, an affine connection can be defined without reference to a metric, and many additional concepts follow: parallel transport, covariant derivatives, geodesics, etc. also do not require the concept of a metric. However, when a metric is available, these concepts can be directly tied to the "shape" of the manifold itself; that shape is determined by how the tangent space is attached to the cotangent space by the metric tensor. Abstractly, one would say that the manifold has an associated (orthonormal) frame bundle, with each "frame" being a possible choice of a coordinate frame. An invariant metric implies that the structure group of the frame bundle is the orthogonal group O(p, q). As a result, such a manifold is necessarily a (pseudo-)Riemannian manifold. The Christoffel symbols provide a concrete representation of the connection of (pseudo-)Riemannian geometry in terms of coordinates on the manifold. Additional concepts, such as parallel transport, geodesics, etc. can then be expressed in terms of Christoffel symbols.

    In theoretical physics, the Wess–Zumino model has become the first known example of an interacting four-dimensional quantum field theory with linearly realised supersymmetry. In 1974, Julius Wess and Bruno Zumino studied, using modern terminology, dynamics of a single chiral superfield whose cubic superpotential leads to a renormalizable theory. It is a special case of 4D N = 1 global supersymmetry.

    <span class="mw-page-title-main">Mathematical descriptions of the electromagnetic field</span> Formulations of electromagnetism

    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 differential geometry there are a number of second-order, linear, elliptic differential operators bearing the name Laplacian. This article provides an overview of some of them.

    In fluid dynamics, the Oseen equations describe the flow of a viscous and incompressible fluid at small Reynolds numbers, as formulated by Carl Wilhelm Oseen in 1910. Oseen flow is an improved description of these flows, as compared to Stokes flow, with the (partial) inclusion of convective acceleration.

    In the finite element method for the numerical solution of elliptic partial differential equations, the stiffness matrix is a matrix that represents the system of linear equations that must be solved in order to ascertain an approximate solution to the differential equation.

    In continuum mechanics, a compatible deformation tensor field in a body is that unique tensor field that is obtained when the body is subjected to a continuous, single-valued, displacement field. Compatibility is the study of the conditions under which such a displacement field can be guaranteed. Compatibility conditions are particular cases of integrability conditions and were first derived for linear elasticity by Barré de Saint-Venant in 1864 and proved rigorously by Beltrami in 1886.

    Curvilinear coordinates can be formulated in tensor calculus, with important applications in physics and engineering, particularly for describing transportation of physical quantities and deformation of matter in fluid mechanics and continuum mechanics.

    Proximal gradientmethods for learning is an area of research in optimization and statistical learning theory which studies algorithms for a general class of convex regularization problems where the regularization penalty may not be differentiable. One such example is regularization of the form

    In mathematics, calculus on Euclidean space is a generalization of calculus of functions in one or several variables to calculus of functions on Euclidean space as well as a finite-dimensional real vector space. This calculus is also known as advanced calculus, especially in the United States. It is similar to multivariable calculus but is somewhat more sophisticated in that it uses linear algebra more extensively and covers some concepts from differential geometry such as differential forms and Stokes' formula in terms of differential forms. This extensive use of linear algebra also allows a natural generalization of multivariable calculus to calculus on Banach spaces or topological vector spaces.

    References