*Difficulty:*★★★☆☆ undergraduate

Consider the following function, which is the product of a certain pair of binomial coefficients:

We take *a*, *b*, *X* >> 1 to be constants, and *x* to have domain [*a* – 1, *X* – *b* + 1] which implies *X* > *a* + *b* – 2 at least. As usual , and this is extended beyond integer values by replacing each factorial with a Gamma function. Note the independent variable *x* appears in the upper entries of the binomial coefficients. Curiously, from inspection *f* is well-approximated by a gaussian curve. To gain some insight, for integer values of the parameters *f* is the polynomial:

This has many zeroes, and sometimes oscillates wildly in between them, hence the domain of *x* specified earlier.

Now the usual approximations to a single binomial coefficient (actually, binomial *distribution*) are not helpful here. For example the de Moivre–Laplace approximation is a gaussian in terms of the lower entry in the binomial coefficient, whereas our *x* is in the upper entries. More promising is the approximation as a Poisson distribution, which leads to a polynomial which is itself gaussian-like, and motivated the previous post incidentally. However we proceed from first principles, by estimating the centre point and the second derivative there.

At the (central) maximum of *f*, the slope is zero. In general the derivative is , where the *H*’s are called harmonic numbers. There may not exist any simple explicit expression for the turning points. Instead, the ratio of nearby points is comparatively simple:

using the properties of the binomial coefficient. The derivative is approximately zero where this ratio is unity, which occurs at:

This should be a close estimate for the central turning point. [To do better, substitute specific numbers for the parameters, and solve numerically.] It is typically not an integer. Our sought-for gaussian has form . We set the height . Only the width remains to be determined. The gaussian’s second derivative evaluated at its centre point is . On the other hand:

which uses the so-called harmonic numbers of order 2, and I incorporate the function and its derivative (both given earlier) for brevity of the expression. Matching the results at yields the variance parameter :

using . (At large values the series may give insight into the above.) But alternatively, we can approximate the second derivative using elementary operations. By sampling the function at , , and say, a “finite differences” approach gives approximate derivatives. We can use the simple ratio formula obtained earlier to reduce the sampling to one or two points only, which might gain some insight along the way (though I currently wonder if this is a dead end…).

Now , which becomes:

after using the ratio formula to obtain in terms of *C*. Similarly it turns out is the negative of the above expression, but with *a* and *b* interchanged. Then a second derivative is: , but the combined expression does not simplify further so I won’t write it out. The last step is to set , which is different to the earlier choice.

A slightly different approach uses , which may be expressed in terms of another sampled point . Similarly . The estimate for the second derivative follows, then later:

The expression is a little simpler in this approach, but at the cost of a second sample point. The use of and instead leads to the same result.