No label defined (Q4359603)

In [J. Geom. Anal. 2, 213-248 (1992; Zbl 0788.43008)] hatten \textit{E. Damek} und \textit{F. Ricci} auf axiomatischem Wege den Begriff eines Mittelungsprojektors \(R\) auf einer Lie-Gruppe \(S\) eingeführt. Dadurch wird die Mittelbildung für Funktionen bezüglich der Wirkung einer kompakten Gruppe \(K\) verallgemeinert. Die \(K\)-invarianten Funktionen sind dann in diesem verallgemeinerten Kontext die Funktionen im Bild von \(R\); sie heißen radiale Funktionen. Der Mittelungsprojektor \(R\) heißt Gel'fand-Projektor, wenn die radialen \(L^1\)-Funktionen auf \(S\) eine kommutative Algebra bilden, die in Analogie zur klassischen Notation mit \(L^1(S)^\sharp\) bezeichnet wird. In der vorliegenden Arbeit werden die grundlegenden Resultate der Theorie der Gel'fand-Paare auf die Situation einer Lie-Gruppe mit einem Gel'fand-Projektor erweitert. Es wird gezeigt, daß die Menge \(\Omega\) der positiv definiten sphärischen Funktionen genau aus den extremalen Elementen in der Menge der normalisierten stetigen radialen positiv definiten Funktionen besteht. Die Elemente von \(\Omega\) werden auch noch durch darstellungstheoretische Eigenschaften charakterisiert. \(\Omega\) entspricht dem Spektrum der kommutativen Algebra \(L^1(S)^\sharp\). Die Autorin beweist eine Analogie zu den Sätzen von Bochner-Godement und von Plancherel-Godement. Sie findet die klassischen Resultate für symmetrische Räume im Rahmen ihrer Theorie wieder und demonstriert darüber hinaus den Wert ihrer Resultate am Beispiel der harmonischen Erweiterungen der nilpotenten Gruppen vom Heisenbergschen Typ.