Está en la página 1de 5

Sistemas Lineales

ndice al tema 3: Propiedad de integracio n Ape

1.

Introducci on

En la secci on de propiedades sobre la transformada de Fourier hemos estudiado que, si x(t) tiene transformada de Fourier X ( ), su funci on integral, denida por la ecuaci on:
t

y (t) =

x( )d,

(1)

tiene como transformada de Fourier: Y ( ) = 1 X ( ) + X (0) ( ). j (2)

La primera parte de la ecuaci on es muy intuitiva, ya que corresponde al operador inverso de la derivada. En cambio el origen de la delta de Dirac que aparece en el segundo t ermino y que, recordemos, est a asociada al valor medio de x(t) es dif cil de explicar. El prop osito de este ap endice es mostrar el origen de esta expresi on. En primer lugar notemos que y (t) es una primitiva de la se nal x(t): dy (t)/dt = x(t). Recordemos que cualquier funci on tiene innitas primitivas que se diferencian por una constante. Al integrar desde menos innito estamos eligiendo una primitiva concreta, pero otras posibles primitivas de x(t) podr an obtenerse como:
t t K

yK (t) =
K

x( )d =

x( )d

x( )d = y (t) C,

(3)

donde C es una constante que depende del valor de K . Por tanto cualquier se nal yK (t) ser a una primitiva de x(t) porque dyK (t)/dt = x(t), y se distinguir a de y (t) solamente en una constante. En concreto, y (t) = y (t). Dada la linealidad de la transformada de Fourier, la se nal YK ( ) ser a la misma que la de Y ( ) menos la transformada de C : YK ( ) = Y ( ) F {C } ( ) = Y ( ) 2C ( ), (4)

ya que sabemos que la transformada de una constante es una delta pesada por 2 . Intuitivamente, vemos que la delta de Dirac debe estar asociada a la constante de integraci on C . Seg un la ecuaci on (2), esta constante es nula s olo si el valor medio de x(t) es nulo.

2.

Relaci on de la propiedad anterior con la funci on escal on

La forma m as sencilla de demostrar la propiedad enunciada en la ecuaci on (2) es relacionarla con la transformada de Fourier de la funci on escal on. En particular, se puede demostrar que la transformada de Fourier de la funci on de Heaviside u(t) es: U ( ) = 1 + ( ). j (5)

De esta forma, la integral de la ecuaci on (1) puede transformarse en la convoluci on de x(t) con la funci on escal on:
t

y (t) = x(t) u(t) =

x( )u(t )d =

x( )d ;

(6)

la transformada de Fourier de Y ( ) ser a el producto de las transformadas: Y ( ) = H ( )X ( ) = 1 1 + ( ) X ( ) = X ( ) + X (0) ( ). j j (7)

Para demostrar la ecuaci on (5), relacionamos la funci on escal on con la funci on signo: sign(t) = 1, t 0; 1, t < 0, (8)

cuya transformada de Fourier es, como demostramos a continuaci on: S ( ) = 2 . j (9)

Por tanto, aplicando la linealidad de la transformada de Fourier concluiremos: 1 1 1 1 u(t) = sign(t) + U ( ) = S ( ) + ( ) = + ( ). 2 2 2 j (10)

3.

Demostraci on de la propedad (2)

Todo se reduce a demostrar la ecuaci on (9): de esta forma es inmediato calcular la transformada de la funci on escal on como en la ecuaci on (10). A partir de esta expresi on es tambi en inmediato demostrar la propiedad usando la ecuaci on (7). Para la demostraci on utilizaremos la ecuaci on de s ntesis de la transformada de Fourier. Seg un dicha ecuaci on la funci on signo debe ser: 2ej|t| 1 d = 1, t > 0; 2 j sign(t) = (11) j |t| 2e 1 d = 1, t > 0. 2 j Desafortunadamente las integrales anteriores no son triviales. Su c alculo requiere el uso del Teorema de los Residuos, como se muestra a continuaci on.

3.1.

Planteamiento del problema (t > 0)

Consideremos la gura 1, que representa el plano complejo (z = u + jv ) y dentro de el R R R la curva = 1 2 3 . Cada una de las tres curvas de las que se compone puede parametrizarse como: R z () = Rej , 1 R z () = , 2 R z ( ) = 3 [0, ); 1 1 [R, ) [ , R); R R [, 2 ). (12) (13) (14)

1 j e , R

Consideremos tambi en la funci on de variable compleja denida como: f (z ) = ej |t|z , jz (15)

que es el integrando de nuestra transformada inversa de Fourier para t > 0, en la que hemos pasado de la variable real a la variable compleja z . Esta funci on es holomorfa 2

R 1

Im{z} z=u+jv 1 R

-R

1 R

Re{z}

R 2

R 3

R 2

Figura 1: Para calcular la transformada inversa correspondiente a la funci on signo relacionamos la integral que la dene con una integral en el plano complejo. Extrapolaremos la funci on en la variable real a una funci on en la variable compleja z = u + jv . La integral a lo largo de la curva cerrada , que resulta de la uni on de las tres curvas orientadas de la gura, se calcula usando el Teorema de los Residuos. Si R la integral a lo largo de R 2 se transforma en la integral que deseamos calcular, a lo largo del eje real u . (generalizaci on del concepto de derivable para variable compleja) salvo en el punto z = 0, donde presenta una singularidad (discontinuidad). Esta condici on nos permite usar el Teorema de los Residuos para calcular la integral de linea de f (z ) a lo largo de la curva : f (z )d = 2j Res {f (z ), z = 0} ,

(16)

donde Res{f (z ), z = 0} es el residuo de f (z ) en z = 0. Puesto que el polo en z = 0 es simple este residuo se puede calcular de la siguiente forma: 1 Res {f (z ), z = 0} = l m (z 0)f (z ) = . z 0 j Por tanto, podemos concluir: f (z )d = 2j

(17)

1 = 2. j

(18)

A continuaci on relacionaremos este valor con nuestra integral de inter es. Es importante notar que la integral anterior no depende del valor de R, y por tanto:
R

l m

f (z )d = 2.

(19)

3.2.

C alculo alternativo de la integral de linea

La integral de la ecuaci on (16) puede calcularse de forma alternativa mediante la denici on de integral de linea en el plano complejo: f (z )d =

R R R 1 2 3

f (z )d =
R 1

f (z )dR 1 +

R 2

f (z )dR 2 +

R 3

f (z )dR 3.

(20)

Estas tres integrales se calculan a partir de las parametrizaciones correspondientes. 3

1. Para la primera de ellas: f (z )dR = 1


0

f (z ())

R 1

dz () d = d

f Rej jRej d
0

exp j |t|Rej jRej

=
0

jRej d =
0

exp j |t|Rej d.

(21)

Esta integral no es sencilla de calcular, pero en realidad no lo necesitamos. Basta con comprobar que la parte real de j |t|Rej , en la regi on considerada, es negativa y por tanto el m odulo del integrando es una exponencial decreciente en R: l m f (z )dR 1 = 0. (22)

R R 1

2. Para la segunda parte de la curva tenemos: f (z )dR 2 =


1 R

f () d +
1 R

f () d

R 2

R R 2

l m

f (z )dR 2 =

f ()d =

ej |t| d, j

(23)

que es precisamente la integral que dene nuestra transformada de Fourier inversa y por tanto no es trivial (en otro caso no necesitar amos todo este desarrollo). 3. Para la tercera integral repetimos un desarrollo parecido al de la ecuaci on (21):
2 R 3

f (z )dR = 3

1 exp j |t| ej d. R

(24)

Aunque la integral en s no es sencilla de calcular, su l mite para R s lo es:


2 R R 3

l m

f (z )dR = 3

R 2 r 0

l m

1 exp j |t| ej d R
2

= l m

exp j |t|rej d =

d = .

(25)

3.3.

C alculo de la integral en la segunda curva

Reuniendo los resultados anteriores, podemos concluir: l m f (z )d = 2 = l m

R R 1

f (z )dR m 1 + l

R R 2

f (z )dR m 2 + l

R R 3

f (z )dR 3 (26)

= 0+

ej |t| d + j

ej |t| d = . j

3.4.

Valor nal de la transformada

Volviendo sobre la ecuaci on (11) para t > 0 podemos concluir que efectivamente: 1 2

2ej |t| 2 d = j 2 4

ej |t| 2 d = = 1, j 2

(27)

sin m as que hacer = . Para t < 0 habr a que repetir todo el c alculo cambiando la curva de integraci on . En este caso habr a que incluir 1 en el semiplano negativo para que la integral correspondiente tendiese a 0 al hacer R , pero todos los c alculos ser an muy similares y concluir amos que la integral vale 1 (el signo vendr a del cambio de orientaci on de 2 , que deber a recorrerse en sentido inverso para que se recorra en sentido positivo a izquierdas y el Teorema de los Residuos pueda aplicarse). Para t = 0, n otese que dicha integral nunca tender a a 0 (para ning un semiplano), pero sabemos que el valor de la transformada (inversa) para puntos aislados es irrelevante. Visto de otro modo, para t = 0 tendr amos la integral: sign(0) = 1 2

2 d, j

(28)

que no es convergente. No obstante, puesto que el integrando es impar, podemos denir sign(0) = 0 por coherencia con las propiedades de este tipo de se nales. Una vez m as, el valor de la funci on en un punto aislado no es relevante en el ambito del an alisis de Fourier, y en particular no afecta a la integral de convoluci on en la ecuaci on (6).