A Bochner type theorem for inductive limits of Gelfand pairs (Q939591)

Das klassische Bochner-Theorem besagt, dass eine positiv definite Funktion auf einer lokal-kompakten Abelschen Gruppe \(G\) als Mischung von Charakteren von \(G\) geschrieben werden kann. Das Bochner-Godement-Theorem verallgemeinert diese Aussage auf Gelfand-Paare \((G, K)\), wobei man von \(K\)-biinvarianten positiv definiten Funktionen ausgeht und die Charaktere durch die (zonalen) Kugelfunktionen auf \(G\) bezüglich \(K\) ersetzt. Der Beweis wird mit Hilfe der Theorie der Integraldarstellungen geführt. In der vorliegenden Arbeit wird das Bochner-Godement-Theorem auf Olshanski-sphärische Paare erweitert. Das sind induktive Limites \((G, K)\) wachsender Folgen \((G(n), K(n))\) von Gelfand-Paaren. Hier erhebt sich nun das Problem, dass \(G\) im allgemeinen nicht lokalkompakt und somit eine direkte Anwendung des Choquet-Theorems wie im Falle von Gelfand-Paaren nicht möglich ist. Deshalb arbeitet der Autor mit ``subprojektiven'' Systemen positiv definiter Funktionen auf \(G(n)\), in die er die Menge \({\mathcal P}^\natural(G)\) der \(K\)-biinvarianten positiv definiten Funktionen einbettet. Beschränkt man sich auf die positiv definiten Funktionen \(\varphi\) mit \(\varphi(e)\leq 1\), so erhält man eine kompakte metrisierbare Menge, auf die man das Choquet-Theorem anwenden kann. Der Autor benutzt hier eine Verallgemeinerung der Methode, mit der \textit{E. Thoma} im Fall abzählbarer diskreter Gruppen gearbeitet hat [Math. Z. 84, 389--402 (1964; Zbl 0136.11701)].