Group-Theoretical Origin of the Sectoral-Tesseral-Zonal Trichotomy in Spherical Harmonics

TL;DR

This paper explains the sectoral-tesseral-zonal classification of spherical harmonics using SO(3) representation theory, revealing their mathematical origins and confirming predictions with electromagnetic cavity simulations.

Contribution

It provides a group-theoretical explanation for the harmonic families and extends the understanding to non-integer azimuthal indices, supported by numerical validation.

Findings

Sectoral harmonics correspond to highest-weight vectors annihilated by L_+.

Tesseral harmonics arise from the full ladder algebra, allowing non-integer modes.

Numerical simulations confirm the predicted frequencies with high accuracy.

Abstract

The spherical harmonics $Y_\ell^m$ fall into three families -- sectoral ($\ell = |m|$), tesseral ($\ell > |m| > 0$), and zonal ($m = 0$) -- which exhibit fundamentally different behaviour under analytic continuation to non-integer parameters. We demonstrate that this trichotomy has a natural explanation in the representation theory of SO(3). Sectoral harmonics correspond to highest-weight vectors annihilated by the raising operator $L_+$; this annihilation condition reduces to a first-order differential equation admitting solutions for any real $m > 0$, independent of representation-theoretic constraints. Tesseral harmonics arise from the full ladder algebra acting on highest-weight states; for non-integer $m$, this construction yields tesseral modes at $\nu = m + k$ for positive integer $k$, with the hypergeometric series terminating when $\nu - m$ is a non-negative integer. Zonal harmonics with $m = 0$ require integer $\nu$ on the full sphere, but TE-polarised zonal modes survive in wedge geometries because their electric field components automatically satisfy the conducting boundary conditions. Numerical simulations of electromagnetic cavities with conducting wedges confirm these predictions quantitatively: both sectoral modes ($\nu = m$) and tesseral modes ($\nu = m + k$) are observed with sub-percent frequency agreement, validating the extended framework for non-integer azimuthal index.