I want to express $$\sum_{n=-\infty}^\infty \dfrac{1}{(z+n)^2+a^2}$$ in closed form. What comes to mind is the formula $$\pi\cot\pi z = \dfrac{1}{z}+\sum_{n\ne 0}\left(\dfrac{1}{z-n}+\dfrac1n\right)=\dfrac{1}{z}+\sum_{n=1}^\infty\dfrac{2z}{z^2-n^2}$$ and also $$\dfrac{\pi^2}{\sin^2\pi z}=\sum_{n=-\infty}^\infty \dfrac{1}{(z-n)^2}.$$ But neither of these gives the term $(z+n)^2+a^2$ that we want. Perhaps we can adjust somehow?
-
1$(z+n)^2+a^2 = (z+n+ia)(z+n-ia)$ looks promising. – Daniel Fischer Dec 15 '13 at 17:39
-
Possible duplicate of this question. – Machinato Jul 23 '16 at 20:42
1 Answers
You can use the residue theorem, based on the following formula (not going to prove here):
$$\sum_{n=-\infty}^{\infty} f(n) = -\sum_k \operatorname*{Res}_{\zeta=\zeta_k} [\pi \cot{(\pi \zeta)} f(\zeta)]$$
where $\zeta_k$ are the non-integer poles of $f$. Here,
$$f(\zeta) = \frac1{(z+\zeta)^2+a^2}$$
so that the poles $\zeta_{\pm} = -z\pm i a$. The sum is therefore
$$\frac{\pi \cot{\pi (z-i a)}}{i 2 a} - \frac{\pi \cot{\pi (z+i a)}}{i 2 a}= \frac{\pi}{a} \Im{[\cot{\pi(z-i a)}]}$$
Now,
$$\cot{\pi(z-i a)} = \frac{\cos{\pi z} \cosh{\pi a} + i \sin{\pi z} \sinh{\pi a}}{\sin{\pi z} \cosh{\pi a} - i \cos{\pi z} \sinh{\pi a}} $$
Therefore, then sum is
$$\sum_{n=-\infty}^{\infty} \frac1{(z+n)^2+a^2} = \frac{\pi}{2 a} \frac{\sinh{2 \pi a}}{\sin^2{\pi z} \cosh^2{\pi a} + \cos^2{\pi z} \sinh^2{\pi a}}$$
EDIT
This may be simplified even further to
$$\sum_{n=-\infty}^{\infty} \frac1{(z+n)^2+a^2} = \frac{\pi}{2 a} \frac{\sinh{2 \pi a}}{\sin^2{\pi z}+\sinh^2{\pi a}}$$

- 138,521
-
-
Thank you, Ron. It's okay that you're not proving that formula (since you already typed a lot), but could you please give some direction on how the proof goes? – Mika H. Dec 15 '13 at 19:42
-
@MikaH.: consider the integral $$\oint_{C_N} dz , \pi , \cot{(\pi z)} f(z) $$ where $C_N$ is a square contour with vertices $(\pm N \pm 1/2) (1+i)$, $N \in \mathbb{Z}$. Show that the integral vanishes as $N \to \infty$ by considering the magnitude of the integrand along the contour. Then apply the residue theorem. – Ron Gordon Dec 15 '13 at 19:45
-
@RonGordon are there any restrictions on $f(n)$ so that the first result holds? It seems nonsensical if $f(n)$ is entire. – Meow Dec 27 '13 at 19:31
-
@Alyosha: yes - that the magnitude of the contour integral in the comment above vanish as $N\to\infty$. You are right that it would be nonsensical for $f$ entire. – Ron Gordon Dec 27 '13 at 19:54
-
Another solution can be derived by applying the Poisson summation formula for the Fourier transform. – Ryszard Szwarc Mar 04 '23 at 21:26