Ubiquitous systems and metric number theory

DOI10.1016/J.AIM.2007.12.008MaRDI QIDQ2483172zbMATH OpenOpenAlexFDO

Authors Arnaud Durand

Publication date 28 April 2008

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0709.3595

zbMATH Keywords

Diophantine approximation Hausdorff dimension heterogeneous ubiquity intersective sets multifractal measures

Mathematics Subject Classification ID

Metric theory (11J83) Fractals (28A80)

Abstract: We investigate the size and large intersection properties of

E_{t}={xinR^d :|: |x-k-x_{i}|<{r_{i}}^t ext{for infinitely many}(i,k)in I^{mu,alpha} imes�^d},

where

d i n N

,

t g e q 1

,

I

is a denumerable set,

(x_{i}, r_{i})_{i i n I}

is a family in

[0, 1]^{d} i m e s (0, i n f t y)

and

I^{m u, a l p h a}

denotes the set of all

i i n I

such that the

m u

-mass of the ball with center

x_{i}

and radius

r_{i}

behaves as

{r_{i}}^{a} l p h a

for a given Borel measure

m u

and a given

a l p h a > 0

. We establish that the set

E_{t}

belongs to the class

g r i n t^{h} (R^{d})

of sets with large intersection with respect to a certain gauge function

h

, provided that

(x_{i}, r_{i})_{i i n I}

is a heterogeneous ubiquitous system with respect to

m u

. In particular,

E_{t}

has infinite Hausdorff

g

-measure for every gauge function

g

that increases faster than

h

in a neighborhood of zero. We also give several applications to metric number theory.

Review text

The technical notion of a heterogeneous ubiquitous system was introduced by \textit{J. Barral} and \textit{S. Seuret} [Bull. Braz. Math. Soc. (N.S.) 38, No. 3, 467--515 (2007; Zbl 1131.28003)] in order to study the size of certain limsup sets. This represented an extension of the notion of ubiquity, which was first conceived by \textit{M. Dodson}, \textit{B. Rynne} and \textit{J. Vickers} [Mathematika 37, No. 1, 59--73 (1990; Zbl 0688.10049)]. The paper under review is concerned with the size and intersection properties of sets of the form \[ E_t = \big\{x \in \mathbb R^d : \| x - k - x_i \| < r_i^t \text{ for infinitely many } (i,k) \in \mathbb N \times \mathbb Z^d\big\}, \] where \(t \geq 1\) and \((x_i, r_i)\) is a heterogeneous ubiquitous system. The intersection properties studied are defined as follows. Let \(h\) be a gauge function. A set \(E \in \mathbb R^d\) is said to belong to the class \(D^h(\mathbb R^d)\) if \(E\) is a \(G_\delta\)-subset of \(\mathbb R^d\) which satisfies that \({\mathcal M}^g_\infty(F \cap U) = {\mathcal M}^g_\infty(U)\) for any open set \(U \subseteq \mathbb R^d\) and any gauge function \(g\) such that \(g/h\) tends to infinity at zero. Here, \({\mathcal M}^g_\infty\) denotes the outer net measure associated with \(h\). These classes are closed under countable intersections and bi-Lipschitz mappings. Additionally, if \(F \in G^h(\mathbb R^d)\), then \(\dim F \geq s\) for any \(s \geq 0\) for which \(r^s/h(r)\) tends to infinity at zero. These classes of sets generalize the intersective sets introduced by \textit{K. Falconer} [J. Lond. Math. Soc. (2) 49, No. 2, 267--280 (1994; Zbl 0798.28004)]. A criterion is derived for \(E_t\) to be a member of a class \(G^{h_t}(\mathbb R^d)\) for an explicitly given gauge function \(h_t\). The gauge function depends on the parameters of the heterogeneous ubiquitous system as well as on \(t\). The technical definitions and conditions are specified in the paper. The main result of the paper is applied to products of multinomial measures as well as to Gibbs measures. This has consequences in metric Diophantine approximation. We give an example. Let \(\pi = (\pi_0, \dots, \pi_{c-1})\) be a probability vector and let \(t \geq 1\). Let \(U'_{\pi,t}\) denote the set of real numbers \(x\) written in base \(b\) so that \(x = x_0 + \sum_{i=1}^\infty x_i b^{-i}\) satisfying the following conditions: (i) there is a sequence \(p_n/q_n\) of rational numbers on lowest terms with \(| x-p_n/q_n| \leq q_n^{-2t}\) and (ii) for any \(b \in \{0, \dots, c-1\}\), \[ \lim_{n \rightarrow \infty} {{\# \{i \leq [2 \log_c q_n] : x_i = b\}}\over{[2 \log_c q_n]}} = \pi_b. \] This set then contains a set of the class \(G^h(\mathbb R)\) where \[ h(r) = r^{-t^{-1} \sum_{b=0}^{c-1} \pi_b \log \pi_b - 3(-\log r)^{\eta - 1/8}}, \] for any \(\eta \in (0,1/8)\).

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Ubiquitous systems and metric number theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2483172)