Birkhoff's Theorem: Schwarzschild Metric Unique Solution?

  • Context: Graduate 
  • Thread starter Thread starter La Guinee
  • Start date Start date
  • Tags Tags
    Theorem
Click For Summary

Discussion Overview

The discussion centers around Birkhoff's Theorem and its implications for the uniqueness of the Schwarzschild metric as a spherically symmetric vacuum solution. Participants explore the relationship between the Schwarzschild solution and the Robertson-Walker (RW) metric, questioning whether the RW metric can be considered a vacuum solution and discussing the conditions under which these metrics may be related.

Discussion Character

  • Debate/contested
  • Technical explanation
  • Conceptual clarification

Main Points Raised

  • Some participants assert that the Schwarzschild solution is a vacuum solution, while the Robertson-Walker metric may include matter.
  • Questions arise about whether the Robertson-Walker metric can be a vacuum solution, with some arguing that it can satisfy the condition R_mu nu = 0 under specific circumstances.
  • There is a discussion about the implications of the FRW metric being time-dependent and whether it can be transformed into the Schwarzschild form through coordinate changes.
  • One participant suggests that the FRW and Schwarzschild metrics can be considered the same in the empty case, expressed in different coordinates, referencing external sources for support.
  • Concerns are raised about the apparent differences between the FRW metric, which describes a universe with uniform curvature, and the Schwarzschild solution, which describes the space-time around a central mass.
  • Some participants mention the relationship between the massless FRW metric and flat Minkowski spacetime, questioning how a time-dependent metric can reduce to a static one.
  • References to external literature and previous discussions are made to support various claims and clarify points of confusion.

Areas of Agreement / Disagreement

Participants express differing views on the nature of the Robertson-Walker metric and its relationship to the Schwarzschild solution, indicating that multiple competing perspectives remain unresolved.

Contextual Notes

There are limitations in the discussion regarding the assumptions made about the metrics, the definitions of vacuum solutions, and the conditions under which the transformations between metrics may hold. Some mathematical steps and implications remain unresolved.

La Guinee
Messages
24
Reaction score
0
Hi. Birkhoff's Theorem says that the Schwarzschild metric is the unique spherically symmetric vacuum solution. Isn't the Robertson-Walker metric spherically symmetric?
 
Physics news on Phys.org
The Schwarzschild solution is a vacuum solution. The Robertson-Walker metric may include matter.
 
Why can't the Robertson Walker metric be a vacuum solution? The Ricci tensor for the Robertson Walker metric can be easily calculated. Choosing a linear scale factor with appropriate coefficients satisfies R_mu nu = 0 (or am I doing something wrong)?
 
atyy said:
The Schwarzschild solution is a vacuum solution. The Robertson-Walker metric may include matter.
May? The FRW solution contains only matter there is no vacuum in this solution.

Interesting things to consider in the light of this fact:
- Why does the majority of cosmologists consider the FRW solution a rough aproximation of our universe if the FRW has no vacuum.
- How can they possibly make statements about the distance between objects if the FRW solution has no distance between objects.

Beware, it might be similar to asking a catholic priest too many questions about hell, he may answer it is the place whe you go if you keep asking those questions. :wink:
 
Last edited:
Sorry, I still don't understand. You have the Robertson Walker metric. From this you can construct the Ricci tensor. Now set the components of the Ricci tensor equal to 0. This gives you a condition on the scale factor, namely that it's linear in time. What's wrong with this?
 
MeJennifer said:
Beware, it might be similar to asking a catholic priest too many questions about hell, he may answer it is the place whe you go if you keep asking those questions. :wink:

So if I keep asking the "majority of cosmologists" too many questions, where do I end up - the singularity? :smile:
 
La Guinee said:
Sorry, I still don't understand. You have the Robertson Walker metric. From this you can construct the Ricci tensor. Now set the components of the Ricci tensor equal to 0. This gives you a condition on the scale factor, namely that it's linear in time. What's wrong with this?

Is there any way to change coordinates to get it into the Schwarzschild form?
 
atyy said:
Is there any way to change coordinates to get it into the Schwarzschild form?

I may have missed something here, but as far as I know:

The RW metric describes a whole universe with the same space-time curvature and energy density everywhere, such as a hypersphere.

The Schwarzschild solution describes the shape of space-time around a single central mass where mass is assumed to be distributed in a spherically symmetrical way about the central point and space-time is assumed to be flat at sufficient distance from that mass.

I find it difficult to see anything in common between these two cases.
 
La Guinee,

you have an interesting point here.
FRW and Schwarzschild are (in the empty case) in fact the same metric, expressed in different coordinates.
http://arxiv.org/ftp/astro-ph/papers/0602/0602102.pdf" addresses the issue.
My interpretation: You can arrange receding test particles in flat spacetime such, that the overall picture becomes isotropic if you associate an appropriate boost with each space translation, fitting your velocity to that of the test particle at the new location.
FRW space is a slice through Minkowski space that makes the distribution of test particles additionally homogeneous, as necessary for cosmologigal models.
 
Last edited by a moderator:
  • #10
La Guinee said:
Why can't the Robertson Walker metric be a vacuum solution? The Ricci tensor for the Robertson Walker metric can be easily calculated. Choosing a linear scale factor with appropriate coefficients satisfies R_mu nu = 0 (or am I doing something wrong)?

Have you calculated the Riemann tensor in this case? :smile: I think

https://www.physicsforums.com/showthread.php?t=234224

is relevant.
 
  • #11
Thank you for the replies. I don't see how the FRW can reduce to the schwarzschild metric with a suitable coordinate change because the FRW is time dependent.
 
  • #12
La Guinee said:
Thank you for the replies. I don't see how the FRW can reduce to the schwarzschild metric with a suitable coordinate change because the FRW is time dependent.

Careful. Massless FRW reduces to a patch of flat Minkowski spacetime in unusual coordinates. Minkowski spacetime is isotropic.
 
  • #13
Careful. Massless FRW reduces to a patch of flat Minkowski spacetime in unusual coordinates. Minkowski spacetime is isotropic.

Consider the following FRW metric:

ds2 = -dt2 + 9t2 [ dr2 / (1+9r2) + r2 dOmega2 ]

This satisfies einsteins equations in vacuum. So are you're saying under suitable coordinate change this reduces to Minkowski? This seems weird because one is time dependent and the other isn't.
 
  • #14
La Guinee said:
Consider the following FRW metric:

ds2 = -dt2 + 9t2 [ dr2 / (1+9r2) + r2 dOmega2 ]

This satisfies einsteins equations in vacuum. So are you're saying under suitable coordinate change this reduces to Minkowski? This seems weird because one is time dependent and the other isn't.

Look at post #30 in the thread to which I previously gave a link.
 
  • #15
I see. Thank you.
 
  • #16
Birkhoff and Minkowski
http://scienceworld.wolfram.com/physics/BirkhoffsTheorem.html

Burko et al
http://arxiv.org/abs/gr-qc/0008065
"The spacetime is Schwarzschild outside the shell and Minkowski inside the shell. Note that gtt → −1 as r → ∞, but gtt != −1 inside the shell, although spacetime is (locally) Minkowski."

Edit: Heuristically, it seems the Minkowski metric is obtained by setting both the Schwarzschild radial coordinate and mass parameter to zero. I have no idea if this can be rigorously justified. :confused:

Edit: I can just set the mass parameter to zero without touching the radial coordinate. :smile:
 
Last edited:

Similar threads

  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 34 ·
2
Replies
34
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 31 ·
2
Replies
31
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
3
Views
2K