I can't understand the comment on page 409, Gravitation, by Misner, Thorne, Wheeler
It follows that the ten components Gαβ=8πTαβ of the field equation must not determine completely and uniquely all ten components gμν of the metric.
On the countrary, Gαβ=8πTαβ must place only six independent constraints on the ten gμν(P), leaving four arbitrary functions to be adjusted by man's specialization of the four coordinate functions xα(P).
I can't understand it. I think we can always solve the field equation with appropriate initial/boundary conditions to get unique gμν. After all those are just second order differential equations. To be specific, let me try to construct a counter example, the vacuum Einstein equation, Gμν=0
If there does exist an alternative solution, does it come from "specialization of the four coordinate functions"?
Update: user23660 constructed an explicit alternative solution, which is g00=(f′(t))2,gij=−δij
The function f only need to satisfy f′(0)=1,f″(0)=0, that makes this metric compatible with the initial data; other than that, it's completely arbitrary! And we see that it does come from the coordinate transformation t=f(τ)
To get the solution to be ημν, we need to put further constraints on the metric directly in this coordinate system, like g00=1,g0i=0.
This redundant degrees of freedom(gauge) result from the contracted Bianchi identity, as explained in the following paragraph in MTW page 409, Gαβ;β=0
Answer
Of course, the metric ημν is not a unique solution for Einstein vacuum equations compatible with your given initial data. And yes, we can interpret the alternatives as arising from coordinate functions.
Let us take the simplest of such function: redefine time by introducing new 'time' variable τ through a relation t=f(τ) (spacial coordinates we will keep intact). The metric in new coordinates (τ,x,y,z) would be ds2=(f′(τ))2dτ2−δijdxidxj.
But at the same time it is equally obvious that this metric still corresponds to the same space-time - the Minkowski space-time (at least locally).
Addition. To make a solution of Einstein equations unique one can use coordinate conditions (which are analogous to gauge fixing conditions in EM theory). These work as constraints on metric imposed in addition to Einstein equations.
Also, if you are interested in initial data - time evolution formulation of general relativity, I recommend looking at the ADM formalism.
No comments:
Post a Comment