Testing the well-posedness of characteristic evolution of scalar waves

Recent results have revealed a critical way in which lower order terms affect the well-posedness of the characteristic initial value problem for the scalar wave equation. The proper choice of such terms can make the Cauchy problem for scalar waves well posed even on a background spacetime with closed lightlike curves. These results provide new guidance for developing stable characteristic evolution algorithms. In this regard, we present here the finite difference version of these recent results and implement them in a stable evolution code. We describe test results which validate the code and exhibit some of the interesting features due to the lower order terms.Comment: 22 pages, 15 figures Submitted to CQ

Characteristic extraction tool for gravitational waveforms

We develop and calibrate a characteristic waveform extraction tool whose major improvements and corrections of prior versions allow satisfaction of the accuracy standards required for advanced LIGO data analysis. The extraction tool uses a characteristic evolution code to propagate numerical data on an inner worldtube supplied by a 3+1 Cauchy evolution to obtain the gravitational waveform at null infinity. With the new extraction tool, high accuracy and convergence of the numerical error can be demonstrated for an inspiral and merger of mass M binary black holes even for an extraction worldtube radius as small as R=20M. The tool provides a means for unambiguous comparison between waveforms generated by evolution codes based upon different formulations of the Einstein equations and based upon different numerical approximations

Strategies for the characteristic extraction of gravitational waveforms

We develop, test, and compare new numerical and geometrical methods for improving the accuracy of extracting waveforms using characteristic evolution. The new numerical method involves use of circular boundaries to the stereographic grid patches which cover the spherical cross sections of the outgoing null cones. We show how an angular version of numerical dissipation can be introduced into the characteristic code to damp the high frequency error arising form the irregular way the circular patch boundary cuts through the grid. The new geometric method involves use of the Weyl tensor component Psi4 to extract the waveform as opposed to the original approach via the Bondi news function. We develop the necessary analytic and computational formula to compute the O(1/r) radiative part of Psi4 in terms of a conformally compactified treatment of null infinity. These methods are compared and calibrated in test problems based upon linearized waves

Constraint-preserving Sommerfeld conditions for the harmonic Einstein equations

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.Comment: 16 pages, 17 figures, submitted to Phys. Rev.

Binary Black Hole Waveform Extraction at Null Infinity

In this work, we present a work in progress towards an efficient and economical computational module which interfaces between Cauchy and characteristic evolution codes. Our goal is to provide a standardized waveform extraction tool for the numerical relativity community which will allow CCE to be readily applied to a generic Cauchy code. The tool provides a means of unambiguous comparison between the waveforms generated by evolution codes based upon different formulations of the Einstein equations and different numerical approximation.Comment: 11 pages, 7 figure

Numerical experiments of adjusted BSSN systems for controlling constraint violations

We present our numerical comparisons between the BSSN formulation widely used in numerical relativity today and its adjusted versions using constraints. We performed three testbeds: gauge-wave, linear wave, and Gowdy-wave tests, proposed by the Mexico workshop on the formulation problem of the Einstein equations. We tried three kinds of adjustments, which were previously proposed from the analysis of the constraint propagation equations, and investigated how they improve the accuracy and stability of evolutions. We observed that the signature of the proposed Lagrange multipliers are always right and the adjustments improve the convergence and stability of the simulations. When the original BSSN system already shows satisfactory good evolutions (e.g., linear wave test), the adjusted versions also coincide with those evolutions; while in some cases (e.g., gauge-wave or Gowdy-wave tests) the simulations using the adjusted systems last 10 times as long as those using the original BSSN equations. Our demonstrations imply a potential to construct a robust evolution system against constraint violations even in highly dynamical situations.Comment: to be published in PR

Finite difference schemes for second order systems describing black holes

In the harmonic description of general relativity, the principle part of Einstein's equations reduces to 10 curved space wave equations for the componenets of the space-time metric. We present theorems regarding the stability of several evolution-boundary algorithms for such equations when treated in second order differential form. The theorems apply to a model black hole space-time consisting of a spacelike inner boundary excising the singularity, a timelike outer boundary and a horizon in between. These algorithms are implemented as stable, convergent numerical codes and their performance is compared in a 2-dimensional excision problem.Comment: 19 pages, 9 figure

Constraint-preserving Sommerfeld conditions for the harmonic Einstein equations

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

Problems which are well-posed in a generalized sense with applications to the Einstein equations

In the harmonic description of general relativity, the principle part of Einstein equations reduces to a constrained system of 10 curved space wave equations for the components of the space-time metric. We use the pseudo-differential theory of systems which are well-posed in the generalized sense to establish the well-posedness of constraint preserving boundary conditions for this system when treated in second order differential form. The boundary conditions are of a generalized Sommerfeld type that is benevolent for numerical calculation.Comment: Final version to appear in Classical and Qunatum Gravit

Testing numerical relativity with the shifted gauge wave

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