SOLUCIONES EN SERIES DE POTENCIAS

UNA DEFINICIN: Suponga que la ecuacin diferencial lineal de segundo orden a 2 {x) y" + a 1 (x ) y + a 0 (x) y = 0 (1) Se escribe en forma estndar y" + P(x)y' + Q(x)y = 0 (2) Dividiendo entre el coeficiente principal a 2 (x). Se tiene la definicin siguiente. DEFINICIN: Puntos ordinarios y singulares ______________________ Se dice que un punto x 0 es un punto ordinario de la ecuacin diferencial (1) si tanto P(x) como Q(x) en la forma estndar (2) son analticas en x 0 . Se dice que un punto que no es punto ordinario es un punto singular de la ecuacin. DEFINICION: Puntos singulares regulares e irregulares .

Se dice que el punto singular x0 es un punto singular regular de la ecuacin diferencial (1) si las funciones y son analticas en x0. Un punto singular que no es regular es un punto singular irregular de la ecuacin. Cada valor finito de x es un punto ordinario de la ecuacin diferencial y" + (ex) y' + (sen x)y = 0. En particular, x = 0 es un punto ordinario porque, tanto e x como sen x son analticas en este punto. La negacin en el segundo enunciado de la definicin 6.1.1 establece que si por lo menos una de las funciones P(x) y Q{x) en (6) no es analtica en x 0 , entonces x 0 es un punto singular. Observe que x = 0 es un punto singular de la ecuacin diferencial y" + (e x )y' + (ln x)y = 0 porque Q(x) = ln x es discontinua en x = 0 y, por tanto, no se puede representar con una serie de potencias en x. COEFICIENTES POLINOMIALES Se pone atencin sobre todo al caso cuando (1) tiene coeficientes polinomiales. Un polinomio es analtico en cualquier valor x y una funcin racional es analtica excepto en los puntos donde su denominador es cero. Por tanto si a 2 (x), a 1 (x) y a 0 (x) son polinomios sin factores comunes, entonces ambas funciones racionales P(x) = a x (x)/a 2 (x) y Q(x) = a 0 (x)/a 2 (x) son analticas excepto donde a 2 (x) = 0. Entonces, se tiene que x = x0 es un punto ordinario de (1) si a2(x0) 0 mientras que x = x0 es un punto singular de (1) si a2(x0) = 0. Por ejemplo, los nicos puntos singulares de la ecuacin (x 2 - 1)y" + 2xy' + 6y = 0 son soluciones de x 2 - 1 = 0 o x = 1. Todos los otros valores finitos de x son puntos ordinarios. La inspeccin de la ecuacin de Cauchy-Euler ax 2 y" + bxy' + cy = 0 muestra que tiene un punto singular en x = 0. Los puntos singulares no necesitan ser nmeros reales. La ecuacin (x 2 + 1) y" + xy' y = 0 tiene puntos singulares en las soluciones x 2 + 1 = 0, en particular, x = i. Los otros valores de x, reales o complejos, son puntos ordinarios. Establecemos el siguiente teorema acerca de la existencia de soluciones en series de potencias sin demostracin. TEOREMA 1 Existencia de soluciones en series de potencias Si x = x0 es un punto ordinario de la ecuacin diferencial (1), siempre es posible encontrar dos soluciones linealmente independientes en la forma de una serie de potencias centrada en x 0 , es decir: Una solucin en serie converge por lo menos en un intervalo definido por \ x x 0 \ < R, donde R es la distancia desde x0 al punto singular ms cercano. Se dice que una solucin de la forma es una solucin respecto a un punto ordinario x0 . La distancia R en el teorema anterior es el valor mnimo o lmite inferior del radio de convergencia de las soluciones en serie de la ecuacin diferencial respecto a x0.

DETERMINACIN DE UNA SOLUCIN EN SERIES DE POTENCIAS La determinacin real de una solucin en serie de potencias de una ED lineal homognea de segundo orden es bastante similar a encontrar soluciones particulares de ED no homogneas con el mtodo de coeficientes indeterminados. De hecho, el mtodo de serie de potencias para resolver una ED lineal con coeficientes variables con frecuencia se describe como "mtodo de coeficientes indeterminados de series", la idea es la siguiente: Sustituimos En la ecuacin diferencial, se combina la serie y luego se igualan los coeficientes del miembro derecho de la ecuacin para determinar los coeficientes cn. Pero como el miembro derecho es cero, el ltimo paso requiere, por la propiedad de identidad en la lista de propiedades anterior, que todos los coeficientes de x se deban igualar a cero. Esto no significa que los coeficientes son cero; esto no tendra sentido despus de todo; el teorema garantiza que se pueden encontrar dos soluciones. En el ejemplo 3 se ilustra cmo la sola suposicin de Conduce a dos conjuntos de coeficientes, por lo que se tienen dos series de potencias distintas y1 (x) y y2(x), ambas desarrolladas respecto al punto ordinario x = 0. La solucin general de la ecuacin diferencial es

de hecho, se puede demostrar que C1 = c0 y C2 = c1. EJEMPLO 1 Soluciones en series de potencias Resuelva y" + xy = 0. SOLUCIN Puesto que no hay puntos singulares finitos el teorema 1 garantiza dos soluciones en serie de potencias centradas en 0, convergentes para |x| < . Sustituyendo diferencial, se obtiene y la segunda derivada en la ecuacin

(3)

Ya sumadas las dos ltimas series en el miembro derecho de la igualdad en (3) corriendo el ndice de la suma. [ ] (4) En este punto se invoca la propiedad de identidad. Puesto que (4) es idnticamente cero, es necesario que el coeficiente de cada potencia de x se iguale a cero, es decir, 2c2 = 0 (es el coeficiente de x0) y

k = 1, 2, 3,...

(5)

Ahora 2c2 = 0 obviamente dice que c2 = 0. Pero la expresin en (5), llamada relacin de recurrencia, determina la ck de tal manera que se puede elegir que cierto subcon-junto del conjunto de coeficientes sea diferente de cero. Puesto que (k + l) (k + 2) 0 para los valores de k, se puede resolver (5) para ck + 2 en trminos de ck-1.

(6)

Esta relacin genera coeficientes consecutivos de la solucin supuesta, una vez que k toma los enteros sucesivos indicados en (6):

Etctera. Ahora sustituyendo los coeficientes obtenidos en la suposicin original

Obtenemos

Despus de agrupar los trminos que contienen c0 y los que contienen c,, se obtiene y = c1y1(x) + c2y2(x), donde:

Debido a que el uso recursivo de (6) deja a c0 y a c1 completamente indeterminadas, se pueden elegir en forma arbitraria. Como ya se mencion antes de este ejemplo, la combinacin lineal representa en realidad la solucin general de la ecuacin diferencial. Aunque se sabe del teorema 1 que cada solucin en serie converge para |x| < este hecho tambin se puede comprobar con el criterio de la razn. La ecuacin diferencial del ejemplo 3 se llama ecuacin de Airy y se encuentra en el estudio de la difraccin de la luz, la difraccin de ondas de radio alrededor de la superficie de la Tierra, la aerodinmica y la deflexin de una columna vertical delgada uniforme que se curva bajo su propio peso. Otras formas comunes de la ecuacin de Airy son y" xy = 0 y y" + a2xy = 0.

MTODO DE FROBENIUS
Para resolver una ecuacin diferencial (1) respecto a un punto singular regular, se emplea el siguiente teorema debido a Frobenius. TEOREMA Teorema de Frobenius Si x = x0 es un punto singular regular de la ecuacin diferencial (1), entonces existe al menos una solucin de la forma

donde el nmero r es una constante por determinar. La serie converge por lo menos en algn intervalo 0 < x x0 < R. Observe las palabras al menos en el primer enunciado del teorema de Frobenius. Esto significa que en contraste con el teorema 1 el teorema no garantiza que sea posible encontrar dos soluciones en serie del tipo indicado en (4). El mtodo de Frobenius, para encontrar soluciones en serie respecto a un punto singular regular x , es similar al mtodo de coeficientes indeterminados de series de la seccin anterior en la que se sustituye en la ecuacin diferencial dada y se determinan los coeficientes desconocidos cn con una relacin de recurrencia. Sin embargo, se tiene una tarea ms en este procedimiento: antes de determinar los coeficientes, se debe encontrar el exponente desconocido r. Si se encuentra que r es un nmero que no es un entero negativo, entonces la solucin correspondiente no es una serie de potencias. Como se hizo en el anlisis de soluciones respecto a puntos ordinarios siempre supondremos, por razones de simplicidad al resolver ecuaciones diferenciales, que el punto singular regular es x = 0. EJEMPLO 2 Dos soluciones en series Debido a que x = 0 es un punto singular regular de la ecuacin diferencial

tratamos de encontrar una solucin de la forma

. Ahora

por lo que

lo que implica que

r(3r 2)c0 = 0

y Ya que no se ha ganado nada al hacer c0 = 0, entonces debemos tener r(3r 2)c0 = 0

c =

Cuando se sustituye en (7), los dos valores de r que satisfacen la ecuacin cuadrtica. (6), se obtienen dos relaciones de recurrencia diferentes:

y r2 = 0,

Aqu se encuentra algo que no ocurri cuando se obtuvieron soluciones respecto a un punto ordinario; se tiene lo que parecen ser dos conjuntos de coeficientes diferentes, pero cada conjunto contiene el mismo mltiplo c0. Si se omite este trmino, las soluciones en serie son:

] (a)

] (b)

Con el criterio de la razn se puede demostrar que (a) y (b) convergen para todos los valores de x; es decir, |x| < . Tambin debe ser evidente de la forma de estas soluciones que ninguna serie es un mltiplo constante de la otra y, por tanto y1 (x) y y2(x) son linealmente independientes en todo el eje x. As, por el principio de superposicin, y = C1y1(x) + C2y2(x) es otra solucin de (5). En cualquier intervalo que no contenga al origen, tal como (O, ), esta combinacin lineal representa la solucin general de la ecuacin diferencial.