No Arabic abstract
We extend the validity of Brills axisymmetric positive energy theorem to all asymptotically flat initial data sets with positive scalar curvature on simply connected manifolds.
We extend the validity of Dains angular-momentum inequality to maximal, asymptotically flat, initial data sets on a simply connected manifold with several asymptotically flat ends which are invariant under a U(1) action and which admit a twist potential.
We present improvements to construction of binary black hole initial data used in SpEC (the Spectral Einstein Code). We introduce new boundary conditions for the extended conformal thin sandwich elliptic equations that enforce the excision surfaces to be slightly inside rather than on the apparent horizons, thus avoiding extrapolation into the black holes at the last stage of initial data construction. We find that this improves initial data constraint violations near and inside the apparent horizons by about 3 orders of magnitude. We construct several initial data sets that are intended to be astrophysically equivalent but use different free data, boundary conditions, and initial gauge conditions. These include free data chosen as a superposition of two black holes in time-independent horizon-penetrating harmonic and damped harmonic coordinates. We also implement initial data for which the initial gauge satisfies the harmonic and damped harmonic gauge conditions; this can be done independently of the free data, since this amounts to a choice of the time derivatives of the lapse and shift. We compare these initial data sets by evolving them. We show that the gravitational waveforms extracted during the evolution of these different initial data sets agree very well after excluding initial transients. However, we do find small differences between these waveforms, which we attribute to small differences in initial orbital eccentricity, and in initial BH masses and spins, resulting from the different choices of free data. Among the cases considered, we find that superposed harmonic initial data leads to significantly smaller transients, smaller variation in BH spins and masses during these transients, smaller constraint violations, and more computationally efficient evolutions. Finally, we study the impact of initial data choices on the construction of zero-eccentricity initial data.
The general analysis of the relations between masses and angular momenta in the configurations composed of two balancing extremal Kerr particles is made on the basis of two exact solutions arising as extreme limits of the well-known double-Kerr spacetime. We show that the inequality M^2 >= |J| characteristic of an isolated Kerr black hole is verified by all the extremal components of the Tomimatsu and Dietz-Hoenselaers solutions. At the same time, the inequality can be violated by the total masses and total angular momenta of these binary systems, and we identify all the cases when such violation occurs.
We construct transformations which take asymptotically AdS hyperbolic initial data into asymptotically flat initial data, and which preserve relevant physical quantities. This is used to derive geometric inequalities in the asymptotically AdS hyperbolic setting from counterparts in the asymptotically flat realm, whenever a geometrically motivated system of elliptic equations admits a solution. The inequalities treated here relate mass, angular momentum, charge, and horizon area.
The construction of constraint-satisfying initial data is an essential element for the numerical exploration of the dynamics of compact-object binaries. While several codes have been developed over the years to compute generic quasi-equilibrium configurations of binaries comprising either two black holes, or two neutron stars, or a black hole and a neutron star, these codes are often not publicly available or they provide only a limited capability in terms of mass ratios and spins of the components in the binary. We here present a new open-source collection of spectral elliptic solvers that are capable of exploring the major parameter space of binary black holes (BBHs), binary neutron stars (BNSs), and mixed binaries of black holes and neutron stars (BHNSs). Particularly important is the ability of the spectral-solver library to handle neutron stars that are either irrotational or with an intrinsic spin angular momentum that is parallel to the orbital one. By supporting both analytic and tabulated equations of state at zero or finite temperature, the new infrastructure is particularly geared towards allowing for the construction of BHNS and BNS binaries. For the latter, we show that the new solvers are able to reach the most extreme corners in the physically plausible space of parameters, including extreme mass ratios and spin asymmetries, thus representing the most extreme BNS computed to date. Through a systematic series of examples, we demonstrate that the solvers are able to construct quasi-equilibrium and eccentricity-reduced initial data for BBHs, BNSs, and BHNSs, achieving spectral convergence in all cases. Furthermore, using such initial data, we have carried out evolutions of these systems from the inspiral to after the merger, obtaining evolutions with eccentricities $lesssim 10^{-4}-10^{-3}$, and accurate gravitational waveforms.