Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Dis Tri Buci Ones
Dis Tri Buci Ones
Licenciatura en Matemáticas
Universidad de Granada
Contenido.
iii
Capı́tulo I
INTRODUCCION A LAS
DISTRIBUCIONES.
Digamos ante todo que este capı́tulo pretende ser sólo un escaparate que
sirva de motivación al alumno para el estudio de las distribuciones. Desde el
punto de vista de las aplicaciones, los espacios de distribuciones proporcionan
probablemente la forma más convincente de justificar la utilidad de los espa-
cios localmente convexos, de hecho gran parte de la investigación en la teorı́a
general de ELC ha estado siempre orientada hacia su aplicación a los espacios
de distribuciones.
La topologı́a del espacio de las funciones test D(Ω) se define sin pasar por
los conceptos generales de lı́mite inductivo y topologı́a localmente convexa fi-
nal que aunque aclaradores parecen excesivos para aplicarlos en este proyecto
sólo al espacio de las funciones test. Obtenemos entonces algunas propiedades
interesantes del espacio D(Ω): es un espacio no metrizable, localmente con-
vexo, separado y completo verificando la propiedad de Heine-Borel (de hecho
un espacio de Montel si se prueba su reflexividad, conceptos no tratados en
este proyecto). Tras el estudio de la continuidad de funcionales en D(Ω)
llegamos al espacio de las distribuciones como el dual topológico del de las
funciones test. Terminamos nuestro primer tema viendo funciones y medidas
como distribuciones, definiendo la derivada de una distribución y estudiando
algunas propiedades del producto de convolución que se define sólo para una
distribución y una función test, como preparativo para el próximo tema dedi-
cado a las aplicaciones. Primeramente describimos cómo presentar al alumno
el célebre teorema de Ehrenpreis-Malgrange sobre la existencia de soluciones
fundamentales para ecuaciones lineales en derivadas parciales con coeficientes
constantes que hemos plagiado de [44]. Terminamos con una aplicación al
mundo de la geometrı́a (diferencial) mostrando la existencia de geodésicas en
un marco bastante general o si se quiere demostramos el siguiente principio
fı́sico: “una partı́cula que se mueve libremente en una superficie sigue siempre
el camino más corto que es el que consume mı́nima energı́a.”
v
vi Cap. IX. Introducción a las distribuciones.
Λ0 (φ) = −Λ(φ0 ).
Esta somera motivación permite ver cuáles son los pasos a seguir, para
los cuales empezamos a presentar las definiciones formales.
En lo sucesivo d será un número natural fijo y Ω un abierto de Rd .
Consideremos C ∞ (Ω), el espacio de las funciones de clase C ∞ en Ω con
valores complejos, cuya topologı́a es la asociada a la familia de seminor-
mas {pN : N ∈ N} dada por:
α = (α1 , α2 , . . . , αd ) ∈ (N ∪ {0})d
es un multiı́ndice, |α| = α1 + . . . + αd y
∂ |α| (f ) ∞
Dα f = α1 α2 αd (x) ∀x ∈ Ω, f ∈ C (Ω).
∂x1 ∂x2 . . . ∂xd
D(Ω) = ∪∞
N =1 D(KN ),
Proposición I.1.6 .
kφkN ≤ MN ∀φ ∈ A, N ∈ N.
x Cap. IX. Introducción a las distribuciones.
limn,m→+∞ kφn − φm kN = 0 ∀N ∈ N.
(vi) Si {φn } ⊂ D(Ω) es una sucesión con lı́mite cero, entonces existe
K ⊂ Ω compacto que contiene al soporte de las funciones {φn } y
para todo multiı́ndice α la sucesión {Dα φn } → 0 uniformemente.
F + U = {F + U : F ∈ F, U ∈ U}
(F + U ) ∩ D(KN ) 6= ∅
F − (F ∩ Fn ) ⊂ U, luego F ⊂ Fn + U,
y aplicando (2),
F ∩ D(Kn ) = ∅ ∀n ∈ N,
una contradicción.
F̃ = F + U = {F + U : F ∈ F, U ∈ U}.
F ∩ D(KN ) ∈ FN , x + (U ∩ D(KN )) ∈ FN ,
(i) T es continua.
Pongamos ya nombre a los elementos del dual del espacio de las fun-
ciones test.
§1. Funciones test y distribuciones. xiii
Ejemplos.-
Entonces
|Λµ (f )| ≤ |µ|(Ω) kf k0 (f ∈ D(Ω))
Definimos entonces
e ∀x ∈ Rn , u ∈ D 0 (Rn ), φ ∈ D(Rn ).
(u ∗ φ)(x) = u(τx φ)
R R
Puesto que la igualdad (τx u)v = u(τ−x v) se verifica para funciones u
y v, se define la traslación τx u para u ∈ D0 (Rn ) mediante:
(iii) u ∗ (φ ∗ ψ) = (u ∗ φ) ∗ ψ.
I.2 Aplicaciones
Pretendemos en este tema presentar algunas aplicaciones al mundo de
las ecuaciones diferenciales y al de la geometrı́a (diferencial) del desarrollo
hecho en el tema anterior sobre el espacio de las distribuciones.
Nuestro primer objetivo es presentar el célebre teorema de Ehrenpreis
y Malgrange sobre existencia de solución fundamental en ecuaciones en
derivadas parciales lineales con coeficientes constantes. Comenzamos in-
troduciendo la notación precisa. Si P es un polinomio de n variables con
coeficientes complejos no nulo que denotaremos en la forma
cα z1α1 . . . znαn ,
X
P (z1 , . . . , zn ) =
P (D)u = v,
P (D)u = v,
∂n
Λ=( )u.
∂x1 . . . ∂xn
Tenemos ahora, gracias otra vez a que los operadores diferenciales con
coeficientes constantes conmutan, que
∂n ∂n
P (D)Λ = P (D)( )u = ( )P (D)u = δ0 .
∂x1 . . . ∂xn ∂x1 . . . ∂xn
Proposición I.2.23. Sea Λ ∈ D0 (R) con derivada nula, esto es, Λ0 (φ) =
0 ∀φ ∈ D(R). Entonces existe una función constante λ de forma que
Λ = Λλ .
KerΛ1 ⊂ KerΛ,
Consideremos el subconjunto
Z s
n
B = {f ∈ L2 ([0, 1], R ) : γf (s) := x + f (t)dt ∈ M ∀s ∈ [0, 1],
0
γf (1) = y}.
Para cada s ∈ [0, 1] la aplicación lineal de L2 ([0, 1], Rn ) en Rn dada por:
Rs
f → 0 f (t)dt es w−continua y, por tanto, B es w−cerrado, ya que M
es cerrado en Rn . Además la aplicación Ee de B en R dada por
Z 1
E(f
e ) = E(γf ) = |f (s)|2 ds ∀f ∈ B,
0
§2. Aplicaciones. xxi
lo que nos dice, otra vez en sentido casi por doquier, que |∇γ ∗ | = L(γ).
Tenemos entonces ya la no vaciedad de B tomando como f = ∇γ ∗ .
Para cualquier curva γ en M rectificable uniendo x e y tenemos las
desigualdades
E(γ) ≥ L(γ)2 = L(γ ∗ )2 = E(γ ∗ ).
xxiii
xxiv Bibliografı́a.
57. A. Wilansky. Topology for Analysis. John Wiley and Sons. New York
1.970.