Table of Contents
Fetching ...

Rotating Isospectral Drums

Anton Lebedev

TL;DR

This work investigates whether isospectral planar drums retain isospectrality under uniform rotation. It develops a physical-mathematical framework using differential forms and a 3+1 spacetime foliation to derive a rotating-wave equation for TM modes, including Coriolis-like couplings. The problem is recast as a gyroscopic quadratic eigenvalue problem and solved with a self-written FEM, validated against analytic disc/square results and existing literature, and then applied to known isospectral domain pairs. The key finding is that even isospectral domains at rest diverge when rotated, with the spectral differences growing quadratically in $\left(\tfrac{\omega}{c}\right)$; medium effects and the choice of full versus linearized equations modulate the magnitude but not the quadratic scaling. This implies that rotation renders isospectrality fragile and highlights a robust numerical framework for gyroscopic PDEs in complex geometries with potential applications to rotating structures and metamaterial designs.

Abstract

In this thesis I demonstrate that isospectral domains, that is domains of differing geometric shapes that possess identical spectra, do not remain isospectral when subject to uniform rotation. One thus *can* hear the shape of a rotating drum. It is shown that the spectra diverge as $\propto\left(\fracω{c}\right)^2$ similarly to a square but different from a circle, whose degenerate eigenfrequencies split $\propto \left(\fracω{c}\right)$. The latter two cases are studied analytically and used as test cases for the selection of numerical solution methods. I demonstrate that the presence of a simple medium attenuates the effects of rotation on the spectrum differences. Further I show that the common but linearised augmented wave equation yields eigenmodes with sensible structure for non-physical parameters, whereas a full equation destroys the structure as intended. The full equation is obtained from first principles using Maxwell equations formulated as differential forms and a careful application of the 3+1 foliation of space-time. The differences of the result from literature arXiv:physics/0607016 are highlighted and their effects studied. The equation is treated analytically on simple domains to obtain reference data for numerical analysis. Nodal and modal discretisations of the PDE are tested and a self-written FEM implementation is chosen due to higher precision of the results. As part of the validation process I demonstrate that results of arXiv:physics/0607016 are reproducible. The resulting gyroscopic quadratic eigenvalue problem is linearised into a Hamiltonian/skew-Hamiltonian pencil and a suitable shift operator for the Arnoldi iteration is determined. The resulting formulation is solved using ARPACK.

Rotating Isospectral Drums

TL;DR

This work investigates whether isospectral planar drums retain isospectrality under uniform rotation. It develops a physical-mathematical framework using differential forms and a 3+1 spacetime foliation to derive a rotating-wave equation for TM modes, including Coriolis-like couplings. The problem is recast as a gyroscopic quadratic eigenvalue problem and solved with a self-written FEM, validated against analytic disc/square results and existing literature, and then applied to known isospectral domain pairs. The key finding is that even isospectral domains at rest diverge when rotated, with the spectral differences growing quadratically in ; medium effects and the choice of full versus linearized equations modulate the magnitude but not the quadratic scaling. This implies that rotation renders isospectrality fragile and highlights a robust numerical framework for gyroscopic PDEs in complex geometries with potential applications to rotating structures and metamaterial designs.

Abstract

In this thesis I demonstrate that isospectral domains, that is domains of differing geometric shapes that possess identical spectra, do not remain isospectral when subject to uniform rotation. One thus *can* hear the shape of a rotating drum. It is shown that the spectra diverge as similarly to a square but different from a circle, whose degenerate eigenfrequencies split . The latter two cases are studied analytically and used as test cases for the selection of numerical solution methods. I demonstrate that the presence of a simple medium attenuates the effects of rotation on the spectrum differences. Further I show that the common but linearised augmented wave equation yields eigenmodes with sensible structure for non-physical parameters, whereas a full equation destroys the structure as intended. The full equation is obtained from first principles using Maxwell equations formulated as differential forms and a careful application of the 3+1 foliation of space-time. The differences of the result from literature arXiv:physics/0607016 are highlighted and their effects studied. The equation is treated analytically on simple domains to obtain reference data for numerical analysis. Nodal and modal discretisations of the PDE are tested and a self-written FEM implementation is chosen due to higher precision of the results. As part of the validation process I demonstrate that results of arXiv:physics/0607016 are reproducible. The resulting gyroscopic quadratic eigenvalue problem is linearised into a Hamiltonian/skew-Hamiltonian pencil and a suitable shift operator for the Arnoldi iteration is determined. The resulting formulation is solved using ARPACK.

Paper Structure

This paper contains 63 sections, 2 theorems, 179 equations, 18 figures, 2 tables.

Key Result

Theorem 2.1.1

The strong principle of equivalence states that gravitational forces are equivalent to inertial forces. Or equivalently that the laws of special relativity are valid in a local inertial system.

Figures (18)

  • Figure 1: Two pairs of isospectral domains treated in gordon_isospectral_1992. These two-dimensional geometries constitute the main subjects of study of the present work. The red dot signifies the origin of the coordinate system, the blue dot represents the centre of mass of the figures. The importance of both shall become apparent in due course.
  • Figure 2: The two orbifolds $G_1\setminus\mathcal{M},G_2\setminus\mathcal{M}$, along with their fundamental tile, taken from gordon_isospectral_1992, from which \ref{['subfig:ElaborateIDs']} results by cutting along the center plane. Both are "embedded" in $\mathbb{R}^3$ for visualization purposes only.
  • Figure 3: The triangulations of the domains of Fig. \ref{['subfig:SimpleIDs']}. The make-up of the domains is apparent. These triangulations serve as the starting meshes for the numerical solution of \ref{['eq:10']} using finite element methods \ref{['ch:Exp_AlgebraicFormulation']}.
  • Figure 4: Deviation of the eigenvalues of a rotating disc $\mathcal{D}_1$ from their static counterparts computed using COMSOL 5.2 using the linearized PDE \ref{['eq:SHDerived']} with $n=1$.
  • Figure 5: Comparison of the change of the eigenvalues of the unit square obtained with the modal decomposition of \ref{['eq:ModalDecompositionQEVP']} and FE discretization of the linearized PDE \ref{['eq:EV_LinPDE_FE_AlgebraicForm']}. Both computed for vacuum ($n=1$). The dip for $\lambda_3$ in fig \ref{['subfig:Exp_ModalVsNodal_UnitSquare_Modal']} is due to a numerical error and may be neglected on the same basis as the dips encounted in \ref{['fig:PolyDegConvergenceStudy']}. The flat region for FEM is due to the limited precision of the method.
  • ...and 13 more figures

Theorems & Definitions (35)

  • Definition 1.1.1: Charts, Atlases and Manifolds
  • Definition 1.1.2: (Co)tangent spaces
  • Definition 1.1.3: Tangent Map
  • Definition 1.1.4: Tensor
  • Definition 1.1.5: Differential $k$-Form
  • Definition 1.1.6: Exterior Product
  • Definition 1.1.7: Interior Multiplication I
  • Definition 1.1.8: Exterior Derivative
  • Remark 1.1.1
  • Definition 1.1.9: Pullback
  • ...and 25 more