Another extension of Loewner's theorem (Q1070059)

Let f(x) be a real \(C^ 1\) function defined on an open set G of the real axis, and let \[ K(x,y)=f(x)-f(y))/(x-y)\quad for\quad x,y\in G\quad and\quad x\neq y, \] and \(K(x,x)=f'(x)\) for \(x\in G\). We assume that \(\sum^{n}_{j=1}\sum^{n}_{k=1}k(x_ j,x_ k)\alpha_ j{\bar \alpha}_ k\) is non-negative for each choice of complex numbers \(\alpha_ j\) and \(\alpha_ k\) and each choice of points \(x_ j\) and \(x_ k\) in G. A result of \textit{K. Loewner} [Math. Z. 38, 177-216 (1934; Zbl 0008.11301)] states that for each open interval I in G there exists a function \(\Phi\) analytic in the upper half plane and having positive imaginary part such that \(\Phi\) admits an analytic continuation across I such that \(f(x)=\Phi (x)\) for \(x\in I\). The author gives a new and essentially elementary proof of a generalization of the Loewner result. This generalization has been proved by \textit{M. Rosenblum} and \textit{J. Rovnyak} [Integral Equations Oper. Theory 3, 408-436 (1980; Zbl 0439.47010)]. The generalization says that the function \(\Phi\) is uniquely determined by the open set G and admits an analytic continuation across G such that \(f(x)=\Phi (x)\) for \(x\in G\). The proof makes use of properties of reproducing kernels.