Convolución en L1(Rn)
Definición de convolución. La convolución de dos funciones medibles f, g : Rn → C se
define por la siguiente fórmula:
Z
(f ∗ g)(x) := f (x − y)g(y) dy.
Rn
Aquı́ se supone que la integral existe para casi todo x ∈ Rn . En esta sección vamos a
demostrar que f ∗ g está bien definida y pertenece a L1 (Rn ) si f, g ∈ L1 (Rn ).
1. Lema. Sean f, g : Rn → C funciones medibles. Entonces la función H : Rn × Rn → C
definida por H(x, y) := f (x − y)g(y) también es medible.
2. Lema. Sea A un subconjunto medible de Rn , x0 ∈ Rn . Entonces λ(A + x0 ) = λ(A) y
λ(x0 − A) = λ(A).
Z Z
1 n n
3. Lema. Sean F ∈ L (R ), x0 ∈ R . Entonces F (x − x0 ) dx = F (x) dx.
Rn Rn
Z Z
1 n n
4. Lema. Sean G ∈ L (R ), x0 ∈ R . Entonces G(x0 − x) dx = G(x) dx.
Rn Rn
Segunda definición de convolución (equivalente a la primera).
Z
(f ∗ g)(x) := f (y)g(x − y) dy.
Rn
5. Norma de convolución en L1 (Rn ). Sean f, g ∈ L1 (Rn ). Entonces:
Z
1. La integral f (x − y)g(y)dy existe para casi todos x ∈ Rn .
Rn
2. f ∗ g ∈ L1 (Rn ).
Z Z Z
3. f ∗ g = f · g.
Rn Rn Rn
4. kf ∗ gk1 ≤ k|f | ∗ |g|k1 ≤ kf k1 · kgk1 .
Demostración. Lemas anteriores, teoremas de Tonelli y Fubini.
página 1 de 2
6. Propiedades algebráicas de la operación de convolución. Consideremos la con-
volución como una operación binaria en L1 (Rn ).
1. La convolución es bilineal:
(αf + βg) ∗ h = α(f ∗ h) + β(f ∗ h), f ∗ (αg + βh) = α(f ∗ g) + β(f ∗ h).
2. La convolución es asociativa: f ∗ (g ∗ h) = (f ∗ g) ∗ h.
3. La convolución es conmutativa: f ∗ g = g ∗ f .
Demostración. Asociatividad.
Z Z x, u fijos
((f ∗ g) ∗ h)(x) = f (x − u − v)g(v)h(u)dv du = w = u + v
Rn n v =w−u
R
Z Z
= f (x − w)g(w − u)h(u)dw du = (f ∗ (g ∗ h))(x).
Rn Rn
Conmutatividad.
Z x fijo
(g ∗ f )(x) = g(x − y)f (y) dy = z = x − y
Rn y =x−z
Z
= g(z)f (x − z) dz = (f ∗ g)(x).
Rn
página 2 de 2