Associative Property of Convolution?

[DWill]

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!

 

[mathman]

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.

 

[chiro]

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.

 

[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.

 

[mathman]

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.

 

[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)?

 

[chiro]

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.

 

[LCKurtz]

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.

 

[mathman]

Indeed! Sometimes it tells us lot!

Sorry, I couldn't resist.

Tooshay - I need to proofread better.