(i) First, from the definition of the class \mathcal{U}, we easily conclude that
f\in\mathcal{U} if, and only if, there exists a function \phi, analytic in {\mathbb D} with
|\phi(z)|\leq 1 in {\mathbb D}, such that
\left[\frac{z}{f(z)} \right]^{2}f'(z)=1+z^{2}\phi(z).
From (Proof), after some calculations, we obtain that
2\frac{z f'(z)}{f(z)}-\frac{z f''(z)}{f'(z)}=2\frac{1-\frac{1}{2}z^{3}\phi'(z)}{1+z^{2}\phi(z)}.
Since |\phi(z)|\leq 1, then
|\phi'(z)|\leq \frac{1-|\phi(z)|^{2}}{1-|z|^{2}},
(see[duren, p.198]) and from here
\left|\frac{1}{2}z^{3}\phi'(z)\right|\leq\frac{|z^{3}|}{2(1-|z|^{2})}(1-|\phi(z)|^{2})<1-|\phi(z)|^{2},
because \frac{|z^{3}|}{2(1-|z|^{2})}<1 for |z|<r_{1}.
Also,
|z^{2}\phi(z)|<|r_{1}^{2}\phi(z)|<\frac{1}{\sqrt{2}}|\phi(z)|,
since
r_{1}^{2}=0.7044\ldots<\frac{1}{\sqrt{2}}=0.7071\ldots.
Finally, by using (Proof),(Proof) and (Proof), we have
\begin{split}
\left|\arg \left[2\frac{1-\frac{1}{2}z^{3}\phi'(z)}{1+z^{2}\phi(z)}\right]\right|&\leq |\arg\left[1-\frac{1}{2}z^{3}\phi'(z)\right]|+|\arg(1+z^{2}\phi(z))|\\
&<\arcsin(1-|\phi(z)|^{2})+\arcsin\left(\frac{1}{\sqrt{2}}|\phi(z)|\right)\\
&=\arcsin \sqrt{1-\frac{1}{2}|\phi(z)|^{2}}\\
&\leq\arcsin1\\
&=\frac{\pi}{2},
\end{split}
which implies {\rm Re}[D(f;z)]>0.
(ii) Since f\in \mathcal{S}^{\star}(1/2), we can put
\frac{zf'(z)}{f(z)}=\frac{1}{1-\omega (z)},
where \omega is analytic in {\mathbb D}, \omega(0)=0 and
|\omega(z)|<1 for all z\in{\mathbb D}. From here we have that
\frac{zf''(z)}{f'(z)}=\frac{z\omega'(z)}{1-\omega (z)}+\frac{1}{1-\omega (z)}-1,
and so
D(f;z)=2-\frac{z\omega'(z)-\omega(z)}{1-\omega(z)}.
Since \omega(0)=0 and |\omega(z)|<1, z\in{\mathbb D}, implies that \left|\frac{\omega(z)}{z}\right|\leq 1, z\in{\mathbb D}, then by using the estimate (Proof) (with \frac{\omega(z)}{z} in stead of \phi), we obtain
|z\omega'(z)-\omega(z)|\leq\frac{r^{2}-|\omega(z)|^{2}}{1-r^{2}},
(where |z|=r and
|\omega(z)|\leq r). Further, we have
\begin{split}
{\rm Re}[D(f;z)]& \geq 2-\frac{|z\omega'(z)-\omega(z)|}{1-|\omega(z)|}\\
& \geq 2- \frac{1}{1-r^{2}}\frac{r^{2}-|\omega(z)|^{2}}{1-|\omega(z)|} \\
& = 2-\frac{1}{1-r^{2}}\varphi(t),
\end{split}
where we put |\omega(z)|=t, 0\leq t \leq r and \varphi(t)=\frac{r^{2}-t^{2}}{1-t}. By elementary calculation we obtain that \varphi(t)\leq 2(1-\sqrt{1-r^{2}}) for t\in [0,r]. This implies that
{\rm Re}[D(f;z)]\geq 2-\frac{2(1-\sqrt{1-r^{2}})}{1-r^{2}}=2\frac{\sqrt{1-r^{2}}-r^{2}}{1-r^{2}}>0,
since |z|=r<\sqrt{\frac{\sqrt{5}-1}{2}}=r_2.
(iii) For f\in \mathcal{G} in [JO_95] is proven that
\frac{zf'(z)}{f(z)}\prec \frac{1-z}{1-\frac{z}{2}},
i.e., that
\frac{zf'(z)}{f(z)}=\frac{1-\omega(z)}{1-\frac{\omega(z)}{2}},
where \omega is analytic in {\mathbb D} such that \omega(0)=0 and
|\omega(z)|<1 for z\in{\mathbb D}. From the last relation we easily obtain
D(f;z)=2-\frac{\omega(z)}{2-\omega(z)}+\frac{z}{(1-\omega(z))(2-\omega(z))}\omega '(z)
and from here
{\rm Re}[D(f;z)]\geq 2-\frac{|\omega(z)|}{2-|\omega(z)|}-\frac{|z|}{(1-|\omega(z)|)(2-|\omega(z)|)}|\omega '(z)|.
Applying the inequality (Proof), we give
{\rm Re}[D(f;z)]\geq 2-\frac{|\omega(z)|}{2-|\omega(z)|}-\frac{|z|}{(1-|\omega(z)|)(2-|\omega(z)|)}\frac{1-|\omega(z)|^{2}}{1-|z|^{2}},
or, if we use |\omega(z)|\leq r, where |z|=r:
{\rm Re}[D(f;z)]\geq 2-\frac{r}{1-r}=\frac{2-3r}{1-r}>0,
since r<\frac{2}{3}=r_3.
(iv) We can use relation
(Proof) and the same method as in the previous cases. Namely, now we can put
\frac{zf'(z)}{f(z)}=\frac{1+\omega(z)}{1-\omega (z)},
where \omega is analytic in {\mathbb D}, \omega(0)=0 and
|\omega(z)|<1 for z\in{\mathbb D}. Then,
\frac{zf''(z)}{f'(z)}=2\frac{z\omega'(z)}{1-\omega ^{2}(z)}+\frac{1+\omega(z)}{1-\omega (z)}-1
and after that
D(f;z)=\frac{2}{1-\omega (z)}-2\frac{z\omega'(z)}{1-\omega^{2}(z)}.
Finally, we have (using |\omega(z)|\leq r, where |z|=r):
\begin{split}
{\rm Re}[D(f;z)]& \ge {\rm Re}\frac{2}{1-\omega(z)} -2\frac{|z| |\omega'(z)|}{1-|\omega(z)|^{2}}\\
&\geq \frac{2}{1+|\omega(z)|}-2\frac{|z|}{1-|\omega(z)|^{2}}
\frac{1-|\omega(z)|^{2}}{1-|z|^{2}}\\
&\geq \frac{2}{1+r}-\frac{2r}{1-r^{2}}\\
&= 2\frac{1-2r}{1-r^{2}}>0,
\end{split}
if |z|=r<\frac{1}{2}=r_4.
(v) If f\in \mathcal{S} then, from the classical result (see [duren, p.32]), we have
\left|\log \frac{zf'(z)}{f(z)}\right|\leq \log \frac{1+r}{1-r},\quad |z|=r<1 .
If we put w=\log \frac{zf'(z)}{f(z)} and R=\log \frac{1+r}{1-r}, then we have
\frac{zf'(z)}{f(z)}=e^{w}, where |w|\leq R. If we choose r\leq \text{tanh}\frac{1}{2}=\frac{e-1}{e+1}=0.46...,
then we have R\leq 1. For such R the function e^{w} is convex with positive real coefficients
that maps the unit disk onto a region that is symmetric with respect to the real axes (\overline{e^w}=e^{\overline{w}}), with diameter end points for w=-1 and w=1. This implies that
{\rm Re}\frac{zf'(z)}{f(z)}={\rm Re}(e^{w})\geq e^{-R}=\frac{1-r}{1+r}.
Also, from the relation for functions from the class \mathcal{S} (see [duren, Theorem 2.4, p.32]) we have
\left|\frac{zf''(z)}{f'(z)}-\frac{2r^{2}}{1-r^{2}}\right|\leq\frac{4r}{1-r^{2}}
and from here
{\rm Re}\frac{zf''(z)}{f'(z)}\leq \frac{2r^{2}}{1-r^{2}}+\frac{4r}{1-r^{2}}=2\frac{2r+r^{2}}{1-r^{2}}.
Finally,
{\rm Re}[D(f;z)]\geq 2\frac{1-r}{1+r}-2\frac{2r+r^{2}}{1-r^{2}}=2\frac{1-4r}{1-r^{2}}>0
if |z|=r<\frac{1}{4}=r_5.