Definition

Let GG be a second-countable, unimodular, type I , fix a left dgdg, and let G^\widehat G be its . For fL1(G)L2(G)f\in L^1(G)\cap L^2(G), set π(f)=Gf(g)π(g)dg\pi(f)=\int_G f(g)\pi(g)\,dg. The Plancherel measure μPl\mu_{\mathrm{Pl}} is the unique positive Borel measure on G^\widehat G for which

f22=G^π(f)HS2dμPl(π).\lVert f\rVert_2^2 =\int_{\widehat G}\lVert\pi(f)\rVert_{\mathrm{HS}}^2\, d\mu_{\mathrm{Pl}}(\pi).

The transform extends to a unitary map from L2(G)L^2(G) onto the direct integral of the spaces.

Regular-representation decomposition

Under the Plancherel transform, the acts fiberwise by left multiplication with π(g)\pi(g). Consequently, the measure class of μPl\mu_{\mathrm{Pl}} is the spectral measure class of the regular representation in its . The type I hypothesis supplies the standard measurable irreducible decomposition and its essential uniqueness Folland, Chapter 7, “The Plancherel Theorem”.

Examples and support

For an abelian GG, every is a character and μPl\mu_{\mathrm{Pl}} is the Haar measure on the normalized dually to dgdg. For compact GG with Haar , it is discrete and assigns mass dimπ\dim\pi to each irreducible class. In general, its support in the is the tempered part of G^\widehat G, which may be smaller than the full unitary dual.

Conventions and nonunimodular groups

Rescaling dgdg rescales the representative Plancherel measure, although its and hence its measure class are unchanged. For a nonunimodular group, the displayed Hilbert–Schmidt formula must be modified by a measurable field of positive, generally unbounded Duflo–Moore operators; the bare formula in the core is therefore not valid unchanged Duflo--Moore, abstract and main construction.

References
  1. Gerald B. Folland, A Course in Abstract Harmonic Analysis, 2nd ed., CRC Press, 2016. Publisher record. Relevant: Chapter 7, sections “Direct Integral Decompositions” and “The Plancherel Theorem.”
  2. Michel Duflo and Calvin C. Moore, “On the Regular Representation of a Nonunimodular Locally Compact Group,” Journal of Functional Analysis 21 (1976), 209–243. DOI record. Relevant: the operator-valued correction to the nonunimodular Plancherel formula.