Positive definite functions on the Heisenberg group (Q915058)

Let G be a unimodular locally compact group and C a part of G of the form \(C=B^{-1}B\) for some open set B. A function F defined on C is said positive definite on C if one has: \(\sum_{i,j}F(x_ i^{-1}x_ j)\xi_ i\xi_ j\geq 0\) for any sequences \(\xi_ 1,\xi_ 2,...,\xi_ n\) of complex numbers and \(x_ 1,x_ 2,...,x_ n\) of points in B. One says that F is extendable in the weak sense if there exists a positive definite kernel K(x,y) on G such that \(K(x,y)=F(x^{-1}y)\) for (x,y)\(\in B\times B\). The function F is said to be extendable in the strong sense if there exists a positive definite function on G which agrees with F on C. If one chooses G to be the Heisenberg group \(G=\{(z,x)\); \(z\in {\mathbb{C}}\), \(x\in {\mathbb{R}}\}\) and B to be the cylinder \(| z| <\), then the result is the following. If \(F(z,x)=F(uz,x)\) for any complex number u then F is extendable in the weak sense. Actually the kernel K is constructed as a reproducing kernel of the form: \[ K(x,y)=\int^{\infty}_{0}\sum_{i,j}v_{i,j}(t,x)\overline{v_{i,j}( t,y)}d\mu (t), \] where the functions \(x\to v_{i,j}(t,x)\) are eigenfunctions of the sub-Laplacian operator on the group G. Moreover if K can be chosen analytic then \(x\to K(x,e)\) is a strong extension of F.