Integrability of the minimal strain equations for the lapse and shift in 3+1 numerical relativity - art. no. 024009

Brady, Creighton and Thorne have argued that, in numerical relativity simul ations of the inspiral of binary black holes, if one uses lapse and shift f unctions satisfying the "minimal strain equations" (MSE), then the coordina tes might be kept co-rotating, the metric components would then evolve on t he very slow inspiral time scale, and the computational demands would thus be far smaller than for more conventional slicing choices. In this paper, w e derive simple, testable criteria for the MSE to be strongly elliptic, the reby guaranteeing the existence and uniqueness of the solution to the Diric hlet boundary value problem. We show that these criteria are satisfied in a test-bed metric for inspiraling binaries, and we argue that they should be satisfied quite generally for inspiraling binaries. If the local existence and uniqueness that we have proved holds globally, then, for appropriate b oundary values, the solution of the MSE exhibited by Brady, Creighton and T horne (which tracks the inspiral and keeps the metric evolving slowly) will be the unique solution and thus should be reproduced by (sufficiently accu rate and stable) numerical integrations.