Courant's nodal domain theorem gives a bound on the number of nodal domains for an eigenfunction of the Laplacian. Namely, if $M$ is a smooth compact Riemannian manifold, and $f$ is an eigenfunction for the $n$th eigenvalue, then the number of nodal domains is bounded by $n$.

Is there a bound on the number of nodal domains for a sum of eigenfunctions (with different eigenvalues)?

Note that in the case $M$ is a sphere, any linear combination of eigenfunctions (spherical harmonics) is a restriction of a homogeneous polynomial of degree $d$ (which is roughly the square root of the largest eigenvalue) and Harnack's bound says that there is a bound of order $d^2$ (same order as Courant's bound for the top eigenfunction). Similarly, higher dimensional spheres and flat tori admit bounds with the same order as Courant's that apply for a sum of eigenfunctions.


On a Riemann surface $\Sigma$, consider the space $H_\lambda$ spanned by eiigenfunctions corresponding to eigenvalues $\leq \lambda$. By Weyl's asymptotic formula we know that

$$ \dim H_\lambda \sim const \lambda $$

as $\lambda \to \infty$. Denote by $S_\lambda$ the unit sphere in $H_\lambda$ with respect to the $L^2$-norm. Equip with with the unique rotationally invariant measure of total volume $1$ so now you can think of $S_\lambda$ as a probability space. Thus, for any $f\in S_\lambda$, the number $N_f$ of zonal regions of $f$ is a random variable. We denote by $N_\lambda$ its expectation, i.e., the average number of zonal domains of a function $f\in S_\lambda$. One can show that there exists a constant $C>0$ such that

$$ N_\lambda \leq C\lambda $$

for $\lambda \gg 0$. For a proof see this preprint.

I actually believe that

$$ N_\lambda \sim C\lambda $$

as $\lambda \to \infty$, but I have no promising idea how to approach this.

  • $\begingroup$ Thanks for the interesting preprint! I am still curious about the deterministic case, but this random formulation is actually closer to my original motivation. A lower bound for $N_\lambda$ is proved in the case when M is a hypersphere in arXiv:1212.3823v2 (with the same ensemble you mention). Also, F. Nazarov and M. Sodin propose a lower bound in more general settings. Some explanation of their ideas are contained in these slides: ipht.cea.fr/Pisp/stephane.nonnenmacher/ESI2012/Sodin-slides.pdf $\endgroup$ – Erik Lundberg Jan 28 '13 at 3:19

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.