Documentos de Académico
Documentos de Profesional
Documentos de Cultura
REPASO DE MATERIAL
+ = 0 + = 0
son similares slo en que son ejemplos de ED lineales simples de segundo orden con
coeficientes variables. Eso es todo lo que tienen en comn. Debido a que = 0 es un punto
ordinario de + = 0 , vimos en la seccin anterior que no hubo problema en encontrar dos
soluciones en serie de potencias distintas centradas en ese punto. En contraste, debido a que =
0 es un punto singular de + = 0, encontrar dos soluciones en series infinitas observe que
no se dijo series de potencias,de la ecuacin diferencial respecto a ese punto se vuelve una
tarea ms difcil.
El mtodo de solucin analizado en esta seccin, no siempre produce dos soluciones en series
infinitas. Cuando slo se encuentra una solucin, se puede usar la frmula dada en (5) de la
seccin 4.2 para encontrar una segunda solucin.
2 () + 1 () + 0 () = 0 (1)
se clasifica ms bien como regular o irregular. La clasificacin de nuevo depende de las funciones
P y Q en la forma estndar
+ () + () = 0 (2)
Se dice que un punto singular 0 es un punto singular regular de la ecuacin diferencial (1) si
las funciones () = ( 0 ) () y () = ( 0 )2 () son analticas en 0 . Un punto singular
que no es regular es un punto singular irregular de la ecuacin.
Adems, observe que si = 0 es un punto singular regular y se multiplica la ecuacin (2) por
( 0 )2 , entonces la ED original se puede escribir en la forma
( 0 )2 + ( 0 )() + () = 0 (3)
( 2 4)2 + 3( 2) + 5 = 0.
Despus de dividir la ecuacin entre ( 2 4)2 = ( 2)2 ( + 2)2 y de reducir los coeficientes a
los trminos mnimos, se encuentra que
3 5
() = () =
( 2)( + 2)2 ( 2)2 ( + 2)2
3 5
() = ( 2)() = () = ( 2)2 () =
( + 2)2 ( + 2)2
son analticas en = 2.
Ahora, puesto que el factor (2) = + 2 aparece a la segunda potencia en el denominador
de (), se concluye de inmediato que = 2 es un punto singular irregular de la ecuacin. Esto
tambin se deduce del hecho de que
3
() = ( + 2)() =
( 2)( + 2)
es no analtica en = 2.
3 5
( 2 4)2 + ( 2) 2
+ = 0.
( + 2) ( + 2)2
MTODO DE FROBENIUS Para resolver una ecuacin diferencial (1) respecto a un punto
singular regular, se emplea el siguiente teorema debido a Frobenius.
Si = 0 es un punto singular regular de la ecuacin diferencial (1), entonces existe al menos una
solucin de la forma
= ( 0 ) ( 0 ) = ( 0 )+ , (4)
=0 =0
donde el nmero es una constante por determinar. La serie converge por lo menos en algn
intervalo 0 < 0 < .
Observe las palabras al menos en el primer enunciado del teorema 6.2.1. Esto significa que en
contraste con el teorema 6.1.1 el teorema 6.2.1 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 0 , es similar al mtodo de coeficientes
indeterminados de series de la seccin anterior en la que se sustituye = =0 ( 0 )
+
en
la ecuacin diferencial dada y se determinan los coeficientes desconocidos 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 . Si se encuentra que es un nmero
que no es un entero negativo, entonces la solucin correspondiente = =0 ( 0 )
+
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
= 0.
3 + = 0, (5)
= ( + ) +1 = ( + )( + 1) +2
=0 =0
Por lo que
+1 +1
3 + = 3 ( + )( + 1) + ( + ) +
=0 =0 =0
+1
= ( + )(3 + 3 2) +
=0 =0
1
= [(3 2)0 + [( + + 1)(3 + 3 + 1)+1 ] ] = 0,
=0
y ( + + 1)(3 + 3 + 1)+1 , = 0, 1, 2,
(3 2) = 0 (6)
y
+1 = , = 0, 1, 2, (7)
( + + 1)(3 + 3 + 1)
Cuando se sustituye en (7), los dos valores de que satisfacen la ecuacin cuadrtica (6), 1 =
2/3 y 2 = 0, se obtienen dos relaciones de recurrencia diferentes:
2
1 = , +1 = , = 0, 1, 2, (8)
3 (3 + 5)( + 1)
1 = 0, +1 = , = 0, 1, 2, (9)
( + 1)(3 + 1)
0
0 1 =
11
1 =
51
1 0
1 0 2 = =
2 4 2! 1 4
2 = =
8 2 2! 5 8
2 0
2 0 3 = =
3 7 3! 1 4 7
3 = =
11 3 3! 5 8 11
3 0
3 0 4 = =
4 10 4! 1 4 7 10
4 = =
14 4 4! 5 8 11 14
0
0 =
! 1 4 7 (3 2)
=
! 5 8 11 (3 + 2)
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 0 . Si se omite este trmino, las soluciones en serie son
1
1 () = 2/3 [1 + ] (10)
! 5 8 11 (3 + 2)
=1
0
1
2 () = [1 + ] (11)
! 1 4 7 (3 2)
=1
Con el criterio de la razn se puede demostrar que (10) y (11) convergen para todos los valores
de ; es decir|| < . Tambin debe ser evidente de la forma de estas soluciones que ninguna
serie es un mltiplo constante de la otra y, por tanto 1 () y 2 () son linealmente independientes
en todo el eje . As, por el principio de superposicin, = 1 1 () + 2 2 () es otra solucin de
(5). En cualquier intervalo que no contenga al origen, tal como (0, ), esta combinacin lineal
representa la solucin general de la ecuacin diferencial.
ECUACIN INDICIAL La ecuacin (6) se llama ecuacin indicial del problema y los valores 1 =
2/3 y 2 = 0 se llaman races indiciales, o exponentes, de la singularidad = 0. En general,
despus de sustituir = =0
+
en la ecuacin diferencial dada y simplificando, la ecuacin
indicial es una ecuacin cuadrtica en que resulta de igualar a cero el coeficiente total de la
potencia mnima de . Se encuentran los dos valores de y se sustituyen en una relacin de
recurrencia como (7). El teorema 6.2.1 garantiza que al menos se puede encontrar una solucin
de la supuesta forma en serie.
Es posible obtener la ecuacin indicial antes de sustituir = =0
+
en la ecuacin
diferencial. Si = 0 es un punto singular regular de (1), entonces por la definicin 6.2.1 ambas
funciones () = () y () = 2 (), donde y se definen por la forma estndar (2), son
analticas en = 0; es decir, los desarrollos en serie de potencias
() = () = 0 + 1 + 2 2 + () = 2 () = 0 + 1 + 2 2 + (12)
son vlidas en intervalos que tienen un radio de convergencia positivo. Multiplicando (2) por 2 ,
se obtiene la forma dada en (3):
Despus de sustituir = =0
+
y las dos series en las ecuaciones (12) y (13) y realizando
la multiplicacin de la serie, se encuentra que la ecuacin indicial general es
( 1) + 0 + 0 = 0. (14)
donde 0 y 0 son como se define en (12). Vanse los problemas 13 y 14 de los ejercicios 6.2.
Resuelva 2 + (1 + ) + = 0.
SOLUCIN Sustituyendo =
=0
+
se obtiene
2 + (1 + ) +
= 2 ( + )( + 1) +1 + ( + ) +1 + ( + ) +
=0 =0 =0
+ +
=0
+1
= ( + )(2 + 2 1) + ( + + 1) +
=0 =0
1
= [2(2 1)0 + [( + + 1)(2 + 2 + 1)+1 + ( + + 1)] ],
=0
+1 = , = 0, 1, 2, (17)
2( + 1)
0
0 1 =
1
1 =
21
1 0
1 0 2 = =
3 13
2 = = 2
2 2 2 2!
2 0
2 0 3 = =
5 135
3 = = 3
2 3 2 3!
3 0
3 0 4 = =
7 1357
4 = = 4
2 4 2 4!
(1) 0
(1) 0 =
1 3 5 7 (2 1)
=
2 !
1
Por lo que para la raz indicial 1 = 2 se obtiene la solucin
1/2
(1) (1)
1 () = [1 + ] = +1/2 ,
2 ! 2 !
=1 =0
donde de nuevo se omiti 0 . Esta serie converge para 0; como se ha dado, la serie no est
definida para valores negativos de debido a la presencia de 1/2 . Para 2 = 0, una segunda
solucin es
(1)
2 () = 1 + , || < .
1 3 5 7 (2 1)
=1
Resuelva + = 0.
TRES CASOS Por razones de anlisis, de nuevo se supone que = 0 es un punto singular
regular de la ecuacin (1) y que las races indiciales 1 y 2 de la singularidad son reales. Cuando
usamos el mtodo de Frobenius, se distinguen tres casos que corresponden a la naturaleza de
las races indiciales 1 y 2 2. En los dos primeros casos el smbolo 1 denota la ms grande de dos
races distintas, es decir, 1 > 2 . En el ltimo caso 1 = 2 .
1 () = +1 , 0 0, 2 () = +2 , 0 0.
=0 =0
CASO II: Si 1 y 2 son distintas y la diferencia 1 2es un entero positivo, entonces existen dos
soluciones de la ecuacin (1) linealmente independientes de la forma
1 () = +1 , 0 0 (19)
=0
2 () = 1 () ln + +2 , 0 0, (20)
=0
Finalmente, en el ltimo caso, el caso cuando 1 = 2 , una segunda solucin siempre tiene un
logaritmo. La situacin es similar a la solucin de la ecuacin de Cauchy-Euler cuando las races
de la ecuacin auxiliar son iguales.
CASO III: Si 1 y 2 son iguales, entonces existen dos soluciones linealmente independientes de
la ecuacin (1) de la forma
1 () = +1 , 0 0 (21)
=0
2 () = 1 () ln + +1 , 0 0, (22)
=1
()
2 () = 1 () (23)
12 ()
tambin es una solucin de + () + () = 0, siempre y cuando 1 () sea una solucin
conocida. En el ejemplo siguiente, se ilustra cmo usar la ecuacin (23).
1 1 3 1 4
1 () = 2 + + ,
2 12 144
se puede construir una segunda solucin 2 () usando la frmula (23). Quienes tengan tiempo,
energa y paciencia pueden realizar el aburrido trabajo de elevar al cuadrado una serie, la divisin
larga y la integracin del cociente a mano. Pero todas estas operaciones se realizan con relativa
facilidad con la ayuda un SAC. Se obtienen los resultados:
0
2 () = 1 () = 1 () 2
[1 ()]2 1 1 1
[ 2 2 + 12 3 144 4 + ]
= 1 ()
5 7
[ 2 3 + 12 4 72 5 + ]
1 1 7 19
= 1 () [ + + + + ]
2 12 72
1 7 19 2
= 1 () [ + ln + + +]
12 144
1 7 19 2
= 1 () ln + 1 () [ + + + ].
12 144
1 1
2 () = 1 () ln + [1 + 2 + . ]
2 2
Observe que la forma final de 2 en el ejemplo 5 corresponde a (20) con = 1; la serie entre
parntesis corresponde a la suma en (20) con 2 = 0.
COMENTARIOS
i) Las tres formas distintas de una ecuacin diferencial lineal de segundo orden en (1), (2) y (3) se
usaron para analizar varios conceptos tericos. Pero a nivel prctico, cuando se tiene que
resolver una ecuacin diferencial con el mtodo de Frobenius, se recomienda trabajar con la
forma de la ED dada en (1).
ii) Cuando la diferencia de las races indiciales 1 2 es un entero positivo (1 > 2 ), a veces da
resultado iterar la relacin de recurrencia usando primero la raz 2 ms pequea. Vanse los
problemas 31 y 32 en los ejercicios 6.2.
iii) Debido a que una raz indicial es una solucin de una ecuacin cuadrtica, sta podra ser
compleja. Sin embargo, este caso no se analiza.
iv) Si = 0 es punto singular irregular, entonces es posible que no se encuentre ninguna solucin
de la ED de la forma = =0
+
.
EJERCICIOS 6.2
En los problemas 1 a 10, determine los puntos singulares de la ecuacin diferencial dada.
Clasifique cada punto singular como regular o irregular.
. 3 + 4 2 + 3 = 0
Solucin:
. ( + 3)2 = 0
Solucin:
. ( 2 9)2 + ( + 3) + 2 = 0
Solucin:
1 1
. + =0
( 1)3
Solucin:
. ( 3 + 4) 2 + 6 = 0
Solucin:
. 2 ( 5)2 + 4 + ( 2 25) = 0
Solucin:
. ( 2 + 6) + ( + 3) + ( 2) = 0
Solucin:
. ( 2 + 1)2 + = 0
Solucin:
. 3 ( 2 25)( 2)2 + 3( 2) + 7( + 5) = 0
Solucin:
. ( 3 2 2 + 3)2 + 4( 3)2 ( + 1) = 0
Solucin:
En los problemas 11 y 12 escriba la ecuacin diferencial dada en la forma (3) para cada punto
singular regular de la ecuacin. Identifique las funciones () y ().
. ( 2 1) + 5( + 1) + ( 2 ) = 0
Solucin:
. + ( + 3) + 7 2 = 0
Solucin:
En los problemas 13 y 14, = 0 es un punto singular regular de la ecuacin diferencial dada. Use
la forma general de la ecuacin indicial en (14) para encontrar las races indiciales de la
singularidad. Sin resolver, indique el nmero de soluciones en serie que se esperara encontrar
usando el mtodo de Frobenius.
5 1
. 2 + ( + 2 ) = 0
3 3
Solucin:
. + + 10 = 0
Solucin:
En los problemas 15 a 24, = 0 es un punto singular regular de la ecuacin diferencial. Muestre
que las races indiciales de la singularidad no difieren por un entero. Use el mtodo de Frobenius
para obtener dos soluciones en serie linealmente independientes respecto a = 0. Forme la
solucin general en (0, ).
. 2 + 2 = 0
Solucin:
. 2 + 5 + = 0
Solucin:
1
. 4 + + = 0
2
Solucin:
. 2 2 + ( 2 + 1) = 0
Solucin:
. 3 + (2 ) = 0
Solucin:
2
. 2 ( ) = 0
9
Solucin:
. 2 (3 + 2) + = 0
Solucin:
4
. 2 + + ( 2 ) = 0
9
Solucin:
. 9 2 + 9 2 + 2 = 0
Solucin:
. 2 2 + 3 + (2 1) = 0
Solucin:
En los problemas 25 a 30, = 0 es un punto singular regular de la ecuacin diferencial dada.
Demuestre que las races indiciales de la singularidad difieren por un entero. Use el mtodo de
Frobenius para obtener al menos una solucin en serie respecto a = 0. Use la ecuacin (23)
donde sea necesario y un SAC, como se indica, para encontrar una segunda solucin. Forme la
solucin general en (0, ).
. + 2 = 0
Solucin:
1
. 2 + + ( 2 ) = 0
4
Solucin:
. + = 0
Solucin:
3
. + 2 = 0
Solucin:
. + (1 ) = 0
Solucin:
. + + = 0
Solucin:
En los problemas 31 y 32, = 0 es un punto singular regular de la ecuacin diferencial dada.
Demuestre que las races indiciales de la singularidad difieren por un entero. Use la relacin de
recurrencia encontrada por el mtodo de Frobenius primero con la raz ms grande 1. Cuntas
soluciones encontr? A continuacin use la relacin de recurrencia con la raz ms pequea 2 .
Cuntas soluciones encontr?
. + ( 6) 3 = 0
Solucin:
. ( 1) + 3 2 = 0
Solucin:
33. a) La ecuacin diferencial 4 + = 0 tiene un punto singular irregular en = 0. Demuestre
que la sustitucin = 1/ produce la ED
2 2
+ + = 0,
2
2
+ = 0, (0) = 0, () = 0. (24)
2
2
4
+ = 0, () = 0, () = 0,
2
donde = 4 /0 . Use los resultados del problema 33 para encontrar las cargas crticas para
la columna cnica. Use una identidad apropiada para expresar los modos de pandeo () como
una sola funcin.
b) Use un SAC para trazar la grfica del primer modo de pandeo 1 () correspondiente a la carga
de Euler 1 cuando = 11 y = 1.
35. Analice cmo definira un punto singular regular para la ecuacin diferencial lineal de primer
orden
3 () + 2 () + 1 () + 0 () = 0.
Solucin:
36. Cada una de las ecuaciones diferenciales
3 + = 0 2 + (3 1) + = 0