Lectura 6

Ampliacin de Matemticas. Grado en

Ingeniera Civil
Curso Acadmico 2011-2012
1 / 50
Ecuaciones Diferenciales Ordinarias
En la Lectura anterior hemos tratado la resolucin de EDOs de
primer orden y

= f (t , y). Ahora vamos a ocuparnos de EDOs

de orden superior: en particular, nos ocuparemos de
ecuaciones diferenciales ordinarias lineales.
Empecemos con algunas deniciones y conceptos bsicos ...
2 / 50
Ecuaciones Diferenciales Ordinarias
Ecuacin diferencial ordinaria lineal
La forma ms general de una EDO lineal es
a
n
(x)y
(n)
+a
n1
(x)y
(n1)
+ +a
1
(x)y
(1)
+a
0
(x)y
(0)
= A(x). (1)
donde supondremos que las a
i
(x) y A(x) son funciones continuas.
Si a
n
es distinto de cero en el intervalo en el que se quiere resolver la
ecuacin, podemos escribir sta como:
y
(n)
+p
n1
(x)y
(n1)
+ +p
1
(x)y

+p
0
(x)y = R(x). (2)
EDO homognea e inhomognea
Se llama ecuacin homognea asociada a la anterior ecuacin
diferencial a aqulla que resulta de tomar R(x) = 0. Por contra, una
ecuacin con R(x) = 0 se dice que es inhomognea.
3 / 50
Ecuaciones Diferenciales Ordinarias
EDO lineal: existencia y unicidad de solucin
Sea x
0
I, siendo I un intervalo donde los coecientes de la EDO
lineal (2) son continuos. Se cumple entonces que la ecuacin tiene
una nica solucin en I cumpliendo unas condiciones y(x
0
) = y
0
,
y

(x
0
) = y

0
,..., y
(n1)
(x
0
) = y
n1
0
, donde y
0
, y

0
, ..., y
(n1)
0
son nmeros
arbitrarios.
Comentario: Por la linealidad de las EDOs que estamos
considerando, es evidente que si y
1
, y
2
,...y
m
son distintas soluciones
de la ecuacin diferencial, entonces cualquier combinacin lineal de
ellas, con coecientes constantes:
y(x) =
m

i =1

i
y
i
(x)
sigue siendo solucin de la ecuacin diferencial. Si las funciones en
cuestin fuesen linealmente independientes, podramos pensar en
que una combinacin de stas con n constantes arbitrarias, podra
ser la solucin general de la EDO. Vemoslo ...
4 / 50
Ecuaciones Diferenciales Ordinarias
Funciones linealmente independientes
{f
i
(x)}
n
i =1
es un sistema de funciones linealmente independientes
sobre un intervalo I
_

n
i =1

i
f
i
(x) = 0 en I
i
= 0, i = 1, ..., n

.
En caso contrario es un sistema linealmente dependiente.
Un criterio prctico para establecer la independencia lineal de un
conjunto de n funciones se deriva del siguiente resultado:
Dependencia lineal de funciones: condicin de Wronskiano
Si el sistema de funciones {f
i
(x)}
n
i =1
es linealmente dependendiente
sobre un intervalo I y las funciones tienen derivadas de orden (n 1)
entonces
W[{f
i
(x)}
n
i =1
](x)

f
1
f
2
. . . f
n
f

1
f

2
. . . f

n
.
.
.
.
.
. . . . . . .
f
(n1)
1
f
(n1)
2
. . . f
(n1)
n

= 0 , x I . (3)
A este determinante le llamaremos Wronskiano de {f
i
(x)}
n
i =1
.
5 / 50
Ecuaciones Diferenciales Ordinarias
Es decir, que si un conjunto de soluciones {f
i
(x)}
n
i =1
cumple que
W[{f
i
(x)}
n
i =1
](x) = 0 x I entonces {f
i
(x)}
n
i =1
es linealmente
independiente en I.
Comentario: En el caso particular de funciones que son soluciones
de una EDO lineal de orden n, no es necesario comprobar que el
Wronskiano sea cero x I para saber si el conjunto es linealmente
independiente en I. En concreto, se verica el siguiente resultado:
Si los coecientes de una EDO lineal homognea de orden n son
continuos en I, el Wronskiano de n soluciones o bien es distinto de
cero en todo I (y entonces los n soluciones son linealmente
independientes) o bien es cero en todo I.
y a partir de aqu:
Sean {f
i
(x)}
n
i =1
soluciones de y
(n)
+
n1

i =0
p
i
(x)y
(i )
= 0 con coecientes
continuos en I entonces: {f
i
(x)}
n
i =1
linealmente independiente en I
si y slo si W[{f
i
(x)}
n
i =1
](x) = 0 para algn x I.
6 / 50
Ecuaciones Diferenciales Ordinarias
Resultados importantes para EDOs lineales homogneas que se
demuestran utilizando, en parte, el primero de los resultados que
acabamos de ver, son:
Existen n soluciones linealmente independientes de la EDO
y
(n)
+
n1

i =0
p
i
(x)y
(i )
= 0
con coecientes p
i
continuos.
Sea {f
i
(x)}
n
i =1
un sistema linealmente independientes de
soluciones de la EDO y
(n)
+
n1

i =0
p
i
(x)y
(i )
= 0 con coecientes
continuos en I. Entonces, cualquier solucin f (x) de la EDO se
puede escribir como combinacin lineal de {f
i
(x)}
n
i =1
, es decir,
que f (x) =

n
i =1

i
f
i
(x).
7 / 50
Ecuaciones Diferenciales Ordinarias
Como consecuencia de lo anterior se verica que hay n y no ms de
n soluciones linealmente independientes de una EDO lineal
homognea de orden n con coecientes continuos.
Conjunto fundamental de soluciones: denicin
Dada una EDO lineal de orden n homognea con coecientes
continuos, se llama conjunto fundamental de soluciones a un
conjunto de n funciones linealmente independientes {f
i
(x)}
n
i =1
que
son soluciones de la ecuacin. Se llama espacio de soluciones de
la ecuacin al espacio generado por un conjunto fundamental
(base). Toda solucin de la EDO est en el espacio de soluciones, es
decir, que si f (x) es solucin, entonces f (x) L[{f
i
(x)}
n
i =1
] (donde L
denota el espacio lineal de funciones).
Y otro resultado que nos dar la clave prctica para resolver EDOs
lineales es ...
8 / 50
Ecuaciones Diferenciales Ordinarias
Si Y(x) es una solucin particular de y
(n)
+
n1

i =0
p
i
(x)y
(i )
= R(x) y
{f
i
(x)}
n
i =1
es una base del espacio de soluciones de la ecuacin
homognea asociada (y
(n)
+
n1

i =0
p
i
(x)y
(i )
= 0), entonces la solucin
general de la ecuacin inhomognea es:
f (x) = Y(x) +L[f
1
, ..., f
n
]
es decir, que la solucin general se puede expresar como
f (x) = Y(x) +
n

i =1

i
f
i
(x) .
9 / 50
Ecuaciones Diferenciales Ordinarias
Es decir, encontrar la solucin general de una EDO lineal
inhomognea consiste en:
1
Encontrar una base de soluciones para la EDO
homognea.
2
Escribir la solucin general de la EDO homognea
como combinacin lineal, con constante arbitrarias,
de este conjunto fundamental.
3
Hallar una solucin particular de la EDO inhomognea.
4
Sumar a esta solucin particular la solucin general
de la EDO homognea.
Empecemos por abordar los dos primeros puntos ...
10 / 50
Ecuaciones Diferenciales Ordinarias
... centrndonos en el caso particular de EDOs lineales
homogneas con coecientes constantes. Veamos cmo obtener
un conjunto fundamental de soluciones de esta ecuacin,
empezando con una denicin:
Polinomio caracterstico: denicin
Dada una EDO lineal homognea con coecientes constantes
a
n
y
(n)
+ ... +a
1
y

+a
0
y = 0
se llama polinomio caracterstico de la ecuacin a:
P(r ) = a
n
r
n
+ ... +a
1
r +a
0
.
A la ecuacin P(r ) = a
n
r
n
+ ... +a
1
r +a
0
= 0 la denominaremos
ecuacin caracterstica.
Las races de la ecuacin anterior, que pueden ser reales y/o
complejas, sern la clave para determinar el conjunto
fundamental de soluciones de la EDO.
Distingamos varios casos:
11 / 50
Ecuaciones Diferenciales Ordinarias
Regla 1: Todas las races reales y distintas
Sea

n
i =1
a
i
y
(i )
= 0, a
n
= 0, tal que la ecuacin
caracterstica tiene n races reales distintas {r
i
}
n
i =1
. La
solucin general de la EDO se puede escribir entonces
como:
f (x) =
n

i =1
c
i
e
r
i
x
siendo c
i
constantes arbitrarias.
12 / 50
Ecuaciones Diferenciales Ordinarias
Regla 2: Todas las races reales pero hay races mltiples
Sea

n
i =0
a
i
y
(i )
= 0, a
n
= 0, tal que la ecuacin
caracterstica tiene m races reales distintas {r
i
}
m
i =1
con
grado de multiplicidad m
i
. La solucin general de la EDO
se puede escribir:
f (x) =
m

i =1
P
m
i
(x)e
r
i
x
siendo P
m
i
(x) distintos polinomios de grado m
i
con
coecientes indeterminados.
13 / 50
Ecuaciones Diferenciales Ordinarias
El caso que nos queda por abordar (polinomio caracterstico
con races complejas) se engloba en la solucin general de la
EDO:
Regla 3: Solucin general
Sea

n
i =0
a
i
y
(i )
= 0, a
n
= 0, tal que la ecuacin
caracterstica tiene m races distintas {r
i
}
n
i =1
con grado de
multiplicidad m
i
. La solucin general de la EDO se puede
escribir:
f (x) =
n

i =1
P
m
i
(x)e
r
i
x
siendo P
m
i
(x) distintos polinomios de grado m
i
con
coecientes indeterminados, reales para los r
i
reales y
complejos para r
i
complejos. Los coecientes de los
polinomios han de ser tales que la solucin general sea
real.
14 / 50
Ecuaciones Diferenciales Ordinarias
La Regla 3, tal y como acabamos de enunciarla, involucrar en
general expresiones complejas (aunque la solucin general de
la EDO es real, segn hemos visto). Un enunciado ms
prctico de la Regla 3 es el siguiente:
Regla 3: Enunciado operativo
Sea

n
i =0
a
i
y
(i )
= 0, a
n
= 0. La solucin general es la suma
de la contribucin para las races reales, si las hay, segn
la Regla 2 ms la contribucin de las races complejas, si
las hay. Por cada par de races complejo-conjugadas a ib
con multiplicidad se aade un sumando:
e
ax
(P

(x) cos bx +Q

(x) sinbx)
con P

y Q

polinomios reales de grado con coecientes

reales indeterminados.
15 / 50
Ecuaciones Diferenciales Ordinarias
Nada mejor que poner en prctica las reglas anteriores con el
siguiente ejercicio:
Ejercicio: Hallar la solucin general de las siguientes
EDOs lineales:
1
y

5y

+6y = 0.
2
y

+y

+y = 0.
3
y
(4)
2y

+y = 0.
16 / 50
Ecuaciones Diferenciales Ordinarias
Comentario: En cuanto los coecientes de la EDO lineal no
son constantes o intentamos resolver una ecuacin
inhomognea, nuestras esperanzas de resolver la ecuacin
diferencial en trminos de funciones elementales, como
acabamos de hacer, se reducen considerablemente,
aunque habr casos en los que todava ser posible ...
17 / 50
Ecuaciones Diferenciales Ordinarias
Vamos a abordar ahora el punto 3 del listado de tareas enunciadas
en la pgina 10. Continuaremos centrndonos en EDOs lineales
con coecientes constantes pero ahora con un trmino
inhomogneo R(x):
n

i =0
a
i
y
(i )
= R(x)
con a
i
constantes (a
n
= 0) y R(x) una funcin que posee un nmero
nito de derivadas linealmente independientes.
Vamos a considerar un primer mtodo para obtener una solucin
particular de la EDO: el mtodo de los coecientes
indeterminados.
Consideremos que R(x) est formado por las funciones
elementales x
m
(m N), e
px
, sinqx, cos qx, y combinaciones
lineales de estas funciones con productos nitos de estas
funciones.
18 / 50
Ecuaciones Diferenciales Ordinarias
Si una funcin de las anteriores tiene n derivadas linealmente
independientes (incluida la derivada de orden cero), llamaremos
familia de dicha funcin a un conjunto de n funciones
independientes de manera que las n derivadas se pueden
escribir como combinacin lineal de ellas; no admitimos sumas
de funciones elementales en la familia.
Algunos ejemplos:
Fam(x
m
) = {1, x, x
2
, ..., x
m
}.
Fam(e
px
) = {e
px
}.
Fam(sinqx) = Fam(cos qx) = {sinqx, cos qx}.
Fam(x sinqx) = Fam(x cos qx) = {x sinqx, x cos qx, sinqx, cos qx}.
19 / 50
Ecuaciones Diferenciales Ordinarias
Por la denicin, es evidente que la familia de una suma se
puede obtener del siguiente modo:
Fam(h
1
(x) +h
2
(x)) = Fam(h
1
(x))
_
Fam(h
2
(x))
Con esta denicin de familia generada por una funcin,
podemos dar una regla de clculo sencilla para generar la
solucin general, a saber:
20 / 50
Ecuaciones Diferenciales Ordinarias
Obtencin de una sol. particular de la EDO inhomognea
Dada una EDO

n
i =0
a
i
y
(i )
= R(x), con a
i
constantes (a
n
= 0) y R(x)
una funcin que posee un nmero nito de derivadas linealmente
independientes. Se puede obtener una solucin particular de la EDO
por el siguiente procedimiento
1
Se resuelve la ecuacin homognea.
2
Se forma la familia de R(x).
3
Si algn elemento, y
1
, de la familia de R(x) es solucin de la
ecuacin homognea, se multiplica por x
m
, siendo m el menor
nmero natural tal que x
m
y
1
ya no es solucin de la homognea.
4
Se forma una combinacin lineal, con coecientes constantes,
de todas las funciones de la familia, con la sustitucin descrita
en el anterior punto. Las constantes se determinan exigiendo
que esta combinacin lineal sea solucin de la EDO
inhomognea.
21 / 50
Ecuaciones Diferenciales Ordinarias
Como es bien sabido, la solucin general se puede escribir como
la solucin particular obtenida ms la solucin general de la
homognea.
Ejemplo: Hallar la solucin general de la ecuacin
y

3y

+2y = 3 +2x +e
x
.
Sol.:
Hayamos la solucin general de la homognea. Las races del
polinomio caracterstico son:
s
2
3s +2 = 0 s = 1, 2
luego la solucin general de la EDO homognea es:
y
H
(x) = C
1
e
x
+C
2
e
2x
.
Contina
22 / 50
Ecuaciones Diferenciales Ordinarias
Por otra parte:
Fam(R(x)) = Fam(1)Fam(2x)Fam(e
x
) = {1}{1, x}{e
x
} = {1, x, e
x
}
pero e
x
es solucin de la homognea. Multiplicamos por x y xe
x
ya
no es solucin de la homognea.
Tomamos una combinacin lineal:
y
P
= a
1
+a
2
x +a
3
xe
x
calculamos su primera y segunda derivadas y las llevamos a la
ecuacin diferencial:
y

3y

+2y = a
3
(2 +x)e
x
3(a
2
+a
3
(1 +x)e
x
)+
+2(a
1
+a
2
x +a
3
xe
x
) = 3 +2x +e
x
,
e igualando coecientes vemos que para que y
P
sea solucin de la
ecuacin: a
1
= 3, a
2
= 1, a
3
= 1. Tenemos pues una solucin
particular:
y
P
(x) = 3 +x xe
x
y por lo tanto la solucin general de la ecuacin inhomognea es:
y(x) = y
H
(x) +y
P
(x) = C
1
e
x
+C
2
e
2x
+3 +x xe
x
.
23 / 50
Ecuaciones Diferenciales Ordinarias
Un ejemplo (fsico) de aplicacin:
El desplazamiento respecto a la posicin de equilibrio u(t ) de un
objeto de masa m sujeto a un muelle colgado de un resorte de
constante k se puede describir, de forma aproximada, por una EDO
lineal de segundo orden que se obtiene a partir del balance de
fuerzas que actan en cada instante:
mu

+bu

+ku = F(t ),
siendo F(t ) la fuerza externa que acta sobre el objeto. En esta EDO
se est asumiendo una fuerza de friccin proporcional a la velocidad
del objeto u

y de sentido opuesto a la misma. Contina

F
F
r
e
24 / 50
Ecuaciones Diferenciales Ordinarias
Si se supone que no se aplica ninguna fuerza externa sobre el objeto
F(t ) = 0, la EDO a resolver sera:
mu

+bu

+ku = 0,
que tiene como ecuacin caracterstica P(r ) = mr
2
+br +k = 0 con
races r
1,2
=
b
_
b
2
4mk
2m
.
Podemos distinguir 2 casos:
Si b
2
< 4mk, las races son complejas. La solucin general de
la EDO corresponde, como sabemos,
u(t ) = e
bt /2m
(Acos(wt ) +B sin(wt )); es decir, a un sistema
oscilante con oscilaciones amortiguadas en el tiempo. En
mecnica hablaramos de un oscilador subamortiguado.
Si b
2
4mk, las races son reales y de multiplicidad uno o dos.
La solucin general de la EDO ser entonces
u(t ) = Ae
r
1
t
+Be
r
2
t
o u(t ) = e
r
1
t
(A +Bt ), respectivamente. Esta
situacin corresponde, claramente a un sistema que no oscila.
El trmino que se utiliza es de oscilador sobreamortiguado.
25 / 50
Ecuaciones Diferenciales Ordinarias
Vamos ahora a desviarnos de las ecuaciones con coecientes
constantes considerando ahora EDOs con coecientes
variables. De nuevo, no puede haber mtodos generales de
resolucin que expresen la solucin en trminos de
funciones elementales pues, de hecho, la mayor parte de
estas ecuaciones no admiten este tipo de expresin para
la solucin.
Hay, sin embargo, algunos casos de EDOs con coecientes
variables que s pueden ser reducidos a otros que ya hemos
abordado. Consideraremos dos tipos de problemas: a)
Ecuaciones de Euler-Cauchy y b) Resolucin de EDOs por
reduccin de orden.
26 / 50
Ecuaciones Diferenciales Ordinarias
a) Ecuaciones de Euler-Cauchy
Las ecuaciones de Euler-Cauchy son del tipo:
a
n
x
n
y
(n)
+a
n1
x
n1
y
(n1)
+ ... +a
1
xy

+a
0
y = f (x).
Estas ecuaciones se pueden transformar en ecuaciones con
coecientes constantes considerando el cambio |x| = e
z
, es
decir, z = lnx.
En efecto: y

=
dy
dx
=
dy
dz
dz
dx
=
1
x
Dy, donde el operador diferencial D
signica derivacin respecto a z, es decir D =
d
dz
. Tenemos
entonces que xy

= Dy.
Sigamos con la derivada segunda:
y

=
1
x
2
Dy +
1
x
d
dz
(Dy)
dz
dx
=
1
x
2
Dy +
1
x
2
D
2
y
de modo que
x
2
y

= D(D 1)y = D
2
y Dy.
De forma similar, y procediendo por induccin, podemos probar que:
x
k
y
(k)
= D(D 1)...(D k +1)y
. 27 / 50
Ecuaciones Diferenciales Ordinarias
Ejercicio: Encontrar la solucin general de
x
3
y

+4x
2
y

5xy

15y = x
4
.
Consideremos ahora el otro tipo de problemas de EDOs con
coecientes variables:
b) Resolucin de EDOs por reduccin de orden
Por reduccin de orden entendemos convertir el problema de
resolver una ecuacin diferencial de un determinado orden
en otra de un orden inferior.
Veamos algunas reducciones de orden particulares ...
28 / 50
Ecuaciones Diferenciales Ordinarias
Nos restringimos a EDOs de segundo orden, aunque los
cambios que se describan puedan aplicarse a ecuaciones de
orden superior.
Consideremos pues una EDO de segundo orden genrica
f (x, y, y

, y

) = 0. En algunos casos en los que falta la x o la y o

alguna derivada, el problema se puede transformar en un problema
de primer orden. En particular, consideremos dos casos:
1
En f falta la y: f (x, y

, y

) = 0. Hacemos el cambio de
funcin y

= p y la ecuacin diferencial se escribe ahora:

f (x, p, p

) = 0.
2
En f falta la x: f (y, y

, y

) = 0. De nuevo, el cambio de
funcin es: y

= p y la segunda derivada se escribe:

y

=
dy

dx
=
dp
dx
=
dp
dy
dy
dx
= p
dp
dy
luego nos queda la ecuacin de primer orden:
f
_
y, p, p
dp
dy
_
= 0.
29 / 50
Ecuaciones Diferenciales Ordinarias
Para EDOs lineales de orden n homogneas
y
(n)
+
n1

i =0
p
i
(x)y
(i )
= 0
tambin es posible realizar una reduccin de orden de la EDO
si, por alguna razn, se conoce una solucin particular y
1
.
En ese caso, mediante el cambio de funcin:
y(x) = (x)y
1
(x)
obtenemos una ecuacin de orden n 1 en

. Si
conocemos ms soluciones independientes, repitiendo
este proceso se puede reducir el orden en una unidad por
cada solucin particular.
Ilustremos el procedimiento con una EDO lineal de segundo
orden ...
30 / 50
Ecuaciones Diferenciales Ordinarias
Supongamos que conocemos una solucin particular y
1
de la EDO
homognea de una ecuacin lineal de segundo orden:
y

+p
1
(x)y

+p
0
(x)y = R(x).
Hacemos y = (x)y
1
y llevamos y a la ecuacin diferencial. Tenemos
que
(x)[y

1
+p
1
(x)y

1
+p
0
(x)y
1
] +y
1

+ [2y

1
+p
1
y
1
]

= R(x).
El primer sumando se anula por ser y
1
una solucin de la ecuacin
homognea. Tenemos entonces que, llamando u =

:
y
1
u

+ [2y

1
+p
1
y
1
]u = R(x) ,
que es una EDO lineal de primer orden, que sabemos como
integrar!
Ejercicio: Hallar la solucin general de la ecuacin
(1 2x)y

+2y

+ (2x 3)y = 0, sabiendo que una solucin

particular de la ecuacin es y = e
x
.
31 / 50
Ecuaciones Diferenciales Ordinarias
Aun cuando nuestra EDO no se ajuste a los casos descritos
anteriormente, veamos que todava tenemos algn recurso a nuestro
alcance para intentar resolverla ...
El mtodo de variacin de parmetros
Para una EDO lineal de coecientes variables inhomognea
y
(n)
+
n1

i =o
p
i
(x)y
(i )
= R(x)
de la que conocemos un conjunto fundamental de soluciones de
la EDO homognea {f
i
}
n
i =1
, veamos que es posible (en algunos
casos) obtener una solucin particular utilizando lo que se denomina
el mtodo de variacin de parmetros.
32 / 50
Ecuaciones Diferenciales Ordinarias
Estudiaremos este mtodo para EDOs de segundo orden y
posteriormente lo generalizaremos para ecuaciones de orden
superior:
Consideremos pues la ecuacin
y

+p
1
(x)y

+p
0
(x)y = R(x),
y sea {f
1
, f
2
} un sistema fundamental de soluciones de la
homognea.
La idea consiste en buscar una solucin de la forma:
y
p
(x) = b
1
(x)f
1
(x) +b
2
(x)f
2
(x).
Como tenemos dos funciones desconocidas, debemos
plantear dos ecuaciones sobre estos coecientes para
poder obtenerlos!
33 / 50
Ecuaciones Diferenciales Ordinarias
La primera de las ecuaciones ser, lgicamente, la ecuacin
diferencial que queremos resolver.
Derivando la expresin de la solucin que buscamos (y
p
):
y

p
= b
1
f

1
+b
2
f

2
+b

1
f
1
+b

2
f
2
,
y tomemos como segunda ecuacin para determinar los
coecientes
b

1
f
1
+b

2
f
2
= 0 .
Haciendo esto llegamos al sistema de ecuaciones:
b

1
f

1
+b

2
f

2
= R(x) ,
b

1
f
1
+b

2
f
2
= 0
34 / 50
Ecuaciones Diferenciales Ordinarias
Las soluciones de este sistema de ecuaciones son:
b

1
=
det
_
0 y
2
R(x) y

2
_
det
_
y
1
y
2
y

1
y

2
_
, b

2
=
det
_
y
1
0
y

1
R(x)
_
det
_
y
1
y
2
y

1
y

2
_
e integrando (si podemos hacerlo analticamente!)
obtendremos las expresiones para b
1
(x) y b
2
(x).
Ejercicio: Hallar la solucin general de la ecuacin
diferencial: x
2
y

+xy

+y = sec(ln(x)) sabiendo que

{cos(ln(x)), sin(ln(x)} es un conjunto fundamental de
soluciones de la homognea (este problema tambin se
puede resolver directamente sabiendo que es una
ecuacin de Euler-Cauchy).
35 / 50
Ecuaciones Diferenciales Ordinarias
Generalizacin a orden n: de modo anlogo, para una ecuacin de
orden n:
y
(n)
+
n1

i =0
p
i
(x)y
(i )
= 0
con un conjunto de soluciones fundamentales de la homognea
{f
i
}
n
i =1
, plantearamos las ecuaciones:

n
i =0
b

i
f
(k)
i
= 0 , k = 0, 1, ..., n 2

n
i =0
b

i
f
(n1)
i
= R(x)
(4)
y resolviendo: b

i
=
W
i
W[f
1
, ..., f
n
]
, donde W denota el Wronskiano de
las funciones y W
i
es el resultado de sustituir la columna i de W por
_

_
0
.
.
.
0
R(x)
_

_
.
36 / 50
Ecuaciones Diferenciales Ordinarias
Llegados a este punto, nos podemos plantear qu hacer si la
EDO lineal que estamos considerando no tiene soluciones
en trminos de funciones elementales o si no disponemos
de informacin adicional sobre las soluciones de la
ecuacin diferencial. De hecho hay ecuaciones diferenciales
fundamentales para la fsica y la ingeniera (muchas de ellas
inocentes EDOs lineales de segundo orden con coecientes
variables) que, lejos de ser resolubles en trminos de
funciones elementales, denen nuevas funciones, a las que se
les suele englobar en la extensa y difusa categora de
funciones especiales: funciones no elementales que
aparecen asiduamente en determinados problemas de la
fsica y la ingeniera...
Ejemplo: La EDO y

+
1
x
y

+
_
1

2
x
2
_
y = 0 tiene como par
de soluciones independientes las denominadas funciones
de Bessel J

(x), Y

(x).
37 / 50
Ecuaciones Diferenciales Ordinarias
Veamos que, bajo determinadas condiciones, en estos casos
podemos obtener soluciones en forma de serie de potencias
alrededor de un punto. Centrmonos en EDOs lineales de segundo
orden con coecientes variables:
Series entorno a un punto ordinario de una ecuacin de
segundo orden.
Consideremos, como acabamos de comentar, ecuaciones lineales de
segundo orden
a
2
(x)y

+a
1
(x)y

+a
0
(x)y = 0,
que, si a
2
= 0, podemos escribir en la forma estndar
y

+p(x)y

+q(x)y = 0.
Buscaremos soluciones en forma de series de potencias, cuyo
comportamiento estar relacionado con el comportamiento de
las funciones p y q en un entorno de ese punto.
38 / 50
Ecuaciones Diferenciales Ordinarias
Empecemos con una denicin:
Punto ordinario
Un punto x
0
se dice que es un punto ordinario de la ecuacin
diferencial si tanto p(x) como q(x) son analticas en x
0
. Cuando un
punto no es ordinario se dice que es singular.
Sigamos con un par de resultados importantes:
Sea x
0
un punto ordinario de la ecuacin diferencial
y

+p(x)y

+q(x)y = 0 .
Existe una nica funcin analtica en x
0
, y(x), que es solucin de la
ecuacin diferencial satisfaciendo unas condiciones iniciales dadas:
y(x) = a
0
, y

(x
0
) = a
1
. Si el desarrollo en serie de p(x) y q(x) tienen
un radio de convergencia R entonces el desarrollo en serie de la
solucin tiene el mismo radio de convergencia.
39 / 50
Ecuaciones Diferenciales Ordinarias
Sea x
0
un punto ordinario de la ecuacin diferencial
y

+p(x)y

+q(x)y = 0 .
Entonces la ecuacin posee dos soluciones analticas
independientes de la forma
y
1
(x) =

n=0
a
n
(x x
0
)
n
, y
2
(x) =

n=0
b
n
(x x
0
)
n
en un entorno de x
0
. En consecuencia, toda solucin es analtica
entorno a x = x
0
.
Adems, el radio de convergencia de cualquier solucin en serie de
potencias entorno a x
0
es al menos igual que la distancia desde x
0
al
punto singular ms prximo (real o complejo) de la ecuacin
diferencial.
40 / 50
Ecuaciones Diferenciales Ordinarias
Ejemplo: Hallar la solucin general de 2y

+xy

+y = 0
alrededor de x = 0.
Sol: x = 0 es un punto ordinario de la ecuacin. Podemos pues
probar con una serie de potencias alrededor de x = 0:
y(x) =

n=0
a
n
x
n
.
Llevamos la serie a la ecuacin diferencial. El trmino en primera
derivada es
xy

= x

n=0
na
n
x
n1
=

n=0
na
n
x
n
Cont.
41 / 50
Ecuaciones Diferenciales Ordinarias
y el trmino en segunda derivada se escribe
2y

n=0
n(n 1)a
n
x
n2
=

n=0
(n +2)(n +1)a
n+2
x
n
luego:

n=0
[2(n +2)(n +1)a
n+2
+na
n
+a
n
]x
n
= 0
y para que se cumpla la igualdad se debe cumplir la siguiente
relacin
a
n+2
= a
n
/(2(n +2)).
Tenemos entonces una relacin entre los coecientes pares y
otra entre los impares, lo cual nos deja dos constantes
independientes que podemos tomar como a
0
y a
1
. Para los
coecientes de ndice par a
2k
= a
2k2
/4k, de lo que deducimos
que a
2n
= (1)
n
a
0
/(4
n
n!). Para los impares:
a
2k+1
= a
2k1
/(2(2k +1)), luego a
2n+1
= (1)
n
a
1
/(2
n
(2n +1)!!).
Cont.
42 / 50
Ecuaciones Diferenciales Ordinarias
Con esto ya tenemos la solucin general:
y(x) = a
0

n=0
(1)
n
1
4
n
n!
x
2n
+a
1

n=0
(1)
n
1
2
n
(2n +1)!!
x
2n+1
.
De hecho, la primera serie de la solucin general es fcil de sumar:

n=0
(1)
n
1
4
n
n!
x
2n
= e
x
2
/4
.
Es decir, que tenemos una expresin analtica para una solucin
y
1
= e
x
2
/4
(aunque no para la segunda). Con esto, podemos
considerar un mtodo alternativo para encontrar una segunda
solucin independiente aplicando, por ejemplo, reduccin de orden.
Haciendo esto llegaramos a que una segunda solucin
independiente sera
y
2
(x) = e
x
2
/4
_
x
0
e

x
2
/4
d

x .
La solucin general es entonces y = Ay
1
+By
2
, es decir:
y = e
x
2
/4
_
A +B
_
x
0
e

x
2
/4
d

x
_
.
43 / 50
Ecuaciones Diferenciales Ordinarias
Comentario: Cuando en la ecuacin
y

+p(x)y

+q(x)y = 0
p o q o ambos tengan una singularidad en x
0
, ya no podemos
garantizar la existencia de dos soluciones independientes en forma
de series de potencias. Sin embargo, cuando el punto es singular
regular, an habr casos en los que seremos capaces de escribir
soluciones en trminos de series de Frobenius.
Punto singular regular
Un punto x
0
singular de la ecuacin
y

+p(x)y

+q(x)y = 0
se dice que es regular si tanto (x x
0
)p(x) como (x x
0
)
2
q(x)
son analticas en x
0
. De otro modo, se dice que x
0
es un punto
singular irregular.
Los puntos singulares regulares tienen la propiedad de que en su
vecindad la ecuacin diferencial se aproxima en cierto sentido a una
ecuacin de Euler-Cauchy, que sabemos resolver.
44 / 50
Ecuaciones Diferenciales Ordinarias
Supongamos que consideramos x = 0. El siguiente resultado
nos proporciona la clave sobre la obtencin de soluciones en
serie especiales en el caso de que x = 0 sea un punto
singular regular ...
45 / 50
Ecuaciones Diferenciales Ordinarias
Sea x = 0 un punto singular regular de la ecuacin
y

+p(x)y

+q(x)y = 0 y sean p
0
= lim
x0
xp(x),
q
0
= lim
x0
x
2
q(x). Si las races de la ecuacin indicial
s
2
+ (p
0
1)s +q
0
= 0 ,
r
1
y r
2
, con r
1
r
2
, son reales, entonces la ecuacin diferencial tiene
al menos una solucin de la forma:
y
1
= x
r
1

n=0
a
n
x
n
(a
0
= 0)
donde la solucin es vlida al menos donde lo son los desarrollos de
xp(x) y x
2
q(x).
Adems, si r
1
r
2
no es entero, la ecuacin diferencial tiene una
segunda solucin independiente (con el mismo radio de
convergencia que la anterior solucin) de la forma
y
2
= x
r
2

n=0
b
n
x
n
(b
0
= 0)
46 / 50
Ecuaciones Diferenciales Ordinarias
Antes de nalizar esta lectura, un comentario sobre los
mtodos numricos para resolver EDOs de orden n: los
mtodos a los que nos referimos en la lectura pasada
(Euler, Runge-Kutta etc) son perfectamente aplicables a
EDOs de orden superior a 1.
Efectivamente, dado el problema de valores iniciales
y
(n)
(x) = f (t , y

, y

, ..., y
(n1)
),
y(a) =
1
, y

(a) =
2
, ..., y
(n1)
(a) =
n
y denotando y
1
(t ) = y(t ), ..., y
n
(t ) = y
(n1)
(t ), el anterior
problema es equivalente a resolver
Y

(t ) = F(y, Y(t )),

Y(a) =
donde Y(t ) = (y
1
(t ), ..., y
n
(t ))
T
,
F(t , Y(t )) = (y
2
(t ), ..., f (t , Y(t )
T
))
T
y = (
1
, ...,
n
)
T
.
47 / 50
Ecuaciones Diferenciales Ordinarias
De esta forma, una ecuacin de orden n se puede
transformar en un sistema de primer orden con n funciones
incgnita. Numricamente se pueden abordar con el
mismo tipo de mtodos EDOs escalares y sistemas de
EDOs de primer orden.
Ejemplo: La EDO de tercer orden
y

t
2
y

+3ty

4y = 9t
3
,
se puede transformar en sistema de EDOs de primer orden,
utilizando las siguientes variables y
1
(t ) = y(t ), y
2
(t ) = y

(t ),
y
3
(t ) = y

(t ):
_
_
_
y

3
(t ) = t
2
y
3
(t ) 3ty
2
(t ) +4y
1
(t ) +9t
3
y

2
(t ) = y
3
(t )
y

1
(t ) = y
2
(t ).
48 / 50
Ecuaciones Diferenciales Ordinarias
Una rutina (para MATLAB) que resuelve sistemas de EDOs de
primer orden implementando el mtodo de Euler explcito es:
Una implementacin del ntodo de Euler para sistemas de
primer orden
function [t,y]=eulersis(a,b,eta,N)
h=(b-a)/N;
t=a:h:b;
y(:,1)=eta;
for n=1:N
y(:,n+1)=y(:,n)+h*fsis(t(n),y(:,n));
end
Casi idntica a la que manejamos en la Prctica 2 para
ecuaciones escalares!
49 / 50
Ecuaciones Diferenciales Ordinarias
En la siguiente lectura veremos cmo abordar la resolucin
analtica de sistemas de EDOs lineales y abordaremos
algunas tcnicas para problemas de contorno vinculados a
EDOs lineales ...
50 / 50