Normal coordinates

Last updated

In differential geometry, normal coordinates at a point p in a differentiable manifold equipped with a symmetric affine connection are a local coordinate system in a neighborhood of p obtained by applying the exponential map to the tangent space at p. In a normal coordinate system, the Christoffel symbols of the connection vanish at the point p, thus often simplifying local calculations. In normal coordinates associated to the Levi-Civita connection of a Riemannian manifold, one can additionally arrange that the metric tensor is the Kronecker delta at the point p, and that the first partial derivatives of the metric at p vanish.

Contents

A basic result of differential geometry states that normal coordinates at a point always exist on a manifold with a symmetric affine connection. In such coordinates the covariant derivative reduces to a partial derivative (at p only), and the geodesics through p are locally linear functions of t (the affine parameter). This idea was implemented in a fundamental way by Albert Einstein in the general theory of relativity: the equivalence principle uses normal coordinates via inertial frames. Normal coordinates always exist for the Levi-Civita connection of a Riemannian or Pseudo-Riemannian manifold. By contrast, in general there is no way to define normal coordinates for Finsler manifolds in a way that the exponential map are twice-differentiable ( Busemann 1955 ).

Geodesic normal coordinates

Geodesic normal coordinates are local coordinates on a manifold with an affine connection defined by means of the exponential map

and an isomorphism

given by any basis of the tangent space at the fixed basepoint . If the additional structure of a Riemannian metric is imposed, then the basis defined by E may be required in addition to be orthonormal, and the resulting coordinate system is then known as a Riemannian normal coordinate system.

Normal coordinates exist on a normal neighborhood of a point p in M. A normal neighborhoodU is an open subset of M such that there is a proper neighborhood V of the origin in the tangent space TpM, and expp acts as a diffeomorphism between U and V. On a normal neighborhood U of p in M, the chart is given by:

The isomorphism E, and therefore the chart, is in no way unique. A convex normal neighborhoodU is a normal neighborhood of every p in U. The existence of these sort of open neighborhoods (they form a topological basis) has been established by J.H.C. Whitehead for symmetric affine connections.

Properties

The properties of normal coordinates often simplify computations. In the following, assume that is a normal neighborhood centered at a point in and are normal coordinates on .

Explicit formulae

In the neighbourhood of any point equipped with a locally orthonormal coordinate system in which and the Riemann tensor at takes the value we can adjust the coordinates so that the components of the metric tensor away from become

The corresponding Levi-Civita connection Christoffel symbols are

Similarly we can construct local coframes in which

and the spin-connection coefficients take the values

Polar coordinates

On a Riemannian manifold, a normal coordinate system at p facilitates the introduction of a system of spherical coordinates, known as polar coordinates. These are the coordinates on M obtained by introducing the standard spherical coordinate system on the Euclidean space TpM. That is, one introduces on TpM the standard spherical coordinate system (r,φ) where r  0 is the radial parameter and φ = 1,...,φn1) is a parameterization of the (n1)-sphere. Composition of (r,φ) with the inverse of the exponential map at p is a polar coordinate system.

Polar coordinates provide a number of fundamental tools in Riemannian geometry. The radial coordinate is the most significant: geometrically it represents the geodesic distance to p of nearby points. Gauss's lemma asserts that the gradient of r is simply the partial derivative . That is,

for any smooth function ƒ. As a result, the metric in polar coordinates assumes a block diagonal form

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. 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.

In geometry, a geodesic is a curve representing in some sense the shortest path (arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line".

<span class="mw-page-title-main">Riemann curvature tensor</span> Tensor field in Riemannian geometry

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. It is a local invariant of Riemannian metrics which measures the failure of the second covariant derivatives to commute. A Riemannian manifold has zero curvature if and only if it is flat, i.e. locally isometric to the Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold, or indeed any manifold equipped with an affine connection.

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.

<span class="mw-page-title-main">Hamilton–Jacobi equation</span> A reformulation of Newtons laws of motion using the calculus of variations

In physics, the Hamilton–Jacobi equation, named after William Rowan Hamilton and Carl Gustav Jacob Jacobi, is an alternative formulation of classical mechanics, equivalent to other formulations such as Newton's laws of motion, Lagrangian mechanics and Hamiltonian mechanics.

In mathematics, a Killing vector field, named after Wilhelm Killing, is a vector field on a Riemannian manifold that preserves the metric. Killing fields are the infinitesimal generators of isometries; that is, flows generated by Killing fields are continuous isometries of the manifold. More simply, the flow generates a symmetry, in the sense that moving each point of an object the same distance in the direction of the Killing vector will not distort distances on the object.

In mathematics and theoretical physics, the induced metric is the metric tensor defined on a submanifold that is induced from the metric tensor on a manifold into which the submanifold is embedded, through the pullback. It may be determined using the following formula, which is the component form of the pullback operation:

<span class="mw-page-title-main">Mathematics of general relativity</span> Mathematical structures and techniques used in the theory of general relativity

When studying and formulating Albert Einstein's theory of general relativity, various mathematical structures and techniques are utilized. 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.

<span class="mw-page-title-main">Geodesics in general relativity</span> Generalization of straight line to a curved space time

In general relativity, a geodesic generalizes the notion of a "straight line" to curved spacetime. Importantly, the world line of a particle free from all external, non-gravitational forces is a particular type of geodesic. In other words, a freely moving or falling particle always moves along a geodesic.

In general relativity, the metric tensor is the fundamental object of study. It may loosely be thought of as a generalization of the gravitational potential of Newtonian gravitation. The metric captures all the geometric and causal structure of spacetime, being used to define notions such as time, distance, volume, curvature, angle, and separation of the future and the past.

A frame field in general relativity is a set of four pointwise-orthonormal vector fields, one timelike and three spacelike, defined on a Lorentzian manifold that is physically interpreted as a model of spacetime. The timelike unit vector field is often denoted by and the three spacelike unit vector fields by . All tensorial quantities defined on the manifold can be expressed using the frame field and its dual coframe field.

In general relativity, if two objects are set in motion along two initially parallel trajectories, the presence of a tidal gravitational force will cause the trajectories to bend towards or away from each other, producing a relative acceleration between the objects.

Solving the geodesic equations is a procedure used in mathematics, particularly Riemannian geometry, and in physics, particularly in general relativity, that results in obtaining geodesics. Physically, these represent the paths of particles with no proper acceleration, their motion satisfying the geodesic equations. Because the particles are subject to no proper acceleration, the geodesics generally represent the straightest path between two points in a curved spacetime.

<span class="mw-page-title-main">Elliptic coordinate system</span> 2D coordinate system whose coordinate lines are confocal ellipses and hyperbolae

In geometry, the elliptic coordinate system is a two-dimensional orthogonal coordinate system in which the coordinate lines are confocal ellipses and hyperbolae. The two foci and are generally taken to be fixed at and , respectively, on the -axis of the Cartesian coordinate system.

<span class="mw-page-title-main">Newman–Penrose formalism</span> Notation in general relativity

The Newman–Penrose (NP) formalism is a set of notation developed by Ezra T. Newman and Roger Penrose for general relativity (GR). Their notation is an effort to treat general relativity in terms of spinor notation, which introduces complex forms of the usual variables used in GR. The NP formalism is itself a special case of the tetrad formalism, where the tensors of the theory are projected onto a complete vector basis at each point in spacetime. Usually this vector basis is chosen to reflect some symmetry of the spacetime, leading to simplified expressions for physical observables. In the case of the NP formalism, the vector basis chosen is a null tetrad: a set of four null vectors—two real, and a complex-conjugate pair. The two real members often asymptotically point radially inward and radially outward, and the formalism is well adapted to treatment of the propagation of radiation in curved spacetime. The Weyl scalars, derived from the Weyl tensor, are often used. In particular, it can be shown that one of these scalars— in the appropriate frame—encodes the outgoing gravitational radiation of an asymptotically flat system.

The tetrad formalism is an approach to general relativity that generalizes the choice of basis for the tangent bundle from a coordinate basis to the less restrictive choice of a local basis, i.e. a locally defined set of four linearly independent vector fields called a tetrad or vierbein. It is a special case of the more general idea of a vielbein formalism, which is set in (pseudo-)Riemannian geometry. This article as currently written makes frequent mention of general relativity; however, almost everything it says is equally applicable to (pseudo-)Riemannian manifolds in general, and even to spin manifolds. Most statements hold simply by substituting arbitrary for . In German, "vier" translates to "four", and "viel" to "many".

<span class="mw-page-title-main">Relativistic Lagrangian mechanics</span> Mathematical formulation of special and general relativity

In theoretical physics, relativistic Lagrangian mechanics is Lagrangian mechanics applied in the context of special relativity and general relativity.

Affine gauge theory is classical gauge theory where gauge fields are affine connections on the tangent bundle over a smooth manifold . For instance, these are gauge theory of dislocations in continuous media when , the generalization of metric-affine gravitation theory when is a world manifold and, in particular, gauge theory of the fifth force.

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.

In differential geometry, Santaló's formula describes how to integrate a function on the unit sphere bundle of a Riemannian manifold by first integrating along every geodesic separately and then over the space of all geodesics. It is a standard tool in integral geometry and has applications in isoperimetric and rigidity results. The formula is named after Luis Santaló, who first proved the result in 1952.

References

See also