The Einstein Evolution Equations as a First-Order Quasi-Linear Symmetric Hyperbolic System, I

A systematic presentation of the quasi-linear first order symmetric hyperbolic systems of Friedrichs is presented. A number of sharp regularity and smoothness properties of the solutions are obtained. The present paper is devoted to the case of R n with suitable asymptotic conditions imposed. As an example, we apply this theory to give new proofs of the existence and uniqueness theorems for the Einstein equations in general relativity, due to Choquet-Bruhat and Lichnerowicz. These new proofs usingfirst order techniques are considerably simplier than the classical proofs based onsecond order techniques. Our existence results are as sharp as had been previously known, and our uniqueness results improve by one degree of differentiability those previously existing in the literature