Teorema de Carleson

El Teorema de Carleson es un resultado fundamental en análisis matemático para establecer (según la medida de Lebesgue) la convergencia en casi cualquier punto de las series de Fourier, por funciones L² (Lennart Carleson, 1966). El nombre se utiliza a menudo para referirse a la extensión del resultado (Richard Hunt, 1968) a las funciones de L^p de p ∈ (1, ∞) (también conocido como el teorema de Carleson-Hunt) y los resultados análogos para la convergencia en casi cualquier punto de las integrales de Fourier, que se puede demostrar de forma equivalente por métodos de transferencia.

Enunciado del teorema

El resultado, en la forma de su extensión por Hunt, puede ser formalmente enunciado como sigue:

Sea ƒ una función periódica sobre L^p para algunos p ∈ (1, ∞), con coeficientes de Fourier ${\displaystyle {\hat {f}}(n)}$. Entonces

${\displaystyle \lim _{N\rightarrow \infty }\sum _{|n|\leq N}{\hat {f}}(n)e^{inx}=f(x)}$

para x casi en todas partes.

El resultado análogo para integrales de Fourier puede ser formalmente indicado como sigue:

Sea ƒ ∈ L^p(R) para algún p ∈ (1, ∞) con transformada de Fourier ${\displaystyle {\hat {f}}(\xi )}$. Entonces

${\displaystyle \lim _{R\rightarrow \infty }\int _{|\xi |\leq R}{\hat {f}}(\xi )e^{2\pi ix\xi }\,d\xi =f(x)}$

para x ∈ R casi en todas partes.

Historia

Una pregunta fundamental sobre series de Fourier, formulada a principios del siglo XIX por el propio Fourier (1768-1830), es si la serie de Fourier de una función continua converge puntualmente a la propia función.

Reforzando un poco la hipótesis de continuidad se puede demostrar fácilmente que la serie de Fourier converge en todas partes. Por ejemplo, si una función tiene su variación acotada, entonces su serie de Fourier converge en todas partes a la media local de la función. En particular, si una función es continuamente diferenciable, entonces su serie de Fourier converge a la misma en todas partes. Esto fue demostrado por Dirichlet, quien expresó su convicción de que pronto sería capaz de ampliar su resultado para cubrir todas las funciones continuas. Otra forma para obtener convergencia en todas partes es cambiar el método de la suma. Por ejemplo, el teorema de Fejér demuestra que si se reemplaza la suma ordinaria por la sumación de Cesàro, entonces la serie de Fourier de cualquier función continua converge uniformemente a la función. Además, es fácil demostrar también que la serie de Fourier de cualquier función de L² converge a ella misma en la norma L².

Después del resultado de Dirichlet, varios expertos, incluyendo al propio Dirichlet, a Riemann, a Weierstrass y a Dedekind, manifestaron su opinión de que la serie de Fourier de cualquier función continua convergería en todas partes. Esta creencia fue refutada por Paul du Bois-Reymond, quien demostró en 1876 que existe una función continua cuya serie de Fourier diverge en un punto.

El problema de la convergencia casi en todas partes de las series de Fourier para L² (Luzin, 1915), era conocido como conjetura de Luzin (hasta su prueba por Carleson, 1966).Kolmogorov, 1923 demostró que el resultado análogo de Carleson para L ¹ es falso, encontrando una función cuya serie de Fourier diverge en casi todas partes (mejorándola ligeramente en 1926 extendiendo la divergencia a todas partes). Antes del resultado de Carleson, la estimación más conocida para las sumas parciales s_n de la serie de Fourier de una función en L^p era

${\displaystyle s_{n}(x)=o(\log(n)^{1/p}){\text{ casi en todas partes}},\,}$

probada por Kolmogorov–Seliverstov-Plessner para p = 2, por G. H. Hardy para p = 1 y por Littlewood-Paley para p > 1 (Zygmund, 2002). Este resultado no se había mejorado desde hacía varias décadas, llevando a algunos expertos a sospechar que era la mejor posible y que la conjetura de Luzin era falsa. El contraejemplo de Kolmogorov en L¹ era ilimitado en cualquier intervalo, pero se pensaba que era solamente una cuestión de tiempo antes de que se encontrase un contraejemplo continuo. Carleson dijo en una entrevista con Raussen y Skau, 2007 que comenzó por tratar de encontrar un contraejemplo continuo y en un momento pensó que tenía un método para construir uno, pero se dio cuenta finalmente de que su enfoque no podía funcionar. Entonces intentó probar la conjetura de Luzin, convencido por el fracaso de su contraejemplo de que probablemente era cierta.

La prueba original de Carleson es excepcionalmente difícil de comprender, y aunque varios autores han simplificado sus argumentos, su teorema todavía incluye razonamientos nada sencillos. Entre las exposiciones sobre el artículo original de (Carleson, 1966), se incluyen (Kahane, 1995),(Mozzochi, 1971),(Jørsboe y Mejlbro, 1982) y (Arias de Reyna, 2002).Charles Fefferman, 1973 publicó una nueva prueba de la extensión de Hunt obtenida utilizando como límite un operador maximal. Esto, a su vez, inspiró una prueba muy simplificada en L² aportada por Michael Lacey y Christoph Thiele, 2000, explicada con más detalle en (Lacey, 2004). Los libros de (Fremlin, 2003) y (Grafakos, 2009) también incluyen demostraciones del teorema de Carleson.Katznelson, 1966 demostró que para cualquier conjunto de medida 0 existe una función periódica continua cuya serie de Fourier diverge en todos los puntos del conjunto (y posiblemente en otros lugares). Cuando se combina con el teorema de Carleson, esto demuestra que existe una función continua cuya serie de Fourier diverge en todos los puntos de un determinado conjunto de números reales sí y solo sí el conjunto tiene medida 0.

Durante la extensión del teorema de Carleson para L^p con p > 1, se detectó una justificación "algo obvia" del caso p = 2 en el artículo de Carleson, demostrada por Hunt, 1968. El resultado de Carleson fue aún más mejorado por Sjölin, 1971 al espacio Llog₊(L)log₊log₊(L) y por (Antonov, 1996) para el espacio Llog₊(L)log₊log₊log₊(L). (Aquí log₊(L) es log(L) si L>1 y 0, de otra manera, y si φ es una función, entonces φ(L) pertenece al espacio de funciones f tales que φ(f(x)) sea integrable.)

Konyagin, 2000 es quien ha hallado el mejor contraejemplo de función de Kolmogorov con series de Fourier divergentes en todas partes en un espacio ligeramente más grande que Llog₊(L)^1/2. Uno puede preguntarse si existe en algún sentido un espacio natural más grande de funciones cuya serie de Fourier converge en casi todas partes. El candidato más simple para un espacio acorde con los resultados de Antonov y Konyagin es 'Llog₊(L).

La extensión del teorema de Carleson a series de Fourier e integrales en varias variables se hace más complicada, ya que hay muchas maneras en las que pueden sumarse los coeficientes; por ejemplo, pueden utilizarse incrementos circulares o rectangulares. Convergencia de sumas parciales rectangulares (y de hecho, las sumas parciales poligonales generalizadas) siguen el caso unidimensional, pero el problema de adición esférica está todavía abierto para L².

El operador de Carleson

El operador de Carleson C es un operador no lineal definido por

${\displaystyle Cf(x)=\sup _{N}\left|\int _{-N}^{N}{\hat {f}}(y)e^{2\pi ixy}\,dy\right|}$

Una propiedad fundamental del operador Carleson es un mapa (no lineal) acotado de L^p(R) de sí mismo para 1 < p < ∞. Del teorema de Carleson–Hunt se sigue fácilmente de esta propiedad (y de hecho, a partir de estimaciones ligeramente más débiles).

Véase también

• Convergencia de series de Fourier

Referencias

• Antonov, N. Yu. (1996), «Convergence of Fourier series», East Journal on Approximations 2 (2): 187-196, MR 1407066 .
• Arias de Reyna, Juan (2002), Pointwise convergence of Fourier series, Lecture Notes in Mathematics 1785, Berlin, New York: Springer-Verlag, ISBN 978-3-540-43270-8, MR 1906800, doi:10.1007/b83346 .
• Carleson, Lennart (1966), «On convergence and growth of partial sums of Fourier series», Acta Mathematica 116 (1): 135-157, MR 0199631, doi:10.1007/BF02392815 .
• Fefferman, Charles (1973), «Pointwise convergence of Fourier series», Annals of Mathematics. Second Series 98 (3): 551-571, MR 0340926, doi:10.2307/1970917 .
• Fremlin, David H. (2003), Measure theory 2, Torres Fremlin, Colchester, ISBN 978-0-9538129-2-9, MR 2462280, archivado desde el original el 1 de noviembre de 2010, consultado el 16 de marzo de 2017 .
• Grafakos, Loukas (2014). Classical Fourier analysis. Graduate Texts in Mathematics 249 (Third edición). New York: Springer-Verlag. ISBN 978-1-4939-1193-6. MR 3243734. doi:10.1007/978-1-4939-1194-3. 
• Grafakos, Loukas (2014). Modern Fourier analysis. Graduate Texts in Mathematics 250 (Third edición). New York: Springer-Verlag. ISBN 978-1-4939-1229-2. MR 3243741. doi:10.1007/978-1-4939-1230-8. 
• Hunt, Richard A. (1968), «On the convergence of Fourier series», Orthogonal Expansions and their Continuous Analogues Proc. Conf., Edwardsville, Ill., 1967, Carbondale, Ill.: Southern Illinois Univ. Press, pp. 235-255, MR 0238019 .
• Jørsboe, Ole G.; Mejlbro, Leif (1982), The Carleson-Hunt theorem on Fourier series, Lecture Notes in Mathematics 911, Berlin, New York: Springer-Verlag, ISBN 978-3-540-11198-6, MR 653477, doi:10.1007/BFb0094072 .
• Kahane, Jean-Pierre (1995), «Sommes partielles des séries de Fourier (d'après L. Carleson)», Séminaire Bourbaki 9, Paris: Société Mathématique de France, pp. 491-507, MR 1610981 .
• Katznelson, Yitzhak (1966), «Sur les ensembles de divergence des séries trigonométriques», Studia Mathematica 26: 301-304, MR 0199632 .
• Kolmogorov, Andrey Nikolaevich (1923), «Une série de Fourier–Lebesgue divergente presque partout», Polska Akademia Nauk. Fundamenta Mathematicae 4: 324-328 .
• Konyagin, S. V. (2000), «On the divergence everywhere of trigonometric Fourier series», Rossiĭskaya Akademiya Nauk. Matematicheskii Sbornik 191 (1): 103-126, MR 1753494, doi:10.1070/sm2000v191n01abeh000449 .
• Lacey, Michael T. (2004), «Carleson's theorem: proof, complements, variations», Publicacions Matemàtiques 48 (2): 251-307, MR 2091007, arXiv:math/0307008, doi:10.5565/publmat_48204_01 .
• Lacey, Michael; Thiele, Christoph (2000), «A proof of boundedness of the Carleson operator», Mathematical Research Letters 7 (4): 361-370, MR 1783613, doi:10.4310/mrl.2000.v7.n4.a1, archivado desde el original el 5 de julio de 2008, consultado el 16 de marzo de 2017 .
• Luzin, N.N. (1915), The integral and trigonometric series (In Russian), Moscow-Leningrad . (tesis; también: trabajos recogidos, Vol. 1, Moscú, 1953, págs. 48 – 212)
• Mozzochi, Charles J. (1971), On the pointwise convergence of Fourier series, Lecture Notes in Mathematics, Vol. 199 199, Berlin, New York: Springer-Verlag, MR 0445205, doi:10.1007/BFb0061167 . "esta monografía es un tratamiento detallado y esencialmente independiente de la obra de Carleson y caza".
• Raussen, Martin; Skau, Christian (2007), «Interview with Abel Prize recipient Lennart Carleson», Notices of the American Mathematical Society 54 (2): 223-229, MR 2285126 .
• Sjölin, Per (1971), «Convergence almost everywhere of certain singular integrals and multiple Fourier series», Arkiv för Matematik 9 (1-2): 65-90, MR 0336222, doi:10.1007/BF02383638 .
• Telyakovskii, S.A. (2001), "c/c020450", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
• Zygmund, A. (2002) [1935], Trigonometric series. Vol. I, II, Cambridge Mathematical Library (3rd edición), Cambridge University Press, ISBN 978-0-521-89053-3, MR 1963498 .