# Simple sufficient conditions for starlikeness and convexity for meromorphic functions

Pranay Goswami 1 , Teodor Bulboacă 2 , and Rubayyi T. Alqahtani
• 1 School of Liberal Studies, Ambedkar University Delhi, Delhi-110006, India
• 2 Faculty of Mathematics and Computer Science, Babeş-Bolyai University, 400084 Cluj-Napoca, Romania
Pranay Goswami
, Teodor Bulboacă
and Rubayyi T. Alqahtani

## Abstract

In this paper we investigate some extensions of sufficient conditions for meromorphic multivalent functions in the open unit disk to be meromorphic multivalent starlike and convex of order α. Our results unify and extend some starlikeness and convexity conditions for meromorphic multivalent functions obtained by Xu et al. [], and some interesting special cases are given.

## 1 Introduction and definitions

Let Σp, n denote the class meormorphic multivalent functions of the form
$f(z)=z−p+∑k=n∞ak−pzk−p(p,n∈N:={1,2,3…}),$

which are analytic in the punctured unit disk $U∗:=u∖{0}$, where $U:={z∈C:z<1}$.

1. A function f ∈ Σp, n is said to be meromorphic starlike functions of order α, if it satisfies the inequality
$−Rezf′(z)f(z)>α,z∈U,$
for some real α (0 ≤ α < p), and we denote this subclass by$ΣSp,n∗(α)$.
2. A function f ∈ Σp, n is said to be meromorphic convex functions of order α, if it satisfies the inequality
$−Re1+zf″(z)f′(z)>α,z∈U,$
for some real α (0 ≤ α < p), and we denote this subclass by ΣKp, n(α).

Let $An$ denote the class of analytic functions in $U$ of the form
$f(z)=z+∑k=n∞ak+1zk+1,z∈U(n∈N).$

1. Let$Sn∗$denote the class of n-starlike functions in$U$, i.e. $f∈An$and satisfies
$Rezf′(z)f(z)>0,z∈U.$
2. Further, we denote by$Kn$the class of n-convex functions in$U$, i.e. $f∈An$and satisfies
$Re1+zf″(z)f′(z)>0,z∈U.$

In the recent papers of Goyal et al.  and Xu et al. , the authors obtained some sufficient conditions for multivalent and meromorphic starlikeness and convexity, respectively. In this paper we will derive some extensions of these sufficient conditions for starlikeness and convexity of order α for meromorphic multivalent functions.

## 2 Main results

In order to find some simple sufficient conditions for the starlikeness and convexity of order α for a function f ∈ Σp, n, we will recall the following lemma due to P. T. Mocanu (see also ):

([4, Corollary 1.2])
If$f∈An$and satisfies the inequality
$f′(z)−1

then$f∈Sn∗$.

Remark that, for the special case n = 1, this result was previously obtained in [5, Theorem 3].

If f ∈ Σp, n, with f(z) ≠ 0 for all$z∈U∗$, satisfies the inequality
$zpf(z)1α−pzf′(z)f(z)+α+p−α<(n+1)(p−α)(n+1)2+1,z∈U,$

for some real values of α (0 ≤ α < p), then$f∈ΣSp,n∗(α)$. (The power is the principal one).

For f ∈ Σp, n, with f(z) ≠ 0 for all $z∈U∗$, let us define a function h by
$h(z)=zzpf(z)1α−p,z∈U.$
Since f ∈ Σp, n and f(z) ≠ 0 for all $z∈U$, it follows that the power function
$φ(z)=zpf(z)1α−p$
has an analytic branch in $U$ with φ(0) = 1, so h is analytic in $U$. If the function f is of the form (1), a simple computation shows that
$h(z)=z+an−pα−pzn+1+…,$

$z∈U$. Thus $h∈An$.

Now, differentiating logarthmically the definition relation (3) we obtain that
$h′(z)h(z)=−1p−αf′(z)f(z)+αz,z∈U∗,$
which gives
$h′(z)−1=1p−αzpf(z)1α−pzf′(z)f(z)+α+p−α,z∈U.$
From the above relation, by using the assumption (2) of the theorem we get
$h′(z)−1

hence, according to Lemma 2.1, we deduce that $h∈Sn∗$.

Using again (4), we get
$zh′(z)h(z)=−1p−αzf′(z)f(z)+α,$
and according to the fact that $h∈Sn∗$, the above relation implies
$−Rezf′(z)f(z)>α,z∈U,$

that is $f∈ΣSp,n∗(α)$. □

For f ∈ Σp, n, with f(z) ≠ 0 for all$z∈U∗$, let’s define the function h by
$h(z)=zzpf(z)1α−p,z∈U(0≤α
If h satisfies the inequality
$h″(z)≤n+1(n+1)2+1,z∈U,$

then$f∈ΣSp,n∗(α)$. (The power is the principal one).

As in the proof of Theorem 2.2, we have $h∈An$. Moreover, from the assumption (6) we deduce that
$h′(z)−1=∫0zh″(t)dt≤∫0zh″(ρeiθ)dρ≤(n+1)z(n+1)2+1

Therefore, the function h satisfies the condition of Lemma 2.1, and thus $h∈Sn∗$. Now, using the same reasons as in the last part of the proof of Theorem 2.2, we finally obtain that $f∈ΣSp,n∗(α)$. □

Next, we will give some sufficient conditions for a function f ∈ Σp, n to be a convex function of order α.

If f ∈ Σp, n, with f′(z) ≠ 0 for all$z∈U∗$, satisfies the inequality
$zp+1f′(z)−p1α−p1+zf″(z)f′(z)+α+p−α<(n+1)(p−α)(n+1)2+1,z∈U,$

for some real values of α (0 ≤ α < p), then f ∈ ΣKp, n(α). (The power is the principal one).

For f ∈ Σp, n with with f′(z) ≠ 0 for all $z∈U∗$, the power function
$φ(z)=zp+1f′(z)−p1α−p$
has an analytic branch in $U$ with φ(0) = 1, and if the function f is of the form (1), then
$φ(z)=1−n−pp(α−p)an−pzn+…,z∈U.$
It follows that the function h defined by
$h(z)=∫0zφ(t)dt=z−n−pp(α−p)(n+1)an−pzn+1+…,z∈U,$
belongs to $An$. Thus, we deduce that the function g defined by
$g(z)=zh′(z)=z−n−pp(α−p)an−pzn+1+…,z∈U,$
is in $An$. From the above definition relation, we get
$g′(z)=1α−pzp+1f′(z)−p1α−p1+zf″(z)f′(z)+α.$
From here and using the assumption (7), we obtain
$g′(z)−1
Therefore, from Lemma 2.1 it follows that $g(z)=zh′(z)∈Sn∗$, which is equivalent to $h∈Kn$. Noting that
$zh″(z)h′(z)=1α−pzf″(z)f′(z)+p+1,$
since $h∈Kn$, we obtain that
$Re1+zh″(z)h′(z)=Re1α−p1+α+zf″(z)f′(z)>0,z∈U,$
that is
$−Re1+zf″(z)f′(z)>α,z∈U,$

hence f ∈ ΣKp, n(α). □

If f ∈ Σp, n, with f′(z) ≠ 0 for all$z∈U∗$, satisfies the inequality
$1zzp+1f′(z)−p1α−p1+zf″(z)f′(z)+p≤(n+1)(p−α)2(n+1)2+1,z∈U,$

for some real values of α (0 ≤ α < p), then f ∈ ΣKp, n(α). (The power is the principal one).

For f ∈ Σp, n with f′(z) ≠ 0 for all$z∈U∗$, the function φ defined by (8) is in $An$, therefore the function h given by (9) is in $An$.

Further, letting g(z) = zh′(z), we obtain that
$g(z)=z−n−pp(α−p)an−pzn+1+⋯∈An,$
and
$g′(z)−1=h′(z)+zh″(z)−1≤h′(z)−1+zh″(z)=∫0zh″(t)dt+zh″(z)≤∫0zh″(ρeiθ)dρ+zh″(z),z∈U.$
Since
$h″(z)=1z(α−p)zp+1f′(z)−p1α−p1+zf″(z)f′(z)+p,$
using the assumption (10) we get
$h″(ρeiθ)=1p−α1zzp+1f′(z)−p1α−p1+zf″(z)f′(z)+pz=ρeiθ≤n+12(n+1)2+1,$
and from (11), using again (10) we deduce that
$g′(z)−1≤(n+1)z2(n+1)2+1+(n+1)z2(n+1)2+1

According to Lemma 2.1 we obtain that $g(z)=zh′(z)∈Sn∗$, which is equivalent to $h∈Kn$. Consequently, as in the last part of the proof of Theorem 2.4 it follows that f ∈ ΣKp, n(α). □

1. If we put n = 1 in Theorem 2.2 and Theorem 2.3, we get the results established by Xu et al. .
2. For the special case n = 1, Theorem 2.4 and Theorem 2.5 represent the results of Xu et al. .

For f ∈ Σp, n, with f(z) ≠ 0 for all $z∈U∗$, let’s define the function F by
$F(z)=∫0z[tpf(t)]γdt,z∈U(γ∈C),$

where the power is the principal one. Thus, $F(z)=z+γn+1an−pzn+1+⋯∈An$, and considering this integral operator we derive the next result:

If f ∈ Σp, n, with f(z) ≠ 0 for all$z∈U∗$, satisfies the inequality
$γ[zpf(z)]γzzf′(z)f(z)+p≤n+12(n+1)2+1,z∈U,$

for$γ≤1p$, then$f∈ΣSp,n∗p+1γ$. (The power is the principal one).

If f ∈ Σp, n, with f(z) ≠ 0 for all $z∈U∗$, then
$F″(z)=γ[zpf(z)]γzzf′(z)f(z)+p,z∈U.$
Defining the function g(z) = zF′(z), it follows that $g∈An$, and
$g′(z)−1=F′(z)+zF″(z)−1≤F′(z)−1+zF″(z)=∫0zF″(t)dt+zF″(z)≤∫0zF″(ρeiθ)dρ+zF″(z),z∈U.$
From (13), using the assumption (12) we get
$F″(ρeiθ)=γ[zpf(z)]γzzf′(z)f(z)+pz=ρeiθ≤n+12(n+1)2+1,$
and the inequality (14) combined again with (12) implies that
$g′(z)−1≤(n+1)z2(n+1)2+1+(n+1)z2(n+1)2+1
Consequently, from Lemma 2.1 we obtain that $g(z)=zF′(z)∈Sn∗$, which is equivalent to $F∈Kn$. Using the fact that F′(z) = [zp f(z)]γ, it follows that
$1+zF″(z)F′(z)=γp+zf′(z)f(z)+1,$

and since $F∈Kn$ we conclude that $f∈ΣSp,n∗p+1γ$. □

## 3 Special cases

Let’s consider the function f defined by
$f(z)=1zp1−λ+λsin⁡zzα−p,z∈U,$
where 0 ≤ α < p, the power is the principal one, and assuming that the parameter λ ∈ ℂ is chosen such that
$1λ≠1−sin⁡zz,z∈U.$
Using MAPLE™ software, from Figure 1a we may see that
$maxz≤11−sin⁡zz<0.18,$

therefore (16) holds whenever $λ≤509=5.555...$, and consequently, if λ ∈ ℂ satisfies this inequality then f ∈ Σp,2.

Using again MAPLE™ software, from Figure 1b we have that
$maxz≤1sin2z2<0.28,$
and a simple computation leads to
$zpf(z)1α−pzf′(z)f(z)+α+p−α=2(p−α)λsin2z2<2(p−α)λ⋅0.28,z∈U.$

Thus, according to Theorem 2.2 we obtain the following special case:

If λ ∈ ℂ and$λ≤751410=1.6941...$, then
$f(z)=1zp1−λ+λsin⁡zzα−p∈ΣSp,2∗(α),$

for some real values of α (0 ≤ α < p), where the power is the principal one.

For the function f given by (15), the function h defined by (5) is of the form
$h(z)=(1−λ)z+λsin⁡z,z∈U.$
Therefore, $h″(z)=λsin⁡z$, and using MAPLE™ software, the Figure 2a yields that
$maxz≤1sin⁡z<1.2.$

Now, according to Theorem 2.3 we obtain the following special case:

If λ ∈ ℂ and$λ≤5210=0.79057...$, then
$f(z)=1zp1−λ+λsinzα−p∈ΣSp,2∗(α),$

for some real values of α (0 ≤ α < p), where the power is the principal one.

If we compare the result given by Example 3.1 with the above one, for this special choice of the function f the Example 3.1 gives a better result.

As we already proved, if $λ≤509=5.555...$ then the relation (16) holds. Therefore, there exists a function f ∈ Σp,2 such that
$f′(z)=−pzp+11−λ+λsin⁡zzα−p,z∈U,$

where 0 ≤ α < p, and the power is the principal one, assuming that λ ∈ ℂ is chosen such that $λ≤509=5.555...$

A simple computation combined with (18) shows that
$zp+1f′(z)−p1a−p1+zf″(z)f′(z)+α+p−α=2(p−α)λsin2z2<2(p−α)λ⋅0.28,z∈U,$

and from Theorem 2.4 we obtain the following special case:

If λ ∈ ℂ and$λ≤751410=1.6941...$, then f ∈ Σp,2with
$f′(z)=−pzp+11−λ+λsin⁡zza−p,z∈U,$

for some real values of α (0 ≤ α < p), is in ΣKp, n(α). (The power is the principal one).

Using MAPLE™ software, from Figure 2b we have that
$maxz≤1zcos⁡z−sin⁡zz2<0.38.$
From a simple computation combined with (20) we get
$1zzp+1f′(z)−p1α−p1+zf″(z)f′(z)+p=(p−α)λzcos⁡z−sin⁡zz2<(p−α)λ⋅0.38,z∈U,$

and using Theorem 2.5 we obtain the next special case:

If λ ∈ ℂ and$λ≤751910=1.2483...$, then f ∈ Σp,2that satisfies (19) has, moreover, the property that f ∈ ΣKp, n(α), for some real values of α (0 ≤; α < p), where the power is the principal one.

Comparing the result given by Example 3.3 with the above one, for this special choice of the function f the Example 3.3 gives a better result.

As we proved at the beginning of this section, the function f ∈ Σp,2, where
$f(z)=1zp1−λ+λsin⁡zz1γ,z∈U,$
with λ ∈ ℂ, $λ≤509=5.555...$, and the power is the principal one. Using the inequality (20), we deduce that
$γ[zpf(z)]γzzf′(z)f(z)+p=λzcos⁡z−sin⁡zz2<λ⋅0.38,z∈U,$

and from Theorem 2.7 we obtain the next special case:

If λ ∈ ℂ and$λ≤751910=1.2483...$, then the function f given by (21) is in$ΣSp,2∗p+1γ$. for$γ≤−1p$. (The power is the principal one).

Using MAPLE™ software, we could check that the next inequalities hold (see Figures 3a, 3b, 4a, and 4b):
$maxz≤11+z2−ez−1z<0.22,$
$maxz≤1ez−1−z<0.73,$
$maxz≤1ez−1<1.73,$
$maxz≤1zez−ez+1z2−12<0.51.$

From (22) and (23), using Theorem 2.2 we may easily obtain the following special case:

If λ ∈ ℂ and$λ≤3007310=1.2996...$, then
$f(z)=1zp1+λez−1z−1−z2α−p∈ΣSp,2∗(α),$

for some real values of α (0 ≤ α < p), where the power is the principal one.

From (22) and (24), according to Theorem 2.3 we could similarly obtain the next special case:

If λ ∈ ℂ and$λ≤30017310=0.54837...$, then
$f(z)=1zp1+λez−1z−1−z2α−p∈ΣSp,2∗(α),$

for some real values of α (0 ≤ α < p), where the power is the principal one.

Thus, for this special choice of the function f the Example 3.6 gives a better result.

From (22) and (24), using Theorem 2.4 we easily get the next special case:

If λ ∈ ℂ and$λ≤3007310=1.2996...$, then f ∈ Σp,2with
$f′(z)=−pzp+11+λez−1z−1−z2α−p,z∈U,$

for some real values of α (0 ≤ α < p), is in ΣKp, n(α). (The power is the principal one).

From (22) and (25), according to Theorem 2.5 we could similarly obtain the next special case:

If λ ∈ ℂ and$λ≤1505110=0.93008...$, then f ∈ Σp,2that satisfies (26) has, moreover, the property that f ∈ ΣKp, n(α), for some real values of α (0 ≤ α < p), where the power is the principal one.

Consequently, for this special choice of the function f the Example 3.8 gives a better result.

Finally, from the inequalities (22) and (25), using Theorem 2.7 we obtain the next special case:

If λ ∈ ℂ and$λ≤1505110=0.93008...$, then
$f(z)=−1zp1+λez−1z−1−z21γ,∈ΣSp,2∗p+1γ,$

for$γ≤−1p$. (The power is the principal one).

We will omit the detailed proofs of the last three examples, since these are similar with the previous ones.

## References

• 

Goyal S.P., Bansal S.K., Goswami P, Extensions of sufficient conditions for starlikeness and convexity of order α for multivalent function, Appl. Math. Lett., 2012, 25(11), 1993-1998

• 

Xu Y., Frasin B.A., Liu J., Certain sufficient conditions for starlikeness and convexity of meromorphically multivalent functions, Acta Math. Sci. Ser. B Engl. Ed., 2013, 33(5), 1300-1304

• 

Mocanu P.T., Oros Gh., Sufficient condition for starlikeness of order α, Int. J. Math. Math. Sci., 2001, 28(9), 557-560

• 

Mocanu P.T., Some simple criteria for starlikeness and convexity, Lib. Math. (N.S.), 1993, 13, 27-40

• 

Singh V., Univalent functions with bounded derivative in the unit disc, Indian J. Pure Appl. Math., 1977, 8, 1370-1377

If the inline PDF is not rendering correctly, you can download the PDF file here.

• 

Goyal S.P., Bansal S.K., Goswami P, Extensions of sufficient conditions for starlikeness and convexity of order α for multivalent function, Appl. Math. Lett., 2012, 25(11), 1993-1998

• 

Xu Y., Frasin B.A., Liu J., Certain sufficient conditions for starlikeness and convexity of meromorphically multivalent functions, Acta Math. Sci. Ser. B Engl. Ed., 2013, 33(5), 1300-1304

• 

Mocanu P.T., Oros Gh., Sufficient condition for starlikeness of order α, Int. J. Math. Math. Sci., 2001, 28(9), 557-560

• 

Mocanu P.T., Some simple criteria for starlikeness and convexity, Lib. Math. (N.S.), 1993, 13, 27-40

• 

Singh V., Univalent functions with bounded derivative in the unit disc, Indian J. Pure Appl. Math., 1977, 8, 1370-1377

OPEN ACCESS

### Search   