Función lacunaria

Na análise, unha función lacunaria, tamén coñecida como serie lacunaria, é unha función analítica que non se pode continuar analiticamente en ningún lugar fóra do raio de converxencia dentro do cal está definida por unha serie de potencias.

Os primeiros exemplos coñecidos de funcións lacunarias eran series de Taylor con grandes lagoas entre os coeficientes distintos de cero das súas expansións. Investigacións máis recentes tamén centraron a atención nas series de Fourier con lagoas similares entre coeficientes distintos de cero.

 Un exemplo sinxelo 
Escollemos un número enteiro  . Consideramos a seguinte función definida por unha serie de potencias simple:



A serie de potencias converxe localmente uniforme en calquera dominio aberto |z| < 1. Isto pódese demostrar comparando f coa serie xeométrica, que é absolutamente converxente cando |z| < 1. Polo tanto, f é analítica no disco unitario aberto. Porén, f ten unha singularidade en todo punto da circunferencia unitaria e non se pode continuar analiticamente fóra do disco unitario aberto, como demostra o seguinte argumento.

Claramente f ten unha singularidade en z = 1, porque



é unha serie diverxente. Mais se se permite que z non sexa real, xorden problemas, xa que



podemos ver que f ten unha singularidade nun punto z cando za = 1, e tamén cando za2 = 1. Pola indución suxerida polas ecuacións anteriores, f debe ter unha singularidade en cada unha das raíces an-ésimas da unidade para todos os números naturais n. O conxunto de todos estes puntos é denso na circunferencia unitaria, polo que, por extensión continua, todo punto do circunferencia unitaria debe ser unha singularidade de f. 

 Serie trigonométrica lacunaria 
Os matemáticos tamén investigaron as propiedades das series trigonométricas lacunarias



para os que os λk están afastados. Aquí os coeficientes ak son números reais. Neste contexto, a atención concentrouse en criterios suficientes para garantir a converxencia das series trigonométricas en case todas as partes (é dicir, para case todos os valores do ángulo θ e do factor de distorsión ω).

 Kolmogorov demostrou que se a secuencia {λk} contén ocos de Hadamard, entón a serie S(λk, θ, ω) converxe (diverxe) case en todas as partes cando



 converxe (diverxe).

 Zygmund demostrou baixo a mesma condición que S( λk, θ, ω) non é unha serie de Fourier que representa unha función integrábel cando esta suma de cadrados dos ak é unha serie diverxente. 
 Notas 


 Véxase tamén 

 Bibliografía 
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.

 Outros artigos 
Continuación analítica
Teorema do oco de Ostrowski-Hadamard
 Ligazóns externas 
Fukuyama and Takahashi, 1999 A paper (PDF) entitled The Central Limit Theorem for Lacunary Series, from the AMS.
Mandelbrojt and Miles, 1927 A paper (PDF) entitled Lacunary Functions, from Rice University.
MathWorld article on Lacunary Functions

Categoría:Funcións
Categoría:Análise complexa