arXiv subjects

David Hilditch

Publications and source records attributed to David Hilditch.

At least 73 records · Page 4Linked to original sources

arXiv2017

Evolutions of centered Brill waves with a pseudospectral method

The pseudospectral code bamps is used to evolve axisymmetric gravitational waves. We consider a one-parameter family of Brill wave initial data, taking the seed function and strength parameter of Holz et. al. A careful comparison is made to earlier work. Our results are mostly in agreement with the literature, but we do find that some amplitudes reported elsewhere as subcritical evolve to form apparent horizons. Related to this point we find that by altering the slicing condition, the position of the peak of the Kretschmann scalar in these supercritical data can be controlled so that it appears away from the symmetry axis before the method fails, demonstrating that such behavior is at least partially a coordinate effect. We are able to tune the strength parameter to an interval of range $1-A_\star/A\simeq10^{-6}$ around the onset of apparent horizon formation. In this regime we find that large spikes appear in the Kretschmann scalar on the symmetry axis but away from the origin. From the supercritical side disjoint apparent horizons form around these spikes. On the subcritical side, down to this range, evidence of power-law scaling of the Kretschmann scalar is not conclusive, but the data can be fitted as a power-law with periodic wiggle.

gr-qc↗

arXiv2016

The evolution of hyperboloidal data with the dual foliation formalism: Mathematical analysis and wave equation tests

A long-standing problem in numerical relativity is the satisfactory treatment of future null-infinity. We propose an approach for the evolution of hyperboloidal initial data in which the outer boundary of the computational domain is placed at infinity. The main idea is to apply the `dual foliation' formalism in combination with hyperboloidal coordinates and the generalized harmonic gauge formulation. The strength of the present approach is that, following the ideas of Zenginoglu, a hyperboloidal layer can be naturally attached to a central region using standard coordinates of numerical relativity applications. Employing a generalization of the standard hyperboloidal slices, developed by Calabrese et. al., we find that all formally singular terms take a trivial limit as we head to null-infinity. A byproduct is a numerical approach for hyperboloidal evolution of nonlinear wave equations violating the null-condition. The height-function method, used often for fixed background spacetimes, is generalized in such a way that the slices can be dynamically `waggled' to maintain the desired outgoing coordinate lightspeed precisely. This is achieved by dynamically solving the eikonal equation. As a first numerical test of the new approach we solve the 3D flat space scalar wave equation. The simulations, performed with the pseudospectral bamps code, show that outgoing waves are cleanly absorbed at null-infinity and that errors converge away rapidly as resolution is increased.

gr-qc↗

arXiv2015

Dual Foliation Formulations of General Relativity

A dual foliation treatment of General Relativity is presented. The basic idea of the construction is to consider two foliations of a spacetime by spacelike hypersurfaces and relate the two geometries. The treatment is expected to be useful in various situations, and in particular whenever one would like to compare objects represented in different coordinates. Potential examples include the construction of initial data and the study of trapped tubes. It is common for studies in mathematical relativity to employ a double-null gauge. In such studies local well-posedness is treated by referring back, for example, to the generalized harmonic formulation, global properties of solutions being treated in a separate formalism. As a first application of the dual foliation formulation we find that one can in fact obtain local well-posedness in the double-null coordinates directly, which should allow their use in numerical relativity with standard methods. With due care it is expected that practically any coordinates can be used with this approach.

gr-qc↗

arXiv2015

Spherical symmetry as a test case for unconstrained hyperboloidal evolution

We consider the hyperboloidal initial value problem in numerical relativity, motivated by the goal to evolve radiating compact objects such as black hole binaries with a numerical grid that includes null infinity. Unconstrained evolution schemes promise optimal efficiency, but are difficult to regularize at null infinity, where the compactified Einstein equations are formally singular. In this work we treat the spherically symmetry case, which already poses nontrivial problems and constitutes an important first step. We have carried out stable numerical evolutions with the generalized BSSN and Z4 equations coupled to a scalar field. The crucial ingredients have been to find an appropriate evolution equation for the lapse function and to adapt constraint damping terms to handle null infinity.

gr-qc↗

arXiv2015

A Pseudospectral Method for Gravitational Wave Collapse

We present a new pseudospectral code, bamps, for numerical relativity written with the evolution of collapsing gravitational waves in mind. We employ the first order generalized harmonic gauge formulation. The relevant theory is reviewed and the numerical method is critically examined and specialized for the task at hand. In particular we investigate formulation parameters, gauge and constraint preserving boundary conditions well-suited to non-vanishing gauge source functions. Different types of axisymmetric twist-free moment of time symmetry gravitational wave initial data are discussed. A treatment of the axisymmetric apparent horizon condition is presented with careful attention to regularity on axis. Our apparent horizon finder is then evaluated in a number of test cases. Moving on to evolutions, we investigate modifications to the generalized harmonic gauge constraint damping scheme to improve conservation in the strong field regime. We demonstrate strong-scaling of our pseudospectral penalty code. We employ the Cartoon method to efficiently evolve axisymmetric data in our 3+1 dimensional code. We perform test evolutions of Schwarzschild perturbed by gravitational waves and by gauge pulses, both to demonstrate the use of our blackhole excision scheme and for comparison with earlier results. Finally numerical evolutions of supercritical Brill waves are presented to demonstrate durability of the excision scheme for the dynamical formation of a blackhole.

gr-qc↗

arXiv2015

The Initial Value Formulation of Dynamical Chern-Simons Gravity

We derive an initial value formulation for dynamical Chern-Simons gravity, a modification of general relativity involving parity-violating higher derivative terms. We investigate the structure of the resulting system of partial differential equations thinking about linearization around arbitrary backgrounds. This type of consideration is necessary if we are to establish well-posedness of the Cauchy problem. Treating the field equations as an effective field theory we find that weak necessary conditions for hyperbolicity are satisfied. For the full field equations we find that there are states from which subsequent evolution is not determined. Generically the evolution system closes, but the full field equations are in no sense hyperbolic. In a cursory mode analysis we find that the equations of motion contain terms that may cause ill-posedness of the initial value problem.

gr-qc↗

arXiv2014

Hyperbolicity of High Order Systems of Evolution Equations

We study properties of evolution equations which are first order in time and arbitrary order in space (FTNS). Following Gundlach and Martín-García (2006) we define strong and symmetric hyperbolicity for FTNS systems and examine the relationship between these definitions, and the analogous concepts for first order systems. We demonstrate equivalence of the FTNS definition of strong hyperbolicity with the existence of a strongly hyperbolic first order reduction. We also demonstrate equivalence of the FTNS definition, up to N=4, of symmetric hyperbolicity with the existence of a symmetric hyperbolic first order reduction.

math.AP↗

arXiv2013

Collapse of Nonlinear Gravitational Waves in Moving-Puncture Coordinates

We study numerical evolutions of nonlinear gravitational waves in moving-puncture coordinates. We adopt two different types of initial data -- Brill and Teukolsky waves -- and evolve them with two independent codes producing consistent results. We find that Brill data fail to produce long-term evolutions for common choices of coordinates and parameters, unless the initial amplitude is small, while Teukolsky wave initial data lead to stable evolutions, at least for amplitudes sufficiently far from criticality. The critical amplitude separates initial data whose evolutions leave behind flat space from those that lead to a black hole. For the latter we follow the interaction of the wave, the formation of a horizon, and the settling down into a time-independent trumpet geometry. We explore the differences between Brill and Teukolsky data and show that for less common choices of the parameters -- in particular negative amplitudes -- Brill data can be evolved with moving-puncture coordinates, and behave similarly to Teukolsky waves.

gr-qc↗

arXiv2013

An Introduction to Well-posedness and Free-evolution

These lecture notes accompany two classes given at the NRHEP2 school. In the first lecture I introduce the basic concepts used for analyzing well-posedness, that is the existence of a unique solution depending continuously on given data, of evolution partial differential equations. I show how strong hyperbolicity guarantees well-posedness of the initial value problem. Symmetric hyperbolic systems are shown to render the initial boundary value problem well-posed with maximally dissipative boundary conditions. I discuss the Laplace-Fourier method for analyzing the initial boundary value problem. Finally I state how these notions extend to systems that are first order in time and second order in space. In the second lecture I discuss the effect that the gauge freedom of electromagnetism has on the PDE status of the initial value problem. I focus on gauge choices, strong-hyperbolicity and the construction of constraint preserving boundary conditions. I show that strongly hyperbolic pure gauges can be used to build strongly hyperbolic formulations. I examine which of these formulations is additionally symmetric hyperbolic and finally demonstrate that the system can be made boundary stable.

gr-qc↗

arXiv2013

Hyperbolicity of Physical Theories with Application to General Relativity

We consider gauge theories from the free evolution point of view, in which initial data satisfying constraints of a theory are given. Because the constraints are compatible with the field equations they remain so. We study a model constrained Hamiltonian theory and identify a particular structure in the equations of motion which we call the standard gauge freedom. The pure gauge subsystem of this model theory is identified and the manner in which the gauge variables couple to the field equations is presented. We demonstrate that the set of gauge choices that can be coupled to the field equations to obtain a, properly defined, wave-like formulation is exactly the set of wave-like pure gauges. Consequently we analyze a parametrized family of formulations of general relativity. The generalization of the harmonic gauge formulation to a five parameter family of gauge conditions is obtained.

gr-qc↗

arXiv2013

Hyperbolicity of Hamiltonian formulations in General Relativity

Well-posedness of the initial (boundary) value problem is an essential property, both of meaningful physical models and of numerical applications. To prove well-posedness of wave-type equations their level of hyperbolicity is an essential ingredient. We develop helpful tools and classify a large class of Hamiltonian versions of Einstein's equations with live gauge conditions with respect to their hyperbolicity. Finally we find a symmetric hyperbolic Hamiltonian formulation that allows for gauge conditions which are similar to the puncture gauge.

gr-qc↗

arXiv2012

Compact binary evolutions with the Z4c formulation

Numerical relativity simulations of compact binaries with the Z4c and BSSNOK formulations are compared. The Z4c formulation is advantageous in every case considered. In simulations of non-vacuum spacetimes the constraint violations due to truncation errors are between one and three orders of magnitude lower in the Z4c evolutions. Improvements are also found in the accuracy of the computed gravitational radiation. For equal-mass irrotational binary neutron star evolutions we find that the absolute errors in phase and amplitude of the waveforms can be up to a factor of four smaller. The quality of the Z4c numerical data is also demonstrated by a remarkably accurate computation of the ADM mass from surface integrals. For equal-mass non-spinning binary puncture black hole evolutions we find that the absolute errors in phase and amplitude of the waveforms can be up to a factor of two smaller. In the same evolutions we find that away from the punctures the Hamiltonian constraint violation is reduced by between one and two orders of magnitude. Furthermore, the utility of gravitational radiation controlling, constraint preserving boundary conditions for the Z4c formulation is demonstrated. The evolution of spacetimes containing a single compact object confirm earlier results in spherical symmetry. The boundary conditions avoid spurious and non-convergent effects present in high resolution runs with either formulation with a more naive boundary treatment. We conclude that Z4c is preferable to BSSNOK for the numerical solution of the 3+1 Einstein equations with the puncture gauge.

gr-qc↗

arXiv2012

Constraint damping for the Z4c formulation of general relativity

One possibility for avoiding constraint violation in numerical relativity simulations adopting free-evolution schemes is to modify the continuum evolution equations so that constraint violations are damped away. Gundlach et. al. demonstrated that such a scheme damps low amplitude, high frequency constraint violating modes exponentially for the Z4 formulation of General Relativity. Here we analyze the effect of the damping scheme in numerical applications on a conformal decomposition of Z4. After reproducing the theoretically predicted damping rates of constraint violations in the linear regime, we explore numerical solutions not covered by the theoretical analysis. In particular we examine the effect of the damping scheme on low-frequency and on high-amplitude perturbations of flat spacetime as well and on the long-term dynamics of puncture and compact star initial data in the context of spherical symmetry. We find that the damping scheme is effective provided that the constraint violation is resolved on the numerical grid. On grid noise the combination of artificial dissipation and damping helps to suppress constraint violations. We find that care must be taken in choosing the damping parameter in simulations of puncture black holes. Otherwise the damping scheme can cause undesirable growth of the constraints, and even qualitatively incorrect evolutions. In the numerical evolution of a compact static star we find that the choice of the damping parameter is even more delicate, but may lead to a small decrease of constraint violation. For a large range of values it results in unphysical behavior.

gr-qc↗

arXiv2011

Numerical stability of the Z4c formulation of general relativity

We study numerical stability of different approaches to the discretization of a conformal decomposition of the Z4 formulation of general relativity. We demonstrate that in the linear, constant coefficient regime a novel discretization for tensors is formally numerically stable with a method of lines time-integrator. We then perform a full set of apples with apples tests on the non-linear system, and thus present numerical evidence that both the new and standard discretizations are, in some sense, numerically stable in the non-linear regime. The results of the Z4c numerical tests are compared with those of BSSNOK evolutions. We typically do not employ the Z4c constraint damping scheme and find that in the robust stability and gauge wave tests the Z4c evolutions result in lower constraint violation at the same resolution as the BSSNOK evolutions. In the gauge wave tests we find that the Z4c evolutions maintain the desired convergence factor over many more light-crossing times than the BSSNOK tests. The difference in the remaining tests is marginal.

gr-qc↗

arXiv2011

Stability of the puncture method with a generalized BSSN formulation

The puncture method for dealing with black holes in the numerical simulation of vacuum spacetimes is remarkably successful when combined with the BSSN formulation of the Einstein equations. We examine a generalized class of formulations modeled along the lines of the Laguna-Shoemaker system, including BSSN as a special case. The formulation is a two parameter generalization of the choice of variables used in standard BSSN evolutions. Numerical stability of the standard finite difference methods is proven for the formulation in the linear regime around flat space, a special case of which is the numerical stability of BSSN. Numerical evolutions are presented and compared with a standard BSSN implementation. We find that a significant portion of the parameter space leads to stable evolutions and that standard BSSN is located near the edge of the stability region. Non-standard parameter choices typically result in smoother behaviour of the evolution variables close to the puncture and thus hold promise for improved accuracy in, e.g., long-term BH binary inspirals, and for overcoming (numerical) stability problems still encountered in some types of black-hole simulations, e.g., in $D \ge 6$ dimensions.

gr-qc↗

arXiv2011

The trumpet solution from spherical gravitational collapse with puncture gauges

We investigate the stationary end-state obtained by evolving a collapsing spherical star with the gauges routinely adopted to study puncture black holes. We compare the end-state of the collapse with the trumpet solution found in the evolution of a single wormhole slice and show that the two solutions closely agree. We demonstrate that the agreement is caused by the use of the Gamma-driver shift condition, which allows the matter to fall inwards into a region of spacetime that is not resolved by the numerical grid, and which simultaneously finds the stationary coordinates of the trumpet outside the matter.

gr-qc↗

arXiv2011

Constraint preserving boundary conditions for the Z4c formulation of general relativity

We discuss high order absorbing constraint preserving boundary conditions for the Z4c formulation of general relativity coupled to the moving puncture family of gauges. We are primarily concerned with the constraint preservation and absorption properties of these conditions. In the frozen coefficient approximation, with an appropriate first order pseudo-differential reduction, we show that the constraint subsystem is boundary stable on a four dimensional compact manifold. We analyze the remainder of the initial boundary value problem for a spherical reduction of the Z4c formulation with a particular choice of the puncture gauge. Numerical evidence for the efficacy of the conditions is presented in spherical symmetry.

gr-qc↗

arXiv2010

Constraint violation in free evolution schemes: comparing BSSNOK with a conformal decomposition of Z4

We compare numerical evolutions performed with the BSSNOK formulation and a conformal decomposition of a Z4-like formulation of General Relativity. The important difference between the two formulations is that the Z4 formulation has a propagating Hamiltonian constraint, whereas BSSNOK has a zero-speed characteristic variable in the constraint subsystem. In spherical symmetry we evolve both puncture and neutron star initial data. We demonstrate that the propagating nature of the Z4 constraints leads to results that compare favorably with BSSNOK evolutions, especially when matter is present in the spacetime. From the point of view of implementation the new system is a simple modification of BSSNOK.

gr-qc↗