Saturday, 20 July 2019

real analysis - Convolution support and property



I tried to answer a question from a user, as in the following link



Properties of the solution of the schrodinger equation




As in the comments I am aware that my answer is not satisfactory, but intuitively it seems so.



In other words it is well known that if one of the two functions f or g has compact support, and we assume that it is well-defined convolution of them, then we have that



supp(fg)supp(f)+supp(g)



My question is a reversal, that is, if f has not compact support and g has compact support, we may conclude that the convolution does not have compact support?


Answer



This is not true. It is even possible that the convolution is identically zero. Consider f(x)1, which clearly does not have compact support, and let g(x) be any odd function with compact support. Then




(fg)(x)=g(y)dy=0.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...