Clase 2: Distribuciones y Derivadas Generalizadas.

Peter Hummelgens
9 de enero de 2007

1.

Distribuciones.
Nuestro espacio vectorial basico sera D(R) = C0 (R), el espacio de las funciones de

prueba. Una distribucion en R es por definicion un funcional lineal T : D(R) C

(Observacion: mas precisamente se requiere que se defina en D(R) una nocion de
convergencia de succesiones y que T sea continua con respecto a esta convergencia; sin
embargo esta condicion de continuidad se cumple en la practica, y como este no es un
curso para matematicos obviamos la condicion de continuidad.)
En la clase 1 vimos dos ejemplos fundamentales de distribuciones:
ha , i = (a), D(R) (a R)

(1)

y (simplificando la notacion escribiendo f en lugar de Tf )

hf, i =

f (x)(x)dx, D(R) (f L1loc (R)).

(2)

Distribuciones de la forma (2), es decir producidas por una funcion localmente integrable,
las llamamos distribuciones regulares. Una distribucion no regular se llama distribucion
singular. Las distribuciones a son distribuciones singulares (existen otros tipos de
distribuciones singulares que estan fuera del alcance de este curso).
Sea D0 (R) el conjunto de las distribuciones en R. Vamos a convertir D 0 (R) en un espacio
vectorial introduciendo la suma S + T de dos distribuciones S, T D 0 (R) y la multiplicacion
T por un n
umero complejo C. Definimos
hS + T, i := hS, i + hT, i, D(R)
hT, i := hT, i, D(R).
1

(3)

Es claro que S + T, T : D(R) C. Verifiquemos que S + T D 0 (R), es decir que

S + T : D(R) C es un funcional lineal. Tenemos para , D(R),
(3)

hS + T, + i = hS, + i + hT, + i
= hS, i + hS, i + hT, i + hT, i
(3)

= hS + T, i + hS + T, i,
(3)

hS + T, i = hS, i + hT, i
= hS, i + hT, i
= [hS, i + hT, i]
(3)

= hS + T, i,

y as verificamos que S + T D 0 (R). Dejamos al lector verificar que T D 0 (R). Ahora

D0 (R) es un espacio vectorial y podemos aplicar las reglas algebraicas usuales de un espacio
vectorial.
Podemos tambien definir la multiplicacion T de una T D 0 (R) con una funcion
C (R) (no necesariamente de soporte compacto.) Definimos
hT, i := hT, i, D(R).

(4)

El corchete hT, i esta bien definido ya que D(R), C (R) = D(R)

(verifique!). Es claro que T : D(R) C. Ademas para , D(R), C
(4)

hT, + i = hT, ( + )i
= hT, + i
= hT, i + hT, i
(4)

= hT, i + hT, i,

(4)

(4)

hT, i = hT, i = hT, i = hT, i,

= T : D(R) C es funcional lineal, es decir, T D 0 (R). Ejemplos concretos

presentaremos mas adelante.

2.

Derivadas generalizadas (o distribucionales).

Sea f C 1 (R) una funcion dada. Como f 0 C(R) L1loc (R), f 0 define la distribucion

regular

Z
hf , i =
f 0 (x)(x)dx, D(R).
0

(5)

Aplicando integracion por partes en la integral tenemos

0

hf , i =

[f (x)(x)]

f (x)0 (x)dx,

pero [f (x)(x)]
= 0 porque es de soporte compacto (por lo tanto f (x)(x) = 0 fuera
de alg
un compacto), de modo que
hf 0 , i = hf, 0 i, D(R) (f C 1 (R))
(es permitido escribir

(6)

f (x)0 (x)dx) como corchete hf, 0 i porque f L1loc (R) y 0 D(R)

cuando D(R)). La observacion clave ahora es:

el miembro derecho hf, 0 i de (6) esta bien definido para cualquier f L1loc (R),
diferenciable o no.
Es ahora natural la definicion siguiente. Para f L1loc (R) definimos su derivada
0
generalizada como la distribucion fgen
: D(R) C dada por
0
hfgen
, i := hf, 0 i, D(R).

(7)

0
Veamos que fgen
es una distribucion. Para , D(R), C tenemos
(7)

0
hfgen
, + i = hf, 0 + 0 i

= hf, 0 i hf, 0 i
(7)

0
0
= hfgen
, i + hfgen
, i,

(7)

(7)

0
0
hfgen
, i = hf, 0 i = hf, 0 i = hfgen
, i,
0
0
de modo que fgen
: D(R) C es un funcional lineal, es decir fgen
D0 (R).
0
es una distribucion y no una funcion. Sin embargo, cuando f C 1 (R)
Destacamos: fgen

entonces f tambien posee su derivada clasica fcl0 (x) = f 0 (x) (la cual es una funcion continua),
3

0
y seg
un (6), (7) tenemos entonces f 0 = fgen
como distribuciones. Esta afirmacion confirma

que el concepto de la derivada generalizada (DG) es una generalizacion apropiada de la

derivada clasica (de Newton y Leibniz): cuando ambos existen, entonces coinciden (como
distribuciones).
Ejemplo 1. Sea la funcion de Heaviside ha con grafica
h (x)
a

Es claro que ha L1loc (R), por lo tanto ha define la distribucion regular

hha , i =

ha (x)(x)dx =

(x)dx, D(R).

(8)

La derivada clasica (ha )0cl (x) existe c.s. en R (excepto en x = a) y (ha )0cl (x) = 0 c.s. en
R, es decir (ha )0cl = 0. Pero veamos ahora (ha )0gen . Tenemos para D(R),
h(ha )0gen , i

(7)

(8)

= hha , i =

0 (x)dx

= [() (a)] = (a) = ha , i

(() = 0 porque sop() es compacto). Vemos entonces que
(ha )0gen = a .

(9)

Tenemos aqu el primer ejemplo donde la DG de una distribucion regular es una distribucion
singular.
Podemos generalizar (7) para definir la derivada distribucional T 0 de una T D 0 (R)
arbitraria por
hT 0 , i := hT, 0 i, D(R).
4

(10)

Es un ejercicio facil verificar que T 0 D0 (R). Podemos entonces proceder a la segunda

derivada distribucional:
(10)

(10)

hT 00 , i = h(T 0 )0 , i = hT 0 , 0 i = hT, 00 i, , etc,

y mas general
hT (n) , i = (1)n hT, (n) i; D(R) n = 0, 1, 2, .

(11)

Por ejemplo, para f L1loc (R),

(11)
(n)
hfgen
, i =

(1) hf,

(n)

i = (1)

f (x)(n) (x)dx, D(R),

(12)

(11)

ha(n) , i = (1)n ha , (n) i = (1)n (n) (a), D(R).

(13)

Seg
un (11) cualquier T D 0 (R) tiene derivadas distribucionales (DD) de cualquier orden.

3.

Observaciones.
Es frecuentemente natural indicar explcitamente la variable x en la escritura de

distribuciones, por ejemplo a (x), a0 (x), T (x) (con T D 0 (R)), etc. Por ejemplo el
producto de la funcion x C (R) con a se escribe mejor como xa (x) en lugar de xa ,
etc. Sin embargo la notacion a (x) sugiere que a es una funcion y sabemos que no es as, es
decir hay que interpretar la notacion de la manera correcta.
Una funcion f L1loc (R) tiene 2 aspectos. De una parte es una funcion y de otra parte
define una distribucion regular Tf (en la notacion de la Clase 1). Hemos dicho en la Clase
1 que identificamos (consideramos como la misma funcion) dos funciones f, g L1loc (R) tal
que f (x) = g(x) c.s. en R, y en este caso escribimos f = g. Seg
un el Lema de Du Bois Reymond (Clase 1) tenemos,
Tf = Tg f = g (es decir f (x) = g(x) c.s. en R).
Esto significa que tenemos una correspondencia 1 1 (una biyeccion) entre las funciones
localmente integrables y las distribuciones regulares, y con esta correspondencia podemos
considerar L1loc (R) como un subespacio lineal de D 0 (R), escribiendo
L1loc (R) D 0 (R).
5

En lo que sigue, cuando decimos que una distribucion T D 0 (R) es una funcion,
entendemos que esto quiere decir que T = Tf para alg
un f L1loc (R).
Existe una regla del producto (regla de Leibniz):
(T )0 = 0 T + T ; T D 0 (R), C (R).

(14)

Tenemos
h(T )0 , i

(10)

(4)

hT, 0 i = hT, 0 i

hT, ()0 0 i = hT, 0 i hT, ()0 i = h0 T, i hT, ()0 i

(10)

(3)

(4)

(4)

h0 T, i + hT 0 , i = h0 T, i + hT 0 , i
h0 T + T 0 , i,

para todo D(R), lo que demuestra (14).

4.

Ejemplos finales de esta clase.

(a) x(x) =?. Tenemos para D(R),

(4)

(1)

hx(x), (x)i = h(x), x(x)i = 0(0) = 0 = h0, (x)i,

para todo D(R).
= x(x) = 0.

(15)

Sorpresa sorpresa!. Ademas

(4)

(10)

hx 0 (x), (x)i = h 0 (x), x(x)i = h(x), (x(x))0 i

(1)

= h(x), (x) + x0 (x)i = h(x), (x)i 00 (0)

(3)

= h(x), (x)i = h(x), (x)i, para todo D(R),

= x 0 (x) = (x).
Caracoles!. Dejamos como ejercicio y disfrute del lector demostrar las reglas
x (k) (x) = k (k1) (x); k = 1, 2, 3 ,
utilizando (14), (15) e induccion k k + 1.
6

(16)

(b)
heax b0 (x), (x)i

(4)

hb0 (x), eax (x)i = hb (x), (eax (x))0 i

(10)

hb (x), aeax (x) + eax 0 (x)i = aeab (b) eab 0 (b)

(1)

(13)

(3)

haeab b , i + heab b0 , i = haeab b + eab b0 , i,

para todo D(R),

= eax b0 (x) = eab [ab (x) + b0 (x)].