×

Convex bodies with a point of curvature do not have Fourier bases. (English) Zbl 0998.42001

The authors study the Fuglede conjecture which states that a domain \(\Omega\subset {\mathbb R}^d\) admits a spectrum if and only if it tiles \({\mathbb R}^d\) by a family of translates of \(\Omega\). Originally, Fuglede proved this conjecture under the additional assumption that the tiling set or the spectrum are lattice subsets of \({\mathbb R}^d\). It has recently been studied by P. E. T. Jorgensen and S. Pedersen [Electron. Res. Announc. Am. Math. Soc. 4, No. 6, 35-42 (1998; Zbl 0893.28005)] and J. Lagarias and Y. Wang [J. Funct. Anal. 145, 73-98 (1997; Zbl 0898.47002)]. M. N. Kolountzakis [Ill. J. Math. 44, No. 3, 542-550 (2000; Zbl 0972.52011)] proved that any nonsymmetric convex body \(\Omega\subset {\mathbb R}^d\) with at least one point of nonvanishing Gaussian curvature does not admit a spectrum. It turns out there that the symmetric thing appears an obstacle to these methods. In this paper, the authors prove in an extremely simple way that no smooth (or, piecewise smooth) symmetric convex domain \(\Omega\subset {\mathbb R}^d\) with at least one point of nonvanishing Gaussian curvature can admit a spectrum.

MSC:

42B05 Fourier series and coefficients in several variables
52A20 Convex sets in \(n\) dimensions (including convex hypersurfaces)
52C22 Tilings in \(n\) dimensions (aspects of discrete geometry)
42B10 Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type