En análisis complejo, una función lagunar o lacunar, también llamada serie lagunar es una función analítica que no puede extenderse analíticamente a ninguna región fuera del radio de convergencia en que está definida una serie de potencias que la representa. El término lagunar deriva del latín lacūnāris de lacūna 'laguna, vacío, hueco'.

Se muestra una función lacunar para sus primeros 128 términos.

Los primeros ejemplos conocidos de funciones lagunares eran series de Taylor con gran espaciado o lacunae, entre los coeficientes no nulos de sus expansiones. Más recientemente se han construido funciones lagunres a partir de series de Fourier con espaciados similares entre términos con coeficientes no nulos. Existe una cierta ambigüedad en el uso moderno de serie lagunar, que también se usa para referirse a una serie de Taylor o de Fourier con ciertas propiedades notables, que no necesariamente las convierte en series lagunares en el otro sentido.

Un ejemplo simple

editar

Considérese la función lagunar definida por una simple serie de potencias:

 

La serie de potencias converge uniformemente para cualquier dominio abierto contenido en |z| < 1. Esto puede demostrarse comparando f con la serie geométrica, que es absolutamente convergente cuando |z| < 1. Por lo que f es analítica en el disco unidad. Sin embargo, f tiene una singularidad en cualquier punto del círculo unidad, y no puede ser extendida analíticamente fuera del disco unidad, como demuestra el siguiente argumento:

Claramente f tiene una singularidad en z = 1, ya que

 

es una serie divergente. Pero puesto que:

 

puede verse que f tiene una singularidad en cualquier punto z cuando z2 = 1 (es decir, cuando z = ±1), y también cuando z4 = 1 (es decir, cuando z = ±1 o cuando z = ±i). Por inducción, f debe tener una singularidad en cualquier raíz de la unidad 2n-ésima. El conjunto de tales puntos es denso en el círculo unidad, y por tanto cualquier punto sobre el círculo debe ser una singularidad de f.[1]


Referencias

editar
  1. (Whittaker and Watson, 1927, p. 98) This example apparently originated with Weierstrass.

Bibliografía

editar
  • Katusi Fukuyama and Shigeru Takahashi, Proceedings of the American Mathematical Society, vol. 127 #2 pp.599-608 (1999), "The Central Limit Theorem for Lacunary Series".
  • Szolem Mandelbrojt and Edward Roy Cecil Miles, The Rice Institute Pamphlet, vol. 14 #4 pp.261-284 (1927), "Lacunary Functions".
  • E. T. Whittaker and G. N. Watson, A Course in Modern Analysis, fourth edition, Cambridge University Press, 1927.

Enlaces externos

editar