What would qualify as a valid reason to believe there is a closed form?

Solution 1:

The question of whether a given integral has a closed form does not have a consistent answer from one practitioner to the next. In my experience, however, there's a plausibility that there is one when the integration limits include a branch point or an otherwise integrable singularity.

But what is a closed form? That said, we can debate until we turn blue as to what constitutes a closed form. In my humble opinion, a closed form implies a means of computing the value of the integral that results in fewer operations that simply computing the integral by some numerical scheme. Knowing when this condition has been satisfied takes a certain level of familiarity with the special functions we use to express our integration results.

For example, erf is considered a closed form, and rightly so, because we have amazingly accurate schemes to compute the error function using very few operations. These schemes are much more often then not much more efficient than any numerical integration scheme, so we may call it a closed form.

On the other hand, consider the following answer to a question posed yesterday:

$$-{\frac {\,{\mbox{$_3$F$_2$}(1/6,1/2,1/2;\,7/6,3/2;\,1)}\Gamma \left( 5/6 \right) \Gamma \left( 2/3 \right) -{\pi }^{3/2}}{6 \Gamma \left( 5/6 \right) \Gamma \left( 2/3 \right) }} $$

Is this considered a closed form? It depends. Is there a scheme that computes such a hypergeometric faster than the original (double) integral, which has an integrable singularity? As I am not very familiar with such hypergeometrics, I'd have a hard time answering that question. My rule of thumb is that, when I see any hypergeometric higher than $_2F_1$ in any result, I do not consider it closed form because it looks so...icky. People who are better versed than me in such matters may feel free to disagree with me.

(NB The actual answer to the question, by the way, is $\pi/24$, which is a whole other can of worms.)

Of course, we could go on about the notion of computability in general, but I'd rather just stick with the notion of tolerance and counting operations.

In any case, I hope these observations won't temper the OP's enthusiasm with working with integrals like the ones he poses and solves here, but will further challenge him to provide more beautiful results that can be useful as well.