The Plancherel formula extends to all f i ∈ ∈ L 2 ( G ) . By a theorem of Jacques Dixmier and Paul Malliavin, every smooth compactly supported function on G is a finite sum of convolutions of similar functions, the inversion formula holds for such f. It can be extended to much wider classes of functions satisfying mild differentiability conditions.