Wiener–Lévy theorem

{{Short description|Theorem about convergence of Fourier series}}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,{{cite journal |last=Wiener |first=N. |year=1932 |title=Tauberian Theorems |journal=Annals of Mathematics |volume=33 |issue=1 |pages=1–100 |jstor=1968102 |doi=10.2307/1968102}} see Wiener's theorem. It states that if {{math|f}} has absolutely convergent Fourier series and is never zero, then its inverse {{math|1/f}} also has an absolutely convergent Fourier series.

Wiener–Levy theorem

Paul Levy generalized Wiener's result,{{cite journal |last=Lévy |first=P. |year=1935 |title=Sur la convergence absolue des séries de Fourier |journal=Compositio Mathematica |volume=1 |pages=1–14 }} showing that

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

: $\|F\| = \sum\limits_{k = -\infty}^\infty |c_k| < \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 book Trigonometric Series.{{cite book |last=Zygmund |first=A. |year=2002 |title=Trigonometric Series|title-link=Trigonometric Series |publisher=Cambridge University Press |location=Cambridge |page=245 }}

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 \left( \sum\limits_{k = 0}^\infty p_k e^{ik\theta} \right) = \sum_{k = 0}^\infty c_k e^{ik\theta},$

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

The statistical application of this example can be found in discrete pseudo compound Poisson distribution{{Cite journal |first =Zhang | last = Huiming |last2=Li |first2=Bo |author3=G. Jay Kerns |title=A characterization of signed discrete infinitely divisible distributions|journal=Studia Scientiarum Mathematicarum Hungarica|volume=54 |year=2017|pages=446–470|url=https://akademiai.com/doi/abs/10.1556/012.2017.54.4.1377 |doi=10.1556/012.2017.54.4.1377|arxiv=1701.03892}} and zero-inflated model.

If a discrete r.v. $X$ with $\Pr(X = i) = P_{i}$ , $i \in \mathbb N$ , has the probability generating function of the form

: $P(z) = \sum\limits_{i = 0}^\infty P_{i} z^{i} = \exp \left\{\sum\limits_{i = 1}^{\infty} \alpha_{i} \lambda (z^{i} - 1) \right\},z=e^{ik\theta}$

where $\sum\limits_{i = 1}^{\infty} \alpha_{i} = 1$ , $\sum \limits_{i =
1}^{\infty} \left| \alpha_{i} \right| < \infty$ , $\alpha_{i} \in
\mathbb{R}$ , and $\lambda > 0$ . Then $X$ is said to have the discrete pseudo compound Poisson distribution, abbreviated DPCP.

We denote it as $X \sim DPCP({\alpha _1}\lambda,{\alpha _2}\lambda, \cdots )$ .

References

Category:Theorems in Fourier analysis

Wiener–Lévy theorem

Wiener–Levy theorem

Example

See also

References