3.3.

Apéndice Matemático sobre la Delta de Dirac

En cursos de Electrodinámica, es muy utilizada la delta de Dirac δ(x), que satisface

δ(x) = 0, x ̸= 0
ˆ ∞
dxδ(x) = 1
−∞

Semejante función no existe en el análisis ordinario. La δ(x) de Dirac es una función gen-
eralizada (o distribución 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 sucesión de funciones de cuadrado integrable, esto es
ˆ ∞
(gn , gn ) = dx[gn (x)]2 < ∞
−∞

Llamaremos función de prueba cualquier función f (x) de cuadrado integrable

ˆ ∞
(f, f ) = dx[f (x)]2 < ∞
−∞

Definimos la Función Generalizada g(x) asociada a la sucesión {gn (x)} como

.
g(x) = lı́m {gn (x)}
n→∞

Este sı́mbolo se define mediante el lı́mite de las integrales, es decir, g(x) es una función
generalizada asociada a la sucesión {gn (x)} si
ˆ ∞ ˆ ∞
dxg(x)f (x) = lı́m dxgn (x)f (x)
−∞ n→∞ −∞

para cualquier función de prueba f (x)

Nota 1 Por la desigualdad de Schwarz

(gn , f )2 ≤ (gn , gn )(f, f ) < ∞

vemos que toda sucesión de funciones de cuadrado integrable define una función generalizada

Nota 2 En rigor, las funciones generalizadas están definidas detrás de la integral, no es

necesario que la sucesión sea convergente en el sentido ordinario, esto quiere decir que no es
necesario que se tenga
lı́m gn (x) = g(x)
n→∞

para que la función generalizada exista. g(x) existe rigurosamente en el lı́mite de las integrales

36
3.3.1. Delta de Dirac δ(x)
El ejemplo mas ilustre y sobresaliente de función generalizada es la delta de dirac, que
será fundamental para el desarollo de muchas teorı́as de la fı́sica, ası́ como del Análisis de
Señales (Disciplina de la Ingenierı́a Eléctrica). Existen varias sucesiones que definen a la delta
de Dirac, comenzaremos con una sucesión 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 sucesión δn (x)

Notar que a medida que aumenta n, la función se asemeja a un rectángulo cada vez más
angosto en torno al origen y de mayor amplitud. Sin embargo, siempre el área bajo δn (x) es
uno. Fı́sicamente 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 sucesión 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
Además
∞ 1/n
n n2
ˆ ˆ
dxδn (x) = dx( ) = =1
−∞ −1/n 2 2n
Veamos que ocurre con
ˆ ∞
dxδn (x)f (x)
−∞

donde f (x) es cualquier función de cuadrado integrable. Se tiene que

Fig. 3.5: Utilizando el teorema del valor medio integral

37
 ∞ 1/n
n n2
ˆ ˆ
dxδn (x)f (x) = dxf (x) = fn = fn
−∞ 2 −1/n 2n
donde fn es el valor de la función para algún x entre −1/n < x < 1/n . De esta forma, es
claro que
ˆ ∞
lı́m dxδn (x)f (x) = lı́m fn = f (0)
n→∞ −∞ n→∞

En resumen, la sucesión δn (x) define la función 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 función ordinaria con éstas propiedades, pero sı́ existe una función general-
izada! Ahora que se tiene en claro el significado de las integrales recién mencionadas, se puede
tratar la delta de Dirac como una función ordinaria, sin olvidar el significado real de ésta.
Fı́sicamente, la Delta puede representar una señal o Impulso de gran amplitud y de extensión
infinitamente pequeña. Por ejemplo, δ(t − to ) puede representar un sonido o una fuerza de gran
amplitud que ocurre en el instante t = to , y de extensión prácticamente nula en el tiempo (Un
aplauso o el impulso que actúa sobre una pelota cuando rebota contra una pared). En electri-
cidad y magnetismo, ρ = qδ(x − xo )δ(y − yo )δ(z − z0 ) representará la densidad volumétrica 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) = lı́m {gn (x)}
n→∞

h(x) = lı́m {hn (x)}

n→∞

son iguales si y sólo si, con cualquier función 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 sucesión de funciones rectangulares (δn (x)) definen a
δ(x). De igual forma, se puede construı́r la delta de Dirac con una sucesión de Gaussianas
n 2 2
hn (x) = √ e−n x
π

de forma que

δ(x) = lı́m {hn (x)}

n→∞

Fig. 3.6: Construcción de δ(x) mediante una sucesión de Gaussianas

Este tipo de funciones nos es familiar, sabemos que siempre una distribución Gaussiana
tiene como integral total 1 (es una distribución de Probabilidad). Para demostrar que esta
sucesión define igualmente a la delta basta con demostrar que
ˆ ∞
n 2 2
I = lı́m dx{δn (x) − √ e−n 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) Fı́sico Inglés. Se graduó de Ingeniero Eléctrico en 1921, posteri-

ormente estudió matemáticas y fue recibido en la Universidad de Cambridge. En 1926 desar-
rolló una versión de la mecánica cuántica en la que unı́a el trabajo previo de Werner Heisenberg
y de Erwin Schrödinger en un único modelo matemático que asocia cantidades medibles con
operadores que actúan en el espacio vectorial de Hilbert y describe el estado fı́sico del sistema.
Por este trabajo recibió un doctorado en fı́sica por Cambridge. En 1928, trabajando en los
spines no relativistas de Pauli, halló la ecuación de Dirac, una ecuación relativista que describe
al electrón. Este trabajo permitió a Dirac predecir la existencia del positrón, la antipartı́cula
del electrón

41
 Problema
Muestre que una distribución discreta de cargas qi , i = 1, 2, ...N ubicada en los puntos ⃗xi ,
i = 1, 2, ...N es consistente con una distribución volumétrica de carga
N
)
ρ(⃗x) = qi δ(⃗x − ⃗xi )
i=1

Solución
Para ver que la distribución de carga se puede escribir de esta forma, se debe verificar que el
campo eléctrico 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 distribución es finita (N es un número finito) podemos intercambiar la integral con la
suma (y nos aseguramos que no se espante ningún matemático)
N
⃗x − ⃗x′
˚
⃗ x) =
)
E(⃗ qi d3 x′ δ(⃗x − ⃗x′i )
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 distribución 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)

Solución
Sea la sucesión 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 función generalizada asociada a la sucesión δn (x)

.
δ(x) = lı́m {δn (x)}
n→∞
Ahora usaremos el hecho de que dos funciones generalizadas
.
g(x) = lı́m {gn (x)}
n→∞
.
h(x) = lı́m {hn (x)}
n→∞

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

ˆ ∞
dx (g(x) − h(x)) f (x) = 0
∞

Se define la función generalizada

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

donde xi son los ceros simples de f . Por supuesto

.
g(x) = lı́m {gn (x)}
n→∞
con
) δn (x − xi )
gn (x) = df (x)
i | dx
|x=xi
Sea y(x) una función 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 )
ˆ )
lı́m dxgn (x)y(x) = dxg(x)y(x) = df
n→∞ −∞ −∞ i
| |
dx x=xi

Ahora, veamos que ocurre con la función generalizada

.
h(x) = lı́m {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(x∗i ) (x2i − x1i )
−∞ i x 1i
2 i
2
con x∗i ∈ Ii . Además, está garantizada la existencia de un x′i ∈ Ii tal que

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

| |x=x′i = =
dx x2i − x1i x2i − x1i
Luego
∞
(2/n) (2/n) y(x∗i )
ˆ
dxhn (x)y(x) = df (x)
−∞ | dx
|x=x′i

Si n → ∞, Ij = xj tal que f (xj ) = 0. Ası́

ˆ ∞
y(xi )
lı́m 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