Relations among spheroidal and spherical harmonics

Abstract

A contragenic function in a domain $Ω\subseteq\mathbf{R}^3$ is a reduced-quaternion-valued (i.e. the last coordinate function is zero) harmonic function, which is orthogonal in $L^2(Ω)$ to all monogenic functions and their conjugates. The notion of contragenicity depends on the domain and thus is not a local property, in contrast to harmonicity and monogenicity. For spheroidal domains of arbitrary eccentricity, we relate standard orthogonal bases of harmonic and contragenic functions for one domain to another via computational formulas. This permits us to show that there exist nontrivial contragenic functions common to the spheroids of all eccentricities.

Theorems & Definitions (20)

• Proposition 3.1: BBS
• Corollary 3.2
• Theorem 3.3: Morais4
• Proposition 3.4
• Corollary 3.5: Morais4
• Theorem 3.6
• proof
• Corollary 3.7
• proof
• Theorem 4.1: Morais4Morais5