﻿

# Lacunary function

In analysis, a lacunary function, also known as a lacunary series, is an analytic function that cannot be analytically continued anywhere outside the circle of convergence within which it is defined by a power series. The word "lacunary" is derived from ("pl." lacunae), meaning gap, or vacancy.

The first known examples of lacunary functions involved Taylor series with large gaps, or lacunae, between non-zero coefficients "a""n". More recent investigations have also focused attention on Fourier series with similar gaps between the non-zero coefficients. So there is a slight ambiguity in modern usage of the term lacunary series, which may be used to refer to series of both the Taylor and Fourier types.

A simple example

Consider the lacunary function defined by a simple power series:

:$f\left(z\right) = sum_\left\{n=0\right\}^infty z^\left\{2^n\right\} = z + z^2 + z^4 + z^8 + cdots,$

The power series clearly converges uniformly on any open domain |"z"| < 1, by comparison with the familiar geometric series, which is absolutely convergent when |"z"| < 1. So "f"("z") is analytic on the open unit disk. Nevertheless "f"("z") has a singularity at every point on the unit circle, and cannot be analytically continued outside of the open unit disk, as the following argument demonstrates.

Clearly "f"("z") has a singularity at "z" = 1, because

:$f\left(1\right) = 1 + 1 + 1 + cdots,$

is a divergent series. But since

:$f\left(z^2\right) = f\left(z\right) - z qquad f\left(z^4\right) = f\left(z^2\right) - z^2 qquad f\left(z^8\right) = f\left(z^4\right) - z^4 cdots,$

we can see that "f"("z") has a singularity when "z"2 = 1 (that is, when "z" = −1), and also when "z"4 = 1 (that is, when "z" = &plusmn;"i"), and so forth. By induction, "f"("z") must have a singularity at every one of the 2"n"th roots of unity, and since these are dense on the unit circle, every point on the unit circle must be an essential singularity of "f"("z"). [(Whittaker and Watson, 1927, p. 98) This example apparently originated with Weierstrass.]

An elementary result

Evidently the argument advanced in the simple example can also be applied to show that series like

:$f\left(z\right) = sum_\left\{n=0\right\}^infty z^\left\{3^n\right\} = z + z^3 + z^9 + z^\left\{27\right\} + cdots qquad g\left(z\right) = sum_\left\{n=0\right\}^infty z^\left\{4^n\right\} = z + z^4 + z^\left\{16\right\} + z^\left\{64\right\} + cdots,$

also define lacunary functions. What is not so evident is that the gaps between the powers of "z" can expand much more slowly, and the resulting series will still define a lacunary function. To make this notion more precise some additional notation is needed.

We write

:$f\left(z\right) = sum_\left\{k=1\right\}^infty a_kz^\left\{lambda_k\right\} = sum_\left\{n=1\right\}^infty b_n z^n,$

where "b""n" = "a""k" when "n" = &lambda;"k", and "b""n" = 0 otherwise. The stretches where the coefficients "b""n" in the second series are all zero are the "lacunae" in the coefficients. The monotonically increasing sequence of positive natural numbers {&lambda;"k"} specifies the powers of "z" which are in the power series for "f"("z").

Now a theorem of Hadamard can be stated. [(Mandelbrojt and Miles, 1927)] If

:$lim_\left\{k oinfty\right\} frac\left\{lambda_k\right\}\left\{lambda_\left\{k-1 > 1 + delta ,$

where "&delta;" > 0 is an arbitrary positive constant, then "f"("z") is a lacunary function that cannot be continued outside its circle of convergence. In other words, the sequence {&lambda;"k"} doesn't have to grow as fast as 2"k" for "f"("z") to be a lacunary function &ndash; it just has to grow as fast as some geometric progression (1 + &delta;)"k". A series for which &lambda;"k" grows this quickly is said to contain Hadamard gaps. See Ostrowski-Hadamard gap theorem‎.

Lacunary trigonometric series

Mathematicians have also investigated the properties of lacunary trigonometric series

:$S\left(lambda_k, heta\right) = sum_\left\{k=1\right\}^infty a_k cos\left(lambda_k heta\right) qquad S\left(lambda_k, heta,omega\right) = sum_\left\{k=1\right\}^infty a_k cos\left(lambda_k heta + omega\right) ,$

for which the &lambda;"k" are far apart. Here the coefficients "a""k" are real numbers. In this context, attention has been focused on criteria sufficient to guarantee convergence of the trigonometric series almost everywhere (that is, for almost every value of the angle "&theta;" and of the distortion factor "&omega;").
*Kolmogorov showed that if the sequence {&lambda;"k"} contains Hadamard gaps, then the series "S"(&lambda;"k", "&theta;", "&omega;") converges (diverges) almost everywhere when

::$sum_\left\{k=1\right\}^infty a_k^2,$

:converges (diverges).
*Zygmund showed under the same condition that "S"(&lambda;"k", "&theta;", "&omega;") is not a Fourier series representing an integrable function when this sum of squares of the "a""k" is a divergent series. [(Fukuyama and Takahashi, 1999)]

A unified view

Greater insight into the underlying question that motivates the investigation of lacunary power series and lacunary trigonometric series can be gained by re-examining the simple example above. In that example we used the geometric series

:$g\left(z\right) = sum_\left\{n=1\right\}^infty z^n ,$

and the Weierstrass M-test to demonstrate that the simple example defines an analytic function on the open unit disk.

The geometric series itself defines an analytic function that converges everywhere on the "closed" unit disk except when "z" = 1, where "g"("z") has a simple pole. [This can be shown by applying Abel's test to the geometric series "g"("z"). It can also be understood directly, by recognizing that the geometric series is the Maclaurin series for "g"("z") = "z"/(1−"z").] And, since "z" = "e""i&theta;" for points on the unit circle, the geometric series becomes

:$g\left(z\right) = sum_\left\{n=1\right\}^infty e^\left\{in heta\right\} = sum_\left\{n=1\right\}^infty left\left(cos n heta + isin n heta ight\right) ,$

at a particular "z", |"z"| = 1. From this perspective, then, mathematicians who investigate lacunary series are asking the question: How much does the geometric series have to be distorted &ndash; by chopping big sections out, and by introducing coefficients "a""k" &ne; 1 &ndash; before the resulting mathematical object is transformed from a nice smooth meromorphic function into something that exhibits a primitive form of chaotic behavior?

*Analytic continuation
*Szolem Mandelbrojt
*Benoit Mandelbrot
*Mandelbrot set

Notes

References

*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.

* [http://www.ams.org/proc/1999-127-02/S0002-9939-99-04541-4/S0002-9939-99-04541-4.pdf Fukuyama and Takahashi, 1999] A paper (PDF) entitled "The Central Limit Theorem for Lacunary Series", from the AMS.
* [http://hdl.handle.net/1911/8511 Mandelbrojt and Miles, 1927] A paper (PDF) entitled "Lacunary Functions", from Rice University.
* [http://mathworld.wolfram.com/LacunaryFunction.html MathWorld article on Lacunary Functions]

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Lacunary value — In mathematics, more precisely in complex analysis, a lacunary value of a complex valued function defined on a subset of the complex plane is a complex number which is not in the image of the function.More specifically, given a subset X of the… …   Wikipedia

• List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

• Analytic continuation — In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a new region where …   Wikipedia

• Ostrowski–Hadamard gap theorem — In mathematics, the Ostrowski–Hadamard gap theorem is a result about the analytic continuation of complex power series whose non zero terms are of orders that have a suitable gap between them. Such a power series is badly behaved in the sense… …   Wikipedia

• Central limit theorem — This figure demonstrates the central limit theorem. The sample means are generated using a random number generator, which draws numbers between 1 and 100 from a uniform probability distribution. It illustrates that increasing sample sizes result… …   Wikipedia

• Alexandra Bellow — (1935 ndash;) is a mathematician who has made substantial contributions to the fields of ergodic theory, probability and analysis. BiographyShe was born in Bucharest, Romania, as Alexandra Bagdasar. Her parents were both physicians. Her mother,… …   Wikipedia

• Roger Jones (mathematician) — For Roger Jones the physicist and entrepreneur see Roger Jones (physicist and entrepreneur) Roger L. Jones is an American mathematician. He has his Ph.D. in mathematics from Rutgers University and has recently retired from a professorship in… …   Wikipedia

• Szolem Mandelbrojt — Infobox Scientist name = Szolem Mandelbrojt image width = 300px caption = Szolem Mandelbrojt birth date = birth date|1899|1|10|df=y birth place = Warsaw, Poland death date = 1983 death place = Paris, France residence = nationality = descent field …   Wikipedia

• space — 1. noun /speɪs/ a) The intervening contents of a volume. If it be only a Single Letter or two that drops, he thruſts the end of his Bodkin between every Letter of that Word, till he comes to a Space: and then perhaps by forcing thoſe Letters… …   Wiktionary

• movement-image —    by Tom Conley   The movement image is the title of the first panel of a historical diptych, Cinema 1 and Cinema 2, that classifies modes of perception and production of film from its beginnings in 1895 up to 1985. In this work and its… …   The Deleuze dictionary