Wiener–Lévy theorem

Wiener–Lévy theorem is a theorem in Fourier analysis, which states that a function of an absolutely convergent Fourier series has an absolutely convergent Fourier series under some conditions. The theorem was named after Norbert Wiener and Paul Lévy.

Norbert Wiener first proved Wiener's 1/f theorem,^[1] see Wiener's theorem. It states that if f has absolutely convergent Fourier series and is never zero, then its inverse 1/f also has an absolutely convergent Fourier series.

Wiener–Levy theorem

Paul Levy generalized Wiener's result,^[2] showing that

Let $F(\theta ) = \sum\limits_{k = - \infty }^\infty {{c_k}{e^{ik\theta }}} ,\theta \in [0,2\pi ]$ be a absolutely convergent Fourier series with

$\left\| F \right\| = \sum\limits_{k = - \infty }^\infty {\left| {{c_k}} \right|} < \infty$.

The values of $F(\theta )$ lie on a curve $C$, and $H(t)$ is an analytic (not necessarily single-valued) function of a complex variable which is regular at every point of $C$. Then $H[F(\theta )]$ has an absolutely convergent Fourier series.

The proof can be found in the Zygmund's classic trigonometric series book.^[3]

Example

Let $H(\theta )=ln(\theta )$ and $F(\theta ) = \sum\limits_{k = 0}^\infty {{p_k}{e^{ik\theta }}} ,(\sum\limits_{k = 0}^\infty {{p_k} = 1} )$ is characteristic function of discrete probability distribution. So $F(\theta )$ is an absolutely convergent Fourier series. If $F(\theta )$ has no zeros, then we have

$H[F(\theta )] = ln(\sum\limits_{k = 0}^\infty {{p_k}{e^{ik\theta }}} ) = \sum\limits_{k = 0}^\infty {{c_k}{e^{ik\theta }}}$,

where $\left\| H \right\| = \sum\limits_{k = 0}^\infty {\left| {{c_k}} \right|} < \infty$.

The statistical application of this example can be found in discrete pseudo compound Poisson distribution and Zero-inflated model.

See also

• Wiener's theorem

References

1. Wiener, N. (1932). "Tauberian Theorems". Annals of Mathematics 33 (1): 1–100. doi:10.2307/1968102. JSTOR 1968102.
2. Lévy, P. (1935). "Sur la convergence absolue des séries de Fourier". Compositio Mathematica 1: 1–14.
3. Zygmund, A. (2002). Trigonometric series. Cambridge: Cambridge University Press. p. 245.