On an Alternating Double Sum of a Triple Product of Aerated Binomial Coefficients

Richard J. Mathar

2023-06-14

Abstract:The double sum sum_(j=0)^m sum_(i=0)^j (-1)^(j-i) C(m,j) C(j,i) C(j+k+qi,j+k) with free nonnegative integer parameters k and q is rewritten as hypergeometric series. Efficient formulas to generate the C-finite ordinary generating functions are presented.

General Mathematics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the simplification and representation of a specific triple - product alternating double sum. Specifically, the paper focuses on the following form of double sum:

\[
a_{k,q}(m) \equiv \sum_{j = 0}^{m}\sum_{i = 0}^{j}(- 1)^{j - i}\binom{m}{j}\binom{j}{i}\binom{j + k+qi}{j + k}
\]

where \(k\) and \(q\) are non - negative integer parameters, and \(m\) is a non - negative integer. The goal of the paper is to re - represent this complex double sum in the form of a hypergeometric series and provide an efficient formula for generating these C - finite ordinary generating functions.

### Main problems:
1. **Simplification of double sum**: How to simplify the above double sum \(a_{k,q}(m)\) into a simpler form, especially represent it as a hypergeometric series.
2. **Generation of generating functions**: How to efficiently generate these C - finite ordinary generating functions for further research and application.

### Background:
The proposal of this problem was inspired by Project Euler Problem 831. Project Euler is an online project containing a large number of mathematics and computer science problems, aiming to encourage people to solve problems through programming. The problem in the paper is the mathematical analysis and simplification of one of the specific problems.

### Solutions:
- **Conversion of hypergeometric series**: Through a series of mathematical transformations, the paper converts the double sum \(a_{k,q}(m)\) into the forms of the terminating Gauss hypergeometric function \({}_2F_1\) and the generalized hypergeometric function \({}_{q + 1}F_q\).
- **Construction of generating functions**: Through the recursive method, the generating functions \(B_{k,q}(z)\) and \(A_{k,q}(z)\) are constructed, and these generating functions can be used to generate the sequences \(b_{k,q}(j)\) and \(a_{k,q}(m)\).

### Examples:
- For \(k = 0\) and \(q = 1\), the double sum can be simplified as:
\[
a_{0,1}(m)=\sum_{j = 0}^{m}\binom{m}{j}=2^m
\]
- For \(m = 0\), the result of the double sum is 1:
\[
a_{k,q}(0)=1
\]
- For \(m = 1\), the result of the double sum is:
\[
a_{k,q}(1)=\binom{1 + k+q}{1 + k}
\]

### Summary:
By converting the complex double sum into the form of a hypergeometric series, the paper provides an effective method to handle and study this type of problem. The construction of generating functions further simplifies the study of these sequences, making their applications in mathematics and computer science more extensive.