Listening to the shape of a drum

Abstract

The aim of this work is to link the quasiconformal geometry of a Euclidean domain $U$ to the spectral properties of its Dirichlet integral $\D$, through the algebra of multipliers $\M(H^{1,2}(U))$ of the Sobolev space. In the main result we prove that a homeomorphism ${\hat{I}}^3:U\to {\hat{I}}^3(U)$ between Euclidean domains, giving rise to an algebraic isomorphism $a\mapsto a\circ {\hat{I}}^3$ between $\M(H^{1,2}(γ(V)))$ and $\M(H^{1,2}(V))$ for any relatively compact domain $V\subseteq U$ and leaving invariant the corresponding fundamental tones (first non zero eigenvalues) of $\D$ \[ μ_1(γ(V),a)=μ_1(V,a\circγ)\, , \] is quasiconformal. A companion characterization hold true for bounded distortion maps. In the converse direction we prove that for $n\ge 3$\\ i) the Möbius group $G({\mathbb{R}}^n)$ acts isometrically on the algebra of multipliers $\M(H^{1,2}_e(\R^n))$ of the extended space $H_e^{1,2}({\mathbb{R}}^n)$\\ ii) $(\D,H^{1,2}(\R^n))$ is a closable quadratic form on $L^2({\mathbb{R}}^n,\hat{I}“[a])$ with respect to the energy measure $\hat{I}“[a]=|\nabla a{|}^{2}dx$ of any $a\in \M(H^{1,2}_e(\R^n))$\\ iii) for any ${\hat{I}}^3\in G({\mathbb{R}}^n)$, the form closure $(\D,\F^a)$ of $(\D,H^{1,2}(\R^n))$ is a Dirichlet form on $L^2({\mathbb{R}}^n,\hat{I}“[a])$, unitarily equivalent to $(\D,\F^{a\circγ})$ on $L^2({\mathbb{R}}^n,\hat{I}“[a\circ {\hat{I}}^3])$. The results are based on connections between fundamental tones and ergodic properties of multipliers: in particular, it is shown that the fundamental tone of $(\D,\F^a)$ on $L^2(U,\hat{I}“[a])$ is non vanishing $\hat{I}{¼}_1(U,a)>0$ for any fully supported $a\in\M(H^{1,2}(U))$, provided there exists a spectral gap for the usual Laplacian.