Evaluation of binomial double sums involving absolute values

We show that double sums of the form $$\sum_{i,j=-n} ^{n} |i^sj^t(i^k-j^k)^\beta| \binom {2n} {n+i} \binom {2n} {n+j}$$ can always be expressed in terms of a linear combination of just four functions, namely $\binom {4n}{2n}$, ${\binom {2n}n}^2$, $4^n\binom {2n}n$, and $16^n$, with coefficients that are rational in $n$. We provide two different proofs: one is algorithmic and uses the second author's computer algebra package Sigma; the second is based on complex contour integrals. In many instances, these results are extended to double sums of the above form where $\binom {2n}{n+j}$ is replaced by $\binom {2m}{m+j}$ with independent parameter $m$.Comment: AmS-LaTeX, 42 pages; substantial revision: several additional and more general results, see Proposition 11 and Theorems 15-1

Construction and implementation of asymptotic expansions for Jacobi-type orthogonal polynomials

We are interested in the asymptotic behavior of orthogonal polynomials of the generalized Jacobi type as their degree n goes to ∞. These are defined on the interval [−1, 1] with weight function: w(x)=(1−x)α(1+x)βh(x),α,β>−1 and h(x) a real, analytic and strictly positive function on [−1, 1]. This information is available in the work of Kuijlaars et al. (Adv. Math. 188, 337–398 2004), where the authors use the Riemann–Hilbert formulation and the Deift–Zhou non-linear steepest descent method. We show that computing higher-order terms can be simplified, leading to their efficient construction. The resulting asymptotic expansions in every region of the complex plane are implemented both symbolically and numerically, and the code is made publicly available. The main advantage of these expansions is that they lead to increasing accuracy for increasing degree of the polynomials, at a computational cost that is actually independent of the degree. In contrast, the typical use of the recurrence relation for orthogonal polynomials in computations leads to a cost that is at least linear in the degree. Furthermore, the expansions may be used to compute Gaussian quadrature rules in O(n) operations, rather than O(n2) based on the recurrence relation