The ultraspherical background of the Jacobi phase expansion, in closed form

Abstract

The large-degree phase of $P_n^{(α,β)}(\cosθ)$ carries, at each order in $\Nn^{-1}=(n+\frac{α+β+1}2)^{-1}$, an additive constant $κ_r$ which the phase equation does not determine. These constants are antisymmetric in $(α^2,β^2)$ and vanish on the ultraspherical diagonal $α=β$; what does not vanish there is the amplitude, and we compute it completely: the Borel transform of the diagonal logarithm is \[ Ψ_A(t)=\frac{e^{t}\bigl(\cosh2αt-\cosh t\bigr)}{\sinh 2t}. \] The proof is arithmetic rather than asymptotic, through the terminating half-odd-integer family and two classical Bessel recurrences. Second, we linearise transversally over this background and resolve the transverse problem: a physical-curve contiguity with ballot-number numerators and an exact Appell $F_3\to{}_2F_1$ reduction render the transverse tangent a parameter variation of a zero-balanced Gauss function, split at the boundary into Gamma-closed blocks and solved by quadratures. The formal transverse tangent is thereby computed in closed form (trigamma series for its real part, an explicit Genocchi--Bernoulli central-difference quadrature for its imaginary part), in all orders, with the required sectorial estimates proved in a dedicated appendix. Third, the arithmetic consequence: the Genocchi form of the Gamma exponent has a unique $2$-adically dominant all-ones partition, from which we prove $ν_2(w_m)=-2ν_2((2m)!)$ for every $m\ge0$: the sharp dyadic denominator law for the phase constants, $((2m)!)^2w_m\in\mathbb Z_2^\times$, in all orders. A conjugate-layer factorisation certified by a Wilf--Zeilberger argument, four auxiliary valuation laws, and an application to the computation of Jacobi zeros for general admissible real parameters ($α,β>-1$) complete the picture.