On a generalization of starlike functions

Corollary 2.4. Let $q \in (0,1)$ , a,b,c be non-negative real numbers such that $1 > a \ge b \ge c$ and $r \in (0,1]$ . Then $$z\Phi[a,b;c;q,rz] \in \mathcal{S}_q\left(1-\frac{rs}{1+r}\right),$$ where $$s = \frac{q(1-a)}{a(1-q)}$$ .

Corollary 2.5. Let a, b, c be non-negative real numbers such that $1 > a \ge b \ge c$ . Then $$z\Phi[a,b;c;q,z] \in \mathcal{S}_q(1-s/2),$$ where $$s = \frac{q(1-a)}{a(1-q)}$$ . In particular, when s=2, the shifted basic hypergeometric function $z\Phi[a,b;c;q,z] \in \mathcal{S}_q$ . When we put $a=q^a,b=q^b$ and $c=q^c$ and allow $q\to 1^-$ , then Corollary 2.5 leads to an well-known result on the order of starlikeness of the Gaussian hypergeometric functions namely,

Corollary 2.6. [25, Theorem B] Let a, b, c be non-negative real numbers such that $a \le b \le c$ . Then $$zF(a, b; c; z) \in \mathcal{S}^*(1 - a/2).$$ This result on Gaussian hypergeometric function of Corollary 2.6 is not only interesting by itself, but also useful and employed for further research in geometric function theory. Many researchers used this result, particularly Ponnusamy and Sahoo in [23] used it innovatively to study pre-Schwarzian norm estimates for integral operators (defined by convolution) of functions belonging to special subclasses of the class of univalent functions with hypergeometric functions. Similarly, we expect that these results on basic hypergeometric functions will be fruitful and pave the way for further research in function theory as well as in physics.

Lemma 3.1. [16, pp. 254-256] Let the function $p \in \mathcal{P}$ and be given by the power series (3.1). Then <span id="page-5-0"></span> $$2p_2 = p_1^2 + x(4 - p_1^2),$$ $$4p_3 = p_1^3 + 2(4 - p_1^2)p_1x - p_1(4 - p_1^2)x^2 + 2(4 - p_1^2)(1 - |x|^2)z,$$ for some x and z satisfying $|x| \le 1$ , $|z| \le 1$ , and $p_1 \in [0,2]$ .

Lemma 3.2. [19, Lemma 1] Let the function $p \in \mathcal{P}$ and be given by the power series (3.1). Then for any real number $\lambda$ , $$|p_2 - \lambda p_1^2| \le 2 \max\{1, |2\lambda - 1|\}$$ and the result is sharp.

Lemma 3.3. (Carathédory lemma). If a function $p(z) = 1 + \sum_{n=1}^{\infty} p_n z^n \in \mathcal{P}$ , then $|p_n| \leq 2, n = 1, 2, \ldots$ The result is sharp for $$p(z) = \frac{1+z}{1-z} = 1 + \sum_{n=1}^{\infty} 2z^n.$$ 3.1. The Bieberbach-type problem. The Bieberbach-type problem for the class $S_q$ is investigated and we prove the following result.

Theorem 3.4. If $f(z) = z + \sum_{n=2}^{\infty} a_n z^n \in \mathcal{S}_q$ , then for all $n \geq 2$ , $$|a_n| \le \prod_{j=2}^n \left( \frac{\frac{1-q^{j-1}}{1-q}+1}{\frac{1-q^j}{1-q}-1} \right).$$ Equality holds for the function F satisfying $z(D_qF)(z)/F(z) = (1+z)/(1-z)$ .

Theorem 3.5. Let $f \in \mathcal{S}_q$ be of the form (1.1) and $\mu$ be any complex number. Then $$|a_3 - \mu a_2^2| \le \max \left\{ \left| \frac{2(2+q) - 4\mu(1+q)}{q^2(1+q)} \right|, \frac{2}{q(1+q)} \right\}.$$ Equality occurs for the functions F and G satisfying <span id="page-8-1"></span> $$\frac{z(D_q F)(z)}{F(z)} = \frac{1+z}{1-z}$$ and (3.8) $$\frac{z(D_qG)(z)}{G(z)} = \frac{1+z^2}{1-z^2}.$$

Theorem 3.7. Let $f \in S_q$ be of the form (1.1). Then $$|H_2(2)| = |a_2a_4 - a_3^2| \le \frac{4}{q^2(1+q)^2}.$$ Equality occurs for the function G(z) defined in (3.8).

Definition 1.1. A function $f \in \mathcal{A}$ is said to be in the class of q-starlike functions of order $\alpha$ , denoted by $\mathcal{S}_q(\alpha)$ , $0 \le \alpha < 1$ , if Re $$\left(\frac{z(D_q f)(z)}{f(z)}\right) > \alpha, \quad z \in \mathbb{D}.$$ Clearly, $S_q(\alpha) \supset S_q^(\alpha)$ and as $q \to 1^-$ , $S_q(\alpha) = S^(\alpha)$ . Set $S_q := S_q(0)$ so that as $q \to 1^-$ , $S_q(0) = S^*$ . In Section 2, we establish a result on the order of q-starlikeness of shifted basic hypergeometric functions $$z\Phi[a,b;c;q,z] = z \sum_{n=0}^{\infty} \frac{(a;q)_n(b;q)_n}{(c;q)_n(q;q)_n} z^n, \quad z \in \mathbb{D},$$ where $(a;q)_n = (1-a)(1-aq)(1-aq^2)\cdots(1-aq^{n-1})$ , $(a;q)_0 = 1$ with $0 \le q < 1$ , a,b,c are real parameters and $(c;q)_n \ne 0$ . For the basic properties of Heine's hypergeometric functions the basic references are [3,27]. Interestingly, the replacements of a,b and c by $q^a,q^b$ and $q^c$ respectively, then as $q \to 1^-$ , the function $\Phi[q^a,q^b;q^c;q,z]$ tends to the well-known Gaussian hypergeometric functions $$zF(a,b;c;z) = z \sum_{n=0}^{\infty} \frac{(a)_n(b)_n}{(c)_n(1)_n} z^n, \quad z \in \mathbb{D},$$ where a, b, c are real parameters, (a)⁰ = 1, (a)ⁿ = a(a+ 1)· · ·(a+n−1) is the Pochhammer symbol and c is neither 0 nor a negative integer (except in special cases where a = −m or b = −m and c = −p with p > m).