Moreover, Pre-classicality is not always consistent in all disjoint classical regimes or with other
conditions. For instance, as discussed in the following section, there can be additional conditions on wave
functions arising from the constraint equation at the classical singularity. Such conditions do not arise in
classical regimes, but they nevertheless have implications for the behavior of wave functions there through
the evolution equation [124, 122
]. It may also not be possible to impose Pre-classicality in all
disconnected classical regimes. If the evolution equation is locally stable – which is a basic criterion for
constructing the constraint – choosing initial values in classical regimes, which do not have
small-scale oscillations, guarantees that oscillations do not build up through evolution in a
classical regime [79
]. However, when the solution is extended through the quantum regime
around a classical singularity, oscillations do arise and do not in general decay after a new
supposedly-classical regime beyond the singularity is entered. It is thus not obvious that indeed a new
semiclassical region forms, even if the quantum evolution for the wave function is nonsingular. On
the other hand, evolution does continue to large volume and macroscopic regions, which is
different from other scenarios, such as [179] where inhomogeneities have been quantized on a
background.
A similar issue is the boundedness of solutions, which is also motivated intuitively by referring to the
common-probability interpretation of quantum mechanics [174], but must be supported by an analysis of
physical inner products. The issue arises, in particular, in classically forbidden regions where one expects
exponentially growing and decaying solutions. If a classically forbidden region extends to infinite
volume, as happens for models of re-collapsing universes, the probability interpretation would
require that only the exponentially decaying solution is realized. As before, such a condition at
large volume is in general not consistent in all asymptotic regions or with other conditions
arising in quantum regimes. For a free, massless scalar as matter source one can compute the
physical inner product with the result that physical solutions indeed decay beyond the collapse
point [28].
Both issues, pre-classicality and boundedness, seem to be reasonable, but their physical significance has to be founded on properties of the physical inner product. They are rather straightforward to analyze in isotropic models without matter fields, where one is dealing with ordinary difference equations. However, other cases can be much more complicated such that conclusions drawn from isotropic models alone can be misleading. Moreover, numerical investigations have to be taken with care since, in particular for boundedness, an exponentially increasing contribution can easily arise from numerical errors and dominate the exact, potentially-bounded solution.
Thus, one needs analytical or at least semi-analytical techniques to deal with these issues. For
pre-classicality one can advantageously use generating function techniques [124], if the difference
equation is of a suitable form, e.g., has only coefficients with integer powers of the discrete
parameter. The generating function
for a solution
on an equidistant lattice
then solves a differential equation equivalent to the difference equation for
. If
is known, one can use its pole structure to get hints for the degree of oscillation in
. In
particular, the behavior around
is of interest to rule out alternating behavior where
is of the form
with
for all
(or at least all
larger than a
certain value). At
we then have
, which is less convergent than
the value for a non-alternating solution
resulting in
. One
can similarly find conditions for the pole structure to guarantee boundedness of
, but the
power of the method depends on the form of the difference equation. Generating functions
have been used in several cases for isotropic and anisotropic models [122
, 143
, 123
]. More
general techniques are available for the boundedness issue, and also for alternating behavior, by
mapping the difference equation to a continued fraction which can be evaluated analytically or
numerically [101
]. One can then systematically find initial values for solutions that are guaranteed to be
bounded.
http://www.livingreviews.org/lrr-2008-4 | ![]() This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 2.0 Germany License. Problems/comments to |