We summarize the properties of eigenvalues and eigenfunctions of the Laplace operator in bounded Euclidean domains with Dirichlet, Neumann or Robin boundary condition. We keep the presentation at a level accessible to scientists from various disciplines ranging from mathematics to physics and computer sciences. The main focus is put onto multiple intricate relations between the shape of a domain and the geometrical structure of eigenfunctions.

We consider Laplacian eigenfunctions in circular, spherical and elliptical domains in order to discuss three kinds of high-frequency localization: whispering gallery modes, bouncing ball modes, and focusing modes. Although the existence of these modes was known for a class of convex domains, the separation of variables for above domains helps to better understand the "mechanism" of localization, i.e. how an eigenfunction is getting distributed in a small region of the domain, and decays rapidly outside this region. Using the properties of Bessel and Mathieu functions, we derive the inequalities which imply and clearly illustrate localization. Moreover, we provide an example of a non-convex domain (an elliptical annulus) for which the high-frequency localized modes are still present. At the same time, we show that there is no localization in most of rectangle-like domains. This observation leads us to formulating an open problem of localization in polygonal domains and, more generally, in piecewise smooth convex domains.

No abstract

Abstract. The Laplace operator in infinite quantum waveguides (e.g., a bent strip or a twisted tube) often has a point-like eigenvalue below the essential spectrum that corresponds to a trapped eigenmode of finite L2 norm. We revisit this statement for resonators with long but finite branches that we call "finite waveguides". Although now there is no essential spectrum and all eigenfunctions have finite L2 norm, the trapping can be understood as an exponential decay of the eigenfunction inside the branches. We describe a general variational formalism for detecting trapped modes in such resonators. For finite waveguides with general cylindrical branches, we obtain a sufficient condition which determines the minimal length of branches for getting a trapped eigenmode. Varying the branch lengths may switch certain eigenmodes from non-trapped to trapped states. These concepts are illustrated for several typical waveguides (L-shape, bent strip, crossing of two stripes, etc.). We conclude that the well-established theory of trapping in infinite waveguides may be incomplete and require further development for being applied to microscopic quantum devices.