Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Abstract
In this article we study the Fourier series in the circle and the
Fourier transform of infinitely diferentiable real functions with
all its derivatives rapidly decreasing. We also provide examples
of some of the most important aplications of Fourier analysis to
several branches of mathematics and physics.
Key words and phrases: The isomorphism theorem, Fourier
series, Fourier transform, Parseval identity, Plancherel identity,
Schwartz functions.
44
Genaro Gonzalez
Introducci
on
La idea basica de las series de Fourier es que toda funcion periodica de perodo
T puede ser expresada como una suma trigonometrica de senos y cosenos del
mismo perodo T . El problema aparece naturalmente en astronoma, de hecho
Neugebauer (1952) decubrio que los Babilonios utilizaron una forma primitiva
de las series de Fourier en la prediccion de ciertos eventos celestiales.
La historia moderna de las series de Fourier comenzo con DAlembert
(1747) y su tratado de las oscilaciones de las cuerdas del violn. El desplazamiento u = u(t, x) de una cuerda de violn, como una funcion del tiempo t y
de la posicion x, es solucion de la ecuacion diferencial
2u
2u
=
,
t2
x2
t > 0,
0 < x < 1,
1
1
f (x + t) + f (x t),
2
2
n=1
y como consecuencia
u(t, x) =
n=1
Las mismas ideas fueron luego expuestas por D. Bernoulli (1753) y Lagrange
(1759). La formula
Z 1
f(n) = 2
f (x) sin nx dx
0
para calcular los coeficientes aparecio por primera vez en un artculo escrito
por Euler en 1777.
45
Espacios de Hilbert
Definici
on 1. Un espacio eucldeo es un espacio vectorial complejo H junto
con una funci
on que asocia a cada par ordenado de vectores x, y H un
n
umero complejo (x, y), llamado producto interior de x e y, de manera tal que
se verifican las siguientes propiedades:
1. (x, y) = (y, x), (la barra denota conjugaci
on compleja).
2. (x + y, z) = (x, z) + (y, z), para todo x, y, z H.
3. (x, y) = (x, y), para todo x, y H y para todo escalar .
4. (x, x) 0, para todo x H.
5. (x, x) = 0 s
olo si x = 0.
En virtud de la propiedad p
4 podemos definir la norma de un vector x de
H mediante la formula kxk = (x, x). Se satisfacen las siguientes relaciones:
1. Desigualdad de Schwarz. Para todo x, y H, |(x, y)| kxkkyk.
46
Genaro Gonzalez
Definici
on 2. Un espacio eucldeo H recibe el nombre de espacio de Hilbert
si toda sucesi
on de Cauchy converge en H, es decir, si H es completo con la
metrica inducida por el producto interno.
Definici
on 3. Sea H un espacio de Hilbert. Si (x, y) = 0 para ciertos x, y
H decimos que x es ortogonal a y. Como (x, y) = 0 implica que (y, x) =
0 tenemos que la relaci
on de ortogonalidad es una relaci
on simetrica. Un
conjunto de vectores u en H, donde recorre alg
un conjunto de indices A, se
llama ortonormal si se satisfacen las relaciones de ortogonalidad (u , u ) = 0
para todo , A con 6= , y si est
a normalizado de modo que ku k = 1
para cada A. En otras palabras, {u } es ortonormal si
(
1, si =
(u , u ) =
0, si 6= .
Si {u : A} es ortonormal, asociamos a cada x H una funcion
compleja x
sobre el conjunto de indices A, definida mediante
x
() = (x, u )
( A).
Los n
umeros x
() se llaman los coeficientes de Fourier de x relativos al conjunto {u }.
Los cuatro teoremas siguientes establecen algunas de las propiedades mas
importantes de los conjuntos ortonormales y los coeficientes de Fourier en
espacios de Hilbert. Las demostraciones pueden verse en [2] o [3].
Teorema 1. En un espacio de Hilbert todo conjunto ortonormal es linealmente independiente.
Teorema 2. Sea H un espacio de Hilbert. Supongamos que {u : A}
es un conjunto ortonormal con A a lo sumo numerable. Entonces para todo
x H se satisface la siguiente desigualdad:
X
|
x()|2 kxk2 (Desigualdad de Bessel)
A
47
Teorema 3. Sea {u : A} un conjunto ortonormal en H con A numerable. Las siguientes condiciones son equivalentes:
1. {u } es un conjunto ortonormal maximal en H.
2. El conjunto de todas las combinaciones lineales finitas de elementos de
{u } es denso en H.
P
3. Para todo x H, kxk2 = A |
x()|2 (Identidad de Plancherel).
P
4. Si x, y H, entonces (x, y) = A x
()
y () (Identidad de Parseval).
Geometra de L2 (I)
Observe que
|(f, g)|
|f g| =
|f ||g|
1
(|f |2 + |g|2 ) <
2
48
Genaro Gonzalez
Z
|f |2
1/2
< .
49
f (x)g(x) dx.
0
Es claro que L2 (S1 ) es canonicamente isomorfo a L2 (I). El principal resultado referente a este espacio es el siguiente teorema:
Teorema 6. La familia de funciones definidas por
en (x) = e2inx = cos(2nx) + i sin(2nx)
forman una base ortonormal para L2 (S1 ). En consecuencia, toda funci
on
f L2 (S1 ) puede ser expandida mediante una serie de Fourier en la forma
f (x) =
f(n)en .
n=
con coeficientes
f(n) = (f, en ) =
f en =
f (x)e2nx dx.
kf k22 =
n=
|f(n)|2 .
1
2in f (n).
R1
Demostraci
on. f0 (n) = 0 f 0 (x)e2inx dx. Integrando por partes obtene1 R 1
mos que f0 (n) = e2inx f (x)0 0 f (x)e2in (2in) dx = 2inf(n)
Transformadas de Fourier
Las funciones de Schwartz son aquellas funciones definidas en R que son infinitamente diferenciables y rapidamente convergentes a cero. Mas formalmente.
50
Genaro Gonzalez
Definici
on 4. Una funci
on f se llama funci
on de Schwartz si f C (R)
2 k (p)
y lim|x| (1 + x ) f
= 0, para todo par de enteros no negativos k y p.
En nuestra notaci
on, f (0) = f . Equivalentemente, f es una funci
on de Schwartz si lim|x| P (x)f (n) (x) = 0 para todo entero no negativo n y para todo
polinomio P (x).
El conjunto formado por todas las funciones de Schwartz se denota por
S(R). Evidentemente S(R) L1 (R) L2 (R). Puede probarse facilmente
que S(R) es denso en L1 (R) y en L2 (R).
Definici
on 5. Para f, g S(R), definimos
Z
f() = f (x) exp(2inx) dx
Z
f(x) = f () exp(2ix) d
(2)
(3)
Definici
on 6. Para f, g L1 (R), definimos la convoluci
on de f y g mediante
Z
(f g)(x) = f (x y)g(y) dy.
Es facil probar que kf gk1 kf k1 kgk1 y por lo tanto la convoluci
on
define un producto en L1 (R).
La integral de Fourier puede definirse mediante (2) para funciones en
L1 (R). Sus principales propiedades vienen dadas en el siguiente teorema.
Teorema 8. Para cualquier funci
on f en L1 (R) la transformada de Fourier
Z
f() = f (x) exp(2ix) dx
existe como una integral de Lebesgue ordinaria y satisface las siguientes propiedades:
51
1. kfk kf k1 .
2. f C(R).
3. lim|| f() = 0.
\
4. (f
g) = fg.
5. f = 0 si y s
olo si f = 0.
Aplicaciones
El poder extraordinario y la flexibilidad de las series y transformadas de Fourier se ponen de manifiesto en la asombrosa variedad de las aplicaciones que
ellas tienen en diversas ramas de la matematica y de la fsica matematica, desde teora de n
umeros y geometra hasta mecanica cuantica. En esta seccion
presentamos algunas de las mas importantes aplicaciones del analisis de Fourier. Comenzamos dando una hermosa y elegante solucion al que demostro
ser uno de los mas complejos problemas de la geometra plana: el famoso
problema isoperimetrico.
6.1
El problema isoperim
etrico
area es la circunferencia.
Demostraci
on. Supongamos que la curva C est
a parametrizada en la forma
(x(t), y(t)), donde el parametro t representa la longitud de arco. En virtud
del teorema de Stokes
Z
Z
1
1 1
A=
(x dy y dx) =
(xy y x)
dt
2 C
2 0
1
l2 (
l2 ) (Parseval)
= ((
x, y)
y , x)
2
X
1X
in(
xy x
y)(n) (En virtud del lema 1)
=
(
xy yx)(n)
=
2
nZ
nZ
X
X
in2iIm(
=
nIm(
x(n)
y (n)) = 2
x(n)
y (n)).
nZ
nZ
52
Genaro Gonzalez
Por otra parte, puesto que la curva C tiene permetro 1, tenemos que:
Z 1
X
2
2
l2 + kyk
l2 =
1=
(x 2 + y 2 ) = kxk
|x(n)|
+ |y(n)|
0
nZ
nZ
2 2
4 n (|
x(n)| + |
y (n)| ) = 4 2
nZ
n2 (|
x(n)|2 + |
y (n)|2 ).
Luego,
1
Xh
i
1
A =
n2 (|
x|2 + |
y |2 ) + 2nIm(
x(n)
y (n)) .
4
nZ
Escribamos x
= + i, y = + i, entonces
X
1 1
A =
n2 (2 + 2 + 2 + 2 ) + 2n( ))
4
nZ
X
=
(n + )2 + (n )2 + (n2 1)( 2 + 2 ) 0.
n6=0
1
, que es precisamente el area encerrada por una circunfeLuego A 4
rencia de longitud 1.
1
Supongamos ahora que se satisface la igualdad A = 4
y demostremos
1
que la curva C es una circunferencia. En efecto, si A = 4 , entonces
X
(n + )2 + (n )2 + (n2 1)( 2 + 2 ) = 0.
n6=0
Esta u
ltima relacion implica que si |n| 2, entonces = = = = 0,
y s |n| = 1, entonces (1) = (1) y (1) = (1). Por otra
R1
parte, (1) = Re(
x(1)) = 0 x(t) cos(2t) = (1), similarmente (1) =
R1
Im(
x(1)) = 0 x(t) sin(2t) = (1). Analogamente, (1) = (1) y
(1) = (1).
Desarrollando las funciones x(t) y y(t) en series de Fourier, obtenemos
entonces que:
X
x
(n)e2in = x
(0) + 2(1) cos(2t) 2(1) sin(2t)
(4)
x(t) =
nZ
y(t) =
nZ
(5)
53
6.2
Temperatura de la tierra
2u
x2
e2int dt = 2
u
t
e2int dt = 4incn .
54
Genaro Gonzalez
..........
.... .....
...
...
..
..
...
..
.
.
..
..
..
.
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
........ ..
..
......
.
.
.
.
.
.
.
.
.
.
.
.
..
......
..............
.
.
..
.
.
.
.
..........................
.
..
.
.
..
..
...
.
..
..
..
..
...
..
... ....
...... ......
...
1/2
u(t,
invierno
6.3
1/2
/2)
Evaluaci
on de series no triviales
X
1
1
=
x2 dx = kf k2 = kfk2 = + (2 2 )1
n2 .
3
4
0
n=1
Despejando la suma de esta expresion, obtenemos que
1 1
n2 = 2 2 ( ) = 2 /6.
3
4
n=1
55
n4 = 4 /90.
n=1
1
4 4 n4
1
=
5
=
1
3,
1
2 2 n2
1
4 2 n2 .
1
2n i,
si n = 0,
si n =
6 0.
1
0
x2 exp(2inx) dx = kf k2 = kf(n)k2
1
1 X 1
1 X 1
+ 4
+
.
9 2 n=1 n4
2 2 n=1 n2
X
1 1
1 2
4
1
4
=
2
=
.
4
2
n
5 9 2 6
90
n=1
6.4
Desigualdad de Wirtinger
ba
ba
kf 0 k2 ,
Demostraci
on. Es suficiente probar la desigualdad en el intervalo [0, 1/2].
En efecto, dada f C([a, b]) sea h : [a, b] [0, 1/2] la funcion lineal h(x) =
(x a)/(2(b a)), pongamos y = h(x) y definamos g(y) = (f h1 )(y).
56
Genaro Gonzalez
Entonces
Z
b
a
|f (x)|2 dx =
1/2
1
2(b a) 2 kg 0 (y)k22
4
Z
b a 1/2 0
=
|g (y)|2 dy
2 2 0
Z
ba b
dx
=
|2(b a)f 0 (x)|2
2
2
2(b a)
a
2
ba
=
kf 0 (x)k22 .
Supongamos pues que f C([0, 1/2]) con f (0) = f (1/2) = 0. Extendamos f a una funcion impar en [1/2, 1/2]. Entonces dicha extension es una
funcion periodica de perodo 1, i.e., f L2 (S1 ) y por consiguiente,
X
X
kf 0 k2L2 (S1 ) =
|f0 (n)|2 =
|2inf(n)|2
Z
n6=0
= 4
4 n |f(n)|2 4 2
2 2
kf k2L2 (S1 ) .
n6=0
|f(n)|2
6.5
Soluci
on de ecuaciones diferenciales
57
o equivalentemente,
u
= (4 2 2 + 1)1 f.
Pero (1 + 4 2 2 )1 es la transformada de Fourier de la funcion 21 e|x| y por
consiguiente, tenemos que:
1
u = [(4 2 2 + 1)1 f]= [(4 2 2 + 1)1 ] (f)= e|x| f
2
Z
1
e|xy| f (y) dy.
=
2
6.6
t > 0,
xR
(6)
6.7
exp(x2 /2t)
(2t)1/2
Ecuaci
on de ondas
t > 0,
x R,
58
Genaro Gonzalez
= 4 2 2 u
,
2
t
despues encontramos u
:
sin 2t
u
(t, ) = cos 2t f() +
g()
2
Z
1 2it
1 t 2iy
2it
= [e
+e
]f () +
e
dy g(),
2
2 t
y luego invertimos para finalmente obtener:
1
1
u(t, x) = [f (x + t) + f (x t)] +
2
2
x+t
g(y) dy.
xt
Esta es la llamada f
ormula de DAlembert.
6.8
F
ormula de Poisson
c
1 + x2
nZ
P
Demostraci
on. Fijemos x [0, 1] y definamos f (x) = nZ f (x + n). Es
facil ver que esta serie es absolutamente convergente.
P Por otra parte, en el
Pintervalo [k, k + 1] podemos definir f (x + k) =
f
(x
+
k
+
n)
=
nZ
lZ f (x + l) = f (x), para todo k Z, lo que
indica que f es una funci
odica de perodo 1; esto es f C(S 1 ).
P on peri
0
0
Similarmente, f (x) = nZ f (x + n) converge absolutamente en R a una
funcion periodica en S 1 ; luego tenemos que ( f )0 = f 0 y por consiguiente f
puede desarrollarse en una serie de Fourier.
X
f (n)e2inx .
f (x) =
nZ
59
Donde,
f (n) =
f (x)e2inx dx.
0
Luego,
X
f (n) = f (0) =
nZ
=
=
XZ
nZ 0 mZ
XXZ 1
nZ mZ
XZ
nZ
f (x)e2inx dx
f (x + m)e2inx dx
f (x + m)e2inx dx
m+1
f (y)e2in(ym) dy
f (y)e2iny dy =
nZ
6.9
XXZ
XZ
f (n) =
nZ
1
nZ mZ
f(n).
nZ
Identidad de Jacobi
exp(n2 t),
para t > 0.
n=
para t > 0.
Demostraci
on: Consideremos el kernel de Gauss
1 x2 /2t
pt (x) =
e
.
2t
60
Genaro Gonzalez
Entonces
pt () = e2
2t
1 n2 /2t X 22 n2 t
e
=
e
.
2t
nZ
nZ
Luego, haciendo el cambio t t/2, obtenemos que:
1 X n2 /t X n2 t
e
=
e
.
t nZ
nZ
Es decir,
1
1
(t) = ( ).
t t
Referencias
[1] Dym, H., McKean, H. P., Fourier Series and Integrals. Academic Press,
New York, 1972.
[2] Rudin, W., An
alisis Real y Complejo. Alhambra, Madrid, 1979.
[3] Kolmogorov, A. N., Fomn, S. V., Elementos de la Teora de Funciones y
del An
alisis Funcional . Editorial MIR, Mosc
u, 1972.