[635.1.1] The time evolution of almost invariant states can
be defined by the addition of random recurrence times.
[635.1.2] Let
be the probability density of the sum
![]() |
(40) |
of independent
and identically-distributed random
recurrence times
.
[635.1.3] Let
from Equation (39)
be the common probability density of all
.
[635.1.4] Then, with
and
,
![]() |
(41) |
is an -fold convolution of the discrete
recurrence time density in Equation (39).
[635.1.5] The family of distributions
obeys
![]() |
(42) |
for all , and the discrete analogue of
Equation (5)
![]() |
(43) |
holds for all .
[635.1.6] Because the individual states in
are indistinguishable
within the given accuracy
, but may evolve very
differently in time, it is natural to define the duration
of time needed for the first recurrence (a single time step) as an average
![]() |
(44) |
over recurrence times.
[635.1.7] If a macroscopic time evolution with a rescaled
time exists, then one has to rescale the sums
and the iterations
![]() |
(45) |
in the limit with suitable norming constants
.
[635.1.8] Let be the probability density of
specified above in (41).
[635.1.9] If the distributions of
converge
to a limit as
for suitable norming constants
,
then there exist constants
and
,
such that
![]() |
(46) |
[page 636, §0] where:
![]() |
(47) |
if diverges, while
![]() |
(48) |
if converges.
[636.0.1] For
, the function
is
.
[636.0.2] For
, the function
for
and
![]() |
(49) |
for .
[636.1.1] The existence of a limiting distribution for
is known to be equivalent to the stability of the limit [18].
[636.1.2] If the limit distribution is nondegenerate,
this implies that
the rescaling constants
have the form
![]() |
(50) |
where is a slowly varying function [19],
defined by the requirement that
![]() |
(51) |
holds for all .
[636.1.3] That the number
obeys Equation (47)
is proven in [18] (p. 179).
[636.1.4] It is bounded
as
, because the rescaled random
variables
are positive.
[636.2.1] To prove Equation (46), note that
the characteristic function of is
the
-th power
![]() |
(52) |
because the characteristic functions
of
are identical for all
.
[636.2.2] Inverse Fourier transformation gives:
![]() |
(53) |
where:
![]() |
(54) |
and was substituted with
.
[636.2.3] Let
denote the characteristic function of
, so that
![]() |
(55) |
holds.
[page 637, §1]
[637.1.1] Following [20],
the difference in (46) can be
decomposed and bounded from above as
![]() |
![]() |
||
![]() |
|||
![]() |
|||
![]() |
|||
![]() |
|||
![]() |
(56) |
with constants to be specified below.
[637.1.2] The terms involving
from the second and third
integral have been absorbed in the fourth integral.
[637.1.3] The four integrals are now discussed further individually.
[637.2.1] The first integral converges uniformly to zero for
, because
belongs to the domain of attraction
of a stable law with index
, as already noted above.
[637.3.1] To estimate the second integral, note that the characteristic
function belongs to the domain of attraction
for index
if and only if it behaves for
as [20]
![]() |
(57) |
where and
is a slowly varying function at infinity obeying
![]() |
(58) |
[637.3.2] By the representation
theorem for slowly varying functions ([21] p. 12),
there exist functions and
,
such that the function
can be represented as
![]() |
(59) |
[page 638, §0]
for some where
is measurable and
, as well as
hold for
.
[638.0.1] As a consequence
![]() |
(60) |
so that with and
![]() |
(61) |
is obtained for .
[638.0.2] Therefore, there exists for any
a positive number
independent of
, such that
![]() |
(62) |
for sufficiently large .
[638.0.3] If
is sufficiently large,
it is then possible to choose an
(and find
), such that
![]() |
(63) |
and this converges to zero for .
[638.1.1] The third integral is estimated by noting that
for
.
[638.1.2] Hence, there is a positive constant
, such that
![]() |
(64) |
for .
[638.1.3] Consequently, with Equation (50),
![]() |
(65) |
converges to zero as .
[638.3.1] Equation (46) implies
![]() |
(66) |
for sufficiently large and all
.
[638.3.2] Inserting this into Equation (45) gives
![]() |
(67) |
[page 639, §0]
[639.0.1] For , the average return time
is proportional to the discretization
.
[639.0.2] In the case
, the average
time
for return into
the set
in a single step diverges.
[639.0.3] This suggests an infinite rescaling of time as
for
.
[639.0.4] This rescaling of time combined with
was called the ultra-long-time limit in [22].
[639.0.5] In the ultra-long-time limit
with:
![]() |
(68) |
one finds from Equation (67) the result
![]() |
(69) |
for sufficiently large and
.
[639.0.6] The limit gives rise to
a family of one-parameter semigroups
(with family index
and parameter
)
of ultra-long-time evolution operators
![]() |
(70) |
which are convolutions instead of translations.
[639.0.7] Note that
because
and
.
[639.0.8] The rescaled age evolutions
are called fractional time evolutions, because
their infinitesimal generators are
fractional time derivatives [22, 23].
[639.1.1] The result shows that a proper mathematical
formulation of local stationarity requires a generalization of the
left-hand side in Equation (1), because
Equation (1) assumes implicitly a translation along the orbit.
[639.1.2] In general, the integration of infinitesimal
system changes leads to convolutions instead
of just translations along the orbit [22, 23].
[639.1.3] Of course, translations are a special case of
convolutions, to which they reduce in the
case when the parameter approaches unity.
[639.1.4] For
, one finds
![]() |
(71) |
and therefore
![]() |
(72) |
is a right translation.
[639.1.5] Here, is an age or duration.
[639.1.6] This shows that also the special case of
induced right translations does not give
a group, but only a semigroup.