ISSN: 2005-4238 IJAST 70
Copyright β 2019 SERSC
BINOMIAL DISTRIBUTION SERIES CONNECTED WITH CERTAIN SUBCLASSES OF ANALYTIC FUNCTIONS
S.Santhiya1 , K.Thilagavathi *2 School of Advanced Sciences, Vellore Institute of technology,
Vellore-632014, India.
Abstract
The purpose of present paper is to obtain the necessary and sufficient conditions and inclusion relations for Binomial distribution series πΎ(π, π, π§) = π§ + ββπ=2(πβπ)!(πβ1)!(πβ1)! ππβ1 (1 β π)πβππ§π belonging to the subclasses π(πΏ, π) and πΆ(πΏ, π) of analytic functions with negative coefficients.
Further the integral operator π»(π, π, π§) = β«0π§πΉ(π,π,π‘)π‘ ππ‘ is related to this series is also considered.
2010 Mathematics Subject Classiο¬cation: 30C45, 30C55.
Keywords: Analytic functions, Starlike functions, Convex functions, Binomial distribution series.
1. Introduction
Let π΄ denote the class of functions π of the form π(π§) = π§ + β πππ§π
β π=2
. (1) Which are analytic in the punctured unit disk π = {π§ β πΆ: 0 < |π§| < 1}.
Also π be the subclass of π΄ containing the functions of the form π(π§) = π§ β β|ππ|π§π
β π=2
. (2) Let π(πΏ, π) be a subclass of π consisting the functions which satisfy the given condition
|
π§πβ²(π§)
(1 β π)π(π§) + ππ§πβ²(π§) β 1 π§πβ²(π§)
(1 β π)π(π§) + ππ§πβ²(π§) + 1
| < πΏ, (0 < πΏ β€ 1, 0 β€ π < 1). (3) and π β πΆ(πΏ, π) if and only if π§πβ² β π(πΏ, π) . πhe class π(πΏ, π) and πΆ(πΏ, π) is introduce by Frasin. et al [4].
A function π β π΄ is said to be in the class π π(π΄, π΅), π β β\{0}, β1 β€ π΄ < π΅ β€ 1, if it satisfies the inequality
|(π΄βπ΅)πβπ΅[ππβ²(π§)β1β²(π§)β1]| < 1. (4)
This class was introduced by Dixit and Pal [3]. It is interest to note that if π = 1, π΄ = π½ , π΅ = βπ½(0 <
π½ β€ 1) . We obtain the class of functions π β π΄ satisfying the inequality |ππβ²β²(π§)β1(π§)+1| < π½ (z βU, 0 < π½ β€ 1 )
which was studied by (among others) Padmanabhan [7] and Caplinger and Causey [1].
Recently Porwal[8] introduce a power series whose coeο¬cients are probabilities of Poisson distribution. Motivated by results on connection between various subclasses of analytic functions and poisson distribution given in Murugusundaramoorthy[5]
Let π(π, π) be a binomial distribution defined by
π(π, π) = ππ(π = π) =(πβπ)!π!π! ππ(1 β π)πβπ, π = 0,1,2, β¦ β¦ β¦ β¦ . . π.
when π > π, then π(π, π) = 0.
Very recently,Waqas Nazeer. et al [12] introduce a power series whose coefficients are probabilities of Binomial distribution
Consider a power series defined as
ISSN: 2005-4238 IJAST 71
Copyright β 2019 SERSC
πΎ(π, π, π§) = π§ + β (π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβππ§π.
β
π=2
Now we obtain the series
πΉ(π, π, π§) = 2π§ β πΎ(π, π, π§) = π§ β β (π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβππ§π.
β
Very recently Porwal and Kumar[9] introduced a linear operator πΌ(π, π, π§): π΄ β π΄ π=2
πΌ(π, π, π§)π = πΎ(π, π, π§) β π(π§)
= π§ + β (π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβπ ππ π§π.
β
Where β denote the convolution or Hadamard product of two series. π=2
Most of literatures (see[2],[6],[10],[11]) used hypergeometric function to relate subclasses of analytic and univalent functions. Hence it motivate the authors to determine the necessary and sufficient conditions for πΉ(π, π, π§) to be in the classes π(πΏ, π) πππ πΆ(πΏ, π) and connections of these subclasses with π π(π΄, π΅).Finally the condition for integral operator π»(π, π, π§) = β«0π§πΉ(π,π,π‘)π‘ ππ‘ belongs to the classes π(πΏ, π) πππ πΆ(πΏ, π).
In our investigation, we shall require the following lemmas.
LEMMA 1.1.[4] A function f of the form (2) is in π(πΏ, π) if and only if satisfies
β[π((1 β π) + πΏ(1 + π)) β (1 β π)(1 β πΏ)]|ππ| β€ 2πΏ (5)
β
Where 0 < πΏ β€ 1,0 β€ π < 1. π=2
LEMMA 1.2.[4] A function f of the form (2) is in πΆ(πΏ, π) if and only if satisfies
β π[π((1 β π) + πΏ(1 + π)) β (1 β π)(1 β πΏ)]|ππ| β€ 2πΏ (6)
β
Where 0 < πΏ β€ 1,0 β€ π < 1. π=2
2. Main results
THEOREM 2.1. The function πΉ(π. π. π§) belong to the class π(πΏ, π) if and only if π((1 β π) + πΏ(1 + π))(π β 1) + 2πΏπΈ β€ 2πΏ
Where
πΈ = β (π β 1)!
(π β π β 1)! π!ππ(1 β π)πβπβ1
β
π=1
Proof. Since
πΉ(π. π. π§) = π§ β β (π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβππ§π.
β
π=2
According to lemma 1.1 we must show that
β[π((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβπβ€ 2πΏ Now
β[π((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβπ Writing π = (π β 1) + 1, π€π βππ£π
β[(π β 1)((1 β π) + πΏ(1 + π)) + 2πΏ]
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβπ
ISSN: 2005-4238 IJAST 72
Copyright β 2019 SERSC
= β(π β 1)((1 β π) + πΏ(1 + π))
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβπ+ 2πΏ Γ β (π β 1)!
(π β π)! (π β 1)!ππβ1(1 β π)πβπ
β
π=2
= ((1 β π) + πΏ(1 + π)) β (π β 1)!
(π β π)! (π β 2)!ππβ1(1 β π)πβπ+ 2πΏ
β
π=2
Γ β (π β 1)!
(π β π)! (π β 1)!ππβ1(1 β π)πβπ
β
π=2
= ((1 β π) + πΏ(1 + π)) β (π β 1)!
(π β π β 2)! π!ππ+1(1 β π)πβπβ2+ 2πΏ
β
π=0
Γ β (π β 1)!
(π β π β 1)! π!ππ(1 β π)πβπβ1
β
π=1
= ((1 β π) + πΏ(1 + π))π β(π β 1)(π β 2)!
(π β π β 2)π! ππ(1 β π)πβπβ2+ 2πΏ
β
π=0
Γ β (π β 1)!
(π β π β 1)π!ππ(1 β π)πβπβ1
β
π=1
= π((1 β π) + πΏ(1 + π))(π β 1) β (π β 2)!
(π β π β 2)! π!ππ(1 β π)πβπβ2+ 2πΏ
β
π=0
Γ β (π β 1)!
(π β π β 1)! π!ππ(1 β π)πβπβ1
β
π=1= π((1 β π) + πΏ(1 + π))(π β 1) + 2πΏπΈ
β€ 2πΏ . This completes the proof.
THEOREM 2.2. The function πΉ(π. π. π§) belong to the class πΆ(πΏ, π) if and only if
π2((1 β π) + πΏ(1 + π))(π β 1)(π β 2) + 2π(1 + 2πΏ + πΏπ β π)(π β 1) + 2πΏπ β€ 2πΏ Where
π = β (π β 1)!
(π β π β 1)! π!ππ(1 β π)πβπβ1
β π=1
. Proof. As
πΉ(π. π. π§) = π§ β β (π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβππ§π,
β
π=2
According to lemma 1.2 we must show that
β π[π((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβπβ€ 2πΏ Now
β π[π((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β π=2
(π β 1)!
(π β π)! (π β 1)! ππβ1(1 β π)πβπ Writing π = (π β 1) + 1 πππ π2= (π β 1)(π β 2) + 3(π β 1) + 1, π€π βππ£π
= β(π β 1)(π β 2)((1 β π) + πΏ(1 + π))
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβπ
ISSN: 2005-4238 IJAST 73
Copyright β 2019 SERSC
+ β(π β 1)[3((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β π=2
(π β 1)!
(π β π)! (π β 1)!
Γ ππβ1(1 β π)πβπ+ β 2πΏ
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβπ
= ((1 β π) + πΏ(1 + π)) β (π β 1)!
(π β π)! (π β 3)!ππβ1(1 β π)πβπ+ 2(1 + 2πΏ + πΏπ β π)
β
π=3
Γ β (π β 1)!
(π β π)! (π β 2)!ππβ1(1 β π)πβπ+ 2πΏ β (π β 1)!
(π β π)! (π β 1)!ππβ1(1 β π)πβπ
β π=2
β
π=2
= ((1 β π) + πΏ(1 + π)) β (π β 1)!
(π β π β 3)! π!ππ+2(1 β π)πβπβ3+ 2(1 + 2πΏ + πΏπ β π)
β
π=0
Γ β (π β 1)!
(π β π β 2)! π!ππ+1(1 β π)πβπβ2+ 2πΏ β (π β 1)!
(π β π β 1)! π!ππ(1 β π)πβπβ1
β π=1
β
π=0
= π2((1 β π) + πΏ(1 + π)) β (π β 1)!
(π β π β 3)! π!ππ(1 β π)πβπβ3+ 2π(1 + 2πΏ + πΏπ β π)
β
π=0
Γ β (π β 1)!
(π β π β 2)! π!ππ(1 β π)πβπβ2+ 2πΏ β (π β 1)!
(π β π β 1)! π!ππ(1 β π)πβπβ1
β π=1
β
π=0
= π2((1 β π) + πΏ(1 + π))(π β 1)(π β 2) β (π β 3)!
(π β π β 3)! π!ππ(1 β π)πβπβ3
β
π=0
+2π(1 + 2πΏ + πΏπ β π)(π β 1) β (π β 2)!
(π β π β 2)! π!
β π=0
ππ(1 β π)πβπβ2+ 2πΏ
Γ β (π β 1)!
(π β π β 1)! π!ππ(1 β π)πβπβ1
β
= ππ=12((1 β π) + πΏ(1 + π))(π β 1)(π β 2) + 2π(1 + 2πΏ + πΏπ β π)(π β 1) + 2πΏπ
β€ 2πΏ.
This completes the proof.
In the following theorem, we obtain the analogous results in connection with the particular integral operator π»(π, π, π§) as follows
π»(π, π, π§) = β«πΉ(π, π, π‘)
π‘ ππ‘ (7)
π§
THEOREM 2.3. The operator π»(π. π. π§) characterized by (7) to the class πΆ(πΏ, π) if and only if 0
π((1 β π) + πΏ(1 + π)(π β 1) + 2πΏπ β€ 2πΏ Where
π = β (π β 1)!
(π β π β 1)! π!ππ(1 β π)πβπβ1
β π=1
. Proof. Since
π»(π. π. π§) = π§ β β (π β 1)!
(π β π)! π!ππβ1 (1 β π)πβππ§π,
β
π=2
According to lemma 1.2 we must show that
β π[π((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β π=2
(π β 1)!
(π β π)! π!ππβ1 (1 β π)πβπβ€ 2πΏ
ISSN: 2005-4238 IJAST 74
Copyright β 2019 SERSC
Or, equivalently
β[π((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβπβ€ 2πΏ Now
β[π((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβπ
= β[(π β 1)((1 β π) + πΏ(1 + π)) + 2πΏ]
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβπ
= β(π β 1)((1 β π) + πΏ(1 + π))
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1 (1 β π)πβπ+ 2πΏ Γ β (π β 1)!
(π β π)! (π β 1)!ππβ1(1 β π)πβπ
β
π=2
= ((1 β π) + πΏ(1 + π)) β (π β 1)!
(π β π β 2)! π!ππ+1(1 β π)πβπβ2+ 2πΏ
β
π=0
Γ β (π β 1)!
(π β π β 1)! π!ππ(1 β π)πβπβ1
β
π=1
= ((1 β π) + πΏ(1 + π))π β(π β 1)(π β 2)!
(π β π β 2)! π! ππ(1 β π)πβπβ2+ 2πΏ
β
π=0
Γ β (π β 1)!
(π β π β 1)! π!ππ(1 β π)πβπβ1
β
= π((1 β π) + πΏ(1 + π))(π β 1) + 2πΏπ π=1
β€ 2πΏ.
This completes the proof.
THEOREM 2.4. The operator π»(π. π. π§) characterized by (7) to the class π(πΏ, π) if and only if π((1 β π) + πΏ(1 + π)π· + 2πΏπ½ β€ 2πΏ
Where
π· = β (π β 1)(π β 2)!
(π β π β 2)! (π + 2)π!ππ(1 β π)πβπβ2
β
π=0
and
π½ = β (π β 1)!
(π β π)! π!ππβ1(1 β π)πβπ
β π=2
. Proof. Since
π»(π. π. π§) = π§ β β (π β 1)!
(π β π)! π!ππβ1 (1 β π)πβππ§π,
β
π=2
According to lemma 1.1 we must show that
β[π((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β π=2
(π β 1)!
(π β π)! π!ππβ1 (1 β π)πβπβ€ 2πΏ Now
β[π((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β π=2
(π β 1)!
(π β π)! π!ππβ1 (1 β π)πβπ
= β[(π β 1)((1 β π) + πΏ(1 + π)) + 2πΏ]
β π=2
(π β 1)!
(π β π)! π!ππβ1 (1 β π)πβπ
ISSN: 2005-4238 IJAST 75
Copyright β 2019 SERSC
= β(π β 1)((1 β π) + πΏ(1 + π)) (π β 1)!
(π β π)! π!ππβ1 (1 β π)πβπ+ 2πΏ
β
π=2
Γ β (π β 1)!
(π β π)! π!ππβ1 (1 β π)πβπ
β
π=2
= ((1 β π) + πΏ(1 + π)) β (π β 1)!
(π β π)! π(π β 2)!
β π=2
ππβ1 (1 β π)πβπ+ 2πΏ
Γ β (π β 1)!
(π β π)! π!ππβ1 (1 β π)πβπ
β π=2
= ((1 β π) + πΏ(1 + π)) β (π β 1)(π β 2)!
(π β π β 2)! (π + 2)π!
β π=0
ππ+1 (1 β π)πβπβ2+ 2πΏ
Γ β (π β 1)!
(π β π)! π!ππβ1 (1 β π)πβπ
β
π=2
= ((1 β π) + πΏ(1 + π))π β (π β 1)(π β 2)!
(π β π β 2)! (π + 2)π!
β π=0
ππ (1 β π)πβπβ2+ 2πΏ
Γ β (π β 1)!
(π β π)! π!ππβ1 (1 β π)πβπ
β
= π((1 β π) + πΏ(1 + π))π· + 2πΏπ½ π=2
β€ 2πΏ.
This completes the proof.
3. Inclusion Properties
Making use of the following Lemma we will study the action of the Binomial distribution series on the class πΆ(πΏ, π). .
Lemma 3.1. [2] If π β π π(π΄, π΅) is of form (1), then |ππ|β€ (AβB)|Ο| π, n βN\{1}.
The result is sharp.
THEOREM 3.1. Let π > π, 0 < πΏ β€ 1 πππ 0 β€ π < 1 ππ π β π π(π΄, π΅), π‘βππ πΌ(π, π, π§)π is in πΆ(πΏ, π) if and only if
(π΄ β π΅)|π|[π((1 β π) + πΏ(1 + π))(π β 1)]
(1 β (π΄ β π΅)|π|πΊ) β€ 2πΏ
Where
πΊ = β (π β 1)!
(π β π β 1)! π!ππ(1 β π)πβπβ1
β
π=1
Proof. In view of lemma (1.1) it suffices to show that
β π[π((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1(1 β π)πβπ|ππ| β€ 2πΏ Since π β π π(π΄, π΅), then by lemma (3.1) we get
|ππ| β€ (π΄ β π΅)|π|
π Thus we have
β π[π((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1(1 β π)πβπ|ππ|
ISSN: 2005-4238 IJAST 76
Copyright β 2019 SERSC
β€ β π[π((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β π=2
(π β 1)!
(π β π)! (π β 1)!ππβ1(1 β π)πβπ Γ (π΄ β π΅)|π|
π
= (π΄ β π΅)|π| β π[π((1 β π) + πΏ(1 + π)) + (1 β π)(πΏ β 1)]
β
π=2
Γ (π β 1)!
(π β π)! (π β 1)!ππβ1(1 β π)πβπ Proceeding as in Theorem 2.1 we get
= (π΄ β π΅)|π|[π((1 β π) + πΏ(1 + π))(π β 1) + 2πΏπΊ]
β€ 2πΏ.
References
[1] Caplinger, T. R. and Causey, W. M. A class of univalent functions, Proc. Amer. Math. Soc. 39, 1973,357-361.
[2] N. E .Cho, S. Y. Woo and S. Owa, Uniform convexity properties for hypergeometric functions, Fract.Cal. Appl. Anal., 5(3) (2002), 303β313.
[3]Dixit, K.K., Pal, S.K., On a class of univalent functions related to complex order, Indian J.
PureAppl. Math., 26(1995), no. 9, 889-896.
[4]B.A. Frasin, Tariq Al-Hawary and Feras Yousef, Necessary and sufficient conditions for hypergeometric functions to be in a subclass of analytic functions, Afrika Matematika, Volume 30, Issue 1β2, 2019,pp. 223β230.
[5]G. Murugusundaramoorthy, Univalent functions with positive coefficients involving poisson distribution series, Honam Mathematical J. 40 (2018), No. 3, pp. 529β538
[6]E. Merkes and B. T. Scott, Starlike hypergeometric functions, Proc. Amer. Math. Soc., 12 (1961), 885-888.
[7]K.S.Padmanabhan, On sufficient conditions for starlikeness, Indian J. Pure Appl. Math. 32, 2001,543-550.
[8] S.Porwal, An application of a Poisson distribution series on certain analytic functions , J.
Complex Anal. 2014, Article ID 984135, 3 pages, 2014.
[9]S. Porwal and M. Kumar, A unified study on starlike and convex functions associated with Poisson distribution series, Afr. Mat., 27(5)(2016), 1021-1027. Stud. Univ. BabeΒΈs-Bolyai Math.
63(2018), No.1, 71-78.
[10]H. Silverman, Starlike and convexity properties for hypergeometric functions, J. Math. Anal.
Appl.172 (1993), 574β581.
[11]H.M.Srivastava., G. Murugusundaramoorthy and S. Sivasubramanian, Hypergeometric functions in the parabolic starlike and uniformly convex domains, Integr. Transf. Spec. Func. 18 (2007), 511β520.
[12]Waqas Nazeer, Qaisar Mehmood, Shin Min Kang, and Absar Ul Haq, An application of Binomial distribution series on certain analytic functions, J.Computational Analysis and ApplicationsVolume26,NO.1,2019.pp.11-17.