Serie de McLaurin

La serie de McLaurin de una funcin

entorno de

f (x)

infinitamente diferenciable en el

esta definida por una serie de potencias, la cual se plantear a

continuacin.

f (x)

Sea

una funcin definida en un intervalo, adems es diferenciable en

este intervalo y

f ( x)

pertenece a un espacio vectorial que llamaremos

y por ser un espacio vectorial tiene dentro de su estructura una base vectorial
que es linealmente independiente y es un conjunto generador, que se denotar

{ n (x) }

Para toda funcin que pertenece al espacio vectorial

V , existe un

n (x)

que es linealmente independiente y un conjunto generador, escrito de otra

manera se obtiene:

f ( x ) V , [ n ( x ) ] } LI , CG .
Y de todas esas bases vectoriales tomamos una que represente las potencias
de

x , sea que sean de la forma

f (x)

Como

{ xn } , n N

pertenece al espacio vectorial

una base vectorial de

V , entonces

combinacin lineal de las potencias de

f (x)

y las potencias de

es

se puede expresar como la

x .

Es decir:

f ( x ) = an x

(a
)

n=0

Es necesario conocer los coeficientes de las potencias de

Por eso evaluamos la funcin en

n=0 .
f ( x )=a o x 0 ; n=0
f ( x )=a o

n=0

x , es decir

para conocer el coeficiente

an .
an

en

En

n=0 se obtiene que el valor de

an

es

a0 .

Por lo anterior procedemos a derivar la expresin (a) para ver si podemos

conocer otros valores para

an .

La expresin (a) es una expresin que depende nicamente de la variable

, por lo tanto podemos derivar

f (x)

con respecto a

x .

Procediendo a derivar se obtiene lo siguiente:

df ( x ) d
=
dx
dx

( )
n=0

an x n

Aplicando la propiedad de aditividad de las derivadas ordinarias, la cual se

define como: la derivada de la sumatoria de una funcin es igual a la sumatoria
de las derivadas de las funciones.
Teniendo claro esto, se obtiene:

df ( x ) d
= ( an x n )
dx
n=0 dx
Aplicando la propiedad de homogeneidad de las derivadas ordinarias, la cual se
define como: la derivada de una funcin que proviene del producto de una
constante por una funcin es igual a la constante por la derivada de la funcin.
Teniendo claro esto, se obtiene:

n
df ( x )
dx
= a n
dx
dx
n=0

Al resolver la derivada dada se obtiene:

df ( x )
= n a n x n1
dx
n=0
Esta expresin se puede escribir de la siguiente manera:

df ( x )
n
= (n+1)a n+1 x
dx
n=1
Si se evala

(n+1) an+1 x n en

n=0 , se obtiene:

df ( x )
0
=( 0+1 ) a0 +1 x ; n=0
dx

df ( x )
=a 1
dx
Se observa que en la funcin original evaluada en

a0 =f ( x )
a1 =

y en la derivada de

evaluada en

f (x)

coeficiente

an .

d2 f (x )
d x2

n=0

y evaluarla en

d2 f (x )
d x2

d2 f (x )
d x2

= n (n1) an xn 2
n=0

x=0

= (n+21)(n+2) an +2 x n+22
n=2

x=0

= (n+1)(n+2)a n+2 xn
n=2

x=0

Si se evala

d2 f ( x )
d x2

d f (x )
d x2

x=0

x=0

(n+1)(n+2) an+2 x n en

=( 0+1)(0+2)a 0+2 x 0

=(1)(2) a2

De lo anterior se obtiene:
2
1 d f (x)
2 ! d x2

n=0

se obtiene que

para conocer qu valor toma el

Reescribiendo la expresin se obtiene:

se obtiene que

df ( x)
dx , se procede entonces a encontrar la derivada de segundo orden de

la funcin

f (x)

n=0

x=0

=a2

n=0 , se obtiene:

Se procede a encontrar la derivada de tercer orden de

que valor toma

d3 f (x )
d x3

f ( x)

para conocer

an :

= n (n1)(n2)a n x n3
n=0

x=0

Reescribiendo la expresin se tiene:

3

d f (x )
d x3

d3 f (x )
d x3

= (n+32)(n+31)(n+3)an +3 x n+3 3
n=3

x=0

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

x=0

Si se evala

d3 f (x )
d x3

x=0

d3 f (x )
d x3

x=0

(n+3)(n+ 2)(n+ 1) an +3 x

en

n=0 , se obtiene:

=( 0+3)(0+2)(0+1) a0+3 x 0

=(1)(2)(3)a3

De lo anterior se obtiene:

1 d f (x)
3 ! d x3

=a3

x=0

A medida que derivamos

f ( x)

hallamos los valores de

si encontramos la n-sima derivada de

valor del coeficiente

dn f ( x)
d xn

d f ( x)
d xn

)
)

an .

= ( n3 ) ( n2 )( n1 ) nan x nn
x=0

n=0

= ( n1 ) ( n2 ) ( n3 ) nan
x=0

n=0

an , esto indica que

f ( x) , se podr conocer el ensimo

De lo anterior se tiene:

d f ( x)
d xn

=n ! a n
x=0

De donde se obtiene:
n
1 d f (x)
n! d xn

=an
x=0

an

Obteniendo

f ( x ) = an x

f (x)

se puede expresar

a partir de

n=0

Como:

f ( x )=
n=0

n
1 d f (x)
n ! d xn

Teniendo

esto

claro,

f ( x )=cosx ,

xn

x=0

se

g ( x ) =senx

puede
y

expresar

h ( x )=e

funciones

particulares

como:

, en series de McLaurin, donde estas

funciones son casos particulares de la expresin obtenida.

cos x

en serie de McLaurin

f x cosx

Sea
, se expresar esta funcin en series de McLaurin, teniendo en
cuenta lo visto anteriormente.

Derivando

f x cosx

varias veces para ver el comportamiento, se obtiene:

f x cos x
f

II

x senx
0 1

f
;

0 0

f 0 1
f

II

x cosx

 x senx

III

IV

VI

III

0 0

IV

x cosx

0 1

x senx
x cosx

VII

VIII

x senx

;
VI

f
;

0 0
0 1

VII

0 0

VIII

x cosx

0 1
n
1 d f x
xn

n
dx x 0
n0 n !

f x
f x

1 0x
x2
x3
x4
x5
x6
x7
x8

1 0 1 0 1 0 1 ...
0! 1!
2!
3!
4!
5!
6!
7!
8!
f x 1

x2 x4 x6 x8

...
2! 4! 6! 8!

f x 1
n0

Sen x

x 2n
2n !

en serie de McLaurin

f x senx

Sea
, se expresar esta funcin en series de McLaurin, teniendo en
cuenta lo visto anteriormente.

Derivando

f x senx

varias veces para ver el comportamiento, se obtiene:

f x senx

f 0 0

x cos x

f
;

0 1

II

x senx

f
f

III

x cos x

VI

III

f
;

x cos x

0 1

f
;

IV

x senx

0 1

VI

II

0 0

IV

x senx

0 0
;

0 0
f

VII

x cos x

VII

0 1
f

VIII

VIII

x senx

0 0

n
1 d f x
f x
xn
n
dx x 0
n0 n !

f x

0
x
x2
x3
x4
x5
x6
x7
x8
1 0 1 0 1 0 1 0 ...
0! 1!
2!
3!
4!
5!
6!
7!
8!
f x x

x3 x5 x7
...
3! 5! 7!

f x 1
n 0

ex

x 2 n 1
2n 1 !

en serie de McLaurin

f x e x

Sea
, se expresar esta funcin en series de McLaurin, teniendo en
cuenta lo visto anteriormente.

f x e x

Derivando

varias veces para ver el comportamiento, se obtiene:

f x e x
f

III

x e x

x e x
f

VI

f
;

III

x e x

f 0 1

0 1

II

0 1
f

x e x
f

IV

f
;

x e x

0 1

II

VI

0 1
f

IV

x e x

0 1

0 1
f

VII

x e x

f
;

VII

0 1

VIII

x e x

f
;

n
1 d f x
f x
xn
n
dx x 0
n0 n !

f x

1 x x2 x3 x4 x5 x6 x7 x8

...
0! 1! 2! 3! 4! 5! 6! 7! 8!

f x 1

x x2 x3 x4 x5 x6 x7 x8

...
1! 2! 3! 4! 5! 6! 7! 8!

xn
f x
n0 n !

VIII

0 1

Solucin de la ecuacin diferencial del movimiento armnico simple

usando el mtodo serie de potencias.
La ecuacin diferencial del movimiento armnico simple es la siguiente:

d 2 x (t )
m
kx(t ) 0
dt 2
La cual se puede reescribir de la siguiente manera:

d 2 x (t ) k
x(t ) 0
dt 2
m

Pero teniendo en cuenta que

k
2
m

, entonces:

d 2 x (t )
2 x(t ) 0 (*)
2
dt
Esta es una ecuacin diferencial lineal ordinaria que adems de homognea de
segundo orden y de coeficientes constantes, usando el mtodo de series de
potencias para la solucin de esta ecuacin diferencial, se propone que la
solucin es de la siguiente manera:

x(t ) a0 a1t a2t 2 a3t 3 a4t 4 ... ant n an 1t n 1 an 2t n 2 ...

Se debe encontrar
(1) dos veces:

d 2 x(t )
dt 2

(1
)

para reemplazar en (*), por eso se prosigue a derivar

dx(t )
a1 2a2t 3a3t 2 4a4t 3 ... nant n 1 (n 1)an 1t n (n 2)an 2t n 1 ...
dt

(2
)

(3
)

d 2 x (t )
2a2 6a3t 12a4t 2 ... n(n 1)ant n 2 n(n 1)an1t n 1 (n 2)(n 1)an 2t n ...
2
dt
Reemplazando (1) y (3) en (*), se obtiene:

2a 6a t 12a t ... n(n 1)a t n(n 1)a t

a a t a t a t a t ... a t a t a
n2

n 1

n 1

n 1

n 1

n 2

(n 2)(n 1)an 2t n ...

t n 2 ... 0

Agrupando trminos y reescribiendo la expresin:

2a

2 a0 6a3 2 a1 t 12a4 2 a2 t 2 ... (n 2)(n 1) an 2 2an t n ...

0 0t t 2 ... t n ...
Igualando los coeficientes, se obtiene:

2a

2 a0 0; 6a3 2 a1 0; 12a4 2 a2 0;...; ( n 2)(n 1) an 2 2 an 0

Despejando

an 2

an 2

Si

Si

Si

n0

n 1

n2

1
2 an
(n 2)(n 1)

, entonces:

a2

1 2
a0
2!

a3

1 2
a1
3!

, entonces:

, entonces:

a4

1
2 a2
(4)(3)

Reemplazando

a2

en

a4

a4

1
1

2 2 a0
(4)(3) 2!

a4

Si

n3

, entonces:

a5

Reemplazando

a3

en

a5

1
2 a3
(5)(4)

a5

1
1

2 2 a1
(5)(4) 3!

a5

Si

n4

1 4
a0
4!

1 4
a1
5!

, entonces:

a6

Reemplazando

a4

en

a6

1
2 a4
(6)(5)

a6

1
1

2 4 a0
(6)(5) 4!

a6

1 6
a0
6!

Si

n5

, entonces:

a7

Reemplazando

a5

en

a7

1
2 a5
(7)(6)

a6

1
1

2 4 a1
(6)(5) 5!

a7

Si

n6

, entonces:

a8

Reemplazando

a6

en

a8

1
2 a6
(8)(7)

a8

1
1

2 6 a0
(8)(7) 6!

a8

Si

n7

1 6
a1
7!

1 8
a0
8!

, entonces:

a9

Reemplazando

a7

en

a9

1
2 a7
(9)(8)

a9

1
1

2 6 a1
(9)(8) 7!

1 8
a1
9!

a9

Reemplazando

x(t ) a0 a1t

a2 , a3 , a4 , a5 , a6 , a7 , a8 ,

a9

en (1), se obtiene:

1 2 2 1 2 3 1 4 4 1 4 5 1 6 6 1 6 7
a0t a1t a0t a1t a0t a1t
2!
3!
4!
5!
6!
7!

1 8 8 1 8 9
a0t a1t ...
8!
9!

Factorizando:

1
1
1
1

x(t ) a0 1 2t 2 4t 4 6t 6 8t 8 ...
2!
4!
6!
8!

1
1
1
1

a1 t 2t 3 4t 5 6t 7 8t 9 ...
3!
5!
7!
9!

Se hace

a0 c1

a1 c2

, entonces:

1
1
1
1

x(t ) c1 1 2t 2 4t 4 6t 6 8t 8 ...
2!
4!
6!
8!

1
1
1
1

c2 t 3t 3 5t 5 7t 7 9t 9 ...
3!
5!
7!
9!

Pero se sabe que:

1 n 2 n

cos x
x
n 0 2n !

sen x
n0

1 n

2n 1 !

x 2 n 1

Entonces:

x(t ) c1 cos t c2 sen t