1

CLASE 2

Introduccin a las Funciones Generalizadas

2.1 La delta de Dirac

La as llamada funcin delta de Dirac, denotada () () (y, en general, su traslacin

( ) (), con R) se encuentra denida informalmente en muchos libros de
fsica e ingeniera de la siguiente manera




si =
( ) =


0 si

+
con la propiedad adicional de que ( ) d = 1.
Sabemos que, en realidad, no existe tal funcin puesto que si ella se anula en todo R,

excepto en un solo punto, entonces su integral vale cero.

El objetivo de sta seccin es establecer que la delta de Dirac debe ser interpretada no
como una funcin de variable real sino como (lo que llamaremos) una funcin generalizada:
una funcin denida no sobre nmeros sino funciones de cierto espacio (que llamaremos
espacio de funciones de prueba) y su accin sobre una de su dominio (que es lo que en los
+
libros de fsica e ingeniera denotan ( )() d) viene dado por

= ().

Observacin 2.1. Queremos enfatizar que al no ser la delta una funcin de variable real,
no tiene sentido (signicado) su integral. Sin embargo, para conveniencia de aquellos estu-
diantes que ya estn acostumbrados a trabajar con integrales de la delta, permitiremos su
uso en este curso. Debe quedar claro, entonces, que
+
( )() d

es solamente una manera alternativa de escribir lo que hemos denotado

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro

2.1 La delta de Dirac 2

y, por lo tanto, su signicado no es el de una integral sino, simplemente, el nmero que

le asigna a (en otras palabras, la evaluacin de en ).

Denicin 2.2. Sea una funcin real ( R C) de clase (R). Sea

= R () 0 .
Denimos el soporte de como el conjunto formado por los puntos de y los puntos de la
frontera de ,
sop = = .
En aquellos casos en los que sea un conjunto acotado diremos que tiene soporte
compacto.
El conjunto formado por las funciones suaves que tienen soporte compacto lo denotamos
:
R R
( ) = ( ) tiene soporte compacto .

Ntese que las funciones en se anulan en el exterior de algn intervalo acotado.

Observacin 2.3. El inters por integrar la delta de Dirac proviene del hecho de que toda
funcin diferenciable (o tambin diferenciable a trozos) puede ser considerada una funcin
generalizada, deniendo su accin sobre una funcin de prueba mediante la integral: Si
es una funcin real suave (suave a trozos) entonces para cualquier funcin (R)
denimos

= ()() d. (1)

Note que en el primer caso (el caso en que es suave), la suavidad y la compacidad del
soporte de la funcin ()() implican que la integral impropia (1) es convergente y, en
consecuencia, la denicin dada tiene sentido para cualquier funcin de prueba : Como
tiene soporte compacto entonces sop [, ], para algn par , de nmeros reales con
. Luego,
+
()() d = ()() d,

y la integral existe debido a la continuidad de ()().
En el segundo caso (es decir, es suave a trozos) la integral impropia (1) tambin es
convergente (para que sto sea as es que, precisamente, la denicin que se di de funcin
suave a trozos exige que en los puntos , , en los que no es de clase existan los
lmites laterales tanto de como de . Ver la Denicin 1.25).
Recuerde que en cualquier R , todo conjunto cerrado y acotado es compacto.

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro

2.1 La delta de Dirac 3

2.1.1 Sucesiones de funciones que tienden a la delta de Dirac

Consideremos la sucesin de funciones { }+

=
denida por




si ||
() =


0 si || .

La grca de las primeras funciones de la sucesin puede verse en la Figura 1.

= ()

= ()

= ()

= ()

- - - -

Figura 1: Grca de las cuatro primeras funciones de la sucesin { ()}+

=
.

La sucesin { ()}+
=
satisface:

Para cualquier N se cumple

+
() d = d = 1 y, por lo tanto,
2

+
lim () d = 1.

Tomando una funcin arbitraria () en el espacio (R) de las funciones continuas

R, encontramos que
+
en todo ()() d = () d. Para probar, ms
2

+
an, que lim ()() d = (0), note que por ser continua en 0 entonces
+

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro

2.1 La delta de Dirac 4

se cumple que lim () = (0), por lo que, para cualquier > 0, existe > 0 tal que

|| < |() (0)| < .

Recuerde que || < equivale a < < y que |() (0)| < equivale a
(0) < () < (0) + .

Note adems que como lim = 0 entonces para cada > 0 existe N tal que
1

1
> | | < .

En particular, tomando = , tenemos que si

con > entonces

||
< y entonces se cumple (como vimos arriba) que (0) < () < (0) + .
Esto hace que para > sea cierto que

 
1 1


1 1
 (0) + < () d <  (0) + +

2  2 
 2



lo que equivale a () d (0) < . Concluimos entonces, dado que > 0 es
2

arbitrario, que
+
lim ()() d = (0).
+

Denicin 2.4. Sea un intervalo abierto (posiblemente no-acotado) en R que contenga en

+
su interior al punto = . Se dice que una sucesin de funciones denidas en
=
converge a la delta de Dirac ( ) si para cualquier () se cumple
+
lim ()() d = ()
.


=
= lim
+

Abusando de la notacin, en tal caso escribiremos lim () = ( ).

Evidentemente, la sucesin { }+
=
denida anteriormente converge a la delta de Dirac
().
Existen otras sucesiones que tambin convergen a la delta de Dirac, algunas de ellas se
pueden obtener aplicando el siguiente:

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro

2.1 La delta de Dirac 5

Teorema 2.5. Sea R R una funcin suave a trozos y absolutamente integrable que cumple
() d = 1. Si es una funcin denida en R, continua y acotada entonces
+

+
lim ()() d = (0).

Prueba. Primero que nada, para cualquier > 0 el cambio de variables = nos arroja
+ +
()() d = () d.

Para aplicar ahora el Teorema de la convergencia dominada, necesitamos encontrar una

funcin L (R) tal que |() | (). Por hiptesis, existe una constante > 0 tal
que () < para cualquier R. Luego, indistintamente del valor de y de (con > 0),
se cumple |() | |()| y la funcin ha sido hallada (dado que es absolutamente
integrable). As, por el Teorema 1.28 tenemos que
+ + +
lim ()() d = lim () d = lim () d.
+ + +

Note que por ser continua en todo R entonces para cualquier R se cumple

lim () = () lim = () (0). Luego,
+ +
+ +
lim ()() d = () (0) d = (0).
+

1
Ejercicio 2.6. Muestre que la sucesin { }+ , () = converge a la delta ().
= 1 +
Sugerencia: Considere () =
(+ )

Ejercicio 2.7. Muestre que las funciones

() =

1 sen ()
() =

convergen a ().

Podemos construir otras sucesiones que convergen a la delta de Dirac, variando ligera-
mente el teorema anterior (como se ilustra a continuacin).

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro

2.1 La delta de Dirac 6

sen
Ejemplo 2.8. a) De acuerdo al Ejemplo 1.13, la integral d es convergente. A par-

+ sen
tir de ste hecho, es muy fcil probar que la integral d tambin es conver-

+ sen
gente (y, por lo tanto, d tambin lo es):



sen

si 0
Considere la funcin () =
Sabemos que es una funcin continua (en

1 si = 0.
R
todo ) y, por lo tanto, es integrable en cualquier intervalo (compacto) [, ]. Luego,
la integral impropia de existe y viene dada por
+ +
() d = () d + () d.

sen
Y como () coincide con la funcin
para cualquier valor de salvo en = 0,
+
entonces la integral impropia sen d es convergente y coincide con el valor de la

+
integral impropia () d.

b) Usando el clculo de residuos (matemticas VI), se puede mostrar, ms an, que

+ sen
P d = .
2

En consecuencia, la funcin
1 sen
() =

+
es una funcin suave a trozos (y par) que cumple () d = 1. Note, sin embargo,

que no podemos aplicar directamente el teorema anterior puesto que () no es absolu-
tamente integrable (vea el Ejemplo 1.21). No obstante, podemos probar que
+
lim ()() d = (0)

si es cualquier funcin real continua y acotada (en todo R). En efecto, como vimos
antes, para cada N se cumple
+ +
()() d = () d.

De hecho, podemos decir ms: Recordando que todo funcin continua denida en un intervalo cerrado y
acotado (es decir, compacto) alcanza su mximo y su mnimo entonces podemos escribir que () es menor o
igual que cierta constante positiva (el valor mximo), siempre que [, ]. Luego, debido a las propiedades

de la integral, () d ( ).

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro

2.2 Derivadas generalizadas de funciones suaves y de funciones suaves a trozos 7

Esta integral converge uniformemente (en ), as que

+ + +
lim ()() d = lim () d = lim () d
+ + +
+ +
= ()(0) d = (0) () d = (0),

como queramos demostrar.

2.2 Derivadas generalizadas de funciones suaves y de funciones

suaves a trozos
En sta seccin mostraremos primero cmo la frmula de integracin por partes per-
mite probar cierta propiedad que cumple la derivada de cualquier funcin suave, al ser
considerada sta como una funcin generalizada (ver la Observacin 2.3). Veremos que sta
propiedad nos permite denir la derivada generalizada (o derivada en sentido generalizado)
de funciones suaves a trozos (y no solo de las funciones diferenciables). Con sta nocin,
podremos calcular la derivada (en sentido generalizado) en los puntos de discontinuidad de
la funcin, lo que no se puede hacer en el sentido clsico (recuerde que la diferenciabilidad
implica la continuidad).
Consideremos, entonces, una funcin que es suave en todo R. Su derivada, en con-
secuencia, es tambin una funcin suave (y por lo tanto diferenciable) en todo R.
De acuerdo con lo explicado en la Observacin 2.3, podemos pensar a tambin como
una funcin generalizada, denida su accin sobre cualquier funcin (R) como
+
= ()() d.

Por otra parte, para cualquier (R) se cumple, gracias a la frmula de integracin
Usando el teorema del valor medio para integrales se puede probar que las integrales cumplen el criterio
de Cauchy para convergencia uniforme.
En realidad no hace falta pedir que sea suave. Basta, por ejemplo, con que sea de clase .

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro

2.2 Derivadas generalizadas de funciones suaves y de funciones suaves a trozos 8

por partes, lo siguiente

+
()() d = lim ()() d + lim ()() d
+ +


= lim ()()| () () d +
+



+ lim ()()| () () d
+

 :0

= lim   ()()
(0)(0)   () () d +
+ 

:0
 
+ lim   
()()  () () d
(0)(0)
+
+
= () () d,

donde hemos usado que lim ()() = 0 = lim ()() (debido a que tiene
+ +
soporte compacto y a la continuidad tanto de como de ).
De sta manera, la funcin , pensada como funcin generalizada, queda determinada
por la ecuacin
= .

Para el caso de funciones suaves a trozos, a diferencia de lo que acabamos de probar para
las funciones suaves, la derivada generalizada no corresponde exactamente con la derivada
(en sentido clsico) sino que se dene como la funcin generalizada que satisface la ecuacin
anterior. La existencia de una tal funcin generalizada (es decir, la existencia de la derivada
generalizada de cualquier funcin suave a trozos) viene dada por el siguiente teorema (por
simplicidad de la argumentacin consideraremos primero el caso en que tiene un solo
punto de discontinuidad).

Teorema 2.9. Sea R C una funcin suave a trozos con un solo punto de discontinuidad.
Entonces existe una funcin generalizada tal que para cualquier (R) se cumple

= . (2)

A sta funcin generalizada la llamaremos la derivada generalizada de la funcin y la

denotaremos gen
.

Ms an, la derivada generalizada de viene dada por

() = () + S() ( ),
gen (3)

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro

2.2 Derivadas generalizadas de funciones suaves y de funciones suaves a trozos 9

donde denota la derivada clsica (ordinaria) de (que sabemos est denida en R {}) y
S() denota el salto de en el punto :

S() = (+ ) ( ) = lim+ () lim ().

Prueba. Siendo una funcin suave a trozos entonces, como vimos en la Observacin 2.3,
ella puede ser considerada como la funcin generalizada cuya accin sobre cualquier fun-
cin de prueba (R) es
+
= () () d.

Ahora, por la frmula de integracin por partes tenemos

+
() () d = lim () () d + lim () () d
+ +
+
+ +



= lim ()()| ()() d +

+

+



+ lim ()()| ()() d
+ +
+ +

: 0
= lim ( )( )  
()()
 ()() d +
+

+

:0
+ lim  
()() ( + )( + ) ()() d .
+ +
+

Note que como tiene soporte compacto (y es suave, excepto en = ) entonces se

cumple +
lim ()() = 0 y lim ()() = 0. Adems, la continuidad de implica
+
+ +
que lim ( ) = () y lim ( + ) = (). Luego,

+ +
() () d = ( )() + (+ )() + ()() d

+
= (+ ) ( ) () + ()() d

+
= (+ ) ( ) ( )() + ()() d

= S() + ,

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro

2.2 Derivadas generalizadas de funciones suaves y de funciones suaves a trozos 10

de donde concluimos que la funcin (generalizada) () = () + S() ( ) satisface (2)

y, por lo tanto,
() = () + S() ( ).
gen

La derivada generalizada de una funcin suave a trozos general se dene de la misma ma-
) que satisface la ecuacin (2). Para ste
nera: como la funcin generalizada (denotada gen
tipo de funciones tenemos

Teorema 2.10. Sea R C una funcin suave a trozos con puntos de discontinuidad
< < < . Entonces

() = () + S( ) ( ).
gen
=

Prueba. La demostracin es anloga a la hecha para el caso de funciones suave a trozos con
un solo punto de discontinuidad (Teorema 2.9).

Estas propiedades las podemos usar para evaluar ciertas integrales. Por ejemplo,
+
Ejemplo 2.11. Calcule () cos() d, donde es la funcin denida por





0 si < 1





+ 1 si 1 < 0
() =


1 si 0 < 2





0 si 2 .

Con el inters de aplicar los resultados anteriores, calcularemos algunas derivadas ge-
neralizadas de la funcin . De hecho, debido a que la derivada segunda de cos() arroja
la misma (salvo una constante) funcin y a que, como veremos, ser muy fcil calcular la
accin de la derivada segunda generalizada de sobre cualquier funcin de prueba, bastar
con calcular gen
.

se reduce a aplicar el Teorema 2.10. De acuerdo con ste teorema, dado

El clculo de gen

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro

2.2 Derivadas generalizadas de funciones suaves y de funciones suaves a trozos 11

que continua es continua (la grca de se puede apreciar en Figura 2a) entonces



0
si < 1






1 si 1 < < 0
gen () = () =


si 0 < < 2





0 si 2 < .

= ()



= ()

(a) La funcin () (b) La funcin ()

Figura 2: Grca de la funcin (y su derivada) del Ejemplo 2.11.

Note que gen

es una funcin suave a trozos que es discontinua en los puntos = 1,

= 0 y = 2 y que sus saltos, en stos puntos, son S ( ) = 1, S ( ) = y S ( ) =

(puede ver la grca de en Figura 2b). Luego, aplicando nuevamente el teorema anterior,
obtenemos

() = () + S ( ) ( ) = ( + 1)
3 1
gen () + ( 2)
=
2 2

y, en consecuencia,
3 1
= (1) (0) + (2).
gen (4)
2 2
Por otra parte, debido a la denicin de derivada generalizada se cumple
= = .
gen gen (5)

De las ecuaciones anteriores ((4) y (5)) se deduce

3 1

= (1) (0) + (2)
2 2
+
= () () d

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro

2.2 Derivadas generalizadas de funciones suaves y de funciones suaves a trozos 12

para cualquier (R). En particular, para () = cos() (funcin que cumple () =

sin() y () = cos() = ()) se tiene
+ 3 1
() cos() d = cos() cos(0) + cos(2),
2 2

de donde concluimos
+ 1 3 1
() cos() d = cos cos(2) .
2 2

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro