Nonlinear expansions in reproducing kernel Hilbert spaces (Q6062482)

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.