Introducción a la Teorı́a de Distribuciones

Daniel Campos Salas

Resumen
Presentamos una breve introducción a la teorı́a de distribuciones y sus relaciones con la teorı́a
de ecuaciones en derivadas parciales, concretamente con la teorı́a de las soluciones débiles y fun-
damentales. Este trabajo fue expuesto en el Seminario de Jóvenes para Jóvenes “Invitación a la
Matemática Moderna” en diciembre de 2012 en El Salvador.

1. Introducción
En muchas situaciones es suficiente describir un objeto en términos cómo se comporta cuando es
integrado con respecto a otra función. El ejemplo clásico es el de una “función”que es igual a 0 lejos
de 0, toma el valor “infinito” en 0, pero que su integral es 1. Por lo tanto si φ es una función continua
se tiene que
Z ∞
φ(x)δ(x)dx = φ(0).
−∞

Incluso, no siempre es adecuada, como en el caso de una distribución lineal de masa que se puede
caracterizar por una densidad de distribución. En este caso, ninguna función (en el sentido ordinario)
puede especificar la densidad correspondiente a uno o más puntos con masa positiva [5].

En muchos casos aparecen operaciones matemáticas que no se pueden realizar. Por ejemplo, la derivada
de una función que no es derivable (en uno, o todos sus puntos) no puede ser interpretada como una
función ordinaria. Este tipo de dificultades se pueden arreglar restringiendo la clase de funciones
“admisibles”, por ejemplo a funciones analı́ticas. Sin embargo, estas condiciones son en muchos casos
indeseables o inadecuadas, en el sentido que son muy restrictivas. Afortunadamente, estas dificultades
se pueden evitar si la clase de funciones se agranda, introduciendo por ejemplo la noción de función
generalizada [5]. La motivación que sigue a continuación está tomada de [6].
Definición 1. Decimos que una función es ordinaria si está definida casi por doquier en R y es
Lebesgue-integrable en todo rectángulo acotado B = [a, b].
Sea f ordinaria y suponga que ϕ es una función acotada de soporte compacto. Entonces podemos
considerar el valor
Z ∞
hf, ϕi = f (x)ϕ(x)dx.
−∞

Si f fuera absolutamente continua podrı́amos considerar la expresión hf 0 , ϕi. Suponga que ϕ es abso-
lutamente continua y tiene derivada acotada ϕ0 . Entonces al integrar por partes se obtiene que

hf 0 , ϕi = −hf, ϕ0 i.
Ahora, si f 0 no existiera el lado derecho de la igualdad anterior tiene sentido para cualquier función
acotada de soporte compacto con derivada acotada. Por lo tanto, aunque no exista el valor de f 0
podemos decir que el valor de la integral de f 0 multiplicada por una función acotada de soporte
compacto está dada por la expresión anterior. Esta es la idea principal que nos permite extender el
concepto de función. Si lo único que conocemos acerca de una función son sus integrales decimos que
es una función generalizada. Esta discusión motiva las siguientes definiciones.

1
Antes de seguir con el desarrollo de la teorı́a, queremos mencionar que esta teorı́a fue introducida por
Sergei Sobolev y formalizada posteriormente por Laurent Schwartz. Esta teorı́a aporta las herramientas
necesarias para el estudio de las soluciones débiles y las soluciones fundamentales. Los teoremas respec-
tivos de Lax-Milgram y Malgrange-Ehrenpreis, importantes resultados de la teorı́a de distribuciones,
se mencionan al final del documento.

2. Funciones de Prueba y Distribuciones

Con las ideas anteriores definimos el espacio de funciones de prueba y el de distribuciones, ası́ como
las propiedades de la topologı́a que daremos a estos espacios.
Definición 2. El soporte de una función f se define como el complemento del mayor abierto donde
f se anula.
Definición 3. Sea Ω un abierto de Rd . El espacio C0∞ (Ω) consiste de todas las funciones en C ∞ (Ω)
con soporte compacto en Ω, y se le llama el espacio de funciones de prueba. También se denota por
D(Ω).
La propiedad de rigidez de las funciones analı́ticas implica que los elementos de D(Ω) requieren una
construcción distinta. El siguiente ejercicio demuestra la existencia de las funciones de prueba.
Ejercicio 4. a) Considere la función f definida por f (t) = e−1/t si t > 0 y f (t) = 0 si t ≤ 0.
Demostrar que esta es una función de clase C ∞ (R).
R∞
b) Sea 0 < r < R y defina g(t) = t f (s − r)f (R − s)ds. Demostrar que h(x) := g(|x|), para x ∈ Rd ,
está en D(Rd ). Note que h es una constante positiva en |x| ≤ r y es igual a 0 para |x| ≥ R.
Usualmente la topologı́a de D(Ω) se define mediante el concepto de lı́mite inductivo, y el hecho de que
Ω es la unión de una cantidad contable de compactos apropiados. Evitaremos precisar estos detalles y
nos limitaremos a citar las propiedades de esta topologı́a, que el lector puede tomar como definiciones.
Se puede consultar [3] para una motivación de la escogencia de esta topologı́a. Tal escogencia está hecha
principalmente de manera que D(Ω) sea secuencialmente completo [3].
Ejercicio 5. Sea Ω ⊆ Rd un abierto no vacı́o. Defina la sucesión de compactos (Kj )j∈N mediante

Kj = {x ∈ Ω : |x| ≤ j, B(x, 1/j) ⊆ Ω}.

◦
S ◦
Demostrar que esta sucesión es tal que Kj ⊆ Kj+1 y Kj = Ω. Además, todo compacto K ⊆ Ω
está contenido en Kj para algún j ∈ N.
Teorema 6. Sea Ω ⊆ Rd un abierto no vacı́o y (Kj ) una sucesión de compactos como en el ejercicio
anterior. Se cumplen las siguientes propiedades:

a) Una sucesión (ϕl )l∈N de funciones de prueba converge a 0 en D(Ω) si y sólo si existe j ∈ N tal que
sop ϕl ⊆ Kj para todo l ∈ N0 y
lı́m sup |∂ α ϕl (x)| = 0,
l→∞ x∈Kj

para todo α ∈ Nd0 .

b) Sea Y un espacio topológico localmente convexo. Una aplicación T : D(Ω) → Y es continua si y sólo
∞ ∞
si T : CKj
(Ω) → Y es continua para cada j ∈ N, donde la topologı́a de CK j
(Ω) es la topologı́a inducida
∞
por C (Ω).

c) Un funcional lineal Λ : D(Ω) → C es continuo si y sólo si para todo j ∈ N existen Nj ∈ N0 y cj > 0

tal que
|Λ(ϕ)| ≤ cj sup{|∂ α ϕ(x)| : x ∈ Kj , |α| ≤ Nj }
∞
para todo ϕ ∈ CKj
(Ω).

2
La definición y algunas propiedades de los espacios localmente convexos se encuentran en [8], y no se
presentan en estas notas. Solamente vamos a mencionar que D(Ω) es un espacio localmente convexo
y que una familia de seminormas (que definen la topologı́a) está dada por la siguiente definición: para
todo compacto K ⊆ U y todo n ∈ N se define la seminorma

pK,n (ϕ) := sup{|∂ α ϕ(x)| : x ∈ K, |α| ≤ n}.

A continuación veremos algunos ejemplos de funcionales lineales continuos sobre D(Ω). El primero y
más natural es que toda función regular (localmente integrable) tiene un funcional lineal asociado Λf
en D(Ω) dado por
Z
hΛf , ϕi = f (x)ϕ(x)dx. (1)
Ω

Además, si sop (ϕ) ⊆ Kj , se tiene que

Z Z 
|hΛf , ϕi| ≤ |f (x)ϕ(x)|dx ≤ |f (x)|dx pKj ,0 (ϕ),
Kj Kj

de manera que el teorema anterior garantiza que Λf es un funcional lineal continuo.

Asimismo existen otros funcionales lineales continuos en D(Ω) que no tienen la forma anterior. Por
ejemplo, un funcional δ que asocia a cada función de prueba ϕ el valor ϕ(0). Como veremos este
funcional también es continuo. Esto nos llevará a las siguientes definiciones.
Ejercicio 7. En este ejercicio vamos a demostrar que δ no corresponde
R a ningún Λf con f localmente
integrable. Sea ϕ ∈ D(R) y sea ϕn (x) := ϕ(nx). Demostrar que R f (x)ϕn (x)dx → 0 cuando n → ∞,
mientras que hδ, ϕn i = ϕ(0), de manera que en general no se satisface la igualdad hΛf , ϕn i = hδ, ϕn i.
Demostrar además que δ es un funcional lineal continuo sobre D(R).
Ejercicio 8. Sea f una función localmente integrable y defina el funcional lineal sobre D(Ω) mediante
ϕ 7→ Ω f (x)∂ α ϕ(x)dx para algún α ∈ Nd0 . Demostrar que este funcional es continuo.
R

Definición 9. Una distribución, o función generalizada, sobre Ω es un funcional lineal continuo

sobre D(Ω). El espacio de distribuciones sobre Ω se denota por D0 (Ω). Como se hizo anteriormente,
cuando Λ ∈ D0 (Ω), el valor de Λ sobre ϕ se denotará por hΛ, ϕi.
La continuidad de los funcionales lineales se verificará usualmente mediante el resultado del teorema
anterior.
Definición 10. Toda función localmente integrable f determina una distribución por medio de la
fórmula (1). Una distribución de tal forma se llama regular. Si una distribución no es regular diremos
que es singular.
Definición 11. Llamamos delta de Dirac centrada en a a la distribución singular definida por
hδa , ϕi = ϕ(a). Denotamos por δ a δ0 .

3. Operaciones en el Espacio de Distribuciones

Como el espacio de distribuciones D0 (Ω) es el dual del espacio localmente convexo D(Ω) entonces es
un espacio vectorial. Por lo tanto la suma y multiplicación escalar están dadas por la siguiente fórmula

hα1 Λ1 + α2 Λ2 , ϕi = α1 hΛ1 , ϕi + α2 hΛ2 , ϕi.

Asimismo, cuando S es un operador lineal continuo sobre D(Ω) y Λ ∈ D0 (Ω), entonces la composición
ΛS define otra distribución, dada por

hΛS, ϕi = hΛ, Sϕi.

3
La aplicación Λ 7→ ΛS es simplemente la transpuesta de S, que denotaremos por S t , es decir, S t Λ =
ΛS. La mayorı́a de las operaciones que se definen se hacen por medio de transposición. El siguiente
ejercicio va a permitir definir la multiplicación de una distribución por una función indefinidamente
diferenciable, ası́ como la derivada de cualquier distribución.
Ejercicio 12. a) Demostrar que la aplicación ∂ α : ϕ 7→ ∂ α ϕ es un operador lineal continuo sobre
D(Ω).

b) Demostrar que para todo f ∈ C ∞ (Ω) la aplicación Mf : ϕ 7→ f ϕ es un operador lineal continuo

sobre D(Ω). (Sug.: usar la fórmula de Leibniz para demostrar que pKj ,k (f ϕ) ≤ Ck pKj ,k (f )pKj ,k (ϕ).)
Por el ejercicio podemos definir dos operaciones adicionales sobre D0 (Ω), que por el momento deno-
taremos por Mft y (∂ α )t , dadas por
hMft Λ, ϕi = hΛ, f ϕi,
h(∂ α )t Λ, ϕi = hΛ, ∂ α ϕi.
Investigaremos primero el caso en que Λ esté dado por una función. Si Λ = Λv con v ∈ L1loc (Ω) entonces
Z
hMft Λv , ϕi = hΛv , f ϕi = v(x)f (x)ϕ(x)dx = hΛf v , ϕi,
Ω

de manera que Mft Λv = Λf v .

Ahora supongamos que v ∈ C ∞ . Entonces integrando por partes sucesivamente se tiene que
Z Z
h(∂ α )t Λv , ϕi = hΛv , ∂ α ϕi = v(x)(∂ α ϕ)(x)dx = (−1)|α| (∂ α v)(x)ϕ(x)dx = h(−1)|α| Λ∂ α v , ϕi,
Ω Ω
α t |α|
y por tanto (∂ ) Λv = (−1) Λ ∂αv . Lo anterior motiva las siguientes definiciones.
Definición 13. a) Sea f ∈ C . Definimos el operador de multiplicación Mf en D0 (Ω) por
∞

hMf Λ, ϕi = hΛ, f ϕi,

para ϕ ∈ D(Ω). Generalmente se va a escribir f en lugar de Mf .

b) Para todo α ∈ Nd0 el operador de diferenciación ∂ α en D0 (Ω) se define por

h∂ α Λ, ϕi = hΛ, (−1)|α| ∂ α ϕi.
Ejemplo 14. Una función localmente integrable, cuyo uso es bastante frecuente en fı́sica e ingenierı́a,
es la función de Heaviside sobre R definida por H(x) = 1 si x > 0 y 0 en caso contrario. Vamos a
calcular la derivada distribucional de esta función. Tenemos que
    Z ∞
d d
H, ϕ = H, − ϕ = − ϕ0 (x)dx = ϕ(0) = hδ, ϕi,
dx dx 0

es decir, dH/dx = δ. En un ejemplo anterior se demostró que δ es una distribución singular, y por lo
tanto este corresponde al primer ejemplo en el que la derivada de una distribución no es una función
“ordinaria”.
Anteriormente se presentaron solamente las operaciones básicas que se pueden definir en el espacio
de distribuciones. Sin embargo, es posible definir muchas operaciones más, realizando ciertos ajustes
necesarios. Por ejemplo, al igual que con funciones ordinarias es posible definir una convolución de
distribuciones, o bien de una función de prueba y una distribución. Para definir esto es suficiente que
una de las distribuciones tenga soporte compacto, y que cumpla ciertas propiedades adicionales.

Asimismo, es posible definir otro tipo de operaciones usuales, como las transformadas de Fourier y
Laplace. Sin embargo, es necesario modificar ligeramente el espacio de funciones de prueba y el de
distribuciones. De manera breve, es necesario admitir funciones de prueba que no tengan soporte
compacto, pero que sean de decrecimiento rápido. El espacio dual de este espacio se conoce como el
espacio de distribuciones temperadas. El uso de la transformada de Fourier es fundamental en el estudio
avanzado de distribuciones; por ejemplo, es utilizado en la demostración del teorema de Malgrange-
Ehrenpreis. [1]

4
4. Aplicaciones a Ecuaciones en Derivadas Parciales
Definición 15. Sea T un operador sobre D0 (Ω). Decimos que un operador S sobre D(Ω) es el operador
transpuesto de T si satisface que
hT Λ, ϕi = hΛ, Sϕi,
para todo Λ ∈ D0 (Ω) y ϕ ∈ D(Ω).
Ejemplo 16. Si L es un operador diferencial con coeficientes en C ∞ (Ω) de la forma
X
L= aα (x)∂ α ,
|α|≤n

entonces su transpuesta formal

X
Lt ϕ(x) := (−1)|α| ∂ α (aα (x)ϕ(x))
|α|≤n

es el operador transpuesto de L.
Definición 17. Sea L un operador de orden n, como en el ejemplo, con coeficientes en C ∞ (Ω). Sea u
una función ordinaria y w ∈ D0 (Ω). Decimos que u es una solución débil de la ecuación Lu = w si
Z Z
t
u(x)L ϕ(x)dx = w(x)ϕ(x)dx,

para todo ϕ ∈ D(Ω), es decir, si

hLu, ϕi = hu, Lt ϕi = hw, ϕi.
Definición 18. Sea L un operador diferencial con coeficientes en C ∞ (Ω). Decimos que u es una
solución fundamental para el operador L con polo ξ si es una solución debil de la ecuación Lu = δξ .
La motivación para considerar las definiciones anteriores es que en general las soluciones fuertes también
son soluciones débiles, pero en general no toda solución débil es una solución fuerte, como se muestra
en los siguientes ejemplos.
Ejemplo 19. Considere la ecuación de onda en una dimensión

∂ 2 u(x, t) ∂ 2 u(x, t)
= .
∂t2 ∂x2
Ambos lados tienen sentido si u es una distribución. Sea f una función ordinaria y u(x, t) = f (x − kt);
luego u define una distribución. Vamos a ver que es una solución débil.

Por definición hay que probar que

 2
∂ ϕ(x, t) ∂ 2 ϕ(x, t)
Z 
f (x − t) − dxdt = 0,
∂t2 ∂x2

para todo ϕ ∈ D(R × R+ ). Haciendo el cambio de variables y = x − t y z = x + t se tiene que

 2 Z Z ∞
∂ ϕ(x, t) ∂ 2 ϕ(x, t) ∂2ϕ y + z z − y
Z   
f (x − t) − dxdt = −2 f (y) , dzdy.
R×R+ ∂t2 ∂x2 R y ∂y∂z 2 2

Como ϕ ∈ D(R × R+ ) entonces

∞
∂2ϕ
 
y+z z−y
Z
, dz = 0,
y ∂y∂z 2 2

y ası́ se concluye que u es una solución débil.

5
Ejercicio 20. Defina vj (x) = xj /kxkd , para 1 ≤ j ≤ d. Las funciones vj son localmente integrables y
por lo tanto definen una distribución en Rd . Entonces
d
X
div v := ∂j vj = cd δ,
j=1

donde cd es el volumen de la esfera Sd−1 . (Sug.: Usar coordenadas polares)

Ejercicio 21. Para x ∈ Rd − {0} defina
−1

 2π log(kxk) si d = 2
Φ(x) =
1 1

d(d−2)vd kxkd−2 si d ≥ 3
Entonces ∆Φ = δ, es decir, Φ es la solución fundamental del laplaciano [4].
La importancia de las soluciones fundamentales se debe a que si L es un operador diferencial con
coeficientes constantes y E es una solución fundamental, entonces una solución (distribucional) al
problema no homogéneo Lu = f , con ciertas condiciones sobre una distribución f , está dada por
u = E ∗ f , donde ∗ es una convolución que se define sobre distribuciones [1].

Uno de los grandes logros tempranos de la teorı́a de distribuciones fue el teorema de la existencia de
una solución fundamental para toda ecuación en derivadas parciales con coeficientes constantes [1],
debido a Malgrange y Ehrenpreis. A continuación se enuncian dos de estos grandes teoremas de la
teorı́a de distribuciones.
Teorema 22 (Lax-Milgram (1954)). Sea V un espacio de Hilbert y a(·, ·) una forma bilineal en V
acotada y coercitiva, es decir,
|a(u, v)| ≤ Ckukkvk, y |a(u, u)| ≥ ckuk2 .
Entonces para todo f ∈ V 0 existe una única solución u ∈ V para la ecuación
a(u, v) = f (v)
y satisface que
1
kuk ≤ kf kV 0 .
c
Teorema 23 (Malgrange-Ehrenpreis (1954-1956)). Todo operador diferencial (lineal) no nulo con
coeficientes constantes tiene una solución fundamental.
El lector interesado puede encontrar una prueba de este teorema a modo de ejercicio en [9] (cap. 7, ej.
98). Adicionalmente, en [1] se presentan dos pruebas distintas (cap. 17 y 18).

Referencias
[1] J.J. Duistermaat, J.C. Kolk, Distributions. Theory and Applications, Birkhäuser, 2010.
[2] L.C. Evans, Partial Differential Equations, Graduate Studies in Mathematics, AMS, 1998.
[3] G. Grubb, Distributions and Operators, Springer, 2009.
[4] F. John, Partial Differential Equations, Springer, 1982.
[5] A.N. Kolmogorov, S.V. Fomin, Introductory Real Analysis, Dover, 1970.
[6] G.E. Shilov, Generalized Functions and Partial Differential Equations, Gordon and Breach, 1968.
[7] R. Strichartz, A Guide to Distribution Theory and Fourier Transforms, CRC Press, 1994.
[8] K. Yosida, Functional Analysis, Springer-Verlag, 1980.
[9] C. Zuily, Problems in Distributions and Partial Differential Equations, Hermann, 1988.