Abstract
Let Ω ⊂ℝd have finite positive Lebesgue measure, and let\(\mathcal{L}^2\) (Ω) be the corresponding Hilbert space of\(\mathcal{L}^2\)-functions on Ω. We shall consider the exponential functionse λ on Ω given bye λ(x)=e i2πλ·x. If these functions form an orthogonal basis for\(\mathcal{L}^2\) (Ω), when λ ranges over some subset Λ in ℝd, then we say that (Ω, Λ) is a spectral pair, and that Λ is a spectrum. We conjecture that (Ω, Λ) is a spectral pair if and only if the translates of some set Ω′ by the vectors of Λ tile ℝd. In the special case of Ω=Id, the d-dimensional unit cube, we prove this conjecture, with Ω′=Id, for d≤3, describing all the tilings by Id, and for all d when Λ is a discrete periodic set. In an appendix we generalize the notion of spectral pair to measures on a locally compact abelian group and its dual.
Similar content being viewed by others
References
Benedicks, M. (1985). On Fourier transforms of functions supported on sets of finite Lebesgue measure,J. Math. Anal. Appl.,106, 180–183.
de Jeu, M.F.E. (1994). An uncertainty principle for integral operators,J. Funct. Anal,122, 247–253.
Donoho, D.L. and Stark, P.B. (1989). Uncertainty principles and signal recovery,SIAM J. Appl. Math.,49, 906–931.
Dunford, N. and Schwartz, J.T. (1963).Linear Operators, Vol. II, Wiley (Interscience), New York.
Folland, G.B. and Sitaram, A. (1997). The uncertainty principle: A mathematical survey,J. Fourier Anal. Appl. 3, 207–238.
Fuglede, B. (1974). Commuting self-adjoint partial differential operators and a group theoretic problem,J. Funct. Anal. 16, 101–121.
Gruber, P.M. and Lekkerkerker, C.G. (1987).Geometry of Numbers, 2nd ed., North-Holland Mathematical Library, Vol. 37, North-Holland Publishing, Amsterdam.
Hewitt, E. and Ross, K.A. (1963).Abstract Harmonic Analysis, I, Springer-Verlag, Berlin.
Hof, A. (1995). On diffraction by aperiodic structures,Comm. Math. Phys.,169, 25–43.
Iosevich, A. and Pedersen, S. (1998). Spectral and tiling properties of the unit cube,Internat. Math. Res. Notices,16, 819–828.
Jorgensen, P.E.T. (1982). Spectral theory of finite volume domains in ℝn,Adv. in Math.,44, 105–120.
Jorgensen, P.E.T. (1988).Operators and Representation Theory: Canonical Models for Algebras of Operators Arising in Quantum Mechanics, North-Holland Mathematics Studies, No. 147, Notas de Matemática, No. 120, North-Holland, Amsterdam.
Jorgensen, P.E.T. and Pedersen, S. (1987). Harmonic analysis on tori,Acta Appl. Math.,10, 87–99.
Jorgensen, P.E.T. and Pedersen, S. (1991). An algebraic spectral problem for L2(Ω),Ω⊂ℝn,C. R. Acad. Sci. Paris Ser. I Math.,312, 495–498.
Jorgensen, P.E.T. and Pedersen, S. (1992). Spectral theory for Borel sets in ℝn of finite measure,J. Funct. Anal,107, 72–104.
Jorgensen, P.E.T. and Pedersen, S. (1993). Group-theoretic and geometric properties of multivariable Fourier series,Exposition. Math.,11, 309–329.
Jorgensen, P.E.T. and Pedersen, S. (1993). Harmonic analysis of fractal measures induced by representations of a certain C*-algebra,Bull. Amer. Math. Soc., (N.S.)29, 228–234.
Jorgensen, P.E.T. and Pedersen, S. (1994). Harmonic analysis and fractal limit-measures induced by representations of a certain C*-algebra,J. Funct. Anal.,125, 90–110.
Jorgensen, P.E.T. and Pedersen, S. (1995). Estimates on the spectrum of fractals arising from affine iterations,Fractal Geometry and Stochastics, Bandt, C., Graf, S., and Zähle, M. Eds., Progress in Probability, Vol. 37, Birkhäuser, Basel, 191–219.
Jorgensen, P.E.T. and Pedersen, S. (1996). Harmonic analysis of fractal measures,Constr. Approx.,12, 1–30.
Keller, O.H. (1930). Über die lückenlose Einfüllung des Raumes mit Würfeln,J. Reine Angew. Math.,163, 231–248.
Keller, O.H. (1937). Ein Satz über die lückenlose Erfüllung des 5-und 6-dimensional Raumes mit Würfeln,J. Reine Angew. Math.,177, 61–64.
Kolountzakis, M.N. and Lagarias, J.C. (1996). Structure of tilings of the line by a function,Duke Math. J.,82, 653–678.
Landau, H.J. (1967). Necessary density conditions for sampling and interpolation of certain entire functions,Acta Math.,117, 37–52.
Lagarias, J.C., Reeds, J.A., and Wang, Y. (1998).Orthonormal bases of exponentials for the n-cube, preprint, AT&T Labs.
Lagarias, J.C. and Shor, P.W. (1992). Keller's cube-tiling conjecture is false in high dimensions,Bull. Amer. Math. Soc.,27, 279–287.
Lagarias, J.C. and Wang, Y. (1996). Tiling the line with translates of one tile,Invent. Math.,124, 341–365.
Lagarias, J.C. and Wang, Y. (1997). Integral self-affine tiles in ℝn, II: Lattice tilings,J. Fourier Anal. Appl.,3, 83–102.
Lagarias, J.C. and Wang, Y. (1997). Spectral sets and factorizations of finite abelian groups,J. Funct Anal.,145, 73–98.
Pedersen, S. (1987). Spectral theory of commuting self-adjoint partial differential operators,J. Funct. Anal.,73, 122–134.
Pedersen, S. (1996). Spectral sets whose spectrum is a lattice with a base,J. Funct. Anal.,141, 496–509.
Pedersen, S. (1997).Fourier Series and Geometry, preprint, Wright State University, 1997.
Perron, O. (1940). Über lückenlose Ausfüllung des n-dimensionalen Raumes durch kongruente Würfel,Math. Z,46, 1–26, 161–180.
Reed, M. and Simon, B. (1975).Methods of Modern Mathematical Physics II: Fourier Analysis, Selfadjointness, Academic Press, New York.
Stein, S.K. and Szabo, S. (1994).Algebra and Tiling: Homomorphisms in the Service of Geometry, Carus Mathematical Monographs, Vol. 25, Mathematical Association of America, Washington, DC.
Author information
Authors and Affiliations
Additional information
Communicated by Henry J. Landau
Dedicated to the memory of Irving E. Segal
Acknowledgements and Notes, Work supported by the National Science Foundation.
Rights and permissions
About this article
Cite this article
Jorgensen, P.E.T., Pedersen, S. Spectral pairs in cartesian coordinates. The Journal of Fourier Analysis and Applications 5, 285–302 (1999). https://doi.org/10.1007/BF01259371
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01259371