Next Article in Journal
A Class of Distributed Online Aggregative Optimization in Unknown Dynamic Environment
Previous Article in Journal
GaitSTAR: Spatial–Temporal Attention-Based Feature-Reweighting Architecture for Human Gait Recognition
Previous Article in Special Issue
Two Block Splitting Iteration Methods for Solving Complex Symmetric Linear Systems from Complex Helmholtz Equation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Several Characterizations of the Generalized 1-Parameter 3-Variable Hermite Polynomials

1
Symbiosis Institute of Technology, Pune Campus, Symbiosis International (Deemed University), Pune 412115, India
2
Department of Mathematics, Faculty of Science, Jazan University, P.O. Box 2097, Jazan 45142, Saudi Arabia
3
Department of Computer Science, College of Engineering and Computer Science, Jazan University, Jazan 45142, Saudi Arabia
*
Authors to whom correspondence should be addressed.
Mathematics 2024, 12(16), 2459; https://doi.org/10.3390/math12162459
Submission received: 3 June 2024 / Revised: 29 July 2024 / Accepted: 30 July 2024 / Published: 8 August 2024

Abstract

:
This paper presents a novel framework for introducing generalized 1-parameter 3-variable Hermite polynomials. These polynomials are characterized through generating functions and series definitions, elucidating their fundamental properties. Moreover, utilising a factorisation method, this study establishes recurrence relations, shift operators, and various differential equations, including differential, integro-differential, and partial differential equations.
MSC:
33E20; 33C45; 33B10; 33E30; 39A14; 45J05; 11T23

1. Introduction and Preliminaries

In recent years, notable progress has been made in developing various generalizations of special functions within mathematical physics. These advancements provide a robust analytical framework for solving various mathematical physics problems and have extensive practical applications across diverse domains. Particularly, the significance of generalized Hermite polynomials has been underscored, as noted in previous studies [1,2,3]. These polynomials find utility in addressing challenges in quantum mechanics, optical beam transport, and a spectrum of problems spanning partial differential equations to abstract group theory.
The “2-variable Hermite Kampé de Feriet polynomials (2VHKdFP)”, denoted as Q n ( λ 1 , λ 2 ) [4], are expressed through the following generating function:
e λ 1 Ω + λ 2 Ω 2 = n = 0 Q n ( λ 1 , λ 2 ) Ω n n ! ,
which for λ 2 = 0 , gives
e λ 1 Ω = n = 0 Q n ( λ 1 ) Ω n n ! .
Similarly, the “2-variable 1-parameter Hermite polynomials (2V1PHP)”, represented as Q n ( λ 1 , λ 2 , C ) , are defined using the subsequent generating function [5]:
C λ 1 Ω + λ 2 Ω 2 = n = 0 Q n ( λ 1 , λ 2 , C ) Ω n n ! , C > 1 ,
which for λ 2 = 0 reduces to
C λ 1 Ω = n = 0   R n ( λ 1 , C ) Ω n n ! , C > 1 .
The “3-variable Hermite polynomials (3VHP)”, denoted as   Q n ( λ 1 , λ 2 , λ 3 ) [6], are characterized by the following generating function:
e λ 1 Ω + λ 2 Ω 2 + λ 3 Ω 3 = n = 0   Q n ( λ 1 , λ 2 , λ 3 ) Ω n n ! .
The orthogonality of Hermite polynomials is crucial in various fields, such as quantum mechanics, probability theory, and numerical analysis. In quantum mechanics, they form the basis for the wave functions of the quantum harmonic oscillator, ensuring the orthogonality and completeness needed for accurate probability calculations. In probability theory, they are key in studying Gaussian distributions and polynomial chaos expansions. Additionally, they play a significant role in signal processing and are eigenfunctions of the Fourier transform, making them indispensable in theoretical and applied mathematics. In their 3-variable formulation, these polynomials find widespread application across numerous fields in both pure and applied mathematics and physics. They serve as fundamental tools in addressing problems ranging from Laplace’s equation in parabolic coordinates to various quantum mechanics and probability theory scenarios. Notably, for any integral value of n, these polynomials represent specific solutions to the heat or generalized heat problem facilitated by the corresponding existence of Gauss–Weierstrass transforms.
Consider { ϕ n ( λ 1 ) } n = 0 , which signifies a series of polynomials; we can observe that deg ( ϕ n ( λ 1 ) ) = n , ( n N 0 : = { 0 , 1 , 2 , } . The differential operators Ψ n and Ψ n + meeting the criteria
Ψ n { ϕ n ( λ 1 ) } = ϕ n 1 ( λ 1 ) ,
Ψ n + { ϕ n ( λ 1 ) } = ϕ n + 1 ( λ 1 )
are referred to as multiplicative and derivative operators, in turn. { ϕ n ( λ 1 ) } n = 0 is a series of polynomials that are considered quasi-monomial if and only if Equations (6) and (7) hold. A differential equation like this can be found by finding the derivative and multiplicative operators for a given polynomial family as
( Ψ n + 1 Ψ n + ) { ϕ n ( λ 1 ) } = ϕ n ( λ 1 ) .
The factorization technique is the name given to this process. Determining the multiplicative operator Ψ n + and the derivative operator Ψ n forms the basis of the factorization approach [7,8,9,10,11,12,13,14,15]. The monomiality principle is another way to think about this method. When the factorization approach is applied to the domain of multivariable special functions, new analytical techniques are presented to solve a wide variety of partial differential equations frequently encountered in practical situations.
Differential equations cover a wide range of topics in “physics, engineering, and pure and applied mathematics”. Problems from various scientific and technical fields typically take the form of differential equations, solved using specialised functions. Differential equation theory has attracted renewed attention in the last thirty years due to developments in nonlinear analysis, dynamical systems, and their useful applications in science and engineering.
Several studies employing different generating function approaches and analytical procedures have been carried out to present and analyse hybrid families of special polynomials methodically [16,17]. The recurrence relations, explicit relations, functional and differential equations, summation formulae, and symmetric and convolution identities are just a few of the fundamental characteristics of multi-variable hybrid special polynomials that make them important. “Number theory, combinatorics, classical and numerical analysis, theoretical physics, approximation theory, and other fields of pure and practical mathematics” are just a few of the fields in which these polynomials can be useful to researchers. Various scientific areas can use the qualities of hybrid special polynomials to address new problems.
The article is organised as follows: Section 2 overviews the 3-variable 1-parameter generalized Hermite polynomials utilizing series definitions and generating functions. It also describes how to derive the related differential, integro-differential, and partial differential equations. Section 3 examines particular instances from this polynomial family to demonstrate the usefulness of the major conclusions. Section 4 investigates specific cases of the 1-parameter, 3-variable, generalized Hermite polynomials. Finally, the last part contains closing thoughts.

2. Polynomials Based on Generalized Hermite Polynomials with One Parameter and Three Variables

This section introduces a hybrid family known as the generalized 1-parameter 3-variable Hermite polynomials (G-1P3-VHP) via the following generating relation:
  C λ 1 Ω + λ 2 Ω 2 + λ 3 Ω 3 = n = 0   Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n n ! , C > 1 ,
The definition is proven in Theorem 2.1. Additionally, various properties of these polynomials are established. To obtain the generating function for the G-1P3-VHP, a key result is demonstrated as follows:
Theorem 1.
For the G-1P3-VHP   Q n ( λ 1 , λ 2 , λ 3 ; C ) , the following generating relation is demonstrated:
  C λ 1 Ω + λ 2 Ω 2 + λ 3 Ω 3 = n = 0   Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n n ! , C > 1 ,
or, equivalently
  e ln C ( λ 1 Ω + λ 2 Ω 2 + λ 3 Ω 3 ) = n = 0   Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n n ! , C > 1 .
Proof. 
Substituting the exponents of Ω , i.e., λ 1 0 , λ 1 1 , λ 1 2 , , λ 1 n in the expansion of e λ 1 Ω by the polynomials   Q 0 ( λ 1 , λ 2 , λ 3 ; C ) ,   Q 2 ( λ 1 , λ 2 , λ 3 ; C ) , ,   Q n ( λ 1 , λ 2 , λ 3 ; C ) in the left hand part and λ 1 by   Q n ( λ 1 , λ 2 , λ 3 ; C ) in the right hand part of the expression (2), which indicates the resulting G-1P3-VHP in the right hand side, leading to (9). The generating function (10) is obtained by simplifying the left-hand side of Equation (9). □
The following theorem gives the series definition for the G-1P3-VHP   Q n ( λ 1 , λ 2 , λ 3 ; C ) :
Theorem 2.
For the G-1P3-VHP   Q n ( λ 1 , λ 2 , λ 3 ; C ) , the following series representation is demonstrated:
  Q n ( λ 1 , λ 2 , λ 3 ; C ) = n ! k = 0 [ n / 3 ] Q n 3 k ( λ 1 , λ 2 ) λ 3 k ( n 3 k ) ! k ! ( ln C ) n 2 k .
Proof. 
Inserting the expressions (3) and the expansion of e ln C ( λ 3 Ω 3 ) in left hand part of the expression (5), it follows that
n = 0   Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n n ! = n = 0   Q n ( λ 1 , λ 2 ) ( ln C Ω ) n n ! k = 0 λ 3 k ( ln C Ω 3 ) k k ! ,
thus, operating the Cauchy-product rule
n = 0 k = 0 A ( n , k ) = n = 0 k = 0 [ n 3 ] A ( n 3 k , k )
yields the expression:
n = 0   Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n n ! = n ! n = 0 k = 0 [ n / 3 ] Q n 3 k ( λ 1 , λ 2 ) λ 3 k ( n 3 k ) ! k ! ( ln C ) n 2 k Ω n n ! .
Assertion (11) is obtained by comparing the coefficients of the identical powers of Ω on both sides of the above expression. □
For C = 1.5 , 2 , 2.5 , 3 , the first six G-1P3-VHP   Q n ( λ 1 , λ 2 , λ 3 ; C ) are given as:
Q 0 λ 1 , λ 2 , λ 3 ; 1.5 = 1 , Q 1 λ 1 , λ 2 , λ 3 ; 1.5 = 0.405465 λ 1 , Q 2 λ 1 , λ 2 , λ 3 ; 1.5 = 0.082201 1 . λ 1 2 + 4.93261 λ 2 , Q 3 λ 1 , λ 2 , λ 3 ; 1.5 = 0.0111099 1 . λ 1 3 + 14.7978 λ 1 λ 2 + 36.4959 λ 3 , Q 4 λ 1 , λ 2 , λ 3 ; 1.5 = 0.082201 0.0137002 λ 1 4 + 0.405465 λ 1 2 λ 2 + 1 . λ 2 2 + 2 . λ 1 λ 3 , Q 5 λ 1 , λ 2 , λ 3 ; 1.5 = 0.0000913243 1 . λ 1 5 + 49.3261 λ 1 3 λ 2 + 364.959 λ 1 λ 2 2 + 364.959 λ 1 2 λ 3 + 1800.2 λ 2 λ 3 , Q 6 λ 1 , λ 2 , λ 3 ; 1.5 = 0.082201 0.0000750778 λ 1 6 + 0.00555494 λ 1 4 λ 2 + 0.082201 λ 1 2 λ 2 2 + 0.135155 λ 2 3 + 0.0548007 λ 1 3 λ 3 + 0.082201 0.81093 λ 1 λ 2 λ 3 + λ 3 2 .
Q 0 λ 1 , λ 2 , λ 3 ; 2 = 1 , Q 1 λ 1 , λ 2 , λ 3 ; 2 = λ 1 log [ 2 ] , Q 2 λ 1 , λ 2 , λ 3 ; 2 = 1 2 2 λ 2 log [ 2 ] + λ 1 2 log [ 2 ] 2 , Q 3 λ 1 , λ 2 , λ 3 ; 2 = 1 6 6 λ 3 log [ 2 ] + 6 λ 1 λ 2 log [ 2 ] 2 + λ 1 3 log [ 2 ] 3 , Q 4 λ 1 , λ 2 , λ 3 ; 2 = 1 24 12 λ 2 2 log [ 2 ] 2 + 24 λ 1 λ 3 log [ 2 ] 2 + 12 λ 1 2 λ 2 log [ 2 ] 3 + λ 1 4 log [ 2 ] 4 , Q 5 λ 1 , λ 2 , λ 3 ; 2 = 1 120 120 λ 2 λ 3 log [ 2 ] 2 + 60 λ 1 λ 2 2 log [ 2 ] 3 + 60 λ 1 2 λ 3 log [ 2 ] 3 + 20 λ 1 3 λ 2 log [ 2 ] 4 + λ 1 5 log [ 2 ] 5 , Q 6 λ 1 , λ 2 , λ 3 ; 2 = 1 720 360 λ 3 2 log [ 2 ] 2 + 120 λ 2 3 log [ 2 ] 3 + 720 λ 1 λ 2 λ 3 log [ 2 ] 3 + 180 λ 1 2 λ 2 2 log [ 2 ] 4 + 120 λ 1 3 λ 3 log [ 2 ] 4 + 1 720 30 λ 1 4 λ 2 log [ 2 ] 5 + λ 1 6 log [ 2 ] 6 .
Q 0 λ 1 , λ 2 , λ 3 ; 2.5 = 1 , Q 1 λ 1 , λ 2 , λ 3 ; 2.5 = 0.916291 λ 1 , Q 2 λ 1 , λ 2 , λ 3 ; 2.5 = 0.419794 1 . λ 1 2 + 2.18271 λ 2 , Q 3 λ 1 , λ 2 , λ 3 ; 2.5 = 0.128218 1 . λ 1 3 + 6.54814 λ 1 λ 2 + 7.14636 λ 3 , Q 4 λ 1 , λ 2 , λ 3 ; 2.5 = 0.419794 0.0699657 λ 1 4 + 0.916291 λ 1 2 λ 2 + 1 . λ 2 2 + 2 . λ 1 λ 3 , Q 5 λ 1 , λ 2 , λ 3 ; 2.5 = 0.00538251 1 . λ 1 5 + 21.8271 λ 1 3 λ 2 + 71.4636 λ 1 λ 2 2 + 71.4636 λ 1 2 λ 3 + 155.984 λ 2 λ 3 , Q 6 λ 1 , λ 2 , λ 3 ; 2.5 = 0.419794 0.00195808 λ 1 6 + 0.0641089 λ 1 4 λ 2 + 0.419794 λ 1 2 λ 2 2 + 0.30543 λ 2 3 + 0.279863 λ 1 3 λ 3 + 0.419794 1.83258 λ 1 λ 2 λ 3 + λ 3 2 .
Q 0 λ 1 , λ 2 , λ 3 ; 3 = 1 , Q 1 λ 1 , λ 2 , λ 3 ; 3 = λ 1 log [ 3 ] , Q 2 λ 1 , λ 2 , λ 3 ; 3 = 1 2 2 λ 2 log [ 3 ] + λ 1 2 log [ 3 ] 2 , Q 3 λ 1 , λ 2 , λ 3 ; 3 = 1 6 6 λ 3 log [ 3 ] + 6 λ 1 λ 2 log [ 3 ] 2 + λ 1 3 log [ 3 ] 3 , Q 4 λ 1 , λ 2 , λ 3 ; 3 = 1 24 12 λ 2 2 log [ 3 ] 2 + 24 λ 1 λ 3 log [ 3 ] 2 + 12 λ 1 2 λ 2 log [ 3 ] 3 + λ 1 4 log [ 3 ] 4 , Q 5 λ 1 , λ 2 , λ 3 ; 3 = 1 120 120 λ 2 λ 3 log [ 3 ] 2 + 60 λ 1 λ 2 2 log [ 3 ] 3 + 60 λ 1 2 λ 3 log [ 3 ] 3 + 20 λ 1 3 λ 2 log [ 3 ] 4 + λ 1 5 log [ 3 ] 5 , Q 6 λ 1 , λ 2 , λ 3 ; 3 = 1 720 360 λ 3 2 log [ 3 ] 2 + 120 λ 2 3 log [ 3 ] 3 + 720 λ 1 λ 2 λ 3 log [ 3 ] 3 + 180 λ 1 2 λ 2 2 log [ 3 ] 4 + 120 λ 1 3 λ 3 log [ 3 ] 4 + 1 720 30 λ 1 4 λ 2 log [ 3 ] 5 + λ 1 6 log [ 3 ] 6 .
The graphs of Q 6 λ 1 , λ 2 , λ 3 ; 1.5 , Q 6 λ 1 , λ 2 , λ 3 ; 2 , Q 6 λ 1 , λ 2 , λ 3 ; 2.5 and Q 6 λ 1 , λ 2 , λ 3 ; 3 are expressed in Figure 1, Figure 2, Figure 3 and Figure 4, respectively as:
Operational techniques for special polynomials involve using specific algebraic and analytical methods to manipulate and apply these polynomials in various mathematical contexts. Techniques such as generating functions, which encode polynomial sequences into a single function, facilitate the derivation and proof of polynomial identities and relationships. Differential operators, another key method, express recurrence relations and transform polynomials to simplify solving differential equations. Additionally, integral transforms, such as the Laplace and Fourier transforms, help extend the applicability of special polynomials to solving physical problems in fields like quantum mechanics and signal processing. These operational techniques streamline complex calculations, making special polynomials powerful tools in pure and applied mathematics.
Differentiating (9) or (10) with reference to λ 1 successively, we find
λ 1   C λ 1 Ω + λ 2 Ω 2 + λ 3 Ω 3 = ( ln C ) Ω   C λ 1 Ω + λ 2 Ω 2 + λ 3 Ω 3 ,
which can be expressed further as
λ 1 n = 0   Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n n ! = ( ln C ) n = 0   Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n + 1 n ! ,
replacing n n 1 in the right-hand side of the preceding expression and then comparing the coefficients of the same exponents on both sides of the resultant expression, we find
λ 1 Q n ( λ 1 , λ 2 , λ 3 ; C ) = n ln C Q n 1 ( λ 1 , λ 2 , λ 3 ; C ) .
Continuing similarly, we have
2 λ 1 2 Q n ( λ 1 , λ 2 , λ 3 ; C ) = n ( n 1 ) ( ln C ) 2 Q n 2 ( λ 1 , λ 2 , λ 3 ; C ) ,
3 λ 1 3 Q n ( λ 1 , λ 2 , λ 3 ; C ) = n ( n 1 ) ( n 2 ) ( ln C ) 3 Q n 3 ( λ 1 , λ 2 , λ 3 ; C ) ,
m λ 1 m Q n ( λ 1 , λ 2 , λ 3 ; C ) = n ( n 1 ) ( n m + 1 ) ( ln C ) m Q n m ( λ 1 , λ 2 , λ 3 ; C ) .
Further, differentiating (9) or (10) with reference to λ 2 successively, we find
λ 2   C λ 1 Ω + λ 2 Ω 2 + λ 3 Ω 3 = ( ln C ) Ω 2   C λ 1 Ω + λ 2 Ω 2 + λ 3 Ω 3 ,
which further can be expressed as
λ 2 n = 0   Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n n ! = ( ln C ) n = 0   Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n + 2 n ! ,
replacing n n 2 in the right-hand side of the preceding expression and then comparing the coefficients of the same exponents on both sides of the resultant expression, we find
λ 2 Q n ( λ 1 , λ 2 , λ 3 ; C ) = n ( n 1 ) ln C Q n 2 ( λ 1 , λ 2 , λ 3 ; C ) ,
similarly, we have
λ 3 Q n ( λ 1 , λ 2 , λ 3 ; C ) = n ( n 1 ) ( n 2 ) ln C Q n 3 ( λ 1 , λ 2 , λ 3 ; C ) .
Thus, the expressions (14)–(19) satisfy the relations:
1 ln C λ 2 Q n ( λ 1 , λ 2 , λ 3 ; C ) = 2 λ 1 2 Q n ( λ 1 , λ 2 , λ 3 ; C )
and
1 ( ln C ) 2 λ 3 Q n ( λ 1 , λ 2 , λ 3 ; C ) = 3 λ 1 3 Q n ( λ 1 , λ 2 , λ 3 ; C ) ,
which in consideration of the initial condition:
1 ( ln C ) n Q n ( λ 1 , 0 , 0 ; 0 ) = λ 1 n
provides the operational representation for Q n ( λ 1 , λ 2 , λ 3 ; C ) via the result:
Theorem 3.
For the G-1P3-VHP   Q n ( λ 1 , λ 2 , λ 3 ; C ) , the following operational representation is demonstrated:
Q n ( λ 1 , λ 2 , λ 3 ; C ) = exp λ 2 ( ln C ) 2 λ 1 2 + λ 3 ( ln C ) 2 3 λ 1 3 λ 1 n .

3. Recurrence Relations, Shift Operators and Families of Differential Equations

Theorem 4.
The G-1P3-VHP   Q n ( λ 1 , λ 2 , λ 3 ; C ) adhere to the following recurrence relation:
  Q n + 1 ( λ 1 , λ 2 , λ 3 ; C ) = ( λ 1 ln C )     Q n ( λ 1 , λ 2 , λ 3 ; C ) + 2 n λ 2 ln C   Q n 2 ( λ 1 , λ 2 , λ 3 ; C ) + 3 n ( n 1 ) λ 3 ln C   Q n 2 ( λ 1 , λ 2 , λ 3 ; C ) ,
where
  Q k ( λ 1 , λ 2 , λ 3 ; C ) : = 0 , k = 1 , 2 .
Proof. 
After taking Ω into account and differentiating both sides of the generating function (9), we arrive at:
Ω   C λ 1 Ω + λ 2 Ω 2 + λ 3 Ω 3 = Ω n = 0   Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n n !
which can be simplified as
λ 1 ln ( C ) + 2 λ 2 ln ( C ) Ω + 3 λ 2 ln ( C ) Ω 2 n = 0   Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n n ! = n = 0 n   Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n 1 n ! .
Further, the preceding expression, in consideration of the Cauchy-product formula, can be expressed as:
n = 0 [ λ 1 ln ( C )   Q n ( λ 1 , λ 2 , λ 3 ; C ) + 2 n λ 2 ln ( C )   Q n 1 ( λ 1 , λ 2 , λ 3 ; C ) + 3 n ( n 1 ) λ 3 ln ( C ) ×   Q n 2 ( λ 1 , λ 2 , λ 3 ; C ) ]   Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n n ! = n = 0   Q n + 1 ( λ 1 , λ 2 , λ 3 ; C ) Ω n n ! .
Assertion (22) is obtained by comparing the coefficients of the identical powers of Ω on both sides of the preceding statement. □
Theorem 5.
For, the G-1P3-VHP   Q n ( λ 1 , λ 2 , λ 3 ; C ) , the following shift operators hold true:
λ 1 L n : = 1 n ( ln C ) D λ 1 ,
λ 2 L n : = 1 n ( ln C ) D λ 1 1 D λ 2 ,
λ 3 L n : = 1 n ( ln C ) D λ 1 2 D λ 3 ,
λ 1 L n + : = ( λ 1 ln C ) + 2 λ 2 D λ 1 + 3 λ 3 ( ln C ) 1 D λ 1 2 ,
λ 2 L n + : = ( λ 1 ln C ) + 2 λ 2 D λ 1 1 D λ 2 + 3 λ 3 ( ln C ) 1 D λ 1 2 D λ 2 2
and
λ 3 L n + : = ( λ 1 ln C ) + 2 λ 2 D λ 1 1 D λ 3 + 3 λ 3 ( ln C ) 1 D λ 1 4 D λ 3 2
respectively, where
D λ 1 : = λ 1 , D λ 2 : = λ 2 ; D λ 3 : = λ 3 D λ 1 1 : = 0 λ 1 g ( Ω ) d Ω .
Proof. 
After rearranging the powers and differentiating both sides of Equation (9) concerning λ 1 , we equate the coefficients of the identical powers of Ω in both sides of the resulting equation as follows:
D λ 1 {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } = n ( ln C )   Q n 1 ( λ 1 , λ 2 , λ 3 ; C ) ,
as a result, the operator provided by Equation (26) satisfies the following equation:
λ 1 L n { Q n ( λ 1 , λ 2 , λ 3 ; C ) } =   Q n 1 ( λ 1 , λ 2 , λ 3 ; C ) .
Subsequently, we differentiate both sides of Equation (9) concerning λ 2 , rearrange the powers, and then calculate the coefficients of the identical powers of Ω on both sides of the resulting equation:
D λ 2 {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } = ( ln C ) n ( n 1 )   Q n 2 ( λ 1 , λ 2 , λ 3 ; C ) ,
which further can be stated as
D λ 2 {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } = n ( ln C ) D λ 1   Q n 1 ( λ 1 , λ 2 , λ 3 ; C ) ,
thus, it follows that
1 n ( ln C ) D λ 2 D λ 1 1 {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } =   Q n 1 ( λ 1 , λ 2 , λ 3 ; C ) .
Thus, the above equation is satisfied by the operator provided by Equation (27).
Again, differentiating both sides of Equation (9) with respect to λ 3 , we have
D λ 3 {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } = ( ln C ) n ( n 1 ) ( n 2 )   Q n 3 ( λ 1 , λ 2 , λ 3 ; C )
and further stated as
D λ 3 {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } = n ( ln C ) D λ 1 2   Q n 1 ( λ 1 , λ 2 , λ 3 ; C ) ,
thus, it follows that
1 n ( ln C ) D λ 3 D λ 1 2 {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } =   Q n 1 ( λ 1 , λ 2 , λ 3 ; C ) .
Thus, the above equation is satisfied by the operator provided by Equation (28).
The raising operator (29) may be found using the following relation:
Q n k ( λ 1 , λ 2 , λ 3 ; C ) = λ 1 L n k + 1 λ 1 L n k + 2 λ 1 L n 1 λ 1 L n {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } .
Using Equation (26) in conjunction with Equation (41), we obtain
  Q n k ( λ 1 , λ 2 , λ 3 ; C ) = 1 ( n k + 1 ) ( ln C ) D λ 1 1 ( n 1 ) ( ln C ) D λ 1 1 n ( ln C ) D λ 1 {   Q n ( λ 1 , λ 2 , λ 3 ; C ) }
and further stated as
  Q n k ( λ 1 , λ 2 , λ 3 ; C ) = ( n k ) ! n ! ( ln C ) k D λ 1 k { Q n ( λ 1 , λ 2 , λ 3 ; C ) } .
Further, we have
Q n 1 ( λ 1 , λ 2 , λ 3 ; C ) = 1 n ( ln C ) 1 D λ 1 { Q n ( λ 1 , λ 2 , λ 3 ; C ) } .
Thus, inserting expressions (41) and (43) in Equation (22), we find
  Q n + 1 ( λ 1 , λ 2 , λ 3 ; C ) = ( λ 1 ln C ) + 2 λ 2 D λ 1 1 D λ 2 + 3 λ 3 ( ln C ) 1 D λ 1 2 D λ 2 2 {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } ,
thus yielding the expression (29) of the raising operator λ 3 L n + .
We employ the relation below to determine the raising operator (30):
  Q n k ( λ 1 , λ 2 , λ 3 ; C ) = λ 2 L n k + 1 λ 2 L n k + 2 λ 2 L n 1 λ 2 L n {   Q n ( λ 1 , λ 2 , λ 3 ; C ) }
Using Equation (27) in Equation (45) and simplifying, we find
  Q n k ( λ 1 , λ 2 , λ 3 ; C ) = ( n k ) ! n ! ( ln C ) k D λ 1 k D λ 2 k {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } .
Also, we have
  Q n 1 ( λ 1 , λ 2 , λ 3 ; C ) = 1 n ( ln C ) 1 D λ 1 1 D λ 2 {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } .
Using Equations (46) and (47) in Equation (22), we find
  Q n + 1 ( λ 1 , λ 2 , λ 3 ; C ) = ( λ 1 ln C ) + 2 λ 2 D λ 1 1 D λ 2 + 3 λ 3 ( ln C ) 1 D λ 1 2 D λ 2 2   Q n ( λ 1 , λ 2 , λ 3 ; C ) ,
thus yielding the expression (30) of the raising operator λ 3 L n + .
Lastly, we employ the relation below to determine the raising operator (31):
  Q n k ( λ 1 , λ 2 , λ 3 ; C ) = λ 3 L n k + 1 λ 3 L n k + 2 λ 3 L n 1 λ 3 L n {   Q n ( λ 1 , λ 2 , λ 3 ; C ) }
Using Equation (28) in Equation (49) and simplifying, we find
  Q n k ( λ 1 , λ 2 , λ 3 ; C ) = ( n k ) ! n ! ( ln C ) k D λ 1 2 k D λ 2 k {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } .
Also, we have
  Q n 1 ( λ 1 , λ 2 , λ 3 ; C ) = 1 n ( ln C ) 1 D λ 1 2 D λ 3 {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } .
Using Equations (50) and (51) in Equation (22), we find
  Q n + 1 ( λ 1 , λ 2 , λ 3 ; C ) = ( λ 1 ln C ) + 2 λ 2 D λ 1 1 D λ 3 + 3 λ 3 ( ln C ) 1 D λ 1 4 D λ 3 2   Q n ( λ 1 , λ 2 , λ 3 ; C ) ,
thus yielding the expression (31) of the raising operator λ 3 L n + . □
Next, we find the “differential, integro-differential and partial differential equation” for the 3V1PGHbAP   Q n ( λ 1 , λ 2 , λ 3 ; C ) . For this, we consider the following results:
Theorem 6.
The generalized 1-parameter 3-variable Hermite polynomials   Q n ( λ 1 , λ 2 , λ 3 ; C ) satisfy the following differential equation:
λ 1 D λ 1 + 2 λ 2 ( ln C ) 1 D λ 1 2 + 3 λ 3 ( ln C ) 2 D λ 1 3 ( n + 1 )   Q n ( λ 1 , λ 2 , λ 3 ; C ) = 0 .
Proof. 
Making use of expressions (26) and (28) of the shift operators λ 1 L n and λ 1 L n + in the factorization equation λ 1 L n + 1 λ 1 L n + {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } =   Q n ( λ 1 , λ 2 , λ 3 ; C ) , we adhere to the expression (53). □
Theorem 7.
The generalized 1-parameter 3-variable Hermite polynomials   Q n ( λ 1 , λ 2 , λ 3 ; C ) satisfy the following integro-differential equations:
λ 1 D λ 2 + 2 λ 2 ( ln C ) 1 D λ 1 1 D λ 2 2 + 3 λ 3 ( ln C ) 2 D λ 1 2 D λ 2 3 ( n + 1 ) D λ 1   Q n ( λ 1 , λ 2 , λ 3 ; C ) = 0 .
λ 1 D λ 3 + 2 λ 2 ( ln C ) 1 D λ 1 1 D λ 3 2 + 3 λ 3 ( ln C ) 2 D λ 1 4 D λ 3 3 ( n + 1 ) D λ 1 2   Q n ( λ 1 , λ 2 , λ 3 ; C ) = 0 .
λ 1 D λ 3 + 2 λ 2 ( ln C ) 1 D λ 1 1 D λ 2 2 D λ 3 + 3 λ 3 ( ln C ) 2 D λ 1 2 D λ 2 3 D λ 3 ( n + 1 ) D λ 1 2   Q n ( λ 1 , λ 2 , λ 3 ; C ) = 0 .
λ 1 D λ 2 + 2 λ 2 ( ln C ) 1 D λ 1 1 D λ 2 D λ 3 + 3 λ 3 ( ln C ) 2 D λ 1 4 D λ 2 D λ 3 2 ( n + 1 ) D λ 1   Q n ( λ 1 , λ 2 , λ 3 ; C ) = 0 .
Proof. 
Making use of expressions (27), (30) and (28), (31) of the shift operators   L n and   L n + in the factorization equation L n + 1   L n + {   Q n ( λ 1 , λ 2 , λ 3 ; C ) } =   Q n ( λ 1 , λ 2 , λ 3 ; C ) , we adhere to the expression (54) and (55).
Further, making use of expressions (27), (31) and (28), (30) of the shift operators   L n and   L n + in above factorization relation, we adhere to the expression (56) and (57). □
Theorem 8.
The generalized 1-parameter 3-variable Hermite polynomials   Q n ( λ 1 , λ 2 , λ 3 ; C ) satisfy the following partial differential equations:
( λ 1 D λ 1 n D λ 2 + n D λ 1 n 1 D λ 2 + 2 λ 2 ( ln C ) 1 D λ 1 n 1 D λ 2 2 + 2 ( ln C ) 1 D λ 1 n 1 D λ 2 + 3 λ 3 ( ln C ) 2 D λ 1 n 2 D λ 2 3 ( n + 1 ) D λ 1 n + 1 )   Q n ( λ 1 , λ 2 , λ 3 ; C ) = 0 .
( λ 1 D λ 1 2 n D λ 3 + 2 n D λ 1 2 n 1 D λ 3 + 2 λ 2 ( ln C ) 1 D λ 1 1 D λ 3 2 + 3 λ 3 ( ln C ) 2 D λ 1 2 n 4 D λ 3 3 + 3 ( ln C ) 2 D λ 1 2 n 4 D λ 3 2 ( n + 1 ) D λ 1 2 n + 2 )   Q n ( λ 1 , λ 2 , λ 3 ; C ) = 0 .
( λ 1 D λ 1 n D λ 3 + n D λ 1 n 1 D λ 3 + 2 λ 2 ( ln C ) 1 D λ 1 n 1 D λ 2 2 D λ 3 + 3 ( ln C ) 2 D λ 1 n 2 D λ 2 2 + 3 λ 3 ( ln C ) 2 D λ 1 n 2 D λ 2 3 D λ 3 ( n + 1 ) D λ 1 n + 2 )   Q n ( λ 1 , λ 2 , λ 3 ; C ) = 0 .
( λ 1 D λ 1 2 n D λ 2 + 2 n D λ 1 2 n 1 D λ 2 + 2 ( ln C ) 1 D λ 1 2 n 1 D λ 3 + 2 λ 2 ( ln C ) 1 D λ 1 2 n 1 D λ 2 D λ 3 + 3 λ 3 ( ln C ) 2 D λ 1 2 n 4 D λ 2 D λ 3 2 ( n + 1 ) D λ 1 2 n )   Q n ( λ 1 , λ 2 , λ 3 ; C ) = 0 .
Proof. 
Differentiating the expressions (54) and (56) with reference to D λ 1 n times, we obtain the partial differential Equations (58) and (60). Similarly, upon differentiating the expressions (55) and (57) with reference to D λ 1 2 n times, we obtain the partial differential Equations (59) and (61). □

4. Summation Formulae

Summation formulae are vital tools in mathematics, significantly impacting fields like probability theory, combinatorics, and algebra. They enable the calculating of expected values in probabilistic models, aid in polynomial interpolation, and simplify combinatorial counting problems. These formulae are also crucial in number theory for analyzing arithmetic functions and in applied mathematics, such as in signal processing and optimization. By providing efficient methods to sum sequences and series, summation formulae for generalized 1-parameter 3-variable Hermite polynomials may facilitate the resolution of complex mathematical problems across diverse domains. Therefore, the summation formulae for the generalized 1-parameter 3-variable Hermite polynomials are demonstrated as follows:
Theorem 9.
For the G-1P3-VHP   Q n ( λ 1 , λ 2 , λ 3 ; C ) , the following summation formulae holds true:
  Q n ( λ 1 + μ , λ 2 , λ 3 ; C ) = k = 0 n n k   Q n k ( λ 1 , λ 2 , λ 3 ; C ) R k ( μ , C ) .
Proof. 
By substituting λ 1 λ 1 + μ in expression (9), it follows that
  C ( λ 1 + μ ) Ω + λ 2 Ω 2 + λ 3 Ω 3 = n = 0   Q n ( λ 1 + μ , λ 2 , λ 3 ; C ) Ω n n ! , C > 1 ,
Inserting expressions (4) and (9) in the left-hand part of preceding expression, we find
n = 0 Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n n ! k = 0 R k ( μ , C ) Ω k k ! = n = 0   Q n ( λ 1 + μ , λ 2 , λ 3 ; C ) Ω n n ! , C > 1 ,
thus, operating the Cauchy-product rule in the left-hand part, yields the expression:
n = 0   Q n ( λ 1 + μ , λ 2 , λ 3 ; C ) Ω n n ! = n = 0 k = 0 n n k   Q n k ( λ 1 , λ 2 , λ 3 ; C ) R k ( μ , C ) Ω n n ! .
Assertion (62) is obtained by comparing the coefficients of the identical powers of Ω on both sides of the above expression. □
Theorem 10.
For the G-1P3-VHP   Q n ( λ 1 , λ 2 , λ 3 ; C ) , the following summation formulae holds true:
  Q n ( λ 1 + μ , λ 2 + ν , λ 3 ; C ) = k = 0 n n k   Q n k ( λ 1 , λ 2 , λ 3 ; C ) R k ( μ , ν , C ) .
Proof. 
By substituting λ 1 λ 1 + μ and λ 2 1 λ 2 + ν in expression (9), it follows that
  C ( λ 1 + μ ) Ω + ( λ 2 + ν ) Ω 2 + λ 3 Ω 3 = n = 0   Q n ( λ 1 + μ , λ 2 + ν , λ 3 ; C ) Ω n n ! , C > 1 ,
Inserting expressions (3) and (9) in the left hand part of preceding expression, we find
n = 0 Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n n ! k = 0 R k ( μ , ν , C ) Ω k k ! = n = 0   Q n ( λ 1 + μ , λ 2 + ν , λ 3 ; C ) Ω n n ! , C > 1 ,
thus, operating the Cauchy-product rule in the left-hand part yields the expression:
n = 0   Q n ( λ 1 + μ , λ 2 + ν , λ 3 ; C ) Ω n n ! = n = 0 k = 0 n n k   Q n k ( λ 1 , λ 2 , λ 3 ; C ) R k ( μ , ν , C ) Ω n n ! .
Assertion (66) is obtained by comparing the coefficients of the identical powers of Ω on both sides of the above expression. □
Theorem 11.
For the G-1P3-VHP   Q n ( λ 1 , λ 2 , λ 3 ; C ) , the following summation formulae holds true:
  Q n ( λ 1 + μ , λ 2 + ν , λ 3 + η ; C ) = k = 0 n n k   Q n k ( λ 1 , λ 2 , λ 3 ; C ) R k ( μ , ν , η , C ) .
Proof. 
By substituting λ 1 λ 1 + μ , λ 2 λ 2 + ν and λ 3 λ 3 + η in expression (9), it follows that
  C ( λ 1 + μ ) Ω + ( λ 2 + ν ) Ω 2 + ( λ 3 + η ) Ω 3 = n = 0   Q n ( λ 1 + μ , λ 2 + ν , λ 3 + η ; C ) Ω n n ! , C > 1 ,
Inserting expression (9) in the left hand part of preceding expression, we find
n = 0 Q n ( λ 1 , λ 2 , λ 3 ; C ) Ω n n ! k = 0 R k ( μ , ν , η , C ) Ω k k ! = n = 0   Q n ( λ 1 + μ , λ 2 + ν , λ 3 + η ; C ) Ω n n ! , C > 1 ,
thus, operating the Cauchy-product rule in the left hand part yields the expression:
n = 0   Q n ( λ 1 + μ , λ 2 + ν , λ 3 + η ; C ) Ω n n ! = n = 0 k = 0 n n k   Q n k ( λ 1 , λ 2 , λ 3 ; C ) R k ( μ , ν , η , C ) Ω n n ! .
Assertion (70) is obtained by comparing the coefficients of the identical powers of Ω on both sides of the above expression. □

5. Conclusions

Here, we presented a novel framework for introducing generalized 1-parameter 3-variable Hermite polynomials. The essential characteristics of these polynomials are explained, utilizing generating functions and series definitions. This research uses a factorization technique to build recurrence relations, shift operators, and several differential equations, such as integro-differential, partial, and differential.
Further, future research could focus on extending the current framework to include more than three variables, exploring the associated complexities and new properties. Further examination of additional analytical properties, such as orthogonality, asymptotic behaviour, and zeros, is also warranted. Developing efficient computational algorithms to facilitate the practical application of these polynomials in various fields, such as numerical analysis, physics, and engineering, will be beneficial. Additionally, investigating their application in solving higher-order and more complex differential equations, particularly in modelling real-world phenomena, could yield significant insights. Interdisciplinary applications in finance, biology, and data science and enhanced graphical and numerical analyses could provide deeper insights and lead to new theoretical advancements.

Author Contributions

S.A.W.; Methodology, S.A.W., K.H.H. and H.Z.; Investigation, S.A.W., K.H.H. and H.Z.; Resources, H.Z.; Writing—original draft, K.H.H. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by Deanship of Graduate Studies and Scientific Research, Jazan University, Saudi Arabia, through Project Number: GSSRD-24.

Data Availability Statement

No new data were created or analyzed in this study.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Dattoli, G.; Chiccoli, C.; Lorenzutta, S.; Maino, G.; Torre, A. Generalized Bessel functions and generalized Hermite polynomials. J. Math. Anal. Appl. 1993, 178, 509–516. [Google Scholar] [CrossRef]
  2. Dattoli, G.; Lorenzutta, S.; Maino, G.; Torre, A.; Cesarano, C. Generalized Hermite polynomials and super-Gaussian forms. J. Math. Anal. Appl. 1996, 203, 597–609. [Google Scholar] [CrossRef]
  3. Fadel, M.; Raza, N.; Du, W.-S. On q-Hermite Polynomials with Three Variables: Recurrence Relations, q-Differential Equations, Summation and Operational Formulas. Symmetry 2024, 16, 385. [Google Scholar] [CrossRef]
  4. 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]
  5. Yilmaz, B.; Özarslan, M.A. Differential equations for the extended 2D Bernoulli and Euler polynomials. Adv. Differ. Equ. 2013, 107, 1–16. [Google Scholar] [CrossRef]
  6. Khan, S.; Yasmin, G.; Khan, R.; Hassan, N.A.M. Hermite polynomials: Properties and Applications. J. Math. Anal. Appl. 2009, 351, 756–764. [Google Scholar] [CrossRef]
  7. He, M.X.; Ricci, P.E. Differential equation of Appell polynomials via the factorization method. J. Comput. Appl. Math. 2002, 139, 231–237. [Google Scholar] [CrossRef]
  8. Infeld, L.; Hull, T.E. The factorization method. Rev. Mod. Phys. 1951, 23, 21–68. [Google Scholar] [CrossRef]
  9. Dattoli, G.; Licciardi, S. Monomiality and a New Family of Hermite Polynomials. Symmetry 2023, 15, 1254. [Google Scholar] [CrossRef]
  10. Alyusof, R.; Shaikh, M.B.J. Some families of differential equations associated with the Gould-Hopper-Frobenius-Genocchi polynomials. Aims Math. 2021, 7, 4851–4860. [Google Scholar] [CrossRef]
  11. Kim, T.; Kim, D.S. On some degenerate differential and degenerate difference operators. Russ. J. Math. Phys. 2022, 29, 37–46. [Google Scholar] [CrossRef]
  12. Wani, S.A.; Khan, S. Certain properties and applications of the 2D Sheffer and related polynomials. Bol. Soc. Mat. Mex. 2020, 26, 947–971. [Google Scholar] [CrossRef]
  13. 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]
  14. Alkahtani, B.S.T.; Alazman, I.; Wani, S.A. Some Families of Differential Equations Associated with Multivariate Hermite Polynomials. Fractal Fract. 2023, 7, 390. [Google Scholar] [CrossRef]
  15. 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, 1335–1346. [Google Scholar] [CrossRef]
  16. Khan, S.; Raza, N. General-Appell polynomials within the context of monomiality principle. Int. J. Anal. 2013, 2013, 328032. [Google Scholar] [CrossRef]
  17. Srivastava, H.M.; Özarslan, M.A.; Yilmaz, B. Some families of differential equations associated with the Hermite polynomials and other classes of Hermite-based polynomials. Filomat 2014, 28, 695–708. [Google Scholar] [CrossRef]
Figure 1. Q 6 λ 1 , λ 2 , λ 3 ; 1.5 .
Figure 1. Q 6 λ 1 , λ 2 , λ 3 ; 1.5 .
Mathematics 12 02459 g001
Figure 2. Q 6 λ 1 , λ 2 , λ 3 ; 2 .
Figure 2. Q 6 λ 1 , λ 2 , λ 3 ; 2 .
Mathematics 12 02459 g002
Figure 3. Q 6 λ 1 , λ 2 , λ 3 ; 2.5 .
Figure 3. Q 6 λ 1 , λ 2 , λ 3 ; 2.5 .
Mathematics 12 02459 g003
Figure 4. Q 6 λ 1 , λ 2 , λ 3 ; 3 .
Figure 4. Q 6 λ 1 , λ 2 , λ 3 ; 3 .
Mathematics 12 02459 g004
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

Wani, S.A.; Hakami, K.H.; Zogan, H. Several Characterizations of the Generalized 1-Parameter 3-Variable Hermite Polynomials. Mathematics 2024, 12, 2459. https://doi.org/10.3390/math12162459

AMA Style

Wani SA, Hakami KH, Zogan H. Several Characterizations of the Generalized 1-Parameter 3-Variable Hermite Polynomials. Mathematics. 2024; 12(16):2459. https://doi.org/10.3390/math12162459

Chicago/Turabian Style

Wani, Shahid Ahmad, Khalil Hadi Hakami, and Hamad Zogan. 2024. "Several Characterizations of the Generalized 1-Parameter 3-Variable Hermite Polynomials" Mathematics 12, no. 16: 2459. https://doi.org/10.3390/math12162459

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