Next Article in Journal
Rainfall-Induced Landslides from Initialization to Post-Failure Flows: Stochastic Analysis with Machine Learning
Next Article in Special Issue
Differential Subordination and Differential Superordination for Classes of Admissible Multivalent Functions Associated with a Linear Operator
Previous Article in Journal
Multi-Criteria Simulation-Optimization Analysis of Usage of Automated Parcel Lockers: A Practical Approach
Previous Article in Special Issue
Novel Formulae of Certain Generalized Jacobi Polynomials
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Radii of Starlikeness of Ratios of Analytic Functions with Fixed Second Coefficients

1
Department of Mathematics, University of Delhi, Delhi 110007, India
2
Department of Mathematical Sciences, Kent State University, Kent, OH 44242, USA
3
Department of Mathematics, Aryabhatta College, Delhi 110021, India
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2022, 10(23), 4428; https://doi.org/10.3390/math10234428
Submission received: 16 October 2022 / Revised: 17 November 2022 / Accepted: 18 November 2022 / Published: 24 November 2022
(This article belongs to the Special Issue Complex Analysis and Geometric Function Theory)

Abstract

:
We introduce three classes of analytic functions with fixed second coefficients that are defined using the class P of analytic functions with positive real parts. The objective of this paper is to determine the radii such that the three classes are contained in various subclasses of starlike functions. The radii estimated in the present investigation are better than the radii obtained earlier. Furthermore, connections with previously known results are shown.

1. Introduction

Let Δ = { z C : | z | < 1 } denote the open unit disc in C and the class A be defined as the collection of all analytic functions in Δ satisfying f ( 0 ) = 1 and f ( 0 ) = 1 . The class S is defined to be a collection of univalent functions in class A . The well-known Bieberbach theorem states that, for a univalent function f ( z ) = z + a 2 z 2 + , the bound on the second coefficient, that is, | a 2 | 2 plays an important role in the study of univalent function theory. This bound has attracted the interest of many mathematicians, which led to the investigation of the class A b consisting of the functions of the form f ( z ) = z + a 2 z 2 + , | a 2 | = b for a fixed b with 0 b 1 . For n N and 0 b 1 , let A n b be the class of analytic functions of the form f ( z ) = z + n b z 2 + for z Δ such that A b : = A 1 b .
The study of class A b was initiated as early as 1920 by Gronwall [1]. He determined the growth and distortion estimates for the class of univalent functions with fixed second coefficients. In 2011, Ali et al. [2] obtained various results for the class of functions with fixed second coefficients by applying the theory of second-order differential subordination. Later, Lee et al. [3] investigated certain applications of differential subordination for such functions. Kumar et al. [4] determined the best possible estimates on the initial coefficients of Ma-Minda type univalent functions; see also [5,6]. Ali et al. [7] obtained sharp radii of starlikeness for certain classes of functions with fixed second coefficients. A survey on functions with a fixed initial coefficient can be found in [8].
Let P ( α ) denote the class of analytic functions p ( z ) = 1 + b 1 z + b 2 z 2 + satisfying the condition R e { p ( z ) } > α for some α ( 0 α < 1 ) and for all z Δ . Recall that P = P ( 0 ) is a well-known class of Carathéodory functions having a positive real part. It is well known that | b 1 | 2 ( 1 α ) ; see, for example, [9]. For any two subclasses M and N of family A of all analytic functions of the form f ( z ) = z + a 2 z 2 + ( z Δ ) , the N-radius for the class M, denoted by R N ( M ) , is the largest number ρ ( 0 , 1 ) such that r 1 f ( r z ) N , for all f M and for 0 < r < ρ . In [10,11,12], MacGregor found the radius of starlikeness for the class of functions f satisfying one of the conditions Re ( f ( z ) / z ) > 1 / 2 , Re ( f ( z ) / g ( z ) ) > 0 and | f ( z ) / g ( z ) 1 | > 0 for some univalent function g. Recently, Anand et al. [13] determined various radii results for the class of functions f with fixed second coefficients and satisfying the conditions Re ( f ( z ) / g ( z ) ) > 0 , where either g ( z ) = 1 + z or ( 1 + z ) 2 . In recent years, several authors have studied radius problems involving ratios between functions belonging to two classes where one of them belong to some particular subclass of A ; for example, see [12,14,15,16,17,18]. Motivated by these studies and by making use of the classes A 6 b , A 4 c and P , we define the following classes:
H b , c 1 = { f A 6 b : f g P and g z p P where g A 4 c , p P }
H b , c 2 = { f A 5 b : f g P and g z p P ( 1 / 2 ) where g A 3 c , p P }
and
H b 3 = { f A 4 b : f z p P where p P }
where b [ 0 , 1 ] and c [ 0 , 1 ] . By choosing suitable functions p ( z ) in the class P and letting b = 1 and c = 1 , we may obtain several well-known classes as special cases of our three classes; for example:
  • For p ( z ) = 1 / ( 1 + z ) 2 , Anand et al. [13] determined some sharp radius constants for H b 3 .
  • For p ( z ) = ( 1 z ) / ( 1 + z ) , the classes H 1 , 1 1 , H 1 , 1 2 and H 1 3 yield the classes studied by Lecko et al. [14].
  • Letting p ( z ) = 1 / ( 1 z 2 ) , 1 + z / 2 , 1 / ( 1 z 2 ) and 1 / ( 1 + z ) in H 1 , 1 1 and H 1 3 , we obtain the classes of functions studied in [19,20,21,22], respectively, for which various radius problems have been studied.
  • Ali et al. [23] obtained certain a radius of starlikeness for the classes H 1 , 1 1 and H 1 , 1 2 with p ( z ) = 1 .
In Section 2, we obtain discs centred at 1 that contain the images of the unit disc Δ under the mapping z f ( z ) / f ( z ) where f belongs to each of the classes H b , c 1 , H b , c 2 and H b 3 . Using the results of Section 2, we then determine extensions of the radii estimates in [14] along with improved radii constants for functions in the classes H b , c 1 , H b , c 2 and H b 3 to belong to several subclasses of A , such as starlike functions of order α , starlike functions associated with the lemniscate of Bernoulli, thereverse lemniscate, the sine function, the exponential function, the cardioid, the lune, the nephroid, a particular rational function, the modified sigmoid function and parabolic starlike functions.

2. Analysis and Mapping of zf ( z ) / f ( z ) for H b , c 1 , H b , c 2 and H b 3

In this section, we investigate extremal functions for all three classes H b , c 1 , H b , c 2 and H b 3 , which demonstrate the fact that the classes are non empty. Furthermore, we obtain discs centred at 1, containing the images of the disc Δ under the mapping z f / f , where f belongs to each of these classes. We begin by stating the following lemmas by McCarty:
Lemma 1 
([24]). Let b [ 0 , 1 ] and 0 α < 1 . If p P b ( α ) , then, for | z | = r < 1 ,
z p ( z ) p ( z ) 2 ( 1 α ) r 1 r 2 b r 2 + 2 r + b ( 1 2 α ) r 2 + 2 b ( 1 α ) r + 1 .
Lemma 2 
([25]). Let b [ 0 , 1 ] and 0 α < 1 . If p P b ( α ) , then, for | z | = r < 1 ,
Re z p ( z ) p ( z ) 2 ( 1 α ) r 1 + 2 α b r + ( 2 α 1 ) r 2 b r 2 + 2 r + b r 2 + 2 b r + 1 if R α R b 2 α C 1 C 1 α 1 α if R α R b ,
where R b = C b D b , R α = α C 1 and r = | z | < 1 ;
C b = ( 1 + b r ) 2 ( 2 α 1 ) ( b + r ) 2 r 2 ( 1 + 2 b r + r 2 ) ( 1 r 2 ) a n d D b = 2 ( 1 α ) ( b + r ) ( 1 + b r ) r ( 1 + 2 b r + r 2 ) ( 1 r 2 )
Lemma 3. 
Let d = | 6 b 4 c | 2 , s = | 4 c q | 2 , b [ 0 , 1 ] and c [ 0 , 1 ] . If f H b , c 1 , then, for | z | = r < 1 ,
z f ( z ) f ( z ) 1 r [ ( d r 2 + 4 r + d ) ( r 2 + s r + 1 ) ( r 2 + q r + 1 ) + ( s r 2 + 4 r + s ) ( r 2 + d r + 1 ) ( r 2 + q r + 1 ) + ( q r 2 + 4 r + q ) ( r 2 + d r + 1 ) ( r 2 + s r + 1 ) ] ( 1 r 2 ) ( r 2 + d r + 1 ) ( r 2 + s r + 1 ) ( r 2 + q r + 1 ) .
Furthermore, the class H b , c 1 is non-empty.
Proof. 
Let the functions f and g whose Taylor series expansions are given by f ( z ) = z + f 1 z 2 + and g ( z ) = z + g 1 z 2 + be such that Re { f / g } > 0 and Re { g / ( z p ) } > 0 , where p P is represented by p ( z ) = 1 + q z + . Now, consider, g / ( z p ) = 1 + ( g 1 q ) z + , where | g 1 q | 2 and | q | 2 , which gives | g 1 | 4 . Furthermore, f / g = 1 + ( f 1 g 1 ) z + , where | f 1 g 1 | 2 , and hence | f 1 | 6 . Thus, for b , c [ 0 , 1 ] , we consider the class involving the functions f and g with fixed second coefficients whose Taylor series expansions are given by f ( z ) = z + 6 b z 2 + and g ( z ) = z + 4 c z 2 + such that f A 6 b and g A 4 c . If the function f H b , c 1 , then there exists an element g A 4 c and p P such that f / g P and g / ( z p ) P . Define
h ( z ) = f ( z ) g ( z ) = 1 + ( 6 b 4 c ) z + and k ( z ) = g ( z ) z p ( z ) = 1 + ( 4 c q ) z + ,
where | 6 b 4 c | 2 and | 4 c q | 2 . Therefore, we observe that h P ( 6 b 4 c ) / 2 , k P ( 4 c q ) / 2 , p P q / 2 , and f can be expressed as f ( z ) = z p ( z ) h ( z ) k ( z ) . Then, a calculation shows that
z f ( z ) f ( z ) 1 z h ( z ) h ( z ) + z k ( z ) k ( z ) + z p ( z ) p ( z ) .
For d = | 6 b 4 c | 2 , s = | 4 c q | 2 and α = 0 , using Lemma 1, we obtain
z h ( z ) h ( z ) r ( 1 r 2 ) ( d r 2 + 4 r + d ) ( r 2 + d r + 1 ) , z k ( z ) k ( z ) r ( 1 r 2 ) ( s r 2 + 4 r + s ) ( r 2 + s r + 1 ) ,
and
z p ( z ) p ( z ) r ( 1 r 2 ) ( q r 2 + 4 r + q ) ( r 2 + q r + 1 ) .
By (2), (3) and (4), it follows that
z f ( z ) f ( z ) 1 r [ ( d r 2 + 4 r + d ) ( r 2 + s r + 1 ) ( r 2 + q r + 1 ) + ( s r 2 + 4 r + s ) ( r 2 + d r + 1 ) ( r 2 + q r + 1 ) + ( q r 2 + 4 r + q ) ( r 2 + d r + 1 ) ( r 2 + s r + 1 ) ] ( 1 r 2 ) ( r 2 + d r + 1 ) ( r 2 + s r + 1 ) ( r 2 + q r + 1 ) .
Define the functions f 1 , g 1 and p 1 : Δ C by
f 1 ( z ) = z ( 1 q z + z 2 ) ( 1 ( 4 c q ) z + z 2 ) ( 1 ( 6 b 4 c ) z + z 2 ) ( 1 z 2 ) 3 ,
g 1 ( z ) = z ( 1 q z + z 2 ) ( 1 ( 4 c q ) z + z 2 ) ( 1 z 2 ) 2 , and p 1 ( z ) = ( 1 q z + z 2 ) ( 1 z 2 ) ,
where | 6 b 4 c | 2 , | 4 c q | 2 and | q | 2 .
By (6) and (7), we have
f 1 ( z ) g 1 ( z ) = ( 1 ( 6 b 4 c ) z + z 2 ) ( 1 z 2 ) = 1 + w 1 ( z ) 1 w 1 ( z ) ,
g 1 ( z ) z p 1 ( z ) = ( 1 ( 4 c q ) z + z 2 ) ( 1 z 2 ) = 1 + w 2 ( z ) 1 w 2 ( z ) and p 1 ( z ) = ( 1 q z + z 2 ) ( 1 z 2 ) = 1 + w 3 ( z ) 1 w 3 ( z ) ,
where
w 1 ( z ) = z ( z ( 6 b 4 c ) / 2 ) ( 1 z ( 6 b 4 c ) / 2 ) , w 2 ( z ) = z ( z ( 4 c q ) / 2 ) ( 1 z ( 4 c q ) / 2 ) and w 3 ( z ) = z ( z q / 2 ) ( 1 z q / 2 ) ,
which are analytic functions satisfying the conditions of the Schwarz lemma in Δ ; hence, Re ( f 1 / g 1 ) > 0 , Re ( g 1 / ( z p 1 ) ) > 0 , and Re ( p 1 ) > 0 . Thus, f 1 / g 1 P ( 6 b 4 c ) / 2 , g 1 / ( z p 1 ) P ( 4 c q ) / 2 and p 1 P ( q / 2 ) . Thus, the function f 1 H b , c 1 , and the class H b , c 1 is non-empty. The functions
F 1 ( z ) = z ( 1 z 2 ) 3 ( 1 q z + z 2 ) ( 1 ( 4 c q ) z + z 2 ) ( 1 ( 6 b 4 c ) z + z 2 )
and f 1 are extreme functions for the class H b , c 1 provided q 2 , c q / 4 and b 2 c / 3 .
Lemma 4. 
Let m = | 5 b 3 c | 2 , n = | 3 c q | 1 , b [ 0 , 1 ] and c [ 0 , 1 ] . If f H b , c 2 , then, for | z | = r < 1 ,
z f ( z ) f ( z ) 1 r ( 1 r 2 ) m r 2 + 4 r + m r 2 + m r + 1 + n r 2 + 2 r + n n r + 1 + q r 2 + 4 r + q r 2 + q r + 1 .
Furthermore, the class H b , c 2 is non-empty.
Proof. 
Let f and g be functions given by f ( z ) = z + f 1 z 2 + and g ( z ) = z + g 1 z 2 + such that Re { f / g } > 0 and Re { g / ( z p ) } > 1 / 2 , where p P is represented by p ( z ) = 1 + q z + . Now, consider g / z p = 1 + ( g 1 q ) z + , where | g 1 q | 1 (Lemma 2, pg 33 et al. [26]) and | q | 2 , which gives | g 1 | 3 . Furthermore, f / g = 1 + ( f 1 g 1 ) z + , where | f 1 g 1 | 2 , and hence | f 1 | 5 . Therefore, we consider the class involving the functions f and g with fixed second coefficients whose Taylor series expansions are given by f ( z ) = z + 5 b z 2 + and g ( z ) = z + 3 c z 2 + where b [ 0 , 1 ] and c [ 0 , 1 ] such that f A 5 b and g A 3 c . If the function f H b , c 2 , then there exists an element g A 3 c and p P such that f / g P and g / ( z p ) P ( 1 / 2 ) . Define
h ( z ) = f ( z ) g ( z ) = 1 + ( 5 b 3 c ) z +
and
k ( z ) = g ( z ) z p ( z ) = 1 + ( 3 c q ) z + .
It is easy to see that h P ( 5 b 3 c ) / 2 , k P ( 3 c q ) , p P q / 2 , and f ( z ) = z p ( z ) h ( z ) k ( z ) . Then, a calculation shows that
z f ( z ) f ( z ) = 1 + z h ( z ) h ( z ) + z k ( z ) k ( z ) + z p ( z ) p ( z )
so that
z f ( z ) f ( z ) 1 z h ( z ) h ( z ) + z k ( z ) k ( z ) + z p ( z ) p ( z ) .
Let m = | 5 b 3 c | 2 , n = | 3 c q | 1 and α = 0 . Using Lemma 1 for the functions h , p and k, we have
z h ( z ) h ( z ) r ( 1 r 2 ) ( m r 2 + 4 r + m ) ( r 2 + m r + 1 ) , z k ( z ) k ( z ) r ( 1 r 2 ) ( n r 2 + 2 r + n ) ( n r + 1 ) ,
and
z p ( z ) p ( z ) r ( 1 r 2 ) ( q r 2 + 4 r + q ) ( r 2 + q r + 1 ) .
Inequality (10) together with (11) and (12) gives
z f ( z ) f ( z ) 1 r ( 1 r 2 ) m r 2 + 4 r + m r 2 + m r + 1 + n r 2 + 2 r + n n r + 1 + q r 2 + 4 r + q r 2 + q r + 1 .
Define the functions f 2 , g 2 : Δ C by
f 2 ( z ) = z ( 1 q z + z 2 ) ( 1 ( 3 c q ) z ) ( 1 ( 5 b 3 c ) z + z 2 ) ( 1 z 2 ) 3 ,
and
g 2 ( z ) = z ( 1 q z + z 2 ) ( 1 ( 3 c q ) z ) ( 1 z 2 ) 2 , where | 5 b 3 c | 2 and | 3 c q | 1 .
It follows from (7), (14) and (15) that
f 2 ( z ) g 2 ( z ) = ( 1 ( 5 b 3 c ) z + z 2 ) ( 1 z 2 ) = 1 + w 4 ( z ) 1 w 4 ( z ) ,
and
g 2 ( z ) z p 1 ( z ) = ( 1 ( 3 c q ) z ) ( 1 z 2 ) = 1 + w 5 ( z ) 1 w 5 ( z ) ,
where
w 4 ( z ) = z ( z ( 5 b 3 c ) / 2 ) ( 1 z ( 5 b 3 c ) / 2 ) and w 5 ( z ) = z ( z ( 3 c q ) ) ( 2 ( 3 c q ) z z 2 )
are Schwarz functions in the unit disc Δ , and hence Re ( f 2 / g 2 ) > 0 , Re ( g 2 / ( z p 1 ) ) > 1 / 2 and Re ( p 1 ) > 0 (as shown for class H b , c 1 ). Thus, f 2 / g 2 P ( 5 b 3 c ) / 2 , g 2 / ( z p 1 ) P ( 3 c q ) , and p 1 P ( q / 2 ) . Hence, f 2 H b , c 2 , and the class H b , c 2 is non-empty. Furthermore, the function f 2 is an extreme function for the class H b , c 2 provided q 2 , c q / 3 and b 3 c / 5 .
Lemma 5. 
Let l = | 4 b q | 2 , | q | 2 and b [ 0 , 1 ] . If f H b 3 , then, for | z | = r < 1 ,
z f ( z ) f ( z ) 1 r [ ( l r 2 + 4 r + l ) ( q r 2 + 4 r + q ) + ( q r 2 + 4 r + q ) ( r 2 + l r + 1 ) ] ( 1 r 2 ) ( r 2 + l r + 1 ) ( r 2 + q r + 1 ) .
Furthermore, the class H b 3 is non-empty.
Proof. 
Let the functions f and g whose Taylor series expansions are given by f ( z ) = z + f 1 z 2 + . . be such that Re { f / ( z p ) } > 0 , where p P is represented by p ( z ) = 1 + q z + . Now, consider f / ( z p ) = 1 + ( f 1 q ) z + , where | f 1 q | 2 and | q | 2 , which gives | f 1 | 4 . Therefore, we consider the function f with a fixed second coefficient whose Taylor series expansion is given by f ( z ) = z + 4 b z 2 + where b [ 0 , 1 ] such that f A 4 b . If the function f H b 3 , then there exists p P such that f / ( z p ) P . Define the function
h ( z ) = f z p ( z ) = 1 + ( 4 b q ) z +
so that h P ( 4 b q ) / 2 , p P q / 2 and f can be expressed as f ( z ) = z p ( z ) h ( z ) . Then, a calculation shows that
z f ( z ) f ( z ) 1 z h ( z ) h ( z ) + z p ( z ) p ( z ) .
From Lemma 1, for l = | 4 b q | 2 , | q | 2 and α = 0 , we obtain
z h ( z ) h ( z ) r ( 1 r 2 ) ( l r 2 + 4 r + l ) ( r 2 + l r + 1 ) and z p ( z ) p ( z ) r ( 1 r 2 ) ( q r 2 + 4 r + q ) ( r 2 + q r + 1 ) .
Using (16) and (17), it is easy to show that
z f ( z ) f ( z ) 1 r [ ( l r 2 + 4 r + l ) ( q r 2 + 4 r + q ) + ( q r 2 + 4 r + q ) ( r 2 + l r + 1 ) ] ( 1 r 2 ) ( r 2 + l r + 1 ) ( r 2 + q r + 1 ) .
Define the functions f 3 : Δ C by
f 3 ( z ) = z ( 1 q z + z 2 ) ( 1 ( 4 b q ) z + z 2 ) ( 1 z 2 ) 2 , | 4 b q | 2 .
Then, (17) together with (7) gives
f 3 ( z ) z p 1 ( z ) = ( 1 ( 4 b q ) z + z 2 ) ( 1 z 2 ) = 1 + w 6 ( z ) 1 w 6 ( z ) , where w 6 ( z ) = z ( z ( 4 b q ) / 2 ) ( 1 z ( 4 b q ) / 2 ) ,
which is an analytic function satisfying the conditions of the Schwarz lemma in Δ , and hence Re ( f 3 / ( z p 1 ) ) > 0 and Re ( p 1 ) > 0 (shown above in class H b , c 1 ). Thus, f 3 / ( z p 1 ) P ( 6 b q ) / 2 and p 1 P ( q / 2 ) . Thus, the function f 3 H b 3 , and the class H b 3 is non-empty. Furthermore, the functions given by
F 3 ( z ) = z ( 1 z 2 ) 2 ( 1 q z + z 2 ) ( 1 ( 4 b q ) z + z 2 ) , | 4 b q | 2
and f 3 are extreme functions for the class H b 3 provided q 2 and b q / 4 .

3. Radius of Starlikeness

Using the information in the previous sections, we now investigate several radius problems associated with the functions in the classes H b , c 1 , H b , c 2 and H b 3 . In particular, we determine sharp estimates of the radii constants R N ( H b , c 1 ) , R N ( H b , c 2 ) and R N ( H b 3 ) , where N is one of the classes of starlike functions mentioned in Section 1 that can be obtained from the Ma and Minda [10] class S * ( ψ ) given by
S * ( ψ ) = { f A : z f ( z ) / f ( z ) ψ ( z ) } .
Here, ≺ is the usual notation for subordination, and ψ is an analytic and univalent function with a positive real part in Δ with ψ ( 0 ) = 1 . ψ ( 0 ) > 0 and ψ maps Δ onto a region that is starlike with respect to 1 and symmetric with respect to the real axis. Recently, Anand et al. [27] obtained results for a class of analytic functions defined using the function ψ . Throughout this section, we assume that d = | 6 b 4 c | 2 , s = | 4 c q | 2 , m = | 5 b 3 c | 2 , n = | 3 c q | 1 , and l = | 4 b q | 2 .
For 0 α 1 , the class S * ( α ) = S * [ 1 2 α , 1 ] = { f A : Re ( z f ( z ) / f ( z ) ) > α } is the class of starlike functions of order α . In our first main theorem, we determine sharp estimates of the radii constants R S * ( α ) ( H b , c 1 ) , R S * ( α ) ( H b , c 2 ) and R S * ( α ) ( H b 3 ) .
Theorem 1. 
The sharp S * ( α ) radii for the classes H b , c 1 , H b , c 2 and H b 3 are as follows:
1. 
For the class H b , c 1 , the sharp S * ( α ) radius ρ 1 ( 0 , 1 ) is the smallest root of the equation x 1 ( r ) = 0 , where
x 1 ( r ) = α 1 + α ( d + s + q ) r + ( 10 + 2 α + d s + α d s + ( 1 + α ) ( d + s ) q ) r 2 + ( ( 10 + α ) ( s + q ) + d ( 10 + α + ( 2 + α ) s q ) ) r 3 + 8 ( 3 + s q + d ( s + q ) ) r 4 + ( ( 12 + α ) ( s + q ) d ( 12 + α + ( 4 + α ) s q ) ) r 5 + ( 14 + 3 s q + 3 d ( s + q ) α ( 2 + s q + d ( s + q ) ) ) r 6 ( 2 + α ) ( d + s + q ) r 7 + ( 1 α ) r 8 .
2. 
For the class H b , c 2 , the sharp S * ( α ) radius ρ 2 ( 0 , 1 ) is the smallest root of the equation x 2 ( r ) = 0 , where
x 2 ( r ) = 4 1 r 2 1 1 + n r + 2 + 2 n r 1 + 2 n r + r 2 + 2 + m r 1 + r ( m + r ) + 2 + q r 1 + r ( q + r ) α .
3. 
For the class H b 3 , the sharp S * ( α ) radius ρ 3 ( 0 , 1 ) is the smallest root of the equation x 3 ( r ) = 0 , where
x 3 ( r ) = α 1 + α ( l + q ) r + ( 7 + α + ( 1 + α ) l q ) r 2 + 6 ( l + q ) r 3 + ( 9 + 3 l q α ( 1 + l q ) ) r 4 ( 2 + α ) ( l + q ) r 5 + ( 1 α ) r 6 .
Proof. 
The radii estimates for their respective classes are found as follows:
  • Note that x 1 ( 0 ) = ( α 1 ) < 0 and x 1 ( 1 ) = 6 ( 2 + d ) ( 2 + e ) ( 2 + q ) > 0 ; thus, in view of the Intermediate Value Theorem, there exists a root of the equation x 1 ( r ) = 0 in the interval ( 0 , 1 ) . Let r = ρ 1 ( 0 , 1 ) be the smallest root of the equation x 1 ( r ) = 0 . For f H b , c 1 , using (5), we have
    z f ( z ) f ( z ) 1 r ( 1 r 2 ) d r 2 + 4 r + d r 2 + d r + 1 + s r 2 + 4 r + s r 2 + s r + 1 + q r 2 + 4 r + q r 2 + q r + 1 ,
    which yields
    Re z f ( z ) f ( z ) 1 r ( 1 r 2 ) d r 2 + 4 r + d r 2 + d r + 1 + s r 2 + 4 r + s r 2 + s r + 1 + q r 2 + 4 r + q r 2 + q r + 1 α
    whenever x 1 ( r ) 0 . This shows that Re ( z f ( z ) / f ( z ) ) α for | z | = r ρ 1 .
    For u = 6 b 4 c 0 , v = 4 c q 0 , using (22), the function F 1 ( z ) , defined for the class H b , c 1 in (8) at z = ρ 1 , satisfies the equality
    Re z F 1 ( z ) F 1 ( z ) = 1 ρ 1 ( 1 ρ 1 2 ) u ρ 1 2 + 4 ρ 1 + u ρ 1 2 + u ρ 1 + 1 + v ρ 1 2 + 4 ρ 1 + v ρ 1 2 + v ρ 1 + 1 + q ρ 1 2 + 4 ρ 1 + q ρ 1 2 + q ρ 1 + 1 = α .
    This proves that the radius is sharp.
  • A calculation shows that x 2 ( 0 ) = 1 α > 0 and x 2 ( 1 / 3 ) = ( 60 ( 5 + ( 12 + n ) n ) + 6 ( 135 + n ( 148 + 21 n ) ) q + 3 m ( 9 ( 30 + 17 q ) + n ( 296 + 42 n + 156 q + 27 n q ) ) + 2 ( 10 + 3 m ) ( 3 + n ) ( 5 + 3 n ) ( 10 + 3 q ) α ) / ( 2 ( 10 + 3 m ) ( 3 + n ) ( 5 + 3 n ) ( 10 + 3 q ) ) < 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 / 3 ) of the equation x 2 ( r ) = 0 . Let ρ 2 ( 0 , 1 / 3 ) be the smallest root of the equation x 2 ( r ) = 0 and f H b , c 2 . An easy calculation shows that, for 0 < r < 1 / 3 ,
    C b D b C 1 / 2 = 1 + 4 r 2 + 2 b 2 r 2 + 8 b r 3 + r 4 + 2 b 2 r 4 2 ( 1 + r ) ( 1 + r ) 1 + 2 b r + r 2 2 > 0 ,
    where C b and D b are given by (1). From (9) and (11) and using Lemma 2 together with (23), we have
    Re z f ( z ) f ( z ) 1 r 1 r 2 m r 2 + 4 r + m r 2 + m r + 1 + q r 2 + 4 r + q r 2 + q r + 1 r n + 2 r + n r 2 ( 1 + n r ) 1 + 2 n r + r 2 α
    whenever x 2 ( r ) 0 . Thus, Re ( z f ( z ) / f ( z ) ) α for | z | = r ρ 2 . To prove the sharpness, consider the function F 2 , G 2 : Δ C defined by
    F 2 ( z ) = z ( 1 + 3 c z q z ) ( 1 z 2 ) 2 ( 1 + 5 b z 3 c z + z 2 ) ( 1 + 6 c z 2 q z + z 2 ) ( 1 + q z + z 2 )
    and
    G 2 ( z ) = z 1 z 2 ( 1 + q z + z 2 ) ( 1 + 3 c z q z ) ,
    where | 5 b 3 c | 2 and | 3 c q | 1 . Note that, for c = ( 1 + q ) / 3 ,
    F 2 ( z ) G 2 ( z ) = ( 1 z 2 ) 1 ( 1 5 b + q ) z + z 2 = 1 + w 1 ( z ) 1 w 1 ( z )
    and
    G 2 ( z ) z p 1 ( z ) = 1 1 + 3 c z q z = 1 + w 2 ( z ) 1 w 2 ( z ) ,
    where
    w 1 ( z ) = ( 1 5 b + q 2 z ) z 2 + ( 1 + 5 b q ) z and w 2 ( z ) = ( q 3 c ) z 2 + ( 3 c q ) z
    are Schwarz functions; hence, Re ( F 2 / G 2 ) > 0 , Re ( G 2 / ( z p 1 ) ) > 0 , and Re ( p 1 ) > 0 . For 5 b 3 c 0 , 3 c q = 1 and z = ρ 2 , it follows from (24) that
    Re z F 2 ( z ) F 2 ( z ) = 1 ρ 2 1 ρ 2 2 m ρ 2 2 + 4 ρ 2 + m ρ 2 2 + m ρ 2 + 1 + q ρ 2 2 + 4 ρ 2 + q ρ 2 2 + q ρ 2 + 1 ρ 2 n + 2 ρ 2 + n ρ 2 2 ( 1 + n ρ 2 ) 1 + 2 n ρ 2 + ρ 2 2 = α .
  • It is easy to see that x 3 ( 0 ) = α 1 < 0 and x 3 ( 1 ) = 4 ( 2 + l ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 3 ( r ) = 0 . Let ρ 3 ( 0 , 1 ) be the smallest root of the equation x 3 ( r ) = 0 . From (18), it follows that, for any f H b 3 ,
    Re z f ( z ) f ( z ) 1 r 1 r 2 l r 2 + 4 r + l r 2 + l r + 1 + q r 2 + 4 r + q r 2 + q r + 1 α
    whenever x 3 ( r ) 0 . This proves that Re ( z f ( z ) / f ( z ) ) α for | z | = r ρ 3 . The result is sharp for the function F 3 defined for the class H b 3 in (20). At z = ρ 3 and for u = 4 b q 0 , it follows from (25) that
    Re z F 3 ( z ) F 3 ( z ) = 1 ρ 3 1 ρ 3 2 u ρ 3 2 + 4 ρ 3 + u ρ 3 2 + u ρ 3 + 1 + q ρ 3 2 + 4 ρ 3 + q ρ 3 2 + q ρ 3 + 1 = α .
Remark 1. 
Figure 1 represents that the S * ( 1 2 ) radii estimated for all three classes are sharp.
Remark 2. 
For b = 1 , c = 1 and q = 2 , Theorem 1 yields the corresponding result determined in (Theorem 1, p. 6, [14]).
Placing α = 0 in Theorem 1, we obtain the radius of starlikeness for the classes H b , c 1 , H b , c 2 and H b 3 .
Corollary 1. 
The sharp S * : = S * ( 0 ) radii for the classes H b , c 1 , H b , c 2 and H b 3 are as follows:
1. 
For the class H b , c 1 , the sharp S * radius ρ 1 ( 0 , 1 ) is the smallest root of the equation x 1 ( r ) = 0 , where
x 1 ( r ) = 1 + ( 10 + q s + d ( q + s ) ) r 2 + 2 ( 5 ( q + s ) + d ( 5 + q s ) ) r 3 + 8 ( 3 + q s + d ( q + s ) ) r 4 + 4 ( 3 ( q + s ) + d ( 3 + q s ) ) r 5 + ( 14 + 3 q s + 3 d ( q + s ) ) r 6 + 2 ( d + q + s ) r 7 + r 8 .
2. 
For the class H b , c 2 , the sharp S * radius ρ 2 ( 0 , 1 ) is the smallest root of the equation x 2 ( r ) = 0 , where
x 2 ( r ) = 4 1 r 2 1 1 + n r + 2 + 2 n r 1 + 2 n r + r 2 + 2 + m r 1 + r ( m + r ) + 2 + q r 1 + r ( q + r ) .
3. 
For the class H b 3 , the sharp S * radius ρ 3 ( 0 , 1 ) is the smallest root of the equation x 3 ( r ) = 0 , where
x 3 ( r ) = 1 + ( 7 + l q ) r 2 + 6 ( l + q ) r 3 + ( 9 + 3 l q ) r 4 + 2 ( l + q ) r 5 + r 6 .
The class S L * = S * ( 1 + z ) is another class that can be obtained from the Ma-Minda class. It represents the collection of functions in the class A whose z f ( z ) / f ( z ) lies in the region bounded by the lemniscate of Bernoulli | w 2 1 | = 1 . Various studies on S L * can be seen in [28,29]. In the following result, we obtain the sharp radii constants R S L * ( H b , c 1 ) , R S L * ( H b , c 2 ) and R S L * ( H b 3 ) .
Theorem 2. 
The sharp S L * radii for the classes H b , c 1 , H b , c 2 and H b 3 are as follows:
1. 
For the class H b , c 1 , the sharp S L * radius ρ 1 ( 0 , 1 ) is the smallest root of the equation x 1 ( r ) = 0 , where
x 1 ( r ) = ( 1 2 ) ( 2 + 2 ) ( d + s + q ) r + ( 2 ( 7 + 2 ) ( 3 + 2 ) ( s q + d ( s + q ) ) ) r 2 + ( ( 12 + 2 ) ( s + q ) d ( 12 + 2 + ( 4 + 2 ) s q ) ) r 3 + 8 ( 3 + s q + d ( s + q ) ) r 4 + ( ( 10 + 2 ) ( s + q ) + d ( 10 + 2 + ( 2 + 2 ) s q ) ) r 5 + ( 2 ( 5 + 2 ) + ( 1 + 2 ) ( s q + d ( s + q ) ) ) r 6 + 2 ( d + s + q ) r 7 + ( 1 + 2 ) r 8 .
2. 
For the class H b , c 2 , the sharp S L * radius ρ 2 ( 0 , 1 ) is the smallest root of the equation x 2 ( r ) = 0 , where
x 2 ( r ) = ( 1 2 ) ( 2 + 2 ) ( m + n + q ) r + ( 11 2 ( 3 + 2 ) ( n q + m ( n + q ) ) ) r 2 + ( 8 ( m + q ) n ( 12 + 2 + ( 4 + 2 ) m q ) ) r 3 + ( 11 + 2 + ( 3 + 2 ) m q + 8 n ( m + q ) ) r 4 + ( ( 10 + 2 ) n + ( 2 + 2 ) q + ( 2 + 2 ) m ( 1 + n q ) ) r 5 + ( 1 + 2 ) ( 1 + n ( m + q ) ) r 6 + 2 n r 7 .
3. 
For the class H b 3 , the sharp S L * radius ρ 3 ( 0 , 1 ) is the smallest root of the equation x 3 ( r ) = 0 , where
x 3 ( r ) = ( 1 2 ) ( 2 + 2 ) ( l + q ) r + ( 9 2 ( 3 + 2 ) l q ) r 2 + 6 ( l + q ) r 3 + ( 7 + 2 + ( 1 + 2 ) l q ) r 4 + 2 ( l + q ) r 5 + ( 1 + 2 ) r 6 .
Proof. 
  • Note that x 1 ( 0 ) = ( 1 2 ) < 0 and x 1 ( 1 ) = 6 ( 2 + d ) ( 2 + q ) ( 2 + s ) > 0 ; thus, in view of the Intermediate Value Theorem, there exists a root of the equation x 1 ( r ) = 0 in the interval ( 0 , 1 ) . Let r = ρ 1 ( 0 , 1 ) be the smallest root of the equation x 1 ( r ) = 0 . Ali et al. [30] (Lemma 2.2) proved that, for 2 2 / 3 < C < 2 ,
    w C : | w C | < 2 C w C : | w 2 1 | < 1 .
    In view of (26) and the fact that the centre of the disc in (21) is 1, f S L * if
    r ( 1 r 2 ) d r 2 + 4 r + d r 2 + d r + 1 + s r 2 + 4 r + s r 2 + s r + 1 + q r 2 + 4 r + q r 2 + q r + 1 2 1 ,
    which is equivalent to f S L * if x 1 ( r ) 0 . Since x 1 ( 0 ) < 0 and ρ 1 is the smallest root of the equation x 1 ( r ) = 0 , x 1 ( r ) is an increasing function on ( 0 , ρ 1 ) . In view of this f S L * for | z | = r ρ 1 . For u = 6 b 4 c 0 , v = 4 c q 0 , using (27), the function f 1 ( z ) defined for the class H b , c 1 in (6) at z = ρ 1 satisfies the following equality
    z f 1 ( z ) f 1 ( z ) 2 1 = 1 ρ 1 ( 1 ρ 1 2 ) u ρ 1 2 + 4 ρ 1 + u ρ 1 2 + u ρ 1 + 1 + v ρ 1 2 + 4 ρ 1 + v ρ 1 2 + v ρ 1 + 1 + q ρ 1 2 + 4 ρ 1 + q ρ 1 2 + q ρ 1 + 1 2 1 = 1 .
    Thus, the radius is sharp.
  • A calculation shows that x 2 ( 0 ) = 1 2 < 0 and x 2 ( 1 ) = 6 ( 2 + m ) ( 1 + n ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 2 ( r ) = 0 . Let ρ 2 ( 0 , 1 ) be the smallest root of the equation x 2 ( r ) = 0 , and f H b , c 2 . As the centre of the disc in (13) is 1, by (26), f S L * if
    r ( 1 r 2 ) m r 2 + 4 r + m r 2 + m r + 1 + n r 2 + 2 r + n n r + 1 + q r 2 + 4 r + q r 2 + q r + 1 2 1 ,
    which is equivalent to f S L * if x 2 ( r ) 0 . Since x 2 ( 0 ) < 0 and ρ 2 is the smallest root of the equation x 2 ( r ) = 0 , x 2 ( r ) is an increasing function on ( 0 , ρ 2 ) . Thus, f S L * for | z | = r ρ 2 . To prove the sharpness, consider the function f 2 defined in (14). For u = 5 b 3 c 0 , v = 3 c q 0 and z = ρ 2 , it follows from (28) that
    z f 2 ( z ) f 2 ( z ) 2 1 = 1 ρ 2 ( 1 ρ 2 2 ) u ρ 2 2 + 4 ρ 2 + u ρ 2 2 + u ρ 2 + 1 + v ρ 2 2 + 2 ρ 2 + v v ρ 2 + 1 + q ρ 2 2 + 4 ρ 2 + q ρ 2 2 + q ρ 2 + 1 2 1 = 1 .
  • It is easy to see that x 3 ( 0 ) = 1 2 < 0 and x 3 ( 1 ) = 4 ( 2 + l ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 3 ( r ) = 0 . Let ρ 3 ( 0 , 1 ) be the smallest root of the equation x 3 ( r ) = 0 . From (16) and (17) it follows that, for any f H b 3
    z f ( z ) f ( z ) 1 r 1 r 2 l r 2 + 4 r + l r 2 + l r + 1 + q r 2 + 4 r + q r 2 + q r + 1 .
    As the centre of the disc in (29) is 1, by (26), f S L * if
    r 1 r 2 l r 2 + 4 r + l r 2 + l r + 1 + q r 2 + 4 r + q r 2 + q r + 1 2 1 ,
    which is equivalent to f S L * if x 3 ( r ) 0 . Since x 3 ( 0 ) < 0 and ρ 3 is the smallest root of the equation x 3 ( r ) = 0 , x 3 ( r ) is an increasing function on ( 0 , ρ 3 ) . This proves that f S L * for | z | = r ρ 3 .
    The result is sharp for the function f 3 defined for the class H b 3 in (19). At z = ρ 3 and for u = 4 b q 0 , it follows from (30) that
    z f 3 ( z ) f 3 ( z ) 2 1 = ρ 3 1 ρ 3 2 u ρ 3 2 + 4 ρ 3 + u ρ 3 2 + u ρ 3 + 1 + q ρ 3 2 + 4 ρ 3 + q ρ 3 2 + q ρ 3 + 1 2 1 = 1 .
Remark 3. 
Figure 2 represents extreme S L * radii estimated for all three classes.
Remark 4. 
For b = 1 , c = 1 and q = 2 , Theorem 2 yields the corresponding result determined in (Theorem 2, p. 8, [14]).
For ϕ P A R = 1 + 2 π 2 log 1 + z 1 z 2 , the class S p * : = S * ( ϕ P A R ) is the class of parabolic starlike functions. A function f S p * provided z f ( z ) / f ( z ) lies in the parabolic region given by { w C : Re ( w ) > | w 1 | } . For further reading, refer to [11,31,32,33]. The following theorem gives the sharp radii constants R S p * ( H b , c 1 ) , R S p * ( H b , c 2 ) and R S p * ( H b 3 ) .
Theorem 3. 
The sharp S p * radii for the classes H b , c 1 , H b , c 2 and H b 3 are as follows:
1. 
For the class H b , c 1 , the sharp S p * radius ρ 1 ( 0 , 1 ) is the smallest root of the equation x 1 ( r ) = 0 , where
x 1 ( r ) = 1 + ( d + s + q ) r + ( 22 + 3 s q + 3 d ( s + q ) ) r 2 + ( 21 ( s + q ) + d ( 21 + 5 s q ) ) r 3 + 16 ( 3 + s q + d ( s + q ) ) r 4 + ( 23 ( s + q ) + d ( 23 + 7 s q ) ) r 5 + ( 26 + 5 s q + 5 d ( s + q ) ) r 6 + 3 ( d + s + q ) r 7 + r 8 .
2. 
For the class H b , c 2 , S p * radius ρ 2 ( 0 , 1 ) is the smallest root of the equation x 2 ( r ) = 0 , where
x 2 ( r ) = 1 + ( m + q ) r + ( 18 + 4 m n + 3 m q + 4 n q ) r 2 + ( 17 m + 36 n + 17 q + 8 m n q ) r 3 + ( 40 + 28 m n + 12 m q + 28 n q ) r 4 + ( 19 m + 40 n + 19 q + 12 m n q ) r 5 + ( 22 + 8 m n + 5 m q + 8 n q ) r 6 + ( 3 m + 4 n + 3 q ) r 7 + r 8 .
3. 
For the class H b 3 , the sharp S p * radius ρ 3 ( 0 , 1 ) is the smallest root of the equation x 3 ( r ) = 0 , where
x 3 ( r ) = 1 + ( l + q ) r + 3 ( 5 + l q ) r 2 + 12 ( l + q ) r 3 + ( 17 + 5 l q ) r 4 + 3 ( l + q ) r 5 + r 6 .
Proof. 
  • Note that x 1 ( 0 ) = 1 < 0 and x 1 ( 1 ) = 12 ( 2 + d ) ( 2 + q ) ( 2 + s ) > 0 ; thus, in view of the Intermediate Value Theorem, there exists a root of the equation x 1 ( r ) = 0 in the interval ( 0 , 1 ) . Let r = ρ 1 ( 0 , 1 ) be the smallest root of the equation x 1 ( r ) = 0 . Shanmughan and Ravichandran (p. 321, [34]) proved, for 1 / 2 < C < 3 / 2 , that
    { w C : | w C | < C 1 / 2 } { w C : Re ( w ) > | w 1 | } .
    As the centre of the disc in (21) is 1, by (31), f S p * if
    r ( 1 r 2 ) d r 2 + 4 r + d r 2 + d r + 1 + s r 2 + 4 r + s r 2 + s r + 1 + q r 2 + 4 r + q r 2 + q r + 1 1 2 ,
    which is equivalent to f S p * if x 1 ( r ) 0 . Since x 1 ( 0 ) < 0 and ρ 1 is the smallest root of the equation x 1 ( r ) = 0 , x 1 ( r ) is an increasing function on ( 0 , ρ 1 ) . In view of this, f S p * for | z | = r ρ 1 . For u = 6 b 4 c 0 , v = 4 c q 0 , using (32), the function F 1 ( z ) defined for the class H b , c 1 in (8) at z = ρ 1 , satisfies the following equality
    Re z F 1 ( z ) F 1 ( z ) = 1 ρ 1 ( 1 ρ 1 2 ) u ρ 1 2 + 4 ρ 1 + u ρ 1 2 + u ρ 1 + 1 + v ρ 1 2 + 4 ρ 1 + v ρ 1 2 + v ρ 1 + 1 + q ρ 1 2 + 4 ρ 1 + q ρ 1 2 + q ρ 1 + 1 = z F 1 ( z ) F 1 ( z ) 1 .
    This proves that the radius is sharp.
  • A calculation shows that x 2 ( 0 ) = 1 < 0 and
    x 2 1 3 = 4 ( 9 m ( 190 + 89 q + n ( 146 + 63 q ) ) + 2 ( 1250 + 855 q + 3 n ( 410 + 219 q ) ) ) 6561
    , which is greater than 0. By the Intermediate Value Theorem, there exists a root r ( 0 , 1 / 3 ) of the equation x 2 ( r ) . Let ρ 2 ( 0 , 1 / 3 ) be the smallest root of the equation x 2 ( r ) = 0 and f H b , c 2 . From (9) and (11) and using Lemma 2 together with (23), we have
    Re z f ( z ) f ( z ) 1 r 1 r 2 m r 2 + 4 r + m r 2 + m r + 1 + q r 2 + 4 r + q r 2 + q r + 1 r n + 2 r + n r 2 ( 1 + n r ) 1 + 2 n r + r 2 r ( 1 r 2 ) m r 2 + 4 r + m r 2 + m r + 1 + n r 2 + 2 r + n n r + 1 + q r 2 + 4 r + q r 2 + q r + 1 z f 2 ( z ) f 2 ( z ) 1
    whenever x 2 ( r ) 0 . Since x 2 ( 0 ) < 0 and ρ 2 is the smallest root of the equation x 2 ( r ) = 0 , x 2 ( r ) is an increasing function on ( 0 , ρ 2 ) . Thus, f S p * for | z | = r ρ 2 .
  • It is easy to see that x 3 ( 0 ) = 1 < 0 and x 3 ( 1 ) = 8 ( 2 + l ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 3 ( r ) = 0 . Let ρ 3 ( 0 , 1 ) be the smallest root of the equation x 3 ( r ) = 0 . In view of (31) and the fact that the centre of the disc in (29) is 1, f S p * if
    r 1 r 2 l r 2 + 4 r + l r 2 + l r + 1 + q r 2 + 4 r + q r 2 + q r + 1 1 2 ,
    which is equivalent to f S p * if x 3 ( r ) 0 . Since x 3 ( 0 ) < 0 and ρ 3 is the smallest root of the equation x 3 ( r ) = 0 , x 3 ( r ) is an increasing function on ( 0 , ρ 3 ) . This proves that f S p * for | z | = r ρ 3 .
    The result is sharp for the function F 3 defined for the class H b 3 in (20). At z = ρ 3 and for u = 4 b q 0 , it follows from (33) that
    Re z F 3 ( z ) F 3 ( z ) = 1 ρ 3 1 ρ 3 2 u ρ 3 2 + 4 ρ 3 + u ρ 3 2 + u ρ 3 + 1 + q ρ 3 2 + 4 ρ 3 + q ρ 3 2 + q ρ 3 + 1 = z F 3 ( z ) F 3 ( z ) 1 .
Remark 5. 
Placing b = 1 , c = 1 and q = 2 in Theorem 3, we obtain the result (Theorem 3, p. 9, [14]) with the part ( i i ) having an improved radius ( = 0.0990195 > 0.0972 ).
In 2015, the class of starlike functions associated with the exponential function as S e * = S * ( e z ) was introduced by Mendiratta et al. [35]. It satisfies the condition | log ( z f ( z ) / f ( z ) ) | < 1 . Our next theorem gives the sharp radii constants R S e * ( H b , c 1 ) , R S e * ( H b , c 2 ) and R S e * ( H b 3 ) .
Theorem 4. 
The S e * radii for the classes H b , c 1 , H b , c 2 and H b 3 are as follows:
1. 
For the class H b , c 1 , the sharp S e * radius ρ 1 ( 0 , 1 ) is the smallest root of the equation x 1 ( r ) = 0 , where
x 1 ( r ) = ( 1 e ) + ( d + q + s ) r + ( 2 + 10 e + d q + d e q + ( 1 + e ) ( d + q ) s ) r 2 + ( q + s + 10 e ( q + s ) + d ( 1 + q s + 2 e ( 5 + q s ) ) ) r 3 + 8 e ( 3 + q s + d ( q + s ) ) r 4 + ( ( 1 + 12 e ) ( q + s ) + d ( 1 q s + 4 e ( 3 + q s ) ) ) r 5 + ( 2 + 14 e d q + 3 d e q + ( 1 + 3 e ) ( d + q ) s ) r 6 + ( 1 + 2 e ) ( d + q + s ) r 7 + ( 1 + e ) r 8 .
2. 
For the class H b , c 2 , S e * radius ρ 2 ( 0 , 1 ) is the smallest root of the equation x 2 ( r ) = 0 , where
x 2 ( r ) = ( 1 e ) + ( m + n + q ) r + ( 1 + 9 e + ( 1 + e ) ( n q + m ( n + q ) ) ) r 2 + ( 8 e ( m + q ) + n ( 1 + m q + 2 e ( 5 + m q ) ) ) r 3 + ( 1 m q + e ( 13 + 8 m n + 5 m q + 8 n q ) ) r 4 + ( n q + 4 e ( 3 n + q ) + m ( 1 + 4 e ) ( 1 + n q ) ) r 5 + ( 1 + 3 e ) ( 1 + n ( m + q ) ) r 6 + n ( 1 + 2 e ) r 7 .
3. 
For the class H b 3 , the sharp S e * radius ρ 3 ( 0 , 1 ) is the smallest root of the equation x 3 ( r ) = 0 , where
x 3 ( r ) = ( 1 e ) + ( l + q ) r + ( 1 + 7 e + ( 1 + e ) l q ) r 2 + 6 e ( l + q ) r 3 + ( 1 + 9 e + ( 1 + 3 e ) l q ) r 4 + ( 1 + 2 e ) ( l + q ) r 5 + ( 1 + e ) r 6 .
Proof. 
  • Note that x 1 ( 0 ) = 1 e < 0 and x 1 ( 1 ) = 6 e ( 2 + d ) ( 2 + q ) ( 2 + s ) > 0 ; thus, in view of the Intermediate Value Theorem, there exists a root of the equation x 1 ( r ) = 0 in the interval ( 0 , 1 ) . Let r = ρ 1 ( 0 , 1 ) be the smallest root of the equation x 1 ( r ) = 0 . Mendiratta et al. [35] proved, for e 1 C ( e + e 1 ) / 2 ) , that
    { w C : | w C | < C e 1 } { w C : | log ( w ) | < 1 } .
    As the centre of the disc in (21) is 1, by (34), f S e * if
    r ( 1 r 2 ) d r 2 + 4 r + d r 2 + d r + 1 + s r 2 + 4 r + s r 2 + s r + 1 + q r 2 + 4 r + q r 2 + q r + 1 1 1 e ,
    which is equivalent to f S e * if x 1 ( r ) 0 . Since x 1 ( 0 ) < 0 and ρ 1 is the smallest root of the equation x 1 ( r ) = 0 , x 1 ( r ) is an increasing function on ( 0 , ρ 1 ) . In view of this, f S e * for | z | = r ρ 1 . For u = 6 b 4 c 0 , v = 4 c q 0 , using (35), the function F 1 ( z ) defined for the class H b , c 1 in (8) at z = ρ 1 , satisfies the following equality,
    log z F 1 ( z ) F 1 ( z ) = log 1 ρ 1 ( 1 ρ 1 2 ) u ρ 1 2 + 4 ρ 1 + u ρ 1 2 + u ρ 1 + 1 + v ρ 1 2 + 4 ρ 1 + v ρ 1 2 + v ρ 1 + 1 + q ρ 1 2 + 4 ρ 1 + q ρ 1 2 + q ρ 1 + 1 = log 1 e = 1 .
    Thus, the radius is sharp.
  • A calculation shows that x 2 ( 0 ) = 1 e < 0 and x 2 ( 1 ) = 6 e ( 2 + m ) ( 1 + n ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 2 ( r ) = 0 . Let ρ 2 ( 0 , 1 ) be the smallest root of the equation x 2 ( r ) = 0 and f H b , c 2 . In view of (34) and the fact that the centre of the disc in (13) is 1, f S e * if
    r ( 1 r 2 ) m r 2 + 4 r + m r 2 + m r + 1 + n r 2 + 2 r + n n r + 1 + q r 2 + 4 r + q r 2 + q r + 1 1 1 e ,
    which is equivalent to f S e * if x 2 ( r ) 0 . Since x 2 ( 0 ) < 0 and ρ 2 is the smallest root of the equation x 2 ( r ) = 0 , x 2 ( r ) is an increasing function on ( 0 , ρ 2 ) . Thus, f S e * for | z | = r ρ 2 .
  • It is easy to see that x 3 ( 0 ) = 1 e < 0 and x 3 ( 1 ) = 4 e ( 2 + l ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 3 ( r ) = 0 . Let ρ 3 ( 0 , 1 ) be the smallest root of the equation x 3 ( r ) = 0 . Since the centre of the disc in (29) is 1, by (34), f S e * if
    r 1 r 2 l r 2 + 4 r + l r 2 + l r + 1 + q r 2 + 4 r + q r 2 + q r + 1 1 1 e ,
    which is equivalent to f S e * if x 3 ( r ) 0 . Since x 3 ( 0 ) < 0 and ρ 3 is the smallest root of the equation x 3 ( r ) = 0 , x 3 ( r ) is an increasing function on ( 0 , ρ 3 ) . This proves that f S e * for | z | = r ρ 3 .
    The result is sharp for the function F 3 defined for the class H b 3 in (20). At z = ρ 3 and for u = 4 b q 0 , it follows from (36) that
    log z F 3 ( z ) F 3 ( z ) = log 1 ρ 3 1 ρ 3 2 u ρ 3 2 + 4 ρ 3 + u ρ 3 2 + u ρ 3 + 1 + q ρ 3 2 + 4 ρ 3 + q ρ 3 2 + q ρ 3 + 1 = log 1 e = 1 .
Remark 6. 
For b = 1 , c = 1 and q = 2 , Theorem 4 reduces to the result (Theorem 4, p. 10, [14]).
The class S c * = S * ( 1 + ( 4 / 3 ) z + ( 2 / 3 ) z 2 ) is the class of starlike functions f A such that z f ( z ) / f ( z ) lies in the region bounded by the cardioid Ω c = { u + i v : ( 9 u 2 + 9 v 2 18 u + 5 ) 2 16 ( 9 u 2 + 9 v 2 6 u + 1 ) = 0 } . Sharma et al. [36] studied various properties of the class S c * . The following theorem determines the sharp radii constants R S c * ( H b , c 1 ) , R S c * ( H b , c 2 ) and R S c * ( H b 3 ) .
Theorem 5. 
The S c * radii for the classes H b , c 1 , H b , c 2 and H b 3 are as follows:
1. 
For the class H b , c 1 , the sharp S c * radius ρ 1 ( 0 , 1 ) is the smallest root of the equation x 1 ( r ) = 0 , where
x 1 ( r ) = 2 + ( d + q + s ) r + 4 ( 8 + q s + d ( q + s ) ) r 2 + ( 31 ( q + s ) + d ( 31 + 7 q s ) ) r 3 + 24 ( 3 + q s + d ( q + s ) ) r 4 + ( 35 ( q + s ) + d ( 35 + 11 q s ) ) r 5 + 8 ( 5 + q s + d ( q + s ) ) r 6 + 5 ( d + q + s ) r 7 + 2 r 8 .
2. 
For the class H b , c 2 , the S c * radius ρ 2 ( 0 , 1 ) is the smallest root of the equation x 2 ( r ) = 0 , where
x 2 ( r ) = 2 + ( m + n + q ) r + 4 ( 7 + n q + m ( n + q ) ) r 2 + ( 31 n + 24 q + m ( 24 + 7 n q ) ) r 3 + ( 38 + 24 m n + 24 n q + 14 m q ) r 4 + ( 35 n + 11 q + 11 m ( 1 + n q ) ) r 5 + 8 ( 1 + n ( m + q ) ) r 6 + 5 n r 7 .
3. 
For the class H b 3 , the sharp S c * radius ρ 3 ( 0 , 1 ) is the smallest root of the equation x 3 ( r ) = 0 , where
x 3 ( r ) = 2 + ( l + q ) r + ( 22 + 4 l q ) r 2 + 18 ( l + q ) r 3 + ( 26 + 8 l q ) r 4 + 5 ( l + q ) r 5 + 2 r 6 .
Proof. 
  • Note that x 1 ( 0 ) = 2 < 0 and x 1 ( 1 ) = 18 ( 2 + d ) ( 2 + q ) ( 2 + s ) > 0 ; thus, in view of the Intermediate Value Theorem, there exists a root of the equation x 1 ( r ) = 0 in the interval ( 0 , 1 ) . Let r = ρ 1 ( 0 , 1 ) be the smallest root of the equation x 1 ( r ) = 0 . Sharma et al. [36] proved that, for 1 / 3 < C 5 / 3 ,
    { w C : | w C | < ( 3 C 1 ) / 3 } Ω c .
    As the centre of the disc in (21) is 1, by (37), f S c * if
    r ( 1 r 2 ) d r 2 + 4 r + d r 2 + d r + 1 + s r 2 + 4 r + s r 2 + s r + 1 + q r 2 + 4 r + q r 2 + q r + 1 2 3 ,
    which is equivalent to f S c * if x 1 ( r ) 0 . Since x 1 ( 0 ) < 0 and ρ 1 is the smallest root of the equation x 1 ( r ) = 0 , x 1 ( r ) is an increasing function on ( 0 , ρ 1 ) . In view of this f S c * for | z | = r ρ 1 . For u = 6 b 4 c 0 , v = 4 c q 0 , using (38), the function F 1 ( z ) defined for the class H b , c 1 in (8) at z = ρ 1 , satisfies the following equality
    z F 1 ( z ) F 1 ( z ) = 1 ρ 1 ( 1 ρ 1 2 ) u ρ 1 2 + 4 ρ 1 + u ρ 1 2 + u ρ 1 + 1 + v ρ 1 2 + 4 ρ 1 + v ρ 1 2 + v ρ 1 + 1 + q ρ 1 2 + 4 ρ 1 + q ρ 1 2 + q ρ 1 + 1 = 1 3 ,
    which belongs to boundary of the region Ω c . Thus, the radius is sharp.
  • A calculation shows that x 2 ( 0 ) = 2 < 0 and x 2 ( 1 ) = 18 ( 2 + m ) ( 1 + n ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 2 ( r ) = 0 . Let ρ 2 ( 0 , 1 ) be the smallest root of the equation x 2 ( r ) = 0 and f H b , c 2 . In view of (37) and the fact that the centre of the disc in (13) is 1, f S c * if
    r ( 1 r 2 ) m r 2 + 4 r + m r 2 + m r + 1 + n r 2 + 2 r + n n r + 1 + q r 2 + 4 r + q r 2 + q r + 1 2 3 ,
    which is equivalent to f S c * if x 2 ( r ) 0 . Since x 2 ( 0 ) < 0 and ρ 2 is the smallest root of the equation x 2 ( r ) = 0 , x 2 ( r ) is an increasing function on ( 0 , ρ 2 ) . Thus, f S c * for | z | = r ρ 2 .
  • It is easy to see that x 3 ( 0 ) = 2 < 0 and x 3 ( 1 ) = 12 ( 2 + l ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 3 ( r ) = 0 . Let ρ 3 ( 0 , 1 ) be the smallest root of the equation x 3 ( r ) = 0 . In view of the fact that the centre of the disc in (29) is 1, by (37), f S c * if
    r 1 r 2 l r 2 + 4 r + l r 2 + l r + 1 + q r 2 + 4 r + q r 2 + q r + 1 2 3 ,
    which is equivalent to f S e * if x 3 ( r ) 0 . Since x 3 ( 0 ) < 0 and ρ 3 is the smallest root of the equation x 3 ( r ) = 0 , x 3 ( r ) is an increasing function on ( 0 , ρ 3 ) . This proves that f S c * for | z | = r ρ 3 .
    The result is sharp for the function F 3 defined for the class H b 3 in (20). At z = ρ 3 and for u = 4 b q 0 , it follows from (39) that
    z F 3 ( z ) F 3 ( z ) = 1 ρ 3 1 ρ 3 2 u ρ 3 2 + 4 ρ 3 + u ρ 3 2 + u ρ 3 + 1 + q ρ 3 2 + 4 ρ 3 + q ρ 3 2 + q ρ 3 + 1 = 1 3 .
Remark 7. 
Placing b = 1 , c = 1 and q = 2 in Theorem 5, we obtain the result (Theorem 5, p. 11, [14]).
In 2019, Cho et al. [37] considered the class of starlike functions S sin * = { f A : z f ( z ) / f ( z ) 1 + sin ( z ) : = q 0 ( z ) } associated with the sine function. Note that S sin * = S * ( 1 + sin ( z ) ) . In next theorem, we determine sharp estimates of radii constants R S sin * ( H b , c 1 ) , R S sin * ( H b , c 2 ) and R S sin * ( H b 3 ) .
Theorem 6. 
The sharp S sin * radii for the classes H b , c 1 , H b , c 2 and H b 3 are as follows:
1. 
For the class H b , c 1 , the sharp S sin * radius ρ 1 ( 0 , 1 ) is the smallest root of the equation x 1 ( r ) = 0 , where
x 1 ( r ) = sin ( 1 ) ( d + q + s ) ( 1 + sin ( 1 ) ) r 2 ( 6 + sin ( 1 ) ( q s + d ( q + s ) ) ( sin ( 1 ) 2 ) ) r 2 + ( 11 ( q + s ) + d ( 11 + 3 q s ) ( d + q + s + d q s ) sin ( 1 ) ) r 3 + 8 ( 3 + q s + d ( q + s ) ) r 4 + ( ( q + s ) ( 11 + sin ( 1 ) ) + d ( 11 + sin ( 1 ) + q s ( 3 + sin ( 1 ) ) ) ) r 5 + ( ( q s + d ( q + s ) ) ( 2 + sin ( 1 ) ) + 2 ( 6 + sin ( 1 ) ) ) r 6 + ( d + q + s ) ( 1 + sin ( 1 ) ) r 7 + sin ( 1 ) r 8 .
2. 
For the class H b , c 2 , the sharp S sin * radius ρ 2 ( 0 , 1 ) is the smallest root of the equation x 2 ( r ) = 0 , where
x 2 ( r ) = sin ( 1 ) ( m + n + q ) ( sin ( 1 ) 1 ) r + ( 10 ( n q + m ( n + q ) ) ( 2 + sin ( 1 ) ) sin ( 1 ) ) r 2 + ( 8 m + 11 n + 8 q + 3 m n q n ( 1 + m q ) sin ( 1 ) ) r 3 + ( 12 + 8 n q + sin ( 1 ) + m ( 8 n + q ( 4 + sin ( 1 ) ) ) ) r 4 + ( q ( 3 + sin ( 1 ) ) + m ( 1 + n q ) ( 3 + sin ( 1 ) ) + n ( 11 + sin ( 1 ) ) ) r 5 + ( 1 + n ( m + q ) ) ( 2 + sin ( 1 ) ) r 6 + n ( 1 + sin ( 1 ) ) r 7 .
3. 
For the class H b 3 , the sharp S sin * radius ρ 3 ( 0 , 1 ) is the smallest root of the equation x 3 ( r ) = 0 , where
x 3 ( r ) = sin ( 1 ) ( l + q ) ( sin ( 1 ) 1 ) r + ( 8 l q ( 2 + sin ( 1 ) ) sin ( 1 ) ) r 2 + 6 ( l + q ) r 3 + ( 8 + sin ( 1 ) + l q ( 2 + sin ( 1 ) ) ) r 4 + ( l + q ) ( 1 + sin ( 1 ) ) r 5 + sin ( 1 ) r 6 .
Proof. 
  • Note that x 1 ( 0 ) = sin ( 1 ) < 0 and x 1 ( 1 ) = 6 ( 2 + d ) ( 2 + q ) ( 2 + s ) > 0 ; thus, in view of the Intermediate Value Theorem, there exists a root of the equation x 1 ( r ) = 0 in the interval ( 0 , 1 ) . Let r = ρ 1 ( 0 , 1 ) be the smallest root of the equation x 1 ( r ) = 0 . For | C 1 | sin ( 1 ) , Cho et al. [37] established the following inclusion property,
    { w C : | w C | < sin ( 1 ) | C 1 | } Ω s ,
    where Ω s : = q 0 ( Δ ) is the image of the unit disc Δ under the mappings q 0 ( z ) = 1 + sin ( z ) . As the centre of the disc in (21) is 1, by (40), f S sin * if
    r ( 1 r 2 ) d r 2 + 4 r + d r 2 + d r + 1 + s r 2 + 4 r + s r 2 + s r + 1 + q r 2 + 4 r + q r 2 + q r + 1 sin ( 1 ) ,
    which is equivalent to f S sin * if x 1 ( r ) 0 . Since x 1 ( 0 ) < 0 and ρ 1 is the smallest root of the equation x 1 ( r ) = 0 , x 1 ( r ) is an increasing function on ( 0 , ρ 1 ) . In view of this f S sin * for | z | = r ρ 1 . For u = 6 b 4 c 0 , v = 4 c q 0 , using (41), the function f 1 ( z ) defined for class H b , c 1 in (6) at z = ρ 1 , satisfies the following equality
    z f 1 ( z ) f 1 ( z ) = 1 + ρ 1 ( 1 ρ 1 2 ) u ρ 1 2 + 4 ρ 1 + u ρ 1 2 + u ρ 1 + 1 + v ρ 1 2 + 4 ρ 1 + v ρ 1 2 + v ρ 1 + 1 + q ρ 1 2 + 4 ρ 1 + q ρ 1 2 + q ρ 1 + 1 = 1 + sin 1 = q 0 ( 1 ) ,
    which belongs to the boundary of region Ω s . This proves the radius is sharp.
  • A calculation shows that x 2 ( 0 ) = sin ( 1 ) < 0 and x 2 ( 1 ) = 6 ( 2 + m ) ( 1 + n ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 2 ( r ) = 0 . Let ρ 2 ( 0 , 1 ) be the smallest root of equation x 2 ( r ) = 0 and f H b , c 2 . In view of (40) and the fact that centre of the disc in (13) is 1, f S sin * if
    r ( 1 r 2 ) m r 2 + 4 r + m r 2 + m r + 1 + n r 2 + 2 r + n n r + 1 + q r 2 + 4 r + q r 2 + q r + 1 sin ( 1 ) ,
    which is equivalent to f S sin * if x 2 ( r ) 0 . Since x 2 ( 0 ) < 0 and ρ 2 is the smallest root of the equation x 2 ( r ) = 0 , x 2 ( r ) is an increasing function on ( 0 , ρ 2 ) . Thus, f S sin * for | z | = r ρ 2 . To prove sharpness, consider the function f 2 defined in (14). For u = 5 b 3 c 0 , v = 3 c q 0 and z : = ρ 2 , it follows from (42) that
    z f 2 ( z ) f 2 ( z ) = 1 + ρ 2 ( 1 ρ 2 2 ) u ρ 2 2 + 4 ρ 2 + u ρ 2 2 + u ρ 2 + 1 + v ρ 2 2 + 2 ρ 2 + v v ρ 2 + 1 + q ρ 2 2 + 4 ρ 2 + q ρ 2 2 + q ρ 2 + 1 = 1 + sin ( 1 ) ,
    which illustrates the sharpness.
  • It is easy to see that x 3 ( 0 ) = sin ( 1 ) < 0 and x 3 ( 1 ) = 4 ( 2 + l ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 3 ( r ) = 0 . Let ρ 3 ( 0 , 1 ) be the smallest root of the equation x 3 ( r ) = 0 . Since the centre of the disc in (29) is 1, by (40), f S sin * if
    r 1 r 2 l r 2 + 4 r + l r 2 + l r + 1 + q r 2 + 4 r + q r 2 + q r + 1 sin ( 1 ) ,
    which is equivalent to f S sin * if x 3 ( r ) 0 . Since x 3 ( 0 ) < 0 and ρ 3 is the smallest root of the equation x 3 ( r ) = 0 , x 3 ( r ) is an increasing function on ( 0 , ρ 3 ) . This proves that f S sin * for | z | = r ρ 3 .
    The result is sharp for function f 3 defined for the class H b 3 in (19). At z = ρ 3 and for u = 4 b q 0 , it follows from (43) that
    z f 3 ( z ) f 3 ( z ) = 1 + ρ 3 1 ρ 3 2 u ρ 3 2 + 4 ρ 3 + u ρ 3 2 + u ρ 3 + 1 + q ρ 3 2 + 4 ρ 3 + q ρ 3 2 + q ρ 3 + 1 = 1 + sin ( 1 ) .
Remark 8. 
Figure 3 represents sharp S sin * radii estimated for all three classes.
Remark 9. 
Substituting b = 1 , c = 1 and q = 2 in Theorem 6, we obtain the result (Theorem 6, p. 13, [14]).
In 2015, Raina and Sokól [38] introduced the class S * = S * ( z + 1 + z 2 ) . Geometrically, a function f S * if and only if z f ( z ) / f ( z ) lies in the region bounded by the lune shaped region { w C : | w 2 1 | < 2 | w | } .
Theorem 7. 
The S * radii for the classes H b , c 1 , H b , c 2 and H b 3 are as follows:
1. 
For the class H b , c 1 , the sharp S * radius ρ 1 ( 0 , 1 ) is the smallest root of the equation x 1 ( r ) = 0 , where
x 1 ( r ) = 2 2 + ( 2 1 ) ( d + q + s ) r + ( 2 ( 4 + 2 ) + 2 ( q s + d ( q + s ) ) ) r 2 + ( ( 9 + 2 ) ( q + s ) + d ( 9 + 2 + ( 1 + 2 ) q s ) ) r 3 + 8 ( 3 + q s + d ( q + s ) ) r 4 + ( ( 13 + 2 ) ( q + s ) d ( 13 + 2 + ( 5 + 2 ) q s ) ) r 5 + ( 2 ( 8 + 2 ) ( 4 + 2 ) ( q s + d ( q + s ) ) ) r 6 ( 3 + 2 ) ( d + q + s ) r 7 + ( 2 2 ) r 8 .
2. 
For the class H b , c 2 , the S * radius ρ 2 ( 0 , 1 ) is the smallest root of the equation x 2 ( r ) = 0 , where
x 2 ( r ) = 2 2 + ( 2 1 ) ( m + n + q ) r + ( 8 + 2 + 2 ( n q + m ( n + q ) ) ) r 2 + ( 8 ( m + q ) + n ( 9 + 2 + ( 1 + 2 ) m q ) ) r 3 + ( 14 2 + 6 m q 2 m q + 8 n ( m + q ) ) r 4 + ( ( 5 + 2 ) ( m + q ) n ( 13 + 2 + ( 5 + 2 ) m q ) ) r 5 ( 4 + 2 ) ( 1 + n ( m + q ) ) r 6 ( 2 3 ) n r 7 .
3. 
For the class H b 3 , the sharp S * radius ρ 3 ( 0 , 1 ) is the smallest root of the equation x 3 ( r ) = 0 , where
x 3 ( r ) = 2 2 + ( 2 1 ) ( l + q ) r + ( 6 + 2 + 2 l q ) r 2 + 6 ( l + q ) r 3 + ( 10 2 ( 4 + 2 ) l q ) r 4 ( 3 + 2 ) ( l + q ) r 5 + ( 2 2 ) r 6 .
Proof. 
  • Note that x 1 ( 0 ) = 2 2 < 0 and x 1 ( 1 ) = 6 ( 2 + d ) ( 2 + q ) ( 2 + s ) > 0 ; thus, in view of the Intermediate Value Theorem, there exists a root of the equation x 1 ( r ) = 0 in the interval ( 0 , 1 ) . Let r = ρ 1 ( 0 , 1 ) be the smallest root of the equation x 1 ( r ) = 0 . Gandhi and Ravichandran [39] (Lemma 2.1) proved that, for 2 1 < C 2 + 1 ,
    { w C : | w C | < 1 | 2 C | } { w C : | w 2 1 | < 2 | w | } .
    As the centre of the disc in (21) is 1, by (44), f S * if
    r ( 1 r 2 ) d r 2 + 4 r + d r 2 + d r + 1 + s r 2 + 4 r + s r 2 + s r + 1 + q r 2 + 4 r + q r 2 + q r + 1 2 2 ,
    which is equivalent to f S * if x 1 ( r ) 0 . Since x 1 ( 0 ) < 0 and ρ 1 is the smallest root of the equation x 1 ( r ) = 0 , x 1 ( r ) is an increasing function on ( 0 , ρ 1 ) . In view of this f S * for | z | = r ρ 1 . For u = 6 b 4 c 0 , v = 4 c q 0 , using (45), the function F 1 ( z ) defined for the class H b , c 1 in (8) at z = ρ 1 , satisfies the following equality
    z f 1 ( z ) f 1 ( z ) 2 1 = 1 ρ 1 ( 1 ρ 1 2 ) u ρ 1 2 + 4 ρ 1 + u ρ 1 2 + u ρ 1 + 1 + v ρ 1 2 + 4 ρ 1 + v ρ 1 2 + v ρ 1 + 1 + q ρ 1 2 + 4 ρ 1 + q ρ 1 2 + q ρ 1 + 1 2 1 = | 1 ( 2 2 ) 2 1 | = 2 ( 1 2 ) = 2 z f 1 ( z ) f 1 ( z ) .
    This proves the sharpness.
  • A calculation shows that x 2 ( 0 ) = 2 2 < 0 and x 2 ( 1 ) = 6 ( 2 + m ) ( 1 + n ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 2 ( r ) = 0 . Let ρ 2 ( 0 , 1 ) be the smallest root of the equation x 2 ( r ) = 0 and f H b , c 2 . In view of (44) and the fact centre of the disc in (13) is 1, f S * if
    r ( 1 r 2 ) m r 2 + 4 r + m r 2 + m r + 1 + n r 2 + 2 r + n n r + 1 + q r 2 + 4 r + q r 2 + q r + 1 2 2 ,
    which is equivalent to f S * if x 2 ( r ) 0 . Since x 2 ( 0 ) < 0 and ρ 2 is the smallest root of the equation x 2 ( r ) = 0 , x 2 ( r ) is an increasing function on ( 0 , ρ 2 ) . Thus, f S * for | z | = r ρ 2 .
  • It is easy to see that x 3 ( 0 ) = 2 2 < 0 and x 3 ( 1 ) = 4 ( 2 + l ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 3 ( r ) = 0 . Let ρ 3 ( 0 , 1 ) be the smallest root of the equation x 3 ( r ) = 0 . Since the centre of the disc in (29) is 1, by (44), f S * if
    r 1 r 2 l r 2 + 4 r + l r 2 + l r + 1 + q r 2 + 4 r + q r 2 + q r + 1 2 2 ,
    which is equivalent to f S * if x 3 ( r ) 0 . Since x 3 ( 0 ) < 0 and ρ 3 is the smallest root of the equation x 3 ( r ) = 0 , x 3 ( r ) is an increasing function on ( 0 , ρ 3 ) . This proves that f S * for | z | = r ρ 3 .
    The result is sharp for the function F 3 defined for the class H b 3 in (20). At z = ρ 3 and for u = 4 b q 0 , it follows from (46) that
    z F 3 ( z ) F 3 ( z ) 2 1 = 1 ρ 3 1 ρ 3 2 u ρ 3 2 + 4 ρ 3 + u ρ 3 2 + u ρ 3 + 1 + q ρ 3 2 + 4 ρ 3 + q ρ 3 2 + q ρ 3 + 1 2 1 = 2 z F 3 ( z ) F 3 ( z ) .
Remark 10. 
For b = 1 , c = 1 and q = 2 , Theorem 7 yields the result (Theorem 7, p. 14, [14]).
Kumar et al. [40] introduced the class of starlike functions, defined by S R * = S * ( ψ ( z ) ) , consisting of functions associated with a rational function ψ ( z ) = 1 + z ( k + z ) / ( k ( k z ) ) , where k = 2 + 1 . The following theorem yields the radii constants R S R * ( H b , c 1 ) , R S R * ( H b , c 2 ) and R S R * ( H b 3 ) .
Theorem 8. 
The S R * radii for the classes H b , c 1 , H b , c 2 and H b 3 are as follows:
1. 
For the class H b , c 1 , the sharp S R * radius ρ 1 ( 0 , 1 ) is the smallest root of the equation x 1 ( r ) = 0 , where
x 1 ( r ) = ( 2 2 3 ) + 2 ( 2 1 ) ( d + q + s ) r + ( 6 + 4 2 + ( 2 2 1 ) ( q s + d ( q + s ) ) ) r 2 + 2 ( ( 4 + 2 ) ( q + s ) + d ( 4 + 2 + 2 q s ) ) r 3 + 8 ( 3 + q s + d ( q + s ) ) r 4 2 ( ( 7 + 2 ) ( q + s ) + d ( 7 + 2 + ( 3 + 2 ) q s ) ) r 5 + ( 18 4 2 + ( 5 2 2 ) ( q s + d ( q + s ) ) ) r 6 2 ( ( 2 + 2 ) ( d + q + s ) ) r 7 + ( 3 2 2 ) r 8 .
2. 
For the class H b , c 2 , the S R * radius ρ 2 ( 0 , 1 ) is the smallest root of the equation x 2 ( r ) = 0 , where
x 2 ( r ) = ( 2 2 3 ) + 2 ( 2 1 ) ( m + n + q ) r + ( 7 + 2 2 + ( 2 2 1 ) ( n q + m ( n + q ) ) ) r 2 + ( 8 ( m + q ) + 2 n ( 4 + 2 + 2 m q ) ) r 3 + ( 15 2 2 + 7 m q 2 2 m q + 8 n ( m + q ) ) r 4 2 ( ( 7 + 2 ) n + ( 3 + 2 ) q + ( 3 + 2 ) m ( 1 + n q ) ) r 5 + ( 5 2 2 ) ( 1 + n ( m + q ) ) r 6 2 ( ( 2 + 2 ) n ) r 7 .
3. 
For the class H b 3 , the sharp S R * radius ρ 3 ( 0 , 1 ) is the smallest root of the equation x 3 ( r ) = 0 , where
x 3 ( r ) = ( 2 2 3 ) + 2 ( 2 1 ) ( l + q ) r + ( 5 + 2 2 + ( 1 + 2 2 ) l q ) r 2 + 6 ( l + q ) r 3 + ( 11 2 2 + ( 5 2 2 ) l q ) r 4 2 ( ( 2 + 2 ) ( l + q ) ) r 5 + ( 3 2 2 ) r 6 .
Proof. 
  • Note that x 1 ( 0 ) = 2 2 3 < 0 and x 1 ( 1 ) = 6 ( 2 + d ) ( 2 + q ) ( 2 + s ) > 0 ; thus, in view of the Intermediate Value Theorem, there exists a root of the equation x 1 ( r ) = 0 in the interval ( 0 , 1 ) . Let r = ρ 1 ( 0 , 1 ) be the smallest root of the equation x 1 ( r ) = 0 . For 2 ( 2 1 ) < C 2 , Kumar et al. [40] proved that
    { w C : | w C | < C 2 ( 2 1 ) } ψ ( Δ ) .
    As the centre of the disc in (21) is 1, by (47) f S R * if
    r ( 1 r 2 ) d r 2 + 4 r + d r 2 + d r + 1 + s r 2 + 4 r + s r 2 + s r + 1 + q r 2 + 4 r + q r 2 + q r + 1 3 2 2 ,
    which is equivalent to f S R * if x 1 ( r ) 0 . Since x 1 ( 0 ) < 0 and ρ 1 is the smallest root of the equation x 1 ( r ) = 0 , x 1 ( r ) is an increasing function on ( 0 , ρ 1 ) . In view of this f S R * for | z | = r ρ 1 . For u = 6 b 4 c 0 , v = 4 c q 0 , using (48), the function F 1 ( z ) defined for the class H b , c 1 in (8) at z = ρ 1 , satisfies the following equality
    z F 1 ( z ) F 1 ( z ) = 1 ρ 1 ( 1 ρ 1 2 ) u ρ 1 2 + 4 ρ 1 + u ρ 1 2 + u ρ 1 + 1 + v ρ 1 2 + 4 ρ 1 + v ρ 1 2 + v ρ 1 + 1 + q ρ 1 2 + 4 ρ 1 + q ρ 1 2 + q ρ 1 + 1 = 2 ( 2 1 ) = ψ ( 1 ) .
    This proves the sharpness.
  • A calculation shows that x 2 ( 0 ) = 2 2 3 < 0 and x 2 ( 1 ) = 6 ( 2 + m ) ( l + n ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 2 ( r ) = 0 . Let ρ 2 ( 0 , 1 ) be the smallest root of the equation x 2 ( r ) = 0 and f H b , c 2 . In view of (47) and the fact that the centre of the disc in (13) is 1, f S R * if
    r ( 1 r 2 ) m r 2 + 4 r + m r 2 + m r + 1 + n r 2 + 2 r + n n r + 1 + q r 2 + 4 r + q r 2 + q r + 1 3 2 2 ,
    which is equivalent to f S R * if x 2 ( r ) 0 . Since x 2 ( 0 ) < 0 and ρ 2 is the smallest root of the equation x 2 ( r ) = 0 , x 2 ( r ) is an increasing function on ( 0 , ρ 2 ) . Thus, f S R * for | z | = r ρ 2 .
  • It is easy to see that x 3 ( 0 ) = 2 2 3 < 0 and x 3 ( 1 ) = 4 ( 2 + l ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 3 ( r ) = 0 . Let ρ 3 ( 0 , 1 ) be the smallest root of the equation x 3 ( r ) = 0 . Since the centre of the disc in (29) is 1, by (47), f S R * if
    r 1 r 2 l r 2 + 4 r + l r 2 + l r + 1 + q r 2 + 4 r + q r 2 + q r + 1 3 2 2 ,
    which is equivalent to f S R * if x 3 ( r ) 0 . Since x 3 ( 0 ) < 0 and ρ 3 is the smallest root of the equation x 3 ( r ) = 0 , x 3 ( r ) is an increasing function on ( 0 , ρ 3 ) . This proves that f S R * for | z | = r ρ 3 .
    The result is sharp for the function F 3 defined for the class H b 3 in (20). At z = ρ 3 and for u = 4 b q 0 , it follows from (49) that
    z F 3 ( z ) F 3 ( z ) = 1 ρ 3 1 ρ 3 2 u ρ 3 2 + 4 ρ 3 + u ρ 3 2 + u ρ 3 + 1 + q ρ 3 2 + 4 ρ 3 + q ρ 3 2 + q ρ 3 + 1 = ψ ( 1 ) .
Remark 11. 
Substituting b = 1 , c = 1 and q = 2 in Theorem 8, we obtain the result (Theorem 8, p. 15, [14]).
In 2020, Wani and Swaminathan [41] (Lemma 2.2) introduced the class S N e * = S * ( 1 + z ( z 3 / 3 ) ) consisting of functions associated with a nephroid. Thus, as per definition, a function f S N e * if and only if z f / f maps the open unit disc Δ onto the interior of a two cusped kidney shaped curve Ω N e : = { u + i v : ( ( u 1 ) 2 + v 2 4 / 9 ) 3 4 v 2 / 3 < 0 } . In next theorem, we find the sharp radii constants R S N e * ( H b , c 1 ) , R S N e * ( H b , c 2 ) and R S N e * ( H b 3 ) .
Theorem 9. 
The sharp S N e * radii for the classes H b , c 1 , H b , c 2 and H b 3 are as follows:
1. 
For the class H b , c 1 , the sharp S N e * radius ρ 1 ( 0 , 1 ) is the smallest root of the equation x 1 ( r ) = 0 , where
x 1 ( r ) = 2 + ( d + q + s ) r + 4 ( 8 + q s + d ( q + s ) ) r 2 + ( 31 ( q + s ) + d ( 31 + 7 q s ) ) r 3 + 24 ( 3 + q s + d ( q + s ) ) r 4 + ( 35 ( q + s ) + d ( 35 + 11 q s ) ) r 5 + 8 ( 5 + q s + d ( q + s ) ) r 6 + 5 ( d + q + s ) r 7 + 2 r 8 .
2. 
For the class H b , c 2 , the sharp S N e * radius ρ 2 ( 0 , 1 ) is the smallest root of the equation x 2 ( r ) = 0 , where
x 2 ( r ) = 2 + ( m + n + q ) r + 4 ( 7 + n q + m ( n + q ) ) r 2 + ( 31 n + 24 q + m ( 24 + 7 n q ) ) r 3 + ( 38 + 24 m n + 14 m q + 24 n q ) r 4 + ( 35 n + 11 q + 11 m ( 1 + n q ) ) r 5 + 8 ( 1 + n ( m + q ) ) r 6 + 5 n r 7 .
3. 
For the class H b 3 , the sharp S N e * radius ρ 3 ( 0 , 1 ) is the smallest root of the equation x 3 ( r ) = 0 , where
x 3 ( r ) = 2 + ( 2 + l ) r + ( 22 + 8 l ) r 2 + 18 ( 2 + l ) r 3 + ( 26 + 16 l ) r 4 + 5 ( 2 + l ) r 5 + 2 r 6 .
Proof. 
  • Note that x 1 ( 0 ) = 2 < 0 and x 1 ( 1 ) = 18 ( 2 + d ) ( 2 + q ) ( 2 + s ) > 0 ; thus, in view of the Intermediate Value Theorem, there exists a root of the equation x 1 ( r ) = 0 in the interval ( 0 , 1 ) . Let r = ρ 1 ( 0 , 1 ) be the smallest root of the equation x 1 ( r ) = 0 . For 1 C < 5 / 3 , Wani and Swaminathan [41] (Lemma 2.2) had proved that
    { w C : | w C | < 5 / 3 C } Ω N e .
    As the centre of the disc in (21) is 1, by (50), f S N e * if
    r ( 1 r 2 ) d r 2 + 4 r + d r 2 + d r + 1 + s r 2 + 4 r + s r 2 + s r + 1 + q r 2 + 4 r + q r 2 + q r + 1 2 3 ,
    which is equivalent to f S N e * if x 1 ( r ) 0 . Since x 1 ( 0 ) < 0 and ρ 1 is the smallest root of the equation x 1 ( r ) = 0 , x 1 ( r ) is an increasing function on ( 0 , ρ 1 ) . In view of this f S N e * for | z | = r ρ 1 . For u = 6 b 4 c 0 , v = 4 c q 0 , using (51), the function f 1 ( z ) defined for the class H b , c 1 in (6) at z = ρ 1 , satisfies the following equality
    z f 1 ( z ) f 1 ( z ) = 1 + ρ 1 ( 1 ρ 1 2 ) u ρ 1 2 + 4 ρ 1 + u ρ 1 2 + u ρ 1 + 1 + v ρ 1 2 + 4 ρ 1 + v ρ 1 2 + v ρ 1 + 1 + q ρ 1 2 + 4 ρ 1 + q ρ 1 2 + q ρ 1 + 1 = 5 3 ,
    which belongs to the boundary of the region Ω N e . This proves sharpness.
  • A calculation shows that x 2 ( 0 ) = 2 < 0 and x 2 ( 1 ) = 18 ( 2 + m ) ( l + n ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 2 ( r ) = 0 . Let ρ 2 ( 0 , 1 ) be the smallest root of the equation x 2 ( r ) = 0 and f H b , c 2 . In view of (50) and the fact that centre of the disc in (13) is 1, f S N e * if
    r ( 1 r 2 ) m r 2 + 4 r + m r 2 + m r + 1 + n r 2 + 2 r + n n r + 1 + q r 2 + 4 r + q r 2 + q r + 1 2 3 ,
    which is equivalent to f S N e * if x 2 ( r ) 0 . Since x 2 ( 0 ) < 0 and ρ 2 is the smallest root of the equation x 2 ( r ) = 0 , x 2 ( r ) is an increasing function on ( 0 , ρ 2 ) . Thus, f S N e * for | z | = r ρ 2 . To prove the sharpness, consider the function f 2 defined in (14). For u = 5 b 3 c 0 , v = 3 c q 0 and z = ρ 2 , it follows from (52) that
    z f 2 ( z ) f 2 ( z ) = 1 + ρ 2 ( 1 ρ 2 2 ) u ρ 2 2 + 4 ρ 2 + u ρ 2 2 + u ρ 2 + 1 + v ρ 2 2 + 2 ρ 2 + v v ρ 2 + 1 + q ρ 2 2 + 4 ρ 2 + q ρ 2 2 + q ρ 2 + 1 = 5 3 ,
    which illustrates the sharpness.
  • It is easy to see that x 3 ( 0 ) = 2 < 0 and x 3 ( 1 ) = 12 ( 2 + l ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 3 ( r ) = 0 . Let ρ 3 ( 0 , 1 ) be the smallest root of the equation x 3 ( r ) = 0 . Since the centre of the disc in (29) is 1, by (50), f S N e * if
    r 1 r 2 l r 2 + 4 r + l r 2 + l r + 1 + q r 2 + 4 r + q r 2 + q r + 1 2 3 ,
    which is equivalent to f S N e * if x 3 ( r ) 0 . Since x 3 ( 0 ) < 0 and ρ 3 is the smallest root of the equation x 3 ( r ) = 0 , x 3 ( r ) is an increasing function on ( 0 , ρ 3 ) . This proves that f S N e * for | z | = r ρ 3 .
    The result is sharp for the function f 3 defined for the class H b 3 in (19). At z = ρ 3 and for u = 4 b q 0 , it follows from (53) that
    z f 3 ( z ) f 3 ( z ) = 1 ρ 3 1 ρ 3 2 u ρ 3 2 + 4 ρ 3 + u ρ 3 2 + u ρ 3 + 1 + q ρ 3 2 + 4 ρ 3 + q ρ 3 2 + q ρ 3 + 1 = 5 3 .
Remark 12. 
Figure 4 represents sharp S N e * radii estimated for all three classes.
Remark 13. 
For b = 1 , c = 1 and q = 2 , Theorem 9 reduces to the corresponding results in (Theorem 10, p. 18, [14]).
In 2020, the class S S G * = S * ( 2 / ( 1 + e z ) ) that maps the open unit disc Δ onto a domain Δ S G : = { w C : | log ( w / ( 2 w ) ) | < 1 } was introduced by Goel and Kumar [42]. Some results for the class S S G * can be seen in [43]. The following theorem gives the sharp radii constants R S S G * ( H b , c 1 ) , R S S G * ( H b , c 2 ) and R S S G * ( H b 3 ) .
Theorem 10. 
The sharp S S G * radii for the classes H b , c 1 , H b , c 2 and H b 3 are as follows:
1. 
For the class H b , c 1 , the sharp S S G * radius ρ 1 ( 0 , 1 ) is the smallest root of the equation x 1 ( r ) = 0 , where
x 1 ( r ) = ( 1 e ) + 2 ( d + q + s ) r + ( 2 ( 7 + 5 e ) + ( 3 + e ) ( q s + d ( q + s ) ) ) r 2 + ( 2 ( 6 + 5 e ) ( q + s ) + 2 d ( 6 + 5 e + ( 2 + e ) q s ) ) r 3 + 8 ( 1 + e ) ( 3 + q s + d ( q + s ) ) r 4 + 2 ( ( 5 + 6 e ) ( q + s ) + d ( 5 + q s + 2 e ( 3 + q s ) ) ) r 5 + ( 2 ( 5 + 7 e ) + ( 1 + 3 e ) ( q s + d ( q + s ) ) ) r 6 + 2 e ( d + q + s ) r 7 + ( 1 + e ) r 8 .
2. 
For the class H b , c 2 , the sharp S S G * radius ρ 2 ( 0 , 1 ) is the smallest root of the equation x 2 ( r ) = 0 , where
x 2 ( r ) = ( 1 e ) + 2 ( m + n + q ) r + ( 11 + 9 e + ( 3 + e ) ( n q + m ( n + q ) ) ) r 2 + 2 ( 4 ( 1 + e ) m + ( 6 + 5 e ) n + 4 ( 1 + e ) q + ( 2 + e ) m n q ) r 3 + ( 11 + 8 m n + 3 m q + 8 n q + e ( 13 + 8 m n + 5 m q + 8 n q ) ) r 4 + 2 ( ( 5 + 6 e ) n + q + 2 e q + ( 1 + 2 e ) m ( 1 + n q ) ) r 5 + ( 1 + 3 e ) ( 1 + n ( m + q ) ) r 6 + 2 e n r 7 .
3. 
For the class H b 3 , the sharp S S G * radius ρ 3 ( 0 , 1 ) is the smallest root of the equation x 3 ( r ) = 0 , where
x 3 ( r ) = ( 1 e ) + 2 ( l + q ) r + ( 9 + 7 e + ( 3 + e ) l q ) r 2 + 6 ( 1 + e ) ( l + q ) r 3 + ( 7 + l q + 3 e ( 3 + l q ) ) r 4 + 2 e ( l + q ) r 5 + ( 1 + e ) r 6 .
Proof. 
  • Note that x 1 ( 0 ) = 1 e < 0 and x 1 ( 1 ) = 6 ( 1 + e ) ( 2 + d ) ( 2 + q ) ( 2 + s ) > 0 . In view of the Intermediate Value Theorem, there exists a root of the equation x 1 ( r ) = 0 in the interval ( 0 , 1 ) . Let r = ρ 1 ( 0 , 1 ) be the smallest root of the equation x 1 ( r ) = 0 . For 2 / ( 1 + e ) < C < 2 e / ( 1 + e ) , Goel and Kumar [42] proved the following inclusion property,
    { w C : | w C | < r S G } Δ S G , where r S G = e 1 e + 1 | C 1 | .
    As the centre of the disc in (21) is 1, by (54), f S S G * if
    r ( 1 r 2 ) d r 2 + 4 r + d r 2 + d r + 1 + s r 2 + 4 r + s r 2 + s r + 1 + q r 2 + 4 r + q r 2 + q r + 1 e 1 e + 1 ,
    which is equivalent to f S S G * if x 1 ( r ) 0 . Since x 1 ( 0 ) < 0 and ρ 1 is the smallest root of the equation x 1 ( r ) = 0 , x 1 ( r ) is an increasing function on ( 0 , ρ 1 ) . In view of this f S S G * for | z | = r ρ 1 . For u = 6 b 4 c 0 , v = 4 c q 0 , using (55), the function f 1 ( z ) defined for the class H b , c 1 in (6) at z = ρ 1 , satisfies the following equality
    log z f 1 ( z ) f 1 ( z ) 2 z f 1 ( z ) f 1 ( z ) = log 1 + e 1 e + 1 2 1 + e 1 e + 1 = log ( e ) = 1 .
    It follows that the radius is sharp.
  • A calculation shows that x 2 ( 0 ) = 1 e < 0 and x 2 ( 1 ) = 6 ( 1 + e ) ( 2 + m ) ( l + n ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 2 ( r ) = 0 . Let ρ 2 ( 0 , 1 ) be the smallest root of the equation x 2 ( r ) = 0 and f H b , c 2 . In view of (54) and the fact that the centre of the disc in (13) is 1, f S S G * if
    r ( 1 r 2 ) m r 2 + 4 r + m r 2 + m r + 1 + n r 2 + 2 r + n n r + 1 + q r 2 + 4 r + q r 2 + q r + 1 e 1 e + 1 ,
    which is equivalent to f S S G * if x 2 ( r ) 0 . Since x 2 ( 0 ) < 0 and ρ 2 is the smallest root of the equation x 2 ( r ) = 0 , x 2 ( r ) is an increasing function on ( 0 , ρ 2 ) . Thus, f S S G * for | z | = r ρ 2 . To prove the sharpness, consider the function f 2 defined in (14). For u = 5 b 3 c 0 , v = 3 c q 0 and z = ρ 2 , the similar calculations as in (56) together with (57) proves that the result is sharp.
  • It is easy to see that x 3 ( 0 ) = 1 e < 0 and x 3 ( 1 ) = 4 ( 1 + e ) ( 2 + l ) ( 2 + q ) > 0 . By the Intermediate Value Theorem, there exists a root r ( 0 , 1 ) of the equation x 3 ( r ) = 0 . Let ρ 3 ( 0 , 1 ) be the smallest root of the equation x 3 ( r ) = 0 . Since the centre of the disc in (29) is 1, by (54), f S S G * if
    r 1 r 2 l r 2 + 4 r + l r 2 + l r + 1 + q r 2 + 4 r + q r 2 + q r + 1 e 1 1 + e ,
    which is equivalent to f S S G * if x 3 ( r ) 0 . Since x 3 ( 0 ) < 0 and ρ 3 is the smallest root of the equation x 3 ( r ) = 0 , x 3 ( r ) is an increasing function on ( 0 , ρ 3 ) . This proves that f S S G * for | z | = r ρ 3 .
    At z = ρ 3 and for u = 4 b q 0 , a calculation as in part(i) shows that the result is sharp for the function F 3 defined for the class H b 3 in (20)
Remark 14. 
Figure 5 represents sharp S S G * radii estimated for all three classes.
Remark 15. 
Placing b = 1 , c = 1 and q = 2 in Theorem 10, we obtain the result (Theorem 11, p. 19, [14]).

4. Conclusions

The well-known classes as particular cases can be obtained from the newly defined classes H b , c 1 , H b , c 2 and H b 3 . In Section 3, we found the sharp radii constants R N ( H b , c 1 ) , R N ( H b , c 2 ) and R N ( H b 3 ) , where N is any one of the subclasses, as mentioned in Section 1, of Ma-Minda class S * ( ψ ) . However, it is challenging to investigate the following open problem: Find sharp estimates of radii constants R S * ( ψ ) ( H b , c 1 ) , R S * ( ψ ) ( H b , c 2 ) and R S * ( ψ ) ( H b , c 3 ) .
Remark 16. 
If this open problem is solved, then Theorem 1 to Theorem 10 may become special cases of this new theorem.

Author Contributions

Conceptualization, S.R. and N.K.J.; methodology, S.R. and N.K.J.; software, S.R. and N.K.J.; validation, N.K.J., O.P.A. and S.R. ; formal analysis, N.K.J., S.R. and O.P.A.; investigation, S.R. and N.K.J.; resources, S.R. and N.K.J.; data curation, S.R. and N.K.J.; writing—original draft preparation, S.R.; writing—review and editing, O.P.A. and N.K.J.; visualization, O.P.A. and N.K.J.; supervision, N.K.J.; project administration, N.K.J.; All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The authors are grateful to the referees for their helpful suggestions and insights that helped to improve quality and clarity of this manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Gronwall, T.H. On the distortion in conformal mapping when the second coefficient in the mapping function has an assigned value. Nat. Acad. Proc. 1920, 6, 300–302. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  2. Ali, R.M.; Nagpal, S.; Ravichandran, V. Second-order differential subordination for analytic functions with fixed initial coefficient. Bull. Malays. Math. Sci. Soc. (2) 2011, 34, 611–629. [Google Scholar]
  3. Lee, S.K.; Ravichandran, V.; Supramaniam, S. Applications of differential subordination for functions with fixed second coefficient to geometric function theory. Tamsui Oxf. J. Inf. Math. Sci. 2013, 29, 267–284. [Google Scholar]
  4. Kumar, S.; Ravichandran, V.; Verma, S. Initial coefficients of starlike functions with real coefficients. Bull. Iranian Math. Soc. 2017, 43, 1837–1854. [Google Scholar]
  5. Ahuja, O.P. The influence of second coefficient on spiral-like and the Robertson functions. Yokohama Math. J. 1986, 34, 3–13. [Google Scholar]
  6. Ahuja, O.P.; Silverman, H. Extreme points of families of univalent functions with fixed second coefficient. Colloq. Math. 1987, 54, 127–137. [Google Scholar] [CrossRef] [Green Version]
  7. Ali, R.M.; Kumar, V.; Ravichandran, V.; Kumar, S.S. Radius of starlikeness for analytic functions with fixed second coefficient. Kyungpook Math. J. 2017, 57, 473–492. [Google Scholar]
  8. Ali, R.M.; Cho, N.E.; Jain, N.K.; Ravichandran, V. Radii of starlikeness and convexity for functions with fixed second coefficient defined by subordination. Filomat 2012, 26, 553–561. [Google Scholar] [CrossRef]
  9. Nehari, Z. Conformal Mapping; McGraw-Hill Book Co., Inc.: New York, NY, USA, 1952. [Google Scholar]
  10. Ma, W.C.; Minda, D. A unified treatment of some special classes of univalent functions. In Proceedings of the Conference on Complex Analysis (Tianjin, 1992); Conf. Proc. Lecture Notes Anal., I; Int. Press: Cambridge, MA, USA, 1992; pp. 157–169. [Google Scholar]
  11. Ma, W.C.; Minda, D. Uniformly convex functions. Ann. Polon. Math. 1992, 57, 165–175. [Google Scholar] [CrossRef] [Green Version]
  12. MacGregor, T.H. The radius of convexity for starlike functions of order 12. Proc. Amer. Math. Soc. 1963, 14, 71–76. [Google Scholar]
  13. Anand, S.; Jain, N.K.; Kumar, S. Normalized analytic functions with fixed second coefficient. J. Anal. to appear.
  14. Lecko, A.; Ravichandran, V.; Sebastian, A. Starlikeness of certain non-univalent functions. Anal. Math. Phys. 2021, 11, 163. [Google Scholar] [CrossRef]
  15. MacGregor, T.H. The radius of univalence of certain analytic functions. Proc. Amer. Math. Soc. 1963, 14, 514–520. [Google Scholar] [CrossRef]
  16. MacGregor, T.H. The radius of univalence of certain analytic functions. II. Proc. Amer. Math. Soc. 1963, 14, 521–524. [Google Scholar] [CrossRef]
  17. Ratti, J.S. The radius of convexity of certain analytic functions. Indian J. Pure Appl. Math. 1970, 1, 30–36. [Google Scholar] [CrossRef]
  18. Ratti, J.S. The radius of univalence of certain analytic functions. Math. Z. 1968, 107, 241–248. [Google Scholar] [CrossRef]
  19. El-Faqeer, A.S.A.; Mohd, M.H.; Ravichandran, V.; Supramaniam, S. Starlikeness of certain analytic functions. Appl. Math. -Notes 2022, 22, 516–528. [Google Scholar]
  20. Kanaga, R.; Ravichandran, V. Starlikeness for certain close-to-star functions. Hacet. J. Math. Stat. 2021, 50, 414–432. [Google Scholar] [CrossRef]
  21. Lee, S.K.; Khatter, K.; Ravichandran, V. Radius of starlikeness for classes of analytic functions. Bull. Malays. Math. Sci. Soc. 2020, 43, 4469–4493. [Google Scholar] [CrossRef]
  22. Sebastian, A.; Ravichandran, V. Radius of starlikeness of certain analytic functions. Math. Slovaca 2021, 71, 83–104. [Google Scholar] [CrossRef]
  23. 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]
  24. McCarty, C.P. Functions with real part greater than α. Proc. Amer. Math. Soc. 1972, 35, 211–216. [Google Scholar] [CrossRef] [Green Version]
  25. McCarty, C.P. Two radius of convexity problems. Proc. Amer. Math. Soc. 1974, 42, 153–160. [Google Scholar] [CrossRef]
  26. Hayami, T.; Owa, S. Hankel determinant for p-valently starlike and convex functions of order α. Gen. Math. 2009, 17, 29–44. [Google Scholar]
  27. Anand, S.; Jain, N.K.; Kumar, S. Certain estimates of normalized analytic functions. Math. Slovaca 2022, 72, 85–102. [Google Scholar] [CrossRef]
  28. Madaan, V.; Kumar, A.; Ravichandran, V. Starlikeness associated with lemniscate of Bernoulli. Filomat 2019, 33, 1937–1955. [Google Scholar] [CrossRef] [Green Version]
  29. Sokół, J.; Stankiewicz, J. Radius of convexity of some subclasses of strongly starlike functions. Zeszyty Nauk. Politech. Rzeszowskiej Mat. 1996, 19, 101–105. [Google Scholar]
  30. 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, 218, 6557–6565. [Google Scholar] [CrossRef] [Green Version]
  31. Ali, R.M.; Ravichandran, V. Uniformly convex and uniformly starlike functions. Ramanujan Math. Newsl. 2011, 21, 16–30. [Google Scholar]
  32. Gangadharan, A.; Ravichandran, V.; Shanmugam, T.N. Radii of convexity and strong starlikeness for some classes of analytic functions. J. Math. Anal. Appl. 1997, 211, 301–313. [Google Scholar] [CrossRef] [Green Version]
  33. Ravichandran, V.; Rønning, F.; Shanmugam, T.N. Radius of convexity and radius of starlikeness for some classes of analytic functions. Complex Variables Theory Appl. 1997, 33, 265–280. [Google Scholar] [CrossRef]
  34. Shanmugam, T.N.; Ravichandran, V. Certain properties of uniformly convex functions. In Computational Methods and Function Theory 1994 (Penang); Ser. Approx. Decompos., 5; World Scientific Publishing: River Edge, NJ, USA, 1995; pp. 319–324. [Google Scholar]
  35. Mendiratta, R.; Nagpal, S.; Ravichandran, V. On a subclass of strongly starlike functions associated with exponential function. Bull. Malays. Math. Sci. Soc. 2015, 38, 365–386. [Google Scholar] [CrossRef]
  36. Sharma, K.; Jain, N.K.; Ravichandran, V. Starlike functions associated with a cardioid. Afr. Mat. 2016, 27, 923–939. [Google Scholar] [CrossRef]
  37. Cho, N.E.; Kumar, V.; Kumar, S.S.; Ravichandran, V. Radius problems for starlike functions associated with the sine function. Bull. Iranian Math. Soc. 2019, 45, 213–232. [Google Scholar] [CrossRef]
  38. Raina, R.K.; Sokół, J. Some properties related to a certain class of starlike functions. C. R. Math. Acad. Sci. Paris 2015, 353, 973–978. [Google Scholar] [CrossRef]
  39. Gandhi, S.; Ravichandran, V. Starlike functions associated with a lune. Asian-Eur. J. Math. 2017, 10, 1750064. [Google Scholar] [CrossRef]
  40. Kumar, S.; Ravichandran, V. A subclass of starlike functions associated with a rational function. Southeast Asian Bull. Math. 2016, 40, 199–212. [Google Scholar]
  41. Wani, L.A.; Swaminathan, A. Starlike and convex functions associated with a nephroid domain. Bull. Malays. Math. Sci. Soc. 2021, 44, 79–104. [Google Scholar] [CrossRef]
  42. Goel, P.; Sivaprasad Kumar, S. Certain class of starlike functions associated with modified sigmoid function. Bull. Malays. Math. Sci. Soc. 2020, 43, 957–991. [Google Scholar] [CrossRef]
  43. Sharma, M.; Kumar, S.; Jain, N.K. Differential subordinations for functions with positive real part using admissibility conditions. Asian-Eur. J. Math. 2022, 15, 2250066. [Google Scholar] [CrossRef]
Figure 1. Sharp radii constants for R S * ( 1 2 ) ( H 1 , 1 1 ) , R S * ( 1 2 ) ( H 1 , 1 2 ) and R S * ( 1 2 ) ( H 1 3 ) for q = 2 .
Figure 1. Sharp radii constants for R S * ( 1 2 ) ( H 1 , 1 1 ) , R S * ( 1 2 ) ( H 1 , 1 2 ) and R S * ( 1 2 ) ( H 1 3 ) for q = 2 .
Mathematics 10 04428 g001
Figure 2. Sharp radii constants for R S L * ( H 1 , 1 1 ) , R S L * ( H 1 , 1 2 ) and R S L * ( H 1 3 ) (q = 2).
Figure 2. Sharp radii constants for R S L * ( H 1 , 1 1 ) , R S L * ( H 1 , 1 2 ) and R S L * ( H 1 3 ) (q = 2).
Mathematics 10 04428 g002
Figure 3. Sharp S sin * radii for H b , c 1 , H b , c 2 and H b 3 (b = 1, c = 1, q = 2).
Figure 3. Sharp S sin * radii for H b , c 1 , H b , c 2 and H b 3 (b = 1, c = 1, q = 2).
Mathematics 10 04428 g003
Figure 4. Sharp S N e * radii for H b , c 1 , H b , c 2 and H b 3 (b = 1, c = 1, q = 2).
Figure 4. Sharp S N e * radii for H b , c 1 , H b , c 2 and H b 3 (b = 1, c = 1, q = 2).
Mathematics 10 04428 g004
Figure 5. Sharp S S G * radii for H b , c 1 , H b , c 2 and H b 3 (b = 1, c = 1, q = 2).
Figure 5. Sharp S S G * radii for H b , c 1 , H b , c 2 and H b 3 (b = 1, c = 1, q = 2).
Mathematics 10 04428 g005
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Rana, S.; Ahuja, O.P.; Jain, N.K. Radii of Starlikeness of Ratios of Analytic Functions with Fixed Second Coefficients. Mathematics 2022, 10, 4428. https://doi.org/10.3390/math10234428

AMA Style

Rana S, Ahuja OP, Jain NK. Radii of Starlikeness of Ratios of Analytic Functions with Fixed Second Coefficients. Mathematics. 2022; 10(23):4428. https://doi.org/10.3390/math10234428

Chicago/Turabian Style

Rana, Shalini, Om P. Ahuja, and Naveen Kumar Jain. 2022. "Radii of Starlikeness of Ratios of Analytic Functions with Fixed Second Coefficients" Mathematics 10, no. 23: 4428. https://doi.org/10.3390/math10234428

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