Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

145 submissions , 122 unreviewed
3,930 questions , 1,398 unanswered
4,853 answers , 20,624 comments
1,470 users with positive rep
501 active unimported users
More ...

Divergence theorem on Hyperbolic space

+ 3 like - 0 dislike
54 views

Given a vector field, say $F$, defined on a manifold $U$, the divergence theorem states that: $$\int_U\nabla \cdot F dV=\int_{\partial U} F d \Sigma .$$

Well if the manifold is $\mathbb R ^n$ and $F$ only depends on the (geodesic) distance of two given points in $\mathbb R^n$ one can apply the divergence theorem considering the volume of the sphere centered in one of the points, whose radius, $R$, is the distance between the considered points, and $\partial U$ is just the sphere's surface. Then the divergence theorem can be writen explicitly as

$$\int_{S^n}\nabla \cdot F \space \space R^n\sin^{n-1}(\theta)d\theta d\Omega=F \space R^n \int_{ S^{n-1}} \sin^{n-1}(\theta)d\theta d\Omega .$$

But what if the considered manifold is the hyperbolic space? What would be the volume element? $R^n\sinh^{n-1}(\theta)d\theta d\Omega$, as the wiki article suggests? If so, what would be interpretation of $R$ and the angles?

This post imported from StackExchange Mathematics at 2014-06-02 20:20 (UCT), posted by SE-user PML
asked Feb 11, 2013 in Mathematics by PML (40 points) [ no revision ]
There's a non-metrical version of the divergence theorem using the language of differential forms. Once you apply the Hodge star and duality between covectors and vectors, you have a vector-language divergence theorem in any Riemann manifold.

This post imported from StackExchange Mathematics at 2014-06-02 20:20 (UCT), posted by SE-user Ryan Budney
Thank you. I shall look into that =)

This post imported from StackExchange Mathematics at 2014-06-02 20:20 (UCT), posted by SE-user PML

2 Answers

+ 2 like - 0 dislike

OK, so the easiest way to get at this is to consider the unit sphere--this can be embedded in 3-space with equation:

$$x^{2} + y^{2} + z^{2} = r^{2}$$

Or alternately, with $r = {\rm cons}$. Using the normal Jacobian business, we can find that the measure of this space is $\int dV = \int r^{2}\sin\theta d\theta d\phi$

Now, consider the hyperbolic plane. this is given by the equation

$$x^{2} - y^{2} - z^{2} = r^{2}$$

Now, let's explicitly do our jacobian business after choosing $r= {\rm cons}$. And to save ourselves some work, we're going to do our best to make it nice and simple. First, we make the substitution $y = \rho \sin \theta$ and $z = \rho \cos \theta$, which means that $y^{2} + z^{2} = \rho^{2}$, and our constraint is

$$x^{2} - \rho^{2} = r^{2}$$

Now, to make our lives yet simpler, we make the substitution $x = r\cosh \phi$ and $\rho = r \sinh \phi$. Using the identity $\cosh^{2} \phi- sinh^{2}\phi = 1$, we see that our constraint is automatically satisfied, and simple algebra can convince you that any point $x,y,z$ for $x > 0$ can be solved for some $r, \phi, \theta$. All in all we have:

$$x = r \cosh \phi$$ $$y = r \sinh\phi \sin \theta$$ $$z = r \sinh\phi \cos\theta$$

Now, remembering that our constraint is $r={\rm cons}$, we don't have to take $r$ derivatives when taking differentials and substituting back into our Euclidean distance formula:

$$ds^{2} = dx^{2} + dy^{2} + dz^{2}$$

After all of this, we'll find a new metric tensor where

$$ds^{2} = g_{ab}dx^{a}dx^{b}$$

Finally, our volume element will be:

$$dV = \sqrt{{\rm det}\,g}d\theta d\phi$$

I'll leave it as an excersise for you to do all of the differentials and matrix algebra required to show that it comes out in the form you've given above.

This post imported from StackExchange Mathematics at 2014-06-02 20:20 (UCT), posted by SE-user Jerry Schirmer
answered Feb 11, 2013 by Jerry Schirmer (130 points) [ no revision ]
Now this is what I was looking for. Thank you. I get that you basicaly embedded the $\mathbb H^2$ in the 3 dimensional minkowski space. I've seen that in a [wikipedia] (en.wikipedia.org/wiki/Laplace%E2%80%93Beltrami_operator) article but I just couldn't find the nice expression for the surface formed by the points that were at the same distance from a given point (center). (After your answer I just feel dumb =)) Thank you, really, for the very elucidative answer.

This post imported from StackExchange Mathematics at 2014-06-02 20:20 (UCT), posted by SE-user PML
hum, when you say Euclidean distance formula shouldn't it be the Minkowski one?I've done the calculations to get the metric and the volume element and it seems that it should be the minkowski metric...

This post imported from StackExchange Mathematics at 2014-06-02 20:20 (UCT), posted by SE-user PML
@PML: it works in both cases. The minkowski case is cleaner, since the $r,\phi,\theta$ system is orthonormal in the minkowski case. If you embed in Euclidean space, though, you will still find that $\sqrt{\rm det g} = r^{2}\sinh\phi d\theta d\phi$, you'll just have to content with $g_{r\phi}$ components to your metric tensor.

This post imported from StackExchange Mathematics at 2014-06-02 20:20 (UCT), posted by SE-user Jerry Schirmer
+ 1 like - 0 dislike

What wiki suggest is right, this happens because the metric tensor of hyperbolic manifold includes $\sinh$, I doubt that it's possible to give simple geometrical interpretation of angels, but regarding $R$, it's circle radios on this manifold, in other words, if you will take the Circumference of a circle on this manifold and divide it by $2\pi$ you will get $R$, here I still supposing that this hyperbolic manifold is 2-dimentional, visualizing this on higher dimensional hyperbolic manifolds is almost impossible, I can imagine it by "analogy" only.

This post imported from StackExchange Mathematics at 2014-06-02 20:20 (UCT), posted by SE-user TMS
answered Feb 11, 2013 by TMS (40 points) [ no revision ]
hummm, would then be correct to say that: $\int_{ S^n}\nabla \cdot F \space \space R^n\sinh^{n-1}(\theta)d\theta d\Omega=F \space R^n \int_{ S^{n-1}} \sinh^{n-1}(\theta)d\theta d\Omega$ ? I mean would the submanifold still be a n-sphere and it's boundary a sphere-(n-1)?

This post imported from StackExchange Mathematics at 2014-06-02 20:20 (UCT), posted by SE-user PML
You integrating according to some simply connected, closed surface inside a hyperbolic manifold, there is no usual spheres anymore, you still able to integrate according to a sphere "inside" the hyperbolic manifold, but then you will need to find the m-Sphere equation in n-hyperbolic coordinates, not the spherical one!

This post imported from StackExchange Mathematics at 2014-06-02 20:20 (UCT), posted by SE-user TMS

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\varnothing$ysicsOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
To avoid this verification in future, please log in or register.




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...