|
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 otherwise. 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, respectivel ... [...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 equation or inequality relating one mathematical expression to another, with the most important ones being mathematical theorems. 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 this once in terms of some parameter (the radius for example), mathematicians have produced a formula to describe the volume of a sphere in terms of its radius: ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann Curvature Tensor
Georg Friedrich Bernhard Riemann (; ; 17September 182620July 1866) was a German mathematician who made profound contributions to mathematical analysis, analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the first rigorous formulation of the integral, the Riemann integral, and his work on Fourier series. His contributions to complex analysis include most notably the introduction of Riemann surfaces, breaking new ground in a natural, geometric treatment of complex analysis. His On the Number of Primes Less Than a Given Magnitude, 1859 paper on the prime-counting function, containing the original statement of the Riemann hypothesis, is regarded as a foundational paper of analytic number theory. Through his pioneering Riemannian Geometry, contributions to differential geometry, Riemann laid the foundations of the mathematics of general relativity. He is considered by many to be one of the greatest mathematicians of all time. Ear ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inertial Frame
In classical physics and special relativity, an inertial frame of reference (also called an inertial space or a Galilean reference frame) is a frame of reference in which objects exhibit inertia: they remain at rest or in uniform motion relative to the frame until acted upon by external forces. In such a frame, the laws of nature can be observed without the need to correct for acceleration. All frames of reference with zero acceleration are in a state of constant rectilinear motion (straight-line motion) with respect to one another. In such a frame, an object with zero net force acting on it, is perceived to move with a constant velocity, or, equivalently, Newton's first law of motion holds. Such frames are known as inertial. Some physicists, like Isaac Newton, originally thought that one of these frames was absolute — the one approximated by the fixed stars. However, this is not required for the definition, and it is now known that those stars are in fact moving, relative ... [...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_ + 2h ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Antisymmetric Tensor
In mathematics and theoretical physics, a tensor is antisymmetric or alternating 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 co ... [...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 exterior d ... [...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 rate that the vector field alters the volume in an infinitesimal neighborhood of each point. (In 2D this "volume" refers to area.) More precisely, the divergence at a point is the rate that the flow of the vector field modifies a volume about the point ''in the limit'', as a small volume shrinks down to the 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 fi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gradient
In vector calculus, the gradient of a scalar-valued differentiable function f of several variables is the vector field (or vector-valued function) \nabla f whose value at a point p gives the direction and the rate of fastest increase. The gradient transforms like a vector under change of basis of the space of variables of f. If the gradient of a function is non-zero at a point p, the direction of the gradient is the direction in which the function increases most quickly from p, 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 minimize a function by gradient descent. In coordinate-free terms, the gradient of a function f(\mathbf) may be defined by: df=\nabla f \cdot d\mathbf where df is the total infinitesimal change in f for a ... [...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 \boldsymbol is a tensor of order 2 defined over pseudo-Riemannian manifolds. In index-free notation it is defined as \boldsymbol=\boldsymbol-\frac\boldsymbolR, where \boldsymbol is the Ricci tensor, \boldsymbol is the metric tensor and R is the scalar curvature, which is computed as the trace of the Ricci tensor R_ by . 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, has zero divergence: \nabla_\mu G^ = 0\,. Explicit form The Ricci tensor depends only on the metr ... [...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 expres ... [...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 ... [...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 bi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
