Estimaciones de dimensión para conjuntos de tipo Furstenberg y teoremas de restricción para medidas de Hausdorff

• Autores: Rela, Ezequiel
• Año de publicación: 2010
• Idioma: inglés
• Tipo de recurso: tesis doctoral
• Colaborador/a o director/a de tesis: Molter, Úrsula María
• Materia: CONJUNTOS DE FURSTENBERG; MEDIDAS DE HAUSDORFF; FUNCIONES DE DIMENSION; DIMENSION DE HAUSDORFF; APROXIMACION DIOFANTICA; RESTRICCION DE LA TRANSFORMADA DE FOURIER; FURSTENBERG SETS; HAUSDORFF MEASURES; DIMENSION FUNCTIONS; HAUSDORFF DIMENSION; DIOPHANTINE APPROXIMATION; FOURIER RESTRICTION
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

En esta tesis se estudian dos problemas del Análisis Armónico clásico desde el punto de vista de las medidas de Hausdorff. El primero es el problema de Furstenberg, que en su versión clásica se refiere a la determinación de la dimensión de Hausdorff (dim_H ) de los conjuntos de la clase F_α : dado α ∈ (0, 1], un conjunto E ⊆ R^2 está en la clase Fα si para cada e ∈ S existe un segmento unitario l_e en la dirección de e tal que dim_H (l ∩ E) ≥ α. En el caso α = 1, este problema resulta equivalente al problema de Kakeya. Si notamos γ(α) = inf {dim_H (E) : E ∈ Fα }, entonces vale que max {1/2 + α; 2α} ≤ γ(α) ≤ (1 + 3α)/2. (1) En este trabajo se estudia este problema desde una perspectiva más general, en términos de las medidas de Hausdorff h-dimensionales H^h asociadas a funciones de dimensión. Definimos los conjuntos de la clase de Furstenberg F_h asociados a una función h. La hipótesis natural para cada dirección es que H^h (l_e ∩ E) > 0. Generalizamos los resultados conocidos en términos de “saltos logarítmicos” y obtenemos resultados análogos a las cotas clásicas que permiten, además, extender la desigualdad (1) al caso extremo α = 0. Precisamente, se prueba que la función de dimensión apropiada para los conjuntos de la clase F_h no puede ser mucho más chica que h^2 o que la raiz cuadrada de h. Para las cotas superiores exhibimos explícitamente conjuntos en la clase F_h suficientemente chicos. Usamos para eso algunos resultados sobre Aproximación Diofántica,acerca de la dimensión de conjuntos de números “bien aproximables”. Obtenemos resultados acerca de la dimensión de conjuntos en la clase Fαβ, definida como Fα pero sólo para un conjunto L ⊂ S tal que dim_H (L) ≥ β. Probamos una versión de (1) que refleja la interacción entre los parámetros α y β. Este problema fue estudiado también en el conexto general. En segundo lugar se estudió con el mismo enfoque el problema de la Restricción de la Trasformada de Fourier, que se refiere a la posibilidad de darle sentido a la restricción de f a un subconjunto E de R^n . La respuesta depende de la existencia de una medida μ en E con ciertas propiedades de dimensiona- lidad y de decaimiento para su transformada μ. En este contexto se reformuló el teorema de restricción de Stein-Tomas en términos de medidas de Hausdorff.
In this thesis we study two problems in classical Harmonic Analysis. The first is the Furstenberg problem, which in its classical form concerns the de termination of the Hausdorff dimension (dim_H) of the sets in the F_α -class: for a given α ∈ (0, 1], a set E ⊆ R^2 is in the Fα-class if for each e ∈ S 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”. If we define γ(α) = inf {dim_H (E) : E ∈ F_α }, then max {1/2 + α; 2α} ≤ γ(α) ≤ (1 + 3α)/2. (1) In this work we approach this problem from a more general point of view, in terms of h-dimensional Hausdorff measures H^h associated to dimension functions. 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 in (1). Moreover, these analogues allow us to extend our results to the endpoint α = 0. Precisely, we prove that the correct dimension function for the class F_h can not be much smaller than h^2 or square root of h. For the upper bounds we exhibit an explicit construction of F_h-sets which are small enough. To that end we prove some results from Diophantine Approximation about the the dimension of the set of “well approximable numbers”. We 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 ⊂ S such that dim_H (L) ≥ β. We prove an inequality like (1) which reflects the interplay between α and β. This problem is also studied in the general scenario of Hausdorff measures. The second problem studied in this work, in the same general scenario as before, is the Restriction Problem for the Fourier transform. Here the problem is to give a meaningful sense to the restriction of f to a subset E of R^n . The answer depends on the existence of a measure μ supported on E with precise conditions on the dimensionality of μ and decay properties of μ. In this context we reformulate the Stein-Tomas restriction theorem for Hausdorff measures.
Fil: Rela, Ezequiel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.