Documente Academic
Documente Profesional
Documente Cultură
Introducci
on a la Teora de
Distribuciones
1
2 3.1. Espacios de Lebesgue
m
Y
||u||p; ||ui ||pi ; .
i=1
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla
3
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 ().
0
Observaci on 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 Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla
4 3.2. Funciones tests. Convoluci
on y regularizaci
on
u : IRN IR.
! = 1 !2 ! N !,
si i i , i : 1 i N .
!
, = .
!( )!
Si x IRN y INN , x = x1 1 x2 2 xNN .
N || u
D u(x) = D11 D22 DN u(x) = (x); Di = /xi
x1 1 x2 2 xNN
y \
C () = C k ().
k1
Los espacios anteriores son espacios vectoriales para la suma de funciones y producto por
escalares.
sop u = {x : u(x) 6= 0}
Observaci on 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 Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla
5
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
2. n 0 en IRN .
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla
6 3.2. Funciones tests. Convoluci
on y regularizaci
on
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:
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)
u u uniformemente en 0 cuando 0.
Demostraci
on.
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 Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla
7
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
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla
8 3.2. Funciones tests. Convoluci
on y regularizaci
on
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis 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:
on 3.12. Sean {n }n1 D() una sucesion y D(). Diremos que n converge
Definici
a en D() (y escribiremos n en D()) si existe un compacto K tal que
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).
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().
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla
10 3.3. El espacio de las distribuciones. Convergencia
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:
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,
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis 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 = x), D().
f = hx , i = (
y esta u
ltima integral converge hacia 0 como consecuencia de la continuidad de en 0 y de
Z
n (x) dx = 1.
B(0,n )
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla
12 3.4. Derivaci
on y multiplicaci
on de distribuciones
3.4. Derivaci
on y multiplicaci
on 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 cl asica) 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
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla
13
D D T = D (D T ) = D+ T D0 ().
D : T D0 () 7 D T D0 ()
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
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla
14 3.4. Derivaci
on y multiplicaci
on 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 .
Ejercicio 8. Comprueba que la igualdad anterior esta bien definida y proporciona un elemento
de D0 ().
Manuel Gonz
alez Burgos, Dpto. de Ecuaciones Diferenciales y An
alisis Numerico, Universidad de Sevilla