Next Article in Journal
Optimum Fractional Tilt Based Cascaded Frequency Stabilization with MLC Algorithm for Multi-Microgrid Assimilating Electric Vehicles
Next Article in Special Issue
Rational Approximations for the Oscillatory Two-Parameter Mittag–Leffler Function
Previous Article in Journal
Positive Solutions for Dirichlet BVP of PDE Involving \({\varphi_{p}}\)-Laplacian
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Properties of a Class of Analytic Functions Influenced by Multiplicative Calculus

by
Kadhavoor R. Karthikeyan
1,* and
Gangadharan Murugusundaramoorthy
2
1
Department of Applied Mathematics and Science, National University of Science & Technology, Muscat P.O. Box 620, Oman
2
Department of Mathematics, School of Advanced Sciences, Vellore Institute of Technology, Vellore 632014, Tamilnadu, India
*
Author to whom correspondence should be addressed.
Fractal Fract. 2024, 8(3), 131; https://doi.org/10.3390/fractalfract8030131
Submission received: 20 January 2024 / Revised: 19 February 2024 / Accepted: 21 February 2024 / Published: 23 February 2024
(This article belongs to the Special Issue Mittag-Leffler Function: Generalizations and Applications)

Abstract

:
Motivated by the notion of multiplicative calculus, more precisely multiplicative derivatives, we used the concept of subordination to create a new class of starlike functions. Because we attempted to operate within the existing framework of the design of analytic functions, a number of restrictions, which are in fact strong constraints, have been placed. We redefined our new class of functions using the three-parameter Mittag–Leffler function (Srivastava–Tomovski generalization of the Mittag–Leffler function), in order to increase the study’s adaptability. Coefficient estimates and their Fekete-Szegő inequalities are our main results. We have included a couple of examples to show the closure and inclusion properties of our defined class. Further, interesting bounds of logarithmic coefficients and their corresponding Fekete–Szegő functionals have also been obtained.

1. Introduction

Throughout this paper, we let C and N to denote the respective sets of complex numbers and natural numbers. Furthermore, ( x ) n will be used to denote the usual Pochhammer symbol and U = ξ C ; ξ < 1 , a unit disc. Denote by A , the class of analytic function,
A = { ξ U ; φ ( ξ ) = ξ + a 2 ξ 2 + a 3 ξ 3 + }
where a n C , n 2 . We represent by S , the class of functions in A which are univalent in U .
Let P signify the category of functions that are analytic in U with p ( 0 ) = 1 and R e p ( ξ ) > 0 for all ξ in U .
An analytic function φ is subordinate to an analytic function ψ , written φ ( ξ ) ψ ( ξ ) (≺ denotes the subordination), provided that there is an analytic function ϖ defined on U with ϖ ( 0 ) = 0 and | ϖ ( ξ ) | < 1 sustaining φ ( ξ ) = ψ ( ϖ ( ξ ) ) . Starlike and convex functions, the well-known geometrically defined subclasses of S , have the following respective analytic characterizations
Re ξ φ ( ξ ) φ ( ξ ) > 0 and Re 1 + ξ φ ( ξ ) φ ( ξ ) > 0
and are denoted by S * and C , respectively. Different subclasses of S * and C can be obtained by replacing the respective conditions in (1) with the following subordination condition
ξ φ ( ξ ) φ ( ξ ) ψ ( ξ )
and
1 + ξ φ ( ξ ) φ ( ξ ) ψ ( ξ )
where ψ ( ξ ) P . By choosing ψ to map the unit disc on to some specific regions like parabolas, cardioid, lemniscate of Bernoulli, and booth lemniscate in the right-half of the complex plane, various interesting subclasses of starlike and convex functions can be obtained. Here, we will list only a few of those studies, which are well known among the researchers in this field.
  • Cho et al. [1] and Mendiratta et al. [2] studied various geometric properties of starlike functions by replacing ψ ( ξ ) in (2) with ψ ( ξ ) = 1 + sin ξ and ψ ( ξ ) = e ξ , respectively.
  • Fixing ψ ( ξ ) = 1 + 4 3 ξ + 2 3 ξ 2 in (2), Sharma et al. [3] studied a class of starlike function associated with petal-shaped domain, whereas Wani and Swaminathan [4] fixed ψ ( ξ ) = 1 + ξ 1 3 ξ 3 , which maps U onto the interior of the 2-cusped kidney-shaped region and discussed application to the general coefficient problem for some subclasses of S .
  • Fixing ψ ( ξ ) = 1 + ξ in (2), Raina and Sokól [5] introduced a class of starlike functions which are bounded by the lemniscate of Bernoulli in the right-half plane.
For detailed study of various subclasses of S involving a conic region, refer to [6,7,8,9,10,11,12,13,14,15,16,17].
The Mittag–Leffler function is a special transcendental function that has gained attention due to its application in time-fractional differential equations and boundary value problems. We will not go into applications or their mathematical properties here. We referred the survey-cum-expository papers of Srivastava [18,19,20,21] for this study and found that they supplied enough material to analyze this duality theory. However, see Srivastava et al. [22,23,24,25,26] for thorough study on the Mittag–Leffler function. Srivastava et al. [24] introduced the following multi-index Mittag–Leffler functions as a kernel of specific fractional-calculus operators and as given below:
E ( α j , β j ) m γ , k , δ , ϵ ( ξ ) = n = 0 ( γ ) k n ( δ ) ϵ n j = 1 m Γ α j n + β j ξ n n ! ,
α j , β j , γ , k , δ , ϵ C ; Re ( α j ) > 0 , ( j = 1 , , m ) ; Re j = 1 m α j > Re ( k + ϵ ) 1 .
A special case of the multi-index Mittag–Leffler function defined by (4), when m = 2 corresponding to the Srivastava–Tomovski generalization of the Mittag–Leffler function [25], is given by
E α , β γ , k ( ξ ) = n = 0 ( γ ) n k ξ n Γ α n + β n ! , ξ , α , β , γ , k C , R e ( α ) > 0 , R e ( k ) > 0 .
Note that by fixing the parameters the Mittag–Leffler function E α , β γ , k ( ξ ) , this includes various well-known elementary functions and some special functions. For example,
E 1 , 2 1 , 1 ( ξ ) = e ξ 1 ξ , E 3 , 1 1 , 1 ( ξ ) = 1 2 e ξ 1 / 3 + 2 e 1 2 ξ 1 / 3 cos 3 2 ξ 1 / 3 .
E 1 2 , 1 1 , 1 ( ξ ) = e ξ 2 e r f c ( ξ ) , E 1 2 , 1 1 , 1 ( ± ξ 1 / 2 ) = e ξ 1 + e r f ( ± ξ 1 / 2 )
where error function e r f ( ξ ) and the complementary error function e r f c ( ξ ) are defined by the formula
e r f c ( ξ ) = 1 e r f ( ξ ) = 1 2 π 0 ξ e t 2 d t .
The Mittag–Leffler function has been extensively used in areas such as fluid flow, electric networks, stochastic processes, and statistical distribution theory. Notably, it is used in almost all fractional dynamical systems. Using (5), Cang and Liu [27] defined an operator, which, explicitly for p = 1 , is given by
H α , β γ , k φ ( ξ ) = ξ + n = 2 Γ ( γ + n k ) Γ ( α + β ) Γ ( γ + k ) Γ ( α n + β ) n ! a n ξ n .
We will now provide a brief overview of multiplicative calculus, a type of non-Newtonian calculus. The importance of a calculus known as multiplicative calculus was highlighted by Bashirov, Kurpinar, and Özyapıin ([28] [pg. 37]) (also see [29,30,31]). Although it is not as versatile as classical calculus in terms of applications, it is nevertheless very interesting and a useful mathematical tool for economics and finance. For a positive real valued function φ : R R , the multiplicative derivative denoted by φ * ( x ) is defined as
φ * ( x ) = lim h 0 φ ( x + h ) φ ( x ) 1 h = e φ ( x ) φ ( x ) = e [ ln φ ( x ) ]
where φ ( x ) is the classical derivative. In a similar way, the n th ∗derivative of φ which is denoted by φ * ( n ) for n = 0 , 1 , , with φ * ( 0 ) = φ can be defined by φ * ( n ) = e [ ln φ ( x ) ] ( n ) , provided that the n th derivative of φ at x exists.
Assume that φ is a nowhere-vanishing differentiable complex-valued function on an open connected set D of the complex plane. Select a sufficiently small neighborhood Δ D of the point ξ D such that the branches of log φ on Δ exist in the form of the composition of the respective branches of U and the restriction of φ to U , and the log-differentiation formula is valid for log φ on Δ . The ∗-derivative of φ at ξ Δ by
φ * ( x ) = e φ ( ξ ) / φ ( ξ ) and φ * ( n ) ( x ) = e φ ( ξ ) / φ ( ξ ) ( n ) , n = 1 , 2 , .

2. Definitions, Preliminaries and Results

Motivated by the definition of ∗-derivative, we let R ( ψ ) to denote the class of functions satisfying the conditions
ξ F * ( ξ ) φ ( ξ ) ψ ( ξ ) ,
where F * ( ξ ) = e ξ 2 φ ( ξ ) φ ( ξ ) , and ψ P has a series expansion of the form
ψ ( ξ ) = 1 + M 1 ξ + M 2 ξ 2 + M 3 ξ 3 + , ( M 1 0 ; ξ U ) .
Remark 1.
Here, we will discuss the purpose and limitations of the class R ( ψ ) .
  • The multiplicative derivative is defined for φ ( ξ ) , which does not vanish in the chosen domain, but the general existing framework in A is that it vanishes at ξ = 0 . Hence, instead of using the multiplicative derivative directly, we have replaced φ ( ξ ) in the definition of a starlike function with F * ( ξ ) = e ξ 2 φ ( ξ ) φ ( ξ ) .
  • Alternatively, we could have defined R ( ψ ) as
    z e [ ln φ ( ξ ) ] e φ ( ξ ) ψ ( ξ ) .
    However, we choose to keep the differential characterization as in (7), since it had some good geometrical implications.
  • It is well-known that functions φ A satisfying the condition Re ξ φ ( ξ ) φ ( ξ ) > 0 are univalent in U . However, the functions in R ( ψ ) need not be univalent in U .
  • Since the multiplicative derivatives involves differential characterization in the exponent of an exponential, establishing the coefficient estimates (other than initial coefficients) of the class R ( ψ ) are computationally tedious. In fact, the sharp bounds of | a n | are unobtainable with the existing tools and techniques.
Example 1.
The class R ( ψ ) is non-empty. Let φ ( ξ ) = ξ ξ 2 5 , ξ < 1 . Clearly, φ ( ξ ) is univalent in U and Area φ ( U ) = π n = 1 n a n 2 = π 1 · | 1 | 2 + 2 · 1 / 5 2 = 27 π 25 . Now,
ξ 2 φ ( ξ ) φ ( ξ ) = ξ 5 2 ξ 5 ξ G ( ξ ) = ξ e ξ 2 φ ( ξ ) φ ( ξ ) φ ( ξ ) = 1 1 ξ 5 e ξ 5 2 ξ 5 ξ .
Wecan see that the function G ( ξ ) = 1 1 ξ 5 e ξ 5 2 ξ 5 ξ maps the unit disc onto a close to cardioid shaped region in the right-half plane (see Figure 1). Figure 1 shows the respective 3D view (Figure 1a) and 2D view (Figure 1b) of the mapping of unit disc under the mapping G ( ξ ) . Hence, φ ( ξ ) = ξ ξ 2 5 R ( ψ ) .
In the following example, we will show that functions which are starlike need not be in R ( ψ ) .
Example 2.
Let h ( ξ ) = 1 + ξ k k + ξ k ξ , k = 1 + 2 . The function is well known for mapping the unit disc onto a cardioid with cusp on the left-hand side. Further, the function is convex with respect to the point 1. Now,
ξ 2 h ( ξ ) h ( ξ ) = k 2 ξ 2 + 2 k ξ 3 ξ 4 k ξ ξ 2 + k 2 w h i c h i m p l i e s H ( ξ ) = z e ξ 2 φ ( ξ ) φ ( ξ ) φ ( ξ ) = ξ 1 + ξ k k + ξ k ξ e k 2 ξ 2 + 2 k ξ 3 ξ 4 k ξ ξ 2 + k 2 .
We can see that the function H ( ξ ) maps the unit disc onto a region as shown in Figure 2a. Figure 2a illustrates that h ( ξ ) does not belong to R ( ψ ) , even though h ( ξ ) ψ ( ξ ) , for ψ defined as in (8).
Remark 2.
Notice that R ( ψ ) is not a subclass nor a generalization of the class S . For example, the function φ ( ξ ) = ξ ξ 2 2 is in S but does not belong to R ( ψ ) (see Figure 2b).
Motivated by the definition of the operator (6), Breaz et al. [32] defined the following operator Ω k m ( α , β , γ ) φ ( ξ ) : A A by
Ω k , λ m ( α , β , γ ) φ ( ξ ) = ξ + n = 2 1 λ + λ n m Γ ( γ + n k ) Γ ( α + β ) Γ ( γ + k ) Γ ( α n + β ) n ! a n ξ n .
m N { 0 } ; 0 λ 1 ; ξ , α , β , γ , k C , R e ( α ) > 0 , R e ( k ) > 0 .
Remark 3.
Note that Ω 1 , λ 0 ( 0 , β , 1 ) φ ( ξ ) = φ ( ξ ) and Ω 1 , 1 1 ( 0 , β , 1 ) φ ( ξ ) = ξ φ ( ξ ) . The operator Ω k , λ m ( α , β , γ ) φ ( ξ ) includes many operators previously studied by various authors as its special cases. We list some of the special cases:
  • Ω 1 , λ m ( 0 , β , 1 ) φ ( ξ ) = D λ m φ ( ξ ) = ξ + n = 2 1 λ + λ n m a n ξ n . The operator D λ m φ ( ξ ) is the differential operator introduced and studied by Al-Oboudi [33].
  • Ω 1 , 1 m ( 0 , β , 1 ) φ ( ξ ) = D m φ ( ξ ) , the operator D m φ ( ξ ) is the well-known Sălăgean operator.
  • Obviously, fixing m = 0 and λ = 1 in (9), then Ω k , λ m ( α , β , γ ) φ ( ξ ) reduces to H α , β γ , k φ ( ξ ) an operator defined and studied by Cang and Liu [27].
For a latest study of differential operators involving the Mittag–Leffler function, refer to Yassen and Attiya [34].
Motivated by the definition of R ( ψ ) , we now introduce and study a new class of analytic functions which is defined as follows.
Definition 1.
Let R k , λ m ( α , β , γ ; ψ ) denote the class of functions satisfying the conditions
ξ Ω k , λ m ( α , β , γ ) F * ( ξ ) Ω k , λ m ( α , β , γ ) φ ( ξ ) ψ ( ξ ) ,
where Ω k , λ m ( α , β , γ ) F * ( ξ ) = e ξ 2 Ω k , λ m ( α , β , γ ) φ ( ξ ) Ω k , λ m ( α , β , γ ) φ ( ξ ) , ψ P , and ψ ( U ) is defined as in (8).
Remark 4.
Here, we list some special cases of R k , λ m ( α , β , γ ; ψ ) :
  • Letting m = α = 0 , k = γ = λ = 1 and ψ ( ξ ) = 1 + ξ 1 ξ in Definition 1, then the class R k , λ m ( α , β , γ ; ψ ) reduces to
    R = φ A ; Re ξ F * ( ξ ) φ ( ξ ) > 0 ,
    the class R is the multiplicative analogue of the well-known class of starlike functions.
  • Letting α = 0 and m = k = γ = λ = 1 in Definition 1, then the class R k , λ m ( α , β , γ ; ψ ) RC given by
    RC = φ A ; e ξ [ ξ φ ( ξ ) ] φ ( ξ ) φ ( ξ ) ψ ( ξ ) ,
    the class RC is a new class motivated by the relationship between starlike and convex function.
The R k , λ m ( α , β , γ ; ψ ) does not have any well-known classes that describe it as a special case. Nonetheless, we will attempt to determine its connection to certain analytic function subclasses that have already been studied by other authors.
This paper is structured as follows. In Section 3, we will obtain the coefficient bounds of a 2 , a 3 and solve the Fekete-Szegő problem for the defined function class R k , λ m ( α , β , γ ; ψ ) . Applications of our main results pertaining to vertical domain are presented as corollaries. Section 4 is devoted to discuss the existence of an inverse function in the class R k , λ m ( α , β , γ ; ψ ) and obtain its coefficient estimates. Finally, Section 5 has been devoted to present the bounds of logarithmic coefficients and their corresponding Fekete-Szegő functionals.
Now, we will state the following lemma, which we will use it to find the coefficient bounds.
Lemma 1
([35]). If d ( ξ ) = 1 + k = 1 d k ξ k P , and ρ is complex number, then
d 2 ρ d 1 2 2 max 1 ; | 2 v 1 | ,
and the result is sharp.

3. Initial Coefficients and Fekete-Szegő Inequality

We will begin the solution to the Fekete-Szegő problem for φ R k , λ m ( α , β , γ ; ψ ) .
Theorem 1.
If φ ( ξ ) R k , λ m ( α , β , γ ; ψ ) , then we have
a 2 2 Γ ( γ + k ) Γ ( 2 α + β ) 1 + λ m Γ ( γ + 2 k ) Γ ( α + β ) 1 + M 1
a 3 6 | M 1 | Γ ( γ + k ) Γ ( 3 α + β ) 1 + 2 λ m Γ ( γ + 3 k ) Γ ( α + β ) max 1 ; M 2 M 1 M 1 + 3 2 M 1 + 2
and for all ρ C
a 3 ρ a 2 2 6 M 1 Γ ( γ + k ) Γ ( 3 α + β ) 1 + 2 λ m Γ ( γ + 3 k ) Γ ( α + β ) max 1 ; M 2 M 1 M 1 1 K 1 + 2 1 K 1 + 1 2 M 1 3 2 K 1 ,
where K 1 is given by
K 1 = 2 ρ 1 + 2 λ m Γ ( γ + 3 k ) Γ ( γ + k ) Γ ( 2 α + β ) 2 3 1 + λ 2 m Γ ( γ + 2 k ) 2 Γ ( 3 α + β ) Γ ( α + β ) .
The inequality is sharp for each ρ C .
Proof. 
As φ R k , λ m ( α , β , γ ; ψ ) , by (10) we have
ξ Ω k , λ m ( α , β , γ ) F * ( ξ ) Ω k , λ m ( α , β , γ ) φ ( ξ ) = ψ w ( ξ ) .
Thus, let ϑ P be of the form ϑ ( ξ ) = 1 + k = 1 ϑ n ξ n and defined by
ϑ ( ξ ) = 1 + w ( ξ ) 1 w ( ξ ) , ξ U .
On computation, the right-hand side of (15)
ψ [ w ( ξ ) ] = 1 + ϑ 1 M 1 2 ξ + M 1 2 ϑ 2 ϑ 1 2 2 1 M 2 M 1 ξ 2 + .
The left-hand side of (15) will be of the form
ξ Ω k , λ m ( α , β , γ ) F * ( ξ ) Ω k , λ m ( α , β , γ ) φ ( ξ ) = 1 + 1 a 2 1 + λ m Γ ( γ + 2 k ) Γ ( α + β ) Γ ( γ + k ) Γ ( 2 α + β ) 2 ! ξ + 1 2 + 1 + λ m Γ ( γ + 2 k ) Γ ( α + β ) Γ ( γ + k ) Γ ( 2 α + β ) 2 ! 2 a 2 2 1 + 2 λ m Γ ( γ + 3 k ) Γ ( α + β ) Γ ( γ + k ) Γ ( 3 α + β ) 3 ! a 3 ξ 2 + .
From (17) and (16), we obtain
a 2 = 2 Γ ( γ + k ) Γ ( 2 α + β ) 1 + λ m Γ ( γ + 2 k ) Γ ( α + β ) ϑ 1 M 1 2 1
and
a 3 = 3 M 1 Γ ( γ + k ) Γ ( 3 α + β ) 1 + 2 λ m Γ ( γ + 3 k ) Γ ( α + β ) ϑ 2 ϑ 1 2 2 1 M 2 M 1 + M 1 + 2 ϑ 1 3 M 1 .
Equation (11) can be obtained by applying the well-known result of ϑ 1 2 in (18). Applying Lemma 1 together with inequality ϑ 1 2 in (12), we obtain (12).
Now, to prove the Fekete-Szegő inequality for the class R k , λ m ( α , β , γ ; ψ ) , we consider
a 3 ρ a 2 2 = | 3 M 1 Γ ( γ + k ) Γ ( 3 α + β ) 1 + 2 λ m Γ ( γ + 3 k ) Γ ( α + β ) ϑ 2 ϑ 1 2 2 1 M 2 M 1 + M 1 + 2 ϑ 1 3 M 1 + 4 ρ Γ ( γ + k ) Γ ( 2 α + β ) 2 1 + λ 2 m Γ ( γ + 2 k ) Γ ( α + β ) 2 ϑ 1 2 M 1 2 4 ϑ 1 M 1 + 1 |
= | 3 M 1 Γ ( γ + k ) Γ ( 3 α + β ) 1 + 2 λ m Γ ( γ + 3 k ) Γ ( α + β ) ϑ 2 ϑ 1 2 2 1 M 2 M 1 + M 1 2 M 1 ρ 1 + 2 λ m Γ ( γ + 3 k ) Γ ( γ + k ) Γ ( 2 α + β ) 2 3 1 + λ 2 m Γ ( γ + 2 k ) 2 Γ ( 3 α + β ) Γ ( α + β ) + 2 ϑ 1 1 4 ρ 1 + 2 λ m Γ ( γ + 3 k ) Γ ( γ + k ) Γ ( 2 α + β ) 2 3 1 + λ 2 m Γ ( γ + 2 k ) 2 Γ ( 3 α + β ) Γ ( α + β ) 1 M 1 3 4 ρ 1 + 2 λ m Γ ( γ + 3 k ) Γ ( γ + k ) Γ ( 2 α + β ) 2 3 1 + λ 2 m Γ ( γ + 2 k ) 2 Γ ( 3 α + β ) Γ ( α + β ) |
Using the triangle inequality and Lemma 1 in the above equality, we can obtain (13). □
Let m = α = 0 and k = γ = 1 in Theorem 1, we have the following.
Corollary 1.
Let φ R ( ψ ) (see (7)). Then,
a 2 1 + M 1
a 3 | M 1 | max 1 ; M 2 M 1 M 1 + 3 2 M 1 + 2
and for a complex number ρ,
a 3 ρ a 2 2 M 1 max 1 ; M 2 M 1 M 1 1 ρ + 2 1 ρ + 1 2 M 1 3 2 ρ .
Letting ψ ( ξ ) = ( 1 + ξ ) / ( 1 ξ ) in Corollary 1, we get the following.
Corollary 2.
Let φ A satisfy the condition
Re z e ξ 2 φ ( ξ ) φ ( ξ ) φ ( ξ ) > 0 .
Then,
a 2 3 , a 3 15 2
and for a complex number ρ,
a 3 ρ a 2 2 M 1 max 1 ; 2 ρ 1 + 2 1 ρ + 1 4 3 2 ρ .
Remark 5.
It is well-known that for φ ( ξ ) = ξ + n = 2 a n ξ n S * , then a n n for n 2 and the Fekete-Szegő for function in S * is known to be a 3 ρ a 2 2 max 1 , 3 4 ρ , and ρ is a complex number. In comparison with Corollary 2, we can conclude that the R 1 + ξ / 1 ξ is neither a subclass nor generalization of the class S * .
Letting ψ ( ξ ) = 1 + θ η π i log 1 e 2 π i ( 1 η ) / ( θ η ) ξ 1 ξ ( θ and η are real numbers such that 0 η < 1 < θ ) in Corollary 1, we get the following.
Corollary 3.
Let φ A satisfy the condition
η < Re z e ξ 2 φ ( ξ ) φ ( ξ ) φ ( ξ ) < θ .
Then,
a 2 1 + 2 ( θ η ) π sin π ( 1 η ) ( θ η )
a 3 2 ( θ η ) π sin π ( 1 η ) ( θ η ) max 1 ; cos π ( 1 η ) ( θ η ) 1 2 ( θ η ) π tan π ( 1 η ) ( θ η ) + 3 π 4 ( θ η ) csc π ( 1 η ) ( θ η ) + 2
and for a complex number ρ,
a 3 ρ a 2 2 2 ( θ η ) π sin π ( 1 η ) ( θ η ) max 1 ; cos π ( 1 η ) ( θ η ) 1 2 ( 1 ρ ) ( θ η ) π tan π ( 1 η ) ( θ η ) + 2 1 ρ + 3 2 ρ π 4 ( θ η ) csc π ( 1 η ) ( θ η ) .
Proof. 
We note that the function ψ ( z ) = 1 + θ η π i log 1 e 2 π i ( 1 η ) / ( θ η ) z 1 z maps the open unit disk U onto a convex domain and is of the form
T ( z ) = 1 + k = 1 M k z k , z U ,
where M k = θ η k π i 1 e 2 k π i ( 1 η ) / ( θ η ) , k 1 . We can obtain
M 1 = θ η π i 1 cos 2 π ( 1 η ) ( θ η ) i sin 2 π ( 1 η ) ( θ η ) = θ η π 2 2 cos 2 π ( 1 η ) ( θ η ) = 2 ( θ η ) π sin π ( 1 η ) ( θ η )
and
M 2 M 1 2 1 = π 2 i θ η 1 e 4 k π i ( 1 η ) / ( θ η ) 1 e 2 k π i ( 1 η ) / ( θ η ) 2 1 = π 2 θ η 1 i 1 + e 2 k π i ( 1 η ) / ( θ η ) 1 e 2 k π i ( 1 η ) / ( θ η ) 2 θ η π = π 2 θ η 1 i e k π i ( 1 η ) / ( θ η ) + e k π i ( 1 η ) / ( θ η ) e k π i ( 1 η ) / ( θ η ) e k π i ( 1 η ) / ( θ η ) 2 θ η π = π 2 θ η cot π ( 1 η ) ( θ η ) 1 2 θ η π tan π ( 1 η ) ( θ η )
Substituting the values of | M 1 | and (20) in Theorem 1, we obtain assertion of our corollary. □

4. Coefficient Estimates of φ 1 ( ξ )

We let S to denote the class of functions univalent in U . It is well known from Koebe 1 4 -quarter theorem that every function φ ( ξ ) = ξ + n = 2 a n ξ n in S has an inverse φ 1 , defined by φ 1 ( φ ( ξ ) ) = ξ , ξ U and φ ( φ 1 ( w ) ) = w , ( | w | < r ; r 1 / 4 ) , where
χ ( w ) = φ 1 ( w ) = w a 2 w 2 + ( 2 a 2 2 a 3 ) w 2 5 a 2 2 5 a 2 a 3 + a 4 w 4 + .
The functions in R k , λ m ( α , β , γ ; ψ ) need not be univalent, but since φ ( 0 ) = 1 0 for all φ R k , λ m ( α , β , γ ; ψ ) and φ ( 0 ) = 0 , there exists an inverse function in some small disk with a center at w = 0 . Next, the result is valid only for the functions in R k , λ m ( α , β , γ ; ψ ) which are univalent.
Theorem 2.
Let φ R k , λ m ( α , β , γ ; ψ ) and let φ 1 be the inverse of φ defined by
φ 1 ( w ) = w + k = 2 b k w k , ( | w | < r ; r 1 / 4 ) ,
then
b 2 2 Γ ( γ + k ) Γ ( 2 α + β ) 1 + λ m Γ ( γ + 2 k ) Γ ( α + β ) 1 + M 1
and
b 3 6 M 1 Γ ( γ + k ) Γ ( 3 α + β ) 1 + 2 λ m Γ ( γ + 3 k ) Γ ( α + β ) max 1 ; M 2 M 1 M 1 1 M + 2 1 M + 1 2 M 1 3 2 M ,
where M = K 1 with ρ = 2 , K 1 is defined as in (14). Furthermore, for all τ C
b 3 τ b 2 2 6 M 1 Γ ( γ + k ) Γ ( 3 α + β ) 1 + 2 λ m Γ ( γ + 3 k ) Γ ( α + β ) max 1 ; M 2 M 1 M 1 1 Π + 2 1 Π + 1 2 M 1 3 2 Π ,
where Π = K 1 with ρ = τ 2 . The inequality is sharp for each ρ C .
Proof. 
From φ ( ξ ) = ξ + n = 2 a n ξ n and (21), we have
b 2 = a 2 and b 3 = 2 a 2 2 a 3 .
The estimate for | b 2 | = | a 2 | follows immediately from (18). Letting ρ = 2 in (13), we obtain the estimate | b 3 | . To find the Fekete-Szegő inequality for the inverse function, consider
b 3 τ b 2 2 = 2 a 2 2 a 3 τ a 2 2 = a 3 ( τ 2 ) a 2 2 .
Changing ρ = ( τ 2 ) in (13), we obtain the desired result. □

5. Logarithmic Coefficients for Functions Belonging to R k , λ m ( α , β , γ ; ψ )

Inspired by recent works like [36,37,38], in this section we determine the coefficient bounds and Fekete-Szegő problem associated with the logarithmic function.
If the function φ is analytic in U , such that φ ( ξ ) ξ 0 for all ξ U , then the well-known logarithmic coefficients d n : = d n ( φ ) , n N , of φ are given by
log φ ( ξ ) ξ = 2 n = 1 d n ξ n , z U .
For a function φ ( ξ ) R k , λ m ( α , β , γ ; ψ ) , the left-hand side of the subordination of Definition 1 should be an analytic function in U , hence φ ( ξ ) ξ 0 for all ξ U . Therefore, for all functions φ ( ξ ) R k , λ m ( α , β , γ ; ψ ) , the relation (22) is well defined.
Theorem 3.
If φ ( ξ ) R k , λ m ( α , β , γ ; ψ ) , with the logarithmic coefficients given by (22), then
| d 1 | Γ ( γ + k ) Γ ( 2 α + β ) 1 + λ m Γ ( γ + 2 k ) Γ ( α + β ) 1 + M 1 , | d 2 | 6 M 1 Γ ( γ + k ) Γ ( 3 α + β ) 1 + 2 λ m Γ ( γ + 3 k ) Γ ( α + β ) max 1 ; M 2 M 1 M 1 1 K 2 + 2 1 K 2 + 1 2 M 1 3 2 K 2
with
K 2 = 1 + 2 λ m Γ ( γ + 3 k ) Γ ( γ + k ) Γ ( 2 α + β ) 2 3 1 + λ 2 m Γ ( γ + 2 k ) 2 Γ ( 3 α + β ) Γ ( α + β ) .
For μ C , we have
| d 2 μ d 1 2 | 3 M 1 Γ ( γ + k ) Γ ( 3 α + β ) 1 + 2 λ m Γ ( γ + 3 k ) Γ ( α + β ) max 1 ; M 2 M 1 M 1 1 W + 2 1 W + 1 2 M 1 3 2 W ,
where W = K 1 with ρ = 1 + μ 2 , K 1 is defined as in (14).
Proof. 
From φ ( ξ ) = ξ + n = 2 a n ξ n and equating the first two coefficients of relation (22), we get
d 1 = a 2 2 , d 2 = 1 2 a 3 a 2 2 2 .
Using (18) and (19), we obtain
d 1 = Γ ( γ + k ) Γ ( 2 α + β ) 1 + λ m Γ ( γ + 2 k ) Γ ( α + β ) ϑ 1 M 1 2 1 , d 2 = 1 2 a 3 a 2 2 2 = 3 M 1 Γ ( γ + k ) Γ ( 3 α + β ) 2 1 + 2 λ m Γ ( γ + 3 k ) Γ ( α + β ) ϑ 2 ϑ 1 2 2 1 M 2 M 1 + M 1 + 2 ϑ 1 3 M 1 Γ ( γ + k ) Γ ( 2 α + β ) 1 + λ m Γ ( γ + 2 k ) Γ ( α + β ) ϑ 1 M 1 2 1 2 .
Using (11), it follows that
| d 1 | Γ ( γ + k ) Γ ( 2 α + β ) 1 + λ m Γ ( γ + 2 k ) Γ ( α + β ) 1 + M 1 ,
and fixing ρ = 1 2 in (13), we get
| d 2 | a 3 1 2 a 2 2 = 6 M 1 Γ ( γ + k ) Γ ( 3 α + β ) 1 + 2 λ m Γ ( γ + 3 k ) Γ ( α + β ) max 1 ; M 2 M 1 M 1 1 K 2 + 2 1 K 2 + 1 2 M 1 3 2 K 2 ,
where K 2 is given by (23). To find estimate (24), consider
d 2 μ d 1 2 = 1 2 a 3 ( 1 + μ ) 2 a 2 2 .
Changing ρ = 1 + μ 2 in (13) and simplifying, we obtain the desired result. □

6. Conclusions

Under varying selections of the function ψ and parameters in the Definition 1, the function class R k , λ m ( α , β , γ ; ψ ) reduces to classes with good geometrical implications but not to well-known classes like spiral-like, starlike, and convex. So our main results have lots of applications; here, we restricted ourselves to pointing out only a few of them.
Given the fact that F * * ( ξ ) = e [ ln f ( ξ ) ] , computing the estimates involving long differential characterization, which is in the exponent of an exponential, is cumbersome. Hence, extending this study to the class of convex functions would be very complicated. Further, from the coefficient estimates (see Theorem 1), it is very clear that functions in R k , λ m ( α , β , γ ; ψ ) are not univalent. Now, the question arises: what should be the radius of the disc so that functions in R k , λ m ( α , β , γ ; ψ ) are univalent?

Author Contributions

Conceptualization, K.R.K. and G.M.; methodology, K.R.K. and G.M.; software, K.R.K. and G.M.; validation, K.R.K. and G.M.; formal analysis, K.R.K. and G.M.; investigation, K.R.K. and G.M.; resources, K.R.K. and G.M.; data curation, K.R.K. and G.M.; writing—original draft preparation, K.R.K. and G.M.; writing—review and editing, K.R.K. and G.M.; visualization, K.R.K. and G.M.; supervision, G.M.; project administration, G.M.; funding acquisition to pay for the APC. and K.R.K. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study.

Acknowledgments

Authors thank the Editor and all the reviewers for their helpful comments and suggestions, which helped us remove the mistakes and also led to improvement in the presentation of the results.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Cho, N.E.; Kumar, S.; Kumar, V.; Ravichandran, V. Radius problemsfor starlike functions associated with the sine function. Bull. Iran. Math. Soc. 2019, 45, 213–232. [Google Scholar] [CrossRef]
  2. Mendiratta, R.; Nagpal, S.; Ravichandran, V. On a subclass ofstrongly starlike functions associated with exponential functions. Bull. Malays. Math. Sci. Soc. 2015, 38, 365–386. [Google Scholar] [CrossRef]
  3. Sharma, K.; Jain, N.K.; Ravichandran, V. Starlike functionsassociated with cardioid. Afrika Math. 2016, 27, 923–939. [Google Scholar] [CrossRef]
  4. Wani, L.A.; Swaminathan, A. Starlike and convex functionsassociated with a Nephroid domain. Bull. Malays. Math. Sci. Soc. 2021, 44, 79–104. [Google Scholar] [CrossRef]
  5. Raina, R.K.; Sokól, J. On Coefficient estimates for acertain class of starlike functions. Hacettepe. J. Math. Statist. 2015, 44, 1427–1433. [Google Scholar] [CrossRef]
  6. Araci, S.; Karthikeyan, K.R.; Murugusundaramoorthy, G.; Khan, B. Φ-like analytic functions associated with a vertical domain. Math. Inequal. Appl. 2023, 26, 935–949. [Google Scholar] [CrossRef]
  7. Dziok, J.; Raina, R.K.; Sokół, J. On a class of starlike functions related to a shell-like curve connected with Fibonacci numbers. Math. Comput. Model. 2013, 57, 1203–1211. [Google Scholar] [CrossRef]
  8. Dziok, J.; Raina, R.K.; Sokół, J. On α-convex functions related to shell-like functions connected with Fibonacci numbers. Appl. Math. Comput. 2011, 218, 996–1002. [Google Scholar] [CrossRef]
  9. Dziok, J.; Raina, R.K.; Sokół, J. Certain results for a class of convex functions related to a shell-like curve connected with Fibonacci numbers. Comput. Math. Appl. 2011, 61, 2605–2613. [Google Scholar] [CrossRef]
  10. Gandhi, S.; Ravichandran, V. Starlike functions associated with a lune. Asian-Eur. J. Math. 2017, 10, 1750064. [Google Scholar] [CrossRef]
  11. Karthikeyan, K.R.; Murugusundaramoorthy, G. Unified solution of initial coefficients and Fekete–Szegö problem for subclasses of analytic functions related to a conic region. Afr. Mat. 2022, 33, 44. [Google Scholar] [CrossRef]
  12. Raina, R.K.; Sokół, J. Some properties related to a certain class of starlike functions. C. R. Math. Acad. Sci. Paris 2015, 353, 973–978. [Google Scholar] [CrossRef]
  13. Raina, R.K.; Sokół, J. Fekete-Szegö problem for some starlike functions related to shell-like curves. Math. Slovaca 2016, 66, 135–140. [Google Scholar] [CrossRef]
  14. Srivastava, H.M.; Ahmad, Q.Z.; Khan, N.; Khan, N.; Khan, B. Hankel and Toeplitz determinants for a subclass of q-starlike functions associated with a general conic domain. Mathematics 2019, 7, 181. [Google Scholar] [CrossRef]
  15. Srivastava, H.M.; Khan, B.; Khan, N.; Ahmad, Q.Z. Coefficient inequalities for q-starlike functions associated with the Janowski functions. Hokkaido Math. J. 2019, 48, 407–425. [Google Scholar] [CrossRef]
  16. Srivastava, H.M.; Raza, N.; AbuJarad, E.S.A.; Srivastava, G.; AbuJarad, M.H. Fekete-Szegö inequality for classes of (p, q)-starlike and (p,q)-convex functions. Rev. Real Acad. Cienc. Exactas Fís. Natur. Ser. A Mat. (RACSAM) 2019, 113, 3563–3584. [Google Scholar] [CrossRef]
  17. Srivastava, H.M.; Tahir, M.; Khan, B.; Ahmad, Q.Z.; Khan, N. Some general classes of q-starlike functions associated with the Janowski functions. Symmetry 2019, 11, 292. [Google Scholar] [CrossRef]
  18. Srivastava, H.M. An Introductory Overview of Special Functions and Their Associated Operators of Fractional Calculus. In Special Functions in Fractional Calculus and Engineering; Singh, H., Srivastava, H.M., Pandey, R.K., Eds.; CRC Press: Boca Raton, FL, USA, 2023; pp. 1–35. [Google Scholar]
  19. Srivastava, H.M. A survey of some recent developments on higher transcendental functions of analytic number theory and applied mathematics. Symmetry 2021, 13, 2294. [Google Scholar] [CrossRef]
  20. Srivastava, H.M. An introductory overview of fractional-calculus operators based upon the Fox-Wright and related higher transcendental functions. J. Adv. Engrg. Comput. 2021, 5, 135–166. [Google Scholar] [CrossRef]
  21. Srivastava, H.M. Some parametric and argument variations of the operators of fractional calculus and related special functions and integral transformations. J. Nonlinear Convex Anal. 2021, 22, 1501–1520. [Google Scholar]
  22. 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]
  23. Srivastava, H.M.; Fernandez, A.; Baleanu, D. Some new fractional-calculus connections between Mittag–Leffler functions. Mathematics 2019, 7, 485. [Google Scholar] [CrossRef]
  24. Srivastava, H.M.; Bansal, M.; Harjule, P. A study of fractional integral operators involving a certain generalized multi-index Mittag–Leffler function. Math. Methods Appl. Sci. 2018, 41, 6108–6121. [Google Scholar] [CrossRef]
  25. Srivastava, H.M.; Tomovski, Ž. Fractional calculus with an integral operator containing a generalized Mittag–Leffler function in the kernel. Appl. Math. Comput. 2009, 211, 198–210. [Google Scholar] [CrossRef]
  26. Srivastava, H.M. On an extension of the Mittag–Leffler function. Yokohama Math. J. 1968, 16, 77–88. [Google Scholar]
  27. Cang, Y.-L.; Liu, J.-L. A family of multivalent analytic functions associated with Srivastava-Tomovski generalization of the Mittag–Leffler function. Filomat 2018, 32, 4619–4625. [Google Scholar] [CrossRef]
  28. Bashirov, A.E.; Kurpinar, E.M.; Özyapıcı, A. Multiplicative calculus and its applications. J. Math. Anal. Appl. 2008, 337, 36–48. [Google Scholar] [CrossRef]
  29. Bashirov, A.E.; Mısırlı, E.; Tandoğdu, Y.; Özyapıcı, A. On modeling with multiplicative differential equations. Appl. Math. J. Chin. Univ. 2011, 26, 425–438. [Google Scholar] [CrossRef]
  30. Bashirov, A.E.; Riza, M. On complex multiplicative differentiation. TWMS J. Appl. Eng. Math. 2011, 1, 75–85. [Google Scholar]
  31. Riza, M.; Özyapici, A.; Mısırlı, E. Multiplicative finite difference methods. Quart. Appl. Math. 2009, 67, 745–754. [Google Scholar] [CrossRef]
  32. Breaz, D.; Karthikeyan, K.R.; Umadevi, E.; Senguttuvan, A. Some properties of Bazilevič functions involving Srivastava-Tomovski operator. Axioms 2022, 11, 687. [Google Scholar] [CrossRef]
  33. Al-Oboudi, F.M. On univalent functions defined by a generalized Sălăgean operator. Int. J. Math. Math. Sci. 2004, 27, 1429–1436. [Google Scholar] [CrossRef]
  34. Yassen, M.F.; Attiya, A.A. Certain quantum operator related to generalized Mittag–Leffler function. Mathematics. 2023, 11, 4963. [Google Scholar] [CrossRef]
  35. Ma, W.C.; Minda, D. A unified treatment of some special classes of univalent functions. In Proceedings of the Conference on Complex Analysis at the Nankai Institue of Mathematics, Tianjin, China, 19–23 June 1992. [Google Scholar]
  36. Alimohammadi, D.; Cho, N.E.; Adegani, E.A.; Motamednezhad, A. Argument and coefficient estimates for certain analytic functions. Mathematics 2020, 8, 88. [Google Scholar] [CrossRef]
  37. Alimohammadi, D.; Analouei Adegani, E.; Bulboacă, T.; Cho, N.E. Logarithmic Coefficients for Classes Related to Convex Functions. Bull. Malays. Math. Sci. Soc. 2021, 44, 2659–2673. [Google Scholar] [CrossRef]
  38. Adegani, E.A.; Cho, N.E.; Jafari, M. Logarithmic coefficients for univalent functions defined by subordination. Mathematics 2019, 7, 408. [Google Scholar] [CrossRef]
Figure 1. The image of | z | < 1 under G ( ξ ) = 1 1 ξ 5 e ξ 5 2 ξ 5 ξ .
Figure 1. The image of | z | < 1 under G ( ξ ) = 1 1 ξ 5 e ξ 5 2 ξ 5 ξ .
Fractalfract 08 00131 g001
Figure 2. (a) The image of | ξ | < 1 under H ( ξ ) = ξ 1 + ξ k k + ξ k ξ e k 2 ξ 2 + 2 k ξ 3 ξ 4 k ξ ξ 2 + k 2 . (b) The image of | ξ | < 1 under S ( ξ ) = 2 2 ξ e 2 ξ ( 1 ξ ) ( 2 ξ ) .
Figure 2. (a) The image of | ξ | < 1 under H ( ξ ) = ξ 1 + ξ k k + ξ k ξ e k 2 ξ 2 + 2 k ξ 3 ξ 4 k ξ ξ 2 + k 2 . (b) The image of | ξ | < 1 under S ( ξ ) = 2 2 ξ e 2 ξ ( 1 ξ ) ( 2 ξ ) .
Fractalfract 08 00131 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

Karthikeyan, K.R.; Murugusundaramoorthy, G. Properties of a Class of Analytic Functions Influenced by Multiplicative Calculus. Fractal Fract. 2024, 8, 131. https://doi.org/10.3390/fractalfract8030131

AMA Style

Karthikeyan KR, Murugusundaramoorthy G. Properties of a Class of Analytic Functions Influenced by Multiplicative Calculus. Fractal and Fractional. 2024; 8(3):131. https://doi.org/10.3390/fractalfract8030131

Chicago/Turabian Style

Karthikeyan, Kadhavoor R., and Gangadharan Murugusundaramoorthy. 2024. "Properties of a Class of Analytic Functions Influenced by Multiplicative Calculus" Fractal and Fractional 8, no. 3: 131. https://doi.org/10.3390/fractalfract8030131

APA Style

Karthikeyan, K. R., & Murugusundaramoorthy, G. (2024). Properties of a Class of Analytic Functions Influenced by Multiplicative Calculus. Fractal and Fractional, 8(3), 131. https://doi.org/10.3390/fractalfract8030131

Article Metrics

Back to TopTop