Captulo 6

Distribuciones
6.1 Introduccion
En la dedicatoria del libro de Lighthill ([53]) aparece lo siguiente, en relacion con el
desarrollo del concepto de la delta de Dirac:
to Paul Dirac who saw that it must be true,
Laurent Schwartz who proved it,
and George Temple who showed how simple it could be made.
P. Dirac y R. Feynmann
Despues de los trabajos de Heaviside (1895),
Dirac (1925) y Van del Pol (1932), Laurent Schwartz
publico de 1945 a 1948 una serie de artculos,
exponiendo una teora coherente y completa de
une nueva herramienta matematica: las distribu-
ciones. Poco mas tarde, Gelfand en Rusia se con-
sidera tambien co-responsable de la ocializacion
de la nueva teora, elaborando una teora de fun-
ciones generalizadas, que son una extension de
las distribuciones. La trayectoria seguida por
los avances en los conceptos de funcion sigue el
itinerario funcion-medida-distribucion. En palabras
de Lauren Schwartz, reivindicando el papel de las
matematicas en los habitos entonces muy corrientes
entre los fsicos de utilizar un conjunto de reglas de calculo simbolico para menejar la delta
de Dirac y sus derivadas, sera una medida y no una funcion, sera una distribucion
y no una medida. La clave del nuevo concepto consiste en hacer uso de una caracter-
izacion indirecta para las nuevas funciones que incluya a los conceptos de funcion
precedentes. Dicha caracterizacion se basa en determinar el efecto de los nuevos (y an-
59
tiguos) objetos sobre familias de funciones que tienen buenas propiedades de continuidad
y diferenciabilidad: las funciones de prueba.
Laurent Schwartz en su Theorie des Distributions ha desarrollado una teora rigurosa,
George Temple ha dado una version de la teora (funciones generalizadas) que parece ser
mas inteligible a los estudiantes, esta es la forma en que aqu la abordaremos.
Denicion 6.1 (Espacio S de las funciones rapidamente decrecientes) S es el conjunto
de funciones f C

tales que
lim
|x|

k
f
x
k

|x|
l
0 k, l N.
Nota 6.1 El valor nulo del lmite anterior, signica que la funcion y todas sus derivadas
tienen la propiedad de tender a cero mas rapido que cualquier crecimiento de las potencia
de x, cuando |x| es muy grande. Geometricamente la propiedad signica que la graca de
y las gracas de todas las derivadas, para |x| muy grande se confunden con el eje x.
Nota 6.2 S es un espacio vectorial.
Denicion 6.2 (Funciones de prueba) Una funcion de prueba es una funcion (x) C

con soporte compacto. La cerradura del conjunto de valores de x en los que (x) = 0 se
llama soporte de la funcion (x).
Denicion 6.3 (Sucesion regular f
n
) Una sucesion de funciones (f
n
) se dice ser regular
si el lmite
lim
n
_
f
n
dx
existe para toda S.
Denicion 6.4 (Distribucion) Una distribucion f es una funcional lineal denida a traves
de la sucesion de funciones siguiente:
f [] = lim
n
_
f
n
dx.
Nota 6.3 Una distribucion es una clase de equivalencia de sucesiones regulares.
En 1926, el fsico ingles P.A.M. Dirac (1902-1984), introdujo la funcion delta de
Dirac, en conexion con sus estudios sobre Mecanica Cuantica. Realmente no se trata de
una funcion en el sentido ordinario del termino, sino de una distribucion.
El concepto de la funcion delta de Dirac, tambien llamada funcion impulso unitario,
resulta un modelo util en situaciones en las que, por ejemplo, tenemos un sistema mecanico
sobre el que act ua una fuerza externa de gran magnitud durante un breve instante de
tiempo. En el caso extremo en el que esta fuerza estuviese concentrada en un punto,
vendra representada por la delta de Dirac.
Debido a que en muchas situaciones se busca la respuesta de un sistema cuando se le
aplica una fuerza externa muy intensa pero durante un intervalo muy corto de tiempo, lo
que se conoce como una fuerza impulsiva, se introducen para modelar estas situaciones el
siguiente objeto matematico.
6.2 Sucesiones delta
En esta seccion la denicion y propiedades de la delta de Dirac se establecen a partir del
concepto de sucesion delta (ver [38], captulo 4). La idea de una sucesion delta es que,
aunque una funcion delta no puede existir, podemos encontrar una sucesion de funciones
{
n
(x)} que en el lmite cuando n satisface la ecuacion
lim
n
_

n
(x)(x) dx = (0)
para toda funcion continua (x). Notese que en denicion de
n
(x) de ninguna manera
implica que el lmite lim
n

n
(x) exista, pues, en general, no es permitido intercambiar
los procesos de lmite y de integracion.
Hay muchos ejemplos de sucesiones delta; algunos de los mas sugestivos son los si-
guientes.
1.
n
(x) =
_

_
n si |x|
1
2n
0 si |x| >
1
2n
x

1
(x)

2
(x)

3
(x)
2.
n
(x) =
n

1
1 + x
2
n
2
x

1
(x)

5
(x)

9
(x)
3.
n
(x) =
_
n

exp
_
nx
2
_
x

1
(x)

5
(x)

20
(x)
4.
n
(x) =
1

sen (nx)
x
x

3
(x)

5
(x)

10
(x)
x
Figura 6.1: La funcion impulso
La distribucion delta a veces es considerada
como una funcion impulso, y en ese caso su repre-
sentacion graca sera como se muestra en la gura
6.1.
La funcion delta de Dirac no es una funcion en
el sentido habitual, pero es un ejemplo de lo que
se conoce como funciones generalizadas o distribu-
ciones para las que existen las correspondientes nociones de derivada e integral. Manejadas
con cuidado, las propiedades que mostraremos proporcionan resultados de contenido prac-
tico que no se pueden obtener por los metodos usuales, lo que hace de esta funcion una
herramienta muy util. Como tal, la funcion delta de Dirac es fsicamente irrealizable,
pero podemos aproximarla sucientemente bien de una manera que, ademas, nos permite
entender de donde vienen sus propiedades.
Teorema 6.1 Dada una funcion continua f
_
+

f(x) (x) dx = f (0) . (6.1)

Nota 6.4 Simbolicamente se escribe: f(x)(x) = f(0)(x).
Demostraci

on. Sea F tal F

(x) = f (x) y sea

(x) =
_
1
2
si x [, ],
0 para otros valores de x.
Entonces, por denicion,
_
+

f (x) (x) dx = lim

0
_
+

f (x)

(x) dx
= lim
0
1

_
+/2
/2
f (x) dx = lim
0
1

F (x)

+/2
/2
= lim
0
F
_

2
_
F
_

2
_

= F

(0) = f (0) .
Entonces,
_
+

f (x) (x) dx = f (0) .

Corolario 6.1 En particular
(x) f (x) = f (x) .
Nota 6.5 La distribucion es unidad respecto a la convoluci on.
Teorema 6.2 La delta de Dirac cumple
(x) =
1
2
_
+

e
ix
d.
Demostraci

on. Esta armacion se puede probar de manera inmediata usando distin-

tas sucesiones delta. Una manera es la siguiente:

n
(x) =
sen nx
x
=
1
2
_
n
n
e
ix
d.
Otra sera:

n
(x) =
n

1
1 + n
2
x
2
=
1
2
_
+n
n
e
ixt
|t|
n
dt,
y una tercera sera:
(x) =
1
2
_
+

__
+

(x) e
ix
dx
_
e
ix
d;
Esta ultima es una integral de Fourier; por tanto
(x) =
1
2
_
+

e
ix
d.
Teorema 6.3 Un sistema de vectores ortonormales {
i
(x)} es una base si y s olo si se
cumple la siguiente relacion:
(x y) =

i
(y)
i
(x).
Demostraci

on. El conjunto {
i
(x)} es una base si y solo si todo vector (x) se puede
escribir en la forma
(x) =

i
c
i

i
(x),
donde las constantes c
i
estan dadas por c
i
=
_

i
(y)(y) dy. Entonces
(x) =

i
c
i

i
(x) =

i
__

i
(y)(y) dy
_

i
(x)
=

i
__

i
(y)(y)
_

i
(x) dy =

i
__

i
(y)
i
(x)
_
(y) dy,
de donde se sigue que

i
__

i
(y)
i
(x)
_
= (x y).
Teorema 6.4 Para la delta de Dirac se cumple que
(ax) =
1
|a|
(x).
Demostraci

on. En el teorema 6.1 hacer el cambio de variable y = ax primero para

a > 0 y luego para a < 0.
Teorema 6.5 Si H es la funcion de Heaviside, entonces
dH (x)
dx
= (x) ;
de modo equivalente
H (x) =
_
x

(x

) dx

.
Demostraci

on. Sea H
n
la sucesion de Heaviside H
n
(x) =
1
2
+
1

arctan(nx).
Entonces
d
dx
H
n
(x) =
1

n
1 + n
2
x
2
; pero
1

n
1 +n
2
x
2
es una sucesion delta.
Por tanto
d
dx
H (x) = (x) .
Teorema 6.6 Para la funcion signo se cumple que
1
2
d
dx
sgn(x) = (x) .
De manera equivalente
sgn(x) = 1 + 2
_
x

(x

) dx

.
Demostraci

on. Notese que sgn(x) = 2H(x) 1.

Teorema 6.7 (Paridad de la funcion Heaviside) La funcion de Heaviside satisface las
siguientes identidades:
H(x) +H(x) = 1,
H(x) H(x) = sgn(x).
Demostraci

on. Esto es consecuencia inmediata de las deniciones.

Teorema 6.8
d|x|
dx
= 2x (x) + sgn(x).
Demostraci

on. Notese que

|x| = xsgn(x)
y, por tanto,
d|x|
dx
= x
d
dx
sgn(x) + sgn(x).
Teorema 6.9 (de Dirichlet)
_
+

sen (ax)
x
dx = sgn(a).
Teorema 6.10 (Derivada de la delta de Dirac)
_
+

(x a) f (x) dx = f

(a) .
Demostraci

on. Integrando por partes,

_
+

f (x)

(x) dx = f (x) (x)

_
+

(x) (x) dx;

por tanto
_
+

(x a) f (x) dx = f

(a) .
Corolario 6.2 Por induccion se cumple que
_
+

(n)
(x) f (x) dx = (1)
n
f
(n)
(0) .
Denicion 6.5 (Derivada de una distribucion) Si f es una distribucion y es una funcion
de prueba, entonces la derivada de f, denotada con f

, se dene de manera tal que se

cumple lo siguiente:
f

, = f,

.
Teorema 6.11 Si una funcion f se puede escribir en la forma
f (x) = f
s
(x) +
n

k=1
f
k
H (x x
k
) ,
entonces f

existe excepto posiblemente en los puntos (de discontinuidad simple) x

k
;
ademas,
f

(x) =
df
s
dx
+
n

k=1
f
k
(x x
k
) .
A resultado siguiente muestra una manera en la que la transformada de Fourier se
relaciona con distribuciones.
Teorema 6.12 (Deltas con periodo 2)

m=
(x 2m) =
1
2

m=
exp (inx) .
Teorema 6.13 (Deltas con periodo L)

m=
(x mL) =
1
L

n=
e
2n
L
ix
.
Teorema 6.14
(x) =
1
2
_
e
ikx
dk. (6.2)
Demostraci

on. Considere la sucesion delta siguiente:

:=

1
x
2
+
2
=
1
2
_
+

e
|k|
cos kx dk.
Como (x) = lim
0+

(x) ,
se sigue que
(x) =
1
2
_
+

k cos (kx) dk.

Nota 6.6 En tres dimensiones, el teorema anterior establece que (x) =
1
(2)
3
___
e
ik,x
dk.
Teorema 6.15 Supongamos que 0 < x < L. Sean
n
(x) =
_
2
L
sen
_
nx
L
_
y
n
(x) =
_
2
L
cos
_
nx
L
_
. Entonces,

n=1

n
(x)
n
(x

) =
2
L

n=1
sen
_
nx

L
_
sen
_
nx
L
_
= (x x

) ,
1
L
+

n=1

n
(x)
n
(x

) =
2
L
_
1
2
+

n=1
cos
_
nx

L
_
cos
_
nx
L
_
_
= (x x

) .
Teorema 6.16 (Propiedad de completitud de las exponenciales)
(x x

) =
1
L
+

n=
e
2n
L
i(xx

)
.
De manera equivalente
(x x

) =
1
L
_
1 + 2

n=0
cos
_
2n
L
(x x

)
_
_
.
Demostraci

on. Tomemos
n
(x) =
_

_
n |x|
1
2n
,
0 |x| >
1
2n
.
Entonces su serie de Fourier (de periodo 2L) es

n
(x) =
1
2L
+

m=1
n
m
sen
m
nL
cos
m
L
x.
Haciendo n
(x) =
1
2L
+
1
L

n=0
cos
n
L
x.
Corolario 6.3 Se cumple

(x) =
ik
2
_
+

e
ikx
dk.
6.3 Transformada de Fourier
Presentamos a continuacion la transformada de Fourier de algunas distribuciones, as
como algunas consecuencias importantes.
Teorema 6.17 (Transformada de Fourier de la funcion de Heaviside)
F[H(x)] = () +
1
i
.
Teorema 6.18 (Transformada de Fourier para la delta de Dirac)
F [ (t a)] = e
ia
.
Demostraci

on. F [ (t a)] =
_
+

e
it
(t a) dt. Entonces
F [ (t a)] = e
ia
.
Corolario 6.4 F [ (t)] = 1.
Teorema 6.19 (Completez de las exponenciales)
(t) =
1
2
_
+

e
it
d.
Demostraci

on. De
(t) = F
1
[ ()] =
_
+

e
it

2
1

2
d.
se sigue que
(t) =
1
2
_
+

e
it
d.
Teorema 6.20 (Transformada de Fourier de la derivada de la delta de Dirac)
F [

(t a)] =
1
2
i e
ia
.
Teorema 6.21 1. Transformada de la funcion exponencial
F
_
e
bx

= 2 (s ib) . (6.3)
2. Transformada de las funciones circulares
F [sen bx] = i [ (s b) (s + b)] . (6.4)
F [cos bx] = [ (s b) + (s + b)] . (6.5)
3. Transformada de las funciones hiperbolicas
F [senh bx] = [ (s ib) (s + ib)] . (6.6)
F [cosh bx] = [ (s ib) + (s + ib)] . (6.7)
A continuacion, y para terminar este captulo, presentamos algunas funciones que
tienen relacion con la delta de Dirac y con la funcion de Heaviside y que surgen en
aplicaciones tanto en fsica como en ingeniera.
Denicion 6.6 (Funcion pulso) La funcion pulso se denota con (x) y se dene de la
manera siguiente:
(x) =
_

_
0 si |x| >
1
2
,
1 si |x| <
1
2
.
Nota 6.7 La funcion pulso se puede escribir en terminos de la funci on selectora (ver
denicion 5.2): (x) =
(

1
2
,
1
2
)
(x) , es la funcion selectora.
1
2

1
2
1
x
(x)
Figura 6.2: La funcion pulso (x).
Nota 6.8 La funcion pulso tambien se puede escribir en terminos de la funci on de Heav-
iside:
(x) = H
_
x +
1
2
_
H
_
x
1
2
_
.
Nota 6.9 La funcion f(x) = h
_
x c
b
_
representa un pulso en c de altura h y ancho
b.
4 6
3
x
f(x)
Figura 6.3: La funcion f(x) = 3
_
x 5
2
_
Denicion 6.7 (Funcion Si) La funcion Si(x) (por las siglas de su nombre en Ingles Sine
Integral) se dene de la manera siguiente:
Si (x) =
_
x
0
sen u
u
du.
La graca de la funcion Si(x) se muestra en la gura 6.4.

2
20 -20
x
Si(x)
Figura 6.4: La funcion Si(x)
Denicion 6.8 (Funcion sinc) La funcion sinc(x) (as llamada por una contraccion de
su nombre original en latn sinus cardinalis) se dene mediante
sinc (x) =
sen x
x
.
Su graca se muestra en la gura 6.5.
x
sinc(x)
Figura 6.5: La funcion sinc(x)
Teorema 6.22 Para la funcion sinc se cumple que
sinc (x) =
d
dx
_
Si (x)

_
; (6.8)
H (x) sinc (x) =
_
x

sinc (u) du =
1
2
+
Si (x)

; (6.9)
F[sinc(x)] = () . (6.10)
Teorema 6.23 Para la funcion signo (ver denicion 5.4) se cumple que
F
_
1
x
_
= i sgn(), (6.11)
F[sgn(x)] =
2
i
. (6.12)
Denicion 6.9 (Funcion triangular)
/\ (x) =
_
0 si |x| > 1,
1 |x| si |x| < 1.
(6.13)
Teorema 6.24 (Convolucion de pulsos)
/\ (x) = (x) (x) . (6.14)
Teorema 6.25 (Derivada de la funcion triangular)
d
dx
/\ (x) =
_
x
2
_
sgn(x). (6.15)
Denicion 6.10 (Pozo innito)
(x) =
1
2

_
x +
1
2
_
+
1
2

_
x
1
2
_
.
Denicion 6.11 (Escalon innito)
I
1
(x) =
1
2

_
x +
1
2
_

1
2

_
x
1
2
_
.
Denicion 6.12 (Smbolo de muestreo)
III (x) =
+

n=
(x n) .
Teorema 6.26 Para la funcion muestreo se cumple que
III (x) f (x) =
+

f (x n) ,
III (ax) =
1
|a|
+

_
x
n
a
_
,
F (III (x)) = III () ,
x

= III (x) ,
d
dx
(x H (x)) = III (x) H (x)
1
2
(x) .
Denicion 6.13 (Funcion oor) Se llama funcion oor a la funcion del mayor entero
menor o igual a x. Se denota x . Su graca aparece en la gura 6.6.
x
x
1
1
Figura 6.6: La funcion x
x
Sa (x)
1
1
Figura 6.7: La funcion Sa(x)
Denicion 6.14 (Funcion sierra)
Sa (x) = x x +
1
2
,
donde x es la funcion ceiling. La graca de la funcion Sa (x) se muestra en la gura
6.7.
Teorema 6.27 Para la funcion sierra se cumple que
d
dx
Sa (x) = III (x) 1;
d
dx
(Sa (x) H (x)) = (III (x) 1) H (x) .