[Paper Review] On the number of nodal domains of the 2D isotropic quantum harmonic oscillator -- an extension of results of A. Stern --

Pierre Bérard, Bernard Helffer|arXiv (Cornell University)|Sep 8, 2014

Spectral Theory in Mathematical Physics9 references5 citations

TL;DR

This paper extends Antonie Stern's 1925 result on nodal domains to the 2D isotropic quantum harmonic oscillator, proving the existence of a sequence of eigenvalues with eigenfunctions possessing exactly two nodal domains. Using symmetry, perturbation analysis, and nodal set stability near specific angles (π/4 and 3π/4), the authors show that for odd quantum numbers n, certain superpositions of Hermite functions yield eigenfunctions with a single connected nodal curve dividing the plane into two domains.

ABSTRACT

In the case of the sphere and the square, Antonie Stern (1925) claimed in her PhD thesis the existence of an infinite sequence of eigenvalues whose corresponding eigenspaces contain an eigenfunction with two nodal domains. These two statements were given complete proofs respectively by Hans Lewy in 1977, and the authors in 2014 (see also Gauthier-Shalom--Przybytkowski (2006)). The aim of this paper is to obtain a similar result in the case of the isotropic quantum harmonic oscillator in the two dimensional case.

Motivation & Objective

• To extend Antonie Stern’s 1925 result on nodal domains in the square and sphere to the 2D isotropic quantum harmonic oscillator.
• To prove the existence of eigenfunctions with exactly two nodal domains in the harmonic oscillator setting, analogous to Stern’s claim.
• To analyze the nodal set structure of eigenfunctions in the eigenspace of the harmonic oscillator using angular superpositions of Hermite functions.
• To establish conditions under which the nodal set becomes a connected, simple curve with exactly two nodal domains.
• To investigate the validity of Courant’s theorem and identify Courant-sharp eigenvalues in this system.

Proposed method

• Construct eigenfunctions as linear combinations of the form $\Phi^\theta_n = \cos\theta\, \phi_{n,0} + \sin\theta\, \phi_{0,n}$, where $\phi_{m,n}$ are eigenfunctions of the harmonic oscillator.
• Use symmetry with respect to the map $(x,y) \mapsto (-x,-y)$ to analyze nodal domain structure, distinguishing even and odd eigenfunctions.
• Apply perturbation theory near $\theta = \pi/4$ and $\theta = 3\pi/4$ to show that double crossings on the diagonal disappear, leading to a regular nodal curve.
• Employ local nodal pattern analysis and barrier lemmas to prove that the nodal set is a connected, simple curve asymptotic to the line $x = y$.
• Use Courant’s method with energy estimates and Green’s formula, adapted to the harmonic oscillator’s exponential decay, to bound nodal domain counts.
• Leverage properties of Hermite polynomials, including recurrence relations and zero distribution, to analyze nodal set behavior.

Experimental results

Research questions

• RQ1 Do there exist eigenfunctions of the 2D isotropic quantum harmonic oscillator with exactly two nodal domains, analogous to Stern’s result for the Laplacian on the square and sphere?
• RQ2 How does the nodal set of superpositions $\Phi^\theta_n$ behave for odd $n$ near $\theta = \pi/4$ and $\theta = 3\pi/4$?
• RQ3 Can the nodal set be shown to be a connected, simple regular curve for $\theta$ near but not equal to $\pi/4$ or $3\pi/4$?
• RQ4 What is the maximal number of nodal domains for eigenfunctions in the eigenspace $\mathcal{E}_\ell$, and which eigenvalues are Courant-sharp?
• RQ5 How do symmetry properties (even/odd under $(x,y) \mapsto (-x,-y)$) affect the nodal domain count and the applicability of Courant-type bounds?

Key findings

• For odd $n$, there exists an open interval $I_{3\pi/4}$ containing $3\pi/4$ such that for $\theta \in I_{3\pi/4} \setminus \{3\pi/4\}$, the eigenfunction $\Phi^\theta_n$ has exactly two nodal domains.
• For sufficiently small $\theta > 0$, the eigenfunction $\Phi^\theta_n$ also has exactly two nodal domains, with the nodal set being a connected simple curve.
• The nodal set of $\Phi^\theta_n$ is asymptotic to the line $x = y$ at infinity and forms a single connected curve for $\theta$ near $\pi/4$ or $3\pi/4$.
• The only Courant-sharp eigenvalues of the 2D isotropic harmonic oscillator are $\hat{\lambda}(0) = 2$, $\hat{\lambda}(1) = 4$, and $\hat{\lambda}(2) = 6$, corresponding to 1, 2, and 4 nodal domains respectively.
• The improved nodal domain bound $\mu_L(\ell)$ is strictly less than Courant’s bound $\mu_C(\ell)$ for $\ell \geq 3$, due to symmetry constraints.
• The nodal set of eigenfunctions in $\mathcal{E}_2$ is either a hyperbola (two intersecting lines) or an ellipse, both of which yield exactly two nodal domains in the case of a hyperbola, confirming the Courant-sharp case.