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
[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,z∈D |
and S be a subclass of A containing all univalent functions. A function f∈A is starlike if f(D) is starlike with respect to origin and the class of all starlike functions f∈A is denoted by ST. Similarly, a function f∈A is convex if f(D) is convex with respect to all points of f(D) and the class of all convex functions f∈A is denoted by CV. An analytic function p:D→C of the form
p(z)=1+∞∑n=1pnzn,|pn|≤2 | (1.1) |
satisfying ℜ(p(z))>0 for all z∈D 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 f∈ST if and only if zf′(z)f(z)∈P,z∈D and a function f∈CV if and only if 1+zf′′(z)f′(z)∈P,z∈D. 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+z1−z=1+2z+2z2+...=1+2∞∑n=1zn,z∈D, | (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)=limr→1−g(r)=0 and ℜ(eiρg(z))>0 for some real ρ and all z∈D. Assume also that the constant function 1 belongs to the class G∗. He conjectured that the class G∗ coincides with the class G,
G={g∈H:g(z)≠0,g(z)=1+∞∑n=1dnzn,z∈D}, | (1.3) |
such that
ℜ(2zg′(z)g(z)+1+z1−z)>0,z∈D | (1.4) |
and proved that G⊂G∗. Later, this conjecture was confirmed by Lyzzaik [11] who proved G∗⊂G. Furthermore, if g∈G,g≠1 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,z∈D, |
which is a closely related function to the class G was introduced by Jakubowski [3]. Here,
P(z;M)=4z(√(1−z)2+4zM+1−z)2,z∈D |
is the Pick function. The class G(1) was also considered in [3], where
G(1)=(g∈H:g(z)≠0,ℜ(1+2zg′(z)g(z))>0,z∈D). |
Todorov [20] linked the class G with a functional f(z)/(1−z) for z∈D 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+z1−z)>0,z∈D. |
Clearly, G(12)=G. For −1<A≤1 and −A<B≤1, 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+Az1−Bz)>0,z∈D (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+z1−z=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+z1−z)c}>0, z∈D, | (1.5) |
where 0<c≤2.
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)=11−zexp{−12∫z0((1+t1−t)c−1t)dt} |
is in the class Gc, where 0<c≤2.
Proof. Taking logarithm on both sides and by a simple differentiation, one can easily get
2g′1(z)g1(z)+1z(1+z1−z)c=1+zz(1−z). |
Hence,
ℜ{2zg′1(z)g1(z)+(1+z1−z)c}=ℜ{1+z1−z}>0 |
implies g1∈Gc.
Example 1.2. The function
g2(z)=exp{−12∫z0((1+t1−t)c−1t)dt} |
is in the class Gc, where 0<c≤2.
Proof. Taking logarithm on both sides and by a simple differentiation, one can easily get
2 g′2(z)g2(z)+1z(1+z1−z)c=1z. |
Therefore,
ℜ{2z g′2(z)g2(z)+(1+z1−z)c}=1>0 |
implies that g2∈Gc.
Similarly, we can show that
Example 1.3. The function
g3(z)=1√1−zexp{−12∫z0((1+t1−t)c−1t)dt} |
is in the class Gc, where 0<c≤2.
Example 1.4. The function
g4(z)=1√1+zexp{−12∫z0((1+t1−t)c−1t)dt} |
is in the class Gc, where 0<c≤2.
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<c≤2. Furthermore, let
βc(z)=−12c∫z0((1+t1−t)c−1t)dt. | (2.1) |
A function g is in Gc if and only if there exists a starlike function s∈ST such that
g(z)=(s(z)z)12exp{c βc(z)}. | (2.2) |
Proof. Suppose that s∈ST 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)+logz−2cβc(z)=logs(z). |
By a simple differentiation followed by simplification we get,
2zg′(z)g(z)+(1+z1−z)c=zs′(z)s(z), |
where
(1+z1−z)c=1+2cz+2c2z2+22c3+c3z3+2c4+2c23z4+⋯. |
Therefore,
ℜ{2z g′(z)g(z)+(1+z1−z)c}=ℜ(z s′(z)s(z))>0. |
Hence, g∈Gc.
On the other hand, suppose g∈Gc 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+z1−z)c). |
The above expression is positive as g∈Gc which implies s∈ST.
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 s∈ST such that (g(z))2=(s(z)z)(1−z)2.
Corollary 2.2. A function g is in G2 if and only if there exists a function s∈ST such that g(z)=(s(z)z)12 exp(−21−z).
Theorem 2.2. (Herglotz representation theorem) Let 0<c≤2 and let g be an analytic function in D such that g(0)=1. Then, g∈Gc if and only if
g(z)=exp [−π∫−πlog(1−ze−it)dμ(t)−12∫z0((1+t1−t)c−1t)dt], | (2.3) |
where μ(t) is a probability measure on [−π,π].
Proof. Let 0<c≤2. If g∈Gc, we can write
2z g′(z)g(z)+(1+z1−z)c=π∫−π1+z e−it1−z e−itdμ(t). |
By a simple integration and simplification we get,
2 logg(z)=−∫z0((1+t1−t)c−1t)dt−2π∫−πlog(1−ze−it)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, g∈G1 if and only if
g(z)=(1−z) exp(−π∫−πlog(1−ze−it)dμ(t)). |
Corollary 2.4. Let g be an analytic function in D such that g(0)=1. Then, g∈G2 if and only if
g(z)=exp −(21−z+π∫−πlog(1−ze−it)dμ(t)). |
Theorem 2.3. Let 0<c≤2. A function g∈Gc if and only if there exists a function p∈P such that
g(z)=1√z exp (12(z∫0p(ζ)ζdζ−∫z0((1+t1−t)c−1t)dt)). | (2.4) |
Proof. Let g∈Gc. Then, by the definition of Gc, for some function p∈P,
2g′(z)g(z)+1z(1+z1−z)c=p(z)z. |
Upon integration and simplification, we get
logz(g(z))2=z∫0p(ζ)ζdζ−∫z0((1+t1−t)c−1t)dt |
which proves the necessary part of the theorem. Conversely, assume p∈P 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 g∈Gc.
For c=1 and c=2, we get the following corollaries.
Corollary 2.5. Let g∈G1 if and only if there exists a function p∈P such that
g(z)=1−z√z exp( 12z∫0p(ζ)ζdζ). |
Corollary 2.6. Let g∈G2 if and only if there exists a function p∈P such that
g(z)=1√z exp (12z∫0p(ζ)ζdζ−2z1−z). |
Theorem 2.4. Let 0<c≤2. A function g∈Gc if and only if there exists a function p∈H such that p≺1+z1−z and for z∈D,
g(z)=1√z exp (12(z∫0p(ζ)ζdζ−∫z0((1+t1−t)c−1t)dt)). |
Proof. The proof follows from Theorem 2.3.
Theorem 3.1. Let 0<c≤2 and z∈D. If g∈Gc, we have the following sharp inequalities.
|c+d1|≤1, | (3.1) |
|c2+2d2−d21|≤1, | (3.2) |
and
|2c3+c+9d3−9d1d2+3d31|≤3. | (3.3) |
Further, for α∈R, let
H(α,c)=4d2−8αcd1−2d21(1+2α)+2c2(1−2α). | (3.4) |
Then,
|H(α,c)|≤{2(1−2α|c+d1|2), if α≤12,2(1−2(1−α)|c+d1|2), if α≥12. | (3.5) |
Proof. Let
p(z)=2zg′(z)g(z)+(1+z1−z)c, z∈D. |
On expanding the right hand side of the above function p, we get
p(z)=1+2(c+d1)z+2(c2+2d2−d21)z2+23(2c3+c+9d3−9d1d2+3d31)z3+⋯. | (3.6) |
By making use of the known inequality |pi|≤2 for all p∈P, 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 z∈D. If g∈G1, we have the following inequalities.
|1+d1|≤1,|1+2d2−d21|≤1,|1+3d3−3d1d2+d31|≤1. |
Further,
|H(α,1)|≤{2(1−2α|1+d1|2), if α≤12,2(1−2(1−α)|1+d1|2), if α≥12. |
All of these inequalities are sharp.
Corollary 3.2. Let z∈D. If g∈G2, the following inequalities hold.
|1+d12|≤12,|4+2d2−d21|≤1,|6+3d3−3d1d2+d31|≤1. |
Also,
|H(α,2)|≤{2(1−2α|2+d1|2), if α≤12,2(1−2(1−α)|2+d1|2), if α≥12. |
All of these inequalities are sharp.
Theorem 3.2. Let 0<c≤2 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
|ndn−c(n−2)dn−1+⋯+[1+(−1)n−1]c(c−1)⋯(c−n+2)2(n−1)!d1+[1−(−1)n]c(c−1)(c−2)⋯(c−n+1)2n!|2 |
≤1+n−1∑k=1|(k+1)dk−c(k−1)dk−1+⋯+[1+3(−1)k−1]c(c−1)(c−2)⋯(c−k+2)2(k−1)!d1+[1+(−1)k]c(c−1)⋯(c−k+1)2k!|2 |
hold.
Proof. Let the function g of the form (1.3) belong to the class Gc. Then, there exists a function p∈P such that,
p(z)=2z g′(z)g(z)+(1+z1−z)c, z∈D. | (3.7) |
Since p∈P, there exists a function ω of the form
ω(z)=p(z)−1p(z)+1, z∈D, |
where ω is analytic in D,ω(0)=0,|ω(z)|≤1 for z∈D. Furthermore,
p(z)=1+ω(z)1−ω(z). | (3.8) |
From (3.7) and (3.8), we have
((1−z)cg(z)+2z(1−z)cg′(z)+(1+z)cg(z))ω(z)=(1−z)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(dn−cdn−1+c(c−1)2!dn−2+⋯+(−1)n−1c(c−1)⋯(c−n+2)(n−1)!d1+(−1)nc(c−1)⋯(c−n+1)n!)zn+2∑∞n=1(ndn−c(n−1)dn−1+c(c−1)2!(n−2)dn−2+⋯+(−1)n−1c(c−1)⋯(c−n+2)(n−1)!d1)zn+∑∞n=1(dn+cdn−1+c(c−1)2!dn−2+⋯+c(c−1)⋯(c−n+2)(n−1)!d1+c(c−1)⋯(c−n+1)n!)zn)(∑∞n=1ωnzn)=2∑∞n=1(ndn−c(n−1)dn−1+c(c−1)2!(n−2)dn−2+⋯+(−1)n−1c(c−1)⋯(c−n+2)(n−1)!d1)zn+∑∞n=1(dn+cdn−1+c(c−1)2!dn−2+⋯+c(c−1)⋯(c−n+2)(n−1)!d1+c(c−1)⋯(c−n+1)n!)zn−∑∞n=1(dn−cdn−1+c(c−1)2!dn−2+⋯+(−1)n−1c(c−1)⋯(c−n+2)(n−1)!d1+(−1)nc(c−1)⋯(c−n+1)n!)zn.
For z∈D, this can be again simplified to bring into the form,
(1+(∞∑n=1((n+1)dn−c(n−1)dn−1+⋯+[1+3(−1)n−1]c(c−1)(c−2)⋯(c−n+2)2(n−1)!d1+[1+(−1)n]c(c−1)⋯(c−n+1)2n!)zn)(∞∑n=1ωnzn))=∞∑n=2(ndn−c(n−2)dn−1+⋯+[1+(−1)n−1]c(c−1)⋯(c−n+2)2(n−1)!d1+[1−(−1)n]c(c−1)(c−2)⋯(c−n+1)2(n)!)zn. | (3.9) |
For n=2,3,⋯, let
pn(c)=(n+1)dn−c(n−1)dn−1+⋯+[1+3(−1)n−1]c(c−1)(c−2)⋯(c−n+2)2(n−1)!d1+[1+(−1)n]c(c−1)⋯(c−n+1)2n! | (3.10) |
and
sn(c)=ndn−c(n−2)dn−1+⋯+[1+(−1)n−1]c(c−1)⋯(c−n+2)2(n−1)!d1+[1−(−1)n]c(c−1)(c−2)⋯(c−n+1)2(n)!. | (3.11) |
From (3.9)–(3.11), we have
∞∑n=1ωnzn+∞∑n=2(p1(c)ωn−1+⋯pn−1(c)ω1)zn=∞∑n=1sn(c)zn,z∈D. | (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)ωn−1+⋯+pn−1ω1=sn(c). |
From the Eqs (3.9)–(3.12), we have
(1+n−1∑k=1pk(c))(∞∑k=1ωkzk)=n∑k=1sk(c)zk+∞∑k=n+1Ekzk, |
where Ek are the appropriate coefficients. Since |ω(z)|<1 for z∈D,
|n∑k=1sk(c)zk+∞∑k=n+1Ekzk|2<|1+n−1∑k=1pk(c)zk|2. |
By simplifying this, we have
n∑k=1|sk(c)|2≤1+n−1∑k=1|pk(c)|2. |
Since |sk(c)|2≥0 for k=1,2,⋯,n−1, we obtain
|sn(c)|2≤1+n−1∑k=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,z∈D} 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, z∈D, then for ν∈C,
|ω2−νω21|≤max{1,|ν|}. |
Lemma 3.2. If ω∈B0 is of the form ω(z)=∞∑n=1ωnzn, z∈D, 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)∈D1∪D2|q2| if (q1,q2)∈∪7k=3Dk23(|q1|+1)(|q1|+13(|q1|+1+q2))12 if (q1,q2)∈D8∪D9q23(q21−4q21−4q2)(q21−43(q2−1))12 if (q1,q2)∈D10∪D11/{±2,1}23(|q1|−1)(|q1|−13(|q1|−1−q2))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 g∈Gc,0<c≤2. Then,
|c+d1|≤1, | (3.14) |
|d1|≤1+c, | (3.15) |
|c2+2d2−d21|≤1, | (3.16) |
|d2|≤1+c, | (3.17) |
|3d3−3d1d2+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, z∈D, such that
2zg′(z)g(z)+(1+z1−z)c=1+ω(z)1−ω(z). | (3.21) |
Since
2zg′(z)g(z)+(1+z1−z)c=1+2(c+d1)z)z+2(c2+2d2−d21)z2+23(2c3+c+9d3−9d1d2+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+2d2−d21)=2(ω21+ω2) | (3.25) |
and
23(2c3+c+9d3−9d1d2+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+2d2−d21|=|ω2+ω21|≤1 |
and
2d2=ω2+2ω21−2cω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
|3d3−3d1d2+d31|≤12+23c3+13c. |
Hence, we obtain
|3d3−3d1d2+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ω1−3αω1+13c3+13c|≤12|ω3+7ω1ω2+6ω31|+32c|ω2+2ω21|+3c2|ω1|+3c|ω1|+13c3+13c≤12H(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, z∈D, 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, z∈D or one of its rotations. For ν=−1 equality holds if and only if ω(z)=z(λ+z)(1+λz),z∈D or one of its rotations, while for ν=1 equality holds if and only if w(z)=−z(λ+z)(1+λz,),0≤λ≤1,z∈D 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,1−2c+2(c2−2c)δ2, 0≤δ≤12,1−2c+2(c2+2c)δ2, 12≤δ≤32,(1+c)2δ−2(1+c), δ≥32. | (3.28) |
Theorem 3.4. Let 0<r<1. If g∈Gc then for |z|=r<1,
√−fα(−r)r≤|g(z)|e−2cβ′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+z1−z)c,z∈D. | (3.31) |
From (3.31), we can see that g∈Gc if and only if f≺1+z1−z,z∈D. 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 g∈G1 then we have for |z|=r<1
√−fα(−r)r(1−r)≤|g(z)|≤√fα(−r)r(1+r). | (3.34) |
Corollary 3.4. For 0<r<1, if g∈G2 then we have for |z|=r<1,
√−fα(−r)rexp21−r≤|g(z)|≤√fα(−r)rexp21+r. | (3.35) |
Theorem 3.5. Let g∈Gc. Then,
|d1|<1,|d2|<1,|d3|<1,|d4|<1 | (3.36) |
and
|d22−d3|≤1. | (3.37) |
Proof. Since g∈Gc, there is a Schwarz function ω satisfying that
2zg′(z)g(z)+(1+z1−z)c=1+ω(z)1−ω(z)=1+c1z+c2z2+⋯. | (3.38) |
If ω(z)=z, we have
2zg′(z)g(z)+(1+z1−z)c=1+2z+2z2+2z3+⋯. | (3.39) |
Equating the coefficients using (3.22),
d1=1−c,d2=1−c,d3=6−11c+6c2−2c39,d4=1−3236c−19c2+59c3−2336c4. |
Since 0<c≤2, (3.36) holds.
Also, since 0<c≤2,
|d22−d3|=|(1−c)2−(1−89c+59c3)| |
=|c2−109c−59c3| |
implies that (3.37) holds.
In this section we are connecting the class Gc, 0<c≤2 by taking the equivalent condition of Gc, 0<c≤2 associated with L0(z)=1+z1−z. Note that the definition Gc,0<c≤2 can be rewritten in the equivalent form as g∈Gc if
2zg′(z)g(z)+(1+z1−z)c≺L0(z), z∈D. | (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 z∈D and satisfy either T is starlike univalent in D or κ is convex univalent in D. Also, assume that ℜ{zκ′(z)T(z)}>0,z∈D.\\ If p∈H with p(0)=τ(0),p(D)⊂D, and
ψ(p(z))+zp′(z)ϕ(p(z))≺ψ(τ(z))+zτ′(z)ϕ(τ(z)), z∈D |
then p≺τ and τ is the best dominant.
Theorem 4.1. Let g be an analytic function with g(0)=1 and let 0<c≤2. If g satisfies
2zg′(z)g(z)+(1+z1−z)c≺1+2z1−z2, z∈D | (4.2) |
then
p(z):=(g(z))2exp{−2zβ′c(z)}≺L0(z), z∈D. | (4.3) |
Proof. Let ψ(ω)=1,ω∈C and ϕ(ω):=1ω,ω∈C∖{0}. Note that L0(D):=C∖{0}. Thus,
T(z)=zL′0(z)ϕ(L0(z))=zL′0(z)L0(z)=2z1−z2 | (4.4) |
is analytic and also well defined. Also, we have
ℜ{zT′(z)T(z)}=ℜ{1+z21−z2}>0, z∈D. | (4.5) |
This implies that T is a starlike univalent function. From this, for a function κ(z):=ψ(L0(z))+T(z)=1+T(z),z∈D, we get
ℜ{zκ′(z)T(z)}=ℜ{zT′(z)T(z)}>0, z∈D. |
From Lemma 4.1,
1+zp′(z)p(z)≺1+zL′0(z)L0(z)=1+2z1−z2, z∈D, |
which implies that p≺L0. Let us take the analytic function g with g(0)=1 and g(z)≠0 for z∈D satisfying (4.2). For a function as in (4.3), we can notice that p(0)=L0(0)=1,p(z)≠0 for z∈D 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+z1−z)c, z∈D. |
Theorem 4.2. Let g(z) be an analytic function with g(0)=1 and let 0<c≤2. If
2zg′(z)g(z)+(1+z1−z)c≺1+z1−z+2z1−z2, z∈D | (4.6) |
then
p(z):=z(g(z))2exp{−2zβ′c(z)}(∫z0(g(ζ))2exp{−2ζβ′c(ζ)}dζ)−1≺L0(z), z∈D. | (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), z∈D. By using (4.5) we get,
ℜ{zκ′(z)T(z)}=ℜ{zL′0(z)T(z)}+ℜ{zT′(z)T(z)}=ℜ{L0(z)}+ℜ{zT′(z)T(z)}>0,z∈D. |
Note that, p is also analytic with p(0)=L0(0)=1 and p(z)≠0 for z∈D. From Lemma 4.1, we have
p(z)+zp′(z)p(z)≺L0(z)+zL′0(z)L0(z)=1+z1−z+2z1−z2, z∈D. |
This essentially gives us that p≺L0. Let us take the analytic function g with g(0)=1 and g(z)≠0 for z∈D satisfying (4.6). For a function defined as in (4.7), we can observe that
p(0)=limz→0z(g(z))2exp{−2zβ′c(z)}(∫z0(g(ζ))2exp{−2ζβ′c(ζ)}dζ)−1=(g(0))2limz→0(∫z0(g(ζ))2exp{−2ζβ′c(ζ)}dζ)−1=1=L0(0). |
Therefore, p(z)≠0 and analytic for all z∈D. The proof of the theorem is then completed by noting that
p(z)+zp′(z)p(z)=2zg′(z)g(z)+(1+z1−z)c, z∈D. |
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
![]() |
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 |