Whispering gallery modes are eigenfunctions of the Laplacian that concentrate their energy near the boundary of a domain. In a circular room, these are the acoustic modes that allow a whisper along the wall to travel the full circumference — the energy hugs the boundary instead of filling the interior. Mathematically, they are high-eigenvalue solutions whose mass localizes in a narrow strip near the domain's edge.
These modes are understood as a consequence of linearity. The eigenvalue problem is linear. The boundary concentration follows from the interplay of high frequency and geometric curvature. The implicit assumption: adding nonlinearity to the equation would destroy this delicate boundary-hugging behavior.
Lin shows it does not. For semilinear Dirichlet eigenvalue problems — where a nonlinear term f(u) is added to the Laplacian eigenvalue equation — whispering gallery modes persist. High-eigenvalue solutions still concentrate near the boundary, with applications to Allen-Cahn equations where the nonlinearity is a double-well potential.
The mechanism: boundary concentration in the linear case depends on the geometry of the domain (curvature, dimension) and the spectral parameter (eigenvalue). The nonlinear term modifies the eigenvalue and the mode shape but does not override the geometric mechanism that drives boundary concentration. At sufficiently high eigenvalues, the geometric effect dominates the nonlinear perturbation. The mode is deformed but not delocalized.
This is a structural statement about the robustness of geometric phenomena in PDE theory. The boundary concentration is not a fragile artifact of linearity. It is a consequence of domain geometry that survives perturbation by nonlinear terms of the type that arise in physical applications. The geometry of the container is a stronger determinant of mode structure than the analytical character of the equation.
The general principle: phenomena that look like they depend on linearity sometimes depend on geometry, and geometry is harder to perturb. Linearity was a sufficient condition, not a necessary one. The whispering gallery was never a property of the equation. It was a property of the room.