Next Article in Journal
Vehicle Routing Problem with Time Windows to Minimize Total Completion Time in Home Healthcare Systems
Next Article in Special Issue
On the Zeros of the Differential Polynomials φfl(f(k))na
Previous Article in Journal
A Secure Multi-Party Computation Protocol for Graph Editing Distance against Malicious Attacks
Previous Article in Special Issue
Boundedness and Compactness of Weighted Composition Operators from α-Bloch Spaces to Bers-Type Spaces on Generalized Hua Domains of the First Kind
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Study of Starlike Functions Associated with the Generalized Sine Hyperbolic Function

1
Department of Mathematics, Abdul Wali Khan University Mardan, Mardan 23200, Pakistan
2
Department of Mathematics, College of Sciences, King Saudi University, P.O. Box 2455, Riyadh 11451, Saudi Arabia
3
Department of Mathematics, “1 Decembrie 1918” University of Alba Iulia, 510009 Alba Iulia, Romania
4
Department of Mathematics, Technical University of Cluj-Napoca, 400114 Cluj-Napoca, Romania
5
Department of Mathematics, “Mircea cel Batran” Naval Academy, 900218 Constanţa, Romania
*
Author to whom correspondence should be addressed.
Mathematics 2023, 11(23), 4848; https://doi.org/10.3390/math11234848
Submission received: 16 October 2023 / Revised: 26 November 2023 / Accepted: 28 November 2023 / Published: 1 December 2023
(This article belongs to the Special Issue Complex Analysis and Geometric Function Theory, 2nd Edition)

Abstract

:
Geometric function theory, a subfield of complex analysis that examines the geometrical characteristics of analytic functions, has seen a sharp increase in research in recent years. In particular, by employing subordination notions, the contributions of different subclasses of analytic functions associated with innovative image domains are of significant interest and are extensively investigated. Since ( 1 + sinh ( z ) ) 0 , it implies that the class S sinh * introduced in reference third by Kumar et al. is not a subclass of starlike functions. Now, we have introduced a parameter λ with the restriction 0 λ ln ( 1 + 2 ) , and by doing that, ( 1 + sinh ( λ z ) ) > 0 . The present research intends to provide a novel subclass of starlike functions in the open unit disk U , denoted as S sinh λ * , and investigate its geometric nature. For this newly defined subclass, we obtain sharp upper bounds of the coefficients a n for n = 2 , 3 , 4 , 5 . Then, we prove a lemma, in which the largest disk contained in the image domain of q 0 ( z ) = 1 + sinh ( λ z ) and the smallest disk containing q 0 ( U ) are investigated. This lemma has a central role in proving our radius problems. We discuss radius problems of various known classes, including S * ( β ) and K ( β ) of starlike functions of order β and convex functions of order β . Investigating S sinh λ * radii for several geometrically known classes and some classes of functions defined as ratios of functions are also part of the present research. The methodology used for finding S sinh λ * radii of different subclasses is the calculation of that value of the radius r < 1 for which the image domain of any function belonging to a specified class is contained in the largest disk of this lemma. A new representation of functions in this class, but for a more restricted range of λ , is also obtained.

1. Introduction and Definitions

Complex analysis is one of the major disciplines nowadays due to its numerous applications not just in mathematical science, but also in other fields of study. Among the other disciplines, geometric function theory is an intriguing area of complex analysis that involves the geometrical characteristics of analytical functions. It has been observed that this area is crucial to applied mathematics, particularly in fields like engineering, electronics, nonlinear integrable system theory, fluid dynamics, modern mathematical physics, partial differential equation theory, etc. The foundation of function theory is the theory of univalent functions, and as a consequence of its wide application, new fields of research have emerged with a variety of fascinating results. Below, in the first section, we briefly discuss the basics of function theory, which will help in understanding the terminology used in our results.
Denote A as the class of all analytic functions f in U = z C : | z | < 1 , which are normalized and of the form
f ( z ) = z + k = 2 a k z k
and denote S as the subfamily of A , which consists of univalent functions in U . Also, denote A n as the class of analytic functions f of the form f ( z ) = z + a n + 1 z n + 1 + a n + 2 z n + 2 + defined in the open unit disk U . As such, we have A = A 1 . A domain D in the complex plane C is starlike with respect to w 0 D if any line segment or ray joining w 0 to a point w D lies in D. Any function that maps U onto such a domain D is starlike with respect to w 0 . We denote S * as the class of functions that are starlike with respect to 0. The class S * of functions f is analytically defined as S * = f A : z f ( z ) / f ( z ) > 0 , z U . Similarly, a set D in C is convex if it is starlike with respect to each of its points. Any function that maps U onto such a domain D is known as a convex function, and a class of all such functions is denoted by K . Analytically, a function f K if and only if z f z S * . Also, recall that the relation of subordination between the analytic functions f and g is symbolically written as f ( z ) g ( z ) , and it holds if there exists a Schwarz function w with | w ( z ) | < | z | and w ( 0 ) = 0 such that f ( z ) = g ( w ( z ) ) . In addition, if g is univalent, then the relation f ( z ) g ( z ) holds if and only if f ( U ) g ( U ) .
The general families of univalent functions f in A for which the quantities z f ( z ) / f ( z ) or 1 + z f ( z ) / f ( z ) are subordinate to a univalent function ϕ with a positive real part were discussed by Ma and Minda [1], who defined S * ( ϕ ) = f A : z f ( z ) / f ( z ) ϕ ( z ) z U and K ( ϕ ) = f A : 1 + z f ( z ) / f ( z ) ϕ ( z ) z U , where ϕ ( z ) > 0 , ϕ ( 0 ) > 0 , and U were mapped onto a star-shaped domain with respect to 1, and symmetric about the real axis. Several well-known classes can be obtained by specializing the function ϕ . For ϕ ( z ) = ( 1 + M z ) / ( 1 + N z ) , 1 N < M 1 , the class S * ( ϕ ) is denoted by S * [ M , N ] and is known as the class of Janowski starlike functions [2]; more specifically, if ϕ ( z ) = [ 1 + ( 1 2 α ) z ] / ( 1 z ) and 0 α < 1 , the class S * ( ϕ ) reduces to the class S * ( α ) of starlike functions of order α . In a similar way, the class K ( ϕ ) for ϕ ( z ) = ( 1 + M z ) / ( 1 + N z ) , 1 N < M 1 , and ϕ ( z ) = [ 1 + ( 1 2 α ) z ] / ( 1 z ) , where 0 α < 1 , is denoted by K [ M , N ] and K ( α ) , which are known as Janowski convex functions [2] and convex functions of order α , respectively. For α = 0 , the classes S * ( α ) and K ( α ) reduce to the prominent classes S * and K of starlike and convex functions, respectively. In the present study, we discuss S sinh λ * radii for some already defined classes S * ( ϕ ) of starlike functions for different choices of ϕ , which will be mentioned in the text wherever required.
In [3], Kumar et al. introduced a subclass of Ma–Minda type functions by choosing ϕ ( z ) = 1 + sinh z associated with sine hyperbolic functions. Since 1 + sinh z 0 and z U , the defined class does not belong to the family S * . To address this problem, Raza et al. [4] introduced a subclass of S * by considering ϕ ( z ) = 1 + λ sinh ( z ) , where 0 < λ < 1 / sinh 1 . In a similar way, a subclass S sinh λ * can be defined by taking ϕ ( z ) = 1 + sinh λ z , where 0 λ ln ( 1 + 2 ) . We define it as follows:
S sinh λ * = f A : z f ( z ) f ( z ) 1 + sinh ( λ z ) = q 0 ( z ) , z U .
Remark 1.
Since 1 + sinh λ z > 0 and 0 λ ln ( 1 + 2 ) in U , S sinh λ * S * .
Remark 2.
We also see that q 0 ( U ) 1 + λ sinh ( U ) and 1 + λ sinh ( U ) q 0 ( U ) , where 0 λ ln ( 1 + 2 ) ; therefore, there is no inclusion relation between the class S sinh λ * and the class defined in [4].
From the definition, we see that a function f S sinh λ * if and only if there exists an analytic function q satisfying the subordination relation q ( z ) q 0 ( z ) = 1 + sinh ( λ z ) , with z U , such that
f ( z ) = z exp 0 z q ( t ) 1 t d t .
A few examples of functions of our newly defined class S sinh λ * are given below. Let us consider the following functions:
q 1 ( z ) = 1 + λ z 3 , q 2 ( z ) = 4 + 2 λ z 4 + λ z , q 3 ( z ) = 7 + 7 λ z 7 + λ z , q 4 ( z ) = 1 + sin 1 λ z .
Also, since q 0 ( z ) = 1 + sinh ( λ z ) is univalent in U , q i ( 0 ) = 1 = q 0 ( 0 ) and q i ( U ) q 0 ( U ) for all i = 1 , 2 , 3 , 4 ; this implies that, for each i = 1 , 2 , 3 , 4 , the relation q i q 0 holds. Thus, from (2), the functions
f 1 ( z ) = z e λ z / 3 , f 2 ( z ) = z + λ z 2 4 , f 3 ( z ) = z 7 + λ z 7 6 , f 4 ( z ) = z e sin 1 λ z ,
belong to the class S sinh λ * corresponding to each of the functions q i respectively.
Now, we recall some known basics classes, which will be used in the upcoming results. In this regard, we first define an important class of analytic functions p for z U whose real part is positive. It is denoted by P and has the series representation of the form
p ( z ) = 1 + k = 1 p k z k , z U .
Let
P n [ M , N ] = p n ( z ) = 1 + k = n p n z n : p n ( z ) 1 + M z 1 + N z , 1 N < M 1 .
Then, clearly P n ( α ) = P n [ 1 2 α , 1 ] and P n = P n ( 0 ) . The class of all functions f A n , for which z f ( z ) / f ( z ) ( 1 + M z ) / ( 1 + N z ) , is denoted by S n * [ M , N ] , and that for z f ( z ) / f ( z ) [ 1 + ( 1 2 α ) z ] / ( 1 z ) is denoted by S n * ( α ) . The class M ( β ) consists of functions f A satisfying the relation [ z f ( z ) / f ( z ) ] < β ; β > 1 was introduced by Uralegaddi et al. [5]. Also, let
S sinh λ , n * = A n S sinh λ * , 0 λ ln ( 1 + 2 ) ,
S n * ( α ) = A n S * ( α ) , S L , n * = A n S L * ,
and M n ( β ) = A n M ( β ) .
In this paper, we work on finding the radii of starlikeness and convexity, as well as S sinh λ * radii for certain subclasses of starlike functions, mentioned above, which mostly have simple geometric interpretations. Besides these subclasses, we also discuss the S sinh λ * radii for some families of A whose functions have been expressed as a ratio between two functions. We denote these families by F i ( i = 1 , 2 , 3 , 4 ) . In the literature, the very early studies in this direction were due to Kaplan [6] and Read [7], who introduced the class of close-to-convex functions and close-to-starlike functions, respectively. Advanced studies in this direction can be seen, for example, in [8,9,10,11,12,13,14].

2. Preliminaries

This section is devoted to some results regarding the coefficient bounds for class P . These are useful in determining the bounds on coefficients of the Taylor series of our newly defined class.
Lemma 1
([1]). If p P and is of the form (3), then for any complex number μ,
| p n | 2 , f o r n 1 ,
and
p 2 μ p 1 2 2 m a x 1 ; 2 μ 1 .
Lemma 2
([15]). Let p P be given by (3), with 0 B 1 and B ( 2 B 1 ) D B . Then,
p 3 2 B p 1 p 2 + D p 1 3 2 .
Lemma 3
([16]). Let a , b , c , and d be such that 0 < c < 1 , 0 < d < 1 , and
8 d ( 1 d ) ( c b 2 a ) 2 + { c ( d + c ) b } 2 + c ( 1 c ) ( b 2 d c ) 2 4 c 2 ( 1 c ) 2 d ( 1 d ) .
If p is in P and is of the form (3), then
a p 1 4 + d p 2 2 + 2 c p 1 p 3 3 2 b p 1 2 p 2 p 4 2 .
Lemma 4
([17]). If p P n ( α ) , then for | z | = r ,
z p ( z ) p ( z ) 2 ( 1 α ) n r n ( 1 r n ) ( 1 + ( 1 2 α ) r n ) .
Lemma 5
([18]). If p P n [ M , N ] , then for | z | = r ,
p ( z ) 1 M N r 2 n 1 N 2 r 2 n ( M N ) r n 1 N 2 r 2 n .
In particular, if p P n ( α ) , then for | z | = r ,
p ( z ) 1 + ( 1 2 α ) r 2 n 1 r 2 n 2 ( 1 α ) r n 1 r 2 n .

3. Main Results

This section has two subsections. In the first subsection, we derive bounds on the coefficients of the Taylor series for the functions in the class S sinh λ * . We give extremal functions for all the results for which the equalities hold. The main tool for this discussion involves some inequalities that have already been proven for the coefficients of the functions in the class P . We then prove a lemma in which we find the disk of the largest radius with its center on the real axis and contained in the domain Ω sinh λ = q 0 ( U ) , where q 0 ( z ) = 1 + sinh λ z . In the same lemma, we also obtain the disk of the smallest radius with its center on the real axis such that the domain Ω sinh λ is contained in it. At the end of the first subsection, we give a new representation for functions in the class S sinh λ * but for a more restricted range of λ .

3.1. Coefficient Bounds and Inclusion Lemma

Theorem 1.
Let f S sinh λ * and be of the form (1). Then, for 0 λ ln ( 1 + 2 ) ,
a n λ n 1 , for n = 2 , 3 , 4 , 5 .
These results are sharp for
f ( z ) = z exp 0 z sinh λ t n 1 t d t = z + λ n 1 z n + λ 2 2 n 1 2 z 2 n 1 + .
Proof. 
If f S sinh λ * , then, by the definition of class S sinh λ * , we have
z f ( z ) f ( z ) = 1 + sinh ( λ w ( z ) ) , z U ,
where w ( 0 ) = 0 , and | w ( z ) | < 1 . Now, using the definition of class P , we have the relation
w ( z ) = p ( z ) 1 p ( z ) + 1 .
Therefore,
1 + sinh ( λ w ( z ) ) = 1 + sinh λ ( p ( z ) 1 ) p ( z ) + 1 = 1 + λ 2 p 1 z + λ 2 p 2 λ 4 p 1 2 z 2 + λ 8 p 1 3 λ 2 p 1 p 2 + λ 2 p 3 + λ 3 48 p 1 3 z 3 + 3 8 λ p 1 2 p 2 λ 2 p 1 p 3 λ 16 p 1 4 λ 4 p 2 2 λ 3 32 p 1 4 + λ 2 p 4 + 1 16 λ 3 p 1 2 p 2 z 4 + .
Also,
z f ( z ) f ( z ) = 1 + a 2 z + ( 2 a 3 a 2 2 ) z 2 + ( 3 a 4 3 a 2 a 3 + a 2 3 ) z 3 + ( 4 a 5 2 a 3 2 + 4 a 2 2 a 3 4 a 2 a 4 a 2 4 ) z 4 + .
By substituting these values in (6) and comparing the coefficients, we have
a 2 = λ 2 p 1 ,
a 3 = λ 4 p 2 1 λ 2 p 1 2 ,
a 4 = λ 6 p 3 4 3 λ 4 p 1 p 2 + 4 λ 2 9 λ + 6 24 p 1 3 ,
a 5 = λ 8 1 144 7 λ 3 27 λ 2 + 33 λ 18 p 1 4 + 1 3 3 2 λ p 1 p 3 + 1 4 2 λ p 2 2 1 24 9 λ 2 22 λ + 18 p 1 2 p 2 p 4 .
By using (7) and (4), we have a 2 λ . For the bound on a 3 , in (8), we use (5) for μ = 1 λ 2 to obtain a 3 λ 2 . Now, from (9), we have
a 4 = λ 6 p 3 2 B p 1 p 2 + D p 1 3 ,
where
B = 4 3 λ 8 , D = 4 λ 2 9 λ + 6 24 .
We also see that
B D = 1 4 1 6 λ 2 > 0 , 0 λ ln 1 + 2 ,
and
B 2 B 1 D = 11 96 λ 2 1 4 < 0 , 0 λ ln 1 + 2 .
Therefore, by employing Lemma 2 to Equation (11), we have the required result.
Finally, let
a = 1 144 7 λ 3 27 λ 2 + 33 λ 18 , b = 1 36 9 λ 2 22 λ + 18 , c = 3 2 λ 6 , d = 2 λ 4 .
Thus, (10) takes the form
a 5 = λ 8 a p 1 4 + + d p 2 2 + 2 c p 1 p 3 3 2 b p 1 2 p 2 p 4 .
Clearly, 0 < c < 1 and 0 < d < 1 . Also, the following inequality holds for all λ [ 0 , ln ( 1 + 2 ) ] .
8 d ( 1 d ) ( c b 2 a ) 2 + { c ( d + c ) b } 2 + c ( 1 c ) ( b 2 d c ) 2 < 4 c 2 ( 1 c ) 2 d ( 1 d ) .
Therefore, all the conditions of Lemma 3 are satisfied; thus, from (12), we have
a 5 λ 4 .
 □
Lemma 6.
Let Ω sinh λ = { w C : w ( z ) = 1 + sinh ( λ z ) , z U } . Then,
{ w C : | w 1 | < sin λ } Ω sinh λ { w C : | w 1 | < sinh ( λ ) } ,
where 0 λ ln ( 1 + 2 ) .
Proof. 
Consider the distance of ( 1 , 0 ) from the boundary of Ω λ sinh as
h ( x ) = sinh ( cos ( x ) ) cos ( λ sin ( x ) ) 2 + cosh ( λ cos ( x ) ) sin ( λ sin ( x ) ) 2 .
Since h ( x ) = h ( x ) , we therefore consider 0 θ π . Now, we see that h ( x ) = 0 has 0 , π 2 and π roots in 0 , π . Also, we see that h ( x ) < 0 for 0 < θ < π 2 and h ( x ) > 0 for π 2 < θ < π . This implies that
max h ( x ) = h ( 0 ) = h ( π ) = sinh ( λ ) 2
and
min h ( x ) = h π 2 = sin ( λ ) 2 .
Hence, we have the required result. □
Lemma 7.
Let q 0 ( z ) = 1 + sinh λ z , where 0 λ ln ( 1 + 2 ) . Then, for r 0 , 1 ,
min z = r q 0 ( z ) = q 0 ( r ) , max z = r q 0 ( z ) = q 0 ( r ) .
Proof. 
For z = r e i x , where r 0 , 1 , we have
q 0 ( z ) = 1 + sinh ( λ r cos ( x ) ) cos ( λ r sin ( x ) ) = h x .
Now, h x = 0 has 0 and π roots in 0 , π . We also see that h 0 < 0 , whereas h π > 0 . Hence, we conclude that
max 0 x π h x = h 0 = 1 + sinh ( λ r ) , min 0 x π h x = h π = 1 sinh ( λ r ) .
 □
Remark 3.
From the above result, it is evident that, for f S sinh λ * ,
1 sinh ( λ ) < z f ( z ) f ( z ) < 1 + sinh ( λ ) .
Keeping in view the above inequalities, we define an analytic function G λ ( z ) and a vertical strip Ω λ , with 0.783 λ ln ( 1 + 2 ) and 7 π / 20 β < 52 π / 105 , as follows:
G λ ( z ) = sinh ( λ ) + sin ( λ ) π i log 1 + e i β z 1 + e i β z ,
and
Ω λ = { w : sin ( λ ) < ( w ) < sinh ( λ ) } .
Thus, G λ ( z ) is univalent and convex in the open unit disk U , and it maps U onto Ω λ .
Theorem 2.
Let f A and 0.783 λ ln ( 1 + 2 ) . Then, f S sinh λ * if and only if
z f ( z ) f ( z ) 1 G λ ( z ) = sinh ( λ ) + sin ( λ ) π i log 1 + e i β z 1 + e i β z ,
where 7 π / 20 β < 52 π / 105 .
Proof. 
Let f S sinh λ * . Then, from Remark 3, z f ( z ) / f ( z ) 1 lies in the vertical strip Ω λ . Furthermore, G λ ( U ) = Ω λ . Now, as G λ is univalent, hence by subordination principle, the result follows. □
Now, we are in a position to give a new representation to the functions of our class S sinh λ * .
Theorem 3.
If 0.783 < λ < ln ( 1 + 2 ) , then f S sinh λ * for all z U if and only if
f ( z ) = z exp sinh ( λ ) + sin ( λ ) π i 0 z 1 t log 1 + e i β w ( t ) 1 + e i β w ( t ) d t ,
where 7 π / 20 β < 52 π / 105 , and w is an analytic function, with w ( 0 ) = 0 and | w ( z ) | < 1 for z U .
Proof. 
According to Theorem 2 and the definition of subordination f S sinh λ * , there exists a Schwarz function w that is an analytic such that w ( 0 ) = 0 and | w ( z ) | < 1 for z U , and
z f ( z ) f ( z ) 1 = sinh ( λ ) + sin ( λ ) π i ln 1 + e i β w ( z ) 1 + e i β w ( z )
or
f ( z ) f ( z ) 1 z = sinh ( λ ) + sin ( λ ) π i 1 z ln 1 + e i β w ( z ) 1 + e i β w ( z ) .
Therefore,
ln [ f ( z ) ] = ln ( z ) + sinh ( λ ) + sin ( λ ) π i · 0 z 1 t ln 1 + e i β w ( t ) 1 + e i β w ( t ) d t
This implies the required result. □

3.2. Radius Problems

In this second subsection, we discuss S sinh λ * radii for various known subclasses of starlike functions. We use Lemma 6 for determining the radius of a disk such that functions in different classes of analytic functions are contained in our class. We start with radius problems for S sinh λ * from the two subclasses S n and CS n ( α ) due to Ali et al. [19], which are given by
S n = f A n : f ( z ) z P n ,
CS n ( α ) = f A n : f ( z ) g ( z ) P n , g S n * ( α ) .
Theorem 4.
The sharp S sinh λ , n * radii for the classes S n and CS n ( α ) are given by the following:
(i).
R S sinh λ , n * ( S n ) = sin λ n 2 + sin 2 λ + n 1 / n .
(ii).
R S sinh λ , n * ( CS n ( α ) ) = sin λ ( 1 + n α ) 2 + [ sin 2 λ + 2 ( 1 α ) sin λ ] + ( n + 1 α ) 1 / n .
Proof. 
( i ) . Let f S n . Then, p ( z ) = f ( z ) / z P n and
z f ( z ) f ( z ) 1 = z p ( z ) p ( z ) .
By applying Lemma 4, for α = 0 , we have
z f ( z ) f ( z ) 1 = z p ( z ) p ( z ) 2 n r n 1 r 2 n , for | z | r .
From Lemma 6, it implies that the disk z f ( z ) / f ( z ) 1 2 n r n / ( 1 r 2 n ) will contain Ω sinh λ if
2 n r n 1 r 2 n sin λ
holds. That is, f S sinh λ , n * if and only if ( sin λ ) r 2 n + 2 n r n s i n λ 0 . Thus, the S sinh λ , n * radius of S n is the smallest positive root of the equation
( sin λ ) r 2 n + 2 n r n sin λ = 0 ,
is in the interval ( 0 , 1 ) . That is,
r sin λ n + n 2 + sin 2 λ 1 / n = R S sinh λ , n * ( S n ) .
Furthermore, to show the sharpness of R S sinh λ , n * ( S n ) , we define the function f 0 ( z ) = z ( 1 + z n ) / ( 1 z n ) , which, upon differentiation, gives the following:
z f ( z ) f ( z ) 1 = 2 n z n 1 z 2 n ,
and at z = R S sinh λ , n * ( S n ) , we have
z f ( z ) f ( z ) 1 = sin λ .
Hence, the proof of part (i) is completed.
( i i ) . Let f CS n ( α ) . Then, define functions h ( z ) = f ( z ) / g ( z ) P n and g S n * ( α ) such that
z f ( z ) f ( z ) = z g ( z ) g ( z ) + z h ( z ) h ( z ) .
Since h P n and z g / g P n ( α ) , then according to Lemma 4 and Lemma 5, respectively, and | z | = r , we have
z h ( z ) h ( z ) 2 n r n 1 r 2 n and z g ( z ) g ( z ) 1 + ( 1 2 α ) r 2 n 1 r 2 n 2 ( 1 α ) r n 1 r 2 n ,
which by adding gives us the following:
z f ( z ) f ( z ) 1 + ( 1 2 α ) r 2 n 1 r 2 n 2 ( 1 + n α ) r n 1 r 2 n .
Also, since 1 r 2 n 1 + ( 1 2 α ) r 2 n < 1 + r 2 n , it implies that [ 1 + ( 1 2 α ) r 2 n ] / ( 1 r 2 n ) 1 . Thus, according to Lemma 6, the disk given in (13) lies in Ω sinh λ * if
2 ( 1 + n α ) r n 1 r 2 n 1 + sin λ 1 + ( 1 2 α ) r 2 n 1 r 2 n ,
and
1 + ( 1 2 α ) r 2 n 1 r 2 n 1 + sin λ
hold. These two inequalities imply, respectively, that
r sin λ ( n + 1 α ) 2 + [ sin 2 λ + 2 ( 1 α ) sin λ ] + ( n + 1 α ) 1 / n = r 1
and
r sin λ 2 ( 1 α ) + sin λ 1 / n = r 2 .
Thus,
R S sinh λ , n * ( CS n ( α ) ) = min r 1 , r 2 = r 1 .
Hence,
R S sinh λ , n * ( CS n ( α ) ) = sin λ ( 1 + n α ) 2 + [ sin 2 λ + 2 ( 1 α ) sin λ ] + ( n + 1 α ) 1 / n .
For the sharpness of R S sinh λ , n * ( C S n ( α ) ) , consider the functions below
f 0 ( z ) = z ( 1 + z n ) ( 1 z n ) ( n + 2 2 α ) / n and g 0 ( z ) = z ( 1 z n ) 2 ( 1 α ) / n .
Then, we have
f 0 ( z ) g 0 ( z ) = 1 + z n 1 z n and z g 0 ( z ) g 0 ( z ) = 1 + ( 1 2 α ) z n 1 z n .
Clearly, f 0 ( z ) / g 0 ( z ) > 0 , while z g 0 / g 0 P n [ 1 2 α , 1 ] , thereby implying that g 0 S n * ( α ) ; hence, f 0 CS ( α ) . Now, logarithmic differentiation of f 0 gives
z f 0 ( z ) f 0 ( z ) 1 = 2 ( n + 1 α ) z n + 2 ( 1 α ) z 2 n 1 z 2 n .
At z = R S sinh λ , n * ( CS ( α ) ) , we have
z f 0 ( z ) f 0 ( z ) 1 = sin λ .
The proof is thus completed. □
Remark 4.
For α with 0 α < 1 , observe that R S sinh λ , n * ( S n ) = R S sinh λ , n * ( CS n ( α ) ) as α approaches 1 .
Next, we discuss S sinh λ * radii for some known subclasses of starlike functions S L * , S R L * , S C * , S C * , S B * , and S S G * , in which z f ( z ) / f ( z ) is subordinate to a Ma-and-Minda-type function involving no parameter. Here, we give a brief introduction to these classes.
The first of these is S L * , which was introduced by Sokół and Stankiewicz [20] for ϕ ( z ) = 1 + z . The class S L * can be geometrically interpreted as the set of all those functions f A , for which the image of transformation z f ( z ) / f ( z ) lies in the right-half of the lemniscate of Bernoulli | w 2 1 | < 1 . The second subclass S R L * of starlike functions associated with the left-half of the shifted lemniscate of Bernoulli has been derived by Mendiratta et al. [21]. In this subclass, they take ϕ ( z ) = 2 ( 2 1 ) ( 1 z ) / ( 1 + 2 ( 2 1 ) z ) . Inspired by the work of Mendiratta et al. [21] in 2016, it was Sharma et al. [8] who introduced the class S C * as a special case of the class S * ( ϕ ) by taking ϕ ( z ) = 1 + 4 z / 3 + 2 z 2 / 3 , and they studied some properties of the functions in the class S C * . The class S C * = S * ( z + 1 + z 2 ) was considered by Raina and Sokól [22]; they proved that f S C * if and only if z f ( z ) / f ( z ) lies in the region { w C : | w 2 1 | < 2 | w | } . Ghandhi and Ravichandran [23] obtained several sufficient conditions for f S C * . The fifth class of the present discussion is the class of starlike functions associated with the Bell numbers, which was introduced by Kumar et al. [24]. They denoted this class by S B * and defined it as the class of all functions f A , which satisfy the subordination relation z f ( z / f ( z ) ) e e z 1 . The last of these is the class S S G * of Sigmoid starlike functions defined in [25] by taking ϕ ( z ) = 2 / ( 1 + e z ) . In [25], the authors presented some basic geometric properties of this function, proved some inclusion relationships, investigated coefficient bounds, and discussed first-order differential subordination results.
Theorem 5.
The sharp S sinh λ * radii for some particular subclasses of starlike functions are
( i ) . R S sinh λ * ( S L * ) = ( 2 sin λ ) sin λ , ( i i ) . R S sinh λ * ( S R L * ) = sin ( λ ) 2 + 2 2 + 3 + 2 2 sin ( λ ) 1 + 2 2 + 2 2 sin 2 ( λ ) + 4 sin ( λ ) + 2 sin 2 ( λ ) , ( i i i ) . R S sinh λ * ( S C * ) = 2 + 4 + 6 sin λ 2 , ( i v ) . R S sinh λ * ( S C * ) = ( 2 + sin λ ) sin λ 2 + 2 sin λ , ( v ) . R S sinh λ * ( S B * ) = ln 1 + ln ( 1 + sin λ ) , ( v i ) . R S sinh λ * ( S S G * ) = ln 1 + sin λ 1 sin λ , w i t h 0 λ < a r c sin ( e 1 e + 1 ) .
Proof. 
( i ) . If f S L * , then z f ( z ) / f ( z ) 1 + z and, hence, for | z | = r , we have
z f ( z ) f ( z ) 1 1 1 r .
Thus, according to Lemma 6, f S sinh λ * if the inequality
1 1 r sin λ
holds, and it further simplifies
r ( 2 sin λ ) sin λ = R S sinh λ * ( S L * ) .
For the sharpness of R S sinh λ * ( S L * ) , we consider the function below
f 0 ( z ) = 4 z exp 2 1 + z 1 1 + 1 + z 2 .
The logarithmic differentiation of f 0 gives z f 0 ( z ) / f 0 ( z ) = 1 + z , which, upon putting z = R S sinh λ * ( S L * ) , yields
z f 0 ( z ) / f 0 ( z ) 1 = sin λ ,
and this proves the sharpness of R S sinh λ * ( S L * ) .
( i i ) . From the definition of the class S R L * , we can write z f ( z ) / f ( z ) ϕ ( z ) with
ϕ ( z ) = 2 2 1 1 z 1 + 2 ( 2 1 ) z
For z = r , where | z | = r , we have
z f ( z ) f ( z ) 1 ( 1 2 ) + ( 2 1 ) 1 + r 1 2 ( 2 1 ) r
According to Lemma 6, the above disk will contain Ω sinh λ and, hence, f S sinh λ * if
( 1 2 ) + ( 2 1 ) 1 + r 1 2 ( 2 1 ) r sin λ ,
which, after some simplification, gives
r sin ( λ ) 2 + 2 2 ) + 3 sin ( λ ) + 2 2 sin ( λ ) 1 + 2 2 + 2 2 sin 2 ( λ ) + 4 sin ( λ ) + 2 sin 2 ( λ ) = R S sinh λ * ( S R L * ) .
For the sharpness of R S sinh λ * ( S R L * ) , we define the following function
f 0 ( z ) = z exp 0 z q ( t ) 1 t d t
where
q ( z ) = 2 2 1 1 z 1 + 2 2 1 z = z f 0 ( z ) f 0 ( z ) .
At z = R S sinh λ * ( S R L * ) , we have
z f 0 ( z ) f 0 ( z ) 1 = sin λ ,
which proves the sharpness of R S sinh λ * ( S R L * ) .
( i i i ) . Let f S C * . Then, z f ( z ) / f ( z ) 1 + 4 z / 3 + 2 z 2 / 3 and, hence, for | z | = r , we have
z f ( z ) f ( z ) 1 4 3 r + 2 3 r 2 .
From Lemma 6, the last inequality implies that f S sinh λ * if 4 3 r + 2 3 r 2 sin λ , or 2 r 2 + 4 r 3 sin λ 0 . Thus, R S sinh λ * ( S C * ) is the smallest positive root of the equation 2 r 2 + 4 r 3 sin λ = 0 , which is
R S sinh λ * ( S C * ) = 2 ( 2 + 3 sin λ ) 2 2 .
For the sharpness of R S sinh λ * ( S C * ) , we define the following function
f 0 ( z ) = z exp 4 z + z 2 3
such that
z f 0 ( z ) f 0 ( z ) = 1 + 4 3 z + 2 3 z 2 ,
which, at z = R S sinh λ * ( S C * ) , yields
z f 0 ( z ) f 0 ( z ) 1 = sin λ ,
and this proves the sharpness of R S sinh λ * ( S C * ) .
( i v ) . Let f S C * . Then, z f ( z ) / f ( z ) z + 1 + z 2 . Hence, for | z | = r , we have
z f ( z ) f ( z ) 1 r + 1 + r 2 1 .
According to Lemma 6, the above disk will contain Ω sinh λ and, hence, f S sinh λ * if r + 1 + r 2 1 sin λ or 1 + r 2 ( 1 r + sin λ ) , which further implies that
r sin λ ( 2 + sin λ ) 2 ( 1 + sin λ ) = R S sinh λ * ( S C * ) .
To verify the sharpness of R S sinh λ * ( S C * ) , we consider the function
f 0 ( z ) = z exp 0 z q ( t ) 1 t d t
with q ( z ) = z + 1 + z 2 = z f 0 ( z ) / f 0 ( z ) . At z = R S sinh λ * ( S C * ) , we have
z f 0 ( z ) f 0 ( z ) 1 = sin λ ( 2 + sin λ ) 2 ( 1 + sin λ ) + sin 2 λ + 2 sin λ + 2 2 ( 1 + sin λ ) 2 1 / 2 1 = sin λ .
This proves the sharpness of R S sinh λ * ( S C * ) .
( v ) . Let f S B * . Then, z f ( z ) / f ( z ) e e z 1 . Therefore, for | z | = r , we have
z f ( z ) f ( z ) 1 e e r 1 1 .
The above disk will contain Ω sinh λ and, hence, f S sinh λ * , if
e e r 1 1 sin λ .
After some simple computation, we have
r ln 1 + ln ( 1 + sin λ ) = R S sinh λ * ( S B * ) .
For the sharpness of R S sinh λ * ( S B * ) , we consider the function
f 0 ( z ) = z exp 0 z q ( t ) 1 t d t , q ( z ) = e e z 1 .
At z = R S sinh λ * ( S B * ) , we have
z f 0 ( z ) f 0 ( z ) 1 = sin λ .
This proves the sharpness of R S sinh λ * ( S B * ) .
( v i ) . Let f S S G * . Then, z f ( z ) / f ( z ) 2 / ( 1 + e z ) . Thus, for | z | = r < 1 , we have
z f ( z ) f ( z ) 1 1 2 1 + e r .
Now, according to Lemma 6, the above disk will contain Ω sinh λ if
1 2 1 + e r sin λ ,
which, upon solving for r, yields
r ln ( 1 + sin λ 1 sin λ ) , p r o v i d e d t h a t ln ( 1 + sin λ 1 sin λ ) < 1 .
That is,
r ln ( 1 + sin λ 1 sin λ ) = R S sinh λ * ( S S G * ) , w i t h 0 λ < a r c sin ( e 1 e + 1 ) .
The sharpness is proven for
f 0 ( z ) = z exp 0 z q ( t ) 1 t d t , w h e r e q ( z ) = 2 1 + e z
That is, z f 0 ( z ) / f 0 ( z ) = 2 / ( 1 + e z ) , which at z = R S sinh λ * ( S S G * ) yields
z f 0 ( z ) f 0 ( z ) = 1 + sin λ .
 □
Remark 5.
Since ln ( ( 1 + sin λ ) / ( 1 sin λ ) ) is greater than one for a r c sin ( ( e 1 ) / ( e + 1 ) ) < λ ln ( 1 + 2 ) , this shows that for this interval of λ , S S G * S sinh λ * .
Corollary 1. 
For λ = ln ( 1 + 2 ) :
(i).
R S sinh λ * ( S L * ) = ( 2 sin ln ( 1 + 2 ) ) sin ln ( 1 + 2 ) 0.9478395308 .
(ii).
R S sinh λ * ( S R L * ) = sin ( ln ( 1 + 2 ) ) 2 + 2 2 + 3 + 2 2 sin ( ln ( 1 + 2 ) ) 1 + 2 2 + 2 2 sin 2 ( ln ( 1 + 2 ) ) + 4 sin ( ln ( 1 + 2 ) ) + 2 sin 2 ( ln ( 1 + 2 ) )     0.9237689095 .
(iii).
R S sinh λ * ( S C * ) = 2 + 4 + 6 sin ln ( 1 + 2 ) 2 0.468815850 .
(iv).
R S sinh λ * ( S C * ) = ( 2 + sin ln ( 1 + 2 ) ) sin ln ( 1 + 2 ) 2 + 2 sin ln ( 1 + 2 ) 0.6035780393 .
(v).
R S sinh λ * ( S B * ) = ln 1 + ln ( 1 + sin ln ( 1 + 2 ) 0.4522791114 .
Corollary 2.
For λ = 0.48 :
R S sinh λ * ( S S G * ) = ln 1 + sin 0.48 1 sin 0.48 0.9991406561 .
Now, we discuss S sinh λ * radii for a few such subclasses of starlike functions in each of which z f ( z ) / f ( z ) is subordinate to a Ma-and-Minda-type function involving a single parameter. These subclasses are BS * ( α ) , M ( β ) , SS * ( η ) , S T * ( ν ) , and S R * . The class BS * ( α ) , for 0 α < 1 , was introduced by Kargar et al. [26]. They studied coefficient bounds and obtained subordination results for this class. The class M ( β ) consists of functions f A satisfying the relation [ z f ( z ) / f ( z ) ] < β ; β > 1 was introduced by Uralegaddi et al. [5]. The third class that will be considered for a S sinh λ * radius is the class SS * ( η ) of strongly starlike functions, which was studied in [27,28]. The fourth class of this discourse is the subclass S T * ( ν ) of starlike functions, which was introduced by Deniz [29] for ϕ ( z ) = e ( z + ν z 2 / 2 ) , ( ν is an integer, with ν 1 ) in connection with the new generalization of telephone numbers. The fifth class for which we investigate the S sinh λ * radius is the class S R * associated with a rational function, ϕ ( z ) = 1 + z k + z 2 / k 2 k z , which was introduced and studied by Kumar and Ravichandran in [30].
Theorem 6.
The sharp S sinh λ * radii for some particular subclasses of starlike functions are the following:
i . R S sinh λ * ( BS * ( α ) ) = sin λ i f α = 0 1 + 4 α sin 2 λ 1 2 α sin λ i f 0 < α < 1 ( i i ) . R S sinh λ * ( M ( β ) ) = sin λ 2 ( β 1 ) + sin λ , f o r β > 1 , ( i i i ) . R S sinh λ * ( SS * ( η ) ) = ( 1 + sin λ ) 1 / η 1 ( 1 + sin λ ) 1 / η + 1 , ( 0 < η 1 ) , ( i v ) . R S sinh λ * S T * ( ν ) = 1 + 2 ν ln 1 + sin λ 1 ν , ν N , ( v ) . R S sinh λ * S R * = 2 k sin λ 1 + sin λ + 1 + ( 6 + sin λ ) sin λ .
Proof. 
( i ) . Let f BS * ( α ) . Then, z f ( z ) / f ( z ) 1 + z / ( 1 α z 2 ) , with 0 α < 1 . Hence, for z = r , we have
z f ( z ) f ( z ) 1 r 1 α r 2 .
From the use of Lemma 6, we conclude that the above disk will be contained in Ω sinh λ and, hence, f S sinh λ * if r / ( 1 α r 2 ) sin λ .
Case 1 : For α = 0 , we have
r sin λ = R S sinh λ * BS * ( α ) .
The function g 0 ( z ) = z e z proves the sharpness.
Case 2 : For 0 < α < 1 , the inequality r / ( 1 α r 2 ) sin λ implies α ( sin λ ) r 2 + r sin λ 0 . Thus, R S sinh λ * BS * ( α ) is the smallest positive root of the equation α ( sin λ ) r 2 + r sin λ = 0 , which, upon solving, yields
r 1 + 4 α sin 2 λ 1 2 α sin λ = R S sinh λ * BS * ( α ) .
To prove the sharpness of R S sinh λ * BS * ( α ) , we consider the function
f 0 ( z ) = z exp 0 z q ( t ) 1 t d t , with q ( z ) = 1 + z 1 α z 2 = z f 0 ( z ) f 0 ( z ) .
At z = R S sinh λ * BS * ( α ) , we have
z f 0 ( z ) f 0 ( z ) 1 = 2 α sin λ 1 + 4 α sin 2 λ 1 2 α 1 + 4 α sin λ 1 = sin λ .
Thus, the sharpness of R S sinh λ * BS * ( α ) is verified.
( i i ) . Let f M ( β ) . Then, by using Lemma 5 for n = 1 , we have
z f ( z ) f ( z ) 1 + ( 1 2 β ) r 2 1 r 2 2 ( β 1 ) r 1 r 2 .
Clearly, the inequality 1 + ( 1 2 β ) r 2 / ( 1 r 2 ) 1 holds. Therefore, according to Lemma 6, the above disk contains Ω sinh λ , or equivalently, f S sinh λ * if
1 sin λ 1 + ( 1 2 β ) r 2 1 r 2 and 2 ( β 1 ) r 1 r 2 1 + ( 1 2 β ) r 2 1 r 2 1 + sin λ .
After some computation, we have
2 ( β 1 ) + sin λ r 2 sin λ ,
and
2 ( β 1 ) + sin λ r 2 + 2 ( β 1 ) r sin λ 0 ,
which further imply, respectively, that
r sin λ 2 ( β 1 ) + sin λ , and r sin λ 2 ( β 1 ) + sin λ .
Hence, R S sinh λ * ( M ( β ) ) is the minimum of these two, and it is
r sin λ 2 ( β 1 ) + sin λ = R S sinh λ * ( M ( β ) ) .
For the sharpness of R S sinh λ * ( M ( β ) ) , we define the following function
f 0 ( z ) = z exp 0 z q ( t ) 1 t d t ,
with q ( z ) = 1 + 2 ( β 1 ) z + 2 ( β 1 ) + sin λ z 2 . Then, at z = R S sinh λ * ( M ( β ) ) , we have
z f 0 ( z ) f 0 ( z ) 1 = sin λ ,
which proves the sharpness of R S sinh λ * ( M ( β ) ) .
( i i i ) . If f SS * ( η ) , then z f ( z ) / f ( z ) ( 1 + z ) / ( 1 z ) η , with 0 < η 1 . Therefore, for | z | = r , we have
z f ( z ) f ( z ) 1 1 + r 1 r η 1 .
The above disk is contained in Ω sinh λ as given in Lemma 6 if
1 + r 1 r η 1 sin λ .
After some simplification, we have
r ( 1 + sin λ ) 1 / η 1 ( 1 + sin λ ) 1 / η + 1 = R sinh λ * SS * ( η ) .
To prove the sharpness of R sinh λ * SS * ( η ) , we consider the function
f 0 ( z ) = z exp 0 z q ( t ) 1 t
and q ( z ) = 1 + z 1 z η = z f 0 ( z ) f 0 ( z ) . At z = R sinh λ * SS * ( η ) , we easily obtain
z f 0 ( z ) f 0 ( z ) 1 = sin λ .
( i v ) . Let f S T * ( ν ) ( ν N ) . Then, z f / f ( z ) e ( z + ν z 2 / 2 ) . Therefore, for z = r , we have
z f ( z ) f ( z ) 1 e r + ν r 2 2 1 .
Using Lemma 6, the last given disk is contained in Ω sinh λ and, hence, f S sinh λ * if e r + ν r 2 2 1 sin λ . Furthermore, it implies that
r + ν r 2 / 2 ln ( 1 + sin λ ) .
Thus, R S sinh λ * S T * is the smallest positive root of the equation ν r 2 / 2 + r ln ( 1 + sin λ ) = 0 . By simple computation, we obtain
R S sinh λ * S T * = 1 + 2 ν ln 1 + sin λ 1 ν .
For the sharpness of R S sinh λ * S T * ( ν ) , we consider the function
f 0 ( z ) = z exp 0 z q ( t ) 1 t d t , q ( z ) = e z + ν z 2 2 = z f 0 ( z ) f 0 ( z ) .
At z = R S sinh λ * S T * ( ν ) , we have
z f 0 ( z ) f 0 ( z ) 1 = sin λ .
( v ) . Let f S R * . Then, z f ( z ) / f ( z ) 1 + z k + z 2 / k 2 k z . For z = r , we have
z f ( z ) f ( z ) 1 k r + r 2 k 2 k r .
According to Lemma 6, the above disk will be contained in Ω sinh λ , and, hence, f S sinh λ * if ( r k + r 2 ) / ( k 2 k r ) sin λ . Furthermore, computation yields r 2 + k ( 1 + sin λ ) r k 2 sin λ 0 . Thus, R S sinh λ * S R * is the smallest root of the equation r 2 + k ( 1 + sin λ ) r k 2 sin λ = 0 . For the sharpness of R S sinh λ * S R * , we consider the function
f 0 ( z ) = z exp 0 z q ( t ) 1 t d t ,
and with q ( z ) = 1 + z k + z 2 k 2 k z = z f 0 ( z ) f 0 ( z ) , we have
z f 0 ( z ) f 0 ( z ) 1 = sin λ .
 □
Remark 6.
For β = 2 and η = 1 , in the above parts (ii) and (iii), respectively, we have
R S sinh λ * ( M ( β ) ) = R S sinh λ * ( SS * ( η ) ) .

4. Functions Defined in Terms of Ratio of Functions

Now, we discuss the radius problem of classes denoted by F 1 , F 2 , F 3 , F 4 and defined as
F 1 = f A n : f ( z ) g ( z ) > 0 and g ( z ) z > 0 , g A n , F 2 = f A n : f ( z ) g ( z ) > 0 and g ( z ) z > 1 2 , g A n , F 3 = f A n : f ( z ) g ( z ) 1 < 1 and g ( z ) z > 0 , g A n , F 4 = f A n : f ( z ) g ( z ) 1 < 1 , for convex function g A n .
Theorem 7.
The sharp S sinh λ , n * radii for functions in the classes F 1 , F 2 F 3 , and F 4 , respectively, are:
i . R S sinh λ * ( F 1 ) = 1 + 4 n 2 csc 2 λ 2 n csc λ 1 / n , i i . R S sinh λ * ( F 2 ) = 9 n 2 + 4 n sin λ + 4 sin 2 λ 3 n 2 ( n + sin λ ) 1 / n , i i i . R S sinh λ * ( F 3 ) = 9 n 2 + 4 n sin λ + 4 sin 2 λ 3 n 2 ( n + sin λ ) 1 / n , i v . R S sinh λ * ( F 4 ) = ( n + 1 ) 2 + 4 ( n 1 + sin λ ) sin λ ( n + 1 ) 2 ( n 1 + sin λ ) 1 / n .
Proof. 
( i ) . Let f F 1 . Then, there is g A n such that
f ( z ) g ( z ) > 0 , and g ( z ) z > 0 .
Let us choose p ( z ) = f ( z ) / g ( z ) and h ( z ) = g ( z ) / z . Then, clearly p , h P n , and so we easily obtain
z f ( z ) f ( z ) 1 z p ( z ) p ( z ) + z h ( z ) h ( z ) .
By applying Lemma 4 for p and h in the above inequality, we have
z f ( z ) f ( z ) 1 4 n r n 1 r 2 n .
Now, by using Lemma 6, the function f S sinh λ , n * if
4 n r n 1 r 2 n sin λ ,
or, equivalently,
sin λ r 2 n + 4 n r n sin λ 0 .
Thus, r = 1 + 4 n 2 csc 2 λ 2 n csc λ 1 / n = R S sinh λ , n * ( F 1 ) is the smallest positive root of the equation
sin λ r 2 n + 4 n r n sin λ = 0 .
For the sharpness of R S sinh λ , n * ( F 1 ) , we consider the following two functions
f 0 ( z ) = z 1 + z n 1 z n 2 , and g 0 ( z ) = z 1 + z n 1 z n .
Then, it is obvious for f 0 ( z ) / g 0 ( z ) = ( 1 + z n ) / ( 1 z n ) = g 0 ( z ) / z that f 0 ( z ) / g 0 ( z ) > 0 and g 0 ( z ) / z > 0 . Its further implies that f 0 F 1 and also that
z f 0 ( z ) f 0 ( z ) 1 = 4 n z n 1 z 2 n = sin λ
at z = R S sinh λ , n * ( F 1 ) . This proves the sharpness of R S sinh λ , n * ( F 1 ) .
( i i ) . If f F 2 , then there exist a function g A n such that
f ( z ) g ( z ) > 0 , and g ( z ) z > 1 2 .
Let us set p ( z ) = f ( z ) / g ( z ) and h ( z ) = g ( z ) / z . Then, clearly p P n and h P n ( 1 / 2 ) . Also, it yields
z f ( z ) f ( z ) 1 z p ( z ) p ( z ) + z h ( z ) h ( z ) .
Therefore, by using Lemma 4 for p and h, we have
z f ( z ) f ( z ) 1 n r n ( 3 + r n ) 1 r 2 n , for | z | = r .
Now, by virtue of Lemma 6, the function f S sinh λ , n * if
n r n ( 3 + r n ) 1 r 2 n sin λ ,
or
( n + sin λ ) r 2 n + 3 n r n sin λ 0 ,
Thus, R S sinh λ , n * ( F 2 ) is the smallest positive root of the equation
( n + sin λ ) r 2 n + 3 n r n sin λ = 0 .
To verify the sharpness of R S sinh λ , n * ( F 2 ) , we consider the functions
f 0 ( z ) = z ( 1 + z n ) ( 1 z n ) 2 , and g 0 ( z ) = z 1 z n ,
and with simple computation, we have
f 0 ( z ) g 0 ( z ) = 1 + z n 1 z n , and g 0 ( z ) z = z 1 z n .
Also, f 0 ( z ) / g 0 ( z ) > 0 , and g 0 ( z ) / z > 1 / 2 . This proves that f 0 F 2 and also we easily obtain
z f 0 ( z ) f 0 ( z ) 1 = 3 n z n + n z 2 n 1 z 2 n .
By putting z = R S sinh λ , n * ( F 2 ) , it yields
z f 0 ( z ) f 0 ( z ) 1 = sin λ ,
and this confirms the sharpness.
( i i i ) . Let f F 3 . Then, by definition, there is g A n such that
f ( z ) g ( z ) 1 < 1 and g ( z ) z > 0 .
If we put p ( z ) = g ( z ) / f ( z ) and h ( z ) = g ( z ) / z , then the above inequalities becomes
1 p ( z ) 1 < 1 p ( z ) > 1 2 and h ( z ) > 0 .
Hence, p P n ( 1 2 ) , and h P n . By simple computation, we have
z f ( z ) f ( z ) 1 z p ( z ) p ( z ) + z h ( z ) h ( z ) .
By applying Lemma 4 for p and h, we have
z f ( z ) f ( z ) 1 3 n r n + n r 2 n 1 r 2 n .
Proceeding on the same lines as in above part (ii), we obtain
R S sinh λ , n * ( F 3 ) = 9 n 2 + 4 n sin λ + 4 sin 2 λ 3 n 2 ( n + sin λ ) 1 / n .
For the sharpness of R S sinh λ , n * ( F 3 ) , we consider the following functions
f 0 ( z ) = z ( 1 + z n ) 2 1 z n and g 0 ( z ) = z ( 1 + z n ) 1 z n .
However, since f 0 ( z ) / g 0 ( z ) 1 = ( 1 + z n ) 1 < 1 , it implies that ( g 0 ( z ) / z ) > 0 , and, hence, f 0 F 3 . Also
z f 0 ( z ) f 0 ( z ) 1 = 3 n z n n z 2 n 1 z 2 n = sin λ ,
at z = R S sinh λ , n * ( F 3 ) and this proves the sharpness of R S sinh λ , n * ( F 3 ) .
( i v ) . If f F 4 , then a convex function g A n exists such that
f ( z ) g ( z ) 1 < 1 .
Or, equivalently, we write it as g ( z ) / f ( z ) > 1 / 2 . Also, since every convex function is starlike of order 1 / 2 , it therefore follows from Lemma 5 that
z g ( z ) g ( z ) 1 1 r 2 n r n 1 r 2 n .
If we put h ( z ) = g ( z ) / f ( z ) , then h P n ( 1 / 2 ) . Hence, from f ( z ) = g ( z ) / h ( z ) ) , we have
z f ( z ) f ( z ) = z g ( z ) g ( z ) z h ( z ) h ( z ) .
Therefore, from the inequality (14) and Lemma 4, we easily have
z f ( z ) f ( z ) 1 1 r 2 n ( n + 1 ) r n + n r 2 n 1 r 2 n .
Since 1 / ( 1 r 2 n ) 1 , therefore, accodring to Lemma 6, the above disk will be contained in Ω sinh λ , and, hence, f S sinh λ , n * if
( n + 1 ) r n + n r 2 n 1 r 2 n 1 1 r 2 n ( 1 sin λ ) ,
or, equivalently, we have
( n + sin λ 1 ) r 2 n + ( n + 1 ) r n sin λ 0 .
Thus, R S sinh λ , n * ( F 4 ) is the smallest positive root of the equation
( n + sin λ 1 ) r 2 n + ( n + 1 ) r n sin λ = 0 .
For the sharpness of R S sinh λ , n * ( F 4 ) , consider the functions
f 0 ( z ) = z ( 1 + z n ) ( 1 z n ) 1 / n , and g 0 ( z ) = z ( 1 z n ) 1 / n .
Also, f 0 ( z ) / g 0 ( z ) 1 = ( 1 + z n ) 1 < 1 , and
1 + z g 0 ( z ) g 0 ( z ) = 1 + n z n 1 z n > 0 ,
thus showing that g 0 ( z ) is convex. Thus, f 0 F 4 . Also,
z f 0 ( z ) f 0 ( z ) 1 = ( n + 1 ) z n ( n 1 ) z 2 n 1 z 2 n ,
which, at z = R S sinh λ , n * ( F 4 ) , yields
z f 0 ( z ) f 0 ( z ) 1 = sin λ ,
thus proving the sharpness of R S sinh λ , n * ( F 4 ) .  □

5. Conclusions

As some portion of the image of the function 1 + sinh ( z ) is not in the right-half plan, we introduced λ with 0 λ ln ( 1 + 2 ) , as factor of z and obtained the Ma-Minda-type function 1 + sinh ( λ z ) , whose image is entirely in the right-half plane for all values of λ in the above specified interval. Thus, we defined a new subclass of starlike functions S sinh λ * . We obtained first four sharp coefficient bounds and S sinh λ * radii of some well recognized subclasses of analytic functions. Still, there are so many directions, for example, Hankel determinants, for both the functions of this class and for its inverse functions, Fekete-Szegö type inequality, logarithmic coefficients, partial sums problems, sufficiency criteria, convolution preserving property and many more in which researchers can show the essence of their abilities. In addition, with the association of q ( z ) = 1 + sinh ( λ z ) , one can defined the class of convex functions, close-to-convex functions, bounded turnings and etc.

Author Contributions

Conceptualization, M.A.; Formal analysis, M.A., R.K.A. and L.-I.C.; Investigation, B.G.; Writing—original draft, B.G. and M.A.; Supervision, R.K.A., D.B., L.-I.C. and E.R.; Project administration, D.B., L.-I.C. and E.R.; Funding acquisition, M.A. and R.K.A. All authors have read and agreed to the published version of the manuscript.

Funding

This study is funded by King Saud University in Riyadh, Saudi Arabia through the Supporting Project number RSPD2023R802.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

The authors would like to extend their sincere appreciation to Supporting Project number (RSPD2023R802) King Saud University, Riyadh, Saudi Arabia.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Ma, W.C.; Minda, D. A unified treatment of some special classes of univalent functions. In Proceedings of the Conference on Complex Analysis; Li, Z., Ren, F., Yang, L., Zhang, S., Eds.; International Press: Somerville, MA, USA, 1994; pp. 157–169. [Google Scholar]
  2. Janowski, W. Extremal problems for a family of functions with positive real part and for some related families. Ann. Pol. Math. 1971, 23, 159–177. [Google Scholar] [CrossRef]
  3. Kumar, S.S.; Khan, M.G.; Ahmad, B.; Mashwani, W.K. A Class of Analytic Functions associated with Sine Hyperbolic Functions. arXiv 2020, arXiv:2011.04875. [Google Scholar]
  4. Raza, M.; Zahid, H.; Liu, J.L. Starlikeness associated with sine hyperbolic function. Acta Math. Sci. 2023; accepted. [Google Scholar]
  5. Uralegaddi, B.A.; Ganigi, M.D.; Sarangi, S.M. Univalent functions with positive coefficients. Tamkang J. Math. 1994, 25, 225–230. [Google Scholar] [CrossRef]
  6. Kaplan, W. Close-to-convex schlicht functions. Mich. Math. J. 1953, 1, 169–185. [Google Scholar] [CrossRef]
  7. Read, M.O. On close-to-convex univalent functions. Mich. Math. J. 1955, 3, 59–62. [Google Scholar] [CrossRef]
  8. Sharma, K.; Jain, N.K.; Ravichandran, V. Starlike functions associated with a cardioid. Afr. Math. 2016, 27, 923–939. [Google Scholar] [CrossRef]
  9. Ali, R.M.; Jain, N.K.; Ravichandran, V. On the radius constants for classes of analytic functions. Bull. Malays. Math. Sci. Soc. 2013, 36, 23–38. [Google Scholar]
  10. MacGregor, T.H. The radius of convexity for starlike functions of order 1/2. Proc. Am. Math. Soc. 1963, 14, 71–76. [Google Scholar] [CrossRef]
  11. MacGregor, T.H. The radius of univalence of certain analytic functions. Proc. Am. Math. Soc. 1963, 14, 514–520. [Google Scholar] [CrossRef]
  12. MacGregor, T.H. The radius of univalence of certain analytic functions, II. Proc. Am. Math. Soc. 1963, 14, 521–524. [Google Scholar] [CrossRef]
  13. MacGregor, T.H. A class of univalent functions. Proc. Am. Math. Soc. 1964, 15, 311–317. [Google Scholar] [CrossRef]
  14. Shanmugam, T.N.; Ravichandran, V. Certain properties of uniformly convex functions. In Computational Methods and Function Theory (Penang); Series in Approximations and Decompositions; World Scientific Publishing: River Edge, NJ, USA, 1994; pp. 319–324. [Google Scholar]
  15. Ali, R.M. Coefficients of the inverse of strongly starlike functions. Bull. Malays. Math. Sci. Soc. 2003, 26, 63–71. [Google Scholar]
  16. Ravichandran, V.; Verma, S. Bound for the fifth coefficient of certain starlike functions. Comptes Rendus Math. 2015, 353, 505–510. [Google Scholar] [CrossRef]
  17. Shah, G.M. On the univalence of some analytic functions. Pac. J. Math. 1972, 43, 239–250. [Google Scholar] [CrossRef]
  18. Ravichandran, V.; Rønning, F.; Shanmugam, T.N. Radius of convexity and radius of starlikeness for some classes of analytic functions. Complex Var. Theory Appl. 1997, 33, 265–280. [Google Scholar] [CrossRef]
  19. Ali, R.M.; Jain, N.K.; Ravichandran, V. Radii of starlikeness associated with the lemniscate of Bernoulli and the left-half plane. Appl. Math. Comput. 2012, 128, 6557–6565. [Google Scholar] [CrossRef]
  20. Sokół, J.; Stankiewicz, J. Radius of convexity of some subclasses of strongly starlike functions. Zesz. Nauk. Politech. Rzesz. Mat. 1996, 19, 101–105. [Google Scholar]
  21. Mendiratta, R.; Nagpal, S.; Ravichandran, V. A subclass of starlike functions associated with left-half of the lemniscate of Bernoulli. Int. J. Math. 2014, 25, 1450090. [Google Scholar] [CrossRef]
  22. Raina, R.K.; Sokół, J. Some properties related to a certain class of starlike functions. Comptes Rendus Math. 2015, 353, 973–978. [Google Scholar] [CrossRef]
  23. Gandhi, S.; Ravichandran, V. Starlike functions associated with a lune. Asian-Eur. J. Math. 2017, 10, 1750064. [Google Scholar] [CrossRef]
  24. Kumar, V.; Cho, N.E.; Ravichandran, V.; Srivastava, H.M. Sharp coefficient bounds for starlike functions associated with the Bell numbers. Math. Slovaca 2019, 69, 1053–1064. [Google Scholar] [CrossRef]
  25. Goel, P.; Kumar, S.S. Certain class of starlike functions associated with modified sigmoid function. Bull. Malays. Math. Sci. Soc. 2020, 43, 957–991. [Google Scholar] [CrossRef]
  26. Kargar, R.; Ebadian, A.; Sokół, J. On Booth lemniscate of starlike functions. Anal. Math. Phys. 2019, 9, 143–154. [Google Scholar] [CrossRef]
  27. Stankiewicz, J. Quelques problemes extremaux dans les classes des fonctions α-angulairement etoilees. Ann. Univ. Mariae Curie-Skłodowska Sect. A 1966, 20, 59–75. [Google Scholar]
  28. Brannan, D.A.; Kirwan, W.E. On some classes of bounded univalent functions. J. Lond. Math. Soc. 1969, 2, 431–443. [Google Scholar] [CrossRef]
  29. Deniz, E. Sharp coefficient bounds for starlike functions associated with generalized telephone numbers. Bull. Malays. Math. Sci. Soc. 2021, 44, 1525–1542. [Google Scholar] [CrossRef]
  30. Kumar, S.; Ravichandran, V. A subclass of starlike functions associated with a rational function. Southeast Asian Bull. Math. 2016, 40, 199–212. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Gul, B.; Arif, M.; Alhefthi, R.K.; Breaz, D.; Cotîrlă, L.-I.; Rapeanu, E. On the Study of Starlike Functions Associated with the Generalized Sine Hyperbolic Function. Mathematics 2023, 11, 4848. https://doi.org/10.3390/math11234848

AMA Style

Gul B, Arif M, Alhefthi RK, Breaz D, Cotîrlă L-I, Rapeanu E. On the Study of Starlike Functions Associated with the Generalized Sine Hyperbolic Function. Mathematics. 2023; 11(23):4848. https://doi.org/10.3390/math11234848

Chicago/Turabian Style

Gul, Baseer, Muhammad Arif, Reem K. Alhefthi, Daniel Breaz, Luminiţa-Ioana Cotîrlă, and Eleonora Rapeanu. 2023. "On the Study of Starlike Functions Associated with the Generalized Sine Hyperbolic Function" Mathematics 11, no. 23: 4848. https://doi.org/10.3390/math11234848

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop