5
$\begingroup$

I'm looking for a formula to describe surface and volume of a sphere in hyperbolic 3-space. I found some results which were generalized for any dimension, but I wasn't able to understand them.

Overall, I find there's a sort of "symmetry" between spherical and hyperbolical geometry in these formulas. The circumference of circle in hyperbolic geometry is $2\pi\sinh(r)$, in spherical geometry it's $2\pi\sin(r)$. Areas are $2\pi(\cosh(r) - 1)$ and $2\pi(1 - \cos(r))$, respectively.

I then tried to generalize it into 3D. I was trying to find surface and volume of sphere in spherical space (considered as a cap of Euclidean 4D hypersphere), and eventually obtained formulas that seem to work: $2\pi(1 - \cos(2r))$ for surface and $2\pi(r - \sin(2r)/2)$ for volume. Considering the analogy between formula for area of circle and for surface of sphere, the hyperbolic formulas should be $2\pi(\cosh(2r) - 1)$ for surface and $2\pi(\sinh(2r)/2 - r)$ for volume, but this is based mostly on intuition, so I'd appreciate if you could either confirm my line of thought or give me the real result :)

(Incidentally, what is the formula for length of an equidistant curve? I used the same analogy between goniometric and hyperbolic functions to solve it for sphere: if I have a certain length a of straight line, I can construct the perpendicular lines at the endpoints which will then intersect the equidistant curve (circle on sphere, hypercycle in hyperbolic geometry) under right angles as well. If b is the distance of the equidistant from the line, the length of such defined arc of equidistant is acos(b) on sphere, so it should be acosh(b) in hyperbolic geometry -- is this correct? Finally, what would be the formula for a part of surface equidistant from plane directly "above" a part of the plane of known volume?)

$\endgroup$
  • $\begingroup$ Please consider typing the math equations/symbols in LaTeX to make it more readable. Check: meta.math.stackexchange.com/questions/5020/… $\endgroup$ – Meshal Sep 21 '15 at 16:30
  • $\begingroup$ From en.wikipedia.org/wiki/Talk:Hyperbolic_space (still needs to be included on the main article ) The surface area of a sphere is $4\pi R^2 \sinh^2 \frac{r}{R} $ The volume of the enclosed ball is $\pi R^3 \sinh \frac{2r}{R} - 2\pi R^2r $ (references are missing) also see math.stackexchange.com/questions/1208291/length-of-a-hypercycle (an equidistant line is an hypercycle) $\endgroup$ – Willemien Sep 22 '15 at 6:38
  • $\begingroup$ I see. I assumed that R = 1 (in other words, that r is expressed in absolute units), but otherwise the results are the same as what I got because sinh(x)^2 = (cosh(2x) - 1)/2. So the formulation is more precise, but my idea was basically correct. Good to know. $\endgroup$ – Marek14 Sep 22 '15 at 6:46
  • $\begingroup$ Thanks for the hypercycle link, but I notice that the question was never answered. $\endgroup$ – Marek14 Sep 22 '15 at 6:54
4
$\begingroup$

To confirm the OP's conjectures: A hyperbolic circle of hyperbolic radius $r$ has circumference $2\pi R \sinh \frac rR$ (where $R$ is the absolute length). Consequently, in hyperbolic $(n + 1)$-space an $n$-sphere of radius $r$ is isometric to a Euclidean $n$-sphere of Euclidean radius $R \sinh \frac rR$. Particularly, the area of a sphere of hyperbolic radius $r$ in hyperbolic $3$-space is $$ 4\pi R^2\sinh^{2} \frac rR = 2\pi R^2\bigl(\cosh (\frac {2r} R) - 1\bigr), $$ and the volume of a hyperbolic $3$-ball of radius $r$ is $$ \int_{0}^{r} 2\pi R^2\bigl(\cosh(\frac {2t} R) - 1\bigr)\, dt = \pi R^2\bigl(R\sinh(\frac {2r} R) - 2r\bigr). $$

$\endgroup$
  • 1
    $\begingroup$ Thanks, since the time I asked this question, I came to understand why. Any formula for surface or volume of sphere in any dimension can be rewritten to use the circumference instead of radius. And circumference of sphere is a value that doesn't depend on geometry - surface of a sphere still looks the same whether the sphere itself is embedded in spherical, Euclidean or hyperbolic space, so this set of formulas would be universal and you can just reverse-plug the circumference/radius relation to get the result for a specific geometry. $\endgroup$ – Marek14 Jun 4 '17 at 6:51
  • 1
    $\begingroup$ What is "the absolute distance" $R$ for a space form of negative curvature $K$? Is it $\frac 1 {\sqrt[n] {-K}}$? $\endgroup$ – Alex M. Jun 5 '18 at 18:00
  • $\begingroup$ @Tiana: I know, I was asking about its value in terms of the curvature. $\endgroup$ – Alex M. Apr 6 at 16:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.