5 Beyond the Prescribed Gauge.4 Recent Approaches to the 4.2 The Frame Representation.

4.3 Ashtekar's Representation. 

The example of the one dimensional wave equation  2.2 can be slightly improved by the following construction: We define a two dimensional vector tex2html_wrap_inline1898 . We then have tex2html_wrap_inline1900, while, tex2html_wrap_inline1902 . Thus we have a diagonal -and so symmetric hyperbolic- system if tex2html_wrap_inline1904, namely,

displaymath1906

The two possible values tex2html_wrap_inline1908 can take correspond to the two characteristic directions the wave equation defines. This trick can not be extended two more dimensions, basically because the space derivative of tex2html_wrap_inline1910 is a vector, and so can not be properly mixed with its time derivative. But in other dimensions one can implement similar schema if the fields are not scalars but appropriate tensors.

Einstein's equations in Ashtekar's' variables [51, 52] is one beautiful example of this, since they have the remarkable property of naturally constituting a first order evolution system. Because of this reason it is also a compact system with twenty-seven unknowns, even before imposing the reality condition on the connection variable. Recently it has been proven [53] that such a system is symmetric hyperbolic if suitable combinations of the constraint equations are added to their evolution equations, thus effectively changing the flow outside the constraint sub-manifold of phase-space.

In Ashtekar's representation the basic variables are a densitized SU (2) soldering form, tex2html_wrap_inline1914 and a SU (2) connection tex2html_wrap_inline1918 which are tangent to a space-like foliation of space time determined by given ``lapse''-shift pair tex2html_wrap_inline1920, tex2html_wrap_inline1922 .

The symmetric hyperbolic evolution equation system is:

displaymath1924

displaymath1926

where tex2html_wrap_inline1928 is the SU (2) derivative whose difference with respect to a flat connection is tex2html_wrap_inline1918 . C, tex2html_wrap_inline1936, and tex2html_wrap_inline1938 are the constraint equations,

eqnarray474

Note that here there is an extra vectorial constraint, a SU (2) valued scalar, which corresponds to the fact that the system has extra degrees of freedom, the SU (2) rotations. The extra constraint is just a strange way of asserting the symmetry of the second fundamental form, and is of the type of substitutions we made above to improve on the wave equation system. The constraints on themselves satisfy a symmetric hyperbolic system of equations.

Note that the principal part of the system is block diagonal and the eigenvectors-eigenvalues are very simple combinations of tex2html_wrap_inline1944 with the elements of an orthogonal basis tex2html_wrap_inline1946, where tex2html_wrap_inline1948 is the wave vector.

In this new system, the ``lapse''-shift pair can be chosen arbitrarily. But in fact the ``lapse'' that appears here is a scalar density which has already incorporated the square root of h on it. So the freedom is actually the same as in the ADM representation. As in the frame representation, the lapse-shift pair appears only with derivatives up to first order. In this case it is relatively easy to see the freedom in making up evolution equations for the lapse-shift pair. As said above, the system is symmetric for Ashtekar's variables, since the lapse-shift pair enters as terms with up to first derivatives, one can take those terms from the non-principal part of the system and promote them into the principal part of a bigger system which incorporates the lapse-shift as extra variables. Thus, these terms constitute an off-diagonal block of the bigger principal part matrix. Imposing symmetry to the bigger matrix fixes the opposite off-diagonal part of the matrix. The only freedom left is on the lapse-shift block-diagonal part, which can be chosen to be any symmetric matrix we like. The non-principal part of the equation system on the lapse-shift sector can also be chosen arbitrarily. Of course, in contrast with the ADM representation results, one can also choose a gauge condition via elliptic equations on the lapse-shift pair. In this case, the elliptic system can be of first order in the lapse-shift or related variables. For instance, one could use Witten's equation to evolve them.

As we have seen, the generalized harmonic time gauge seems to appear naturally in most attempts to get well posed evolution systems. Thus it seems to be really a key ingredient, perhaps with some physical content. One could argue in that direction from the circumstances in which it appears in [48Jump To The Next Citation Point In The Article], namely effectively improving the estimates of the behavior of solutions admitting a Newtonian limit that is in a way related to the longitudinal modes of the theory. This longitudinal modes are part of the evolution, although they are not expected to behave in a hyperbolic manner. See also the comments around equation (9) in [47Jump To The Next Citation Point In The Article].



5 Beyond the Prescribed Gauge.4 Recent Approaches to the 4.2 The Frame Representation.

image Hyperbolic methods for Einstein's Equations
Oscar A. Reula
http://www.livingreviews.org/lrr-1998-3
© Max-Planck-Gesellschaft. ISSN 1433-8351
Problems/Comments to livrev@aei-potsdam.mpg.de