La conjetura del disco

Por Javier Sáenz. 11 de febrero, 3:00pm.

Dada la transformada de Fourier $latex \hat{f}$ de $latex f\in L^p(\mathbb R^n)$, una pregunta fundamental a resolver es: ¿cuándo $latex \lim_{R\to \infty} S_{R}f(x) = f(x)$ en $latex L^p (\mathbb R^n)$?, en donde

$latex \displaystyle S_R f(x) = \int_{|\xi|<R} \hat{f}(\xi) e^{2\pi i x\cdot \xi} d\xi.$

Este problema es equivalente a verificar si el operador $latex S$ (i.e. $latex R=1$) puede extenderse a un operador acotado en $latex L^p(\mathbb R^n)$. La conjetura del disco afirmaba que sí era posible.

Los conjuntos de Besicovitch (conjuntos de medida cero que contienen un segmento unitario en todas las direcciones) han sido utilizados para construir contraejemplos en diversas áreas comenzando por el trabajo en integración de Besicovitch. A través de una construcción utilizando dichos conjuntos, presentamos la solución a la conjetura del disco dada por Fefferman, después de ofrecer una breve introducción a la teoría $latex L^p$ de la transformada de Fourier.