44

46
48
50
52
54
56
58
60
45
47
49
51
53
55
57
Series
de Fourier, Transformadas de Fourier y Aplicaciones
Genaro Gonz 59
alez
2
u =
tanto
con
condiciones
fde
.virtud
lim
ucurva
= llama
ftipo,
g.
klas
parte,
ken
k{1uborde
Divulgaciones
Definicion
Teorema
yLuego,
oEntonces
Donde,
equivalentemente,
por
La
En
lo
este
un
3.espacio
segundo
ecuaciones
2.
Sea
Matematicas
resulta
Un
el
de
finalmente
producto
:ejemplo
Fourier
(4)
A
yteucldeo
v.
(5)
de
interno
conjunto
este
No.
deducimos
1/2
Hyesta
recibe
en
ortonormal
demostremos
que:
definido
el
con
43
nombre
sus
enSchwartz
que
estudios
Hes
de
espacio
del
numeracual
1
1.Como
Por
Introducci
implica,
fde
otra
4.
Una
puesto
funcion
del
la
fcomenzo
teorema
se
tiene
1,(1997),
funcion
que
(I)
1,con
tenemos
de Adimension
si
fde C
que
}un
kcontribucion
C lim

05,
t1807
0permetro
espacio
t L de

2
k
(p)
X
60
Hilbert
problema
por
yinfinita.
lim
(1
x
)
f
=
0,
para
todo
par
de
enteros
no
negativos
k y las
Puede
tambien
probarse
que
el
conjunto
formado
por
todas
ble.
Las
siguientes
condiciones
son
equivalentes:
El
procedimiento
para
resolver
esta
ecuacion
ya
nos
es
familiar;
Z b+
Z
Z
(R)
que:
|x
|
2
2
on

1/2
1/2
1
1/2 Z
2 exp[
2 exp[2int
2 (2 |n
2|)
2
t1
2|) 2x]
1|1
2.
f u(t,
(R).
Cx)
=
ffinitas
(2
X
(x(t)
+
(y(t)
y(0))
=2inx
4((1)
+H
(1)
x(0))
La
idea
basica
deconjunto
las
de
p
Fourier
()
=
eyque
toda
,decir,
funcion
periodica
per
primero
2de
2(n)ortonormal
u
=
(4
es
+
1)
2es
2n
2 ix]. decon
del
si
toda
flujo
del
Cauchy
converge
en
H,
es
si
completo
tfunciones

1.
{1usucesion
} escalor
un
maximal
en
H.
combinaciones
lineales
de
caractersticas
de
subintervalos
de
p.

=
yseries
)
=
x

=
x

(n)
4
4
k
k
k
k
|
|
(x)
=
g(y)
2(b
a)
dy
=
2(b
a)
g(y)
|f(x
|2+dx
|
|

k
k
X
2u l
l f2f
f(f,
(n)g)
2=
(x)e
dx.
=Z
(x)g(x)
2 2
u
1

n
=

/
nZ por(n)
odo

(0)
aplicamos
la
transformada
de
Fourier:

la
metrica
inducida
el
producto
interno.
f
.
0 ).fracionales
I con
extremos
es
un
subconjunto
denso
y
numerable
de
L
(I).
En
anotacion,
0=
3.
lim
()
=
0.
En
nuestra
f
f
.
Equivalentemente,
f
es
una
funcion
de
,
wartz
si
lim
P
(x)f
(x)
=
0
para
todo
entero
no
negativo
n
y
para
0
2
=
n

Z
2

|
|
2. El
de H
todas
las
lineales
finitas
de elementos
dey
|
dx.
2
combinaciones
+ ser
y|xla
(n)
|conjunto
|Lpor
yDefinicion
aplicando
deunPoisson,
obtenemos
que:
3.formula
Sea
2
espacio
Hilbert.
Si (x,
= senos
0 para
ciertosdada
x,del
2 Hilbert
T
puede
expresada
como
una
suma
trigonometrica
cosenos
t
2de
x
1de
90.
otras
Supongamos
palabras,
(I)curva
ejemplo
es
un
que
espacio
la=
lay)de
superficie
dey2 viene
dimension
4
22k2X de
todo
polinomio
(x).

2C es
2temperatura
2separable
2
1 2|).
| x|
u
es
2 denso
2P2
12 (en
H.
{
}
En
otras
palabras
la
una
circunferencia.
2(b
a)
g
(y)
\
2

u
=
4
n
x(n)
+
y(n)
)
=
4
n
(
x(n)
+
y(n)
|
|
|
|
|
|
|
2
1
2
2
Pero
consiguiente,
(1( claro
+funcion
4
tenemos
g))T
es
que:
de
de ala
funcion
e
y por
4.Luego,
fXque
=sinusoidal
g.
t 4
mismo
perodo
.f(S
El
aparece
naturalmente
en
de
2f (t)

0X
Es
)laproblema
estransformada
isomorfo
(I).astronoma,
El
principal
por
una
simple
=Fourier
sin(2t)
(lo
cual
significa
infinita.
Probemos
ahora
X
el1canonicamente
siguiente
2
presentado
aZ la LAcademie
desnu,
Sciences
en
1811
yLpublicado
en que
parte
2R
En
efecto,
consideremos
la
funcion
f/2t
(x)
= x(x,
definida
el intervalo
2 2 =
n2 t0 en

n
n

Zy)
1que
P
hecho
Neugebauer
(1952)
decubrio
los
Babilonios
utilizaron
una
forma
e
H
decimos
que
x
es
ortogonal
a
y.
Como
implica
que
(y,
x)
=
1/2

=
e
.

6.2
Temperatura
de
la
tierra
El
conjunto
formado
por
todas
las
funciones
de
Schwartz
se
denota
por
resultado
referente
aH,este
teorema:
la
1 es elf siguiente
despues
encontramos
u:
2=
5.
fPara
=
0todo
si yxsolo
a L=
como
temperatura
anual
media
(0)
es22(R).
cero).
En este
caso,
lafacilmente
funcion

S
(R).
Evidentemente
S
1si
(R)

(R)
20 |0x()
(y)
L
Puede
probarse
3.
xfbfkespacio
=
(Identidad
de
Plancherel).

k(R)
|2prediccion
cerrado
2t
Z
nla
dy
Z

A
S
(R)
es
denso
en
L
y
en
L
(R).
primitiva
de
las
series
de
Fourier
en
de
ciertos
eventos
g
|
|
=
0que
tenemos
que
la
relacion
de
ortogonalidad
es
una
relacion
simetrica.
n

Z
Teorema
5.Theorie
Existe
ortonormal
tal
todas
0.Luego,
la
celebre
analytique
dedefinimos
la2sinchaleur
en
1822.1 esFourier
hizo un
vendra
X
X
X
11numerable
|x| que
Definicion
5.
Para
f,subconjunto
g2

S2de
(R),
2 coeficiente
2 un
1muy
2
P
u
Un
problema
sencillo
pero
es
de
[0,
1].
El dada
nesimo
dicha
funcion
0Fourier
series,
Transforms
Applications
e fla
fdede indices
celestiales.
temperatura
ux,
=
[(4
==+cos
1)
f(
]=
[(4
(n)
+recorre
1) eland
]
calcular
Un
conjunto
de
uFourier
en
H,
donde
de2t
algun
conjunto
fdefinidas
interesante
(x,
Teorema
6.
La
familia
de
funciones
Z
las

4.
SiFourier
y
H,vectores
entonces
y)
=
x()y()
(Identidad
por:
f
(n)

f
(0)
=

=
intento
serio
u(t,
por
)
demostrar
2t
que
f
()
cualquier
+
funcion
diferenciable
puede
ser
b
i
2

1t/2,
de
la
tierra
aortonormal
una
x,2 alas
partir
de2relaciones
laside
temperatura
de
la superficie.
Luego,
haciendo
el profundidad
cambio
t
obtenemos
que:
asatisfacen

Z
dxde
n2 =2x).
0,
LaAplicaciones
historia
moderna
de
series
Fourier
comenzo
con
0 de
u(t,
x)finitas
=bX
exp(
2x)
sin(2t
en
hse
A,
se
llama
sitrigonometrica.
las
ortogonalidad
(u
0
22
por
,
combinaciones
lineales
miembros
dicho
conjunto
es
denso
en
3de

Z
(f
)=
ng()

Z
n

Z
n

Z
6
expandida
una
serie
Una
prueba
satisfactoria
de
este
Genaro
Gonz
A
=
n
(
x
+
y
)
+
2nIm(x(n)y(n))
|
2(b
a)f
(x)
Z
1

|
|
|

|
|
=
f
(n)

Parseval).
2inx

|
1=
1 temperatura
x y
t de las como
2 dede
2inx
Describamos
la4
superficie
terrestre
unadel
pfuncion
1lacos(2nx)
1
2) = 0
2(Teorema
(x)e
dx
DAlembert
(1747)
y
su
tratado
las
oscilaciones
cuerdas
violn.
Teorema
4
del
isomorfismo).
Si
u
,
u
,
.
.
.
es
una
base
en
2
2(b
a)

e
f
(y)
dy.
1
1
u
e
(x)
=
e
=
+
i
sin(2nx)
1
2
+

si
n
=
0.
1
X
L
(I),
i.e.,
L
(I)
posee
una
base
numerable.
a
X
X
X
2iy

n
22it
Z2
hecho
fue dada
por
Dirichlet
Riemann
tambien
hizo
2en 2n
2
1829.
1 nt y+
Z de
n2alez
Esta
formula
dice
que
la
la
x una
= 2funcion
2 nos
dy
[e=2it
etemperatura
()
n
/t]fcuerda

te
2inx
fEl
periodica
elA=tiempo
perodo
1 a
(un
ano).
temperatura
(
ede
desplazau2=
x)problema.
denprofundidad
violn,
como
H
2 2una
=
e2series
.y podemos
para
todoextraordinario
, miento
en.importantes
con

=al
,
y
esta
normalizado
deLa
modo
que de
=
factor
=
kuFouku(t,

fsi
(x
+0es
m)e
u(t,
El
poder
y
la
flexibilidad
de
las
transformadas
i,
Demostracion.
Puesto
que
L
(I)
separable,
encontrar
un
contribuciones
b
a

2
2

t
2
Departamento
de
Matematica
y
Computaci
afectada
por
el
e
y
esta
completamente
fuera
de
fase
con
respecto

(2)
f
()
=
f
(x)
exp(
2inx)
dx
queda
t
x)
en
g(),

u
2
1
n

Z
0
f
(x)
.
=
k
k
Escribamos
x
=

+
i,
y
=

+
1,
i,
si

entonces
la
aplicacion
x
x(n)
es
un
isomorfismo
entre
H
y
el
7
2
nen

Z1la
+
forman
una
base
ortonormal
para
L
(S
).
En
consecuencia,
toda
funci
1
n

Z
m
Z
2
2
rier
se
ponen
de
manifiesto
asombrosa
variedad
de
las
aplicaciones
que

junto
numerable
de
funciones
= ,estas
ft
, . 0.ha
.<,de
x
fu(t,
, identidad
.x)
1,impulsado
. .periodica
que es
Modernamente
el
analisis
Fourier
sido
por
aconLuego
finvertimos
(n)
=
En
1>,virtud
de
la
n<
dedenso
Plancherel
|que
(u
), =
u
on
Facultad
Experimental
Ciencias
4
4 Bajo
2dx
2+
2de
el
tiempo
t|u||
0kf4
ypara
profundidad
0f0,2si
es
tambien
en matem
teny Les
Flujo
del
asumir
circunstancias
puede
ser
expandida
diversas
kZcalor
n.t
4x
n2
y6.6
luego
finalmente
obtener:
entonces

1 lax
X
X
espacio
l
on
0,

=
.
ellas
tienen
en
ramas
de
matematica
y
de
la
fsica
matematica,
2
X
aticos
lafuncion
talla. de
Lebesgue,
Hardy,
Littlewood,
Wiener,
Frobenius,
(I).
Side
la
fde
expresada
como
unacomo
combinacion
lineal
las
estaciones
como
lo
lapara
siguiente
figura.

nindica
tenemos
Universidad
Zulia.
Postal
526
puede
Zser
decir,
2
1que
mediante
serie
2 (del
2 +
2 (x
cada
2Apartado
0+
x)2inx
<deZ
fijo
sigue:
2hasta
d
(3)
fFourier
(x)
=
flas
()
fdescribe
+
m)e
x+t
A
==
niniciales
([0,
+
.exp(2ix)
+
2n(
))
la
u forma
fEs
LSupongamos
)una
puede
ser
expandida
mediante
una
serie
de
Fourier
en0.
problema
condiciones
(1/2)
formado
el
conjunto
de
todas
sucesiones
cuadrado
sumable.
desteora
de
numeros
y,C
geometra
mecanica
cuantica.
En
1de(S
1por
El
del
flujo
pues
del
que
calor
f
se
1/2])
mediante
con
f
(0)
la
=
ecuaci
f
=

Selberg,
Weil
y
Weyl
entre
otros.
compleja
de
las
funciones
f
f
,
.
.
,
f
,
entonces
la
eliminamos
de
1
1
sujeto
a
las
u(t,
0)
=
u(t,
1)
=
0
para
t
0,
(0,
x)
=

1
2
n
1

gonzalez@luz.
v
e

0 t) X

4
t
X
Z
n

Z
m

Z
u(t,
x)
=
[f
(x
+
+
f
(x
t)]
+
dx

g(y)
dy.
verano
Si
u
:

A
es
ortonormal,
asociamos
a
cada
x
H
una
funcion
{

Z
1
esta
seccion

presentamos
algunas
de
las
mas
importantes
aplicaciones
del
on
mos
f
a
una
funcion
impar
en
[
1/2,
1
1/2].
1
Entonces
dicha
extension
es

2int
En
este
artculo
se
estudian
los
fundamentos
de
mayor
Z
nuestro
conjunto
denso
numerable.
As
continuamos
con
nuestro
proceso
Extenda
. .. 2 es la teoricos
para
0
<
x
<
1.
La
solucion
de
este
problema
superposicion
de
1
X
2
2
0compleja
f (x)
f(x)e
.
u(t,
x)
m+1
=
2=
cn(
(t)
).
xde
mediante

n
(3)
La ecuacion
(2)
esComenzamos
llamada
la
de 2f y la
.k
.k
u
u2= transformada
x Fousobre
el conjunto
de
indices
A,
definida
2t Fourier
=
xque
exp(
2inx)
dx
=(n)e
f2de
=
transformadas
. hermosa
.una
analisis
de
rier.
dando
y2yelegante

relevancia
derestante,
las
series
y1+
Fourier
presentan
una
.y m)
ydosel conjunto
tambien
numerable,
loseenumeramos
n=

=
(n
)
+
(n

(n
1)(
+
) soluci
t> denso
,1/
(6)
tes
0,t2in(y
R
=Fourier
..)x .+
5inversa
fde
(y)e

Resumen
.
0
,
la
transformada
de
teorema
resume
.2 f... 2.El 1 siguiente
2
2
.. 1/2
Zopuestas
23 aplicaciones.
n=0
Esta
la
llamada
de
. .. (S )complejos
on
al
ser
uno
de ..los
problemas
de los
la
t
2
xi.e.,
algunas
funcion
de
perodo
1,
y
consiguiente,
..mas
.. por 1,
aplicamos
de
ortogonalizacion
de
Gram-Schmidt
para
construir
.L
como
gviajando
,que
gel
, proceso
gdemostro
.en
. .kde
.formula
Ahora
.. ....
..la
Geometra
f
(n)
de
ondases
3
direcciones
a
velocidad
como
lo
expresa
la
k
m
..f
. ..X

X
X
1 periodica
2 sus
.
,
.
.
.
X
Z respecto
dy
.... . ( 1
(x,
......... 2
00.2 1nZ m1x()
resultados
mas
importantes
2.. au
las
de Fourier.
0=
) ......transformadas
1
1
.......
2

DAlembert.
.......p
geometra
plana:
el
famoso
problema
isoperimetrico.
.
f
=
f
(n)
=
2inf
(n)
k
k
|
|
|
|
una
.
2
2
1
.
familia
ortonormal
la
cual
evidentemente
sera
una
base
para
Lel c
X
Xestudian
X
con
coeficientes
formula
deEnDAlembert:
ten
=
.
este
se
series
de
Fourier
L (S
nf
+
. /2)
Z
=
+ )lim
con Luego
condicion
de1artculo
borde
=
..... las
LaX
de este
problema
es
2.....solucion
t0 u
4 2iny
L
(I)
1n

1u(t,
A).
A
, que
es
el
area
por una
9define
2
2
nf2(xencerrada
Zx)4precisamente
. de
El
espacio
L2(I)4se=
como
la
clase
todas
las funciones
complejas
2
Espacios
de
Hilbert
.+
Zn=1
f
(y)e
=
Z
.. dy
(I).
u(t,
=
f
(x
t)
+

rculo
.. Z
Teorema
7.
6.8
Formula
de
n=1
.
1
R
similar
Z
X
. . Z 1
1
1/2
2 2 2 de funciones
2 2 reales infinitamente
nZ
2int
rencia
longitud
1. el
(n).
yde
transformada
de
Fourier
medibles
en
intervalo
I ninvierno
que
<
2nx
f4u(t,
|fla
| 22transformada
. Para
cisoperim
x)e
dt.
Poisson
6.1
Elladefinidas
problema
=
4
fe(teorema
(n)
f I (n)
|R
| 2satisfacen
f4
fnX
n
(n)
1(x)
Como
consecuencia
del
del
isomorfismo)
tenemos
aLos
la1.circunfesolucion
del
problema
anterior.
aplicamos
1en| x
La
aplicacion
fse
f(R)
es
lineal
ynPrimero
biyectiva
de
s
mismo.
Referencias
t),
7
S |(R)
fSea
=
(f,
eteorema
)=
=
=
(x)e
dx.
Teorema
11.
f
C
tal
R

numeros
x()
llaman
los
coeficientes
de
Fourier
de
relativos
alque
2
Supongamos
ahora
que
se
satisface
la
igualdad
A
=
ycomplejo
demostremos
0
De
lo
anterior
obtenemos
que
conjunto
{
u
}
.
en
la
cual
f
es
una
funcion
impar
de
perodo
2
que
se
anula
en
los
4
Definicion
diferenciables
1.
Un
espacio
con
eucldeo
todas
sus
es
un
derivadas
espacio
vectorial
rapidamente
H
f,
g
L
(I),
definimos

n=0
n=0
etrico
de
0
0
junto
con
una
que
asocia
aI=
cada
ordenado
de
la
aplicacion
ffuncion
f circunferencia.
(n)
=
(f, gncerrada
)establecen
fsimple
gpardefine
unde1isomorfismo
dex, y m
7
Los
teoremas
siguientes
las
propiedades

H
curva
Teorema
9. CSi
es
una
curva
de
clase
y de
de las
longitud
Cuna
C 1vectores
laun
es
En
efecto,
A
2 n2 calgunas
que
cuatro
puntos
2 toda
Tambien
se
ejemplos
de
4
2Fourier
2dan
numero
complejo
(x,
y),H.
llamado
producto
Z
interior
de=
xalgunas
e y,,. entonces
de
manera
tal
u/t
=
2
andsiydiferencial
2.
fdecrecientes.

=
f ,la
para
fu=
(x)
[1]
Dym,
H.,
McKean,
P.,
Series
Integrals
Academic
1Press,
Sabemos
que
funcion
satisface
la
ecuacion
de
Hilbert
entre
L
(I)
y
el
espacio
l
de
todas
las
sucesiones
de
cuadrado
f
+
f
(x)
4
f
k
k
|
|
|
|

2
1
as
importantes
de
los
conjuntos
ortonormales
los
coeficientes
de
Fourier

2
L0
(SC) que
. La
1,
el .area
A 1de
encerrada
por
satisface
2solucion
A 4
espacios
X
6.3
Evaluacion
series
no
2ladedesigualdad
4espoda
x
=entonces
0,aplicaciones
1,
.con
. Euler
en
1748
propuso
tal
ser

2,
1
1

1
mas
importantes
del
analisis
Fourier
a
varias
+
x
que
se
verifican
las
siguientes
propiedades:
De
acuerdo
el
teorema
4,
la
aplicacion
f
7
f
un
isomorfismo
4
(f,
g)
=
f
g.
(1)
parcial
2
2
2
2
2
New
York,
1972.
u,
sumable.
en
espacios
de
Hilbert.
Las
demostraciones
verse
en
[2]
o [3].
=
2
es+una
(n pueden
=
.
igualdad
se
satisface
(n
+
si
)
y
solo
+
(n
si
)
circunferencia.
1)(
+

)
=
En
0.
3.
f
=
,
para
toda
f

(R).

C
k
k
k

S
S
(R),
X
2
triviales
2
2
4
2
.
luego
calculamos
ramas
de
la
matematica
y
de
la
fsica.
Ipara
6.9
Identidad
de
Jacobi
5
9
2
6
90
n

La
identidad
de
Plancherel
puede
usarse
evaluar
algunas
sumas
infinitas
X
entre
paraRudin,
todo x
R
(esta
se(Ecuacion
por
ejemplo
si1979.
f= 0 para
Analisis
S (R)).
Observemos
ahora
quecondicion
la igualdad
sesatisface
obtiene
y calor).
solo
si f (n)
n=1
Psi
del
n=0
consecuencia,
u
1de
isomorfismo,
[2]
W.,
y(R),
. Alhambra,
u2Complejo
u:
2Madrid,
todo
22ix
Palabras
yx),
frases
clave:
Teorema
del
serie
de
f(x,
k1.
2ix
y)
=
(y,
(la
denota
conjugacion
compleja).
Teorema
1.
En
un
espacio
Hilbert
conjunto
ortonormal
t
21Real
Definicion
6.
Para
f,
gbarra
Lx
definimos
la
convolucion
de
f+En
ycg2es
fdemostremos
(x)
=
f
(n)
sin
no
triviales.
Por
ejemplo,
que
n
=

/6.
efecto,
2
2
que
=
Entonces
nObserve
tal
que
n
>
1
lo
cual
implica
que
la
funcion
f
(x)
=
c
e
e
|
|
n=1

La
funcion

es
una
funcion
trascendente
que
aparece
en
diferentes
areas
1
todo

entre
todas
las
curvas
cerradas
simples
de
longitud
la que encierra
mayor
u
=Fourier,
fpara
exp(
2X
y, z de1H.Parseval,
X
Fourier,
transformada
deX
identidad
identi1
0
lineal(x
mente
+
y,
independiente.
z)
=
(x,
z)
+
(y,
z),
todo
x,
Esta
ultima
relacion
implica
que
si
n
2,
entonces

=
1].
=
2
|
|

considerese
la
funcion
f
(x)
=
x
definida
en
el
intervalo
cerrado
[0,
[3]
Kolmogorov,
A.
N.,
Fomn,
S.
V.,
Elementos
de
la
Teora
de
Funciones
2Z
Z
Z

nx,
4
Funciones
de
cuadrado
sumable
en
el
c
dmediante
cos
2x
+
d
sin
2x
satisface
f
=
f
,
i.e.,
la
constante
1/2
no
k
k
k
k
de
2.
1
2
=
f k2 = de Schwartz.
kWirtinger
| .
2 |f (n)
Por
lo |dad
tanto,
de
Plancherel,
funciones
1
6.4
Desigualdad
de
El
f
(n)
=
t),
2
2
yDemostracion.
s
n
=
1,
entonces
(
1)
=
(
1)
y
(
1)
=
(
1).
Por
otra
Supongamos
que
la
curva
a
parametrizada
en
la
|

C
Zn=
0,
(x,
y)|(f,
=
(x,
todo
y| H yfunciones
para
todo
g)H
fespacio
g| =
(|f | +
<que
ser
mejorada.
la
matematica
como
teora
numeros,
| y),
|para
|fx,
||gHilbert.
|gelpticas,
| )escalar
{uecuaciones
Rde
ypuede
como
consecuencia
Teorema
2.
Sea
un
de
Supongamos
: A}
y rculo
(
ZZ
Zn1funcion
3.
nZ1 de
Z I 2 laforma
nesimo
coeficiente
viene
dado
por:
(x(t),
y(t)),
donde
el
parametro
representa
longitud
de
arco. En(1)
1Re(x(1))
IFourier
I t dicha
2de
est
parte,
(1)
=
=
x(t)
cos(2t)
=
(
1),
similarmente

(f
g)(x)
=

f
(x
y)g(y)
dy.

de
la
fsica
matematica
y
mecanica
estadstica.
Se
define
mediante
la
1
1
esu una
u
0
Teorema
f
funcion
continua
definida
en
el
intervalo
f
(n).
es
un
conjunto
ortonormal
con
A
a
lo
sumo
numerable.
Entonces
.
00 10. RSi
Z

2int

2int
si
n
=
0
,
Fourier
2= 4inc para todo
1 2
1 e
X
virtud
y
sus
de
== series
c
dt
=
2
e
2
dt
0y
12
Abstract
X

n
exp[
(x
y)
/2t]

n
4.
2
x
exp(
2inx)
dx
=
Demostracion.
Fijemos
x
[0,
1]
definamos

f
(x)
=
2

f
(x
+
n).
2
1
1
I6.5
m(x(1))
x(t)
sin(2t)
=
(
1).
Analogamente,
(1)
=
(

cerrado
Lema
1.x)
Si f[exp(
(S
), ecuaciones
entonces
laLnos
yx
tanto,
formula
1define
un
numero
2=
=
(n)
H
se
satisface
la
siguiente
desigualdad:
complejo.
teorema
x
1 tL>(S
ndonde
Zfacil
Solucion
de
En
esta
seccion
concentraremos
elk2in
espacio
), Es
S verificar
f (y)
dy, 1)
u(t,lo
2
t)f
pf
fen
000,

u(t,
(n)
cos
nt
Ppor
exp(
n
t),
para
(t)
= x)
tf
Z=
(2in)
, (2t)
silo0.
n.1/2
=
0.
del
de
Stokes
Es
facil
probar
que
k
fx=
]=
gZH.
k
k
f0
k
gt
k
y sin
por
tanto
la
(x,
x)
0
para
todo
1
1
1
1
Es
facil
ver
que
esta
serie
es
absolutamente
convergente.
1
(1)
=
(
1).

que
X
[a,
b]
con
(a) = f (b) = unidad.
0, entonces
(n).

1
1 en
denota
la1 fIn
circunferencia
El
espacio
S
puede
interpretarse
el
y
5.=
fTal
this
article
we2n=
study
Fourier
inlasthe
circle anddecomo
the
2(xy
convolucion
define
un
producto
(R).
A
=diferenciales
(x
y0nx.
dx)
=
yx
)series
1k

vez
una
de
lady
propiedades
mas
de2ecuaci
integrales
Fourier
x
(Desigualdad
de
Bessel)
|x()
|producto
Ridentidad
k0the

2inx
En
otras
palabras,
los
coeficientes
cLnimportantes
satisfacen
laL
Por
otra
parte,
en
el
intervalo
[k,
ky(t)
+Plancherel,
1]
podemos
definir
partes
fobtenemos
(x
+norma
k)
Desarrollando
las
funciones
x(t)
y
en
series
de
Fourier,
la
formula
1
define
un
interno
en
(I)
y
que,
con
la
b
a
(x,
x)
=
0
solo
si
x
=
0.
Por
lo
tanto,
en
virtud
de
la
de
tenemos
que
0
Demostracion.
f
(n)
=
f
(x)e
dx.
Integrando
por
intervalo
P
P
2
2
LaFourier
integral
deA
Fourier
definirse
mediante
para funciones
en
C transform
ofk0fpuede
infinitely
0
diferentiable
real(2)functions
exp(
x2 /2t)luego
, para

kf42expuestas

k la
es
=
Las
mismas
ideas
por
(1753)
ywith
Lagrange
on
1 kernel
fpIdentidad
+
n)
=los
(x
+0R l)
k2ffD.
(x),
todo
k vector
Z,
loxque
entonces
que:
de
Jacobi
1 ndt
En
de
lafueron
podemos
definir
de
un
de
inducida
por
dicho
producto
interno
L
(I)
esnorma
un
espacio
metrico
donde
(x)
=k
llamado
de22Bernoulli
Gauss.
0x
propiedad
2inx
2in
p
t(x
Z
+
Z
lestablece
Zel
La
f1=
00es
unidad
0virtud
1,
con
extremos
yque:
identificados.
Las
dx
funciones
definidas
1/2
1Sus
obteneL
(R).
principales
propiedades
vienen
dadas
en
el
siguiente
teorema.
(2t)
1 1/2
mos
que
f
(n)
=
e
f
(x)
(x)e
(
2in)
=

X
all
its
derivatives
rapidly
decreasing.
We
also
provide
examples
1
que
transforma
operadores
diferenciales
con
coeficientes
constantes
en
multi
2
c
=

[(2
n
)
(1
i)]
c
,
|
|

1 perodo
n de
nk x
(1759).
=que
La
((x,
formula
yformula
una
)lL
(y,
)espacio
)0lax).

2l2(x,
2 Hilbert

2es
indica
1la
fautores
es
funcion
periodica
de
2 espacio
1 1;
esto
fdefinici
C
H
mediante
xes
=
Se
satisfacen
siguientes
X
completo,
es
decir,
(I)
un
de
acuerdo
la
2 2
Algunos
requieren
en
definicion
Hilbert
kvariable
=
dxkP
=
kf
k1/2
kfaplications
(2
)las
ndecon
0
de
of the
most
important
ofdeFourier
analysis
to que
2some
2in
0 x
0 = de
1+cos(2t)
0f
plicacion
por
polinomios
de
acuerdo
con
la
formula
f
=
2if
.
2inf
(n)
en
S 12.of
pueden
verse
como
funciones
real
periodicas
perodo
1i.e.,

b
a
3
4
x(t)
=
x(n)e
=
x(0)
+
2(1)

2(1)
Similarmente,

f
(x)
=
(x
+
n)
converge
absolutamente
en
R
a (4)
1,
funciones
que
satisfacen
f
(x
+
1)
=
f
(x),
para
0

x
<
1.
El
Teorema
8.
Para
cualquier
funcion
f
en
L
(R)
la
transformada
de
on
Si
A
y
B
son
subintervalos
disjuntos
de
I
entonces
Z ser
Z x, tyi.e.,
0
(t)
=
tZnegativo
(1/t),
para
>a H,
0.
X
(S
). Desigualdad
el
espacio
seasigno
de dimension
separable,
requiere
existencia
relaciones:
n
infinita
espacio
donde
la
constante
no
1 y de
1Veamos
6.7
Ecuacion
de
several
branches
mathematics
and
physics.
Schwarz.
Para
todo
y)0|
xkk
tomando
2 1.1(Parseval)
el
opuede
acuerdo
sisencomplejas
|0(x,
>ecuacion
o kla
nmedibles
<y k0.. f
0
1of
.
elde
siguiente
ejemplo
como
resolver
la
= enpositivo
R
L
(S
)
es
el
espacio
de
Hilbert
de
todas
las
funciones
sin(2t)
(xy
yx
)(n)
=
in(xy
xy)(n)
(En
virtud
del
=
funcion
periodica
en

S
;
luego
tenemos
que
(
f
)
=

f
y
por
consiguiente

Fourier

X
00 Z
1f(x)
de
un Transformadas
subconjunto
numerable
H.
estas
hipotesis
una
(
,fphrases:

)=
sin
2int
nx
ABajo
=theorem,
0f(n).
mejorada.
Aesta
B(0)
A
B
B =

Por
Key
and
The
isomorphism
Fourier puede
ondas
5
de
Fourier
1 suma
2 en words
udenso
uff=en

=f,
otra
parte,
sabemos
que
cn(n)
=2el
(t)e
dtH,
Resolviendo
Despejando
la
de
expresion,
obtenemos
nque
Z Consideremos
ondas
Z
definidas
S
satisfacen
0
2.
Desigualdad
triangular.
Para
todo
x,
y
x
+
y
x
+
y
.

k
k

k
k
k
k
n

Z
n

Z
La
ecuacion
de
viene
dada
I
I
0
Demostracion:
kernel
de
Gauss
demostrarse lema
laX
existencia
de un subconjunto
ortonormal
que es a lo
1)Esque:
series,
Fourier
transform,
Parseval
identity,maximal
Plancherel
que
ecuacion,
obtenemos
Demostracion.
suficiente
la
desigualdad
enla
elfuncion
intervalo
[0,

la
dx
conjuntos
2in
por:
Zprobar
X
puede
desarrollarse
en
una
serie
de
Fourier.
1/2
1/2].
En
efecto,
dada
f

C
([a,
b])
sea
h
:
[a,
b]

[0,
1/2]
lineal
f
()
=
f
(x)
exp(
2ix)
1
sumo
numerable.
Los
ortonormales
maximales
se
llaman
1
1
=
in2iIm(x(n)y(n))
=
2
(5)

y(t)
=
y(n)e
=
y(0)
+
2(1)
cos(2t)
+
2(1)
h(x)
=
(x

a)/(2(b

a)),
pongamos
y
=
h(x)
y
definamos
g(y)
=
(f
X
2
2
X
para
Si
Las
definimos
funciones
calcular
la
de
los
distancia
Schwartz
coeficientes
entre
son
aparecio
aquellas
x
e
y
mediante
funciones
por
primera
d(x,
definidas
y)
vez
=
x
en
en
un
y
R
artculo
tenemos
que
son
infiniahora

donde

son
las
funciones
caractersticas
de
k
los

conjuntos
k
A
y
1la cual
identity,
Schwartz
functions.
2conocida
2 12y
2 encontrar u. Aplicando
2
en
f
es
una
funcion
debemos
A
B

u
x
/2t
hfrecuentemente
)(y).
)<
==2
=
X
fpnk=
=
.R,
k=
|fn(t
.(1
ortonormales
t(x)
completos
o/6.
el
operador
n

Z Euler
espacio
enconjuntos
ambos
lados
de
Z 0,
obtenemos
(4 2 2 + 1)u
, ecuacion,
>
x
3|convergentes
4|n|)1/2
escrito
por
enc1777.
tamente
diferenciables
yn=1
rapidamente
a cero.queMas
B,
(x)
(n)la
(2
que
HnIm(x(n)y(n)).
es
un
bases.
sin(2t).
nmetrico.
2 f
2exp[
2t
0
t

x
f
(x)
=

dx
=f ,
formalmente.
e
i)x],
(n)e2inx .

Series de Fourier, Transformadas

de Fourier y Aplicaciones