Related papers: Spectral pairs in Cartesian coordinates
We explore spectral duality in the context of measures in $\br^n$, starting with partial differential operators and Fuglede's question (1974) about the relationship between orthogonal bases of complex exponentials in $L^2(\Omega)$ and…
A set $\Omega \subset \mathbb{R}^d$ is said to be spectral if the space $L^2(\Omega)$ has an orthogonal basis of exponential functions. A conjecture due to Fuglede (1974) stated that $\Omega$ is a spectral set if and only if it can tile the…
In recent papers a number of authors have considered Borel probability measures $\mu$ in $\br^d$ such that the Hilbert space $L^2(\mu)$ has a Fourier basis (orthogonal) of complex exponentials. If $\mu$ satisfies this property, the set of…
Given a lattice $\Lambda$ in a locally compact abelian group $G$ and a measurable subset $\Omega$ with finite and positive measure, then the set of characters associated to the dual lattice form a frame for $L^2(\Omega)$ if and only if the…
Let $\Q=[0,1)^d$ denote the unit cube in $d$-dimensional Euclidean space \Rd and let \T be a discrete subset of \Rd. We show that the exponentials $e_t(x):=exp(i2\pi tx)$, $t\in\T$ form an othonormal basis for $L^2(\Q)$ if and only if the…
We study spectral theory for bounded Borel subsets of $\br$ and in particular finite unions of intervals. For Hilbert space, we take $L^2$ of the union of the intervals. This yields a boundary value problem arising from the minimal operator…
Let $\Omega$ be an open set in Euclidean space $\R^m,\, m=2,3,...$, and let $v_{\Omega}$ denote the torsion function for $\Omega$. It is known that $v_{\Omega}$ is bounded if and only if the bottom of the spectrum of the Dirichlet Laplacian…
It is well-known that entire functions whose spectrum belongs to a fixed bounded set $S$ admit real uniformly discrete uniqueness sets $\Lambda$. We show that the same is true for much wider spaces of continuous functions. In particular,…
We introduce and study a new theoretical concept of \textit{spectral pair} for a Schr\"{o}dinger operator $H$ in $L^2(\mathbb{R}_{+})$ with a bounded \textit{complex-valued} potential. The spectral pair consists of a scalar measure and a…
A conjecture of Fuglede states that a bounded measurable set D, of measure 1, can tile space by translations if and only if the Hilbert space L^2(D) has an orthonormal basis consisting of exponentials exp(i 2 pi lambda x). If D has the…
Given a relatively compact set $\Omega \subseteq \mathbb{R}$ of Lebesgue measure $|\Omega|$ and $\varepsilon > 0$, we show the existence of a set $\Lambda \subseteq \mathbb{R}$ of uniform density $D (\Lambda) \leq (1+\varepsilon) |\Omega|$…
Under certain assumptions (including $d\ge 2)$ we prove that the spectrum of a scalar operator in $\mathscr{L}^2(\mathbb{R}^d)$ \begin{equation*} A_\varepsilon (x,hD)= A^0(hD) + \varepsilon B(x,hD), \end{equation*} covers interval…
Let ${\Omega}$ be a bounded plane domain. As is known, the spectrum $0<\lambda_1<\lambda_2\leqslant\dots$ of its Dirichlet Laplacian $L=-\Delta{\upharpoonright}[H^2({\Omega})\cap H^1_0({\Omega})]$ does not determine ${\Omega}$ (up to…
Let $A$ be a polytope in $\mathbb{R}^d$ (not necessarily convex or connected). We say that $A$ is spectral if the space $L^2(A)$ has an orthogonal basis consisting of exponential functions. A result due to Kolountzakis and Papadimitrakis…
The first isospectral pairs of metrics are constructed on balls and spheres. This long standing problem, concerning the existence of such pairs, has been solved by a new method called "Anticommutator Technique." Among the wide range of such…
We consider equally-weighted Cantor measures $\mu_{q,b}$ arising from iterated function systems of the form ${b^{-1}(x+i)}$, $i=0,1,...,q-1$, where $q<b$. We classify the $(q,b)$ so that they have infinitely many mutually orthogonal…
The purpose of the present paper is to place a number of geometric (and hands-on) configurations relating to spectrum and geometry inside a general framework for the {\it Fuglede conjecture}. Note that in its general form, the Fuglede…
We consider "cubes" in products of finite cyclic groups and we study their tiling and spectral properties. (A set in a finite group is called a tile if some of its translates form a partition of the group and is called spectral if it admits…
A finitely-additive measure $\lambda $ on an infinite-dimensional real Hilbert space $E$ which is invariant with respect to shifts and orthogonal mappings has been defined. This measure can be considered as the analog of the Lebesgue…
A spectral set in R^n is a set X of finite Lebesgue measure such that L^2(X) has an orthogonal basis of exponentials. It is conjectured that every spectral set tiles R^n by translations. A set of translations T has a universal spectrum if…