[page 214, §1]
[214.1.1] The induced time evolution is obtained from
by iteration.
[214.1.2] According to its definition in eq. (16)
the induced measure preserving transformation
acts as a convolution in time,
| (17) |
where
is a mixed state on
.
[214.1.3] Iterating
times gives
| (18) |
where
is the probability density of the sum
| (19) |
of
independent
and identically with
distributed random
recurrence times
.
[214.1.4] Then the long time limit
for induced
measure preserving transformations on subsets of
small measure is generally governed by
well known local limit theorems for convolutions
[42, 43, 44, 45].
[214.1.5] Application to the case at hand yields
the following fundamental theorem of fractional
dynamics [1, 21]
Assume that
is maximal in the sense that there is no larger
for which all recurrence
times lie in
.
[214.1.6] Then the following conditions are equivalent:
[214.1.7] Either
or there exists a number
such that
| (20) |
[214.1.8] There exist constants
and
such that
| (21) |
where
, if
,
and
otherwise.
[214.1.9] The function
vanishes for
, and is
| (22) |
for
.
[page 215, §0]
[215.0.1] If the limit exists, and is nondegenerate, i.e.
, then
the rescaling constants
have the form
| (23) |
where
is a slowly varying function [46], i.e.
| (24) |
for all
.
[215.1.1] The theorem shows that
| (25) |
holds for sufficiently large
.
[215.1.2] The asymptotic behaviour of the iterated
induced measure preserving transformation
for
allows to remove the discretization,
and to find the induced continuous time evolution on
subsets
.
[215.1.3] First, the definition eq. (15)
is extended from the arithmetic progression
to
by linear interpolation.
[215.1.4] Let
denote the extended measure
defined for
.
[215.1.5] Using eq. (11) and setting
| (26) |
the summation in eq. (18) can
be approximated for sufficently large
by an integral.
[215.1.6] Then
,
where
![]() |
(27) |
is the induced continuous time evolution.[215.1.7]
is also called fractional time evolution.
[215.1.8] Laplace tranformation shows that
fulfills eq. (5).
[215.1.9] It is an example of subordination of semigroups
[47, 33, 7, 48].
[215.1.10] Indeed
![]() |
(28) |
where
denotes right translations
on the interpolated measure.
[215.1.11] Because
and
,
eq. (26) implies
.
[215.1.12] As remarked in the introduction,
the induced time evolution
is in general not a translation (group or semigroup), but
a convolution semigroup.
[215.1.13] The fundamental classification parameter
| (29) |
[page 216, §0]
depends not only on the dynamical rule
and the subset
, but also on the discretization time
step
, i.e. on the time scale of interest.