Namespaces
Variants
Actions

Difference between revisions of "Lacunary trigonometric series"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
l0571201.png
 +
$#A+1 = 14 n = 0
 +
$#C+1 = 14 : ~/encyclopedia/old_files/data/L057/L.0507120 Lacunary trigonometric series
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A series of the form
 
A series of the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l0571201.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
+
$$ \tag{1 }
 +
a _ {0} + \sum _ { k= } 1 ^  \infty  a _ {k}  \cos  n _ {k} x + b _ {k}  \sin \
 +
n _ {k} x ,
 +
$$
  
 
with
 
with
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l0571202.png" /></td> </tr></table>
+
$$
 +
\lim\limits _ {k \rightarrow \infty }  \inf 
 +
\frac{n _ {k+} 1 }{n _ {k} }
 +
  = \
 +
\lambda  > 1 .
 +
$$
  
In 1872 K. Weierstrass presented a continuous nowhere-differentiable function by means of a series of type (1). In 1892 J. Hadamard applied the series (1), calling them lacunary, to the study of [[Analytic continuation|analytic continuation]] of functions. A systematic study of lacunary trigonometric series began with a paper by P. Fatou in 1906, in which he proved that everywhere convergence of a lacunary trigonometric series for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l0571203.png" /> implies that
+
In 1872 K. Weierstrass presented a continuous nowhere-differentiable function by means of a series of type (1). In 1892 J. Hadamard applied the series (1), calling them lacunary, to the study of [[Analytic continuation|analytic continuation]] of functions. A systematic study of lacunary trigonometric series began with a paper by P. Fatou in 1906, in which he proved that everywhere convergence of a lacunary trigonometric series for $  \lambda > 3 $
 +
implies that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l0571204.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>
+
$$ \tag{2 }
 +
\sum _ { k= } 1 ^  \infty  | a _ {k} | + | b _ {k} |  < + \infty .
 +
$$
  
 
Lacunary trigonometric series have properties essentially different from those of general [[Trigonometric series|trigonometric series]]. For example, A.N. Kolmogorov, having constructed the first example (1923) of a summable function with Fourier series diverging almost-everywhere, proved in 1924 that a lacunary Fourier series converges almost-everywhere; A. Zygmund proved (1948) that if the sums of two lacunary trigonometric series coincide on a set of positive measure, then these series are identical. For many applications of lacunary trigonometric series the dependence of properties of the series (1) on its coefficients, discovered by Zygmund in the 1930's, is important. Thus, if
 
Lacunary trigonometric series have properties essentially different from those of general [[Trigonometric series|trigonometric series]]. For example, A.N. Kolmogorov, having constructed the first example (1923) of a summable function with Fourier series diverging almost-everywhere, proved in 1924 that a lacunary Fourier series converges almost-everywhere; A. Zygmund proved (1948) that if the sums of two lacunary trigonometric series coincide on a set of positive measure, then these series are identical. For many applications of lacunary trigonometric series the dependence of properties of the series (1) on its coefficients, discovered by Zygmund in the 1930's, is important. Thus, if
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l0571205.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>
+
$$ \tag{3 }
 +
\sum _ { k= } 1 ^  \infty  a _ {k}  ^ {2} +
 +
b _ {k}  ^ {2}  < + \infty ,
 +
$$
 +
 
 +
then the series (1) is the Fourier series of a function  $  f $
 +
belonging to all spaces  $  L _ {p} ( 0 , 2 \pi ) $,
 +
$  1 \leq  p < + \infty $,
 +
hence it converges almost-everywhere. There are constants  $  A _ {p} , B _ {p} > 0 $
 +
depending only on  $  p $
 +
and  $  \lambda $
 +
such that
  
then the series (1) is the Fourier series of a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l0571206.png" /> belonging to all spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l0571207.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l0571208.png" />, hence it converges almost-everywhere. There are constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l0571209.png" /> depending only on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l05712010.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l05712011.png" /> such that
+
$$
 +
A _ {p} \left (
 +
\sum _ { k= } 1 ^  \infty 
 +
a _ {k}  ^ {2} + b _ {k}  ^ {2}
 +
\right ) ^ {1/2}  \leq  \
 +
\left (
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l05712012.png" /></td> </tr></table>
+
\frac{1}{2 \pi }
 +
\int\limits _ { 0 } ^ { {2 }  \pi }
 +
| f |  ^ {p}  dx \right )  ^ {1/p\ } \leq
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l05712013.png" /></td> </tr></table>
+
$$
 +
\leq  \
 +
B _ {p} \left ( \sum _ { k= } 1 ^  \infty  a _ {k}  ^ {2} + b _ {k}  ^ {2} \right )  ^ {1/2} .
 +
$$
  
If (3) is not satisfied, then the series (1) diverges almost-everywhere, and, moreover, almost-everywhere it cannot be summed by any Toeplitz method (cf. [[Toeplitz matrix|Toeplitz matrix]]) (and is therefore not a [[Fourier series|Fourier series]]). If the series (1) converges at every point of some interval, then (2) is satisfied. If the coefficients of the series (1) are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l057/l057120/l05712014.png" />, then its sum is a continuous smooth function, differentiable at just those points at which the formally differentiated series of (1) converges.
+
If (3) is not satisfied, then the series (1) diverges almost-everywhere, and, moreover, almost-everywhere it cannot be summed by any Toeplitz method (cf. [[Toeplitz matrix|Toeplitz matrix]]) (and is therefore not a [[Fourier series|Fourier series]]). If the series (1) converges at every point of some interval, then (2) is satisfied. If the coefficients of the series (1) are $  o ( 1 / n _ {k} ) $,  
 +
then its sum is a continuous smooth function, differentiable at just those points at which the formally differentiated series of (1) converges.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N.K. [N.K. Bari] Bary,  "A treatise on trigonometric series" , Pergamon  (1964)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A. Zygmund,  "Trigonometric series" , '''1–2''' , Cambridge Univ. Press  (1988)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  P.L. Ul'yanov,  "Solved and unsolved problems in the theory of trigonometric and orthogonal series"  ''Russian Math. Surveys'' , '''19''' :  1  (1964)  pp. 1–62  ''Uspekhi Mat. Nauk'' , '''19''' :  1  (1964)  pp. 3–69</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  V.F. Gaposhkin,  "Lacunary series and independent functions"  ''Russian Math. Surveys'' , '''21''' :  6  (1966)  pp. 1–82  ''Uspekhi Mat. Nauk'' , '''21''' :  6  (1966)  pp. 3–82</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  J.-P. Kahane,  "Some random series of functions" , Cambridge Univ. Press  (1985)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  J.-P. Kahane,  "Séries de Fourier absolument convergentes" , Springer  (1970)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  W. Rudin,  "Fourier analysis on groups" , Interscience  (1962)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N.K. [N.K. Bari] Bary,  "A treatise on trigonometric series" , Pergamon  (1964)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A. Zygmund,  "Trigonometric series" , '''1–2''' , Cambridge Univ. Press  (1988)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  P.L. Ul'yanov,  "Solved and unsolved problems in the theory of trigonometric and orthogonal series"  ''Russian Math. Surveys'' , '''19''' :  1  (1964)  pp. 1–62  ''Uspekhi Mat. Nauk'' , '''19''' :  1  (1964)  pp. 3–69</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  V.F. Gaposhkin,  "Lacunary series and independent functions"  ''Russian Math. Surveys'' , '''21''' :  6  (1966)  pp. 1–82  ''Uspekhi Mat. Nauk'' , '''21''' :  6  (1966)  pp. 3–82</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  J.-P. Kahane,  "Some random series of functions" , Cambridge Univ. Press  (1985)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  J.-P. Kahane,  "Séries de Fourier absolument convergentes" , Springer  (1970)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  W. Rudin,  "Fourier analysis on groups" , Interscience  (1962)</TD></TR></table>

Revision as of 22:15, 5 June 2020


A series of the form

$$ \tag{1 } a _ {0} + \sum _ { k= } 1 ^ \infty a _ {k} \cos n _ {k} x + b _ {k} \sin \ n _ {k} x , $$

with

$$ \lim\limits _ {k \rightarrow \infty } \inf \frac{n _ {k+} 1 }{n _ {k} } = \ \lambda > 1 . $$

In 1872 K. Weierstrass presented a continuous nowhere-differentiable function by means of a series of type (1). In 1892 J. Hadamard applied the series (1), calling them lacunary, to the study of analytic continuation of functions. A systematic study of lacunary trigonometric series began with a paper by P. Fatou in 1906, in which he proved that everywhere convergence of a lacunary trigonometric series for $ \lambda > 3 $ implies that

$$ \tag{2 } \sum _ { k= } 1 ^ \infty | a _ {k} | + | b _ {k} | < + \infty . $$

Lacunary trigonometric series have properties essentially different from those of general trigonometric series. For example, A.N. Kolmogorov, having constructed the first example (1923) of a summable function with Fourier series diverging almost-everywhere, proved in 1924 that a lacunary Fourier series converges almost-everywhere; A. Zygmund proved (1948) that if the sums of two lacunary trigonometric series coincide on a set of positive measure, then these series are identical. For many applications of lacunary trigonometric series the dependence of properties of the series (1) on its coefficients, discovered by Zygmund in the 1930's, is important. Thus, if

$$ \tag{3 } \sum _ { k= } 1 ^ \infty a _ {k} ^ {2} + b _ {k} ^ {2} < + \infty , $$

then the series (1) is the Fourier series of a function $ f $ belonging to all spaces $ L _ {p} ( 0 , 2 \pi ) $, $ 1 \leq p < + \infty $, hence it converges almost-everywhere. There are constants $ A _ {p} , B _ {p} > 0 $ depending only on $ p $ and $ \lambda $ such that

$$ A _ {p} \left ( \sum _ { k= } 1 ^ \infty a _ {k} ^ {2} + b _ {k} ^ {2} \right ) ^ {1/2} \leq \ \left ( \frac{1}{2 \pi } \int\limits _ { 0 } ^ { {2 } \pi } | f | ^ {p} dx \right ) ^ {1/p\ } \leq $$

$$ \leq \ B _ {p} \left ( \sum _ { k= } 1 ^ \infty a _ {k} ^ {2} + b _ {k} ^ {2} \right ) ^ {1/2} . $$

If (3) is not satisfied, then the series (1) diverges almost-everywhere, and, moreover, almost-everywhere it cannot be summed by any Toeplitz method (cf. Toeplitz matrix) (and is therefore not a Fourier series). If the series (1) converges at every point of some interval, then (2) is satisfied. If the coefficients of the series (1) are $ o ( 1 / n _ {k} ) $, then its sum is a continuous smooth function, differentiable at just those points at which the formally differentiated series of (1) converges.

References

[1] N.K. [N.K. Bari] Bary, "A treatise on trigonometric series" , Pergamon (1964) (Translated from Russian)
[2] A. Zygmund, "Trigonometric series" , 1–2 , Cambridge Univ. Press (1988)
[3] P.L. Ul'yanov, "Solved and unsolved problems in the theory of trigonometric and orthogonal series" Russian Math. Surveys , 19 : 1 (1964) pp. 1–62 Uspekhi Mat. Nauk , 19 : 1 (1964) pp. 3–69
[4] V.F. Gaposhkin, "Lacunary series and independent functions" Russian Math. Surveys , 21 : 6 (1966) pp. 1–82 Uspekhi Mat. Nauk , 21 : 6 (1966) pp. 3–82
[5] J.-P. Kahane, "Some random series of functions" , Cambridge Univ. Press (1985)
[6] J.-P. Kahane, "Séries de Fourier absolument convergentes" , Springer (1970)
[7] W. Rudin, "Fourier analysis on groups" , Interscience (1962)
How to Cite This Entry:
Lacunary trigonometric series. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lacunary_trigonometric_series&oldid=47552
This article was adapted from an original article by V.F. Emel'yanov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article