The purpose of the present paper is to give some characterizations for a (Gaussian)
hypergeometric function to be in various subclasses of starlike and convex functions.
We also consider an integral operator related to the hypergeometric function.
1. Introduction
Let 𝒯 be the class consisting of functions of the
form f(z)=z−∑n=2∞anzn,an≥0, that are analytic and
univalent in the open unit disk 𝕌={z:|z|<1}.
Let 𝒯*(α) and 𝒞(α) denote the subclasses of 𝒯 consisting of starlike and convex functions of
order α(0≤α<1),
respectively [1].
Recently, Bharati et al. [2] introduced the following
subclasses of starlike and convex functions.
Definition 1.1.
A function f of the form (1.1) is in 𝒮p𝒯(α,β) if it satisfies the condition Re{zf′(z)f(z)}≥α|zf′(z)f(z)−1|+β,α≥0,0≤β<1, and f∈𝒰𝒞𝒯(α,β) if and only if zf′∈𝒮p𝒯(α,β).
Definition 1.2.
A function f of the form (1.1) is in 𝒫𝒯(α) if it satisfies the condition Re{zf′(z)f(z)}+α≥|zf′(z)f(z)−α|,0<α<∞, and f∈𝒞𝒫𝒯(α) if and only if zf′∈𝒫𝒯(α).
Bharati et al. [2] showed that 𝒮p𝒯(α,β)=𝒯*((α+β)/(1+α)),𝒰𝒞𝒯(α,β)=𝒞((α+β)/(1+α)),𝒫𝒯(α)=𝒯*(1−α)(0<α≤1),
and 𝒞𝒫𝒯(α)=𝒞(1−α)(0<α≤1).
In particular, we note that 𝒰𝒞𝒯(1,0) is the class of uniformly convex functions
given by Goodman [3] (also see [4–6]).
Let F(a,b;c;z) be the (Gaussian) hypergeometric function
defined by F(a,b;c;z)=∑n=0∞(a)n(b)n(c)n(1)nzn, where c≠0,−1,−2,…,
and (λ)n is the Pochhammer symbol defined by (λ)n={1ifn=0,λ(λ+1)⋯(λ+n−1)ifn∈ℕ={1,2,…}. We note that F(a,b;c;1) converges for Re(c−a−b)>0 and is related to the Gamma function by F(a,b;c;1)=Γ(c)Γ(c−a−b)Γ(c−a)Γ(c−b). Silverman [7] gave necessary
and sufficient conditions for zF(a,b;c;z) to be in 𝒯*(α) and 𝒞(α),
and also examined a linear operator acting on hypergeometric functions. For the
other interesting developments for zF(a,b;c;z) in connection with various subclasses of
univalent functions, the readers can refer to the works of Carlson and Shaffer
[8], Merkes and Scott [9], and Ruscheweyh and Singh [10].
In the present
paper, we determine necessary and sufficient conditions for zF(a,b;c;z) to be in 𝒮p𝒯(α,β),𝒰𝒞𝒯(α,β),𝒫𝒯(α), and 𝒞𝒫𝒯(α).
Furthermore, we consider an integral operator related to the hypergeometric
function.
2. Results
To establish
our main results, we need the following lemmas due to Bharati et al. [2].
Lemma 2.1.
(i) A
function f of the form (1.1) is in 𝒮p𝒯(α,β) if and only if it satisfies ∑n=2∞(n(1+α)−(α+β))an≤1−β.
(ii) A function f of the form (1.1) is in 𝒰𝒞𝒯(α,β) if and only if it satisfies ∑n=2∞n(n(1+α)−(α+β))an≤1−β.
Lemma 2.2.
(i) A function f of the form (1.1) is in 𝒫𝒯(α) if and only if it satisfies ∑n=2∞(n−1+α)an≤α.
(ii) A function f of the form (1.1) is in 𝒞𝒫𝒯(α) if and only if it satisfies ∑n=2∞n(n−1+α)an≤α.
Theorem 2.3.
(i) If a,b>−1,c>0, and ab<0,
then zF(a,b;c;z) is in 𝒮p𝒯(α,β) if and only if c≥a+b+1−(1+α)ab(1−β).
(ii) If a,b>0 and c>a+b+1,
then F1(a,b;c;z)=z(2−F(a,b;c;z)) is in 𝒮p𝒯(α,β) if and only if Γ(c)Γ(c−a−b)Γ(c−a)Γ(c−b)(1+(1+α)ab(1−β)(c−a−b−1))≤2.
Proof.
(i) Since zF(a,b;c;z)=z+abc∑n=2∞(a+1)n−2(b+1)n−2(c+1)n−2(1)n−1zn=z−|abc|∑n=2∞(a+1)n−2(b+1)n−2(c+1)n−2(1)n−1zn, according to (i) of Lemma 2.1,
we must show that ∑n=2∞(n(1+α)−(α+β))(a+1)n−2(b+1)n−2(c+1)n−2(1)n−1≤|cab|(1−β). Noting that (λ)n=λ(λ+1)n−1 and then applying (1.6), we
have ∑n=0∞((n+2)(1+α)−(α+β))(a+1)n(b+1)n(c+1)n(1)n+1=(1+α)∑n=0∞(a+1)n(b+1)n(c+1)n(1)n+(1−β)cab∑n=1∞(a)n(b)n(c)n(1)n=(1+α)Γ(c+1)Γ(c−a−b−1)Γ(c−a)Γ(c−b)+(1−β)cab(Γ(c)Γ(c−a−b)Γ(c−a)Γ(c−b)−1). Hence, (2.8) is equivalent
to Γ(c+1)Γ(c−a−b−1)Γ(c−a)Γ(c−b)(1+α+(1−β)c−a−b−1ab)≤(1−β)(c|ab|+cab)=0. Thus, (2.10) is valid if and only
if 1+α+(1−β)(c−a−b−1)/(ab)≤0 or, equivalently, c≥a+b+1−(1+α)ab/(1−β).
(ii) Since F1(a,b;c;z)=z−∑n=2∞(a)n−1(b)n−1(c)n−1(1)n−1zn, by (i) of Lemma 2.1, we need
only to show that ∑n=2∞(n(1+α)−(α+β))(a)n−1(b)n−1(c)n−1(1)n−1≤1−β. Now, ∑n=2∞(n(1+α)−(α+β))(a)n−1(b)n−1(c)n−1(1)n−1=(1+α)∑n=1∞n(a)n(b)n(c)n(1)n(1−β)∑n=1∞(a)n(b)n(c)n(1)n=(1+α)abc∑n=1∞(a+1)n−1(b+1)n−1(c+1)n−1(1)n−1+(1−β)∑n=1∞(a)n(b)n(c)n(1)n=Γ(c)Γ(c−a−b)Γ(c−a)Γ(c−b)((1+α)abc−a−b−1+1−β)−(1−β). But this last expression is
bounded above by 1−β if and only if (2.6) holds.
Theorem 2.4.
(i) If a,b>−1,ab<0, and c>a+b+2,
then zF(a,b;c;z) is in 𝒰𝒞𝒯(α,β) if and only if (1+α)(a)2(b)2+(3+2α−β)ab(c−a−b−2)+(1−β)(c−a−b−2)2≥0.
(ii) If a,b>0 and c>a+b+2,
then F1(a,b;c;z)=z(2−F(a,b;c;z)) is in 𝒰𝒞𝒯(α,β) if and only if Γ(c)Γ(c−a−b)Γ(c−a)Γ(c−b)((1+α)(a)2(b)2(1−β)(c−a−b−2)2+(3+2α−β1−β)(abc−a−b−1)+1)≤2.
Proof.
(i) Since zF has the form (2.7), we see from (ii) of Lemma
2.1 that our conclusion is equivalent to ∑n=2∞n(n(1+α)−(α+β))(a+1)n−2(b+1)n−2(c+1)n−2(1)n−1≤c|ab|(1−β). Writing (n+2)((n+2)(1+α)−(α+β))=(1+α)(n+1)2+(2+α−β)(n+1)+(1−β),
we see that ∑n=0∞(n+2)((n+2)(1+α)−(α+β))(a+1)n(b+1)n(c+1)n(1)n+1=(1+α)∑n=0∞(n+1)(a+1)n(b+1)n(c+1)n(1)n+(2+α−β)∑n=0∞(a+1)n(b+1)n(c+1)n(1)n+(1−β)∑n=0∞(a+1)n(b+1)n(c+1)n(1)n+1=(1+α)(a+1)(b+1)c+1∑n=0∞(a+2)n(b+2)n(c+2)n(1)n+(3+2α−β)∑n=0∞(a+1)n(b+1)n(c+1)n(1)n+(1−β)cab∑n=1∞(a)n(b)n(c)n(1)n=Γ(c+1)Γ(c−a−b−2)Γ(c−a)Γ(c−b)((1+α)(a+1)(b+1)+(3+2α−β)(c−a−b−2)+1−βab(c−a−b−2)2)−(1−β)cab. This last expression is bounded
above by (1−β)c/|ab| if and only if (1+α)(a+1)(b+1)+(3+2α−β)(c−a−b−2)+1−βab(c−a−b−2)2≤0, which is equivalent to (2.14).
(ii) In view of (ii) of Lemma 2.1, we need only to
show that ∑n=2∞n(n(1+α)−(α+β))(a)n−1(b)n−1(c)n−1(1)n−1≤1−β. Now, ∑n=0∞(n+2)((n+2)(1+α)−(α+β))(a)n+1(b)n+1(c)n+1(1)n+1=(1+α)∑n=0∞(n+2)2(a)n+1(b)n+1(c)n+1(1)n+1−(α+β)∑n=0∞(n+2)(a)n+1(b)n+1(c)n+1(1)n+1. Writing n+2=(n+1)+1,
we have ∑n=0∞(n+2)(a)n+1(b)n+1(c)n+1(1)n+1=∑n=0∞(a)n+1(b)n+1(c)n+1(1)n+∑n=0∞(a)n+1(b)n+1(c)n+1(1)n+1,∑n=0∞(n+2)2(a)n+1(b)n+1(c)n+1(1)n+1=∑n=0∞(n+1)(a)n+1(b)n+1(c)n+1(1)n+2∑n=0∞(a)n+1(b)n+1(c)n+1(1)n+∑n=0∞(a)n+1(b)n+1(c)n+1(1)n+1=∑n=1∞(a)n+1(b)n+1(c)n+1(1)n−1+3∑n=0∞(a)n+1(b)n+1(c)n+1(1)n+∑n=1∞(a)n(b)n(c)n(1)n. Substituting (2.21) into the right-hand side of (2.20), we obtain (1+α)∑n=0∞(a)n+2(b)n+2(c)n+2(1)n+(3+2α−β)∑n=0∞(a)n+1(b)n+1(c)n+1(1)n+(1−β)∑n=0∞(a)n+1(b)n+1(c)n+1(1)n+1. Since (a)n+k=(a)k(a+k)n,
we write (2.22) as (1+α)(a)2(b)2(c)2Γ(c+2)Γ(c−a−b−2)Γ(c−a)Γ(c−b)+(3+2α−β)abcΓ(c+1)Γ(c−a−b−1)Γ(c−a)Γ(c−b)+(1−β)(Γ(c)Γ(c−a−b)Γ(c−a)Γ(c−b)−1). By simplification, we see that
the last expression is bounded above by 1−β if and only if (2.15) holds.
Theorem 2.5.
(i) If a,b>−1,c>0, and ab<0,
then zF(a,b;c;z) is in 𝒫𝒯(α) if and only if c≥a+b+1−abα.
(ii) If a,b>0 and c>a+b+1,
then F1(a,b;c;z)=z(2−F(a,b;c;z)) is in 𝒫𝒯(α) if and only if Γ(c)Γ(c−a−b)Γ(c−a)Γ(c−b)(1+abα(c−a−b−1))≤2.
Proof.
(i) Since zF(a,b;c;z)=z+abc∑n=2∞(a+1)n−2(b+1)n−2(c+1)n−2(1)n−1zn=z−|ab|c∑n=2∞(a+1)n−2(b+1)n−2(c+1)n−2(1)n−1zn, according to (i) of Lemma 2.2,
we must show that ∑n=2∞(n−1+α)(a+1)n−2(b+1)n−2(c+1)n−2(1)n−1≤c|ab|α. Noting that (λ)n=λ(λ+1)n−1 and then applying (1.6), we
have ∑n=0∞(n+1+α)(a+1)n(b+1)n(c+1)n(1)n+1=∑n=0∞(a+1)n(b+1)n(c+1)n(1)n+αcab∑n=1∞(a)n(b)n(c)n(1)n=Γ(c+1)Γ(c−a−b−1)Γ(c−a)Γ(c−b)+αcab(Γ(c)Γ(c−a−b)Γ(c−a)Γ(c−b)−1). Hence, (2.27) is equivalent
to Γ(c+1)Γ(c−a−b−1)Γ(c−a)Γ(c−b)(1+αc−a−b−1ab)≤α(c|ab|−cab)=0. Thus, (2.29) is valid if and only if 1+α(c−a−b−1)/ab≤0 or, equivalently, c≥a+b+1−ab/α.
(ii) Since F1(a,b;c;z)=z−∑n=2∞(a)n−1(b)n−1(c)n−1(1)n−1zn, by (i) of Lemma 2.2, we need
only to show that ∑n=2∞(n−1+α)(a)n−1(b)n−1(c)n−1(1)n−1≤α. Now, ∑n=2∞(n−1+α)(a)n−1(b)n−1(c)n−1(1)n−1=∑n=1∞n(a)n(b)n(c)n(1)n+α∑n=1∞(a)n(b)n(c)n(1)n=abc∑n=1∞(a+1)n−1(b+1)n−1(c+1)n−1(1)n−1+α∑n=1∞(a)n(b)n(c)n(1)n=Γ(c)Γ(c−a−b)Γ(c−a)Γ(c−b)(abc−a−b−1+α)−α. But this last expression is
bounded above by α if and only if (2.25) holds.
Theorem 2.6.
(i) If a,b>−1,ab<0, and c>a+b+2,
then zF(a,b;c;z) is in 𝒞𝒫𝒯(α) if and only if (a)2(b)2+(2+α)ab(c−a−b−2)+α(c−a−b−2)2≥0.
(ii) If a,b>0 and c>a+b+2,
then F1(a,b;c;z)=z(2−F(a,b;c;z)) is in 𝒞𝒫𝒯(α) if and only if Γ(c)Γ(c−a−b)Γ(c−a)Γ(c−b)((a)2(b)2α(c−a−b−2)2+(2+αα)(abc−a−b−1)+1)≤2.
Proof.
(i) Since zF has the form (2.26), we see from (ii) of Lemma
2.2 that our conclusion is equivalent to ∑n=2∞n(n−1+α)(a+1)n−2(b+1)n−2(c+1)n−2(1)n−1≤c|ab|α. Writing (n+2)(n+1+α)=(n+1)2+(1+α)(n+1)+α,
we see that ∑n=0∞(n+2)(n+1+α)(a+1)n(b+1)n(c+1)n(1)n+1=∑n=0∞(n+1)(a+1)n(b+1)n(c+1)n(1)n+(1+α)∑n=0∞(a+1)n(b+1)n(c+1)n(1)n+α∑n=0∞(a+1)n(b+1)n(c+1)n(1)n+1=(a+1)(b+1)c+1∑n=0∞(a+2)n(b+2)n(c+2)n(1)n+(2+α)∑n=0∞(a+1)n(b+1)n(c+1)n(1)n+αcab∑n=1∞(a)n(b)n(c)n(1)n=Γ(c+1)Γ(c−a−b−2)Γ(c−a)Γ(c−b)((a+1)(b+1)+(2+α)(c−a−b−2)+αab(c−a−b)2)−αcab. This last expression is bounded
above by αc/|ab| if and only if (a+1)(b+1)+(2+α)(c−a−b−2)+(α/ab)(c−a−b−1)2≤0,
which is equivalent to (2.33).
(ii) In view of (ii) of Lemma 2.2, we need only to
show that ∑n=2∞n(n−1+α)(a)n−1(b)n−1(c)n−1(1)n−1≤α. Now, ∑n=0∞(n+2)(n+2−(1−α))(a)n+1(b)n+1(c)n+1(1)n+1=∑n=0∞(n+2)2(a)n+1(b)n+1(c)n+1(1)n+1−(1−α)∑n=0∞(n+2)(a)n+1(b)n+1(c)n+1(1)n+1. Substituting (2.21) into the right-hand side of (2.38), we obtain ∑n=0∞(a)n+2(b)n+2(c)n+2(1)n+(2+α)∑n=0∞(a)n+1(b)n+1(c)n+1(1)n+α∑n=1∞(a)n(b)n(c)n(1)n. Since (a)n+k=(a)k(a+k)n,
we may write (2.39) as (a)2(b)2(c)2Γ(c+2)Γ(c−a−b−2)Γ(c−a)Γ(c−b)+(2+α)abcΓ(c+1)Γ(c−a−b−1)Γ(c−a)Γ(c−b)+α(Γ(c)Γ(c−a−b)Γ(c−a)Γ(c−b)−1). By simplification, we see that
the last expression is bounded above by α if and only if (2.34) holds.
3. An Integral Operator
In the next
theorems, we obtain similar-type results in connection with a particular
integral operator G(a,b;c;z) acting on F(a,b;c;z) as follows: G(a,b;c;z)=∫0zF(a,b;c;t)dt.
Theorem 3.1.
Let a,b>−1,ab<0, and c>max{0,a+b}.
Then,
G(a,b;c;z) defined by (3.1) is in 𝒮p𝒯(α,β) if and only if Γ(c+1)Γ(c−a−b)Γ(c−a)Γ(c−b)((1+α)ab−(α+β)(c−a−b)(a−1)2(b−1)2)+(α+β)(c−1)2(a−1)2(b−1)2≤0;
G(a,b;c;z) defined by (3.1) is in 𝒫𝒯(α) if and only if Γ(c+1)Γ(c−a−b)Γ(c−a)Γ(c−b)(1ab+(α−1)(c−a−b)(a−1)2(b−1)2)−(α−1)(c−a)2(a−1)2(b−1)2≤0.
Proof.
(i) Since G(a,b;c;z)=z−|ab|c∑n=2∞(a+1)n−2(b+1)n−2(c+1)n−2(1)nzn, by (i) of Lemma 2.1, we need
only to show that ∑n=2∞(n(1+α)−(α+β))(a+1)n−2(b+1)n−2(c+1)n−2(1)n≤(1−β)c|ab|. Now, ∑n=0∞((n+2)(1+α)−(α+β))(a+1)n(b+1)n(c+1)n(1)n+2=(1+α)∑n=0∞(a+1)n(b+1)n(c+1)n(1)n+1−(α+β)cab∑n=1∞(a)n(b)n(c)n(1)n+1=Γ(c+1)Γ(c−a−b)Γ(c−a)Γ(c−b)(1+αab−(α+β)(c−a−b)(a−1)2(b−1)2)+(α+β)(c−1)2(a−1)2(b−1)2−(1−β)cab≤(1−β)c|ab|, which is equivalent to (3.2).
(ii) According to (i) of Lemma 2.2, it is sufficient
to show that ∑n=2∞(n−1+α)(a+1)n−2(b+1)n−2(c+1)n−2(1)n≤αc|ab|. Now, ∑n=0∞(n+1+α)(a+1)n(b+1)n(c+1)n(1)n+2=∑n=0∞(a+1)n(b+1)n(c+1)n(1)n+1+(α−1)∑n=0∞(a+1)n(b+1)n(c+1)n(1)n+2=cab(Γ(c)Γ(c−a−b)Γ(c−a)Γ(c−b)−1)+(α−1)cab((c−1)(a−1)(b−1)(Γ(c−1)Γ(c−a−b+1)Γ(c−a)Γ(c−b)−1)−1)=Γ(c+1)Γ(c−a−b)Γ(c−a)Γ(c−b)(1ab+(α−1)(c−a−b)(a−1)2(b−1)2)−(α−1)(c−1)2(a−1)2(b−1)2−αcab≤αc|ab|, which is equivalent to (3.3).
Now, we observe
that G(a,b;c;z)∈𝒰𝒞𝒯(α,β)(𝒞𝒫𝒯(α)) if and only if zF(a,b;c;z)∈𝒮p𝒯(α,β)(𝒫𝒯(α)). Thus, any result of functions belonging to the class 𝒮p𝒯(α,β)(𝒫𝒯(α)) about zF leads to that of functions belonging to the
class 𝒰𝒞𝒯(α,β)(𝒞𝒫𝒯(α)).
Hence, we obtain the following analogues to Theorems 2.3 and 2.5.
Theorem 3.2.
Let a,b>−1,ab<0, and c>a+b+2.
Then,
G(a,b;c;z) defined by (3.1) is in 𝒰𝒞𝒯(α,β) if and only if c≥a+b+1−(1+α)ab(1−β);
G(a,b;c;z) defined by (3.1) is in 𝒞𝒫𝒯(α) if and only if c≥a+b+1−abα.
SilvermanH.Univalent functions with negative coefficients1975511109116MR036967810.2307/2039855ZBL0311.30007BharatiR.ParvathamR.SwaminathanA.On subclasses of uniformly convex functions and corresponding class of starlike functions19972811732MR1457247ZBL0898.30010GoodmanA. W.On uniformly convex functions19915618792MR1145573ZBL0744.30010ChoN. E.WooS. Y.OwaS.Uniform convexity properties for hypergeometric functions200253303313MR1922272ZBL1028.30013MaW. C.MindaD.Uniformly convex functions1992572165175MR1182182ZBL0760.30004RønningF.Uniformly convex functions and a corresponding class of starlike functions19931181189196MR112872910.2307/2160026ZBL0805.30012SilvermanH.Starlike and convexity properties for hypergeometric functions19931722574581MR120100610.1006/jmaa.1993.1044ZBL0774.30015CarlsonB. C.ShafferD. B.Starlike and prestarlike hypergeometric functions1984154737745MR74743310.1137/0515057ZBL0567.30009MerkesE. P.ScottW. T.Starlike hypergeometric functions1961126885888MR014395010.2307/2034382ZBL0102.06502RuscheweyhSt.SinghV.On the order of starlikeness of hypergeometric functions19861131111MR82665510.1016/0022-247X(86)90329-XZBL0598.30021