Está en la página 1de 13

3.

Segunda propiedad de traslacin


Si {()}() = ()

( ) >
y () = {
,
0 <

entonces

{()}() = ()
4. Propiedad de cambio de escala
Si {()}() = (), entonces {()}() =

( )

5. Transformada de Laplace de las derivadas


Si {()}() = (), entonces {()}() = () (0)

Esta frmula puede ser generalizada a la derivada de orden

{ () ()}()
= () 1 (0) 2 (0) (2) (0)
(1) (0)
6. Transformada de Laplace de la integral

Si {()}() = (), entonces {0 () } () =

()

7. Multiplicacin por

Si {()}() = (), entonces { ()}()

= (1)

() = (1) () ()

8. Divisin por
Si {()}() = (), entonces {
siempre que exista lim

()

()

} () = ()

Si {()}() = (), entonces lim () = 0

9. Teorema del valor inicial

lim () = lim ()
0

Siempre que existan ambos lmites.


10. Teorema del valor final

lim () = lim ()

Siempre que existan ambos lmites.


11. La convolucin

Si {()}() = () y Si {()}() = (), entonces

{ () ( )} () = (). ()
0

La

operacin

( )() = 0 () ( ) se

producto de convolucin o simplemente convolucin.

denomina

TRANSFORMADA DE FOURIER
Definicin: La transformada de Fourier, denominada as por
Joseph Fourier, es una transformacin matemtica empleada para
transformar seales entre el dominio del tiempo (o espacial) y el dominio
de la frecuencia, que tiene muchas aplicaciones en la fsica y la
ingeniera. Es reversible, siendo capaz de transformaciones de cualquiera
de los dominios al otro. El propio trmino se refiere tanto a la operacin de
transformacin como a la funcin que produce.
En el caso de una funcin peridica en el tiempo (por ejemplo, un
sonido musical continuo pero no necesariamente sinusoidal), la
transformada de Fourier se puede simplificar para el clculo de un
conjunto discreto de amplitudes complejas, llamado coeficientes de las
series de Fourier. Ellos representan el espectro de frecuencia de la seal
del dominio-tiempo original.
La transformada de Fourier es una aplicacin que hace
corresponder a una funcin de valores complejos y definidos en la recta,
con otra funcin g definida de la manera siguiente:

() =

1
2

()

Donde es 1 , es decir, tiene que ser una funcin integrable en


el sentido de la integral de Lebesgue. El factor, que acompaa la integral
en definicin facilita el enunciado de algunos de los teoremas referentes a
la transformada de Fourier. Aunque esta forma de normalizar la
transformada de Fourier es la ms comnmente adoptada, no es
universal. En la prctica las variables y suelen estar asociadas a
dimensiones como el tiempo segundos y frecuencia herzios
respectivamente, si se utiliza la frmula alternativa:

+
() = ()
2
11

la constante cancela las dimensiones asociadas a las variables


obteniendo un exponente adimensional.
La transformada de Fourier as definida goza de una serie de
propiedades de continuidad que garantizan que puede extenderse a
espacios de funciones mayores e incluso a espacios de funciones
generalizadas.
Sus aplicaciones son muchas, en reas de la ciencia e ingeniera
como la fsica, la teora de los nmeros, la combinatoria, el procesamiento
de seales (electrnica), la teora de la probabilidad, la estadstica, la
ptica, la propagacin de ondas y otras reas. En procesamiento de
seales la transformada de Fourier suele considerarse como la
descomposicin de una seal en componentes de frecuencias diferentes,
es decir, corresponde al espectro de frecuencias de la seal .
La rama de la matemtica que estudia la transformada de Fourier y
sus generalizaciones es denominada anlisis armnico.
Son varias las notaciones que se utilizan para la transformada de
Fourier de . He aqu algunas de ellas:

[], , (), {}

Funciones Peridicas
Una funcin es peridica si cumple la condicin de periodicidad, es
decir, si despus de cada cierto intervalo de tiempo o espacio constante,
llamado periodo, la funcin adquiere el mismo valor de partida.
Matemticamente, esta condicin la podemos expresar de la siguiente
forma:

() = ( + )
Donde es el periodo caracterstico de la funcin ().

12

Figura 1. Ejemplo de Funcin peridica con periodo T.

Como podemos ver en la figura 1, si conocemos la forma de la


funcin en el intervalo [0, ], la conocemos en todo el espacio, debido a
que con una simple traslacin de periodo , podemos extender su campo
de existencia hasta donde nos sea necesario. Esta es una caracterstica
intrnseca de las funciones peridicas. Teniendo en cuenta esta
caracterstica, intentemos evaluar cualitativamente el aspecto que debe
de tener la imagen recproca (transformada de Fourier) asociada a una
funcin peridica (). Consideremos para ello que la funcin (), solo
se encuentra definida en el intervalo acotado 0, .
Sabemos que en un intervalo acotado,0, , la funcin la podemos
representar como una combinacin lineal de funciones armnicas, que
llamamos series de Fourier.
La caracterstica principal de estas series, es que solo estn
permitidos unos determinados valores propios o frecuencias propias, en
funcin de las condiciones de borde a las que estuviese sometida la
funcin. Fijndonos en este hecho, ser de esperar que el aspecto de la
transformada de Fourier de la funcin (), peridica y definida en el
intervalo [0, ], sea discreto. De hecho, esta discretizacin, deber de ser
proporcional al periodo en el que se encuentra definida la funcin, es decir
proporcional al inverso del periodo . La figura 2, muestra lo que cabe
esperar respecto al aspecto de la transformada de Fourier, asociada a la
funcin peridica ().

13

Figura 2. Aspecto cualitativo de la imagen reciproca de una funcin peridica

Imagen recproca de una funcin peridica


Para poder ir ms all y averiguar cul ser la distribucin de
amplitud que tiene la imagen recproca de una funcin peridica
genrica, deberemos de estudiar analticamente este tipo de funciones. Si
aplicamos la definicin de transformada de Fourier a la funcin peridica
(), obtenemos que:
+

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

Ec.2
Si realizamos el cambio de variable, = + , vemos que la
igualdad (Ec.2) adquiere la forma:

() =
()
=
()
2
2

Ec.3
Comparando las ecuaciones (Ec.2) y (Ec.3), apreciamos que, para
que se cumpla la igualdad, debe de cumplirse la condicin: = 1,
lo que tiene como consecuencia el hecho de que los nicos valores
posibles de w sern aquellos que cumplan que =

, para cualquier

valor entero de n. Por lo tanto solo aparecen, como frecuencias propias


posibles, las Wn proporcionales al inverso del periodo, tal y como

14

habamos deducido cualitativamente en el apartado anterior. Esta


caracterstica de discretizacin de las funciones peridicas, nos permite
representar su imagen recproca como una combinacin lineal de
funciones delta de Dirac.
En forma temporal el aspecto de la imagen recproca ser:

() = (
=

2
)

Ec.4

Anlogamente, la forma espacial tendr el aspecto:

( ) = (
=

2
)

Ec.5
Intuitivamente podramos decir que una funcin peridica genrica
(), posee una funcin transformada de Fourier con el aspecto de una
serie

de

Fourier.

Vemoslo

aplicando

la

definicin

general

transformada de () a la ecuacin 4.
+

() = ()

=
=

2
)

como integrar sobre deltas de Dirac es un regalo, debido a que:


+

( 0 ) = 0

llegamos, en definitiva, a la forma en serie de Fourier:

15

de

() =

Ec.6
Lo que acabamos de ver tiene como consecuencia inmediata que
cualquier funcin () o (), peridica y analtica en el intervalo, 0 < t <
T, se encuentra definida en todo el espacio de tiempos o de posiciones [infinito, +infinito], como ya habamos intuido cualitativamente.
Para calcular los coeficientes de la serie, aplicamos el mtodo,
2


tan resolutivo, de multiplicar por el factor
, ambos miembros de

la ecuacin 6 e integrar sobre el intervalo [0, ],

() =
=

|.

+ 0

Despus de operar, obtenemos como coeficientes de la serie de


Fourier (Ec.6), la expresin general:

2
1
()
0

Ec.7
Para el coeficiente a0 la ecuacin se simplifica notablemente, de
forma que:

1
0 = ()
0
El significado geomtrico de este nmero es el valor medio de la
amplitud de la funcin () en el intervalo [0, ] . De hecho, 0 es la
primera aproximacin, a la funcin () en dicho intervalo, tal y como se
muestra en la figura 3.

16

Figura 3. Primer trmino del desarrollo de Fourier de la funcin ()

El resto de los ponderan las amplitudes de los sucesivos


armnicos que describirn, cada vez mejor, la forma de la funcin
peridica evaluada.

Funciones Ortogonales
La ortogonalidad es un concepto fundamental para la comprensin
del anlisis de funciones por medio de las transformadas de Fourier,
Laplace y la transformada z.
Definicin 1. El producto escalar de dos funciones

1 y

definidas en un intervalo [a, b] es el nmero:

1 , 2 = 1 ( )2 ()

Entonces la norma que induce este producto escalar de una


funcin definida en el intervalo [a, b] es el nmero:

= ( 2 () )2

Definicin 2. Dos funciones 1 y 2 son ortogonales en el intervalo


[a, b] si:

17

1 , 2 = 1 ()2 () = 0

Por ejemplo, las funciones 1 () = 2 y 2 () = 3 son ortogonales


en el intervalo [1, 1] puesto que

1 6 1
1 , 2 = = = [ ] = 0
6
1
1
1
1

2 3

Definicin 3. Se dice que un conjunto de funciones { }


=0 es
ortogonal en el intervalo [a, b] si:

, = () () = 0,

Si { }
=0 es un conjunto ortogonal de funciones en el intervalo [a,
b] con la propiedad de que = 1 para cualquier , entonces se dice
que { }
=0 es un conjunto ortonormal en el intervalo [a, b].
Ejemplo. El conjunto {n (x) = cos(nx)}
=0 es ortogonal en el
intervalo [, ]. En efecto,

1
0 , = 1() = [ ()] = 0,

Si y son ambos distintos de 0,

, = ()cos()

1
= (cos(( + )) + cos(( )))
2

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

18

En este ejemplo, si calculamos las normas de cada funcin,


obtenemos:
1
2

0 = ( ) = 2

y para > 0,

1
2

1
2

1
0 = ( 2 () ) = ( |1 + (2)| ) =
2

De esta forma el conjunto {

1
2

cos(x) cos(2x)

, , } es ortonormal

en [, ].
Nota: de manera anloga puede probarse que el conjunto

1
2

cos() cos(2)

,,

() sen(2)

, , } es ortonormal en

[, ].

Es conocido que, dada una base ortogonal en un espacio vectorial


de dimensin finita, cualquier elemento de dicho espacio vectorial puede
representarse como combinacin lineal de los elementos de esa base.
Nuestro objetivo es extender esta propiedad a un espacio de dimensin
infinita.
Sea { }
=0 un conjunto ortogonal de funciones en el intervalo [a,
b] y sea una funcin definida en ese intervalo. Los coeficientes , =
0,1,2, , para los que:

() = 0 0 () + 1 1 () + + () +
se calcula multiplicando esta expresin por m e integrando en el
intervalo [a,b]

19

() ()

= 0 0 () () + 1 1 () () +

+ () () +

Por ortogonalidad, cada termino del lado derecho de la

ltima

ecuacin es cero, excepto cuando = . En este caso, se tiene:

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

Por tanto,

() = ()
=0

donde los coeficientes vienen dados por:

() ()

2 ()

,
2

Esto es,

() =
=0

Este desarrollo se llama desarrollo en serie ortogonal de (o


tambin, serie de Fourier generalizada).

20