Abstract
Given a linear second-order differential operator \({\mathcal {L}}\equiv \phi \,D^2+\psi \,D\) with non zero polynomial coefficients of degree at most 2, a sequence of real numbers \(\lambda _n\), \(n\geqslant 0\), and a Sobolev bilinear form
where \({\mathbf {u}}_k\), \(0\leqslant k \leqslant N\), are linear functionals defined on polynomials, we study the orthogonality of the polynomial solutions of the differential equation \({\mathcal {L}}[y]=\lambda _n\,y\) with respect to \({\mathcal {B}}\). We show that such polynomials are orthogonal with respect to \({\mathcal {B}}\) if the Pearson equations \(D(\phi \,{\mathbf {u}}_k)=(\psi +k\,\phi ')\,{\mathbf {u}}_k\), \(0\leqslant k \leqslant N\), are satisfied by the linear functionals in the bilinear form. Moreover, we use our results as a general method to deduce the Sobolev orthogonality for polynomial solutions of differential equations associated with classical orthogonal polynomials with negative integer parameters.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
For a fixed integer \(N\geqslant 0\), let \({\mathbf {u}}_k\), \(0\leqslant k \leqslant N\), be linear functionals defined on polynomials. Then, a symmetric bilinear form \({\mathcal {B}}\) can be defined as
A bilinear form involving derivatives, such at (1.1), is said to be a Sobolev bilinear form.
The case when \({\mathbf {u}}_N\) is a regular (or quasi-definite) linear functional and \({\mathbf {u}}_k,\) \(0\leqslant k \leqslant N-1\), are Dirac deltas supported on convenient points of the real line has been of great interest. In [9], the following discrete-continuous Sobolev bilinear form was studied:
where \(c_{0},\ldots , c_{N-1}\) are distinct real numbers, N is a fixed positive integer, \({\mathbf {u}}_N\) is a regular linear functional, and \(\mathbf{A}\) is an \(N\times N\) quasi-definite symmetric real matrix, that is, its principal submatrices are nonsingular. Notice that (1.2) can be written as
where \({\mathcal {D}}_I\) and \({\mathcal {C}}_I\) are bilinear forms associate with the discrete and continuous parts of \({\mathcal {B}}_I\), respectively. Using the fact that \(\mathbf{A}\) is quasi-definite, it was shown in [9] that if the monic polynomials \(\{Q_n(x)\}_{n\ge 0}\) are orthogonal with respect to \({\mathcal {B}}_I\), then, for \(n\geqslant N\):
-
\(Q_{n}(c_j)=0,\)\(0\leqslant j \leqslant N-1\),
-
\(Q_n(x)=h(x)R_{n-N}(x)\), where \(h(x)=\prod _{j=0}^{N-1}(x-c_j)\) and \(R_{n-N}\) is a monic polynomial of degree \(n-N\),
-
\(Q^{(N)}_{n}(x)=\dfrac{n!}{(n-N)!}P_{n-N}(x)\), where \(\{P_n(x)\}_{n\ge 0}\) are monic orthogonal polynomials associated with \({\mathbf {u}}\),
-
\(\{Q_n(x)\}_{n=0}^{N-1}\) are orthogonal with respect to \({\mathcal {D}}_I\).
Similar results were obtained in [10], where the bilinear form (1.1) was considered with \({\mathbf {u}}_N\) regular, and taking \({\mathbf {u}}_k\), \(0\leqslant k \leqslant N-1\), to be derivatives of Dirac deltas supported on some points of the real line.
Special attention has been given to the case when \({\mathbf {u}}_N\) is associated with the classical Jacobi or Laguerre orthogonal polynomials, and \({\mathbf {u}}_k\), \(0\leqslant k \leqslant N-1\), are derivatives of Dirac deltas supported on the endpoints of the interval of orthogonality of \({\mathbf {u}}_N\) (see [1,2,3, 5, 15, 18, 19] and the references therein). Such bilinear forms arise when studying the orthogonality of Jacobi or Laguerre polynomials with the so-called non standard parameters, that is, negative integer parameters such that the coefficient \(c_n\) in the corresponding three-term recurrence relation
vanishes. In this case, discrete-continuous Sobolev orthogonality must be considered since, due to Favard’s Theorem (see [6], Theorem 4.4), there is no regular linear functional associated with these families of polynomials.
The main strategy for dealing with Jacobi and Laguerre polynomials with non-standard parameters (Gegenbauer polynomials included) is to use the fact that the derivatives of the classical orthogonal polynomials are again polynomials of the same family with a shift in their parameters. For instance, in [15], the Sobolev orthogonality for the Laguerre polynomials \(\{L_n^{(-N)}(x)\}_{n\geqslant 0}\) was established through the bilinear form (1.1) with \({\mathbf {u}}_N\) being the classical linear functional associated with the Laguerre polynomials \(\{L_n^{(0)}(x)\}_{n\geqslant 0}\) and the rest of the functionals being derivatives of Dirac deltas supported on the origin of the real line. Later, in [18], a unified approach to the orthogonality of the generalized Laguerre polynomials \(\{L_n^{(\alpha )}(x)\}_{n\geqslant 0}\) was given for any real value of the parameter \(\alpha \), by proving their orthogonality with respect to a more general Sobolev non-diagonal inner product that reduces to (1.1) when \(-\alpha \,=\,N\in {\mathbb {N}}\).
In [3], a general approach was given for dealing with the orthogonality of Gegenbauer polynomials \(\{C_n^{(-m+1/2)}(x)\}_{n\geqslant 0}\) with non standard parameters, that is, for \(m\in {\mathbb {N}}\). Therein, the bilinear form (1.1) is expressed as the sum of two bilinear forms: a discrete form \({\mathcal {D}}\) (\({\mathbf {u}}_k\), \(0\leqslant k \leqslant 2\,m\), are derivatives of Dirac deltas supported on the endpoints of the interval of orthogonality \([-1,1]\)), and a continuous form \({\mathcal {C}}\) defined by means of \({\mathcal {C}}(p,q)\,=\,\langle {\mathbf {u}}_{2m}, p^{(2m)}\,q^{(2m)}\rangle \), where \({\mathbf {u}}_{2m}\) is the regular linear functional associated with the Gegenbauer polynomials \(\{C_n^{(m+1/2)}(x)\}_{n\geqslant 0}\). We must remark that the strategy followed in [3] is to prove the existence of a \(2m\times 2m\) symmetric positive definite matrix \({\mathbf {A}}\) such that
where \({\mathbf {F}}\,=\,(f(1),f'(1),\ldots ,f^{(m-1)}(1), f(-1),f'(-1),\ldots ,f^{(m-1)}(-1))\), and, therefore,
Observe that \({\mathcal {B}}\) acts on polynomials of degree \(\leqslant 2m-1\) only through \({\mathcal {D}}\), and, for polynomials of degree \(\geqslant 2m\), \({\mathcal {B}}\) acts only through \({\mathcal {C}}\). In the same way, in [19], the Jacobi polynomials \(\{P_n^{(-N,\beta )}(x)\}_{n\geqslant 0}\) with \(N\in {\mathbb {N}}\) and \(-\beta \not \in {\mathbb {N}}\), were proven to be orthogonal with respect to
where \(\widetilde{{\mathbf {F}}}=(f(1),f'(1),\ldots ,f^{(N-1)}(1))\), \({\mathbf {A}}\) is a symmetric positive definite matrix and \({\mathbf {u}}_N\) is the regular linear functional associated with the Jacobi polynomials \(\{P_n^{(0,\beta +N)}(x)\}_{n\geqslant 0}\).
The study of the Jacobi polynomials \(\{P_n^{(-k,-\ell )}(x)\}_{n\geqslant 0}\), \(k,\ell \in {\mathbb {N}}\), presents an additional challenge. As shown in [20], the hypergeometric expression for \(P_n^{(\alpha ,\beta )}(x)\) is valid for arbitrary complex values of the parameters \(\alpha \) and \(\beta \). Nevertheless, a reduction of the degree of \(P_n^{(\alpha ,\beta )}(x)\), \(n\geqslant 1\), occurs if and only if \(n=-\alpha -\beta -j\) for a certain integer \(1\leqslant j \leqslant n\). In [1], this issue is dealt with by defining the monic generalized Jacobi polynomial \({\mathcal {P}}^{(-k,-\ell )}_n(x)\) by means of the following formula:
where \(h = k+\ell -n -1\) if \((k + \ell )/2\leqslant n < \max \{k, \ell \}\), and \(h = n\) otherwise. The polynomials defined in (1.4) inherit several of the important properties of the Jacobi polynomials and satisfy \(\deg {\mathcal {P}}^{(-k,-\ell )}_n=n\), \(n\geqslant 0\). Moreover, these polynomials are orthogonal with respect to the bilinear
where \(\widehat{{\mathcal {C}}}\) is a discrete bilinear form as in (1.3) with \(\mathbf{A}\) being an \(N\times N\) symmetric matrix, and \({\mathbf {u}}\) is the regular linear functional associated with \(\{P_n^{(\ell ,k)}(x)\}_{n\geqslant 0}\).
Using some ideas from [17], a construction of discrete-continuous bilinear forms is presented in [19], that is valid for general orthogonal polynomials \(\{p_n(x)\}_{n\geqslant 0}\), not necessarily the Jacobi and Laguerre polynomials. Therein, the discrete part \({\mathcal {D}}\) is defined by \({\mathcal {D}}(p_n,p_m)\,=\,k_n\,\delta _{n,m}\), \(n,m\leqslant N-1\), with arbitrary positive constants \(k_n\). Therefore, \({\mathcal {D}}\) acts on the linear space of polynomials of degree at most \(N-1\), and its Gram matrix associated with the basis \(\{p_n(x)\}_{n=0}^{N-1}\) is a diagonal matrix \({\mathbf {K}}\,=\,\text {diag}\{k_0, k_1,\ldots , k_{N-1}\}\). A non singular matrix \({\mathbf {H}}\) is defined as the inverse of a matrix whose entries are the polynomials \(p_0(x), p_1(x), \ldots , p_{N-1}(x)\) and possibly their derivatives evaluated at the roots of polynomials \(p_N(x)\) (taking into account their multiplicities) which are known. Then,
where \({\mathbf {P}}\) and \({\mathbf {Q}}\) are vectors whose entries are the evaluations of p(x) and q(x), and possibly their derivatives, at the roots of \(p_N(x)\). Note that \({\mathbf {A}}\,=\,{\mathbf {H}}\,{\mathbf {K}}\,{\mathbf {H}}^t\) is the Gram matrix of \({\mathcal {D}}\) with respect to the basis of Lagrange interpolation polynomials associated with the roots of \(p_N(x)\). In this way, \({\mathcal {D}}\) is the restriction of the bilinear form \({\mathcal {B}}\) to the linear space of polynomials of degree at most \(N-1\), and, thus, \({\mathcal {B}}\,=\,{\mathcal {D}}+{\mathcal {C}}\) for some appropriate continuous bilinear form \({\mathcal {C}}\).
Finally, [16] studies the orthogonality of the polynomial solutions of the linear second-order differential equation
where \(\phi \) and \(\psi \) are non zero polynomials of degree at most 2, and \(\lambda _n\) are constants. Therein, we find the following result.
Theorem
([16, Theorem 3.3.]) Let \(\{P_n(x)\}_{n\geqslant 0}\) be a sequence of orthogonal polynomials associated with the (quasi-definite) bilinear form (1.1) (with \(N=1\)). Then the following statements are equivalent:
-
(a)
\(\{P_n(x)\}_{n\geqslant 0}\) satisfies the differential equation \({\mathcal {L}}[P_n]=\lambda _n\,P_n\).
-
(b)
The differential operator \({\mathcal {L}}\) is symmetric with respect to \({\mathcal {B}}\), that is,
$$\begin{aligned} {\mathcal {B}}({\mathcal {L}}[p],q)\,=\,{\mathcal {B}}(p,{\mathcal {L}}[q]), \end{aligned}$$for all polynomials p, q.
-
(c)
The linear functionals \({\mathbf {u}}_0\) and \({\mathbf {u}}_1\) satisfy the distributional differential equations
$$\begin{aligned} \phi \,{\mathbf {u}}^\prime _0\,=\,\psi \,{\mathbf {u}}_0, \quad (\phi \,{\mathbf {u}}_1)'\,=\,\psi \,{\mathbf {u}}_1. \end{aligned}$$
Using the fact that the classical orthogonal polynomials are characterized by satisfying the differential equation (1.5) (see [4] as well as [16, Theorem 3.5.]), [16] deals with some examples of classical orthogonal polynomials with non standard parameters, including the Laguerre polynomials with parameter \(\alpha =~-1\); and the Jacobi polynomials with parameters \(\alpha \,=\,\beta \,=\,-1\), \(\alpha \,=\,-1\) and \(-\beta \not \in {\mathbb {N}}\), and \(-\alpha \not \in {\mathbb {N}}\) and \(\beta \,=\,-1\).
The general aim of this paper is motivated by Theorem 3.3 of [16] in the sense that we study the orthogonality of polynomial solutions of (1.5) when \({\mathcal {L}}\) is symmetric with respect to (1.1) for arbitrary \(N\geqslant 0\). In this way, we show that the discrete-continuous Sobolev orthogonality of classical orthogonal polynomials with non standard parameters arises from the symmetry of the operator \({\mathcal {L}}\) and, in fact, we recover the matrix representation of the discrete part of the corresponding bilinear forms. In contrast with [1], we deal with the reduction in degree of the Jacobi polynomials \(P_n^{(-k,-\ell )}(x)\), \(k,\ell \in {\mathbb {N}}\), by explicitly constructing a polynomial solution of (1.5) of degree n for each \(n\geqslant 0\).
In Sect. 2, we present basic facts about orthogonal polynomials and, in particular, the classical Hermite, Laguerre, Bessel, and Jacobi polynomials. The main results of this paper are collected in Sect. 3, where we study conditions for a linear second-order differential operator to be symmetric with respect to the bilinear form (1.1). We show that the linear functionals in \({\mathcal {B}}\) must satisfy the related distributional Pearson equations. Hence, in this section we also study the solutions of the Pearson equations. Lastly, in Sect. 4, we apply our results to deduce the Sobolev orthogonality for polynomial solutions of the differential equations corresponding to the classical orthogonal polynomials with non-standard parameters.
2 Preliminaries
In this section, we present the basic facts needed to establish our main results.
2.1 Orthogonal polynomials
We denote by \({\mathbb {R}}\) the set of real numbers, and \({\mathbb {N}}\) denotes the set of positive integers. For each integer \(n\geqslant 0\), we denote by \(\varPi _n\) the linear space of real polynomials of degree at most n, and let \(\varPi =\bigcup \nolimits _{n\geqslant 0} \varPi _n\) be the collection of all such polynomials.
We call any linear functional \({\mathbf {u}}: \varPi \rightarrow {\mathbb {R}}\) a moment functional, and the image of a polynomial \(p\in \varPi \) under \({\mathbf {u}}\) will be denoted by \(\langle {\mathbf {u}}, p\rangle \). We denote by \(\varPi '\) the linear space of moment functionals, that is, \(\varPi '=\{{\mathbf {u}}: \varPi \rightarrow {\mathbb {R}}\,|\, {\mathbf {u}}\text { is linear}\}\). Observe that \(\varPi '\) is the algebraic dual of \(\varPi \). Given a sequence of real numbers \(\{\mu _n\}_{n\geqslant 0}\), a moment functional \({\mathbf {u}}\) can be defined by means of its moments as
and extended by linearity to all of \(\varPi \).
Let \(D: \varPi ' \rightarrow \varPi '\) denote the distributional differential operator. Given a moment functional \({\mathbf {u}}\), its derivative \(D{\mathbf {u}}\) is the moment functional defined by
and the left multiplication of \({\mathbf {u}}\) by a polynomial \(q\in \varPi \) is the moment functional \(q{\mathbf {u}}\) defined by
Moreover, the product rule holds, that is, \(D(q{\mathbf {u}})\,=\, q'{\mathbf {u}}+q\,D{\mathbf {u}}\).
Lemma 1
Let \({\mathbf {u}}\) be a moment functional. Then \({\mathbf {u}}\,=\,{\mathbf {0}}\) if and only if \(D{\mathbf {u}}\,=\,{\mathbf {0}}\), where \({\mathbf {0}}\) is the null moment functional defined as \(\langle {\mathbf {0}}, q\rangle \,=\,0\), for all \(q\in \varPi \).
Proof
On one hand, assume that \({\mathbf {u}}\,=\,{\mathbf {0}}\). Then, \(\langle D{\mathbf {u}}, 1\rangle \,=\, -\langle {\mathbf {u}}, 0\rangle \,=\,0\), and, for \(n\geqslant 1\), \(\langle D{\mathbf {u}}, x^n\rangle \,=\, -\langle {\mathbf {u}}, n\,x^{n-1}\rangle \,=\,0\). On the other hand, if \(D{\mathbf {u}}={\mathbf {0}}\), then, for \(n\geqslant 0\),
\(\square \)
We call any map \({\mathcal {B}}:\varPi \times \varPi \rightarrow {\mathbb {R}}\) a bilinear form if for all \(p,q,r\in \varPi \) and \(\lambda \in {\mathbb {R}}\), it holds that
that is, \({\mathcal {B}}\) is linear in each one of its entries. Additionally, if \({\mathcal {B}}(p,q)\,=\,{\mathcal {B}}(q,p)\) for all \(p,q\in \varPi \), then we say that \({\mathcal {B}}\) is symmetric.
Let \(\{p_n(x)\}_{n\geqslant 0}\) be a sequence in \(\varPi \) such that \(\deg p_n\,=\,n\) for \(n\geqslant 0\). Then \(\{p_n(x)\}_{n\geqslant 0}\) is a basis for \(\varPi \). In addition, if \({\mathcal {B}}(p_n,p_m)\,=0\) for \(n\ne m\) and \({\mathcal {B}}(p_n,p_n)\,\ne \,0\) for \(n\geqslant 0\), we say that \(\{p_n(x)\}_{n\geqslant 0}\) is an orthogonal polynomial sequence (OPS) associated with \({\mathcal {B}}\).
Given a symmetric bilinear form \({\mathcal {B}}\), there is not always an OPS associated with \({\mathcal {B}}\). If an OPS associated with \({\mathcal {B}}\) exists, then \({\mathcal {B}}\) is called quasi-definite. A bilinear form \({\mathcal {B}}\) is positive definite if \({\mathcal {B}}(p,p)>0\) for every non-zero polynomial \(p\in \varPi \). Positive definite bilinear forms are quasi-definite and, thus, an OPS associated with \({\mathcal {B}}\) exists.
Following [16], the quasi-definite and positive definite character of a symmetric bilinear form \({\mathcal {B}}\) can be characterized in terms of the principal minors of the Gram matrix defined from the elements \(\mu _{i,j}:={\mathcal {B}}(x^i,x^j)\), \(i,j\geqslant 0\). Indeed, \({\mathcal {B}}\) is quasi-definite (resp. positive definite) if and only if
(resp. \(\varDelta _n({\mathcal {B}})>0\), for all \(n\geqslant 0\)). Observe that, since \({\mathcal {B}}\) is symmetric, \(\mu _{i,j}=\mu _{j,i}\), \(i,j\geqslant 0\), and, thus, \(\varDelta _n({\mathcal {B}})\), \(n\geqslant 0\), are the principal minors of a symmetric Gram matrix.
Given \({\mathbf {u}}\in \varPi '\), we can define the bilinear form \({\mathcal {B}}(p,q)=\langle {\mathbf {u}}, p\,q\rangle \), \(p,q\in \varPi \). Then, we will say that \({\mathbf {u}}\) is quasi-definite (resp. positive definite) if and only if \({\mathcal {B}}\) is quasi-definite (resp. positive definite), and that there is an OPS associated with \({\mathbf {u}}\). In this case, \({\mathcal {B}}(x^i,x^j)=\langle {\mathbf {u}}, x^{i+j}\rangle \) and, thus, \(\varDelta _n({\mathcal {B}})\), \(n\geqslant 0\), are the principal minors of a Gram matrix with Hankel structure.
2.2 Classical moment functionals
A quasi-definite moment functional \({\mathbf {u}}\) is called classical if there are non-zero polynomials \(\phi \) and \(\psi \), with \(\deg \phi \leqslant 2\) and \(\deg \psi =1\), such that \({\mathbf {u}}\) satisfies the distributional Pearson equation
or, equivalently,
An OPS associated with a classical moment functional is called a classical OPS.
Although there are several properties that characterize the classical moment functionals, we focus our attention on two of them: the first one given in 1929 by Bochner [4] and the second one given in 1935 by Hahn [11]. We state both characterizations in the following theorem.
Theorem 1
Let \({\mathbf {u}}\) be a quasi-definite functional and \(\{P_n(x)\}_{n\geqslant 0}\) an OPS associated with \({\mathbf {u}}\). The following statements are equivalent.
-
1.
\({\mathbf {u}}\) is classical.
-
2.
[4] There are non zero polynomials \(\phi \) and \(\psi \) with \(\deg \phi \leqslant 2\) and \(\deg \psi =1\), such that, for all \(n\geqslant 0\), \(P_n(x)\) satisfies
$$\begin{aligned} \phi \,P_n''+\psi \,P_n'=\lambda _n\,P_n, \end{aligned}$$(2.1)where \(\lambda _n=n(\frac{n-1}{2}\phi ''+\psi ')\).
-
3.
[11] There is a non zero polynomial \(\phi \) with \(\deg \phi \leqslant 2\), such that \(\left\{ P_{n+1}'\right\} _{n\geqslant 0}\) is a sequence of orthogonal polynomials associated with the moment functional \({\mathbf {v}}=\phi \,{\mathbf {u}}\).
It is well known (see [4] as well as [12, 17]) that, up to affine transformations of the independent variable, the only families of classical orthogonal polynomials are the Hermite, Laguerre, Jacobi, and Bessel polynomials. The classical orthogonal polynomials are classified according to the canonical form of the polynomial \(\phi (x)\).
Family | \(\phi (x)\) | \(\psi (x)\) | \(\lambda _n\) |
---|---|---|---|
Hermite | 1 | \(-2\,x\) | \(-2\,n\) |
Laguerre | x | \(\alpha +1-x\) | \(-n\) |
Jacobi | \(1-x^2\) | \(\beta -\alpha -(\alpha +\beta +2)\,x\) | \(-n\,(n+\alpha +\beta +1)\) |
Bessel | \(x^2\) | \(a \,x+2\) | \(n\,(n+a-1)\) |
We remark that when \(\phi (x)\equiv 0\), the polynomial solutions of (2.1) are the elements of the sequence \(\{x^n\}_{n\geqslant 0}\), which can not be associated with a quasi-definite moment functional.
The following explicit expressions for the Hermite, Laguerre, and Jacobi polynomials appear in [20], and the explicit expression for the Bessel polynomials is found in [13, p. 108].
Hermite: | \(H_n(x)=n!\,\sum _{k=0}^{\lfloor \frac{n}{2}\rfloor }\dfrac{(-1)^k}{k!\,(n-2k)!}(2\,x)^{n-2k}\), |
Laguerre: | \(L_n^{(\alpha )}(x)=\sum _{k=0}^n(-1)^k\left( {\begin{array}{c}n+\alpha \\ n-k\end{array}}\right) \frac{1}{k!}x^k\), |
Jacobi: | \(P_n^{(\alpha ,\beta )}(x)=\dfrac{1}{n!}\sum _{k=0}^n\left( {\begin{array}{c}n\\ k\end{array}}\right) (k+\alpha +1)_{n-k}(k+\alpha +\beta +1)_k\left( \dfrac{x-1}{2} \right) ^k\), |
Bessel: | \(B_{n}^{(a)}(x) =\sum _{k=0}^n \,\left( {\begin{array}{c}n\\ k\end{array}}\right) \,(n+a-1)_k\, \left( \dfrac{x}{2}\right) ^k\), |
where, as usual,
denotes the Pochhammer symbol, and
denotes the extended binomial coefficient.
As shown in [20], the expression for \(P_n^{(\alpha ,\beta )}(x)\) is valid for arbitrary complex values of the parameters \(\alpha \) and \(\beta \). Nevertheless, a reduction of the degree of \(P_n^{(\alpha ,\beta )}(x)\), \(n\geqslant 1\), occurs if and only if \(n=-\alpha -\beta -k\) for a certain integer \(1\leqslant k \leqslant n\). The expression for \(L_n^{(\alpha )}(x)\) is valid for arbitrary values of the parameter \(\alpha \) (see [20]), and no reduction in the degree ever occurs. For \(-a\in {\mathbb {N}}\), the expression for \(B_{n}^{(a)}(x)\) suffers a reduction in degree if and only if \(n\,=\,1-a-k\) for some \(0\leqslant k \leqslant n-1\).
For arbitrary values of the parameters, the above expressions for \(H_n\), \(L_n^{(\alpha )}\), \(P_n^{(\alpha ,\beta )}\), and \(B_n^{(a)}\) are polynomials solutions of the differential equation (2.1) with the corresponding polynomials \(\phi (x)\) and \(\psi (x)\). Namely, they satisfy the following linear second-order differential equations:
\(P^{(\alpha ,\beta )}_n\): | \((1-x^2)\,y''+[\beta -\alpha -(\alpha +\beta +2)\,x]\,y'\,=\,-n\,(n+\alpha +\beta +1)\,y\) |
\(B_{n}^{(a)}\): | \(x^2\,y''+(a\,x+2)\,y'\,=\,n\,(n+a-1)\,y\) |
\(L_n^{(\alpha )}\): | \(x\,y''+(\alpha +1-x)\,y'\,=\,-n\,y\) |
\(H_n\): | \(y''-2\,x\,y'\,=\,-2\,n\,y\) |
It is important to note that if either \(\alpha ,\,\beta \), or \(\alpha +\beta +1\) are negative integers, then the Jacobi polynomials \(\{P_n^{(\alpha ,\beta )}(x)\}_{n\geqslant 0}\) can not be associated with a quasi-definite moment functional. On the other hand, if \(-\alpha ,\,-\beta ,\,-(\alpha +\beta +1) \not \in {\mathbb {N}}\), then \(\{P_n^{(\alpha ,\beta )}(x)\}_{n\geqslant 0}\) are associated with a quasi-definite moment functional \({\mathbf {u}}_{\alpha ,\beta }\) satisfying the Pearson equation
Furthermore, for \(\alpha ,\beta >-1\), \({\mathbf {u}}_{\alpha ,\beta }\) is positive definite and has the integral representation
For \(-\alpha \not \in {\mathbb {N}}\), the Laguerre polynomials \(\{L_n^{(\alpha )}(x)\}_{n\geqslant 0}\) are associated with a quasi-definite moment functional \({\mathbf {u}}_{\alpha }\) satisfying the Pearson equation
and for \(\alpha >-1\), \({\mathbf {u}}_{\alpha }\) is positive definite with integral representation
The polynomials \(\{L_n^{(-m)}(x)\}_{n\geqslant 0}\), with \(m\in {\mathbb {N}}\) can not be associated with a quasi-definite moment functional.
The Hermite polynomials \(\{H_n(x)\}_{n\geqslant 0}\) are associated with the positive definite moment functional \({\mathbf {u}}\) defined by
and satisfying the Pearson equation
For \(-a\not \in {\mathbb {N}}\), the Bessel polynomials \(\{B_n^{(a)}(x)\}_{n\geqslant 0}\) are only associated with a non-positive definite moment functional \({\mathbf {u}}^{(a)}\) defined by
where c is the unit circle oriented in the counter-clockwise direction, satisfying the Pearson equation
3 Sobolev bilinear forms and differential operators
From Theorem 1, we have that a family of classical orthogonal polynomials associated with a quasi-definite moment functional \({\mathbf {u}}\) are solutions of the linear second-order differential equation (2.1) and are simultaneously orthogonal with respect to the symmetric Sobolev bilinear form
where \(\phi \) is a non zero polynomial of degree at most 2. In this section, we study the orthogonality of polynomial solutions of (2.1) with respect to a Sobolev bilinear form involving derivatives up to a fixed but arbitrary order.
Fix an integer \(N\geqslant 0\), and let \({\mathbf {u}}_k\), \(0\leqslant k \leqslant N\) be moment functionals in \(\varPi '\). A symmetric Sobolev bilinear form can be defined in the following way:
We say that two polynomials \(p,q\in \varPi \) are orthogonal with respect to \({\mathcal {B}}_N\) if
We also define the linear second-order differential operator \({\mathcal {L}}\) acting on \(\varPi \) as
where \(\phi \) and \(\psi \) are polynomials such that \(\deg \phi \leqslant 2\) and \(\deg \psi \leqslant 1\). Its formal Lagrange adjoint \({\mathcal {L}}^*\) is the operator acting on \(\varPi '\) satisfying
and, thus,
In the sequel, we will be interested in the polynomial solutions \(\{p_n(x)\}_{n\geqslant 0}\) of the differential equation
The differential equation (3.3) is called admissible ( [14]) if
Remark 1
It was shown in [16] that (3.3) is admissible if and only if it has a unique linearly independent polynomial solution of degree n for all \(n\geqslant 0\), and
It is straightforward to verify that the differential equation is admissible if and only if, for all \(n\geqslant 0\),
Definition 1
We say that the operator \({\mathcal {L}}\) is symmetric with respect to \({\mathcal {B}}_N\) if
The symmetry of the operator \({\mathcal {L}}\) and an additional hypothesis imply that the polynomial solutions of the differential equation (3.3) are orthogonal with respect to \({\mathcal {B}}_N\).
Theorem 2
Let \({\mathcal {L}}\) be the differential operator defined in (3.2), and assume that it is symmetric with respect to the Sobolev bilinear form (3.1). If \(p,q\in \varPi \) are polynomials satisfying
with \(\lambda \,\ne \,\mu \), then
that is, p and q are orthogonal with respect to \({\mathcal {B}}_N\).
Proof
From the symmetry of \({\mathcal {L}}\) with respect to \({\mathcal {B}}_N\), we have
or, equivalently, \((\lambda -\mu )\,{\mathcal {B}}_N(p,q)\,=\,0\). Since \(\lambda \,\ne \, \mu \), we have \({\mathcal {B}}_N(p,q)\,=\,0\). \(\square \)
Corollary 1
Let \({\mathcal {L}}\) be the differential operator defined in (3.2). Let \(\{p_n(x)\}_{n\geqslant 0}\) be a sequence of polynomials satisfying the differential equation
and assume that the differential equation is admissible.
If \({\mathcal {L}}\) is symmetric with respect to \({\mathcal {B}}_N\), then
that is, two distinct elements of \(\{p_n(x)\}_{n\geqslant 0}\) are orthogonal with respect to \({\mathcal {B}}_N\).
The following result provides a partial reciprocal of the previous corollary.
Theorem 3
Let \({\mathcal {B}}_N\) be the bilinear form defined in (3.1). Assume that \({\mathcal {B}}_N\) is quasi-definite, and denote by \(\{p_n(x)\}_{n\geqslant 0}\) an OPS associated with \({\mathcal {B}}_N\). Let \({\mathcal {L}}\) be the operator defined in (3.2), and assume that \(d_n:= \frac{1}{2}\,n\,\phi ''+\psi '\ne 0\), for all \(n\geqslant 0\). Then, the following statements are equivalent.
-
(i)
The operator \({\mathcal {L}}\) is symmetric with respect to \({\mathcal {B}}_N\).
-
(ii)
For each \(n\geqslant 0\), there is a constant \(\lambda _n\) such that \({\mathcal {L}}[p_n]\,=\,\lambda _n \, p_n\).
Proof
(i)\(\Rightarrow \)(ii) For \(n\geqslant 0\), observe that since \(d_n\,\ne \, 0\), the operator \({\mathcal {L}}\) preserves the degree, thus \({\mathcal {L}}[p_n]\) is a polynomial of degree n. Therefore,
where
Using the symmetry of \({\mathcal {L}}\), we get \({\mathcal {B}}_N({\mathcal {L}}[p_n],p_k)\,=\,{\mathcal {B}}_N(p_n,{\mathcal {L}}[p_k])\,=\,0\) for \(0\leqslant k \leqslant n-1\), which implies that \(c_k=0\), \(0\leqslant k \leqslant n-1\). Then, \({\mathcal {L}}[p_n]\,=\,c_n\,p_n\) and (ii) holds with \(\lambda _n\,=\,c_n\).
(ii)\(\Rightarrow \)(i). Since \({\mathcal {B}}_N\) is bilinear, it suffices to show (i) for a basis of polynomials. For \(n,m\geqslant 0\), we have
Clearly, (i) follows. \(\square \)
We are interested in deducing the necessary and sufficient conditions for the differential operator (3.2) to be symmetric with respect to \({\mathcal {B}}_N\) in (3.1). With this in mind, we state the following preliminary result.
Lemma 2
Let \(n\geqslant 0\), and let \({\mathcal {L}}\) be the operator defined in (3.2). Then, for all \(p\in \varPi \) and all \({\mathbf {u}}\in \varPi ^\prime \), the following relation holds,
Proof
For \(n=0\), it can be easily verified that, for all \(p\in \varPi \) and all \({\mathbf {u}}\in \varPi '\),
For \(n\geqslant 1\), using Leibniz product rule and the fact that \(\deg \phi \leqslant 2\) and \(\deg \psi \leqslant 1\), we compute
Similarly,
Using (3.4) and
we obtain
\(\square \)
Now, we are ready to state the main result of this section.
Theorem 4
Let \({\mathcal {B}}_N\) be the bilinear form defined in (3.1), and let \({\mathcal {L}}\) be the second-order differential operator defined in (3.2). Then \({\mathcal {L}}\) is symmetric with respect to \({\mathcal {B}}_N\) if and only if the moment functionals \({\mathbf {u}}_k\), \(0\leqslant k \leqslant N\), satisfy the Pearson equations
Proof
Clearly, \({\mathcal {L}}\) is symmetric with respect to \({\mathcal {B}}_N\) if and only if, for all \(p,q\in \varPi \), \({\mathcal {B}}_N({\mathcal {L}}[p],q)-{\mathcal {B}}_N(p,{\mathcal {L}}[q])\,=\,0\). Notice that,
Then, \({\mathcal {L}}\) is symmetric with respect to \({\mathcal {B}}_N\) if and only if, for all \(p\in \varPi \),
or, equivalently, by Lemma 2,
On one hand, assume that, for \(0\leqslant k \leqslant N\), \({\mathbf {u}}_k\) satisfies \(D(\phi \,{\mathbf {u}}_k)\,=\,(\psi +k\,\phi ')\,{\mathbf {u}}_k\). Then, (3.6) holds for all \(p\in \varPi \) and therefore \({\mathcal {L}}\) is symmetric with respect to \({\mathcal {B}}_N.\)
On the other hand, assume that (3.6) holds for all \(p\in \varPi \). Then, letting \(p(x)=1\), (3.6) reads
From Lemma 1, we deduce that \(D(\phi \,{\mathbf {u}}_0)-\psi \,{\mathbf {u}}_0\,=\,{\mathbf {0}}\). Consequently, the term corresponding to \(k=0\) in (3.6) is \({\mathbf {0}}\), and we can sum from \(k=1\) to \(k=N\).
Now, letting \(p(x)\,=\,x\), (3.6) reads
Using Lemma 1 twice, we deduce that \(D(\phi \,{\mathbf {u}}_1)-(\psi +\phi ')\,{\mathbf {u}}_1\,=\,{\mathbf {0}}\), and, consequently, the summation in (3.6) goes from \(k=2\) to \(k=N\). Repeating this process for \(3\leqslant m \leqslant N\) by letting \(p(x)\,=\,x^m\), we deduce that \(D(\phi \,{\mathbf {u}}_{m})-(\psi +m\,\phi ')\,{\mathbf {u}}_m\,=\,{\mathbf {0}}\) for \(0\leqslant m \leqslant N\).
\(\square \)
We turn our attention to the solutions of the Pearson equations in Theorem 4.
Proposition 1
Let \(\phi \) and \(\psi \) be two polynomials with \(\deg \phi \leqslant 2\) and \(\deg \psi \leqslant ~1\).
-
(i)
The moment functional \({\mathbf {u}}\) satisfies the Pearson equation
$$\begin{aligned} D(\phi \,{\mathbf {u}})\,=\,\psi \,{\mathbf {u}} \end{aligned}$$if and only if its sequence of moments \(\{\mu _{n}\}_{n\geqslant 0}\) satisfies the three-term relation
$$\begin{aligned} d_{n}\,\mu _{n+1}+e_{n}\,\mu _{n}+n\,\phi (0)\,\mu _{n-1}=0, \quad n\geqslant 0, \end{aligned}$$(3.7)where
$$\begin{aligned} d_n=\frac{1}{2}n\,\phi ''+\psi ', \quad e_n=n\,\phi '(0)+\psi (0). \end{aligned}$$ -
(ii)
If \(d_n\,\ne \,0\) for all \(n\geqslant 0\), then the Pearson equation \(D(\phi \,{\mathbf {u}})\,=\,\psi \,{\mathbf {u}}\) has a unique solution up to a constant factor.
Proof
-
(i)
If the moment functional \({\mathbf {u}}\) satisfies \(D(\phi \,{\mathbf {u}})\,=\,\psi \,{\mathbf {u}}\), then, for all \(n\geqslant 0\),
$$\begin{aligned} \langle D(\phi \,{\mathbf {u}}), x^n\rangle =\langle \psi \,{\mathbf {u}}, x^n\rangle , \end{aligned}$$equivalently,
$$\begin{aligned} \langle {\mathbf {u}}, n\,\phi \,x^{n-1}+\psi \,x^n\rangle =0. \end{aligned}$$Writing
$$\begin{aligned} \phi (x)=\frac{1}{2}\phi ''x^2+\phi '(0)\,x+\phi (0), \quad \psi (x)=\psi '\,x+\psi (0), \end{aligned}$$and substituting in the previous equation, we obtain
$$\begin{aligned} \left\langle {\mathbf {u}}, \frac{1}{2}n\,\phi ''x^{n+1}+n\,\phi '(0)\,x^n+n\,\phi (0)\,x^{n-1}+\psi '\,x^{n+1}+\psi (0)\,x^{n}\right\rangle =0, \end{aligned}$$and (3.7) follows. It is easy to verify that the implication in the opposite direction holds by inverting each of the previous steps.
-
(ii)
If \(d_n\ne 0\), \(n\geqslant 0\), then (3.7) is a linear recurrence relation. It follows that (3.7) is uniquely solvable for \(\mu _{n+1}\), \(n\geqslant 0\), once \(\mu _{0}\) is fixed. Then, the moment functional \({\mathbf {u}}\) satisfying \(D(\phi \,{\mathbf {u}})\,=\,\psi \,{\mathbf {u}}\) is uniquely determined up to a constant factor.
\(\square \)
Remark 2
Observe that if the differential equation (3.3) is admissible, then it follows from Remark 1 that \(d_n\,\ne \, 0\) for all \(n\geqslant 0\), and, thus, the Pearson equation \(D(\phi \,{\mathbf {u}})\,=\,\psi \,{\mathbf {u}}\) is uniquely solvable up to a constant factor.
Proposition 2
Let \({\mathcal {B}}_N\) be the bilinear form defined in (3.1) and assume that the moment functionals \({\mathbf {u}}_k\), \(0\leqslant k \leqslant N\), satisfy the Pearson equations (3.5). Define
If there is some \(0\leqslant m \leqslant N\) such that \(d_{n+2m}\,\ne \, 0\) for \(n\geqslant 0\), then \({\mathbf {u}}_{m+i}\,=\,a_i\,\phi ^i\,{\mathbf {u}}_m\) for \(0\leqslant i \leqslant N-m\) (\(a_0\,=\,1\)), and \(\phi ^j\,{\mathbf {u}}_{m-j}\,=\,b_j\,{\mathbf {u}}_m\) for \(1\leqslant j\leqslant m\), where \(a_i\) and \(b_j\) are constants.
Proof
Observe that, for \(0\leqslant i \leqslant N-m\), the moment functionals \({\mathbf {u}}_{m+i}\) and \(\phi ^i\,{\mathbf {u}}_{m}\) satisfy the same Pearson equation. Indeed,
Moreover, \(d_{n+2\,m}\ne 0\) for \(n\geqslant 0\), implies \(d_{n+2\,(m+i)}\ne 0\), \(n\geqslant 0\). Then, by Proposition 1, each Pearson equation \(D(\phi \,{\mathbf {u}}_{m+i})\,=\,[\psi +(m+i)\,\phi ']\,{\mathbf {u}}_{m+i}\), \(0\leqslant i \leqslant N-m\), is uniquely solvable up to constant factor. Hence, \({\mathbf {u}}_{m+i}\,=\,a_i\,\phi ^i\,{\mathbf {u}}_{m}\) for \(0\leqslant i \leqslant N-m\).
Similarly, for \(1\leqslant j \leqslant m\), \({\mathbf {u}}_m\) and \(\phi ^j\,{\mathbf {u}}_{m-j}\) satisfy the same Pearson equation \(D(\phi \,{\mathbf {u}}_m) \,=\, [\psi +2\,m\,\phi ']\,{\mathbf {u}}_m\). Since this equation is uniquely solvable up to a constant factor, we have \(\phi ^j\,{\mathbf {u}}_{m-j}\,=\,b_j\,{\mathbf {u}}_m\) for \(1\leqslant j\leqslant m\). \(\square \)
4 Sobolev orthogonal polynomial solutions of differential equations
In this section, we focus our attention on the differential equations satisfied by the Hermite, Laguerre, Jacobi, and Bessel polynomials. In particular, we study in great detail the Sobolev orthogonality of the polynomial solutions, including the case when the parameters in the Jacobi and Laguerre polynomials have negative integer values.
As we have already mentioned in Sect. 2, though valid for arbitrary complex values of the parameters, the expression for \(P_n^{(\alpha ,\beta )}\) suffers a reduction in degree for certain values of the parameters. In particular, \(\{P_n^{(-m,-\ell )}(x)\}_{n\geqslant 0}\) with \(m,\ell \in {\mathbb {N}}\), fails to constitute a polynomial solution of the differential equation
satisfying \(\deg P_n^{(-m,-\ell )}\,=\,n\) for all \(n\geqslant 0\). Nevertheless, it is shown in the sequel that there is a polynomial sequence \(\{p_n(x)\}_{n\geqslant 0}\) with \(\deg p_n \,=\,n\) satisfying this differential equation. The following proposition will be used to construct polynomial solutions of this differential equation and, in general, of (3.3).
Proposition 3
Let \({\mathcal {L}}\) be the differential operator defined in (3.2). Assume there is a non zero polynomial \(\rho \) satisfying the differential equations
and
where h is a polynomial of degree \(\leqslant 1\). Let \(k\,=\, \deg \rho \).
Moreover, let \(\{p_n(x)\}_{n\geqslant 0}\) be a sequence of polynomials satisfying the differential equation
Then the polynomials \(q_n(x)\,=\,\rho (x)\,p_{n-k}(x)\), \(n\geqslant k\), satisfy the differential equation
Proof
Using (4.1) and (4.2), we obtain
\(\square \)
4.1 Laguerre polynomials
As it was explained in Sect. 2, for arbitrary values of the parameter \(\alpha \), the Laguerre polynomials \(\{L_n^{(\alpha )}(x)\}_{n\geqslant 0}\) constitute a sequence of polynomial solutions of the admissible differential equation
satisfying \(\deg L_n^{(\alpha )}\,=\,n\), \(n\geqslant 0\).
Define the linear second-order differential operator
Let N be a fixed non-negative integer. By Theorem 4, \({\mathcal {L}}^{(\alpha )}\) is symmetric with respect to the Sobolev bilinear form \({\mathcal {B}}_N\) defined in (3.1) if and only if the moment functionals \({\mathbf {u}}_k\), \(0\leqslant k \leqslant N\), satisfy the Pearson equations
In this case, (3.8) reads \(d_n\,=\, -1\), \(n\geqslant 0\).
We will proceed to study the Sobolev orthogonality for Laguerre polynomials with standard and non-standard parameters, that is, for \(-\alpha \not \in {\mathbb {N}}\) and \(-\alpha \in {\mathbb {N}}\), respectively.
4.1.1 Sobolev orthogonality for standard parameter
For \(-\alpha \not \in {\mathbb {N}}\), \({\mathbf {u}}_0\) can be chosen to be the quasi-definite moment functional defined as
Moreover, from Proposition 2, we deduce that \({\mathbf {u}}_k\,=a_k\,x^k\,{\mathbf {u}}_0\), \(1\leqslant k \leqslant N\), where \(a_k\) are constants. Hence, (3.1) reads
where \(a_0\,=\,1\). Since \({\mathcal {L}}^{(\alpha )}\) is symmetric with respect to \({\mathcal {B}}_N\), the Laguerre polynomials satisfy \({\mathcal {B}}_N(L_n^{(\alpha )}, L_m^{(\alpha )})\,=\,0\) for \(n\,\ne \,m\).
4.1.2 Sobolev orthogonality for non standard parameter
For \(-\alpha \,=\,m\in {\mathbb {N}}\) and \(N\geqslant m\), let the moment functional \({\mathbf {u}}_m\) satisfy \(D(x\,{\mathbf {u}}_m)\,=\,(1\,-\,x)\,{\mathbf {u}}_m\), and, therefore, \({\mathbf {u}}_m\) can be chosen to be the positive definite moment functional associated with the Laguerre polynomials \(\{L_n^{(0)}(x)\}_{n\geqslant 0}\), given by
From Proposition 2, we deduce that \({\mathbf {u}}_{m+i}\,=a_i\,x^i\,{\mathbf {u}}_m\), \(0\leqslant i \leqslant N-m\), where \(a_i\) are constants (with \(a_0\,=\,1\)).
For \(0\leqslant j \leqslant m-1\), \({\mathbf {u}}_j\) must satisfy the Pearson equation \(D(x\,{\mathbf {u}}_j)\,=\,(-m+j+1-x)\,{\mathbf {u}}_j\), or, equivalently,
Therefore, we get
where \(b_{j,\nu }\) are constants. Using (4.3), we get
where the constants \(b_{j}\,=\,b_{j,0}\) are free parameters. Then (3.1) reads
If we define the discrete bilinear form \({\mathcal {D}}\) as
and the continuous bilinear form \({\mathcal {C}}\) as
then (4.4) can be expressed as
Additionally, observe that the polynomial \(\rho (x)\,=\,x^m\) satisfies the differential equations
Taking into account that \(\{L_n^{(m)}(x)\}_{n\geqslant 0}\) satisfy the admissible differential equation
then, from Proposition 3, it follows that the polynomials \(\{q_n(x)\}_{n\geqslant 0}\) with
constitute a polynomial solution of \({\mathcal {L}}^{(-m)}[q_n]\,=\,-n\,q_n\) such that \(\deg q_n \,=\,n\), and, thus, satisfy \({\mathcal {B}}_N(q_n,q_m)\,=\,0\) for \(n\,\ne \, m\). From Remark 1 and the expression for the Laguerre polynomials, we deduce that
Remark 3
The matrix expression of the discrete bilinear form \({\mathcal {D}}\) can be written as follows. For \(0\leqslant j \leqslant m-1\), let \(\mathtt {F}(j)\) be the symmetric matrix of size \((m-j)\times (m-j)\) with entries given by
and, for \(0\leqslant k \leqslant m-1\), let \({\mathbf {G}}(k)\) be the symmetric matrix of size \(m\times m\) defined as \({\mathbf {G}}(0)\,=\,\mathtt {F}(0)\), and
Then,
where \(F(0)=\left( f(0),\,f'(0),\,\ldots ,f^{(m-1)}(0)\right) \).
Moreover, let \({\mathbf {L}}(0)\) be the non-singular lower triangular matrix of derivatives of Laguerre polynomials
given by
Then, we have the \(m\times m\) diagonal matrix
where \(h_n^{(-m)}\,=\,{\mathcal {B}}_N(L_n^{(-m)},L_n^{(-m)})\), \(0\leqslant n \leqslant m-1\).
Since the numbers \(h_n^{(-m)}\) depend on the free parameters \(b_j\), given an arbitrary \(m\times m\) diagonal matrix \({\mathbf {H}}\), \({\mathcal {D}}\) can be explicitly constructed by means of
Clearly, if \({\mathcal {B}}_N\) is quasi-definite, then \({\mathbf {H}}\) must be chosen to be a positive definite matrix.
4.2 Jacobi polynomials
For arbitrary complex values of \(\alpha \) and \(\beta \), the Jacobi polynomials \(\{P_n^{(\alpha ,\beta )}(x)\}_{n\geqslant 0}\) are polynomial solutions of the differential equation
Define the differential operator
and fix a non negative integer N. We know from Theorem 4 that \({\mathcal {L}}^{(\alpha ,\beta )}\) is symmetric with respect to the Sobolev bilinear form \({\mathcal {B}}_N\) defined in (3.1) if and only if the moment functionals \({\mathbf {u}}_k\), \(0\leqslant k \leqslant N\), satisfy the Pearson equations
In this case, (3.8) reads
Here, we study the Sobolev orthogonality for the polynomial solutions of (4.5) when the values of the parameters fall in one of the following four cases:
-
1.
Standard values: \(-\alpha ,\,-\beta ,\,-(\alpha +\beta +1)\not \in {\mathbb {N}}\).
-
2.
Type I non standard values: \(-\alpha \in {\mathbb {N}}\), \(-\beta \not \in {\mathbb {N}}\).
-
3.
Type II non standard values: \(-\alpha \not \in {\mathbb {N}}\), \(-\beta \in {\mathbb {N}}\).
-
4.
Type III non standard values: \(-\alpha ,\,-\beta \in {\mathbb {N}}\).
-
5.
Type IV non standard values: \(-\alpha \,=\,-\beta \in {\mathbb {N}}\).
4.2.1 Sobolev orthogonality for standard parameters
For \(-\alpha ,\,-\beta ,\,-(\alpha +\beta +1)\not \in {\mathbb {N}}\), let \({\mathbf {u}}_0\in \varPi '\) be the quasi-definite moment functional defined as
and, for \(1\leqslant k \leqslant N\), let \({\mathbf {u}}_k\,=a_k\,(1-x^2)^k\,{\mathbf {u}}_0\), where \(a_k\) are constants. Then, \({\mathcal {B}}_N\) in (3.1) with the moment functionals \({\mathbf {u}}_k\), \(0\leqslant k \leqslant N\), reads
with \(a_0\,=\,1\). Moreover, since each moment functional \({\mathbf {u}}_k\) satisfies the Pearson equation (4.6), the operator \({\mathcal {L}}^{(\alpha ,\beta )}\) is symmetric with respect to \({\mathcal {B}}_N\).
From the symmetry of \({\mathcal {L}}^{(\alpha ,\beta )}\) with respect to \({\mathcal {B}}_N\), we have that
4.2.2 Sobolev orthogonality for type I non-standard parameters
For \(-\alpha \,=\,m\in {\mathbb {N}}\) and \(-\beta \not \in {\mathbb {N}}\), we have that
and that the differential equation satisfied by the Jacobi polynomials \(\{P_n^{(-m,\beta )}(x)\}_{n\geqslant 0}\),
is admissible.
In order to give the Sobolev orthogonality for \(\{P_n^{(-m,\beta )}(x)\}_{n\geqslant 0}\), we construct solutions for the Pearson equations (4.6) with \(N\geqslant m\). From Proposition 1 we know that,
is uniquely solvable up to a constant factor. Then \({\mathbf {u}}_m\) can be chosen to be the quasi-definite moment functional associated with the Jacobi polynomials \(\{P_n^{(0,\beta +m)}(x)\}_{n\geqslant 0}\), that is,
By Proposition 2,
where \(a_i\) are constants (\(a_0\,=\,1\)).
For \(1\leqslant j \leqslant m\), let the moment functional \({\mathbf {u}}_{m-j}\) satisfy the Pearson equation
or, equivalently,
Hence, we deduce that
where \(c_j\) is a free parameter.
Taking \({\mathbf {u}}_k\), \(0\leqslant k \leqslant N\), as above, (3.1) reads
with \(a_0\,=\,1\). Since the Jacobi polynomials \(\{P_n^{(-m,\beta )}(x)\}_{n\geqslant 0}\) satisfy the admissible differential equation (4.8), then it follows from the symmetry of \({\mathcal {L}}^{(-m,\beta )}\) with respect to \({\mathcal {B}}_N\) and Corollary 1 that
Observe that \({\mathcal {B}}_N\) can be expressed as the sum of two bilinear forms: a discrete bilinear form
and a continuous bilinear form
In this way
In light of Proposition 3, it is possible to deduce an expression for \(P_n^{(-m,\beta )}(x)\), \(n\geqslant m\), in terms of \(P_{n-m}^{(m,\beta )}\), which is a Jacobi polynomial with standard parameters. Observe that the polynomial \(\rho (x)\,=\,(1-x)^m\) satisfies the differential equations
and that
Then the polynomials \(q_n(x)\,=\,(1-x)^m\,P_{n-m}^{(m,\beta )}(x)\), \(n\geqslant m\), satisfy the admissible differential equation (4.8). By Remark 1, \(P_n^{(-m,\beta )}(x)\) must be a constant multiple of \(q_n(x)\). From the expression of the Jacobi polynomials, we deduce that
Remark 4
The discrete bilinear form \({\mathcal {D}}_I\) can be written in matrix form. Indeed, for \(1\leqslant j \leqslant m\), let \(\mathtt {A}(j)\) be the symmetric matrix of size \(j\times j\) with entries given by
and, for \(0\leqslant k \leqslant m-1\), let \({\mathbf {B}}(k)\) be the symmetric matrix of size \(m\times m\) defined as \({\mathbf {B}}(0)\,=\,\mathtt {A}(m)\), and
where \(\mathtt {0}\) is the zero matrix of appropriate size. Then,
where \(F(1)=\left( f(1),\,f'(1),\,\ldots ,f^{(m-1)}(1)\right) \).
Moreover, taking into account that \({\mathcal {D}}_I\) coincides with the restriction of \({\mathcal {B}}_N\) to the linear space of polynomials of degree at most \(m-1\), we deduce that
where \(h_n^{(-m,\beta )}\,=\,{\mathcal {B}}_N(P_n^{(-m,\beta )},P_n^{(-m,\beta )})\), \(0\leqslant n \leqslant m-1\), and \({\mathbf {P}}(1)\) is the non-singular matrix of derivatives of Jacobi polynomials
given by
Observe that the numbers \(h_n^{(-m,\beta )}\) must depend on the free parameters \(c_j\). Therefore, given an arbitrary \(m\times m\) diagonal matrix \({\mathbf {H}}\), \({\mathcal {D}}_I\) can be explicitly constructed by means of
Clearly, if \({\mathcal {B}}_N\) is quasi-definite, then \({\mathbf {H}}\) must be chosen to be a positive definite matrix.
4.2.3 Sobolev orthogonality for type II non-standard parameters
The Jacobi polynomials satisfy the important identity ([20, p. 59])
Then it is possible to give the Sobolev orthogonality for the polynomial sequence \(\{P_n^{(\alpha ,-\ell )}(x)\}_{n\geqslant 0}\) with \(-\alpha \not \in {\mathbb {N}}\) and \(-\beta \,=\,\ell \in {\mathbb {N}}\), by interchanging the roles of the parameters in Sect. 4.2.2.
Observe that for \(-\alpha \not \in {\mathbb {N}}\) and \(-\beta \,=\,\ell \in {\mathbb {N}}\), the differential equation
is admissible and
Fix \(N\geqslant \ell \). Constructing the solutions of the Pearson equations (4.6) as in the previous subsection, we obtain
where
with \(b_i\) being a constant (\(b_0\,=\,1)\), and
for \(1\leqslant j \leqslant \ell \), where \(e_j\) is a free parameter. Therefore, (3.1) with the above moment functionals is written as
where \(b_0\,=\,1\). Since the Jacobi polynomials \(\{P_n^{(\alpha , -\ell )}(x)\}_{n\geqslant 0}\) satisfy (4.12), then it follows from the symmetry of \({\mathcal {L}}^{(\alpha ,-\ell )}\) with respect to \({\mathcal {B}}_N\) and Corollary 1, that they satisfy
If we define the discrete bilinear form \({\mathcal {D}}_{II}\) by
and the continuous bilinear form \({\mathcal {C}}_{II}\) by
then we have
Moreover, using (4.9) and (4.11), we obtain
Remark 5
Analogously to Remark 4, for \(1\leqslant j \leqslant \ell \), let \(\mathtt {C}(j)\) be the symmetric matrix of size \(j\times j\) with entries given by
and, for \(0\leqslant k \leqslant \ell -1\), let \({\mathbf {D}}(k)\) be the symmetric matrix of size \(\ell \times \ell \) defined as \({\mathbf {D}}(0)\,=\,\mathtt {C}(\ell )\), and
Then, \({\mathcal {D}}_{II}\) can be rewritten in matrix form as
where \({\widetilde{F}}(-1)\,=\,(f(-1),\,f'(-1),\,\ldots ,\,f^{(\ell -1)}(-1))\).
As in Remark 4, we have the \(\ell \times \ell \) diagonal matrix
where \({\widetilde{h}}_n^{(\alpha ,-\ell )}\,=\,{\mathcal {B}}_N(P_n^{(\alpha ,-\ell )},P_n^{(\alpha ,-\ell )})\), \(0\leqslant n\leqslant \ell -1\), and \(\widetilde{{\mathbf {P}}}(-1)\) is the nonsingular matrix of derivatives of the Jacobi polynomials
given by
Moreover, since the numbers \({\widetilde{h}}_n^{(\alpha ,-\ell )}\) depend on the free parameters \(e_j\), \({\mathcal {D}}_{II}\) can be explicitly constructed by means of
with \(\widetilde{{\mathbf {H}}}\) being an arbitrary \(\ell \times \ell \) diagonal matrix. If \({\mathcal {B}}_N\) is quasi-definite, then \(\widetilde{{\mathbf {H}}}\) must be chosen to be a positive definite matrix.
4.2.4 Sobolev orthogonality type III non-standard parameters
Here, we consider the polynomial solutions of (4.5) with \(-\alpha =m\) and \(-\beta =\ell \), \(m,\ell \in {\mathbb {N}}\). In this case, the differential equation is not admissible. Moreover, the polynomial \(P_n^{(-m,-\ell )}(x)\) suffers a reduction in degree whenever \(n\,=\,m+\ell -k\) for some integer \(1\leqslant k \leqslant n\). Hence, we are concerned with constructing polynomial solutions \(\{q_n(x)\}_{n\geqslant 0}\) of (4.5) such that \(\deg q_n \,=\,n\), and also to give the Sobolev orthogonality for these solutions.
First, we will construct polynomial solutions of (4.5). In [1], the Jacobi polynomials were redefined in order to circumvent the reduction in degree of \(P_n^{(-m,-\ell )}(x)\), and there it was shown that these redefined Jacobi polynomials satisfy (4.5) and are orthogonal with respect to a Sobolev bilinear form. We will not use this alternative definition of the Jacobi polynomials, but instead we use Theorem 3 to construct polynomial solutions of (4.5).
Due to (4.11), we can assume without any loss of generality that \(\ell \leqslant m\). Observe that for \(0\leqslant n \leqslant \ell -1\), the polynomial \(P_n^{(-m,-\ell )}(x)\) has degree n and satisfies (4.5). No degree reduction occurs in this case.
For \(\ell \leqslant n \leqslant m+\ell -1\), the polynomial \(q_n(x) \, = \, (1+x)^{\ell } \,P_{n-\ell }^{(-m,\ell )}\) has degree n and satisfies (4.5). Indeed, let \(\rho _1(x)=(1+x)^{\ell }\). The polynomial \(\rho _1\) satisfies the differential equations
Moreover, the polynomial \(P_n^{(-m,\ell )}(x)\) satisfies
Thus, from Theorem 3, we get that the polynomials \(q_n(x)\) satisfy
For \(n\geqslant m+\ell \), define the polynomials \({\tilde{q}}_n(x)\,=\,(1-x)^m\,(1+x)^{\ell }\,P_{n-m-\ell }^{(m,\ell )}(x)\). Clearly, \(\deg {\tilde{q}}_n\,=\,n\). We will show that these polynomials satisfy (4.5). Define the polynomial \(\rho _2(x)\,=\,(1-x)^m\,(1+x)^{\ell }\), and observe that \(\rho _2\) satisfies the differential equations
Taking into account that the Jacobi polynomials \(P_n^{(m,\ell )}(x)\) satisfy the differential equation
we deduce from Theorem 3 that the polynomials \({\tilde{q}}_n(x)\) satisfy
Altogether, the sequence of polynomials \(\{{\mathcal {P}}_n^{(-m,-\ell )}(x)\}_{n\geqslant 0}\) with
constitute polynomial solutions of (4.5) such that \(\deg {\mathcal {P}}_n^{(-m,-\ell )}\,=\,n\).
Now that we have the explicit expression of a sequence of polynomials satisfying (4.5), we proceed to determine the moment functionals in (3.1) such that \({\mathcal {L}}^{(-m,-\ell )}\) is symmetric with respect to \({\mathcal {B}}_N\), \(N\geqslant m+\ell \). Hence, we find solutions for the Pearson equation (4.6) for \(0\leqslant k \leqslant N\).
In this case, (4.7) reads
Observe that \(d_{n+2\,(m+\ell )}\,\ne \, 0\) for \(n\geqslant 0\). By Proposition 2, we have
where \(a_i\) are constants (\(a_0\,=\,1\)), and \({\mathbf {u}}_{m+\ell }\) satisfies
Then \({\mathbf {u}}_{m+\ell }\) can be chosen to be the quasi-definite moment functional associated with the Jacobi polynomials \(\{P_n^{(\ell ,m)}(x)\}_{n\geqslant 0}\), that is,
For \(1\le j\le m+\ell \), let the moment functional \({\mathbf {u}}_{m+\ell -j}\) satisfy the Pearson equation
For \(1\leqslant j \leqslant m\), we obtain
where \(c_j\) is a free parameter.
Similarly, for \(1\leqslant r\,=\,j-m\leqslant \ell \), we get
where \(e_r\) is a free parameter.
Taking the moment functionals \({\mathbf {u}}_k\), \(0\leqslant k \leqslant N\), as above, the bilinear form (3.1) reads
Let \({\mathcal {D}}_{III}\) be the discrete bilinear form defined by
and let \({\mathcal {C}}_{III}\) be the continuous bilinear form defined by
Then (4.15) can be written as
The differential equation (4.5) with \(\alpha \,=\,-m\) and \(\beta \,=\,-\ell \) is not admissible. Indeed, \(\lambda _n\,=\,\lambda _k\) if and only if \(n=0\) and \(k=m+\ell -1\). Therefore, by the Sobolev orthogonality of \(\{{\mathcal {P}}_n^{(-m,-\ell )}(x)\}_{n\geqslant 0}\) does not follow from Corollary 1. Nevertheless, from the symmetry of \({\mathcal {L}}^{(-m,-\ell )}\) with respect to \({\mathcal {B}}_N\) and Theorem 2, it follows that
On the other hand, we compute
Therefore, setting \(c_m\,=\,0\), we have \({\mathcal {B}}_N({\mathcal {P}}_n^{(-m,-\ell )}, {\mathcal {P}}_k^{(-m,-\ell )})\,=\,0\) for \(n\,\ne \, k\).
Remark 6
Using (4.10) and (4.13), the bilinear form \({\mathcal {D}}_{III}\) can be rewritten as
where
Moreover, we have the \((m+\ell )\times (m+\ell )\) diagonal matrix
where \({\widehat{h}}_n^{(-m,-\ell )}={\mathcal {B}}_N({\mathcal {P}}_n^{(-m,-\ell )}, {\mathcal {P}}_n^{(-m,-\ell )})\), \(0\leqslant n \leqslant m+\ell -1\),
The matrix \((\widetilde{{\mathbf {P}}}(-1)\,|\,{\mathbf {P}}(1))\) is non singular since it can be expressed as a product of two non singular matrices. Indeed, if the explicit expression of the polynomial \({\mathcal {P}}_n^{(-m,-\ell )}(x)\) is
then the \((m+\ell )\times (m+\ell )\) matrix
is non singular. Let \({\widetilde{M}}(-1)\) and M(1) be the matrices obtained from derivatives of the basis \(\{x^n\}_{0\leqslant n \leqslant m+\ell -1}\) of \(\varPi _{m+\ell -1}\),
The matrix \(({\widetilde{M}}(-1)\,|\,M(1))\) is a generalized Vandermonde matrix and, therefore, non-singular. From (4.16), we deduce that
and, thus, \((\widetilde{{\mathbf {P}}}(-1)\,|\,{\mathbf {P}}(1))\) is non-singular
With this in mind, and taking into account that the numbers \({\widehat{h}}_n^{(-m,-\ell )}\) depend on free parameters, we have that for an arbitrary \((m+\ell )\times (m+\ell )\) diagonal matrix \(\widehat{{\mathbf {H}}}\), the bilinear form \({\mathcal {D}}_{III}\) can be explicitly constructed by means of
where
If the Sobolev bilinear form \({\mathcal {B}}_N\) is quasi-definite, then \(\widehat{{\mathbf {H}}}\) must be chosen to be a positive definite matrix.
4.2.5 Sobolev orthogonality for type IV non-standard parameters
Now, the case when \(-\alpha \,=\,-\beta =m\in {\mathbb {N}}\) is considered. As we will see here, this is not a particular case of the third type of non-standard parameters studied above, in the sense that the continuous part of the Sobolev bilinear form is not directly deduced by setting \(m\,=\,\ell \) in (4.15).
Indeed, the operator \({\mathcal {L}}^{(-m,-m)}\) is symmetric with respect \({\mathcal {B}}_N\) in (3.1) with \(N\geqslant m\), if and only if the moment functionals \({\mathbf {u}}_k\), \(0\leqslant k \leqslant N\), satisfy the Pearson equations (4.6) with \(\alpha \,=\,\beta \,=\,-m\), that is,
In this case, (3.8) reads
and, thus, \(d_{n+2\,m}\,\ne \, 0\) for \(n\geqslant 0\). By Proposition 2, we have
where \(a_i\) are constants and \({\mathbf {u}}_m\) satisfies \(D[(1-x^2)\,{\mathbf {u}}_m]\,=\,-2\,x\,{\mathbf {u}}_m\). Then \({\mathbf {u}}_m\) can be chosen as the quasi-definite moment functional
associated with the Jacobi polynomials \(\{P_n^{(0,0)}(x)\}_{n\geqslant 0}\). Therefore, we have that the continuous part of \({\mathcal {B}}_N\) in this case is the bilinear form \({\mathcal {C}}_{IV}\) given by
with \(a_0\,=\,1\). On the other hand, \({\mathcal {C}}_{III}\) with \(m=\ell \) reads
Hence, in general, \({\mathcal {C}}_{III}\) and \({\mathcal {C}}_{IV}\) do not coincide.
Now, we proceed to find solutions to the remaining Pearson equations. For \(1\leqslant j \leqslant m\), let the moment functional \({\mathbf {u}}_{m-j}\) satisfy the Pearson equation
There are two linearly independent solutions. Namely, \({\mathbf {u}}_{m-j,1}\) and \({\mathbf {u}}_{m-j,2}\) given by
and
Then,
where \(c_j\) and \(e_j\) are free parameters. Therefore, if we define the discrete bilinear form \({\mathcal {D}}_{IV}\) as \({\mathcal {D}}_{III}\) with \(m\,=\,\ell \), that is,
the Sobolev bilinear form (3.1) reads
Observe that the polynomial sequence (4.14) with \(m\,=\,\ell \) satisfies the differential equation
which is not admissible. Similarly to the third type of non-standard parameters, if \(c_m\,=\,0\), then \({\mathcal {B}}_N({\mathcal {P}}_n^{(-m,-m)}, {\mathcal {P}}_k^{(-m,-m)})\,=\,0\) for \(n\,\ne \, k\).
Remark 7
Clearly, the matrix representation of \({\mathcal {D}}_{IV}\) is the same as the matrix representation of \({\mathcal {D}}_{III}\) with \(m\,=\,\ell \).
4.3 Hermite polynomials
The Hermite polynomials \(\{H_n(x)\}_{n\geqslant 0}\) constitute a sequence of polynomial solutions of the the admissible equation
By Theorem 4, we have that for a non-negative integer N, the differential \({\mathcal {L}}\) is symmetric with respect to the bilinear form \({\mathcal {B}}_N\) defined in (3.1) if and only if \(D({\mathbf {u}}_k)=-2x\,{\mathbf {u}}_k\) for \(0\le k\le N\). Thus, if we take \({\mathbf {u}}_0\) such that
then from Proposition 2, \({\mathbf {u}}_k=a_k{\mathbf {u}}_0\) and therefore (3.1) reads
where \(a_k\) are constants (\(a_0=1\)). From the symmetry of \({\mathcal {L}}\) with respect to \({\mathcal {B}}_N\) and Corollary 1, we have \({\mathcal {B}}_N(H_n,H_m)\,=\,0\) for \(n\,\ne \, m\).
4.4 Bessel polynomials
Let \({\mathcal {L}}^{(a)}\) be the differential operator defined by
Recall from Sect. 2 that for arbitrary complex values of a, the Bessel polynomials \(\{B^{(a)}_{n}(x)\}_{n\ge 0}\) constitute a sequence of polynomial solutions of the differential equation
Fix a non-negative integer N. From Theorem 4, \({\mathcal {L}}^{(a)}\) is symmetric with respect to the bilinear form \({\mathcal {B}}_N\) in (3.1) if and only if the moment functionals \({\mathbf {u}}_k\), \(0\leqslant k\leqslant N\), satisfy the Pearson equations
In this case, (3.8) reads \(d_n\,=\,n\,+\,a\), \(n\geqslant 0\).
For \(-a\not \in {\mathbb {N}}\), we can choose \({\mathbf {u}}_k\,=\,a_k\,x^{2\,k}\,{\mathbf {u}}_0\), \(0\leqslant k \leqslant N\), where
c is the unit circle oriented in the counter-clockwise direction, and \(a_k\) are constants (\(a_0\,=\,1\)). Then, we have that \({\mathcal {L}}^{(a)}\) is symmetric with respect to the bilinear form
In this case, \(\deg B_n^{(a)}\,=\,n\), \(n\geqslant 0\). Moreover, the differential equation satisfied by the Bessel polynomials is admissible. We know from Corollary 1 that
For \(-a\,=\,m\in {\mathbb {N}}\), the expression for the Bessel polynomial \(B_n^{(-m)}(x)\) suffers a reduction in the degree when \(n=m+1-k\) for some \(0\leqslant k \leqslant n-1\). Indeed,
where \({\lceil }\nu {\rceil }\) is the smallest integer bigger that \(\nu \). Unfortunately, in this case the differential equation (4.17) does not have a polynomial solution of degree n for \(\left\lceil \frac{m}{2} \right\rceil +1\leqslant n \leqslant m+1\). Hence, we do not give a Sobolev orthogonality for this case.
References
Alfaro, M., Álvarez de Morales, M., Rezola, M.L.: Orthogonality of the Jacobi polynomials with negative integer parameters. J. Comput. Appl. Math. 145, 379–386 (2002)
Alfaro, M., Pérez, T.E., Piñar, M.A., Rezola, M.L.: Sobolev orthogonal polynomials: the discrete-continuous case. Methods Appl. Anal. 6, 593–616 (1999)
Álvarez de Morales, M., Pérez, T.E., Piñar, M.A.: Sobolev orthogonality for the Gegenbauer polynomials \(\{C_n^{(-N+1/2)}\}_{n\geqslant 0}\). J. Comput. Appl. Math. 100, 111–120 (1998)
Bochner, S.: Über Sturm–Liouvillesche polynomsysteme. Math. Z. 29(1), 730–736 (1929)
Bruder, A., Littlejohn, L.L.: Nonclassical Jacobi polynomials and Sobolev orthogonality. Res. Math. 61, 283–313 (2012)
Chihara, T.S.: An Introduction to Orthogonal Polynomials, Mathematics and its Applications, vol. 13. Gordon and Breach, New York (1978)
Derevyagin, M., García-Ardila, J.C., Marcellán, F.: Multiple Geronimus transformations. Linear Algebra Appl. 454, 158–183 (2014)
Garcia-Ardila, J.C., Marcellán, F., Marriaga, M.E.: Orthogonal Polynomials and Linear Functionals. An Algebraic Approach and Applications. European Mathematical Society (EMS), Zurich (2021)
García-Caballero, E.M., Pérez, T.E., Piñar, M.A.: Sobolev orthogonal polynomials: interpolation and approximation. Electron. Trans. Numer. Anal. 9, 56–64 (1999)
García-Caballero, E.M., Pérez, T.E., Piñar, M.A.: Hermite interpolation and Sobolev orthogonality. Acta Appl. Math. 61, 87–99 (2000)
Hahn, W.: Über die Jacobischen Polynome und Zwei Verwandte Polynomklassen. Math. Z. 39, 634–638 (1935)
Krall, H.L.: On derivatives of orthogonal polynomials II. Bull. Am. Math. Soc. 47, 261–264 (1941)
Krall, H.L., Frink, O.: A new class of orthogonal polynomials: the Bessel polynomials. Trans. Am. Math. Soc. 65, 100–115 (1949)
Krall, H.L., Scheffer, I.M.: Differential equations of finite order for orthogonal polynomials. Ann. Mat. Pura Appl. 4, 135–172 (1966)
Kwon, K.H., Littlejohn, L.L.: The orthogonality of the Laguerre polynomials \(\{L_n^{(-k)}(x)\}\) for positive integers \(k\). Ann. Numer. Anal. 2, 289–304 (1995)
Kwon, K.H., Littlejohn, L.L.: Sobolev orthogonal polynomials and second-order differential equations. Rocky Mt. J. Math. 28(2), 547–594 (1998)
Moreno, S.G., García-Caballero, E.M.: Linear interpolation and Sobolev orthogonality. J. Approx. Theory 161, 35–48 (2009)
Pérez, T.E., Piñar, M.A.: On Sobolev orthogonality for the generalized Laguerre polynomials. J. Approx. Theory 86, 278–285 (1996)
Sánchez-Lara, J.F.: On the Sobolev orthogonality of classical orthogonal polynomials for non standard parameters. Rocky Mt. J. Math. 47(1), 267–288 (2017)
Szegő, D.: Orthogonal Polynomials. American Mathematical Society Colloquium Publications, vol. 23, 4th edn. American Mathematical Society, Providence (1975)
Acknowledgements
The work of the second author (MEM) has been supported by Ministerio de Ciencia, Innovación y Universidades (MICINN) Grant PGC2018-096504-B-C33.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
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
García-Ardila, J.C., Marriaga, M.E. On Sobolev bilinear forms and polynomial solutions of second-order differential equations. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 115, 191 (2021). https://doi.org/10.1007/s13398-021-01137-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-021-01137-w