SEMANA 10

Leer : Hwei P. Hsu(Análisis de Fourier)

Leer: Soliman-Srinath(Señales y sistemas)
Leer: Proakis -Manolakis(Tratamiento digital de señales)

SIMETRÍA DE LA FORMA DE ONDA

Preliminares:
Definición.- Diremos que una función f es par, si cumple :
1)t ,-tDom(f) (Esto significa que Dom(f) sea un conjunto simétrico respecto
a x=0)
2) f(-t)=f(t)
Ejemplos: Cos(t) ; |t|; cosh(t) ; t2n, n  ;etc.
Definición.- Diremos que una función f es impar, si cumple :
1)t ,-tDom(f) (Esto significa que Dom(f) sea un conjunto simétrico respecto a x=0)
2) f(-t)=-f(t)
Ejemplos: Sen(t), Senh(t), t2n+1, nZ, etc

Propiedades:
1) El producto de 2 funciones pares es una función par.
2) El producto de 2 funciones impares es una función par.
3) El producto de una función par y otra función impar resulta una función impar.
4) Toda función f con dominio simétrico respecto a x=0;se puede expresar como la
suma de una función par y una función impar de la siguiente manera:
f ( t ) +f ( -t ) f ( t ) -f ( -t )
f (t ) = +
2 2
par impar

Ejemplo: f(t) = et, no es par, ni impar.

y = et

y de acuerdo a (4):
(0,1)

Mag. Lic. Eduardo Huaccha Quiroz

 e t +e -t e t -e -t
et = + → et = cosh(t) + senh(t)
2 2

f (t )dt = 2 f (t )dt
a a
5)Si f es una función par entonces −a 0

−a f (t )dt = 0
a
6)Si f es una función impar entonces

SIMETRÍA DE MEDIA ONDA

Definición.- Sea f una función periódica con periodo T>0, que cumpla las
condiciones de Dirichlet, diremos que f tiene simetría de media onda si
cumple: f(t-T/2)=-f(t) o equivalentemente f(t+T/2)=-f(t).
Ilustración:

t
0
-T /2 T/4 T/2
-T/4

-1

-2

SIMETRÍA DE CUARTO DE ONDA PAR

Definición.-Sea f una función periódica con periodo T>0 diremos que f tiene
simetría de cuarto de onda par, si cumple:
1) f es par y 2) f tiene simetría de media onda.

Ilustración:

Mag. Lic. Eduardo Huaccha Quiroz

 f(t)
1

t
0 1 2 3 4 5
-5 -4 -3 -2 -1

-1

T=4

1) f(-t) = f(t).
2) f(t-T/2) = -f(t) ó f(t+T/2) = -f(t).

SIMETRÍA DE CUARTO DE ONDA IMPAR

Definición: Sea f una función periódica con periodo T>0 , diremos que f tiene
simetría de cuarto de onda impar, si cumple:

1) f es impar:f(-t)=-f(t) y 2) f tiene simetría de media onda.

Ilustración(*)

y=f(t)
1

-6 -5 -4 -3 -2 -1 (0;0) 1 2 3 4 5 6

-1

T=4

1)f(-t) = -f(t).
2)f(t-T/2) = -f(t) ó f(t+T/2) = -f(t).

Mag. Lic. Eduardo Huaccha Quiroz

OBTENCIÓN DE LOS COEFICIENTES DE LAS SERIES DE
FOURIER DE LAS FORMAS DE ONDA PERIÓDICAS.(leer Hwei P.
Hsu: Análisis de Fourier)
Teorema 1: Sea f una función periódica T > 0 ,que cumpla las condiciones
de Dirichlet, tal que f sea par, entonces:
T
2
2 4 T /2
T f (t ) cos (nw 0t ) dt = f (t )Cos (nw 0t )dt ; n = 0,1,2,3,….
T 0
an =
T es par
− es par es par
2

T T
2 2
2 2
bn = T f(t) sen (nw 0t ) dt = T f(t)sen (nw t )dt = 0 ; n = 1,2,3,………..
0
T es par
T
− es impar − es impar
2 2

de esa manera:
a0 +
f (t ) = +  anCos (nw 0t )
2 n =1
EJEMPLO: Sea f(x) = 1− x ; −1  x  1 , f(x+2)=f(x) ,hallar su serie de Fourier y
+
1
luego obtener el valor de la serie 
( 2k − 1)
2
k =1

2
Solución: f es par T=2 , w 0 = =
T

-3 -1 0 1 3 5
T=2

Como f es par, por Teorema 1 , bn = 0 ; n = 1,2,3....

Mag. Lic. Eduardo Huaccha Quiroz

 T
1
42
an =  f (x )cos (nw 0x ) dt =2  (1− x )cos(n  x )dx
T0 0

u = 1− x ;dv = cos(n  x )dx

1
du = −dx ;v = sen (n  x )
n
1 1
 (1− x )cos(n  x )dx = (1− x ) n  sen (n  x ) + n   sen (n  x )dx
1 1
 (1− x )cos(n  x )dx = (1− x ) n  sen (n  x ) − n 2
2
cos(n  x )
1 1
 1 1  1 1
0 (1− x )cos(n  x )dx = (1− x ) n  sen (n  x ) − n 2 2 cos(n  x ) = − n 2 2 cos(n  ) + n 2 2
0
1
 1 1  2 2
→ an = 2  (1 − x )cos(n  x )dx =2 − 2 2 cos(n  ) + 2 2  = − 2 2 cos(n  ) + 2 2
0  n  n   n  n 

 0 ; n = 2, 4,6,..
2 
an = 2 2 1− cos(n  ) =  4
n   n 2 2 ; n = 1,3,5,7,....

1 +
1 4
a0 = 2  (1− x )dx = 1 → f(x) = +  cos(n  x ) +  bn sen (n x )
0
2 n =impares n 2 2 n =1

Si hacemos x=0
1 4 1 4
f(0) = +  cos(0) → 1 = +  cos(0)
2 n =impares n 
2 2
2 n =impares n 
2 2

1 4
= 
2 n =impares n 
2 2

2 1 1 1 1
8
= 
n impares n
=
2
= 1+ + +
9 25 49
+ .......
+
1 2
 =
( 2k − 1)
2
k =1 8

Teorema 2: Sea f una función periódica con periodo T > 0, que cumpla las
condiciones de Dirichlet, tal que f sea impar entonces:

Mag. Lic. Eduardo Huaccha Quiroz

 T T
2 2
2 2
an = T f (t ) cos (nw 0t ) dt = T f (t )cos (nw t ) = 0
0 ; n = 0,1,2,3,.…
T es impar
T
− es par − es impar
2 2

T
2
2 4 T /2
bn = T f(t ) sen (nw 0t ) dt =  f (t ) sen (nw 0t ) dt ; n = 1,2,3,…
T es impar
T 0
− es impar
2
es par


de esta manera: f (t ) =  bn sen (nw 0t )
n =1

Teorema 3: Sea f una función periódica ,con periodo T>0, que cumple las
condiciones de Dirichlet, tal que f tenga simetría de media onda, entonces

 4 T /2
f (t )Cos (nw 0t ) dt
an =  T 0
 ; n = 1,3,5,7,....

 0 ; n = 0,2, 4,6....

 4 T /2
f (t )Sen (nw 0t ) dt
bn =  T 0
 ; n = 1,3,5,7,....

 0 ; n = 2, 4,6,8....

de esta manera:

f (t ) =  a n Cos(nw0 t ) +  b n Sen(nw0 t )
n impar n impar

Teorema 4: Sea f una función periódica con periodo T>0,tal que cumpla las
condiciones de Dirichlet, de modo que f tenga simetría de cuarto onda par,
entonces:
8 T /4
f (t ) cos (nw 0t ) dt ;
T 0
an = n = 1,3,5,7….

de esta manera:

Mag. Lic. Eduardo Huaccha Quiroz

 
f (t ) =  an Cos (nw 0t ) =  a2k −1 Cos ( ( 2k − 1)w 0t )
n impar k =1

Teorema 5: Sea f una función periódica con periodo T>0 tal que cumpla las
condiciones de Dirichlet, de modo que f tenga simetría de cuarto de onda
impar. Entonces:
8 T /4
f ( t ) Sen (nw 0t ) ; n = 1,3,5,7 ……
T 0
bn =

de esta manera:
+
f (t ) =  bnsen (nw 0t ) =  b2k −1sen ( ( 2k − 1)w 0t )
n impar k =1

Ejemplo:
Hallar la serie de Fourier de la función cuya gráfica se muestra

1
y=f(t)=t

-6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6

-1

T=4
2  2
Solución: T = 4; w 0 = = = , al tener S.C.O.I., aplicamos el Teorema 5.
T 4 2

8 T /4 8 1   
bn =  f (t )Sen (nw 0t ) =  f (t )Sen  n t  dt ; n = 1,3,5,7.
T 0 4 0  2 
Pauta:
1
1    −2t    2 1   
0 t Sen  n 2 t dt = n Cos  n 2 t  + n  Cos  n 2 t dt
0
0

  
u=t ; dv = Sen  n t  dt
2
 

Mag. Lic. Eduardo Huaccha Quiroz

 −2   
du=dt ; v = Cos  n t 
n  2 

Así pues:
4   8  
bn = 2 Sen  n  = Sen  n  ; n = 1,3,5,7,….
n ² ²  2  n ² ²  2

 8
 n ² ² ; n = 1,5,9,....
bn = 
 −8 ; n = 3,7,11,....
 n ² ²

Siendo la serie de Fourier:

8     
f (t ) = 
n impar n ² ²
Sen  n Sen  n t 
 2  2 

   
Sen  n  Sen  ( 2k − 1) 
 2  Sen  n  t  = 8  
+
8  2 
f (t ) = 
 ² n impar n²  
 2   ² k =1
 ( 2k − 1) ²
Sen  ( 2k − 1) t  …(**)
 2 

En (**) ¿qué pasa si t = 1?

8 Sen 2 (n  / 2 ) 8 1
f ( 1) = 
 ² n impar n²
= 
 ² n impar n ²

8 1 1 ²
1=  →  =
 ² n impar n ² n impar n ² 8

1 1 1 ²
Osea: 1 + + + + ........... =
9 25 49 8

Mag. Lic. Eduardo Huaccha Quiroz

EXTENSIÓN PERIÓDICA DE UNA FUNCIÓN DEFINIDA EN UN INTERVALO [0;L]
o <0;L>
Se trata de que dada una función definida en [0,L] o <0,L> se puede
extenderla en forma periódica con cada una de las 5 simetrías estudiadas.
Ejemplo:
Sea f definida
en <0,L>
1
f

0 L

• Extensión periódica par (desarrollo en términos del coseno)

fp (Ext.periòdicapar)
1
f

-4L -3L -2L -L 0 L 2L 3L 4L t

T=2L
2 2 
T = 2L ; w 0 = = =
T 2L L
Usando el teorema 1
4 T /2
f (t )Cos(nw0 t )dt; n = 0,1,2,3,…
T 0
an =

2 Lt  n 
an = 
L L
0
Cos t dt; n = 0,1,2,3,…
 L 
a0 
a0 
f p (t ) = +  an cos (nw 0t ) → f (t ) = +  an cos (nw 0t ) ;0  t  L
2 n =1 2 n =1

Mag. Lic. Eduardo Huaccha Quiroz

• Extensión periódica impar (desarrollo en términos del seno)

f i (Ext.periódica impar)
1
f

t
-4L -3L -2L -L 0 L 2L 3L 4L

-1

T=2L


T = 2L; w0 =
L
Usando el teorema 2
4 T /2
f (t )Sen(nw0 t )dt; n = 1,2,3,…
T 0
bn =

2 Lt  n 
bn = 
L L
0
Sen t dt ; n = 1,2,3,…
 L 
 
fi (t) =  bn sen (nw 0t ) → f(t ) =  bn sen (nw 0t ) ;0  t  L
n =1 n =1

• Extensión periódica con simetría de media onda

fmo (Ext.periòdica de mediaonda) T = 2L


1 f w0 =
L

-4L -3L -2L -L 0 L 2L 3L 4L t

-1

T=2L

Aplico el teorema 3

Mag. Lic. Eduardo Huaccha Quiroz

 4 /2
f (t ) Cos (nw 0t ) dt ; n = 1,3,5,7,…
T 0
an =

4 T2
f (t )Sen (nw 0t ) dt ; n = 1,3,5,7,…
T 0
bn =

Ahora:
2 Lt   
an = 
L L
0
Cos n t dt; n = 1,3,5,7,…
 L 
2 Lt   
L 0 L
bn = Sen n t dt; n = 1,3,5,7,…
 L 

f mo (t ) = 
n =impar
an cos (nw 0t ) + 
n =impar
bn sen (nw 0t )

→ f(t ) = 
n =impar
an cos (nw 0t ) + 
n =impar
bn sen (nw 0t ) ;0  t  L

• Extensión periódica con simetría de cuarto de onda par


fcop (Ext.periòdicaconsimetriadecuartodeondapar) w0 =
f 2L
1

-5L -4L -3L -2L -1L 0 L 2L 3L 4L 5L

-1
T = 4L

Por teorema 4:
8 T /4 2 L t   
 f (t ) Cos (nw 0t ) dt =
L
an = Cos  n t  dt ; n = 1,3,5,7,…
T 0 0 L
 2L 

fcop (t ) = 
n =impar
an cos (nw 0t ) → f(t ) = 
n =impar
an cos (nw 0t ) ;0  t  L

Mag. Lic. Eduardo Huaccha Quiroz

*Extensión periódica con simetría de cuarta onda impar
fcoi (Ext.periòdicaconsimetriadecuartodeondaimpar)
f
1

-5L -4L -3L -2L -1L 0 L 2L 3L 4L 5L 6L

-1
T=4L 2 
w0 = =
4L 2L

Por teoría(teorema 5):

8 T /4 2 L t   
 f (t )Sen (nw 0t ) dt =
L
bn = Sen  n t  dt ; n = 1,3,5,7,9,…
T 0 0 L  2L 

f coi (t ) = 
n =impar
bn sen (nw 0t ) → f (t ) = 
n =impar
bn sen (nw 0t ) ;0  t  L

TRANSFORMADA FINITA DE FOURIER EN SENOS

(LEER: PETER O’NEIL)
Sea f definida en [0,], le diremos f una extensión periódica impar.

Ilustración:
w0 = 1

fi f

-4 -3 -2 - 0  2 3 4

-1

T=2 w0 = 1

Mag. Lic. Eduardo Huaccha Quiroz

Ahora obtengamos su coeficiente(Teorema 2 de las simetrías)
4 T /2
f (t )Sen(nw0 t )dt ; n = 1,2,3,…
T 0
bn =

2 
f (t )Sen (nt ) dt ; n = 1,2,3,… (*)

→ bn =
0

Definimos la transformada finita de Fourier en senos como:

Sn f ( t ) = FS (n ) =  f (t )Sen (nt ) dt ;

n = 1,2,3,…
0

Por otro lado al conocer (*) podemos construir la serie de Fourier:

 
2 2 
fi (t ) =  bnSen (nt ) = FS (n )Sen (nt ) =  FS (n )Sen (nt )
n =1 n =1   n =1


2
f (t ) =

 F (n)Sen (nt ) ; la
n =1
S cual sería la fórmula de inversión.

TRANSFORMADA FINITA DE FOURIER EN COSENOS

(LEER:PETER O’NEIL)
Sea f definida en [0,], le daremos a f una extensión periódica par.
Ilustración:

1
fP (todo)
f

-5 -4 -3 -2 - 0  2 3 4 5

T=2 w0 = 1

4 T /2
f (t )Cos(nw0 t )dt; n = 0,1,2,3,…
T 0
Ahora obtengamos su coeficiente an =

Pero tomando en cuenta T = 2, w0=1

Mag. Lic. Eduardo Huaccha Quiroz

 2 
→ an =
  f (t ) Cos (nt )dt ; n = 0,1,2,3,… (**)
0

Definimos la transformada finita de Fourier en cosenos

Como:
Cn f (t ) = FC (n ) =  f (t ) Cos (nt ) dt

;n=0;1;2;3;……
0

2
an = FC (n ) ;n = 0,1,2,3,… (**)

2  2 a F (0)
f (t ) dt

a0 = = Fc (0) → 0 = c
0  2 

Por otro lado al conocer (**) podemos construir la serie de Fourier:

a0 
fP (t ) = +  an Cos (nt )
2 n =1

a0 2 
f (t ) =
2
+

 FC (n ) Cos (nt )
n =1

2 a0 FC (0)
También (**) a0 = FC (0) → =
 2 

Así pues:
FC ( 0 ) 2 
f P (t ) = +  FC (n ) Cos (nt )
  n =1
Y en especial representa a f
FC ( 0 ) 2 
f (t ) = +  FC (n ) Cos (nt ) , la cual sería la fórmula de inversión
  n =1
PARA MÁS ADELANTE
PROBLEMA: Use una transformada de Fourier finita para resolver
el siguiente problema de valores en frontera.
 ²u  ²u
+ = 0; 0<x< , 0<y<2
x ² y ²

Mag. Lic. Eduardo Huaccha Quiroz

u ( 0, y ) = 0 ; 0 y 2

u ( , y ) = 4 : 0 y 2
u ( x ,0 ) = u ( x ,2 ) = 0 ; 0  x  
 y
Solución: el objetivo es hallar u(x;y)
Podemos usar la transformada finita en cosenos o en senos pero la decisión
depende de la fórmula de operación.

 
Cn f (x" ) = −n²Fc (n ) − f (0) + ( −1) f ( ) (no conviene)
n

donde: f(x) =u(x;y)

S n f (x ) = −n ²Fs (n ) + nf ( 0 ) − n ( −1) f ( ) (si conviene)

n

donde: f(x)=u(x;y)

Por lo tanto tomaremos la transformada de Fourier finita en senos en:

  ²u  ²u 
Sn  +  = S n 0 = 0 ; n = 1,2,3,…..
  x ² y ² 
  ²u    ²u 
Sn   + Sn  =0
 x ²   y ² 

²
→ − n²U s (n, y ) + n (0, y ) − n(− 1)  ( , y ) + S n ( ( x , y ) ) = 0
n

y ²
²
U (n; y ) − n²U s (n, y ) − 4n(− 1) = 0
n

y ²
²
U (n; y ) − n²U s (n, y ) = 4n(− 1) ……………… (*)
n

y ²  
cte.

Ec. Diferencial ordinaria de 2º orden en la variable y no homogénea

U s = U sH + U s p

Mag. Lic. Eduardo Huaccha Quiroz

1) Con respecto a USH:
²
U (n, y ) − n²U s (n, y ) = 0
y ²
Polinomio característico:
P( ) =  ² − n ² = 0 → ² = n² →  = n

U s H (n, y ) = Ae ny + Be − ny

2) Con respecto a Usp

U s p (n, y ) = D(n ) reemplazamos en (*)

→ 0 − n² D(n ) = 4n(− 1)
n

4n(− 1)
n
U s p (n, y ) = D(n ) = = (− 1)
4 n +1

− n² n
Luego:
U s (n, y ) = U s H (n, y ) + U sp (n, y )

U s (n, y ) = Ae ny + Be − ny + (− 1)n +1 → (*)

4
n

Tomando la transferencia finita de Fourier en senos a la condición:


u y (x,0) = 0  u (x,0) = 0
y
  
S n  u ( x ,0 )  = S n u (x,0) = 0
 y  y

U s (n,0) = 0
y


y
(
U s (n,4) = Ane ny − Bne − ny ) y =0
= An − Bn = 0 → A = B
y =0

Ahora (*) mejora:

Mag. Lic. Eduardo Huaccha Quiroz

U s (n, y ) = Ae ny + Ae − ny + (− 1)n +1
4
n
 e ny + e − ny  4
U s (n, y ) = 2 A  + (− 1)n +1 = 2 ACosh(ny ) + (− 1)n +1
4
 2  n n

→ U s (n, y ) = 2 ACosh(ny ) + (− 1)n +1

4
(**)
n

Tomando la transformada finita de Fourier en senos a: u(x,2) = 0

Snu ( x,2 ) = Sn0 = 0

U s (n,2) = 0 → 2 ACosh(2n ) + (− 1)n +1 = 0

4
n

→ 2 ACosh(2n ) = − (− 1)n +1 = 4 (− 1)n

4
n n
4(− 1) 2(− 1)
n n
→ A= =
2nCosh(2n ) nCosh(2n )

Por lo tanto:

4(− 1)
n
U s (n, y ) = Cosh(ny ) + (− 1)
4 n +1

nCosh(2n ) n

Ver tabla:

f (x ) =  Fs (n)Sen(nx )
2
 n =1

2   4 ( −1)n 4 
u (x , y ) =   Cosh (ny ) + ( −1)  Sen (nx )
n +1

 n =1  n Cosh ( 2n ) n 

Mag. Lic. Eduardo Huaccha Quiroz

Mag. Lic. Eduardo Huaccha Quiroz