What about $x\frac{f'(x)}{f(x)}=-\frac{1}{2}\left(\vartheta_3(x)-1\right)$, where $\vartheta_3(x)$ is Jacobi theta function?

86 Views Asked by At

If we define for $0<x<1$ $$f(x):=\prod_{n=1}^\infty\left(1-x^n\right)^{\frac{\lambda(n)}{n}},\tag{1}$$ where $\lambda(n)$ is the Liouvile function (and notice is the similar infinite product than (16) of this MathWorld involving the Möbius function ) then taking the logarithmic derivative of $(1)$, if we presume the uniform convergence we can combine with the Lambert series for the Liouville function to get $$x\frac{f'(x)}{f(x)}=-\frac{1}{2}\left(\vartheta_3(x)-1\right),\tag{2}$$ where $\vartheta_3(x)$ is the Jacobi theta function (see the Lambert series in this Wikipedia).

Question. Is it known or do you know how calculate $f(x)$ from $(2)$? Many thanks.

If it is well known cite the literature.

1

There are 1 best solutions below

2
On BEST ANSWER

Formally,

$$\log f(x) = \sum_{n\geq 1}\frac{\lambda(n)}{n}\log(1-x^n) = -\sum_{n\geq 1}\sum_{m\geq 1}\frac{\lambda(n) x^{nm}}{nm}=-\sum_{k\geq 1}(\lambda *1)(k)x^k=-\sum_{h\geq 1}x^{h^2} $$ hence $f(x)=\exp\left(\frac{1-\vartheta_3(x)}{2}\right)$. We do not need to consider a logarithmic derivative, just a logarithm. For any $x\in\mathbb{C}$ such that $|x|<1$ we have that $-\sum_{h\geq 1}x^{h^2}$ is a fast-convergent series, so there are no issues in the numerical computation of $$ f(x)=\prod_{n\geq 1}(1-x^n)^{\frac{\lambda(n)}{n}}.$$ Here it is the graph of $f(x)$ over $(0,1)$:

$\hspace{2cm}$enter image description here

Additionally, by Jacobi triple product we have $$ \vartheta_3(x) = \prod_{m\geq 1}(1-x^{2m})(1+x^{2m-1})^2 $$ hence $\log\log f(x)$ is related with $\sum_{h\geq 1}\frac{\sigma(h)}{h}x^h$, where $\sigma(h)=\sum_{d\mid h}d$.