Take four congruent octagonal regular polygons with four alternate sides labelled . The intervening sides have Neumann boundary conditions. Pair equal face parameters in the positive reference boundary direction. The complete gluing data areAll unpaired labelled faces not in a Dirichlet column also have Neumann boundary conditions. Encode these rules by signed permutation matrices, using a positive swap for a paired interface and diagonal or for an unpaired Dirichlet boundary condition or Neumann boundary condition. The four-by-four Hadamard matrix above satisfies for every label. Explicitly, if its columns are , applying gives respectively , , , and , which are exactly the columns of the corresponding . On every intervening face the face matrix is the identity.
Since , the orthogonal matrix preserves the inner product and the sum of Dirichlet energies. Its intertwining relations map matching Sobolev traces and zero Dirichlet traces bijectively to those of the other assembly. It therefore preserves the quadratic form domains and the forms themselves. The associated self-adjoint operators are unitarily equivalent, proving equality of all eigenvalues with their multiplicities for the specified mixed boundary conditions.
The topology of disk tiles glued along disjoint boundary arcs shows that , whose gluing graph is in a path, is a closed disc and is simply connected and orientable. The gluing graph of has edges ; it is connected with two independent cycles, so and . Its odd cycle makes it a nonorientable surface. Each assembled surface has nonempty polygonal boundary. This explicitly realizes isospectrality between a simply-connected orientable bordered surface and a nonorientable, non-simply-connected one. The boundary corners and mixed boundary conditions are essential qualifications; it does not contradict the Euler characteristic from the heat trace of a bordered surface for smooth boundaries and pure boundary conditions.
Articles by others on the same topic
There are currently no matching articles.