Tema 3.

Introduccion a la Teora de
Distribuciones

En este tema trataremos de hacer una rapida introduccion a la teora de distribuciones.

Comenzaremos el tema recordando los espacios de Lebesgue y algunas propiedades de estos.
Pasaremos a continuacion al estudio del espacio de funciones tests, D(). Terminamos el tema
introduciendo el concepto de distribucion sobre y estudiando los conceptos basicos asociados
a este nuevo concepto.
A partir de ahora y, a menos que se especifique otra cosa, denotara un abierto no vaco
de IRN , con N 1. Dado x IRN , usaremos la notacion |x| para designar la norma eucldea
de x; usaremos tambien la notacion || para representar la medida de Lebesgue del medible
(abierto) .

3.1. Espacios de Lebesgue

Comenzamos el tema haciendo un breve recordatorio de los espacios de Lebesgue y de
algunas de las propiedades que seran utilizadas mas adelante.
Sea un abierto no vaco de IRN . Recordemos que f : IRN IRN es una funcion medible
si el conjunto
{x IRN : f (x) < a}
es medible (respecto de la medida de Lebesgue en IRN ) para cualquier valor a de IR. Como
es habitual, identificaremos funciones que son iguales salvo un conjunto de medida (Lebesgue)
nula (iguales casi por doquier). Para la integral de Lebesgue usaremos la notacion
Z Z
f= f (x) dx.

Definicion 3.1. Para p [1, ), Lp () (abreviatura de Lp (, ), cuando es la medida de

Lebesgue en IRN ) es el espacio de (clases de) funciones u, medibles en y que son p-integrables
en , es decir, Z
|u|p < .


En el caso p = , se tiene que L () es el espacio de (clases de) funciones u, medibles en
que estan esencialmente acotadas en , es decir, tales que existe M > 0 y N con medida
nula verificando |u(x)| M para cada x \ N.

1
2 3.1. Espacios de Lebesgue

Los espacios vectoriales anteriores son normados para las normas:

Z 1/p
p
||u||p; = ||u||Lp () = |u| para p [1, ),

||u||; = ||u||L () = sup es |u| = nf {M > 0 : |u(x)| M p.c.t. x } para p = .

p
Es conocido que (L (), || ||p; ) es un espacio de Banach para cualquier valor de p [1, ].
En el caso particular de p = 2, es decir, (L2 (), || ||2; ) es un espacio de Hilbert.
Recordaremos algunas desigualdades que seran de gran utilidad a lo largo del curso
Desigualdad de Young: Si p [1, ], denotaremos p0 al exponente conjugado de p, es decir,
p0 [1, ] y
1 1
+ 0 = 1 (si p = 1, p0 = y si p = , p0 = 1).
p p

Sean p (1, ) y p0 (1, ) su exponente conjugado, entonces

1 1 0
ab ap + 0 bp a, b [0, ).
p p

Desigualdad de Holder: Sean p [1, ] y p0 [1, ] su exponente conjugado, entonces

Z
0
|uv| ||u||p; ||v||p0 ; u Lp (), v Lp ().

Para p y p0 en (1, ) la desigualdad de Holder se escribe:

Z Z 1/p Z 1/p0
p p0 0
|uv| |u| |v| u Lp (), v Lp ().

Desigualdad de Holder generalizada: Sean ui Lpi () con pi [1, ] para 1 i m

verificando m
1 X 1
= 1.
p p
i=1 i
m
Y
Entonces, u = ui Lp () y
i=1

m
Y
||u||p; ||ui ||pi ; .
i=1

Desigualdad de interpolacion: Sea u Lp () Lq () con p, q [1, ] y p q. Entonces,

u Lr () para cualquier r [p, q] y se verifica
1 1
||u||r; ||u||p; ||u||1
q; con [0, 1] tal que = + .
r p q

Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla
 3

Ejercicio 1. 1. A partir de la desigualdad de Young, prueba la desigualdad de Holder,

Holder generalizada y la desigualdad de interpolacion.
2. Sea p (1, ) y p0 su exponente conjugado. Demuestra que para todo > 0, existe
C > 0, con C cuando 0, tal que
0
ab ap + C bp a, b [0, ).

Tambien se tiene
Teorema 3.2. 1. Lp () es un espacio de Banach, p [1, ]. Para p = 2 se tiene que
L2 () es un espacio de Hilbert para el producto
Z
(u, v)0; = u(x)v(x) dx, u, v L2 ().

2. Lp () es separable si p [1, ). De hecho, D() es denso en Lp () para p [1, ). Por

otro lado, L () no es separable.
0
3. Teorema de representacion. Sea p [1, ) y L [Lp ()]0 . Entonces, existe v Lp ()
tal que Z
L(u) = u(x)v(x) dx, u Lp ().

Ademas, ||v||p0 ; = ||L||[Lp ()]0 . De este modo, podemos identificar el espacio dual de Lp ()
0
con Lp ().
4. Lp () es un espacio reflexivo si p (1, ). Ni L1 () ni L () son espacios reflexivos.
Definicion 3.3. Denotamos por Lploc () el espacio vectorial de las funciones reales medibles y
localmente p-integrables en , es decir,
u : IRN IR medible tal que u Lp (0 ), 0 .

0
Observacion 3.4. Cuando escribimos 0 queremos decir que es un compacto con-
tenido en . Por otro lado, Lploc () no es un espacio normado (es lo que se llama un espacio
de Frechet) aunque podemos definir una nocion de convergencia para sucesiones en Lploc ():
Dada {un }n1 Lploc () y u Lploc (), diremos que un converge hacia u en Lploc () (un u
en Lploc ()) si un u en Lp (0 ) para cada 0 .
Ejercicio 2. Sea un abierto de IRN . Prueba:
1. Si || < y p, q [1, ] con p q, se tiene que Lq () Lp () y
||u||p; ||1/p1/q ||u||q;
(escribiremos Lq () , Lp () y diremos que Lq () se inyecta de forma continua en
Lp ()).
2. Para cualquiera, si p [1, ], entonces Lp () Lploc () L1loc (). Ademas, si
{un }n1 Lp () es tal que un u en Lp () con u Lp (), entonces un u en
L1loc () (de nuevo, Lp () , L1loc ()).

Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla
4 3.2. Funciones tests. Convolucion y regularizacion

3.2. Funciones tests. Convolucion y regularizacion

Comenzamos el tema recordando algunas notaciones y conceptos vistos con anterioridad. A
lo largo del curso trabajaremos con funciones

u : IRN IR.

Utilizaremos la notacion de Schwartz de multindices: = (1 , 2 , ..., N ) INN se llama

multindice de dimension N y
XN
|| = i
i=1
N
es la longitud de . Si , IN son dos multindices, denotamos:

! = 1 !2 ! N !,

si i i , i : 1 i N .
 
!
, = .
!( )!
Si x IRN y INN , x = x1 1 x2 2 xNN .

Si u : IRN IR es una funcion regular, denotamos

N || u

D u(x) = D11 D22 DN u(x) = (x); Di = /xi
x1 1 x2 2 xNN

Recordamos que C 0 () es el espacio vectorial de las funciones reales definidas en el abierto

que son continuas en . Si k 1,

C k () = { C 0 () : D C 0 (), INN , con || k}.

y \
C () = C k ().
k1

Los espacios anteriores son espacios vectoriales para la suma de funciones y producto por
escalares.

Definicion 3.5. Supongamos dada u : IRN IR. El conjunto

sop u = {x : u(x) 6= 0}

es el llamado conjunto soporte de u.

Observacion 3.6. De la propia definicion es facil deducir que el conjunto sop u es un cerrado
contenido en . Ademas, si x 6 sop u, entonces, u(x) = 0.

Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla
 5

Siguiendo con las definiciones,

C00 () = Cc0 () = {u C 0 () : sop u es un compacto contenido en },

C0k () = Cck () = C k () C00 (),

C0 () = D() = C () C00 ().
Es inmediato comprobar que los conjuntos anteriores son subespacios vectoriales de C 0 ().
A D(), el espacio de funciones infinitamente derivables en y de soporte compacto contenido
en , se le denomina tambien espacio de funciones tests, por constituir el espacio base sobre el
que se va a construir el espacio de distribuciones en . Al contrario de lo que cabra pensar, el
espacio D() es un espacio rico en funciones:
Ejemplo 1. Consideramos la funcion real de variable real
(
0 si t 0
(t) =
e1/t si t < 0,

que, evidentemente, es una funcion infinitamente derivable en IR. As, para k > 0 dado, cons-
truimos la funcion
(x) = k |x|2 1

que es una funcion de D(IRN ) que ademas verifica que sop = B(0, 1), (x) > 0 en B(0, 1) y,
eligiendo k de forma conveniente, tambien
Z
(x) dx = 1.
IRN

Si queremos una funcion de D(IRN ) que tenga soporte en B(0, ), con > 0 dado, basta
hacer
1 x
(x) = N .

Esta funcion verifica que D(IRN ), sop = B(0, ), > 0 en B(0, ) y
Z
(x) dx = 1.
IRN

Mas adelante construiremos elementos especiales de D() utilizando estas funciones y el

llamado producto de convolucion.
Las funciones con > 0 construidas en el ejemplo 1 permiten dar sentido a la definicion
Definicion 3.7. Sea {n }n1 una sucesion de numeros positivos con n 0. Una sucesion de
funciones {n }n1 definidas de IRN en IR se dice que es una sucesion regularizante asociada a
la sucesion {n }n1 si:
1. n D(IRN ), para cada n 1.

2. n 0 en IRN .

Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla
6 3.2. Funciones tests. Convolucion y regularizacion

3. sop n = B(0, n ) n 1.
Z
4. n (x) dx = 1.
IRN

Para obtener una sucesion regularizante asociada a {n }n1 basta considerar las funciones
n n que proporciona el ejemplo 1.
Sea ahora u L1loc () y supongamos que u esta extendida por cero fuera de . Definamos:

Definicion 3.8. Para u L1loc () y > 0 definimos la funcion regularizada de u, u , mediante

 
xy
Z Z
N
(3.1) u (x) = ( u)(x) = (x y)u(y) dy = u(y) dy x IRN
IRN IRN

en los puntos x donde tengan sentido las integrales de la derecha.

No es difcil comprobar que si x y 0 < < dist (x, ), entonces las integrales prece-
dentes son finitas y, por ende, existe u (x). Tambien es facil ver, que en el caso de que exista
u (x), se tiene
Z
(3.2) u (x) = (z)u(x z) dz.
B(0,1)

Con esta definicion, se tiene:

Teorema 3.9. Sea un abierto de IRN y u : IRN IR. Se tiene,

1. Si u Lp () (p [1, ]), entonces, existe u (x) para cada x IRN , u C (IRN )

y sop u sop u + B(0, ). Si ademas sop u es un compacto contenido en , entonces
u D() cuando 0 < < dist (sop u, ).

2. Si u Lp () con p [1, ), entonces u Lp (),

||u ||p; ||u||p; y u u en Lp () cuando 0.

3. Si u C 0 (), 0 es un abierto tal que 0 y 0 < < dist (0 , ), entonces existe

u (x) para cada x 0 y

u u uniformemente en 0 cuando 0.

Demostracion.

1. De la expresion  
xy
Z
N
u (x) = u(y) dy
B(x,)
y del ejercicio 2 deducimos que la integral de la derecha es finita para cualquier valor de
x. La derivabilidad de u se deduce del teorema de derivabilidad respecto de parametros
([Kufner], pag. 62):

Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla
 7

Dx ((x y)/) INN , y IRN (x es el parametro),

|Dx ((x y)/)u(y)| C|| u(y) Lp ().

Obtenemos as que, para cualquier multindice y para cualquier x IRN ,
 
xy
Z
N
D u (x) = Dx u(y) dy x IRN .
IRN

Por ultimo, es facil comprobar que sop u sop u + B(0, ) puesto que, gracias a (3,2),
se tiene que x 6 sop u + B(0, ) si y solo si x z 6 sop u para cualquier z B(0, 1), lo
cual conduce a
{x IRN : u (x) 6= 0} sop u + B(0, ).

2. Para p = 1, se tiene Z
|u (x)| (x y)|u(y)| dy.
IRN
Si p (1, ) y si p0 es el exponente conjugado, aplicando la desigualdad de Holder a (3,1)
se obtiene
Z Z
0
|u (x)| (x y)|u(y)| dy = (x y)1/p (x y)1/p |u(y)| dy
IRN IRN
Z 1/p0 Z 1/p
p
(x y) dy (x y)|u(y)| dy
IRN IRN
Z 1/p
p
= (x y)|u(y)| dy .
IRN

Elevando a p, integrando esta desigualdad y aplicando el teorema de Fubini, llegamos a

Z Z Z 
p p
|u (x)| dx (x y)|u(y)| dy dx =
IRN IRN
Z Z 
= |u(y)| p
(x y) dx dy = ||u||pp; ,
IRN IRN

de donde tenemos la desigualdad ||u ||p; ||u||p; .

Veamos la segunda parte de este punto. Para p [1, ) sabemos que C00 () es denso en
Lp (). As, dado > 0, existe C00 () tal que ||u ||p; < /3. Por otro lado

||u ||p; = ||(u ) ||p; ||u ||p; < .
3
Finalmente,
Z 
 
| (x) (x)| =  (x y) ((y) (x)) dy 
Z IRN
(x y) |(y) (x)| dy sup |(y) (x)| .
B(x,) x,yIRN ,|xy|

Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla
8 3.2. Funciones tests. Convolucion y regularizacion

Al ser una funcion continua con soporte compacto en , tambien es uniformemente

continua en y para suficientemente pequeno, | (x) (x)| |K|1/p /3, donde K
es un compacto tal que sop K para pequeno y mediante |K| representamos la
medida Lebesgue del compacto K. Combinando las desigualdades anteriores, llegamos a
la prueba de este punto.
3. Este punto se puede demostrar utilizando las ideas desarrolladas anteriormente (se deja
como ejercicio la escritura correcta).

Como consecuencia de los resultados de regularizacion anteriores podemos construir mas

funciones en D(). En concreto, construiremos las llamadas funciones cortantes o truncantes:
Teorema 3.10. Sean K un compacto y un abierto tales que K . Sea = dist (K, ) > 0.
Entonces, existe D() tal que
0 (x) 1 x , (x) = 1 x K
y
1
, INN , x .
|D (x)| C(, N )
||
Demostracion. Como K es un compacto contenido en , se tiene que = dist (K, ) > 0.
Consideramos el conjunto
K1 = {x IRN : dist (x, K) /3}
que es un compacto de IRN y verifica K1 . Sea
(x) = (/3 1K1 )(x) = (1K1 )/3 , x IRN ,
donde, mediante 1K1 , estamos denotando la funcion caracterstica en el conjunto K1 , es decir,
la funcion que vale 1 en K1 y 0 en el resto. De las propiedades de la regularizacion vistas con
anterioridad deducimos:
C (IRN ) y sop sop 1K1 + B(0, /3) .
Como 0 1K1 (x) 1 en IRN , se tiene que 0 (x) 1 para todo x IRN .
Sea x K. De la definicion de K1 deducimos que x (/3)z K1 , para todo z B(0, 1).
Utilizando (3,2) obtenemos
Z Z
(x) = (z)1K1 (x (/3)z) dz = (z) dz = 1.
B(0,1) B(0,1)

Por ultimo, si INN , derivando respecto de x en la expresion (3,1) ( = /3),

    
xy xy
Z Z
N N ||
D (x) = Dx 1K1 (y) dy = D 1K1 (y) dy
I
R N IRN
Z
||
= D (z)1K1 (x z) dz.
IRN

Basta acotar en esta ultima igualdad para concluir la demostracion.

Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla
 9

Finalizamos esta seccion enunciando un importante resultado visto el curso pasado y que
resultara imprescindible en el punto siguiente. Se trata del denominado Lema Fundamental del
Calculo Variacional:

Proposicion 3.11. Sea u L1loc () tal que

Z
u(x)(x) dx = 0, D().

Entonces, u(x) = 0 para casi todo x .

3.3. El espacio de las distribuciones. Convergencia

Aunque el espacio D() no es un espacio normado, este puede ser dotado de una topologa,
la topologa lmite inductivo, que es compatible con la estructura de espacio vectorial del mismo.
Describiremos en que consiste la convergencia de sucesiones en esta topologa.

Definicion 3.12. Sean {n }n1 D() una sucesion y D(). Diremos que n converge
a en D() (y escribiremos n en D()) si existe un compacto K tal que

sop n K, n 1 y D n D uniformemente en , INN .

(Con D0 estamos denotando el operador identidad).

Es evidente que la anterior nocion de convergencia es compatible con la estructura de espacio

vectorial de D(), es decir, si {n }n1 y {n }n1 son dos sucesiones en D() convergentes en
D() a y y si , IR, entonces

n + n + en D().

Ademas con este concepto de convergencia podemos escribir D() , Lp () (D() se inyecta
de forma continua en Lp ()) lo cual significa que D() Lp () (inclusion de conjuntos) y que,
si {n }n1 D() y si D() son tales que n en D(), entonces, n en Lp ()
(inclusion de topologas).

Ejercicio 3. Demuestra las consideraciones anteriores.

Hemos dotado a D() de una cierta topologa que proviene de la nocion de convergencia
descrita en la definicion 3.12. Al dual topologico de D(), es decir, al espacio vectorial de las
formas lineales y continuas sobre D() se le denotara D0 () y lo denominaremos espacio de
distribuciones sobre . Daremos una definicion equivalente de D0 () que solo utiliza la nocion
de convergencia en D().

Definicion 3.13. Una distribucion sobre es cualquier aplicacion T : D() IR lineal y

secuencialmente continua, es decir, tal que si {n }n1 D() y D() verifican n
en D(), entonces, T (n ) T () en IR.

Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla
10 3.3. El espacio de las distribuciones. Convergencia

A partir de ahora, si T D0 () y D(), utilizaremos la notacion hT, i = T () IR.

El conjunto D0 () tiene estructura de espacio vectorial con las operaciones suma y producto
por escalares definidas:
Si T, S D0 (), entonces T + S D0 () es la distribucion dada por

hT + S, i = hT, i + hS, i D().

Si T D0 () y IR, entonces T D0 () es la distribucion dada por

hT, i = hT, i D().

Ejercicio 4. Comprueba que, as definidas, se tiene que T + S D0 () y T D0 ().

Ejemplo 2. La distribucion de Dirac: Fijemos x , con un abierto. Definimos x
mediante
x : D() 7 hx , i = (x) IR.
Es evidente que x D0 () pues es lineal y secuencialmente continua en D(). Ademas x no
es la distribucion nula, pues existe D() tal que hx , i = (x) = 1.
Sobre el espacio D0 () es posible definir una topologa dual (heredada de la topologa de
D()) para la que la convergencia de sucesiones se traduce en
Definicion 3.14. Dada una sucesion {Tn }n1 D0 (), diremos que Tn converge a un elemento
T D0 () si para cada D() se satisface

hTn , i hT, i en IR

y escribiremos Tn T en D0 ().
Ejemplo 3. Sea f L1loc () dada ( como siempre, un abierto de IRN ). A partir de f definimos
Z
Tf : D() 7 hTf , i = f IR.

Es facil comprobar que la cantidad hTf , i esta bien definida para toda funcion D() (es
decir, la aplicacion Tf esta bien definida). Ademas Tf es una distribucion sobre (ejercicio).
Mediante esta aplicacion vamos a poder identificar L1loc () con un subconjunto propio de
D0 (). En efecto, consideremos el operador lineal:

T : f L1loc () 7 T(f ) = Tf D0 (),

operador que esta bien definido pues, si f, g L1loc () y f = g (i.e., f (x) = g(x) p.c.t. x ),
entonces T(f ) = T(g). Ademas,

Es inyectivo (consecuencia de la proposicion 3.11).

Es secuencialmente continuo, es decir, si {fn }n1 , f L1loc () y fn f en L1loc (),

entonces Tfn Tf en D0 (). (Ejercicio: comprobar estos dos puntos).

Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla
 11

Mediante este operador T estamos identificando de forma biunvoca L1loc () con un subcon-
junto de D0 (), ademas, el que el operador T sea secuencialmente continuo hace que haya una
inclusion de las topologas. Escribiremos simplemente
L1loc () , D0 ().
Cabra plantearse si todos los elementos de D0 () provienen de una funcion f de L1loc ().
La respuesta es negativa (T no es sobreyectiva): sea x y consideremos x D0 (). Esta
distribucion no procede de una funcion f L1loc () pues, si fuera de este modo, existira
f L1loc () tal que
Z
hTf , i = f = hx , i = (x), D().

Tomando funciones tests D() tal que sop \ {x} deducimos

Z
f = 0, D( \ {x}),

de donde deducimos (proposicion 3.11) que f (x) = 0 p.c.t. x de \ {x}, es decir, f 0. Pero
esto es absurdo pues la distribucion x 6 0.
Tenemos de este modo demostrada la
Proposicion 3.15. Consideremos el operador T : f L1loc () 7 T(f ) = Tf D0 (), donde
Z
hTf , i = f , D().

Entonces, el operador T es lineal, inyectivo, no sobreyectivo y secuencialmente continuo.
Observacion 3.16. Al igual que con L1loc (), podemos escribir Lp () , D0 (), p [1, ].
Terminamos la seccion con un ejemplo de convergencia en D0 (IRN ).
Ejemplo 4. Sea {n }n1 una sucesion de reales positivos tales que n 0. Consideremos
n = n una sucesion regularizante asociada a {n }n1 . Veamos que se tiene, n 0 en
D0 (IRN ) (evidentemente, n D0 (IRN )):
Sea D(IRN ). Tenemos que probar que
Z
hn , i = n h0 , i = (0),
IRN
es decir Z
n (x)(x) dx (0) 0.
IRN
En efecto,
Z Z Z
n (x)(x) dx (0) = n (x) [(x) (0)] dx = n (x) [(x) (0)] dx,
IRN IRN B(0,n )

y esta ultima integral converge hacia 0 como consecuencia de la continuidad de en 0 y de

Z
n (x) dx = 1.
B(0,n )

Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla
12 3.4. Derivacion y multiplicacion de distribuciones

3.4. Derivacion y multiplicacion de distribuciones

En esta seccion vamos a estudiar algunas operaciones del Calculo aplicadas a las distribucio-
nes. Empezamos con el concepto de derivacion en D0 () (utilizamos la notacion de multidices
descrita mas arriba).
Para motivar la definicion que daremos mas abajo, consideramos en primer lugar una funcion
u C 0 () tal que existe Di u C 0 () (derivada clasica) para un cierto i con 1 i N .
Como u, Di u D0 () (comprobadlo), nos podemos plantear cual es la relacion entre ellas:
Z Z Z
hDi u, i = (Di u) = Di (u) uDi .

Trabajemos con la primera integral: se tiene que u C00 () y Di (u) C00 (). Denotando
ve la prolongacion por ceros fuera de de una funcion v y gracias a que u y Di (u) tienen
soporte compacto contenido en , se tiene

C00 (),
uf D^ 0 ^
i (u) C0 () y Di (u) = Di (f
u) .

As,
Z Z Z Z M 
Di (u) dx = Di (f
u) dx = Di (f
u) dxi dx1 . . . dxi1 dxi+1 . . . dxN = 0,
IRN IRN 1 M

u) = sop (u) [M, M ]N . En consecuencia se tiene:

donde M > 0 es tal que sop (f

Proposicion 3.17. Si u C 0 () es tal que existe Di u C 0 () para algun i con 1 i N ,

entonces
hDi u, i = hu, Di i, D().

Por induccion en el orden k de derivacion, tambien se obtiene el resultado siguiente

Proposicion 3.18. Si u C k (), con k 1, entonces

hD u, i = (1)|| hu, D i, D(),

con tal que || k.

Ejercicio 5. Demuestra esta ultima proposicion.

Con esta proposicion en la mente, introducimos la siguiente definicion:

Definicion 3.19. Dada T D0 () y INN un multindice, se define la derivada de T ,

D T , como el elemento de D0 () dado por

hD T, i = (1)|| hT, D i, D().

Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla
 13

Ejercicio 6. Comprueba que as definida, D T D0 (), para todo INN multindice.

Ademas, si T, S D0 () y , IR, se tiene D (T + S) = D T + D S.
Observacion 3.20. 1. Las proposiciones 3.17 y 3.18 nos dicen que el concepto de derivada
distribucional es congruente con el concepto clasico de derivada de funciones de C k ().

2. Es interesante remarcar que la derivada distribucional siempre existe, es decir, si T

D0 () entonces existe D T D0 () para cualquier orden de derivacion . As, una
funcion de L1loc () es siempre derivable y su derivada es una distribucion (que no tiene
porque ser una funcion).

3. Es facil comprobar que si T D0 () y , INN son dos multindices, entonces

D D T = D (D T ) = D+ T D0 ().

4. La derivacion de distribuciones es un operador lineal secuencialmente continuo en D0 (),

es decir, si INN es un multindice, entonces

D : T D0 () 7 D T D0 ()

es lineal y, si {Tn }n1 D0 () es una sucesion tal que Tn T en D0 () con T D0 (),

entonces,
D Tn D T en D0 ().
(Para funciones este resultado en general es falso, salvo que la convergencia de partida
sea muy buena).
Ejercicio 7. Demuestra cada uno de los puntos anteriores.
Ejemplo 5. Consideremos la llamada funcion de Heaviside en IR:

1 si x 0,
H(x) =
0 si x < 0.

Se trata de una funcion de L1loc (IR) y as, H D0 (IR). Veamos cual es la derivada de esta
funcion (que, evidentemente no es derivable en sentido clasico). Tenemos que H 0 D0 (IR) y,
dada D(IR), esta definida
Z Z Z M
0 0 0 0
hH , i = hH, i = H = = 0 = (0) = h0 , i
0 0

con M > 0 tal que sop [M, M ]. Deducimos que H 0 = 0 D0 (IR) pero H 0 6 L1loc (IR).
Ejemplo 6. Consideramos ahora 0 D0 (IR). Entonces

h00 , i = h0 , 0 i = 0 (0), D(IR).

Del mismo modo,

k)
h0 , i = (1)k k) (0), D(IR).

Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla
14 3.4. Derivacion y multiplicacion de distribuciones

Ejemplo 7. Consideramos u(x) = |x| que claramente verifica u L1loc (IR) D0 (IR). Es facil
comprobar que su derivada distribucional es u0 (x) = sign (x) y, por tanto, u0 L1loc (IR). (De
nuevo, la funcion u no es derivable en el sentido clasico).

Pasemos a describir otra de las operaciones que podemos definir en el espacio de las distri-
buciones: el producto. En general es imposible definir el producto de dos distribuciones sobre
de tal manera que esta nueva definicion sea compatible con el producto usual de funciones.
Mostraremos el caso del producto por funciones de clase C .

Definicion 3.21. Sean u C () y T D0 (). Se define el producto de u por T , denotado

uT , como el elemento de D0 () definido por la igualdad

huT, i = hT, ui, D().

Ejercicio 8. Comprueba que la igualdad anterior esta bien definida y proporciona un elemento
de D0 ().

Ejercicio 9. Dado k con 1 k N , comprueba la igualdad

Dk (uT ) = (Dk u)T + uDk T, u C (), T D0 ().

Como generalizacion del ejercicio, se puede probar:

Teorema 3.22. Formula de Leibniz. Sean IRN un abierto, C () y T D0 ().

Entonces, si es un multindice,
X !
D (T ) = D D T.

!( )!

Tambien el producto es un operador secuencialmente continuo: Si {Tn }n1 D0 (), T

D0 () y C () son tales que Tn T en D0 (), entonces, Tn T en D0 (). Por ultimo,
el concepto de producto de una funcion por una distribucion generaliza el concepto clasico de
producto de funciones, es decir, si C () y f L1loc (), entonces uTf = Tuf . (Ejercicio:
Probar ambas afirmaciones).

Manuel Gonzalez Burgos, Dpto. de Ecuaciones Diferenciales y Analisis Numerico, Universidad de Sevilla