Next Article in Journal
Some Results on Certain Supercobalancing Numbers
Previous Article in Journal / Special Issue
Toeplitz Matrices for a Class of Bazilevič Functions and the λ-Pseudo-Starlike Functions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Analysis of a Normalized Structure of a Complex Fractal–Fractional Integral Transform Using Special Functions

by
Rabha W. Ibrahim
1,2,3,
Soheil Salahshour
1,4,5 and
Ágnes Orsolya Páll-Szabó
6,*
1
Advanced Computing Lab, Faculty of Engineering and Natural Sciences, Istanbul Okan University, 34959 Istanbul, Turkey
2
Mathematics Research Center, Department of Mathematics, Near East University, Near East Boulevard, Mersin 10, 99138 Nicosia, Turkey
3
Information and Communication Technology Research Group, Scientific Research Center, Al-Ayen University, Nasiriyah 64001, Thi-Qar, Iraq
4
Faculty of Engineering and Natural Sciences, Bahcesehir University, 34349 Istanbul, Turkey
5
Department of Computer Science and Mathematics, Lebanese American University, Beirut 1102, Lebanon
6
Department of Statistics-Forecast-Mathematics, Faculty of Economics and Business Administration, Babeş-Bolyai University, 400084 Cluj-Napoca, Romania
*
Author to whom correspondence should be addressed.
Axioms 2024, 13(8), 522; https://doi.org/10.3390/axioms13080522
Submission received: 21 February 2024 / Revised: 20 March 2024 / Accepted: 1 August 2024 / Published: 2 August 2024
(This article belongs to the Special Issue Advances in Geometric Function Theory and Related Topics)

Abstract

:
By using the most generalized gamma function (parametric gamma function, or p-gamma function), we present the most generalized Rabotnov function, called the p-Rabotnov function. Consequently, new fractal–fractional differential and integral operators of a complex variable in an open unit disk are defined and investigated analytically and geometrically. We address some inequalities involving the generalized fractal–fractional integral operator in some spaces of analytic functions. A novel complex fractal–fractional integral transform (CFFIT) is presented. A normalization of the proposed CFFIT is observed in the open unit disk. Examples are illustrated for power series of analytic functions.

1. Introduction

The phrase “complex integral transform” encompasses a wide range of mathematical methods that include complex integrals. In physics and engineering, the Laplace transform is one of the greatest commonly utilized instances of a complicated integral transform. Recently, a number of studies that have made use of methods originally developed in a physical setting have concentrated on offering comprehensive accounts of social and environmental phenomena. Researchers’ ability to devise strategies has led to structures like these [1]. Such methods are used in movement theory, hyperactive complicated processes, complex fluid systems, chaotic complex systems, complex Lorenz-like patterns seen in optical physics, and the study of the nonclinical instability of the meteorological processes in the surrounding atmosphere [2]. Most of these complex transformations are structured by using the gamma function or are reduced by it. Numerous fields in science, mathematics, and industry use the gamma function, including integration, probability, and complex analysis. It has links to many mathematical ideas and functions, including the beta function and the digamma function, and is an important instrument in the exploration of special functions. As seen in [3], the p-gamma function (generalized gamma or parametric gamma function), also referred to as the modified gamma function, can be observed as follows:
Γ p ( z ) = lim m m ! p m ( m p ) z p 1 ( z ) m , p , p > 0
( z ) m , p : = Γ p ( z + m p ) Γ p ( z ) .
and also satisfies the following properties
Γ ( z ) = lim p 1 Γ p ( z ) ; Γ p ( z ) = p z p 1 Γ ( z p ) ; Γ p ( z + p ) = z Γ p ( z ) ; Γ p ( p ) = 1 .
We proceed to define the p-Rabotnov function by using Γ p as follows:
[ R κ ] p ( λ z κ / p ) = n = 0 λ n z ( n + 1 ) ( κ / p + 1 ) p 1 Γ p [ ( n + 1 ) ( κ / p + 1 ) ] , λ , κ R , p > 0 = n = 0 λ n z ( n + 1 ) ( κ / p + 1 ) p 1 p ( n + 1 ) ( κ / p + 1 ) p 1 Γ [ ( n + 1 ) ( κ / p + 1 ) p ] = z p ( κ / p + 1 ) / p 1 n = 0 [ λ ( z / p ) κ / p + 1 p ] n Γ [ n ( κ / p + 1 ) + ( κ / p + 1 ) p ] = z p ( κ / p + 1 ) / p 1 Ξ 1 + κ / p p , 1 + κ / p p λ z ( 1 + κ / p ) / p p ( 1 + κ / p ) / p ,
where the Mittag-Leffler function is denoted by Ξ ( . ) . Figure 1 shows a plot of the p-Rabotnov function for different values of its parameters. It is evident that we acquire the regular Rabotnov function for p = 1 (see [4]).
By using the above generalized special function, we present a set of fractal–fractional operators of a complex variable.

2. p-Fractal–Fractional Operators

The subsequent new p-fractal–fractional operators are required.
Definition 1.
The complex p-Riemann–Liouville fractal–fractional differential operator is developed for the analytic function g ( z ) , z I : = { z C : | z | < 1 } as follows:
Δ z κ , ν p RL g ( z ) = d d z ν p 0 z g ( ζ ) [ R κ ] p ( λ ( z ζ ) κ p ) d ζ
where
d g ( z ) d z ν / p = lim z ζ g ( z ) g ( ζ ) z ν / p ζ ν / p .
Moreover, the Caputo formula is defined as follows:
Δ z κ , ν p C g ( z ) = 0 z d g ( ζ ) d ζ ν p [ R κ ] p ( λ ( z ζ ) κ p ) d ζ .
Correspondingly, we define the following integral:
J z κ , ν p g ( z ) : = ν 0 z g ( ζ ) [ R κ ] p ( λ ( z ζ ) κ p ) d ζ .
Note that when p = 1 and ν = 1 , the above operators are reduced [5].
Example 1.
Let g ( z ) = z q , q R . Since
[ R κ ] p ( λ ( z ζ ) κ p ) = ( z ζ ) p ( κ / p + 1 ) / p 1 Ξ 1 + κ / p p , 1 + κ / p p λ ( z ζ ) ( 1 + κ / p ) / p p ( 1 + κ / p ) / p ,
where [ Ξ . , . ] p is the p-Mittag-Leffler function, where
[ Ξ α , β ] p ( z ) = n = 0 z n Γ p ( n α + β ) = n = 0 z n p n α + β p 1 Γ ( n α + β p ) ,
clearly,
d ( z n ) d z ν / p = lim z ζ ( z n ) ( ζ n ) z ν / p ζ ν / p = p ( n + 1 κ ) ζ 1 ν / p κ + n ν .
As a consequence, based on the definition of Δ z κ , ν p RL , with
β : = ( κ / p + 1 ) / p > 0 , q : = ς 1 > 0 , ρ : = ς + β 1 ,
we obtain
Δ z κ , ν p RL ( z q ) = d d z ν p 0 z ( ζ q ) ( z ζ ) p ( κ / p + 1 ) / p 1 Ξ 1 + κ / p p , 1 + κ / p p λ ( z ζ ) ( 1 + κ / p ) / p p ( 1 + κ / p ) / p d ζ = 1 p β 1 d d z ν p 0 z ( ζ ς 1 ) z ζ β 1 Ξ β , β λ ( z ζ ) β p β d ζ = 1 p β 1 d d z ν p z ς + β 1 Ξ β , β + ς λ ( z ) β p β = 1 ν 1 p β 1 p z ρ ν p ρ Ξ ( β , β + ς ) λ z p β λ z p β Ξ ( β , 2 β + ς 1 ) λ z p β ρ Ξ ( β , 2 β + ς ) λ z p β .
Meanwhile, for : = 2 ν / p κ + q > 0 , β : = ( κ / p + 1 ) / p > 0 , we obtain
Δ z κ , ν p C ( z q ) = 0 z d ( ζ q ) d ζ ν / p ( z ζ ) p ( κ / p + 1 ) / p 1 Ξ 1 + κ / p p , 1 + κ / p p λ ( z ζ ) ( 1 + κ / p ) / p p ( 1 + κ / p ) / p d ζ = p 1 β ( q + 1 κ ) ν 0 z ζ 1 z ζ β 1 Ξ β , β λ ( z ζ ) β p β d ζ = p 1 β ( q + 1 κ ) ν Ξ β , β + λ ( z ) β p β z + β 1 .
With the following presumptions, if we use the fractal–fractional integral operator
β : = ( κ / b + 1 ) / b > 0 , q : = ς 1 > 0 ,
we obtain
J z κ , ν p ( z q ) = ν 0 z ( ζ q ) [ R κ ] p ( λ ( z ζ ) κ p d ζ = ν 1 p ( κ / p + 1 ) / p 1 0 z ( ζ q ) z ζ ( κ / p + 1 ) / p 1 Ξ 1 + κ / p p , 1 + κ / p p λ ( z ζ ) ( 1 + κ / p ) / p p ( 1 + κ / p ) / p d ζ = ν 1 p ( κ / p + 1 ) / p 1 0 z ( ζ ς 1 ) z ζ β 1 Ξ β , β λ ( z ζ ) β p β d ζ = ν 1 p ( κ / p + 1 ) / p 1 Ξ β , β + ς λ ( z ) β p β z β + ς 1 = ν 1 p ( κ / p + 1 ) / p 1 Ξ β , β + ς λ ( z ) β p β z β + q .

Integral Inequalities

This part deals with some inequalities involving J z κ , ν p .
Definition 2.
Let ρ 1 . The Bergman space B ρ is the set of all analytic functions g in the open unit disk I satisfying the norm
g B ρ ρ = 1 π I | g | ρ d Λ < .
Proposition 1.
Let g B ρ . If
max z I ν 0 z | [ R κ ] p ( λ ( z ζ ) κ p | d ζ C ν , κ , p , λ , C ν , κ , p , λ ( 0 , )
then J z κ , ν p g ( z ) B ρ .
Proof. 
Our proof is based on Young’s inequality concerning integral operators.
p J z κ , ν g ( z ) B ρ ρ = 1 π I J z κ , ν p g ( z ) ρ d Λ = 1 π I ν 0 z g ( ζ ) [ R κ ] p ( λ ( z ζ ) κ p ) d ζ ρ d Λ = ν π I 0 z g ( ζ ) [ R κ ] p ( λ ( z ζ ) κ p ) d ζ ρ d Λ max z I 0 z [ R κ ] p ( λ ( z ζ ) κ p d ζ 1 π I | g | ρ d Λ C ν , κ , p , λ g B ρ ρ .
Hence, J z κ , ν p g ( z ) B ρ .
Definition 3.
The analytic function g in the open unit disk I is called in the space of the bounded analytic function L , if it satisfies the norm
g L = sup z I | g ( z ) | < .
Proposition 2.
Let g L . If
sup z I ν 0 z [ R κ ] p ( λ ( z ζ ) κ p d ζ K ν , κ , p , λ , K ν , κ , p , λ ( 0 , )
then J z κ , ν p g ( z ) L .
Proof. 
A computation yields
p J z κ , ν g ( z ) L = sup z I [ p J z κ , ν g ( z ) ] = sup z I ν 0 z g ( ζ ) [ R κ ] p ( λ ( z ζ ) κ p ) d ζ sup z I | g ( z ) | sup z I ν 0 z [ R κ ] p ( λ ( z ζ ) κ p ) d ζ g L sup z I ν 0 z [ R κ ] p ( λ ( z ζ ) κ p ) d ζ K ν , κ , p , λ g L .
Hence, J z κ , ν p g ( z ) L .
Definition 4.
The analytic function g in the open unit disk I is called in the Bloch space of the analytic function O , if it satisfies the norm
g O = sup z I ( 1 | z | 2 ) | g ( z ) | < .
Proposition 3.
Let g L . If
sup z I ν ( 1 | z | 2 ) [ R κ ] p ( λ ( z ζ ) κ p W ν , κ , p , λ , W ν , κ , p , λ ( 0 , )
then J z κ , ν p g ( z ) O .
Proof. 
A computation yields
p J z κ , ν g ( z ) O = sup z I ( 1 | z | 2 ) [ p J z κ , ν g ( z ) ] = sup z I ( 1 | z | 2 ) ν 0 z g ( ζ ) [ R κ ] p ( λ ( z ζ ) κ p ) d ζ sup z I | g ( z ) | sup z I ν ( 1 | z | 2 ) [ R κ ] p ( λ ( z ζ ) κ p ) W ν , κ , p , λ g L < .
Hence, J z κ , ν p g ( z ) O .

3. Complex Fractal–Fractional Integral Transform (CFFIT)

Numerous fields of science and engineering use complex integral transformations, which are strong mathematical instruments. These examples demonstrate how complicated integral transforms may be applied to solve a wide range of issues in a variety of domains, offering insights into a range of phenomena and assisting in mathematical modeling and analysis.
From this perspective, we define the following CFFIT.
Definition 5.
An equivalent generator of order κ , ν > 0 , the p-fractal–fractional integral operator is created via the following structure:
z κ , ν p g ( z ) : = ν λ 1 + λ p Γ p ( κ ) 0 z ζ κ p 1 g ( ζ ) ( z ζ ) κ p 1 d ζ + ν λ z ν p 1 g ( z ) 1 + λ p Γ p ( κ ) .
λ > 0 , p 1 , κ , ν > 0 , Γ p ( κ ) = p κ p 1 Γ ( κ p ) , Re ( ( z ζ ) κ p 1 ) > 0
Proposition 4.
Assume that H is a complex Hilbert space of analytic functions. If g L 2 ( I , H ) with Re ( g ( z ) ) > 0 then z κ , ν p g ( z ) is is accretive operator, i.e.,
Re z κ , ν p g ( z ) , g ( z ) L 2 ( I , H ) > 0 , Re ( z ) > 0 .
Proof. 
Based on the assumptions of this proposition, we obtain
Re z κ , ν p g ( z ) , g ( z ) L 2 ( I , H ) = Re ν λ 1 + λ p Γ p ( κ ) 0 z ζ κ p 1 g ( ζ ) ( z ζ ) κ p 1 d ζ + ν λ z ν p 1 g ( z ) 1 + λ p Γ p ( κ ) , g ( z ) L 2 ( I , H ) = ν λ 1 + λ p Γ p ( κ ) Re 0 z ζ κ p 1 g ( ζ ) ( z ζ ) κ p 1 d ζ + ν λ z ν p 1 g ( z ) 1 + λ p Γ p ( κ ) , Re ( g ( z ) ) L 2 ( I , H ) > 0 .
where z κ , ν p g ( z ) is an accretive operator. □

Normalization Form

The p-fractal–fractional integral transform yields the following observation:
z κ , ν p ( z q ) = ν λ 1 + λ p κ p 1 Γ ( κ p ) 0 z ζ κ p 1 + q ( z ζ ) κ p 1 d ζ + z ν p 1 + q = ν λ 1 + λ p κ p 1 Γ ( κ p ) Γ κ p Γ κ p + q z 2 κ p + q 1 Γ 2 κ p + q + z ν p 1 + q .
Let
Λ : = ν λ 1 + λ p κ p 1 Γ ( κ p ) , ω n : = Γ κ p Γ κ p + n Γ 2 κ p + n .
Then, by setting z κ , ν p , where z I in the analytic function g ( z ) = n = 0 a n z n , we calculate the CFFIT as follows:
z κ , ν p g ( z ) = z 2 κ / p 1 Λ n = 0 a n ( 1 + ω n ) z n , a 0 = 0 ,
where ν = 2 κ . If g ( z ) is normalized by g ( 0 ) = 0 , g ( 0 ) = 1 , z κ , ν p g ( z ) can be normalized as follows:
T z κ , 2 κ p g ( z ) : = z κ , 2 κ p z + n = 2 a n z n Λ z 2 κ / p 1 ( ω 1 + 1 ) = z + n = 2 a n ω n + 1 ω 1 + 1 z n , | z | < 1 .
Here, we denote the class of normalized analytic functions in I using N .
Proposition 5.
Consider the operator T z κ , 2 κ p g ( z ) , where g ( z ) = z + n = 2 a n z n , | z | < 1 / 2 . If | a n | < ω 1 + 1 ω n + 1 , then T z κ , 2 κ p g ( z ) is convex. In addition, if | a n | < 2 5 ω 1 + 1 ω n + 1 , then T z κ , 2 κ p g ( z ) is starlike.
Proof. 
It is well known that [6,7]
g ( z ) 1 < 1 g i s c o n v e x i n | z | < 1 2
g ( z ) 1 < 2 5 g i s s t a r l i k e i n | z | < 1 2 .
A computation implies that
T z κ , 2 κ p g ( z ) 1 n = 2 | a n | ω n + 1 ω 1 + 1 | z | n 1 n = 2 | a n | ω n + 1 ω 1 + 1 ( 1 2 ) n 1 < n = 2 1 2 n 1 = 1 .
Thus, T z κ , 2 κ p g ( z ) is convex. The same is true for the second part. □
The next proposition shows the upper bound of the CFFIT in the open unit disk, when g achieves some special geometric properties. We prove that the suggested normalized operator is bounded in the open unit disk by the special generalized Ψ Fox–Wright function for some geometric functions g ( z ) .
Proposition 6.
Consider the operator T z κ , 2 κ p g ( z ) , where
g ( z ) = z + n = 2 a n z n , | z | < 1 .
If g is convex, then
T z κ , 2 κ p g ( z ) r ω 1 + 1 Ψ 1 3 ( κ p , 0 ) ( κ p + 1 , 1 ) ( 1 , 1 ) ( 2 κ p + 1 , 1 ) ; r + Ψ 1 1 ( 1 , 1 ) ( 1 , 0 ) ; r .
Proof. 
Since g is convex, | a n | < 1 for all n (see [8]). Based on the definition of T z κ , 2 κ p g ( z ) , we obtain
T z κ , 2 κ p g ( z ) = n = 1 a n ω n + 1 ω 1 + 1 z n = 1 ω 1 + 1 n = 1 a n Γ κ p Γ κ p + n + Γ 2 κ p + n Γ 2 κ p + n z n 1 ω 1 + 1 n = 1 Γ κ p Γ κ p + n + Γ 2 κ p + n Γ 2 κ p + n z n 1 ω 1 + 1 n = 1 Γ κ p Γ κ p + n Γ ( n + 1 ) Γ 2 κ p + n r n n ! + n = 1 Γ n + 1 r n n ! = r ω 1 + 1 n = 0 Γ κ p Γ κ p + n + 1 Γ ( n + 2 ) n + 1 Γ 2 κ p + n + 1 r n n ! + n = 0 Γ n + 2 n + 1 r n n ! = r ω 1 + 1 n = 0 Γ κ p Γ κ p + n + 1 Γ ( n + 1 ) Γ 2 κ p + n + 1 r n n ! + n = 0 Γ ( n + 1 ) r n n ! = r ω 1 + 1 Ψ 1 3 ( κ p , 0 ) ( κ p + 1 , 1 ) ( 1 , 1 ) ( 2 κ p + 1 , 1 ) ; r + Ψ 1 1 ( 1 , 1 ) ( 1 , 0 ) ; r
Proposition 7.
Consider the operator T z κ , 2 κ p g ( z ) , where
g ( z ) = z + n = 2 a n z n , | z | < 1 .
If g is starlike, then
T z κ , 2 κ p g ( z ) r ω 1 + 1 Ψ 1 3 ( κ p , 0 ) ( κ p + 1 , 1 ) ( 2 , 1 ) ( 2 κ p + 1 , 1 ) ; r + Ψ 1 1 ( 2 , 1 ) ( 1 , 0 ) ; r .
Proof. 
Since g is starlike, | a n | < n for all n (see [8]). Based on the definition of T z κ , 2 κ p g ( z ) , we obtain
T z κ , 2 κ p g ( z ) 1 ω 1 + 1 n = 1 n Γ κ p Γ κ p + n + Γ 2 κ p + n Γ 2 κ p + n z n 1 ω 1 + 1 n = 1 n Γ κ p Γ κ p + n Γ ( n + 1 ) Γ 2 κ p + n r n n ! + n = 1 n Γ n + 1 r n n ! = r ω 1 + 1 n = 0 Γ κ p Γ κ p + n + 1 Γ ( n + 2 ) Γ 2 κ p + n + 1 r n n ! + n = 0 Γ n + 2 r n n ! = r ω 1 + 1 Ψ 1 3 ( κ p , 0 ) ( κ p + 1 , 1 ) ( 2 , 1 ) ( 2 κ p + 1 , 1 ) ; r + Ψ 1 1 ( 2 , 1 ) ( 1 , 0 ) ; r .

4. Special Formulas Involving CFFIT

In this section, we deal with a list of special formulas that contain the suggested CFFIT. These formulas belong to a class of analytic functions in the open unit disk (see [8]). For ϵ > 0 , the class of analytic functions ψ ( z ) satisfies the main conditions ψ ( 0 ) = 1 and ( ψ ) > ϵ . This class is denoted by Ψ ( ϵ ) . This class achieves the inclusion property Ψ ( ϵ m ) Ψ ( ϵ 1 ) Ψ ( 0 ) Ψ , whenever 0 < ϵ 1 , < ϵ m . Obviously, the subclasses of starlike and convex functions are in Ψ ( 0 ) . Moreover, two analytic functions, ϕ and φ I , are subordinated, denoted by ϕ φ , if ϕ ( I ) φ ( I ) and φ ( 0 ) = ϕ ( 0 ) .
To prove our results, we need the following preliminary [9]
Lemma 1.
For c C and positive integer n, let A [ c , n ] = { h : h ( z ) = c + c n z n + c n + 1 z n + 1 + . . . } .
i. 
For R , the following relation is satisfied h ( z ) + z h ( z ) > 0 h ( z ) > 0 . In addition, for > 0 and h A [ 1 , n ] , there are two constants, 1 > 0 and 2 > 0 , with 2 = 2 ( , 1 , n ) satisfying the relation
h ( z ) + z h ( z ) 1 + z 1 z 2 h ( z ) 1 + z 1 z 1 .
ii. 
For [ 0 , 1 ) and h A [ 1 , n ] , there is a constant > 0 with = ( , n ) such that
h 2 ( z ) + 2 h ( z ) . z h ( z ) > ( h ( z ) ) > .
iii. 
If h A [ c , n ] with c > 0 , then h ( z ) + z h ( z ) + z 2 h ( z ) > 0 ; then, ( h ( z ) ) > 0 . Moreover, if : I R and h ( z ) + ( z ) z h ( z ) h ( z ) > 0 , then ( h ( z ) ) > 0 .
Lemma 2.
Let h be a convex function with h ( 0 ) = c , and let χ C { 0 } be a complex number with ( χ ) 0 . If v A [ c , n ] , and v ( z ) + z χ v ( z ) h ( z ) , z I , then v ( z ) L ( z ) h ( z ) , where
L ( z ) = 1 + χ n z χ / n 0 z h ( τ ) τ χ n 1 d τ , z I .
Theorem 1.
For g N , if one of the following relations is satisfied
  • T z κ , 2 κ p g ( z ) > 0 ;
  • ( p T z κ , 2 κ g ( z ) ) 1 + z 1 z 1 , 1 > 0 , z I ;
  • [ p T z κ , 2 κ g ( z ) ] T z κ , 2 κ p g ( z ) z > 2 , [ 0 , 1 ) , z I ;
  • z [ p T z κ , 2 κ g ( z ) ] 2 [ p T z κ , 2 κ g ( z ) ] 2 + T z κ , 2 κ p g ( z ) z > 0 ,
  • z [ p T z κ , 2 κ g ( z ) ] 2 [ p T z κ , 2 κ g ( z ) ] + [ p T z κ , 2 κ g ( z ) ] z > 1 2
then [ p T z κ , 2 κ g ( z ) ] z Ψ ( ϵ ) for the indicated ϵ [ 0 , 1 ) .
Proof. 
Define the following analytic function
v ( z ) = [ p T z κ , 2 κ g ( z ) ] z z v ( z ) + v ( z ) = [ p T z κ , 2 κ g ( z ) ] .
The first condition implies that ( z v ( z ) + v ( z ) ) > 0 . Thus, according to Lemma 1.i, where = 1 , we obtain ( [ p T z κ , 2 κ g ( z ) ] z ) > 0 , which concludes that [ p T z κ , 2 κ g ( z ) ] z Ψ ( 0 ) .
The next subordination states that
[ p T z κ , 2 κ g ( z ) ] = z v ( z ) + v ( z ) [ 1 + z 1 z ] 1 .
Again according to Lemma 1.i, there is a constant > 0 with 2 = 2 ( ) with
[ p T z κ , 2 κ g ( z ) ] z 1 + z 1 z 2 .
This implies that [ p T z κ , 2 κ g ( z ) ] z Ψ ( ϵ ) , ϵ ( 0 , 1 ) .
We proceed with the third relation, which yields
v 2 ( z ) + 2 v ( z ) . z v ( z ) = 2 [ p T z κ , 2 κ g ( z ) ] [ p T z κ , 2 κ g ( z ) ] z > .
According to Lemma 1.ii, there is a constant > 0 satisfying ( v ( z ) ) > such that v ( z ) = [ p T z κ , 2 κ g ( z ) ] z Ψ ( ϵ ) for some ϵ ( 0 , 1 ) . It follows from (2) that [ p T z κ , 2 κ g ( z ) ] > 0 ; therefore, the Noshiro–Warschawski and Kaplan Theorems imply that [ p T z κ , 2 κ g ( z ) ] is univalent and of bounded boundary rotation in I . By differentiating (1) and calculating the real number, we obtain
v ( z ) + z v ( z ) + z 2 v ( z ) = z [ p T z κ , 2 κ g ( z ) ] [ p T z κ , 2 κ g ( z ) ] + 2 [ p T z κ , 2 κ g ( z ) ] z > 0 .
According to Lemma 1.ii, we confirm that ( [ p T z κ , 2 κ g ( z ) ] z ) > 0 .
Lastly, based on logarithmic differentiation (1) and considering the real number, we observe that
v ( z ) + z v ( z ) v ( z ) + z 2 v ( z ) = z [ p T z κ , 2 κ g ( z ) ] [ p T z κ , 2 κ g ( z ) ] + 2 [ p T z κ , 2 κ g ( z ) ] z 1 > 0 .
Hence, Lemma 1.iii states that ( [ p T z κ , 2 κ g ( z ) ] z ) > 0 . That is,
[ p T z κ , 2 κ g ( z ) ] z Ψ ( ϵ )
for some ϵ ( 0 , 1 ) . □
Theorem 2.
Assume that f is convex such that f ( 0 ) = 1 . If
[ p T z κ , 2 κ g ( z ) ] f ( z ) + z f ( z ) , z I ,
then
[ p T z κ , 2 κ g ( z ) ] z f ( z ) ,
and this outcome is sharp.
Proof. 
Applying Lemma 1 is our goal. Formulate the next function:
v ( z ) : = [ p T z κ , 2 κ g ( z ) ] z A [ 1 , 1 ]
This concludes that
[ p T z κ , 2 κ g ( z ) ] = z v ( z ) [ p T z κ , 2 κ g ( z ) ] = v ( z ) + z v ( z ) .
As a result, we infer the subsequent subordination:
v ( z ) + z v ( z ) f ( z ) + z f ( z ) .
Considering Lemma 1, we obtain
[ p T z κ , 2 κ g ( z ) ] z f ( z ) ,
and f is the best dominant.   □
Theorem 3.
Consider the operator [ p T z κ , 2 κ g ( z ) ] . If
[ p T z κ , 2 κ g ( z ) ] [ p T z κ , 2 κ g ( z ) ] z > 2 , z I , [ 0 , 1 )
then [ p T z κ , 2 κ g ( z ) ] > ϵ for specific ϵ [ 0 , 1 ) . Additionally, it is univalent and of bounded boundary rotation in I .
Proof. 
Formulate the analytic function v as in (3). A calculation indicates that
v 2 ( z ) + 2 v ( z ) . z v ( z ) = 2 [ p T z κ , 2 κ g ( z ) ] [ p T z κ , 2 κ g ( z ) ] z > .
Lemma 1.ii shows that there is a constant depending on with ( v ( z ) ) > , [ 0 , 1 ) . By letting = ϵ , we have ( v ( z ) ) > ϵ for some ϵ [ 0 , 1 ) . It appears from (4) that [ p T z κ , 2 κ g ( z ) ] > ϵ ; as a consequence, and in view of the Noshiro–Warschawski and Kaplan Theorems, [ p T z κ , 2 κ g ( z ) ] is univalent and of bounded boundary rotation in I . □
Theorem 4.
Assume that for a function g with ( g ( z ) ) > ϵ , [ 0 , 1 ) . And the convex analytic function ς with ς ( 0 ) = 1 . Then, for the function
Θ ( z ) = a + 2 z a + 1 0 z τ a σ ( τ ) d τ , z I
the subordination
[ p T z κ , 2 κ g ( z ) ] ς ( z ) + ( z ς ( z ) ) 2 + a , a > 0 ,
brings
[ p T z κ , 2 κ Θ ( z ) ] ς ( z ) ,
and this result is sharp.
Proof. 
Our proof is based on Lemma 2. In view of Θ ( z ) , we obtain
[ p T z κ , 2 κ Θ ( z ) ] + [ p T z κ , 2 κ Θ ( z ) ] 2 + a = [ p T z κ , 2 κ g ( z ) ] .
Based on this assumption, we obtain
[ p T z κ , 2 κ Θ ( z ) ] + [ p T z κ , 2 κ Θ ( z ) ] 2 + a ς ( z ) + ( z ς ( z ) ) 2 + a .
Consider
w ( z ) : = [ p T z κ , 2 κ Θ ( z ) ] ,
One can observe that
w ( z ) + ( z w ( z ) ) 2 + a ς ( z ) + ( z ς ( z ) ) 2 + a .
Lemma 2 yields that
[ p T z κ , 2 κ Θ ( z ) ] ς ( z ) ,
and ς is the best dominant. □

5. Conclusions

The above investigation consists of two parts. The first one presents the generalized p-fractal–fractional operators using the Rabotnov function. Some properties are presented for these operators. In the second part, a complex integral transform is defined under the definition of the generalized p-fractal–fractional calculus. Under some conditions, we showed that the transform is accretive in a complex Hilbert space. To discuss its geometric conduct in the open unit disk, the normalization formula is presented. Sufficient conditions for these properties are computed by introducing a list of coefficient inequalities.

Author Contributions

Conceptualization, R.W.I., S.S. and Á.O.P.-S.; Writing—original draft, R.W.I., S.S. and Á.O.P.-S.; Writing—review & editing, R.W.I., S.S. and Á.O.P.-S. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
CFFITComplex fractal–fractional integral transform

References

  1. Ibrahim, R.W. Fractional complex transforms for fractional differential equations. Adv. Differ. Equations 2012, 2012, 192. [Google Scholar] [CrossRef]
  2. Ibrahim, R.W. Operator inequalities involved Wiener-Hopf problems in the open unit disk. In Differential and Integral Inequalities; Springer: Cham, Switzerland, 2019; pp. 423–433. [Google Scholar]
  3. Diaz, R.; Pariguan, E. On Hypergeometric Functions and Pochhammer K-symbol. Divulg. Matemticas 2007, 15, 179–192. [Google Scholar]
  4. Rabotnov, Y. Equilibrium of an elastic medium with after-effect. Fract. Calc. Appl. Anal. 2014, 17, 684–696. [Google Scholar] [CrossRef]
  5. Yavuz, M.; Sene, N. Fundamental calculus of the fractional derivative defined with Rabotnov exponential kernel and application to nonlinear dispersive wave model. J. Ocean Eng. Sci. 2021, 6, 196–205. [Google Scholar] [CrossRef]
  6. MacGregor, T.H. A class of univalent functions. Proc. Am. Math. Soc. 1964, 15, 311–317. [Google Scholar] [CrossRef]
  7. Mocanu, P. Some starlikeness conditions for analytic functions. Rev. Roumanie Math. Pures Appl. 1988, 33, 117–124. [Google Scholar]
  8. Duren, P.L. Univalent Functions; Springer Science & Business Media: Berlin, Germany, 2001; Volume 259. [Google Scholar]
  9. Miller, S.S.; Mocanu, P.T. Differential Subordinations: Theory and Applications; CRC Press: Boca Raton, FL, USA, 2000. [Google Scholar]
Figure 1. A complex plot of the Rabotnov function for some values of κ , when λ = 1 and p = 1 .
Figure 1. A complex plot of the Rabotnov function for some values of κ , when λ = 1 and p = 1 .
Axioms 13 00522 g001
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

Ibrahim, R.W.; Salahshour, S.; Páll-Szabó, Á.O. Analysis of a Normalized Structure of a Complex Fractal–Fractional Integral Transform Using Special Functions. Axioms 2024, 13, 522. https://doi.org/10.3390/axioms13080522

AMA Style

Ibrahim RW, Salahshour S, Páll-Szabó ÁO. Analysis of a Normalized Structure of a Complex Fractal–Fractional Integral Transform Using Special Functions. Axioms. 2024; 13(8):522. https://doi.org/10.3390/axioms13080522

Chicago/Turabian Style

Ibrahim, Rabha W., Soheil Salahshour, and Ágnes Orsolya Páll-Szabó. 2024. "Analysis of a Normalized Structure of a Complex Fractal–Fractional Integral Transform Using Special Functions" Axioms 13, no. 8: 522. https://doi.org/10.3390/axioms13080522

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