SERIES TAYLOR

SERIES DE FOURIER
SERIE DE POTENCIAS
Una serie de potencias es aquella que tiene la forma:
en donde x es una variable y los c
n
son constantes llamadas
coeficientes de la serie.
De una manera ms general, la serie de la forma:
se llama serie de potencias en (x-a), o serie de potencias
centrada en a.
+ + + + =

+
=
3
3
2
2 1 0
0
x c x c x c c x c
n
n
n
+ + + + =

+
=
3
3
2
2 1 0
0
) ( ) ( ) ( ) ( a x c a x c a x c c a x c
n
n
n
CONVERGENCIA
Una serie de potencias es convergente en un
valor especificado de x si su sucesin de sumas parciales
{S
N
(x)} converge, es decir, existe
Si el lmite no existe en x, entonces se dice que la serie es
divergente.
n
n
n
a x c ) (

+
=0
. ) ( ) (

+
=

=

0 n
n
n N
a x C
N
Lim
x S
N
Lim
EJEMPLO
La serie:
es una serie de potencias con c
n
=1 para toda n.
Esta serie es una serie geomtrica que converge
si -1<x<1.
El valor de convergencia de la serie es:
+ + + + =

+
=
3 2
0
1 x x x x
n
n
x
x x x x
n
n

= + + + + =

+
=
1
1
1
3 2
0

RADIO DE CONVERGENCIA
Toda serie de potencias tiene un radio de convergencia R. Si R>0, entonces la
serie de potencias converge para
Ix-aI<R y diverge para Ix-aI>R.
Si la serie converge slo en su centro a, entonces R=0. Si la serie converge para toda x,
entonces se escribe
n
n
n
a x c ) (

+
=0
. = R
CONVERGENCIA ABSOLUTA
Dentro de su intervalo de convergencia, una serie de potencias converge absolutamente.
En otras palabras, si x es un nmero en el intervalo de convergencia y no es un extremo
del intervalo, entonces la serie de valores absolutos
converge.

+
=

0 n
n
n
a x C ) (
PRUEBA DE LA RAZN
La convergencia de una serie de potencias suele determinarse mediante el criterio de la
razn. Suponga que para toda n y que
Si L<1, la serie converge absolutamente.
Si L>1, la serie diverge y
Si L=1, el criterio no es concluyente.
0 =
n
C
L
C
C
n
Lim
a x
a x C
a x C
n
Lim
n
n
n
n
n
n
=

=

+
+
+ 1
1
1
) (
) (
SERIE DE POTENCIAS DEFINE UNA FUNCIN
Una serie de potencias define una funcin cuyo dominio es el
intervalo de convergencia de la serie. Si el radio de convergencia es R>0, entonces, f es
continua, diferenciable e integrable en el intervalo (a-R,a+R). Adems f(x) y se
encuentran mediante diferenciacin e integracin trmino a trmino.

+
=
+ =
0 n
n
n
a x C x f ) ( ) (
}
dx x f ) (
La convergencia en un extremo se podra perder por
diferenciacin o ganar por integracin.
Si es una serie de potencias en x,
entonces las primeras dos derivadas son:
Obsrvese que omitiendo los trminos que son cero

+
=
=
0 n
n
n
x C y

+
=

+
=

= ' ' = '

0
2
0
1
1
n
n
n
n
n
n
x n n C y y nx C y ) (

+
=

+
=

= ' ' = '

2
2
1
1
1
n
n
n
n
n
n
x n n C y y nx C y . ) (
Si R>0, para los nmeros x en el intervalo de convergencia, entonces
C
n
=0 para toda n.
, ) ( 0
0
= +

+
= n
n
n
a x C
SERIES DE TAYLOR
Supongamos que f es cualquier funcin representable mediante una serie de potencias:
Es posible verificar a partir de ello, que:
+ + + + + =
4
4
3
3
2
2 1 0
) ( ) ( ) ( ) ( ) ( a x c a x c a x c a x c c x f
+ + + + =
3
4
2
3 2 1
) ( 4 ) ( 3 ) ( 2 ) ( a x c a x c a x c c x f
+ + + =
2
4 3 2
) ( 4 * 3 ) ( 3 * 2 2 ) ( a x c a x c c x f
+ + + =
2
5 4 3
) ( 5 * 4 * 3 ) ( 4 * 3 * 2 3 * 2 ) ( a x c a x c c x f
Si continuamos derivando y evaluando para x=a, podemos llegar a lo siguiente:
Al despejar el valor de c
n
el resultado es:
Esta frmula es vlida an para n=0 si adoptamos las convenciones de que 0!=1 y que
f
(0)
=f. De esta manera demostramos el siguiente teorema:
n
n
c n a f ! ) (
) (
=
(n)
n
c f (a) / n! =
Si f tiene una representacin (desarrollo) en forma de serie de potencias en a, esto
es: los coeficientes estn expresados por la frmula:
n
n
n
a x c x f ) ( ) (
0
=

+
=
!
) (
) (
n
a f
c
n
n
=
n
n
n
a x
n
a f
x f ) (
!
) (
) (
0
) (
=

+
=
Serie de Taylor
+ + + + =
3 2
) (
! 3
) (
) (
! 2
) (
) (
! 1
) (
) ( a x
a f
a x
a f
a x
a f
a f
En el caso especial de que a=0, la serie de Taylor se transforma en:
Esta serie recibe el nombre de serie de Maclaurin.
Serie de Maclaurin
+ + + + = =

+
=
3 2
0
) (
) (
! 3
) 0 (
) (
! 2
) 0 (
) (
! 1
) 0 (
) 0 ( ) (
!
) 0 (
) ( x
f
x
f
x
f
f x
n
f
x f
n
n
n
EJERCICIOS:
Obtenga la serie de Maclaurin para cada una de las siguientes
funciones:
f(x) = e
x
f(x) = Sen(x)
f(x) = Cos(x)

+ + =
+ + =
+ + + + =
! ! !
! ! !
! ! !
6 4 2
1
7 5 3
3 2 1
1
6 4 2
7 5 3
3 2
x x x
Cosx
x x x
x Senx
x x x
e
x
11
Series de Fourier
"Series de Fourier, Transformadas de Fourier y Aplicaciones",
Genaro Gonzlez
Funciones Peridicas
12
Una funcin peridica f(t) cumple que para todo valor de t:
f(t) = f(t + T).
Al valor mnimo, mayor que cero, de la constante T que
cumple lo anterior se le llama el periodo fundamental (o
simplemente periodo) de la funcin.
Observa que:
f(t) = f(t + nT), donde n = 0, 1, 2, 3,...
Cuestin: Es f(t) = cte. una funcin peridica?
Ejemplo: Cul es el periodo de la funcin
Si f(t) es peridica se debe cumplir:
Como cos(t + 2kt) = cos(t) para cualquier entero k, entonces, para que se cumpla la
igualdad, se requiere que:
T/3 = 2k
1
t y T/4 = 2k
2
t.
Es decir:
T = 6k
1
t = 8k
2
t
con k
1
y k
2
enteros.
El valor mnimo de T se obtiene con k
1
= 4, k
2
= 3, es decir, T = 24t.
13
? cos cos
4 3
) ( ) ( f(t)
t t
+ =
) ( ) ( T) f(t
T t T t
4 3
cos cos
+ +
+ = + ) ( ) ( f(t)
t t
4 3
cos cos + = =
Grfica de la funcin
14
0 50 100 150 200
-3
-2
-1
0
1
2
3
f(t)=cos(t/3)+cos(t/4)
t
f
(
t
)
24t
T
) ( ) ( f(t)
t t
4 3
cos cos + =
15
n
m
=
2
1
e
e
Es la suma de dos funciones peridicas una
funcin peridica?
Depende. Consideremos la funcin:
f(t) = cos(e
1
t) + cos(e
2
t).
Para que sea peridica se requiere encontrar dos enteros m, n tales
que:
e
1
T = 2t m y e
2
T = 2t n.
Es decir, que cumplan:
T = m/ (2t e
1
) = n/ (2t e
2
)
Ejemplo: para la funcin cos(3t) + cos((t+3)t) tenemos
que
Es peridica?
16
t +
=
e
e
3
3
2
1
0 5 10 15 20 25 30
-2
-1
0
1
2
f(t)=cos(3t)+cos((3+)t)
t
f
(
t
)
17
Para que exista periodicidad e
1
/ e
2
debe ser
un nmero racional (n/m).
Ejercicios: Encontrar el periodo de las
siguientes funciones, si es que son peridicas:
1) f(t) = sen(nt), donde n es un entero.
2) f(t) = sen
2
(2tt)
3) f(t) = sen(t) + sen(t + t/2)
4) f(t) = sen(e
1
t) + cos(e
2
t)
5) f(t) = sen(\2 t)
Si f
1
(t) tiene periodo T
1
y f
2
(t) tiene periodo T
2
,
es posible que f
1
(t) + f
2
(t) tenga periodo
T < min(T
1
,T
2
)?
18
T
1
= 5
T
2
= 5
T = 2,5
SERIE TRIGONOMTRICA DE FOURIER
19
] ) ( ) cos( [ ) (
1
0 0 0 2
1

=
+ + =
n
n n
t n sen b t n a a t f e e
... ) 3 ( ) 2 ( ) ( ...
... ) 3 cos( ) 2 cos( ) cos( ) (
0 3 0 2 0 1
0 3 0 2 0 1 0 2
1
+ + + +
+ + + + =
t sen b t sen b t sen b
t a t a t a a t f
e e e
e e e
Algunas funciones peridicas f(t) de periodo T pueden
expresarse por la siguiente serie, llamada serie trigonomtrica
de Fourier
Donde e
0
= 2t/T se denomina frecuencia fundamental.
Cmo calcular los coeficientes de la serie?
20
] t) sen(n b t) (n [a a f(t)
n
n n

=
+ + =
1
0 0 0 2
1
cos
Dada una funcin peridica f(t), cmo se obtiene su serie
de Fourier?
Necesitamos calcular los coeficientes a
0
,a
1
,a
2
,...,b
1
,b
2
,...
Lo haremos gracias a la ortogonalidad de las funciones
seno y coseno.
ORTOGONALIDAD
21

=
=
=
}
n m para r
n m para
dt (t) (t)f f
n
b
a
n m
0
Se dice que las funciones del conjunto {f
k
(t)} son ortogonales
en el intervalo a < t < b si dos funciones cualesquiera f
m
(t), f
n
(t)
de dicho conjunto cumplen:
Ejemplo: las funciones t y t
2
son ortogonales en el intervalo 1 < t < 1, ya que:
Ejemplo: Las funciones sen t y cos t son ortogonales en el intervalo t < t <t, ya
que
22
0
4
1
1 4
1
1
3
1
1
2
= = =

} }
t
dt t dt t t
0
2
cos
2
= =

}

t sen
tdt sent
Falta algo para demostrar en ambos casos la ortogonalidad?
Ortogonalidad de senos y cosenos
Aunque los ejemplos anteriores se limitaron a un par de
funciones, el siguiente es un conjunto de una infinidad de
funciones ortogonales en el intervalo -
T
/
2
< t <
T
/
2
:
{1, cos(e
0
t), cos(2e
0
t), cos(3e
0
t),...,
sen(e
0
t), sen2e
0
t, sen3e
0
t,...}
con e
0
= 2t/T.
23
Vamos a verificarlo probndolo a pares:
1.- f(t) = 1 vs. cos(me
0
t):
Ya que mes un entero.
24
0
) 2 2 2
cos 1
0 0
0
2
2
0
0
2
2
0
= = =
= =

}
m
sen(m
m
) T/ sen(m
m
t) sen(m
t)dt (m
T/
T/ T/
T/
e
0
= 2t/T
2.- f(t) = 1 vs. sen(me
0
t):
3.- cos(me
0
t) vs. cos(ne
0
t):
25
0 2 cos 2 cos
1
cos
1
0 0
0
2
2
0
0
2
2
0
=

=
=

=

}
)] T/ (m )- T/ (m [
m
m
t) (m
t)dt sen(m
T/
T/ T/
T/

= =
=
=
}

0 2 /
0
t)dt t)cos(n cos(m
2 /
2 /
0 0
n m para T
n m para
T
T
e e
cos A cos B = [cos(A+B)+cos(A-B)]
cos
2
u = (1+cos2u)
e
0
= 2t/T
4.- sen(me
0
t) vs. sen(ne
0
t):
5.- sen(me
0
t) vs. cos(ne
0
t):
26
m,n cualquier para t)dt (n t) sen(m
T/
T/
0 cos
2
2
0 0
=
}

= =
=
=
}

0 2
0
2
2
0 0
n m para T/
n m para
t)dt t)sen(n sen(m
T/
T/
sen A sen B = [-cos(A+B)+cos(A-B)]
sen
2
A = (1-cos2u)
sen A cos B = [sen(A+B)+sen(A-B)]
Cmo calcular los coeficientes de la serie?
Vamos a aprovechar la ortoganilidad que acabamos de demostrar del
conjunto de funciones: {1, cos(e
0
t), cos(2e
0
t), cos(3e
0
t),...,
sen(e
0
t), sen2e
0
t, sen3e
0
t,...}
con e
0
= 2t/T, en el intervalo -
T
/
2
< t <
T
/
2
, para calcular los coeficientes
a
0
,a
1
,a
2
,... , b
1
,b
2
,... de la serie de Fourier:
27
] t) sen(n b t) (n [a a f(t)
n
n n

=
+ + =
1
0 0 0 2
1
cos
Multiplicando ambos miembros de la igualdad por cos(me
0
t) e integrando de
T/2 a T/2, obtenemos:
28
,... 3 , 2 , 1 ) cos( ) (
2 /
2 /
0
2
= =
}

m dt t m t f a
T
T
T m
e

}
} }

+
+ =
1
2 /
2 /
0 0
1
2 /
2 /
0 0
2 /
2 /
0 0 2
1
2 /
2 /
0
cos
cos cos
cos ) cos( ) (
n
T
T
n
n
T
T
n
T
T
T
T
t)dt (m t) sen(n b
t)dt (m t) (n a
t)dt (m a dt t m t f e
0
0, si m 0
0, si m 0
T/2, si m = n
Observa que el caso anterior no incluye a a
0
, m = 0
que debemos tratar a parte:
29
}

=
2 /
2 /
0
) (
2
T
T
dt t f
T
a
T a
t)dt (m t) sen(n b
t)dt (m t) (n a
t)dt (m a dt t m t f
n
T
T
n
n
T
T
n
T
T
T
T
0
1
2 /
2 /
0 0
1
2 /
2 /
0 0
2 /
2 /
0 0 2
1
2 /
2 /
0
2
1
cos
cos cos
cos ) cos( ) (
=
+
+ =

}
} }

=


e
0
T, si m = 0
0, si m 0
T/2, si m = n
Similarmente, multiplicando por sen(me
0
t) e
integrando de T/2 a T/2, obtenemos:
30
,... 3 , 2 , 1 ) ( ) (
2 /
2 /
0
2
= =
}

m dt t m sen t f b
T
T
T m
e

}
} }

+
+ =
1
2 /
2 /
0 0
1
2 /
2 /
0 0
2 /
2 /
0 0 2
1
2 /
2 /
0
cos
) (
n
T
T
n
n
T
T
n
T
T
T
T
t)dt t)sen(m sen(n b
t)dt t)sen(m (n a
t)dt sen(m a dt t) sen(m t f
0
0
0, si m 0
T/2, si m = n
Un ejemplo histricamente importante: Encontrar la serie de Fourier para la
funcin de onda cuadrada de periodo T:
La expresin para f(t) en
T
/
2
< t <
T
/
2
es:
31
1
f(t)
t
. . . -T
/
2
0 T
/
2
T . . .
-1

< <
< <
=
2
2
0 1
0 1
) (
T
T
t para
t para
t f
e
0
= 2t/T
32
}

=
2 /
2 /
1
0
) (
T
T
T
dt t f a
(

+ =
} }

2 /
0
0
2 /
2
0
T
T
T
dt dt a
(
(

+ =
0
2 /
2 /
0
2
T
T
T
t t
0 =

< <
< <
=
2
2
0 1
0 1
) (
T
T
t para
t para
t f
COEFICIENTE a
0
:
Coeficientes a
n
:
33
}

=
2 /
2 /
0
2
) cos( ) (
T
T
T n
dt t n t f a e
(

+ =
} }

2 /
0
0
0
2 /
0
2
) cos( 1 ) cos( 1
T
T
T n
dt t n dt t n a e e
0 ) (
1
) (
1
0
2 /
0
0 2 /
0
0
0
2
=
(
(

+ =

T
T
T
t n sen
n
t n sen
n
e
e
e
e
0 para = n

< <
< <
=
2
2
0 1
0 1
) (
T
T
t para
t para
t f
Coeficientes b
n
:
34
}

=
2 /
2 /
0
2
) ( ) (
T
T
T n
dt t n sen t f b e
=
(

+ =
} }

2 /
0
0
0
2 /
0
2
) ( ) (
T
T
T n
dt t n sen dt t n sen b e e
(
(

=
0
2 /
0
0 2 /
0
0
0
2
) cos(
1
) cos(
1
T
T
T
t n
n
t n
n
e
e
e
e
| | ) 1 ) (cos( )) cos( 1 (
1
= t t
t
n n
n
| | 0 para ) ) 1 ( 1
2
= = n
n
n
t

< <
< <
=
2
2
0 1
0 1
) (
T
T
t para
t para
t f
Finalmente, la serie de Fourier queda como
En la siguiente figura se muestran: la componente fundamental y los
armnicos 3, 5 y 7, as como la suma parcial de estos primeros cuatro
trminos de la serie para
e
0
= t (e
0
= 2t/T), es decir, T = 2:
35
| |
( )

=
+ + + =
1
0
0 5
1
0 3
1
0
) ) 1 2 (
1 2
1 4
) (
... ) 5 ( ) 3 ( ) (
4
) (
n
t n sen
n
t f
t sen t sen t sen t f
e
t
e e e
t
36
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Componentes de la Serie de Fourier
t
C
o
m
p
o
n
e
n
t
e
s
Suma
fundamental
tercer armnico
quinto armnico
sptimo armnico
| | ... ) 5 ( ) 3 ( ) (
4
) (
0 5
1
0 3
1
0
+ + + = t sen t sen t sen t f e e e
t