Академический Документы
Профессиональный Документы
Культура Документы
SERIES Y TRANSFORMADAS
DE FOURIER
Javier Duoandikoetxea
UNAN-Managua, 2003
Presentaci
on
Las series e integrales de Fourier constituyen un tema clasico del analisis
matem
atico. Desde su aparici
on en el siglo XVIII en el estudio de las vibraciones de una cuerda, las series de Fourier han sido una piedra de toque
para el desarrollo de los conceptos b
asicos del an
alisis funcion, integral,
serie, convergencia..., y la evoluci
on de estos conceptos ha ido abriendo a
su vez nuevos rumbos en el an
alisis de Fourier. As lo expresa Zygmund en
el pr
ologo de su famoso libro sobre series trigonometricas (1958):
Esta teora ha sido una fuente de nuevas ideas para los analistas durante los dos u
ltimos siglos y probablemente lo ser
a en los
pr
oximos a
nos. Muchas nociones y resultados b
asicos de la teora
de funciones han sido obtenidos por los matematicos trabajando
sobre series trigonometricas. Es concebible pensar que estos descubrimientos podan haber sido realizados en contextos diferentes,
pero de hecho nacieron en conexion con la teora de las series trigonometricas. No fue accidental que la noci
on de funcion aceptada
ahora generalmente fuera formulada en la celebrada memoria de
Dirichlet (1837) que trata de la convergencia de la serie de Fourier,
o que la definicion de integral de Riemann en su forma general
apareciese en el Habilitationsschrift de Riemann sobre series trigonometricas, o que la teora de conjuntos, uno de los desarrollos
m
as importantes de las matematicas del siglo XIX, fuera creada
por Cantor en su intento de resolver el problema de los conjuntos
de unicidad para series trigonometricas. En epocas mas recientes,
la integral de Lebesgue se desarrollo en estrecha conexion con la
teora de series de Fourier y la teora de funciones generalizadas
(distribuciones) con la de las integrales de Fourier.
ii
Presentacion
Indice
Presentacion
1.8. Problemas
11
2.1. N
ucleo de Dirichlet
11
13
14
14
16
18
20
iii
Indice
iv
2.8. Problemas
Captulo 3. Convergencia uniforme de la serie de Fourier
21
23
23
3.2. Localizaci
on uniforme
25
26
3.4. Problemas
27
29
29
31
32
Captulo 5. Integraci
on y derivaci
on de series de Fourier
35
5.1. Integraci
on termino a termino de series de Fourier
35
5.2. Derivaci
on termino a termino de series de Fourier
38
5.3. Problemas
39
Captulo 6. Fen
omeno de Gibbs
41
41
6.2. Problemas
44
45
45
49
50
51
53
7.6. Problemas
55
57
57
8.2. La difusi
on del calor
59
8.3. Problemas
60
Indice
63
63
63
9.3. Equidistribuci
on de sucesiones aritmeticas
65
9.4. Problemas
66
67
67
69
70
72
10.5. Problemas
73
77
78
82
83
11.4. Convoluci
on y transformada de Fourier
85
86
89
89
11.8. Problemas
89
93
93
L2
95
96
98
99
100
103
103
Indice
vi
13.2. Formula de sumaci
on de Poisson
104
13.3. Ecuaci
on del calor
105
13.4. Ecuaci
on de Schr
odinger
105
106
108
111
13.8. Problemas
112
115
116
119
121
14.4. Problemas
122
125
A.1.
Sucesiones numericas
125
A.2.
Series numericas
127
A.3.
Sucesiones de funciones
131
A.4.
Series de funciones
134
A.5.
Problemas
137
Apendice B.
141
B.1.
Integral de Riemann
141
B.2.
Integral de Lebesgue
146
B.3.
Problemas
152
Apendice C.
155
C.1.
Fourier
155
C.2.
Los precursores
157
C.3.
Dirichlet
161
C.4.
Riemann
162
C.5.
Convergencia y divergencia
165
Indice
vii
C.6.
La sumabilidad
166
C.7.
Los primeros a
nos del siglo XX
167
La convergencia en Lp
168
C.8.
Bibliografa
169
Indice de terminos
171
Captulo 1
La serie de Fourier
a0 X
+
(ak cos kx + bk sin kx) .
2
k=1
N
a0 X
(ak cos kx + bk sin kx) .
+
2
k=1
1. La serie de Fourier
1 (x)2 (x) dx = 0,
a0 X
(an cos nx + bn sin nx)
+
f (x) =
2
n=1
f (x) dx = a0 ,
f (x) cos kx dx = ak .
2 En
f (x) sin kx dx = bk .
el captulo 10 se ver
a la raz
on de este nombre.
bk (f + g) = bk (f ) + bk (g) .
3. Si f 0 existe y es continua,
(1.5)
ak (f 0 )
bk (f 0 )
, bk (f ) =
, k = 1, 2, . . .
k
k
Aqu la continuidad y la existencia de derivada se entienden referidas
a la funcion extendida peri
odicamente. Esta propiedad se demuestra
integrando por partes; en realidad, si f es continua, es suficiente con
que sea derivable a trozos y f 0 continua a trozos (incluso valen situaciones m
as generales que comentamos en la seccion 5.1). Hay otras
ak (f ) =
1. La serie de Fourier
"
N
c2 X
(c2k + d2k ) .
|pN (x)| dx = 0 +
2
k=1
(1.8)
|f pN |2 =
(f 2 2f pN + p2N ),
|f pN | =
f 2
N
X
a0 c0 +
Z
(ck ak + dk bk )
k=1
"
N
X
c20
+
(c2k + d2k )
2
k=1
N
a2 X
=
f 0 +
(a2k + b2k )
2
k=1
"
N
(a0 c0 )2 X
+
(ak ck )2 + (bk dk )2 ,
+
2
k=1
k=1
f2
para cualquier N . Esta desigualdad ofrece una cota superior para las sumas
parciales de una serie de terminos positivos por lo que podemos deducir el
siguiente resultado.
Teorema 1.2 (Desigualdad de Bessel). Si f 2 es integrable,
(1.9)
a20 X
1
+
(a2k + b2k )
2
k=1
f2 .
an
,
An
sin n =
a2n + b2n y un
angulo n de
bn
.
An
Entonces se tiene
ak cos kx + bk sin kx = Ak cos(kx + k ),
y la serie trigonometrica (1.1) se escribe
a0 X
+
Ak cos(kx + k ) .
2
k=1
1. La serie de Fourier
kx
kx
a0 X
(ak cos
+
+ bk sin
).
2
`
`
k=1
1
`
f (x) cos
kx
dx ,
`
bk =
1
`
f (x) sin
kx
dx .
`
eit + eit
,
2
sin t =
eit eit
.
2i
1.8. Problemas
(1.10)
ck eikt .
k=
1.7. Qu
e funciones integrables?
Deliberadamente he dejado el termino integrable sin calificar de modo que
podemos dudar si hablamos de la integral de Riemann o de la de Lebesgue. Desde
la aparicion de esta a principios del siglo XX, es el marco natural para las series de
Fourier. Pero toda la teora cl
asica se desarroll
o en el siglo XIX en terminos de la
integral de Riemann, as que quien no conozca la teora de la integral de Lebesgue
puede considerar que en todos los enunciados referidos a series de Fourier hablamos
de funciones integrables Riemann. S
olo hay que hacer una observaci
on: para la
integral de Riemann de funciones no acotadas se consideran integrales impropias y
en ese caso los resultados se limitan a las que son absolutamente convergentes.
El apendice B recoge las propiedades principales de las integrales de Riemann
y de Lebesgue. En las demostraciones del texto supondremos que las funciones
son acotadas y no haremos los detalles de la extensi
on a funciones no acotadas.
Normalmente ser
a suficiente con pasar por una aproximaci
on a traves de funciones
acotadas.
1.8. Problemas
1.1 Calcular los coeficientes de Fourier de las funciones peri
odicas de periodo
2 que siguen. Indicar en que casos el criterio de Weierstrass (teorema A.18
del apendice A) permite asegurar la convergencia uniforme de las series que
resultan:
(i) f (x) = x2 en (, );
(ii) f (x) = x2 en (0, 2);
(iii) f (x) = | sin x| en (, );
0 si x (, 0),
x si x (0, );
1. La serie de Fourier
(ix) f (x) =
ex
ex
si x (, 0),
si x (0, ).
1/
si x (, ),
si x (, ),
si x (, ),
x
.
`
1
0
si x (0, h),
si x (h, ).
/3
si x (0, /3),
f (x) = 0
si x (/3, 2/3),
/3 si x (2/3, ).
Demostrar que los coeficientes de Fourier b2k son nulos y dar una formula
para los no nulos en funci
on de los valores de f en (0, /2).
C
omo debera ser f para que los coeficientes a2k y los bk fuesen nulos
y s
olo quedasen los a2k+1 ?
1.9 Probar que los coeficientes de Fourier se pueden calcular como
Z
1
[f (x) f (x )] cos kx dx,
ak =
2
k
Z
1
[f (x) f (x )] sin kx dx.
bk =
2
k
1.8. Problemas
|ak | L , |bk | L .
k
k
1.10 Series de Fourier en forma compleja.
1. Se considera el polinomio trigonometrico (1.2). Sustituyendo cos kt y
sin kt por exponenciales complejas, se puede escribir
pN (t) =
(1.11)
N
X
ck eikt .
k=N
1
|ck |
2
k=
2
|f (t)|2 dt
siguiendo los mismos pasos que en la seccion 1.4, ahora con pN polinomio trigonometrico complejo.
Captulo 2
Convergencia puntual
de la serie de Fourier
N
a0 X
+
(ak cos kx + bk sin kx) .
2
k=1
2.1. N
ucleo de Dirichlet
Conviene representar la suma parcial de una forma m
as manejable. Para
ello sustituimos los coeficientes ak y bk por sus expresiones integrales y
tenemos
SN f (x) =
1
2
1
=
f (t) dt +
N Z
1X
f (t) [cos kt cos kx + sin kt sin kx] dt
k=1
N
1
1 X
cos k(x t)] dt =
f (t) [ +
2
k=1
f (t)DN (x t) dt .
DN (t) =
1
+ cos t + cos 2t + + cos N t
2
11
12
DN (t) =
sin(N + 1/2)t
.
2 sin t/2
Figura 2.1. Gr
afica de D10 en un periodo.
El n
ucleo de Dirichlet tiene las siguientes propiedades elementales:
Propiedades.
1. DN es una funci
on peri
odica de periodo 2;
13
La primera propiedad permite cambiar el intervalo de integracion a cualquier otro de longitud 2. Como tambien f es de periodo 2, se puede poner
1
SN f (x) =
(2.3)
f (x t)DN (t) dt .
SN f (x) =
[f (x + t) + f (x t)]DN (t) dt .
f (t) cos t dt = 0.
que claramente tiende a cero cuando tiende a infinito. Los mismo ocurre
con la otra integral.
De aqu se deduce que el resultado es cierto para cualquier funcion escalonada. Si f es integrable1 , dado > 0, existe g escalonada tal que
Z
Haciendo
Z
f (t) sin t dt
|f g | < /2.
Z
|f (t) g (t)| dt +
g (t) sin t dt
14
|t|<
f (x0 t)
1
sin(N + )t dt .
2 sin t/2
2
f (x0 t) ,
sin t/2
0,
si |t| ,
si |t| ,
15
Demostraci
on. Teniendo en cuenta la propiedad 3 del n
ucleo de Dirichlet
(secci
on 2.1), podemos escribir
Z
sin(N + 1/2)t
1
[f (x0 + t) f (x0 )]
dt
SN f (x0 ) f (x0 ) =
2 sin t/2
Z
1 f (x0 + t) f (x0 )
t
=
sin(N + 1/2)t dt .
t
2 sin t/2
El primer factor del u
ltimo integrando es una funcion integrable en el conjunto (, ) (, ) y adem
as est
a acotada en un entorno de 0 (por la
existencia de derivada), luego es integrable en (, ) (vease problema B.2
en el apendice B). El segundo factor es una funcion continua en ese intervalo
ya que la aparente discontinuidad en el origen es evitable. El producto de
ambas funciones sera una funci
on integrable y se puede aplicar el lema de
Riemann-Lebesgue para deducir que el lmite de SN f (x0 ) f (x0 ) es 0.
La existencia de derivada en x0 exige la continuidad en ese punto. Con
una peque
na variante se puede cubrir el caso en que la funcion tiene una
discontinuidad de salto en x0 . Para ello y suponiendo que existen los lmites
laterales f (x0 +) y f (x0 ) en x0 , definimos las derivadas laterales en x0
como
f (x0 + t) f (x0 +)
y
t0+
t
f (x0 + t) f (x0 )
f (x0 ) f (x0 t)
f 0 (x0 ) = lim
= lim
t0
t0+
t
t
f 0 (x0 +) = lim
sin(N + 1/2)t
dt
2 sin t/2
16
g(t)h(t) dt = g(b)
h(t) dt .
aj
aj1
g(t)h(t) dt = j
aj
h(t) dt
aj1
g(t)h(t) dt =
k
X
j=1
j [H(aj1 ) H(aj )]
Rb
x
17
= 1 H(a) +
k1
X
j=1
(Hemos a
nadido g(b)H(b) que es cero.) Los coeficientes que multiplican a
valores de la funcion H en la anterior expresion son todos no negativos por
ser g no decreciente, de modo que se puede escribir como el producto de
la suma de los coeficientes (que es g(b)) por un valor comprendido entre el
m
aximo y el mnimo de H. Por la continuidad de H, este valor sera H(c)
para alg
un c (a, b).
Lema 2.7. Existe una constante M (independiente de N ) tal que
DN (t) dt M
Demostraci
on. Sumando y restando t1 sin(N + 1/2)t en el integrando
tenemos
Z
Z
sin(N + 1/2)t
sin(N + 1/2)t Z
1
1
dt
dt .
2 sin t/2 t dt +
2 sin t/2
t
B sin t
dt
est
a acotada independientemente de A y B con 0 A < B < .
Z
Z B
B sin t cos A
cos t
cos B
3
dt =
dt
3.
A
t
A
B
t
A
A
N 0
18
(2.5)
N 0
g(t)DN (t) dt = 0
para g mon
otona a trozos en (0, ) y tal que g(0+) = 0. Aplicando (2.5) a
f (x + t) f (x+) y f (x t) f (x) queda probado el teorema.
Z
Z
DN (t) dt /2 .
g(t)DN (t) dt = g()
satisface
19
Demostraci
on. Se tiene
SN f (x0 ) ` =
(t)DN (t) dt =
(t)
sin(N + 1/2)t dt .
2 sin t/2
La funcion
t
(t)
(t)
=
2 sin t/2
t 2 sin t/2
es integrable en (0, ) porque el primer factor lo es por hipotesis y el segundo
es una funci
on continua. Como claramente es tambien integrable en (, ),
el lema de Riemann-Lebesgue termina la prueba.
Observese que si f es continua en x0 , ` no puede ser m
as que f (x0 ),
pero la continuidad no es suficiente por s sola para garantizar la condicion
de Dini.
El resultado de Dini incluye como caso particular un teorema previo de
Lipschitz (1864).
Teorema 2.9 (Teorema de Lipschitz). Si f es integrable en [, ] y en un
punto x0 de ese intervalo se cumple
(2.6)
La condici
on puntual asociada tambien es suficiente para la convergencia:
basta tener |t| en el segundo miembro de (2.6) para aplicar el teorema de
Dini. Por otra parte, tambien se podran poner condiciones del tipo
(2.7)
|f (x0 t) f (x0 )| Lt ,
para 0 < t < y, en este caso, el lmite sera [f (x0 +) + f (x0 )]/2. Estas
condiciones con = 1 se satisfacen para las funciones del teorema 2.4 y en
el caso del teorema 2.3 se cumple (2.6).
El teorema de Dirichlet fue optimizado por Jordan, quien introdujo en
1881 las funciones de variaci
on acotada. En un intervalo [a, b] se definen
20
como aquellas funciones f para las que existe C > 0 tal que
(2.8)
k
X
j=1
|f (tj ) f (tj1 )| C,
Como consecuencia una funcion de variacion acotada tiene lmites laterales en cada punto y el teorema 2.5 sirve para esta clase de funciones.
1
,
log |x/2|
< x < ,
1
,
|x|
21
2.8. Problemas
4
sin 3x sin 5x
sgn x =
sin x +
+
+
3
5
(2.9)
sin 2x sin 3x
+
x = 2 sin x
2
3
(2.10)
cos 2x cos 3x
2
4 cos x
+
3
22
32
(2.11)
x2 =
(2.12)
cos 3x cos 5x
4
|x| =
cos x +
+
+
2
32
52
4
2
| sin x| =
(2.13)
(2.14)
2a sin a
cos ax =
X
(1)k
1
+
cos kx
2a2 k=1 a2 k 2
(a no entero) .
= 1 + +
4
3 5 7
1
1
1
1
= +
+
+
2
3 15 35
1 1 1
= 1 + +
3 5 7
2 2
2
1
1
1
=
+
4
3 15 35
1
1
1
2
= 1 2 + 2 2 +
12
2
3
4
X
a
(1)k
= 1 + 2a2
sin a
a2 k 2
k=1
2
1
1
1
= 1 + 2 + 2 + 2 +
8
3
5
7
a cot a = 1 + 2a2
k=1
a2
1
k2
que salen respectivamente (de arriba abajo y de izquierda a derecha) haciendo x = /2 en (2.9)
o (2.10), x = /4 en (2.9), x = 0 en (2.11), x = 0
en (2.12), x = 0 y x = /2 en (2.13), x = 0 y x = en (2.14).
2.8. Problemas
2.1 Estudiar si las funciones del problema 1.1 del captulo anterior satisfacen los
criterios de convergencia que hemos visto en este.
22
X
sin kx
k=1
X
cos kx
k=1
k2
X
1
k=1
k2
sin t
dt = .
t
2
0
1
Sugerencia: Sumar y restar t sin(N + 1/2)t a (2.2).
Captulo 3
Convergencia uniforme
de la serie de Fourier
(3.1)
k=1
Por otra parte, como una sucesion de funciones continuas que converge uniformemente tiene como lmite una funcion continua (teorema A.15), s
olo
podemos esperar convergencia uniforme de series de Fourier hacia funciones continuas. Un primer resultado sencillo, pero que podemos aplicar en
muchos de nuestros ejemplos, es el que sigue.
Teorema 3.1. Sea f una funci
on continua en [, ] cuya derivada existe
excepto en un n
umero finito de puntos y es continua a trozos y acotada.
Entonces, la serie de Fourier de f converge uniformemente en [, ].
En los extremos del intervalo la continuidad se entiende referida a la
extension peri
odica y, por tanto, f () = f ().
23
24
Demostraci
on. La relacion entre los coeficientes de Fourier de f y f 0 viene
dada por la propiedad 3 de la seccion 1.3 como
bk (f 0 )
ak (f 0 )
,
bk (f ) =
, k = 1, 2, . . .
k
k
Utilizando la conocida desigualdad 2AB A2 + B 2 podemos escribir
1 1
1 1
2
2
0 2
+ k |ak (f )|
+ |bk (f )| ,
|ak (f )|
2 k2
2 k2
1 1
1 1
2
0 2
2
+ k |bk (f )|
+ |ak (f )| .
|bk (f )|
2 k2
2 k2
De aqu se deduce inmediatamente que la condici
on (3.1) se cumple siempre
P
que la serie (|ak (f 0 )|2 + |bk (f 0 )|2 ) sea convergente, lo que ser
a cierto por la
desigualdad de Bessel (1.9) (secci
on 1.4) ya que las hip
otesis aseguran que
f 0 es de cuadrado integrable.
ak (f ) =
En las hip
otesis anteriores se puede adem
as dar una estimacion de la
velocidad de convergencia. Concretamente,
N
(3.2)
sup |f (x) SN f (x)| 1/2 ,
N
x
donde N es una sucesion que tiende a cero.
En efecto, escribimos
|f (x) SN f (x)|
k=N +1
1/2
1
|f (x) SN f (x)|
k2
k=N +1
k=N +1
1/2
k2
k=N +1
N +1
1
1
dx .
2
x
N
X
k=1
v
ease la secci
on 10.1.
ak bk
!2
X
k=1
a2k
n
X
k=1
b2k ;
25
3.2. Localizaci
on uniforme
El principio de localizacion (teorema 2.2 de la seccion 2.3) asegura que el
comportamiento de la serie de Fourier en un punto depende s
olo de como sea
la funcion en un entorno del punto. Se podra esperar algo semejante para
el caso de la convergencia uniforme, considerando subintervalos de [, ].
Para probar un resultado de este tipo comenzamos adaptando el lema de
Riemann-Lebesgue.
Lema 3.2. Sea f una funci
on peri
odica de periodo 2, integrable y acotada,
y g una funci
on mon
otona a trozos y acotada. Entonces,
lim
f (x + t)g(t) sin t dt = 0
uniformemente en x.
Demostraci
on. Podemos suponer que f y g son no negativas (si no lo fueran, bastara con separar partes positivas y negativas). Sean M1 y M2 cotas
superiores de f y g, respectivamente. Dado > 0 elegimos una funcion esP
calonada h = Jj=1 mj Ij (Ij es un intervalo y Ij su funcion caracterstica)
que satisfaga 0 h f y
Z
.
(f h)
2M2
Escribimos
Z
f (x + t)g(t) sin t dt
= I + II.
(f h) .
2
Para la segunda,
II =
J
X
j=1
mj
Ij x
26
y podemos aplicar a cada una de las integrales que quedan el segundo teorema del valor medio para integrales. (Como g es monotona a trozos quiza
haya que dividir alguna integral en trozos mas peque
nos. El n
umero de trozos est
a acotado por una constante absoluta.) Se obtiene una cota CM2 /
y como |mj | M1 queda
CM1 M2 J
.
|II|
es v
alida si x [a + , b ]. Si definimos g(t) = |t| (t)(sin t/2)1 , el lema
anterior se aplica y se deduce que limN SN f (x) = 0 uniformemente en
[a + , b ].
27
3.4. Problemas
3.4. Problemas
3.1 Completar los detalles de la estimacion (3.3) haciendo las hip
otesis que all
se indican sobre la funcion.
3.2 Series de Fourier absolutamente convergentes.
Consideraremos funciones con valores complejos y series de Fourier en
forma compleja como en el problema 1.10. La serie de Fourier de f se escribe
ck eikt
k=
k=
|ck | < .
Captulo 4
Series de Fourier de
funciones continuas
30
an t sin t/2
)
2
t
SN f (0) =
X
sin(N + 1/2)t
f (t)
dt =
cn
sin t/2
n=1
sin(
In
an t sin(N + 1/2)t
)
dt.
2
t
SNk f (0) =
2/ak
f (t)
k
X
sin ak t/2
dt +
cj
sin t/2
j=1
Ij
Z
2/ak
sin ak t/2 ak 2/ak
f (t)
|f (t)| dt,
dt
sin t/2
2 0
y si j = k,
dt cj
dt = cj log j ;
cj
t
Ij
Ij t
ck
Ik
1
1
sin2 ak t/2
dt = ck log k ck
t
2
2
Ik
cos ak t
dt.
t
Como la u
ltima integral est
a acotada (integrar por partes), deducimos de
(4.1) que
k1
X
1
SNk f (0) ck log k
cj log j + rk ,
2
j=1
donde rk est
a acotada. Si escogemos las sucesiones {ck } y {k } adecuadamente podemos hacer tender SNk f (0) a infinito; por ejemplo, si ck = 4k y
k
k = 316 , se tiene ck log k = 4k log 3.
31
Z
1
1
dt,
+
| sin(n + 1/2)t|
t/2 sin t/2
0
y la u
ltima integral esta acotada (en n) porque el integrando lo esta. En la primera
integral hacemos un cambio de variable y queda
Z
Z (n+1/2)
| sin(n + 1/2)t|
| sin s|
dt =
ds
t
s
0
0
Z (n+1/2)
n1
X Z (j+1) | sin s|
| sin s|
ds +
ds
=
s
s
n
j=0 j
=
| sin t|
n1
X
j=0
1
ds + rn ,
s + j
32
n1
n1
X 1
1
1 X 1
,
+
(j + 1)
s + j
s j=1 j
j=0
y como se tiene
n
X
1
j=1
con
rn0
= log n + rn0
X
cos an x
n=1
bn
en la que b > 1 y a/b > 1 + 3/2. Si b > 1, el teorema A.18 asegura que la
suma de la serie es una funcion continua. La derivada termino a termino da
una serie divergente si a b, pero eso no es suficiente como prueba de que
la funcion no sea derivable. De hecho, observamos en la condicion escrita
un poco m
as arriba que Weierstrass exiga a/b > 1 + 3/2. Es cierto que
basta con a b, lo que fue probado por Hardy a
nos m
as tarde (daremos
una demostraci
on en la seccion 13.7).
La idea de construir funciones continuas sin derivada ya parece estar presente
en matematicos anteriores a Weierstrass. Por varias fuentes se atribuye a Riemann
la propuesta de
X
sin n2 x
,
n2
n=1
33
P20
Figura 4.1. Gr
afica de la funci
on
2n cos 3n t en el intervalo
n=1
(/3, /3) (un periodo) y detalle del intervalo (/9, 2/9).
X
cos an x
n=1
bn
3
xk x0 k
k
a
a
y | cos(ak xk ) cos(ak x0 )| 1;
34
entonces,
cos ak x cos ak x
ak
0
k
.
bk (xk x0 )
3bk
(4.3)
k1
k1
n
n
X a n
ak
X cos a xk cos a x0
bn
b
bk1 (a b)
n=0
n=0
k
X cos an xk cos an x0
a
bn
n=k+1
2ak
2
=
.
bn
bk (b 1)
n=k+1
ak
ak
2ak
|f (xk ) f (x0 )|
xk x0
3bk
bk1 (a b) bk (b 1)
1
2
ak 1
,
k
b 3 a/b 1 (b 1)
y en las hipotesis del enunciado el u
ltimo termino tiende a infinito si k tiende
a infinito.
=
Captulo 5
Integraci
on y
derivaci
on de series de
Fourier
5.1. Integraci
on t
ermino a t
ermino de series de
Fourier
Sea f una funcion peri
odica de periodo 2 cuya integral en (, ) es
nula. Entonces, su serie de Fourier se escribe
(5.1)
k=1
F (x) =
f (t) dt .
ak (F ) =
bk (f )
,
k
bk (F ) =
ak (f )
, k = 1, 2, . . .
k
36
5. Integraci
on y derivaci
on de series de Fourier
x
1
ak (F ) =
f (t) dt cos kx dx
Z x
Z
bk (f )
1
cos kx dx dt =
=
f (t)
.
k
Se hace igual para bk (F ) (en este hay que tener en cuenta que la integral de
f es cero).
En la definici
on (5.2) la elecci
on de como extremo inferior no es importante. Cualquier otra elecci
on producira una funcion que diferira de esta en una
constante, lo que no afecta mas que al termino a0 (F ) de la serie de Fourier, que no
entra en las formulas (5.3).
Hemos probado de paso que la propiedad 3 de la secci
on 1.3 es valida siempre
que f se pueda escribir como integral de su derivada (en casi todo punto). Las
funciones que cumplen esta condicion se llaman absolutamente continuas y se pueden caracterizar del modo siguiente: f es absolutamente continua en un intervalo
si para cada > 0 existe > 0 tal que
J
X
j=1
Sean ahora
f+ (x) = max{f (x), 0},
F (x) =
|bj aj | < .
f+ (t) dt
f (t) dt .
F (x) =
1
a0 (F ) X
+
(ak (f ) sin kx bk (f ) cos kx) .
2
k
k=1
suponemos que f es continua a trozos en lugar del criterio de Dirichlet se puede razonar
con el teorema 2.3.
5.1. Integraci
on termino a termino de series de Fourier
37
Si suprimimos la hip
otesis de integral nula sobre f , podemos considerar
la funci
on
Z
1
a0 (f )
g(x) = f (x)
f (t) dt = f (x)
2
2
cuya integral s se anula en (, ) y cumple
ak (f ) = ak (g) ,
bk (f ) = bk (g) ,
k = 1, 2, . . .
1
a0 (G) X
+
(ak (f ) sin kx bk (f ) cos kx)
2
k
k=1
F (x) = C +
X
a0 (f )
1
x+
(ak (f ) sin kx bk (f ) cos kx) .
2
k
k=1
(1)k+1
x X
=
sin kx,
2 k=1
k
< x < ,
F (x) =
X
(1)k+1
a0 (F )
+ a0 (f )
sin kx
2
k
k=1
X
1
k=1
Esta expresi
on es valida en (, ). Para los extremos del intervalo, la
funcion F tiene
ahora una discontinuidad de salto, de modo que la serie
R
convergera a
f /2.
La conclusion de los calculos realizados se recoge en el siguiente teorema.
38
5. Integraci
on y derivaci
on de series de Fourier
X
sin kx
(5.7)
k=2
log k
5.2. Derivaci
on t
ermino a t
ermino de series de
Fourier
La situacion para la derivaci
on termino a termino de series de Fourier
es inversa de la de la integraci
on. Este hecho es consecuencia de que las
propiedades de regularidad de una funcion mejoran al integrarla y empeoran
al derivarla. Por eso, si queremos dar un enunciado que permita derivar la
serie de Fourier de una funcion, las hip
otesis deben ir sobre la derivada, no
sobre la funci
on de partida.
Teorema 5.3. Sea f una funci
on continua que tiene una derivada a trozos
f 0 que es una funci
on integrable en (, ). Entonces, la serie de Fourier
de f 0 se obtiene derivando termino a termino la de f , es decir,
k=1
Sin embargo, no se puede decir nada de la convergencia de la serie obtenida sin hip
otesis suplementarias sobre f 0 .
La existencia de derivadas sucesivas de f permite obtener mejores cotas
sobre los coeficientes de Fourier de f y asegurar buenas propiedades de convergencia de la serie. Basta aplicar sucesivamente la formula que relaciona
los coeficientes de Fourier de una funcion y de su derivada para convencerse
de ello. Por ejemplo, si f 00 existe y es integrable,
ak (f 00 )
bk (f 00 )
y
b
(f
)
=
k
k2
k2
y los coeficientes de Fourier de f se acotan por A/k 2 lo que asegura la
convergencia uniforme (aunque, de todos modos, si f 00 existe ya podamos
aplicar el teorema 3.1).
ak (f ) =
5.3. Problemas
39
5.3. Problemas
5.1 Comprobar que de la serie de Fourier de sgn x se obtiene la de |x|, por
integraci
on termino a termino. Ambas estan calculadas en (2.9) y (2.12),
respectivamente.
5.2 Integrando la serie de Fourier de f (x) = x en (, ) demostrar que para
x , se tiene
cos x
2
cos 2x cos 3x
4
+
2
2
2
3
1
2
3
y, a partir de esta, demostrar que para x ,
sin x
sin 2x sin 3x
x( x)( + x) = 12
+
,
3
3
3
1
2
3
con convergencia uniforme en ambos casos.
x2 =
5.3 Utilizar el criterio de Dirichlet del problema A.16 para probar que la serie
trigonometrica (5.7) es uniformemente convergente en cualquier intervalo de
la forma [, ] para 0 < < /2 y, por tanto, define una funcion continua
en (0, ).
Captulo 6
Fen
omeno de Gibbs
6.1. El fen
omeno de Gibbs para funciones con
saltos
6.1.1. La funci
on signo.
Consideremos la funcion f (x) = sgn x para x (, ). Su serie de
Fourier es
4X
sin(2k + 1)x
(6.1)
k=0
2k + 1
-1
Figura 6.1. Gr
afica de S9 .
41
42
6. Fen
omeno de Gibbs
-1
Figura 6.2. Gr
afica de S19 .
1.15
Aumentando el n
umero de sumandos de la suma parcial, la situacion no
cambia: la figura 6.3 muestra una ampliaci
on de la grafica para S29 y, sin
embargo, el pico se mantiene. Este hecho, que puede resultar sorprendente,
no se remedia a
nadiendo terminos a la suma parcial (en la figura 6.3 mostramos S100 ). En efecto, el valor m
aximo de la suma parcial SN f en (0, )
no tiende a 1 cuando N tiende a infinito, sino al valor
(6.2)
sin x
dx = 1.17897944 . . .
x
43
1
d
4 sin 2N x
4 NX
cos(2k + 1)x =
S2N 1 f (x) =
.
dx
k=0
sin x
(La u
ltima igualdad se obtiene a partir de la formula cos(2k + 1)x sin x =
sin(2k + 2)x sin 2kx, del mismo modo que en el c
alculo del n
ucleo de
Dirichlet.) Esta derivada se anula en (0, ) en los ceros de sin 2N x que son
x = k/2N, k = 1, 2, . . . , 2N 1. La segunda derivada tiene en esos puntos
el signo de cos 2N x de modo que corresponden alternativamente a m
aximos
y mnimos locales, comenzando en un m
aximo.
Como S2N 1 f (0) = 0, de la expresi
on (6.3) para la derivada de la suma
parcial tambien se deduce
Z
4 x sin 2N t
dt .
S2N 1 f (x) =
0 sin t
Utilizando esta expresion se pueden comparar las sumas parciales en m
aximos
sucesivos y se comprueba que el primer m
aximo, que se obtiene para x =
/2N , es precisamente el m
aximo absoluto. Ah es donde vamos a evaluar
la suma parcial y calcular el lmite, de modo que buscamos
(6.4)
lim S2N 1 f (
1
4 NX
sin (2k + 1)/2N
) = lim
.
N
2N
k=0
2k + 1
44
6. Fen
omeno de Gibbs
Figura 6.5. Gr
afica de S15 en medio periodo para la funci
on impar de
periodo 2 que vale x en (0, ).
X
cos(2k + 1)x
(1)k
,
2k + 1
k=0
6.2. Problemas
6.1 Calcular el valor aproximado de la integral que aparece en (6.2) utilizando
la serie de Taylor de sin x. Queda una serie alternada de termino general
decreciente y se puede estimar el error como se indica en la seccion A.2.4.
6.2 Estudiar el fenomeno de Gibbs para la funci
on representada en la figura 6.5.
Captulo 7
Sumabilidad de series
de Fourier
n=1 an
N =
s1 + s2 + + sN
,
N
45
46
N f (x) =
N
1 X
1
N + 1 j=0
Dj (t)f (x t) dt .
Usando la expresi
on del n
ucleo de Dirichlet de (2.2) obtenemos
N
X
Dj (t) =
N
X
sin(j + 1/2)t
j=0
j=0
2 sin t/2
1 cos(N + 1)t
1 sin(N + 1)t/2
=
4 sin t/2
2
sin t/2
(7.1)
sin(N + 1)t/2
sin t/2
(7.2)
FN (t)f (x t) dt .
Usando la expresion (2.4) para las sumas parciales se puede escribir una
an
aloga para N f (x):
1
N f (x) =
(7.3)
FN (t)[f (x + t) + f (x t)] dt .
47
Figura 7.1. Gr
afica de F10 .
Este teorema fue muy importante en su tiempo ya que restitua a las series de Fourier una propiedad que el resultado negativo de du Bois-Reymond
sobre la convergencia de la serie para funciones continuas pareca haber cerrado, la de recuperar los valores de una funcion continua en todos sus
puntos (ademas con convergencia uniforme como veremos en la seccion 7.3).
A cambio, exiga cambiar el procedimiento de asignar a la serie un valor
suma. Veamos la prueba.
48
Demostraci
on. Utilizando (7.3) y la propiedad 2 de FN (junto con el hecho
de ser par) podemos escribir
1
N f (x) [f (x+) + f (x)]
2
Z
1
=
FN (t)[f (x t) + f (x + t) f (x) f (x+)] dt .
0
Ahora tenemos
Z
FN (t)[f (x t) f (x)] dt
FN (t)|f (x t) f (x)| dt
<t
|f | + |f (x)| .
Dado , se puede escoger de modo que el primer sumando sea menor que /2
por la definicion de f (x) y con este fijado, para todo N suficientemente
grande el segundo sumando tambien es menor que /2 por la propiedad 3
de FN . Se razona igualmente con f (x + t) f (x+) .
Figura 7.2. Gr
afica de 16 f (x) para la funci
on signo.
P
Un teorema de Hardy afirma que si una serie
an es sumable Ces`
aro y su
termino general satisface |nan | C, entonces la serie es convergente. Los coeficientes de Fourier de una funcion monotona a trozos y acotada satisfacen esta
condicion de tama
no (problema 2.2), de modo que el teorema de Dirichlet 2.5 se
puede deducir del de Fejer.
49
a0 X
+
rk (ak cos kx + bk sin kx).
r1 2
k=1
(7.4)
lim
"
1 X
+
f (t)
rk cos k(x t) dt.
2 k=1
Se llama n
ucleo de Poisson a la expresi
on
1 X
rk cos kt,
Pr (t) = +
2 k=1
k=1
1
1
(S r cos t) + r(S + 1) = (r + )S + (r cos t) .
r
r
Despejando S y sumando 1/2 tenemos finalmente
=
1 r2
2(1 2r cos t + r2 )
cuyas propiedades son semejantes a las del n
ucleo de Fejer.
(7.5)
Pr (t) =
50
2.
r1
lim Pr f = f
r1
uniformemente en [, ].
Demostraci
on. Solo la haremos para N f ya que el otro caso es semejante.
Escribamos como en la prueba del teorema 7.1
Z
4M
FN (t) dt .
|N f (x) f (x)| sup |f (x t) f (x)| +
|t|
Como ahora deseamos convergencia uniforme necesitamos que dado > 0
exista > 0 tal que sup0t |f (x t) f (x)| < /2 para todo x (es decir,
51
7.4. Aproximaci
on en media
Hasta ahora hemos considerado s
olo la posibilidad de representar la funci
on a traves de su serie de Fourier estudiando lmites puntuales o uniformes.
Sin embargo, sabemos que existen otros modos de convergencia. En particular, la sucesion {gN } converge en media (o en L1 ) a una funcion g en [, ]
si
lim
|N f f | = 0
lim
r1
|Pr f f | = 0 .
52
Demostraci
on. Nuevamente trabajaremos solo con N f . Volviendo a la
demostracion del teorema 7.1 escribimos
Z
|N f (x) f (x)| dx
Z
|t|
FN (t) dt .
Lo u
nico que necesitamos para concluir el teorema es probar que si f es
integrable
lim
t0
|f (x t) f (x)| dx = 0 .
|N f f | = 0
lim
r1
|Pr f f |p = 0 .
|N f (x) f (x)|p
FN (t)|f (x t) f (x)| dt
La cuesti
on de la unicidad, que hemos mencionado en la seccion anterior
para funciones continuas, se puede responder ahora para funciones integrables. Si los coeficientes de Fourier de una funci
on f son Rtodos nulos, las
sumas N f son todas nulas y el teorema 7.6 implica que |f | = 0. Si los
coeficientes de f y g coinciden, los de f g son nulos y se tiene el siguiente
corolario.
Corolario 7.8. Si f y g son funciones integrables en [, ] y tienen los
mismos coeficientes de Fourier, se tiene
Z
|f g| = 0 .
53
|SN f f |
|N f f |2 ,
|SN f f |2 = 0.
"
N
a2 X
(a2k + b2k ) .
|SN f f | =
f 0 +
2
k=1
f2 =
a20 X
+
(a2k + b2k ).
2
k=1
54
1
a0 (f )a0 (g) X
(ak (f )ak (g) + bk (f )bk (g)).
+
fg =
2
k=1
Podra ser m
as apropiado llamar igualdad de Parseval a la correspondiente a series de Fourier y guardar el nombre de igualdad de Plancherel para las integrales.
Hay autores que lo hacen as, hay quienes usan el nombre igualdad de ParsevalPlancherel para ambas, e incluso quienes usan nombres distintos seg
un sea la versi
on con normas o con productos escalares. Aun a riesgo de ser injusto con el
reconocimiento al trabajo de Parseval, he utilizado el nombre u
nico de igualdad de
Plancherel para todas las versiones que aparecen en este texto.
Adem
as de saber que SN converge a f en la norma de L2 , podemos medir
el error en terminos de los coeficientes de Fourier ya que de las igualdades
previas se deduce que
1
|SN f f | =
(a2k + b2k );
k=N +1
55
7.6. Problemas
7.6. Problemas
7.1 La igualdad de Plancherel permite calcular la suma de series numericas.
Aplicarla a los desarrollos (2.10) y (2.11) de la seccion 2.7 y obtener las
sumas
X
X
1
2
1
4
=
y
=
.
k2
6
k4
90
k=1
k=1
7.2 Escribir la igualdad de Plancherel para la funci
on
f (x) =
X
sin2 k
k2
k=1
X
cos2 k
k=1
k2
1. Comprobar que
7.5
N (t) =
2. Probar que
Z
1
k
a0 NX
1
+
2
N
k=1
"
1
1
NX
a2 NX
(a2k + b2k ) + 2
k 2 (a2k + b2k ).
|N f f |2 =
|f |2 0 +
2
N
k=1
k=1
lim
56
7.6 N
ucleos de sumabilidad.
Sea Kt una familia de funciones peri
odicas de periodo 2 en la que t es un
par
ametro discreto o continuo. Diremos que es un n
ucleo de sumabilidad si
se cumple:
1. Kt (x) 0 para todo x.
2.
3. limtt0
<|x|<
2
FN (t) min N + 1,
(N + 1)t2
Despues separar la integral en dos partes como en las pruebas de los teoremas
7.1 y 7.3 y elegir = 1/N .
Captulo 8
Resoluci
on de algunas
ecuaciones en
derivadas parciales
La presentaci
on que ofrezco en este captulo no es la habitual ni la m
as
adecuada para utilizar las series de Fourier en la resolucion de ecuaciones
en derivadas parciales. Fourier invent
o el metodo de separaci
on de variables y fue este metodo, aplicado a la ecuacion del calor, el que le condujo
a la necesidad de desarrollar una funcion en serie trigonometrica de senos
y cosenos. Aqu hemos contado la teora al reves, hemos comenzado por
el problema de la representacion y ahora escribiremos la solucion en forma
de serie trigonometrica con coeficientes indeterminados, que trataremos de
determinar a partir de la ecuaci
on y de las condiciones iniciales. El metodo
de separaci
on de variables tiene adem
as la ventaja de que conduce directamente al tipo de serie que se debe utilizar, que vara seg
un las condiciones
de contorno. Tampoco esto estara claro en esta presentacion ya que escogeremos un tipo de serie particular que las cumpla. A
nadire tambien que el
metodo conduce siempre a un desarrollo de la solucion a traves de un sistema ortogonal de funciones (vease el captulo 10), pero no siempre al sistema
trigonometrico. Todos estos detalles quedan para un curso de ecuaciones en
derivadas parciales.
58
parciales (ecuaci
on de ondas) que, en forma simplificada, se escribe
2u 2u
2 = 0.
t2
x
Supondremos que la cuerda tiene longitud y que sus puntos se sit
uan (en
reposo) en el intervalo [0, ]. La funcion u(x, t) que aparece en la ecuaci
on
anterior expresa el desplazamiento del punto de abscisa x en el instante t,
es decir, la posici
on de la cuerda en el instante t viene dada por (la grafica
de) la funcion de x que resulta al fijar t. La ecuaci
on (8.1) tiene infinitas
soluciones y para determinar la que corresponde a un movimiento concreto
supondremos que los extremos de la cuerda est
an fijos, lo que se expresa
como
(8.1)
(8.2)
u(x, 0) = f (x) ,
u
(x, 0) = g(x) ,
t
0 < x < .
u(x, t) =
bk (t) sin kx
k=1
00
k=1
Para que esta serie se anule para todo x necesitamos que sus coeficientes
sean nulos
00
bk (t) + k 2 bk (t) = 0
para todo k .
u(x, t) =
k=1
Esta soluci
on satisface la ecuaci
on (8.1) y las condiciones (8.2). Para que
cumpla (8.3) necesitamos escoger los coeficientes Ak y Bk . Sustituyendo
59
Ak sin kx = f (x)
k=1
X
u
(x, 0) =
kBk sin kx = g(x),
t
k=1
de modo que Ak y kBk son los coeficientes del desarrollo de Fourier en senos
de f y g, respectivamente, es decir,
2
Ak =
2
Bk =
k
f (x) sin kx dx ,
g(x) sin kx dx .
8.2. La difusi
on del calor
Sea una barra de longitud que identificamos con el intervalo [0, ].
Escribimos u(x, t) la temperatura del punto x de la barra (0 x ) en
el instante t. Si suponemos que los extremos de la barra se mantienen a
temperatura 0 y que en el instante inicial (t = 0) la temperatura viene dada
por la funcion f , u(x, t) viene determinada por las condiciones siguientes:
(8.6)
u 2 u
2 = 0,
u(0, t) = u(, t) = 0,
u(x, 0) = f (x).
Podemos intentar resolver esta ecuacion del calor como hemos hecho en
la seccion anterior. Para ello, para cada t fijo tenemos una funcion de x en
[0, ] de la que escribimos su serie de Fourier de senos
(8.7)
u(x, t) =
bk (t) sin kx .
k=1
60
u(x, t) =
Bk ek t sin kx
k=1
f (x) sin kx dx .
8.3. Problemas
8.1 Completar los detalles de la resolucion de la ecuaci
on del calor (8.6) por
medio de series de Fourier siguiendo los pasos indicados. Comprobar que
la derivaci
on termino a termino de la soluci
on obtenida est
a justificada en
0 < x < , t > 0, y que se cumple la ecuaci
on.
8.2 Considerar el problema de la ecuacion del calor, como en (8.6), pero ahora
con condiciones de contorno sobre la derivada (tipo Neumann), es decir,
u 2 u
2 = 0,
x
t
(0, t) =
(, t) = 0,
x
x
u(x, 0) = f (x).
Encontrar la solucion escribiendo u(x, t) para cada t fijo como una serie
trigonometrica de cosenos.
8.3 Se considera el problema siguiente para la ecuaci
on del potencial en el
rect
angulo [0, a] [0, b]:
2
u 2u
= 0,
2 +
2
x
y
u(0,
y)
=
u(a, y) = 0,
61
8.3. Problemas
u + 1 u + 1 u = 0,
r2
r r
r2 2
u(1, ) = f ().
A0 (r) X
+
(Ak (r) cos k + Bk (r) sin k).
2
k=1
a0 X
rk (ak cos kx + bk sin kx),
+
2
k=1
8.5 Encontrar los valores de para los que existe una funcion peri
odica de
periodo p, no nula, que satisface la ecuacion
f 00 = f.
Para cada uno de estos valores de , encontrar todas las posibles soluciones.
8.6 Encontrar la serie de Fourier de una funcion g(x) en (, ) tal que
x
g 0 (x) 2g(x) = cos .
2
Captulo 9
Otras aplicaciones de
las series de Fourier
|f (t)| dt
|f 0 (t)|2 dt .
|f (t)|2 dt =
(a2k + b2k ) y
k=1
|f 0 (t)|2 dt =
k 2 (a2k + b2k ),
k=1
64
que est
a basada en las series de Fourier (y la formula de Green del analisis
de varias variables).
Supongamos que la curva tiene longitud 2 y se parametriza como
(x(t), y(t)), 0 t 2, en funcion de la longitud de arco, es decir, la
longitud del trozo de curva entre (x(0), y(0)) y (x(t), y(t)) es t, para todo t.
Usando la expresi
on para la longitud de arco, esto equivale a
Z tq
(9.1)
x0 (s)2 + y 0 (s)2 ds = t,
y de aqu
A
x(t)2 + 1 x0 (t)2
dt
2
0
Z
1 2
[x(t)2 x0 (t)2 ] dt .
=+
2 0
x(t)2 + y 0 (t)2
dt =
2
La u
ltima integral es menor o igual que cero por la desigualdad de Wirtinger
de la secci
on anterior.
Por tanto, hemos demostrado que A y como una circunferencia
de longitud 2 encierra un crculo de
area , se obtiene el
area m
axima.
Para comprobar que es el u
nico caso debemos analizar si las desigualdades
que hemos escrito en la demostracion son estrictas o no. Ya hemos visto
antes que la de Wirtinger es igualdad si x(t) = A cos t + B sin t y para
que 2x(t)y 0 (t) x(t)2 + y 0 (t)2 sea igualdad, debe ser x(t) = y 0 (t). Entonces,
y 0 (t) = A cos t + B sin t, lo que implica y(t) = A sin t B cos t + C. Exigiendo
que y(0) = y() = 0 queda y(t) = A sin t, x(t) = A cos t. Para que se cumpla
la condici
on (9.1) debe ser A = 1 y se obtiene una circunferencia.
La conclusi
on se recoge en el siguiente teorema.
Teorema 9.2. El a
rea encerrada por una curva de longitud 2 es menor
que , salvo si es la circunferencia de radio 1, en cuyo caso es igual a .
Si la longitud de la curva es L, un cambio de escala reduce el problema
al anterior. Si A es el
area encerrada por la curva, se tiene la desigualdad
isoperimetrica
A
L2
,
4
9.3. Equidistribuci
on de sucesiones aritmeticas
65
que s
olo es igualdad para circunferencias. Esta desigualdad tiene una lectura
inversa: de todas las figuras de igual a
rea, el crculo es la que tiene menor
permetro.
Se suele presentar el problema isoperimetrico como un problema clasico relacionado con la leyenda de la fundaci
on de Cartago. Se cuenta que la reina Dido huy
o
9.3. Equidistribuci
on de sucesiones aritm
eticas
Teorema 9.3. Sea f continua y peri
odica de periodo 1 y {xk } una sucesi
on
(progresi
on) aritmetica xk = x0 +k donde x0 es arbitrario y es un n
umero
irracional. Entonces
Z 1
1
1 NX
f (t) dt.
f (xk ) =
N N
0
k=0
lim
(9.2)
Demostraci
on. Dejamos como ejercicio probar que se cumple si f (t) =
2int
e
para todo n. Entonces se cumple para todo polinomio trigonometrico.
Sea ahora f una funcion continua. Dado > 0 existe un polinomio
trigonometrico P tal que |f (t) P (t)| < para todo t [0, 1] (corolario
7.4). Entonces
Z 1
Z 1
1
1
1 NX
1 NX
f (xk )
f (t) dt 2 +
P (xk )
P (t) dt
N
N
0
0
k=0
k=0
y se deduce el teorema.
66
N
1
X
g2 (xk ),
k=0
9.4. Problemas
9.1 Probar (9.2) para f (t) = e2int .
9.2 Que ocurre en el corolario 9.4 si es racional?
9.3 Estudiar la variante del problema isoperimetrico en el que la figura cuya
area hay que maximizar est
Captulo 10
Sistemas ortogonales
de funciones
La propiedad de ortogonalidad se puede definir en espacios con producto escalar y los resultados de series de Fourier basados en esa propiedad valen en
un contexto abstracto que presentamos ahora. Escribiremos los resultados
para sucesiones y funciones con valores complejos para usarlos posteriormente, pero para nuestro tratamiento de las series de Fourier el caso real
sera suficiente (basta suprimir la conjugaci
on). Para un n
umero complejo
odulo.
z escribiremos z su complejo conjugado y |z| su m
n
X
xj yj ,
j=1
68
xj yj .
j=1
(10.1)
f (t)g(t) dt.
para todos x, y1 , y2 E, , C.
Teorema 10.1 (Desigualdad de Cauchy-Schwarz). Dados x, y en un espacio vectorial E con un producto escalar, se tiene la siguiente desigualdad
|hx, yi|2 hx, xihy, yi .
Demostraci
on. Si y = 0 la igualdad es claramente cierta, as que supondremos y 6= 0. El producto escalar hx + y, x + yi es mayor o igual que 0
para todo escalar ; desarrollandolo obtenemos
hx + y, x + yi = hx, xi + 2Re hx, yi + ||2 hy, yi.
Si elegimos =
hx, yi
tenemos la desigualdad buscada.
hy, yi
n
n
n
X
X
X
a2j
aj bj
b2j ,
j=1
j=1
j=1
Recordemos a continuaci
on la definicion de norma en un espacio vectorial.
69
Definici
on. Una aplicaci
on de E en [0, ) que a cada x E asocia kxk se
dice que es una norma si satisface
(i) kxk = 0 si y s
olo si x = 0;
2
N
N
X
X
|j |2 .
j
j
j=1
j=1
La demostraci
on es sencilla usando la ortogonalidad. Si se aplica a dos
vectores ortogonales del plano, su interpretaci
on es el teorema clasico de
70
Pit
agoras. Aplicado al sistema trigonometrico es la igualdad (1.8), igualdad
de Plancherel para polinomios trigonometricos.
A partir de este teorema es inmediato comprobar que los elementos de un
sistema ortonormal son linealmente independientes.
Teorema 10.3 (Desigualdad de Bessel). Sea {j } un sistema ortonormal
(finito o numerable) en E. Entonces, para todo x E,
X
j
Demostraci
on.
(10.2)
hx
N
X
j=1
cj j , x
N
X
j=1
cj j i = hx, xi
N
X
j=1
2Re cj hx, j i +
N
X
j=1
|cj |2
PN
j=1 hx, j ij
71
(ii) kxk =
2
j=1 |hx, j i| ;
2
X
X
hx, j ij = kxk2
|hx, j i|2 ,
x
j=1
j=1
(10.3)
X
j
hx, j ihy, j i.
De (10.3) se deduce (ii) del teorema 10.4 haciendo x = y. De (i) del teorema
y la desigualdad de Cauchy-Schwarz se deduce (10.3) porque
lim hx
N
X
j=1
hx, j ij , y
N
X
j=1
hy, j ij i = 0 .
72
Demostraci
on. Sea xn = nj=1 aj j ; la sucesion {xn } es de Cauchy en E
porque, si n > m, del teorema de Pitagoras se deduce que
2
kxn xm k =
n
X
j=m+1
|aj |2 .
73
10.5. Problemas
sistema se cumple
Z
f hk,j = 0,
entonces f es identicamente nula. En el problema 10.11 se indican los detalles. Una vez visto esto, toda funcion de L2 (0, 1) se puede representar
como
k
(10.4)
f (t) = c0 +
2X
1
X
k=0 j=0
donde la convergencia es en L2 .
La base de Haar fue introducida por Alfred Haar en 1910. Despues de muchos
a
nos ha vuelto a la actualidad porque la moderna teora de ondculas (wavelets) la
ha incorporado como uno de sus ejemplos caractersticos. A diferencia del sistema
trigonometrico de las series de Fourier, las funciones de la base de Haar est
an
localizadas; as, si una funcion es nula en un intervalo I, todos los coeficientes ck,j
del desarrollo (10.4) que corresponden a funciones hk,j soportadas en I son nulos.
Por otra parte, todas las funciones de la base se obtienen por traslaci
on y dilataci
on
de h0,0 ; en efecto, hk,j (t) = h0,0 (2k t j). El defecto de las funciones del sistema
es que no son continuas y para el analisis en ondculas, la construcci
on de bases en
las que la funcion de partida tenga cierta regularidad es importante.
10.5. Problemas
10.1 Comprobar que los ejemplos de la seccion 10.1 definen productos escalares.
(No hay que olvidar comprobar que las expresiones tienen sentido.)
10.2 Probar que la desigualdad de Cauchy-Schwarz es una igualdad si y s
olo si x
e y son linealmente dependientes.
74
Probar que el recproco es cierto, es decir, que (i) y (ii) implican que xn tiende
a x. Dar contraejemplos que muestren que una sola de las condiciones no es
suficiente para asegurar el recproco.
10.6 Si limn xn = x y limn yn = y en un espacio de Hilbert, probar que
lim hxn , yn i = hx, yi.
10.7 Escribir la forma que toma (10.3) cuando se aplica al sistema trigonometrico
en forma real.
10.8 La completitud del sistema trigonometrico complejo {einx , n Z} se puede
deducir del real. Escribir las igualdades de Plancherel en terminos de la
norma y el producto escalar en este caso. Adaptar el sistema trigonometrico
a funciones peri
odicas de periodo 2l y escribir las igualdades de Plancherel
correspondientes.
10.9 Ortonormalizaci
on de Gram-Schmidt.
Un conjunto finito o numerable {xn } de elementos linealmente independientes de un espacio vectorial con producto escalar se puede ortonormalizar. Para ello se define e1 = x1 /kxk1 y por recurrencia, si se han construido
e1 , . . . , en1 , se define
en =
xn
kxn
Pn1
Pn1
Comprobar que efectivamente se construye un sistema ortonormal. Comprobar tambien que el subespacio engendrado por los vectores {e1 , e2 , . . . , eN }
coincide con el engendrado por {x1 , x2 , . . . , xN } para cada N .
10.5. Problemas
75
Captulo 11
Transformada de
Fourier en L1
n=
1
2l
int/l
f (t) e
dt einx/l .
Llamando n = n/2l y
h() =
(11.1) se escribe
(n n1 )h(n ) e2in x
n=
78
f() =
f (x)e2ix dx .
La definici
on vara seg
un los gustos en la aparici
on de ciertas constantes: el exponente puede ser ix; en este caso, la f
ormula de inversi
on (11.4) lleva un factor
1/2 multiplicando a la integral; para recuperar la simetra a veces se pone un fac
tor 1/ 2 en la definici
on de la transformada. Adem
as, el exponente casi siempre
lleva signo , pero algunos autores usan signo + (en este caso, el aparece en la
formula de inversion).
3. Traslaci
on: si h f (x) = f (x + h), entonces (h f )b() = f()e2ih .
4. Modulaci
on: si g(x) = f (x)e2ihx , entonces g() = (h f)().
5. Dilataci
on: si g(x) = 1 f (1 x) y > 0, entonces g() = f().
79
5. Si f y g son integrables,
Demostraci
on. 1. Se escribe
f g =
Z
|f( + h) f()|
fg.
|f (x)| |e2ixh 1| dx .
El integrando tiende puntualmente a cero con h y esta acotado por 2|f (x)|
que es integrable, luego la integral tiende a cero por el teorema de la convergencia dominada. La uniformidad se deduce porque la cota no depende
de .
2. Como f es integrable, existen sucesiones {an } y {bn } que tienden respectivamente a y +, tales que limn f (an ) = limn f (bn ) = 0.
Integrando por partes se tiene
Z
bn
an
f 0 (x)e2ix dx
2ibn
= f (bn )e
2ian
f (an )e
+ 2i
bn
an
f (x)e2ix dx.
|f (x) f (x +
1
)| dx,
2
f (x)
g (x) dx =
f (x)
g(y) e2ixy dy dx
80
condici
on se cumple siempre si la funcion es de soporte compacto1 , y en este
caso f es C . Incluso se tiene un resultado m
as fuerte.
Teorema 11.3. Si f es de soporte compacto, f es analtica. En consecuencia, si f se anula en todos los puntos de un intervalo es identicamente nula
(por el corolario 11.5, f ser
a nula en casi todo punto).
Se dice que una funcion es analtica si coincide con la suma de su serie de
Taylor.
Demostraci
on. Supongamos que f se anula fuera de [A, A]; entonces
f() =
f (x) e2ix dx =
=
X
(2i( a))n
n=0
n=0
con
n!
f (x)e2ixa xn dx
cn ( a)n
(2A)n
kf k1 .
n!
Tenemos as una serie de potencias que converge en todo R.
Si f se anula en un intervalo abierto, f(n) (a) = 0 para cualquier a del
intervalo; al ser f analtica, tiene que ser identicamente nula.
|cn |
81
1
1
-1
-1
Figura 11.1. Gr
aficas de las funciones f y f del ejemplo 11.1.
1
-1.5
1.5
-2
Figura 11.2. Gr
aficas de e|x| y su transformada de Fourier.
2
Ejemplo 11.3. Sea f (x) = ex . Derivando, f 0 (x) = 2xf (x) y utilizando las propiedades analticas 2 y 3 deducimos que
2i f() = if0 () .
f (x) dx = 1.
(11.3)
1 x2 /2 b
2 2
() = e .
e
0.5
-3
-0.5
Figura 11.3. Gr
aficas de e9x y su transformada de Fourier.
82
f (x) =
f()e2ix d
c.t.p.
Adem
as, el termino de la derecha es una funci
on continua en x, de modo que
f coincide en casi todo punto con una funci
on continua y se da la igualdad
en los puntos de continuidad de f .
Observamos que el termino de la derecha es la transformada de Fourier de
f evaluada en x; dicho de otro modo, (f)(x) = f (x) en casi todo punto.
Por tanto, aplicar cuatro veces sucesivas la transformada de Fourier produce
una identidad.
Demostraci
on. Utilizando (11.3) y la propiedad analtica 5 de la transformada de Fourier se deduce que
(11.5)
1
t
f (x + y)ey
2 /t2
dy =
2 2
et
f()e2ix d .
f (x + ty)ey dy f (x) dx
y 2
podemos aplicar el teorema B.17 para deducir que el termino entre parentesis
tiende a cero para cada y y acotarlo por 2kf k1 para aplicar el teorema de
la convergencia dominada y deducir que el lmite es 0. Ahora el teorema
B.16 asegura que hay una sucesion de valores de t para la que el termino de
la izquierda de (11.5) converge a f en casi todo punto. Con esta sucesion
terminamos la demostraci
on.
El termino de la derecha de (11.4) define una funcion continua por la propiedad 1 de la proposici
on 11.2.
Este teorema se aplica al ejemplo 11.2 y podemos poner
e2|x| =
1
e2ix d .
1 + 2
83
f()e2ix d ,
RZ
f (t)e2it dt e2ix d
f (t)
2i(xt)
d dt =
f (t)
Si ahora definimos el n
ucleo de Dirichlet como
sin 2Rx
DR (x) =
(11.6)
,
x
tenemos
(11.7)
SR f (x) =
f (t)DR (x t) dt =
sin 2R(x t)
dt.
(x t)
SR f (x) =
[f (x t) + f (x + t)] DR (t) dt .
la terminologa del ap
endice B, secci
on B.1.4.3, estamos haciendo el valor principal
de Cauchy de la integral en R.
84
h(t) =
Demostraci
on. Sabemos que limN 0N DR (t) dt = 1/2 (por ejemplo, en
el problema 2.7 del captulo 2 se propone una prueba). Escribimos
SR f (x) A =
+
Z 0
N
[f (x t) + f (x + t) 2A]DR (t) dt
[f (x t) + f (x + t)]DR (t) dt
+ 12
DR (t) dt A.
y
Z
1 Z N
DR (t) dt |A| ,
2
6
0
|f (x t) + f (x + t)|
dt < .
t
3
R 0
|f (x t) + f (x + t) 2A|
sin Rt dt = 0.
t
Eligiendo R0 tal que si R > R0 esta integral es (en valor absoluto) menor
que /3, resulta que para R > R0 se tiene |SR f (x) A| < .
Este teorema es an
alogo al teorema de Dini para series de Fourier (teorema
2.8). En particular, si f es derivable en x el teorema vale con A = f (x) y
si existen derivadas laterales sera A = [f (x+) + f (x)]/2, resultados que
corresponden a los teoremas 2.3 y 2.4. Se pueden utilizar condiciones m
as
debiles de tipo Lipschitz, por ejemplo, las de (2.7).
Tambien se puede dar un teorema de tipo Dirichlet-Jordan para integrales
de Fourier.
85
lim SR f (x) =
11.4. Convoluci
on y transformada de Fourier
Dadas dos funciones integrables, f y g, se define su convolucion f g como
la funci
on integrable dada por
f g(x) =
(11.9)
f (x y) g(y) dy =
f (y) g(x y) dy .
f (x y) g(y) dy dx
|g(y)|
= kf k1 kgk1 .
|f (x y)| dx dy
f (x y) g(y) dy e2ix dx
2iy
g(y) e
g(y)e2iy
2i(xy)
f (x y) e
dx dy
f (x)e2ix dx dy = f()
g () .
86
1 R r
Sr f (x) dr =
f () e2ix d dr
R
0
0
r
Z R
||
f () e2ix d .
=
1
R
R
1
R f (x) =
R
(11.10)
sin Rx
x
que se llama n
ucleo de Fejer. Tambien se puede calcular FR teniendo en
cuenta que
FR (x) =
1
R
Dr (x) dr.
11.5.2. Sumabilidad Abel-Poisson. Este metodo de sumabilidad consiste en hacer convergente la integral de la inversi
on por la introducci
on de
un factor et|| y hacer despues tender t a cero. Es decir, estudiamos
lim
t0+
donde
(11.11)
Pt (x) =
que se llama n
ucleo de Poisson.
t
1
,
t2 + x2
87
lim
t0+
2
et f() e2ix d.
2
et f() e2ix d = Wt f (x),
(11.12)
1 2 /t
e
,
4t
que se llama n
ucleo de Gauss.
11.5.4. Propiedades comunes y teoremas.
Propiedades.
negativos.
1. Los n
ucleos de Fejer, Poisson y Gauss son pares y no
2. Los tres n
ucleos tienen integral 1.
3. Fijado > 0, se tiene
lim sup FR (x) = lim sup Pt (x) = lim sup Wt (x) = 0.
y
lim
R |x|>
R |y|>
t0+ |x|>
FR (y) dy = lim
t0+ |y|>
t0+ |x|>
Pt (y) dy = lim
t0+ |y|>
Wt (y) dy = 0.
88
1
R f (x) [f (x+) + f (x)]
2 Z
Dado > 0 elegimos de modo que |f (x+y)+f (xy)(f (x+)+f (x))| <
/2 cuando 0 < y ; esto junto con las propiedades 1 y 2 del n
ucleo de
Fejer da
Z
FR (y) dy;
t0+
Demostraci
on. Se tiene
kR f f k1 =
FR (y)(f (x y) f (x)) dy dx
F1 (y)
|f (x
y
) f (x)| dx
R
dy.
89
11.8. Problemas
f () =
f (x)e2i(x1 1 ++xn n ) dx1 . . . dxn .
Rn
11.8. Problemas
11.1 Probar las propiedades algebraicas de la transformada de Fourier.
2
90
x2 2ix
dx =
X
(2ix)n
x2
n=0
n!
dx
e(x+i) dx
h () = 2i
(x+i)2
(x + i) e
dx = i
d (x+i)2
e
dx = 0.
dx
2ix
(1 ||) e
d = 2
(1 ) cos(2x) d.
2
11.7 Calcular las transformadas de Fourier de las funciones: (a) xe|x| ; (b) xex ;
2
(c) (4x2 2)ex .
11.8 Calcular las transformadas de Fourier de las funciones: (a) (ax2 + bx + c)1
con a > 0 y
b2
2
exx ;
(c)
1/2
1/2
91
11.8. Problemas
cos bx
2
ax
eax cos bx dx con a > 0.
e
cos
bx
dx,
dx,
2
2
x +a
0
0
0
11.10 Probar la segunda afirmacion del teorema 11.11: si f es integrable y uniformemente continua, limR R f = f uniformemente.
f (u) cos(2ux) du = ex
g(u) sin(2ux) du =
si 0 < x < ;
1 si 0 < x < 1,
0 si 1 < x < .
11.12 Probar que las n-traslaciones del seno cardinal son ortogonales:
Z
sinc (x n) sinc (x m) dx =
1 si n = m,
0 si n 6= m,
con n y m enteros.
11.13 Probar la formula de inversion para la transformada de Fourier del ejemplo
11.1 directamente, utilizando la integral de sin x/x calculada en el problema
2.7.
11.14 La clase de Schwartz. Las propiedades analticas 2 y 3 de la transformada
de Fourier sugieren definir el siguiente espacio de funciones que llamamos
espacio o clase de (Laurent) Schwartz:
S(R) = {f C (R) : sup |t|m |f (j) (t)| = cmj < para todo m, j N}.
tR
92
x+1/2
x1/2
sin 2Rt
dt.
t
N 1
lim SN f
N
2N
y comprobar que el exceso es el mismo que ocurre en el caso de las series de
Fourier.
Comprobar tambien que
lim
sup
N N R<N +1
t sin xt + cos xt
dt = /2
1 + t2
ex
a2
si x < 0,
si x = 0,
si x > 0.
1
.
+ x2
|x|>
(Aqu t0 puede ser finito o infinito.) Los teoremas que hemos probado para
los n
ucleos particulares se pueden repetir para Kt f .
Captulo 12
Transformada de
Fourier en L2
Este
es el primer problema que hay que resolver. Hagamos notar que no
podemos limitarnos al espacio L2 de funciones reales porque la transformada
de Fourier de una funcion real puede no ser real, as que las funciones pueden
tomar valores complejos y el producto escalar y la norma en L2 son
hf, gi =
f (x) g(x) dx
kf k22
|f (x)|2 dx.
|f (x)| dx =
|f()|2 d.
94
|f (x + h y) f (x y)| |g(y)| dy
2
|f (y + h) f (y)| dy
1/2 Z
|g(y)| dy
1/2
t0
|f()|2 et d.
|f()|2 et d 2
|f (x)|2 dx .
2
Ahora, fijado R > 0 podemos encontrar t < t0 tal que et 1/2 cuando
|| < R; entonces
Z
|f()|2 d 4
|f (x)|2 dx
95
12.2. Definici
on de la transformada de Fourier
2
en L
Dada una funcion f de L2 , existen sucesiones de funciones de L1 L2 que
convergen a f en L2 . Una de ellas es
(12.3)
fn (x) =
n n
f (x) g(x) dx =
f() g() d.
f (x) g(x) dx =
f() g() d.
Demostraci
on. 1. Se aplica la definicion a la sucesion {fn } definida en
(12.3).
96
|
gn (x) g(x)| |f (x)| dx,
n n
f() e2ix d,
97
Demostraci
on. Si FN es el n
ucleo de Fejer de (11.10) (tomamos s
olo va2
2
lores enteros de N ). Para f L , se tiene limN FN f = f en L lo que
se puede probar directamente o aplicando la transformada de Fourier y la
on de L2 que converge
igualdad de Plancherel. Ademas, FN f es una sucesi
2
2
Si s
olo suponemos que f est
a en L2 , se tiene FN f L1 L2 y para cada una
de estas funciones vale el resultado. Se vuelve a aplicar un paso al lmite.
Este resultado junto con el del teorema 12.3 implica que la transformada de
Fourier es una biyeccion de L2 en s mismo y por la igualdad de Plancherel,
es una isometra.
Las propiedades analticas que relacionan transformacion de Fourier y derivaci
on tambien se extienden al espacio L2 .
Proposici
on 12.6.
1. Si f y f 0 est
an en L2 , f() est
a en L2 y
0
en L2 y coincide con (2ixf )(). Si (f)0 existe en el sentido habitual, coincide en casi todo punto con ese lmite.
Demostraci
on. 1. Sea una funci
on de clase C 1 tal que 0 (x) 1
para todo x, (x) = 1 si |x| < 1 y (x) = 0 si |x| > 2. Sea n (x) = (x/n).
Con el teorema de convergencia dominada se puede ver que
lim n f = f
lim (n f )0 = f 0
1
+ (1 + x2 )|f (x)|2
1 + x2
98
Como se tiene
f( + h) f()
=
h
e2ixh 1 b
(),
f (x)
h
!2
e2ixh 1
+ 2ix dx = 0
lim
f (x)
h0
h
Z
f ( + h) f ()
lim
g
= 0.
h0
h
2
Llamando f 0 = g (g coincide con f 0 en casi todo punto si f es derivable), se
tiene el resultado enunciado. La prueba es como la de la segunda parte.
f (x) si x E,
0
si x
/ E;
f (x) si x
/ E,
0
si x E.
f2 (x) =
|f1 (x)| dx =
|f (x)| dx
1/p
|f (x)| dx
(m(E))1/q
|f2 (x)| dx =
R\E
|f (x)| dx
R\E
L2 .
|f (x)|p dx,
f = f1 + f2 , que ser
a suma de una funcion de L y de otra de L2 . La
99
100
el resto se hace integrando por partes.
(12.9)
n=0
n=0
|hf, en i|2 .
hf, en i(i)n en ,
n=0
hf, en iin en .
12.6. Problemas
12.1 A partir del ejemplo 11.1 y del n
ucleo de Fejer deducir que
Z
sin x
x
dx = 1,
sin x
x
3
dx =
,
8
sin x
x
dx =
.
3
f (x)ex xn dx = 0
101
12.6. Problemas
Z
X
n=0
f (x)ex xn dx
(2i)k
k!
x |f (x)| dx +
1
1 X
(n + 1/2)|(f, en )|2
||f ||22
2 |f()|2 d =
n=0
2
y que s
olo hay igualdad en m
ultiplos constantes de ex .
f g =
fg
se deduce de la proposici
on 11.2 y haciendo g = f se deduce (12.1) para
las funciones de S(R). Como este espacio es denso en L2 (contiene a las
funciones continuas de soporte compacto, que son densas), se termina por
un argumento de densidad como el que hemos utilizado para L1 L2 .
Captulo 13
Aplicaciones de la
transformada de
Fourier
x2 |f (x)|2 dx
2 |f()|2 d
1
||f ||42 .
16 2
La igualdad s
olo se produce si f (x) = ekx , k < 0.
Demostraci
on. Por la proposici
on 12.6 tenemos (f 0 )() = 2i f(); con
la igualdad de Plancherel y la desigualdad de Cauchy-Schwarz podemos
escribir
Z
x |f (x)| dx
1
= 2
4
1
2
4
1
2
4
|f ()| d
Z
x |f (x)| dx
Z
2
xf (x)f (x) dx
2
Z
0 (x) dx .
Re
xf
(x)f
|f (x)| dx
103
104
d
|f (x)|2 = 2Re [f (x)f 0 (x)], podemos acotar infeTeniendo en cuenta que
dx
riormente el u
ltimo termino por
Z
2
1 d
2
,
|f
(x)|
dx
x
16 2 dx
(x x0 ) |f (x)| dx
( 0 ) |f()|2 d
2
1
||f ||42 .
16 2
13.2. F
ormula de sumaci
on de Poisson
P
(13.1)
f (k + x) =
k=
f(k)e2ikx
k=
y, en particular,
f (k) =
k=
f(k),
k=
odica de periodo 1 y
Demostraci
on. La funci
on
k= f (x + k) es peri
continua; su serie de Fourier se escribe
n=
0 k=
f (t + k) e2int dt e2inx =
f(n) e2inx .
n=
Como
otesis, la serie de Fourier conn= |f (n)| es convergente por hip
verge uniformemente a la funcion y se tiene (13.1).
105
13.4. Ecuaci
on de Schr
odinger
13.3. Ecuaci
on del calor
Buscamos una solucion del problema de la difusi
on del calor unidimensional
dado por
(13.2)
u u = 0 ,
t
x2
u(x, 0) = f (x) ,
u(x, t) e2ix dx .
u
+ 4 2 2 u
= 0 , < < , t > 0 ,
t
u
(, 0) = f() ,
< < .
Para cada fijo tenemos una ecuaci
on diferencial ordinaria en t que se
resuelve facilmente; obtenemos
2 2
u
(, t) = f() e4 t .
13.4. Ecuaci
on de Schr
odinger
Consideramos ahora el problema de valores iniciales para la ecuaci
on de
Schr
odinger,
(13.3)
i u u = 0 ,
t
x2
u(x, 0) = f (x) ,
Esta ecuaci
on se asemeja a la anterior y procedemos del mismo modo: hacemos la transformada de Fourier de u en la variable x, escribimos la ecuacion
106
para u
y resolvemos la ecuacion diferencial ordinaria en t para cada fijo.
Obtenemos
2 2
u
(, t) = f() e4 i t .
(13.4)
Aqu empiezan las diferencias con el caso de la ecuaci
on del calor: el u
ltimo
factor est
a acotado, pero no es integrable. Con los resultados de que disponemos no podemos invertir la transformada de Fourier si s
olo decimos que
f es integrable. Sin embargo, si f est
a en L2 , sabemos que tambien f est
a
en L2 (teorema de Plancherel) y al multiplicarla por una funci
on acotada,
seguira estando en L2 . Entonces podemos decir que para cada t, u(x, t) es
la funci
on de L2 cuya transformada de Fourier viene dada por (13.4).
Para poder dar sentido a las derivadas de la ecuaci
on (13.3) necesitaramos
hip
otesis suplementarias sobre f (o un concepto m
as amplio de derivada).
La condici
on inicial se cumple al menos como
(13.5)
en L2 .
t0
xf (x) dx
y 2 =
(x m)2 f (x) dx =
x2 f (x) dx m2 ,
f (x) dx.
f (x) dx
g(y) dy.
Z Z
Z
f (x)g(y) dx dy
a<x+y<b
Z bx
f (x)
g(y) dy dx =
ax
(f g)(t) dt,
R R
0 y desviaci
on tpica 1. Sea Sn = (X1 + X2 + + Xn )/ n. Entonces,
1
lim P (a < Sn < b) =
n
2
ex
2 /2
dx.
Demostraci
on. La densidad de X1 + X2 + + Xn es f f (n veces)
luego
P (a < Sn < b) =
b n
a n
(f f )(x) dx =
n(f f )( nx) dx
(13.6)
n a
Z b
1
2
n(f f )( nx) dx =
ex /2 dx.
2 a
n(f f )( nx)(x)
dx =
f
n
() d.
108
De las hip
otesis sobre la densidad tenemos
f(0) =
f (x) dx = 1,
f0 (0) = 2i
f00 (0) = 4 2
xf (x) dx = 0,
x2 f (x) dx = 4 2 ,
f
n
=1
2 2 2
+ r(, n)
n
f
n
= e2
2 2
1
2
(13.8)
ex /2 (x)
dx.
lim
n(f f )( nx)(x)
dx =
n R
2 R
No podemos poner en esta igualdad (x)
Z
1 A/2
k
1
2ik/A
f () e
d = f
.
A A/2
A
A
Pero si f esta completamente determinada, tambien lo esta f , por lo que
concluimos que los valores de f en los puntos k/A son suficientes para definir
f completamente. La distancia 1/A a la que hay que tomar dos muestras
109
(13.9)
k=
como igualdad en
L2 ,
Z
(13.10)
Si adem
as la serie
puntual.
k
A
sin (Ax k)
,
(Ax k)
1 X
f
|f (x)| dx =
A k=
k= |f (k/A)|
k 2
.
A
Demostraci
on. Utilizamos la formula de inversi
on de la transformada de
Fourier y reemplazamos f por su serie de Fourier en forma compleja para
obtener formalmente
f (x) =
A/2
f() e2ix d
A/2
A/2
k
1
f
e2ik/A e2ix d
=
A
A
A/2 k=
=
=
1 X
f
A k=
k=
k
A
k
A
A/2
e2i(xk/A) d
A/2
sin (Ax k)
.
(Ax k)
Si k= |f (k/A)| es convergente, la serie de Fourier de f converge uniformemente, el intercambio de serie e integral est
a justificado y todas las
igualdades son puntuales (el segundo miembro de (13.9) tambien converge
uniformemente).
En general, se aplica primero el teorema de Plancherel y se comprueba que
la convergencia en L2 de (13.9) equivale a la convergencia en L2 de la serie
de Fourier de f en el intervalo [A/2, A/2], que conocemos por la seccion
7.5.
Para obtener (13.10) aplicamos primero la igualdad de Plancherel a f y su
transformada de Fourier, y despues a f y su serie de Fourier en [A/2, A/2].
110
1 X
k
k
f (x) =
x
,
f
B k=
B
B
k= |f (k/B)|
Demostraci
on. Como en el teorema anterior, calculamos los coeficientes de
Fourier de la funcion definida en [B/2, B/2] que vale f() en [A/2, A/2]
y 0 en el resto; por la definici
on de , el producto f coincide con f en
[B/2, B/2] y se puede escribir
f (x) =
B/2
()f() e2ix d
B/2
B/2
()
B/2
=
=
k
1
f
B
B
k=
e2ik/B e2ix d
Z B/2
1 X
k
f
() e2i(xk/B) d
B k=
B
B/2
k
k
1 X
f
x
.
B k=
B
B
son menores o iguales que 1, pero no pueden ser ambos iguales a 1. Hay un principio
de indeterminaci
on que indica que cuanto m
as cerca de 1 este uno de ellos, mas
111
limitado est
a el rango del otro; una version analtica es
X
cos 2an x
n=1
bn
f (x)(ak (x x0 )) dx.
r(x)(ak (x x0 )) dx,
|x| |(x)| dx
112
k
r(x)(a (x x0 )) dx 2k .
|xx0 |<
2a
Z
Z
B|r(x)|
1
k
r(x)(a (x x0 )) dx k
dx
|xx0 |
a |xx0 | |x x0 |3
y la u
ltima integral es finita porque |r(x)| C(1 + |x x0 |) para cierta
constante C; por tanto, podemos hacer que el primer miembro sea menor
que /2 a partir de un cierto valor de k.
Demostraci
on del teorema 13.6. Sea
n
2ian x
X
X
cos 2an x
e
+ e2ia x
f (x) = 2
=
.
bn
bn
n=1
n=1
X
1
n
n
(e2ia x + e2ia x )(ak (x x0 )) dx
ck =
n
b R
n=1
1
=
n
b ak
n=1
(x)[e2ia
n (x
0 +a
k x)
+ e2ia
n (x
0 +a
k x)
] dx
1
n
n
[e2ia x0 (ank ) + e2ia x0 (ank )].
n ak
b
n=1
13.8. Problemas
13.1 Comprobar que la ecuacion del calor conserva la cantidad total de calor, es
decir, la integral de u(x, t) en < x < es constante en t.
13.2 Dos cuestiones referidas a la ecuaci
on de Schr
odinger.
1. Comprobar que se cumple (13.5).
2. Comprobar que
2
|u(x, t)| dx
no depende de t.
113
13.8. Problemas
2 c2 2 = 0 ,
t
x
u(x, 0) = f (x) ,
ut (x, 0) = g(x) ,
la soluci
on de dAlembert y Euler:
Z
1 x+ct
1
g(s) ds.
u(x, t) = [f (x + ct) + f (x ct)] +
2
2c xct
Sugerencia: Seguir un procedimiento an
alogo al utilizado en las secciones
13.3 y 13.4 para llegar a
sin 2ct
g().
u
(, t) = cos 2ct f() +
2c
13.4 Resolver la ecuacion del potencial en el semiplano superior:
2
2
u + u = 0 ,
x2
y 2
u(x, 0) = f (x) ,
u
(, t) = f ()e
.
13.5 Dos ejercicios con la formula de sumacion de Poisson.
1. Deducir la identidad de Jacobi (t) = t1/2 (1/t) para la funcion
(llamada funci
on theta de Jacobi )
(t) =
en t , t > 0.
n=
2. Obtener
1 + e2t
1
=
,
n 2 + t2
t 1 e2t
n=
a partir de la funcion exp(2|x|t). Escribir la igualdad que resulta
de hacer tender t a 0 despues de restar el termino correspondiente a
n = 0.
13.6 Sea X1 , . . . , Xn variables aleatorias independientes con la misma densidad
de probabilidad
2
ex /2
.
f (x) =
2
114
f (x) =
d |x|
dc
Calcular su transformada de Fourier.
si |x| c,
si |x| d,
si c < |x| < d.
Captulo 14
Transformadas de
Fourier discreta y
r
apida
Adem
as de las aplicaciones de tipo matem
atico de las series y transformadas
de Fourier que hemos encontrado en captulos previos, su uso en el mundo
real es destacable. Una (corta) lista de campos en los que aparecen es la
siguiente:
Optica:
difraccion de Fraunhofer, teora de interferencias, imagen con
lentes.
Estructura cristalina: difraccion de rayos X, espectroscopa.
116
(14.1)
N
1
X
f [j] e2ijk/N .
j=0
Propiedades.
1+ +
2j
+ +
(N 1)j
N
0
si j es m
ultiplo de N ,
en otro caso.
La comprobacion de este resultado se reduce a sumar una progresion geometrica. Con esta notaci
on la transformaci
on (14.1) se escribe
f[k] =
N
1
X
j=0
f [j] jk .
117
Como transformacion lineal de CN en CN , la transformada discreta de Fourier admite una representacion matricial. Si f y f son las matrices columna
cuyas entradas son los valores f [k] y f[k], respectivamente, (14.1) se puede
escribir matricialmente como
f = A() f ,
donde la matriz A() viene dada por
(14.3)
1
1
1
2
1
2
4
A() = 1
. . . . . . . . . . . . . .
1 N 1 2(N 1)
...
1
...
N 1
...
2(N 1) .
. . . . . . . . . . . . .
. . . (N 1)(N 1)
1
A() f ,
N
o sea,
(14.4)
f [k] =
1
1
1 NX
1 NX
f[j] jk =
f[j] e2ijk/N ,
N j=0
N j=0
N
1
X
cj e2ijx/T ,
j=0
N
1
X
kT
cj e2ijk/N .
)=
N
j=0
118
La f
ormula (14.4) de la transformada inversa muestra que los coeficientes cj son
precisamente f[j]/N si f [k] = f (kT /N ). Esto ofrece una interpretacion de la
transformada discreta de Fourier.
f [k] g[k] =
k=0
1
1 NX
f[k] g[k],
N k=0
y
N
1
X
k=0
|f [k]|2 =
1
1 NX
|f[k]|2 .
N k=0
Demostraci
on. Usamos la notacion matricial. El primer miembro de la
primera igualdad es el producto matricial f t g donde el superndice t indica
la traspuesta de la matriz. Recordando que la traspuesta de un producto
es el producto de traspuestas en el orden inverso y que A() es simetrica
(coincide con su traspuesta) tenemos
ft g =
1 t
1
= f t g
.
f A() A() g
2
N
N
N
1
X
l=0
N
1
X
j=0
N 1
X
l=0
f [l] g[j l]
jk =
N
1 N
1
X
X
j=0 l=0
119
14.1.4. F
ormula de sumaci
on de Poisson.
La igualdad equivalente a la formula de sumacion de Poisson es
N
1
X
f[k] = N f [0].
k=0
En efecto,
N
1
X
k=0
f[k] =
N
1 N
1
X
X
f [j] jk ,
k=0 j=0
y sumando primero en k s
olo es distinta de 0 la correspondiente a j = 0
seg
un (14.2).
n
umero de multiplicaciones se reduce considerablemente. Esta
es la idea de
la transformada r
apida de Fourier.
Antes de situarnos en el caso general veremos el caso N = 4. Ahora = i
y la transformada es
f[0]
1 1
1
1
f[1] 1 i 1
i
f [2] 1 1 1 1
1 i 1 i
f[3]
f [0]
f [1]
f [2]
f [3]
f[0]
f [0]
1 1
1
1
f[1] 1 1 i
i
f [2]
(14.5)
.
=
f [2] 1 1 1 1 f [1]
f [3]
1 1 i i
f[3]
120
f[0]
f[1]
1 1
1 1
y
f[2]
f[3]
1 1
1 1
fp [0]
1
+
fp [1]
i
fp [0]
1
+
fp [1]
i
1 1
1 1
1 1
1 1
fi [0]
fi [1]
fi [0]
.
fi [1]
f[0]
f [0]
f [2]
f [1]
...
...
f[ N 1]
2
= R() f [N 2] ,
f [1]
f[ N ]
2
f [3]
f[ N + 1]
...
...
f [N 1]
f[N 1]
1
1
. .
1
R() =
1
. .
1
1
2
.....
N 2
1
2
.....
N 2
...
1
...
N 2
...........
N
2
. . . ( 2 1)
...
1
...
N 2
...........
N
2
. . . ( 2 1)
1
1
3
...............
N
N
2 1
3( 2 1)
1
1
3
...............
N
N
2 1 3( 2 1)
...
1
...
N 1
. . . . . . . . . . . .
(N
1) N
2
2
...
.
...
1
N
1
...
. . . . . . . . . . . .
N
N
. . . ( 2 1) 2
121
j = 0, 1, . . . , N/2 1,
deducimos que
f[j] = fp [j] + j fi [j],
N
f[ + j] = fp [j] j fi [j],
2
con j = 0, 1, . . . , N/2 1.
122
esta u
nica idea, que es matematica pura (en Wavelet transforms versus Fourier
transforms, Bull. Amer. Math. Soc. 28 (1993), 288-305).
En realidad, Cooley y Tukey redescubrieron un metodo que ya haba sido utilizado
antes pero no se haba extendido. Su uso se remonta a Gauss quien evalu
o sumas
trigonometricas por este procedimiento en 1805 (antes incluso de la primera memoria de Fourier, que es de 1807) para determinar la orbita del recien descubierto
asteroide Ceres; este trabajo de Gauss no fue publicado en vida de su autor. Las
referencias a algoritmos de reduccion de tiempo de calculo en el siglo XX son m
as
numerosas. En 1903 Runge desarroll
o un algoritmo para un n
umero de terminos
que era potencia de 2 (luego extendido a potencias de 3); aparecio publicado en
libros de Runge y K
onig (1923) y Stumpff (1937). En 1942, Danielson y Lanczos
publicaron un artculo en el Journal of the Franklin Institute en el que explicaban
la reduccion a la mitad de terminos, como hemos mostrado aqu, y su uso en cristalografa; indicaban que con esas mejoras el tiempo de c
alculo era 10 minutos para
8 coeficientes, 25 minutos para 16, 60 para 32 y 140 para 64. Conocido como era
en ciertos medios, algunos recibieron con sorpresa la popularizacion del algoritmo
despues del artculo de Cooley y Tukey.
El exito del algoritmo de Cooley y Tukey que no se limitaba a potencias de 2, u
nico
caso que hemos visto en el texto pudo ser debido a su aparici
on en el momento
oportuno: las aplicaciones potenciales eran mucho mayores y la velocidad de c
alculo
de los ordenadores aumentaba mas a
un su utilidad. De hecho, inmediatamente
empezaron a aparecer variantes con intencion de mejorar sus posibilidades y se
han publicado numerosos libros sobre su uso en distintos contextos industriales
y cientficos. Con la rapidez de calculo actual un ordenador normal calcula una
transformada de 106 valores en unos pocos segundos; comp
arese con la estimaci
on
de Danielson y Lanczos: toda la ventaja actual esta en la maquina.
Para un estudio historico de la transformada de Fourier rapida se puede consultar
el artculo Gauss and the history of the fast Fourier transform de M. T. Heideman,
D. H. Johnson y C. S. Burrus (Archive for History of Exact Sciences, 34 (1985),
265-277); sobre los distintos algoritmos actuales vease Fast Fourier Transform: A
tutorial review and a state of the art (Signal Processing 19 (1990), 259-299).
14.4. Problemas
14.1 Probar que si f es real (toma valores reales) su transformada de Fourier
as f es par, f es real y par.
satisface f[k] = f[k]. Probar que si adem
(Que f sea par se entiende sobre su extension peri
odica, lo que equivale a
f [j] = f [N j].)
14.2 Calcular la transformada discreta de Fourier de (1, 1, 1, 1) y de (1, i, 1, i)
como elementos de C4 .
14.3 Sea N = 8 y f definida por f [0] = f [1] = 1 y f [j] = 0 para j = 2, 3, . . . , 7.
Calcular f.
14.4 Aplicar la transformada rapida de Fourier al caso N = 8 y mostrar como se
obtiene a partir de cuatro transformadas discretas de Fourier en C2 .
14.4. Problemas
123
Apendice A
Sucesiones y series
num
ericas y de
funciones
126
si
`2 6= 0 .
,
0,
,
.
0
Queda como ejercicio probar a partir de las definiciones de los lmites los
resultados mencionados y comprobar que las indeterminaciones lo son, mostrando que en estos casos las mismas condiciones de partida pueden dar
lugar a resultados distintos.
Dos resultados interesantes sobre lmites de sucesiones son los siguientes.
Proposici
on A.1.
1. Una sucesi
on creciente y acotada tiene lmite finito; si no est
a acotada, tiende a +. Lo mismo ocurre si es decreciente, salvo que el lmite es en el segundo caso.
2. Si an bn cn y lim an = lim cn (finito), la sucesi
on bn es convergente hacia el mismo lmite que las otras dos.
127
(A.1)
128
Proposici
on A.4.
1.
an es convergente si y s
olo si sn es de Cauchy,
es decir, si cumple que para todo > 0 existe N0 tal que cuando
n N0 y m 0 se tiene
2. Si la serie
n+m
X
ak < .
k=n
an es convergente, lim an = 0.
Sea la serie
an . Si an 0 para todo n, las sumas parciales forman una
sucesion creciente y su convergencia o divergencia depende simplemente de
que esta sucesi
on este acotada o no (proposicion A.1). Bas
andonos en esta
observaci
on se deduce en forma sencilla el criterio de comparaci
on.
Teorema A.5. Sea 0 an bn .
1. Si
2. Si
bn es convergente,
an es divergente,
an es convergente.
bn es divergente.
129
Para probar este resultado hay que sustituir los terminos desde a2k +1 hasta
a2k+1 1 por a2k o por a2k+1 , seg
un los queramos hacer m
as grandes o m
as
peque
nos.
A.2.2. Criterios cl
asicos de convergencia.
Para poder utilizar los criterios de comparaci
on necesitamos conocer algunas
series convergentes y divergentes. La serie b
asica es la serie geometrica,
P n
r . Las sumas parciales de esta serie (sn = 1 + r + r2 + + rn ) se pueden
escribir con una formula explcita (suma de una progresion geometrica). A
partir de esta formula se deduce el bien conocido resultado:
P
rn es convergente si y s
olo si |r| < 1.
lim n an
(0, ] y 1, la serie
an es convergente.
an es divergente.
A.2.3. Series de t
erminos positivos y negativos.
Una primera propiedad basica para el estudio de series en general es la
siguiente.
Proposici
on A.11. Si la serie
lo es.
an tambien
130
(1)n /n es con-
131
Teorema A.13.
1. Si una serie es absolutamente convergente, cualquier reordenamiento de la serie tambien es convergente y la suma es
siempre la misma.
2. Si una serie es condicionalmente convergente, se puede reordenar de
modo que se obtenga bien sea una serie convergente cuya suma es
cualquier valor escogido de antemano, bien sea una serie divergente.
xD
n xD
132
Esta formulaci
on tiene la ventaja de que el lmite se calcula para una sucesion
numerica. Por supuesto, se necesita conocer la funcion f , pero esta no puede
ser otra que el lmite puntual de la sucesion {fn }.
La convergencia uniforme tiene una interpretacion geometrica que conviene
conocer. Basta observar que la condicion |fn (x)f (x)| < para todo x D
equivale a decir que f (x) < fn (x) < f (x) + para todo x D, o sea,
la grafica de la funcion fn no puede estar a distancia superior a de la
grafica de f en cada punto. Como esto debe ocurrir siempre que n N0 , la
sucesion {fn } converge uniformemente a f en D si a partir de un lugar (N0 )
en la sucesi
on las graficas de las funciones est
an contenidas en un tubo de
anchura a cada lado de la grafica de f .
Figura A.1. Gr
aficas de min{xn , 1} en [0,2] y nx/(1 + n2 x2 ) en [1, 1]
para varios valores de n.
Una observacion u
til es que la condicion de Cauchy uniforme equivale a la
convergencia uniforme, es decir, fn converge uniformemente a f en D si y
s
olo si para todo > 0, existe N0 tal que si n, m N0 , entonces
|fn (x) fm (x)| < , para todo x D .
A.3.3. Continuidad y convergencia uniforme.
Teorema A.15. Sea {fn } una sucesi
on de funciones continuas que converge uniformemente en D a una funci
on f . Entonces f es continua.
Si escribimos
(A.3)
|f (x) f (a)| |f (x) fn (x)| + |fn (x) fn (a)| + |fn (a) f (a)|,
por la convergencia uniforme podemos hacer |fn (x) f (x)| tan peque
no
como queramos para todo x D eligiendo n suficientemente grande. Fijado
este valor de n, la continuidad en a de la funcion fn permite hacer peque
no
|fn (x) fn (a)| cuando x est
a cerca de a.
133
A.3.4. Integraci
on y sucesiones.
Cu
ando se puede decir que la integral del lmite de una sucesi
on coincide con
el lmite de las integrales de las funciones de la sucesi
on? Es una pregunta
clave, que ha tenido repercusiones en las teoras de la integraci
on, y las
ventajas de la integral de Lebesgue sobre la de Riemann son enormes en
este punto, como se puede comprobar consultando el apendice siguiente. A
veces es u
til tener una respuesta sencilla, como la que da el siguiente teorema
(que vale para la integral de Riemann).
Teorema A.16. Sea {fn } una sucesi
on de funciones integrables en un intervalo [a, b] que converge uniformemente a una funci
on f en ese intervalo.
Entonces f es integrable y
lim
n a
fn (t) dt =
f (t) dt .
Si supiesemos que f es integrable (lo que ocurre, por ejemplo, cuando las fn
son continuas, seg
un el teorema anterior) la prueba sera tan sencilla como
observar que
Z
Z b
b
fn (t) dt
f (t) dt (b a) sup |fn (t) f (t)| .
a
atb
134
A.3.5. Derivaci
on y sucesiones.
Es m
as difcil dar resultados sobre derivacion de sucesiones de funciones. El
siguiente utiliza el teorema fundamental del C
alculo para basarse despues
en el teorema anterior.
Teorema A.17. Sea {fn } una sucesi
on de funciones definida en el intervalo [a, b] y sea x0 un punto de [a, b] en el que la sucesi
on es convergente.
Supongamos que las funciones fn son derivables, que sus derivadas son continuas y que la sucesi
on de derivadas {fn0 } converge uniformemente en [a, b]
a una funci
on g. Entonces,
(i) el lmite de {fn (x)} existe en todo x [a, b];
(iii) la funci
on lmite es derivable y su derivada es g.
para todo x D,
n
n
n
X
X
X
Mk .
|fk (x)|
fk (x)
k=m
k=m
k=m
135
En efecto, si la serie
Mn converge, satisface la condici
on de Cauchy y
la desigualdad implica que tambien la satisface la sucesion de funciones,
uniformemente en x D, adem
as. (La condici
on de Cauchy se refiere a las
sumas parciales, por supuesto.)
A.4.1. Series de potencias.
q
n
|an | .
(A la hora
p de calcular conviene recordar que si lim |an+1 /an | existe, coincide
con lim n |an | y, por tanto, con el lmite superior.)
El criterio de Weierstrass asegura que si r < R, la serie converge uniformemente en [r, r], de modo que la suma es una funcion continua y se puede
integrar termino a termino. Por otra parte, si derivamos termino a termino,
la serie resultante tambien es de potencias y tiene el mismo radio de convergencia (por que?). La suma de esta serie de derivadas ser
a la derivada de
la suma de la serie original.
Este u
ltimo argumento se puede aplicar tantas veces como se quiera, de
lo que se deduce que la suma de una serie de potencias es indefinidamente
derivable. El valor de los coeficientes se puede obtener a partir de los valores
P
de la funci
on y sus derivadas, concretamente, si n an xn = f (x), entonces
an =
f (n) (0)
.
n!
Se puede pensar en este proceso a la inversa: si f es una funcion indefinidamente derivable en x0 , podemos construir la serie de potencias
X
f (n) (x0 )
n=0
n!
(x x0 )n ,
136
X
1
1
e = lim 1 +
.
, o bien e =
n
n
n!
n=0
Se puede definir como la raz
on entre la longitud de la circunferencia y su diametro
o, como se hace modernamente, como el doble del primer cero positivo de una cierta
funcion (la funcion coseno). Sin embargo, esas definiciones no permiten conocer el
valor (aproximado) de y, con este fin, se recurre a sucesiones y series. As ha sido
desde la Antig
uedad: Arqumedes utilizaba una sucesion de permetros de polgonos
inscritos en la circunferencia; Wallis dio la f
ormula
2 2 4 4 6 6 8 8 ...
=
,
2
1 3 3 5 5 7 7 9...
cuya prueba se puede ver en el problema A.7 y se debe a Leibniz y Gregory la serie
obtenida a partir de la del arco tangente
1 1 1 1
= 1 + + ...
4
3 5 7 9
Otro n
umero con nombre propio es la constante de Euler cuya definici
on se hace
tambien como lmite de sucesi
on (problema A.5):
1
1 1
(A.4)
= lim 1 + + + + log n .
n
2 3
n
(Un problema abierto: todava no se sabe si es un n
umero racional o irracional.)
X
an
N+
10n
n=1
donde N es un n
umero entero y an es un entero entre 0 y 9.
Adem
as, ver los n
umeros como lmites de sucesiones apropiadas es una manera de
entender sus propiedades. Por ejemplo, la representaci
on de e a traves de la serie
mencionada m
as arriba permite probar facilmente que es irracional (problema A.8).
No olvidemos tampoco que en la construcci
on de los n
umeros reales a partir de los
racionales a la manera de Cantor, cada n
umero real no es otra cosa que una sucesi
on
A.5. Problemas
137
de Cauchy de n
umeros racionales (mas concretamente, una clase de sucesiones
porque todas las que van a converger al mismo n
umero tienen que ser equivalentes).
Tambien se pueden definir funciones a partir de sucesiones y series. El tratar de
escribir una funcion en forma de serie de potencias era ya com
un entre los analistas
del siglo XVIII, que aceptaban la serie como expresi
on de la funcion. As solemos
hacer tambien ahora cuando definimos la funcion exponencial como
X
xn
x
e =
.
n!
n=0
La serie converge para todo x real (e incluso complejo) y aplicando las propiedades
de las series de potencias se deduce que la funcion es indefinidamente diferenciable
y que su derivada es la misma funcion.
A.5. Problemas
A.1 Probar la proposici
on A.1. Que se puede decir en el segundo caso si lim an <
lim cn ? C
omo se adapta al caso de lmites infinitos?
A.2
138
A.7 F
ormula de Wallis.
R /2
Se considera la integral In = 0 sinn x dx.
2n
24
35
2n + 1
I2n =
2n 1
13
.
224
2n
2 2 4 4 6 6 8 8...
=
2
1 3 3 5 5 7 7 9...
que se llama producto de Wallis y es la primera expresion conocida de
como lmite de n
umeros racionales. Aparecio en la Arithmetica infinitorum
de John Wallis en 1656.
La primera manera en que Fourier dedujo los coeficientes de la serie que lleva
su nombre no utilizaba la ortogonalidad como hacemos en el captulo 1, sino un
argumento con sistemas lineales infinitos que conclua en una expresi
on cuyo valor
reconoca por la formula de Wallis.
q
X
1
p
p
0 = q!(e ) = q!
q
k! q
k=0
+ q!
1
.
k!
k=q+1
X
q!
k=q+1
k!
<
1
1
1
+
+
+ < 1
2
q + 1 (q + 1)
(q + 1)3
139
A.5. Problemas
P
n
A.11 La serie geometrica
n=0 (x) converge uniformemente para |x| r si
r < 1. Por tanto, se puede integrar termino a termino para obtener la serie
de Taylor de log(1 + x), que sera v
alida en |x| < 1.
tn+1
1
+ (1)n
,
1+t
1+t
e integraremos entre 0 y x todos los sumandos de esta igualdad. Para el
u
ltimo sumando, en lugar de buscar una integraci
on explcita, escribiremos
una cota minorando el denominador. Conseguiremos as la serie de log(1+x)
y quedar
a probada su validez en (1, 1].
1 t + t2 t3 + (1)n tn =
X
(1)n
n=1
cos
x
n
k=m
ak bk =
n1
X
k=m
Pn
k=1 fk (x)|
140
Entonces la serie
k=1 fk gk
converge uniformemente en D.
X
1
k=1
cos kx
Apendice B
Integral de Riemann e
integral de Lebesgue
U (f, P ) =
n
X
j=1
Mj (tj tj1 ) ,
L(f, P ) =
n
X
j=1
mj (tj tj1 ) .
142
Proposici
on B.1. f es integrable en [a, b] si y s
olo si para cada > 0 existe
una partici
on P tal que
U (f, P ) L(f, P ) < .
En lugar de las sumas superiores e inferiores, que fueron introducidas posteriormente, la version de Riemann utilizaba sumas del tipo
n
X
j=1
Las funciones escalonadas son integrables y su integral vale j j l(Ij ), donde l(I) es la longitud del intervalo I. Dada una partici
on P de [a, b] se
pueden definir funciones escalonadas que sobre los intervalos de la particion
valgan Mj o mj . Las funciones escalonadas resultantes tienen como integrales U (f, P ) y L(f, P ), respectivamente. Tenemos entonces el siguiente
resultado:
Proposici
on B.3. Si f es integrable, dado > 0, existen funciones escalonadas g y h tales que g(x) f (x) h(x), para todo x [a, b], y
Z
143
Rb
a (f
Rb
Rb
a f + a g
Rc
Rb
a f + c f.
+ g) =
Rb
2. Si a c b, entonces
f=
( y reales).
f M (b a).
f = f (c)(b a).
f h = h(b)
f + h(a+)
f.
f = lim
0+ a+
f,
144
Proposici
on B.4. Sea f una funci
on acotada en [a + , b] para todo > 0.
La integral impropia de f en [a, b] existe si y s
olo si para todo > 0 existe
> 0 tal que para todos t, t0 (a, a + ) se tiene
Z 0
f (x) dx < .
(f g) < .
|f g| < .
f = lim
R a
f,
145
Igual que en el caso anterior se puede dar una condicion de tipo Cauchy,
resultados de comparaci
on para funciones positivas e introducir el concepto
de integral absolutamente convergente. El resultado de aproximaci
on por
funciones integrables se puede enunciar as (lo hacemos en toda la recta):
Proposici
on B.6. Si la integral impropia de f en R es convergente, dado
> 0 existe M > 0 y una funci
on g que se anula fuera de [M, M ] y es
integrable en ese intervalo, tal que
Z
(f g) < .
f (x) dx +
f (x) dx ,
c+
R R
f (x) dx,
146
Agrupar valores poco diferentes de f (x) quiere decir sustituir f (x) por a
siempre que a f (x) < a + h. Esto requerira sustituir las funciones escalonadas de la integral de Riemann por otras en las que los escalones
pueden ser conjuntos arbitrarios y habr
a que asignar a estos conjuntos una
longitud, que llamaremos medida del conjunto.
Describiremos la integral en R, aunque la teora en Rn es la misma cambiando al principio los intervalos por bolas o por cubos.
B.2.1. Medida de conjuntos de R.
Lebesgue construyo una medida para conjuntos de R. A cada conjunto
acotado A le asoci
o una medida exterior, m (A), del modo siguiente:
m (A) = inf{
N
X
j=1
l(Ij ) : A
N
[
j=1
Ij },
147
Los conjuntos abiertos y los cerrados son medibles y las propiedades anteriores permiten deducir que otros muchos conjuntos tambien lo son. Se puede
demostrar que hay conjuntos no medibles, pero los medibles son suficientes
para las necesidades que nos aparezcan.
Propiedades.
Las funciones continuas son medibles porque los abiertos son medibles.
Proposici
on B.7. Si {fn } es una sucesi
on de funciones medibles, las funciones supn fn , inf n fn , lim supn fn y lim inf n fn son medibles (y, por tanto,
limn fn cuando est
a definida).
Teorema B.8 (Teorema de Lusin). Si f es medible y se anula fuera de un
conjunto de medida finita y si > 0, existe g continua de soporte compacto
tal que m({x : f (x) 6= g(x)}) < .
148
(B.1)
j Aj
j=1
N
X
s=
j m(Aj ).
j=1
B.2.5.2. Integraci
on de funciones positivas. Si f es una funcion medible positiva, se define
Z
f = sup
s : s es simple y s f .
f=
f+
f .
f=
f E
f (x) dx.
149
E (f
3. Si m(E) = 0,
4. Si f 0 y
5. |
f|
+ g) =
f = 0.
f=
f +
g.
g (, R).
|f |.
lim
h0 R
|f (x + h f (x)| dx = 0.
lim fn = lim
E n
fn .
n E
El resultado es v
alido para una sucesi
on decreciente (fn (x) fn+1 (x)) si
suponemos que f1 es integrable; basta aplicar el teorema a gn = f1 fn .
Una consecuencia inmediata del teorema de convergencia mon
otona es que
si las funciones fn son medibles y positivas se tiene
Z
lim
E n n
fn =
XZ
fn ,
lim fn = lim
E n
fn .
n E
E n
fn .
150
f (x, t) dx.
1. Si la funci
on t f (x, t) es continua en t0 para cada x E y existe
g integrable en E tal que |f (x, t)| g(x) en casi todo punto de E para
t en un entorno de t0 , entonces F es continua en t0 .
2. Si la funci
on t f (x, t) es derivable en un entorno de t0 y existe
f
g integrable en E tal que | (x, t)| g(x) en casi todo punto de E
t
para t en un entorno de t0 , entonces F es derivable en t0 y
0
F (t0 ) =
f
(x, t0 ) dx.
t
f (x, y) dx dy =
EF
Z Z
E
f (x, y) dy dx =
Z Z
F
f (x, y) dx dy.
151
B.2.10. Relaci
on con la integral de Riemann.
Si una funcion es integrable Riemann, es integrable Lebesgue y la integral
en ambos sentidos es la misma. Esto no se aplica a integrales impropias.
Por ejemplo, la integral de sin x/x en R est
a bien definida como integral
impropia, pero no es una funcion integrable en el sentido de Lebesgue.
Un teorema demostrado por Lebesgue afirma: una funci
on es integrable
Riemann si su conjunto de discontinuidades tiene medida nula.
B.2.11. Los espacios Lp .
En este apartado consideraremos que dos funciones que coinciden en casi todo punto son la misma, lo que equivale a definir una relaci
on de equivalencia
y hablar de clases de funciones.
Se define el espacio Lp (E), p > 0, como el espacio de funciones medibles
definidas en E tales que |f |p es integrable; en particular, L1 (E) es el conjunto de funciones integrables. Tiene estructura de espacio vectorial por la
linealidad de la integral. Si 1 p < , la expresion
kf kp =
|f |
1/p
define una norma en Lp (E). (Observese que hay que identificar las funciones
que coinciden en casi todo punto para que kf kp = 0 implique f = 0.)
h0
|f (x + h) f (x)|p dx = 0
Tambien se define el espacio L (E), pero por otro camino. Una funcion
medible definida en E est
a en L (E) si existe M tal que |f (x)| M para
casi todo x de E. El mnimo de los posibles valores M en la desigualdad
anterior es la norma de f en L . Tambien es un espacio de Banach.
152
El espacio L2 el u
nico de los espacios Lp que es espacio de Hilbert; su
producto escalar viene definido por
hf, gi =
f g.
Esta definicion vale si las funciones toman valores reales; si toman valores
complejos hay que poner f g en el segundo miembro.
Teorema B.18 (Desigualdad de H
older). Si f Lp y g Lq con 1/p +
1/q = 1 (cuando uno de ellos es 1, el otro es ), entonces f g es integrable
y se cumple
f g kf kp kgkq .
B.3. Problemas
B.1 El segundo teorema del valor medio para integrales que aparece en B.1.3
tiene la siguiente variante, que se prueba por integraci
on por partes: si h
es monotona y tiene derivada continua en [a, b] y f es integrable en [a, b],
existe c (a, b) tal que
Z
f (t)h(t) dt = h(a)
f (t) dt + h(b)
f (t) dt.
N {x:|x|>N }
|f (x)| dx = 0.
153
B.3. Problemas
4. lim
h0 R
|f (x + h) f (x)| dx = 0 .
B.6 1. Probar que si la medida de E es finita (por ejemplo, si es un intervalo [a, b]), una funci
on que este en Lp (E) est
a tambien en L1 (E). Dar un
contraejemplo que muestre que el recproco no es cierto.
2. Dar una funcion de L2 (R) que no sea integrable.
B.7 Probar que si la medida de E es finita se tiene:
lim kf kp = kf k .
Apendice C
Algunas notas
hist
oricas y galera de
personajes
C.1. Fourier
En diciembre de 1807 Fourier present
o a la Academia de Ciencias de Pars
un manuscrito titulado Theorie de la propagation de la chaleur dans les solides. Los miembros de la Academia encargados de juzgarlo no emitieron
un informe y expresaron sus dudas sobre el trabajo1 . Pero el tema era suficientemente interesante para que la Academia propusiese como tema del
gran premio de 1812, dar la teora matem
atica de las leyes de propagacion
del calor y comparar los resultados de esta teora con los de experiencias
exactas. Fourier mejor
o su manuscrito anterior y presento al concurso uno
nuevo titulado Theorie du mouvement de la chaleur dans les corps solides.
Gan
o el premio2 , pero los academicos a
nadieron a sus elogios ciertas reservas, indicando que deja algo que desear, sea en cuanto a la generalidad, sea
incluso del lado del rigor. Ninguna de las memorias fue publicada en esos
a
nos, pero Fourier culmino su trabajo con un libro titulado Theorie analytique de la chaleur y publicado en 1822, que el fsico Arnold Sommerfeld
1 Riemann
escribi
o que esta afirmaci
on [la de que una funci
on arbitraria se puede representar
en serie trigonom
etrica] result
o tan inesperada para el viejo Lagrange, que se opuso a ella de la
forma m
as decidida.
2 Hay que valorar m
as el trabajo de Fourier por s mismo que por haber ganado el premio.
La otra memoria que se present
o no tena ecuaciones ni t
erminos cientficos y, en cambio, contena
frases como: El fuego ha recibido su principio del autor de todas las cosas y se propaga como
todo lo que existe en la naturaleza seg
un el orden inmutable del creador.
155
156
calific
o como la Biblia de la Fsica Matem
atica3 y James Clerk Maxwell
de gran poema matem
atico4 .
El problema de la representaci
on de una funcion en serie trigonometrica
tena precedentes en el siglo XVIII, como veremos en la siguiente seccion.
Sin embargo, las aportaciones de Fourier fueron cruciales para clarificar
una situacion que las discusiones del siglo anterior mantenan demasiado
oscura; esta dificultad para superar los conceptos heredados del siglo XVIII
hizo dudar de la validez del trabajo de Fourier a los ilustres matem
aticos
franceses de la epoca. Fourier encontr
o la expresi
on de los coeficientes5 e
interpreto las integrales como
areas bajo curvas, lo que le permita hacerlos
v
alidos para funciones bastante generales y desprovistas de una expresion
analtica. Vio claramente que la igualdad entre la serie y la funcion ocurre
en un intervalo, no necesariamente fuera de el, y que en intervalos m
as
peque
nos que un periodo series trigonometricas distintas pueden coincidir
con la misma funcion. Cuestiones que hoy nos pueden parecer elementales
con un concepto moderno de funcion eran realmente avanzadas en esa epoca
y fueron decisivas para clarificar las ideas.
Desde el punto de vista fsico, Fourier fue el primero en deducir la ecuaci
on
diferencial que describe la difusion del calor e invent
o el metodo de separaci
on de variables para su resolucion, reconocio la potencia de este metodo y
lo aplic
o a otras ecuaciones.
La integral, ahora transformada de Fourier, aparece por primera vez en su
trabajo de 1811 como un paso al lmite y fue incorporada tambien al libro.
Joseph Fourier nacio en Auxerre
(Francia) en 1768 y siendo a
un joven le
toc
o vivir la Revolucion Francesa. Parece que estaba dispuesto a tomar votos
religiosos, pero precisamente la Revoluci
on impidio que siguiese el camino eclesi
astico.
Fue profesor de la Escuela Politecnica
de Pars, creada en 1795, donde coincidi
o con Monge, Lagrange, y otros. Dur
o
poco tiempo ya que en 1798 fue llamado a participar en la campa
na de Egipto de Napole
on junto a gran n
umero de
3 En
cientficos. Tuvo una destacada actividad tanto cientfica como administrativa (fue nombrado gobernador del Bajo
Egipto). La expedicion volvio a Francia
en 1801, militarmente derrotada, pero
fruto de su trabajo cientfico y cultural
fue la monumental obra Description de
lEgypte, comenzada a publicar en 1809.
Fourier se encarg
o de escribir la introduccion historica ademas de alg
un otro
artculo.
En 1802 fue nombrado prefecto (gobernador) del departamento de Is`ere, cuya
el pr
ologo del libro Partial Differential Equations in Physics de 1949.
se menciona en el artculo History of Mathematics de la Encyclopaedia Britannica.
5 Es verdad que aparecen parcialmente en un texto de Euler de 1777 e incluso en un trabajo
de Clairaut de 1757, pero Fourier los dedujo directamente y los situ
o como claves para escribir la
serie trigonom
etrica.
4 Seg
un
157
capital es Grenoble. No volvio a ser profesor, pero siguio trabajando en investigaciones cientficas mientras ocupaba su
cargo: las memorias sobre la propagaci
on del calor que presento a la Academia de Ciencias en 1807 y 1811 las elaboro siendo prefecto.
Dejo la prefectura de Is`ere en 1814 y
fue prefecto del departamento de Rhone
durante unos meses, pero los cambios
polticos le hicieron abandonar sus cargos y se traslado a Pars. All trabajo
=0
t2
x2
158
se escribe en la forma
u(x, t) = (x + t) + (x t).
A continuacion impone la condicion de que los extremos de la cuerda en
x = 0 y x = l esten fijos y deduce que
u(x, t) = (t + x) (t x) y (x) = (2l + x).
En 1748, Euler publico una memoria en la que indico que el movimiento
queda completamente determinado si se conocen la posici
on y la velocidad
iniciales (u y su derivada respecto a t en t = 0) y mostro c
omo determinar
en este caso. DAlembert protesto en un trabajo de 1750 alegando que
esto presupondra que u se puede expresar analticamente en t y x.
Sin que Euler hubiera respondido a dAlembert apareci
o en 1753 un tratamiento del tema completamente distinto, debido a Daniel Bernoulli. Taylor
haba observado ya en 1715 que las funciones sin nx/l cos nt/l con n
entero son soluciones de la ecuaci
on y se anulan en x = 0 y x = l, lo que
explica que una cuerda, ademas de su tono fundamental, puede dar tambien
el tono fundamental de las cuerdas de longitud 1/2, 1/3, 1/4,. . . de la original. Esto llev
o a Bernoulli a considerar que la cuerda poda vibrar seg
un
la expresi
on
X
n
nx
cos
(t n ),
an sin
u(x, t) =
l
l
n
y como todas las modificaciones observadas del fenomeno se podan explicar
partiendo de esta ecuacion, consider
o que daba la soluci
on general.
El trabajo siguiente al de Bernoulli en las Memorias de la Academia de
Ciencias de Berln era de Euler, quien aseguraba frente a dAlembert que la
funcion puede ser completamente arbitraria entre l y l y se
nalaba que la
soluci
on de Bernoulli era general si y s
olo si cualquier curva arbitraria entre
0 y l poda ser representada por una serie trigonometrica. Dice Riemann:
en aquel tiempo nadie puso en duda que todas las transformaciones que
pueden efectuarse sobre una expresion analtica ya sea finita o infinita
son validas para cualesquiera valores de las magnitudes indeterminadas, o
cuando menos s
olo son inaplicables en casos sumamente especiales. De ah
que pareciera imposible representar mediante la expresion anterior una curva
algebraica, o, en general, una curva no peri
odica dada analticamente, y, por
ello, Euler crey
o tener que decidir la cuestion en contra de Bernoulli.
Lagrange, joven a
un, entr
o en escena en 1759. Estudio las vibraciones de
un hilo sin masa al que se coloca una cantidad finita de masas de igual
magnitud equidistribuidas y vio c
omo variaban las vibraciones al tender el
n
umero de masas a infinito; tras largas manipulaciones analticas decidi
o
que la soluci
on de Euler era correcta, pero (citando de nuevo a Riemann)
159
la transicion de lo finito a lo infinito dejaba, sin embargo, mucho que desear, de modo que dAlembert pudo continuar vindicando para su solucion
la gloria de m
axima generalidad, en un escrito que situo al frente de sus
Opuscules mathematiques. Y termina sus comentarios sobre esta parte de
la historia diciendo que en lo tocante a la soluci
on de Bernoulli, los tres
coincidieron en no considerarla general; mas si bien dAlembert, para poder
declarar la solucion de Bernoulli menos general que la suya propia, hubo
de afirmar que una funcion peri
odica dada analticamente no siempre puede
ser representada mendiante una serie trigonometrica, Lagrange creyo poder
demostrar esa posibilidad.
En el fondo de la discusion de estos personajes estaba la poca claridad de los
conceptos de funci
on, continuidad, dominio de definici
on, etc. La influencia
de la teora de las series trigonometricas en la clarificaci
on de estos conceptos
fue determinante.
Leonhard Euler es la figura culminante de la matematica en el siglo XVIII,
uno de los matematicos m
as brillantes de
la historia y, sin duda, el mas prolfico.
Nacido en Basilea (Suiza) en 1707, hijo
de un pastor protestante, estudi
o ciencias y no teologa, contra el deseo de su
padre, quien fue finalmente convencido
por Johann Bernoulli, que ejercio gran
influencia en la formaci
on de Euler.
En 1727 se incorporo a la Academia de
Ciencias de San Petersburgo en Rusia,
a propuesta de su amigo Daniel Bernoulli, y a la marcha de este en 1733, Euler ocupo la c
atedra principal de matematicas. Permaneci
o all hasta 1741,
cuando se traslad
o a Berln a petici
on
de Federico II de Prusia para impulsar
la Academia de Ciencias que iba a sustituir a la Sociedad de Ciencias que Leibniz fund
o en 1700. En 1766 volvi
o a San
Petersburgo y all permanecio hasta su
muerte en 1783. Tuvo problemas con la
vista desde 1740 y casi todo su u
ltimo
periodo en San Petersburgo estuvo ciego; ayudado de su excelente memoria y
de colaboradores que redactaban sus trabajos pudo escribir cientos de artculos
de los que muchos aparecieron tras su
muerte.
160
C.3. Dirichlet
161
despues de fisiologa (1743) y finalmen- analisis correcto del flujo de agua por
te de fsica (1750); ense
no hasta 1776 y un agujero de un recipiente e incluso dio
murio en Basilea en 1782.
las leyes basicas de una teora cinetica
as tarConocido como fsico mas que como de gases, completadas mucho m
de.
Gan
o
10
premios
de
la
Academia
de
matematico, sus trabajos son verdadeCiencias
de
Par
s,
con
trabajos
de
astrora matematica aplicada ya que aplico
metodos matematicos al estudio de la hi- noma y navegacion. Produjo un impordrodinamica, la elasticidad y la teora tante trabajo en teora de probabilidades
de oscilaciones. Su libro Hydrodynami- en la que introdujo el uso del calculo inca, publicado en 1738, contiene el primer tegral.
C.3. Dirichlet
Una vez planteado el problema de la representacion de funciones por series
trigonometricas, los intentos de probar la convergencia de la serie de Fourier
aparecieron inmediatamente. Poisson y Cauchy publicaron sendas pruebas
incorrectas. Fue Dirichlet quien en 1829 inauguro una nueva epoca ya que
public
o el primer resultado correcto de convergencia: si una funci
on acotada
tiene un n
umero finito de discontinuidades y un n
umero finito de m
aximos
y mnimos, su serie de Fourier converge en cada punto a la semisuma de
los lmites laterales. El artculo de Dirichlet comienza indicando las razones
por las que la prueba de Cauchy no era v
alida.
Dirichlet tuvo el acierto de buscar condiciones suficientes y no plantearse el
problema en m
as generalidad de la que poda tratar. Su prueba era estrictamente rigurosa y, aunque he elegido para el texto una versi
on posterior, que
utiliza el segundo teorema del valor medio, la demostracion original se sigue
sin gran dificultad. En ella introdujo Dirichlet la representacion integral de
la suma parcial a traves del n
ucleo que hoy llamamos con su nombre. La
continuidad a trozos de las funciones no se usa en realidad en ning
un lugar
de la prueba, pero Dirichlet la incorpora porque las integrales que dan los
coeficientes de Fourier est
an bien definidas para esas funciones por el metodo
introducido por Cauchy (publicado en 1823). Al final de su artculo sugirio
una condicion m
as amplia de integrabilidad y mostr
o las dificultades para
extenderla a todas las funciones:
Tenemos un ejemplo de una funcion que no cumple esta condici
on
[de integrabilidad] si suponemos (x) igual a una constante determinada c cuando la variable x tiene un valor racional e igual a
otra constante d cuando esta variable es irracional. La funcion as
definida tiene valores finitos y determinados para todo valor de x
y, sin embargo, no se puede sustituir en la serie [de Fourier], puesto
que las diferentes integrales que entran en esta serie perderan todo
su sentido en este caso.
162
C.4. Riemann
Continuador de la obra de Dirichlet, Riemann present
o en 1855 su trabajo
de habilitacion titulado Sobre la desarrollabilidad de una funci
on en serie
trigonometrica que, sin duda, es uno de los varios con que su autor merece pasar a la historia de las matematicas. No fue publicado hasta 1867,
un a
no despues de su muerte. En el trabajo se distinguen tres partes: comienza con un repaso historico, sigue con la generalizacion de la integral
de Cauchy y finalmente se ocupa de las propiedades de las sumas de series
trigonometricas.
C.4. Riemann
163
Antes ha indicado que todas las funciones que intervienen en los fenomenos
naturales caen en el teorema de Dirichlet pero que la extensi
on merece la
pena por dos motivos:
En primer lugar, como Dirichlet mismo se
nala al final de su memoria, este asunto esta en la mas estrecha conexion con los principios
del calculo infinitesimal, y puede servir para traer dichos principios
a una mayor claridad y precisi
on. En este sentido su consideraci
on
tiene un interes inmediato.
Mas, en segundo lugar, la aplicabilidad de las series de Fourier
no se limita a investigaciones fsicas; hoy se han aplicado con exito
tambien a un campo de la matematica pura, la teora de n
umeros,
y aqu parecen ser de importancia precisamente aquellas funciones cuya representabilidad mediante series trigonometricas no ha
investigado Dirichlet.
164
El trabajo de Riemann sobre resultados de unicidad para series trigonometricas fue continuado por Heine y Cantor. Una vez que sabemos que si una serie
165
166
C.6. La sumabilidad
La solucion al problema de representacion de funciones continuas creado
por du Bois-Reymond vino de cambiar la manera de sumar la serie. En
1900, Fejer publico un trabajo en el que mostraba que la funcion continua
se recupera siempre si antes de pasar al lmite se toman los promedios de
las sumas parciales (captulo 7). A la vez, el resultado de Fejer vino a
mostrar que otros resultados sobre series de Fourier eran en realidad metodos
de sumabilidad, modos de asignar a una serie divergente un valor suma
adecuado. El que aparece en la seccion 7.2 es una adaptaci
on del metodo
con el que Poisson pretendi
o en 1820 probar la convergencia de las series de
Fourier. De hecho, al final de su artculo, Fejer indica que a partir de su
teorema se puede dar una teora general y nueva de la integral de Poisson
(que no vea como sumabilidad sino como soluci
on del problema de Dirichlet
para funciones armonicas en un crculo, como en el problema 8.4). Puesto
que Frobenius haba probado que
lim
r1
n=1
rn an = lim
s1 + s2 + + sn
n
siempre que el segundo miembro exista (sn son las sumas parciales de la
P
serie an ), esta aplicaci
on pudo ser la causa del interes de Fejer en el tema;
en su artculo, sin embargo, da la mayor importancia al resultado para series
de Fourier y la mencion a la integral de Poisson queda reducida a la frase
anterior.
Lip
ot Fej
er nacio en Pecs (Hungra)
en 1880 y cambio su nombre (Leopold
Weiss) hacia 1900 a la forma h
ungara
por la que le conocemos. Public
o su importante resultado sobre la sumabilidad
de las series de Fourier por el metodo de
Ces`
aro en 1900, siendo a
un estudiante.
Estudio en Budapest y Berln y ense
no
la mayor parte de su vida en la Universidad de Budapest. Fejer y Frygies
Riesz eran los dos matematicos h
ungaros
m
as brillantes de principios del siglo XX
y consiguieron crear en su pas una escuela que dio como fruto grandes matematicos, analistas sobre todo. Las guerras y los problemas polticos que afectaron al pas y a Europa hicieron emigrar a muchos de ellos. Despues de
la segunda guerra mundial solo Fejer y
Riesz, los m
as veteranos, permanecieron
en Hungra. Murio en Budapest en 1959.
167
168
C.8. La convergencia en Lp
Limit
andonos al caso de las series de Fourier cl
asicas, es decir, al sistema trigonometrico que hemos estudiado en el curso, los nuevos marcos funcionales
dieron lugar a dos problemas destacados para funciones f de Lp :
1. Es cierto que limN kSN f f kp = 0?
Bibliografa
[1] G. Bachman, L. Narici y E. Beckenstein, Fourier and wavelet analysis, SpringerVerlag, New York, 2002.
[2] J. J. Benedetto, Harmonic analysis and applications, CRC Press, Boca Raton, 1997.
[3] B. Burke-Hubbard, The world according to wavelets, A K Peters, 1996; en frances,
Ondes et ondelettes: La saga dun outil mathematique, Pour la Science, 1995.
[4] H. S. Carslaw, An introduction to the theory of Fouriers series and integrals, tercera
edici
on, Dover, 1950.
[5] R. W. Churchill, Series de Fourier y problemas de contorno, McGraw-Hill, Mexico,
1979.
[6] H. Dym y H. P. McKean, Fourier series and integrals, Academic Press, New York,
1972.
[7] R. E. Edwards, Fourier series: A modern introduction, 2nd ed., Springer-Verlag, New
York, 1979.
[8] G. B. Folland, Fourier analysis and its applications, Brooks/Cole, 1992.
[9] J. Fourier, Theorie analytique de la chaleur, Jacques Gabay, Pars, 1988.
[10] C. Gasquet y P. Witomski, Fourier analysis and applications: filtering, numerical
computation, wavelets, Springer-Verlag, 1999.
[11] E. Gonz
alez-Velasco, Fourier analysis and boundary value problems, Academic Press,
San Diego, 1995.
[12] J. P. Kahane and P. G. Lemarie-Rieusset, Fourier series and wavelets, Gordon and
Breach, Amsterdam, 1995.
[13] D. W. Kammler, A first course in Fourier analysis, Prentice Hall, Upper Saddle
River, 2000.
[14] Y. Katznelson, An introduction to harmonic analysis, Dover, New York, 1976.
[15] T. W. K
orner, Fourier analysis, Cambridge Univ. Press, Cambridge, 1988.
[16] H. Lebesgue, Lecons sur les series trigonometriques, Albert Blanchard, 1975 (original
de 1906).
[17] R. Seeley, Introducci
on a las series e integrales de Fourier, Reverte, 1970.
169
170
Bibliografa
Indice de t
erminos
amplitud, 5, 78
an
alisis, 3, 78
base de Haar, 72
base hilbertiana, 71
clase de Schwartz, 91
coeficientes de Fourier, 2, 70
condici
on de Lipschitz, 19
conjunto de unicidad, 165
conjunto medible, 146
conjuntos de medida nula, 147
constante de Euler, 136
convergencia absoluta, 144
convergencia en media, 51
convergencia en media cuadr
atica, 53
convergencia puntual, 11, 131
convergencia uniforme, 23, 131
convoluci
on, 85
correlaci
on, 85
criterio de comparaci
on, 128
criterio de condensaci
on de Cauchy, 128
criterio de la raz, 129
criterio de Leibniz, 130
criterio del cociente, 129
criterio M de Weierstrass, 134
cuerda vibrante, 57
densidad de probabilidad, 106
derivaci
on de series de Fourier, 38
desigualdad de Bessel, 5, 70
desigualdad de Cauchy-Schwarz, 68
desigualdad de Hausdorff-Young, 99
desigualdad de Wirtinger, 63
desigualdad isoperim
etrica, 64
desviaci
on tpica, 106
difusi
on del calor, 59
ecuaci
on de ondas, 58, 113
ecuaci
on de Schr
odinger, 105
ecuaci
on del calor, 59, 105
ecuaci
on del potencial, 60, 113
equidistribuci
on de sucesiones aritm
eticas,
65
espacio de Hilbert, 70
espacios Lp , 151
fase, 5, 78
fen
omeno de Gibbs, 41, 91
funciones arm
onicas, 60
funciones de Hermite, 99
funci
on absolutamente continua, 36
funci
on caracterstica, 106
funci
on de banda limitada, 108
funci
on de tiempo limitado, 110
funci
on de variaci
on acotada, 19
funci
on escalonada, 142
funci
on integrable, 148
funci
on medible, 147
funci
on simple, 147
funci
on theta de Jacobi, 113
f
ormula de sumaci
on de Poisson, 104, 119
f
ormula de Wallis, 138
igualdad de Parseval, 53
igualdad de Plancherel, 4, 53, 71, 93, 118
integraci
on de series de Fourier, 35
integral de Riemann, 141
integral impropia, 143
integral inferior, 141
integral superior, 141
intervalo de Nyquist, 109
inversi
on de la transformada de Fourier, 82
lema de Fatou, 149
lema de Riemann-Lebesgue, 13, 79
localizaci
on uniforme, 25
lmite de una sucesi
on, 125
Indice de terminos
172
sntesis, 3, 78
teorema central del lmite, 107
teorema de convergencia dominada, 149
teorema de convergencia mon
otona, 149
teorema de Dini, 18
teorema de Dirichlet, 16
teorema de Dirichlet-Jordan, 20
teorema de Fubini, 150
teorema de Lipschitz, 19
teorema de Lusin, 147
teorema de Pit
agoras, 69
teorema de Riesz-Fischer, 72
teorema de Shannon, 109
teorema de Weierstrass, 55
teorema integral de Fourier, 90
teoremas del valor medio, 143
transformada de Fourier, 78
transformada de Fourier en L2 , 93
transformada de Fourier en Lp , 98
transformada de Fourier en cosenos, 89
transformada de Fourier en senos, 89
transformada discreta de Fourier, 115
transformada r
apida de Fourier, 116, 119
valor principal, 145
variaci
on total, 20
varianza, 106