Another extension of Loewner's theorem (Q1070059)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Another extension of Loewner's theorem
scientific article

    Statements

    Another extension of Loewner's theorem (English)
    0 references
    1985
    0 references
    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.
    0 references
    reproducing kernels
    0 references
    0 references

    Identifiers