Non-spectrality of Moran measures with consecutive digits

Abstract: Let

h o = (f r a c p q)^{f r a c 1 r} < 1

for some

p, q, r i n m a t h b b N

with

(p, q) = 1

and

m a t h c a l D_{n} = 0, 1, c d o t c d o t c d o t, N_{n} - 1

, where

N_{n}

is prime for all

n i n m a t h b b N

, and denote

M = s u p N_{n} : n = 1, 2, 3, l d o t s < i n f t y

. The associated Borel probability measure

mu_{ ho,{mathcal{D}_{n}}}=delta_{ homathcal{D}_{1}}*delta_{ ho^{2}mathcal{D}_{2}}*delta_{ ho^{3}mathcal{D}_{3}}*cdots

is called a Moran measure. Recently, Deng and Li proved that

m u_{h o, m a t h c a l D_{n}}

is a spectral measure if and only if

f r a c 1 N_{n} h o

is an integer for all

n g e q 2

. In this paper, we prove that if

L^{2} (m u_{h o, m a t h c a l D_{n}})

contains an infinite orthogonal exponential set, then there exist infinite positive integers

n_{l}

such that

(q, N_{n_{l}}) > 1

. Contrastly, if

(q, N_{n}) = 1

and

(p, N_{n}) = 1

for all

n i n m a t h b b N

, then there are at most

M

mutually orthogonal exponential functions in

L^{2} (m u_{h o, m a t h c a l D_{n}})

and

M

is the best possible. If

(q, N_{n}) = 1

and

(p, N_{n}) > 1

for all

n i n m a t h b b N

, then there are any number of orthogonal exponential functions in

L^{2} (m u_{h o, m a t h c a l D_{n}})

.

This page was built for publication: Non-spectrality of Moran measures with consecutive digits