3.3.

Ap
endice Matem
atico sobre la Delta de Dirac
En cursos de Electrodinamica, es muy utilizada la delta de Dirac (x), que satisface

(x) = 0, x = 0

dx(x) = 1

Semejante funcion no existe en el analisis ordinario. La (x) de Dirac es una funci

on gen-
eralizada (o distribucion de Schwarz).

Funciones Generalizadas
Utilizaremos funciones complejas f (x) de cuadrado integrable bajo el producto interno dado
por

(f, g) = dxf (x)g(x)

Sea
{gn (x), n = 1, 2, 3, ...}
una sucesion de funciones de cuadrado integrable, esto es

(gn , gn ) = dx[gn (x)]2 <

Llamaremos funci
on de prueba cualquier funcion f (x) de cuadrado integrable

(f, f ) = dx[f (x)]2 <

Definimos la Funci
on Generalizada g(x) asociada a la sucesion {gn (x)} como
.
g(x) = lm {gn (x)}
n

Este smbolo se define mediante el lmite de las integrales, es decir, g(x) es una funcion
generalizada asociada a la sucesion {gn (x)} si

dxg(x)f (x) = lm dxgn (x)f (x)
n

para cualquier funcion de prueba f (x)

Nota 1 Por la desigualdad de Schwarz

(gn , f )2 (gn , gn )(f, f ) <

vemos que toda sucesion de funciones de cuadrado integrable define una funcion generalizada

Nota 2 En rigor, las funciones generalizadas estan definidas detras de la integral, no es

necesario que la sucesion sea convergente en el sentido ordinario, esto quiere decir que no es
necesario que se tenga
lm gn (x) = g(x)
n

para que la funcion generalizada exista. g(x) existe rigurosamente en el lmite de las integrales

36
3.3.1. Delta de Dirac (x)
El ejemplo mas ilustre y sobresaliente de funcion generalizada es la delta de dirac, que
sera fundamental para el desarollo de muchas teoras de la fsica, as como del Analisis de
Se
nales (Disciplina de la Ingeniera Electrica). Existen varias sucesiones que definen a la delta
de Dirac, comenzaremos con una sucesion de la forma

0
x < 1/n
n (x) = n/2 1/n < x < 1/n

0 x > 1/n

Fig. 3.4: Primeras 3 funciones dadas por la sucesion n (x)

Notar que a medida que aumenta n, la funcion se asemeja a un rectangulo cada vez mas
angosto en torno al origen y de mayor amplitud. Sin embargo, siempre el area bajo n (x) es
uno. Fsicamente usaremos la delta de Dirac para modelar distribuciones de carga que son nulas
excepto en un punto del espacio

Veamos que en efecto n (x) define una sucesion de funciones de cuadrado integrable
1/n % n &2 % n & 2 ' 2 ( n
2
(n (x), n (x)) = dx[n (x)] = dx = =
1/n 2 2 n 2
Ademas
1/n
n n2

dxn (x) = dx( ) = =1
1/n 2 2n
Veamos que ocurre con

dxn (x)f (x)

donde f (x) es cualquier funcion de cuadrado integrable. Se tiene que

Fig. 3.5: Utilizando el teorema del valor medio integral

37
 1/n
n n2

dxn (x)f (x) = dxf (x) = fn = fn
2 1/n 2n
donde fn es el valor de la funcion para algun x entre 1/n < x < 1/n . De esta forma, es
claro que

lm dxn (x)f (x) = lm fn = f (0)
n n

En resumen, la sucesion n (x) define la funcion generalizada (x), llamada delta de Dirac,
cuyas propiedades fundamentales son

dx(x) = 1


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

(x) = 0, x = 0

Del mismo modo, podemos interpretar (x xo ) en base a

dx(x x0 ) = 1


dx(x x0 )f (x) = f (xo )

(x x0 ) = 0, x = x0

Nota
No existe ninguna funcion ordinaria con estas propiedades, pero s existe una funcion general-
izada! Ahora que se tiene en claro el significado de las integrales recien mencionadas, se puede
tratar la delta de Dirac como una funcion ordinaria, sin olvidar el significado real de esta.
Fsicamente, la Delta puede representar una se nal o Impulso de gran amplitud y de extension
infinitamente peque na. Por ejemplo, (t to ) puede representar un sonido o una fuerza de gran
amplitud que ocurre en el instante t = to , y de extension practicamente nula en el tiempo (Un
aplauso o el impulso que act ua sobre una pelota cuando rebota contra una pared). En electri-
cidad y magnetismo, = q(x xo )(y yo )(z z0 ) representara la densidad volumetrica de
una carga puntual q ubicada en (x0 , y0 , z0 ), es decir, es nula en todo el espacio excepto en el
punto (xo , y0 , z0 )

Igualdad de Funciones Generalizadas

Dos funciones generalizadas
g(x) = lm {gn (x)}
n

h(x) = lm {hn (x)}

n

son iguales si y solo si, con cualquier funcion f (x) se tiene

38

dx[g(x) h(x)]f (x) = 0

Es decir

.
g(x) = h(x) dx[g(x) h(x)]f (x) = 0

Anteriormente mostramos como una sucesion de funciones rectangulares (n (x)) definen a

(x). De igual forma, se puede construr la delta de Dirac con una sucesion de Gaussianas
n 2 2
hn (x) = en x

de forma que

(x) = lm {hn (x)}

n

Fig. 3.6: Construccion de (x) mediante una sucesion de Gaussianas

Este tipo de funciones nos es familiar, sabemos que siempre una distribucion Gaussiana
tiene como integral total 1 (es una distribucion de Probabilidad). Para demostrar que esta
sucesion define igualmente a la delta basta con demostrar que

n 2 2
I = lm dx{n (x) en x }f (x) = 0
n

39
3.4. Propiedades de la delta de Dirac

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

(x)f (x) = f (0)(x)

(x) = (x)

(x)
(ax) =
|a|

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

(x x ) = 0, x = x

b
dx (x x ) = 1, a < x < b
a

(x x ) = (x x)

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


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

N
) (x xi )
(f (x)) =
i=1
| f (x) |x=xi
donde xi son los ceros simples de f (x)

Delta de Dirac en 3 dimensiones

Se define
(x x ) = (x x )(y y )(z z )
la cual cumple *
1 si x V
d3 x (x x ) =
V 0 si x
/V

d3 x (x x ) = 1
R3

d3 x (x x )f (x ) = f (x)
R3

40
 Fig. 3.7: Paul Dirac

Paul Dirac(1902-1984) Fsico Ingles. Se graduo de Ingeniero Electrico en 1921, posteri-

ormente estudio matematicas y fue recibido en la Universidad de Cambridge. En 1926 desar-
rollo una version de la mecanica cuantica en la que una el trabajo previo de Werner Heisenberg
y de Erwin Schrodinger en un u nico modelo matematico que asocia cantidades medibles con
operadores que act uan en el espacio vectorial de Hilbert y describe el estado fsico del sistema.
Por este trabajo recibio un doctorado en fsica por Cambridge. En 1928, trabajando en los
spines no relativistas de Pauli, hallo la ecuacion de Dirac, una ecuacion relativista que describe
al electron. Este trabajo permitio a Dirac predecir la existencia del positron, la antipartcula
del electron

41
 Problema
Muestre que una distribucion discreta de cargas qi , i = 1, 2, ...N ubicada en los puntos xi ,
i = 1, 2, ...N es consistente con una distribucion volumetrica de carga
N
)
(x) = qi (x xi )
i=1

Solucion
Para ver que la distribucion de carga se puede escribir de esta forma, se debe verificar que el
campo electrico que genera es el correcto. En efecto

x x


E(x) = d3 x (x )
R3 | x x |3

N
x x

x) =
)
E( d3 x qi (x xi )
R3 i=1
| x x |3
Si la distribucion es finita (N es un n
umero finito) podemos intercambiar la integral con la
suma (y nos aseguramos que no se espante ning un matematico)
N
x x

x) =
)
E( qi d3 x (x xi )
i=1 R3 | x x |3
N
x) =
) x xi
E( qi
i=1
| x xi |3

que es el campo correcto generado por la distribucion de carga

42
 Problema
Demuestre la propiedad
) (x xi )
(f (x)) =
i
| f (x) |x=xi
donde xi son los ceros simples de f (x)

Solucion
Sea la sucesion de funciones de cuadrado integrable

0
x < 1/n
n (x) = n/2 1/n < x < 1/n

0 x > 1/n

(x) es la funcion generalizada asociada a la sucesion n (x)

.
(x) = lm {n (x)}
n
Ahora usaremos el hecho de que dos funciones generalizadas
.
g(x) = lm {gn (x)}
n
.
h(x) = lm {hn (x)}
n

son iguales si y solo si , con cualquier funcion de prueba f (x) se tiene

dx (g(x) h(x)) f (x) = 0

Se define la funcion generalizada

) (x xi )
g(x) = df
i
| |
dx x=xi

donde xi son los ceros simples de f . Por supuesto

.
g(x) = lm {gn (x)}
n
con
) n (x xi )
gn (x) = df (x)
i | dx
|x=xi
Sea y(x) una funcion de prueba
) n (x xi )
dxgn (x)y(x) = dx df (x)
y(x)
i | dx
|x=xi

xi +1/n
n (x xi ) n/2
) )
dxgn (x)y(x) = dx df (x)
y(x) = dx df (x)
y(x)
i | dx
|x=xi i xi 1/n | dx
|x=xi
Por el teorema del valor medio integral
) n/2
dxgn (x)y(x) = df (x)
(2/n) y(x )
i | dx
|x=x

43
con x [1/n + xi , 1/n + xi ]. Con esto

y(xi )
)
lm dxgn (x)y(x) = dxg(x)y(x) = df
n i
| |
dx x=xi

Ahora, veamos que ocurre con la funcion generalizada

.
h(x) = lm {hn (x)}
n

con
hn (x) = n [f (x)]

0
f (x) < 1/n
hn (x) = n/2 1/n f (x) 1/n

0 f (x) > 1/n

sea Ij = [x1j , x2j ], j = 1, 2, ... tal que x Ij , 1/n f (x) 1/n (x2j x1j ) y tal que
+
Ij Ii =
i = j (intervalos disjuntos). As, por el teorema del valor medio integral
) x2i n )n
dxhn (x)y(x) = dx y(x) = y(xi ) (x2i x1i )
i x 1i
2 i
2
con xi Ii . Ademas, esta garantizada la existencia de un xi Ii tal que

df (x) | 2/n | 2/n

| |x=xi = =
dx x2i x1i x2i x1i
Luego

(2/n) (2/n) y(xi )

dxhn (x)y(x) = df (x)
| dx
|x=xi

Si n , Ij = xj tal que f (xj ) = 0. As

y(xi )
lm dxhn (x)y(x) = dxh(x)y(x) = df (x)
n | |x = xi
dx
Por lo tanto, se ha demostrado la igualdad entre las funciones generalizadas
) (x xi )
[f (x)] = df (x)
i | dx
|x=xi

44