On some properties of logarithmic coefficients of inverse of univalent functions

Let f\in\mathcal{S} is given by (?) and its inverse f^{-1} is given by (?), then using the relations (?) and (?), we have

and

where we used (?).

This proved (i) and (ii).

For proving (iii), similarly, we obtain

or if we use the Grunsky coefficients given by relations (?):

From (?) and (?), we have

All three estimates are sharp as the Koebe function k(z)=\frac{z}{(1-z)^{2}} shows.

As in the proof of Theorem 1, we have |\Gamma_{1}|=\frac{1}{2}|A_{2}|=\frac{1}{2}|-a_{2}| and

Now, since \frac{|a_{2}|}{2}\leq 1 for every f\in \mathcal{S},

where we used (?). The inequality is sharp for the inverse of the Koebe function.

The left hand side of the inequality of this theorem is equivalent with

i.e., with

If 0\leq |a_{2}|<\sqrt{2}, then (Proof) is evident.

So, let \sqrt{2}\leq |a_{2}|\leq2. Then, since

in order to prove the relation (Proof), it is enough to show that

The last inequality is equivalent to

which is true since by assumption, |a_{2}| -\sqrt{2}\geq 0 and also, \left(|a_{2}| +\sqrt{2}\right)-2\geq 2\sqrt{2}-2>0. This completes the proof.

From the proof of parts (ii) and (iii) of Theorem 1 we have

and

Since |a_{2}|/2\leq 1,

Using the relations (?), after some computations, we get

Hence, applying (?) and (?),

Note that for Koebe function we have |\Gamma_{2}|=\frac32 and |\Gamma_{3}|=\frac{10}{3}, so in this case

showing the sharpness of the estimate.

• (i) Using similar consideration as in Theorem 3, the result of Lemma 2, and |a_{2}|\leq1, for the upper bound we get

  \begin{split} |\Gamma_{2}|-|\Gamma_{1}|&=\frac{1}{2}\left|-a_{3}+\frac{3}{2}a_{2}^{2}\right|-\frac{1}{2}|-a_{2}|\\ &=\frac{1}{2}\left|(-a_{3}+a_{2}^{2})+\frac{1}{2}a_{2}^{2}\right|-\frac{1}{2}|a_{2}|\\ &\leq\frac{1}{2}|a_{3}-a_{2}^{2}|+ \frac{1}{4}|a_{2}|^{2}-\frac{1}{2}|a_{2}|\\ &\leq \frac{1}{6}(1-|a_{2}|^{2})+\frac{1}{4}|a_{2}|^{2}-\frac{1}{2}|a_{2}|\\ &\leq\frac{1}{6}. \end{split}

  The inequality is sharp for the function f_{0}(z)=z+\frac{1}{3}z^{3}+\cdots given in Lemma 1.

  The lower bound of the inequality is equivalent with

  \left|-a_{3}+\frac{3}{2}a_{2}^{2}\right|\geq|a_{2}|-\sqrt{\frac{2}{5}}.

  If 0\leq |a_{2}|<\sqrt{2/5}, then the inequality (Proof) obviously holds. Now, let \sqrt{2/5}\leq |a_{2}|\leq1. Then, using Lemma 2, since

  \begin{split} \left|-a_{3}+\frac{3}{2}a_{2}^{2}\right| &\geq \frac{1}{2}|a_{2}|^{2}-|-a_{3}+a_{2}^{2}| \\ &\geq \frac{1}{2}|a_{2}|^{2}-\frac{1}{3}(1-|a_{2}|^{2})\\ &=\frac{5}{6}|a_{2}|^{2}-\frac{1}{3}, \end{split}

  we conclude that to prove (Proof) it is enough to show that

  \frac{5}{6}|a_{2}|^{2}-\frac{1}{3}\geq |a_{2}|-\sqrt{\frac{2}{5}}.

  The last inequality is equivalent to

  \left(|a_{2}|-\sqrt{\frac{2}{5}}\right)\left(\frac{5}{6}\left(|a_{2}|+\sqrt{\frac{2}{5}}\right)-1\right)\geq0,

  which is true since by assumption |a_{2}| -\sqrt{\frac{2}{5}}\geq 0 and \frac{5}{6}\left(|a_{2}|+\sqrt{\frac{2}{5}}\right)-1\geq \frac{5}{6}\cdot2\sqrt{\frac{2}{5}}-1=\sqrt{\frac{10}{9}}-1>0. This proves the inequality (Proof) and the lower bound of (i).

• (ii) In the proof of Theorem 3 we obtained that \Gamma_{2}=\frac{1}{2}\left(-a_{3}+\frac{3}{2}a_{2}^{2}\right) and \Gamma_{3}=\frac{1}{2}\left(-a_{4}+4a_{2}a_{3}-\frac{10}{3}a_{2}^{3}\right). Since |a_{2}|\leq1, so also |a_{2}|\leq\frac54 and -1\leq -\frac45 |a_2|. Therefore,

  \begin{split} |\Gamma_{3}|-|\Gamma_{2}|&\leq |\Gamma_{3}|-\frac45 |a_{2}||\Gamma_{2}|\\ &\leq \left|\Gamma_{3}+\frac45 a_{2}\Gamma_{2}\right|\\ &=\frac{1}{2}\left|a_{4}-\frac{16}{5}a_{2}a_{3}+\frac{32}{15}a_{2}^{3}\right|. \end{split}

  Using (?) and Lemma 2 (case D_{8}), after some calculations, we get

  |\Gamma_{3}|-|\Gamma_{2}|\leq \frac{1}{12} \left|c_{3}- \frac75c_{1}c_{2}-\frac25c_{1}^{3}\right|\leq\frac{1}{12}\cdot\frac{8}{5}\sqrt{\frac{2}{5}}=\frac{2\sqrt{10}}{75}.

For showing the sharpness, it is enough to consider the function f_\lambda from Lemma 1 with \lambda=\sqrt{2/5}, i.e.,

such that

and further,

The above means that all inequalities in Theorem 4 are sharp.