Las funciones especiales y la fsica matematica

Renato Alvarez Nodarse

Departamento de Analisis Matematico

Universidad de Sevilla e Instituto Carlos I de Fsica Teorica y
Computacional, Universidad de Granada.

Indice
1. Introduccion 3

2. Breve introduccion historica 3

2.1. Las familias clasicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2. Las principales caracterizaciones de los polinomios clasicos. . . . . . . . . . . . . 9
2.3. Teora general. Stieltjes y Chebyshev . . . . . . . . . . . . . . . . . . . . . . . . 10

3. Los polinomios clasicos. 13

3.1. La ecuacion diferencial hipergeometrica. . . . . . . . . . . . . . . . . . . . . . . 13
3.2. La ecuacion en forma autoadjunta y sus consecuencias. . . . . . . . . . . . . . . 15
3.3. La relacion de recurencia a tres terminos y sus consecuencias. . . . . . . . . . . 17
3.4. Algunas consecuencias de la formula de Rodrigues. . . . . . . . . . . . . . . . . 21
3.5. Representacion integral y funcion generatriz. . . . . . . . . . . . . . . . . . . . . 23
3.6. Los teoremas de caracterizacion . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.7. Los Polinomios de Hermite, Laguerre y Jacobi. . . . . . . . . . . . . . . . . . . . 28
3.7.1. Parametros Principales. . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.7.2. Representacion hipergeometrica. . . . . . . . . . . . . . . . . . . . . . . . 28
3.7.3. Funciones generatrices. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.7.4. Otras caractersticas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.7.5. Los polinomios nucleos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

4. Los polinomios ortogonales clasicos de variable discreta 33

4.1. La ecuacion en diferencias de tipo hipergeometrico . . . . . . . . . . . . . . . . . 33
4.2. La ecuacion autoadjunta y sus consecuencias . . . . . . . . . . . . . . . . . . . . 35
4.3. La relacion de recurrencia a tres terminos . . . . . . . . . . . . . . . . . . . . . . 39
4.4. Algunas consecuencias de la formula de Rodrigues . . . . . . . . . . . . . . . . . 40
4.5. Las formulas de estructura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.6. Representacion integral y formula explcita . . . . . . . . . . . . . . . . . . . . . 43
4.7. Los Polinomios de Charlier, Meixner, Kravchuk y Hahn . . . . . . . . . . . . . . 46
4.7.1. Parametros Principales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.7.2. Representacion hipergeometrica . . . . . . . . . . . . . . . . . . . . . . . 47
4.7.3. Otras caractersticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.7.4. Los polinomios nucleos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.8. Relaciones lmites entre los polinomios clasicos . . . . . . . . . . . . . . . . . . . 52

5. Algunas aplicaciones 55
5.1. Aplicacion a la Mecanica Cuantica . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.1.1. El oscilador armonico cuantico . . . . . . . . . . . . . . . . . . . . . . . . 55
5.1.2. La ecuacion hipergeometrica generalizada. . . . . . . . . . . . . . . . . . 56

1
 5.1.3. Ejemplos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
5.2. La teora de representacion de grupos . . . . . . . . . . . . . . . . . . . . . . . . 60
5.3. El grupo de rotaciones del espacio O(3). . . . . . . . . . . . . . . . . . . . . . . 62
5.3.1. Las representaciones unitarias Dj de O(3) . . . . . . . . . . . . . . . . . 65
5.3.2. Los coeficientes de Clebsch-Gordan . . . . . . . . . . . . . . . . . . . . . 69

Referencias 73

2
1. Introduccion
En estas breves notas vamos a intentar dar una vision de los polinomios ortogonales clasicos
continuos y discretos y algunas de sus aplicaciones.
Para mayor claridad lo divideremos en cinco partes. La primera la dedicaremos a dar una
breve introduccion historica de los mismos, includas algunas funciones especiales relacionadas
con ellos. A continuacion, en la segunda parte, describiremos uno de los formalismos mas senci-
llos desarrollado escencialemente por Nikiforov y Uvarov en los anos 60. En el cuarto apartado
veremos como se puede generalizar las ideas expuestas para el caso anterior al caso discreto y
culminaremos, en el quinto y ultimo apartado, describiendo algunas aplicaciones en problemas
de la Mecanica Cuantica as como dando una breve introduccion a la teora de representacion
de de grupos y mostrando su conexion con la teora de polinomios ortogonales. La mayora de
los temas tratados han sido tomados de [3].

2. Breve introduccion historica

2.1. Las familias clasicas
Los polinomios ortogonales corresponden a una pequena parte de una gran familia de
funciones especiales. Su historia se remonta al siglo XVIII y esta estrechamente relacionada con
la resolucion de problemas de inmediata aplicacion practica. Uno de estos problemas estaba
relacionado con la, por entonces joven, teora de la gravedad de Newton. Entre los numerosos
problemas relacionados con la teora de la gravitacion universal estaba el de encontrar las
componentes de las fuerzas de atraccion gravitacional entre cuerpos no esfericos. Usando la ley
de gravitacion de Newton estas son iguales a
ZZZ
xi i
fxi = G (1, 2 , 3 ) d1 d2 d3 , i = 1, 2, 3 (2.1)
r3
donde, x1, x2 y x3 son los tres ejes coordenados y
p
r = ( (x1 1 )2 + (x2 2)2 + (x3 3 )2

Un inconveniente de la formula anterior es que precisamos trabajar con tres funciones. Una
forma de eliminar el problema era introducir la funcion potencial. De hecho, era bien conocido
en el siglo XVIII que la fuerza de atraccion entre dos cuerpos poda ser determinada a partir de
la funcion potencial V (x, y, z). Ademas, la misma era facil de calcular conociendo la distribucion
de masa digamos su densidad en el interior del cuerpo mediante la formula:
ZZZ
(1, 2 , 3 ) V
V (x1, x2 , x3 ) = G d1 d2d3 , = fxi = (2.2)
r xi
y, por tanto, calculando la integral es posible encontrar la funcion V . Esto, sin embargo, es
complicado ya que es necesario conocer a priori la distribucion de masa de los cuerpos, la cual
es, en general, desconocida y ademas hay que unirle el hecho de que el calculo directo de la
integral (2.2) suele ser muy engorroso se trata de una integral triple que hay que integrar en
un volumen acotado pero con forma arbitraria. Otra posibilidad era resolver la ecuacion del
potencial para puntos exteriores al cuerpo: la ecuacion de Laplace
2V 2V 2V
+ + = 0.
x2 y 2 z 2
Esta nocion del potencial y su relacion con las fuerzas fue tratado por distintos matematicos
de la talla de Daniel Bernoulli, Euler y Lagrange.

3
 Vamos a describir una forma de calcular directamente las integrales
(2.1) en un caso especial: la atraccion que un cuerpo de revolucion ejerce
sobre otros cuerpos. Este problema intereso a AdrienMarie Legendre
(17521833). Este, en un artculo de 1782 titulado Sur lattraction des
spherodes (aunque publicado en 1785), probo un teorema muy interesante
que establece que, si se conoce el valor de la fuerza de atraccion de un
cuerpo de revolucion en un punto exterior situado en su eje, entonces se
conoce en todo punto exterior. As redujo el problema al estudio de la
Adrien M. Legendre componente radial P (r, , 0), cuya expresion es
Z Z Z
(r r 0) cos 02
P (r, , 0) = 3 r sin 0 d 0d0 dr 0 ,
2 0
(r 2rr cos + r ) 02 2

donde cos = cos cos 0 + sen sen 0 cos 0 .

Como resolvio Legendre el problema?

Legendre desarrollo la funcion integrando

   23
2 0 02 23 3 r0 r02
(r 2rr cos + r ) =r 1 2 2 cos 2
r r

y usando la formula de binomio de Newton obtuvo

 
(r r 0) cos 1 r02 r04
3 = 1 + 3P2 (cos ) 2 + 5P4 (cos ) 4 + . . . .
(r 2 2rr 0 cos + r 02) 2 r2 r r

As,
Z
4 X 2n 3 1 2
P (r, , 0) = 2 P2n(cos ) 2n R2n+3 ( 0)P2n(cos 0) sin 0 d 0,
r n=0 2n 1 r 0

donde R( 0) es el valor de r 0 en un 0 y se conocen como la funcion de las curvas meridianas.

Las funciones P2, P4 , ... son funciones racionales enteras polinomios de cos , que hoy
se conocen como polinomios de Legendre se expresan mediante la formula
 
(2n 1)!! n n(n 1) n2 n(n 1)(n 2)(n 3) n4
Pn(x) = x x + x +
n! 2(2n 1) 2 4 (2n 1)(2n 3)

Dos anos mas tarde en su segundo artculo escrito en 1784 (publicado en 1787) Legendre dedujo
algunas de las propiedades de las funciones P2n(x). Una es de particular importancia:
Z 1
(x2 )P2m (x)dx = 0 grado < m,
0

es decir, los P2n eran ortogonales!. Tambien obtuvo la expresion:

Z 1
n(n 2) (n 2m + 2)
xn P2m (x)dx = , n
0 (n + 1)(n + 3) (2 + 2m + 1)

de donde se deduce la propiedad de ortogonalidad en su forma habitual:

Z 1
1
P2n(x)P2m(x)dx = n,m ,
0 4m + 1

4
siendo mn el smbolo de Kronecker. Usando esta, muestra Legendre que toda funcion f (x 2)
se expresa como

X
f (x2) = cn P2n (x),
n=0

siendo los coeficientes cn determinados unvocamente. Haba nacido la primera familia de poli-
nomios ortogonales de la historia. En ese mismo trabajo, Legendre probo que los ceros de P n
eran reales, distintos entre s, simetricos respecto al origen y menores, en valor absoluto que 1.
En su cuarto artculo sobre el tema (escrito en 1790, aunque publicado tres anos mas tarde)
introdujo los polinomios de grado impar, prueba la ortogonalidad general
Z 1
2
Pn(x)Pm (x)dx = n,m ,
0 2n + 1

as como la ecuacion diferencial lineal que satisfacen dichos polinomios Pn(x):

(1 x2)Pn00 (x) 2xPn0 (x) + n(n + 1)Pn(x) = 0.

Tambien introduce as como los hoy llamados polinomios asociados de Legendre P nm (x) que se
(m) m m P (x)
expresan a traves de los polinomios Pn de la forma Pn (x) = (1 x2) 2 d dx n
m , y que son solu-
ciones de la ecuacion de Laplace en coordenadas esfericas tras aplicar el metodo de separacion
de variables.

Los polinomios de Legendre fueron considerados tambien por PierreSimon Laplace (1749
1827) quien en 1782 introdujo las funciones esfericas que estan directamente relacionadas
con los polinomios de Legendre y demostro varios resultados relativos a ellas. Tambien es
destacable otro resultado publicado en 1826 Memoire sur lattraction des spheroides (Corresp.
sur lEcole Royale Polytech. III, 361385) por el frances Olinde Rodrigues (17941851). Se
trata de una formula para expresar los polinomios de Legendre,

1 dn (x2 1)n
Pn(x) = n ,
2 n! dxn
conocida hoy da como formula de Rodrigues.

La siguiente familia, en orden de aparicion, fue la de los polinomios de

Hermite Hn llamados as en honor a Charles Hermite (18221901) quien
los estudio junto con el caso de varias variables en su ensayo Sur un nou-
veau developpement en serie des fonctions (C. R. Acad. Sci. Paris, I) en
1864 (ver uvres, Gauthier-Villars, 1908, Tome II, 293308), aunque al Charles Hermite
parecer el primero en considerarlos fue Laplace en 1810 en su Mecanique celeste donde los
utilizo en problemas de teora de las probabilidades. En este caso la ortogonalidad se expresa
2
respecto a la funcion ex soportada en la recta real. Luego el ruso Pafnuti Lvovich Chebyshev
(18211894) realizo un estudio detallado de los mismos en 1859 vease su artculo Sur le deve-
loppement des fonctions a une seule variable (Oeuvres, Tom I, 501-508, Chelsea Pub. Co.).

En su trabajo Hermite estaba interesado en el desarrollo es series de funciones en R

F (x) = A0 H0 + A1 H1 + An Hn + H n Pn

con el objetivo de generalizarlos al caso de varias variables. Curiosamente construye los polino-
mios Hn diciendo que
2
dn ex 2

n
= ex Hn ,
dx

5
es decir utiliza una formula Rodrigues, obteniendo
n(n 1) n2 n!
(1)nHn = (2x)n x + + (2x)n2k + ,
2 (n 2k)!k!
en particular, deduce las propiedades

Hn+1 + 2xHn + 2nHn1 = 0, Hn0 = (2n)Hn1

y la ecuacion diferencial lineal que satisfacen dichos polinomios

Hn00 (x) 2xHn0 (x) + 2nHn (x) = 0.

Finalmente, prueba la ortogonalidad

Z
2
Hn(x)Hm (x)ex dx = 2n n! n,m .

La proxima familia, conocida como polinomios de Laguerre Ln , deben su nombre a Edmond

Nicolas Laguerre (18341886). Estos polinomios ya eran parcialmente conocidos por Niels Hen-
rik Abel (18021829) y Joseph-Louis Lagrange (17361813), aunque es nuevamente Chebyshev
el primero en realizar un estudio detallado de los mismos en 1859 en el trabajo antes citado
y que continuo el matematico ruso Konstantin Aleksandrovich Posse (18471928) en 1873. El
caso general para > 1 fue estudiado por Yulian Vasilevich Sojotkin (18421827) en 1873,
y no es hasta
R 1879 que Laguerre los introduce caso particular = 0 cuando estudiaba la
integral x ex x1 dx, mediante su desarrollo en fracciones continuas.
R x
En particular, Laguerre, en su memoria Sur lintegrale x e x dx (Bull.
Soc. Math. France, VII, 1879) (ver vres, Gauthier-Villars,
R ex 1898, 428437),
prueba, entre otras cosas, la relacion entre la integral x x dx, y la fraccion
continua:
Z x
e ex m (x)
dx = = ex ,
x x 1 Lm (x)
x+1
x+ 3

Nicolas Laguerre donde los denominadores L00m (x) son las soluciones polinomicas de la ecuacion
diferencial de Laguerre xy + (x + 1)y 0 my = 0, m = 0, 1, 2, . . ., que no
son mas que los hoy conocidos polinomios clasicos de Laguerre. Para ello,
Laguerre parte de la identidad
Z t Z t
e 1 1 n+1 (n 1)! n e
dt = 2 + + (1) + (1) dt
x t x x xn x tn+1
de donde deduce, tras diversas consideraciones, que
Z t Z t
e x m (x) n e
dt = e + (1) dt
x t Lm (x) x tn+1
donde los Ln satisfacen la ecuacion diferencial lineal

xL00n + (1 x)L0n + nLn = 0,

de la cual, usando el metodo de las series de potencia, deduce que

n2 (n 1)2 n2 n2 (n 1)2 (n k + 1)2 nk

Ln(x) = xn + n2 xn1 + x + + x + n!
2! k!

6
A continuacion obtiene muchas propiedades de los Ln : que satisfacen la relacion de recurrencia
Ln+1 (x) = (x + 2n + 1)Ln(x) n2 Ln1 (x),
la ortogonalidad Z
(n + 1)
Ln(x)Lm (x)exdx = n,m ,
0 n!
que los ceros de los Ln eran reales, no negativos y simples.

Anos mas tarde, en 1880, otro estudiante de Chebyshev, Nikolai Yakovlevich Sonin (1849
1915) continua el estudio comenzado por Sojotkin sobre los polinomios con > 1, probando,
entre otras cosas una relacion de ortogonalidad mas general,
Z
(n + + 1)
Ln (x)Lm (x)xex dx = n,m ,
0 n!
y una ecuacion del tipo:
x(Ln )00 + ( + 1 x)(L)0n + nLn = 0.
Es quiza por ello que que en algunos sitios a los polinomios Ln (x) se les denomina polinomios
de LaguerreSonin.

Antes de pasar a nuestra ultima familia clasica debemos hacer una breve incursion en la
teora de las ecuaciones diferenciales de segundo orden. Nuestro protagonista sera esta vez una
ecuacion diferencial.
Leonhard Euler (17071783), en la segunda mitad del siglo XVIII, desa-
rrollo el metodo de integracion de ecuaciones diferenciales ordinarias median-
te series de potencias que usamos hoy. Una de las ecuaciones consideradas
por el fue ver el Instituciones Calculi Integralis (1769) la conocida hoy
da como ecuacion diferencial hipergeometrica
x(1 x)y 00 + [ ( + + 1)x]y 0 y = 0
cuya solucion es
  
Leonhard Euler ,  ( + 1) ( + 1) 2
F(, ; |x) 2 F1 x = 1 + x+ x + .
1 12 ( + 1)
(2.3)
No obstante, fue Carl Friederich Gauss (17771855) en su famoso ensayo de 1813 Dis-
quisitiones generales circa seriem infinitam ..., (Werke, II (1876), 123-162) sobre funciones
hipergeometricas quien realizo el estudio mas completo de la ecuacion anterior. En este ensayo
Gauss no hizo uso de la ecuacion diferencial que s utilizo mas tarde en material inedito
Disquisitiones generales circa seriem infinitam..., (Werke, III (1876), 207-229).

Gauss reconocio que, para ciertos valores de , y , la serie inclua,

entre otras, casi todas las funciones elementales. Por ejemplo:
(1 + z)a = F(a, b; b|z), log(1 + z) = zF(1, 1; 2|z),
etc. Incluso comprobo que algunas de las funciones trascendentales como la
famosa funcion de Bessel Jn , se poda expresar tambien como serie hiper-
geometrica:
 
zn z2
Carl F. Gauss Jn (z) = n lm F , ; n + 1;
2 n! 4n

7
Tambien Gauss establecio la convergencia de la serie e introdujo la notacion F(a, b ; c|x) que


convive todava con la notacion moderna 2F1 a, b x .
c

Otro trabajo importante de Gauss fue su Methodus nova integrali um valores per approxi-
mationen inveniendi, (Werke III, 163196) donde demuestra una formula de cuadraturas para
el calculo aproximado (y eficiente) de integrales que constituye una de las aplicaciones mas
importantes de los polinomios ortogonales. En concreto, Gauss recupero los ceros de los po-
linomios de Legendre cuando buscaba donde deberan estar los del polinomio de interpolacion
(de Lagrange) para obtener la mayor precision posible al integrar entre 0 y 1, aunque no uti-
lizo la ortogonalidad de los polinomios (hecho que probablemente desconoca) sino la funcion
hipergeometrica 2 F1. La construccion de la formula de cuadraturas, tal y como la conocemos
hoy usando la ortogonalidad, se debe a nuestro proximo personaje, Karl Gustav Jacob Jaco-
bi Uever Gauss neve Methode die werthe der Integrale naherungsweise zu finden J. Reine
Angew. Math., 1 (1826) 301-308 (18041851), otro de los grandes matematicos del siglo XIX.
Jacobi fue uno de los mas grandes matematicos del siglo XIX y no solo
por sus aportaciones puramente teoricas, sino por su interes por resolver
dficiles problemas de inmediata aplicacion practica las famosas ecuacio-
nes de Hamilton y Jacobi de la Mecanica, o sus trabajos en Mecanica de
Fluidos, por ejemplo. Es notable su celebre frase:

El senor Fourier opina que la finalidad de las matematicas con-

siste en su utilidad publica y en la explicacion de los fenomenos
naturales; pero un filosofo como el debera haber sabido que la
Karl Jacobi finalidad unica de la ciencia es rendir honor al espritu humano
y que, por ello, una cuestion de numeros vale tanto como una
cuestion sobre el sistema del mundo

que quiza dio comienzo a esa absurda batalla de hoy da sobre la prioridad de la Matematica
platonica basada en la idea de que la Matematica debe ser independiente de toda utilidad
inmediata de la Matematica aplicada de Fourier.

Fiel a esa idea platonica, Jacobi introduce una nueva familia que generaliza los polino-
mios de Legendre a partir de la funcion hipergeometrica de Gauss, sin importarle sus posibles
aplicaciones recordemos que las familias anteriores haban aparecido de uno u otro modo
relacionadas con aplicaciones fsicas o matematicas. As, en su artculo postumo de 1859,
Untersunshungen uber die Differentialgleichung de hypergeometrischen Reihe (J. Reine Angew.
Math. 56 149165), definio la familia de polinomios
  
, (n + + 1) n, n + + + 1  1 x
Pn (x) = 2 F1  2 ,
( + 1)n! +1

para la que demostro, entre otras, una propiedad de ortogonalidad en el intervalo [1, 1] con
respecto a la funcion peso (x) = (1 x)(1 + x) , > 1, > 1, o sea,
Z 1
2++1 (n + + 1)(n + + 1)
Pn, (x)Pm, (x) (x)dx = mn ,
1 (2n + + + 1)(n + + + 1)n!

donde (x) denota la funcion Gamma de Euler. Es facil comprobar (ver, por ejemplo, [6, 15, 17])
que tanto los polinomios de Laguerre como los de Hermite tambien se pueden escribir como
una funcion hipergeometrica no de Gauss, sino de las funciones hipergeometricas generalizadas
p Fq .

8
 Los polinomios de Jacobi, Laguerre y Hermite constituyen lo que hoy da se conocen como
polinomios ortogonales clasicos. Curiosamente en los ejemplos anteriores descubrimos que al
parecer todos ellos tienen ciertas caractersticas comunes dentro de las que destaca la ecuacion
diferencial de segundo orden. Es por ello que para culminar este apartado debemos mencionar
los teoremas de caracterizacion relacionados con las familias clasicas.

2.2. Las principales caracterizaciones de los polinomios clasicos.

La primera caracterizacion que consideraremos fue obtenida por S. Bochner quien probo que
los unicos polinomios ortogonales que satisfacan una ecuacion diferencial del tipo:
d2 d
(x) 2
Pn(x) + (x) Pn(x) + n Pn(x) = 0 , (2.4)
dx dx
donde y son polinomios de grado a lo sumo 2 y exactamente 1, respectivamente, y n es
una constante, eran los polinomios clasicos, o sea, los polinomios de Jacobi ((x) = (1 x 2)),
Laguerre ((x) = x) y Hermite ((x) = 1) estas tres familias de polinomios son ortogonales
con respecto a una funcion peso definida en R (ver Tabla 1) y, aparentemente, una nueva
familia cuando (x) = x2. Estos ultimos, denominados polinomios de Bessel, a diferencia de
las tres familias anteriores no corresponden a un caso definido positivo, es decir la medida de
ortogonalidad no es positiva. Aunque estos polinomios haban sido considerados por muchos
matematicos (e.g. Burchnall y Chaundy en 1931), fueron H. L. Krall y O. Frink quienes los
presentaron formalmente en 1949 en su artculo A new class of orthogonal polynomials (Trans.
Amer. Math. Soc. 65) [12] y les dieron el nombre por su relacion con las funciones de Bessel.
En ese magnfico trabajo estudiaron un sinnumero de propiedades y probaron la ortogonalidad
respecto a una funcion peso en la circunferencia unidad T. Sin embargo no encontraron ninguna
funcion peso(necesariamente signada) sobre la recta real. El problema fue finalmente resuelto
por A. Duran en 1990 en donde se desarrolla un metodo general para encontrar explcitamente
funciones muy regulares con momentos dados; como aplicacion encontro las primeras medidas
signadas sobre R y (0, +) respecto a las cuales los polinomios de Bessel eran ortogonales.

Cuadro 1: Los polinomios ortogonales clasicos.

SPO funcion Pn (x) funcion peso Intervalo de

ortogonalidad
Laguerre (x) = x x ex [0, )
Hermite (x) = 1 e x2 (, )
Jacobi (x) = 1 x2 (1 x) (1 + x) [1, 1]
P (2)m
Bessel (x) = x2 2 +1
m=0 (m++1)z m T

Otra caracterizacion, la mas antigua, se debe a Sonin quien, en 1887, probo que los unicos
polinomios ortogonales que satisfacan la propiedad de que sus derivadas P n0 tambien eran
ortogonales eran los polinomios de Jacobi, Laguerre y Hermite. Esta propiedad fue redescubierta
W. Hahn en 1935 quien tambien recupero los polinomios de Bessel no considerados por Sonin
el caso Bessel tambien fue estudiado por H.L.Krall [11]. Dos anos mas tarde, el mismo
Hahn probo un resultado mas general que contena al anterior: si la sucesion de polinomios
(k)
ortogonales (Pn)n era tal que la sucesion de sus kesimas derivadas (Pn )n, para cierto k N,
tambien era ortogonal, entonces (Pn)n era alguna de las sucesiones de polinomios ortogonales
clasicos.

9
 La tercera caracterizacion fue propuesta por F. Tricomi [18] quien conjeturo y parcialmente
demostro (para mas detalle ver [2, 6]) que solo los polinomios ortogonales clasicos se podan
expresar en terminos de una formula tipo Rodrigues:
B n dn
Pn(x) = [(x) n(x)] , n = 0, 1, 2, ... , (2.5)
(x) dxn
donde es una funcion no negativa en cierto intervalo y es un polinomio independiente de
n. La demostracion rigurosa de este resultado fue dada por Cryer en 1969 [5], aunque ya E. H.
Hildebrandt en 1931 [9] tena varios resultados en esa direccion. Otra caracterizacion consiste
en que los unicos polinomios ortogonales respecto a una funcion peso solucion de la ecuacion
diferencial de Pearson

[(x)(x)]0 = (x)(x), grado 2, grado = 1 ,

eran los clasicos (Jacobi, Laguerre y Hermite), que fue probada por Hildebrandt en 1931 [9].

2.3. Teora general. Stieltjes y Chebyshev

Como hemos visto en la seccion anterior, los polinomios ortogonales estan estrechamente
relacionados con las ecuaciones diferenciales y teora de aproximacion (en particular por su
relacion con las fracciones continuas). Esta conexion, y en especial la segunda, conducen al
nacimiento, en la segunda mitad del siglo XIX, de la teora general sobre polinomios ortogonales.
Veamos, en primer lugar, la relacion entre los polinomios ortogonales y la teora de las
fracciones continuas. Comenzaremos con los trabajos de Thomas Jan Stieltjes Jr. (18561894).
Stieltjes, en su famoso ensayo Recherches sur les fractions continues (Ann. Fac. Sci. Univ.
Toulouse, 8 (1894) 1-122, 9 (1895) 1-47) publicado postumamente en dos partes en 1894 y
1895, desarrollo la teora general de las S-fracciones definidas por
1
1
,
c1 z +
1
c2 +
1
c3 z +
1
c2n +
c2n+1 z + .
..

con la condicion ck > 0 (k = 1, 2, ...). Stieltjes probo que haciendo el cambio a20 = 1/c1 , b0 =
1/(c1 c2 ) y a2n = 1/(c2n1 c22n c2n+1 ), bn = 1/(c2n c2n+1 ) 1/(c2n+1 c2n+2 ), n = 1, 2, . . ., esta
fraccion se transformaba en una de las fracciones continuas de Jacobi y, ademas, que si a k = 0,
para todo k n+1, entonces la expresion anterior se transformaba en una funcion racional f n(z)
(1)
1 pn1 (z)
de la forma fn(z) = a1 pn (z)
, donde los polinomios denominadores pn (z) y los numeradores
(1)
pn1 (z) son soluciones de la relacion de recurrencia a tres terminos

zrn(z) = an+1 rn+1 (z) + bn rn (z) + anrn1 (z), n0,

con las condiciones iniciales:

r1(z) = 0, r0 (z) = 1 y r1(z) = 1, r0 (z) = 0,

respectivamente. A partir de la relacion de recurrencia y para el

caso de las J-fracciones, Stieltjes demostro que exista un funcio-
nal L, lineal y positivo, tal que, L(pn pm ) = 0 para n = 6 m,

10

Thomas Stieltjes
 lo cual se puede interpretar como una version primitiva del fa-
moso teorema de Favard demostrado antes por O. Perron (1929),
A. Wintner (1929) y M. H. Stone (1932), J. Sherman (1935)
y I. P. Natanson (1935) indistintamente que asegura lo siguien-
te:

Teorema: (Favard 1935) Supongamos que una sucesion de polinomios (pn)n satisface una re-
lacion de recurrencia a tres terminos de la forma:

zpn (z) = an+1 pn+1 (z) + bnpn (z) + anpn1 (z), n0,

con ak+1 > 0 y bk R (k = 0, 1, 2, ...) y las condiciones iniciales p1 (z) = 0 y p0(z) = 1.

Entonces, dichos polinomios pn son ortonormales en L2 (), siendo cierta medida positiva
sobre la recta real, o sea, existe una funcion real no decreciente con un numero infinito de
puntos de crecimiento efectivo tal que, para todo n, m = 0, 1, 2, ... se tiene que:
Z
pn(x)pm (x)d(x) = mn ,

donde, como antes, mn es el smbolo de Kronecker.

Ademas demostro que tales polinomios tenan ceros con unas propiedades muy interesantes:
(1)
todos eran reales y simples, y los ceros de pn entrelazaban con los ceros de pn1 y con los de
pn1 .
El Recherches de Stieltjes no solo constituyo un trabajo esencial en la teora de fraciones con-
tinuas sino que represento el primer trabajo dedicado a la naciente teora general de polinomios
ortogonales. Ademas de ello, en el Stieltjes introduce lo que se conoce actualmente como R proble-
ma de momentos (dada una sucesion (n)n, encontrar una medida (x) tal que k = xnd(x))
as como una extension de la integral de Riemann la integral de Riemann-Stieltjes que le
permitio un tratamiento mas general de la ortogonalidad.
Ademas de los trabajos de Stieltjes debemos destacar tambien los del
matematico ruso Pafnuti Lvovich Chebyshev. Chebyshev estudio un in-
gente numero de problemas relacionados con los polinomios ortogonales
ya comentamos sus trabajos donde estudia los polinomios de Hermite
y Laguerre y la introduccion de la primera familia discreta, llegan-
do a ellos al tratar de resolver problemas aplicados. Por ejemplo, sus
investigaciones en 1854 sobre algunos mecanismos que transformaban la
energa de rotacion en energa de traslacion le llevaron al problema de
mejor aproximacion. As, en su memoria Theorie des mecanismes connus
sous le nom de parallelogrammes (Oeuvres, Tomo I, Chelsea Pub. Co. 111- Pafnuti Chebyshev
145), Chebyshev planteo el problema de encontrar la mejor aproximacion
polinomica uniforme de una funcion continua f , o sea, dada la funcion
continua f definida en cierto intervalo (a, b), encontrar dentro del conjunto P n de todos los po-
linomios de grado a lo sumo n el polinomio pn de grado n tal que el maximo de |f (x)pn(x)| sea
mnimo en dicho intervalo. De esa manera introdujo los hoy conocidos polinomios de Chebyshev
de primera especie Tn (x) que son la solucion al problema extremal de encontrar los polinomios
monicos pn (x) = xn + tales que max |pn(x)| en el intervalo [1, 1] sea mnimo, encontrando
la solucion
1 1 1
mn max |pn (x)| = n1
, pn (x) = T (x) =
n1 n
cos(n arcos x).
pn Pn x[1,1] 2 2 2n1

Estos polinomios forman un sistema ortogonal con respecto a la funcion peso (x) = 1/ 1 x2
21 , 12
y coinciden con los polinomios de Jacobi Pn .

11
 Debemos destacar que Chebyshev obtuvo numerosos resultados sobre los polinomios orto-
gonales. En 1859, desde diferentes consideraciones, estudio otros sistemas de polinomios orto-
gonales como los de Hermite y Laguerre. Sin embargo, el no los introdujo a partir de la relacion
de ortogonalidad
R b sino a partir del desarrollo en serie de potencias para las fracciones continuas
de la forma a (x)dx
zx
. Chebyshev tambien estudio el problema de momentos y formulas de cua-
dratura e introdujo la primera familia de polinomios discretos: los ya mencionados polinomios
discretos de Chebyshev.
Por estas razones, tanto a Stieltjes como a Chebyshev se les considera los padres de la teora
de polinomios ortogonales que estaba por llegar a principios del siglo XX, y que se consolido en
1939 con la aparicion de la monografa Orthogonal Polynomials de Gabor Szego [17]. En esta
excelente monografa, aparte de presentar una teora general sobre polinomios ortogonales, se
incluyen gran cantidad de resultados sobre las familias clasicas y se inicia la teora de Szego de
polinomios sobre la circunferencia unidad.

12
3. Los polinomios clasicos.
3.1. La ecuacion diferencial hipergeometrica.
Nuestro objetivo sera estudiar los polinomios ortogonales clasicos definidos sobre el eje
real. Vamos a usar el punto de vista desarrollado por Nikiforov y Uvarov en su libro [15], o
sea, vamos a definir los polinomios ortogonales clasicos como las soluciones polinomicas de la
siguiente ecuacion diferencial de segundo orden:
(x)y 00 + (x)y 0 + y = 0, (3.1)
donde y son polinomios de grados a lo mas 2 y 1, respectivamente. Es decir, diremos que
una familia de polinomios ortogonales (Pn)n es clasica si el grado de cada Pn es exactamente n
y se tiene que Z b
Pn(x)Pm (x)(x)dx = nm d2n , n, m 0,
a
o equivalentemente, que para todo n 0
Z b
xk Pn (x)(x)dx = 0, k n,
a

y distinto de dero para k = n. Para probar la equivalencia entre las dos formulas anteriores
basta usar el hecho de que como el grado de Pn es exactamente n, (Pn)n forma una base del
espacio de los polinomios y por tanto cualquier polinomio, y en particular xk se puede expresar
como una combinacion lineal de los mismos.

La razon fundamental de emplear esta caracterizacion se debe a que el metodo utilizado en

este apartado se basa en el estudio de las soluciones polinomicas de (3.1) y sera facilmente ge-
neralizable al caso de los polinomios en redes no uniformes. Este algoritmo clasico esta descrito
con detalle en [14, 15].

La ecuacion (3.1) usualmente se denomina ecuacion diferencial hipergeometrica pues las

soluciones y de la misma cumplen con la propiedad, conocida como propiedad de hipergeome-
tricidad, de que sus m-esimas derivadas y (m) ym satisfacen una ecuacion del mismo tipo. En
efecto, si derivamos (3.1) m veces obtenemos que ym satisface una ecuacion de la forma:
00 0
(x)ym + m (x)ym + m ym = 0,

m1
X (3.2)
0 m(m1) 00
m (x) = (x) + m (x), m = + i0(x) 0
= + m (x) + 2
(x) .
i=0

Ademas, es evidente que grado m 1 y que m es una constante.

Para probarlo usemos la induccion. Derivando una vez la ecuacion (3.1) tenemos
y100 + [ (x) + 0(x)]y10 + ( + 0)y1 = 0.
Llamando 1(x) = (x) + 0 (x) y 1 = + 0, obtenemos
y100 + 1(x)y10 + 1y1 = 0,
donde obviamente y 1 son polinomios de grados a lo mas 2 y 1, respectivamente. Suponiendo
que las m 1 derivadas satisfacen entonces la ecuacion
00 0
(x)ym1 + m1 (x)ym1 + m1 ym1 = 0, (3.3)

13
y derivando obtenemos
00 0
(x)ym + m (x)ym + m ym = 0,
(3.4)
0 0
m (x) = m1 (x) + (x), m = m1 + m1 .

Luego

m (x) = m1 (x) + 0(x) = m2 (x) + 2 0 (x) = 0 (x) + m 0(x), 0(x) = (x).

Ahora bien, como

m
X m
X
0 0
m m1 = m1 , = (k k1 ) = k1 ,
k=1 k=1

de donde deducimos m
X
0
m 0 = k1 , 0 = .
k=1
0 0 00
Usando ahora que k1 = + (k 1) , obtenemos el resultado deseado.

Una propiedad muy importante de la ecuacion hipergeometrica es que toda solucion de (3.2)
es necesariamente de la forma ym = y (m) siendo y solucion de (3.1).

Para demostrarlo usaremos nuevamente la induccion. Supongamos que y k es solucion de

k1
!
X
(x)yk00 + [ (x) + k 0 (x)]yk0 + + i0 yk = 0
i=0

0
y supongamos que yk no se puede expresar como yk1 , siendo yk1 solucion de la ecuacion
k2
!
X
00
(x)yk1 + [ (x) + (k 1) 0(x)]yk1
0
+ + i0 yk1 = 0.
i=0

Como k1 6= 0, tendremos que la ecuacion anterior se transforma en:

1 00 0
yk1 = [yk1 + k1 yk1 ].
k1
Derivando la ecuacion anterior una vez tendremos que
0
(x)(yk1 )00 + [ (x) + k 0 (x)](yk1
0
)0 + k (yk1
0
) = 0.
0
Luego yk1 = yk lo cual es una contradiccion. El caso m = 1 se obtiene directamente si ponemos
k = 1 y por tanto k 1 = 0 1 .

Esta propiedad es muy importante pues nos permite encontrar una formula explcita para
los polinomios que satisfacen la ecuacion (3.1).
1
Esta propiedad fue observada por Nikiforov y Uvarov, ver e.g. [15, Captulo I, 2].

14
3.2. La ecuacion en forma autoadjunta y sus consecuencias.
Comenzaremos escribiendo (3.1) y (3.2) en su forma simetrica o autoconjugada:

[(x)(x)y 0]0 + (x)y = 0, 0 0

[(x)m (x)ym ] + m m (x)ym = 0, (3.5)

donde y m son funciones de simetrizacion que satisfacen las ecuaciones diferenciales de primer
orden (conocidas como ecuaciones de Pearson):

[(x)(x)]0 = (x)(x), [(x)m (x)]0 = m (x)m (x).

Si es conocida entonces, utilizando las ecuaciones anteriores, obtenemos para m la expresion:

m (x) = m (x)(x). (3.6)

Teorema 3.1 Las soluciones polinomicas de la ecuacion (3.2) se expresan mediante la formula
de Rodrigues
Anm Bn dnm
Pn(m) (x) = [n (x)], (3.7)
m (x) dxnm
donde Bn = Pn(n) /Ann y2
 n!
m1
Y

Anm = Am () = [ 0 + 21 (n + k 1) 00 ]. (3.8)
=n (n m)! k=0

Ademas, el autovalor m de (3.2) es

m = m (n) = (n m)[ 0 + 21 (n + m 1) 00 ]. (3.9)

Demostracion: Para demostrar el teorema vamos a escribir la ecuacion autoconjugada para las
derivadas de la siguiente forma
1
m (x)ym = [m+1 (x)ym+1 ]0 ,
m
luego
m1
Y
Am dnm
m (x)ym = [n (x)yn] , Am = (1)m k , A0 = 1.
An dxnm
k=0
(n)
Como estamos buscando soluciones polinomicas, y Pn, tenemos que Pn es una constante;
(m)
por tanto, para las derivadas de orden m, Pn , obtenemos la expresion

Anm Bn dnm
Pn(m) (x) = [n (x)],
m (x) dxnm

 (n)
donde Anm = Am () y Bn = Pn(n)/Ann . Como Pn es una constante, de (3.2) obtenemos
=n
que n = 0, luego, usando la expresion (3.2) n = n + n 0(x)+n(n 1) 00 (x)/2 = 0 deducimos
que el valor de n en (3.1) se expresa mediante la formula3

n(n 1) 00
n = n 0 . (3.10)
2
Q
2
Usando la expresion (3.10) podemos obtener una expresion alternativa A nm = (n)m m1 n+k
k=0 (n+k) .
3
Esta misma expresion se puede obtener tambien sustituyendo en (3.1) el polinomio de grado n e igualando
los coeficientes de xn .

15
Sustituyendo (3.10) en (3.2) obtenemos el valor de nm = m (n)
nm = m (n) = (n m)[ 0 + 12 (n + m 1) 00 ], (3.11)
Q m1
de donde, usando que Anm = Am (n) = (1)m k=0 nk , deducimos el valor de la constante
Anm .

La formula (3.10) determina los autovalores n de (3.1) y es conocida como condicion de

hipergeometricidad. Esta misma expresion se puede obtener tambien sustituyendo en (3.1) el
polinomio de grado n e igualando los coeficientes de xn.

Cuando m = 0 la formula (3.7) se convierte en la conocida formula de Rodrigues para los

polinomios clasicos (ver caracterizacion de las SPOC):
B n dn n
Pn(x) = [ (x)(x)], n = 0, 1, 2, ... . (3.12)
(x) dxn
Es importante destacar que en la prueba hemos asumido que nk 6= 0 para k = 0, 1, . . . , n1.
De la expresion explcita (3.11) deducimos que para que ello ocurra es suficiente que 0 +n 00 /2 6=
0 para todo n = 0, 1, 2, . . .. Notese que esta condicion es equivalente a n 6= 0 para todo n N.
Ademas, de ella se deduce que n0 6= 0 para todo n N. Esta condicion se conoce como condicion
de regularidad del funcional de momentos asociado a los polinomios clasicos [13].

Hasta ahora solo nos ha interesado encontrar soluciones polinomicas de la ecuacion dife-
rencial (3.1). Si tambien queremos que dichas soluciones sean ortogonales tenemos que exigir
algunas condiciones complementarias. Veamos como a partir de las ecuaciones diferenciales si-
metrizadas (3.5) podemos demostrar la ortogonalidad de las soluciones polinomicas respecto a
la funcion peso .

k 
Teorema 3.2 Supongamos que x (x)(x) = 0, para todo k 0. Entonces las soluciones
x=a,b
polinomicas Pn de la ecuacion (3.1) constituyen una SPO respecto a la funcion peso definida
por la ecuacion [(x)(x)]0 = (x)(x), o sea, se cumple que:
Z b
Pn (x)Pm(x)(x)dx = nm d2n , (3.13)
a

donde nm es el smbolo de Kronecker y dn denota la norma de los polinomios Pn.

Demostracion: Sean Pn y Pm dos de las soluciones polinomicas de (3.1). Partiremos de las
ecuaciones simetrizadas para Pn y Pm ,
[(x)(x)Pn0 (x)]0 + n (x)Pn(x) = 0,

[(x)(x)Pm0 (x)]0 + m (x)Pm (x) = 0.

Multiplicando la primera por Pm y la segunda por Pn , restando ambas e integrando en [a, b]
obtenemos:
Z b
(n m ) Pn(x)Pm (x)(x)dx =
a

Z b 
= [(x)(x)Pm0 (x)]0Pn(x) [(x)(x)Pn0 (x)]0Pm (x) dx =
a
  
 P (x) Pm (x)  
= (x)(x)  n0 
 = (x)(x)W [Pn(x), Pm (x)] .
Pn(x) Pm0 (x) x=a,b x=a,b

16
Pero el Wronskiano W (Pn, Pm ) es un polinomio en x; por tanto, si exigimos la condicion de
que xk (x)(x) se anule en x = a y x = b (para todo k 0) obtendremos (n 6= m ) que los
polinomios Pn y Pm son ortogonales respecto a la funcion peso . Aqu debemos destacar que
a y b se suelen escoger de tal forma que sea positiva en el intervalo [a, b]. Una eleccion puede
ser tomar a y b como las races de (x) = 0, si estas existen [15].
(k)
De forma analoga, utilizando la ecuacion (3.5) para las derivadas yk Pn , se puede demos-
trar que las kesimas derivadas de los polinomios hipergeometricos tambien son ortogonales,
es decir, que Z b
Pn(k) (x)Pm(k)(x)k (x)dx = nm d2kn . (3.14)
a
Finalmente, para calcular la norma dn de los polinomios podemos utilizar la formula de
Rodrigues que, sustituyendola en (3.13) e integrando por partes, nos da:
Z b
2 n
dn = Bn (1) n!an n (x)(x)dx. (3.15)
a

3.3. La relacion de recurencia a tres terminos y sus consecuencias.

Una consecuencia de la propiedad de ortogonalidad es el siguiente

Teorema 3.3 Los polinomios ortogonales satisfacen una relacion de recurrencia a tres termi-
nos de la forma
xPn(x) = n Pn+1 (x) + n Pn(x) + n Pn1 (x), (3.16)
donde
an bn bn+1 cn n cn+1 bn an1 d2n
n = , n = , n = n = , (3.17)
an+1 an an+1 an1 an1 an d2n1

donde an, bn y cn son los coeficientes del desarrollo Pn (x) = an xn + bn xn1 + cn xn2 + , y dn
es la norma de los polinomios.

Generalmente se impone que P1(x) = 0 y P0(x) = 1, con lo que la sucesion de polinomios

ortogonales queda determinada de forma unica conocidas las sucesiones ( n)n , (n )n y (n )n.

Demostracion: Utilizando que la sucesion (Pn)n es una base del espacio de los polinomios,
tenemos que el polinomio xPn(x) de grado n + 1 se puede desarrollar en serie de Fourier:
n+1 Rb
X xPn(x)Pk(x)(x)dx
xPn(x) = cnk Pk (x), cnk = a 2
.
k=0
d n

Pero cnk = 0 para todo 0 k < n 1, de donde se concluye que la SPO satisface una relacion
de recurrencia a tres terminos de la forma

xPn(x) = n Pn+1 (x) + n Pn(x) + n Pn1 (x), (3.18)

donde los coeficientes n , n , y n se expresan mediante las formulas:

Rb Rb
xP n (x)P n+1 (x)(x)dx xPn(x)Pn(x)(x)dx
n = a 2
, n = a ,
dn+1 d2n
Rb (3.19)
xPn(x)Pn1 (x)(x)dx
n = a .
d2n1

17
 Calculemos una expresion general para los coeficientes n y n . Para ello necesitamos co-
nocer los coeficientes principales an y bn del polinomio Pn (Pn(x) = an xn + bn xn1 + ).
(n)
Para calcular an tenemos que, por un lado Pn (x) = n!an y por el otro, utilizando la formula
(n)
de Rodrigues (3.7) Pn (x) = Bn Ann , por tanto,
Y n1
Bn Ann
an = = Bn [ 0 + 21 (n + k 1) 00 ]. (3.20)
n!
k=0

Para calcular bn utilizaremos la formula de Rodrigues para la n 1-esima derivada de Pn:

(n1)
Pn (x) = Ann1 Bn n1 (x), de donde obtenemos la igualdad:
Pn(n1) (x) = n!an x + (n 1)!bn = Ann1 Bn n1 (x).
Luego,
nn1 (0)
bn = 0
an . (3.21)
n1
Observese que al ser un polinomio de grado uno, n0 6= 0 y por tanto bn esta definido para
cualquier n.

Usando las expresiones (3.17) as como (3.21) deducimos:

00
an Bn 0 + (n 1) 2
n = = 00 ,
Bn+1 ( 0 + (2n 1) 2 )( 0 + (2n) 2 )
00
an+1
nn1 (0) (n + 1)n (0)
n = 0
.
n1 n0
Es importante destacar que
(0) 00 0 0 (0)
n(n ) = n 0
. (3.22)
n1
Vamos a dar una expresion alternativa para n sin usar la norma de los polinomios4 . Para
ello igualamos los coeficientes de xn2 en la ecuacion diferencial (3.1). Ello nos conduce a la
expresion:
(n 1)[ (0) + (n 2) 0(0)]bn + n(n 1)(0)an
cn =
(n 2)[ 0 + (n 3) 2 ] + n
00

0
(3.23)
n(n 1)[n2 (0)n1 (0) + (0)n1 ]
= 0
an .
n1 (n n2 )
Luego nos resta sustituir la expresion anterior en la formula (3.17)
cn ncn+1 bn
n = n .
an1 an1
Como un corolario de (3.16) se obtiene la conocida formula de Christoffel-Darboux:
Teorema 3.4 Si (Pn)n es una sucesion de polinomios ortogonales que satisface la relacion de
recurrencia a tres terminos (3.16). Entonces se cumple que:

Xn
Pm (x)Pm (y) n Pn+1 (x)Pn(y) Pn+1 (y)Pn (x)
Kern (x, y) 2
= 2 , n 1. (3.24)
m=0
d m d n x y
4
En muchos casos el calculo de la norma es algo engorroso.

18
Demostracion: La demostracion de este resultado es muy sencilla. La idea es la siguiente: escri-
bamos la relacion (3.16) para las sucesiones de polinomios (Pn)n y (Pn)n:

xPk(x) = k Pk+1 (x) + k Pk (x) + k Pk1 (x),

yPk (y) = k Pk+1 (y) + k Pk (y) + k Pk1 (y),

donde k , k y k vienen dados por la formula (3.19). Multiplicando la primera ecuacion por
Pk (y), la segunda por Pk (x) y substrayendo ambas obtenemos:

Pk (x)Pk(y)
(x y) = Ak Ak1 ,
d2k

donde
k
Ak = [Pk+1 (x)Pk(y) Pk+1 (y)Pk (x)].
d2k
Sumando esta expresion desde k = 0 hasta k = n y teniendo en cuenta que el segundo miembro
es una suma telescopica obtenemos el resultado deseado.

Si hacemos tender y x, obtenemos la formula confluente de Christoffel-Darboux:

Xn
Pm2 (x) n 0
Kern (x, x) 2
= 2 [Pn+1 (x)Pn(x) Pn+1 (x)Pn0 (x)] n 1. (3.25)
m=0
d m d n

Proposicion 3.1 Los polinomios nucleos satisfacen la siguiente propiedad reproductora

Z b
p(x)Kern (x, y)dx = p(y), p(x) Pn . (3.26)
a

n
X
Demostracion: La demostracion es inmediata. Como p(x) Pn , entonces p(x) = ck Pk (x),
k=0
luego
Z bX
n Xn Xn X n Z Xn
Pm (x)Pm (y) ck Pm (y) b
ck Pk (x) 2
dx = 2
Pk (x)Pm(x)dx = ck Pk (y) = p(y).
a k=0 m=0
d m k=0 m=0
d m a k=0

Los polinomios nucleos son utiles en distintos contextos de la teora de polinomios ortogo-
nales. Ademas de tener la notable propiedad reproductora (3.26) son la solucion del siguiente
problema extremal.

Teorema 3.5 Sea una funcion no negativa en (a, b). Sea n el espacio de los polinomios
p(x) de grado a lo sumo n tales que p(x0) = 1, x (a, b). Entonces
Z b
1
mn p2 (x)(x)dx = ,
pn a Kern (x0, x0)

Kern(x, x0)
y se alcanza para pmin (x) = , donde Kern denota a los polinomios nucleos de los
Kern (x0, x0 )
correspondientes polinomios ortogonales respecto a .

19
Demostracion: Usando que los polinomios ortogonales son una base del espacio de los polinomios
Xn Z b X n
Pk (x) 2
tenemos p(x) = ck , de donde p (x)(x)dx = c2k . Por otro lado, usando la
dk a
k=0 k=0
X n
Pk (x0)
condicion p(x0) = 1 tenemos p(x0) = ck . Luego, usando la desigualdad de Cauchy-
k=0
d2k
Bunyakovsky tenemos
n
! n
! n
!
X X P k (x 0 ) 2 X
1 c2k 2
= c2k (Kern (x0, x0))1 ,
m=0
dk
k=0 k=0

y la igualdad solo tiene lugar si ck = Pk (x0), de donde se sigue que = (Kern(x0, x0 ))1 , y por
Z b
1
tanto mn p2 (x)(x)dx = mn c2k = y se alcanza para ck = Pk (x0) (Kern (x0, x0))1 .
pn a pn Kern (x0, x0 )

Las formulas anteriores tienen una serie de consecuencias interesantes.

Teorema 3.6 Supongamos que (x) es positiva en el interior del intervalo (a, b). Entonces:

1. Todos los ceros de Pn son reales, simples y estan localizados en (a, b).

2. Dos polinomios consecutivos Pn y Pn+1 no pueden tener ningun cero en comun.

3. Denotemos por xn,j a los ceros del polinomio Pn, (consideraremos en adelante que xn,1 <
xn,2 < < xn,n ). Entonces:

xn+1,j < xn,j < xn+1,j+1 ,

es decir, los ceros de Pn y Pn+1 entrelazan unos con otros.

Demostracion: Sin perdida de generalidad consideraremos el caso cuando los P n son monicos,
es decir, Pn(x) = xn + . Como
Z b
Pn(x) 1(x)dx = 0,
a

entonces indica que Pn cambia de signo dentro de (a, b). Denotemos por x1, ..., xk los ceros de
Pn de multiplicidad impar que estan dentro del intervalo (a, b) y sea p el polinomio p(x) =
(x x1) (x xk ). Es evidente que p(x)Pn(x) > 0, en (a, b). Luego
Z b
p(x)Pn(x)(x)dx > 0,
a

y por tanto, grado p = k n. Pero k es el numero de ceros de Pn por lo que k n. Ello

implica que k = n y por tanto todos los ceros de Pn son simples, reales y estan en el interior
de (a, b). Luego, 1 queda demostrado. Para demostrar 2 utilizaremos la relacion de recurrencia
a tres terminos. Supongamos que a es un cero de Pn y Pn+1 . Entonces de (3.16) se deduce que
a tambien es un cero de Pn1 . Continuando este proceso obtenemos que a es un cero de P0 = 1
lo cual es una contradiccion. Finalmente, demostremos la propiedad de entrelazamiento de los
ceros de Pn y Pn+1 . Notese que de la formula confluente de Christoffel-Darboux (3.25) evaluada
en xn+1,j se obtiene que:
0
Pn+1 (xn+1,j )Pn(xn+1,j ) > 0.

20
Al ser xn+1,j y xn+1,j+1 dos ceros consecutivos del polinomio Pn+1 , por el teorema de Rolle
0
Pn+1 se anula al menos una vez en el interior del intervalo Ij = (xn+1,j , xn+1,j+1 ). Ahora bien,
0 0
al ser los ceros de Pn+1 simples, entonces los signos de Pn+1 (xn+1,j ) y Pn+1 (xn+1,j+1 ) son no
nulos y distintos por lo que de la desigualdad obtenida se deduce que los signos de P n(xn+1,j ) y
Pn(xn+1,j+1 ) tambien son no nulos y distintos entre s. Luego, el teorema de Bolzano nos asegura
que Pn se anula al menos una vez en el intervalo Ij = (xn+1,j , xn+1,j+1 ). Pero hay precisamente
n intervalos Ik y Pn solo tiene n ceros, entonces existe un unico cero de Pn entre dos ceros
consecutivos de Pn+1 .

3.4. Algunas consecuencias de la formula de Rodrigues.

Pasemos ahora a estudiar algunas de las consecuencias de la formula de Rodrigues.

1. Si calculamos el polinomio de grado 1 utilizando la formula de Rodrigues (3.7) obtenemos:

B1
P1(x) = [(x)(x)]0 = B1 (x),
(x)

y por tanto es un polinomio de grado exactamente uno.

2. Tomemos ahora m = 1 en la formula (3.7). Realizando unos calculos directos obtenemos:

An1 Bn dn1 n Bn dn1

Pn0 (x) = [ n (x)] = [1 (x)].
1(x) dxn1 1 (x) dxn1 n1
Luego
nBn
Pn0 (x) = Pn1 (x), (3.27)
Bn1
donde Pn1 denota al polinomio ortogonal respecto a la funcion peso 1 (x) = (x)(x).

3. Si escribimos la formula (3.7) para el polinomio de grado n+1, utilizando que [(x) n(x)]0
= n (x)n(x) concluimos

Bn+1 dn+1 n+1 Bn+1 dn

Pn+1 (x) = [ (x)(x)] = [n (x)n(x)] =
(x) dxn+1 (x) dxn
 
Bn+1 dnn(x) 0 d
n1
n (x)
= n (x) + nn .
(x) dxn dxn1

n Bn dn1 n(x)
Utilizando ahora que Pn0 (x)
= , obtenemos la formula de diferencia-
(x)(x) dxn1
cion:  
0 n Bn
(x)Pn(x) = n (x)Pn(x) Pn+1 (x) . (3.28)
nn0 Bn+1

4. Si en la formula anterior (3.28) desarrollamos n y utilizamos la relacion de recurren-

cia (3.16) para descomponer los sumandos de la forma xPn obtenemos la relacion de
estructura
(x)Pn0 (x) = n Pn+1 (x) + n Pn (x) + n Pn1 (x), n 0, (3.29)
donde
 
n 0 Bn n n n
n = n n , n = [n n0 + n (0)] , n = , (3.30)
nn0 Bn+1 nn0 n

21
 o, equivalentemente, usando las expresiones explcitas para los coeficientes de la relacion
de recurrencia obtenemos
00 n n n n
n = n n , n = 0 0
[ (0) 00 0 0 (0)] = n(n ), n = . (3.31)
2 nn1 nn0 n

P0 (x)
5. Sea Qn (x) n+1 n+1
. Entonces los polinomios ortogonales monicos Pn(x) = xn + ,
soluciones de la ecuacion (3.1), satisfacen la siguiente relacion de estructura:

Pn(x) = Qn + n Qn1 + nQn2 . (3.32)

En efecto, como (Pn)n es una familia ortogonal tenemos

n
X Xn
cnm 0
Pn (x) = cnm Qm (x) = P (x),
m=0 m=0
m + 1 m1

donde
Z b
1 0
cnm = Pn (x)Pm+1 (x) (x)(x) dx = 0, m n 3,
(m + 1)(d0m )2 a | {z }
1 (x)

pues grado 2. Aqu d0m denota la norma del polinomio Pm1

0
.
Para encontrar los valores de n y n calculamos las integrales:
Z b Z b
Pn (x)Qn1(x)(x)(x)dx Pn(x)Qn2 (x)(x)(x)dx
a a
n = Z b , n = Z b .
Qn1 (x)(x)(x)dx Qn2 (x)(x)(x)dx
a a

Comencemos por el denominador de la primera:

Z b Z b Z
2 1 0 0 n b 0 n d2n1
Qn1 (x)(x)(x)dx = 2 P [(x)Pn(x)](x)dx = 2 P Pn1 (x)(x)dx = ,
a n a n n a n n

donde hemos usado la formula de estructura (3.29) as como que los polinomios son moni-
cos.

Analogamente, para el numerador obtenemos

Z b
n d2n
Pn(x)[Pn0 (x)(x)](x)dx = .
a n
Z b
1
Finalmente, para la integral Pn(x)Qn2 (x)(x)(x)dx obtenemos d2 .
n1 n1 n
Combi-
a
nando todas estas expresiones junto a las expresiones (3.30) tenemos:

nn (n 1)n1 n
n = , n = . (3.33)
n n1

22
3.5. Representacion integral y funcion generatriz.
Supongamos que n(z) = (z) n(z) es una funcion analtica en el interior y la frontera
del recinto limitado por cierta curva cerrada C del plano complejo que rodea al punto z = x.
Entonces, utilizando la formula integral de Cauchy obtenemos:
Z
1 n (z)
n (x) = dz, (3.34)
2i C z x

de donde se deduce la representacion integral

Z Z
Bn dn n (z) n!Bn n (z)
Pn(x) = n
dz = dz. (3.35)
2i (x) d z C z x 2i (x) C (z x)n+1

Utilizando la representacion anterior, Nikiforov y Uvarov desarrollaron un metodo unificado

para tratar los polinomios clasicos y diversas funciones especiales. Mas detalles se pueden en-
contrar en [15].

Como aplicacion de la formula integral encontremos las funciones generatrices de los polino-
mios clasicos. El objetivo es, dada una sucesion numerica (An)n y una sucesion de polinomios
(Pn)n encontrar una funcion (x, t) tal que,

X
(x, t) = An Pn (x)tn. (3.36)
n=0

Obviamente la serie anterior puede no converger prefijado un valor cualquiera del parametro
t, por ello asumiremos que t es lo suficientemente pequeno para que la serie converja en una
region de las x lo suficientemente amplia.

Usando (3.35) tenemos

Z  n
1 (z) X (z)t
(x, t) = (Bnn!An ) dz.
2i (x) C z x n=0 zx

Escojamos Bn de forma que Bn n!An = 1 para todo n. En esas condiciones, usando que para
|(z)t| < |z x| la serie
X  n
(z)t 1
= ,
zx (z)t
n=0 1
zx
tenemos Z
1 (z)
(x, t) = dz.
2i (x) C z x (z)t
Ahora bien, es un polinomio de grado a lo sumo 2, luego el integrando tiene, en general, dos
ceros. Para t 0 un cero es obviamente z = x, luego el otro debera tender a infinito asi que
escogiendo t suficientemente pequeno y el contorno lo suficiente cercano a x tendremos usando
el teorema de los residuos:
1 ()
(x, t) = ,
(x) 1 0 ()t
donde es e unico cero cercano a z de la ecuacion z x (z)t.

23
3.6. Los teoremas de caracterizacion
En este apartado vamos a profundizar en uno de los aspectos importantes de la teora
clasica de polinomios ortogonales: ortogonales: Los teoremas de caracterizacion. Comenzaremos
dando la definicion de polinomios ortogonales clasicos:

Definicion 3.1 Sea la sucesion de polinomios ortogonales (Pn)n. Se dice que (Pn)n es una
sucesion de polinomios ortogonales clasica si la sucesion de sus derivadas (Pn0 )n es ortogonal.

Esta definicion se debe a Sonin que fue ademas el primero en en probar en 1887 que las unicas
familias que satisfacan dicha dicha propiedad eran los polinomios de Jacobi, Laguerre y Hermite
(y mas adelante, ya en el siglo XX, los polinomios de Bessel) aunque redescubierta por Hahn
en 1935. Notese que la definicion es aparentemente ambigua pues no se dice nada de la medida
de ortogonalidad de los polinomios ni de sus derivadas, no obstante en ella esta contenida toda
la informacon necesaria para encontrar a dichas familias. En este apartado solo consideraremos
el caso cuando la medida es positiva y esta soportada en el eje real, es decir excluiremos el caso
Bessel. Ademas por sencillez vamos a dar una definicion equivalente (como probaremos mas
adelante).

Definicion 3.2 Sea y dos polinomios de grado a lo sumo 2 y exactamente 1, respectiva-

mente, con ceros reales y distintos y sea una funcion tal que
Z b 
 
0
[(x)(x)] = (x)(x),  x (x)dx < +,
k
(3.37)

a

donde (a, b) es cierto intervalo de la recta real donde > 0. Diremos que una familia de
polinomios ortogonales (Pn)n es clasica si es ortogonal respecto a la funcion solucion de la
ecuacion (3.37).

Nuestra nueva definicion es ahora mas concreta pues nos esta diciendo cual es la medida de
ortogonalidad. Ante todo notemos que hemos impuesto que (x) = Ax + B sea de grado uno
(A 6= 0), luego tenemos solo tres grados de libertad:
ba a+b
1. (x) = (x a)(b x), x [a, b] que haciendo el cambio de variables x = 2
t + 2
podemos escribir en el intervalo [1, 1], (x) = 1 t2.

2. (x) = (x a), x [a, ) que haciendo el cambio lineal t = xa

A
podemos escribir en
el intervalo [0, ), (x) = x y (x) = x + B.

3. (x) = 1, x R.

Caso 1. En este caso tenemos

Z

log() = dx, (x) = Ax + B, (x) = 1 x2.

Ahora bien,
Z Z
Ax + B A+B AB
dx = dx = log(1 x) log(1 + x) + C,
(1 x)(1 + x) 2 2
por tanto
A+B AB A+B AB
(1 x2)(x) = (1 x) 2 (1 + x) 2 = (x) = (1 x) 2
1
(1 + x) 2
1
.

24
Sea = A+B
2
1 y = AB2
1, luego A = ( + + 2), B = , por tanto para
nuestra primera familia tendremos

(x) = 1 x2, (x) = ( + + 2)x + ( ),

(3.38)
(x) = (1 x) (1 + x) , , > 1, I = [1, 1].

La restricion , > 12 se debe a la imposicion de que los momentos de la fucion peso son
R1
finitos, es decir que para todo k 0 k = 1 xk (1 x)(1 + x) dx < +. Notese ademas que
(x)(x) = 0 para x = a y x = b.

Caso 2. En este caso tenemos5

Z Z
x + B
dx = dx = x+B log(x)+C, = x(x) = ex xB = (x) = ex xB1 .
x
Sea = B 1, luego

(x) = x, (x) = x + + 1, (x) = x ex , > 1, I = [0, ). (3.39)

La restricion > 1 se debe a la imposicion

R k dexque los momentos de la fucion peso son finitos,
es decir que para todo k 0 k = 0 x x e dx < +. Notese ademas que (0)(0) = 0 y
lm xk (x)(x) = 0.
x

Caso 3. Este caso es el mas sencillo y se puede reducir6 al caso (x) = 1, (x) = 2x
Z Z
2
dx = 2xdx = x2 + C, = (x) = ex .

Luego
2
(x) = 1, (x) = 2x, (x) = ex , I = R. (3.40)
Notese ademas que (0)(0) = 0 lm xk (x)(x) = 0.
x

Antes de pasar a considerar las distintas consecuencias de la definicion anterior vamos a

probar que incluso sin resolver la ecuacion de Pearson (3.37) se tiene que su solucion es tal que

lm xk (x)(x) = lm xk (x)(x) = 0. (3.41)

xa xb

Para el caso 1 es evidente al ser (1) = (1) = 0. El segundo caso es evidente en x = 0

pero no para x . En este caso hacemos
Z t t Z t
k 0 k 
[x (x)(x)] dx = x (x)(x) = [kxk1 (x)(x) + xk (x)(x)]dx,
0 0 0

donde hemos derivado el integrando y usado la ecuacion de Pearson. Como sabemos que (0) =
0 y que los momentos estan acotados, tenemos que existe el lmite de la ultima integral y por
tanto el lmite lmxb xk (x)(x) = Ak , |Ak | < +. Ahora bien

Ak+1 = lm xk+1 (x)(x) = lm xAk ,

xb xb

5
Notese que en el caso general (x) = Ax + B obtendramos (x) = eAx xB1 de donde la restriccion de que
los momentos sean finitos implica necesariamente A < 0. Lo mismo ocurre en el caso 3 cuando = 1.
6
Nuevamente A < 0 viene impuesto por ser los momentos finitos y obviamente B = 0 siempre se puede hacer
considerando el correspondiente cambio de variables.

25
de donde deducimos que Ak = 0.

El caso 3, (x) = 1 se resuelve analogamente.

Los polinomios ortogonales definidos mediante (3.38), (3.39) y (3.40) se denominan polino-
mios de Jacobi, Laguerre y Hermite, respectivamente.

Proposicion 3.2 Si (Pn)n es una familia clasica segun la defincion 3.2 entonces la sucesion
(Pn0 )n es una familia de polinomios ortogonales respecto a (x)(x).

Demostracion: Como la familia (Pn)n es ortogonal tenemos para todo k < n

Z b Z b
k1
0= Pn(x)x (x)(x)dx = Pn (x)xk1[(x)(x)]0dx
a a
b Z b
k1 
= Pn(x)x (x)(x) [Pn (x)xk1]0 (x)(x)dx,
a a

donde hemos usado grado = 1, la ecuacion (3.37) e integrado por partes. As, para todo k < n
Z b Z b
0= Pn0 (x)xk1[(x)(x)]dx + (k 1) Pn (x)[xk2(x)](x)dx,
a a

donde hemos usado la condicion de contorno (3.41). Usando nuevamente la ortogonalidad de

(Pn)n tenemos que la ultima integral se anula y por tanto tenemos que para todo k < n
Z b
Pn0 (x)xk1[(x)(x)]dx = 0,
a

luego (Pn0 )n es una sucesion de polinomios ortogonales respecto a 1 (x) = (x)(x).

Corolario 3.1 Si (Pn)n es clasica entonces (Pn0 )n tambien es clasica.

Demostracion: En efecto, por la proposicion anterior (Pn0 )n es ortogonal respecto a 1 (x) =

(x)(x). Ademas

[(x)1(x)]0 = 0 (x)1(x) + (x)[(x)(x)]0 = [ (x) + 0(x)]1(x) = 1(x)1(x),

con grado 1 = 1.

(k)
Corolario 3.2 Si (Pn)n es clasica entonces (Pn )n tambien es clasica y ademas es ortogonal
respecto a la funcion k (x) = k (x)(x) que es solucion de la ecuacion de Pearson

[(x)k (x)]0 = k (x)k (x), k (x) = (x) + k 0 (x).

La demostracion de este resultado es inmediata del corolario anterior usando induccion.

Proposicion 3.3 Si (Pn)n es una familia clasica entonces (Pn)n es solucion de la ecuacion
diferencial lineal de segundo orden
 
00 0 0 00
(x)Pn (x) + (x)Pn(x) + nPn(x) = 0, n = n + (n 1) . (3.42)
2

26
Demostracion: Como (Pn)n es clasica entonces sus derivadas son tambien clasicas y ademas
para todo k < n usando (3.41)
Z b Z b
0 k 0
0= Pn(x)(x ) [(x)(x)]dx = xm [Pn0 (x)(x)(x)]0dx
Za b a

= xm [(x)Pn00 (x) + (x)Pn0 (x)](x)dx.

a

Luego (x)Pn00 (x) + (x)Pn0 (x) = n Pn, es decir (x)Pn00 (x) + (x)Pn0 (x) es, salvo constante
multiplicativa, el polinomio Pn(x). Finalmente, para encontrar n igualamos las potencias xn
en (3.42).
(k)
Corolario 3.3 Si (Pn)n es una familia clasica entonces (Pn )n es solucion de la ecuacion
diferencial lineal de segundo orden

(x)[Pn(k)(x)]00 + k (x)[Pn(k)(x)]0 + nk Pn(k) (x) = 0,

(3.43)
nk = n + k 0 + 12 k(k 1) 00 , k (x) = (x) + k 0 (x).

La demostracion nuevamente se basa en la induccion y las proposiciones 3.2 y 3.3.

Una consecuencia inmediata de la ecuacion diferencial (3.43) es la formula de Rodrigues
(3.12)
B n dn n
Pn(x) = [ (x)(x)], n = 0, 1, 2, . . . , (3.44)
(x) dxn
donde (x) es solucion de la ecuacion (3.37).

Una consecuencia inmediata de la formula de Rodrigues es la ecuacion de Pearson (ver

apartado 3.4. tal y como vimos all,
B1
P1(x) = [(x)(x)]0, = [(x)(x)]0 = (x) B1P1(x),
(x) | {z }
(x)

y por tanto es un polinomio de grado exactamente uno. Luego, las soluciones de la ecuacion
diferencial (3.42) que se expresan mediante la forma (3.44) son ortogonales respecto a una
funcion (x) es solucion de la ecuacion (3.37). Hemos probado la siguiente proposicion
Proposicion 3.4 Si una familia de polinomios ortogonales (Pn)n se expresa mediante la formu-
la de Rodrigues (3.44), entonces (Pn)n es clasica.
El conjunto de todas las proposiciones y corolarios de este apartado se puede resumir en el
siguiente Teorema de caracterizacion.
Teorema 3.7 Los siguientes enunciados son equivalentes:
1. (Pn)n es una familia clasica segun la definicion 3.2

2. (Pn)n es clasica y la sucesion de sus derivadas (Pn0 )n tambien es clasica

(k)
3. (Pn)n es ortogonal y la sucesion de sus kesimas derivadas (Pn )n tambien es clasica

4. (Pn)n es solucion de la ecuacion diferencial de tipo hipergeometrico (x)Pn00(x)+ (x)Pn0 (x)+

nPn (x) = 0
B n dn n
5. (Pn)n se expresa mediante la formula de Rodrigues Pn (x) = [ (x)(x)].
(x) dxn

27
3.7. Los Polinomios de Hermite, Laguerre y Jacobi.
3.7.1. Parametros Principales.
Comenzaremos escribiendo los principales parametros de las sucesiones de polinomios
ortogonales monicos clasicos (SPOMC). Para mas detalles ver [6, 15]. Los polinomios ortogo-
nales en la recta real, que son solucion de una ecuacion del tipo (3.1), se pueden clasificar en
tres grandes familias en funcion del grado del polinomio ( siempre es un polinomio de grado
1) [15]. Cuando es un polinomio de grado cero los polinomios correspondientes se denomi-
nan Polinomios de Hermite Hn (x), cuando es de grado 1, Polinomios de Laguerre Ln (x) y
cuando es de grado 2, Polinomios de Jacobi Pn, (x), respectivamente. En las tablas 2 y 3
estan representados los principales parametros de dichas familias, en las cuales (a) n denota al
smbolo de Pochhammer

(a)0 = 1, (a)k = a(a + 1)(a + 2) (a + k 1), k = 1, 2, 3, ... . (3.45)

Para los polinomios se han escogido las llamadas formas canonicas. El caso de los polinomios
de Bessel [12, 8] no lo vamos a considerar por no ser estos un caso definido positivo.

Cuadro 2: Clasificacion de las SPO Clasicas.

Pn(x) Hn(x) Ln (x) Pn, (x)

(x) 1 x 1 x2

(x) 2x x + + 1 ( + + 2)x +

n 2n n n(n + + + 1)
2
(x) ex x ex (1 x) (1 + x)
> 1 , > 1
2
n (x) ex xn+ ex (1 x)n+ (1 + x)n+

3.7.2. Representacion hipergeometrica.

De la formula de Rodrigues (3.7) se puede obtener la representacion de los polinomios
de Hermite, Laguerre y Jacobi en terminos de la funcion hipergeometrica de Gauss 2 F1 [15]
definida en el caso mas general de forma:
  
a1, a2 , ..., ap  X (a1)k (a2)k (ap)k xk
F x = . (3.46)
p q
b1 , b2 , ..., bq  (b1)k (b2)k (bq )k k!
k=0

De esta manera encontramos que:

  
m  2
m
(1) ( 21 )m 1 F1 x , n = 2m

1 
2
Hn(x) =    , (3.47)



m 3 m  2
(1) ( 2 )m x 1 F1 3 x , n = 2m + 1
2

28
   
(1)n (n + + 1) n 
Ln (x) = 1 F1 x , (3.48)
( + 1) +1 
  
2n ( + 1)n n, n + + + 1  1 x
Pn, (x) = 2 F1  2 . (3.49)
(n + + + 1)n +1

3.7.3. Funciones generatrices.

tx
X (1)n2n X (1)n e 1t
n t2 2tx
Hn(x)t = e , Ln (x)tn = , (3.50)
n=0
n! n=0
n! (1 t)+1

X (1)n ( + + 1)n 2+
Pn, (x)tn = , (3.51)
n=0
n! R(1 2t + R) (1 + 2t + R)
p
con R = 1 + 4t(t + x).

Cuadro 3: Parametros de las SPO Monicas (an = 1).

Pn (x) Hn (x) L
n (x) Pn, (x)

(1)n (1)n
Bn (1)n
2n (n + + + 1)n

n( )
bn 0 n(n + )
2n + +

n! 2++2n+1 n!(n + + 1)(n + + 1)
d2n (n + + 1)n!
2n (n + + + 1)(2n + + + 1)(n + + + 1)2n

n 1 1 1
2
2
n 0 2n + + 1
(2n + + )(2n + 2 + + )
n 4n(n + )(n + )(n + + )
n n(n + )
2 (2n + + 1)(2n + + )2 (2n + + + 1)

n 0 0 n
2( )n(n + + + 1)
n 0 n
(2n + + )(2n + 2 + + )
4n(n + )(n + )(n + + )(n + + + 1)
n n n(n + )
(2n + + 1)(2n + + )2 (2n + + + 1)

2n( )
n 0 n
(2n + + )(2n + 2 + + )
4n(n 1)(n + )(n + )
n 0 0
(2n + + 1)(2n + + )2 (2n + + + 1)

29
Casos particulares.
(0,0)
1. Los polinomios de Legendre Pn(x) = Pn (x).

2. Los polinomios de Chebyshev de primera especie Tn(x):

( 21 , 12 ) 1
Tn (x) = Pn (x) = cos[n arccos (x)].
2n1

3. Los polinomios de Chebyshev de segunda especie Un(x):

( 1 , 12 ) 1 sen[(n + 1) arccos (x)]

Un (x) = Pn 2 (x) = .
2n sen[ arccos (x)]

4. Los polinomios de Gegenbauer Gn (x):

( 21 , 21 )
Gn (x) = Pn (x), > 12 .

3.7.4. Otras caractersticas.

Como consecuencia de las formulas anteriores podemos obtener los valores de los polino-
mios en los extremos del intervalo de ortogonalidad. Estos valores pueden ser obtenidos tambien
a partir de la formula de Rodrigues (3.7) aplicando la regla de Leibniz para calcular la n-esima
derivada de un producto de funciones.

(1)m (2m)!
, n = 2m (1)n(n + + 1)
Hn (0) = 22m m! , Ln (0) = ,

( + 1)
0, n = 2m + 1 (3.52)

2n ( + 1)n (1)n 2n ( + 1)n

Pn, (1) = , Pn, (1) = .
(n + + + 1)n (n + + + 1)n
Utilizando la formula (3.27) encontramos las ecuaciones ( = 1, 2, 3, ..., n = 0, 1, 2, ...):
n!
(Hn(x))() = Hn (x), (3.53)
(n )!
n!
(Ln (x))() = L+ (x), (3.54)
(n )! n
n!
(Pn, (x))() = P +,+ (x), (3.55)
(n )! n
donde (Pn(x))() denota la esima derivada de Pn(x).

Debido a que las funciones peso de los polinomios de Hermite y Gegenbauer son funciones
pares, podemos aplicar los resultados obtenidos en el apartado 2.7 que nos permiten obtener
las siguientes relaciones:
1 1
H2m (x) = Lm 2 (x2), H2m+1 (x) = xLm
2
(x2) ,

( 21 , 21 ) 1 ( 21 , 12 ) 2
G2m (x) = P2m (x) = Pm (2x 1), (3.56)
2m
( 1 , 21 ) 1 ( 21 , 12 )
G2m+1 (x) = P2m+12 (x) = m
x P m (2x2 1).
2

30
Ademas, de la formula de Rodrigues se puede encontrar la siguiente propiedad de simetra para
los polinomios de Jacobi:
Pn, (x) = (1)nPn, (x). (3.57)
Como consecuencia de la representacion hipergeometrica para los polinomios de Jacobi se de-
ducen las siguientes expresiones:

,+1 (2n + + )(1 x) d Pn, (2n + + ) ,

Pn1 (x) = (x) + Pn (x), (3.58)
2n( + n) dx 2( + n)

+1, (2n + + )(x + 1) d Pn, (2n + + ) ,

Pn1 (x) = (x) Pn (x). (3.59)
2n( + n) dx 2( + n)

3.7.5. Los polinomios nucleos.

En esta seccion vamos a calcular el valor de los polinomios nucleos Kern1 (x, y), definidos
por la expresion
n1
X Pm (x)Pm (y)
Kern1 (x, y) = , (3.60)
m=0
d2m
evaluados en ciertos valores particulares de x e y. La demostracion de estos resultados es in-
mediata utilizando la formula de Christoffel-Darboux (3.24) los valores en los extremos (3.52)
y las formulas de diferenciacion (3.28).

Nucleos de los polinomios de Hermite:

(1)m1 1 (1)m 1
KerH
2m1 (x, 0) = Lm1
2
(x2), KerH
2m (x, 0) = Lm
2
(x2), (3.61)
(m 1)! (m)!

2 (m + 21 ) 2 (m + 32 )
KerH
2m1 (0, 0) = , KerH
2m (0, 0) = . (3.62)
(m) (m + 1)
Nucleos de los polinomios de Laguerre:

(1)n1
KerLn1 (x, 0) = (Ln )0(x), (3.63)
( + 1)n!
n1
X ( + 1)m ( + 1)n
KerLn1 (0, 0) = = . (3.64)
m=0
( + 1)m! ( + 2)(n 1)!
Nucleos de los polinomios de Jacobi:

KerJ,, , d 1,
n1 (x, 1) = n dx Pn
,+1
(x) = nn, Pn1 (x), (3.65)

KerJ,,
n1 (x, 1) = (1)
n+1 , d +1,
n dx Pn,1 (x) = n(1)n+1 n, Pn1 (x), (3.66)
donde por n, y n, denotaremos las cantidades:

(1)n1 (2n + + ) (1)n1 (2n + + )

n, = , n, . (3.67)
2++n n!( + n)( + 1) 2++n n!( + 1)( + n)

31
 KerJ,, , ,+1
n1 (1, 1) = n nPn1 (1) =

n1
X ( + m + 1)( + + m + 1)(2m + + + 1)
= =
2++1 k!( + 1)2( + m + 1) (3.68)
m=0

( + n + 1)( + + n + 1)
= ,
2++1 (n 1)!( + 1)( + 2)( + n)
n1
X (1)m ( + + m + 1)(2m + + + 1)
KerJ,,
n1 (1, 1) = =
m=0
2++1 m!( + 1)( + 1)
(3.69)
n1
(1) ( + + n + 1)
= .
2++1 (n 1)!( + 1)( + 1)

Utilizando la relacion de simetra (3.57) para los polinomios de Jacobi obtenemos:

KerJ,, J,,
n1 (1, 1) = Kern1 (1, 1).

Si utilizamos las relaciones (3.58)-(3.59) podemos encontrar para los nucleos otras formulas
equivalentes: " #
,
dPn (x)
KerJ,, ,
n1 (x, 1) = n (1 x) + n Pn, (x) , (3.70)
dx
" #
dPn, (x)
KerJ,,
n1 (x, 1) = (1)n+1 n, (1 + x) n Pn, (x) , (3.71)
dx

donde por n, y n, denotaremos las cantidades:

(1)n(2n + + + 1)
n, = ,
2++n+1 n!( + n + 1)( + 1)
(3.72)
(1)n(2n + + + 1)
n, = ++n+1 .
2 n!( + 1)( + n + 1)

32
4. Los polinomios ortogonales clasicos de variable dis-
creta
4.1. La ecuacion en diferencias de tipo hipergeometrico
En esta seccion vamos a estudiar los polinomios ortogonales clasicos de variable discreta
definidos sobre el eje real. En el apartado anterior hemos considerado las soluciones polinomicas
de la ecuacion diferencial hipergeometrica:
(x)y 00 + (x)y 0 + y = 0, (4.1)
donde y son polinomios de grados a lo mas 2 y 1, respectivamente. Supongamos que que-
remos resolver numericamente la ecuacion (4.1). La manera mas sencilla consiste en discretizar
(4.1) en una red uniforme. Para ello dividimos el intervalo [a, b] donde queremos encontrar la
solucion y aproximamos las derivadas primera y segunda mediante las expresiones
 
0 1 y(x + h) y(x) y(x) y(x h)
y (x) + ,
2 h h
 
00 1 y(x + h) y(x) y(x) y(x h)
y (x) ,
h h h
Esquematicamente estamos usando una red equidistante como la que se muestra en la figura 1.
Si sustituimos las expresiones anteriores para las derivadas en (4.1) obtenemos una ecuacion en

x x x x x x x

a

6 o
S
S b
x-h x x+h

Figura 1: Discretizacion en una red uniforme

diferencias de la forma
 
1 y(x + h) y(x) y(x) y(x h)

e(x) +
h h h
  (4.2)
e(x) y(x + h) y(x) y(x) y(x h)
+ + + y(x) = 0.
2 h h
Es sencillo comprobar que (4.2) aproxima la ecuacion original (4.1) en una red uniforme con
paso x = h hasta un orden de O(h2 ).

Con un cambio lineal de las variables x hx, y de las funciones y(hx) y(x), (hx)h 2
(x), (hx)h1 (x), la ecuacion (4.2) puede ser reescrita en terminos de los operadores en
diferencias finitas hacia delante y atras con paso x = h = 1. O sea,
(x)y(x) + (x)y(x) + y(x) = 0, (4.3)
donde (x) = (x) 12 (x), (x) = (x) y y son los operadores lineales definidos por:
f (x) = f (x + 1) f (x), f (x) = f (x) f (x 1).
que denominaremos operadores en diferencias finitas hacia delante y hacia atras, respectiva-
mente.

En adelante vamos a utilizar algunas propiedades elementales de ambos operadores que

enunciaremos en el siguiente lema cuya demostracion omitiremos.

33
Lema 4.1 Los operadores en diferencias finitas hacia delante y hacia atras operadores cumplen
las siguientes propiedades:
1. f (x) = f (x + 1).

2. f (x) = f (x).

3. [f (x)g(x)] = f (x)g(x) + g(x + 1)f (x).

4. Los analogos de la formula de Leibniz

Xn  
n n
[f (x)g(x)] = k [f (x)]nk [g(x k)],
k=0
k

X n  
n n
[f (x)g(x)] = k [f (x + n k)]nk [g(x)],
k=0
k
 
n

n n!
siendo k los coeficientes binomiales definidos por = .
k k!(n k)!
5. Se cumplen las formulas
n
X  
n n k
[f (x)] = (1) f (x k),
k=0
k
y
n
X  
n kn
[f (x)] = (1) f (x + n k),
k
k=0

6. Las formulas de suma por partes, donde xi+1 = xi + 1:

b1
X b Xb1

f (xi)g(xi) = f (xi)g(xi) g(xi + 1)f (xi) ,
a
xi =a xi =a

b1
X b1 Xb1

f (xi)g(xi) = f (xi)g(xi) g(xi 1)f (xi).
a1
xi =a xi =a

7. Si Pn es un polinomio de grado n entonces Pn(x) y Pn (x) son polinomios de grado

dn (n)
n 1 y por tanto n Pn (x) = n Pn (x) = dx n Pn (x) = Pn = const.
A la ecuacion (4.3) se le denomina ecuacion en diferencias de tipo hipergeometrico y las
soluciones y de la misma cumplen con la propiedad de que sus k-esimas diferencias finitas,
k y yk , satisfacen una ecuacion del mismo tipo. Dicha propiedad se conoce como propiedad
de hipergeometricidad.

Para comprobar esta afirmacion hacemos actuar el operador , k veces consecutivas sobre
(4.3) encontramos que yk satisface una ecuacion de la forma (0 = ):

(x)yk + k (x)yk + k yk = 0,
(4.4)
k (x) = k1 (x + 1) + (x), k = k1 + k1 (x).

De hecho, se puede comprobar que cualquier solucion de (4.4) es la k-esima diferencia k y de

una solucion y de (4.3). La demostracion se basa en usar exactamente la misma idea que en

34
caso anterior y la omitiremos (ver e.g. [15, Captulo II, 2.1]).

A partir de (4.4) mediante un calculo sencillo se tiene

k (x) = (x + k) + (x + k) (x), (4.5)

k = + k (x) + 21 k(k 1)2 (x), (4.6)

En efecto, para demostrar (4.5) basta escribir k (x) = k1 (x + 1) + (x) de la forma k (x) +
(x) = k1 (x + 1) + (x + 1). Si continuamos el proceso de manera recurrente obtenemos el
resultado deseado. Notese ademas que de la expresion (4.5) se deduce que k es un polinomio a
lo mas de grado 1 en s. Para deducir (4.6) basta comprobar que k (x) = (x) + k2 (x),
lo cual es evidente a partir de k (x) = k1 (x + 1) + (x) si aplicamos a ambos miembros
y utilizamos la propiedad de que k (x) y 2 (x) son independientes de x. Es decir:

k (x) = k1 (x) + 2 (x) = = (x) + k2 (x),

y por tanto (4.4) nos conduce a la expresion:

m m1 = (x) + (m 1)2 (x),

de la cual, sumando desde m = 1 hasta k, obtenemos (4.6).

En adelante usaremos la siguiente notacion, muy util, para , k y

00 2
(x) = x + 0(0)x + (0), (x) = 0x + (0), k (x) = k0 x + k (0). (4.7)
2
Usando (4.5), deducimos que

00 2
k0 = 0 + 00 k, k (0) = (0) + 0k + 0 (0)k + k . (4.8)
2

4.2. La ecuacion autoadjunta y sus consecuencias

La propiedad de hipergeometricidad, al igual que en el caso continuo, es de gran importan-
cia pues nos permite encontrar explcitamente una formula para los polinomios que satisfacen
la ecuacion en diferencias (4.3). Para ello, al igual que antes, escribimos (4.3) y (4.4) en su
forma simetrica o autoconjugada:

[(x)(x)y] + (x)y = 0,
(4.9)
[(x)k (x)yk ] + k k (x)yk = 0,

donde y k son funciones de simetrizacion que satisfacen las ecuaciones en diferencias de

primer orden de tipo Pearson:

[(x)(x)] = (x)(x), [(x)k (x)] = k (x)k (x). (4.10)

Si es conocida, utilizando las ecuaciones anteriores obtenemos para k la expresion:

k
Y
k (x) = (x + k) (x + m). (4.11)
m=1

35
En efecto, la ecuacion [(x)k (x)] = k (x)k (x) la podemos reescribir, usando (4.4), de la
forma:
(x + 1)k (x + 1)
= k (x) + (x)=k1 (x + 1) + (x + 1) =
k (x)

(x + 2)k1 (x + 2)
= .
k1 (x + 1)
k (x)
O sea, es una funcion periodica de perodo 1 que, sin perdida de genera-
(x + 1)k1 (x + 1)
lidad, podemos tomar igual a 1. Ello nos lleva a la relacion k (x) = (x + 1)k1 (x + 1), de
donde por induccion se sigue (4.11).

Teorema 4.1 Las soluciones polinomicas de la ecuacion (4.4) se expresan mediante la formula
de Rodrigues
Ank Bn nk
k Pn(x) = [n (x)], (4.12)
k (x)
donde Bn = Pn(n) /Ann y7
k1
Y
n!
Ank = Ak (n) = [ 0 + 21 (n + m 1) 00 ]. (4.13)
(n k)! m=0

Ademas, el autovalor m de (4.4) se expresa mediante la formula

 
(n + k 1) 2
nk = k (n) = (n k) (x) + (x) . (4.14)
2

Demostracion: Para encontrar una expresion explcita de las soluciones de la ecuacion (4.3)
vamos a escribir la ecuacion autoconjugada para las diferencias finitas de la siguiente forma
1
k (x)yk (x) = [(x)k (x)yk (x)] =
k
1 1
= [(x + 1)k (x + 1)yk (x + 1)]= [k+1 (x)yk+1 (x)],
k k

donde hemos usado (4.11). De lo anterior se concluye que

k1
Y
Ak nk k
k (x)yk = [n (x)yn] , Ak = (1) m , A0 = 1.
An m=0

Como estamos buscando soluciones polinomicas, y Pn, tenemos que n Pn (x) es una cons-
tante. Por tanto, para las diferencias finitas de orden k, k Pn (x), obtenemos la expresion

Ank Bn nk
k Pn(x) = [n (x)],
k (x)
(n)
donde Ank = Ak () |=n y Bn = n Pn /Ann . Como Pn = n!an es constante, de (4.4) se
deduce que n = 0, luego n + n (x) + n(n 1)2 (x)/2 = 0, de donde obtenemos que el
autovalor n de (4.3) es
n(n 1) 00
n = n 0 . (4.15)
2
7
Qm1 n+k
Usando la expresion (4.15) podemos obtener la expresion alternativa A nm = (n)m k=0 (n+k) .

36
Notese que (x) = 0 y 2 (x) = 00 . Sustituyendo la expresion anterior (4.15) en (4.6)
obtenemos
Qk1 el valor de nk = k (n) (4.14). Para obtener Anm utilizamos la formula Ank =
(1)k m=0 nm , y valores de nk obtenidos antes.

La formula (4.15) determina los autovalores y es conocida como condicion de hipergeome-

tricidad de la ecuacion en diferencias (4.3). Otra forma de deducir (4.15) consiste en sustituir
el polinomio Pn en (4.3) e igualar los coeficientes de la potencia xn.

Aqu, como en el caso continuo, tambien hemos asumido que nk 6= 0 para k = 0, 1, . . . , n

1. De la expresion explcita (4.14) deducimos que para que ello ocurra es suficiente que 0 +
n 00 /2 6= 0 para todo n = 0, 1, 2, . . .. Esto tambien se traduce en una condicion de regularidad
[7].

La formula (4.15) determina los autovalores y es conocida como condicion de hipergeome-

tricidad de la ecuacion en diferencias (4.3). Otra forma de deducir (4.15) consiste en sustituir
el polinomio Pn en (4.3) e igualar los coeficientes de la potencia xn.

Cuando k = 0 la formula (4.12) se convierte en el analogo discreto de la formula de Rodrigues

para los polinomios de variable discreta:
Yn
Bn n
Pn(x) = [(x + n) (x + m)], n = 0, 1, 2, . . . . (4.16)
(x) m=1

Hasta ahora, como en el caso continuo, solo nos ha interesado encontrar soluciones po-
linomicas de la ecuacion en diferencias (4.3). Si tambien queremos que dichas soluciones sean
ortogonales tenemos que exigir algunas condiciones extra. Analogamente, a partir de las ecua-
ciones (4.9) podemos demostrar la ortogonalidad de las soluciones polinomicas respecto a la
funcion peso .

Teorema 4.2 Supongamos que

xk (x)(x)|x=a,b = 0, para todo k 0. (4.17)

Entonces las soluciones polinomicas Pn de la ecuacion (4.3) son ortogonales, dos a dos, respecto
a la funcion peso definida por la ecuacion [(x)(x)] = (x)(x), o sea, se cumple que:
b1
X
Pn(xi)Pm (xi)(xi) = nm d2n , (4.18)
xi =a

donde, como antes, nm es el smbolo de Kronecker y dn denota la norma de los polinomios Pn.

Demostracion: Sean Pn y Pm dos de las soluciones polinomicas de (4.3). Escribamos las ecua-
ciones simetrizadas para Pn y Pm ,

[(x)(x)Pn(x)] + n(x)Pn(x) = 0,

[(x)(x)Pm(x)] + m (x)Pm(x) = 0.

37
Multiplicando la primera por Pm y la segunda por Pn, restando ambas, sumando en xi [a, b]
y utilizando la formula de la suma por partes obtenemos:
b1
X
(n m ) Pn(xi )Pm (xi)(xi) =
xi =a

b1 
X 
= [(xi)(xi)Pm (xi)]Pn(xi) [(xi )(xi)Pn(xi)]Pm (xi) =
xi =a

  
 P (x)  
Pm (x) 
= (x)(x)  n 
 = (x)(x)WD [Pn(x), Pm (x)] .
Pn(x) Pm (x) x=a,b

x=a,b

Pero el Wronskiano discreto WD (Pn, Pm ) es un polinomio en x, por tanto, si exigimos la condi-

cion que xk (x)(x) se anule en x = a y x = b para todo k 0, obtendremos (n 6= m ) que
Pn y Pm son ortogonales respecto a la funcion peso . Aqu debemos destacar que a y b deben
ser tales que sea positiva en el intervalo [a, b 1]. Una eleccion puede ser tomar a y b de tal
manera que (a) = 0 y (b 1) + (b 1) = 0 [14, 15].

Teorema 4.3 Sea (Pn)n una familia de polinomios ortogonales en [a, b) (|a| < ), o sea, tales
que se cumple (4.18). Entonces, el cuadrado de la norma d2n de los polinomios Pn viene dada
por la formula
bn1
X
2 n 2
dn = (1) Ann Bn n (s). (4.19)
s=a

Demostracion: Partiremos de la definicion de la norma

b1
X
d2n = Pn (s)Pn(s)(s).
s=a

y sustituiremos en ella la formula de tipo Rodrigues (4.16),

b1
X b1
X  
d2n = Bn n
Pn (s) [n (s)] = Bn Pn(s) n1 n (s) .
s=a s=a

Utilicemos ahora la formula de suma por partes

b1
X b1 Xb1

f (s)g(s) = f (s)g(s) g(s 1)f (s),
a1
s=a s=a

que nos conduce a la expresion

b1 
 b1
X 
2 n1  n1 
dn = Pn(s) [n (s)] Bn [Pn (s)] [n (t)] .
 
a1 s=a t=s1

El primer sumando, en virtud de (4.12) es proporcional a 1 (s) = (s + 1)(s + 1) y, por tanto,

utilizando la condicion de contorno (4.17), se anula. Reescribamos ahora el segundo sumando
haciendo el cambio de s s 1. Ello nos conduce a la expresion
b2
X
d2n = Bn [Pn(s)]n1 [n (s)] .
s=a1

38
Ahora utilizamos el hecho de que

n1 n (s) = n2 n (s), x2 (s) = x(s + 1) = x(s),

luego
b2
X  
d2n = Bn [Pn (s)] n2 n (s) .
s=a1

Aplicando el proceso antes descrito de suma por partes, y utilizando la condicion de contorno
(4.17), obtenemos la igualdad
bk1
X
 
d2n = (1)k Bn k [Pn (s)] nk1 n (s) =
s=ak
bk1
X
= (1)k Bn k [Pn (s)]nk [n (s)].
s=ak

Si hacemos en la expresion anterior k = n y utilizamos que n [Pn (s)] = Ann Bn y 0 n (s) :=

n (s), obtenemos
bn1
X
2 n 2
dn = (1) Ann Bn n (s),
s=an

que inmediatamente nos conduce a (4.19) pues8 n (a k) = 0 para k = 1, 2, . . . , n.

Debemos destacar que una ligera modificacion de la prueba del teorema anterior vale tambien
para el caso a = dando en ese caso el resultado correspondiente a tomar el lmite a .

Como conclusion de esta seccion queremos destacar que por Polinomios Ortogonales de Va-
riable Discreta se entienden aquellos polinomios que satisfacen una relacion de ortogonalidad
discreta, es decir de la forma (4.18), en vez de la integral habitual (3.13). Ademas son solu-
cion de una ecuacion en diferencias (4.3), en vez de una diferencial (3.1). No obstante estos
polinomios estan definidos para todos los valores de la variable x, y no solo en los nodos de la
red xi . Es conocido que algunas soluciones de la ecuacion discreta (4.3) satisfacen una ortogo-
nalidad continua. Aqu no vamos a considerar ejemplos de dichas familias, para mas detalles
recomendamos consultar [14, 15].

4.3. La relacion de recurrencia a tres terminos

Una consecuencia de esta propiedad es que los polinomios satisfacen una relacion de
recurrencia a tres terminos.

xPn(x) = n Pn+1 (x) + n Pn(x) + n Pn1 (x), (4.20)

donde, como antes (ver (3.17)),

an bn bn+1 cn n cn+1 bn an1 d2n

n = , n = , n = n = .
an+1 an an+1 an1 an1 an d2n1

Calculemos una expresion general para los coeficientes n y n . Para ello necesitamos co-
nocer los coeficientes principales an y bn del polinomio Pn (Pn(x) = an xn + bn xn1 + ).

8
Recuerdese que estamos interesados en el caso |a| < .

39
 Primero, notemos que n [xn] = n es constante. Por tanto,
n+1 = n+1 [xn+1 ] = n [(x + 1)n+1 xn+1 ] = (n + 1)n.
Como 1 = 1 obtenemos n = n!. Luego, n Pn(x) = n!an y coincide, como ya habamos
(n)
notado, con Pn . Ademas, utilizando el analogo discreto de la formula de Rodrigues (4.12),
n Pn(x) = Bn Ann y, por tanto, utilizando (4.13) obtenemos para an la expresion:
n1
Y
an = B n [ 0 + 12 (n + k 1) 00 ], a0 = B 0 . (4.21)
k=0

Para calcular la expresion de bn sustituimos en (4.3) el polinomio Pn(x) = anxn + bn xn1 +

n1
cn x + , e igualamos los coeficientes de las de las potencias9 xn1 . As, tenemos
00
n(n 1) 0(0) n (0) + n(n 1) 2
bn = 0 ,
n + (n 1) 0 + (n 1)(n 2) 2
que usando (4.8) nos conduce a la expresion
 
nn1 (0) n(n 1)
bn = 0
an . (4.22)
n1 2
Esta misma formula se puede obtener por un procedimiento analoga al del caso continuo 10.
Observese que al ser un polinomio de grado uno, n0 6= 0 y por tanto bn esta definido para
cualquier n. Finalmente, igualando los coeficientes de xn2 obtenemos
h i h i
n (0) + (0)
2
+ (n2) 0
6
+ (n2)(n3) 00
6 2
a n + (0) + (n 2) 0
(0) + (n2) 0
2
bn
cn = (n 1) .
n n2
As, obtenemos:
00
an Bn 0 + (n 1) 2
n = = 00 ,
Bn+1 ( 0 + (2n 1) 2 )( 0 + (2n) 2 )
00
an+1
nn1 (0) (n + 1)n(0) cn n cn+1 bn
n = 0
+ n, y n = n .
n1 n0 an1 an1

4.4. Algunas consecuencias de la formula de Rodrigues

Del analogo discreto de la formula de Rodrigues (4.12) se pueden obtener las mismas
propiedades que en el caso continuo. En primer lugar, si calculamos el polinomio de grado 1
utilizando la formula de Rodrigues (4.12), as como (4.10) encontramos:
B1 B1
P1(x) = [1 (x)] = [(x + 1)(x + 1)] = B1 (x),
(x) (x)
por tanto, es un polinomio de grado exactamente uno.

Tomemos ahora k = 1 en la formula (4.12). Realizando unos calculos directos obtenemos:

An1 Bn n1 n Bn n1
Pn(x) = [n (x)] = [1n1 (x)].
1 (x) 1 (x)
Luego,
nBn
Pn(x) = Pn1 (x), (4.23)
Bn1
donde Pn1 denota el polinomio ortogonal respecto a la funcion peso 1(x) = (x + 1) (x + 1).
9
Si igualamos los coeficentes de las potencias xn obtenemos nuevamente la expresion para n .
10
Otra demostracion de esta formula la encontraremos mas adelante en el apartado dedicado a los q-polinomios
de los cuales son estos un caso particular.

40
4.5. Las formulas de estructura
Recordemos que para n estamos utilizando el siguiente desarrollo en potencias (4.8)
n (x) = n0 x + n(0), n0 = (x) + n2 (x) = 0 + n 00 . (4.24)
Si escribimos ahora (4.12) para el polinomio de grado n+1, utilizando la formula [(x) n(x)] =
n (x)n(x) obtenemos:
Bn+1 n+1 Bn+1 n
Pn+1 (x) = [n+1 (x)] = [n (x)n(x)] =
(x) (x)

Bn+1  
= n(x)n[n (x)] + nn0 n1 n (x 1) .
(x)
n Bn n1
Utilizando ahora que Pn (x) = Pn(x 1) = [n (x 1)], obtenemos la
(x)(x)
formula de diferenciacion:
 
n Bn
(x)Pn(x) = n(x)Pn(x) Pn+1 (x) . (4.25)
nn0 Bn+1
Si utilizamos la identidad = , junto a la ecuacion en diferencias (4.3), la formula
anterior se puede escribir como
 
n 0 Bn
[(x) + (x)]Pn(x) = [n (x) nn ]Pn (x) Pn+1 (x) .
nn0 Bn+1
Aqu, al igual que en el caso continuo, podemos utilizar la relacion de recurrencia (3.16) para
despejar Pn+1 y obtener sendas expresiones que relacionan las diferencias Pn y Pn con los
polinomios Pn+1 , Pn y Pn1 .

Si en la formula (4.25) desarrollamos n en potencias (4.24) y utilizamos la relacion de

recurrencia (3.16) para descomponer los sumandos del tipo xPn obtenemos el siguiente
Teorema 4.4 Las soluciones polinomicas de la ecuacion (4.3) satisfacen las siguiente formulas
de estructura (n 0):
(x)Pn(x) = nPn+1 (x) + n Pn(x) + n Pn1 (x), (4.26)
donde  
n 0 Bn n n n
n = 0 n n , n = [n n0 + n (0)] , n = ,
nn Bn+1 nn0 n
[(x) + (x)]Pn(x) = n Pn+1 (x) + n Pn(x) + n Pn1 (x), (4.27)
donde n = n , n = [n n] y n = n .
La segunda formula de estructura (4.27) se obtiene a partir de (4.26) usando la identidad
= y la ecuacion en diferencias (4.3).

Notese que los coeficientes n , n y n admiten las expresiones equivalentes

00
n = nn ,
2
n n
n = 0 0
[ 00 ((n 1) n 00 + 2 0 ) + n (2 0 (0) + (2n 1) 00 ) 0] =
n(n ).
nn1 nn0
Al igual que en el caso continuo, los polinomios clasicos discretos satisfacen una tercera
formula de estructura.

41
Teorema 4.5 Sea Qn (x) Pn+1 n+1 (x)
. Entonces los polinomios ortogonales monicos Pn(x) =
n
x + , soluciones de la ecuacion (3.1), satisfacen la siguiente relacion de estructura:

Pn (x) = Qn + n Qn1 + n Qn2 . (4.28)

Demostracion: Realizaremos una prueba distinta a la del caso continuo que se adaptara muy
facilmente al caso de las redes no uniformes.

Partiremos de la primera relacion de estructura (4.26) y le aplicamos el operador

(x)Pn(x) + (x)Pn(x) = n Pn+1 (x) + n Pn (x) + n Pn1 (x).

Vamos a transformar el miembro izquierdo eliminando el segundo sumando del mismo usando
la ecuacion en diferencias (4.3), lo que nos da

[(x) (x)]Pn(x) n Pn(x) = nPn+1 (x) + n Pn(x) + n Pn1 (x). (4.29)

Ahora bien, (x) (x) es un polinomio de grado uno

 00 
00 0 0
(x) (x) = ( )x + + (0) (0) ,
2

as que nos aparece el termino xPn(x). Para eliminarlo haremos uso de la relacion de recu-
rrencia a la que convenientemente aplicaremos el operador , es decir tenemos

xPn(x) = Pn+1 (x) + (n 1)Pn(x) + n Pn1 (x) Pn (x).

Sustituyendo lo anterior en nuestra formula inicial (4.29) obtenemos la siguiente igualdad

(n + 00 0)Pn(x) = ( 00 0 n )Pn+1 (x)

h 00
i
+ ( 00 0)(n 1) + 2 + 0 (0) (0) n Pn(x)

+[( 00 0)n n ]Pn+1 (x).

00
Pero n + 00 0 = (n + 1)( 0 + (n 2) 2 ) que es distinto de cero para todo n N, luego
podemos dividir la expresion anterior por ella lo que nos conduce directamente al resultado
00
deseado pues 00 0 n = 0 (n 2) 2 .

Notese que de la demostracion se deducen los valores de los coeficientes n y n :

00
( 00 0)(n 1) + 2 + 0 (0) (0) n (n) n
n = 00
= 0 00
,
0
(n + 1)( + (n 2) 2 ) + (n 1) 2 2
y
00
( 00 0)n n (n 1) 2 n
n = = 00 ,
(n + 1)( 0 + (n 2) 2 ) 0 + (n 2) 2
00

donde hemos usado los valores explcitos de n , n y n de los coeficientes de (4.26).

42
4.6. Representacion integral y formula explcita
Supongamos que n es una funcion analtica en el interior y la frontera del recinto limitado
por la curva cerrada C del plano complejo que contiene a los puntos z = x, x 1, . . . , x n.
Entonces, utilizando nuevamente la formula integral de Cauchy obtenemos:
Z
1 n (z)
n (x) = dz. (4.30)
2i C z x
Mediante induccion es sencillo demostrar que
 
n 1 n!
= ,
zx (z x)n+1
donde (x)m es, al igual que antes, el smbolo de Pochhammer (3.45). Luego, de (4.30) obtenemos:
Z
n n! n(z)
[n (x)] = dz,
2i C (z x)n+1

y, por tanto, es valido el siguiente

Teorema 4.6 Las soluciones polinomicas de la ecuacion (4.3) admiten la siguiente represen-
tacion integral Z
n!Bn n (z)
Pn(x) = dz, (4.31)
(x) 2i C (z x)n+1
donde C es una curva cerrada del plano complejo que contiene a los puntos z = x, x1, . . . , xn
y tal que n es analtica en y dentro de la misma.

A partir de (4.31) podemos encontrar una formula explcita para calcular polinomios P n
de cualquier orden. Para ello es suficiente calcular los residuos de la funcion integrando, cuyos
unicos puntos singulares son polos simples, localizados en los puntos z = x l, l = 0, 1, , n
y cuyo valor es:  
n (z) (1)l n (x l)
Res = .
(z x)n+1 l!(n l)!
Luego, (4.31) nos conduce a la siguiente expresion para los polinomios Pn [14, 15]:
Xn Xn
n!(1)m n (x m) n!(1)n+m n (x n + m)
Pn(x) = Bn = Bn . (4.32)
m=0
m!(n m)! (x) m=0
m!(n m)! (x)

Utilizando la ecuacion de Pearson (4.10) escrita de la forma:

(x + 1) (x) + (x)
= ,
(x) (x + 1)
obtenemos:
n
Y m1
Y
[(x n + l + m)] [(x + l) + (x + l)]
n (x n + m) l=1 l=0
= m1
=
(x) Y
[(x + l + 1)]
l=0

nm1
Y m1
Y
= [(x l)] [(x + l) + (x + l)].
l=0 l=0

43
Luego, la formula (4.32) se puede reescribir de la forma:
Xn nm1 m1
n!(1)n+m Y Y
Pn(x) = Bn [(x l)] [(x + l) + (x + l)]. (4.33)
m=0
m!(n m)!
l=0 l=0

1
Y
En las formulas anteriores se adopta el convenio f (l) 1.
l=0

El caso mas general corresponde cuando y + son polinomios de grado dos de la forma
[16, 15]
(x) = A(x x1)(x x2), (x) + (x) = A(x x1)(x x2). (4.34)
Notese que si el grado de es 2, entonces el de + es necesariamente 2 y ademas en este
caso ambos tienen el mismo coeficiente principal A.

Utilizando (4.33) se puede obtener una expresion para los polinomios como una serie hiper-
geometrica generalizada 3F2 .

Teorema 4.7 Las soluciones polinomicas de la ecuacion (4.3) se pueden representar como
funciones hipergeometricas generalizadas (3.46)
  
n, x1 + x2 x1 x2 + n 1, x1 x 
Pn(x) = An B n (x1 x1 )n (x1 x2 )n 3 F2 1 , (4.35)
x1 x1 , x1 x2 

donde x1, x2 y x1, x2 son los ceros de los polinomios y + , respectivamente definidos en
(4.34). Ademas,
n = An(x1 + x2 x1 x2 + n 1). (4.36)

Demostracion: Ante todo sustituimos (4.34) en (4.33). Un simple calculo nos conduce a la
expresion
  
n, x x1 , x x2 
n n
Pn(x) = A Bn (1) (x1 x)n (x2 x)n 3 F2 1 . (4.37)
xx1 n+1, xx2 n+1 
Transformemos la expresion anterior en otra mas util. Para ello utilizaremos la formula de
transformacion [14, Eq. (2.7.20), pag. 52]
     
n, a , b  (c a)n n, a , d b 
3 F2 1 = 3 F2 1 . (4.38)
c, d  (c)n acn+1 , d 

Aplicando (4.38) a (4.37) donde a = x x1, b = x x2 , c = x x1 n + 1 y d = x x2 n + 1,

obtenemos
  
n n n, x x1, x2 x2 n + 1 
Pn (x) = A Bn (1) (x1 x1)n (x2 x)n 3F2 1 .
x1 x1, x x2 n + 1 

Aplicando nuevamente (4.38) a la expresion anterior con a = x x1, b = x2 x2 n + 1,

c = x x2 n + 1, d = x1 x1, esta se transforma en
  
n n n, x x1 , x1 +x2 x1 x2 +n1 
Pn (x) = A Bn (1) (x1 x1)n (x2 x1 )n 3 F2 1 .
x2 x1, x1 x1

Finalmente, haciendo uso otra vez de (4.38) pero ahora escogiendo los parametros de la forma
a = x1 + x2 x1 x2 + n 1, b = x x1 , c = x2 x1, y d = x1 x1, la expresion anterior se
transforma en (4.35). Para obtener n sustituimos en (4.15) los valores

(x) = 0 = [(x) + (x)]0 0 (x) = A(x1 + x2 x1 x2 ), 2 (x) = 00 = 2A ,

44
que nos conducen a la expresion (4.36).

Notese que, tanto (4.37) como (4.36) son invariantes con respecto a las permutaciones de
x1, x2 y x1, x2, respectivamente.

Como ya hemos mencionado si el grado de es 2, + tambien es de grado dos. Por tanto

debemos considerar el caso cuando es un polinomio de grado 1. En este caso + puede ser
un polinomio de grado 1 o bien de grado 0. Veamos como las expresiones explcitas en ambos
casos se pueden obtener del caso general tomando lmites apropiados.

Caso I: grado( + ) = 1. Escojamos A = C/x2 y tomemos el lmite x2 , x2 , de

forma que x2/x2 = B, entonces (4.34), (4.35) y (4.36) se transforman en

(s) = C(x x1), (s) + (s) = C B(x x1), n = C n(1 B),

  
n, x1 x  1
Pn(s) = Dn 2 F1 1 , (4.39)
x1 x1  B
donde Dn es una constante de normalizacion.

Caso II: grado( + ) = 0. Escojamos A = C/(x1 x2) y tomemos el lmite x1 , x1 ,

x2 , de forma que x2/(x1x2) = B, entonces (4.34), (4.35) y (4.36) se transforman en

(s) = C B(x x1), (s) + (s) = C, n = C B n,

  
n, x1 x 
Pn (s) = Dn 2F0 B , (4.40)

donde Dn es una constante de normalizacion.

De las representaciones anteriores (4.35), (4.39) y (4.40) es facil comprobar que P n es un

polinomio de grado exactamente n en x pues
n
X
n (n)
(n)k = 0, k > n, y (x)n = (1) Sk x k ,
k=0

(n)
donde Sk son los numeros de Stirling de segunda especie [1].

Antes de estudiar en detalle las cuatro familias discretas clasicas debemos hacer dos breves
comentarios.
El primero esta relacionado con las funciones generatrices en el caso discreto. A este res-
pecto debemos destacar que, en principio, la misma tecnica que usamos en el captulo anterior
es valida aunque su aplicacion al caso general se hace bastante complicada y es mas sencillo
resolver caso a caso. Por esa razon no incluiremos en este apartado ningun metodo para la
obtencion de funciones generatrices en el caso discreto. De hecho la representacion como fun-
cion hipergeometrica de los polinomios clasicos permite de manera sencilla obtener distintas
funciones generatrices para cada uno de los casos. Debemos tambien aclarar que de las cuatro
familias que consideraremos solo dos, los polinomios de Meixner y Charlier, constituyen fami-
lias infinitas para las cuales tiene sentido la expresion (3.36). En el caso Hahn y Kravchuk las
correspondientes sumas son finitas. As, por ejemplo, para los polinomios de Meixner y Charlier
tenemos, respectivamente, las expresiones
 x X
t x ( 1)n ,
1 (1 t) = n
Mn (x)tn, (4.41)
n=0
n!

45
  x
X
t t ()n
e 1 = Cn(x)tn. (4.42)
n=0
n!
Para mas detalle remitimos al lector a los magnficos trabajos [6, 10].
El segundo comentario tiene que ver con los teoremas de caracterizacion. Ante todo, una
definicion

Definicion 4.1 Sea y dos polinomios de grado a lo sumo 2 y exactamente 1, respectiva-

mente, con ceros reales y distintos y sea una funcion tal que
b
k
[(x)(x)] = (x)(x), (x)(x)x  = 0, (4.43)
a

donde (a, b) es cierto intervalo de la recta real donde > 0. Diremos que una familia de
polinomios ortogonales (Pn)n es -clasica, o clasica discreta, si dicha familia es ortogonal
respecto a la funcion solucion de la ecuacion (4.43) anterior.

A partir de la definicion anterior es facil probar el siguiente teorema de caracterizacion

Teorema 4.8 Los siguientes enunciados son equivalentes:
1. (Pn)n es una familia discreta clasica segun la definicion 4.1

2. (Pn)n es clasica y la sucesion de sus diferencias (Pn)n tambien es clasica

3. (Pn)n es ortogonal y la sucesion de sus kesimas diferencias (k Pn)n tambien es ortogonal

4. (Pn)n es solucion de la ecuacion en diferencias de tipo hipergeometrico

(x)Pn(x) + (x)Pn(x) + nPn (x) = 0

5. (Pn)n se expresa mediante la formula de Rodrigues

" n
#
Bn n Y
Pn (x) = (x+n) (x+k) .
(x)
k=1

Notese que practicamente hemos demostrado el teorema pues hemos visto que de la ecuacion
en diferencias se pueden deducir todas las demas implicaciones. Para cerrar el crculo bastara
probar que si se tiene la definicion 4.1 entonces la sucesion de derivadas es tambien ortogonal y
que de ah se deduce la ecuacion en diferencias. Su prueba es totalmente analoga a la del caso
continuo y la omitiremos (se recomienda como ejercicio).

4.7. Los Polinomios de Charlier, Meixner, Kravchuk y Hahn

4.7.1. Parametros Principales
En esta seccion vamos a describir los principales parametros de las SPO clasicas monicas
discretas. Para el calculo de los mismos podemos seguir el algoritmo antes expuesto. Para mas
detalle veanse las excelentes monografas [6, 14, 15].

Los polinomios ortogonales discretos en la recta real, que son solucion de una ecuacion del
tipo (4.3), se pueden clasificar en cuatro grandes familias en funcion del grado del polinomio
( siempre es un polinomio de grado 1) [15]. Cuando es de grado 1 existen tres posibi-
lidades: si grado[ + ] = 1 Polinomios de Meixner Mn, (x), definidos en el intervalo [0, )
y los Polinomios de Kravchuk Knp (x), definidos en un intervalo [0, N ], respectivamente, y si

46
 Cuadro 4: Clasificacion de las SPO discretas clasicas.

Hahn Meixner Kravchuk Charlier

Pn (x) h,
n (x; N ) Mn,(x) Knp (x) Cn (x)

[a, b] [0, N ] [0, ) [0, N + 1] [0, )

(x) x(N + x) x x x

Np x
(x) ( + 1)(N 1) ( + + 2)x ( 1)x + x
1p
p
+ (x + + 1)(N 1 x) x + (x N )
1p
n
n n(n + + + 1) (1 )n 1p n

(N + x)( + x + 1) x ( + x) N !px (1 p)N x e x

(x)
(N x)(x + 1) ()(x + 1) (N + 1 x)(x + 1) (x + 1)
, 1 , n N 1 > 0, 0 < < 1 0 < p < 1, n N 1 >0

(N + x)(n + + x + 1) x+n ( + n + x) N !px+n (1 p)N nx e x+n

n(x)
(N n x)(x + 1) ()(x + 1) (N + 1 n x)(x + 1) (x + 1)

grado[ + ] = 0 los Polinomios de Charlier Cn(x), definidos en [0, ). Cuando el grado de

es 2, se obtienen los Polinomios de Hahn h,n (x, N ) definidos en [0, N 1]. En las tablas 4, 5 y
6 estan representados los principales parametros de dichas familias, donde, al igual que en las
tablas anteriores, (a)k es el smbolo de Pochhammer.

4.7.2. Representacion hipergeometrica

De la formula de Rodrigues (4.12) o la formula (4.35) se puede obtener la representacion
de los polinomios clasicos de variable discreta en terminos de la funcion hipergeometrica gene-
ralizada p Fq [14, Seccion 2.7, pag. 49]. En el caso Hahn, (4.35) nos conduce inmediatamente al
resultado deseado. Los restantes tres casos (Meixner, Kravchuk y Charlier) se pueden obtener
como casos lmites de (4.35) tal y como hemos visto en el apartado anterior. Obviamente tam-
bien se puede utilizar directamente la formula (4.33). As, utilizando las formulas (4.35) con
x1 = 0, x2 = N + , x1 = 1 y x2 = N 1 (ver la eleccion de y + en la tabla 4)
obtenemos para los polinomios de Hahn la formula
  
, (1 N )n( + 1)n x, + + n + 1, n 
hn (x, N ) = 3 F2 1 . (4.44)
( + + n + 1)n 1 N, + 1

A continuacion usamos los valores de de y + para los polinomios de Meixner (ver la

tabla 4) de donde deducimos que x1 = 0, x1 = y B = , por tanto (4.39) nos da
  
n
n, x  1
,
Mn (x) = ()n 2 F1

( 1)n 1 . (4.45)

En el caso de los polinomios de Kravchuk tenemos x1 = 0, x1 = N y B = p(1 p), luego

47
(4.39) nos da   
(p)nN ! n, x 1
Knp (x) = 2 F1
 . (4.46)
(N n)! N p
Finalmente, para los polinomios de Charlier obtenemos (ver la tabla 4) x1 = 0, B = 1/,
as que usando la formula (4.40) obtenemos
  
n n, x  1
Cn (x) = () 2 F0  . (4.47)

4.7.3. Otras caractersticas

Una consecuencia de las expresiones anteriores es el calculo de los valores de los polinomios
en los extremos del intervalo de ortogonalidad. Estos valores pueden ser obtenidos tambien a
partir del analogo discreto de la formula de Rodrigues (4.12).

n (n + ) (p)n N !
Mn, (0) = , Knp (0) = , Cn(0) = ()n , (4.48)
( 1)n () (N n)!
(1)n( + n + 1)(N 1)!
h,
n (0, N ) = , (4.49)
( + 1)(N n 1)!(n + + + 1)n
( + n + 1)(N 1)!
h,
n (N 1, N ) = . (4.50)
( + 1)(N n 1)!(n + + + 1)n
Como consecuencia de (4.23) se obtienen las formulas de diferenciacion:
+1,
Mn, (x) = nMn1 (x) (4.51)

p
Knp(x, N ) = nKn1 (x, N 1), (4.52)

Cn (x) = nCn1 (x), (4.53)

+1,+1
h,
n (x, N ) = nhn1 (x, N 1), (4.54)
Los polinomios de Hahn satisfacen una propiedad de simetra que es consecuencia de la
representacion hipergeometrica (o bien directamente de (4.16)):

h, n ,
n (N 1 x, N ) = (1) hn (x, N ). (4.55)
Ademas, tiene lugar la relacion:

n(n + )( + + n)
xh1,
n (x, N ) = nh,
n (x, N ) + h, (x, N ).
(N n 1)( + + 2n)( + + 2n 1) n1

La demostracion de este resultado es inmediata a partir de la representacion hipergeometrica

(4.44) para los polinomios de Hahn.

48
 Cuadro 5: Parametros de las SPO Monicas (an = 1).

Hahn Chebyshev
h,
n (x; N ) tn (x; N ) = h0,0
n (x; N )

(1)n (1)n
Bn
( + + n + 1)n (n + 1)n
 
n 2( + 1)(N 1) + (n 1)( + 2N 2) n(N 1)
bn
2 + + 2n 2
n!( + n + 1)( + n + 1)( + + N + n + 1) n!2 (N + n)!(n + 1)2
n
d2n
( + + 2n + 1)(N n 1)!( + + n + 1)( + + n + 1)2n (2n + 1)(N n 1)!
( + 1)(N 1)( + ) + n(2N + 2)( + + n + 1) N 1
n
( + + 2n)( + + 2n + 2) 2
n(N n)( + + n)( + n)( + n)( + + N + n) n (N n2 )
2 2
n
( + + 2n 1)( + + 2n)2 ( + + 2n + 1) 4(2n 1)(2n + 1)
n n n
2 2
n( 2n 2n 2n 2n + N N ) n(n + 1)
n
( + + n + 1)1 ( + + 2n)( + + 2n + 2) 2
n( + + n)( + + n + 1)( + n)( + n)( + + N + n) n (n + 1)(N 2 n2 )
2
n
(n N )1 ( + + 2n 1)( + + 2n)2 ( + + 2n + 1) 4(2n 1)(2n + 1)
n n n
n( + 2 2
+ + + 2n + 2n + 2n + 2n + N N ) n(n + 1)
n
( + + n + 1)1 ( + + 2n)( + + 2n + 2) 2
n( + + n)( + + n + 1)( + n)( + n)( + + N + n) n (n + 1)(N 2 n2 )
2
n
(n N )1 ( + + 2n 1)( + + 2n)2 ( + + 2n + 1) 4(2n 1)(2n + 1)
n( )(2N + + ) n n
n
2( + + 2n)( + + 2n + 2) 2 2
n(n 1)(N n)( + n)( + n)( + + N + n) n(n 1)(N 2 n2 )
n
( + + 2n 1)( + + 2n)2 ( + + 2n + 1) 4(2n 1)(2n + 1)

49
 Cuadro 6: Parametros de las SPO Monicas (continuacion).

Charlier Kravchuck Meixner

Cn (x) Knp (x) Mn, (x)
1
Bn (1)n (1)n (1 p)n
( 1)n
  
n n n1+1
bn (2 + n 1) n[N p + (n 1)( 21 p)] +
2 1 2
n!N !pn (1 p)n n!()n n
d2n n!n
(N n)! (1 )+2n
n(1 + ) +
n n+ N p + (1 2p)n
1
n(n 1 + )
n n np(1 p)(N n + 1)
( 1)2
n 0 0 0
np
n 0 n
1p
n(n 1 + )
n n pn(N n + 1)
1
n 0 0 0
n n n n
n(n 1 + )
n n pn(N n + 1)
1
n
n 0 n(1 p)
1
n 0 0 0

4.7.4. Los polinomios nucleos

En esta seccion vamos a calcular el valor de los polinomios nucleos Kern1 (x, y), definidos
por la expresion:
n1
X Pm (x)Pm (y)
Kern1 (x, y) = , (4.56)
m=0
d2m
y evaluados en ciertos valores particulares de x e y. La demostracion de estos resultados es in-
mediata utilizando la formula de Christoffel-Darboux (3.24), los valores en los extremos (4.48)-
(4.50) y la formula de estructura (4.26). Describamos un algoritmo general para calcular los
valores de los nucleos Kern1 (x, 0) a partir de los parametros de los polinomios discretos clasicos
(ver tablas 5 y 6)11

Notemos que para los polinomios clasicos, (0) = 0. Luego, de la relacion:

(x)Pn(x) = nPn+1 (x) + n Pn(x) + n Pn1 (x),

y la relacion de recurrencia (3.16) en x = 0 obtenemos:

(n nn )Pn(0) = (n n n )Pn1 (0).

11
Este algoritmo fue propuesto por Laura Salto en su Tesis Doctoral.

50
Utilizando la formula de Christoffel-Darboux encontramos:
n1
X Pk (x)Pk(0) 1 Pn(x)Pn1(0) Pn1 (x), Pn(0)
Kern1 (x, 0) = ,
k=0
d2k d2n1 x

o la expresion equivalente:
" #
Pn (0) (n n n )Pn(x) + (n n n )Pn1 (x)
Kern1 (x, 0) = 2 .
dn1 (nn n ) x

Usando nuevamente las relaciones de estructura y recurrencia (4.26) y (3.16) obtenemos la

siguiente expresion para el polinomio nucleo Kern1 (x, 0):
 
Pn (0) (x)
Kern1 (x; 0) = 2 n Pn(x) Pn (x) . (4.57)
dn1 (nn n ) x

Utilizando el metodo descrito anteriormente encontramos las siguientes expresiones para los
polinomios nucleos Kern1 (x, 0) de los polinomios clasicos de variable discreta.

Nucleos de los polinomios de Meixner:

(1)n1 (1 )n+1
KerM
n1 (x, 0) = Mn, (x), (4.58)
n!
n1
X ()m m (1 )
KerM
n1 (0, 0) = . (4.59)
m=0
m!
Nucleos de los polinomios de Kravchuk:

(p 1)1n
KerK
n1 (x, 0) = Knp (x), (4.60)
n!
n1
X pm N !
KerK
n1 (0, 0) = . (4.61)
m=0
(1 p)m m!(N m)!
Nucleos de los polinomios de Charlier:

(1)n1
KerC
n1 (x, 0) = Cn (x), (4.62)
n!
n1 m
X
KerC
n1 (0, 0) = . (4.63)
m=0
m!
Nucleos de los polinomios de Hahn:

KerH,, 1,
n1 (x, 0) = n (, )hn (x, N ),
(4.64)
KerH,,
n1 (x, N 1) = n(, )(1) n+1
h,1
n (x, N ),

donde n (, ) denota a:

(1)n1 (N 1)!( + + 2n)

n (, ) = . (4.65)
n!( + 1)( + n)( + + n + N )

51
Ademas,

KerH,,
n1 (0, 0) =

n1
X (4.66)
(m + + 1)(m + + + 1)(2m + + + 1)(N 1)!2
= ,
m=0
m!( + 1)2 (N m 1)!( + m + 1)( + + N + m + 1)

KerH,,
n1 (0, N 1) =

n1
X (4.67)
(1)m (m + + + 1)(2m + + + 1)(N 1)!2
= ,
m=0
m!( + 1)( + 1)(N m 1)!( + + N + m + 1)

y utilizando (4.55) encontramos KerH,, H,,

n1 (N 1, N 1) = Kern1 (0, 0). Si empleamos la expre-
sion (4.57) para calcular los nucleos de los polinomios de Hahn, encontramos otra representacion
de los mismos:

KerH,, , ,
n1 (x, 0) = n (, )[nhn (x, N ) + (x N )hn (x, N )],
(4.68)
KerH,, n , ,
n1 (x, N 1) = n (, )(1) [nhn (x, N ) + (x + 1 + )hn (x, N )],

donde n (, ) y n (, ) denotan a:

(1)n(N 1)!( + + 2n + 1)
n(, ) = ,
n!( + n + 1)( + 1)( + + N + n + 1)
(4.69)
n
(1) (N 1)!( + + 2n + 1)
n(, ) = ,
n!( + 1)( + n + 1)( + + N + n + 1)
respectivamente.

Nota: Para encontrar la expresion de KerH,,

n1 (x, N 1) en (4.64) y (4.68) a partir de la expresion
H,,
para los Kern1 (x, 0) debemos realizar las siguientes operaciones:

n1
X h, ,
m (x, N )hm (N 1, N )
KerH,,
n1 (x, N 1) = =
d2m
m=0

n1
X h, ,
m (N 1 x, N )hm (0, N )
= = Ker,
n1 (N x 1, 0),
d2m
m=0

donde hemos utilizado la propiedad de simetra donde hemos utilizado la propiedad de simetra (4.55).
Por tanto KerH,,
n1 (x, 0), realizamos el cambio x N x 1 y obtenemos la formula para
H,,
el Kern1 (x, N 1). Finalmente, utilizando la identidad:

h, ,
n (N x 1, N ) = hn (x, N ),

obtenemos la expresion deseada.

4.8. Relaciones lmites entre los polinomios clasicos

Antes de concluir esta primera parte debemos recordar que existen diversas relaciones lmites
que involucran a los polinomios clasicos considerados. La demostracion es inmediata a partir de

52
 Hahn
h,
n (x, N )
Q
 Q
 Q
 Q
 Q
 Q
+
 ? Q
s
Jacobi Meixner Kravchuk
Pn, (x) Mn, (x) Knp,A (x)
J @

J @

J @

J @

J
^ R
@

Laguerre Charlier
L
n (x) Cn (x)
J

^
J 

Hermite
Hn (x)

Figura 2: Relaciones lmites de los polinomios clasicos.

la representacion hipergeometrica o la relacion de recurrencia que satisfacen dichos polinomios

y se puede encontrar en diversos trabajos: [10, 14, 15]. Estas relaciones estan representadas
en la figura 2 que no es mas que un fragmento de la conocida Tabla de Askey [10] para los
polinomios ortogonales hipergeometricos. Algunas de ellas son, por ejemplo,
2n ,
lm hn ((N 1)x, N ) = Pn, (2x 1), (4.70)
N N n
 
(1)n n , 2x
lm Pn 1 = Ln (x), (4.71)
0 2n
(1)
N,1
lm hn (x, N ) = Mn, (x), (4.72)
N
x
lm hnMn+1,1h = Ln (x), (4.73)
h0 h

, +
lm Mn (x) = Cn (x), (4.74)

53
54
5. Algunas aplicaciones
5.1. Aplicacion a la Mecanica Cuantica
5.1.1. El oscilador armonico cuantico
Uno de los modelos mas utilizados en la fsica cuantica es el oscilador armonico. Este
corresponde a la ecuacion de Schrodinger
~2 00 1
(x) + m 2 x2(x) = E(x). (5.1)
2m 2
p
El cambio de variables = x/x0, x0 = ~/m nos conduce a la ecuacion
2E
00 () + ( 2)() = 0, = . (5.2)
~
Como resolver esta ecuacion?

Existen varias formas, pero nosotros vamos a dar una manera algortmica sencilla para re-
solver este tipo de ecuacuaciones, o mejor, para reducirlas a la ecuacion hipergeometrica que
estudiamos en el apartado anterior.

Generalmente, si buscamos en los textos de Mecanica Cuantica se nos dice que debemos
2
realizar el cambio () = e /2 y() que nos conduce a la ecuacion
y 00 () 2y 0 () + ( 1)y() = 0.
Un simple vistazo basta para reconocer la ecuacion diferencial de los polinomios de Hermite,
aunque all en los textos prefieren calcular explcitamente la solucion por el metodo de los
coeficientes indeterminados de Euler que ya mencionamos. Es decir, se busca la solucion en
forma de serie
X
y() = bk k ,
k=0
y se sustituye en la ecuacion diferencial y se igualan coeficientes. Eso lleva a la relacion
2k + 1
bk+1 = bk ,
(k + 1)(k + 2)
luego, si imponemos que la serie sea finita truncada, es decir si ponemos = 2n + 1, n =
0, 1, 2, . . ., obtenemos los ya mencionados polinomios de Hermite. Finalmente, si consideramos
que 6= 2n + 1, es facil descubrir que bk+2 /b2 1/k, por tanto,

X X
1 2k 2
bk k e ,
k=0 k=0
k!

que no es integrable. No obstante, este metodo, aunque general, es incomodo pues requiere
adivinar el cambio inicial y luego tratar cada ecuacion por separado. Vamos a describir a
continuacion como, usando el apartado anterior, podemos resolver de manera general muchos
de los problemas de la Mecanica Cuantica a partir de una ecuacion mas general: la ecuacion
hipergeometrica generalizada:
e(z) 0
e(z)
u00 (z) + u (z) + 2 u(z) = 0,
(z) (z)
siendo (z) y e(z) polinomios de grado a lo mas uno y (z) y
e(z) polinomios de grado a lo
mas dos.

55
5.1.2. La ecuacion hipergeometrica generalizada.
La ecuacion hipergeometrica generalizada en una ecuacion lineal de segundo orden de la
forma
e(z) 0
e(z)
u00 (z) + u (z) + 2 u(z) = 0, (5.3)
(z) (z)
siendo (z) y e(z) polinomios de grado a lo mas uno y (z) y
e(z) polinomios de grado a lo
mas dos.

Hagamos el cambio u(z) = (z)y(z),

 0   00 
00 (z) e(z) 0 (z) 0 (z)e
(z)
e(z)
y (z) + 2 + y (z) + + + y(z) = 0.
(z) (z) (z) (z)(z) 2(z)
El objetivo del cambio es convertir la ecuacion anterior en una mas sencilla o por lo menos
menos complicada que (5.3), as que al menos debemos tener
0(z) e(z) (z) 0 (z) (z) e(z) (z)
2 + = , o = = , (5.4)
(z) (z) (z) (z) 2(z) (z)
siendo un polinomio de grado a lo mas uno, y por tanto polinomio de grado a lo mas uno.
Lo anterior transforma nuestra ecuacion original (5.3) en la siguiente:
(z) 0 (z)
y 00 (z) + y (z) + 2 y(z) = 0,
(z) (z) (5.5)
2 0 0
(z) = e(z) + 2(z), (z) =
e(z) + (z) + [e
(z) (z)] + (z)(z).

Como es un polinomio de grado dos a lo sumo, impongamos que sea proporcional al propio
, es decir que (z) = (z). Ello es posible pues tiene dos coeficientes indeterminados los
coeficientes del polinomio y es una constante a determinar, lo que nos conduce a tres
ecuaciones al igualar los coeficientes de y con tres incognitas. Hecho esto, nuestra
ecuacion se transforma en la ecuacion hipergeometrica del apartado anterior

(z)y 00 + (z)y 0 + y = 0. (5.6)

Pasemos a calcular12 y . Como = (z), entonces

e(z) + 2 (z) + [e
(z) 0 (z)] + 0 (z)(z) = (z),

o, equivalentemente

2 (z) + [e (z) [ 0 (z)](z)} = 0.

(z) (z)](z) + {e

Supongamos que k = 0 (z) es conocido, entonces tenemos una ecuacion de segundo orden
para (z), luego
s 2
0
(z) e(z) 0(z) e(z)
(z) =
e(z) + k(z), (5.7)
2 2
 2
0 (z) e(z)
pero (z) ha de ser un polinomio de grado a lo sumo uno, luego el polinomio
2

e(z) + k(z) ha de ser un cuadrado perfecto, es decir su discriminante debe ser cero, lo que nos
12
En el caso de soluciones polinomicas, se debe expresar como funcion de y como ya hemos visto en el
apartado anterior.

56
conduce a una ecuacion para encontrar k. El k encontrado lo sustituimos en (5.7) y obtenemos
(z), el cual nos conduce directamente a = 0 (z) + k.

Obviamente el metodo anterior da distintas soluciones en funcion del k que escojamos y del
convenio de signos en (5.7).

5.1.3. Ejemplos.
El oscilador armonico cuantico.
Como ejemplo apliquemos la tecnica anterior al caso del oscilador armonico cuantico.

Partimos de la ecuacion (5.2),

00 () + ( 2 )() = 0,

e() = 2 . Para (), (5.7) nos

que obviamente es del tipo (5.3) con e() = 0, () = 1 y
da p
() = 2 + (k ).
Como el polinomio 2 + (k ) ha de ser un cuadrado perfecto, entonces k = , y por tanto
() = x, luego

() = x, 0 () = 1, = + 1, () = 2x,
() = x, 0 () = 1, = 1, () = 2x,

que nos conducen a las ecuaciones

y 00 () + 2y 0 () + ( + 1)y() = 0, y 00 () 2y 0 () + ( 1)y() = 0,

respectivamente. En cada caso la funcion () es la solucion de las ecuaciones 0 / = y

0 / = , que conducen a las funciones
2 /2 2 /2
() = e , y () = e ,

respectivamente. Finalmente, la ecuacion y 00 () 2y 0 () + ( 1)y() = 0 corresponde a

la ecuacion hipergeometrica de los polinomios de Hermite, por tanto tenemos 1 = 2n,
n = 0, 1, 2, . . . y las soluciones normalizadas de nuestra ecuacion original seran
2 /2
() = Nne Hn(), = 2n + 1, n = 0, 1, 2, . . . . (5.8)

Para calcular Nn notamos que

Z Z
2 2 n!
(x)(x)dx = Nn Hn2()e d = Nn2d2n , d2n = ,
2n
s
2n
luego Nn = .
n!
Es facil ver que si la otra ecuacion tiene como soluciones los polinomios Hn(x), por lo que
2
sus soluciones () = e /2 Hn() no son de cuadrado integrable en R, por lo que no tienen
sentido fsico. De esta forma las unicas soluciones estacionarias del oscilador armonico son las
funciones (5.8) anteriores.

57
 6

x2 R0,0 2
5

4 x2 R3,1 2

3
x2 R3,0 2
2

-4 -2 2 4 6 8
Estado fundamental (negro) y exitados n = 1, 2 (grises) del oscilador armonico.

El atomo de hidrogeno.
La componente radial del atomo de hidrogeno, F (r) = R(r)/r, satisface la ecuacion la
ecuacion esta en unidades adimensionales
   
00 1 l(l + 1)
R (r) + 2 E R(r) = 0.
r r2

Luego, es del tipo (5.3) con

(r) = r, e(r) = 2Er 2 + 2r l(l + 1).

Por tanto, tenemos r

1 1
(r) = 2Er 2 2r + l(l + 1) + kr.
2 4
La condicion de que el discriminante de la ecuacion de segunda grado en r de la raz sea cero
nos da
k = 2 2E(2l + 1),
luego (r) se expresa por
(
1 2Er + (l + 1/2) k = k+
(r) =
2 2Er (l + 1/2) k = k .

De las
dos posibilidades para el polinomio (r) seleccionaremos la que corresponde a k =
2 2E(2l + 1) de forma que < 0 y se anule13 en el interior de (0, ), luego la otra
0

posibilidad conduce a una funcion no integrable en (0, +)

(r) = 2(l + 1 2Er),

por tanto,
= k + 0 (r) = 2(1 (l + 1) 2E).
Usando (5.4) tenemos

0 (r) l + 1 2Er
= , = (r) = r l+1 e 2Er
.
(r) r
Entonces la solucion de nuestra ecuacion es del tipo

R(r) = r l+1 e 2Er
y(r),
13
Recordemos que (x) = cP1 (x), siendo P1 el correspondiente polinomio ortogonal.

58
siendo y la solucion de la ecuacion

ry 00 (r) + [2(l + 1) 2Er]y 0 (r) + y(r) = 0.

El cambio lineal x = 2 2Er nos transforma la ecuacion anterior en la ecuacion

xy 00 (x) + [(2l + 1) + 1 x]y 0 (x) + e

y(x) = 0, e = ,

2 2E

quecorresponde a los polinomios de Laguerre L2l+1 e = n, entonces =

(x). Ademas, como
n
2n 2E. Por otro lado, = k + 0 (r), luego
1
E=
2(n + l + 1)2

As,
R(r) = Nn,l xl+1 ex/2 L2l+1
n (x), x = 2 2Er,
con Nn,l tal que
Z Z
2 n+l+1
R (r)dr = 1, = R2 (x)dx = 1.
0 2 0

Ahora bien,
Z Z Z
2 2 2l+2 x
R (x)dx = Nn,l x e (L2l+1
n (x))2dx = 2
Nn,l (x)x(L2l+1
n (x))2dx =
0 0 0

2
= Nn,l n d2n = Nn,l
2
2(n + l + 1)n!(n + 2l + 2)!,
donde hemos usado la relacion de recurrencia (3.16) para el producto x L 2l+1
n (x) y luego la
ortogonalidad. Por tanto
s
1
Nn,l = 2
.
(n + l + 1) n!(2n + l + 1)!

0.07
x2 R0,0 2
0.06

0.05 x2 R3,1 2
0.04

0.03 x2 R3,0 2

0.02

0.01

5 10 15 20 25
Estado fundamental (negro) y exitado n = 1, l = 0, 1 (grises) del atomo de Hidrogeno

59
5.2. La teora de representacion de grupos
Comenzaremos con algunas definiciones e ideas propias de la teora de grupos. Para una
introduccion mas rigurosa recomendamos al lector consultar algun texto especfico de teora de
grupos e.g. [4, 19, 20, 21].

Un conjunto de elementos G es un grupo si a todo par ordenado (g 1, g2 ) de G le corresponde

un elemento g = g1 g2 y se cumple que:

1. (g1 g2 ) g3 = g1 (g2 g3) para todos g1 , g2, g3 de G, i.e., * es una operacion asociativa,

2. existe un elemento e tal que e g = g e = g para todo g de G, i.e., existe el elemento

neutro respecto a *.

3. para todo g de G existe un elemento g 0 de G, que denotaremos por g 1 , y llamaremos

inverso de g tal que g g 0 = g 0 g = e.

Si la operacion *, denominada comunmente como multiplicacion, es tal que para todos g 1 y

g2 de G se cumple g1 g2 = g2 g1, diremos que el grupo es conmutativo.

Por ejemplo, el conjunto de los numeros reales R es un grupo conmutativo respecto a la

adicion estandar. Un ejemplo de grupo no conmutativo es el conjunto de las matrices cuadradas
con determinante no nulo respecto a la operacion multiplicacion de matrices.

Dentro de la teora de grupos juegan un papel importante las clases de elementos conjugados.
Dos elementos g y g 0 de G se denominan conjugados si g 0 = ggg 1 . Si g recorre todo el grupo,
entonces puede ocurrir que aparezcan elementos iguales. Supongamos que g 1 y g2 son dos
elementos distintos conjugados a g. Entonces g1 y g2 son conjugados uno del otro ya que si

g1 = ggg 1, g2 = ggg 1 = g2 = (gg 1 )g1(gg 1 )1 .

De esta forma se definen las clases de elementos conjugados de un grupo G como los conjuntos
constituidos por todos los elementos mutuamente conjugados.
Un grupo A conmutativo que tiene la adicion (suma) como operacion * se denomina anillo
si en A esta definida la multiplicacion y satisface la propiedad distributiva

g1 (g2 + g3 ) = g1 g2 + g1 g3 , (g1 + g2) g3 = g1 g3 + g3 g3.

Un anillo se dice asociativo (conmutativo) si tiene un elemento unidad respecto a la multipli-

cacion y dicha operacion tiene la propiedad asociativa (conmutativa). Un anillo conmutativo
se denomina campo. Como ejemplos de campos tenemos el conjunto de los numeros reales R y
complejos C.

Dado un anillo A y un campo K, se dice que A es un algebra sobre K si, definida la operacion
externa , se cumple que para todos a, b de A y , 1 de K, los elementos a, b pertenecen
aAy

(a + b) = a + b, 1 a = a, (a b) = ( a) b = a ( b).

Un algebra compleja asociativa es un algebra sobre C donde la operacion multiplicacion es

asociativa.

60
La teora de representacion
Definicion 5.1 Sea R un espacio lineal cualquiera sobre C, el campo de los numeros complejos,
y T : R 7 R un operador lineal sobre dicho espacio. Diremos que T es una representacion de
G sobre R si a cada g G le corresponde un T(g) de forma que14

g1 , g2 G, g = g 1 g2 = T(g1)T(g2) = T (g1 g2) = T (g), T(e) = I,

donde I denota el operador indentidad15.

El espacio R se denomina espacio de la representacion de G. Si R es de dimension finita,

entonces se dice que la representacion T es una representacion finita, en caso contrario se dice
que es infinita.
En general, en R todo operador T : R 7 R se puede representar mediante matrices cua-
dradas, en este caso se dice que T es una representacion matricial de G. Cualquier base de R
se denomina base de la representacion, ademas, el mayor numero de vectores linealmente inde-
pendientes de R determina la dimension de R y por tanto la dimension de la representacion.
As, dim T = dim R.

Cuando los elementos de la matriz asociada a T son funciones continuas de uno o mas
parametros, se dice que la representacion T(g) es continua.

Definicion 5.2 Sea T una representacion de G en el espacio R. Diremos que un subespacio

R0 R es invariante respecto a T (y por tanto respecto a la accion del grupo) si

g G, r R0 = T(g)r R0.

Definicion 5.3 Una representacion T de G en el espacio R se llama irreducible si en R no

existe ningun otro subespacio invariante excepto el nulo y el mismo.

En otras palabras, T (g) es irreducible si no existe ningun cambio de base en R tal que en la
nueva base la representacion matricial de T sea diagonal por bloques. Si denotamos por A la
matriz de cambio de base en R, entonces T es irreducible si y solo si no existe A tal que

M1 0 0 0
0 M2 0 0

g G, AT(g)A1 = .. .. . . .. .. ,
. . . . .
0 0 0 Mk

donde M1 , . . . Mk denotan ciertas matrices cuadradas no nulas y 0 son matrices de ceros.

Supongamos ahora que R esta dotado de un producto escalar h, i. En general, puesto

que R esta definido sobre el campo de los numeros complejos C, el producto escalar involu-
crara numeros complejos. Por ejemplo, en el caso del producto P escalar estandar de vectores
r1 = (x1, . . . , xk ) y r2 = (x01, . . . x0k ), tendremos hr1 , r2 i = kj=1 xj x0j .

Definicion 5.4 Una representacion T de G en el espacio R se llama unitaria si el operador

T es unitario, o sea,

g G, r1 , r2 R, hT(g)r1, T(g)r2i = hr1 , r2 i.

14
Por T(g) denotaremos el operador asociado al elemento g G. Ademas, T(g) es un operador que actua
sobre R.
15
Es decir para todo r R, Ir = r.

61
 Definicion 5.5 Dado un operador T : R 7 R, se dice que T es el conjugado de T si

r1 , r2 R, hTr1 , r2 i = hr1, Tr2 i.

Si el operador T es unitario entonces

hr1 , r2 i = hTr1, Tr2 i = hr1, T Tr2i = T = T1,

de donde deducimos que para nuestra representacion se tiene

T(g) = T1(g) = T(g 1).

Cuando T es una representacion matricial unitaria, entonces las matrices T han de ser hermti-
T
cas, es decir Tij := Tij = Tji = Tij .

5.3. El grupo de rotaciones del espacio O(3).

Vamos a estudiar el grupo formado por las rotaciones del espacio R3 respecto al origen.
Obviamente cualquier rotacion del espacio esta totalmente determinada mediante un eje de
rotacion o direccion, y un angulo . El eje lo determinamos mediante un vector unitario ~n,
as cada elemento del grupo lo representaremos mediante g(~n, ). Es facil comprobar que el
conjunto de las rotaciones del espacio forman un grupo que ademas es no conmutativo basta
ver que un giro de 90 grados respecto al eje 0x seguido de uno de 90 grados respecto al eje Oy
no coincide con un giro de 90 grados respecto al eje 0y seguido de uno de 90 grados respecto al
eje Ox.

z z z

0 0
PSfrag replacements z PSfrag replacements z
0
g replacements z
y0 y0 y0
00
y 00 y y 00

y y
z 00 y z 00 z 00

x000 x x
x x0 x0
x0 x00 x00
x00 x000 x000

Figura 3: Angulos de Euler

Existe una parametrizacion mas sencilla de cualquier giro espacial debida a Euler y que se basa
en tres rotaciones consecutivas alrededor de los ejes coordenados. Imaginemos que hemos hecho
cierta rotacion despues de la cual los ejes xyz se transforman en x0 y 0 z 0. Para obtener dicho giro
haremos consecutivamente tres giros respecto a los ejes coordenados. El primero sera de un
angulo respecto al eje 0z (ver figura 3 izquierda) de forma que los ejes 0x y 0y se transforman
en 0x00 y 0y 00 . La magnitud del giro sera tal que podamos, mediante un unico giro de magnitud
respecto al nuevo eje 0y 00 hacer coincidir el eje 0z en el 0z 0 buscado (ver figura 3 central)
mediante este segundo giro el eje 0x00 se transformara en el 0x000 , y finalmente, mediante
un giro de magnitud hacemos coincidir los ejes 0x000 y 0y 00 con los ejes 0x0 y 0y 0 ver figura 3
derecha).
As pues, los elementos el grupo O(3) quedan determinados por tres parametros continuos
, y que ademas varan en los intervalos [0, 2), [0, ] y [0, 2). Los grupos

62
 que dependen de parametros continuos se suelen denominar grupos continuos 16. Ademas, como
la region de variacion de los parametros es acotada, el grupo se denomina compacto.

Sea O(3) el grupo de las rotaciones del espacio R3 respecto al origen. Obviamente cualquier
elemento de O(3) quedara completamente determinado por tres parametros reales que determi-
nen el correspondiente giro. Entonces, la accion de cualquier elemento de O(3) en R 3 se puede
representar mediante una matriz 3 3 que actua sobre cualquier vector ~x = (x, y, z) T de R3 .
Sean gij (1 , 2 , 3 ) los elementos de dicha matriz.

Definiremos los generadores de O(3) como las matrices Ak cuyos elementos son

gij (1, 2 , 3 ) 
(Ak )ij =  ,
k 
1 =2 =3 =0

de donde tenemos que si hacemos un giro infinitesimal

3
X
g(1, 2 , 3 ) = I + k Ak + o(kk),
k=1

es decir los generadores definen, en primera aproximacion, a los elementos del grupo.

Consideremos, por ejemplo, dos rotaciones consecutivas alrededor de un eje fijo (digamos el
Oz) entonces tenemos

g(1, 0, 0)g(2 , 0, 0) = g(1 + 2, 0, 0) = g(, 0, 0), g(0, 0, 0) = I.

Derivemos la expresion anterior respecto a 1 y pongamos 1 = 0, 2 = , entonces tenemos

 !
g(, 0, 0) g(, 0, 0) 
=  g(, 0, 0) = A1 g(, 0, 0),

=0

de donde se deduce que g(, 0, 0) = exp( A1 ). Para el resto de las rotaciones se procede de
forma analoga. Es decir, en general tenemos

g(~n, ) = exp( A~n ), (5.9)

donde A~n representa el operador infinitesimal (generador)

z0 z del giro de magnitud infinitesimal respecto al eje definido
PSfrag replacements P 0 (yz) por ~n.
P
(y, z)
Encontremos a continuacion los generadores de O(3).
y0 Comenzaremos encontrando la matriz de giro respecto al
x0 eje 0x. Para ello realizamos un giro alrededor de eje 0x.

Sean las coordenadas de cierto punto P en el plano Oyz
y antes de girar y sean (y 0 , z 0 ) las coordenadas despues del
(y 0, z 0) giro. Entonces tenemos (ver figura 4)


x (y, z) = (r cos , r sen ),

Figura 4: Rotacion del eje 0x (y 0 , z 0 ) = (r cos( + ), r sen( + )),

16
Un estudio detallado de los grupos continuos se puede encontrar en el magnfico libro de L. C. Pontriaguin,
Grupos Continuos.

63
 de donde

y 0 = y cos z sen , z 0 = y sen + z cos ,

es decir la matriz g1 correspondiente a este giro es

1 0 0
g(~nx , ) = 0 cos sen .
0 sen cos

Entonces,
  0 0 0
g(~nx , ) 
A1 =  = 0 0 1 .

=0 0 1 0
Analogamente, para los giros g(~ny , ) y g(~nz , ) respecto a los ejes Oy y Oz, respectivamente,
tenemos

cos 0 sen    0 0 1
g(~ny , ) 
g(~ny , ) = 0 1 0 , A2 =  = 0 0 0 .

sen 0 cos =0 1 0 0

cos sen 0    0 1 0
g(~nz , ) 
g(~nz , ) = sen cos 0 , A3 =  = 1 0 0 .

0 0 1 =0 0 0 0
Un sencillo calculo nos indica que

A1 A2 A 2 A1 = A 3 , [A1 , A2 ] = A3
A2 A3 A 3 A2 = A 1 [A2 , A3 ] = A1
A3 A1 A 1 A3 = A 2 [A3 , A1 ] = A2 ,

donde [A, B] denota al conmutador [A, B] = AB BA. Ademas, las matrices A i , i = 1, 2, 3,

son antihermticas, es decir Aij = Aji = Aij .

En vez de los operadores A1 , A2 y A3 se suele trabajar con los operadores hermticos Jx , Jy

y Jz definidos por Jx = iA1, Jy = iA2 , Jz = iA3 , y los operadores Jz = iA3 , J+ = iA1 A2 ,
J = iA1 + A2 , de forma que se tiene

[J+ , J ] = 2Jz , [Jz , J ] = J . (5.10)

Ademas,
Jz = Jz , J = J . (5.11)
Usando lo anterior y los angulos de Euler tenemos que cualquier rotacion del espacio se define
mediante el operador unitario

g(, , ) = eiJz0 eiJy00 eiJz , (5.12)

donde Jz , Jy00 y Jz 0 son los operadores infinitesimales correspondientes a las rotaciones de los
ejes 0z, 0y 00 y 0z 0 respectivamente (ver la figura 3).

Finalmente, usando induccion y las reglas de conmutacion (5.10) es facil comprobar que

[Jz , Jk ] = kJk , [J+ , Jk ] = kJk1 (2Jz k + 1). (5.13)

64
5.3.1. Las representaciones unitarias Dj de O(3)
Como cualquier representacion T del grupo O(3) sobre un espacio lineal R debe respe-
tar la regla de multiplicacion del grupo, entonces si denotamos por T(g) a los elementos de
cierta representacion de O(3), y sean Jz : R 7 R, J+ : R 7 R y J : R 7 R, los gene-
radores (las matrices u operadores infinitesimales de la representacion), entonces J z y J han
de satisfacer las mismas relaciones de conmutacion (5.10) y relaciones respecto a la operacion .

Vamos a restringirnos a encontrar los elementos matriciales de los generadores J z y J

de cualquier representacion finita y unitaria de O(3) en la base de autovectores de J z .
Probaremos la siguiente
Proposicion 5.1 Si Jz = , entonces J es un autovector de Jz correspondiente al au-
tovalor 1.
Demostracion: Usando las relaciones de conmutacion (5.10)

Jz (J ) = (J Jz J ) = ( 1)J ,

por tanto J es el autovector de Jz correspondiente a 1.

Vamos a construir las representaciones irreducibles (RI) finitas17 de O(3) que denotaremos
por Dj . Ante todo notemos que al ser los operadores (matrices) Jz hermticas, entonces sus
correspondientes autovalores son reales18 y ademas, los autovectores correspondientes a auto-
valores distintos son ortogonales19.
Sea j el mayor autovalor de Jz y j el correspondiente autovector, es decir Jz j = jj .
Impondremos que hj , j i = 1. Como la representacion es finita y j es el autovector mas grande
entonces J+ j = 0. Sea J j = j j1 , donde j lo escogeremos de forma que hj1 , j1 i =
1. Ademas Jz j1 = (j 1)j1 , entonces

J (J j ) = J j j1 = j j1 j2 ,

con Jz j2 = (j 2)j2 , y as sucesivamente podemos construir los vectores j , j1 , . . . ,

jk , es decir
m = Nj,m Jjm j .
Ahora bien, como estamos tratando las RI finitas, entonces solo puede haber un numero finito
de autovalores para las correspondientes matrices J , as que existira cierto k de forma que
J jk = 0, as que jk = 0. En general tendremos

Jz m = mm , J m = m m1 , m = j, j 1, . . . , j k, jk = 0.

Ahora bien,
1 1 2j
J+ j = 0, J+ j1 = J+ J j = (J J+ + 2Jz )j = j ,
j j j
17
Es sabido que las representaciones irreducibles de un grupo compacto son finitas, no siendo as en general.
18
En efecto, puesto que Jz j = jj , Jz j = jj , entonces

jkj k = hj , Jz j i = hJz j , j i = hJz j , j i = j kj k = j = j.

19
Ello es consecuancia de que Jz = Jz , y entoncs para j 6= m,

0 = hJz j , m i hj , Jz m i = (j m)hj , m i = hj , m i = 0.

65
entonces, por induccion tendremos que J+ m = m m+1 . Ya hemos visto que es cierto para
m = j 1. Supongamos que lo es para j , . . . , m , entonces

1 1 m+1 m + 2m
J+ m1 = J+ J m = (J J+ + 2Jz )m = m = m1 m ,
m m m
es decir, m+1 m m m1 = 2m, j = 0. Finalmente, como

m = hm+1 , J+ m i = hJ m+1 , m i = m+1

la ecuacion anterior nos da

j
X
2m 2m+1 = 2m = 2m 2j+1 = (2k 2k+1 ) = (j + m)(j m + 1),
k=m

de donde, al ser j+1 = 0, deducimos

p p
m = (j + m)(j m + 1), m = (j + m + 1)(j m).

As pues

Jz m = mm
p p
J+ m = (j m)(j + m + 1)m+1 = j(j + 1) m(m + 1)m+1 (5.14)
p p
J m = (j + m)(j m + 1)m+1 = j(j + 1) m(m 1)m1 .

Como J j = 0, tenemos que el menor autovector es m = j, entonces, como numero total

de autovectores es 2j + 1, j solo puede ser un numero entero o semientero, por tanto en la
formula (5.14) tenemos j = 0, 21 , 1, 32 , 2 . . ., m = j, j + 1, . . . , j 1, j. Ademas, usando las
relaciones generalizadas (5.13) es facil comprobar que
2
hm , m i = Nj,m hJjm j , Jjm j i = Nj,m
2
hj , J+jm Jjm j i
2
= Nj,m (j m)(j + m + 1)hj , J+jm1 Jjm1 j i,

de donde se deduce que los autovectores normalizados son20

s
(j + m)!
m = Jjm j , (5.15)
(2j)!(j m)!

donde j = 0, 12 , 1, 32 , 2, . . . , m = j, j + 1, . . . , j 1, j.
Probemos ahora que las representaciones Dj definidas sobre cualquiera de los espacios li-
neales R generados por los vectores j , j+1 . . . , j son irreducibles. Para ello supondremos
que en R hay un subespacio invariante R0 respecto a todas las transformaciones T(g), y en
particular a las transformaciones infinitesimales Ak , k = 1, 2, 3, o Jz y J . Sea un vector
propio correspondiente al mayor autovalor de la matriz de Jz en R0. Dado que R0 R,
entonces podemos desarrollarlo en la base de R,
j
X
= cm m .
m=j

20 k k k1 k1
Es mas facil verlo de la forma hj , J+ J j i = k(2j k + 1)hj , J+ J j i.

66
Como corresponde al mayor autovalor de Jz , entonces J+ = 0, luego
j j
X X p
J+ = c m J+ m = cm (j m)(j + m + 1)m+1 = 0.
m=j m=j

Ahora bien, los vectores j , j+1 , . . . , j son linealmente independientes, de donde se tiene
que p
cm (j m)(j + m + 1) = 0, m = j, j + 1, . . . j 1, j,
p
pero como (j m)(j + m + 1) 6= 0, m = j, j + 1, . . . j 1, entonces deducimos que
cm = 0 para m = j, j + 1, . . . j 1. As pues, = cj j y por tanto j R0 . Pero
como R0 es invariante respecto a todas las transformaciones T(g) entonces, los vectores m ,
m = j, j + 1, . . . j 1, j, pertenecen a R0 , lo que implica que R0 coincide con R, lo que
prueba que las representaciones de dimension 2j + 1 anteriores son irreducibles.

Si usamos ahora los angulos de Euler y la formula (5.12) tenemos

T(g) = eiJz0 eiJy00 eiJz , (5.16)

donde Jz , Jy00 y Jz 0 son las representaciones infinitesimales correspondientes a las rotaciones de

los ejes 0z, 0y 00 y 0z 0 respectivamente (ver la figura 3).

Es facil comprobar que las clases de elementos conjugados en O(3) estan constitudas por
las rotaciones de la misma magnitud alrededor de cualquier eje ~n. Para ello basta notar que
si tenemos el giro g(~n, ) y el g 0 (n~0 , ), entonces

g 0 (n~0 , ) = gg(~n, )g 1 ,

siendo g el giro que lleva el eje n~0 a ~n. Por tanto lo mismo ocurrira para las correspondientes
representaciones  

T g 0 (n~0 , ) = T (g) T (g(~n, )) T g 1 ,

Usando lo anterior y la expresion (5.9) tenemos

eiJz0 = eiJy00 eiJz eiJz00 ,

ya que T (g) en este caso corresponde al giro que transforma el eje Oz en el Oz 0 que es precisa-
mente la rotacion mediante el angulo alrededor del eje Oy 00 (ver la figura 3). Analogamente

eiJy00 = eiJz eiJy eiJz .

Sustituyendo ambas expresiones en (5.16) obtenemos

T(g) = eiJz eiJy eiJz , (5.17)

j
Sea Dmm 0 (, , ) los elementos matriciales de T(g) en la base j , j+1 . . . , j de R anterior,

j iJz
Dmm 0 (, , ) = hm , T(g)m0 i = he m , eiJy eiJz m0 i. (5.18)

Entonces, como Jzk m = mk m para todo k N, tenemos

j
hm , eiJy m0 ieim = eim djmm0 ()eim ,
im 0 0
Dmm 0 (, , ) = e (5.19)

67
donde djmm0 () = hm , eiJy m0 i. Las funciones Dmm j
0 () se conocen como armonicos esfericos

generalizados o funciones de Wigner. Una propiedad inmediata de las funciones de Wigner es

la ortogonalidad
j
X j j
Dmk (, , )Dm 0 k (, , ) = mm0 .

k=j

Ello es consecuencia de que las RI Dj son unitarias. Ademas, como g 1 (, , ) = g(

, , ), tenemos,
j T j j
Dmm 0 (, , ) = Dm 0 m (, , ) = Dmm0 ( , , ).

De donde se deduce, en particular, que21

djmm0 () = (1)mm djm0 m () = djm0 m ().

0

Es facil comprobar que si hacemos dos giros consecutivos g1(1 , 1 , 1 ) y g2(2 , 2 , 2 ), entonces
si g = g1 g2 = g(, , ), entonces
j
j
X j j
Dmm 0 (, , ) = Dmk (1, 1 , 1 )Dkm 0 (2 , 2 , 2 ).

k=j

Sea ahora el operador

J 2 = Jx2 + Jy2 + Jz2 = J+ J + Jz2 Jz = J J+ + Jz2 + Jz . (5.20)

El operador anterior se denomina operador de Casimir y tiene la propiedad de conmutar con

los generadores J y Jz , es decir,

[J 2 , Jz ] = [J 2 , J ] = 0.

Por ejemplo, usando las relaciones de conmutacion (5.10)

[J 2 , Jz ] = [J J+ , Jz ] = J J+ Jz Jz J J+ = J J+ Jz J Jz J+ + J J+
= J J+ Jz + J J+ J J+ Jz J J+ = 0.

El resto es analogo.

Ahora bien, usando (5.15) tenemos

s s
(j + m)! (j + m)!
J 2 m = J 2 Jjm j = (J J+ + Jz2 + Jz )j
(2j)!(j m)! (2j)!(j m)!
s
(j + m)!
= j(j + 1) j = j(j + 1)m .
(2j)!(j m)!

As pues, los elementos de la base de cualquier RI de O(3) quedan determinados por los auto-
valores de los operadores J 2 y Jz que a su vez determinan la dimension j (2j + 1) y el valor de
m, mediante las formulas

J 2 jm = j(j + 1)jm , Jz jm = mjm . (5.21)

21
La ultima igualdad es algo mas complicada de probar.

68
En la mecanica cuantica estos operadores corresponden al operador momento angular (J) y su
j
proyeccion sobre el eje Oz (Jz ). Veamos ahora la interpretacion de las funciones de Wigner Dmm 0.

Supongamos que hemos fijado el espacio R de la RI Dj . Obviamente al aplicar el operador T (g)

sobre R obtendremos una nueva base que denotaremos por 0jm0 , de forma que 0jm0 = T (g)jm ,
pero entonces
j
X j j
0jm0 = Dmm 0 (, , )jm , Dmm 0 (, , ) = hjm , T(g)jm0 i, (5.22)
m=j

es decir, las funciones de Wigner determinan a la matriz de cambio de la base jm a la nueva

base 0jm0 al realizar el giro g(, , ). Existen varias formas para encontrar la expresion explcita
de las funciones de Wigner aunque no nos vamos a detener en ellas22 .
As, se tiene
s
(j + m)! mm
0
m+m
0
djmm0 () = (1)jm 2j
0
(1 s) 2 (1 + s) 2
(j + m0)!(j m0)!(j m)! (5.23)
jm h i
d 0 0
jm (1 s)jm (1 + s)j+m , s = cos .
ds
Comparando esta formula con la formula de Rodrigues para los polinomios de Jacobi se deduce
r s
2j + 1 j 0 (s) ,
dmm0 () = (1)mm P (s), s = cos ,
2 d2n n
con n = j m, = m m0 y = m + m0 . De la expresion anterior se deduce en particular que
Z
0 2
djmm0 ()djmm0 () sen d = jj 0 .
0 2j + 1

Usando la ortogonalidad de las funciones de Wigner y la relacion anterior (5.23), que nos
indica que las funciones djmm0 son reales, obtenemos la siguiente ortogonalidad discreta
j
X
djmk ()djm0 k () = mm0 .
k=j

No es difcil comprobar que esta corresponde a los polinomios de Kravchuk, as pues

s
(s) p
(1)mm djmm0 () =
0
k (s, N ), p = cos ,
d2n n

con n = j m, s = j m0 y N = 2j. A partir de las conexiones entre las funciones djmm0 y los
polinomios ortogonales se deducen una gran cantidad de propiedades de estos a partir de las
de aquellos.

5.3.2. Los coeficientes de Clebsch-Gordan

Sean T1 y T2 dos representaciones cualesquiera de O(3) y sean R1 y R2 los correspondientes
espacios lineales. Sean j1 m1 y j2 m2 las bases de dichos espacios. Definamos el espacio R
formado por todas las combinaciones lineales del tipo
X
= cm1 m2 j 1 m1 j 2 m2 .
m1 ,m2

22
El lector puede remitirse a los textos clasicos de teora de grupos como, por ejemplo [19, 20, 21], y especial-
mente a [14], donde hay una prueba muy sencilla.

69
Dicho espacio se denomina producto tensorial de R1 y R2 y lo denotaremos R = R1 R2. Una
base de R es obviamente el conjuntoPde todos los pares j1 mP
1 j2 m2 . Obviamente el producto de
cualquier funcion de R1 y R2 , 1 = m1 cm1 j1 m1 y 2 = m2 cm2 j2 m2 pertenece a R1 R2 .

Definamos una representacion de O(3) sobre R1 R2 de la siguiente forma: el giro g trans-

forma la base j1 m1 en la nueva base T1(g)j1 m1 y la base j2 m2 en la nueva base T2(g)j2 m2 ,
definamos el producto tensorial de dos representaciones T(g) = T1 (g) T2(g) sobre R1 R2
de forma que
T(g)(j1m1 j2 m2 ) = (T1(g)j1 m1 )(T2(g)j2m2 ). (5.24)
Es sencillo comprobar que los operadores T definidos de esta forma definen una representacion
de G en R = R1 R2
T(g1g2 )(j1m1 j2 m2 ) = [T1 (g1g2)j1 m1 ][T2 (g1g2)j2 m2 ]
= [T1 (g1)T1(g2)j1m1 ][T2 (g1)T2(g2)j2m2 ]
= T1(g1)T2(g1)[T1 (g2)j1m1 T2(g2)j2 m2 ]
= T(g1)[(T(g2)j1 m1 )(T2(g)j2m2 )] = [T(g1)T(g2)]j1 m1 j2 m2
Dicha representacion se denomina producto tensorial de las representaciones R1 y R2. Si
ahora definimos el producto escalar en R de la forma
hj1 m1 j2 m2 , j1 m01 j2 m02 i = hj1 m1 , j1 m01 ihj2 m2 , j2 m02 i,
entonces, si T1 y T2 son unitarias, T = T1 T2 tambien lo es.
Sea T(g) = e An~ el operador de la representacion T que actua sobre R, asociado al elemento
g correspondiente a un giro de magnitud respecto al eje ~n, donde como antes A~n denota al
operador infinitesimal correspondiente a dicho giro que actua en el espacio R. Entonces si
T(g) = T1(g) T2(g), usando (5.24) tendremos
e An~ (j1m1 j2 m2 ) = (e An~ ,1 j1 m1 )(e An~ ,2 j2 m2 ),
siendo A~n,k , k = 1, 2 el operador infinitesimal correspondiente a dicho giro que actua en el
espacio Rk . Entonces, derivando respecto a y haciendo = 0 obtenemos
A~n (j1 m1 j2 m2 ) = (A~n,1 j1 m1 )j2 m2 + (A~n,2 j2 m2 )j1 m1 ,
pero por definicion
A~n,1 (j1 m1 j2 m2 ) = (A~n,1 j1 m1 )j2m2 , A~n,2 (j1 m1 j2 m2 ) = (A~n,2 j2 m2 )j1m1 ,
por tanto A~n = A~n,1 + A~n,2 y [A~n,1 , A~n,2 ] = 0. En particular, se cumplira para los operadores
Jx , Jy y Jz definidos anteriormente y por tanto para los J .

Lo anterior nos indica que si J (k) y Jz (k), k = 1, 2, son los generadores de las represen-
taciones T1 y T2 en R1 y R2 , respectivamente, entonces los generadores de T = T1 T2 en
R1 R2 son
J = J (1) + J (2), Jz = Jz (1) + Jz (2),
que cumplen las mismas relaciones de conmutacion (5.10) que antes.

En adelante trabajaremos con las RI de O(3), Dj . Obviamente en el espacio R = R1 R2

donde esta definido el producto D1 D2 existe una base que denotaremos por jm tal que se
tiene (5.14), pero ademas tendremos
X
jm = hj1 m1, j2 m2|jmij1 m1 j2 m2 , (5.25)
m1 ,m2

70
donde hj1 m1, j2 m2|jmi se denominan coeficientes de Clebsch-Gordan. Ademas, es conocido que
dados los valores de j1 y j2 de las RI de O(3), j toma los valores desde |j1 j2 | hasta j1 + j2 ,
lo que simbolicamente se representa por
j1 +j2
X
j1 j2
D D = D j .
j=|j1 j2 |

Ademas, como Jz = Jz (1) + Jz (2), es facil comprobar que m = m1 + m2 .

Si ahora aplicamos el operador J 2 = (J1 + J2 )2 sobre (5.25) obtenemos la relacion de

recurrencia (ecuacion en diferencias)
p
[j2 m2 + 1][j2 + m2][j1 + m1 + 1][j1 m1]hj1 m1 + 1, j2 m2 1|jmi+
p
[j2 + m2 + 1][j2 m2][j1 + m1][j1 m1 + 1]hj1 m1 1, j2 m2 + 1|jmi+ (5.26)
 
j(j + 1) j1 (j1 + 1) j2 (j2 + 1) 2m1m2 hj1 m1, j2 m2|jmi = 0 .

Esta ecuacion se transforma directamente en la ecuacion en diferencias (4.3) escrita en la red

uniforme x(s) = s

[(s) + (s)]y(s + 1) + (s)y(s 1) + [ 2(s) + (s)]y(s) = 0. (5.27)

para los polinomios de Hahn mediante el cambio

s
(s)
hj1 m1 , j2 m2 |jmi = (1)s+n h (s, N ), (5.28)
d2n n

donde s = j1 m1, N = j1 + j2 m + 1, = m + j1 j2 , = m j1 + j2 , n = j m, y (s),

(,)
dn denotan las funciones peso y la norma de los polinomios de Hahn hn (s, N ).
Otra posibilidad es la siguiente
s
(s)
hj1 m1j2 m2 |jmiq = (1)N s1 h (s, N )q , (5.29)
d2n n

donde s = j2 m2, N = j1 + j2 m + 1, = m j1 + j2 , = m + j1 j2 , n = j m.
Ambas relaciones nos permiten traducir todas las propiedades estudiadas para los polinomios
de Hahn en propiedades para los coeficientes de Gordan-Clebsch. Por ejemplo, la ortogonalidad
de los polinomios de Hahn se transforma en la siguiente propiedad de ortogonalidad para los
CCG
X
hj1 m1, j2 m2|jmihj1 m1, j2 m2|j 0 m0i = jj 0 mm0 . (5.30)
m1 ,m2

La propiedad de simetra de los polinomios de Hahn se transforma en la propiedad de

simetra para los CCG

(1)j1+j2 j hj1 m1 , j2 m2|j mi = hj1 m1 , j2 m2 |jmi, (5.31)

71
La relacion de recurrencia a tres terminos para los polinomios de Hahn se transforma en la
siguiente relacion de recurrencia en j para los CCG
q
[jm][j+m][j1 +j2 +j+1][j2 j1 +j][jj2 +j1 ][j1 +j2 j+1]
0= hj1 m1, j2 m2|j 1mi
[2j+1][2j1][2j]2
 
j(j+1)+j2 (j2 +1)j1 (j1 +1)jj2
+ m2 2j(j+1) hj1 m1 , j2 m2 |jmi+

q
[jm+1][j+m+1][j1 +j2 +j+2][j2 j1 +j+1][jj2 +j1 +1][j1 +j2 j]
+ hj1 m1, j2 m2|j +1mi.
[2j+3][2j][2j+2]2

La formula de diferenciacion de los polinomios de Hahn se transforma en la siguiente relacion

de recurrencia para los CCG
p
(j1 m1 )(j1 m1 + 1)hj1 m1 1, j2 m2 |jmi
p
+ (j2 m2)(j2 m2 + 1)hj1 m1, j2 m2 1|jmi
p
= (j m)(j m + 1)hj1 m1 , j2 m2 |jm 1i.

Finalmente, usando la expresion explcita de los polinomios de Hahn tenemos

hj1 m1, j2 m2|jmi =

s
[2j + 1][j m]![j + m]![j1 m1]![j2 m2]![j1 + j2 j]!
= (1)j1m1
[j1 + j2 + j + 1]![j1 j2 + j]![j1 + j2 + j]![j1 + m1]![j2 + m2 ]!
X [j1 m1 + z]![j + j2 m1 z]!
(1)z ,
z
[z]![j m z]![j1 m1 z]![j2 j + m1 + z]!

donde la suma recorre los valores de z para los cuales todos los factoriales tienen argumentos
positivos.

Obviamente las representaciones en serie hipergeometrica de los polinomios de Hahn nos

permiten escribir los CCG del grupo O(3) como una serie 3F2.

72
Referencias
[1] M. Abramowitz y I. A. Stegun, Handbook of Mathematical Functions. Dover, New York,
1964.

[2] W. A. Al-Salam, Characterization theorems for orthogonal polynomials. En: Orthogonal

Polynomials: Theory and Practice. P. Nevai (Ed.) NATO ASI Series C, Vol. 294. Kluwer
Acad. Publ., Dordrecht, 1990, 1-24.
[3] R. Alvarez-Nodarse, Polinomios hipergemetricos y q-polinomios. Monografas del Semi-
nario Matematico Garca de Galdeano Vol. 26. Prensas Universitarias de Zaragoza,
Zaragoza, 2003.
[4] A. O. Barut, R. Raczka, Theory of group representations and applications. World Scientific
Publishing Co., Singapur, 1986 (segunda edicion).

[5] C. W. Cryer, Rodrigues formula and the classical orthogonal polynomials. Boll. Un. Mat.
Ital., 25(3) (1970), 1-11.
[6] T. S. Chihara, An Introduction to Orthogonal Polynomials. Gordon and Breach Science
Publishers, Nueva York, 1978
[7] A. G. Garca, F. Marcellan y L. Salto, A distributional study of discrete classical ortho-
gonal polynomials. J. Comput. Appl. Math. 57 (1995), 147-162.
[8] E. Grosswald, Bessel Polynomials. Lecture Notes in Mathematics Vol. 698. Springer-
Verlag, Berln, 1978.

[9] E. H. Hildebrandt, Systems of polynomials connected with the Charlier expansion and
the Pearson differential and difference equation. Ann. Math. Statist. 2 (1931), 379-439.
[10] R. Koekoek y R. F. Swarttouw, The Askey-scheme of hypergeometric orthogonal polyno-
mials and its q-analogue. Reports of the Faculty of Technical Mathematics and Informatics
No. 98-17. Delft University of Technology, Delft, 1998.
[11] H. L. Krall, On the derivatives of orthogonal polynomials II. Bull. Amer. Math. Soc. 47
(1941), 261-264.
[12] H. L. Krall y O. Frink, A new class of orthogonal polynomials: the Bessel polynomials.
Trans. Amer. Math. Soc. 65 (1949), 100-115.
[13] F. Marcellan y J. Petronilho, On the solutions of some distributional differential equations:
existence and characterizations of the classical moment functionals. Integral Transform.
Spec. Funct. 2 (1994), 185-218.
[14] A. F. Nikiforov, S. K. Suslov y V. B. Uvarov, Classical Orthogonal Polynomials of
a Discrete Variable. Springer Series in Computational Physics. Springer-Verlag, Berln,
1991. (Edicion en ruso, Nauka, Moscu, 1985)
[15] A. F. Nikiforov y V. B. Uvarov, Special Functions of Mathematical Physics. Birkhauser
Verlag, Basilea, 1988.
[16] A. F. Nikiforov y V. B. Uvarov, Polynomial Solutions of hypergeometric type difference
Equations and their classification. Integral Transform. Spec. Funct. 1 (1993), 223-249.

[17] G. Szego, Orthogonal Polynomials. Amer. Math. Soc. Coll. Pub. 23 American Mathe-
matical Society, Providence, Rhode Island, 1975 (cuarta edicion).

73
[18] F. Tricomi, Vorlesungen uber Orthogonalreihen. Grundlehren der Mathematischen Wis-
senschaften 76, Springer-Verlag, Berln-Gottinga-Heidelberg, 1955.

[19] N. Ja. Vilenkin, Special Functions and the Theory of Group Representations. Trans. of
Math. Monographs. 22. American Mathematical Society, Providence, Rhode Island, 1986.

[20] N. Ja. Vilenkin y A.U. Klimyk, Representations of Lie Groups and Special Functions.
Vol. I,II,III. Kluwer Academic Publishers. Dordrecht, 1992.

[21] E. P. Wigner, Group Theory and its Application to the Quantum Mechanics of Atomic
Spectra. Academic Press, New York, 1959.

74