Recurrences with some relation to Dedekind eta functions

Question

Dedekind eta functions are know to satisfy certain difference equations/recurrence relations. The same is true for ratios of eta functions. Suppose some ratio of eta functions, say $A(q)$ satisfies the recurrence $$f(u, v) = (u - v^2)*(u^2 - v) + 2(u^2 + u*v + v^2)$$ by way of $f(A(q), b*A(q^2)) = 0$. In this case $A(q)$ is a polynomial where some of the terms are known.

As a particular example suppose some coefficients of the polynomial $A(q)$ are given by: $$A(q) = \frac{1}{q} + q - q^2 + q^3 + q^4 - q^7 + 2 \, q^8 + \cdots.$$ The question becomes: How can the Mathematica code be given such that the coefficients of a polynomial, $A(q)$, can be found that satisfies the recurrence $f(A(q), b*A(q^2)) = 0$ ?

In terms of a sample towards a working code:

f[u_, v_]:= (u - v^2)*(u^2 - v) + 2(u^2 + u*v + v^2);
0:= f[A[q], A[q^2]];
CoefficientList[Series[A[q], {q,0,30}], q]

what is missed, for me, is how to define the polynomial A[q_] to start the process.

Answer 1

The more general problem can be solved as follows. Let

a = Sum[d[i] q^i, {i, 0, 20}] + 1/q;

and determine b and the first eleven d.

Solve[Thread[CoefficientList[q^6 Series[f[a, b a /. q -> q^2], {q, 0, 5}] 
    // Normal, q] == 0], Flatten@{b, d[0], Array[d, 10]}] // Flatten

(* {b -> 1, d[0] -> 0, d[1] -> 1, d[2] -> 1, d[3] -> 1, d[4] -> 1, 
    d[5] -> 3, d[6] -> 2, d[7] -> 2, d[8] -> 4, d[9] -> 4, d[10] -> 4} *)

Comparing a in the question, expanded to eighth order, shows that it is not consistent with the general solution.