Trigonometrical Series

In mathematics, a trigonometric series is a infinite series of the form

: $\frac+\displaystyle\sum_^(A_ \cos + B_ \sin),$

an infinite version of a trigonometric polynomial.

It is called the Fourier series of the integrable function $f$ if the terms $A_$ and $B_$ have the form:

:$A_=\frac\displaystyle\int^_0\! f(x) \cos \,dx\qquad (n=0,1,2,3 \dots)$

:$B_=\frac\displaystyle\int^_0\! f(x) \sin\, dx\qquad (n=1,2,3, \dots)$

The zeros of a trigonometric series

The uniqueness and the zeros of trigonometric series was an active area of research in 19th century Europe. First, Georg Cantor proved that if a trigonometric series is convergent to a function $f(x)$ on the interval , 2\pi/math>, which is identically zero, or more generally, is nonzero on at most finitely many points, then the coefficients of the series are all zero.

Later Cantor proved that even if the set ''S'' on which $f$ is nonzero is infinite, but the derived set ''S of ''S'' is finite, then the coefficients are all zero. In fact, he proved a more general result. Let ''S''_''0'' = ''S'' and let ''S''_''k+1'' be the derived set of ''S''_''k''. If there is a finite number ''n'' for which ''S''_''n'' is finite, then all the coefficients are zero. Later, Lebesgue proved that if there is a countably infinite ordinal ''α'' such that ''S''_''α'' is finite, then the coefficients of the series are all zero. Cantor's work on the uniqueness problem famously led him to invent transfinite ordinal numbers, which appeared as the subscripts ''α'' in ''S''_''α'' .

References

See also

* Denjoy–Luzin theorem

{{series (mathematics)

Fourier series