Let be continuously differentiable, and define by . Let be the -dimensional Lebesgue measure and the image of by . The authors study the validity of the convolution inequality
Let . The authors assume that is injective unless . They then prove that the above convolution inequality is implied by a certain estimate for the exotic Riesz potential , i.e.
They discuss the validity of this estimate in a variety of situations.