List Of Formulas In Riemannian Geometry
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 otherwhise. Christoffel symbols, covariant derivative In a smooth coordinate chart, the Christoffel symbols of the first kind are given by :\Gamma_=\frac12 \left( \frac g_ +\frac g_ -\frac g_ \right) =\frac12 \left( g_ + g_ - g_ \right) \,, and the Christoffel symbols of the second kind by :\begin \Gamma^m_ &= g^\Gamma_\\ &=\frac\, g^ \left( \frac g_ +\frac g_ -\frac g_ \right) =\frac\, g^ \left( g_ + g_ - g_ \right) \,. \end Here g^ is the inverse matrix to the metric tensor g_. In other words, : \delta^i_j = g^g_ and thus : n = \delta^i_i = g^i_i = g^g_ is the dimension of the manifold. Christoffel symbols satisfy the symmetry relations :\Gamma_ = \Gamma_ or, respect ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Formula
In science, a formula is a concise way of expressing information symbolically, as in a mathematical formula or a ''chemical formula''. The informal use of the term ''formula'' in science refers to the general construct of a relationship between given quantities. The plural of ''formula'' can be either ''formulas'' (from the most common English plural noun form) or, under the influence of scientific Latin, ''formulae'' (from the original Latin). In mathematics In mathematics, a formula generally refers to an identity which equates one mathematical expression to another, with the most important ones being mathematical theorems. Syntactically, a formula (often referred to as a ''well-formed formula'') is an entity which is constructed using the symbols and formation rules of a given logical language. For example, determining the volume of a sphere requires a significant amount of integral calculus or its geometrical analogue, the method of exhaustion. However, having done t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Riemann Curvature Tensor
In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor (after Bernhard Riemann and Elwin Bruno Christoffel) is the most common way used to express the curvature of Riemannian manifolds. It assigns a tensor to each point of a Riemannian manifold (i.e., it is a tensor field). 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. It is a central mathematical tool in the theory of general relativity, the modern theory of gravity, and the curvature of spacetime is in principle observable via the geodesic deviation equation. The curvature tensor represents the tidal force experienced by a rigid body moving al ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Inertial Frame
In classical physics and special relativity, an inertial frame of reference (also called inertial reference frame, inertial frame, inertial space, or Galilean reference frame) is a frame of reference that is not undergoing any acceleration. It is a frame in which an isolated physical object — an object with zero net force acting on it — is perceived to move with a constant velocity (it might be a zero velocity) or, equivalently, it is a frame of reference in which Newton's first law of motion holds. All inertial frames are in a state of constant, rectilinear motion with respect to one another; in other words, an accelerometer moving with any of them would detect zero acceleration. It has been observed that celestial objects which are far away from other objects and which are in uniform motion with respect to the cosmic microwave background radiation maintain such uniform motion. Measurements in one inertial frame can be converted to measurements in another by a simple ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kulkarni–Nomizu Product
In the mathematical field of differential geometry, the Kulkarni–Nomizu product (named for Ravindra Shripad Kulkarni and Katsumi Nomizu) is defined for two -tensors and gives as a result a -tensor. Definition If ''h'' and ''k'' are symmetric -tensors, then the product is defined via: :\begin (h k)(X_1, X_2, X_3, X_4) := &h(X_1, X_3)k(X_2, X_4) + h(X_2, X_4)k(X_1, X_3) \\ &- h(X_1, X_4)k(X_2, X_3) - h(X_2, X_3)k(X_1, X_4) \\ pt = &\begin h(X_1, X_3) &h (X_1, X_4)\\ k(X_2, X_3) &k (X_2, X_4) \end + \begin k(X_1, X_3) &k (X_1, X_4)\\ h(X_2, X_3) &h (X_2, X_4) \end \end where the ''X''''j'' are tangent vectors and , \cdot, is the matrix determinant. Note that h k = k h, as it is clear from the second expression. With respect to a basis \ of the tangent space, it takes the compact form :(h~\wedge\!\!\!\!\!\!\!\!\;\bigcirc~k)_ = (hk )(\partial_i, \partial_j, \partial_l,\partial_m) = 2h_k_ + 2 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Antisymmetric Tensor
In mathematics and theoretical physics, a tensor is antisymmetric on (or with respect to) an index subset if it alternates sign (+/−) when any two indices of the subset are interchanged. section §7. The index subset must generally either be all ''covariant'' or all ''contravariant''. For example, T_ = -T_ = T_ = -T_ = T_ = -T_ holds when the tensor is antisymmetric with respect to its first three indices. If a tensor changes sign under exchange of ''each'' pair of its indices, then the tensor is completely (or totally) antisymmetric. A completely antisymmetric covariant tensor field of order k may be referred to as a differential k-form, and a completely antisymmetric contravariant tensor field may be referred to as a k-vector field. Antisymmetric and symmetric tensors A tensor A that is antisymmetric on indices i and j has the property that the contraction with a tensor B that is symmetric on indices i and j is identically 0. For a general tensor U with components U_ and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Laplace–Beltrami Operator
In differential geometry, the Laplace–Beltrami operator is a generalization of the Laplace operator to functions defined on submanifolds in Euclidean space and, even more generally, on Riemannian and pseudo-Riemannian manifolds. It is named after Pierre-Simon Laplace and Eugenio Beltrami. For any twice-differentiable real-valued function ''f'' defined on Euclidean space R''n'', the Laplace operator (also known as the ''Laplacian'') takes ''f'' to the divergence of its gradient vector field, which is the sum of the ''n'' pure second derivatives of ''f'' with respect to each vector of an orthonormal basis for R''n''. Like the Laplacian, the Laplace–Beltrami operator is defined as the divergence of the gradient, and is a linear operator taking functions into functions. The operator can be extended to operate on tensors as the divergence of the covariant derivative. Alternatively, the operator can be generalized to operate on differential forms using the divergence and exterio ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Divergence
In vector calculus, divergence is a vector operator that operates on a vector field, producing a scalar field giving the quantity of the vector field's source at each point. More technically, the divergence represents the volume density of the outward flux of a vector field from an infinitesimal volume around a given point. As an example, consider air as it is heated or cooled. The velocity of the air at each point defines a vector field. While air is heated in a region, it expands in all directions, and thus the velocity field points outward from that region. The divergence of the velocity field in that region would thus have a positive value. While the air is cooled and thus contracting, the divergence of the velocity has a negative value. Physical interpretation of divergence In physical terms, the divergence of a vector field is the extent to which the vector field flux behaves like a source at a given point. It is a local measure of its "outgoingness" – the extent to ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Gradient
In vector calculus, the gradient of a scalar-valued differentiable function of several variables is the vector field (or vector-valued function) \nabla f whose value at a point p is the "direction and rate of fastest increase". If the gradient of a function is non-zero at a point , the direction of the gradient is the direction in which the function increases most quickly from , and the magnitude of the gradient is the rate of increase in that direction, the greatest absolute directional derivative. Further, a point where the gradient is the zero vector is known as a stationary point. The gradient thus plays a fundamental role in optimization theory, where it is used to maximize a function by gradient ascent. In coordinate-free terms, the gradient of a function f(\bf) may be defined by: :df=\nabla f \cdot d\bf where ''df'' is the total infinitesimal change in ''f'' for an infinitesimal displacement d\bf, and is seen to be maximal when d\bf is in the direction of the gradi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Einstein Tensor
In differential geometry, the Einstein tensor (named after Albert Einstein; also known as the trace-reversed Ricci tensor) is used to express the curvature of a pseudo-Riemannian manifold. In general relativity, it occurs in the Einstein field equations for gravitation that describe spacetime curvature in a manner that is consistent with conservation of energy and momentum. Definition The Einstein tensor \mathbf is a tensor of order 2 defined over pseudo-Riemannian manifolds. In index-free notation it is defined as \mathbf=\mathbf-\frac\mathbfR, where \mathbf is the Ricci tensor, \mathbf is the metric tensor and R is the scalar curvature, which is computed as the trace of the Ricci Tensor R_ by R = g^R_ = R_\mu^\mu. In component form, the previous equation reads as G_ = R_ - g_R . The Einstein tensor is symmetric G_ = G_ and, like the on shell stress–energy tensor, and has zero divergence: \nabla_\mu G^ = 0\,. Explicit form The Ricci tensor depends only on the metric ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Weyl Tensor
In differential geometry, the Weyl curvature tensor, named after Hermann Weyl, is a measure of the curvature of spacetime or, more generally, a pseudo-Riemannian manifold. Like the Riemann curvature tensor, the Weyl tensor expresses the tidal force that a body feels when moving along a geodesic. The Weyl tensor differs from the Riemann curvature tensor in that it does not convey information on how the volume of the body changes, but rather only how the shape of the body is distorted by the tidal force. The Ricci curvature, or trace component of the Riemann tensor contains precisely the information about how volumes change in the presence of tidal forces, so the Weyl tensor is the traceless component of the Riemann tensor. This tensor has the same symmetries as the Riemann tensor, but satisfies the extra condition that it is trace-free: metric contraction on any pair of indices yields zero. It is obtained from the Riemann tensor by subtracting a tensor that is a linear express ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Scalar Curvature
In the mathematical field of Riemannian geometry, the scalar curvature (or the Ricci scalar) is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry of the metric near that point. It is defined by a complicated explicit formula in terms of partial derivatives of the metric components, although it is also characterized by the volume of infinitesimally small geodesic balls. In the context of the differential geometry of surfaces, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In higher dimensions, however, the scalar curvature only represents one particular part of the Riemann curvature tensor. The definition of scalar curvature via partial derivatives is also valid in the more general setting of pseudo-Riemannian manifolds. This is significant in general relativity, where scalar curvature of a Lorentzian metric is one of t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ricci Curvature
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. The Ricci tensor can be characterized by measurement of how a shape is deformed as one moves along geodesics in the space. In general relativity, which involves the pseudo-Riemannian setting, this is reflected by the presence of the Ricci tensor in the Raychaudhuri equation. Partly for this reason, the Einstein field equations propose that spacetime can be described by a pseudo-Riemannian metric, with a strikingly simple relationship between the Ricci tensor and the matter content of the universe. Like the metric tensor, the Ricci tensor assigns to each tangent space of the manifold a symmetric bili ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |