El teorema de Birkhoff en relatividad general establece que cualquier solución esféricamente simétrica a las ecuaciones del campo de vacío debe ser estática y asintóticamente plana. Esto significa que la solución externa (es decir, el espacio-tiempo fuera de un cuerpo esférico, que no gira y que gravita) debe estar dada por la métrica de Schwarzschild .
El teorema fue demostrado en 1923 por George David Birkhoff (autor de otro famoso teorema de Birkhoff , el teorema ergódico puntual , que es la base de la teoría ergódica ). Sin embargo, Stanley Deser señaló recientemente que fue publicado dos años antes por el oscuro físico noruego Jörg Tofte Jebsen .
La idea intuitiva detrás del teorema de Birkhoff es que un campo gravitacional esféricamente simétrico debe ser producido por algún objeto masivo en el origen; si hubiera otra concentración de masa-energía en otro lugar , esto rompería la simetría esférica, por lo que podemos esperar que la solución represente un objeto aislado. Es decir, el campo debe desaparecer a grandes distancias, que es (parcialmente) lo que se quiere decir cuando decimos que la solución es asintóticamente plana. Así que esta parte del teorema es exactamente lo que esperamos del hecho de que la relatividad general reduce la gravedad newtoniana al límite newtoniano .
La conclusión de que el campo externo también debe ser estacionario es más sorprendente y tiene una consecuencia interesante. Supongamos que tenemos una estrella esféricamente simétrica de masa fija que experimenta pulsaciones esféricas. Entonces el teorema de Birkhoff dice que la geometría extrínseca debe ser Schwarzschild; el único efecto de la pulsación es un cambio en la posición de la superficie estelar. Esto significa que una estrella que pulsa esféricamente no puede emitir ondas gravitacionales .
El teorema de Birkhoff se puede generalizar: cualquier solución esféricamente simétrica y asintóticamente plana de las ecuaciones de campo de Einstein/Maxwell sin , debe ser estática, por lo que la geometría externa de una estrella cargada esféricamente simétrica debe estar dada por el vacío eléctrico de Reissner-Nordström . Tenga en cuenta que hay soluciones esféricamente simétricas pero no asintóticamente planas en la teoría de Einstein-Maxwell, como el universo de Bertotti-Robinson.