• Research
• Open Access

# On differential subordinations in the complex plane

Journal of Inequalities and Applications20152015:7

https://doi.org/10.1186/s13660-014-0536-9

• Received: 3 November 2014
• Accepted: 17 December 2014
• Published:

## Abstract

The purpose of this work is to present a new approach to solve some problems in differential subordination theory. We also discuss the new results closely related to the generalized Briot-Bouquet differential subordination.

## Keywords

• analytic functions
• convex functions
• convex of order alpha
• univalent functions
• differential subordination

• 30C45
• 30C80

## 1 Introduction

Let denote the class of all analytic functions in the unit disc $${{\mathbb{D}}}=\{z: |z|<1\}$$ in the complex plane . Recall that a set $$E\subset{\mathbb{C}}$$ is said to be starlike with respect to a point $$w_{0}\in E$$ if and only if the linear segment joining $$w_{0}$$ to every other point $$w\in E$$ lies entirely in E, while a set E is said to be convex if and only if it is starlike with respect to each of its points, that is, if and only if the linear segment joining any two points of E lies entirely in E. A univalent function f maps $${\mathbb{D}}$$ onto a convex domain E if and only if 
$${\mathfrak{Re}} \biggl\{ 1+\frac{zf''(z)}{f'(z)} \biggr\} >0 \quad \mbox{for all } z\in{\mathbb{D}},$$
(1.1)
and then f is said to be convex in $${\mathbb{D}}$$ (or briefly convex). Let $${\mathcal{A}}$$ denote the subclass of consisting of functions normalized by $$f(0)=0$$, $$f'(0)=1$$. We denote by $${\mathcal{K}}$$ the set of all functions $$f\in{\mathcal{A}}$$ that are convex univalent in $${\mathbb{D}}$$. We say that $$f\in{\mathcal{A}}$$ is convex of order α, $$0\leq\alpha<1$$, when
$${\mathfrak{Re}} \biggl\{ 1+\frac{zf''(z)}{f'(z)} \biggr\} >\alpha\quad \mbox{for all } z\in{\mathbb{D}}.$$
(1.2)
Functions that are convex of order α were introduced by Robertson in . For two analytic functions f, g, we say that f is subordinate to g, written as $$f\prec g$$, if and only if there exists an analytic function ω with property $$|\omega(z)|\leq|z|$$ in $${\mathbb{D}}$$ such that $$f(z)=g(\omega(z))$$. In particular, if g is univalent in $$\mathbb{D}$$, then we have the following equivalence:
$$f(z)\prec g(z) \quad \Longleftrightarrow\quad f(0)=g(0)\quad \mbox{and}\quad f(\mathbb{D})\subset g(\mathbb{D}).$$
(1.3)
The idea of subordination was used for defining many of classes of functions studied in geometric function theory. For obtaining the main result, we shall use the methods of differential subordinations. The main results in the theory of differential subordinations were introduced by Miller and Mocanu in  and . A function p, analytic in $$\mathbb{D}$$, is said to satisfy a first-order differential subordination if
$$\phi \bigl(p(z),zp'(z) \bigr)\prec h(z),$$
(1.4)
where $$(p(z),zp'(z) )\in D\subset\mathbb{C}^{2}$$ for $$z\in {\mathbb{D}}$$, $$\phi:\mathbb{C}^{2}\rightarrow\mathbb{C}$$ and $$\phi (p(z),zp'(z) )$$ is analytic in $$\mathbb{D}$$, and h is analytic and univalent in $$\mathbb{D}$$. The function q is said to be a dominant of the differential subordination (1.4) if $$p\prec q$$ for all p satisfying (1.4). If $$\tilde{q}$$ is a dominant of (1.4) and $$\tilde{q}\prec q$$ for all dominants q of (1.4), then we say that $$\tilde{q}$$ is the best dominant of the differential subordination (1.4).

The purpose of the present paper is to investigate interesting new results in connection with differential subordination and to improve some results obtained by Miller and Mocanu . Also we remark that the reader may refer to the recent results obtained by Sokół and Nunokawa  as applications of differential subordination.

The following lemma will be required in our present investigation.

### Lemma 1.1

(, [4, p.24])

Assume that $$\mathcal{Q}$$ is the set of functions $$f\in\mathcal{H}$$ that are injective on $$\overline{{\mathbb{D}} }\setminus E(f)$$, where
$$E(f):= \Bigl\{ \zeta: \zeta\in\partial\mathbb{D} \textit{ and } \lim _{z\rightarrow\zeta} f(z) = \infty\Bigr\} ,$$
and are such that
$$f'(\zeta) \neq0\quad \bigl(\zeta\in\partial(\mathbb{D})\setminus E(f)\bigr).$$
Let $$\psi\in\mathcal{Q}$$ with $$\psi(0) = a$$, and let
$$\varphi(z)=a + a_{m} z^{m} + \cdots$$
be analytic in $$\mathbb{D}$$ with
$$\varphi(z) \not\equiv a \quad \textit{and}\quad m\in \mathbb{N}.$$
If $$\varphi\nprec\psi$$ in $$\mathbb{D}$$, then there exist points
$$z_{0} = r_{0} e^{i\theta} \in\mathbb{D} \quad \textit{and}\quad \zeta_{0} \in \partial\mathbb{D}\setminus E(\psi)$$
for which
\begin{aligned}& \varphi\bigl(\vert z\vert < r_{0}\bigr) \subset\psi( \mathbb{D}), \\& \varphi(z_{0}) = \psi(\zeta_{0}) \end{aligned}
and
$$z_{0} \varphi'(z_{0}) = s \zeta_{0} \psi'(\zeta_{0})$$
(1.5)
for some $$s \geq m$$. Moreover,
$$\mathfrak{Re} \biggl\{ \frac{z_{0} \varphi''(z_{0})}{\varphi'(z_{0})}+1 \biggr\} \geq s \mathfrak{Re} \biggl\{ \frac{\zeta_{0} \psi''(\zeta_{0})}{\psi'(\zeta_{0})}+1 \biggr\} .$$
(1.6)

To prove the main results, we also need the following lemma, which is a generalization of a result due to Nunokawa [7, 8].

### Lemma 1.2

Let $$p(z)$$ be a function analytic in $$z\in\mathbb{D}$$ of the form
$$p(z)=1+\sum_{n=m}^{\infty}c_{n}z^{n}, \quad c_{m}\neq0,$$
with $$p(z)\neq0$$ in $$|z|<1$$. If there exists a point $$z_{0}\in\mathbb{D}$$ such that
$$\bigl\vert \operatorname{arg} \bigl\{ p(z) \bigr\} \bigr\vert < \frac{\pi\varphi}{2}\quad \textit{for }|z|<|z_{0}|$$
and
$$\bigl\vert \operatorname{arg} \bigl\{ p(z_{0}) \bigr\} \bigr\vert = \frac{\pi\varphi}{2}$$
for some $$\varphi>0$$, then we have
$$\frac{z_{0}p'(z_{0})}{p(z_{0})}=i\ell\varphi,$$
where
$$\ell\geq\frac{m}{2} \biggl(a+\frac{1}{a} \biggr)\geq m \quad \textit{when }\operatorname{arg} \bigl\{ p(z_{0}) \bigr\} = \frac{\pi\varphi}{2}$$
(1.7)
and
$$\ell\leq-\frac{m}{2} \biggl(a+\frac{1}{a} \biggr) \leq-m \quad \textit{when } \operatorname{arg} \bigl\{ p(z_{0}) \bigr\} =- \frac{\pi\varphi}{2},$$
(1.8)
where
$$\bigl\{ p(z_{0}) \bigr\} ^{1/\varphi}=\pm ia \quad \textit{and}\quad a>0.$$

## 2 Main results

### Theorem 2.1

Let $$B(z)$$ and $$C(z)$$ be analytic in $$\mathbb{D}$$ with
$$\bigl\vert \mathfrak{Im} \bigl\{ C(z) \bigr\} \bigr\vert < \mathfrak{Re} \bigl\{ B(z) \bigr\} .$$
(2.1)
If $$p(z)$$ is analytic in $$\mathbb{D}$$ with $$p(0)=1$$, and if
$$\bigl\vert \arg \bigl\{ B(z)zp'(z)+C(z)p(z) \bigr\} \bigr\vert <\frac{\pi}{2}+t(z),$$
(2.2)
where
$$t(z)= \left \{ \begin{array}{l@{\quad}l} \arg \{B(z)i+C(z) \}& \textit{when } \arg \{B(z)i+C(z) \}\in[0,\pi/2], \\ \arg \{B(z)i+C(z) \}-\pi/2& \textit{when } \arg \{B(z)i+C(z) \}\in(\pi/2,\pi], \end{array} \right .$$
then we have
$$\mathfrak{Re} \bigl\{ p(z) \bigr\} >0,\quad z\in\mathbb{D}.$$
(2.3)

### Proof

By Lemma 1.2, if $$\mathfrak{Re} \{p(z) \}>0$$ does not hold for all $$z\in\mathbb{D}$$, then there exists a point $$z_{0}$$, $$|z_{0}|<1$$, such that
$$\bigl\vert \operatorname{arg} \bigl\{ p(z) \bigr\} \bigr\vert < \frac{\pi}{2} \quad \mbox{for } |z|<|z_{0}|$$
and
$$\bigl\vert \operatorname{arg} \bigl\{ p(z_{0}) \bigr\} \bigr\vert = \frac{\pi}{2},$$
and
$$\frac{z_{0}p'(z_{0})}{p(z_{0})}=i\ell,$$
where
$$\ell\geq\frac{1}{2} \biggl(a+\frac{1}{a} \biggr)\geq1 \quad \mbox{when } \operatorname{arg} \bigl\{ p(z_{0}) \bigr\} = \frac{\pi}{2}$$
(2.4)
and
$$\ell\leq-\frac{1}{2} \biggl(a+\frac{1}{a} \biggr) \leq-1 \quad \mbox{when } \operatorname{arg} \bigl\{ p(z_{0}) \bigr\} =- \frac{\pi}{2},$$
(2.5)
where
$$p(z_{0})=\pm ia\quad \mbox{and}\quad a>0.$$
For the case $$p(z_{0})=ia$$, $$a>0$$, we are going to show that
$$\bigl\vert \arg \bigl\{ B(z_{0})z_{0}p'(z_{0})+C(z_{0})p(z_{0}) \bigr\} \bigr\vert \geq\frac {\pi}{2}+t(z_{0}).$$
(2.6)
We have
\begin{aligned}& \bigl\vert \arg \bigl\{ B(z_{0})z_{0}p'(z_{0})+C(z_{0})p(z_{0}) \bigr\} \bigr\vert \\& \quad = \biggl\vert \arg \biggl\{ p(z_{0}) \biggl[B(z_{0}) \frac {z_{0}p'(z_{0})}{p(z_{0})}+C(z_{0}) \biggr] \biggr\} \biggr\vert \\& \quad = \bigl\vert \arg \bigl\{ p(z_{0}) \bigl[B(z_{0})i \ell+C(z_{0}) \bigr] \bigr\} \bigr\vert . \end{aligned}
(2.7)
By (2.1), we have $$\mathfrak{Im} \{B(z_{0})i\ell+C(z_{0}) \}>0$$. Therefore, from (2.7) we obtain
\begin{aligned}& \bigl\vert \arg \bigl\{ B(z_{0})z_{0}p'(z_{0})+C(z_{0})p(z_{0}) \bigr\} \bigr\vert \\& \quad = \frac{\pi}{2}+\left \{ \begin{array}{l@{\quad}l} \arg \{B(z)il+C(z) \}& \mbox{when } \arg \{B(z)il+C(z) \}\in[0,\pi/2], \\ \arg \{B(z)il+C(z) \}-\pi/2& \mbox{when } \arg \{B(z)il+C(z) \}\in(\pi/2,\pi] \end{array} \right . \\& \quad \geq\frac{\pi}{2}+\left \{ \begin{array}{l@{\quad}l} \arg \{B(z)i+C(z) \}& \mbox{when } \arg \{B(z)i+C(z) \}\in[0,\pi/2], \\ \arg \{B(z)i+C(z) \}-\pi/2& \mbox{when } \arg \{B(z)i+C(z) \}\in(\pi/2,\pi] \end{array} \right . \\& \quad =\frac{\pi}{2}+t(z_{0}). \end{aligned}
(2.8)
This contradicts (2.2). For the case $$p(z_{0})=-ia$$, $$a>0$$, the proof runs as in the first case. □

### Remark 2.1

Theorem 2.1 improves a result obtained by Miller and Mocanu [5, p.208].

### Corollary 2.2

Let $$g(z)$$ be analytic in $$\mathbb{D}$$ with $$g(0)=1$$ and $$|{\mathfrak{Im}} \{zg'(z)/g(z) \}|< 1$$. If $$f(z)=z+\cdots$$ is analytic in $$\mathbb{D}$$ and
$$\bigl\vert \arg \bigl\{ g(z)f'(z) \bigr\} \bigr\vert < \frac{\pi}{2}+ v(z),\quad z\in\mathbb{D},$$
where
$$v(z)= \left \{ \begin{array}{l@{\quad}l} \arg \{i+1-zg'(z)/g(z) \}& \textit{when } \arg \{i+1-zg'(z)/g(z) \}\in[0,\pi/2], \\ \arg \{i+1-zg'(z)/g(z) \}-\pi/2& \textit{when } \arg \{i+1-zg'(z)/g(z) \}\in(\pi/2,\pi], \end{array} \right .$$
then we have
$$\mathfrak{Re} \biggl\{ \frac{g(z)f(z)}{z} \biggr\} >0, \quad z\in \mathbb{D}.$$
(2.9)

### Proof

We put $$B(z)=1$$, $$C(z)=1-zg'(z)/g(z)$$, $$p(z)=g(z)f(z)/z$$. Then $$p(z)$$ is analytic in $$\mathbb{D}$$, $$p(0)=1$$ and
$$\bigl\vert \mathfrak{Im} \bigl\{ C(z) \bigr\} \bigr\vert <\mathfrak{Re} \bigl\{ B(z) \bigr\} =1.$$
Moreover, (2.2) becomes
$$\bigl\vert \arg \bigl\{ g(z)f'(z) \bigr\} \bigr\vert < \frac{\pi}{2}+ v(z),\quad z\in\mathbb{D}.$$
Hence, applying Theorem 2.1, we obtain (2.9) immediately. □

### Theorem 2.3

Let $$B(z)$$ and $$C(z)$$ be analytic in $$\mathbb{D}$$ with
$$\mathfrak{Re} \biggl\{ \frac{C(z)}{B(z)} \biggr\} \geq-1,\quad z\in \mathbb{D}.$$
(2.10)
If $$p(z)$$ is analytic in $$\mathbb{D}$$ with $$p(0)=0$$, and if
$$\bigl\vert B(z)zp'(z)+C(z)p(z)\bigr\vert <\bigl\vert B(z)+C(z)\bigr\vert ,\quad z\in\mathbb{D},$$
(2.11)
then we have
$$\bigl\vert p(z)\bigr\vert <1,\quad z\in\mathbb{D}.$$
(2.12)

### Proof

By Lemma 1.1, if $$p(z)\nprec z$$ in $$\mathbb{D}$$, then there exist points
$$z_{0} = r_{0} e^{i\theta} \in\mathbb{D} \quad \mbox{and} \quad \zeta_{0},\quad |\zeta_{0}|=1$$
for which
$$p(|z|< r_{0})\subset\mathbb{D},\qquad p(z_{0}) = \zeta_{0}$$
and
$$z_{0}p'(z_{0}) = s \zeta_{0}$$
(2.13)
for some $$s \geq1$$. Then, by (2.10), we have
\begin{aligned} \bigl\vert B(z_{0})z_{0}p'(z_{0})+C(z_{0})p(z_{0}) \bigr\vert =&\bigl\vert sB(z_{0})+C(z_{0})\bigr\vert \\ =&\bigl\vert B(z_{0})\bigr\vert \bigl\vert s+C(z_{0})/B(z_{0}) \bigr\vert \\ =&\bigl\vert B(z_{0})\bigr\vert \bigl\vert s+\mathfrak{Re} \bigl\{ C(z_{0})/B(z_{0}) \bigr\} +i\mathfrak {Im} \bigl\{ C(z_{0})/B(z_{0}) \bigr\} \bigr\vert \\ \geq&\bigl\vert B(z_{0})\bigr\vert \bigl\vert 1+\mathfrak{Re} \bigl\{ C(z_{0})/B(z_{0}) \bigr\} +i\mathfrak{Im} \bigl\{ C(z_{0})/B(z_{0}) \bigr\} \bigr\vert \\ =&\bigl\vert B(z_{0})+C(z_{0})\bigr\vert , \end{aligned}
which contradicts (2.11). Therefore, $$\vert p(z)\vert <1$$ in $$\mathbb{D}$$. □

### Theorem 2.4

Let $$B(z)$$ and $$C(z)$$ be analytic in $$\mathbb{D}$$ with
$$\biggl\vert \mathfrak{Im} \biggl\{ \frac{C(z)}{B(z)} \biggr\} \biggr\vert \geq\frac {1}{|B(z)|},\quad z\in\mathbb{D}.$$
(2.14)
If $$p(z)$$ is analytic in $$\mathbb{D}$$ with $$p(0)=0$$, and if
$$\bigl\vert B(z)zp'(z)+C(z)p(z)\bigr\vert < \sqrt{1+\bigl\vert B(z)\bigr\vert ^{2} \biggl(\biggl\vert \frac {zp^{\prime}(z)}{p(z)}\biggr\vert +\mathfrak{Re} \biggl\{ \frac{C(z)}{B(z)} \biggr\} \biggr)^{2}},\quad z\in\mathbb{D},$$
(2.15)
then we have
$$\bigl\vert p(z)\bigr\vert <1,\quad z\in\mathbb{D}.$$
(2.16)

### Proof

Applying the same method as in the proof of Theorem 2.3, we have
\begin{aligned} \bigl\vert B(z_{0})z_{0}p'(z_{0})+C(z_{0})p(z_{0}) \bigr\vert =&\bigl\vert p(z_{0})\bigr\vert \biggl\vert B(z_{0})\frac{z_{0}p'(z_{0})}{p(z_{0})}+C(z_{0})\biggr\vert \\ =&\bigl\vert sB(z_{0})+C(z_{0})\bigr\vert \\ =&\bigl\vert B(z_{0})\bigr\vert \bigl\vert s+C(z_{0})/B(z_{0}) \bigr\vert \\ =&\bigl\vert B(z_{0})\bigr\vert \bigl\vert s+\mathfrak{Re} \bigl\{ C(z_{0})/B(z_{0}) \bigr\} +i\mathfrak {Im} \bigl\{ C(z_{0})/B(z_{0}) \bigr\} \bigr\vert \\ =&\bigl\vert B(z_{0})\bigr\vert \sqrt{ \biggl(s+\mathfrak{Re} \biggl\{ \frac {C(z_{0})}{B(z_{0})} \biggr\} \biggr)^{2} + \biggl(\mathfrak{Im} \biggl\{ \frac{C(z_{0})}{B(z_{0})} \biggr\} \biggr)^{2}}. \end{aligned}
By (2.14), we have
\begin{aligned} \bigl\vert B(z_{0})z_{0}p'(z_{0})+C(z_{0})p(z_{0}) \bigr\vert \geq& \bigl\vert B(z_{0})\bigr\vert \sqrt{ \biggl(s+ \mathfrak{Re} \biggl\{ \frac{C(z_{0})}{B(z_{0})} \biggr\} \biggr)^{2}+ \frac{1}{|B(z_{0})|^{2}}} \\ =&\sqrt{1+ \bigl\vert B(z_{0})\bigr\vert ^{2} \bigl(s+ \mathfrak{Re} \bigl\{ C(z_{0})/B(z_{0}) \bigr\} \bigr)^{2}} \\ =&\sqrt{1+ \bigl\vert B(z_{0})\bigr\vert ^{2} \biggl( \biggl\vert \frac{z_{0}p'(z_{0})}{p(z_{0})}\biggr\vert +\mathfrak{Re} \biggl\{ \frac{C(z_{0})}{B(z_{0})} \biggr\} \biggr)^{2}}, \end{aligned}
which contradicts (2.15). Therefore, $$\vert p(z)\vert <1$$ in $$\mathbb{D}$$. □

### Remark 2.2

Theorem 2.3 and Theorem 2.4 improve a result obtained by Miller and Mocanu [5, p.206].

### Theorem 2.5

Let $$p(z)$$ be analytic in $$\mathbb{D}$$ with $$p(0)=1$$ and
$$\mathfrak{Re} \bigl\{ 2p(z)-zp''(z)/p'(z)-1 \bigr\} >\alpha,\quad z\in\mathbb{D}.$$
(2.17)
Then we have
$$\mathfrak{Re} \bigl\{ p(z) \bigr\} >\alpha,\quad z\in\mathbb{D},$$
(2.18)
where $$\alpha<1$$.

### Proof

Putting $$q(z) = (p(z)-\alpha)/(1-\alpha)$$, $$q(0) = 1$$, we have to prove that $$\mathfrak{Re}\{q(z)\}>0$$ for $$z\in\mathbb{D}$$. If (2.18) does not hold, then
$$q(z)\nprec\psi(z)=(1+z)/(1-z),\quad z\in\mathbb{D}.$$
Hence by Lemma 1.1 there exist points
$$z_{0} = r_{0} e^{i\theta} \in\mathbb{D}\quad \mbox{and} \quad \zeta_{0},\quad |\zeta_{0}|=1$$
for which
$$\mathfrak{Re}\bigl\{ q(z)\bigr\} >0 \quad \mbox{for } |z|< r_{0} \quad \mbox{and}\quad \mathfrak{Re}\bigl\{ q(z_{0}) \bigr\} = \mathfrak{Re} \biggl\{ \frac{1+\zeta_{0}}{1-\zeta_{0}} \biggr\} =0$$
and
$$z_{0}q'(z_{0}) =s \zeta_{0}\psi^{\prime}(\zeta_{0})=\frac{2s\zeta_{0}}{(1-\zeta_{0})^{2}}$$
(2.19)
for some $$s \geq1$$. Then, by (1.6), we have
$$\mathfrak{Re} \biggl\{ \frac{z_{0}q''(z_{0})}{q'(z_{0})}+1 \biggr\} \geq s \mathfrak{Re} \biggl\{ \frac{\zeta_{0} \psi''(\zeta_{0})}{\psi'(\zeta_{0})}+1 \biggr\} =s\mathfrak{Re} \frac{1+\zeta _{0}}{1-\zeta_{0}}=0.$$
(2.20)
Therefore, we have
\begin{aligned}& \mathfrak{Re} \bigl\{ 2p(z_{0})-z_{0}p''(z_{0})/p'(z_{0})-1 \bigr\} \\& \quad = \mathfrak{Re} \bigl\{ 2 \bigl((1-\alpha)q(z_{0})+\alpha \bigr)-z_{0}q''(z_{0})/q'(z_{0})-1 \bigr\} \\& \quad \leq \mathfrak{Re} \bigl\{ 2 \bigl((1-\alpha)q(z_{0})+\alpha \bigr) \bigr\} \\& \quad = \alpha, \end{aligned}
which contradicts (2.18). This completes the proof. □

### Remark 2.3

Theorem 2.5 improves a result obtained by Miller and Mocanu [5, p.207].

## Declarations

### Acknowledgements

The authors would like to express their thanks to the referees for their valuable advice regarding a previous version of this paper. This research was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (No. 2011-0007037).

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

## Authors’ Affiliations

(1)
University of Gunma, Hoshikuki-cho 798-8, Chuou-Ward, Chiba 260-0808, Japan
(2)
Department of Applied Mathematics, College of Natural Sciences, Pukyong National University, Pusan, 608-737, Korea
(3)
Department of Mathematics, Kyungsung University, Busan, 608-736, Korea
(4)
Department of Mathematics, Rzeszów University of Technology, Al. Powstańców Warszawy 12, Rzeszów, 35-959, Poland

## References 