In differential geometry, Hilbert's theorem (1901) states that there exists no complete regular surface of constant negative gaussian curvature immersed in . This theorem answers the question for the negative case of which surfaces in can be obtained by isometrically immersing complete manifolds with constant curvature.
The proof of Hilbert's theorem is elaborate and requires several lemmas. The idea is to show the nonexistence of an isometric immersion
of a plane to the real space . This proof is basically the same as in Hilbert's paper, although based in the books of Do Carmo and Spivak.
Observations: In order to have a more manageable treatment, but without loss of generality, the curvature may be considered equal to minus one, . There is no loss of generality, since it is being dealt with constant curvatures, and similarities of multiply by a constant. The exponential map is a local diffeomorphism (in fact a covering map, by Cartan-Hadamard theorem), therefore, it induces an inner product in the tangent space of at : . Furthermore, denotes the geometric surface with this inner product. If is an isometric immersion, the same holds for
The first lemma is independent from the other ones, and will be used at the end as the counter statement to reject the results from the other lemmas.
Lemma 1: The area of is infinite.
The idea of the proof is to create a global isometry between and . Then, since has an infinite area, will have it too.
The fact that the hyperbolic plane has an infinite area comes by computing the surface integral with the corresponding coefficients of the First fundamental form. To obtain these ones, the hyperbolic plane can be defined as the plane with the following inner product around a point with coordinates
Since the hyperbolic plane is unbounded, the limits of the integral are infinite, and the area can be calculated through
Next it is needed to create a map, which will show that the global information from the hyperbolic plane can be transfer to the surface , i.e. a global isometry. will be the map, whose domain is the hyperbolic plane and image the 2-dimensional manifold , which carries the inner product from the surface with negative curvature. will be defined via the exponential map, its inverse, and a linear isometry between their tangent spaces,
where . That is to say, the starting point goes to the tangent plane from through the inverse of the exponential map. Then travels from one tangent plane to the other through the isometry , and then down to the surface with another exponential map.
The following step involves the use of polar coordinates, and , around and respectively. The requirement will be that the axis are mapped to each other, that is goes to . Then preserves the first fundamental form.
In a geodesic polar system, the Gaussian curvature can be expressed as
In addition K is constant and fulfills the following differential equation
Since and have the same constant Gaussian curvature, then they are locally isometric (Minding's Theorem). That means that is a local isometry between and . Furthermore, from the Hadamard's theorem it follows that is also a covering map.
Since is simply connected, is a homeomorphism, and hence, a (global) isometry. Therefore, and are globally isometric, and because has an infinite area, then has an infinite area, as well.
Lemma 2: For each exists a parametrization , such that the coordinate curves of are asymptotic curves of and form a Tchebyshef net.
Lemma 3: Let be a coordinate neighborhood of such that the coordinate curves are asymptotic curves in . Then the area A of any quadrilateral formed by the coordinate curves is smaller than .
The next goal is to show that is a parametrization of .
Lemma 4: For a fixed , the curve , is an asymptotic curve with as arc length.
The following 2 lemmas together with lemma 8 will demonstrate the existence of a parametrization
Lemma 5: is a local diffeomorphism.
Lemma 6: is surjective.
Lemma 7: On there are two differentiable linearly independent vector fields which are tangent to the asymptotic curves of .
Lemma 8: is injective.
Proof of Hilbert's Theorem:
First, it will be assumed that an isometric immersion from a complete surface with negative curvature exists:
As stated in the observations, the tangent plane is endowed with the metric induced by the exponential map . Moreover, is an isometric immersion and Lemmas 5,6, and 8 show the existence of a parametrization of the whole , such that the coordinate curves of are the asymptotic curves of . This result was provided by Lemma 4. Therefore, can be covered by a union of "coordinate" quadrilaterals with . By Lemma 3, the area of each quadrilateral is smaller than . On the other hand, by Lemma 1, the area of is infinite, therefore has no bounds. This is a contradiction and the proof is concluded.
The Riesz representation theorem, sometimes called the Riesz–Fréchet representation theorem after Frigyes Riesz and Maurice René Fréchet, establishes an important connection between a Hilbert space and its continuous dual space. If the underlying field is the real numbers, the two are isometrically isomorphic; if the underlying field is the complex numbers, the two are isometrically anti-isomorphic. The (anti-) isomorphism is a particular natural isomorphism.
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
In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin-1⁄2 massive particles such as electrons and quarks for which parity is a symmetry. It is consistent with both the principles of quantum mechanics and the theory of special relativity, and was the first theory to account fully for special relativity in the context of quantum mechanics. It was validated by accounting for the fine details of the hydrogen spectrum in a completely rigorous way.
In fluid dynamics, potential flow describes the velocity field as the gradient of a scalar function: the velocity potential. As a result, a potential flow is characterized by an irrotational velocity field, which is a valid approximation for several applications. The irrotationality of a potential flow is due to the curl of the gradient of a scalar always being equal to zero.
In quantum mechanics, a density matrix is a matrix that describes the quantum state of a physical system. It allows for the calculation of the probabilities of the outcomes of any measurement performed upon this system, using the Born rule. It is a generalization of the more usual state vectors or wavefunctions: while those can only represent pure states, density matrices can also represent mixed states. Mixed states arise in quantum mechanics in two different situations: first when the preparation of the system is not fully known, and thus one must deal with a statistical ensemble of possible preparations, and second when one wants to describe a physical system which is entangled with another, as its state can not be described by a pure state.
In differential geometry, the Gaussian curvature or Gauss curvatureΚ of a surface at a point is the product of the principal curvatures, κ1 and κ2, at the given point:
Geometrical optics, or ray optics, is a model of optics that describes light propagation in terms of rays. The ray in geometric optics is an abstraction useful for approximating the paths along which light propagates under certain circumstances.
In theoretical physics, Nordström's theory of gravitation was a predecessor of general relativity. Strictly speaking, there were actually two distinct theories proposed by the Finnish theoretical physicist Gunnar Nordström, in 1912 and 1913 respectively. The first was quickly dismissed, but the second became the first known example of a metric theory of gravitation, in which the effects of gravitation are treated entirely in terms of the geometry of a curved spacetime.
The Titchmarsh convolution theorem is named after Edward Charles Titchmarsh, a British mathematician. The theorem describes the properties of the support of the convolution of two functions.
In probability theory and statistical mechanics, the Gaussian free field (GFF) is a Gaussian random field, a central model of random surfaces. Sheffield (2007) gives a mathematical survey of the Gaussian free field.
In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.
In mathematical analysis, and especially in real, harmonic analysis and functional analysis, an Orlicz space is a type of function space which generalizes the Lp spaces. Like the Lp spaces, they are Banach spaces. The spaces are named for Władysław Orlicz, who was the first to define them in 1932.
Stokes' theorem, also known as Kelvin–Stokes theorem after Lord Kelvin and George Stokes, the fundamental theorem for curls or simply the curl theorem, is a theorem in vector calculus on R3. Given a vector field, the theorem relates the integral of the curl of the vector field over some surface, to the line integral of the vector field around the boundary of the surface. The classical Stokes' theorem can be stated in one sentence: The line integral of a vector field over a loop is equal to the flux of its curl through the enclosed surface.
The Mehler kernel is a complex-valued function found to be the propagator of the quantum harmonic oscillator.
Partial-wave analysis, in the context of quantum mechanics, refers to a technique for solving scattering problems by decomposing each wave into its constituent angular-momentum components and solving using boundary conditions.
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 fluid dynamics, Rayleigh's equation or Rayleigh stability equation is a linear ordinary differential equation to study the hydrodynamic stability of a parallel, incompressible and inviscid shear flow. The equation is:
In probability theory, a branch of mathematics, white noise analysis, otherwise known as Hida calculus, is a framework for infinite-dimensional and stochastic calculus, based on the Gaussian white noise probability space, to be compared with Malliavin calculus based on the Wiener process. It was initiated by Takeyuki Hida in his 1975 Carleton Mathematical Lecture Notes.
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 somehow 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.
In mathematics, and especially complex geometry, the Mabuchi functional or K-energy functional is a functional on the space of Kähler potentials of a compact Kähler manifold whose critical points are constant scalar curvature Kähler metrics. The Mabuchi functional was introduced by Toshiki Mabuchi in 1985 as a functional which integrates the Futaki invariant, which is an obstruction to the existence of a Kähler–Einstein metric on a Fano manifold.