INTEGRAL Y TRANSFORMADA DE FOURIER NOCIONES BASICAS

E. SAEZ

Por la hip otesis de no periocidad de la funci on, una respuesta de una representaci on de tipo Fourier no es posible, pues la Series de Fourier tienen la propiedad de periocidad. Denici on 1. Una funci on f : ) R se llama Absolutamente Integrable si y s o lo si, el valor principal de Cauchy de la integral impropia, |f )|d < converge). 1 1

Pregunta Es posible conseguir una expresi on, que represente equivalentemente a una funci on, no peri odica y denida en el intervalo ) ?.

Ejemplo 1. Sea la funci on f : ) R , tal que: f ) = 1 si | | 1 0 si | | > 1

1 Entonces, la funci on es Absolutamente Integrable, pues 1 |f )|d = d = 2 <

1

N otese que una funci on peri odica f : ) R, No es Absolutamente Integrable. En particular las funciones trigonom etricas b asicas, Seno y Coseno , no son Absolutamente Integrables. Integral de Fourier Sea P C [p p], el Espacio Euclidiano de las funciones seccionalmente continuas denidas en el intervalo [p p] p > 0. Veremos que este espacio es muy adecuado para comprender la idea de la Integral y Transformada de Fourier con la ayuda del Algebra Lineal. Supongamos una funci on f : ) R, seccionalmente continua en cada subintervalo cerrado [p p] p > 0, equivalentemente p > 0 f P C [p p]. Adem as
Departamento de Matem atica, UTFSM email: eduardo.saez@usm.cl.
1

E SAEZ

suponemos que la funci on es Absolutamente Integrable en ). Entonces se sabe que en cada intervalo cerrado [p p] p > 0 la funci on admite una representaci on en serie de Fuorier nx nx a0 + + bn sen an cos 1) f x) = 2 p p n=1 La convergencia es en el sentido del espacio Euclidiano, es decir, ||f x) Sk x)|| 0 si k , donde Sk x) es la k - esima suma parcial de la serie de Fourier 1). Convergencia llamada en Norma convergencia en media). Se sabe que los coecientes de la serie 1) est an dados por los coecientes de Fourier: p 1 1 p nx nx an = dx n N0 ; bn = dx n N f x) cos f x) sen p p p p p p Con el objeto de pasar 1), a la situaci on l mite cuando p , busquemos para este c alculo una expresi on m as adecuada que 1). Reemplazando los coecientes de Fourier en la serie de Fourier 1): n 1 p nx 1 p f ) cos f x) = d cos f ) d + p p 2p p n=1 p p n nx p + p f ) sen d sen p p 1 1 p n p x)f )d f )d + o bien equivalentemente, f x) = cos p 2p p n=1 p p

La expresi on anterior tambi en se puede escribir en la forma: p 1 p n 1 f )d + cos x)f )d 2) f x) = 2p p n=1 p p p

El primer sumando del segundo miembro de 2), claramente tiene l mite cero cuan1 1 p p f )d 0, ya que f es Absolutamente do p , pues f )d 2p p 2p p Integrable. Para demostrar la convergencia del segundo sumando, del segundo miembro de 2), consideremos la denici on misma de la Integral de Riemann. n n 1) n n N0 entonces n = = nN p p p p Sea Pp = {0 2 ... n ...} una partici on aritm etica del intervalo [0 ], p p p Si n = Geom etricamente, 1 2 2 p 0 p n n p >

INTEGRAL Y TRANSFORMADA DE FOURIER

. p p on Para cada p > 0 y n N, sea la funci on: F n ) = p f ) cos n x)d . La funci p es bien denida ya que existe y es acotada pues F n ) p |f )|d |f )|d y por hip otesis f es Absolutamente Integrable en ). La Norma de la partici on es Pp ) = Sea la suma de Riemann S F Pp ) =
n=1

F n )n

Pero p = n 0 Pp ) 0 y l m S F Pp ) =
p

F )d

Entonces, si p la expresi on 2) tiene l mite: 3) f x) = 1 f ) cos x)dd x ) 0 INTEGRAL DE FOURIER Comentario 1. La integral de Fourier, equivalentemente se puede escribir en forma similar a una Serie de Fourier. Con este objetivo, consideremos la identidad de la trigonometr a: cos x) cos cos x + sen sen x . Introduciendo esta identidad en la Integral de Fourier 3) se tiene: 1 f x) = f ) cos cos x + sen sen x dd o bien 0 1 1 f ) cos d cos x + f ) sen d sen x d f x) = 0 Si se denen los coecientes, tambi en llamados Coecientes de Fourier: 1 a = 1 f ) cos d b =

f ) sen d > 0

La Integral de Fourier se puede escribir, equivalentemente como: f x) =

0

4)

EN INTEGRAL DE FOURIER REPRESENTACION La Representaci on de f : ) R, con las hip otesis de la introducci on en Integral de Fourier, es una generalizaci on de las Series de Fourier para funciones denidas en P C [p p] p > 0.

a cos x + b sen x d x )

E SAEZ

Ejemplo 2. Cu al es la representaci on en Integral de Fourier de la funci on ?. f x) = si |x| 1 0 si |x| > 1 1 1

Respuesta 1. Es claro que la funci on es, p R seccionalmente continua en cada intervalo [p p] y Absolutamente Integrable. Entonces n In admite una representaci tegral de la forma, f x) = 0 a cos x + b sen x d x ). Los Coecientes de Fourier est an dados por: 1 1 1 sen a = f ) cos d = cos d = 2 1 1 f ) sen d = 0 pues el integrando en la variable es impar b = sen Entonces, f x) = 2 0 cos xd x R . Geom etricamente en el Espacio Euclidiano, es el vector, 1 1

Comentario 2. La igualdad entre la funci on y su representaci on en integral de Fourier en 4), no es en sentido puntual del C alculo, en consecuencia para un x R arbitrario pero jo, no necesariamente la respectiva im agen de la funci on, coincide con el valor de la Integral en el punto. An alogamente al estudio de las Series de Fourier se tiene un Teorema de convergencia puntual para la Integral de Fourier. En textos m as avanzados que estos apuntes se demuestra: Teorema 1. Sea f una funci on, seccionalmente continua en todo intervalo nito, absolutamente integrable en R y con derivadas laterales en cada punto. Entonces, la Representaci on Integral de Fourier converge puntualmente f x+ ) + f x ) a cos x + b sen x d = x ). 2 0

Comentario 3. Del teorema anterior es inmediato que en los puntos de continuidad de f , la Integral de Fourier coincide con la im agen de los puntos. En los puntos de discontinuidad que son nitos), la discontinuidad es siempre de salto pues los l mites laterales existen por hip otesis. En estos puntos la Integral de Fourier converge al valor medio del salto y no necesariamente coincide con la im agen de la funci on en el punto. En particular, para funciones continuas y las hip otesis restantes del Teorema anterior. La representaci on en Integral de Fourier coincide puntualmente

INTEGRAL Y TRANSFORMADA DE FOURIER

con la funci on, equivalentemente, la representaci on en Integral de Fourier y la funci on son id enticas en R. Ejemplo 3. Del ejercicio 1, redeniendo la funci on en x = 1 y x = 1 como , se 2 tiene geom etricamente que la gr aca de la funci on est a dada por: 1 1

En particular para x = 0, la funci on es continua y la im agen es . Entonces se tiene que el valor de la integral impropia: sen sen d o bien d = =2 2 0 0 sen sen 2 N otese que para x = 1 f 1) = 2 cos d o bien = d 2 0 0 Versi on Compleja de la Integral de Fourier El integrando de la Integral de Fourier 3), es una funci on Par en la variable . Por las propiedades de las funciones Pares, en el sentido del Valor Principal de Cauchy, se puede escribir equivalentemente 1 f ) cos x)dd x R 5) f x) = 2 Por las propiedades de las funciones Impares, en el sentido del Valor Principal de Cauchy, es inmediato para la integral en la variable f ) sen x)dd = 0
i En consecuencia, multiplicando igualdad anterior por 2 i f ) sen x)dd = 0 6) 2

donde i es la unidad imaginaria del sistema de n umeros complejos

Sumando cero al segundo miembro de la f ormula 5), reemplazando el cero por la f ormula 6) y reagrupando las integrales impropias se obtiene: [cos x) i sen x)]f )dd f x) = 21 Por la identidad de Euler, ei cos + i sen con R, se puede escribir: f x) =
1 2

7)

COMPLEJA DE LA INTEGRAL DE FOURIER VERSION

f )eix) dd x R

E SAEZ

TRANSFORMA COMPLEJA DE FOURIER La Integral Compleja de Fourier se puede escribir equivalentemente 1 ix 8) f x) = e f )ei d d x R 2 funci on de La existencia de las integrales impropias en 8) permite denir la Transformada de Fourier de la funci on f , como la funci on en la variable . 9) [f ]) := ) f )ei d = f

en 8) se recupera la funci N otese que introduciendo la funci on f on f pues se tiene: 1 )eix d f f x) = 2 Por lo anterior, se dene la Transformaci on Inversa de Fourier por: 10) ]x) := 1 [f
1 2

)eix d f

Comentario 4. Algunos autores para aumentar la simetria de las f ormulas en las deniciones de la Transformada de Fourier y su inversa, reparten el coeciente de 1 en ambas integrales y denen: = 1 7), 21 2 2 [f ]) :=
1 2

f )ei d )eix d f

]x) := 1 [f

1 2

Expresiones conocidas con el nombre de Formas Sim etricas de la Transformada de Fourier y su Inversa. Ejemplo 4. Por c alculo directo obtener: [ea|x| ]) = ? a > 0 Soluci on: Es claro que la funci on f x) = ea|x| a > 0 es absolutamente integrable, seccionalmente continua en cada intervalo de la forma [p p] p > 0 y con derivadas laterales en cada punto ver Fig 1)

INTEGRAL Y TRANSFORMADA DE FOURIER

x)

x Figura Usando directamente la denici on 9) se tiene: 0 [ea|x| ]) = ea|x| eix dx = ea|x| eix dx + 0 ea|x| eix dx 0 0 xi) x+i) = exai) dx + 0 exa+i) dx = e ai e ai
0

Pero exai) eax cos x i sen x), entonces en el sentido de l mite ||exai) || = e 0 si x pues a > 0
ax

An alogamente ||exa+i) || = eax 0 Luego [ea|x| ]) =

1 2a 1 a > 0. = 2 a i a + i a + 2

si x .

Propiedades de la Transformada de Fourier Suponiendo la convergencia de las integrales impropias involucradas, las propiedades b asicas de la Transformada de Fourier son an alogas a las correspondientes propiedades de la Transformada de Laplace. Propiedad 1 Linealidad). [f + g ] = [f ] + [g ]

Demostraci on: Consecuencia inmediata de la propiedad de linealidad de la integral.

Propiedad 2 Primer Teorema de Traslaci on). [f x)ei0 x ]) = [f ] 0 ) R Demostraci on: [f x)e

i0 x

]) =

f x)e

i0 x ix

dx =

f x)ei0 )x dx
[f ]0 )

E SAEZ

, entonces por la identidad de Euler Ejemplo 5. Si [f ] = f iax iax ] ) + [ f x ) e ] ) [ f x ) e [f x) cos ax]) = 1 2 = 1 [ f ] a ) + [ f ] + a ) 2 An alogamente, se deja como ejercicio al lector demostrar la f ormula: i [f x) sen ax] = [f ] a) [f ] + a) 2 Propiedad 3 Segundo Teorema de Traslaci on). [f x x0 )]) = eix0 [f ]) x0 R Demostraci on: [f x x0 )]) =

f x x0 )eix dx

Sea el cambio de coordenadas variables), x x0 = , entonces [f x x0 )]) = f )ei+x0 ) d = eix0 f )ei d

[f ])

Propiedad 4 Cambio de Escala). 1 [f ] ) [f x)]) = || Demostraci on: [f x)]) =

R {0}

f x)eix dx

Sea el cambio de coordenadas variables), x = , entonces: i 1 1 Si > 0 [f x)]) = f )e d = [f ] ) i i 1 1 d = f )e d Si < 0 [f )]) = f )e 1 [f ] ) = Luego , [f x)]) =
1 [f ] ) ||

Propiedad 5 Transformada de la Transformada ). ]) = 2f ) [f Demostraci on: f x) =

1 2

] es decir , f = 1 [f [f ] = f )eix d 2f x) = )eix d , cambiando x f f ]) = 2f ) )ei d es decir, [f f 2f ) =

INTEGRAL Y TRANSFORMADA DE FOURIER

Comentario 5. N otese que la f ormula anterior permite calcular una transformada inversa, calculando la transformada de la transformada , luego para recuperar la funci on f , basta cambiar x y luego dividir por 2 2a Ejemplo 6. En el ejemplo 4) se tiene, [ea|x| ]) = 2 a > 0. a + 2 Cambiando x en el segundo miembro de la igualdad anterior y aplicando 2a la propiedad 5 , se tiene: [ 2 ]) = 2ea|| de donde cambiando a + x2 2a ]x) = ea|x| a > 0. N otese que tambi en x y dividiendo por 2. 1 [ 2 a + 2 1 2a ]) = 2ea|| [ 2 ]) = ea|| a > 0 [ 2 a + x2 a + x2 a Denici on 2. Una funci on f : ) ) , C -diferenciable tiende R apidamente a Cero si y s olo si tiene la propiedad
|x|

l m xm f n) x) = 0 n m N0

Comentario 6. La idea de la condici on anterior signica geom etricamente que para |x| muy grande a izquierda o derecha) la gr aca de la funci on f y las gr acas de todas sus derivadas son curvas que tienden asint oticamente m as r apido al eje x que el crecimiento de cualquier potencia xm ver Fig. 2).

Figura 2 Teorema 2. Sea f una funci on que tiende R apidamente a Cero, entonces: |f x)|dx < converge )

Demostraci on: Si f tiende R apidamente a Cero, en particular l m|x| x2 f x) = + 0. Entonces existe una costante K R , sucientemente grande tal que |x| > 1 on justica la K x2 |f x)| 1 , es decir, |x| > K |f x)| x 2 . Esta inecuaci mayoraci on: |f x)|dx |f x)|dx + |f x)|dx |x|K |x|K Pero |x|K |f x)|dx = M < , donde la constante M existe pues f es continua en el intervalo [K K ] . Adem as la integral del segundo sumando tambi en existe pues 1 2 |f x)|dx |x|K dx = 2 K dx = 2 x < =K x2 x2 |x|K
K

10

E SAEZ

Observaci on 1. Si f tiende R apidamente a Cero , todas sus derivadas f n) tienden R apidamente a Cero y por el Teorema anterior |f n) x)|dx < n N

Teorema 3. Sea f una funci on que tiende R apidamente a Cero, entonces [f ]) = i [f ]) Demostraci on: [f ]) =

f x)e

ix

dx = f x)e

ix

Pero |f x)eix | = |f x)| 0 si |x| 0 pues f tiende R apidamente a Cero. Comentario 7. N otese que la derivada de una funci on, es convertida en una simple multiplicaci on por i, bajo la Transformada de Fourier. Teorema 4. Sea f una funci on que tiende R apidamente a Cero, entonces: n N [f n) ]) = i)n [f ]) Demostraci on: Ejercicio de Inducci on) Para n = 1 es el Teorema anterior. Supongamos que el Teorema es verdadero para n = k. Entonces, [f k+1) ]) = [f k) ) ]) = i) [f k) ]) = i)k+1 [f ]) Comentario 8. Una de las aplicaciones importantes de la Transformada de Fourier es a la resoluci on de Ecuaciones Diferenciales Parciales denidas en dominios no acotados del tipo, ). Sea el siguiente ejemplo para ilustrar este tipo de aplicaciones. Busquemos una funci on T = T x t) C 2 -diferenciable, denida en el dominio = )0 ) dominio no acotado en la variable x) que satisfaga la Ecuaci on de Calor Unidimensional y la condici on inicial de Cauchy:
T = x2 2 <x< t>0 x T x 0) = e 2 2 e 4 a > 0 Indicaci on: [eax ]) = a T t
2

f x)eix dx + i
[f ])

INTEGRAL Y TRANSFORMADA DE FOURIER

11

Observaci on 2. El ejemplo planteado es una modelaci on de la distribuci on de Tem peratura, T = T variables espacial, tiempo) de una barra sucientemente aislada, de longitud innita tal que cada punto en el instante inicial t = 0, tiene la temperatura que indica la condici on inicial. Aplicando al problema, la Transformada de Fourier y usando el Teorema 2, se tiene: T ) = 2 [T ]). Pero t T T x t)eix dx = t [T x t)]) ) = t T x t))eix dx = t t La interpretaci on del c alculo anterior signica que la Transformada de Fourier de la soluci on del problema planteado, como s olo funci on del tiempo t es soluci on de la Ecuaci on Diferencial Ordinaria d [T ]) = 2 [T ]) dt 2 Pero y t) = c)e t , donde c = c) es constante arbitarria respecto del tiempo es la soluci on general de la E.D.O. Como la Transformada de Fourier de la soluci on del problema planteado es soluci on de la E.D.O, entonces: 2 T x t) ) = c)e t para alguna constante respecto del tiempo c) = ?

Para recuperar T x t) = ?, usando la propiedad 5 Transformada de la Transformada) se tiene x2 1+4t) 2 2 ) = e 1+4t 2T t) = e 4 1 + 4t En la expresi on anterior, dividiendo por 2 y cambiando x se obtiene la soluci on del problema planteado: x2 1 T x t) = e 1+4t . N otese que l m T x t) = 0 |x| 1 + 4t Producto de Convoluci on Es muy conocido que la integral de un producto de funciones no es igual al producto de las integrales de las funciones, en consecuencia la Transformada de Fourier de un producto de funciones, que es una integral, no es igual al producto de las

Para determinar la constante c, consideremos la condici on inicial, entonces tomando t = 0 se tiene: 2 [ex ]) = c) Es decir, la constante adecuada c) =? es la Transformada de Fourier de la condici on 2 inicial. Usando la Indicaci on para a = 1 se tiene c) = e 4 . Luego 2 1+4t) 2 2 T x t) ) = e 4 e t = e 4

12

E SAEZ

Transformadas de Fourier de las funciones. Sin embargo, es deseable una propiedad en este sentido y la soluci on es simplemente cambiar el producto ordinario de funciones deniendo un nuevo producto. Denici on 3. Sean dos funciones f g : ) R que tienden R apidamente a Cero. El Producto de Convoluci on de f por g se dene como: f x) g x) f g )x) :=

f )g x )d

Observaci on: El Producto de Convoluci on es bien denido en el sentido que la integral impropia de la denici on es convergente. En efecto |f )|d < |f g )x)| M on que tiende r apidadonde existe la cota M = supxR {|g x)|} , pues g es una funci mente a cero. Teorema 5. Sean dos funciones f g : ) R que tienden R apidamente a Cero. Entonces [f g ] = [f ] [g ] Demostraci on: [f g ]) =

f g )x)eix dx =

f )g x )d eix dx

Cambiando el orden de integraci on se puede escribir g x )eix dxd f ) [f g ]) = Sea el cambio de coordenadas variables), t = x , entonces it+ ) i f ) g t)e dtd = f )e d [f g ]) = g t)eit dt
[f ]) [g ])

Comentario 9. La f ormula del Teorema anterior se puede escribir en t erminos de la Transformada Inversa. y [g ] = g ] = f y 1 [ Supongamos que [f ] = f , entonces 1 [f g] = g

g ] = f g , y es inmediato que Por el Teorema 5 , 1 [f g ] 1 [ 1 [f ] = 1 [f g]

INTEGRAL Y TRANSFORMADA DE FOURIER

13

Teorema 6. Sean dos funciones f g : ) R que tienden R apidamente a Cero. Entonces [f g ] = Demostraci on:
1 1 [f ] 2

g ] 1 [ [g ] , o bien, 1 [f ] = 2 1 [f g]

1 g [f ]x) = 2

1 g f ))eix d = 2

) f g )d eix d

Cambiando el orden de integraci on se puede escribir 1 1 g )eix dd f ) ]x) = [f g 2 Sea el cambio de coordenadas variables), t = , entonces ) g g t)eit+)x dtd f ]x) = 21 1 [f =
1 2

= 2f x)g x) g ] 1 [ ] = 2 1 [f g] O bien, 1 [f

1 1 ix = 2 f )e d g t)eitx dt 2 2
]x) 1 [f 1 [ g ]x)

)eix d f

g t)eitx dt

Relaci on entre las transformadas de Laplace y Fourier Sea la funci on f : ) R tal que: 0 si t < 0 f t) = a 0 donde : 0 ) R es una funci on at e t) si t 0 absolutamente integrable, seccionalmente continua y con derivadas laterales en cada punto, equivalentemente la funci on se puede escribir como f t) = t)t)eat Por denici on de la Transformada de Fourier: [f ]) = f t)eit dt = t)t)eat eit dt =
0

t)ea+i)t dt

Sea el exponente de la funci on exponencial en la integral anterior a + i = s, entonces s . La integral tiene la forma de una transformada de Laplace y se puede escribir: [f ]) = L[]s) donde s = a + i

14

E SAEZ

Luego, la transformada de Fourier de f es una funci on en la variable real y se puede considerar como la transformada de Laplace de que es una funci on en la variable compleja s. Ejemplo 7. Sea f : ) R una funci on absolutamente integrable , seccionalmente continua y con derivadas laterales en cada punto, entonces L[f ]i) + L[f ]i) si f es una funci on Par [f ]) = L[f ]i) L[f ]i) si f es una funci on Impar Demostraci on: La funci on f admite integral de Fourier pues por hip otesis f satisface las condiciones para existencia de la transformada de Fourier . Entonces: 0 [f ]) = f t)eit dt = f t)eit dt + f t)eit dt Si f es una funci on Par , es decir f t) f t), consideremos el cambio de coordenadas t = en la integral o o it i f t)e dt = f )e d = f )ei d = L[f ]i) Luego,
0 0

[f ]) = L[f ]i) + L[f ]i) An alogamente si f es una funci on Impar, ejercicio para el lector. EJERCICIOS Ejercicio 1. Sea la funci on f : ) R , tal que , f x) = x + a) x a) a > 0 i) Encontrar una Representaci on en Integral de Fourier f. de a d =? ii) Para cada a > 0, Cu al es el valor de la integral 0 sen a>0

Ejercicio 2. Considere la funci on 1 si 0 x a fa x) = 0 si x > a

i) Representar la funci on en una Integral de Fourier de la forma reducida, b sen xd x ). Integral Senoidal de Fourier). Indicaci on: 0 Considere una extensi on adecuada de f . ii) Para cada 0 < x < a. cosa) 1 Cu al es el valor la Integral senx)d = ? 0 Ejercicio 3. Idea. Considerar un sistema de entrada y salida con la Transformada de Fourier, [f ] = g i) Dena una funci on f de entrada del tipo funciones denidas por tramos y preguntar por la salida.

INTEGRAL Y TRANSFORMADA DE FOURIER

15

ii) Dena una funci on g de salida del tipo funci on denida por tramos y pedir la transformada inversa Referencias
[1] A.N. Kolmogorof, S.V Fomin Elementos de la Teor a de Funciones y del An alisis Funcional. Editorial MIR Moscu. 1972. [2] D. Kreider, R. Kuller, D. Ostberg, F. Perkins.,Introducci on al An alisis Leneal Parte 2. Fondo Educativo Interamericano, S.A. 1971 [3] E. Kreyszig. Matem aticas Avanzadas para Ingenier a Volumen II. Editorial Limusa, 1974. [4] L. Schwartz. Mathematics for the Physical Sciences. Dover Publications, Inc. Mineola, New York, 2008.