Two problems arise: First, we need to idealize the physical situation in an appropriate way, since it is hopeless to try to analyze the behaviour of the system in its interaction with the rest of the universe. We are mainly interested in the behaviour of the system and not so much in other processes taking place at large distances from the system. Since we would like to ignore those regions, we need a way to isolate the system from their influence.

We might want to do this by cutting away the uninteresting
parts of the universe along a time-like cylinder
*T*
enclosing the system. Thereby, we effectively replace the outer
part by data on
*T*
. The evolution of our system is determined by those data and
initial data on some space-like hypersurface
*S*
. But now we are faced with the problem of interpreting the data.
It is well known that initial data are obtained from some free
data by solving elliptic equations. This is a global procedure.
It is very difficult to give a physical meaning to initial data
obtained in this way, and it is even more difficult, if not
impossible, to specify a system, i.e. to determine initial data,
exclusively from (local) physical properties of the constituents
of the system like energy-momentum, spin, material properties,
etc. In a similar spirit, the data on the time-like boundary
*T*
are complicated and only to a rather limited extent do they lend
themselves to physical interpretation. For instance, it is not
known how to extract from those data any piece which would
unambiguously correspond to the radiation emitted by the system.
Another problem is related to the arbitrariness in performing the
cut. How can we be sure that we capture essentially the same
behaviour independently of how we define
*T*
?

Thus, we are led to consider a different kind of ``isolation
procedure''. We imagine the system as being ``alone in the
universe'' in the sense that we assume it being embedded in a
space-time manifold which is asymptotically flat. How to
formulate this is a priori rather vague. Somehow we want to
express the fact that the space-time ``looks like'' Minkowski
space-time ``at large distances'' from the source. Certainly,
fall-off conditions for the curvature have to be imposed as one
recedes from the source and these conditions should be compatible
with the Einstein equations. This means that there should exist
solutions of the Einstein equations which exhibit these fall-off
properties. We would then, on some initial space-like
hypersurface
*S*, prescribe initial data which should, on the one hand, satisfy
the asymptotic conditions. On the other hand, the initial data
should approximate in an appropriate sense the initial conditions
which give rise to the real behaviour of the system. Our hope is
that the evolution of these data provides a reasonable
approximation of the real behaviour. As before, the asymptotic
conditions which in a sense replace the influence of the rest of
the universe on the system should not depend on the particular
system under consideration. They should provide some universal
structure against which we can gauge the information gained.
Otherwise, we would not be able to compare different systems.
Furthermore, we would hope that the conditions are such that
there is a well defined way to allow for radiation to be easily
extracted. It turns out that all these desiderata are in fact
realized in the final formulation.

These considerations lead us to focus on space-times which are asymptotically flat in the appropriate sense. However, how should this notion be defined? How can we locate ``infinity''? How can we express conditions ``at infinity''?

This brings us to the second problem mentioned above. Even if we choose the idealization of our system as an asymptotically flat space-time manifold, we are still facing the task of adequately simulating the situation numerically. This is a formidable task, even when we ignore complications arising from difficult matter equations. The simulation of gravitational waves in an otherwise empty space-time coming in from infinity, interacting with themselves, and going out to infinity is a challenging problem. The reason is obvious: Asymptotically flat space-times necessarily have infinite extent while computing resources are finite.

The conventional way to overcome this apparent contradiction
is the introduction of an artificial boundary ``far away from the
interesting regions''. During the simulation this boundary
evolves in time thus defining a time-like hypersurface in
space-time. There one imposes conditions which, it is hoped,
approximate the asymptotic conditions. However, introducing the
artificial boundary is nothing but the reintroduction of the
time-like cylinder
*T*
on the numerical level with all its shortcomings. Instead of
having a ``clean'' system which is asymptotically flat and allows
well defined asymptotic quantities to be precisely determined,
one is now dealing again with data on a time-like boundary whose
meaning is unclear. Even if the numerical initial data have been
arranged so that the asymptotic conditions are well approximated
initially by the boundary conditions on
*T*, there is no guarantee that this will remain so when the system
is evolved. Furthermore, the numerical treatment of an
initial-boundary value problem is much more complicated than an
initial value problem because of instabilities which can easily
be generated at the boundary.

What is needed, therefore, is a definition of asymptotically
flat space-times which allows to overcome both the problem of
``where infinity is'' and the problem of simulating an infinite
system with finite resources. The key observation in this context
is that ``infinity'' is far away
*with respect to the space-time metric*
. This means that one needs infinitely many ``metre sticks'' in
succession in order to ``get to infinity''. But, what if we
replaced these metre sticks by ones which grow in length the
farther out we go? Then it might be possible that only a finite
number of them suffices to cover an infinite range, provided the
growth rate is just right. This somewhat naive picture can be
made much more precise: Instead of using the physical space-time
metric
to measure distance and time, we use a different metric
, which is ``scaled down'' with a scale factor
. If
can be arranged to approach zero at an appropriate rate, then
this might result in ``bringing infinity in to a finite region''
with respect to the unphysical metric
*g*
. We can imagine attaching points to the space-time which are
finite with respect to
*g*
but which are at infinity with respect to
. In this way we can construct a boundary consisting of all the
end points of the succession of finitely many rescaled metre
sticks arranged in all possible directions. This construction
works for Minkowski space and so it is reasonable to define
asymptotically flat space-times as those for which the
scaling-down of the metric is possible.

We arrived at this idea by considering the metric structure only ``up to arbitrary scaling'', i.e. by looking at metrics which differ only by a factor. This is the conformal structure of the space-time manifold in question. By considering the space-time only from the point of view of its conformal structure we obtain a picture of the space-time which is essentially finite but which leaves its causal properties, and hence the properties of wave propagation unchanged. This is exactly what is needed for a rigorous treatment of radiation emitted by the system and also for the numerical simulation of such situations.

The way we have presented the emergence of the conformal structure as the essence of asymptotically flat space-times is not how it happened historically. Since it is rather instructive to see how various approaches finally came together in the conformal picture we will present in the following section a short overview of the history of the subject.

Conformal Infinity
Jörg Frauendiener
http://www.livingreviews.org/lrr-2000-4
© Max-Planck-Gesellschaft. ISSN 1433-8351 Problems/Comments to livrev@aei-potsdam.mpg.de |