Favard theorem for reproducing kernels (Q1893567)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Favard theorem for reproducing kernels
scientific article

    Statements

    Favard theorem for reproducing kernels (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    4 July 1995
    0 references
    Consider for \(n = 0, 1, \dots\) the nested spaces \({\mathcal L}_n\) of rational functions of degree \(n\) at most with given poles \(1/ \overline \alpha_i\), \(|\alpha_i |< 1\), \(i = 1, \dots, n\). Let \({\mathcal L} = \cup^\infty_0 {\mathcal L}_n\). Given a finite positive measure \(\mu\) on the unit circle, we associate with it an inner product on \({\mathcal L}\) by \(\langle f,g \rangle = \int f \overline gd \mu\). Suppose \(k_n (z,w)\) is the reproducing kernel for \({\mathcal L}_n\) i.e., \(\langle f(z), k_n (z,w) \rangle = f(w)\), for all \(f \in {\mathcal L}_n\), \(|w |< 1\), then it is known that they satisfy a coupled recurrence relation. In this paper we shall prove a Favard type theorem which says that if you have a sequence of kernel functions \(k_n (z,w)\) which are generated by such a recurrence, then there will be a measure \(\mu\) supported on the unit circle so that \(k_n\) is the reproducing kernel for \({\mathcal L}_n\). The measure is unique under certain extra conditions on the points \(\alpha_i\).
    0 references
    0 references
    orthogonal rational functions
    0 references
    Favard theorem
    0 references
    reproducing kernel
    0 references