Abstract
Let Ω⊆Rd be an open set of measure 1. An open set D⊆Rd is called a ‘tight orthogonal packing region’ for Ω if D−D does not intersect the zeros of the Fourier transform of the indicator function of Ω, and D has measure 1. Suppose that Λ is a discrete subset of Rd. The main contribution of this paper is a new way of proving the following result: D tiles Rd when translated at the locations Λ if and only if the set of exponentials EΛ = {exp 2πi〈λ, x〉:λ ∈ Λ} is an orthonormal basis for L2(Ω). (This result has been proved by different methods by Lagarias, Reeds and Wang [9] and, in the case of Ω being the cube, by Iosevich and Pedersen [3]. When Ω is the unit cube in Rd, it is a tight orthogonal packing region of itself.) In our approach, orthogonality of EΛ is viewed as a statement about ‘packing’ Rd with translates of a certain non-negative function and, additionally, we have completeness of EΛ in L2(Ω) if and only if the above-mentioned packing is in fact a tiling. We then formulate the tiling condition in Fourier analytic language, and use this to prove our result. 2000 Mathematics Subject Classification 52C22, 42B99, 11K70.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.