Next Article in Journal
A Malware Propagation Model Considering Conformity Psychology in Social Networks
Next Article in Special Issue
New Subclasses of Bi-Univalent Functions with Respect to the Symmetric Points Defined by Bernoulli Polynomials
Previous Article in Journal
Existence Results for an m-Point Mixed Fractional-Order Problem at Resonance on the Half-Line
Previous Article in Special Issue
Fekete-Szegö Inequalities for Some Certain Subclass of Analytic Functions Defined with Ruscheweyh Derivative Operator
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some Inequalities for Certain p-Valent Functions Connected with the Combination Binomial Series and Confluent Hypergeometric Function

1
Department of Mathematics, Faculty of Science, Damietta University, New Damietta 34517, Egypt
2
Department of Mathematics, College of Science and Arts, Al-Badaya, Qassim University, Buraidah 52222, Saudi Arabia
3
Department of Mathematics and Computer Science, University of Oradea, 1 University Street, 410087 Oradea, Romania
*
Author to whom correspondence should be addressed.
Axioms 2022, 11(11), 631; https://doi.org/10.3390/axioms11110631
Submission received: 13 September 2022 / Revised: 5 November 2022 / Accepted: 7 November 2022 / Published: 10 November 2022

Abstract

:
The present paper deals with a new differential operator denoted by F p , t δ , n , b , c , m , β , whose certain properties are deduced by using well-known earlier studies regarding differential inequalities and the Caratheodory function. The new introduced operator is defined by making use of a linear combination of the binomial series and confluent hypergeometric function. In addition, by using special values of the parameters, we establish certain results concretized in specific corollaries, which provide useful inequalities. Studying these properties by using various types of operators is a technique that is widely used.

1. Introduction, Definition, and Preliminaries

When L. de Branges employed hypergeometric functions in the proof of the famous Bieberbach conjecture [1], interest in the study of hypergeometric functions and their connection to the theory of univalent functions resurfaced. Recently, the Confluent (Kummer) hypergeometric function was studied from numerous angles. An analytical study on Mittag–Leffler confluent hypergeometric functions was made in [2] using a fractional integral operator. Conditions related to univalence of the Confluent (Kummer) hypergeometric function were established in [3] and its applications on certain classes of univalent functions are shown in [4]. These operators have been shown to be particularly beneficial in a wide range of applicability by modeling various phenomena and processes.
In order to develop the present study, the usual definitions are used.
Let A p denote the class of functions of the form:
F ζ = ζ p + k = p + 1 a k ζ k , ( p N = 1 , 2 , , ζ Δ ) ,
which are analytic and p -valent in the unit disc Δ = { ζ : ζ < 1 } and let the function Ω A p be given by:
Ω ( ζ ) : = ζ p + k = p + 1 ψ k ζ k , ζ Δ .
The Hadamard (or convolution) product of F and Ω is defined by:
( F Ω ) ( ζ ) : = ζ p + k = p + 1 a k ψ k ζ k , ζ Δ .
The confluent hypergeometric function of the first kind is given by the power series
F ( b ; c ; ζ ) = 1 + b c ζ + b b + 1 c c + 1 ζ 2 2 ! + = k = 0 b k c k 1 k ζ k , b C , c C \ 0 , 1 , 2 , ,
where b k is the Pochhammer symbol defined in terms of the Gamma function by
b k = Γ b + k Γ b = 1 , if k = 0 , b b + 1 b + k 1 , if k N = 1 , 2 , ,
which is convergent for all finite values of ζ (see [5]). It can be written otherwise as:
F ( b ; c ; m ) = k = 0 b k c k 1 k m k , b C , c C \ 0 , 1 , 2 , ,
which is convergent for b , c , m > 0 .
Very recently, Porwal and Kumar [4] (see also [6,7,8]) introduced the confluent hypergeometric distribution (CHD) whose probability mass function is
P ( k ) = b k c k k ! F ( b ; c ; m ) m k , b , c , m > 0 , k = 0 , 1 , 2 , .
We introduce a series I p ( b ; c ; m ; ζ p ) whose coefficients are probabilities of the confluent hypergeometric distribution
I p ( b ; c ; m ; ζ p ) = ζ p + k = p + 1 b k p m k p c k p k p ! F ( b ; c ; m ) ζ k , b , c , m > 0 ,
and defined a linear operator Q p b ; c ; m F : A p A p as follows
Q p b ; c ; m F ζ = I p ( b ; c ; m ; ζ p ) F ζ = ζ p + k = p + 1 b k p m k p c k p k p ! F ( b ; c ; m ) a k ζ k , b , c , m > 0 .
Making use of the binomial series,
1 δ t = i = 0 t t i 1 i δ i t N .
For F A p , we introduced the linear differential operator as follows:
D p , t δ , 0 , b , c , m F ζ = Q p b ; c ; m F ζ ,
D p , t δ , 1 , b , c , m F ζ = D p , t δ , b ; c ; m F ζ = 1 1 δ t Q p b ; c ; m F ζ + ζ p 1 δ t Q p b ; c ; m F ζ = ζ p + k = p + 1 1 + k p 1 c t ( δ ) b k p m k p c k p k p ! F ( b ; c ; m ) a k ζ k . . . D p , t δ , n , b , c , m F ζ = D p , t δ , b ; c ; m D p , t δ , n 1 , b , c , m F ζ = 1 1 δ t D p , t δ , n 1 , b , c , m F ζ + ζ p 1 δ t D p , t δ , n 1 , b , c , m F ζ = ζ p + k = p + 1 1 + k p 1 c t ( δ ) n b k p m k p c k p k p ! F ( b ; c ; m ) a k ζ k = ζ p + k = p + 1 ψ k a k ζ k , δ > 0 ; b , c , m > 0 ; t N ; n N 0 = N { 0 } ,
where
ψ k = 1 + k p 1 c t ( δ ) n b k p m k p c k p k p ! F ( b ; c ; m ) ,
and
c t ( δ ) = i = 1 t t i 1 i δ i t N .
From (4), we obtain that
c t ( δ ) ζ D p , t δ , n , b , c , m F ζ = p D p , t δ , n + 1 , b , c , m F ζ p 1 c t ( δ ) D p , t δ , n , b , c , m F ζ .
Definition 1.
We define a function F p , t δ , n , b , c , m , β as follows
F p , t δ , n , b , c , m , β ( ζ ) = ( 1 β ) D p , t δ , n , b , c , m F ζ + β D p , t δ , n + 1 , b , c , m F ζ ( F A p ; p , t N ; n N 0 ; δ > 0 ; b , c , m > 0 and β C ) .
Remark 1.
Putting n = 0 in Definition 1, we define a function E p b , c , m , β as follows
E p b , c , m , β ( ζ ) = ( 1 β ) Q p b ; c ; m F ζ + β ζ p Q p b ; c ; m F ζ ( F A p ; p N ; b , c , m > 0 and β C ) .

2. Main Results

Unless otherwise mentioned, we assume throughout this paper that:
p , t N ; n N 0 ; δ > 0 ; b , c , m > 0 and β C .
In order to prove our main results, we recall here the following lemma.
Lemma 1
([9,10]). Let Φ ( u , v ) be a complex valued function, Φ : D C , D C × C ( C is the complex plane) and let u = u 1 + i u 2 , v = v 1 + i v 2 . Suppose that Φ ( u , v ) satisfies the following conditions:
(i) 
Φ ( u , v ) is continuous in D ;
(ii) 
( 1 , 0 ) D and Φ ( 1 , 0 ) > 0 ;
(iii) 
Φ ( i u 2 , v 1 ) 0 for all ( i u 2 , v 1 ) D and such that v 1 ( 1 + u 2 2 ) 2 .
Let q ( ζ ) = 1 + q 1 ζ + q 2 ζ 2 + be regular in the unit disc Δ such that ( q ( ζ ) , ζ q ( ζ ) ) D for all ζ Δ . If
Φ ( q ( ζ ) , ζ q ( ζ ) ) > 0 ( ζ Δ ) ,
then
q ( ζ ) > 0 ( ζ Δ ) .
Applying Lemma 1, we derive the following theorem.
Theorem 2.
Let a function F p , t δ , n , b , c , m , β be defined by (8) and F A p . If
F p , t δ , n , b , c , m , β ( ζ ) ζ p > α ( 0 α < 1 ; ( β ) 0 ) ,
then
D p , t δ , n , b , c , m F ζ ζ p > 2 p α + c t ( δ ) ( β ) 2 p + c t ( δ ) ( β ) ( ζ Δ ) ,
where c t ( δ ) is given by (6).
Proof. 
Defining the function q ( ζ ) by
D p , t δ , n , b , c , m F ζ ζ p = γ + ( 1 γ ) q ( ζ )
with
γ = 2 p α + c t ( δ ) ( β ) 2 p + c t ( δ ) ( β ) ,
we see that q ( ζ ) = 1 + q 1 ζ + q 2 ζ 2 + is regular in the unit disc Δ . Then by using (7), we have
F p , t δ , n , b , c , m , β ( ζ ) ζ p = ( 1 β ) D p , t δ , n , b , c , m F ζ ζ p + β D p , t δ , n + 1 , b , c , m F ζ ζ p = γ + ( 1 γ ) q ( ζ ) + β c t ( δ ) p ( 1 γ ) ζ q ( ζ ) .
It follows from (10) and (11) that
F p , t δ , n , b , c , m , β ( ζ ) ζ p α = γ α + ( 1 γ ) q ( ζ ) + β c t ( δ ) p ( 1 γ ) ζ q ( ζ ) > 0 .
Let
Φ ( u , v ) = γ α + ( 1 γ ) u + β c t ( δ ) p ( 1 γ ) v
with q ( ζ ) = u = u 1 + i u 2 and ζ q ( ζ ) = v = v 1 + i v 2 . Then
(i)
Φ ( u , v ) is continuous in D = C 2 ;
(ii)
( 1 , 0 ) D and Φ ( 1 , 0 ) = 1 α > 0 ;
(iii)
for all ( i u 2 , v 1 ) D such that v 1 ( 1 + u 2 2 ) 2 ,
Φ ( i u 2 , v 1 ) = γ α + c t ( δ ) ( 1 γ ) v 1 p ( β ) γ α c t ( δ ) ( 1 γ ) ( 1 + u 2 2 ) 2 p ( β ) 0 .
Therefore, the function Φ ( u , v ) satisfies the conditions in Lemma 1. Thus, we have q ( ζ ) > 0 ( ζ Δ ) , that is,
D p , t δ , n , b , c , m F ζ ζ p > γ = 2 p α + c t ( δ ) ( β ) 2 p + c t ( δ ) ( β ) .
This completes the proof of Theorem 2. □
Putting n = 0 in Theorem 2, we obtain the following corollary:
Corollary 1.
Let a function E p b , c , m , β be defined by (9) and F A p . If
E p b , c , m , β ( ζ ) ζ p > α ( 0 α < 1 ; ( β ) 0 ) ,
then
Q p b ; c ; m F ζ ζ p > 2 p α + ( β ) 2 p + ( β ) ( ζ Δ ) .
Theorem 3.
Let a function F p , t δ , n , b , c , m , β be defined by (8) and F A p . If
F p , t δ , n , b , c , m , β ( ζ ) ζ p < α ( α > 1 ; ( β ) 0 ) ,
then
D p , t δ , n , b , c , m F ζ ζ p < 2 p α + c t ( δ ) ( β ) 2 p + c t ( δ ) ( β ) ( ζ Δ ) ,
where c t ( δ ) is given by (6).
Proof. 
Defining the function q ( ζ ) by
D p δ , n , b , c , m F ζ ζ p = γ + ( 1 γ ) q ( ζ )
with
γ = 2 p α + c t ( δ ) ( β ) 2 p + c t ( δ ) ( β ) > 1 .
Then we oserve that q ( ζ ) = 1 + q 1 ζ + q 2 ζ 2 + is regular in the unit disc Δ , and
α F p , t δ , n , b , c , m , β ( ζ ) ζ p = α γ ( 1 γ ) q ( ζ ) β c t ( δ ) p ( 1 γ ) ζ q ( ζ ) > 0 .
Let
Φ ( u , v ) = α γ ( 1 γ ) u β c t ( δ ) p ( 1 γ ) v ,
with q ( z ) = u = u 1 + i u 2 and ζ q ( ζ ) = v = v 1 + i v 2 . Then it follows from (15) that
(i)
Φ ( u , v ) is continuous in D = C 2 ;
(ii)
( 1 , 0 ) D and Φ ( 1 , 0 ) = α 1 > 0 ;
(iii)
for all ( i u 2 , v 1 ) D such that v 1 ( 1 + u 2 2 ) 2 ,
Φ ( i u 2 , v 1 ) = α γ c t ( δ ) v 1 ( 1 γ ) p ( β ) α γ + c t ( δ ) ( 1 γ ) ( 1 + u 2 2 ) 2 p ( β ) 0 .
Therefore, the function Φ ( u , v ) satisfies the conditions in Lemma 1. Thus, we have q ( ζ ) > 0 ( ζ Δ ) , that is,
D p , t δ , n , b , c , m F ζ ζ p < γ = 2 p α + c t ( δ ) ( β ) 2 p + c t ( δ ) ( β ) .
This completes the proof of Theorem 3. □
Putting n = 0 in Theorem 3, we obtain the following corollary:
Corollary 2.
Let a function E p b , c , m , β be defined by (9) and F A p . If
E p b , c , m , β ( ζ ) ζ p < α ( α > 1 ; ( β ) 0 ) ,
then
Q p b ; c ; m F ζ ζ p < 2 p α + ( β ) 2 p + ( β ) ( ζ Δ ) .
Theorem 4.
Let a function F p , t δ , n , b , c , m , β be defined by (8) and F A p . If
F p , t δ , n , b , c , m , β ( ζ ) p ζ p 1 > α ( 0 α < 1 ; ( β ) 0 ) ,
then
D p , t δ , n , b , c , m F ζ p ζ p 1 > 2 p α + c t ( δ ) ( β ) 2 p + c t ( δ ) ( β ) ( ζ Δ ) ,
where c t ( δ ) is given by (6).
Proof. 
Replace F ζ by ζ F ζ p in the proof of Theorem 2, we define the function q ( ζ ) by
D p , t δ , n , b , c , m ζ F ζ p ζ p = γ + ( 1 γ ) q ( ζ ) ,
is equivalent to
1 p D p , t δ , n , b , c , m F ζ ζ p 1 = γ + ( 1 γ ) q ( ζ ) ,
with
γ = 2 p α + c t ( δ ) ( β ) 2 p + c t ( δ ) ( β ) ,
we see that q ( ζ ) = 1 + q 1 ζ + q 2 ζ 2 + is regular in the unit disc Δ . Then by using (7) and replace F ζ by ζ F ζ p , we have
F p , t δ , n , b , c , m , β ( ζ ) p ζ p 1 = ( 1 β ) p D p , t δ , n , b , c , m F ζ ζ p 1 + β p D p , t δ , n + 1 , b , c , m F ζ ζ p 1 = γ + ( 1 γ ) q ( ζ ) + β c t ( δ ) p ( 1 γ ) ζ q ( ζ ) .
It follows from (17) and (18) that
F p , t δ , n , b , c , m , β ( ζ ) p ζ p 1 α = γ α + ( 1 γ ) q ( ζ ) + β c t ( δ ) p ( 1 γ ) ζ q ( ζ ) > 0 .
Let
Φ ( u , v ) = γ α + ( 1 γ ) u + β c t ( δ ) p ( 1 γ ) v
with q ( ζ ) = u = u 1 + i u 2 and ζ q ( ζ ) = v = v 1 + i v 2 . Then
(i)
Φ ( u , v ) is continuous in D = C 2 ;
(ii)
( 1 , 0 ) D and Φ ( 1 , 0 ) = 1 α > 0 ;
(iii)
for all ( i u 2 , v 1 ) D such that v 1 ( 1 + u 2 2 ) 2 ,
Φ ( i u 2 , v 1 ) = γ α + c t ( δ ) ( 1 γ ) v 1 p ( β ) γ α c t ( δ ) ( 1 γ ) ( 1 + u 2 2 ) 2 p ( β ) 0 .
Therefore, the function Φ ( u , v ) satisfies the conditions in Lemma 1. Thus, we have q ( ζ ) > 0 ( ζ Δ ) , that is,
1 p D p , t δ , n , b , c , m F ζ ζ p 1 > γ = 2 p α + c t ( δ ) ( β ) 2 p + c t ( δ ) ( β ) .
This completes the proof of Theorem 4. □
Putting n = 0 in Theorem 4, we obtain the following corollary:
Corollary 3.
Let a function E p b , c , m , β be defined by (9) and F A p . If
E p b , c , m , β ( ζ ) p ζ p 1 > α ( 0 α < 1 ; ( β ) 0 ) ,
then
Q p b ; c ; m F ζ p ζ p 1 > 2 p α + ( β ) 2 p + ( β ) ( ζ Δ ) .
Using the same technique as in the proof of Theorem 3 (or putting ζ F ζ p instead of F ζ in Theorem 3, respectively), we obtain the following result.
Theorem 5.
Let a function F p , t δ , n , b , c , m , β be defined by (8) and F A p . If
F p , t δ , n , b , c , m , β ( ζ ) p ζ p 1 < α ( α > 1 ; ( β ) 0 ) ,
then
D p , t δ , n , b , c , m F ζ p ζ p 1 < 2 p α + c t ( δ ) ( β ) 2 p + c t ( δ ) ( β ) ( ζ Δ ) ,
where c t ( δ ) is given by (6).
Proof. 
From (16) and (17), we have
α F p , t δ , n , b , c , m , β ( ζ ) p ζ p 1 = α γ ( 1 γ ) q ( ζ ) β c t ( δ ) p ( 1 γ ) ζ q ( ζ ) > 0 .
Let
Φ ( u , v ) = α γ ( 1 γ ) u β c t ( δ ) p ( 1 γ ) v ,
with q ( z ) = u = u 1 + i u 2 and ζ q ( ζ ) = v = v 1 + i v 2 . Then it follows from (21) that
(i)
Φ ( u , v ) is continuous in D = C 2 ;
(ii)
( 1 , 0 ) D and Φ ( 1 , 0 ) = α 1 > 0 ;
(iii)
for all ( i u 2 , v 1 ) D such that v 1 ( 1 + u 2 2 ) 2 ,
Φ ( i u 2 , v 1 ) = α γ c t ( δ ) v 1 ( 1 γ ) p ( β ) α γ + c t ( δ ) ( 1 γ ) ( 1 + u 2 2 ) 2 p ( β ) 0 .
Therefore, the function Φ ( u , v ) satisfies the conditions in Lemma 1. Thus, we have q ( ζ ) > 0 ( ζ Δ ) , that is,
F p , t δ , n , b , c , m , β ( ζ ) p ζ p 1 < γ = 2 p α + c t ( δ ) ( β ) 2 p + c t ( δ ) ( β ) .
This completes the proof of Theorem 5. □
Putting n = 0 in Theorem 5, we obtain the following corollary:
Corollary 4.
Let a function E p b , c , m , β be defined by (9) and F A p . If
E p b , c , m , β ( ζ ) p ζ p 1 < α ( α > 1 ; ( β ) 0 ) ,
then
Q p b ; c ; m F ζ p ζ p 1 < 2 p α + ( β ) 2 p + ( β ) ( ζ Δ ) .

3. Conclusions

In the present paper, we mainly obtain some properties of p -valent functions F p , t δ , n , b , c , m , β involving the combination binomial series and confluent hypergeometric function in the open unit disc. Several consequences of the results are also pointed out as corollaries. Many interesting outcomes of the study conducted using the theories of differential subordination and superordination are due to the use of operators. We intend to work further by generalizing these results using fractional operators.

Author Contributions

Conceptualization, S.M.E.-D.; Methodology, S.M.E.-D. and A.C.; Formal analysis, S.M.E.-D. and A.C.; Investigation, S.M.E.-D. and A.C.; Project administration, S.M.E.-D. and A.C.; Validation, S.M.E.-D. and A.C.; Writing—original draft, S.M.E.-D.; Writing—review & editing, S.M.E.-D. and A.C. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Branges, L.D. A proof of the Bieberbach conjecture. Acta Math. 1985, 154, 137–152. [Google Scholar] [CrossRef]
  2. Ghanim, F.; Al-Janaby, H.F. An analytical study on Mittag-Leffler confluent hypergeometric functions with fractional integral operator. Math. Methods Appl. Sci. 2020, 44, 3605–3614. [Google Scholar] [CrossRef]
  3. Oros, G.I. New Conditions for Univalence of Confluent Hypergeometric Function. Symmetry 2021, 13, 82. [Google Scholar] [CrossRef]
  4. Porwal, S.; Kumar, S. Confluent hypergeometric distribution and its applications on certain classes of univalent functions. Afr. Mat. 2017, 28, 1–8. [Google Scholar] [CrossRef]
  5. Rainville, E.D. Special Functions; The Macmillan Co.: New York, NY, USA, 1960. [Google Scholar]
  6. El-Deeb, S.M. On unified subclass of complex order connected with q-confluent hypergeometric distribution. Surv. Math. Appl. 2022, 16, 327–337. [Google Scholar]
  7. El-Deeb, S.M.; El-Matary, B.M. Subclasses of bi-univalent functions associated with q-confluent hypergeometric distribution based upon the Horadam polynomials. Adv. Theory Nonlinear Anal. 2021, 1, 82–93. [Google Scholar] [CrossRef]
  8. Porwal, S. Confluent hypergeometric distribution and its applications on certain classes of univalent functions of conic regions. Kyungpook Math. J. 2018, 58, 495–505. [Google Scholar]
  9. 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]
  10. Miller, S.S. Differential inequalities and Caratheodory function. Bull. Am. Math. Soc. 1975, 8, 79–81. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

El-Deeb, S.M.; Cătaş, A. Some Inequalities for Certain p-Valent Functions Connected with the Combination Binomial Series and Confluent Hypergeometric Function. Axioms 2022, 11, 631. https://doi.org/10.3390/axioms11110631

AMA Style

El-Deeb SM, Cătaş A. Some Inequalities for Certain p-Valent Functions Connected with the Combination Binomial Series and Confluent Hypergeometric Function. Axioms. 2022; 11(11):631. https://doi.org/10.3390/axioms11110631

Chicago/Turabian Style

El-Deeb, Sheza M., and Adriana Cătaş. 2022. "Some Inequalities for Certain p-Valent Functions Connected with the Combination Binomial Series and Confluent Hypergeometric Function" Axioms 11, no. 11: 631. https://doi.org/10.3390/axioms11110631

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

Article Metrics

Back to TopTop