1. Introduction and Preliminaries
Complex system behavior has been modeled and described by special polynomials in a variety of domains, including quantum mechanics and statistical mechanics. These unique polynomials have also been used to describe and analyze complex systems in a number of other domains, such as quantum mechanics and statistics. Polynomial sequences are indispensable in several branches of mathematics, such as algebraic combinatorics, entropy, and combinatorics. The Legendre, Chebyshev, Laguerre, and Jacobi polynomials are a few examples of polynomial sequences that are solutions to particular ordinary differential equations in approximation theory and physics. Legendre polynomials are a class of orthogonal polynomials with important applications in physics and mathematics. The French mathematician Edmond Legendre, who first introduced them in the 19th century, is the reason behind their name. The Legendre differential equation, a second-order linear differential equation, has solutions that lead to the Legendre polynomials. They are often represented as
[
1], where
n is a non-negative integer that denotes the degree of the polynomial. They are defined on the interval
. There are numerous noteworthy characteristics of Legendre polynomials: On the interval
, the Legendre polynomials form an orthogonal set with regard to the weight function
. This indicates that, with the exception of situations in which the polynomials have the same degree, the integral of the sum of two distinct Laguerre polynomials with the weight function equals zero. Moreover, the Legendre polynomials satisfy a recurrence relation, enabling the computation of higher-degree polynomials from lower-degree ones. This characteristic helps with efficient polynomial generation and numerical computations. Furthermore, the generating function of these polynomials permits the expansion of some functions into a sequence of Legendre polynomials. This characteristic helps in differential equation solving and yields closed-form solutions. Application areas for the Legendre polynomials include the solutions of the Schrodinger equation for the hydrogen atom and other quantum systems with spherical symmetry in mathematics, physics, and engineering. Furthermore, issues involving diffusion equations, wave propagation, and heat conduction give rise to these polynomials.
Mathematical physics two-variable special polynomials have been the subject of much recent research. A class of polynomials known as two-variable special polynomials has certain attributes, for example, [
2,
3]. They have numerous uses in mathematics and other fields and are frequently researched in the area of algebraic geometry. Bivariate Chebyshev, Hermite, Laguerre, and Laguerre polynomials are a few notable examples of two-variable special polynomials. They are widely used in signal processing, numerical analysis, and approximation theory. Bivariate Chebyshev polynomials are symmetric polynomials with applications in least squares fitting and interpolation. Hermite polynomials of two variables have applications in quantum mechanics, statistical mechanics, and waveguide theory. Bivariate Hermite polynomials are often used in the study of harmonic oscillators in two dimensions. Bivariate Legendre polynomials are a two-variable extension of the Legendre polynomials. They satisfy a bivariate analogue of the Legendre differential equation and have applications in quantum mechanics, potential theory, and random matrix theory. Bivariate Legendre polynomials are particularly useful in studying the behavior of systems with two degrees of freedom. These polynomials satisfy a certain orthogonality condition with respect to a weight function and are thus extensively studied in mathematical physics, probability theory, and approximation theory. The significance of these two-variable special polynomials lies in their usefulness in solving problems in various mathematical and scientific domains. They provide a rich framework for expressing and analyzing multivariate functions and have specific properties that make them suitable for specific applications. It is well known that huge classes of partial differential equations, which are frequently encountered in physical issues, can be solved analytically by innovative methods made possible by the special polynomials of two variables. The two-variable Legendre polynomials
[
4] are of enormous mathematical significance and have applications in physics, which makes their introduction intriguing.
The two-variable Legendre polynomials (2VLeP)
are specified by means of the following generating equation:
where
is the 0th order ordinary Bessel function of first kind [
5] defined by
also note that
is the inverse derivative operator.
Or, alternatively, by
where
is the 0th order Tricommi function of the first kind [
5] with
Thus, in view of Equation (
3) or (
5), the generating expression for Legendre polynomials can be cast as:
Very recently, a large interest has been shown by mathematicians to introduce
forms of special polynomials. Some extensions of the special polynomials were studied in [
1,
5,
6,
7,
8,
9,
10]. After that, by using the classical finite difference operator
, a new form of the special polynomials, known as the
special polynomials of different polynomials, were introduced in [
11,
12]. These
special polynomials have been studied because of their remarkable applications in different branches of mathematics, physics, and statistics.
These
Appell polynomials are represented as:
and defined by
where
is the finite difference operator:
The
Appell polynomials
are specified by the following generating function [
12]:
where
Therefore, motivated by the results in [
4,
11,
12,
13], here we introduced the two-variable
Legendre–Appell polynomials:
through the generating function concept.
This article is designed as follows:
Section 2 discusses how the Legendre–Appell polynomials are generated and explores recurrence relations that govern their behavior.
Section 3 presents formulas for summing or evaluating these Legendre–Appell polynomials over certain ranges or with specific constraints. These formulas can be useful for calculating the values of the polynomials efficiently.
Section 4 discusses the monomiality principle, which relates to how Legendre–Appell polynomials behave under certain operations. The determinant form for these polynomials is also established. In
Section 5, Symmetric identities for these polynomials are derived. The conclusion section summarizes the findings of the article and discusses implications, applications, and potential future research directions related to Legendre–Appell polynomials. Each of these sections likely delves deeper into the mathematical properties and characteristics of Legendre–Appell polynomials, providing insights into their behavior and utility in various mathematical contexts.
2. Two-Variable Legendre–Appell Polynomials
The significance of this section lies in its exploration of a novel class of two-variable Legendre–Appell polynomials and its establishment of essential properties associated with them. The research expands the existing knowledge base and opens doors to new avenues of inquiry within polynomial theory and its applications.
The construction of the generating function for these Legendre–Appell polynomials, denoted as , marks a crucial step forward in understanding the behavior and properties of these polynomials. Generating functions serve as powerful tools in combinatorics, analysis, and mathematical physics, providing insights into the structure and properties of sequences and functions. By proving the existence and constructing the generating function for Legendre–Appell polynomials, this section lays the foundation for further exploration of their properties, such as orthogonality, recurrence relations, and special function identities.
Moreover, by establishing a connection between the Legendre–Appell polynomials and their generating function, this research contributes to the broader mathematical community’s understanding of polynomial families and their applications. The traits listed in this section provide valuable insights into the unique characteristics and behaviors of these polynomials, paving the way for their utilization in various mathematical and scientific domains. Overall, this section represents a significant advancement in polynomial theory, offering fresh perspectives and potential applications that warrant further investigation and exploration. First, we prove the following conclusion to construct the generating function for these Legendre–Appell polynomials by proving the following result:
Theorem 1. For the two-variable Legendre–Appell polynomials , the succeeding generating relation holds true: Proof. By expanding
at
for finite differences by a Newton series and the order of the product of the developments of the function
with respect to the powers of
, we observe the polynomials
expressed in Equation (
13) as coefficients of
as the generating function of two-variable
Legendre–Appell polynomials
. □
Theorem 2. For the two-variable Legendre–Appell polynomials , the succeeding relations hold true: Proof. By differentiating (
13) with respect to
v by taking into consideration of expression (
5), we have
By substituting the righthand side of expression (
13) in (
16), we find
By replacing
in the righthand side of previous expression (
16) and comparing the coefficients of the same exponents of
t in the resultant expression, assertion (
14) is deduced.
Further, on similar grounds, expression (
15) is established. □
Next, we deduce the explicit form satisfied by these two-variable Legendre–Appell polynomials by demonstrating the result:
Theorem 3. For the two-variable Legendre–Appell polynomials , the explicit relation holds true: Proof. Expanding generating relation (
13) in the given manner:
which can further be written as
By replacing
in the righthand side of the previous expression, it follows that
On multiplying and dividing by
on the righthand side of previous expression (
21) and comparing the coefficients of the same exponents of
on both sides, assertion (
18) is deduced. □
Theorem 4. Further, for the two-variable Legendre–Appell polynomials , the explicit relation holds true: Proof. Expanding generating relation (
13) in view of expressions (
8) and (
13) with
in the given manner:
which can further be written as
By replacing
in the righthand side of the previous expression, it follows that
On multiplying and dividing by
on the righthand side of previous expression (
25) and comparing the coefficients of the same exponents of
on both sides, assertion (
22) is deduced. □
3. Summation Formulae
This section establishes the summation formulae, or sigma notation, essential in mathematical analysis. These formulae provide systematic methods for computing sums involving special polynomials, facilitating the evaluation of complex expressions encountered in various mathematical contexts. By leveraging these formulae, mathematicians can identify patterns and uncover hidden symmetries within polynomial structures, enhancing understanding and fostering innovative applications in combinatorics, probability theory, and mathematical physics. Additionally, the study of summation formulae aids in developing efficient computational techniques, enabling researchers to address challenging problems precisely. These expressions concisely represent the sum of a sequence of terms, providing a convenient way to compute the total of a series of numbers or expressions. Thus, we demonstrate the summation formulae by proving the following results:
Proof. Comparing the coefficients of
, we obtain (
26). □
Proof. Equating the coefficients of
, we obtain (
28). □
Now, we investigate the connection between the Stirling numbers of the first kind and two-variable
Legendre polynomials.
From the above definition, we have
Proof. Comparing the coefficients of , we obtain the result. □
Proof. Comparing the coefficients of
, we obtain
Using, equality (
31) in previous expression, we obtain
This completes the proof of the theorem. □
Proof. Taking
instead of
v in (
13), we have
Using the Cauchy rule and after comparing the coefficients of
on both sides of the resulting equation, we have
Then, using (
31) for
, we obtain (
38). □
4. Monomiality Principle and Determinant Form
The monomiality principle is a fundamental concept in polynomial theory. It states that any polynomial can be expressed uniquely as a combination of simple algebraic terms called monomials. This representation simplifies the polynomial structure and facilitates their analysis in various mathematical contexts. The principle plays a crucial role in practical applications across scientific and engineering fields, such as computational mathematics, signal processing, and physics, where polynomials are used to model complex systems and phenomena. This highlights the broad applicability and significance of the monomiality principle in advancing both theoretical understanding and practical problem-solving capabilities. The exploration and utilization of the monomiality principle, along with operational guidelines and other properties of hybrid special polynomials, have been the focus of extensive study. Originating from Steffenson’s concept of poweroids in 1941 [
14], the notion of monomiality was further elaborated upon by Dattoli [
15,
16]. Central to this framework are the
and
operators, which serve as multiplicative and derivative operators, respectively, for a polynomial set
.
These operators adhere to the following expressions:
and
Consequently, when these multiplicative and derivative operations are applied to the polynomial set
, they yield a quasi-monomial domain. Of particular importance is the following formula:
which exhibits a Weyl group structure.
Assuming the set is quasi-monomial, the operators and can be leveraged to derive the significance of this set. Thus, the following axioms hold true:
For
and
to exhibit differential traits,
satisfies the differential equation:
The expression
represents the explicit form, with
and the expression
demonstrates generating expression behavior and is obtained by applying identity (
45).
In this section, we will discuss the results of our validation efforts. These results aim to strengthen the reliability and usefulness of the Legendre–Appell polynomials as important mathematical tools. As a result, we will be verifying the monomiality principle for the Legendre–Appell polynomials by presenting the following results:
Theorem 10. The Legendre–Appell polynomials satisfy the succeeding multiplicative and derivative operators:and Proof. In consideration of expression (
5), taking derivatives with respect to
v of expression (
13), we have
thus, we have
which gives the identity
Now, differentiating expression (
13) with respect to
, we have
On the usage of identity expression (
51) and replacing
in the righthand side of previous expression (
53), assertion (
47) is established.
Further, in view of identity expression (
51), we have
which gives an expression for the derivative operator (
48). □
Next, we deduce the differential equation for the Legendre–Appell polynomials by demonstrating the succeeding result:
Theorem 11. The Legendre–Appell polynomials satisfy the differential equation: Proof. Inserting expression (
47) and (
48) in the expression (
44), the assertion (
55) is proved. □
Next, we give the determinant form of Legendre–Appell polynomials in terms of Legendre polynomials by proving the result listed below:
Theorem 12. The Legendre–Appell polynomials give rise to the determinant represented by:where Proof. Multiplying both sides of Equation (
13) by
, we find
which, on using the Cauchy product rule, becomes
This equality results in a set of equations with variables , where = 0, 1, 2, ⋯. Solving this set using Cramer’s rule, and exploiting the denominator as the determinant of a lower triangular matrix with a determinant of , while transposing the numerator and subsequently substituting the i-th row with the -th position for produces the desired outcome. □
5. Examples
The Appell polynomial family is diverse, spanning various members derived by selecting an appropriate function
. Each member boasts unique characteristics, including distinct names, generating functions, and associated numerical properties. These polynomials find applications across numerous mathematical domains due to their versatility and rich properties. The selection of
plays a crucial role in defining the specific polynomial within the family, allowing for tailored solutions to various problems in mathematics and physics. Understanding the generating functions associated with these polynomials is essential for their practical utilization, enabling efficient computation and analysis. In the following sections, we delve into the intricacies of the generating functions that underpin the diverse set of Appell polynomials, shedding light on their mathematical elegance and practical significance in a wide array of applications. The generating function for the
Bernoulli polynomials
is given by
The generating expression for
Euler polynomials
is given by
The generating expression for
Genocchi polynomials
is given by
For
, these polynomials reduce to the
,
and
polynomials [
17].
The Bernoulli, Euler, and Genocchi numbers have found numerous applications in various areas of mathematics, including number theory, combinatorics, and numerical analysis. These applications extend to practical mathematics, where these polynomials and numbers are utilized to solve problems and derive mathematical formulas.
For instance, the Bernoulli numbers appear in various mathematical formulas, such as the Taylor expansion, trigonometric and hyperbolic tangent and cotangent functions, and sums of powers of natural numbers. These numbers play a crucial role in number theory, providing insights into patterns and relationships among integers.
Similarly, the Euler numbers arise in the Taylor expansion and have close connections to trigonometric and hyperbolic secant functions. They have applications in graph theory, automata theory, and calculating the number of up/down ascending sequences, contributing to the analysis of structures and patterns in discrete mathematics.
Moreover, the Genocchi numbers find utility in graph theory and automata theory. They are particularly valuable in counting the number of up/down ascending sequences, which involves studying the order and arrangement of elements in a sequence. Therefore, these polynomials and numbers of Bernoulli, Euler, and Genocchi play a significant role in various mathematical domains, allowing for the exploration of mathematical relationships, the derivation of formulas, and the analysis of patterns and structures.
By appropriately choosing the function
in Equation (
13), we can establish the following generating functions for the
Legendre-based Bernoulli
, Euler
, and Genocchi
polynomials:
and
Further, in view of expression (
22) and
Table 1, the polynomials
,
and
satisfy the following explicit form:
and
Furthermore, in view of expressions (
56), the polynomials
,
and
satisfy the following determinant representations:
and
6. Conclusions
The introduction and exploration of Legendre–Appell polynomials mark a significant advancement in polynomial theory, particularly in quantum mechanics and entropy modeling. Integrating the monomiality principle and operational rules, these polynomials offer fresh insights into uncharted mathematical territory. This research provides explicit formulas and elucidates fundamental properties, deepening our understanding of Legendre polynomials and linking them to established polynomial categories, enriching the mathematical landscape.
Future research could delve into structural properties and algebraic aspects, uncovering deeper insights and potential applications. Exploring their applicability in quantum mechanics and mathematical physics may reveal new research directions and practical implications. Additionally, bridging the gap between mathematical theory and real-world applications could maximize their potential, especially in statistical mechanics, information theory, and computational science. Collaborative interdisciplinary efforts could unlock the full potential of hybrid polynomials across diverse domains.
Therefore, introducing and investigating hybrid polynomials represent a significant milestone, fostering new research avenues and applications in various mathematical and scientific fields. Continued exploration and collaboration are essential for realizing their full potential and understanding their broader implications.