JAMPJournal of Applied Mathematics and Physics2327-4352Scientific Research Publishing10.4236/jamp.2020.82024JAMP-98238ArticlesPhysics&Mathematics Some Inequalities on <i>p</i>-Valent Functions Related to Geometric Structure Based on <i>q</i>-Derivative ShahramNajafzadeh1DeborahOlufunmilayo Makinde2*Department of Mathematics, Payame Noor University, Tehran, IranDepartment of Mathematics, Obafemi Awolowo University, Ile-Ife, Osun State, Nigeria19012020080230130630, November 201910, February 2020 13, February 2020© Copyright 2014 by authors and Scientific Research Publishing Inc. 2014This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/

By applying the q-derivative, we introduce two new subclasses of p-valent functions with positive coefficients. By means of the well-known Jack’s lemma, some inequalities related to starlike, convex and close-to-convex functions are also obtained.

<i>p</i>-Valent Functions Jack’s Lemma Starlike Convex and Close-to-Convex Functions
1. Introduction

By A p ( n ) , we denote the class of functions of the type:

f ( z ) = z p + ∑ k = n + p + ∞ a k z k ,   ( n , p ∈ ℕ ) , (1)

which are p-valent and analytic in the open unit disk D = { z ∈ ℂ : | z | < 1 } , see .

Now, we introduce some basic definitions and related details of the q-calculus, see   .

The q-shifted factorial is defined for α , q ∈ ℂ as a product of n factors by:

( α ; q ) n = ( 1 , n = 0 , ( 1 − α ) ( 1 − α q ) ⋯ ( 1 − α q n − 1 ) , n ∈ ℕ , (2)

and according to the basic analogue of the gamma function, we get:

( q α ; q ) n = ( 1 − q ) n Γ q ( α + n ) Γ q ( α ) ,   ( n > 0 ) , (3)

where the q-gamma function is given by:

Γ q ( x ) = ( q ; q ) ∞ ( 1 − q ) 1 − x ( q x ; q ) ∞ ,   ( 0 < q < 1 ) . (4)

If | q | < 1 the relation (2) is meaningful for n = ∞ as a convergent product defined by:

( α ; q ) ∞ = ∏ j = 0 ∞ ( 1 − α q j )     . (5)

Further, we conclude that

Γ q ( x + 1 ) = ( 1 − q x ) Γ q ( x ) 1 − q . (6)

For 0 < q < 1 , the q-derivative of a function f is defined by:

∂ q f ( z ) = f ( q z ) − f ( z ) z ( q − 1 ) ,   ( z ≠ 0 , q ≠ 1 ) . (7)

A simple calculation yields that for m ∈ ℕ and λ > − 1 ,

∂ q m z λ = Γ q ( α ) ( 1 + λ ) Γ q ( α ) ( 1 + λ − m ) z λ − m . (8)

Also, in view of the following relation:

lim q → 1 − ( q α ; q ) n ( 1 − q ) n = ( α ) n , (9)

we note that the q-shifted factorial (2) reduces to the well-known Pochhammer symbol ( α ) n , which is defined by:

( α ) n = ( 1 , n = 0 , α ( α + 1 ) ⋯ ( α + n − 1 ) , n ∈ ℕ .

Differentiating (1) m times with respect to z (8), we conclude

∂ q m f ( z ) = Γ q ( 1 + p ) Γ q ( 1 + p − m ) z p − m + ∑ k = n + p ∞ Γ q ( 1 + k ) Γ q ( 1 + k − m ) a k z k − m . (10)

A function f ( z ) ∈ A p ( n ) is said to be in the subclass X p ( n , m ) if it satisfies the inequality:

| Γ q ( 1 + p − m ) Γ q ( 1 + p ) ∂ q m f ( z ) z p − m − 1 | < 1 , (11)

where z ∈ D , p ∈ ℕ , 0 < q < 1 and m ∈ ℕ 0 = ℕ ∪ { 0 } . Indeed f ( z ) ∈ A p ( n ) is said to be in the subclass Y p ( n , m ) if it satisfies the inequality:

| z ( ∂ q m f ( z ) ) ∂ q m f ( z ) − ( p − m ) | < p − m . (12)

For details see .

2. Main Results

To prove the main theorems related to X p ( n , m ) and Y p ( n , m ) , we need the following lemma due to Jack  .

Lemma 1. Let w ( z ) e non-constant in D and w ( 0 ) = 0 . If | w | attains its maximum value on the circle | z | = r < 1 at z 0 , then z 0 w ′ ( z 0 ) = t w ( z 0 ) , where t ≥ 1 is a real number.

A function f ( z ) ∈ A p ( n ) is said to be in the subclass A p K ( n ) of p-valently close-to-convex functions with respect to the origin in D if

Re { f ′ ( z ) z p − 1 } > 0 ,   ( z ∈ D , p ∈ ℕ ) .

Also, f ( z ) ∈ A p K ( n ) is said to be in the subclass A p S ( n ) of p-valently starlike functions with respect to the origin in D if

Re { z f ′ ( z ) f ( z ) } > 0 ,   ( z ∈ D , p ∈ ℕ ) .

Further f ( z ) ∈ A p ( n ) is said to be in the subclass A p C ( n ) of p-valently convex functions with respect to the origin in D if

Re { 1 + z f ″ ( z ) f ′ ( z ) } > 0 ,

see  .

Theorem 2. If f ( z ) ∈ A p ( n ) satisfies the inequality:

{ z ( ∂ q m f ( z ) ) ∂ q m f ( z ) − ( p − m ) } < 1 2 , (13)

then f ( z ) ∈ X p ( n , m ) .

Proof. Let f ( z ) ∈ A p ( n ) , we define the function w ( z ) by:

Γ q ( 1 + p − m ) Γ q ( 1 + p ) ∂ q m f ( z ) z p − m = 1 + w ( z ) ,   ( z ∈ D , p ∈ ℕ , n ∈ ℕ 0 ) . (14)

with a simple calculation we have w ( 0 ) = 0 (in U ).

For (14), we obtain:

Γ q ( 1 + p − m ) Γ q ( 1 + p ) ∂ q m f ( z ) = z p − m + z p − m w ( z ) ,

or

Γ q ( 1 + p − m ) Γ q ( 1 + p ) ( ∂ q m f ( z ) ) ′ = ( p − m ) z p − m − 1 + ( p − m ) z p − m − 1 w ( z ) + z p − m w ′ ( z ) ,

or equivalently

Γ q ( 1 + p − m ) Γ q ( 1 + p ) ( ∂ q m f ( z ) ) ′ z p − m − 1 = ( p − m ) ( 1 + w ( z ) ) + z w ′ ( z ) . (15)

From (14) and (15), we get:

z w ′ ( z ) 1 + w ( z ) = z ( ∂ q m f ( z ) ) ′ ∂ q m f ( z ) − ( p − m ) . (16)

Now, let for z 0 ∈ � , m a x | z | ≤ | z 0 | | w ( z ) | = | w ( z 0 ) | = 1 , then by using Jack’s lemma and putting w ( z 0 ) = e i θ ≠ − 1 in (16), we have:

Re { z ( ∂ q m f ( z ) ) ′ ∂ q m f ( z ) − ( p − m ) } = { z 0 w ′ ( z 0 ) 1 + w ( z 0 ) } = Re { t w ( z 0 ) 1 + w ( z 0 ) } = Re { t e i θ 1 + e i θ } = Re { t ( cos θ + i sin θ ) ( 1 + cos θ ) + i sin θ } = Re { t ( cos θ + i sin θ ) ( ( 1 + cos θ ) − i sin θ ) ( 1 + cos θ ) + i sin θ ( ( 1 + cos θ ) − i sin θ ) } = Re { t ( 1 + cos θ + i sin θ ) 2 + 2 cos θ } = Re { t ( 1 + cos θ ) 2 + 2 cos θ + i t sin θ 2 + 2 cos θ } = t 2 ≥ 1 2 ,

which is a contradiction with (13). Thus we have | w ( z ) | < 1 for all z ∈ D , so from (14) we conclude:

| Γ q ( 1 + p − m ) Γ q ( 1 + p ) ∂ q m f ( z ) z p − m − 1 | = | w ( z ) | < 1 ,

and this gives the result.

By letting m = 0 and ( m = 1 , q → 1 ), we have the following corollaries which are due to Irmak and Cetin .

Corollary 3. If f ( z ) ∈ A p ( n ) satisfies

Re { z f ′ f − p } < 1 2 ,   ( z ∈ D , p ∈ ℕ ) ,

then | f ( z ) z p − 1 | < 1 .

Corollary 4. If f ( z ) ∈ A p ( n ) satisfies the inequality

Re { 1 + z f ″ f ′ − p } < 1 2 ,   ( z ∈ D , p ∈ ℕ ) ,

then f ( z ) ∈ A p K ( n ) and | f ′ z p − 1 − p | < p .

Theorem 5. If f ( z ) ∈ A p ( n ) satisfies

{ 1 + [ ( ∂ q m f ( z ) ) ′ ​ ′ ( ∂ q m f ( z ) ) ′ − ( ∂ q m f ( z ) ) ′ ∂ q m f ( z ) ] } < 1 2 ,   ( z ∈ D , p ∈ ℕ , n ∈ ℕ 0 ) , (17)

then f ( z ) ∈ Y p ( n , m ) .

Proof. Let the function f ( z ) ∈ A p ( n ) , we define the function w ( z ) by

z ( ∂ q m f ( z ) ) ′ ∂ q m f ( z ) = p ( 1 + w ( z ) ) . (18)

It is easy to verify that w ( z ) is analytic in D and w ( 0 ) = 0 . By (18), we have:

z ( ∂ q m f ( z ) ) ′ = p ∂ q m f ( z ) + p ∂ q m f ( z ) w ( z ) ,

or

( ∂ q m f ( z ) ) ′ + z ( ∂ q m f ( z ) ) ′ ​ ′ = p ( ∂ q m f ( z ) ) ′ + p ( w ′ ( z ) ∂ q m f ( z ) + w ( z ) ( ∂ q m f ( z ) ) ′ ) ,

or

1 + z ( ∂ q m f ( z ) ) ′ ​ ′ ( ∂ q m f ( z ) ) ′ = p ( 1 + w ( z ) ) + p w ′ ( z ) ∂ q m f ( z ) ( ∂ q m f ( z ) ) ′ ,

or by (18) we get

1 + z ( ∂ q m f ( z ) ) ′ ​ ′ ( ∂ q m f ( z ) ) ′ = p ( 1 + w ( z ) ) + z w ′ ( z ) 1 + w ( z ) .

Now, let for a point z 0 ∈ D , max | z | ≤ | z 0 | | w ( z ) | = | w ( z 0 ) | = 1 . By Jack’s lemma and putting w ( z 0 ) = e i θ we conclude:

Re { 1 + z [ ( ∂ q m f ( z ) ) ′ ​ ′ ( ∂ q m f ( z ) ) ′ − ( ∂ q m f ( z ) ) ′ ∂ q m f ( z ) ] } = Re { z 0 w ′ ( z 0 ) 1 + w ( z 0 ) } = Re { t w ( z 0 ) 1 + w ( z 0 ) } = Re { t e i θ 1 + e i θ } > t 2 ≥ 1 2 ,

which is contradiction with (17). Thus for all z ∈ D , | w ( z ) | < 1 and so from (18), we have:

| z ( ∂ q m f ( z ) ) ′ ∂ q m f ( z ) − p | < p ,

thus the proof is complete.

By letting m = 0 and ( m = 1 , q → 1 ) we have the following corollaries that the first one is due to Irmak and Cetin .

Corollary 6. If f ( z ) ∈ A p ( n ) satisfies the inequality

Re { 1 + z ( f ″ f ′ − f ′ f ) } < 1 2 ,   ( z ∈ D , p ∈ ℕ ) ,

then f ( z ) ∈ A p S ( n ) and | z f ′ f − p | < p .

3. Conclusion

Studying the theory of analytic functions has been an area of concern for many authors. Literature review indicates lots of researches on the classes of p-valent analytic functions. The interplay of geometric structures is a very important aspect in complex analysis. In this study, two new subclasses of p-valent functions were defined by using q-analogue of the well-known operators and we gave some geometric structures like starlike, convex and close-to-convex properties of the subclasses. It is noted that the study is an extension of some previous studies as it is shown in corollaries 3, 4, 6.

Acknowledgements

The authors wish to thank the reviewer for their valuable suggestions which add to the quality of this paper.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

Cite this paper

Najafzadeh, S. and Makinde, D.O. (2020) Some Inequalities on p-Valent Functions Related to Geometric Structure Based on q-Derivative. Journal of Applied Mathematics and Physics, 8, 301-306. https://doi.org/10.4236/jamp.2020.82024

ReferencesDarwish, H.E., Lashin, A.Y. and Soileh, S.M. (2016) On Certain Subclasses of Starlike P-Valent Functions. Kyungpook Mathematical Journal, 56, 867-876. https://doi.org/10.5666/KMJ.2016.56.3.867Gasper, G. and Rahman, M. (2004) Basic Hypergeometric Series. 2nd Edition, Cambridge University Press, Cambridge. https://doi.org/10.1017/CBO9780511526251Jackson F. ,et al. (1910)On q-Definite Integrals Quarterly Journal of Pure and Applied Mathematics 41, 193-203.Najafzadeh S. ,et al. (2019)q-Derivative on p-Valent Meromorphic Functions Associated with Connected Sets Surveys in Mathematics and Its Applications 14, 149-158.Petojevic, A. (2008) A Note about the Pochhammer Symbol. Mathematica Moravica, 12, 37-42. https://doi.org/10.5937/MatMor0801037PEl-Qadeem, A.H. and Mamon, M.A. (2018) Comprehensive Subclasses of Multivalent Functions with Negative Coefficients Defined by Using a q-Difference Operator. Transactions of A. Razmadze Mathematical Institute, 172, 510-526. https://doi.org/10.1016/j.trmi.2018.04.002Jack, I. (1971) Functions Starlike and Convex of Order α. Journal of the London Mathematical Society, 2, 469-474. https://doi.org/10.1112/jlms/s2-3.3.469Miller, S.S. and Mocanu, P.T. (1978) Second Order Differential Inequalities in the Complex Plane. Journal of Mathematical Analysis and Applications, 65, 289-305. https://doi.org/10.1016/0022-247X(78)90181-6Deniz E. ,et al. (2012)On p-Valently Close-to-Convex, Starlike and Convex Functions Hacettepe Journal of Mathematics and Statistics 41, 635-642.Najafzadeh, S. (2019) Inequalities on Univalent Functions Associated with Bessel Generalized Function. UPB Scientific Bulletin, Series A: Applied Mathematics and Physics, 81, 143-146.Irmak, H. and &#199;ET&#304;N, &#214;.F. (2000) Some Theorems Involving Inequalities on p-Valent Functions. Turkish Journal of Mathematics, 23, 453-460.