Wiener's tauberian theorem

In mathematical analysis, Wiener's tauberian theorem refers to one of several related results proved by Norbert Wiener in 1932.^[1] They provide a necessary and sufficient condition under which any function in $L 1$ or $L 2$ can be approximated by linear combinations of translations of a given function.^[2]

Informally, if the Fourier transform of a function $f$ vanishes on a certain set $Z$ , the Fourier transform of any linear combination of translations of $f$ also vanishes on $Z$ . Therefore the linear combinations of translations of $f$ can not approximate a function the Fourier transform of which does vanish on $Z$ .

Wiener's theorems make this precise, stating that linear combinations of translations of $f$ are dense if and only the zero set of the Fourier transform of $f$ is empty (in the case of $L 1$ ) or of zero Lebesgue measure zero (in the case of $L 2$ ).

1 The condition in L₁
- 1.1 Tauberian reformulation
- 1.2 Discrete version
2 The condition in L₂
3 Notes
4 References
5 External links

The condition in $L 1$

Let $f \in L 1 (R)$ be an integrable function. The span of translations $f a (x)$ = $f (x + a)$ is dense in $L 1 (R)$ if and only if the Fourier transform of $f$ has no real zeros.

Tauberian reformulation

The following statement is equivalent to the previous result, and explains why Wiener's result is a Tauberian theorem:

Suppose the Fourier transform of $f \in L 1$ has no real zeros, and suppose the convolution $f * h$ tends to zero at infinity for some $h \in L \infty$ . Then the convolution $g * h$ tends to zero at infinity for any $g \in L 1$ .

More generally, if

$\lim_{x \to \infty} (f*h)(x) = A \int f(x) dx$

for some $f \in L 1$ the Fourier transform of which has no real zeros, then also

$\lim_{x \to \infty} (g*h)(x) = A \int g(x) dx$

for any $g \in L 1$ .

Discrete version

Wiener's theorem has a counterpart in $l 1 (Z)$ : the span of the translations of $f \in l 1 (Z)$ is dense if and only if the Fourier transform

$\varphi(\theta) = \sum_{n \in \mathbb{Z}} f(n) e^{-in\theta} \,$

has no real zeros. The following statements are equivalent version of this result:

Suppose the Fourier transform of $f \in l 1 (Z)$ has no real zeros, and the convolution $f * h$ tends to zero at infinity for some bounded sequence $h$ . Then $g * h$ for any $g \in l 1 (Z)$ .

Let $φ$ be a function on the unit circle with absolutely convergent Fourier series. Then $1/ φ$ has absolutely convergent Fourier series if and only if $φ$ has no zeros.

Gelfand (1941a, 1941b) showed that this is equivalent to the following property of the Wiener algebra $A (T)$ , which he proved using the theory of Banach algebras, thereby giving a new proof of Wiener's result:

The maximal ideals of $A (T)$ are all of the form

$M_x = \left\{ f \in A(\mathbb{T}) \, \mid \, f(x) = 0 \right\}, \quad x \in \mathbb{T}. \,$

The condition in $L 2$

Let $f \in L 2 (R)$ be a square-integrable function. The span of translations $f a (x)$ = $f (x + a)$ is dense in $L 2 (R)$ if and only if the real zeros of the Fourier transform of $f$ form a set of zero Lebesgue measure.

The parallel statement in $l 2 (Z)$ is as follows: the span of translations of a sequence $f \in l 2 (Z)$ is dense if and only if the zero set of the Fourier transform

$\varphi(\theta) = \sum_{n \in \mathbb{Z}} f(n) e^{-in\theta} \,$

has zero Lebesgue measure.

Notes

^ See Wiener (1932).
^ see Rudin (1991).

References

Gelfand, I. (1941a), "Normierte Ringe", Rec. Math. [Mat. Sbornik] N. S. 9 (51): 3–24, MR 0004726
Gelfand, I. (1941b), "Über absolut konvergente trigonometrische Reihen und Integrale", Rec. Math. [Mat. Sbornik] N. S. 9 (51): 51–66, MR 0004727
Rudin, W. (1991), Functional analysis, International Series in Pure and Applied Mathematics, New York: McGraw-Hill, Inc., ISBN 0-07-054236-8, MR 1157815
Wiener, N. (1932), "Tauberian Theorems", Annals of Math. 33 (1): 1–100, JSTOR 1968102

External links

Shtern, A.I. (2001), "Wiener Tauberian theorem", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1556080104, http://www.encyclopediaofmath.org/index.php?title=W/w097950