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
PythonClick Run to execute the Python code
Code will be executed with Python 3 on the server