UNIVERSIDAD DE SANTIAGO DE CHILE

DEPARTAMENTO DE MATEMATICA Y CIENCIA DE LA COMPUTACION

CALCULO DE ECUACIONES DIFERENCIALES ORDINARIAS

PROFESOR: GALINA GARCIA

PRACTICA 9
EDO de Orden Superior
Series de Potencias - Ecuaciónes de Bessel y Legendre

1. Si x = 0 es un punto singular regular de las ecuaciones diferenciales dadas a continuación, Muestre

que las raı́ces indicativas de la singularidad no difieren de un entero. Use el método de Frobenius
para obtener dos soluciones en serie linealmente independientes alrededor de x = 0. Forme la
solución general en (0, ∞).
 
a) 2xy 00 − y 0 + 2y = 0 2
f ) x2 y 00 − x − y=0
9
b) 2xy 00 + 5y 0 + xy = 0
g) 2xy 00 − (3 + 2x)y 0 + y = 0
1 
4

c) 4xy 00 + y 0 + y = 0 2 00
h) x y + xy + x −0 2 y=0
2 9
d ) 2x2 y 00 − xy 0 + (x2 + 1) = 0 i ) 9x2 y 00 + 9x2 y 0 + 2y = 0
e) 3xy 00 + (2 − x)y 0 − y = 0 j ) 2x2 y 00 + 3xy 0 + (2x − 1)y = 0

2. Resuelva usando el método de serie de potencias los siguiente problema de valores iniciales
alrededor de x = 0:
 00
 y + y 0 − 2y = 0  (x + 1)y 00 − (2 − x)y 0 + y = 0


a) y(0) = 1 f) y(0) = 2
 0  0
y (0) = −2 y (0) = −1
 00
 y + xy 0 − y = 0  y 00 − 2xy + 8y = 0


b) y(0) = 2 g) y(0) = 3
 0  0
y (0) = 1/2 y (0) = 0
 00
 y − 2xy 0 + y = 0  (x2 + 1)y 00 + 2xy 0 = 0


c) y(0) = 1 h) y(0) = 0
 0  0
y (0) = 3 y (0) = 1
 00  00
 y + 9y = 0  y + sin(x)y = 0
d) y(0) = 1 i) y(0) = 0
 0  0
y (0) = 0 y (0) = 0
 (x − 1)y 00 − xy + y  y 00 + ex y 0 − y = 0
 

e) y(0) = −2 j) y(0) = 0
 0  0
y (0) = 6 y (0) = 0

1
3. Determine los puntos singulares en las siguientes ecuaciones diferenciales y determine para cada
uno de los siguientes x0 el radio e intervalo de convergencia.

(x − 1)y 00 + (1 − x)y 0 + (x2 − 2x + 1)y = 0


(x2 + x)y 00 + 3y 0 − 6xy = 0
 2

 


 
 1 x10 = 0

x0 = 3 b)
a) 
 x2 = 1
2 
 x0 = −5 0



 x30 = −1/3


Como vemos, podemos obtener diferentes expansiones en serie de potencias para y(x) dependien-
do del intervalo que elijamos (y de x0 ).
¿Implicarı́a esto diferentes soluciones para la ecuación diferencial?

4. Dada la siguiente ecuación diferencial:

(2x − x2 )y 00 − 6(x − 1)y 0 − 4y = 0

a) Usando series de potencia, encuentre la solución general de la EDO alrededor de x = 1.

b) Encuentre la solución particular que verifica las condiciones iniciales y(1) = 0, y 0 (1) = 1 y
el intervalo máximo donde la solución está definida.

5. Considere la siguiente ecuación diferencial que tiene un punto singular en x = 0:

x4 y 00 + λy = 0

a) Muestre que el cambio de variable t = 1/x da la siguiente ecuación diferencial que tiene un
punto singular en t = 0:
d2 y 2 dy
+ + λy = 0
dt2 t dt
b) Use el método de Frobenius para encontrar dos soluciones en serie de la segunda ecuación
obtenida en la parte a) alrededor del punto t = 0.
c) Exprese cada solución en serie de la ecuación original en términos de funciones elementales.

6. Considere la siguiente ecuación diferencial:

y 00 − 2xy = 0

a) Encuentre la base de soluciones a través de serie de potencias alrededor del punto 0.

b) Demuestre por inducción que:
∞ ∞
"   # "   #
X 1 · 4 · 7 · ... · (3k − 2) X 2 · 5 · 8 · ... · (3k − 1)
y(x) = c0 1 + 2k x3k +c1 x + 2k x3k+1
(3k)! (3k + 1)!
k=1 k=1

2
 7. Considere para x > 0 la ecuación diferencial:

x2 y 00 − 5xy 0 + 9(x6 − 8)y = 0

a) Demuestre que el cambio de coordenadas y = x3 u, z = x3 , reduce la ecuación a una ecuación

de Bessel.
b) Use lo anterior para encontrar su solución general alrededor de x = 0.

8. Para cada EDO encuentre su solución general sobre (0, ∞) recordando la ecuación de Bessel:
 
2 00 0 2 1 c) xy 00 + y 0 + xy = 0
a) x y + xy + x − y=0
9  
d 0 4
b) 16x2 y 00 + 16xy 0 + (16x2 − 1)y = 0 d) [xy ] + x − y=0
dx x

9. Una recurrencia en Ecuación de Bessel: Considere la función de Bessel de primer tipo:

∞
X (−1)n  x 2n+ν
Jν (x) =
n!Γ(1 + ν + n) 2
n=0

a) Demuestre que:
d −ν
[x Jν (x)] = −x−ν Jν+1 (x)
dx
b) Utilice el resultado anterior para demostrar que:

xJν0 (x) = νJν (x) − xJν+1 (x)

10. La siguiente ecuación de primer orden no puede ser resuelta en términos de funciones elementales,
sin embargo, una solución puede ser expresada en términos de funciones de Bessel:

y 0 = x2 + y 2

a) Muestre que la sustitución y = − u1 du 00 2

dx lleva a la ecuación u + x u = 0.
b) Para resolver la ecuación u00 + x2 u = 0, utilice el cambio u = x1/2 w( 12 x2 ) para llegar a una
ecuación de Bessel con ν = 1/4.
c) Encuentre la solución de la ecuación obtenida anteriormente a través de funciones de Bessel.
d ) Utilice las siguientes relaciones:
ν ν
Jν0 (x) = Jν (x) − Jν+1 (x) , Jν0 (x) = − Jν (x) + Jν−1 (x)
x x
Como ayuda para demostrar que una familia uniparamétrica de soluciones de la EDO
presentada al principio es dada por:
J3/4 21 x2 − cJ−3/4 12 x2



y=x
cJ1/4 12 x2 + J−1/4 12 x2

3
11. Polinomios de Legendre: La ecuación de Legendre tiene la forma:

(1 − x2 )y 00 − 2xy 0 + n(n + 1)y = 0 , n  N ∪ {0}

a) Reescriba la ecuación anterior de una manera conveniente para obtener dos funciones, que
acompañen a y 0 y a y, tal que sean analı́ticas alrededor del punto 0 y admitan desarrollo
en serie convergentes para |x| < 1.
X∞
b) Intente encontrar una solución de la forma y(x) = ck xk .
k=0
(n − k)(n + k + 1)
c) Demuestre que: ck+2 = − ck .
(k + 2)(k + 1)
d ) Demuestre por inducción las dos siguientes igualdades:

(n − (2j − 2))...(n − 2)n(n + 1)(n + 3)...(n + 2j − 1)

c2j = (−1)j c0
(2j)!
(n − (2j − 1))...(n − 3)(n − 1)(n + 2)(n + 4)...(n + 2j)
c2j+1 = (−1)j c1
(2j + 1)!
e) Escriba la solución de la EDO de la forma y(x) = c0 y1 (x) + c1 y2 (x).
f ) Dado el resultado anterior de y1 (x) e y2 (x), demuestre que si n es par, entonces y1 (x) tiene
un número finito de términos y si n es impar, entonces y2 (x) tiene un número finito de
términos, dando origen a polinomios. En ambos casos, el polinomio resultando, se llama
Polinomio e Legendre y se denota por Pn (x).
g) Para encontrar una fórmula general de los polinomios anteriores, empiece por la ecuación
de c) y en vez de expresar los coeficientes en función de c0 y c1 , expréselos en términos de
cn , haciendo el cambio k + 2 = j.
h) Dado la forma explı́cita de los polinomios cuando n es par o impar, según sea el caso, pruebe
desde qué valores empieza el ı́ndice j.
i ) Pruebe por inducción que:

(−1)k n(n − 1)...(n − 2k + 1)

cn−2k = cn
k!22k (2n − 1)(2n − 3)...(2n − 2k + 1)
j ) Dado los resultados anteriores, escriba de forma explı́cita Pn (x).
k ) Observe que en el resultado de Pn , la suma se extiende hasta k = n2 si n es par y hasta
n − 2k = 1 si n es impar. En este último caso, k = n−1 n 1
2 = 2 − 2 y si n = 2l + 1 entonces
k = l. Por esto k es el mayor entero menor o igual a n/2, que denotamos por k = b n2 c. Dicho
lo anterior y algunos juegos algebraicos, obtenga la forma general para los Polinomios de
Legendre:
n
b2c
X (−1)k (2n − 2k)!
Pn (x) = xn−2k
2n k!(n − 2k)!(n − k)!
k=0

4
12. Formula de Rodrı́guez: Otra formula que puede ser generada a través de los Polinomios de Le-
gendre por diferenciación es la fórmula de Rodrı́guez.

a) Empiece por demostrar que:

dn 2n−2k (2n − 2k)! n−2k

n
x = x
dx (n − 2k)!

b) Reemplace este resultado en la fórmula de los Polinomios de Legendre Pn (x) y note que
para k ≥ b n2 c + 1, 2k ≥ 2b n2 c + 2 se tiene que:
jnk h jnk i
2n − 2k ≤ 2n − 2 −2=2 n− −1 <n
2 2
Esto combinelo con el siguiente hecho para reescribir los Polinomios de Legendre:

dn xj
=0 , sij < n
dxn
c) Ya que todas las potencias que se han agregado en la sumatoria son menores que n, deduzca
finalmente la Fórmula de Rodrigues utilizando la fórmula del binomio:
1 dn  2
(x − 1)n

Pn (x) = n n
2 n! dx
13. Polinomios de Hermite: Considere la ecuación de Hermite:

y 00 − 2xy 0 + 2py = 0 , pR

a) Resuelva la ecuación anterior de Hermite mediante el desarrollo en serie de potencias.

b) Demuestre que cuando p es un entero par, una de las series solución es un polinomio y
cuando p es un entero impar, la otra serie es un polinomio.
c) Se define Hn (x) el polinomio de Hermite de grado n ≥ 0, encontrado en la parte a), nor-
malizado de modo que el factor de xn es igual a 2n .

Calcule los polinomios:

H0 (x), H1 (x), H2 (x) y H3 (x)

d ) La función generadora de los polinomios de Hermite es:

∞
2
X Hn (x)tn
φ(x, t) = e2xt−t =
n!
n=0

Demuestre usando la función generadora que los polinomios de Hermite satisfacen la recu-
rrencia:
Hn+1 (x) = 2xHn (x) − 2nHn−1 (x)

5
14. Estructura: Considere la ecuación diferencial:

d2 y
x4 + λy = 0
dx2

Que tiene una singularidad que no es regular en el punto x = 0.

a) Demuestre que el cambio de variable t = 1/x genera una ecuación diferencial que posee una
singularidad regular en t = 0, vale decir, que se le puede aplicar el método de Frobenius
(basado en series de potencias).
b) Aplique el método de series de potencias para encontrar soluciones linealmente indepen-
dientes ϕ1 (t) y ϕ2 (t) de la ecuación precedente.
c) Aplique todo lo anterior para resolver el siguiente problema de estructura:
Suponga que tiene una columna de altura L, con una sección transversal circular en forma
de cono truncado donde el adelgazamiento queda determinado por la expresión y = cx. La
deflexión y(x) de la columna satisface el problema de valores en la frontera:


 d2 y
 EI(x) 2 + P y = 0

dx

 y(0) = 0
 y(L) = 0

Donde E es la constante de elasticidad, I designa el momento de inercia y P es la carga

de la columna. En nuestro caso, el momento de inercia transversal con respecto a un eje
perpendicular al plano xy es πr4 /4, donde r = y e y = cx. Luego se tiene I(x) = I0 (x/b)4 ,
donde I0 = I(b) = π(cb)4 /4.

Sustituya el valor de I(x) en la ecuación de la deflexión y, para transformarla en una

presentada al principio. Además use los resultados de las partes anteriores para determinar
cuál es el primer valor de P para el cual se tiene una deflexión (pandeo) distinto de 0.

6
15. Sistema Mecánico: Considere un sistema mecánico compuesto de un tubo de largo 100 metros
que esta cerrado herméticamente, el cual tiene una de sus extremidades empotrado a un resorte
de largo 1 metro y de constante de elasticidad unitaria, que tiene adherido por el otro extremo
una esfera de masa también unitaria. Mediante una bomba neumática se empieza a extraer el
aire del tubo. Esto tiene por efecto que el roce viscoso opuesto por el aire sea proporcional a la
velocidad de la esfera, pero disminuye en razón inversamente proporcional al tiempo, es decir, la
fuerza de rozamiento es velocidad × 1/t, donde t > 0 (se desprecia el roce de la esfera con la
superficie del tubo). Al comenzar el experimento (en t = 0), el resorte se encuentra en su posición
de equilibrio y la esfera está animada de una velocidad constante

a) Determine el problema con valores iniciales que modela el movimiento de la esfera.

Hint: Puede elegir como origen la posición de equilibrio del sistema, es decir, el punto
ocupado por el centro de masa de la esfera en el instante inicial. Aplique la 2da ley de
Newton.
b) Analice la ecuación que obtuvo anteriormente explicando si puede utilizar el método de
series de potencias para encontrar al menos una solución.
Hint: ¿Admite la ecuación un punto singular regular?.
c) Si la respuesta anterior es afirmativa, haga el cálculo respectivo obteniendo sólo las ecua-
ciones de recurrencia de los coeficientes.
Hint: Recuerde la recurrencia tı́pica de las soluciones de la ecuación de Bessel.
d ) Demuestre, sin usar la serie, que la única solución ϕ(t) del problema con valores iniciales
planteado posee una Transformada de Laplace dada por:
Z ∞
ϕ(t)dt
0
φ(λ) = √
λ2 + 1