Olshanski spherical pairs of semigroups type

Let [Formula: see text] be the infinite semigroup, inductive limit of the increasing sequence of the semigroups [Formula: see text], where [Formula: see text] is the unitary group of matrices and [Formula: see text] is the semigroup of positive hermitian matrices. The main purpose of this work is twofold. First, we give a complete classification of spherical functions defined on [Formula: see text], by following a general approach introduced by Olshanski and Vershik.10 Second, we prove an integral representation for functions of positive-type analog to the Bochner–Godement theorem, and a Lévy–Khinchin formula for functions of negative type defined on [Formula: see text].