Singular integral operators and rectifiability

Abstract

Los problemas que estudiamos en esta tesis se encuentran en el área de Análisis Armónico y Teoría de la Medida Geométrica. En particular, consideramos la conexión entre las propiedades analíticas de operadores integrales singulares definidos en $L^2(\mu)$ y asociados con algunos núcleos de Calderón-Zygmund y las propiedades geométricas de la medida $\mu$. Seamos más precisos. Sea $E$ un conjunto de Borel en el plano complejo con la medida lineal de Hausdorff $H^1$ finita y distinta de cero, es decir, $0<H^1(E)<\infty $. G. David y J.C. Léger (1999) probaron que el núcleo de Cauchy $1/z$ (e su parte real $(\Re z)/|z|^2$ también) tiene la siguiente propiedad: la $L^2(H^1_E)$-acotación de los operadores integrales singulares correspondientes implica que $E$ es rectificable. Más tarde, V. Chousionis, J. Mateu, L. Prat y X. Tolsa (2012) probaron la misma propiedad para el núcleo $(\ Re z)^3/|z|^4$. Además, hay ejemplos de los núcleos debidos a P. Huovinen (2001) y B. Jaye y F. Nazarov (2013) tales que los operadores integrales singulares correspondientes son $L^2(H^1_E)$-acotados por algunos conjuntos $E$ puramente no rectificables, es decir, la propiedad mencionada anteriormente no se cumple. En la tesis, presentamos nuestros resultados relacionados con el comportamiento de operadores integrales singulares asociados con la clase de núcleos de Calderón-Zygmund $ (\Re z)^3/|z|^4 + t \cdot (\Re z)/|z|^2$, donde $t$ es un parámetro real. Se muestra que esta clase de núcleos generaliza todos los mencionados anteriormente considerados por diferentes autores. Además, probamos que la propiedad “$L^2$-acotación implica rectificabilidad” se cumple para los operadores con $t\in(-\infty,-\sqrt{2})\cup(-t_0,+\infty]$, donde $t_0>0$ es una pequeña constante absoluta. Es importante que, para algunos de los $t$ que acabamos de mencionar, el llamado método de curvatura comúnmente utilizado para relacionar $L^2$-acotación y rectificabilidad no está disponible, pero todavía es posible establecer la propiedad mencionada. Hasta donde sabemos, es el primer ejemplo de este tipo en el plano complejo. También vale la pena mencionar que ampliamos nuestros resultados a una clase aún más general de núcleos y, además, consideramos problemas análogos para conjuntos $E$ Ahlfors-David-regulares.

The problems that we study in this thesis lie in the area of Harmonic Analysis and Geometric Measure Theory. Namely, we consider the connection between the analytic properties of singular integral operators defined in $L^2(\mu)$ and associated with some Calderón-Zygmund kernels and the geometric properties of the measure $\mu$. Let us be more precise. Let $E$ be a Borel set in the complex plane with non-vanishing and finite linear Hausdorff measure $H^1$, i.e. such that $0<H^1(E)<\infty$. G. David and J.C. Léger (1999) proved that the Cauchy kernel $1/z$ (and even its real part $(\Re z)/|z|^2$) has the following property: the $L^2(H^1_E)$-boundedness of the corresponding singular integral operators implies that $E$ is rectifiable. Later on, V. Chousionis, J. Mateu, L. Prat and X. Tolsa (2012) proved the same property for the kernel $(\Re z)^3/|z|^4$. Moreover, there are examples of kernels due to P. Huovinen (2001) and B. Jaye and F. Nazarov (2013) such that the corresponding singular integral operators are $L^2(H^1_E)$-bounded for some purely unrectifiable sets $E$, i.e. the above-mentioned property does not hold. In the thesis, we present our results related to the behaviour of singular integral operators associated with the class of Calderón-Zygmund kernels $(\Re z)^3/|z|^4+t\cdot (\Re z)/|z|^2$, where $t$ is a real parameter. It is shown that this class of kernels generalizes all above-mentioned ones considered by different authors. Furthermore, we prove that the property “$L^2$-boundedness implies rectifiability” holds for the operators with $t\in (-\infty,-\sqrt{2}) \cup (-t_0,+\infty]$, where $t_0>0$ is a small absolute constant. It is important that for some of the $t$ just mentioned the so called curvature method commonly used to relate $L^2$-boundedness and rectifiability is not available but it is still possible to establish the above-mentioned property. To the best of our knowledge, it is the first example of this type in the plane. It is also worth mentioning that we extend our results to even more general class of kernels and additionally consider analogous problems for Ahlfors-David regular sets $E$.