Professional Documents
Culture Documents
1. Introduction
It is well-known that one can get some information about dynamical systems (connected
mainly with invariant ergodic measures) by observing their individual trajectories. Grass-
berger, Procaccia and Hentschel [GPH] introduced the notion of correlation dimension in
attempts to produce a dimension-type characteristic of a dynamical system when observ-
ing one of its individual trajectories. Of course, this trajectory should be representative in
some sense, for example, be typical with respect to an invariant measure. In [GPH], the
authors describe a numerical procedure that leads to the correlation dimension. Namely,
let {f n (x)} be a trajectory of a dynamical system f acting on a metric space (X, ρ). Set
1
C(x, n, r) = 2
card{(i, j) : ρ(f i (x), f j (x)) ≤ r, 1 ≤ i, j ≤ n}
n
where card (A) is the number of elements in the set A. If n is large and r is small then
the correlation dimension α is defined to satisfy
C(x, n, r) ∼ r α
Key words and phrases. Semigroup actions, averaging sequences, correlation dimension, Hentschel-
Procaccia spectrum of dimensions, saturated correlation dimension, pointwise dimension.
The work of the first author was partially supported by a National Science Foundation grant #DMS91-
02887.
Typeset by AMS-TEX
1
(if such a relation can be held at all).
In [P2], the author conducted the rigorous mathematical description of this approach.
Namely, he proved that if f preserves a Borel ergodic measure µ on X then under a rather
mild assumption on µ the following limit exists
def
lim C(x, n, r) = ϕ(r)
n→∞
for µ-almost every x and any sufficiently small r and does not depend on x. In fact,
Z
ϕ(r) = µ(B(x, r))µ(dx)
X
and does not depend on the dynamical system f either but on the measure µ (B(x, r) is the
closed ball of redius r centered at x). One can now define the lower and upper correlation
dimensions as follows
If these two quantities coincide the common value represents the correlation dimension
and it characterizes the measure µ on the space X.
One can now imagine two different dynamical systems f and g acting on X and pre-
serving the same measure µ. For a ”typical” pair of points (x, y) the numerical procedure
described above for calculating the lower and upper correlation dimensions along the tra-
jectories {f n (x)} and {g m (y)} leads to the same results: the statement that a priori does
not seem to be obvious.
Such a situation has been recently discovered in the connection to a very interesting
phenomenon known as spatial-temporal chaos (see [BS], [PS], [AP], [APT]). It refers to the
case of d-dimensional lattice models of unbounded media given by an ”evolution” operator
Φ acting on a Banach space X. The spatial-temporal chaos means that Φ preserves a
finite measure µ which is mixing and also invariant under the group of space-translations
{S n , n ∈ Zd } where S n (m) = m + n, m ∈ Zd , d ≥ 1. It is quite surprising that some char-
acteristics of dimension type (including the correlation dimension) calculated with respect
to the group of time-translations (generated by Φ) and the group of space-translations S n
turn out to be the same (see [APT]). This also gives rise to the problem of defining the
correlation dimension with respect to general group actions. We shall give the definition
of the correlation dimension specified by an action τ of a group admitting an averaging
sequence of measures {λn }. We shall show that the correlation dimension depends only
on the measure µ invariant under τ but not on τ, {λn } and an initial point x ∈ X (for
µ-almost every x). Our result (see Theorem 2.1) is more strong and general than the
corresponding result in [P2].
It is easy to see that α(µ) ≤ ᾱ(µ). We provide an example of a measure µ on [0, p], p > 0
equivalent to the Lebesgue measure, for which α(µ) < α(µ). Moreover, it follows drom the
construction and results in [K] that there exists a measure µ on a smooth compact surface
2
invariant under a C 2 −diffeomorphism with non-zero Lyapunov exponents, Bernoulli, and
equivalent to the Lebesgue measure for whichthe strong inequality holds. This complies
with the opinion among specialists in the field that the noncoincidence of the lower and
upper correlation dimensions is a rather ”typical” (or at least ”often”) phenomenon.
We also consider a modification of the notion of correlation dimension, namely the lower
and upper saturated correlation dimension (see [P2] and Section 2.5 below). Let us set
β(µ) and β̄(µ). These quantities have the advantage that β(µ) = β̄(µ) under a rather mild
assumption on µ (see Section 2.5). In fact the common value coincides with many other
dimensionlike characteristics specified by µ.
Unlike other characteristics of dimension type the correlation dimension is widely used
in numerical investigation of dynamical systems since the algorithm of its calculation is
relatively simple and fast. In this connection there are two problems that are important
in applications. The first one is whether the function ϕ(r) is continuous. The answer
depends on the metric on X. We shall show that if X is a smooth finite-dimensional
manifold endowed with a Riemannian metric then the function ϕ(r) is continuous for any
Borel measure µ on X (see Theorem 2.9). On the other hand we shall give a simple
example of a metric and a measure on Rp for which ϕ(r) is discontinuous.
When one observes the trajectory of a point x ∈ X (during numerical or experimental
study of a dynamical system) it usually occurs that the position of the point f n (x) can be
registered only at some particular moments of time but not all. Then the problem comes
up to compute the correlation dimension if only such an information is available. This
leads to the study of the correlation dimension specified by different sequences of measures
on groups that can serve like averaging ones. In general, in this case the correct value can
be obtained under more strong assumptions on the ergodic properties of the group action
(for example, weakly mixing or mixing). Moreover, instead of the pointwise convergence
for µ-almost every x ∈ X one can expect only weaker convergence in Lα (X, F , µ), α ≥ 1.
In Section 2.8 we present some particular results. The detailed description can be found
in [T2].
λ(An ∩ B)
λn (B) =
λ(An )
We say that {λn } is strictly averaging if it is averaging and for any action τ there is a
constant γ > 0 such that for any f ∈ L2 (X, F , µ)
Z Z 2 Z
2
sup f (τs x)λn (ds) µ(dx) ≤ γ |f (x)| µ(dx).
1≤n≤∞
X S X
The Birkhoff ergodic theorem provides classical examples of averaging sequences: for S =
Z+ = {0, 1, 2, . . . } one can set An = {0, 1, 2, . . . , n}; for S = R+ = [0, ∞) one can set
An = [0, n]. Examples for S = Rd or S = Rd+ are increasing sequences of convex sets {An }
with intrinsic diameters tending to ∞. The intersections of these sets with Zd , Zd+ form
averaging sequences for S = Zd , Zd+ , respectively (see [T1], where many other examples
for general semigroups and groups are given).
M. Lin pointed out to us that any avaraging sequence on a commutative semigroup or
on a compact group is also srictly avaraging; this can be proved using results by S. Sawyer
(see [S] and also [G]); in the case of compact groups one also has to employ the Transfer
Principle (see [T1]).
2.2. Correlation dimension. Let X be a complete separable metric space with metric
ρ and F the Borel σ-algebra on X. Consider an action τ of a semigroup S on (X, F , µ).
From now on we assume that it is ergodic. Let also {λn } be a sequence of measures on S.
Given x ∈ X, n > 0, r > 0 denote
Define now the lower and upper correlation dimensions at the point x specified by the
sequence of measures {λn }, the action τ , and the measure µ as follows:
log C(x, λn , r)
α(x, µ, {λn}, τ ) = limr→0 lim ,
n→∞ log r
(3)
log C(x, λn , r)
ᾱ(x, µ, {λn}, τ ) = limr→0 lim .
n→∞ log r
4
First we shall consider the existence of the limit in (3) when n → ∞. Denote
Z
ϕ(r) = µ(B(x, r))µ(dx),
X
where B(x, r) is the closed ball of radius r centered at x. It is clear that the function
ϕ(r), r > 0 is nondecreasing and, hence, may have only a finite or countable set of discon-
tinuity points. Since µ(B(x, r)) ≤ 1 for any x ∈ X, we have
Z
ϕ(r + 0) = lim µ(B(x, ρ))µ(dx)
ρ→r+0
ZX
= µ(B(x, r)µ(dx) = ϕ(r),
Z X
b) the convergence in (4) is uniform over r on any interval (0, R], 0 < R < ∞
provided ϕ(r) is continuous;
(2) If {λn } is a strictly averaging sequence then for µ-almost all x and for every r > 0
and the convergence is uniform over r on any interval (0, R], R > 0.
Theorem 2.1 shows that the quantities α(x, µ, {λn}, τ ) and ᾱ(x, µ, {λn }, τ ) do not de-
pend on the averaging sequence {λn } and the action τ and are constant on a set of µ-
measure 1. For points of this set we can write
The first statement of Theorem 2.1 in the case when the function ϕ(r) is continuous and
S = Z, An = {0, 1, . . . , n} was proved earlier in another way in [P2]. In the special case
5
when X = Rd , S = Z, An = {0, 1, . . . , n} and ϕ(r) is continuous the uniform convergence
in (4) was announced by R.Serinko (oral communication).
Remark 2.2. One can consider the open balls B− (x, r) and the functions:
Moreover, the following version of statement (2) of Theorem 2.1 is also true: for µ-almost
all x and every r > 0
lim C− (x, λn , r) = ϕ− (r).
n→∞
Remark 2.3. Let µ be a Borel measure on a separable metric space (X, ρ). The
relations (5) produce the values α(µ) and ᾱ(µ) that one can call the lower and upper
correlation dimensions of µ. This definition does not involve any ”dynamics”. If, in
addition, there is an action τ of a semigroup S on X preserving µ then the lower and
upper correlation dimensions specified by τ coincide respectively with the lower and upper
correlation dimensions of µ, i.e. α(x, µ, {λn}, τ ) = α(µ), ᾱ(x, µ, {λn}, τ ) = ᾱ(µ) for µ-
almost every x ∈ X.
Let us summarize. The lower and upper correlation dimensions defined by (3) depend
neither on the choice of µ-generic point x nor on the averaging sequence {λn }. Moreover,
they do not depend on the semigroup S and its action τ on (X, F , µ) as long as µ is fixed.
Thus they are completely specified by µ and it coincides with the quantities defined by (5).
One can use any ergodic action of arbitrary semigroup on (X, F , µ) (for a given µ) in order
to estimate the lower and upper correlation dimensions. If one can choose an action with
”good” ergodic properties this may simplify the calculation of the correlation dimension
(see [T2]).
We shall also consider a modified approach to define the correlation dimension. Let
(X, ρ) be a separable metric space, µ a Borel probability measure on X and σ and τ
actions of a topological semigroup S on (X, B, µ). Let also κn be a sequence of Borel
probability measures on S × S. Given x, y ∈ X, n > 0, r > 0 set
Remark 2.5 Roughly speaking the quantities α(x, µ, {λn }, τ ) and ᾱ(x, µ, {λn}, τ ) de-
fined by (3) represent the asymptotical (when r → 0) ”remoteness” of points on the orbit
starting at x while the quantities α(x, y, µ, {κn}, σ, τ ) and ᾱ(x, y, µ, {κn}, σ, τ ) defined by
(6) reflect the asymptotical ”remoteness” of points on the orbits of two different actions
starting at different points x and y. The amazing phenomenon is that for ”typical initial
data” these quantities coincide, respectively, and do not depend on the data.
2.3. Correlation dimension of higher order. We now extend the notion of corre-
lation dimension by considering correlations of higher order. Namely, given x ∈ X, n ≥
0, r > 0, and integer q ≥ 1 denote
Define now the lower and upper correlation dimensions of order q at point x specified by
the sequence of measures {λn }, the action τ , and the measure µ as follows:
1 log C(x, q, λn , r)
αq (x, µ, {λn}, τ ) = limr→0 lim ,
q n→∞ log r
1 log C(x, q, λn , r)
ᾱq (x, µ, {λn}, τ ) = limr→0 lim .
q n→∞ log r
The existence of the limit when n → ∞ is guaranted by a general version of Theorem
2.1. Namely, consider the function
Z
ϕq (r) = µ(B(x, r))q−1µ(dx),
X
for integers q ≥ 1 and r > 0. It is non-decreasing and, hence, may have only a finite
or countable set of discontinuity points. It is clearly right-continuous. The proof of the
following statement is a modification of the proof of Theorem 2.1.
7
Theorem 2.6. Assume that τ is an ergodic action of S in X.
(1) If {λn } is an arbitrary averaging sequence of measures on S then for any q =
1, 2, . . .
a) there is a set Y ⊂ X of full µ-measure such that for any x ∈ Y the following
limit exists:
lim C(x, q, λn , r) = ϕ(r), r ∈ Cϕq ;
n→∞
b) the convergence in (4) is uniform over r on any interval (0, R], 0 < R < ∞
provided ϕq (r) is continuous; (note that ϕq (r) is continuous if and only if ϕ(r) is
continuous);
(2) If {λn } is a strictly averaging sequence then for µ-almost all x, for every r > 0,
and any q = 1, 2, . . .
and the convergence is uniform over r on any interval (0, R], R > 0.
Similarly to what was mentioned above the lower and upper correlation dimensions of
higher order depend neither on the choice of µ-generic point x nor on the averaging sequence
{λn }. Moreover, they do not depend on the semigroup S and its action τ on (X, F , µ) as
long as µ is fixed. Thus they are completely specified by µ and we can introduce
The following theorem shows that β q (µ) and β̄q (µ) are completely specified by the equiv-
alence class of µ.
8
Theorem 2.7. Let µ1 and µ2 be Borel measures on X. If µ1 ∼ µ2 then β q (µ1 ) = β q (µ2 )
and β̄q (µ1 ) = β̄q (µ2 ) for any q > 0.
Remark 2.8. It is also easy to see that ᾱq (µ1 ) ≤ ᾱq (µ2 ), αq (µ1 ) ≤ αq (µ2 ) if dµ2
dµ1 (x) ≤
C < ∞, x ∈ X; thus ᾱq (µ1 ) = ᾱq (µ2 ), αq (µ1 ) = αq (µ2 ) if 0 < c ≤ dµ2
dµ1
(x) ≤ C < ∞, x ∈
X.
We study relations between pointwise dimension and correlation dimension Let µ be a
Borel probability measure on X. The lower and upper pointwise dimensions of µ at x ∈ X
are defined as follows
The proof, including the construction of the measure µ, is given in Section 3. Moreover,
one can show that for any q ≥ 1
for any q ≥ 1.
It is well-known that there exists a continuous mapping on [0, p] for which µ is an
invariant Bernoulli measure. In fact, the construction of Example 2.1 and results in [K] can
be used to construct a diffeomorphism of a compact surface which preserves an absolutely
continuous Bernoulli measure with non-zero Lyapunov exponents satisfying condition 3 in
Example 2.11.
Example 2.12. Let σ be the full-shift on the space Σp of two-sided infinite sequences
of symbols 0, 1, . . . , p − 1. We assume that Σp is endowed with the standard metric
X∞ (1) (2)
(1) (2) |ωi − ωi |
ρ(ω ,ω )=
i=−∞
a|i|
where a > 1. Then for any σ−invariant measure µ on Σp and µ−almost every x ∈ Σp
h(µ)
dµ (x) = dµ (x) =
log a
where h(µ) denotes the measure-theoretic entropy of µ; hence,
To see this, we note that for any ω ∈ Σp the ball B(ω, r) coincides with the cylinder set
∆n (ω) = {ω : ωi = ωi for i = −n, . . . , n} which contains ω, where n is chosen such that
p−1
an+1
≤ Cr < a1n for some C > 0 independent of n and r. The result now follows from the
Shannon-McMillan-Breiman Theorem.
2.5. Continuity of the function ϕ(r). In this section we shall discuss the question,
that is rather interesting in applications: when is the function ϕ(r) continuous? In general,
the answer is negative (see Example 2.15 below). In fact this answer depends on the
properties of the metric ρ on X. We shall present two equivalent metrics on the plane
such that ϕ(r) calculated with respect to one of them is continuous and it is not when
calculated with respect to the other one. The following theorem shows that ϕ(r) turns out
to be continuous under rather mild conditions on the metric ρ.
10
Theorem 2.13. Let X be a finite-dimensional Riemannian manifold with Riemannian
metric <, >x , x ∈ X, and µ a nonatomic Borel measure on X. Then the function ϕ(r) is
continuous at any r > 0.
Remark 2.14. If µ has a finite number of atoms then under assumption of Theorem
2.13 the function ϕ(r) is still continuous on some interval (0, R), R > 0.
If µ is a purely atomic measure on a measurable set X the function ϕ(r) may be
discontinuous. However, in this case the correlation dimension α = α = ᾱ = 0.
We shall show that Theorem 2.13 becomes false if we do not impose some restrictions
on the metric ρ on X.
Example 2.15. Let X = R2 with the metric ρ((x1 , y1 ), (x2 , y2 )) = max{|x1 −x2 |, |y1 −
y2 |}. The ρ-sphere Sr ((x0 , y0 )) of radius r centered at (x0 , y0 ) is the square {(x, y) : x0 −r ≤
x ≤ x0 + r, y0 − r ≤ y ≤ y0 + r}.
For a Borel set A in R we define
1
µ(A × {k})= `(A ∩ [−2, 2]), k = 0, 1,
8
where ` is the Lebesgue measure in R, i.e. µ is uniformly distributed on the segments
Ik = {(x, y) : −2 ≤ x ≤ 2, y = k}, k = 0, 1. It is clear that µ{S((x, y), 1)} = 14 if
−1 ≤ x ≤ 1, y = 0 and hence
1 1
ϕ(1 + 0) − ϕ(1 − 0) > µ{(x, y) : −1 ≤ x ≤ 1, y = 0} =
4 16
According to Theorem 2.13 the function ϕ(r) is continuous if ρ is the Euclidean metric in
R2 .
2.6. Estimation of ϕ(r) based on finite sets. Theorem 2.1 claims that the quantities
C(x, r, An ) form a consistent sequence of estimates of ϕ(r) if {An } is an averaging sequence
of sets and if τ is ergodic. In reality, only a finite number of observations {τg x, g ∈ An }
can be performed and the corresponding estimate is
(so in this case we consider the discrete topology in the semigroup S and the ”basic”
measure λ (see Section 2.1) is the counting measure). There are no averaging sequences
of finite sets, unless S is countable, and Theorem 2.1 is not applicable for finite sets An .
Nevertheless, under some additional assumptions on the action τ the class of sequences
of finite sets {An }, producing consistent sequences of estimates C(x, r, An ), is sufficiently
large. We state here two theorems in this direction (see [T2] for proofs and other results).
Let S be a group. A set D ⊂ S is called a Tquasi-lattice if there exists a bounded
neighborhood V of the identity such that sup |D V x| < ∞. Of course, any subset of a
x∈D
quasi-lattice is also a quasi-lattice.
11
An action τ of S in X is said to be mixing if
Z Z Z
lim f (τs x)g(x)µ(dx) = f dµ g dµ, f, g ∈ L2 (XF , µ).
s→∞
X X X
Theorem 2.16. Suppose {An } is a sequence of finite sets in S with the following proper-
ties:
S
∞
(1) An is a quasi-lattice;
n=1
(2) |An | → ∞.
If the action τ is mixing, then for any α ≥ 1
3. Proofs
and Z
lim IFk,+ (r) (τs y)λn (ds) = µ(Fk,+ (r))
n→∞ S
for all x ∈ MT1 , y ∈ M2 where IA denotes the indicator of the set A. Therefore for all
x ∈ M = M1 M2
Z Z
lim IEk,+
ε (τs x, τt x)λn (ds)λn (dt)
n→∞ S S
Z Z !
= lim IDkε (τs x)λn (ds) · IFk,+
ε (r) (τt x)λn (dt)
n→∞ S S
= µ(Dkε )µ(Fk,+
ε ε
(r)) = ν(Ek,+ (r)).
P
∞
Since µ(Dkε ) = 1, for any η > 0 there exists a natural number Nε such that
k=1
P
∞ S
∞
ε (r) ≤ 1 and hence ν(E
µ(Dkε ) < η. Denote LεNε = Dkε . Since IFk,+ k,+ (r)) ≤
ε
k=Nε+1 Nε+1
µ(Dkε ), we have for all x ∈ M :
Z Z
lim | IU+ε (r) (τs x, τt x)λn (ds)λn (dt) − ν(U+
ε
(r))| =
n→∞ S S
∞ Z Z
X ∞
X
lim | IEk,+
ε (r) (τs x, τt x)λn (ds)λn (dt) −
ε
ν(Ek,+ (r))| ≤
n→∞ S S
k=1 k=1
Nε Z Z
X X
Nε
lim | IEk,+
ε (r) (τs x, τt x)λn (ds)λn (dt) −
ε
ν(Ek,+ (r)|+
n→∞ S S
k=1 k=1
∞
X Z
ε
ν(Ek,+ (r)) + lim ILεNε (τs x)λn (ds) ≤ 2µ(LεNε ) < 2η.
n→∞ S
k=Nε +1
Since IU−ε (r) ⊂ IU− (r) ⊂ IU+ (r) ⊂ IU+ε (r) , relations (7) and (8) imply the existence of the
limits
Z Z
lim IU+ (r) (τs x, τt x)λn (ds)λn (dt) = ν(U (Λ, r)) = ϕ(r),
n→∞ S S
Z Z
lim IU− (r) (τs x, τt x)λn (ds)λn (dt) = ν(U (Λ, r)) = ϕ(r).
n→∞ S S
II. Since the action τ is ergodic µ is either nonatomic or its support is finite. In both
cases we can construct a sequence of subpartitoins of X: X = ∪k Dkεm with the additional
2
property: µ(Dkεm ) ≤ 4ak where a is a positive constant. Define:
Z Z
m
fn (x) = IU+εm (r) (τs x, τt x)λn (ds)λn (dt)
S S
m,l
and denote: F̂k,+ εm
(r) = Fu,+ (r) if Dkεl ⊂ Duεm . Note that if l > m then
ZZ X
∞
fnm (x) = IDεl (τs x)IF̂ m,l (r) (τt x)λn (ds)λn (dt).
k k,+
SS k=1
Therefore
! 12
The k th summand here does not exceed both a2−k and µ(U+ (r +εm ))−µ(U+ (r +εl )) ,
Let C be the Banach space of all bounded sequences α = {αn } with the norm kαk =
sup |αn | and let L1c (X, F , µ) denote the Banach space of all integrable C-valued functions.
n
(m)
Equality (9) means that the sequence of C-valued functions f (m) (x) = {fn (x)} is a
Cauchy sequence in L1C (X, F , µ). Since the space L1C (X, F , µ) is complete there is a C-
valued integrable function f˜(x) = {f˜n (x)} such that
Z
lim sup |fnm (x) − f˜n (x)|µ(dx) = 0.
m→∞ X n
15
Therefore there exist a subsequence {mk } such that
We have now
It was proved earlier that the second summand tends to 0 as n → ∞. Therefore on a set
Qr of µ-measure 1
εmk
lim |fn (x) − ϕ(r)| ≤ sup|flmk (x) − fl (x)| + |ν(U+ (r)) − ϕ(r)|. (11)
n→∞ l
εmk
Since limk→∞ ν(U+ (r)) = ν(U+ (r)) = ϕ+ (r) relations (10) and (11) imply that for
x ∈ Qr
lim fn (x) = ϕ(r). (12)
n→∞
Thus lim C(x, λn , r) = ϕ(r) for µ-almost all x ∈ X. Similarly, we can prove that
n→∞
lim C− (x, λn , r) = ϕ− (r) for µ-almost all x ∈ X.
n→∞
The uniform convergence follows from (12) by the usual Glivenko-Cantelli type argu-
ments (see for example, [B], p.275).
Proof of Theorem 2.4. Consider the following action τ̃ of the group S × S in the
space (X × X, F × F , µ × µ) : τ̃s,t (x, y) = (σs x, τty).
It is easy to see that this action is ergodic. Using the notation U+ (r) = {(x, y) : ρ(x, y) ≤
r} we can write: Z
C(x, y, κn, r)= IU+ (r) τ̃s,t (x, y) κn (ds dt)
S×S
and since {κn } is an averaging system in S × S we have for µ × µ-almost all pairs (x, y) :
Z Z
lim C(x, y, κn , r)= IU+ (r) (x, y)µ (dx)µ (dy)=ϕ(r).
n→∞
X X
16
Proof of Theorem 2.7. Suppose that µ1 is absolutely continuous with respect to
µ2 . Let us fix some δ > 0. Denote f (x) = dµ 1
dµ2 (x). Let Cδ be a number such that
µ1 {x : f (x) < Cδ } ≥ 1 − 3δ and Xδ = {x : f (x) < Cδ }. By Luzin’s theorem there is
a closed set Γδ ⊂ X such that µ1 (Γδ ) > 1 − 3δ and f (x) is continuous on Γδ . Denote
Aδ = Xδ ∩ Γδ . We have µ1 (Aδ ) > 1 − 2δ 3
. Note that Aδ is an open set in the induced
topology of Γδ . We denote by Aδ,r the set of all points x ∈ Aδ such that B(x, r) ∩ Γδ ⊂ Aδ .
It is evident that Aδ,r ↑ Aδ as r ↓ 0 and, hence, there exists a set Qδ = Aδ,rδ such that
µ1 (Qδ ) > 1 − δ. If x ∈ Qδ and r ≤ rδ then µ1 (B(x, r)) ≤ Cδ µ2 (B(x, r)). For Y ∈ Qδ and
i = 1, 2 denote
Z
(i)
ϕY,q (r) = (µi (B(x, r)))q−1µi (dx),
Y
(i)
1 log ϕY,q (r)
ᾱY,q (µi ) = lim .
q − 1 r→0 log r
Hence, ᾱY,q (µ1 ) > ᾱY,q (µ2 ). For any γ > 0 we can find a number δγ > 0 such that δγ ↓ 0
if γ ↓ 0 and µ1 (E) > 1 − γ if µ2 (E) > 1 − δγ for a measurable E. Then µ2 (Qδγ ) > 1 − γ
(1) (1)
and, since Y1 ⊂ Y2 implies ϕY1 ,q (r) ≤ ϕY2 ,q (r) and ᾱY1 ,q (µ1 ) ≥ ᾱY2 ,q (µ1 ), we have
We proved that β̄q (µ1 ) ≤ β̄q (µ2 ) if µ1 is absolutely continuous with respect to µ2 . By
symmetry β̄q (µ1 ) ≥ β̄q (µ2 ) if µ2 is absolutely continuous with respect to µ1 and hence,
β̄q (µ1 ) = β̄q (µ2 ) if µ1 is equivalent to µ2 . The equality β q (µ1 ) = β q (µ2 ) can be proved in
the same way.
We have also
αq (Y ) ≥ d∗ (Y ) − ε, Y ⊂ Xδ,ε
and
Proof of statements in Example 2.11. Choose arbitrary 0 < α < ᾱ < 1. Let
an = αn , where 0 < α < 1, and {nk } an increasing sequence of integers. Consider a
sequence {bn } that satisfies the following conditions: 1) bn = β n if n3k ≤ n ≤ n3k+1 ; 2)
bn = γ n if n3k+2 ≤ n ≤ n3k+3 ; 3) bn ≤ bn+1 , bn+1 ≤ Cbn for all n ≥ 0 (C is a constant).
We choose numbers α, β, γ such that α < 14 , 0 < β < γ < α1 and β 2 > α1 . Thus
def P
p = an bn < ∞.
One can choose the sequence nk growing so fast that
X
n ∞
X
log(αγ 2 )/ log α = lim log b2i ai / log ai <
n→∞
i=1 i=n
X
n ∞
X
< lim log b2i ai / log ai = log(αβ 2 )/ log α.
n→∞
i=1 i=n
P
∞
αn
(see [P1] for detailed arguments). Set rn = ai = 1−α .
i=n
Let µ be the measure on the interval [0, p] that is absolutely continuous with respect to
the Lebesgue measure with the density function f (x) given as follows
We first compute ϕ(rn ). Consider an interval Ii = [ri , ri−1 ] of length |Ii | = ai−1 where
1 ≤ i ≤ n. We decompose Ii into three subintervals
∞
X Zrn ∞
X ∞
X
( ak bk ) ≤
2
µ(B(x, rn ))µ(dx) ≤ ( ak bk )( ak bk )
k=n 0 k=n−1 k=n
P
n
αn
Denote An = b2i ai . Since rn = 1−α
, bi+1 < bi , and bi+1 < Cbi it follows that
i=1
Zp
rn C2 An ≤ µ(B(x, rn))µ(dx) ≤ rn C1 An
0
Let ρk be any decreasing sequence of numbers, ρk → 0. Given k > 0 one can find n = n(k)
such that
rn(k) ≤ ρk ≤ rn(k)−1 .
Since the function ϕ(r) is non-decreasing and rn(k)−1 ≤ const × rn(k) it follows that
This implies that α = α(µ), ᾱ = ᾱ(µ). Let λ be the Lebesgue measure on [0,p]. By
Theorem 2.6, β(µ) = β(µ) = β(λ) = β(λ) = 1. Obviously, the same is true for the
µ(A)
probability measure µ1 (A) = µ([0,p]) .
\
k
S(x1 , . . . , xk ) = S (n−1) (xi , r) (13)
i=1
21
REFERENCES
[AP] Afraimovich V., Pesin Ya., Traveling waves in lattice models of multi-dimensional
and multi-component media 1. General hyperbolic properties, Nonlinearity (1993).
[APT] Afraimovich V., Pesin Ya., Tempelman A., Traveling waves in lattice models of
multi-dimensional and multi-component media 2. Ergodic properties and dimension,
Chaos (1993).
[B] Billingsley P., Probability and Measure; 2nd edition, Wiley and sons, 1986.
[BS] Bunimovich L., Sinai Ya., Space-time chaos in coupled map lattices. Physica., vol. D37,
1989, pp. 60-82.
[C] Cutler C.D., Connecting Ergodicity and Dimension in Dynamical Systems, Ergod.Th.
and Dyn.Syst. 10 (1990), 451-462.
[ER] Eckman J.P., Ruelle D., Ergodic Theory of Chaos and Strange Attractors, Rev. Mod.
Phys., 57 3 (1985), 617-656.
[GPH] Grassberger P., Procaccia I., Hentschel G.B., On the characterization of chaotic
motions, Lect.Notes Physics 179 (1983), 212-221.
[G] Garsia A., Topics in almost everywhere convergence, Markham Publishing Co., 1970.
[HP] Hentschel G.B., Procaccia I., Physica, vol. 8D, 1983.
[K] Katok A., Bernoulli diffeomorphisms on serfaces., Ann. of Math. 110 (1979).
[LM] Ledrappier F., Misiurewicz, Dimension of invariant measures for maps with exponent
zero, Ergod.Th. and Dyn.Syst. 5 (1985), 595-610.
[N] Nash J., The imbedding problem for Riemannian manifolds, Ann. of Math. 63 # 1
(1956).
[P1] Pesin Ya., Dimension type characteristics for invariant sets of dynamical systems,
Russian Math.Surveys 43:4 (1988), 111-151.
[P2] Pesin Ya., On rigorous mathematical definition of correlation dimension and general-
ized spectrum for dimensions., Journal of Stat.Phys. 7 (1993).
[P3] Pesin Ya., Generalized spectrum for dimensions: the approach based on Carathéodory
construction, Constantin Carathéodory, an International Tribute (ed.by Themistokles
Rassias), vol. 2, 1991, pp. 1108-1119.
[PS] Pesin Ya., Sinai Ya., Space-time chaos in chains of weakly hyperbolic mappings, Ad-
vances in Soviet Math. 3 (1991).
[PY] Pesin Ya., Yue C., Hausdorff Dimension of Measures With Nonzero Lyapunov Expo-
nents and local Product Structure, Preprint, PSU (1993).
[PW] Pesin Ya., Weiss H., On the Dimension of a General Class of Geometrically Defined
Deterministic and Random Cantor-like Sets, Preprint PSU (1993).
[S] Sawyer S., Maximal inequalities of weak type, Ann. Math. 84(1) (1966), 157–173.
[T1] Tempelman A., Ergodic Theorems For Group Actions, Kluwer Acad.Publ., 1992.
[T2] Tempelman A., Consistent estimators of the correlation dimension (to appear).
[Y] Yong L.-S., Dimension, Entropy, and Lyapunov Exponents, Ergod.Th. and Dyn.Syst.
2 (1982), 109-124.
23