Is there any way to perform series analysis with functions containing symbolic powers of their argument?

For example, suppose I have a function

f[x_] := f0 + f1 x^n + f2 x^(n+1) + O[x]^(n+2);

And I have this kind of equation:

x^2 f''[x] - f[x] + g[x] x^k == 0


g[x_] := g0 + g1 x + g2 x^2 + O[x]^3

I want to extract series coefficients of the equation above in order to set them to zero separately and establish relations between coefficients g0, g1, g2, f0, f1, f2.

Is this possible if the powers $k$ and $n$ are symbolic integer powers and all that I know is that $k \ge 0, n \ge 0$ and they are integer? I tried to do this directly, but function


does not work because of nonnumeric power, whereas function


returns incorrect result where, for instance, coefficient in front of $x^n$ contains terms with numeric powers of $x$ like $x^2$.

Thank you in advance.


1 Answer 1


At least you can get relations between the coefficients g0, g1, g2, f0, f1, f2 at definite n and k with the help of LogicalExpand.

f[x_, n_] = f0 + f1 x^n + f2 x^(n + 1) + O[x]^(n + 2);

g[x_] = g0 + g1 x + g2 x^2 + O[x]^3;

le[n_, k_] := LogicalExpand[
                  x^2 Derivative[2, 0][f][x, n] - f[x, n] + g[x] x^k == 0]

Table[Solve[le[n, k]] // Quiet, {n, 0, 4}, {k, 0, 3}] // MatrixForm

enter image description here


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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