arXiv subjects
Publications and source records attributed to Jeffrey Winicour.
The principle part of Einstein equations in the harmonic gauge consists of a constrained system of 10 curved space wave equations for the components of the space-time metric. A new formulation of constraint-preserving boundary conditions of the Sommerfeld type for such systems has recently been proposed. We implement these boundary conditions in a nonlinear 3D evolution code and test their accuracy.
Computational techniques which establish the stability of an evolution-boundary algorithm for a model wave equation with shift are incorporated into a well-posed version of the initial-boundary value problem for gravitational theory in harmonic coordinates. The resulting algorithm is implemented as a 3-dimensional numerical code which we demonstrate to provide stable, convergent Cauchy evolution in gauge wave and shifted gauge wave testbeds. Code performance is compared for Dirichlet, Neumann and Sommerfeld boundary conditions and for boundary conditions which explicitly incorporate constraint preservation. The results are used to assess strategies for obtaining physically realistic boundary data by means of Cauchy-characteristic matching.
Computational methods are essential to provide waveforms from coalescing black holes, which are expected to produce strong signals for the gravitational wave observatories being developed. Although partial simulations of the coalescence have been reported, scientifically useful waveforms have so far not been delivered. The goal of the AppleswithApples (AwA) Alliance is to design, coordinate and document standardized code tests for comparing numerical relativity codes. The first round of AwA tests have now being completed and the results are being analyzed. These initial tests are based upon periodic boundary conditions designed to isolate performance of the main evolution code. Here we describe and carry out an additional test with periodic boundary conditions which deals with an essential feature of the black hole excision problem, namely a non-vanishing shift. The test is a shifted version of the existing AwA gauge wave test. We show how a shift introduces an exponentially growing instability which violates the constraints of a standard harmonic formulation of Einstein's equations. We analyze the Cauchy problem in a harmonic gauge and discuss particular options for suppressing instabilities in the gauge wave tests. We implement these techniques in a finite difference evolution algorithm and present test results. Although our application here is limited to a model problem, the techniques should benefit the simulation of black holes using harmonic evolution codes.
I review the development of numerical evolution codes for general relativity based upon the characteristic initial value problem. Progress is traced from the early stage of 1D feasibility studies to 2D axisymmetric codes that accurately simulate the oscillations and gravitational collapse of relativistic stars and to current 3D codes that provide pieces of a binary black spacetime. A prime application of characteristic evolution is to compute waveforms via Cauchy-characteristic matching, which is also reviewed.
We take further steps in the development of the characteristic approach to enable handling the physical problem of a compact self-gravitating object, such as a neutron star, in close orbit around a black hole. We examine different options for setting the initial data for this problem and, in order to shed light on their physical relevance, we carry out short time evolution of this data. To this end we express the matter part of the characteristic gravity code so that the hydrodynamics are in conservation form. The resulting gravity plus matter relativity code provides a starting point for more refined future efforts at longer term evolution. In the present work we find that, independently of the details of the initial gravitational data, the system quickly flushes out spurious gravitational radiation and relaxes to a quasi-equilibrium state with an approximate helical symmetry corresponding to the circular orbit of the star.
The main goal of numerical relativity is the long time simulation of highly nonlinear spacetimes that cannot be treated by perturbation theory. This involves analytic, computational and physical issues. At present, the major impasses to achieving global simulations of physical usefulness are of an analytic/computational nature. We present here some examples of how analytic insight can lend useful guidance for the improvement of numerical approaches.
We present a method for computing the evolution of a spacetime containing a massive particle and a black hole. The essential idea is that the gravitational field is evolved using full numerical relativity, with the particle generating a non-zero source term in the Einstein equations. The matter fields are not evolved by hydrodynamic equations. Instead the particle is treated as a rigid body whose center follows a geodesic. The necessary theoretical framework is developed and then implemented in a computer code that uses the null-cone, or characteristic, formulation of numerical relativity. The performance of the code is illustrated in test runs, including a complete orbit (near r=9M) of a Schwarzschild black hole.
We study the properties of the outgoing gravitational wave produced when a non-spinning black hole is excited by an ingoing gravitational wave. Simulations using a numerical code for solving Einstein's equations allow the study to be extended from the linearized approximation, where the system is treated as a perturbed Schwarzschild black hole, to the fully nonlinear regime. Several nonlinear features are found which bear importance to the data analysis of gravitational waves. When compared to the results obtained in the linearized approximation, we observe large phase shifts, a stronger than linear generation of gravitational wave output and considerable generation of radiation in polarization states which are not found in the linearized approximation. In terms of a spherical harmonic decomposition, the nonlinear properties of the harmonic amplitudes have simple scaling properties which offer an economical way to catalog the details of the waves produced in such black hole processes.
Maximally dissipative boundary conditions are applied to the initial-boundary value problem for Einstein's equations in harmonic coordinates to show that it is well-posed for homogeneous boundary data and for boundary data that is small in a linearized sense. The method is implemented as a nonlinear evolution code which satisfies convergence tests in the nonlinear regime and is robustly stable in the weak field regime. A linearized version has been stably matched to a characteristic code to compute the gravitational waveform radiated to infinity.
In recent years, many different numerical evolution schemes for Einstein's equations have been proposed to address stability and accuracy problems that have plagued the numerical relativity community for decades. Some of these approaches have been tested on different spacetimes, and conclusions have been drawn based on these tests. However, differences in results originate from many sources, including not only formulations of the equations, but also gauges, boundary conditions, numerical methods, and so on. We propose to build up a suite of standardized testbeds for comparing approaches to the numerical evolution of Einstein's equations that are designed to both probe their strengths and weaknesses and to separate out different effects, and their causes, seen in the results. We discuss general design principles of suitable testbeds, and we present an initial round of simple tests with periodic boundary conditions. This is a pivotal first step toward building a suite of testbeds to serve the numerical relativists and researchers from related fields who wish to assess the capabilities of numerical relativity codes. We present some examples of how these tests can be quite effective in revealing various limitations of different approaches, and illustrating their differences. The tests are presently limited to vacuum spacetimes, can be run on modest computational resources, and can be used with many different approaches used in the relativity community.
We present a fully nonlinear calculation of the waveform of the gravitational radiation emitted in the fission of a vacuum white hole. At early times, the waveforms agree with close-approximation perturbative calculations but they reveal dramatic time and angular dependence in the nonlinear regime. The results pave the way for a subsequent computation of the radiation emitted after a binary black hole merger.
We investigate the initial-boundary value problem for linearized gravitational theory in harmonic coordinates. Rigorous techniques for hyperbolic systems are applied to establish well-posedness for various reductions of the system into a set of six wave equations. The results are used to formulate computational algorithms for Cauchy evolution in a 3-dimensional bounded domain. Numerical codes based upon these algorithms are shown to satisfy tests of robust stability for random constraint violating initial data and random boundary data; and shown to give excellent performance for the evolution of typical physical data. The results are obtained for plane boundaries as well as piecewise cubic spherical boundaries cut out of a Cartesian grid.
We use null hypersurface techniques in a new approach to calculate the retarded waveform from a binary black hole merger in the close approximation. The process of removing ingoing radiation from the system leads to two notable features in the shape of the close approximation waveform for a head-on collision of black holes: (i) an initial quasinormal ringup and (ii) weak sensitivity to the parameter controlling the collision velocity. Feature (ii) is unexpected and has the potential importance of enabling the design of an efficient template for extracting the gravitational wave signal from the noise.
We present a characteristic algorithm for computing the perturbation of a Schwarzschild spacetime by means of solving the Teukolsky equation. We implement the algorithm as a characteristic evolution code and apply it to compute the advanced solution to a black hole collision in the close approximation. The code successfully tracks the initial burst and quasinormal decay of a black hole perturbation through 10 orders of magnitude and tracks the final power law decay through an additional 6 orders of magnitude. Determination of the advanced solution, in which ingoing radiation is absorbed by the black hole but no outgoing radiation is emitted, is the first stage of a two stage approach to determining the retarded solution, which provides the close approximation waveform with the physically appropriate boundary condition of no ingoing radiation.
We present an algorithm for calculating the complete data on an event horizon which constitute the necessary input for characteristic evolution of the exterior spacetime. We apply this algorithm to study the intrinsic and extrinsic geometry of a binary black hole event horizon, constructing a sequence of binary black hole event horizons which approaches a single Schwarzschild black hole horizon as a limiting case. The linear perturbation of the Schwarzschild horizon provides global insight into the close limit for binary black holes, in which the individual holes have joined in the infinite past. In general there is a division of the horizon into interior and exterior regions, analogous to the division of the Schwarzschild horizon by the r=2M bifurcation sphere. In passing from the perturbative to the strongly nonlinear regime there is a transition in which the individual black holes persist in the exterior portion of the horizon. The algorithm is intended to provide the data sets for production of a catalog of nonlinear post-merger wave forms using the PITT null code.
We discuss a sequence of numerically constructed geometries describing binary black hole event horizons -- providing the necessary input for characteristic evolution of the exterior spacetime. Our sequence approaches a single Schwarzschild horizon as one limiting case and also includes cases where the horizon's crossover surface is not hidden by a marginally anti-trapped surface (MATS).
We investigate the numerical stability of Cauchy evolution of linearized gravitational theory in a 3-dimensional bounded domain. Criteria of robust stability are proposed, developed into a testbed and used to study various evolution-boundary algorithms. We construct a standard explicit finite difference code which solves the unconstrained linearized Einstein equations in the 3+1 formulation and measure its stability properties under Dirichlet, Neumann and Sommerfeld boundary conditions. We demonstrate the robust stability of a specific evolution-boundary algorithm under random constraint violating initial data and random boundary data.
We present a characteristic algorithm for computing the perturbations of a Schwarzschild spacetime by means of solving the Teukolsky equations. Our methods and results are expected to have direct bearing on the study of binary black holes presently underway using a fully {\em nonlinear} characteristic code \cite{Gomez98a}.