4.

Polinomios ortogonales
4.1. Sistemas ortogonales
En adelante asumiremos que X es un espacio normado con la norma denida
por el producto escalar := , .
Un conjunto nito de vectores {
n
}
N
n=1
se denomina linealmente indepen-
diente si la ecuaci on

1
+
2

2
+ +
n

n
= 0,
tiene como unica soluci on la trivial
1
= =
n
= 0.
Un conjunto innito de vectores {
n
}

n=1
es linealmente independiente si
cualquier subsistema nito es linealmente independiente.
Diremos que {
n
}

n=1
es un sistema ortogonal dos a dos si

n
,
m
=
n,m

2
, n, m N. (19)
Por ejemplo, el sistema de funciones {1} {sin nx, cos nx}

n=1
es un sistema
ortogonal dos a dos respecto al producto escalar
f, g =
_

f(x)g(x)dx.
Asumiremos que el sistema de funciones {
n
}

n
es linealmente independien-
te. Denamos a continuaci on el sistema de funciones {
n
}
n
de forma que

1
=
1
,
2
=
2
+
2,1

1
,
n
=
n
+
n1

k=1

n,k

k
,
donde las constantes
n,k
, n N, k = 1, . . . , n1 son tales que
k
es orthognal
a todos los vectores
j
, j = 1, 2, . . . , k 1, anteriores.
El proceso anterior se denomina proceso de ortogonalizaci on de Gram-Schmidt.
Mediante un sencillo c alculo podemos comprobar que
n
se puede escribir de la
siguiente forma

n
=
1

n1

1
,
1

1
,
2

1
,
n1

1

2
,
1

2
,
2

2
,
n1

2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

n
,
1

n
,
2

n
,
n1

n

, (20)
donde
n
son los determinantes de Gram

n
=

1
,
1

1
,
2

1
,
n1

1
,
n

2
,
1

2
,
2

2
,
n1

2
,
n

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

n
,
1

n
,
2

n
,
n1

n
,
n

.
15
Adem as, para cada n tenemos

n
=
n
+
n1

k=1

n,k

k
,
De lo anterior deducimos que
n
es ortogonal a
k
, k = 1, 2, . . . , n1. M as a un,
los
n
son un conjunto linealmente independiente de X si y s olo si los
n
= 0,
para todo n N.
4.2. Los polinomios ortogonales
El ejemplo m as sencillo del proceso anterior es cuando tenemos el espacio de
las funciones de cuadrado integrable en (a, b) con peso (x) > 0, i.e.,
_
b
a
|f(x)|
2
(x)dx < .
En este espacio el producto escalar de dos funciones f y g se dene mediante la
integral
f, g =
_
b
a
f(x)g(x)(x)dx, (21)
y la norma de f vendr a dada por ||f|| =
_
f, f.
Deniremos los momentos
n
de (x) mediante
_
b
a
x
k
(x)dx =
k
k = 0, 1, 2, . . . . (22)
En adelante asumiremos que todos los momentos son nitos.
Denici on 4.1 Dada una sucesi on de polinomios (P
n
)
n
, diremos que (P
n
)
n
es
una sucesi on de polinomios ortogonales (SPO) con respecto a , si se cumple
que:
1. P
n
es un polinomio de grado n,
2. P
n
, P
m
= 0, m = n, para todo n, m = 0, 1, 2, . . . ,
3. P
n
, P
n
= 0, para todo n = 0, 1, 2, . . . .
El siguiente teorema es una consecuencia directa de la denici on anterior
Teorema 4.2 Sea (P
n
)
n
una sucesi on de polinomios tal que grado (P
n
) = n
(sucesi on normal). Las siguientes armaciones son equivalentes:
1. (P
n
)
n
es una SPO respecto al producto escalar , .
2. , P
n
= 0, para todo polinomio de grado m < n,
, P
n
= 0, si es un polinomio de grado n.
3. x
m
, P
n
= K
n

n,m
, donde K
n
= 0, m = 0, 1, . . . , n.
Como consecuencia del proceso de ortogonalizaci on de Gram-Schmidt apli-
cado a las potencias {x
k
}
k0
tenemos que
16
Teorema 4.3 Sea la medida asociada a la sucesi on (
n
)
n
. Una sucesi on de
polinomios (P
n
)
n
ser a una SPO si y s olo si

n
=

0

1

n

1

2

n+1
.
.
.
.
.
.
.
.
.
.
.
.

n

n+1

2n

= 0, n 0.
Adem as, el coeciente principal a
n
(P
n
(x) = a
n
x
n
+ ) viene dado por la
f ormula a
n
= K
n

n1
/
n
.
Es f acil comprobar que el proceso de Gram-Schmidt descrito anteriormente nos
conduce a la siguiente expresi on para los polinomios m onicos P
n
P
n
(x) =
1

n1

0

1

n

1

2

n+1
.
.
.
.
.
.
.
.
.
.
.
.

n1

n

2n1
1 x x
n

,
1
1, n = 0, 1, 2, . . . .
Tambien es evidente de la f ormula anterior que la sucesi on (P
n
)
n
es una SPOM
y que adem as est a compuesta por polinomios con coecientes reales.
Teorema 4.4 Sea (P
n
)
n
una sucesi on de polinomios ortogonales con respecto
al producto escalar , . Entonces la SPO (P
n
)
n
satisface una relaci on de recu-
rrencia a tres terminos de la forma:
xP
n
(x) =
n
P
n+1
(x) +
n
P
n
(x) +
n
P
n1
(x). (23)
donde los coecientes
n
,
n
, y
n
se expresan mediante las f ormulas:

n
=
xP
n
, P
n+1

P
n+1

2
,
n
=
xP
n
, P
n

P
n

2
,
n
=
xP
n
, P
n1

P
n1

2
. (24)
Generalmente se suele imponer que P
1
(x) = 0 y P
0
(x) = 1, con lo que una
SPO queda determinada de forma unica conocidas las sucesiones (
n
)
n
, (
n
)
n
y (
n
)
n
.
Otra forma de caclular los coecientes (24) es mediante las expresiones

n
=
a
n
a
n+1
,
n
=
b
n
a
n

b
n+1
a
n+1
,
n
=
c
n

n
c
n+1
a
n1

b
n
a
n1

n
, (25)
donde a
n
, b
n
y c
n
son los coecientes del desarrollo
P
n
(x) = a
n
x
n
+b
n
x
n1
+ c
n
x
n2
+ .
De las expresiones anteriores y (24) se deduce que
n
=
n1
P
n

2
/P
n1

2
.
Como un corolario de (23) se obtiene la conocida f ormula de Christoel-
Darboux cuya prueba se deja como ejercicio.
17
Teorema 4.5 Si (P
n
)
n
es una sucesi on de polinomios ortogonales que satisface
la relaci on de recurrencia a tres terminos (23). Entonces se cumple que:
Ker
n
(x, y) :=
n

m=0
P
m
(x)P
m
(y)
P
m

2
=

n
P
n

2
P
n+1
(x)P
n
(y) P
n+1
(y)P
n
(x)
x y
, n 1 .
(26)
Si hacemos tender y x, obtenemos la f ormula conuente de Christoel-
Darboux:
Ker
n
(x, x)
n

m=0
P
2
m
(x)
d
2
m
=

n
d
2
n
[P

n+1
(x)P
n
(x) P
n+1
(x)P

n
(x)] n 1 .
(27)
Proposici on 4.6 Los polinomios n ucleos satisfacen la siguiente propiedad re-
productora
p(x), Ker
n
(x, y) = p(y), p(x) P
n
. (28)
5. Los polinomios ortogonales clasicos
5.1. La ecuaci on diferencial hipergeometrica.
Nuestro objetivo ser a estudiar los polinomios ortogonales cl asicos denidos
sobre el eje real los cuales vamos a denir como las soluciones polin omicas de la
siguiente EDO
(x)y

+(x)y

+y = 0, (29)
donde y son polinomios de grados a lo m as 2 y 1, respectivamente. Esta
ecuaci on (29) usualmente se denomina ecuaci on diferencial hipergeometrica y
sus soluciones y cumplen con la propiedad, conocida como propiedad de hiper-
geometricidad: Si y es una soluci on de (29) sus m-esimas derivadas y
(m)
y
m
satisfacen una ecuaci on del mismo tipo.
Teorema 5.1 Si y es una soluci on de (29) sus m-esimas derivadas y
(m)
y
m
satisfacen la ecuaci on
(x)y

m
+
m
(x)y

m
+
m
y
m
= 0,

m
(x) = (x) +m

(x),
m
= +
m1

i=0

i
(x) = +m

(x) +
m(m1)
2

(x) .
(30)
La propiedad de hipergeometricidad es es muy importante pues nos permite
encontrar una f ormula explcita para los polinomios que satisfacen la ecuaci on
(29). Para ello usualmente se escriben (29) y (30) en su forma simetrica o au-
toconjugada:
[(x)(x)y

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

m
]

+
m

m
(x)y
m
= 0, (31)
18
donde y
m
son funciones de simetrizaci on que satisfacen las ecuaciones dife-
renciales de primer orden (conocidas como ecuaciones de Pearson):
[(x)(x)]

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

=
m
(x)
m
(x).
Conocida encontramos, utilizando las ecuaciones anteriores, que

m
(x) =
m
(x)(x). (32)
Teorema 5.2 Si para todo k N {0},

+ k

/2 = 0, entonces para las

soluciones polin omicas de la ecuaci on (30) se tiene la siguiente f ormula de Ro-
drigues:
P
(m)
n
(x) =
A
nm
B
n

m
(x)
d
nm
dx
nm
[
n
(x)], B
n
=
P
(n)
n
A
nn
, (33)
A
nm
= A
m
() |
=
n
=
n!
(n m)!
m1

k=0
[

+
1
2
(n +k 1)

]. (34)
Adem as, el autovalor
n
de (29) es

n
= n

n(n 1)
2

. (35)
Cuando m = 0 la f ormula (33) se convierte en la f ormula de Rodrigues para los
polinomios cl asicos
P
n
(x) =
B
n
(x)
d
n
dx
n
[
n
(x)(x)], n = 0, 1, 2, ... . (36)
Si imponemos unas sencillas condiciones adicionales se tiene que las solucio-
nes de (29) son ortogonales dos a dos:
Teorema 5.3 Supongamos que x
k
(x)(x)

x=a,b
= 0, para todo k 0. En-
tonces las soluciones polin omicas P
n
de la ecuaci on (29) constituyen una SPO
respecto a la funci on peso denida por la ecuaci on [(x)(x)]

= (x)(x), o
sea, se cumple que:
_
b
a
P
n
(x)P
m
(x)(x)dx =
nm
d
2
n
, (37)
donde
nm
es el smbolo de Kronecker y d
n
la norma de los polinomios P
n
.
Corolario 5.4 Si (P
n
)
n
es una familia de polinomios ortogonales respecto a
entonces para todo k Z, 0 k n 1 se tiene que
_
b
a
x
k
P
n
(x)(x)dx = 0.
Para calcular d
2
n
, podemos utilizar la f ormula de Rodrigues que, sustituyendo-
la en (37) e integrando por partes, nos da:
d
2
n
= B
n
(1)
n
n!a
n
_
b
a

n
(x)(x)dx. (38)
Para calcular los coecientes principales a
n
y b
n
, necesarios para encontrar
los coecientes de la RRTT (23) podemos usar la f ormula de Rodrigues para la
19
n1-esima derivada de P
n
: P
(n1)
n
(x) = A
nn1
B
n

n1
(x),de donde obtenemos
la igualdad:
P
(n1)
n
(x) = n!a
n
x + (n 1)!b
n
= A
nn1
B
n

n1
(x).
Luego,
a
n
=
B
n
A
nn
n!
= B
n
n1

k=0
[

+
1
2
(n +k 1)

], b
n
=
n
n1
(0)

n1
a
n
. (39)
De la f ormula de Rodrigues se deducen una serie de consecuencias muy
interesantes
1. es un polinomio de grado exactamente uno.
2. Tomando m = 1 en la f ormula (33) se deduce que
P

n
(x) =

n
B
n

B
n1

P
n1
(x), (40)
donde

P
n1
denota al polinomio ortogonal respecto a la funci on peso

1
(x) = (x)(x).
3. Si escribimos la f ormula (33) para el polinomio de grado n +1 obtenemos
una f ormula de diferenciaci on
(x)P

n
(x) =

n
n

n
_

n
(x)P
n
(x)
B
n
B
n+1
P
n+1
(x)
_
. (41)
de la cual se deduce una relaci on de estructura
(x)P

n
(x) =
n
P
n+1
(x) +

n
P
n
(x) +
n
P
n1
(x), n 0, (42)
donde

n
=

n
n

n
_

B
n
B
n+1
_
,

n
=

n
n

n
[
n

n
+
n
(0)] ,
n
=

n

n
n
.
(43)
4. Si denimos Q
n
(x)
P

n+1
(x)
n+1
, entonces los polinomios ortogonales m oni-
cos P
n
(x) = x
n
+ , soluciones de la ecuaci on (29), satisfacen la siguiente
relaci on de estructura:
P
n
(x) = Q
n
+
n
Q
n1
+
n
Q
n2
. (44)
5.2. Los Polinomios de Hermite, Laguerre y Jacobi.
5.2.1. Par ametros Principales.
Comenzaremos escribiendo los principales par ametros de las sucesiones de
polinomios ortogonales m onicos cl asicos, es decir, tales que su coeciente prin-
cipal a
n
= 1, i.e., P
n
(x) = x
n
+ b
n
x
n1
+ .

Estos se pueden clasicar en
tres grandes familias en funci on del grado del polinomio ( siempre es un
polinomio de grado 1). Cuando es un polinomio de grado cero los polinomios
20
Cuadro 1: Clasicaci on de las SPO Cl asicas.
P
n
(x) H
n
(x) L

n
(x) P
,
n
(x)
(x) 1 x 1 x
2
(x) 2x x + + 1 ( + + 2)x +

n
2n n n(n + + + 1)
(x) e
x
2
x

e
x
(1 x)

(1 +x)

> 1 , > 1

n
(x) e
x
2
x
n+
e
x
(1 x)
n+
(1 +x)
n+
correspondientes se denominan Polinomios de Hermite H
n
(x), cuando es de
grado 1, Polinomios de Laguerre L

n
(x) y cuando es de grado 2, Polinomios
de Jacobi P
,
n
(x), respectivamente. En las tablas 1 y 2 est an representados los
principales par ametros de dichas familias, en las cuales (a)
n
denota al smbolo
de Pochhammer
(a)
0
= 1, (a)
k
= a(a + 1) (a +k 1), k = 1, 2, 3, ... . (45)
5.2.2. Representaci on hipergeometrica.
De la f ormula de Rodrigues, o usando el metodo de las series de potencias,
(33) se puede obtener la representaci on de los polinomios de Hermite, Laguerre
y Jacobi en terminos de la funci on hipergeometrica de Gauss
2
F
1
denida en el
caso m as general de forma:
p
F
q
_
a
1
, a
2
, ..., a
p
b
1
, b
2
, ..., b
q

x
_
=

k=0
(a
1
)
k
(a
2
)
k
(a
p
)
k
(b
1
)
k
(b
2
)
k
(b
q
)
k
x
k
k!
. (46)
De esta manera encontramos que:
H
2m
(x) = (1)
m
_
1
2
_
m
1
F
1
_
m
1
2

x
2
_
,
H
2m+1
(x) = (1)
m
_
3
2
_
m
x
1
F
1
_
m
3
2

x
2
_
,
(47)
L

n
(x) =
(1)
n
(n + + 1)
( + 1)
1
F
1
_
n
+ 1

x
_
, (48)
P
,
n
(x) =
2
n
( + 1)
n
(n + + + 1)
n
2
F
1
_
n, n + + + 1
+ 1

1 x
2
_
. (49)
21
Cuadro 2: Par ametros de las SPO M onicas (a
n
= 1).
P
n
(x) H
n
(x) L

n
(x) P
,
n
(x)
B
n
(1)
n
2
n
(1)
n
(1)
n
(n + + + 1)
n
b
n
0 n(n +)
n( )
2n + +
d
2
n
n!

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

n
1 1 1

n
0 2n + + 1

2

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

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

n
0 0 n

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

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

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

n
0 0
4n(n 1)(n +)(n +)
(2n + + 1)(2n + +)
2
(2n + + + 1)
5.2.3. Casos particulares.
1. Los polinomios de Legendre P
n
(x) = P
0,0
n
(x).
2. Los polinomios de Chebyshev de primera especie T
n
(x):
T
n
(x) = P

1
2
,
1
2
n
(x) =
1
2
n1
cos[n arccos (x)].
3. Los polinomios de Chebyshev de segunda especie U
n
(x):
U
n
(x) = P
1
2
,
1
2
n
(x) =
1
2
n
sen[(n + 1) arccos (x)]
sen[ arccos (x)]
.
4. Los polinomios de Gegenbauer G

n
(x):
G

n
(x) = P

1
2
,
1
2
n
(x), >
1
2
.
22
5.2.4. Otras caractersticas.
Como consecuencia de las f ormulas anteriores podemos obtener los valores
de los polinomios en los extremos del intervalo de ortogonalidad.
H
2m
(0) =
(1)
m
(2m)!
2
2m
m!
, H
2m+1
= 0, L

n
(0) =
(1)
n
(n + + 1)
( + 1)
,
P
,
n
(1) =
2
n
( + 1)
n
(n + + + 1)
n
, P
,
n
(1) =
(1)
n
2
n
( + 1)
n
(n + + + 1)
n
.
(50)
Utilizando la f ormula (40) encontramos las ecuaciones ( = 1, 2, 3, ..., n =
0, 1, 2, ...):
(H
n
(x))
()
=
n!
(n )!
H
n
(x), (L

n
(x))
()
=
n!
(n )!
L
+
n
(x), (51)
(P
,
n
(x))
()
=
n!
(n )!
P
+,+
n
(x), (52)
donde (P
n
(x))
()
denota la esima derivada de P
n
(x).
Directamente a partir de las correspondientes EDOs se puede probar que los
polinomios de Hermite y Gegenbauer se relacionan con los de Hermite y Jacobi,
respectivamente mediante las siguientes relaciones:
H
2m
(x) = L

1
2
m
(x
2
), H
2m+1
(x) = xL
1
2
m
(x
2
) ,
G

2m
(x) = P

1
2
,
1
2
2m
(x) =
1
2
m
P

1
2
,
1
2
m
(2x
2
1),
G

2m+1
(x) = P

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

1
2
,
1
2
m
(2x
2
1).
(53)
Adem as, de la f ormula de Rodrigues se puede encontrar la siguiente propiedad
de simetra para los polinomios de Jacobi:
P
,
n
(x) = (1)
n
P
,
n
(x). (54)
5.3. Problemas
Problema 5.1 Probar todas las propiedades de los polinomios cl asicos enume-
radas en el apartado 5.2.
Problema 5.2 Probar la ortogonalidad de las kesimas derivadas de los poli-
nomios hipergeometricos y
k
P
(k)
n
, es decir,
_
b
a
P
(k)
n
(x)P
(k)
m
(x)
k
(x)dx =
nm
d
2
kn
. (55)
Problema 5.3 Prueba que los polinomios n ucleos satisfacen la propiedad re-
productora (28)
Problema 5.4 A partir de la ecuaci on de Pearson demuestra el siguiente
23
Teorema 5.5 Sea C. Se denen los momentos generalizados como
C
,
(z) =
_
b
a
(s z)

(s)ds. (56)
Si se cumple la condici on de frontera
(s)

(s)(s z)

b
a
= 0, 0, (57)
entonces los momentos generalizados verican la siguiente relaci on de recurren-
cia a tres terminos
(z)C
,1
(z) + [

(z) +

(z)] C
,
(z) +
_

+
1
2

_
C
,+1
(z) = 0. (58)
Usando lo anterior, encuentra una relaci on de recurrencia para los momentos
C
n
:= C
0,n
(0) de los polinomios de Jacobi, Laguerre y Hermite. Usando la
relaci on de recurrencia encuentra los momentos de los polinomios de Laguerre
y Hermite.
Un caso de especial relavancia son los polinomios de Gegenbauer que corres-
ponden al caso = = 1/2. Encontrar la relaci on de recurrencia para los
momentos C
n
:= C
0,n
(0) en este caso y resuelvela. A partir de esta encuentra
los momentos de los polinomios de Legendre P
n
(x) = P
0,0
n
(x), los polinomios de
Chebyshev de primera especie T
n
(x) = P

1
2
,
1
2
n
(x) y los polinomios de Chebys-
hev de segunda especie U
n
(x) = P
1
2
,
1
2
n
(x), respectivamente.
Problema 5.5 Dada una sucesi on n umerica (A
n
)
n
y una sucesi on de polino-
mios (P
n
)
n
encontrar una funci on (x, t) tal que,
(x, t) =

n=0
A
n
P
n
(x)t
n
. (59)
Si existe tal funci on, dicha funci on se denomina funci on generatrz de la suce-
si on (P
n
)
n
.
Demuestra que la funci on generatrz para los polinomios de Hermite viene
dada por

n=0
2
n
n!
H
n
(x)t
n
= e
2xtt
2
, . (60)
Demuestra que la funci on generatrz para los polinomios de Laguerre viene dada
por

n=0
(1)
n
n!
L

n
(x)t
n
=
e

tx
1t
(1 t)
+1
.
Sean los polinomios de Gegenbauer C

n
(x) := P

1
2
,
1
2
n
(x) que son un caso
particular de los polinomios de Jacobi. Prueba que en este caso
1
(1 2xt +t
2
)

n=0
2
n
()
n
n!
C

n
(x)t
n
, (61)
donde ()
n
es el smbolo de Pocchamer. Como casos particulares deducir la de
los polinomios de Chebychev de primera y segunda especie y la de los polinomios
de Legendre.
24
Problema 5.6 Prueba las relaciones
P
,+1
n1
(x) =
(2n + +)(1 x)
2n( +n)
d P
,
n
dx
(x) +
(2n + +)
2( +n)
P
,
n
(x), (62)
P
+1,
n1
(x) =
(2n + +)(x + 1)
2n( +n)
d P
,
n
dx
(x)
(2n + +)
2( +n)
P
,
n
(x). (63)
Problema 5.7 Los polinomios n ucleos Ker
n1
(x, y) se denen mediante la ex-
presi on
Ker
n1
(x, y) =
n1

m=0
P
m
(x)P
m
(y)
d
2
m
.
Usando la f ormula de Christoel-Darboux, los valores en los extremos y las
f ormulas de diferenciaci on, prueba las siguentes f ormulas:
N ucleos de los polinomios de Hermite:
Ker
H
2m1
(x, 0) =
(1)
m1

(m1)!
L
1
2
m1
(x
2
) =
(1)
m1
2

(m 1)!
H

2m
(x)
x
,
Ker
H
2m
(x, 0) =
(1)
m

(m)!
L
1
2
m
(x
2
) =
(1)
m

(m)!
H
2m
(x)
x
,
Ker
H
2m1
(0, 0) =
(2m1)!
2
2m2

(m1)!
2
, Ker
H
2m
(0, 0) =
(2m+ 1)!
2
2m

m!
2
.
N ucleos de los polinomios de Laguerre:
Ker
L
n1
(x, 0) =
(1)
n1
( + 1)n!
(L

n
)

(x), Ker
L
n1
(0, 0) =
( + 1)
n
( + 2)(n 1)!
.
N ucleos de los polinomios de Jacobi:
Ker
J,,
n1
(x, 1) =
,
n
d
dx
P
1,
n
(x) = n
,
n
P
,+1
n1
(x), (64)
Ker
J,,
n1
(x, 1) = (1)
n+1

,
n
d
dx
P
,1
n
(x) = n(1)
n+1

,
n
P
+1,
n1
(x), (65)
donde por
,
n
y
,
n
denotaremos las cantidades

,
n
=
(1)
n1
(2n + +)
2
++n
n!( + n)( + 1)
,
,
n
(1)
n1
(2n + +)
2
++n
n!( + 1)( +n)
.
Usando (64)-(65) tenemos
Ker
J,,
n1
(1, 1) =
( +n + 1)( + +n + 1)
2
++1
(n 1)!( + 1)( + 2)( +n)
,
Ker
J,,
n1
(1, 1) =
(1)
n1
( + +n + 1)
2
++1
(n 1)!( + 1)( + 1)
.
Utilizando la relaci on de simetra para los polinomios de Jacobi demuestra que
Ker
J,,
n1
(1, 1) = Ker
J,,
n1
(1, 1).
25