Eigenfunction nodal domains and Courant theorem

Remove the zero set of a nonzero real eigenfunction and take the connected components of what remains. Continuity makes its sign constant on each component. In one dimension the zero set cuts intervals or circles into pieces, but in higher dimensions counting isolated zeros is not the relevant operation. A nodal set can have intersecting branches or singular points; the component definition still applies. Boundary points of a Dirichlet domain are not themselves extra nodal domains.

The first Dirichlet eigenfunction on a connected smooth bounded domain can be chosen strictly positive in the interior, and its eigenvalue is simple. On a closed connected manifold, the first entry is instead the constant zero mode with one nodal domain. These are different low-index starting points. A mean-zero nonconstant real eigenfunction must take both signs, so it has at least two nodal domains, but the number can depend strongly on geometry and on the selected vector inside a multiple eigenspace.

With eigenvalues listed increasingly from index one and repeated by multiplicity, Courant's theorem says that a kth eigenfunction has at most k nodal domains. The list includes zero on a closed manifold. A repeated eigenvalue has several slots and no preferred basis vector within its eigenspace. If only the eigenvalue is specified, using the last occupied index gives an unambiguous valid upper bound for every vector in that eigenspace; a particular ordered-basis assignment can give a sharper bound.

The variational proof restricts an eigenfunction to selected nodal domains and extends those restrictions by zero. They are admissible energy-form functions with disjoint supports, and every nonzero combination has the same Rayleigh quotient as the original eigenfunction. Too many nodal pieces permit orthogonality to enough low modes. Min–max and the equality case, together with unique continuation in the stated smooth setting, yield a contradiction. This sketch relies on admissibility of the zero extensions; drawing disjoint colored regions alone is not the proof.

An eigenfunction attaining the bound is called Courant sharp in the relevant indexing. The interval sine modes attain it at every Dirichlet index. Higher-dimensional domains behave differently; Courant supplies an upper bound, not a rule that every mode must have exactly its index in sign components. Additional theorems can limit how often equality occurs, but their dimension and boundary hypotheses must be stated separately. No such stronger universal classification follows merely from the inequality written here.

A sum of eigenfunctions with different eigenvalues is generally not an eigenfunction. Its nodal pattern therefore cannot be assigned the index of its largest visible frequency and put into Courant's theorem without an additional result. Mixtures within one eigenspace remain eigenfunctions, but their nodal sets may vary. This distinction is especially important for finite Fourier visualizations, which often display a mixture rather than a single spectral mode even when every term is individually a familiar sine wave.