Abstract and Applied Analysis
Volume 2020 (2020), Article ID 8368951, 7 pages
https://doi.org/10.1155/2020/8368951

Research Article

Maclaurin Coefficient Estimates for New Subclasses of Bi-univalent Functions Connected with a -Analogue of Bessel Function

Sheza M. El-Deeb1,2

¹Department of Mathematics, Faculty of Science, Damietta University, New Damietta 34517, Egypt
²Department of Mathematics, College of Science and Arts in Badaya, Al-Qassim University, Al-Badaya, Al-Qassim Province, Saudi Arabia

Correspondence should be addressed to Sheza M. El-Deeb; shezaeldeeb@yahoo.com

Received 10 January 2020; Revised 20 February 2020; Accepted 28 April 2020; Published 22 May 2020

Academic Editor: Wei-Shih Du

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.

Abstract.

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 [3]). 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 [6])

where stands for the Gamma function. Recently, Szász and Kupán [7] 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ă [11] 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ă [11] 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 [12]) 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 [13]. Brannan and Taha [14] (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 [13]). Thus, following Brannan and Taha [14], 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. [18].

Now, we define the subclasses of functions , and as follows:

Definition 2. Let be given by (1), then is said to be in the class if the following conditions are satisfied:

where the function is given by (2).
Putting we obtain that , where

Definition 3. Let be given by (1), then is said to be in the class if the following conditions are satisfied:

where the function is given by (2).
Putting we obtain that , where

To prove our results, we need the following lemma.

Lemma 4 (see [19], Lemma 3). If then for each , where is the family of all functions analytic in for which for

Definition 5. Let be given by (1), and in have the forms

then is said to be in the class if the following conditions are satisfied:

where the function is given by (2).

2. Coefficient Bounds for the Function Class

Unless otherwise mentioned, we assume throughout this paper that

Theorem 6. Let be given by (1) which belongs to the class , then

where , , are given by (15).

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

Theorem 7. Let be given by (1) which belongs to the class , then

where , , are given by (15).

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

Theorem 8. Let be given by (1) which belongs to the class , then

where , , are given by (15).

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.

Data Availability

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.

References

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.