Wiener algebra

In mathematics, the Wiener algebra, named after Norbert Wiener and usually denoted by , is the space of absolutely convergent Fourier series.
Here denotes the circle group.

Banach algebra structure

The norm of a function is given by

:$\, f\, =\sum_^\infty , \hat(n), ,\,$

where

:$\hat(n)= \frac\int_^\pi f(t)e^ \, dt$

is the th Fourier coefficient of . The Wiener algebra is closed under pointwise multiplication of functions. Indeed,

:$\begin f(t)g(t) & = \sum_ \hat(m)e^\,\cdot\,\sum_ \hat(n)e^ \\ & = \sum_ \hat(m)\hat(n)e^ \\ & = \sum_ \left\e^ ,\qquad f,g\in A(\mathbb); \end$

therefore

:$\, f g\, = \sum_ \left, \sum_ \hat(n-m)\hat(m) \ \leq \sum_ , \hat(m), \sum_n , \hat(n), = \, f\, \, \, g\, .\,$

Thus the Wiener algebra is a commutative unitary Banach algebra. Also, is isomorphic to the Banach algebra , with the isomorphism given by the Fourier transform.

Properties

The sum of an absolutely convergent Fourier series is continuous, so
:$A(\mathbb)\subset C(\mathbb)$
where is the ring of continuous functions on the unit circle.

On the other hand an integration by parts, together with the Cauchy–Schwarz inequality and Parseval's formula, shows that

: $C^1(\mathbb)\subset A(\mathbb).\,$

More generally,

: $\mathrm_\alpha(\mathbb)\subset A(\mathbb)\subset C(\mathbb)$

for $\alpha>1/2$ (see ).

Wiener's 1/''f'' theorem

proved that if has absolutely convergent Fourier series and is never zero, then its reciprocal also has an absolutely convergent Fourier series. Many other proofs have appeared since then, including an elementary one by .

used the theory of Banach algebras that he developed to show that the maximal ideals of are of the form

:$M_x = \left\, \quad x \in \mathbb~,$

which is equivalent to Wiener's theorem.

See also

*Wiener–Lévy theorem

Notes

References

*
*
*
*
*
*
*

{{SpectralTheory

Banach algebras
Fourier series