The zero sets of \(\ell^p_A\) are nested (Q2008351)

The author continues his research on zero sets of functions in the Banach space \(\ell^p_A\) of all functions \(\sum_{n=0}^\infty a_nz^n\) for which \((a_n)\in \ell^p\), where \(1 < p<\infty\) (see, for instance, [\textit{R. Cheng} and \textit{J. Dragas}, Proc. Am. Math. Soc. 147, No. 9, 3927--3936 (2019; Zbl 1432.46011)].) Recall that for \(p=2\), \(\ell^2_A\) is the usual Hardy space \(H^2\). In the present paper, the author constructs for \(1<p_1<p_2<\infty\) a sequence \((w_n)_{n\in\mathbb N}\) in \(\mathbb D\) such there exists \(f\in\ell^{p_2}_A\), \(f\not\equiv 0\), which vanishes at least at every \(w_n\), but that the zero-function is the only function in the smaller space \(\ell^{p_1}_A\) vanishing at each \(w_n\). As in the paper referenced above, the very technical proof relies on a zero-set criterion in [\textit{R. Cheng} et al., Trans. Am. Math. Soc. 372, No. 3, 2045--2072 (2019; Zbl 1445.30030)] which is based on the notion of \(\ell^p_A\)-inner functions and \(p\)-orthogonality.