- Research
- Open Access
- Published:

# On the characterization properties of certain hypergeometric functions in the open unit disk

*Journal of Inequalities and Applications*
**volume 2022**, Article number: 164 (2022)

## Abstract

Our purpose in the present investigation is to study certain geometric properties such as the close-to-convexity, convexity, and starlikeness of the hypergeometric function \(z{}_{1}F_{2}(a;b,c;z)\) in the open unit disk. The usefulness of the main results for some familiar special functions like the modified Sturve function, the modified Lommel function, the modified Bessel function, and the \({}_{0}F_{1}(-;c;z)\) function are also mentioned. We further consider a boundedness property of the function \(_{1}F_{2}(a;b,c;z)\) in the Hardy space of analytic functions. Several corollaries and special cases of the main results are also pointed out.

## 1 Introduction and preliminaries

It is well known that special functions play important roles in geometric function theory, especially after the solution of the famous Bieberbach conjecture by De-Branges [10]. There exists an extensive literature that deals with the geometric properties of various special functions such as hypergeometric functions, confluent hypergeometric functons, Bessel’s functions, Mittag–Leffler’s function, Wright’s function, Sturve’s function, Lommel’s function, Dini’s function, and several other functions. Many researchers have determined sufficient conditions for the parameters involved in these special functions when they belong to certain classes of functions that are starlike, convex or close-to-convex. For instance, several sufficient conditions for the Gauss hypergeometric functions to be starlike or convex have been studied by Merkes and Scott [20], Lewis [19], Ruscheweyh and Singh [30], Miller and Mocanu [22], Silverman [32], Ponnusamy and Vuorinen [25], Küstner [17, 18], and Hästo *et al.* [16]. Most of the known results in this direction deal with the shifted hypergeometric function \(z{}_{2}F_{1}(a,b;c;z)\) for real parameters \(a,b\), and *c*. Recently, several authors have investigated the geometric properties of Bessel’s functions [4, 5, 7, 8], Struve’s functions [23, 36], Lommel’s functions [9], Wright’s function [26] (see also [13, 28]), and Mittag–Leffler’s function [3].

The classical generalized hypergeometric function [2, 33] is defined by

where the Pochhammer (or shifted factorial) symbols \((b_{i})_{n}, i=1,2,\ldots, q\) are assumed to be nonzero and nonnegative integers. In this paper, our main aim is to study various several geometric properties of the function \(z {}_{1}F_{2}(a;b,c;z)\), which is a particular case of the generalized hypergeometric function \(_{p}F_{q}(z)\) (for \(p=1\) and \(q=2\)) and is defined by

where both the parameters *b* and *c* do not assume values of zero or a negative integer. By the ratio test, we see that the radius of convergence of this series (1) is infinity, and hence it is an entire function. However, in this paper we consider this function in the restricted domain \(\mathbb{D}=\{z\in \mathbb{C}: |z|<1\}\), which is a suitable domain to be considered for studying its geometric properties. It can easily be verified that

and further, the function \(w(z)={}_{1}F_{2}(a;b,c;z)\) is a solution of the third-order homogeneous differential equation

Now, we briefly outline some of the useful notations. Let \({\mathcal {H}}\) denote the class of analytic functions defined on \(\mathbb{D}\) and let the subclass \(\mathcal{A}=\{f\in \mathcal{H}: f(0)=0=f'(0)-1\}\) consist of analytic functions in \(\mathbb{D}\) having a Taylor-series expansion of the form

Evidently, the function \(z{}_{1}F_{2}(a;b,c;z)\) belongs to the class \(\mathcal{A}\). Our purpose in the present investigation is to study the geometric properties of the function \(z{}_{1}F_{2}(a;b,c;z)\) that enables us to deduce the corresponding properties for functions like the modified Sturve function, the modified Lommel function, the modified Bessel function, and the \({}_{0}F_{1}(-;c;z)\) function. We briefly give here the details of the special functions that stem from the function \(_{1}F_{2}(a;b,c;z)\).

### 1.1 The modified Struve function

The well-known Struve function of order *ν* is defined by

which is a particular solution of the nonhomogeneous Bessel differential equation defined by

The modified Struve function \(L_{\nu}(z)\) is defined by (see [37, p. 353])

The function \(L_{\nu}(z)\) does not belong to the class \(\mathcal{A}\), so we use the normalized form \(\mathbb{L}_{\nu}(z)\) defined by

It is easy to see that

### 1.2 The modified Lommel function

The Lommel function of the first kind \(S_{\mu,\nu}(z)\) is a particular solution of the nonhomogeneous Bessel differential equation (see for details [6] and [35])

and can be expressed in terms of a hypergeometric series

where \(\mu \pm \nu \) is a nonnegative odd integer. The modified Lommel function is defined by

For more details on the modified Lommel functions, we refer to the works of [29] and Shafer [31]. The function \(T_{\mu,\nu}(z)\) obviously does not belong to the class \(\mathcal{A}\), so we use the normalized form \(\mathbb{T}_{\mu,\nu}(z)\) defined by

which has a series representation of the form:

### 1.3 The modified Bessel function

For \(a=b\) in (1), we obtain

which is a solution of the second-order homogeneous differential equation defined by

It may be noted that a relationship exists between the function \(_{0}F_{1}\) and the modified Bessel function. Indeed, we have

where the modified Bessel function is defined by

and \(\mathbb{I}_{\nu}(z)\) is the normalized modified Bessel function.

In order to have this paper reasonably self-contained, we give necessary details related to the consideration of geometric properties of functions analytic in the unit disk. We denote by \(\mathcal{S}\), the class of all functions \(f \in \mathcal{A}\) that are univalent in \(\mathbb{D}\), that is,

Recall the Bieberbach conjecture in which the Taylor coefficients of each function of the class \(\mathcal{S}\) satisfy the inequality \(|a_{n}|\leq n\) for \(n=2,3,\ldots \) , and only the rotations of the Koebe function \(z/(1-z)^{2}\) provide the case of equality. In 1984, De-Branges [10] settled the Bieberbach conjecture by using the generalized hypergeometric functions. The exploitation of hypergeometric functions in the proof of the Bieberbach conjecture has provided new areas of interest to study various special functions from the viewpoint of geometric function theory. We need the following basic classes of functions in the present investigation. For \(\beta <1\), let

and

A function \(f \in \mathcal{S}\) is called starlike (with respect to the origin 0), denoted by \(f \in \mathcal{S}^{*}\) if \(tw \in f(\mathbb{D})\) for all \(w \in f(\mathbb{D})\) and \(t \in [0, 1]\). A function \(f \in \mathcal{S}\) that maps \(\mathbb{D}\) onto a convex domain is called a convex function and the class of such functions is denoted by \(\mathcal{K}\). For a given \(0\le \alpha <1\), a function \(f \in \mathcal{S}\) is called a starlike function of order *α*, denoted by \(\mathcal{S}^{*}(\alpha )\), if and only if

For a given \(0\le \alpha <1\), a function \(f \in \mathcal{S}\) is called a convex function of order *α*, denoted by \(\mathcal{K}(\alpha )\), if and only if

It is well known that \(\mathcal{S}^{*}(0)=\mathcal{S}^{*}\) and \(\mathcal{K}(0)=\mathcal{K}\). We recall [12] that the function \(zg'(z)\) is starlike if and only if the function \(g(z)\) is convex.

A function \(f\in \mathcal{S}\) is said to be convex in the direction of the imaginary axis if \(f(\mathbb{D})\) has a connected intersection with every line parallel to the imaginary axis. Given a convex function \(g\in \mathcal{K}\) with \(g(z)\ne 0\) and \(\alpha <1\), a function \(f\in \mathcal{S}\), is called close-to-convex of order *α* with respect to the convex function *g*, denoted by \(\mathcal{C}_{g}(\alpha )\), if and only if

The class \(\mathcal{C}_{g}(0)\) is the class of functions close-to-convex with respect to *g*. Geometrically, a function \(f\in \mathcal {S}\) belongs to \(\mathcal {C}\) if the complement *E* of the image-region \(F= \{f(z): |z|<1 \}\) is the union of rays that are disjoint (except that the origin of one ray may lie on another one of the rays). The Noshiro–Warschawski theorem asserts that close-to-convex functions are univalent in \(\mathbb{D}\), but not necessarily the converse. It is easy to verify that \(\mathcal{K} \subset \mathcal{S}^{*} \subset \mathcal{C}\). For more details, one may refer to see [12].

## 2 Key lemmas

In order to establish our main results, we need the following results.

### Lemma 1

([14])

*Let* \(\{a_{n}\}\) *be a sequence of nonnegative real numbers such that* \(a_{1}=1\), *and that for* \(n\ge 2\) *the sequence* \(\{a_{n}\}\) *is a convex decreasing*, *i*.*e*., \(0\ge a_{n+2}-a_{n+1} \ge a_{n+1}-a_{n}\), *for all* \(n\in \mathbb{N}\). *Then*,

It may be noted that each convex decreasing sequence also generates a convex null sequence. We recall that the sequence \(a_{0}\), \(a_{1},\ldots \) of nonnegative numbers is called a convex null sequence if

For a convex null sequence \(a_{0}=1\), \(a_{1}, a_{2}, \ldots \) , we have instead of (6) the following inequality

### Lemma 2

([14])

*If* \(A_{n}\geq 0\), \(\{nA_{n}\}\) *and* \(\{nA_{n}-(n+1)A_{n+1}\}\) *are both nonincreasing*, *then the function* \(f(z)=z+\sum_{n=2}^{\infty}{A_{n}z^{n}}\) *is in* \(\mathcal{S}^{*}\).

### Lemma 3

([24])

*Let* \(f(z)=z+\sum_{n=2}^{\infty}{A_{n}z^{n}}\). *Suppose that*

*or*

*then* *f* *is close*-*to*-*convex with respect to the convex function* \(-\log(1-z)\) *in* \(\mathbb{D}\).

### Lemma 4

([24])

*Suppose that* *f* *is an odd function* \((\textit{i.e., of the form }f(z)=z+ \sum_{n=2}^{\infty}{A_{2n-1}z^{2n-1}})\), *such that*

*or*

*then* *f* *is close*-*to*-*convex with respect to the convex function* \((1/2)\log((1+z)/(1-z))\).

### Lemma 5

([1])

*Let* \(\{A_{n}\}_{n=1}^{\infty}\) *be a sequence of nonnegative real numbers such that* \(A_{1}=1\) *and*

*Then*, *the functions defined by the series* \(\sum_{k=1}^{n}{A_{k}z^{k}}\) *and* \(\sum_{n=1}^{\infty}{A_{n}z^{n}}\) *are convex in the direction of the imaginary axis* (see for details [1, Theorem 2.3.5, p. 34]).

### Lemma 6

([21])

*Let* \(\Omega \subset \mathbb{C}\), *and suppose that* \(\psi: \mathbb{C}^{3}\times \mathbb{D}\to \mathbb{C}\) *satisfies the condition* \(\psi (is, t, u+iv;z)\notin \Omega \) *for* \(z\in \mathbb{D}\) *and for real* \(s,t, u\) *and* *v* *satisfying*

*If* \(p(z)\) *is analytic in* \(\mathbb{D}\), *with* \(p(0)=1\) *and* \(\psi (p(z), zp'(z), z^{2}p''(z);z )\in \Omega \) *for* \(z\in \mathbb{D}\), *then* \(\mathfrak{Re}(p(z))>0\), *for all* \(z\in \mathbb{D}\).

This lemma is a special case of Theorem 1 due to Miller and Mocanu in [21].

### Lemma 7

([34])

*For* \(\alpha <1\), \(\beta <1\), *we have*

*The value of* *δ* *is the best possible*.

In this paper, we study certain geometric properties such as the close-to-convexity, starlikeness, and convexity of the function \(z{}_{1}F_{2}(a;b,c;z)\). We also study the boundedness property of the function \(z{}_{1}F_{2}(a;b,c;z)\) in the concluding section. Several special cases and corollaries of our main results are also pointed out.

## 3 Close-to-convexity of \(z{}_{1}F_{2}(a;b,c;z)\)

This section deals with conditions on the parameters \(a,b\), and *c* so that the normalized function \(z{}_{1}F_{2}(a;b,c;z)\) is close-to-convex and hence univalent in \(\mathbb{D}\).

### Theorem 1

*Let* \(a,b,c>0\) *and* \(a\le bc/2\), *then the function* \(z{}_{1}F_{2}(a;b,c;z)\) *is close*-*to*-*convex with respect to the convex function* \(-\log(1-z)\).

### Proof

Let \(f(z)=z {}_{1}F_{2}(a;b,c;z)\). Then, \(f(z)\in \mathcal{A}\), which has the standard normalized form \(f(z)=z+\sum_{n=2}^{\infty}{A_{n}z^{n}}\), where

Using the definition of the Pochhammer symbol, we have

We first note that the condition \(a\le bc/2\) implies that \(2A_{2}\le A_{1}\). Now for \(n\ge 2\), we obtain that

where

Thus, we have \(X(n) \geq 0\) for all \(n\geq 1\), provided that \(a,b,c>0\) and \(a\le bc/2\), and so the sequence \(\lbrace nA_{n} \rbrace \) is nonincreasing. Applying Lemma 3, we conclude that the function \(z{}_{1}F_{2}(a;b,c;z)\) is close-to-convex with respect to the convex function \(-\log(1-z)\). □

### Example 1

Setting \(a=b\) in Theorem 1, it follows that for \(c\ge 2\), the function \(z{}_{0}F_{1}(-;c;z)\) is close-to-convex with respect to the convex function \(-\log(1-z)\) in \(\mathbb{D}\).

### Corollary 1

*Let* \(a,b,c>-1\), \(a+1\le (b+1)(c+1)/2\) *and* \(a\ne 0\), *then* \(z{}_{1}F'_{2}(a;b,c;z)\) *is univalent in* \(\mathbb{D}\).

### Proof

Differentiating (1) with respect *z*, we obtain

Using (8) and Theorem 1, we deduce that \(\frac {bc}{a} z{}_{1}F'_{2}(a;b,c;z)\) is close-to-convex with respect to \(-\log(1-z)\) and hence the function \(z{}_{1}F'_{2}(a;b,c;z)\) is univalent in \(\mathbb{D}\). □

For \(a=b\), Corollary 1 yields the result:

### Corollary 2

*Let* \(c\geq 1\), *then* \(z{}_{0}F'_{1}(-;c;z)\) *is univalent in* \(\mathbb{D}\).

### Remark 1

In view of Biberbach’s theorem, it is necessary that \(|A_{2}|=|a/bc|\le 2\) for *f* to belong to the class \(\mathcal{S}\) and therefore if \(a,b,c\in \mathbb{C}\), \(b,c \ne 0,-1,-2, \ldots \) , then the function \(z{}_{1}F_{2}(a;b,c;z)\) is not univalent whenever \(|a|>2|bc|\). Similarly for \(|c|<1/2\), the function \(z{}_{0}F_{1}(-;c;z)\) is not univalent in \(\mathbb{D}\). In particular, for \(0< c<1/2\), the function \(z{}_{0}F_{1}(-;c;z)\) is not univalent in \(\mathbb{D}\). Therefore, in view of Example 1, the investigation of the univalence of the function \(z{}_{0}F_{1}(-;c;z)\) for the case \(1/2\le c <2\) is still an open problem.

### Theorem 2

*Let* \(a,b,c>0\) *and* \(a\le 4bc/3\), *then* \(z{}_{1}F_{2}(a;b,c;z^{2}/4)\) *is close*-*to*-*convex with respect to* \((1/2)\log((1+z)/(1-z))\).

### Proof

Let \(f(z)=z{}_{1}F_{2}(a;b;c;z^{2}/4)=z+\sum_{n=2}^{\infty}{A_{2n-1}z^{2n-1}}\), where

By means of the definition of the Pochhammer symbol, it is easy to see that

We first note that the condition \(a\le 4bc/3\) implies that \(3A_{3}\le A_{1}\). Now for \(n\geq 2\), we estimate that

where

Thus, we have \(Y(n) \geq 0\) for all \(n\geq 1\), provided that \(a,b,c>0\) and \(a\le 4bc/3\) and so the sequence \(\lbrace nA_{n} \rbrace \) is nonincreasing. Applying now Lemma 4, we assert that \(z {}_{1}F_{2}(a;b,c;z^{2}/4)\) is close-to-convex with respect to the function \((1/2)\log((1+z)/(1-z))\). □

### Example 2

Setting \(a=1, b=\nu +3/2\), and \(c=3/2\) in Theorem 2 and using (3), we have the result that if \(\nu \geq -1\), then \(\mathbb{L}_{\nu}(z)\) is close-to-convex with respect to \((1/2)\log((1+z)/(1-z))\). Again, setting the parameter as in (4), we obtain the result that if \(\mu \pm \nu \) is a nonnegative odd integer and \((\mu +3)^{2}-\nu ^{2}\ge 3\), then \(\mathbb{T}_{\mu,\nu}(z)\) is close-to-convex with respect to \((1/2)\log((1+z)/(1-z))\).

### Example 3

Setting \(a=b\) in Theorem 2, we obtain the result that for \(c\ge 3/4\), the function \(z{}_{0}F_{1}(-;c;z^{2}/4)\) is close-to-convex with respect to \((1/2)\log((1+z)/(1-z))\). Using this result and (5), we have the assertion that for \(\nu \ge -1/4\), the function \(\mathbb{I}_{\nu}(z)\) is close-to-convex with respect to \((1/2)\log((1+z)/(1-z))\).

## 4 Starlikeness of \(z{}_{1}F_{2}(a;b,c;z)\)

In this section we determine the conditions on the parameters \(a,b\), and *c* such that the function \(z{}_{1}F_{2}(a;b,c;z)\) is not only close-to-convex with respect to \(-\log(1-z)\) but also starlike in \(\mathbb{D}\). Let \(\mathcal {K} S^{*}\) denote the family of functions in \(\mathcal{A}\) that are close-to-convex with respect to \(-\log(1-z)\) and also starlike in \(\mathbb{D}\).

### Theorem 3

*Let* \(b, c >0\), *and*

*Then*, *the function* \(z{}_{1}F_{2}(a;b,c;z)\) *is in the class* \(\mathcal {K} S^{*}\).

### Proof

In view of Lemma 2, it is sufficient to prove that \(\{nA_{n}\}\) and \(\{nA_{n}-(n+1)A_{n+1}\}\) are nonincreasing sequences for all \(n\geq 1\). The sequence \(\{nA_{n}\}\) is nonincreasing under the condition that \(a\le bc/2\) and the same will be true here as \(a\le bc/4 < bc/2\). Therefore, it suffices to show that \(nA_{n}-2(n+1)A_{n+1}+(n+2)A_{n+2}\geq 0\) for all \(n\geq 1\). Using (7), we have

Therefore, it is sufficient to prove that

This is true for \(n=1\) as \(a\le bc/4\). Also, (9) is true for \(n=2\) provided that

which holds true if we show that

and this inequality is valid under the hypothesis of the theorem. For \(n\ge 3\), (9) is valid, if \(Z(n)\ge 0\), where

This completes the proof. □

As before, if we set \(a=b\) in Theorem 3, then we deduce the following result:

### Corollary 3

*Let* \(c\geq 4\), *then the function* \(z{}_{0}F_{1}(-;c;z)\) *is in the class* \(\mathcal {K} S^{*}\).

## 5 Convexity of \(z{}_{1}F_{2}(a;b,c;z)\)

### Theorem 4

*Let* \(b,c>-1, abc\neq 0\) *and*

*then* \({}_{1}F_{2}(a;b,c;z)\) *is a convex function in* \(\mathbb{D}\).

### Proof

Let \(g(z)={}_{1}F_{2}(a;b,c;z)\) and \(f(z)=z{}_{1}F_{2}(a+1;b+1,c+1;z)\). Then, from relation (8), we have \(f(z)= ({bc}/{a})zg'(z)\). By taking logarithmic derivatives of both sides, we obtain the relation

Using Theorem 3 and the hypothesis of Theorem 4, we infer that \(f(z)\) is starlike and hence from (10), the function \(g(z) )={}_{1}F_{2}(a;b,c;z)\) is a convex function. □

### Theorem 5

*Let* \(a,b,c>0\) *and* \(a\le bc/4\), *then* \(z{}_{1}F_{2}(a;b,c;z)\) *is convex in the direction of the imaginary axis*.

### Proof

We have already proved in Theorem 1 that \((n+1)A_{n+1}\le nA_{n}\) for all \(n\ge 1\), provided that \(a\le bc/4 < bc/2\). In view of Lemma 5, \(z{}_{1}F_{2}(a;b,c;z)\) is convex in the direction of the imaginary axis provided that \((2n)^{2}A_{2n}\leq (2n-1)^{2} A_{2n-1}\) for all \(n\geq 1\). Now,

where

This completes the proof. □

### Theorem 6

*Let* *c* *be a real number such that*

*and* \({}_{0}F'_{1}(-;c;z)\ne 0\), *then* \({}_{0}F_{1}(-;c;z)\) *is a convex function of order* \(\beta\ (0\le \beta <1)\).

### Proof

Let \(w(z)={}_{0}F_{1}(-;c;z)\). If we put

then \(p(z)\) is analytic in \(\mathbb{D}\) and \(p(0)=1\). Therefore, to prove Theorem 6, we need to show that \(\mathfrak{Re}(p(z))>0\) in \(\mathbb{D}\). Since the function \(w(z)={}_{0}F_{1}(-;c;z)\) satisfies the differential equation

we find that

We may rewrite the above differential equation in the form of \(\psi (p(z), zp'(z);z)=0\). Now, for all real *s* and \(t\le -(1+s^{2})/2\) and \(z(=x+iy)\in \mathbb{D}\), we have

Also,

for all \(x\in (-1,1)\) and *c* satisfying the condition (11). Hence, we deduce that \(\mathfrak{Re}\{\psi (is,t;z)\}<0\), and therefore by Lemma 6, it follows that \(\mathfrak{Re}(p(z))>0\) in \(\mathbb{D}\), which shows that the function \({}_{0}F_{1}(-;c;z)\) is convex of order *β*. □

If we use the identity

then from Theorem 6, we obtain the following result:

### Corollary 4

*Let* *c* *be a real number such that*

*and* \({}_{0}F'_{1}(-;c-1;z)\ne 0\), *then* \(z{}_{0}F_{1}(-;c;z)\in \mathcal{S}^{*}(\beta )\) *for* \(0\le \beta < 1\).

If we let \(f(z)=z {}_{0}F_{1}(-;c;z)\) and \(h(z)=f(z^{2}/4)/(z/4)\), then we have

This observation and Corollary 4 immediately yields the following result.

### Corollary 5

*Let* *c* *be a real number such that*

\(1/2\le \beta <1\), *and* \({}_{0}F'_{1}(-;c-1;z)\ne 0\), *then* \(z{}_{0}F_{1}(-;c;z^{2}/4)\in \mathcal{S}^{*}(2\beta -1)\).

### Theorem 7

*Let* \(a,b,c>0\), \(a\le bc\), *and*

*then* \(\mathfrak{Re}\{{}_{1}F_{2}(a;b,c;z)\}>1/2\) *for* \(z\in \mathbb{D}\).

### Proof

In view of Lemma 1, it is sufficient to show that the sequence

is a convex decreasing sequence. We first prove that the above sequence is a decreasing sequence, i.e.,

where

Thus, we have \(M(n) \geq 0\) for all \(n\geq 1\), provided that \(a,b,c>0\), and \(a\leq bc\) and hence the sequence \(\lbrace A_{n} \rbrace \) is nonincreasing. Next, we show that the sequence \(\{A_{n} \}_{n=1}^{\infty}\) is convex decreasing, and for that we need to show that \(A_{n}-2A_{n+1}+A_{n+2}\ge 0\) for all \(n\geq 1\). Using (7), we have

In view of (14), the above is true for \(n=1\). For \(n\geq 2\), the difference between the first two terms is

where

In view of \(bc\geq a\), it is easy to see that \(N(n)\geq 0\) for all \(n\geq 2\), and hence applying Lemma 1, we obtain the desired result. □

Substituting \(a=b\) in Theorem 7, we have

### Corollary 6

*Let* \(c\geq ({1+\sqrt{7}})/{2}\), *then* \(\mathfrak{Re}\{{}_{0}F_{1}(-;c;z)\}>1/2\) *for* \(z\in \mathbb{D}\).

### Remark 2

Applying the above Corollary 6 for positive half-integers greater than or equal to 2, we obtain the following inequality for \(c=5/2\):

Similarly, for \(c=7/2\), Corollary 4.7 gives the inequality:

## 6 Boundedness property of \({}_{1}F_{2}(a;b,c;z)\)

Let \(\mathcal{H}^{\infty}\) denotes the space of all bounded functions on \(\mathcal{H}\). For the function \(f\in \mathcal{H}\), set

and

The function *f* is said to belong to \(\mathcal{H}^{p}\) and it is called the Hardy space \((0< p\le \infty )\) if \(M_{p}(r,f)\) is bounded for all \(r\in [0,1)\). Evidently, we have the relationship ([11])

The following results are widely known (see [15] and [27]) for the Hardy space ([11]):

### Theorem 8

*Let* \(a,b,c>0\), \(a\le bc\), \(c>a-b-1\) *and*

*If* \(f\in \mathcal{R}\), *then the convolution* \(z{}_{1}F_{2}(a;b,c;z) *f(z)\) *is in* \(\mathcal{H}^{\infty }\cap \mathcal{R}\).

### Proof

Let \(f\in \mathcal{R}\), then \(f'\in \mathcal{P}\). We define a function *g* by

then

Applying Theorem 7, we have \(\mathfrak{Re}\{{}_{1}F_{2}(a;b,c;z)\}>1/2\). Also, \(f(z)\in \mathcal{R}\) implies that \(\mathfrak{Re}(f'(z))>0\), and therefore from Lemma 7 it follows that \(g\in \mathcal{R}\). Thus, in view of the first implication of (17), we have \(g'\in \mathcal{H}^{q}\) for all \(q<1\). Further, from the second implication of (17), we have \(g\in \mathcal{H}^{q/(1-q)}\) for all \(0< q<1\), or equivalently, \(g\in \mathcal{H}^{p}\) for all \(0< p<\infty \).

In view of the known bound for the Carathéodory functions in the unit disc [12], we note that if \(f(z)=z+\sum_{n=2}^{\infty}{a_{n}z^{n}}\in \mathcal{R}\), then

By using this bound, we have in view of (18):

Using the well-known bound for the Carathéodory functions in the unit disc, we find that if \(f(z)=z+\sum_{n=2}^{\infty}{a_{n}z^{n}}\in \mathcal{R}\) then

Using this fact we find that

Therefore, applying Raabe’s test for convergence, we deduce that the series

converges absolutely for \(|z|=1\). This argument shows that the power series for \(g(z)\) converges absolutely for \(|z|=1\). Furthermore, it is well known that [11, Theorem 3.11, p. 42] \(g'\in \mathcal{H}^{q}\) implies continuity of *g* on \(\overline{\mathbb{D}}\), the closure of \(\mathbb{D}\). Finally, since the continuous function *g* on the compact set \(\overline{\mathbb{D}}\) is bounded, \(g(z)\) is a bounded analytic function in \(\mathbb{D}\). Therefore, \(g\in \mathcal{H}^{\infty}\) and this completes the proof. □

We conclude this paper by considering a special case of Theorem 8. Indeed, if we put \(a=b\) in Theorem 8, we have the following corollary.

### Corollary 7

*Let* \(c\geq \frac{1+\sqrt{7}}{2}\) *and* \(f\in \mathcal{R}\), *then the convolution* \(z{}_{0}F_{1}(-;c;z) *f(z)\) *is in* \(\mathcal{H}^{\infty }\cap \mathcal{R}\).

## Availability of data and materials

Not applicable.

## References

Acharya, A.P.: Univalence criteria for analytic functions and applications to hypergeometric functions. Ph. D. Thesis, Universität of Würzburg (1997)

Bailey, W.N.: Generalized Hypergeometric Series. Cambridge University Press, New York (1935)

Bansal, D., Prajapat, J.K.: Certain geometric properties of the Mittag-Leffler functions. Complex Var. Elliptic Equ.

**61**(3), 338–350 (2016)Baricz, Á.: Functional inequalities involving special functions II. J. Math. Anal. Appl.

**327**(2), 1202–1213 (2007)Baricz, Á.: Geometric properties of generalized Bessel functions. Publ. Math. (Debr.)

**73**, 155–178 (2008)Baricz, Á., Koumandos, S.: Turán type inequalities for some Lommel functions of the first kind. Proc. Edinb. Math. Soc.

**59**(3), 569–579 (2016)Baricz, Á., Kupán, P.A., Szász, R.: The radius of starlikeness of normalized Bessel function of first kind. Proc. Am. Math. Soc.

**142**(6), 2019–2025 (2014)Baricz, Á., Ponnusamy, S.: Starlikeness and convexity of generalized Bessel functions. Integral Transforms Spec. Funct.

**21**(9), 641–653 (2010)Cağlar, M., Deniz, E.: Partial sums of the normalized Lommel functions. Math. Inequal. Appl.

**18**(3), 1189–1199 (2015)De-Branges, L.: A proof of the Bieberbach conjecture. Acta Math.

**154**, 137–152 (1985)Duren, P.L.: Theory of \(H^{p}\) Spaces. A Series of Monographs and Textbook in Pure and Applied Mathematics, vol. 38. Academic Press, New York (1970)

Duren, P.L.: Univalent Functions. Springer, Berlin (1983)

Dziok, J., Raina, R.K.: Families of analytic functions associated with the Wright’s generalized hypergeometric function. Demonstr. Math.

**37**(3), 533–542 (2004)Féjer, L.: Untersuchungen über Potenzreihen mit mehrfach monotoner Koeffizientenfolge. Acta Litterarum Sci.

**8**, 89–115 (1936)Hardy, G.H., Littlewood, J.E.: Theorems concerning mean values of analytic or harmonic functions. Q. J. Math.

**12**, 221–256 (1941)Hästö, P., Ponnusamy, S., Vuorinen, M.: Starlikeness of the Gaussian hypergeometric functions. Complex Var. Elliptic Equ.

**55**, 173–184 (2010)Küstner, R.: Mapping properties of hypergeometric functions and convolutions of starlike or convex functions of order

*α*. Comput. Methods Funct. Theory**2**, 597–610 (2004)Küstner, R.: On the order of starlikeness of the shifted Gauss hypergeometric function. J. Math. Anal. Appl.

**334**(2), 1363–1385 (2007)Lewis, J.: Applications of a convolution theorem to Jacobi polynomails. SIAM J. Math. Anal.

**10**(6), 1110–1120 (1979)Merkes, E.P., Scott, W.T.: Starlike hypergeometric functions. Proc. Am. Math. Soc.

**12**, 885–888 (1961)Miller, S.S., Mocanu, P.T.: Differential subordinations and inequalities in the complex plane. J. Differ. Equ.

**67**, 199–211 (1987)Miller, S.S., Mocanu, P.T.: Univalence of Gaussian and confluent hypergeometric functions. Proc. Am. Math. Soc.

**110**(2), 333–342 (1990)Orhan, H., Yagmur, N.: Geometric properties of generalized Struve functions. An. Ştiinţ. Univ. ‘Al.I. Cuza’ Iaşi, Mat. https://doi.org/10.2478/aicu-2014-0007

Ozaki, S.: On the theory of multivalent functions. Sci. Rep. Tokyo Bunrika Daigaku A

**2**, 167–188 (1935)Ponnusamy, S., Vuorinen, M.: Univalence and convexity properties for Gaussian hypergeometric functions. Rocky Mt. J. Math.

**31**(1), 327–353 (2001)Prajapat, J.K.: Certain geometric properties of the Wright functions. Integral Transforms Spec. Funct.

**26**(3), 203–212 (2015)Priwalow, I.I.: Randeigenschaften Analyticscher Funktionen. Deutscher Verlag Der Wissenschaften (1956)

Raina, R.K.: On univalent and starlike Wright’s hypergeometric functions. Rend. Semin. Mat. Univ. Padova

**95**, 11–22 (1996)Rollinger, C.N.: Lommel functions with imaginary argument. Q. Appl. Math.

**21**(4), 343–349 (1964)Ruscheweyh, S., Singh, V.: On the order of starlikeness of hypergeometric functions. J. Math. Anal. Appl.

**113**(1), 1–11 (1986)Shafer, R.E.: Lommel functions of imaginary argument. Technical report, Lawrence Radiation Laboratory, Livermore (1964)

Silverman, H.: Starlike and convexity properties for hypergeometric functions. J. Math. Anal. Appl.

**172**(2), 574–581 (1993)Slater, L.J.: Generalized Hypergeometric Functions. Cambridge University Press, UK (1966)

Stankiewicz, J., Stankiewicz, Z.: Some applications of Hadamard convolutions in the theory of functions. Ann. Univ. Mariae Curie–Sklodowska

**40**, 251–265 (1986)Watson, G.N.: A Treatise on the Theory of Bessel Functions, 2nd edn. Cambridge University Press, Cambridge (1944)

Yagmur, N., Orhan, H.: Partial sums of generalized Struve functions. Miskolc Math. Notes

**17**(1), 657–670 (2016)Zhang, S., Jin, J.: Computation of Special Functions. Wiley Interscience Publication, New York (1996)

## Acknowledgements

The fourth author was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (No. 2019R1I1A3A01050861).

## Funding

Not applicable.

## Author information

### Authors and Affiliations

### Contributions

D.B. and R.K.R. made the original draft preparation. S.M. contributed analysis of the mathematical computation. N.E.C reviewed and edited the manuscript. All authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The authors declare no competing interests.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Bansal, D., Raina, R.K., Maharana, S. *et al.* On the characterization properties of certain hypergeometric functions in the open unit disk.
*J Inequal Appl* **2022**, 164 (2022). https://doi.org/10.1186/s13660-022-02902-0

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13660-022-02902-0

### MSC

- 30C45
- 30C15

### Keywords

- Lommel function
- Sturve function
- Bessel function
- Analytic univalent function
- Starlike function
- Close-to-convex function
- Hardy space