On coefficient theorems for starlike and quasi-convex of type B mappings in complex Banach spaces

By the given condition, we have f\in\mathcal{H}(\mathbb{B},\mathbb{C}) with f(0)=1 and F(z)=zf(z)\in\mathcal{S}(\mathbb{B}). Let z\in \mathbb{B}\backslash\{0\} be fixed. Suppose z_0=z/\|z\|. We define the function g:\mathbb{U}\to \mathbb{C} as follows

Using a similar method as in Theorem 7.1.14 [Graham-Kohr], we have

Therefore,

which implies that

If

then it is clearly

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

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

On the other hand, using (Proof) to (Proof) and (Proof), we find that

and

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

and so for \zeta\in\mathbb{U}\backslash\{0\}\}, we have \left|g(\zeta)-1\right|<1. This shows that \Re\{g(\zeta)\}>0 for all \zeta\in\mathbb{U}\backslash\{0\}, i.e.,

for all \zeta\in\mathbb{U}\backslash\{0\}. Substituting \zeta=||z|| into (Proof) and using the fact that l_{\alpha z}=\frac{|\alpha|}{\alpha}l_z for each \alpha\in\mathbb{U}\backslash\{0\}, we obtain

Consequently F\in \mathcal{S}^*(\mathbb{B}).

By the given condition, F\in\mathcal{S}^*(\mathbb{B}). Then we have

Let z\in \mathbb{B}\backslash\{0\} be fixed. Suppose z_0=z/\|z\|. Also, we consider the function g:\mathbb{U}\to \mathbb{C} defined by (Proof). Clearly g\in\mathcal{H}(\mathbb{U}) and g(0)=1. Therefore for \zeta\in\mathbb{U}\backslash\{0\}, we have

Consequently \Re\{g(\zeta)\}>0 for all \zeta\in\mathbb{U}. Suppose

Using (Proof), (Proof) and (Proof) to (Proof), we get

By equating coefficients on the both sides of (Proof), we get

We now use mathematical induction and suppose

Applying Lemma 2.1 to (Proof), we get

which shows that

Then by induction, we have

This proves the first inequality. Since \Re\{g(\zeta)\}>0 for all \zeta\in\mathbb{U}, there exists a Schwarz function \omega(\zeta) with \omega(\zeta)=\sum_{k=1}^{\infty}\omega_k\zeta^k such that g(\zeta)=(1+\omega(\zeta))/(1-\omega(\zeta)) and so from (Proof), we get

Using (Proof) and (Proof) to (?), we obtain

where

Equating coefficients on the both sides of (?), one can easily get

This shows that the coefficient a_{k+1} depends only on a_2, a_3\ldots,a_k. Therefore we can rewrite (?) as follows

for some b_k. Let \zeta=re^{i\theta}. Then from (?), we get

and

Note that |\omega(\zeta)|<1 for all \zeta\in\mathbb{U}. We first multiply (?) and (?) and then integrating with respect to \theta from 0 to 2\pi, we can find that

Letting r\to 1, we obtain

i.e.,

or

Now adding 4m|a_{m}|^2 on the both sides and then using (?), we get the required conclusion (2.2).

Sharpness part: Let us consider F(z)=f(z)z, where

According to Lemma 2.2 [Xu-He-Xu], it is clear that F\in\mathcal{S}^*(\mathbb{B}). Note that F(z)=\sum_{n=0}^{\infty}(n+1)(l_u(z))^{n}\;z, z\in\mathbb{B}. A straightforward computation shows that

Taking z=ru\;(0<r<1), we get

and so equality of (2.2) holds.

By the given condition, F\in\mathcal{S}^*(\mathbb{B}). Let z\in \mathbb{B}\backslash\{0\} be fixed. Suppose z_0=z/\|z\|. We consider the function g:\mathbb{U}\to \mathbb{C} defined by (Proof). Clearly g\in\mathcal{H}(\mathbb{U}) with g(0)=1 and \Re\{g(\zeta)\}>0 for all \zeta\in\mathbb{U}. Let

Clearly

From (Proof) and (Proof), we have h'(\zeta)\zeta=D f(\zeta z_0)(\zeta z_0). Now from (Proof), we get

Now from (Proof), we have

Integration gives

Also for \xi \in\partial \mathbb{U}, we have

where

On the other hand, from (Proof), we get

where

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

Applying Third Lebedev-Milin inequality (see [Duren-1983, pp.143]), we get

and so from (Proof), we have

By Corollary [Duren-1983, pp.178], we can choose \xi\in\partial \mathbb{U} so as to make the exponent in (Proof) nonpositive, to obatin

Therefore,

for all \xi\in\partial \mathbb{U}. Since z_0=z/\|z\|, using (Proof), we deduce from (Proof) that

for k\geq 1.

To establish the sharpness of the bound, let us consider the function F defined as in Theorem 2.2. Putting z=ru\;(0<r<1) into (?), we get

and so equality of (2.3) holds.

By the given condition, we have f\in\mathcal{H}(\mathbb{B},\mathbb{C}) with f(0)=1 and F(z)=zf(z)\in\mathcal{S}(\mathbb{B}). Let z\in \mathbb{B}\backslash\{0\} be fixed and let z_0=z/\|z\|. We define the function g:\mathbb{U}\to \mathbb{C} as follows

Let \phi(z)=D^2 F(z)(z^2)+DF(z)z. Since F(z) is normalized, it has the power series expansion

Clearly

and

Using (Proof) and (Proof), we get

and so

where

On the other hand, from (Proof) and (Proof), we obtain

Again (Proof) gives

In view of (Proof) and using (Proof), (Proof) to (Proof), we obtain

Now applying (Proof) and (Proof), we have

and so for \zeta\in\mathbb{U}\backslash\{0\}\}, we have \left|g(\zeta)-1\right|<1. This shows that g(\zeta) lies inside a circle with center at (1,0) and radius 1 and so \Re\{g(\zeta)\}>0 for all \zeta\in\mathbb{U}\backslash\{0\}, i.e.,

for all \zeta\in\mathbb{U}\backslash\{0\}. Substituting \zeta=||z|| into (Proof) and using the fact that l_{\alpha z}=\frac{|\alpha|}{\alpha}l_z for each \alpha\in\mathbb{U}\backslash\{0\}, we obtain

Consequently (?) yields F\in \mathcal{K}_B(\mathbb{B}).

By the given condition, we have F\in\mathcal{K}_B(\mathbb{B}) and so using (?), we must have

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 consider the function g:\mathbb{U}\to \mathbb{C} defined by (Proof). Clearly g\in\mathcal{H}(\mathbb{U}) and g(0)=1. Therefore for \zeta\in\mathbb{U}\backslash\{0\}, we have

Consequently \Re\{g(\zeta)\}>0 for all \zeta\in\mathbb{U} and so we may assume that

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

where a_k is defined by (Proof). Equating coefficients on the both sides of (Proof), we get

We now use mathematical induction and suppose |a_i|\leq 1 for i=2,3,\ldots, k-1. Applying Lemma 2.1 to (Proof), we get

which shows that |a_k|\leq 1. Then by induction, we have the first inequality

Since \Re\{g(\zeta)\}>0, there exists a Schwarz function \omega(\zeta) with \omega(\zeta)=\sum_{k=1}^{\infty}\omega_k\zeta^k such that g(\zeta)=(1+\omega(\zeta))/(1-\omega(\zeta)) and so from (Proof) and (Proof), we get

Equating coefficients on the both sides of (Proof), one can easily get

This shows that the coefficient a_{k} depends only on a_2, a_3\ldots,a_{k-1}. Therefore we can rewrite (Proof) as follows

for some b_k. Let \zeta=re^{i\theta}. Then from (Proof), we get

and

Note that |\omega(\zeta)|<1 for all \zeta\in\mathbb{U}. We first multiply (Proof) and (Proof) and then integrating with respect to \theta from 0 to 2\pi, we can find that

Letting r\to 1, we obtain

i.e.,

Now adding 4n^3|a_{n}|^2 on the both sides and then using (Proof), we get the required conclusion (3.2).

Sharpness part: We have F(z)=\frac{f(l_u(z))}{l_u(z)}z, where f(l_u(z))=l_u(z)(1-l_u(z))^{-1}, z\in\mathbb{B} and ||u||=1. Clearly f\in \mathcal{K}(\mathbb{U}). According to Lemma 3.1, it is clear that F\in\mathcal{K}_B(\mathbb{B}). Note that F(z)=\sum_{n=0}^{\infty}(l_u(z))^{n}\;z, z\in\mathbb{B}. A straightforward computation shows that

Taking z=ru\;(0<r<1), we get

and so equality of (3.2) holds.

By the given condition, F\in\mathcal{K}_B(\mathbb{B}). Let z\in \mathbb{B}\backslash\{0\} be fixed. Suppose z_0=z/\|z\|. We consider the function g:\mathbb{U}\to \mathbb{C} defined by (Proof). Clearly g\in\mathcal{H}(\mathbb{U}) with g(0)=1 and \Re\{g(\zeta)\}>0 for all \zeta\in\mathbb{U}. Now from (Proof), we have

where a_k is defined by (Proof). Clearly from (Proof), we find that

and

We now consider the following two cases.

Case 1. Let k=2. Now with the help of (Proof) and (Proof), we find that

and so by Lemma 2.1, we have

Case 2. Let k=3. Now with the help of (Proof) and (Proof), we find that

and so by Lemma 2.1, we have