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

The question here is sparked by the discussion inside this question about indefinite sum(antidifference) of tan(x).

A proposed solution was a function $$f_1(x)=ix-\psi _{e^{2 i}}^{(0)}\left(x+\frac{\pi }{2}\right)+C$$ The function involved is the q-digamma function. Symbolically it resolves to be antidifference of tan(x), one can check it by following this link to Wolfran Alpha's result: http://tiny.cc/60mmf

But it turned out that neither Wolfram Alpha, nor any other software is able to evaluate the q-polygamma function with $q=e^{2 i}$ numerically. Attempting to evaluate it manually also turned out to be too difficult.

A second solution seemed to be easier to evaluate. It was a series that converged absolutely and also has been proven to be an antidifference of tan(x):

$$f_2(x)=-\sum _{k=1}^{\infty } \left( \psi \left(k \pi -\frac{\pi }{2}+1-x\right)+\psi \left(k \pi -\frac{\pi }{2}+x\right) \right. $$ $$ \qquad \left. -\psi \left(k \pi -\frac{\pi }{2}+1\right)-\psi \left(k \pi -\frac{\pi }{2}\right)\right)+C$$

This function has a fancy graphic (see the initial discussion). Since it is known that a function can have several antidifferences which differ between each other by a 1-periodic function, it is interesting, whether the both functions $f_1(x)$ and $f_2(x)$ are equal or what is the difference between them (of course if the first function actually can be evaluated numerically).

share|improve this question
I think the question is: Can anyone provide a definition for $f_1$, since the conventional one does not work for subscripts like $q=e^{2i}$ where $|q| \ge 1$. Without a definition, there no way to say whether it is equal to $f_2$. –  Gerald Edgar Jul 30 '11 at 12:32
add comment

Your Answer


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

Browse other questions tagged or ask your own question.