9
$\begingroup$

Let $\Omega$ be a precompact open subset of ${\mathbb R}^2$ with piecewise smooth boundary. Let $u$ be an eigenfunction of the Laplacian on $\Omega$ with either Dirichlet or Neumann conditions on $\partial \Omega$. Is it possible that some level set of $u$ has a `cusp'? By cusp, I mean a critical point $z$ of $u$ such that the level sets of $u$ topologically foliate a neighborhood of $z$.

The prototypical example of a cusp is the critical point $(0,0)$ of the function $f(x,y)=x^2+y^3$. A Mathematica generated sketch of the topological foliation is provided here:

enter image description here

S. Y. Cheng observed many years ago that if a critical point lies on the zero level set of a planar eigenfunction, then near the critical point, the zero level set is akin to that of a harmonic polynomial. It follows that the answer to the question is `no' if restricted to critical points that lie in the zero level set.

$\endgroup$
  • 2
    $\begingroup$ One way to try for a counterexample is to choose a region with an eigenvalue of large enough multiplicity that one might expect some eigenfunction to have a level set with the desired singularity. $\endgroup$ – Noam D. Elkies Jul 4 '17 at 22:52
  • $\begingroup$ Thanks Noam. We've been looking at the square and its high dimensional eigenspaces, but nothing came up yet. $\endgroup$ – Chris Judge Jul 4 '17 at 22:59
  • 1
    $\begingroup$ The square was my first thought, but then I noticed you required smooth boundary. Is piecewise smooth good enough? $\endgroup$ – Noam D. Elkies Jul 4 '17 at 23:17
  • 2
    $\begingroup$ @Noam. My apologies. I clumsily intended the word `say' to indicate the possibility of piecewise smooth. I will edit. Thanks! $\endgroup$ – Chris Judge Jul 5 '17 at 1:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.