Continue from this paper
Indexing is not verification. Extracted statements should be checked against the source.
Abstract
In this paper, we derive the sharp bounds of Toeplitz determinants for a class of holomorphic mappings on the bounded starlike circular domain $Ω$ in $\mathbb{C}^n$, which extend certain known bounds for various subclasses of normalized analytic univalent functions in the unit disk to higher dimensions.
Results & Lemmas (11)
Each result is auto-extracted from the paper via OCR - the math is shown verbatim and may carry occasional transcription artifacts. Click to expand the full statement.
Lemma 2.1
Lemma 2.1. [20] is a bounded starlike circular domain if and only if there exists a unique real continuous functions, called the Minkowski…
Lemma 2.1. [20] $\Omega \subset \mathbb{C}^n$ is a bounded starlike circular domain if and only if there exists a unique real continuous functions $\rho: \mathbb{C}^n \to \mathbb{R}$ , called the Minkowski functional of $\Omega$ , such that
(i)
$$\rho(z) \ge 0$$
, $z \in \mathbb{C}^n$ ; $\rho(z) = 0 \Leftrightarrow z = 0$ ;
(ii)
$$\rho(tz) = |t|\rho(z), t \in \mathbb{C}, z \in \mathbb{C}^n$$
:
(iii)
$$\Omega = \{z \in \mathbb{C}^n : \rho(z) < 1\}.$$
Furthermore, if $\rho(z) \in C^1$ in $\mathbb{C}^n \setminus \{0\}$ , then the function $\rho(z)$ has the following properties.
$$2\frac{\partial \rho(z)}{\partial z}z = \rho(z), \quad z \in \mathbb{C}^n,$$
$$2\frac{\partial \rho(z_0)}{\partial z}z_0 = 1, \quad z_0 \in \partial\Omega,$$
$$\frac{\partial \rho(\lambda z)}{\partial z} = \frac{\partial \rho(z)}{\partial z}, \quad \lambda \in (0, \infty),$$
$$\frac{\partial \rho(e^{i\theta}z)}{\partial z} = e^{-i\theta}\frac{\partial \rho(z)}{\partial z}, \quad \theta \in \mathbb{R}.$$
(2.1)
Theorem 3.1 · radius
Theorem 3.1. Let with g(0) = 1 and G(z) = zg(z). If such that satisfies, then The bound is sharp. Proof. Since exists, therefore,. For fix,…
Theorem 3.1. Let $g \in \mathcal{H}(\Omega, \mathbb{C})$ with g(0) = 1 and G(z) = zg(z). If $J_G^{-1}(z)G(z) \in \mathcal{M}_{\Phi}$ such that $\Phi$ satisfies $|\Phi''(0) + 2(\Phi'(0))^2| > 2\Phi'(0) > 0$ ,
then
$$\left| \left( 2 \frac{\partial \rho}{\partial z} \frac{D^3 G(0)(z^3)}{3! \rho^3(z)} \right)^2 - \left( 2 \frac{\partial \rho}{\partial z} \frac{D^2 G(0)(z^2)}{2! \rho^2(z)} \right)^2 \right| \leq (\Phi'(0))^2 + \frac{(\Phi'(0))^2}{4} \left( \frac{1}{2} \frac{\Phi''(0)}{\Phi'(0)} + \Phi'(0) \right)^2.$$
The bound is sharp.
Proof. Since $J_G^{-1}(z)$ exists, therefore $g(z) \neq 0$ , $z \in \Omega$ . For fix $z \in \Omega \setminus \{0\}$ , let us denote $z_0 = \frac{z}{\rho(z)}$ and define $h : \mathbb{U} \to \mathbb{C}$ such that
$$h(\zeta) = \begin{cases} \frac{\zeta}{2^{\frac{\partial p(z_0)}{\partial z}} J_G^{-1}(\zeta z_0) G(\zeta z_0)}, & \zeta \neq 0, \\ 1, & \zeta = 0. \end{cases}$$
Using the property $2\frac{\partial \rho(z_0)}{\partial z}z_0=1$ for $z_0\in\partial\Omega$ of Minkowski functional, we obtain $h\in\mathcal{H}(\mathbb{U})$ and since $J_G^{-1}(z)G(z)\in\mathcal{M}_{\Phi}$ , therefore
$$\begin{split} h(\zeta) &= \frac{\zeta}{2\frac{\partial \rho(z_0)}{\partial z}J_G^{-1}(\zeta z_0)G(\zeta z_0)} \\ &= \frac{\rho(\zeta z_0)}{2\frac{\partial \rho(\zeta z_0)}{\partial z}J_G^{-1}(\zeta z_0)G(\zeta z_0)} \in \Phi(\mathbb{U}), \quad \zeta \in \mathbb{U} \setminus \{0\}. \end{split}$$
Applying the same technique as in [23] (also see [8, Theorem 7.1.14]), we obtain
$$J_G^{-1}(z) = \frac{1}{g(z)} \left( I - \frac{\frac{zJ_g(z)}{g(z)}}{1 + \frac{J_g(z)z}{g(z)}} \right).$$
Now, using G(z) = zg(z), we have
$$J_G^{-1}(z)G(z) = \frac{zg(z)}{g(z) + J_q(z)z}, \quad z \in \Omega \setminus \{0\},$$
which together with (2.1) gives
$$\frac{\rho(z)}{2\frac{\partial \rho(z)}{\partial z}J_G^{-1}(z)G(z)} = 1 + \frac{J_g(z)z}{g(z)}, \quad z \in \Omega \setminus \{0\}.$$
In view of the above equation, we obtain
$$h(\zeta) = \frac{\rho(\zeta z_0)}{2\frac{\partial \rho(\zeta z_0)}{\partial z} J_0^{-1}(\zeta z_0) G(\zeta z_0)} = 1 + \frac{J_g(\zeta z_0) \zeta z_0}{g(\zeta z_0)},$$
which immediately yields
$$h(\zeta)g(\zeta z_0) = g(\zeta z_0) + J_g(\zeta z_0)\zeta z_0.$$
Based on the Taylor series expansions in $\zeta$ , the above equation gives
$$\left(1 + h'(0)\zeta + \frac{h''(0)}{2!}\zeta^2 + \cdots\right) \left(1 + J_g(0)(z_0)\zeta + \frac{D^2g(0)(z_0^2)}{2!}\zeta^2 + \cdots\right)
= \left(1 + J_g(0)(z_0)\zeta + \frac{D^2g(0)(z_0^2)}{2!}\zeta^2 + \cdots\right) \left(J_g(0)(z_0)\zeta + D^2g(0)(z_0^2)\zeta^2 + \cdots\right).$$
By the comparison of homogeneous expansions, we get
$$h'(0) = J_a(0)(z_0).$$
Further, using $z_0 = \frac{z}{\rho(z)}$ in the above relation, we have
$$h'(0)\rho(z) = J_q(0)(z). \tag{3.1}$$
Since, we also have G(z) = zg(z), therefore
$$\frac{D^2G(0)z^2}{2!} = J_g(0)(z)z,$$
which together with (2.1) leads to
$$2\frac{\partial\rho}{\partial z}\frac{D^2G(0)z^2}{2!} = J_g(0)(z)\rho(z). \tag{3.2}$$
Thus, from (3.1) and (3.2), we obtain
$$2\frac{\partial \rho}{\partial z} \frac{D^2 G(0) z^2}{2! \rho^2(z)} = h'(0).$$
Since $h \prec \Phi$ , therefore $|h'(0)| \leq |\Phi'(0)|$ , using this fact, we get
$$\left| 2 \frac{\partial \rho}{\partial z} \frac{D^2 G(0) z^2}{2! \rho^2(z)} \right| \le |\Phi'(0)|. \tag{3.3}$$
For $\lambda \in \mathbb{C}$ , Xu et al. [28, Theorem 1] proved that
$$\left| 2 \frac{\partial \rho}{\partial z} \frac{D^{3}G(0)(z^{3})}{3! \rho^{3}(z)} - \lambda \left( 2 \frac{\partial \rho}{\partial z} \frac{D^{2}G(0)(z^{2})}{2! \rho^{2}(z)} \right)^{2} \right| \\
\leq \frac{|\Phi'(0)|}{2} \max \left\{ 1, \left| \frac{1}{2} \frac{\Phi''(0)}{\Phi'(0)} + (1 - 2\lambda)\Phi'(0) \right| \right\}, \quad z \in \Omega \setminus \{0\}.$$
(3.4)
Thus, when $|\Phi''(0) + 2(\Phi'(0))^2| \ge 2\Phi'(0)$ , the equation (3.4) readily yields
$$\left| 2 \frac{\partial \rho}{\partial z} \frac{D^3 G(0)(z^3)}{3! \rho^3(z)} \right| \le \frac{\Phi'(0)}{2} \left| \frac{1}{2} \frac{\Phi''(0)}{\Phi'(0)} + \Phi'(0) \right|. \tag{3.5}$$
Using the bounds given in (3.3) and (3.5), together with the following inequality
$$\begin{split} \left| \left( 2 \frac{\partial \rho}{\partial z} \frac{D^3 G(0)(z^3)}{3! \rho^3(z)} \right)^2 - \left( 2 \frac{\partial \rho}{\partial z} \frac{D^2 G(0)(z^2)}{2! \rho^2(z)} \right)^2 \right| \\ & \leq \left| 2 \frac{\partial \rho}{\partial z} \frac{D^3 G(0)(z^3)}{3! \rho^3(z)} \right|^2 + \left| 2 \frac{\partial \rho}{\partial z} \frac{D^2 G(0)(z^2)}{2! \rho^2(z)} \right|^2, \end{split}$$
we find the required bound.
To see the sharpness of the bound consider the function
$$G(z) = z \exp \int_0^{\frac{z_1}{r}} \frac{(\Phi(it) - 1)}{t} dt, \quad z \in \Omega,$$
(3.6)
where $r = \sup\{|z_1| : z = (z_1, z_2, \dots, z_n)' \in \Omega\}$ . It can be easily showed that $J_G^{-1}(z)G(z) \in \mathcal{M}_{\Phi}$ and
$$\frac{D^2G(0)(z^2)}{2!} = i\Phi'(0)(\frac{z_1}{r})z \text{ and } \frac{D^3G(0)(z^3)}{3!} = -\frac{1}{2}\left(\frac{\Phi''(0)}{2} + (\Phi'(0))^2\right)(\frac{z_1}{r})^2z.$$
By applying (2.1) in the above relations, we get
$$2\frac{\partial \rho}{\partial z} \frac{D^2 G(0)(z^2)}{2!} = i\Phi'(0)(\frac{z_1}{r})\rho(z)$$
and
$$2\frac{\partial \rho}{\partial z} \frac{D^3 G(0)(z^3)}{3!} \rho(z) = -\frac{1}{2} \left( \frac{\Phi''(0)}{2} + (\Phi'(0))^2 \right) (\frac{z_1}{r})^2 \rho^2(z).$$
Setting z = Ru (0 < R < 1), where $u = (u_1, u_2, \dots, u_n)' \in \partial \Omega$ and $u_1 = r$ , we obtain
$$2\frac{\partial\rho}{\partial z}\frac{D^2G(0)(z^2)}{2!\rho^2(z)} = i\Phi'(0)$$
(3.7)
and
$$2\frac{\partial\rho}{\partial z}\frac{D^3G(0)(z^3)}{3!\rho^3(z)} = -\frac{1}{2}\left(\frac{\Phi''(0)}{2} + (\Phi'(0))^2\right). \tag{3.8}$$
Thus, from (3.7) and (3.8), we have
$$\left| \left( 2 \frac{\partial \rho}{\partial z} \frac{D^3 G(0)(z^3)}{3! \rho^3(z)} \right)^2 - \left( 2 \frac{\partial \rho}{\partial z} \frac{D^2 G(0)(z^2)}{2! \rho^2(z)} \right)^2 \right| \\
\leq \frac{(\Phi'(0))^2}{4} \left( \frac{1}{2} \frac{\Phi''(0)}{\Phi'(0)} + \Phi'(0) \right)^2 + (\Phi'(0))^2,$$
which shows the sharpness of the bound and completes the
Theorem 3.2
Theorem 3.2. Let with g(0) = 1 and G(z) = zg(z). If such that satisfies. then where The bound is sharp. Proof. Since, the inequality (3.4)…
Theorem 3.2. Let $g \in \mathcal{H}(\Omega, \mathbb{C})$ with g(0) = 1 and G(z) = zg(z). If $J_G^{-1}(z)G(z) \in \mathscr{M}_{\Phi}$ such that $\Phi$ satisfies $2\Phi'(0) - 2(\Phi'(0))^2 < \Phi''(0) < 6(\Phi'(0))^2 - 2\Phi'(0)$ .
then
$$|2b_2^2b_3 - b_3^2 - 2b_2^2 + 1| \le 1 + 2(\Phi'(0))^2 + \frac{(\Phi'(0))^2}{4} \left(3\Phi'(0) - \frac{\Phi''(0)}{2\Phi'(0)}\right) \left(\frac{\Phi''(0)}{2\Phi'(0)} + \Phi'(0)\right),$$
where
$$b_3 = 2 \frac{\partial \rho}{\partial z} \frac{2D^3 G(0)(z^3)}{3! \rho^3(z)} \quad and \quad b_2 = 2 \frac{\partial \rho}{\partial z} \frac{2D^2 G(0)(z^2)}{2! \rho^2(z)}. \tag{3.9}$$
The bound is sharp.
Proof. Since $2\Phi'(0) < \Phi''(0) + 2(\Phi'(0))^2$ , the inequality (3.4) gives
$$\left| 2 \frac{\partial \rho}{\partial z} \frac{D^3 G(0)(z^3)}{3! \rho^3(z)} \right| \le \frac{\Phi'(0)}{2} \left( \frac{1}{2} \frac{\Phi''(0)}{\Phi'(0)} + \Phi'(0) \right). \tag{3.10}$$
Also, since $2\Phi'(0) + \Phi''(0) \le 6(\Phi'(0))^2$ , the inequality (3.4) for $\lambda = 2$ gives
$$\left| 2 \frac{\partial \rho}{\partial z} \frac{D^3 G(0)(z^3)}{3! \rho^3(z)} - 2 \left( 2 \frac{\partial \rho}{\partial z} \frac{D^2 G(0)(z^2)}{2! \rho^2(z)} \right)^2 \right| \le \frac{\Phi'(0)}{2} \left( 3\Phi'(0) - \frac{1}{2} \frac{\Phi''(0)}{\Phi'(0)} \right). \tag{3.11}$$
Using the estimates given in (3.3) and (3.10), and the bound given by (3.11) in the following inequality
$$|2b_2^2b_3 - b_3^2 - 2b_2^2 + 1| < 1 + 2|b_2|^2 + |b_3||b_3 - 2b_2^2|$$
the required bound is established.
The result is sharp for the function G(z) given by (3.6). As for this function, we have $b_2 = i\Phi'(0)$ and $b_3 = -(\Phi''(0) + 2(\Phi'(0))^2)/4$ from (3.7) and (3.8), respectively. Therefore
$$1 - b_3(b_3 - 2b_2^2) - 2b_2^2 = 1 + 2(\Phi'(0))^2 + \frac{(\Phi'(0))^2}{4} \left(3\Phi'(0) - \frac{\Phi''(0)}{2\Phi'(0)}\right) \left(\frac{\Phi''(0)}{2\Phi'(0)} + \Phi'(0)\right),$$
which proves the sharpness of the bound.
In case of $\Omega = \mathbb{U}^n$ , Theorem 3.1 and Theorem 3.2 directly give the following results, which we state here without
Theorem 3.3
Theorem 3.3. Let with g(0) = 1 and G(z) = zg(z). If such that satisfies then The bound is sharp.
Theorem 3.3. Let $g \in \mathcal{H}(\mathbb{U}^n, \mathbb{C})$ with g(0) = 1 and G(z) = zg(z). If $J_G^{-1}(z)G(z) \in \mathscr{M}_{\Phi}$ such that $\Phi$ satisfies
$$|\Phi''(0) + 2(\Phi'(0))^2| \ge 2\Phi'(0) > 0,$$
then
$$\left| \left( \frac{1}{\|z\|^4} \frac{D^3 G(0)(z^3)}{3!} \bar{z} \right)^2 - \left( \frac{1}{\|z\|^3} \frac{D^2 G(0)(z^2)}{2!} \bar{z} \right)^2 \right| \\
\leq (\Phi'(0))^2 + \frac{(\Phi'(0))^2}{4} \left( \frac{1}{2} \frac{\Phi''(0)}{\Phi'(0)} + \Phi'(0) \right)^2.$$
The bound is sharp.
Theorem 3.4
Theorem 3.4. Let with g(0) = 1 and G(z) = zg(z). If such that satisfies then where The bound is sharp. In sight of remark 2.1, various…
Theorem 3.4. Let $g \in \mathcal{H}(\mathbb{U}^n,\mathbb{C})$ with g(0) = 1 and G(z) = zg(z). If $J_G^{-1}(z)G(z) \in \mathscr{M}_{\Phi}$ such that $\Phi$ satisfies
$$2\Phi'(0) - 2(\Phi'(0))^2 \le \Phi''(0) \le 6(\Phi'(0))^2 - 2\Phi'(0),$$
then
$$|2d_2^2d_3 - d_3^2 - 2d_2^2 + 1| \le \frac{(\Phi'(0))^2}{4} \left(3\Phi'(0) - \frac{\Phi''(0)}{2\Phi'(0)}\right) \left(\frac{\Phi''(0)}{2\Phi'(0)} + \Phi'(0)\right) + 2(\Phi'(0))^2 + 1,$$
where
$$d_3 = \frac{1}{\|z\|^4} \frac{D^3 G(0)(z^3)}{3!} \bar{z} \quad and \quad d_2 = \frac{1}{\|z\|^3} \frac{D^2 G(0)(z^2)}{2!} \bar{z}. \tag{3.12}$$
The bound is sharp.
In sight of remark 2.1, various choices of $\Phi$ in Theorem 3.1 to Theorem 3.4 lead to the following results for different subclasses of $S(\Omega)$ .
Corollary 3.5
Corollary 3.5. If and, then and where and are given by (3.9). All these estimations are sharp.
Corollary 3.5. If $g: \Omega \to \mathbb{C}$ and $G(z) = zg(z) \in \mathcal{S}^*(\Omega)$ , then
$$\left| \left( 2 \frac{\partial \rho}{\partial z} \frac{D^3 G(0)(z^3)}{3! \rho^3(z)} \right)^2 - \left( 2 \frac{\partial \rho}{\partial z} \frac{D^2 G(0)(z^2)}{2! \rho^2(z)} \right)^2 \right| \le 13$$
and
$$|2b_2^2b_3 - b_3^2 - 2b_2^2 + 1| \le 24,$$
where $b_2$ and $b_3$ are given by (3.9). All these estimations are sharp.
Corollary 3.6
Corollary 3.6. If and, then and for, where and are given by (3.9). All these estimations are sharp.
Corollary 3.6. If $g: \Omega \to \mathbb{C}$ and $G(z) = zg(z) \in \mathcal{S}^*_{\alpha}(\Omega)$ , then
$$\left| \left( 2 \frac{\partial \rho}{\partial z} \frac{D^3 G(0)(z^3)}{3! \rho^3(z)} \right)^2 - \left( 2 \frac{\partial \rho}{\partial z} \frac{D^2 G(0)(z^2)}{2! \rho^2(z)} \right)^2 \right| \le (1 - \alpha)^2 (4\alpha^2 - 12\alpha + 13)$$
and for $\alpha \in [0, 2/3]$ ,
$$|2b_2^2b_3 - b_3^2 - 2b_2^2 + 1| \le 12\alpha^4 - 52\alpha^3 + 91\alpha^2 - 74\alpha + 24,$$
where $b_2$ and $b_3$ are given by (3.9). All these estimations are sharp.
Corollary 3.7
Corollary 3.7. If and, then for, the following sharp inequalities hold: and where and are given by (3.9). If, we obtain the following…
Corollary 3.7. If $g: \Omega \to \mathbb{C}$ and $G(z) = zg(z) \in \mathcal{SS}^*_{\beta}(\Omega)$ , then for $\beta \in [1/3, 1]$ , the following sharp inequalities hold:
$$\left| \left( 2 \frac{\partial \rho}{\partial z} \frac{D^3 G(0)(z^3)}{3! \rho^3(z)} \right)^2 - \left( 2 \frac{\partial \rho}{\partial z} \frac{D^2 G(0)(z^2)}{2! \rho^2(z)} \right)^2 \right| \le 9\beta^4 + 4\beta^2$$
and
$$|2b_2^2b_3 - b_3^2 - 2b_2^2 + 1| \le 15\beta^4 + 8\beta^2 + 1,$$
where $b_2$ and $b_3$ are given by (3.9).
If $\Omega = \mathbb{U}^n$ , we obtain the following bounds.
Corollary 3.8
Corollary 3.8. If and, then and where and are given by (3.12). All these bounds are sharp. Remark 3.1. When n = 1, (3.13) and (3.14) reduce…
Corollary 3.8. If $g: \mathbb{U}^n \to \mathbb{C}$ and $G(z) = zg(z) \in \mathcal{S}^*(\mathbb{U}^n)$ , then
$$\left| \left( \frac{1}{\|z\|^4} \frac{D^3 G(0)(z^3)}{3!} \bar{z} \right)^2 - \left( \frac{1}{\|z\|^3} \frac{D^2 G(0)(z^2)}{2!} \bar{z} \right)^2 \right| \le 13 \tag{3.13}$$
and
$$|2d_2^2d_3 - d_3^2 - 2d_2^2 + 1| \le 24, (3.14)$$
where $d_2$ and $d_3$ are given by (3.12). All these bounds are sharp.
Remark 3.1. When n = 1, (3.13) and (3.14) reduce to the following:
$$\left| \left( \frac{G^{(3)}(0)}{3!} \right)^2 - \left( \frac{G''(0)}{2!} \right)^2 \right| \le 13$$
and
$$|2d_2^2d_3 - d_3^2 - 2d_2^2 + 1| \le 24,$$
where
$$d_3 = \frac{G^{(3)}(0)}{3!}$$
and $d_2 = \frac{G''(0)}{2!}$ .
which are equivalent to the bounds given in Theorem A.
Corollary 3.9
Corollary 3.9. If and, then and for, where and are given by (3.12). All these estimations are sharp. Remark 3.2. When n=1, (3.15) and…
Corollary 3.9. If $g: \mathbb{U}^n \to \mathbb{C}$ and $G(z) = zg(z) \in \mathcal{S}^*_{\alpha}(\mathbb{U}^n)$ , then
$$\left| \left( \frac{1}{\|z\|^4} \frac{D^3 G(0)(z^3)}{3!} \bar{z} \right)^2 - \left( \frac{1}{\|z\|^3} \frac{D^2 G(0)(z^2)}{2!} \bar{z} \right)^2 \right| \le (1 - \alpha)^2 (4\alpha^2 - 12\alpha + 13) \tag{3.15}$$
and for $\alpha \in [0, 2/3]$ ,
$$|2d_2^2d_3 - d_3^2 - 2d_2^2 + 1| \le 12\alpha^4 - 52\alpha^3 + 91\alpha^2 - 74\alpha + 24,\tag{3.16}$$
where $d_2$ and $d_3$ are given by (3.12). All these estimations are sharp.
Remark 3.2. When n=1, (3.15) and (3.16) reduce to the bounds given in Theorem B.
Corollary 3.10
Corollary 3.10. If and, then for, the following sharp inequalities hold: and where and are given by (3.12). Remark 3.3. When n=1, (3.17)…
Corollary 3.10. If $g: \mathbb{U}^n \to \mathbb{C}$ and $G(z) = zg(z) \in \mathcal{SS}^*_{\beta}(\mathbb{U}^n)$ , then for $\beta \in [1/3, 1]$ , the following sharp inequalities hold:
$$\left| \left( \frac{1}{\|z\|^4} \frac{D^3 G(0)(z^3)}{3!} \bar{z} \right)^2 - \left( \frac{1}{\|z\|^3} \frac{D^2 G(0)(z^2)}{2!} \bar{z} \right)^2 \right| \le 9\beta^4 + 4\beta^2 \tag{3.17}$$
and
$$|2d_2^2d_3 - d_3^2 - 2d_2^2 + 1| \le 15\beta^4 + 8\beta^2 + 1, (3.18)$$
where $d_2$ and $d_3$ are given by (3.12).
Remark 3.3. When n=1, (3.17) and (3.18) reduce to the bounds given in Theorem C.
Definitions (2)
Def 2.1
Definition 2.1. Let be a bounded starlike circular domain in with and its Minkowski functional in. A normalized locally biholomorphic…
Definition 2.1. Let $\Omega$ be a bounded starlike circular domain in $\mathbb{C}^n$ with $0 \in \Omega$ and its Minkowski functional $\rho \in C^1$ in $\mathbb{C}^n \setminus \{0\}$ . A normalized locally biholomorphic mapping $g: \Omega \to \mathbb{C}^n$ is said to be starlike of order $\alpha$ $(0 \le \alpha < 1)$ if
$$\left| \frac{2}{\rho(z)} \frac{\partial \rho}{\partial z} J_g^{-1}(z) g(z) - \frac{1}{2\alpha} \right| < \frac{1}{2\alpha}, \quad \forall z \in \Omega \setminus \{0\}.$$
Equivalently, the above equation can be written as
$$\operatorname{Re}\left\{\frac{\rho(z)}{2\frac{\partial\rho(z)}{\partial z}J_g^{-1}(z)g(z)}\right\} > \alpha, \quad \forall z \in \Omega \setminus \{0\}.$$
Clearly, when $\Omega = \mathbb{U}^n$ , the aforementioned inequality is equivalent to
$$\operatorname{Re}\left\{\frac{\|z\|^2}{\langle J_g^{-1}(z)g(z), z\rangle}\right\} > \alpha, \quad \forall z \in \mathbb{U}^n \setminus \{0\}.$$
In case of $n=1, \Omega=\mathbb{U}$ and the above relation is equivalent to
$$\operatorname{Re} \frac{zg'(z)}{g(z)} > 0, \quad z \in \mathbb{U}.$$
We denote by $\mathcal{S}_{\alpha}^{*}(\Omega)$ the set of all starlike mappings of order $\alpha$ on $\Omega$ .
Def 2.2
Definition 2.2. [8](also see [16, 12]) Let be a bounded starlike circular domain in with and its Minkowski functional in. A normalized…
Definition 2.2. [8](also see [16, 12]) Let $\Omega$ be a bounded starlike circular domain in $\mathbb{C}^n$ with $0 \in \Omega$ and its Minkowski functional $\rho \in C^1$ in $\mathbb{C}^n \setminus \{0\}$ . A normalized locally biholomorphic mapping $g: \Omega \to \mathbb{C}^n$ is said to be strongly starlike of order $\beta$ ( $0 < \beta \le 1$ ) if
$$\left|\arg\frac{2}{\rho(z)}\frac{\partial\rho}{\partial z}J_g^{-1}(z)g(z)\right| < \frac{\pi}{2}\beta, \quad \forall z \in \Omega \setminus \{0\}.$$
Clearly, when $\Omega = \mathbb{U}^n$ , the aforementioned inequality is equivalent to
$$|\arg\langle J_g^{-1}(z)g(z),z\rangle| < \frac{\pi}{2}\beta, \quad \forall z \in \mathbb{U}^n \setminus \{0\}.$$
In case of n = 1, $\Omega = \mathbb{U}$ and the above relation is equivalent to
$$\left| \arg \frac{zg'(z)}{g(z)} \right| < \frac{\pi}{2}\beta, \quad \forall z \in \mathbb{U}.$$
We denote by $\mathcal{SS}^*_{\beta}(\Omega)$ the set of all strongly starlike mappings of order $\beta$ on $\Omega$ .
Next, we recall the class $\mathcal{M}$ , which plays a fundamental role in the study of Loewner chains and Loewner differential equation in several complex variables (see [8, 22].
$$\mathcal{M} = \left\{ p \in \mathcal{H}(\Omega) : p(0) = 0, J_p(0) = I, \operatorname{Re} \frac{\partial \rho}{\partial z} p(z) > 0, z \in \Omega \setminus \{0\} \right\},\,$$
where $\partial \rho(z)/\partial z = (\partial \rho(z)/\partial z_1, \partial \rho(z)/\partial z_2, \cdots, \partial \rho(z)/\partial z_n)$ .
Kohr [15] introduced the class $\mathcal{M}_{\Phi}$ on $\mathbb{U}^n$ , which is studied by Graham et al. [7] (see also [6]), where $\Phi: \mathbb{U} \to \mathbb{C}$ is a biholomorphic function such that $\Phi(0) = 1$ and $\operatorname{Re} \Phi(z) > 0$ on $\mathbb{U}$ . Recently, Xu et al. [28] considered the class $\mathcal{M}_{\Phi}$ on $\Omega \subset \mathbb{C}^n$ . Here, we add some more conditions on $\Phi$ and define the following subsets of $\mathcal{M}$ .
Assumption 2.3. Let $\Phi : \mathbb{U} \to \mathbb{C}$ be a biholomorphic function such that $\Phi(0) = 1$ , $\Phi'(0) > 0$ , $\Phi''(0) \in \mathbb{R}$ and $\operatorname{Re} \Phi(z) > 0$ on $\mathbb{U}$ .
Obviously, there are many functions which satisfy this assumption. Let
$$\mathcal{M}_{\Phi} = \left\{ p \in \mathcal{H}(\Omega) : p(0) = 0, J_p(0) = I, \frac{\rho(z)}{2\frac{\partial \rho}{\partial z}p(z)} \in \Phi(\mathbb{U}), z \in \Omega \setminus \{0\} \right\}.$$
The class $\mathcal{M}_{\Phi}$ coincides with $\mathcal{M}$ for $\Phi(z) = (1+z)/(1-z), z \in \mathbb{U}$ . Also, if $\Omega = \mathbb{U}^n$ , then
$$\mathcal{M}_{\Phi} = \left\{ p \in \mathcal{H}(\mathbb{U}^n) : p(0) = 0, J_p(0) = I, \frac{\|z\|^2}{\langle p(z), z \rangle} \in \Phi(\mathbb{U}), z \in \mathbb{U}^n \setminus \{0\} \right\}.$$
Remark 2.1. Let $g \in \mathcal{H}(\mathbb{U})$ be a normalized locally biholomorphic function. If $J_g^{-1}(z)g(z) \in \mathcal{M}_{\Phi}$ , then for different choices of $\Phi$ , we obtain different important classes of $\mathcal{S}(\Omega)$ . For instance, if we take $\Phi(z) = (1+z)/(1-z)$ , $\Phi(z) = (1+(1-2\alpha)z)/(1-z)$ and $\Phi(z) = ((1+z)/(1-z))^{\beta}$ (where the branch point is chosen such that $((1+z)/(1-z))^{\beta} = 1$ at z = 0), then we easily obtain $g \in \mathcal{S}^(\Omega)$ , $g \in \mathcal{S}^_{\alpha}(\Omega)$ and $g \in \mathcal{S}\mathcal{S}^*_{\beta}(\Omega)$ , respectively.
The following lemma helps us to prove the main results.
Function classes studied:
Related Papers