SS symmetry
Article
On ( p, q)-Sine and ( p, q)-Cosine Fubini Polynomials
Waseem Ahmad Khan 1 , Ghulam Muhiuddin 2, * , Ugur Duran 3
1
2
3
4
*
and Deena Al-Kadi 4
Department of Mathematics and Natural Sciences, Prince Mohammad Bin Fahd University, P.O. Box 1664,
Al Khobar 31952, Saudi Arabia; wkhan1@pmu.edu.sa
Department of Mathematics, Faculty of Science, University of Tabuk, P.O. Box 741, Tabuk 71491, Saudi Arabia
Department of the Basic Concepts of Engineering, Faculty of Engineering and Natural Sciences, Iskenderun
Technical University, Hatay 31200, Turkey; mtdrnugur@gmail.com
Department of Mathematics and Statistics, College of Science, Taif University, P.O. Box 11099,
Taif 21944, Saudi Arabia; d.alkadi@tu.edu.sa
Correspondence: chistygm@gmail.com or gmuhiuddin@ut.edu.sa
Abstract: In recent years, ( p, q)-special polynomials, such as ( p, q)-Euler, ( p, q)-Genocchi, ( p, q)Bernoulli, and ( p, q)-Frobenius-Euler, have been studied and investigated by many mathematicians,
as well physicists. It is important that any polynomial have explicit formulas, symmetric identities,
summation formulas, and relations with other polynomials. In this work, the ( p, q)-sine and ( p, q)cosine Fubini polynomials are introduced and multifarious abovementioned properties for these
polynomials are derived by utilizing some series manipulation methods. ( p, q)-derivative operator
rules and ( p, q)-integral representations for the ( p, q)-sine and ( p, q)-cosine Fubini polynomials are
also given. Moreover, several correlations related to both the ( p, q)-Bernoulli, Euler, and Genocchi
polynomials and the ( p, q)-Stirling numbers of the second kind are developed.
Keywords: ( p, q)-numbers; ( p, q)-sine polynomials; ( p, q)-cosine polynomials; ( p, q)-special polynomials; ( p, q)-Fubini polynomials; ( p, q) Stirling numbers of the second kind
MSC: 33D15; 11B68; 11B73; 11B75; 11B83; 05A30
Citation: Khan, W.A.; Muhiuddin, G.;
Duran, U.; Al-Kadi, D. On ( p, q)-Sine
and ( p, q)-Cosine Fubini Polynomials.
Symmetry 2022, 14, 527. https://
doi.org/10.3390/sym14030527
Academic Editor: Serkan Araci
Received: 5 February 2022
Accepted: 26 February 2022
Published: 4 March 2022
Publisher’s Note: MDPI stays neutral
with regard to jurisdictional claims in
published maps and institutional affiliations.
Copyright: © 2022 by the authors.
Licensee MDPI, Basel, Switzerland.
This article is an open access article
distributed under the terms and
conditions of the Creative Commons
Attribution (CC BY) license (https://
creativecommons.org/licenses/by/
4.0/).
1. Introduction
In recent years, ( p, q)-calculus has been studied and examined widely by many physicists and mathematicians [1–12] (see also the references cited therein). ( p, q)-special polynomials, such as ( p, q)-Euler, ( p, q)-Genocchi, ( p, q)-Bernoulli, ( p, q)-Frobenius-Euler, were
firstly considered and developed by Duran et al. [2,3]; then, many authors worked on other
( p, q)-special polynomials (see [6,8,10,12]). For instance, recently, Khan et al. [6] introduced
( p, q)-Fubini-type polynomials and analyzed some of their basic properties. Obad et al. [8]
defined and investigated 2D ( p, q)-Appell type polynomials in terms of determinantal
aspect, and they provided several interesting properties. Sadjang [10] defined ( p, q)-Appell
type polynomials and provided some of their characterizations, including several algebraic
properties. Sadjang et al. [12] introduced ( p, q)-generalizations of two bivariate kinds of
Bernoulli numbers and polynomials and then analyzed multifarious relations and formulae,
including connection formulas, recurrence formulas, ( p, q)-integral representations, and
partial ( p, q)-differential equations.
Special polynomials have important roles in several subjects of mathematics, engineering, and theoretical physics. The problems arising in mathematics, engineering and
mathematical physics are framed in terms of differential equations. Most of these equations
can only be treated by utilizing diverse families of special polynomials that give novel viewpoints of mathematical analysis. Moreover, they are widely used in computational models
of engineering and scientific problems. In mathematics, these special polynomials yield the
derivation of other useful identities in a fairly straightforward way and help to consider
new families of special polynomials. Fubini-type polynomials appear in combinatorial
Symmetry 2022, 14, 527. https://doi.org/10.3390/sym14030527
https://www.mdpi.com/journal/symmetry
Symmetry 2022, 14, 527
2 of 12
mathematics and play an important role in the theory and applications of mathematics;
hence, many number theory and combinatorics experts have extensively studied their properties and obtained a series of interesting results (see [6,13,14]). In addition, it is important
that any polynomial has explicit formulas, symmetric identities, summation formulas, and
relations with other polynomials. In this paper, our main aim is to consider ( p, q)-sine and
( p, q)-cosine Fubini polynomials and derive some of their properties and relations using
series manipulation methods. The results derived in this work extend many earlier results
for the several extensions of Fubini polynomials.
In this work, we make use of the following notations:
N = {1, 2, 3, · · · }, N0 = N ∪ {0}, Z = {· · · , −2, −1, 0, 1, 2, · · · } and R = (−∞, ∞).
The ( p, q)-numbers [m] p,q are defined as follows:
[m] p,q =
pm − qm
, 0 < |q| < | p| ≤ 1.
p−q
These can be rewritten such that [m] p,q = pm−1 [m]q/p , where [m]q/p is the q-number
(q/p)m −1
in quantum calculus (q-calculus) defined as [m]q/p = (q/p)−1 . Hence, it is observed that
( p, q)-numbers and q-numbers are different; namely, one cannot derive ( p, q)-numbers just
by changing q by q/p in the definition of q-numbers. Again, when p = 1, the ( p, q)-numbers
reduce to the q-numbers (see [4,5,9,11]).
The ( p, q)-extension of the derivative operator of a function g with respect to t is
given by
g( pt) − g(qt)
D p,q g(t) = D p,q;t g(t) =
( t 6 = 0),
(1)
( p − q)t
′
and ( D p,q g(0)) = g (0), provided that g is differentiable at 0. This operator satisfies the
following properties
D p,q ( g(t) f (t)) = f (qt) D p,q g(t) + g( p(t)) D p,q f (t)
and
D p,q
g(t)
f (t)
=
(2)
f (qt) D p,q g(t) − g(qt) D p,q f (t)
.
f (qt) f ( pt)
(3)
The ( p, q)-factorial numbers [m] p,q ! and the( p, q)-binomial coefficients (mr) p,q are provided by
[m] p,q ! = [m] p,q · · · [2] p,q [1] p,q for m ∈ N with [0] p,q = 1
and
[m] p,q !
m
=
( m ≥ r ).
r p,q
[r ] p,q ![m − r ] p,q !
The ( p, q)-power basis is defined by
(t + a)( pt + aq) · · · ( pm−2 t + aqm−2 )( pm−1 t + aqm−1 ) = t ⊕ p,q a
and also has the following expansion
m
( m ≥ 1)
m
m
m
m −r
m
∑ r p( 2 ) q( 2 ) tr am−r = t ⊕ p,q a .
p,q
r =0
(4)
The ( p, q)-exponential functions, e p,q (t) and E p,q (t), are introduced by
∞
m
p( 2 ) tm
e p,q (t) = ∑
and E p,q (t) =
[m] p,q !
m =0
∞
m
q( 2 ) tm
∑ [m] p,q ! ,
m =0
(5)
Symmetry 2022, 14, 527
3 of 12
which have the following relationships
e p−1 q−1 (t) = E p,q (t) and e p,q (t) E p,q (−t) = 1.
(6)
These functions hold the following properties
D p,q e p,q (t) = e p,q ( pt) and D p,q E p,q (t) = E p,q (qt).
(7)
The ( p, q)-analog of the usual definite integral is defined [9] by
∞
Z a
g(t)d p,q t = ( p − q) a
Z b
g(t)d p,q t =
0
pr
pr
g
a
∑ r +1 q r +1
r =0 q
in conjunction with
a
Z b
0
g(t)d p,q t −
Z a
0
g(t)d p,q t.
(8)
From (5), it is observed that
∞
e p,q (it) =
∑
m =0
m
p( 2 ) (itm )
=
[m] p,q !
2m+1
2m
∞
∞
(−1m ) p( 2 ) t2m
(−1m ) p( 2 ) t2m+1
+ ∑
.
∑
[m] p,q !
[2m + 1] p,q !
m =0
m =0
(9)
From (9), the ( p, q)-sine function and the ( p, q)-cosine function are given [12] by
∞
2m+1
(−1)m p( 2 ) t2m+1
= sin p,q (t) and
∑
[2m + 1] p,q !
m =0
∞
m
(−1)m p( 2 ) t2m
∑ [2m] p,q ! = cos p,q (t).
m =0
(10)
The ( p, q)-Bernoulli, ( p, q)-Euler, and ( p, q)-Genocchi polynomials are introduced as
follows (see [3]):
and
∞
zm
for |z| < 2π,
[m] p,q !
(11)
∞
[2] p,q e p,q (tz)
zm
= ∑ Em (t : p, q)
for |z| < π
e p,q (z) + 1
[m] p,q !
m =0
(12)
∞
[2] p,q ze p,q (tz)
zm
= ∑ Gm (t : p, q)
for |z| < π.
e p,q (z) + 1
[m] p,q !
m =0
(13)
ze p,q (tz)
=
e p,q (z) − 1
∑
Bm (t : p, q)
m =0
When t = 0, the polynomials given above reduce to their corresponding numbers,
shown respectively by Bm ( p, q), Em ( p, q), and Gm ( p, q) for m ∈ N0 .
The generating function of geometric polynomials (or Fubini polynomials) is provided
as follows (see [13,14]):
∞
zm
1
= ∑ Fm (t) ,
(14)
z
1 − t ( e − 1)
m!
m =0
which implies
m
Fm (t) =
∑ S2 (m, r)r!tr ,
(15)
r =0
where the numbers S2 (m, r ) are the Stirling numbers of the second kind provided by
(see [15,16])
∞
zm
( e z − 1)r
= ∑ S2 (m, r ) .
r!
m!
m =0
Symmetry 2022, 14, 527
4 of 12
Upon setting t = 1, we attain Fm (1) := Fm , which denotes the corresponding Fubini
numbers.
2. On ( p, q)-Sine and ( p, q)-Cosine Fubini Polynomials
The Taylor series expansions of the functions etz sin(wz) and etz cos(wz) are presented
as given below (see [17])
∞
∑
Sm (t, w)
m =0
∞
zm
= etz sin wz and
m!
∑
Cm (t, w)
m =0
zm
= etz cos wz,
m!
(16)
where
⌊ m2 ⌋
Sm (t, w) =
∑ (−1)
r =0
r
⌊ m2 ⌋
m
m m−2r 2r
m−2r −1 2r +1
t
w
and Cm (t, w) = ∑ (−1)r
t
w .
2r + 1
2r
r =0
(17)
Note that the symbol ⌊.⌋ is the greatest integer function.
In the recent studies, Sadjang and Duran [12] considered ( p, q)-generalizations of
Sm (t, w) and Cm (t, w):
∞
Sm,p,q (t, w)
zm
= sin p,q (wz)e p,q (tz)
[m] p,q !
(18)
Cm,p,q (t, w)
zm
= cos p,q (wz)e p,q (tz),
[m] p,q !
(19)
∑
m =0
and
∞
∑
m =0
where
⌊ m2 ⌋
Sm,p,q (t, w) =
∑
(−1)r
r =0
and
⌊ m2 ⌋
Cm,p,q (t, w) =
∑
r =0
m
2r + 1
(−1)r
p(4r
2 −2rm
)+(m−2 1) t(m−2r−1) w(2r+1)
(20)
p,q
m
m
p( 2 )+2r(r−m) tm−2r w2r .
2r p,q
(21)
Now, we give our main definition as follows.
Definition 1. For p, q ∈ C in conjunction with 0 < |q| < | p| ≤ 1, the ( p, q)-sine and ( p, q)(s)
(c)
cosine Fubini polynomials Fm (t, w; γ : p, q) and Fm (t, w; γ : p, q) are introduced by
e p,q (tz)
sin p,q (wz) =
1 − γ(e p,q (z) − 1)
and
e p,q (tz)
cos p,q (wz) =
1 − γ(e p,q (z) − 1)
∞
∑
(s)
Fm (t, w; γ : p, q)
m =0
∞
∑
(c)
Fm (t, w; γ : p, q)
m =0
zm
[m] p,q !
(22)
zm
.
[m] p,q !
(23)
Letting w = 0 in (22) and (23), we obtain the classical bivariate ( p, q)-Fubini polynomials Fm (t; γ : p, q) given by (cf. [6])
e p,q (tz)
=
1 − γ(e p,q (z) − 1)
∞
∑
m =0
Fm (t; γ : p, q)
zm
.
[m] p,q !
Symmetry 2022, 14, 527
5 of 12
Upon setting w = 0 and t = 0 in (22) and (23), we get the usual ( p, q)-Fubini polynomials
Fm (γ : p, q) given by
1
1 − γ(e p,q (z) − 1)
∞
∑
=
Fm (γ : p, q)
m =0
zm
[m] p,q !
and setting t = w = 0 and γ = 1 in (22) and (23), we obtain the familiar ( p, q)-Fubini
numbers Fm ( p, q) given by (cf. [6])
1
=
2 − e p,q (z)
∞
∑
Fm ( p, q)
m =0
zm
.
[m] p,q !
We state the following results.
Theorem 1. The following summation formulae
m
m
(s)
∑ r Fr,p,q (γ)Sm−r,p,q (t, w) = Fm (t, w; γ : p, q)
p,q
r =0
and
(24)
m
m
(c)
∑ r Fr,p,q (γ)Cm−r,p,q (t, w) = Fm (t, w; γ : p, q)
p,q
r =0
(25)
hold for q, p ∈ C in conjunction with 0 < |q| < | p| ≤ 1.
Proof. By (22) and (23), utilizing (18) and (19), we readily see that
∞
sin p,q (wz)e p,q (tz)
zm
=
[
m
]
!
1
− γ(e p,q (z) − 1)
p,q
m =0
!
!
∞
∞
zm
zm
= ∑ Sm,p,q (t, w)
∑ Fm ( p, q) [m] p,q !
[m] p,q !
m =0
m =0
!
m
∞
m
zm
Sm−r,p,q (t, w) Fr,p,q (γ)
= ∑ ∑
r p,q
[m] p,q !
m =0 r =0
∑
(s)
Fm (t, w; γ : p, q)
and
∞
cos p,q (wz)e p,q (tz)
zm
=
[m] p,q !
1 − γ(e p,q (z) − 1)
m =0
!
!
∞
∞
zm
zm
= ∑ Cm,p,q (t, w)
∑ Fm ( p, q) [m] p,q !
[m] p,q !
m =0
m =0
!
m
∞
m
zm
Cm−r,p,q (t, w) Fr,p,q (γ)
= ∑ ∑
,
r p,q
[m] p,q !
m =0 r =0
∑
(c)
Fm (t, w; γ : p, q)
which complete the proofs of (24) and (25).
Theorem 2. The following summation formulae
⌊ m−2 1 ⌋
∑
k =0
and
m
2k + 1
k
Fm−1−2k (t; γ : p, q)w2k+1 (−1) p(
2k+1
2 )
(s)
= Fm (t, w; γ : p, q)
(26)
p,q
⌊ m2 ⌋
2k
m
(c)
∑ 2k Fm−2k (t; γ : p, q)w2k (−1)k p( 2 ) = Fm (t, w; γ : p, q)
p,q
k =0
(27)
Symmetry 2022, 14, 527
6 of 12
are valid for m ≥ 0 and p, q ∈ C in conjunction with 0 < |q| < | p| ≤ 1.
Proof. By (22) and (23), using (10), we observe that
∞
sin p,q (wz)e p,q (tz)
zm
=
[m] p,q !
1 − γ(e p,q (z) − 1)
m =0
!
!
2m+1
∞
∞
(−1)m p( 2 ) (wz)2m+1
zm
(s)
= ∑
∑ Fm (t; γ : p, q) [m] p,q !
[2m + 1] p,q !
m =0
m =0
m
⌊2⌋
∞
2k+1
zm
m
= ∑ ∑ (−1)k
p( 2 ) Fm−1−2k (t; γ : p, q)w2k+1
2k + 1 p,q
[m] p,q !
m =0 k =0
∑
and
∞
(s)
Fm (t, w; γ : p, q)
cos p,q (wz)e p,q (tz)
zm
=
[m] p,q !
1 − γ(e p,q (z) − 1)
m =0
!
!
m
∞
∞
(−1)m p( 2 ) t2m
zm
(s)
= ∑
∑ Fm (t; γ : p, q) [m] p,q !
[2m] p,q !
m =0
m =0
m
⌊2⌋
∞
2k
zm
m
p( 2 ) w2k
,
= ∑ ∑ Fm−2k (t; γ : p, q)(−1)k
2k p,q
[m] p,q !
m =0 k =0
∑
(c)
Fm (t, w; γ : p, q)
which means the asserted results (26) and (27).
Theorem 3. The following relationships
m
γ
∑
r
m −r
2 )
m
(s)
(s)
Fr (t, w; γ : p, q) + Sm,p,q (t, w) = (γ + 1)Fm (t, w; γ : p, q)
r p,q
r
m −r
2 )
m
(c)
(c)
Fr (t, w; γ : p, q) + Cm,p,q (t, w) = (γ + 1)Fm (t, w; γ : p, q) (29)
r p,q
p(2)+(
r =0
(28)
and
m
γ
∑
r =0
p(2)+(
hold for m ≥ 0 and q, p ∈ C in conjunction with 0 < |q| < | p| ≤ 1.
Proof. Utilizing (18), (19), (22) and (23), the proofs of (28) and (29) are based on the
following equalities:
γ + 1 − γe p,q (z)
sin p,q (wz)e p,q (tz) = sin p,q (wz)e p,q (tz)
1 − γ(e p,q (z) − 1)
and
γ + 1 − γe p,q (z)
cos p,q (wz)e p,q (tz) = cos p,q (wz)e p,q (tz).
1 − γ(e p,q (z) − 1)
Therefore, we omit the details of the proofs.
Theorem 4. The following formulae
m
r
m
(s)
(s)
(s)
r
r
∑ (t1 + t2 ) r Fm−r (0, w; γ : p, q) p(2) = Fm (t1 , w; γ : p, q) + Fm (t1 , w; γ : p, q)
p,q
r =0
and
(30)
Symmetry 2022, 14, 527
7 of 12
m
∑
r =0
(t1r
+ t2r )
r
m
(c)
(c)
(c)
Fm−r (0, w; γ : p, q) p(2) = Fm (t1 , w; γ : p, q) + Fm (t1 , w; γ : p, q)
r p,q
(31)
are valid for m ≥ 0 and p, q ∈ C in conjunction with 0 < |q| < | p| ≤ 1.
Proof. Utilizing (18), (19), (22) and (23), the proofs of (28) and (29) are based on the
following equalities:
∞
∑
m =0
=
∞
=
∑
m =0
i zm
[m] p,q !
!
∞
sin p,q (wz)
zm
m
(m2 ) m
t
+
t
p
(1
∑
2)
[m] p,q !
1 − γ(e p,q (z) − 1)
m =0
!
m
m
zm
(s)
r
r
(2r )
∑ r Fm−r (0, w; γ : p, q)(t1 + t2 ) p [m] p,q !
p,q
r =0
h
(s)
(s)
Fm (t1 , w; γ : p, q) + Fm (t2 , w; γ : p, q)
and
∞
∑
m =0
=
∞
=
∑
m =0
i zm
[m] p,q !
!
∞
cos p,q (wz)
zm
m
(m2 ) m
∑ p (t1 + t2 ) [m] p,q ! 1 − γ(e p,q (z) − 1)
m =0
!
m
zm
m
(c)
r
r
(2r )
∑ r Fm−r (0, w; γ : p, q)(t1 + t2 ) p [m] p,q ! .
p,q
r =0
h
(c)
(c)
Fm (t1 , w; γ : p, q) + Fm (t2 , w; γ : p, q)
Therefore, we omit the details of the proofs.
Now, we give ( p, q)-derivative operator rules and ( p, q)-integral representations for
the ( p, q)-sine and ( p, q)-cosine Fubini polynomials with the following theorems.
Theorem 5. The following derivate formulae
∂
(s)
(s)
Fm (t, w; γ : p, q) = Fm−1 ( pt, w; γ : p, q)[m] p,q
∂ p,q t
∂
(s)
(s)
Fm (t, w; γ : p, q) = Fm−1 (t, qw; γ : p, q)[m] p,q
∂ p,q w
∂
(c)
(c)
Fm (t, w; γ : p, q) = Fm−1 ( pt, w; γ : p, q)[m] p,q
∂ p,q t
∂
(c)
(c)
Fm (t, w; γ : p, q) = Fm−1 (t, qw; γ : p, q)[m] p,q
∂ p,q w
(32)
hold for m ≥ 0 and q, p ∈ C in conjunction with 0 < |q| < | p| ≤ 1.
Proof. If we apply the ( p, q)-derivative operator to the exponential generating function (22)
with respect to t, by utilizing (7), we see that
Symmetry 2022, 14, 527
8 of 12
∞
∑
m =0
∂
∂ p,q t
(s)
Fm (t, w; γ
∂
sin p,q (wz) ∂ p,q
zm
t e p,q ( tz )
: p, q)
=
[m] p,q !
1 − γ(e p,q (z) − 1)
sin p,q (wz)e p,q ( ptz)
1 − γ(e p,q (z) − 1)
=z
∞
=
(s)
∑
Fm ( pt, w; γ : p, q)
m =0
z m +1
,
[m] p,q !
which implies (32). The others can be readily proved similarly.
Theorem 6. The following ( p, q)-integral representations
(s)
Z υ
Fm (t, w; γ : p, q)d p,q t =
Z b
Fm (t, w; γ : p, q)d p,q t =
̺
(s)
and
̺
(s)
Fm+1 ( υp , w; γ : p, q) − Fm+1 ( ̺p , w; γ : p, q)
[m + 1] p,q
(c)
(c)
(c)
Fm+1 ( υp , w; γ : p, q) − Fm+1 ( ̺p , w; γ : p, q)
[m + 1] p,q
are valid for m ≥ 0 and q, p ∈ C in conjunction with 0 < |q| < | p| ≤ 1.
Proof. Since
Z υ
∂g(t)
̺
∂ p,q t
d p,q t = g(υ) − g(̺),
(see [9]), using Theorem 5, (22) and (23), we investigate
Z υ
̺
∂
∂ p,q t
(s)
Fm (t, w; γ : p, q)d p,q t =
1
[m + 1] p,q
̺
t
(s)
Fm+1 ( , w; γ : p, q)d p,q t
p
(s)
(s)
=
Z υ
Fm+1 ( υp , w; γ : p, q) − Fm+1 ( ̺p , w; γ : p, q)
[m + 1] p,q
and
Z υ
̺
∂
∂ p,q t
(c)
Fm (t, w; γ : p, q)d p,q t =
=
(c)
Fm+1 ( υp , w; γ
:
1
[m + 1] p,q
Z υ
̺
t
(c)
Fm+1 ( , w; γ : p, q)d p,q t
p
(c) ̺
p, q) − Fm+1 ( p , w; γ
[m + 1] p,q
: p, q)
,
which completes the proof of the theorem.
Now, we state the following summation formula.
Theorem 7. The following summation formulae
(s)
(s)
m
γ2 Fm (t, w; γ1 : p, q) − γ1 Fm (t, w; γ2 : p, q)
m
(s)
(s)
Fm−r (t, w; γ1 : p, q)Fr (γ2 : p, q)
= ∑
r
γ2 − γ1
p,q
r =0
(33)
and
(c)
(c)
m
γ2 Fm (t, w; γ1 : p, q) − γ1 Fm (t, w; γ2 : p, q)
m
(c)
(c)
Fm−r (t, w; γ1 : p, q)Fr (γ2 : p, q)
= ∑
r
γ2 − γ1
p,q
r =0
hold for γ1 6= γ2 , m ≥ 0 and q, p ∈ C in conjunction with 0 < |q| < | p| ≤ 1.
(34)
Symmetry 2022, 14, 527
9 of 12
Proof. By (22) and (23), we observe that
sin p,q (wz)e p,q (tz)
1 − γ2 (e p,q (z) − 1) 1 − γ1 (e p,q (z) − 1 )
e sin p,q (wz)e p,q (tz) γ1
sin p,q (wz)e p,q (tz)
γ2
−
γ2 − γ1 1 − γ1 (e p,q (z) − 1) 1 − γ2 (e p,q (z) − 1) γ2 − γ1
!
(s)
(s)
∞
zm
γ2 Fm (t, w; γ1 : p, q) − γ1 Fm (t, w; γ2 : p, q)
= ∑
γ2 − γ1
[m] p,q !
m =0
=
and
cos p,q (wz)e p,q (tz)
1 − γ1 (e p,q (z) − 1 ) 1 − γ2 (e p,q (z) − 1)
cos p,q (wz)e p,q (tz)
cos p,q (wz)e p,q (tz)
γ2
γ1
−
γ2 − γ1 1 − γ1 (e p,q (z) − 1) γ2 − γ1 1 − γ2 (e p,q (z) − 1)
!
(c)
(c)
∞
zm
γ2 Fm (t, w; γ1 : p, q) − γ1 Fm (t, w; γ2 : p, q)
,
= ∑
γ2 − γ1
[m] p,q !
m =0
=
which means the claimed results (33) and (34).
Here are summation formulae for the ( p, q)-sine Fubini polynomials and ( p, q)-cosine
Fubini polynomials.
Theorem 8. The following formulae
m
∑p
(m2−r)
r =0
(t ⊕ w)m
m
p,q
(s)
(s)
Fr (t, w; γ : p, q) +
= (1 + γ)Fm (t, w; γ : p, q)
r p,q
γ
(35)
(t ⊕ w)m
m
p,q
(c)
(c)
= (1 + γ)Fm (t, w; γ : p, q)
Fr (t, w; γ : p, q) +
γ
r p,q
(36)
and
m
∑
r =0
p(
m −r
2 )
are valid for m ≥ 0 and p, q ∈ C in conjunction with 0 < |q| < | p| ≤ 1.
Proof. Utilizing the following equality
1+γ
1
1
=
+
(1 − γ(e p,q (z) − 1))γe p,q (z)
1 − γ(e p,q (z) − 1) γe p,q (z)
and from (22) and (23), we acquire
(1 + γ)e p,q (tz) sin p,q (wz)
e p,q (tz) sin p,q (wz) e p,q (tz) sin p,q (wz)
=
+
(1 − γ(e p,q (z) − 1))γe p,q (z)
1 − γ(e p,q (z) − 1)
γe p,q (z)
and
e p,q (tz) cos p,q (wz) e p,q (tz) cos p,q (wz)
(1 + γ)e p,q (tz) cos p,q (wz)
=
+
,
(1 − γ(e p,q (z) − 1))γe p,q (z)
1 − γ(e p,q (z) − 1)
γe p,q (z)
which give the claimed results (35) and (36).
Now, we derive some correlations for the ( p, q)-sine and ( p, q)-cosine Fubini polynomials in (22) and (23) associated with the ( p, q)-Bernoulli, Euler, and Genocchi polynomials
(11)–(13) and the ( p, q)-Stirling numbers of the second kind. We first provide the following theorem.
Symmetry 2022, 14, 527
10 of 12
Theorem 9. Each of the following correlations
m +1
∑
r =0
m+1
r
m+1
r
p,q
Br (1 : p, q) − Br ( p, q)
(s)
(s)
Fm+1−r (t, w; γ : p, q) = Fm (t, w; γ : p, q) (37)
[m + 1] p,q
p,q
Br (1 : p, q) − Br ( p, q)
(c)
(c)
Fm+1−r (t, w; γ : p, q) = Fm (t, w; γ : p, q) (38)
[m + 1] p,q
and
m +1
∑
r =0
are valid for m ≥ 0 and p, q ∈ C in conjunction with 0 < |q| < | p| ≤ 1.
Proof. From (11) and (22), we consider that
e p,q (z) − 1
sin p,q (wz) e p,q (tz)
sin p,q (wz) e p,q (tz)
z
=
1 − γ(e p,q (z) − 1)
z
e p,q (z) − 1 1 − γ(e p,q (z) − 1)
!
!
∞
1 ∞
zm
zm
(s)
=
Bm (1 : p, q)
∑ Fm (t, w; γ : p, q) [m] p,q !
z m∑
[m] p,q !
=0
m =0
!
!
∞
zm
zm
1 ∞
(s)
Bm ( p, q)
−
∑ Fm (t, w; γ : p, q) [m] p,q ! ,
z m∑
[m] p,q !
=0
m =0
which means the claimed correlation (37). The proof of the other correlation (38) can be
done similarly to the proof of the correlation (37).
Theorem 10. The following correlations
m
m
Er (1 : p, q) + Er ( p, q)
(s)
(s)
Fm−r (t, w; γ : p, q) = Fm (t, w; γ : p, q)
∑ r
[
2
]
p,q
p,q
r =0
(39)
and
m
m
Er (1 : p, q) + Er ( p, q)
(c)
(c)
Fm−r (t, w; γ : p, q) = Fm (t, w; γ : p, q)
∑ r
[
2
]
p,q
p,q
r =0
(40)
hold for m ≥ 0 and q, p ∈ C in conjunction with 0 < |q| < | p| ≤ 1.
Proof. By (12) and (23), we see that
cos p,q (wz) e p,q (tz)
e p,q (z) + 1 [2] p,q cos p,q (wz) e p,q (tz)
=
1 − γ(e p,q (z) − 1)
[2] p,q e p,q (z) + 1 1 − γ(e p,q (z) − 1)
!
!
∞
∞
zm
zm
1
(c)
Em (1 : p, q)
=
∑ Fm (t, w; γ : p, q) [m] p,q !
[2] p,q m∑
[m] p,q !
m =0
=0
!
!
∞
∞
1
zm
zm
(c)
+
Em ( p, q)
∑ Fm (t, w; γ : p, q) [m] p,q ! ,
[2] p,q m∑
[m] p,q !
m =0
=0
which implies the asserted correlation (40). The proof of the other correlation (39) can be
done similarly to the proof of the correlation (40).
Theorem 11. Each of the following correlations
m +1
∑
r =0
m+1
r
p,q
Gr (1 : p, q) + Gr ( p, q)
(s)
(s)
Fm+1−r (t, w; γ : p, q) = Fm (t, w; γ : p, q) (41)
[2] p,q [m + 1] p,q
Symmetry 2022, 14, 527
11 of 12
and
m +1
∑
r =0
m+1
r
p,q
Gr (1 : p, q) + Gr ( p, q)
(c)
(c)
Fm+1−r (t, w; γ : p, q) = Fm (t, w; γ : p, q) (42)
[2] p,q [m + 1] p,q
are valid for m ≥ 0 and q, p ∈ C in conjunction with 0 < |q| < | p| ≤ 1.
Proof. From (13) and (22), we investigate
e p,q (z) + 1 z[2] p,q sin p,q (wz) e p,q (tz)
sin p,q (wz) e p,q (tz)
=
1 − γ(e p,q (z) − 1)
z[2] p,q e p,q (z) + 1 1 − γ(e p,q (z) − 1)
!
!
∞
∞
1
zm
zm
(s)
=
Fm (t, w; γ : p, q)
∑ Gm (1 : p, q) [m] p,q !
z[2] p,q m∑
[m] p,q !
m =0
=0
!
!
∞
∞
zm
zm
1
(s)
Fm (t, w; γ : p, q)
+
∑ Gm ( p, q) [m] p,q ! ,
z[2] p,q m∑
[m] p,q !
m =0
=0
which means the desired correlation (41). The proof of the other correlation (42) can be
done similarly to the proof of the correlation (41).
The ( p, q)-Stirling numbers S2 (m, r : p, q) of the second kind are defined by (cf. [2])
∞
(e p,q (z) − 1)r
zm
= ∑ S2 (m, r : p, q)
.
[r ] p,q !
[m] p,q !
m =r
Theorem 12. The following correlations
k
m
m
(s)
∑ ∑ )γ [r] p,q !Sm−k,p,q (t, w) k S2 (k, r : p, q = Fm (t, w; γ : p, q)
p,q
k =0 r =0
and
m
r
k
m
(c)
∑ ∑ γ [r] p,q !Cm−k,p,q (t, w) k S2 (k, r : p, q) = Fm (t, w; γ : p, q)
p,q
k =0 r =0
r
(43)
(44)
hold for m ≥ 0 and q, p ∈ C in conjunction with 0 < |q| < | p| ≤ 1.
Proof. From (22), using the series manipulation method, we attain
∞
∑
(s)
Fm (t, w; γ : p, q)
m =0
sin p,q (wz)e p,q (tz)
zm
=
[m] p,q !
1 − γ(e p,q (z) − 1)
∞
= sin p,q (wz)e p,q (tz) ∑ γr (e p,q (z) − 1)r
r =0
!
zm
= ∑ Sm,p,q (t, w)
∑ γ ∑ [r] p,q !S2 (m, r : p, q) [m] p,q !
[m] p,q !
m =r
r =0
m =0
!
∞
m k
m
zm
,
= ∑ ∑ ∑ γr [r ] p,q !Sm−k,p,q (t, w)
S2 (k, r : p, q)
k p,q
[m] p,q !
m =0 k =0 r =0
∞
zm
!
∞
∞
r
which proves the correlation (43). The proof of the other correlation (44) can be done
similarly to the proof of the correlation (43).
3. Conclusions
In recent years, ( p, q)-extensions of many special polynomials. such as Bernoulli,
Euler, Genocchi, and Hermite polynomials, have been considered and investigated by
many mathematicians (see [2,3,6,8,10,12]).
Symmetry 2022, 14, 527
12 of 12
In this work, ( p, q)-sine Fubini polynomials and ( p, q)-cosine Fubini polynomials have
been introduced and multifarious summation formulae and relationships for these polynomials have been derived by utilizing some series manipulation methods. Furthermore,
( p, q)-derivative operator rules and ( p, q)-integral representations for the ( p, q)-sine Fubini
polynomials and ( p, q)-cosine Fubini polynomials have been provided. Moreover, diverse
correlations related to both the ( p, q)-Stirling numbers and the ( p, q)-Euler, Bernoulli, and
Genocchi polynomials have been developed. When q → p = 1, all acquired results in this
work reduce to classical results for sine-Fubini and cosine-Fubini polynomials. The results
obtained in this paper are also generalizations of the many earlier ( p, q)-results, some of
which involve related references in [6].
We think that this idea of constructing new ( p, q)-polynomial sequences has possible
applications in physics, science, and engineering, as well as in mathematics, such as in
combinatorics, integral transforms, approximation theory, and analytic number theory;
see [1–12] and the references cited therein. As one of our future research projects, we would
like to continue and extend this idea in various directions.
Author Contributions: Conceptualization, G.M., W.A.K.; validation, G.M., W.A.K., U.D. and D.A.-K.;
formal analysis, U.D.; investigation, D.A.-K.; writing—original draft preparation, G.M.; writing—
review and editing, W.A.K.; visualization, U.D. and D.A.-K. All authors have read and agreed to the
published version of the manuscript.
Funding: This work was supported by the Taif University Researchers Supporting Project
(TURSP-2020/246), Taif University, Taif, Saudi Arabia.
Institutional Review Board Statement: Not applicable.
Informed Consent Statement: Not applicable.
Data Availability Statement: No data were used to support the study.
Conflicts of Interest: The authors declare no conflict of interest.
References
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
Corcino, R.B. On ( p, q)-binomial coefficients. Electron. J. Combin. Number Theory 2008, 8, A29.
Duran, U.; Acikgoz, M. Apostol type ( p, q) -Frobenious-Euler polynomials and numbers. Kragujevac J. Math. 2018, 42, 555–567.
[CrossRef]
Duran, U.; Acikgoz, M.; Araci, S. On ( p, q)-Bernoulli, ( p, q)-Euler and ( p, q)-Genocchi polynomials. J. Comput. Theor. Nanosci.
2016, 13, 7833–7908. [CrossRef]
Gupta, V. ( p, q)-Baskakov-Kontorovich operators. Appl. Math. Inf. Sci. 2016, 10, 1551–1556. [CrossRef]
Jain, P.; Basu, C.; Panwar, V. On the ( p, q)-Mellin transform and its applications. Acta Math Sci. 2021, 4, 1719–1732. [CrossRef]
Khan, W.A.; Nisar, K.S.; Baleanu, D. A note on ( p, q) -analogue type of Fubini numbers and polynomials. Aims Math. 2020, 5,
2743–2757. [CrossRef]
Milovanovic, G.V.; Gupta, V.; Malik, N. ( p, q)-Beta functions and applications in approximation. Bol. Soc. Mat. Mex. 2018, 24,
219–237. [CrossRef]
Obad, A.M.; Khan, A.; Mursaleen, M.; Yasmin, G. A determinantal approach to post quantum analogue of Appell type
polynomials. Int. J. Appl. Comput. Math. 2022, 8, 15. [CrossRef]
Sadjang, P.N. On the fundamental theorem of ( p, q) -calculus and some ( p, q)-Taylor formulas. Results Math. 2018, 73, 39.
[CrossRef]
Sadjang, P.N. On ( p, q)-Appell polynomials. Anal. Math. 2018, in press.
Sadjang, P.N. On two ( p, q)-analogues of the Laplace transform. J. Diff. Equ. Appl. 2018, 23, 1562–1583.
Sadjang, P.N.; Duran, U. On two bivariate kinds of ( p, q)-Bernoulli polynomials. Miskolc Math. Notes 2019, 20, 1185–1199.
[CrossRef]
Dil, A.; Kurt, V. Investigating geometric and exponential polynomials with Euler-Seidel matrices. J. Integer Seq. 2011, 14, 1–12.
Kargin, L. Some formulae for products of Fubini polynomials with applications. arXiv 2016, arXiv:1701.01023.
Boyadzhiev, K.N. A series transformation formula and related polynomials. Int. J. Math. Math. Sci. 2005, 23, 3849–3866. [CrossRef]
Tanny, S.M. On some numbers related to Bell numbers. Canad. Math. Bull. 1974, 17, 733–738. [CrossRef]
Jamei, M.-M.; Koepf, W. Symbolic computation of some power-trigonometric series. J. Symbolic Comput. 2017, 80, 273–284.
[CrossRef]