Abstract
Let $\mathcal{A}$ denote the class of analytic functions such that $f(0)=0$ and $f'(0)=1$ in the unit disk $\mathbb{D}:=\{z \in \mathbb{C}: |z|<1\}.$ In this paper, we consider $\mathcal{S}^*(\varphi) := \left\{ f \in \mathcal{A} : zf'(z)/f(z) \prec \varphi(z):=(1+z/2)^2 \right\}$, a subclass of starlike functions and we compute the sharp second and third Hankel determinants for the functions in $\mathcal{S}^*(\varphi)$. Furthermore, we determine the extremal functions for the coefficient bounds
Results & Lemmas (9)
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.
Theorem 3.1
Theorem 3.1. Let, and define. Then provided that and.
Theorem 3.1. Let
$$-1 < B < A \le 1$$
, and define $p(z) = \frac{1 + Az}{1 + Bz}$ . Then $p(z) \prec \varphi(z)$ provided that $\frac{1}{4} \le \frac{1 - A}{1 - B}$ and $\frac{1 + A}{1 + B} \le \frac{9}{4}$ .
Theorem 3.2 · radius
Theorem 3.2. Let. Then in, where is the least positive root of the equation, and
Theorem 3.2. Let $f \in \mathcal{S}^*(\varphi)$ . Then $f \in \mathcal{C}_{\gamma}$ in $|z| < r_{\gamma}$ , where $r_{\gamma}$ is the least positive root of the equation $g(r) = \gamma$ , and
$$g(r) = \left(1 - r - \frac{r^2}{4}\right) - \frac{r\left(1 + \frac{r}{2}\right)}{\left(1 - \frac{r}{2}\right)^2 (1 - r^2)}, \qquad \gamma \in [0, 1).$$
Lemma 3.1
Lemma 3.1. [8] Let P(z) be a function in the Carathéodory class, and, then,. for n = 1, 2, 3,...
Lemma 3.1. [8] Let P(z) be a function in the Carathéodory class $\mathcal{P}$ , and $s \in \mathbb{N}$ , then $|p_n - p_{n-s} p_s| \leq 2$ , $n \geq s$ . for n = 1, 2, 3, ...
Theorem 3.3 · coeff
Theorem 3.3. Let. Then the following coefficient bounds hold,, and. All these bounds are sharp.
Theorem 3.3. Let $f(z) = z + \sum_{n=2}^{\infty} a_n z^n \in \mathcal{S}^*(\varphi)$ . Then the following coefficient bounds hold
$$|a_2| \le 1$$
, $|a_3| \le \frac{5}{8}$ , and $|a_4| \le 0.338667$ .
All these bounds are sharp.
Lemma 4.1
Lemma 4.1. [8] Let be of the form. Then for some complex numbers,, and such that,, and. Next, we recall the following well-known result by…
Lemma 4.1. [8] Let
$$p \in \mathcal{P}$$
be of the form $p(z) = 1 + \sum_{n=1}^{\infty} p_n z^n$ . Then
$$2p_{2} = p_{1}^{2} + \gamma (4 - p_{1}^{2}),$$
$$4p_{3} = p_{1}^{3} + 2(4 - p_{1}^{2})p_{1}\gamma - (4 - p_{1}^{2})p_{1}\gamma^{2} + 2(4 - p_{1}^{2})(1 - |\gamma|^{2})\eta,$$
$$8p_{4} = p_{1}^{4} + (4 - p_{1}^{2})\gamma (p_{1}^{2}(\gamma^{2} - 3\gamma + 3) + 4\gamma)$$
$$-4(4 - p_{1}^{2})(1 - |\gamma|^{2})(p_{1}(\gamma - 1)\eta + \overline{\gamma}\eta^{2} - (1 - |\eta|^{2})\rho)$$
for some complex numbers $\gamma$ , $\eta$ , and $\rho$ such that $|\gamma| \leq 1$ , $|\eta| \leq 1$ , and $|\rho| < 1$ .
Next, we recall the following well-known result by Choi et al. [3]
Lemma 4.2
Lemma 4.2. [3] Let and define (i) If, then (ii) If AC < 0, then where. We now proceed to prove the main results of this paper.
Lemma 4.2. [3] Let $A, B, C \in \mathbb{R}$ and define
$$Y(A, B, C) := \max_{z \in \overline{\mathbb{D}}} (|A + Bz + Cz^2| + 1 - |z|^2).$$
(i) If $AC \geq 0$ , then
$$Y(A, B, C) = \begin{cases} |A| + |B| + |C|, & \text{if } |B| \ge 2(1 - |C|), \\ 1 + |A| + \frac{B^2}{4(1 - |C|)}, & \text{if } |B| < 2(1 - |C|). \end{cases}$$
(ii) If AC < 0, then
$$Y(A,B,C) = \begin{cases} 1 - |A| + \frac{B^2}{4(1-|C|)}, & \text{if } -4AC(C^2-1) \leq B^2 \text{ and } |B| < 2(1-|C|), \\ 1 + |A| + \frac{B^2}{4(1+|C|)}, & \text{if } B^2 < \min\{4(1+|C|)^2, -4AC(C^2-1)\}, \\ R(A,B,C), & \text{otherwise,} \end{cases}$$
where.
$$R(A, B, C) = \begin{cases} |A| + |B| + |C|, & \text{if } |C| (|B| + 4|A|) \le |AB|, \\ -|A| + |B| + |C|, & \text{if } |AB| \le |C| (|B| - 4|A|), \\ (|A| + |C|) \sqrt{1 - \frac{B^2}{4AC}}, & \text{otherwise.} \end{cases}$$
We now proceed to prove the main results of this paper.
Theorem 4.1
Theorem 4.1. Let. Then. The result is sharp.
Theorem 4.1. Let $f \in \mathcal{S}^*(\varphi)$ . Then $|H_2(2)| \leq 1/4$ . The result is sharp.
Lemma 4.3
Lemma 4.3. Let be a Schwarz function, that is, is analytic in, w(0) = 0, and |w(z)| < 1 for all. If, then there exist complex numbers…
Lemma 4.3. Let $w(z) = \sum_{n=1}^{\infty} c_n z^n$ be a Schwarz function, that is, $\omega$ is analytic in $\mathbb{D}$ , w(0) = 0, and |w(z)| < 1 for all $z \in \mathbb{D}$ . If $c_1 \geq 0$ , then there exist complex numbers $\gamma, \eta, \rho$ with $|\gamma| \leq 1$ , $|\eta| \leq 1$ , $|\rho| \leq 1$ , such that
$$c_{2} = (1 - c_{1}^{2})\gamma,$$
$$c_{3} = (1 - c_{1}^{2})(\eta(1 - |\gamma|^{2}) - c_{1}\gamma^{2}),$$
$$c_{4} = (1 - c_{1}^{2})(c_{1}^{2}\gamma^{3} - (1 - |\gamma|^{2})(2c_{1}\gamma\eta + \overline{\gamma}\eta^{2}) + (1 - |\gamma|^{2})(1 - |\eta|^{2})\rho).$$
Theorem 4.2
Theorem 4.2. Let. Then, where denote the third Hankel determinant. Moreover, the estimate is sharp.
Theorem 4.2. Let $f \in \mathcal{S}^*(\varphi)$ . Then $|H_3(1)| \leq 1/9$ , where $H_3(1)$ denote the third Hankel determinant. Moreover, the estimate is sharp.
Function classes studied:
Coefficient bounds & claims (6)
Machine-extracted from the paper text - useful for cross-referencing, not a verified fact.
coefficient_bound
|a2| ≤ 1 for class S*(phi) (sharp) [Theorem 3.3]
coefficient_bound
|a3| ≤ 5/8 for class S*(phi) (sharp) [Theorem 3.3]
coefficient_bound
|a4| ≤ 0.338667 for class S*(phi) (sharp) [Theorem 3.3]
coefficient_bound
|H2(2)| ≤ 1/4 for class S*(phi) (sharp) [Theorem 4.1]
coefficient_bound
|H3(1)| ≤ 1/9 for class S*(phi) (sharp) [Theorem 4.2]
function_family
Class S*(phi): f in A such that zf'(z)/f(z) subordinate to phi(z) = (1 + z/2)^2; phi is a Ma-Minda function with phi(0)=1, phi'(0)=1, range in (1/4, 9/4)
Related Papers