Lower estimate of the extremal Pompeiu radius for the straight circular cone (Q2901719)

The present paper is devoted to the so-called injectivity problem, namely, it is requires to describe the sets \(A\) in the space \({\mathbb R}^n\) such that the condition \(\int\limits_A f(x)dx=0\) implies that \(f\equiv 0\). To give some notions. Let \(M(n)\) denotes the group of motions in \({\mathbb R}^n\) and \(\text{ Mot} (A, B)\) denotes a set of all such motions \(\lambda\) with \(\lambda A\subset B\). A compact set \(A\) is called a Pompeiu set in \(B,\) write \(A\in \text{ Pomb\,}(B),\) if the condition \(\int\limits_{\lambda A} f(x)dx=0,\) which holds for every \(\lambda\in \text{ Mot} (A, B),\) implies that every locally integrable function \(f:B\rightarrow {\mathbb C}\) equals to zero in \(B\). For a given set \(A\) we denote \({\mathcal R}(A)=\inf\{R>0: A\in \text{ Pomp\,}({\mathbb B}_R)\},\) \({\mathbb B}_R=\{x\in {\mathbb R}^n:| x| <R\}\). Suppose that \(A\) be straight circular cone of the radius \(r\) of the base and of the height \(h\). The main result of the paper states that \({\mathcal R}(A)\geq (5h^2+r^2)/(8h)\) whenever \(h\geq r\).