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

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.