A solution to the Pompeiu problem

TL;DR

This paper proves that if a function satisfies certain integral conditions under all rigid motions and is non-zero, then the domain must be a ball, providing a solution to the Pompeiu problem in two dimensions.

Contribution

It establishes that under specified conditions, the domain is necessarily a ball, advancing the understanding of the Pompeiu problem in the plane.

Findings

The domain is a ball if the integral condition (*) holds for a non-zero function.

The Pompeiu problem has a positive solution in two dimensions under the given conditions.

The result links integral conditions to geometric shape characterization.

Abstract

Let $f \in L_{loc}^1 (\R^n)\cap \mathcal{S}$, where $\mathcal{S}$ is the Schwartz class of distributions, and $$\int_{\sigma (D)} f(x) dx = 0 \quad \forall \sigma \in G, \qquad (*)$$ where $D\subset \R^n$ is a bounded domain, the closure $\bar{D}$ of which is diffeomorphic to a closed ball, and $S$ is its boundary. Then the comp$ is connected and path connected. By $G$ the group of all rigid motions of $\R^n$ is denoted. This group consists of all translations and rotations. A proof of the following theorem is given. Theorem 1. {\it Assume that $n=2$, $f\not\equiv 0$, and (*) holds. Then $D$ is a ball.} Corollary. {\it If the problem $(\nabla^2+k^2)u=0$ in $D$, $u_N|_S=0$, $u|_S=const\neq 0$ has a solution, then $D$ is a ball.} Here $N$ is the outer unit normal to $S$.