The problem of ideals of \(H^{\infty }\): beyond the exponent 3/2 (Q2464872)

Let \(\psi:[0,\infty[\to [0,\infty[\) be a bounded, decreasing function with \(\int_0^\infty {\psi(x)\,dx<\infty}\) and let \(\varphi(s)=s^2\psi(\log s^{-2})\). Suppose that \(f, f_1,\dots, f_n\) are bounded holomorphic functions in the unit disk \(\mathbb D\) satisfying \(| f| \leq \varphi(\sum_{j=1}^n | f_j| )\). Then the author shows that \(f\) belongs to the ideal generated by the \(f_j\). This generalizes a recent result of \textit{J.\,Pau} [Proc.\ Am.\ Math.\ Soc.\ 133, No.\,1, 167--174 (2005; Zbl 1048.30026)] and earlier results by \textit{U.\,Cegrell} [Math.\ Z.\ 203, No.\,2, 255--261 (1990; Zbl 0702.30038), Proc.\ R.\ Ir.\ Acad., Sect.\ A 94, No.\,1, 25--30 (1994; Zbl 0818.30023)]. Admissible functions are, e.g., \[ \varphi(s)= s^2\biggl/ \biggl( (\log s^{-2})(\log\log s^{-2})\dots (\underbrace{\log\log\dots\log s^{-2}}_{m\text{ times}}) (\underbrace{\log\log\dots\log s^{-2}}_{m+1\text{ times}})^{1+\varepsilon}\biggr),\;\varepsilon>0. \] Actually, the author proves such a result for countably many data.