Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

If the Gauss hypergeometric function $F(1, 3/2, 5/2; z^2) = 3 [\tanh^{-1} (z) –z]/z^3$
what is the corresponding result for $F(1,15/8,23/8;z^8) $?

share|improve this question
    
MVS, I threw in a little formatting; please check to see that I didn't change any meanings. –  Gerry Myerson Jun 6 '13 at 5:36
    
Is there a reason to expect a closed form? –  Noam D. Elkies Jun 6 '13 at 15:52
    
Thanks for the formatting. The reason for expecting the simplification is that one of the Kummer's 24 relations seems applicable here.Further,the function F(1,1/8,9/8;1-z) seems approximately equal to z^(-1/8).e.g F(1,1/8,9/8;0.21) = 1.026 while (1-0.21)^(-1/8) = 1.029.Hence the anticipation that for both the hypergeometric functions there may be simple representations such as polynomials or hyperbolic functions. –  M V S Jun 7 '13 at 7:54
add comment

1 Answer

up vote 0 down vote accepted

There is a special form for hypergeometric functions of the form $$ F(1,\beta,1+\beta,z) = \beta z^{-\beta}B(z,\beta,0) $$ when $\beta = p/q$ is a rational number (where $B$ is the incomplete beta function).

Write $$ \frac{z^\beta}{\beta}F(1,\beta,1+\beta,z) = \sum_{k\geq0} \frac{z^{\beta+k}}{\beta+k} = q\sum_{k\geq0}\frac{(z^{1/q})^{p+k q}}{p+k q} = q\sum_{k\geq0}\frac{(z^{1/q})^k}{k}[k\bmod q=p]. $$

The point is that you can use $$ \log(1-x) = -\sum_{k\geq1} \frac{x^k}{k} $$ and $$ \sum_{0\leq l < q} \zeta^{a l} = q[a\bmod q=0], \qquad \zeta=e^{2\pi i/q}, \quad a\in\mathbb{Z} $$ to write $$ \sum_{0\leq l < q} -\zeta^{-l p}\log(1-\zeta^l x) = \sum_{k\geq1}\sum_{0\leq l < q} \frac{\zeta^{-lp+lk}x^k}{k} = \sum_{k\geq1} \frac{x^k}{k}q[k\bmod q=p]. $$

So the closed form is $$ \frac{z^\beta}{\beta}F(1,\beta,1+\beta,z) = \sum_{0\leq l < q}-\zeta^{-lp}\log(1-\zeta^l z^{1/q}), \qquad \beta=\frac pq, \quad p,q\in\mathbb{Z}. $$

I would be interested to know how this form should be generalized to irrational $\beta$.

share|improve this answer
    
Thanks for the illuminating reply.Found it very useful.In the special case, where beta =1/8 or 15/8, I expect the answer to be a sine hyperbolic function of powers of z.In the case when beta=1/2, in the original question,the answer is a tan inverse hyprebolic function of z.Is this anticipation justified? –  M V S Jun 16 '13 at 4:57
    
The closed form seems to be valid only when beta is less than one.If true, what will be the form when beta is greater than one? –  M V S Jun 18 '13 at 9:59
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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