Next Article in Journal
Fast Implementation of Generalized Koebe’s Iterative Method
Previous Article in Journal
An Optical Flow- and Machine Learning-Based Fall Recognition Model for Stair Accessing Service Robots
Previous Article in Special Issue
Application on Fuzzy Third-Order Subordination and Superordination Connected with Lommel Function
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Study of Certain Geometric Properties and Hardy Spaces of the Normalized Miller-Ross Function

1
Department of Mathematics, Government College University Faisalabad, Faisalabad 38000, Pakistan
2
Department of Mathematics, College of Science, Northern Border University, Arar 91431, Saudi Arabia
3
Center for Scientific Research and Entrepreneurship, Northern Border University, Arar 73213, Saudi Arabia
4
Research Laboratory: Chemistry, Materials and Modeling (LR24ES02), Preparatory Institute for Engineering Studies of Kairouan, University of Kairouan, Kairouan 3100, Tunisia
5
Department of Mathematics, Preparatory Institute for Engineering Studies of Kairouan, University of Kairouan, Kairouan 3100, Tunisia
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(12), 1919; https://doi.org/10.3390/math13121919
Submission received: 24 April 2025 / Revised: 3 June 2025 / Accepted: 5 June 2025 / Published: 8 June 2025
(This article belongs to the Special Issue Current Topics in Geometric Function Theory, 2nd Edition)

Abstract

:
The main objective of this research is to investigate specific sufficiency criteria for the strongly starlikeness, strongly convexity, starlikeness, convexity and pre-starlikeness of the normalized Miller-Ross function. Furthermore, we establish sufficient conditions under which the normalized Miller-Ross function belongs to Hardy spaces and the class-bounded analytic functions. Some of the various results which are derived in this paper are presumably new and their significance is illustrated through several interesting examples.

1. Introduction

Special functions are extremely important due to their role in mathematical analysis, especially functional analysis, physics, and other scientific fields. Although there is no generalized version of these functions, there are several mathematical functions on the list that are recognized as special functions, such as elementary functions and, in particular, trigonometric functions. With the contributions of Klein, Gauss, Euler, Jacobi, Bessel, and a few more, the idea of special functions grew during the eighteenth and nineteenth centuries. While Bessel developed the Bessel function to solve differential equations arising in physics, Euler introduced the elliptic integral and the Gamma function. The contributions of mathematicians such as Legendre, Hermite, and Chebyshev in the 20th century contributed to the expansion of the theory of special functions.
Geometric Function Theory is a significant branch of complex analysis that focuses on the geometric behavior of analytic functions. It is based on the theory of univalent functions, which has given rise to many related fields. Special functions play a fundamental role in geometric function theory, with one of the most notable applications being their connection to the resolution of the famous Bieberbach conjecture by L. de Branges [1]. Recently, researchers have established several interesting results on the geometric properties of some classes of analytic functions. Moreover, it is worth mentioning that researchers in these fields are obtaining interesting results and achieving their application thanks to new methodologies and theoretical techniques. This line of research has been studied in various works, including the Mittag-Leffler functions [2,3,4], Wright functions [5], Fox–Wright functions [6], Dini functions [7,8], modified Bessel functions [9], Bessel functions [10,11,12], hypergeometric functions [13,14,15], and Miller-Ross function [16]. Moreover, motivated by the results of Eker and Ece [16], further results on the geometric behavior of the Miller-Ross function were obtained by Mehrez [17]. Our aim in this paper is to make a further contribution to the subject by showing some new geometric properties of the Miller-Ross function.
Now, we recall some basic definitions related to the context. Assume that the class of analytic functions in the open unit disk
D = { t C : | t | < 1 } ,
is denoted by H . We denote by A the class of analytic functions h ( t ) H , satisfying the normalization conditions h ( 0 ) = h ( 0 ) 1 = 0 such that
h ( t ) = t + y = 2 a y t y , t D .
A function h : E C C is said to be univalent in a domain E if it never takes the same value twice; that is, if f ( t 1 ) = f ( t 2 ) for t 1 , t 2 E implies that t 1 = t 2 . We denote the class of univalent functions in A by S . A function h A is known as a starlike function (with respect to the origin) in D if h is univalent in D and the domain h ( D ) is starlike with respect to the origin in C . Let us denote by S the class of starlike functions in the unit disk D . It is important to note that the characterization of such starlike functions in D is as follows [18]:
t h ( t ) h ( t ) > 0 for all t D .
For a given δ [ 0 , 1 ) , a function h ( t ) A ( D ) is said to be starlike of order δ , denoted by S ( δ ) , if the inequality
t h ( t ) f ( t ) > δ ,
holds true for all t D , (for more details, see [19]).
A function h ( t ) in A is said to be convex in D if h ( t ) is a univalent function in D with h ( D ) as a convex domain in C . We denote the class of convex functions by C , which can also be described as follows [18]:
h C 1 + t h ( t ) h ( t ) > 0 , for all t D .
Moreover, if
1 + t h ( t ) f ( t ) > δ , for all t D ,
where δ [ 0 , 1 ) , then h is called convex of order α . We denote the class of convex functions of order δ by C ( δ ) . We remark that for all η [ 0 , 1 ) , we have
S ( δ ) S ( 0 ) = S and C ( δ ) C ( 0 ) = C .
Let S ˜ ( δ ) and C ˜ ( δ ) denote the classes of strongly starlike and strongly convex functions of order δ , respectively. These classes are analytically defined as follows:
  • A function h S ˜ ( δ ) , δ ( 0 , 1 ] , if and only if
    arg t h ( t ) h ( t ) < δ π 2 .
  • A function h C ˜ ( δ ) , δ ( 0 , 1 ] , if and only if
    arg 1 + t h ( t ) h ( t ) < δ π 2 .
It is worth mentioning that
S ˜ ( 1 ) = S and C ˜ ( 1 ) = C .
Additionally, for a given 0 δ < 1 , we introduce the following classes of analytic functions described as follows [18,20]:
P ( δ ) : = p H ( D ) , p ( 0 ) = 1 and ( p ( t ) ) > δ , R ( δ ) : = h A ( D ) and ( h ( t ) ) > δ .
Additionally, we have the classes P and R for δ = 0 .
Assume that f ( t ) and g ( t ) are analytic in D . Then, f ( t ) is subordinate to g ( t ) in D , denoted by f ( t ) g ( t ) (or f g ), if there exists a Schwarz function w ( t ) , which is analytic in D satisfying the conditions w ( 0 ) = 0 and | w ( t ) | < 1 for any t D , such that
f ( t ) = g ( w ( t ) ) , for all t D .
The convolution f g , or the Hadamard product of two power series
f ( t ) = t + k = 1 a k t k + 1 ,
and
g ( t ) = t + k = 1 b k t k + 1 ,
is defined as the power series [18]
f g ( t ) = t + k = 1 a k b j t k + 1 .
In [21], Ruscheweyh introduced another class of analytic functions, denoted by L ρ ( 0 ρ < 1 ) , known as pre-starlike functions, defined as follows:
L ρ : = g A : h ρ g S ( ρ ) ,
where the function h ρ ( t ) is defined by
h ρ ( t ) = t ( 1 t ) 2 ( 1 ρ ) , ( t D ) .
The class of pre-starlike functions was extended in [22] by generalizing the class L ρ to L [ ρ , δ ] , defined as follows:
L [ ρ , δ ] : = g A : h ρ g S ( δ ) ,
where ρ , δ [ 0 , 1 ) .
Let H denote the space of all bounded functions in D . We suppose that h H and set
M q ( r , h ) = 1 2 π 0 2 π h ( r e i ϕ ) q d ϕ 1 q , 0 < q < , max h ( t ) : t r , ( q = ) .
It is well-known from [23] that h D belongs to the Hardy space H q , where 0 < q , if the set M κ ( r ; h ) | r [ 0 , 1 ) is bounded. Moreover, we note that for 0 < ν μ we have
H H μ H ν .
Now, consider the Miller-Ross function, which is defined by [24]
E s , u ( t ) = t s y = 0 ( u t ) y Γ ( s + y + 1 ) , ( s > 1 , u , t C ) .
To investigate the geometric properties of the Miller-Ross function, we consider the following normalized form [16,17]:
E s , u ( t ) = t 1 s Γ ( s + 1 ) E s , u ( t ) = t + y = 2 Γ ( s + 1 ) Γ ( s + y ) u y 1 t y , ( t D ) .
In this paper, we consider the normalized form of the Miller-Ross function defined by (3). We present some new geometric properties for this class for a specific range of parameters.
The upcoming sections of the present paper are organized as follows: in Section 2, we recall some known lemmas that will be useful for establishing the mains results. In Section 3, some specific ranges of parameters are derived so that the normalized form of the Miller-Ross function E s , u ( t ) possesses certain geometric properties such as strongly starlikeness and strongly convexity as well as starlikeness, convexity and pre-starlikeness in the unit disk. In Section 4, as an application, we determine sufficient conditions on the parameters for which this function belongs to the Hardy spaces H r and H . Moreover, some sufficient conditions are established so that some classes of functions related to the Miller-Ross function belong to the spaces P ( δ ) and R ( β ) .

2. Relevant Lemmas

In this section, we include several lemmas, each of which will be used to prove the main results.
Lemma 1 
([25]). Let h , g H such that h ( 0 ) = g ( 0 ) = 1 . Assume that h is univalent and convex in D , and that g h in D . Then
( y + 1 ) t 1 y 0 t ν y g ( ν ) d ν ( y + 1 ) t 1 y 0 t ν y h ( ν ) d ν , y N 0 .
Lemma 2 
([26]). Let δ [ 0 , 1 ) . A sufficient condition for the function h ( t ) defined by (1) to be in S ( δ ) and C ( δ ) , respectively, is that
y = 2 y δ a y 1 δ , y = 2 y y δ a y 1 δ ,
respectively.
Lemma 3 
([27]). The digamma function ψ ( u ) = Γ ( u ) Γ ( u ) satisfies the inequality
log ( u ) γ ψ ( u ) log ( u ) , u > 1 ,
where γ is the Euler–Mascheroni constant.
Lemma 4 
([28]). Let η , κ [ 0 , 1 ) . The following inclusion holds true:
P ( η ) P ( κ ) P ( υ ) ,
where υ = 1 2 ( 1 η ) ( 1 κ ) . In addition, the value of υ is the best possible.
Lemma 5 
([29]). For η , κ [ 0 , 1 ) and υ = 1 2 ( 1 η ) ( 1 κ ) , then the following inclusion holds true:
R ( η ) R ( κ ) R ( υ ) .
Lemma 6 
([29]). If a function h C ( δ ) ( 0 δ < 1 ) and is not of the form
n 1 + n 2 z ( 1 z e i ω ) 1 2 ν , ν 1 2 , n 1 + n 2 log ( 1 z e i ω ) , ν = 1 2 ,
for n 1 , n 2 C , and for ω R , then each of the following statements holds true:
(i).
If ν 1 2 , then h H .
(ii).
If ν [ 0 , 1 2 ) , then there exist δ = δ ( h ) > 0 such that h H δ + 1 1 2 ν .

3. Starlikeness and Convexity of the Normalized Form of the Miller-Ross Function

Our first main result in this section reads as follows.
Theorem 1.
Let 0 < u < s . If
k : = 2 u s + 1 + u 2 ( 3 s 2 u ) s ( s u ) 2 ( 0 , 1 ] ,
then E s , u ( t ) S ˜ δ , where
δ : = 2 π sin 1 k 1 k 2 4 + k 2 1 k 2 .
Proof. 
For t D , we obtain
E s , u ( t ) 1 = y = 2 Γ ( s + 1 ) u y 1 y t y 1 Γ ( s + y ) < y = 2 y Γ ( s + 1 ) u y 1 Γ ( s + y ) = 2 u s + 1 + y = 3 y Γ ( s + 1 ) u y 1 Γ ( s + y ) .
Then, by combining (4) with the inequality ([30], Lemma 1.1)
Γ ( a + 1 ) Γ ( a + n ) 1 ( a + α ) n 1 , n 3 , α [ 0 , 2 ] ,
we establish that
E s , u ( t ) 1 2 u s + 1 + y = 3 y u y 1 ( s + α ) y 1 .
Moreover, by using the fact that
( s + α ) y 1 > s y 1 , y 3 , s , α > 0 ,
and since
y = 3 y y 1 = 2 ( 3 2 ) ( 1 ) 2 , 0 < < 1 ,
the inequality (6) implies
E s , u ( t ) 1 2 u s + 1 + y = 3 y u s y 1 = 2 u s + 1 + u 2 ( 3 s 2 u ) s ( s u ) 2 = k < 1 .
Hence, by using the above inequality, we get
E s , u ( t ) 1 + k t ,
and consequently, we infer
| arg ( E s , u ( t ) ) | < sin 1 ( k ) .
Now, we apply Lemma 1 for y = 0 with
g ( t ) = E s , u ( t ) and ν ( t ) = 1 + k t ,
and we establish that
E s , u ( t ) t 1 + k 2 t .
Hence, we get
arg E s , u ( t ) t < sin 1 k 2 .
From (7) and (8), it follows that
arg t E s , u ( t ) E s , u ( t ) = arg t E s , u ( t ) + arg ( E s , u ( t ) ) arg t E s , u ( t ) + | arg ( E s , u ( t ) ) | < sin 1 k 2 + sin 1 ( k ) = sin 1 k 1 k 2 4 + k 2 1 k 2 = π 2 · 2 π sin 1 k 1 k 2 4 + k 2 1 k 2 .
This completes the proof of Theorem 1. □
Example 1.
The function E 1 , 1 3 ( t ) belongs to the class S ˜ δ in D , where
δ = 2 π sin 1 11 455 + 23 288 0.9648 .
Theorem 2.
Let s > 0 and u ( 0 , 1 ) . If
k 1 : = 2 u ( 2 u ) ( s + 1 ) ( u 1 ) 2 ( 0 , 1 ] ,
then E s , u ( t ) C ˜ δ 1 , where
δ 1 : = 2 π sin 1 k 1 1 k 2 4 + k 1 2 1 k 1 2 .
Proof. 
Let t D . A straightforward computation yields
t E s , u ( t ) 1 y = 2 y 2 Γ ( s + 1 ) u y 1 Γ ( s + y ) .
We define the sequence ( u y ) y 2 by
u y = y Γ ( s + y ) , for all y 2 .
Therefore, for y 2 and s > 0 , we have
u y + 1 u y = 1 Γ ( s + y ) y + 1 y + s y 1 Γ ( s + y ) y + 1 y y = ( y 2 y 1 ) Γ ( s + y ) < 0 .
By this observation and with the help of (9), we obtain
t E s , u ( t ) 1 < y = 2 2 y u y 1 s + 1 = 2 u ( 2 u ) ( s + 1 ) ( u 1 ) 2 = k 1 < 1 .
Since k 1 ( 0 , 1 ] under the given hypothesis and in view of the above inequality, we establish that
t E s , u ( t ) 1 + k 1 t .
This in turn implies that
arg t E s , u ( t ) < sin 1 ( k 1 ) .
Now, we set y = 0 in Lemma 1 with
g ( t ) = t E s , u ( t ) and ν ( t ) = 1 + k 1 t .
We obtain
E s , u ( t ) 1 + k 1 2 t ,
which implies that
arg E s , u ( t ) < sin 1 k 1 2 .
By virtue of relations (12) and (13), we infer
arg t E s , u ( t ) E s , u ( t ) = arg t E s , u ( t ) arg E s , u ( t ) arg t E s , u ( t ) + arg E s , u ( t ) < sin 1 ( k 1 ) + sin 1 k 1 2 = sin 1 k 1 1 k 1 2 4 + k 1 2 1 k 1 2 = π 2 · 2 π sin 1 k 1 1 k 2 4 + k 1 2 1 k 1 2 .
Hence, the desired result would follow readily. □
Example 2.
The function E 1 2 , 1 5 ( t ) belongs to the class C ˜ δ 1 in D , where
δ 1 = 2 π sin 1 3 55 + 7 32 0.7921 .
Theorem 3.
Let δ [ 0 , 1 ) , s 1 such that 0 < u < s + 1 . If the inequality
us s u + 1 ( 1 δ ) s 2 u + 1 s u + 1 ,
holds, then E s , u S ( δ ) .
Proof. 
According to Lemma 2, we need only to prove that
E ( s , u , δ ) : = y = 2 ( y δ ) b y 1 δ ,
where
b y : = y u y 1 Γ ( s + 1 ) Γ ( s + y ) , y 2 .
According to the estimate ([31], Lemma 7)
y Γ ( s + 1 ) Γ ( s + y ) 1 ( s + 1 ) y 2 , s 1 , y 2 ,
we get
E ( s , u , δ ) = y = 2 ( y 1 ) u y 1 Γ ( s + 1 ) Γ ( s + y ) + ( 1 δ ) y = 2 u y 1 Γ ( s + 1 ) Γ ( s + y ) = y = 2 u y 1 y Γ ( s + 1 ) Γ ( s + y ) y = 2 u y 1 Γ ( s + 1 ) Γ ( s + y ) + ( 1 δ ) y = 2 u y 1 Γ ( s + 1 ) Γ ( s + y ) y = 2 u y 1 ( s + 1 ) y 2 y = 2 u y 1 ( s + 1 ) y 1 + ( 1 δ ) y = 2 u y 1 ( s + 1 ) y 1 = u y = 2 u s + 1 y 2 y = 2 u s + 1 y 1 + ( 1 δ ) y = 2 u s + 1 y 1 = us s u + 1 + ( 1 δ ) u s u + 1 .
This sum is bounded above by 1 δ if and only if (14) holds. Thus, the proof is complete. □
Example 3.
The function E 1 , 2 / 3 ( t ) belongs to the class S . See Figure 1.
Theorem 4.
Let δ [ 0 , 1 ) , s 1 such that 0 < u < s + 1 . If the inequality
u 2 ( s + 1 ) ( s u + 1 ) 2 + u ( s + 1 ) s u + 1 ( 1 δ ) s 2 u u s + 1 s u + 1 ,
holds, then E s , u C ( δ ) .
Proof. 
In view of Lemma 2, we need only show that
F ( s , u , δ ) : = y = 2 y ( y δ ) u y 1 Γ ( s + 1 ) Γ ( s + y ) 1 δ .
Again, by virtue of (15), we have
F ( s , u , δ ) = y = 2 u y 1 y 2 Γ ( s + 1 ) Γ ( s + y ) δ y = 2 u y 1 y Γ ( s + 1 ) Γ ( s + y ) y = 2 y u y 1 ( s + 1 ) y 2 δ y = 2 u y 1 ( s + 1 ) y 2 = u y = 2 y u s + 1 y 2 u δ y = 2 u s + 1 y 2 = u 2 ( s + 1 ) ( s u + 1 ) 2 + u ( s + 1 ) ( 2 δ ) s u + 1 .
Then, the above inequality is bounded by 1 δ if the inequality (16) holds. This completes the proof of Theorem 4. □
Example 4.
The function E 1 , 1 5 ( t ) belongs to the class C in D . See Figure 2.
At the end of this section, we present sufficient conditions imposed on the parameters for which the function E s , u ( t ) defined by (3) belongs to the class L [ ρ , δ ] .
Theorem 5.
Assume that u > 0 , s 0 , ρ [ 0 , 1 / 2 ) and δ [ 0 , 1 ) . If the conditions
(i).
e 1 + 3 γ 3 < 3 ( s + 2 ) 3 2 ρ ,
(ii).
3 u Γ ( s + 1 ) Γ ( 3 2 ρ ) < ( 1 δ ) [ ( 1 u ) Γ ( s + 2 ) Γ ( 2 2 ρ ) u Γ ( 3 2 ρ ) Γ ( s + 1 ) ] hold, then the function E s , u ( t ) belongs to the class L [ ρ , δ ] in D .
Proof. 
In order to establish the required result, it suffices to prove that
( h ρ E s , u ) ( t ) = : g ( t ) S ( δ ) , for all t D ,
where the function h ρ ( t ) is defined by (2). By using the fact that
h ρ ( t ) = t + y = 2 Γ ( y + 1 2 ρ ) Γ ( y ) Γ ( 2 2 ρ ) t y , ( t D ) ,
and (3), we establish that
g ( t ) = ( h ρ E s , u ) ( t ) = t + y = 2 u y 1 Γ ( s + 1 ) Γ ( y + 1 2 ρ ) Γ ( y ) Γ ( 2 2 ρ ) Γ ( s + y ) t y .
Straightforward computations show that
g ( t ) g ( t ) t y = 2 ( y + 1 ) u y 1 Γ ( s + 1 ) Γ ( y + 1 2 ρ ) Γ ( y ) Γ ( 2 2 ρ ) Γ ( s + y ) = Γ ( s + 1 ) Γ ( 2 2 ρ ) y = 2 τ y ( s , ρ ) u y 1 ,
where
τ y = τ y ( s , ρ ) = ( y + 1 ) Γ ( y + 1 2 ρ ) Γ ( s + y ) Γ ( y ) , y 2 .
Now, we consider the function T 1 : [ 2 , ) R defined by
T 1 ( r ) = ( r + 1 ) Γ ( r + 1 2 ρ ) Γ ( s + r ) Γ ( r ) , r [ 2 , ) .
Logarithmic differentiation yields
T 1 ( r ) = T 1 ( r ) T 2 ( r ) ,
where T 2 ( r ) is given by
T 2 ( r ) = 1 r + 1 + ψ ( r + 1 2 ρ ) ψ ( r + 1 ) ψ ( s + r ) , r [ 2 , ) .
From Lemma 3, we obtain
T 2 ( r ) 1 r + 1 + log ( r + 1 2 ρ ) log ( r + 1 ) log ( s + r ) + γ ( 1 ) = T 3 ( r ) , r [ 2 , ) .
This leads to
T 3 ( r ) = 1 ( r + 1 ) 2 + 1 r + 1 2 ρ 1 r + 1 1 s + r < 0 , r [ 2 , ) .
Since T 3 ( r ) < 0 and T 1 ( r ) is a decreasing function on [ 2 , ) under the given hypothesis (i), T 1 ( r ) < 0 for r [ 2 , ) . This in turn implies that { τ y } y 2 is a decreasing sequence. From Equation (18), for t D , it follows that
g ( t ) g ( t ) t < Γ ( s + 1 ) Γ ( 2 2 ρ ) y = 2 τ 2 ( s , ρ ) u y 1 = Γ ( s + 1 ) Γ ( 2 2 ρ ) τ 2 ( s , ρ ) y = 2 u y 1 = u Γ ( s + 1 ) τ 2 ( s , ρ ) ( 1 u ) Γ ( 2 2 ρ ) .
Moreover, for t D , we obtain
g ( t ) t 1 y = 2 u y 1 Γ ( s + 1 ) Γ ( y + 1 2 ρ ) Γ ( y ) Γ ( 2 2 ρ ) Γ ( s + y ) t y 1 = 1 y = 2 u y 1 Γ ( s + 1 ) Γ ( y + 1 2 ρ ) Γ ( y ) Γ ( 2 2 ρ ) Γ ( s + y ) = 1 Γ ( s + 1 ) Γ ( 2 2 ρ ) y = 2 q y ( s , ρ ) u y 1 ,
where the sequence ( q y ) y 2 is defined by
q y = q y ( s , ρ ) = Γ ( y + 1 2 ρ ) Γ ( s + y ) Γ ( y ) .
It is worth mentioning that
q y = τ n y + 1 , y 2 .
The above relation implies that the sequence { q y } y 2 is decreasing as the product of two positive, decreasing sequences. This fact, combining with (23), gives
g ( t ) t 1 Γ ( s + 1 ) Γ ( 2 2 ρ ) y = 2 q 2 ( s , ρ ) u y 1 = 1 Γ ( s + 1 ) q 2 ( s , ρ ) u ( 1 u ) Γ ( 2 2 ρ ) .
Combining (22) and (24), we have
t g ( t ) g ( t ) 1 < 3 u Γ ( s + 1 ) Γ ( 3 2 ρ ) ( 1 u ) Γ ( s + 2 ) Γ ( 2 2 ρ ) u Γ ( 3 2 ρ ) Γ ( s + 1 ) .
Finally, the condition (ii) and the above inequality helps us to establish the desired result. □

4. Hardy Space of the Normalized Form of the Miller-Ross Function

In the first main result in this section, we present some immediate applications of convexity and univalence involving the normalized form of the Miller-Ross function associated with the Hardy space of analytic functions.
Theorem 6.
Under the assumptions of Theorem 4, the following assertions hold true:
(i).
If δ [ 0 , 1 2 ) , then
E s , u H 1 1 2 δ .
(ii).
If δ 1 2 , then
E s , u H .
Proof. 
By using the definition of the Gauss hypergeometric function as
F 1 2 ( a , b , c ; t ) = y = 0 ( a ) y ( b ) y ( c ) y t y y ! ,
where ( a ) k stands for the Pochhammer symbol, we deduce that
m + 1 ( 1 t e i θ ) 1 2 δ = m + l t 2 F 1 ( 1 , 1 2 δ , 1 ; t e i θ ) = m + l ( 1 2 δ ) y y ! e i θ y t y + 1 ,
where θ is any real number and m , l C , δ 1 2 . In addition, we have
m + l log ( 1 t e i θ ) = m l t 2 F 1 ( 1 , 1 , t ; t e i θ ) = m l y = 0 1 y + 1 e i θ y t y + 1 .
Hence, we deduce that the function E s , u ( t ) cannot be expressed in the forms (25) for δ 1 2 and (26) for δ = 1 2 , respectively. But, the function E s , u ( t ) C ( δ ) , by means of Theorem 4. Then, the proof is completed by applying Lemma 6. □
Theorem 7.
Assume that δ [ 0 , 1 ) and 0 < u < s + 1 . Also, suppose that the inequality
u s u + 1 < 1 δ ,
holds, then E s , u ( t ) t P ( δ ) .
Proof. 
It is sufficient to show that | H ( t ) 1 | < 1 for all t D , where
H ( t ) = 1 1 δ E s , u ( t ) t δ .
Straightforward calculations would yield
h ( t ) 1 = 1 1 δ y = 2 u y 1 Γ ( s + 1 ) Γ ( s + y ) t y 1 < 1 1 δ y = 2 u y 1 Γ ( s + 1 ) Γ ( s + y ) .
Hence, by combining the above inequality with the relation
Γ ( a + 1 ) Γ ( a + n ) 1 ( a + 1 ) n 1 , n N 1 , a > 0 ,
we establish that
H ( t ) 1 1 1 δ y = 2 u s + 1 y 1 = 1 1 δ u s u + 1 < 1 ,
under the given conditions. Therefore, the proof is complete. □
Theorem 8.
Let 0 < u < s + 1 . If h R , then ( E s , u h ) ( t ) H R .
Proof. 
The assumption that h P follows from the fact that h R . We set
g ( t ) = E s , u ( t ) h ( t ) .
Using the definition of convolution, we obtain
g ( t ) = E s , u ( t ) t h ( t ) .
From Theorem 7, it follows that
E s , u ( t ) t P .
Thus, by applying Lemma 4, we get h P . Moreover, since R e { h ( t ) } > 0 in D , this implies that
h H q , q < 1 , h H q 1 q f o r 0 < q < 1 .
Consequently, for 0 < q < 1 , we have h H q 1 q , and h H q for 0 < q < 1 . Hence, h H . In addition, we observe that
g ( t ) t + y = 2 u y 1 Γ ( s + 1 ) Γ ( s + y ) a y t y
1 + y = 2 u y 1 Γ ( s + 1 ) Γ ( s + y ) a y .
Now, by using a result from MacGregor on the coefficients for the class R , a y 2 y , y 2 , and the inequality (28), we obtain
g ( t ) 1 + y = 2 2 u y 1 y ( s + 1 ) y 1 = 1 + y = 1 2 u y ( y + 1 ) ( s + 1 ) y < .
We observe that the series given above converges absolutely in t = 1 , under the given condition. On the other hand, by using the fact that [23], if g ( t ) H q , then the function g ( t ) is continuous in D ¯ . Finally, since D ¯ is a compact set, then the function g ( t ) is bounded. This completes the proof of the theorem. □
Theorem 9.
Suppose that the hypothesis of the above theorem is satisfied. Suppose that the function h ( t ) is of the form (1) and in the class R ( η ) for a fixed η [ 0 , 1 ) , then ( E s , u h ) ( t ) R ( β ) where β = 1 2 ( 1 δ ) ( 1 η ) .
Proof. 
Since h ( t ) R ( η ) , this implies that h P ( η ) . Now, we consider the function g defined by
g ( t ) = ( E s , u h ) ( t ) .
Therefore, we get
g ( t ) = E s , u ( t ) t h ( t ) .
From Theorem 7, it follows that E s , u t P ( δ ) . Moreover, by using Lemma 5, we deduce that g ( t ) P ( β ) , where β = 1 2 ( 1 δ ) ( 1 η ) . This in turn implies that g R ( β ) . □

5. Conclusions

In the present paper, we have derived some new geometric properties for the normalized form of the Miller-Ross function, including strongly starlikeness, strongly convexity, starlikeness, convexity, and pre-starlikeness inside the unit disk. Moreover, as an application, we have established sufficient conditions so that this function belongs to the Hardy spaces H p and H . Furthermore, we have determined some conditions for which the function E s , u ( t ) t belongs to the class P ( δ ) . We have also successfully determined conditions on the parameters for which a function h R ( η ) with 0 η < 1 implies that the convolution product E s , u h belongs to the spaces H and R ( β ) .

Author Contributions

Conceptualization, M.A., M.R., A.A. and K.M.; Methodology, M.A. and M.R.; Software, M.A. and A.A.; Validation, A.A.; Investigation, A.A.; Writing—original draft, M.R.; Writing—review & editing, K.M. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Acknowledgments

The authors extend their appreciation to the Scientific Research at Northern Border University, Arar, KSA for funding this research work through the project number ‘NBU-FPEJ-2025-970-01’.

Conflicts of Interest

The author declare no conflicts of interest.

References

  1. Ahlfors, L.V. Classical Analysis: Present and Future. In Proceedings of the Symposium. On the Occasion of the Solution of the Bieberbach Conjecture. Mathematical Surveys Monographs; Bernstein, A., II, Drasin, D., Duren, P.L., Marden, A., Eds.; American Mathematical Society: Providence, RI, USA, 1986; Volume 21, pp. 1–6. [Google Scholar]
  2. Bansal, D.; Prajapat, J.K. Certain geometric properties of the Mittag-Leffler functions. Complex Var. Elliptic Equ. 2016, 61, 338–350. [Google Scholar] [CrossRef]
  3. Mehrez, K.; Das, S. On geometric properties of the Mittag-Leffler and Wright function. J. Korean Math. Soc. 2021, 58, 949–965. [Google Scholar]
  4. Noreen, S.; Raza, M.; Din, M.U.; Hussain, S. On certain geometric properties of normalized Mittag-Leffler functions. Politehn. Univ. Buchar. Sci. Bull. Ser. A Appl. Math. Phys. 2019, 81, 167–174. [Google Scholar]
  5. Prajapat, J.K. Certain geometric properties of the Wright functions. Integral Transform. Spec. Funct. 2015, 26, 203–212. [Google Scholar] [CrossRef]
  6. Mehrez, K. Some geometric properties of a class of functions related to the Fox-Wright function. Banach J. Math. Anal. 2020, 14, 1222–1240. [Google Scholar] [CrossRef]
  7. Bansal, D.; Soni, M.K.; Soni, A. Certain geometric properties of the modified Dini function. Anal. Math. Phys. 2019, 9, 1383–1392. [Google Scholar] [CrossRef]
  8. Deniz, E.; Gören, S. Geometric properties of generalized Dini functions. Honam Math. J. 2019, 41, 101–116. [Google Scholar]
  9. Mehrez, K.; Das, S.; Kumar, A. Geometric properties of the products of modified Bessel functions of the First Kind. Bull. Malays. Math. Sci. Soc. 2021, 44, 2715–2733. [Google Scholar] [CrossRef]
  10. Baricz, Á. Generalized Bessel Functions of the First Kind; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany, 2010. [Google Scholar]
  11. Aktas, I. Certain geometric properties of a normalized hyper-Bessel function. Facta Univ. Ser. Math. Inform. 2020, 35, 179–186. [Google Scholar] [CrossRef]
  12. Aktas, I. On some geometric properties and Hardy class of q-Bessel functions. AIMS Math. 2020, 5, 3156–3168. [Google Scholar] [CrossRef]
  13. Miller, S.S.; Mocanu, P.T. Univalence of Gaussian and confluent hypergeometric functions. Proc. Amer. Math. Soc. 1990, 110, 333–342. [Google Scholar] [CrossRef]
  14. Ponnusamy, S.; Vuorinen, M. Univalence and convexity properties for Gaussian hypergeometric functions. Rocky Mt. J. Math. 2001, 31, 327–353. [Google Scholar] [CrossRef]
  15. Ruscheweyh, S.; Singh, V. On the order of starlikeness of hypergeometric functions. J. Math. Anal. Appl. 1986, 113, 1–11. [Google Scholar] [CrossRef]
  16. Eker, S.S.; Ece, S. Geometric properties of the Miller-Ross functions. Iran. J. Sci. Technol. Trans. A Sci. 2022, 64, 631–636. [Google Scholar] [CrossRef]
  17. Mehrez, K. The normalized Miller-Ross function and its geometric properties. Turk. J. Math. 2023, 47, 20. [Google Scholar] [CrossRef]
  18. Duren, P.L. Univalent Functions; Grundlehren der Mathematischen Wissenschaften; Springer: Berlin/Heidelberg, Germany; New York, NY, USA, 1983; Volume 259. [Google Scholar]
  19. Robertson, M.S. On the theory of univalent functions. Ann. Math. 1936, 37, 374–408. [Google Scholar] [CrossRef]
  20. MacGregor, T.H. Functions whose derivative has a positive real part. Trans. Am. Math. Soc. 1962, 104, 532–537. [Google Scholar] [CrossRef]
  21. Ruscheweyh, S. Convolutions in Geometric Function Theory; Séminaire de Mathématiques Supérieures; Presses de l’Université de Montréal: Montreal, QC, Canada, 1982; Volume 83. [Google Scholar]
  22. Sheil-Small, T.; Silverman, H.; Silvia, E. Convolution multipliers and starlike functions. J. Anal. Math. 1982, 41, 181–192. [Google Scholar] [CrossRef]
  23. Duren, P.L. Theory of Hp Space; Series of Monographs and Textbooks in Pure and Applied Mathematics; Academic Press: New York, NY, USA; London, UK, 1970; Volume 38. [Google Scholar]
  24. Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; John Wiley and Sons: Hoboken, NJ, USA; New York Press: New York, NY, USA, 1993. [Google Scholar]
  25. Hallenbeck, D.J.; Ruscheweyh, S. Subordination by convex functions. Proc. Amer. Math. Soc. 1975, 52, 191–195. [Google Scholar] [CrossRef]
  26. Silverman, H. Univalent functions with negative coefficients. Proc. Amer. Math. Soc. 1975, 51, 109–116. [Google Scholar] [CrossRef]
  27. Mehrez, K.; Das, S. Logarithmically completely monotonic functions related to the q-gamma function and its applications. Anal. Math. Phys. 2022, 12, 65. [Google Scholar] [CrossRef]
  28. Stankiewicz, J.; Stankiewicz, Z. Some applications of Hadamard convolutions in the theory of functions. Ann. Univ. Mariae Curie-Sklodowska Sect. A 1986, 40, 251–265. [Google Scholar]
  29. Ponnusamy, S. The Hardy space of hypergeometric functions. Complex Var. Elliptic Equ. 1996, 29, 83–96. [Google Scholar] [CrossRef]
  30. Bulboaca, T.; Zayed, H.M. Analytical and geometrical approach to the generalized Bessel function. J. Inequal. Appl. 2024, 2024, 51. [Google Scholar] [CrossRef]
  31. Srivastava, H.M.; Kumar, A.; Das, S.; Mehrez, K. Geometric Properties of a Certain Class of Mittag-Leffler-Type Functions. Fractal Fract. 2022, 6, 54. [Google Scholar] [CrossRef]
Figure 1. Image of the open unit disk under the function E 1 , 2 / 3 ( t ) .
Figure 1. Image of the open unit disk under the function E 1 , 2 / 3 ( t ) .
Mathematics 13 01919 g001
Figure 2. Image of the open unit disk under the function E 1 , 1 5 ( t ) .
Figure 2. Image of the open unit disk under the function E 1 , 1 5 ( t ) .
Mathematics 13 01919 g002
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Abubakr, M.; Raza, M.; Alenazi, A.; Mehrez, K. A Study of Certain Geometric Properties and Hardy Spaces of the Normalized Miller-Ross Function. Mathematics 2025, 13, 1919. https://doi.org/10.3390/math13121919

AMA Style

Abubakr M, Raza M, Alenazi A, Mehrez K. A Study of Certain Geometric Properties and Hardy Spaces of the Normalized Miller-Ross Function. Mathematics. 2025; 13(12):1919. https://doi.org/10.3390/math13121919

Chicago/Turabian Style

Abubakr, Muhammad, Mohsan Raza, Abdulaziz Alenazi, and Khaled Mehrez. 2025. "A Study of Certain Geometric Properties and Hardy Spaces of the Normalized Miller-Ross Function" Mathematics 13, no. 12: 1919. https://doi.org/10.3390/math13121919

APA Style

Abubakr, M., Raza, M., Alenazi, A., & Mehrez, K. (2025). A Study of Certain Geometric Properties and Hardy Spaces of the Normalized Miller-Ross Function. Mathematics, 13(12), 1919. https://doi.org/10.3390/math13121919

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