AZA Preprint: 1989/2C (in spanish).

Determinacion analtica de sumas nitas e

innitas de funciones especiales
J.S. Dehesa, J.J.R. Molina, A. Zarzo
Updated preprint version: October 1991
of Ref.: L. Arias et al. eds., Polinomios Ortogonales y Aplicaciones, Proc. VI Symposium on
Orthogonal Polynomials and Their Applications (Gijon, Spain, September 1989), Universidad
de Oviedo, Spain, 1990, pp.3352.
Determinacion analtica de sumas nitas e innitas de funciones
especiales

J.S. Dehesa
Depto. Fsica Moderna, Facultad de Ciencias, Universidad de
Granada, E-18071 Granada, Spain.
e-mail address: dehesa@ugr.es
J.J.R. Molina
Depto. Fsica Moderna, Facultad de Ciencias, Universidad de
Granada, E-18071 Granada, Spain.
A. Zarzo
Depto. Matematica Aplicada, E.T.S. Ingenieros Industriales,
Universidad Politecnica de Madrid, E-28006 Madrid, Spain.
e-mail address: azarzo@etsii.upm.es
Abstract. Algunas sumas nitas e innitas de funciones especiales que aparecen a menudo
en Analisis, Optica Cuantica y Fsica At omica son consideradas y su determinacion analtica a
partir de las correspondientes relaciones de recurrencia es discutida. Los resultados generales
obtenidos se ilustran en varias aplicaciones que involucran funciones especiales especcas. Se
consideran, en particular, polinomios con ortogonalidad de Favard, de Endl y de Maroni. Se
obtienen sumas parciales de los polinomios de Endl y de Maroni, cuyas propiedades estructurales
y espectrales estan muy escasamente tratadas en la literatura.
1. Introduccion
Nuestro objetivo es el estudio de algunos tipos de sumas de funciones especiales analticamente a
partir de sus diferentes caracterizaciones (e.g. relaciones de recurrencia, relaciones de estructura,
... ). En particular se trataran las sumas parciales o nitas de los dos tipos siguientes:
S
(n)
1
=
n

k=0
c
k
P
k
(x) , n Z
+
(1)
S
(n)
2
=
n1

k=0
P
2
k
(x) , n Z
+
\ {0} (2)
asi como las reglas de suma
T
m
(x) =

k=
k
m
[F
k
(x)]
2
, m Z
+
(3)

Updated preprint version October 1991 of Ref.: L. Arias et al. eds., Polinomios Ortogonales y Aplicaciones,
Proc. VI Symposium on Orthogonal Polynomials and Their Applications (Gijon, Spain, September 1989), Uni-
versidad de Oviedo, Spain, 1990, pp.3352.

Trabajo parcialmente subvencionado por NATO Scientic Aairs Division, contrato n

o
0564/88.
1
2 J.S. Dehesa, J.J.R. Molina y A. Zarzo
donde P
k
(x) es cualquier polinomio ortogonal y F
k
(x) denota asimismo un polinomio ortogonal
o una funcion especial arbitrarios (e.g. funciones de Bessel, funciones de Laguerre, funciones
hipergeometricas).
Generalmente se esta mas familiarizado con las sumas nitas (1) y (2) por su gran signicado
fsico y matematico, mientras que la tercera suma es mucho menos conocida. En efecto, las sumas
del tipo (1) aparecen al desarrollar una funcion en polinomios ortogonales y las del tipo (2) son
justamente las funciones de Christoel invertidas [28, 44]. Ademas, las sumas S
(n)
1
denotan a
menudo las funciones de onda de numerosos sistemas fsicos, lo cual es debido fundamentalmente
a las relevantes propiedades de convergencia de que gozan algunas de tales sumas [7, 28, 41]. Un
sistema fsico puede caracterizarse por un operador Hamiltoniano H, que ha de diagonalizarse si
se quiere conocer las propiedades del sistema, esto es, ha de resolverse el problema de autovalores:
H = E
donde E y son los valores y vectores o funciones propias del sistema, a partir de las cuales
pueden determinarse todas las propiedades medibles del mismo. Ahora bien, usando un algo-
ritmo del tipo Lanczos, uno puede generar una base {P
0
(x), P
1
(x), . . . , P
n
(x), . . .} en la que H
es una matriz tridiagonal, i.e. [16]:
H =
_
_
_
_
_
_
_
a
0
b
0
b
0
a
1
b
1
b
1
a
2
b
2

_
_
_
_
_
_
_
Los valores propios de esta matriz tridiagonal representan los niveles de energa del sistema y las
correspondientes autofunciones vienen caracterizadas, al ser desarrolladas en la base mencionada,
por medio de una suma parcial del tipo (1). Vale la pena mencionar aqu que el estudio de
la positividad de las sumas S
(n)
1
(x), especialmente con polinomios clasicos, ocupa un lugar
importante dentro del analisis clasico [2, 29, 30]. La generalizacion de este estudio para otros
polinomios es un tema de investigacion abierto.
De otra parte, como es bien sabido, las sumas S
(n)
2
(x) o las correspondientes funciones de
Christoel asociadas, tienen multitud de aplicaciones en el analisis clasico [4, 9, 28, 30, 42, 44].
Aqu, se nalaremos solamente un reciente resultado que establece la conexion entre estas sumas
y las propiedades espectrales de los polinomios ortogonales involucrados en ellas:
Teorema [15, 46]
La densidad asintotica de ceros (w, x) de un sistema de polinomios {P
n
(x)}

k=0
ortonormales
con respecto a la funcion peso w(x) viene dada por:
(w, x) = w(x) lim
n
1
n
n

k=0
P
2
k
(x) = w(x) lim
n
1
n
S
(n)
2
(x)
Un corolario de este teorema es un famoso resultado de Szego:
Determinacion analtica de sumas nitas e innitas de funciones especiales 3
Sea w(x) una funcion peso en el intervalo 1 x 1 tal que w(cos) | sen | f()
pertenece a la clase G, o sea f() es una funcion no negativa, denida y medible en [, ]
tal que las integrales
_

f()d > 0 ;
_

| logf() | d
existen. Entonces, la densidad asintotica de ceros de los polinomios ortogonales con respecto
a w(x) es una funcion semicircular invertida. i.e.: (w, x) = (1/)(1 x
2
)
1/2
.
Otros corolarios del mismo teorema han sido obtenidos [14, 15, 45, 46] y aplicados a algunos
sistemas fsicos [14, 17].
Finalmente ha de destacarse la gran importancia, tanto matematica como fsicamente, de
las sumas T
m
(x) denidas por la relacion (3). Se nalemos, en particular, que:
(i) Cuando F
k
(x) denota las funciones de Bessel, dicha suma determina la intensidad de las
amplitudes difractadas en el efecto ac ustico-optico [5].
(ii) Cuando F
k
(x) caracteriza las funciones de Laguerre, dicha suma da la probabilidad de
emitir k fotones en un laser de electrones [12].
(iii) Cuando F
k
(x) es una funcion hipergeometrica conuente, dan las probabilidades de
transicion en un proceso a dos niveles [13].
(iv) Las sumas T
m
(x) aparecen en una gama de problemas de Optica Cuantica, e.g. el calculo
de los momentos de transicion en un sistema molecular de dos o varios niveles [43].
A pesar de todo ello y a un cuando se ha hecho un gran esfuerzo, todavia no se ha podido
evaluar analitticamente ninguna de estas tres sumas aunque s se han desarrollado numerosos
algoritmos (ver e.g. [31, 32, 47]). En este sentido, merece la pena se nalar aqu que los algo-
ritmos de tipo Clenshaw son especialmente ecientes [11, 47] en la evaluacion numerica de las
sumas nitas del tipo (1). Nuestro objetivo es pasar revista a los metodos de determinacion
analtica de los tres tipos de sumas ya mencionados y otros a un mas complejos, a partir de las
caracterizaciones de las funciones o polinomios ortogonales involucrados en ellas.
2. Evaluacion de sumas nitas de polinomios que satisfacen una
relacion de recurrencia a tres terminos general.
En esta seccion mostraremos las expresiones analticas de tres tipos peculiares de sumas parciales
S
(n)
1
(x) de polinomios que satisfacen la siguiente relacion de recurrencia:
P
n+1
(x) = [
n
(x)
n
] P
n
(x)
n
(x)P
n1
(x) , n 1 (4)
P
1
(x) = 0 P
0
(x) = 1
donde
n
R y
n
(x) y
n
(x) son, en principio, funciones arbitrarias que pueden depender
eventualmente de n.
Para la relacion general (4) no se ha encontrado ninguna nocion de ortogonalidad para el
sistema {P
n
(x) , n = 0, 1, 2, . . .}. Sin embargo, tal nocion existe en los casos siguientes:
4 J.S. Dehesa, J.J.R. Molina y A. Zarzo
1.- Para
n
(x) = x y
n
(x) =
n
> 0, se tiene la ortogonalidad convencional [9, 26].
2.- Cuando
n
(x) = (x) y
n
(x) =
n
> 0, se tiene la ortogonalidad del tipo Endl
[19, 20, 21, 22, 23, 24].
3.- Cuando
n
(x) = x y se verica
(x)P
n1
(x) =
n1

=0

n1,
P

(x)
existe el concepto de ortogonalidad de Maroni [39, 40].
Las dos ultimas nociones de ortogonalidad, que generalizan la de Favard, no han sido a un bien
exploradas. Sin embargo, han aparecido a menudo en la literatura sin apenas apercibimiento por
numerosos autores, quizas desconocedores de los trabajos de Endl y Maroni en tal sentido. Asi
ocurre, por ejemplo, con la ortogonalidad de Endl en el estudio de los esquemas de asociacion
[37] y con la ortogonalidad de Maroni en diversos contextos de Analisis [8, 27] y Ciencia de
Materiales [34].
Es necesario mencionar asimismo que la relacion de recurrencia general (4) es satisfecha
por las llamadas solucions fantomes de las ecuaciones diferenciales ordinarias (i.e. aquel-
las soluciones obtenidas ppr metodos numericos y que son cualitativamente distintas de las
soluciones verdaderas). Estas soluciones juegan un considerable papel en la teora del caos
[38, 48]. Ademas, la relacion de recurrencia (4) aparece en otros muchos problemas matematicos
[8, 18, 33] y de Fsica Cuantica [36].
Los resultados mas importantes sobre sumas de polinomios que verican la relacion (4) son
los siguientes:
s
1
(m, k)
m1

n=k
A
n

n+1
(x)
P
n+2
(x) = A
m
P
m
(x) A
k
P
k
(x) (5)
s
2
(m, k)
m1

n=k

n
(x)B
n

n
(x)
P
n1
(x) = B
m
P
m
(x) B
k
P
k
(x) (6)
s
3
(m, k, s)
m1

n=k
[
2n+s+1

2n+s+1
(x)] C
2n+s

2n+s+1
(x)
P
2n+s+1
(x) =
C
2m+s
P
2m+s
(x) C
2k+s
P
2k+s
(x) (7)
donde A
n
(x) , B
n
(x) y C
n
(x) denotan las funciones:
A
n
(x) =
n

r=1

r
(x)
r

r
(x)
B
n
(x) =
n1

r=1
1

r
(x)
r
(8)
C
2n+s
(x) = (1)
n
n1

r=0
1

2r+s+1
(x)
, s = 0, 1
Estas sumas nitas se simplican, a veces sustancialmente, cuando uno utiliza una ortogo-
nalidad especca. Veamoslo en varios ejemplos.
Determinacion analtica de sumas nitas e innitas de funciones especiales 5
2.1. Sumas nitas para polinomios Favard-ortogonales.
Estos polinomios satisfacen la relacion (4) con:

n
(x) = x y
n
(x) =
2
n
en cuyo caso las funciones A, B y C vienen dadas por:
A
n
(x) =
n

r=1
x
r

2
r
, B
n
(x) =
n1

r=1
(x
r
)
1
C
2n+s
(x) = (1)
n
n1

r=0

2
2r+s+1
Entonces las sumas nitas (5)-(7) se reducen en el siguiente sentido
m1

n=k
A
n

2
n+1
P
n+2
(x) = A
m
P
m
(x) A
k
P
k
(x)
m1

n=k

2
n
B
n

n
x
P
n1
(x) = B
m
P
m
(x) B
k
P
k
(x)
m1

n=k
(
2n+s+1
x)C
2n+s

2
2n+s+1
P
2n+s+1
(x) = C
2m+s
P
2m+s
(x) C
2k+s
P
2k+s
(x)
Estos resultados fueron se nalados por vez primera por Hansen [35] y aplicados a los polinomios
ortogonales clasicos.
2.2. Sumas nitas para polinomios Endl-ortogonales.
En este caso las funciones denidas por (8) toman la forma:
A
n
(x) =
n

r=1
(x)
r

2
r
, B
n
(x) =
n1

r=1
((x)
r
)
1
C
2n+s
(x) = (1)
n
n1

r=0

2
2r+s+1
y las correspondientes sumas nitas (5)-(7) tiene el siguiente aspecto:
m1

n=k
A
n

2
n+1
P
n+2
(x) = A
m
P
m
(x) A
k
P
k
(x)
m1

n=k

2
n
B
n

n
(x)
P
n1
(x) = B
m
P
m
(x) B
k
P
k
(x)
m1

n=k
(
2n+s+1
(x))C
2n+s

2
2n+s+1
(x)
P
2n+s+1
(x) =C
2m+s
P
2m+s
(x) C
2k+s
P
2k+s
(x)
6 J.S. Dehesa, J.J.R. Molina y A. Zarzo
2.3. Sumas nitas para polinomios Maroni-ortogonales.
Aqu los calculos son algo mas engorrosos en el caso general, pero sencillos y directos para muchos
sistemas especicos de este tipo de polinomios. Tal es el caso particular de los polinomios que
satisfacen la relacion de ortogonalidad del tipo (4) con:

n
(x) = x y
n
(x) = x
2
n
cuyas propiedades no han sido estudiadas adecuadamente en la literatura y que aqu proponemos
como ejercicio.
2.4. Sumas nitas para polinomios obtenidos a partir de e
1/x
.
Estos polinomios fueron considerados por primera vez por I. Schur (1920) y desde entonces
solo han sido someramente discutidos por Brenner [8] a pesar de sus interesantes propiedades
estructurales, que dan lugar a propiedades espectrales cualitativamente novedosas. Se denen
por:
V
n
(x) = (1)
n+1
x
2n+2
e
1/x
d
n+1
dx
n+1
(e
1/x
)
y satisfacen la relacion de recurrencia siguiente
V
n+1
(x) = (2nx + 2x + 1)V
n
(x) n(n + 1)x
2
V
n1
(x) , n 1
V
1
(x) = 0 , V
0
(x) = 1
Esta relacion es del tipo (4) con
n
(x) = 2(n+1)x+1,
r
= 0 y
n
(x) = n(n+1)x
2
. Entonces,
los resultados generales (5)-(7) suministran para estos polinomios las sumas parciales:
m1

n=k
A
n
(n + 1)(n + 2)x
2
V
n+2
(x) = A
m
V
m
(x) A
k
V
k
(x)
m1

n=k
n(n 1)x
2
B
n
2(n + 1)x + 1
V
n1
(x) = B
k
V
k
(x) B
m
V
m
(x)
m1

n=k
[2(2n +s + 2)x + 1]C
2n+s
(2n +s + 1)(2n +s + 2)x
V
2n+s+1
(x) =
C
2k+s
V
2k+s
(x) C
2m+s
V
2m+s
(x)
donde las funciones A, B y C vienen dadas por:
A
n
(x) =
1
x
2n
n

r=1
2(r + 1)x + 1
r(r + 1)
B
n
(x) =
n1

r=1
1
2(r + 1)x + 1
C
2n+s
(x) =
(1)
n
x
n
n1

r=0
1
(2r +s + 1)(2r +s + 2)
Determinacion analtica de sumas nitas e innitas de funciones especiales 7
2.5. Demostracion
Los resultados generales (5)-(7) pueden demostrarse de manera sencilla aplicando el metodo de
Hansen [35]. Aqu se ilustrara con la obtencion de la primera suma (5), que es la mas simple.
En primer lugar, se reordena la relacion de recurrencia (4) as:

n+1
(x)P
n
(x) [
n
(x)
n+1
] P
n+1
(x) + P
n+2
(x) = 0 (9)
y se dene la funcion
u
n
= A
n
P
n
(x) (10)
donde A
n
se escoge de forma tal que
A
n+1
A
n
=

n+1
(x)
n+1

n+1
(x)
De esta manera nos aseguramos de que la suma de los dos primeros terminos de la relacion (9)
sea proporcional a la diferencia forward u
n+1
u
n
de la funcion u
n
. Entonces se considera:
m1

n=k
(u
n+1
u
n
) =
m1

n=k
(A
n+1
P
n+1
(x) A
n
P
n
(x))
que se reduce nalmente a:
u
m
u
k
=
m1

n=k
A
n

n+1
(x)
[
n+1
(x)P
n
(x) (
n+1
(x)
n+1
)P
n+1
(x)]
A partir de esta relacion se obtiene el resultado buscado (5) sin mas que utilizar las expresiones
(8)-(10). Las otras dos sumas nitas (6)-(7) pueden probarse de forma analoga aunque con
consideraciones ligeramente mas complejas.
3. Generalizacion de las sumas nitas de la seccion anterior.
Aqu se generalizan las sumas nitas (5)-(7) obtenidas en la seccion anterior usando no la primera
diferencia forward u
n+1
u
n
de la funcion u
n
dada por (10), sino la diferencia forward
kesima [6]:

k
u
n
=
k

r=0
(1)
r
_
k
r
_
u
n+kr
(11)
Notese que para k = 1, se tiene
1
u
n
= u
n+1
u
n
y estaramos en el caso tratado con anteri-
oridad.
8 J.S. Dehesa, J.J.R. Molina y A. Zarzo
Procediendo como en la seccion previa pero con las diferencias (11), se obtienen las tres
siguientes sumas nitas [3]:
Primera
S
1
(m, p, k)
m1

n=p
k

r=0
(1)
r
_
k
r
_
A
n+kr
P
n+kr
(x) = (12)
m1

n=p
k1

s=0
(1)
s
_
k 1
s
_

n+ks
(x)
_
n+ks2

t=0

t+1
(x)
t+1

t+1
(x)
_
P
n+ks+1
(x)
Segunda
S
2
(m, p, k)
m1

n=p
k

r=0
(1)
r
_
k
r
_
B
n+kr
P
n+kr
(x) = (13)
m1

n=p
k1

s=0
(1)
s+1
_
k 1
s
_

n+ks1
(x)
n+ks1
_
_
n+ks2

=1
1

p
(x)
p

_
_

n+ks2
P
n+ks2
(x)
Tercera
S
3
(m, l, k, s)
m1

n=l
k

r=0
(1)
r
_
k
r
_
C
2n+s+2(kr)
P
2n+s+2(kr)
(x) =
m1

n=l
k1

t=0
(1)
t
_
k 1
t
_
(1)
s

2n+2k+s2t1
(x)
_
_
n+kt2

p=0
1

2p+s
(x)
_
_
(14)
(
2n+2k2t+s1

2n+2k2t+s1
) P
2n+2k2t+s1
(x)
donde las funciones A
n
, B
n
y C
n
siguen manteniendo la denicion dada en (8). Observese
que las relaciones (12)-(14) se reducen a las (5)-(7) en el caso k = 1. Las relaciones (12)-(14)
constituyen, por tanto, una considerable generalizacion de las sumas nitas (5)-(7) satisfechas
por cualquier sistema de polinomios que verique la relacion de recurrencia general (4). Aqu
ilustraremos las nuevas sumas nitas extendidas en el caso de los polinomios de Hermite [3].
3.1. Aplicacion : Polinomios de Hermite.
Estos polinomios satisfacen una relacion de recurrencia (4) con:

n
(x) = 2x ;
n
= 0 y
n
(x) = 2n
Determinacion analtica de sumas nitas e innitas de funciones especiales 9
en cuyo caso las funciones A
n
, B
n
y C
n
son:
A
n
=
n

r=1
2x
2n
=
x
n
n!
B
n
=
n1

r=1
1
2x
= (2x)
1n
C
2n+s
= (1)
n
n1

r=0
1
2r +s + 1
= (4)
n

_
s
2
+
1
2
_

_
n +
s
2
+
1
2
_
Entonces, las sumas nitas extendidas (12)-(14) toman la siguiente forma reducida:
Suma extendida de primer tipo
m1

n=p
k

r=0
(1)
r
_
k
r
_
x
n+kr
(n +k r)!
H
n+kr
(x) =
m1

n=p
k1

s=0
(1)
s
_
k 1
s
_
1
2(n +k s)
x
n+ks1
(n +k s 1)!
H
n+k+1s
(x)
Para k = 1 se obtiene:
x
m
m!
H
m
(x)
x
p
p!
H
p
(x) =
m1

n=p
x
n
2(n + 1)!
H
n+2
(x)
que fue ya encontrada por Hansen [35]. Para k 2 se hallan inmediatamente numerosas reglas
de suma. En particular, cuando k = 2 y p = 0 se tiene:
x
m
2(m+ 1)!
H
m+2
(x) =
m+1

n=0
x
n2
2(n)!
[xH
n+1
(x) nH
n
(x)]
y para k = 3 , p = 0:
2

n=0
(1)
n
_
2
n
_
x
m+n
(m+n)!
H
m+n
(x) =
m1

n=0
x
n
2(n + 3)!
_
x
2
H
n+4
(x)
2x(n + 3)H
n+3
(x) + (n + 2)(n + 3)H
n+2
(x)]
Suma extendida de segundo tipo
m1

n=p
k

r=0
(1)
r
_
k
r
_
(2x)
1nk+r
H
n+kr
(x) =
m1

n=p
k1

s=0
(1)
s+1
_
k 1
s
_
2(2x)
1nk+s
(n +k s 1)H
n+ks2
(x)
Para k = 1 se obtiene:
(2x)
1m
H
m
(x) (2x)
1p
H
p
(x) =
m1

n=p
2n(2x)
n
H
n1
(x)
10 J.S. Dehesa, J.J.R. Molina y A. Zarzo
que es algo ya conocido de Hansen [35]. Sin embargo, cuando k = 2 y p = 0 se tiene:
m
(2x)
m
H
m1
(x) =
m1

n=0
(2x)
n1
[(n + 1)H
n
(x) 2nxH
n1
(x)]
y cuando k = 3 y p = 0 se tiene:
(2x)
m1
[(m+ 1)H
m
(x) 2mxH
m1
(x)] =
m1

n=0
(2x)
n1
[(n + 1)H
n
(x) 4nxH
n1
(x) + 4(n 1)x
2
H
n2
(x)
_
y asi sucesivamente.
Suma extendida de tercer tipo
m1

n=l
k

r=0
(1)
r
_
k
r
_
(4)
nk+r

_
s
2
+
1
2
_

_
n +k
rs
2
+
1
2
_ H
2n+s+2(kr)
(x) =
m1

n=l
k1

t=0
(1)
t
_
k 1
t
_
(4)
nk+t+1

_
s
2
+
1
2
_

_
n +k t +
s
2

1
2
_
x
2(n +k t) + 2(s 1)
H
2(n+kt)+s1
(x)
Para k = 1 se obtiene:
m1

n=l
(4)
n

_
n +
s + 3
2
_H
2n+s+1
(x) =
2
x
_

_
(4)
l

_
l +
s + 1
2
_H
2l+s
(x)
(4)
m

_
m+
s + 1
2
_H
2m+s
(x)
_

_
relacion ya conocida por Hansen [35]. Para k = 2 , l = 0 y s = 0 se tiene:
m1

n=0
(4)
n2

_
n +
5
2
_ [H
2n+3
(x) + (4n + 6)H
2n+1
(x)] =
x

1
2x
(4)
m

_
m+
1
2
_
_

_
1
4(m+
1
2
)
H
2m+2
(x) +H
2m
(x)
_

_
De la misma forma y con un grado de complejidad similar pueden calcularse analticamente las
sumas parciales de polinomios con nociones de ortogonalidad mas extensas que las de Favard y
que ya hemos mencionado en la seccion anterior.
Determinacion analtica de sumas nitas e innitas de funciones especiales 11
4. Determinacion de las reglas de suma T
m
(x).
En esta seccion se describe un metodo sencillo y general de calculo de las reglas de suma denidas
en (3). La idea basica del metodo es la de convertir este problema en el de resolver un con-
junto particular de ecuaciones en derivadas parciales con condiciones de contorno conocidas,
soslayando de esta forma el calculo directo de estas sumas que es bastante engorroso. Para
llegar a estas ecuaciones se hace uso de la funcion generatriz y de la relacion de recurrencia de
las funciones consideradas.
Explcitamente, para calcular las sumas T
m
(x) se utiliza una funcion generatriz [10, 12, 13]
del tipo:
S(x, t) =

l
t
l
[F
l
(x)]
2
; 0 <| t |<
A continuacion se deriva repetidamente la funcion S con respecto a t, y nalmente se toman sus
valores en t = 1. De esta forma se obtiene:

l
l [F
l
(x)]
2
=
S(x, t)
t
|
t=1

l
l
2
[F
l
(x)]
2
= |

2
S(x, t)
t
2
+
S(x, t)
t
|
t=1
y asi sucesivamente. Por consiguiente, todo se reduce a encontrar una expresion para la funcion
S(x, t) pertinente con la funcion especca F(x) considerada en nuestro problema. Ilustraremos,
a continuacion, la determinacion de dicha funcion S(x, t) para algunas funciones especiales F(x)
concretas [12, 13].
4.1. Funciones de Bessel de Primer Orden : J
l
(x).
Para evaluar la suma:
S
1
(x, t) =

l=
t
l
J
2
l
(x)
empezamos considerando las relaciones de recurrencia [1]:
2
dJ
l
(x)
dx
= J
l1
(x) J
l+1
(x)
2l
x
J
l
(x) = J
l1
(x) +J
l+1
(x)
Multiplicando estas dos relaciones termino a termino se obtiene:
2l
x
dJ
l
(x)
dx
= J
2
l1
(x) J
2
l+1
(x)
Finalmente, multiplicamos por t
l1
en ambos lados de esta relacion y sumamos sobre l. De esta
forma se obtiene la siguiente ecuacion en derivadas parciales:

2
S
1
(x, t)
xt
=
x
2
(1
1
t
2
)S
1
(x, t)
12 J.S. Dehesa, J.J.R. Molina y A. Zarzo
con las condiciones de contorno
S
1
(0, t) = 1 ; S
1
(x, 1) = 1
De esta forma, el problema de calcular una suma se transforma en el de resolver una ecuacion
en derivadas parciales, cuya solucion puede encontrarse con el ansatz:
S
1
(x, t) = f(x, g(t)) con f(0) = 1 ; g(1) = 0
Entonces la ecuacion en derivadas parciales toma la forma:
g

(t)
_
d
2
f()
d
2
+
1

df()
d
_
=
x
2
(1
1
t
2
)f()
siendo = xg(t). Esta ecuacion es separable, vericando las funciones f() y g(t) las ecuaciones:
d
2
f()
d
2
+
1

df()
d
= f()
d [g(t)]
2
dt
= 1
1
t
2
respectivamente. Puesto que las soluciones respectivas son, la funcion de Bessel de orden cero
J
0
() y la funcion (t 1)/

t, resulta que la suma considerada vale:

S
1
(x, t) = I
0
(x
(t 1)

t
)
donde I
0
(y) es la funcion de Bessel modicada de orden cero.
4.2. Funciones de Laguerre
n
l
(x
2
).
Estas funciones vienen denidas por:

n
l
(x
2
) =
_
n!
(n +l)!
_
1/2
x
l
e
x
2
/2
L
n
l
(x
2
)
en terminos de los polinomios de Laguerre generalizados L
n
l
(x
2
). Aqu se quiere evaluar la suma:
S
2
(x, t) =

l=n
t
l
_

n
l
(x
2
)
_
2
a partir de las relaciones de recurrencia satisfechas por las funciones de Laguerre, o sea:
d
n
l
(x
2
)
dx
=

n +l
n
l1
(x
2
)

n +l + 1
n
l+1
(x
2
)
x
2
+l
x

n
l
(x
2
) =

n +l
n
l1
(x
2
) +

n +l + 1
n
l+1
(x
2
)
Determinacion analtica de sumas nitas e innitas de funciones especiales 13
Siguiendo el mismo procedimiento descrito anteriormente, se encuentra que S
2
(x, t) satisface la
ecuacion en derivadas parciales:
1
2x

2
S
2
(x, t)
xt
=
_
1 +n(1
1
t
2
) +
t
2
1
t

t

x
2t

x
_
S
2
(x, t)
con las condiciones de frontera:
S
2
(0, t) = 1 y S
2
(x, 1) = 1
La solucion de este problema es [12] la suma buscada:
S
2
(x, t) = e
(t1)x
2
L
n
_

(t 1)
2
t
x
2
_
donde L
n
() denota a un polinomio de Laguerre.
4.3. Funciones Hipergeometricas
l
n
+
,n

(x
2
).
Consideramos las funciones [12]:

l
n
+
,n

(x
2
) =
__
n

l
__
n
+
+l
l
__
1/2
x
l
(1 x
2
)
1/2(n

n
+
l)

2
F
1
(n
+
, n

+ 1; l + 1; x
2
)
donde n

son enteros no negativos y

2
F
1
es la conocida serie hipergeometrica de Gauss [1]. Aqu
se pretende la determinacion de las sumas:
S
3
(x, t) =
n

l=n
+
t
l
_

l
n
+
,n

(x
2
)
_
2
y para ello usaremos el mismo metodo descrito en detalle en la seccion 4.1. En este caso, las
relaciones de recurrencia son:
(1 x
2
)
1/2
d
l
n
+
,n

(x
2
)
dx
=
_
(n
+
+l)(n

l + 1)
l
n
+
,n

(x
2
)
_
(n
+
+l + 1)(n

l)
l+1
n+,n

(x
2
)
_
l (2l +n
+
n

)
x(1 x
2
)
1/2
_

l
n
+
,n

(x
2
) =
_
(n
+
+l + 1)(n

l)
l+1
n+,n

(x
2
) +
_
(n
+
+l)(n

l + 1)
l1
n+,n

(x
2
)
Notese que estas relaciones generalizan las correspondientes relaciones de las funciones de Bessel
y de Laguerre se naladas anteriormente en esta misma seccion. La solucion que se obtiene en
este caso es [12]:
S
3
(x, t) =
_
l + (t 1)x
2
_
n

n
+
2
F
1
(n
+
, n

+ 1; 1;
(t 1)
2
t
x
2
(1 x
2
))
14 J.S. Dehesa, J.J.R. Molina y A. Zarzo
y que, de hecho, engloba a las dos sumas anteriores.
En conclusion, se tiene un metodo general de evaluacion de reglas de suma de funciones
especiales. Este metodo, que parte de las relaciones de recurrencia satisfechas por las funciones
consideradas, convierte el problema original en un problema de ecuaciones en derivadas parciales
con condiciones de contorno, cuya solucion es, a menudo, menos compleja. Una de las etapas
basicas del metodo es la introduccion de una funcion generatriz adecuada que involucre las
funciones especiales cuyas reglas de suma queremos evaluar.
Se nalemos nalmente que los resultados contenidos en las tres subsecciones anteriores, pue-
den extenderse tambien al caso de dos variables, obteniendose:
S
1
(x, y, t) =

l=
t
l
J
l
(x)J
l
(y) = J
0
_
_

x
2
+y
2

(t
2
+ 1)xy
t
_
_
para las funciones de Bessel.
S
2
(x, y, t) =

l=n
t
l

n
l
(x
2
)
n
l
(y
2
) =
e
1/2(x
2
+y
2
2txy)
L
n
_
x
2
+y
2

(t
2
+ 1)xy
t
_
para las funciones de Laguerre, y
S
3
(x, t) =
n

l=n
+
t
l

l
n
+
,n

(x
2
)
l
n+,n

(y
2
) =
_
txy +
_
(1 x
2
)(1 y
2
)
_
n

n
+
2
F
1
(n
+
, n

+ 1; 1; R(x, y, t))
donde:
R(x, y, t) = x
2
(1 y
2
) +y
2
(1 x
2
)
t
2
+ 1
t
xy
_
(1 x
2
)(1 y
2
)
para las funciones hipergeometricas.
References
1. M. Abramowitz and I.A. Stegun, Handbook of Mathematical Functions, Dover, New York, 1972.
2. R. Askey, Positive Jacobi polynomial sums, Tohoku Math. J. 24 (1972) 109119.
3. N.Barik,kthdierences of functions satisfying three-term recurrence relations (I) and (II), Pure
Math. Manuscript 3 (1984) 1121 and 4 (1984) 4759.
4. W.C. Bauldry, Estimates of Christoel functions of generalized Freud-type weights, J. Approx. The-
ory 46 (1986) 217289.
5. M.V. Berry, The Light Difraction by Ultrasounds, Academic Press, New York, 1986).
Determinacion analtica de sumas nitas e innitas de funciones especiales 15
6. G. Boole, A treatise on the calculus of nite dierences, G.E. Stechert Co., New York, 1931. pp.676
679.
7. R. Bojanic, An estimate of the rate of convergence of a general class of orthogonal polynomial
expansions, Publ. Inst. Math. (Belgrade) 26 (40) (1979) 5760.
8. J.L. Brenner, Bounds for classical polynomials derivable by matrix methods, Proc. Math. Soc. 30
(1971) 353362.
9. T.S. Chihara, An Introduction to Orthogonal Polynomials, Gordon and Breach, New York, 1978.
10. F. Ciocci, G. Dattoli, A. Dipace and A. Torre, A simple derivation of new sum rules of Bessel
functions, Nuovo Cimento 90 B (1985) 138142.
11. C.W. Clenshaw, A note on the sumation of Chebyshev series, Math. Tables Aids. Comput. 9 (1955)
118120.
12. G. Dattoli, A. Dipace and A. Torre, About the sum rules of special functions, Nuovo Cimento 90 B
(1985) 8594.
13. G. Dattoli and A. Dipace, Remarks on the derivation of sum rules of special functions, Nuovo
Cimento 87 B (1985) 5054.
14. J.S. Dehesa, The asymptotic behavior of zeros of orthogonal polynomials, Lett. Nuovo Cimento 24
(1979) 151157.
15. J.S. Dehesa, Lanczos method and the asymptotic level density of a physical system, Lett. Nuovo
Cimento 23 (1978) 301305.
16. J.S. Dehesa, Lanczos method of tridiagonalization, Jacobi matrices and physics, J. Comput. Appl.
Math. 7 (1981) 249259.
17. J.S. Dehesa and A. Zarzo, Lanczos method and the density of states of many-fermion systems,
Europhys. Lett. 8 (1989) 589593.
18. K. Dilcher, Polynomials related to expansions of certain rational functions in two variables, SIAM
J. Math. 19 (1988) 473483.
19. K. Endl, Sur une classe de polynomes orthogonaux generalisant ceux de Laguerre et Hermite, C.R.
Acad. Sci. Pars 241 (1955) 723724.
20. K. Endl, Sur les systemes de polynomes orthogonaux en involution, C.R. Acad. Sci.Pars 241 (1955)
682684.
21. K. Endl,

Uber involutorische matrizen die durch dreigliedrige rekursionsfoeln erzeugt werden, Mit-
teilungen Math. Seminar Giessen 123 (1977) 181194.
22. K. Endl, Les polynomes de Laguerre et Hermite comme cas particuliers dune classe de polynomes
orthogonaux, Ann. Ecole Normale Superieure 73 (3) (1956) 113.
23. K. Endl,

Uber eine ausgezeichnete Eigenschaft der koecientenmatricen des Laguerreschen und des
hermiteschen polynomsystems, Math. Z 65 (1956) 715.
24. K. Endl, Eine bemerkung zum satz von Favard uber orthogonale polynomsysteme, Acta Math. Acad.
Sci. Hung. 28 (1976) 359365.
25. K. Endl, On Favards Theorem for orthogonal polynomials in Inequalities I, edited by E.F. Becken-
bach, Birkhauser, 1978.
26. J. Favard, Sur les polynomes de Chebychev, C.R. Acad. Sci. Pars 200 (1935) 20522053.
16 J.S. Dehesa, J.J.R. Molina y A. Zarzo
27. Sister Mary Celine Fasenmayer, Some genaralized hypergeometric polynomials, Bull. Amer. Math.
Soc. 53 (1947) 806812.
28. G. Freud, Orthogonal Polynomials, Pergamon Press, Oxford, 1971.
29. G. Gasper, Positivity and Special Functions, in Theory and Applications of Special Functions, R.
Askey ed., Academic Press, New York, 1975, pp.375434.
30. G. Gasper, Positive sums of the classical orthogonal polynomials, SIAM J. Math. Anal. 8 (1977)
423447.
31. W. Gautschi, Computational methods in special funcions: A survey, in Theory and Applications of
Special Functions, (R.A. Askey, ed., Academic Press, New York, 1975, pp.198.
32. W. Gautschi, Computational aspects of orthogonal polynomials, in Oryhogonal Polynomials: Theory
and Practice, Proc. of NATO-ASCI Symposium on Orthogonal Polynomials and their Applica-
tions, P. Nevai ed., Reidel, Dordrecht, 1989, pp.181216.
33. B. Germano and P.E. Ricci, Rendi. Mat. ser. VII 3 (3) (1983) 427445.
34. G.M.L. Gladwell and A.H. England, Quaterly J. Mechanics and Appl. Math. 30 (2) (1977) 175185.
35. E. Hansen, Sums of functions satisfying recursion relations, Amer. Math Monthly 88 (1981) 676679.
36. P.G.L. Leach, G.P. Flessas and W. Gorringe, A Rodrigues formula approach to determining closed-
form solutions to the Schrodinger equations for symetric anharmonic oscillators, J. Math. Phys. 30
(1989) 406412.
37. . Leonard, Orthogonal polynomials, duality and association schemes, SIAM J. Math. Anal. 13 (1982)
656663.
38. T.Y. Li and J. Yorke, Amer. Math. Monthly 82 (1975) 985992.
39. P. Maroni, Une generalisation du theoreme de Favard-Shohat sur les polynomes orthogonaux, C.R.
Acad. Sci. Pars 293 (1981) 1922.
40. P. Maroni, Prolegomenes a letude des polynomes orthogonaux semiclassiques, Annali Matematica
pura et applicata 149 (4) (1987) 165184.
41. H.N. Mhaskar, A quantitative Dirichlet-Jordan type theorem for orthogonal polynomials expansions,
SIAM J. Math. Anal. 19 (1988) 484492.
42. P. Nevai, Orthogonal Polynomials: Theory and Practice, Proc. of NATO-ASCI Symposium on
Orthogonal Polynomials and their Applications, Reidel, Dordrecht, 1989.
43. G.L. Petterson and C.D. Cantrell, Phys. Rev. A 31 (1985) 807.
44. G. Szego, Orthogonal Polynomials, Amer. Math. Soc., Providence, 1978, 4th edition, 2nd printing.
45. W. Van Assche, Eigenvalues of Toeplitz matrices associated with orthogonal polynomials, J. Approx.
Theory 51 (1987) 360371.
46. W. Van Assche, Asymptotics for Orthogonal Polynomials, Springer, Heidelberg, 1987.
47. J. Wimp, Computation with Recurrence Relations, Pitman, Boston, 1984.
48. M. Yamaguti and S. Ushiki, Discretisation and chaos, C.R. Acad. Sci. Pars 290 A (1980) 637640.