Next Article in Journal
Schwinger–Keldysh Path Integral Formalism for a Quenched Quantum Inverted Oscillator
Previous Article in Journal
Stochastic Optimal Control Analysis for HBV Epidemic Model with Vaccination
Previous Article in Special Issue
Conformable Double Laplace Transform Method (CDLTM) and Homotopy Perturbation Method (HPM) for Solving Conformable Fractional Partial Differential Equations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On (p,q)-Analogs of the α-th Fractional Fourier Transform and Some (p,q)-Generalized Spaces

1
Department of Mathematics, Faculty of Science, Al-Balqa Applied University, Salt 11134, Jordan
2
Jadara University Research Center, Jadara University, Irbid 21110, Jordan
3
Faculty of Information Technology, Abu Dhabi University, Abu Dhabi 59911, United Arab Emirates
*
Author to whom correspondence should be addressed.
Symmetry 2024, 16(10), 1307; https://doi.org/10.3390/sym16101307
Submission received: 14 June 2024 / Revised: 30 July 2024 / Accepted: 5 September 2024 / Published: 3 October 2024

Abstract

:
In this article, the ( p , q ) -analogs of the α -th fractional Fourier transform are provided, along with a discussion of their characteristics in specific classes of ( p , q ) -generalized functions. Two spaces of infinitely ( p , q ) -differentiable functions are defined by introducing two ( p , q ) -differential symmetric operators. The ( p , q ) -analogs of the α -th fractional Fourier transform are demonstrated to be continuous and linear between the spaces under discussion. Next, theorems pertaining to specific convolutions are established. This leads to the establishment of multiple symmetric identities, which in turn requires the construction of ( p , q ) -generalized spaces known as ( p , q ) -Boehmians. Finally, in addition to deriving the inversion formulas, the generalized ( p , q ) - analogs of the α -th fractional Fourier transform are introduced, and their general properties are discussed.

1. Introduction

The core of q-calculus theory is the idea of deriving q-derivatives and q-integrals [1]. The q-calculus theory solves a wide range of symmetric problems, including sets of non-differentiable functions, integral transforms, Bessel functions, hypergeometric functions, beta functions, gamma functions, and many more (see, for more details, [2,3,4,5,6] and the references cited therein). It is a fundamental idea in many fields of physical science, such as mathematics, physics, high-energy nuclear physics, cosmic strings, and conformal quantum mechanics. It also addresses topics in number theory, combinatorics, quantum theory, physics, theory of relativity, orthogonal polynomials, and basic hypergeometric functions (see, e.g., [7,8]; see also [9,10]).
The q-calculus is the simplified form of the ( p , q ) -calculus when p = 1 . Sadjang [11,12,13] carried out further research on the fundamental theorem of ( p , q ) -calculus as well as the ( p , q ) -integration, ( p , q ) -derivative, and ( p , q ) -Taylor formulae. Many researchers and developers of the ( p , q ) -Mathieu-type series, ( p , q ) -Hermite–Hadamard inequalities and ( p , q ) -Beta functions have produced more detailed work in [14,15,16]. Several scholars have also conducted more research on ( p , q ) -integral transformations. The characteristics of the ( p , q ) -analogs of the Laplace transform and their applications in the resolution of specific ( p , q ) -difference equations were investigated by Sadjang [12]. Later on, Jirakulchaiwong et al. [17] studied the ( p , q ) -analogs of Laplace-type integral transforms and gave characteristics that led to further applications.
The continuous linear forms known as generalized functions (distributions) are defined over sets of indefinitely smooth functions and have been widely used in applied physics and engineering problems [18]. Distributions are useful for characterizing physical phenomena as point charges and for smoothing out discontinuous functions. The recent generalized functions space, often called the space of Boehmians, has an algebraic structure analogous to the field of quotients [19]. When applied to function spaces, different spaces of Boehmians are produced from the structure, and multiplications are interpreted as convolutions [19,20,21,22,23,24,25]. Delta sequences with decreasing support in the origin are required while constructing Boehmian spaces. The uniqueness theorems, which are regarded as an uncertainty principle for Boehmian dynamics [26,27], were in reality the result of this idea. However, Boehmians allow different interpretations of such extended operators to form isomorphisms among the different Boehmian spaces because their definition is based on abstract algebraic notions [28].
In Section 2, we give a brief introduction to the ( p , q ) -theory of Boehmians and the ( p , q ) -calculus theory in this article. We prove a theory regarding ( p , q ) -convolutions and extract certain properties of the ( p , q ) -analogs of the α -th fractional Fourier transforms in Section 3. In Section 4 and Section 5, we discuss two spaces of ( p , q ) -Boehmians. Section 6 examines a number of aspects of the generalized fractional integral operator, as well as its generalized inversion.

2. (p,q)-Calculus and (p,q)-Generalized Functions

The common ideas and symbols found in the ( p , q ) -calculus are summarized hereafter [11,12,13,15,17]. We consider q to be a fixed real number and 0 < q < p 1 . The ( p , q ) -derivative is defined as the ( p , q ) -analog of the ψ derivative [29]
D p , q ψ ζ : = ψ p ζ ψ q ζ p ζ q ζ , if ζ 0 , ψ 0 , if ζ = 0 .
If ψ is differentiable, then lim p , q 1 D p , q ψ ζ = ψ ζ . ζ p , q and ζ p , q ! must represent the ( p , q ) -numbers and ( p , q ) -factorials introduced by [30]
ζ p , q = p ζ q ζ p q and ζ p , q ! = i = 1 ζ i p , q , 0 p , q = 1 ,
respectively.
The product and division of two continuous functions, ψ 1 and ψ 2 , meet the following respective ( p , q ) -analogs when taken as a ( p , q ) -derivative [29]
D p , q ψ 1 ψ 2 ζ = ψ 1 p ζ D p , q ψ 2 ζ + ψ 2 q ζ D p , q ψ 1 ζ
and
D p , q ψ 1 ψ 2 ζ = ψ 2 p ζ D p , q ψ 1 ζ ψ 1 p ζ D p , q ψ 2 ζ ψ 2 p ζ ψ 2 q ζ .
Alternatively, they could be described as
D p , q ψ 1 ψ 2 ζ = ψ 1 q ζ D p , q ψ 1 ζ + ψ 2 p ζ D p , q ψ 1 ζ
and
D p , q ψ 1 ψ 2 ζ = ψ 2 q ζ D p , q ψ 1 ζ ψ 1 q ζ D p , q ψ 2 ζ ψ 2 p ζ ψ 2 q ζ .
The p , q -integrals of a function ψ are defined by [29]
0 x ψ ζ d p , q ζ = p q ζ 0 q i p i + 1 ψ ζ q i p i + 1 , p q > 1 ,
0 ψ ζ d p , q ζ = p q q i p i + 1 ψ q i p i + 1 , p q > 1 ,
when the sums are finite for real number ζ . The p , q -integration by parts is defined for functions ψ 1 and ψ 2 by [11]
0 ψ 1 ζ D p , q ψ 2 ζ d p , q ζ = ψ 1 ζ ψ 2 ζ | 0 0 ψ 2 q ζ D p , q ψ 1 ζ d p , q ζ .
The two types of ( p , q ) -exponential functions are defined by [12]
E p , q ζ = j = 0 q j j 1 2 ζ j j p , q ! ζ C ,
and
e p , q ζ = j = 0 p j j 1 2 ζ j j p , q ! ζ < 1 .
In Equations (11) and (12), the q-exponential functions E p and e p , respectively, are obtained by substituting p = 1 . Additionally, Ref. [11] provides ( p , q ) -derivatives of the ( p , q ) -analogs of the exponential function as
D p , q e p , q ( k ζ ) = k e p , q ( k p ζ ) and D p , q E p , q ( k ζ ) = k E p , q ( k q ζ ) , k R .
Consequently,
D p , q e p , q ( ζ ) = e p , q ( p ζ ) and D p , q E p , q ( ζ ) = E p , q ( q ζ ) .
Further, from [12] (13), we recall that
D p , q n e p , q ( k ζ ) = k n p n 2 e p , q ( k p n ζ ) and D p , q n E p , q ( k ζ ) = k n q n 2 E p , q ( k q n ζ ) , n N , k R .
The ( p , q ) -gamma function of the first and second kinds are, respectively, defined by [11]
Γ p , q ( i ) = p i ( i 1 ) 2 0 ζ i 1 E p , q ( q ζ ) d p , q ζ .
Boehmians, driven by regular operators and introduced by Boehme [31], are among the newest generalizations of generalized functions. Numerous articles exist that link the expansion of Boehmians into several classes of tempered Boehmians, ultra Boehmians, integral transformations and other applications. Assume that Y is a subspace of a linear space X. Then, for any pair of elements ψ ( X , ˘ ) and ω 1 ( Y , ˘ ) , there are allocated the products ˘ and ˘ such that:
(i)
For ω 1 , ω 2 Y , we have ω 1 ˘ ω 2 Y , ω 1 ˘ ω 2 = ω 2 ˘ ω 1 .
(ii)
For ψ X , ω 1 , ω 2 Y , we have ψ ˘ ω 1 ˘ ω 2 = ψ ˘ ω 1 ˘ ω 2 .
(iii)
ψ 1 , ψ 2 X , ω 1 Y , r R
ψ 1 + ψ 2 ˘ ω 1 = ψ 1 ˘ ω 1 + ψ 2 ˘ ω 1 , r ψ 1 ˘ ω 1 = r ψ 1 ˘ ω 1 .
Let Δ represent a family of sequences that are part of Y. After that, Δ is regarded as a family of delta sequences if it satisfies both Δ 1 and Δ 2 ,
P 1 : For ψ 1 , ψ 2 X , x n Δ and ψ 1 ˘ x n = ψ 2 ˘ x n , we have ψ 1 = ψ 2 , n N .
P 2 : y n , x n Δ y n ˘ x n Δ .
If S = { ψ n , x n , ψ n X , x n Δ , n N } , then ψ n , x n is a pair of quotients of sequences in S iff
ψ n ˘ x m = ψ m ˘ x n ,
for all natural numbers n and m. The pairs ψ n , y n and κ n , x n are equivalent pairs of quotients according to the notation ∼ iff
ψ n ˘ x m = κ m ˘ y n ,
for all natural numbers n and m. In this regard, ∼ forms an equivalent relation on the set S, and therefore, ψ n y n constitutes an equivalence class named a Boehmian that we denote as B .

3. The α-th (p,q)-Fractional Fourier Transform and Its Convolution

A generalization of the classical Fourier integral operator into the fractional domains is the fractional Fourier integral operator [32]. Although it has been defined in several ways in the literature, the notion of rotations over an angle π / 2 in the classical Fourier integral operator has been enlarged to give the most logical explanation of the fractional Fourier integral operator [33,34]. A rotation over an angle α is correlated with the fractional Fourier integral operator, whereas the typical Fourier integral operator corresponds with a rotation on the time–frequency plane and q-difference equations [23,35,36].
Let S be the Schwartz space of rapidly decreasing functions on R , and V R denotes the space [37]
V R = v S : v k 0 = 0 , k = 0 , 1 , 2 , .
Then, the Lizorkin space Θ R is defined as
Θ R = ψ S : F ψ V R
where F ( ψ ) is the Fourier transform of ψ . If ψ S R and ω > 0 , then we have the following definition.
Definition 1
([33]). The α-th Fourier transform for a function ψ is defined for 0 < α 1 by
F α ψ w = ψ ζ e i ζ w 1 α d ζ .
The inverse transform of the α-th fractional Fourier transform F α is given by [33]
ψ ζ = 1 2 π i F α ψ w w 1 α α e i ζ w 1 α d w .
Following [37], we introduce the following definition.
Definition 2.
An infinitely p , q -differentiable complex-valued function ψ over R is in S p , q v , r if and only if
γ r , p , q ψ = sup ζ R ζ r D p , q v ψ ζ < ,
for every choice of constants r and v.
The dense subspace of S p , q v , r denoted by D r , p , q v R consists of those p , q -differentiable functions of compact supports over R such that
sup ζ R D p , q v ψ ζ < .
Definition 3.
The p , q -analog of the α-th Fourier transform of a function ψ of the first typeis definedfor 0 < α 1 by
F q α , p w = ψ ζ E p , q i ζ w 1 α d p , q ζ ,
whereas the α-th p , q -analog of the Fourier transform of a function ψ of the second type is definedfor 0 < α 1 by
F ˘ q α , p ψ w = ψ ζ e p , q i ζ w 1 α d p , q ζ .
Theorem 1.
Let ψ , ψ 1 and ψ 2 be functions of certain exponential growth conditions. Then, the following statements hold true.
(i)
(Linearity) For real numbers α 1 , α 1 we have
F q α , p α 1 ψ 1 + α 2 ψ 2 w = α 1 F q α , p ψ 1 w + α 2 F q α , p ψ 2 w . F ˘ q α , p α 1 ψ 1 + α 2 ψ 2 w = α 1 F ˘ q α , p ψ 1 w + α 2 F ˘ q α , p ψ 2 w .
(ii)
(Scaling) For a real number β, we have
F q α , p ψ β ζ w = 1 β F q α , p ψ ζ w β α . F ˘ q α , p ψ β ζ w = 1 β F ˘ q α , p ψ ζ w β α .
Proof. 
The proof of i follows from the definition of the p , q -integral. To prove i i , let z = β ζ d p , q ζ = 1 β d p , q z . Then, inserting the given substitution under the integral sign yields
F q α , p ψ β w = 0 ψ β ζ E p , q i ζ w 1 α d p , q ζ = 0 ψ z E p , q i z β w 1 α d p , q z β = 1 β 0 ψ z E p , q i z w β α 1 α d p , q z = 1 β F q α , p ψ ζ w β α .
The method used for the proof of the first part is also applicable to the second part. This concludes the proof of the theorem.
Theorem 2.
Let 0 < α 1 . Then, the p , q -analog of the α-th fractional Fourier transform of a function ψ of the first type, assuming the following properties:
(i)
F q α , p ψ ζ x w = E p , q i x w 1 α F q α , p ψ w .
(ii)
F q α , p D p , q ψ ζ w = i w 1 α q 1 F q α , p ψ q α w .
(iii)
F q α , p D p , q n ψ ζ w = i q 1 w 1 α F q α , p D p , q n 1 f w .
(iv)
F q α , p D p , q n ψ ζ w = i q 1 w 1 α n F q α , p ψ w .
(v)
D p , q F q α , p ψ ζ w = i 1 α F q α , p ζ ψ q α w .
Proof. 
i From Definition 3, we have
F q α , p ψ w = ψ ζ x E p , q i ζ w 1 α d p , q ζ .
Using the change of variable v = ζ x gives d p , q v = d p , q ζ . Hence, we derive
F q α , p ψ w = ψ v E p , q i v + x w 1 α d p , q v = ψ v E p , q i v + x w 1 α d p , q v = E p , q i x w 1 α ψ v E p , q i v w 1 α d p , q v = E p , q i x w 1 α F q α , p ψ w .
i i With the aid of Equations (1) and (21), we obtain
F q α , p D p , q ψ ζ w = D p , q ψ ζ E p , q i ζ w 1 α d p , q ζ .
Hence, the p , q -integration by parts 3 and the fact that ψ S r . p , q v R , whichgives ψ ζ E p , q i ζ p w 1 α = 0 , yield
F q α , p D p , q ψ ζ w = ψ ζ E p , q i ζ p w 1 α ψ q ζ D p , q E p , q i ζ w 1 α d p , q ζ = i w 1 α ψ q ζ E p , q i ζ q w 1 α d p , q ζ .
Using Equation (21) and altering the variables so that q ζ = z reveal
F q α , p D p , q ψ w = i w 1 α q 1 ψ t E p , q i ζ q q 1 w 1 α d p , q ζ = i w 1 α q 1 ψ ζ E p , q i ζ w 1 α d p , q ζ = i w 1 α q 1 ψ ζ E p , q i ζ w 1 α d p , q ζ = i w 1 α q 1 F q α , p ψ w .
i i i Utilizing the definition of F q α , p in conjunction with the ( p , q ) -integration by parts suggests that
F q α , p D p , q n ψ ζ w = D p , q n ψ ζ E p , q i ζ w 1 α d p , q ζ = D p , q n 1 ψ ζ E p , q i ζ p w 1 α D p , q n 1 ψ q ζ D p , q E p , q i ζ w 1 α d p , q ζ = D p , q n 1 ψ ζ E p , q i ζ p w 1 α i w 1 α D p , q n 1 ψ q ζ E p , q i t w 1 α d p , q ζ = i q 1 w 1 α D p , q n 1 ψ q ζ E p , q i ζ w 1 α d p , q ζ = i q 1 w 1 α F q α , p D p , q n 1 ψ ζ w .
i v This part follows by proceeding n-times using the p , q -integration by parts for Part i i i . v Using the definitions of the integral F q α , p and the p , q -derivative, we derive
D p , q F q α , p ψ ζ w = ψ ζ D p , q w E p , q i ζ w 1 α d p , q ζ = i 1 α ζ ψ ζ E p , q i ζ q w 1 α d p , q ζ = i 1 α ζ ψ ζ E p , q i ζ q α w 1 α d p , q ζ = i 1 α F q α , p ζ ψ q α w .
The proof is ended. □
The theorem that follows has a proof that is quite similar to the previous theorem.
Theorem 4.
Let 0 < α 1 . Then, the p , q -analog of the α-th fractional Fourier transform of a function ψ of the second type assumes the following properties:
(i)
F ˘ q α , p ψ ζ x w = E p , q i x w 1 α F ˘ q α , p ψ w .
(ii)
F ˘ q α , p D p , q ψ w = i w 1 α q 1 F ˘ q α , p ψ q α w .
(iii)
F ˘ q α , p D p , q n ψ w = i q w 1 α F ˘ q α , p D p , q n 1 ψ w .
(iv)
F ˘ q α , p D p , q n ψ w = i q 1 w 1 α n F ˘ q α , p D p , q n 1 ψ w .
(v)
D p , q F ˘ q α , p ψ ζ w = i 1 α F ˘ q α , p ζ ψ ζ q α w .
Theorem 4.
(Convolution Theorems) Let ψ 1 and ψ 2 be functions belonging to S p , q v , r . Then, the convolution theorems for F q α , p and F ˘ q α , p are given by
i F q α , p ψ 1 ˘ ψ 2 w = F q α , p ψ 1 w F q α , p ψ 2 w ,
i i F ˘ q α , p ψ 1 ˘ ψ 2 w = F ˘ q α , p ψ 1 w F ˘ q α , p ψ 2 w ,
where the convolution product ψ 1 ˘ ψ 2 is given by
ψ 1 ˘ ψ 2 ζ = ψ 1 z ψ 2 ζ z d p , q z , ζ > 0 .
Proof. 
To prove the first part, from definitions of the p , q -analog of the α -th fractional Fourier transform and the convolution product, we have
F q α , p ψ 1 ˘ ψ 2 w = ψ 1 ˘ ψ 2 ζ E p , q i ζ w 1 α d p , q ζ = E p , q i ζ w 1 α ψ 1 z ψ 2 ζ z d q z d p , q ζ .
Therefore, by allowing ζ z = y , we obtain d p , q ζ = d p , q y . Hence, computations yield
F q α , p ψ 1 ˘ ψ 2 w = E p , q i z + y w 1 α ψ 1 z ψ 2 y d q z d p , q y = E p , q i z + y w 1 α ψ 1 z ψ 2 y d q z d p , q y = g y E p , q i y w 1 α d p , q y ψ 1 z E p , q i z w 1 α d q z = F q α , p ψ 1 w F q α , p ψ 2 w .
Similar evidence supports the second part. This ends the proof. □
Theorem 5.
(Convolution Theorems) Let ψ 1 and ψ 2 be functions belonging to S r . p , q v R . Then, the convolution theorems for F q α , p and F ˘ q α , p are given by
i F q α , p ψ 1 × q α ψ 2 w = F q α , p ψ 1 w F q α , p ψ 2 w ,
i i F ˘ q α , p ψ 1 × q α ψ 2 w = F ˘ q α , p ψ 1 w F ˘ q α , p ψ 2 w ,
where
ψ 1 × q α ψ 2 ζ = 0 ψ 1 z ψ 2 z ζ d p , q z , ζ 0 .
Proof. 
This theorem’s proof is comparable to that of the preceding theorem. However, we have
F q α , p ψ 1 × q α ψ 2 w = ψ 1 × q α ψ 2 ζ E p , q i ζ w 1 α d p , q ζ = 0 ψ 1 z ψ 2 z ζ d q z E p , q i ζ w 1 α d p , q ζ = 0 ψ 1 z ψ 2 z ζ d q z E p , q i ζ w 1 α d p , q ζ
Altering the variable as u = z ζ gives
F q α , p ψ 1 × q α ψ 2 w = 0 ψ 1 z ψ 2 u d q z E p , q i z u w 1 α d p , q u = ψ 2 u E p , q i u w 1 α d p , q u 0 ψ 1 z E p , q i z w 1 α d q z = F q α , p ψ 2 w 0 ψ 1 z E p , q i z w 1 α d q z .
This ends the proof. □
Definition 4.
Let u be a locally integrable function on ( a , ) . Then, the p , q -Riemann–Liouville integral of order α, 0 < α 1 , of the function u is given by
I x α a u x = 1 Γ p , q α a x ζ p , q α 1 u ζ d p , q ζ ,
and for a locally integrable function u on ( , b ) , we have
I x α a u x = 1 Γ p , q α b x ζ p , q α 1 u ζ d p , q ζ .
Inserting a = in 27 and b = in 28 , we obtain the p , q -analogs for the Weyl fractional integrals of order α. However, we insert a proof for the simple result.
Theorem 6.
Let u be a function belonging to S p , q v , r , the Lizorkin space. For 0 < α 1 , 0 < β 1 , ζ > 0 and w 0 , we have
i F q α , p I β a u w = F q α , p ζ β 1 Γ p , q β w F q α , p u w .
i i F ˘ q α , p I β a u w = F ˘ q α , p ζ β 1 Γ p , q β w F ˘ q α , p u w .
Proof. 
To prove the first part, we, by the definition of the p , q -Riemann–Liouville integral of order β , 0 < β 1 , ζ > 0 , have
F q α , p I β a u w = F q α , p ζ β 1 Γ p , q β ˘ u ζ w .
Applying Theorem 4 gives
F q α , p I β a u w = F q α , p ζ β 1 Γ p , q β w F q α , p u w .
The proof of the second part is omitted as it is similar. This ends the proof of our result. □

4. The (p,q)-Space β p , q v S p , q v , r , D p , q v , r , ˘ , Λ p α , q

In the present section, we aim to establish the p , q -analog of a recent space of generalized function (namely, the p , q -Boehmian space) with the sets S p , q v , r , D p , q v , r , ˘ , Λ p α , q . Therefore, we introduce a class of p , q -delta sequences as follows:
Definition 5.
Let Δ p α , q denote the set of subsequences x n 1 of the p , q -space D p , q v , r such that the following hold:
x n ζ d p , q ζ = 1 , n N ,
x n p , q = x n ζ d p , q ζ < M , M R , n N ,
s u p p x n ζ 0 as n , A > 0 .
We prove the subsequent theorem.
Theorem 7.
The class Λ p α , q , ˘ forms a class of p , q -delta identities.
Proof. 
Here, we show that x n ˘ y n Λ p α , q for all x n , y n Λ p α , q . As the proofs of Equations (30) and (31) are straightforward, it suffices to show that Equation 29 holds. By applying the p , q -convolution theorem for w = 0 , we have
F q α , p x n ˘ y n 0 = F q α , p x n 0 F q α , p y n 0 .
Therefore, by applying Equation (21) for both sides of Equation (32), we derive
x n ˘ y n ζ d p , q ζ = x n ζ d p , q ζ y n ζ d p , q ζ .
Since x n and y n are p , q -delta sequences in Λ p α , q it follows that
x n ˘ y n ζ d p , q ζ = 1 .
The proof is ended. □
Theorem 8.
The product ˘ is commutative in S p , q v , r , i.e., κ ˘ ψ = ψ ˘ κ .
Proof. 
We by the p , q -convolution theorem, (Theorem 4 i i ) have that
F q α , p κ ˘ ψ w = F q α , p κ w F q α , p ψ w .
The right-hand side of Equation (33) can be interchanged to yield
F q α , p κ ˘ ψ w = F q α , p ψ w F q α , p κ w
Hence, once again by the p , q -convolution theorem (Theorem 4 i i ), we obtain
F q α , p κ ˘ ψ w = F q α , p ψ ˘ κ w .
Thus, applying the inverse F q α , p transform to both sides ends the proof of our result. □
Theorem 9.
Let κ , ψ , φ S p , q v , r ; then, the associative law holds: κ ˘ ψ ˘ φ = κ ˘ ψ ˘ φ .
Proof. 
By applying the F q α , p transform to κ ˘ ψ ˘ φ and using (Theorem 4 i i ) four times, we obtain
F q α , p κ ˘ ψ ˘ φ w = F q α , p κ w F q α , p ψ ˘ φ w = F q α , p κ w F q α , p ψ w F q α , p φ w = F q α , p κ ˘ ψ w F q α , p φ w = F q α , p κ ˘ ψ ˘ φ w .
Hence, by applying the inverse F q α , p transform to both sides, we reach the given result. □
Theorem 10.
If ψ D p , q v , r and κ , κ n , φ S p , q v , r , κ n κ , as n , then we have
(i)
κ + φ ˘ ψ = κ ˘ ψ + φ ˘ ψ .
(ii)
κ n ˘ ψ κ ˘ ψ as n .
(iii)
λ κ ˘ ψ = λ κ ˘ ψ , for some λ C .
Simple computations provide proof for this theorem. We removed the information as a result.
Theorem 11.
If κ S p , q v , r and ψ D p , q v , r , then κ ˘ ψ S p , q v , r .
The definitions of S p , q v , r and D p , q v , r provide the proof for this theorem. We therefore removed the details.
Theorem 12.
Let x n Λ p α , q and κ S p , q v , r ; then κ ˘ x n κ as n .
Proof. 
With reference to Equation (19), we arrive at
ζ r D p , q v κ ˘ x n κ ζ = ζ r D p , q v κ z ζ κ ζ x n z d p , q z M K ζ r D p , q v Φ z ζ κ z ζ κ ζ d p , q z 0
as n where Φ z ζ = κ z ζ κ ζ , κ z t = κ t z , M is positive constant such that x n M and K is bounded subset in R such that s u p p x n K for all n N .
The proof is finished. □
The space β p , q v β p , q v S p , q v , r , D p , q v , r , ˘ , Λ p α , q of p , q -Boehmians is thereby defined. The sequences κ n , x n and θ n , y n are equivalent, κ n , x n θ m , y m , in β p , q v if
κ n ˘ y m = θ m ˘ x n m , n N .
Indeed, ∼ defines an equivalence relation on β p , q v and the class containing κ n , x n is an equivalence in β p , q v denoted as
κ n x n
which we call p , q -Boehmian. Some p , q -embedding between S p , q v , r and β p , q v is expressed as
κ κ ˘ x n x n ,
for all m , n N . If κ n x n β r , p , q v and ε S p , q v , r , then
κ n x n ˘ ε = κ n ˘ ε x n .
In the following section, we aim to construct a space of ranges for the α -th fractional p , q -Fourier transforms.

5. The (p,q)-Space β f α S p , f α , q , D p , f α , q , , Λ p , f α , q of Ultra-Boehmians

To define the class of p , q -ultra-Boehmians, we let S p , f α , q and D p , f α , q be the fraction spaces of F q α , p of all members of S p , q v , r and D p , q v , r , over R , respectively. In that manner, we let Λ p , f α , q be the fractional set of all F q α , p transforms of all sequences in Λ p , q α . Then, we present a product on S p , f α , q as follows:
U f V f w = U f w V f w ,
for U f S p , f α , q and V f D p , f α , q . Then, we are in a position to establish the following theorem.
Theorem 13.
Let U f , U f , n n = 1 , H f , V f S p , f α , q , U f , n U f as n and Y f D p , f α , q . Then, the following identities hold.
(i)
U f + V f p q Y f = U f Y f + V f Y f ,
(ii)
U f , n Y f U f Y f as U f , n U f as n ,
(iii)
U f V f = V f U f ,
(iv)
U f V f H f = U f V f H f ,
(v)
η U f V f = η U f V f , η C .
Proof. 
The proofs for ( i ) and ( i i ) are simple since they resemble the proofs provided to the space β p , q v S p , q v , r , D p , q v , r , ˘ , Λ p , q α .
Proof. 
i i i Let κ , ψ S p , q v , r be such that U f = F q α , p κ and V f = F q α , p ψ ; then, by Equation (36), we have
U f V f w = U f w V f w = F q α , p κ w F q α , p ψ w .
Hence, using Theorem 4(ii) gives
U f V f w = F q α , p κ ˘ ψ w S p , f α , q .
Since κ ˘ ψ = ψ ˘ κ in β p , q v , it follows again from Equation 36 that
U f V f w = F q α , p ψ ˘ κ w = V f U f w S p , f α , q .
Proof. 
The proof of i v is similar to that of i i i , whereas the proof of v is straightforward.
The proof is therefore ended. □
Theorem 14.
Let φ ˜ n , φ n Λ p , f α , q and U f S p , f α , q , then φ ˜ n φ n Λ p , f α , q and lim n U f φ ˜ n = U f .
Proof. 
Let x n , y n Λ p , q α be such that F q α , p x n = φ ˜ n and F q α , p y n = φ n , n N . Then, by Equation (36), we have
φ ˜ n φ n w = φ ˜ n w φ n w = F q α , p x n ˘ y n w .
Hence, φ ˜ n ˘ φ n belongs to Λ p , f α , q since x n ˘ y n belongs to Λ p , q α . It is also possible to develop a comparable proof for the second part of the theorem. The proof of lim n U f φ ˜ n = U f is straightforward.
This ends the proof. □
The space β f α β f α S p , f α , q , D p , f α , q , , Λ p , f α , q of ultra-Boehmians is obtained.
It is clear from the context that the set of all p , q -delta sequences extends the set of all delta sequences given in [38] as p and q tend to 1. Moreover, as q tends to 1 the spaces β f α β f α S p , f α , q , D p , f α , q , , Λ p , f α , q and β p , q v β p , q v S p , q v , r , D p , q v , r , ˘ , Λ p α , q of p , q give new spaces of Boehmians.
Two sequences U f , n , X f , n and Φ f , n , Y f , n from β f α are equivalent, U f , n , X f , n p , q Φ f , n , Y f , n , iff
U f , n Y f , m = Φ f , m X f , n m , n N .
Indeed, p , q defines an equivalence relation on β f α . An ultra-Boehmian in β f α is written as
U f , n X f , n
where U f , n = F q α , p κ n S p , f α , q and X f , n = F q α , p x n Λ p , f α , q . An embedding between S p , f α , q and β f α is expressed as
y y X f , n X f , n , m , n N .
If U f , n X f , n β f α and X S p , f α , q , then it follows that
U f , n X f , n X = U f , n X X f , n .
The notions of addition, convergence, and scalar multiplication in β f α are comparable to those of the first space.
Definition 6.
Let x n Λ p , q α and κ n S p , q v , r ; then, the generalized α-th p , q -fractional Fourier operator X q α , p of a p , q -Boehmian κ n x n in β p , q v can be drawn as
X q α , p κ n x n = F q α , p κ n F q α , p x n ,
where F q α , p κ n S p , f α , q and F q α , p x n Λ p , f α , q , which is indeed a member of β f α .

6. Inversion and Characteristics

This section discusses some properties of the generalized α -th p , q -fractional Fourier operator X q α , p . In order to demonstrate the well-definedness of F q α , p , we have the following theorem.
Theorem 15.
The generalized α-th p , q -fractional Fourier operator X q α , p : β p , q v β f α is well-defined.
Proof. 
Let us assume that κ n x n = θ n y n β r , p , q v . Then, the notion of quotients of sequences in β p , q v implies that κ n ˘ y m = θ m ˘ x n , m , n N . Hence, applying F q α , p to both sides of the previous equation gives
F q α , p κ n ˘ y m = F q α , p θ m ˘ x n , m , n N .
Consequently, the p , q -convolution theorem (Theorem 4) says
F q α , p κ n F q α , p y m = F q α , p θ m F q α , p x n .
As an alternative, this might be written by using the operation ⊙ as
F q α , p κ n F q α , p y m = F q α , p θ m F q α , p x n .
Also as a result of Equation 56 and the concept of quotients in β f α , we arrive at
F q α , p κ n F q α , p x n = F q α , p θ n F q α , p y n , m , n N .
Thus, using Equation 40 , we reached to the conclusion that
X q α , p κ n x n = X q α , p θ n y n , m , n N .
This ends the proof. □
Theorem 16.
The generalized α-th p , q -fractional Fourier operator X q α , p : β p , q v β f α is linear.
Proof of this theorem follows from the concept of addition of the p , q -Boehmians spaces. Hence, it has been deleted.
Theorem 17.
Let κ n x n β p , q v , κ n x n = 0 , then X q α , p κ n x n = 0 .
Proof of this theorem is straightforward. Details are, therefore, omitted.
Theorem 18.
Let κ n x n , θ n y n β p , q v ; then, we have
X q α , p κ n x n ˘ θ n y n w = X q α , p κ n x n X q α , p θ n y n .
Proof. 
Let κ n x n , θ n y n β p , q v be given. Then, by employing ˘ , we obtain
X q α , p κ n x n ˘ θ n y n = X q α , p κ n ˘ θ n x n ˘ y n .
Hence, the p , q -convolution Theorem, Theorem 4, reveals
X q α , p κ n x n ˘ θ n y n w = X q α , p κ n x n X q α , p θ n y n .
The proof is complete. □
Definition 7.
If U f , n X f , n β f α , U f , n X f , n = F q α , p κ n F q α , p x n , then we introduce the inverse operator of X q α , p , X q α , p 1 : β f α β p , q v , as
X q α , p 1 U f , n X f , n = κ n x n ,
for each x n Λ p , q α .
Theorem 19.
The inverse generalized α-th p , q -fractional Fourier operator X q α , p 1 : β f α β p , q v is well-defined and linear.
Proof. 
Let U f , n X f , n = V f , n Y f , n in β f α , where U f , n X f , n = F q α , p κ n F q α , p x n and V f , n Y f , n = F q α , p θ n F q α , p y n . Then,
F q α , p κ n F q α , p y m = F q α , p θ m F q α , p x n
for some θ n , κ n in S p , q v , r . By using Theorem 4, we derive
X q α , p κ n ˘ y m = X q α , p θ m ˘ x n m , n N .
Therefore, applying the inversion formula in Equation 43 , we get κ n ˘ y m = θ m ˘ x n m , n N . Hence, we have
κ n x n = θ n y n .
To show that X q α , p 1 is linear, let U f , n X f , n = F q α , p κ n F q α , p x n , V f , n Y f , n = F q α , p θ n F q α , p y n be members in β f α ; then, by the addition of β f α and the p , q -convolution theorem, we write
X q α , p 1 U f , n X f , n + V f , n Y f , n = X q α , p 1 F q α , p κ n ˘ y n + θ n ˘ x n F q α , p x n ˘ y n . Therefore, considering the inversion formula in Equation (43), we assert that
X q α , p 1 U f , n X f , n + V f , n Y f , n = κ n ˘ y n + θ n ˘ x n x n ˘ y n .
Hence, addition in β p , q v finishes the proof of the theorem. □

7. Conclusions

Two ( p , q ) -analogs of the α -th fractional Fourier transform in the post-quantum calculus have been demonstrated and expanded into a class of ( p , q ) -generalized functions known as ( p , q ) -Boehmians. The generalized results are identified as a generalization of the traditional results of Romero et al. [33]. Additionally, the paper has looked into different sets of ( p , q ) -delta sequences, ( p , q ) -convolution products, and ( p , q ) -classes of Boehmians. As a result, the created sets of ( p , q ) -Boehmians were thoroughly examined using the generalized α -th ( p , q ) -Fourier transform and its inversion formula. Numerous findings about the generalized integral and its inverse formula were discovered.

Author Contributions

Conceptualization, S.A.-O.; methodology, W.S.; software, S.A.-O.; validation, S.A.-O.; investigation, W.S.; resources, S.A.-O.; writing—original draft preparation, S.A.-O.; writing—review and editing, S.A.-O.; funding acquisition, W.S. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Jackson, F.H. q-difference equations. Amer. J. Math. 1910, 32, 305–314. [Google Scholar] [CrossRef]
  2. Al-Omari, S. q-analogs and properties of the Laplace-type integral operator in the quantum calculus theory. J. Inequal.Appl. 2020, 2020, 203. [Google Scholar] [CrossRef]
  3. Kac, V.; Cheung, P. Quantum Calculus; Springer: New York, NY, USA, 2001; Volume 1. [Google Scholar]
  4. Ucar, F. q-Sumudu transforms of q-analogs of Bessel functions. Sci. World J. 2014, 2014, 327019. [Google Scholar] [CrossRef] [PubMed]
  5. Al-Omari, S.; Baleanu, D.; Purohit, D. Some results for Laplace-type integral operator in quantum calculus. Adv. Differ. Equ. 2018, 124, 124. [Google Scholar] [CrossRef]
  6. Purohit, S.D.; Kalla, S.L. On q-Laplace transforms of the q-Bessel functions. Calc. Appl. Anal. 2007, 10, 189–196. [Google Scholar]
  7. Ucar, F.; Albayrak, D. On q-Laplace type integral operators and their applications. J. Differ. Equ. Appl. 2012, 18, 1001–1014. [Google Scholar] [CrossRef]
  8. Albayrak, D.; Purohit, S.D.; Ucar, F. On q-Sumudu transforms of certain q-polynomials. Filomat 2013, 27, 411–427. [Google Scholar] [CrossRef]
  9. Mishra, S.K.; Singh, V. Some new Hermite–Hadamard and Ostrowski type inequalities for s-preinvex functions in (p,q)-calculus with applications. Bull. Iran. Math. Soc. 2023, 49, 33. [Google Scholar] [CrossRef]
  10. Vyas, V.; L-Jarrah, A.A.; Purohit, S.; Araci, S.; Nisar, K. q-Laplace transform for product of general class of q-polynomials and q-analog of L-function. J. Inequ. Appl. 2020, 11, 21–28. [Google Scholar]
  11. Sadjang, P. On the fundamental theorem of (p,q)-calculus and some (p,q)-Taylor formulas. Results Math. 2018, 73, 1–21. [Google Scholar]
  12. Sadjang, P.N. On two (p,q)-analogs of the Laplace transform. J. Difference Equ. Appl. 2017, 23, 1562–1583. [Google Scholar]
  13. Sadjang, P.N. On the (p,q)-gamma and the (p,q)-beta functions. arXiv 2015, arXiv:1506.07394. [Google Scholar]
  14. Suthar, D.L.; Purohit, S.D.; Araci, S. Solution of fractional Kinetic equations associated with the (p,q)-Mathieu-type series. Discret. Dyn. Nat. Soc. 2020, 2020, 8645161. [Google Scholar] [CrossRef]
  15. Milovanovi, G.V.; Gupta, V.C.; Malik, N. (p,q)-beta functions and applications in approximation. Bol. Soc. Mat. Mex. 2018, 24, 219–237. [Google Scholar] [CrossRef]
  16. Prabseang, J.; Nonlaopon, K.; Tariboon, J.; Ntouyas, S.K. Refinements of Hermite-Hadamard inequalities for continuous convex functions via (p,q)-calculus. Mathematics 2021, 9, 446. [Google Scholar] [CrossRef]
  17. Jirakulchaiwong, S.; Nonlaopon, K.; Tariboon, J.; Ntouyas, S.K.; Kim, H. On (p,q)-analogs of Laplace-typed integral transforms and applications. Symmetry 2021, 13, 631. [Google Scholar] [CrossRef]
  18. Zemanian, A.H. Distribution Theory and Transform Analysis; Dover Publications Inc.: New York, NY, USA, 1987. [Google Scholar]
  19. Mikusinski, P. Tempered Boehmians and ultra distributions. Proc. Am. Math. Soc. 1995, 123, 813–817. [Google Scholar] [CrossRef]
  20. Nemzer, D. Extending the Stieltjes transform. Sarajevo J. Math. 2014, 10, 197–208. [Google Scholar] [CrossRef]
  21. Al-Omari, S.; Araci, S. Certain fundamental properties of generalized natural transform in generalized spaces. Adv. Differ. Equ. 2021, 2021, 163. [Google Scholar] [CrossRef]
  22. Nemzer, D. A note on the convergence of a series in the space of Boehmians. Bull. Pure Appl. Math. 2008, 2, 63–69. [Google Scholar]
  23. Pathak, R.; Prasad, A.; Kumar, M. Fractional Fourier transform of tempered distributions and generalized pseudo-differential operator. J. Pseudo-Differ. Oper. Appl. 2012, 3, 239–254. [Google Scholar] [CrossRef]
  24. Al-Omari, S.; Kilicman, A. An estimate of Sumudu transform for Boehmians. Adv. Differ. Equ. 2013, 2013, 77. [Google Scholar] [CrossRef]
  25. Nemzer, D. Quasi-asymptotic behavior of Boehmians. Novi Sad J. Math. 2016, 46, 87–102. [Google Scholar] [CrossRef]
  26. Nemzer, D. Boehmians of Lp-growth. Integ. Trans. Spec. Funct. 2016, 27, 653–666. [Google Scholar] [CrossRef]
  27. Al-Omari, S.K. Hartley transforms on certain space of generalized functions. Georg. Math. J. 2013, 20, 415–426. [Google Scholar] [CrossRef]
  28. Al-Omari, S.; Kilicman, A. On the generalized Hartley and Hartley-Hilbert transformations. Adv. Differ. Equ. 2013, 2013, 222. [Google Scholar] [CrossRef]
  29. Acar, T. (p,q)-generalization of Szasz-Mirakyan operators. Math. Methods Appl. Sci. 2016, 39, 2685–2695. [Google Scholar] [CrossRef]
  30. Burban, I.M.; Klimyk, A.U. (p,q)-differentiation, (p,q)-integration and (p,q)-hypergeometric functions related to quantum groups. Integral Transform. Spec. Funct. 1994, 2, 15–36. [Google Scholar] [CrossRef]
  31. Boehme, T.K. The support of Mikusnski Operators. Trans. Am. Math. Soc. 1973, 176, 319–334. [Google Scholar]
  32. Garcia, J.; Mas, D.; Dorsch, R. Fractional-Fourier-transform calculation through the fast-Fourier-transform algorithm. Appl. Opt. 1996, 35, 7013–7018. [Google Scholar] [CrossRef]
  33. Romero, H.; Cerutti, R.; Luque, L. A new fractional Fourier transform and convolution product. Int. J. Pure Appl. Math. 2011, 68, 397–408. [Google Scholar]
  34. Narayanana, V.; Prabhu, K. The fractional Fourier transform: Theory, implementation and error analysis. Microprocess. Micro Syst. 2003, 27, 511–521. [Google Scholar] [CrossRef]
  35. Almeida, L. Product and convolution theorems for the fractional Fourier transform. IEEE Signal Process. Lett. 1997, 4, 15–17. [Google Scholar] [CrossRef]
  36. Ahmad, B.; Alsaedi, A.; Ntouyas, S.K. A study of second-order q-difference equations with boundary conditions. Adv. Differ. Equ. 2012, 2012, 35. [Google Scholar] [CrossRef]
  37. Jain, P.; Basu, C.; Panwar, V. Fractional (p,q)-Mellin Transform and Its Applications. Bull. Iran. Math. 2023, 49, 47. [Google Scholar] [CrossRef]
  38. Al-Omari, S. Estimates and properties of certain q-Mellin transform on generalized q-calculus theory. Adv. Differ. 2021, 2021, 233. [Google Scholar] [CrossRef]
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

Al-Omari, S.; Salameh, W. On (p,q)-Analogs of the α-th Fractional Fourier Transform and Some (p,q)-Generalized Spaces. Symmetry 2024, 16, 1307. https://doi.org/10.3390/sym16101307

AMA Style

Al-Omari S, Salameh W. On (p,q)-Analogs of the α-th Fractional Fourier Transform and Some (p,q)-Generalized Spaces. Symmetry. 2024; 16(10):1307. https://doi.org/10.3390/sym16101307

Chicago/Turabian Style

Al-Omari, Shrideh, and Wael Salameh. 2024. "On (p,q)-Analogs of the α-th Fractional Fourier Transform and Some (p,q)-Generalized Spaces" Symmetry 16, no. 10: 1307. https://doi.org/10.3390/sym16101307

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