Homepage :https://tci-thaijo.org/index.php/SciTechAsia Science & Technology Asia
Vol.27 No.4 October - December 2022 Page: [207-214]
Original research article
Unified Classes of Starlike and Convex Functions Associated with Touchard
Polynomials
Saurabh Porwal1,*, Gangadharan Murugusundaramoorthy2
1Department of Mathematics, Ram Sahai Government Degree College, Bairi Shivrajpur Kanpur 209205, India
2Department of Mathematics, School of Advanced Sciences, Vellore Institute of Technology, Vellore, Tamilnadu 632014, India
Received 29 July 2020ΝΎ Received in revised form 16 May 2022 Accepted 24 May 2022ΝΎ Available online 31 December 2022
ABSTRACT
The aim of the present paper is to further explore some description of Touchard poly- nomials associated with the unified subclasses of analytic functions and investigate inclusion relations for such subclasses in the open unit diskD.Further, we discuss geometric properties of an integral operator related Touchard polynomials.
Keywords: AnalyticΝΎ ConvexΝΎ Hadamard (convolution) productΝΎ StarlikeΝΎ Touchard poly- nomialsΝΎ Univalent functions
1. Introduction
LetArepresent the class of functions π of the form
π(π) =π§+Γβ
π=2
ππππ, (1.1) which are analytic in the open unit disk D = {π : π β C and |π| < 1} and gratify the normalization condition π(0) = πβ²(0) β1 =0. Further, we represent byS the subclass ofA comprising functions of
the form Eq. (1.1) which are also univalent inD.
Designate by T the subclass of A comprising functions whose non zero coef- ficients from second on, is given by
π(π) =πβΓβ
π=2
|ππ|ππ. (1.2) We recall the well-known subclasses ofA are starlike and convex functions due to
Robertson [21]. A function π β A is said to be in the classSβ(π)if
β
π πβ²(π) π(π)
> π, π βD holds.
A function π β Ais said to be in the classK(π) if the condition
β
(π πβ²(π))β² πβ²(π)
> π, π βD, is satisfied.
A function π β A is said to be in the class Pπ(π) if it satisfies the following condition
β
π πβ²(π) + ππ2πβ²β²(π) (1β π)π(π) +ππ πβ²(π)
> π, π βD and the function π β Ais said to be in the classππ(π) if it satisfies the follow- ing condition
β
ππ3πβ²β²β²(π) + (1+2π)π2πβ²β²(π) +π πβ²(π) (1βπ)π(π) +ππ πβ²(π)
> π,
andπ βD.Further, we denote byPβπ(π) β‘ Pπ(π) β© T andπβπ(π) β‘ππ(π) β© T.
The classes Pπ(π), ππ(π), Pβπ(π) and πβπ(π) were studied earlier by Altin- tas et al. [4]. It is worthy to note that for π =0the classesPπ(π) andππ(π)reduce to the classesSβ(π)andK(π), respectively, and for π = 1 the class Pπ(π) reduces to the class K(π), studied earlier by Robert- son [21] and Silverman [23].
Definition 1.1. A function π β Sis said to be in the classRπ(π, πΏ), (π βC\{0}, 0 <
πβ€ 1;πΏ < 1), if it satisfies the inequality
(1βπ)π(ππ ) +π πβ²(π) β1 2π(1βπΏ) + (1βπ)π(ππ ) +π πβ²(π) β1
<1 andπ βD.
The class Rπ(π, πΏ) was introduced earlier by Swaminathan [26](for special cases see the references cited therein).
The Touchard polynomials, studied by Jacques Touchard [25] also named the exponential generating polynomials (see [8, 22,24]) and also called the Bell polynomials (see [3]) comprise a polynomial sequence of binomial type
for π is a random variable with a Poisson distribution with expected valueβ, then its ππ‘β moment is πΈ(ππ ) = T (π , β), leading to the form:
T (π , β) =ππ Γβ
π=0
π ππβ
π! ππ (1.3) This is a new algorithm for answering linear and nonlinear integral equations.
These polynomials were studied by Jacques Touchard and he generalized the Bell poly- nomials in order to inspect various prob- lems of inventory of the permutations when the cycles possess certain properties. Be- sides, he introduced and studied a class of related polynomials. An exponential gener- ating function(see [8,22,24]), recurrence re- lations and connections related to the other known polynomials were also examined.
For some special cases, relations with the Stifling number of the first and second kind, as well as with other numbers recently ex- amined, are derived. In general, the integral equations are problematic to be solved an- alytically, consequently in many equations we need to obtain the approximate solu- tions, and for this case, the βTouchard Poly- nomials methodβ for the solution of the lin- ear βVolterra integro-differential equationβ
is implemented. The Touchard polynomi- als method has been applied to solve lin- ear and nonlinear Volterra (Fredholm) inte- gral equations. Further, Abdullah and Ali [2] provide some efficient numerical meth- ods to solve linear Volterra integral equa- tions and Volterra Integro differential equa- tions of the first and second types, with
exponential, singular, regular and convo- lution kernels. These methods are based on Touchard and Laguerre polynomials that convert these equations into a system of lin- ear algebraic equations. On the other hand, there have been various papers on inter- esting applications of the Touchard poly- nomials in nonlinear FredholmβVolterra in- tegral equations comprising relations be- tween bilinear and trilinear forms of non- linear differential equations which hold soliton- wave solutions.
Lately,in [12] we consider Touchard polynomials coefficients after the second force as following
Ξ¦βπ(π) = π+Γβ
π=2
(πβ1)βππβ1 (πβ1)! πβπππ,
(1.4) where π β D, β β₯ 0;π > 0 and we note that, by ratio test the radius of convergence of above series is infinity. We further define
Ξβπ(π) = 2πβΞ¦βπ(π)
= πβΓβ
π=2
(πβ1)βππβ1 (πβ1)! πβπππ,
(1.5) π β D. It is worthy to note that for β = 0 the series given by Eq. (1.4) reduce to the Poisson distribution series introduced and studied by Porwal [15]. For functions π β A given by Eq. (1.1) and π β A given byπ(π) =π+Γβ
π=2ππππ,we define the Hadamard product (or convolution) of
π andπby
(π βπ)(π) =π+Γβ
π=2
ππππππ, π βD.
(1.6) Now, we define the linear operator
I(π, π, π) :A β A
defined by the convolution or Hadamard product
I(π, π, π)π =Ξ¦βπ(π) β π(π)
=π+Γβ
π=2
(πβ1)πππβ1
(πβ1)! πβπππππ. (1.7) In our investigation, we shall require the following definition and lemmas.
Definition 1.2. Theππ‘βmoment of the Pois- son distribution about origin is defined as
πβ²π= Γβ π=0
ππππ π! πβπ.
Lemma 1.3. [26] Ifπ β Rπ(π, πΏ)is of form Eq.(1.1)then
|ππ| β€ 2|π| (1βπΏ)
1+π(πβ1), πβN\{1}. (1.8) The bounds given in Eq.(1.8)are sharp.
Lemma 1.4. ([23]) Let π β A be of the form Eq.(1.1), then and satisfy the inequal- ity
Γβ π=2
(ππβπ+1)(πβπ)|ππ| β€1βπ, (1.9) then π β Pπ(π), if
Lemma 1.5. ([23]) Let π β A be of the form Eq.(1.1), then and satisfy the inequal- ity
Γβ π=2
π(ππβπ+1)(πβπ)|ππ| β€ 1βπ, (1.10) then π βππ(π).
Remark 1.6. Let π β A be of the form Eq. (1.2), then π β Pβπ(π), if and only if Eq.(1.9)is satisfied.
Remark 1.7. Let π β A be of the form Eq. (1.2), then π β πβπ(π), if and only if Eq.(1.10)is satisfied.
By specializing the parameter π = 0 and π = 1in the Lemmas 1.4 and 1.5, we obtain the results of Silverman [23].
The application of special functions in geometric function theory is a current and interesting topic of research. It is often used in areas such as mathematics, physics, and engineering. As a result of De Brangesβ study [6], the classic Bieber- bach problem is successfully solved by ap- plying a generalized hypergeometric func- tion. Several types of special functions, in- cluding generalized hypergeometric Gaus- sian functions[11, 26] and references are cited therein. The study of distribution se- ries is fascinating topic of research in geo- metric function theory and unlocks a new path of research. In fact, after the appear- ance of the paper of Porwal [15] several re- searchers familiarize Hypergeometric dis- tribution series [1], confluent hypergeomet- ric distribution series [17], hypergeometric distribution type series [19], Pascal distri- bution series [9, 10], binomial distribution series [14], generalized distribution series [16] and Mittag-Leffler type Poisson dis- tribution series [18] and give nice solicita- tions on certain classes of univalent func- tions. Inspired by the work of Murugusun- daramoorthy and Porwal [12], Murugusun- daramoorthy et al. [13], Porwal and Ku- mar [20] , in this paper we investigated some sufficient conditions for the function Ξ¦βπ(π) belonging to the classesPπ(π) and ππ(π) and influences of these subclasses withπ π(π΄, π΅).
2. Main Results
Theorem 2.1. If π > 0, β β N0 and the inequality


ππβ²π+2+ (1+πβπ π)πβ²π+1+ (1βπ)πβ²π, π β₯1
ππ2+ (1+ πβπ π)π+ (1βπ)(1βπβπ), π =0
(2.1)
β€ 1βπ, thenΞ¦βπ(π) β Pπ(π). Proof. Since
Ξ¦βπ(π) =π+Γβ
π=2
(πβ1)βππβ1 (πβ1)! πβπππ. By Lemma 1.4, it suffices to show that
π1 =Γβ
π=2(ππβ π+1)(πβπ)(πβ(πβ1)β1π)πβ! 1πβπ
β€1βπ.
Now π1 =
Γβ π=2
(ππβπ+1)(πβπ)(πβ1)βππβ1 (πβ1)! πβπ
=πβπ
"Γβ
π=2
π(πβ1)2+ (1+πβπ π)(πβ1)
+ (1βπ)] (πβ1)βππβ1 (πβ1)!
=πβπ
"
πΓβ
π=1
πβ+2ππ π!
+ (1+ πβπ π)Γβ
π=1
πβ+1ππ π! + (1βπ)Γβ
π=1
πβππ π!
#
=


ο£³
ππβ²π+2+ (1+πβπ π)πβ²π+1 + (1βπ)πβ²π, π β₯1 ππ2+ (1+πβπ π)π
+(1βπ)(1βπβπ), π=0.
But, this last expression is bounded above by1βπ, if Eq. (2.1) holds. This completes
the proof of Theorem 2.1. β‘
Theorem 2.2. If π > 0, β β N0 then Ξβπ(π) β Pβπ(π), if and only if Eq.(2.1)is satisfied.
Proof. The proof of Theorem 2.2 is similar to that of Theorem 2.1. Therefore, we omit
the details involved. β‘
Theorem 2.3. If π > 0, β β N0 and the inequality



ο£³
ππβ²π+3+ (1+2πβπ π)πβ²π+2
+(2+πβπβπ π)πβ²π+1+ (1βπ)πβ²π, π β₯1 ππ3+ (1+5πβπ π)π2
+(3+4πβπβ2π π)π +(1βπ)(1βπβπ), π=0
(2.2)
β€1βπ thenΞ¦βπ(π) βππ(π).
Proof. To prove thatΞ¦βπ(π) β ππ(π). In virtue of Lemma 1.5, it is sufficient to π2 =Γβ
π=2π(ππβπ+1)(πβπ)(πβ(πβ1)β1π)!πβ1πβπ
β€1βπ.
Now π2=
Γβ π=2
π(ππβπ+1)(πβπ)(πβ1)βππβ1 (πβ1)! πβπ
=πβπ
"Γβ
π=2
π(πβ1)3
+ (1+2πβπ π)(πβ1)2(2+πβπβπ π)
Γ (πβ1)(1βπ)] (πβ1)βππβ1 (πβ1)!
=πβπ
"Γβ
π=1
ππ3+ (1+2πβπ π)π2
+ (2+πβπβπ π)π+ (1βπ)]πβππ π!
=πβπ
"
πΓβ
π=1
πβ+3ππ
π! + (1+2πβπ π)πβ+2ππ π! + (2+πβπβπ π)Γβ
π=1
πβ+1ππ
π! + (1βπ)Γβ
π=1
πβππ π!
#
=



ο£³
ππβ²π+3+ (1+2πβπ π)πβ²π+2
+(2+πβπβπ π)πβ²π+1+ (1βπ)πβ²π, πβ₯1 ππ3+ (1+5πβπ π)π2
+(3+4πβπβ2π π)π +(1βπ)(1βπβπ), π=0
But, this last expression is bounded above by1βπ, if Eq. (2.2) holds. This completes
the proof of Theorem 2.3. β‘
Theorem 2.4. If π > 0, β β N0 then Ξβπ(π) β πβπ(π), if and only if Eq.(2.2)is satisfied.
Proof. The proof of Theorem 2.4 is similar to that of Theorem 2.3 therefore we omit the
details involved. β‘
Theorem 2.5. If π > 0, β β N0, π β Rπ(π, πΏ)and the inequality
2|π| (1βπΏ) π
Γ


ο£³
ππβ²π+2+ (1+ πβπ π)πβ²π+1 + (1βπ)πβ²π, π β₯ 1
ππ2+ (1+πβπ π)π +(1βπ)(1βπβπ), π=0
β€1βπ, (2.3)
is satisfied, thenI(π, π, π)π βππ(π). Proof. Let π be of the form Eq. (1.1) be- long to the class Rπ(π, πΏ). To show that I(π, π, π)π βππ(π), enough to show that
π3 = Γβ π=2
π(ππβ π+1)(πβπ)
Γ (πβ1)πππβ1
(πβ1)! πβπ|ππ|
β€ 1βπ.
Since π β π π(π΄, π΅), then by Lemma 1.3, we have
|ππ| β€ 2|π| (1βπΏ)
1+π(πβ1), πβN\ {1} and1+π(πβ1) β₯ππ.Hence
π3= Γβ π=2
π(ππβ π+1)(πβπ)
Γ (πβ1)πππβ1
(πβ1)! πβπ|ππ|
β€Γβ
π=2
π(ππβ π+1)(πβπ)
Γ (πβ1)πππβ1
(πβ1)! πβπ2|π| (1βπΏ) 1+π(πβ1)
= 2|π| (1βπΏ)
π πβπ
"Γβ
π=2
π(πβ1)2 + (1+πβπ π)(πβ1) + (1βπ)]
Γ (πβ1)βππβ1 (πβ1)!
= 2|π| (1βπΏ)
π πβπ
" β Γ
π=1
ππ2
+ (1+πβπ π)π+ (1βπ)]πβππ π!
= 2|π| (1βπΏ)
π πβπ
"
πΓβ
π=1
πβ+2ππ π!
+ (1+πβπ π)Γβ
π=1
πβ+1ππ π! + (1βπ)Γβ
π=1
πβππ π!
#
= 2|π| (1βπΏ) π


ο£³
ππβ²π+2+ (1+πβπ π)πβ²π+1 + (1βπ)πβ²π, π β₯ 1
ππ2+ (1+ πβπ π)π +(1βπ)(1βπβπ), π=0
β€1βπ,
by the given hypothesis. This completes the
proof of Theorem 2.5. β‘
Theorem 2.6. If π > 0, β β N0
then πΏ(π, β, π) = β« π
0
h
2β Ξ¦βππ‘(π‘)i
ππ‘ is in πβπ(π), if and only if Eq.(2.1)holds.
Proof. It is easy to see that πΏ(π, β, π) =πβΓβ
π=2
(πβ1)πππβ1 π! πβπππ. Using Remark 1.7, we only need to show that
Γβ π=2
π(ππβπ+1)(πβπ)(πβ1)πππβ1
π! πβπ β€1βπ.
Now π4 =
Γβ π=2
π(ππβ π+1)(πβπ)(πβ1)πππβ1 π! πβπ
=πβπ
"Γβ
π=2
(π(πβ1)(πβ2) + (1+2πβπ π)(πβ1) + (1βπ)) (πβ1)πππβ1
(πβ1)!
=πβπ
"Γβ
π=2
π(πβ1)2 + (1+πβπ π)(πβ1) + (1βπ)] (πβ1)βππβ1
(πβ1)!
=πβπ
"Γβ
π=1
ππ2+ (1+πβπ π)π
+ (1βπ)]πβππ π!
=πβπ
"
πΓβ
π=1
πβ+2ππ π!
+ (1+πβπ π)Γβ
π=1
πβ+1ππ π! + (1βπ)Γβ
π=1
πβππ π!
#
=


ο£³
ππβ²π+2+ (1+πβπ π)πβ²π+1 + (1βπ)πβ²π, π β₯1
ππ2+ (1+2πβπ π)π +(1βπ)(1βπβπ), π=0. But, this last expression is bounded above by1βπ, if Eq. (2.1) holds. This completes the proof of Theorem 2.6.
β‘ Remark 2.7. By fixing the parameters π= 0andπ=1one can easily deduce the above results for the function classes Sβ(π) and K(π), respectively, and also for the class studied earlier by Robertson [21] and Sil- verman [23].
3. Conclusion and Future Scope The main conclusion of this paper is to obtain some necessary and sufficient con- ditions of a power series associated with Touchard polynomials for belonging to uni- fied classes of starlike and convex func- tions. Here, we obtain the results for the case when π = 0,1,2, . . .. Therefore, it is natural to ask what is the analogues results forπ >0whenπis not a positive integer. It is also interesting to investigate analogues Touchard polynomials associated with gen- eralized distribution series, hypergeometric distribution series, confluent hypergeomet- ric distribution[11, 17, 26] series and Pascal distribution series [9, 10].
Acknowledgment
We authors record our sincere thanks to the referees for their insightful sugges- tions to revise the paper in present form.
References
[1] Ahmad MS., Mehmood Q., Nazeer W.
andαΈ’aq AU. An application of a hyperge- ometric distribution series on certain ana- lytic functions, Sci. Int., 2015ΝΎ27: 2989- 92.
[2] Abdullah, J.T., Ali, H.S. Laguerre and Touchard polynomials for linear Volterra integral and Integro differ- ential equations. J. Phys. Conf. Ser.
2020, 1591, 012047.doi:10.1088/1742- 6596/1591/1/012047.
[3] Al-Shaqsi K. On inclusion results of certain subclasses of analytic functions associated with generating function, AIP Conference Proceedings 2017ΝΎ doi:
10.1063/1.4980979.
[4] Altintas O., Γzkan Γ.and Srivastava HM.
Neighborhoods of a class of analytic func- tions with negative coefficients, Appl.
Math. Lett., 2000ΝΎ13: 63-7.
[5] AltΔ±nkaya S. and YalΓ§Δ±n S. Poisson distri- bution series for analytic univalent func- tions, Complex Anal. Oper. Theory., 2018ΝΎ12(5):1315-9.
[6] De Branges, L. A proof of the Bieberbach conjecture. Acta Math. 1985ΝΎ154: 137- 52.
[7] Bell ET. Exponential polynomials, Annal Math., 1934ΝΎ35: 258-77.
[8] Boyadzhiev KN. Exponential polynomi- als, Stirling numbers, and evaluation of some Gamma integrals, Abstract Appl.
Anal., 2009ΝΎ Art. ID 168672: 1-18.
[9] Bulboaca T and Murugusundaramoor- thy G.,Univalent functions with posi- tive coefficients involving Pascal dis- tribution series,Commun. Korean Math.
Soc., 2020ΝΎ35(3): 867-77.
[10] El-Deeb SM., BulboacΔ T. and Dziok J.
Pascal distribution series connected with certain subclasses of univalent functions, Kyungpook Math. J., 2019ΝΎ 59(2): 301- 14.
[11] Lin S.-D., Srivastava H. M. and Yao,J.-C.
Some classes of generating relations as- sociated with a family of the generalized Gauss type hypergeometric functions, Appl. Math. Inform. Sci.,2015,9:1731-8.
[12] Murugusundaramoorthy G. and porwal S. Univalent functions with positive co- efficients involving Touchard polyno- mials, Al-Qadisiyah J. Pure Science, 2020ΝΎ25(4): 1-8.
[13] Murugusundaramoorthy G., Vijaya K.
and Kasthuri M. A note on subclasses of starlike and convex functions associated with Bessel functions, J. Nonlinear Funct.
Anal.,2014ΝΎ Art. ID 11: 1-11.
[14] Nazeer W., Mehmood Q. , Kang SM. and Haq AU. An application of Binomial dis- tribution series on certain analytic func- tions, J.Comput. Anal. Appl.,2019ΝΎ26:
11-7.
[15] Porwal S. An application of a Poisson dis- tribution series on certain analytic func- tions, J. Complex Anal.,2014ΝΎ Art. ID 984135: 1-3.
[16] Porwal S. Generalized distribution and its geometric properties associated with uni- valent functions, J. Complex Anal. 2018ΝΎ
Art. ID 8654506: 1-5.
[17] Porwal S. Confluent hypergeometric dis- tribution and its applications on certain classes of univalent functions of conic re- gions, Kyungpook Math. J. 2018ΝΎ58(3):
495-505.
[18] Porwal S. and Bajpai D. An application of Mittag-Leffler type Poisson distribu- tion series on starlike and convex func- tions, Asian Pacific J. Math., 2020ΝΎ7: 1-7.
[19] Porwal S. and Gupta A. Some properties of convolution for hypergeometric distri- bution type series on certain analytic uni- valent functions, Acta Univ. Apulensis Math. Inform., 2018ΝΎ56: 69-80.
[20] Porwal S. and Manish Kumar, A unified study on starlike and convex functions as- sociated with Poisson distribution series, Afr. Mat., 2016ΝΎ27(5-6): 1021-7.
[21] Robertson MS. On the theory of univalent functions, Ann. Math.,1936ΝΎ37: 374-408.
[22] Roman S. The Umbral calculus, Dover 1984.
[23] Silverman H. Univalent functions with negative coefficients, Proc. Amer. Math.
Soc.,1975ΝΎ51(1): 109-16.
[24] Simsek Y. Special numbers on analytic functions, Appl. Math.,2014ΝΎ 5: 1091-8.
[25] Touchard J. Sur les cycles des substitu- tions, Acta Math.,1939ΝΎ 70: 243-97.
[26] Swaminathan A. Certain suffienct condi- tions on Gaussian hypergeometric func- tions, Journal of Ineq. Pure & Appl.
Math.,2004ΝΎ5(4): 83,1-10.