Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Falomir H - Notas Sobre Teoria de Distribuciones

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 54

CURSO DE M

ETODOS DE LA F

ISICA MATEM

ATICA
AN

ALISIS FUNCIONAL
H. FALOMIR
DEPARTAMENTO DE F

ISICA
FACULTAD DE CIENCIAS EXACTAS - UNLP
NOTAS SOBRE TEOR

IA DE DISTRIBUCIONES
1. El espacio /
Al considerar el espacio de las funciones continuas en [a, b], hemos visto que cier-
tas funcionales lineales resultan continuas respecto de la convergencia uniforme,
pero no respecto de la convergencia en media. Similarmente, al estudiar el com-
pletamiento de ese espacio respecto de la distancia derivada de la convergencia
en media, hemos visto que ciertas funcionales lineales que es posible denir sobre
(
2
(a, b) ya no tienen sentido sobre L
2
(a, b).
De ese modo, al ampliar el conjunto de las funciones consideradas, o al relajar
el sentido de convergencia, ocurre una reduccion en el conjunto de funcionales
lineales y continuas que es posible denir sobre ese espacio.
En particular, toda funcional lineal y continua (acotada) en L
2
(R) esta unvo-
camente asociada con el producto escalar por un vector jo de ese mismo espacio.
En esa condiciones, es vez de intentar incrementar a un mas el conjunto de fun-
ciones relajando las condiciones que sobre ellas pesan, o de relajar el sentido de
convergencia en ese espacio (con la consiguiente reduccion del conjunto de fun-
cionales), podemos asignar a las funcionales lineales y continuas un sentido de
funciones generalizadas e imponer fuertes restricciones sobre el espacio de fun-
ciones, buscando incrementar el conjunto de esas funcionales.
Por ejemplo, podemos trabajar sobre el espacio metrico /
N
, formado por el
conjunto de las funciones de soporte
1
compacto y con derivadas continuas hasta
1
El soporte de una funcion (x) (denida en casi todo punto), Sop((x)), es la clausura del
conjunto de puntos donde la funcion toma valores no nulos.
1
2 H. Falomir
el orden N, (
N
0
(R), estructurado con una distancia que implica la convergencia
uniforme de las N primeras derivadas de toda secuencia convergente,
(1.1)

N
(, ) := max
xR
[ (x) (x) [ + [

(x)

(x) [ +
+ + [
(N)
(x)
(N)
(x) [
_
.
Notese que, como conjuntos, /
N
/
M
si N > M, mientras que toda secuencia
convergente en /
N
tambien lo es /
M
.
En lo que sigue, estaremos interesados en la interseccion de todos esos espacios,
/ =

N
/
N
, donde no podremos denir una distancia, pero s un sentido de
convergencia compatible con
N
(, ) para todo N N.
El conjunto de las funciones que tienen derivadas continuas de todo orden y se
anulan identicamente fuera de un intervalo de longitud nita
2
constituye el espacio
lineal (

0
(R). Como sabemos, (

0
(R) es denso en L
2
(R). En ese sentido, se puede
decir que L
2
(R) es el completamiento de (

0
(R) respecto de la distancia derivada
de la norma [[ [[
2
.
En ese espacio lineal introducimos el siguiente sentido de convergencia.
Denicion 1.1. Diremos que la sucesion
n
(x) (

0
(R) converge a la funcion
(x) (

0
(R) si:
un intervalo de longitud nita [a, b] fuera del cual las funciones (x) y

n
(x) se anulan identicamente,
k N, la secuencia de derivadas de orden k,
(k)
n
(x) converge unifor-
memente a la correspondiente derivada del lmite,
(k)
(x).
As estructurado, ese espacio lineal se denota por /, y es llamado espacio basico
o de funciones de base o de prueba (test-functions).
Notese que tanto la derivacion, como la multiplicaci on por funciones en (

(R) y
las traslaciones sobre la recta, dejan invariante al espacio /. En efecto, (x) /
2
El siguiente ejemplo muestra que tales funciones existen:
(1.2) (x) = e
1
(x a)
2
e
1
(x b)
2
, for a < x < b, (x) 0, para x , (a, b) .
Teora de distribuciones 3
tenemos que
(1.3)

(x) /,
(x)(x) /, (x) (

(R) ,
(x + h) /, h R.
Puede mostrarse facilmente que todas esas operaciones son continuas respecto
del sentido de convergencia adoptado. Por ejemplo, si
n
(x) (x) en /, entonces

n
(x)

(x) en /, dado que sus soportes estan contenidos en un mismo com-


pacto sobre la recta, y sus derivadas de cualquier orden convergen uniformemente
a la correspondiente derivada del lmite.
2. Distribuciones sobre /
Se llama distribucion (o funcion generalizada) denida sobre la recta a toda
funcional lineal y continua sobre el espacio /,
(2.1) f : / C.
Ejemplos: Sea f(x) una funcion denida sobre la recta, tal que resulte absolu-
tamente integrable en todo intervalo compacto (localmente sumable), f(x)
L
(loc.)
1
(R). Se puede denir una distribucion (que denotamos por la misma letra)
mediante la expresion
(2.2) f[] :=
_

(x)(x) ,
que converge (x) /. Toda distribucion que puede ser representada de esa
manera se dice regular.
En efecto, f[] as denida es evidentemente lineal. Ademas, si
n
(x) (x)
en / entonces, en particular,
n
(x) (x) uniformemente. En consecuencia,
(2.3) [f[
n
] f[][
_
b[]
a[]
[f(x)[ [
n
(x) (x)[ dx
n
_
b[]
a[]
[f(x)[dx 0
cuando n . Por lo tanto, f[] es tambien continua.
Si f(x) L
2
(R) f(x) L
1
(a, b), para todo intervalo compacto [a, b]. Por lo
tanto, f(x) L
(loc.)
1
(R) y dene una distribucion regular,
(2.4) f[] =
_

(x)(x) = (f, )
L
2
(R)
,
4 H. Falomir
que puede expresarse en terminos del producto escalar en L
2
(R). Es por ello que
usualmente se adopta la notacion (f, ) := f[].
Un ejemplo de distribucion singular (no regular) corresponde a la delta de
Dirac:
(2.5) ((x x
0
), (x)) := (x
0
) .
En efecto, esta funcional es evidentemente lineal. Para
n
(x) (x) en /, tene-
mos
(2.6)
n
(x
0
) (x
0
) ,
de modo que tambien es continua,
(2.7) ((x x
0
),
n
(x)) =
n
(x
0
) (x
0
) = ((x x
0
), (x)) .
Otro ejemplo corresponde al valor principal de 1/x. La funcion 1/x no es
integrable en ning un intervalo que contenga al origen, de modo que no dene una
funcional regular. Pero para toda funcion (x) / existe la integral en valor
principal
(2.8)
_
VP
1
x
, (x)
_
:= lim
0
+
__

+
_

_
(x)
x
dx.
En efecto, supongamos que (x) = 0 para [x[ > a > 0, donde a = a[]; entonces
(2.9)
_
VP
1
x
, (x)
_
= lim
0
+
__

a
+
_
a

_
(x) (0) + (0)
x
dx =
=
_
a
a
(x) (0)
x
dx + (0) lim
0
+ log(/a) + log(a/) ,
donde el ultimo termino se anula.
Esta funcional es claramente lineal. Para ver que tambien es continua conside-
remos una secuencia
n
(x) (x) en /. Por el teorema del valor medio, tenemos
(2.10)
_
VP
1
x
, [
n
(x) (x)]
_
=
_
a
a
[
n
(x) (x)] [
n
(0) (0)]
x
dx =
=
_
a
a
x [

n
(c(x))

(c(x))]
x
dx,
donde c(x) esta entre x y 0. Entonces,
(2.11)

_
VP
1
x
, [
n
(x) (x)]
_

2 a
n
0 ,
Teora de distribuciones 5
puesto que

n
(x)

(x) uniformemente en [a, a]. De ese modo, VP


1
x
dene
una distribucion singular.
3. Propiedades locales de las distribuciones
Como aplicaciones de / en C, las distribuciones no tienen un sentido puntual.
Pero s es posible asignarles propiedades locales en el siguiente sentido.
Se dice que una distribucion es nula en un conjunto abierto de la recta si
(x) / cuyo soporte esta contenido en ese conjunto es (f, ) = 0. Por ejemplo,
(x) es nula en alg un entorno de todo punto x ,= 0.
Si f es no nula en todo entorno de un punto x
0
, se dice que x
0
es un punto
esencial de f. Por ejemplo, x
0
es un punto esencial de (x x
0
). Similarmente,
x = 0 es un punto esencial de la distribucion regular correspondiente a la funcion
f(x) = x
2
(a pesar de que f(0) = 0).
El conjunto de los puntos esenciales de una distribucion constituye su soporte,
Sop(f). Por ejemplo, el soporte de (x x
0
) esta concentrado en un punto,
Sop((xx
0
)) = x
0
. En el caso de una funcional regular f denida por una fun-
cion localmente sumable f(x) (denida en casi todo punto), Sop(f) es la clausura
del conjunto de puntos donde f(x) ,= 0.
Si una funcion de prueba
0
(x) / se anula identicamente en un abierto que
contiene al soporte de una distribucion f, entonces (f,
0
) = 0. De ese modo, es
posible modicar la funcion de prueba fuera del soporte de una distribucion sin
modicar el valor que esta toma, (f, +
0
) = (f, ).
4. El espacio dual: /

Sobre el conjunto de las distribuciones se denen las operaciones de adicion y


multiplicaci on por n umeros de manera que
(4.1) (f + g, ) :=

(f, ) +

(g, ) , (x) /,
con lo que evidentemente se obtienen funcionales lineales y continuas. Para el caso
de funcionales regulares, esto se reduce a las operaciones usuales sobre las funciones
que las denen,
(4.2)

f(x)

(x) dx +

g(x)

(x) dx =
=
_

[f(x) + g(x)]

(x) dx.
6 H. Falomir
As estructurado, el conjunto de las distribuciones sobre / constituye un espacio
lineal, llamado espacio dual de / y denotado por /

.
En el espacio /

se introduce el siguiente sentido de convergencia: se dice que


una secuencia de distribuciones f
n
converge debilmente a f /

si
(4.3) lm
n
(f
n
, ) = (f, ) , (x) /.
Si el lmite de una secuencia de distribuciones existe, entonces es unico. En
efecto, si f
n
f y f
n
g en /

entonces, para toda funcion (x) / se tiene


que (f, ) = (g, ), de donde resulta que (como aplicaciones) las distribuciones f
y g son iguales.
Por otra parte, la operacion de pasaje al lmite es lineal: si f
n
f y g
n
g
en /

, se tiene que
(4.4) lm
n
(f
n
+ g
n
, ) = lm
n

(f
n
, ) +

(g
n
, ) = (f + g, ) ,
para toda funcion (x) /. En consecuencia,
(4.5) lm
n
[f
n
+ g
n
] = f + g .
En particular, si una distribucion es el lmite de una serie en /

,
(4.6) f =

k=1
h
k
(f, ) = lm
n
_
n

k=1
h
k
,
_
=

k=1
(h
k
, ) , (x) /.
La convergencia en L
2
(R) implica convergencia debil en /

. En efecto, si una
secuencia de funciones de cuadrado sumable converge en media, f
n
f, para
la secuencia de funcionales regulares que ellas denen tenemos que
(4.7) (f
n
, ) = (f
n
, )
L
2
(R)

n
(f, )
L
2
(R)
= (f, ) ,
para toda funcion (x) / L
2
(R), en virtud de la continuidad del producto
escalar en ese espacio de Hilbert.
En el caso de funcionales regulares, la convergencia debil tambien estara asegura-
da toda vez que pueda conmutarse el lmite con la integral que dene la funcional.
Ese es el caso de secuencias de funciones localmente sumables que convergen uni-
formemente en todo intervalo cerrado. En efecto, si f
n
(x) f(x) uniformemente
en todo conjunto compacto,
(4.8) (f
n
f, ) =
_
b[]
a[]
[f
n
(x) f(x)]

(x) dx
n
0 .
Teora de distribuciones 7
El pasaje al lmite bajo el signo integral es tambien posible bajo condiciones menos
restrictivas, como por ejemplo cuando
f
n
(x) f(x) en casi todo punto y [f
n
(x)[ g(x), n, donde g(x) es
localmente sumable,
f
n
(x) f(x) monotonamente, siendo f(x) localmente sumable.
Ejemplos: Sea
(4.9) f

(x) :=
_

_
1
x
, [x[ > ,
0 , [x[ .
Esta funcion permite denir una funcional regular que tiene por lmite en /

a
una distribucion singular,
(4.10) lm
0
f

= VP
1
x
(en este caso no es posible intercambiar el lmite con la integral).
Otro ejemplo de una secuencia de funcionales regulares que converge a una
distribucion singular es
(4.11) f
t
(x) =
e

x
2
4t

4t

t0
+ (x) .
En efecto,
(4.12)
_
e

x
2
4t

4t
, (x)
_
=
_
a[]
a[]
e

x
2
4t

4t
[(0) + (x) (0)] dx =
(0)
1

_ a[]

4t

a[]

4t
e
z
2
dz +
1

_ a[]

4t

a[]

4t
e
z
2
_
(z

4t) (0)
_
dz (0)
para t 0
+
, puesto que (z

4t) (0) = z

4t

(c(z, t)), con c(z, t) entre 0 y


z

4t, en virtud del teorema del valor medio, mientras que

(x) esta uniforme-


mente acotada en toda la recta.
Se puede demostrar de manera general que toda funcional singular es el lmite
debil de una secuencia de distribuciones regulares, que incluso pueden ser elegidas
como denidas por funciones del espacio (

(R).
Similarmente, toda distribucion de soporte compacto es el lmite debil de una
secuencia de distribuciones regulares denidas por funciones del espacio (

0
(R).
8 H. Falomir
Tambien es posible mostrar que /

es completo en el sentido de que, si existe el


lmite de las secuencias numericas lm
n
(f
n
, ), (x) /, entonces el conjunto
de esos lmites dene una funcional lineal y continua sobre /,
(4.13) (f, ) := lm
n
(f
n
, ) .
Tratandose de aplicaciones de / en el cuerpo de los complejos, no existe una op-
eracion de producto o composicion de distribuciones que, en el caso de funcionales
regulares, corresponda al producto usual (punto a punto) de funciones. Pero s es
posible denir el producto de distribuciones por funciones en (

(R) de la siguiente
manera.
Denicion 4.1. Dada f /

y (x) (

(R) se dene la funcional f mediante


la relacion
(4.14) (f, ) := (f,

) ,
lo que tiene sentido puesto que, para toda funcion (x) /, (x)

(x) /.
As denida, f es una funcional lineal y continua.
La linealidad de f es evidente. Para vericar la continuidad consideremos una
secuencia convergente en /,
n
. Las funciones (x)

n
(x) son identicamente
nulas fuera de un mismo intervalo acotado, dentro del cual la secuencia de sus
derivadas k-esimas converge uniformemente, ((x)

n
(x))
(k)
((x)

(x))
(k)
.
Por lo tanto, la secuencia (x)

n
(x) (x)

(x) en /. Entonces, como con-


secuencia de la continuidad de f tenemos
(4.15) (f,
n
) = (f,

n
) (f,

) = (f, ) .
5. La derivaci

on en /

Consideremos primero una funcional regular denida por una funcion f(x) ab-
solutamente continua en la recta, (f, ) =
_

f(x)

(x) dx. Como su derivada


f

(x) existe en casi todo punto y es localmente integrable, podemos denir otra
funcional regular como
(5.1) (f

, ) =
_

(x)

(x) dx =
_

f(x)

(x) dx = (f,

) ,
donde (para integrar por partes) hemos tenido en cuenta que / es diferencia-
ble y de soporte compacto, y (en el ultimo paso) que la derivaci on es una aplicacion
de / / (ver (1.3)).
Teora de distribuciones 9
Notese que en el miembro de la derecha en (5.1) ya no aparece la derivada de
la funcion f(x). De hecho, dado que

(x) /, esa expresion tiene sentido para


toda funcional f /

. Esto sugiere la siguiente denicion.


Denicion 5.1. Dada una distribucion sobre /, f /

, se dene su derivada
como la funcional cuyos valores estan dados por
(5.2) (f

, ) := (f,

) , (x) /.
As denida, f

es una funcional lineal y continua. En efecto, f

es lineal como
consecuencia de que la derivacion sobre funciones de / es lineal. En cuanto a la
continuidad, notese que si
n
(x) (x) en /, de la denicion de convergencia en
/ (ver Seccion 1) resulta que la secuencia de sus derivadas tambien converge en
ese espacio a la derivada del lmite,

n
(x)

(x). Entonces, como consecuencia


de la continuidad de f tenemos
(5.3) (f

,
n
) = (f,

n
) (f,

) = (f

, ) .
De esa denicion surgen las siguientes propiedades:
La derivaci on en /

es una operacion lineal, pues (x) /


(5.4)
((f + g)

, ) = (f + g,

) = (f,

) (g,

) =
= (f

, ) + (g

, ) = (f

+ g

, ) .
Toda funcion generalizada admite derivadas de todo orden. En efecto, para toda
funcion (x) /
(n)
(x) /, n. Entonces
(5.5)
_
f
(n)
,
_
= (1)
n
_
f,
(n)
_
.
La operacion de derivaci on es continua en /

. Supongamos que la secuencia de


funciones generalizadas f
n
converge a f en /

. Entonces, (x) / se tiene


(5.6) (f

n
, ) = (f
n
,

) (f,

) = (f

, ) .
Por lo tanto, f

n
f

en /

.
Como consecuencia de la continuidad de la derivaci on, toda serie convergente de
funciones generalizadas puede ser derivada termino a termino cualquier n umero
10 H. Falomir
de veces,
(5.7) f =

k=1
h
k
f
(n)
=

k=1
h
(n)
k
.
Esto representa una libertad que no se tiene cuando se trata de series de funciones,
ya que en ese caso se deben requerir condiciones adicionales, como la convergencia
uniforme de la serie de las derivadas, para poder asegurar que esta converge a la
derivada de la suma de la serie.
Ejemplos: La secuencia de distribuciones regulares
_
sin(x)

_
tiende a la distribu-
cion nula 0 /

cuando , dado que la secuencia de funciones converge


uniformemente a 0 en toda la recta,
(5.8) lm

_
sin(x)

, (x)
_
=
_
a[]
a[]
lm

_
sin(x)

_
(x) dx = 0 ,
(x) /.
Entonces, dado que la derivaci on es una operacion continua en /

,
(5.9)
_
lm

sin(x)

= lm

_
sin(x)

= lm

cos(x) = 0.
Similarmente, lm

sin(x) = 0. Y tomando sucesivas derivadas,


(5.10) lm

[
n
cos(x)] = 0 = lm

[
n
sin(x)] .
Consideremos la funcion discontinua
(5.11) (x) :=
_
1, x 1
0, x < 0
y la distribucion regular que ella dene,
(5.12) ((x), (x)) =
_

0
(x) dx.
Su derivada resulta
(5.13) (

(x), (x)) = ((x),

(x)) =
_

0

(x) dx = (0) = ((x), (x)) ,


para toda /. En consecuencia,

(x) = (x).
Similarmente,
(5.14) (

(x), (x)) = ((x),

(x)) =

(0) .

Teora de distribuciones 11
Sea f(x) una funcion continua en R, cuya derivada es continua a trozos, con
discontinuidades aisladas de altura nita en los puntos a
k
. Ella dene una dis-
tribucion regular (que denotamos por f) cuya derivada esta dada por
(5.15)
(f

, ) =
_
a[]
a[]
f(x)

(x) dx =
=

k
_
a
k+1
a
k
f

(x)

(x) dx

k
f(a
k+1
0)

(a
k+1
) f(a
k
+ 0)

(a
k
) ,
donde la primera suma en el miembro de la derecha es nita en razon de que
es de soporte compacto, y la segunda es nula porque f(x) es continua. Entonces,
la derivada de la distribucion f es una funcional regular denida por la funcion
f

(x) (este es un caso particular de distribucion regular denida por una funcion
absolutamente continua, que ya hemos considerado al principio de esta Seccion -
ver ec. (5.1)).
Sea ahora f(x) una funcion continua y diferenciable a trozos, con discontinuidades
aisladas (sin puntos de acumulaci on) de altura nita en los puntos a
k
, donde
f(a
k
+ 0) f(a
k
0) = h
k
. La derivada de la distribucion regular que ella dene
satisface
(5.16)
(f

, ) =
_
a[]
a[]
f(x)

(x) dx =
=

k
_
a
k+1
a
k
f

(x)

(x) dx +

k
[f(a
k
+ 0)

f(a
k
0))

] (a
k
)
=
_

df
dx

(x) dx +

k
h

k
(a
k
) ,
para toda /. En consecuencia, la derivada de f es una funcional singular dada
por
(5.17) f

=
df
dx
+

k
h
k
(x a
k
) ,
donde hemos llamado
df
dx
a la distribucion regular denida por la funcion f

(x)
(que, por hipotesis, existe en casi todo punto y es localmente integrable). Tengase
en cuenta que la serie en el segundo miembro es convergente en /

puesto que,
aplicada a una funcion de soporte compacto, siempre se reduce a una suma nita.
12 H. Falomir
Ejemplo: Consideremos ahora la funcion denida como
(5.18) f(x) =
x
2
, 0 < x < ,
y extendida a toda la recta como funcion impar de perodo 2. Esta es una funcion
discontinua en los puntos x
k
= 2k con k Z, con una discontinuidad de altura
h = en todos ellos. Excepto en los puntos de discontinuidad, esta funcion es
diferenciable y su derivada es f

(x) = 1/2.
Por el resultado anterior, podemos escribir la derivada de la funcion generalizada
que ella dene como
(5.19) f

=
1
2
+

k=
(x 2k) ,
donde la serie del segundo miembro es una funcional bien denida ya que su valor
en una funcion (x) / se reduce a una suma nita.
La funcion f(x) tambien puede ser representada mediante su serie de Fourier,
(5.20) f(x)

k=1
sin(kx)
k
,
que converge puntualmente al valor de f(x) para todo x ,= 2k y converge a 0 en
los puntos de discontinuidad de f(x). Como la convergencia no es uniforme, esto
no es suciente para concluir que esta serie converge en /

a la distribucion f.
Para ver que esa serie tambien converge debilmente
3
, recordemos primero que la
serie de Fourier de una funcion continua a trozos en el intervalo (, ) puede ser
integrada termino a termino, resultando en una serie que converge puntualmente
en ese intervalo a la integral de la funcion (que es all una funcion continua).
En nuestro caso, la serie
(5.21) F(x) =

k=1
cos(kx)
k
2
converge absoluta y uniformemente en toda la recta a una primitiva de f(x), que
es continua y 2-periodica: F

(x) = f(x) excepto en los puntos de discontinuidad


de f(x). Por lo tanto, el segundo miembro de la ecuacion (5.21), entendida como
serie de distribuciones regulares, tambien converge en el espacio /

a la funcional
regular F denida por la funcion (continua en R y diferenciable a trozos) F(x).
3
La convergencia debil tambien esta garantizada por la convergencia en media de la serie de
Fourier en todo compacto.
Teora de distribuciones 13
En esas condiciones, la continuidad de la derivacion en /

nos permite derivar


esa serie termino a termino para obtener
(5.22) F

= f =

k=1
sin(kx)
k
.
Pero como esta serie converge en /

, puede ser nuevamente derivada termino a


termino para obtener de (5.19) y (5.22)
(5.23) f

k=1
cos(kx) =
1
2
+

k=
(x 2k) .
De esta igualdad se deduce el siguiente desarrollo de Fourier para la -periodica:
(5.24)

k=
(x 2k) =
1
2

k=
e
ikx
.

Un razonamiento similar permite asignar un sentido como distribucion a la suma


de series de la forma

k=
C
k
e
ikx
, donde los coecientes satisfacen relaciones
[C
k
[ Mk
n2
, con M constante y n N.
Entendidas como series de funciones, ellas son claramente divergentes. Pero como
series de funcionales regulares resultan convergentes, dado que son la derivada
n-esima como distribucion de una serie que converge uniformemente en toda la
recta a un lmite continuo y 2-periodico (y que, por lo tanto, tambien converge
debilmente):
(5.25) F(x) =

k=
C
k
(ik)
n
e
ikx
F
(n)
=

k=
C
k
e
ikx
.
De hecho, se puede demostrar que toda distribucion (regular o singular) es la
derivada de cierto orden de una distribucion regular denida por una funcion
continua.
En particular, consideremos una distribucion f /

de soporte compacto,
Sop (f) [a, a], con a > 0. Para un dado > 0, tomemos una funcion real
h

(x) (

0
(R) que satisfaga
(5.26) h

(x) =
_

_
1 , [x[ a ,
0 , [x[ a + .
En esas condiciones, (x) / tenemos que
(5.27) (f, ) = (f, h

) + (f, [1 h

] ) = (f, h

) ,
14 H. Falomir
dado que Sop(f) Sop[1 h

(x)] = .
Ahora bien, como f puede representarse como f
(n)
0
, donde f
0
una distribucion
regular denida por una funcion continua f
0
(x) y n N, podemos escribir
(5.28)
(f, ) =
_
f
(n)
0
, h

_
= (1)
n
_
f
0
, (h

)
(n)
_
= (1)
n

n
k=0
_
n
k
_
_
f
0
, h
(nk)


(k)
_
=

n
k=0
(1)
nk
_
n
k
_
_
_
h
(nk)

f
0
_
(k)
,
_
.
Por lo tanto, > 0 existe un conjunto de funciones continuas
(5.29) f
,k
(x) = (1)
nk
_
n
k
_
h

(x)
(nk)
f
0
(x) , k = 0, 1, . . . , n,
con soporte contenido en el intervalo cerrado [(a + ), a + ], tales que la dis-
tribucion de soporte compacto f puede escribirse como
(5.30) f =
n

k=0
_
f
,k
(x)
_
(k)
.
Si f /

tiene soporte concentrado en un punto x


0
R, un razonamiento
similar permite mostrar que en este caso la funcional es de la forma
(5.31) f =
n

k=0
a
k

(k)
(x x
0
) ,
para alg un n N.
Vemos entonces que las rgidas restricciones que hemos impuesto sobre las fun-
ciones del espacio / (que, no obstante, es denso en L
2
(R)), nos permiten obtener
un conjunto muy amplio de funciones generalizadas (toda restriccion del espacio
conlleva una ampliacion del espacio dual) sobre las cuales aplicar con gran libertad
las operaciones de paso al lmite y diferenciacion antes denidas.
6. Ecuaciones diferenciales en /

Consideraremos ahora el problema de reconstruir una funcion generalizada a


partir de su derivada.
Teora de distribuciones 15
Primero mostraremos que solo las distribuciones (regulares denidas por fun-
ciones) constantes tienen por derivada a la distribucion nula. La igualdad y

= 0
implica que, para toda (x) /, es
(6.1) (y

, ) = (y,

) = 0 .
Esta ecuacion solo dene a la funcional y en el subespacio de / formado por las
funciones (x) que son la derivada de una funcion de prueba.
Una condicion necesaria y suciente para que
0
(x) / sea la derivada de una
funcion (x) / es que
_

0
(x) dx = 0. En efecto, si
0
(x) =

(x),
(6.2) (x) =
_
x

0
(x) dx
_

0
(x) dx = 0 .
Inversamente, si
0
(x) satisface esa condicion, tenemos que la integral
_
x

0
(x

) dx

= 0 para todo x tal que [x[ > a[


0
] > 0 (con a nito, ya que

0
(x) es de soporte compacto). Entonces, la primitiva
(6.3) (x) =
_
x

0
(x

) dx

0
(R) .
Ahora bien, dada una funcion (x) /, en general
_

(x) dx = (1, ) =
C ,= 0 (donde 1 corresponde a la distribucion regular denida por una funcion
identicamente igual a 1, y C = C[]). Sea
1
(x) / tal que
_

1
(x) dx =
(1,
1
) = 1. Entonces la diferencia
0
(x) = (x) C
1
(x) satisface que
(6.4)
_

0
(x) dx = C C = 0 ,
de modo que
0
(x) es la derivada de una funcion de / como en (6.3),
0
(x) =

(x).
En consecuencia, podemos escribir que
(6.5) (y, ) = (y,
0
+ C
1
) = 0 + C (y,
1
) =

(1, ) ,
donde la constante = (y,
1
)

.
Por lo tanto, la solucion de la ecuacion y

= 0 es una distribucion constante,


y = 1, donde queda determinado por el valor que la funcional toma sobre una
funcion particular
1
(x) /.
De esto resulta que si dos distribuciones tienen la misma derivada, f

= g

,
entonces solo dieren en una constante, f = g + 1.
Ahora mostraremos que toda f /

tiene una primitiva, que es solucion de


y

= f. Esta ecuacion signica que, para toda (x) /,


(6.6) (y

, ) = (y,

) = (f, ) ,
16 H. Falomir
lo que solo dene a la funcional y sobre el subespacio de las funciones de / que
son la derivada de un elemento de /.
Como mostramos anteriormente, podemos escribir una funcion arbitraria de /
como (x) =
0
(x) + C
1
(x), donde
0
(x) =

(x), con (x) denida en (6.3),


C = (1, ), y
1
(x) es una funcion ja de / tal que (1,
1
) = 1. Entonces, de (6.6)
resulta que
(6.7) (y, ) = (y,
0
+ C
1
) = (f, ) + C (y,
1
) = (f, ) +

(1, ) ,
lo que determina la funcional y en todo /, a menos de una (distribucion) constante
aditiva. Esta constante es jada por el valor que toma la funcional sobre una
funcion particular, = (y,
1
)

.
Se puede ver que el ultimo miembro de (6.7) dene una funcional lineal y conti-
nua sobre /. Su primer termino determina una solucion particular de la ecuacion
inhomogenea y

= f (la correspondiente a = 0), mientras que la constante es la


solucion general de la ecuacion homogenea y

= 0.
La linealidad de y en (6.7) es evidente. Para mostrar su continuidad, consi-
deremos una secuencia de funciones
(n)
(x) (x) en /, cuyos soportes esten
contenidos en el intervalo [a, a], y formemos la secuencia
(n),0
(x) =
(n)
(x)
C
n

1
(x), donde C
n
= (1,
(n)
). Esta secuencia converge a
0
(x) = (x) C
1
(x)
en /, con C = (1, ).
Entonces,
(6.8)
[
n
(x) (x)[ =

_
x

(n),0
(y)
0
(y)
_
dy

_
a
a
[
n
(y) (y)[ dy +[(1,
n
)[
_

[
1
(y)[ dy <
< 2 a
n
+
n
, x,
donde el miembro de la derecha puede hacerse tan peque no como se quiera con
solo tomar n sucientemente grande.
En esas condiciones, la secuencia
n
(x) tambien converge a (x) en /, y
podemos escribir
(6.9) (y,
n
) = (f,
n
) +

(1,
n
) 0
cuando n .
En particular, si la inhonogeneidad f es regular, ella esta denida por una
funcion f(x) localmente sumable, de la cual F(x) =
_
x
0
f(x

) dx

es una primitiva
Teora de distribuciones 17
(absolutamente continua). Entonces, integrando por partes y teniendo en cuenta
que (x) es de soporte compacto, tenemos
(6.10)
(f, ) =
_

(x)

(x) dx =
_

F(x)

0
(x) dx =
=
_

F(x)

[(x) C
1
(x)] dx = (F 1, ) ,
donde = (F,
1
)

. Esto corresponde a una funcional regular denida por una


primitiva de f(x).
Mas generalmente, la ecuacion diferencial
(6.11) a
n
(x)y
(n)
+ a
n1
(x)y
(n1)
+ + a
0
(x)y = 0 ,
donde a
k
(x) (

(R) , k = 0, 1, . . . , n, no tiene otras soluciones en /

que las
correspondientes a las soluciones clasicas de esa ecuacion en (

(R), a menos que


a
n
(x) tenga ceros. En ese caso pueden existir nuevas soluciones cuyas derivadas
tienen soporte concentrado en los ceros de a
n
(x)
4
. Tambien puede ocurrir que las
soluciones clasicas no permitan denir una distribucion. Esto se muestra en los
siguientes ejemplos.
Ejemplos: Consideremos la ecuacion xy

= 0. Sus unicas soluciones en el espacio


de funciones (

(R) son las constantes. En el espacio /

ella implica
(6.12) (xy

, (x)) =
_
y, [x (x)]

_
= 0 ,
(x) /. Esta relacion solo dene a la funcional y sobre el subespacio de las
funciones de prueba que son la derivada de una funcion de / que se anula en x = 0.
Siempre podemos seleccionar dos funciones
1
(x),
2
(x) / tales que
(6.13)
(1,
1
(x)) =
_

1
(x) dx = 1 , (1 (x),
1
(x)) =
_
0

1
(x) dx = 0 ,
(1,
2
(x)) =
_

2
(x) dx = 0 , (1 (x),
2
(x)) =
_
0

2
(x) dx = 1 .
Dada (x) / arbitraria, llamemos
(6.14) C
1
= (1, (x)) =
_

(x) dx, C
2
= (1 (x), (x)) =
_
0

(x) dx .
4
Puede demostrarse que toda distribucion con soporte concentrado en un punto x
0
es una
combinacion lineal de la funcional (x x
0
) y de un n umero nito de sus derivadas (ver ec.
(5.31)).
18 H. Falomir
La funcion
0
(x) = (x) C
1

1
(x) C
2

2
(x) satisface
(6.15)
(1,
0
(x)) =
_

0
(x) dx, = C
1
C
1
0 = 0 ,
(1 (x),
0
(x)) =
_
0

0
(x) dx = C
2
0 C
2
= 0 .
En consecuencia, su primitiva (x), denida como en (6.3), es una funcion de /
que se anula en el origen. Por lo tanto, por (6.12) tenemos que para toda (x) /
es
(6.16)
(y, ) = (y,

(x) + C
1

1
(x) + C
2

2
(x)) =
= 0 + C
1
(y,
1
(x)) + C
2
(y,
2
(x)) = (1 + (1 (x)), ) ,
donde = (y,
1
)

y = (y,
2
)

.
Vemos entonces que hay dos soluciones linealmente independientes para la e-
cuacion xy

= 0: y
1
= 1 y y
2
= (x). Esto es evidente para la primera, y es facil
de vericar para la segunda,
(6.17) (x

(x), (x)) = ((x), x (x)) = [x(x)]


x=0
= 0 .
Esto tambien muestra que x(x) = 0.
Consideremos ahora la ecuacion diferencial x
3
y

+2y = 0. La solucion clasica en


el espacio de funciones corresponde a
(6.18)
d
dx
log y(x) =
d
dx
x
2
y(x) = C e
1/x
2
.
Pero como esta funcion no es integrable en ning un intervalo que contenga a x = 0,
ella no permite denir una funcional regular. Mas a un, dado que presenta una sin-
gularidad esencial en el origen, tampoco admite una regularizacion que permita
denir una distribucion singular (al estilo de VP
1
x
). De ese modo, la unica solucion
en /

es la trivial, y = 0.
7. La distribuci

on x

+
Consideremos la funcion
(7.1) x

+
:=
_

_
0, para x 0 ,
x

, para x > 0 ,
Teora de distribuciones 19
para 1 < < 0. Como es localmente integrable, permite denir una distribucion
regular como
(7.2) (x

+
, ) =
_

0
x

(x) dx, 1 < < 0 .


Su derivada como funcion,
(7.3)
d x

+
dx
=
_

_
0, para x < 0 ,
x
1
, para x > 0 ,
no es integrable en ning un intervalo que contenga al origen, y no corresponde a
una distribucion regular.
Pero, naturalmente, su derivada como distribucion existe y esta dada por
(7.4)
_
(x

+
)

,
_
=
_
x

+
,

_
=
_
1
0
x

(x) dx
_

1
x

(x) dx =
=
_
x

[(x) (0)]
_

1
0
+
_
1
0
x
1
[(x) (0)] dx

_
x

(x)
_

1
+
_

1
x
1
(x) dx =
=
_
1
0
x
1
[(x) (0)] dx +
_

1
x
1
(x) dx + (0) ,
para todo 1 < < 0. Esta expresion dene una funcional singular que, para
funciones de prueba que se anulan en x = 0, se reduce a tomar la integral
(7.5)
_

0
x
1
(x) dx.
Para funciones de prueba arbitrarias, (0) ,= 0, y la ultima lnea de la ecuacion
(7.4) constituye una regularizacion de la integral en (7.5), que en ese caso es
divergente.
Teniendo en cuenta (7.3), resulta natural denir la funcional x

+
, para 2 < <
1, a partir de la ecuacion (7.4) como
(7.6) x

+
:=
_
x
+1
+
+ 1
_

,
que evidentemente es lineal y continua en /.
En esas condiciones, para 2 < < 0, ,= 1 y /, tenemos
(7.7)
_
x

+
,
_
=
_
1
0
x

[(x) (0)] dx +
_

1
x

(x) dx +
(0)
+ 1
,
20 H. Falomir
expresion que se reduce a (7.2) para 1 < < 0.
Extendiendo de ese modo la denicion de x

+
, hemos obtenido una expresion
para los valores que esa funcional toma sobre funciones de / que tiene sentido en
una region mas amplia del parametro , y que se reduce a la expresion original para
1 < < 0. De hecho, el segundo miembro de (7.7) constituye una extension
analtica en del segundo miembro de (7.2).
En efecto, para toda (x) /, F(

) := (x

+
, ) es una funcion analtica de

en la region 1 < '() < 0 (donde la funcional es regular). Su derivada esta dada
por
dF
d

=
_

0
ln xx

(x) dx, ya que esta integral es absoluta y uniformemente


convergente para esos valores de . La extension analtica de F(

) permite denir
la funcional x

+
para todo valor de donde aquella existe.
En ese sentido, para 1 < < 0 podemos escribir (x

+
, ) de la forma
5
(7.10)
_
x

+
,
_
=
_
1
0
x

_
(x)
n1

k=0
x
k
k!

(k)
(0)
_
dx +
+
_

1
x

(x) dx +
n1

k=0

(k)
(0)
k!( + 1 + k)
.
Ahora bien, como funciones de , la primer integral en el miembro de la derecha de
(7.10) converge para '() > n 1, la segunda converge complejo, mientras
que la ultima suma presenta polos simples en = 1, 2, ..., n, cuyos residuos
son
(7.11) Res (x

+
, )

=k1
=

(k)
(0)
k!
=
(1)
k
k!
_

(k)
(x), (x)
_
.
5
Este procedimiento es similar al que permite extender analticamente la denicion de la
funcion (): para > 1 se tiene
(7.8)
( + 1) :=
_

0
x

e
x
dx =
_
1
0
x

_
e
x

k=0
(1)
k
x
k
k!
_
dx +
_

1
x

e
x
dx+
+
n

k=0
(1)
k
k!( + 1 + k)
,
expresion que se extiende analticamente a '() > n 1, y presenta polos simples en =
1, 2, ..., con residuos dados por
(7.9) Res ( + 1)[
=k1
=
(1)
k
k!
.
Teora de distribuciones 21
Podemos decir entonces que la distribucion x

+
se extiende analticamente
6
a
todo el plano complejo del parametro , presentando polos simples en los puntos
= 1, 2, ..., n, con residuos dados por las distribuciones
(7.16) Res x

=k1
=
(1)
k
k!

(k)
(x) .
Notese que (x) / con soporte contenido en la semirrecta x < 0, la funcion
(x

+
, ) es identicamente nula para '() (1, 0). En consecuencia, su extension
analtica al resto del plano toma tambien valores nulos para tales funciones de
prueba. Es decir, el soporte de la extension analtica de x

+
tambien esta contenido
en el semieje positivo x 0.
Finalmente, se nalemos que x
1
+
y () presentan polos simples para los mismos
valores de ( = k, con k N). Entonces, la distribucion

:= x
1
+
/(), que
es regular para '() > 0, existe por extension analtica en todo el plano complejo
del parametro como una distribucion con soporte en R
+
. En particular, de (7.16)
y (7.9) tenemos que
(7.17) lm
k

=
Res x
1
+

=k
Res ()[
=k
=
(1)
k

(k)
(x)/k!
(1)
k
/k!
=
(k)
(x) ,
para k = 0, 1, 2, . . . .
6
Este procedimiento de denicion de funcionales por extension analtica en un parametro es
conocido como proceso de regularizacion de integrales divergentes, y suele ser muy usado
en Fsica por conveniencia de calculo. Por ejemplo, la integral
(7.12) I =
_

0
x
3/2
_
e
ax
e
bx
_
dx
puede ser entendida como el valor en = 3/2 de la funcion analtica denida por
(7.13) I() =
_

0
x

_
e
ax
e
bx
_
dx,
integral que converge para '() > 2. Pero para '() > 1, I() puede ser escrita como
(7.14) I() =
_

0
x

e
ax
dx
_

0
x

e
ax
dx =
_
a
(+1)
b
(+1)
_
( + 1) ,
ya que cada integral es convergente. En virtud de la unicidad de la extension analtica, esa
igualdad vale ,= 1, 2, .... En particular,
(7.15) I(3/2) =
_
a
1/2
b
1/2
_
(1/2) =
_

b
_
2

22 H. Falomir
8. Transformaci

on de Fourier en /. El espacio Z.
Recordemos que el conjunto (

0
(R) es un subespacio denso del espacio de
Schwartz
7
. Sea (x) / o. Entonces, su transformada de Fourier es tambien
una funcion del espacio de Schwartz, dado que T : o o.
Pero como esa funcion es de soporte compacto tenemos
(8.1) T[]() = () =
1

2
_
a[]
a[]
e
ix
(x) dx,
donde (x) = 0 x / (a[], a[]). En esas condiciones, (s) puede ser denida
para valores complejos de su argumento, s = + i. En efecto, la integral
(8.2) (s) =
1

2
_
a[]
a[]
e
ix
e
x
(x) dx
existe para todo s C, puesto que
(8.3) [(s)[
e
||a
[[(x)[[
1

2
.
Similarmente, las derivadas de todo orden de (s) tambien existen en todo el
plano complejo. Ellas estan dadas por
(8.4)
(n)
(s) =
1

2
_
a[]
a[]
e
isx
(ix)
n
(x) dx,
dado que esas integrales convergen absoluta y uniformemente en s para todo n N:
(8.5)

(n)
(s)

e
Ta
[[x
n
(x)[[
1

2
, para [(s)[ T, con T > 0 .
Por lo tanto, la transformada de Fourier de una funcion del espacio / es una
funcion analtica entera (holomorfa en todo el plano - sin singularidades, excepto
en el innito).
Ya sabemos que dicha transformada de Fourier es tambien una funcion de de-
crecimiento rapido sobre el eje real. Para s complejo tenemos
(8.6)
T[
(q)
](s) =
1

2
_
a[]
a[]
e
isx

(q)
(x) dx =
=
1

2
_
a[]
a[]
(is)
q
e
isx
(x) dx = (is)
q
(s) .
para todo q, de donde resulta que
(8.7) [s
q
(s)[
e
|(s)| a
[[
(q)
[[
1

2
.
7
Ver las Notas sobre la transformaci on de Fourier.
Teora de distribuciones 23
En consecuencia, (s) es una funcion de decrecimiento rapido sobre toda recta
horizontal ((s) = constante).
Inversamente, toda funcion analtica entera (s) que verica desigualdades de
la forma
(8.8) [s
q
(s)[ K
q
[] e
|(s)| a[]
, q N
(donde las constantes K
q
y a dependen de (s)) es la transformada de Fourier de
una funcion (x) (

0
(R) que se anula identicamente para [x[ a.
El conjunto de las funciones analticas enteras que verican (8.8) constituye
un espacio lineal, denotado por Z. De ese modo, la transformacion de Fourier
establece una correspondencia biunvoca entre los espacios / y Z,
(8.9) T : / Z .
Restringiendo los argumentos de las funciones contenidas en Z a valores reales,
tenemos que Z o es un subespacio denso de L
2
(R). En efecto, sea () L
2
(R),
y supongamos que () Z. Entonces,
(8.10)
(, )
L
2
(R)
= 0, () Z
(T
1
[](x), (x))
L
2
(R)
= 0, (x) /.
Y como / = (

0
(R) es denso en L
2
(R), es T
1
[] = 0 = 0. Por lo tanto,
todo vector de L
2
(R) esta contenido en Z.
La ecuacion (8.4) muestra que si (s) Z
(q)
(s) Z, dado que
[(ix)
n
(x)] /. Es decir,
(8.11)
d
ds
: Z Z .
Evidentemente, el espacio Z tambien es invariante frente al producto por fun-
ciones analticas enteras de crecimiento polinomial sobre rectas horizontales (en
particular, polinomios): si P(s) es una funcion entera que, para ciertas constantes
C > 0 y m 0 y b > 0, satisface
(8.12) [P(s)[ C (1 +[s[
m
) e
|(s)|b
P(s)(s) Z, (s) Z .
Tambien es posible trasladar las funciones de Z sin sacarlas de ese espacio. En
efecto, si (s) Z (s + h) Z, h C.
Por lo dicho anteriormente, vemos que la transformacion de Fourier establece
una correspondencia (lineal) biunvoca entre el espacio / y el espacio Z, T : /
24 H. Falomir
Z. Esto permite introducir en Z un sentido de convergencia a partir de la
convergencia en /.
Denicion 8.1. Se dice que
n
(s) (s) en Z si
n
(x) = T
1
[
n
](x) (x) =
T
1
[](x) en /.
Esto implica, en particular, la convergencia uniforme en toda region acotada
del plano complejo de la secuencia de las derivadas
(k)
n
(s) a la correspondiente
derivada del lmite,
(k)
(s). En efecto
8
, como [
n
(x) (x)[ <
n
, x, tenemos
que
(8.14)

(k)
n
(s)
(k)
(s)

=
1

_
a
a
e
isx
(ix)
k
[
n
(x) (x)]

a
k
e
|(s)| a

2
[[
n
(x) (x)[[
1

a
k
e
T a

2
2 a
n
,
[(s)[ T, lo que puede hacerse tan peque no como se quiera con solo tomar n
sucientemente grande.
Por otra parte, como (s) Z es una funcion analtica entera, su series de
Taylor converge en todo el plano complejo. Entonces, para la funcion trasladada
podemos escribir
(8.15) (s + h) =

k=0
h
k
k!

(k)
(s), h C.
Esta serie tambien converge en el sentido de la convergencia en el espacio Z, pues
(8.16)
T
1
_
n

k=0
h
k
k!

(k)
(s)
_
(x) =
n

k=0
h
k
k!
T
1
_

(k)
(s)

(x) =
=
n

k=0
h
k
k!
(ix)
k
(x)
n
e
ihx
(x)
en el sentido de la convergencia en /.
8
Similarmente,
(8.13)

(is)
q
_

(k)
n
(s)
(k)
(s)
_

=
1

_
a
a
e
isx
_
(ix)
k
[
n
(x) (x)]
_
(q)

2
e
|(s)| a
[[
_
x
k
[
n
(x) (x)]
_
(q)
[[
1
0
cuando n .
Teora de distribuciones 25
9. Distribuciones sobre Z
De forma similar a como se hizo con el espacio /, se introducen las funcionales
lineales y continuas sobre el espacio Z. Estas distribuciones, que pueden ser
regulares o singulares (con el mismo signicado que antes), conforman el espacio
dual Z

respecto de operaciones lineales denidas de la misma manera que antes.


Ademas, se dene la convergencia debil en Z

de modo que
(9.1) g
n
g si (g
n
, ) (g, ) , () Z .
Tambien se dene una operacion de derivaci on sobre elementos de Z

de modo
que, para toda funcion () Z, la distribucion derivada satisface
(9.2) (g

, ) = (g,

) .
Al igual que la derivacion en /

, esta es una operacion continua: si g


n
g en Z

,
entonces (g

n
, ) = (g
n
,

) (g,

) = (g

, ).
En particular, L
2
(R) Z

. En efecto, si g() L
2
(R), ella permite denir una
distribucion regular sobre Z como el producto escalar
(9.3) (g, ) := (g, )
L
2
(R)
.
Esta funcional es evidentemente lineal. Para ver que tambien es continua, tomemos
una secuencia
n
() () en Z. Esto signica que sus antitransformadas de
Fourier
n
(x) (x) en / y, por lo tanto, tambien convergen en media. En
esas condiciones, siendo f(x) = T
1
[g](x) (en el sentido de L
2
(R)), y teniendo
en cuenta las propiedades de T y la continuidad del producto escalar en L
2
(R),
tenemos
(9.4)
(g,
n
) = (g,
n
)
L
2
(R)
= (f,
n
)
L
2
(R)

n
(f, )
L
2
(R)
= (g, )
L
2
(R)
= (g, ) .
10. Transformada de Fourier en /

Hemos visto que la transformada de Fourier establece una correspondencia bi-


unvoca entre los elementos de los espacios / y Z, que preserva las operaciones
lineales y la convergencia de secuencias. Es posible establecer una correspondencia
similar entre los respectivos espacios duales, /

y Z

, que generaliza la correspon-


dencia inducida por T entre sus subespacios L
2
(R).
26 H. Falomir
En efecto, para toda f(x) L
2
(R), cuya transformada g() = T[f]() L
2
(R),
y para toda funcion (x) /, cuya transformada () = T[]() Z, tenemos
(10.1) (f, )
K
= (f, )
L
2
(R)
= (g, )
L
2
(R)
= (g, )
Z
,
donde hemos incluido como subndice el espacio en que act ua cada funcional.
Denicion 10.1. Dada f /

diremos que g Z

es su transformada de
Fourier si, para toda () Z, se cumple que
(10.2) (g, )
Z
= (f, )
K
,
donde (x) = T
1
[](x) /. Esta relacion puede entenderse como una generali-
zacion de la igualdad de Parseval.
Cada distribucion f /

dene, a traves de esa relacion, una funcional lineal


y continua sobre Z, que denotamos por T[f]:
(10.3) (T[f], )
Z
:=
_
f, T
1
[]
_
K
.
En efecto, es evidente que T[f] as denida es lineal. Veamos que tambien es
continua. Consideremos una secuencia convergente
n
(x) (x) en /; sus trans-
formadas de Fourier
n
() () en Z. Entonces, de (10.3) resulta que
(10.4) (T[f],
n
)
Z
= (f,
n
)
K
(f, )
K
= (T[f], )
Z
,
dada la continuidad de f.
En ese sentido, toda distribucion sobre / tiene una transformada de Fourier,
que es un elemento de Z

,
(10.5) T : /

.
Ademas, si f
1
, f
2
/

tienen la misma transformada, T[f


1
] = T[f
2
] Z

f
1
=
f
2
.
Inversamente, toda distribucion sobre Z dene, a traves de (10.2), una distribu-
cion sobre / de la que es su transformada de Fourier. En consecuencia, T es una
aplicacion biunvoca de /

sobre Z

, T : /

. Su inversa, T
1
: Z

,
satisface que
(10.6)
_
T
1
[g],
_
K
= (g, T[])
Z
, (x) /,
y se tiene que T
1
[T[f]] = f, f /

y T [T
1
[g]] = g, g Z

.
Teora de distribuciones 27
La transformacion de Fourier T : /

es una aplicacion continua (respecto


de la convergencia debil de funcionales). En efecto, si f
n
f en el espacio /

entonces, para toda () Z, se tiene


(10.7) (T[f
n
], )
Z
= (f
n
, )
K
(f, )
K
= (T[f], )
Z
,
donde (x) = T
1
[](x). Por lo tanto, tambien se tiene que T[f
n
] T[f] en Z

.
Similarmente, su inversa T
1
: Z

es tambien una aplicacion continua.


Puede comprobarse facilmente que son validas las mismas formulas que para las
transformadas y antitransformadas de Fourier de derivadas de funciones en o:
(10.8)
T[f]

= T[ixf] T[P(x) f] = P(i


d
d
)T[f] ,
T[f

] = i T[f] P()T[f] = T[P(i


d
dx
) f] .
Por ejemplo,
(10.9)
(T[f]

, ())
Z
= (T[f],

())
Z
= (f, ix(x))
K
=
= (ixf, (x))
K
= (T[ixf], ())
Z
, () Z .
Ejemplos: La trasformada de Fourier de la distribucion (x) esta dada por
(10.10)
(T[(x)], ())
Z
= ((x), (x))
K
= (0) =
=
1

2
_

() d =
_
1

2
, ()
_
Z
, () Z .
Por lo tanto, T[(x)] = 1/

2.
Similarmente, para la transformada de Fourier de una constante tenemos
(10.11)
(T[1], ())
Z
= (1, (x))
K
=
_

(x) dx =

2 (0) =
=
_

2 (), ()
_
Z
para toda () Z. Entonces, T[1] =

2 ().
Consideremos ahora un polinomio P(x) ( / L
2
(R)). Tenemos
(10.12) T[P(x)] = T[P(x) 1] = P
_
i
d
d
_
T[1] =

2 P
_
i
d
d
_
() ,
que es una distribucion con soporte concentrado en el origen.
28 H. Falomir
Similarmente,
(10.13) T
_
P
_
i
d
dx
_
(x)
_
= P()T[(x)] =
1

2
P() .
La funcion e
bx
(

(R) dene una distribucion regular y, en ese sentido, tiene


una transformada de Fourier. Tenemos
(10.14)
_
T[e
b x
], ()
_
Z
=
_
e
b x
1, (x)
_
K
=
_
1, e
b

x
(x)
_
K
=
_

2 (), ( (ib)

)
_
Z
=

2 ((ib)

) =
=

k=0
((ib)

)
k
k!

(k)
(0) =
=

k=0
((ib)

)
k
k!
_
(1)
k

(k)
(), ()
_
,
para toda funcion (entera) () Z. Entonces,
(10.15) ( + ib) := T[e
b x
]() =

k=0
(ib)
k
k!

(k)
() ,
donde la serie (formalmente una serie de Taylor) converge debilmente a una dis-
tribucion que toma valores nulos sobre toda funcion de Z que se anule en s =
(ib)

.
En el caso general, el hecho de que las funciones del espacio Z sean analticas
enteras permite denir funcionales trasladadas, g() g( + h), mediante la
relacion
(10.16) (g( + h), ())
Z
:= (g(), ( h

))
Z
, () Z ,
lo que evidentemente corresponde a una funcional lineal y continua.
Teniendo en cuenta que la serie de Taylor para () tambien converge en Z, y
que g es continua, tenemos
(10.17)
(g( + h), ())
Z
=

k=0
(h

)
k
k!
_
g(),
(k)
()
_
Z
=
= lm
n
_
n

k=0
h
k
k!
g
(k)
(), ()
_
Z
,
Teora de distribuciones 29
de donde resulta la convergencia debil de la serie
(10.18) g( + h) =

k=0
h
k
k!
g
(k)
() .
En ese sentido, las distribuciones sobre Z son analticas enteras.
Consideremos ahora una distribucion f /

de soporte compacto contenido en


[a, a]. Ya sabemos que, > 0, tales funcionales pueden ser representadas como
sumas de derivadas de distribuciones regulares denidas por funciones continuas
f
,k
(x) con soporte contenido en [(a + ), a + ] (ver ec. (5.30)),
(10.19) f =
n

k=0
_
f
,k
(x)
_
(k)
.
Su transformada de Fourier esta dada por
(10.20)
(T[f], )
Z
= (f, T
1
[])
K
=
=

n
k=0
(1)
k
_
f
,k
(x), (T
1
[](x))
(k)
_
K
=
=

n
k=0
(1)
k
_
T[f
,k
(x)], (i )
k
()
_
Z
=
=
_
n
k=0
(i )
k
g
,k
(), ()
_
Z
,
donde
(10.21) g
,k
(s) := T[f
,k
(x)](s) =
_
a+
(a+)
e
i s x
f
,k
(x) dx,
la transformada de Fourier de una funcion continua de soporte compacto, es una
funcion analtica entera de su argumento que satisface
(10.22)

g
(q)
,k
(s)

e
|(s)|(a+)
(a + )
q

2
| f
,k
(x) |
1
.
En consecuencia, > 0, la transformada de Fourier de una distribucion de
soporte compacto puede ser representada como una distribucion regular denida
por una funcion analtica entera de crecimiento polinomial (sobre el eje real),
(10.23) T[f] = g() =
n

k=0
(i )
k
g
,k
() .
Ejemplo: Finalmente obtendremos la transformada de Fourier de la distribucion
x

+
. Para ello tendremos en cuenta que T : /

es una aplicacion continua.


30 H. Falomir
Consideremos la funcion (localmente integrable) e
x
x

+
, con > 0 y > 0,
que converge uniformemente a x

+
en todo intervalo cerrado [a, b], para 0
+
.
Entonces, tambien converge debilmente:
(10.24) lm
0
+
e
x
x

+
= x

+
en /

lm
0
+
T
_
e
x
x

= T
_
x

en Z

.
Ahora bien, para > 0 y > 0, e
x
x

+
L
2
(R), por lo que su transformada
de Fourier como distribucion es una funcional regular determinada por su trans-
formada como funcion. Teniendo en cuenta que, ademas, e
x
x

+
L
1
(R), dicha
transformada esta dada por la integral
(10.25) T
_
e
x
x

() =
1

2
_

0
e
i(i)x
x

dx.
Cambiando la variable de integraci on por = ( i)x, y corriendo el camino
de integraci on de la recta [0, ( i)) al semieje imaginario negativo, [0, i),
tenemos
(10.26)
T
_
e
x
x

() =
1

2
( i)
1
_
i
0
e
i

d =
=
e
i(+1)/2

2
( i)
1
_

0
e

d =
=
( + 1) e
i(+1)/2

2
( i)
1
.
En esas condiciones,
(10.27) T
_
x

=
( + 1) e
i(+1)/2

2
( i0)
1
,
donde
(10.28) ( i0)
1
:= lm
0
+
( i)
1
.
Por otra parte, para toda () Z y > 0,
(10.29)
_
T[x

+
],
_
Z
=
_
x

+
,
_
K
,
donde (x) = T
1
[](x). Pero ya hemos visto que el miembro de la derecha se
extiende analticamente (de manera unica) a todo el plano complejo de la variable
, presentando polos simples en = 1. 2, . . . Por lo tanto, la funcional T
_
x

tambien se extiende analticamente a todo el plano , presentando los mismos


polos. De (10.29) resulta que dicha extension representa la transformada de Fourier
de la extension analtica de x

+
para todo ,= 1, 2, . . . .
Teora de distribuciones 31
En particular, la funcional
+1
:= x

+
/(+1) existe en todo el plano complejo
, y tiene por transformada de Fourier a
(10.30) T [
+1
] = T
_
x

+
( + 1)
_
=
e
i(+1)/2

2
( i0)
1
.

11. Distribuciones temperadas


El conjunto de las funcionales lineales y continuas (respecto de la convergencia
uniforme de las derivadas de todo orden en toda la recta) denidas sobre el espacio
de Schwartz, o /, constituye el espacio de las distribuciones temperadas,
o

/
9
.
El nombre se justica por el hecho de que este subespacio de /

no contiene
distribuciones regulares de crecimiento rapido, como e
b x
con '(b) ,= 0, que s tienen
sentido sobre /.
Las deniciones de las operaciones lineales, de derivacion y pasaje al lmite en
o

son enteramente similares a las dadas anteriormente, y no seran repetidas aqu.


Tambien se puede denir el producto de distribuciones temperadas por funciones
con derivadas de todo orden de crecimiento polinomial: h(x) (

(R) tales que


(11.1)

h
(q)
(x)

C
q
(1 +[x[)
k
q
, q = 0, 1, 2, . . . ,
para ciertas constantes C
q
y k
q
que dependen de h(x).
Se puede demostrar que toda distribucion sobre el espacio o es la derivada
de cierto orden de una distribucion regular denida por una funcion continua de
crecimiento polinomial.
Por otra parte, dado que T : o o, resulta que las transformadas de Fourier
de distribuciones sobre o son tambien funcionales sobre ese mismo espacio. De
hecho, T es una aplicacion biunvoca sobre o

,
(11.2) T : o

.
12. Producto directo de distribuciones
Sea (x, y) (

0
(R
2
). Puede denirse una funcional lineal y continua (respecto
de la convergencia uniforme de las derivadas parciales de todo orden) sobre ese
espacio mediante el producto directo de dos distribuciones en una variable:
(12.1) (f(x) g(y), (x, y)) := (f(x), (g(y), (x, y))) .
9
Notese que, como Z o o

32 H. Falomir
En efecto, para x jo, (x, y) /
y
, de modo que tiene sentido tomar
(12.2) (x) := (g(y), (x, y)) ,
lo que dene una funcion de soporte compacto (dado que (x, y) es de soporte
compacto en R
2
, y se anula para [x[ a[], y).
Por otra parte, dado que (x, y) (

, por el teorema del valor medio podemos


escribir
(12.3)

k
y
(x + , y)
k
y
(x, y)

k
y
(x, y)

=
=

k
y
(x +
1
, y)
x

k
y
(x, y)

2
x

k
y
(x +
2
, y)

<
< [[ M
k
[]
0
0, x, y R, k N,
donde [[ > [
1
[ > [
2
[ > 0.
Entonces,
(12.4) lm
0
(x + , y) (x, y)

=
x
(x, y) , en /
y
, x R
(donde
x
(x, y) (

0
(R
2
)). En consecuencia, como g es una funcional continua,
x R tenemos
(12.5)

(x) = lm
0
_
g(y),
(x + , y) (x, y)

_
= (g(y),
x
(x, y)) .
Con el mismo argumento vemos que, en general,
(12.6)
(n)
(x) = (g(y),
n
x
(x, y)) .
Por lo tanto, (x) (

0
(R), y el producto directo esta bien denido:
(12.7) (f(x) g(y), (x, y)) = (f(x), (x)) .
13. Producto de convoluci

on en L
1
(R)
Sean f(x), g(x) L
1
(R). La funcion denida por la convoluci on de f(x) y
g(x),
(13.1) h(x) = (f g) (x) :=
_

f(x y) g(y) dy L
1
(R) .
Teora de distribuciones 33
En efecto,
(13.2)
[[h[[
1
=
_

[h(x)[ dx
_

[f(x y)[ [g(y)[ dy dx =


=
_

[f(x)[ [g(y)[ dxdy = [[f[[


1
[[g[[
1
,
donde se ha cambiado el orden de integraci on (lo que esta justicado por el teo-
rema de Fubini, ya que la integral doble existe), y se ha cambiado la variable de
integraci on x x + y.
As denido, el producto de convolucion es asociativo y conmutativo,
(13.3) (f g) h = f (g h) , f g = g f .
Por ejemplo,
(13.4) (f g)(x) =
_

f(x y) g(y) dy =
_

f(z) g(x z) dz = (g f)(x),


donde se ha cambiado la variable de integraci on por z = x y.
La convolucion (f g) (x) L
1
(R) permite denir una distribucion regular sobre
/,
(13.5) (f g, ) =
_

__

f(x y) g(y) dy
_

(x) dx,
donde (x) /. Como esta funcion es acotada, la integral doble existe; entonces
se puede cambiar el orden de las integrales y la variable de integraci on x x +y,
para obtener
(13.6)
(f g, ) =
_

f(x y)

g(y)

(x) dx dy =
=
_

f(x)

g(y)

(x + y) dxdy =
_

f(x)

(g(y), (x + y)) dx,


ya que la funcion desplazada (x + y) /
y
.
En la Seccion anterior hemos visto que la funcion
(13.7) (x) = (g(y), (x + y)) (

(R)
como consecuencia de la continuidad de g y de que (x + y) (

(R
2
). Pero,
en general, (x) no es una funcion de soporte compacto en la recta debido a que
(x +y) no es de soporte compacto en el plano, sino que toma valores constantes
sobre las rectas x + y = constante.
34 H. Falomir
No obstante, existen ciertos casos en los que
(13.8) (f g, ) =
_

f(x)

(x) dx
puede interpretarse como el valor que la distribucion f toma sobre una funcion del
espacio /.
Por ejemplo, supongamos que la funcion g(y) sea de soporte compacto en la
recta y. Como (x + y) tambien lo es, y su soporte se desplaza a medida que se
vara x, se ve que para [x[ sucientemente grande la interseccion de ambos soportes
es vaca. En esas condiciones, (x) (

0
(R) y
(13.9) (f g, ) = (f, ) .
Como el producto de convoluci on es simetrico, la misma conclusion se obtiene
si f(x) es de soporte compacto, intercambiando los roles de g(x) y f(x).
Supongamos ahora que el soporte de g(y) solo este acotado de un lado, digamos
por abajo. Como el soporte de (x + y) se desplaza hacia la izquierda cuando x
crece, para x sucientemente grande la interseccion de ambos soportes es vaca.
En consecuencia, existe un a[] tal que si x a[], entonces la funcion (x) = 0.
Es decir, en este caso (x) (

(R), y su soporte esta acotado por arriba.


Ahora bien, si el soporte de la funcion f(x) tambien esta acotado por abajo, la
interseccion de los soportes de f(x) y (x), Sop(f(x))

Sop((x)), es un com-
pacto. La integral en el segundo miembro de (13.8) solo es sensible a los valores de
(x) en esa interseccion, y su valor no cambia si cambiamos la funcion (x) por
otra funcion de (

0
(R) que coincida con ella en el soporte de f(x):
(13.10) (x) (x) /, tal que (x) = (x), x Sop(f(x)) .
En esas condiciones,
(13.11) (f g, ) =
_

f(x)

(x) dx =
_

f(x)

(x) dx = (f, ) .
Similares conclusiones se obtienen para el caso en que los soportes de f(x) y
g(x) esten ambos acotados por arriba.
Vemos entonces que, al menos cuando
una de las funciones f(x) o g(x) tiene soporte compacto,
ambas funciones tienen soporte acotado del mismo lado,
Teora de distribuciones 35
la distribucion regular denida por el producto de convoluci on f g puede descri-
birse como
(13.12) (f g, ) = (f, ) (o (g, )) ,
donde (x) / es tal que
(13.13) (x) = (x) = (g(y), (x + y)) , x Sop(f(x)) .
Notese que en ambos casos la intersecci on
(13.14) Sop(f(x) g(y)) Sop((x + y))
es un compacto en el plano. Con un razonamiento similar al anterior, tambien
podramos cambiar
(13.15)
(x + y) (x, y) (

0
(R
2
), tal que
(x, y) = (x + y), x, y) Sop(f(x) g(y)) ,
y representar a la distribucion f g como un producto directo de distribuciones,
(13.16) ((f g)(x), (x)) = (f(x) g(y), (x, y)) .
14. Producto de convoluci

on en /

Teniendo en cuenta que para mostrar que (x) = (g(y), (x + y)) (

(R)
solo hemos recurrido a la continuidad de la funcional g, vemos que las mismas
consideraciones hechas en la Seccion anterior valen para todo par de distribuciones
f, g /

.
Entonces, cuando la intersecci on de los soportes
(14.1) Sop(f(x) g(y)) Sop((x + y))
es un compacto en el plano, lo que ocurre al menos cuando
f o g es de soporte compacto,
f y g tienen soporte acotado del mismo lado,
podemos denir el producto de convoluci on de esas distribuciones como un
producto directo:
Denicion 14.1. (x) /,
(14.2) ((f g)(x), (x)) := (f(x) g(y), (x, y)) ,
donde (x, y) (

0
(R
2
) tal que
(14.3) (x, y) = (x + y), x, y) Sop(f(x) g(y)) .
36 H. Falomir
En esas condiciones, se puede demostrar que el producto de convoluci on de
distribuciones tiene las mismas propiedades de asociatividad y conmutatividad
que la convoluci on de funciones en L
1
(R), ecuacion (13.3).
Ejemplo: Si f y g son distribuciones regulares denidas por funciones localmente
sumables, f(x) y g(x), que tienen su soporte contenido en la semirrecta x 0,
tenemos
(14.4)
(f g, ) =
_
f(x),

(g(y), (x + y))
_
=
=
_

0
f(x)

_

0
g(y)

(x + y) dy dx =
=
_
a[]
0
f(x)

_
a[]
x
g(y x)

(y) dy dx =
=
_
a[]
0
__
y
0
f(x) g(y x) dx
_

(y) dy =
=
__
y
0
f(x) g(y x) dx, (y)
_
,
donde (x) / tal que (x) = 0, x > a[]. Entonces, la convoluci on f g es la
distribucion regular dada por la funcion
(14.5) (f g)(x) =
_
x
0
f() g(x ) d =
_
x
0
f(x ) g() d .

La funcional (x a) es de soporte compacto, al igual que sus derivadas de


todo orden, de modo que existe su convolucion con todo otro elemento de /

:
(x) / se tiene
(14.6)
((x a) f(x), (x)) = (f(x) (x a), (x)) =
= (f(x) ((y a), (x + y))) = (f(x), (x + a)) .
Recordando que
(14.7) (f(x a), (x)) := (f(x), (x + a))
vemos que
(14.8) (x a) f(x) = f(x) (x a) = f(x a) .
Teora de distribuciones 37
En particular, para a = 0,
(14.9) (x) f(x) = f(x) (x) = f(x) ,
lo que muestra que (x) es la unidad respecto del producto de convoluci on.
Si D
x
es un operador diferencial a coecientes constantes, tenemos
(14.10)
(D
x
(x) f(x), (x)) = (f(x), (D
y
(y), (x + y))) =
=
_
f(x),
_
(y), D

y
(x + y)
__
= (f(x), ((y), D

x
(x + y))) =
= (f(x), D

x
(x)) = (D
x
f(x), (x)) .
Por lo tanto,
(14.11) D
x
(x) f(x) = D
x
f(x) .
Ademas,
(14.12)
(D
x
(f g)(x), (x)) = ((f g)(x), D

x
(x)) =
=
_
f(x),

_
g(y), D

x+y
(x + y)
_
_
=
_
f(x),

(D
y
g(y), (x + y))
_
=
= (f(x) D
x
g(x), (x))
de modo que
(14.13) D
x
(f g)(x) = f(x) D
x
g(x) = D
x
f(x) g(x) .
Entonces, un operador diferencial a coecientes constantes aplicado sobre un pro-
ducto de convolucion act ua sobre uno cualquiera de los factores.
Lema 14.2. De la convergencia f
n
f en /

se deduce la convergencia de
f
n
g f g en, al menos, las siguientes condiciones:
los soportes de las distribuciones f
n
estan contenidos en un mismo con-
junto compacto,
g es de soporte compacto,
los soportes de f
n
y g estan acotados del mismo lado y de manera inde-
pendiente de n.
En esos casos, el producto de convolucion es continuo en /

,
(14.14) lm
n
(f
n
g) =
_
lm
n
f
n
_
g .
38 H. Falomir
Corolario 14.3. Si la funcional f
t
depende de un parametro t y existe su deriva-
da debil respecto de t,
(14.15) (
t
f
t
(x), (x)) := lm
0
_
f
t+
(x) f
t
(x)

, (x)
_
,
entonces
(14.16)
t
(f
t
g) =
t
f
t
g
en cualquiera de las siguientes condiciones:
las funcionales f
t
tienen sus soportes contenidos en un mismo conjunto
compacto, independiente de t,
g es de soporte compacto,
f
t
y g tienen soportes acotados del mismo lado, y de manera independiente
de t.
Es sabido que la transformada de Fourier de un producto de convoluci on de
funciones sumables en la recta, f
1
(x), f
2
(x) L
1
(R), esta dado por el producto de
sus transformadas de Fourier, T[f
1
f
2
]() =

2 T[f
1
]() T[f
2
](). Veremos que
esta propiedad se extiende al producto de convolucion de distribuciones sobre el
espacio / cuando uno de los factores es una funcional de soporte compacto.
En efecto, si f
1
, f
2
/

, y f
2
es de soporte compacto, el producto de convolucion
f
1
f
2
esta denido por
(14.17) (f
1
f
2
, ) = (f
1
, ) ,
donde
(14.18) (x) = (f
2
(y), (x + y)) (

0
(R) .
Ya sabemos que la transformada de Fourier de una distribucion de soporte
compacto puede ser representada como una distribucion regular sobre el espa-
cio Z, denida por una funcion analtica entera de crecimiento polinomial (ver ec.
(10.23)), T[f
2
]() = g
2
(). En esas condiciones,
(14.19)
(x) = (f
2
(y), (x + y))
K
= (T[f
2
(y)], T[(x + y)])
Z
=
= (g
2
(), e
i x
())
Z
=
_

e
i x
g

2
() () d =
=

2 T
1
[g

2
() ()] (x) ,
donde () = T[(x)](), y donde hemos tenido en cuenta que el producto
g

2
() () Z.
Teora de distribuciones 39
En consecuencia,
(14.20)
(f
1
f
2
, )
K
=
_
f
1
,

2 T
1
[g

2
() ()]
_
K
=
_
T[f
1
],

2 g

2
() ()
_
Z
=
_
2 g
2
() T[f
1
], ()
_
Z
=
= (T[f
1
f
2
], )
Z
, () Z .
Por lo tanto,
(14.21) T[f
1
f
2
] =

2 T[f
1
] T[f
2
] ,
donde una de las distribuciones tiene soporte compacto y su transformada de
Fourier es una funcion analtica entera de crecimiento (a lo sumo) polinomial.
15. Aplicaciones del producto de convoluci

on
Ecuaciones elpticas: Sea (x) , x R
3
, una densidad de masa continua y de
soporte compacto. El potencial gravitatorio que produce satisface la ecuacion difer-
encial de Poisson,
(15.1) v(x) = (x) ,
cuya solucion es una funcion con derivadas continuas de segundo orden dada por
la integral
(15.2) v(x) =
1
4
_
R
3
(y)
| x y |
d
3
y .
Ahora bien, esa expresion tiene el aspecto de una convolucion (en tres dimen-
siones):
(15.3) v = G ,
donde la funcion de Green del Laplaciano
10
, G =
1
4 r
con r =| x |, es una
distribucion regular denida sobre (

0
(R
3
) que satisface
(15.9) G(x) = (x) .
10
La funcion de Green del Laplaciano en un espacio de dimension n es la solucion de la
ecuacion diferencial inhomogenea
(15.4) G = G =
r
2n
(n 2)
n
, n > 2 ,
donde
n
=
2
n/2
(n/2)
es la supercie de la esfera de radio 1 en dicho espacio.
40 H. Falomir
Consideremos ahora una distribucion arbitraria de soporte compacto, (

0
(R
3
)

.
La distribucion denida por la convoluci on v =
_
1
4 r
_
satisface la ecuacion de
Poisson,
(15.10) v =
_
1
4 r

_
=
_

1
4 r
_
= = .

En general, dada una ecuacion diferencial elptica a coecientes constantes,


(15.11) Lu = f ,
ella puede ser estudiada en el espacio de distribuciones (tomando por inhomogenei-
dad f a una distribucion de soporte compacto).
La funcion de Green de L es una distribucion que satisface
(15.12) LG = .
Ella esta denida a menos de una solucion de la ecuacion homogenea. Si G es
conocida, una solucion particular de la ecuacion inhomogenea (15.11) puede ser
En efecto, como r
2n
es una distribucion regular (respecto de la medida de integracion d
n
x =
r
n1
dr d), para (r, ) (

0
(R
n
) tenemos
(15.5)
_
r
n2
,
_
=
_
r
n2
,
_
= lm
0
+
_
r
r
2n
(x) d
n
x =
= lm
0
+
_
r
_


_
r
2n

(x) (x)

r
2n
_
+ (x)r
2n
_
d
n
x.
Teniendo en cuenta que r
2n
es una funcion homogenea de grado (2n), se verica que r
2n
=
0. Entonces,
(15.6)
_
r
n2
,
_
= lm
0
+
_
r=
_

2n

r
(x) + (x) (n 2)
1n
_

n1
d
n
= lm
0
+
_

_
r=

r
(x) d
n
+ (n 2)
_
r=
(x) d
n
_
=
= 0 + (2 n)
n
(0) = (2 n)
n
((x), (x)) ,
para toda (x) (

0
(R
n
).
En consecuencia,
(15.7)
_
r
2n
(2 n)
_
= (x) ,
para n 3. Para dimension n = 2, un calculo enteramente similar muestra que
(15.8)
_
log r
2
_
= (x) .

Teora de distribuciones 41
escrita como u = G f. En efecto,
(15.13) Lu = L(G f) = LG f = f = f .
Ecuaciones parabolicas: En la teora de la transmision del calor, la temperatura
de una barra innita evoluciona seg un la ecuacion
(15.14)
u
t
=

2
u
x
2
,
donde u(x, t) tiene una derivada primera respecto de t y una derivada segunda
respecto de x continuas para t > 0. Si la distribucion inicial de temperatura en
la barra esta dada por la funcion u(x, t = 0) = (x), la solucion de (15.14) para
t > 0 es
(15.15) u(x, t) =
1

4t
_

(x y)
2
4t
(y) dy .
Si (x) L
1
(R), esta integral (que existe para una clase mas amplia de funciones)
puede ser escrita como la convolucion
(15.16) u(x, t) =
e

x
2
4t

4t
(x) .
En el caso general, podemos suponer que (x) es una distribucion arbitraria de
soporte compacto, mientras que u(x, t) en (15.16) es una distribucion en la variable
x que tambien depende del parametro t.
La derivada debil de u(x, t) respecto de ese parametro esta dada por
(15.17)
t
u(x, t) =
t
_
_
_
_
_
e

x
2
4t

4t
(x)
_
_
_
_
_
=
t
_
_
_
_
_
e

x
2
4t

4t
_
_
_
_
_
(x) ,
en razon de las propiedades de continuidad de la convoluci on antes mencionadas.
Po otra parte,
(15.18)
2
x
u(x, t) =
2
x
_
_
_
_
_
e

x
2
4t

4t
(x)
_
_
_
_
_
=
2
x
_
_
_
_
_
e

x
2
4t

4t
_
_
_
_
_
(x) .
Finalmente, teniendo en cuenta que
e

x
2
4t

4t
(

(R (R
+
0)), de modo que
sus derivadas como distribucion y derivada debil coinciden con las respectivas
42 H. Falomir
derivadas parciales como funcion de ambas variables
11
, y dado que
(15.20)
_

t


2
x
2
_
e

x
2
4t

4t
= 0 ,
vemos que u(x, t) satisface la ecuacion diferencial
(15.21)
_

t


2
x
2
_
u(x, t) = 0.
Ademas, para t 0
+
tambien satisface la condicion inicial,
(15.22) lm
t0
+
_
_
_
_
_
e

x
2
4t

4t
(x)
_
_
_
_
_
= lm
t0
+
_
_
_
_
_
e

x
2
4t

4t
_
_
_
_
_
(x) = (x) (x) = (x)
(ver ecuacion (4.11)).
En el caso general, dada la ecuacion diferencial a coecientes constantes
(15.23)
u
t
= P
_

x
_
u,
donde u(x, t) es una distribucion en la variable x que depende ademas del parametro
t, el problema de Cauchy consiste en hallar una solucion que se reduzca a una dis-
tribucion dada (x) para t 0
+
.
La solucion de esa ecuacion para la cual la condicion inicial es (x) = (x),
G(x, t), es llamada solucion fundamental. Una vez conocida G(x, t), la solucion
del problema de Cauchy se expresa como
(15.24) u(x, t) = G(x, t) (x) ,
suponiendo que la convoluci on en el miembro de la derecha este bien denida. En
efecto, para t > 0 tenemos
(15.25)
_

t
P
_

x
__
u(x, t) =
=
_

t
P
_

x
__
G(x, t) (x) = 0 (x) = 0,
11
En efecto,
(15.19)
t
_
e

x
2
4t

4t
, (x)
_
=
_
a[]
a[]

t
_
e

x
2
4t

4t
_
(x) dx,
puesto que esta integral converge uniformemente para t > 0.
Teora de distribuciones 43
mientras que
(15.26) lm
t0
+
u(x, t) = lm
t0
+
G(x, t) (x) = (x) (x) = (x) .
Ecuaciones hiperbolicas: Una solucion fundamental de la ecuacion de las
ondas en una dimension,
(15.27)

2
u
t
2


2
u
x
2
= 0 ,
esta dada por
(15.28) G(x, t) =
1
2
(x + t) (x t) .
En efecto, es inmediato mostrar que
12
(15.31)

2
G
t
2


2
G
x
2
= 0.
En cuanto a la condicion inicial, es evidente que
(15.32)
lm
t0
+
G(x, t) = 0,
lm
t0
+

t
G(x, t) = lm
t0
+
1
2
(x + t) + (x t) = (x) .
Llamemos

G(x, t) a la derivada debil de G(x, t) respecto de t,
(15.33)

G(x, t) :=
t
G(x, t) =
1
2
(x + t) + (x t) .
Ella constituye una segunda solucion fundamental, que diere de la primera en las
condiciones iniciales que satisface.
En efecto, tambien resulta inmediato vericar que
(15.34)

2

G
t
2


2

G
x
2
= 0.
Por otra parte,
(15.35)
lm
t0
+

G(x, t) = lm
t0
+

t
G(x, t) = (x) ,
lm
t0
+

t

G(x, t) = lm
t0
+

2
t
G(x, t) = lm
t0
+

2
x
G(x, t) = 0,
12
La derivada debil de (x t) respecto de t esta denida por
(15.29)
t
((x t), (x)) =
t
_

t
(x) dx = (t) = ((x t), (x)) ,
de modo que
t
(x t) = (x t). Similarmente,
(15.30)
t
((x t), (x)) =
t
(t) =

(t) = (

(x t), (x)) ,
de donde
t
(x t) =

(x t).
44 H. Falomir
ya que
(15.36) lm
t0
+
_

2
x
G(x, t), (x)
_
= lm
t0
+
_
G(x, t),
2
x
(x)
_
= 0
por (15.32).
En esas condiciones, la solucion de (15.27) que satisface las condiciones iniciales
u(x, t = 0) = u
0
(x),
t
u(x, t = 0) = u
1
(x), esta dada por
(15.37) u(x, t) = G(x, t) u
1
(x) +

G(x, t) u
0
(x) .
En efecto, por las propiedades de la convolucion es evidente que
(15.38)
_

2
t
2


2
x
2
_
u(x, t) =
=
_

2
t
2


2
x
2
_
G(x, t) u
1
(x) +
_

2
t
2


2
x
2
_

G(x, t) u
0
(x) = 0.
Por otra parte,
(15.39)
u(x, 0
+
) = 0 u
1
(x) + (x) u
0
(x) = u
0
(x) ,

t
u(x, t) = (x) u
1
(x) +0 u
0
(x) = u
1
(x) .
Notese que, siendo G(x, t) y

G(x, t) de soporte compacto t > 0, la ecuacion
(15.37) tiene sentido u
0
, u
1
/

.
Por otra parte, la solucion puede ser escrita como
(15.40)
u(x, t) = G(x, t) u
1
(x) +
1
2
(x + t) + (x t) u
0
(x) =
= G(x, t) u
1
(x) +
1
2
u
0
(x + t) + u
0
(x t) ,
en terminos de la distribucion u
0
trasladada. Si ademas u
1
es regular
13
, obtenemos
la solucion de D

Alembert,
(15.42) u(x, t) =
1
2
u
0
(x + t) + u
0
(x t) +
1
2
_
x+t
xt
u
1
(y) dy .

13
Para u
1
regular tenemos
(15.41)
(G(x, t) u
1
(x), (x)) = (u
1
(y), (G(x, t), (x + y))) =
=
_

1
(y)
_
1
2
_
y+t
yt
(x) dx
_
dy =
_

_
1
2
_
x+t
xt
u

1
(y) dy
_
(x) dx.
Teora de distribuciones 45
Para el caso general de una ecuacion de orden m en t, si P(x, t) es un polinomio
en dos variables a coecientes constantes y de orden m en t, el problema de Cauchy
consiste en hallar la solucion de la ecuacion diferencial
(15.43) P
_

x
,

t
_
u(x, t) = 0
que satisfaga las condiciones iniciales
(15.44)
u(x, t = 0) = u
0
(x),
t
u(x, t = 0) = u
1
(x), . . . ,

m1
t
u(x, t = 0) = u
m1
(x) .
Se llama solucion fundamental a aquella distribucion G
0
(x, t) que satisface la
ecuacion homogenea (15.43), y las condiciones iniciales
(15.45) G
0
(x, t = 0) = 0,
t
G
0
(x, t = 0) = 0, . . . ,
m1
t
G
0
(x, t = 0) = (x) .
Notese que
(15.46) P
_

x
,

t
_

k
x
G
0
(x, t) = 0, P
_

x
,

t
_

t
G
0
(x, t) = 0,
dado que P tiene coecientes constantes, y que ademas
(15.47)

k
x
G
0
(x, t = 0) = 0,
t

k
x
G
0
(x, t = 0) = 0, . . . ,

m1
t

k
x
G
0
(x, t = 0) =
(k)
(x) ,

t
G
0
(x, t = 0) = 0,
t

t
G
0
(x, t = 0) = 0, . . . ,

m2
t

t
G
0
(x, t = 0) = (x) ,

m1
t

t
G
0
(x, t) = Q
_

x
,

t
_
G
0
(x, t) ,
donde Q(x, t) es un polinomio de orden m1 en t, de modo que
(15.48)
m1
t

t
G
0
(x, t = 0) = /
m1
_

x
_
(x) .
Se ve entonces que, tomando combinaciones lineales de
t
G
0
(x, t), G
0
(x, t) y de
sus derivadas respecto de x, es posible construir una segunda solucion fundamental
G
1
(x, t) que satisfaga (15.43) y las condiciones iniciales
(15.49)
G
1
(x, t = 0) = 0,
t
G
1
(x, t = 0) = 0, . . . ,
m2
t
G
1
(x, t = 0) = (x),

m1
t
G
1
(x, t = 0) = 0.
46 H. Falomir
Este proceso puede continuarse para construir nuevas soluciones fundamentales
G
k
(x, t), con k = 1, 2, . . . , m 1, con derivadas nulas en t = 0 a excepcion de

k
t
G
k
(x, t = 0) = (x), para nalmente expresar la solucion de (15.43) y (15.44)
como
(15.50) u(x, t) = G
m1
(x, t)u
0
(x)+G
m2
(x, t)u
1
(x)+ +G
0
(x, t)u
m1
(x) .
16. Derivaci

on e integraci

on de orden arbitrario
Sea g(x) una funcion localmente integrable con soporte en la semirrecta x 0.
La primitiva de orden n de g(x) que se anula en x = 0 esta dada por la formula
de Cauchy,
(16.1) g
(n)
(x) =
1
(n 1)!
_
x
0
g(y) (x y)
n1
dy ,
para n = 1, 2, . . . , como puede comprobarse facilmente integrando por partes.
El segundo miembro de esta igualdad tambien puede ser entendido como el
producto de convolucion de dos distribuciones regulares,
(16.2) g
(n)
(x) = g(x)
x
n1
+
(n)
= g(x)
n
,
dado que ambas funcionales tienen soporte contenido en R
+
(ver ec. (14.5)).
Pero el miembro de la derecha de (16.2) tiene sentido, no solo para distribuciones
regulares, sino para toda distribucion con soporte en R
+
. En particular, para n = 1
tenemos
(16.3) g
(1)
(x) = g(x)
x
0
+
(1)
= g(x) (x) ,
lo que corresponde a una primitiva de g como distribucion, ya que
(16.4) g

(1)
(x) =
d
dx
((x) g(x)) =

(x) g(x) = (x) g(x) = g(x) .


Notese que Sop
_
g
(1)
_
R
+
. En efecto, si Sop((x)) R
+
= entonces
(16.5)
(x) := ((y), (x + y)) =
_

x
(y) dy = 0, x 0
(g(x), (x)) = 0
_
g
(1)
(x), (x)
_
= 0 .
Por lo tanto, g
(1)
es la primitiva de g que tiene su soporte contenido en R
+
.
En la Seccion 7 hemos visto que la distribucion

= x
1
+
/(), que es regu-
lar para '() > 0, existe por extension analtica en todo el plano complejo del
Teora de distribuciones 47
parametro como una distribucion con soporte en R
+
. En efecto, dado que x
1
+
y
() solo presentan polos simples en = k, con k N, de (7.16) y (7.9) tenemos
(16.6) lm
k

=
Res x
1
+

=k
Res ()[
=k
=
(1)
k

(k)
(x)/k!
(1)
k
/k!
=
(k)
(x) ,
para k = 0, 1, 2, . . .
En consecuencia, la convoluci on
(16.7) g
()
:= g

tiene sentido g /

con soporte contenido en R


+
, y se extiende analticamente a
todo el plano como una distribucion con soporte en esa semirecta
14
. En particular,
para = 0 tenemos
(16.8) g
(0)
= g
0
= g (x) = g ,
mientras que para valores enteros negativos de ,
(16.9) g
(n)
= g
n
= g
(n)
(x) = g
(n)
se reduce a la derivada n-esima de g (como distribucion).
Vemos entonces que una misma expresion, la convoluci on en el miembro de la
derecha de la ec. (16.7), da las derivadas y primitivas de la distribucion g para
valores enteros de . Pero esa convoluci on tiene tambien sentido C, por
lo que podemos llamar a g
()
:= g
()
la derivada de orden () de g (o,
equivalentemente, su primitiva de orden ).
Esta operacion de derivaci on (o integraci on) de orden complejo tiene algunas
propiedades de la derivacion usual. Por ejemplo, la derivada de orden de la
derivada de orden es la derivada de orden ( + ). En efecto, consideremos
la convoluci on
(16.10)

=
x
1
+
()

x
1
+
()
.
Para '() > 0 y '() > 0, se trata de la convoluci on de distribuciones regulares
con soporte en R
+
que, por (14.4) y (14.5), se reduce a la distribucion regular
14
En efecto, si Sop((x)) R
+
= , entonces (x) := (

(y), (x + y)) =
_

0
y
1
()
(x +
y) dy = 0, x 0, '() > 0 y, por extension analtica, tambien C. En consecuencia,
(g(x), (x)) = 0, es decir,
_
g
()
(x), (x)
_
= 0.
48 H. Falomir
denida por la funcion
(16.11)
(

) (x) =
_
x
0
(x y)
1
()
y
1
()
dy =
=
x
+1
()()
_
1
0
(1 z)
1
z
1
dz
para x 0, y (

) (x) = 0 para x < 0. La integral en el miembro de la


derecha de (16.11) es la funcion de Euler
(16.12) B(, ) :=
_
1
0
(1 z)
1
z
1
dz =
()()
( + )
.
En consecuencia, para '(), '() > 0 tenemos que
(16.13)

=
x
+1
+
( + )
=
+
.
Pero, en virtud de la unicidad de la extension analtica de ambos miembros (en
y en ), esta igualdad vale , C.
Entonces,
(16.14) (g

= g (

) = g
+
, , C.
En particular, si = ,
(16.15) (g

= g
0
= g (x) = g ,
de donde resulta que las operaciones de derivacion e integraci on de orden arbitrario
son la inversa una de la otra.
Otras consecuencias:
(16.16)
1
=
1
(x) =
1

1
(x) =

(x) =
()
(x) ,
(16.17)
_
x
n1
+
( n)
_
()
=
n

=
n
=
n
=
(n)
(x) .
El problema de Abel: Consideremos una masa m que puede deslizarse sin roza-
miento, bajo la accion de la gravedad, sobre una curva en un plano vertical. Se
trata de estudiar el tiempo t(x) que le toma a esa partcula alcanzar el nivel z = 0,
si parte desde el reposo a una altura z = x.
De la conservacion de la energa tenemos
(16.18)
1
2
mv(z)
2
= mg(x z) [v(z)[ =
_
2g(x z) .
Teora de distribuciones 49
Entonces, la componente vertical de la velocidad a una altura z esta dada por
(16.19)
dz
dt
=
_
2g(x z) sin (z) ,
donde (z) es el angulo que forma la tangente a la curva en ese punto con una
recta horizontal.
Si la forma de la curva fuese conocida, digamos y = y(z), tendramos que
cot (z) = dy/dz, y la solucion estara dada por
(16.20) t(x) =
_
x
0
dz
_
2g(x z) sin (z)
.
En cambio, la pregunta que se pretende responder aqu es cual es la curva y(z)
que hace que el tiempo de cada, t(x), sea una funcion dada de la altura x desde la
cual es soltada la partcula. Para ello basta con determinar de (16.20) la funcion
(z) = 1/ sin (z), por lo que el problema se reduce a resolver la ecuacion integral
de Abel
(16.21)
_
x
0
(z)
_
2g(x z)
dz = t(x) .
Notese que se trata de una ecuacion integral de primera especie, del tipo de
Volterra, cuyo n ucleo no es de cuadrado sumable.
Mas generalmente, se llama ecuacion de Abel generalizada a
(16.22)
_
x
0
(x z)

(1 )
(z) dz = f(x) ,
donde 0 < < 1, (z) es la incognita y f(x) es una funcion dada. En particular,
para 1/2 el n ucleo de ese operador integral de Volterra no es de cuadrado
integrable.
Ahora bien, esta ecuacion tambien puede interpretarse como
(16.23)
x

+
(1 )
=
1
= f ,
que tiene sentido C, y f /

de soporte contenido en R
+
. Su solucion en
el espacio de distribuciones esta dada simplemente por
(16.24) =
1
(
1
) =
1
f =


1
f =

.
Supongamos ahora que f sea una distribucion regular denida por una funcion
f(x) diferenciable para x ,= 0 y nula para x < 0. Entonces, su derivada como
distribucion es
(16.25) f

(x) =
df(x)
dx
+ f(0
+
) (x) ,
50 H. Falomir
y la solucion de (16.23) se reduce a
(16.26) (x) =

(x)
df(x)
dx
+ f(0
+
)

(x) .
En particular, para > 0 (lo que hace a

regular) se tiene
(16.27) (x) = f(0
+
)
x
1
()
+
_
x
0
(x z)
1
()
df(z)
dz
dz ,
para x > 0.
Volviendo al problema original (donde = 1/2), si tomamos, por ejemplo,
f(x) = T
_
2g/ constante, entonces
df(x)
dx
= 0 y obtenemos
(16.28) (x) =
1
sin (x)
=
T

2g

x
,
lo que conduce a una cicloide (isocrona) para la trayectoria de la partcula.
17. Descomposici

on en distribuciones propias
Los operadores (esencialmente autoadjuntos) que representan a los observables
de la Mecanica Cuantica posicion e impulso no tienen autovectores en L
2
(R) .
En efecto,
(17.1)
(x )(x) = 0 (x) = 0 a. e. (x) = 0(x) L
2
(R),
_
i
d
dx

_
(x) = 0 (x) e
ix
/ L
2
(R) .
No obstante, esos problemas de autovalores s tienen solucion en o

, porque
(17.2) (x ) (x ) = 0, R,
mientras que e
ix
o

, R.
Veremos en que sentido estas distribuciones propias conforman sistemas ortogo-
nales y completos.
Primero se nalemos que, identicando las funcionales regulares con las funciones
que les dan origen, podemos escribir
(17.3) o L
2
(R) o

.
Consideremos ahora un operador lineal A : o o, simetrico y continuo respecto
de la convergencia en ese espacio. Entonces
(17.4)
(
1
, A
2
)
L
2
(R)
= (A
1
,
2
)
L
2
(R)
,
1
(x),
2
(x) o ,
lm
n
A
n
(x) = A(x) en o,
n
(x) (x) en o .
Teora de distribuciones 51
Su adjunto en L
2
(R), A

, esta denido en un dominio T(A

) o, y su graca
contiene a la de toda extension simetrica de A en el espacio de Hilbert.
Por otra parte, para toda funcional f o

, la expresion
(17.5) (g, )
S
:= (f, A)
S
dene una distribucion sobre o. En efecto, la linealidad de g es evidente a partir
de la linealidad de A y de f. En cuanto a la continuidad, tomemos una secuencia
convergente
n
(x) (x) o. Entonces
(17.6) lm
n
(g,
n
)
S
= lm
n
(f, A
n
)
S
=
_
f, lm
n
A
n
_
S
= (f, A)
S
= (g, )
S
,
dada la continuidad de f y de A.
En esas condiciones, podemos decir que el adjunto de A en o

, que tambien
denotaremos por A

, esta denido sobre todo ese espacio de modo que


(17.7) A

f = g .
As denido, A

es evidentemente lineal y continuo respecto de la convergencia


debil. En efecto, si f
n
f en o

, (x) o tenemos
(17.8) lm
n
_
A

f
n
,
_
S
= lm
n
(f
n
, A)
S
= (f, A)
S
=
_
A

f,
_
S
.
En particular, (x) o o

y (x) o, y teniendo en cuenta que A es


simetrico y que A(x) o, tenemos
(17.9)
_
A

,
_
S
= (, A)
S
= (, A)
L
2
(R)
= (A, )
L
2
(R)
= (A, )
S
y, en consecuencia, A

(x) = A(x). En ese sentido, A

constituye una extension


de A a todo o

.
Una distribucion
15

es una funcional propia de A

correspondiente al autovalor
si
(17.10) A

.
Se puede demostrar el siguiente teorema (ver I. M. Guelfand y G. E. Chilov, Les
distributions, Vol. I - IV).
15
Recordemos que toda distribucion sobre o es la derivada de cierto orden (nito) de una
distribucion regular denida por una funcion continua en la recta, cuyo crecimiento es a lo sumo
polinomial.
52 H. Falomir
Teorema 17.1. Si el operador lineal A : o o es simetrico y continuo, y admite
una extension autoadjunta en L
2
(R), entonces la extension de A a o

, A

, admite
en ese espacio un sistema ortogonal y completo de distribuciones propias (en
un sentido que se aclara a continuacion), correspondientes a autovalores reales.
En ese enunciado, completo signica que toda funcional regular denida por
una funcion (x) o (denso en L
2
(R)) es el lmite de un desarrollo debilmente
convergente de la forma
(17.11) =

, )
S

.
Esto signica que (x) o se tiene
(17.12) (, )
S
= (, )
L
2
(R)
=

, )

S
(

, )
S
.
En particular, para (x) (x),
(17.13) (, )
S
= | |
2
2
=

[(

, )
S
[
2
.
Esta ecuacion es una generalizacion de la igualdad de Parseval (que, a su vez,
generaliza el teorema de Pitagoras), lo que justica el termino ortogonal.
Estos resultados se extienden a todo el espacio de Hilbert L
2
(R) = o en el
siguiente sentido: si f(x) es una funcion de cuadrado sumable en la recta, entonces
la distribucion regular que ella dene es el lmite debil de un desarrollo de la forma
(17.14) f =

f()

,
donde los coecientes de ese desarrollo satisfacen
(17.15) | f |
2
2
=

f()

2
.
Ejemplos: El operador impulso, denido como P = i
d
dx
sobre T(P) = o, es
simetrico y continuo sobre o, y admite una ( unica) extension autoadjunta en L
2
(R)
(ver las Notas sobre operadores no acotados).
Su extension a o

esta dada por P

f = if

, para toda f o

. En efecto,
o tenemos
(17.16)
_
P

f,
_
S
= (f, i

)
S
= (if

, )
S
.
Las funcionales propias de P

son distribuciones regulares que estan dadas por


las funciones

=
e
ix

2
para todo R.
Teora de distribuciones 53
Seg un el teorema anterior, para (x) o se tiene
(17.17) (x) =
_

()
e
ix

2
d
en el sentido de la convergencia debil, donde
(17.18) () =
_
e
ix

2
, (x)
_
=
_

e
ix

2
(x) dx.
En efecto, en este caso () no es otra cosa que la transformada de Fourier de
(x) o L
1
(R) y la integral en (17.17) converge uniformemente en (ver el
Lema de Riemann - Lebesgue en las Notas sobre la Transformacion de Fourier en
L
2
(R)).
La ortogonalidad se reduce en este caso a
(17.19) | |
2
2
=
_

[ ()[
2
d = | |
2
2
,
que es la igualdad de Parseval.
Por otra parte, dada f(x) L
2
(R), la funcional regular que ella dene es el
lmite debil de una integral de la forma
(17.20) f(x) = lm
N
_
N
N

f()
e
ix

2
d,
donde

f() L
2
(R) y satisface |

f() |
2
=| f(x) |
2
. En efecto,

f() es aqu la
transformada de Fourier de f(x) (en el sentido de L
2
(R)) y la convergencia en
media del lado derecho de (17.20) (ver el Teorema de Plancherel en las Notas
sobre la Transformacion de Fourier en L
2
(R)) garantiza su convergencia debil.
Similarmente, con las distribuciones propias del operador posicion podemos es-
cribir para toda f(x) L
2
(R),
(17.21) f(x) =
_

f() (x ) d
en el sentido de convergencia debil de la integral. En efecto, o tenemos
(17.22)
_

f()

_
(x ), (x)
_
d =
_

f()

() d = (f, )
L
2
(R)
= (f, )
S
.

54 H. Falomir
Bibliografa:
I. M. Guelfand y G. E. Chilov, Les distributions, Vol. I - III, Dunod, Pars,
1964-1972.
A.N.Kolmogorov y S.V. Fomin, Elementos de la Teora de Funciones y del
Analisis Funcional.
http://www.smat.sica.unlp.edu.ar/falomir/notas-metodos.html

También podría gustarte