Hiperbolicidad simétrica y condiciones de contorno consistentes para las ecuaciones de Einstein de segundo orden

Presentamos dos familias de formulaciones de las ecuaciones de Einstein de primer orden en el tiempo y segundo orden en el espacio (variantes de la formulación de Arnowitt-Deser-Misner) que admiten un conjunto completo de variables características y una energía conservada que se puede expresar en términos de las variables características. El sistema de restricciones asociado también es hiperbólico simétrico en este sentido, y todas las velocidades características son físicas. Proponemos una familia de condiciones de contorno que preservan las restricciones que son aplicables si el contorno es suave con desplazamiento tangencial. Conjeturamos que el problema de valor inicial y de contorno resultante está bien planteado.