Está en la página 1de 166

Series de Fourier

"Series de Fourier, Transformadas de Fourier y Aplicaciones", 1


Genaro Gonzlez
La primera serie de Fourier de la historia
Euler 1744 escribe en una carta a un amigo:

t
sen(nt )
f (t )
2 n 1 n
sen(2t ) sen(3t )
sen(t ) ...
2 3
Es cierto?

Observemos que en t = 0
hay problemas /2 = 0

La clave est en el concepto de funcin peridica. 2


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

3
Cuestin: Es f(t) = cte. una funcin peridica?
Ejemplo: Cul es el periodo de la funcin
f(t) cos ( 3t ) cos ( t
4 )?
Si f(t) es peridica se debe cumplir:
f(t T) cos ( t T
3 ) cos ( t T
4 ) f(t) cos ( 3t ) cos ( t
4 )

Como cos(t + 2k) = cos(t) para cualquier entero k,


entonces, para que se cumpla la igualdad, se requiere
que:
T/3 = 2k1 y T/4 = 2k2.
Es decir:
T = 6k1 = 8k2
con k1 y k2 enteros.
El valor mnimo de T se obtiene con k1= 4, k2= 3, es
decir, T = 24. 4
Grfica de la funcin f(t) cos ( 3t ) cos ( t
4 )
3
T f(t)=cos(t/3)+cos(t/4)
2

1
f(t)

-1

-2
24
-3
0 50 100 150 200
t

5
Es la suma de dos funciones
peridicas una funcin peridica?
Depende. Consideremos la funcin:

f(t) = cos(w1t) + cos(w2t).

Para que sea peridica se requiere encontrar dos


enteros m, n tales que:
w1T = 2 m y w2T = 2 n.
Es decir, que cumplan:
w1 m
T = m/ (2 w1) = n/ (2 w2)
w2 n 6
Ejemplo: para la funcin cos(3t) + cos((+3)t)
tenemos que w 3 1

w2 3
Es peridica?
f(t)=cos(3t)+cos((3+)t)
2

1
f(t)

-1

-2
0 5 10 15 20 25 30
t 7
Para que exista periodicidad w1/ w2 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) = sen2(2t)
3) f(t) = sen(t) + sen(t + /2)
4) f(t) = sen(w1t) + cos(w2t)
5) f(t) = sen(2 t) 8
Si f1(t) tiene periodo T1 y f2(t) tiene periodo T2,
es posible que f1(t) + f2(t) tenga periodo
T < min(T1,T2)?

T1 = 5

T2 = 5

T = 2,5

9
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:
1 1
0t
sen(2 Nt ), 0 t N 0, N
f1 (t ) f 2 (t )
1 1
0, t 1 sen(2 Nt ), t 1
N N
extendida peridicamente con T = 1: extendida peridicamente con T = 1:
f1 (t ) f1 (t 1), t f 2 (t ) f 2 (t 1), t

sen(2 Nt ) , 0 t 1
f1 (t ) f 2 (t )
f1 (t 1) f 2 (t 1), t
2
2 1
T
w 2 N N 10
Puede una funcin f(t) cumplir la condicin
f(t) = f(t + T) para todo t y no tener un periodo
fundamental?

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

1 si t es racional
f1 (t ) f 2 (t )
0 si t es irracional

T=? 12
Volvamos al resultado t sen(2t ) sen(3t )
sen t ...
de Euler: 2 2 3
S (t ) e it e i 2t e i 3t ...
Cmo lo alcanz? it
e S (t ) e i 2t ei 3t ...
Utilizando la frmula de eit 1 1 sen t
Euler para cada trmino: S (t ) i
1 e it
2 2 1 cos t
S (t ) e e e ...
it i 2t i 3t

cos t cos( 2t ) cos(3t ) ... i sen t sen(2t ) sen(3t ) ...

1

Integrando 2 sen(2t ) sen(3t ) 1
trmino a trmino: sen t ... t C
2 3 2
Particularizamos t 1 1 1
para encontrar C: t 1 ... C; C
2 3 5 7 4 2
13
4
t sen(2t ) sen(3t )
sen t ...
2 2 3
t sen (2t ) sen (3t )
sen ( t ) ...
2 2 3
t sen (2t ) sen (3t )
sen (t ) ...
2 2 2 3

Fourier series java applet


(http://www.falstad.com/fourier/) 14
(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... 15
Leonhard Euler
Jean 1707-1783
d'Alembert
1717-1783

Daniel
Lagrange
Bernouilli
1700-1782

16
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 17 funcin
Para D'Alambert necesariamente: expresin analtica compacta.
18
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:

un(x,t) = sin(nx) cos(nt)

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


o nodos.


u( x ,t ) an sen( nx ) cos( nt )
n 1

Pero recordemos que u(x,0) = f(x)...


19
Resolvamos por variables separadas: u(x,t) = X(x) T(t)

u( x ,t ) u( x ,t )
2 2
; c.i . y c.c.
t 2
x 2

X ' ' ( x ) X ( x ) 0, x ( 0,1 ), X ( 0 ) X ( 1 ) 0


T ' ' ( t ) T ( t ) 0, t 0.

Por eso Bernouilli opt por tomar f(x) como:


f ( x ) u( x ,0 ) an sen( nx )
n 1

con una adecuada eleccin de los coeficientes an...


20
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. Jean Baptiste Joseph Fourier
1768-1830

Polmica: Joseph-Louis Lagrange (1736-1813)


era uno de los muchos que opinaba que algo as
21
era simplemente imposible...
Fourier fue nombrado por Napolen secretario permanente del Instituto Egipcio.
Contrajo una enfermedad de Tiroides (mixedema).

22
Fourier bas su trabajo en el estudio fsico de la
ecuacin del calor o de difusin:

u 1 u
2

x 2
k t

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,...
23
2u( x ,t ) 1 u( x ,t ) u( x ,t ) X ( x )T ( t )

x 2
k t X ( x )T ' ( t ) X ' ' ( x )T ( t )
u( 0,t ) u( ,t ) 0; t 0
con X ( 0 ) X ( ) 0
u( x ,0 ) f ( x ); 0 x

Dividiendo entre X(x)T(t):


T' ( t ) X ' ' ( x )
A , A cte.
T( t ) X( x )
T' ( t ) AT ( t ); T ( t ) C0e At

X ' ' ( x ) AX ( x ); X ( x ) C1 cos( A x ) C2 sen( A x )

C1=0, C0=C2=1, A=-n2 con n = 1, 2, 3, ...


n 2t
u n ( x ,t ) e sen( nx ) 24
n 2t
La combinacin lineal de soluciones u n ( x ,t ) e sen( nx )
ser tambin solucin:


u( x ,t ) anun ( x ,t )
n 1

Llegando al mismo resultado que Bernoulli, pero pudiendo calcular los


coeficientes an.

25
Serie trigonomtrica de Fourier
Algunas funciones peridicas f(t) de periodo
T pueden expresarse por la siguiente serie,
llamada serie trigonomtrica de Fourier

f (t ) 12 a0 a1 cos(w0t ) a2 cos( 2w0t ) a3 cos(3w0t ) ...


... b1sen(w0t ) b2 sen(2w0t ) b3 sen(3w0t ) ...

Donde w0 = 2/T se denomina frecuencia


fundamental.

f (t ) 12 a0 [an cos( nw0t ) bn sen (nw0t )]
n 1 26
t sen(2t ) sen(3t )
sen t ...
2 2 3

f (t ) 12 a0 [an cos( nw0t ) bn sen (nw0t )]
n 1

a0 = 0, a1 = 0, a2 = 0 ...

b1 = 1, b2 = 1/2, b3 = 1/3,...
27
Cmo calcular los coeficientes de la serie?
Dada una funcin peridica f(t), cmo se
obtiene su serie de Fourier?

f(t) 12 a0 [an cos (n0t) bn sen(n0t)]
n 1

Necesitamos calcular los coeficientes


a0,a1,a2,...,b1,b2,...

Lo haremos gracias a la ortogonalidad de


las funciones seno y coseno.
28
Ortogonalidad

Se dice que las funciones del conjunto {fk(t)}


son ortogonales en el intervalo a < t < b si
dos funciones cualesquiera fm(t), fn(t) de
dicho conjunto cumplen:

b
0 para m n

a
f m(t)f n(t)dt
rn para m n

29
Ejemplo: las funciones t y t2 son ortogonales en el
intervalo 1 < t < 1, ya que:
1 1 4 1
t
1t t dt 1t dt 4 0
2 3

Ejemplo: Las funciones sen t y cos t son


ortogonales en el intervalo < t <, ya que
2
sen t
sent cos tdt 2
0

Falta algo para demostrar en ambos casos la ortogonalidad?


30
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(w0t), cos(2w0t), cos(3w0t),...,


sen(w0t), sen2w0t, sen3w0t,...}

con w0= 2/T.

31
Vamos a verificarlo probndolo a pares:

1.- f(t) = 1 vs. cos(mw0t): w0= 2/T

T/ 2 T/ 2
sen(m0t)
1cos (m0t)dt
T/ 2
m0 T/ 2

2sen(m0T/ 2 ) 2sen(m )
0
m0 m0

Ya que m es un entero.

32
2.- f(t) = 1 vs. sen(mw0t): w0= 2/T

cos (m0t)
T/ 2 T/ 2

1 sen(m0t)dt
T/ 2
m0 T/ 2

1
[ cos (m0T/ 2 )- cos (m0T/ 2 )] 0
m0

3.- cos(mw0t) vs. cos(nw0t): cos A cos B = [cos(A+B)+cos(A-B)]


cos2q = (1+cos2q)

T /2
0 para m n
cos(mw0 t)cos(n w0 t)dt
T / 2 T / 2 para m n 0
33
sen A sen B = [-cos(A+B)+cos(A-B)]
sen2 A = (1-cos2q)
4.- sen(mw0t) vs. sen(nw0t):

T/ 2
0 para m n
sen(m0t)sen(n0t)dt
T/ 2 T/ 2 para m n 0

5.- sen(mw0t) vs. cos(nw0t):


sen A cos B = [sen(A+B)+sen(A-B)]
T/ 2

sen(m t)cos (n t)dt 0


T/ 2
0 0 para cualquier m,n

34
Cmo calcular los coeficientes de la serie?

Vamos a aprovechar la ortoganilidad que


acabamos de demostrar del conjunto de
funciones: {1, cos(w0t), cos(2w0t), cos(3w0t),...,
sen(w0t), sen2w0t, sen3w0t,...}
con w0= 2/T, en el intervalo -T/2< t < T/2 ,
para calcular los coeficientes a0,a1,a2,... ,
b1,b2,... de la serie de Fourier:

f(t) 12 a0 [an cos (n0t) bn sen(n0t)]
n 1
35
Multiplicando ambos miembros de la igualdad por
cos(mw0t) e integrando de T/2 a T/2, obtenemos:
T /2 T /2 0, si m 0

T / 2
f (t ) cos( mw0t )dt 12 a0 cos (m t)dt
T / 2
0

T /2 0, si m 0
a cos (n t)cos (m t)dt
n 1
n 0 0 T/2, si m = n
T / 2
T /2 0

b sen(n t)cos (m t)dt


n 1
n 0 0
T / 2

T /2
am T2
T / 2
f (t ) cos(mw0t )dt m 1, 2, 3,...
36
Observa que el caso anterior no incluye a a0, m = 0
que debemos tratar a parte:
T /2 T /2 T, si m = 0


T / 2
f (t ) cos( mw0t )dt 12 a0 cos (m t)dt
T / 2
0

T /2 0, si m 0
a cos (n t)cos (m t)dt
n 1
n 0 0
T/2, si m = n
T / 2
0
T /2

b sen(n t)cos (m t)dt


n 1
n 0 0
T / 2

1 T /2
2

a0T
2 a0 f (t ) dt
T T / 2 37
Similarmente, multiplicando por sen(mw0t) e
integrando de T/2 a T/2, obtenemos:
T /2 T /2 0


T / 2
f (t ) sen(m0t) dt 12 a0 sen(m t)dt
T / 2
0

0
T /2

a cos (n t)sen(m t)dt


n 1
n 0 0
T / 2
T /2 0, si m 0
b sen(n t)sen(m t)dt
n 1
n 0 0
T/2, si m = n
T / 2

T /2
bm T2 f (t )sen(mw t )dt
T / 2
0 m 1, 2, 3,...
38
Un ejemplo histricamente importante:
Encontrar la serie de Fourier para la funcin
de onda cuadrada de periodo T:
f(t)
1

t
... -T/ 0 T/ T ...
2 2

-1

La expresin para f(t) en T/2< t < T/2 es:

1 para T2 t 0
f (t ) w0= 2/T
1 para 0 t T
2
39
Coeficiente a0:
T /2

1 para T2 t 0
f (t )
a0 T1 f (t )dt
T / 2
1 para 0 t T
2

0 T /2
0 T /2

a0 T dt dt T t
2 2
t 0
T / 2 0 T / 2 0

40
Coeficientes an:

1 para T2 t 0
T /2

f (t )
T
an T2 f (t ) cos(nw t )dt
0
1 para 0 t 2 T / 2

0 T /2

an T 1 cos( nw0t )dt 1 cos( nw0t )dt
2

T / 2 0
1
0
1
T /2

T
2
sen(nw0t ) sen(nw0t ) 0
nw0 T / 2 nw0 0
para n 0

41
Coeficientes bn:
T /2
1 para T2 t 0
f (t )
bn T2 f (t )sen(nw t )dt
0

1 para 0 t T
2
T / 2

0 T /2

bn T sen (nw0t )dt sen (nw0t )dt
2

T / 2 0
1
0
1
T /2

T2 cos( nw0t ) cos( nw0t )
nw0 T / 2 nw0 0


1
(1 cos(n )) (cos( n ) 1)
n

2
n

1 (1) n ) para n 0
42
Finalmente, la serie de Fourier queda como

f (t )
4
sen(w0t ) 13 sen(3w0t ) 15 sen(5w0t ) ...


sen((2n 1)w0t ) )
4 1
f (t )
n 1 2n 1
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
w0 = (w0= 2/T), es decir, T = 2:
43
f (t )
4
sen(w0t ) 13 sen(3w0t ) 15 sen(5w0t ) ...

Componentes de la Serie de Fourier
1.5

1
Componentes

0.5

-0.5
Suma
fundamental
-1 tercer armnico
quinto armnico
sptimo armnico
-1.5
-1 -0.5 0 t 0.5 1
44
Fourier series java applet (http://www.falstad.com/fourier/)
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 t0 a t0 + T, con t0 arbitrario,
con el mismo resultado. 45
Habamos calculado f(t)
1
los coeficientes para:
t
... -T/ 0 T/ T ...
1 para T / 2 t 0 2 2
f (t )
1 para 0 t T / 2 -1

Si los calculamos para la misma funcin desplazada


tienen que ser los mismos: f(t)
1
1 para 0 t T / 2
f (t ) t
1 para T / 2 t T
... -T/ 0 T/ T ...
2 2

-1
Repite los clculos y comprubalo. 46
f(t)
De hecho si repetimos 1
para cualquier intervalo
t
de longitud el periodo
T de la funcin, ser lo
... -1 ...
mismo: t0 t0 +T

T /2 T t 0 T

a0 T1
T / 2
f (t )dt T2 f (t )dt T2
0

t0
f (t )dt T2 f (t )dt
T

T /2
an T2
T / 2
f (t ) cos( nw0t )dt ... T2 f (t ) cos( nw0t )dt
T
T /2
bn T2
T / 2
f (t ) sen(nw0t )dt ... T2 f (t ) sen(nw0t )dt
T 47
Ejercicio: encontrar la serie de Fourier para

t
f (t )
2
la funcin con la que empezamos el tema.
O sea, demostrar que Euler tena razn.

48
Calcula la serie de Fourier de la funcin peridica:
2
f (t ) 1 cos(3t ) de periodo T
3
2
3
2 3
a0 f (t )dt (1 cos(3t ))dt 2
T T 0
2

2 3 3
1, si n 1
an f (t ) cos( nw0t )dt 0 (1 cos(3t )) cos(nw0t )dt 0, si n 1
T T
2
3
2 3
bn f (t ) sen (nw0t )dt (1 cos(3t )) sen(nw t )dt 0 para todo n

0
T T 0
La serie
en definitiva es la
propia
f (t ) 1 an cos( nw0t ) bn sen (nw0t ) 1 cos(3t ) funcin...
n 1 n 1 49
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
Extensin par

t
Extensin impar 50
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)
f(t)

t
2 2

51
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)

f(t)

t
2 2

52
Ejemplo: Las siguientes funciones son
pares o impares?
f(t) = t + 1/t ,
g(t) = 1/(t2+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/(t2+1) = g(t), por
lo tanto g(t) es funcin par.

53
Ejemplo: La funcin h(t) = f(1+t2) es par o
impar? (f es una funcin arbitraria).

Solucin:
Sea g(t) = 1 + t2. Entonces h(t) = f(g(t)).
Por lo tanto h(-t) = f(g(-t)).
Pero g(-t) = 1+(-t)2 = 1 + t2 = g(t),
finalmente h(-t) = f(g(t)) = h(t), de modo que
h(t) es funcin par, sin importar como sea
f(t).

54
Ejemplo: De acuerdo al ejemplo anterior,
todas las funciones siguientes son pares:

h(t) = sen (1+t2)


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

f ( x)dx
a
2 f ( x)dx
0

a a

f ( x)dx f ( x)dx
0
a

-a a

56
Si f (x) es impar:
a

f ( x)dx 0
a

f ( x)dx
a

-a a

57
Como la funcin sen(nw0t) es una funcin
impar para todo n y la funcin cos(nw0t) 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
bn= 0 para todo n.

Si f(t) es impar, su serie de Fourier no


contendr trminos coseno, por lo tanto
an= 0 para todo n.
58
Por ejemplo, la seal cuadrada, que hemos
analizado:
f(t)
1

t
... -T/ 0 T/ T ...
2 2

-1

Es una funcin impar, por ello su serie de


Fourier no contiene trminos coseno:
f (t ) sen(w0t ) 13 sen(3w0t ) 15 sen(5w0t ) ...
4

59
P2. Septiembre 2005

a) Obtener el desarrollo en serie de Fourier de las funciones

f ( x) sin x y g ( x) cos x en x

Respuesta.

a0
f ( x) an cos( nx) bn sin( nx)
2 n 1

f(x) = |sen(x)|, x [-,], 2 peridica

Funcin par desarrollo en cosenos, bn = 0


60
1 2
an

f ( x) cos( nx)dx
0
sin x cos( nx)dx

sin( 1 n) x sin( 1 n) xdx


1

1 2
cos(n 1) 1
n 1
2

4 4
a0 ; an , n par; an 0, n impar
(n 1)
2

61

2 4 cos( 2nx)
sin x
n 1 4n 1
2

f(x) = |cos(x)|, x [-,], 2 peridica

Funcin par desarrollo en cosenos, bn = 0

1 4 /2
an

g ( x) cos( nx)dx
0
cos x cos( nx)dx

cos(n 1) x cos(n 1) xdx


2 /2

0
62
4 4
a0 ; an , n par; an 0, n impar
(n 1)
2

2 4 (1) cos( 2nx)


n
cos x
n1 4n 1
2

63
Onda triangular
(Triangle Wave)

4 cos x cos 3x cos 5 x


2
2 1 3 2
5 2

64
Right Triangular Wave

sin x sin 2 x sin 3x


2
1 2 3
65
Saw Tooth Wave

sin x sin 2 x sin 3x


2
1 2 3
66
Ejercicio: demostrar que la serie de Fourier para

f (t ) cos(t ), t
con periodo T = 2 (frecuencia fundamental
w0 = 1) y un nmero real no entero, es:

sen( ) 1

(1) n

cos( t ) 2 2 cos(n t )
n 1 n
2

67
sen( ) 1

(1) n

cos( t ) 2 2 cos(n t )
n 1 n
2

t

Observa que si tomamos t = 0 entonces:

1 (1)
n
2 2
sen( ) n 1 n
2

y con = 1/2.

(1) n
(1) n
2 2 4
n 1 (1 / 2) n n 1 1 4n
2 2 2
68
sen( ) 1

(1) n

cos( t ) 2 2 cos(n t )
n 1 n
2

t

O que si tomamos t = entonces: cos( t ) (1) n

sen( ) 1

1
cos( ) 2 2 2
n 1 n

1
1
2 2
tan( ) n 1 n
2

Es correcto el resultado? 69
Convergencia uniforme
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: S ( x) un ( x)
n 1

y definamos sus sumas parciales como:


k
S k ( x) un ( x)
n 1 70
Diremos que S converge a f(x) en un intervalo si
> 0 existe para todo x del intervalo un N > 0 tq.:

Sk ( x) f ( x) siempre que k N
Observemos que en general N depender de y
del punto x (convergencia puntual).
Si N solo depende de , pero no de x, decimos que
la convergencia es uniforme.

Que la serie sea uniformemente convergente es


"bueno" porque:

71
(1) Si cada trmino un(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

u ( x)dx u ( x)dx
b
(b)
n n
a a
n 1 n 1

(2) Si cada trmino un(x) de una serie posee


derivada en (a, b) y la serie derivada es
uniformemente convergente, entonces:

d d

dx n 1
un ( x) un ( x)
n 1 dx
72
Cmo probar la convergencia uniforme de una serie?

(1) Encontrar una expresin "cerrada" para Sk(x) y


aplicar la definicin o

(2) utilizar la prueba M de Weierstrass:

Si existe {Mn}n = 1, 2,... tq. |un(x)| Mn y adems


M
n 1
n converge u ( x) converge
n 1
n uniformeme nte

73
Ejemplo:

sen(nx)
S ( x) 2
en ( , )
n 1 n
1 sen(nx) 1
Mn 2 2
2
n n n

1 2

n 1 n
2

6
S converge uniformeme nte

74
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
f ( x) dx
75
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:
1
2
(
f (x ) f (x ) )
si x es un punto de discontinuidad.

76
Desarrolla 0, x 0
en serie de Fourier: f ( x)
x, 0 x

T 2
2
a0
2
f ( x) dx

1 0




0 dx 0
( x ) dx


1 x 2
x
2 0 2

77
1 0
1
an


f ( x) cos nx dx

0 dx 0 ( x ) cos nx dx


1 sin nx 1 1 cos nx
( x) sin nx dx
n 0 n 0 n n 0

cos n 1 1 (1) n

n
2
n 2
1 1
0
bn ( x) sin nxdx
n


1 (1) n
1
f ( x) 2 cos nx sin nx
4 n1 n n
78
La funcin f es continua en (, ) excepto en x = 0. As su
serie de Fourier converge en x = 0 a:
f (0 ) f (0 ) 0

2 2 2

La serie es una extensin peridica de la


funcin f. Las discontinuidades en x = 0,
f (0 ) f (0 )
2, 4, convergen a:
2 2

79
Secuencia de sumas parciales y su representacin grfica

2 2 1
S1 , S2 cos x sin x, S3 cos x sin x sin 2 x
4 4 4 2

80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
Ejercicio de examen: Obtener el desarrollo en serie de Fourier de la
funcin

f (t ) 1 t , t 0,1
2

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
f (t )
~
modo que: 1. f (t ) sea continua en [-L,L].
~
2. f (t ) sea continua a trozos en [-L,L].

101
La continuidad se consigue con la extensin par de f (f = -2t es
continua en [-L,L] ) con L = 1.

Im (z)

-1 1 Re (z)

~ a0 n n
f (t ) an cos t bn sin t
2 n 1 L L
bn 0 por ser funcin par
102
1 1
an (1 t ) cos( nt )dt
2
2 (1 t ) cos( nt )dt 2
1 ~ 0
f par

4(1) n

(n ) 2

1 1 2 4
a0 (1 t )dt 2 (1 t )dt 2
2 2
1 0 3 3

(1)
n
~ 2 4
f (t ) 2 cos(nt )
3 n 1 n
2

~
f (t ) f (t )
t0,1
103
P2. Septiembre 2006

a) (4 puntos)

1. Obtener el desarrollo en serie de Fourier de la funcin

f(x) = x2 - 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



1
serie numrica k
k 1
4

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(x2 2) - x , con g(x) = g(x + 2)

104
Respuesta.

1. f(x) = x2, x [-,], 2 peridica

Funcin par desarrollo en cosenos, bn = 0:

a0
f ( x) an cos( nx)
2 n 1
2 2 2 2
a0 x dx
0 3
1 2 2 2
an x cos( nx)dx x cos( nx)dx
0

105

2 1 2 2 2
x sin( nx) 2 x cos( nx) 3 sin( nx)
n 0 n 0 n 0

2 2 4
( 1) n
an 2 (1) n
n 2
n

2
(1) n
f ( x) 4 2 cos( nx)
3 n 1 n

106
2.
f continua en - ,
hay convergenc ia uniforme
f continua en (- , )

3. Por convergencia uniforme, se aplica la identidad de Parseval:

( )

2
1
f ( x) dx
2a
an bn
2 2 0
2 n 1

1 5 2 5
( x ) dx 5 x
2 2

5
107
2
2 4 2 2 1 1
16 4
5 3 2 n 1 n


1 2


n 1 n
4

90
4. ( 2 2
)
g ( x) x x , x , , 2 peridica

( 1) n
g ( x) 3x 3 f ( x) 12 2 cos( nx)
2 2

n 1 n

(1) n

Por convergenc ia uniforme : g ( x) 12 3 sin( nx)
n 1 n 108
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:

f (t )
4
sen(w0t ) 13 sen(3w0t ) 15 sen(5w0t ) ...
109
f (t )
4
sen(w0t )

1.5 Serie con 1 armnico

0.5

-0.5

-1

-1.5
-1 -0.5 0 0.5 1
110
f (t )
4
sen(w0t ) 13 sen(3w0t ) 15 sen(5w0t )

1.5 Serie con 3 armnicos

0.5

-0.5

-1

-1.5
-1 -0.5 0 0.5 1
111
1.5 Serie con 5 armnicos

0.5

-0.5

-1

-1.5
-1 -0.5 0 0.5 1
112
1.5 Serie con 7 armnicos

0.5

-0.5

-1

-1.5
-1 -0.5 0 0.5 1
113
1.5 Serie con 13 armnicos

0.5

-0.5

-1

-1.5
-1 -0.5 0 0.5 1
114
Fenmeno de Gibbs

1.5 Serie con 50 armnicos

0.5

-0.5

-1

-1.5
-1 -0.5 0 0.5 1
115
Fenmeno de Gibbs

1.5 Serie con 100 armnicos

0.5

-0.5

-1

-1.5
-1 -0.5 0 0.5 1
116
117
Forma compleja de la serie de Fourier

Consideremos la serie de Fourier para una


funcin peridica f(t), con periodo T = 2/w0.

f (t ) 12 a0 [an cos( nw0t ) bn sen (nw0t )]
n 1

Es posible obtener una forma alternativa


usando las frmulas de Euler:

inw0t inw0t
cos( nw0t ) (e1
2 e )
inw0t inw0t
sen(nw0t ) 1
2i (e e )
118
Sustituyendo:

f (t ) 12 a0 [an 12 (einw0t e inw0t ) bn 1
2i (einw0t e inw0t )]
n 1

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



f (t ) 12 a0 [ 12 (an ibn )einw0t 12 (an ibn )e inw0t ]
n 1

Y definiendo: c0 12 a0 , cn 12 (an ibn ), cn 12 (an ibn )


f (t ) c e
n
n
inw0t
w0
2
T
119
A la expresin obtenida
f (t ) c e
n
n
inw0t

se le llama forma compleja de la serie de


Fourier y sus coeficientes cn pueden obtenerse a
partir de los coeficientes an, bn como ya se dijo, o
bien:
T

inw 0 t

f (t )e
inw0t Forma e
cn 1
T dt n

un conjunto
0
ortogonal?
Para n = 0, 1, 2, 3, ...
Demostrarlo.
120
Ejemplo. Encontrar la forma compleja de la
serie de Fourier para la funcin ya tratada:
f(t)
1

t
... -T/ 0 T/ T ...
2 2

-1
Solucin 1. Como ya se calcularon los
coeficientes de la forma trigonomtrica (an y
bn), que eran an= 0 para todo n y
2
bn [1 (1) n ] para todo n
n
121
Podemos calcular los coeficientes cn:

cn [an ibn ] i
1
2
1 2
2 n [1 (1) ] n

cn i 1
n [1 (1) ] n

Entonces la serie compleja de Fourier


queda:
i 5w0t i 3w0t iw 0 t
f (t ) i (... e
2 1
5 e
1
3 e
iw 0 t i 3w0t i 5w0t
e e 1
3 e
1
5 ...)
122
Solucin 2. Tambin podemos calcular los
coeficientes cn mediante la integral:
T
cn T1 f (t )e inw0t dt
0

1 inw0t
T /2 T
e dt e inw0t
dt
T 0 T /2
1 1 inw0t
T /2 T
e 1
e inw0t
T inw o
0
inwo
T /2


1
inwoT
(e
inw0T / 2
1) (e inw0T
e inw0T / 2
)
123
Como w0T = 2 y adems:
iq
e cos q isen q

cn 1
inwoT [( 1) 1) (1 (1) )]
n n

i nwoT [1 (1) ]
2 n

i 1
n [1 (1) ] n

que coincide con el resultado ya obtenido.

124
Calcular la serie de Fourier de la funcin de Heaviside:

0 , 1 x 0
H ( x) H (x ) n
c e inx

1, 0 x 1 n

1
1 1 inx
1 1
1 inx 1 inx
cn e H ( x)dx e dx e
2 1 20 2 in 0

cn e 1 cos(n ) isen (n ) 1
1 i in i
2 n 2n


0 ; si n es par
i
cos(n ) 1 i ; si n es impar n 0
2n n 125

i inx 1
H (x )
1
c n e inx

2 0 n n
i inx
e 2 Re e
n 2 n 0 n
n impar n impar

1
1
-ii0x 1

1 0 ; si n es par
1
al0 e
lx 1
2 1
c0 H(x)dx
; cn dx
2
i
2 n0 ; si n2es impar

1 2 i (cos( nx) isen (nx) )
H ( x) Re
2 n 0 n
n impar

sen(nx)
H (x )
1 2
2 n 0 n 126
n impar
127
128
129
La funcin impulso o (t)
delta de Dirac
if t 0
(t )
0 if t 0 t

Se trata de una "funcin generalizada". Podemos pensar en


la delta de Dirac como el lmite de una serie de funciones:
m (mt ) 2
f m(t) e
(t)
f3(t)
f2(t)
f1(t)

t 130
(t)
Propiedades de la funcin
t

(t ) dt 1

(t a) f (t ) dt (t a) f (a) dt f (a)

exp(iwt ) dt 2 (w )

exp[i(w w ')t ]

dt 2 (w w ')
131
Calcular la serie de Fourier de (x):
1
(x ) c n e
inx 1 inx
cn e ( x)dx
1
n 2 1 2

1 inx 1 1
( )
x e (e e )
inx inx

2 n 2 2 n 0
1
cos( nx)
2 n 0
1
(x ) cos(nx)
2 n 0
132
12

10

-2

-4
-4 -3 -2 -1 0 1 2 3 4
x

133
12

10

-2

-4
-4 -3 -2 -1 0 1 2 3 4
x

134
12

10

-2

-4
-4 -3 -2 -1 0 1 2 3 4
x

135
12

10

-2

-4
-4 -3 -2 -1 0 1 2 3 4
x

136
12

10

-2

-4
-4 -3 -2 -1 0 1 2 3 4
x

137
12

10

-2

-4
-4 -3 -2 -1 0 1 2 3 4
x

138
12

10

-2

-4
-4 -3 -2 -1 0 1 2 3 4
x

139
12

10

-2

-4
-4 -3 -2 -1 0 1 2 3 4
x

140
12

10

-2

-4
-4 -3 -2 -1 0 1 2 3 4
x

141
12

10

-2

-4
-4 -3 -2 -1 0 1 2 3 4
x

142
Los coeficientes cn son nmeros complejos,
y tambin se pueden escribir en forma polar:
in
cn cn e
Observemos que,
in
cn c cn e
*
n

bn
Donde cn a b , n arctan
1 2 2
2 n n
an
para todo n 0.
c 1
Y para n = 0, c0 es un nmero real: 0 2 a0
143
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 cn.

Por ello, los coeficientes cn 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.

144
Espectros de frecuencia discreta

Ejemplo. Para la funcin ya analizada:


f(t)
1

t
... -T/ 0 T/ T ...
2 2

-1

Encontramos que: cn i n1 [1 (1) n ]


1
Por lo tanto: cn [1 (1) ]
n

145
A la grfica de la magnitud de los
coeficientes cn contra la frecuencia angular
w 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 cn contra w, se le llama el
espectro de fase de f(t).

Como n slo toma valores enteros, la


frecuencia angular w = nw0 es una variable
discreta y los espectros mencionados son
grficas discretas.
146
El espectro de amplitud se muestra a continuacin
0.7
Espectro de Amplitud de f(t)
0.6
0.5
Cn

0.4
0.3
0.2
0.1
0
-30 -20 -10 0 n 10 20 30

Frecuencia negativa (?) Frecuencia


Observacin: El eje horizontal es un eje de
frecuencia, (n = nmero de armnico = mltiplo
de w0).
147
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.

148
Podemos expresar de una manera ligeramente
diferente la serie de Fourier. Cada par de
trminos:
ancos(nw0t) + bnsen(nw0t)

se pueden expresar como:


an2 bn2 sen(nw0t )
a b
n
cos(nw0t ) n
a 2 b2 a 2
b 2
n n n n

Donde lo nico que hemos hecho es multiplicar


y dividir por:
an2 bn2 149

an2 bn2 sen(nw0t )
a b
n
cos(nw0t ) n
a 2 b2 a 2
b 2
n n n n
an
2 cos q n
an bn bn
2
Cn an2 bn2
bn q n arctan
qn bn senq n an
a b
2 2
an n n

Y la suma puede expresarse, por ejemplo, solo en


funcin del coseno:
Cn cos q n cos(nw0t ) senq n sen(nw0t )

Cn cos(nw0t q n ) 150
Si adems definimos C0 = a0/2, la serie de Fourier
se puede escribir como:

f (t ) C0 Cn cos( nw0t q n )
n 1

bn
Con: Cn a b
2
n
2
n q n arctan
an
Ejercicio: Definir adecuadamente los coeficientes
C0, Cn y qn, de manera que la serie de Fourier
pueda escribirse como:

f (t ) C0 Cn sen(nw0t 151
qn )
n 1
Componentes y armnicos
Hemos visto que, bajo ciertas condiciones, una
funcin f(t) puede escribirse como la suma de
componentes sinusoidales de diferentes
frecuencias: wn = nw0.
A la componente sinusoidal de frecuencia nw0:
cn cos(nw0t + qn) 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 w0= 2 f0 = 2 / T se le llama
152
frecuencia angular fundamental.
Ejemplo: La funcin f(t) cos ( 3t ) cos ( 4t )
Como vimos, tiene un periodo T = 24, por lo tanto su
frecuencia fundamental es w0 = 2/T 1/12 rad/s.
O como w0= 2f0, f0 = 1/T = 1/ 24 Hz.
Su componente fundamental (n = 1) ser:
c0 cos(w0t + q0) = 0 cos(t/12).
3
f(t)=cos(t/3)+cos(t/4)
2
Tercer armnico:
1
cos(3t/12) = cos(t/4)
f(t)

0
Cuarto armnico:
-1
cos(4t/12) = cos(t/3)
-2
24
-3 153
0 50 100 150 200
t
Sea f (t ) una seal peridica con periodo T expresada en trmino s
de la serie compleja de Fourier siguiente :

f (t ) n
c e inw0t

Derivando f (t ) respecto a t :

d
f ' (t ) f (t ) in w0 cn e inw0t
dt n

f ' (t ) n
d e
n
inw0t

donde los coeficient es d n vienen dados por


d n in w0 cn
en consecuenc ia, f ' (t ) tambin es peridica y est representa da
por una serie de Fourier que es funcin del desarrollo en serie de 154
f (t ).
Ejercicio:
f(t)
20
T0 = 10

-10 -5 5 10 t

f '(t) T0 = 10
4

-10 -5 5 10 t
-4

f ''(t) T0 = 10
8
-10 10
-5 5 t
-8 155
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)
T
Area f ( t )dt
f(t) 0
1
h = Altura
Area = T h promedio

t
T
156
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:
T /2

[ f (t )] dt
1 2
T
T / 2

Si f(t) es peridica, tambin lo ser [f(t)]2 y el


promedio en un periodo ser el promedio en
cualquier otro periodo.
157
El teorema de Parseval nos permite calcular
la integral de [f(t)]2 mediante los coeficientes
complejos cn de Fourier de la funcin
peridica f(t):
T /2

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

O bien, en trminos de los coeficientes an,


bn: T /2
1
T [ f (t )] dt
2 1
4 a
2
0
1
2 (a
n 1
2
n b )
2
n
T / 2
158
Teorema o identidad de Parseval
T /2
1 1 1
[ f (t )] dt a0 (an bn )
2 2 2 2

T T / 2 4 2 n1

f (t ) 12 a0 [an cos( nw0t ) bn sen (nw0t )]
n 1

1

T /2 T /2
1
T f (t ) f (t )dt T1 f (t ) 2 a0 [an cos( nw0t ) bn sen (nw0t )]dt
T / 2 T / 2 n 1
T /2 T /2 T /2
a0 an bn
f (t )dt f (t ) cos( nw0t )dt f (t )sen (nw0t )dt
T T / 2 n 1 T T / 2 n 1 T T / 2

(
a02 1 2
an bn2
4 2 n 1
) 159
Ejemplo. Calcular el valor cuadrtico medio
de la funcin f(t): f(t)
1
t
... -T/ 0 T/ T ...
2 2

Solucin. -1

Del teorema de Parseval T /2

[ f (t )] dt C
1 2 2
T n
T / 2 n
y del ejemplo anterior
cn 1
n
[1 (1) n ]
sustituyendo

8 1 1 1
c 2 1 ...
2

9 25 49
n
n
160
La serie numrica obtenida converge a
1 1 1
1 ... 1.2337
9 25 49
Por lo tanto,
T /2
8
[ f (t )] dt c (1.2337) 1
1 2 2


T n 2
T / 2 n

Como era de esperar.

161
a) Sean c1 , c2 , con c1 c2 y la funcin:
c1 , x ,0)
f ( x)
1. Calclese la serie de Fourier de f. c2 , x 0,
2. Obtngase la identidad de Parseval en este caso y a partir de

1
ella calcule el valor de la serie:
(2n 1)
n 1
2

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


x=0?

c2

c1

-
162
(c1 c2 )
1.
1 0
a0 c1dx c2 dx c1 c2
0
c1 0 c2 c1 c2
an cos nxdx cos nxdx cos nxdx
0 0

c1 c2
(senn sen0) 0
n
c1 0 c2 c1 c2
bn sen(nx)dx sen(nx)dx sen(nx)dx
0 0

c1 c2
n
(cos n cos 0) c1 c2
n
( )
( 1)n 1
n 2k b2 k 0

2(c2 c1 )
n 2k 1 b2 k 1 (2k 1)

c1 c2 2 (c2 c1 )
f ( x) sen(2k 1)x
2 k 1 (2k 1) 163
2.
c1 c2 1 2(c2 c1 ) 1 sen(2k 1)x
f ( x)
2
2
2


k 1 (2k 1)
1 cos nx sen (nx)
Como , , es ortonormal en ,
2
4(c1 c2 )
(c ) c2 c1
2 2

2
c1
2
( )
f x dx
2
2
1

k 1 (2k 1)
2
2
2


(c1 c2 )
2
2 (c1 c2 )
4 2

1


1

2

k 1 (2k 1) k 1 (2k 1)
2 2
2 8

c1 c2 2 (c2 c1 )
3.
c1 c2
No. Puesto que f (0) c2 y sen(2k 1)0
2 k 1 (2k 1) 2
c1 c2
y en general c2 f es continua a trozos
2 y tiene derivadas laterales
164
a) A partir de la serie de Fourier de la funcin f ( x) x

definida en el intervalo , : f ( x) 4 2 cos((2n 1)x )

determinar los valores de las series: 2 n1 (2n 1)



1 1
1. (2n 1)2 2. (2n 1)4
n 1 n 1

1.
Particular izando para x 0, f(0) 0 :

4
0 cos((2n 1)0)
n 1 (2n 1)
2
2
1 4
0
2 n 1 (2n 1)2


1 2
2
n 1 (2 n 1)2
4 8

165
2.
Aplicando la identidad de Parseval :

( )
2
1 a0
an bn

f ( x) dx
2 2 2
2 n 1
4
Sustituyen do f ( x) x , a0 , an , bn 0 :
(2n 1)2

1 2
16
x 2 dx
n 1 (2n 1)
2 4
2
1 2 3 2 16 1
2
3 2 n 1 (2n 1)4


1 4

n 1 (2n 1)
4
96

166