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

Informally, if the Fourier transform of a function vanishes on a certain set , the Fourier transform of any linear combination of translations of also vanishes on . Therefore, the linear combinations of translations of cannot approximate a function whose Fourier transform does not vanish on .

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

Gelfand reformulated Wiener's theorem in terms of commutative C*-algebras, when it states that the spectrum of the group ring of the group of real numbers is the dual group of . A similar result is true when is replaced by any locally compact abelian group.

The condition in L1

Let be an integrable function. The span of translations is dense in if and only if the Fourier transform of 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 has no real zeros, and suppose the convolution tends to zero at infinity for some . Then the convolution tends to zero at infinity for any .

More generally, if

for some the Fourier transform of which has no real zeros, then also

for any .

Discrete version

Wiener's theorem has a counterpart in : the span of the translations of is dense if and only if the Fourier series

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

  • Suppose the Fourier series of has no real zeros, and for some bounded sequence the convolution

tends to zero at infinity. Then also tends to zero at infinity for any .

  • Let be a function on the unit circle with absolutely convergent Fourier series. Then 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 , which he proved using the theory of Banach algebras, thereby giving a new proof of Wiener's result:

  • The maximal ideals of are all of the form

The condition in L2

Let be a square-integrable function. The span of translations is dense in if and only if the real zeros of the Fourier transform of form a set of zero Lebesgue measure.

The parallel statement in is as follows: the span of translations of a sequence is dense if and only if the zero set of the Fourier series

has zero Lebesgue measure.

Notes

References

  • Gelfand, I. (1941a), "Normierte Ringe", Rec. Math. (Mat. Sbornik), Nouvelle Série, 9 (51): 3–24, MR 0004726
  • Gelfand, I. (1941b), "Über absolut konvergente trigonometrische Reihen und Integrale", Rec. Math. (Mat. Sbornik), Nouvelle Série, 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 Mathematics, 33 (1): 1–100, doi:10.2307/1968102, JSTOR 1968102
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.