3.

Ecuaciones Diferenciales Ordinarias (EDO)

Parte 3
3.1. Ecuación diferencial lineal homogénea con coe…cientes variables

La mayor parte de las ecuaciones diferenciales lineales de orden superior con coe…cientes constantes no se
resuelven en términos de funciones elementales. Una estrategia usual para ecuaciones de esta clase es suponer
una solución como una serie in…nita y proceder de manera similar al método de los coe…cientes indeterminados.
Una ecuación diferencial lineal con coe…cientes variables es de la forma:

P (t)x00 + Q(t)x0 + R(t)x = 0 (1)

donde P; Q y R son funciones analíticas en t0 , esto es, admiten desarrollo en serie de Taylor alrededor de t0 de
cualquier orden. Las resolveremos proponiendo como solución una serie de potencias.

1. Si P (t0 ) 6= 0, decimos que t0 es un punto ordinario o regular.

2. Si P (t0 ) = 0, decimos que t0 es un punto singular. En este caso sólo se puede asegurar la existencia de
dos soluciones linealmente independientes si:

Q(t) S (t)
= con S (t) una función analítica en t0
P (t) (t t0 )
R(t) T (t)
y además = 2 con T (t) una función analítica en t0
P (t) (t t0 )

si se cumplen estas condiciones se dice que t0 es un punto singular regular.

Ejemplo 1 Dadas las siguientes ecuaciones diferenciales, determinar qué valores reales son puntos regulares,
singulares regulares y singulares no regulares:

1. x00 tx0 + 2x = 0: Todos los reales son puntos ordinarios.

2. t2 x00 + t + t4 x0 x = 0: Todos los reales no nulos son puntos ordinarios, pero t0 = 0 es un punto singular,
Q(t) t + t4 1 + t3
veamos si es singular regular: P (t) = t2 ; Q(t) = t + t4 ; R(t) = 1 con lo cual = = ; es
P (t) t2 t
R(t) 1
decir S (t) = 1 + t3 ; con S analítica en 0 y además = 2 ; es decir T (t) = R(t) = 1; con T analítica
P (t) t
en 0, y tenemos que t0 = 0 es un punto singular regular.
3. t3 x00 + t3 x0 2x = 0: Todos los reales no nulos son puntos ordinarios, pero t0 = 0 es un punto singular,
Q(t) t3 t
veamos si es singular regular: P (t) = t3 , Q(t) = t3 , R(t) = 2 con lo cual = 3 = = 1; es decir
P (t) t t
R(t) 2 2
S (t) = t;con S continua en 0 y además = 3 ; es decir T (t) = ; con T no continua en 0. En este
P (t) t t
caso tenemos que t0 = 0 es un punto singular no regular.

3.1.1. Solución alrededor de un punto ordinario

Teorema 1 Existencia para el caso en que la ecuación tiene coe…cientes analíticos. Sea x0 un punto
ordinario de la ecuación diferencial:
x00 + Q (t) x0 + R (t) x = 0
y supongamos que los coe…cientes Q (t) y R (t) tienen desarrollo en series convergentes de potencias con centro
en t0 en un intervalo jt t0 j < R (R > 0). Si y son constantes cualesquiera, entonces existe una única
solución del problema de valores iniciales:

x00 + Q (t) x0 + R (t) x = 0

x (t0 ) = ; x00 (t0 ) =

1
que tiene un desarrollo en serie de potencias:
1
X n
x (t) = an (t t0 )
n=0

que es convergente para jt t0 j < R.

Para resolver la ecuación (1) proponemos una solución analítica en un entorno del punto ordinario t0 :
1
X n
x(t) = an (t t0 )
n=0

estamos suponiendo que esta serie converge dentro de un cierto intervalo, por lo tanto podemos aplicar las
propiedades de derivadas en dicho intervalo y así obtener:
1
X 1
X
n 1 n 1
x0 (t) = an n (t t0 ) = an n (t t0 )
n=0 n=1
X1 1
X 1
X
n 2 n 2 n 1
x00 (t) = an n (n 1) (t t0 ) = an n (n 1) (t t0 ) = an+1 n (n + 1) (t t0 )
n=1 n=2 n=1

reemplazando en la ecuación diferencial podremos obtener una expresión genérica para an :

Ejemplo 2 Vimos que para la ecuación x00 tx0 + 2x = 0, todos los números reales son puntos ordinarios,
P1
consideremos t0 = 0; la solución propuesta es de la forma: x(t) = an tn y reemplazando en la ecuación
n=0
diferencial tenemos que:

x00 tx0 + 2x = 0
P
1 P
1 P
1
an+1 n (n + 1) tn 1
an ntn + 2 an tn = 0
n=1 n=1 n=0
1
X
P
1 P
1
an+2 (n + 1) (n + 2) tn an ntn + 2 an tn = 0
n=0 n=1 n=0
P
1
[an+2 (n + 1) (n + 2) an n + 2an ] tn + [2a2 + 2a0 ] t0 = 0
n=1 | {z }
n=0
2a2 + 2a0 = 0 ) a2 = a0
n 2
8n 1; an+2 (n + 1) (n + 2) an n + 2an = 0 ) an+2 = an
(n + 1) (n + 2)
1 1 1 1 1 1
a3 = a1 = a1 ; a5 = a3 = a1 = a1
23 3! 4 5 4 5 23 5!
3 3 5 35 3 5:::: (2n 3)
a7 = a5 = a1 ; a9 = a7 = a1 ; ::::; a2n+1 = a1
6 7 7! 8 9 9! (2n + 1)!
a4 = 0; ::::; a2n = 0; 8n 2

Con esto obtenemos dos soluciones:

x1 (t) = a0 + a2 t2 = a0 a0 t2 = a0 1 t2
x2 (t) = a1 + a3 t3 + a5 t5 + ::: + a2n+1 t2n+1 + ::: =
1 3 1 5 3 5:::: (2n 3) 2n+1
= a1 1 t t ::: t :::
3! 5! (2n + 1)!

Notamos que en este caso una de las soluciones es un polinomio y otra es una serie con in…nitos términos, la
cual se podrá truncar según el problema que queramos resolver. La solución general de esta ecuación diferencial
se la puede expresar como:

x (t) = C1 x1 (t) + C2 x2 (t) =

1 3 1 5 3 7 3 5:::: (2n 3) 2n+1
= C1 1 t2 + C2 t t t t ::: t :::
3! 5! 7! (2n + 1)!

2
3.1.2. Solución alrededor de un punto singular regular
Sin pérdida de generalidad vamos a suponer que t0 = 0 es un punto singular regular de la ecuación (1).
Proponemos como solución una serie alrededor del punto t0 = 0 de la forma:
1
X
r
x(t) = t an tn ; r2R
n=0

donde a0 6= 0 y r es un número a determinar. Esta serie se llama serie de Frobenius y converge para 0 < t < R.
Derivando en el intervalo de convergencia obtenemos:
P
1 P
1
x0 (t) = an (n + r) tn+r 1
y x00 (t) = an (n + r) (n + r 1) tn+r 2
n=0 n=0

Dado que Q y R admiten desarrollo en serie convergente de potencias alrededor de t0 = 0:

Q(t) S (t) S0 + S1 t + S2 t2 + ::: + Sk tk + :::

= =
P (t) t t
R(t) T (t) T0 + T1 t + T2 t2 + ::: + Tm tm + :::
= 2 =
P (t) t t2

Nos limitaremos al intervalo 0 < t < R, el comportamiento para t < 0 se resuelve haciendo un cambio de
variable u = t, y resolviendo la ecuación resultante para t > 0. Bajo estas suposiciones tenemos:

Q(t) 0 R(t) S (t) 0 T (t)

P (t)x00 + Q(t)x0 + R(t)x = 0 ) x00 + x + x = 0 =) x00 + x + 2 x=0
P (t) P (t) t t
t2 x00 + tS (t) x0 + T (t) x = 0 (2)

Para resolver la ecuación diferencial, reemplazamos x, x0 y x00 en (2):

1
X 1
X
t2 x00 = t2 an (n + r) (n + r 1) tn+r 2
= tr an (n + r) (n + r 1) tn
n=0 n=0
1 1 1 1 1 n
!
X X X X X X
0 n n+r 1 r n n r
tS (t) x = t Sn t an (n + r) t =t Sn t an (n + r) t = t (k + r) ak Sn k tn
n=0 n=0 n=0 n=0 n=0 k=0

n
X
Hacemos S n = (k + r) ak Sn k, resulta:
k=0

1
X
tS (t) x0 = tr S n tn
n=0

1 1 1 1 1 n
!
X X X X X X
T (t) x = T n tn an tn+r = tr T n tn an tn = tr ak Tn k tn
n=0 n=0 n=0 n=0 n=0 k=0
n
X
Hacemos T n = ak Tn k, resulta:
k=0
1
X
T (t) x = tr T n tn
n=0
2 00 0
Reemplazando en t x + tS (t) x + T (t) x = 0:
1
X
tr an (n + r) (n + r 1) + S n + T n tn = 0
n=0

3
 1
" n n
#
X X X
an (n + r) (n + r 1) + (k + r) ak Sn k + ak Tn k tn = 0
n=0 k=0 k=0
1
" n
#
X X
an (n + r) (n + r 1) + ak ((k + r) Sn k + Tn k) tn = 0
n=0 k=0
1
" n
#
X X1
an (n + r) (n + r 1) + ak ((k + r) Sn k + Tn k) + (n + r) an S0 + an T0 tn = 0
n=0 k=0
1
" n
#
X X1
an [(n + r) (n + r 1) + ((n + r) S0 + T0 )] + ak ((k + r) Sn k + Tn k) tn = 0
n=0 k=0

Obtemos así la siguiente fórmula de recurrencia:

n
X1
an [(n + r) (n + r 1) + S0 (n + r) + T0 ] + ak (Sn k (k + r) + Tn k) =0 (3)
k=0

Para n = 0 resulta la expresión:

a0 [r (r 1) + S0 r + T0 ]
la cual debe ser igual a cero para que se veri…que la igualdad, dado que a0 6= 0:
r (r 1) + S0 r + T0 = 0 (4)
Esta ecuación en la variable r se llama ecuación indicial. A partir de la ecuación indicial determinamos los val-
ores de r (no tenemos en cuenta las raíces complejas), luego reemplazamos y determinamos los correspondientes
an ; …nalmente expresamos las soluciones x1 e x2 .
Pueden ocurrir las siguientes situaciones:
I Si (r1 r2 ) 2
= Z, obtenemos dos soluciones linealmente independientes:
P
1 P
1
x1 (t) = an (r1 )tn+r1 ; a0 (r1 ) 6= 0 y x2 (t) = an (r2 )tn+r2 ; a0 (r2 ) 6= 0
n=0 n=0

II Si r1 = r2 , obtenemos dos soluciones linealmente independientes:

P
1 P
1
x1 (t) = an (r1 )tn+r1 ; a0 (r1 ) 6= 0 y x2 (t) = dn (r1 )tn+r1 + (ln t) x1 (t) ; d0 (r1 ) 6= 0
n=0 n=0

III Si (r1 r2 ) 2 Z, obtenemos dos soluciones que podrían quedar linealmente dependientes y en tal caso se
puede proceder como en el caso anterior.
P
1 P1
x1 (t) = an (r1 )tn+r1 y x2 (t) = n=0 cn (r2 )t
n+r2
+ C(ln x)y1 (x); con c0 (r2 ) 6= 0
n=0

Donde C es una constante que podría ser cero, y en tal caso, las dos series serían de Frobenius. En este
caso podrían existir, o no, dos soluciones linealmente independientes de la forma:
P
1 P
1 P
1
x1 (t) = an (r1 )tn+r1 ; a0 (r1 ) 6= 0 y x2 (t) = an (r2 )tn+r2 = an (r2 )tn+r1 +k , k 2 Z
n=0 n=0 n=0

Teorema 2 Supongamos que t = 0 es un punto singular regular de la ecuación diferencial (1) y que los desar-
rollos en series de potencias de S (t) y T (t) en (2) son válidos en un intervalo jtj < R (R > 0). Sean r1 y r2 las
raíces de la ecuación indicial (3), con r2 r1 . Entonces la ecuación (1) tiene al menos una serie de Frobenius
como solución:
1
X
x1 = an (r1 ) tn+r1 ; a0 6= 0
n=0
sobre el intervalo 0 < t < R,
P1 donde los an quedan determinados en términos de a0 por la fórmula de recurrencia
(3) con r = r1 , y la serie n=0 an (r1 ) tn converge para jtj < R. Además, si r1 r2 no es un entero positivo o
cero, la ecuación (1) tiene una segunda serie de Frobenius como solución independiente:
1
X
x2 = an (r2 ) tn+r2 ; a0 6= 0
n=0

sobre ese mismo intervalo, y enPeste caso los an quedan determinados por a0 y la fórmula de recurrencia (3)
1
con r = r2 , y de nuevo la serie n=0 an (r1 ) tn converge para jtj < R.
4
Observación 1 Si r1 = r2 , no puede existir una segunda serie de Frobenius como solución.

Ejemplo 3 2t2 x001 tx01 + x1 = 0

La ecuación indicial es.

2r2
3r + 1 = 0
8 P
1 P1 P1
>
> x1 (t) = an tn+1 ; x01 (t) = an (n + 1) tn ; x001 (t) = an (n + 1) ntn 1
>
>
>
> n=0 n=0 n=1
>
> P
1 P1 P
1
>
< 2t2 x001 tx01 + x1 = 2an (n + 1) ntn+1 an (n + 1) tn+1 + an tn+1 = 0
Si r1 = 1 n=0 n=0 n=0
> P1 P
1
>
> [2an (n + 1) n an (n + 1) + an ] t n+1
a0 t + a0 t = 2n2 + n an tn+1 = 0; 8a0
>
> | {z } n=1
>
> n=1
>
> n=0
: 8n 1; 2n2 + n a = 0 ) a = 0 y x1 (t) = a0 t
n n
8
> P
1 1 P1 1 P1 3
>
>
> x2 (t) = cn tn+ 2 ; x02 (x) = cn n + 12 tn 2 ; x002 (t) = cn n + 12 n 21 tn 2
>
> n=0 n=0 n=0
>
> P1 P1 P
1
>
> 2t2 x002 tx02 + x2 = 2cn n + 12 n 21 tn+ 2
1 1
cn n + 21 tn+ 2 +
1
cn tn+ 2 = 0
>
>
>
> n=0 n=0 n=0
>
< 1 1 1 1 P
1 1
1 1 1 n+
1 c0 t 2 2 +1 + cn 2 n + 2 n 2 n+ 2 +1 t 2 =0
Si r2 = 2 2 2 2 n=0
>
> | {z }
>
>
>
> n=0
>
> P1 1
>
> Luego cn 2n2 n tn+ 2 = 0 ) 8n 1 : cn 2n2 n = 0 ) cn = 0
>
>
>
> n=1
>
: Por tanto: x2 (t) = c0 t 12

Si k1 = a0 y k2 = c0 , la solución es
1
x (t) = k1 t + k2 t 2

La ecuación de Legendre

La ecuación de Legendre es:

1 x2 y 00 2xy 0 + ( + 1) y = 0
donde es un número real. Esta ecuación surge siempre en problemas físicos de dos o tres dimensiones, cuando
se realizan cambio de variables a polares o esféricas correspondientemente.
El desarrollo en serie propuesto en este caso es:
1
X
y(x) = an xn
n=0

ya que el punto x0 = 0 es un punto ordinario.

Derivando y sustituyendo en la ecuación diferencial podemos obtener la siguiente relación de recurrencia:

n (n + 1) ( + 1) ( n) ( + n + 1)
an+2 = an = an
(n + 1) (n + 2) (n + 1) (n + 2)

Para valores pares de n,

( + 1) ( 2) ( + 3) ( 2) ( + 1) ( + 3)
a2 = a0 ; a4 = a2 = a0 ; :::
2 (3) (4) 4!

Para los valores impares de n,

( 1) ( + 2) ( 3) ( 1) ( + 2) ( + 4)
a3 = a1 ; a5 = a1 ; :::
3! 5!
La serie de potencia que es solución de la ecuación se puede expresar de la forma:

y (x) = a0 y1 (x) + a1 y2 (x)

donde a0 y a1 constantes arbitrarias y

5
 ( + 1) 2 ( 2) ( + 1) ( + 3) 4
y1 (x) = 1 x + x :::
2 4!
( 1) ( + 2) 3 ( 3) ( 1) ( + 2) ( + 4) 5
y2 (x) = x x + x ::::
3! 5!
Notar que la serie y1 contiene sólo las potencias pares de x; y la serie y2 contiene sólo las potencias impares de
x:
Por el criterio de D’Alambert, podemos ver que el radio de convergencia de ambas series es igual a 1, es
decir que y1 e y2 convergen en jxj < 1.
En general:
k ( + 2k 1) ( + 2k 3) ::: ( + 1) ( 2) ::: ( 2k + 2)
a2k = ( 1) a0
(2k)!
k ( + 2k) ( + 2k 2) ::: ( + 2) ( 1) ( 3) ::: ( 2k + 1)
a2k+1 = ( 1) a1
(2k + 1)!
Supongamos, ahora que la constante es un número entero no negativo. Si es par, digamos = 2k,
entonces y1 es un polinomio de grado , pues a partir del coe…ciente de x2k+2 aparece el factor 2k
que es cero.
Por ejemplo, para a0 = 1:
(2 + 1) 2 2
Si = 2, y1 = 1 x ) y1 = 1 3x2
(2)!
(4 + 1) 4 2 (4 + 3) (4 + 1) 4 (4 2) 4
Si = 4, y1 = 1 x + x ) y1 = 1 10x2 + 35 3 x
4
2! 4!
(6 + 1) 6 2 (6 + 3) (6 + 1) 6 (6 2) 4 (6 + 5) (6 + 3) (6 + 1) 6 (6 2) (6 4)
Si = 6, y1 = 1 x + x x6
2! 4! 6!
) y1 = 1 21x2 + 63x4 231 5 x6
, etc.
Análogamente si es impar, digamos = 2k + 1, entonces y2 (x) es un polinomio de grado , pues
a partir del coe…ciente de x2k+3 aparece el factor 2k que es igual a cero. Por ejemplo, si a0 = 1:
Si = 1 , y2 = x
(3 + 2) (3 1) 3 5 3
Si = 3 , y2 = x x ) y2 = x x
3! 3
(5 + 2) (5 1) 3 (5 + 4) (5 + 2) (5 1) (5 3) 5
Si = 5 , y2 = x x + x ) y2 = x 14 3 21 5
3 x + 5 x , etc.
3! 5!
En resumen: si es un entero no negativo, existe una solución polinomial para la ecuación de Legendre. Estas
soluciones polinomiales, cuando se les impone cierta condición adicional, forman un conjunto de polinomios del
que resulta muy interesante estudiar algunas de sus propiedades, como vimos en el espacio de las funciones
generalmente continuas.
La ecuación de Hermite
La ecuación de Hermite es:
y 00 2xy 0 + 2py = 0
donde n es un número real. Esta ecuación aparece al resolver la ecuación de Schrödinger para un oscilador
armónico. La solución general determinada por el método de series de potencias es de la forma:
y (x) = a0 y1 (x) + a1 y2 (x)
donde y1 contiene las potencias pares e y2 contiene las potencias impares de x:
Hallar la forma general de las mismas.
La ecuación de Laguerre
La ecuación de Laguerre es de la forma
xy 00 + (1 x)y 0 + ny = 0
donde n es un número real. Esta ecuación aparece al resolver la parte radial de la ecuación de Schrödinger para
el átomo de hidrógeno. Teniendo en cuenta que en este caso x = 0; es un punto singular, la solución general
determinada por el método de series de potencias es de la forma,
y (x) = a0 y1 (x) + a1 y2 (x)

6
donde y1 contiene las potencias pares e y2 contiene las potencias impares de x:
Hallar la forma general de las mismas.

La ecuación de Bessel

La ecuación de Bessel es:

x2 y 00 + xy 0 + x2 n2 y = 0
donde n es un número real. Esta ecuación aparece al resolver la ecuación de onda para las membranas circulares
y esféricas y para la ecuación de Schrödinger para la partícula en una caja circular o en una esférica. Teniendo
en cuenta que en este caso x = 0; es un punto singular, la solución general determinada por el método de series
de potencias es de la forma,
y (x) = a0 y1 (x) + a1 y2 (x)

La Ecuación y 00 + ! 2 y = 0

Esta ecuación merece ser tratada por su frecuente uso en las ciencias físicas. Siendo ! un número real, la
solución general es
y (x) = y = c1 ei!x + c2 e i!x
Si ! es una constante dada, entonces dos condiciones iniciales o de frontera son su…cientes para hallar la solución
particular para esos casos. Pero podría ser ! un parámetro a determinar y deberán en este caso requerirse
condiciones adicionales. Una tercera posibilidad es que se requieran condiciones de frontera periódicas o cíclicas:

y(x + ) = y(x) , período

En este caso, reemplamos x por en la solución general, y resulta:

y = c1 ei!x + c2 e i!x
= c1 ei!(x+ )
+ c2 e i!(x+ )
= c1 ei!x ei! + c2 e i!x
e i!

dado que y(x + ) = y(x), tenemos:

ei! = e i!
=1
por ser ei2 n
= 1:
! =2 n
entonces, los posibles valores de !, son:
2 nx
!n = ; n = 0; 1; 2; ::

luego:

yn (x) = c1 ei(2 nx= )

+ c2 e i(2 nx= )
, n = 0; 1; 2; ::
2 nx 2 nx
yn (x) = A cos + B sin , n = 0; 1; 2; ::

Una partícula en una caja unidimensional

En mecánica cuántica es uno de los sistemas más simples que demuestran la cuantización de la energía. La
Ecuación de Schrödinger para una partícula que se mueve en el eje x una longitud …nita es

}2 d2 (x)
+ V (x) (x) = E (x)
2m dx2
siendo } la constante reducida de Plack (h=2 ) , la función de onda, V (x) la energía potencial de la partícula
para la posición x y E (constante) la energía total.
En el presente sistema, la energía potencial es:

V (x) = 0; 0<x<l
V (x) = 1; x 0; x l

El valor constante de V en el interior de la caja unidimensional asegura que no actúan fuerzas sobre la partícula
en esta región. En dicha región la energía total E, es la energía cinética por ser V (x) = 0.

7
 El valor in…nito de V sobre las “paredes” y en el exterior de la caja asegura que la partícula no salga de la
caja. En mecánica cuántica esto implica que la función de onda es cero sobre las paredes y fuera de la caja.
En el interior de la caja, tenemos el siguiente problema con condiciones de frontera:
( 2
}2 d (x)
2m dx2 + V (x) (x) = E (x)
(0) = (l) = 0

llamando
2mE
!2 =
}2
adopta la forma ya tratada (
d2 (x)
dx2 + !2 = 0
(0) = (l) = 0
cuya solución general es

(x) = A cos !x + B sin !x

(0) = A cos !0 + B sin !0 = 0 ) A = 0
n
(l) = B sin !l = 0 ) ! =; n = 0; 1; 2; ::
l
y la solución particular con las condiciones de frontera, es
n
n (x) = B sin x; n = 0; 1; 2; :::
l
y así las soluciones permitidas involucran los números cuánticos n = 1; 2; 3; :::: Se descarta el valor para n = 0
porque la solución trivial 0 (x) = 0 no tiene signi…cado físico. Los valores negativos de n también se descartan
porque n (x) = n (x).
Por ser ! 2 = 2mE}2 , para cada valor único de n (x), existe una energía
2
! 2 }2 n 2 1 h n 2 h2
En = = =
2m l 2m 2 8ml2

Para poder determinar la constante B debemos considerar que el cuadrado de la función de onda es una densidad
de probabilidad, esto es
Z l Z l Z l r
n 2
2 2 2 n 2l 2
1= (x)dx = B sin x dx = B sin x dx = B )B=
0 0 l 0 l 2 l

En de…nitiva r
2 n
sin
n x; n = 1; 2; 3; :::
(x) =
l l
Los siguientes grá…cos representan las tres primeras soluciones, para l = 1:

y 1 y 1 y 1

-4 -2 2 4 -4 -2 2 4 -4 -2 2 4
-1 x -1 x -1 x
p p p
1 (x) = 2 sin x 2 (x) = 2 sin 2 x 3 (x) = 2 sin 3 x

Estos grá…cos muestran que la función de onda n tiene n 1 ceros o nodos en el intervalo (0; l). Esta es
una propiedad general de la función de onda; el números de nodos crece a medida que aumenta la energía del
sistema.