Next Article in Journal
Generalized Nonlocal Symmetries of Two-Component Camassa–Holm and Hunter–Saxton Systems
Next Article in Special Issue
Symmetric and Non-Oscillatory Characteristics of the Neutral Differential Equations Solutions Related to p-Laplacian Operators
Previous Article in Journal
Insect Fluctuating Asymmetry: An Example in Bolivian Peridomestic Populations of Triatoma infestans (Klug, 1834) (Hemiptera: Reduviidae)
Previous Article in Special Issue
Stable Calculation of Discrete Hahn Functions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On (p, q)-Sine and (p, q)-Cosine Fubini Polynomials

1
Department of Mathematics and Natural Sciences, Prince Mohammad Bin Fahd University, P.O. Box 1664, Al Khobar 31952, Saudi Arabia
2
Department of Mathematics, Faculty of Science, University of Tabuk, P.O. Box 741, Tabuk 71491, Saudi Arabia
3
Department of the Basic Concepts of Engineering, Faculty of Engineering and Natural Sciences, Iskenderun Technical University, Hatay 31200, Turkey
4
Department of Mathematics and Statistics, College of Science, Taif University, P.O. Box 11099, Taif 21944, Saudi Arabia
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(3), 527; https://doi.org/10.3390/sym14030527
Submission received: 5 February 2022 / Revised: 20 February 2022 / Accepted: 26 February 2022 / Published: 4 March 2022

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.

1. Introduction

In recent years, ( p , q ) -calculus has been studied and examined widely by many physicists and mathematicians [1,2,3,4,5,6,7,8,9,10,11,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 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 , } , N 0 = N { 0 } , Z = { , 2 , 1 , 0 , 1 , 2 , } and R = , .
The ( p , q ) -numbers [ m ] p , q are defined as follows:
[ m ] p , q = p m q m p q , 0 < q < p 1 .
These can be rewritten such that [ m ] p , q = p m 1 [ m ] q / p , where [ m ] q / p is the q-number in quantum calculus (q-calculus) defined as [ m ] q / p = ( q / p ) m 1 ( 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
D p , q g ( t ) = D p , q ; t g ( t ) = g ( p t ) g ( q t ) ( p q ) t ( t 0 ) ,
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 ( q t ) D p , q g ( t ) + g ( p ( t ) ) D p , q f ( t )
and
D p , q g ( t ) f ( t ) = f ( q t ) D p , q g ( t ) g ( q t ) D p , q f ( t ) f ( q t ) f ( p t ) .
The ( p , q ) -factorial numbers [ m ] p , q ! and the ( p , q ) -binomial coefficients m r 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 r p , q = [ m ] p , q ! [ r ] p , q ! [ m r ] p , q ! ( m r ) .
The ( p , q ) -power basis is defined by
( t + a ) ( p t + a q ) ( p m 2 t + a q m 2 ) ( p m 1 t + a q m 1 ) = t p , q a m m 1
and also has the following expansion
r = 0 m m r p , q p m 2 q m r 2 t r a m r = t p , q a m .
The ( p , q ) -exponential functions, e p , q ( t ) and E p , q ( t ) , are introduced by
e p , q ( t ) = m = 0 p m 2 t m [ m ] p , q ! and E p , q ( t ) = m = 0 q m 2 t m [ m ] p , q ! ,
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 .
These functions hold the following properties
D p , q e p , q ( t ) = e p , q ( p t ) and D p , q E p , q ( t ) = E p , q ( q t ) .
The ( p , q ) -analog of the usual definite integral is defined [9] by
0 a g ( t ) d p , q t = ( p q ) a r = 0 p r q r + 1 g a p r q r + 1
in conjunction with
a b g ( t ) d p , q t = 0 b g ( t ) d p , q t 0 a g ( t ) d p , q t .
From (5), it is observed that
e p , q ( i t ) = m = 0 p m 2 ( i t m ) [ m ] p , q ! = m = 0 ( 1 m ) p 2 m 2 t 2 m [ m ] p , q ! + m = 0 ( 1 m ) p 2 m + 1 2 t 2 m + 1 [ 2 m + 1 ] p , q ! .
From (9), the ( p , q ) -sine function and the ( p , q ) -cosine function are given [12] by
m = 0 ( 1 ) m p 2 m + 1 2 t 2 m + 1 [ 2 m + 1 ] p , q ! = sin p , q ( t ) and m = 0 ( 1 ) m p m 2 t 2 m [ 2 m ] p , q ! = cos p , q ( t ) .
The ( p , q ) -Bernoulli, ( p , q ) -Euler, and ( p , q ) -Genocchi polynomials are introduced as follows (see [3]):
z e p , q ( t z ) e p , q ( z ) 1 = m = 0 B m ( t : p , q ) z m [ m ] p , q ! for z < 2 π ,
[ 2 ] p , q e p , q ( t z ) e p , q ( z ) + 1 = m = 0 E m ( t : p , q ) z m [ m ] p , q ! for z < π
and
[ 2 ] p , q z e p , q ( t z ) e p , q ( z ) + 1 = m = 0 G m ( t : p , q ) z m [ m ] p , q ! for z < π .
When t = 0 , the polynomials given above reduce to their corresponding numbers, shown respectively by B m ( p , q ) , E m ( p , q ) , and G m ( p , q ) for m N 0 .
The generating function of geometric polynomials (or Fubini polynomials) is provided as follows (see [13,14]):
1 1 t ( e z 1 ) = m = 0 F m ( t ) z m m ! ,
which implies
F m ( t ) = r = 0 m S 2 m , r r ! t r ,
where the numbers S 2 m , r are the Stirling numbers of the second kind provided by (see [15,16])
( e z 1 ) r r ! = m = 0 S 2 m , r z m m ! .
Upon setting t = 1 , we attain F m ( 1 ) : = F m , which denotes the corresponding Fubini numbers.

2. On ( p , q ) -Sine and ( p , q ) -Cosine Fubini Polynomials

The Taylor series expansions of the functions e t z sin ( w z ) and e t z cos ( w z ) are presented as given below (see [17])
m = 0 S m ( t , w ) z m m ! = e t z sin w z and m = 0 C m ( t , w ) z m m ! = e t z cos w z ,
where
S m ( t , w ) = r = 0 m 2 ( 1 ) r m 2 r + 1 t m 2 r 1 w 2 r + 1 and C m ( t , w ) = r = 0 m 2 ( 1 ) r m 2 r t m 2 r w 2 r .
Note that the symbol . is the greatest integer function.
In the recent studies, Sadjang and Duran [12] considered ( p , q ) -generalizations of S m ( t , w ) and C m ( t , w ) :
m = 0 S m , p , q ( t , w ) z m [ m ] p , q ! = sin p , q ( w z ) e p , q ( t z )
and
m = 0 C m , p , q ( t , w ) z m [ m ] p , q ! = cos p , q ( w z ) e p , q ( t z ) ,
where
S m , p , q ( t , w ) = r = 0 m 2 ( 1 ) r m 2 r + 1 p , q p 4 r 2 2 r m + m 1 2 t m 2 r 1 w 2 r + 1
and
C m , p , q ( t , w ) = r = 0 m 2 ( 1 ) r m 2 r p , q p m 2 + 2 r ( r m ) t m 2 r w 2 r .
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 ) -cosine Fubini polynomials F m ( s ) ( t , w ; γ : p , q ) and F m ( c ) ( t , w ; γ : p , q ) are introduced by
e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) sin p , q ( w z ) = m = 0 F m ( s ) ( t , w ; γ : p , q ) z m [ m ] p , q !
and
e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) cos p , q ( w z ) = m = 0 F m ( c ) ( t , w ; γ : p , q ) z m [ m ] p , q ! .
Letting w = 0 in (22) and (23), we obtain the classical bivariate ( p , q ) -Fubini polynomials F m ( t ; γ : p , q ) given by (cf. [6])
e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) = m = 0 F m ( t ; γ : p , q ) z m [ m ] p , q ! .
Upon setting w = 0 and t = 0 in (22) and (23), we get the usual ( p , q ) -Fubini polynomials F m ( γ : p , q ) given by
1 1 γ ( e p , q ( z ) 1 ) = m = 0 F m ( γ : p , q ) z m [ m ] p , q !
and setting t = w = 0 and γ = 1 in (22) and (23), we obtain the familiar ( p , q ) -Fubini numbers F m ( p , q ) given by (cf. [6])
1 2 e p , q ( z ) = m = 0 F m ( p , q ) z m [ m ] p , q ! .
We state the following results.
Theorem 1.
The following summation formulae
r = 0 m m r p , q F r , p , q ( γ ) S m r , p , q ( t , w ) = F m ( s ) ( t , w ; γ : p , q )
and
r = 0 m m r p , q F r , p , q ( γ ) C m r , p , q ( t , w ) = F m ( c ) ( t , w ; γ : p , q )
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
m = 0 F m ( s ) ( t , w ; γ : p , q ) z m [ m ] p , q ! = sin p , q ( w z ) e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) = m = 0 S m , p , q ( t , w ) z m [ m ] p , q ! m = 0 F m ( p , q ) z m [ m ] p , q ! = m = 0 r = 0 m m r p , q S m r , p , q ( t , w ) F r , p , q ( γ ) z m [ m ] p , q !
and
m = 0 F m ( c ) ( t , w ; γ : p , q ) z m [ m ] p , q ! = cos p , q ( w z ) e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) = m = 0 C m , p , q ( t , w ) z m [ m ] p , q ! m = 0 F m ( p , q ) z m [ m ] p , q ! = m = 0 r = 0 m m r p , q C m r , p , q ( t , w ) F r , p , q ( γ ) z m [ m ] p , q ! ,
which complete the proofs of (24) and (25). □
Theorem 2.
The following summation formulae
k = 0 m 1 2 m 2 k + 1 p , q k F m 1 2 k ( t ; γ : p , q ) w 2 k + 1 ( 1 ) p 2 k + 1 2 = F m ( s ) ( t , w ; γ : p , q )
and
k = 0 m 2 m 2 k p , q F m 2 k ( t ; γ : p , q ) w 2 k ( 1 ) k p 2 k 2 = F m ( c ) ( t , w ; γ : p , q )
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
m = 0 F m ( s ) ( t , w ; γ : p , q ) z m [ m ] p , q ! = sin p , q ( w z ) e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) = m = 0 ( 1 ) m p 2 m + 1 2 w z 2 m + 1 [ 2 m + 1 ] p , q ! m = 0 F m ( s ) ( t ; γ : p , q ) z m [ m ] p , q ! = m = 0 k = 0 m 2 ( 1 ) k m 2 k + 1 p , q p 2 k + 1 2 F m 1 2 k ( t ; γ : p , q ) w 2 k + 1 z m [ m ] p , q !
and
m = 0 F m ( c ) ( t , w ; γ : p , q ) z m [ m ] p , q ! = cos p , q ( w z ) e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) = m = 0 ( 1 ) m p m 2 t 2 m [ 2 m ] p , q ! m = 0 F m ( s ) ( t ; γ : p , q ) z m [ m ] p , q ! = m = 0 k = 0 m 2 F m 2 k ( t ; γ : p , q ) ( 1 ) k m 2 k p , q p 2 k 2 w 2 k z m [ m ] p , q ! ,
which means the asserted results (26) and (27). □
Theorem 3.
The following relationships
γ r = 0 m p r 2 + m r 2 m r p , q F r ( s ) ( t , w ; γ : p , q ) + S m , p , q ( t , w ) = γ + 1 F m ( s ) ( t , w ; γ : p , q )
and
γ r = 0 m p r 2 + m r 2 m r p , q F r ( c ) ( t , w ; γ : p , q ) + C m , p , q ( t , w ) = γ + 1 F m ( c ) ( t , w ; γ : p , q )
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 ) 1 γ ( e p , q ( z ) 1 ) sin p , q ( w z ) e p , q ( t z ) = sin p , q ( w z ) e p , q ( t z )
and
γ + 1 γ e p , q ( z ) 1 γ ( e p , q ( z ) 1 ) cos p , q ( w z ) e p , q ( t z ) = cos p , q ( w z ) e p , q ( t z ) .
Therefore, we omit the details of the proofs. □
Theorem 4.
The following formulae
r = 0 m t 1 r + t 2 r m r p , q F m r ( s ) ( 0 , w ; γ : p , q ) p r 2 = F m ( s ) ( t 1 , w ; γ : p , q ) + F m ( s ) ( t 1 , w ; γ : p , q )
and
r = 0 m t 1 r + t 2 r m r p , q F m r ( c ) ( 0 , w ; γ : p , q ) p r 2 = F m ( c ) ( t 1 , w ; γ : p , q ) + F m ( c ) ( t 1 , w ; γ : p , q )
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 F m ( s ) ( t 1 , w ; γ : p , q ) + F m ( s ) ( t 2 , w ; γ : p , q ) z m [ m ] p , q ! = m = 0 p m 2 t 1 m + t 2 m z m [ m ] p , q ! sin p , q ( w z ) 1 γ ( e p , q ( z ) 1 ) = m = 0 r = 0 m m r p , q F m r ( s ) ( 0 , w ; γ : p , q ) t 1 r + t 2 r p r 2 z m [ m ] p , q !
and
m = 0 F m ( c ) ( t 1 , w ; γ : p , q ) + F m ( c ) ( t 2 , w ; γ : p , q ) z m [ m ] p , q ! = m = 0 p m 2 t 1 m + t 2 m z m [ m ] p , q ! cos p , q ( w z ) 1 γ ( e p , q ( z ) 1 ) = m = 0 r = 0 m m r p , q F m r ( c ) ( 0 , w ; γ : p , q ) t 1 r + t 2 r p r 2 z m [ m ] 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
p , q t F m ( s ) ( t , w ; γ : p , q ) = F m 1 ( s ) ( p t , w ; γ : p , q ) [ m ] p , q p , q w F m ( s ) ( t , w ; γ : p , q ) = F m 1 ( s ) ( t , q w ; γ : p , q ) [ m ] p , q p , q t F m ( c ) ( t , w ; γ : p , q ) = F m 1 ( c ) ( p t , w ; γ : p , q ) [ m ] p , q p , q w F m ( c ) ( t , w ; γ : p , q ) = F m 1 ( c ) ( t , q w ; γ : p , q ) [ m ] p , q
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
m = 0 p , q t F m ( s ) ( t , w ; γ : p , q ) z m [ m ] p , q ! = sin p , q ( w z ) p , q t e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) = z sin p , q ( w z ) e p , q ( p t z ) 1 γ ( e p , q ( z ) 1 ) = m = 0 F m ( s ) ( p t , w ; γ : p , q ) z m + 1 [ m ] p , q ! ,
which implies (32). The others can be readily proved similarly. □
Theorem 6.
The following p , q -integral representations
ϱ υ F m ( s ) ( t , w ; γ : p , q ) d p , q t = F m + 1 ( s ) ( υ p , w ; γ : p , q ) F m + 1 ( s ) ( ϱ p , w ; γ : p , q ) m + 1 p , q
and
ϱ b F m ( c ) ( t , w ; γ : p , q ) d p , q t = F m + 1 ( c ) ( υ p , w ; γ : p , q ) F m + 1 ( c ) ( ϱ 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
ϱ υ g t p , q t d p , q t = g υ g ϱ ,
(see [13]), using Theorem 5, (22) and (23), we investigate
ϱ υ p , q t F m ( s ) ( t , w ; γ : p , q ) d p , q t = 1 m + 1 p , q ϱ υ F m + 1 ( s ) ( t p , w ; γ : p , q ) d p , q t = F m + 1 ( s ) ( υ p , w ; γ : p , q ) F m + 1 ( s ) ( ϱ p , w ; γ : p , q ) m + 1 p , q
and
ϱ υ p , q t F m ( c ) ( t , w ; γ : p , q ) d p , q t = 1 m + 1 p , q ϱ υ F m + 1 ( c ) ( t p , w ; γ : p , q ) d p , q t = F m + 1 ( c ) ( υ p , w ; γ : p , q ) F m + 1 ( c ) ( ϱ p , w ; γ : p , q ) m + 1 p , q ,
which completes the proof of the theorem. □
Now, we state the following summation formula.
Theorem 7.
The following summation formulae
γ 2 F m ( s ) ( t , w ; γ 1 : p , q ) γ 1 F m ( s ) ( t , w ; γ 2 : p , q ) γ 2 γ 1 = r = 0 m m r p , q F m r ( s ) ( t , w ; γ 1 : p , q ) F r ( s ) ( γ 2 : p , q )
and
γ 2 F m ( c ) ( t , w ; γ 1 : p , q ) γ 1 F m ( c ) ( t , w ; γ 2 : p , q ) γ 2 γ 1 = r = 0 m m r p , q F m r ( c ) ( t , w ; γ 1 : p , q ) F r ( c ) ( γ 2 : p , q )
hold for γ 1 γ 2 , m 0 and q , p C in conjunction with 0 < q < p 1 .
Proof. 
By (22) and (23), we observe that
sin p , q ( w z ) e p , q ( t z ) 1 γ 2 ( e p , q ( z ) 1 ) 1 γ 1 ( e p , q ( z ) 1 ) = γ 2 γ 2 γ 1 sin p , q ( w z ) e p , q ( t z ) 1 γ 1 ( e p , q ( z ) 1 ) e sin p , q ( w z ) e p , q ( t z ) 1 γ 2 ( e p , q ( z ) 1 ) γ 1 γ 2 γ 1 = m = 0 γ 2 F m ( s ) ( t , w ; γ 1 : p , q ) γ 1 F m ( s ) ( t , w ; γ 2 : p , q ) γ 2 γ 1 z m [ m ] p , q !
and
cos p , q ( w z ) e p , q ( t z ) 1 γ 1 ( e p , q ( z ) 1 ) 1 γ 2 ( e p , q ( z ) 1 ) = γ 2 γ 2 γ 1 cos p , q ( w z ) e p , q ( t z ) 1 γ 1 ( e p , q ( z ) 1 ) γ 1 γ 2 γ 1 cos p , q ( w z ) e p , q ( t z ) 1 γ 2 ( e p , q ( z ) 1 ) = m = 0 γ 2 F m ( c ) ( t , w ; γ 1 : p , q ) γ 1 F m ( c ) ( t , w ; γ 2 : p , q ) γ 2 γ 1 z m [ m ] p , q ! ,
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
r = 0 m p m r 2 m r p , q F r ( s ) ( t , w ; γ : p , q ) + ( t w ) p , q m γ = ( 1 + γ ) F m ( s ) ( t , w ; γ : p , q )
and
r = 0 m p m r 2 m r p , q F r ( c ) ( t , w ; γ : p , q ) + ( t w ) p , q m γ = ( 1 + γ ) F m ( c ) ( t , w ; γ : p , q )
are valid for m 0 and p , q C in conjunction with 0 < q < p 1 .
Proof. 
Utilizing the following equality
1 + γ ( 1 γ ( e p , q ( z ) 1 ) ) γ e p , q ( z ) = 1 1 γ ( e p , q ( z ) 1 ) + 1 γ e p , q ( z )
and from (22) and (23), we acquire
( 1 + γ ) e p , q ( t z ) sin p , q ( w z ) ( 1 γ ( e p , q ( z ) 1 ) ) γ e p , q ( z ) = e p , q ( t z ) sin p , q ( w z ) 1 γ ( e p , q ( z ) 1 ) + e p , q ( t z ) sin p , q ( w z ) γ e p , q ( z )
and
( 1 + γ ) e p , q ( t z ) cos p , q ( w z ) ( 1 γ ( e p , q ( z ) 1 ) ) γ e p , q ( z ) = e p , q ( t z ) cos p , q ( w z ) 1 γ ( e p , q ( z ) 1 ) + e p , q ( t z ) cos p , q ( w z ) γ 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.
Theorem 9.
Each of the following correlations
r = 0 m + 1 m + 1 r p , q B r ( 1 : p , q ) B r ( p , q ) [ m + 1 ] p , q F m + 1 r ( s ) ( t , w ; γ : p , q ) = F m ( s ) ( t , w ; γ : p , q )
and
r = 0 m + 1 m + 1 r p , q B r ( 1 : p , q ) B r ( p , q ) [ m + 1 ] p , q F m + 1 r ( c ) ( t , w ; γ : p , q ) = F m ( c ) ( t , w ; γ : p , q )
are valid for m 0 and p , q C in conjunction with 0 < q < p 1 .
Proof. 
From (11) and (22), we consider that
sin p , q ( w z ) e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) = e p , q ( z ) 1 z z e p , q ( z ) 1 sin p , q ( w z ) e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) = 1 z m = 0 B m ( 1 : p , q ) z m [ m ] p , q ! m = 0 F m ( s ) ( t , w ; γ : p , q ) z m [ m ] p , q ! 1 z m = 0 B m ( p , q ) z m [ m ] p , q ! m = 0 F m ( s ) ( t , w ; γ : p , q ) z m [ m ] p , q ! ,
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
r = 0 m m r p , q E r ( 1 : p , q ) + E r ( p , q ) [ 2 ] p , q F m r ( s ) ( t , w ; γ : p , q ) = F m s ( t , w ; γ : p , q )
and
r = 0 m m r p , q E r ( 1 : p , q ) + E r ( p , q ) [ 2 ] p , q F m r c ( t , w ; γ : p , q ) = F m c ( t , w ; γ : p , q )
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 ( w z ) e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) = e p , q ( z ) + 1 [ 2 ] p , q [ 2 ] p , q e p , q ( z ) + 1 cos p , q ( w z ) e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) = 1 [ 2 ] p , q m = 0 E m ( 1 : p , q ) z m [ m ] p , q ! m = 0 F m ( c ) ( t , w ; γ : p , q ) z m [ m ] p , q ! + 1 [ 2 ] p , q m = 0 E m ( p , q ) z m [ m ] p , q ! m = 0 F m ( c ) ( t , w ; γ : p , q ) z m [ m ] p , q ! ,
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
r = 0 m + 1 m + 1 r p , q G r ( 1 : p , q ) + G r ( p , q ) [ 2 ] p , q [ m + 1 ] p , q F m + 1 r ( s ) ( t , w ; γ : p , q ) = F m ( s ) ( t , w ; γ : p , q )
and
r = 0 m + 1 m + 1 r p , q G r ( 1 : p , q ) + G r ( p , q ) [ 2 ] p , q [ m + 1 ] p , q F m + 1 r ( c ) ( t , w ; γ : p , q ) = F m ( c ) ( t , w ; γ : 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
sin p , q ( w z ) e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) = e p , q ( z ) + 1 z [ 2 ] p , q z [ 2 ] p , q e p , q ( z ) + 1 sin p , q ( w z ) e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) = 1 z [ 2 ] p , q m = 0 F m ( s ) ( t , w ; γ : p , q ) z m [ m ] p , q ! m = 0 G m ( 1 : p , q ) z m [ m ] p , q ! + 1 z [ 2 ] p , q m = 0 F m ( s ) ( t , w ; γ : p , q ) z m [ m ] p , q ! m = 0 G m ( p , q ) z m [ m ] p , q ! ,
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 S 2 ( m , r : p , q ) of the second kind are defined by (cf. [2])
( e p , q ( z ) 1 ) r [ r ] p , q ! = m = r S 2 ( m , r : p , q ) z m [ m ] p , q ! .
Theorem 12.
The following correlations
k = 0 m r = 0 k γ r [ r ] p , q ! S m k , p , q ( t , w ) m k p , q S 2 ( k , r : p , q ) = F m ( s ) ( t , w ; γ : p , q )
and
k = 0 m r = 0 k γ r [ r ] p , q ! C m k , p , q ( t , w ) m k p , q S 2 ( k , r : p , q ) = F m ( c ) ( t , w ; γ : p , q )
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
m = 0 F m ( s ) ( t , w ; γ : p , q ) z m [ m ] p , q ! = sin p , q ( w z ) e p , q ( t z ) 1 γ ( e p , q ( z ) 1 ) = sin p , q ( w z ) e p , q ( t z ) r = 0 γ r ( e p , q ( z ) 1 ) r = m = 0 S m , p , q ( t , w ) z m [ m ] p , q ! r = 0 γ r m = r [ r ] p , q ! S 2 ( m , r : p , q ) z m [ m ] p , q ! = m = 0 k = 0 m r = 0 k γ r [ r ] p , q ! S m k , p , q ( t , w ) m k p , q S 2 ( k , r : p , q ) z m [ m ] p , q ! ,
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]).
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,2,3,4,5,6,7,8,9,10,11,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. Corcino, R.B. On (p, q)-binomial coefficients. Electron. J. Combin. Number Theory 2008, 8, A29. [Google Scholar]
  2. Duran, U.; Acikgoz, M. Apostol type (p, q)-Frobenious-Euler polynomials and numbers. Kragujevac J. Math. 2018, 42, 555–567. [Google Scholar] [CrossRef] [Green Version]
  3. 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. [Google Scholar] [CrossRef]
  4. Gupta, V. (p, q)-Baskakov-Kontorovich operators. Appl. Math. Inf. Sci. 2016, 10, 1551–1556. [Google Scholar] [CrossRef]
  5. Jain, P.; Basu, C.; Panwar, V. On the (p, q)-Mellin transform and its applications. Acta Math Sci. 2021, 4, 1719–1732. [Google Scholar] [CrossRef]
  6. 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. [Google Scholar] [CrossRef]
  7. Milovanovic, G.V.; Gupta, V.; Malik, N. (p, q)-Beta functions and applications in approximation. Bol. Soc. Mat. Mex. 2018, 24, 219–237. [Google Scholar] [CrossRef] [Green Version]
  8. 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. [Google Scholar] [CrossRef]
  9. Sadjang, P.N. On the fundamental theorem of (p, q)-calculus and some (p, q)-Taylor formulas. Results Math. 2018, 73, 39. [Google Scholar] [CrossRef]
  10. Sadjang, P.N. On (p, q)-Appell polynomials. Anal. Math. 2018; in press. [Google Scholar]
  11. Sadjang, P.N. On two (p, q)-analogues of the Laplace transform. J. Diff. Equ. Appl. 2018, 23, 1562–1583. [Google Scholar]
  12. Sadjang, P.N.; Duran, U. On two bivariate kinds of (p, q)-Bernoulli polynomials. Miskolc Math. Notes 2019, 20, 1185–1199. [Google Scholar] [CrossRef]
  13. Dil, A.; Kurt, V. Investigating geometric and exponential polynomials with Euler-Seidel matrices. J. Integer Seq. 2011, 14, 1–12. [Google Scholar]
  14. Kargin, L. Some formulae for products of Fubini polynomials with applications. arXiv 2016, arXiv:1701.01023. [Google Scholar]
  15. Boyadzhiev, K.N. A series transformation formula and related polynomials. Int. J. Math. Math. Sci. 2005, 23, 3849–3866. [Google Scholar] [CrossRef] [Green Version]
  16. Tanny, S.M. On some numbers related to Bell numbers. Canad. Math. Bull. 1974, 17, 733–738. [Google Scholar] [CrossRef]
  17. Jamei, M.-M.; Koepf, W. Symbolic computation of some power-trigonometric series. J. Symbolic Comput. 2017, 80, 273–284. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

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

AMA Style

Khan WA, Muhiuddin G, Duran U, Al-Kadi D. On (p, q)-Sine and (p, q)-Cosine Fubini Polynomials. Symmetry. 2022; 14(3):527. https://doi.org/10.3390/sym14030527

Chicago/Turabian Style

Khan, Waseem Ahmad, Ghulam Muhiuddin, Ugur Duran, and Deena Al-Kadi. 2022. "On (p, q)-Sine and (p, q)-Cosine Fubini Polynomials" Symmetry 14, no. 3: 527. https://doi.org/10.3390/sym14030527

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