3
$\begingroup$

I am sorry if the answer to my question is well-known. I am quite new in this topic, so it will be also nice to have a reference, if it exists.

I was wondered if there exists a nice closed formula for a logarithm of an arbitrary hypergeometric series in the terms of, say, a linear combination of some other hypergeometric series. The reason that makes me believe in the existence of such a formula is the following.

It is an easy exercise to show that the derivative of a hypergeometric series can be expressed as follows: $ \frac{d}{dx} {}_nF_m (a_1,\ldots, a_n;b_1\ldots b_m; x) = \frac {a_1\cdots a_n}{b_1\cdots b_m} {}_nF_m (a_1+1,\ldots, a_n+1;b_1+1\ldots b_m+1; x)$. From the other hand, for an arbitrary function $G(x)$ we have $(\log G(x))' = \frac {G'(x)}{G(x)}$.

It follows that it suffices to find a ratio of two hypergeometric series to find a logarithmic derivative. In some cases this ratio is known to be a hypergeometric series again. So after the integration we'll obtain the desired result.

Thank you in advance for any help.

$\endgroup$

2 Answers 2

9
$\begingroup$

No. This is because all hypergeometrics are holonomic, and holonomic functions can only have a finite number of singularities, which themselves can only be of certain types. If the logarithm of all hypergeometrics could be so expressed, then you could have a holonomic function with a $\ln \ln (x)$ singularity, which is not possible.

I find the paper On the non-holonomic character of logarithms, powers, and the nth prime function by Flajolet, Gerhold and Salvy (The Electronic Journal of Combinatorics, 2005, vol. 11) to be a wonderful compendium of useful tools for disproving holonomicity. Searching through the literature to find these tools is tedious, and so these authors ought to be commended for assembling so many into one pleasant paper.

$\endgroup$
2
  • $\begingroup$ Ah, great. But, if I am not mistaken, this argument seems to work in the case n≥m+1. Is anything known for the case n≤m, when the corresponding hypergeometric series is an entire function? $\endgroup$
    – user79456
    Nov 8, 2011 at 21:35
  • 1
    $\begingroup$ @Max: I am not aware of any specific results in that area. And clearly there are hypergeometric functions whose logarithm is also hypergeometric/holonomic. I would try to figure out what conditions to impose on the ODE satisfied by G so that ln(G) also satisfies an ODE (with polynomial coefficients), and see where that leads. The Weierstrass and Hadamard factorization theorems are likely to be useful, as well as the Structure Theorem (from paper cited above). $\endgroup$ Nov 8, 2011 at 22:20
1
$\begingroup$

Check out this very cool paper (in Proceedings of the National Academy of the US< so freely available, if you care):

Classification of hypergeometric identities for π and other logarithms of algebraic numbers D. V. Chudnovsky* and G. V. Chudnovsky

I am not sure it answers your question, but it comes very close.

$\endgroup$
1

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.