Asymptotic Expansion of the Gravitational Field

1. The Full Bondi Gauge Metric Ansatz

We work in Bondi coordinates $(u, r, x^A)$ where $u$ is retarded time, $r$ is the luminosity distance, and $x^A = (\theta, \phi)$ parametrize the celestial 2-sphere. The Bondi gauge is defined by three conditions: (i) $g_{rr} = 0$, (ii) $g_{rA} = 0$, and (iii) $\det(g_{AB})/r^4 = \det(\gamma_{AB})$ where $\gamma_{AB}$ is the unit round metric on $S^2$. The most general metric satisfying $g_{rr} = 0$ and $g_{rA} = 0$ is:

$$ds^2 = -\frac{V}{r}e^{2\beta}\,du^2 - 2e^{2\beta}\,du\,dr + g_{AB}(dx^A - U^A du)(dx^B - U^B du)$$

Here $V(u,r,x^A)$, $\beta(u,r,x^A)$, $U^A(u,r,x^A)$, and $g_{AB}(u,r,x^A)$ are four metric functions. Reading off the individual components:

$$g_{uu} = -\frac{V}{r}e^{2\beta} + g_{AB}U^A U^B, \quad g_{ur} = -e^{2\beta}, \quad g_{uA} = -g_{AB}U^B$$

All remaining components $g_{rr} = g_{rA} = 0$ vanish by the gauge choice. This leaves the angular metric $g_{AB}$ as a $2 \times 2$ symmetric matrix on the sphere with one constraint from the determinant condition.

2. The Determinant Condition and the $1/r$ Expansion

The third Bondi gauge condition states:

$$\partial_r\!\left(\frac{\det(g_{AB})}{r^4}\right) = 0$$

This means $\det(g_{AB}) = r^4 \det(\gamma_{AB})$ for all $r$. Now write $g_{AB}$ as a large-$r$ expansion:

$$g_{AB} = r^2 \gamma_{AB} + r\,C_{AB} + D_{AB} + \frac{1}{r}E_{AB} + \mathcal{O}(r^{-2})$$

Computing the determinant to leading orders using $\det(M + \epsilon N) = \det(M)(1 + \epsilon\,\text{tr}(M^{-1}N) + \ldots)$:

$$\det(g_{AB}) = r^4\det(\gamma_{AB})\left(1 + \frac{1}{r}\gamma^{AB}C_{AB} + \frac{1}{r^2}\left(\gamma^{AB}D_{AB} + \frac{1}{2}(C^A{}_A)^2 - \frac{1}{2}C^{AB}C_{AB}\right) + \ldots\right)$$

Demanding this equals $r^4\det(\gamma_{AB})$ order by order forces: at $\mathcal{O}(r^3)$: $\gamma^{AB}C_{AB} = 0$ (traceless), and at $\mathcal{O}(r^2)$: $\gamma^{AB}D_{AB} = \frac{1}{2}C_{AB}C^{AB}$. The shear tensor $C_{AB}$ is therefore symmetric and trace-free (STF), the fundamental radiative degree of freedom.

3. Einstein Equation: $R_{rr} = 0$

The vacuum Einstein equation $R_{\mu\nu} = 0$ in Bondi gauge gives a hierarchy of equations. The $rr$-component is a radial ODE for $\beta$. Computing $R_{rr}$ from the Christoffel symbols:

$$R_{rr} = -\frac{2}{r}\partial_r\beta + \frac{1}{4}g^{AC}g^{BD}(\partial_r g_{AB})(\partial_r g_{CD}) - \frac{1}{r^2}\partial_r(r^2\partial_r\beta) + \ldots = 0$$

The leading-order part simplifies to:

$$\partial_r \beta = \frac{r}{32}\,(\partial_r g_{AB})(\partial_r g^{AB})$$

Substituting $g_{AB} = r^2\gamma_{AB} + rC_{AB} + \ldots$ gives $\partial_r g_{AB} = 2r\gamma_{AB} + C_{AB} + \ldots$ and contracting:

$$\beta = -\frac{1}{32r^2}C_{AB}C^{AB} + \mathcal{O}(r^{-3})$$

The boundary condition $\beta \to 0$ as $r \to \infty$ is built in. This result shows $\beta$ is fully determined by the shear at leading order.

4. Einstein Equation: $R_{rA} = 0$ and the Angular Shift

The mixed $rA$-component of the Einstein equation constrains the angular shift vector $U^A$. From $R_{rA} = 0$ one obtains:

$$\partial_r\!\left(r^2 \partial_r U^A\right) = 2r\partial_r\!\left(\frac{g^{AB}\partial_r g_{uB}}{r^2}\right) + \frac{1}{r^2}D_B\!\left(r^2 \partial_r g^{AB}\right) - 2\partial^A\beta$$

Expanding $U^A = U_0^A + \frac{U_1^A}{r} + \frac{U_2^A}{r^2} + \ldots$ and matching powers of $r$, the boundary condition $U^A \to 0$ as $r \to \infty$ forces $U_0^A = 0$. At next order:

$$U^A = -\frac{1}{2r^2}D_B C^{AB} + \frac{1}{r^3}\left(\frac{2}{3}N^A + \frac{1}{16}\partial^A(C_{BC}C^{BC})\right) + \mathcal{O}(r^{-4})$$

Since $g_{uA} = -g_{AB}U^B = -r^2\gamma_{AB}U^B + \ldots$, we recover the subleading $g_{uA}$ expansion. The angular momentum aspect $N_A$ first appears at order $r^{-1}$ in $g_{uA}$.

5. The News Tensor and Gauge Invariance

The news tensor is defined as the retarded-time derivative of the shear:

$$N_{AB}(u, x^A) \;=\; \partial_u C_{AB}$$

To verify gauge invariance, consider a supertranslation $u \to u + f(x^A)$. Under this transformation $C_{AB} \to C_{AB} + 2D_{\langle A}D_{B\rangle}f$, where $D_{\langle A}D_{B\rangle}f = D_A D_B f - \frac{1}{2}\gamma_{AB}D^2 f$ is the STF part. Since $f$ depends only on angles, not on $u$:

$$\delta_f N_{AB} = \partial_u(\delta_f C_{AB}) = \partial_u\!\left(2D_{\langle A}D_{B\rangle}f\right) = 0$$

Therefore $N_{AB}$ is invariant under supertranslations. It is the gravitational analogue of the electromagnetic field strength $F_{\mu\nu}$: gauge-invariant, directly measurable, and encoding the radiative content. When $N_{AB} = 0$, no gravitational radiation passes through $\mathscr{I}^+$.

6. Angular Momentum Aspect: $G_{uA} = 0$ at Order $r^{-2}$

The constraint equation $G_{uA} = 0$ expanded to order $r^{-2}$ yields the evolution equation for the angular momentum aspect $N_A$. We start from the full Einstein tensor component:

$$G_{uA}\big|_{r^{-2}} = \partial_u N_A + \partial_A m_B + \frac{1}{4}N_{BC}D_A C^{BC} - \frac{1}{2}N_{AB}D_C C^{BC} - \frac{1}{4}D_A(N_{BC}C^{BC})$$

Setting this to zero and collecting terms, we use the identity $D^B N_{AB} = \frac{1}{2}D_A(N_{BC}C^{BC})$ at the linearized level. Including the covariant derivative terms on $S^2$, the full evolution equation reads:

$$\boxed{\partial_u N_A = -\partial_A m_B + \frac{1}{4}D_B(N_{AC}C^{BC}) - \frac{1}{4}D_A(N_{BC}C^{BC}) + \frac{1}{4}D^B D^2 C_{AB} + \frac{1}{4}D^B(D_A D^C C_{BC} - D_B D^C C_{AC})}$$

Each term has a physical interpretation: $-\partial_A m_B$ is the gradient of mass loss driving angular momentum change; the $N_{AC}C^{BC}$ terms represent nonlinear coupling between the news and shear; and the $D^B D^2 C_{AB}$ terms arise from the angular structure of the radiation field on $S^2$. This equation is the foundation of the spin memory effect.

7. Spin-Weight Decomposition and Polarizations

On the 2-sphere, introduce a complex null dyad $(m^A, \bar{m}^A)$ satisfying $\gamma_{AB} = m_A \bar{m}_B + \bar{m}_A m_B$ and $m^A \bar{m}_A = 1$. In standard coordinates $m^A = \frac{1}{\sqrt{2}r}(\partial_\theta + \frac{i}{\sin\theta}\partial_\phi)^A$. The shear tensor, being STF, has two independent components captured by a single complex scalar of spin weight $s = -2$:

$$\sigma^0 = \frac{1}{2}C_{AB}\bar{m}^A\bar{m}^B, \qquad C_{AB} = 2\,\text{Re}\!\left(\sigma^0\, m_A m_B\right)$$

The Weyl scalar $\Psi_4^0$ at $\mathscr{I}^+$ is related to the second time derivative of the shear:

$$\Psi_4^0 = -\ddot{\bar{\sigma}}^0 = -\frac{1}{2}\ddot{C}_{AB}\bar{m}^A\bar{m}^B$$

Identifying $h = h_+ - i h_\times$ with $\bar{\sigma}^0$, we have $\Psi_4^0 = \ddot{h}_+ - i\ddot{h}_\times$. Expanding in spin-weighted spherical harmonics $ {}_{-2}Y_{\ell m}$:

$$C_{AB} = \sum_{\ell \geq 2}\sum_{m=-\ell}^{\ell} \left[c_{\ell m}^{E}(u)\,Y_{AB}^{E,\ell m} + c_{\ell m}^{B}(u)\,Y_{AB}^{B,\ell m}\right]$$

where $Y_{AB}^{E,\ell m}$ and $Y_{AB}^{B,\ell m}$ are the electric and magnetic parity tensor harmonics. The displacement memory resides in the E-mode sector, while the spin memory is encoded in the B-mode sector.

Simulation: Bondi-Sachs Metric Components for a GW Burst

We model a gravitational-wave chirp burst and compute the shear $C_{AB}(u)$, news tensor $N_{AB} = \partial_u C_{AB}$, accumulated shear, and angular momentum aspect evolution:

Bondi-Sachs metric components for a GW chirp burst

Python
script.py74 lines

Click Run to execute the Python code

Code will be executed with Python 3 on the server

Rate this chapter: