Bochner Formula
   HOME
*





Bochner Formula
In mathematics, Bochner's formula is a statement relating harmonic functions on a Riemannian manifold (M, g) to the Ricci curvature. The formula is named after the American mathematician Salomon Bochner. Formal statement If u \colon M \rightarrow \mathbb is a smooth function, then : \tfrac12 \Delta, \nabla u, ^2 = g(\nabla\Delta u,\nabla u) + , \nabla^2 u, ^2 + \mbox(\nabla u, \nabla u) , where \nabla u is the gradient of u with respect to g, \nabla^2 u is the Hessian of u with respect to g and \mbox is the Ricci curvature tensor.. If u is harmonic (i.e., \Delta u = 0 , where \Delta=\Delta_g is the Laplacian with respect to the metric g ), Bochner's formula becomes : \tfrac12 \Delta, \nabla u, ^2 = , \nabla^2 u, ^2 + \mbox(\nabla u, \nabla u) . Bochner used this formula to prove the Bochner vanishing theorem. As a corollary, if (M, g) is a Riemannian manifold without boundary and u \colon M \rightarrow \mathbb is a smooth, compactly supported functi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Harmonic Functions
In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f: U \to \mathbb R, where is an open subset of that satisfies Laplace's equation, that is, : \frac + \frac + \cdots + \frac = 0 everywhere on . This is usually written as : \nabla^2 f = 0 or :\Delta f = 0 Etymology of the term "harmonic" The descriptor "harmonic" in the name harmonic function originates from a point on a taut string which is undergoing harmonic motion. The solution to the differential equation for this type of motion can be written in terms of sines and cosines, functions which are thus referred to as ''harmonics''. Fourier analysis involves expanding functions on the unit circle in terms of a series of these harmonics. Considering higher dimensional analogues of the harmonics on the unit ''n''-sphere, one arrives at the spherical harmonics. These functions satisfy Laplace's equation and over time "harmonic" ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Riemannian Manifold
In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real manifold, real, smooth manifold ''M'' equipped with a positive-definite Inner product space, inner product ''g''''p'' on the tangent space ''T''''p''''M'' at each point ''p''. The family ''g''''p'' of inner products is called a metric tensor, Riemannian metric (or Riemannian metric tensor). Riemannian geometry is the study of Riemannian manifolds. A common convention is to take ''g'' to be Smoothness, smooth, which means that for any smooth coordinate chart on ''M'', the ''n''2 functions :g\left(\frac,\frac\right):U\to\mathbb are smooth functions. These functions are commonly designated as g_. With further restrictions on the g_, one could also consider Lipschitz continuity, Lipschitz Riemannian metrics or Measurable function, measurable Riemannian metrics, among many other possibilities. A Riemannian metric (tensor) makes it possible to ...
[...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]  




United States
The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country primarily located in North America. It consists of 50 states, a federal district, five major unincorporated territories, nine Minor Outlying Islands, and 326 Indian reservations. The United States is also in free association with three Pacific Island sovereign states: the Federated States of Micronesia, the Marshall Islands, and the Republic of Palau. It is the world's third-largest country by both land and total area. It shares land borders with Canada to its north and with Mexico to its south and has maritime borders with the Bahamas, Cuba, Russia, and other nations. With a population of over 333 million, it is the most populous country in the Americas and the third most populous in the world. The national capital of the United States is Washington, D.C. and its most populous city and principal financial center is New York City. Paleo-Americ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History One of the earliest known mathematicians were Thales of Miletus (c. 624–c.546 BC); he has been hailed as the first true mathematician and the first known individual to whom a mathematical discovery has been attributed. He is credited with the first use of deductive reasoning applied to geometry, by deriving four corollaries to Thales' Theorem. The number of known mathematicians grew when Pythagoras of Samos (c. 582–c. 507 BC) established the Pythagorean School, whose doctrine it was that mathematics ruled the universe and whose motto was "All is number". It was the Pythagoreans who coined the term "mathematics", and with whom the study of mathematics for its own sake begins. The first woman mathematician recorded by history was Hypati ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Salomon Bochner
Salomon Bochner (20 August 1899 – 2 May 1982) was an Austrian mathematician, known for work in mathematical analysis, probability theory and differential geometry. Life He was born into a Jewish family in Podgórze (near Kraków), then Austria-Hungary, now Poland. Fearful of a Russian invasion in Galicia at the beginning of World War I in 1914, his family moved to Germany, seeking greater security. Bochner was educated at a Berlin gymnasium (secondary school), and then at the University of Berlin. There, he was a student of Erhard Schmidt, writing a dissertation involving what would later be called the Bergman kernel. Shortly after this, he left the academy to help his family during the escalating inflation. After returning to mathematical research, he lectured at the University of Munich from 1924 to 1933. His academic career in Germany ended after the Nazis came to power in 1933, and he left for a position at Princeton University. He was a visiting scholar at the Institu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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]  


Hessian Matrix
In mathematics, the Hessian matrix or Hessian is a square matrix of second-order partial derivatives of a scalar-valued function, or scalar field. It describes the local curvature of a function of many variables. The Hessian matrix was developed in the 19th century by the German mathematician Ludwig Otto Hesse and later named after him. Hesse originally used the term "functional determinants". Definitions and properties Suppose f : \R^n \to \R is a function taking as input a vector \mathbf \in \R^n and outputting a scalar f(\mathbf) \in \R. If all second-order partial derivatives of f exist, then the Hessian matrix \mathbf of f is a square n \times n matrix, usually defined and arranged as follows: \mathbf H_f= \begin \dfrac & \dfrac & \cdots & \dfrac \\ .2ex \dfrac & \dfrac & \cdots & \dfrac \\ .2ex \vdots & \vdots & \ddots & \vdots \\ .2ex \dfrac & \dfrac & \cdots & \dfrac \end, or, by stating an equation for the coefficients using indices i and j, (\mathbf H_f)_ = \fra ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Graduate Studies In Mathematics
Graduate Studies in Mathematics (GSM) is a series of graduate-level textbooks in mathematics published by the American Mathematical Society (AMS). The books in this series are published ihardcoverane-bookformats. List of books *1 ''The General Topology of Dynamical Systems'', Ethan Akin (1993, ) *2 ''Combinatorial Rigidity'', Jack Graver, Brigitte Servatius, Herman Servatius (1993, ) *3 ''An Introduction to Gröbner Bases'', William W. Adams, Philippe Loustaunau (1994, ) *4 ''The Integrals of Lebesgue, Denjoy, Perron, and Henstock'', Russell A. Gordon (1994, ) *5 ''Algebraic Curves and Riemann Surfaces'', Rick Miranda (1995, ) *6 ''Lectures on Quantum Groups'', Jens Carsten Jantzen (1996, ) *7 ''Algebraic Number Fields'', Gerald J. Janusz (1996, 2nd ed., ) *8 ''Discovering Modern Set Theory. I: The Basics'', Winfried Just, Martin Weese (1996, ) *9 ''An Invitation to Arithmetic Geometry'', Dino Lorenzini (1996, ) *10 ''Representations of Finite and Compact Groups'', Barry Simon (199 ...
[...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]  


Bochner Vanishing Theorem
Bochner is a surname. Notable people with the surname include: * Arthur P. Bochner, American communication scholar * Hart Bochner (born 1956), Canadian film actor, screenwriter, director, and producer * Lloyd Bochner (1924–2005), Canadian actor * Mel Bochner (born 1940), American conceptual artist * Salomon Bochner (1899–1982), American mathematician See also * Büchner Büchner (or Buechner) is a German language surname related to the word ''Buche'' (german: beech) and may refer to: * Eberhard Büchner (born 1939), German tenor * Ernst Büchner (1850–1925), German chemist after whom the Büchner flask and Büc ...
{{surname ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]