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