Next Article in Journal
Racemization in Post-Translational Modifications Relevance to Protein Aging, Aggregation and Neurodegeneration: Tip of the Iceberg
Next Article in Special Issue
Applications of Generalized q-Difference Equations for General q-Polynomials
Previous Article in Journal
Recent Developments of the Lauricella String Scattering Amplitudes and Their Exact SL(K + 3,C) Symmetry
Previous Article in Special Issue
Generalized Bessel Functions and Their Use in Bremsstrahlung and Multi-Photon Processes
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Fourier Transforms of Some Finite Bivariate Orthogonal Polynomials

by
Esra Güldoğan Lekesiz
1,
Rabia Aktaş
2,* and
Mohammad Masjed-Jamei
3
1
Department of Mathematics, Atilim University, Incek, Ankara 06830, Turkey
2
Faculty of Science, Department of Mathematics, Ankara University, Tandoğan, Ankara 06100, Turkey
3
Department of Mathematics, K. N. Toosi University of Technology, Tehran P.O. Box 16315-1618, Iran
*
Author to whom correspondence should be addressed.
Symmetry 2021, 13(3), 452; https://doi.org/10.3390/sym13030452
Submission received: 22 February 2021 / Revised: 6 March 2021 / Accepted: 8 March 2021 / Published: 10 March 2021
(This article belongs to the Special Issue Theory and Applications of Special Functions in Mathematical Physics)

Abstract

:
In this paper, we first obtain the Fourier transforms of some finite bivariate orthogonal polynomials and then by using the Parseval identity, we introduce some new families of bivariate orthogonal functions.

1. Introduction

The integral transforms have wide applications in many branches of physics, engineering, mathematics and in other scientific disciplines. There are many applications of the integral transforms to differential, integral, and integro-differential equations, and in the theory of special functions. In particular, the integral transform technique can be applied to derive the solutions of integral equations of convolution type, integral equations, differential equations, or integro-differential equations. The literature in this subject is huge and includes many research papers and books. For more details regarding this subject, we refer the readers to [1,2,3,4,5,6,7]. Integral transforms are also used in the solutions of problems regarding mathematical modelling [8,9].
In this article, we focus on just Fourier transform which is an integral transform. The most important use of the Fourier transformation is to solve many of the partial differential equations of the mathematical physics, such as Laplace, Heat, and Wave equations. Some applications of the Fourier transform include vibration analysis, sound engineering, communication, data analysis, etc. [10,11,12,13,14]. The Fourier transform is also an important image processing tool, especially in transformation, representation, and encoding, smoothing and sharpening images [5]. By comparing with the signal process that uses one-dimensional Fourier transform in imaging analysis, two- or multi-dimensional Fourier transforms are being used. Fourier transform has been widely used in the fields of image analysis.
Consider the following differential equation
a x 2 + b x + c y n + d x + e y n = n d + n 1 a y n ,
where a , b , c , d , e are real parameters and n is a positive integer. According to [15], this equation has generally six sequences of orthogonal polynomial solutions. Three of them are Jacobi, Laguerre and Hermite infinitely orthogonal polynomials [16] and three other ones, which are denoted by M n p , q x , N n p x and I n p x , are finitely orthogonal with respect to the F sampling, inverse Gamma and T sampling distributions, respectively (see [17,18]).
The study of orthogonal polynomials and their transformations have been the subject of many papers during the last several years. The families of orthogonal polynomials which are mapped onto each other can be introduced by using the well-known Fourier transform or other integral transforms [19]. For example, Hermite functions are eigenfunctions of a Fourier transform (see [20,21,22,23]). Likewise, the Jacobi polynomials are mapped onto the continuous Hahn polynomials [20] and by the Fourier-Jacobi transform, Jacobi polynomials are mapped onto the Wilson polynomials [23]. In [24], new examples of orthogonal functions are obtained via Fourier transforms of the generalized Ultraspherical polynomials and the generalized Hermite polynomials. In [25], the Fourier transform of Routh-Romanovski polynomials is investigated. Furthermore, via the Fourier transforms of the finite classical orthogonal polynomials M n p , q x and N n p x , and two symmetric sequences of finite orthogonal polynomials, new families of orthogonal functions are introduced in [21,26].
Recently, in [27] some new families of orthogonal functions in two variables were introduced by using Fourier transforms of specific functions derived from two-variable polynomials defined in [28,29] and then using the Parseval identity their orthogonality relations have been obtained. Also, in [30] the authors have defined finite bivariate orthogonal polynomials by using a Koornwinder’s method [28].
Motivated by papers on Fourier transforms of univariate orthogonal polynomials mentioned above, a similar approach in those papers has been developed for two-dimensional Fourier transforms. This approach allows us to derive new families of bivariate orthogonal functions. Also, a similar approach can be applied for multivariate orthogonal polynomials and their properties can be investigated.
The aim of this paper is to obtain new families of bivariate orthogonal functions by two-dimensional Fourier transforms of bivariate finite orthogonal polynomials given in [30] by means of Koorwinder’s method. The rest of the article is organized as follows: In Section 2, we first remind three classes of finite univariate orthogonal polynomials in [18] and then present fifteen classes of finite bivariate orthogonal polynomials which are introduced in [30]. In Section 3, via Fourier transforms of finite bivariate orthogonal polynomials, we obtain new families of bivariate orthogonal functions and then compute their orthogonality relations via Parseval identity.

2. Preliminaries

In this section, we recall the classes of finite univariate and bivariate orthogonal polynomials introduced in [18,30], respectively. We first start with three classes of finite univariate orthogonal polynomials.

2.1. The Classes of Finite Univariate Orthogonal Polynomials

2.1.1. The First Class of Finite Classical Orthogonal Polynomials

Consider the equation
x x + 1 y n x + ( 2 p x + 1 + q ) y n x n n + 1 p y n x = 0 ,
as a special case of (1). By means of the Frobenius method, an explicit polynomial solution for Equation (2) is obtained as [18]
M n p , q x = 1 n n ! k = 0 n p n + 1 k q + n n k x k .
The first class of finite classical orthogonal polynomials denoted by M n p , q is orthogonal on 0 , with respect to the weight function W 1 x , p , q = x q 1 + x p + q if and only if p > 2 max m , n + 1 and q > 1 . Indeed, if we rewrite Equation (2) in self-adjoint forms as
x 1 + q 1 + x 1 p q y n x = n n + 1 p x q 1 + x p + q y n x , x 1 + q 1 + x 1 p q y m x = m m + 1 p x q 1 + x p + q y m x ,
where y n x = M n p , q x , then if we multiply the equations in (4) by y m x and y n x , respectively and subtract them, we arrive at
x q + 1 1 + x p + q 1 y n x y m x y m x y n x 0 = λ n λ m 0 x q 1 + x p + q M n p , q x M m p , q x d x ,
where λ n = n n + 1 p . Since
max deg y n x y m x y m x y n x = m + n 1 ,
then if q > 1 , p > 2 N + 1 , N = max m , n , the left hand side of (5) tends to zero. Thus, it follows
0 x q 1 + x p + q M n p , q x M m p , q x d x = 0 m n , p > 2 N + 1 , q > 1 N = max m , n .
To calculate the norm square value of the polynomials M n p , q x , if we write the Rodrigues representation of the polynomials given by [18]
M n p , q x = 1 n 1 + x p + q x q d n ( x n + q 1 + x n p q ) d x n , n = 0 , 1 , . . . ,
in the norm square value, we have
0 x q 1 + x p + q M n p , q x 2 d x = 1 n 0 M n p , q x d n ( x n + q 1 + x n p q ) d x n d x ,
then from integration by parts it follows
1 n 0 M n p , q x d n ( x n + q 1 + x n p q ) d x n d x = n ! p n + 1 ! p 2 n + 1 ! 0 x n + q 1 + x n p q d x .
Since
0 x n + q 1 + x n p q d x = p 2 n + 2 ! q + n ! p + q n + 1 ! ,
we find that
0 x q 1 + x p + q M n p , q x 2 d x = n ! Γ p n Γ q + n + 1 p 2 n + 1 Γ p + q n ,
where Γ z is the well-known Gamma function defined by [31]
Γ z = 0 x z 1 e x d x , z > 0 .
Thus, the following corollary holds.
Corollary 1
(Orthogonality relation). ([18]) The following relation is satisfied
0 x q 1 + x p + q M n p , q x M m p , q x d x = n ! Γ p n Γ q + n + 1 p 2 n + 1 Γ p + q n δ n , m ,
if and only if m , n = 0 , 1 , 2 , . . . , N < p 1 2 , q > 1 , δ n , m = 1 if m = n 0 if m n .

2.1.2. The Second Class of Finite Classical Orthogonal Polynomials

Let consider the second order differential equation of the form
x 2 y n x + 2 p x + 1 y n x n n + 1 p y n x = 0 ,
as a special case of (1). By the Frobenius method, an explicit polynomial solution for this equation is obtained as [18]
N n p x = 1 n k = 0 n k ! p n + 1 k n n k x k .
By means of similar calculations applied for the first class of finite classical orthogonal polynomials M n p , q x it is seen that these polynomials are orthogonal on 0 , with respect to the weight function W 2 x , p = x p e 1 / x if and only if p > 2 max m , n + 1 [18]. In other words
0 x p e 1 / x N n p x N m p x d x = n ! Γ p n p 2 n 1 δ n , m .

2.1.3. The Third Class of Finite Classical Orthogonal Polynomials

The third class is defined by
I n p x = n ! k = 0 n / 2 1 k p 1 n k n k k 2 x n 2 k ,
and they are solutions of the differential equation
1 + x 2 y n x + 3 2 p x y n x n n + 2 2 p y n x = 0 .
They are orthogonal on , with respect to the weight function W 3 x , p = 1 + x 2 p 1 / 2 if and only if p > max m , n + 1 . Indeed, the orthogonality relation is as follows [18]
1 + x 2 p 1 / 2 I n p x I m p x d x = n ! 2 2 n 1 π Γ 2 p Γ 2 p 2 n p n 1 Γ p n Γ p n + 1 / 2 Γ 2 p n 1 δ n , m .

2.2. The Classes of Finite Bivariate Orthogonal Polynomials

Recently, in [30], fifteen families of finite bivariate orthogonal polynomials have been introduced by using Koornwinder’s method [28], which are now listed as follows:

2.2.1. The First Sequence

Finite orthogonal polynomials 1 Q n , k p , q x , y k = 0 , n = 0 k = n , n = N defined as
1 Q n , k p , q x , y = M n k p 2 k 1 , q + 2 k + 1 x x k M k p , q y x , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 1 x , y ; p , q = x p + q y q 1 + x p + q x + y p + q ,
on the domain
D 1 = x , y R 2 : 0 < x < , 0 < y < ,
if and only if p > 2 N + 2 , q > 1 . In other words, we have
D 1 x p + q y q 1 + x p + q x + y p + q 1 Q n , k p , q x , y 1 Q r , s p , q x , y d x d y = n k ! k ! Γ p k Γ p n k 1 Γ q + k + 1 Γ q + n + k + 2 p 2 n 2 p 2 k 1 Γ p + q n k Γ p + q k δ n , r δ k , s ,
for n , r = 0 , 1 , 2 , . . . , N < p 2 2 , q > 1 and N = max n , r .

2.2.2. The Second Sequence

Finite orthogonal polynomials 2 Q n , k p , q x , y k = 0 , n = 0 k = n , n = N defined as
2 Q n , k p , q x , y = M n k p 2 k 1 , q x 1 + x k M k p , q y 1 + x , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 2 x , y ; p , q = x q y q 1 + x q 1 + x + y p + q ,
on the domain
D 2 = x , y R 2 : 0 < x < , 0 < y < ,
if and only if p > 2 N + 2 , q > 1 . In other words, we have
D 2 x q y q 1 + x q 1 + x + y p + q 2 Q n , k p , q x , y 2 Q r , s p , q x , y d x d y = n k ! k ! Γ p n k 1 Γ p k Γ q + n k + 1 Γ q + k + 1 p 2 n 2 p 2 k 1 Γ p + q n k 1 Γ p + q k δ n , r δ k , s ,
for n , r = 0 , 1 , 2 , . . . , N < p 2 2 , q > 1 and N = max n , r .

2.2.3. The Third Sequence

Finite orthogonal polynomials 3 Q n , k p x , y k = 0 , n = 0 k = n , n = N defined as
3 Q n , k p x , y = N n k p 2 k 1 x x k N k p y x , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 3 x , y ; p = y p exp 1 x x y ,
on the domain
D 3 = x , y : 0 < x < , 0 < y < ,
if and only if p > 2 N + 2 . In other words, we have
D 3 y p exp 1 x x y 3 Q n , k p x , y 3 Q r , s p x , y d x d y = n k ! k ! Γ p k Γ p n k 1 p 2 k 1 p 2 n 2 δ n , r δ k , s ,
for n , r = 0 , 1 , . . . , N < p 2 2 and N = max n , r .

2.2.4. The Fourth Sequence

Finite orthogonal polynomials 4 Q n , k p , q x , y k = 0 , n = 0 k = n , n = N defined as
4 Q n , k p , q x , y = M n k p 2 k 1 , q + 2 k + 1 x x k N k p y x , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 4 x , y ; p , q = x p + q y p x + 1 p + q exp x / y ,
on the domain
D 4 = x , y R 2 : 0 < x < , 0 < y < ,
if and only if p > 2 N + 2 , q > 2 . In other words, we have
D 4 x p + q y p x + 1 p + q exp x / y 4 Q n , k p , q x , y 4 Q r , s p , q x , y d x d y = n k ! k ! Γ p k Γ p n k 1 Γ q + n + k + 2 p 2 k 1 p 2 n 2 Γ p + q n + k δ n , r δ k , s ,
for n , r = 0 , 1 , . . . , N < p 2 2 , q > 2 and N = max n , r .

2.2.5. The Fifth Sequence

Finite orthogonal polynomials 5 Q n , k p , q x , y k = 0 , n = 0 k = n , n = N defined as
5 Q n , k p , q x , y = M n k p 2 k 1 , q x 1 + x k N k p y 1 + x , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 5 x , y ; p , q = x q y p 1 + x q exp 1 + x y ,
on the domain
D 5 = x , y R 2 : 0 < x < , 0 < y < ,
if and only if p > 2 N + 2 , q > 1 . In other words, we have
D 5 x q y p 1 + x q exp 1 + x y 5 Q n , k p , q x , y 5 Q r , s p , q x , y d x d y = n k ! k ! Γ p n k 1 Γ p k Γ q + n k + 1 p 2 n 2 p 2 k 1 Γ p + q n k 1 δ n , r δ k , s ,
for n , r = 0 , 1 , . . . , N < p 2 2 , q > 1 and N = max n , r .

2.2.6. The Sixth Sequence

Finite orthogonal polynomials 6 Q n , k p , q x , y k = 0 , n = 0 k = n , n = N defined as
6 Q n , k p , q x , y = N n k p 2 k 1 x x k M k p , q y x , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 6 x , y ; p , q = y q x + y p + q exp 1 / x ,
on the domain
D 6 = x , y : 0 < x < , 0 < y < ,
if and only if p > 2 N + 2 , q > 1 . In other words, we have
D 6 y q x + y p + q exp 1 / x 6 Q n , k p , q x , y 6 Q r , s p , q x , y d x d y = n k ! k ! Γ p k Γ p n k 1 Γ q + k + 1 p 2 n 2 p 2 k 1 Γ p + q k δ n , r δ k , s ,
for n , r = 0 , 1 , . . . , N < p 2 2 , q > 1 and N = max n , r .

2.2.7. The Seventh Sequence

Finite orthogonal polynomials 7 Q n , k p , q , u , v x , y k = 0 , n = 0 k = n , n = N defined as
7 Q n , k p , q , u , v x , y = M n k p , q x M k u , v y , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 7 x , y ; p , q , u , v = x q y v 1 + x p + q 1 + y u + v ,
on the domain
D 7 = x , y : 0 < x < , 0 < y < ,
if and only if p , u > 2 N + 1 , q , v > 1 . In other words, we have
D 7 x q y v 1 + x p + q 1 + y u + v 7 Q n , k p , q , u , v x , y 7 Q r , s p , q , u , v x , y d x d y = 0 x q 1 + x p + q M n k p , q x M r s p , q x d x × 0 y v 1 + y u + v M k u , v y M s u , v y d y .
Here, using the orthogonality relation (7) for polynomial M n p , q x , the following orthogonality relation
D 7 x q y v 1 + x p + q 1 + y u + v 7 Q n , k p , q , u , v x , y 7 Q r , s p , q , u , v x , y d x d y = n k ! k ! Γ p n k Γ q + n k + 1 Γ u k Γ v + k + 1 p 2 n k 1 u 2 k 1 Γ p + q n + k Γ u + v k δ n , r δ k , s
is satisfied for n , r = 0 , 1 , . . . , N < min p 1 2 , u 1 2 , q , v > 1 and N = max n , r .

2.2.8. The Eight Sequence

Finite orthogonal polynomials 8 Q n , k p , q x , y k = 0 , n = 0 k = n , n = N defined as
8 Q n , k p , q x , y = N n k p x N k q y , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 8 x , y ; p , q = x p y q exp 1 x 1 y ,
on the domain
D 8 = x , y : 0 < x < , 0 < y < ,
if and only if p , q > 2 N + 1 . In other words, we have
D 8 e 1 x 1 y x p y q 8 Q n , k p , q x , y 8 Q r , s p , q x , y d x d y = n k ! k ! Γ p n k Γ q k p 2 n k 1 q 2 k 1 δ n , r δ k , s ,
for n , r = 0 , 1 , . . . , N < min p 1 2 , q 1 2 and N = max n , r .

2.2.9. The Ninth Sequence

Finite orthogonal polynomials 9 Q n , k p , q , u x , y k = 0 , n = 0 k = n , n = N defined as
9 Q n , k p , q , u x , y = M n k p , q x N k u y , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 9 x , y ; p , q , u = x q 1 + x p + q y u exp 1 / y ,
on the domain
D 9 = x , y : 0 < x < , 0 < y < ,
if and only if p , u > 2 N + 1 , q > 1 . In other words, we have
D 9 x q 1 + x p + q y u exp 1 / y 9 Q n , k p , q , u x , y 9 Q r , s p , q , u x , y d x d y = n k ! k ! Γ p n k Γ q + n k + 1 Γ u k p 2 n k 1 u 2 k 1 Γ p + q n k δ n , r δ k , s ,
for n , r = 0 , 1 , . . . , N < min p 1 2 , u 1 2 , q > 1 and N = max n , r .

2.2.10. The Tenth Sequence

Finite orthogonal polynomials 10 Q n , k p x , y k = 0 , n = 0 k = n , n = N defined as
10 Q n , k p x , y = I n k p k 1 / 2 x 1 + x 2 k / 2 I k p y 1 + x 2 , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 10 x , y ; p = 1 + x 2 + y 2 p 1 2 ,
on the domain
D 10 = x , y : < x < , < y < ,
if and only if p > N + 3 2 . In other words, we have
D 10 1 + x 2 + y 2 p 1 2 10 Q n , k p x , y 10 Q r , s p x , y d x d y = n k ! k ! 2 2 n 1 π Γ 2 p k 1 / 2 Γ 2 p Γ 2 p 2 n 1 Γ 2 p 2 k p n 3 / 2 p k 1 Γ p n 1 / 2 Γ p k Γ p n Γ p k + 1 / 2 Γ 2 p n k 2 Γ 2 p k 1 δ n , r δ k , s ,
for n , r = 0 , 1 , . . . , N < p 3 2 and N = max n , r .

2.2.11. The Eleventh Sequence

Finite orthogonal polynomials 11 Q n , k p , q x , y k = 0 , n = 0 k = n , n = N defined as
11 Q n , k p , q x , y = M n k p 2 k 1 , q + 2 k + 1 x x k I k p y x , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 11 x , y ; p , q = x 2 p + q 1 1 + x p + q x 2 + y 2 p 1 2 ,
on the domain
D 11 = x , y : 0 < x < , < y < ,
if and only if p > 2 N + 2 and q > 2 . In other words, we have
D 11 x 2 p + q 1 1 + x p + q x 2 + y 2 p 1 2 11 Q n , k p , q x , y 11 Q r , s p , q x , y d y d x = n k ! k ! 2 2 k 1 π Γ 2 p Γ p n k 1 Γ 2 p 2 k Γ q + n + k + 2 p 2 n 2 p k 1 Γ p k Γ p k + 1 2 Γ 2 p k 1 Γ p + q n + k δ n , r δ k , s ,
for n , r = 0 , 1 , . . . , N < p 2 2 , q > 2 and N = max n , r .

2.2.12. The Twelfth Sequence

Finite orthogonal polynomials 12 Q n , k p x , y k = 0 , n = 0 k = n , n = N defined as
12 Q n , k p x , y = N n k p 2 k 1 x x k I k p y x , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 12 x , y ; p = x p 1 x 2 + y 2 p 1 2 exp 1 / x ,
on the domain
D 12 = x , y : 0 < x < , < y < ,
if and only if p > 2 N + 2 . In other words, we have
D 12 x p 1 x 2 + y 2 p 1 2 exp 1 / x 12 Q n , k p x , y 12 Q r , s p x , y d y d x = n k ! k ! 2 2 k 1 π Γ 2 p Γ 2 p 2 k Γ p n k 1 p 2 n 2 p k 1 Γ p k Γ p k + 1 2 Γ 2 p k 1 δ n , r δ k , s ,
for n , r = 0 , 1 , . . . , N < p 2 2 and N = max n , r .

2.2.13. The Thirteenth Sequence

Finite orthogonal polynomials 13 Q n , k p , q x , y k = 0 , n = 0 k = n , n = N defined as
13 Q n , k p , q x , y = I n k p x I k q y , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 13 x , y ; p , q = 1 + x 2 p 1 2 1 + y 2 q 1 2 ,
on the domain
D 13 = x , y : < x < , < y < ,
if and only if p , q > N + 1 . In other words, we have
D 13 1 + x 2 p 1 2 1 + y 2 q 1 2 13 Q n , k p , q x , y 13 Q r , s p , q x , y d y d x = n k ! k ! 2 2 n 1 π Γ 2 p Γ 2 q p n + k 1 q k 1 Γ p n + k Γ q k Γ p n + k + 1 2 × Γ 2 p 2 n + 2 k Γ 2 q 2 k Γ q k + 1 2 Γ 2 p n + k 1 Γ 2 q k 1 δ n , r δ k , s ,
for n , r = 0 , 1 , . . . , N < min p 1 , q 1 and N = max n , r .

2.2.14. The Fourteenth Sequence

Finite orthogonal polynomials 14 Q n , k p , q , u x , y k = 0 , n = 0 k = n , n = N defined as
14 Q n , k p , q , u x , y = M n k p , q x I k u y , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 14 x , y ; p , q , u = x q 1 + x p + q 1 + y 2 u 1 2 ,
on the domain
D 14 = x , y : 0 < x < , < y < ,
if and only if p > 2 N + 1 , u > N + 1 and q > 1 . In other words, we have
D 14 x q 1 + x p + q 1 + y 2 u 1 2 14 Q n , k p , q , u x , y 14 Q r , s p , q , u x , y d y d x = n k ! k ! 2 2 k 1 π Γ p n + k Γ q + n k + 1 p 2 n k 1 u k 1 Γ p + q n + k × Γ 2 u Γ 2 u 2 k Γ u k Γ u k + 1 2 Γ 2 u k 1 δ n , r δ k , s ,
for n , r = 0 , 1 , . . . , N < min p 1 2 , u 1 , q > 1 and N = max n , r .

2.2.15. The Fifteenth Sequence

Finite orthogonal polynomials 15 Q n , k p , q x , y k = 0 , n = 0 k = n , n = N defined as
15 Q n , k p , q x , y = N n k p x I k q y , k = 0 , 1 , . . . , n ,
are orthogonal with respect to the weight function
w 15 x , y ; p , q = x p 1 + y 2 q 1 2 exp 1 / x ,
on the domain
D 15 = x , y : 0 < x < , < y < ,
if and only if p > 2 N + 1 and q > N + 1 . In other words, we have
D 15 x p 1 + y 2 q 1 2 exp 1 / x 15 Q n , k p , q x , y 15 Q r , s p , q x , y d y d x = n k ! k ! 2 2 k 1 π Γ p n + k Γ 2 q Γ 2 q 2 k p 2 n k 1 q k 1 Γ q k Γ q k + 1 2 Γ 2 q k 1 δ n , r δ k , s ,
for n , r = 0 , 1 , . . . , N < min p 1 2 , q 1 and N = max n , r .
In the present paper, we first consider Fourier transforms of some specific functions in terms of finite bivariate orthogonal polynomials listed above except for tenth, eleventh and twelft polynomial sequences and then we introduce new families of bivariate orthogonal functions via Parseval identity.

3. Fourier Transforms for the Set of the Polynomials Q n , k

The Fourier transform for a function of one variable is defined as [32]
F f x = e i ξ x f x d x ,
and the corresponding Parseval identity is given by
f x p x ¯ d x = 1 2 π F f x F p x ¯ d ξ ,
for p , f L 2 ( R ) .
The Fourier transform for a function of two variables is in the form [1]
F g x , y = e i ξ 1 x + ξ 2 y g x , y d x d y ,
and the corresponding Parseval identity is given by
g x , y h x , y ¯ d x d y = 1 2 π 2 F g x , y F h x , y ¯ d ξ 1 d ξ 2 .
Now, let us obtain the Fourier transforms of finite bivariate orthogonal polynomials given in the previous section in order to define some new families of bivariate orthogonal functions using the Parseval identity.

3.1. Fourier Transform of the Polynomials 1 Q n , k p , q x , y

Let us define
h n , k x , y ; κ 1 , κ 2 , λ , μ = e κ 2 y e x + 1 κ 1 + κ 2 e x + e y κ 1 + κ 2 × e κ 1 + κ 2 + 1 2 x 1 Q n , k λ , μ e x , e y ,
where κ 1 , κ 2 , λ and μ are real parameters, and the polynomials 1 Q n , k p , q x , y are defined in (12). By using appropriate substitutions e x = u , e y = v and v u = t , we get
F h n , k x , y ; κ 1 , κ 2 , λ , μ = 0 u k + κ 2 1 2 i ξ 1 + ξ 2 u + 1 κ 1 + κ 2 M n k λ 2 k 1 , μ + 2 k + 1 u d u × 0 t κ 2 1 i ξ 2 1 + t κ 1 + κ 2 M k λ , μ t d t .
If we apply (3), then
F h n , k x , y ; κ 1 , κ 2 , λ , μ = 1 n Γ μ + n + k + 2 Γ μ + k + 1 Γ μ + 2 k + 2 Γ μ + 1 × l 1 = 0 n k n k l 1 2 λ + n + k l 1 l 1 ! 1 l 1 μ + 2 k + 2 l 1 0 u k + κ 2 1 2 i ξ 1 + ξ 2 + l 1 u + 1 κ 1 + κ 2 d u × l 2 = 0 k k l 2 1 λ + k l 2 l 2 ! 1 l 2 μ + 1 l 2 0 t κ 2 1 i ξ 2 + l 2 1 + t κ 1 + κ 2 d t = 1 n Γ μ + n + k + 2 Γ μ + k + 1 Γ μ + 2 k + 2 Γ μ + 1 l 1 = 0 n k n k l 1 2 λ + n + k l 1 l 1 ! 1 l 1 μ + 2 k + 2 l 1 × Γ κ 2 + k + 1 2 i ξ 1 + ξ 2 + l 1 Γ κ 1 k 1 2 + i ξ 1 + ξ 2 l 1 Γ κ 1 + κ 2 × l 2 = 0 k k l 2 1 λ + k l 2 l 2 ! 1 l 2 μ + 1 l 2 Γ κ 2 i ξ 2 + l 2 Γ κ 1 + i ξ 2 l 2 Γ κ 1 + κ 2 ,
and we can conclude that
F h n , k x , y ; κ 1 , κ 2 , λ , μ = 1 n Γ μ + n + k + 2 Γ μ + k + 1 Γ μ + 2 k + 2 Γ μ + 1 Γ 2 κ 1 + κ 2 × C 1 k , κ 1 , κ 2 , ξ 1 , ξ 2 Θ 1 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 ,
where
C 1 k , κ 1 , κ 2 , ξ 1 , ξ 2 = Γ κ 1 + i ξ 2 Γ κ 2 i ξ 2 Γ κ 1 k 1 / 2 + i ξ 1 + ξ 2 × Γ κ 2 + k + 1 / 2 i ξ 1 + ξ 2 ,
and
Θ 1 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 = 3 F 2 k , k + 1 λ , κ 2 i ξ 2 μ + 1 , 1 κ 1 i ξ 2 1 × 3 F 2 n k , n + k + 2 λ , k + κ 2 + 1 / 2 i ξ 1 + ξ 2 μ + 2 k + 2 , k κ 1 + 3 / 2 i ξ 1 + ξ 2 1 ,
such that 3 F 2 is a special case of the hypergeometric function given by [31]
p F q a 1 , a 2 , . . . , a p b 1 , b 2 , . . . , b q x = k = 0 a 1 k a 2 k . . . a p k b 1 k b 2 k . . . b q k x k k ! ,
in which λ k = λ λ + 1 . . . λ + k 1 , k = 1 , 2 , . . . ; λ 0 = 1 is the Pochhammer symbol. Also, from the definition of Gamma function, it can be verified that
λ k = Γ λ + k Γ λ and Γ a k = 1 k Γ a 1 a k .
Hence, from the Parseval identity (39) we obtain
h n , k x , y ; κ 1 , κ 2 , λ , μ h r , s x , y ; ϱ 1 , ϱ 2 , α , β d x d y = e κ 1 + κ 2 + ϱ 1 + ϱ 2 + 1 x e κ 2 + ϱ 2 y e x + 1 κ 1 + κ 2 + ϱ 1 + ϱ 2 e x + e y κ 1 + κ 2 + ϱ 1 + ϱ 2 × 1 Q n , k λ , μ e x , e y 1 Q r , s α , β e x , e y d x d y = 0 0 u κ 1 + κ 2 + ϱ 1 + ϱ 2 v κ 2 + ϱ 2 1 u + 1 κ 1 + κ 2 + ϱ 1 + ϱ 2 u + v κ 1 + κ 2 + ϱ 1 + ϱ 2 × 1 Q n , k λ , μ u , v 1 Q r , s α , β u , v d u d v = 1 n + r 2 π 2 Γ μ + n + k + 2 Γ μ + k + 1 Γ β + r + s + 2 Γ β + s + 1 Γ μ + 2 k + 2 Γ μ + 1 Γ β + 2 s + 2 Γ β + 1 × C 1 k , κ 1 , κ 2 , ξ 1 , ξ 2 C 1 s , ϱ 1 , ϱ 2 , ξ 1 , ξ 2 ¯ Γ 2 κ 1 + κ 2 Γ 2 ϱ 1 + ϱ 2 × Θ 1 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 Θ 1 r , s , ϱ 1 , ϱ 2 , α , β , ξ 1 , ξ 2 ¯ d ξ 1 d ξ 2 .
Now by taking κ 1 + ϱ 1 + 1 = λ = α and κ 2 + ϱ 2 1 = μ = β in (42), if we use the orthogonality relation (13) in the left-hand side of (42), we obtain
4 π 2 n k ! k ! Γ κ 1 + ϱ 1 n k Γ κ 1 + ϱ 1 k + 1 Γ 2 κ 2 + ϱ 2 + 2 k + 1 κ 1 + ϱ 1 2 n 1 κ 1 + ϱ 1 2 k Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 n k × Γ 2 κ 1 + κ 2 Γ 2 κ 2 + ϱ 2 Γ 2 ϱ 1 + ϱ 2 Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 k Γ κ 2 + ϱ 2 + n + k + 1 Γ κ 2 + ϱ 2 + k δ n , r δ k , s = C 1 k , κ 1 , κ 2 , ξ 1 , ξ 2 C 1 s , ϱ 1 , ϱ 2 , ξ 1 , ξ 2 ¯ × Θ 1 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 1 , ξ 1 , ξ 2 × Θ 1 r , s , ϱ 1 , ϱ 2 , ϱ 1 + κ 1 + 1 , ϱ 2 + κ 2 1 , ξ 1 , ξ 2 ¯ d ξ 1 d ξ 2 .
Theorem 1.
The special function
1 E n , k x , y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 = κ 2 + 1 / 2 x + y k 3 / 2 κ 1 x + y k × Θ 1 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 1 , i x , i y ,
has an orthogonality relation of form
Γ κ 1 1 2 + i x + y Γ κ 2 + 1 2 i x + y × Γ ϱ 2 + 1 2 + i x + y Γ ϱ 1 1 2 i x + y × Γ κ 1 + i y Γ κ 2 i y Γ ϱ 2 + i y Γ ϱ 1 i y × 1 E n , k i x , i y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 1 E r , s i x , i y ; ϱ 1 , ϱ 2 , κ 2 , κ 1 d x d y = 4 π 2 n k ! k ! Γ κ 1 + ϱ 1 n k Γ κ 1 + ϱ 1 k + 1 κ 1 + ϱ 1 2 n 1 κ 1 + ϱ 1 2 k Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 n k × Γ 2 κ 2 + ϱ 2 + 2 k + 1 Γ 2 κ 1 + κ 2 Γ 2 κ 2 + ϱ 2 Γ 2 ϱ 2 + ϱ 1 Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 k Γ κ 2 + ϱ 2 + n + k + 1 Γ κ 2 + ϱ 2 + k δ n , r δ k , s ,
for κ 1 , ϱ 1 > 1 / 2 , κ 2 , ϱ 2 > 0 and κ 1 + ϱ 1 > 2 n + 1 . Please note that the weight function of this orthogonality relation is positive for κ 1 = ϱ 1 and κ 2 = ϱ 2 .

3.2. Fourier Transform of the Polynomials 2 Q n , k p , q x , y

Let us define
h n , k x , y ; κ 1 , κ 2 , λ , μ = e κ 2 + 1 2 x + y 1 + e x κ 2 1 + e x + e y κ 1 + κ 2 2 Q n , k λ , μ e x , e y ,
where κ 1 , κ 2 , λ and μ are real parameters, and the polynomials 2 Q n , k p , q x , y are defined in (14). If we apply the Fourier transform to the function h n , k x , y ; κ 1 , κ 2 , λ , μ , under the subsitutions e x = u , e y = v and v 1 + u = t , respectively , we get
F h n , k x , y ; κ 1 , κ 2 , λ , μ = e i ξ 1 x + ξ 2 y e κ 2 + 1 2 x + y 1 + e x κ 2 1 + e x + e y κ 1 + κ 2 2 Q n , k λ , μ e x , e y d x d y = 0 u κ 2 i ξ 1 1 2 1 + u k κ 1 κ 2 i ξ 2 + 1 2 M n k λ 2 k 1 , μ u d u × 0 t κ 2 i ξ 2 1 2 1 + t κ 1 + κ 2 M k λ , μ t d t
= 1 n Γ μ + n k + 1 Γ μ + k + 1 Γ 2 μ + 1 l 1 = 0 n k n k l 1 n + k + 2 λ l 1 l 1 ! 1 l 1 μ + 1 l 1 × 0 u κ 2 i ξ 1 1 2 + l 1 1 + u k κ 1 κ 2 i ξ 2 + 1 2 d u × l 2 = 0 k k l 2 k + 1 λ l 2 l 2 ! 1 l 2 μ + 1 l 2 0 t κ 2 i ξ 2 1 2 + l 2 1 + t κ 1 + κ 2 d t ,
from the relations (41) and definition of Beta function
B x , y = Γ x Γ y Γ x + y = 0 u x 1 1 + u x + y d u , x , y > 0 ,
the latter expression can be also expressed as
F h n , k x , y ; κ 1 , κ 2 , λ , μ = 1 n Γ μ + n k + 1 Γ μ + k + 1 Γ 2 μ + 1 Γ κ 1 + κ 2 × C 2 k , κ 1 , κ 2 , ξ 1 , ξ 2 Θ 2 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 ,
where
C 2 k , κ 1 , κ 2 , ξ 1 , ξ 2 = Γ κ 2 i ξ 1 + 1 / 2 Γ κ 1 + i ξ 2 1 / 2 Γ κ 2 i ξ 2 + 1 / 2 × Γ κ 1 k 1 i ξ 1 + ξ 2 Γ κ 1 + κ 2 k 1 / 2 + i ξ 2 ,
and
Θ 2 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 = 3 F 2 n k , n + k + 2 λ , κ 2 + 1 / 2 i ξ 1 μ + 1 , k κ 1 + 2 i ξ 1 + ξ 2 1 × 3 F 2 k , k + 1 λ , κ 2 i ξ 2 + 1 / 2 μ + 1 , 3 / 2 κ 1 i ξ 2 1 .
Hence, from the Parseval identity (39), we obtain
h n , k x , y ; κ 1 , κ 2 , λ , μ h r , s x , y ; ϱ 1 , ϱ 2 , α , β d x d y = 0 0 u κ 2 + ϱ 2 v κ 2 + ϱ 2 1 + u κ 2 + ϱ 2 1 + u + v κ 1 + κ 2 + ϱ 1 + ϱ 2 × 2 Q n , k λ , μ u , v 2 Q r , s α , β u , v d u d v = 1 n + r 2 π 2 Γ μ + n k + 1 Γ μ + k + 1 Γ β + r s + 1 Γ β + s + 1 Γ 2 μ + 1 Γ 2 β + 1 Γ κ 1 + κ 2 Γ ϱ 1 + ϱ 2 × C 2 k , κ 1 , κ 2 , ξ 1 , ξ 2 C 2 s , ϱ 1 , ϱ 2 , ξ 1 , ξ 2 ¯ Θ 2 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 × Θ 2 r , s , ϱ 1 , ϱ 2 , α , β , ξ 1 , ξ 2 ¯ d ξ 1 d ξ 2 .
Now by taking κ 2 + ϱ 2 = μ = β and κ 1 + ϱ 1 = λ = α in (44), and we use the orthogonality relation (15) in the left-hand side of (44), we obtain
4 π 2 n k ! k ! Γ κ 1 + ϱ 1 n k 1 Γ κ 1 + ϱ 1 k κ 1 + ϱ 1 2 n 2 κ 1 + ϱ 1 2 k 1 Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 n k 1 × Γ 4 κ 2 + ϱ 2 + 1 Γ κ 1 + κ 2 Γ ϱ 1 + ϱ 2 Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 k Γ κ 2 + ϱ 2 + n k + 1 Γ κ 2 + ϱ 2 + k + 1 δ n , r δ k , s = C 2 k , κ 1 , κ 2 , ξ 1 , ξ 2 C 2 s , ϱ 1 , ϱ 2 , ξ 1 , ξ 2 ¯ × Θ 2 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 , κ 2 + ϱ 2 , ξ 1 , ξ 2 × Θ 2 r , s , ϱ 1 , ϱ 2 , ϱ 1 + κ 1 , ϱ 2 + κ 2 , ξ 1 , ξ 2 ¯ d ξ 1 d ξ 2 .
Theorem 2.
The special function
2 E n , k x , y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 = 3 / 2 κ 1 κ 2 y k 2 κ 1 + x + y k × Θ 2 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 , κ 2 + ϱ 2 , i x , i y
has an orthogonality relation of form
Γ κ 2 i x + 1 / 2 Γ κ 1 + i y 1 / 2 Γ κ 2 i y + 1 / 2 Γ κ 1 i x + y 1 Γ κ 1 + κ 2 + i y 1 / 2 × Γ ϱ 2 + i x + 1 / 2 Γ ϱ 2 + i y + 1 / 2 Γ ϱ 1 i y 1 / 2 Γ ϱ 1 + i x + y 1 Γ ϱ 2 + ϱ 1 i y 1 / 2 × 2 E n , k i x , i y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 2 E r , s i x , i y ; ϱ 1 , ϱ 2 , κ 2 , κ 1 d x d y = 4 π 2 n k ! k ! Γ κ 1 + ϱ 1 n k 1 Γ κ 1 + ϱ 1 k κ 1 + ϱ 1 2 n 2 κ 1 + ϱ 1 2 k 1 Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 n k 1 × Γ 4 κ 2 + ϱ 2 + 1 Γ κ 1 + κ 2 Γ ϱ 2 + ϱ 1 Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 k Γ κ 2 + ϱ 2 + n k + 1 Γ κ 2 + ϱ 2 + k + 1 δ n , r δ k , s ,
for κ 1 , ϱ 1 > n + 1 and κ 2 , ϱ 2 > 1 / 2 . Please note that the weight function of this orthogonality relation is positive for κ 1 = ϱ 1 and κ 2 = ϱ 2 .

3.3. Fourier Transform of the Polynomials 3 Q n , k p x , y

Let us define
h n , k x , y ; κ 1 , λ = exp x 2 κ 1 1 2 y e x + e x y 2 3 Q n , k λ e x , e y ,
where κ 1 and λ are real parameters, and the polynomials 3 Q n , k p x , y are defined in (16). By using appropriate substitutions, we derive the Fourier transform of the function given above by taking into account the relations (41) as
F h n , k x , y ; κ 1 , λ
= e i ξ 1 x + ξ 2 y e x 2 κ 1 1 2 y e x + e x y 2 3 Q n , k λ e x , e y d x d y = 0 u k κ 1 i ξ 1 + ξ 2 e 1 2 u N n k λ 2 k 1 u d u 0 t κ 1 + i ξ 2 + 1 2 e 1 2 t N k λ t d t = 1 n l 1 = 0 n k n k l 1 n + k + 2 λ l 1 1 l 1 l 1 ! 0 u k κ 1 i ξ 1 + ξ 2 + l 1 e 1 2 u d u × l 2 = 0 k k l 2 k + 1 λ l 2 1 l 2 l 2 ! 0 t κ 1 + i ξ 2 + 1 2 l 2 e 1 2 t d t ,
since
0 t p + i s k + 1 e 1 2 t d t = 2 p + i s k Γ p + i s k ,
we can conclude that
F h n , k x , y ; κ 1 , λ = 1 n C 3 k , κ 1 , ξ 1 , ξ 2 Θ 3 n , k , κ 1 , λ , ξ 1 , ξ 2 ,
where
C 3 k , κ 1 , ξ 1 , ξ 2 = 2 2 κ 1 k + i ξ 1 + 2 ξ 2 3 / 2 Γ κ 1 k 1 + i ξ 1 + ξ 2 Γ κ 1 1 / 2 + i ξ 2 ,
and
Θ 3 n , k , κ 1 , λ , ξ 1 , ξ 2 = 2 F 1 n k , n + k + 2 λ k κ 1 + 2 i ξ 1 + ξ 2 1 2 2 F 1 k , k + 1 λ 3 / 2 κ 1 i ξ 2 1 2 ,
where 2 F 1 is a special case of the hypergeometric function. Hence, from the Parseval identity (39), we obtain
h n , k x , y ; κ 1 , λ h r , s x , y ; ϱ 1 , α d x d y = 0 0 v κ 1 + ϱ 1 e 1 u + u v 3 Q n , k λ u , v 3 Q r , s α u , v d u d v = 1 n + r 2 π 2 C 3 k , κ 1 , ξ 1 , ξ 2 C 3 s , ϱ 1 , ξ 1 , ξ 2 ¯ × Θ 3 n , k , κ 1 , λ , ξ 1 , ξ 2 Θ 3 r , s , ϱ 1 , α , ξ 1 , ξ 2 ¯ d ξ 1 d ξ 2 .
Now by taking κ 1 + ϱ 1 = λ = α in (47) and using the orthogonality relation (17) in the left-hand side of (47), we obtain
C 3 k , κ 1 , ξ 1 , ξ 2 C 3 s , ϱ 1 , ξ 1 , ξ 2 ¯ × Θ 3 n , k , κ 1 , κ 1 + ϱ 1 , ξ 1 , ξ 2 Θ 3 r , s , ϱ 1 , ϱ 1 + κ 1 , ξ 1 , ξ 2 ¯ d ξ 1 d ξ 2 = 4 π 2 n k ! k ! Γ κ 1 + ϱ 1 n k 1 Γ κ 1 + ϱ 1 k κ 1 + ϱ 1 2 n 2 κ 1 + ϱ 1 2 k 1 δ n , r δ k , s .
Theorem 3.
The special function
3 E n , k x , y ; κ 1 , ϱ 1 = 1 2 κ 1 x + y k Θ 3 n , k , κ 1 , κ 1 + ϱ 1 , i x , i y ,
has an orthogonality relation of form
Γ κ 1 1 + i x + y Γ ϱ 1 1 i x + y Γ κ 1 1 2 + i y Γ ϱ 1 1 2 i y × 3 E n , k i x , i y ; κ 1 , ϱ 1 3 E r , s i x , i y ; ϱ 1 , κ 1 d x d y = 2 1 2 κ 1 + ϱ 1 k 2 π 2 n k ! k ! Γ κ 1 + ϱ 1 n k 1 Γ κ 1 + ϱ 1 k κ 1 + ϱ 1 2 n 2 κ 1 + ϱ 1 2 k 1 δ n , r δ k , s ,
for κ 1 , ϱ 1 > 1 and κ 1 + ϱ 1 > 2 n + 2 . Please note that the weight function is positive for κ 1 = ϱ 1 .

3.4. Fourier Transform of the Polynomials 4 Q n , k p , q x , y

Let us define
h n , k x , y ; κ 1 , κ 2 , λ , μ = exp κ 1 + κ 2 + 1 2 x κ 1 y e x y 2 × e x + 1 κ 1 + κ 2 4 Q n , k λ , μ e x , e y ,
where κ 1 , κ 2 , λ and μ are real parameters, and the polynomials 4 Q n , k p , q x , y are defined by (18). If we apply similar calculations as in the first function family for finding the Fourier transform of the function given by (48), by considering the relations (41) and (46), we have
F h n , k x , y ; κ 1 , κ 2 , λ , μ = 1 n Γ μ + n + k + 2 Γ μ + 2 k + 2 l 1 = 0 n k n k l 1 1 l 1 l 1 ! × n + k + 2 λ l 1 μ + 2 k + 2 l 1 Γ k + κ 2 + 1 2 i ξ 1 + ξ 2 + l 1 Γ κ 1 k 1 2 + i ξ 1 + ξ 2 l 1 Γ κ 1 + κ 2 × l 2 = 0 k k l 2 k + 1 λ l 2 1 l 2 l 2 ! 2 κ 1 + i ξ 2 l 2 Γ κ 1 + i ξ 2 l 2 ,
and we can conclude that
F h n , k x , y ; κ 1 , κ 2 , λ , μ = 1 n Γ μ + n + k + 2 Γ μ + 2 k + 2 Γ κ 1 + κ 2 × C 4 k , κ 1 , κ 2 , ξ 1 , ξ 2 Θ 4 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 ,
where
C 4 k , κ 1 , κ 2 , ξ 1 , ξ 2 = 2 κ 1 + i ξ 2 Γ κ 1 + i ξ 2 × Γ κ 1 k 1 / 2 + i ξ 1 + ξ 2 Γ κ 2 + k + 1 / 2 i ξ 1 + ξ 2 ,
and
Θ 4 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 = 2 F 1 k , k + 1 λ 1 κ 1 i ξ 2 1 2 × 3 F 2 n k , n + k + 2 λ , κ 2 + k + 1 2 i ξ 1 + ξ 2 μ + 2 k + 2 , k κ 1 + 3 / 2 i ξ 1 + ξ 2 1 .
Hence, from the Parseval identity (39), we write
h n , k x , y ; κ 1 , κ 2 , λ , μ h r , s x , y ; ϱ 1 , ϱ 2 , α , β d x d y = 1 2 π 2 F h n , k x , y ; κ 1 , κ 2 , λ , μ F h r , s x , y ; ϱ 1 , ϱ 2 , α , β ¯ d ξ 1 d ξ 2
and thus, by using result (49) and definition (48), and then applying substitutions e x = u , e y = v , we obtain
0 0 u κ 1 + κ 2 + ϱ 1 + ϱ 2 v κ 1 + ϱ 1 + 1 e u v u + 1 κ 1 + κ 2 + ϱ 1 + ϱ 2 × 4 Q n , k λ , μ u , v 4 Q r , s α , β u , v d u d v = 1 n + r 2 π 2 Γ μ + n + k + 2 Γ β + r + s + 2 C 4 k , κ 1 , κ 2 , ξ 1 , ξ 2 Γ μ + 2 k + 2 Γ β + 2 s + 2 Γ κ 1 + κ 2 Γ ϱ 1 + ϱ 2 × C 4 s , ϱ 1 , ϱ 2 , ξ 1 , ξ 2 ¯ Θ 4 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 × Θ 4 r , s , ϱ 1 , ϱ 2 , α , β , ξ 1 , ξ 2 ¯ d ξ 1 d ξ 2 .
Now by taking κ 1 + ϱ 1 + 1 = λ = α and κ 2 + ϱ 2 1 = μ = β in the left hand side of (50), then according to the orthogonality relation (19), we obtain
Θ 4 r , s , ϱ 1 , ϱ 2 , ϱ 1 + κ 1 + 1 , ϱ 2 + κ 2 1 , ξ 1 , ξ 2 ¯ × Θ 4 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 1 , ξ 1 , ξ 2 × C 4 k , κ 1 , κ 2 , ξ 1 , ξ 2 C 4 s , ϱ 1 , ϱ 2 , ξ 1 , ξ 2 ¯ d ξ 1 d ξ 2 = 4 π 2 n k ! k ! Γ κ 1 + ϱ 1 n k Γ κ 1 + ϱ 1 k + 1 κ 1 + ϱ 1 2 n 1 κ 1 + ϱ 1 2 k Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 n k × Γ 2 κ 2 + ϱ 2 + 2 k + 1 Γ κ 1 + κ 2 Γ ϱ 1 + ϱ 2 Γ κ 2 + ϱ 2 + n + k + 1 δ n , r δ k , s .
Theorem 4.
The special function
4 E n , k x , y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 = κ 2 + 1 / 2 x + y k 3 / 2 κ 1 x + y k × Θ 4 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 1 , i x , i y ,
has an orthogonality relation in form
Γ κ 1 1 / 2 + i x + y Γ κ 2 + 1 / 2 i x + y Γ ϱ 2 + 1 / 2 + i x + y × Γ ϱ 1 1 / 2 i x + y Γ κ 1 + i y Γ ϱ 1 i y × 4 E n , k i x , i y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 4 E r , s i x , i y ; ϱ 1 , ϱ 2 , κ 2 , κ 1 d y d x = 2 2 κ 1 + ϱ 1 π 2 n k ! k ! Γ κ 1 + ϱ 1 n k Γ κ 1 + ϱ 1 k + 1 κ 1 + ϱ 1 2 n 1 κ 1 + ϱ 1 2 k Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 n k × Γ 2 κ 2 + ϱ 2 + 2 k + 1 Γ κ 1 + κ 2 Γ ϱ 1 + ϱ 2 Γ κ 2 + ϱ 2 + n + k + 1 δ n , r δ k , s ,
for κ 1 , ϱ 1 > 1 / 2 , κ 2 , ϱ 2 > 1 / 2 and κ 1 + ϱ 1 > 2 n + 1 . Please note that the weight function is positive for κ 1 = ϱ 1 and κ 2 = ϱ 2 .

3.5. Fourier Transform of the Polynomials 5 Q n , k p , q x , y

Let us define
h n , k x , y ; κ 1 , κ 2 , λ , μ = e κ 2 x 1 + e x 2 e y 1 + e x κ 1 + κ 2 1 2 e y 1 + e x κ 1 5 Q n , k λ , μ e x , e y ,
where κ 1 , κ 2 , λ and μ are real parameters, and the polynomials 5 Q n , k p , q x , y are defined in (20). By using the substitutions e x = u , e y = v and v 1 + u = t , respectively, and applying the identities (41) and (46), we get
F h n , k x , y ; κ 1 , κ 2 , λ , μ = 1 n Γ μ + n k + 1 Γ μ + 1 l 1 = 0 n k n k l 1 n + k + 2 λ l 1 μ + 1 l 1 1 l 1 l 1 ! × Γ κ 2 i ξ 1 + l 1 Γ κ 1 k + i ξ 1 + ξ 2 1 2 l 1 Γ κ 1 + κ 2 k + i ξ 2 1 2 × l 2 = 0 k k l 2 1 λ + k l 2 1 l 2 l 2 ! 2 κ 1 + i ξ 2 l 2 Γ κ 1 + i ξ 2 l 2 .
Therefore, we can conclude that
F h n , k x , y ; κ 1 , κ 2 , λ , μ = 1 n Γ μ + n k + 1 Γ μ + 1 × C 5 k , κ 1 , κ 2 , ξ 1 , ξ 2 Θ 5 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 ,
where
C 5 k , κ 1 , κ 2 , ξ 1 , ξ 2 = 2 κ 1 + i ξ 2 Γ κ 1 + i ξ 2 Γ κ 1 k + i ξ 1 + ξ 2 1 / 2 Γ κ 2 i ξ 1 Γ κ 1 + κ 2 k + i ξ 2 1 / 2 ,
and
Θ 5 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 = 3 F 2 n k , n + k + 2 λ , κ 2 i ξ 1 μ + 1 , k κ 1 + 3 / 2 i ξ 1 + ξ 2 1 × 2 F 1 k , k + 1 λ 1 κ 1 i ξ 2 1 2 .
Hence, from the Parseval identity (39), we obtain
h n , k x , y ; κ 1 , κ 2 , λ , μ h r , s x , y ; ϱ 2 , ϱ 1 , α , β d y d x = 0 0 u κ 2 + ϱ 2 1 1 + u κ 2 + ϱ 2 1 v κ 1 + ϱ 1 + 1 e 1 + u v × 5 Q n , k λ , μ u , v 5 Q r , s α , β u , v d v d u = 1 n + r 2 π 2 Γ μ + n k + 1 Γ β + r s + 1 Γ μ + 1 Γ β + 1 C 5 k , κ 1 , κ 2 , ξ 1 , ξ 2 × C 5 s , ϱ 1 , ϱ 2 , ξ 1 , ξ 2 ¯ Θ 5 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 Θ 5 r , s , ϱ 1 , ϱ 2 , α , β , ξ 1 , ξ 2 ¯ d ξ 1 d ξ 2 .
Now by taking κ 2 + ϱ 2 1 = μ = β and κ 1 + ϱ 1 + 1 = λ = α in (52) and using the orthogonality relation (21) in the left-hand side of (52), we obtain
4 π 2 n k ! k ! Γ κ 1 + ϱ 1 n k Γ κ 1 + ϱ 1 k + 1 κ 1 + ϱ 1 2 n 1 κ 1 + ϱ 1 2 k Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 n k 1 × Γ 2 κ 2 + ϱ 2 Γ κ 2 + ϱ 2 + n k δ n , r δ k , s = C 5 s , ϱ 1 , ϱ 2 , ξ 1 , ξ 2 Θ 5 r , s , ϱ 1 , ϱ 2 , ϱ 1 + κ 1 + 1 , ϱ 2 + κ 2 1 , ξ 1 , ξ 2 ¯ × C 5 k , κ 1 , κ 2 , ξ 1 , ξ 2 Θ 5 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 1 , ξ 1 , ξ 2 d ξ 1 d ξ 2 .
Theorem 5.
The special function
5 E n , k x , y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 = 3 / 2 κ 1 κ 2 y k 3 / 2 κ 1 x + y k × Θ 5 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 1 , i x , i y ,
has an orthogonality relation of form
Γ κ 1 + i x + y 1 / 2 Γ ϱ 1 i x + y 1 / 2 Γ κ 1 + κ 2 + i y 1 / 2 Γ ϱ 1 + ϱ 2 i y 1 / 2 × Γ κ 1 + i y Γ ϱ 1 i y Γ κ 2 i x Γ ϱ 2 + i x × 5 E n , k i x , i y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 × 5 E r , s i x , i y ; ϱ 1 , ϱ 2 , κ 2 , κ 1 d x d y = 2 2 κ 1 + ϱ 1 π 2 n k ! k ! Γ κ 1 + ϱ 1 n k κ 1 + ϱ 1 2 n 1 Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 n k 1 × Γ κ 1 + ϱ 1 k + 1 Γ 2 κ 2 + ϱ 2 κ 1 + ϱ 1 2 k Γ κ 2 + ϱ 2 + n k δ n , r δ k , s ,
for κ 1 , ϱ 1 > n + 1 / 2 and κ 2 , ϱ 2 > 0 . Please note that the weight function of the orthogonality relation is positive for κ 1 = ϱ 1 and κ 2 = ϱ 2 .

3.6. Fourier Transform of the Polynomials 6 Q n , k p , q x , y

Let us define
h n , k x , y ; κ 1 , κ 2 , λ , μ = 1 + e y x κ 1 + κ 2 exp κ 2 y κ 1 + κ 2 1 2 x e x 2 × 6 Q n , k λ , μ e x , e y ,
where κ 1 , κ 2 , λ and μ are real parameters, and the polynomials 6 Q n , k p , q x , y are defined in (22). If we apply the Fourier transform for the function h n , k x , y ; κ 1 , κ 2 , λ , μ given by (53), we get
F h n , k x , y ; κ 1 , κ 2 , λ , μ = e i ξ 1 x + ξ 2 y e κ 2 y κ 1 + κ 2 1 2 x e x 2 × 1 + e y x κ 1 + κ 2 6 Q n , k λ , μ e x , e y d x d y = 0 u κ 1 k + i ξ 1 + ξ 2 + 1 2 e 1 2 u N n k λ 2 k 1 u d u × 0 t κ 2 i ξ 2 1 1 + t κ 1 + κ 2 M k λ , μ t d t = 1 n Γ μ + k + 1 Γ μ + 1 l 1 = 0 n k n k l 1 n + k + 2 λ l 1 1 l 1 l 1 ! × 0 u κ 1 k + i ξ 1 + ξ 2 + 1 2 l 1 e 1 2 u d u
× l 2 = 0 k k l 2 k + 1 λ l 2 μ + 1 l 2 1 l 2 l 2 ! 0 t κ 2 i ξ 2 1 + l 2 1 + t κ 1 + κ 2 d t ,
by using the relations (41) and (46), we can conclude that
F h n , k x , y ; κ 1 , κ 2 , λ , μ = 1 n Γ k + μ + 1 Γ μ + 1 Γ κ 1 + κ 2 × C 6 k , κ 1 , κ 2 , ξ 1 , ξ 2 Θ 6 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 ,
where
C 6 k , κ 1 , κ 2 , ξ 1 , ξ 2 = 2 κ 1 k + i ξ 1 + ξ 2 1 2 Γ κ 1 k 1 / 2 + i ξ 1 + ξ 2 × Γ κ 1 + i ξ 2 Γ κ 2 i ξ 2 ,
and
Θ 6 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 = 2 F 1 n k , n + k + 2 λ k κ 1 + 3 / 2 i ξ 1 + ξ 2 1 2 × 3 F 2 k , k + 1 λ , κ 2 i ξ 2 μ + 1 , 1 κ 1 i ξ 2 1 .
Hence, from the Parseval identity (39), we obtain
h n , k x , y ; κ 1 , κ 2 , λ , μ h r , s x , y ; ϱ 1 , ϱ 2 , α , β d y d x = 0 0 v κ 2 + ϱ 2 1 u + v κ 1 + κ 2 + ϱ 1 + ϱ 2 e 1 / u 6 Q n , k λ , μ u , v 6 Q r , s α , β u , v d v d u = 1 n + r 2 π 2 Γ k + μ + 1 Γ s + β + 1 Γ μ + 1 Γ β + 1 Γ κ 1 + κ 2 Γ ϱ 1 + ϱ 2 × C 6 k , κ 1 , κ 2 , ξ 1 , ξ 2 C 6 s , ϱ 1 , ϱ 2 , ξ 1 , ξ 2 ¯ × Θ 6 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 Θ 6 r , s , ϱ 1 , ϱ 2 , α , β , ξ 1 , ξ 2 ¯ d ξ 1 d ξ 2 .
Now by taking κ 2 + ϱ 2 1 = μ = β and κ 1 + ϱ 1 + 1 = λ = α in (54) and then use the orthogonality relation (23) in the left-hand side of (54), we obtain
4 π 2 n k ! k ! Γ κ 1 + ϱ 1 n k Γ κ 1 + ϱ 1 k + 1 κ 1 + ϱ 1 2 n 1 κ 1 + ϱ 1 2 k × Γ 2 κ 2 + ϱ 2 Γ κ 1 + κ 2 Γ ϱ 2 + ϱ 1 Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 k Γ κ 2 + ϱ 2 + k δ n , r δ k , s = C 6 s , ϱ 1 , ϱ 2 , ξ 1 , ξ 2 ¯ C 6 k , κ 1 , κ 2 , ξ 1 , ξ 2 × Θ 6 r , s , ϱ 1 , ϱ 2 , ϱ 1 + κ 1 + 1 , ϱ 2 + κ 2 1 , ξ 1 , ξ 2 ¯ × Θ 6 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 1 , ξ 1 , ξ 2 d ξ 1 d ξ 2 .
Theorem 6.
The special function
6 E n , k x , y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 = 1 3 / 2 κ 1 x + y k × Θ 6 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 1 , i x , i y ,
has an orthogonality relation in form
Γ κ 1 + i x + y 1 2 Γ ϱ 1 i x + y 1 2 × Γ κ 1 + i y Γ ϱ 1 i y Γ κ 2 i y Γ ϱ 2 + i y × 6 E n , k i x , i y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 6 E r , s i x , i y ; ϱ 1 , ϱ 2 , κ 2 , κ 1 d y d x = 2 2 k + 3 κ 1 + ϱ 1 π 2 n k ! k ! Γ κ 1 + ϱ 1 n k Γ κ 1 + ϱ 1 k + 1 κ 1 + ϱ 1 2 n 1 κ 1 + ϱ 1 2 k × Γ 2 κ 2 + ϱ 2 Γ κ 1 + κ 2 Γ ϱ 1 + ϱ 2 Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 k Γ κ 2 + ϱ 2 + k δ n , r δ k , s ,
for κ 1 , ϱ 1 > 1 / 2 , κ 2 , ϱ 2 > 0 and κ 1 + ϱ 1 > 2 n + 1 . Please note that the weight function is positive for κ 1 = ϱ 1 and κ 2 = ϱ 2 .

3.7. Fourier Transform of the Polynomials 7 Q n , k p , q , u , v x , y

Let us define
h n , k x , y ; κ 1 , κ 2 , κ 3 , κ 4 , λ , μ , η , τ = 1 + e x κ 1 + κ 2 1 + e y κ 3 + κ 4 × exp κ 2 x + κ 4 y 7 Q n , k λ , μ , η , τ e x , e y ,
where κ 1 , κ 2 , κ 3 , κ 4 , λ , μ , η , τ are real parameters. Similar to the results in the paper [21], we get
F h n , k x , y ; κ 1 , κ 2 , κ 3 , κ 4 , λ , μ , η , τ = e i ξ 1 x + ξ 2 y e κ 2 x + κ 4 y 1 + e x κ 1 + κ 2 1 + e y κ 3 + κ 4 7 Q n , k λ , μ , η , τ e x , e y d x d y = 1 n Γ μ + n k + 1 Γ τ + k + 1 Γ μ + 1 Γ τ + 1 C 7 κ 1 , κ 2 , κ 3 , κ 4 , ξ 1 , ξ 2 × Θ 7 n , k , κ 1 , κ 2 , κ 3 , κ 4 , λ , μ , η , τ , ξ 1 , ξ 2 ,
where
C 7 κ 1 , κ 2 , κ 3 , κ 4 , ξ 1 , ξ 2 = Γ κ 1 + i ξ 1 Γ κ 2 i ξ 1 Γ κ 3 + i ξ 2 Γ κ 4 i ξ 2 Γ κ 1 + κ 2 Γ κ 3 + κ 4 ,
and
Θ 7 n , k , κ 1 , κ 2 , κ 3 , κ 4 , λ , μ , η , τ , ξ 1 , ξ 2 = 3 F 2 k , k + 1 η , κ 4 i ξ 2 τ + 1 , 1 κ 3 i ξ 2 1 × 3 F 2 n k , n k + 1 λ , κ 2 i ξ 1 μ + 1 , 1 κ 1 i ξ 1 1 .
Hence, from the Parseval identity (39) and then using the orthogonality relation of 7 Q n , k p , q , u , v x , y given by (24), after the necessary arrangements, we can give the next theorem:
Theorem 7.
The special function
7 E n , k x , y ; κ 1 , κ 2 , κ 3 , κ 4 , ϱ 4 , ϱ 3 , ϱ 2 , ϱ 1 = Γ κ 2 + ϱ 2 + n k Γ κ 4 + ϱ 4 + k Γ κ 2 + ϱ 2 Γ κ 4 + ϱ 4 × Θ 7 n , k , κ 1 , κ 2 , κ 3 , κ 4 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 1 , κ 3 + ϱ 3 + 1 , κ 4 + ϱ 4 1 , i x , i y ,
has an orthogonality relation of form
Γ κ 1 + i x Γ κ 2 i x Γ κ 3 + i y Γ κ 4 i y Γ ϱ 1 i x Γ ϱ 2 + i x × Γ ϱ 3 i y Γ ϱ 4 + i y 7 E n , k i x , i y ; κ 1 , κ 2 , κ 3 , κ 4 , ϱ 4 , ϱ 3 , ϱ 2 , ϱ 1 × 7 E r , s i x , i y ; ϱ 1 , ϱ 2 , ϱ 3 , ϱ 4 , κ 4 , κ 3 , κ 2 , κ 1 d x d y = 4 π 2 n k ! k ! Γ κ 1 + ϱ 1 + 1 n k Γ κ 3 + ϱ 3 + 1 k Γ n k + κ 2 + ϱ 2 κ 1 + ϱ 1 2 n k κ 3 + ϱ 3 2 k Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 n k × Γ k + κ 4 + ϱ 4 Γ κ 1 + κ 2 Γ κ 3 + κ 4 Γ ϱ 1 + ϱ 2 Γ ϱ 3 + ϱ 4 Γ κ 3 + κ 4 + ϱ 3 + ϱ 4 k δ n , r δ k , s ,
where κ 1 , κ 2 , κ 3 , κ 4 , ϱ 1 , ϱ 2 , ϱ 3 , ϱ 4 > 0 , κ 3 + ϱ 3 > 2 n and κ 1 + ϱ 1 > 2 n . Please note that the weight function of this orthogonality relation is positive for κ 1 = ϱ 1 , κ 2 = ϱ 2 , κ 3 = ϱ 3 , κ 4 = ϱ 4 or κ 1 = κ 2 , ϱ 1 = ϱ 2 , κ 3 = κ 4 , ϱ 3 = ϱ 4 .

3.8. Fourier Transform of the Polynomials 8 Q n , k p , q x , y

Let us define
h n , k x , y ; κ 1 , κ 2 , λ , μ = exp κ 1 x κ 2 y e x + e y 2 8 Q n , k λ , μ e x , e y ,
where κ 1 , κ 2 , λ and μ are real parameters, and the polynomials 8 Q n , k p , q x , y are defined in (26). As a result of the calculations in the paper [21], we get
F h n , k x , y ; κ 1 , κ 2 , λ , μ = e i ξ 1 x + ξ 2 y e κ 1 x κ 2 y e x + e y 2 8 Q n , k λ , μ e x , e y d x d y = 1 n C 8 κ 1 , κ 2 , ξ 1 , ξ 2 Θ 8 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 ,
where
C 8 κ 1 , κ 2 , ξ 1 , ξ 2 = 2 κ 1 + κ 2 + i ξ 1 + ξ 2 Γ κ 1 + i ξ 1 Γ κ 2 + i ξ 2 ,
and
Θ 8 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 = 2 F 1 n k , n k + 1 λ 1 κ 1 i ξ 1 1 2 × 2 F 1 k , k + 1 μ 1 κ 2 i ξ 2 1 2 .
By using the Parseval’s identity (39) and the orthogonality relation (27) for the polynomials 8 Q n , k λ , μ x , y , we can give next result.
Theorem 8.
The special function
8 E n , k x , y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 = Θ 8 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 + 1 , i x , i y ,
has an orthogonality relation as follow
Γ κ 1 + i x Γ κ 2 + i y Γ ϱ 1 i x Γ ϱ 2 i y × 8 E n , k i x , i y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 8 E r , s i x , i y ; ϱ 1 , ϱ 2 , κ 2 , κ 1 d x d y = π 2 n k ! k ! Γ κ 1 + ϱ 1 n + k + 1 Γ κ 2 + ϱ 2 + 1 k 2 κ 1 + κ 2 + ϱ 1 + ϱ 2 2 κ 1 + ϱ 1 2 n k κ 2 + ϱ 2 2 k δ n , r δ k , s ,
where κ 1 , κ 2 , ϱ 1 , ϱ 2 > 0 , κ 1 + ϱ 1 > 2 n and κ 2 + ϱ 2 > 2 n . Please note that the weight function of this orthogonality relation is positive for κ 1 = ϱ 1 and κ 2 = ϱ 2 .

3.9. Fourier Transform of the Polynomials 9 Q n , k p , q , u x , y

Let us define
h n , k , x , y ; κ 1 , κ 2 , κ 3 , λ , μ , η = e κ 2 x κ 3 y e y 2 1 + e x κ 1 + κ 2 9 Q n , k λ , μ , η e x , e y ,
where κ 1 , κ 2 , κ 3 , λ , μ and η are real parameters, the polynomials 9 Q n , k p , q , u x , y are defined by (28). In view of the calculations in the paper [21], we get
F h n , k , x , y ; κ 1 , κ 2 , κ 3 , λ , μ , η = e i ξ 1 x + ξ 2 y e κ 2 x κ 3 y e y 2 1 + e x κ 1 + κ 2 9 Q n , k λ , μ , η e x , e y d x d y = 1 n Γ n k + μ + 1 Γ μ + 1 C 9 κ 1 , κ 2 , κ 3 , ξ 1 , ξ 2 Θ 9 n , k , κ 1 , κ 2 , κ 3 , λ , μ , η , ξ 1 , ξ 2 ,
where
C 9 κ 1 , κ 2 , κ 3 , ξ 1 , ξ 2 = 2 κ 3 + i ξ 2 Γ κ 1 + κ 2 Γ κ 1 + i ξ 1 Γ κ 2 i ξ 1 Γ κ 3 + i ξ 2 ,
and
Θ 9 n , k , κ 1 , κ 2 , κ 3 , λ , μ , η , ξ 1 , ξ 2 = 2 F 1 k , k + 1 η 1 κ 3 i ξ 2 1 2 × 3 F 2 n k , n k + 1 λ , κ 2 i ξ 1 μ + 1 , 1 κ 1 i ξ 1 1 .
Hence, from the Parseval identity (39) and the orthogonality relation (29),
Theorem 9.
The special function
9 E n , k x , y ; κ 1 , κ 2 , κ 3 , ϱ 3 , ϱ 2 , ϱ 1 = Θ 9 n , k , κ 1 , κ 2 , κ 3 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 1 , κ 3 + ϱ 3 + 1 , i x , i y ,
has an orthogonality relation of form
Γ κ 1 + i x Γ κ 2 i x Γ κ 3 + i y Γ ϱ 1 i x Γ ϱ 2 + i x Γ ϱ 3 i y × 9 E n , k i x , i y ; κ 1 , κ 2 , κ 3 , ϱ 3 , ϱ 2 , ϱ 1 9 E r , s i x , i y ; ϱ 1 , ϱ 2 , ϱ 3 , κ 3 , κ 2 , κ 1 d x d y = 2 2 κ 3 + ϱ 3 π 2 n k ! k ! Γ κ 1 + ϱ 1 + 1 n k Γ κ 3 + ϱ 3 + 1 k κ 1 + ϱ 1 2 n k κ 3 + ϱ 3 2 k × Γ 2 κ 2 + ϱ 2 Γ κ 1 + κ 2 Γ ϱ 1 + ϱ 2 Γ κ 1 + ϱ 1 + κ 2 + ϱ 2 n k Γ κ 2 + ϱ 2 + n k δ n , r δ k , s ,
for κ 1 , κ 2 , κ 3 , ϱ 1 , ϱ 2 , ϱ 3 > 0 , κ 3 + ϱ 3 > 2 n and κ 1 + ϱ 1 > 2 n . Please note that the weight function of this orthogonality relation is positive for κ 1 = ϱ 1 , κ 2 = ϱ 2 , κ 3 = ϱ 3 or κ 1 = κ 2 , ϱ 1 = ϱ 2 , κ 3 = ϱ 3 .

3.10. Fourier Transform of the Polynomials 13 Q n , k p , q x , y

Let us define
h n , k x , y ; κ 1 , κ 2 , λ , μ = 1 + x 2 κ 1 1 / 4 1 + y 2 κ 2 1 / 4 13 Q n , k λ , μ x , y ,
where κ 1 , κ 2 , λ and μ are real parameters, and the polynomials 13 Q n , k p , q x , y is defined in (33). Applying the Fourier transform for the function given in (58), we get
F h n , k x , y ; κ 1 , κ 2 , λ , μ = 2 n Γ λ Γ μ Γ λ n k Γ μ k × l 1 = 0 n k 2 1 l 1 n k 2 l 1 n k 1 2 l 1 λ n k l 1 l 1 ! e i ξ 1 x 1 + x 2 κ 1 1 / 4 x n k 2 l 1 d x × l 2 = 0 k 2 1 l 2 k 2 l 2 k 1 2 l 2 μ k l 2 l 2 ! e i ξ 2 y 1 + y 2 κ 2 1 / 4 y k 2 l 2 d y .
In here, if we take as
S n k , l 1 κ 1 , ξ 1 = e i ξ 1 x 1 + x 2 κ 1 1 / 4 x n k 2 l 1 d x = j = 0 i ξ 1 x j j ! 1 + x 2 κ 1 1 / 4 x n k 2 l 1 d x = j = 0 i ξ 1 j j ! 1 + x 2 κ 1 1 / 4 x n k + j 2 l 1 d x ,
then, for j = 0 , 2 , 4 , . . . ,
S 2 m , l 1 κ 1 , ξ 1 = r = 0 i ξ 1 2 r 2 r ! 1 + x 2 κ 1 1 / 4 x 2 m + 2 r 2 l 1 d x = r = 0 1 r ξ 1 2 4 r r ! 1 2 r 0 1 + t κ 1 1 / 4 t m + r l 1 1 / 2 d t = r = 0 1 r ξ 1 2 4 r r ! 1 2 r Γ m + r l 1 + 1 / 2 Γ κ 1 m r + l 1 3 / 4 Γ κ 1 1 / 4 = B m + 1 / 2 l 1 , κ 1 m 3 / 4 + l 1 r = 0 m l 1 + 1 / 2 r ξ 1 2 4 r 7 / 4 + m κ 1 l 1 r 1 2 r r ! ,
where
2 r ! = 2 2 r r ! 1 2 r
and the relations (41) are used. Besides that, S 2 m , l 1 κ 1 , ξ 1 = 0 for j = 1 , 3 , 5 , . . . .
On the other hand, for j = 1 , 3 , 5 , . . . ,
S 2 m + 1 , l 1 κ 1 , ξ 1 = r = 0 i ξ 1 2 r + 1 2 r + 1 ! 1 + x 2 κ 1 1 / 4 x 2 m + 2 r + 2 2 l 1 d x = i ξ 1 r = 0 1 r ξ 1 2 r Γ 2 2 2 r 0 1 + t κ 1 1 / 4 t m + r + 1 / 2 l 1 d t = i ξ 1 r = 0 1 r ξ 1 2 r 2 2 r s = 1 2 2 + s 1 2 r Γ m + r + 3 / 2 l 1 Γ κ 1 m r 7 / 4 + l 1 Γ κ 1 1 / 4 = i ξ 1 B m + 3 / 2 l 1 , κ 1 m 7 / 4 + l 1 r = 0 m + 3 / 2 l 1 r ξ 1 2 4 r 11 / 4 + m κ 1 l 1 r 3 2 r r ! ,
where the relations (41) and
k 2 l = 2 2 l s = 1 2 k + s 1 2 l , 0 l k / 2
are used. Also, S 2 m + 1 , l 1 κ 1 , ξ 1 = 0 for j = 0 , 2 , 4 , . . . . Thus, from the relations (60) and (62),
S n k , l 1 κ 1 , ξ 1 = i ξ 1 1 1 n k 2 Γ n k + 1 2 + 1 / 2 l 1 Γ κ 1 n k + 1 2 3 / 4 + l 1 Γ κ 1 1 / 4 × r = 0 n k + 1 2 + 1 / 2 l 1 r ξ 1 2 4 r 7 / 4 + n k + 1 2 κ 1 l 1 r 1 1 n k 2 r r ! ,
and similarly the integral S k , l 2 κ 2 , ξ 2 is calculated as
S k , l 2 κ 2 , ξ 2 = e i ξ 2 y 1 + y 2 κ 2 1 / 4 y k 2 l 2 d y = i ξ 2 1 1 k 2 Γ k + 1 2 + 1 / 2 l 2 Γ κ 2 k + 1 2 3 / 4 + l 2 Γ κ 2 1 / 4 × r = 0 k + 1 2 + 1 / 2 l 2 r ξ 2 2 4 r 7 / 4 + k + 1 2 κ 2 l 2 r 1 1 k 2 r r ! .
Now, substituting the calculated integrals S n k , l 1 κ 1 , ξ 1 and S k , l 2 κ 2 , ξ 2 in (59) we get
F h n , k x , y ; κ 1 , κ 2 , λ , μ = 2 n Γ λ Γ μ C 13 n , k , κ 1 , κ 2 Γ λ n k Γ μ k × Θ 13 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 ,
where
C 13 n , k , κ 1 , κ 2 = Γ n k + 1 2 + 1 / 2 Γ k + 1 2 + 1 / 2 × Γ κ 1 n k + 1 2 3 / 4 Γ κ 2 k + 1 2 3 / 4 Γ κ 1 1 / 4 Γ κ 2 1 / 4 ,
and
Θ 13 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 = i ξ 1 1 1 n k 2 i ξ 2 1 1 k 2 × l 1 = 0 n k 2 n k 2 l 1 n k 1 2 l 1 κ 1 n k + 1 2 3 / 4 l 1 λ n k l 1 1 / 2 n k + 1 2 l 1 l 1 ! × 1 F 2 1 / 2 + n k + 1 2 l 1 7 / 4 + n k + 1 2 κ 1 l 1 , 1 1 n k 2 ξ 1 2 4 × l 2 = 0 k 2 k 2 l 2 k 1 2 l 2 κ 2 k + 1 2 3 / 4 l 2 μ k l 2 1 / 2 k + 1 2 l 2 l 2 ! × 1 F 2 1 / 2 + k + 1 2 l 2 7 / 4 + k + 1 2 κ 2 l 2 , 1 1 k 2 ξ 2 2 4 ,
where 1 F 2 is the special case of the hypergeometric function. If the results are replaced in the Parseval identity (39), we obtain
h n , k x , y ; κ 1 , κ 2 , λ , μ h r , s x , y ; ϱ 1 , ϱ 2 , α , β = 1 + x 2 κ 1 + ϱ 1 1 / 2 1 + y 2 κ 2 + ϱ 2 1 / 2 13 Q n , k λ , μ x , y 13 Q r , s α , β x , y d y d x = 1 2 π 2 2 n + r Γ λ Γ μ Γ α Γ β C 13 n , k , κ 1 , κ 2 C 13 r , s , ϱ 1 , ϱ 2 ¯ Γ λ n k Γ μ k Γ α r s Γ β s × Θ 13 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 Θ 13 r , s , ϱ 1 , ϱ 2 , α , β , ξ 1 , ξ 2 ¯ d ξ 1 d ξ 2 .
Now by taking λ = α = κ 1 + ϱ 1 and μ = β = κ 2 + ϱ 2 in the left-hand side of the above equality and applying the orthogonality relation (34), it can be written that
2 2 κ 1 + κ 2 + ϱ 1 + ϱ 2 n 1 π 2 n k ! k ! Γ 2 κ 1 + ϱ 1 n k Γ 2 κ 2 + ϱ 2 k δ n , r δ k , s κ 1 + ϱ 1 n k 1 κ 2 + ϱ 2 k 1 Γ 2 κ 1 + ϱ 1 n k 1 Γ 2 κ 2 + ϱ 2 k 1 = C 13 r , s , ϱ 1 , ϱ 2 Θ 13 r , s , ϱ 1 , ϱ 2 , ϱ 1 + κ 1 , ϱ 2 + κ 2 , ξ 1 , ξ 2 ¯ × C 13 n , k , κ 1 , κ 2 Θ 13 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 , κ 2 + ϱ 2 , ξ 1 , ξ 2 d ξ 1 d ξ 2 ,
in view of the relation
Γ 2 z = 2 2 z 1 π Γ z Γ z + 1 / 2 .
Theorem 10.
The special function
13 E n , k x , y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 = Θ 13 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 , κ 2 + ϱ 2 , i x , i y ,
has an orthogonality relation of form
13 E n , k i x , i y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 13 E r , s i x , i y ; ϱ 1 , ϱ 2 , κ 2 , κ 1 d x d y = 2 2 κ 1 + κ 2 + ϱ 1 + ϱ 2 n 1 π 2 n k ! k ! Γ 2 κ 1 + ϱ 1 n k Γ 2 κ 2 + ϱ 2 k κ 1 + ϱ 1 n k 1 Γ 2 κ 1 + ϱ 1 n k 1 Γ 2 n k + 1 2 + 1 / 2 × Γ κ 1 1 / 4 Γ κ 2 1 / 4 Γ 2 κ 2 + ϱ 2 k 1 Γ κ 1 n k + 1 2 3 / 4 Γ ϱ 1 n k + 1 2 3 / 4 × Γ ϱ 2 1 / 4 Γ ϱ 1 1 / 4 δ n , r δ k , s κ 2 + ϱ 2 k 1 Γ κ 2 k + 1 2 3 / 4 Γ ϱ 2 k + 1 2 3 / 4 Γ 2 k + 1 2 + 1 / 2 ,
for κ 1 , ϱ 1 > n + 1 2 + 3 / 4 and κ 2 , ϱ 2 > n + 1 2 + 3 / 4 .

3.11. Fourier Transform of the Polynomials 14 Q n , k p , q , u x , y

Let us define
h n , k x , y ; κ 1 , κ 2 , κ 3 , λ , μ , η = e κ 2 x 1 + e x κ 1 + κ 2 1 + y 2 κ 3 1 / 4 14 Q n , k λ , μ , η e x , y ,
where κ 1 , κ 2 , κ 3 , λ , μ and η are real parameters, and the polynomials 14 Q n , k p , q , u x , y is defined in (35). By applying similar calculations in the paper [21] and in the previous subsection, we get
F h n , k x , y ; κ 1 , κ 2 , κ 3 , λ , μ , η = 1 n k 2 k Γ μ + n k + 1 Γ η Γ μ + 1 Γ η k × C 14 k , κ 1 , κ 2 , κ 3 , ξ 1 Θ 14 n , k , κ 1 , κ 2 , κ 3 , λ , μ , η , ξ 1 , ξ 2 ,
where
C 14 k , κ 1 , κ 2 , κ 3 , ξ 1 = Γ k + 1 2 + 1 / 2 Γ κ 3 k + 1 2 3 / 4 Γ κ 1 + κ 2 Γ κ 3 1 / 4 × Γ κ 1 + i ξ 1 Γ κ 2 i ξ 1 ,
and
Θ 14 n , k , κ 1 , κ 2 , κ 3 , λ , μ , η , ξ 1 , ξ 2 = i ξ 2 1 1 k 2 × 3 F 2 n k , n k + 1 λ , κ 2 i ξ 1 μ + 1 , 1 κ 1 i ξ 1 1 × l 2 = 0 k 2 k 2 l 2 k 1 2 l 2 κ 3 k + 1 2 3 / 4 l 2 η k l 2 1 / 2 k + 1 2 l 2 l 2 ! × 1 F 2 k + 1 2 + 1 / 2 l 2 7 / 4 + k + 1 2 κ 3 l 2 , 1 1 k 2 ξ 2 2 4 .
Hence, from the Parseval identity (39), we obtain
h n , k x , y ; κ 1 , κ 2 , κ 3 , λ , μ , η h r , s x , y ; ϱ 1 , ϱ 2 , ϱ 3 , α , β , γ d x d y = 0 t κ 2 + ϱ 2 1 1 + t κ 1 + ϱ 1 + κ 2 + ϱ 2 1 + y 2 κ 3 + ϱ 3 1 / 2 14 Q n , k λ , μ , η t , y × 14 Q r , s α , β , γ t , y d y d t = 1 2 π 2 2 k + s Γ μ + n k + 1 Γ β + r s + 1 Γ η Γ γ Γ μ + 1 Γ β + 1 Γ η k Γ γ s × 1 n k 1 r s C 14 s , ϱ 1 , ϱ 2 , ϱ 3 , ξ 1 ¯ Θ 14 r , s , ϱ 1 , ϱ 2 , ϱ 3 , α , β , γ , ξ 1 , ξ 2 ¯ × C 14 k , κ 1 , κ 2 , κ 3 , ξ 1 Θ 14 n , k , κ 1 , κ 2 , κ 3 , λ , μ , η , ξ 1 , ξ 2 d ξ 1 d ξ 2 .
Now by taking κ 1 + ϱ 1 + 1 = λ = α , κ 2 + ϱ 2 1 = μ = β and κ 3 + ϱ 3 = η = γ in the left-hand side of (66) and then using the orthogonality relation (36), in view of the relation (64), we obtain
2 2 κ 3 + ϱ 3 k π 2 n k ! k ! Γ κ 1 + ϱ 1 + 1 n k κ 1 + ϱ 1 2 n k κ 3 + ϱ 3 k 1 Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 n k × Γ 2 κ 2 + ϱ 2 Γ 2 κ 3 + ϱ 3 k Γ κ 2 + ϱ 2 + n k Γ 2 κ 3 + ϱ 3 k 1 δ n , r δ k , s = C 14 s , ϱ 1 , ϱ 2 , ϱ 3 , ξ 1 ¯ C 14 k , κ 1 , κ 2 , κ 3 , ξ 1 × Θ 14 r , s , ϱ 1 , ϱ 2 , ϱ 3 , ϱ 1 + κ 1 + 1 , ϱ 2 + κ 2 1 , ϱ 3 + κ 3 , ξ 1 , ξ 2 ¯ × Θ 14 n , k , κ 1 , κ 2 , κ 3 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 1 , κ 3 + ϱ 3 , ξ 1 , ξ 2 d ξ 1 d ξ 2 .
Theorem 11.
The special function
14 E n , k x , y ; κ 1 , κ 2 , κ 3 , ϱ 3 , ϱ 2 , ϱ 1 = Θ 14 n , k , κ 1 , κ 2 , κ 3 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 1 , κ 3 + ϱ 3 , i x , i y ,
has an orthogonality relation in form
Γ κ 1 + i x Γ κ 2 i x 14 E n , k i x , i y ; κ 1 , κ 2 , κ 3 , ϱ 3 , ϱ 2 , ϱ 1 × Γ ϱ 1 i x Γ ϱ 2 + i x 14 E r , s i x , i y ; ϱ 1 , ϱ 2 , ϱ 3 , κ 3 , κ 2 , κ 1 d x d y = 2 2 κ 3 + ϱ 3 k π 2 n k ! k ! Γ κ 1 + ϱ 1 + 1 n k κ 1 + ϱ 1 2 n k κ 3 + ϱ 3 k 1 Γ κ 1 + κ 2 + ϱ 1 + ϱ 2 n k × Γ 2 κ 2 + ϱ 2 Γ 2 κ 3 + ϱ 3 k Γ κ 2 + ϱ 2 + n k Γ 2 κ 3 + ϱ 3 k 1 × Γ κ 1 + κ 2 Γ ϱ 1 + ϱ 2 Γ κ 3 1 / 4 Γ ϱ 3 1 / 4 δ n , r δ k , s Γ 2 k + 1 2 + 1 / 2 Γ κ 3 k + 1 2 3 / 4 Γ ϱ 3 k + 1 2 3 / 4 ,
for κ 1 , κ 2 , ϱ 1 , ϱ 2 > 0 , κ 1 + ϱ 1 > 2 n and κ 3 , ϱ 3 > n + 1 2 + 3 / 4 . Please note that the weight function is positive for κ 1 = κ 2 and ϱ 1 = ϱ 2 or κ 1 = ϱ 1 and κ 2 = ϱ 2 .

3.12. Fourier Transform of the Polynomials 15 Q n , k p , q x , y

Let us define
h n , k x , y ; κ 1 , κ 2 , λ , μ = e κ 1 x e e x 2 1 + y 2 κ 2 1 / 4 15 Q n , k λ , μ e x , y ,
where κ 1 , κ 2 , λ and μ are real parameters, and the polynomials 15 Q n , k p , q x , y is defined by (37). In view of the calculations in the paper [21] and in similar calculations given for 13 Q n , k p , q x , y , we get
F h n , k x , y ; κ 1 , κ 2 , λ , μ = 1 n k 2 k + κ 1 + i ξ 1 Γ κ 1 + i ξ 1 Γ μ Γ μ k × 2 F 1 n k , n k + 1 λ 1 κ 1 i ξ 1 1 2 × l 2 = 0 k / 2 1 l 2 k 2 l 2 k 1 2 l 2 μ k l 2 l 2 ! e i ξ 2 y 1 + y 2 κ 2 1 / 4 y k 2 l 2 d y = 1 n k Γ μ Γ μ k C 15 k , κ 1 , κ 2 , ξ 1 , ξ 2 Θ 15 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 ,
where
C 15 k , κ 1 , κ 2 , ξ 1 , ξ 2 = 2 k + κ 1 + i ξ 1 Γ κ 1 + i ξ 1 × B k + 1 2 + 1 / 2 , κ 2 k + 1 2 3 / 4 ,
and
Θ 15 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 = i ξ 2 1 1 k 2 2 F 1 n k , n k + 1 λ 1 κ 1 i ξ 1 1 2 × l 2 = 0 k / 2 k 2 l 2 k 1 2 l 2 κ 2 k + 1 2 3 / 4 l 2 μ k l 2 1 / 2 k + 1 2 l 2 l 2 ! × 1 F 2 k + 1 2 + 1 / 2 l 2 7 / 4 + k + 1 2 κ 2 l 2 , 1 1 k 2 ξ 2 2 4 .
Hence, from the Parseval identity (39), we obtain
h n , k x , y ; κ 1 , κ 2 , λ , μ h r , s x , y ; ϱ 1 , ϱ 2 , α , β d x d y = t κ 1 + ϱ 1 + 1 e 1 t 1 + y 2 κ 2 + ϱ 2 1 / 2 15 Q n , k λ , μ t , y 15 Q r , s α , β t , y d y d t = 1 2 π 2 1 n k 1 r s Γ μ Γ β Γ μ k Γ β s C 15 k , κ 1 , κ 2 , ξ 1 , ξ 2 C 15 s , ϱ 1 , ϱ 2 , ξ 1 , ξ 2 ¯ × Θ 15 n , k , κ 1 , κ 2 , λ , μ , ξ 1 , ξ 2 Θ 15 r , s , ϱ 1 , ϱ 2 , α , β , ξ 1 , ξ 2 ¯ d ξ 1 d ξ 2 .
Now by taking λ = α = κ 1 + ϱ 1 + 1 and μ = β = κ 2 + ϱ 2 in the left-hand side of (68), then using the orthogonality relation (38) we have
2 2 κ 2 + ϱ 2 π 2 n k ! k ! Γ κ 1 + ϱ 1 + 1 n k Γ 2 κ 2 + ϱ 2 k κ 1 + ϱ 1 2 n k κ 2 + ϱ 2 k 1 Γ 2 κ 2 + ϱ 2 k 1 δ n , r δ k , s = C 15 s , ϱ 1 , ϱ 2 , ξ 1 , ξ 2 Θ 15 r , s , ϱ 1 , ϱ 2 , ϱ 1 + κ 1 + 1 , ϱ 2 + κ 2 , ξ 1 , ξ 2 ¯ × C 15 k , κ 1 , κ 2 , ξ 1 , ξ 2 Θ 15 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 , ξ 1 , ξ 2 d ξ 1 d ξ 2 ,
in view of the relation (64).
Theorem 12.
The special function
15 E n , k x , y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 = Θ 15 n , k , κ 1 , κ 2 , κ 1 + ϱ 1 + 1 , κ 2 + ϱ 2 , i x , i y ,
has an orthogonality relation of form
Γ κ 1 + i x Γ ϱ 1 i x 15 E n , k i x , i y ; κ 1 , κ 2 , ϱ 2 , ϱ 1 × 15 E r , s i x , i y ; ϱ 1 , ϱ 2 , κ 2 , κ 1 d x d y = 2 2 κ 2 + ϱ 2 k κ 1 + ϱ 1 π 2 n k ! k ! Γ κ 1 + ϱ 1 + 1 n k κ 1 + ϱ 1 2 n k κ 2 + ϱ 2 k 1 Γ 2 κ 2 + ϱ 2 k 1 × Γ 2 κ 2 + ϱ 2 k Γ κ 2 1 / 4 Γ ϱ 2 1 / 4 δ n , r δ k , s Γ 2 k + 1 2 + 1 / 2 Γ κ 2 k + 1 2 3 / 4 Γ ϱ 2 k + 1 2 3 / 4 ,
for κ 1 , ϱ 1 > 0 , κ 1 + ϱ 1 > 2 n and κ 2 , ϱ 2 > n + 1 2 + 3 / 4 . Please note that the weight function of the orthogonality relation is positive for κ 1 = ϱ 1 .

4. Conclusions

The integral transforms have many applications in mathematics, physics, engineering, and in other scientific disciplines. The most important use of the Fourier transformation is to solve differential equations, integral equations and partial differential equations of the mathematical physics such as Laplace, Heat, Wave equations. Some other applications of the Fourier transform include vibration analysis, sound engineering, communication, data analysis, etc. [10,11,12,13,14]. The Fourier transform is also an important image processing tool, especially in transformation, representation, and encoding, smoothing, and sharpening images [5]. Another use of the Fourier transform is that it allows us to derive new families of functions by means of Parseval identity. During the last several years, there were many papers on the study of orthogonal polynomials and their transformations. The families of orthogonal polynomials which are mapped onto each other can be introduced by using the well-known Fourier transform or other integral transforms. Up to now, Fourier transforms of Jacobi, generalized Ultraspherical, generalized Hermite, Routh-Romanovski polynomials, finite classical orthogonal polynomials, etc. and relations with other polynomials have been studied by many authors. By the motivation of Fourier transforms of orthogonal polynomials mentioned above, a similar method in those papers has been developed for two-dimensional Fourier transforms. This paper first deals with two-dimensional Fourier transforms of some specific functions in terms of finite bivariate orthogonal polynomials. Then, via Fourier transforms of finite bivariate orthogonal polynomials and Parseval identity, the new families of bivariate orthogonal functions have been derived. This study will be a material for researchers who study on orthogonal polynomials and special functions. The method applied for bivariate case in this paper can be applied for some other orthogonal polynomials in multivariate case. Furthermore, it is possible to investigate some partial differential operators whose eigenfunctions are the obtained new orthogonal functions and some their characteristic properties in further research.

Author Contributions

Investigation E.G.L., R.A. and M.M.-J.; writing-original draft E.G.L. and R.A.; writing-review and editing E.G.L., R.A. and M.M.-J. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not Applicable.

Informed Consent Statement

Not Applicable.

Data Availability Statement

Not Applicable.

Acknowledgments

The research of the first and second authors has been supported by Ankara University Scientific Research Project Unit (BAP) Project No:20L0430007. The work of the third author has been supported by the Alexander von Humboldt Foundation under the Grant number: Ref 3.4-IRN-1128637-GF-E.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Davies, B. Integral Transforms and Their Applications, 3rd ed.; Texts in Applied Mathematics; Springer: New York, NY, USA, 2002; Volume 41. [Google Scholar]
  2. Debnath, L.; Bhatta, D. Integral Transforms and Their Applications, 3rd ed.; Chapman and Hall/CRC: Boca Raton, FL, USA, 2014. [Google Scholar]
  3. Tranter, C.J. Integral Transforms in Mathematical Physics; Methuen: York, UK, 1971. [Google Scholar]
  4. Yakubovich, S.B.; Luchko, Y.F. The Hypergeometric Approach to Integral Transforms and Convolutions; Kluwer: Amsterdam, The Netherlands, 1994. [Google Scholar]
  5. Wang, S. Applications of Fourier Transform to Imaging Analysis. J. R. Stat. Soc. 2007, 171, 1–11. [Google Scholar]
  6. Srivastava, H.M.; Masjed-Jamei, M.; Aktaş, R. Analytical solutions of some general classes of differential and integral equations by using the Laplace and Fourier transforms. Filomat 2020, 34, 2869–2876. [Google Scholar] [CrossRef]
  7. Luchko, Y. Some Schemata for Applications of the Integral Transforms of Mathematical Physics. Mathematics 2019, 7, 254. [Google Scholar] [CrossRef] [Green Version]
  8. Bhatti, M.M.; Marin, M.; Zeeshan, A.; Ellahi, R.; Abdelsalam, S.I. Swimming of Motile Gyrotactic Microorganisms and Nanoparticles in Blood Flow Through Anisotropically Tapered Arteries. Front. Phys. 2020, 8, 1–12. [Google Scholar] [CrossRef] [Green Version]
  9. Skuratov, D.L.; Ratis, Y.L.; Selezneva, I.A.; Perez, J.; Fernandez de Cordoba, P.; Urchueguiac, J.F. Mathematical modelling and analytical solution for workpiece temperature in grinding. Appl. Math. Model. 2007, 31, 1039–1047. [Google Scholar] [CrossRef]
  10. Chowning, J.M. The synthesis of complex audio spectra by means of frequency modulation. J. Audio Eng. Soc. 1973, 21, 526–534. [Google Scholar]
  11. Brandenburg, K.; Bosi, M. Overview of MPEG audio: Current and future standards for low-bit-rate audio coding. J. Audio Eng. Soc. 1997, 45, 4–21. [Google Scholar]
  12. Bosi, M.; Goldberg, R.E. Introduction to Digital Audio Coding and Standards; Kluwer Academic Publishers: Boston, MA, USA, 2003. [Google Scholar]
  13. Kailath, T.; Sayed, A.H.; Hassibi, B. Linear Estimation; PrenticeHall, Inc.: Englewood Cliffs, NJ, USA, 2000. [Google Scholar]
  14. Gray, R.M.; Davisson, L.D. An Introduction to Statistical Signal Processing; Cambridge University Press: Cambridge, UK, 2003. [Google Scholar]
  15. Koepf, W.; Masjed-Jamei, M. A generic polynomial solution for the differential equation of hypergeometric type and six sequences of orthogonal polynomials related to it. Integral Transform. Spec. Funct. 2006, 17, 559–576. [Google Scholar] [CrossRef] [Green Version]
  16. Bochner, S. Uber Sturm-Liouvillesche Polynomsysteme. Math. Z. 1929, 29, 730–736. [Google Scholar] [CrossRef]
  17. Masjed-Jamei, M. Classical orthogonal polynomials with weight function ( ( a x + b ) 2 + ( c x + d ) 2 ) p exp ( q arctan ( a x + b c x + d ) ) and a generalization of T and F distributions. Integral Transform. Spec. Funct. 2004, 15, 137–153. [Google Scholar]
  18. Masjed-Jamei, M. Three finite classes of hypergeometric orthogonal polynomials and their application in functions approximation. Integral Transform. Spec. Funct. 2002, 13, 169–191. [Google Scholar] [CrossRef]
  19. Erdelyi, A.; Magnus, W.; Oberhettinger, F.; Tricomi, F.G. Tables of Integral Transforms; McGraw-Hill Book Company, Inc.: New York, NY, USA; Toronto, ON, Canada; London, UK, 1954; Volume II. [Google Scholar]
  20. Koelink, H.T. On Jacobi and continuous Hahn polynomials. Proc. Am. Math. Soc. 1996, 124, 887–898. [Google Scholar] [CrossRef]
  21. Koepf, W.; Masjed-Jamei, M. Two classes of special functions using Fourier transforms of some finite classes of classical orthogonal polynomials. Proc. Am. Math. Soc. 2007, 135, 3599–3606. [Google Scholar] [CrossRef] [Green Version]
  22. Koornwinder, T.H. Group theoretic interpretations of Askey’s scheme of hypergeometric orthogonal polynomials. In Orthogonal Polynomials and Their Applications; Segovia, 1986; Lecture Notes in Math.; Springer: Berlin/Heidelberg, Germany, 1988; Volume 1329, pp. 46–72. [Google Scholar]
  23. Koornwinder, T.H. Special orthogonal polynomial systems mapped onto each other by the Fourier-Jacobi transform. In Orthogonal Polynomials and Applications; Bar-le-Duc, 1984; Lecture Notes in Math.; Springer: Berlin/Heidelberg, Germany, 1985; Volume 1171, pp. 174–183. [Google Scholar]
  24. Masjed-Jamei, M.; Koepf, W. Two classes of special functions using Fourier transforms of generalized ultraspherical and generalized Hermite polynomials. Proc. Am. Math. Soc. 2012, 140, 2053–2063. [Google Scholar] [CrossRef] [Green Version]
  25. Masjed-Jamei, M.; Marcellán, F.; Huertas, E.J. A finite class of orthogonal functions generated by Routh-Romanovski polynomials. Complex Var. Elliptic Eq. 2014, 59, 162–171. [Google Scholar] [CrossRef] [Green Version]
  26. Masjed-Jamei, M.; Koepf, W. Two finite classes of orthogonal functions. Appl. Anal. 2013, 92, 2392–2403. [Google Scholar] [CrossRef] [Green Version]
  27. Güldoğan, E.; Aktaş, R.; Area, I. Some classes of special functions using Fourier transforms of some two-variable orthogonal polynomials. Integral Transform. Spec. Funct. 2020, 31, 437–470. [Google Scholar] [CrossRef]
  28. Koornwinder, T.H. Two-variable analogues of the classical orthogonal polynomials. In Theory and Application of Special Functions; Proc. Advanced Sem., Math. Res. Center, Univ. Wisconsin, Madison, Wis., 1975; Academic Press: New York, NY, USA, 1975; pp. 435–495, Math. Res. Center, Univ. Wisconsin, Publ. No. 35. [Google Scholar]
  29. Fernández, L.; Pérez, T.E.; Piñar, M.A. On Koornwinder classical orthogonal polynomials in two variables. J. Comput. Appl. Math. 2012, 236, 3817–3826. [Google Scholar] [CrossRef] [Green Version]
  30. Güldoğan, E.; Aktaş, R.; Masjed-Jamei, M. On finite classes of two-variable orthogonal polynomials. Bull. Iran. Math. Soc. 2020, 46, 1163–1194. [Google Scholar] [CrossRef]
  31. Abramowitz, M.; Stegun, I.A. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables; John Wiley & Sons, Inc.: New York, NY, USA, 1984; A Wiley-Interscience Publication; reprint of the 1972 edition. [Google Scholar]
  32. Titchmarsh, E.C. Introduction to the Theory of Fourier Integrals, 3rd ed.; Chelsea Publishing Co.: New York, NY, USA, 1986. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Güldoğan Lekesiz, E.; Aktaş, R.; Masjed-Jamei, M. Fourier Transforms of Some Finite Bivariate Orthogonal Polynomials. Symmetry 2021, 13, 452. https://doi.org/10.3390/sym13030452

AMA Style

Güldoğan Lekesiz E, Aktaş R, Masjed-Jamei M. Fourier Transforms of Some Finite Bivariate Orthogonal Polynomials. Symmetry. 2021; 13(3):452. https://doi.org/10.3390/sym13030452

Chicago/Turabian Style

Güldoğan Lekesiz, Esra, Rabia Aktaş, and Mohammad Masjed-Jamei. 2021. "Fourier Transforms of Some Finite Bivariate Orthogonal Polynomials" Symmetry 13, no. 3: 452. https://doi.org/10.3390/sym13030452

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