Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Inttrafu PDF
Inttrafu PDF
NOCIONES BASICAS
E. SAEZ
Por la hipotesis de no periocidad de la funcion, una respuesta de una representacion de tipo Fourier no es posible, pues la Series de Fourier tienen la propiedad de
periocidad.
Definici
on 1. Una funcion f : (, ) R se llama Absolutamente Integrable si
yR s
olo si, el valor principal de Cauchy de la integral impropia,
1 si || 1
0 si || > 1
1
,
1
Entonces, la funcion es Absolutamente Integrable, pues
Z
Z 1
|f ()|d =
d = 2 <
Notese que una funcion periodica f : (, ) R, No es Absolutamente Integrable. En particular las funciones trigonometricas basicas, Seno y Coseno , no son
Absolutamente Integrables.
Integral de Fourier
Sea P C[p, p], el Espacio Euclidiano de las funciones seccionalmente continuas
definidas 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 funcion f : (, ) R, seccionalmente continua en cada
subintervalo cerrado [p, p], p > 0, equivalentemente p > 0, f P C[p, p]. Ademas
Departamento de Matem
atica, UTFSM
email: eduardo.saez@usm.cl.
1
E. SAEZ
nx
nx
a0 X
+
+ 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 coeficientes de la serie (1) estan dados por los coeficientes de Fourier:
Z
Z
1 p
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 situacion lmite cuando p , busquemos para
este calculo una expresion mas adecuada que (1). Reemplazando los coeficientes de
Fourier en la serie de Fourier (1):
h R
n i
1 Rp
1 P
nx
p
f
()
cos
f (x) =
f
()d
+
d cos
p
p
2p
p n=1
p
p
hR
i
n
nx
p
+ p f () sen
d sen
p
p
R
1 P
1 Rp
n
p
f
()d
+
( x)f ()d
o bien equivalentemente, f (x) =
cos
p
p
2p
p n=1
p
1X 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 lmite cero cuan1 R
1 R p
p
do p , pues
f ()d 0, ya que f es Absolutamente
f
()d
p
p
2p
2p
Integrable.
Para demostrar la convergencia del segundo sumando, del segundo miembro de (2),
consideremos la definicion 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 particion aritmetica del intervalo [0, ],
p p
p
Si n =
Geometricamente,
h 1 2
2p
0 p
n
n p
>
.
p
Rp
Para cada p > 0 y n N, sea la funcion: F (n ) = p f () cos n ( x)d. La funcion
R
R
p
es bien definida ya que existe y es acotada pues F (n ) p |f ()|d |f ()|d
y por hipotesis f es Absolutamente Integrable en (, ).
La Norma de la particion es (Pp ) =
F (n )n
n=1
F ()d
1 RR
f () cos ( x)dd , x (, )
0
f (x) =
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
trigonometra:
cos ( x) cos cos x + sen sen x . Introduciendo esta identidad en la
Integral de Fourier (3) se tiene:
1 RR
f (x) =
f
()
cos
cos
x
+
sen
sen
x
dd, o bien,
0
i
R
R h1 R
1
f () cos d cos x +
f () sen d sen x d
f (x) = 0
Si se definen los coeficientes, tambien llamados Coeficientes de Fourier:
1
a =
1
f () cos d , b =
f () sen d , > 0
(4)
f (x) =
R
0
a cos x + b sen x d , x (, )
EN INTEGRAL DE FOURIER
REPRESENTACION
La Representacion de f : (, ) R, con las hipotesis de la introduccion en
Integral de Fourier, es una generalizacion de las Series de Fourier para funciones
definidas en P C[p, p], p > 0.
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 R
f () sen d = 0, pues el integrando en la variable, , es impar
b =
R sen
Entonces, f (x) = 2 0
cos xd , x R . Geometricamente en el Espacio
Euclidiano, es el vector,
sen
d, o bien ,
d =
=2
2
0
0
Z
Z
sen
sen 2
Notese que para x = 1, f (1) = 2
cos d , o bien ,
=
d
0
0
Versi
on Compleja de la Integral de Fourier
El integrando de la Integral de Fourier (3), es una funcion Par en la variable . Por
las propiedades de las funciones Pares, en el sentido del Valor Principal de Cauchy,
se puede escribir equivalentemente
Z Z
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
Z Z
f () sen ( x)dd = 0
x)dd
=0
(6)
2
(7)
f (x) =
1
2
R R
f ()ei(x) dd , x R
E. SAEZ
F[f ]() :=
f ()ei d = f()
F 1 [f](x) :=
1
2
f()eix d
1
2
F 1 [f](x) :=
1
2
f ()ei d
f()eix d
f (x)
x
Figura 1
Usando directamente la definicion (9) se tiene:
R
R0
R
F[ea|x| ]() = ea|x| eix dx = ea|x| eix dx + 0 ea|x| eix dx
0
R x(a+i)
R 0 x(ai)
ex(ai)
ex(a+i)
dx = ai
dx + 0 e
= e
ai
Pero ex(ai) eax (cos x i sen x), entonces en el sentido de lmite ||ex(ai) || =
eax 0 si x pues a > 0
Analogamente ||ex(a+i) || = eax 0
Luego , F[ea|x| ]() =
si x .
1
2a
1
= 2
, a > 0.
a i a + i
a + 2
, C
i0 x
]() =
f (x)e
i0 x ix
dx =
f (x)ei(0 )x dx
{z
}
|
F [f ](0 )
E. SAEZ
f (x x0 )eix dx
1
F[f ]( )
F[f (x)]() =
||
Demostracion:
F[f (x)]() =
R {0}
f (x)eix dx
1
F[f ]( )
||
1
2
Z
f()ei d , es decir, F[f]() = 2f ()
2f () =
Comentario 5. Notese que la formula anterior permite calcular una transformada inversa, calculando la transformada de la transformada , luego para recuperar la
funcion f , basta cambiar x y luego dividir por 2
2a
Ejemplo 6. En el ejemplo (4) se tiene, F[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: F[ 2
]() = 2ea|| , de donde cambiando
2
a +x
2a
1
x, y dividiendo por 2. F [ 2
](x) = ea|x| , a > 0. Notese que tambien
a + 2
1
2a
]() = 2ea|| F[ 2
]() = ea|| , a > 0
F[ 2
2
2
a +x
a +x
a
Definici
on 2. Una funcion f : (, ) (, ) , C -diferenciable tiende
R
apidamente a Cero si y s
olo si tiene la propiedad
lm xm f (n) (x) = 0 , n, m N0
|x|
Figura 2
Teorema 2. Sea f una funcion que tiende Rapidamente a Cero, entonces:
Z
|f (x)|dx < , ( converge )
|x|K
|x|>K
R
Pero |x|K |f (x)|dx = M < , donde la constante M existe pues f es continua en
el intervalo [K, K] . Ademas la integral del segundo sumando tambien existe pues
R
R
R dx
dx
1
|f
(x)|dx
=
2
=
2
= K2 <
x
|x|>K x2
|x|>K
K x2
K
E. SAEZ
10
Observaci
on 1. Si f tiende Rapidamente a Cero , todas sus derivadas f (n) tienden
Rapidamente a Cero y por el Teorema anterior
Z
|f (n) (x)|dx <
n N ,
F[f ]() =
f (x)e
ix
dx = f (x)e
Z
f (x)eix dx
+ i
| {z
}
ix
F [f ]()
= xT2
<x<, t>0
2
T (x, 0) = ex
p
2
2
Indicacion: F[eax ]() = a e 4a , a > 0
11
Observaci
on 2. El ejemplo planteado es una modelaci
on de la distribucion de Temperatura, T = T (variables espacial, tiempo) de una barra suficientemente aislada,
de longitud infinita 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:
h T i
() = 2 F[T ]().
Pero
F
t
h i
R
R
F T
T (x, t)eix dx = t
F[T (x, t)]()
() = t
(T (x, t))eix dx = t
t
2
inicial. Usando la Indicacion para a = 1 se tiene c() = e 4 . Luego
h
i
2 (1+4t)
2
2
F T (x, t) () = e 4 e t = e 4
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
E. SAEZ
12
f ()g(x )d
donde existe la cota M = supxR {|g(x)|} , pues g es una funcion que tiende rapidamente a cero.
Teorema 5. Sean dos funciones f, g : (, ) R que tienden Rapidamente a
Cero. Entonces
F[f g] = F[f ]F[g]
Demostracion:
F[f g]() =
(f g)(x)e
ix
dx =
Z
f ()g(x )d eix dx
| {z
} | {z
}
F [f ]()
F [g]()
13
1
F[f ]
2
Demostracion:
F
1
[f g](x) =
2
1
(f g)()eix d =
2
Z
f ()
g ( )d eix d
g( )eix dd
f ()
F [f g](x) =
2
1
2
f()eix d
g(t)eitx dt
h 1 Z
ih 1 Z
i
ix
= 2
f()e d
g(t)eitx dt
2
2
{z
} |
{z
}
|
F 1 [f](x)
= 2f (x)g(x)
F 1 [
g ](x)
O bien, F 1 [f g] = 2F 1 [f]F 1 [
g]
Relaci
on entre las transformadas de Laplace y Fourier
Sea la funcion f : (, ) R tal que:
0 si t < 0
f (t) =
, a 0 donde : (0, ) R es una funcion
eat (t) si t 0
absolutamente integrable, seccionalmente continua y con derivadas laterales en cada
punto, equivalentemente la funcion se puede escribir como f (t) = (t)(t)eat
Por definicion de la Transformada de Fourier:
Z
Z
Z
it
at it
F[f ]() =
f (t)e
dt =
(t)(t)e e
dt =
(t)e(a+i)t dt
E. SAEZ
14
, a>0
i) Representar
la funcion en una Integral de Fourier de la forma reducida,
R
b sen xd , x (, ). ( Integral Senoidal de Fourier). Indicaci
on:
0
Considere una extensi
on adecuada de f .
ii) Para cada 0 < x < a.
Z
cos(a) 1
Cu
al es el valor la Integral ,
sen(x)d = ?
0
Ejercicio 3. Idea. Considerar un sistema de entrada y salida con la Transformada
de Fourier, F[f ] = g
i) Defina una funcion f de entrada del tipo funciones definidas por tramos y
preguntar por la salida.
15
ii) Defina una funcion g de salida del tipo funcion definida por tramos y pedir la
transformada inversa
Referencias
[1] A.N. Kolmogorof, S.V Fomin Elementos de la Teora 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 Ingeniera. Volumen II. Editorial Limusa, 1974.
[4] L. Schwartz. Mathematics for the Physical Sciences. Dover Publications, Inc. Mineola, New
York, 2008.