Coefficient estimates for negative powers of the derivative of univalent functions (Q1409053): Difference between revisions

Let \(f\) be a one-to-one analytic function in the unit disc with \(f(0)=1\) and \(f'(0)=1\). Let \(S\) denote the set of one-to-one analytic functions \(f\) in the unit disc with \(f(0)=1\) and \(f'(0)=1\). The author proves sharp estimates for certain Taylor coefficients of the functions \((f')^p=\sum_{n=0}^\infty c_{n,p}z^n\), where \(p<0\) and \(c_{0,p}=1\). Assume that \(1\leq n\leq-2p+1\). Then the maximum of \(|c_{n,p}|\) over \(f\in S\) is attained when \(f\) is the Koebe function \(f(z)=z/(1+z)^2\). In other words, if \(f\in S\), then \(|c_{n,p}|\leq C_{n,p}\), where \(C_{n,p}\) is defined by \[ \left(\frac{1-z}{(1+z)^3}\right)^p=\sum_{k=0}^\infty C_{k,p}z^k, \quad\text{where}\quad C_{0,p}=1,\tag{1} \] (\(C_{k,p}>0\) for all \(k\geq 0\), if \(p<-\frac{1}{8}\)). Moreover, equality is attained in (1) if and only if \(f(z)=\frac{z}{(1+\lambda z)^2}\), where \(|\lambda|=1\). The proof is similar to the \textit{Branges's} proof of \textit{Bieberbach's} conjecture, and thus relies on Löwner's equation which leads to a linear system of differential equations for the coefficients of \((f_t')^p\). In this way the problem of maximizing \(|c_{n,p}|\) becomes a problem in optimal control theory. This problem is solved by proving that a certain quadratic expression in the coefficients is an increasing function of \(t\). The computations in this last step are more involved than in the \textit{Branges'} proof. In \textit{Branges}' proof this was easy, since one could use known inequalities for Jacobi polynomials. A special case leads to a generalization of the usual estimate for the Schwarzian derivative of \(f\): \[ \left|(f')^{(n-1)/2}\left(\frac{d}{dz}\right)^n(f')^{-(n-1)/2}\right|\leq K_ n(1-|z|^2)^{-n}, \] where \(K_n=(n-1)(n+1)(n+3)\dots(3n-3)\) and \(n\) is a positive integer. Consider the differential operator \(S_nf=(f')^{(n-1)/2}D^n(f')^{-(n-1)/2}\). This is used to improve known estimates for integral means of the functions \(|f'|^p\) for integers \(p\leq-2\). Let \(E_n\) be the positive root of \[ E(E+1)(E+2)\dots(E+2n-1)=K_n^2, \] where \(n>1\) is an integer. Then \(\int_0^{2\pi}|f'(re^{i\theta})|^{-n+1}=O((1-r)^{E_n-\varepsilon})\) for all \(\varepsilon>0\). In particular, \(\int_0^{2\pi}|f'(re^{i\theta})|^{-2} d\theta=O((1-r)^{-1.547})\), \(\int_0^{2\pi}|f'(re^{i\theta})|^{-3} d\theta=O((1-r)^{-2.530}).\)