Mathematica Stack Exchange is a question and answer site for users of Mathematica. It's 100% free, no registration required.

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 trying to generate a power series expansion of the following function:

 S[x_, l_] := 
   (C[1] + Integrate[E^(2 Sum[t^i/i, {i, 1, l - 1}]) (1 - t)^2 
         Sum[(l - i*2) t^i, {i, 1, l - 1}]/((t - 1) t^l), {t, 1, x}, 
        GenerateConditions -> False])*x^(l - 1)*E^(-2 Sum[x^i/i, {i, 1, l - 1}])/(1 - x)^2;

For l=2 and l=3 it works perfectly, but not in case of l=4:

Table[CoefficientList[Series[S[x, i], {x, 0, 4}], x], {i, 2, 4}]

Is it possible to solve this problem?

share|improve this question

The first error says it all. Your S[x,l] does not converge in $x=0$ for $l \ge 3$. Note that evaluating the function in $x=0$ is the first step in computing its series about this point.

If you remove the GenerateConditions -> False option, you will notice that the integration produces some result invalid for $x=0$. By forcing Mathematica to forget this restriction, you can manually insert $x=0$ in the formula but the result can be anything unexpected then. This workaround seems to fix the problem temporarily at $l=3$ but fails at $l=4$.

share|improve this answer
In fact S[x,l] is the solution of ODE aimed to soulve recurrence secuence. So, I supposed that computing the series should work for any l. – Филипп Цветков Nov 11 '13 at 12:56

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.