“Fourier algebra”的意思、由来-开放百科全书

词条

Fourier algebra

释义

Definition
Informal Formal Helson–Kahane–Katznelson–Rudin theorem
References

Fourier and related algebras occur naturally in the harmonic analysis of locally compact groups. They play an important role in the duality theories of these groups. The Fourier–Stieltjes algebra and the Fourier–Stieltjes transform on the Fourier algebra of a locally compact group were introduced by Pierre Eymard in 1964.

Definition

Informal

Let G be a locally compact abelian group, and Ĝ the dual group of G. Then the Fourier transform of functions in , the group algebra of , is a sub-algebra A(G) of CB(G), the space of bounded continuous complex-valued functions on G with pointwise multiplication called the Fourier algebra of

G, and the Fourier-Stieltjes transform of measures in , the measure algebra of , also a subalgebra of CB(G), called the Fourier-Stieltjes algebra of G.

Formal

Let be a Fourier–Stieltjes algebra and be a Fourier algebra such that the locally compact group is abelian. Let be the measure algebra of finite measures on and let be the convolution algebra of integrable functions on , where is the character group of the Abelian group .

The Fourier–Stieltjes transform of a finite measure on is the function on defined by

The space of these functions is an algebra under pointwise multiplication is isomorphic to the measure algebra . Restricted to , viewed as a subspace of , the Fourier–Stieltjes transform is the Fourier transform on and its image is, by definition, the Fourier algebra . The generalized Bochner theorem states that a measurable function on is equal, almost everywhere, to the Fourier–Stieltjes transform of a non-negative finite measure on if and only if it is positive definite. Thus, can be defined as the linear span of the set of continuous positive-definite functions on . This definition is still valid when is not Abelian.

Helson–Kahane–Katznelson–Rudin theorem

Let A(G) be the Fourier algebra of a compact group G. Building upon the work of Wiener, Lévy, Gelfand, and Beurling, in 1959 Helson, Kahane, Katznelson, and Rudin proved that, when G is compact and abelian, a function f defined on a closed convex subset of the plane operates in A(G) if and only if f is real analytic.^[1] In 1969 Dunkl proved the result holds when G is compact and contains an infinite abelian subgroup.

References

1. ^{{cite journal|author1=H. Helson |author2=J.-P. Kahane |author3=Y. Katznelson |author4=W. Rudin |title=The functions which operate on Fourier transforms|journal=Acta Mathematica|volume=102|issue=1–2 |year=1959|pages=135–157|url=http://www.kryakin.com/files/Acta_Mat_(2_55)/acta106_57/102/102_10.pdf|doi=10.1007/bf02559571}}

{{SpringerEOM|id=Fourier-algebra(2)|first=Jean|last=Renault}}
"Functions that Operate in the Fourier Algebra of a Compact Group" Charles F. Dunkl Proceedings of the American Mathematical Society, Vol. 21, No. 3. (Jun., 1969), pp. 540–544. Stable URL:[https://www.jstor.org/stable/2036416]
"Functions which Operate in the Fourier Algebra of a Discrete Group" Leonede de Michele; Paolo M. Soardi, Proceedings of the American Mathematical Society, Vol. 45, No. 3. (Sep., 1974), pp. 389–392. Stable URL:[https://www.jstor.org/stable/2039963]
"Uniform Closures of Fourier-Stieltjes Algebras", Ching Chou, Proceedings of the American Mathematical Society, Vol. 77, No. 1. (Oct., 1979), pp. 99–102. Stable URL: [https://www.jstor.org/stable/2042723]
"Centralizers of the Fourier Algebra of an Amenable Group", P. F. Renaud, Proceedings of the American Mathematical Society, Vol. 32, No. 2. (Apr., 1972), pp. 539–542. Stable URL: [https://www.jstor.org/stable/2037854]

2 : Harmonic analysis|Algebras

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。