Propiedades del problema regular de Sturm-Liouville a) Existe un néimero infinito de valores propios reales que pueden disponerse en | orden ascendente A, de tal manera que A, —» co a medida | quen oo. | b) Para cada valor propio existe solamente una funcién propia (excepto para mitt | plos constantes diferentes de cero) |) Las uacione pins cesponiene Tos ferent alors propio on | nealmente independientes | d) El conjunto de funciones propias comespondieutes ul conjunio de valores propios | escortogonal respecte a la funeidn peso p(x) en el interval [a, Demostracién de d) Scan yy y y, funciones propias correspondientes a los valores ropios A, yA, tespectivamente, Entonces a gg MAT + (GG) + AaPCDIn = G) a . ge WOM + GG) + APO), ~ 0. o Maltipicames (6) por yy (7) por yay al estar las dos ecuaciones obtenemos a a Integramos por partes este timo resultado desde x ~ a hasta.x = b y resulta he = AWG = Ba N96] =. eb] A 9 [ era, de= wrt) ~ ABs ~ Lyla) ~ yas 8) Las funciones propias y, yy, dehen satisfacer las condiciones de frontera (4) y (8). En particular, a partir de (4) obtenemos Ayala) + Bys(a) ~ 0 Ayla) + Biy{(a) = 0. Para que A, y B, satisfagan este sistema, sin que ambos sean iguales a cero, el determi- ante de los coeficientes debe ser cero. Yalavi€a) ~ y,hahy,fa) = 0. Al aplicar un argumento similar a (5) nos da sil bI¥MD) ~ y,{B)vib) = 0. Utilizamos estos dos resultados en (8) parm demostrar que ambos miembros del lado de recho son iguales a cero. Por lo tanto, establecimos la telacién ortogonal Pym (x)yaCA) de = OL Ay F Ae 0 Asimismo, se puede demostrar que el conjunto de funciones propias ortogonales Ay (a, vr), 2)... } de um problema regular de Sturm-Liouville es completo en (a, bl. Consulte Ia pagina 276, 296 CAPITULO 4 Funciones ortogonales y series de Fourier