DEMOSTRACIONES DE CONVOLUCION Y TRANSFORMADA DE FOURIER

I. CONVOLUCION

Sean dos seales u(t) y v(t) totalmente integrales en R, su convolucion esta dada por la siguiente
formula:

(u v)(t) = u(s)v(t s)ds

Una de las seales debe ser acotadas en R y la otra debe ser totalmente integrable en R.

Teorema 1: La convolucin es conmutativa

Demostracin. Hacemos el siguiente cambio de variable t s = , de modo que:

u(t)
v = u(s) v(t s)ds = u(t )v()d . (Cambio de variable)

v = v()u(t )d = v(t)
u(t) u

u(t)
v = v(t)
u

Teorema 2: La convolucion es asociativa.

Sean tres seales u(t), v(t)y w(t) , su convolucion viene dada por:

u(t) v(t) w(t) = (u(t) v(t)) w(t) = u(t) (v(t) w(t))

Demostracion:

Usando la definicin de convolucion:

u(t) h(t) = u(s)h(t s)ds

Tenemos:

C1 = [u(t) v(t)] w(t) = [ u(suv )v(t suv )dsuv ] w(t)

La expresin global quedara:


C1 = [u(t) v(t)] w(t) = [ u(suv )v(svw suv )dsuv ]w(t svw ) dsvw ]

Para:

C2 = u(t) [v(t) w(t)] = u(t) [ v(svw )w(t svw )dsvw ]

C2 = u(t) [v(t) w(t)] = u(suv )[ v(svw )w(t suv svw )dsvw ]dsuv

Lo que yo quiero probar es:

C1 = C2

u(suv )v(svw suv )w(t svw ) dsuv dsvw


= u(suv )v(svw )w(t suv svw )dsvw dsuv

Hacemos el siguiente cambio de variable: = suv + svw y d = dsuv entonces:

C2 = u( svw )v( svw )w(t )ddsvw

Luego hacemos el siguiente cambio de variable: = svw y d = dsvw

C2 = u()v( )w(t )dd

C2 = u()v( )w(t )dd

Entonces, nos queda:

u(suv )v(svw suv )w(t svw ) dsuv dsvw = u()v( )w(t )dd

Teorema 3: La convolucion es distributiva

Sean tres seales u(t), v(t)y w(t) , se cumple que:

u(t) [v(t) + w(t)] = u(t) v(t) + u(t) w(t)

Demostracin:

u(t) [v(t) + w(t)] = u(t)[v(t s) + w(t s)]ds

u(t) [v(t) + w(t)] = u(t)v(t s)ds + u(t)w(t s)ds

u(t) [v(t) + w(t)] = u(t) v(t) + u(t) w(t)

Teorema 4: La convolucion es bilineal

Sean tres seales u(t), v(t)y w(t) , se cumple que:

(u(t) + v(t)) w(t) = (u(t) w(t)) + (v(t) w(t))

Demostracin:

(u(t) + v(t)) w(t) = (u(s) + v(s))w(t s)ds

(u(t) + v(t)) = u(s)w(t s)ds + v(s)w(t s)ds

(u(t) + v(t)) = (u(t) w(t) + (v(t) w(t))

Teorema 5: Propiedad de escalabilidad

Sea:

y(t) = u(t) h(t) y z(t) = u(at) h(at), a > 0

Entonces:

z(t) = u(as)h(a(t s))ds

Demostracin:
d
Haciendo el siguiente cambio de variable: = as, ds = , para a > 0
a

1
z(t) = u()h(at )d
a

Donde:

y(t) = u(t) h(t) = u(s)h(t s)ds

Entonces podemos definir, las siguientes relaciones:

1
z(t) = ( ) y(at)
a
1
( ) y(at) = u(at)h(at)
a
Entonces quedara:

y(at) = |a|u(at)h(at)

Teorema 6: Propiedad de desplazamiento en el tiempo

u(t + a) v(t + b) = z(t + a + b)

Donde:

z(t) = u(s)v(t s)ds

Demostracin:

u(t + a) v(t + b) = u(s + a)v(t + b s)ds

Aplicando el cambio de variable: s + a = r

u(t + a) v(t + b) = u(r)v(t + a + b r)dr

u(t + a) v(t + b) = z(t + a + b)

Teorema 7: Si () () son seales continuas y totalmente integrables en R, entonces su

convolucion () () es tambien una seal totalmente integrable. Se verifica la
desigualdad.

() ()1() ()1 () ()1 ()

Antes de demostrar dicho teorema, definimos el teorema de fubini.

Teorema de Fubini:

Afirma que si :

(, ) = ()()d

Entonces:

() () = ()()(, )

Demostracin:

Ahora retomemos la demostracin:

() ()1 () = |() ()|

() ()1 () = | ()( )|

() ()1() |()||( )|

() ()1() { |()|} |( )| ( )

() ()1() ()1() |( )| = ()1 () ()1 ()

II. TRANSFORMADA DE FOURIER

Sean las siguientes funciones: 1 () 2 () y sus transformadas de Fourier son:

1 = 1 ()

2 = 2 ()

Sus transformadas inversas son:

1
1 () = 1 ()
2

1
2 () = ()
2 2

Entonces:

Teorema 1:

1 2 = 1 [1 ()2 ()]

Demostracin:

1 2 = 1 ()2 ( )

1
1 2 = 2 1 ()[ 2 () () ]
2

1
1 2 = 2 2 ()[ () ]
2 1

1
1 2 = 2 2 ()1 ()
2

= [ () ()]

Teorema 2:

1 [1 () 2 ()] = 21 2
Demostracin:

1 [1 () 2 ()] = 1
[ 1 ()2 ( )]

1
1 [1 () 2 ()] = [ ()2 ( )]
2 1

Hacemos el siguiente cambio de variable: = , = + , =

1
1 [1 () 2 ()] = [ ()2 ()] (+)
2 1

1
1 [1 () 2 ()] = 1 () 2 () (+)
2

1
1 [1 () 2 ()] = 1 () [ 2 () ]
2

Multiplicamos y dividimos por 2

1 1
1 [1 () 2 ()] = 2[ 1 () ][ 2 () ]
2 2

[ () ()] = () ()

Teorema 3:

La transformada de Fourier de la convolucion de dos funciones () () es la

multiplicacin de las transformadas de Fourier de ambas funciones.

(1 () 2 ()) = 1 ()2 ()

Demostracin:

(1 () 2 ()) = [ 1 ()2 ( )]

(1 () 2 ()) = 1 ()[ 2 ( ) ]

Pero:

2 ( ) = [2 ( )] = 2 ()

Finalmente reemplazamos en la expresin:

(1 () 2 ()) = 1 () 2 ()

(1 () 2 ()) = 1 () 2 ()

( () ()) = () ()