Resolver una ecuación formal en serie de potencias

quiero encontrar una funcion$f(x,y)$que puede satisfacer la siguiente ecuación,

$$\prod _{n=1} ^{\infty} \frac{1+x^n}{(1-x^{n/2}y^{n/2})(1-x^{n/2}y^{-n/2})} = \exp \left[ \sum _{n=1} ^\infty \frac{f(x^n,y^n)}{n(1-x^{2n})}\right]$$

• Quisiera saber como se soluciona esto.

En cierto artículo donde me encontré con esto, se afirma que la función es,

$$f(x,y) = \sqrt{x}(y + 1/y) + x(1+y^2 + 1/y) + x^{3/2}(y^3+1/y^3) + x^2(y^4+1/y^4) + \sum _{n=5}^\infty x^{n/2}(y^n + 1/y^n - y^{n-4} - 1/y^{n-4})$$

¡El documento no establece ninguna prueba o explicación de cómo se obtuvo esto, pero de manera perturbadora se puede verificar que lo anterior sea correcto!

---

¡Ahora traté de hacer algo obvio pero no funcionó!

$$\begin{eqnarray} \prod _ {n=1} ^{\infty} \frac{ (1+x^n) }{1+x^n -x^{\frac{n}{2}} \left(y^{\frac{n}{2}} + y^{-\frac{n}{2}}\right) } = \exp \left[ \sum _ {n=1} ^{\infty} \frac{ I_{ST}(x^n,y^n) } {n (1-x^{2n}) } \right] \\ \Rightarrow \sum_{n=1}^{\infty} \left\{ \ln (1+x^n) - \ln(1-(\sqrt{xy})^n) - \ln\left(1- \left(\sqrt{\frac{x}{y}}\right)^n\right) \right\} = \sum_{n=1}^\infty \frac{I_{ST}(x^n,y^n)} {n(1-x^{2n})} \end{eqnarray}$$

Ahora expandimos los logaritmos y tenemos,

$$\begin{eqnarray} \sum _ {n=1} ^ {\infty} \left \{ \sum _{a=1}^{\infty} (-1)^{a+1} \frac{x^{na}}{a} + \sum_{b=1} ^{\infty} \frac{ (\sqrt{xy})^{nb} } {b} + \sum _{c=1}^{\infty} \frac{ \left(\sqrt{\frac{x}{y}}\right)^{nc} }{c} \right \} = \sum _{n=1} ^\infty \frac{I_{ST}(x^n,y^n)} {n(1-x^{2n})} \\ \Rightarrow \sum _{a=1} ^{\infty} \frac{1}{a} \left\{ \sum _{n=1} ^{\infty} \left( (-1)^{a+1}x^{na} + (xy)^{\frac{na}{2}} + \left(\frac{x}{y}\right)^{\frac{na}{2}} \right) \right\} = \sum _{n=1} ^\infty \frac{I_{ST}(x^n,y^n)} {n(1-x^{2n})} \end{eqnarray}$$

Al hacer coincidir los patrones en ambos lados, uno ve que una forma en que esta igualdad se puede mantener es si,

$$\begin{eqnarray} I_{ST}(x,y) = (1-x^2) \sum _{n=1} ^{\infty} \left\{ x^n + (xy)^{\frac{n}{2}} + (\frac{x}{y})^{\frac{n}{2}} \right\} \\ \Rightarrow I_{ST} (x,y) = (1-x^2) \left(-1 + \frac{1}{1-x} -1 + \frac{1}{1-\sqrt{xy}} - 1 + \frac{1}{1-\sqrt{\frac{x}{y}} } \right) \end {eqnarray}$$ ¡Pero esta solución no satisface la ecuación original!