Abstract
In their paper published in 1990, Miller and Mocanu have investigated the special function Gaussian hypergeometric function in view of its relation to the theory of analytic functions, stating conditions for this function to be univalent using . The study done in this paper extends the results on the univalence of the considered function taking with two criteria being stated in the corollaries of the proved theorems. An interpretation of the univalence results from the sets inclusion view is also given, underlining the geometrical properties of the outcomes. Examples showing how the univalence results can be applied are also included.
1. Introduction
Hypergeometric functions began to be studied more intensely in terms of their relation to the field of complex analysis after proving useful in demonstrating Bieberbach’s conjecture in 1985 []. Before that, the interest on hypergeometric functions came from their applications in different branches of mathematics such as representation theory, algebraic geometry and Hodge theory, number theory, mirror symmetry. The Gaussian hypergeometric function presented high interest, with studies concerning its applications in complex analysis being done as soon as this relation between domains was considered. One of the first papers which contained new results due to this study appeared in 1990 [] when Miller and Mocanu considered Gaussian and confluent (Kummer) hypergeometric functions and stated some conditions for their univalence. Gaussian hypergeometric function was investigated in terms of close-to-convexity properties in [], and some results related to its univalence were obtained before 1990 [], but it has already been established that they were different from the ones contained in [].More recently, results on the univalence conditions for the Gaussian hypergeometric function were given in [,,], but in this paper the new results related to the univalence of this function are stated using the well-known theory of differential subordination introduced in two papers in 1978 [] and 1981 [] by Miller and Mocanu, further developed in the coming years by many authors and synthesized in the work published in 2000 [] by the authors who introduced the notion.
Miller and Mocanu’s paper published in 1990 [] first served as inspiration for obtaining some new results related to the confluent (Kummer) hypergeometric function stated by first using notions concerning differential subordination theory [] and then notions of differential superordiantion theory [], with the relation between those results and the original results of Miller and Mocanu being emphasized. The study done to obtain the results contained in this paper follows the same pattern as in paper [], but now it takes the Gaussian hypergeometric function into consideration.
All the classical definitions of notions and established notations for the special classes of univalent functions are used throughout the paper.
Let and let denote the class of analytic functions in the unit disc. The class is seen as the subclass of analytic functions having the particular form with and . Another important subclass of which the study refers to consists of functions written as , this class being denoted by , with . All functions from class having the property are called starlike and their class is denoted by , while functions from the same class with the property are called convex and their class is denoted by .
Definitions for the relation of subordination, solution of the differential subordination, dominant and best dominant for a differential subordination are well-known and can be seen in [] (Definition 2 and Definition 3) and in Miller and Mocanu’s monograph, [] (p.4) and they are used just as they are given there.
The proofs of the original theorems from the next part of this paper require the use of a lemma which can be found in [] (Th. 3.4h, p.132).
Lemma 1.
[] Let be univalent in and let and be analytic in a domain containing , with , when Set
and suppose that either
- (i)
- in convex, or
- (ii)
- is starlike.
In addition, assume that
- (iii)
- .
Ifis analytic in U, withand
then
andis the best dominant.
The notion of differential subordination was introduced after observing certain inequalities and inclusions of sets valid in real analysis and adapting them for the case of complex-valued functions. A short history of the emergence of the notion can be read in the introduction of paper []. In the same cited paper, some geometrical interpretations of superordination results written as inclusions of sets are shown. Such a perspective on using set inclusions to express a new outcome was approached in another paper published in 2020 [], which proves that this direction is of interest at this time and generates an interesting outcome. This technique is applied for the original results obtained in this paper for differential subordinations.
The definition of the Gaussian hypergeometric function is reminded in [] and presented below:
Definition 1.
[] Let a, b,c,The function:
is called a Gaussian hypergeometric function.
A property easily obtained for this function given in [] is:
Next to the mirror symmetry formula for Gauss hypergeometric function, it is known that this function has the symmetric property remaining unaltered if the numerator parameters and are interchange while, keeping the denominator parameter fixed.
The original results obtained in relation to this function and which have led to stating two criteria for its univalence can be seen in the following theorems and corollaries.
2. Main Results
Using Lemma 1 mentioned in the introduction, the first stated theorem proves a subordination result which, for certain specific functions used, gives criteria for the univalence of the Gaussian hypergeometric function. The criteria are presented in two corollaries that follow the theorem, and the geometrical interpretation of the results in the corollaries using the inclusion of sets can also be seen.
Theorem 1.
Consider a convex functionhaving the propertyand letwhenknowing thatfor
LetandTake:
Letwith the conditionbe met when.
If the subordination:
is satisfied, thenwhenwritten as the sets inclusionandis the best dominant.
Proof.
The proof uses Lemma 1, and hence the conditions from the lemma must be met. To prove the compliance of the first condition from the lemma, the functions , and are defined as:
Putting in (5), the following equalities are obtained:
and
Using (3), it results in:
and:
Putting in (5), the following equalities are obtained:
and
Using (3) again, it results in:
Using (8) and (9), the differential subordination (4) becomes:
To apply Lemma 1, the starlikeness of function needs to be proved. In the hypothesis of the theorem, function was taken as convex. Thus, it is known that:
Differentiating (6) and making a simple calculus, we obtain:
Using (11) in (12), we have:
which is equivalent to being starlike. It is now proved that the first condition needed in order to apply Lemma 1 is satisfied.
Differentiating (7) and after a simple calculus, using (11) and the hypothesis of the theorem, we get:
which means that the second condition from Lemma 1 is also satisfied.
Using Lemma 1, the differential subordination (10) implies:
when
Since is a convex function which satisfies the equation it is the best dominant of the proved differential subordination. □
Remark 1.
If in Theorem 1, the function:
is considered since it is a convex function, and ifgiven by (1), then the following univalence criterion for the Gaussian hypergeometric function is obtained.
Corollary 1.
Consider the convex function:
and letwhenknowing thatfor
Take:
and:
Letgiven by (1) with
when.
If the subordination:
is satisfied, then:
whenwritten as the sets inclusion:
i.e.,
written as the sets inclusion:
Hence,is univalent in
Proof.
Let:
Next, we differentiate the equality and we obtain:
Then, the differential subordination (15) becomes:
Using relation (14) from the proof of Theorem 1 results in:
and:
Using (2), we obtain:
Using (17) in (16), we have:
Using the convexity of function , the differential subordination (18) is equivalent to:
written as the sets inclusion:
concluding that the function is univalent. □
Remark 2.
In Theorem 1, take the functions:
The following univalence criterion for the Gaussian hypergeometric function can be written:
Corollary 2.
Consider the convex function:
and letwhenknowing thatfor
Take:
and:
If the function:
is analytic inand satisfies the differential subordination:
Then:
i.e.,
written as the sets inclusion:
Hence, the functionis convex in
Proof.
Let:
Differentiating the equality and using the expressions for and in (19), we get:
Using relation (14) obtained in the proof of Theorem 1 results in:
By replacing with its expression written above, we obtain:
and function is the best dominant.
Using the convexity of function , the above differential subordination is equivalent to:
written as the sets inclusion:
concluding that function is convex in .
This corollary is a key result as it gives the connection between the original outcome of this paper and the findings of Miller and Mocanu in their paper [] which have inspired this study, and it is also used in the proof of the next two original theorems. □
Remark 3.
The outcome proved in Corollary 2 has been previously obtained in [] having consideredwith the propertieswhere
The next theorem gives results concerning the starlikeness of the derivative of the Gaussian hypergeometric function. The proof of this theorem is short because it uses Corollary 2.
Theorem 2.
Letgiven by (1). Then,is starlike.
Proof.
Let
Differentiating and doing some simple calculus, the following equality is obtained:
Corollary 2 states that function is a convex function in hence:
which means that function is starlike, i.e., is starlike. □
The next theorem states a starlikeness result for the Gaussian hypergeometric function and also invokes Corollary 2 in the proof. The theorem makes another connection with the results from [].
Theorem 3.
Letgiven by (1). Then,is starlike in
Proof.
From (2), it is known that:
which is equivalent to:
Define the function as:
having .
Differentiating we obtain:
Using Corollary 2, it is known that function is convex in , which gives:
meaning that the function is starlike in
However, the function was defined as and hence the proof is concluded. □
Remark 4.
The starlikeness result of this theorem was previously given in [] taking with the properties where
The study presented is concluded with two examples illustrating the way to apply the theoretical findings presented in the paper. The first example refers to this last proved result and the second is related to Corollary 2.
Example 1.
Take
Then:
Define the functionWe next prove that Theorem 3 can be applied for this function, meaning that g(z) is a starlike function.
Since:
We conclude that functionis starlike and:
Example 2.
TakeThen,and:
Take:
and denote:
Differentiating, we get:
and:
Using Corollary 2, we obtain:
If:
Then:
written as the sets inclusion:
hence,is a convex function.
Indeed:
which shows thatis convex inwritten as the sets inclusion:
3. Conclusions
The original theorems and corollaries of this paper are the outcome of a study done on the Gaussian hypergeometric function using the theory of differential subordination in order to obtain conditions for its univalence. The results are extensions of previously obtained results, with the connection being emphasized in some remarks. The first theorem has as corollaries two criteria for univalence, for which the geometrical interpretation with sets inclusion is also given. The second corollary is a key result used in the proofs of the next two theorems and connects the results presented here with those that have inspired this study. The third theorem gives further details about this connection. The examples are enclosed in order to give an idea about the use of the theoretical results presented in the paper, and they could serve as inspiration for further studies done using specific functions. The results of this paper could inspire similar studies on this function considering the dual theory of differential superordination. A connection between the outcome of that study and the results in this paper could be sought in order to achieve the statement of sandwich type theorems, familiar to the Geometric Theory of Analytic Functions.
Funding
This research received no external funding.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Not applicable.
Conflicts of Interest
The author declares no conflict of interest.
References
- De Branges, L. A proof of the Bieberbach conjecture. Acta Math. 1985, 154, 137–152. [Google Scholar] [CrossRef]
- Miller, S.S.; Mocanu, P.T. Univalence of Gaussian and confluent hypergeometric functions. Proc. Am. Math. Soc. 1990, 110, 333–342. [Google Scholar] [CrossRef]
- Ponnusamy, S. Close-to-convexity properties of Gaussian hypergeometric functions. J. Comput. Appl. Math. 1998, 88, 327–337. [Google Scholar] [CrossRef]
- Ruscheweyh, S.; Singh, V. On the order of starlikeness of hypergeometric functions. J. Math. Anal. App. 1986, 113, 1–11. [Google Scholar] [CrossRef]
- Ponnusamy, S.; Vuorinen, M. Univalence and convexity properties for Gaussian hypergeometric functions. Rocky Mt. J. Math. 2001, 31, 327–353. [Google Scholar] [CrossRef]
- Ponnusamy, S.; Vuorinen, M. Starlikeness of the Gaussian hypergeometric functions. Complex Var. Elliptic Equ. 2010, 55, 173–184. [Google Scholar] [CrossRef]
- Swaminathan, A. Certain sufficiency conditions on Gaussian hypergeometric functions. J. Inequal. Pure App. Math. 2004, 5, 83. [Google Scholar]
- Miller, S.S.; Mocanu, P.T. Second order differential inequalities in the complex plane. J. Math. Anal. Appl. 1978, 65, 289–305. [Google Scholar] [CrossRef]
- Miller, S.S.; Mocanu, P.T. Differential subordinations and univalent functions. Mich. Math. J. 1981, 28, 157–172. [Google Scholar] [CrossRef]
- Miller, S.S.; Mocanu, P.T. Differential Subordinations. Theory and Applications; Marcel Dekker, Inc.: New York, NY, USA; Basel, Switzerland, 2000. [Google Scholar]
- Oros, G.I. New Conditions for Univalence of Confluent Hypergeometric Function. Symmetry 2021, 13, 82. [Google Scholar] [CrossRef]
- Oros, G.I. Applications of Inequalities in the Complex Plane Associated with Confluent Hypergeometric Function. Symmetry 2021, 13, 259. [Google Scholar] [CrossRef]
- Antonino, J.A.; Miller, S.S. Systems of simultaneous differential inequalities, inclusions and subordinations in the complex plane. Anal. Math. Phys. 2020, 10, 32. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2021 by the author. 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/).