arXiv subjects

David Hilditch

Publications and source records attributed to David Hilditch.

At least 55 records · Page 3Linked to original sources

arXiv2021

The conformal Einstein field equations and the local extension of future null infinity

We make use of an improved existence result for the characteristic initial value problem for the conformal Einstein equations to show that given initial data on two null hypersurfaces $\mathcal{N}_\star$ and $\mathcal{N}'_\star$ such that the conformal factor (but not its gradient) vanishes on a section of $\mathcal{N}_\star$ one recovers a portion of null infinity. This result combined with the theory of the hyperboloidal initial value problem for the conformal Einstein field equations allows to show the semi-global stability of the Minkowski spacetime from characteristic initial data.

gr-qc↗

arXiv2021

An Implementation of DF-GHG with Application to Spherical Black Hole Excision

We present an implementation of the dual foliation generalized harmonic gauge (DF-GHG) formulation within the pseudospectral code bamps. The formalism promises to give greater freedom in the choice of coordinates that can be used in numerical relativity. As a specific application we focus here on the treatment of black holes in spherical symmetry. Existing approaches to black hole excision in numerical relativity are susceptible to failure if the boundary fails to remain outflow. We present a method, called DF-excision, to avoid this failure. Our approach relies on carefully choosing coordinates in which the coordinate lightspeeds are under strict control. These coordinates are then combined with the DF-GHG formulation. After performing a set of validation tests in a simple setting, we study the accretion of large pulses of scalar field matter on to a spherical black hole. We compare the results of DF-excision with a naive setup. DF-excision proves reliable even when the previous approach fails.

gr-qc↗

arXiv2021

High Order Asymptotic Expansions of a Good-Bad-Ugly Wave Equation

A heuristic method to find asymptotic solutions to a system of non-linear wave equations near null infinity is proposed. The non-linearities in this model, dubbed good-bad-ugly, are known to mimic the ones present in the Einstein field equations (EFE) and we expect to be able to exploit this method to derive an asymptotic expansion for the metric in General Relativity (GR) close to null infinity that goes beyond first order as performed by Lindblad and Rodnianski for the leading asymptotics. For the good-bad-ugly model, we derive formal expansions in which terms proportional to the logarithm of the radial coordinate appear at every order in the bad field, from the second order onward in the ugly field but never in the good field. The model is generalized to wave operators built from an asymptotically flat metric and it is shown that it admits polyhomogeneous asymptotic solutions. Finally we define stratified null forms, a generalization of standard null forms, which capture the behavior of different types of field, and demonstrate that the addition of such terms to the original system bears no qualitative influence on the type of asymptotic solutions found.

gr-qc↗

arXiv2021

Summation by Parts and Truncation Error Matching on Hyperboloidal Slices

We examine stability of summation by parts (SBP) numerical schemes that use hyperboloidal slices to include future null infinity in the computational domain. This inclusion serves to mitigate outer boundary effects and, in the future, will help reduce systematic errors in gravitational waveform extraction. We also study a setup with truncation error matching. Our SBP-Stable scheme guarantees energy-balance for a class of linear wave equations at the semidiscrete level. We develop also specialized dissipation operators. The whole construction is made at second order accuracy in spherical symmetry, but could be straightforwardly generalized to higher order or spectral accuracy without symmetry. In a practical implementation we evolve first a scalar field obeying the linear wave equation and observe, as expected, long term stability and norm convergence. We obtain similar results with a potential term. To examine the limitations of the approach we consider a massive field, whose equations of motion do not regularize, and whose dynamics near null infinity, which involve excited incoming pulses that can not be resolved by the code, is very different to that in the massless setting. We still observe excellent energy conservation, but convergence is not satisfactory. Overall our results suggest that compactified hyperboloidal slices are likely to be provably effective whenever the asymptotic solution space is close to that of the wave equation.

gr-qc↗

arXiv2020

Hyperbolicity of General Relativity in Bondi-like gauges

Bondi-like (single-null) characteristic formulations of general relativity are used for numerical work in both asymptotically flat and anti-de Sitter spacetimes. Well-posedness of the resulting systems of partial differential equations, however, remains an open question. The answer to this question affects accuracy, and potentially the reliability of conclusions drawn from numerical studies based on such formulations. A numerical approximation can converge to the continuum limit only for well-posed systems; for the initial value problem in the $L^2$ norm this is characterized by strong hyperbolicity. We find that, due to a shared pathological structure, the systems arising from the aforementioned formulations are however only weakly hyperbolic. We present numerical tests for toy models that demonstrate the consequence of this shortcoming in practice for the characteristic initial boundary value problem. Working with alternative norms in which our model problems may be well-posed we show that convergence may be recovered. Finally we examine well-posedness of a model for Cauchy-Characteristic-Matching in which model symmetric and weakly hyperbolic systems communicate through an interface, with the latter playing the role of GR in Bondi gauge on characteristic slices. We find that, due to the incompatibility of the norms associated with the two systems, the composite problem does not naturally admit energy estimates.

gr-qc↗

arXiv2020

A semi-linear wave model for critical collapse

In spherical symmetry compelling numerical evidence suggests that in general relativity solutions near the threshold of black hole formation exhibit critical behavior. One aspect of this is that threshold solutions themselves are self-similar and are, in a certain sense, unique. To an extent yet to be fully understood, the same phenomena persist beyond spherical symmetry. It is therefore desirable to construct models that exhibit such symmetry at the threshold of blow-up. Starting with deformations of the wave equation, we discuss models which have discretely self-similar threshold solutions. We study threshold solutions in the past light cone of the blow-up point. In spherical symmetry there is a sense in which a unique critical solution exists. Spherical numerical evolutions are also presented for more general models, and exhibit similar behavior. Away from spherical symmetry threshold solutions attain more freedom. Different topologies of blow-up are possible, and even locally the critical solution needs reinterpretation as a parameterized family.

gr-qc↗

arXiv2020

Analytical and numerical treatment of perturbed black holes in horizon-penetrating coordinates

The deviations of non-linear perturbations of black holes from the linear case are important in the context of ringdown signals with large signal-to-noise ratio. To facilitate a comparison between the two we derive several results of linear perturbation theory in coordinates which may be adopted in numerical work. Specifically, our results are derived in Kerr-Schild coordinates adjusted by a general height function. In the first part of the paper we address the questions: for an initial configuration of a massless scalar field, what is the amplitude of the excited quasinormal mode (QNM) for any observer outside outside the event horizon, and furthermore what is the resulting tail contribution? This is done by constructing the full Green's function for the problem with exact solutions of the confluent Heun equation satisfying appropriate boundary conditions. In the second part of the paper, we detail new developments to our pseudospectral numerical relativity code bamps to handle scalar fields. In the linear regime we employ precisely the Kerr-Schild coordinates treated by our previous analysis. In particular, we evolve pure QNM type initial data along with several other types of initial data and report on the presence of overtone modes in the signal.

gr-qc↗

arXiv2020

Improved existence for the characteristic initial value problem with the conformal Einstein field equations

We adapt Luk's analysis of the characteristic initial value problem in General Relativity to the asymptotic characteristic problem for the conformal Einstein field equations to demonstrate the local existence of solutions in a neighbourhood of the set on which the data are given. In particular, we obtain existence of solutions along a narrow rectangle along null infinity which, in turn, corresponds to an infinite domain in the asymptotic region of the physical spacetime. This result generalises work by Kánnár on the local existence of solutions to the characteristic initial value problem by means of Rendall's reduction strategy. In analysing the conformal Einstein equations we make use of the Newman-Penrose formalism and a gauge due to J. Stewart.

gr-qc↗

arXiv2020

Hyperbolicity of Divergence Cleaning and Vector Potential Formulations of GRMHD

We examine hyperbolicity of general relativistic magnetohydrodynamics with divergence cleaning, a flux-balance law form of the model not covered by our earlier analysis. The calculations rely again on a dual-frame approach, which allows us to effectively exploit the structure present in the principal part. We find, in contrast to the standard flux-balance law form of the equations, that this formulation is strongly hyperbolic, and thus admits a well-posed initial value problem. Formulations involving the vector potential as an evolved quantity are then considered. Carefully reducing to first order, we find that such formulations can also be made strongly hyperbolic. Despite the unwieldy form of the characteristic variables we therefore conclude that of the free-evolution formulations of general relativistic magnetohydrodynamics presently used in numerical relativity, the divergence cleaning and vector potential formulations are preferred.

gr-qc↗

arXiv2019

Revisiting the characteristic initial value problem for the vacuum Einstein field equations

Using the Newman-Penrose formalism we study the characteristic initial value problem in vacuum General Relativity. We work in a gauge suggested by Stewart, and following the strategy taken in the work of Luk, demonstrate local existence of solutions in a neighbourhood of the set on which data are given. These data are given on intersecting null hypersurfaces. Existence near their intersection is achieved by combining the observation that the field equations are symmetric hyperbolic in this gauge with the results of Rendall. To obtain existence all the way along the null-hypersurfaces themselves, a bootstrap argument involving the Newman-Penrose variables is performed.

gr-qc↗

arXiv2019

Critical phenomena in the gravitational collapse of electromagnetic waves

We numerically investigate the threshold of black-hole formation in the gravitational collapse of electromagnetic waves in axisymmetry. We find approximate power-law scaling $ρ_{\rm max}\sim (η_*-η)^{-2γ}$ of the maximum density in the time evolution of near-subcritical data with $γ\simeq 0.145$, where $η$ is the amplitude of the initial data. We directly observe approximate discrete self-similarity in near-critical time evolutions with a log-scale echoing period of $Δ\simeq 0.55$. The critical solution is approximately the same for two families of initial data, providing some evidence of universality. Neither the discrete self-similarity nor the universality, however, are exact. We speculate that the absence of an exactly discrete self-similarity might be caused by the interplay of electromagnetic and gravitational wave degrees of freedom, or by the presence of higher-order angular multipoles, or both, and discuss implications of our findings for the critical collapse of vacuum gravitational waves.

gr-qc↗

arXiv2019

Critical phenomena in gravitational collapse with two competing massless matter fields

In the gravitational collapse of matter beyond spherical symmetry, gravitational waves are necessarily present. On the other hand, gravitational waves can collapse to a black hole even without matter. One might therefore wonder whether the interaction and competition between the matter fields and gravitational waves affects critical phenomena at the threshold of black hole formation. As a toy model for this, we study type II critical collapse with two matter fields in spherical symmetry, namely a scalar field and a Yang-Mills field. On their own, both display discrete self-similarity (DSS) in type II critical collapse, and we can take either one of them as a toy model for gravitational waves. To our surprise, in numerical time evolutions we find that, for sufficiently good fine-tuning, the scalar field always dominates on sufficiently small scales. We explain our results by the conjectured existence of a "quasi-discretely self-similar" (QSS) solution shared by the two fields, equal to the known Yang-Mills critical solution at infinitely large scales and the known scalar field critical solution (the Choptuik solution) at infinitely small scales, with a gradual transition from one field to the other. This QSS solution itself has only one unstable mode, and so acts as the critical solution for any mixture of scalar field and Yang-Mills initial data.

gr-qc↗

arXiv2019

The Hyperboloidal Numerical Evolution of a Good-Bad-Ugly Wave Equation

One method for the numerical treatment of future null-infinity is to decouple coordinates from the tensor basis and choose each in a careful manner. This dual-frame approach is hampered by logarithmically divergent terms that appear in a naive choice of evolved variables. Here we consider a system of wave equations that satisfy the weak-null condition and serve as a model system with similar nonlinearities to those present in the Einstein field equations in generalized harmonic gauge. We show that these equations can be explicitly regularized by a nonlinear change of variables. Working in spherical symmetry, a numerical implementation of this model using compactified hyperboloidal slices is then presented. Clean convergence is found for the regularized system. Although more complicated, it is expected that general relativity can be treated similarly.

gr-qc↗

arXiv2019

Conformally flat slices of asymptotically flat spacetimes

For mathematical convenience initial data sets in numerical relativity are often taken to be conformally flat. Employing the dual-foliation formalism, we investigate the physical consequences of this assumption. Working within a large class of asymptotically flat spacetimes we show that the ADM linear momentum is governed by the leading Lorentz part of a boost even in the presence of supertranslation-like terms. Following up, we find that in spacetimes that are asymptotically flat, and admit spatial slices with vanishing linear momentum that are sufficiently close to conformal flatness, any boosted slice can not be conformally flat. Consequently there are no conformally flat boosted slices of the Schwarzschild spacetime. This confirms the previously anticipated explanation for the presence of junk-radiation in Brandt-Bruegmann puncture data.

gr-qc↗

arXiv2018

The Weak Null Condition in Free-evolution Schemes for Numerical Relativity: Dual Foliation GHG with Constraint Damping

All strategies for the treatment of future null-infinity in numerical relativity involve some form of regularization of the field equations. In a recent proposal that relies on the dual foliation formalism this is achieved by the use of an asymptotically Minkowskian generalized harmonic tensor basis. For the scheme to work however, derivatives of certain coordinate light-speeds must decay fast enough. Presently, we generalize the method of asymptotic expansions for nonlinear wave equations to treat first order symmetric hyperbolic systems. We then use this heuristic tool to extract the expected rates of decay of the metric near null-infinity in a free-evolution setting. We show, within the asymptotic expansion, that by carefully modifying the non-principal part of the field equations by the addition of constraints, we are able to obtain optimal decay rates even when the constraints are violated. The light-speed condition can hence be satisfied, which paves the way for the explicit numerical treatment of future null-infinity. We then study the behavior of the Trautman-Bondi mass under the decay results predicted by the asymptotic expansion. Naively the mass seems to be unbounded, but we see first that the divergent terms can be replaced with a combination of the constraints and the Einstein field equations, and second that the Bondi mass loss formula is recovered within the framework. Both of the latter results hold in the presence of small constraint violations.

gr-qc↗

arXiv2018

Revisiting Hyperbolicity of Relativistic Fluids

Motivated by the desire for highly accurate numerical computations of compact binary spacetimes in the era of gravitational wave astronomy, we reexamine hyperbolicity and well-posedness of the initial value problem for popular models of general relativistic fluids. Our analysis relies heavily on the dual-frame formalism, which allows us to work in the Lagrangian frame, where computation is relatively easy, before transforming to the desired Eulerian form. This general strategy allows for the construction of compact expressions for the characteristic variables in a highly economical manner. General relativistic hydrodynamics (GRHD), ideal magnetohydrodynamics (GRMHD) and resistive magnetohydrodynamics (RGRMHD) are considered in turn. In the first case we obtain a simplified form of earlier expressions. In the second we show that the flux-balance law formulation used in typical numerical applications is only weakly hyperbolic and thus does not have a well-posed initial value problem. Newtonian ideal MHD is found to suffer from the same problem when written in flux-balance law form. An alternative formulation, closely related to that of Anile and Pennisi, is instead shown to be strongly hyperbolic. In the final case we find that the standard forms of RGRMHD, relying upon a particular choice of `generalized Ohm's law', are only weakly hyperbolic. The latter problem may be rectified by adjusting the choice of Ohm's law, but we do not do so here. Along the way weak hyperbolicity of the field equations for dust and charged dust is also observed. More sophisticated systems, such as multi-fluid and elastic models are also expected to be amenable to our treatment.

gr-qc↗

arXiv2018

The initial boundary value problem for free-evolution formulations of General Relativity

We consider the initial boundary value problem for free-evolution formulations of general relativity coupled to a parametrized family of coordinate conditions that includes both the moving puncture and harmonic gauges. We concentrate primarily on boundaries that are geometrically determined by the outermost normal observer to spacelike slices of the foliation. We present high-order-derivative boundary conditions for the gauge, constraint violating and gravitational wave degrees of freedom of the formulation. Second order derivative boundary conditions are presented in terms of the conformal variables used in numerical relativity simulations. Using Kreiss-Agranovich-Metivier theory we demonstrate, in the frozen coefficient approximation, that with sufficiently high order derivative boundary conditions the initial boundary value problem can be rendered boundary stable. The precise number of derivatives required depends on the gauge. For a choice of the gauge condition that renders the system strongly hyperbolic of constant multiplicity, well-posedness of the initial boundary value problem follows in this approximation. Taking into account the theory of pseudo-differential operators, it is expected that the nonlinear problem is also well-posed locally in time.

gr-qc↗

arXiv2017

Hyperbolic Relaxation Method for Elliptic Equations

We show how the basic idea of parabolic Jacobi relaxation can be modified to obtain a new class of hyperbolic relaxation schemes that are suitable for the solution of elliptic equations. Some of the analytic and numerical properties of hyperbolic relaxation are examined. We describe its implementation as a first order system in a pseudospectral evolution code, demonstrating that certain elliptic equations can be solved within a framework for hyperbolic evolution systems. Applications include various initial data problems in numerical general relativity. In particular we generate initial data for the evolution of a massless scalar field, a single neutron star, and binary neutron star systems.

gr-qc↗