Next Article in Journal
Fractional-Order Control Techniques for Renewable Energy and Energy-Storage-Integrated Power Systems: A Review
Previous Article in Journal
An Efficient Numerical Method for Pricing Double-Barrier Options on an Underlying Stock Governed by a Fractal Stochastic Process
Previous Article in Special Issue
Bifurcation and Stability of Two-Dimensional Activator–Inhibitor Model with Fractional-Order Derivative
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some Families of Differential Equations Associated with Multivariate Hermite Polynomials

by
Badr Saad T. Alkahtani
1,†,
Ibtehal Alazman
2,† and
Shahid Ahmad Wani
3,*,†
1
Department of Mathematics, College of Science, King Saud University, Riyadh 11989, Saudi Arabia
2
Department of Mathematics and Statistics, College of Science, Imam Mohammad Ibn Saud Islamic University (IMSIU), Riyadh 11566, Saudi Arabia
3
Department of Applied Sciences, Symbiosis Institute of Technology, Symbiosis International (Deemed University) (SIU), Pune 412115, India
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Fractal Fract. 2023, 7(5), 390; https://doi.org/10.3390/fractalfract7050390
Submission received: 7 March 2023 / Revised: 11 April 2023 / Accepted: 27 April 2023 / Published: 8 May 2023

Abstract

:
In this article, the recurrence relations and shift operators for multivariate Hermite polynomials are derived using the factorization approach. Families of differential equations, including differential, integro–differential, and partial differential equations, are obtained using these operators. The Volterra integral for these polynomials is also discovered.

1. Introduction and Preliminaries

To demonstrate the main idea underlying the factorization approach, let us briefly explore a subject that is commonly discussed: the contrast between Maxwell’s and Dirac’s equations. Both of these linear systems of equations have first-order partial derivatives, making them useful tools for addressing important questions related to eigenvalue problems for physicists. Both the Maxwell and Dirac equations are Lorentz invariant. It should be emphasized that difficulties with infinite self-energies may arise from oversimplifying the linearity of Maxwell’s equations.
Therefore, the factorization method is a powerful technique used in mathematical analyses to derive recurrence relations and differential equations for special functions, including the Appell polynomials and their members. The main idea of the factorization method is to express a given function in terms of a sequence of multiplicative and derivative operators, which enables the derivation of recurrence relations and differential equations satisfied by the function. The factorization method, described in the work of Infield [1], provides a practical technique for solving eigenvalue problems that are of great importance to physicists. The key concept involves considering two first-order differential equations, the solution of which leads to a second-order differential equation of the same magnitude. The computation of transition probabilities also takes the production process into account. This approach is designed to handle perturbation issues.
Let a polynomial sequence of degree n with n with n = 0 , 1 , 2 , be denoted by { Q n ( q 1 ) } n = 0 . The sequences of the differential operators Ψ n and Ψ n + operating on { Q n ( q 1 ) } n = 0 satisfy the following properties:
Ψ n ( Q n ( q 1 ) ) = Q n 1 ( q 1 )
and
Ψ n + ( Q n ( q 1 ) ) = Q n + 1 ( q 1 ) .
A significant property, named differential equation
( Ψ n + 1 Ψ n + ) { Q n ( q 1 ) } = Q n ( q 1 ) ,
is derived by using Ψ n and Ψ n + operators. The factorization approach is the procedure used to construct differential equations from Equation (3). To ensure that Equation (3) holds, the primary goal of the factorization approach is to obtain the multiplicative operator Ψ n + and the derivative operator Ψ n .
The factorization method has been widely used in various areas of mathematics, including the special functions theory, orthogonal polynomials, and differential equations, to name a few. It provides a systematic approach to deriving recurrence relations and differential equations for special functions, which can be helpful in solving mathematical problems and analyzing the properties of these functions.
The operational rule for the 2-V Hermite Kampé de Fériet polynomials (2VHKdFP) Y n [ 2 ] ( q 1 , q 2 ) [2] is provided below:
exp q 2 2 q 1 2 q 1 n = Y n [ 2 ] ( q 1 , q 2 )
and the generating function shown below defines these polynomials:
exp ( q 1 ξ + q 2 ξ 2 ) = n = 0 Y n [ 2 ] ( q 1 , q 2 ) ξ n n ! .
The following series also defines these polynomials:
Y n [ 2 ] ( q 1 , q 2 ) = n ! k = 0 [ n 2 ] q 2 k q 1 n 2 k k ! ( n 2 k ) ! .
Further, the multivariate Hermite polynomials (MVHP) Y n [ m ] ( q 1 , q 2 , , q m ) [3] are given by the following operational rule:
exp q 2 2 q 1 2 + q 3 3 q 1 3 + + q m m q 1 m q 1 n = Y n [ m ] ( q 1 , q 2 , , q m ) .
These polynomials are given by generating expression:
exp ( q 1 ξ + q 2 ξ 2 + + q m ξ m ) = n = 0 Y n [ m ] ( q 1 , q 2 , , q m ) ξ n n !
and are defined by the series:
Y n [ m ] ( q 1 , q 2 , q m ) = n ! r = 0 [ n / m ] p m r Y n m r [ m ] ( q 1 , q 2 , , p m 1 ) r ! ( n m r ) ! .
As a result of the significance of the factorization approach in comparing Maxwell’s and Dirac’s equations, it was first developed by He and Ricci [4]. Both of these linear systems of equations involve first-order partial derivatives, making them valuable resources for physicists seeking solutions to important eigenvalue problem-related inquiries. This approach helps derive the differential equation for the Appell polynomials. In [5], the multidimensional extensions of the Bernoulli and Appell polynomials are described. The extended 2 D Bernoulli and Euler polynomials are utilized to produce the differential, integro–differential, and partial differential equations in the [6]. This method is also used to generate the hybrid form, 2D extended, and mixed-type polynomial integro–differential equations for the Appell family; for instance, see [7,8,9,10,11,12,13,14,15]. Additionally, in [16], the Appell polynomials are used to build a collection of finite order differential equations by extending the factorization strategy using k-times shift operators. These findings inspire the creation of families of differential equations, shift operators, and recurrence relations for multivariate Hermite polynomials represented by (8); because of their importance in a variety of fields, such as in quantum mechanics, they arise in the solution of the Schrodinger equation for the harmonic oscillator. They are also useful in the study of random walks and Brownian motion, as well as in the approximation theory and numerical analysis. Additionally, the Hermite polynomials have applications in the biological and medical sciences, such as in the analysis of EEG and ECG signals. These polynomials have many useful properties that make them valuable in various areas of mathematics and physics. For instance, they are complete, meaning that any square-integrable function on the real line can be expressed as a series of Hermite polynomials. Moreover, they have a three-term recurrence relation, which makes their computation efficient. The Hermite polynomials are also orthogonal with respect to the weight function e q 1 2 , which arises frequently in problems involving Gaussian integrals.
In this article, the families of differential equations connected to the multivariate Hermite polynomials are derived using the factorization method. The recurrence relation for these multivariate Hermite polynomials is first derived in Section 2. Shift operators are also generated for these polynomials. Section 3 develops families of differential equations for these polynomials, including differential, integro–differential, and partial differential equations. The Volterra integral equation for these polynomials is developed in Section 4.

2. Recurrence Relations and Shift Operators

Recurrence relations are mathematical equations that define the terms of a sequence based on previous terms in the sequence. In the context of polynomials, recurrence relations can be utilized to express the coefficients of a polynomial in terms of its preceding coefficients. Recurrence relations in polynomials serve as a powerful tool for solving polynomial equations, generating polynomial sequences, and examining the properties of polynomials in various mathematical contexts. They offer a concise means of expressing the connection between the coefficients of a polynomial and often lead to efficient algorithms for polynomial computations. Moreover, recurrence relations in polynomials can also describe other types of polynomial sequences, such as those encountered in the study of orthogonal polynomials. In these cases, the coefficients are determined by recurrence relations involving inner products or other mathematical characteristics of the polynomials. For the MVHP Y n [ m ] ( q 1 , q 2 , , q m ) , we developed recurrence relations and shift operators in this section. First, by demonstrating the following conclusion, we construct the recurrence relation for the MVHP Y n [ m ] ( q 1 , q 2 , , q m ) :
Theorem 1.
The multivariate Hermite polynomials Y n [ m ] ( q 1 , q 2 , , q m ) fulfil the following recurrence relation:
Y n + 1 [ m ] ( q 1 , q 2 , , q m ) = q 1 Y n [ m ] ( q 1 , q 2 , , q m ) + 2 n q 2 Y n 1 [ m ] ( q 1 , q 2 , , q m ) + 3 n ( n 1 ) q 3 × Y n 2 [ m ] ( q 1 , q 2 , , q m ) + + n ( n 1 ) ( n 2 ) ( n m + 1 ) q m Y n m [ m ] ( q 1 , q 2 , , q m ) .
Proof. 
Differentiating expression (8) w.r.t. ξ , we have
ξ exp ( q 1 ξ + q 2 ξ 2 + + q m ξ m ) = q 1 + 2 q 2 ξ + 3 q 3 ξ 2 + + m q m ξ m 1 × exp ( q 1 ξ + q 2 ξ 2 + + q m ξ m ) .
Using the r.h.s. of expression (8) in expression (11), we have
ξ n = 0 Y n [ m ] ( q 1 , q 2 , , q m ) ξ n n ! = q 1 + 2 q 2 ξ + 3 q 3 ξ 2 + + m q m ξ m 1 × n = 0 Y n [ m ] ( q 1 , q 2 , , q m ) ξ n n ! ,
which can further be written as
n = 0 n Y n [ m ] ( q 1 , q 2 , , q m ) ξ n 1 n ! = q 1 n = 0 Y n [ m ] ( q 1 , q 2 , , q m ) ξ n n ! + 2 q 2 n = 0 Y n [ m ] ( q 1 , q 2 , , q m ) × ξ n + 1 n ! + 3 q 3 n = 0 Y n [ m ] ( q 1 , q 2 , , q m ) ξ n + 2 n ! + + m q m n = 0 Y n [ m ] ( q 1 , q 2 , , q m ) ξ n + m n ! .
Replacing n n + 1 in the l.h.s. of the previous equation, n n 1 , n n 2 , ⋯ n n m in the r.h.s. of the second, third, and last terms of the previous equation, we have
n = 0 Y n + 1 [ m ] ( q 1 , q 2 , , q m ) ξ n n ! = q 1 n = 0 Y n [ m ] ( q 1 , q 2 , , q m ) ξ n n ! + 2 q 2 n = 0 n Y n 1 [ m ] ( q 1 , q 2 , , q m ) ξ n n ! + 3 q 3 n = 0 n ( n 1 ) Y n 2 [ m ] ( q 1 , q 2 , , q m ) ξ n n ! + + m q m n ( n 1 ) ( n 2 ) ( n m + 1 ) × n = 0 Y n m [ m ] ( q 1 , q 2 , , q m ) ξ n n ! .
which further can be written as
n = 0 Y n + 1 [ m ] ( q 1 , q 2 , , q m ) ξ n n ! = n = 0 [ q 1 Y n [ m ] ( q 1 , q 2 , , q m ) + 2 q 2 n Y n 1 [ m ] ( q 1 , q 2 , , q m ) + 3 q 3 n ( n 1 ) Y n 2 [ m ] ( q 1 , q 2 , , q m ) + + m q m n ( n 1 ) ( n 2 ) ( n m + 1 ) × Y n m [ m ] ( q 1 , q 2 , , q m ) ] ξ n n ! .
Assertion (10) is proven by equating the coefficients of the same exponents of ξ n n ! on b/s of Equation (14). □
The shift operators and recurrence relation are valuable tools for analyzing the properties of polynomials. The shift operators enable the translation of polynomials in different directions and dimensions, while the recurrence relation allows for the computation of polynomial values at higher degrees based on their values at lower degrees. Shift operators in polynomials are linear operators that shift the indices of a polynomial’s coefficients by a fixed amount. Let us consider a polynomial of degree n with coefficients a 0 , a 1 , a 2 , . . . , a n 1 , a n . The left shift operator shifts the coefficients to the left by k positions, resulting in a new polynomial of the same degree n but with coefficients b 0 , b 1 , b 2 , . . . , b n k 1 , b n k , . . . , b n 1 . The right shift operator does the opposite, shifting the coefficients to the right by k positions. Next, by demonstrating the following conclusion, we construct the shift operators for the MVHP Y n [ m ] ( q 1 , q 2 , , q m ) , listed as:
Theorem 2.
The MVHP Y n [ m ] ( q 1 , q 2 , , q m ) satisfies the listed shift operators:
q 1 £ n : = 1 n D q 1 ,
q 2 £ n : = 1 n D q 1 1 D q 2 ,
q 3 £ n : = 1 n D q 1 2 D q 3 ,
q m £ n : = 1 n D q 1 ( m 1 ) D q m ,
q 1 £ n + : = q 1 + 2 q 2 D q 1 + 3 q 3 D q 1 2 + + m q m D q 1 m 1
q 2 £ n + : = q 1 + 2 q 2 D q 1 1 D q 2 + 3 q 3 D q 1 2 D q 2 2 + + m q m D q 1 ( m 1 ) D q 2 m 1
and
q 3 £ n + : = q 1 + 2 q 2 D q 1 2 D q 3 + 3 q 3 D q 1 4 D q 3 2 + + m q m D q 1 2 ( m 1 ) D q 3 m 1 ,
q m £ n + : = q 1 + 2 q 2 D q 1 ( m 1 ) D q m + 3 q 3 D q 1 2 ( m 1 ) D q m 2 + + m q m D q 1 ( m 1 ) 2 D q m m 1 ,
where
D q 1 : = q 1 , D q 2 : = q 2 , D q 3 : = q 3 and D q 1 1 : = 0 q 1 f ( η ) d η .
Proof. 
Taking the derivatives of (8) w.r.t. q 1 and, thus, equating the coefficients of similar exponents of ξ on b/s of the resultant equation yields the following expression
q 1 { Y n [ m ] ( q 1 , q 2 , , q m ) } = n Y n 1 [ m ] ( q 1 , q 2 , , q m ) ,
Consequently, we have
q 1 £ n { Y n [ m ] ( q 1 , q 2 , , q m ) } = 1 n D q 1 { Y n [ m ] ( q 1 , q 2 , , q m ) } = Y n 1 [ m ] ( q 1 , q 2 , , q m ) ,
which proves assertion (15).
Next, taking the derivatives of (8) w.r.t. q 2 and, thus, equating the coefficients of the same exponents of ξ on b/s of the resultant equation, we have
q 2 { Y n [ m ] ( q 1 , q 2 , , q m ) } = n ( n 1 ) Y n 2 [ m ] ( q 1 , q 2 , , q m ) .
The above equation can also be written as
q 2 { Y n [ m ] ( q 1 , q 2 , , q m ) } = n q 1 { Y n 1 [ m ] ( q 1 , q 2 , , q m ) } ,
which finally gives
q 2 £ n { Y n [ m ] ( q 1 , q 2 , , q m ) } = 1 n D q 1 1 D q 2 { Y n [ m ] ( q 1 , q 2 , , q m ) } = Y n 1 [ m ] ( q 1 , q 2 , , q m ) .
Thus, assertion (16) is proven.
Again, taking the derivatives of (8) w.r.t. q 3 and, thus, equating the coefficients of the same exponents of ξ on b/s of the resultant equation, we have
q 3 { Y n [ m ] ( q 1 , q 2 , , q m ) } = n ( n 1 ) ( n 2 ) Y n 3 [ m ] ( q 1 , q 2 , , q m ) .
The above equation can also be written as
q 3 { Y n [ m ] ( q 1 , q 2 , , q m ) } = n 2 q 1 2 { Y n 1 [ m ] ( q 1 , q 2 , , q m ) } ,
which finally gives
q 3 £ n { Y n [ m ] ( q 1 , q 2 , , q m ) } = 1 n D q 1 2 D q 3 { Y n [ m ] ( q 1 , q 2 , , q m ) } = Y n 1 [ m ] ( q 1 , q 2 , , q m ) .
Thus, it yields assertion (17).
Finally, taking the derivatives of (8) w.r.t. q m and, thus, equating the coefficients of the same exponents of ξ on b/s of the resultant equation, we have
q m { Y n [ m ] ( q 1 , q 2 , , q m ) } = n ( n 1 ) ( n 2 ) ( n m + 1 ) Y n m [ m ] ( q 1 , q 2 , , q m ) .
The above equation can also be written as
q m { Y n [ m ] ( q 1 , q 2 , , q m ) } = n m 1 q 1 m 1 { Y n 1 [ m ] ( q 1 , q 2 , , q m ) } ,
which finally gives
q m £ n { Y n [ m ] ( q 1 , q 2 , , q m ) } = 1 n D q 1 ( m 1 ) D q m { Y n [ m ] ( q 1 , q 2 , , q m ) } = Y n 1 [ m ] ( q 1 , q 2 , , q m ) .
Therefore, assertion (18) is proven.
To demonstrate the equation for the raising operator (19), we use the expression:
Y n m [ m ] ( q 1 , q 2 , , q m ) = ( q 1 £ n m + 1 q 1 £ n m + 2 q 1 £ n 1 q 1 £ n ) { Y n [ m ] ( q 1 , q 2 , , q m ) } ,
considering (24), the above expression can be simplified as:
Y n m [ m ] ( q 1 , q 2 , , q m ) = ( n m ) ! n ! D q 1 m { Y n [ m ] ( q 1 , q 2 , , q m ) } .
Inserting (35) in the recurrence relation (10), it follows that
Y n + 1 [ m ] ( q 1 , q 2 , , q m ) = q 1 + 2 q 2 D q 1 + 3 q 3 D q 1 2 + + m q m D q 1 m 1 Y n [ m ] ( q 1 , q 2 , , q m ) .
Thus, (19) for the raising operator q 1 £ n + is proven.
Now, to demonstrate the raising operator (20), the relation listed below is considered:
Y n m [ m ] ( q 1 , q 2 , , q m ) = ( q 2 £ n m + 1 q 2 £ n m + 2 q 2 £ n 1 q 2 £ n ) { Y n [ m ] ( q 1 , q 2 , , q m ) } ,
considering (27), the above expression can be expanded as follows:
Y n m [ m ] ( q 1 , q 2 , , q m ) = ( n m ) ! m ! D q 1 ( m 1 ) D q 2 ( m 1 ) { Y n [ m ] ( q 1 , q 2 , , q m ) } .
Inserting (38) in the recurrence relation (10), it follows that
Y n + 1 [ m ] ( q 1 , q 2 , , q m ) = q 1 + 2 q 2 D q 1 1 D q 2 + 3 q 3 D q 1 2 D q 2 2 + + m q m D q 1 ( m 1 ) D q 2 m 1 .
Thus, assertion (20) of the raising operator q 2 £ n + is proven.
Next, to demonstrate the raising operator q 3 £ n + , the expression listed below is considered:
Y n m [ m ] ( q 1 , q 2 , , q m ) = ( q 3 £ n m + 1 q 3 £ n m + 2 q 3 £ n 1 q 3 £ n ) { Y n [ m ] ( q 1 , q 2 , , q m ) } ,
considering (30), the above expression can be expanded as:
Y n m [ m ] ( q 1 , q 2 , , q m ) = ( n m ) ! m ! D q 1 2 ( m 1 ) D q 3 ( m 1 ) { Y n [ m ] ( q 1 , q 2 , , q m ) } .
Inserting (41) in the recurrence relation (10), it follows that
Y n + 1 [ m ] ( q 1 , q 2 , , q m ) = q 1 + 2 q 2 D q 1 2 D q 3 + 3 q 3 D q 1 4 D q 3 2 + + m q m D q 1 2 ( m 1 ) D q 3 m 1 .
Thus, assertion (21) of the raising operator q 3 £ n + is proven.
Finally, to demonstrate the raising operator q m £ n + , the expression listed below is considered:
Y n m [ m ] ( q 1 , q 2 , , q m ) = ( q m £ n m + 1 q m £ n m + 2 q m £ n 1 q m £ n ) { Y n [ m ] ( q 1 , q 2 , , q m ) } ,
considering (33), the above expression can be expanded as:
Y n m [ m ] ( q 1 , q 2 , , q m ) = ( n m ) ! m ! D q 1 ( m 1 ) 2 D q m ( m 1 ) { Y n [ m ] ( q 1 , q 2 , , q m ) } .
Inserting (44) in the recurrence relation (10), it follows that
Y n + 1 [ m ] ( q 1 , q 2 , , q m ) = q 1 + 2 q 2 D q 1 ( m 1 ) D q m + 3 q 3 D q 1 2 ( m 1 ) D q m 2 + + m q m D q 1 ( m 1 ) 2 D q m m 1 .
Thus, expression (22) of the raising operator q m £ n + is proven. □
In the following section, we will demonstrate the families of differential equations satisfied by these polynomials.

3. Families of Differential Equations

For the MVHP Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) , we derive the differential, integro–differential, and partial differential equations in this section. Secondly, by demonstrating the following conclusion, we construct the differential equation for the MVHP Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) :
Theorem 3.
The MVHP Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) satisfies the following differential equation:
q 1 D q 1 + 2 q 2 D q 1 2 + 3 q 2 D q 1 3 + + q m D q 1 m n Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
Proof. 
We use expressions (15) and (19) of the shift operators in the below factorization relation:
q 1 £ n + 1 q 1 £ n + { Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) } = Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) ,
assertion (46) is proven. □
Integro–differential equations are a type of mathematical equation that combines ordinary differential equations (ODEs) and integrals. They involve functions that are both differentiated with respect to one or more variables and integrated with respect to one or more variables. Integro–differential equations are employed to model various phenomena in fields such as physics, engineering, economics, and biology. These equations are generally more complex than ordinary differential equations due to the presence of integrals, making their solutions challenging to obtain. Several techniques can be used to solve integro–differential equations, including separation of variables, Laplace transforms, and numerical methods, such as finite difference or finite element methods. In certain cases, closed-form solutions may not be feasible, necessitating the use of numerical approximation methods to obtain approximate solutions.
Theorem 4.
The MVHP Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) satisfies the following integro–differential equations:
q 1 D q 2 + 2 q 2 D q 1 1 D q 2 2 + 3 q 3 D q 1 2 D q 2 3 + + m q m D q 1 ( m 1 ) D q 2 m ( n + 1 ) D q 1 × Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q 3 + 2 q 2 D q 1 1 D q 2 D q 3 + 3 q 3 D q 1 2 D q 2 2 D q 3 + + m q m D q 1 ( m 1 ) D q 2 m 1 D q 3 ( n + 1 ) D q 1 2 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q m + 2 q 2 D q 1 1 D q 2 D q m + 3 q 3 D q 1 2 D q 2 2 D q m + + m q m D q 1 ( m 1 ) D q 3 m 1 D q m ( n + 1 ) D q 1 m 1 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q 2 + 2 q 2 D q 1 2 D q 3 D q 2 + 3 q 3 D q 1 4 D q 3 2 D q 2 + + m q m D q 1 2 ( m 1 ) D q 3 m 1 D q 2 ( n + 1 ) D q 1 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
q 1 D q 3 + 2 q 2 D q 1 2 D q 3 2 + 3 q 3 D q 1 4 D q 3 3 + + m q m D q 1 2 ( m 1 ) D q 3 m ( n + 1 ) D q 1 2 × Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q m + 2 q 2 D q 1 2 D q 3 D q m + 3 q 3 D q 1 4 D q 3 2 D q m + + m q m D q 1 2 ( m 1 ) D q 3 m 1 D q m ( n + 1 ) D q 1 m 1 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q 2 + 2 q 2 D q 1 ( m 1 ) D q m D q 2 + 3 q 3 D q 1 2 ( m 1 ) D q m 2 D q 2 + + m q m D q 1 ( m 1 ) 2 D q m m 1 D q 2 ( n + 1 ) D q 1 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q 3 + 2 q 2 D q 1 ( m 1 ) D q m D q 3 + 3 q 3 D q 1 2 ( m 1 ) D q m 2 D q 3 + + m q m D q 1 ( m 1 ) 2 D q m m 1 D q 3 ( n + 1 ) D q 1 2 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q m + 2 q 2 D q 1 ( m 1 ) D q m 2 + 3 q 3 D q 1 2 ( m 1 ) D q m 3 + + m q m D q 1 ( m 1 ) 2 D q m m ( n + 1 ) D q 1 m 1 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
Proof. 
Consider the expression
£ n + 1 £ n + { Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) } = Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) .
Making use of expressions (16) and (20) in the factorization relation (57), assertion (48) is proven.
Next, making use of expressions (17) and (20) in factorization relation (57), assertion (49) is proven.
Again, making use of expressions (18) and (20) in factorization relation (57), assertion (50) is proven.
Further, making use of expressions (16)–(18) with expression (21) separately, assertions (51)–(53) are proven.
Furthermore, making use of expressions (16)–(18) with expression (22) separately, assertions (54)–(56) are proven. □
These integro–differential equations have numerous applications, including in areas such as population dynamics, control theory, fluid mechanics, signal processing, and image processing, among others. They provide a powerful mathematical tool for understanding and predicting the behaviors of complex systems that involve both differentiation and integration.
Partial differential equations (PDEs) are mathematical equations that involve partial derivatives of a function with respect to multiple independent variables. They are utilized to describe a wide range of phenomena in the physical, biological, and social sciences, where variation or change occurs with respect to multiple independent variables, such as time, space, and other parameters. PDEs are more intricate than ordinary differential equations (ODEs) because they incorporate partial derivatives, which account for simultaneous changes in multiple variables. Solving PDEs can be challenging and often requires advanced mathematical techniques, including Fourier analysis, Laplace transform, method of characteristics, finite difference methods, finite element methods, and various numerical methods.
Theorem 5.
The MVHP Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) satisfy the following partial differential equations:
q 1 D q 1 n D q 2 + 2 q 2 D q 1 n 1 D q 2 2 + 3 q 3 D q 1 n 2 D q 2 3 + + m q m D q 1 n ( m 1 ) D q 2 m ( n + 1 ) D q 1 n + 1 × Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q 1 n D q 3 + 2 q 2 D q 1 n 1 D q 2 D q 3 + 3 q 3 D q 1 n 2 D q 2 2 D q 3 + + m q m D q 1 n ( m 1 ) D q 2 m 1 D q 3 ( n + 1 ) D q 1 n + 2 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q 1 2 n D q m + 2 q 2 D q 1 2 n 1 D q 2 D q m + 3 q 3 D q 1 2 n 2 D q 2 2 D q m + + m q m D q 1 2 n ( m 1 ) D q 3 m 1 D q m ( n + 1 ) D q 1 2 n + m 1 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q 1 2 n + 2 D q 2 + 2 q 2 D q 1 2 n D q 3 D q 2 + 3 q 3 D q 1 2 n 2 D q 3 2 D q 2 + + m q m D q 1 2 n 2 m D q 3 m 1 D q 2 ( n + 1 ) D 2 n + m 1 q 1 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q 1 2 n + 2 D q 3 + 2 q 2 D q 1 2 n D q 3 2 + 3 q 3 D q 1 2 n 2 D q 3 3 + + m q m D q 1 2 n 2 m D q 3 m ( n + 1 ) D q 1 2 n + 4 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q 1 2 n + 2 D q m + 2 q 2 D q 1 2 n D q 3 D q m + 3 q 3 D q 1 2 n 2 D q 3 2 D q m + + m q m D q 1 2 n 2 m D q 3 m 1 D q m ( n + 1 ) D q 1 2 n + m + 1 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q 1 n 2 + 1 D q 2 + 2 q 2 D q 1 n 2 m D q m D q 2 + 3 q 3 D q 1 n 2 2 m 1 D q m 2 D q 2 + + m q m D q 1 n 2 m 2 + 2 m × D q m m 1 D q 2 ( n + 1 ) D q 1 n 2 + 2 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q 1 n 2 + 1 D q 3 + 2 q 2 D q 1 2 n m D q m D q 3 + 3 q 3 D q 1 2 n 2 m D q m 2 D q 3 + + m q m D q 1 n 2 m 2 + 2 m × D q m m 1 D q 3 ( n + 1 ) D q 1 n 2 + 2 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
( q 1 D q 1 n 2 + 2 D q m + 2 q 2 D q 1 n 2 m D q m 2 + 3 q 3 D q 1 n 2 2 ( m 1 ) D q m 3 + + m q m D q 1 n 2 m 2 + 2 m D q m m ( n + 1 ) D q 1 n 2 + m + 1 ) Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) = 0 .
Proof. 
By taking partial derivatives of the integro–differential expressions (48) and (49) w.r.t. q 1 for n times, the assertions (58) and (59) are proven.
Moreover, by taking partial derivatives of the integro–differential expression (50) w.r.t. q 1 for 2 n times, the assertion (60) is proven.
Furthermore, by taking partial derivatives of the integro–differential expressions (51) to (53) w.r.t. q 1 for 2 n + 2 times, the assertions (61) to (63) are proven.
Moreover, by taking partial derivatives of the integro–differential expressions (54) and (55) w.r.t. q 1 for n 2 + 1 times, the assertions (64) and (65) are proven.
Again, taking partial derivatives of the integro–differential expression (56) with respect to q 1 for n 2 + 2 times, the assertion (66) is proven. □
PDEs have numerous applications in various fields of science and engineering, including physics, engineering, biology, finance, and many others. They are used to model a wide range of phenomena, such as heat and mass transfer, fluid dynamics, wave propagation, quantum mechanics, population dynamics, and many other complex systems. PDEs provide a powerful tool for understanding and predicting the behavior of systems that involve change and variation in multiple variables.

4. Volterra Integral Equations

A Volterra integral equation is a specific type of integral equation that was introduced by the Italian mathematician Vito Volterra. It is a type of functional equation that involves both an unknown function and an integral of that function. Various techniques can be used to solve Volterra integral equations, including numerical methods, such as quadrature methods and collocation methods, as well as analytical methods, such as Fredholm’s alternative theorem, which provides a criterion for the existence and uniqueness of solutions.
Here, we acquire the integral equation for the MVHP Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) by demonstrating the results listed below:
Theorem 6.
The MVHP polynomials Y n [ m ] ( q 1 , q 2 , q 3 , , q m ) satisfy the homogeneous Volterra integral equation listed below:
Ψ ( q 1 ) = 1 p 4 ( 3 q 3 n ( n 1 ) ( n 2 ) E n 3 ( P , Q ) + 2 q 2 n ( n 1 ) ( n 2 ) E n 3 ( P , Q , ) q 1 + 2 q 2 n ( n 1 ) E n 2 ( P , Q ) + q 1 ( n ( n 1 ) ( n 2 ) E n 3 ( P , Q ) q 1 2 2 ! + n ( n 1 ) E n 2 ( P , Q ) q 1 + n E n 1 ( P , Q ) ) n ( n 1 ) ( n 2 ) E n 3 ( P , Q ) q 1 3 2 ! 3 ! n ( n 1 ) E n 2 ( P , Q ) q 1 2 2 ! n E n 1 ( P , Q ) q 1 E n ( P , Q ) ) + 0 q 1 ( 1 p 4 ( 3 q 3 + 2 q 2 ( q 1 ξ ) + q 1 1 p 4 ( q 1 ξ ) 2 2 ! ) n ( q 1 ξ ) 3 3 ! ) Ψ ( ξ ) d ξ .
Proof. 
Here, we consider m = 4 in differential equation (46) to obtain the differential equation of the form:
D q 1 4 + 1 p 4 3 q 3 D q 1 3 + 2 q 2 D q 1 2 + q 1 D q 1 n Y n [ m ] ( q 1 , q 2 , q 3 , p 4 ) = 0 .
Next, we acquire the initial conditions as listed:
Y n [ m ] ( q 1 , q 2 , 0 ) = Y n [ m ] ( q 1 , q 2 ) = n ! k = 0 [ n 2 ] q 2 k q 1 n 2 k k ! ( n 2 k ) ! : = E n ( P , Q ) , d d q 1 Y n [ m ] ( q 1 , q 2 ) = n Y n 1 [ m ] ( q 1 , q 2 ) = n ( n 1 ) ! k = 0 [ n 1 2 ] q 2 k q 1 n 1 2 k k ! ( n 1 2 k ) ! : = n E n 1 ( P , Q ) ,
d 2 d q 1 2 Y n [ m ] ( q 1 , q 2 , 0 ) = n ( n 1 ) Y n 2 [ m ] ( q 1 , q 2 ) = n ( n 1 ) ( n 2 ) ! k = 0 [ n 2 2 ] q 2 k q 1 n 2 2 k k ! ( n 2 2 k ) ! , : = n ( n 1 ) E n 2 ( P , Q ) , d 3 d q 1 3 Y n [ m ] ( q 1 , q 2 , 0 ) = n ( n 1 ) ( n 2 ) Y n 3 [ m ] ( q 1 , q 2 ) = n ( n 1 ) ( n 2 ) ( n 3 ) ! k = 0 [ n 3 2 ] q 2 k q 1 n 3 2 k k ! ( n 3 2 k ) ! : = n ( n 1 ) ( n 2 ) E n 3 ( P , Q ) ,
respectively, where
E s ( P , Q ) : = n ! k = 0 [ n s 2 ] q 2 k q 1 n s 2 k k ! ( n s 2 k ) ! .
Consider
D q 1 4 Y n [ m ] ( q 1 , q 2 , q 3 , p 4 ) = Ψ ( q 1 ) .
Using the beginning circumstances from (69) and integrating the aforementioned equation, we have
d 3 d q 1 3 Y n [ m ] ( q 1 , q 2 , q 3 , p 4 ) = 0 q 1 Ψ ( ξ ) d ξ + n ( n 1 ) ( n 2 ) E n 3 ( P , Q ) , d 2 d q 1 2 Y n [ m ] ( q 1 , q 2 , q 3 , p 4 ) = 0 q 1 Ψ ( ξ ) d ξ 2 + n ( n 1 ) ( n 2 ) E n 3 ( P , Q ) q 1 + n ( n 1 ) E n 2 ( P , Q ) , d d q 1 Y n [ m ] ( q 1 , q 2 , q 3 , p 4 ) = 0 q 1 Ψ ( ξ ) d ξ 3 + n ( n 1 ) ( n 2 ) E n 3 ( P , Q ) q 1 2 2 ! + n ( n 1 ) E n 2 ( P , Q ) q 1 + n E n 1 ( P , Q ) , Y n [ m ] ( q 1 , q 2 , q 3 , p 4 ) = 0 q 1 Ψ ( ξ ) d ξ 4 + n ( n 1 ) ( n 2 ) E n 3 ( P , Q ) q 1 3 2 ! 3 ! + n ( n 1 ) E n 2 ( P , Q , ) q 1 2 2 ! + n E n 1 ( P , Q ) q 1 + E n ( P , Q ) .
Using the aforementioned equations in the differential Equation (68), we discover
Ψ ( q 1 ) = 1 p 4 ( 3 q 3 0 q 1 Ψ ( ξ ) d ξ + n ( n 1 ) ( n 2 ) E n 3 ( P , Q ) + 2 q 2 ( 0 q 1 Ψ ( ξ ) d ξ 2 + n ( n 1 ) ( n 2 ) E n 3 ( P , Q ) q 1 + n ( n 1 ) E n 2 ( P , Q ) ) + x 1 1 λ ( 0 q 1 Ψ ( ξ ) d ξ 3 + n ( n 1 ) ( n 2 ) E n 3 ( P , Q ) q 1 2 2 ! + n ( n 1 ) E n 2 ( P , Q ) q 1 + n E n 1 ( P , Q ) ) ) + n p 4 ( 0 q 1 Ψ ( ξ ) d ξ 4 + n ( n 1 ) ( n 2 ) E n 3 ( P , Q ) q 1 3 2 ! 3 ! + n ( n 1 ) E n 2 ( P , Q ) q 1 2 2 ! + n E n 1 ( P , Q ) q 1 + E n ( P , Q ) ) ,
Hence, using the following method, after simplifying and integrating the resulting equation:
a q 1 f ( ξ ) d ξ n = a q 1 ( q 1 ξ ) n 1 ( n 1 ) ! f ( ξ ) d ξ .
Thus, assertion (68) is proven. □
Volterra integral equations have many applications in physics, engineering, and other fields. For example, they can be used to model diffusion processes, heat transfer, and the behavior of viscoelastic materials. They are also used in mathematical biology to model the spread of infectious diseases, population dynamics, and other phenomena.

5. Conclusions

In this paper, multivariate Hermite polynomials are considered several of their properties are established. These polynomials, which are a generalization of the one-dimensional Hermite polynomials, have significant uses in quantum mechanics, probability theory, and other branches of math and science.
The shift operators and recurrence relation discussed in this article have proven to be valuable tools for analyzing the characteristics of these polynomials. The shift operators facilitate the translation of polynomials in different directions and dimensions, while the recurrence relation allows for the computation of polynomial values at higher degrees based on their values at lower degrees.
Another significant finding is that the multivariate Hermite polynomials satisfy the differential equation, which enables one to express these polynomials in terms of derivatives. This can be useful for computing certain integrals and solving differential equations that involve these polynomials.
It is crucial to note the sequences of integro–differential and partial differential equations have significant importance because they offer additional ways to represent and work with the multivariate Hermite polynomials. Other features and connections between these polynomials can be derived using these equations as well.
In closing, a particular equation that may be resolved using these polynomials is the Volterra integral equation. This problem may be represented as an integral equation that can be solved using methods from numerical analyses and other branches of mathematics. It involves a polynomial with four variables, namely, q 1 , q 2 , q 3 , q 4 .
Furthermore, future investigations and observations can be used to establish extended, generalized forms via fractional operators, symmetric identities, and other properties of the above-mentioned polynomials. Moreover, the determinant forms and summation formulae can also be a problem for new observations.

Author Contributions

Methodology, S.A.W.; Software, B.S.T.A.; Validation, I.A.; Formal analysis, B.S.T.A. and S.A.W.; Investigation, I.A.; Resources, B.S.T.A. and I.A.; Writing—original draft, S.A.W. All authors have read and agreed to the published version of the manuscript.

Funding

The authors extend their appreciation to research supporting project number (RSPD2023R526), King Saud University, Riyadh, Saudi Arabia.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Infeld, L.; Hull, T.E. The factorization method. Rev. Mod. Phys. 1951, 23, 21–68. [Google Scholar] [CrossRef]
  2. Appell, P.; Kampé de Fériet, J. Fonctions hypergéométriques et hypersphériques: Polynômes d’ Hermite; Gauthier-Villars: Paris, France, 1926. [Google Scholar]
  3. Dattoli, G. Summation formulae of special functions and multivariable Hermite polynomials. Nuovo Cim. Soc. Ital. Fis. 2004, 119, 479–488. [Google Scholar]
  4. He, M.X.; Ricci, P.E. Differential equation of Appell polynomials via factorization method. J. Comput. Appl. Math. 2002, 139, 231–237. [Google Scholar] [CrossRef]
  5. Bretti, G.; Ricci, P.E. Multidimensional extension of the Bernoulli and Appell polynomials. Taiwan. J. Math. 2004, 8, 415–428. [Google Scholar] [CrossRef]
  6. Yılmaz, B.; Özarslan, M.A. Differential equations for the extended 2D Bernoulli and Euler polynomials. Adv. Differ. Equ. 2013, 107, 1–16. [Google Scholar] [CrossRef]
  7. Wani, S.A.; Khan, S.; Naikoo, S. Differential and integral equations for the Laguerre-Gould-Hopper based Appell and related polynomials. Boletã N Soc. Matemã¡Tica Mex. 2019, 26, 617–646. [Google Scholar] [CrossRef]
  8. Riyasat, M.; Wani, S.A.; Khan, S. On some classes of differential equations and associated integral equations for the Laguerre-Appell polynomials. Adv. Pure Appl. Math. 2017, 9, 185–194. [Google Scholar] [CrossRef]
  9. Dattoli, G.; Germano, B.; Martinelli, M.R.; Ricci, P.E. Sheffer and non Sheffer polynomial families. Int. J. Math. Math. Sci. 2012, 2012, 323725. [Google Scholar] [CrossRef]
  10. Khan, S.; Riyasat, M.; Wani, S.A. Differential and integral equations associated with some hybrid families of Legendre polynomials. Tbil. Math. J. 2018, 11, 127–139. [Google Scholar]
  11. Araci, S.; Riyasat, M.; Wani, S.A. Subuhi Khan Differential and integral equations for the 3-variable Hermite-Frobenius-Euler and Frobenius-Genocchi polynomials. App. Math. Inf. Sci. 2017, 11, 1–11. [Google Scholar]
  12. Wani, S.A.; Khan, S. Properties and applications of the Gould-Hopper-Frobenius-Euler polynomials. Tbil. Math. J. 2019, 12, 93–104. [Google Scholar] [CrossRef]
  13. Khan, S.; Riyasat, M. Differential and integral equations for the 2-iterated Appell polynomials. J. Comput. Appl. Math. 2016, 306, 116–132. [Google Scholar] [CrossRef]
  14. Srivastava, H.M.; Özarslan, M.A.; Yılmaz, B. Some families of differential equations associated with the Hermite-based Appell polynomials and other classes of Hermite-based polynomials. Filomat 2014, 28, 695–708. [Google Scholar] [CrossRef]
  15. Mirparizi, M.; Fotuhi, A.R.; Shariyat, M. Nonlinear coupled thermoelastic analysis of thermal wave propagation in a functionally graded finite solid undergoing finite strain. J. Therm. Anal. Calorim. 2020, 139, 2309–2320. [Google Scholar] [CrossRef]
  16. Özarslan, M.A.; Yılmaz, B. A set of finite order differential equations for the Appell polynomials. J. Comput. Appl. Math. 2014, 259, 108–116. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Alkahtani, B.S.T.; Alazman, I.; Wani, S.A. Some Families of Differential Equations Associated with Multivariate Hermite Polynomials. Fractal Fract. 2023, 7, 390. https://doi.org/10.3390/fractalfract7050390

AMA Style

Alkahtani BST, Alazman I, Wani SA. Some Families of Differential Equations Associated with Multivariate Hermite Polynomials. Fractal and Fractional. 2023; 7(5):390. https://doi.org/10.3390/fractalfract7050390

Chicago/Turabian Style

Alkahtani, Badr Saad T., Ibtehal Alazman, and Shahid Ahmad Wani. 2023. "Some Families of Differential Equations Associated with Multivariate Hermite Polynomials" Fractal and Fractional 7, no. 5: 390. https://doi.org/10.3390/fractalfract7050390

APA Style

Alkahtani, B. S. T., Alazman, I., & Wani, S. A. (2023). Some Families of Differential Equations Associated with Multivariate Hermite Polynomials. Fractal and Fractional, 7(5), 390. https://doi.org/10.3390/fractalfract7050390

Article Metrics

Back to TopTop