Hi,

I asked some time ago the following question on math.stackexchange, but I ask it here too since it remains unanswered.

The question concerns a function I encountered during research :

$$f(k):= k K(k) \sinh \left(\frac{\pi}{2} \frac{K(\sqrt{1-k^2})}{K(k)}\right)$$ for $k \in (0,1)$.

Here $K$ is the Complete elliptic integral of the first kind, defined by $$K(k):= \int_{0}^{1} \frac{dt}{\sqrt{1-t^2} \sqrt{1-k^2t^2}}.$$

More specifically, my question is the following :

Is $f$ decreasing on $(0,1)$?

This seems to be true, as the graph below suggests :

$f$" />

In fact, as remarked by Henry Cohn, much more seems to be true : all the derivatives of $f$ seem to be negative. This can be seen by looking at the Taylor series expansion of $f$ (see the link to math.stackexchange). The Taylor series expansion seems to have all negative coefficients (except the constant term), and the coefficient of $k^{2j}$ seems to be $\pi$ times a rational number with denominator dividing $16^j$...

Any comment or relevant reference is welcome.

Thank you, Malik