Let $f\in H^{s_1}(\mathbb{R}^n)$ and $g\in H^{s_2}(\mathbb{R}^n)$, where $s_1, s_2 \in \mathbb{R}$ and can be positive or negative.
It is easy to show that $f *g$ is defined pointwise when $s_1+s_2\ge0$. But what smoothness does this convolution have (what $H^s$ space is it in?)?
Second, what is the most general case possible such that $f*g$ exists? Is there some way of defining such a convolution as a distribution regardless of how small $s_1+s_2$ is?