Probl. Anal. Issues Anal. Vol. 9 (27), No 2, 2020, pp. 97-118
DOI: 10.15393/j3.art.2020.7290
UDC 517.587
M. S. SüLTANAKHMEDOV
RECURRENCE RELATIONS FOR SOBOLEV ORTHOGONAL POLYNOMIALS
Abstract. We consider recurrence relations for the polynomials orthonormal with respect to the Sobolev-type inner product and generated by classical orthogonal polynomials, namely: Jacobi polynomials, Legendre polynomials, Chebyshev polynomials of the first and the second kind, Gegenbauer (ultraspherical) polynomials, Her-mite polynomials.
As the name implies, these polynomials are orthogonal with respect to the so-called Sobolev-type inner products. There are plenty of inner products of this kind, with various degrees of generalization. However, we only consider Sobolev-type inner products that can be represented as
(f,g) = (f,g)wh = f {v)(a)g(y)(a) + i f {r)(t)g{r\\t)u(t)dt. (1)
For this case, the theory of Sobolev orthogonal polynomials has recently been significantly developed and has found important applications (see [22] and works cited there).
© Petrozavodsk State University, 2020
A distinctive property of inner products of this kind is the existence of
special points, such that the behavior of Sobolev orthogonal functions can
be "controlled" in their neighborhood. Due to this property, it is possible
to construct the Fourier series with respect to the Sobolev orthogonal
polynomials, so that partial sums coincide with the approximated function
at the ends of the orthogonality segment. Such series proved to be a
convenient tool for different applied tasks, such as representing solutions
of the Cauchy problem for differential equations.
Following the established notation, we denote by L£(a,b) the space
of functions f(x), measurable on (a,b), for which J\\f(x)\\pu(x)dx < <x>,
where u = u(x) is a weight function.
Let {^raj^Lo be a system of polynomials, orthonormal in L%(a,b). In other words,
{<fn,Pm)Li = Vn(t)<Pm(t)w(t)dt = Sn
where ön,m is the Kronecker symbol.
By WrL2 (ab) we denote the Sobolev space, which consists of functions f = f (x) that are continuously differentiable (r — 1)-times on [a, b], while f(r-1\\x) is absolutely continuous on [a,b] and f(r) G L^(a,b). The inner product in W"L2 (ab) is defined by the equality (1).
Sharapudinov I. I. proposed a new method for construction of polynomials orthogonal with respect to the inner product (1). For any given orthogonal system [pn(x)}, we can generate Sobolev orthogonal system using the following equations:
Vr,n(x) = —,a) , n = 0,1,...,r — 1, (2)
<£r,r+n (x) = 7-l(x - t)r 1<£n(t)dt, n = 0,1,..., (3)
(r - 1)! J
hereinafter we will consider p0,n(x) = <pn(x). More precisely, the following statement has been proven in [18].
Theorem A Suppose that the functions (x) (n = 0,1,...) form a complete orthonormal system in L%(a,b). Then the system {^rn(x)}, generated by the system {^n(x)} by means of the equalities (2) and (3), is complete in W^ (ab) and orthonormal with respect to the inner product (1).
Remark. Note that Theorem A is valid not only for the case when <pn(x) are polynomials, but for more general case of orthogonal functions.
One of the key properties of orthogonal polynomials is the three-term recurrence relation, which establishes the relation between n-th polynomial and two previous (n — 1)-th and (n — 2)-th (for example, see § 3.2, Theorem 3.2.1 in [24]):
^n(x) = (AnX + Bn)Vn-l (x) + CnVn-2(x), n =2, 3,.... (4)
This formula is not only used for calculation of polynomial value in any given point x for any degree n, but also for investigation of further properties of polynomial system.
As it was mentioned in [14], one of the main difficulties in the development of the Sobolev orthogonal polynomials theory is absence of three-terms recurrence relation for these polynomials in the general case. However, we managed to establish recurrence relations for the case of Sobolev-type inner products, which can be represented as (1).
In this article, we also consider specific Sobolev orthonormal polynomials generated by the classic orthonormal polynomials and establish recurrence relations for these polynomials (namely, for polynomials generated by: Jacobi polynomials, Legendre polynomials, Chebyshev polynomials of the first and second kind, Gegenbauer (ultraspherical) polynomials, Her-mite polynomials). Recurrence relations for the Sobolev-Laguerre polynomials were established in [6], we only give them in the last section to cover this topic in more details.
First, for the case when n < r it is obvious that
(\\ / \\ (x Q/) X ft , , , .
x) = 1, <Pr,n(x) = -j- = -Pr,n-l(x),n =1,... ,r — 1. (5)
Next, from (3) with n = 0, we get
<Pr,r (x) = 7-7T7 (X — t)r p0dt =--0 (x — t)
(r — 1)! J r!
(^C G/) ^C ft , . , = Po-j-=-Wr-1,r-l(x), r = 1, 2,..., (6)
while Wo,o(x) = Wo.
Finally, for the case of pr,r+n(x) (n > 1), from (4) and again from (3) we have
Wr,r+n(x) = 7--TT (x - t)r-1<fn(t)dt =
(r - 1)! J
(x — t)r-l((Ant + Bn)^n-1(t) + Cn<pn-2(t))dt
(r — 1)!
BnW r,r+n-1(X) + On Wr,r +n-2(X) + 7-^ (X — t)r 1t^n-1(t)dt. (7)
(r — 1)! J
Let us consider the last term separately:
An f(x—t)r-1tifn-i(t)dt = . i(x—t) r-1(t—x+x)^n-i(t)dt =
(r — 1)!J -rn-1^^ (r — 1)!
A"X r(x — t)r-1 <Pn-1(t)dt — f(x — t)r <Pn-1 (t)dt
— n- 1 —
(r — 1)!J r!
(X) — A,nTWr+1,r+n(x). (8)
Collecting together equations (5) - (8) we get
Theorem 1. For the Sobolev orthogonal system {wr,n} (r > 1), generated by the orthonormal system {wn}, the following recurrence relations hold:
x — ft
Wr,o(x) =1, Wr,n(x) =-pr,n-1(x), 1 < n < r — 1;
W0,o(x) = Wo, Wr,r (x) = --- Wr-1,r-1(x),
(x) = (Anx +
(x) +
+ Cnpr,r+n-2 (x) (x), n > 2,
where An, Bn, and Cn are the coefficients from the three-term recurrent relation (4) for the original system {pn}.
Remark. Theorem 1 does not cover the case of pl>n+l(x), i. e.,
Pi,n+\\(x)= Pn(t)dt, n = 1,2,.... (9)
It should be considered separately, using special properties of the original orthogonal system {pn} (such as integral and differential properties).
(—\\)n 1 r]n
Pn13(x) = (- \\ 1 , -I- {p(x)an(x)} , (10)
n w 2nn\\ p(x) dxn L w v 7
where p(x) = p(x; a, [) = (1 — x)a(1 + x)3, a(x) = 1 — x2.
We will need the following properties of Jacobi polynomials [24], [23]:
Pn&3 (—x) = (— 1)nP3&a(x),
(x) = 2(n + a + ß + 1)p:^+1(x), (12)
(x)= (n ^ )lp^(x), 1 <l<n, (13)
(i - x)p:+i,ß (x) + (i+x)p:,ß+1 (x) = 2p:,ß (x), (i4)
panß-1(x) - p:-1,ß (x) = p:-ßi(x), (i5)
(2n + a + ß)prhß(x) = (n + a + ß)p*&ß(x) - (n + ß)p"-ß1(x), (16)
(2 n + a + ß )p*&ß-1(x) = (n + a + ß )p%&ß (x) + (n + a)F^&ß(x). (17)
From (13) we also derive
rl — 1
P-+1-1(X) = Pl-i(x). (18)
Lemma 1. The following equalities for the Jacobi polynomials hold:
= £rrxp°J1 w - - )i^ ™ = (19)
= + a -[ \\ n + X - 1 p»,P (~)- (n + a - 1)(U + [ - 1) Pa* ( = V 2n + X - 2) 2n Pn-l(X) n(2n + X - 2) Pn-2(X),
where X = a + [.
Proof. Using (14), (15) and (17) we get 2 P%-1,fi-1(x) = (1 - x)P^,fi-1(x) + (1 + x)P*-1^(x) =
= 2p:,ri-1(x) - [p:,ri-1(x) - p:-1,P (*)] - * [p^-1(x) - pr1* (
&n+a+[ Pa,p (r) +1 ( a-[ _ r\\ P(r) 2n + a + [Pn + 2 \\ 2n + a + [ X)Pn-1(X)
From the other hand, from (16) and (17) we deduce
pa-1,f3-1(T) = n + a + [ - 1 pa,/3-1(T)_ n + [ - 1 pa,*-1(„)
Pn = 2n + a + [ - 1pn (X) 2n + a + [ - 1 n-1 (X)
n + a + ß — 1
n + a + ß P»,ß (r) + n + a paß (r) 2n + a + ßPn + 2n + a + ßPn-l()
n + ß- 1
n + a + ß — 1
~ 2n + a + ß
n + a + ß — 1 pa,ß ( ) + n + a — 1 pa,ß ( ) 2n + a + ß — 2 - + 2n + a + ß — 2Pn-2(X)
n + a + ß pa,ß (r) + a — ß pa,ß (r)~
Pn—2(X).
(2n + a + [ - 2)(2n + a + [ - 1) Consider the recurrence relation for Jacobi polynomials:
and rewrite it in the following form:
n + a + ß pOi,ß (,_
(n + a - l)(n + ß - l)(2n + a + ß) ß n(2n + a + ß - l)(2n + a + ß - 2) n-2(X)&
Then, returning to the previous equality, we get
p:-1,ß-\\x) =n +a+ß-1L n+a +f -,p?ß(x)+
(n + a - l)(n + ß - l) ß ) (2n + a + ß - 2)(2n + a + ß - l) n-2(x)
a2 - ß2
x p:l\\(x) (n + a - l)(n + ß - l)
(2n+a+ß-2)(2n+a+ß-1)
n + a + ß - l
P:Lß2(x)
n + a + ß - l
(n + a - l)(n + ß - l) ß n(2n + a + ß - 2) Pn-2(x)•
The proof is complete. □
If a, ß > —1, then the Jacobi polynomials form a complete orthogonal system in L2(—1,1), i. e.,
p:ß (t)p%ß (t)P(t)dt = hajôn
r(n + a + l)r(n + ß + l)2a+ß+1
n\\r(n + a + p + 1)(2n + a + p + 1) & Let yf^P(x) = [h^3]-l/2Pn,/3(x) be the orthonormal Jacobi polynomi
The following recurrence relation holds:
(2n + a + ß + 2)(2n + a + ß ) J
Va/ (x)4n(n + a)(n + ß )(n + a + ß )
Pan\\(x),n > 1. (23)
(2n + a + ß)2(2n +a + ß - 1)(2n +a + ß + 1)
aßt \\ (x + 1)T
P*n (x) =
n = 0,1,
a ß PvyT+n (x )
(r - 1)!
(x - t)r-1pa,ß(t) dt,
We will restrict the parameters a, ß to satisfy the inequality a,ß > -1 since this is the only case when the Jacobi polynomials are orthogonal and, hence, the three-term recurrence relation still holds. For brevity, denote A = a + ß. 1. In the case r = 1, we have
plß+i(x) = pa,ß (t)dt
Paß(t)dt, n =1,2,
From (12), we get
(x = Pn&ß (x);
n + A dx
a,ß / \\ pin+i(x)
n + A dtn+1 (m
n + A
pn+1 (x) pn+i ( 1)
a-iß-i,
*-1J,-1(x) + (-l)n(n ++ß)
l,2,.... (26)
Note, that we need the parameters a, 3 to be non-negative to use (26) as a recurrence relation; otherwise, the polynomial P^-l^-1 (x) would not be orthogonal, and, hence, the recurrence relation for it would not hold. For the case —1 < a,3 < 0, we can use (19) or (20) from Lemma 1. We get
a,ß / \\ _
&P1,n+1(x) —
(V)n + X
a - ß 2n + X + 2,
n + X 2 n + X + 2
)P?ß (x) + (-l)n2(l ++ß)
( x) - x
pn+ 1(x i I x
X x + a - ß
) p:ß (x)pa,ß ( -,) n + a + l pa,ß ( -,)
-P<+1(-l) - n + X +l Pn (-l)
Using the fact that
ß _ 4(n + l) h»-1,ß-1
n + X
we can also rewrite (26) in the following form:
Pi&,n+1(x) — ün&ß Pn+1ß (x) + bnß,
l ~ba,ß — (_l)n 2 (K,ß) -2 (n + ß\\
\\J ( n + l)(n + X), n ( ) n + X \\n +l)
Pan&3 (X) = + b^ )pan3l (x) + c^panUx), n = 2, 3,...,
l (2n + X - l)(2n + X)2(2n + X + l)
n(n + a)(n + ß )(n + X)
-(2n + X) (n- 1)(n+ a-1)(n + p- 1)(n+X - 1)(2n + X + 1)
n(n +a)(n +p)(n + X)(2n + X - 3)
From Theorem 1, we have
J,n^&TPr+1,r+n(x) (au^X + ) Pr,r+n— 1(x) +
I r<r, P «, p (x) _ « > p (x) & n j-jr,r+n— 2Pr^+nK^Jy
r> 1,n> 2.
Dividing both parts of the equation by arTP and performing simple transformations, we get
a, P / \\ rPr+1, r+n(X)
X + Pr,r+n— 1(x)
_ ra,P a,p (x) _ Ra,p ( x) ^ n— 1fr,r+n-^ n Pr^+ny-^ ) )
r> 1,n > 2, (29)
^ (2n + X - 2)(2n + X)&
-2-J2 n + X\\]
Cn+1
Using (26), (27), and (29) from Theorem 1, we derive the following result.
Theorem 2. For the Sobolev-Jacobi polynomials {pr} (f > 1), when a,p > -1, the following recurrence relations hold:
pri (x) = h (x)
^^^ P^n-1 (x), 1 <n <r- 1 nPofi (x)
Pr&r (x) Pr—1,r— 1(x);
P1,n+1(x) =
pa- 1,p-1(x) _ pa- 1,P-1( 1) rn+1 (x) pn+1 ( 1)
r-1,P-1/
{K&p) 2 2(n + X + 1)
n + X 2n + X + 2
Pa&P (x) _ (x_ Xx + a - p \\ Pr,P(x) Pn+1(x) 2(n + X + 1)JPn (x)
-p:fA-l) n + a + l n + X + l
paß (-l)
rPr+1,r+n(x) (x + Pr,r+n-1(x)
where X — a + ß,
_ paß aß (x) _ paß aß (x) n > 2
pn-1 Pr,r+n-2(x) pn Fr,r+n(x), n — 2,
Aaß __a2 -ß
(2n + X - 2)(2n + X)&
paß — 2 I n(n + a)(n + ß)(n + X) n 2n + Xy (2n + X - l)(2n + X + l).
^(x) — £Tl+r rr+-% p»"2^2(x). (30)
C2 (x)— pi-1,7-1 (x), >y> -1, n — 0, l, 2,...
We can generate the new Sobolev orthogonal system from C^ (x):
CJn (x) — Pr,- (x)
with the help of equalities (24) and (25).
Using (26) and (30), we can write the following for these polynomials:
rt- 2, 2 ,
^l,n+1(x) — Pl,n+1 2 (x) — n + 2j - l P™+1 2 (x)
This formula is suitable for the case when ^ > 2. On the other hand, from (27) and, once again, (30) we get
U T&-1 2V2
(hn J 2(n + 2j)
Cl&U+i(x) = \\ + 21 — 1 2n + 21 + 1 P+l 2 (x)
p(-1 &7-2, n 2n + 21+1 ( P7-2,1-, P7-11- 1f — Pn+l 2 ( — ^ — 2n + 2l) (xPn 2 2 (x) + pn 2 2 ( —
[ Cn+l(x) — xCn (x) — Cn+l(—1) — Cn ( — 1)].
(n+21 — 1)v/2ttT (n + 2-y)
From these two equalities and Theorem 2, we conclude
Corollary 1. For the Sobolev-Gegenbauer polynomials {C^n} (r > 1), when ^ > — 2, the following recurrence relations hold:
Cr0(x) = 1, C?n(x) = Crn_l(x~), 1 < n <v — 1;
\\fh! 2& & 2
T(-f+1) ^s.x + 1
C0,0(x) = I-1-- = \\l I l\\ , CCrr (x = „ Cr-l, r-l(x);
C~ln+l(x) = 2j-1 r(7 — 1)^11+^+^ C-+l(x) — C+l(—1)] =
[c2+l(x)— xCn (x)—
(n + 2j — 1)v/2ttT (n + 2j)
— C:+l(—1) — C^ (—1)] , n =1, 2,••• ;
r Cr+l,r+n (x) xCr,r+n-l(x) — Bn-lCr,r+n-2(x) — BnCr,r+n(x), n > 2
Pn{x)= p%°{x), n = 0,1, 2,...,
we generate the Sobolev-Legendre polynomials
Pr,n(x) Pr,n(x). From (28) for r = 1, we have
/ \\ P-+-\\x) V2(2n + 1) , -, 0
Pl,U+l (x) = —!=== =-P-+&l (x), n =1, 2,....
y/n(n +1) n
Using (18), we rewrite
pi,n+i(x)=(x2-^^-i^&1, n=1,2,....
Then, from this equality and from Theorem 2, we get
Corollary 2. For the Sobolev-Legendre polynomials pr>n(x) (r > 1), the following recurrence relations hold:
x + 1
Pr,o(x) = 1, Pr,n(x) =-Pr,n-i (x), 1 <n <r- 1;
pi,n+i(x) +-1 (x2 - 1) P^,li(x), n =1, 2,
r pr+1,r+n(x) = x pr,r+n-1(x) - B2_ 1 pr,r+n-2(x) - BT pT,T+n(x) , n ^ <2,
\\J 4 n2 - 1 &
* 1 * [2
T0 = , Tn(x) = \\ —cosn arccos(x), n = 1, 2,... /- V k
These polynomials are orthonormal on [-1,1] with the weight function ,so
/V _ 1 _ 1
Tn(x) = P- 2& 2 (x). Then Sobolev-Chebyshev polynomials of the first kind will be
p (x±1T , p ( , (x + 1)r
J-r,n(x) =-:-, n = 0,1,...,r - 1; lr,r(x) n! r\\y/K
Tr,r+n(x) = - 1)\\J (x - t)r-iTn(t)dt, n =1, 2,... -i
In the work [18] by Sharapudinov I. I., the asymptotic formula and some other properties of the modified Sobolev-Chebyshev polynomials of the first kind were considered (orthonormal with the weight function ).
In particular, the recurrence relations for the case = 1 were obtained. We will use them here, transforming for our case:
T (x)= fn+i(x) fn-i(x) (-^ n> 2-Ti,n+i(x) = WTT) - 2n-T) - n2-!, n > 2;
Ti,o(x) = 1, Ti,i(x) = , T (x) = x /—1.
Then, from Theorem 2 we get
Corollary 3. For the Sobolev-Chebyshev polynomials of the first kind Tr,n(x) (r > 1) the following recurrence relations hold:
x + 1
Tr>o(x) = 1, Tr,n (x) =-Tr,n-i(x), 1 <n <r- 1;
T0,0(x) =T0 = , Tr,r (x) = (-) Tr-i,r-i(x);
Ti,o(x) = 1, Ti,i(x) = ^^, Ti,2 (x) = x .
Thn+1(x) — fn+1(x) - ^) - , n — 2;
T-1r+1,r+n(xx) rTr,r+n-1(x
Tr,r +n-2(x) + Tr,r +n (x)
. . sin(n + 1)arccosx Un(x) =-_ ;______, n = 0,1, 2,
sin arccos x
It is easy to show that
Un(x)Um(x)\\/l - x2dx — 2 önm.
Hence, orthonormal Chebyshev polynomials of the second kind are
Un(x) = \\l-Un(x) = pn&2 (x).
Sobolev - Chebyshev polynomials of the second kind are of the following form:
(x + 1)n
Ur,n(x) = (X ) , n = 0,1,...,r - 1,
Ur,r+n(x) — T^2^ I (x - t)r-1Un(t)dt, n — 0, l,
(r - l)!
By its definition, we have Ul,o(x) = 1; and from (31) we get
Uhl(x) = J2 (x + 1), Ui&2(x) = \\[l(x2 - 1). Using the following well-known properties of Chebyshev polynomials: i Un(t)dt = , Tn(-1) = (-1)n,
n + l
from (31) we also deduce
UUx) — 2 [Tn(x) - (-l)T. n V n
With the help of these equalities, we derive the next statement from Theorem 2:
Corollary 4. For the Sobolev-Chebyshev polynomials of the second kind Ur,n(x) (r > 1) the following recurrence relations hold:
x + 1
Ur,o(x) = 1, Ur,n(x) =-Ur,n-i(x), 1 <n <r - 1;
- Í2 x + 1
Uo,o(x) = Uo = \\ -, Ur,r(x) =-Ur-i,r-i(x);
Ui,o(x) = 1, Ui,i(x) = \\[ñ(x + 1), Ui,2(x) = ^ (x2 - 1) ,
Ui,n(x) = -\\~ [Tn(x) - (-1)n] , n > 3; n V n
Ur+i,r+n(x) = ~Ur,r+n-i(x) — [Ur,r+n(x) + Ur,r+n-2(x)] , n >
standardized Hermite (or Chebyshev-Hermite) polynomials are determined using the following Rodrigues formula (see [23], [24]):
Hn(x) = (-1)nex2 —[e-xj , n = 0,1, 2,.... (32)
These polynomials are orthogonal with the even weight function h(t) = e-t , defined on the whole real axis; namely:
Therefore,
Hn(t)Hm(t)h(t)dt = önm 2nn\\ yft.
Hn(t) = -ßnä=, n = 0,1, 2, y&2nn\\ y/ñ
are orthonormal Hermite polynomials.
The three-term recurrence relation for Hermite polynomials has the following form:
Ho(x) = 1, Hl(x) = 2x, Hn(x) = 2x Hn-l(x) — 2(n — 1)Hn-2(x), n > 2.
Hence for orthonormal polynomials we have
Ho(x) = k-i/4, Hi(x) = x V2k-i/4,
Hn(x) =xHn-1(x)J2 - Hn-2(x)\\ , n > 2. (33)
We will also need the following properties of the Hermite polynomials (see [23]):
H&n (x) = 2nHn-1(x); (34)
H2n(0) = (-1)n , H2n+1 (0) = 0. (35)
hr,n(x) = —, n = 0,1,... ,r - 1, 1
hr,r+n(x) = —1T-r (x - t)r 1Hn(t)dt, n = 0,1,... (r - 1)! J o
It has been shown, that these polynomials form the complete system in the Sobolev space W^2 r and are orthonormal with respect to the following inner product:
{f, 9) = £ f(v\\0)g{v)(0)+ i f(r\\t)g(r\\t)h(t)dt.
Let us consider recurrence relations for Sobolev-Hermite polynomials. 1. Using (34), we have, for the case r = 1:
hi,n+i(x)= Hn(t)dt = . / ,uHn+i(t)dt =
J J2nu\\JKJ 2(n +1) +
Hn+i(x) - Hn+i(0)
If n is even (n = 2m), this equation is simplified, with the help of (35), to
h1,2m+1(x) = --- , =, m = 0, 1,...,
& 2m+1(2m + 1W(2m)!
while for odd n = 2m +1 we get
hi& 2m+2(x) = --- , , m = 0, 1,....
& 2m+2(m
An rhr+i ,r+n
(x) = (jinx + Bn)hrtr+n-i (x) +
+ Cnhr,r+n-2(x) — hrtr+n(x) , T> 1,n > 2
where An, Bn and Cn are given by recurrence relation (33); hence
Thr+i,r+n(x%) xhr,r+n,-i(x)
\\j 2 hr,r+n-2(x) — ^
hr,r+n-2(x) — \\l 2 hr,r+n(x) , r > 1,n > 2.
Collecting all the formulas together, we get the following from Theorem 1:
Theorem 3. For the Sobolev-Hermite polynomials hr>n(x) (r > 1) the following recurrence relations hold:
hr0(x) = 1, hrn(x) = — hrn-Ax), 1 < n < r — 1;
h0&0(x) = Ho = -k-1/4, hrr(x) = - hr-ir-i(x);
hl,2m(x) 1
B2m(x) — (— 1)m {2m)l
, m =1, 2,
nl 2m+l(x) =-. =, m = 1, 2,...;
& + () 2™+l (2m + 1)^(2m)\\^ ;
hr+l,r+n(x) = xx^r,r+n-l(x) — y ——— hr,r+n-2(x) — J —hr,r+n(x) > 2.
K(x) = —>x-aex— {xn+ae-x\\ . (36)
nK & — dxn 1 J v 7
When a > -1, these polynomials are orthogonal with respect to the following inner product:
J Ll(t)Lam(t) tae-tdt = 5nm(^ + r(a + 1). o
We denote by l&T(x) the orthonormal version of these polynomials. Now, we can generate (see [19]) the new system
l*n(x) = n, n = 0,1,...,r - 1,
^y— I (x t) ^ n(^)^&^, n — 0,1,
which is complete in the Sobolev space Wvl2 (0 ^ and orthonormal with respect the Sobolev-type inner product
{f, g) = £ f(u)(0)g (v)(0)+ i f(r)(t)g (r)(t)P(t)dt,
where p = p(t) = tae-t.
The following recurrence relations were established in [6]:
Theorem B For the Sobolev-Laguerre polynomials l?n(x) (r > 1), when a > -1, the following recurrence relations hold:
Ir o (x) — 1, Irn(x) — Ir n— i(x^) , 1 < n < T 1n x
^narrY "r>rv"& r
h,n+1(x) =
In + a + 1 ia . . ,0. . In + a + 1
k 0(x) = 10 = /TT7-TT , Iar (x) = „ h-1 ,r-1(x);
-^n^1 a^x) + TW + yj?^ 10+1 (0) -10(0), n > 1; (37)
a a ( x) =
K,r+n(x) + [bax - aa] K,r+n-1(x) + C&0^i~,r+0-2(x) , n > 2, (38)
= 2n + a -1 = 1 = l(n - 1)(n + a -1) I-:-— , "ry, I-■-— , W,
\\J n(n + a) n \\J n(n + a) n ]j n(n + a)
Remark. Equations (37) and (38) can also be represented as follows:
ja ( ia( N [■n+a+T a (n + a
n,n+l\\X) — & n (x) y ^ I 1 & ra+1(x) +
n + 1
/n + ^ /n + a + ^ 2 V n ) V n + 1 )
for n > 1;
ti r+lr+nix) 0>nl r,r+n(x) +
for n > 2, where
x — b\\
Ir,r+n— 1 (x) + Un— 1 ^r,r+n— 2 (x)
\\Jn(n + a), b% — 2n + a — 1
References
[1] Aktas R., Xu Y. Sobolev orthogonal polynomials on a simplex. Int. Math. Res. Notice, 2013, no. 13, pp. 3087-3131.
DOI: https://doi .org/10.1093/imrn/rns141
[2] Alfaro M., Moreno-Balcazar J. J., Pena A., Rezola M. L. A new approach to the asymptotics of Sobolev type orthogonal polynomials. J. Approx. Theory, 2011, vol. 163, pp. 460-480.
DOI:https://doi .org/10.1016/j.jat.2010.11.005
[3] Althammer P. Eine Erweiterung des Orthogonalitatsbegriffes bei Polynomen und deren Anwendung auf die beste Approximation. J. Reine Angew. Math., 1962, vol. 211, pp. 192-204.
DOI: https://doi.org/10.1515/crll.1962.211.192
[4] Berti A. C., Bracciali C. F., Sri Ranga A. Orthogonal polynomials associated with related measures and Sobolev orthogonal polynomials. Numer. Algorithms, 2003, vol. 34, pp. 203-216.
DOI: https://doi.org/10.1023/B:NUMA.0000005363.32764.d3
[5] Diaz Mendoza C., Orive R., Pijeira Cabrera H. Zeros and logarithmic asymptotics of Sobolev orthogonal polynomials for exponential weights. J. Comput. Appl. Math., 2009, vol. 233, pp. 691-698.
DOI: https://doi.org/10.1016Zj.cam.2009.02.037
[6] Gadzhimirzaev R. M. Recurrence relations for polynomials orthonormal on Sobolev, generated by Laguerre polynomials. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2018, vol. 18:1, pp. 17-24.
DOI: https://doi.org/10.18500/1816-9791-2018-18-1-17-24
[7] Geronimo J. S., Lubinsky D. S., Marcellan F. Asymptiotic for Sobolev orthogonal polynomials for exponential weights. Constr. Approx., 2005, vol. 22, pp. 309-346.
DOI: https://doi.org/10.1007/s00365-004-0578-1
[8] Iserles A., Koch P. E., Norsett S. P. and Sanz-Serna J. M. On polynomials orthogonal with respect to certain Sobolev inner products. J. Approx. Theory, 1991, vol. 65, pp. 151-175.
DOI: https://doi .org/10.1016/0021-9045(91)90100-0
[9] Kwon K. H., Littlejohn L. L. Sobolev orthogonal polynomials and second-order differential equations. Rocky Mountain J. Math., 1998, vol. 28, pp. 547-594.
DOI: https://doi .org/10.1216/rmjm/1181071786
[10] Lee J. K. and Littlejohn L. L. Sobolev orthogonal polynomials in two variables and second order partial differential equations. J. Math. Anal. Appl., 2006, vol. 322, pp. 1001-1017.
DOI: https://doi.org/10.1016Zj.jmaa.2005.09.062
[11] Lopez G., Marcellan F., Van Assche W. Relative Asymptotics for Polynomials Orthogonal with Respect to a Discrete Sobolev Inner-Product. Constr. Approx., 1995, vol. 11:1, pp. 107-137.
DOI: https://doi .org/10.1007/BF01294341
[12] Marcellan F., Alfaro M. and Rezola M. L. Orthogonal polynomials on Sobolev spaces: old and new directions. Journal of Computational and Applied Mathematics, 1993, vol. 48, pp. 113-131.
DOI: https://doi.org/10.1016/0377-0427(93)90318-6
[13] Marcellan F., Zejnullahu R. Xh., Fejzullahu B. Xh., Huertas E. On orthogonal polynomials with respect to certain discrete Sobolev inner product. Pacific J. of Math., 2012, vol. 257, pp. 167-188.
DOI: https://doi.org/10.2140/pjm.2012.257.167
[14] Marcellan F., Xu Y. On Sobolev orthogonal polynomials. Expositiones Mathematicae, 2015, vol. 33:3, pp. 308-352.
DOI: https://doi.org/10.1016/j.exmath.2014.10.002
[15] Meijer H. G. Laguerre polynimials generalized to a certain discrete Sobolev inner product space. J. Approx. Theory, 1993, vol. 73, pp. 1-16.
DOI: https://doi .org/10.1006/jath.1993.1029
[16] Perez T. E., Pinar M. A. and Xu Y. Weighted Sobolev orthogonal polynomials on the unit ball. Int. Math. Res. Notice, 2013, no. 13, pp. 3087-3131. J. Approx. Theory, 2013, vol. 171, pp. 84-104.
DOI: https://doi .org/10.1016/j.jat.2013.03.004
[17] Ruiz H. D., Marcellan F., Molano A. Asymptotics of Sobolev orthogonal polynomials for Hermite (1,1)-coherent pairs. J. of Mathematical Analysis and Applications, 2018, vol. 467, iss. 1, pp. 601-621.
DOI: https://doi.Org/10.1016/j.jmaa.2018.06.075
[18] Sharapudinov I. I. Asymptotic properties of polynomials, orthogonal in Sobolev sense and associated with the Jacobi polynomials. Daghestan Electronic Mathematical Reports, 2016, vol. 6, pp. 1-24.
DOI: https://doi .org/10.31029/demr.6.1
[19] Sharapudinov I. I., Gadzhieva Z. D., Gadzhimirzaev R. M. Systems of functions orthogonal with respect to scalar products of Sobolev type with discrete masses generated by classical orthogonal systems. Daghestan Electronic Mathematical Reports, 2016, vol. 6, pp. 31-60.
DOI: https://doi .org/10.31029/demr.6.3
[20] Sharapudinov I. I. Special series in Laguerre polynomials and their approximation properties. Sib. Math. J., 2017, vol 58, pp. 338-362.
DOI: https://doi.org/10.1134/S0037446617020173
[21] Sharapudinov I. I. Sobolev-orthogonal systems of functions associated with an orthogonal system. Izvestiya: Mathematics, 2018, vol. 82:1, pp. 212-244. DOI: http://dx.doi.org/10.1070/IM8536
[22] Sharapudinov I. I. Sobolev-orthogonal systems of functions and some of their applications. Russian Math. Surveys, 2019, vol. 74:4, pp. 659-733. DOI: https://doi .org/10.4213/rm9846
[23] Suetin P.K. Classic orthogonal polynomials. M.: Fizmatlit, 2005, 480 p.
[24] Szego G. Orthogonal Polynomials. AMS Colloq. Publ, 1939, vol. 23. DOI: https://doi .org/10.1090/coll/023
Received November 26, 2019. In revised form, April 19, 2020. Accepted May 02, 2020. Published online May 20, 2020.
Dagestan Federal Research Center of RAS
E-mail: Sultanakhmedov@gmail.com