b1409590fa549b62.tex
1: \begin{abstract}
2:   Gravitational waves provide a powerful enhancement to our
3:   understanding of fundamental physics. To make the most of their
4:   detection we need to accurately model the entire process of their
5:   emission and propagation toward
6:   interferometers. Cauchy-characteristic extraction and matching are
7:   methods to compute gravitational waves at null infinity, a
8:   mathematical idealization of detector location, from numerical
9:   relativity simulations. Both methods can in principle contribute to
10:   modeling by providing highly accurate gravitational waveforms. An
11:   underappreciated subtlety in realizing this potential is posed by
12:   the (mere) weak hyperbolicity of the particular PDE systems solved
13:   in the characteristic formulation of the Einstein field
14:   equations. This shortcoming results from the popular choice of
15:   Bondi-like coordinates. So motivated, we construct toy models that
16:   capture that PDE structure and study Cauchy-characteristic
17:   extraction and matching with them. Where possible we provide energy
18:   estimates for their solutions and perform careful numerical norm
19:   convergence tests to demonstrate the effect of weak hyperbolicity on
20:   Cauchy-characteristic extraction and matching. Our findings strongly
21:   indicate that, as currently formulated, Cauchy-characteristic
22:   matching for the Einstein field equations would provide solutions
23:   that are, at best, convergent at an order lower than expected for
24:   the numerical method, and may be unstable. In contrast, under
25:   certain conditions, the extraction method can provide properly
26:   convergent solutions. Establishing however that these conditions
27:   hold for the aforementioned characteristic formulations is still an
28:   open problem.
29: \end{abstract}
30: