Abstract
A new class of partial differential equations having symmetric orthogonal solutions is presented. The general equation is presented and orthogonality is obtained using the Sturm–Liouville approach. Conditions on the polynomial coefficients to have admissible partial differential equations are given. The general case is analyzed in detail, providing orthogonality weight function, three-term recurrence relations for the monic orthogonal polynomial solutions, as well as explicit form of these monic orthogonal polynomial solutions, which are solutions of an admissible and potentially self-adjoint linear second-order partial differential equation of hypergeometric type.
Similar content being viewed by others
1 Introduction
Classical univariate orthogonal polynomials (of a continuous variable) can be introduced and characterized by different ways. One possible approach is to present them as solution of a second-order differential equation of hypergeometric type [29]
where a(x) and b(x) are polynomials of degree at most two and one, respectively, and \(\mu _{n}\) is a constant, usually referred as eigenvalue. The hypergeometric property means that if z(x) is a solution of (1.1), then any derivative of z(x) is solution of an equation of the same type. The characterization problem has been analyzed by several authors [9]. As it is well known, the Favard theorem [31] links orthogonality and three-term recurrence relation which in the univariate situation reads as
Classical univariate orthogonal polynomials (of a continuous variable and orthogonal with respect a positive weight function) are essentially the Jacobi, Laguerre and Hermite polynomials, which can be expressed in terms of hypergeometric functions. Moreover, the differential equation (1.1) can be discretized in several forms, giving rise to classical orthogonal polynomials of a discrete variable and classical orthogonal polynomials on nonuniform lattices [29]. All of them can be expressed in terms of hypergeometric series [14].
There are also several approaches in the multivariate context. Some authors have focused the analysis on the partial differential equation [15], but it is possible to introduce multivariate analogues of classical orthogonal polynomials from another approaches [2, 32,33,34]. A systematic analysis of the orthogonal polynomial solutions of some partial differential equations has been done by Suetin [30]. Let \(\Pi _{n}\) be the set of polynomials of total degree n in the multivariate case. There are three main concepts on the partial differential equation to be considered:
-
1.
Admissible: It might exist a sequence of eigenvalues \(\{\mu _n\}\) (\(n = 0,1,\dots \)) such that for each nonnegative integer n there are exactly \(n + 1\) linearly independent solutions in \(\Pi _{n}\) and the equation has not non-trivial solutions in \(\Pi _{k}\) for \(k<n\);
-
2.
Hypergeometric: If \(y(x_{1},\ldots ,x_{n})\) is solution of the partial differential equation, then
$$\begin{aligned} \displaystyle {\frac{\partial ^{r_{1}+r_{2}+\cdots +r_{n}}}{\partial x_{1}^{r_{1}} \partial x_{2}^{r_{2}} \cdots \partial x_{n}^{r_{n}}}} y(x_{1},\dots ,x_{n}) \end{aligned}$$is solution of an equation of the same type.
-
3.
Potentially self-adjoint: From the partial differential equation, it is possible to introduce an operator \({\mathcal {D}}\). The operator (and therefore the equation) is potentially self-adjoint in a domain \(\Omega \) if there exists a positive real function r in this domain such that the operator \(r {\mathcal {D}}\) is self-adjoint in the domain \(\Omega \).
Potentially self-adjoint second-order partial differential equations have been deeply analyzed by Suetin [30] (see Chapter V). The concept of hypergeometric was introduced by Lyskova [17, 18] with the name basic class. Admissible equations go back to the works of Krall and Sheffer [15]. In recent works [5], all these conditions have been imposed to the partial differential equations obtaining the algebraic and differential properties (as well as the weight functions) of orthogonal polynomial solutions of bivariate second-order linear partial differential equations which are admissible, potentially self-adjoint and of hypergeometric type. This analysis has been performed also for the discrete case [4] as well as for their q-analogues [6]. Furthermore, Lee [16] characterized centrally symmetric orthogonal polynomials satisfying an admissible partial differential equation of the form
where \(\mu _{n}=an\left( n-1\right) +gn.\) Lee [16] shows that these centrally symmetric orthogonal polynomials are either the product of Hermite polynomials which are solutions of the partial differential equation [15]
or the circle polynomials which are solutions of the partial differential equation [15]
These polynomials satisfy the property \(u_{n} (-x,-y)=(-1)^n u_{n} (x,y)\).
Many special functions of mathematical physics, such as associated Legendre functions [8], Hermite functions [11, 31], ultraspherical functions [11, 31], appear as solutions of a regular or singular Sturm–Liouville problems. These functions satisfy a symmetry property as \(\psi _{n}(-x)=(-1)^{n} \psi _{n}(x)\) and they have many applications in engineering and physics [8, 28].
On the other hand, the very classical second-order linear differential equation (1.1) has been symmetrically extended [19,20,21,22] in the following way. Let \(\psi _{n}(-x)=(-1)^{n} \psi _{n}(x)\) be a sequence of symmetric functions satisfying the equation
where \(\mu _{n}\) is a sequence of constants and
Under certain conditions on K(x), L(x), \((M(x)>0)\), Q(x), and O(x) it is possible to obtain the orthogonality weight function for the solutions of the latter equation.
In [20], for such an equation, a basic class of symmetric orthogonal polynomials with four free parameters whose special sub-cases are four main sequences of symmetric orthogonal polynomials such as the generalized ultraspherical polynomials [10, 11], generalized Hermite polynomials [11, 31] and two other sequences of symmetric polynomials, which are finitely orthogonal on \(\left( -\infty ,\infty \right) \), is introduced and its standard properties, such as orthogonality relation, three-term recurrence relation and so on, have been investigated. In [21, 22], using the extended Sturm–Liouville theorem for symmetric functions, two basic classes of symmetric orthogonal functions with five parameters and six parameters are obtained for second-order differential equations in the special forms of (1.2). Furthermore, using a generalization of Sturm–Liouville problems in discrete spaces, a basic class of symmetric orthogonal polynomials of a discrete variable with four free parameters, which generalizes all classical discrete symmetric orthogonal polynomials, is introduced in [23, 24]. For some other papers, we refer [3, 25,26,27]. By the motivation of these papers in the univariate case, we consider now the bivariate case. In this direction, in bivariate case we consider a class of partial differential equations that shall be shown to have symmetric solutions, using the Sturm–Liouville theorem to prove their orthogonality.
The main aim of this work is to present a symmetric generalization of previous works obtaining a new class of partial differential equations having symmetric orthogonal solutions. For this class, conditions on the equation to be admissible are given and the general case is analyzed in detail. We would like to notice that, to the best of our knowledge, this type of partial differential equation has not been considered before in the literature, as providing orthogonal polynomial solutions of it. The interest of having these new orthogonal polynomial families is not only theoretical. Since they do satisfy a partial differential equation it might be possible to consider orthogonal polynomial expansions of related partial differential equations by considering, e.g., the so-called Navima algorithm [7, 13], to get numerical approximations for the solutions to other partial differential equations.
The structure of this work is as follows. In Sect. 2, the new symmetric generalization to the bivariate case is presented, and orthogonality of the polynomial solutions is derived. Section 3 is devoted to analyze the conditions to have an admissible partial differential equation. Under these conditions several properties are obtained, namely: the three-term recurrence relations of the orthogonal polynomial solutions, the domain of orthogonality, as well as the explicit form of the monic orthogonal polynomial solutions, which are solutions of an admissible and potentially self-adjoint linear second-order partial differential equation of hypergeometric type.
2 Bivariate Symmetric Orthogonal Solutions
Let us consider the following second-order linear partial differential equation
where \(\kappa _{n}\) is defined in (1.3). We shall impose that for each \(n=0,1,2,\dots \) the latter equation has symmetric polynomial solutions \(u_{n}(x,y)\) of total degree n so that \(u_{n}(-x,-y)=(-1)^{n} u_{n}(x,y)\). Then,
Following [30], let us define the linear operator
If the operator (2.2) is self-adjoint, then
Let us assume that (2.2) is not self-adjoint and there exists a function \(\varrho (x,y)\) such that \(\varrho {\mathcal {D}}_{s}\) is self-adjoint in a certain domain \(\Omega \). Then,
Hence,
Let
where
Under these conditions (2.1) is potentially self-adjoint in a domain \(\Omega \) if
holds true. Since
we obtain
Since K, L, and M are even polynomials and Q, O are odd polynomials, we have
Thus, we have the following symmetry relation for the function \(\varrho (x,y)\) defined in (2.4):
Under these conditions, it is possible to write (2.1) in self-adjoint form as
Let us write (2.6) for \(u(x,y)=u_{n}(x,y)\):
and for \(u(x,y)=u_{m}(x,y)\):
If we multiply (2.7) by \(u_{m}(x,y)\) and (2.8) by \(u_{n}(x,y)\), and then substract them, we obtain
If we take integral on both sides, we have
Remark 2.1
Based on the analysis of Suetin [30] on potentially self-adjoint second-order partial differential equations, in the case \(\varphi (x,y)=1\), \(S(x,y)=T(x,y)=0\) of the partial differential equation (2.1), if the main differential operator is admissible and potentially self-adjoint in a simply connected domain \(\Omega \), there exists a weight function \(\varrho (x,y)\) of this operator in the domain \(\Omega \) and the solutions of the equation are orthogonal with respect to this weight function on the domain \(\Omega \). For the general equation (2.1), the calculations above show that if the equation is potentially self-adjoint, the function \(\varrho (x,y)\) is determined up to a constant factor and if the left side of (2.10) vanishes, for \(\mu _{n} \ne \mu _{m}\) the eigenfunctions of the Eq. (2.1) are orthogonal with respect to the weight function \(w(x,y)=\varrho (x,y)\varphi (x,y)\), which is positive (for \(\varphi (x,y)>0\)) and even function on \(\Omega \).
3 The Class of Admissible Partial Differential Equations
Let us assume that K, L and M are polynomials of total degree 4, Q and O are polynomials of total degree 3, and \(\varphi \) and T are polynomials of total degree 2, S is identically zero, such that the symmetry conditions (2.5) hold true:
In this section, we shall give conditions on the coefficients of the above polynomials to (2.1) be an admissible partial differential equation, that is, a partial differential equation having \(n+1\) linearly independent polynomial solutions for each nonnegative integer n.
Let \({\mathbf {x}}=(x,y) \in {\mathbf {R}}^{2}\). For each nonnegative integer n, let \({\mathbf {x}}^{n}\) be the column vector of the monomials \(x^{n-k} y^{k}\), whose elements are arranged in graded lexicographical order [12, p. 32]
In this way,
Let \(\Pi _{n}^{2}\) be the space of all polynomials in two variables \({\mathbf {x}}=(x,y)\) of total degree at most n. Then, any element of \(\Pi _{n}^{2}\) can be expressed as finite sums of terms of the form \(c_{k}x^{n-k}y^{k}\), where \(c_{k}\) are real constants.
If we apply the partial differential operator to \({\mathbf {x}}^{n}\) defined in (3.1), we obtain
under the restrictions
If we impose that the partial differential equation has a monic solution, that is
then the following conditions appear:
Without loss of generality we can assume \(\varphi _{0}=1\) and we obtain
Under these conditions and \(\mu _{n}\) defined in (3.2) the equation (2.1) is admissible, i.e., for each nonnegative integer n the equation has precisely \(n + 1\) linearly independent solutions in the form of polynomials of total degree n and has no non-trivial solutions in the set of polynomials whose total degree is less than n. Hence,
As a consequence,
as well as
Under these conditions the equation becomes potentially self-adjoint since (2.3) holds true. Moreover,
so that
The orthogonality domain is defined by \(\zeta (x,y) \ge 0\). For instance, if we fix \(m_{5}=1\), \(k_{5}=4k_{0} \varphi _{3}\), \(k_{0}=-1\), \(\varphi _{3}=-1\) (so that \(k_{5}=4\)), \(q_{0}=-7\) and \(l_{5}=0\), then the domain \(\Omega \) is defined by
the orthogonality weight function reduces to
and the polynomials become orthogonal with any polynomial of lower total degree, as it has been shown.
3.1 Three-Term Recurrence Relations for the Monic Orthogonal Polynomial Solutions
Let us assume that the partial differential equation has a monic symmetric polynomial solution of the form
where \({\mathbf {x}}^{n}\) is defined in (3.1). Let
be matrices of size \((n+1)\times (n+2)\). Then,
Hence,
and for \(j=1,2\),
where \(I_{n+1}\) stands for the identity matrix of size \(n+1\).
Moreover, let
be matrices of size \((n+1) \times n\). For \(n \ge 1\),
If we apply the second-order partial differential equation (2.1) to \({\mathbf {x}}^{n}\), we obtain that the matrix \(\widehat{G}_{n,n-2} \in {\mathcal {M}}(n+1,n-1)\) is tridiagonal
and
As it is well known [12], for \(n \ge 0\), there exist unique matrices \(A_{n,j}\) of the size \((n+1) \times (n+2)\), \(B_{n,j}\) of the size \((n+1) \times (n+1)\), and \(C_{n,j}\) of the size \((n+1) \times n\), such that
with the initial conditions \(\mathbb {P}_{-1}=0\) and \(\mathbb {P}_{0}=1\) where we have denoted \(x_{1}=x\) and \(x_{2}=y\). In the symmetric case \(B_{n,j}\) is zero. From [5, Theorem 4.2] in this symmetric case, we have:
Corollary 3.1
In the monic case, the explicit expressions of the matrices \(A_{n,j}\) and \(C_{n,j}\) (\(j =1, 2\)), that appear in (3.7) in terms of the values of \(\widehat{G}_{n,n-2}\), are given by
where the matrices \(L_{n,j}\) have been introduced in (3.4), and the coefficients of the matrix \(\widehat{G}_{n,n-2}\) defined in (3.5) are given in (3.6).
The matrix \(C_{n,1} \in {\mathcal {M}}(n+1,n)\) is tridiagonal
where
The matrix \(C_{n,2} \in {\mathcal {M}}(n+1,n)\) is also tridiagonal
where
3.2 Explicit Form of the Monic Orthogonal Polynomial Solutions
Next, we obtain the explicit form of the monic polynomial solutions of the partial differential equation (2.1) for the specific form of the polynomials (3.3).
Proposition 3.2
Assuming that the polynomials of (2.1) are given by (3.3), then the monic polynomial solutions of the partial differential equation (2.1) can be explicitly given as:
for \(0\le k\le n\), where \(\kappa _{n}\) is defined in (1.3), \((\lambda )_n=\lambda (\lambda +1)\cdots (\lambda +n-1)\) denotes the Pochhammer symbol for a nonnegative integer n, with \((\lambda )_{0}=1\), and we use the convention \(\prod _{j=1}^{0} a_{j}=1\).
Proof
For the specific form of the polynomials (3.3), plug into (2.1) the expansion (3.8) to obtain that all the coefficients vanish. \(\square \)
3.3 Partial Differential Equation of Hypergeometric Type
Moreover, the partial derivatives of \(P_{n,k}\) also satisfy an equation of the same type. More precisely:
Proposition 3.3
Let \(P_{n,k}(x,y)\) be the monic orthogonal polynomials defined in (3.8) solutions to the second-order partial differential equation (2.1) for the specific values of the polynomials given in (3.3). Then, the partial derivatives of \(P_{n,k}(x,y)\)
are solution of an equation of the same type as (2.1)
where
Proof
The result follows by direct substitution of the partial derivatives of the explicit expression (3.8) into (3.9) and equate the coefficients. \(\square \)
Remark 3.4
Since the polynomials K, L and M in the equation for the partial derivatives (3.9) do not depend on r and s, then the polynomial \(\zeta ^{(r,s)}(x,y)\) is exactly the same as for the initial equation. Moreover,
Since
the equation for the partial derivatives (3.9) is again potentially self-adjoint, as well as hypergeometric since the partial derivatives of any order of any solution of (3.9) are solution of an equation of the same type.
References
Andrews, G.E., Askey, R.: Classical orthogonal polynomials. In: Brezinski, C., et al. (eds.) Polynômes Orthogonaux et Applications. Lecture Notes in Mathematics, vol. 1171, pp. 36–62. Springer, Berlin (1985)
Area, I.: Hypergeometric multivariate orthogonal polynomials. In: Foupouagnigni, M., Koepf, W. (eds.) Orthogonal Polynomials, Tutorials, Schools, and Workshops in the Mathematical Sciences. Springer Nature, Switzerland AG (2020)
Area, I., Masjed-Jamei, M.: A class of symmetric \(q\)-orthogonal polynomials with four free parameters. Bull. Sci. Math. 141(8), 785–801 (2017)
Area, I., Godoy, E., Rodal, J.: On a class of bivariate second-order linear partial difference equations and their monic orthogonal polynomial solutions. J. Math. Anal. Appl. 389, 165–178 (2012)
Area, I., Godoy, E., Ronveaux, A., Zarzo, A.: Bivariate second-order linear partial differential equations and orthogonal polynomial solutions. J. Math. Anal. Appl. 387, 1188–1208 (2012)
Area, I., Atakishiyev, N., Godoy, E., Rodal, J.: Linear partial \(q\)-difference equations on \(q\)-linear lattices and their bivariate \(q\)-orthogonal polynomial solutions. Appl. Math. Comput. 223, 520–536 (2013)
Area, I., Godoy, E., Rodal, J., Ronveaux, A., Zarzo, A.: Bivariate Krawtchouk polynomials: Inversion and connection problems with the NAVIMA algorithm. J. Comput. Appl. Math. 284, 50–57 (2015)
Arfken, G.B., Weber, H.J., Harris, F.E.: Mathematical Methods for Physicists. Seventh edition. Academic Press, San Diego, CA (2012)
Atakishiyev, N.M., Rahman, M., Suslov, S.K.: On classical orthogonal polynomials. Constr. Approx. 11(2), 181–226 (1995)
Charris, J.A., Ismail, M.E.H.: On sieved orthogonal polynomials II: Random walk polynomials. Can. J. Math. 38, 397–415 (1986)
Chihara, T.S.: Introduction to Orthogonal Polynomials. Gordon and Breach, New York (1978)
Dunkl, C.F., Xu, Y.: Orthogonal Polynomials of Several Variables, Encyclopedia of Mathematics and Its Applications, vol. 81. Cambridge University Press, Cambridge (2001)
Godoy, E., Ronveaux, A., Zarzo, A., Area, I.: Minimal recurrence relations for connection coefficients between classical orthogonal polynomials: Continuous case. J. Comput. Appl. Math. 84, 257–275 (2007)
Koekoek, R., Lesky, P.A., Swarttouw, R.F.: Hypergeometric Orthogonal Polynomials and Their \(q\)-Analogues. Springer, Berlin (2010)
Krall, H.L., Sheffer, I.M.: Orthogonal polynomials in two variables. Ann. Mat. Pura Appl. 4, 325–376 (1967)
Lee, J.K.: Centrally symmetric orthogonal polynomials in two variables. Comm. Korean Math. Soc. 12(3), 645–653 (1997)
Lyskova, A.S.: Orthogonal polynomials in several variables. Sov. Math. Dokl. 43, 264–268 (1991)
Lyskova, A.S.: On some properties of orthogonal polynomials in several variables. Russ. Math. Surv. 52, 840–841 (1997)
Masjed-Jamei, M.: A generalization of classical symmetric orthogonal functions using a symmetric generalization of Sturm-Liouville problems. Integral Transf. Spec. Funct. 18, 871–883 (2007)
Masjed-Jamei, M.: A basic class of symmetric orthogonal polynomials using the extended Sturm–Liouville theorem for symmetric functions. J. Math. Anal. Appl. 325, 753–775 (2007)
Masjed-Jamei, M.: A basic class of symmetric orthogonal functions using the extended Sturm–Liouville theorem for symmetric functions. J. Comput. Appl. Math. 216(1), 128–143 (2008)
Masjed-Jamei, M.: A basic class of symmetric orthogonal functions with six free parameters. J. Comput. Appl. Math. 234(1), 283–296 (2010)
Masjed-Jamei, M., Area, I.: A symmetric generalization of Sturm-Liouville problems in discrete spaces. J. Differ. Equ. Appl. 19(9), 1544–1562 (2013)
Masjed-Jamei, M., Area, I.: A basic class of symmetric orthogonal polynomials of a discrete variable. J. Math. Anal. Appl. 399(1), 291–305 (2013)
Masjed-Jamei, M., Koepf, W.: On incomplete symmetric orthogonal polynomials of Jacobi type. Integral Transf. Spec. Funct. 21(9), 655–662 (2010)
Masjed-Jamei, M., Koepf, W.: On incomplete symmetric orthogonal polynomials of Laguerre type. Appl. Anal. 90(3–4), 769–775 (2011)
Masjed-Jamei, M., Moalemi, Z., Saad, N.: Incomplete symmetric orthogonal polynomials of finite type generated by a generalized Sturm-Liouville theorem. J. Math. Phys. 61(2), 023501 (2020)
Nikiforov, A.F., Uvarov, V.B.: Special Functions of Mathematical Physics. Birkhauser, Basel-Boston (1988)
Nikiforov, A.F., Suslov, S.K.., Uvarov, V.B.: Classical orthogonal polynomials of a discrete variable. In: Springer Series in Computational Physics. Springer, Berlin (1991)
Suetin, P.K.: Orthogonal Polynomials in Two Variables. Gordon and Breach Science Publishers, Amsterdam (1999)
Szegö, G.: Orthogonal Polynomials, Amer. Math. Soc. Colloq. Publ., vol. XXIII. AMS, Providence (1978)
Tratnik, M.V.: Multivariable Meixner, Krawtchouk, and Meixner–Pollaczek polynomials. J. Math. Phys. 30, 2740–2749 (1989)
Tratnik, M.V.: Some multivariable orthogonal polynomials of the Askey tableau—continuous families. J. Math. Phys. 32, 2065–2073 (1991)
Tratnik, M.V.: Some multivariable orthogonal polynomials of the Askey tableau—discrete families. J. Math. Phys. 32, 2337–2342 (1991)
Acknowledgements
The authors thank the referees for their valuable comments which improved a preliminary version of this work. The work of R.A. has been partially supported by TUBITAK Research Grant Proj. No. 120F140. The work of I.A. has been partially supported by the Agencia Estatal de Investigación (AEI) of Spain under Grant MTM2016-75140-P, cofinanced by the European Community fund FEDER. Funding for open access charge: Universidade de Vigo/CISUG.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Majid Soleimani-damaneh.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Tefo, Y.G., Aktaş, R., Area, I. et al. On a Symmetric Generalization of Bivariate Sturm–Liouville Problems. Bull. Iran. Math. Soc. 48, 1649–1665 (2022). https://doi.org/10.1007/s41980-021-00605-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s41980-021-00605-8