Alpha-convex functions in complex Banach spaces

By the given condition, we have F\in\mathcal{M}_{\alpha}(\mathbb{B}) and so

for z\in\mathbb{B}\backslash\{0\} and l_z\in T(z), where \phi(z)=D^2 F(z)(z^2)+DF(z) z.

Let z\in \mathbb{B}\backslash\{0\} be fixed and let z_0=z/\|z\|. We define the function H:\mathbb{U}\to \mathbb{C} as follows

Clearly H\in\mathcal{H}(\mathbb{U}) and H(0)=1. Since l_{\zeta z}=\frac{|\zeta|}{\zeta}l_z for each \zeta\in\mathbb{U}\backslash\{0\}, we have

and so \Re\{H(\zeta)\}>0 for all \zeta\in\mathbb{U}. Using a similar method as in Theorem 7.1.14 [Graham-Kohr], we have

where D f(z):\mathbb B\rightarrow\mathbb C because f\in\mathcal{H}(\mathbb{B},\mathbb{C}), D F(z):\mathbb B\rightarrow\mathbb {\mathbb X}, and

where \phi(z)=D^2 F(z)(z^2)+DF(z) z. Now from (Proof), it is clear that

Suppose g(\zeta)=f(\zeta z_0)\zeta. Then we have

Since g(\zeta)=f(\zeta z_0)\zeta, using (Proof) to (Proof), we get

Now we will be trying to express the part with the function \phi in (Proof) in terms of the function g. As the function F is normalized, it has the power series expansion

It is known that

so

Using (Proof) in this integral, we get

Since F(z)=zf(z), we have (see [Xiong-Yu-Wang-2025, Theorem 2])

where m\in\mathbb{N}. As z_0=z/||z||, l_{z}=\|z\|, it follows from (Proof) that

Now substituting (Proof) into (Proof) and (Proof), we get respectively

and

Therefore, we have

If

then

In view of (Proof) and adding (Proof) and (Proof), we obtain

Clearly

Now from (Proof), (Proof) and (Proof), we get

Using (Proof) and (Proof) to (Proof), we express the second part of (Proof) in terms of the function g

Now in view of (Proof) and (Proof), we find that

Therefore, the function g is \alpha-convex function defined in Definition A and so, from Theorem A, we have

so the equivalence between (Proof) and (Proof) implies that F\in\mathcal{S}^*(\mathbb{B}). Furthermore, from Theorem A, we have for \alpha\geq 1

So, if \alpha\geq 1, then F\in\mathcal{K}_B(\mathbb{B}). Furthermore, the observations after Theorem A imply that if F(z)=zf(z)\in\mathcal{M}_{\beta}(\mathbb{B}), then F(z)=zf(z)\in\mathcal{M}_{\alpha}(\mathbb{B}) for all \alpha, \beta\in\mathbb{R}, 0\leq \alpha/\beta\leq 1.

Let g(z)=\frac{f(l_{u}(z))}{l_{u}(z)}. Since f\in\mathcal{S}(\mathbb{U}), it follows that

Straightforward calculation yields

Clearly Dg(z) z/g(z)+1\neq 0 for all z\in\mathbb{B}. Using a similar method as in Theorem 7.1.14 [Graham-Kohr], we have

Hence, F is a normalized locally biholomorphic on \mathbb{B}, and

and so

Since F(z)=g(z)z, it follows that D F(z)\eta=(Dg(z)\eta)z+g(z)\eta, \eta\in {\mathbb X}. Consequently D F(z)z=f'(l_u(z))z. Therefore

which shows that D^2 F(z)(z^2)=f''(l_u(z))l_u(z)z. Note that

and so from (Proof), we obtain

Clearly

Now from (Proof) and (Proof), we see that

if and only if

This shows that F(z)=\frac{f(l_{u}(z))}{l_{u}(z)}z belongs to \mathcal{M}_{\alpha}(\mathbb{B}) if and only if f \in \mathcal{M}_{\alpha}(\mathbb{U}).

First we suppose that F\in\mathcal{M}_{\alpha}(\mathbb{B}). Clearly F is biholomorphic on \mathbb{B}. Since F(z)=f(z)z, it follows that D F(z)z=(Df(z)z)z+f(z)z, z\in \mathbb{B}. Thus f(z)\neq 0 and f(z)+Df(z)z\neq 0 for all z\in\mathbb{B}. Since g(\zeta)=f(\zeta z_0)\zeta, we using (Proof), we get

Let \phi(z)=D^2 F(z)(z^2)+DF(z)z). On the other hand, (Proof) gives

Therefore, using (Proof) and (Proof), we obtain that

which implies that g\in\mathcal{M}_{\alpha}(\mathbb{U}).

Conversely, we assume g\in\mathcal{M}_{\alpha}(\mathbb{U}). Clearly \frac{\zeta g'(\zeta)}{g(\zeta)}\neq 0, \zeta\in\mathbb{U}. Therefore from (Proof), we have

From this and (Proof), we readily deduce that F is locally biholomorphic on \mathbb{B}. Let us take z=\zeta z_0, where \zeta=||z||. Then from (Proof) and (Proof), we get

which implies that F\in\mathcal{M}_{\alpha}(\mathbb{B}).

First we suppose F(z)=\frac{f(l_{u}(z))}{l_{u}(z)}z\in\mathcal{M}_{\alpha}(\mathbb{B}). Then by Proposition 2.1, we have f\in\mathcal{M}_{\alpha}(\mathbb{U}). Now from (Proof) and (Proof), we see that

where p\in\mathcal{P}.

Suppose the function \tilde F(z)=\frac{\tilde f(l_{u}(z))}{l_{u}(z)}z is defined by

Clearly \tilde f\in\mathcal{S}^*(\mathbb{U}). According to Lemma 2.1 [Xu-He-Xu], we can say that \tilde F\in\mathcal{S}^*(\mathbb{B}). Let \xi=l_{u}(z). By using the identity

we get from (Proof) that

Now using (Proof) and (Proof) to (Proof), we deduce that

Making the substitution

into (Proof), we obtain

Now from (Proof) and (Proof), we get

Conversely, let \tilde F(z)=\frac{\tilde f(l_u(z))}{l_u(z)}z\in\mathcal{S}^*(\mathbb{B}) and F(z)=\frac{ f(l_u(z))}{l_u(z)}z, where f is given by (2.2). According to Lemma 2.1 [Xu-He-Xu], we have \tilde f\in\mathcal{S}^*(\mathbb{U}). Consequently (Proof) holds, where p\in\mathcal{P}. Using (2.2), one can easily arrive at (Proof). Then by a simple computation, we can easily arrive at (Proof). Finally, we conclude that F(z)=\frac{f(l_{u}(z))}{l_{u}(z)}z\in\mathcal{M}_{\alpha}(\mathbb{B}).

By the given condition, we have F\in\mathcal{M}_{\alpha}(\mathbb{B}) and so (Proof) holds. Let z\in \mathbb{B}\backslash\{0\} be fixed and let z_0=z/\|z\|. We consider the function H:\mathbb{U}\to \mathbb{C} defined as in (Proof). Clearly H\in\mathcal{H}(\mathbb{U}) such that H(0)=1 and \Re\{H(\zeta)\}>0 for all \zeta\in\mathbb{U}. Assume that

Now using (Proof) and (Proof) to (Proof), we get

On the other hand, (Proof) yields

In view of (Proof) and using (Proof) and (Proof), we deduce from that

Using (Proof) and (Proof), we get

Clearly from (Proof), we find that

and

Substituting the value of (Proof) into (Proof), we obtain

Again using (Proof)–(Proof) into (Proof), we get

Since F(z)=zf(z), by applying (Proof) into (Proof), (Proof) and (Proof) respectively, we obtain

and

Using (Proof)-(Proof), we find that

Now proceeding in the same way as done in the proof of Theorem 1 [Sokol-Thomas-2018], we get the desired inequality (3.1).

It is clear from (Proof) that

Since |p_1|\leq 2, we easily get the desired inequality.

Sharpness part: We have F(z)=\frac{f(l_u(z))}{l_u(z)}z, where

Since f\in\mathcal{M}_{\alpha}(\mathbb{U}), by Proposition 2.1, we have F\in\mathcal{M}_{\alpha}(\mathbb{B}). Taking z=ru\;(0<r<1), we get from (?) that

where {}_{2} F_{1} is the Gaussian hypergeometric function. It is easy to obtain

Clearly \frac{D^{2}F(0)\left(z^{2}\right)}{2!}=(2/(1+\alpha))r z. Since z=ru\;(0<r<1), we get

By the given condition, we have F\in\mathcal{M}_{\alpha}(\mathbb{B}) and so (Proof) holds. Let z\in \mathbb{B}\backslash\{0\} be fixed and let z_0=z/\|z\|. We consider the function H:\mathbb{U}\to \mathbb{C} defined as in (Proof). Clearly H\in\mathcal{H}(\mathbb{U}) such that H(0)=1 and \Re\{H(\zeta)\}>\beta for all \zeta\in\mathbb{U}. Let

Clearly \tilde H\in\mathcal{H}(\mathbb{U}) such that \tilde H(0)=1 and \Re\{\tilde H(\zeta)\}>\beta for all \zeta\in\mathbb{U}. Assume that

Then from above, we have

Using (Proof) and (Proof), we get

Clearly from (Proof), we find that

and

Substituting the value of (Proof) into (Proof), we obtain

Again using (Proof)–(Proof) into (Proof), we get

Since F(z)=zf(z), by applying (Proof) into (Proof), (Proof) and (Proof) respectively, we obtain

and

Using (Proof)-(Proof), we find that

Now proceeding in the same way as done in the proof of Theorem 2 [Sokol-Thomas-2018], we get the desired inequality (3.1).