## Some Double-Exponential Series

2017 Jan 7

Evaluate the following infinite series:

All of these series are telescoping series, but determining how to telescope them can be difficult and involve a lot of nasty algebra, so I shall instead show how to derive their values from infinite products that are easy to evaluate using logarithmic differentiation. Consider first the infinite product where $\alpha$, with $|\alpha|\lt 1$, is a parameter. We are leaving $\alpha$ as a variable for now so that we may differentiate with respect to it later. This is an easy product to evaluate if one recalls the following "difference of squares" factoring trick from algebra: This trick can be extended to greater heights: We shall use this trick to telescope this product into a closed form: which gives us the result Now we shall apply logarithmic differentiation - that is, we will take the logarithm of both sides, and then differentiate. Taking the logarithm, we have and differentiating both sides with respect to $\alpha$, we have or By taking $\alpha=1/2$, we obtain the value of the first series: We may also take the previous result and differentiate again with respect to $\alpha$ for another formula: Letting $\alpha=4$ gives the solution to the third problem: If we rearrange this last formula a little bit, we have After a lot of gross algebra and some properties of the hyperbolic functions, this turns into or, letting $\ln\alpha=\beta$, This is our polished formula, which will later be accompanied by a similar (but more difficult to prove) twin formula.

Another product can be obtained using the "difference of cubes" factoring trick and its generalization: From this trick, we have that if $|\alpha|\lt 1$, Of course, these tricks can be taken even further using formulas for differences of fourth, fifth, and higher powers, but this is as far as I will take it.

Now consider the product with $\alpha\gt 0$. Using the difference of squares factoring trick, we have yielding the result By taking a logarithm of both sides, we have and differentiating gives us, after a bit of nasty algebra, Using this formula with $\alpha=1/2$, we can obtain the value of the first sum: Differentiating the formula again (and a bit of algebra) yields the formula and with a bit of algebraic manipulation, this turns into and, letting $\beta=\ln\alpha$, this becomes the "twin formula" mentioned earlier: Again, the trick used to obtain this formula can be extended to use difference of cube, fourth power, and higher degree factoring tricks, but that's all I will do with it for now.