The results presented in this paper highlight the property of the Gaussian hypergeometric function to be a Carathéodory function and refer to certain differential inequalities interpreted in form of inclusion relations for subsets of the complex plane using the means of the theory of differential superordination and the method of subordination chains also known as Löwner chains.
Citation: Georgia Irina Oros. Carathéodory properties of Gaussian hypergeometric function associated with differential inequalities in the complex plane[J]. AIMS Mathematics, 2021, 6(12): 13143-13156. doi: 10.3934/math.2021759
[1] | Alina Alb Lupaş, Georgia Irina Oros . Differential sandwich theorems involving Riemann-Liouville fractional integral of q-hypergeometric function. AIMS Mathematics, 2023, 8(2): 4930-4943. doi: 10.3934/math.2023246 |
[2] | K. Saritha, K. Thilagavathi . Differential subordination, superordination results associated with Pascal distribution. AIMS Mathematics, 2023, 8(4): 7856-7864. doi: 10.3934/math.2023395 |
[3] | Ye-Cong Han, Chuan-Yu Cai, Ti-Ren Huang . Monotonicity, convexity properties and inequalities involving Gaussian hypergeometric functions with applications. AIMS Mathematics, 2022, 7(4): 4974-4991. doi: 10.3934/math.2022277 |
[4] | Madan Mohan Soren, Luminiţa-Ioana Cotîrlǎ . Fuzzy differential subordination and superordination results for the Mittag-Leffler type Pascal distribution. AIMS Mathematics, 2024, 9(8): 21053-21078. doi: 10.3934/math.20241023 |
[5] | Ekram E. Ali, Nicoleta Breaz, Rabha M. El-Ashwah . Subordinations and superordinations studies using q-difference operator. AIMS Mathematics, 2024, 9(7): 18143-18162. doi: 10.3934/math.2024886 |
[6] | Georgia Irina Oros, Gheorghe Oros, Daniela Andrada Bardac-Vlada . Certain geometric properties of the fractional integral of the Bessel function of the first kind. AIMS Mathematics, 2024, 9(3): 7095-7110. doi: 10.3934/math.2024346 |
[7] | Rabha W. Ibrahim, Dumitru Baleanu . Fractional operators on the bounded symmetric domains of the Bergman spaces. AIMS Mathematics, 2024, 9(2): 3810-3835. doi: 10.3934/math.2024188 |
[8] | Inhwa Kim, Young Jae Sim, Nak Eun Cho . First-order differential subordinations associated with Carathéodory functions. AIMS Mathematics, 2024, 9(3): 5466-5479. doi: 10.3934/math.2024264 |
[9] | Lina Ma, Shuhai Li, Huo Tang . Geometric properties of harmonic functions associated with the symmetric conjecture points and exponential function. AIMS Mathematics, 2020, 5(6): 6800-6816. doi: 10.3934/math.2020437 |
[10] | Alina Alb Lupaş, Shujaat Ali Shah, Loredana Florentina Iambor . Fuzzy differential subordination and superordination results for q -analogue of multiplier transformation. AIMS Mathematics, 2023, 8(7): 15569-15584. doi: 10.3934/math.2023794 |
The results presented in this paper highlight the property of the Gaussian hypergeometric function to be a Carathéodory function and refer to certain differential inequalities interpreted in form of inclusion relations for subsets of the complex plane using the means of the theory of differential superordination and the method of subordination chains also known as Löwner chains.
Hypergeometric functions have been investigated mainly for their applications in a wide variety of fields as it was nicely presented in the survey-com-expository recent article [1] where the author gives references on scientific literature on the subject highlighting the applications of those functions in the theory of univalent functions. The interest on studying such applications grew once they were surprisingly used by L. de Branges in the proof of Bieberbach's conjecture published in 1985 [2]. Before this event, little research has been done from this point of view. Merkes and Scott investigated the starlikeness of certain Gaussian hypergeometric functions in 1961 [3] and before that the relationship between hypergeometric functions and univalent function theory was taken into consideration in the articles published by E. Kreyszig and J. Todd in 1959, who investigated the univalence of the error function Erf(z) [4] and of the function exp(z2)⋅Erf(z) [5].
Once the connection of hypergeometric functions with univalent functions theory was established, they were intensely investigated concerning many aspects. S. Ruscheweyh and V. Singh published results related to the order of starlikeness of certain hypergeometric functions in 1986 [6]. S. S. Miller and P. T. Mocanu have used the method of differential subordinations to investigate univalence, starlikeness and convexity of certain hypergeometric functions in 1990 [7] and their results were different from those previously published by S. Ruscheweyh and V. Singh [6]. After that, many papers appeared presenting interesting results obtained using different types of hypergeometric functions. Convolution operators involving generalized hypergeometric functions with very interesting and numerous applications were introduced such as the celebrated Dziok-Srivastava operator [8] and Srivastava-Wright operator [9] which were intensely used for obtaining elegant new results of which I only mention [10,11,12,13] and who's importance is nicely presented in [14]. An extension of the beta function by introducing an extra parameter, which proved to be useful earlier, is applied in [15] to extend the hypergeometric and confluent hypergeometric functions, an entire study on this extension and its relationship with the hypergeometric and confluent hypergeometric functions been conducted. S-generalized Gauss hypergeometric function was introduced in [16] and a new integral transform whose kernel is the S-generalized Gauss hypergeometric function was investigated in [17] and Gauss hypergeometric function transform follows as a simple special case of this integral transform. A new subclass of analytic functions in the open unit disk U, which is defined by the convolution, where the Gaussian hypergeometric function is involved is introduced and studied in [18]. Those are just a few mentions of the use of Gaussian hypergeometric function in obtaining original results related to geometric function theory.
So, it is not a surprise that this function was taken into consideration to obtain original new results presented in this paper. The theory of differential superordination introduced by Miller and Mocanu in 2003 [19] was applied in order to obtain interesting superordination results where Gaussian hypergeometric function is the best subordinant. This theory is relatively new and it provides interesting outcome as it can be seen from the large number of recently published papers of which I only mention [20,21,22]. It was applied for obtaining results concerning confluent hypergeometric function in [23] and those results inspired the idea of doing a similar study considering Gaussian hypergeometric function. In the same mentioned paper [23], inequalities in the complex plane connected with superordination results were interpreted in terms of inclusion relations between subsets of the complex plane inspired by the way the notion of differential subordination was introduced by Miller and Mocanu in two papers [24,25]. A short history of the connection between differential subordination and inclusion relations between subsets of the complex plane can be read in [23]. That outcome and the results published very recently using the same idea [26] determined the investigation in the same manner on the superordination results obtained as result of the study on Gausssian hypergeometric function. The outcome was as expected, interesting: The property of Gaussian hypergeometric function to be a Carathéodory function emerged. The class of Carathéodory functions is defined and denoted as P={p∈H(U):p(0)=1, Re p(z)>0,z∈U} where U={z∈C: |z|<1}. This property that certain functions have is of interest nowadays just as it was many years ago as it can be seen in the published results from 1972 [26] which have inspired the ones published just a few years later, in 1975 [27] and continued to push this study forward [28,29,30,31,32,33] many new results arising in the last years too [34,35,36,37,38], to mention only a small part of the papers.
This study was completed by adding the method of subordination chains or Löwner chains next to the means of the theory of differential superordination. This method was introduced by K. Löwner [39] starting from the idea of embedding the studied domain into domains that continuously "grow'' and which can be described by using differential equations. The idea was pick up by many other researchers and led to obtaining important new results in geometric functions theory. This theory combined with the theory of differential superordination gives great outcome as it also can be seen in the next section of this paper which contains the original results.
The definition of the notion of subordination chain as it can be seen in [40] is next reminded:
Definition 1. [40] A function L(z,t), z ∈ U t≥0 is a subordination chain if L(⋅,t) is analytic and univalent in U for all t≥0, L(z,⋅)is contiunously differentiable on R+ for all z ∈ U and L(z,s)≺L(z,t) when 0≤s≤t.
The classes used throughout the paper are next shown. Let H(U) denote the class of analytic functions in the unit disc. The subclass of functions f∈H(U) which have the serial development f(z)=a+an+1zn+1+… with z∈U, a∈C and n a positive integer is denoted by H[a,n] with H0=H[0,1]. The functions f∈H(U) which have the specific form f(z)=z+an+1zn+1+… with z∈U form the class denoted by An with A1 written simply A. The functions from class A which are univalent in U are contained by the class denoted by S. The univalent functions with the property Rezf′(z)f(z)>0 are called starlike functions and the class they form is denoted by S∗. The class of convex functions is denoted by K and consists of the univalent functions having the property Rezf′′(z)f′(z)+1>0.
The next definitions are related to the theory of differential superordination:
Definition 2. [19] Let f and F be members of H(U). The function f is said to be subordinate to F, or F is said to be superordinate to f, if there exists a function w, analytic in U, with w(0)=0 and |w(z)|<1 and such that f(z)=F(w(z)). In such a case we write f≺F or f(z)≺F(z). If F is univalent, then f≺F if and only if f(0)=F(0) and f(U) F(U).
Definition 3. [19] Let φ(r,s,t;z):C3ׯU→C and let h be analytic in U. If p and φ(p(z),zp(z),z2p(z);z) are univalent in U and satisfy the (second-order) differential superordination
h(z)≺φ(p(z),zp(z),z2p(z);z), | (1.1) |
then p is called a solution of the differential superordination. An analytic function q is called a subordinant of the solutions of the differential superordination or more simply a subordinant, if q≺p for all p satisfying (1.1). A subordinant ˜q that satisfies q≺˜q for all subordinants q of (1.1) is said to be the best subordinant of (1.1). Note that the best subordinant is unique up to a rotation of U.
Definition 4. [19] We denote by Q the set of functions f that are analytic and injective on U∖E(f) where
E(f)={ζ∈∂U:f(z)=∞} |
and are such that f′(ζ)≠0, for ζ∈∂U∖E(f). The subclass of Q for which f(0)=a is denoted by Q(a).
Definition 5. [19] Let Ω be a set in C and q∈H[a,n]. The class of admissible functions ϕn[Ω,q] consists of those functions φ:C3ׯU→C that satisfy the admissibility condition
φ(r,s,t;ζ)∈Ω, | (A) |
whenever
r=q(z), s=zq′(z)m, Re(ts+1)≤1m Re [zq′′(z)q(z)+1], ζ∈∂U, z∈U, m≥n≥1. |
When n=1, ϕ1[Ω,q] is written as ϕ[Ω,q].
In the special case when h is an analytic mapping of U onto Ω≠C we denote the class ϕn[h(U),q] by ϕn[h,q].
If φ:C2ׯU→C then the admissibility condition (A) reduces to
ϕ(r,s;ζ)∈Ω | (A') |
where ζ∈∂U, z∈U, m≥n≥1.
A lemma is necessary for proving the original results contained in the next section.
Lemma 1. (Miller and Mocanu) [19] Let p∈Q(a) and let q(z)=a+anzn+an+1zn+1+… be analytic in U with q(z)≢a and n≥1. If q is not subordinate to p, then there exists points z0=r0eiθ0∈U and ζ0∈∂U∖E(p) and an m≥n≥1 for which q(Uro)⊂p(U) and
(i) q(z0)=p(ζ0)
(ii) z0q′(z0)=mζ0p′(ζ0) and
(iii) Rez0q′′(z0)q(z0)+1≥mRe[ζ0p(ζ0)p(ζ0)+1].
The definition of Gaussian hypergeometric function studied in [7] is presented below:
Definition 6. [7] Let a,b and c be complex numbers with c≠0,−1,−2,… The function
F(a,b,c;z)=2F1(a,b,c;z)=1+abc⋅z1!+a(a+1)b(b+1)c(c+1)⋅z22!+..., z∈U, | (1.2) |
is called Gaussian hypergeometric function, is analytic in U and satisfies the hypergeometric equation:
z(z−1)⋅w′′(z)+[c−(a+b+1)z]⋅w′(z)−ab⋅w(z)=0. |
If we let
(d)k=Γ(d+k)Γ(d)=d(d+1)(d+2)…(d+k−1) and (d)0=1, |
then (1.2) can be written in the form
F(a,b,c;z)=∞∑k=0(a)k⋅(b)k(c)k⋅zkk!=Γ(c)Γ(a)Γ(b)⋅∞∑k=0Γ(a+k)Γ(b+k)Γ(c+k)⋅zkk!. | (1.3) |
Remark 1. The results presented in the next section related to Gaussian hypergeometric function are believed to be new. Analogous methods have been used in earlier publications as well as it can be seen in [23,26,41,42,43].
The first original result presented in this paper is a theorem obtained using the theory of differential superordination which gives necessary and sufficient conditions for the Gaussian hypergeometric function to be the best subordinant for a certain differential superordination. The proof uses Lemma 1 previously given in the introduction.
Theorem 1. Let h be analytic in U, consider the Gaussian hypergeometric function given by (1.2) and let φ:C3ׯU→C,φ∈ϕn[h(U),q]. Suppose that the differential equation
φ(q(z),zq′(z),z2q′′(z);z)=h(z) | (2.1) |
has a univalent solution q(z)=F(a,b,c;z)∈Q(1).
If p∈Q(1) and φ(p(z),zp′(z),z2p′′(z);z) is univalent in U, then
h(z)≺φ(q(z),zq′(z),z2q′′(z);z)orh(U)⊂φ(U) | (2.2) |
implies
q(z)=F(z,b,c;z)≺p(z)orF(U)⊂p(U) | (2.3) |
and q(z)=F(a,b,c;z) is the best subordinant.
Proof. Suppose that functions p, q, h satisfy the conditions from Lemma 1 in ¯U={z∈C: |z|≤1}. Let φ:C3ׯU→C,
φ(r,s,t;ζ)∈ϕn[h(U),q],r,s,t∈C. | (2.4) |
For
r=q(z), s= zq′(z)m, t=z2q′′(z), |
from Definition 5 we know that
φ(q(z),zq′(z)m,z2q′′(z);ζ)∈h(U). | (2.5) |
For z=z0∈U, relation (2.5) becomes
φ(q(z0),z0q′(z0)m,z20q′′(z0);ζ)∈h(U). | (2.6) |
Using relation (2.4) for z∈U the following is obtained:
{φ(p(z),zp′(z),z2p′′(z);z)}∈φ(U). | (2.7) |
Let Γ denote the border of the set φ(¯U).
Γ={φ(p(ζ),ζp′(ζ),ζ2p′′(ζ);ζ)}∉φ(U). | (2.8) |
For ζ=ζ0, |ζ|=|ζ0|=1, (2.8) becomes
φ(p(ζ0),ζ0p′(ζ0),ζ20p′′(ζ0);ζ0)∉φ(U). | (2.9) |
Using Definition 2, since φ(p(z),zp′(z),z2p′′(z);z) is univalent in U, from superordination (2.2) we get that
h(U)⊂φ(U). | (2.10) |
Assume that q(z)=F(a,b,c;z)⊀p(z) (q is not subordinate to p). By applying Lemma 1, we know that there exist points z0=r0eiθ0∈U and ζ0∈∂U and an m≥n≥1 such that conditions (i)–(iii) from the lemma are satisfied. Using these conditions with r=q(z0)=p(ζ0),
s=zq′(z0)m=ζ0p′(ζ0), t=z02q′′(z0)=ζ02p′′(ζ0), ζ0∈∂U, |ζ0|=1, |
we get
φ(q(z0),z0q′(z0)m,z20q′′(z0);z0)=φ(p(ζ0),ζ0p′(ζ0),ζ20p′′(ζ0);ζ0), | (2.11) |
and using (2.9) the conclusion is that
φ(q(z0),z0q′(z0)m,z20q′′(z0);z0)∉φ(U). | (2.12) |
Since (2.12) contradicts (2.10), the subordination q(z)≺p(z), z∈U must be satisfied, meaning that q(U)⊂p(U).
Since q(z)=F(a,b,c;z) is the solution of the differential Eq (2.1), q is the best subordinant and q(U)=F(U)⊂p(U).
Having this theorem proved, it is easy to see that the problem of finding the best subordinant of a superordination such as (2.2), reduces to proving that the differential Eq (2.1) has a univalent solution in U.
The conclusion of the theorem can be interpreted as follows:
φ(F(a,b,c;z),zF′(a,b,c;z),z2F′′(a,b,c;z);z)≺φ(p(z),zp′(z),z2p′′(z);z) | (2.13) |
implies
q(z)=F(a,b,c;z)≺p(z), z∈U. | (2.14) |
Since q(z)=F(a,b,c;z) is the solution of the differential Eq (2.1), it is the best subordinant.
In order to use the result proved in Theorem 2.1 and apply the method of subordination chains, it must be simplified for the case of first-order differential superordiantion. That is possible as it can be seen in the next theorem.
Theorem 2. Let h be analytic in U, consider the Gaussian hypergeometric function given by (1.2) and let φ:C2ׯU→C, φ∈ϕn[h(U),q].
Suppose that the differential equation
φ(q(z),zq′(z);z)=h(z) | (2.15) |
has a univalent solution q(z)=F(a,b,c;z)∈Q(1) and suppose that
φ(F(a,b,c;z),tzF′(a,b,c;z);z)∈h(U), t>0. | (2.16) |
If p∈Q(1) and φ(p(z),zp′(z);z) is univalent in U, then
h(z)=φ(F(a,b,c;z),tzF′(a,b,c;z);z)≺φ(p(z),zp′(z);z) | (2.17) |
implies
q(z)=F(a,b,c;z)≺p(z)orF(U)⊂p(U). | (2.18) |
Furthermore, if φ(F(a,b,c;z), zF′(a,b,c;z);z)=h(z) has a univalent solution q(z)=F(a,b,c;z)∈Q(1), then q is the best subordinant.
Proof. Using Definition 2, superordination (2.17) is equivalent to
h(U)⊂φ(U). | (2.19) |
For z=z0∈U, using relation (2.19), we have
h(z0)=φ(F(a,b,c;z0),z0F′(a,b,c;z0);z0)∈φ(U). | (2.20) |
Suppose that functions p, q, h satisfy the conditions from Lemma 1 in ¯U.
Assume that q(z)=F(a,b,c;z)⊀p(z). By applying Lemma 1, we know that there exist points z0∈U and ζ0∈∂U and an m≥n≥1 which satisfy conditions (i)–(iii) of the lemma.
Let φ:C2ׯU→C,
φ(r,s;z)∈ϕn[h(U),q], r,s∈C. |
Using these conditions with
r=F(a,b,c;z0)=p(ζ0), s=z0F′(a,b,c;z0)m=ζ0p′(ζ0), ζ0∈∂U, |ζ0|=1, t=1>0 |
we get
φ(F(a,b,c;z0),z0F(a,b,c;z0)m;z0)=φ(p(ζ0),ζ0p′(ζ0);ζ0)∉φ(U). |
Since this contradicts (2.20), the conclusion must be that q(z)=F(a,b,c;z)≺p(z), z∈U. Because q is a solution for Eq (2.15), q(z)=F(a,b,c;z) is the best subordinant.
The next theorem is proved by using the method of subordination chains and the results stated in Theorem 2.2. This theorem provides means for obtaining the Carathéodory properties for the Gaussian hypergeometric function.
Theorem 3. Let q(z)=F(a,b,c;z) given by (1.2 ) be a solution for the equation
h(z)=F(a,b,c;z)+zF′(a,b,c;z), z∈U. | (2.21) |
If
L(z,t)=F(a,b,c;z)+tzF′(a,b,c;z),t>0, |
is a subordination chain, let p∈H[1,1]∩Q such that p(z)+zp′(z) is univalent in U.
Then
h(z)≺p(z)+zp′(z) |
implies
q(z)=F(a,b,c;z)≺p(z) or F(U)⊂p(U), |
and q(z)=F(a,b,c;z) is the best subordinant.
Proof. Suppose that functions p, q, h satisfy the conditions of this theorem in the closed unit disc ¯U.
Let φ:C2ׯU→C,
φ(r,s;z)=r+ts, r,s∈C,t>0. | (2.22) |
For r=F(a,b,c;z), s=zF′(a,b,c;z) relation (2.22) becomes
φ(F(a,b,c;z),zF′(a,b,c;z);z)=F(a,b,c;z)+tzF′(a,b,c;z)=L(z,t), t>0. | (2.23) |
Since L(⋅,t) is a subordination chain, from Definition 1, we have
L(z,t)≺L(z,1), 0<t≤1. | (2.24) |
For t=1, relation (2.23) becomes
L(z,1)=F(a,b,c;z)+zF′(a,b,c;z). | (2.25) |
Using relation (2.25), (2.23) gives
L(z,1)=h(z), z∈U. | (2.26) |
Using (2.23) and (2.26), relation (2.24) can be written as
φ(F(a,b,c;z),tzF′(a,b,c;z);z)≺h(z),z∈U. | (2.27) |
Applying Definition 2, superordination (2.27) is equivalent to
φ(F(a,b,c;z),tzF′(a,b,c;z);z)∈h(U), t>0. |
By using the results proved in Theorem 2 we have that
q(z)=F(a,b,c;z)≺p(z) or F(U)⊂p(U). | (2.28) |
Since q is a solution for Eq (2.21), it results that q(z)=F(a,b,c;z) is the best subordinant.
Remark 2. If in Theorem 3 we use the convex function in U, p(z)=1+z1−z with p(0)=1 the following result is obtained which gives a sufficient condition for the Gaussian hypergeometric function F(a,b,c;z) given by (1.2) to be a Carathéodory function.
Corollary 4. Let q(z)=F(a,b,c;z) given by (1.2 ) be a solution for the equation
h(z)=F(a,b,c;z)+zF′(a,b,c;z), z∈U. | (2.29) |
If
L(z,t)=F(a,b,c;z)+tzF′(a,b,c;z),t>0, |
is a subordination chain, let p∈H[1,1]∩Q such that
p(z)+zp′(z)=1+z1−z+2z(1−z)2 |
is univalent in U, then
h(z)≺1+z1−z+2z(1−z)2 |
implies
F(a,b,c;z)≺1+z1−z or Re F(a,b,c;z)>0, z∈U, | (2.30) |
also written as
F(U)⊂{z∈C:z=x+iy, x>0, y∈R}, |
which shows that F∈ P.
F(a,b,c;z) being the solution of Eq (2.29), q(z)=F(a,b,c;z) is the best subordinant for the superordination in (2.30).
Proof. Using the relation (2.28) obtained in the proof of Theorem 3, we can write
F(a,b,c;z)≺p(z)=1+z1−z, z∈U. | (2.31) |
Since this function p(z) is convex in U, differential superordination (2.31) is equivalent to
Re F(a,b,c;z)>Re1+z1−z>0, z∈U, |
and F(a,b,c;z) is the best subordinant.
Since Re F(a,b,c;z)>0 we conclude that function F is a function with positive real part, hence F∈P.
Remark 3. If in Theorem 3 we use the convex function in U, p(z)=11+z with p(0)=1, Re11+z>12, the following result is obtained which gives a sufficient condition for the Gaussian hypergeometric function F(a,b,c;z) given by (1.4) to be a Carathéodory function.
Corollary 5. Let q(z)=F(a,b,c;z) given by (1.2) be a solution for the equation
h(z)=F(a,b,c;z)+zF′(a,b,c;z), z∈U. | (2.32) |
If
L(z,t)=F(a,b,c;z)+tzF′(a,b,c;z),t>0, |
is a subordination chain, let p∈H[1,1]∩Q such that
p(z)+zp′(z)=1(1+z)2 |
is univalent in U, then
h(z)≺1(1+z)2, z∈U, |
implies
F(a,b,c;z)≺11+z i.e. Re F(a,b,c;z)>12,z∈U, | (2.33) |
also written as
F(U)⊂{z∈C:z=x+iy, x>12, y∈R}, |
which shows that F∈ P.
F(a,b,c;z) being the solution of Eq (2.32), q(z)=F(a,b,c;z) is the best subordinant for the superordination in (2.33).
Proof. Using the relation (2.28) obtained in the proof of Theorem 2.3, we can write
F(a,b,c;z)≺p(z)=11+z, z∈U. | (2.34) |
Since this function p(z) is convex in U, differential superordination (2.34) is equivalent to
Re F(a,b,c;z) >Re11+z>12, z∈U, |
and F(a,b,c;z) is the best subordinant.
Since Re F(a,b,c;z)>12 we conclude that function F is a Carathéodory function.
Remark 4. If in Theorem 3 we use the convex function in U, p(z)=12⋅2+z1−z with p(0)=1, Re p(z)>14, the following result is obtained which gives a sufficient condition for the Gaussian hypergeometric function F(a,b,c;z) given by (1.2) to be a Carathéodory function.
Corollary 6. Let q(z)=F(a,b,c;z) given by (1.2 ) be a solution for the equation
h(z)=F(a,b,c;z)+zF′(a,b,c;z), z∈U. | (2.35) |
If
L(z,t)=F(a,b,c;z)+tzF(a,b,c;z), t>0, |
is a subordination chain, let p∈H[1,1]∩Q such that
p(z)+zp′(z)=12⋅2+z1−z+32⋅1(1−z)2 |
is univalent in U, then
h(z)≺12⋅2+z1−z+32⋅1(1−z)2, z∈U, |
implies
F(a,b,c;z)≺12⋅2+z1−z i.e. ReF(a,b,c;z)>14,z∈U, | (2.36) |
also written as
F(U)⊂{z∈C:z=x+iy, x>14, y∈R}, |
which shows that F∈P.
F(a,b,c;z) being the solution of Eq (2.35), q(z)=F(a,b,c;z) is the best subordinant for the superordination in (2.36).
Proof. Using the relation (2.28) obtained in the proof of Theorem 3, we can write
F(a,b,c;z)≺p(z)=12⋅2+z1−z,z∈U. | (2.37) |
Since this function p(z) is convex in U, differential superordination (2.37) is equivalent to
Re F(a,b,c;z) >Re12⋅2+z1−z>14, z∈U, |
also written as
F(U)⊂{z∈C:z=x+iy, x>14, y∈R}, |
which shows that F is a Carathéodory function and is the best subordinant for superordination (2.37).
Example 1. For a=−1, b=−i, c=i, F(−1,−i,i;z)=1+z, F′(−1,−i,i;z)=1 and
h(z)=F(−1,−i,i;z)+zF′(−1,−i,i;z)=1+2z. |
If
p(z)=1+z1−z, |
then
p(z)+zp′(z)=1+z1−z+2z(1−z)2 |
is univalent in U.
Using Corollary 4, we have:
If
1+2z≺1+z1−z+2z(1−z)2, z∈U, |
then
1+z≺1+z1−z, z∈U, |
or
F(U)⊂{z∈C:z=x+iy, x>0, y∈R}. |
Indeed, we have
Re (1+z)=Re (1+ρcosα+iρsinα)=1+ρcosα>0, |
since 0<ρ<1, −1≤cosα≤1.
In this paper, Gaussian hypergeometric function is studied using the means of the theory of differential superordination and the method of subordination chains in order to prove some theorems involving superordinations for which Gaussian hypergeometric function is the best subordinant. Inequalities in the complex plane connected with the superordination results were interpreted in terms of inclusion relations between subsets of the complex plane, corollaries of the theorems giving, for certain functions used, sufficient conditions for the Gaussian hypergeometric function to be a Carathéodory function. An example is also given, making it more obvious how the proven results can be applied and how they are important for the study of this function. The function considered for this investigation could be used applying the dual method of differential subordination.
All author declares no conflicts of interest in this paper.
[1] | H. M. Srivastava, Operators of basic (or q-) calculus and fractional q-calculus and their applications in geometric function theory of complex analysis, Iran. J. Sci. Technol. A, 44 (2020), 327–344. |
[2] |
L. de Branges, A proof of the Bieberbach conjecture, Acta Math., 154 (1985), 137–152. doi: 10.1007/BF02392821
![]() |
[3] |
E. P. Merkes, W. T. Scott, Starlike hypergeometric functions, P. Am. Math. Soc., 12 (1961), 885–888. doi: 10.1090/S0002-9939-1961-0143950-1
![]() |
[4] |
E. Kreyszig, J. Todd, The radius of univalence of the error function, Numer. Math., 1 (1959), 78–89. doi: 10.1007/BF01386375
![]() |
[5] |
E. Kreyszig, J. Todd, On the radius of univalence of the function expz2∫z0exp(−t2)dt, Pac. J. Math., 9 (1959), 123–127. doi: 10.2140/pjm.1959.9.123
![]() |
[6] |
S. Ruscheweyh, V. Singh, On the order of starlikeness of hypergeometric functions, J. Math. Anal. App., 113 (1986), 1–11. doi: 10.1016/0022-247X(86)90329-X
![]() |
[7] | S. S. Miller, P. T. Mocanu, Univalence of Gaussian and confluent hypergeometric functions, P. Am. Math. Soc., 110 (1990), 333–342. |
[8] |
J. Dziok, H. M. Srivastava, Classes of analytic functions associated with the generalized hypergeometric function, Appl. Math. Comput., 103 (1999), 1–13. doi: 10.1016/S0377-0427(98)00235-0
![]() |
[9] |
H. M. Srivastava, Some Fox-Wright generalized hypergeometric functions and associated families of convolution operators, Appl. Anal. Discr. Math., 1 (2007), 56–71. doi: 10.2298/AADM0701056S
![]() |
[10] |
J. Dziok, H. M. Srivastava, Certain subclasses of analytic functions associated with the generalized hypergeometric function, Integr. Transf. Spec. F., 14 (2003), 7–18. doi: 10.1080/10652460304543
![]() |
[11] | G. I. Oros, G. Oros, I. H. Kim, N. E. Cho, Differential subordinations associated with the Dziok-Srivastava operator, Math. Rep., 13 (2011), 57–64. |
[12] | G. I. Oros, G. Oros, Second order differential subordinations and superordinations using the Dziok-Srivastava linear operator, Mathematica, 54 (2012), 155–164. |
[13] |
S. Devi, H. M. Srivastava, A. Swaminathan, Inclusion properties of a class of functions involving the Dziok-Srivastava operator, Korean J. Math., 24 (2016), 139–168. doi: 10.11568/kjm.2016.24.2.139
![]() |
[14] | V. Kiryakova, Unified approach to univalency of the Dziok-Srivastava and the fractional calculus operators, Adv. Math., 1 (2012), 33–43. |
[15] | M. A. Chaudhry, A. Qadir, H. M. Srivastava, R. B. Paris, Extended hypergeometric and confluent hypergeometric functions, Appl. Math. Comput., 159 (2004), 589–602. |
[16] | H. M. Srivastava, P. Agarwal, S. Jain, Generating functions for the generalized Gauss hypergeometric functions, Appl. Math. Comput., 247 (2014), 348–352. |
[17] | H. M. Srivastava, R. Jain, M. K. Bansal, A study of the s-generalized Gauss hypergeometric function and its associated integral transforms, Turkish J. Anal. Number Theory, 3 (2015), 116–119. |
[18] | H. M. Srivastava, S. M. Khairnar, Meena More, Inclusion properties of a subclass of analytic functions defined by an integral operator involving the Gauss hypergeometric function, Appl. Math. Comput., 218 (2011), 3810–3821. |
[19] | S. S. Miller, P. T. Mocanu, Subordinants of differential superordinations, Complex Var., 48 (2003), 815–826. |
[20] | N. E. Cho, I. H. Kim, H. M. Srivastava, Sandwich-type theorems for multivalent functions associated with the Srivastava-Attiya operator, Appl. Math. Comput., 217 (2010), 918–928. |
[21] |
H. M. Srivastava, A. K. Wanas, Strong differential sandwich results of λ-pseudo-starlike functions with respect to symmetrical points, Mathematica Moravica, 23 (2019), 45–58. doi: 10.5937/MatMor1902045S
![]() |
[22] | A. K. Wanas, H. M. Srivastava, Differential sandwich theorems for Bazilevič function defined by convolution structure, Turkish J. Ineq., 4 (2020), 10–21. |
[23] |
G. I. Oros, Applications of inequalities in the complex plane associated with confluent hypergeometric function, Symmetry, 13 (2021), 259. doi: 10.3390/sym13020259
![]() |
[24] |
S. S. Miller, P. T. Mocanu, Second order differential inequalities in the complex plane, J. Math. Anal. Appl., 65 (1978), 289–305. doi: 10.1016/0022-247X(78)90181-6
![]() |
[25] | S. S. Miller, P. T. Mocanu, Differential subordinations and univalent functions, Mich. Math. J., 28 (1981), 157–172. |
[26] |
J. A. Antonino, S. S. Miller, Systems of simultaneous differential inequalities, inclusions and subordinations in the complex plane, Anal. Math. Phys., 10 (2020), 32. doi: 10.1007/s13324-020-00372-5
![]() |
[27] | S. S. Miller, P. T. Mocanu, M. O. Reade, All α-convex functions are starlike, Revue Roumaine de Mathematiques Pures et Appliquees, 17 (1972), 1395–1397. |
[28] |
S. Miller, Differential inequalities and Carathéodory functions, B. Am. Math. Soc., 81 (1975), 79–81. doi: 10.1090/S0002-9904-1975-13643-3
![]() |
[29] | P. Delsarte, Y. Genin, A simple proof of Livingston's inequality for Carathéodory functions, P. Am. Math. Soc., 107 (1989), 1017–1020. |
[30] | M. Nunokawa, Differential inequalities and Carathéodory functions, P. JPN Acad. Ser. A Math., 65 (1989), 326–328. |
[31] |
M. Nunokawa, A. Ikeda, N. Koike, Y. Ota, H. Saitoh, Differential inequalities and Carathéodory functions, J. Math. Anal. Appl., 212 (1997), 324–332. doi: 10.1006/jmaa.1997.5519
![]() |
[32] | M. Nunokawa, S. Owa, N. Takahashi, H. Saitoh, Sufficient conditions for Carathéodory functions, Indian J. Pure Ap. Math., 33 (2002), 1385–1390. |
[33] |
D. Yang, S. Owa, K. Ochiai, Sufficient conditions for Carath éodory functions, Comput. Math. Appl., 51 (2006), 467–474. doi: 10.1016/j.camwa.2005.10.008
![]() |
[34] |
H. M. Srivastava, S. Owa, Some new results associated with Carath éodory functions of order α, J. Comput. Sci. Appl. Math., 2 (2016), 11–13. doi: 10.37418/jcsam.2.1.2
![]() |
[35] |
M. Nunokawa, O. S. Kwon, Y. J. Simb, N. E. Cho, Sufficient Conditions for Carathéodory functions, Filomat, 32 (2018), 1097–1106. doi: 10.2298/FIL1803097N
![]() |
[36] | I. H. Kim, Y. J. Sim, N. E. Cho, New criteria for Carathéodory functions, J. Inequal. Appl., 13 (2019), 1–16. |
[37] |
O. S. Kwon, Y. J. Sim, Sufficient conditions for Carathéodory functions and applications to univalent functions, Math. Slovaca, 69 (2019), 1065–1076. doi: 10.1515/ms-2017-0290
![]() |
[38] |
N. E. Cho, H. M. Srivastava, E. A. Adegani, A. Motamednezhad, Criteria for a certain class of the Carathéodory functions and their applications, J. Inequal. Appl., 2020 (2020), 1–14. doi: 10.1186/s13660-019-2265-6
![]() |
[39] |
K. Löwner, Untersuchungen über schlichte konforme Abbildungen des Einheitskreises. I, Math. Ann., 89 (1923), 103–121. doi: 10.1007/BF01448091
![]() |
[40] | C. Pommerenke, Univalent functions, Vandenhoeck and Ruprecht, 1975. |
[41] |
G. I. Oros, Univalence conditions for Gaussian hypergeometric function involving differential inequalities, Symmetry, 13 (2021), 904. doi: 10.3390/sym13050904
![]() |
[42] |
J. A. Antonino, S. S. Miller, Systems of simultaneous differential inclusions implying function containment, Mathematics, 9 (2021), 1252. doi: 10.3390/math9111252
![]() |
[43] | J. A. Antonino, S. S. Miller, Systems of simultaneous differential containments and superordinations in the complex plane, Complex Var. Elliptic, 2021, DOI: 10.1080/17476933.2021.1953490. |
1. | Georgia Irina Oros, Simona Dzitac, Applications of Subordination Chains and Fractional Integral in Fuzzy Differential Subordinations, 2022, 10, 2227-7390, 1690, 10.3390/math10101690 | |
2. | Georgia Irina Oros, Gheorghe Oros, Lavinia Florina Preluca, Third-Order Differential Subordinations Using Fractional Integral of Gaussian Hypergeometric Function, 2023, 12, 2075-1680, 133, 10.3390/axioms12020133 | |
3. | Georgia Irina Oros, Gheorghe Oros, Lavinia Florina Preluca, New Applications of Gaussian Hypergeometric Function for Developments on Third-Order Differential Subordinations, 2023, 15, 2073-8994, 1306, 10.3390/sym15071306 | |
4. | Georgia Irina Oros, Lavinia Florina Preluca, New Developments on the Theory of Third-Order Differential Superordination Involving Gaussian Hypergeometric Function, 2023, 11, 2227-7390, 4438, 10.3390/math11214438 |