6

In this comment, I hastily assumed that, $$\sum_{\color{blue}{n=0}}^\infty \frac{1}{n^2+bn+c} = \frac{\pi \tan\big(\frac{\pi}2\sqrt{b^2-4c}\big)}{\sqrt{b^2-4c}}$$ In fact, this is valid only for $b=1$ and, as Robert Israel pointed out, for general $b$ is missing a rational term. So for odd $b$ we have,

$$\begin{aligned} \sum_{n=0}^\infty \frac{1}{n^2+n+c} &= \frac{\pi \tan\big(\frac{\pi}2\sqrt{1^2-4c}\big)}{\sqrt{1^2-4c}}\\ \sum_{n=0}^\infty \frac{1}{n^2+3n+c} &= \frac{\pi \tan\big(\frac{\pi}2\sqrt{3^2-4c}\big)}{\sqrt{3^2-4c}}-\frac1{c-2}\\ \sum_{n=0}^\infty \frac{1}{n^2+5n+c} &= \frac{\pi \tan\big(\frac{\pi}2\sqrt{5^2-4c}\big)}{\sqrt{5^2-4c}}-\frac{2c-10}{(c-4)(c-6)}\\ \sum_{n=0}^\infty \frac{1}{n^2+7n+c} &= \frac{\pi \tan\big(\frac{\pi}2\sqrt{7^2-4c}\big)}{\sqrt{7^2-4c}}-\frac{3c^2-56c+252}{(c-6)(c-10)(c-12)}\end{aligned}$$

But I'm having trouble finding $b=9$.

Questions:

  1. What is the rational term for $b=9$?
  2. For $b=2m+1$ and $m>0$, is it true that the rational term has form $\displaystyle \frac{P_1(c)}{P_2(c)}$ where $P_1(c)$ is a polynomial of degree $m-1$, while $P_2(c)$ has degree $m$?
  3. This may be like throwing a curveball, but do the equations $P_1(c)=0$ and $P_2(c)=0$ have solvable Galois groups?

2 Answers2

6

Well, if a quadratic polynomial $p(x)$ has a negative discriminant, $\sum_{n\in\mathbb{Z}}\frac{1}{p(n)}$ can be found through the Poisson summation formula or just by considering $\frac{d}{dx}\log(\cdot)$ applied to the Weierstrass product for the cosine function. For instance

$$\sum_{n\in\mathbb{Z}}\frac{1}{n^2+9n+c}=4\sum_{n\in\mathbb{Z}}\frac{1}{(2n+9)^2+(4c-49)}=4\sum_{n\in\mathbb{Z}}\frac{1}{(2n+9)^2+\sqrt{4c-81}^2}$$ and assuming $d>0$ $$ \sum_{n\in\mathbb{Z}}\frac{1}{(2n+1)^2+d^2}=\frac{\pi}{2d}\,\tan\frac{\pi d}{2} $$ so by assuming $c>\frac{81}{4}$ we have $$\sum_{n\in\mathbb{Z}}\frac{1}{n^2+9n+c}=\frac{2\pi\tan\left(\pi\sqrt{c-\tfrac{81}{4}}\right)}{\sqrt{4c-81}} $$ and $p(n)=n(n+9)+c$ fulfills $p(n)=p(-n-9)$, so the LHS of the previous line can be written as $$ 2\sum_{n\geq 0}\frac{1}{n^2+9n+c}+\sum_{k=1}^{8}\frac{1}{p(-k)}$$ such that $$\sum_{n\geq 0}\frac{1}{n^2+9n+c}=\frac{\pi\tan\left(\pi\sqrt{c-\tfrac{81}{4}}\right)}{\sqrt{4c-81}}-\frac{4 \left(c^3-45c^2+654c-3044\right)}{(c-8)(c-14)(c-18)(c-20)}.$$ $P_2(c)$ has a pretty clear structure, I am not so confident about the Galois group of $P_1(c)$ over $\mathbb{Q}$, but the same manipulation applies in the general case.

Jack D'Aurizio
  • 353,855
  • 1
    Yes, I just realized (sheepish tone) that $$\frac1{6-c}+\frac1{10-c}+\frac1{12-c}=-\frac{3c^2-56c+252}{(c-6)(c-10)(c-12)}$$ $$\frac1{8-c}+\frac1{18-c}+\frac1{14-c}+\frac1{20-c}=-\frac{4 \left(c^3-45c^2+654c-3044\right)}{(c-8)(c-14)(c-18)(c-20)}$$ Knowing this, I then checked the case of $b=13$ where $P_1(c)$ is a quintic and it doesn't have a solvable Galois group so it answers the last question in the negative (unlike in this post where the Galois group of two polynomials were connected). – Tito Piezas III Dec 26 '17 at 14:35
  • @TitoPiezasIII: fine, that settles the whole problem. – Jack D'Aurizio Dec 26 '17 at 14:51
5

It looks like the correct thing to look at is $$\sum_{n=-\infty}^\infty\frac1{n^2+bn+c}.$$ This is surely expressible in terms of the digamma function.

Your rational fraction is surely an artefact of insisting on taking a one-sided sum. As an example, $$\sum_{n=0}^\infty\frac1{n^2+9n+c} =\sum_{m=-\infty}^{-9}\frac1{(-9-m)^2+9(-9-m)+c} =\sum_{m=-\infty}^{-9}\frac1{m^2+9m+c}$$ and so

\begin{align} \sum_{n=0}^\infty\frac1{n^2+9n+c} &=\frac12\sum_{n=-\infty}^\infty\frac1{n^2+9n+c}-\frac12 \sum_{n=-8}^{-1}\frac1{n^2+9n+c}\\ &=\frac12\sum_{n=-\infty}^\infty\frac1{n^2+9n+c}- \left(\frac1{c-8}+\frac1{c-14}+\frac1{c-18}+\frac1{c-20}\right) \end{align} etc.

Angina Seng
  • 158,341