S o b r e la c o n v o l u c i n de d i s t r i b u c i o n e s

por
J. A. Fernndez Via PRESENTADO POR EL ACADMICO D. ALBERTO Dou

El producto de convolucin se estudia ordinariamente para funciones y distribuciones definidas sobre un mismo espacio numrico. En las lneas que siguen exponemos una extensin de ios resultados clsicos al caso en que los elementos que se multiplican estn definidos en espacios de distinto nmero de dimensiones.

1.
c

CONVOLUCIN DE FUNCIONES CONTINUAS

Consideremos el espacio E" identificado al producto R" x R"-"" o P < H, y pondremos

*' = (* .. v
r r ' 'V - r Ui
f r* Ir r i r" i r x ) ^nJ'^ ~ v*V '"' V' ~ * Pu' "" "''

1-1. DEFINICIN.Si f es una aplicacin de R" en C, llamaremossoporte respecto de R" de /, y Io denotaremos por [/], a la adherencia del conjunto de los .r' R" para los que existe algn x" R*-"' tal qe / (.r', .r) ^ 0. or otrn parte, denotaremos por [/] el soporte ordinario de la "ncin / por - p ^-j la proyecc j n de r^j sobre RP Ntese que r,t [f]
s neces;ir

'amente un conjunto cerrado, mientras que [/] si lo es.

'"-i. U:4,A._S, [/] c [/],.

d clemo?

tracion es trivial. Es igualmente sencillo encontrar ejem-

 32

-pos que prueban que it, [/] y [/] son conjuntos distintos, en general. 1.3. DEFINICIN.Si / 6 C (R") y g C (R"), la integral
lf.(t.x"}S(X'-i)dt

*f
-se puede considerar extendida a , [/] fi (x' [g]) y por tanto existir seguramente, para todo -r" 6 R*-", cuando sea compacto cualquiera de los conjuntos [/], [g}, [/] -v [/]. En estas condiciones llamaremos producto de convolucin de / por g (en este orden) y lo representaremos por / * g, a la aplicacin de R" en C:
* * f f (t, *") S (f t) d t.
F.f

Ntese que la integral

jtp-s.x^g&ds
R>

existe al mismo tiempo que la anterior y es igual a ella. 1.4. PROPIEDADES.Por simple adaptacin de las tcnicas de demostracin que se utilizan corrientemente (vase [1]), se demuestran las propiedades siguientes : 1.4.1. / * g C (Rn) y la aplicacin (/, g) - / * g es bilineal. 1.4.2. Si / (resp. g) es continuamente derivable respecto de U'1vector v Rn (resp. w R"), entonces f*g es continuamente deniable respecto de v (resp. w) y se tiene :
DV ( / * ) = (Dv /) * g, (resp. Dw (/ * g) = / * D w g).

En consecuencia, si / es de clase Cm, f * g resulta tambin de clase C"1 ; si es de clase Gm, f * g resulta de clase Cm respecto &

321

sus p primeras variables. Si P (D) (resp. Q (D)) es un operador diferencial lineal con coeficientes constantes, sobre Rn (resp. R"), de orden in y si / (resp. g) es de clase Cm, se tiene : P (D) (/*) = (P (D) /)*,. (resp. Q (D) (/ * aO = / * Q (D) g). 1.4.3. [/ * g]t c [/]j, + [o-]. Adems, si [g.] y alguno de los conjuntos [/], [/]p y 7ip [/] son compactos, resulta [/ * g ] p tambin compacto. En cuanto al soporte ordinario de / * g, se tiene :

[/ * g] c: r, tf] + [g] x T^ U] ;
^ [/] y ta'l son compactos, [/ * g] ser compacto. 1.4.4. ( / * ) * / ! = / * ( * /z), donde e (R3) con q < p. Anotemos por ltimo tina propiedad, de demostracin sencilla, y que ser utilizada ms adelante : 1.45. (f*h)*g=f*(g*h). NOTA.Naturalmente, esta teora de la convolucin parcial pueae llevarse a cabo para clases de funciones ms amplias que las funciones continuas con las condiciones de soporte impuestas.

2.

CONVOLUCIN DE DISTRIBUCIONES POR FUNCIONES

stingeremos dos casos segn que el nmero de dimensiones Pacio donde est definida la di: espacio distribucin sea menor o mayor que el correspondiente de la funcin.
1 es

a ra todo te n e nece a

DEFINICIN.Sea T 3)' (Rp) y ,? 2) (Rn), con p<n. ' r R " , la aplicacin t - ? (.v' t, .r") de R" en C, per, ^ OR") y por consiguiente < T, p (x' t, x") > es un Dumeto complejo funcin de x. A esta funcin la llamaremos prouc to de convolucin de la distribucin T por la funcin 9 y la denotar emos por T * c. 2.1.
entemente

T I!

. la definicin subsiste en los siguientes casos :

y ;? S (RK) T e 6 6 (R } C0n h]p <*pacto? ' se consideran ' (RP) y 9distribuciones " "" [<Pl si m vf ' aSi mismo de orden finito y unciones de clase e.

KEY. Hj.

KE

AL ACADEMIA DE CIENCIAS,1963.

21

 322

2.2. PROPIEDADES.-Haciendo uso, como en 1.4, de las tcnicas de demostracin para el caso /> = n, se establecen sin dificultad las propiedades siguientes : 2.2.1. T * =, e G (Rn) y la aplicacin (T, 9) -> T * es bilineal. 2.2.2. D" (T * 9) = T * D" 9 y D" (T * ?) = (D" T) * <?, donde x N" y a' W. En consecuencia, con notaciones del nmero anterior, se tiene:
P (D) (T ) = T * P (P j 9. Q (D) (T * 9) = (Q (D) T) * 9.

2.2.3. [T * o], c [T] ,+ [?]. Adems, si [T] y alguno de losconjuntos [o], [9], y r.f [o] son compactos, [T * o]p resulta compacto. En cuanto al soporte ordinario de [T* o], se tiene:
[T * 9] C [T] + -, [] .X *_, [<p].

2.2.4. (T * 9) * ^ = T * (9 * ), donde 6 6 2 ) (Rm) con < m2.3. DEFINICIN.Sea T 2)' (R") y o 0 (R") con p < n. Consideremos la aplicacin -> < T, * ? > (1) de 3) (R") en C, que es lineal en virtud de 1.4.1. Demostremos que es continua. En efecto, dado el conjunto compacto K c R", se tendra
W * 9] C (T, K - [9]) x *_ K = K 0 .

para toda ty con [<}] c: K y, como consecuencia de K D existen un constante c' > O y un entero m tales que :
|< T. vi * > I < f'
V
\tm

sp
'
K

D ty * 9) (x) \.

>

Por otra parte

l D* W * <P> (*) l .< f l (a W (-" - '. *"i 9 <0 l <* < .<
[jn.'-^K) sup
/e(V-s/K)

l (n*)(jr' , jr") |,

(1) , denota la aplicacin .r-> 9 (J-).

 323

con c" constante independiente de fy. Luego :

< T, V- * > | < c V sup sup
M'-"/K)

I (D* VO (*' - t, *")

\a\2m ** KO

es decir,
i < T, - * > ! < c V
\<!\Tm

sup
*eK

1 D" v (-O 1

que es lo que desebamos probar. La aplicacin > -> < T, * 9 > es, pues, una distribucin sobre R", que ser denotada por T * y a la cual llamaremos productode convolucin de T por o. NOTA 1.aLa distribucin T * <p no es, en general, una funcin. En efecto, para T = S, si existiera una funcin / 6 .fV. (Rn) tal que: <T*,.V'>= f f t d x , Vv2>(R").
K"

considerando en particular la funcin (-r) = s ('") PX ('") donde g * & (Rr}

y

^^

est defin!da por

PX Cr") = exp. (- A=/(A 2 '-"2)). PX (.v") = O, si r" ^, A, donde

r" < .X
n

\l/ r" = ( V* .v/ )' 1 -/ />"

te

ndnamo s :

< 3 * tf. vi > = (ii ^ |,) (O) = 11 / j; (.<) 9 (j i s,

K?

324

j" f j d x = f g (.r') d .r' f / (x*, x") R"

fx

(x) d .

F.f

E*-/ 1
( x f j x,,} px

= j's (*") d x> j f

pU)

d r

[g]

r <*

Cuando X -> O, la ltima integral tiende hacia cero mientras que <C 8 * o, <\> > permanece constante. NOTA 2.aSi aplicsemos las definiciones 2.1 y 2.3 en el caso p = n, obtendramos el mismo resultado. En efecto :
< T * . ^ > = <T, < * c > = (T * W * 9)-) (0) =
= (T * (9 * v% (0) = ((T * p) * V (0) = l" (T * p) d -v.

2.4.

PROPIEDADES.

2.4.1. La aplicacin (T, 9) -> T * 9 es bilineal. Demostracin trivial. 2.4.2. D1 (T * 9) = (D* T) * 9, D*' (T * 9) = T * D"' 9, a N" y v/ N". Demostraciones inmediatas. En consecuencia, con notaciones ya conocidas, se tiene :
P (D) (T * 9) = '(P (D) T) * v, Q (D) (T * 9) = T * Q (D).

donde

2.4.3. (T* 9) *<> = T * (9 *^), donde ^ 2) (R') con ? < f En efecto, si y 2) (Rn) se tiene, aplicando 1.4.5 :
< T * (9 * ^), x > = < T, x * (9 * V)" > = < T. x * (9 * > = = < T, (x * \f) * > = < T * <p, x * /> = < (T * 9) * 4, x >

La.relacin correspondiente entre los soportes requiere una nueva definicin. 2.r>. DEFINICIN.Dada la distribucin T 2)' (Rn), llamaremos soporte de T respecto de R", y lo representaremos por [T]i a conjunto de los puntos .f' R" tales que, para todo entorno V

 325

x' existen dos funciones -/ D (V) y co 3) (R"-y) verificando < T, y. u > i 0. El conjunto [T], es cerrado, pues su complementario es, evidentemente, abierto. 2.6. LEMA.-, [T] c [T],. En efecto, si .v' T., [T], existir .v" R"-" tal que (.r', x") [T]. Dado arbitrariamente un entomo V de x', si W es otro entorno de x", ha de existir 9 6 3) (V x W) tal que < T, ? > dp 0. Como el conjunto 3) (V) (g) 2) (W) es denso en 3) (V x W), existirn
X 2) (V) y

> 3) (W)

verificando < T, / w > =fc O : luego x' [T]p. 2.7. TEOREM.A.[T * ?] <r [T]p + [?]. En efecto, si .r' [T * s] p , dado arbitrariamente el entomo V de x', existen / 2) (V) y w 6 D (R"-p) tales que < T, x w > 4: O ; entonces debe ser
[T] 'fl [x ) * 9] 4= 0

y por consiguiente :

- P m n (v-[.])*0.
de donde
V H 0 [T] + [9]) * 0-

Luego
x>

*, [T] + [9] = [T]r + [<p] = [T], + [<p].

^n cuanto al soporte ordinario de la distribucin T * 9, se tiene:

[T * ] c T, [T] + [<p] x V-P m-

 3 2 >

3.

CONVOLUCIN DE DISTRIBUCIONES

3.1. DEFINICIN.Sea T 3)' (R") y S 3)' (R") con p < n, y supongamos que al menos una de ellas, por ejemplo S, tiene soporte compacto. Consideremos la aplicacin o -> < T, 3 * = > (1), de 3) (R*) en C, que lineal, en virtud de 2.2.1 y de la linealidad de T. Para demostrar que es continua bastar ver que lo es la aplicacin o -> S * o de 3) (R") en s mismo, ya que T es continua. Si K es un compacto fijo de R", se tiene, en virtud de 2.2.3 :
[S * <p c ([S] + - [<p]) x -_ [9] = K c

y la cuestin se reduce entonces a probar que, para todo m i, existe k IM y c > 0 tales que:
sup V I D* (5 * <p) (-r) | < c sup ^ | D a ( p ( . r ) . * E K |o|^m "K li^*

para toda 9 G S) (R") con [o] c K. Esta desigualdad se obtiene inmediatamente a partir de lo siguiente:
I D* (S * 9) W I = I < 5. D K - t. .v") > i <;

< c /.,-- P ,,W f

\y\ - **
'

I (D'' + *<?)(*'-',-r") |<

< c ..,M Z K DX pH-v-^")i,

|a|.;*

donde
ll m ^ = max t a , ll

son constantes independientes de 9. Asi, pues, la aplicacin < p ~ > < T , S * ? > es una distribucin sobre R" a la cual llamaremos producto de convolution de T pof ^ y denotaremos por T * S.
(1) 3 detioU la aplicacin -> < S, f >.

 32-

'3.2. PROPIEDADES. 3.2.1. La aplicacin (T, S) -> T * S es bilineal. Demostracin trivial. 3.2.2. D* (T * S) = (D* T) * S y D1' (T * S) = T * D1' S, don4e -j. M" y a' W. Demostraciones inmediatas. Con notaciones ya conocidas, se tiene :
P (D) (T * S) = (> (D) T) * S y O (D) (T * S) = T * Q (D) S.

3.2.3.

[ T * S ] , C [ T ] p > + [S].

En efecto, si .v' . [T * S]jj, para todo entorno V de x' existirn l 6 3) (V) y w 6 3) (R"-p), tales que < T * S, 7. w > O ; esto implica [T] fi [S * (-/. o,)] 4: 0, de donde -v [T] n ( [S] + V) 0, luego V H (- [T] -f [S]) 4: 0, y por consiguiente
-v s [Tj + [S] = *, [T] + [S] c [T] + [S].

En cnanto al soporte ordinario de la distribucin T* S, se tiene :

[T * s] c ^TTtf+Ts] x -_ [T].
En efecto, sea / 6 [T * S], y sean V y S dos entornos de x' y x" respectivamente. Existe 9 3) (V x W) tal que < T * S, o > 0 T por consiguiente

x e 2> (V)

> e 2) (W)

tales que < T ^ S, / w > $. 0. Esto implica que:

[T] f) ((- [S] + V) x W) * 0

luego
Vfl (s [T] -f S) * 0
!o c

W -n .*_, [T] * 0,

al prueba que
*'^TtT]Ts' y jr"6~7Ff.

 32S -

NOTAS.1.a Las notaciones empleadas para designar los espacios funcionales que hemos utilizado, son las clsicas de L. Schwartz. 2.a Dejamos para otra ocasin la investigacin de la propiedad asociativa del producto de convolucin de distribuciones, as como el estudio del .comportamiento del producto frente a la transformacin parcial de Fourier, principio de localizacin, etc.

BIBLIOGRAFA [1] NACHBIN, L.: Lectures on the Theory of Distributions. Universidad de Recife, 1964.