On tangential regions for power series (Q689796)

Let \(f(z)=\sum^ \infty_{k=0} a_ k z^ k\) be a power series regular in \(| z|<1\) and convergent at \(z=1\). A ``tangential region'' for \(f(z)=1\) is a domain in the unit disk \(| z|<1\) which has a common tangent to the unit circle \(| z|=1\) at \(z=1\) and for which \(\lim_{z\to 1} f(z)=\sum^ \infty_{k=0} a_ k\) where \(z\) is in the domain. We give two characterizations of such domains. The first uses only an estimate for the speed of convergence of \(\sum a_ k\) to obtain a ``crude'' tangential region. The second assumes the existence of an everywhere dense set of \(z\)'s on the unit circle around 1 such that \(f(z)\) converges at a given speed and then obtains a larger region than before. Combined with Carleson's theorem on the almost everwhere convergence of the Fourier series of \(L^ 2\)-functions, this second result gives a tangential region valid at almost all points of the unit circle and contains the regions given by \textit{A. Nagel}, \textit{W. Rudin} and \textit{J. H. Shapiro} [Ann. Math., II. Ser. 116, 331-360 (1982; Zbl 0531.31007)] and \textit{J. B. Twomey} [Mathematika 36, No. 1, 39-49 (1989; Zbl 0683.30004)].