On self-affine measures with equal Hausdorff and Lyapunov dimensions

Abstract: Let

m u

be a self-affine measure on

m a t h b b R^{d}

associated to a self-affine IFS

{v a r p h i_{l a m b d a} (x) = A_{l a m b d a} x + v_{l a m b d a}}_{l a m b d a i n L a m b d a}

and a probability vector

p = (p_{l a m b d a})_{l a m b d a} > 0

. Assume the strong separation condition holds. Let

g a m m a_{1} g e ... g e g a m m a_{d}

and

D

be the Lyapunov exponents and dimension corresponding to

{A_{l a m b d a}}_{l a m b d a i n L a m b d a}

and

p^{m a t h b b N}

, and let

m a t h b f G

be the group generated by

{A_{l a m b d a}}_{l a m b d a i n L a m b d a}

. We show that if

g a m m a_{m + 1} > g a m m a_{m} = ... = g a m m a_{d}

, if

m a t h b f G

acts irreducibly on the vector space of alternating

m

-forms, and if the Furstenberg measure

m u_{F}

satisfies

d i m_{H} m u_{F} + D > (m + 1) (d - m)

, then

m u

is exact dimensional with

d i m m u = D

.

Cites Work

Cited In (15)

This page was built for publication: On self-affine measures with equal Hausdorff and Lyapunov dimensions