Research Article | Open Access
Maclaurin Coefficient Estimates for New Subclasses of Bi-univalent Functions Connected with a -Analogue of Bessel Function
In this paper, we introduce new subclasses of the function class of bi-univalent functions connected with a -analogue of Bessel function and defined in the open unit disc. Furthermore, we find estimates on the first two Taylor-Maclaurin coefficients and for functions in these new subclasses.
1. Introduction, Definitions, and Preliminaries
The theory of -calculus plays an important role in many areas of mathematical, physical, and engineering sciences. Jackson (see [1, 2]) was the first to have some applications of the -calculus and introduced the -analogue of the classical derivative and integral operators (see also ). Let denote the class of analytic functions of the form and be the subclass of which are univalent functions in .
If is given by then, the Hadamard (or convolution) product of and is defined by
If and are analytic functions in , we say that is subordinate to, written , if there exists a Schwarz function, which is analytic in , with , and for all , such that , . Furthermore, if the function is univalent in , then we have the following equivalence (see [4, 5]):
The Bessel function of the first kind of order is defined by the infinite series (see ) where stands for the Gamma function. Recently, Szász and Kupán  investigated the univalence of the normalized Bessel function of the first kind defined by (see also [8–10]) For , the -derivative operator for is defined by where
Using the definition formula (8), we will define the next two products: (i)For any nonnegative integer , the -shifted factorial is given by (ii)For any positive number , the -generalized Pochhammer symbol is defined by
For , , and , El-Deeb and Bulboacă  define the function by
A simple computation shows that where the function is given by
Using the definition of -derivative along with the idea of convolutions, El-Deeb and Bulboacă  introduce the linear operator defined by where
Remark 1. From the definition relation (14), we can easily verify that the next relations hold for all :
The Koebe one quarter theorem (see ) proves that the image of under every univalent function contains a disk of radius Therefore, every function has an inverse satisfying where
A function is said to be bi-univalent in if both and are univalent in . Let denote the class of bi-univalent functions in given by (1). For a brief history and interesting examples in the class , see . Brannan and Taha  (see also [15–17]) introduced certain subclasses of the bi-univalent functions class similar to the familiar subclasses and of starlike and convex functions of order , respectively (see ). Thus, following Brannan and Taha , a function is said to be in the class of strongly bi-starlike functions of order if each of the following conditions is satisfied: where the function is given by and is the extension of to The classes and of bi-starlike functions of order and biconvex functions of order corresponding to the function classes and were also introduced analogously. For each of the function classes and they found nonsharp estimates on the first two Taylor-Maclaurin coefficients and (for details, see [14, 17]).
The objective of the present paper is to introduce new subclasses of the function class and find estimates on the coefficients and for functions in these new subclasses of the function class employing the techniques used earlier by Srivastava et al. .
Now, we define the subclasses of functions , and as follows:
To prove our results, we need the following lemma.
Lemma 4 (see , Lemma 3). If then for each , where is the family of all functions analytic in for which for
2. Coefficient Bounds for the Function Class
Unless otherwise mentioned, we assume throughout this paper that
Proof. It follows from (21) and (22) that
where and in and have the forms
Now, equating the coefficients in (34) and (35), we get
From (38) and (40), we get
From (39), (41), and (43), we obtain
Applying Lemma 4 for the coefficients and , we immediately have
This gives the bound on as asserted in (32).
Next, in order to find the bound on , by subtracting (41) from (39), we get It follows from (42), (43), and (46) that Applying Lemma 4 once again for the coefficients , and , we immediately have This completes the proof of Theorem 6.
3. Coefficient Bounds for the Function Class
Proof. It follows from (24) and (25) that
where and have the forms (36) and (37), respectively. Equating the coefficients in (51) and (52), we get
From (53) and (55), we get
From (54) and (56), we obtain
Applying Lemma 4 for the coefficients and , we immediately have
This gives the bound on as asserted in (49).
Next, in order to find the bound on , by subtracting (56) from (54), we get It follows from (58) and (61) that Applying Lemma 4 once again for the coefficients and , we immediately have
This completes the proof of Theorem 6.
4. General Coefficient Bounds for the Function Class
This section begins by finding the estimates on the coefficients and for functions in the class
Proof. It follows from (29) and (30) that
where and are given by (27) and (28). Now, equating the coefficients of and in (66) and (67), we get
From (68) and (70), we get
From (69) and (71), we obtain
Therefore, we obtain from the equations (73) and (74) that
respectively, this gives the bound on as asserted in (64).
Next, in order to find the bound on , by subtracting (71) from (69), we get It follows from (73) into (76) that We immediately have On the other hand, upon substituting the value of from (74) into (76), we get Consequently, we get
This completes the proof of Theorem 8.
No data were used to support this study.
Conflicts of Interest
The author declares that there are no conflicts of interest regarding the publication of this paper.
- F. H. Jackson, “XI.—On q-functions and a certain difference operator,” Transactions of the Royal Society of Edinburgh, vol. 46, no. 2, pp. 253–281, 1909.
- F. H. Jackson, “On q-definite integrals,” Quarterly Journal of Pure and Applied Mathematics, vol. 41, pp. 193–203, 1910.
- M. H. Abu Risha, M. H. Annaby, M. E. H. Ismail, and Z. S. Mansour, “Linear q-difference equations,” Zeitschrift für Analysis und ihre Anwendungen, vol. 26, pp. 481–494, 2007.
- T. Bulboaca, Differential subordinations and superordinations. Recent results, House of Scientific Book Publishers, Cluj-Napoca, 2005.
- S. S. Miller and P. T. Mocanu, Differential Subordinations: Theory and Applications, Series on Monographs and Textbooks in Pure and Applied Mathematics, vol. 225, Marcel Dekker Inc., New York and Basel, 2000.
- M. Naeem, S. Hussain, F. Müge Sakar, T. Mahmood, and A. Rasheed, “Subclasses of uniformly convex and starlike functions associated with Bessel functions,” Turkish Journal of Mathematics, vol. 43, no. 5, pp. 2433–2443, 2019.
- R. Szász and P. A. Kupán, “About the univalence of the Bessel functions,” Studia University “Babeș–Bolyai”, Mathematica, vol. LIV, pp. 127–132, 2009.
- Á. Baricz, “Geometric properties of generalized Bessel functions,” Publicationes Mathematicae, vol. 73, pp. 155–178, 2008.
- F. H. Jackson, “The application of basic numbers to Bessel's and Legendre's functions,” Proceedings of the London Mathematical Society, vol. s2-2, no. 1, pp. 192–220, 1905.
- K. A. Selvakumaran and R. Szász, “Certain geometric properties of an integral operator involving Bessel functions,” Kyungpook National University, vol. 58, pp. 507–517, 2018.
- S. M. el-Deeb and T. Bulboacă, “Fekete-Szegő inequalities for certain class of analytic functions connected with q-analogue of Bessel function,” Journal of the Egyptian Mathematical Society, vol. 27, no. 1, 2019.
- P. L. Duren, Univalent Functions, Grundlehren der Mathematischen Wissenschaften, Band 259, Springer-Verlage, New York, Berlin, Heidelberg and Tokyo, 1983.
- D. A. Brannan, J. Clunie, and W. E. Kirwan, “Coefficient estimates for a class of starlike functions,” Canadian Journal of Mathematics, vol. 22, no. 3, pp. 476–485, 1970.
- D. A. Brannan and T. S. Taha, “On some classes of bi-univalent functions,” S. M. Mazhar, A. Hamoui, and N. S. Faour, Eds., pp. 53–60, Pergamon Press(Elsevier Science Limited).
- A. Akgül and F. Müge Sakar, “A certain subclass of bi-univalent analytic functions introduced by means of the q-analogue of Noor integral operator and Horadam polynomials,” Turkish Journal of Mathematics, vol. 43, no. 5, pp. 2275–2286, 2019.
- S. M. el-Deeb, T. Bulboacă, and B. M. el-Matary, “Maclaurin coefficient estimates of bi-univalent functions connected with the q-derivative,” Mathematics, vol. 8, no. 3, p. 418, 2020.
- T. S. Taha, Topics in univalent function theory, Ph.D. thesis, University of London, 1981.
- H. M. Srivastava, A. K. Mishra, and P. Gochhayat, “Certain subclasses of analytic and bi-univalent functions,” Applied Mathematics Letters, vol. 23, no. 10, pp. 1188–1192, 2010.
- C. Pommerenke, Univalent Functions, Vandenhoeck and Rupercht, Gottingen, 1975.
Copyright © 2020 Sheza M. El-Deeb. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.