In mathematics, the Pompeiu problem is a conjecture in integral geometry, named for Dimitrie Pompeiu, who posed the problem in 1929. It is stated as follows. Suppose f is a nonzero continuous function defined on a Euclidean space, and K is a simply connected Lipschitz domain, so that the integral of f vanishes on every congruent copy of K. Then the domain is a ball.

Schiffer's conjecture

A closely related and highly significant formulation is Schiffer's conjecture, named after the mathematician Menahem Max Schiffer. While the Pompeiu problem is rooted in integral geometry, Schiffer's conjecture is framed in the language of partial differential equations.

Schiffer's conjecture proposes that if a bounded, simply connected to the following overdetermined boundary value problem:

, so rescaling the Neumann eigenfunction, one can ensure the third equation as well.

Equivalence to the Pompeiu problem

The deep connection between the two problems was brought to light by Williams (1976). By utilizing the Fourier transform and techniques from complex analysis smooth and contractible.

Counterexample

A counterexample in two dimensions to the Pompeiu and Schiffer problems was announced by Colbrook & Stepaniants on August 3, 2026.

References

External links

• Pompeiu problem at Department of Geometry, Bolyai Institute, University of Szeged, Hungary

• Pompeiu problem at SpringerLink encyclopaedia of mathematics

• The Pompeiu problem,

• Schiffer's conjecture,