12
ON THE KRALL-TYPE POLYNOMIALS R. ´ ALVAREZ-NODARSE, J. ARVES ´ U, AND F. MARCELL ´ AN Received 10 December 2003 and in revised form 6 July 2004 Using a general and simple algebraic approach, some results on Krall-type orthogonal polynomials and some of their extensions are obtained. 1. Introduction Let u : P R be a quasidefinite linear functional in the vector space P of polynomials with complex coecients, then there exists a sequence of monic polynomials (P n ) n with deg P n = n, such that [12] u, P n P m = k n δ n,m , k n = 0. (1.1) Special cases of quasidefinite linear functionals are the classical ones (those of Jacobi, Laguerre, Hermite, and Bessel). In recent years perturbations of a quasidefinite linear functional u via the addition of Dirac delta functionals and their derivatives have been extensively studied (see, e.g., [1, 5, 14, 15, 16, 17, 18, 19, 23] and the references therein), that is, the linear functional ˜ u = u + M i=1 A i δ ( x a i ) N j =1 B j δ ( x b j ) , (1.2) where (A i ) M i=1 and (B j ) N j =1 are real numbers, δ (x y) and δ (x y) mean the Dirac lin- ear functional and its derivative, respectively, defined by δ (x y), p(x)= p( y), δ (x y), p(x)=−p ( y), for all p P. If at most one B i is nonzero and A i = 0, i = 1, ... , m, then the analysis of the quasi-definiteness of the linear functional u is presented in [9]. Special important examples appear when u is a classical linear functional and the mass points are located at the ends of the interval of orthogonality. We have studied the corresponding sequences of orthogonal polynomials in this case in several papers: for the Laguerre linear functional see [2, 3], for the Bessel linear functional see [7], for the Jacobi linear functional see [8], and for the Hermite case see [1]. In particular Copyright © 2004 Hindawi Publishing Corporation Journal of Applied Mathematics 2004:5 (2004) 359–369 2000 Mathematics Subject Classification: 33C45, 42C05 URL: http://dx.doi.org/10.1155/S1110757X04312076

On the Krall-type polynomials - Hindawi Publishing Corporationdownloads.hindawi.com/journals/jam/2004/373417.pdf · ON THE KRALL-TYPE POLYNOMIALS R. ALVAREZ-NODARSE, J. ARVES´ U,

  • Upload
    others

  • View
    3

  • Download
    0

Embed Size (px)

Citation preview

Page 1: On the Krall-type polynomials - Hindawi Publishing Corporationdownloads.hindawi.com/journals/jam/2004/373417.pdf · ON THE KRALL-TYPE POLYNOMIALS R. ALVAREZ-NODARSE, J. ARVES´ U,

ON THE KRALL-TYPE POLYNOMIALS

R. ALVAREZ-NODARSE, J. ARVESU, AND F. MARCELLAN

Received 10 December 2003 and in revised form 6 July 2004

Using a general and simple algebraic approach, some results on Krall-type orthogonalpolynomials and some of their extensions are obtained.

1. Introduction

Let u : P �→ R be a quasidefinite linear functional in the vector space P of polynomialswith complex coefficients, then there exists a sequence of monic polynomials (Pn)n withdegPn = n, such that [12]

⟨u,PnPm

⟩= knδn,m, kn �= 0. (1.1)

Special cases of quasidefinite linear functionals are the classical ones (those of Jacobi,Laguerre, Hermite, and Bessel).

In recent years perturbations of a quasidefinite linear functional u via the additionof Dirac delta functionals and their derivatives have been extensively studied (see, e.g.,[1, 5, 14, 15, 16, 17, 18, 19, 23] and the references therein), that is, the linear functional

u= u +M∑i=1

Aiδ(x− ai

)− N∑j=1

Bjδ′(x− bj), (1.2)

where (Ai)Mi=1 and (Bj)Nj=1 are real numbers, δ(x− y) and δ′(x− y) mean the Dirac lin-ear functional and its derivative, respectively, defined by 〈δ(x− y), p(x)〉 = p(y), 〈δ′(x−y), p(x)〉 = −p′(y), for all p ∈ P. If at most one Bi is nonzero and Ai = 0, i = 1, . . . ,m,then the analysis of the quasi-definiteness of the linear functional u is presented in [9].

Special important examples appear when u is a classical linear functional and themass points are located at the ends of the interval of orthogonality. We have studiedthe corresponding sequences of orthogonal polynomials in this case in several papers:for the Laguerre linear functional see [2, 3], for the Bessel linear functional see [7], forthe Jacobi linear functional see [8], and for the Hermite case see [1]. In particular

Copyright © 2004 Hindawi Publishing CorporationJournal of Applied Mathematics 2004:5 (2004) 359–3692000 Mathematics Subject Classification: 33C45, 42C05URL: http://dx.doi.org/10.1155/S1110757X04312076

Page 2: On the Krall-type polynomials - Hindawi Publishing Corporationdownloads.hindawi.com/journals/jam/2004/373417.pdf · ON THE KRALL-TYPE POLYNOMIALS R. ALVAREZ-NODARSE, J. ARVES´ U,

360 On the Krall-type polynomials

the quasi-definiteness of u, relative asymptotics, the representation as a hypergeometricfunction, and the location of their zeros have been obtained.

This kind of perturbations can be seen as the simplest (lower-order) discretecontin-uous version of the “bispectral” property. The continuous “bispectral problem” consistsof describing all Schrodinger-type differential operators of second order such that theireigenfunctions should satisfy a differential equation (of arbitrary finite order) in the spec-tral variable. The basic tools are based in the Darboux factorization method [13]. Inthe discrete-continuous case, this factorization is related to the LU and UL factorizationof the Jacobi matrix associated with the sequence of orthogonal polynomials which arethe eigenfunctions of a second-order linear differential operator of hypergeometric type.Thus the so-called Krall polynomials appear in a natural way [15, 16, 17, 18, 19].

Very recently, in [11], the study of sequences of orthogonal polynomials and their as-sociated Hankel determinants when we add an extra term to a weight function is consid-ered using the Heine formula. In particular, the authors analyze separately the additionof Aδ(x− a) and Aδ′(x− a). Notice that they do not discuss the quasidefinite characterof the linear functional u given by either

u= u +Aδ(x− a) or u= u−Aδ′(x− a). (1.3)

This is a very important gap, specially when derivatives of Dirac delta functionals are con-sidered, because necessary and sufficient conditions for the existence of the correspond-ing sequence of orthogonal polynomials are needed. They obtain particular cases of ourprevious results [2, 3, 4, 5, 8] using a different approach based in the above-mentionedHeine formula.

The aim of the present contribution is to cover the above gap about the quasidefinite-ness when we add two extra terms to a linear functional u in such a way that the perturbedlinear functional is given by

u= u +Aδ(x− a)−Bδ′(x− b), a �= b. (1.4)

The case a= b has been considered in some previous work by the authors and coworkers[2, 3, 5, 7].

We use an innovative and algebraic approach taking into account the orthogonalityproperties of the sequence of polynomials.

Section 2 deals with the analysis of necessary and sufficient conditions for the quasidef-initeness of u given by (1.4). In such a case, the coefficients of the three-term recurrencerelation that the corresponding sequence of monic orthogonal polynomials satisfies isobtained. Furthermore, if we assume that the u is a semiclassical linear functional, that is,it satisfies a Pearson equation D[φu]=Ψu, with φ, ψ polynomials such that deg(ψ)≥ 1,see [24], then the linear functional u is also semiclassical. This can be read in terms ofthe holonomic second-order linear differential equation that such polynomials satisfy.The explicit expression for their coefficients is given. Finally, as an application, the WKBmethod is used for the analysis of the location of their zeros.

Page 3: On the Krall-type polynomials - Hindawi Publishing Corporationdownloads.hindawi.com/journals/jam/2004/373417.pdf · ON THE KRALL-TYPE POLYNOMIALS R. ALVAREZ-NODARSE, J. ARVES´ U,

R. Alvarez-Nodarse et al. 361

2. General theory

For the sake of simplicity we will consider a linear functional u given by u= u +Aδ(x−a)− Bδ′(x− b). Here we assume that a is different from b. This situation has been ex-tensively considered in the literature for a= b and was found to yield a simplification ofthe computation in the representation formulas (see, e.g., [1]). Thus we will recover theresult in [11] in a very simple way (for the general case we refer the reader to [1]).

2.1. Representation formulas. If u is quasidefinite, then there exists a sequence of monicpolynomials (Pn)n orthogonal with respect to u, and therefore, we can consider theFourier expansion

Pn(x)= Pn(x) +n−1∑k=0

λn,kPk(x). (2.1)

Thus, for 0≤ k ≤ n− 1,

λn,k =⟨u, Pn(x)Pk(x)

⟩⟨u,P2

k(x)⟩ =−APn(a)Pk(a) +BPn(b)P′k(b) +BP′n(b)Pk(b)⟨

u,P2k(x)

⟩= APn(a)

Pk(a)⟨u,P2

k(x)⟩ −BPn(b)

P′k(b)⟨u,P2

k(x)⟩ −BP′n(b)

Pk(b)⟨u,P2

k(x)⟩ .

(2.2)

As a consequence, (2.1) becomes

Pn(x)= Pn(x)−APn(a)Kn−1(x,a)−BPn(b)K(0,1)n−1 (x,b)−BP′n(b)Kn−1(x,b), (2.3)

where, as usual,

K(i, j)n (x, y)=

n∑l=0

P(i)l (x)P

( j)l (y)⟨

u,P2l (x)

⟩ , P(i)l (x) := di

dxiPl(x), i, j ∈N. (2.4)

As a convention, K(0,0)n (x, y) := Kn(x, y) denotes the reproducing kernel associated with

the linear functional u. It is very well known (reproducing property of the kernels) that〈u,Kn(x, y)p(x)〉 = p(y) for every polynomial p(x) of degree less than or equal to n.Evaluating (2.3) for x = a, we get

Pn(a)= Pn(a)−APn(a)Kn−1(a,a)−BPn(b)K(0,1)n−1 (a,b)−BP′n(b)Kn−1(a,b). (2.5)

A similar evaluation in (2.3) for x = b gives

Pn(b)= Pn(b)−APn(a)Kn−1(b,a)−BPn(b)K(0,1)n−1 (b,b)−BP′n(b)Kn−1(b,b). (2.6)

Finally, taking derivatives in (2.3) and evaluating the resulting expression for x = b, weobtain

P′n(b)= P′n(b)−APn(a)K(1,0)n−1 (b,a)−BPn(b)K(1,1)

n−1 (b,b)−BP′n(b)K(1,0)n−1 (b,b). (2.7)

Page 4: On the Krall-type polynomials - Hindawi Publishing Corporationdownloads.hindawi.com/journals/jam/2004/373417.pdf · ON THE KRALL-TYPE POLYNOMIALS R. ALVAREZ-NODARSE, J. ARVES´ U,

362 On the Krall-type polynomials

Thus we get a system of three linear equations in the variables Pn(a), Pn(b), and P′n(b):Pn(a)

Pn(b)

P′n(b)

=

Pn(a)

Pn(b)

P′n(b)

−Kn−1D

Pn(a)

Pn(b)

P′n(b)

, (2.8)

where

D=A 0 0

0 0 B0 B 0

, Kn−1 =

Kn−1(a,a) Kn−1(a,b) K(0,1)n−1 (a,b)

Kn−1(b,a) Kn−1(b,b) K(0,1)n−1 (b,b)

K(1,0)n−1 (b,a) K(0,1)

n−1 (b,b) K(1,1)n−1 (b,b)

. (2.9)

Notice that if the matrix I + Kn−1D, where I is the identity matrix, is nonsingular, then weget the existence and uniqueness for the solution of (2.8). Therefore, (2.3) becomes

Pn(x)= Pn(x)− (Kn−1(x,a),Kn−1(x,b),K(0,1)n−1 (x,a)

)×D

(I + Kn−1D

)−1(Pn(a),Pn(b),P′n(b)

)T.

(2.10)

All the above lead to the following theorem.

Theorem 2.1. The linear functional u is a quasidefinite linear functional if and only if

(i) the matrix I + Kn−1D is nonsingular for every n∈N,

(ii) 〈u,P2n(x)〉+ (Pn(a),Pn(b),P′n(b))D(I + Kn−1D)−1

(Pn(a)Pn(b)P′n(b)

)�= 0 for every n∈N,

(iii) the norm 〈u, P2n(x)〉 is given by

⟨u, P2

n(x)⟩= ⟨u,P2

n(x)⟩

+(Pn(a),Pn(b),P′n(b)

)×D

(I + Kn−1D

)−1(Pn(a),Pn(b),P′n(b)

)T �= 0.(2.11)

In such a case, the sequence (Pn)n of monic orthogonal polynomials with respect to u is givenby (2.10).

Formula (2.11) constitutes the first representation formula for the polynomials (Pn)n.

Remark 2.2. If the entries of the matrix D are nonzero, then D is a nonsingular Hermitianmatrix, and

D(I + Kn−1D

)−1 = (D−1 + Kn−1)−1 =Mn−1, (2.12)

where D−1 + Kn−1 is a Hermitian matrix. Therefore (2.11) means that

1 + εn(Pn(a), Pn(b), P′n(b)

)Mn−1

Pn(a)

Pn(b)

P′n(b)

�= 0, Pn

(ai)= Pn

(ai)√∣∣⟨u,P2

n(x)⟩∣∣ , (2.13)

ai = a,b, and εn = sign(〈u,P2n(x)〉).

Page 5: On the Krall-type polynomials - Hindawi Publishing Corporationdownloads.hindawi.com/journals/jam/2004/373417.pdf · ON THE KRALL-TYPE POLYNOMIALS R. ALVAREZ-NODARSE, J. ARVES´ U,

R. Alvarez-Nodarse et al. 363

We now obtain another representation formula. Taking into account the Christoffel-Darboux formula

Kn−1(x, y)= 1kn

[Pn(x)Pn−1(y)−Pn(y)Pn−1(x)

x− y

], kn =

⟨u,P2

n(x)⟩

, (2.14)

as well as

K(0,1)n−1 (x, y)= 1

kn

[Pn(x)P′n−1(y)−P′n(y)Pn−1(x)

x− y+Pn(x)Pn−1(y)−Pn(y)Pn−1(x)

(x− y)2

],

(2.15)

inserting these two expressions in (2.10), and denoting φ(x)= (x− a)(x− b)2, we deduce

φ(x)Pn(x)=A(x;n)Pn(x) +B(x;n)Pn−1(x), (2.16)

where A(x;n) and B(x;n) are polynomials of degrees independent of n, of at most 3 and2, respectively. On the other hand, from the three-term recurrence relation that the se-quence (Pn)n satisfies

xPn(x)= Pn+1(x) +βnPn(x) + γnPn−1(x), γn �= 0, ∀n∈N, (2.17)

and taking into account (2.16), for n≥ 1, we get

φ(x)Pn(x)= C(x;n)Pn+1(x) +D(x;n)Pn(x),

C(x;n)=−B(x;n)γn

, D(x;n)=A(x;n) +x−βnγn

B(x;n).(2.18)

Now, from any of the above expressions a very useful representation formula follows.In fact, if u is a semiclassical linear functional [24], then there exist a polynomial ψ(x)and two polynomials M1(x;n), N1(x;n) with degree independent of n such that

ψ(x)P′n(x)=M1(x;n)Pn(x) +N1(x;n)Pn−1(x); (2.19)

or, equivalently, using the three-term recurrence relation (TTRR) (2.17), we get

ψ(x)P′n(x)=M2(x;n)Pn(x) +N2(x;n)Pn+1(x), (2.20)

where again the degrees of M2(x;n) and N2(x;n) are independent of n. Usually formulas(2.19) and (2.20) represent the lowering and raising operators for the semiclassical family(Pn)n.

Using (2.16) and (2.19) or (2.18) and (2.20), we obtain the formula

q(x;n)Pn(x)= a(x;n)Pn(x) + b(x;n)P′n(x), (2.21)

where a, b, and q are polynomials with degree independent of n. The last formula playsa fundamental role in finding the second-order linear differential equation that the poly-nomials (Pn)n satisfy, as shown in Section 2.3.

Page 6: On the Krall-type polynomials - Hindawi Publishing Corporationdownloads.hindawi.com/journals/jam/2004/373417.pdf · ON THE KRALL-TYPE POLYNOMIALS R. ALVAREZ-NODARSE, J. ARVES´ U,

364 On the Krall-type polynomials

2.2. Three-term recurrence relation and lowering and raising operators. In the fol-lowing we assume that u is quasidefinite. Then, the sequence (Pn)n of monic polynomialsorthogonal with respect to u satisfies a TTRR:

xPn(x)= Pn+1(x) + βnPn(x) + γnPn−1(x), n∈N, (2.22)

with the initial conditions P−1(x)= 0, P0(x)= 1.Here we will obtain the coefficients βn and γn of the TTRR (2.22) for the polynomials

Pn orthogonal with respect to u, in terms of the coefficients βn and γn of the TTRR (2.17)of the monic polynomials orthogonal with respect to u. Since

γn =⟨u, P2

n(x)⟩

⟨u, P2

n−1(x)⟩ , (2.23)

then, taking into account (2.11) as well as Remark 2.2 of Theorem 2.1, for n > 1, we get

γn = γn 1 + εn(Pn(a), Pn(b), P′n(b)

)Mn−1

(Pn(a), Pn(b), P′n(b)

)T1 + εn−1

(Pn−1(a), Pn−1(b), P′n−1(b)

)Mn−2

(Pn−1(a), Pn−1(b), P′n−1(b)

)T , (2.24)

as well as, for n= 1,

γ1 =⟨u, P2

1(x)⟩

⟨u, P2

0(x)⟩ =

⟨u, P2

1(x)⟩

⟨u, P2

0(x)⟩

+∑M

i=1Ai

= γ11 + ε1

(P1(a), P1(b), P′1(b)

)M0(P1(a), P1(b), P′1(b)

)T1 +A/u0

,

(2.25)

where u0 = 〈u,1〉 is the first moment of the linear functional u.On the other hand, βn = 〈u,xP2

n(x)〉/〈u, P2n(x)〉. Nevertheless, it is more convenient

to compute βn in a different way. If bn denote the coefficient of xn−1 for Pn and bn the

corresponding coefficient of xn−1 for Pn, then we have, βn = bn − bn+1. To obtain bn weuse (2.10):

bn = bn− εnεn−1∣∣γn∣∣1/2(

Pn−1(a), Pn−1(b), P′n−1(b))Mn−1

(Pn(a), Pn(b), P′n(b)

)T.

(2.26)

Thus, for n≥ 1,

βn = βn + εnεn+1∣∣γn+1

∣∣1/2(Pn(a), Pn(b), P′n(b)

)Mn(Pn+1(a), Pn+1(b), P′n+1(b)

)T− εnεn−1

∣∣γn∣∣1/2(Pn−1(a), Pn−1(b), P′n−1(b)

)Mn−1

(Pn(a), Pn(b), P′n(b)

)T.

(2.27)

Page 7: On the Krall-type polynomials - Hindawi Publishing Corporationdownloads.hindawi.com/journals/jam/2004/373417.pdf · ON THE KRALL-TYPE POLYNOMIALS R. ALVAREZ-NODARSE, J. ARVES´ U,

R. Alvarez-Nodarse et al. 365

Finally, for n= 0, we have

β0 =⟨u,x⟩⟨

u,1⟩ = u1 + aA+B

u0 +A. (2.28)

Notice that in order to compute the values bn we can also use (2.21).Following the ideas in [1] it is easy to show that in this case the polynomials Pn admit

both lowering and raising operators of the form

φ2(x)ψ(x)P′n(x)= M1(x;n)Pn(x) + N1(x;n)Pn−1(x),

φ2(x)ψ(x)P′n(x)= M2(x;n)Pn(x) + N2(x;n)Pn+1(x),(2.29)

where M1(x;n), N1(x;n), M2(x;n), and M2(x;n) are polynomials depending on n and ofbounded degree independent of n, respectively. These two formulas are very useful. Inparticular, from them we can easily derive the second-order linear differential equationthat the polynomials Pn satisfy (see [1] for more details). Nevertheless, from formula(2.21), it is possible to find it by a simpler method as we will show in the next section. Inparticular this leads to the second-order linear differential equation that the polynomialsconsidered in [2, 3, 7, 8], and therefore [11], satisfy.

2.3. Second-order linear differential equation for (Pn)n. Here we will describe an al-gorithm for finding the second-order differential equations (SODE) which satisfy thepolynomials Pn(x) defined by (2.21), where (Pn)n is a solution of the SODE

σ(x)P′′n (x) + τ(x)P′n(x) + λ(x)Pn(x)= 0. (2.30)

A special case is when (Pn)n constitutes a classical or semiclassical orthogonal family so(2.30) takes place. Taking derivatives in (2.21), we get

q′(x;n)Pn(x) + q(x;n)P′n(x)

= a′(x;n)Pn(x) + a(x;n)P′n(x) + b′(x;n)P′n(x) + b(x;n)P′′n (x).(2.31)

Now, multiplying the above formula by σ(x) and using the SODE for the polynomials(Pn)n, we can rewrite b(x;n)P′′n (x) as a combination of Pn(x) and P′n(x), with polynomialcoeffcients. To eliminate the term q′(x;n)Pn(x), we can multiply by q and use (2.21).These two operations yield

r(x;n)P′n(x)= c(x;n)Pn(x) +d(x;n)P′n(x), (2.32)

where

r(x;n)= σ(x)q2(x;n),

c(x;n)= q(x;n)σ(x)a′(x)− b(x;n)q(x;n)λ(x)− σ(x)a(x;n)q′(x;n),

d(x;n)= q(x;n)σ(x)a(x;n) + q(x;n)σ(x)b′(x)− b(x;n)q(x;n)τ(x)− σ(x)b(x;n)q′(x;n).(2.33)

Page 8: On the Krall-type polynomials - Hindawi Publishing Corporationdownloads.hindawi.com/journals/jam/2004/373417.pdf · ON THE KRALL-TYPE POLYNOMIALS R. ALVAREZ-NODARSE, J. ARVES´ U,

366 On the Krall-type polynomials

Analogously, taking derivatives in (2.32) and using the SODE (2.30), we obtain

s(x;n)P′′n (x)= e(x;n)Pn(x) + f (x;n)P′n(x), (2.34)

with

s(x;n)= σ(x)r2(x;n),

e(x;n)= r(x;n)σ(x)c′(x)−d(x;n)r(x;n)λ(x)− σ(x)c(x;n)r′(x;n),

f (x;n)= r(x;n)σ(x)c(x;n) + r(x;n)σ(x)d′(x)−d(x;n)r(x)τ(x)− σ(x)d(x;n)r′(x;n).(2.35)

In formulas (2.32), (2.34), r, s, c, d, e, and f are polynomials of bounded degree withcoefficients depending, in general, on n (they depend only on the functions σ(x), τ(x),λ(x), q(x;n), a(x;n), and b(x;n) which are polynomials on x). The expressions (2.21),(2.32), and (2.34) yield

∣∣∣∣∣∣∣∣q(x;n)Pn(x) a(x;n) b(x;n)

r(x;n)P′n(x) c(x;n) d(x;n)

s(x;n)P′′n (x) e(x;n) f (x;n)

∣∣∣∣∣∣∣∣= 0, (2.36)

where the functions q(x;n), a(x;n), and b(x;n) are known from expression (2.21), andc(x;n), d(x;n), e(x;n), f (x;n), r(x), and s(x;n) can be found from (2.33) and (2.35).Expanding the determinant in (2.36) by the first column, we get

σn(x)P′′n (x) + τn(x)P′n(x) + λn(x)Pn(x)= 0, (2.37)

where

σn(x)= s(x;n)[a(x;n)d(x;n)− c(x;n)b(x;n)

],

τn(x)= r(x;n)[e(x;n)b(x;n)− a(x;n) f (x;n)

],

λn(x)= q(x;n)[c(x;n) f (x;n)− e(x;n)d(x;n)

].

(2.38)

A straightforward calculation shows us that all coefficients in (2.37) have a common fac-tor q4(x;n)σ2(x). Then (2.38) can be rewritten as

σn(x)= s(x;n)[a(x;n)d(x;n)− c(x;n)b(x;n)

q4(x;n)σ2(x)

],

τn(x)= r(x;n)[e(x;n)b(x;n)− a(x;n) f (x;n)

q4(x;n)σ2(x)

],

λn(x)= q(x;n)[c(x;n) f (x;n)− e(x;n)d(x;n)

q4(x)σ2(x)

].

(2.39)

Page 9: On the Krall-type polynomials - Hindawi Publishing Corporationdownloads.hindawi.com/journals/jam/2004/373417.pdf · ON THE KRALL-TYPE POLYNOMIALS R. ALVAREZ-NODARSE, J. ARVES´ U,

R. Alvarez-Nodarse et al. 367

To conclude this section, we point out that special cases of the above algorithm havebeen extensively used for getting the differential equations of the Krall-type polynomi-als, Sobolev-type polynomials, and so forth (see, e.g., [2, 4, 5, 7, 8, 20, 21, 22] and thereferences therein).

2.4. Density of zeros. From the SODE (2.37) the density of the distribution of zerosimmediately follows. In fact, using the WKB approximation (for more details about thisapproach, we refer to the papers [6, 25] and the references therein), we have the followingtheorem.

Theorem 2.3. Let S and ε be such that

S(x)= 14σ2

n(x)

{2σn(x)

[2λn(x)− τ′n(x)

]+ τn(x)

[2σ ′n(x)− τn(x)

]},

ε(x)= 1

4[S(x)

]2

{5[S′(x)

]2

4[S(x)

] − S′′(x)}= P(x,n)Q(x,n)

,(2.40)

where P(x,n) and Q(x,n) are polynomials in x as well as in n. If the condition ε(x)� 1holds, then the semiclassical or WKB density of zeros of the solutions of (2.37) is

ρWKB(x)= 1π

√S(x), x ∈ I ⊆R, (2.41)

in every interval I where the function S is positive.

The above theorem has been extensively used in the study of the asymptotic distri-bution of zeros of the Krall-type polynomials [5] as well as their extensions [3, 8]. Wemention also that in all cases under consideration, for n large enough, we get ε(x)∼ n−1.Then, from the above theorem, the corresponding WKB density of zeros of the polyno-mials (Pn)n follows. The computations are very hard and cumbersome so the symbolicpackage Mathematica is again a very useful tool (see [3, 5, 8]). Finally, we point out thatfrom the SODE the moments of the zero distribution easily follows using the approachdescribed in [10].

Acknowledgments

This work was partially supported by Direccion General de Investigacion (Ministerio deCiencia y Tecnologıa) of Spain BFM 2003-06335-C03, Junta de Andalucıa FQM-0262(RAN), and INTAS Research Network NeCCA (INTAS 03-51-6637) (FM and JA). Wealso thank the referees for their comments and suggestions in order to improve our man-uscript.

References

[1] R. Alvarez-Nodarse, J. Arvesu, and F. Marcellan, Modifications of quasi-definite linear functionalsvia addition of delta and derivatives of delta Dirac functions, Indag. Math. (N.S.) 15 (2004),no. 1, 1–20.

[2] R. Alvarez-Nodarse and F. Marcellan, A generalization of the classical Laguerre polynomials,Rend. Circ. Mat. Palermo (2) 44 (1995), no. 2, 315–329.

Page 10: On the Krall-type polynomials - Hindawi Publishing Corporationdownloads.hindawi.com/journals/jam/2004/373417.pdf · ON THE KRALL-TYPE POLYNOMIALS R. ALVAREZ-NODARSE, J. ARVES´ U,

368 On the Krall-type polynomials

[3] , A generalization of the class Laguerre polynomials: asymptotic properties and zeros, Appl.Anal. 62 (1996), no. 3-4, 349–366.

[4] , Limit relations between generalized orthogonal polynomials, Indag. Math. (N.S.) 8(1997), no. 3, 295–316.

[5] R. Alvarez-Nodarse, F. Marcellan, and J. Petronilho, WKB approximation and Krall-type orthog-onal polynomials, Acta Appl. Math. 54 (1998), no. 1, 27–58.

[6] E. R. Arriola, A. Zarzo, and J. S. Dehesa, Spectral properties of the biconfluent Heun differentialequation, J. Comput. Appl. Math. 37 (1991), no. 1–3, 161–169.

[7] J. Arvesu, R. Alvarez-Nodarse, F. Marcellan, and K. H. Kwon, Some extension of the Bessel-typeorthogonal polynomials, Integral Transform. Spec. Funct. 7 (1998), no. 3-4, 191–214.

[8] J. Arvesu, F. Marcellan, and R. Alvarez-Nodarse, On a modification of the Jacobi linear functional:asymptotic properties and zeros of the corresponding orthogonal polynomials, Acta Appl. Math.71 (2002), no. 2, 127–158.

[9] S. Belmehdi and F. Marcellan, Orthogonal polynomials associated with some modifications of alinear functional, Appl. Anal. 46 (1992), no. 1-2, 1–24.

[10] E. Buendıa, J. S. Dehesa, and F. J. Galvez, The distribution of zeros of the polynomial eigenfunc-tions of ordinary differential operators of arbitrary order, Orthogonal Polynomials and TheirApplications (Segovia, 1986) (M. Alfaro, J. S. Dehesa, F. J. Marcellan, J. L. Rubio de Francia,and J. Vinuesa, eds.), Lecture Notes in Math., vol. 1329, Springer, Berlin, 1988, pp. 222–235.

[11] Y. Chen and J. Griffin, Krall-type polynomials via the Heine formula, J. Phys. A 35 (2002), no. 3,637–656.

[12] T. S. Chihara, An Introduction to Orthogonal Polynomials, Gordon and Breach Science Publish-ers, New York, 1978.

[13] J. J. Duistermaat and F. A. Grunbaum, Differential equations in the spectral parameter, Comm.Math. Phys. 103 (1986), no. 2, 177–240.

[14] W. N. Everitt, K. H. Kwon, L. L. Littlejohn, and R. Wellman, Orthogonal polynomial solutions oflinear ordinary differential equations, J. Comput. Appl. Math. 133 (2001), no. 1-2, 85–109.

[15] F. A. Grunbaum and L. Haine, Orthogonal polynomials satisfying differential equations: therole of the Darboux transformation, Symmetries and Integrability of Difference Equations(Esterel, PQ, 1994), CRM Proc. Lecture Notes, vol. 9, American Mathematical Society,Rhode Island, 1996, pp. 143–154.

[16] , Bispectral Darboux transformations: an extension of the Krall polynomials, Int. Math.Res. Not. (1997), no. 8, 359–392.

[17] F. A. Grunbaum, L. Haine, and E. Horozov, On the Krall-Hermite and the Krall-Bessel polyno-mials, Int. Math. Res. Not. (1997), no. 19, 953–966.

[18] , Some functions that generalize the Krall-Laguerre polynomials, J. Comput. Appl. Math.106 (1999), no. 2, 271–297.

[19] L. Haine, The Bochner-Krall problem: some new perspectives, Special Functions 2000: CurrentPerspective and Future Directions (Tempe, Ariz) (J. Bustoz, M. E. H. Ismail, and S. K.Suslov, eds.), NATO Sci. Ser. II Math. Phys. Chem., vol. 30, Kluwer Academic Publishers,Dordrecht, 2001, pp. 141–178.

[20] J. Koekoek and R. Koekoek, On a differential equation for Koornwinder’s generalized Laguerrepolynomials, Proc. Amer. Math. Soc. 112 (1991), no. 4, 1045–1054.

[21] R. Koekoek, Differential equations for symmetric generalized ultraspherical polynomials, Trans.Amer. Math. Soc. 345 (1994), no. 1, 47–72.

[22] R. Koekoek and H. G. Meijer, A generalization of Laguerre polynomials, SIAM J. Math. Anal. 24(1993), no. 3, 768–782.

Page 11: On the Krall-type polynomials - Hindawi Publishing Corporationdownloads.hindawi.com/journals/jam/2004/373417.pdf · ON THE KRALL-TYPE POLYNOMIALS R. ALVAREZ-NODARSE, J. ARVES´ U,

R. Alvarez-Nodarse et al. 369

[23] K. H. Kwon, G. J. Yoon, and L. L. Littlejohn, Bochner-Krall orthogonal polynomials, SpecialFunctions (Hong Kong, 1999) (C. Dunkl, M. Ismail, and R. Wong, eds.), World ScientificPublishing, New Jersey, 2000, pp. 181–193.

[24] P. Maroni, Une theorie algebrique des polynomes orthogonaux. Application aux polynomes orthog-onaux semi-classiques [An algebraic theory of orthogonal polynomials. Application to semiclas-sical orthogonal polynomials], Orthogonal Polynomials and Their Applications (Erice, 1990)(C. Brezinski, L. Gori, and A. Ronveaux, eds.), IMACS Ann. Comput. Appl. Math., vol. 9,Baltzer, Basel, 1991, pp. 95–130.

[25] A. Zarzo and J. S. Dehesa, Spectral properties of solutions of hypergeometric-type differential equa-tions, J. Comput. Appl. Math. 50 (1994), no. 1–3, 613–623.

R. Alvarez-Nodarse: Departamento de Analisis Matematico, Universidad de Sevilla, Apartado deCorreos 1160, 41080 Sevilla, Spain; Instituto Carlos I de Fısica Teorica y Computacional, Universidadde Granada, 18071 Granada, Spain

E-mail address: [email protected]

J. Arvesu: Departamento de Matematicas, Universidad Carlos III de Madrid, Avenida de la Uni-versidad 30, 28911 Leganes, Madrid, Spain

E-mail address: [email protected]

F. Marcellan: Departamento de Matematicas, Universidad Carlos III de Madrid, Avenida de laUniversidad 30, 28911 Leganes, Madrid, Spain

E-mail address: [email protected]

Page 12: On the Krall-type polynomials - Hindawi Publishing Corporationdownloads.hindawi.com/journals/jam/2004/373417.pdf · ON THE KRALL-TYPE POLYNOMIALS R. ALVAREZ-NODARSE, J. ARVES´ U,

Submit your manuscripts athttp://www.hindawi.com

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical Problems in Engineering

Hindawi Publishing Corporationhttp://www.hindawi.com

Differential EquationsInternational Journal of

Volume 2014

Applied MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical PhysicsAdvances in

Complex AnalysisJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

OptimizationJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Operations ResearchAdvances in

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Function Spaces

Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of Mathematics and Mathematical Sciences

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Algebra

Discrete Dynamics in Nature and Society

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Decision SciencesAdvances in

Discrete MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com

Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Stochastic AnalysisInternational Journal of