In geometry, a pseudosphere is a surface with constant negative Gaussian curvature.
A pseudosphere of radius is a surface in
R3
__TOC__
The same surface can be also described as the result of revolving a tractrix about its asymptote.For this reason the pseudosphere is also called tractroid. As an example, the (half) pseudosphere (with radius 1) is the surface of revolution of the tractrix parametrized by[2]
t\mapsto\left(t-\tanht,\operatorname{sech}t\right), 0\let<infty.
It is a singular space (the equator is a singularity), but away from the singularities, it has constant negative Gaussian curvature and therefore is locally isometric to a hyperbolic plane.
The name "pseudosphere" comes about because it has a two-dimensional surface of constant negative Gaussian curvature, just as a sphere has a surface with constant positive Gaussian curvature.Just as the sphere has at every point a positively curved geometry of a dome the whole pseudosphere has at every point the negatively curved geometry of a saddle.
As early as 1693 Christiaan Huygens found that the volume and the surface area of the pseudosphere are finite,[3] despite the infinite extent of the shape along the axis of rotation. For a given edge radius, the area is just as it is for the sphere, while the volume is and therefore half that of a sphere of that radius.[4]
The pseudosphere is an important geometric precursor to mathematical fabric arts and pedagogy.[5]
The half pseudosphere of curvature −1 is covered by the interior of a horocycle. In the Poincaré half-plane model one convenient choice is the portion of the half-plane with .[6] Then the covering map is periodic in the direction of period 2, and takes the horocycles to the meridians of the pseudosphere and the vertical geodesics to the tractrices that generate the pseudosphere. This mapping is a local isometry, and thus exhibits the portion of the upper half-plane as the universal covering space of the pseudosphere. The precise mapping is
(x,y)\mapsto(v(\operatorname{arcosh}y)\cosx,v(\operatorname{arcosh}y)\sinx,u(\operatorname{arcosh}y))
t\mapsto(u(t)=t-\operatorname{tanh}t,v(t)=\operatorname{sech}t)
In some sources that use the hyperboloid model of the hyperbolic plane, the hyperboloid is referred to as a pseudosphere.This usage of the word is because the hyperboloid can be thought of as a sphere of imaginary radius, embedded in a Minkowski space.
A pseudospherical surface is a generalization of the pseudosphere. A surface which is piecewise smoothly immersed in
R3
Pseudospherical surfaces can be constructed from solutions to the sine-Gordon equation.[7] A sketch proof starts with reparametrizing the tractroid with coordinates in which the Gauss–Codazzi equations can be rewritten as the sine-Gordon equation.
In particular, for the tractroid the Gauss–Codazzi equations are the sine-Gordon equation applied to the static soliton solution, so the Gauss–Codazzi equations are satisfied. In these coordinates the first and second fundamental forms are written in a way that makes clear the Gaussian curvature is −1 for any solution of the sine-Gordon equations.
Then any solution to the sine-Gordon equation can be used to specify a first and second fundamental form which satisfy the Gauss–Codazzi equations. There is then a theorem that any such set of initial data can be used to at least locally specify an immersed surface in
R3
A few examples of sine-Gordon solutions and their corresponding surface are given as follows: