(1)
R(x) dx
fcilmente:
(2)
A1 y A2 no ambas nulas
B1 y B2 no ambas nulas.
y + y =0
y(L) = y(-L);
y(L) = y(-L).
R(x) dx
= 1.
= k y = C1 e
kx
+ C2 e
kx
y(L) = C1 e
kL
+ C2 e
kL
= y(-L) = C1 ekL + C2 e kL C1 = C2
kL
kL
-e
-k C2 e
kL
kL
) = C1 (e kL - e kL) C1 = - C1 = 0 y C2 = 0
efecto:
Si sen kL 0 entonces C2 = 0
Al imponer la segunda condicin de borde (siempre con sen kL 0) se ve que
y(L) = y(-L) = -k C1 sen kL + kC2 cos kL = kC1 sen kL + kC2 cos kL
As entonces:
yn(x) = C1 cos (n x / L) + C2 sen (n x / L)
Con C1 y C2 no ambas nulas.
Observe que con n=0 nos da el caso a): y0(x) = C1
2
lm n =
n
.g=
.g=
(4)
(r(x) n) m - (r(x) m) n = (
m - n) p(x) nm
m n
b
(5)
a
r(x) n m a
r(x) n m dx - r(x) m n
a
+ r(x) n m dx =
a
(6)
n(a)
n (a)
m(a)
m (a)
As, el segundo corchete de (6) es nulo. Del mismo modo se comprueba que el
primer corchete es nulo, aplicando las condiciones de frontera en b.
Si m = n,
b
2
*
Los n son reales.
Supongamos que n = + i y
n
a
p(x) dx = 0
n = real.
*
Dos funciones propias con el mismo son linealmente dependientes
Si observamos la (4) con n = m su segundo miembro es nulo.
As obtenemos:
(r(t) n) m dt - (r(t) m) n dt =0
a
a
x
r(t) n m
r(t) n m dt [r(t) mn +
a
r(t) n m dt = 0
a
r(x) n(x) m(x) - r(a) n(a) m(a) - r(x) m(x) n(x) + r(a) n(a) m(a) = 0
Agrupando,
r(x) [n(x) m(x) - m(x) n(x)] r(a) [n(a) m(a) - n(a) m(a)] = 0
Pero el corchete evaluado en a es nulo como ya hemos visto. Adems r(x) >0,
Entonces
m(x)
O bien
n(x)
W(x) =
m(x)
n(x)
dependientes.
y + y =0
y(-L) = y(L) = 0;
y(-L) = y(L) = 0
y(x) =
An cos (n x/ L) + Bn sen (n x/ L) =
n=0
Siendo 1, cos ( x/ L), sen ( x / L), cos (2 x/ L), sen (2 x / L), ... las
aotofunciones.
Aqu p(x) = 1.
Entonces, multiplicando por cos (n x/ L) o por sen (n x/ L) e integrando
entre
L y L se obtienen respectivamente:
L
Ao = 1/2L y(x) dx
para n=0;
-L
L
Polinomios Ortogonales
Una vez definido el producto interno entre dos funciones < f , g >, respecto a
una funcin de peso como:
a
Donde
1 si m=n
y 0 si m n,
Qk(x) =
av xv;
v
v
tomemos x = bu Pu(x),
v =0
u=0
n=0
en [a,b]
Luego,
k
Qk(x) = av
bu Pu(x),
v =0
u=0
k
< Pn , Qk > =
=0
si n > k
u=0
Supongamos ahora que Pn+1(x) no tiene races reales (no cruza el eje x).
b
1 Pn+1 p(x) dx 0
a
pero debe dar cero, en consecuencia tiene al menos una raz real. Sea esa
raz. Tomemos Qk (x) = (x - ); Pn+1(x) = (x - ) Sn(x).
Luego, < Pn+1(x), (x - ) > = 0
b
2
no tiene raz real. As, como la integral debe dar cero, entonces se deduce que
Sn(x) tiene al menos una raz real. Y as sucesivamente.
En definitiva Pn+1(x) tiene n+1 races reales.
Todas estas races reales son, adems, simples porque, del razonamiento
anterior, se tiene que:
Si m 2:
(x - ) Sn+1-m(x) = Pn+1(x).
(x - )
[Sn+1-m(x)] p(x) dx
a
2
el [corchete] y p(x) son positivos. Pero debe dar cero!! porque k < m+1.
Unicidad
Dados el intervalo [a, b] y p(x) > 0, el conjunto de polinomios ortogonales
{Pn(x)}; n = 0, 1, 2,... es nico.
b
Es decir:
Pn(x) = Qn(x).
n No
(Se trata de un problema de Sturm Liouville: dada una misma p(x) debe haber
una misma solucin).
Recurrencia
Los polinomios ortogonales estn relacionados de tal modo que para tres n
consecutivos Pk-1(x), Pk(x), Pk+1(x) tienen una vinculacin algebraica sencilla.
Probaremos que Pn+1(x) = (an x + bn) Pn(x) cn Pn-1(x).
(Pues todo polinomio Rn-1(x) puede expresarse como combinacin lineal de los
Pi(x) para i = 0, 1, 2,..., n-1).
Elijamos j n-2 para hacer productos internos con Pj(x).
n-1
< (ax+b) Pn(x), Pj(x) > - < Pn+1(x), Pj(x) > = i <Pi(x), Pj(x)> =
i =0
Pj(x)
=0
Porque
Pj(x)
n-1
y nos queda
Q/P dx
r(x) = Q/P e
Q/P dx
y r + r y + R/P . r y = 0
(y r) + (
(x) q(x)) y = 0
x y + x y + ( x - ) y = 0
(x y) + ( x - / x) y = 0 .
La ecuacin diferencial
(13)
Q(x) y + L(x) y + y = 0
Si r(x) = e
L/Q dx
Frmula de Rodrigues
Una famosa frmula, cuya deduccin es un tanto delicada para colocarla aqu,
es la Frmula de Rodrigues, la cual permite obtener en cada caso los
polinomios antedichos.
sta es:
(14)
Bibliografa
Matemticas Avanzadas para Ingeniera Quinta Edicin Peter V. ONeil Ed.
Thomson.
Matemticas Avanzadas para Ingeniera Quinta Edicin Vol I Erwin Kreyszig
Ed. Limusa.
Sitio Web Wikipedia: Orthogonal Polynomials; Sturm Liouville Theory, etc.