Definition
Spherical Fourier transform
The scalar transform of a bi-invariant function obtained by integrating it against elementary spherical functions.
Definition
Let be a connected semisimple Lie group with finite center, let be a maximal compact subgroup, and fix a left Haar measure on . For an integrable -bi-invariant function , its spherical Fourier transform is
where is the normalized elementary spherical function with spectral parameter in the complexified dual of a maximal abelian subspace of the noncompact Cartan component. The transform is Weyl-invariant in . The sign on is conventional and is chosen to match the stated inversion convention.
Diagonalizing spherical convolution
For -bi-invariant integrable functions and ,
Thus the spherical transform is the scalar Fourier transform of the commutative convolution algebra associated with the Gelfand pair . The multiplicative property follows from the product formula for spherical functions Helgason, Chapter IV, §§2–3.
Inversion and Plancherel measure
On suitable test functions, is recovered by integrating against the spherical Plancherel measure. For the standard real parameter space, that measure has density proportional to , where is the Harish-Chandra -function. This is the radial, commutative part of the nonabelian Plancherel formula.
Schwartz-space theorem
On the -bi-invariant Harish-Chandra Schwartz space, the transform is a topological algebra isomorphism onto an explicitly described Weyl-invariant Schwartz space. The Trombi–Varadarajan theorem gives the corresponding -Schwartz versions and their holomorphic spectral domains Trombi–Varadarajan, main theorem.
References
- Sigurdur Helgason, Groups and Geometric Analysis: Integral Geometry, Invariant Differential Operators, and Spherical Functions, American Mathematical Society, 2000. AMS record. Relevant: Chapter IV on spherical functions, spherical transforms, inversion, and Plancherel theory.
- P. C. Trombi and V. S. Varadarajan, “Spherical Transforms on Semisimple Lie Groups,” Annals of Mathematics 94 (1971), 246–303. DOI record. Relevant: the main Schwartz-space isomorphism theorem.