Next Article in Journal
Security with Wireless Sensor Networks in Smart Grids: A Review
Next Article in Special Issue
Some Estimates for Certain q-analogs of Gamma Integral Transform Operators
Previous Article in Journal
Hesitant Bipolar-Valued Intuitionistic Fuzzy Graphs for Identifying the Dominant Person in Social Media Groups
Previous Article in Special Issue
On Some Formulas for Single and Double Integral Transforms Related to the Group SO(2, 2)
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Notes on q-Gamma Operators and Their Extension to Classes of Generalized Distributions

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
4
Mathematics Department, Al-Qunfudah University College, Umm Al-Qura University, Mecca 24382, Saudi Arabia
*
Author to whom correspondence should be addressed.
Symmetry 2024, 16(10), 1294; https://doi.org/10.3390/sym16101294
Submission received: 16 August 2024 / Revised: 12 September 2024 / Accepted: 24 September 2024 / Published: 2 October 2024
(This article belongs to the Special Issue Discussion of Properties and Applications of Integral Transform)

Abstract

:
This paper discusses definitions and properties of q-analogues of the gamma integral operator and its extension to classes of generalized distributions. It introduces q-convolution products, symmetric q-delta sequences and q-quotients of sequences, and establishes certain convolution theorems. The convolution theorems are utilized to accomplish q-equivalence classes of generalized distributions called q-Boehmians. Consequently, the q-gamma operators are therefore extended to the generalized spaces and performed to coincide with the classical integral operator. Further, the generalized q-gamma integral is shown to be linear, sequentially continuous and continuous with respect to some involved convergence equipped with the generalized spaces.

1. Introduction

A field of calculus known as quantum calculus, or q-calculus, was founded by Jackson [1] to replace the conventional derivative with a difference operator. The quantum theory of calculus and symmetric calculus has been applied in various fields of science including number theory [2], orthogonal polynomials [3], geometric function theory [4,5], differential subordination [6], Daehee polynomials [7], zeta type functions [8], Bessel functions [9], univalent functions [5], fractional calculus [10,11,12] and generalized special functions [13]. In addition, the quantum theory of calculus connects, among other mathematical fields, mathematics and physics and draw the interest of numerous researchers from the literature [9,14,15]. Consequently, numerous advances in the area of q-hypergeometric functions and polynomials in the field of partitions and integral transforms have been accomplished by the relevant theory [16,17,18,19]. Moreover, the domains of vector spaces, particle physics, Lie theory, nonlinear electric circuit theory and heat conductions employ the q-hypergeometric functions as an illustration of their respective subjects (see, e.g., [20,21] and references therein). The q-derivative of a function φ , for 0 < q < 1 , is defined by [1]
D q φ τ = φ τ φ q τ 1 q τ , τ 0 .
The complex number τ C , the natural number j N and the factorial of the natural number have q-analogues provided by [2]
τ q = 1 q τ 1 q , j q = 1 q j 1 q and j q ! = j q j 1 q 2 q 1 q and 0 q ! = 1 ,
respectively. Conversely, the shifted factorials have obtained q-analogues specified as [2]
τ ; q j = i = 0 j 1 1 τ q i , τ ; q 0 = 1 and τ ; q = lim j τ ; q j .
The two methods for defining the q-analogues of the exponential function of a real number are introduced in terms of (2) and (3) as [22]
E q τ = j = 0 q j j 1 2 τ j k q ! = τ ; q , τ R ,
and
e q τ = j = 0 τ j j q ! = 1 τ ; q , τ < 1 q 1 .
On the other hand, the definite and improper integrals are, respectively, assigned q-analogues given as [2]
0 γ ψ γ d q γ = 1 q i 0 ψ q i γ γ q i
and
0 ψ γ d q γ = 1 q i Z q i ψ q i .
On the basis of the q-exponential functions ( 4 ) and ( 5 ) , the gamma function has two q-analogues defined as
Γ q δ = 0 1 1 q γ δ 1 E q q 1 q γ d q γ
and
Γ q * δ = k w ; δ 0 w 1 q γ δ 1 e q 1 q γ d q γ ,
where
k w ; δ = w δ 1 q / w ; q w ; q q δ / w ; q w q 1 δ ; q .
However, we turn to [9,15,23] and the sources given therein for definitions and preliminary information about differentiation and integration by parts.
In this paper, Section 1 and Section 2 go over the foundations of the q-calculus theory and the abstract structure of Boehmians. Certain q-convolution products are presented and q-convolution theorems are established in Section 3. The q-delta sequences are derived in Section 4 in order to examine many important assumptions for creating the spaces H and B of q-generalized functions. An inversion formula and other generic properties along with a specific extension of g ^ j , q are derived in Section 5.

2. The Class of Boehmian Spaces

Assume that S forms a subspace of a linear space L. Then, for any pair of elements f ( L , q ) and ω 1 ( S , ) , the products q and † are assigned such that
i ω 1 , ω 2 S ω 1 ω 2 S , ω 1 ω 2 = ω 2 ω 1 .
i i θ L , ω 1 , ω 2 S θ q ω 1 q ω 2 = θ q ω 1 ω 2 .
i i i θ 1 , θ 2 L , ω 1 S , r R θ 1 + θ 2 q ω 1 = θ 1 q ω 1 + θ 2 q ω 1 , r θ 1 q ω 1 = r θ 1 q ω 1 .
Let Δ 0 , be a family of sequences contained in S. Then, if Δ 0 , meets the two characteristics Δ 1 and Δ 2 , it is considered a family of delta sequences (approximating identities) provided that
Δ 1 : For θ 1 , θ 2 L , δ n Δ and θ 1 q δ n = θ 2 q δ n , we have θ 1 = θ 2 , n N .
Δ 2 : ω n , δ n Δ ω n δ n Δ .
If A = { θ n , ω n , θ n L , ω n Δ , n N } , then θ n , ω n is a pair of quotients of sequences in A iff
θ n q ω m = θ m q ω n ,
for all natural numbers n and m. The pairs θ n , ω n and g n , δ n satisfying (11)–(15) are equivalent pairs of quotients according to the notation ∼ iff
θ n q δ m = g m q ω n ,
for all natural numbers n and m. In this regard, ∼ forms an equivalent relation on the set A and therefore θ n / ω n constitutes an equivalence class called the Boehmian. The resulting space of such Boehmians is denoted by B .
In order to obtain the comprehensive narrative of Boehmians, please consult [12,24,25,26,27].

3. q-Convolution Theorem

In the framework of q-calculus, the current part presents convolution theorems and suggests new q-analogues of the q-gamma integral operator.
Let δ [ 0 , ) and k N . Then, the gamma integral operator is defined for a function φ under specific exponential growth conditions as follows [28]:
G k θ δ = k k δ k Γ k 0 θ τ τ k 1 e k τ δ d τ
when the integral converges. The q-analogue is assigned to the gamma operator G k in a context of quantum calculus theory in the form [29]
G k , q θ ; δ = k k δ k Γ q k 0 θ τ τ k 1 e q q k τ δ d q τ .
Hereafter, to enable further inspection that differs from that given in (16) and (17), we provide q-analogues for the the assigned gamma integral transform as follows.
Definition 1.
Let θ be a function of certain exponential growth conditions. Then, we define the first-kind q-analogue of the gamma integral transform in terms of the q-analogue ( 4 ) and the q-gamma function ( 8 ) in the form
g k , q θ ; δ = k k 1 q δ k Γ q k 0 θ τ τ k 1 E q q k τ δ d q τ ,
where δ [ 0 , ) . Instead, for δ [ 0 , ) , we present a second-type q-analogue for the gamma integral transform in terms of the q-analogue ( 5 ) and the q-gamma function ( 8 ) as
g ^ k , q θ ; δ = k k 1 q δ k Γ q k 0 θ τ τ k 1 e q q k τ δ d q τ .
Indeed, the operators g k , q and g ^ k , q are positive and linear, and satisfy the relations g k , q and g ^ k , q G k as q 1 .
In [6], Grőchenig and Zimmermann established a Schwartz space of slow growth test functions and proved an analogue of Hardy’s theorem. Hereafter, we study our obtained q-analogues on certain new function spaces of generalized functions. Therefore, by following [30], we introduce the following definitions.
Definition 2.
By D q 0 , , we indicate those functions of compact supports on 0 , such that for k N the following holds:
D q 0 , = θ : sup 0 < ξ < D q k θ ξ < .
Definition 3.
By S q 0 , , we indicate the space of those q-differentiable functions θ such that
sup 0 < ξ < ξ α D q β θ ξ <
for real numbers α , β R .
It is clear that D q 0 , S q 0 , and, hence, in the duality sense, S q 0 , D q 0 , , where S q 0 , is the space of q-tempered (slow growth) distributions while D q 0 , represents the space of q-distributions of compact supports; we refer to [9] for further details.
For seeking concrete analysis, we introduce the following definitions.
Definition 4.
Denote by q the q-convolution product between the functions θ 1 and θ 2 provided the integral equation
q : S q 0 , × D q 0 , S q 0 ,
θ 1 q θ 2 ϵ = 0 θ 1 ϵ t 1 θ 2 t t 1 d q t
exists for ϵ 0 , and θ 1 , θ 2 S q 0 , .
We are now going to provide certain specific q-convolution product that aligns with the previous q-convolution q .
Definition 5.
Let θ 1 S q 0 , and θ 2 D q 0 , . Then, we define a q-convolution productbetween θ 1 and θ 2 as
: S q 0 , × D q 0 , S q 0 ,
θ 1 θ 2 ϵ = 0 t k 1 θ 1 ϵ t θ 2 t d q t .
With the help of the aforementioned integral Equations ( 22 ) and ( 23 ) , we obtain the q-convolution theorem for g ^ k , q in the following manner. Discussing the q-analogue g k , q is quite similar. Hence, details have been avoided.
Theorem 1.
Let θ 1 S q 0 , and θ 2 D q 0 , . Then, the q-convolution theorem of g ^ k , q is given by
g ^ k , q θ 1 q θ 2 ϵ = g ^ k , q θ 1 θ 2 ϵ
in S q 0 , .
Proof. 
Using the hypothesis of the present theorem and the definition of q given by ( 22 ) , we write
g ^ k , q θ 1 q θ 2 ϵ = k k ϵ k Γ q k 0 θ 1 q θ 2 ξ ξ k 1 E q k q ξ ϵ d q ξ
= k k ϵ k Γ q k 0 0 t 1 θ 1 ξ t θ 2 t d q t ξ k 1 E q k q ξ ϵ d q ξ .
Therefore, using the change in variables ξ t = w , performing basic calculations, we obtain
g ^ k , q θ 1 q θ 2 ϵ = k k ϵ k Γ q k 0 0 t 1 1 θ w θ 2 t d q t w k 1 E q k q w t ϵ d q w = k k ϵ k Γ q k 0 t k 1 θ 2 t 0 θ 1 w w k 1 E q k q w t ϵ d q w d q t .
Therefore, taking into account the definition of † gives
g ^ k , q θ 1 q θ 2 ϵ = 0 t k 1 θ 2 t g ^ k , q θ 1 ϵ t d q t = g ^ k , q θ 1 θ 2 ϵ .
Therefore, all we need to finish our demonstration is to demonstrate that, for any θ 1 S q 0 , and θ 2 D q 0 , , we have
θ 1 θ 2 S q 0 , .
Let β , α 0 , . Then, by the induced topology on S q 0 , , we write
ϵ α D ϵ β θ 1 θ 2 ϵ S q 0 , = ϵ α D ϵ β 0 t k 1 θ 2 t θ 1 ϵ t d q t K 0 , | t k 1 θ 2 t | ϵ α D ϵ β θ 1 ϵ t d q t θ 1 S q 0 , K 0 , t k 1 θ 2 t d q t A θ 1 S q 0 ,
K 0 , is a compact set and A is a positive real number. In reality, the last inequality is derived from the boundedness condition of θ 2 and our knowledge that θ 1 S q 0 , .
  • This ends the proof.   □

4. q-Boehmians of Rapid Decay

The axioms for furnishing the q-Boehmian spaces formed from rapidly decaying spaces of test functions are covered in this section. By using the sets S q 0 , , and D q 0 , , q as well as the subset Δ q 0 , of D q 0 , of delta sequences δ n , let us now build the space B, where the delta sequences satisfy the following identities [30]:
( i ) 0 δ n x d q x = 1 , ( ii ) δ n x M M > 0 , ( iii ) s u p p δ n a n , b n ,
provided a n , b n 0 as n .
The associativity axiom can be proved as follows.
Theorem 2.
Let f S q 0 , and θ 1 , θ 2 D q 0 , . Then, the associativity axiom is given by
f θ 1 q θ 2 ϵ = f θ 1 θ 2 ϵ .
Proof. 
Let f S q 0 , and θ 1 , θ 2 D q 0 , . With the benefit of Definition 5 we write
f q θ 1 q θ 2 ϵ = 0 t k 1 f ϵ t θ 1 q θ 2 t d q t .
Therefore, by utilizing Definition 4, the preceding integral equation can be written as
f θ 1 q θ 2 ϵ = 0 t k 1 f ϵ t 0 y 1 θ 1 y 1 t θ 2 y d q y d q t .
Now, assuming t y = z implies d q z = 1 y d q t . Therefore, by employing the definitions of the convolution products and pursuing straightforward computations, we obtain
f θ 1 q θ 2 ϵ = 0 θ 2 y y 1 0 θ 1 y 1 t t k 1 f ϵ t d q y d q t = 0 θ 2 y y 1 y 0 θ 1 z y k 1 z k 1 f ϵ y z d q z d q y = 0 θ 2 y y k 1 0 θ 1 z z k 1 f ϵ y z d q z d q y = 0 θ 2 y y k 1 0 f ϵ y z θ 1 z z k 1 d q z d q y .
Thus, we have obtained
f θ 1 q θ 2 ϵ = 0 θ 2 y y k 1 f θ 1 ϵ y d q y .
This ends the proof.   □
Theorem 3.
Let f , f 1 , f 2 S q 0 , , γ R and θ D q 0 , . Then, the following hold true.
(i) 
f 1 + f 2 θ ϵ = f 1 θ ϵ + f 2 θ ϵ .
(ii) 
γ f θ ϵ = γ f θ ϵ .
(iii) 
If f n f as n then f n θ f θ as n in S q 0 , .
Proof. 
The proofs for ( i ) and ( i i ) may be easily obtained from using basic integral calculus. From (5), the proof of ( i i i ) can also be established yielding
ϵ α D x β f n θ f θ ϵ = ϵ α D ϵ β f n f θ ϵ = ϵ α D ϵ β 0 t k 1 f n f ϵ t θ t d q t a b t k 1 ϵ α D ϵ β f n f ϵ t θ t d q t ,
where the supports of θ are contained in a compact interval [ a , b ] . Thus, it follows
ϵ α D ϵ β f n θ f θ ϵ A f n f S q 0 , 0
as n . This concludes the theorem’s proof.   □
Theorem 4.
Let f S q 0 , and θ n Δ q 0 , . Then, f θ n f as n in S q 0 , .
Proof. 
Let ϵ 0 , and β , α R . Then, by making use of 6 , we obtain
ϵ α D ϵ β f θ n f ϵ = ϵ α D ϵ β 0 t k 1 f ϵ t θ n t d q t f ϵ = ϵ α D ϵ β 0 t k 1 f ϵ t θ n t d q t f ϵ 0 θ n t d q t .
Thus, the previous equation can rewritten as
ϵ α D ϵ β f θ n f ϵ 0 ϵ α D ϵ β f ϵ t f ϵ t k 1 θ n t d q t .
Hence, from 29 and the compact support of the delta sequences ( θ n ) , we establish that
ϵ α D ϵ β f θ n f ϵ a n b n ϵ α D ϵ β f ϵ t f ϵ t k 1 θ n t d q t M b n a n 0 ,
as n , for some positive constant M.
This ends the proof.   □
The Boehmian space B with S q 0 , , , D q 0 , , q ,   Δ q 0 , is therefore generated.
The two q-Boehmians φ n / δ n and g n / ε n can be added in B by the equation
φ n / δ n + g n / ε n = φ n δ n + g n δ n / δ n q ε n .
The q-Boehmian φ n / δ n can be multiplied in B by γ R as γ φ n / δ n = γ φ n / δ n , whereas the expansion of † and D α to B are expressed as
φ n / δ n g n / ε n = φ n g n / δ n q ε n and D α φ n / δ n = D α φ n / δ n , α 0 , .
The product † can be extended to B S q 0 , as
φ n / δ n ω = φ n ω / δ n , where φ n , ω S q 0 , , φ n / δ n B .
Let β n B . Then, β n δ β in B , if there can be found a delta sequence δ n such that, for β n δ k and β δ k S q 0 , n , k N ,
lim n β n δ k = β δ k in S q 0 , for every k N .
An alternative way of expressing 32 is as follows: β n δ β as n there are φ n , k , φ k S q 0 , and δ k Δ q 0 , , β n = φ n , k / δ k , β = φ k / δ k and to every k N we have lim n φ n , k = φ k in S q 0 , .
The other type convergence is that β n Δ β as n if there can be found a δ n Δ q 0 , such that β n β δ n S q 0 , n N and lim n β n β δ n = 0 in S q 0 , .
Defining the space H with S q 0 , , q , D q 0 , , q and Δ q 0 , is quite analogous. Hence, we avoid repeating the same analogues.
In H, two Boehmians added, applying q are respectively introduced as
φ n / δ n + g n / ε n = φ n q δ n + g n q δ n / δ n q ε n and φ n / δ n q g n / ε n = φ n q g n / δ n q ε n .
Multiplying a Boehmian in H by α R is explained as α φ n / δ n = α φ n / δ n . The D α in H is explained as D α φ n / δ n = D α φ n / δ n , α 0 , . To all φ n / δ n H  and ω S q 0 , , q can be extended to B S q 0 , by φ n / δ n q ω = φ n q ω / δ n . β n δ β in H , if there can be found a delta sequence δ n such that, for β n q δ k and β q δ k S q 0 , , n , k N , we have lim n β n q δ k = β q δ k in S q 0 , for every k N . Or it can be expressed in H as follows: β n δ β as n φ n , k , φ k S q 0 , and δ k Δ , β n = φ n , k / δ k , β = φ k / δ k and to every k N we have lim n φ n , k = φ k in S q 0 , . β n Δ β as n ⟺ there can be found a δ n Δ q 0 , such that β n β q δ n S q 0 , n N and lim n β n β q δ n = 0 in S q 0 , .
Hence, we assert that the q-gamma integral of the Boehmian f n / δ n can be given as
g ^ k , q b f n / δ n = g ^ k , q f n / δ n
which falls in the space H , as g ^ k , q f n S q 0 , . Definition 33 is well defined in the sense that, if f n / δ n = g n / ϵ n B , then f n q ϵ m = g m q δ n . Applying 33 and the convolution theorem (Theorem 1), we obtain
g ^ k , q f n ϵ m = g ^ k , q g m δ n .
Thus, it follows that
g ^ k , q f n / δ n g ^ k , q g n / ϵ n
in H. That is,
g ^ k , q f n / δ n = g ^ k , q g n / ϵ n .
By this, our assertion is fulfilled.
The space S q 0 , can be identified as a subspace of B through the following mapping
I B : S q 0 , B I B f = f δ n / δ n
where δ n Δ q 0 , , whereas its identification as a subspace of the q-Boehmian space H is given by the mapping
I H : S q 0 , H I H f = f q ϵ n / ϵ n
where ϵ n Δ q 0 , .

5. Generalized q-Gamma Operator

The following theorems summarize several features of the extension g ^ k , q b of g ^ k , q . They discuss linearity, continuity with respect to the δ and Δ q -convergence, isomorphic property, and some inversion formula for the g ^ k , q b transform.
Although the following theorem is straightforward yet crucial, we provide its detailed proof.
Theorem 5.
Let I B and I H have their usual meaning given in ( 34 ) and ( 35 ) , respectively. Then, we have
I B g ^ k , q = g ^ k , q b I H .
Proof. 
Let f S q 0 , and δ n Δ q 0 , ; then, by Equation 34 and the convolution theorem, we derive
I B g ^ k , q f = I B g ^ k , q f = g ^ k , q f δ n / δ n .
Therefore, Equation 35 and the convolution theorem yield
I B g ^ k , q f = g ^ k , q f q δ n / δ n = g ^ k , q b f q δ n / δ n = g ^ k , q b I H f .
This ends the proof.   □
Theorem 6.
The mapping g ^ k , q b is sequentially continuous from B into H, in the sense of Δ q -convergence.
Proof. 
To prove the theorem, we prove that if Δ q lim n β n = β in B then Δ q lim n g ^ k , q b β n = g ^ k , q b β in H. Let Δ q lim n β n = β in B; then, there is δ n Δ q 0 , such that
Δ q lim n β n β q δ n = 0 in S q 0 , .
Continuity of the gamma integral operator suggests writing
Δ q lim n g ^ k , q b β n β q δ n = Δ q lim n g ^ k , q b β n g ^ k , q b β δ n = 0 .
Thus, we obtain that Δ q lim n g ^ k , q b β n = g ^ k , q b β in H .
This finishes the proof.   □
Theorem 7.
(i) 
The mapping g ^ k , q b is a linear mapping on H.
(ii) 
The mapping g ^ k , q b defines an isomorphism from the q-Boehmian space H onto the q-Boehmian space B .
(iii) 
The mapping g ^ k , q b is continuous with respect to δ and Δ q -convergences.
(iv) 
The mapping g ^ k , q b coincides with the classical g ^ k , q .
Proof. 
Since comparable proofs for Parts i through i i i are already published in the literature, see [12,20,24]. So, we prove Part i v . Let σ S q 0 , and σ q δ n / δ n be its representation in B, where δ n Δ q 0 ,   n N . In order to demonstrate the final portion of the theory, it is evident that δ n is independent of the representative for every n N . Thus, using the convolution theorem, we obtain
g ^ k , q b σ q δ n / δ n = g ^ k , q σ q δ n / δ n = g ^ k , q σ δ n / δ n = g ^ k , q σ δ n / δ n .
Consequently, the q-Boehmian g ^ k , q σ δ n / δ n forms a representation to g ^ k , q σ in the classical space S q 0 , .
This ends proof.   □
Next, we present an inversion formula of g ^ k , q b as follows.
Definition 6.
Let g ^ k , q b φ n / δ n H . Then, in H, we define the inverse integral operator of g ^ k , q b of the q-Boehmian g ^ k , q b φ n / δ n as
I g e g ^ k , q φ n / δ n = : g ^ k , q 1 g ^ k , q φ n / δ n = : φ n / δ n B ,
for each δ n Δ q 0 , .
Theorem 8.
Let g ^ k , q φ n / δ n H and φ S q 0 , . Then, we have
I g e g ^ k , q φ n / δ n φ = φ n / δ n q φ
and
g ^ k , q b φ n / δ n q φ = g ^ k , q φ n / δ n φ .
Proof. 
Assume g ^ k , q φ n / δ n H . For every φ S q 0 , , we have
I g e g ^ k , q φ n / δ n φ = I g e g ^ k , q φ n φ / δ = I g e g ^ k , q φ n φ / δ n .
We reach the proof of the first part by using the convolution theorem. The proof of the second part is nearly identical. We leave out specifics.
This ends the proof.   □
We declare without proof the following result.
Theorem 9.
Let β and β * be in B and ρ and ρ * be in H; then, we have
i g ^ k , q b β q β * = g ^ k , q b β β * , i i I g e ρ ρ * = I g e ρ q ρ * .
The proof of the theorem has been removed since it is easy to establish.
Theorem 10.
Let g ^ k , q ρ n / ξ n be a q-Boehmian in H , ξ n Δ q 0 , and α S q 0 , . Then, we have
g ^ k , q b ρ n / ξ n q α = g ^ k , q ρ n / ξ n α and I g e g ^ k , q ρ n / ξ n α = ρ n / ξ n q α .
Proof. 
Assume g ^ k , q ρ n / ξ n H , ξ n Δ q 0 , and α S q 0 , . Then, by the convolution theorem and 33 , we have
g ^ k , q b ρ n / ξ n q α = g ^ k , q b ρ n q α / ξ n = g ^ k , q ρ n q α / ξ n = g ^ k , q ρ n α / ξ n = g ^ k , q ρ n / ξ n α .
Also, by Definition 5, the convolution theorem and the extension of the operation q suggest writing
I g e g ^ k , q ρ n / ξ n α = I g e g ^ k , q ρ n α / ξ n = I g e g ^ k , q ρ n q α / ξ n = I g e g ^ k , q ρ n q α / ξ n = ρ n q α / ξ n = ρ n / ξ n q α .
Hence, the proof is ended. □

6. Conclusions

This article introduces and discusses two q-analogues of the gamma operator, focusing on various finite products of different types of q-Bessel functions. This paper discusses definitions and properties of q-analogues of the gamma integral operator and its extension to classes of generalized distributions. Several convolution theorems are established and proven, including q-convolution products, symmetric q-delta sequences and q-quotients of sequences. The q-equivalence classes of generalized distributions, or q-Boehmians, are achieved through the application of the convolution theorems. Thus, the q-gamma operators are performed to correspond with the classical integral operator and are thus extended to the generalized spaces. Furthermore, it is demonstrated that, when equipped with the generalized spaces, the generalized q-gamma integral is linear, sequentially continuous and continuous with respect to some involved convergence.

Author Contributions

Conceptualization, S.A.; methodology, W.S.; software, W.S.; validation, S.A.; investigation, W.S.; resources, S.A.-O.; writing—original draft preparation, S.A.-O.; writing—review and editing, S.A.; funding acquisition, S.A. 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. On q-definite integrals. Q. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
  2. Kac, V.; Cheung, P. Quantum Calculus; Springer: Berlin/Heidelberg, Germany, 2001. [Google Scholar]
  3. Koepf, W.; Schmersau, D. On a structure formula for classical q-orthogonal polynomials. J. Comput. Appl. Math. 2001, 136, 99–107. [Google Scholar] [CrossRef]
  4. Srivastava, H. Operators of Basic (or q-) Calculus and fractional q-calculus and their applications in geometric function theory of complex analysis. Iran. J. Sci. Technol. Trans. A Sci. 2020, 44, 327–344. [Google Scholar] [CrossRef]
  5. Srivastava, H.; Alavi, R.; Shams, S.; Aghalary, R.; Joshi, S. New criteria for starlikness and convexity of a certain family of integral operators. Mathematics 2023, 11, 3919. [Google Scholar] [CrossRef]
  6. Lupas, A.A. Fuzzy differential subordination and superordination results for fractional integral associated with Dziok-Srivastava operator. Mathematics 2023, 11, 3129. [Google Scholar] [CrossRef]
  7. Araci, S.; Ugur, D.; Mehmet, A. On weighted q-Daehee polynomials with their applications. Indag. Math. 2019, 30, 365–374. [Google Scholar] [CrossRef]
  8. Araci, S.; Bagdasaryan, A.; Ozel, C.; Srivastava, H. New symmetric identities involving q-zeta type functions. Appl. Math. Inf. Sci. 2014, 8, 2803–2808. [Google Scholar] [CrossRef]
  9. Ucar, F. q-Sumudu transforms of q-analogues of Bessel functions. Sci. World J. 2014, 2014, 327019. [Google Scholar] [CrossRef]
  10. Al-salam, W.A.; Verma, A. A fractional Leibniz q-formula. Pac. J. Math. 1975, 60, 1–9. [Google Scholar] [CrossRef]
  11. Al-salam, W.A. Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 1969, 15, 135–140. [Google Scholar] [CrossRef]
  12. Rajkovic, P.M.; Marinkovic, S.D.; Stankovic, M.S. Fractional integrals and derivatives in q-calculus. Appl. Anal. Discret. Math. 2007, 1, 311–323. [Google Scholar]
  13. Byte, V.V.; Zhang, P. q-derivatives of multivariable q-hypergeometric function with respect to their parameters. Phys. Part. Nucl. Lett. 2021, 18, 284–289. [Google Scholar] [CrossRef]
  14. Salem, A.; Ucar, F. The q-analogue of the Ef2;1 g-transform and its applications. Turkish J. Math. 2016, 40, 98–107. [Google Scholar] [CrossRef]
  15. Purohit, S.D.; Kalla, S.L. On q-Laplace transforms of the q-Bessel functions. Fract. Calc. Appl. Anal. 2007, 10, 189–196. [Google Scholar]
  16. Ucar, F.; Albayrak, D. On q-Laplace type integral operators and their applications. J. Differ. Equ. Appl. 2012, 18, 1001–1014. [Google Scholar] [CrossRef]
  17. Chung, W.S.; Kim, T.; Kwon, H.I. On the q-Analog of the Laplace transform. Russ. J. Math. Phys. 2014, 21, 156–168. [Google Scholar] [CrossRef]
  18. Park, S. p-partitions and q-stirling numbers. J. Comb. Theory Ser. A 1994, 68, 33–52. [Google Scholar] [CrossRef]
  19. Al-Omari, S.; Baleanu, D.; Purohit, D. Some results for Laplace-type integral operator in quantum calculus. Adv. Differ. Equ. 2018, 2018, 124. [Google Scholar] [CrossRef]
  20. Srivastava, H.; Arjika, S. A general family of q-hypergeometric polynomials and associated generating functions. Mathematics 2021, 9, 1161. [Google Scholar] [CrossRef]
  21. Fadel, M.; Raza, N.; Du, W. Characterizing q-Bessel functions of the first kind with their new summation and integral representations. Mathematics 2023, 11, 3831. [Google Scholar] [CrossRef]
  22. Albayrak, D.; Purohit, S.D.; Ucar, F. On q-Sumudu transforms of certain q-polynomials. Filomat 2013, 27, 413–429. [Google Scholar] [CrossRef]
  23. Al-Omari, S. On a q-Laplace-type integral operator and certain class of series expansion. Math. Methods Appl. Sci. 2021, 44, 8322–8332. [Google Scholar] [CrossRef]
  24. Al-Omari, S.; Kilicman, A. On generalized Hartley-Hilbert and Fourier-Hilbert transforms. Adv. Differ. Equ. 2012, 2012, 232. [Google Scholar] [CrossRef]
  25. Al-Omari, S. Estimates and properties of certain q-Mellin transform on generalized q-calculus theory. Adv. Differ. Equ. 2021, 2021, 233. [Google Scholar] [CrossRef]
  26. Nemzer, D. Extending the Stieltjes transform. Sarajevo J. Math. 2014, 10, 197–208. [Google Scholar] [CrossRef]
  27. Nemzer, D. The Laplace transform on a class of Boehmians. Bull. Austral. Math. Soc. 1992, 46, 347–352. [Google Scholar] [CrossRef]
  28. Zeng, X.M. Approximation properties of Gamma operators. J. Math. Anal. Appl. 2005, 311, 389–401. [Google Scholar] [CrossRef]
  29. Cai, Q.-B. Properties of convergence for a class of generalized q-Gamma operators. J. Math. Study 2014, 47, 388–395. [Google Scholar]
  30. Grochenig, K.; Zimmermann, G. Hardy’s theorem and short-time Fourier transform of Schwartz functions. J. Lond. Math. Soc. 2001, 63, 205–214. [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.; Alhazmi, S. Notes on q-Gamma Operators and Their Extension to Classes of Generalized Distributions. Symmetry 2024, 16, 1294. https://doi.org/10.3390/sym16101294

AMA Style

Al-Omari S, Salameh W, Alhazmi S. Notes on q-Gamma Operators and Their Extension to Classes of Generalized Distributions. Symmetry. 2024; 16(10):1294. https://doi.org/10.3390/sym16101294

Chicago/Turabian Style

Al-Omari, Shrideh, Wael Salameh, and Sharifah Alhazmi. 2024. "Notes on q-Gamma Operators and Their Extension to Classes of Generalized Distributions" Symmetry 16, no. 10: 1294. https://doi.org/10.3390/sym16101294

APA Style

Al-Omari, S., Salameh, W., & Alhazmi, S. (2024). Notes on q-Gamma Operators and Their Extension to Classes of Generalized Distributions. Symmetry, 16(10), 1294. https://doi.org/10.3390/sym16101294

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