Open AccessEditor’s ChoiceArticle

New Conditions for Univalence of Confluent Hypergeometric Function

Georgia Irina Oros

Department of Mathematics and Computer Science, Faculty of Informatics and Sciences, University of Oradea, 410087 Oradea, Romania

Symmetry 2021, 13(1), 82; https://doi.org/10.3390/sym13010082

Submission received: 9 December 2020 / Revised: 29 December 2020 / Accepted: 31 December 2020 / Published: 5 January 2021

(This article belongs to the Special Issue Symmetry in Geometric Functions and Mathematical Analysis)

Download Versions Notes

Abstract

Since in many particular cases checking directly the conditions from the definitions of starlikeness or convexity of a function can be difficult, in this paper we use the theory of differential subordination and in particular the method of admissible functions in order to determine conditions of starlikeness and convexity for the confluent (Kummer) hypergeometric function of the first kind. Having in mind the results obtained by Miller and Mocanu in 1990 who used

a, c \in R

, for the confluent (Kummer) hypergeometric function, in this investigation a and c complex numbers are used and two criteria for univalence of the investigated function are stated. An example is also included in order to show the relevance of the original results of the paper.

Keywords:

differential subordination; analytic function; starlike function; convex function; univalent function; dominant; best dominant; confluent hypergeometric function

1. Introduction

The interest in hypergeometric functions and their applications in complex analysis was renewed by their use in the proof of Bieberbach’s conjecture given by L. de Branges [1]. Before that, only Merkes and Scott did research on starlikeness of certain Gaussian hypergeometric functions in 1961 [2] and this paper was preceded by only a few articles in the literature dealing with the relationship between hypergeometric functions and univalent function theory. The articles published by E. Kreyszig and J. Todd in 1959–1960, who investigated the univalence of the error function

E r f (z)

[3] and of the function

exp (z^{2}) \cdot E r f (z)

[4], can be named with respect to this topic.

After the proof of Bieberbach’s conjecture appeared, the research relating the theory of univalent functions and the theory of special functions started to develop and many of the results obtained are related to hypergeometric functions.

The starting point of the present paper is one of the first papers to study this relation, published in 1990 by S.S. Miller and P.T. Mocanu [5]. The method of differential subordinations was employed there to investigate univalence, starlikeness and convexity of certain hypergeometric functions. The results obtained in this paper are different from those obtained earlier by St. Ruscheweyh and V. Singh [6] in 1986 when the order of starlikeness of certain hypergeometric functions was investigated. Moreover, Miller and Mocanu’s outcomes are different from those of Merkes and Scott [2].

The particular topic of confluent (Kummer) hypergeometric functions emerged as part of the study of the relationship between hypergeometric functions and univalent function theory. This notion is studied from many different points of view. In [7] univalence and convexity properties for confluent hypergeometric functions are given, in [8] convolutions involving hypergeometric series are used in order to state starlikeness properties, in [9] close-to-convexity properties of Gaussian hypergeometric functions are studied. In a more recent paper [10] the extension of the hypergeometric and confluent hypergeometric functions is achieved by introducing an extra parameter and its relationship with the hypergeometric and confluent hypergeometric functions is studied. To name some of the very recent papers on this topic, in [11] the relation of Kummer confluent hypergeometric function with some special classes of univalent functions is highlighted, in [12] Kummer’s function is connected to Nevanlinna theory and in [13] the Mittag-Leffer function is connected with confluent hypergeometric function.

The confluent (Kummer) hypergeometric function of the first kind is defined as:

Definition 1

([14], p. 5). Let a and c be complex numbers with

c \neq 0, - 1, - 2, \dots

and consider

ϕ (a, c; z) =_{1} F_{1} (a, c; z) = 1 + \frac{a}{c} \cdot \frac{z}{1!} + \frac{a (a + 1)}{c (c + 1)} \cdot \frac{z^{2}}{2!} + \dots, z \in U .

(1)

This function is called confluent (Kummer) hypergeometric function, is analytic in

C

and satisfies Kummer’s differential equation:

z \cdot w (z) + [c - z] \cdot w (z) - a \cdot w (z) = 0 .

If we let

{(d)}_{k} = \frac{Γ (d + k)}{Γ (d)} = d (d + 1) (d + 2) \dots (d + k - 1) a n d {(d)}_{0} = 1

then (1) can be written in the form

ϕ (a, c; z) = \sum_{k = 0}^{\infty} \frac{{(a)}_{k}}{{(c)}_{k}} \cdot \frac{z^{k}}{k!} = \frac{Γ (c)}{Γ (a)} \cdot \sum_{k = 0}^{\infty} \frac{Γ (a + k)}{Γ (c + k)} \cdot \frac{z^{k}}{k!} .

(2)

In their paper, Miller and Mocanu [5] have determined conditions on a and c real numbers such that function

ϕ

to be univalent in U. We consider now a and c complex numbers and use the method of differential subordinations to obtain conditions on them such that function

ϕ

to be univalent in U and by determining such conditions, we state criteria for univalence of confluent (Kummer) hypergeometric function.

The well-known definitions and notations familiar to the field of complex analysis are used. The unit disc of the complex plane is denoted by U.

H (U)

stands for the class of analytic functions in the unit disc and the classical definition for class

A_{n}

is applied, being known that it contains all functions from class

H (U)

which have the specific form

f (z) = z + a_{n + 1} z^{n + 1} + \dots

with

z \in U

and

A_{1}

written simply A. All the functions in class A which are univalent in U form the class denoted by S. In particular, the functions in class A who have the property that

Re \frac{z f^{'} (z)}{f (z)} > 0

are called starlike functions and their class is denoted by

S^{*}

and those who have the property

Re \frac{z f^{″} (z)}{f^{'} (z)} + 1 > 0

represent the class of convex functions denoted by K.

For n a positive integer and a a complex number, the class

H [a, n]

is defined as consisting of all functions from class

H (U)

who have the serial development

f (z) = a + a_{n} z^{n} + a_{n + 1} z^{n + 1} + \dots,

with

H_{0} = H [0, 1]

In this paper, all the classical notions of the method of differential subordinations or the admissible functions method are used just as they were introduced by Miller and Mocanu in [15,16] and some aspects developed in [14] are also referred to.

Definition 2

([14], p. 4, [17], p. 36). Let f and F be members of

H (U)

. The function f is said to be subordinate to F, written

f ≺ F

f (z) ≺ F (z)

, 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))

. If F is univalent, then

f ≺ F

if and only if

f (0) = F (0)

and

f (U) \subset F (U)

Definition 3

([14], p. 4). Let

ψ (r, s, t; z) : C^{2} \times U \to C

and let h be univalent in U. If p is analytic and satisfies the (second-order) differential subordination

ψ (p (z), z p^{'} (z), z^{2} p^{″} (z); z) ≺ h (z)

(3)

then p is called a solution of the differential subordination. The univalent function q is called a dominant of the solutions of the differential subordination or more simply a dominant, if

p ≺ q

for all p satisfying (3). A dominant

\tilde{q}

that satisfies

\tilde{q} ≺ q

for all dominants q of (3) is said to be the best dominant of (3). (Note that the best dominant is unique up to a rotation of U).

A lemma from the theory of differential subordinations is required in order to prove the original results contained in the next section.

Lemma 1

([14], Th. 3.4h, p. 132). Let q be univalent in U and let θ and ϕ be analytic in a domain D containing

q (U)

, with

ϕ (w) \neq 0

, when

w \in q (U)

. Set

Q (z) = z q^{'} (z) ϕ [q (z)]

h (z) = θ [q (z)] + Q (z)

and suppose that either

(i): h in convex , or
(ii): Q is starlike.

In addition, assume that

(iii): $Re \frac{z h^{'} (z)}{Q (z)} = Re [\frac{θ [q (z)]}{ϕ (q (z)]} + \frac{z Q (z)}{Q (z)}] > 0$ .

If p is analytic in U, with

p (0) = q (0)

p (U) \subset D

and

θ [p (z)] + z p (z) \cdot ϕ [p (z)] ≺ θ [q (z)] + z q (z) \cdot ϕ [q (z)] = h (z)

then

p ≺ q

and q is the best dominant.

2. Results

The confluent (Kummer) hypergeometric function was studied in [5] for

a, c \in R

c \neq 0, - 1, - 2, \dots

. In this section of the paper, the results of the study of this interesting function extended for the case when

a, c \in C

c \neq 0, - 1, - 2, \dots

are presented.

Theorem 1.

Let q be convex in U with

q (0) = 1

Re q (z) > 0

, and let

θ (w) = w^{2} + w

and

φ (w) = w

w \neq 0

, be analytic in a domain D containing

q (U)

, with

φ (w) \neq 0

when

w \in q (U)

. Set

Q (z) = z q^{'} (z) φ [q (z)] a n d h (z) = θ [q (z)] + Q (z), z \in U .

ϕ (a, c; z)

a, c \in C

c \neq 0, - 1, - 2, \dots

, given by (1) satisfies the differential subordination

ϕ^{2} (a, c; z) + ϕ (a, c; z) + z ϕ^{'} (a, c; z) \cdot ϕ (a, c; z) ≺ h (z),

(4)

then

ϕ (a, c; z) ≺ q (z), z \in U,

and q is the best dominant.

Proof.

Since q is a convex function it is known to be univalent and satisfies the condition

Re [1 + \frac{z q^{″} (z)}{q^{'} (z)}] > 0, z \in U .

(5)

According to the theorem of analytical characterization of convexity ([18], Theorem 4.2.1, p. 50), we have that

Re \frac{z q^{'} (z)}{q (z)} > 0,

(6)

meaning that q is a starlike function.

Let

p (z) = ϕ (a, c; z) =_{1} F_{1} (a, c; z) = 1 + \frac{a}{c} \cdot \frac{z}{1!} + \dots + \frac{a (a + 1)}{c (c + 1)} \cdot \frac{z^{2}}{2!} + \dots

(7)

We have

p (0) = 1

p \in H [1, 1]

and p is analytic. By differentiating (7) we get

p^{'} (z) = ϕ^{'} (a, c; z), z \in U .

(8)

Using (7) and (8), the differential subordination (4) becomes

p^{2} (z) + p (z) + z p^{'} (z) \cdot p (z) ≺ h (z) .

(9)

In order to prove the theorem, we use Lemma 1. For this, we must show that the necessary conditions (ii) and (iii) are satisfied.

We check the conditions from the hypothesis of Lemma 1.

From the hypothesis of Theorem 1, for

w = q (z)

, we have

θ [q (z)] = q^{2} (z) + q (z)

and

φ [q (z)] = q (z)

, which give the equality:

Q (z) = z q^{'} (z) \cdot φ [q (z)] = z q^{'} (z) \cdot q (z) .

(10)

Differentiating (10) and doing some simple calculations, the following relation is obtained:

\begin{matrix} \frac{z Q^{'} (z)}{Q (z)} & = \frac{z q^{'} (z) \cdot q (z) + z^{2} q^{″} (z) \cdot q (z) + z^{2} q^{'} (z) \cdot q^{'} (z)}{z q^{'} (z) \cdot q (z)} \\ = 1 + \frac{z q^{″} (z)}{q^{'} (z)} + \frac{z q^{'} (z)}{q (z)}, z \in U . \end{matrix}

(11)

Using (5) and (6) in (11), we get

Re \frac{z Q^{'} (z)}{Q (z)} = Re [1 + \frac{z q^{″} (z)}{q^{'} (z)}] + Re \frac{z q^{'} (z)}{q (z)} > 0, z \in U,

hence the function Q is starlike and this means that condition (ii) in Lemma 1 is satisfied.

For

w = q (z)

, we have:

h (z) = q^{2} (z) + q (z) + z q^{'} (z) \cdot q (z) .

By differentiating this equality we obtain

h^{'} (z) = 2 q (z) \cdot q^{'} (z) + q^{'} (z) + q^{'} (z) \cdot q (z) + z q^{″} (z) \cdot q (z) + z {[q^{'} (z)]}^{2}

and

\begin{matrix} \frac{z h^{'} (z)}{Q (z)} & = \frac{3 z q^{'} (z) \cdot q (z) + z q^{'} (z) + z^{2} q^{″} (z) \cdot q (z) + z^{2} {[q^{'} (z)]}^{2}}{z q^{'} (z) \cdot q (z)} \\ = 3 + \frac{1}{q (z)} + \frac{z q^{″} (z)}{q^{'} (z)} + \frac{z q^{'} (z)}{q (z)} \\ = 2 + \frac{1}{q (z)} + 1 + \frac{z q^{″} (z)}{q^{'} (z)} + \frac{z q^{'} (z)}{q (z)} . \end{matrix}

Knowing from the hypothesis that

Re q (z) > 0

and combining this with relations (5) and (6) we can write:

Re \frac{z h^{'} (z)}{Q (z)} = 2 + Re \frac{1}{q (z)} + Re [1 + \frac{z q^{″} (z)}{q^{'} (z)}] + Re \frac{z q^{'} (z)}{q (z)} > 0

and we conclude that relation (iii) in Lemma 1 is satisfied.

We can now apply Lemma 1 and the differential subordination (9) implies

p (z) ≺ q (z), z \in U .

(12)

Using (7) and (12) we write

ϕ (a, c; z) ≺ q (z), z \in U,

and q is the best dominant. □

Remark 1.

For

q (z) = \frac{1 + z}{1 - z}

, convex in U, from Theorem 1 we obtain the following corollary.

Corollary 1.

Let

q (z) = \frac{1 + z}{1 - z}

, be convex in U, with

q (0) = 1

Re q (z) > 0

z \in U

, and let

θ : C \to C

θ (w) = w^{2} + w

and

φ : C \to C

φ (w) = w

be analytic in a domain D containing

q (U)

, with

φ (w) \neq 0

w \in q (U)

. Set

Q (z) = z q^{'} (z) \cdot φ [q (z)] = \frac{2 z (1 + z)}{{(1 - z)}^{3}},

and

h (z) = θ [q (z)] + Q (z) = \frac{1 + z}{1 - z} + {(\frac{1 + z}{1 - z})}^{2} + \frac{2 z (1 + z)}{{(1 - z)}^{3}}, z \in U .

ϕ (a, c; z)

a, c \in C

c \neq 0, - 1, - 2, \dots

given by (1) satisfies the differential subordination

ϕ^{2} (a, c; z) + ϕ (a, c; z) + z ϕ^{'} (a, c; z) \cdot ϕ (a, c; z) ≺ h (z) = \frac{1 + z}{1 - z} + {(\frac{1 + z}{1 - z})}^{2} + \frac{2 z (1 + z)}{{(1 - z)}^{3}}, z \in U

(13)

then

ϕ (a, c; z) ≺ q (z) = \frac{1 + z}{1 - z}, z \in U, i . e ., Re ϕ (a, c; z) > 0, z \in U

and

q (z) = \frac{1 + z}{1 - z}

is the best dominant.

Proof.

From relation (12) in the proof of Theorem 1 we have

ϕ (a, c; z) ≺ q (z) = \frac{1 + z}{1 - z}, z \in U .

(14)

Since

q (z) = \frac{1 + z}{1 - z}

is a convex function, the differential subordination (14) is equivalent to

Re ϕ (a, c; z) > Re q (z) > 0, z \in U

and

q = \frac{1 + z}{1 - z}

is the best dominant. □

Remark 2.

The result obtained in Corollary 1 was proved by Miller and Mocanu ([5], Lemma 1), for a and c real numbers satisfying of the conditions:

(i): $a > 0$ and $c \geq a$ , or
(ii): $a \leq 0$ and $c \geq 1 + {(1 + a^{2})}^{\frac{1}{2}}$ , for $z \in U$ .

For

q (z) = \frac{1}{1 - z}

z \in U

, a convex function in U, from Theorem 1, we obtain the following:

Corollary 2.

Let

q (z) = \frac{1}{1 - z}

, be convex in U, with

q (0) = 1

Re q (z) > \frac{1}{2}

z \in U

and let

θ : C \to C

θ (w) = w^{2} + w

and

φ : C \to C

φ (w) = w

be analytic in a domain D containing

q (U)

, with

φ (w) \neq 0

w \in q (U)

. Set

Q (z) = z q^{'} (z) \cdot φ [q (z)] = \frac{z}{{(1 - z)}^{3}},

h (z) = θ [q (z)] + Q (z) = \frac{1}{{(1 - z)}^{2}} + \frac{1}{1 - z} + \frac{z}{{(1 - z)}^{3}}, z \in U .

ϕ (a, c; z)

a, c \in C

c \neq 0, - 1, - 2, \dots

, given by (1) satisfies the differential subordination

ϕ^{2} (a, c; z) + ϕ (a, c; z) + z ϕ^{'} (a, c; z) \cdot ϕ (a, c; z) ≺ h (z) = \frac{1}{{(1 - z)}^{2}} + \frac{1}{1 - z} + \frac{z}{{(1 - z)}^{3}}, z \in U,

(15)

then

ϕ (a, c; z) ≺ q (z) = \frac{1}{1 - z}, i . e ., Re ϕ (a, c; z) > \frac{1}{2}, z \in U

and

q (z) = \frac{1}{1 - z}

is the best dominant.

Theorem 2.

Let q a convex function in U and

γ \in C - {0}

with

Re γ > 0

. Let

θ : C \to C

θ (w) = w

and

φ : C \to C

φ (w) = γ \in C - {0}

be analytic in domain D, containing

q (U)

ϕ (w) \neq 0

, when

w \in q (U)

. Set

Q (z) = z q^{'} (z) \cdot φ [q (z)] a n d h (z) = θ [q (z)] + Q (z), z \in U .

If p is analytic in U, with

p (0) = q (0)

and satisfies the differential subordination

θ [p (z)] + z p^{'} (z) \cdot φ [p (z)] ≺ h (z), z \in U,

(16)

then

p (z) ≺ \frac{1}{1 - z} = q (z)

z \in U

and q is the best dominant.

Proof.

From the hypothesis of Theorem 2, for

w = q (z) \in q (U)

, we obtain

φ [q (z)] = γ

Re γ > 0

γ \in C - {0}

, and hence

Q (z) = z q^{'} (z) \cdot γ, z \in U .

(17)

We now prove that function Q is starlike. Differentiating (17), and after short calculation, we obtain

\frac{z Q^{'} (z)}{Q (z)} = \frac{z q^{'} (z) \cdot γ + z^{2} q^{″} (z) \cdot γ}{z q^{'} (z) \cdot γ} = 1 + \frac{z q^{″} (z)}{q^{'} (z)}, z \in U .

The hypothesis of theorem states that q is a convex function, hence

Re \frac{z Q^{'} (z)}{Q (z)} = Re [1 + \frac{z q^{″} (z)}{q^{'} (z)}] > 0, z \in U,

(18)

which means that function Q is starlike. We now have condition (ii) in Lemma 1 satisfied.

For

w = q (z)

θ [q (z)] = q (z)

φ [q (z)] = γ

, we have

h (z) = q (z) + z q^{'} (z) \cdot γ, z \in U .

(19)

Differentiating (19) and after short calculation we obtain

Re \frac{z h^{'} (z)}{Q (z)} = Re \frac{z q^{'} (z) + z q^{'} (z) \cdot γ + z^{2} q^{″} (z) \cdot γ}{z q^{'} (z) \cdot γ} = Re \frac{1}{γ} + Re [1 + \frac{z q^{″} (z)}{q^{'} (z)}] > 0, z \in U,

(20)

since

Re γ > 0

and q is convex.

We now conclude that condition (iii) in Lemma 1 is satisfied. Using Lemma 1, we obtain

p (z) ≺ q (z), z \in U .

(21)

Since function q is a univalent solution of the equation

h (z) = q (z) + z q^{'} (z) \cdot γ,

q is the best dominant subordinant of the differential subordination (16). □

Remark 3.

If in Theorem 2,

p (z) = \frac{c}{a} ϕ^{'} (a, c; z)

a \in C^{*}

and

q (z) = \frac{1 - z}{1 + z}

z \in U

, we deduce the following univalence criterion:

Corollary 3.

Let

q (z) = \frac{1 - z}{1 + z}

, be a convex function in U with

q (0) = 1

. Let

θ : C \to C

θ (w) = w

, and

φ : C \to C

φ (w) = 1

, be analytic in domain D containing

q (U)

. Set

Q (z) = z q^{'} (z) \cdot 1 = \frac{- 2 z}{{(1 + z)}^{2}}

and

h (z) = θ [q (z)] + z q^{'} (z) \cdot 1 = q (z) + z q^{'} (z) = \frac{1 - z}{1 + z} - \frac{2 z}{{(1 + z)}^{2}}, z \in U .

\frac{c}{a} ϕ^{'} (a, c; z)

a \in C^{*}

with

p (0) = q (0) = 1

, satisfies the differential subordination

\frac{c}{a} ϕ^{'} (a, c; z) + z \frac{c}{a} ϕ^{″} (a, c; z) ≺ h (z) = \frac{1 - z}{1 + z} - \frac{2 z}{{(1 + z)}^{2}}

(22)

then

\frac{c}{a} ϕ^{'} (a, c; z) ≺ \frac{1 - z}{1 + z}, i . e ., Re \frac{c}{a} ϕ^{'} (a, c; z) > 0, z \in U,

and hence

ϕ (a, c; z)

is univalent in U.

Proof.

Using relation (21) from the proof of Theorem 2, we get

\frac{c}{a} ϕ^{'} (a, c; z) ≺ q (z) = \frac{1 - z}{1 + z}, z \in U .

(23)

Since

q (z) = \frac{1 - z}{1 + z}

z \in U

, is a convex function in U, the differential subordination (23) is equivalent to

Re \frac{c}{a} ϕ^{'} (a, c; z) > Re \frac{1 - z}{1 + z} > 0, z \in U .

□

Remark 4.

The result stated in Corollary 3 was obtained by Miller and Mocanu ([5], Theorem 1) for

a \neq 0

, and c real numbers satisfying one of the following conditions:

(i): $a > - 1$ and $c \geq a$ , or
(ii): $a \leq - 1$ and $c \geq \sqrt{1 + {(a + 1)}^{2}}$ .

For

a \in C^{*}

p (z) = 1 + \frac{z ϕ^{″} (a, c; z)}{ϕ^{'} (a, c; z)}

p (0) = 1

p \in H [1, 1]

and

q (z) = \frac{1 - z}{1 + z}

, we obtain from Theorem 2 the following univalence criterion:

Corollary 4.

Let

q (z) = \frac{1 - z}{1 + z}

be a convex function in U, with

q (0) = 1

. Let

θ : C \to C

θ (w) = w

φ : C \to C

φ (w) = 1

w \in q (U)

. Set

Q (z) = z q^{'} (z) \cdot 1 = \frac{- 2 z}{{(1 + z)}^{2}},

h (z) = θ [q (z)] + z q^{'} (z) = \frac{1 - z}{1 + z} - \frac{2 z}{{(1 + z)}^{2}} .

1 + \frac{z ϕ^{″} (a, c; z)}{ϕ^{'} (a, c; z)}

a \in C^{*}

c \in C

c \neq 0, - 1, - 2, \dots

z \in U

, satisfies the differential subordination

1 + \frac{z ϕ^{″} (a, c; z)}{ϕ^{'} (a, c; z)} + z {[1 + \frac{z ϕ^{″} (a, c; z)}{ϕ^{'} (a, c; z)}]}^{'} ≺ h (z) = \frac{1 - z}{1 + z} - \frac{2 z}{{(1 + z)}^{2}}, z \in U,

(24)

then

1 + \frac{z ϕ^{″} (a, c; z)}{ϕ^{'} (a, c; z)} ≺ \frac{1 - z}{1 + z} = q (z), i . e ., Re [1 + \frac{z ϕ^{″} (a, c; z)}{ϕ^{'} (a, c; z)}] > 0, z \in U,

hence

ϕ (a, c; z)

is a convex function in U.

Proof.

Using relation (21), from the proof of Theorem 2, we have

1 + \frac{z ϕ^{″} (a, c; z)}{ϕ^{'} (a, c; z)} ≺ q (z) = \frac{1 - z}{1 + z}, z \in U .

(25)

Since

q (z) = \frac{1 - z}{1 + z}

z \in U

, is convex in U, relation (25) is equivalent to

Re [1 + \frac{z ϕ^{″} (a, c; z)}{ϕ^{'} (a, c; z)}] > 0, z \in U,

hence

ϕ (a, c; z)

is convex in U. □

Remark 5.

This result was obtained by Miller and Mocanu ([5], Theorem 2), for

a \neq 0

and c real numbers satisfying

c > N (a)

, where

N (a) = \{\begin{matrix} | a | + 1 / 2 & i f & | a | \geq 1 / 3 \\ 3 a^{2} / 2 + 2 / 3 & i f & | a | \leq 1 / 3 . \end{matrix}

Theorem 3.

a, c \in C

c \neq 0, - 1, - 2, \dots

and

ϕ (a, c; z)

is the hypergeometric function given by (1), then

z ϕ (a, c; z)

is starlike in U.

Proof.

It is easily seen that

(a - 1) z ϕ (a, c; z) = (c - 1) z ϕ^{'} (a - 1, c - 1; z) f o r a \neq 1 .

(26)

From (26), we have

\frac{c - 1}{a - 1} z \cdot ϕ^{'} (a - 1, c - 1; z) = z \cdot ϕ (a, c; z), a \neq 1 .

(27)

Let

g (z) = \frac{c - 1}{a - 1} z \cdot ϕ (a - 1, c - 1; z), z \in U, a \neq 1 .

(28)

Differentiating (28) and after short calculation we obtain

\frac{z q^{'} (z)}{g (z)} = 1 + \frac{z ϕ^{″} (a - 1, c - 1; z)}{ϕ^{'} (a - 1, c - 1; z)} . z \in U, a \neq 1 .

Since

ϕ (a - 1, c - 1; z)

is convex in U, from Corollary 4 we have

Re \frac{z q^{'} (z)}{q (z)} = Re [1 + \frac{z ϕ^{″} (a - 1, c - 1; z)}{ϕ^{'} (a - 1, c - 1; z)}] > 0, z \in U, a \neq 1 .

(29)

From (29), we conclude

g (z) = z \cdot ϕ (a, c; z)

a \neq 1

is starlike in U.

For

a = 1

ϕ (1, c; z) = 1 + \frac{1}{c} \cdot \frac{z}{1!} + \frac{1 \cdot 2}{c (c + 1)} \cdot \frac{z^{2}}{2!} + \dots

and from Corollary 4, we have that

ϕ (1, c; z)

is convex. Hence

z \cdot ϕ (a, c; z)

is starlike for

a, c \in C

c \neq 0, - 1, - 2, \dots

□

Remark 6.

This result was obtained by Miller and Mocanu ([5], Corollary 2.1), for

c \geq 1 + N (a - 1)

, where

N (a) = \{\begin{matrix} | a | + 1 / 2 & i f & | a | \geq 1 / 3 \\ 3 a^{2} / 2 + 2 / 3 & i f & | a | \leq 1 / 3 . \end{matrix}

Example 1.

For

a = 1 - i

c = 1 + i

F (1 - i, 1 + i; z) = 1 + \frac{1 - i}{1 + i} z = 1 - i z .

The function

z F (1 - i, 1 + i; z) = z - i z^{2}

is starlike.

Let

g (z) = z F (1 - i, 1 + i; z) = z - i z^{2}

. We have

g^{'} (z) = 1 - 2 i z

. We evaluate

\begin{matrix} Re \frac{z g^{'} (z)}{g (z)} & = Re \frac{z (1 - 2 i z)}{z (1 - i z)} = Re \frac{1 - 2 i z}{1 - i z} = Re \frac{1 - i z - i z}{1 - i z} = Re (1 - \frac{i z}{1 - i z}) \\ = Re [1 - \frac{i (cos α + i sin α)}{1 - i (cos α + i sin α)}] = Re [1 - \frac{- sin α + i cos α}{1 + sin α - i cos α}] \\ = Re [1 + \frac{(sin α - i cos α) (1 + sin α + i cos α)}{{(1 + sin α)}^{2} + {cos}^{2} α}] \\ = Re [1 + \frac{sin α (1 + sin α) + {cos}^{2} α}{1 + 2 sin α + 1}] = 1 + \frac{sin α + 1}{2 (1 + sin α)} \\ = 1 + \frac{1}{2} = \frac{3}{2} > 0, z \in U . \end{matrix}

Hence,

z \cdot F (1 - i, 1 + i; z)

is starlike.

3. Discussion

Inspired by the research of Miller and Mocanu [5] on confluent (Kummer) hypergeometric function considering a and c real numbers, the present paper contains results obtained using a and c complex numbers. Subordination results are stated in three theorems and two corollaries indicating also the relation between present results and those previously obtained by Miller and Mocanu. Using Theorem 2 for special choices of the functions involved, two criteria are derived such that confluent (Kummer) hypergeometric function to be univalent. An example is also given to illustrate how the results presented in the theorems can be used and to help inspiring researchers in obtaining new, original and interesting results considering particular values for complex numbers a and c. The subordination results contained in the theorems and corollaries could give ideas for obtaining new outcomes from the study done considering particular functions.

Funding

This research received no external funding.

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]
Merkes, E.P.; Scott, W.T. Starlike hypergeometric functions. Proc. Am. Math. Soc. 1961, 12, 885–888. [Google Scholar] [CrossRef]
Kreyszig, E.; Todd, J. The radius of univalence of the error function. Numer. Math. 1959, 1, 78–89. [Google Scholar] [CrossRef]
Kreyszig, E.; Todd, J. On the radius of univalence of the function exp z² $\int_{0}^{z}$ exp(−t²)dt. Pac. J. Math. 1959, 9, 123–127. [Google Scholar] [CrossRef] [Green Version]
Miller, S.S.; Mocanu, P.T. Univalence of Gaussian and confluent hypergeometric Functions. Proc. Am. Math. Soc. 1990, 110, 333–342. [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] [Green Version]
Ponnusamy, S.; Vuorinen, M. Univalence and convexity properties for confluent hypergeometric functions. Complex Var. Theory Appl. 1998, 36, 73–97. [Google Scholar] [CrossRef]
Ponnusamy, S.; Rønning, F. Starlikeness properties for convolutions involving hypergeometric series. Ann. Univ. Mariae Curie-Sklodowska 1998, 52, 141–155. [Google Scholar]
Ponnusamy, S. Close-to-convexity properties of Gaussian hypergeometric functions. J. Comput. Appl. Math. 1998, 88, 327–337. [Google Scholar] [CrossRef] [Green Version]
Chaudhry, M.A.; Qadir, A.; Srivastava, H.M.; Paris, R.B. Extended hypergeometric and confluent hypergeometric functions. App. Math. Comput. 2004, 159, 589–602. [Google Scholar] [CrossRef]
Porwal, S.; Kumar, S. Confluent hypergeometric distribution and its applications on certain classes of univalent functions. Afrika Matematika 2017, 28, 1–8. [Google Scholar] [CrossRef]
Luo, X.-D.; Lin, W.-C. On the Nevanlinna characteristic of confluent hypergeometric functions. Complex Var. Elliptic Equ. 2020, 65, 200–214. [Google Scholar] [CrossRef]
Ghanim, F.; Al-Janaby, H.F. An analytical study on Mittag-Leffler-confluent hypergeometric functions with fractional integral operator. Math. Methods Appl. Sci. 2020. [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]
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] [Green Version]
Miller, S.S.; Mocanu, P.T. Differential subordinations and univalent functions. Mich. Math. J. 1981, 28, 157–172. [Google Scholar] [CrossRef]
Pommerenke, C. Univalent Functions; Vandenhoeck and Ruprecht: Göttingen, Germany, 1975. [Google Scholar]
Mocanu, P.T.; Bulboacă, T.; Sălăgean, Ş.G. Geometric Theory of Analytic Functions; Casa Cărţii de Ştiinţă: Cluj-Napoca, Romanian, 1999. [Google Scholar]

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 (http://creativecommons.org/licenses/by/4.0/).

Share and Cite

MDPI and ACS Style

Oros, G.I. New Conditions for Univalence of Confluent Hypergeometric Function. Symmetry 2021, 13, 82. https://doi.org/10.3390/sym13010082

AMA Style

Oros GI. New Conditions for Univalence of Confluent Hypergeometric Function. Symmetry. 2021; 13(1):82. https://doi.org/10.3390/sym13010082

Chicago/Turabian Style

Oros, Georgia Irina. 2021. "New Conditions for Univalence of Confluent Hypergeometric Function" Symmetry 13, no. 1: 82. https://doi.org/10.3390/sym13010082

APA Style

Oros, G. I. (2021). New Conditions for Univalence of Confluent Hypergeometric Function. Symmetry, 13(1), 82. https://doi.org/10.3390/sym13010082

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Menu

New Conditions for Univalence of Confluent Hypergeometric Function

Abstract

1. Introduction

2. Results

3. Discussion

Funding

Conflicts of Interest

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI