Radial positive definite functions and Schoenberg matrices with negative eigenvalues
The main object under consideration is a class Φn\Φn+1 of radial positive definite functions on Rn which do not admit \emph{radial positive definite continuation} on Rn+1. We find certain necessary and sufficient conditions for the Schoenberg representation measure νn of f∈Φn in order that the inclusion f∈Φn+k, k∈N, holds. We show that the class Φn\Φn+k is rich enough by giving a number of examples. In particular, we give a direct proof of Ωn∈Φn\Φn+1, which avoids Schoenberg's theorem, Ωn is the Schoenberg kernel. We show that Ωn(a⋅)Ωn(b⋅)∈Φn\Φn+1, for a=b. Moreover, for the square of this function we prove surprisingly much stronger result: Ωn2(a⋅)∈Φ2n−1\Φ2n. We also show that any f∈Φn\Φn+1, n≥2, has infinitely many negative squares. The latter means that for an arbitrary positive integer N there is a finite Schoenberg matrix $\kS_X(f) := \|f(|x_i-x_j|_{n+1})\|_{i,j=1}^{m}$, X:={xj}j=1m⊂Rn+1, which has at least N negative eigenvalues.