Tema.

Solucin de ecuaciones con series de potencias de un parmetro pequeo

1. Consideremos la ecuacin
(1)

m x + b x_ + cx = F (x; x;
_ t; )

donde usamos la notacin v = x_ = dx=dt, v_ = dv=dt. Esta ecuacin tiene una nica solucin que satisface
la condiciones iniciales
x (0) = x00 , v (0) = v00 .
(2)
El resultado siguiente arma que la ecuacin (1) puede resolverse en forma aproximada por series de potencias
del parmetro .
Teorema. Si la funcin F es continua en t y analtica en x, x,
_ , entonces la solucin tiene la forma
x ( ; t) =

1
X

xk (t)

(3)

k=0

donde la serie tiene un radio de convergencia positivo.

Para aplicar el Teorema anterior calculamos el desarrollo
1
X
1 (k)
F =
F
k!
k=0

con los coecientes

F (k) =

dk F (x; x;
_ t; )
k
d

(4)

(5)
=0

considerando que x es la serie (3). Para el primer trmino tenemos simplemente

Fc

=0

= F (x0 ; x_ 0 ; t;

= 0) .

(6)

Las derivadas F (k) se obtiene con la regla de la cadena. Por ejemplo, para F (1) tenemos
dF
d

=
=0

@F
dx @F
dx_ @F
+
+
@
d @x
d @ x_

=
=0

@F (x0 ; x_ 0 ; t)
@F (x0 ; x_ 0 ; t)
@F (x0 ; x_ 0 ; t)
+ x1
+ x_ 1
.
@
@x
@ x_

(7)

Sustituyendo la serie (3) en lado izquierdo de (1)

x =

1
X

(m xk + b x_ k + cxk )

(8)

k=0

En el lado derecho de (1) usamos (4) y un cambio de ndice

"1
#
X
F (j) j+1
F =
j=0

k=j+1 j=k 1

1
X

F (k

1)

k=1

Sustituyendo en la ecuacin (1)

(m x0 + b x_ 0 + cx0 )

1
X

(m xk + b x_ k + cxk )

k=1

1
X
k=1

F (k

1)

e igualando trminos con la misma potencia

obtenemos
para k = 0

m x0 + b x_ 0 + cx0 = 0
(k 1)

m xk + b x_ k + cxk = F

( t; x0 ; ..., xk 1 )

para k

1.

(9)
(10)

Sustituyendo (3) en las condiciones iniciales (2) ,

x (0) =

1
X

xk (0)

= x00 , x_ (0) =

k=0

1
X

x_ k (0)

= v00 .

k=0

obtenemos las condiciones iniciales que debe satisfacer cada coeciente xk (t)
x0 (0) = x00 ,

x_ 0 (0) = v00

para k = 0

(11)

xk (0) = 0 ,

x_ k (0) = 0

para k

(12)

1.

El problema (9), (11), para x0 es lineal y el problema (10), (12), para xk tambin lo es por que F (k 1)
depende de los coecientes x0 , . . ., xk 1 . As, el problema no lineal (1), (2), se reemplaza por la sucesin
de problemas lineales (10), (12).
La solucin de cada ecuacin inhomognea (10) con las condiciones iniciales (12) es
Z t
G (t; ) F (k 1) ( ) d
xk =

(13)

donde G es la solucin del problema de orden k = 0

+ b G_ + cG = 0 con G = 0 y G_ = 1 para t = .
mG

(14)

En casos simples podemos calcular una solucin particular xp de (10) por medio de coecientes indeterminados e imponer a la solucin general x = xh + xp las condiciones iniciales.
Si el trmino no lineal F depende de productos de x y x_ usamos una regla simple para calcular el producto
de series innitas. Consideremos el producto de las series
f=

1
X

fk

, g=

k=0

Cambiamos indices
f g=

1
X

fm

m=0

1
X

gn

n=0

k=0

Para el producto f f g tenemos

1
X
k=0

Ejemplo 1. Consideremos

gk

k=0

Para agrupar los trminos con la misma potencia

suma m + n = k
1
X
f g=
f2 g =

1
X

1 X
1
X

fm gn

m+n

m=0 n=0

slo consideramos los valores de m y n con la misma

X

fm gn

m+n=k

fm fn gl

m+n+l=k

x + ! 20 x = x2 .
2

(15)

(16)

(E1a)

El trmino x0 est dado por el problema de orden cero

x0 + ! 20 x0 = 0 , x0 (0) = x00 ,

x_ 0 (0) = v00 .

Resolviendo
x0 = a cos ! 0 t + b sin ! 0 t ,

a = x00 ,

b = v00 =! 0 .

De acuerdo con (145) tenemos

x2 =

1
X

r=0

xm xn

m+n=r

Usando el cambio de ndice k = r + 1, r = k

x2 =

1
X

r=0

xm xn

m+n=r

r+1

1, obtenemos

1
X
k=1

xm xn

m+n=k 1

As, para los trminos de mayor orden tenemos

xk +

! 20 xk

1
X

xm xn , xk (0) = x_ k (0) = 0

para k

1.

(E1b)

m+n=k 1

Para los primeros coecientes xk tenemos

x1 + ! 20 x1 = x20

(E1c)

x2 + ! 20 x2 = 2x0 x1
x3 + ! 20 x3 = 2x2 x0 + x1 x1 .
En la ecuacin para x1 usamos identidades trigonomtricas para simplicar x20 ,
x20 = (a cos ! 0 t + b sin ! 0 t )2
= a2 cos2 ! 0 t
+ 2ab cos ! 0 t sin ! 0 t + b2 sin2 ! 0 t
a2
b2
=
(1 + cos 2! 0 t) + ab sin 2! 0 t
+ (1 cos 2! 0 t)
2
2
2
2
2
2
a +b
a
b
=
+
cos 2! 0 t + ab sin 2! 0 t .
2
2

(E1d)

(a) Podemos usar coecientes indeterminados para obtener una solucin particular. Proponemos
xp = A + B cos 2! 0 t + C + sin 2! 0 t
Los coecientes A, B, C, se obtienen sustituyendo xp en (E1c). La solucin general de (E1c) es
x1 = c1 cos ! 0 t + c1 sin ! 0 t + xp

(E1f)

donde c1 , c2 , se obtienen imponiendo las condiciones iniciales (E1b).

+ ! 20 G = 0 con G = 0 y G_ = 1 para t = , obtenemos
(b) Resolviendo G
G=

1
sin ! 0 (t
!0
3

) .

(E1g)

Entonces x1 est dada por

x1 =

G (t; ) x20 ( ) d .

Ejercicios.

1. Verivar (E1g) y completar el clculo de x1 del Ejemplo 1 usando (E1f) y (E1g).

2. Resolver a orden k = 1 : x + ! 2 x = 1 + x2 , con x (0) = 0, x_ (0) = 0.
3. Resolver a orden k = 1 : x + ! 2 x = x x,
_

con x (0) = 1, x_ (0) = 0.

4. Resolver a orden k = 1 : x + ! 2 x = ex ,

con x (0) = 1, x_ (0) = 0.

5. Resolver a orden k = 1 : x + ! 2 x =

sin x, con x (0) = 0, x_ (0) = 1.

(E1h)