KYUNGPOOK Math. J. 2019; 59(3): 493-503  
Initial Maclaurin Coefficient Bounds for New Subclasses of Analytic and m-Fold Symmetric Bi-Univalent Functions Defined by a Linear Combination
Hari M. Srivastava, Abbas Kareem Wanas∗
Department of Mathematics and Statistics, University of Victoria, Victoria, British Columbia V8W 3R4, Canada Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 40402, Taiwan, Republic of China
e-mail : harimsri@math.uvic.ca
Department of Mathematics, College of Science, University of Al-Qadisiyah, Iraq
e-mail : abbas.kareem.w@qu.edu.iq
* Corresponding Author.
Received: December 7, 2018; Revised: March 19, 2019; Accepted: March 25, 2019; Published online: September 23, 2019.
© Kyungpook Mathematical Journal. All rights reserved.

This is an Open Access article distributed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/by-nc/3.0/) which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.
Abstract

In the present investigation, we define two new subclasses of analytic and m-fold symmetric bi-univalent functions defined by a linear combination in the open unit disk U. Furthermore, for functions in each of the subclasses introduced here, we establish upper bounds for the initial coefficients |am+1| and |a2m+1|. Also, we indicate certain special cases for our results.

Keywords: analytic functions, univalent functions, m-Fold symmetric biunivalent functions, coefficient bounds.
Introduction
roduction

Let stands the class of functions f that are analytic in the open unit disk U = {z ∈ ℂ : |z| < 1}, are normalized by the conditions f(0) = f′(0) − 1 = 0, and have the form: f(z)=z+k=2akzk.Let S be the subclass of consisting of functions of the form (1.1) which are also univalent in U. The Koebe one-quarter theorem (see [4]) states that the image of U under every function fS contains a disk of radius 14. Therefore, every function fS has an inverse f1 which satisfies f1(f(z)) = z, (zU) and f(f1(w)) = w, (|w|<r0(f),r0(f)14), where g(w)=f1(w)=wa2w2+(2a22a3)w3(5a235a2a3+a4)w4+.A function is said to be bi-univalent in U if both f and f1 are univalent in U. We denote by Σ the class of bi-univalent functions in U satisfying (1.1). In fact, Srivastava et al. [15] has apparently revived the study of analytic and bi-univalent functions in recent years, it was followed by such works as those by Frasin and Aouf [6], Goyal and Goswami [7], Srivastava and Bansal [9] and others (see, for example [3, 10, 11, 12, 14]).

For each function fS, the function h(z)=(f(zm))1m, (zU, m ∈ ℕ) is univalent and maps the unit disk U into a region with m-fold symmetry. A function is said to be m-fold symmetric (see [8]) if it has the following normalized form: f(z)=z+k=1amk+1zmk+1,(zU,m).We denote by Sm the class of m-fold symmetric univalent functions in U, which are normalized by the series expansion (1.3). In fact, the functions in the class S are one-fold symmetric.

In [16] Srivastava et al. defined m-fold symmetric bi-univalent functions analogues to the concept of m-fold symmetric univalent functions. They gave some important results, such as each function f ∈ Σ generates an m-fold symmetric bi-univalent function for each m ∈ ℕ. Furthermore, for the normalized form of f given by (1.3), they obtained the series expansion for f1 as follows: g(w)=wam+1wm+1+[(m+1)am+12a2m+1]w2m+1[12(m+1)(3m+2)am+13(3m+2)am+1a2m+1+a3m+1]w3m+1+,where f1 = g. We denote by Σm the class of m-fold symmetric bi-univalent functions in U. It is easily seen that for m = 1, the formula (1.4) coincides with the formula (1.2) of the class Σ. Some examples of m-fold symmetric bi-univalent functions are given as follows: (zm1zm)1m,[12log(1+zm1zm)]1mand[log(1zm)]1mwith the corresponding inverse functions (wm1+wm)1m,(e2wm1e2wm+1)1mand(ewm1ewm)1m,respectively.

Recently, many authors investigated bounds for various subclasses of m-fold bi-univalent functions (see [1, 2, 5, 13, 16, 17, 18]).

The purpose of the present paper is to introduce the new subclasses and of Σm, which involve a linear combination of the following three expressions f(z)z,f(z)andzf(z)and find estimates on the coefficients |am+1| and |a2m+1| for functions in each of these new subclasses.

In order to prove our main results, we require the following lemma.

Lemma 1.1. ([4])

If, then |ck| ≤ 2 for each k ∈ ℕ, whereis the family of all functions h analytic in U for whichRe(h(z))>0,(zU),whereh(z)=1+c1z+c2z2+,(zU).

Coefficient Estimates for the Function Class
aphic" />

Definition 2.1

A function f ∈ Σm given by (1.3) is said to be in the class if it satisfies the following conditions: |arg(1+1δ[λγ(zf(z)2)+(γ(λ+1)+λ)f(z)+(1λ)(1γ)f(z)z1])|<απ2,and |arg(1+1δ[λγ(wg(w)2)+(γ(λ+1)+λ)g(w)+(1λ)(1γ)g(w)w1])|<απ2,(z,wU,0α<1,λ0,0γ1,δ{0},m),where the function g = f1 is given by (1.4).

Remark 2.1

It should be remarked that the class is a generalization of well-known classes consider earlier. These classes are:

  • For γ = 0, the class reduce to the class ℬΣm(τ, λ; α) which was introduced recently by Srivastava et al. [13];

  • For γ = 0 and δ = 1, the class reduce to the class which was investigated recently by Eker [5];

  • For γ = 0 and λ = δ = 1, the class reduce to the class ,mα which was given by Srivastava et al. [16].

Remark 2.2

For one-fold symmetric bi-univalent functions, we denote the class . Special cases of this class illustrated below:

  • For γ = 0 and δ = 1, the class reduce to the class ℬΣ(α, λ) which was investigated recently by Frasin and Aouf [6];

  • For γ = 0 and λ = δ = 1, the class reduce to the class α which was given by Srivastava et al. [15].

Theorem 2.1

Let f (0 < α ≤ 1, λ ≥ 0, 0 ≤ γ ≤ 1, δ ∈ ℂ {0}, m ∈ ℕ) be given by (1.3). Then|am+1|2α|δ||αδ(m+1)[λγ(4m(m+1)+2)+2m(λ+γ)+1]+(1α)Ω(λ,γ,m)|and|a2m+1|2α2|δ|2(m+1)Ω(λ,γ,m)+2α|δ|λγ(4m(m+1)+2)+2m(λ+γ)+1,whereΩ(λ,γ,m)=[λγ((m+1)2+1)+m(λ+γ)+1]2.

Proof

It follows from conditions (2.1) and (2.2) that 1+1δ[λγ(zf(z)2)+(γ(λ+1)+λ)f(z)+1(1λ)(1γ)f(z)z1]=[p(z)]αand 1+1δ[λγ(wg(w)2)+(γ(λ+1)+λ)g(w)+1(1λ)(1γ)g(w)w1]=[q(w)]α,where g = f1 and p, q in have the following series representations: p(z)=1+pmzm+p2mz2m+p3mz3m+and q(w)=1+qmwm+q2mw2m+q3mw3m+Comparing the corresponding coefficients of (2.5) and (2.6) yields λγ((m+1)2+1)+m(λ+γ)+1δam+1=αpm,λγ(4m(m+1)+2)+2m(λ+γ)+1δa2m+1=αp2m+α(α1)2pm2,λγ((m+1)2+1)+m(λ+γ)+1δam+1=αqmand λγ(4m(m+1)+2)+2m(λ+γ)+1δ((m+1)am+12a2m+1)=αq2m+α(α1)2qm2.In view of (2.9) and (2.11), we find that pm=qmand 2[λγ((m+1)2+1)+m(λ+γ)+1]2δ2am+12=α2(pm2+qm2).Also, from (2.10), (2.12) and (2.14), we obtain (m+1)λγ(4m(m+1)+2)+2m(λ+γ)+1δam+12=α(p2m+q2m)+α(α1)2(pm2+qm2)=α(p2m+q2m)+(α1)[λγ((m+1)2+1)+m(λ+γ)+1]2αδ2am+12.Therefore, we have am+12=α2δ2(p2m+q2m)αδ(m+1)[λγ(4m(m+1)+2)+2m(λ+γ)+1]+1(1α)Ω(λ,γ,m).Now, taking the absolute value of (2.15) and applying Lemma 1.1 for the coefficients p2m and q2m, we deduce that |am+1|2α|δ||αδ(m+1)[λγ(4m(m+1)+2)+2m(λ+γ)+1]+(1α)Ω(λ,γ,m)|.This gives the desired estimate for |am+1| as asserted in (2.3).

In order to find the bound on |a2m+1|, by subtracting (2.12) from (2.10), we get 2[λγ(4m(m+1)+2)+2m(λ+γ)+1]δa2m+1(m+1)λγ(4m(m+1)+2)+2m(λ+γ)+1δam+12=α(p2mq2m)+α(α1)2(pm2qm2).It follows from (2.13), (2.14) and (2.16) that a2m+1=α2δ2(m+1)(pm2+qm2)4Ω(λ,γ,m)+αδ(p2mq2m)2[λγ(4m(m+1)+2)+2m(λ+γ)+1].Taking the absolute value of (2.17) and applying Lemma 1.1 once again for the coefficients pm, p2m, qm and q2m, we obtain |a2m+1|2α2|δ|2(m+1)Ω(λ,γ,m)+2α|δ|λγ(4m(m+1)+2)+2m(λ+γ)+1,which completes the proof of Theorem 2.1.

Remark 2.3

In Theorem 2.1, if we choose

  • γ = 0, then we obtain the results which was proven by Srivastava et al. [13, Theorem 2.1];

  • γ = 0 and δ = 1, then we obtain the results which was obtained by Eker [5, Theorem 1];

  • γ = 0 and λ = δ = 1, then we obtain the results which was given by Srivastava et al. [16, Theorem 2].

For one-fold symmetric bi-univalent functions, Theorem 2.1 reduce to the following corollary:

Corollary 2.1

Let (0 < α ≤ 1, λ ≥ 0, 0 ≤ γ ≤ 1, δ ∈ ℂ {0}) be given by(1.1). Then|a2|2α|δ||2αδ(2γ(5λ+1)+2λ+1)+(1α)(γ(5λ+1)+λ+1)2|and|a3|4α2|δ|2(γ(5λ+1)+λ+1)2+2α|δ|(2γ(5λ+1)+2λ+1),

Remark 2.4

In Corollary 2.1, if we choose

  • γ = 0 and δ = 1, then we obtain the results which was proven by Frasin and Aouf [6, Theorem 2.2];

  • γ = 0 and λ = δ = 1, then we obtain the results which was given by Srivastava et al. [16, Theorem 1].

Coefficient Estimates for the Functions Class
aphic" />

Definition 3.1

A function f ∈ Σm given by (1.3) is said to be in the class if it satisfies the following conditions: Re{1+1δ[λγ(zf(z)2)+(γ(λ1)+λ)f(z)+(1λ)(1γ)f(z)z1]}>β,and Re{1+1δ[λγ(wg(w)2)+(γ(λ+1)+λ)g(w)+(1λ)(1γ)g(w)w1]}>β,(z,wU,0β<1,λ0,0γ1,δ{0},m),where the function g = f1 is given by (1.4).

Remark 3.1

It should be remarked that the class is a generalization of well-known classes consider earlier. These classes are:

  • For γ = 0, the class reduce to the class m*(τ,λ;β) which was introduced recently by Srivastava et al. [13];

  • For γ = 0 and δ = 1, the class reduce to the class which was investigated recently by Eker [5];

  • For γ = 0 and λ = δ = 1, the class reduce to the class ℋΣ,m(β) which was given by Srivastava et al. [16].

Remark 3.2

For one-fold symmetric bi-univalent functions, we denote the class . Special cases of this class illustrated below:

  • For γ = 0 and δ = 1, the class reduce to the class ℬΣ(β, λ) which was investigated recently by Frasin and Aouf [6];

  • For γ = 0 and λ = δ = 1, the class reduce to the class ℋΣ(β) which was given by Srivastava et al. [15].

Theorem 3.1

Let (0 ≤ β < 1, λ ≥ 0, 0 ≤ γ ≤ 1, δ ∈ ℂ {0}, m ∈ ℕ) be given by (1.3). Then|am+1|2|δ|(1β)(m+1)[λγ(4m(m+1)+2)+2m(λ+γ)+1]and|a2m+1|2|δ|2(1β)2(m+1)λγ((m+1)2+1)+m(λ+γ)+1+2|δ|(1β)λγ(4m(m+1)+2)+2m(λ+γ)+1.

Proof

It follows from conditions (3.1) and (3.2) that there exist p, such that 1+1δ[λγ(zf(z)2)+(γ(λ+1)+λ)f(z)+(1λ)(1γ)f(z)z1]=β+(1β)p(z)and 1+1δ[λγ(wg(w)2)+(γ(λ+1)+λ)g(z)+(1λ)(1γ)g(w)w1]=β+(1β)q(w),where p(z) and q(w) have the forms (2.7) and (2.8), respectively. Equating coefficients (3.5) and (3.6) yields λγ((m+1)2+1)+m(λ+γ)+1δam+1=(1β)pm,λγ(4m(m+1)+2)+2m(λ+γ)+1δa2m+1=(1β)p2m,λγ((m+1)2+1)+m(λ+γ)+1δam+1=(1β)qmand λγ(4m(m+1)+2)+2m(λ+γ)+1δ((m+1)am+12a2m+1)=(1β)q2m.From (3.7) and (3.9), we get pm=qmand 2[λγ((m+1)2+1)+m(λ+γ)+1]2δ2am+12=(1β)2(pm2+qm2).Adding (3.8) and (3.10), we obtain (m+1)λγ(4m(m+1)+2)+2m(λ+γ)+1δam+12=(1β)(p2m+q2m).Therefore, we have am+12=δ(1β)(p2m+q2m)(m+1)[λγ(4m(m+1)+2)+2m(λ+γ)+1].Applying Lemma 1.1 for the coefficients p2m and q2m, we obtain |am+1|2|δ|(1β)(m+1)[λγ(4m(m+1)+2)+2m(λ+γ)+1].This gives the desired estimate for |am+1| as asserted in (3.3).

In order to find the bound on |a2m+1|, by subtracting (3.10) from (3.8), we get 2[λγ(4m(m+1)+2)+2m(λ+γ)+1]δa2m+1(m+1)λγ(4m(m+1)+2)+2m(λ+γ)+1δam+12=(1β)(p2mq2m),or equivalently a2m+1=m+12am+12+δ(1β)(p2mq2m)2[λγ(4m(m+1)+2)+2m(λ+γ)+1].Upon substituting the value of am+12 from (3.12), it follows that a2m+1=δ2(1β)2(m+1)(pm2+qm2)4[λγ((m+1)2+1)+m(λ+γ)+1]+δ(1β)(p2mq2m)2[λγ((m+1)2+1)+m(λ+γ)+1].Applying Lemma 1.1 once again for the coefficients pm, p2m, qm and q2m, we obtain a2m+1=2|δ|2(1β)2(m+1)λγ((m+1)2+1)+m(λ+γ)+1+2|δ|(1β)λγ(4m(m+1)+2)+2m(λ+γ)+1.which completes the proof of Theorem 3.1.

Remark 3.3

In Theorem 3.1, if we choose

  • γ = 0, then we obtain the results which was proven by Srivastava et al. [13, Theorem 3.1];

  • γ = 0 and δ = 1, then we obtain the results which was obtained by Eker [5, Theorem 2];

  • γ = 0 and λ = δ = 1, then we obtain the results which was given by Srivastava et al. [16, Theorem 3].

For one-fold symmetric bi-univalent functions, Theorem 3.1 reduce to the following corollary:

Corollary 3.1

Let (0 ≤ β < 1, λ ≥ 0, 0 ≤ γ ≤ 1, δ ∈ ℂ {0}) be given by (1.1). Then |a2|2|δ|(1β)2γ(5λ+1)+2λ+1and |a3|4|δ|2(1β)2γ(5λ+1)+λ+1+2|δ|(1β)2γ(5λ+1)+2λ+1.

Remark 3.4

In Corollary 3.1, if we choose

  • γ = 0 and δ = 1, then we obtain the results which was proven by Frasin and Aouf [6, Theorem 3.2];

  • γ = 0 and λ = δ = 1, then we obtain the results which was given by Srivastava et al. [15, Theorem 2].

References
  1. S. Altinkaya, and S. Yalcin. Coefficient bounds for certain subclasses of m-fold symmetric biunivalent functions. J. Math.., (2015) Art. ID 241683, 5.
  2. S. Altinkaya, and S. Yalcin. On some subclasses of m-fold symmetric bi-univalent functions. Commun. Fac. Sci. Univ. Ank. Series A1., 67(1)(2018), 29-36.
  3. Caglar. M, Deniz. E, and Srivastava. HM. Second Hankel determinant for certain subclasses of bi-univalent functions. Turkish J. Math.; 2017 p. 694-706.
    CrossRef
  4. PL. Duren. Univalent Functions. Grundlehren der Mathematischen Wissenschaften, 259, Springer Verlag, New York, Berlin, Heidelberg and Tokyo, 1983.
  5. Eker. SS. Coefficient bounds for subclasses of m-fold symmetric bi-univalent functions. Turkish J. Math.; 2016 p. 641-646.
    CrossRef
  6. Frasin. BA, and Aouf. MK. New subclasses of bi-univalent functions. Appl. Math. Lett.; 2011 p. 1569-1573.
    CrossRef
  7. SP. Goyal, and P. Goswami. Estimate for initial Maclaurin coefficients of bi-univalent functions for a class defined by fractional derivatives. J. Egyptian Math. Soc.., 20(2012), 179-182.
    CrossRef
  8. Koepf. W. Coefficients of symmetric functions of bounded boundary rotation. Proc. Amer. Math. Soc.; 1989 p. 324-329.
    CrossRef
  9. Srivastava. HM, and Bansal. D. Coefficient estimates for a subclass of analytic and bi-univalent functions. J. Egyptian Math. Soc.; 2015 p. 242-246.
    CrossRef
  10. Srivastava. HM, Bulut. S, Caglar. M, and Yagmur. N. Coefficient estimates for a general subclass of analytic and bi-univalent functions. Filomat; 2013 p. 831-842.
    CrossRef
  11. Srivastava. HM, Eker. SS, and Ali. RM. Coefficient bounds for a certain class of analytic and bi-univalent functions. Filomat; 2015 p. 1839-1845.
    CrossRef
  12. Srivastava. HM, Eker. SS, Hamidi. SG, and Jahangiri. JM. Faber polynomial coefficient estimates for bi-univalent functions defined by the Tremblay fractional derivative operator. Bull. Iranian Math. Soc.; 2018 p. 149-157.
    CrossRef
  13. Srivastava. HM, Gaboury. S, and Ghanim. F. Initial coefficient estimates for some subclasses of m-fold symmetric bi-univalent functions. Acta Math. Sci. Ser. B; 2016 p. 863-871.
    CrossRef
  14. Srivastava. HM, Gaboury. S, and Ghanim. F. Coefficient estimates for some general subclasses of analytic and bi-univalent functions. Afr. Mat.; 2017 p. 693-706.
    CrossRef
  15. Srivastava. HM, Mishra. AK, and Gochhayat. P. Certain subclasses of analytic and bi-univalent functions. Appl. Math. Lett.; 2010 p. 1188-1192.
    CrossRef
  16. Srivastava. HM, Sivasubramanian. S, and Sivakumar. R. Initial coefficient bounds for a subclass of m-fold symmetric bi-univalent functions. Tbilisi Math. J.; 2014 p. 1-10.
    CrossRef
  17. H. Tang, HM. Srivastava, S. Sivasubramanian, and P. Gurusamy. The Fekete-Szegö functional problems for some subclasses of m-fold symmetric bi-univalent functions. J. Math. Inequal., 10(2016), 1063-1092.
    CrossRef
  18. Wanas. AK, and Majeed. AH. Certain new subclasses of analytic and m-fold symmetric bi-univalent functions. Appl. Math. E-Notes; 2018 p. 178-188.

This Article

Social Network Service

e-submission

Archives

Indexed/Covered by