Está en la página 1de 7

1

CLASE 4

Convolucin

Comenzaremos deniendo una nueva operacin (que denominaremos convolucin) en-


tre funciones para luego denir la convolucin de funciones generalizadas.

4.1 La convolucin de funciones

Denicin 4.1. Dadas dos funciones , R C, se dene la convolucin de con ,


denotada , como la funcin R C determinada por
+
() = () = ( )() d,

si la integral impropia es convergente.

La convolucin aparece de manera natural en diferentes reas de las matemticas, de la


fsica. As, por ejemplo

(i) La solucin de la ecuacin diferencial lineal de primer orden

() + () = () ( constante)

con condicin inicial (0) = 0, se obtiene (como se vi en Matemticas 4), multipli-


cando la ecuacin por el factor integrante d = :

() + () = ().


=()

Integrando (entre 0 y ) obtenemos, gracias al Teorema Fundamental del Clculo,

*
 0
()  
(0) =
() d

que puede reescribirse como



() = () () d.

De esta manera, la solucin () es una convolucin.

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro


4.1 La convolucin de funciones 2

(ii) En Teora de Probabilidades, si , son dos variables aleatorias independientes con


funciones de densidad probabilstica () y (), respectivamente, entonces la variable
aleatoria = + tiene como funcin de densidad la funcin
+
() = ( )() d,

que es la convolucin de las funciones de densidad y .

Estaremos interesados (por razones de existencia de la convolucin) en la convolucin


de ciertas funciones que llamaremos causales.

Denicin 4.2. Una funcin R C suave a trozos se dice causal si existe un nmero
real de manera que
() 0 para todo < .

Note que al multiplicar la funcin de Heaviside ( ) con cualquier funcin sua-


ve a trozos () obtenemos una funcin causal (y viceversa, cualquier funcin causal es el
producto de una funcin de Heaviside con otra funcin suave a trozos).

Teorema 4.3. Si y son dos funciones causales entonces su convolucin existe y tambin
es causal. Ms an, si () = ( )() y () = ( )() entonces

( ) () = ( ) ( )() d.

Prueba. Por denicin,


+ +
( ) () = ( )() d = ( )( )( )() d. (1)

ste integrando se anula para aquellos valores de tales que < 0 < 0, es decir,
para aquellos valores de que son menores que o aquellos que son mayores que . De
aqu se deduce

1 Si < entonces ( )() = 0 puesto que: para < el integrando se anula (como
vimos); para se cumple < y, por lo tanto, < 0, por lo que el
integrando tambin se anula. En otras palabras, si < 0 entonces el integrando se
anula (para cualquier R) y, en consecuencia, la convolucin ( )() coincide con

( ) ( )() d (ambas funciones se anulan en este caso).

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro


4.1 La convolucin de funciones 3

2 En el caso : Como vimos, el integrando de (1) se anulara para cualquier valor de


, excepto aquellos que cumplen y, a la vez, . Luego, podemos reescribir (1)
como

( )() = ( )( )( )() d = ( )() d,

lo que nos permite concluir que, tambin en este caso (y, por lo tanto, para cualquier
R), se cumple ( )() = ( ) ( )() d.

Ejemplo 4.4. Para la funcin de Heaviside () tenemos, de acuerdo con el Teorema anterior
(tomando = = 0),

( )() = () 1 1 d = (),

la llamada funcin rampa.

4.1.1 Algunas propiedades de la convolucin

La convolucin cumple las propiedades

Conmutativa = siempre que existan ambas convoluciones.

Asociativa ( ) = ( ) siempre que tengan sentido las operaciones.

Linealidad ( + ) = ( ) + ( ) para cualesquiera constantes , y funciones


, , (siempre que tengan sentido las operaciones indicadas).

Prueba. Si existe entonces haciendo el cambio de variables = obtenemos

=
+ + +

() = ( )() d = ()( ) d = ( )() d = (),

quedando demostrada la propiedad conmutativa.

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro


4.2 La convolucin como funcin generalizada 4

Similarmente, si ( ) est denida entonces


+ + +
() = ( )() d = ( )() d () d

=+
+ +

= ( )( )() d d

Teo. 1.27
+ +

= ( ) ( )() d d

+
= ( ) () d = (),

lo cual termina la prueba de la propiedad asociativa.


La prueba de la linealidad de la convolucin es consecuencia directa de la linealidad de
la integral.

4.2 La convolucin como funcin generalizada

Denicin 4.5. En lo que resta de sta clase, denotar la clase de funciones que son
causales a la derecha, es decir, funciones para las cuales existe un nmero real tal
que
() = 0 para todo > .

En ocasiones, tambin llamaremos a stas funciones anticausales.

El hecho de que la convolucin de funciones causales exista y sea, de hecho, otra funcin
causal (Teorema 4.3) nos permite considerar la convolucin de funciones causales como una
funcin generalizada, tomando como espacio de funciones prueba a . En efecto,

Denicin 4.6. Dadas dos funciones causales y , denimos como la funcin genera-
lizada determinada por
+ + +
, = ( )()() d = ( )() d () d

=
+ +

= ()()( + ) d d

para cualquier .

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro


4.2 La convolucin como funcin generalizada 5

Ntese que la existencia de stas integrales impropias se debe a la causalidad de tanto


como de y a la anti-causalidad de (puesto que el integrando sera una funcin suave a
trozos con soporte compacto).

Podemos generalizar la denicin anterior al caso de funciones generalizadas arbitrarias


(no slo a aquellas que provienen de funciones suaves a trozos). Para ello, introduciremos
las llamados operadores de traslacin:

Denicin 4.7. Dado R, denimos T como el operador cuya accin sobre cualquier
funcin real es
T () = ( + ).

stos operadores poseen muchas propiedades (y aplicaciones) importantes y aparecen


en diversos contextos matemticos. Aparecen, por ejemplo, en la convolucin de funciones:
+ +
() = ( )() d = T ()() d.

Denicin 4.8. Sean y dos funciones generalizadas, denidas sobre un mismo espacio
cerrado bajo derivacin, cuya accin sobre cualquier funcin de prueba venga dada por
una integral impropia (entre y +), es decir,
+ +
, = ()() d y , = ()() d,

para ciertas funciones y jas. Denimos la convolucin como la funcin generali-


zada sobre el mismo espacio determinada por
+ +
, = (), (), T () = () () T () d d

+ +
= ()()( + ) d d.

Observacin 4.9. La denicin anterior tambin se puede adaptar para otros tipos de fun-
ciones generalizadas , R (y no slo las que actan por medio de integrales): En
este caso, denotando , y , la accin de sobre () y de sobre (), respec-
tivamente, tenemos que , T () es una funcin que depende nicamente de . Si sta
funcin pertenece a , entonces podemos denir , como

, = (), (), T () .


Ejemplos de tales funciones generalizadas incluyen las funciones generalizadas que hemos denotado
e incluso la delta de Dirac.

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro


4.2 La convolucin como funcin generalizada 6

4.2.1 Algunas propiedades de la convolucin de funciones generalizadas

Directamente de la denicin se pueden probar las siguientes propiedades (, y


sern funciones generalizadas como en la denicin anterior):

Conmutatividad = .

Asociatividad ( ) = ( ) .

Linealidad + = ( ) + ( ), para cualesquiera constantes , .

Ejemplo 4.10. Para una funcin generalizada , siendo causal y la funcin generalizada
= , tenemos

, = (), ( ), T () = (), ( + )

=+
+ +

= ()( + ) d = ( )() d = () , () = T , ,

lo que nos permite concluir que es la funcin generalizada correspondiente a la funcin


( ).
En particular, tomando = 0 obtenemos

= = ,

lo que signica que la delta de Dirac (en cero) es la identidad para la convolucin.

Terminaremos sta clase deniendo la derivada generalizada de la convolucin.


El haber tomado (ver Denicin 4.1) nos permite derivar, en sentido gene-
ralizado, la convolucin de dos funciones causales. Como se explic en la seccin 2.2, la
derivada generalizada de dos funciones causales y es la funcin generalizada determi-
nada por
+ +
, = , = ()() ( + ) d d
gen
+ +
= () () ( + ) d d

(),T ()
=gen

+ +
= ()( + ) d d = , ,
()gen
gen

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro


4.2 La convolucin como funcin generalizada 7

para cualquier funcin de prueba . De aqu concluimos



.
= gen
gen

Similarmente se prueba


,
= gen
gen

lo que nos permite concluir


= .
= gen gen
gen

Corolario 4.11. Para la funcin de Heaviside () y cualquier funcin causal se cumple



= = .
= gen
gen

Tambin vale para cualquier funcin generalizada sobre .

Apuntes de Matemticas VII Luis J. Navarro y Ramn Navarro