Loading [MathJax]/jax/output/SVG/jax.js
Research article

Fekete-Szegö inequality for a subclass of analytic functions defined by Komatu integral operator

  • Received: 21 December 2019 Accepted: 07 February 2020 Published: 14 February 2020
  • MSC : 30C45, 30C50

  • In this paper, we introduce and study a new subclass of analytic functions defined by DkLδaf(z) differential operator in the unit disk. For this subclass, the Fekete-Szegö type coefficient inequalities are derived.

    Citation: Hava Arıkan, Halit Orhan, Murat Çağlar. Fekete-Szegö inequality for a subclass of analytic functions defined by Komatu integral operator[J]. AIMS Mathematics, 2020, 5(3): 1745-1756. doi: 10.3934/math.2020118

    Related Papers:

    [1] K. R. Karthikeyan, G. Murugusundaramoorthy, N. E. Cho . Some inequalities on Bazilevič class of functions involving quasi-subordination. AIMS Mathematics, 2021, 6(7): 7111-7124. doi: 10.3934/math.2021417
    [2] Muajebah Hidan, Abbas Kareem Wanas, Faiz Chaseb Khudher, Gangadharan Murugusundaramoorthy, Mohamed Abdalla . Coefficient bounds for certain families of bi-Bazilevič and bi-Ozaki-close-to-convex functions. AIMS Mathematics, 2024, 9(4): 8134-8147. doi: 10.3934/math.2024395
    [3] Ala Amourah, B. A. Frasin, G. Murugusundaramoorthy, Tariq Al-Hawary . Bi-Bazilevič functions of order ϑ+iδ associated with (p,q) Lucas polynomials. AIMS Mathematics, 2021, 6(5): 4296-4305. doi: 10.3934/math.2021254
    [4] Mohsan Raza, Khalida Inayat Noor . Subclass of Bazilevič functions of complex order. AIMS Mathematics, 2020, 5(3): 2448-2460. doi: 10.3934/math.2020162
    [5] Bakhtiar Ahmad, Muhammad Ghaffar Khan, Basem Aref Frasin, Mohamed Kamal Aouf, Thabet Abdeljawad, Wali Khan Mashwani, Muhammad Arif . On q-analogue of meromorphic multivalent functions in lemniscate of Bernoulli domain. AIMS Mathematics, 2021, 6(4): 3037-3052. doi: 10.3934/math.2021185
    [6] Ahmad A. Abubaker, Khaled Matarneh, Mohammad Faisal Khan, Suha B. Al-Shaikh, Mustafa Kamal . Study of quantum calculus for a new subclass of q-starlike bi-univalent functions connected with vertical strip domain. AIMS Mathematics, 2024, 9(5): 11789-11804. doi: 10.3934/math.2024577
    [7] Aoen, Shuhai Li, Tula, Shuwen Li, Hang Gao . New subclass of generalized close-to-convex function related with quasi-subordination. AIMS Mathematics, 2025, 10(5): 12149-12167. doi: 10.3934/math.2025551
    [8] Kholood M. Alsager, Sheza M. El-Deeb, Ala Amourah, Jongsuk Ro . Some results for the family of holomorphic functions associated with the Babalola operator and combination binomial series. AIMS Mathematics, 2024, 9(10): 29370-29385. doi: 10.3934/math.20241423
    [9] Jianhua Gong, Muhammad Ghaffar Khan, Hala Alaqad, Bilal Khan . Sharp inequalities for q-starlike functions associated with differential subordination and q-calculus. AIMS Mathematics, 2024, 9(10): 28421-28446. doi: 10.3934/math.20241379
    [10] Muhammad Sabil Ur Rehman, Qazi Zahoor Ahmad, H. M. Srivastava, Nazar Khan, Maslina Darus, Bilal Khan . Applications of higher-order q-derivatives to the subclass of q-starlike functions associated with the Janowski functions. AIMS Mathematics, 2021, 6(2): 1110-1125. doi: 10.3934/math.2021067
  • In this paper, we introduce and study a new subclass of analytic functions defined by DkLδaf(z) differential operator in the unit disk. For this subclass, the Fekete-Szegö type coefficient inequalities are derived.


    Let A denote the class of functions f which are analytic in the open unit disk Δ={zC:|z|<1}, normalized by the conditions f(0)=f(0)1=0. So each fA has series representation of the form

    f(z)=z+n=2anzn. (1.1)

    For two analytic functions f and g, f is said to be subordinated to g (written as fg) if there exists an analytic function ω with ω(0)=0 and |ω(z)|<1 for zΔ such that f(z)=(gω)(z).

    A function fA is said to be in the class S if f is univalent in Δ. A function fS is in class C of normalized convex functions if f(Δ) is a convex domain. For 0α1, Mocanu [23] introduced the class Mα of functions fA such that f(z)f(z)z0 for all zΔ and

    ((1α)zf(z)f(z)+α(zf(z))f(z))>0(zΔ). (1.2)

    Geometrically, fMα maps the circle centred at origin onto α-convex arcs which leads to the condition (1.2). The class Mα was studied extensively by several researchers, see [1,10,11,12,24,25,26,27] and the references cited therein.

    A function fS is uniformly starlike if f maps every circular arc Γ contained in Δ with center at ζ Δ onto a starlike arc with respect to f(ζ). A function fC is uniformly convex if f maps every circular arc Γ contained in Δ with center ζ Δ onto a convex arc. We denote the classes of uniformly starlike and uniformly convex functions by UST and  UCV, respectively. For recent study on these function classes, one can refer to [7,9,13,19,20,31].

    In 1999, Kanas and Wisniowska [15] introduced the class k-UCV (k0) of k-uniformly convex functions. A function fA is said to be in the class k-UCV if it satisfies the condition

    (1+zf(z)f(z))>k|zf(z)f(z)|(zΔ). (1.3)

    In recent years, many researchers investigated interesting properties of this class and its generalizations. For more details, see [2,3,4,14,15,16,17,18,30,32,35] and references cited therein.

    In 2015, Sokół and Nunokawa [33] introduced the class MN, a function fMN if it satisfies the condition

    (1+zf(z)f(z))>|zf(z)f(z)1|(zΔ).

    In [28], it is proved that if (f)>0 in Δ, then f is univalent in Δ. In 1972, MacGregor [21] studied the class B of functions with bounded turning, a function fB if it satisfies the condition (f)>0 for zΔ. A natural generalization of the class B is B(δ1) (0δ1<1), a function fB(δ1) if it satisfies the condition

    (f(z))>δ1(zΔ;0δ1<1), (1.4)

    for details associated with the class B(δ1) (see [5,6,34]).

    Motivated essentially by the above work, we now introduce the following class k-Q(α) of analytic functions.

    Definition 1. Let k0 and 0α1. A function fA is said to be in the class k-Q(α) if it satisfies the condition

    ((zf(z))f(z))>k|(1α)f(z)+α(zf(z))f(z)1|(zΔ). (1.5)

    It is worth mentioning that, for special values of parameters, one can obtain a number of well-known function classes, some of them are listed below:

    1. k-Q(1)=k-UCV;

    2. 0-Q(α)=C.

    In what follows, we give an example for the class k-Q(α).

    Example 1. The function f(z)=z1Az(A0) is in the class k-Q(α) with

    k1b2bb(1+α)[b(1+α)+2]+4(b=|A|). (1.6)

    The main purpose of this paper is to establish several interesting relationships between k-Q(α) and the class B(δ) of functions with bounded turning.

    To prove our main results, we need the following lemmas.

    Lemma 1. ([8]) Let h be analytic in Δ with h(0)=1, β>0 and 0γ1<1. If

    h(z)+βzh(z)h(z)1+(12γ1)z1z,

    then

    h(z)1+(12δ)z1z,

    where

    δ=(2γ1β)+(2γ1β)2+8β4. (2.1)

    Lemma 2. Let h be analytic in Δ and of the form

    h(z)=1+n=mbnzn(bm0)

    with h(z)0 in Δ. If there exists a point z0(|z0|<1) such that |argh(z)|<πρ2(|z|<|z0|) and |argh(z0)|=πρ2 for some ρ>0, then z0h(z0)h(z0)=iρ, where

    :{n2(c+1c)(argh(z0)=πρ2),n2(c+1c)(argh(z0)=πρ2),

    and (h(z0))1/ρ=±ic(c>0).

    This result is a generalization of the Nunokawa's lemma [29].

    Lemma 3. ([37]) Let ε be a positive measure on [0,1]. Let ϝ be a complex-valued function defined on Δ×[0,1] such that ϝ(.,t) is analytic in Δ for each t[0,1] and ϝ(z,.) is ε-integrable on [0,1] for all zΔ. In addition, suppose that (ϝ(z,t))>0, ϝ(r,t) is real and (1/ϝ(z,t))1/ϝ(r,t) for |z|r<1 and t[0,1]. If ϝ(z)=10ϝ(z,t)dε(t), then (1/ϝ(z))1/ϝ(r).

    Lemma 4. ([22]) If 1D<C1, λ1>0 and (γ2)λ1(1C)/(1D), then the differential equation

    s(z)+zs(z)λ1s(z)+γ2=1+Cz1+Dz(zΔ)

    has a univalent solution in Δ given by

    s(z)={zλ1+γ2(1+Dz)λ1(CD)/Dλ1z0tλ1+γ21(1+Dt)λ1(CD)/Ddtγ2λ1(D0),zλ1+γ2eλ1Czλ1z0tλ1+γ21eλ1Ctdtγ2λ1(D=0).

    If r(z)=1+c1z+c2z2+ satisfies the condition

    r(z)+zr(z)λ1r(z)+γ21+Cz1+Dz(zΔ),

    then

    r(z)s(z)1+Cz1+Dz,

    and s(z) is the best dominant.

    Lemma 5. ([36,Chapter 14]) Let w, x and\ y0,1,2, be complex numbers. Then, for (y)>(x)>0, one has

    1. 2G1(w,x,y;z)=Γ(y)Γ(yx)Γ(x)10sx1(1s)yx1(1sz)wds;

    2. 2G1(w,x,y;z)= 2G1(x,w,y;z);

    3. 2G1(w,x,y;z)=(1z)w2G1(w,yx,y;zz1).

    Firstly, we derive the following result.

    Theorem 1. Let 0α<1 and k11α. If fk-Q(α), then fB(δ), where

    δ=(2μλ)+(2μλ)2+8λ4(λ=1+αkk(1α);μ=kαk1k(1α)). (3.1)

    Proof. Let f=, where is analytic in Δ with (0)=1. From inequality (1.5) which takes the form

    (1+z(z)(z))>k|(1α)(z)+α(1+z(z)(z))1|=k|1α(z)+α(z)αz(z)(z)|,

    we find that

    ((z)+1+αkk(1α)z(z)(z))>kαk1k(1α),

    which can be rewritten as

    ((z)+λz(z)(z))>μ(λ=1+αkk(1α);μ=kαk1k(1α)).

    The above relationship can be written as the following Briot-Bouquet differential subordination

    (z)+λz(z)(z)1+(12μ)z1z.

    Thus, by Lemma 1, we obtain

    1+(12δ)z1z, (3.2)

    where δ is given by (3.1). The relationship (3.2) implies that fB(δ). We thus complete the proof of Theorem 3.1.

    Theorem 2. Let 0<α1, 0<β<1, c>0, k1, nm+1(m N ), ||n2(c+1c) and

    |αβ±(1α)cβsinβπ2|1. (3.3)

    If

    f(z)=z+n=m+1anzn(am+10)

    and fk-Q(α), then fB(β0), where

    β0=min{β:β(0,1)}

    such that (3.3) holds.

    Proof. By the assumption, we have

    f(z)=(z)=1+n=mcnzn(cm0). (3.4)

    In view of (1.5) and (3.4), we get

    (1+z(z)(z))>k|(1α)(z)+α(1+z(z)(z))1|.

    If there exists a point z0Δ such that

    |arg(z)|<βπ2(|z|<|z0|;0<β<1)

    and

    |arg(z0)|=βπ2(0<β<1),

    then from Lemma 2, we know that

    z0(z0)(z0)=iβ,

    where

    ((z0))1/β=±ic(c>0)

    and

    :{n2(c+1c)(arg(z0)=βπ2),n2(c+1c)(arg(z0)=βπ2).

    For the case

    arg(z0)=βπ2,

    we get

    (1+z0(z0)(z0))=(1+iβ)=1. (3.5)

    Moreover, we find from (3.3) that

    k|(1α)(z0)+α(1+z0(z0)(z0))1|=k|(1α)((z0)1)+αz0(z0)(z0)|=k|(1α)[(±ic)β1]+iαβ|=k(1α)2(cβcosβπ21)2+[αβ±(1α)cβsinβπ2]21. (3.6)

    By virtue of (3.5) and (3.6), we have

    (1+z(z0)(z0))k|(1α)(z0)+α(1+z0(z0)(z0))1|,

    which is a contradiction to the definition of k-Q(α). Since β0=min{β:β(0,1)} such that (3.3) holds, we can deduce that fB(β0).

    By using the similar method as given above, we can prove the case

    arg(z0)=βπ2

    is true. The proof of Theorem 2 is thus completed.

    Theorem 3. If 0<β<1 and 0ν<1. If fk-Q(α), then

    (f)>[2G1(2β(1ν),1;1β+1;12)]1,

    or equivalently, k-Q(α)B(ν0), where

    ν0=[2G1(2β(1μ),1;1β+1;12)]1.

    Proof. For

    w=2β(1ν), x=1β, y=1β+1,

    we define

    ϝ(z)=(1+Dz)w10tx1(1+Dtz)wdt=Γ(x)Γ(y) 2G1(1,w,y;zz1). (3.7)

    To prove k-Q(α)B(ν0), it suffices to prove that

    inf|z|<1{(q(z))}=q(1),

    which need to show that

    (1/ϝ(z))1/ϝ(1).

    By Lemma 3 and (3.7), it follows that

    ϝ(z)=10ϝ(z,t)dε(t),

    where

    ϝ(z,t)=1z1(1t)z(0t1),

    and

    dε(t)=Γ(x)Γ(w)Γ(yw)tw1(1t)yw1dt,

    which is a positive measure on [0,1].

    It is clear that (ϝ(z,t))>0 and ϝ(r,t) is real for |z|r<1 and t[0,1]. Also

    (1ϝ(z,t))=(1(1t)z1z)1+(1t)r1+r=1ϝ(r,t)

    for |z|r<1. Therefore, by Lemma 3, we get

    (1/ϝ(z))1/ϝ(r).

    If we let r1, it follows that

    (1/ϝ(z))1/ϝ(1).

    Thus, we deduce that k-Q(α)B(ν0).

    Theorem 4. Let 0α<1 and k11α. If fk-Q(α), then

    f(z)s(z)=1g(z),

    where

    g(z)=2G1(2λ,1,1λ+1;zz1)(λ=1+αkk(1α)).

    Proof. Suppose that f=. From the proof of Theorem 1, we see that

    (z)+z(z)1λ(z)1+(12μ)z1z1+z1z(λ=1+αkk(1α);μ=kαk1k(1α)).

    If we set λ1=1λ, γ2=0, C=1 and D=1 in Lemma 4, then

    (z)s(z)=1g(z)=z1λ(1z)2λ1/λz0t(1/λ)1(1t)2/λdt.

    By putting t=uz, and using Lemma 5, we obtain

    (z)s(z)=1g(z)=11λ(1z)2λ10u(1/λ)1(1uz)2/λdu=[2G1(2λ,1,1λ+1;zz1)]1,

    which is the desired result of Theorem 4.

    The present investigation was supported by the Key Project of Education Department of Hunan Province under Grant no. 19A097 of the P. R. China. The authors would like to thank the referees for their valuable comments and suggestions, which was essential to improve the quality of this paper.

    The authors declare no conflict of interest.



    [1] H. R. Abdel-Gawad, D. K. Thomas, The Fekete Szegö problem for strongly close-to-convex functions, Proc. Amer. Math. Soc., 114 (1992), 345-349.
    [2] J. W. Alexander, Function which map the interior of the unit circle upon simple regions, Annals of

    Math. Second Series, 17 (1915), 12-22. doi: 10.2307/2007212

    [3] S. D. Bernardi, Convex and starlike univalent functions, Trans. Amer. Math. Soc., 135 (1965), 429-446.
    [4] S. Bulut, Fekete-Szegö problem for subclasses of analytic functions defined by Komatu integral operator, Arab. J. Math., 2 (2013), 177-183. doi: 10.1007/s40065-012-0062-x
    [5] A. Chonweerayoot, D. K. Thomas, W. Upakarnitikaset, On the Fekete Szegö theorem for close-toconvex functions, Publ. Inst. Math., 66 (1992), 18-26.
    [6] M. Darus, D. K. Thomas, On the Fekete Szegö theorem for close-to-convex functions, Mathematica Japonica, 47 (1998), 125-132.
    [7] E. Deniz, H. Orhan, The Fekete Szegö problem for a generalized subclass of analytic functions, Kyungpook Math. J., 50 (2010), 37-47.
    [8] M. Fekete, G. Szegö, Eine Bemerkung über ungerade schlichte Funktionen, J. London Math. Soc., 8 (1933), 85-89.
    [9] T. M. Flett, The dual of an inequality of Hardy and Littlewood and some related inequation, J. Math. Anal. Appl., 38 (1972), 746-765. doi: 10.1016/0022-247X(72)90081-9
    [10] I. B. Jung, Y. C. Kim, H. M. Srivastava, The Hardy space of analytic function associated with certain one-paprameter families of integral operators, J. Math. Anal. Appl., 176 (1993), 138-147. doi: 10.1006/jmaa.1993.1204
    [11] S. Kanas, H. E. Darwish, Fekete Szegö problem for starlike and convex functions of complex order, Appl. Math. Lett., 23 (2010), 777-782.
    [12] F. R. Keogh, E. P. Merkes, A coefficient inequality for certain classes of analytic functions, Proc. Amer. Math. Soc., 20 (1969), 8-12. doi: 10.1090/S0002-9939-1969-0232926-9
    [13] W. Koepf, On the Fekete Szegö problem for close-to-convex functions, Proc. Amer. Math. Soc., 101 (1987), 89-95.
    [14] Y. Komatu, On analytical prolongation of a family of operators, Mathematica (cluj), 32 (1990), 141-145.
    [15] R. J. Libera, Some classes of regular univalent functions, Proc. Amer. Math. Soc., 16 (1965), 755-758. doi: 10.1090/S0002-9939-1965-0178131-2
    [16] R. R. London, Fekete Szegö inequalities for close-to-convex functions, Proc. Amer. Math. Soc., 117 (1993), 947-950.
    [17] W. Ma, D. Minda, A unified treatment of some special classes of univalent functions, In: Proceeding of Conference on Complex Analytic, (1994), 157-169.
    [18] R. N. Mohapatra, T. Panigrahi, Second Hankel determinant for a class of analytic functions defined by Komatu integral operator, Rend. Mat. Appl., 7 (2019), 1-8.
    [19] M. A. Nasr, M. K. Aouf, Starlike function of complex order, J. Natural Sci. Math., 25 (1985), 1-12.
    [20] M. A. Nasr, M. K. Aouf, On convex functions of complex order, Mansoura Science Bulletin, 9 (1982), 565-582.
    [21] H. Orhan, E. Deniz, D. Rãducanu, The Fekete-Szegö problem for subclasses of analytic functions defined by a differential operator related to conic domains, Comput. Math. Appl., 59 (2010), 283-295. doi: 10.1016/j.camwa.2009.07.049
    [22] H. Orhan, D. Rãducanu, Fekete-Szegö problem for strongly starlike functions associated with generalized hypergeometric functions, Math. Comput. Model., 50 (2009), 430-438. doi: 10.1016/j.mcm.2009.04.014
    [23] H. Orhan, E. Deniz, M. Çağlar, Fekete-Szegö problem for certain subclasses of analytic functions, Demonstratio Math., 45 (2012), 835-846.
    [24] A. Pfluger, The Fekete-Szegö inequality by a variational method, Annales Academiae Scientiorum Fennicae Seria A. I., 10 (1985), 447-454.
    [25] C. Pommerenke, Univalent functions, In: Studia Mathematica Mathematische Lehrbucher, Vandenhoeck and Ruprecht, 1975.
    [26] G. S. Sãlãgean, Subclasses of univalent functions, Complex analysis-Proceedings 5th RomanianFinnish Seminar, Bucharest, 1013 (1983), 362-372.
    [27] B. A. Uralegaddi, C. Somanatha, Certain classes of univalent functions, In: Current topics in analytic function theory, 1992, 371-374.
    [28] P. Wiatrowski, The coefficients of a certain family of holomorphic functions, Univ. Lodzk. Nauk. Math. Przyrod. Ser. II, Zeszyt, 39 (1971), 75-85.
  • This article has been cited by:

    1. A Certain Class of Function Analytic and Subordinate to the Modified Sigmoid Function, 2025, 2581-8147, 639, 10.34198/ejms.15425.639647
    2. Tamer M. Seoudy, Amnah E. Shammaky, Certain subfamily of multivalently Bazilevič and non-Bazilevič functions involving the bounded boundary rotation, 2025, 10, 2473-6988, 12745, 10.3934/math.2025574
  • Reader Comments
  • © 2020 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(4728) PDF downloads(562) Cited by(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog