Series de Fourier

"Series de Fourier, Transformadas de Fourier y Aplicaciones", Genaro Gonzlez

La primera serie de Fourier de la historia

Euler 1744 escribe en una carta a un amigo:

sen(nt ) = = f (t ) = 2 n n =1 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,...
Cuestin: Es f(t) = cte. una funcin peridica?
3

Ejemplo: Cul es el periodo de la funcin

t f(t) = cos ( 3 ) + cos ( t 4

)?
t 4

Si f(t) es peridica se debe cumplir:

f(t + T) = cos (
t +T 3

) + cos (

t +T 4

t ) = f(t) = cos ( 3 ) + cos (

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.

Grfica de la funcin
3 2 1

t f(t) = cos ( 3 ) + cos (

t 4

f(t)=cos(t/3)+cos(t/4)

f(t)

0 -1 -2 -3 0

24
50 100

150

200

Es la suma de dos funciones peridicas una funcin peridica?

Depende. Consideremos la funcin:

f(t) = cos(1t) + cos(2t).

Para que sea peridica se requiere encontrar dos enteros m, n tales que: 1T = 2 m y 2T = 2 n. Es decir, que cumplan: T = m/ (2 1) = n/ (2 2)

1 m = 2 n

Ejemplo: para la funcin cos(3t) + cos((+3)t) tenemos que 3 Es peridica?

2

3+

f(t)=cos(3t)+cos((3+)t)

f(t)
0 -1 -2 0

10

15

20

25

30

Para que exista periodicidad 1/ 2 debe ser un nmero racional (n/m). Ejercicios: Encontrar el periodo de las siguientes funciones, si es que son peridicas: 1) 2) 3) 4) 5) f(t) = sen(nt), donde n es un entero. f(t) = sen2(2t) f(t) = sen(t) + sen(t + /2) f(t) = sen(1t) + cos(2t) f(t) = sen(2 t)

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

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 sen(2 Nt ), 0 t N f1 (t ) = 1 0, < t <1 N

extendida peridicamente con T = 1:

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

extendida peridicamente con T = 1:

f1 (t ) = f1 (t + 1), < t < +

f 2 (t ) = f 2 (t + 1), < t < +

, 0 t <1 sen(2 Nt ) f1 (t ) + f 2 (t ) = f1 (t + 1) + f 2 (t + 1), < t < +

2 1 T= = = 2 N N 2
10

Puede una funcin f(t) cumplir la condicin f(t) = f(t + T) para todo t y no tener un periodo fundamental?

1 f1 (t ) = 0

si t es un entero si t no es un entero
si t y t + T son enteros si t y t + T no son enteros
11

1 f1 (t ) = f1 (t + T ) = 0 T =1

1 f 2 (t ) = 0

si t es racional pero no un entero si t es irracional o es un entero

si t y t + T son racionales pero no enteros si t y t + T son irracionales o enteros

1 f 2 (t ) = f 2 (t + T ) = 0 T =1

1 si t es racional f1 (t ) + f 2 (t ) = 0 si t es irracional
T=?
12

Volvamos al resultado t = sen t + sen(2t ) + sen(3t ) + ... 2 2 3 de Euler: Cmo lo alcanz?

Utilizando la frmula de Euler para cada trmino:
it i 2t i 3t S t e e e ( ) = + + + ... it i 2t i 3t e S t e e ( ) = + + ...

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

cos t + cos(2t ) + cos(3t ) + ... + i {sen t + sen(2t ) + sen(3t ) + ...}

Integrando trmino a trmino: Particularizamos t para encontrar C:
1 2

S (t ) = e + e
it

i 2t

+e

i 3t

+ ... =

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

13

 t
+t

sen(2t ) sen(3t ) = sen t + + + ... 2 2 3

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

16

17

18

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 era simplemente imposible...

19

20

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

u 1 u = 2 x k t
2

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

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 ) = 1 2 a0 + a1 cos(0 t ) + a2 cos( 20 t ) + a3 cos(30 t ) + ... ... + b1sen(0t ) + b2 sen(20t ) + b3 sen(30t ) + ...

Donde 0 = 2/T se denomina frecuencia fundamental.

f (t ) = a0 + [an cos(n0t ) + bn sen(n0t )]

1 2 n =1
22

sen(2t ) sen(3t ) = sen t + + + ... 2 2 3

f (t ) = 1 2 a0 + [ an cos( n0 t ) + bn sen( n0 t )]
n =1

a0 = 0, a1 = 0, a2 = 0 ... b1 = 1, b2 = 1/2, b3 = 1/3,...

23

Cmo calcular los coeficientes de la serie? Dada una funcin peridica f(t), cmo se obtiene su serie de Fourier?

f(t) = 1 2 a0 + [an cos (n0 t) + bn sen(n0 t)]

n =1

Necesitamos calcular los coeficientes a0,a1,a2,...,b1,b2,... Lo haremos gracias a la ortogonalidad de las funciones seno y coseno.
24

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 f m (t)f n(t)dt = rn

para m n para m = n

25

Ejemplo: las funciones t y t2 son ortogonales en el intervalo 1 < t < 1, ya que:

t t t dt = t dt = 4 1 1
2 3

=0

Ejemplo: Las funciones sen t y cos t son ortogonales en el intervalo < t <, ya que

sen t sent cos tdt = 2

=0

Falta algo para demostrar en ambos casos la ortogonalidad?

26

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(0t), cos(20t), cos(30t),..., sen(0t), sen20t, sen30t,...}

con 0= 2/.

27

Vamos a verificarlo probndolo a pares: 1.- f(t) = 1 vs. cos(m0t):

T/ 2

0= 2/
T/ 2

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

T/ 2

2sen(m0T/ 2 ) 2 sen(m ) = = =0 m0 m0
Ya que m es un entero.
28

2.- f(t) = 1 vs. sen(m0t):

0= 2/
T/ 2

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

T/ 2

T/ 2

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

3.- cos(m0t) vs. cos(n0t):
T /2

cos A cos B = [cos(A+B)+cos(A-B)] cos2 = (1+cos2)

0 cos(m0 t)cos(n0 t)dt = T / 2 T / 2

para m n para m = n 0
29

4.- sen(m0t) vs. sen(n0t):

T/ 2

sen A sen B = [-cos(A+B)+cos(A-B)] sen2 A = (1-cos2)

0 sen(m0t)sen(n0t)dt = T/ 2 T/ 2
5.- sen(m0t) vs. cos(n0t):

para m n para m = n 0

sen A cos B = [sen(A+B)+sen(A-B)]

T/ 2

T/ 2

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

0 0

para cualquier m,n

30

Cmo calcular los coeficientes de la serie? Vamos a aprovechar la ortoganilidad que acabamos de demostrar del conjunto de funciones: {1, cos(0t), cos(20t), cos(30t),...,
sen(0t), sen20t, sen30t,...}

con 0= 2/, en el intervalo -T/2< t < T/2 , para calcular los coeficientes a0,a1,a2,... , b1,b2,... de la serie de Fourier:

f(t) = 1 2 a0 + [an cos (n0 t) + bn sen(n0 t)]

n =1
31

Multiplicando ambos miembros de la igualdad por cos(m0t) e integrando de T/2 a T/2, obtenemos:
T /2

T / 2 T /2

f (t ) cos( m0t )dt = 1 2 a0

n 0 0

T /2

T / 2

cos (m t)dt +
0

0, si m 0

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

n =1 T / 2 T /2

0, si m 0 T/2, si m = n

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

n =1 n 0 0 T / 2

T /2

am =

2 T

T / 2

f (t ) cos( m t ) dt
0

m = 1, 2, 3,...
32

Observa que el caso anterior no incluye a a0, m = 0 que debemos tratar a parte:
T /2

T / 2 T /2

f (t ) cos( m0t )dt = 1 2 a0

n 0 0

T /2

T / 2

cos (m t)dt +
0

T, si m = 0

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

n =1 T / 2 T /2

0, si m 0 T/2, si m = n

0
0 0

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

n =1 n T / 2

1 a0T 2

2 a0 = T

T /2

T / 2

f (t ) dt
33

Similarmente, multiplicando por sen(m0t) e integrando de T/2 a T/2, obtenemos:

T /2

T / 2 T /2

T /2

f (t ) sen(m0t) dt = 1 2 a0
0
0 n 0

T / 2

sen(m t)dt +
0

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

n =1 T / 2 T /2

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

n =1 n 0 0 T / 2

0, si m 0 T/2, si m = n

T /2

bm =

2 T

T / 2

f (t ) sen ( m 0 t ) dt

m = 1, 2, 3,...
34

Un ejemplo histricamente importante: Encontrar la serie de Fourier para la funcin de onda cuadrada de periodo T:
1
... -T/ 2

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

-1

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

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

0= 2/
35

Coeficiente a0:
T /2

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

1 a0 = T

T / 2

f (t )dt
T /2

0 T /2 2 2 a0 = T dt + dt = T t 0 T / 2

+t
T / 2 0

=0

36

Coeficientes an:
1 para T 2 <t <0 f (t ) = T 1 para 0 t < < 2
T /2 2 an = T

T / 2

f (t ) cos(n t )dt
0

0 T /2 2 an = T 1 cos(n0t )dt + 1 cos(n0t )dt 0 T / 2

0 T /2 1 1 2 sen(n0t ) sen(n0t ) = 0 = T + n0 T / 2 0 n0

para n 0
37

Coeficientes bn:
1 para T 2 <t <0 f (t ) = T 1 para 0 t < < 2
2 bn = T

T /2

T / 2

f (t )sen(n t )dt
0

0 T /2 2 bn = T sen(n0t )dt + sen(n0t )dt = 0 T / 2

0 T /2 1 1 2 =T cos(n0t ) cos(n0t ) n 0 T / 2 0 n 0

1 [(1 cos(n )) (cos(n ) 1)] = n 2 [ = 1 (1) n )] para n 0 n

38

Finalmente, la serie de Fourier queda como

f (t ) = 4

[sen(0t ) + 13 sen(30t ) + 15 sen(50t ) + ...]

1 f (t ) = sen((2n 1)0t ) ) 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 0 = (0= 2/), es decir, T = 2:
39

f (t ) =
1.5 1
Componentes

[sen(0t ) + 13 sen(30t ) + 15 sen(50t ) + ...]

Componentes de la Serie de Fourier

0.5 0

-0.5 -1 -1.5 -1 -0.5 0

Suma fundamental tercer armnico quinto armnico sptimo armnico

0.5

1
40

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

Habamos calculado los coeficientes para:

1
... -T/ 2

f(t) t

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

T/ 2

T ...

-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 ) = 1 para T / 2 t < T

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

-1

Repite los clculos y comprubalo.

42

De hecho si repetimos para cualquier intervalo de longitud el periodo T de la funcin, ser lo mismo:
T /2 1 a0 = T

f(t) 1 t -1

...

t0
t 0 +T

t0 +T

...

T / 2

2 2 f (t )dt = T f ( t ) dt = T 0

t0

2 f (t )dt = T f (t )dt T

T /2 2 an = T

T / 2

2 f (t ) cos(n0t )dt = ... = T f (t ) cos(n0t )dt T

T /2 2 bn = T

T / 2

2 f (t ) sen(n0t )dt = ... = T f (t )sen(n0t )dt T

43

Ejercicio: encontrar la serie de Fourier para

f (t ) =

t
2

la funcin con la que empezamos el tema. O sea, demostrar que Euler tena razn.

44

Calcula la serie de Fourier de la funcin peridica:

2 f (t ) = 1 + cos(3t ) de periodo T = 3
2 3 a0 = f (t )dt = T T 2 3 an = f (t ) cos(n0t )dt = T T 2 3 bn = f (t ) sen(n0t )dt = T T
2 3 2 3

(1 + cos(3t ))dt = 2
0

1, si n = 1 (1 + cos(3t )) cos(n0t )dt = 0, si n 1 0

0

2 3

(1 + cos(3t ))sen(n t )dt = 0

0

para todo n
La serie es la propia funcin...
45

en definitiva f (t ) = 1 + an cos(n0t ) + bn sen(n0t ) = 1 + cos(3t )

n =1 n =1

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:

Extensin par

Extensin impar

46

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)

47

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)

48

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

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).
50

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

 Si f (x) es par:

a a

f ( x)dx

= 2 f ( x)dx
0

f ( x)dx

f ( x)dx
0

-a

a
52

 Si f (x) es impar:

f ( x)dx = 0

f ( x)dx
-a a
53

Como la funcin sen(n0t) es una funcin impar para todo n y la funcin cos(n0t) 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.
54

Por ejemplo, la seal cuadrada, que hemos analizado:

1
... -T/ 2

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

-1

Es una funcin impar, por ello su serie de Fourier no contiene trminos coseno: 4 1 ] f (t ) = [sen(0t ) + 1 sen ( 3 t ) + 0 3 5 sen(50 t ) + ...
55

P2. Septiembre 2005

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

f ( x) = sin x
Respuesta.

g ( x) = cos x en x

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
56

an = = 1

f ( x) cos(nx)dx =

sin x cos(nx)dx =

[sin(1 + n) x + sin(1 n) x]dx =

0

2 [cos(n 1) 1] = 2 n 1

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

4 cos(2nx) sin x = 2 n =1 4n 1
f(x) = |cos(x)|, x [-,], 2 peridica Funcin par desarrollo en cosenos, bn = 0

an = = 2

g ( x) cos(nx)dx =

/2

cos x cos(nx)dx =

[cos(n + 1) x + cos(n 1) x]dx

/2
0

58

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

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

n

59

Onda triangular (Triangle Wave)

4 cos x cos 3 x cos 5 x 2 + + + 2 2 2 1 3 5

60

Right Triangular Wave

sin x sin 2 x sin 3 x 2 + 2 3 1

61

Saw Tooth Wave

sin x sin 2 x sin 3 x + + + 2 2 3 1

62

Ejercicio: demostrar que la serie de Fourier para

f (t ) = cos(t ), < t <

con periodo T = 2 (frecuencia fundamental 0 = 1) y un nmero real no entero, es:
n sen( ) 1 (1) cos( t ) = cos(n t ) + 2 2 2 n =1 n

63

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

Observa que si tomamos t = 0 entonces:

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

y con = 1/2.
(1) n (1) n = 2 + 4 = 2+ 2 2 2 ( 1 / 2 ) n 1 4 n n =1 n =1

64

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

O que si tomamos t = entonces:

cos( t ) = (1)

sen( ) 1 1 cos( ) = + 2 2 2 n =1 n 1 1 = + 2 2 2 tan( ) n =1 n

Es correcto el resultado?

65

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:

S k ( x) = un ( x)
n =1

66

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

S k ( 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:
67

(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 a n =1 n n =1 a n

(2) Si cada trmino un(x) de una serie posee derivada en (a, b) y la serie derivada es uniformemente convergente, entonces:

d d un ( x) = un ( x) dx n =1 n =1 dx

68

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

converge

u ( x) converge
n =1 n

uniformemente

69

Ejemplo:
sen(nx) S ( x) = en ( , ) 2 n n =1 1 Mn = 2 n 1 = 2 6 n =1 n

sen(nx) 1 2 2 n n S converge uniformemente

70

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)

f ( x) dx <
71

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 + f (x ) + f (x ) 2
si x es un punto de discontinuidad.

72

Desarrolla en serie de Fourier:

< x < 0 0, f ( x) = 0 x < x,

T = 2 2 a0 = f ( x) dx 2 1 0 dx x dx = + 0 ( ) 0 x 1 = x = 2 0 2
2
73

an =

1 0 f ( x) cos nx dx = dx x nx dx 0 ( ) cos + 0

1 sin nx 1 1 cos nx = ( x) + sin nx dx = 0 n n n n 0 cos n + 1 1 (1) n = = 2 n n 2

bn =

1 ( x) sin nxdx = n

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

74

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: =

Y las discontinuidades en x = , 3, convergen a:

f ( +) + f (0) =0 2

75

Secuencia de sumas parciales y su representacin grfica

S1 =

, S2 =

cos x + sin x, S3 =

1 cos x + sin x + sin 2 x 2

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

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 2Lperidica. Para que converja uniformemente, se debe extender f(t) a modo que: 1.

~ f (t ) sea continua en [-L,L]. ~ 2. f (t ) sea continua a trozos en [-L,L].

~ f (t ) de

97

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

-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

98

an = (1 t ) cos(nt )dt = 2 (1 t ) cos(nt )dt = 1 0 ~

2 2 f par

4(1) = 2 ( n )
1

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

~ 2 4 f (t ) = 2 3

(1) cos(nt ) 2 n =1 n
n
t[0 ,1]

~ f (t ) = f (t )

=
99

P2. Septiembre 2006

a) (4 puntos) 1. Obtener el desarrollo en serie de Fourier de la funcin f(x) = x2 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(x2 2) - x , con g(x) = g(x + 2)
100

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

2. Estudiar si el desarrollo obtenido converge uniformemente a

1 4 k k =1

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 = 3 0 1 2 2 2 an = x cos(nx)dx = x cos(nx)dx =

101

 2 1 2 2 2 = x sin( nx) + 2 x cos(nx) 3 sin( nx) = n n n 0 0 0 2 2 n = ( 1 ) n2

4 an = 2 (1) n n

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

102

2.

f continua en [- , ] hay convergencia uniforme f continua en (- , )

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

a 2 2 [ f ( x ) ] dx = + a n + bn 2 n =1 1

2 0

1 5 x dx = x ( ) 5

2 2

2 5 = 5
103

1 2 4 2 2 1 = + 16 4 5 3 2 n =1 n

4.

n =1

1 = 4 n 90

g ( x) = x x , x [ , ], 2 peridica
2 2 n ( 1 ) 2 2 g ( x) = 3x = 3 f ( x) = 12 2 cos(nx) n =1 n

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

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

[sen(0t ) + 13 sen(30t ) + 15 sen(50t ) + ...]

105

f (t ) =
1.5 1 0.5 0 -0.5 -1 -1.5 -1 -0.5

[sen(0t )]

Serie con 1 arm nico

0.5

1
106

f (t ) =
1.5 1 0.5 0 -0.5 -1 -1.5 -1

[sen(0t ) + 13 sen(30t ) + 15 sen(50t )]

Serie con 3 arm nicos

-0.5

0.5

1
107

1.5 1 0.5 0 -0.5 -1 -1.5 -1

Serie con 5 arm nicos

-0.5

0.5

1
108

1.5 1 0.5 0 -0.5 -1 -1.5 -1

Serie con 7 arm nicos

-0.5

0.5

1
109

1.5 1 0.5 0 -0.5 -1 -1.5 -1

Serie con 13 arm nicos

-0.5

0.5

1
110

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

Serie con 50 arm nicos

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

Serie con 100 arm nicos

113

Forma compleja de la serie de Fourier

Consideremos la serie de Fourier para una funcin peridica f(t), con periodo T = 2/0.
f (t ) = 1 2 a0 + [ an cos( n 0 t ) + bn sen( n 0 t )]
n =1

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

cos(n0t ) = (e
1 2 in0t in0t

+e

in0t

) )
114

sen(n0t ) =

1 2i

(e

in0t

Sustituyendo:
in0 t in0 t 1 f (t ) = 1 a + [ a ( e + e ) + bn n2 2 0 n =1 1 2i

(e in0t e in0t )]

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

in0t in0t 1 1 f (t ) = 1 a + [ ( a ib ) e + ( a + ib ) e ] 2 n n n n 2 0 2 n =1

1 1 Y definiendo: c0 1 a , c ( a ib ), c n 2 n n n +ib n) n 2 (a 2 0

f (t ) =

n =

c e
n

in0t

2 0 = T
115

A la expresin obtenida

f (t ) =

n =

c e
n

in0t

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

cn =

1 T

f (t )e
0

in0t

dt

Forma e un conjunto ortogonal?

in0t n =

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

116

Ejemplo. Encontrar la forma compleja de la serie de Fourier para la funcin ya tratada:

1
... -T/ 2

f(t) t

T/ 2

T ...

-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 ] n para todo n
117

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:

f (t ) = i (... + e
2 1 5

i 50t 1 3

+ e
1 3

i 30t 1 5

+e

i 0 t

i 0 t

i 30t

i 50t

...)
118

Solucin 2. Tambin podemos calcular los coeficientes cn mediante la integral:

T

cn =

1 T

f (t )e
0
T /2

in0t

dt

T /2 T 1 in0t in0t e dt e dt = + T T /2 0

1 in0t 1 = e in o T

1 ino

in0t

T /2
T

1 in0T / 2 in0T in0T / 2 = (e 1) (e e ) inoT

]
119

Como 0T = 2 y adems:

e
cn =
1 inoT n

= cos isen
n

[(1) 1) (1 (1) )]

= i n2oT [1 (1) n ]

= i

1 n

[1 (1) ]
n

que coincide con el resultado ya obtenido.

120

Calcular la serie de Fourier de la funcin de Heaviside:

0 , 1 x < 0 H ( x) = 1, 0 x < 1
1
inx ( ) H x = cn e n =

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

1 i in i [e 1] = [cos(n ) isen(n ) 1] = cn = 2 n 2 n 0 ; si n es par i [cos(n ) 1] = i ; si n es impar n 0 2n 121 n

H (x ) =

n =

c
1

inx

1 i inx 1 i inx = + e = + 2 Re e 2 0 n = n 2 n>0 n

n impar

n impar

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

1 2 i (cos(nx) + isen(nx) ) H ( x) = + Re 2 n >0 n

n impar

sen(nx) 1 2 H (x ) = + n 2 n >0 122

n impar

123

124

125

La funcin impulso o delta de Dirac

(t)

if t = 0 (t ) 0 if t 0
m

Se trata de una "funcin generalizada". Podemos pensar en la delta de Dirac como el lmite de una serie de funciones:

(t)
f3(t) f2(t)

f m(t) =

( mt ) 2

f1(t) t
126

Propiedades de la funcin

(t)

(t ) dt = 1 (t a ) f (t ) dt = (t a ) f ( a ) dt =

f (a )

exp( i t ) dt = 2 ( ) exp[ i ( ')t ]

dt = 2 ( ')
127

Calcular la serie de Fourier de (x):

(x ) =

n =

inx

1 1 inx cn = e ( x)dx = 2 1 2

1 inx 1 1 inx inx ( ) x = e = + (e + e ) 2 n = 2 2 n >0 1 = + cos(nx) 2 n >0

1 (x ) = + cos(nx) 2 n >0
128

12 10 8 6 4 2 0 -2 -4 -4 -3 -2 -1 0 x 1 2 3 4

129

12 10 8 6 4 2 0 -2 -4 -4 -3 -2 -1 0 x 1 2 3 4

130

12 10 8 6 4 2 0 -2 -4 -4 -3 -2 -1 0 x 1 2 3 4

131

12 10 8 6 4 2 0 -2 -4 -4 -3 -2 -1 0 x 1 2 3 4

132

12 10 8 6 4 2 0 -2 -4 -4 -3 -2 -1 0 x 1 2 3 4

133

12 10 8 6 4 2 0 -2 -4 -4 -3 -2 -1 0 x 1 2 3 4

134

12 10 8 6 4 2 0 -2 -4 -4 -3 -2 -1 0 x 1 2 3 4

135

12 10 8 6 4 2 0 -2 -4 -4 -3 -2 -1 0 x 1 2 3 4

136

12 10 8 6 4 2 0 -2 -4 -4 -3 -2 -1 0 x 1 2 3 4

137

12 10 8 6 4 2 0 -2 -4 -4 -3 -2 -1 0 x 1 2 3 4

138

Los coeficientes cn son nmeros complejos, y tambin se pueden escribir en forma polar:

cn = cn e
Observemos que,
* n

i n

c n = c = cn e
2 n

i n

Donde cn = a + b para todo n 0.

1 2 2 n

bn , n = arctan a n

1 c = Y para n = 0, c0 es un nmero real: 0 2 a0

139

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

Espectros de frecuencia discreta

Ejemplo. Para la funcin ya analizada:
1
... -T/ 2

f(t) t

T/ 2

T ...

-1

Encontramos que: Por lo tanto:

cn = i n1 [1 (1) n ]

1 n [1 (1) ] cn = n
141

A la grfica de la magnitud de los coeficientes cn contra la frecuencia angular 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 , se le llama el espectro de fase de f(t). Como n slo toma valores enteros, la frecuencia angular = n0 es una variable discreta y los espectros mencionados son grficas discretas.
142

El espectro de amplitud se muestra a continuacin

0.7 0.6

Espectro de Amplitud de f(t)

Cn

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

10

20

30

Frecuencia negativa (?)

Frecuencia

Observacin: El eje horizontal es un eje de frecuencia, (n = nmero de armnico = mltiplo de 0). 143

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.

144

Podemos expresar de una manera ligeramente diferente la serie de Fourier. Cada par de trminos: ancos(n0t) + bnsen(n0t) se pueden expresar como:
a b 2 2 n n + bn cos( n0t ) + an sen ( n0t ) 2 2 a2 + b2 + a b n n n n

Donde lo nico que hemos hecho es multiplicar y dividir por: 2 2 an + bn 145

 a b 2 2 n n + bn an cos( n0t ) + sen( n0t ) 2 2 a2 + b2 + a b n n n n

an = cos n 2 2 an + bn bn = sen n 2 2 a +b n n
bn n = arctan a n

bn

2 2 Cn = an +bn

an

Y la suma puede expresarse, por ejemplo, solo en funcin del coseno:

C n [cos n cos( n0t ) + sen n sen ( n0t )]

= C n cos( n0t n )

146

Si adems definimos C0 = a0/2, la serie de Fourier se puede escribir como:

f (t ) = C0 + C n cos( n0t n )
n =1

Con:

Cn = a +b
2 n

2 n

bn n = arctan a n

Ejercicio: Definir adecuadamente los coeficientes C0, Cn y n, de manera que la serie de Fourier pueda escribirse como:

f (t ) = C0 + C n sen ( n0t +147 n )

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: n = n0. A la componente sinusoidal de frecuencia n0: cn cos(n0t + 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 0= 2 f0 = 2 / T se le llama frecuencia angular fundamental.
148

t t ) + cos ( 4 ) Ejemplo: La funcin f(t) = cos ( 3 Como vimos, tiene un periodo T = 24, por lo tanto su frecuencia fundamental es 0 = 2/ = 1/12 rad/s. O como 0= 2f0, f0 = 1/ = 1/ 24 Hz. Su componente fundamental (n = 1) ser: c0 cos(0t + 0) = 0 cos(t/12).
3

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

2 1

f(t)=cos(t/3)+cos(t/4)

f(t)

-1 -2 -3 0

24
50 100

150

149 200

Sea f (t ) una seal peridica con periodo T expresada en trminos de la serie compleja de Fourier siguiente : f (t ) =
n = in0t c e n

Derivando f (t ) respecto a t :
d f ' (t ) = f (t ) = in0 cn ein0t dt n =

f ' (t ) =

n =

in0t d e n

donde los coeficientes d n vienen dados por d n = in0 cn en consecuencia, f ' (t ) tambin es peridica y est representada por una serie de Fourier que es funcin del desarrollo en serie de 150 f (t ).

Ejercicio:
f(t)
) f(t = 4t 0 -2

20

T0 = 10

-10

-5

10

f '(t)
4 -10 -5

T0 = 10

-4

10

f ''(t)
8 -10 -5 -8

T0 = 10 10 5 t
151

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)
f(t)
Area = f ( t )dt
T

1
Area = T h

h = Altura promedio

t
152

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 1 T

T / 2

[ f ( t )] dt
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.
153

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 1 T

T / 2

[ f (t )] dt = c
2 n =
2 1 4 2 0 1 2

2 n

O bien, en trminos de los coeficientes an, bn: T /2

1 T T / 2

[ f ( t )] dt = a +

(a
n =1

2 n

+b )
2 n

154

Teorema o identidad de Parseval

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

f (t ) = 1 2 a0 + [ an cos( n0 t ) + bn sen( n0 t )]
n =1
T /2 1 T

T / 2

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

T / 2

1 f (t ) 2 a0 + [an cos(n0t ) + bn sen(n0t )]dt = n =1 T /2

a0 T

T /2

T / 2

an bn f (t )dt + f (t ) cos(n0t )dt + f (t )sen( n0t )dt = n =1 T T / 2 n =1 T T / 2 2 a0 1 2 2 + an + bn 4 2 n =1

T /2

155

Ejemplo. Calcular el valor cuadrtico medio de la funcin f(t): f(t)

1
... -T/ 2 0 T/ 2 T ...

Solucin. Del teorema de Parseval y del ejemplo anterior sustituyendo

-1
T /2 1 T

T / 2

[ f (t )] dt = C
2 n =

2 n

cn =
2 n

1 n

[1 (1) n ]

n =

8 1 1 1 = 2 1 + + + + ... 9 25 49

156

La serie numrica obtenida converge a

1 1 1 1+ + + + ... = 1.2337 9 25 49

Por lo tanto,
T /2 1 T

T / 2

[ f (t )] dt = c
2 n =

2 n

(1.2337) = 1

Como era de esperar.

157

a) Sean c1 , c2 , con c1 c2 y la funcin:

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

c1 , x [ ,0 ) f ( x) = c2 , x [0, ]

(2n 1)
n =1

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

c2 c1

158

1.

( 1 0 c1 + c2 ) = c1 + c2 a0 = c1dx + c2 dx = 0 c1 0 c2 c1 + c2 cos nxdx = an = 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 c1 c2 (cos n cos 0) = ( 1)n 1 = n n n = 2k b2 k = 0 2(c2 c1 ) n = 2k 1 b2 k 1 = (2k 1)

c1 + c2 2 (c2 c1 ) sen(2k 1)x f ( x) = + k =1 (2k 1) 2

159

sen(2k 1)x 1 1 2(c2 c1 ) 2 + 2 k =1 (2k 1) 1 cos nx sen(nx) Como , , es ortonormal en [ , ] 2

2.

c1 + c2 f ( x) = 2

(c

2 2

+ c1

)=
4

4(c1 c2 ) c2 + c1 f ( x ) dx = 2 + 2
2 2

1 2 k =1 (2k 1)

2 ( c1 c2 )

2 1 1 2 = 2 (c1 c2 ) = 2 2 8 k =1 (2k 1) k =1 (2 k 1)

c1 + c2 2 (c2 c1 ) c1 + c2 No. Puesto que f (0) = c2 y + sen(2k 1)0 = 2 2 k =1 (2k 1) c1 + c2 f es continua a trozos y en general c2 2 y tiene derivadas laterales
3.
160

f ( x) = x a) A partir de la serie de Fourier de la funcin definida en el intervalo [ , ] : f ( x) = + 4 2 cos((2n 1)x ) determinar los valores de las series: 2 n=1 (2n 1)

1 1. (2n 1)2 n =1
1.

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

Particularizando para x = 0, f(0) = 0 : 0=

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

0=

1 2 n =1 (2n 1)

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

161

2.

Aplicando la identidad de Parseval :

a0 2 2 + an + bn f ( x) dx = 2 n =1 2

4 Sustituyendo f ( x) = x , a0 = , an = , bn = 0 : 2 (2n 1) 1

x 2 dx =

2
2

16 4 2 n =1 (2n 1)

1 2 3 2 16 1 = + 2 4 3 2 n =1 (2n 1) 1 4 = 4 96 n =1 (2n 1)

162