EDAF II-Pr.

2
1/16
por César M.

Contenidos
Vericar EDAF II - Puntos ordinarios
Representar
P.Ordinario
Paquetes
Ejemplo 1 César Menéndez Fernández
Ejemplo 2

Uiversidad de Oviedo
Departamento de Matemáticas

11 de febrero de 2017
 Contenidos de la presentación

EDAF II-Pr.2
2/16
por César M.

Contenidos 1 Vericar
Vericar
Representar
P.Ordinario
2 Representar
Paquetes
Ejemplo 1
Ejemplo 2
3 P.Ordinario
Paquetes
Ejemplo 1
Ejemplo 2
 Objetivos
Resolución de EDO en un punto ordinario

EDAF II-Pr.2
3/16
por César M.

Contenidos
Vericar
Representar 1 Vericar que una serie de potencias es solución de una
P.Ordinario EDO
Paquetes
Ejemplo 1
Ejemplo 2
2 Representar una serie de potencias nita
3 Resolver una EDO en un punto ordinario
 Vericación de una serie de potencias como solución
(−1)n+1 n
∞
Ejemplo 1 (I): y (x) = x como solución de (x + 1) y 00 + y 0 = 0
X

n=1
n

EDAF II-Pr.2
4/16
por César M.
Se dene la serie
Contenidos ( %i1) y:sum((-1)^(n+1)/n*x^n,n,1,inf);
∞ n+1
Vericar (−1)
( %o1) y :
X
xn
Representar n
n=1
P.Ordinario
Paquetes Se calculan las derivadas para obtener la EDO
Ejemplo 1
Ejemplo 2
( %i2) d1y:diff(y,x);
∞
n+1
( %o2) d 1y : (−1) x n−1
X

n=1
( %i3) d2y:diff(d1y,x);
∞
n+1
( %o3) d 2y : (n − 1) (−1) x n−1
X

n=1
 Vericación de una serie de potencias como solución
(−1)n+1 n
∞
Ejemplo 1 (II): y (x) = x como solución de (x + 1) y 00 + y 0 = 0
X

n=1
n

EDAF II-Pr.2
5/16
por César M.
Se combinan las derivadas, cambiando los indices del los
sumatorios. Se deben separar los términos
Contenidos ( %i4) edo:bashindices(intosum(x*d2y+d2y+d1y));
Vericar ( %o4)
∞ ∞ ∞
j +1 j −1 j −1 j −1 j +1 j −2
(j3 − 1) (−1) 3 x3 (−1) 2 x2 (j1 − 1) (−1) 1 x1
X X X
Representar + +
j3 = 1 j2 = 1 j1 = 1
P.Ordinario
Paquetes Puesto que se quiere la misma potencia, j1 − 2 = j3 − 1
Ejemplo 1
Ejemplo 2
( %i5) S:changevar(edo,j1-j3-1,j3,j1);
∞ ∞ ∞
( %o5) j +1 j3 −1
(j3 − 1) (−1) 3
j − 1 j2 − 1
(−1) 2
j −1
(j3 ) (−1) 3 x 3
j
X X X
x + x +
j3 =1 j2 =1 j1 =1

Ahora ya se pueden unir y simplicar el resultado

( %i6) S:sumcontract(intosum(S));
∞ 
( %o6) j + 1 j3 − 1
(j3 − 1) (−1) 3
j −1 j2 −1
+ (−1) 2
j −1
+ (j3 ) (−1) 3 x 3

j
X
x x
j3 =1
( %i7) factor(S);
( %o7) 0
 Representación de una serie de potencias
Errores de aproximación en la serie nita

EDAF II-Pr.2 Se ha vericado que la EDO (x + 1) y 00 + y 0 = 0 tiene por solución

6/16 (−1)n+1 n
∞
x = ln (1 + x)
X
y (x) =
por César M. n=1
n

1
Contenidos Puesto que p (x) = es analítica ∀x ∈ R − {−1}, cabría esperar que
x +1
Vericar N
(−1)n+1 n
x = ln (1 + x) , ∀x ∈ R − {−1}
X
lim
Representar N→∞
n=1 n
P.Ordinario
Pero el D.D. de ln (1 + x) es x > −1, por lo que
Paquetes
Ejemplo 1
Ejemplo 2
N
(−1)n+1 n
x = ln (1 + x) , x > −1
X
lim
N→∞ n
n=1

Como sólo se representan N términos

N
(−1)n+1 n (−1)n+1 n
ξ , ξ ∈ (0, x)
X
y (x) − x =
n=1 n n

conclusión
La serie de potencias nita sólo es válida en un entorno reducido del punto
ordinario
 Representación de una serie de potencias
Resolución mediante Series de Potencias en un punto ordinario

EDAF II-Pr.2 Se dene la solución exacta y la serie de potencias nita

7/16
yn(x,N):=sum((-1)^(n+1)/n*x^n,n,1,N);
por César M. Y(x):log(1+x);
Representamos para diferentes valores N en el [−0.5, 1.5]
Contenidos
plot2d([Y(x),yn(x,1),yn(x,2),yn(x,5)],[x,-0.5,1.5]);
Vericar y tras un poco de paciencia, se obtiene
Representar
P.Ordinario
Paquetes
Ejemplo 1
Ejemplo 2
 Paquetes solve_rec y simplify_sum
Resolución de ecuaciones recurrentes

EDAF II-Pr.2
8/16
por César M. solve_rec (eqn,var,[init]);
Resuelve la ecuación en diferencias eqn con coecientes polinómicos en la
Contenidos variable var con condiciones iniciales dadas por init.
Vericar solve_rec_rat (eqn,var,[init]): Idem para soluciones racionales.
Representar
P.Ordinario
Paquetes
simplify_sum(expr)
Ejemplo 1
Ejemplo 2 Intenta simplicar todas las sumas en la expresión expr a una forma más
compacta.

summand_to_rec (sum,[k,lo,hi],n))
Devuelve la relación de recurrencia
! de la suma de la serie hipergeométrica
an+1 αn + β
= , α > 0, γ 6= 0 sum en k y n. lo y hi son los límites inferior y
an αn + γ
superior de la suma; si no se indican se toman como −∞ y ∞ respectivamente.
 Ejemplo 4.1: (x + 1) y 00 + y 0 = 0 (I)
Resolución mediante Series de Potencias en un punto ordinario

EDAF II-Pr.2
9/16 Recuperar la solución del ejemplo anterior
por César M. Obtener mediante series de potencias la solución de la ecuación
diferencial (x + 1) y 00 + y 0 = 0
Contenidos
Vericar Se comprueba que p (x) = 1 y q (x) = 0 son analíticas ∀x ∈ R. Se toma x0 = 0
Representar Se dene la serie
P.Ordinario ( %i1) y:sum(a(n)*x^n,n,0,inf);
Paquetes ∞
Ejemplo 1
( %o1) y :
X
Ejemplo 2 an x n
n=0
Se calculan las derivadas para obtener la EDO
( %i2) d1y:diff(y,x);
∞
( %o2) d 1y : nan x n−1
X

n=0
( %i3) d2y:diff(d1y,x);
∞
( %o3) d 2y : (n − 1) nan x n−2
X

n=0
 Ejemplo 4.1: (x + 1) y 00 + y 0 = 0 (II)
Resolución mediante Series de Potencias en un punto ordinario

EDAF II-Pr.2
10/16 Se combinan las derivadas, cambiando los indices del los
por César M. sumatorios. Se deben separar los términos
( %i4) edo:bashindices(intosum(x*d2y+d2y+d1y));
∞ ∞ ∞
Contenidos ( %o4) edo :
X j −1
(j3 − 1) j3 aj3 x 3 +
X j −1
j2 aj2 x 2 +
X j −2
(j1 − 1) j1 aj1 x 1
Vericar j3 = 0 j2 = 0 j1 =0

Representar Puesto que se quiere la misma potencia, j1 − 2 = j3 − 1

P.Ordinario ( %i5) S:changevar(edo,j1-j3-1,j3,j1);
∞ ∞ ∞
Paquetes ( %o5) S : j −1
(j3 − 1) j3 aj3 x 3
j −1
j2 aj2 x 2
j −1
(j3 + 1) j3 aj3 +1 x 3
X X X
+ +
Ejemplo 1
j3 = 0 j2 = 0 j3 =−1
Ejemplo 2
Ahora ya se pueden unir y simplicar el resultado
( %i6) S:sumcontract(intosum(S));
( %o6)
∞ 
(j3 − 1) j3 aj3 x j3 −1 + j3 aj3 x j3 −1 + (j3 + 1) j3 aj3 +1 x j3 −1
X 
S:
j 3 =0
( %i7) S:factor(S);
∞
( %o7) S : j3 ((j3 + 1) aj3 +1 + j3 aj3 ) x j3 −1
X

j3 =0
 Ejemplo 4.1: (x + 1) y 00 + y 0 = 0 (III)
Resolución mediante Series de Potencias en un punto ordinario

EDAF II-Pr.2
11/16 Se simplican los índices
por César M. ( %i8) S:niceindices(S);
∞
( %o8) S : i ((i + 1) ai+1 + iai ) x i−1
X
Contenidos
i=0
Vericar
Representar
La relación de recurrencia se puede denir manualmente ...
( %i9) rec:i*((i+1)*a[i+1]+i*a[i]);
P.Ordinario
Paquetes
( %o9) i ((i + 1) ai+1 + iai )
Ejemplo 1
Ejemplo 2 ... y despejar el coeciente de mayor grado ...
( %i10) ai:solve(rec,a[i+1]);
a
( %o10) ai+1 = −i i
i +1
O se pueden cargar los paquetes solve_rec y simplify_sum para
trabajar con ecuaciones en diferencias y sumas de series
( %i11) load(solve_rec);
( %o11) ...share\solve_rec\solve_rec.mac
( %i12) load(simplify_sum);
( %o12) ...share\solve_rec\simplify_sum.mac
 Ejemplo 4.1: (x + 1) y 00 + y 0 = 0 (IV)
Resolución mediante Series de Potencias en un punto ordinario

EDAF II-Pr.2
12/16
por César M.
Se intenta obtener el término general de la sucesión
Contenidos ( %i13) summand_to_rec(S,[i,0,inf],n);
Vericar ( %o13) false (la serie no es hipergeométrica)
Representar Se utiliza el término recursivo denido anteriormente para
P.Ordinario obtener el término general
Paquetes ( %i14) r:solve_rec(rec,a[i]);
Ejemplo 1
Ejemplo 2 %k1 (−1)i−2
( %o14) ai =
i
Se puede particularizar para un valor inicial (el índice debe ser
natural)
( %i15) r:solve_rec(rec,a[i],a[1]=1);
(−1)i−2
( %o15) ai = −
i
 Ej. 4.2: y 00 + xy 0 − 2y = 0, y (0) = 1, y 0 (0) = 0 (I)
Resolución mediante Series de Potencias en un punto ordinario

EDAF II-Pr.2
13/16
p (x) = x y q (x) = −2 son analíticas ∀x ∈ R.
por César M.
Se toma x0 = 0
(−1)n+1
∞
!
2n+1
Contenidos Solución: y = c0 1 + x 2

X
+ c1 2 − 1) 2n n! x
Vericar n=0
( 4 n
Representar
Borramos todo y cargamos los paquetes
P.Ordinario
Paquetes
( %i1)kill(all);
Ejemplo 1
Ejemplo 2 ( %i2)load(solve_rec);
( %i3)load(simplify_sum);
Se dene la serie
( %i4)y:sum(a(n)*x^n,n,0,inf);
Se calculan las derivadas para obtener la EDO
( %i5)d1y:diff(y,x);
( %i6)d2y:diff(d1y,x);
 Ej. 4.2: y 00 + xy 0 − 2y = 0, y (0) = 1, y 0 (0) = 0 (II)
Resolución mediante Series de Potencias en un punto ordinario

EDAF II-Pr.2
14/16
Se combinan las derivadas, cambiando los indices del los
por César M.
sumatorios. Se deben separar los términos
Contenidos ( %i7)edo:bashindices(intosum(d2y+x*d1y-2*y));
Vericar
Puesto que se quiere la misma potencia, j1 − 2 = j3
Representar
( %i8)S:changevar(edo,j1-j3-2,j3,j1);
P.Ordinario
Paquetes
Ejemplo 1
Ahora ya se pueden unir y simplicar el resultado
Ejemplo 2 ( %i9)S:sumcontract(intosum(S));
( %i10)S:factor(S);
( %i11)S:niceindices(S);
La relación de recurrencia se debe denir manualmente ...
( %i12) rec:(i+2)*(i+1)*a[i+2]+(i-2)*a[i];
... porque como no es hipergeométrica, no se obtiene
( %i13)summand_to_rec(S,[i,0,inf],n);
 Ej. 4.2: y 00 + xy 0 − 2y = 0, y (0) = 1, y 0 (0) = 0 (III)
Resolución mediante Series de Potencias en un punto ordinario

EDAF II-Pr.2
15/16 Se se puede despejar la relación de recurrencia...
por César M.
( %i13)solve(rec,a[i+2]);
... y generar la serie de valores para estudiar su estructura
Contenidos ( %i14)ai:factor(subst(n-2,i,ai));
Vericar
( %i15)define(a[n],rhs(first(ai)));
Representar
( %i16)a[0]:1;a[1]:1; makelist(a[n],n,2,10);
P.Ordinario
Paquetes Se intenta obtener un término general, pero hay dos
Ejemplo 1
Ejemplo 2 ( %i17)r:solve_rec(rec,a[i]);
Se genera la relación de recurrencia para los pares (i=2k)
( %i18)rec2:(2*k+2)*(2*k+1)*b[k+1]+(2*k-2)*b[k];
( %i19)r2:solve_rec(rec2,b[k]);
pero el resultado no es el esperado esperado.
Idem para los valores impares (i=2k+1)
( %i20)rec1:(2*k+3)*(2*k+2)*c[k+1]+(2*k-1)*c[k];
( %i21)r1:solve_rec(rec1,c[k]);
( %i22)r1:subst(1, %k[1],r1);
 Ej. 4.2: y 00 + xy 0 − 2y = 0, y (0) = 1, y 0 (0) = 0 (IV)
Resolución mediante Series de Potencias en un punto ordinario

EDAF II-Pr.2
16/16
por César M.
Se dene la relación de los coecientes
( %i23)define(c[k],rhs(r1));
Contenidos
Y se genera la solución general, con dos parametros
Vericar
( %i24)YG:p1*(1+x)+p2*sum(c[i]*x^(2*i+1),i,0,inf);
Representar
P.Ordinario Se generan las ecuaciones para imponer las condiciones
Paquetes
Ejemplo 1
iniciales
Ejemplo 2 ( %i25)eqn1:ev(YG,x=0);
( %i26)diff(YG,x);
( %i27)eqn2:ev( %,x=0);
Y se deberían obtener los parámetros ...
( %i28)p:solve([eqn1-1,eqn2],[p0,p1]);
... pero no da resultado al perder en la derivación el primer
término