Introduccin.

Planteamiento Clasicacin de puntos Clculo de soluciones

Resolucin de EDOs mediante series de potencias
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
ndice
1 Introduccin. Planteamiento
Repaso de series de potencias
Funciones analticas
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
ndice
1 Introduccin. Planteamiento
Repaso de series de potencias
Funciones analticas
2 Clasicacin de puntos
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
ndice
1 Introduccin. Planteamiento
Repaso de series de potencias
Funciones analticas
2 Clasicacin de puntos
3 Clculo de soluciones
Puntos ordinarios. Teorema de Fuchs
Puntos singulares. Teorema de Frobenius
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
1 Introduccin. Planteamiento
Repaso de series de potencias
Funciones analticas
2 Clasicacin de puntos
3 Clculo de soluciones
Puntos ordinarios. Teorema de Fuchs
Puntos singulares. Teorema de Frobenius
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Introduccin. Planteamiento
Partimos de la ecuacin: P(x)y

+ Q(x)y

+ R(x)y = 0
Si dividimos entre P(x) = 0:
y

+ p
1
(x)y

+ p
2
(x)y = 0
Mtodo de resolucin: desarrollo la solucin en serie de potencias alrededor
de un punto x
0
(habitualmente donde se especican las condiciones iniciales)
Nos limitaremos a:
Ecuaciones de segundo orden
Ecuaciones homogneas (procedimiento para no homogneas es
anlogo)
Coecientes P(x), Q(x) y R(x) polinmicos (si no, sustituir por
desarrollo en serie de potencias correspondiente)
(Recordar teorema de existencia y unicidad: p
1
(x) y p
2
(x) continuas en
(a, b) solucin nica de PVI.)
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Repaso de series de potencias

n=0
a
n
(x x
0
)
n
converge en x lim
m

m
n=0
a
n
(x x
0
)
n
Siempre converge en x
0

n=0
a
n
(x x
0
)
n
converge absolutamente en x

n=0
|a
n
(x x
0
)
n
|
converge en x
Convergencia absoluta convergencia
0 (radio de convergencia), de manera que

n=0
a
n
(x x
0
)
n
converge absolutamente (converge) para |x x
0
| <
Si slo converge en x
0
= 0. Si converge x =
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Repaso de series de potencias (II)
Criterio del cociente: Si para un cierto x
lim
n

a
n+1
(x x
0
)
n+1
a
n
(x x
0
)
n

= |x x
0
|lim
n

a
n+1
a
n

= l
la serie
Converge absolutamente (converge) si l < 1
Diverge si l > 1
? si l = 1
por lo tanto, si lim
n

an+1
an

= L, se cumple que
=
1
L
Si el lmite no existe, se puede utilizar otro criterio (p.e., el de la raz)
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Repaso de series de potencias (y III)
Si

n=0
a
n
(x x
0
)
n
converge a f(x) para |x x
0
| < , > 0, entonces
a
n
=
f
(n
(x0)
n!
(serie de Taylor alrededor de x
0
)
Si

n=0
a
n
(x x
0
)
n
. .
conv.
=

n=0
b
n
(x x
0
)
n
. .
conv.
x = a
n
= b
n
, n = 0, 1, 2, . . .
En particular: si

n=0
a
n
(x x
0
)
n
. .
conv.
= 0 x = a
n
= 0, n = 0, 1, 2, . . .
f (x): f (x) =

n=0
f
(n
(x0)
n!
(x x
0
)
n
, |x x
0
| < , > 0, se dice que es
analtica en x
0
.
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Funciones analticas
Si f (x) y g(x) son analticas en x
0
, entonces f g, f g, f /g (si
g(x
0
) = 0) son analticas en x
0
Los polinomios son analticos en todo punto.(Sumas, diferencias y
productos de polinomios, tambin)
Cocientes de polinomios son analticos en todo punto salvo en los ceros
del denominador.
El desarrollo en serie de Taylor alrededor de un punto x
0
de analiticidad
es convergente en |x x
0
| < , donde es la distancia en plano
complejo de x
0
al cero ms proximo del denominador. Ejemplo:
1
1+x
2
admite desarrollo en x
0
= 0 convergente con = 1
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
1 Introduccin. Planteamiento
Repaso de series de potencias
Funciones analticas
2 Clasicacin de puntos
3 Clculo de soluciones
Puntos ordinarios. Teorema de Fuchs
Puntos singulares. Teorema de Frobenius
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Clasicacin de puntos
Sea
y

+ p
1
(x)y

+ p
2
(x)y = 0 (1)
x
0
es un punto ordinario de (1) si p
1
(x) y p
2
(x) son ambas analticas en
x
0
x
0
es un punto singular de (1) en cualquier otro caso
x0 es un punto singular regular de (1) si, siendo singular, se cumple que
(x x0)p1(x) y (x x0)
2
p2(x) son ambas analticas en x0
x0 es un punto singular irregular de (1) en cualquier otro caso
Caso particular p
1
(x) y p
2
(x) son cociente de polinomios: x
0
es punto
singular regular de (1) lim
xx0
(x x
0
)p
1
(x) y lim
xx0
(x x
0
)
2
p
2
(x)
ambos existen y son nitos.
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
1 Introduccin. Planteamiento
Repaso de series de potencias
Funciones analticas
2 Clasicacin de puntos
3 Clculo de soluciones
Puntos ordinarios. Teorema de Fuchs
Puntos singulares. Teorema de Frobenius
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Resolucin alrededor de un punto ordinario.Teorema de
Fuchs
Teorema (Fuchs)
Dada la ecuacin
y

+ p
1
(x)y

+ p
2
(x)y = 0
Si p
1
(x), p
2
(x) son analticas en U
1
(x
0
), U
2
(x
0
) respectivamente, entonces
todas las soluciones son analticas al menos en U
1
(x
0
) U
2
(x
0
)
Dichas soluciones pueden obtenerse mediante
1
Mtodo directo por serie de Taylor: y =

n=0
y
(n
(x0)
n!
(x x
0
)
n
. Se
obtienen y
(n
(x
0
) sucesivamente derivando EDO
2
Mtodo de coecientes indeterminados: y =

n=0
a
n
(x x
0
)
n
. Se
calculan y

, y

y se sustituyen en EDO para identicar coecientes de

misma potencia
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Mtodo directo por series de Taylor
Teorema de Fuchs: solucin analtica en x
0
; se puede expresar como
y =

n=0
y
(n
(x
0
)
n!
(x x
0
)
n
, |x x
0
| <
Por tanto, si tenemos el problema de valor inicial
y

+ p
1
(x)y

+ p
2
(x)y = 0, y(x
0
) = a, y

(x
0
) = b
se puede obtener y

(x
0
) sustituyendo la condicin inicial en la EDO:
y

(x
0
) = p
1
(x
0
)y

(x
0
) p
2
(x
0
)y(x
0
)
Para obtener y

(x
0
) derivamos la EDO y sustituimos en x = x
0
y

(x
0
) = (p

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

(x
0
) p
1
(x
0
)y

(x
0
) p

2
(x
0
)y(x
0
)
y as sucesivamente se obtienen los coecientes a
n
=
y
(n
(x0)
n!
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Mtodo de coecientes indeterminados
Imponemos que
y =

n=0
a
n
(x x
0
)
n
verique la EDO. Para ello se calculan
y

(x) =

n=1
na
n
(x x
0
)
n1
, y

(x) =

n=2
n(n 1)a
n
(x x
0
)
n2
y se sustituyen en la EDO, donde p
1
(x) y p
2
(x) deben estar tambin
desarrollados en series de potencias centradas en x
0
Identicando coecientes correspondientes a las mismas potencias de x se
obtienen los a
n
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Ejemplo
Ecuacin de Airy
y

= xy
Obtener su solucin general aplicando
Mtodo de Taylor en x
0
= 0
Mtodo de coecientes indeterminados en x
0
= 1
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Resolucin alrededor de un punto singular
Dada la ecuacin
y

+ p
1
(x)y

+ p
2
(x)y = 0
consideramos x
0
= 0 sin prdida de generalidad. Si p
1
(x), p
2
(x) no son
analticas en 0, pero xp
1
(x), y x
2
p
2
(x) s lo son en U
1
(0), U
2
(0) entonces
xp
1
(x) =

n=0
p
1n
x
n
, x
2
p
2
(x) =

n=0
p
2n
x
n
y multiplicando la ecuacin por x
2
x
2
y

+ x
2
p
1
(x)y

+ x
2
p
2
(x)y = 0
x
2
y

+ x(xp
1
(x))y

+ (x
2
p
2
(x))y = 0
x
2
y

+ x(p
10
+ p
11
x + . . .)y

+ (p
20
+ p
21
x + . . .)y = 0
expresin que, muy cerca de x
0
= 0, se asemeja a la ecuacin de Euler
x
2
y

+ xp
10
y

+ p
20
y = 0
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Resolucin alrededor de un punto singular (II)
Soluciones de Euler
x
2
y

+ xp
10
y

+ p
20
y = 0
son de la forma x
r
, ln |x|x
r
, etc. r son races del polinomio caracterstico
resultante del cambio de variable x = e
t
(da lugar a soluciones e
rt
= x
r
,
te
rt
= ln |x|x
r
, etc.)
Las soluciones de la ecuacin
x
2
y

+ x(p
10
+ p
11
x + . . .)y

+ (p
20
+ p
21
x + . . .)y = 0
son de la forma x
r

n=0
a
n
x
n
, ln |x|x
r

n=0
a
n
x
n
, etc.
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Resolucin alrededor de un punto singular (III)
Clculo de soluciones en forma de serie de Frobenius:
y(x) = x
r

n=0
a
n
x
n
se tiene que y

(x) = x
r

n=0
(n + r)a
n
x
n1
y
y

(x) = x
r

n=0
(n + r)(n + r 1)a
n
x
n2
.
Sustituyendo en la EDO
x
r
{

n=0
(n+r)(n+r1)a
n
x
n
+

n=0
p
1n
x
n

n=0
(n+r)a
n
x
n
+

n=0
p
2n
x
n

n=0
a
n
x
n
} = 0
Agrupando los coecientes de las diferentes potencias:
x
r
{a
0
[r(r 1) + p
10
r + p
20
] + [a
1
[(r + 1)r + p
01
(r + 1) + p
20
] + a
0
(rp
11
+ p
21
)]x+
[a
2
((r + 2)(r + 1) + p
01
(r + 2) + p
20
) + a
1
((r + 1)p
11
+ p
21
) + a
0
(rp
12
+ p
22
)]x
2
+ . . .} = 0
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Resolucin alrededor de un punto singular (IV)
Llamando F(r) = r(r 1) + p
10
r + p
20
podemos escribir
x
r
{a
0
F(r) +

n=1
[F(n + r)a
n
+
n1

k=0
a
k
((r + k)p
1,nk
+ p
2,nk
)]x
n
} = 0
y obtenemos
F(r) = r(r 1) + p
10
r + p
20
= 0 (Ecuacin indicial)
F(n + r)a
n
+
n1

k=0
a
k
((r + k)p
1,nk
+ p
2,nk
) = 0 (Relacin de recurrencia)
Las races de la ecuacin indicial sern r
1
y r
2
.
Dada r
i
a
n
(r
i
) =
P
n1
k=0
ak((ri +k)p1,nk+p2,nk)
F(n+ri )
con a
0
R arbitrario.
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Resolucin alrededor de un punto singular (y V)
Asumimos r
1
r
2
Si r
1
= r
2
y r
1
r
2
/ N encontramos dos soluciones diferentes en
forma de serie de Frobenius
Si r
1
= r
2
solamente hay una solucin en serie de Frobenius (la
segunda debe implicar a ln |x|)
Si r
1
= r
2
pero r
1
r
2
= N N, solamente hay una solucin en serie
de Frobenius (para r
1
). Para r
2
no se puede calcular a
N
puesto que
F(N + r
2
) = F(r
1
) = 0 (y en general

n1
k=0
a
k
((r
2
+ k)p
1,nk
+ p
2,nk
) = 0). (En este caso, la segunda
solucin implica tambin a ln |x|.)
En el caso particular de que
P
n1
k=0
ak((r2 + k)p1,nk + p2,nk) = 0,
entonces aN puede tomar cualquier valor. Si aN = 0 obtenemos una
segunda solucin con un nmero nito de trminos. Si asumimos otro
valor arbitrario para aN, se obtiene, adems de esa segunda solucin, otra
vez la misma solucin que con r1
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Resolucin alrededor de un punto singular. Teorema de
Frobenius
(Consideramos x
0
= 0 por comodidad)
Teorema (Frobenius)
Si p
1
(x), p
2
(x) no son analticas en ningn entorno de x
0
, pero xp
1
(x),
x
2
p
2
(x) lo son en U
1
(0), U
2
(0) respectivamente, entonces en U
1
U
2
existen
dos funciones analticas y
1
(x), y
2
(x) tales que y
g
(x) = C
1
y
1
(x) + C
2
y
2
(x),
C
1
, C
2
constantes, donde y
1
(x) e y
2
(x) se determinan segn las races reales
r
1
r
2
de la ecuacin r(r 1) + p
10
r + p
20
= 0
a
:
Si r
1
r
2
Z:
y
1
(x) = |x|
r1
_
1 +

n=1
a
n
(r
1
)x
n
_
, y
2
(x) = |x|
r2
_
1 +

n=1
a
n
(r
2
)x
n
_
(Contina)
a
p
10
y p
20
son los trminos correspondientes a n = 0 del desarrollo en serie de Taylor de
xp
1
(x) y x
2
p
2
(x) respectivamente
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Teorema de Frobenius (II)
Teorema (Frobenius (cont.))
Si r
1
= r
2
:
y
1
(x) = |x|
r1
_
1 +

n=1
a
n
(r
1
)x
n
_
,
y
2
(x) = ln |x|y
1
(x) +|x|
r2
_

n=1
b
n
(r
1
)x
n
_
Si r
1
r
2
N:
y
1
(x) = |x|
r1
_
1 +

n=1
a
n
(r
1
)x
n
_
,
y
2
(x) = a ln |x|y
1
(x) +|x|
r2
_
1 +

n=1
c
n
(r
2
)x
n
_
(Contina)
Introduccin. Planteamiento Clasicacin de puntos Clculo de soluciones
Teorema de Frobenius (y III)
Teorema (Frobenius (cont.))
donde los coecientes a
n
(r
1
) y a
n
(r
2
) se determinan obligando a que la
expresin

n=0
a
n
x
n+r
verique la EDO, considerando a
0
= 1
Y los dems coecientes se obtienen de
a
n
(r) =
P
n1
k=0
ak((r+k)p1,nk+p2,nk)
F(n+r)
, n 1
b
n
(r
1
) =
d
dr
a
n
(r)|
r=r1
, n 1
c
n
(r
2
) =
d
dr
[(r r
2
)a
n
(r)]|
r=r2
, n 1
a = lim
rr2
_
(r r
2
)
aN(r)
a0
_
, N = r
1
r
2
Nota: Si se considera a
0
= 0 arbitrario se obtiene la misma solucin
multiplicada por dicho valor.