Sie sind auf Seite 1von 166

1

Series de Fourier
"Series de Fourier, Transformadas de Fourier y Aplicaciones",
Genaro Gonzlez
2
...
3
) 3 (
2
) 2 (
) (
) (
2
) (
1
+ + +
= =

=
t sen t sen
t sen
n
nt sen t
t f
n
t
La primera serie de Fourier de la historia
Euler 1744 escribe en una carta a un amigo:
Es cierto?

Observemos que en t = 0
hay problemas /2 = 0
La clave est en el concepto de funcin peridica.
3
Funciones Peridicas
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?
4
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.
? 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 + = =
5

Grfica de la funcin
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 + =
6
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
)
n
m
=
2
1
e
e
7
Ejemplo: para la funcin cos(3t) + cos((t+3)t)
tenemos que

Es peridica?
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
)

8
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)
9
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
)?


T
1
= 5
T
2
= 5
T = 2,5
10
Podemos construir incluso un ejemplo de dos funciones de
igual periodo, cuya suma puede tener un periodo tan
pequeo como queramos. Sea N un entero, y definamos:

< <
s s
=
1
1
, 0
1
0 ), 2 (
) (
1
t
N
N
t t N sen
t f
t

< <
s s
=
1
1
), 2 (
1
0 , 0
) (
2
t
N
t N sen
N
t
t f
t
extendida peridicamente con T = 1:
+ < < + = t t f t f ), 1 ( ) (
1 1
extendida peridicamente con T = 1:
+ < < + = t t f t f ), 1 ( ) (
2 2

+ < < + + +
< s
= +
t t f t f
t t N sen
t f t f
), 1 ( ) 1 (
1 0 , ) 2 (
) ( ) (
2 1
2 1
t
N N
T
1
2
2 2
= = =
t
t
e
t
11
Puede una funcin f(t) cumplir la condicin
f(t) = f(t + T) para todo t y no tener un periodo
fundamental?

=
entero un es no si 0
entero un es si 1
) (
1
t
t
t f
1
enteros son no y si 0
enteros son y si 1
) ( ) (
1 1
=

+
+
= + =
T
T t t
T t t
T t f t f
12

=
entero un es o irracional es si 0
entero un no pero racional es si 1
) (
2
t
t
t f
1
enteros o es irracional son y si 0
enteros no pero racionales son y si 1
) ( ) (
2 2
=

+
+
= + =
T
T t t
T t t
T t f t f

= +
irracional es si 0
racional es si 1
) ( ) (
2 1
t
t
t f t f
T = ?
13
...
3
) 3 (
2
) 2 (
2
+ + + =
t sen t sen
t sen
t t
Cmo lo alcanz?
Volvamos al resultado
de Euler:

+ + =
+ + + =
... ) (
... ) (
3 2
3 2
t i t i it
t i t i it
e e t S e
e e e t S
t
t sen
i
e
e
t S
it
it
cos 1 2
1
2
1
1
) (

+ =

=
{ } ... ) 3 ( ) 2 ( ... ) 3 cos( ) 2 cos( cos
... ) (
2
1
3 2
+ + + + + + +
= + + + =

t sen t sen t sen i t t t


e e e t S
t i t i it

2
;
4
...
7
1
5
1
3
1
1
2
2
1
...
3
) 3 (
2
) 2 (
4
t t t
t
= + = + + =
+ = + + +
C C t
C t
t sen t sen
t sen

Integrando
trmino a trmino:
Utilizando la frmula de
Euler para cada trmino:
Particularizamos t
para encontrar C:
14
Fourier series java applet
(http://www.falstad.com/fourier/)
...
3
) 3 (
2
) 2 (
2
+ + + =
t sen t sen
t sen
t t
...
3
) 3 (
2
) 2 (
) (
2 2
...
3
) 3 (
2
) 2 (
) (
2
= +
+

+ =
+
t sen t sen
t sen
t
t sen t sen
t sen
t
t
t
15
(1) La funcin de Euler es peridica de periodo T = 2.

(2) La serie es una funcin impar.
No es sorprendente, pues se trata de suma de senos de
periodos enteros.

(3) En el intervalo 0 < t < 2, la serie aproxima a (-t)/2.
Pero no fuera del intervalo...

(4) Da saltos bruscos entre valores positivos y negativos.

(5) La aproximacin no es buena en "los extremos"...
Ninguna de estas dos ltimas cuestiones era conocida o
sospechada ni por Euler, ni por Fourier...
16
Jean
d'Alembert
1717-1783
Leonhard Euler
1707-1783
Daniel
Bernouilli
1700-1782

Lagrange
17
Se necesita tambin como condicin inicial u(0,x)=f(x) para 0<x<1.
Euler en 1749 demostr la misma solucin. Pero difera con D'Alambert en el posible
tipo de f(x) inicial. De hecho, este es el inicio del problema de la "definicin" de una
funcin. Para Euler era posible una funcin en partes: cualquier grfica era una funcin.
Para D'Alambert necesariamente: expresin analtica compacta.
18
19
En realidad la forma de solucionar el problema por parte
de Daniel Bernoulli en 1753 fue completamente distinta.
Se bas en la superposicin de ondas y tom como
solucin:

u
n
(x,t) = sin(nx) cos(nt)

donde para cada t fijo cada sin(nx) se anula en n-1 puntos
o nodos.

=
=
1 n
n
) nt cos( ) nx ( sen a ) t , x ( u
Pero recordemos que u(x,0) = f(x)...
20
Resolvamos por variables separadas: u(x,t) = X(x) T(t)
. t , ) t ( T ) t ( ' ' T
) ( X ) ( X ), , ( x , ) x ( X ) x ( ' ' X
. c . c y . i . c ;
x
) t , x ( u
t
) t , x ( u
0 0
0 1 0 1 0 0
2
2
2
2
> = +
= = e = +
c
c
=
c
c
Por eso Bernouilli opt por tomar f(x) como:

=
= =
1
0
n
n
) nx ( sen a ) , x ( u ) x ( f
con una adecuada eleccin de los coeficientes a
n
...
21
Joseph Fourier
En diciembre de 1807 Joseph
Fourier present un sorprendente
artculo a la Academia de Ciencias
en Pars. En l afirmaba que
cualquier funcin puede escribirse
en forma de serie trigonomtrica
semejante al ejemplo de Euler.

Polmica: Joseph-Louis Lagrange (1736-1813)
era uno de los muchos que opinaba que algo as
era simplemente imposible...
Jean Baptiste Joseph Fourier
1768-1830
22
Fourier fue nombrado por Napolen secretario permanente del Instituto Egipcio.
Contrajo una enfermedad de Tiroides (mixedema).
23
Fourier bas su trabajo en el estudio fsico de la
ecuacin del calor o de difusin:
Describe cmo el calor o una gota de tinta se
difunden en un medio.

Lord Kelvin (1736-1813): electricidad por los cables
trasatlnticos, edad de la Tierra,...
t
u
k x
u
c
c
=
c
c 1
2
2
24
t s s =
s = t =
c
c
=
c
c
x ); x ( f ) , x ( u
t ; ) t , ( u ) t , ( u
t
) t , x ( u
k x
) t , x ( u
0 0
0 0 0
1
2
2
0 0 = t =
=
=
) ( X ) ( X con
) t ( T ) x ( ' ' X ) t ( ' T ) x ( X
) t ( T ) x ( X ) t , x ( u
Dividiendo entre X(x)T(t):
) x A ( sen C ) x A cos( C ) x ( X ); x ( AX ) x ( ' ' X
e C ) t ( T ); t ( AT ) t ( ' T
. cte A , A
) x ( X
) x ( ' ' X
) t ( T
) t ( ' T
At
+ = =
= =
= = =
2 1
0
C
1
=0, C
0
=C
2
=1, A=-n
2
con n = 1, 2, 3, ...
) nx ( sen e ) t , x ( u
t n
n
2

=
25
) nx ( sen e ) t , x ( u
t n
n
2

= La combinacin lineal de soluciones


ser tambin solucin:

=
=
1 n
n n
) t , x ( u a ) t , x ( u
Llegando al mismo resultado que Bernoulli, pero pudiendo calcular los
coeficientes a
n
.
26
Serie trigonomtrica de Fourier
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.
] ) ( ) 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
27
...
3
) 3 (
2
) 2 (
2
+ + + =
t sen t sen
t sen
t t
] ) ( ) cos( [ ) (
1
0 0 0
2
1

=
+ + =
n
n n
t n sen b t n a a t f e e
a
0
= 0, a
1
= 0, a
2
= 0 ...

b
1
= 1, b
2
= 1/2, b
3
= 1/3,...
28
Cmo calcular los coeficientes de la serie?
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.
] t) sen(n b t) (n [a a f(t)
n
n n

=
+ + =
1
0 0 0
2
1
cos
29
Ortogonalidad
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:

=
=
=
}
n m para r
n m para
dt (t) (t)f f
n
b
a
n m
0
30
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
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?
31
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.






32
Vamos a verificarlo probndolo a pares:

1.- f(t) = 1 vs. cos(me
0
t):













Ya que m es un entero.
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
33
2.- f(t) = 1 vs. sen(me
0
t):






3.- cos(me
0
t) vs. cos(ne
0
t):
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
34
4.- sen(me
0
t) vs. sen(ne
0
t):




5.- sen(me
0
t) vs. cos(ne
0
t):
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)]
35
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:
] t) sen(n b t) (n [a a f(t)
n
n n

=
+ + =
1
0 0 0
2
1
cos
36
Multiplicando ambos miembros de la igualdad por
cos(me
0
t) e integrando de T/2 a T/2, obtenemos:
,... 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
37
Observa que el caso anterior no incluye a a
0
, m = 0
que debemos tratar a parte:
}

=
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
38
Similarmente, multiplicando por sen(me
0
t) e
integrando de T/2 a T/2, obtenemos:








,... 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
39
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:

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
40
Coeficiente a
0
:
}

=
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
41
Coeficientes a
n
:
}

=
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
42
Coeficientes b
n
:
}

=
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
43
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:
| |
( )

=
+ + + =
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
44
-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
Fourier series java applet (http://www.falstad.com/fourier/)
45
Nota:
Para expresarse como serie de Fourier
f(t), no necesita estar centrada en el origen.
Simplemente debemos tomar el intervalo,
donde est definida, como el periodo de la
serie.
La ortogonalidad de las funciones seno y
coseno no slo se da en el intervalo de
T/2 a T/2, sino en cualquier intervalo que
cubra un periodo completo:

de t
0
a t
0
+ T, con t
0
arbitrario,

con el mismo resultado.
46
Habamos calculado
los coeficientes para:

< s
< s
=
T t T para
T t para
t f
2 / 1
2 / 0 1
) (

< <
< <
=
2 / 0 1
0 2 / 1
) (
T t para
t T para
t f
Si los calculamos para la misma funcin desplazada
tienen que ser los mismos:
1
f(t)
t
. . . -T
/
2
0

T
/
2
T . . .
-1
1
f(t)
t
. . . -T
/
2
0

T
/
2
T . . .
-1
Repite los clculos y comprubalo.
47
De hecho si repetimos
para cualquier intervalo
de longitud el periodo
T de la funcin, ser lo
mismo:
1
f(t)
t
. . .
t
0
t
0
+T
. . .
-1
} } } }
= = = =
+
T
T
T t
t
T
T
T
T
T
T
dt t f dt t f dt t f dt t f a ) ( ) ( ) ( ) (
2 2
0
2
2 /
2 /
1
0
0
0
} }
= = =
T
T
T
T
T
n
dt t n t f dt t n t f a ) cos( ) ( ... ) cos( ) (
0
2
2 /
2 /
0
2
e e
} }
= = =
T
T
T
T
T
n
dt t n sen t f dt t n sen t f b ) ( ) ( ... ) ( ) (
0
2
2 /
2 /
0
2
e e
48
Ejercicio: encontrar la serie de Fourier para
2
) (
t
t f

=
t
la funcin con la que empezamos el tema.
O sea, demostrar que Euler tena razn.
49
) 3 cos( 1 ) ( ) cos( 1 ) (
definitiva en
todo para 0 ) ( )) 3 cos( 1 (
3
) ( ) (
2
1 si , 0
1 si , 1
) cos( )) 3 cos( 1 (
3
) cos( ) (
2
2 )) 3 cos( 1 (
3
) (
2
0
1
0
1
3
2
0
0 0
3
2
0
0 0
3
2
0
0
t t n sen b t n a t f
n dt t n sen t dt t n sen t f
T
b
n
n
dt t n t dt t n t f
T
a
dt t dt t f
T
a
n
n
n
n
T
n
T
n
T
+ = + + =
= + = =

=
=
= + = =
= + = =

} }
} }
} }

=
e e
e
t
e
e
t
e
t
t
t
t
3
2
periodo de ) 3 cos( 1 ) (
t
= + = T t t f
Calcula la serie de Fourier de la funcin peridica:
La serie
es la
propia
funcin...
50
Nota: a partir de ahora entenderemos que f(t) est definida
slo en el intervalo que especifiquemos. Y que la serie de
Fourier la extiende peridicamente, con periodo T igual al
intervalo de definicin. En muchos libros se habla de
extender de forma par o impar una funcin. La serie de
Fourier extender peridicamente los patrones siguientes:
t
t
Extensin par
Extensin impar
51
Funciones Pares e Impares
Una funcin (peridica o no) se dice
funcin par (o con simetra par) si su
grfica es simtrica respecto al eje vertical,
es decir, la funcin f(t) es par si
f(t) = f(-t)

t 2t
f(t)
t
t 2t
52
En forma similar, una funcin f(t) se dice
funcin impar (o con simetra impar), si su
grfica es simtrica respecto al origen, es
decir, si cumple lo siguiente: -f(t) = f(-t)

t 2t
f(t)
t
t 2t
53
Ejemplo: Las siguientes funciones son
pares o impares?
f(t) = t + 1/t ,
g(t) = 1/(t
2
+1).

Solucin:
Como f(-t) = -t - 1/t = - f(t), por lo tanto f(t) es
funcin impar.
Como g(-t) = 1/((-t)
2
+1) = 1/(t
2
+1) = g(t), por
lo tanto g(t) es funcin par.
54
Ejemplo: La funcin h(t) = f(1+t
2
) es par o
impar? (f es una funcin arbitraria).

Solucin:
Sea g(t) = 1 + t
2
. Entonces h(t) = f(g(t)).
Por lo tanto h(-t) = f(g(-t)).
Pero g(-t) = 1+(-t)
2
= 1 + t
2
= g(t),
finalmente h(-t) = f(g(t)) = h(t), de modo que
h(t) es funcin par, sin importar como sea
f(t).
55
Ejemplo: De acuerdo al ejemplo anterior,
todas las funciones siguientes son pares:

h(t) = sen (1+t
2
)
h(t) = exp(1+t
2
) + 5/ (1+t
2
)
h(t) = cos (2+t
2
) + 1
h(t) = (10+t
2
) - (1+t
2
)
1/2
etc...
Ya que todas tienen la forma f(1+t
2
).
56
Si f (x) es par:
}
=
a
dx x f
0
) ( 2
}

a
a
dx x f ) (
}
a
dx x f
0
) (
a
-a
}

a
a
dx x f ) (
57
Si f (x) es impar:
0 =
}

a
a
dx x f ) (
a
-a
}

a
a
dx x f ) (
58
Como la funcin sen(ne
0
t) es una funcin
impar para todo n y la funcin cos(ne
0
t) es
una funcin par para todo n, es de esperar
que:

Si f(t) es par, su serie de Fourier no
contendr trminos seno, por lo tanto
b
n
= 0 para todo n.

Si f(t) es impar, su serie de Fourier no
contendr trminos coseno, por lo tanto
a
n
= 0 para todo n.
59
Por ejemplo, la seal cuadrada, que hemos
analizado:





Es una funcin impar, por ello su serie de
Fourier no contiene trminos coseno:
1
f(t)
t
. . . -T
/
2
0

T
/
2
T . . .
-1
| | ... ) 5 ( ) 3 ( ) (
4
) (
0
5
1
0
3
1
0
+ + + = t sen t sen t sen t f e e e
t
60
P2. Septiembre 2005
a) Obtener el desarrollo en serie de Fourier de las funciones
t t s s = = x x x g x x f en cos ) ( y sin ) (
Respuesta.
| |

=
+ + =
1
0
) sin( ) cos(
2
) (
n
n n
nx b nx a
a
x f
f(x) = |sen(x)|, x [-,], 2 peridica
Funcin par desarrollo en cosenos, b
n
= 0
61
| |
| | 1 ) 1 cos(
1
2 1
) 1 sin( ) 1 sin(
1
) cos( sin
2
) cos( ) (
1
2
0
0

=
= + + =
= = =
}
} }

t
t
t
t t
t
t t
t
n
n
dx x n x n
dx nx x dx nx x f a
n
impar n , 0 par; n ,
) 1 (
4
;
4
2
0
=

= =
n n
a
n
a a
t t
62
1 4
) 2 cos( 4 2
sin
2
1

=

=
n
nx
x
n
t t
f(x) = |cos(x)|, x [-,], 2 peridica
Funcin par desarrollo en cosenos, b
n
= 0
| |
}
} }
+ + =
= = =

2 /
0
2 /
0
) 1 cos( ) 1 cos(
2
) cos( cos
4
) cos( ) (
1
t
t t
t
t
t t
dx x n x n
dx nx x dx nx x g a
n
63
impar n , 0 par; n ,
) 1 (
4
;
4
2
0
=

= =
n n
a
n
a a
t t
1 4
) 2 cos( ) 1 ( 4 2
cos
2
1

=
n
nx
x
n
n
t t
64
Onda triangular
(Triangle Wave)
|
.
|

\
|
+ + +
2 2 2
5
5 cos
3
3 cos
1
cos 4
2
x x x
t
t
65
Right Triangular Wave
|
.
|

\
|
+
3
3 sin
2
2 sin
1
sin
2
x x x
66
Saw Tooth Wave
|
.
|

\
|
+ + +
3
3 sin
2
2 sin
1
sin
2
x x x
t
67
Ejercicio: demostrar que la serie de Fourier para
t t o < < = t t t f ), cos( ) (
con periodo T = 2 (frecuencia fundamental
e
0
= 1) y o un nmero real no entero, es:
(

+ =

=
) cos(
) 1 (
2
1 ) (
) cos(
1
2 2
t n
n
sen
t
n
n
o
o
o t
t o
o
68
Observa que si tomamos t = 0 entonces:
(

+ =

=
) cos(
) 1 (
2
1 ) (
) cos(
1
2 2
t n
n
sen
t
n
n
o
o
o t
t o
o
y con o = 1/2.

+ =
1
2 2
) 1 (
2
1
) (
n
n
n sen o
o
o t o
t


=

+ =

+ =
1
2
1
2 2
4 1
) 1 (
4 2
) 2 / 1 (
) 1 (
2
n
n
n
n
n n
t
t t < < t
69
O que si tomamos t = entonces:
(

+ =

=
) cos(
) 1 (
2
1 ) (
) cos(
1
2 2
t n
n
sen
t
n
n
o
o
o t
t o
o
t t < < t
(

+ =

=1
2 2
1
2
1 ) (
) cos(
n
n
sen
o
o
o t
t o
t o
n
t ) 1 ( ) cos( = t

=

+ =
1
2 2
1
2
1
) tan(
n
n o
o
o t o
t
Es correcto el resultado?
70
Que la integral traspase los sumatorios en la
deduccin de las frmulas para los coeficientes
de la serie de Fourier, equivale a asumir que la
serie converge uniformemente... Recordemos
qu es convergencia uniforme.

Sea la serie infinita:


y definamos sus sumas parciales como:
Convergencia uniforme

=
=
1
) ( ) (
n
n
x u x S

=
=
k
n
n k
x u x S
1
) ( ) (
71
Diremos que S converge a f(x) en un intervalo si
c > 0 existe para todo x del intervalo un N > 0 tq.:
N k x f x S
k
> < que siempre ) ( ) ( c
Observemos que en general N depender de c y
del punto x (convergencia puntual).
Si N solo depende de c, pero no de x, decimos que
la convergencia es uniforme.

Que la serie sea uniformemente convergente es
"bueno" porque:
72
(1) Si cada trmino u
n
(x) de una serie es
continuo en (a, b) y la serie es uniformemente
convergente a f(x), entonces:

(a) f(x) es tambin continua en (a, b).

(b)

} }


=

=
=
1 1
) ( ) (
n
b
a
n
b
a
n
n
dx x u dx x u
(2) Si cada trmino u
n
(x) de una serie posee
derivada en (a, b) y la serie derivada es
uniformemente convergente, entonces:


=

=
=
1 1
) ( ) (
n
n
n
n
x u
dx
d
x u
dx
d
73
Cmo probar la convergencia uniforme de una serie?

(1) Encontrar una expresin "cerrada" para S
k
(x) y
aplicar la definicin o

(2) utilizar la prueba M de Weierstrass:

Si existe {M
n
}
n = 1, 2,...
tq. |u
n
(x)| s M
n
y adems



=

=

1 1
nte uniformeme converge ) ( converge
n
n
n
n
x u M
74
nte uniformeme converge
6
1
1 ) ( 1
) , ( en
) (
) (
2
1
2
2 2 2
1
2
S
n
n n
nx sen
n
M
n
nx sen
x S
n
n
n
=
s =
=

=
t
t t
Ejemplo:
75
Condiciones de Dirichlet
Condiciones de convergencia de la serie de Fourier
de f(x), suficientes pero no necesarias.

(1) f(x) tiene un nmero finito de discontinuidades
en un periodo.

(2) f(x) tiene un nmero finito de mximos y mnimos
en un periodo.

(3)
<
}
T
dx x f ) (
76
Si se cumplen las condiciones de Dirichlet, entonces
la serie de Fourier converge a f(x) si x es un punto
de continuidad y a:




si x es un punto de discontinuidad.
( ) ) ( ) (
2
1
+
+ x f x f
77

< s
< <
=
t t
t
x x
x
x f
0 ,
0 , 0
) (
2 2
1
) ( 0
1
) (
2
2
2
0
2
0
0
0
t
t
t
t
t
t
t
t
t
t
t
t
=
(

=
(

+ =
=
=
} }
}

x
x
dx x dx
dx x f a
T
Desarrolla
en serie de Fourier:
78
t t
t
t
t
t
t
t t
t
t
t
t
t
t
t
2 2
0
0
0
0
0
) 1 ( 1 1 cos
cos 1
sin
1 sin
) (
1
cos ) ( 0
1
cos ) (
1
n n
n
n
nx
n
dx nx
n n
nx
x
dx nx x dx dx nx x f a
n
n

=
+
=
=
(
(

+ =
(

+ = =
}
} } }

n
nxdx x b
n
1
sin ) (
1
0
= =
}
t
t
t

= )
`

+

+ =
1
2
sin
1
cos
) 1 ( 1
4
) (
n
n
nx
n
nx
n
x f
t
t
79
La funcin f es continua en (t, t) excepto en x = 0. As su
serie de Fourier converge en x = 0 a:
La serie es una extensin peridica de la
funcin f. Las discontinuidades en x = 0,
2t, 4t, convergen a:
2 2
) 0 ( ) 0 ( t
=
+ + f f
2 2
0
2
) 0 ( ) 0 ( t t
=
+
=
+ + f f
80










x x x S x x S S 2 sin
2
1
sin cos
2
4
, sin cos
2
4
,
4
3 2 1
+ + + = + + = =
t
t
t
t t
Secuencia de sumas parciales y su representacin grfica
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
Ejercicio de examen: Obtener el desarrollo en serie de Fourier de la
funcin
| | 1 , 0 , 1 ) (
2
e = t t t f
de modo que converja uniformemente a f(t) en [0,1].
Respuesta.
Para que el desarrollo de Fourier se pueda definir debe ser 2L-
peridica.
Para que converja uniformemente, se debe extender f(t) a de
modo que: 1. sea continua en [-L,L].
2. sea continua a trozos en [-L,L].
) (
~
t f
) (
~
t f
) (
~
t f
'
102
La continuidad se consigue con la extensin par de f (f = -2t es
continua en [-L,L] ) con L = 1.
Re (z)
Im (z)
par funcin ser por 0
sin cos
2
) (
~
1
0
=
|
|
.
|

\
|
|
.
|

\
|
+
|
.
|

\
|
+ =

=
n
n
n n
b
t
L
n
b t
L
n
a
a
t f
t t
1 -1
103

3
4
3
2
2 ) 1 ( 2 ) 1 (
) (
) 1 ( 4
) cos( ) 1 ( 2 ) cos( ) 1 (
1
0
2
1
1
2
0
2
1
0
2
1
1
par
~
2
= = = =

=
= = =
} }
} }

dt t dt t a
n
dt t n t dt t n t a
n
f
n
t
t t
( ) t n
n
t f
n
n
t
t
cos
) 1 ( 4
3
2
) (
~
1
2 2

=
| |
= =
e 1 , 0
) (
~
) (
t
t f t f
104
P2. Septiembre 2006
a) (4 puntos)
1. Obtener el desarrollo en serie de Fourier de la funcin
f(x) = x
2
- x , con f(x) = f(x + 2)
2. Estudiar si el desarrollo obtenido converge uniformemente a
f(x) en [-,]
3. Basndose en los resultados obtenidos, calcular la suma de la
serie numrica
4. A partir del desarrollo de Fourier de la funcin f(x), obtener el
desarrollo en serie de Fourier de la funcin
g(x) = x(x
2

2
) - x , con g(x) = g(x + 2)

=1
4
1
k
k
105
Respuesta.
1. f(x) = x
2
, x [-,], 2 peridica
Funcin par desarrollo en cosenos, b
n
= 0:
= = =
= =
+ =
} }
}

=
t t
t
t
t t
t
t
0
2 2
2
0
2
0
1
0
) cos(
2
) cos(
1
3
2 2
) cos(
2
) (
dx nx x dx nx x a
dx x a
nx a
a
x f
n
n
n
106
n
n
nx
n
nx x
n
nx x
n
) 1 (
2 2
) sin(
2
) cos(
2
) sin(
1 2
2
0
3
0
2
0
2
=
=
(
(

+ =
t
t
t
t t t
) cos(
) 1 (
4
3
) (
1
2
2
nx
n
x f
n
n

+ =
t
n
n
n
a ) 1 (
4
2
=
107
| |
( )
uniforme ia convergenc hay
, - en continua
, - en continua
)
`

'
t t
t t
f
f
| | ( )
5 5 2 2
1
2 2
2
0
2
5
2
5
1
) (
2
) (
1
t
t
t
t
t
t
t
t
= =
+ + =

}
x dx x
b a
a
dx x f
n
n n
2.
3. Por convergencia uniforme, se aplica la identidad de Parseval:
108

=
+
|
.
|

\
|
=
1
4
2
2 4
1
16
2
1
3
2
5
2
n
n
t t
90
1
2
1
4
t
=

= n
n
4.
( ) | |
) cos(
) 1 (
12 ) ( 3 3 ) (
peridica 2 , , , ) (
1
2
2 2
2 2
nx
n
x f x x g
x x x x g
n
n

= = =
'
e =
t t
t t t t
) sin(
) 1 (
12 ) ( : uniforme ia convergenc Por
1
3
nx
n
x g
n
n

=
109
Fenmeno de Gibbs
Si la serie de Fourier para una funcin f(t) se
trunca para lograr una aproximacin en suma
finita de senos y cosenos, es natural pensar que a
medida que agreguemos ms armnicos, el
sumatorio se aproximar ms a f(t).

Esto se cumple excepto en las discontinuidades
de f(t), en donde el error de la suma finita no
tiende a cero a medida que agregamos armnicos.

Por ejemplo, consideremos el tren de pulsos u
onda cuadrada:
| | ... ) 5 ( ) 3 ( ) (
4
) (
0
5
1
0
3
1
0
+ + + = t sen t sen t sen t f e e e
t
110
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 1 armnico
| | ) (
4
) (
0
t sen t f e
t
=
111
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 3 armnicos
| | ) 5 ( ) 3 ( ) (
4
) (
0
5
1
0
3
1
0
t sen t sen t sen t f e e e
t
+ + =
112
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 5 armnicos
113
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 7 armnicos
114
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 13 armnicos
115
Fenmeno de Gibbs
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 50 armnicos
116
Fenmeno de Gibbs
-1 -0.5 0 0.5 1
-1.5
-1
-0.5
0
0.5
1
1.5
Serie con 100 armnicos
117

118
Forma compleja de la serie de Fourier
Consideremos la serie de Fourier para una
funcin peridica f(t), con periodo T = 2t/e
0
.


Es posible obtener una forma alternativa
usando las frmulas de Euler:


] ) ( ) cos( [ ) (
1
0 0 0
2
1

=
+ + =
n
n n
t n sen b t n a a t f e e
) ( ) (
) ( ) cos(
0 0
0 0
2
1
0
2
1
0
t in t in
i
t in t in
e e t n sen
e e t n
e e
e e
e
e

=
+ =
119
Sustituyendo:






Y usando el hecho de que 1/i = -i:





Y definiendo:




] ) ( ) ( [ ) (
1
2
1
2
1
0 2
1 0 0 0 0

=

+ + + =
n
t in t in
i n
t in t in
n
e e b e e a a t f
e e e e
] ) ( ) ( [ ) (
1
2
1
2
1
0 2
1 0 0

+ + + =
n
t in
n n
t in
n n
e ib a e ib a a t f
e e
) ( ), ( ,
2
1
2
1
0
2
1
0 n n n n n n
ib a c ib a c a c +

=
=
n
t in
n
e c t f
0
) (
e
T
2

0
t
e =
120
A la expresin obtenida








se le llama forma compleja de la serie de
Fourier y sus coeficientes c
n
pueden obtenerse a
partir de los coeficientes a
n
, b
n
como ya se dijo, o
bien:




Para n = 0, 1, 2, 3, ...
Demostrarlo.

}

=
T
t in
T
n
dt e t f c
0
1 0
) (
e

=
=
n
t in
n
e c t f
0
) (
e
Forma
{ }

= n
t in
e
0
e
un conjunto
ortogonal?
121
Ejemplo. Encontrar la forma compleja de la
serie de Fourier para la funcin ya tratada:




Solucin 1. Como ya se calcularon los
coeficientes de la forma trigonomtrica (a
n
y
b
n
), que eran a
n
= 0 para todo n y
1
f(t)
t
. . . -T
/
2
0

T
/
2
T . . .
-1
n todo para
n
b
n
n
] ) 1 ( 1 [
2
=
t
122
Podemos calcular los coeficientes c
n
:




Entonces la serie compleja de Fourier
queda:
] ) 1 ( 1 [ ] [
2
2
1
2
1
n
n
n n n
i ib a c = =
t
] ) 1 ( 1 [
1
n
n
n
i c =
t
...)
(... ) (
0 0 0
0 0 0
5
5
1
3
3
1
3
3
1
5
5
1 2

+ + + =

t i t i t i
t i t i t i
e e e
e e e i t f
e e e
e e e
t
123
Solucin 2. Tambin podemos calcular los
coeficientes c
n
mediante la integral:
}

=
T
t in
T
n
dt e t f c
0
1 0
) (
e
|
|
.
|

\
|
+ =
} }

T
T
t in
T
t in
dt e dt e
T
2 /
2 /
0
0 0
1
e e
|
|
.
|

\
|
=

2 /
1
0
2 /
1 0 0
1
T
T
t in
in
T
t in
in
e e
T
o o
e
e
e
e
| | ) ( ) 1 (
1
2 / 2 /
0 0 0
T in T in T in
o
e e e
T in
e e e
e

=
124
Como e
0
T = 2t y adems:








que coincide con el resultado ya obtenido.
u u
u
isen e
i
=

cos
)] ) 1 ( 1 ( ) 1 ) 1 [(
1
n n
T in n
o
c =
e
] ) 1 ( 1 [
2
n
T n
o
i =
e
] ) 1 ( 1 [
1
n
n
i =
t
125

< s
< s
=
1 0 , 1
0 1 , 0
) (
x
x
x H
Calcular la serie de Fourier de la funcin de Heaviside:
( )

=
=
n
x in
n
e c x H
t

1
0
1
0
1
1
1
2
1
2
1
) (
2
1
(

= = =

} }
e
in
dx
e
dx x H
e
c
x in x in x in
n
t t t
t
| | | |
| |

=
= = =

impar es n si
n
i
par es n si
n
n
i
n isen n
n
i
e
n
i
c
in
n
;
; 0
1 ) cos(
2
1 ) ( ) cos(
2
1
2
1
t
t
t
t t
t t
t
n 0
126
a
l
=
1
2
itlx
e
H(x)dx
1
1
}
0
-it0x
=
1
2
dx
0
1
}
=
1
2

=
impar es n si
n
i
par es n si
c
n
;
; 0
t
;
2
1
0
= c
n impar
( )


= =

+ = =
n
x in
n
x in
n
e
n
i
e c x H
0

2
1

t
t
t
( )

>
(

+
+ =
0
) ( ) cos(
Re
2
2
1
) (
n
n
x n isen x n i
x H
t t
t
n impar

>
(


+ =
0
Re 2
2
1
n
x in
e
n
i
t
t
n impar
( )

>
+ =
0
) ( 2
2
1
n
n
x n sen
x H
t
t
n impar
127
128
129
130
La funcin impulso o
delta de Dirac
Se trata de una "funcin generalizada". Podemos pensar en
la delta de Dirac como el lmite de una serie de funciones:
if 0
( )
0 if 0
t
t
t
o
=

t
f
1
(t)
f
2
(t)
f
3
(t)
o(t)
t
o(t)
2
) (mt
m
e
m
(t) f

=
t
131
Propiedades de la funcin o
( ) 1
( ) ( ) ( ) ( ) ( )
exp( ) 2 (
exp[ ( ') ] 2 ( '
t dt
t a f t dt t a f a dt f a
i t dt
i t dt
o
o o
e t o e
e e t o e e

=
= =
= )
= )
}
} }
}
}
t
o(t)
132
Calcular la serie de Fourier de o(x):
( )

=
=
n
nx i
n
e
c x
t
o
2
1
) (
2
1
1
1
= =
}

dx x
e
c
x in
n
o
t
( )


>
>

=
+ =
+ + = =
0
0
) cos(
2
1
) (
2
1
2
1
2
1
n
n
x in x in
n
x in
x n
e e e
x
t
o
t t t
o x ( )

>
+ =
0
) cos(
2
1
n
x nt
133
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
134
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
135
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
136
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
137
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
138
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
139
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
140
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
141
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
142
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
143
Los coeficientes c
n
son nmeros complejos,
y tambin se pueden escribir en forma polar:





Observemos que,




Donde ,
para todo n = 0.

Y para n = 0, c
0
es un nmero real:
n
i
n n
e c c
|
=
n
i
n n n
e c c c
|

= =
*
2 2
2
1
n n n
b a c + =
|
|
.
|

\
|
=
n
n
n
a
b
arctan |
0
2
1
0
a c =
144
Espectros de frecuencia discreta
Dada una funcin peridica f(t), le
corresponde una y slo una serie de
Fourier, es decir, le corresponde un
conjunto nico de coeficientes c
n
.

Por ello, los coeficientes c
n
especifican a f(t)
en el dominio de la frecuencia de la
misma manera que f(t) especifica la funcin
en el dominio del tiempo.
145
Espectros de frecuencia discreta
Ejemplo. Para la funcin ya analizada:





Encontramos que:

Por lo tanto:
1
f(t)
t
. . . -T
/
2
0

T
/
2
T . . .
-1
] ) 1 ( 1 [
1
n
n n
i c =
t
] ) 1 ( 1 [
1
n
n
n
c =
t
146
A la grfica de la magnitud de los
coeficientes c
n
contra la frecuencia angular
e de la componente correspondiente se le
llama el espectro de amplitud de f(t).

A la grfica del ngulo de fase |
n
de los
coeficientes c
n
contra e, se le llama el
espectro de fase de f(t).

Como n slo toma valores enteros, la
frecuencia angular e = ne
0
es una variable
discreta y los espectros mencionados son
grficas discretas.
147
El espectro de amplitud se muestra a continuacin










Observacin: El eje horizontal es un eje de
frecuencia, (n = nmero de armnico = mltiplo
de e
0
).
-30 -20 -10 0 10 20 30
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
Espectro de Amplitud de f(t)
n
|
C
n

|

Frecuencia negativa (?) Frecuencia
148
El espectro de magnitud de una f(t) real, es una
funcin PAR por lo que la grfica para n > 0
contiene toda la informacin acerca de f(t) y se le
conoce como espectro unilateral de magnitud.
El espectro de fase de una f(t) real, es una
funcin IMPAR por lo que la grfica para n > 0
contiene toda la informacin acerca de f(t) y se le
conoce como espectro unilateral de fase.
149
Podemos expresar de una manera ligeramente
diferente la serie de Fourier. Cada par de
trminos:
a
n
cos(ne
0
t) + b
n
sen(ne
0
t)

se pueden expresar como:




Donde lo nico que hemos hecho es multiplicar
y dividir por:
|
|
.
|

\
|
+
+
+
+ ) ( ) cos(
0
2 2
0
2 2
2 2
t n sen
b a
b
t n
b a
a
b a
n n
n
n n
n
n n
e e
2 2
n n
b a +
150
Y la suma puede expresarse, por ejemplo, solo en
funcin del coseno:

=
+
=
+
n
n n
n
n
n n
n
sen
b a
b
b a
a
u
u
2 2
2 2
cos
a
n
b
n
2 2
n n n
b a C + =
u
n
| | ) ( ) cos( cos
0 0
t n sen sen t n C
n n n
e u e u +
) cos(
0 n n
t n C u e =
|
|
.
|

\
|
+
+
+
+ ) ( ) cos(
0
2 2
0
2 2
2 2
t n sen
b a
b
t n
b a
a
b a
n n
n
n n
n
n n
e e
|
|
.
|

\
|
=
n
n
n
a
b
arctan u
151
Si adems definimos C
0
= a
0
/2, la serie de Fourier
se puede escribir como:




Con:

=
+ =
1
0 0
) cos( ) (
n
n n
t n C C t f u e
2 2
n n n
b a C + =
|
|
.
|

\
|
=
n
n
n
a
b
arctan u
Ejercicio: Definir adecuadamente los coeficientes
C
0
, C
n
y u
n
, de manera que la serie de Fourier
pueda escribirse como:

=
+ + =
1
0 0
) ( ) (
n
n n
t n sen C C t f u e
152
Componentes y armnicos
Hemos visto que, bajo ciertas condiciones, una
funcin f(t) puede escribirse como la suma de
componentes sinusoidales de diferentes
frecuencias: e
n
= ne
0
.

A la componente sinusoidal de frecuencia ne
0
:
c
n
cos(ne
0
t + u
n
) se le llama el ensimo armnico
de f(t).

Al primer armnico (n = 1) se le llama la
componente fundamental y su periodo es el
mismo que el de f(t).

A la frecuencia e
0
= 2t f
0
= 2t / T se le llama
frecuencia angular fundamental.
153
Ejemplo: La funcin
Como vimos, tiene un periodo T = 24t, por lo tanto su
frecuencia fundamental es e
0
= 2t/T = 1/12 rad/s.
O como e
0
= 2tf
0,
f
0
= 1/T = 1/ 24t Hz.
Su componente fundamental (n = 1) ser:
c
0
cos(e
0
t + u
0
) = 0 cos(t/12).

Tercer armnico:
cos(3t/12) = cos(t/4)
Cuarto armnico:
cos(4t/12) = cos(t/3)

0 50 100 150 200
-3
-2
-1
0
1
2
3
f(t)=cos(t/3)+cos(t/4)
t
f
(
t
)

24t
) ( ) ( f(t)
t t
4 3
cos cos + =
154
). ( de serie en desarrollo del funcin es que Fourier de serie una por
da representa est y peridica es tambin ) ( ' ia, consecuenc en
por dados vienen es coeficient los donde
) ( '
) ( ) ( '
: a respecto ) ( Derivando
) (
: siguiente Fourier de compleja serie la de
s en trmino expresada T periodo con peridica seal una ) ( Sea
0
0
0
0
0
t f
t f
c in d
d
e d t f
e c in t f
dt
d
t f
t t f
e c t f
t f
n n
n
n
t in
n
n
t in
n
n
t in
n
e
e
e
e
e
=
=
= =
=

=
155
5 10
-5 -10
20
T
0
= 10
f(t)
t
5 10
-5 -10
4
T
0
= 10 f '(t)
t
-4
5
10
-5
-10
8
T
0
= 10 f ''(t)
t
-8
Ejercicio:
156
Potencia y Teorema de Parseval
El promedio o valor medio de una seal
cualquiera f(t) en un periodo dado T se
puede calcular como la altura de un
rectngulo que tenga la misma rea que el
rea bajo la curva de f(t)
1
f(t)
t
h = Altura
promedio
}
=
T
0
dt ) t ( f Area
T
Area = T h
157
De acuerdo a lo anterior, si la funcin
peridica f(t) representa una seal de voltaje
o corriente, la potencia promedio
entregada a una carga resistiva de 1 ohm
en un periodo est dada por:




Si f(t) es peridica, tambin lo ser [f(t)]
2
y el
promedio en un periodo ser el promedio en
cualquier otro periodo.
}

2 /
2 /
2
1
)] ( [
T
T
T
dt t f
158
El teorema de Parseval nos permite calcular
la integral de [f(t)]
2
mediante los coeficientes
complejos c
n
de Fourier de la funcin
peridica f(t):




O bien, en trminos de los coeficientes a
n
,
b
n
:

}

=

=
n
n
T
T
T
c dt t f
2
2 /
2 /
2
1
)] ( [

}

=

+ + =
1
2 2
2
1
2
0
4
1
2 /
2 /
2
1
) ( )] ( [
n
n n
T
T
T
b a a dt t f
159
Teorema o identidad de Parseval

}

=

+ + =
1
2 2 2
0
2 /
2 /
2
) (
2
1
4
1
)] ( [
1
n
n n
T
T
b a a dt t f
T
( )

} }

}

}

+ +
= + +
=
)
`

+ + =
1
2 2
2
0
2 /
2 /
0
2 /
2 /
1
0
2 /
2 /
1
0
2 /
2 /
1
0 0 0 2
1 1
2 /
2 /
1
2
1
4
) ( ) ( ) cos( ) ( ) (
] ) ( ) cos( [ ) ( ) ( ) (
n
n n
T
T
T
T
n
n
T
T
n
n
T
T
n
n n T
T
T
T
b a
a
dt t n sen t f
T
b
dt t n t f
T
a
dt t f
T
a
dt t n sen b t n a a t f dt t f t f
e e
e e
] ) ( ) cos( [ ) (
1
0 0 0 2
1

=
+ + =
n
n n
t n sen b t n a a t f e e
160
Ejemplo. Calcular el valor cuadrtico medio
de la funcin f(t):










Solucin.
Del teorema de Parseval


y del ejemplo anterior



sustituyendo
1
f(t)
t
. . . -T
/
2
0

T
/
2
T . . .
-1

}

=

=
n
n
T
T
T
C dt t f
2
2 /
2 /
2
1
)] ( [
] ) 1 ( 1 [
1
n
n
n
c =
t
(

+ + + + =

=
...
49
1
25
1
9
1
1
8
2
2
t
n
n
c
161
La serie numrica obtenida converge a



Por lo tanto,




Como era de esperar.
2337 . 1 ...
49
1
25
1
9
1
1 = + + + +
1 ) 2337 . 1 (
8
)] ( [
2
2
2 /
2 /
2
1
= = =

}

=

t
n
n
T
T
T
c dt t f
162
a) Sean , con y la funcin:

1. Calclese la serie de Fourier de f.
2. Obtngase la identidad de Parseval en este caso y a partir de
ella calcule el valor de la serie:

3. Converge la serie de Fourier de f puntualmente a f(0) en
x=0?

9 e
2 1
, c c
2 1
c c =
| )
| |

e
e
=
t
t
, 0 ,
0 , ,
) (
2
1
x c
x c
x f
( )

=

1
2
1 2
1
n
n
-
c
1

c
2

163
( )
( )
( ) ( ) ( )
( )
( )
( )
( )
( )

} } }
} } }
} }

+
+
=

= =
= =

=
=

=
|
.
|

\
|
+
|
.
|

\
|
=
=
+
=
=
+
=
|
.
|

\
|
+
|
.
|

\
|
=
+ =
+
=
|
.
|

\
|
+ =
1
1 2 2 1
1 2
1 2
2
2 1 2 1
0
2 1
0
2
0
1
2 1
0
2 1
0
2
0
1
2 1
2 1
0
2
0
1 0
1 2
1 2
2
2
) (
1 2
2
1 2
0 2
1 1 0 cos cos
) ( ) ( ) (
0 0
cos cos cos
1
k
k
k
n
n
n
x k sen
k
c c c c
x f
k
c c
b k n
b k n
n
c c
n
n
c c
dx nx sen
c c
dx nx sen
c
dx nx sen
c
b
sen n sen
n
c c
nxdx
c c
nxdx
c
nxdx
c
a
c c
c c
dx c dx c a
t t
t
t
t
t
t t t
t
t
t t t
t
t
t
t t
t
t t
t
t
t
1.
164
2.
( )
( )
( )
| |
( ) ( )
( )
( )
( )
( )
( ) ( )
8
1 2
1
1 2
1 4
2
1 2
1 4
2
2
, en ortonormal es
) (
,
cos
,
2
1
Como
1 2
1 2
1 2
2
1
2
2
) (
2
1
2
1
2
2
2 1
2
2
2 1
1
2
2
2 1
2
1 2
2 2
1
2
2
1
1 2 2 1
t
t
t
t t
t t
t t t
t
t
t t
t
t
t
=

+
|
.
|

\
|
+
= = +

)
`

+ |
.
|

\
| +
=

=
k k
k
k
k k
c c
c c
k
c c c c
dx x f c c
nx sen nx
x k sen
k
c c c c
x f
3.
( )
( )
( )
2
general en y
2
0 1 2
1 2
2
2
y ) 0 ( que Puesto No.
2 1
2
2 1
1
1 2 2 1
2
c c
c
c c
k sen
k
c c c c
c f
k
+
=
+
=

+
+
=

=
t t
f es continua a trozos
y tiene derivadas laterales
165
a) A partir de la serie de Fourier de la funcin
definida en el intervalo :
determinar los valores de las series:

1. 2.
x x f = ) (
( )
( ) ( )

+ =
1
2
1 2 cos
1 2
4
2
) (
n
x n
n
x f
t
t
| | t t,
( ) ( )


=

=

1
4
1
2
1 2
1

1 2
1
n n
n n
1.
( )
( ) ( )
( )
( )
8
4
2
1 2
1
1 2
1 4
2
0
0 1 2 cos
1 2
4
2
0
: 0 f(0) 0, x para izando Particular
2
1
2
1
2
1
2
t
t
t
t
t
t
t
=

+ =
= =

=
n
n
n
n
n
n
n
166
2.
( )
( )
( )
( )
( )
96
1 2
1
1 2
1 16
2 3
2 1
1 2
16
2
1
: 0 ,
1 2
4
, , ) ( do Sustituyen
2
) (
1
: Parseval de identidad la Aplicando
4
1
4
1
4 2
2 3
1
4
2
2
2
2
0
1
2 2
2
0
2
t
t
t t
t
t
t
t
t
t
t
t
t
t
t
=

+ =

+ =
=

= = =
+ + =

n
n
n
n n
n
n n
n
n
n
dx x
b
n
a a x x f
b a
a
dx x f