Tuesday, 15 October 2019

analysis - How to show textrmsupp(fg)subseteqtextrmsupp(f)+textrmsupp(g)?



Let f,gC0(Rn) where C0(Rn) is the set of all continuous functions on Rn with compact support. In this case (fg)(x)=Rnf(xy)g(y) dy,

is well defined.



How can I show supp(fg)supp(f)+supp(g)?



This should be easy but I can't prove it.



I tried to proceed by contradiction as follows: Let xsupp(fg). If xsupp(f)+supp(g) then (xsupp(f))supp(g)=ϕ. This should give me a contradiction but I can't see it.



Answer



If fg(x)0 then Rnf(xy)g(y)dy0, so there exists yRn such that f(xy)g(y)0, hence g(y)0 and f(xy)0, take z=xy then x=z+y with f(z)0 and g(y)0. Now we get
{fg0}{f0}+{g0}supp(f)+supp(g), so
supp(fg)supp(f)+supp(g).


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

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