Nonlinear expansions in reproducing kernel Hilbert spaces (Q6062482)
From MaRDI portal
scientific article; zbMATH DE number 7772936
Language | Label | Description | Also known as |
---|---|---|---|
English | Nonlinear expansions in reproducing kernel Hilbert spaces |
scientific article; zbMATH DE number 7772936 |
Statements
Nonlinear expansions in reproducing kernel Hilbert spaces (English)
0 references
1 December 2023
0 references
Let \(\mathcal H\) be an reproducing kernel Hilbert space (RKHS) on \(X\) with multiplier algebra \(\mathcal M(\mathcal H)\). For \(\phi\in\mathcal M(\mathcal H)\) let \(M_\phi f=\phi f\) be the multiplication operator on \(\mathcal H\), and define \(P_\phi:=M_\phi M_\phi^*\) and \(Q_\phi = I- M_\phi M^*_\phi\). For \(g\in \mathcal H\) it now follows that \[ g=Q_\phi g + \phi M_\phi^*g. \] Let \((\phi_n)_{n\ge 1}\) be a sequence of elements in the closed unit ball of \(\mathcal M(\mathcal H)\). Fix \(f\in \mathcal H\). Then by (1) with \(\phi = \phi_1\) we have \(f=Q_{\phi_1}f +\phi_1M_{\phi_1}^* f\). One next applies (1) with \(\phi=\phi_2\) to \(g=M^*_{\phi_1}f\) to obtain \[ f= Q_{\phi_1}f + \phi_1 Q_{\phi_2}M^*_{\phi_1} f + \phi_1\phi_2 M^*_{\phi_1\phi_2}f. \] By induction this procedure can be continued indefinitely. The general convergence theorem is as follows. Theorem 2.7. Let \(\mathcal H\) be an RKHS on \(X\) with the multiplier algebra \(\mathcal M(\mathcal H)\). Let \((\phi_n)_{n\ge 1}\) be a sequence of elements in the closed unit ball of \(\mathcal M(\mathcal H)\). Write \(\Phi_0 =1\) and \(\Phi_n:=\phi_1\phi_2\cdots \phi_n,\, n\ge 1\). Assume that \(\lim_{n\to\infty} \Phi_n(x) = 0,\, x\in \mathcal H\). Then for each \(f\in\mathcal H\), \[ f=\sum_{n=1}^\infty\Phi_{n-1}\cdot Q_{\phi_n} M^*_{\Phi_{n-1}}f, \] where the series converges in \(\mathcal H\). In Section 3 of the paper the authors extend their methods, with appropriate adjustments, to the classical Hardy spaces \(H^p\), \(1<p<\infty\) . In this setting, for \(b\) in the closed unit ball of \(H^\infty\), set \(P_b: = T_bT_{\overline b}\) where \(T_b\) and \(T_{\overline b}\) are Toeplitz operators on \(H^p\). Proceeding as in Theorem 2.7 with \((b_n)_{n\ge 1}\) a sequence of elements in the closed unit ball of \(H^\infty\), then each \(f\in H^p, \, 1<p<\infty\), has an expansion analogous to (2) where the series converges in \(H^p\)-norm.
0 references
Hardy space
0 references
reproducing kernel Hilbert space
0 references
Toeplitz operator
0 references