Constructing "non-Kerrness" on compact domains

Abstract

Given a compact domain of a 3-dimensional hypersurface on a vacuum spacetime, a scalar (the "non-Kerrness") is constructed by solving a Dirichlet problem for a second order elliptic system. If such scalar vanishes, and a set of conditions are satisfied at a point, then the domain of dependence of the compact domain is isometric to a portion of a member of the Kerr family of solutions to the Einstein field equations. This construction is expected to be of relevance in the analysis of numerical simulations of black hole spacetimes.