A note on successive coefficients of spirallike functions
Even there were several facts to show that ||an+1(f)|-|an(f)|| ? 1 is not true for the whole class of normalised univalent functions in the unit disk with with the form f(z) = z + ??,k=2 akzk. In 1978, Leung[7] proved ||an+1(f)|-|an(f)|| is actually bounded by 1 for starlike functions and by this result it is easy to get the conclusion |an| ? n for starlike functions. Since ||an+1(f)|-|an(f)|| ? 1 implies the Bieberbach conjecture (now the de Brange theorem), so it is still interesting to investigate the bound of ||an+1(f)|-|an(f)|| for the class of spirallike functions as this class of functions is closely related to starlike functions. In this article we prove that this functional is bounded by 1 and equality occurs only for the starlike case. We are also able to give a precise form of extremal functions. Furthermore we also try to find the sharp bound of ||an+1(f)|-|an(f)|| for non-starlike spirallike functions. By using the Carath?odory-Toeplitz theorem, we obtain the sharp lower and upper bounds of |an+1(f)|-|an(f)| for n = 1 and n = 2. These results disprove the expected inequality ||an+1(f)|-|an(f)||? cos ? for ?-spirallike functions.