2014 | OriginalPaper | Chapter
Refined Size Estimates for Furstenberg Sets via Hausdorff Measures: A Survey of Some Recent Results
Author : Ezequiel Rela
Published in: Concrete Operators, Spectral Theory, Operators in Harmonic Analysis and Approximation
Publisher: Springer Basel
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In this survey we collect and discuss some recent results on the so-called “Furstenberg set problem”, which in its classical form concerns the estimates of the Hausdorff dimension (dim
H
) of the sets in the F
α
-class: for a given α ∈ (0, 1], a set
E
⊆ ℝ
2
is in the F
α
-class if for each
e
∈ ?? there exists a unit line segment
l
e
in the direction of
e
such that dim
H
(
l
∩
E
) ≥ α. For α=1, this problem is essentially equivalent to the “Kakeya needle problem”. Define γ(α)= inf{dim
H
(
E
):
E
∈
F
α
}. The best-known results on γ(α) are the following inequalities:
max {1∕+α;2α}≤γ(α)≤(1+3α)∕2.
In this work we approach this problem from a more general point of view, in terms of a generalized Hausdorff measure
H
h
associated with the dimension function
h
. We define the class
F
h
of Furstenberg sets associated to a given dimension function h. The natural requirement for a set
E
to belong to
F
h
, is that
H
h
(
l
e
∩
E
) > 0 for each direction. We generalize the known results in terms of “logarithmic gaps” and obtain analogues to the estimates given above. Moreover, these analogues allow us to extend our results to the endpoint α = 0. For the upper bounds we exhibit an explicit construction of
F
h
-sets which are small enough. To that end we adapt and prove some results on Diophantine Approximation about the dimension of a set of “wellapproximable numbers”.
We also obtain results about the dimension of Furstenberg sets in the class
F
αβ
, defined analogously to the class
F
α
but only for a fractal set
L
⊂ ?? of directions such that dim
H
(L) ≥ β. We prove analogous inequalities reflecting the interplay between α and β. This problem is also studied in the general scenario of Hausdorff measures.