arXiv subjects

Stephen R. Lau

Publications and source records attributed to Stephen R. Lau.

16 recordsLinked to original sources

arXiv2026

Radiation outer boundary conditions and near-to-far field signal transformations for the Bardeen-Press equation

Several theoretical and astrophysical problems - including gravitational-wave modeling for extreme mass-ratio inspirals - require accurate time-domain solutions of the spin-weight $s=-2$ Teukolsky equation in Boyer-Lindquist coordinates. Because such simulations are performed on finite computational domains, they typically introduce an artificial outer boundary where nontrivial boundary conditions must be imposed. If these conditions are inaccurate, then spurious reflections and slowly-growing unphysical modes may corrupt long-time evolutions. We develop and implement exact radiation outer boundary conditions for the Bardeen-Press equation (a harmonic moment of the $a=0$ Teukolsky equation), making the artificial boundary transparent at any finite radius. We also construct near-to-far field teleportation kernels that map field data recorded at finite radius $r_1$ to the data reaching $r_2 > r_1$. The possible choice $r_2 = \infty$ corresponds to asymptotic waveform evaluation, that is propagation of the data to future null infinity. We show that both boundary and teleportation kernels are well approximated by exponential sums, with associated error bounds. Implemented in a time-domain solver, our kernel-based boundary conditions eliminate unphysical late-time growth and give the correct late-time decay rates, affording efficient long-duration simulations for waveform modeling and related blackhole perturbation calculations.

gr-qc↗

arXiv2023

Fast evaluation of far-field signals for time-domain wave propagation

Time-domain simulation of wave phenomena on a finite computational domain often requires a fictitious outer boundary. An important practical issue is the specification of appropriate boundary conditions on this boundary, often conditions of complete transparency. Attention to this issue has been paid elsewhere, and here we consider a different, although related, issue: far-field signal recovery. Namely, from smooth data recorded on the outer boundary we wish to recover the far-field signal which would reach arbitrarily large distances. These signals encode information about interior scatterers and often correspond to actual measurements. This article expresses far-field signal recovery in terms of time-domain convolutions, each between a solution multipole moment recorded at the boundary and a sum-of-exponentials kernel. Each exponential corresponds to a pole term in the Laplace transform of the kernel, a finite sum of simple poles. Greengard, Hagstrom, and Jiang have derived the large-$\ell$ (spherical-harmonic index) asymptotic expansion for the pole residues, and their analysis shows that, when expressed in terms of the exact sum-of-exponentials, large-$\ell$ signal recovery is plagued by cancellation errors. Nevertheless, through an alternative integral representation of the kernel and its subsequent approximation by a {\em smaller} number of exponential terms (kernel compression), we are able to alleviate these errors and achieve accurate signal recovery. We empirically examine scaling relations between the parameters which determine a compressed kernel, and perform numerical tests of signal "teleportation" from one radial value $r_1$ to another $r_2$, including the case $r_2=\infty$. We conclude with a brief discussion on application to other hyperbolic equations posed on non-flat geometries where waves undergo backscatter.

math.NA↗

arXiv2012

Fast evaluation of asymptotic waveforms from gravitational perturbations

In the context of blackhole perturbation theory, we describe both exact evaluation of an asymptotic waveform from a time series recorded at a finite radial location and its numerical approximation. From the user's standpoint our technique is easy to implement, affords high accuracy, and works for both axial (Regge-Wheeler) and polar (Zerilli) sectors. Our focus is on the ease of implementation with publicly available numerical tables, either as part of an existing evolution code or a post-processing step. Nevertheless, we also present a thorough theoretical discussion of asymptotic waveform evaluation and radiation boundary conditions, which need not be understood by a user of our methods. In particular, we identify (both in the time and frequency domains) analytical asymptotic waveform evaluation kernels, and describe their approximation by techniques developed by Alpert, Greengard, and Hagstrom. This paper also presents new results on the evaluation of far-field signals for the ordinary (acoustic) wave equation. We apply our method to study late-time decay tails at null-infinity, "teleportation" of a signal between two finite radial values, and luminosities from extreme-mass-ratio binaries. Through numerical simulations with the outer boundary as close in as r = 30M, we compute asymptotic waveforms with late-time t^{-4} decay (l = 2 perturbations), and also luminosities from circular and eccentric particle-orbits that respectively match frequency domain results to relative errors of better than 10^{-12} and 10^{-9}. Furthermore, we find that asymptotic waveforms are especially prone to contamination by spurious junk radiation.

gr-qc↗

arXiv2011

Implicit-explicit (IMEX) evolution of single black holes

Numerical simulations of binary black holes---an important predictive tool for the detection of gravitational waves---are computationally expensive, especially for binaries with high mass ratios or with rapidly spinning constituent holes. Existing codes for evolving binary black holes rely on explicit timestepping methods, for which the timestep size is limited by the smallest spatial scale through the Courant-Friedrichs-Lewy condition. Binary inspiral typically involves spatial scales (the spatial resolution required by a small or rapidly spinning hole) which are orders of magnitude smaller than the relevant (orbital, precession, and radiation-reaction) timescales characterizing the inspiral. Therefore, in explicit evolutions of binary black holes, the timestep size is typically orders of magnitude smaller than the relevant physical timescales. Implicit timestepping methods allow for larger timesteps, and they often reduce the total computational cost (without significant loss of accuracy) for problems dominated by spatial rather than temporal error, such as for binary-black-hole inspiral in corotating coordinates. However, fully implicit methods can be difficult to implement for nonlinear evolution systems like the Einstein equations. Therefore, in this paper we explore implicit-explicit (IMEX) methods and use them for the first time to evolve black-hole spacetimes. Specifically, as a first step toward IMEX evolution of a full binary-black-hole spacetime, we develop an IMEX algorithm for the generalized harmonic formulation of the Einstein equations and use this algorithm to evolve stationary and perturbed single-black-hole spacetimes. Numerical experiments explore the stability and computational efficiency of our method.

gr-qc↗

arXiv2011

Sparse spectral-tau method for the three-dimensional helically reduced wave equation on two-center domains

We describe a multidomain spectral-tau method for solving the three-dimensional helically reduced wave equation on the type of two-center domain that arises when modeling compact binary objects in astrophysical applications. A global two-center domain may arise as the union of Cartesian blocks, cylindrical shells, and inner and outer spherical shells. For each such subdomain, our key objective is to realize certain (differential and multiplication) physical-space operators as matrices acting on the corresponding set of modal coefficients. We achieve sparse banded realizations through the integration "preconditioning" of Coutsias, Hagstrom, Hesthaven, and Torres. Since ours is the first three-dimensional multidomain implementation of the technique, we focus on the issue of convergence for the global solver, here the alternating Schwarz method accelerated by GMRES. Our methods may prove relevant for numerical solution of other mixed-type or elliptic problems, and in particular for the generation of initial data in general relativity.

gr-qc↗

arXiv2010

Discontinuous Galerkin method for the spherically reduced BSSN system with second-order operators

We present a high-order accurate discontinuous Galerkin method for evolving the spherically-reduced Baumgarte-Shapiro-Shibata-Nakamura (BSSN) system expressed in terms of second-order spatial operators. Our multi-domain method achieves global spectral accuracy and long-time stability on short computational domains. We discuss in detail both our scheme for the BSSN system and its implementation. After a theoretical and computational verification of the proposed scheme, we conclude with a brief discussion of issues likely to arise when one considers the full BSSN system.

gr-qc↗

arXiv2010

Persistent junk solutions in time-domain modeling of extreme mass ratio binaries

In the context of metric perturbation theory for non-spinning black holes, extreme mass ratio binary (EMRB) systems are described by distributionally forced master wave equations. Numerical solution of a master wave equation as an initial boundary value problem requires initial data. However, because the correct initial data for generic-orbit systems is unknown, specification of trivial initial data is a common choice, despite being inconsistent and resulting in a solution which is initially discontinuous in time. As is well known, this choice leads to a "burst" of junk radiation which eventually propagates off the computational domain. We observe another unintended consequence of trivial initial data: development of a persistent spurious solution, here referred to as the Jost junk solution, which contaminates the physical solution for long times. This work studies the influence of both types of junk on metric perturbations, waveforms, and self-force measurements, and it demonstrates that smooth modified source terms mollify the Jost solution and reduce junk radiation. Our concluding section discusses the applicability of these observations to other numerical schemes and techniques used to solve distributionally forced master wave equations.

gr-qc↗

arXiv2009

Discontinuous Galerkin method for computing gravitational waveforms from extreme mass ratio binaries

Gravitational wave emission from extreme mass ratio binaries (EMRBs) should be detectable by the joint NASA-ESA LISA project, spurring interest in analytical and numerical methods for investigating EMRBs. We describe a discontinuous Galerkin (dG) method for solving the distributionally forced 1+1 wave equations which arise when modeling EMRBs via the perturbation theory of Schwarzschild blackholes. Despite the presence of jump discontinuities in the relevant polar and axial gravitational "master functions", our dG method achieves global spectral accuracy, provided that we know the instantaneous position, velocity, and acceleration of the small particle. Here these variables are known, since we assume that the particle follows a timelike geodesic of the Schwarzschild geometry. We document the results of several numerical experiments testing our method, and in our concluding section discuss the possible inclusion of gravitational self-force effects.

gr-qc↗

arXiv2009

IMEX evolution of scalar fields on curved backgrounds

Inspiral of binary black holes occurs over a time-scale of many orbits, far longer than the dynamical time-scale of the individual black holes. Explicit evolutions of a binary system therefore require excessively many time steps to capture interesting dynamics. We present a strategy to overcome the Courant-Friedrichs-Lewy condition in such evolutions, one relying on modern implicit-explicit ODE solvers and multidomain spectral methods for elliptic equations. Our analysis considers the model problem of a forced scalar field propagating on a generic curved background. Nevertheless, we encounter and address a number of issues pertinent to the binary black hole problem in full general relativity. Specializing to the Schwarzschild geometry in Kerr-Schild coordinates, we document the results of several numerical experiments testing our strategy.

gr-qc↗

arXiv2007

Multidomain Spectral Method for the Helically Reduced Wave Equation

We consider the 2+1 and 3+1 scalar wave equations reduced via a helical Killing field, respectively referred to as the 2-dimensional and 3-dimensional helically reduced wave equation (HRWE). The HRWE serves as the fundamental model for the mixed-type PDE arising in the periodic standing wave (PSW) approximation to binary inspiral. We present a method for solving the equation based on domain decomposition and spectral approximation. Beyond describing such a numerical method for solving strictly linear HRWE, we also present results for a nonlinear scalar model of binary inspiral. The PSW approximation has already been theoretically and numerically studied in the context of the post-Minkowskian gravitational field, with numerical simulations carried out via the "eigenspectral method." Despite its name, the eigenspectral technique does feature a finite-difference component, and is lower-order accurate. We intend to apply the numerical method described here to the theoretically well-developed post-Minkowski PSW formalism with the twin goals of spectral accuracy and the coordinate flexibility afforded by global spectral interpolation.

gr-qc↗

arXiv2005

Analytic structure of radiation boundary kernels for blackhole perturbations

Exact outer boundary conditions for gravitational perturbations of the Schwarzschild metric feature integral convolution between a time-domain boundary kernel and each radiative mode of the perturbation. For both axial (Regge-Wheeler) and polar (Zerilli) perturbations, we study the Laplace transform of such kernels as an analytic function of (dimensionless) Laplace frequency. We present numerical evidence indicating that each such frequency-domain boundary kernel admits a "sum-of-poles" representation. Our work has been inspired by Alpert, Greengard, and Hagstrom's analysis of nonreflecting boundary conditions for the ordinary scalar wave equation.

gr-qc↗

arXiv2004

Rapid Evaluation of Radiation Boundary Kernels for Time-domain Wave Propagation on Blackholes

For scalar, electromagnetic, or gravitational wave propagation on a fixed Schwarzschild blackhole background, we describe the exact nonlocal radiation outer boundary conditions (ROBC) appropriate for a spherical outer boundary of finite radius enclosing the blackhole. Derivation of the ROBC is based on Laplace and spherical-harmonic transformation of the Regge-Wheeler equation, the PDE governing the wave propagation, with the resulting radial ODE an incarnation of the confluent Heun equation. For a given angular index l the ROBC feature integral convolution between a time-domain radiation boundary kernel (TDRK) and each of the corresponding 2l+1 spherical-harmonic modes of the radiating wave. The TDRK is the inverse Laplace transform of a frequency-domain radiation kernel (FDRK) which is essentially the logarithmic derivative of the asymptotically outgoing solution to the radial ODE. We numerically implement the ROBC via a rapid algorithm involving approximation of the FDRK by a rational function. Such an approximation is tailored to have relative error εuniformly along the axis of imaginary Laplace frequency. Theoretically, εis also a long-time bound on the relative convolution error. Via study of one-dimensional radial evolutions, we demonstrate that the ROBC capture the phenomena of quasinormal ringing and decay tails. Moreover, carrying out a numerical experiment in which a wave packet strikes the boundary at an angle, we find that the ROBC yield accurate results in a three-dimensional setting. Our work is a partial generalization to Schwarzschild wave propagation and Heun functions of the methods developed for flatspace wave propagation and Bessel functions by Alpert, Greengard, and Hagstrom.

gr-qc↗

arXiv1996

Differential Forms and Wave Equations for General Relativity

Recently, Choquet-Bruhat and York and Abrahams, Anderson, Choquet-Bruhat, and York (AACY) have cast the 3+1 evolution equations of general relativity in gauge-covariant and causal ``first-order symmetric hyperbolic form,'' thereby cleanly separating physical from gauge degrees of freedom in the Cauchy problem for general relativity. A key ingredient in their construction is a certain wave equation which governs the light-speed propagation of the extrinsic curvature tensor. Along a similar line, we construct a related wave equation which, as the key equation in a system, describes vacuum general relativity. Whereas the approach of AACY is based on tensor-index methods, the present formulation is written solely in the language of differential forms. Our approach starts with Sparling's tetrad-dependent differential forms, and our wave equation governs the propagation of Sparling's 2-form, which in the ``time-gauge'' is built linearly from the ``extrinsic curvature 1-form.'' The tensor-index version of our wave equation describes the propagation of (what is essentially) the Arnowitt-Deser-Misner gravitational momentum.

gr-qc↗

arXiv1996

New variables, the gravitational action, and boosted quasilocal stress-energy-momentum

This paper presents a complete set of quasilocal densities which describe the stress-energy-momentum content of the gravitational field and which are built with Ashtekar variables. The densities are defined on a two-surface $B$ which bounds a generic spacelike hypersurface $Σ$ of spacetime. The method used to derive the set of quasilocal densities is a Hamilton-Jacobi analysis of a suitable covariant action principle for the Ashtekar variables. As such, the theory presented here is an Ashtekar-variable reformulation of the metric theory of quasilocal stress-energy-momentum originally due to Brown and York. This work also investigates how the quasilocal densities behave under generalized boosts, i. e. switches of the $Σ$ slice spanning $B$. It is shown that under such boosts the densities behave in a manner which is similar to the simple boost law for energy-momentum four-vectors in special relativity. The developed formalism is used to obtain a collection of two-surface or boost invariants. With these invariants, one may ``build" several different mass definitions in general relativity, such as the Hawking expression. Also discussed in detail in this paper is the canonical action principle as applied to bounded spacetime regions with ``sharp corners."

gr-qc↗

arXiv1996

On the Canonical Reduction of Spherically Symmetric Gravity

In a thorough paper Kuchar has examined the canonical reduction of the most general action functional describing the geometrodynamics of the maximally extended Schwarzschild geometry. This reduction yields the true degrees of freedom for (vacuum) spherically symmetric general relativity. The essential technical ingredient in Kuchar's analysis is a canonical transformation to a certain chart on the gravitational phase space which features the Schwarzschild mass parameter $M_{S}$, expressed in terms of what are essentially Arnowitt-Deser-Misner variables, as a canonical coordinate. In this paper we discuss the geometric interpretation of Kuchar's canonical transformation in terms of the theory of quasilocal energy-momentum in general relativity given by Brown and York. We find Kuchar's transformation to be a ``sphere-dependent boost to the rest frame," where the ``rest frame'' is defined by vanishing quasilocal momentum. Furthermore, our formalism is general enough to cover the case of (vacuum) two-dimensional dilaton gravity. Therefore, besides reviewing Kuchař's original work for Schwarzschild black holes from the framework of hyperbolic geometry, we present new results concerning the canonical reduction of Witten-black-hole geometrodynamics.

gr-qc↗

arXiv1995

Spinors and the reference point of quasilocal energy

This paper investigates the relationship between the quasilocal energy of Brown and York and certain spinorial expressions for gravitational energy constructed from the Witten-Nester integral. A key feature of the Brown-York method for defining quasilocal energy is that it allows for the freedom to assign the reference point of the energy. When possible, it is perhaps most natural to reference the energy against flat space, i.e. assign flat-space the zero value of energy. It is demonstrated that the Witten-Nester integral when evaluated on solution spinors to the Sen-Witten equation (obeying appropriate boundary conditions) is essentially the Brown-York quasilocal energy with a reference point determined by the Sen-Witten spinors. For the case of round spheres in the Schwarzschild geometry, these spinors determine the flat-space reference point. A similar viewpoint is proposed for the Schwarzschild-case quasilocal energy of Dougan and Mason.

gr-qc↗