Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm looking for any "closed form" for the coefficient of the $\ell$-th power of $K(x)$, the complete elliptic integral of the first kind.


share|cite|improve this question
Does (2) from here help you? Wiki also has something to tell :$K(k) = \frac{\pi}{2} \sum_{n=0}^\infty \left[\frac{(2n)!}{2^{2 n} (n!)^2}\right]^2 k^{2n} = \frac{\pi}{2} \sum_{n=0}^\infty [P_{2 n}(0)]^2 k^{2n}$. – draks ... Apr 23 '12 at 13:53
Thanks for answer. I have this expression and I look for the l-th power. I have found a connexion with the Dedekind eta function for which l-th powers are well studied...let see...;o)). Thanks again. – Gianfranco OLDANI Apr 23 '12 at 21:37

Since the user seems to have not come back, I'll just leave this around:


$$K(m)=\int_0^\frac{\pi}{2}\frac{\mathrm du}{\sqrt{1-m\sin^2 u}}$$

be the complete elliptic integral of the first kind with parameter $m$, we have the corresponding hypergeometric series expansion

$$K(m)=\frac{\pi}{2}\sum_{j=0}^\infty \binom{2k}{k}^2\left(\frac{m}{16}\right)^k$$

As always, if one wants the coefficients of $\left(\dfrac2{\pi}K(m)\right)^\ell$, the usual recourse is the Faà di Bruno formula. One especially convenient form makes use of the partial Bell polynomials:

$$\left(\frac2{\pi}K(m)\right)^\ell=1+\sum_{j=1}^\infty \mathcal K_j m^j$$


$$\mathcal K_j=\frac1{j!}\sum_{r=1}^j r!\binom{\ell}{r} B_{j,r}\left(\frac14,\frac9{32},\cdots,\frac{(j-r+1)!}{16^{j-r+1}}\binom{2(j-r+1)}{j-r+1}^2\right)$$

There may be simpler expressions for $\mathcal K_j$, but I don't know them.

The convenience of the Bell polynomial formulation of the Faà di Bruno formula lies in the fact that computing environments like Mathematica explicitly support the partial Bell polynomials. As a demonstration:

With[{l = 5}, CoefficientList[Series[(2EllipticK[m]/Pi)^l,{m, 0, 6}],m]]
{1, 5/4, 85/64, 345/256, 22005/16384, 87009/65536, 1370745/1048576}

With[{l = 5}, Prepend[Table[
     Sum[k! Binomial[l, k] BellY[n, k,
              Table[j! Binomial[2 j, j]^2/16^j, {j, 1, n - k + 1}]],
         {k, 1, n}]/n!, {n, 1, 6}], 1]]
{1, 5/4, 85/64, 345/256, 22005/16384, 87009/65536, 1370745/1048576}
share|cite|improve this answer

According to Maple 16:


$$[{\it EllipticK} \left( x \right) =\sum _{{\it \_n1}=0}^{\infty }1/2\, {\frac {\pi \, \left( {\it pochhammer} \left( 1/2,{\it \_n1} \right) \right) ^{2}{x}^{2\,{\it \_n1}}}{ \left( {\it \_n1}! \right) ^{2}}},{ \it And} \left( \left| x \right| <1,x\neq 0 \right) ] $$ $$[{\it EllipticK} \left( x \right) =\sum _{{\it \_n1}=0}^{\infty }{ \frac { \left( {\it pochhammer} \left( 1/2,{\it \_n1} \right) \right) ^{2} \left( 1/2\,\ln \left( -{x}^{2} \right) +\Psi \left( 1+ {\it \_n1} \right) -\Psi \left( 1/2-{\it \_n1} \right) \right) }{{x}^ {2\,{\it \_n1}} \left( {\it \_n1}! \right) ^{2}}}{\frac {1}{\sqrt {-{x }^{2}}}},{\it And} \left( 1\leq \left| x \right| \right) ] $$

share|cite|improve this answer

Your Answer


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.