A Show Spherical Symmetry of Schwarzschild Metric

mjordan2nd
Messages
173
Reaction score
1
In one of the lectures I was watching it was stated without proof that the Schwarzschild metric is spherically symmetric. I thought it would be a good exercise in getting acquainted with the machinery of GR to show this for at least one of the vector fields in the algebra. The Schwarzschild metric is given as follows

g_{00} = 1-\frac{2gm}{r}
g_{11} = - \left( 1 - \frac{2gm}{r} \right)^{-1}
g_{22} = -r^2
g_{33} = -r^2 sin \theta

and all nondiagonal components are zero. Right now I'm just trying to show that the Lie derivative vanishes with respect to the following vector field:

X=sin \phi \frac{\partial}{\partial \theta} + \cot \theta \cos \phi \frac{\partial}{\partial \phi}.

By the way, if my chart map is Q then the convention I'm using is t = Q^0, r=Q^1, \theta = Q^2 and \phi = Q^3.

In components the Lie derivative is given by

(\ell_X g)_{ij} = X^m \frac{\partial}{\partial x^m}(g_{ij}) - \frac{\partial X^s}{\partial x^i} g_{sj} - \frac{\partial X^s}{\partial x^j}g_{is}.

I've been able to show that all components of the Lie derivative are zero except for the (33) component. For the (33) component of the Lie derivative the only term that shows up from the first term is when m=2, and it is -2r^2 \sin \theta \cos \theta \sin \phi. For the next two terms, the only contribution will be when s=3, and the two terms will be equal so that term can be written as

-2 \frac{\partial X^3}{\partial \phi} g_{33}
2 \cot \theta \sin \phi g_{33}
-2 r^2 \cot \theta \sin \phi sin^2 \theta
-2r^2 \cos \theta \sin \theta \sin \phi

So overall I'm getting

(\ell_X g)_{ij} = -4r^2 \sin \theta \cos \theta \sin \phi. I feel like maybe I'm just dropping a negative somewhere, but I'm not seeing it. Any help figuring this out would be appreciated. Thanks.
 
Physics news on Phys.org
Never mind. I now see that my formula for the Lie derivative is wrong. The minuses should be pluses.
 
  • Like
Likes Dale
Even if you solved it already, I would just point out that it should be quite clear from the beginning, as it is an assumption Schwarzschild used to derive it. The angular part of the metric is just the regular metric on a sphere - which displays rotational symmetry. It is the only part of the metric that is affected by rotations.
 
  • Like
Likes vanhees71
Thank you for pointing this out. I have a tendency to miss these kind of connections and get lost in the heap of algebra, especially when learning something new.
 
OK, so this has bugged me for a while about the equivalence principle and the black hole information paradox. If black holes "evaporate" via Hawking radiation, then they cannot exist forever. So, from my external perspective, watching the person fall in, they slow down, freeze, and redshift to "nothing," but never cross the event horizon. Does the equivalence principle say my perspective is valid? If it does, is it possible that that person really never crossed the event horizon? The...
ASSUMPTIONS 1. Two identical clocks A and B in the same inertial frame are stationary relative to each other a fixed distance L apart. Time passes at the same rate for both. 2. Both clocks are able to send/receive light signals and to write/read the send/receive times into signals. 3. The speed of light is anisotropic. METHOD 1. At time t[A1] and time t[B1], clock A sends a light signal to clock B. The clock B time is unknown to A. 2. Clock B receives the signal from A at time t[B2] and...
From $$0 = \delta(g^{\alpha\mu}g_{\mu\nu}) = g^{\alpha\mu} \delta g_{\mu\nu} + g_{\mu\nu} \delta g^{\alpha\mu}$$ we have $$g^{\alpha\mu} \delta g_{\mu\nu} = -g_{\mu\nu} \delta g^{\alpha\mu} \,\, . $$ Multiply both sides by ##g_{\alpha\beta}## to get $$\delta g_{\beta\nu} = -g_{\alpha\beta} g_{\mu\nu} \delta g^{\alpha\mu} \qquad(*)$$ (This is Dirac's eq. (26.9) in "GTR".) On the other hand, the variation ##\delta g^{\alpha\mu} = \bar{g}^{\alpha\mu} - g^{\alpha\mu}## should be a tensor...
Back
Top