Professional Documents
Culture Documents
CLASE 3
Definición 3.1. Sea 𝑉 un espacio vectorial de funciones, al cual llamaremos espacio de fun-
ciones de prueba. Una función generalizada 𝐾 sobre 𝑉 es una funcional lineal continua definida
sobre 𝑉 (y con valores complejos), es decir, una función 𝐾 ∶ 𝑉 ⟶ C continua que satisface
𝐾, 𝜙 ∶= 𝐾(𝜙).
Cuando el espacio de funciones de prueba (es decir, 𝑉 ) sea 𝒞∞ llamaremos a la función
generalizada 𝐾 una distribución.
Observación 3.2. Como vimos en la Observación 2.3, las funciones 𝑓 ∶ R → C que son
suaves a trozos (también las suaves a trozos de soporte compacto) se pueden considerar
funciones generalizadas, tomando como espacio de funciones de prueba (es decir, 𝑉 ) a 𝒞∞
(𝒞 ∞ respectivamente). Para evitar malos entendidos, denotaremos como 𝐾𝑓 a la función
generalizada correspondiente a 𝑓. Ésta se define por
+∞
𝐾𝑓 , 𝜙 = 𝐾𝑓 (𝜙) = 𝑓(𝑥)𝜙(𝑥) d𝑥.
−∞
Note que ésta fue, precisamente, la notación usada (artificialmente) para la delta de Dirac
𝛿𝑐 (𝑥) = 𝛿(𝑥 − 𝑐): Tomando como 𝑉 al espacio de las funciones continuas en 𝑥 = 𝑐,
+∞
𝛿𝑐 (𝜙) = 𝛿𝑐 , 𝜙 = 𝛿(𝑥 − 𝑐)𝜙(𝑥) d𝑥 = 𝜙(𝑐).
−∞
Observación 3.3. De acuerdo con la definición dada, para que dos funciones generalizadas
𝐾 y 𝐿 coincidan (sean iguales) es necesario (y suficiente) que se cumplan:
Las operaciones sobre funciones y las propiedades de las integrales impropias nos per-
miten definir las siguientes operaciones de funciones generalizadas:
Producto por función Cuando el espacio 𝑉 es cerrado bajo el producto por funciones suaves
(lo que esto significa es que 𝑉 cumple lo siguiente: si 𝜙 ∈ 𝑉 y 𝜓 ∈ 𝒞 ∞ (R) entonces
𝜓𝜙 ∈ 𝑉 ), si 𝐾 es una función generalizada sobre 𝑉 y 𝜓 es una función en 𝒞 ∞ ( ), R
definimos el producto 𝜓𝐾 como la función generalizada 𝜓𝐾 ∶ 𝑉 → C determinada
por
𝜓𝐾(𝜙) = 𝐾(𝜓𝜙) es decir, 𝜓𝐾, 𝜙 = 𝐾, 𝜓𝜙 .
lo que nos permite concluir, gracias a la Observación 3.3, que 𝜓𝛿𝑐 = 𝜓(𝑐)𝛿𝑐 .
para cualquier 𝜙 ∈ 𝑉 .
¹Lo que esto significa es que si 𝜙 ∈ 𝑉 entonces también 𝜙′ ∈ 𝑉 .
′ +∞ +∞
𝐾𝑓 (𝜙) = −𝐾𝑓 (𝜙′ ) = − 𝑓(𝑥)𝜙′ (𝑥) d𝑥 = ′ (𝑥)𝜙(𝑥) d𝑥,
𝑓gen
−∞ −∞
y, por lo tanto,
′
𝐾𝑓 = 𝐾𝑓gen
′ = 𝐾𝑓′ (𝑥)+∑𝑁 S𝑓(𝑐𝑖 )𝛿(𝑥−𝑐𝑖 )
.
𝑖=
R
Observación 3.7. Sobre 𝑉 = 𝒞 ∞ ( ), las funciones generalizadas tienen derivadas de todos
los órdenes, de acuerdo con la definición. En efecto, para 𝑛 = 2 es
𝑥𝛿′ (𝑥), 𝜙 = 𝛿′ (𝑥), 𝑥𝜙(𝑥) = − 𝛿(𝑥), (𝑥𝜙(𝑥))′ = − 𝛿(𝑥), 𝜙(𝑥) + 𝑥𝜙′ (𝑥)
:0
0 ⋅𝜙
= − 𝛿(𝑥), 𝜙 − 𝛿(𝑥), 𝑥𝜙′ (𝑥) = −𝜙(0) − ′ (0)
= − 𝛿(𝑥), 𝜙 ,
2. 𝐻gen
′ (𝑥 − 𝑎) = 𝛿(𝑥 − 𝑎).
4. Para 𝑓 ∈ L , y 𝜙 ∈ 𝒞∞ es
1
𝐾𝑓(𝑎𝑥) , 𝜙(𝑥) = 𝐾 , 𝜙(𝑥/𝑎) (𝑎 ≠ 0).
|𝑎| 𝑓(𝑥)
𝑥𝑛 𝛿(𝑥 − 𝑎), 𝜙(𝑥) = 𝛿(𝑥 − 𝑎), 𝑥𝑛 𝜙(𝑥) = 𝑎𝑛 𝜙(𝑎) = 𝑎𝑛 𝛿(𝑥 − 𝑎), 𝜙(𝑥) ,
lo que prueba la propiedad. Note que otra manera de probar la propiedad consiste en
usar la fórmula para la derivada de funciones suaves a trozos (es decir, la ecuación (3)
vista en el Teorema 2.9).
4. La prueba se basa en
⎧
⎪
⎪ ∫+∞ 𝑓(𝑡)𝜙( 𝑡 ) d𝑡
+∞ 𝑡=𝑎𝑥
↓ ⎪
⎨ 𝑎 −∞ 𝑎
si 𝑎 > 0
𝐾𝑓(𝑥−𝑎) , 𝜙(𝑥) = 𝑓(𝑎𝑥)𝜙(𝑥) d𝑥 = ⎪
⎪ +∞
−∞ ⎪
⎩− 𝑎 ∫ 𝑓(𝑡)𝜙( 𝑎𝑡 ) d𝑡
si 𝑎 < 0
−∞
(el signo negativo proviene del hecho de que cuando 𝑎 < 0, los límites de integración
se invierten).
R constante y 𝑓 la función
𝜋
Ejemplo 3.10. Calcule la integral 𝑓(𝑥) sen(𝜆𝑥) d𝑥, siendo 𝜆 ∈
⎧
⎪
⎪
⎪
⎨1 si 0 ≤ 𝑥 < 𝜋
𝑓(𝑥) = ⎪
⎪
⎪
⎩ 𝜋 (𝜋 − 𝑥) si 𝜋
≤ 𝑥 ≤ 𝜋.
Denotemos la integral pedida por 𝐼(𝜆). Para aplicar nuestra maquinaria de funciones
generalizadas, necesitamos extender nuestra función a todo R de tal manera que el valor de
la integral no cambie (al cambiar el intervalo de integración, [0, 𝜋] por (−∞, +∞)): Sea ℎ la
función definida por ⎧
⎪
⎪
⎪
⎨𝑓(𝑥) si 0 ≤ 𝑥 ≤ 𝜋
ℎ(𝑥) = ⎪
⎪
⎪
⎩0 si 𝑥 ∉ [0, 𝜋].
Note que ℎ coincide con 𝑓 en los puntos pertenecientes al dominio de 𝑓; mientras que
en los puntos que no pertenecen al dominio de 𝑓, la función ℎ se anula.
Derivando ℎ, se obtiene:
⎧
⎪
⎪ 𝜋
′
⎪
⎨− 𝜋 si
<𝑥<𝜋
ℎ (𝑥) = ⎪
⎪
⎪
⎩0 si 𝑥 ∈ (−∞, 0) ∪ (0, 𝜋 ) ∪ (𝜋, +∞).
′ (𝑥) = ℎ′ (𝑥) + Sℎ(0)𝛿(𝑥) = ℎ′ (𝑥) + 𝛿(𝑥)
ℎgen
″ (𝑥) = ℎ″ *0 2
2 ′
ℎgen (𝑥) − 𝜋 𝛿(𝑥 − 𝜋/2) + 𝜋 𝛿(𝑥 − 𝜋) + 𝛿 (𝑥).
𝑦 𝑦
𝑦 = ℎ(𝑥)
𝜋
𝜋 𝑥
𝜋
𝜋 𝑥 − 𝜋 𝑦 = ℎ′ (𝑥)
Sea 𝜙(𝑥) = sen(𝜆𝑥). Como 𝜙′ (𝑥) = 𝜆 cos(𝜆𝑥) y 𝜙″ (𝑥) = −𝜆 𝜙(𝑥) entonces
1 ″ 1 ″
𝐼(𝜆) = ℎ(𝑥), 𝜙(𝑥) = ℎ(𝑥), −
𝜙 (𝑥) = − ℎgen (𝑥), 𝜙(𝑥)
𝜆 𝜆
1 2 2
= − − 𝛿(𝑥 − 𝜋/2) + 𝛿(𝑥 − 𝜋) + 𝛿′ (𝑥), 𝜙(𝑥)
𝜆 𝜋 𝜋
1 2 2 1 2 𝜋 2
= − − 𝜙(𝜋/2) + 𝜙(𝜋) − 𝜙′ (0) = − − sen 𝜆 + sen(𝜆𝜋) − 𝜆
𝜆 𝜋 𝜋 𝜆 𝜋 2 𝜋
1 2 𝜋
= + sen 𝜆 − sen(𝜆𝜋) .
𝜆 𝜋𝜆 2
Teorema 3.12. Sea {𝐾𝑛 } una sucesión de funciones generalizadas sobre un espacio 𝑉 , que es
cerrado bajo derivación. Si 𝐾𝑛 → 𝐿 entonces
𝐾𝑛′ → 𝐿′ .
𝐾𝑛 →𝐿
↓
lim 𝐾𝑛′ , 𝜙 = − lim 𝐾𝑛 , 𝜙′ = − 𝐿, 𝜙′ = 𝐿′ , 𝜙 ,
𝑛→∞ 𝑛→∞