Definition

Let GG be a connected semisimple with finite center, let KK be a , and fix a left on GG. For an integrable KK-bi-invariant function ff, its spherical Fourier transform is

Sf(λ)=Gf(g)φλ(g)dg,\mathcal Sf(\lambda)=\int_G f(g)\varphi_{-\lambda}(g)\,dg,

where φλ\varphi_\lambda is the normalized with spectral parameter λ\lambda in the complexified dual of a maximal abelian subspace of the noncompact Cartan component. The transform is Weyl-invariant in λ\lambda. The sign on λ\lambda is conventional and is chosen to match the stated inversion convention.

Diagonalizing spherical convolution

For KK-bi-invariant integrable functions ff and hh,

S(fh)(λ)=Sf(λ)Sh(λ).\mathcal S(f*h)(\lambda) =\mathcal Sf(\lambda)\mathcal Sh(\lambda).

Thus the spherical transform is the scalar Fourier transform of the commutative convolution algebra associated with the (G,K)(G,K). The multiplicative property follows from the product formula for spherical functions Helgason, Chapter IV, §§2–3.

Inversion and Plancherel measure

On suitable test functions, ff is recovered by integrating Sf(λ)φλ\mathcal Sf(\lambda)\varphi_\lambda against the spherical Plancherel measure. For the standard real parameter space, that measure has density proportional to c(λ)2\lvert c(\lambda)\rvert^{-2}, where cc is the . This is the radial, commutative part of the nonabelian Plancherel formula.

Schwartz-space theorem

On the KK-bi-invariant , the transform is a topological algebra isomorphism onto an explicitly described Weyl-invariant Schwartz space. The Trombi–Varadarajan theorem gives the corresponding LpL^p-Schwartz versions and their holomorphic spectral domains Trombi–Varadarajan, main theorem.

References
  1. 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.
  2. 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.