**Miraj Ul-Haq 2, Mohsan Raza 3, Muhammad Arif 2, Qaiser Khan <sup>2</sup> and Huo Tang 1,***<sup>∗</sup>*


Received: 24 June 2019; Accepted: 8 August 2019; Published: 9 August 2019

**Abstract:** In this article, we study differential subordnations in *q*-analogue. Some properties of analytic functions in *q*-analogue associated with cardioid domain and limacon domain are considered. In particular, we determine conditions on *<sup>α</sup>* such that 1 + *<sup>α</sup> <sup>z</sup>∂qh*(*z*) (*h*(*z*))*<sup>n</sup>* (*<sup>n</sup>* = 0, 1, 2, 3) are subordinated by Janowski functions and *<sup>h</sup>* (*z*) <sup>≺</sup> <sup>1</sup> <sup>+</sup> <sup>4</sup> <sup>3</sup> *<sup>z</sup>* <sup>+</sup> <sup>2</sup> <sup>3</sup> *<sup>z</sup>*2. We also consider the same implications such that *<sup>h</sup>* (*z*) <sup>≺</sup> <sup>1</sup> <sup>+</sup> <sup>√</sup>2*<sup>z</sup>* <sup>+</sup> <sup>1</sup> <sup>2</sup> *<sup>z</sup>*2. We apply these results on analytic functions to find sufficient conditions for *q*-starlikeness related with cardioid and limacon.

**Keywords:** *q*-calculus; differential subordination; Janowski function; cardioid domain; limacon domain

**MSC:** 30C45; 30C50

## **1. Introduction**

We recall here some basic notions from the literature of Geometric Function Theory which are essential for clarity and understandings of the upcoming work. We start with the symbol A which represents the family of analytic functions in D = {*z* : |*z*| < 1} and any function *f* in A satisfies the conditions *f* (0) = 0 and *f* (0) − 1 = 0. That is, if *f* in A, then it has the Taylor series expansion as:

$$f(z) = z + \sum\_{n=2}^{\infty} a\_n z^n, \ z \in \mathcal{D}.\tag{1}$$

Also let S denote a subclass of A which contains univalent functions in D. The notion of subordinations between analytic functions is represented by *f* ≺ *g* and is defined as; a function *f* is subordinated by function *g*, if we can find an analytic function *w* with the properties *w* (0) = 0 and |*w* (*z*)| < |*z*| such that *f*(*z*) = *g*(*w*(*z*)). Further, if *g* is univalent in D, then we have:

$$f(z) \prec \mathcal{g}(z) \Leftrightarrow f(0) = \mathcal{g}(0) \text{ \& } f(\mathcal{D}) \subset \mathcal{g}(\mathcal{D}).\tag{2}$$

Ma and Minda [1] studied the function *ϕ* which is analytic and normalized by *ϕ*(0) = 1 and *ϕ* (0) > 0 with *Re* {*ϕ* (*z*)} > 0 in D. The function *ϕ* maps D onto regions which is starlike with respect to 1 and symmetric along the real axis. Further, they introduced the subclasses of starlike and convex functions respectively as

$$\begin{aligned} \mathcal{S}^\*\left(\emptyset\right) &= \left\{ f \in \mathcal{A} : \frac{zf'\left(z\right)}{f\left(z\right)} \prec \wp\left(z\right), \left(z \in \mathcal{D}\right) \right\}, \\ \mathcal{C}\left(\emptyset\right) &= \left\{ f \in \mathcal{A} : 1 + \frac{zf''\left(z\right)}{f'\left(z\right)} \prec \wp\left(z\right), \left(z \in \mathcal{D}\right) \right\}. \end{aligned}$$

If we choose *<sup>ϕ</sup>*(*z*) = <sup>1</sup>+*Az* <sup>1</sup>+*Bz* (−<sup>1</sup> <sup>≤</sup> *<sup>B</sup>* <sup>&</sup>lt; *<sup>A</sup>* <sup>≤</sup> <sup>1</sup>), then <sup>S</sup>∗[*A*, *<sup>B</sup>*] :<sup>=</sup> <sup>S</sup><sup>∗</sup> <sup>1</sup>+*Az* <sup>1</sup>+*Bz* is the family of Janowski starlike functions, see [2]. Further by taking *A* = 1 − 2*α* with 0 ≤ *α* < 1 and *B* = −1, we get the class S∗(*α*) := S∗[1 − 2*α*, −1] of starlike functions of order *α*. Also, the notation S<sup>∗</sup> := S∗(0) represents the familiar class of starlike functions. The subclass S<sup>∗</sup> <sup>B</sup> :<sup>=</sup> <sup>S</sup>∗( <sup>√</sup><sup>1</sup> <sup>+</sup> *<sup>z</sup>*) which motivates the researchers was investigated by Sokół et al. [3] , containing functions *f* ∈ A such that *z f* (*z*)/ *f*(*z*) lies in the region bounded by the right-half of the Bernoulli lemniscate given by <sup>|</sup>*w*<sup>2</sup> <sup>−</sup> <sup>1</sup><sup>|</sup> <sup>&</sup>lt; 1. If we choose *ϕ*(*z*) = 1 + <sup>4</sup> <sup>3</sup> *<sup>z</sup>* <sup>+</sup> <sup>2</sup> <sup>3</sup> *<sup>z</sup>*2, then the class <sup>S</sup>∗(*ϕ*) coincides with the class <sup>S</sup><sup>∗</sup> <sup>C</sup> studied by Sharma et al. [4], consisting of functions *f* ∈ A such that *z f* (*z*)/ *f*(*z*) lies in the region bounded by the cardioid given by (9*x*<sup>2</sup> <sup>+</sup> <sup>9</sup>*y*<sup>2</sup> <sup>−</sup> <sup>18</sup>*<sup>x</sup>* <sup>+</sup> <sup>5</sup>)<sup>2</sup> <sup>−</sup> <sup>16</sup>(9*x*<sup>2</sup> <sup>+</sup> <sup>9</sup>*y*<sup>2</sup> <sup>−</sup> <sup>6</sup>*<sup>x</sup>* <sup>+</sup> <sup>1</sup>) = 0. If we choose *<sup>ϕ</sup>*(*z*) = <sup>1</sup> <sup>+</sup> sin *<sup>z</sup>*, then we get the set S∗ sin, established by Cho et al. [5]. By selecting *<sup>ϕ</sup>*(*z*) = <sup>1</sup> <sup>+</sup> <sup>√</sup>2*<sup>z</sup>* <sup>+</sup> <sup>1</sup> <sup>2</sup> *<sup>z</sup>*2, we acheive an interesting class S∗ <sup>L</sup> containing starlike functions associated with limacon given by (4*x*<sup>2</sup> <sup>+</sup> <sup>4</sup>*y*<sup>2</sup> <sup>−</sup> <sup>8</sup>*<sup>x</sup>* <sup>−</sup> <sup>5</sup>)<sup>2</sup> <sup>−</sup> <sup>8</sup>(4*x*<sup>2</sup> <sup>+</sup> <sup>4</sup>*y*<sup>2</sup> <sup>−</sup> <sup>12</sup>*<sup>x</sup>* <sup>−</sup> <sup>3</sup>) = 0. The class <sup>S</sup><sup>∗</sup> <sup>L</sup> was introduced in [6]. Further, by choosing some more particular function *ϕ*(*z*), we get several interesting subclasses of starlike functions. For some details, see [7–10].

In some recent years, a more intensive approach has been shown by the researchers in quantum calculus (*q*-calculus) because of its wide spread applications in various branches of sciences particularly in Mathematics and Physics. Among contributors to the study, Jackson was the first who provided basic notions and established the theory of *q*-calculus [11,12]. The idea of derivative in *q*-analogue was used for the first time by Ismail et al. [13] to initiate and study the geometry of *q*-starlike functions. After that, a comprenhensive applications of *q*-calculus in the field of Geometric Function Theory was contributed by Srivastava in a book chapter (see, for details, [14] (pp. 347 *et seq.*)) and in the same chapter he also given the usage of *q*-hypergeometric functions in function theory. The concepts of *q*-starlikeness was further extended to certain subclasses of starlike functions in *q*-analogue by Agrawal and Sahoo in [15] (for the recent contributions on this topic, see the work done by Srivastava et al. [16–19]). Also, with help of Hadamard product, the *q*-analogue of Ruscheweyh operator has been introduced by Kanas and R˘aducanu [20] and further studied in [21–24]. Many researchers contributed in the development of the theory by introducing certain classes with the help of *q*-calculus. For some details about these contributions, see [25–28].

Let *q* ∈ (0, 1) and *z* ∈ D with *z* = 0. Then the *q*-derivative of *f* is defined by

$$
\partial\_{\eta} f(z) = \frac{f(z) - f\left(qz\right)}{z\left(1 - q\right)}.\tag{3}
$$

By the virtue of (1) and (3), we easily calculated that for *<sup>n</sup>* <sup>∈</sup> <sup>N</sup> and *<sup>z</sup>* ∈ D

$$\partial\_{\eta} f(z) = 1 + \sum\_{n=2}^{\infty} \left[ n \, \eta \right] a\_n z^{n-1} \, \text{s} \tag{4}$$

where

$$[n,q] := \frac{1-q^n}{1-q} = 1 + \sum\_{k=1}^{n-1} q^l \quad \text{and} \quad [0,q] = 0.$$

Using the definition of *q*-derivative, Seoudy and Aouf [29] introduced the class S<sup>∗</sup> *<sup>q</sup>* (*ϕ*). Also, for this class, the familiar Fekete-Szegö problem was obtained by the authors. This class is defined as;

$$\mathcal{S}\_q^\*\left(\boldsymbol{\varrho}\right) = \left\{ f \in \mathcal{A} : \frac{z \partial\_q f\left(z\right)}{f\left(z\right)} \prec \wp\left(z\right), \left(z \in \mathcal{D}\right) \right\}.$$

By choosing particular functions instead of the function *ϕ*, we obtain several interesting subclasses of starlike functions associated with different image domains. We define few of them as follows.

$$\begin{aligned} \mathcal{S}\_{\mathcal{B}\_{\emptyset}}^{\*} &= \left\{ f \in \mathcal{A} : \frac{z \partial\_{\emptyset} f \begin{pmatrix} z \\ f \end{pmatrix}}{f(z)} \prec \phi\_{\mathcal{B}} \begin{pmatrix} z \\ \end{pmatrix}, \begin{pmatrix} z \in \mathcal{D} \end{pmatrix} \right\}, \\ \mathcal{S}\_{\mathcal{C}\_{\emptyset}}^{\*} &= \left\{ f \in \mathcal{A} : \frac{z \partial\_{\emptyset} f \begin{pmatrix} z \\ f \end{pmatrix}}{f(z)} \prec \phi\_{\mathcal{C}} \begin{pmatrix} z \end{pmatrix}, \begin{pmatrix} z \in \mathcal{D} \end{pmatrix} \right\}, \\ \mathcal{S}\_{\mathcal{L}\_{\emptyset}}^{\*} &= \left\{ f \in \mathcal{A} : \frac{z \partial\_{\emptyset} f \begin{pmatrix} z \\ f \end{pmatrix}}{f(z)} \prec \phi\_{\mathcal{L}} \begin{pmatrix} z \end{pmatrix}, \begin{pmatrix} z \in \mathcal{D} \end{pmatrix} \right\}. \end{aligned}$$

where the particular functions *φ*<sup>B</sup> (*z*), *φ*<sup>C</sup> (*z*) and *φ*<sup>L</sup> (*z*) are given by

$$\begin{aligned} \phi\_{\mathcal{B}}(z) &= \sqrt{1+z}, \\ \phi\_{\mathcal{C}}(z) &= 1 + \frac{4}{3}z + \frac{2}{3}z^2, \\ \phi\_{\mathcal{L}}(z) &= 1 + \sqrt{2}z + \frac{1}{2}z^2. \end{aligned}$$

Recently, Ali et al. [30] have studied some differential subordinations. More precisely they studied the differental subordination 1 + *αzp* (*z*)/*pn*(*z*) <sup>≺</sup> <sup>√</sup><sup>1</sup> <sup>+</sup> *<sup>z</sup>* and found that *<sup>p</sup>* (*z*) <sup>≺</sup> <sup>√</sup><sup>1</sup> <sup>+</sup> *<sup>z</sup>*, where *n* = 0, 1, 2 for some particular range of *α*. Similar kind of differential subordinations are also discussed by various authors. They used these results to find sufficient conditions for starlike functions, see [31–36]. Motivated by the above work, we introduce and investigate some *q*-differential subordinations. In particular, we determine conditions on *<sup>α</sup>* so that 1 + *<sup>α</sup> <sup>z</sup>∂qh*(*z*) (*h*(*z*))*<sup>n</sup>* are subordinated by Janowski functions and *h* (*z*) is subordinated by 1 + <sup>4</sup> <sup>3</sup> *<sup>z</sup>* <sup>+</sup> <sup>2</sup> <sup>3</sup> *<sup>z</sup>*2, where *<sup>n</sup>* = 0, 1, 2, 3. Similar results are also obtained for *<sup>h</sup>* (*z*) <sup>≺</sup> <sup>1</sup> <sup>+</sup> <sup>√</sup>2*<sup>z</sup>* <sup>+</sup> <sup>1</sup> <sup>2</sup> *<sup>z</sup>*2, *<sup>z</sup>* ∈ D. We use these results to find sufficient conditions for *q*-starlike functions associated with cardioid and limacon.

To prove our main results we need the following.

**Lemma 1** ([37] (*q*-Jack's Lemma))**.** *Let w be analytic in* D *with w* (0) = 0. *If w attains its maximum value on the circle* <sup>|</sup>*z*<sup>|</sup> <sup>=</sup> <sup>1</sup> *at z*<sup>0</sup> <sup>=</sup> *reiθ*, *for <sup>θ</sup>* <sup>∈</sup> [−*π*, *<sup>π</sup>*] , *then for* <sup>0</sup> <sup>&</sup>lt; *<sup>q</sup>* <sup>&</sup>lt; <sup>1</sup>

$$z\_0 \partial\_q w \left( z\_0 \right) = m w \left( z\_0 \right)\_{\prime}$$

*where m is real and m* ≥ 1.

## **2. Differential Subordination Related with Cardioid**

**Theorem 1.** *Assume that*

$$|a| \ge \frac{3\left(A - B\right)}{2\left(1 - q\right)\left(1 - |B|\right)}, -1 < B < A \le 1\tag{5}$$

*and h is an analytic function defined on* D *with h*(0) = 1 *satisfying*

$$1 + az\partial\_{q}h(z) \prec \frac{1 + Az}{1 + Bz'} \quad z \in \mathcal{D}.\tag{6}$$

*In addition, we suppose that*

$$(1 + \alpha z \partial\_{\eta} h)(z) = \frac{1 + Aw\left(z\right)}{1 + Bw\left(z\right)}, \quad z \in \mathcal{D}\_{\prime}$$

*where w is an analytic in* D *with w*(0) = 0*. Then*

$$h\left(z\right) \prec 1 + \frac{4}{3}z + \frac{2}{3}z^2, \quad z \in \mathcal{D}.$$

**Proof.** We define a function

$$p\left(z\right) = 1 + az\partial\_{\theta}h\left(z\right),\tag{7}$$

where *p* is analytic and *p* (0) = 1. Consider

$$h\left(z\right) = 1 + \frac{4}{3}w\left(z\right) + \frac{2}{3}w^2\left(z\right). \tag{8}$$

To prove our result, it will be enough to show that |*w* (*z*)| < 1. Using (7) and (8), we obtain

$$p\left(z\right) = 1 + \frac{\alpha}{3} z \partial\_{\eta} w\left(z\right) \left\{ 4\left(1 + w\left(z\right)\right) - 2\left(1 - q\right) z \partial\_{\eta} w\left(z\right) \right\} \dots$$

Also

$$\left|\frac{p\left(z\right)-1}{A-Bp\left(z\right)}\right| = $$

$$\left|\frac{1+\frac{q}{3}z\partial\_{\eta}w\left(z\right)\left\{4+4w\left(z\right)-2\left(1-q\right)z\partial\_{\eta}w\left(z\right)\right\}-1}{A-B\left[1+\frac{q}{3}z\partial\_{\eta}w\left(z\right)\left\{4+4w\left(z\right)-2\left(1-q\right)z\partial\_{\eta}w\left(z\right)\right\}\right]}\right| $$

$$=\left|\frac{az\partial\_{\eta}w\left(z\right)\left\{4+4w\left(z\right)-2\left(1-q\right)z\partial\_{\eta}w\left(z\right)\right\}}{3\left(A-B\right)+aBz\partial\_{\eta}w\left(z\right)\left[4+4w\left(z\right)-2\left(1-q\right)z\partial\_{\eta}w\left(z\right)\right]}\right|.$$

Suppose that there exists a point *z*<sup>0</sup> ∈ D such that

$$\max\_{|z| \le |z\_0|} |w\left(z\right)| = |w\left(z\_0\right)| = 1.$$

Then by using Lemma 1, there exists a number *m* ≥ 1 such that *z*0*∂qw* (*z*0) = *mw* (*z*0). Suppose *<sup>w</sup>* (*z*0) <sup>=</sup> *<sup>e</sup>iθ*, *<sup>θ</sup>* <sup>∈</sup> [−*π*, *<sup>π</sup>*]. Then for *<sup>z</sup>*<sup>0</sup> ∈ D, we have

$$\begin{split} \left| \frac{p\left(z\_{0}\right)-1}{A-Bp\left(z\_{0}\right)} \right| &= \left| \frac{amw\left(z\_{0}\right)\left\{4+4w\left(z\_{0}\right)-2\left(1-q\right)mw\left(z\_{0}\right)\right\}}{3\left(A-B\right)+aBmw\left(z\_{0}\right)\left[4+4w\left(z\_{0}\right)-2\left(1-q\right)mw\left(z\_{0}\right)\right]} \right| \\ &\geq \frac{m\left|a\right|\left|4+4e^{i\theta}-2\left(1-q\right)me^{i\theta}\right|}{3\left(A-B\right)+am\left|B\right|\left|4+4e^{i\theta}-2\left(1-q\right)me^{i\theta}\right|} \\ &= \frac{m\left|a\right|\sqrt{16+\left(4-2\left(1-q\right)m\right)^{2}+8\left(4-2\left(1-q\right)m\right)\cos\theta}}{3\left(A-B\right)+m\left|a\right|\left|B\right|\sqrt{16+\left(4-2\left(1-q\right)m\right)^{2}+8\left(4-2\left(1-q\right)m\right)\cos\theta}}. \end{split}$$

Consider the function

$$\Psi\left(\theta\right) = \frac{m\left|a\right|\sqrt{16 + \left(4 - 2\left(1 - q\right)m\right)^2 + 8\left(4 - 2\left(1 - q\right)m\right)\cos\theta}}{3\left(A - B\right) + m\left|a\right|\left|B\right|\sqrt{16 + \left(4 - 2\left(1 - q\right)m\right)^2 + 8\left(4 - 2\left(1 - q\right)m\right)\cos\theta}}\sqrt{16 + \left(4 - 2\left(1 - q\right)m\right)\cos\theta}$$

for *θ* ∈ [−*π*, *π*] . It is clear that Ψ is an even function, therefore we find the minimum value of Ψ when *θ* ∈ [0, *π*] . Now

$$\begin{aligned} \Psi'(\theta) &= \frac{-12 \left| a \right| m \left( A - B \right) \left\{ 4 - 2 \left( 1 - q \right) m \right\} \sin \theta}{\left( \sqrt{16 + \left( 4 - 2 \left( 1 - q \right) m \right)^2 + 8 \left( 4 - 2 \left( 1 - q \right) m \right) \cos \theta} \right)} \cdot \\ & \left( 3 \left( A - B \right) + \left| a \right| \left| B \right| \sqrt{16 + \left( 4 - 2 \left( 1 - q \right) m \right)^2 + 8 \left( 4 - 2 \left( 1 - q \right) m \right) \cos \theta} \right)^2} \end{aligned}$$

It is easy to see that Ψ (*θ*) = 0 when *θ* = 0, *π*. Similarly, we can see that Ψ (*θ*) > 0, when *θ* = *π*. Hence Ψ (*θ*) ≥ Ψ (*π*). Consider the function

$$\begin{aligned} \Phi(m) &= \frac{|a| \, m \sqrt{16 + \left(4 - 2\left(1 - q\right) \, m\right)^2 - 8\left(4 - 2\left(1 - q\right) \, m\right)}}{3\left(A - B\right) + |a| \, |B| \sqrt{16 + \left(4 - 2\left(1 - q\right) \, m\right)^2 - 8\left(4 - 2\left(1 - q\right) \, m\right)}} \\ &= \frac{2\left|a\right| \left(1 - q\right) \, m^2}{3\left(A - B\right) + 2\left|a\right| \left|B\right| \left(1 - q\right) \, m^2} \end{aligned}$$

Then

$$\Phi'(m) = \frac{12\left|\alpha\right| \left(1 - q\right) \left(A - B\right)}{\left\{\Im\left(A - B\right) + 2m^2 \left|\alpha\right| \left|B\right| \left(1 - q\right)\right\}^2} > 0.$$

which shows that Φ is an increasing function and it has its minimum value at *m* = 1, so

$$\left\lfloor \frac{p(z\_0) - 1}{A - Bp(z\_0)} \right\rfloor \quad \ge \quad \frac{2|\alpha|(1 - q)}{3(A - B) + 2|\alpha||B|(1 - q)}.$$

Now by (5), we have

$$\left| \frac{p\left(z\_0\right) - 1}{A - Bp\left(z\_0\right)} \right| \ge 1, 1$$

which contradicts (6). Hence |*w* (*z*)| < 1 and so we get the desired result.

If we put *<sup>p</sup>* (*z*) = *<sup>z</sup>∂<sup>q</sup> <sup>f</sup>*(*z*) *<sup>f</sup>*(*z*) in Theorem 1, we get the following result.

**Corollary 1.** *Let* <sup>|</sup>*α*<sup>|</sup> <sup>≥</sup> <sup>3</sup>(*A*−*B*) <sup>2</sup>(1−*q*)(1−|*B*|), <sup>−</sup><sup>1</sup> <sup>&</sup>lt; *<sup>B</sup>* <sup>&</sup>lt; *<sup>A</sup>* <sup>≤</sup> <sup>1</sup> *and f* ∈ A *satisfy the subordination*

$$1 + az\partial\_q \left(\frac{z\partial\_q f\left(z\right)}{f\left(z\right)}\right) \prec \frac{1 + Az}{1 + Bz}, \quad z \in \mathcal{D}.\tag{9}$$

*Then f* ∈ S<sup>∗</sup> C*q*

If we choose *A* = 1 and *B* = 0 in Corollary 1, then we obtain the following result.

**Corollary 2.** *Let* <sup>|</sup>*α*<sup>|</sup> <sup>≥</sup> <sup>3</sup> (1−*q*), <sup>−</sup><sup>1</sup> <sup>&</sup>lt; *<sup>B</sup>* <sup>&</sup>lt; *<sup>A</sup>* <sup>≤</sup> <sup>1</sup>*and f* ∈ A *satisfy the subordination*

$$1 + \mathfrak{a}z\partial\_q \left(\frac{z\partial\_q f\left(z\right)}{f\left(z\right)}\right) \prec 1 + z, \quad z \in \mathcal{D}.\tag{10}$$

*Then f* ∈ S<sup>∗</sup> C*q* .

**Theorem 2.** *Assume that*

$$|a| \ge \frac{(A - B)}{2\left(1 - q\right)\left(1 - |B|\right)}, -1 < B < A \le 1\tag{11}$$

*and h is an analytic function defined on* D *with h*(0) = 1 *satisfying*

$$1 + \alpha \frac{z \partial\_q h(z)}{h'(z)} \prec \frac{1 + Az}{1 + Bz}, \quad z \in \mathcal{D}. \tag{12}$$

*In addition, we suppose that*

$$1 + \kappa \frac{z \partial\_q h(z)}{h(z)} = \frac{1 + Aw\left(z\right)}{1 + Bw\left(z\right)}, \quad z \in \mathcal{D}\_\*$$

*where w is an analytic in* D *with w*(0) = 0*. Then*

$$h\left(z\right) \prec 1 + \frac{4}{3}z + \frac{2}{3}z^2, \quad z \in \mathcal{D}.$$

**Proof.** We define a function

$$p\left(z\right) = 1 + a \frac{z \partial\_{\eta} h\left(z\right)}{h\left(z\right)},\tag{13}$$

where *p* is analytic and *p* (0) = 1. Consider

$$h\left(z\right) = 1 + \frac{4}{3}w\left(z\right) + \frac{2}{3}w^2\left(z\right). \tag{14}$$

Using (13) and (14), we obtain

$$p\_{\varepsilon}(z) = -1 + \frac{\alpha z \partial\_{\theta} w(z) \left\{4 + 4w(z) - 2(1 - q)z \partial\_{\theta} w(z)\right\}}{3\left(1 + \frac{4}{3}w(z) + \frac{2}{3}w^2(z)\right)}$$

Therefore

$$\left|\frac{\begin{vmatrix} p\ (z)-1\\A-Bp\ (z)\end{vmatrix}}{A-Bp\ (z)}\right| = $$
 
$$\left|\frac{az\partial\_q w\ (z)\left\{4+4w\ (z)-2\left(1-q\right)z\partial\_q w\ (z)\right\}}{\left(3+4w\ (z)+2\left(w\left(z\right)\right)^2\right)\left(A-B\right)+aB\left[\left(4+4w\ (z)-2\left(1-q\right)z\partial\_q w\ (z)\right)z\partial\_q w\ (z)\right]}\right|.$$

Hence by applying Lemma 1, we conclude that

$$\left| \begin{array}{c} \frac{p(z\_0) - 1}{A - Bp(z\_0)} \, \right| \, \quad \geq \, \quad \frac{2|\alpha|(1 - q)}{(A - B) + 2|\alpha B|(1 - q)} \, \, . \end{array}$$

By using (11), we have

$$\left| \frac{p\left(z\_0\right) - 1}{A - Bp\left(z\_0\right)} \right| \ge 1,$$

which contradicts (12). Hence we get the desired result.

If we put *<sup>p</sup>* (*z*) = *<sup>z</sup>∂<sup>q</sup> <sup>f</sup>*(*z*) *<sup>f</sup>*(*z*) in the above theorem, we get the following result.

**Corollary 3.** *Let* <sup>|</sup>*α*<sup>|</sup> <sup>≥</sup> (*A*−*B*) <sup>2</sup>(1−*q*)(1−|*B*|), <sup>−</sup><sup>1</sup> <sup>&</sup>lt; *<sup>B</sup>* <sup>&</sup>lt; *<sup>A</sup>* <sup>≤</sup> <sup>1</sup>*and f* ∈ A *such that*

$$1 + az \left(\frac{f\left(z\right)}{z\partial\_{\overline{q}}f\left(z\right)}\right)\partial\_{q}\left(\frac{z\partial\_{\overline{q}}f\left(z\right)}{f\left(z\right)}\right) \prec \frac{1+Az}{1+Bz}, \quad z \in \mathcal{D}.\tag{15}$$

*Then f* ∈ S<sup>∗</sup> C*q* .

**Theorem 3.** *Assume that*

$$|a| \ge \frac{(A - B)}{6\left(1 - q\right)\left(1 - |B|\right)}, -1 < B < A \le 1\tag{16}$$

*and h is an analytic function defined on* D *with h*(0) = 1 *satisfying*

$$1 + a \frac{z \partial\_{\theta} h(z)}{h^2(z)} \prec \frac{1 + Az}{1 + Bz}, \quad z \in \mathcal{D}. \tag{17}$$

*In addition, we suppose that*

$$1 + \alpha \frac{z \partial\_{\theta} h \,(z)}{h^2 \,(z)} = \frac{1 + Aw \,(z)}{1 + Bw \,(z)}, \quad z \in \mathcal{D}\_{\theta}$$

*where w is an analytic in* D *with w*(0) = 0*. Then*

$$h\left(z\right) \prec 1 + \frac{4}{3}z + \frac{2}{3}z^2, \quad z \in \mathcal{D}.$$

**Proof.** We define a function

$$p\left(z\right) = 1 + \kappa \frac{z \partial\_q h\left(z\right)}{\left(h\left(z\right)\right)^2},\tag{18}$$

where *p* is analytic and *p* (0) = 1. Consider

$$h\left(z\right) = 1 + \frac{4}{3}w\left(z\right) + \frac{2}{3}w^2\left(z\right)$$

After some simple calculations, we obtain

$$p\left(z\right) = 1 + \frac{3az\partial\_q w\left(z\right)\left\{4 + 4w\left(z\right) - 2\left(1 - q\right)z\partial\_q w\left(z\right)\right\}}{\left(3 + 4w\left(z\right) + 2w^2\left(z\right)\right)^2}.$$

Therefore

$$\left|\frac{\begin{vmatrix} p\ \end{vmatrix} - 1}{A - Bp\ \begin{pmatrix} z \end{pmatrix}}\right| = $$
 
$$\left|\frac{3wz\partial\_{q}w\ \begin{pmatrix} z \end{pmatrix} \left\{4 + 4w\left(z\right) - 2\begin{pmatrix} 1 - q \end{pmatrix} z\partial\_{q}w\ \begin{pmatrix} z \end{pmatrix}}{\left(3 + 4w\left(z\right) + 2w^{2}\left(z\right)\right)^{2}\left(A - B\right) - 3aBz\partial\_{q}w\ \begin{pmatrix} z \end{pmatrix} \left\{\left(4 + 4w\left(z\right) - 2\begin{pmatrix} 1 - q \end{pmatrix} z\partial\_{q}w\ \begin{pmatrix} z \end{pmatrix}\right\} \right\}}\right| \right| $$

Hence by applying Lemma 1, we conclude that

$$\left| \begin{array}{c} \frac{p(z\_0) - 1}{A - Bp(z\_0)} \, \right| \quad \geq \, \qquad \frac{6|\alpha|(1 - q)}{(A - B) + 6|\alpha B|(1 - q)} \cdot \,\, \end{array}$$

Now by using (16), we have

$$\left| \frac{p\left(z\_0\right) - 1}{A - Bp\left(z\_0\right)} \right| \ge 1,$$

which contradicts (17). Hence we get the required result.

If we put *<sup>p</sup>* (*z*) = *<sup>z</sup>∂<sup>q</sup> <sup>f</sup>*(*z*) *<sup>f</sup>*(*z*) in the above theorem, we get the following result.

**Corollary 4.** *Let* <sup>|</sup>*α*<sup>|</sup> <sup>≥</sup> (*A*−*B*) <sup>6</sup>(1−*q*)(1−|*B*|), <sup>−</sup><sup>1</sup> <sup>&</sup>lt; *<sup>B</sup>* <sup>&</sup>lt; *<sup>A</sup>* <sup>≤</sup> <sup>1</sup>*and f* ∈ A *satisfy*

$$1 + az \left(\frac{f\left(z\right)}{z\partial\_{\eta}f\left(z\right)}\right)^{2} \partial\_{\eta} \left(\frac{z\partial\_{\eta}f\left(z\right)}{f\left(z\right)}\right) \prec \frac{1+Az}{1+Bz}, \quad z \in \mathcal{D}.\tag{19}$$

*Then f* ∈ S<sup>∗</sup> C*q* .

**Theorem 4.** *Assume that*

$$|a| \ge \frac{(A - B)}{18\left(1 - q\right)\left(1 - |B|\right)}, -1 < B < A \le 1\tag{20}$$

*and h is an analytic function defined on* D *with h*(0) = 1 *satisfying*

$$1 + a \frac{z \partial\_{\eta} h \,(z)}{h^3 \,(z)} \prec \frac{1 + Az}{1 + Bz'}, \quad z \in \mathcal{D}. \tag{21}$$

*In addition, we suppose that*

$$1 + \kappa \frac{z \partial\_{\eta} h \,(z)}{h^{\beta} \,(z)} = \frac{1 + Aw \,(z)}{1 + Bw \,(z)}, \quad z \in \mathcal{D}\_{\prime}$$

*where w is an analytic in* U *with w*(0) = 0*. Then*

$$h\left(z\right) \prec 1 + \frac{4}{3}z + \frac{2}{3}z^2, \quad z \in \mathcal{D}.$$

**Proof.** Here we define a function

$$p\left(z\right) = 1 + \alpha \frac{z\partial\_{\eta}h\left(z\right)}{\left(h\left(z\right)\right)^{3}}\tag{22}$$

where *p* is analytic and *p* (0) = 1. Consider

$$h(z) \quad = \quad 1 + \frac{4}{3}w\left(z\right) + \frac{2}{3}w^2\left(z\right) \dots$$

After some simplifications, we obtain

$$p'(z) = -1 + \frac{\alpha z \partial\_{\psi} w(z) \left\{ 4 + 4w(z) - 2(1 - q)z \partial\_{\psi} w(z) \right\}}{3 \left( 1 + \frac{4}{5}w(z) + \frac{2}{5}w\_2(z) \right)^{3}\_{\psi}} - 1$$

Therefore

$$\left|\frac{p\left(z\right)-1}{A-Bp\left(z\right)}\right|=$$

$$\left|\frac{9az\partial\_{q}w\left(z\right)\left\{4+4w\left(z\right)-2\left(1-\right)z\partial\_{q}w\left(z\right)\right\}}{\left(3+4w\left(z\right)+2\left(w\left(z\right)\right)^{2}\right)^{3}\left(A-B\right)+9aBz\partial\_{q}w\left(z\right)\left[4+4w\left(z\right)-2\left(1-q\right)z\partial\_{q}w\left(z\right)\right]}\right|.$$

Hence by Lemma 1, we conclude that

$$\begin{array}{c|c} \left| \begin{array}{c|c} \frac{p(z\_0) - 1}{A - B} \, \Big| \begin{array}{c} \\ \end{array} \right| & \geq & \frac{18 \left| a \right| \left(1 - q \right)}{\left(A - B\right) + 18 \left| aB \right| \left(1 - q \right)} \cdot \end{array}$$

Now by using (20), we have

$$\left|\frac{p\left(z\_0\right) - 1}{A - Bp\left(z\_0\right)}\right| \ge 1,$$

which is contradiction. We complete the required proof.

If we put *<sup>p</sup>* (*z*) = *<sup>z</sup>∂<sup>q</sup> <sup>f</sup>*(*z*) *<sup>f</sup>*(*z*) in the above theorem, we get the following result.

**Corollary 5.** *Let* <sup>|</sup>*α*<sup>|</sup> <sup>≥</sup> (*A*−*B*) <sup>18</sup>(1−*q*)(1−|*B*|), <sup>−</sup><sup>1</sup> <sup>&</sup>lt; *<sup>B</sup>* <sup>&</sup>lt; *<sup>A</sup>* <sup>≤</sup> <sup>1</sup> *and f* ∈ A *such that*

$$1 + az \left(\frac{f\left(z\right)}{z\partial\_{\eta}f\left(z\right)}\right)^{3} \partial\_{\eta} \left(\frac{z\partial\_{\eta}f\left(z\right)}{f\left(z\right)}\right) \prec \frac{1+Az}{1+Bz}, \quad z \in \mathcal{D}.\tag{23}$$

*Then f* ∈ S<sup>∗</sup> C*q* .

**Theorem 5.** *Assume that*

$$|a| \ge \frac{(A - B)}{2.3^{n-1} \left(1 - q\right) \left(1 - |B|\right)'} , -1 < B < A \le 1 \tag{24}$$

*and h is an analytic function defined on* D *with h*(0) = 1 *satisfying*

$$1 + a \frac{z \partial\_{\eta} h \left(z\right)}{\left(h \left(z\right)\right)^{\mathrm{II}}} \prec \frac{1 + Az}{1 + Bz'} \quad z \in \mathcal{D}. \tag{25}$$

*In addition, we suppose that*

$$1 + \alpha \frac{z \partial\_q h \,(z)}{(h \,(z))^n} = \frac{1 + Aw \,(z)}{1 + Bw \,(z)}, \quad z \in \mathcal{D}\_{\prime}$$

*where w is an analytic in* D *with w*(0) = 0*. Then*

$$h\left(z\right) \prec 1 + \frac{4}{3}z + \frac{2}{3}z^2, \quad z \in \mathcal{D}.$$

**Proof.** The proof of Theorem 5 is similar to the theorems proved above and so here we choose to omit the details.

If we put *<sup>p</sup>* (*z*) = *<sup>z</sup>∂<sup>q</sup> <sup>f</sup>*(*z*) *<sup>f</sup>*(*z*) in the above theorem, we get the following result.

**Corollary 6.** *Let* <sup>|</sup>*α*<sup>|</sup> <sup>≥</sup> (*A*−*B*) 2.3*n*−1(1−*q*)(1−|*B*|) , −1 < *B* < *A* ≤ 1*and f* ∈ A *such that*

$$1 + az \left(\frac{f\left(z\right)}{z\partial\_{\eta}f\left(z\right)}\right)^{n} \partial\_{\eta}\left(\frac{z\partial\_{\eta}f\left(z\right)}{f\left(z\right)}\right) \prec \frac{1+Az}{1+Bz}, \quad z \in \mathcal{D}.\tag{26}$$

*Then f* ∈ S<sup>∗</sup> C*q* .

#### **3. Differential Subordination Related with Limacon**

**Theorem 6.** *Assume*

$$|a| \ge \frac{2\left(A - B\right)}{\sqrt{8 + (1 + q)\left(1 + q - 4\sqrt{2}\right)}\left(1 - |B|\right)}, -1 < B < A \le 1\tag{27}$$

*and h is an analytic function defined on* D *with h*(0) = 1 *satisfying*

$$1 + a\partial\_{\eta}h(z) \preccurlyeq \frac{1 + Az}{1 + Bz'}, \quad z \in \mathcal{D}.\tag{28}$$

*In addition, we suppose that*

$$1 + a\partial\_{\eta}h\left(z\right) = \frac{1 + Aw\left(z\right)}{1 + Bw\left(z\right)}, \quad z \in \mathcal{D}^\*$$

*with w* (0) = 0, *then*

$$h\left(z\right) \prec 1 + \sqrt{2}z + \frac{1}{2}z^2, \quad z \in \mathcal{D}.$$

**Proof.** We define a function

$$p\left(z\right) = 1 + az\partial\_{q}h\left(z\right),\tag{29}$$

where *p* is analytic and *p* (0) = 1. Consider

$$h\left(z\right) = 1 + \sqrt{2}w\left(z\right) + \frac{1}{2}w^2\left(z\right). \tag{30}$$

To prove our result, it will be enough to show that |*w* (*z*)| < 1. Using (29) and (30), we obtain

$$p\left(z\right) = 1 + \frac{\alpha z \partial\_{\eta} w\left(z\right)}{2} \left\{ 2\sqrt{2} + 2w\left(z\right) - \left(1 - q\right) z \partial\_{\eta} w\left(z\right) \right\}.$$

Also

$$\left|\frac{p\left(z\right)-1}{A-Bp\left(z\right)}\right| = $$

$$\left|\frac{1+\frac{az\partial\_{\eta}w\left(z\right)}{2}\left\{2\sqrt{2}+2w\left(z\right)-\left(1-q\right)z\partial\_{\eta}w\left(z\right)\right\}-1}{A-B\left[1+\frac{az\partial\_{\eta}w\left(z\right)}{2}\left\{2\sqrt{2}+2w\left(z\right)-\left(1-q\right)z\partial\_{\eta}w\left(z\right)\right\}\right]}\right| $$

$$=\left|\frac{az\partial\_{\eta}w\left(z\right)\left\{2\sqrt{2}+2w\left(z\right)-\left(1-q\right)z\partial\_{\eta}w\left(z\right)\right\}}{2\left(A-B\right)+aBz\partial\_{\eta}w\left(z\right)\left[2\sqrt{2}+2w\left(z\right)-\left(1-q\right)z\partial\_{\eta}w\left(z\right)\right]}\right|\right|.$$

Suppose that there exists a point *z*<sup>0</sup> ∈ D such that

$$\max\_{|z| \le |z\_0|} |w\left(z\right)| = |w\left(z\_0\right)| = 1.$$

Then by using Lemma 1, there exists a number *m* ≥ 1 such that *z*0*∂qw* (*z*0) = *mw* (*z*0). Suppose *<sup>w</sup>* (*z*0) <sup>=</sup> *<sup>e</sup>iθ*, *<sup>θ</sup>* <sup>∈</sup> [−*π*, *<sup>π</sup>*]. Then for *<sup>z</sup>*<sup>0</sup> ∈ D, we have

$$\begin{split} \left| \frac{p\left(z\_{0}\right)-1}{A-Bp\left(z\_{0}\right)} \right| &= \left| \frac{amw\left(z\_{0}\right)\left\{2\sqrt{2}+2w\left(z\_{0}\right)-\left(1-q\right)mw\left(z\_{0}\right)\right\}}{2\left(A-B\right)+aBmw\left(z\_{0}\right)\left[2\sqrt{2}+2w\left(z\_{0}\right)-\left(1-q\right)mw\left(z\_{0}\right)\right]} \right| \\ &\geq \frac{m|a|\left|2\sqrt{2}+2e^{i\theta}-\left(1-q\right)me^{i\theta}\right|}{2\left(A-B\right)+m|aB|\left|2\sqrt{2}+2e^{i\theta}-\left(1-q\right)me^{i\theta}\right|} \\ &= \frac{m|a|\sqrt{8+\left(2-\left(1-q\right)m\right)^{2}+4\sqrt{2}\left(\left(2-\left(1-q\right)m\right)\right)\cos\theta}}{2\left(A-B\right)+m|a|\left|B\right|\sqrt{8+\left(2-\left(1-q\right)m\right)^{2}+4\sqrt{2}\left(\left(2-\left(1-q\right)m\right)\right)\cos\theta}. \end{split}$$

Consider the function

$$\Theta\_1\left(\theta\right) = \frac{m\left|a\right|\sqrt{8 + \left(2 - \left(1 - q\right)m\right)^2 + 4\sqrt{2}\left(\left(2 - \left(1 - q\right)m\right)\right)\cos\theta}}{2\left(A - B\right) + m\left|aB\right|\sqrt{8 + \left(2 - \left(1 - q\right)m\right)^2 + 4\sqrt{2}\left(\left(2 - \left(1 - q\right)m\right)\right)\cos\theta}}.$$

For *θ* ∈ [−*π*, *π*] . It is clear that Θ<sup>1</sup> is an even function, therefore we find the minimum value of Θ<sup>1</sup> when *θ* ∈ [0, *π*] . Now

$$\Theta\_1' \left( \theta \right) = -\frac{4\sqrt{2}m \left| a \right| \left( A - B \right) a \sin \theta}{\left( \sqrt{8 + a^2 + 4\sqrt{2}a \cos \theta} \right) \left( 2 \left( A - B \right) + m \left| aB \right| \sqrt{8 + a^2 + 4\sqrt{2}a \cos \theta} \right)^2},$$

where *a* = 2 − (1 − *q*) *m*. It is easy to see that Θ <sup>1</sup> (*θ*) = 0 when *θ* = 0, *π*. Similarly, we can see that Θ <sup>1</sup> (*θ*) > 0, when *θ* = *π*. Hence Θ<sup>1</sup> (*θ*) ≥ Θ<sup>1</sup> (*π*). Now consider the function

$$\Lambda\_1\left(m\right) = \frac{m\left|a\right|\sqrt{8 + \left(2 - \left(1 - q\right)m\right)^2 - 4\sqrt{2}\left(2 - \left(1 - q\right)m\right)}}{2\left(A - B\right) + m\left|aB\right|\sqrt{8 + \left(2 - \left(1 - q\right)m\right)^2 - 4\sqrt{2}\left(2 - \left(1 - q\right)m\right)}}.$$

Now

$$\Lambda\_1'(m) = \frac{4\left|a\right|\left(A - B\right)\left\{6 - 4\sqrt{2} + 3bm\left(\sqrt{2} - 1\right) + b^2m^2\right\}}{\sqrt{8 + (2 - bm)^2 + 4\sqrt{2}(bm - 2)}\left(\begin{array}{c} 2\left(A - B\right) + \\ m\left|aB\right|\sqrt{8 + (2 - bm)^2 - 4\sqrt{2}(2 - bm)} \end{array}\right)^2}$$

where *b* = 1 − *q*. This shows that Λ is an increasing function and it has its minimum value at *m* = 1, so

$$\left|\frac{p(z\_0) - 1}{A - \mathcal{B}p(z\_0)}\right| \quad \ge \frac{|a|\sqrt{8 + \left(2 - (1 - q)\right)^2 - 4\sqrt{2}\left(2 - (1 - q)\right)}}{2(A - \mathcal{B}) + |a\mathcal{B}|\sqrt{8 + \left(2 - (1 - q)\right)^2 - 4\sqrt{2}\left(2 - (1 - q)\right)}}$$

Now by (27), we have

 

$$\left|\frac{p\left(z\_0\right) - 1}{A - Bp\left(z\_0\right)}\right| \ge 1,$$

which contradicts (28). Hence |*w* (*z*)| < 1 and so we get the desired result.

$$\text{If we put } p\left(z\right) = \frac{z\partial\_{q}f(z)}{f(z)}\text{ in the above theorem, we get the following result.}$$

$$\text{Corollary 7. Let } |a| \ge \frac{2(A-\mathbb{B})}{\sqrt{8+(1+q)\left(1+q-4\sqrt{2}\right)}(1-|\mathcal{B}|)}, -1<\mathcal{B}\$\$\operatorname{I}\\_{1\sim\mathcal{A}}\left\(z\partial\\_{\mathcal{J}}f\left\(z\right\)\right\) \le 1+Az \Big|\\_{\mathcal{J}\to\mathcal{J}}\$\$$$

$$1 + a\partial\_q \left( \frac{z\partial\_q f\left(z\right)}{f\left(z\right)} \right) \prec \frac{1 + Az}{1 + Bz}, \quad z \in \mathcal{D}.\tag{31}$$

*Then f* ∈ S<sup>∗</sup> L*q* .

**Theorem 7.** *Assume*

$$|a| \quad \ge \quad \frac{(A-B)\sqrt{28-16\sqrt{2}}}{(1-|B|)\sqrt{8+(1+q)\left(1+q-4\sqrt{2}\right)}}, \quad -1 < B < A \le 1 \tag{32}$$

*and h is an analytic function defined on* D *with h*(0) = 1 *satisfying*

$$1 + \alpha \frac{z \partial\_{\epsilon} h(z)}{h(z)} \quad \prec \quad \frac{1 + Az}{1 + Bz}.\tag{33}$$

.

*In addition, we suppose that*

$$1 + \kappa \frac{z \partial\_q h(z)}{h'(z)} = \frac{1 + Aw'(z)}{1 + Bw'(z)}, \quad z \in \mathcal{D}\_\*$$

*where w is an analytic in* D *with w*(0) = 0, *then*

$$h\left(z\right) \quad \prec \quad 1+\sqrt{2}z+\frac{1}{2}z^2.$$

**Proof.** We define a function

$$p\left(z\right) = 1 + a \frac{z \partial\_{\eta} h\left(z\right)}{h\left(z\right)},\tag{34}$$

where *p* is analytic and *p* (0) = 1. Consider

$$h\left(z\right) \quad = \quad 1 + \sqrt{2}w\left(z\right) + \frac{1}{2}w^2\left(z\right) \,. \tag{35}$$

Using (34) and (35), we obtain

$$p\_1(z) = -1 + \frac{\imath z \partial\_q w(z) \left\{ 2\sqrt{2} + 2w(z) - (1 - q)z \partial\_q w(z)}{2\left(\frac{2 + 2\sqrt{2}w(z) + w^2(z)}{2}\right)} \right\}}{2\left(\frac{2 + 2\sqrt{2}w(z) + w^2(z)}{2}\right)} - 1$$

Therefore

$$\begin{array}{c|c} & \left| \frac{p\left(z\right)-1}{A-Bp\left(z\right)} \right| = \\ & az \partial\_{\eta}w\left(z\right) \left\{ 2\sqrt{2} + 2w\left(z\right) - \left(1-q\right)z \partial\_{\eta}w\left(z\right) \right\} \\ \hline \left| \frac{2 + 2\sqrt{2}w\left(z\right) + w^{2}\left(z\right)}{2 + 2\sqrt{2}w\left(z\right) + w^{2}\left(z\right)} \left(A - B\right) + aBz \partial\_{\eta}w\left(z\right) \left[2\sqrt{2} + 2w\left(z\right) - \left(1-q\right)z \partial\_{\eta}w\left(z\right) \right] \right| \end{array} \right| \quad . $$

Then using the similar method as in Theorem 7, we obtain

$$\left|\frac{p(z\_0) - 1}{A - Bp(z\_0)}\right| \quad \ge \frac{|a|\sqrt{8 + (2 - (1 - q))^2 - 4\sqrt{2}(2 - (1 - q))}}{\sqrt{28 - 16\sqrt{2}}(A - B) + |aB|\sqrt{8 + (2 - (1 - q))^2 - 4\sqrt{2}(2 - (1 - q))}}$$

By using (32), we have

$$\left|\frac{p\left(z\_0\right) - 1}{A - Bp\left(z\_0\right)}\right| \ge 1,$$

which contradicts (33). Hence we get the desired result.

If we put *<sup>p</sup>* (*z*) = *<sup>z</sup>∂<sup>q</sup> <sup>f</sup>*(*z*) *<sup>f</sup>*(*z*) in the above theorem, we get the following result.

*z∂<sup>q</sup> f* (*z*)

**Corollary 8.** *Let* <sup>|</sup>*α*<sup>|</sup> <sup>≥</sup> (*A*−*B*) <sup>√</sup>28−16√<sup>2</sup> (1−|*B*|) <sup>8</sup>+(1+*q*)(1+*q*−<sup>4</sup> <sup>√</sup>2) , −1 < *B* < *A* ≤ 1 *and f* ∈ A *satisfy* 1 + *αz f* (*z*) *∂q z∂<sup>q</sup> f* (*z*) ≺ 1 + *Az* <sup>1</sup> <sup>+</sup> *Bz* . (36)

*Then f* ∈ S<sup>∗</sup> L*q* .

**Theorem 8.** *Assume*

$$|a| \quad \ge \quad \frac{\left(12 - 8\sqrt{2}\right)(A - B)}{(1 - |B|)\sqrt{8 + (1 + q)\left(1 + q - 4\sqrt{2}\right)}}, \quad -1 < B < A \le 1 \tag{37}$$

*f* (*z*)

.

*and h is an analytic function defined on* D *with h*(0) = 1 *satisfying*

$$1 + \alpha \frac{z \partial\_q h(z)}{\left(h(z)\right)^2} \quad \prec \quad \frac{1 + Az}{1 + Bz} \dots$$

*In addition, we suppose that*

$$1 + \kappa \frac{z \partial\_q h \,(z)}{\left(h \,(z)\right)^2} = \frac{1 + Aw \,(z)}{1 + Bw \,(z)}, \quad z \in \mathcal{D}\_\*$$

*where w is an analytic in* D *with w*(0) = 0, *then*

$$h\left(z\right) \quad \prec \quad 1+\sqrt{2}z+\frac{1}{2}z^2.$$

**Proof.** We define a function

$$p\left(z\right) = 1 + \kappa \frac{z^2 \partial\_\eta h\left(z\right)}{\left(h\left(z\right)\right)^2},\tag{38}$$

where *p* is analytic and *p* (0) = 1. Consider

$$h\left(z\right) \quad = \quad 1 + \sqrt{2}w\left(z\right) + \frac{1}{2}w^2\left(z\right) \dots$$

After some simple calculations, we obtain

$$\begin{array}{rcl} p\left(z\right) &=& 1 + \frac{\alpha z \partial\_{\boldsymbol{\theta}} w(z) \left\{ 2\sqrt{2} + 2w(z) - (1 - q)z \partial\_{\boldsymbol{\theta}} w(z) \right\}}{z \left( \frac{2 + 2\sqrt{2}w(z) + w^2(z)}{2} \right)^2} . \end{array}$$

Therefore

$$\left|\frac{\left|\frac{p\left(z\right)-1}{A-Bp\left(z\right)}\right|}{az\partial\_{\eta}w\left(z\right)\left\{2\sqrt{2}+2w\left(z\right)-\left(1-q\right)z\partial\_{\eta}w\left(z\right)\right\}}\right|$$

$$\left|\frac{\frac{\left(2+2\sqrt{2}w\left(z\right)+w^{2}(z)\right)^{2}}{2}\left(A-B\right)+aBz\partial\_{\eta}w\left(z\right)\left[\left(2\sqrt{2}+2w\left(z\right)-\left(1-q\right)z\partial\_{\eta}w\left(z\right)\right)\right]}\right|}{}$$

Using similar method as in Theorem 7, we obtain

$$\begin{array}{c|c|c} \left| \frac{p(z\_0) - 1}{A - Bp(z\_0)} \right| & \geq & \frac{|a| \sqrt{8 + (2 - (1 - q))^2 - 4 \sqrt{2}(2 - (1 - q))}}{\left(12 - 8\sqrt{2}\right)(A - B) + |aB| \sqrt{8 + (2 - (1 - q))^2 - 4 \sqrt{2}(2 - (1 - q))}} \end{array}$$

Now by using (37), we have

$$\left|\frac{p\left(z\_0\right) - 1}{A - Bp\left(z\_0\right)}\right| \ge 1,$$

which is contradiction. Hence we get the required result.

If we put *<sup>p</sup>* (*z*) = *<sup>z</sup>∂<sup>q</sup> <sup>f</sup>*(*z*) *<sup>f</sup>*(*z*) in the above theorem, we get the following result.

**Corollary 9.** *Let* <sup>|</sup>*α*<sup>|</sup> <sup>≥</sup> (12−<sup>8</sup> <sup>√</sup>2)(*A*−*B*) (1−|*B*|) <sup>8</sup>+(1+*q*)(1+*q*−<sup>4</sup> <sup>√</sup>2) , −1 < *B* < *A* ≤ 1 *and f* ∈ A *such that* 1 + *αz f* (*z*) *z∂<sup>q</sup> f* (*z*) <sup>2</sup> *∂q z∂<sup>q</sup> f* (*z*) *f* (*z*) ≺ 1 + *Az* <sup>1</sup> <sup>+</sup> *Bz* .

*Then f* ∈ S<sup>∗</sup> L*q* .

**Theorem 9.** *Assume*

$$|a| \quad \ge \quad \frac{\left(28 - 16\sqrt{2}\right)^{\frac{1}{2}} (A - B)}{4(1 - |B|)\sqrt{8 + (1 + q)\left(1 + q - 4\sqrt{2}\right)}}, \quad -1 < B < A \le 1\tag{39}$$

*and h is an analytic function defined on* D *with h*(0) = 1 *satisfying*

$$1 + \alpha \frac{z^3 \partial\_4 h(z)}{\left(h(z)\right)^3} \quad \prec \quad \frac{1 + Az}{1 + Bz}.\tag{40}$$

.

*In addition, we suppose that*

$$1 + a \frac{z^3 \partial\_\theta h\left(z\right)}{\left(h\left(z\right)\right)^3} = \frac{1 + Aw\left(z\right)}{1 + Bw\left(z\right)}, \quad z \in \mathcal{D}\_\nu$$

*where w is an analytic in* D *with w*(0) = 0, *then*

$$h\left(z\right) \quad \prec \quad 1+\sqrt{2}z+\frac{1}{2}z^2.$$

**Proof.** Here we define a function

$$p\left(z\right) = 1 + \alpha \frac{z^3 \partial\_\eta h\left(z\right)}{\left(h\left(z\right)\right)^3},\tag{41}$$

where *p* is analytic and *p* (0) = 1. Consider

$$h\left(z\right) \quad = \quad 1 + \sqrt{2}w\left(z\right) + \frac{1}{2}w^2\left(z\right) \dots$$

After some simplifications, we obtain

$$\begin{array}{rcl} p\left(z\right) &=& 1 + \frac{\alpha z \partial\_{\boldsymbol{\theta}} w(z) \left\{ 2\sqrt{2} + 2w(z) - (\boldsymbol{q} - 1)z \partial\_{\boldsymbol{\theta}} w(z) \right\}}{z \left( \frac{2 + 2\sqrt{2}w(z) + w^2(z)}{2} \right)^{\frac{1}{3}}} . \end{array}$$

Therefore

$$\left|\frac{\left|\frac{p\left(z\right)-1}{A-Bp\left(z\right)}\right|}{\left|\frac{az\partial\_{q}w\left(z\right)\left\{2\sqrt{2}+2w\left(z\right)-\left(1-q\right)z\partial\_{q}w\left(z\right)\right\}}\right|}{\left|\frac{\left(2+2\sqrt{2}w\left(z\right)+w^{2}\left(z\right)\right)^{3}}{4}\left(A-B\right)+aBz\partial\_{q}w\left(z\right)\left[2\sqrt{2}+2w\left(z\right)-\left(1-q\right)z\partial\_{q}w\left(z\right)\right]}\right|}\right|.$$

Therefore by using Lemma 1, we obtain

$$\begin{array}{c|c|c} \left| \frac{p(z\_0) - 1}{A - Bp(z\_0)} \right| & \geq & \frac{|a| \sqrt{\left(12 - 8\sqrt{2} \right) + \left(1 - q\right)^2 + 4\left(\sqrt{2} - 1\right)\left(1 - q\right)}}{\frac{\left(28 - 16\sqrt{2} \right)^2}{4} \left(A - B\right) + |a| \left| B \right| \left[ \sqrt{\left(12 - 8\sqrt{2} \right) + \left(1 - q\right)^2 + 4\left(\sqrt{2} - 1\right)\left(1 - q\right)} \right]} \end{array}$$

Next by using (39), we have

$$\left| \frac{p\left(z\_0\right) - 1}{A - Bp\left(z\_0\right)} \right| \ge 1,$$

which is contradiction. Hence, we get the required proof.

$$\text{If we put } p\left(z\right) = \frac{z\partial\_q f(z)}{f(z)} \text{ in the above theorem, we get the following result.}$$

\*\*Corollary 10.\*\* Let  $|a| \ge \frac{\left(28 - 16\sqrt{2}\right)^{\frac{1}{2}} (A - B)}{4(1 - |B|) \sqrt{8 + (1 + q)\left(1 + q - 4\sqrt{2}\right)}}, -1 < B < A \le 1$   $1 + az \left(\frac{f\left(z\right)}{z\partial\_{\overline{q}}f\left(z\right)}\right)^3$   $\partial\_q \left(\frac{z\partial\_{\overline{q}}f\left(z\right)}{f\left(z\right)}\right) \prec \frac{1 + Az}{1 + Bz}.$ 

*Then f* ∈ S<sup>∗</sup> L*q* .

#### **4. Conclusions**

In this article, we have studied some *q*-differential subordinations. We have determined conditions on *α* and

$$1 + \alpha \frac{z \partial\_{\eta} h \left(z\right)}{\left(h \left(z\right)\right)^{n}} \prec \frac{1 + Az}{1 + Bz} \left(n = 0, 1, 2, 3\right), \tag{42}$$

then *<sup>h</sup>* (*z*) <sup>≺</sup> <sup>1</sup> <sup>+</sup> <sup>4</sup> <sup>3</sup> *<sup>z</sup>* <sup>+</sup> <sup>2</sup> <sup>3</sup> *<sup>z</sup>*2. Similar results are also investigated involving the function 1 <sup>+</sup> <sup>√</sup>2*<sup>z</sup>* <sup>+</sup> <sup>1</sup> <sup>2</sup> *<sup>z</sup>*2. Further we have deduced sufficiency criterion for *q*-starlikeness related with cardioid and limacon from our main results. Moreover, by choosing particular functions instead of *h*, sufficient conditions for other analytic functions can be found.

**Author Contributions:** The authors have equally contributed to accomplish this research work.

**Funding:** This paper was supported partially by the Natural Science Foundation of the People's Republic of China under Grants 11561001 and 11271045, the Program for Young Talents of Science and Technology in Universities of Inner Mongolia Autonomous Region under Grant NJYT-18-A14 and the Natural Science Foundation of Inner Mongolia of the People's Republic of China under Grant 2018MS01026.

**Conflicts of Interest:** The authors agree with the contents of the manuscript, and there are no conflict of interest among the authors.
