In mathematics, Wiener's lemma is a well-known identity which relates the asymptotic behaviour of the Fourier coefficients of a Borel measure on the circle to its discrete part. This result admits an analogous statement for measures on the real line. It was first discovered by Norbert Wiener.
Definition Consider the space M ( T ) {\displaystyle M(\mathbb {T} )} of all (finite) complex Borel measures on the unit circle T {\displaystyle \mathbb {T} } and the space C ( T ) {\displaystyle C(\mathbb {T} )} of continuous functions on T {\displaystyle \mathbb {T} } as its dual space. Then C ( T ) ⊂ L p ( T ) {\displaystyle C(\mathbb {T} )\subset L^{p}(\mathbb {T} )} for all 1 ≤ p < ∞ {\displaystyle 1\leq p<\infty } and L 1 ( T ) ⊂ M ( T ) {\displaystyle L^{1}(\mathbb {T} )\subset M(\mathbb {T} )} . Given μ ∈ M ( T ) {\displaystyle \mu \in M(\mathbb {T} )} , let
μ p p = ∑ j c j δ z j , {\displaystyle \mu _{pp}=\sum _{j}c_{j}\delta _{z_{j}},}
be its discrete part (meaning that μ ( { z j } ) = c j ≠ 0 {\displaystyle \mu (\{z_{j}\})=c_{j}\neq 0} and μ ( { z } ) = 0 {\displaystyle \mu (\{z\})=0} for z ∉ { z j } {\displaystyle z\not \in \{z_{j}\}} . Then
lim N → ∞ 1 2 N + 1 ∑ n = − N N | μ ^ ( n ) | 2 = ∑ j | c j | 2 , {\displaystyle \lim _{N\to \infty }{\frac {1}{2N+1}}\sum _{n=-N}^{N}|{\widehat {\mu }}(n)|^{2}=\sum _{j}|c_{j}|^{2},}
where μ ^ ( n ) = ∫ T z − n d μ ( z ) {\displaystyle {\widehat {\mu }}(n)=\int _{\mathbb {T} }z^{-n}\,d\mu (z)} is the n {\displaystyle n} -th Fourier-Stieltjes coefficient of μ {\displaystyle \mu } . Similarly, on the real line R {\displaystyle \mathbb {R} } , the space M ( R ) {\displaystyle M(\mathbb {R} )} is the dual space of C 0 ( R ) {\displaystyle C_{0}(\mathbb {R} )} , continuous functions which vanish at infinity, and C 0 ( R ) ⊂ L p ( R ) {\displaystyle C_{0}(\mathbb {R} )\subset L^{p}(\mathbb {R} )} for all 1 ≤ p ≤ ∞ {\displaystyle 1\leq p\leq \infty } . Given μ ∈ M ( R ) {\displaystyle \mu \in M(\mathbb {R} )} , let
μ p p = ∑ j c j δ x j , {\displaystyle \mu _{pp}=\sum _{j}c_{j}\delta _{x_{j}},}
its discrete part. Then
… excerpt ends here. Continue reading the full article.
