Since the Kerr spacetime metric ds2=−c2dτ2=−(1−rsrΣ)c2dt2+ΣΔdr2+Σdθ2+(r2+a2+rsra2Σsin2θ)sin2θdϕ2−2rsrasin2θΣcdtdϕ
is the axially symmetric solution of the Einstein field equations for a mass
M of angular momentum
J, for
a=JMc, Σ=r2+a2cos2θ, and
Δ=r2−rsr+a2, in local Boyer–Lindquist coordinates
(x0,x1,x2,x3)=(ct,r,θ,ϕ), how does one numerically approximate the metric tensor that corresponds to the spacetime
(M,O,A,g) of a system of interacting, rotating binary blackholes with respective angular momenta of
J1 and
J2? Furthermore, what is the action associated with such a system?
Attempt: I thought that the localized Lagrangian may be given (invoking a O(2) gauge theory) as Lloc=12(∇μΦ)T∇μΦ−12mTmΦTΦ where ∇μ=∂μ+igAμ is the metric-induced Levi-Civita connection (with g the field coupling constant and A(x) the guage field), Φ:=(Tr[Gμνgμν]1,Tr[Gμνgμν]2)T is the vector of fields for ϕi=Tr[Gμνgμν]i the gravitational scalar field associated with the i-th blackhole body, and m=(M1,M2)T is the vector of masses of the respective blackholes. (Unfortunately, this assumes that the metric describing the entire Lorentzian spacetime can be obtained linearly from individual Schwarzchild metrics of the binary in question, which is, of course, not true.) The Lagrangian thereby has local O(2) guage group-invariance, preserved under the transformation Φ↦Φ′=GΦ for G∈O(2) a function of spacetime (i.e. G:=G(x)), since the covariant derivative transforms identically as ∇μΦ↦(∇μΦ)′=G(∇μΦ).
I referred to Sean Carroll's Spacetime and Geometry; however, the section on binary pulsars does not go into much detail. Please note that I am new to this site, so constructive criticism is very much appreciated.
Thanks in advance!