4
$\begingroup$

Is it true that $$f(x):=\sum_{j=1}^\infty(-1)^j j^2 x^{j^2}\to0$$ as $x\uparrow1$?

(One may note that $f(x)=xh'(x)$, where $h(x):=\vartheta _4(0,x)/2$ and $\vartheta _4$ is a theta function, so that $f(1-)=h'(1-)$.)


Here is the graph $\{(x,f(x)):0.7<x<1\}$:

enter image description here

$\endgroup$
10
  • $\begingroup$ It seems correct, with very rapid convergence. For $x=0.99$ the value is around $-10^{-101}$. $\endgroup$ Commented Oct 16, 2023 at 16:48
  • $\begingroup$ Yes, notice that the value is $-1 + 4 - 9 + 16 ... = -1 ( 1 - 4 + 9 - 16 ... ) = -1 *(0)$ per en.wikipedia.org/wiki/… $\endgroup$ Commented Oct 16, 2023 at 17:22
  • $\begingroup$ What does the Jacobi identity give here? $\endgroup$ Commented Oct 16, 2023 at 17:24
  • $\begingroup$ @SidharthGhoshal : Thank you for your comment. In the Wikipedia article, they seem to have $0$ for the Abelian sum. Here it is a different, lacunary power series. $\endgroup$ Commented Oct 16, 2023 at 17:34
  • 1
    $\begingroup$ @GerryMyerson : I have now explained this. $\endgroup$ Commented Oct 17, 2023 at 1:39

1 Answer 1

5
$\begingroup$

Writing $x=e^{-a}$ for $a>0$ and then using the Poisson summation formula with $s(u)=e^{i\pi u} u^2 e^{-au^2}$ (in the notation of the Wikipedia article), we rewrite the sum in question as $$G(a):=\frac12\,\sum_{k=-\infty}^\infty g_a(k),$$ where $$g_a(t):=\int_{-\infty}^\infty s(u)e^{-2\pi itu}\,du =\frac{\sqrt{\pi } \left(2 a-\pi ^2 (1-2 t)^2\right)}{4 a^{5/2}}\, e^{-\pi ^2 (1-2 t)^2/(4 a)}.$$ Letting now $a\downarrow0$ (which corresponds to $x\uparrow1$) and using dominated convergence, we get $G(0+)=0$. $\quad\Box$


It also follows that the convergence of $G(a)$ to $0$ as $a\downarrow0$ (or, equivalently, as $x\uparrow1$) is very fast, faster than that of any power of $a$ (or, equivalently, than that of any power of $1-x$). This corresponds to what we see in the picture in the OP.

$\endgroup$
4
  • $\begingroup$ Your method applies to geneal sums $\sum (-1)^j j^{2k} x^{j^{2r}}$, $k, r$ positive integers. One just needs that the Fourier transform of $x^{2k} e^{-a x^{2r}$ decays fast. $\endgroup$ Commented Oct 18, 2023 at 16:09
  • $\begingroup$ @GiorgioMetafune : That's right. Thank you for your comment. $\endgroup$ Commented Oct 18, 2023 at 16:11
  • $\begingroup$ Just a further remark, in case you are interested (I like both the problem and your solution). The method applies when $2k,2r$ (with the above notation) are just positive real numbers and the asymptotics depends only on $k$ and is zero iff $k$ is natural. One needs the asymptotics of the Fourier transform of $x^{2k} e^{-x^{2r}} \chi_{(0,\infty)}$. $\endgroup$ Commented Oct 20, 2023 at 21:14
  • $\begingroup$ @GiorgioMetafune : Thank you for this comment as well. $\endgroup$ Commented Oct 20, 2023 at 21:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .