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 it implies that the class introduced in reference third by Kumar et al. is not a subclass of starlike functions. Now, we have introduced a parameter with the restriction and by doing that, The present research intends to provide a novel subclass of starlike functions in the open unit disk denoted as , and investigate its geometric nature. For this newly defined subclass, we obtain sharp upper bounds of the coefficients for Then, we prove a lemma, in which the largest disk contained in the image domain of and the smallest disk containing are investigated. This lemma has a central role in proving our radius problems. We discuss radius problems of various known classes, including and of starlike functions of order and convex functions of order . Investigating 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 radii of different subclasses is the calculation of that value of the radius 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.
MSC:
30C45; 30C50
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 as the class of all analytic functions f in , which are normalized and of the form
and denote as the subfamily of , which consists of univalent functions in . Also, denote as the class of analytic functions f of the form defined in the open unit disk As such, we have . A domain D in the complex plane is starlike with respect to if any line segment or ray joining to a point lies in D. Any function that maps onto such a domain D is starlike with respect to We denote as the class of functions that are starlike with respect to 0. The class of functions f is analytically defined as Similarly, a set D in is convex if it is starlike with respect to each of its points. Any function that maps onto such a domain D is known as a convex function, and a class of all such functions is denoted by . Analytically, a function f if and only if Also, recall that the relation of subordination between the analytic functions f and g is symbolically written as , and it holds if there exists a Schwarz function w with and such that In addition, if g is univalent, then the relation holds if and only if .
The general families of univalent functions f in for which the quantities or are subordinate to a univalent function with a positive real part were discussed by Ma and Minda [1], who defined and , where , and 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 , the class is denoted by and is known as the class of Janowski starlike functions [2]; more specifically, if and the class reduces to the class of starlike functions of order . In a similar way, the class for , and where is denoted by and , which are known as Janowski convex functions [2] and convex functions of order , respectively. For the classes and reduce to the prominent classes and of starlike and convex functions, respectively. In the present study, we discuss radii for some already defined classes 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 associated with sine hyperbolic functions. Since and the defined class does not belong to the family . To address this problem, Raza et al. [4] introduced a subclass of by considering where In a similar way, a subclass can be defined by taking where We define it as follows:
Remark 1.
Since and in ,
Remark 2.
We also see that and where therefore, there is no inclusion relation between the class and the class defined in [4].
From the definition, we see that a function if and only if there exists an analytic function q satisfying the subordination relation , with such that
A few examples of functions of our newly defined class are given below. Let us consider the following functions:
Also, since is univalent in , and for all ; this implies that, for each , the relation holds. Thus, from (2), the functions
belong to the class corresponding to each of the functions 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 whose real part is positive. It is denoted by and has the series representation of the form
Let
Then, clearly and The class of all functions , for which , is denoted by , and that for is denoted by . The class consists of functions satisfying the relation was introduced by Uralegaddi et al. [5]. Also, let
and
In this paper, we work on finding the radii of starlikeness and convexity, as well as radii for certain subclasses of starlike functions, mentioned above, which mostly have simple geometric interpretations. Besides these subclasses, we also discuss the radii for some families of whose functions have been expressed as a ratio between two functions. We denote these families by 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 These are useful in determining the bounds on coefficients of the Taylor series of our newly defined class.
Lemma 1
([1]). If and is of the form (3), then for any complex number μ,
and
Lemma 2
([15]). Let be given by (3), with and . Then,
Lemma 3
([16]). Let , and d be such that , and
If p is in and is of the form (3), then
Lemma 4
([17]). If , then for ,
Lemma 5
([18]). If , then for ,
In particular, if , then for ,
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 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 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 , where In the same lemma, we also obtain the disk of the smallest radius with its center on the real axis such that the domain is contained in it. At the end of the first subsection, we give a new representation for functions in the class but for a more restricted range of
3.1. Coefficient Bounds and Inclusion Lemma
Theorem 1.
Let and be of the form (1). Then, for ,
These results are sharp for
Proof.
If then, by the definition of class we have
where and Now, using the definition of class , we have the relation
Therefore,
Also,
By substituting these values in (6) and comparing the coefficients, we have
By using (7) and (4), we have For the bound on in (8), we use (5) for to obtain Now, from (9), we have
where
We also see that
and
Therefore, by employing Lemma 2 to Equation (11), we have the required result.
Finally, let
Thus, (10) takes the form
Clearly, and Also, the following inequality holds for all
Therefore, all the conditions of Lemma 3 are satisfied; thus, from (12), we have
□
Lemma 6.
Let Then,
where
Proof.
Consider the distance of from the boundary of as
Since , we therefore consider . Now, we see that has and roots in Also, we see that for and for This implies that
and
Hence, we have the required result. □
Lemma 7.
Let where Then, for
Proof.
For where we have
Now, has 0 and roots in We also see that whereas Hence, we conclude that
□
Remark 3.
From the above result, it is evident that, for ,
Keeping in view the above inequalities, we define an analytic function and a vertical strip , with and , as follows:
and
Thus, is univalent and convex in the open unit disk , and it maps onto
Theorem 2.
Let and Then, if and only if
where
Proof.
Let Then, from Remark 3, lies in the vertical strip Furthermore, Now, as 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
Theorem 3.
If , then for all if and only if
where , and w is an analytic function, with and for
Proof.
According to Theorem 2 and the definition of subordination , there exists a Schwarz function w that is an analytic such that and for , and
or
Therefore,
This implies the required result. □
3.2. Radius Problems
In this second subsection, we discuss 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 from the two subclasses and due to Ali et al. [19], which are given by
Theorem 4.
The sharp radii for the classes and are given by the following:
- (i).
- .
- (ii).
- .
Proof.
Let Then, and
By applying Lemma 4, for we have
From Lemma 6, it implies that the disk will contain if
holds. That is, if and only if Thus, the radius of is the smallest positive root of the equation
is in the interval . That is,
Furthermore, to show the sharpness of we define the function which, upon differentiation, gives the following:
and at we have
Hence, the proof of part (i) is completed.
Let Then, define functions and such that
Since and then according to Lemma 4 and Lemma 5, respectively, and we have
which by adding gives us the following:
Also, since it implies that Thus, according to Lemma 6, the disk given in (13) lies in if
and
hold. These two inequalities imply, respectively, that
and
Thus,
Hence,
For the sharpness of consider the functions below
Then, we have
Clearly, while thereby implying that hence, Now, logarithmic differentiation of gives
At we have
The proof is thus completed. □
Remark 4.
For α with observe that as α approaches
Next, we discuss radii for some known subclasses of starlike functions , , , and in which 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 which was introduced by Sokół and Stankiewicz [20] for . The class can be geometrically interpreted as the set of all those functions , for which the image of transformation lies in the right-half of the lemniscate of Bernoulli The second subclass 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 . Inspired by the work of Mendiratta et al. [21] in 2016, it was Sharma et al. [8] who introduced the class as a special case of the class by taking , and they studied some properties of the functions in the class . The class was considered by Raina and Sokól [22]; they proved that if and only if lies in the region Ghandhi and Ravichandran [23] obtained several sufficient conditions for . 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 and defined it as the class of all functions , which satisfy the subordination relation . The last of these is the class of Sigmoid starlike functions defined in [25] by taking 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 radii for some particular subclasses of starlike functions are
Proof.
If then and, hence, for , we have
Thus, according to Lemma 6, if the inequality
holds, and it further simplifies
For the sharpness of we consider the function below
The logarithmic differentiation of gives which, upon putting yields
and this proves the sharpness of
From the definition of the class we can write with
For where we have
According to Lemma 6, the above disk will contain and, hence, if
which, after some simplification, gives
For the sharpness of we define the following function
where
At we have
which proves the sharpness of
Let Then, and, hence, for we have
From Lemma 6, the last inequality implies that if or Thus, is the smallest positive root of the equation which is
For the sharpness of , we define the following function
such that
which, at , yields
and this proves the sharpness of
Let . Then, Hence, for , we have
According to Lemma 6, the above disk will contain and, hence, if or , which further implies that
To verify the sharpness of , we consider the function
with . At , we have
This proves the sharpness of .
Let . Then, . Therefore, for , we have
The above disk will contain and, hence, , if
After some simple computation, we have
For the sharpness of , we consider the function
At , we have
This proves the sharpness of .
Let Then, Thus, for we have
Now, according to Lemma 6, the above disk will contain if
which, upon solving for r, yields
That is,
The sharpness is proven for
That is, which at yields
□
Remark 5.
Since is greater than one for this shows that for this interval of
Corollary 1.
For
- (i).
- (ii).
- (iii).
- (iv).
- (v).
Corollary 2.
For
Now, we discuss radii for a few such subclasses of starlike functions in each of which is subordinate to a Ma-and-Minda-type function involving a single parameter. These subclasses are , and The class for was introduced by Kargar et al. [26]. They studied coefficient bounds and obtained subordination results for this class. The class consists of functions satisfying the relation was introduced by Uralegaddi et al. [5]. The third class that will be considered for a radius is the class of strongly starlike functions, which was studied in [27,28]. The fourth class of this discourse is the subclass of starlike functions, which was introduced by Deniz [29] for , ( is an integer, with ) in connection with the new generalization of telephone numbers. The fifth class for which we investigate the radius is the class associated with a rational function, , which was introduced and studied by Kumar and Ravichandran in [30].
Theorem 6.
The sharp radii for some particular subclasses of starlike functions are the following:
Proof.
Let . Then, , with Hence, for , we have
From the use of Lemma 6, we conclude that the above disk will be contained in and, hence, if .
Case For , we have
The function proves the sharpness.
Case For , the inequality implies Thus, is the smallest positive root of the equation which, upon solving, yields
To prove the sharpness of , we consider the function
At , we have
Thus, the sharpness of is verified.
Let . Then, by using Lemma 5 for , we have
Clearly, the inequality holds. Therefore, according to Lemma 6, the above disk contains , or equivalently, if
After some computation, we have
and
which further imply, respectively, that
Hence, is the minimum of these two, and it is
For the sharpness of , we define the following function
with . Then, at , we have
which proves the sharpness of .
If , then , with Therefore, for , we have
The above disk is contained in as given in Lemma 6 if
After some simplification, we have
To prove the sharpness of , we consider the function
and At , we easily obtain
Let . Then, Therefore, for , we have
Using Lemma 6, the last given disk is contained in and, hence, if Furthermore, it implies that
Thus, is the smallest positive root of the equation By simple computation, we obtain
For the sharpness of , we consider the function
At , we have
Let . Then, For , we have
According to Lemma 6, the above disk will be contained in , and, hence, if . Furthermore, computation yields Thus, is the smallest root of the equation For the sharpness of , we consider the function
and with we have
□
Remark 6.
For and in the above parts (ii) and (iii), respectively, we have
4. Functions Defined in Terms of Ratio of Functions
Now, we discuss the radius problem of classes denoted by and defined as
Theorem 7.
The sharp radii for functions in the classes and respectively, are:
Proof.
Let Then, there is such that
Let us choose and Then, clearly , and so we easily obtain
By applying Lemma 4 for p and h in the above inequality, we have
Now, by using Lemma 6, the function if
or, equivalently,
Thus, is the smallest positive root of the equation
For the sharpness of , we consider the following two functions
Then, it is obvious for that and Its further implies that and also that
at This proves the sharpness of
If then there exist a function such that
Let us set and Then, clearly and Also, it yields
Therefore, by using Lemma 4 for p and h, we have
Now, by virtue of Lemma 6, the function if
or
Thus, is the smallest positive root of the equation
To verify the sharpness of , we consider the functions
and with simple computation, we have
Also, , and . This proves that and also we easily obtain
By putting it yields
and this confirms the sharpness.
Let Then, by definition, there is such that
If we put and then the above inequalities becomes
Hence, , and By simple computation, we have
By applying Lemma 4 for p and h, we have
Proceeding on the same lines as in above part (ii), we obtain
For the sharpness of , we consider the following functions
However, since it implies that , and, hence, Also
at and this proves the sharpness of
If then a convex function exists such that
Or, equivalently, we write it as Also, since every convex function is starlike of order it therefore follows from Lemma 5 that
If we put then Hence, from we have
Therefore, from the inequality (14) and Lemma 4, we easily have
Since therefore, accodring to Lemma 6, the above disk will be contained in , and, hence, if
or, equivalently, we have
Thus, is the smallest positive root of the equation
For the sharpness of , consider the functions
Also, , and
thus showing that is convex. Thus, Also,
which, at yields
thus proving the sharpness of □
5. Conclusions
As some portion of the image of the function is not in the right-half plan, we introduced with as factor of z and obtained the Ma-Minda-type function 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 We obtained first four sharp coefficient bounds and 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 , 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
- 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]
- 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]
- 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]
- Raza, M.; Zahid, H.; Liu, J.L. Starlikeness associated with sine hyperbolic function. Acta Math. Sci. 2023; accepted. [Google Scholar]
- Uralegaddi, B.A.; Ganigi, M.D.; Sarangi, S.M. Univalent functions with positive coefficients. Tamkang J. Math. 1994, 25, 225–230. [Google Scholar] [CrossRef]
- Kaplan, W. Close-to-convex schlicht functions. Mich. Math. J. 1953, 1, 169–185. [Google Scholar] [CrossRef]
- Read, M.O. On close-to-convex univalent functions. Mich. Math. J. 1955, 3, 59–62. [Google Scholar] [CrossRef]
- Sharma, K.; Jain, N.K.; Ravichandran, V. Starlike functions associated with a cardioid. Afr. Math. 2016, 27, 923–939. [Google Scholar] [CrossRef]
- 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]
- 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]
- MacGregor, T.H. The radius of univalence of certain analytic functions. Proc. Am. Math. Soc. 1963, 14, 514–520. [Google Scholar] [CrossRef]
- MacGregor, T.H. The radius of univalence of certain analytic functions, II. Proc. Am. Math. Soc. 1963, 14, 521–524. [Google Scholar] [CrossRef]
- MacGregor, T.H. A class of univalent functions. Proc. Am. Math. Soc. 1964, 15, 311–317. [Google Scholar] [CrossRef]
- 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]
- Ali, R.M. Coefficients of the inverse of strongly starlike functions. Bull. Malays. Math. Sci. Soc. 2003, 26, 63–71. [Google Scholar]
- Ravichandran, V.; Verma, S. Bound for the fifth coefficient of certain starlike functions. Comptes Rendus Math. 2015, 353, 505–510. [Google Scholar] [CrossRef]
- Shah, G.M. On the univalence of some analytic functions. Pac. J. Math. 1972, 43, 239–250. [Google Scholar] [CrossRef]
- 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]
- 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]
- 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]
- 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]
- 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]
- Gandhi, S.; Ravichandran, V. Starlike functions associated with a lune. Asian-Eur. J. Math. 2017, 10, 1750064. [Google Scholar] [CrossRef]
- 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]
- 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]
- Kargar, R.; Ebadian, A.; Sokół, J. On Booth lemniscate of starlike functions. Anal. Math. Phys. 2019, 9, 143–154. [Google Scholar] [CrossRef]
- 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]
- Brannan, D.A.; Kirwan, W.E. On some classes of bounded univalent functions. J. Lond. Math. Soc. 1969, 2, 431–443. [Google Scholar] [CrossRef]
- 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]
- 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. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).