Abstract
In the current article, we introduce and investigate a new family \({\mathcal {K}}_{\Sigma }(\delta ,\lambda ,x)\) of analytic and bi-univalent functions by using the Horadam polynomials defined in the open unit disk \({\mathbb {U}}\). We determine upper bounds for the initial Taylor–Maclaurin coefficients. Further we obtain the Fekete–Szegö inequality of functions belonging to this family. We also point out several certain special cases for our results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Denote by \({\mathcal {A}}\) the collection of analytic functions in the open unit disk \({\mathbb {U}}=\left\{ z\in {\mathbb {C}}:\left| z\right| <1 \right\} \) that have the following normalized form:
Further, let S indicate the subclass of \({\mathcal {A}}\) consisting of functions which are univalent in \({\mathbb {U}}\). According to the Koebe one-quarter theorem [6] every function \(f\in S\) has an inverse \(f^{-1}\) defined by \(f^{-1}(f(z))=z\), \((z\in {\mathbb {U}})\) and \(f(f^{-1}(w))=w\), \((\left| w\right| <r_{0}(f), r_{0}(f)\geqq \frac{1}{4})\), where
A function \(f\in {\mathcal {A}}\) is said to be bi-univalent in \({\mathbb {U}}\) if both f and \(f^{-1}\) are univalent in \({\mathbb {U}}\). Let \(\Sigma \) stands for the class of bi-univalent functions in \({\mathbb {U}}\) given by (1.1). In fact, Srivastava et al. [25] have actually revived the study of analytic and bi-univalent functions in recent years, it was followed by such works as those by Caglar et al. [5], Bulut [4], Adegani et al. [2] and others (see, for example [18, 20,21,22, 29, 30, 32]). From the work of Srivastava et al. [25], we choose to recall the following examples of functions in the class \(\Sigma :\)
We notice that the class \(\Sigma \) is not empty. However, the Koebe function is not a member of \(\Sigma .\)
The problem to find the general coefficient bounds on the Taylor–Maclaurin coefficients \(|a_n|\;(n\in {\mathbb {N}}; \; n\geqq 3)\) for functions \(f\in \Sigma \) is still not completely addressed for many of the subclasses of the bi-univalent function class \(\Sigma \) (see, for example, [20, 26, 28]).
The Fekete–Szegö functional \(\left| a_{3}-\mu a_{2}^{2}\right| \) for \(f\in S\) is well known for its rich history in the field of Geometric Function Theory. Its origin was in the disproof by Fekete and Szegö [7] of the Littlewood–Paley conjecture that the coefficients of odd univalent functions are bounded by unity. The functional has since received great attention, particularly in the study of many subclasses of the family of univalent functions. This topic has become of considerable interest among researchers in Geometric Function Theory (see, for example, [14, 17, 23, 24, 27]).
With a view to recalling the principle of subordination between analytic functions, let the functions f and g be analytic in \({\mathbb {U}}\). We say that the function f is subordinate to g, if there exists a Schwarz function \(\omega \), which is analytic in \({\mathbb {U}}\) with \(\omega (0)=0 \, \text {and} \, \vert \omega (z)\vert <1 \,(z\in {\mathbb {U}})\), such that \(f(z)=g\big (\omega (z)\big )\). This subordination is denoted by \(f\prec g \, \text {or} \, f(z)\prec g(z)\quad (z\in {\mathbb {U}})\). It is well known that (see [16]), if the function g is univalent in \({\mathbb {U}}\), then
Recently, Hörçum and Koçer [11] considered the Horadam polynomials \(h_{n}(x)\), which are given by the following recurrence relation (see also Horadam and Mahon [10]):
with \(h_{1}(x)=a \quad \text {and} \quad h_{2}(x)=bx\), for some real constant a, b, p and q. The characteristic equation of repetition relation (1.3) is \(t^{2}-pxt-q=0\). This equation has two real roots \(x_{1}=\frac{px+\sqrt{p^{2}x^{2}+4q}}{2}\) and \(x_{2}=\frac{px-\sqrt{p^{2}x^{2}+4q}}{2}\).
Remark 1.1
By selecting the particular values of a, b, p and q, the Horadam polynomial \(h_{n}(x)\) reduces to several polynomials. Some of these special cases are recorded below.
-
1.
Taking \(a=b=p=q=1\), we obtain the Fibonacci polynomials \(F_{n}(x)\).
-
2.
Taking \(a=2\) and \(b=p=q=1\), we attain the Lucas polynomials \(L_{n}(x)\).
-
3.
Taking \(a=q=1\) and \(b=p=2\), we have the Pell polynomials \(P_{n}(x)\).
-
4.
Taking \(a=b=p=2\) and \(q=1\), we get the Pell–Lucas polynomials \(Q_{n}(x)\).
-
5.
Taking \(a=b=1\), \(p=2\) and \(q=-1\), we obtain the Chebyshev polynomials \(T_{n}(x)\) of the first kind.
-
6.
Taking \(a=1\), \(b=p=2\) and \(q=-1\), we have the Chebyshev polynomials \(U_{n}(x)\) of the second kind.
These polynomials, the families of orthogonal polynomials and other special polynomials as well as their generalizations are potentially important in a variety of disciplines in many of sciences, specially in the mathematics, statistics and physics. For more information associated with these polynomials see [8,9,10, 12, 13].
The generating function of the Horadam polynomials \(h_{n}(x)\) (see [11]) is given by
In fact, Srivastava et al. [19] have already these the Horadam polynomials in a similar context involving analytic and bi-univalent functions in recent years, it was followed by such works as those by Magesh et al. [15], Al-Amoush [3], Wanas and Alina [31] and Abirami et al. [1].
2 Main results
We begin this section by defining the family \({\mathcal {K}}_{\Sigma }(\delta ,\lambda ,x)\) as follows:
Definition 2.1
For \(\delta \geqq 0\), \(0\leqq \lambda \leqq 1\) and \(x\in {\mathbb {R}}\), a function \(f\in \Sigma \) is said to be in the family \({\mathcal {K}}_{\Sigma }(\delta ,\lambda ,x)\) if it satisfies the subordinations:
and
where a is real constant and the function \(g=f^{-1}\) is given by (1.2).
Remark 2.1
For \(\lambda =1\), a function \(f\in \Sigma \) is in the family \({\mathcal {K}}_{\Sigma }(\delta ,1,x)=:{\mathcal {K}}_{\Sigma }(x)\) which was considered recently by Magesh et al. [15], if the following conditions are satisfied:
and
where \(z,w\in {\mathbb {U}}\) and the function g is described in (1.2).
Remark 2.2
For \(\lambda =0\), a function \(f\in \Sigma \) is in the family \({\mathcal {K}}_{\Sigma }(\delta ,0,x)=:{\mathcal {W}}_{\Sigma }(x)\) which was considered recently by Srivastava et al. [19], the following conditions are satisfied:
where \(z,w\in {\mathbb {U}}\) and the function g is described in (1.2).
Remark 2.3
For \(\delta =0\), a function \(f\in \Sigma \) is in the family \({\mathcal {K}}_{\Sigma }(0,\lambda ,x)=:M_{\Sigma }(\lambda ,x)\) which was considered recently by Magesh et al. [15] if the following conditions are satisfied:
and
where \(z,w\in {\mathbb {U}}\) and the function g is described in (1.2).
Theorem 2.1
For \(\delta \geqq 0\), \(0\leqq \lambda \leqq 1\) and \(x\in {\mathbb {R}}\), let \(f\in {\mathcal {A}}\) be in the family \({\mathcal {K}}_{\Sigma }(\delta ,\lambda ,x)\). Then
and
Proof
Let \(f \in {\mathcal {K}}_{\Sigma }(\delta ,\lambda ,x)\). Then there are two analytic functions \(u,v:{\mathbb {U}} \longrightarrow {\mathbb {U}}\) given by
and
with \(u(0)=v(0)=0\) and \(\max \left\{ \left| u(z)\right| ,\left| v(w)\right| \right\} <1\), \(z,w\in {\mathbb {U}}\) such that
and
Or, equivalently
and
Combining (2.2), (2.3), (2.4) and (2.5) yields
and
It is quite well-known that if \(\max \left\{ \left| u(z)\right| , \left| v(w)\right| \right\} <1\), \(z,w\in {\mathbb {U}}\), then
Comparing the corresponding coefficients in (2.6) and (2.7), after simplifying, we have
and
It follows from (2.9) and (2.11) that
and
If we add (2.10) to (2.12), we find that
Substituting the value of \(u_{1}^{2}+v_{1}^{2}\) from (2.14) in the right hand side of (2.15), we deduce that
Further computations using (1.3), (2.8) and (2.16), we obtain
Next, if we subtract (2.12) from (2.10), we can easily see that
In view of (2.13) and (2.14), we get from (2.17)
Thus applying (1.3), we obtain
This completes the proof of Theorem 2.1\(\square \)
By taking \(\lambda =1\), we state
Corollary 2.1
[15] Let f given by 1.1 be in the family \({\mathcal {K}}_{\Sigma }(\delta ,1,x)=:{\mathcal {K}}_{\Sigma }(x)\). Then
By taking \(\lambda =0\), we state
Corollary 2.2
[19] Let f given by 1.1 be in the family \({\mathcal {K}}_{\Sigma }(\delta ,0,x)=:{\mathcal {W}}_{\Sigma }(x)\). Then
By taking \(\delta =0\), we state
Corollary 2.3
[15] Let f given by 1.1 be in the family \({\mathcal {K}}_{\Sigma }(0,\lambda ,x)=:M_{\Sigma }(\lambda ,x)\). Then
and
In the next theorem, we present the Fekete–Szegö inequality for the family \({\mathcal {K}}_{\Sigma }(\delta ,\lambda ,x)\).
Theorem 2.2
For \(\delta \geqq 0\), \(0\leqq \lambda \leqq 1\) and \(x,\mu \in {\mathbb {R}}\), let \(f\in {\mathcal {A}}\) be in the family \({\mathcal {K}}_{\Sigma }(\delta ,\lambda ,x)\). Then
Proof
It follows from (2.16) and (2.17) that
where
According to (1.3), we find that
After some computations, we obtain
\(\square \)
Putting \(\mu =1\) in Theorem 2.2, we obtain the following result:
Corollary 2.4
For \(\delta \geqq 0\), \(0\leqq \lambda \leqq 1\) and \(x\in {\mathbb {R}}\), let \(f\in {\mathcal {A}}\) be in the family \({\mathcal {K}}_{\Sigma }(\delta ,\lambda ,x)\). Then
Corollary 2.5
[15] Let f given by 1.1 be in the family \({\mathcal {K}}_{\Sigma }(\delta ,1,x)=:{\mathcal {K}}_{\Sigma }(x)\). Then
Corollary 2.6
[19] Let f given by 1.1 be in the family \({\mathcal {K}}_{\Sigma }(\delta ,0,x)=:{\mathcal {W}}_{\Sigma }(x)\). Then
Corollary 2.7
[15] Let f given by 1.1 be in the family \({\mathcal {K}}_{\Sigma }(0,\lambda ,x)=:M_{\Sigma }(\lambda ,x)\). Then
References
Abirami, C., Magesh, N., Yamini, J.: Initial bounds for certain classes of bi-univalent functions defined by Horadam polynomials. Abstr. Appl. Anal. 7391 Article ID 058, 1–8 (2020)
Adegani, E.A., Bulut, S., Zireh, A.A.: Coefficient estimates for a subclass of analytic bi-univalent functions. Bull. Korean Math. Soc. 55(2), 405–413 (2018)
Al-Amoush, A.G.: Certain subclasses of bi-univalent functions involving the Poisson distribution associated with Horadam polynomials. Malaya J. Mat. 7, 618–624 (2019)
Bulut, S.: Coefficient estimates for general subclasses of m-fold symmetric analytic bi-univalent functions. Turk. J. Math. 40, 1386–1397 (2016)
Caglar, M., Orhan, H., Yagmur, N.: Coefficient bounds for new subclasses of bi-univalent functions. Filomat 27, 1165–1171 (2013)
Duren, P.L.: Univalent Functions, Grundlehren der Mathematischen Wissenschaften, vol. 259. Springer, New York (1983)
Fekete, M., Szegö, G.: Eine bemerkung uber ungerade schlichte funktionen. J. Lond. Math. Soc. 2, 85–89 (1933)
Güney, H.O., Murugusundaramoorthy, G., Sokół, J.: Subclasses of bi-univalent functions related to shell-like curves connected with Fibonacci numbers. Acta Univ. Sapientiae Math. 10(1), 70–84 (2018)
Horadam, A.F.: Jacobsthal representation polynomials. Fibonacci Q. 35(2), 137–148 (1997)
Horadam, A.F., Mahon, J.M.: Pell and Pell-Lucas polynomials. Fibonacci Q. 23(1), 7–20 (1985)
Hörcum, T., Kocer, E.G.: On some properties of Horadam polynomials. Int. Math. Forum 4, 1243–1252 (2009)
Koshy, T.: Fibonacci and Lucas Numbers with Applications. Wiley, New York (2001)
Lupas, A.: A guide of Fibonacci and Lucas polynomials. Octagon Math. Mag. 7(1), 2–12 (1999)
Magesh, N., Yamini, J.: Fekete–Szegö problem and second Hankel determinant for a class of bi-univalent functions. Tbilisi Math. J. 11(1), 141–157 (2018)
Magesh, N., Yamini, J., Abirami, C.: Initial bounds for certain classes of bi-univalent functions defined by Horadam polynomials, pp 1–14. arXiv:1812.04464v1 (2018)
Miller, S.S., Mocanu, P.T.: Differential Subordinations: Theory and Applications, Series on Monographs and Textbooks in Pure and Applied Mathematics, vol. 225. Marcel Dekker Inc., New York (2000)
Raina, R.K., Sokół, J.: Fekete–Szegö problem for some starlike functions related to shell-like curves. Math. Slovaca 66, 135–140 (2016)
Srivastava, H.M.: Operators of basic (or \(q\)-) calculus and fractional \(q\)-calculus and their applications in geometric function theory of complex analysis. Iran. J. Sci. Technol. Trans. A Sci. 44, 327–344 (2020)
Srivastava, H.M., Altınkaya, Ş, Yalçin, S.: Certain subclasses of bi-univalent functions associated with the Horadam polynomials. Iran. J. Sci. Technol. Trans. A Sci. 43, 1873–1879 (2019)
Srivastava, H.M., Eker, S.S., Hamidi, S.G., Jahangiri, J.M.: Faber polynomial coefficient estimates for bi-univalent functions defined by the Tremblay fractional derivative operator. Bull. Iran. Math. Soc. 44(1), 149–157 (2018)
Srivastava, H.M., Gaboury, S., Ghanim, F.: Coefficient estimates for some general subclasses of analytic and bi-univalent functions. Afr. Mat. 28, 693–706 (2017)
Srivastava, H.M., Gaboury, S., Ghanim, F.: Coefficient estimates for a general subclass of analytic and bi-univalent functions of the Ma-Minda type. Rev. Real Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 112, 1157–1168 (2018)
Srivastava, H.M., Hussain, S., Raziq, A., Raza, M.: The Fekete–Szegö functional for a subclass of analytic functions associated with quasi-subordination. Carpathian J. Math. 34, 103–113 (2018)
Srivastava, H.M., Mishra, A.K., Das, M.K.: The Fekete–Szegö problem for a subclass of close-to-convex functions. Complex Variables Theory Appl. 44, 145–163 (2001)
Srivastava, H.M., Mishra, A.K., Gochhayat, P.: Certain subclasses of analytic and bi-univalent functions. Appl. Math. Lett. 23, 1188–1192 (2010)
Srivastava, H.M., Motamednezhad, A., Adegani, E.A.: Faber polynomial coefficient estimates for bi-univalent functions defined by using differential subordination and a certain fractional derivative operator. Mathematics Article ID 8(172), 1–12 (2020)
Srivastava, H.M., Raza, N., AbuJarad, E.S.A., Srivastava, G., AbuJarad, M.H.: Fekete–Szegö inequality for classes of \((p, q)\)-starlike and \((p, q)\)-convex functions. Rev. Real Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 113, 3563–3584 (2019)
Srivastava, H.M., Sakar, F.M., Güney, H.Ö.: Some general coefficient estimates for a new class of analytic and bi-univalent functions defined by a linear combination. Filomat 32, 1313–1322 (2018)
Srivastava, H.M., Wanas, A.K.: Initial Maclaurin coefficient bounds for new subclasses of analytic and m-fold symmetric bi-univalent functions defined by a linear combination. Kyungpook Math. J. 59(3), 493–503 (2019)
Wanas, A.K.: Bounds for initial Maclaurin coefficients for a new subclasses of analytic and m-Fold symmetric bi-univalent functions. TWMS J. Appl. Eng. Math. 10, 305–311 (2020)
Wanas, A.K., Alina, A.L.: Applications of Horadam polynomials on Bazilevič bi-univalent function satisfying subordinate conditions. J. Phys. Conf. Ser. 1294, 1–6 (2019)
Wanas, A.K., Yalçin, S.: Initial coefficient estimates for a new subclasses of analytic and \(m\)-fold symmetric bi-univalent functions. Malaya J. Mat. 7, 472–476 (2019)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Wanas, A.K., Güney, H.Ö. Coefficient bounds and Fekete–Szegö Inequality for a new family of bi-univalent functions defined by Horadam polynomials. Afr. Mat. 33, 77 (2022). https://doi.org/10.1007/s13370-022-01015-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13370-022-01015-7