Research article Special Issues

On a class of analytic functions closely related to starlike functions with respect to a boundary point

  • In this article, we introduce a new class of analytic functions in the open unit disc that are closely related to functions that are starlike with respect to a boundary point. For this new class of functions, we obtain representation theorem, interesting coefficient estimates and also certain differential subordination implications involving this new class.

    Citation: Kamaraj Dhurai, Nak Eun Cho, Srikandan Sivasubramanian. On a class of analytic functions closely related to starlike functions with respect to a boundary point[J]. AIMS Mathematics, 2023, 8(10): 23146-23163. doi: 10.3934/math.20231177

    Related Papers:

    [1] Lina Ma, Shuhai Li, Huo Tang . Geometric properties of harmonic functions associated with the symmetric conjecture points and exponential function. AIMS Mathematics, 2020, 5(6): 6800-6816. doi: 10.3934/math.2020437
    [2] 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
    [3] N. E. Cho, G. Murugusundaramoorthy, K. R. Karthikeyan, S. Sivasubramanian . Properties of λ-pseudo-starlike functions with respect to a boundary point. AIMS Mathematics, 2022, 7(5): 8701-8714. doi: 10.3934/math.2022486
    [4] Georgia Irina Oros, Gheorghe Oros, Daniela Andrada Bardac-Vlada . Certain geometric properties of the fractional integral of the Bessel function of the first kind. AIMS Mathematics, 2024, 9(3): 7095-7110. doi: 10.3934/math.2024346
    [5] Syed Ghoos Ali Shah, Shahbaz Khan, Saqib Hussain, Maslina Darus . q-Noor integral operator associated with starlike functions and q-conic domains. AIMS Mathematics, 2022, 7(6): 10842-10859. doi: 10.3934/math.2022606
    [6] Ekram E. Ali, Miguel Vivas-Cortez, Rabha M. El-Ashwah . New results about fuzzy γ-convex functions connected with the q-analogue multiplier-Noor integral operator. AIMS Mathematics, 2024, 9(3): 5451-5465. doi: 10.3934/math.2024263
    [7] G. Murugusundaramoorthy, K. Vijaya, K. R. Karthikeyan, Sheza M. El-Deeb, Jong-Suk Ro . Bi-univalent functions subordinated to a three leaf function induced by multiplicative calculus. AIMS Mathematics, 2024, 9(10): 26983-26999. doi: 10.3934/math.20241313
    [8] Ebrahim Analouei Adegani, Davood Alimohammadi, Teodor Bulboacă, Nak Eun Cho, Mahmood Bidkham . On the logarithmic coefficients for some classes defined by subordination. AIMS Mathematics, 2023, 8(9): 21732-21745. doi: 10.3934/math.20231108
    [9] Ekram E. Ali, Georgia Irina Oros, Rabha M. El-Ashwah, Abeer M. Albalahi . Applications of fuzzy differential subordination theory on analytic p -valent functions connected with q-calculus operator. AIMS Mathematics, 2024, 9(8): 21239-21254. doi: 10.3934/math.20241031
    [10] Madan Mohan Soren, Luminiţa-Ioana Cotîrlǎ . Fuzzy differential subordination and superordination results for the Mittag-Leffler type Pascal distribution. AIMS Mathematics, 2024, 9(8): 21053-21078. doi: 10.3934/math.20241023
  • In this article, we introduce a new class of analytic functions in the open unit disc that are closely related to functions that are starlike with respect to a boundary point. For this new class of functions, we obtain representation theorem, interesting coefficient estimates and also certain differential subordination implications involving this new class.



    Consider D={z:|z|<1}, an open unit disc in the complex plane C, H as the collection of all analytic functions in D. Let A be the subclass of H consisting of all functions of the form

    f(z)=z+n=2anzn,zD

    and S be a subclass of A containing all univalent functions. A function fA is starlike if f(D) is starlike with respect to origin and the class of all starlike functions fA is denoted by ST. Similarly, a function fA is convex if f(D) is convex with respect to all points of f(D) and the class of all convex functions fA is denoted by CV. An analytic function p:DC of the form

    p(z)=1+n=1pnzn,|pn|2 (1.1)

    satisfying (p(z))>0 for all zD is known as a function with positive real part. The class of such functions, denoted by P, is known as the class of Carathéodory functions. Note that (p(z))>0 can be written as |arg(p(z))|<π2. Connections between ST and P and CV and P are as follows: a function fST if and only if zf(z)f(z)P,zD and a function fCV if and only if 1+zf(z)f(z)P,zD. Thus, the properties of ST and CV functions can be obtained from the properties of functions in the class P. Note that the Möbius function

    L0(z)=1+z1z=1+2z+2z2+...=1+2n=1zn,zD, (1.2)

    is analytic and univalent in the open unit disc D and it maps D onto the right half-plane and is in the class P.

    Even though many authors extensively explored the concept of starlikeness of a given order for a long time, Robertson [16] was the pioneer in introducing the concept of an analytic univalent functions mapping an open unit disc onto a starlike domain with respect to the boundary point. He constructed the subclass G of H of functions g,g(0)=1 mapping D onto a starlike domain with respect to g(1)=limr1g(r)=0 and (eiρg(z))>0 for some real ρ and all zD. Assume also that the constant function 1 belongs to the class G. He conjectured that the class G coincides with the class G,

    G={gH:g(z)0,g(z)=1+n=1dnzn,zD}, (1.3)

    such that

    (2zg(z)g(z)+1+z1z)>0,zD (1.4)

    and proved that GG. Later, this conjecture was confirmed by Lyzzaik [11] who proved GG. Furthermore, if gG,g1 then g is univalent close-to-convex in D, as proved by Robertson [16]. It is worth mentioning that the analytic characterization (1.4) was known earlier to Styer [19].

    In [3], a class G(M),M>1, consisting of all analytic and non-vanishing functions of the form (1.3), such that

    (2zg(z)g(z)+zP(z;M)P(z;M))>0,zD,

    which is a closely related function to the class G was introduced by Jakubowski [3]. Here,

    P(z;M)=4z((1z)2+4zM+1z)2,zD

    is the Pick function. The class G(1) was also considered in [3], where

    G(1)=(gH:g(z)0,(1+2zg(z)g(z))>0,zD).

    Todorov [20] linked the class G with a functional f(z)/(1z) for zD and obtained a structural formula and coefficient estimates. Silverman and Silvia [17] introduced an interesting class G(β)G,0<β1, consisting of all analytic function g of the form (1.3) and satisfying

    (zg(z)g(z)+(1β)1+z1z)>0,zD.

    Clearly, G(12)=G. For 1<A1 and A<B1, Jakubowski and Włodarczyk [4] defined the class G(A,B), of all g of the form (1.3), satisfying (2zg(z)g(z)+1+Az1Bz)>0,zD (see also the work of Sivasubramanian [18]). Related works on the class G were considered earlier by [1, 6–10, 14]. We remark at this point, that the function

    12ln1+z1z=z+z33++z2n+12n+1+

    is univalent in D. In this article, we are interested in introducing and investigating a new class as follows.

    Definition 1.1. Let Gc be the class consisting of all functions of the form (1.3) satisfying

    {2z g(z)g(z)+(1+z1z)c}>0, zD, (1.5)

    where 0<c2.

    If c=1, the class G1=G was introduced and investigated by Robertson [16]. For this new class of functions, we obtain representation theorem, interesting coefficient estimates and also certain differential subordination implications involving this new class.

    Example 1.1. The function

    g1(z)=11zexp{12z0((1+t1t)c1t)dt}

    is in the class Gc, where 0<c2.

    Proof. Taking logarithm on both sides and by a simple differentiation, one can easily get

    2g1(z)g1(z)+1z(1+z1z)c=1+zz(1z).

    Hence,

    {2zg1(z)g1(z)+(1+z1z)c}={1+z1z}>0

    implies g1Gc.

    Example 1.2. The function

    g2(z)=exp{12z0((1+t1t)c1t)dt}

    is in the class Gc, where 0<c2.

    Proof. Taking logarithm on both sides and by a simple differentiation, one can easily get

    2 g2(z)g2(z)+1z(1+z1z)c=1z.

    Therefore,

    {2z g2(z)g2(z)+(1+z1z)c}=1>0

    implies that g2Gc.

    Similarly, we can show that

    Example 1.3. The function

    g3(z)=11zexp{12z0((1+t1t)c1t)dt}

    is in the class Gc, where 0<c2.

    Example 1.4. The function

    g4(z)=11+zexp{12z0((1+t1t)c1t)dt}

    is in the class Gc, where 0<c2.

    The above examples show that there are many functions present in the class Gc proving that the class Gc is non empty.

    Theorem 2.1. Let 0<c2. Furthermore, let

    βc(z)=12cz0((1+t1t)c1t)dt. (2.1)

    A function g is in Gc if and only if there exists a starlike function sST such that

    g(z)=(s(z)z)12exp{c βc(z)}. (2.2)

    Proof. Suppose that sST and g is given by (2.2). Then, g is analytic and g(0)=1. Therefore, from (1.5), we have for some function g satisfying (2.2), there exists a starlike function s such that

    (g(z))2(zexp{2cβc(z)})=s(z).

    Hence,

    2logg(z)+logz2cβc(z)=logs(z).

    By a simple differentiation followed by simplification we get,

    2zg(z)g(z)+(1+z1z)c=zs(z)s(z),

    where

    (1+z1z)c=1+2cz+2c2z2+22c3+c3z3+2c4+2c23z4+.

    Therefore,

    {2z g(z)g(z)+(1+z1z)c}=(z s(z)s(z))>0.

    Hence, gGc.

    On the other hand, suppose gGc and

    s(z)=z g2(z)exp{2cβc(z)}.

    Then, s(0)=0,s(0)=1 and

    ( zs(z)s(z))=(2z g(z)g(z)+(1+z1z)c).

    The above expression is positive as gGc which implies sST.

    For the choices of c=1 and c=2 we get the following corollaries as listed below.

    Corollary 2.1. [16] A function g is in G1 if and only if there exists a function sST such that (g(z))2=(s(z)z)(1z)2.

    Corollary 2.2. A function g is in G2 if and only if there exists a function sST such that g(z)=(s(z)z)12 exp(21z).

    Theorem 2.2. (Herglotz representation theorem) Let 0<c2 and let g be an analytic function in D such that g(0)=1. Then, gGc if and only if

    g(z)=exp [ππlog(1zeit)dμ(t)12z0((1+t1t)c1t)dt], (2.3)

    where μ(t) is a probability measure on [π,π].

    Proof. Let 0<c2. If gGc, we can write

    2z g(z)g(z)+(1+z1z)c=ππ1+z eit1z eitdμ(t).

    By a simple integration and simplification we get,

    2 logg(z)=z0((1+t1t)c1t)dt2ππlog(1zeit)dμ(t).

    Upon simplification of the above equation, one can obtain (2.3). The converse part can be proved by similar lines as in the necessary part and hence the details are omitted.

    For c=1 and c=2 we get the following corollaries.

    Corollary 2.3. [16] Let g be an analytic function in D such that g(0)=1. Then, gG1 if and only if

    g(z)=(1z) exp(ππlog(1zeit)dμ(t)).

    Corollary 2.4. Let g be an analytic function in D such that g(0)=1. Then, gG2 if and only if

    g(z)=exp (21z+ππlog(1zeit)dμ(t)).

    Theorem 2.3. Let 0<c2. A function gGc if and only if there exists a function pP such that

    g(z)=1z exp (12(z0p(ζ)ζdζz0((1+t1t)c1t)dt)). (2.4)

    Proof. Let gGc. Then, by the definition of Gc, for some function pP,

    2g(z)g(z)+1z(1+z1z)c=p(z)z.

    Upon integration and simplification, we get

    logz(g(z))2=z0p(ζ)ζdζz0((1+t1t)c1t)dt

    which proves the necessary part of the theorem. Conversely, assume pP and p(0)=1 and let g be as in (2.4). Then, g is analytic in D and by applying simple calculations we can easily prove that gGc.

    For c=1 and c=2, we get the following corollaries.

    Corollary 2.5. Let gG1 if and only if there exists a function pP such that

    g(z)=1zz exp( 12z0p(ζ)ζdζ).

    Corollary 2.6. Let gG2 if and only if there exists a function pP such that

    g(z)=1z exp (12z0p(ζ)ζdζ2z1z).

    Theorem 2.4. Let 0<c2. A function gGc if and only if there exists a function pH such that p1+z1z and for zD,

    g(z)=1z exp (12(z0p(ζ)ζdζz0((1+t1t)c1t)dt)).

    Proof. The proof follows from Theorem 2.3.

    Theorem 3.1. Let 0<c2 and zD. If gGc, we have the following sharp inequalities.

    |c+d1|1, (3.1)
    |c2+2d2d21|1, (3.2)

    and

    |2c3+c+9d39d1d2+3d31|3. (3.3)

    Further, for αR, let

    H(α,c)=4d28αcd12d21(1+2α)+2c2(12α). (3.4)

    Then,

    |H(α,c)|{2(12α|c+d1|2), if α12,2(12(1α)|c+d1|2), if α12. (3.5)

    Proof. Let

    p(z)=2zg(z)g(z)+(1+z1z)c, zD.

    On expanding the right hand side of the above function p, we get

    p(z)=1+2(c+d1)z+2(c2+2d2d21)z2+23(2c3+c+9d39d1d2+3d31)z3+. (3.6)

    By making use of the known inequality |pi|2 for all pP, we can get the sharp inequalities given in (3.1)–(3.3). From (1.1) and (3.6) and from the known fact that

    |p2αp21|{2α|p1|2,  if α12,2(1α)|p1|2,  if α12,

    we can obtain (3.5)

    For c=1 and c=2, we have the following corollaries as stated below.

    Corollary 3.1. [2] Let zD. If gG1, we have the following inequalities.

    |1+d1|1,|1+2d2d21|1,|1+3d33d1d2+d31|1.

    Further,

    |H(α,1)|{2(12α|1+d1|2), if α12,2(12(1α)|1+d1|2), if α12.

    All of these inequalities are sharp.

    Corollary 3.2. Let zD. If gG2, the following inequalities hold.

    |1+d12|12,|4+2d2d21|1,|6+3d33d1d2+d31|1.

    Also,

    |H(α,2)|{2(12α|2+d1|2), if α12,2(12(1α)|2+d1|2), if α12.

    All of these inequalities are sharp.

    Theorem 3.2. Let 0<c2 and let the function g(z) be of the form (1.3) belong to the class Gc. Then, for n=2,3,, the following estimates

    |ndnc(n2)dn1++[1+(1)n1]c(c1)(cn+2)2(n1)!d1+[1(1)n]c(c1)(c2)(cn+1)2n!|2
    1+n1k=1|(k+1)dkc(k1)dk1++[1+3(1)k1]c(c1)(c2)(ck+2)2(k1)!d1+[1+(1)k]c(c1)(ck+1)2k!|2

    hold.

    Proof. Let the function g of the form (1.3) belong to the class Gc. Then, there exists a function pP such that,

    p(z)=2z g(z)g(z)+(1+z1z)c, zD. (3.7)

    Since pP, there exists a function ω of the form

    ω(z)=p(z)1p(z)+1, zD,

    where ω is analytic in D,ω(0)=0,|ω(z)|1 for zD. Furthermore,

    p(z)=1+ω(z)1ω(z). (3.8)

    From (3.7) and (3.8), we have

    ((1z)cg(z)+2z(1z)cg(z)+(1+z)cg(z))ω(z)=(1z)c(2zg(z)g(z))+(1+z)cg(z).

    Let

    ω(z)=n=1ωnzn.

    Considering the expansion of the function of g as power series, we get

    (2+n=1(dncdn1+c(c1)2!dn2++(1)n1c(c1)(cn+2)(n1)!d1+(1)nc(c1)(cn+1)n!)zn+2n=1(ndnc(n1)dn1+c(c1)2!(n2)dn2++(1)n1c(c1)(cn+2)(n1)!d1)zn+n=1(dn+cdn1+c(c1)2!dn2++c(c1)(cn+2)(n1)!d1+c(c1)(cn+1)n!)zn)(n=1ωnzn)=2n=1(ndnc(n1)dn1+c(c1)2!(n2)dn2++(1)n1c(c1)(cn+2)(n1)!d1)zn+n=1(dn+cdn1+c(c1)2!dn2++c(c1)(cn+2)(n1)!d1+c(c1)(cn+1)n!)znn=1(dncdn1+c(c1)2!dn2++(1)n1c(c1)(cn+2)(n1)!d1+(1)nc(c1)(cn+1)n!)zn.

    For zD, this can be again simplified to bring into the form,

    (1+(n=1((n+1)dnc(n1)dn1++[1+3(1)n1]c(c1)(c2)(cn+2)2(n1)!d1+[1+(1)n]c(c1)(cn+1)2n!)zn)(n=1ωnzn))=n=2(ndnc(n2)dn1++[1+(1)n1]c(c1)(cn+2)2(n1)!d1+[1(1)n]c(c1)(c2)(cn+1)2(n)!)zn. (3.9)

    For  n=2,3,, let

    pn(c)=(n+1)dnc(n1)dn1++[1+3(1)n1]c(c1)(c2)(cn+2)2(n1)!d1+[1+(1)n]c(c1)(cn+1)2n! (3.10)

    and

    sn(c)=ndnc(n2)dn1++[1+(1)n1]c(c1)(cn+2)2(n1)!d1+[1(1)n]c(c1)(c2)(cn+1)2(n)!. (3.11)

    From (3.9)–(3.11), we have

    n=1ωnzn+n=2(p1(c)ωn1+pn1(c)ω1)zn=n=1sn(c)zn,zD. (3.12)

    Equating the coefficient of z, we have

    2ω1=d1+2c.

    Since |ω1|1, we obtain

    |d12+c|1

    and for n=2,3,,

    ωn+p1(c)ωn1++pn1ω1=sn(c).

    From the Eqs (3.9)–(3.12), we have

    (1+n1k=1pk(c))(k=1ωkzk)=nk=1sk(c)zk+k=n+1Ekzk,

    where Ek are the appropriate coefficients. Since |ω(z)|<1 for zD,

    |nk=1sk(c)zk+k=n+1Ekzk|2<|1+n1k=1pk(c)zk|2.

    By simplifying this, we have

    nk=1|sk(c)|21+n1k=1|pk(c)|2.

    Since |sk(c)|20 for k=1,2,,n1, we obtain

    |sn(c)|21+n1k=1|pk(c)|2,n=2,3,.

    This essentially completes the proof of Theorem 3.2.

    Let us consider the class B defined by B={ωH:|ω(z)|1,zD} and B0 be the subclass of B consisting of functions ω such that ω(0)=0. The elements of B0 are also known as Schwarz functions.

    Lemma 3.1. [5] If ωB0 is of the form ω(z)=n=1ωnzn, zD, then for νC,

    |ω2νω21|max{1,|ν|}.

    Lemma 3.2. If ωB0 is of the form ω(z)=n=1ωnzn, zD, then for any real numbers q1 and q2, the following sharp estimates holds:

    |ω3+q1 ω1 ω2+q2 ω31|H(q1,q2), (3.13)

    where

    H(q1,q2):={1 if (q1,q2)D1D2|q2| if (q1,q2)7k=3Dk23(|q1|+1)(|q1|+13(|q1|+1+q2))12 if (q1,q2)D8D9q23(q214q214q2)(q2143(q21))12 if (q1,q2)D10D11/{±2,1}23(|q1|1)(|q1|13(|q1|1q2))12 if (q1,q2)D12

    and the sets Dk,k=1,2,are defined in [15].

    Now we obtain a few upper bounds for early coefficients and for the Fekete-Szegö functional in the class Gc.

    Theorem 3.3. Let gGc,0<c2. Then,

    |c+d1|1, (3.14)
    |d1|1+c, (3.15)
    |c2+2d2d21|1, (3.16)
    |d2|1+c, (3.17)
    |3d33d1d2+d31|4c3+2c+36 (3.18)

    and

    |d3|3+2c+18c2+10c318. (3.19)

    Furthermore, for δR

    |d2δd21|12 max{1,2|1δ|}+c|2δ1|+c2|δ|. (3.20)

    Proof. From the class Gc, there exists ωB0 of the form ω(z)=n=1ωnzn, zD, such that

    2zg(z)g(z)+(1+z1z)c=1+ω(z)1ω(z). (3.21)

    Since

    2zg(z)g(z)+(1+z1z)c=1+2(c+d1)z)z+2(c2+2d2d21)z2+23(2c3+c+9d39d1d2+3d31)+ (3.22)

    and

    1+ω(z)1ω(z)=1+2ω1z+(2ω21+2ω2)z2+(2ω31+4ω1ω2+ω3)z3+. (3.23)

    By comparing the corresponding coefficients from (3.21)–(3.23), we have the following:

    2(c+d1)=2ω1, (3.24)
    2(c2+2d2d21)=2(ω21+ω2) (3.25)

    and

    23(2c3+c+9d39d1d2+3d31)=2ω21+4ω1ω2+ω3. (3.26)

    Since |ω1|1, from (3.24),

    |c+d1|1

    and hence

    |d1|1+c.

    From (3.25) and by Lemma 3.1, we have

    |c2+2d2d21|=|ω2+ω21|1

    and

    2d2=ω2+2ω212cω1,

    which in turn gives

    2|d2|max{1,2}+2c|ω1|

    and hence

    |d2|1+c.

    From (3.26) and by Lemma 3.2, we get

    |3d33d1d2+d31|12+23c3+13c.

    Hence, we obtain

    |3d33d1d2+d31|4c3+2c+36.

    Substituting the formulas for d1 and d2, we obtain

    |3d3|=|12(ω3+7ω1ω2+6ω31)32c(ω2+2ω21)+3c2ω13αω1+13c3+13c|12|ω3+7ω1ω2+6ω31|+32c|ω2+2ω21|+3c2|ω1|+3c|ω1|+13c3+13c12H(7,6)+32cmax{1,|2|}+3c2+3c+13c3+13c.

    Therefore,

    |d3|3+38c+18c2+2c318.

    Furthermore, we get

    |d2δd21|12|ω2+2(1δ)ω21|+c(2δ1)|ω1|+c2|δ|.

    The proof of the theorem is completed by virtue of Lemma 3.1.

    It can be remarked here that if ν is a real number, Lemma 3.1 can be improved in the following way and can be found in [2].

    Lemma 3.3. If ωB0 is of the form ω(z)=n=1ωnzn, zD, then

    |ω2νω21|{ν, ν1,1, 1ν1,ν, ν1. (3.27)

    For ν<1 or ν>1, equality holds if and only if ω(z)=z or one of its rotations. For 1<ν<1, equality holds if and only if ω(z)=z2, zD or one of its rotations. For ν=1 equality holds if and only if ω(z)=z(λ+z)(1+λz),zD or one of its rotations, while for ν=1 equality holds if and only if w(z)=z(λ+z)(1+λz,),0λ1,zD or one of its rotations.

    We can improve the results obtained in (3.20), in view of Lemma 3.3 as follows: For δR, we get,

    |d2δd21|{(1+c)2(1+c)2δ, δ0,12c+2(c22c)δ2, 0δ12,12c+2(c2+2c)δ2, 12δ32,(1+c)2δ2(1+c), δ32. (3.28)

    Theorem 3.4. Let 0<r<1. If gGc then for |z|=r<1,

    fα(r)r|g(z)|e2cβc(r)fα(r)r. (3.29)

    Proof. Let us define

    f(z)=z (g(z))2exp{2zβc(z)}. (3.30)

    Note that the function g is non-vanishing in D. Therefore, f is analytic in D and a simple computation shows that

    zf(z)f(z)=2zg(z)g(z)+(1+z1z)c,zD. (3.31)

    From (3.31), we can see that gGc if and only if f1+z1z,zD. By applying the result of Ma and Minda [12], we infer that

    fα(r)|f(z)|fα(r), |z|=r. (3.32)

    Hence,

    fα(r)|z (g(z))2 exp{2zβc(z)}|fα(r), |z|=r, (3.33)

    which gives (3.29).

    For c=1 and c=2 we have the following corollaries.

    Corollary 3.3. For 0<r<1, if gG1 then we have for |z|=r<1

    fα(r)r(1r)|g(z)|fα(r)r(1+r). (3.34)

    Corollary 3.4. For 0<r<1, if gG2 then we have for |z|=r<1,

    fα(r)rexp21r|g(z)|fα(r)rexp21+r. (3.35)

    Theorem 3.5. Let gGc. Then,

    |d1|<1,|d2|<1,|d3|<1,|d4|<1 (3.36)

    and

    |d22d3|1. (3.37)

    Proof. Since gGc, there is a Schwarz function ω satisfying that

    2zg(z)g(z)+(1+z1z)c=1+ω(z)1ω(z)=1+c1z+c2z2+. (3.38)

    If ω(z)=z, we have

    2zg(z)g(z)+(1+z1z)c=1+2z+2z2+2z3+. (3.39)

    Equating the coefficients using (3.22),

    d1=1c,d2=1c,d3=611c+6c22c39,d4=13236c19c2+59c32336c4.

    Since 0<c2, (3.36) holds.

    Also, since 0<c2,

    |d22d3|=|(1c)2(189c+59c3)|
    =|c2109c59c3|

    implies that (3.37) holds.

    In this section we are connecting the class Gc, 0<c2 by taking the equivalent condition of Gc, 0<c2 associated with L0(z)=1+z1z. Note that the definition Gc,0<c2 can be rewritten in the equivalent form as gGc if

    2zg(z)g(z)+(1+z1z)cL0(z), zD. (4.1)

    To prove the differential subordination results, we need the following lemma which is stated below.

    Lemma 4.1. [13] Let τ be univalent in D, ψ and ϕ be analytic in a domain D containing τ(D) with ϕ(ω)0 when ωτ(D). Let T(z)=zτϕ(τ(z)) and κ(z)=ψ(τ(z))+T(z) for zD and satisfy either T is starlike univalent in D or κ is convex univalent in D. Also, assume that {zκ(z)T(z)}>0,zD.\\ If pH with p(0)=τ(0),p(D)D, and

    ψ(p(z))+zp(z)ϕ(p(z))ψ(τ(z))+zτ(z)ϕ(τ(z)), zD

    then pτ and τ is the best dominant.

    Theorem 4.1. Let g be an analytic function with g(0)=1 and let 0<c2. If g satisfies

    2zg(z)g(z)+(1+z1z)c1+2z1z2, zD (4.2)

    then

    p(z):=(g(z))2exp{2zβc(z)}L0(z), zD. (4.3)

    Proof. Let ψ(ω)=1,ωC and ϕ(ω):=1ω,ωC{0}. Note that L0(D):=C{0}. Thus,

    T(z)=zL0(z)ϕ(L0(z))=zL0(z)L0(z)=2z1z2 (4.4)

    is analytic and also well defined. Also, we have

    {zT(z)T(z)}={1+z21z2}>0, zD. (4.5)

    This implies that T is a starlike univalent function. From this, for a function κ(z):=ψ(L0(z))+T(z)=1+T(z),zD, we get

    {zκ(z)T(z)}={zT(z)T(z)}>0, zD.

    From Lemma 4.1,

    1+zp(z)p(z)1+zL0(z)L0(z)=1+2z1z2, zD,

    which implies that pL0. Let us take the analytic function g with g(0)=1 and g(z)0 for zD satisfying (4.2). For a function as in (4.3), we can notice that p(0)=L0(0)=1,p(z)0 for zD and p is analytic. The proof of Theorem 4.1 is completed by observing that

    1+zp(z)p(z)=2zg(z)g(z)+(1+z1z)c, zD.

    Theorem 4.2. Let g(z) be an analytic function with g(0)=1 and let 0<c2. If

    2zg(z)g(z)+(1+z1z)c1+z1z+2z1z2, zD (4.6)

    then

    p(z):=z(g(z))2exp{2zβc(z)}(z0(g(ζ))2exp{2ζβc(ζ)}dζ)1L0(z), zD. (4.7)

    Proof. Let ψ(ω)=ω,ωC and ϕ(ω):=1ω,ωC{0}. Note that L0(D):=C{0} and ψ and ϕ are analytic in D. Thus, T defined by (4.4) is analytic and univalent and satisfies (4.5). Hence, κ(z)=ψ(L0(z))+T(z)=L0(z)+T(z), zD. By using (4.5) we get,

    {zκ(z)T(z)}={zL0(z)T(z)}+{zT(z)T(z)}={L0(z)}+{zT(z)T(z)}>0,zD.

    Note that, p is also analytic with p(0)=L0(0)=1 and p(z)0 for zD. From Lemma 4.1, we have

    p(z)+zp(z)p(z)L0(z)+zL0(z)L0(z)=1+z1z+2z1z2, zD.

    This essentially gives us that pL0. Let us take the analytic function g with g(0)=1 and g(z)0 for zD satisfying (4.6). For a function defined as in (4.7), we can observe that

    p(0)=limz0z(g(z))2exp{2zβc(z)}(z0(g(ζ))2exp{2ζβc(ζ)}dζ)1=(g(0))2limz0(z0(g(ζ))2exp{2ζβc(ζ)}dζ)1=1=L0(0).

    Therefore, p(z)0 and analytic for all zD. The proof of the theorem is then completed by noting that

    p(z)+zp(z)p(z)=2zg(z)g(z)+(1+z1z)c, zD.

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    The authors are thankful to the referee(s) for many insightful suggestions and comments in the original manuscript. The second author was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (No. 2019R1I1A3A01050861).

    The authors declare that they have no competing interests.



    [1] D. Aharonov, M. Elin, D. Shoikhet, Spiral-like functions with respect to a boundary point, J. Math. Anal. Appl., 280 (2003), 17–29. https://doi.org/10.1016/S0022-247X(02)00615-7 doi: 10.1016/S0022-247X(02)00615-7
    [2] R. M. Ali, V. Ravichandran, N. Seenivasagan, Coefficient bounds for p-valent functions, Appl. Math. Comput., 187 (2007), 35–46. https://doi.org/10.1016/j.amc.2006.08.100 doi: 10.1016/j.amc.2006.08.100
    [3] Z. J. Jakubowski, On properties of the Pick function and some applications of them, Acta Universitatis Purkynianae, 42 (1999), 51–62.
    [4] Z. J. Jakubowski, A. Włodarczyk, On some classes of functions of Robertson type, Ann. Univ. Mariae Curie-Skłodowska Sect. A, 59 (2005), 27–42.
    [5] F. R. Keogh, E. P. Merkes, A coefficient inequality for certain classes of analytic functions, Proc. Amer. Math. Soc., 20 (1969), 8–12. https://doi.org/10.1090/S0002-9939-1969-0232926-9 doi: 10.1090/S0002-9939-1969-0232926-9
    [6] A. Lecko, On the class of functions starlike with respect to a boundary point, J. Math. Anal. Appl., 261 (2001), 649–664. https://doi.org/10.1006/jmaa.2001.7564 doi: 10.1006/jmaa.2001.7564
    [7] A. Lecko, A. Lyzzaik, A note on univalent functions starlike with respect to a boundary point, J. Math. Anal. Appl., 282 (2003), 846–851. https://doi.org/10.1016/S0022-247X(03)00258-0 doi: 10.1016/S0022-247X(03)00258-0
    [8] A. Lecko, On coefficient inequalities in the Carathéodory class of functions, Ann. Polon. Math., 75 (2000), 59–67. https://doi.org/10.4064/ap-75-1-59-67 doi: 10.4064/ap-75-1-59-67
    [9] A. Lecko, Some methods in the theory of univalent functions, Oficyna Wdawnicza Politechniki Rzeszowskiej, 2005.
    [10] A. Lecko, δ-spirallike functions with respect to a boundary point, Rocky Mountain J. Math., 38 (2008), 979–992. https://doi.org/10.1216/RMJ-2008-38-3-979 doi: 10.1216/RMJ-2008-38-3-979
    [11] A. Lyzzaik, On a conjecture of M. S. Robertson, Proc. Amer. Math. Soc., 91 (1984), 108– 110. http://doi.org/10.1090/s0002-9939-1984-0735575-7 doi: 10.1090/s0002-9939-1984-0735575-7
    [12] W. C. Ma, D. Minda, A unified treatment of some special classes of univalent functions, In: Proceedings of the conference on complex analysis, International Press Inc., 1992.
    [13] S. S. Miller, P. T. Mocanu, Differential subordinations: Theory and applications, CRC Press, 2000. https://doi.org/10.1201/9781482289817
    [14] M. H. Mohd, M. Darus, Starlike function with respect to a boundary point defined by subordination, Adv. Math. Sci. J., 1 (2012), 15–21.
    [15] D. Prokhorov, J. Szynal, Inverse coefficients for (α,β)-convex functions, Ann. Univ. Mariae Curie-Skłodowska Sect. A, 35 (1981), 125–143.
    [16] M. S. Robertson, Univalent functions starlike with respect to a boundary point, J. Math. Anal. Appl., 81 (1981),, 327–345. https://doi.org/10.1016/0022-247x(81)90067-6
    [17] H. Silverman, E. M. Silvia, Subclasses of univalent functions starlike with respect to a boundary point, Houston J. Math., 16 (1990), 289–299.
    [18] S. Sivasubramanian, On a closely related class involving spirallike functions with respect to a boundary point, Mediterr. J. Math., 17 (2020), 92. https://doi.org/10.1007/s00009-020-01529-z doi: 10.1007/s00009-020-01529-z
    [19] D. Styer, On weakly starlike multivalent functions, J. Analyse Math., 26 (1973), 217–233. https://doi.org/10.1007/bf02790430 doi: 10.1007/bf02790430
    [20] P. G. Todorov, On the univalent functions starlike with respect to a boundary point, Proc. Amer. Math. Soc., 97 (1986), 602–604. https://doi.org/10.1090/s0002-9939-1986-0845972-9 doi: 10.1090/s0002-9939-1986-0845972-9
  • This article has been cited by:

    1. J.-L. Qiu, Z.-G. Wang, M. Li, Some Characterizations for Meromorphic ζ
    -Starlike Functions, 2025, 60, 1068-3623, 36, 10.3103/S1068362324700456
    2. Kavitha Sivasubramanian, On the class of analytic functions defined by Robertson associated with nephroid domain, 2025, 70, 02521938, 3, 10.24193/subbmath.2025.1.01
  • Reader Comments
  • © 2023 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(1616) PDF downloads(97) Cited by(2)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog