# Associative Property of Convolution?

by DWill
Tags: associative, convolution, property
 P: 70 Hi, I have a quick question about certain algebraic properties of convolution. If I have 3 functions x(f), y(f) and z(f), is the following true? [x(f) . g(f)] * z(f) = [x(f) * z(f)].g(f) I looked on Wikipedia but there's only a property like this if one of the terms is a scalar, so most likely I can't do relation described above? Thanks!
 Sci Advisor P: 6,077 Your notation is confusing. (What is *, what is .?) However, in general, convolution is associative and communicative. The easiest way to see it is by looking at the relationship of the transforms, where convolution becomes multiplication, which is both associative and communicative.
 P: 4,573 Hey DWill. On top of what mathman said, you can prove it has these properties by resorting to the definition of convolution. Also if you aren't convinced, take a look at probability theory for finding the cumulative distribution for X,Y,Z where they are all independent (but not necessarily identically distributed) which is given by the convolution of all three pdf's. Because X + Y + Z = (X + Y) + Z = X + (Y + Z) = Y + X + Z = Z + X + Y and so on, you intuitively get the idea once you accept the theorem in probability that convolution must be associative and commutative.
 P: 70 Associative Property of Convolution? Ok thanks mathman and chiro! That makes sense. I just wondered if the associative property still applied with three arbitrary functions, because in all the places I've looked so far there is only two functions and a scalar used for the associative property. I'll think about it a bit further but I think this clears it up. And sorry if my notation was confusing, I was just going by the convention of the "." being multiplication and "*" being convolution.
P: 6,077
 Quote by DWill Ok thanks mathman and chiro! That makes sense. I just wondered if the associative property still applied with three arbitrary functions, because in all the places I've looked so far there is only two functions and a scalar used for the associative property. I'll think about it a bit further but I think this clears it up. And sorry if my notation was confusing, I was just going by the convention of the "." being multiplication and "*" being convolution.
Now I am very confused. I assumed you were interested in a three function convolution. However your notation, as you just defined it, seems to involved a convolution and a product.
 P: 70 That's correct, the operation I was asking involves a convolution and a product. I looked at it more myself and tried it out on a few functions, and I think this might not be possible? To further clarify, I was wondering if the product of the convolution of x(f) and g(f) with z(f) is equal to the product of the convolution of x(f) and z(f) with g(f)?
P: 4,573
 Quote by DWill That's correct, the operation I was asking involves a convolution and a product. I looked at it more myself and tried it out on a few functions, and I think this might not be possible? To further clarify, I was wondering if the product of the convolution of x(f) and g(f) with z(f) is equal to the product of the convolution of x(f) and z(f) with g(f)?
Ohh! That might not work. I was under the impression that both the . and the * were convolutions.
HW Helper
Thanks
PF Gold
P: 7,663
 Quote by mathman Your notation is confusing. (What is *, what is .?) However, in general, convolution is associative and communicative.
Indeed! Sometimes it tells us lot!

Sorry, I couldn't resist.